Proves maximal and annular r-variation bounds, for every r > 2, from complex L^3(\mathbb R^2)\times L^3(\mathbb R^2) to L^{3/2}(\mathbb R^2). The maximal estimate controls both hard truncation endpoints and gives almost-everywhere and norm convergence. Pairing with a third input settles the triangular Hilbert transform estimate at the symmetric L^3\times L^3\times L^3 point. (Lean)
Manuscripts (3)
Annular variation of the triangular Hilbert transform at the symmetric point
October 5, 2026 · source · cite as \cite{OAI:Annular-variation-of-the-triangular-Hilbert-transform-at-the-symmetric-point-October-5-2026}
We prove the annular r-variation estimate for the triangular Hilbert transform from complex L^3\times L^3 to L3/2 for every r > 2. The partitions may depend on the output point and range over all positive scales. The estimate yields the two-endpoint maximal bound and joint almost-everywhere and norm principal values, and resolves the symmetric scalar triangular Hilbert transform problem.
An L³ bound for the dyadic triangular Hilbert form
October 5, 2026 · source · cite as \cite{OAI:An-L3-bound-for-the-dyadic-triangular-Hilbert-form-October-5-2026}
We prove a uniform L^3\times L^3\times L^3 estimate for the dyadic triangular Hilbert form with unrestricted real inputs. The sum of the absolute local contributions over any finite set of scales is bounded by forty times the product of the input norms. In particular, the bound allows coefficients of modulus at most one to vary independently among admissible interval triples.
The maximal triangular Hilbert transform at the symmetric point
September 24, 2026 · source · Lean formalization available · cite as \cite{OAI:The-maximal-triangular-Hilbert-transform-at-the-symmetric-point-September-24-2026}
For arbitrary complex inputs in L^3(\mathbb R^2), we prove the pointwise maximal L^3\times L^3\to L^{3/2} estimate for the triangular Hilbert transform, with the supremum over both hard truncation endpoints. The estimate yields joint almost-everywhere and L3/2 convergence as the lower endpoint tends to zero and the upper endpoint tends to infinity. This also proves the conjectured scalar estimate at the symmetric point.
Result 082 · Real and complex analysis. Imported from openai/math, a collection of manuscripts produced by an OpenAI model; results are at different stages of verification. Discussion below is by Lemma members.
Source: https://github.com/openai/math/blob/main/CONTENTS.md