Pith. sign in

REVIEW 5 minor 29 references

Horizontal Kakeya maximal operators in finite Heisenberg groups: Exact exponents and applications

T0 review · 0 major / 5 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper establishes exact mixed-norm growth exponents for horizontal Kakeya maximal operators on finite Heisenberg groups, including a sharp q^{1/2} ℓ² bound for the refined-direction operator in rank one.

desk verdict This is a genuine contribution: exact mixed-norm exponents for a new refined-direction Heisenberg Kakeya operator, with a sharp Fourier-analytic ℓ² bound that holds up under checking. read the letter →

arxiv 2603.02111 v2 pith:SN2PTZWL submitted 2026-03-02 math.CO math.CAmath.GRmath.NT

Thang Pham , Andrea Pinamonti , Dung The Tran , Boqing Xue This is my paper · ORCID
classification math.COmath.CAmath.GRmath.NT MSC 05B2511T7142B2543A80
keywords finiteHeisenberggroupKakeyamaximaloperatorrefineddirectionshorizontallinesfieldssharpexponentsFourieranalysis
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves exact growth exponents for two Kakeya maximal operators associated with horizontal lines in finite Heisenberg groups over odd prime fields. For the operator that records only the projective spatial direction, it determines the mixed-norm exponent in every rank as max{(2n−1)/v, 1−1/u, 1+(2n−1)/v−2n/u}. For the finer refined-direction operator in rank one, which also records the central slope of a horizontal line, it proves the sharp ℓ²→ℓ² bound with growth q^{1/2} and derives the full exponent A^rd₁(u,v) = max{1/v, 1−1/u, 2/v−1/u, 1+2/v−3/u}. A direct consequence is that every full-direction horizontal Heisenberg Kakeya set has size at least a constant times q³. The proof is Fourier-analytic, avoiding the polynomial method; a key step is a bounded-fiber property of an explicit quadratic map.

What carries the argument

The central object is the refined direction set D_n = P^{2n}(F_q) \ {[0:⋯:0:1]}, which parametrizes horizontal lines by projective spatial direction plus central slope; in rank one it has q²+q elements. The proof linearizes M^rd by selecting one line per refined direction and applies a central Fourier transform. The zero-frequency piece maps to the planar Kakeya operator M₂, whose ℓ² norm is bounded by √(2q) via a TT* argument with two-point intersections of lines of distinct directions. The nonzero-frequency pieces are bounded using character orthogonality: for each fixed ξ ∈ F_q^*, the relevant character sum decouples into the quadratic polynomial Q_ρ(x) = ξx² − ρx, and the key counting bo

What would settle it

For q = 5, 7, or 9, compute the supremum over functions F of ||M^rd F||_{ℓ²(D₁)}/||F||_{ℓ²} by exhaustive search on small supports; Theorem 1.6 asserts this grows at most like C q^{1/2}, while the point mass forces at least (q+1)^{1/2}. Finding any F whose ratio grows like q^{1/2+ε} would refute the sharp bound.

Watch

Extended reading notes

Core claim

The central discovery is the sharp refined-direction estimate in H₁(F_q): if M^rd is the operator that, for each refined direction ω = [a:b:c], takes the maximal sum of |F| over horizontal lines with that direction, then ||M^rd F||_{ℓ²(D₁)} ≤ C q^{1/2} ||F||_{ℓ²(H₁(F_q))}, and the exponent 1/2 cannot be reduced. Combining this with ℓ¹ and ℓ∞ endpoints and interpolation determines all mixed-norm exponents A^rd₁(u,v) exactly; the formula is the maximum of four terms, each forced by an explicit test function. For the coarser operator parameterized only by projective directions, the paper determines the exact exponent in every rank, A_n(u,v) = max{(2n−1)/v, 1−1/u, 1+(2n−1)/v−2n/u}; in rank one t

Load-bearing premise

The estimate for nonzero central frequencies rests on the algebraic fact that the quadratic map Q_ρ(x) = ξx² − ρx attains each value in F_q at most twice; if that fiber-size bound failed—say under a higher-degree Heisenberg twist—the q^{1/2} ℓ² bound would no longer follow from this argument.

Editorial extensions

