Pith. sign in

REVIEW 3 minor 2 cited by

Positive Measure of Unions of Variable Surfaces

T0 review · 0 major / 3 minor · reviewed 2026-06-29 · grok-4.3

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

Pith's one-line read If the Hausdorff dimension of E exceeds 1, the union of the level sets {y : ϕ(x,y)=1} over x in E has positive Lebesgue measure.

desk verdict Extends Mitsis-Wolff positivity to variable hypersurfaces under rotational curvature, with new thresholds and obstructions for measurable level selections. read the letter →

arxiv 2605.27550 v1 pith:YCDZ4ZPE submitted 2026-05-26 math.CA

Alex Iosevich , Zhangze Li , Krystal Taylor This is my paper · ORCID
classification math.CA
keywords HausdorffdimensionunionsofhypersurfacesrotationalcurvatureconditionFourierintegraloperatorsLebesguemeasurepositivityKakeyaphenomenarectifiablesetsvariablelevel
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

The paper establishes that for a compact set E in R^d with Hausdorff dimension greater than 1, the union over x in E of the hypersurfaces defined by ϕ(x,y)=1 has positive Lebesgue measure, provided ϕ satisfies the rotational curvature condition on that level set. This applies in dimensions d at least 2 and covers variable surfaces. The argument uses L^2 estimates for the associated Fourier integral operators and extends to cases with variable measurable level selections t(x), where the dimension threshold rises to greater than 2 unless a geometric intersection condition is imposed. It also treats the endpoint case of dimension exactly 1 when E is rectifiable and shows that positive measure need not imply the union contains an open set.

What carries the argument

The rotational curvature condition on the level set {ϕ(x,y)=1}, which enables L^2 estimates for the Fourier integral operators used to detect positive measure of the union.

What would settle it

A compact set E with Hausdorff dimension greater than 1 such that the union over x in E of {y : ϕ(x,y)=1} has Lebesgue measure zero, even though ϕ satisfies the rotational curvature condition.

Watch

Extended reading notes

Core claim

If the Hausdorff dimension of E exceeds 1, then the Lebesgue measure of the union over x in E of the sets {y : ϕ(x,y)=1} is positive when ϕ is smooth and satisfies the rotational curvature condition on the level set. The proof proceeds via L^2 estimates for Fourier integral operators. For variable level sets Σ_x = {y : ϕ(x,y)=t(x)} with measurable t, positivity requires dimension greater than 2, and this loss is tied to Kakeya-type compression; a direct geometric intersection hypothesis on overlaps of the hypersurfaces restores the dimension threshold of greater than 1. At dimension exactly 1, positivity holds when E is 1-rectifiable with positive one-dimensional Hausdorff measure. Positive

Load-bearing premise

The function ϕ must satisfy the rotational curvature condition on its level set.

Editorial extensions

If this is right

  • The positivity result remains valid under finite-order degeneracies of the Monge-Ampère determinant.
  • At the endpoint Hausdorff dimension 1, positivity holds for 1-rectifiable sets with positive one-dimensional measure.
  • The union can have positive Lebesgue measure while having empty interior, even for rectifiable or large parameter sets.
  • The results extend to higher codimension families when geometric structure prevents compression phenomena.

Reading between the lines

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

  • The appearance of Kakeya-type compression in the variable level case suggests that similar dimensional thresholds may appear in other incidence problems involving families of hypersurfaces.
  • One could test whether the dimension threshold of 1 persists for other curvature conditions that support comparable operator estimates.
  • The separation between positive measure and interior points invites study of the precise Hausdorff dimension of such unions under the given curvature assumption.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 3 minor

Summary. The paper proves that if E ⊂ R^d (d≥2) is compact with dim_H(E)>1 and ϕ is smooth satisfying the Phong-Stein rotational curvature condition on {ϕ(x,y)=1}, then the union ∪_{x∈E} {y: ϕ(x,y)=1} has positive Lebesgue measure. This extends the Mitsis-Wolff positivity theorems for spheres to variable hypersurfaces via L² estimates on Fourier integral operators whose canonical relations obey the curvature hypothesis. The argument also establishes stability of positivity under finite-order vanishing of the Monge-Ampère determinant using Sogge-Stein weighted averaging. For variable measurable level functions t(x), positivity holds when dim_H(E)>2, with the loss shown to be sharp via Kakeya-type compression; under an additional geometric intersection hypothesis the threshold returns to dim_H(E)>1. At the endpoint dim_H(E)=1, positivity is obtained when E is 1-rectifiable with positive H¹ measure. The unions need not have nonempty interior even for large or rectifiable E. Extensions to higher-codimension families are discussed.

