Pith. sign in

REVIEW 3 major objections 5 minor 23 references

Lacunary elliptic maximal operator on the Heisenberg group

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper proves that lacunary elliptic maximal operators on the Heisenberg group are L^p-bounded for 1<p<∞ precisely when the defining matrix A avoids two explicit exceptional forms.

desk verdict Genuinely new classification result, but the proof has a real gap in the key L2 estimate and an unproved bootstrap lemma; worth refereeing, not yet citable as a theorem. read the letter →

arxiv 2501.11928 v1 pith:TVAABGJH submitted 2025-01-21 math.CA

Joonil Kim , Jeongtae Oh This is my paper · ORCID
classification math.CA MSC 42B2543A8022E30
keywords lacunarymaximaloperatorellipticHeisenberggroupFouriertransformLittlewood-PaleytheoryoscillatoryintegraldecayL^pboundednessbootstrapvector-valuedinequality
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 establishes a complete characterization of when lacunary (dyadic) elliptic maximal operators on the three-dimensional Heisenberg group are bounded on L^p. For 1

What carries the argument

The load-bearing object is the measure ζ_K carried by a dyadic ellipse segment, defined by ⟨ζ_K,f⟩ = ∫_{π/4}^{3π/4} f($2^{{k1}}$ cosθ, $2^{{k2}}$ sinθ, 0)dθ, with K=(k1,k2) ∈ $Z^{2}$, whose convolution with f on the Heisenberg group gives the elliptic average. The proof splits this convolution into local and global Littlewood–Paley pieces using the Heisenberg Littlewood–Paley projections L^ν_j, then reduces the main term to estimating oscillatory integral operators with phase Φ_A(x,y) = (e(x−y)+(x+y))√(1−(x−y)^2) + b $2^{{2k1}}$(x−y)^2/$2^{{k1+k2}}$ + d $2^{{2k2}}$(1−(x−y)^2)/$2^{{k1+k2}}$ for A with entries (b,e; e,d) plus a skew part. Uniform decay estimates for these phases (via a van der Corput-type lemma) give the $L^{2}$ bounds, and a bootstrap vector-valued maximal inequality extends them to all p>1. In the symmetric case A_w=0, the same decay is obtained through the Euclidean Fourier transform of the ellipse measure and reduces to known multiparameter maximal estimates.

What would settle it

Take the measure ζ in Lemma 5.1 to be the ellipse measure from (3.1) and choose f_K as the Littlewood–Paley pieces $L^{2}$_{k2−ℓ2}$L^{1}$_{k1−ℓ1}f for a sequence of disjoint bump functions; if the square-function estimate (5.5) fails for some q≤4/3, the bootstrap argument cannot reach p≤4/3 and the claimed full range is disproved.

Watch

Extended reading notes

Core claim

The central discovery is that L^p boundedness of the lacunary elliptic maximal operators on $H^{1}$ is decided entirely by the shape of the matrix A, with exactly two exceptional families. Specifically, Theorem 1.3 states that for every 1<p<∞, $E^{1}$_A is bounded on L^p($R^{3}$) if and only if A is not cI for any nonzero real c, and $E^{2}$_A is bounded if and only if A is not diag(c, c·$2^{{2a}}$) for any c≠0 and integer a. The paper also proves the positive estimate for all skew-symmetric matrices J (Theorem 1.2) and the matching unboundedness results (Theorem 1.1) for the exceptional cases. The forward direction — boundedness — is obtained by writing the operator as a convolution with an ellipse-carried measure, applying the group Fourier transform, and proving uniform decay for the resulting oscillatory integral operators; the converse is shown by explicit test functions that produce unbounded norms.

Load-bearing premise

The claim that the L^p bound holds for all 1<p<∞ rests on an unproved vector-valued maximal inequality (Lemma 5.1) that the paper says is 'in the spirit of' a classical differentiation result but does not derive; if that lemma is false, the established range is only p>4/3.

Editorial extensions

