Recognition: 2 theorem links
· Lean TheoremOn asymptotic approximate groups in nilpotent groups
Pith reviewed 2026-05-12 05:01 UTC · model grok-4.3
The pith
In virtually nilpotent groups, finite sets whose powers contain symmetric word balls of radius comparable to h are asymptotic approximate groups.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that if G is virtually nilpotent and A is a finite nonempty subset such that for all sufficiently large h the power A to a fixed multiple contains a symmetric word ball of radius comparable to h, then A is an asymptotic (r,l)-approximate group for some fixed r and l independent of h.
What carries the argument
The asymptotic (r,l)-approximate group definition, under which larger products A^{hr} are covered by a fixed number of left translates of A^h, together with the hypothesis that powers of A contain symmetric word balls of radius scaling linearly with h.
If this is right
- Finite sets meeting the word-ball condition satisfy the asymptotic approximate-group covering property with a uniform bound l.
- The same covering holds for all sufficiently large scales h.
- An analogous statement applies to certain infinite nonabelian semilinear sets in virtually nilpotent groups.
- The result supplies a sufficient criterion for asymptotic approximate-group behavior directly from the existence of large word balls inside powers.
Where Pith is reading between the lines
- The word-ball condition may serve as a testable proxy for identifying sets that remain structured under repeated multiplication at arbitrary scales.
- Results of this type could be compared with growth estimates in nilpotent groups to see whether the asymptotic covering bound relates to the group's nilpotency class.
- One could test whether relaxing virtual nilpotency to other classes of groups with controlled growth still preserves the implication from word balls to the asymptotic property.
Load-bearing premise
The groups are virtually nilpotent and the finite sets satisfy the condition that their powers contain symmetric word balls of radius comparable to h.
What would settle it
A counterexample would consist of a finite set A inside a virtually nilpotent group whose powers contain symmetric word balls of radius comparable to h, yet for some fixed r the number of left translates of A^h needed to cover A^{hr} grows without bound as h increases.
read the original abstract
Let $G$ be a group and let $A\subseteq G$ be non-empty. We call $A$ an asymptotic $(r,l)$-approximate group if, for a fixed dilation factor $r$, the larger product sets $A^{hr}$ can, for all sufficiently large $h$, be covered by a bounded number of left translates of $A^h$, with the bound $l$ independent of $h$. We show that, in virtually nilpotent groups, finite sets whose powers contain a symmetric word ball of radius comparable to $h$ are asymptotic approximate groups. We also prove a nonabelian semilinear-set analogue for certain infinite sets in these groups.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines an asymptotic (r,l)-approximate group as a set A such that, for fixed r, the product set A^{hr} is covered by at most l left translates of A^h for all sufficiently large h, with l independent of h. It proves that in virtually nilpotent groups, any finite nonempty A whose powers A^h contain a symmetric word ball of radius comparable to h is an asymptotic (r,l)-approximate group for some fixed r and l. A nonabelian semilinear-set analogue is also established for certain infinite sets in these groups.
Significance. If the central claims hold, the result supplies a concrete sufficient condition, grounded in polynomial growth and the coordinate structure of virtually nilpotent groups, for recognizing asymptotic approximate groups. This strengthens the link between approximate-group notions and the geometry of nilpotent groups and may be useful for studying generation and growth at large scales. The argument appears to avoid hidden parameters or circularity, relying instead on standard facts about nilpotent groups once the ball-containment hypothesis is in place.
minor comments (2)
- The definition of asymptotic (r,l)-approximate group is stated clearly in the abstract and introduction, but the precise meaning of 'radius comparable to h' should be formalized with explicit constants or inequalities in the first section where the main theorem is stated.
- The nonabelian semilinear-set result is mentioned only briefly; a short paragraph clarifying the precise class of infinite sets to which it applies would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive summary of our results on asymptotic approximate groups in virtually nilpotent groups and for the recommendation of minor revision. No specific major comments or requested changes were provided in the report.
Circularity Check
No circularity: theorem proof is self-contained
full rationale
The paper introduces a definition of asymptotic (r,l)-approximate groups and proves that finite sets A in virtually nilpotent groups satisfying the ball-containment hypothesis (A^h contains a symmetric word ball of radius ~h) are asymptotic approximate groups. This relies on standard facts about polynomial growth and coordinate structure in nilpotent groups, which are independent of the new definition and not obtained by fitting or self-citation chains. No load-bearing step reduces to a prior result by the same author, no parameter is fitted and relabeled as prediction, and the covering bound l being h-independent follows directly from the nilpotency assumptions without circular reduction. The derivation chain is therefore non-circular.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Virtually nilpotent groups possess structural properties that allow control of product sets and word balls as used in the statements.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclearWe show that, in virtually nilpotent groups, finite sets whose powers contain a symmetric word ball of radius comparable to h are asymptotic approximate groups.
Reference graph
Works this paper leans on
-
[1]
H. Bass, The degree of polynomial growth of finitely generated nilpotent groups,Proceedings of the London Mathematical Society25 (1972), 603–614. [3]
work page 1972
-
[2]
A. Biswas and W. A. Moens, On semilinear sets and asymptotic approximate groups,Advances in Applied Mathematics137 (2022), 102330. [2, 8, and 10]
work page 2022
-
[3]
E. Breuillard, Geometry of locally compact groups of polynomial growth and shape of large balls,Groups, Geometry, and Dynamics8 (2014), 669–732. [3 and 15]
work page 2014
-
[4]
E. Breuillard and M. C. H. Tointon, Nilprogressions and groups with moderate growth,Advances in Mathematics 289 (2016), 1008–1055. [5]
work page 2016
-
[5]
E. Breuillard, B. Green, and T. Tao, The structure of approximate groups,Publications Math´ ematiques de l’IH ´ES 116 (2012), 115–221. [1]
work page 2012
-
[6]
Y. Guivarc’h, Croissance polynomiale et p´ eriodes des fonctions harmoniques,Bulletin de la Soci´ et´ e Math´ ematique de France101 (1973), 333–379. [3]
work page 1973
-
[7]
M. B. Nathanson, Every finite subset of an abelian group is an asymptotic approximate group,Journal of Number Theory191 (2018), 175–193. [1, 2, and 14]
work page 2018
-
[8]
P. Pansu, Croissance des boules et des g´ eod´ esiques ferm´ ees dans les nilvari´ et´ es,Ergodic Theory and Dynamical Systems3 (1983), 415–445. [3 and 15]
work page 1983
-
[9]
I. Z. Ruzsa, An application of graph theory to additive number theory,Scientia, Ser. A3 (1989), 97–109. [3 and 4]
work page 1989
-
[10]
Tao, Product set estimates for non-commutative groups,Combinatorica28(5) (2008), 547–594
T. Tao, Product set estimates for non-commutative groups,Combinatorica28(5) (2008), 547–594. [1, 3, and 4] Email address:arin.math@gmail.com
work page 2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.