pith. sign in

arxiv: 2401.02747 · v3 · submitted 2024-01-05 · 🧮 math.NT · math.DS

Counting and Joint equidistribution of approximates

Gaurav Aggarwal , Anish Ghosh This is my paper

Pith reviewed 2026-05-24 04:42 UTC · model grok-4.3

classification 🧮 math.NT math.DS
keywords Diophantine approximationequidistributionunimodular latticesPoincaré sectionlimiting measuresmultiplicative approximationhigher rank actionscounting inequalities
0
0 comments X

The pith

For almost every matrix the joint distribution of its ε-Diophantine approximates converges to an explicit limiting measure.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the joint asymptotic distribution of ε-Diophantine approximates of matrices, taken in several aspects at once, converges to specific limiting measures for almost every matrix. It handles the multiplicative version of Diophantine approximation for the first time and derives concrete counting corollaries for inequalities that carry multiple natural constraints. The argument works uniformly for approximation of matrices and already supplies new statements for the classical case of simultaneous approximation of vectors. A sympathetic reader cares because the result supplies an explicit dynamical description of how well matrices can be approximated under several constraints simultaneously.

Core claim

We prove a very general result on the joint asymptotic distribution of ε-Diophantine approximates of matrices in several aspects. Our main results describe the resulting limiting measures for almost every matrix. Multiplicative Diophantine approximation is treated for the first time, and a number of Diophantine corollaries are derived. While we treat the general case of approximation of matrices, our results are already new for the case of simultaneous Diophantine approximation of vectors. Our approach is dynamical and is based on the construction of an appropriate Poincaré section for certain diagonal group actions on the space of unimodular lattices along with multiple mixing. The main new

What carries the argument

The Poincaré section constructed for diagonal group actions on the space of unimodular lattices, combined with multiple mixing to handle higher-rank groups.

If this is right

  • Explicit limiting measures govern the joint distribution of approximates in multiple aspects for almost every matrix.
  • Multiplicative Diophantine approximation admits the same equidistribution description as the additive case.
  • A general counting theorem applies to Diophantine inequalities carrying several natural constraints.
  • New statements hold already for simultaneous approximation of vectors.
  • The method produces Diophantine corollaries that follow directly from the equidistribution.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same section-and-mixing construction could be tested on other diagonal flows that arise in homogeneous dynamics.
  • Numerical sampling of approximates for concrete matrices would provide an immediate check on the shape of the limiting measures.
  • The counting statements might extend to systems with additional arithmetic constraints not treated in the paper.

Load-bearing premise

The Poincaré section for diagonal actions on unimodular lattices extends successfully to actions of higher-rank groups via multiple mixing.

What would settle it

Compute the empirical joint distribution of approximates for a randomly chosen matrix in several aspects and check whether it converges to the measure predicted by the limiting statement.

read the original abstract

In this paper, we consider the problem of counting Diophantine inequalities with multiple natural constraints. We prove a very general result in this setting using dynamical techniques. More precisely, we consider the joint asymptotic distribution of $\varepsilon$-Diophantine approximates of matrices in several aspects. Our main results describe the resulting limiting measures for almost every matrix. Multiplicative Diophantine approximation is treated for the first time, and a number of Diophantine corollaries are derived. While we treat the general case of approximation of matrices, our results are already new for the case of simultaneous Diophantine approximation of vectors. Our approach is dynamical and is based on the construction of an appropriate Poincar\'{e} section for certain diagonal group actions on the space of unimodular lattices along with multiple mixing. The main new idea in our paper is a method that allows us to treat actions of higher rank groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper proves a general theorem on counting Diophantine inequalities subject to multiple constraints via dynamical methods on the space of unimodular lattices. It establishes the joint asymptotic distribution of ε-Diophantine approximates for matrices, giving explicit limiting measures that hold for almost every matrix; the multiplicative case is treated for the first time, and several Diophantine corollaries are derived. The key technical step is the construction of a Poincaré section for higher-rank diagonal actions together with multiple mixing.

Significance. If the central construction and mixing arguments hold, the work is significant because it supplies the first treatment of multiplicative Diophantine approximation in this setting and extends dynamical techniques to higher-rank groups, which had been an obstacle. The limiting measures are stated for a.e. matrices and yield concrete corollaries, strengthening the applicability of homogeneous dynamics to simultaneous and multiplicative approximation problems.

