arXiv research

Study on coloring virtual tangles with integer and modular arithmetic.

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…

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

We study upper bounds for the torsion in homology of nonuniform arithmetic lattices. Together with recent results of Calegari-Venkatesh, this can be used to obtain upper bounds on K2 of the ring of integers of totally imaginary fields.

New lattices in higher rank contain a fixed 3-manifold group with increasing systole.

New lattices in higher dimensions have dense surface subgroups.

The rising popularity of intelligent mobile devices and the daunting computational cost of deep learning-based models call for efficient and accurate on-device inference schemes. We propose a quantization scheme that allows inference to be carried out using integer-only arithmetic, which can be implemented more efficie…

For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.

The study finds infinite commensurability classes of hyperbolic manifolds with Salem number lengths.

We formalize the arithmetic topology, i.e. a relationship between knots and primes. Namely, using the notion of a cluster C*-algebra we construct a functor from the category of 3-dimensional manifolds M to a category of algebraic number fields K, such that the prime ideals (ideals, resp.) in the ring of integers of K c…

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

Study on OI surfaces with unique geometric properties.

In this paper we consider the cohomology of a closed arithmetic hyperbolic 3-manifold with coefficients in the local system defined by the even symmetric powers of the standard representation of SL(2,C). The cohomology is defined over the integers and is a finite abelian group. We show that the order of the 2nd cohomol…

Degree-Quant improves GNN efficiency by quantizing them without losing accuracy.

Using the rings of Lipschitz and Hurwitz integers $\mathbb{H}(\mathbb{Z})$ and $\mathbb{H}ur(\mathbb{Z})$ in the quaternion division algebra $\mathbb{H}$, we define several Kleinian discrete subgroups of $PSL(2,\mathbb{H})$

We present a general method to compute a presentation for any cusped arithmetic hyperbolic lattice $Γ$, applying a classical result of Macbeath to a suitable $Γ$-invariant horoball cover of the corresponding symmetric space. As applications we compute presentations for the Picard modular groups ${\rm PU}(2,1,\mathcal{O…

We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary num…

The paper studies geodesic hypersurfaces in hyperbolic manifolds and their fundamental groups.

In Arakelov theory a completion of an arithmetic surface is achieved by enlarging the group of divisors by formal linear combinations of the ``closed fibers at infinity''. Manin described the dual graph of any such closed fiber in terms of an infinite tangle of bounded geodesics in a hyperbolic handlebody endowed with …

Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds wit…

The study explores which sets of integers can be realized as the degrees of maps between manifolds.

The study counts Salem numbers linked to arithmetic hyperbolic orbifolds.

Arithmetic study of knots connects homology and SL2 representations.

IntSGD compresses SGD gradients without floats, converging as SGD.

New invariant for square-free integers derived from kei theory.

Sharp bounds on Fano varieties' heights proven for specific cases.

Study of knot invariants using twisted Iwasawa theory.

Analytic torsion and Reidemeister torsion help show exponential growth of torsion in cohomology.

This note is an elaboration of the ideas and intuitions of Grothendieck and Weil concerning the "arithmetic topology". Given 3-dimensional manifold M fibering over the circle we introduce an real quadratic number field K with discriminant d, where d>0 is an integer number uniquely determined by M. The idea is to relate…

We reformulate Lehmer's question from 1933 and a question due to Schinzel and Zassenhaus from 1965 in terms of a comparison of the Mahler measures and the houses, respectively, of monic integer reciprocal and skew-reciprocal polynomials of the same degree. This entails that understanding the difference between orientat…

Paper proposes algorithms for BMF using integer programming.

We construct hyperbolic integer homology 3-spheres where the injectivity radius is arbitrarily large for nearly all points of the manifold. As a consequence, there exists a sequence of closed hyperbolic 3-manifolds which Benjamini-Schramm converge to H^3 whose normalized Ray-Singer analytic torsions do not converge to …

This paper addresses a long standing open problem due to Lehmer in which the triple 2,3,7 plays a notable role. Lehmer's problem asks whether there is a gap between 1 and the next smallest algebraic integer with respect to Mahler measure. The question has been studied in a wide range of contexts including number theory…

Computes canonical heights for arithmetic log surfaces using Hurwitz zeta function.

We prove optimal bounds for the convergence rate of ordinal embedding (also known as non-metric multidimensional scaling) in the 1-dimensional case. The examples witnessing optimality of our bounds arise from a result in additive number theory on sets of integers with no three-term arithmetic progressions. We also carr…

We introduce the notion of a "crystallographic sphere packing," defined to be one whose limit set is that of a geometrically finite hyperbolic reflection group in one higher dimension. We exhibit for the first time an infinite family of conformally-inequivalent such with all radii being reciprocals of integers. We then…

The main thrust of present note is a volume formula for hyperbolic surface bundle with the fundamental group G. The novelty consists in a purely algebraic approach to the above problem. Initially, we concentrate on the Baum-Connes morphism m(G): K(BG)--> K(C*G) for our class of manifolds, and then classify m(G) in term…

Defines map from skein module to Habiro ring for quantum modularity.

It is well-known that Teichmuller discs that pass through "integer points'' of the moduli space of abelian differentials are very special: they are closed complex geodesics. However, the structure of these special Teichmuller discs is mostly unexplored: their number, genus, area, cusps, etc. We prove that in genus two …

Study on scattering geodesics on modular surface and their sojourn times.

Study shows most knots in a family are not slice.

The paper develops algorithms for Boolean matrix factorization using IP and heuristics.

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…

We give a detailed description of the arithmetic Fuchsian group of the Bolza surface and the associated quaternion order. This description enables us to show that the corresponding principal congruence covers satisfy the bound sys(X) > 4/3 log g(X) on the systole, where g is the genus. We also exhibit the Bolza group a…

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.