pith. sign in

arxiv: 2606.08199 · v1 · pith:7XDSWQJ3new · submitted 2026-06-06 · 🧮 math.DS · math.NT

Birkhoff genericity on affine subspaces in horospheres

Nimish A. Shah , Pengyu Yang This is my paper

Pith reviewed 2026-06-27 19:12 UTC · model grok-4.3

classification 🧮 math.DS math.NT
keywords Birkhoff genericityaffine subspaceshorospheresdiagonal flowsDiophantine approximationequidistributionDirichlet non-improvability
0
0 comments X

The pith

Almost every point on an affine subspace of an expanding horosphere is Birkhoff generic for the diagonal flow, except in two explicit Diophantine cases.

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

The paper proves that for a uniformly expanding diagonal flow on SL_{n+1}(R)/SL_{n+1}(Z), almost every initial point lying in an affine subspace of the expanding horospherical orbit through the identity coset satisfies the Birkhoff ergodic theorem. This holds unless the subspace's defining matrix has Diophantine exponent at least n, or the subspace can be approximated arbitrarily well by lower-dimensional affine subspaces defined over a real number field of degree m at least 2, with the relation n+1 equals m r. A sympathetic reader would care because the result characterizes the arithmetic conditions under which genericity can fail, while showing it holds for almost all points in the remaining cases. The paper also derives consequences for Dirichlet non-improvability and logarithmic densities on these subspaces.

Core claim

For the simple uniformly expanding diagonal flow on SL_{n+1}(R)/SL_{n+1}(Z), almost every point on an affine subspace of the expanding horospherical orbit through the identity coset is Birkhoff generic, except possibly when the defining matrix of the affine subspace has Diophantine exponent at least n, or the affine subspace is arbitrarily well approximable by affine subspaces of dimension r-1 defined over a real number field of degree m greater than or equal to 2, with n+1 equals m r.

What carries the argument

Affine subspaces inside the expanding horospherical orbit through the identity coset, where the Diophantine exponent of the defining matrix and approximability by number-field subspaces act as the only possible obstructions to genericity.

Load-bearing premise

The only obstructions to Birkhoff genericity on these affine subspaces are the two listed Diophantine conditions on the defining matrix or number-field approximability; any other obstruction from the horosphere geometry or the flow would make the almost-everywhere statement fail.

What would settle it

An explicit affine subspace whose defining matrix has Diophantine exponent below n and which cannot be approximated arbitrarily well by number-field subspaces of the stated type, yet on which the non-Birkhoff-generic points form a positive-measure subset.

read the original abstract

We study Birkhoff genericity for a simple uniformly expanding diagonal flow on $\mathrm{SL}_{n+1}(\mathbb R)/\mathrm{SL}_{n+1}(\mathbb Z)$, with initial points restricted to affine subspaces of the expanding horospherical orbit through the identity coset. We prove that almost every point on such an affine subspace is Birkhoff generic, except possibly in two situations: either the defining matrix of the affine subspace has Diophantine exponent at least $n$, or the affine subspace is arbitrarily well approximable by affine subspaces of dimension $(r-1)$ defined over a real number field of degree $m\ge 2$, with $n+1=mr$. As applications, we obtain Dirichlet non-improvability and logarithmic density results for almost every point on these affine subspaces.

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 / 2 minor

Summary. The manuscript proves that for a uniformly expanding diagonal flow on SL_{n+1}(R)/SL_{n+1}(Z), almost every point lying in an affine subspace of the expanding horospherical orbit through the identity is Birkhoff generic, except in two arithmetic cases: when the defining matrix of the subspace has Diophantine exponent at least n, or when the subspace is arbitrarily well approximable by (r-1)-dimensional affine subspaces defined over a real number field of degree m ≥ 2 satisfying n+1 = m r. Applications to Dirichlet non-improvability and logarithmic density results for almost every point on these subspaces are derived from the main theorem.

