On the union of essentially distinct $\delta$-tubes

Qiuyu Ren

REVIEW 3 major objections 5 minor 12 references

On the union of essentially distinct $\delta$-tubes

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · 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 the asymptotically sharp lower bound for the measure of the union of essentially distinct $\delta$-tubes and characterizes all near-extremal configurations as lying in translates of $E\times[0,2]$ for a convex…

desk verdict Genuinely new rigidity results for essentially distinct δ-tubes plus a sharp convexity index; the small-N characterization has a real unproved-lemma gap that needs fixing. read the letter →

arxiv 1908.06000 v1 pith:ZFYPHLYZ submitted 2019-08-16 math.CA math.MG

Qiuyu Ren This is my paper · ORCID

classification math.CAmath.MG MSC 42B2544A1252A20

keywords delta-tubesessentiallydistinctKakeyaproblemsharplowerboundinverseX-raytransformconvexityindexarithmeticprojectionlemma

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

Two $\delta$-tubes in $\mathbb{R}^n$ are essentially distinct when their intersection has less than half the volume of a single tube. The paper establishes the asymptotically sharp lower bound on the measure of the union of any $N$ essentially distinct $\delta$-tubes: it scales like $\sqrt{N}\,\delta^{n-1}$ when $N$ is small (up to about $\delta^{2-2n}$) and like $N\delta^{2n-2}$ when $N$ is large. The main contribution is the inverse problem: when the union is within a constant factor of that minimum, the configuration must be rigid. For small $N$, almost all tubes must lie inside a translate of $E\times[0,2]$, where $E\subset\mathbb{R}^{n-1}$ is a convex $9\delta$-discretized set with $|E|\sim\sqrt{N}\,\delta^{n-1}$ and $\mathrm{diam}(E)\le 1$; for large $N$, the tubes must assemble into disjoint 'good configurations' resembling standard examples. A new measurement of convexity based on the X-ray transform is introduced to carry this rigidity.

What carries the argument

The load-bearing mechanism is the convexity index $c(E)=\frac{2}{n(n+1)|E|^2}\int_{\Omega_n}|E_\ell|^{n+1}\,d\ell$, built from the X-ray transform. For convex sets this quantity equals $1$, by a classical integral-geometric identity, and the paper proves the converse: $c(E)\sim 1$ forces $E$ to be almost convex. In the small-$N$ rigidity proof, the union bound is converted into the statement that the projection $E_0$ of the tubes onto $\mathbb{R}^{n-1}$ has convexity index comparable to $1$, so the asymptotic convexity theorem yields a convex body $F$ with $|F|\sim|F\cap E_0|$, which is then expanded into the box $E\times[0,2]$. A second crucial tool is Lemma 5.3, a multiplicity version of the arithmetic projection lemma, used in Proposition 7.1 to show that many tubes share a nearly common direction before the convexity argument begins.

What would settle it

Check whether the bound $\#G\le M^{1/6}N_0^{11/6}$ in Lemma 5.3 holds for the parameter range used in Proposition 7.1, where $M\sim\sqrt{N}$ and $N_0\sim\sqrt{N}$ after slicing; an explicit counterexample with those parameters would break the first step of the small-$N$ rigidity proof and would falsify the characterization as proved.

Watch

Extended reading notes

Core claim

The central discovery is a complete asymptotic rigidity theorem for unions of essentially distinct thin tubes. Theorem 2.1 gives the sharp two-regime lower bound $|\bigcup_{T\in\mathcal{T}}T|\gtrsim\min(\sqrt{N}\,\delta^{n-1},\,N\delta^{2n-2})$. Theorem 3.3 says that in the large-$N$ regime, any extremal collection splits into disjoint $(\varepsilon_0,\lambda_0)$-good configurations, each close to a standard example made from a full $\delta$-separated set of directions. Theorem 4.5, the main rigidity result, says that in the small-$N$ regime, if $|\bigcup_{T\in\mathcal{T}}T|\le C\sqrt{N}\,\delta^{n-1}$, then there is a convex $9\delta$-discretized set $E\subset\mathbb{R}^{n-1}$ with $|E|\sim\sqrt{N}\,\delta^{n-1}$ and $\mathrm{diam}(E)\le 1$ such that a translate of $E\times[0,2]$ contains $\sim N$ of the tubes. The proof passes through a new convexity index $c(E)=\frac{2}{n(n+1)|E|^2}\int_{\Omega_n}|E_\ell|^{n+1}\,d\ell$, for which the value $1$ characterizes convex sets up to measure zero; this index is what converts the numerical near-equality of the union bound into geometric structure.