Significance. If the L² estimates and stability arguments hold, the result supplies a natural variable-coefficient generalization of the Mitsis-Wolff theorem and clarifies the role of rotational curvature versus Kakeya compression in controlling measure positivity. The explicit separation of the curvature hypothesis from the averaging theory, together with the rectifiable endpoint and the counter-examples to interior regularity, strengthens the geometric picture in this area of harmonic analysis.

minor comments (3)
  1. [Abstract] The abstract states the main positivity result for fixed level 1 but does not indicate the precise statement of the Phong-Stein condition used; a one-sentence reminder of the non-vanishing of the mixed Hessian determinant on the level set would help readers locate the hypothesis in §2.
  2. [Section on variable level sets] In the discussion of variable levels t(x), the transition from the maximal-operator argument (dim>2) to the geometric-intersection hypothesis (recovering dim>1) would benefit from an explicit comparison of the two overlap conditions in a single paragraph.
  3. [Kakeya obstruction paragraph] The Kakeya-compression examples are described as showing sharpness, but the precise dimension of the compressed set E constructed in the counter-example is not stated; adding this datum would make the optimality claim immediately verifiable.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive summary of the manuscript, for highlighting its significance as a variable-coefficient extension of the Mitsis-Wolff theorems, and for recommending minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The derivation relies on external L² bounds for Fourier integral operators under the Phong-Stein rotational curvature hypothesis and the weighted averaging theory of Sogge-Stein, together with the prior Mitsis-Wolff positivity theorems. No step reduces the main positivity statement to a fitted quantity, self-defined relation, or load-bearing self-citation chain; the argument outline treats these as independent inputs. The Kakeya obstruction and rectifiability endpoint are identified geometrically without circular reduction. This is the normal case of a self-contained extension resting on externally verified estimates.

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

Based solely on the abstract; the central claim rests on the Phong-Stein curvature condition, standard smoothness of ϕ, and prior L² theory for FIOs and weighted averaging. No free parameters, invented entities, or ad-hoc axioms are introduced in the abstract itself.

assumptions (2)
  • domain assumption ϕ is smooth and satisfies the Phong-Stein rotational curvature condition on {ϕ(x,y)=1}
    Invoked in the first sentence of the abstract as the hypothesis enabling the FIO estimates.
  • standard math Standard L² estimates for Fourier integral operators and weighted averaging theory of Sogge-Stein hold
    Cited as the mechanism for the positivity proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Positive Measure of Unions of Variable Surfaces." pith.science (2026). https://pith.science/paper/YCDZ4ZPE

@misc{pith2026260527550,
  author       = {Pith},
  title        = {Pith review of: Positive Measure of Unions of Variable Surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YCDZ4ZPE}},
  note         = {Machine review of arXiv:2605.27550}
}
abstract