minor comments (3)
  1. The introduction would benefit from a short explicit statement of the main limiting measure (e.g., the form of the measure on the product space) before the corollaries are listed.
  2. Notation for the ε-approximates and the various constraints (additive vs. multiplicative) should be collected in a single preliminary subsection to avoid repeated re-definition in later sections.
  3. A brief comparison paragraph with prior results on the rank-1 case (e.g., references to earlier works on simultaneous approximation) would clarify the precise novelty of the higher-rank extension.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work, the assessment of its significance, and the recommendation of minor revision. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard external dynamical tools

full rationale

The paper derives limiting measures for Diophantine approximates via a new construction of a Poincaré section for higher-rank diagonal actions on the space of unimodular lattices, combined with multiple mixing. These are presented as extensions of established techniques rather than reductions to quantities defined by the target results. No equations or claims reduce by construction to fitted inputs, self-citations, or ansatzes internal to the paper; the central claims rest on independent mixing and section arguments that are not shown to be equivalent to the outputs by definition.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; the work rests on standard assumptions from homogeneous dynamics without introducing new free parameters or entities visible at this level.

axioms (1)
  • domain assumption Multiple mixing holds for the relevant diagonal actions on the space of unimodular lattices.
    Invoked to obtain the limiting measures for almost every matrix.