Load-bearing premise

The small-$N$ rigidity proof rests on an unproved multiplicity version of the arithmetic projection lemma (Lemma 5.3), which the paper cites from the literature rather than proves; if that lemma fails for the parameters used here, the conclusion that many tubes share a nearly common direction, and with it the full characterization, would not follow.

Editorial extensions

If this is right

For small $N$, every near-extremal family of essentially distinct $\delta$-tubes is, up to constants, contained in $E\times[0,2]$ for a convex $9\delta$-discretized set $E$; this completely describes the sharp examples in that regime.
For large $N$, extremal families are unions of disjoint good configurations, each occupying a positive proportion of a standard configuration; Example 3.5 shows that no larger guaranteed portion is possible.
Combined with Theorem 4.3, the characterization is sharp: every convex $9\delta$-discretized set $E$ with $|E|\sim\sqrt{N}\,\delta^{n-1}$ and $\mathrm{diam}(E)\le 1$ supports $\sim N$ essentially distinct tubes in $E\times[0,2]$, so the geometric description is both necessary and sufficient.
The convexity index gives a new analytic measurement of convexity in $\mathbb{R}^n$ for $n\ge 2$: it is affine-invariant, insensitive to zero-measure changes, and its maximal value is attained exactly on convex sets up to measure-zero rearrangement.
The multiplicity version of the arithmetic projection lemma bridges the volume bound and directional concentration, and is the step that makes the whole rigidity argument work for the small-$N$ regime.

Reading between the lines

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

A limit statement the author leaves implicit: as $\delta\to 0$ with $N$ scaled so that $\sqrt{N}\,\delta^{n-1}$ stays fixed, the convex sets $E$ should converge in Hausdorff distance to a convex body, suggesting a continuous analogue of the tube-union extremal problem.
The same convexity-index machinery could be tried on other Kakeya-family inverse problems, such as characterizing near-extremizers of maximal $\delta$-separated tube configurations, where the forward bound is only known up to $\varepsilon$-losses.
The multiplicity parameter in Lemma 5.3 is used at $M\sim\sqrt{N}$; constructing arithmetic sets that saturate the $M^{1/6}N_0^{11/6}$ bound in that range would show that the directional-concentration step cannot be improved by elementary means.
Because $c(E)$ is defined through line integrals, it is numerically computable on the projected set $E_0$ in simulations, offering a concrete way to test the almost-convexity conclusion on randomly generated near-sharp configurations.

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, and a circularity audit.

Desk Editor's Note

read the letter

Here's the short version: the paper delivers a genuinely sharp lower bound for the union of essentially distinct δ-tubes and, more importantly, proves rigidity statements that actually characterize the extremal configurations, plus a new convexity index with an equality case. That is a lot of substance. The one real gap is the small-N rigidity argument: it leans on Lemma 5.3, a generalization of the Katz–Tao arithmetic projection estimate with multiplicity M, which is quoted rather than proved. That lemma is load-bearing in Proposition 7.1. Without it you cannot extract ~√N tubes sharing a common δ-cap, and Theorem 4.5 loses support. The stress-test note is right: a naive M=1 reduction gives only m ≳ N^{1/12}, far too weak. The paper itself tells you the proof is omitted, so this is an explicit limitation, not a hidden one. It should be fixable by writing out the proof or pinpointing a precise reference, but it needs to happen before I'd call Theorem 4.5 established.