If this is right

  • Full-direction horizontal Heisenberg Kakeya sets in H₁(F_q) have size at least a constant times q³, giving a sharp nonabelian analogue of the finite-field Kakeya lower bound.
  • If a set E meets, for every refined direction in a set Ω, a horizontal line in at least m points, then |E| ≳ m²|Ω|/q; for Ω = D₁ this is the q³ lower bound.
  • The refined line-intersection function satisfies the higher-moment bound Σ_{ω∈D₁} M_E(ω)^s ≲ q |E|^{s−1} for every 2 ≤ s < ∞.
  • The exact mixed-norm exponent for the projective-direction operator in every rank is max{(2n−1)/v, 1−1/u, 1+(2n−1)/v−2n/u}; for the refined operator in rank one it is max{1/v, 1−1/u, 2/v−1/u, 1+2/v−3/u}.
  • The sharp ℓ² exponent 1/2 and the sharp ℓ³→ℓ³ exponent 2/3 for the refined operator are both attained by explicit test functions, so no smaller growth constant is possible.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the nonzero-frequency bound relies only on the at-most-two fiber size of a quadratic map, the same refined-direction strategy may transfer to other two-step nilpotent groups or Heisenberg-type twists whose central twist is a polynomial of bounded degree; a higher-degree twist would break this particular mechanism.
  • The paper's proposed route to affine Kakeya in F_q³ suggests a sharper structural question: whether different µ-slices of non-horizontal Kakeya lines can be forced to overlap. A positive answer there would yield a Fourier-analytic proof of the q³ lower bound without polynomial vanishing.
  • The rank-one refined bound is sharp, but the analogous ℓ²→ℓ^{2n} estimate in H_n for n ≥ 2 remains open; the paper's straightforward adaptation only gives growth q^{n/2}, leaving a gap to the point-mass obstruction scale q^{(2n−1)/2n}. Testing intermediate n would indicate what new mechanism is needed.
  • The paper's examples show that being an affine Kakeya set in F_q³ and being a full refined-direction Heisenberg Kakeya set are incomparable; this reframes the affine Kakeya lower bound as a question about non-horizontal lines with constrained basepoints.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The paper studies two discrete Kakeya maximal operators on finite Heisenberg groups H_n(F_q): the direction-only operator M_Hn and the refined-direction operator M^rd_Hn whose parameter records both the projective horizontal direction and the central slope. It determines the exact mixed-norm growth exponent for M_Hn in every rank (Theorems 1.4 and 1.5) and, in rank one, proves the sharp ℓ^2→ℓ^2 estimate ||M^rd_H1 F||_{ℓ^2(D_1)} ≤ C q^{1/2} ||F||_{ℓ^2(H_1(F_q))} (Theorem 1.6), derives the complete exponent formula for M^rd_H1 (Theorem 1.7), and obtains lower bounds for Heisenberg Kakeya sets (Theorem 1.8) and moment bounds (Theorem 1.9). The proof is Fourier-analytic: the zero-frequency term reduces to a planar TT* estimate, while nonzero central frequencies are controlled by Plancherel, character orthogonality, and the fact that the quadratic Q_ρ(x)=ξx^2−ρx has fibers of size at most two when ξ≠0. Lower bounds are given by explicit test functions. Section 11 contains examples separating affine Kakeya from refined-direction horizontal Kakeya and an explicit outlook toward a new proof of the affine Kakeya theorem in F_q^3.

Significance. If correct, this is a substantial and clean result: it gives the first sharp ℓ^2 bound for the refined-direction horizontal Kakeya maximal operator in the finite Heisenberg group, by purely Fourier-analytic means, without the polynomial method. The zero-frequency reduction to the planar Kakeya estimate is elegant, and the nonzero-frequency argument uses just a degree-two fiber bound, making the mechanism transparent. The exact mixed-norm exponent formula is supported by four matching lower-bound examples. The paper is also careful to separate established theorems from an explicitly labeled outlook; the higher-rank refined-direction estimate and the affine Kakeya program are not claimed as proved. The self-contained TT* proof of the planar input is a welcome feature.