pith-pipeline@v0.9.0 · 5679 in / 1077 out tokens · 19182 ms · 2026-05-24T04:42:25.145958+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    [2] , A generalized L´ evy Khintchine theorem, 2024

    Gaurav Aggarwal and Anish Ghosh, Two central limit theorems in diophantine approximation , 2023. [2] , A generalized L´ evy Khintchine theorem, 2024

    work page 2023

  2. [2]

    Menny Aka, Manfred Einsiedler, and Uri Shapira, Integer points on spheres and their orthogonal lattices , Invent. Math. 206 (2016), no. 2, 379–396. MR3570295

    work page 2016

  3. [3]

    Mahbub Alam and Anish Ghosh, Equidistribution on homogeneous spaces and the distributi on of ap- proximates in Diophantine approximation , Trans. Amer. Math. Soc. 373 (2020), no. 5, 3357–3374. MR4082241

    work page 2020

  4. [4]

    42 GAURA V AGGAR W AL AND ANISH GHOSH

    Mahbub Alam, Anish Ghosh, and Jiyoung Han, Higher moment formulae and limiting distributions of lattice points, 2023. 42 GAURA V AGGAR W AL AND ANISH GHOSH

    work page 2023

  5. [5]

    Mahbub Alam, Anish Ghosh, and Shucheng Yu, Quantitative Diophantine approximation with congru- ence conditions, J. Th´ eor. Nombres Bordeaux 33 (2021), no. 1, 261–271. MR4312709

    work page 2021

  6. [6]

    Warren Ambrose, Representation of ergodic flows , Ann. of Math. (2) 42 (1941), 723–739. MR4730

    work page 1941

  7. [7]

    Warren Ambrose and Shizuo Kakutani, Structure and continuity of measurable flows , Duke Math. J. 9 (1942), 25–42. MR5800

    work page 1942

  8. [8]

    Pierre Arnoux and Arnaldo Nogueira, Mesures de Gauss pour des algorithmes de fractions continue s multidimensionnelles, Ann. Sci. ´Ecole Norm. Sup. (4) 26 (1993), no. 6, 645–664. MR1251147

    work page 1993

  9. [9]

    Athreya and Yitwah Cheung, A Poincar´ e section for the horocycle flow on the space of lattices, Int

    Jayadev S. Athreya and Yitwah Cheung, A Poincar´ e section for the horocycle flow on the space of lattices, Int. Math. Res. Not. IMRN 10 (2014), 2643–2690. MR3214280

    work page 2014

  10. [10]

    Athreya, Anish Ghosh, and Jimmy Tseng, Spiraling of approximations and spherical averages of Siegel transforms , J

    Jayadev S. Athreya, Anish Ghosh, and Jimmy Tseng, Spiraling of approximations and spherical averages of Siegel transforms , J. Lond. Math. Soc. (2) 91 (2015), no. 2, 383–404. MR3355107

    work page 2015

  11. [11]

    MR0233396

    Patrick Billingsley, Convergence of probability measures , John Wiley & Sons, Inc., New York-London- Sydney, 1968. MR0233396

    work page 1968

  12. [12]

    Michael Bj¨ orklund and Alexander Gorodnik, Effective multiple equidistribution of translated measure s, Int. Math. Res. Not. IMRN 1 (2023), 210–242. MR4530108

    work page 2023

  13. [13]

    Bence Borda, Equidistribution of continued fraction convergents in SL(2, Zm) with an application to local discrepancy, 2023

    work page 2023

  14. [14]

    Nicolas Bourbaki, Integration. I. Chapters 1–6 , Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2004. Translated from the 1959, 1965 and 1967 French orig inals by Sterling K. Berberian. MR2018901

    work page 2004

  15. [15]

    , Integration. II. Chapters 7–9 , Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 2004. Translated from the 1963 and 1969 French originals by Sterling K. Be rberian. MR2098271

    work page 2004

  16. [16]

    Yann Bugeaud, Multiplicative Diophantine approximation, Dynamical systems and Diophantine approx- imation, 2009, pp. 105–125. MR2808405

    work page 2009

  17. [17]

    Yitwah Cheung and Nicolas Chevallier, L´ evy-Khintchin theorem for best simultaneous Diophantine ap- proximations, Ann. Sci. ´Ec. Norm. Sup´ er. (4)57 (2024), no. 1, 185–240. MR4732677

    work page 2024

  18. [18]

    Gallagher, Metric simultaneous diophantine approximation , J

    P. Gallagher, Metric simultaneous diophantine approximation , J. London Math. Soc. 37 (1962), 387–

    work page 1962

  19. [19]

    D. Y. Kleinbock and G. A. Margulis, On effective equidistribution of expanding translates of ce rtain orbits in the space of lattices , Number theory, analysis and geometry, 2012, pp. 385–396. MR2 867926

    work page 2012

  20. [20]

    Dmitry Kleinbock, Ronggang Shi, and Barak Weiss, Pointwise equidistribution with an error rate and with respect to unbounded functions , Math. Ann. 367 (2017), no. 1-2, 857–879. MR3606456

    work page 2017

  21. [21]

    Jens Marklof, The asymptotic distribution of Frobenius numbers , Invent. Math. 181 (2010), no. 1, 179–

    work page 2010

  22. [22]

    Jens Marklof and Andreas Str¨ ombergsson, The distribution of free path lengths in the periodic Lorent z gas and related lattice point problems , Ann. of Math. (2) 172 (2010), no. 3, 1949–2033. MR2726104

    work page 2010

  23. [23]

    139, Academic Press, Inc., Boston, MA, 1994

    Vladimir Platonov and Andrei Rapinchuk, Algebraic groups and number theory , Pure and Applied Mathematics, vol. 139, Academic Press, Inc., Boston, MA, 1994. T ranslated from the 1991 Russian original by Rachel Rowen. MR1278263

    work page 1994

  24. [24]

    Wolfgang Schmidt, A metrical theorem in diophantine approximation , Canadian J. Math. 12 (1960), 619–631. MR118711

    work page 1960

  25. [25]

    Schmidt, The distribution of sublattices of Zm, Monatsh

    Wolfgang M. Schmidt, The distribution of sublattices of Zm, Monatsh. Math. 125 (1998), no. 1, 37–81. MR1485976

    work page 1998

  26. [26]

    Uri Shapira and Barak Weiss, Geometric and arithmetic aspects of approximation vectors , 2022

    work page 2022

  27. [27]

    Omri Solan and Andreas Wieser, Birkhoff generic points on curves in horospheres , 2023

    work page 2023

  28. [28]

    Sz¨ usz, ¨Uber die metrische Theorie der diophantischen Approximati on., Acta

    P. Sz¨ usz, ¨Uber die metrische Theorie der diophantischen Approximati on., Acta. Math. Sci. Hungar. 9 (1958), 177–193

    work page 1958

  29. [29]

    Yuan Wang and Kun Rui Yu, A note on some metrical theorems in Diophantine approximati on, Chinese Ann. Math. 2 (1981), no. 1, 1–12. MR619457 COUNTING AND JOINT EQUIDISTRIBUTION OF APPROXIMATES 43 Gaurav Aggarwal , School of Mathematics, Tata Institute of Fundamental Rese arch, Mumbai, India 400005 Email address : gaurav@math.tifr.res.in Anish Ghosh , Scho...

    work page 1981