What is actually new and good: Theorem 2.1's lower bound may be folklore (bush argument), but the large-N rigidity (Theorem 3.3) and the small-N characterization (Theorem 4.5, modulo the lemma) are not. The statement that sharp examples are exactly ~N tubes living in a translate of E × [0,2] with E convex, 9δ-discretized, |E| ~ √N δ^{n-1}, is a clean and satisfying answer. The convexity index in Section 6 is also new, and the equality case c(E)=1 iff E is convex up to null sets is proved carefully. The X-ray transform technology is applied honestly. The paper is well organized and the proofs are mostly self-contained; the citations to Christ, Katz–Tao, and Oberlin look appropriate. The self-reference to Ren's book for the integral-geometry identity is standard material, not suspect.

Minor issues: the constant c0 in "essentially distinct" is left vague, and later appears as "suitably chosen small constant c0 ∼ 1", which deserves tightening. The small-N proof also uses a continuization argument that is sketched rather than fully formal, but that's a lesser concern.

Who is this for: anyone working on Kakeya-type problems, discrete geometry, or X-ray transforms. I'd bring it to reading group, but I'd flag the lemma gap. It should go to a serious referee: the ideas are strong and mostly complete, and the missing lemma is a known type of result rather than a deep new obstruction.

Referee Report

3 major / 5 minor

Summary. The paper studies collections of N essentially distinct δ-tubes in R^n and determines, up to constants, the minimal possible measure of their union. Theorem 2.1 states the sharp two-regime bound: |∪T| ≳ √N δ^{n-1} for N ≲ δ^{2-2n} and |∪T| ≳ N δ^{2n-2} for N ≳ δ^{2-2n}. The paper then addresses the inverse problem. For large N, Theorem 3.3 shows that near-extremal collections contain many disjoint approximate standard configurations. For small N, Theorem 4.5 asserts the sharp rigidity statement: if |∪T| ≤ C√N δ^{n-1}, then there is a convex 9δ-discretized E ⊂ R^{n-1} with |E| ∼ √N δ^{n-1} and diam(E) ≤ 1 such that ∼N tubes are contained in a set congruent to E × [0,2]. The proof introduces a new X-ray-based convexity index c(E), proves that c(E) = 1 characterizes convexity up to measure-zero rearrangement (Theorem 6.5), and combines a bush argument, an arithmetic projection lemma (Lemma 5.3), and the convexity rigidity to extract the set E.

Significance. If the arguments are completed, the paper gives a fairly complete inverse theorem for a Kakeya-type tube volume problem: it not only gives the sharp lower bound but also characterizes all sharp examples in terms of convex subsets of R^{n-1}. The new convexity index is an interesting tool with an independent characterization theorem (Theorem 6.5), and the explicit two-way correspondence between convex discretized sets and sharp tube families (Theorems 4.3 and 4.5) is a valuable contribution. The paper is well organized and the main ideas are natural. The significance is somewhat conditional, however, because a central ingredient is quoted rather than proved, and because the sharpness constructions are not specified in enough detail to verify the essentially-distinct condition.

major comments (3)

[Section 5, Lemma 5.3; used in Section 7, Proposition 7.1]
[Section 2, sharpness construction for Theorem 2.1]
[Section 7, beginning of proof of Theorem 4.5]

minor comments (5)

[Section 1 and Abstract]
[Section 2 and passim]
[Section 7, proof of Proposition 7.1]
[Section 7, proof of Proposition 7.1]
[Section 6, proof of Lemma 6.8]

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the small-N rigidity theorem reduces to cited external lemmas and internally proved convexity results, not to its own assumptions.

full rationale