Let $E \subset \mathbb R^d$, $d \ge 2$, be compact, and let $\phi(x,y)$ be a smooth function satisfying the Phong--Stein rotational curvature condition on $\{\phi(x,y)=1\}$. We prove that if $\dim_{\mathcal H}(E)>1$, then $$ \left|\bigcup_{x \in E} \{y : \phi(x,y)=1\}\right|>0. $$ This extends the positivity theorem of Mitsis ($d\geq3$) and Wolff ($d=2$) for spheres to a general variable coefficient setting via $L^2$ estimates for Fourier integral operators. The argument also shows that positivity is stable under finite-order degeneracies of the Monge--Amp\`ere determinant through the weighted averaging theory of Sogge and Stein. We next consider variable level sets $$ \Sigma_x=\{y:\phi(x,y)=t(x)\}, $$ where $t(x)$ is measurable. A maximal operator argument yields positivity under the condition $\dim_{\mathcal H}(E)>2$. We show that this loss reflects a genuine geometric obstruction related to Kakeya-type compression phenomena. In contrast, under a direct geometric intersection hypothesis controlling overlaps of the hypersurfaces $\Sigma_x$, we recover the full threshold $\dim_{\mathcal H}(E)>1$ for arbitrary measurable selections $t=t(x)$. At the endpoint $\dim_{\mathcal H}(E)=1$, we obtain positivity under the additional assumption that $E$ is $1$-rectifiable with $\mathcal H^1(E)>0$. We also show that positivity of Lebesgue measure does not in general imply interior regularity: even for large or rectifiable parameter sets, the resulting unions may have empty interior. Finally, we discuss extensions to higher co-dimension families and the role of geometric structure in preventing compression phenomena.

Figures

Figures reproduced from arXiv: 2605.27550 by the authors.

Figure 1
Figure 1. Curvature versus flat geometry. Curved hypersurfaces spread in transverse di￾rections and fill area, while flat pieces can stack without producing positive measure. Let µ be a Frostman measure supported on E with exponent s > 1. Define the incidence measure ν by Z f(y) dν(y) = Z RAf(x) dµ(x). Since |w(x, y)| Aψ(x, y) ≥ 0, the measure ν is nonnegative. We now verify that ν has positive total mass. Since w does not va… view at source ↗
Figure 2
Figure 2. A schematic illustration of the finite-scale consequence: a uniformly distributed set of points gives rise to a family of annuli whose union occupies a large region. The corollary shows that [PITH_FULL_IMAGE:figures/full_fig_p014_2.png] view at source ↗
Figure 3
Figure 3. Fixed-level families remain tied to a common geometric scale and exhibit trans￾verse spreading, while arbitrary measurable parameter selections may produce compression phenomena analogous to Kakeya concentration. Suppose that there exists a universal constant C > 0 such that for all x, x′ ∈ R d and all sufficiently small δ > 0, (4.1) |Σ δ x ∩ Σ δ x′ | ≤ C δ 2 δ + |x − x ′ | , where Σ δ x denotes the δ-neighborhood o… view at source ↗
Figures from the paper (4 more)
Figure 4
Figure 4. Figure 4: Schematic illustration of the Mitsis-type intersection condition. Left: transverse hypersurfaces whose δ-neighborhood intersections shrink as the parameter separation in￾creases. Right: a compressive configuration where selected hypersurfaces nearly coincide, violating…
Figure 5
Figure 5. Figure 5: A schematic illustration of the geometric dichotomy discussed in the text. In the non-compressive regime, curvature and transversality force the family to spread through ambient space. In the compressive regime, Kakeya-type alignment phenomena allow large curved famili…
Figure 6
Figure 6. Figure 6: Schematic of the map F(t, u) = Φ(γ(t), u): variation in t moves the hypersurface transversely, while the u-variables parametrize the hypersurface itself. The map F is Lipschitz. For almost every t ∈ B ∩ J, the derivative γ ′ (t) exists and satisfies |γ ′ (t) − v0| < η.…
Figure 7
Figure 7. Figure 7: A horizontal slice Uy is contained in a finite union of translates of a Cantor set, and therefore has empty interior. If U contained a nonempty open ball, then for some y the horizontal slice of that ball would contain a nonempty open interval. This interval would be c…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. A Study on Kakeya Needle Problem for $(n-1)$-Rectifiable Set

    math.CA 2026-08 conditional novelty 7.0 of 10

    Every (n-1)-rectifiable set of finite H^{n-1} measure is Kakeya-movable under orientation-preserving isometries, and associated Nikodym-type null sets exist in all dimensions.

  2. Applications of Nonlinear Projections to Rectifiable 1-sets

    math.CA 2026-08 conditional novelty 5.0 of 10

    A Federer-style projection framework for nonlinear maps yields structural bounds on exceptional pins, radial projection vantage points, and circle unions of 1-rectifiable sets.

Reference graph

Works this paper leans on

24 extracted references · cited by 2 Pith papers

  1. [1]

    A. S. Besicovitch. On Kakeya’s problem and a similar one.Math. Z., 27(1):312–320, 1928. 2, 16

    1928

  2. [2]

    Bongers, P

    R. Bongers, P. Bright, C. Marshall, and K. Taylor. A higher dimensional two-projection theorem for generalized projections and pinned configurations.preprint, 2026. 29

    2026

  3. [3]

    Bongers and K

    R. Bongers and K. Taylor. Transversal families of nonlinear projections and generalizations of Favard length.Anal. PDE, 16(1):279–308, 2023. 29

    2023

  4. [4]

    Bourgain.L p-estimates for oscillatory integrals in several variables.Geom

    J. Bourgain.L p-estimates for oscillatory integrals in several variables.Geom. Funct. Anal., 1(4):321–374, 1991. 21

    1991

  5. [5]

    Cladek, B

    L. Cladek, B. Davey, and K. Taylor. Upper and lower bounds on the rate of decay of the Favard curve length for the four-corner Cantor set.Indiana Univ. Math. J., 71(3):1003–1025, 2022. 29

    2022

  6. [6]

    Eswarathasan, A

    S. Eswarathasan, A. Iosevich, and K. Taylor. Fourier integral operators, fractal sets, and the regular value theorem.Adv. Math., 228(4):2385–2402, 2011. 3

    2011

  7. [7]

    F¨ assler, A

    K. F¨ assler, A. Pinamonti, and P. Wald. A Kakeya maximal inequality in the Heisenberg group.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 26(3):1451–1474, 2025. 31

    2025

  8. [8]

    S. Guo, H. Wang, and R. Zhang. A dichotomy for H¨ ormander-type oscillatory integral operators.Invent. Math., 238(2):503– 584, 2024. 21

    2024

Show all 24 references
  1. [9]

    Iosevich, H

    A. Iosevich, H. Jorati, and I. Laba. Geometric incidence theorems via Fourier analysis.Trans. Amer. Math. Soc., 361(12):6595–6611, 2009. 14

    2009

  2. [10]

    Iosevich and I

    A. Iosevich and I. Laba.K-distance sets, Falconer conjecture, and discrete analogs.Integers, 5(2):A8, 11, 2005. 3 POSITIVE MEASURE OF UNIONS OF VARIABLE SURFACES 33

    2005

  3. [11]

    N. H. Katz and T. Tao. New bounds for Kakeya problems.J. Anal. Math., 87:231–263, 2002. Dedicated to the memory of Thomas H. Wolff. 31

    2002

  4. [12]

    Li and K

    Z. Li and K. Taylor. A quantified two-projection theorem for nonlinear projections.Preprint, 2026. 29

    2026

  5. [13]

    T. Mitsis. On a problem related to sphere and circle packing.J. London Math. Soc. (2), 60(2):501–516, 1999. 2, 16, 17

    1999

  6. [14]

    T. Mitsis. An optimal extension of Marstrand’s plane-packing theorem.Arch. Math. (Basel), 81(2):229–232, 2003. 21

    2003

  7. [15]

    Nadjimzadah

    A. Nadjimzadah. Bourgain’s condition, sticky kakeya, and new examples.Preprint, 2026. 21

    2026

  8. [16]

    D. H. Phong and E. M. Stein. Radon transforms and torsion.Internat. Math. Res. Notices, (4):49–60, 1991. 4, 7

    1991

  9. [17]

    D. H. Phong and E. M. Stein. Models of degenerate Fourier integral operators and Radon transforms.Ann. of Math. (2), 140(3):703–722, 1994. 4, 7

    1994

  10. [18]

    Simon and K

    K. Simon and K. Taylor. Dimension and measure of sums of planar sets and curves.Mathematika, 68(4):1364–1392, 2022. 29

    2022

  11. [19]

    C. D. Sogge.Fourier integrals in classical analysis, volume 210 ofCambridge Tracts in Mathematics. Cambridge University Press, Cambridge, second edition, 2017. 8, 23, 24, 30, 31

    2017

  12. [20]

    C. D. Sogge and E. M. Stein. Averages over hypersurfaces. II.Invent. Math., 86(2):233–242, 1986. 3, 4, 10, 11, 15

    1986

  13. [21]

    Srivastava and K

    R. Srivastava and K. Taylor. Counting Lattice Points Near Kor´ anyi Spheres via Generalized Radon Transforms.J. Fourier Anal. Appl., 32(3):Paper No. 51, 2026. 11

    2026

  14. [22]

    E. M. Stein.Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals, volume 43 ofPrince- ton Mathematical Series. Princeton University Press, Princeton, NJ, 1993. With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III. 4, 8, 15, 30

    1993

  15. [23]

    Talagrand

    M. Talagrand. Sur la mesure de la projection d’un compact et certaines familles de cercles.Bull. Sci. Math. (2), 104(3):225– 231, 1980. 2, 29

    1980

  16. [24]

    T. Wolff. Local smoothing type estimates onL p for largep.Geom. Funct. Anal., 10(5):1237–1288, 2000. 2 Department of Mathematics, University of Rochester, Rochester, NY Email address:alex.iosevich@rochester.edu Department of Mathematics, The Ohio State University, Columbus, OH...

    2000

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.