Significance. If the result holds, the work supplies a precise arithmetic characterization of the obstructions to Birkhoff genericity on these affine subspaces, extending techniques from homogeneous dynamics to settings with explicit Diophantine constraints. The explicit listing of the two exceptional cases (Diophantine exponent and number-field approximability) is a strength, as it yields falsifiable predictions and directly supports the applications to non-improvability and density statements. The approach relies on standard tools of the field without introducing free parameters or ad-hoc entities.

minor comments (2)
  1. [§2] The notation for the affine subspaces and their defining matrices could be introduced with a short dedicated paragraph in §2 to improve readability for readers outside the immediate subfield.
  2. Figure 1 (if present) would benefit from an explicit caption linking the depicted horosphere to the affine subspace construction in the main theorem.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the summary of the main result and the evaluation of its significance. We are pleased that the explicit arithmetic characterization of the exceptional cases and the applications are viewed as strengths. As the referee recommends acceptance and raises no major comments, we have no revisions to propose.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper is a theorem in homogeneous dynamics proving almost-everywhere Birkhoff genericity on affine subspaces, with two explicit arithmetic exceptions (Diophantine exponent and number-field approximability). No equations, predictions, or claims in the abstract reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations. The result is presented as derived from standard techniques with independent content, consistent with a self-contained mathematical proof against external benchmarks in the field.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are identifiable from the given text. The result relies on background facts from ergodic theory and Diophantine approximation that are standard in the field.

pith-pipeline@v0.9.1-grok · 5662 in / 1199 out tokens · 34353 ms · 2026-06-27T19:12:32.215598+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