minor comments (5)
  1. [Section 8, Eq. (50)] The constant in the displayed bound for ||T_ξ f||^2 should be 3/q, not 5/q: adding (48) and (49) gives (2q+q)Σ|\hat f|^2 / q^2 = 3/q · Σ|\hat f|^2. This only affects the numerical constant and does not change any exponent.
  2. [Section 7, Eq. (30) (and analogous display in Lemma 4.5)] The first inequality in (30) is tautological as written: ||TG||_{ℓ^r} ≤ (q+1)^{1/r} ||TG||_{ℓ^r}. It should read ||TG||_{ℓ^r} ≤ |P^{2n-1}|^{1/r} ||TG||_{ℓ^∞} ≤ |P^{2n-1}|^{1/r} ||G||_{ℓ^1}. The same typo appears in the proof of Lemma 4.5.
  3. [Section 1, after Theorem 1.7; Section 11.2] The text explicitly defers the sharp n≥2 refined-direction estimate to a 'forthcoming arXiv revision' and Section 11.2 is presented as an outlook, not a theorem. This is acceptable, but the introduction should state more prominently that the refined-direction results are rank-one only and that the affine Kakeya reduction is a research program, to avoid any impression that those statements are proved here.
  4. [Theorem 1.8] The conclusion that a full-direction horizontal Heisenberg Kakeya set has size ≳q^3 uses m=q, since a full line has q points. The derivation from (12) with m=q is immediate, but writing it explicitly would help the reader; with m=1 the bound (12) would only give |E|≳q.
  5. [Lemma 2.5, final lines] In the last two displays the target space of T is P^1(F_q), not F_q^2. As printed, 'ℓ^2(F_q^2)→ℓ^2(F_q^2)' is a typo and should be 'ℓ^2(F_q^2)→ℓ^2(P^1(F_q))'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the rank-one refined-direction derivation is self-contained and externally benchmarked.

full rationale

The paper's central claim, Theorem 1.6, is not circular. The refined-direction operator is decomposed into zero and nonzero central-frequency components. The zero-frequency component is reduced to the planar Kakeya bound of Lemma 2.5, which is proved directly by a TT* computation (eigenvalues of TT* are 2q and q−1). The nonzero-frequency component is controlled through Plancherel, character orthogonality, and the explicit quadratic-fiber bound |Q_ρ^{-1}(t)|≤2, all derived in the paper from scratch. The sharpness of q^{1/2} is shown by an explicit test function δ_0, not by fitting. The exact mixed-norm formula in Theorem 1.7 is obtained by interpolating the proven ℓ² estimate with endpoint bounds and matching each term of the max formula with an explicit test function: point mass, single line, two non-parallel lines lifted to t=0, and the constant function. These are genuine lower-bound examples rather than recycled assumptions. The general-rank benchmark Theorem 1.5 uses the Ellenberg–Oberlin–Tao theorem as external input, which is independent and not authored by the present authors; lower bounds again use explicit examples. The only self-citations ([12], [13], [20]) are motivational / contextual and do not carry the proof. Passages announcing future work for n≥2 and for the affine-Kakeya outlook are explicit limitations, not disguised circular dependencies. The apparent constant typo in (50) (5/q instead of 3/q) affects only constants, not exponents, and is not a circularity. Overall, the derivation does not reduce to its inputs by definition or by self-citation.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The central rank-one proof is self-contained and uses only standard finite-field algebra and Riesz–Thorin interpolation. The general-rank projective-direction theorem additionally imports the Ellenberg–Oberlin–Tao maximal estimate as an external black box. No numerical parameters are fitted; the exponents are forced by matching test functions.

assumptions (4)
  • standard math Riesz–Thorin interpolation for finite-dimensional ℓᵖ spaces (Lemma 2.2)
    Used throughout Sections 4, 7, and 9 to obtain off-diagonal bounds from endpoint estimates; stated and cited to Grafakos [16].
  • domain assumption Ellenberg–Oberlin–Tao maximal estimate on F_q^{2n} (Theorem 7.2)
    Load-bearing for Theorem 1.5 and Lemma 7.3 in rank n≥2; taken from [10] as a black box. Not used in the rank-one refined-direction proof.
  • standard math Basic finite-field algebraic facts: two non-parallel affine lines in F_q² meet in exactly one point; a degree-2 polynomial has at most two roots; the map (x,y) ↦ xb−ya is surjective when (a,b)≠0
    Used in Lemma 2.5 (TT*), the t-slope construction (Definition 1.1), and the non-zero-frequency fiber bound (52).
  • domain assumption q odd for the nonsquare example (Remark 2.4) and Example 11.2
    The paper states q is an odd prime power; Example 11.2 uses completing the square to conclude |A| ≤ (q+1)/2, requiring odd characteristic.
invented entities (1)
  • Refined-direction set D_n and refined-direction maximal operator M^rd
    purpose: Enlarges the directional parameter space from projective spatial directions to include the central t-slope of horizontal lines, enabling sharper ℓ² bounds.
    New mathematical object defined by the paper; its utility is demonstrated internally by the sharp theorems and matching test functions, with no independent external evidence required.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Horizontal Kakeya maximal operators in finite Heisenberg groups: Exact exponents and applications." pith.science (2026). https://pith.science/paper/SN2PTZWL