The derivation chain of Theorem 4.5 is not circular. The sharp volume bound in Theorem 2.1 is proved by a direct bush argument. The large-N rigidity result in Theorem 3.3 is proved from Lemmas 3.6 and 3.7 by pigeonhole and covering arguments. The small-N rigidity result rests on Proposition 7.1, which uses the arithmetic projection bound in Lemma 5.3. That lemma is cited to Katz-Tao and Oberlin, i.e. external work whose stated assumptions do not include the target rigidity statement; it is not a self-citation and does not build the paper's conclusion into its input. The extraction of the convex set E from the approximate X-ray-transform extremizer uses Theorem 6.6, whose proof is given in the paper through Lemmas 5.1, 5.2, 6.7, and 6.8; it does not presuppose Theorem 4.5. The integral-geometry identity for convex sets cited to Ren [10] is a standard, parameter-free fact and is also re-derived in the proof of Theorem 6.5. There is no fitted parameter renamed as a prediction: the constants are universal and are tracked through the inequalities. The convexity index is a new definition, but the characterization c(E) ~ 1 iff E is comparable to a convex set is proved independently of the tube problem. The only flagged gap is the unproved M > 1 version of Lemma 5.3, which is an omitted proof or correctness risk, not circularity; the stated M = 1 case is external and machine-independent, and the paper explicitly acknowledges that it refers to [6] rather than proving it. No step quoted in the paper reduces an equation to itself by construction.

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

The central claims rest on a small set of external theorems (Christ, Katz-Tao, Ren, Gruber, Stein) and on paper-internal lemmas stated with proofs. No free parameters are fitted; no new entities are introduced. The most fragile external input is the generalized Katz-Tao lemma, which is quoted rather than proved, and the constant c0 in the 'essentially distinct' definition is not quantified.

assumptions (5)

standard math Christ's L^{n+1} X-ray transform estimate: ||Xf||_{L^{n+1}(Ω)} ≤ C ||f||_{L^{(n+1)/2}(R^n)}.
External theorem cited from Christ [4]; used in Section 6 to bound the convexity index for general functions.
standard math Katz-Tao arithmetic projection lemma with multiplicity M: #G ≤ M^{1/6} N_0^{11/6}.
Quoted from Katz-Tao [6] and Oberlin [9]; load-bearing in Proposition 7.1, but the M>1 version is not proved in this paper.
standard math Integral identity for convex sets: ∫_{Ω_m} |K_ℓ|^{m+1} = m(m+1)|K|^2/2 for convex K ⊂ R^m.
Cited from Ren [10, (6.5.13)]; used in Theorem 4.3 and in the proof of Theorem 6.5 to show c(E)=1 for convex E.
standard math John's ellipsoid theorem / approximation of convex bodies by homothetic boxes with comparable volume.
Cited from Gruber [5]; used in Remark 4.6 and Theorem 4.5 to replace a convex set by a box.
standard math Lebesgue density theorem: the set of points of density 1 of a measurable set E differs from E by a set of measure zero.
Used in Theorem 6.5(2); cited to Stein [11, Corollary 3.1.5].

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the union of essentially distinct $\delta$-tubes." pith.science (2026). https://pith.science/paper/ZFYPHLYZ

@misc{pith2026190806000,
  author       = {Pith},
  title        = {Pith review of: On the union of essentially distinct $\delta$-tubes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZFYPHLYZ}},
  note         = {Machine review of arXiv:1908.06000}
}

abstract

We say two $\delta$-tubes (dimension $\delta\times\cdots\times\delta\times1$) in $\mathbb{R}^n$ are essentially distinct if the measure of their intersection is smaller than a half of a single $\delta$-tube. For a collection of essentially distinct $\delta$-tubes, we give the asymptotically sharp lower bound for the measure of their union. Then we characterize all sharp examples. We will give a new measurement of convexity based on the X-ray transform.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

2, 337–345

Gerald Beer, The index of convexity and parallel bodies , Paciﬁc Journal of Mathematics 53 (1974), no. 2, 337–345

work page 1974
[2]

2, 147–187

Jean Bourgain, Besicovitch type maximal operators and applications to fou rier analysis , Geo- metric and Functional analysis 1 (1991), no. 2, 147–187

work page 1991
[3]

2, 256–282

, On the dimension of kakeya sets and related maximal inequali ties, Geometric and Functional Analysis 9 (1999), no. 2, 256–282

work page 1999
[4]

6, 891–910

