arXiv research

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

Transformer models improve arithmetic accuracy with number decomposition.

Develops arithmetic PDE geometry using Fermat quotients.

Fundamental solutions of Dirac type operators are introduced for a class of conformally flat manifolds. This class consists of manifolds obtained by factoring out the upper half-space of $\mathbb{R}^n$ by arithmetic subgroups of generalized modular groups. Basic properties of these fundamental solutions are presented t…

Using the Arthur-Selberg trace formula we express the index of a Dirac operator on an arithmetic quotient over a totally real field with at least two real embeddings as the integral over the index form plus a sum of orbital integrals. For the Euler operator these orbital integrals are shown to vanish for products of ra…

LLMs struggle with arithmetic tasks unless they use high numerical precision.

Deep neural networks (DNN) are powerful models for many pattern recognition tasks, yet their high computational complexity and memory requirement limit them to applications on high-performance computing platforms. In this paper, we propose a new method to evaluate DNNs trained with 32bit floating point (float32) accura…

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 investigate modular embeddings for semi-arithmetic Fuchsian groups. First we prove some purely algebro-geometric or even topological criteria for a regular map from a smooth complex curve to a quaternionic Shimura variety to be covered by a modular embedding. Then we set up an adelic formalism for modular embeddings…

Operators on the ring of algebraically constructible functions are used to compute local obstructions for a four-dimensional semialgebraic set to be homeomorphic to a real algebraic set. The link operator and arithmetic operators yield $2^{43}-43$ independent characteristic numbers mod 2, which generalize the Akbulut-K…

Deep neural networks have achieved impressive supervised classification performance in many tasks including image recognition, speech recognition, and sequence to sequence learning. However, this success has not been translated to applications like question answering that may involve complex arithmetic and logic reason…

In this article, we investigate differential operators on the Siegel-Jacobi space that are invariant under the natural action of the Jacobi group. These invariant differential operators play an important role in the arithmetic theory of Jacobi forms of higher degree. We present some explicit invariant differential oper…

Two methods solve kernel ridge regression problems efficiently.

Paper tackles division difficulty, proposing new methods to improve accuracy.

Block and Weinberger show that an arithmetic manifold can be endowed with a positive scalar curvature metric if and only if its $\rationals$-rank exceeds 2. We show in this article that these metrics are never in the same coarse class as the natural metric inherited from the base Lie group. Furthering the coarse $C^\as…

Constructs spin hyperbolic surfaces with a spectral gap for Dirac operator.

This paper is about cohomology of mapping class groups from the perspective of arithmetic groups. For a closed surface $S$ of genus $g$, the mapping class group $Mod(S)$ admits a well-known arithmetic quotient $Mod(S)\rightarrow Sp(2g, Z)$, under which the stable cohomology of $Sp(2g,Z)$ pulls back to algebra generated…

We present an efficient algorithm for calculating the number of components of an integral lamination on an $n$-punctured disk, given its Dynnikov coordinates. The algorithm requires $O(n^2M)$ arithmetic operations, where $M$ is the sum of the absolute values of the Dynnikov coordinates.

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

Faces of quasi-arithmetic Coxeter polytopes are also quasi-arithmetic.

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…

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…

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.

Better neural arithmetic logic units improve cell counting model generalization.

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.

This paper provides a construction of a quantum statistical mechanical system associated to knots in the 3-sphere and cyclic branched coverings of the 3-sphere, which is an analog, in the sense of arithmetic topology, of the Bost-Connes system, with knots replacing primes, and cyclic branched coverings of the 3-sphere …

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…

WrapNet optimizes inference for low-resolution neural networks by using 8-bit additions.

Geodesics on modular surface yield arithmetic 3-manifolds.

New property identifies arithmetic lattices from nonuniform lattices.

Estimates for polynomial operators using determinant majorization and subharmonics.

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).

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

The study of systoles in arithmetic hyperbolic manifolds.

This is a survey of our research on geometric structures of projective embeddings and includes some topics of our talks in several symposia during 1990-99. We clarify our main problem, which is to construct a kind of geometric composition series of projective embeddings. The concept of "geometric composition series" is…

We study the $L^p$-spectrum of the Laplace-Beltrami operator on certain complete locally symmetric spaces $M=Γ\backslash X$ with finite volume and arithmetic fundamental group $Γ$ whose universal covering $X$ is a symmetric space of non-compact type. We also show, how the obtained results for locally symmetric spaces c…

Efficient diffusion model for symmetric manifolds reduces training and computation costs.

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.