Source authenticated

Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform

Principal manuscript: for complex F,G∈L3(R2)F,G\in L^3(\mathbb R^2), ∥sup⁡0<ε<R<∞∣Bε,R(F,G)∣∥L3/2≤C∥F∥3∥G∥3\|\sup_{0<\varepsilon<R<\infty}|B_{\varepsilon,R}(F,G)|\|_{L^{3/2}}\le C\|F\|_3\|G\|_3, where Bε,R(F,G)(x,y)=∫ε<∣t∣<RF(x+t,y)G(x,y+t) dt/tB_{\varepsilon,R}(F,G)(x,y)=\int_{\varepsilon<|t|<R}F(x+t,y)G(x,y+t)\,dt/t, with joint principal values a.e. and in L3/2L^{3/2}; pairing with a third L3L^3 function gives the scalar bound of Problem 13. Companions (October 5): rr-variation bounds for every r>2r>2, and ∑k∑I∣LI∣≤40∏v∥Fv∥3\sum_k\sum_{\mathbf I}|L_{\mathbf I}|\le40\prod_v\|F_v\|_3 for Thiele's dyadic model with no structural assumption. Only the symmetric exponent point is treated; other triples with 1/p+1/q+1/r=11/p+1/q+1/r=1 and the four-linear simplex form are not.

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: Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform · Triangular Hilbert transform (Thiele)

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Artifacts and verifiers

Lean: OAI/Analysis/TriangularHilbert/Main.lean (main_estimate)

lean artifact · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

Companion: An L3 bound for the dyadic triangular Hilbert form evidence for this event

This event attributed to Unreleased internal OpenAI model

VibeMathed record: Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform evidence for this event

Thiele, Problem 13 in Some problems in harmonic analysis (arXiv:1701.06637) evidence for this event

Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform parent of this event

Principal manuscript: for complex F,G∈L3(R2)F,G\in L^3(\mathbb R^2), ∥sup⁡0<ε<R<∞∣Bε,R(F,G)∣∥L3/2≤C∥F∥3∥G∥3\|\sup_{0<\varepsilon<R<\infty}|B_{\varepsilon,R}(F,G)|\|_{L^{3/2}}\le C\|F\|_3\|G\|_3, where Bε,R(F,G)(x,y)=∫ε<∣t∣<RF(x+t,y)G(x,y+t) dt/tB_{\varepsilon,R}(F,G)(x,y)=\int_{\varepsilon<|t|<R}F(x+t,y)G(x,y+t)\,dt/t, with joint principal values a.e. and in L3/2L^{3/2}; pairing with a third L3L^3 function gives the scalar bound of Problem 13. Companions (October 5): rr-variation bounds for every r>2r>2, and ∑k∑I∣LI∣≤40∏v∥Fv∥3\sum_k\sum_{\mathbf I}|L_{\mathbf I}|\le40\prod_v\|F_v\|_3 for Thiele's dyadic model with no structural assumption. Only the symmetric exponent point is treated; other triples with 1/p+1/q+1/r=11/p+1/q+1/r=1 and the four-linear simplex form are not. parent of this event

Lean: OAI/Analysis/TriangularHilbert/Main.lean (main_estimate) evidence for this event

Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform evidence for this event

Companion: Annular variation of the triangular Hilbert transform at the symmetric point evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Thiele's Problem 13: the symmetric L3 bound for the triangular Hilbert transform — Mathematical Frontier Network