An L3 bound for the trilinear Hilbert transform

1 · The essentials

The manuscript studies a rule that combines three functions on the real line into one output. It uses values taken at three linked offsets: $x - t$ , $x - 2 t$ , and $x - 3 t$ . The question is whether controlling the sizes of the three inputs also controls the size of the output. Here, input size is measured by integrating the cube of each function’s absolute value and then taking a cube root. The manuscript claims that the integral of the output’s absolute value is bounded by a fixed constant times the product of those three input sizes. This addresses the stated conjecture for this particular size measurement and these particular offsets, rather than the whole conjecture. The main result is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine three recorded signals being read at linked delays, with the second delay twice the first and the third three times the first. The claimed bound is like a guarantee that the total size of their combined output stays within a fixed allowance determined by the three input sizes; this image does not capture the mathematical rule used to combine them.

Why it matters

The source identifies this bound as the $L^{3}$ exponent case of the trilinear Hilbert transform conjecture for slopes 1, 2, and 3. The claimed result therefore settles a specified case of that conjecture in the manuscript. Its significance is the control of the output by the input sizes under exactly those conditions.

2 · Going further

The precise claim concerns the principal-value trilinear Hilbert transform with shifts $x - t$ , $x - 2 t$ , and $x - 3 t$ . Writing this operator as $T$ , the manuscript claims a bounded mapping $T : L^{3} (R) \times L^{3} (R) \times L^{3} (R) \to L^{1} (R)$ . Equivalently, the asserted estimate has the form $∥ T (f_{1}, f_{2}, f_{3}) ∥_{L^{1}} \leq C ∥ f_{1} ∥_{L^{3}} ∥ f_{2} ∥_{L^{3}} ∥ f_{3} ∥_{L^{3}}$ , with a constant independent of the inputs.

The repository summary and the abstract both present this as resolving the $L^{3}$ case of the conjecture for the fixed slopes 1, 2, and 3. The distinction between the input and output spaces matters: each input is controlled through its cubed absolute value, whereas the output is controlled through its absolute value itself.

The supplied abstract states the result but gives no main idea of the argument, intermediate estimates, or construction of the principal-value operator. No companion manuscripts are supplied, so their relationship to the main manuscript cannot be described from this source. The claim is not formalized in Lean and has not been formally verified.

Useful notions

Functions on the real line
Integration and absolute values
Function sizes measured by L^p norms
Principal-value limits

What was known before / what is new

Before

The source places the problem within the trilinear Hilbert transform conjecture. It does not describe earlier partial results, previous methods, or the history of that conjecture.

New

The manuscript claims the bound from three copies of $L^{3} (R)$ to $L^{1} (R)$ for the fixed slopes 1, 2, and 3. The source presents this as resolving that specific exponent-and-slope case of the conjecture.

Limits and assumptions

The stated hypotheses require all three inputs to belong to $L^{3} (R)$ , and the operator uses the fixed shifts $x - t$ , $x - 2 t$ , and $x - 3 t$ with a principal-value interpretation. The supplied material makes no claim for other exponent choices or other slopes and does not specify the status of those cases. It also provides no argument details. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

L^3(ℝ): The space of functions on the real line whose cubed absolute values have finite integral.
L^1(ℝ): The space of functions on the real line whose absolute values have finite integral.
Bounded mapping: Here, a mapping whose output norm is at most a fixed constant times the product of the three input norms.
Slopes: The coefficients 1, 2, and 3 multiplying t in the shifts x−t, x−2t, and x−3t.
Principal value: A limiting interpretation of a singular integral that excludes a symmetric neighborhood of the singularity before taking a limit.

Keywords : Trilinear Hilbert transform · L^3 bound · Principal value

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Proves that the principal-value trilinear Hilbert transform with shifts $x - t$ , $x - 2 t$ , $x - 3 t$ is bounded from $L^{3} (R)^{3}$ to $L^{1} (R)$ . This resolves the L³ exponent case of the standard conjecture for slopes 1, 2, 3.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

An L³ bound for the trilinear Hilbert transform

05/10/2026

To be verified

We prove that the trilinear Hilbert transform with fixed slopes 1, 2, 3 maps $L^{3} (R) \times L^{3} (R) \times L^{3} (R)$ to $L^{1} (R)$ , resolving this case of the trilinear Hilbert transform conjecture.

PDF GitHub folder