If this is right

  • For any skew-symmetric J, the two-parameter lacunary elliptic maximal operator is bounded on L^p(H^1) for every 1<p≤∞.
  • For every A outside the two exceptional families and every 1<p<∞, both E^1_A and E^2_A are bounded on L^p(R^3).
  • The exceptional matrices produce genuine unboundedness on every L^p with 0<p<∞, so the characterization in Theorem 1.3 is sharp in both directions.
  • The decay estimates used in the proof give quantitative exponential control in the lacunary separation parameters ℓ1,ℓ2, which is what makes the summation over the Littlewood–Paley pieces converge.

Reading between the lines

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

  • If the bootstrap Lemma 5.1 is not valid as stated, the claimed range 1<p<∞ would shrink to p>4/3, since that is what the preceding estimates establish directly.
  • The same two exceptional families likely appear for the analogous maximal operators on higher-dimensional Heisenberg groups, with the scalar-identity condition replaced by appropriate block-scalar conditions; the single-variable proof here does not settle that case.
  • A concrete testable extension is to replace the dyadic scales 2^{k1},2^{k2} by a lacunary sequence with ratio r>1; the exceptional set of A may depend on r, and the boundedness threshold might shift.
  • The unboundedness for A=cI reflects the vanishing of curvature of the circular averages along the center of the Heisenberg group; this suggests a general principle that dyadic maximal operators on groups fail to be bounded exactly when the averaging family lies along a degenerate (flat) submanifold.
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

3 major / 5 minor

Summary. The paper studies lacunary elliptic maximal operators E^1_A and E^2_A on the Heisenberg group H^1 identified with R^3, defined as suprema over dyadic scales of averages over ellipses determined by a matrix A. It claims: E^2_J is bounded on L^p(H^1) for 1<p≤∞ for the skew-symmetric matrix J (Theorem 1.2); E^1_A is bounded iff A is not a nonzero scalar multiple of the identity; and E^2_A is bounded iff A is not of the form diag(c, c·2^{2a}) for c≠0 and a∈Z (Theorems 1.1 and 1.3). The strategy is to decompose the elliptic averages by Littlewood-Paley projections, prove L^2 decay estimates for oscillatory integral operators via the group Fourier transform, and then bootstrap to all p>1 using a vector-valued maximal inequality (Lemma 5.1). The extension to arbitrary A is based on a twisting identity (Lemma 6.1) that reduces the analysis to the skew-symmetric Heisenberg case plus additional quadratic phase terms.

Significance. If correct, the result gives a complete and clean characterization of L^p boundedness for these one- and two-parameter dyadic elliptic maximal operators on H^1, going beyond previous work on lacunary spherical maximal functions and identifying exactly which linear distortions break boundedness. The approach is attractive and largely self-contained: it uses explicit computations with the group Fourier transform, Plancherel, van der Corput estimates, and Littlewood-Paley theory, with no fitted parameters. However, the technical core of the proof is not yet fully demonstrated; the major gaps listed below concern precisely the estimates that carry the main theorems, so the significance of the paper depends on closing those gaps.

major comments (3)
  1. [§4.2, Eq. (4.9) and Eq. (4.3)] The central L^2 decay estimate (4.3) is not proved in the full parameter range required. The proof of (4.9) is carried out only under the hypothesis 2^{ℓ1} ≥ 2^{10}(2^{ℓ2} + |λ2^{k1+k2}|). In the complementary regime, where 2^{ℓ1} is comparable to or smaller than 2^{ℓ2} + |λ2^{k1+k2}|, the text provides no estimate; the bound (4.8), used alone, gives only 2^{-s/4} min{2^{-ℓ2/4}, |λ2^{k1+k2}|^{-1/4}}, which does not imply the claimed uniform decay 2^{-(s+ℓ1+ℓ2)/4}. Since (4.3) underpins Proposition 3.2 and hence Theorems 1.2 and 1.3, this is a load-bearing gap and not a mere presentation issue.
  2. [§5, Lemma 5.1] The bootstrap argument for the full range 1<p<∞ rests entirely on Lemma 5.1, which is introduced with the phrase 'In the spirit of Nagel, Stein and Wainger [18]' but is neither proved in the text nor derived from [18] with the required strength. The lemma asserts a quantitative implication from scalar L^p maximal boundedness to an L^q vector-valued inequality for all q with 1/q < (1/2)(1+1/p); this is a strong statement and it is not an immediate consequence of the cited paper as written. Without a proof of Lemma 5.1, the transition from p>4/3 to all p>1 in Section 5 is unsupported, and with it the stated range of Theorems 1.2 and 1.3.
  3. [§7.2, proof of (7.12)] The proof of the symmetric case of Theorem 1.3 is incomplete. The case analysis after (7.13), stated as 'When b/d /∈ 22Z and e ≠ 0' versus 'either ... not both', omits several possibilities (for instance b=0 or d=0), and the notation 22Z is ambiguous. In addition, the claimed bound (7.13) uses a minimum of two Fourier decay estimates, while the support condition on the projections yields control only through their maximum; the passage from (7.13) to the square-function estimate (7.14) is not justified. The invocations of the 'Lifting Lemma' from page 484 of [19] and of the shifted maximal operators from [20, 23] are also too terse to verify. Since this subsection is where the sufficiency of Theorem 1.3 is proved for symmetric A, the gap matters.
