pith. sign in

arxiv: 2511.10918 · v3 · submitted 2025-11-14 · 🧮 math.CA

Bourgain's condition, sticky Kakeya, and new examples

Arian Nadjimzadah This is my paper

Pith reviewed 2026-05-17 22:52 UTC · model grok-4.3

classification 🧮 math.CA
keywords Bourgain's conditioncurved Kakeya conjecturesticky Kakeyaoscillatory integral operatorsHörmander-type operatorsgeometric characterizationδ-tubes
0
0 comments X

The pith

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.

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

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.

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.

What carries the argument

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

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.

Where Pith is reading between the lines

These are 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.

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.

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.

Figures

Figures reproduced from arXiv: 2511.10918 by Arian Nadjimzadah.

Figure 1.1
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. 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. Figure 1.2: Cartoon of Proposition 1.21 [PITH_FULL_IMAGE:figures/full_fig_p010_1_2.png] view at source ↗
read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 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.

axioms (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.

pith-pipeline@v0.9.0 · 5470 in / 1540 out tokens · 53761 ms · 2026-05-17T22:52:04.376761+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

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.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  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 arXiv

  6. [6]

    [WZ22] H

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

    work page 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]

    Wang and J

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

    work page arXiv