@misc{pith2026260302111,
  author       = {Pith},
  title        = {Pith review of: Horizontal Kakeya maximal operators in finite Heisenberg groups: Exact exponents and applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SN2PTZWL}},
  note         = {Machine review of arXiv:2603.02111}
}
abstract

Let $q$ be an odd prime power. We study Kakeya maximal operators associated with horizontal lines in the finite Heisenberg groups $\mathbb H_n(\mathbb F_q)$. Our principal object is the refined-direction maximal operator, whose parameter records the projective horizontal direction together with the central homogeneous coordinate determined by horizontality. In rank one, we prove \[ \|M_{\mathbb H_1}^{\mathrm{rd}}F\|_{\ell^2(\mathcal D_1)} \lesssim q^{\frac{1}{2}} \|F\|_{\ell^2(\mathbb H_1(\mathbb F_q))}, \] where the exponent $\frac{1}{2}$ is sharp. Combining this estimate with endpoint bounds and interpolation, we determine the exact mixed-norm growth exponent: \[ A^{\mathrm{rd}}_1(u,v) = \max\left\{ \frac1v,\, 1-\frac1u,\, \frac2v-\frac1u,\, 1+\frac2v-\frac3u \right\}, \qquad 1\le u,v\le\infty. \] As a consequence, if $E\subset\mathbb H_1(\mathbb F_q)$ meets, in at least $m$ points, a horizontal line in each refined direction from $\Omega\subset D_1$, then \[ |E|\gtrsim \frac{m^2|\Omega|}{q}. \] As a benchmark, we also analyze the coarser operator parameterized only by projective horizontal directions and determine its exact $\ell^u\to\ell^v$ growth exponent in every rank. In rank one, this benchmark is established by a self-contained $TT^*$ argument rather than polynomial vanishing, and the same planar estimate reappears as the zero-central-frequency component of the refined-direction proof. The nonzero central frequencies are controlled by Plancherel, character orthogonality, and a bounded-fiber property of an explicit quadratic map. Thus, the sharp refined-direction estimate is obtained by purely Fourier-analytic methods.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 2 linked inside Pith

  1. [1]

    Arsovski,Thep-adic Kakeya conjecture, Journal of the American Mathematical Society, 37(2024), 69–80

    B. Arsovski,Thep-adic Kakeya conjecture, Journal of the American Mathematical Society, 37(2024), 69–80

    2024

  2. [2]

    A. S. Besicovitch,On Kakeya’s problem and a similar one, Mathematische Zeitschrift,27 (1928), 312–320. 39

    1928

  3. [3]

    C´ ordoba,The Kakeya maximal function and the spherical summation multipliers, American Journal of Mathematics,99(1977), 1–22

    A. C´ ordoba,The Kakeya maximal function and the spherical summation multipliers, American Journal of Mathematics,99(1977), 1–22

    1977

  4. [4]

    Dhar,The Kakeya set conjecture overZ/NZfor generalN, Advances in Combinatorics, 2(2024), 26 pp

    M. Dhar,The Kakeya set conjecture overZ/NZfor generalN, Advances in Combinatorics, 2(2024), 26 pp

    2024

  5. [5]

    Dhar and Z

    M. Dhar and Z. Dvir,Proof of the Kakeya set conjecture over rings of integers modulo square- freeN, Combinatorial Theory,1(2021)

    2021

  6. [6]

    M. Dhar, Z. Dvir, and B. Lund,Simple proofs for Furstenberg sets over finite fields, Discrete Analysis,22(2021)

    2021

  7. [7]

    M. Dhar, Z. Dvir, and B. Lund,Furstenberg Sets in Finite Fields: Explaining and Improving the Ellenberg–Erman Proof, Discrete and Computational Geometry,71(2) (2024), 327–357

    2024

  8. [8]

    E. P. Dummit and M. Hablicsek,Kakeya sets over non-archimedean local rings, Mathematika 59(2) (2013), 257–266

    2013

