Result 083, Real and complex analysis

Hilbert transforms along Lipschitz directions

Proves a uniform strong L² bound for the planar Hilbert transform along any Lipschitz unit vector field, at integration lengths bounded by an absolute multiple of its reciprocal Lipschitz constant. The estimate is uniform over inner truncations and yields an L²-bounded principal-value operator, establishing Stein's weak-type conjecture at this short scale.

Lean formalization Proof

The bigger picture

Why it matters

The manuscript reports that a singular averaging operation remains controlled even when its direction varies across the plane. The claim concerns short distances: the allowed averaging range shrinks as directions change more rapidly.

What changes?

The planar Hilbert transform takes a signed, singular integral along the line specified at each point by a unit vector. Lipschitz means these directions change at a bounded rate. For fields depending on both coordinates, the reported strong L2 bound controls output energy by a universal constant times input energy, with energy meaning integrated squared magnitude. Integration lengths are at most a fixed absolute multiple of the reciprocal Lipschitz seminorm. The estimate is uniform as smaller neighborhoods of the singularity are excluded.

What does that help mathematicians do?

The reported estimate yields an L2-bounded principal-value operator, defined by letting the excluded neighborhood shrink to zero. It also bounds the area where the output exceeds any threshold by a constant times input energy divided by the threshold squared. This establishes the stated short-scale version of Stein's weak-type conjecture and rules out uncontrolled energy amplification there, without requiring directions to depend on only one coordinate.

Are there practical applications?

The immediate value is foundational: the result supplies a stability estimate for singular integration with spatially varying directions. Researchers can use this short-scale operator within L2 arguments without losing control as the exclusion around the singularity shrinks. The supplied sources do not establish comparable control over unrestricted integration lengths or describe a practical deployment.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

A uniform Hilbert transform estimate for Lipschitz directions

September 25, 2026 87 pages

We prove a uniform L² bound for the Hilbert transform along a Lipschitz unit vector field in the plane, with integration restricted to a fixed absolute multiple of the reciprocal Lipschitz seminorm. The bound is uniform in the inner truncation and holds for fields depending on both coordinates. This gives an affirmative answer to Stein's weak- $(2,2)$ conjecture.

PDF LaTeX source

Cite (BibTeX)

@misc{OAI:A-uniform-Hilbert-transform-estimate-for-Lipschitz-directions-September-25-2026,
  author = {{OpenAI}},
  title = {{A uniform Hilbert transform estimate for Lipschitz directions}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-uniform-Hilbert-transform-estimate-for-Lipschitz-directions-September-25-2026/main.pdf}{OAI:A-uniform-Hilbert-transform-estimate-for-Lipschitz-directions-September-25-2026}},
  year = {2026}
}

Lean formalization

OpenAI's note on what the formalization covers, from lean/docs/083.md.

Hilbert transforms along Lipschitz directions

The following describes the scope of the Lean formalization related to the following accompanying paper(s):

A uniform Hilbert transform estimate for Lipschitz directions

Scope

The formalization proves uniform $L^2$ bounds for short Hilbert transforms along Lipschitz unit vector fields in the plane, including fields depending on both coordinates. For Lipschitz constant $K>0$ , every hard truncation with $0<\varepsilon\le R\le1/(10^6K)$ has one universal $L^2$ bound on Schwartz functions, independent of the inner cutoff.

At a fixed short scale for $1$ -Lipschitz fields, the formalization also gives principal-value and weak- $(2,2)$ estimates and bounded extensions to all of $L^2$ . These results establish the stated short-scale form of Stein's question.

Comparator links

Result	Comparator statement
Uniform short Hilbert-transform bounds for Lipschitz directions	LipschitzHilbert.lean

At a glance

Subject: Real and complex analysis
Manuscripts: 1
Pages: 87
Dated: Sep 25, 2026
Lean formalization: Yes
Reasoning summary: No

Named problems addressed

Stein's weak- $(2,2)$ conjectureProved

Indexed by Emergent Mind with an LLM from the text above; check the manuscripts for the precise statements.

Most similar results

086, Real and complex analysisAn L³ bound for the trilinear Hilbert transform
082, Real and complex analysisAnnular variation and dyadic absolute bounds for the triangular Hilbert transform
081, Real and complex analysisRiesz transforms and rectifiability in higher codimension
079, Real and complex analysisLocal smoothing in three dimensions
085, Real and complex analysisEndpoint Sobolev regularity of centered disk averages
077, Real and complex analysisFourier restriction for positively curved surfaces

By similarity of summaries and abstracts.

On the map

This result, outlined, and its most similar results among all 372. Open the full map.