minor comments (5)
  1. [§4.1, opening line] The label 'Proof of Proposition 7.1' in Section 4.1 is a misprint: the statement being proved there is Proposition 4.1, while Proposition 7.1 appears later in Section 7; the cross-reference should be corrected.
  2. [§2, definition of L^{ν,loc}_k] The definition L^{ν,loc}_k f = ∑∞_k L^ν_j * f has an ambiguous summation limit; it should read ∑_{j≥k} L^ν_j * f, and similarly the limits in the decomposition (3.2) should be stated explicitly.
  3. [§3, display before (3.3)] The vector-valued norm is written as (∑_{k1,k2} |ζ_K * L^2_{k2-ℓ2} L^1_{k1-ℓ1} f|^2)^{1/2}, but the accompanying sentence says it suffices to estimate sup_K |...|; the connection between the sup-norm and the square function should be made explicit.
  4. [§4.1, Case 2] In the proof of Proposition 4.1, the sentence 'the second part follows from 2^m ≤ 2^{-s+10}' occurs in Case 2, where the hypothesis is 2^m ≥ 2^{-s+10}; the comparison of the two terms in the minimum of (4.4) should be written out carefully.
  5. [§7.2, after (7.13)] The notation 'b/d /∈ 22Z' is ambiguous; it presumably means b/d ∉ 2^{2Z}, but the present typesetting makes the condition hard to parse and should be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof derives new boundedness theorems from external, independently published tools and contains no fitted parameters or self-referential definitions.

full rationale

The paper's derivation chain is not circular. The main theorems (Theorems 1.2 and 1.3) are obtained by group-Fourier reduction, oscillatory-integral decay estimates, interpolation, Littlewood-Paley decompositions, and a bootstrap step, none of which assume the target boundedness. The unboundedness cases in Theorem 1.1 are proved by explicit test functions and direct norm comparisons. The sufficiency parts for the general matrix A in Section 7 reduce to Fourier-decay estimates and known Ricci-Stein maximal theorems, with the new phase functions analyzed directly. The paper does rely on the authors' own prior works [21], [22], and [23] for the group-Fourier operator norm, the Heisenberg Littlewood-Paley theorem, and shifted maximal operator estimates, respectively; these are published, parameter-free external theorems, not predictions fitted to the present results, so they do not constitute circularity under the stated rules. The most fragile point is Lemma 5.1, a vector-valued maximal inequality stated without proof and attributed only 'in the spirit of Nagel, Stein and Wainger [18]'. This is an omitted justification and a correctness risk, but it is not circular: the lemma is an extrapolation tool used to pass from an already-proved scalar L2 bound to vector-valued estimates, and eventually to all p > 1. No equation in the paper is shown to be equivalent to its own input by construction, and no fitted parameter is renamed as a prediction. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof rests on standard harmonic analysis tools (group Fourier transform, Plancherel, van der Corput, Ricci-Stein maximal theorem) plus a Littlewood-Paley theorem from the authors' earlier paper [22]. No free parameters were fitted and no new entities are introduced. The only notable unproved ingredient is Lemma 5.1, used to extend the L^p range, and the finite-type condition on the phase in Proposition 7.1 is asserted rather than proved in detail.

