Proof Establishes Iwaniec’s Exact Beurling–Ahlfors Norm Conjecture

The Beurling–Ahlfors transform is a central singular integral in planar quasiconformal geometry, and its exact $L^p$ norm has resisted proof since Tadeusz Iwaniec posed the conjecture in 1982. The lower bound was already known; the unresolved part was the matching upper bound. This seven-page preliminary paper claims to settle that gap by proving a quasiconvexity inequality for a carefully chosen integrand on $2\times2$ matrices.

The payoff is exact rather than asymptotic. For $1<p<\infty$, the paper states that the norm of the transform $\mathcal S$ on $L^p(\mathbb C)$ is $p^*-1$, where $p^*=\max\{p,p/(p-1)\}$. Thus the answer is $p-1$ for $p\geq2$ and $(p-1)^{-1}$ for $1<p\leq2$. The result would fix the sharp constant governing a long-standing analytic estimate and, through established connections, sharpen higher-integrability results for quasiconformal maps.

Core Contribution

The authors reduce the norm problem to quasiconvexity of the integrand

where a real-linear map $A:\mathbb R^2\to\mathbb R^2$ is represented in complex notation as $Az=a_+z+a_-\bar z$. Their Theorem 1 says that, on the unit torus $Q=\mathbb R^2/\mathbb Z^2$, adding any smooth periodic perturbation cannot lower the integral of $L$:

That is the paper’s genuinely new mathematical step. Earlier work had established related quasiconvexity inequalities under sign restrictions and lower-semicontinuity results, but not the unrestricted inequality needed for the Burkholder integrand. The authors then invoke the established argument connecting this quasiconvexity statement to the sharp $L^p$ estimate.

Technical Approach

The proof rewrites $L$ as a supremum of simpler functions. With $A^1,A^2$ the rows of $A$ and $J$ the quarter-turn matrix, it defines

The remaining regime is handled through Lemma 4. Given a periodic map whose first row is constrained by the closed unit disk, the authors take an $L^2$ projection onto the set of admissible constrained fields. The projected map has gradient either equal to the original gradient or on the disk boundary almost everywhere, and it satisfies a variational inequality. Combining this projection property with the null-Lagrangian identity for the determinant converts the pointwise support-function bound into the desired integral lower bound. The method is variational rather than complex-analytic, which is why the authors present it as a route that can extend beyond the planar setting.

Results and Analysis

The stated corollary gives the exact constant for every $1<p<\infty$: $(p-1)^{-1}$ on $1<p\leq2$ and $p-1$ on $2\leq p<\infty$. There is no numerical experiment or approximation here; the evidence is a formal proof built from Theorem 1, the projection lemma, and the previously developed implication from Burkholder-integrand quasiconvexity to the transform bound.

For analysts, the important distinction is that this is not merely another upper estimate. It matches the classical lower bound exactly. The proof’s formulation in real matrices also avoids dependence on a specifically complex-analytic construction, and the introduction identifies possible future applications to higher-dimensional Beurling–Ahlfors-type operators, even-dimensional quasiconformal mappings, elliptic PDEs, and Monge–Ampère-related variational problems. Those extensions are motivations, not results established in Part I.

Scope and Caveats

The manuscript labels itself preliminary and supplies a concise proof rather than a full independent redevelopment of every implication behind Corollary 2; the passage from Theorem 1 to the operator norm explicitly relies on earlier arguments. Its higher-dimensional consequences remain prospective. It also includes an unusual disclosure that its key ideas were generated by “ChatGPT 6.0 Astra” without substantial human assistance, while attributing the proof’s ownership to the listed mathematical community. That statement is part of the manuscript’s account of provenance, not mathematical evidence. The evidence for the central claim rests on whether the short quasiconvexity proof and its cited bridge withstand specialist scrutiny.