pith. sign in

arxiv: 1907.03357 · v1 · pith:D5BNYV46new · submitted 2019-07-07 · 🧮 math.CO · math.NT

Some remarks on products of sets in the Heisenberg group and in the affine group

Ilya D. Shkredov This is my paper

Pith reviewed 2026-05-25 01:07 UTC · model grok-4.3

classification 🧮 math.CO math.NT
keywords Heisenberg groupaffine groupproduct setsFreiman's isomorphismnonabelian groupsgrowth estimatesadditive combinatorics
0
0 comments X

The pith

New product estimates for large and small sets in the Heisenberg group and affine group over prime fields yield an application of Freiman's isomorphism to nonabelian groups.

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

The paper establishes new results on the sizes of products formed by large subsets and by small subsets inside the Heisenberg group. Parallel results are given for the affine group over a prime field. These growth statements are then applied to obtain a version of Freiman's isomorphism theorem that holds in nonabelian groups. A sympathetic reader would care because the estimates describe how subsets multiply under noncommutative operations, which is a basic question in additive combinatorics once one moves beyond abelian groups. The work supplies concrete instances of such control in two standard families of nonabelian groups.

Core claim

The paper claims that new bounds hold for the cardinality of products of subsets in the Heisenberg group and in the affine group over the prime field, with separate statements according to whether the sets are large or small, and that these bounds imply an application of Freiman's isomorphism theorem in nonabelian groups.

What carries the argument

Product-set cardinality estimates that treat large and small subsets separately in the Heisenberg and affine groups.

Load-bearing premise

The sets under consideration must satisfy particular but unstated largeness or smallness conditions relative to the order of the group.

What would settle it

An explicit pair of subsets in the Heisenberg group over a large prime field whose product has cardinality strictly smaller than the stated bound would refute the growth claim.

read the original abstract

We obtain some new results on products of large and small sets in the Heisenberg group as well as in the affine group over the prime field. Also, we derive an application of these growth results to Freiman's isomorphism in nonabelian 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 / 2 minor

Summary. The manuscript claims to obtain new results on products of large and small sets in the Heisenberg group and in the affine group over the prime field, together with an application of the resulting growth estimates to Freiman's isomorphism theorem in nonabelian groups.

Significance. If the stated product-set bounds hold with explicit constants and the Freiman application is correctly derived, the work would add concrete nonabelian examples to the literature on growth in nilpotent and solvable groups and on isomorphism theorems outside the abelian setting.

minor comments (2)
  1. [Abstract] Abstract: the statements of the main theorems are not reproduced, so the precise size thresholds (e.g., |A| > |G|^c) and the form of the product estimates remain unclear from the opening paragraph.
  2. The manuscript should include at least one fully worked numerical example or small-order computation that illustrates the claimed product-set growth before the general theorems.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their accurate summary of the manuscript, the positive assessment of its significance, and the recommendation for minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states new results on products of large and small sets in the Heisenberg group and affine group over prime fields, plus an application to Freiman's isomorphism in nonabelian groups. No equations, derivations, fitted parameters, or self-citations appear in the provided text that reduce any claimed result to its own inputs by construction. The central claims rest on independent growth estimates without visible self-definitional loops, fitted-input predictions, or load-bearing self-citations.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities can be identified from the abstract alone.

pith-pipeline@v0.9.0 · 5552 in / 1071 out tokens · 19915 ms · 2026-05-25T01:07:21.615089+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