Show all 29 references
  1. [9]

    Dvir,On the size of Kakeya sets in finite fields, Journal of the American Mathematical Society,22(2009), 1093–1097

    Z. Dvir,On the size of Kakeya sets in finite fields, Journal of the American Mathematical Society,22(2009), 1093–1097

    2009

  2. [10]

    J. S. Ellenberg, R. Oberlin, and T. Tao,The Kakeya set and maximal conjectures for algebraic varieties over finite fields, Mathematika56(1) (2010), 1–25

    2010

  3. [11]

    J. M. Fraser,Fourier analytic properties of Kakeya sets in finite fields, arXiv preprint arXiv:2505.09464 (2025)

    2025 arXiv

  4. [12]

    F¨ assler and A

    K. F¨ assler and A. Pinamonti,Loomis–Whitney inequalities in Heisenberg group, Mathematische Zeitschrift,301(2022), 1983–2010

    2022

  5. [13]

    F¨ assler, A

    K. F¨ assler, A. Pinamonti, and P. Wald,A Kakeya maximal inequality in the Heisenberg group, Annali Scuola Normale Superiore - Classe di Scienze,XXVI(3) (2025), 1451–1474

    2025

  6. [14]

    Fefferman,The multiplier problem for the ball, Annals of Mathematics,94(1971), 330–336

    C. Fefferman,The multiplier problem for the ball, Annals of Mathematics,94(1971), 330–336

    1971

  7. [15]

    Folland,Real Analysis: Modern Techniques and Their Applications (2nd ed.), New York: John Wiley & Sons, Inc., (1999)

    G. Folland,Real Analysis: Modern Techniques and Their Applications (2nd ed.), New York: John Wiley & Sons, Inc., (1999)

    1999

  8. [16]

    Grafakos,Classical and modern Fourier analysis, Pearson

    L. Grafakos,Classical and modern Fourier analysis, Pearson. Education, Inc. (2004)

    2004

  9. [17]

    Hegyv´ ari and F

    N. Hegyv´ ari and F. Hennecart,A note on Freiman models in Heisenberg groups, Israel Journal of Mathematics,189(1) (2012), 397–411

    2012

  10. [18]

    Hegyv´ ari and F

    N. Hegyv´ ari and F. Hennecart,A structure result for bricks in Heisenberg group, Journal of Number Theory,133(9) (2013), 2999–3006

    2013

  11. [19]

    Hegyv´ ari and F

    N. Hegyv´ ari and F. Hennecart,Expansion for cubes in the Heisenberg group, Forum Mathematicum,30(1) (2018), 227–236

    2018

  12. [20]

    Hegyv´ ari, L

    N. Hegyv´ ari, L. Q. Hung, A. Iosevich, and T. Pham,Packing sets under finite groups via algebraic incidence structures, arXiv preprint arXiv:2411.05377 (2024)

    2024

  13. [21]

    Hickman and J

    J. Hickman and J. Wright,The Fourier restriction and Kakeya problems over rings of integers moduloN, Discrete Analysis11(2018), 18 pp

    2018

  14. [22]

    Huang and B

    K. Huang and B. Stovall,Inequalities of Brascamp–Lieb type on the Heisenberg group, Mathematische Zeitschrift,312(6) (2026). 40

    2026

  15. [23]

    N. H. Katz and J. Zahl,An improved bound on the Hausdorff dimension of Besicovitch sets inR 3, Journal of the American Mathematical Society,32(2019), 195–259

    2019

  16. [24]

    Liu,On the dimension of Kakeya sets in the first Heisenberg group, Proceedings of the American Mathematical Society,150(2022), 3445–3455

    J. Liu,On the dimension of Kakeya sets in the first Heisenberg group, Proceedings of the American Mathematical Society,150(2022), 3445–3455

    2022

  17. [25]

    Mockenhaupt and T

    G. Mockenhaupt and T. Tao,Restriction and Kakeya phenomena for finite fields, Duke Mathematical Journal,121(2004), 35–74

    2004

  18. [26]

    Wang and J

    H. Wang and J. Zahl,Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions, arXiv:2502.17655 (2025)

    2025 arXiv

  19. [27]

    T. H. Wolff,An improved bound for Kakeya type maximal functions, Revista Matem´ atica Iberoamericana,11(1995), 651–674

    1995

  20. [28]

    Venieri,Heisenberg Hausdorff dimension of Besicovitch sets, Analysis and Geometry in Metric Spaces,2(2014), 319–327

    L. Venieri,Heisenberg Hausdorff dimension of Besicovitch sets, Analysis and Geometry in Metric Spaces,2(2014), 319–327

    2014

  21. [29]

    Zhang,Loomis-Whitney inequalities on corank1Carnot groups, Annales Fennici Mathematici,49(2024), 437–459 41

    Y. Zhang,Loomis-Whitney inequalities on corank1Carnot groups, Annales Fennici Mathematici,49(2024), 437–459 41

    2024

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.