Pith. sign in

REVIEW 3 major objections 2 minor 1 cited by

Bourgain's condition, sticky Kakeya, and new examples

T0 review · 3 major / 2 minor · reviewed 2026-05-17 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For any Hörmander-type operator satisfying Bourgain's condition the sticky curved Kakeya conjecture reduces to the sticky classical Kakeya conjecture in dimensions at least three.

desk verdict The paper reduces sticky curved Kakeya to the classical case for Hörmander operators under Bourgain's condition and supplies new examples that resist diffeomorphism straightening. read the letter →

arxiv 2511.10918 v3 submitted 2025-11-14 math.CA

Arian Nadjimzadah This is my paper · ORCID
classification math.CA
keywords Bourgain'sconditioncurvedKakeyaconjecturestickyoscillatoryintegraloperatorsHörmander-typegeometriccharacterizationδ-tubes
checked against alexander_duality_circle_linkingFoundation.DimensionForcing
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 in dimensions three and higher, the sticky case of the curved Kakeya problem for any Hörmander-type oscillatory integral operator that meets Bourgain's condition reduces directly to the sticky case of the ordinary Kakeya problem. The reduction rests on a new geometric description of Bourgain's condition that tracks how curved δ-tubes arrange themselves inside a slightly larger δ^{1/2}-tube. A sympathetic reader would care because the result links a family of curved problems back to the better-understood flat Kakeya setting and supplies supporting evidence for the Guo-Wang-Zhang conjecture on the precise L^p bounds achieved by these operators.

What carries the argument

New geometric characterization of Bourgain's condition based on the structure of curved δ-tubes inside a δ^{1/2}-tube.

What would settle it

An explicit Hörmander-type operator satisfying Bourgain's condition in dimension three or higher for which the sticky curved Kakeya conjecture fails to reduce to the classical sticky Kakeya conjecture.

Watch

Extended reading notes

Core claim

For any Hörmander-type oscillatory integral operator satisfying Bourgain's condition in all dimensions at least 3, the sticky case of the corresponding curved Kakeya conjecture reduces to the sticky case of the classical Kakeya conjecture. This follows from a new geometric characterization of Bourgain's condition based on the structure of curved δ-tubes inside a δ^{1/2}-tube.

Load-bearing premise

The new geometric characterization of Bourgain's condition in terms of the structure of curved δ-tubes inside a δ^{1/2}-tube is sufficient to establish the reduction for all such operators.

Editorial extensions

If this is right

  • The sticky curved Kakeya conjecture reduces to the classical sticky Kakeya conjecture for every such operator.
  • The result supplies evidence for the Guo-Wang-Zhang conjecture that an operator achieves the same L^p bounds as the restriction conjecture precisely when it satisfies Bourgain's condition.
  • The characterizing property of curved δ-tubes inside δ^{1/2}-tubes does not extend to larger ambient tubes.
  • There exist operators satisfying Bourgain's condition whose associated families of curves cannot be mapped to lines by any diffeomorphism.

Reading between the lines

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

  • These examples may serve as concrete test cases for developing reduction methods that do not rely on straightening the curves to lines.
  • The geometric characterization could be checked directly in low dimensions to see whether it captures all operators that obey the L^p bounds predicted by the restriction conjecture.
  • Further study of the new examples might clarify what additional structure is needed to obtain a full curved-to-flat reduction without the sticky assumption.
Share X Bluesky LinkedIn Reddit HN

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

3 major / 2 minor

Summary. The paper proves that in dimensions n ≥ 3, for any Hörmander-type oscillatory integral operator satisfying Bourgain's condition, the sticky case of the associated curved Kakeya conjecture reduces to the sticky case of the classical Kakeya conjecture. The proof relies on a new geometric characterization of Bourgain's condition phrased in terms of the incidence structure of curved δ-tubes inside a δ^{1/2}-tube. The authors also construct examples in all dimensions ≥ 3 showing that this tube-structure property fails to persist inside larger tubes, and that these are the first operators satisfying Bourgain's condition for which no diffeomorphism maps the curve families to lines. This is presented as supporting evidence for the Guo-Wang-Zhang conjecture relating Bourgain's condition to restriction-type L^p bounds.

Significance. If the reduction is established with full details, the result would constitute a meaningful advance in the study of curved Kakeya problems and oscillatory integral operators, by isolating the role of Bourgain's condition and showing that sticky curved versions reduce to the classical sticky case. The new examples are a concrete contribution, as they demonstrate that the geometric property does not extend to larger scales and rule out diffeomorphism reductions of the Wang-Zahl type for these operators. The work supplies falsifiable geometric predictions and explicit constructions that can be checked independently.

