arXiv research

Quantized neural networks can represent all fixed-point functions under certain conditions.

This is the second of a series of papers dealing with an analog in Arakelov geometry of the holomorphic Lefschetz fixed point formula. We use the main result of the first paper to prove a residue formula "`a la Bott" for arithmetic characteristic classes living on arithmetic varieties acted upon by a diagonalisable tor…

The use of low-precision fixed-point arithmetic along with stochastic rounding has been proposed as a promising alternative to the commonly used 32-bit floating point arithmetic to enhance training neural networks training in terms of performance and energy efficiency. In the first part of this paper, the behaviour of …

The wide adoption of DNNs has given birth to unrelenting computing requirements, forcing datacenter operators to adopt domain-specific accelerators to train them. These accelerators typically employ densely packed full precision floating-point arithmetic to maximize performance per area. Ongoing research efforts seek t…

Training of large-scale deep neural networks is often constrained by the available computational resources. We study the effect of limited precision data representation and computation on neural network training. Within the context of low-precision fixed-point computations, we observe the rounding scheme to play a cruc…

Major advancements in building general-purpose and customized hardware have been one of the key enablers of versatility and pervasiveness of machine learning models such as deep neural networks. To sustain this ubiquitous deployment of machine learning models and cope with their computational and storage complexity, se…

We show that a conjectural extension of a fixed point formula in Arakelov geometry implies results about a tautological subring in the arithmetic Chow ring of bases of abelian schemes. Among the results are an Arakelov version of the Hirzebruch proportionality principle and a formula for a critical power of $\hat c_1$ …

We characterize the price of an Asian option, a financial contract, as a fixed-point of a non-linear operator. In recent years, there has been interest in incorporating changes of regime into the parameters describing the evolution of the underlying asset price, namely the interest rate and the volatility, to model sud…

We give a new proof of a slightly weaker form of a theorem of P. Colmez. This theorem gives a formula for the Faltings height of abelian varieties with complex multiplication by a C.M. field whose Galois group over $\bf Q$ is abelian; it reduces to the formula of Chowla and Selberg in the case of elliptic curves. We sh…

We present a design and implementation of the Thomas algorithm optimized for hardware acceleration on an FPGA, the Thomas Core. The hardware-based algorithm combined with the custom data flow and low level parallelism available in an FPGA reduces the overall complexity from 8N down to 5N serial arithmetic operations, a…

There is a recent interest in neural network (NN)-based communication algorithms which have shown to achieve (beyond) state-of-the-art performance for a variety of problems or lead to reduced implementation complexity. However, most work on this topic is simulation based and implementation on specialized hardware for f…

We generalize work of Deligne and Gillet-Soulé on a Riemann-Roch type isometry, to the case of the trivial sheaf on cusp compactifications of Riemann surfaces $Γ\backslash\mathbb{H}$, for $Γ\subset PSL_{2}(\mathbb{R})$ a fuchsian group of the first kind, equipped with the Poincaré metric. This metric is singular at cus…

We develop the foundations of the deformation theory of compact complete affine space forms and affine crystallographic groups. Using methods from the theory of linear algebraic groups we show that these deformation spaces inherit an algebraic structure from the space of crystallographic homomorphisms. We also study th…

Let p and l be two distinct prime numbers and let G be a group. We study the asymptotic behaviour of the mod-l Betti numbers in p-adic analytic towers of finite index subgroups. If X is a finite l-group of automorphisms of G, our main theorem allows to lift lower bounds for the mod-l cohomology growth in the fixed poin…

In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsific…

Develops arithmetic PDE geometry concepts like curvature and cohomology.

New geometric invariant limits the number of semi-arithmetic groups.

Course on arithmetic lattices at EPFL.

Paper shows non-arithmetic surface with unique geometric property.

New classification of hyperbolic Coxeter prisms.

Arithmetic Dijkgraaf-Witten theory constructs analogues in Chern-Simons TQFT.

In this article, we prove that every arithmetic locally symmetric orbifold of classical type without Euclidean or compact factors has arbitrarily long arithmetic progressions in its primitive length spectrum. Moreover, we show the stronger property that every primitive length occurs in arbitrarily long arithmetic progr…

New method constructs non-arithmetic hyperbolic orbifolds from complex arithmetic ball quotients.

We show that the non-arithmetic lattices in PO(n,1) of Belolipetsky and Thomson (2011), obtained as fundamental groups of closed hyperbolic manifolds with short systole, are quasi-arithmetic in the sense of Vinberg, and, by contrast, the well-known non-arithmetic lattices of Gromov and Piatetski-Shapiro are not quasi-a…

The paper explores subspaces in hyperbolic lattices and their arithmetic properties.

Define an arithmetic variety to be the quotient of a bounded symmetric domain by an arithmetic group. An arithmetic variety is algebraic, and the theorem in question states that when one applies an automorphism of the field of complex numbers to the coefficients of an arithmetic variety the resulting variety is again a…

Geodesics on modular surface yield arithmetic 3-manifolds.

New property identifies arithmetic lattices from nonuniform lattices.

New proof shows maximal arithmetic groups are finite.

We study the arithmeticity of the Couwenberg-Heckman-Looijenga lattices in PU(n,1), and show that they contain a non-arithmetic lattice in PU(3,1) which is not commensurable to the non-arithmetic Deligne-Mostow lattice in PU(3,1).

Develops arithmetic PDE geometry using Fermat quotients.

Study general hyperbolic gluings, proving quasi-arithmeticity of building blocks.

The study of systoles in arithmetic hyperbolic manifolds.

We prove that each lower-dimensional face of a quasi-arithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasi-arithmetic. We also provide a sufficient condition for a codimension $1$ face to be actually arithmetic, as well as a few computed examples.

We explore hybrid subgroups of certain non-arithmetic lattices in $\mathrm{PU}(2,1)$. We show that all of Mostow's lattices are virtually hybrids; moreover, we show that some of these non-arithmetic lattices are hybrids of two non-commensurable arithmetic lattices in $\mathrm{PU}(1,1)$.

New research shows certain arithmetic lattices can't be LERF.

Arithmetic spaces' thin parts are negligible, impacting Betti numbers.

We apply G. Prasad's volume formula for the arithmetic quotients of semi-simple groups and Bruhat-Tits theory to study the covolumes of arithmetic subgroups of SO(1,n). As a result we prove that for any even dimension n there exists a unique compact arithmetic hyperbolic n-orbifold of the smallest volume. We give a for…

Develops Kleinian Sphere Packings and Bugs, proving their arithmetic origins.

Conditions for flat manifolds as cusp cross-sections in arithmetic hyperbolic manifolds.

Study on Alexander polynomials in braids, linking number theory and topology.

Study finds bounds for systole length on arithmetic punctured spheres.

The study finds infinitely many semi-arithmetic Riemann surfaces with dense systoles and distinct invariant trace fields.

Neural Power Unit (NPU) learns arbitrary power functions on real numbers.

We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can.

The paper characterizes arithmetic metrics in coarsely geometric settings.

We prove, under the assumption of the virtual fibration conjecture for arithmetic hyperbolic 3-manifolds, that all arithmetic lattices in O(n,1), n> 4, and different from 7, are non-coherent. We also establish noncoherence of uniform arithmetic lattices of the simplest type in SU(n,1), n> 1, and of uniform lattices in …

Study $\mathbb{C}$-Fuchsian subgroups of non-arithmetic lattices.