27 extracted references · 22 canonical work pages

  1. [1]

    Monatshefte für Mathematik , author =

    Measure rigidity for solvable group actions in the space of lattices , volume =. Monatshefte für Mathematik , author =. 2019 , pages =. doi:10.1007/s00605-019-01295-5 , number =

    work page doi:10.1007/s00605-019-01295-5 2019

  2. [2]

    , author =

    Représentations linéaires irréductibles d'un groupe réductif sur un corps quelconque. , author =. Journal für die reine und angewandte Mathematik , doi =. 1971 , lastchecked =

    1971

  3. [3]

    Shi, Ronggang , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/tran/8028 , URL =

    work page doi:10.1090/tran/8028 2020

  4. [4]

    Benoist, Yves and Quint, Jean-Francois , TITLE =. Invent. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00222-011-0328-5 , URL =

    work page doi:10.1007/s00222-011-0328-5 2012

  5. [5]

    and Yang, Pengyu , TITLE =

    Kleinbock, Dmitry and de Saxc\'e, Nicolas and Shah, Nimish A. and Yang, Pengyu , TITLE =. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , FJOURNAL =. 2024 , NUMBER =. doi:10.2422/2036-2145.202107\_006 , URL =

    work page doi:10.2422/2036-2145.202107 2024

  6. [6]

    and Yang, Pengyu , TITLE =

    Shah, Nimish A. and Yang, Pengyu , TITLE =. Trans. Amer. Math. Soc. Ser. B , FJOURNAL =. 2024 , PAGES =. doi:10.1090/btran/212 , URL =

    work page doi:10.1090/btran/212 2024

  7. [7]

    Forum Math

    Prohaska, Roland and Sert, Cagri and Shi, Ronggang , TITLE =. Forum Math. Sigma , FJOURNAL =. 2023 , PAGES =. doi:10.1017/fms.2023.56 , URL =

    work page doi:10.1017/fms.2023.56 2023

  8. [8]

    and Yang, Pengyu , TITLE =

    Shah, Nimish A. and Yang, Pengyu , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/plms.12634 , URL =

    work page doi:10.1112/plms.12634 2024

  9. [9]

    and Schmidt, W

    Davenport, H. and Schmidt, W. M. , TITLE =. Acta Arith. , FJOURNAL =. 1969/70 , PAGES =. doi:10.4064/aa-16-4-413-424 , URL =

    work page doi:10.4064/aa-16-4-413-424 1969

  10. [10]

    Israel J

    Shi, Ronggang and Weiss, Barak , TITLE =. Israel J. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s11856-017-1472-y , URL =

    work page doi:10.1007/s11856-017-1472-y 2017

  11. [11]

    Kleinbock, Dmitry and Weiss, Barak , TITLE =. J. Mod. Dyn. , FJOURNAL =. 2008 , NUMBER =

    2008

  12. [12]

    Birkhoff generic points on curves in horospheres , volume =

    Omri Nisan Solan and Andreas Wieser , doi =. Birkhoff generic points on curves in horospheres , volume =. Selecta Mathematica, New Series , month =

  13. [13]

    Ratner, Marina , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1991 , NUMBER =. doi:10.2307/2944357 , URL =

    work page doi:10.2307/2944357 1991

  14. [14]

    , volume =

    Zimmer, Robert J. , volume =. 1984 , booktitle =

    1984

  15. [15]

    , TITLE =

    Shah, Nimish A. , TITLE =. Proc. Indian Acad. Sci. Math. Sci. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF02837164 , URL =

    work page doi:10.1007/bf02837164 1996

  16. [16]

    Khalil, Osama , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/tran/8161 , URL =

    work page doi:10.1090/tran/8161 2020

  17. [17]

    Kleinbock, Dmitry and Shi, Ronggang and Weiss, Barak , TITLE =. Math. Ann. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00208-016-1404-3 , URL =

    work page doi:10.1007/s00208-016-1404-3 2017

  18. [18]

    Fraczek, Krzysztof and Shi, Ronggang and Ulcigrai, Corinna , TITLE =. J. Mod. Dyn. , FJOURNAL =. 2018 , PAGES =. doi:10.3934/jmd.2018004 , URL =

    work page doi:10.3934/jmd.2018004 2018

  19. [19]

    Pure Appl

    Zhang, Han , TITLE =. Pure Appl. Math. Q. , FJOURNAL =. 2023 , NUMBER =. doi:10.4310/pamq.2023.v19.n2.a5 , URL =

    work page doi:10.4310/pamq.2023.v19.n2.a5 2023

  20. [20]

    Chaika, Jon and Eskin, Alex , TITLE =. J. Mod. Dyn. , FJOURNAL =. 2015 , PAGES =. doi:10.3934/jmd.2015.9.1 , URL =

    work page doi:10.3934/jmd.2015.9.1 2015

  21. [21]

    Yang, Pengyu , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-019-00945-7 , URL =

    work page doi:10.1007/s00222-019-00945-7 2020

  22. [22]

    Kleinbock, D. Y. and Margulis, G. A. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1998 , NUMBER =. doi:10.2307/120997 , URL =

    work page doi:10.2307/120997 1998

  23. [23]

    , TITLE =

    Shah, Nimish A. , TITLE =. Invent. Math. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00222-009-0186-6 , URL =

    work page doi:10.1007/s00222-009-0186-6 2009

  24. [24]

    and Kleinbock, D

    Kadyrov, S. and Kleinbock, D. and Lindenstrauss, E. and Margulis, G. A. , TITLE =. J. Anal. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1007/s11854-017-0033-4 , URL =

    work page doi:10.1007/s11854-017-0033-4 2017

  25. [25]

    Discrete Comput

    Kurdyka, Krzysztof and Spodzieja, Stanis aw and Szlachci\'nska, Anna , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00454-016-9776-4 , URL =

    work page doi:10.1007/s00454-016-9776-4 2016

  26. [26]

    International Mathematics Research Notices , volume =

    Daw, Christopher and Orr, Martin , title =. International Mathematics Research Notices , volume =. 2022 , month =. doi:10.1093/imrn/rnab173 , url =

    work page doi:10.1093/imrn/rnab173 2022

  27. [27]

    Approximation by Algebraic Numbers , publisher=

    Bugeaud, Yann , year=. Approximation by Algebraic Numbers , publisher=