major comments (3)
  1. [§3] §3 (geometric characterization): the argument that the incidence structure of curved δ-tubes inside a δ^{1/2}-tube directly implies the sticky reduction for every Hörmander operator satisfying Bourgain's condition is only sketched; the manuscript must supply the explicit transfer of the maximal-function estimate or the corresponding L^p bound, including how incidences at the δ-to-δ^{1/2} scale control the full sticky Kakeya constant without additional operator-specific hypotheses.
  2. [§4] §4 (reduction step): the claim that the new characterization yields the reduction for all such operators is load-bearing for the central theorem, yet the text does not verify that the tube-structure property automatically passes the sticky maximal inequality; a concrete counter-example or a missing estimate at this step would restrict the result to a subclass of operators.
  3. [Examples section] Examples section: the constructions of the new operators must include explicit verification that they satisfy Bourgain's condition and that the tube families are chosen without post-hoc adjustments; the current sketch leaves open whether the δ-tube incidences are forced by the operator or selected to fit the characterization.
minor comments (2)
  1. [Introduction] Notation for the curved δ-tubes and the δ^{1/2}-tube should be introduced with a single consistent definition early in the paper rather than redefined in each section.
  2. [Introduction] The statement of the Guo-Wang-Zhang conjecture in the introduction should include a precise reference to the original paper rather than a paraphrase.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive comments. We address each major comment below and will revise the manuscript to incorporate the suggested clarifications and expansions.

read point-by-point responses

  1. Referee: §3 (geometric characterization): the argument that the incidence structure of curved δ-tubes inside a δ^{1/2}-tube directly implies the sticky reduction for every Hörmander operator satisfying Bourgain's condition is only sketched; the manuscript must supply the explicit transfer of the maximal-function estimate or the corresponding L^p bound, including how incidences at the δ-to-δ^{1/2} scale control the full sticky Kakeya constant without additional operator-specific hypotheses.

    Authors: We agree that the transfer argument in §3 is presented at a high level and would benefit from greater explicitness. In the revised manuscript we will insert a self-contained derivation that converts the δ-to-δ^{1/2} incidence geometry into a bound on the sticky Kakeya maximal function. The argument proceeds by first controlling the number of curved δ-tubes inside each δ^{1/2}-tube via the Bourgain condition, then applying a standard dyadic decomposition and maximal-function inequality that is independent of further operator-specific assumptions; the resulting estimate directly yields the desired reduction of the sticky curved constant to the classical one. revision: yes

  2. Referee: §4 (reduction step): the claim that the new characterization yields the reduction for all such operators is load-bearing for the central theorem, yet the text does not verify that the tube-structure property automatically passes the sticky maximal inequality; a concrete counter-example or a missing estimate at this step would restrict the result to a subclass of operators.

    Authors: The referee correctly identifies that the passage from the geometric characterization to the sticky maximal inequality is central. We maintain that the characterization is formulated in a manner that is intrinsic to the incidence geometry and therefore applies uniformly to every Hörmander-type operator satisfying Bourgain’s condition. To make this verification explicit we will add a short lemma in §4 that derives the sticky maximal inequality directly from the tube-incidence property, using only the standard L^p theory for maximal functions and the scale-invariant nature of the δ-to-δ^{1/2} incidences; this will confirm that the reduction holds for the full class without restriction to a subclass. revision: yes

  3. Referee: Examples section: the constructions of the new operators must include explicit verification that they satisfy Bourgain's condition and that the tube families are chosen without post-hoc adjustments; the current sketch leaves open whether the δ-tube incidences are forced by the operator or selected to fit the characterization.

    Authors: We acknowledge that the examples section currently gives only a sketch. In the revision we will supply the missing explicit calculations: first, direct verification that each constructed phase function satisfies Bourgain’s condition by computing the requisite curvature and non-degeneracy quantities; second, a clear statement that the families of curves (and hence the δ-tube incidences) are determined solely by the phase function of the operator, with no post-hoc selection. These additions will remove any ambiguity about the natural origin of the incidences. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; reduction follows from independent geometric characterization

full rationale

The paper introduces a novel geometric characterization of Bourgain's condition in terms of curved δ-tubes inside δ^{1/2}-tubes and derives the sticky curved-to-classical Kakeya reduction from it. This characterization is presented as new and not obtained by fitting parameters or redefining the target conjecture. The reduction targets the independent classical sticky Kakeya conjecture rather than looping back to the paper's own inputs. No self-definitional steps, fitted predictions, or load-bearing self-citations that reduce the central claim to unverified prior work by the same author are exhibited in the abstract or claims. The derivation remains self-contained against external benchmarks.

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