assumptions (5)
  • standard math Group Fourier transform, Plancherel formula, and operator norm identity for convolution on the Heisenberg group (Proposition 2.1)
    Section 2, equations (2.1)-(2.2) and Proposition 2.1; standard results from [19] and [21].
  • domain assumption Littlewood-Paley theorem on the Heisenberg group (Lemma 2.1)
    Lemma 2.1 is quoted from [22], an earlier paper by one of the present authors. It is used to decompose the operator into Littlewood-Paley pieces.
  • standard math Van der Corput lemma for oscillatory integrals (Lemma 4.1)
    Section 4.1, Lemma 4.1; taken from Stein [19], page 334.
  • standard math Ricci-Stein multiparameter maximal theorem (Theorem 3.2 in [14])
    Used in Sections 3 and 7.2 to bound maximal operators of the form sup over k of an integral over an arc.
  • ad hoc to paper Lemma 5.1, a vector-valued maximal inequality used for the bootstrap argument
    Section 5, Lemma 5.1: stated without proof, only attributed 'in the spirit of' Nagel, Stein and Wainger [18]. The bootstrap to all p>1 depends on iterating this lemma.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Lacunary elliptic maximal operator on the Heisenberg group." pith.science (2026). https://pith.science/paper/TVAABGJH

@misc{pith2026250111928,
  author       = {Pith},
  title        = {Pith review of: Lacunary elliptic maximal operator on the Heisenberg group},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TVAABGJH}},
  note         = {Machine review of arXiv:2501.11928}
}
abstract

In this paper, we prove \( L^p \) boundedness results for lacunary elliptic maximal operators on the Heisenberg group. Furthermore, we extend these \( L^p \) estimates from skew-symmetric matrices, which naturally arise in Heisenberg group operations, to arbitrary matrices \( A \), investigating how the curvature induced by \( A \) governs the \( L^p \) boundedness of lacunary circular and elliptic maximal operators. Specifically, we provide necessary and sufficient conditions on \( A \) that determine whether these operators are bounded or unbounded on \( L^p \).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

  1. [18]

    and W ainger, Stephen , Differentiation in lacunary directions , Proc

    Nagel, Alexander and Stein, Elias M. and W ainger, Stephen , Differentiation in lacunary directions , Proc. Nat. Acad. Sci. U.S.A. 75 (1978), no. 3, 1060–1062

    work page 1978

  2. [19]

    , Harmonic analysis: real-variable methods, orthogonality , and oscillatory integrals , Princeton Mathematical Series, vol

    Stein, Elias M. , Harmonic analysis: real-variable methods, orthogonality , and oscillatory integrals , Princeton Mathematical Series, vol. 43, Princeton Univ. Press, 1993

    work page 1993

  3. [1]

    159, Birkh¨ auser Boston, 1998, xiv+192 pp

    Thangavelu, Sundaram , Harmonic analysis on the Heisenberg group , Progress in Mathematics, vol. 159, Birkh¨ auser Boston, 1998, xiv+192 pp

    work page 1998

  4. [2]

    Kim, Joonil , Annulus Maximal Averages on Variable Hyperplanes , Preprint (2020), arXiv:1906.03797

    arXiv 2020

  5. [3]

    Ryu, Jaehyeon and Seeger, Andreas , Spherical maximal functions on two step nilpotent Lie group s, Adv. Math. 453 (2024), Paper No. 109846, 40

    work page 2024

  6. [4]

    Liu, Naijia and Yan, Lixin , Singular spherical maximal operators on a class of degenera te two-step nilpotent Lie groups, Math. Z. 304 (2023), no. 1, Paper No. 16, 27 pp

    work page 2023

  7. [5]

    and Cladek, Laura and Pramanik, Malabi ka and Seeger, Andreas , Spherical means on the Heisenberg group: stability of a maximal functi on estimate , J

    Anderson, Theresa C. and Cladek, Laura and Pramanik, Malabi ka and Seeger, Andreas , Spherical means on the Heisenberg group: stability of a maximal functi on estimate , J. Anal. Math. 145 (2021), no. 1, 1–28

    work page 2021

  8. [6]

    Bagchi, Sayan and Hait, Sourav and Roncal, Luz and Thangavel u, Sundaram , On the maximal function associated to the spherical means on the Heisenberg group , New York J. Math. 27 (2021), 631–675

    work page 2021