26 extracted references · 26 canonical work pages · 5 internal anchors

  1. [1]

    Breuillard, B

    E. Breuillard, B. Green, Approximate groups, II: The solvable linear case, Q. J. Math., 62:3 (2011) 513–521

    work page 2011

  2. [2]

    Celniker, Eigenvalue bounds and girths of graphs of finite, upper half– planes, Pacific Journal of Math., 166:1 (1994), 1–21

    N. Celniker, Eigenvalue bounds and girths of graphs of finite, upper half– planes, Pacific Journal of Math., 166:1 (1994), 1–21

    work page 1994

  3. [3]

    Erd ˝os, E

    P. Erd ˝os, E. Szemer ´ edi, On sums and products of integers, Studies in pure mathemat- ics, 213–218, Birkh¨ auser, Basel, 1983. I. D. Shkredov 15

    work page 1983

  4. [4]

    Green, I

    B. Green, I. Z. Ruzsa, Freiman ’s theorem in an arbitrary abelian group, Journal of the London Mathematical Society 75.1 (2007): 163–175

    work page 2007

  5. [5]

    Hegyvari, F

    N. Hegyvari, F. Hennecart, A note on Freiman models in Heisenberg groups, Israel J. of Math. 189 (2012), 397–411

    work page 2012

  6. [6]

    Hegyvari, F

    N. Hegyvari, F. Hennecart, A structure result for bricks in Heisenberg groups, JNT 133 (2013), 2999–3006

    work page 2013

  7. [7]

    Hegyvari, F

    N. Hegyvari, F. Hennecart, Substructure for product set in Heisenberg groups, Mosc. J. Comb. Number Theory 3 (2013), 57–68

    work page 2013

  8. [8]

    Hegyvari, F

    N. Hegyvari, F. Hennecart, Expansion for cubes in the Heisenberg group, Forum Mathematicum. Vol. 30. No. 1. De Gruyter (2018), 227–236

    work page 2018

  9. [9]

    H. A. Helfgott, Growth in groups: ideas and perspectives , Bull. Amer. Math. Soc. (N.S.) 52(3): 357–413, 2015

    work page 2015

  10. [10]

    Konyagin, I.D

    S.V. Konyagin, I.D. Shkredov, On sum sets of sets, having small product sets, Trans- actions of Steklov Mathematical Institute, 3:290 (2015), 304–316

    work page 2015

  11. [11]

    Upper and lower bounds for rich lines in grids

    B. Murphy, Upper and lower bounds for rich lines in grids, arXiv:1709.10438v1 [math.CO] 29 Sep 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  12. [12]

    Murphy, G

    B. Murphy, G. Petridis, Ol. Roche–Newton, M. Rudnev, I.D. Shkr edov, New results on sum-product type growth over fields, Mathematika, Volume 65, Issue 3, 2019, pp. 588–642

    work page 2019

  13. [13]

    Collinear triples and quadruples for Cartesian products in $\mathbb{F}_p^2$

    G. Petridis, Collinear triples and quadruples for Cartesian products in F2 p, arXiv:1610.05620v1 [math.CO] 18 Oct 2016

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  14. [14]

    Stronger sum-product inequalities for small sets

    M. Rudnev, G. Shakan, I. D. Shkredov, Stronger sum-product inequalities for small sets, arXiv:1808.08465 [math.CO] 26 Sept 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  15. [15]

    Rudnev, On the number of incidences between planes and points in thre e dimensions, Combinatorica, 38:1 (2018), 219–254; doi:10.1007/s00493-016-3329-6

    M. Rudnev, On the number of incidences between planes and points in thre e dimensions, Combinatorica, 38:1 (2018), 219–254; doi:10.1007/s00493-016-3329-6

    work page doi:10.1007/s00493-016-3329-6 2018

  16. [16]

    On growth rate in $SL_2(\mathbf{F}_p)$, the affine group and sum-product type implications

    M. Rudnev, I.D. Shkredov, On growth rate in SL 2(Fp), the affine group and sum- product type implications, arXiv:1812.01671v3 [math.CO] 26 Feb 2019

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  17. [17]

    Schulte, Harmonic analysis on finite Heisenberg groups, European Journal of Com- binatorics, Vol

    J. Schulte, Harmonic analysis on finite Heisenberg groups, European Journal of Com- binatorics, Vol. 25/3, 327–338, 2004

    work page 2004

  18. [18]

    Serr, Repr´ esentations lin´ eaires des groupes finis,Collections M´ ethodes, Hermann, Paris, 1967

    J.-P. Serr, Repr´ esentations lin´ eaires des groupes finis,Collections M´ ethodes, Hermann, Paris, 1967

    work page 1967

  19. [19]

    Shakan, On higher energy decompositions and the sum–product phenom enon, arXiv:1803.04637v1 [math.NT] 13 Mar 2018

    G. Shakan, On higher energy decompositions and the sum–product phenom enon, arXiv:1803.04637v1 [math.NT] 13 Mar 2018. 16

    work page arXiv 2018

  20. [20]

    I. D. Shkredov, On asymptotic formulae in some sum–product questions, Tran. Moscow Math. Soc, 79:2 (2018), 271–334; English transl. Trans. Moscow Math. Soc iety 2018, pp.231–281

    work page 2018

  21. [21]

    I. D. Shkredov, Modular hyperbolas and bilinear forms of Kloosterman sums, arXiv:1905.00291v1 [math.NT] 1 May 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1905

  22. [22]

    Solymosi, Bounding multiplicative energy by the sumset, Advances in Mathematics Volume 222:2 (2009), 402–408

    J. Solymosi, Bounding multiplicative energy by the sumset, Advances in Mathematics Volume 222:2 (2009), 402–408

    work page 2009

  23. [23]

    Stevens, F

    S. Stevens, F. de Zeeuw, An improved point-line incidence bound over arbitrary field s, Bull. LMS 49:5 842–858, 2017

    work page 2017

  24. [24]

    Szemer ´ edi, W.T

    E. Szemer ´ edi, W.T. Trotter, Extremal problems in discrete geometry, Combinatorica 3(3-4):381–392, 1983

    work page 1983

  25. [25]

    T. Tao, V. Vu, Additive combinatorics, Cambridge University Press 2006

    work page 2006

  26. [26]

    Vinh, A Szemer´ edi-Trotter type theorem and sum-product estimate over finite fields, Eur

    L.A. Vinh, A Szemer´ edi-Trotter type theorem and sum-product estimate over finite fields, Eur. J. Comb. 32:8 (2011), 1177–1181. I.D. Shkredov Steklov Mathematical Institute, ul. Gubkina, 8, Moscow, Russia, 119991 and IITP RAS, Bolshoy Karetny per. 19, Moscow, Russia, 127994 and MIPT, Institutskii per. 9, Dolgoprudnii, Russia, 141701 ilya.shkredov@gmail.com

    work page 2011