Michael Christ, Estimates for the k-plane transform , Indiana University Mathematics Journal 33 (1984), no. 6, 891–910

work page 1984
[5]

Gruber, Chapter 1.10 - aspects of approximation of convex bodies , Handbook of Convex Geometry (P.M

Peter M. Gruber, Chapter 1.10 - aspects of approximation of convex bodies , Handbook of Convex Geometry (P.M. Gruber and J.M. Wills, eds.), North-H olland, Amsterdam, 1993, pp. 319 – 345

work page 1993
[6]

6, 625–630

Nets Hawk Katz and Terence Tao, Bounds on arithmetic projections, and applications to the kakeya conjecture, Mathematical Research Letters 6 (1999), no. 6, 625–630

work page 1999
[7]

1, 231–263

, New bounds for kakeya problems , Journal d’Analyse Math´ ematique87 (2002), no. 1, 231–263

work page 2002
[8]

Gruber and J.M

Peter Mani-Levitska, Chapter 1.1 - characterizations of convex sets , Handbook of Convex Geometry (P.M. Gruber and J.M. Wills, eds.), North-Holland , Amsterdam, 1993, pp. 19 – 41

work page 1993

Show all 12 references

[9]

3, 623–644

Richard Oberlin, Two bounds for the x-ray transform , Mathematische Zeitschrift 266 (2010), no. 3, 623–644

2010
[10]

Ren, Topics in integral geometry , Pure Mathematics, W orld Scientiﬁc, 1994

D. Ren, Topics in integral geometry , Pure Mathematics, W orld Scientiﬁc, 1994. ON THE UNION OF ESSENTIALLY DISTINCT δ-TUBES 29

1994
[11]

Elias M Stein and Rami Shakarchi, Real analysis: measure theory, integration, and hilbert spaces, Princeton University Press, 2009

2009
[12]

3, 651–674

Thomas H W olﬀ, An improved bound for kakeya type maximal functions , Revista Matem´ atica Iberoamericana 11 (1995), no. 3, 651–674. Department of Mathematics, Massachusetts Institute of Tec hnology, Cambridge, MA 02139, USA E-mail address : rqy18@mit.edu

1995

Pith tools

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

[1] [1]

2, 337–345

Gerald Beer, The index of convexity and parallel bodies , Paciﬁc Journal of Mathematics 53 (1974), no. 2, 337–345

work page 1974

[2] [2]

2, 147–187

Jean Bourgain, Besicovitch type maximal operators and applications to fou rier analysis , Geo- metric and Functional analysis 1 (1991), no. 2, 147–187

work page 1991

[3] [3]

2, 256–282

, On the dimension of kakeya sets and related maximal inequali ties, Geometric and Functional Analysis 9 (1999), no. 2, 256–282

work page 1999

[4] [4]

6, 891–910

Michael Christ, Estimates for the k-plane transform , Indiana University Mathematics Journal 33 (1984), no. 6, 891–910

work page 1984

[5] [5]

Gruber, Chapter 1.10 - aspects of approximation of convex bodies , Handbook of Convex Geometry (P.M

Peter M. Gruber, Chapter 1.10 - aspects of approximation of convex bodies , Handbook of Convex Geometry (P.M. Gruber and J.M. Wills, eds.), North-H olland, Amsterdam, 1993, pp. 319 – 345

work page 1993

[6] [6]

6, 625–630

Nets Hawk Katz and Terence Tao, Bounds on arithmetic projections, and applications to the kakeya conjecture, Mathematical Research Letters 6 (1999), no. 6, 625–630

work page 1999

[7] [7]

1, 231–263

, New bounds for kakeya problems , Journal d’Analyse Math´ ematique87 (2002), no. 1, 231–263

work page 2002

[8] [8]

Gruber and J.M

Peter Mani-Levitska, Chapter 1.1 - characterizations of convex sets , Handbook of Convex Geometry (P.M. Gruber and J.M. Wills, eds.), North-Holland , Amsterdam, 1993, pp. 19 – 41

work page 1993