Show all 23 references
  1. [7]

    Lee, Juyoung and Lee, Sanghyuk , Lp–Lq estimates for the circular maximal operator on Heisenberg r adial functions, Math. Ann. 385 (2023), no. 3–4, 1521–1544

    2023

  2. [8]

    M¨uller, Detlef and Seeger, Andreas , Singular spherical maximal operators on a class of two step n ilpotent Lie groups, Israel J. Math. 141 (2004), 315–340

    2004

  3. [9]

    Narayanan, E. K. and Thangavelu, Sundaram , An optimal theorem for the spherical maximal operator on the Heisenberg group, Israel J. Math. 144 (2004), 211–219

    2004

  4. [10]

    Nevo, Amos and Thangavelu, Sundaram , Pointwise ergodic theorems for radial averages on the Heise nberg group, Adv. Math. 127 (1997), no. 2, 307–334

    1997

  5. [11]

    , Lacunary spherical means , Illinois J

    Calder´on, Calixto P. , Lacunary spherical means , Illinois J. Math. 23 (1979), no. 3, 476–484

    1979

  6. [12]

    Roos, Joris and Seeger, Andreas and Srivastava, Rajula , Lebesgue space estimates for spherical maximal functions on Heisenberg groups , Int. Math. Res. Not. IMRN (2022), no. 24, 19222–19257

    2022

  7. [13]

    Ganguly, Pritam and Thangavelu, Sundaram , On the lacunary spherical maximal function on the Heisenber g group, J. Funct. Anal. 280 (2021), no. 3, Paper No. 108832, 32 pp

    2021

  8. [14]

    , Multiparameter singular integrals and maximal functions , Ann

    Ricci, Ful vio and Stein, Elias M. , Multiparameter singular integrals and maximal functions , Ann. Inst. Fourier (Grenoble) 42 (1992), no. 3, 637–670

    1992

  9. [15]

    Beltran, David and Guo, Shaoming and Hickman, Jonathan and S eeger, Andreas , The circular maximal operator on Heisenberg radial functions , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 23 (2022), no. 2, 501–568

    2022

  10. [16]

    Govindan Sheri, Aswin and Hickman, Jonathan and Wright, Jam es, Lacunary maximal functions on ho- mogeneous groups, J. Funct. Anal. 286 (2024), no. 3, Paper No. 110250, 25 pp

    2024

  11. [17]

    Analyse Math

    Bourgain, Jean , Averages in the plane over convex curves and maximal operato rs, J. Analyse Math. 47 (1986), 69–85

    1986

  12. [20]

    First commutator and generalizations, Rev

    Muscalu, Camil , Calder´ on commutators and the Cauchy integral on Lipschitzcurves revisited: I. First commutator and generalizations, Rev. Mat. Iberoam. 30 (2014), no. 2, 727–750

    2014

  13. [21]

    London Math

    Kim, Joonil , Hilbert transforms along curves in the Heisenberg group , Proc. London Math. Soc. (3) 80 (2000), no. 3, 611–642

    2000

  14. [22]

    Kim, Joonil, Lp-estimates for singular integrals and maximal operators as sociated with flat curves on the Heisenberg group, Duke Math. J. 114 (2002), no. 3, 555–593

    2002

  15. [23]

    Oh, Jeongtae and Kim, Joonil , Maximal functions associated to a family of flat curves in lac unary directions, Math. Z. 306 (2024), no. 3, Paper No. 38, 14 pp. LACUNARY ELLIPTIC MAXIMAL 18 (Joonil Kim) Department of Mathematics, Yonsei University, Seoul 120-7 49, Republic of K...

    2024

Pith tools

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