The central claim rests on standard background assumptions from harmonic analysis concerning Hörmander-type operators and the definition of Bourgain's condition, with no free parameters fitted to data and no new postulated entities.

assumptions (2)
  • domain assumption Hörmander-type oscillatory integral operators are well-defined and satisfy the usual symbol estimates and phase function conditions standard in the field.
    Invoked throughout the abstract as the class of operators under consideration.
  • domain assumption The sticky case of the classical Kakeya conjecture is an independent, well-posed statement that can serve as the target of a reduction.
    The reduction is stated directly to this classical sticky case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bourgain's condition, sticky Kakeya, and new examples." pith.science (2026). https://pith.science/paper/2511.10918

@misc{pith2026251110918,
  author       = {Pith},
  title        = {Pith review of: Bourgain's condition, sticky Kakeya, and new examples},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2511.10918}},
  note         = {Machine review of arXiv:2511.10918}
}
abstract

We prove that in all dimensions at least 3 and for any H\"ormander-type oscillatory integral operator satisfying Bourgain's condition, the sticky case of the corresponding curved Kakeya conjecture reduces to the sticky case of the classical Kakeya conjecture. This supports a conjecture of Guo-Wang-Zhang, that an operator satisfies the same $L^p$ bounds as in the restriction conjecture exactly when it satisfies Bourgain's condition. Our result follows from a new geometric characterization of Bourgain's condition based on the structure of curved $\delta$-tubes in a $\delta^{1/2}$-tube. We find examples in all dimensions at least 3 which show this property does not persist in a larger tube, and in particular these are the first operators satisfying Bourgain's condition for which there is no diffeomorphism taking the corresponding families of curves to lines. This suggests that a general to sticky reduction in the spirit of Wang-Zahl needs substantial new ideas. We expect these examples to provide a good starting point.

Figures

Figures reproduced from arXiv: 2511.10918 by the authors.

Figure 1.1
Figure 1.1. Cartoon of Theorem 1.8 [PITH_FULL_IMAGE:figures/full_fig_p005_1_1.png] view at source ↗
Figure 1
Figure 1. is a cartoon of Theorem 1.8. Theorem 1.8 also has the following con [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 1.2
Figure 1.2. Cartoon of Proposition 1.21 [PITH_FULL_IMAGE:figures/full_fig_p010_1_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

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

  1. The (local) geometry of oscillatory integrals on manifolds: Dimension three

    math.CA 2026-06 unverdicted novelty 7.0 of 10

    The paper equates a generalized chaotic curvature condition of order k on 3-manifolds with non-(k+2)-exceptionality and proves every manifold is 3-exceptional while showing order-1 is impossible and higher orders occu...

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages · cited by 1 Pith paper

  1. [1]

    [Dem20] C

    Preprint arXiv:2407.06980. [Dem20] C. Demeter.Fourier restriction, decoupling, and applications, volume 184 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge,

    work page arXiv

  2. [2]

    [Gut25a] L

    Preprint arXiv:2503.11574. [Gut25a] L. Guth. Introduction to the proof of the Kakeya conjecture,

    work page arXiv

  3. [3]

    [Gut25b] L

    Preprint arXiv:2505.07695. [Gut25b] L. Guth. Outline of the wang-zahl proof of the kakeya conjecture inR 3,

    work page arXiv

  4. [4]

    [GWZ24] S

    Preprint arXiv:2508.05475. [GWZ24] S. Guo, H. Wang, and R. Zhang. A dichotomy for H¨ ormander-type oscillatory integral operators.Invent. Math., 238(2):503–584,

    work page arXiv

  5. [5]

    [Wol95] T

    Preprint arXiv:2503.15760. [Wol95] T. H. Wolff. An improved bound for Kakeya type maximal functions.Rev. Mat. Iberoam., 11(3):651–674,

    work page Pith review arXiv

  6. [6]

    Restriction estimates using decoupling theorems and two-ends Furstenberg inequalities

    Preprint arXiv:2411.08871. [WZ22] H. Wang and J. Zahl. Sticky Kakeya sets and the sticky Kakeya conjecture,

    work page Pith review arXiv

  7. [7]

    [WZ25a] H

    Preprint arXiv:2210.09581. [WZ25a] H. Wang and J. Zahl. The Assouad dimension of Kakeya sets inR 3.Inventiones mathe- maticae, 241(1):153–206, April

    work page arXiv

  8. [8]

    arXiv preprint arXiv:2502.17655 , year=

    Preprint arXiv:2502.17655. UCLA Department of Mathematics, Los Angeles, CA 90095. Email address:anad@math.ucla.edu

    work page arXiv

Pith tools

Reviewed May 17, 2026 · model on record in the stance chip above.