Source authenticated

The Bochner-Riesz conjecture in three dimensions (strict-order range)

Theorem 1.1: for every δ>0\delta>0, ∥Tδf∥L3(R3)≤Cδ∥f∥L3(R3)\|T_\delta f\|_{L^3(\mathbb R^3)}\le C_\delta\|f\|_{L^3(\mathbb R^3)}. By complex interpolation and duality this gives boundedness on Lp(R3)L^p(\mathbb R^3) for all 1≤p≤∞1\le p\le\infty and δ>max⁡{3∣1/p−1/2∣−1/2,0}\delta>\max\{3|1/p-1/2|-1/2,0\}, the full strict-order range in three dimensions, hence LpL^p convergence of Bochner-Riesz means for 3/2≤p≤33/2\le p\le3 at every positive order. Via Tao's implication it yields the spherical extension estimate ∥Eg∥Lp(R3)≤Cp∥g∥L∞(S2)\|Eg\|_{L^p(\mathbb R^3)}\le C_p\|g\|_{L^\infty(S^2)} for p>3p>3. Not shown: the endpoint order, the maximal Bochner-Riesz operator, or any dimension n≥4n\ge4; it is a partial result on the nn-dimensional conjecture.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 24, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The Bochner-Riesz conjecture in three dimensions (strict-order range) · Bochner-Riesz conjecture in R^3

Confidence: Not scored

Registry verification: unreviewed · announcement · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

Local smoothing in three dimensions, which also yields this range evidence for this event

This event attributed to Unreleased internal OpenAI model

Sogge's local smoothing conjecture for the wave equation in three spatial dimensions evidence for this event

Related (family 078): Bochner-Riesz multipliers in three dimensions evidence for this event

VibeMathed record: The Bochner-Riesz conjecture in three dimensions (strict-order range) evidence for this event

Theorem 1.1: for every δ>0\delta>0, ∥Tδf∥L3(R3)≤Cδ∥f∥L3(R3)\|T_\delta f\|_{L^3(\mathbb R^3)}\le C_\delta\|f\|_{L^3(\mathbb R^3)}. By complex interpolation and duality this gives boundedness on Lp(R3)L^p(\mathbb R^3) for all 1≤p≤∞1\le p\le\infty and δ>max⁡{3∣1/p−1/2∣−1/2,0}\delta>\max\{3|1/p-1/2|-1/2,0\}, the full strict-order range in three dimensions, hence LpL^p convergence of Bochner-Riesz means for 3/2≤p≤33/2\le p\le3 at every positive order. Via Tao's implication it yields the spherical extension estimate ∥Eg∥Lp(R3)≤Cp∥g∥L∞(S2)\|Eg\|_{L^p(\mathbb R^3)}\le C_p\|g\|_{L^\infty(S^2)} for p>3p>3. Not shown: the endpoint order, the maximal Bochner-Riesz operator, or any dimension n≥4n\ge4; it is a partial result on the nn-dimensional conjecture. parent of this event

The Bochner-Riesz conjecture in three dimensions (strict-order range) parent of this event

Fefferman 1971, The multiplier problem for the ball (Ann. of Math.) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.