Pith. sign in

REVIEW 4 minor 46 references

Quasiconvexity of the Burkholder function on symmetric matrices

T0 review · 0 major / 4 minor · reviewed 2026-08-28 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves the Burkholder integrand, and all Székelyhidi separating integrands built from 1-Lipschitz graphs over Jordan curves, are quasiconvex on symmetric matrices, yielding sharp Beurling–Ahlfors estimates.

desk verdict A credible, likely correct proof of Burkholder quasiconvexity on symmetric matrices; deserves serious refereeing, with Lemma 5.1 as the main point to scrutinize. read the letter →

arxiv 2608.23388 v1 pith:LZTA2UI2 submitted 2026-08-24 math.AP math.CAmath.CV

André Guerra This is my paper · ORCID
classification math.APmath.CAmath.CV MSC 49J4530C6242B20
keywords quasiconvexityBurkholderfunctionBeurling–AhlforstransformMorsetheoryseparatingsaddlepointsymmetricmatricesareaformulasharpinequalities
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves the quasiconvexity inequality $\int_{\mathbb R^2}[L(A+D^2u)-L(A)]\,dx\ge 0$ for the Burkholder integrand $L$ on $2\times2$ symmetric matrices, for every matrix $A$ and every compactly supported smooth potential $u$. This is the step that turns a martingale extremal function into sharp estimates for the Beurling–Ahlfors transform: immediately, the sharp weak-type bound with constant $2$ for real-valued functions, and sharp $L^p$ bounds for real-valued inputs. The proof is Morse-theoretic rather than algebraic: a key identity rewrites $L$ in terms of the quasiconvex integrands $\det^{++}$ and $\det^{+-}$, the area formula turns the resulting integrals into counts of local minima and separating saddle points, and a planar Jordan-curve argument reduces the whole inequality to a pointwise statement. The same proof establishes the inequality for the whole family of separating integrands $L_\Gamma$ introduced by Székelyhidi, so the result is not an isolated computation.

What carries the argument

The load-bearing object is the algebraic identity $L(X)+\det X=\det^{++}(\mathrm{Id}+X)+\det^{++}(\mathrm{Id}-X)-2-\min\{\det^{+-}(\mathrm{Id}+X),\det^{+-}(\mathrm{Id}-X)\}$, where $\det^{++}$ and $\det^{+-}$ are the known quasiconvex integrands returning, respectively, $\det A$ on positive definite matrices and $|\det A|$ on negative definite matrices. This identity splits the Burkholder integrand into pieces whose Hessian integrals have Morse-theoretic meaning: Proposition 4.1, proved with the area formula and the count $s=n_0-1$ for separating saddle points, equates $\int[\det^{++}(D^2\phi)-\det A]$ with $\int_M \det^{+-}(D^2\phi)$, where $M$ is the set of separating saddles of the translated functions. The final step is the pointwise inequality (5.6), which rests on Lemma 5.1: two $C^2$ functions sharing a non-degenerate saddle, vanishing there, with disjoint negative sets force at least one of the saddles to be separating. That lemma is the place where the planar Jordan curve theorem enters.

What would settle it

A direct counterexample to Lemma 5.1 would settle it: two $C^2$ functions on $\mathbb R^2$ with a common non-degenerate saddle at $0$, both vanishing at $0$, disjoint negative sets, yet with $0$ non-separating for both functions. Such a pair would invalidate (5.6) and Theorem 3.3. Equally decisive at the level of the main theorem: a sequence of compactly supported potentials $u_n$ with $\int_{\mathbb R^2}[L(A+D^2u_n)-L(A)]\,dx<0$, or a real-valued $h\in L^1(\mathbb C)$ with $\lambda |\{|Sh|>\lambda\}| > 2\|h\|_1$, would refute Theorem 1.1 and Corollary 1.2.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.3: for every integrand $L_\Gamma$ defined from a $1$-Lipschitz graph over a Jordan curve $\gamma$, the inequality $\int_{\mathbb R^2}[L_\Gamma(A+D^2u)-L_\Gamma(A)]\,dx\ge 0$ holds for all $A\in\mathbb R^{2\times2}$ and all $u\in C^\infty_c(\mathbb R^2)$. The original Burkholder integrand $L$ is the special case $\Gamma=\mathrm{SO}(2)$, and the Burkholder functions $B_p$ are recovered from $L$ by a Mellin transform, so Corollaries 1.2–1.4 give the sharp weak-type $(1,1)$ estimate $\lambda|\{|Sh|>\lambda\}|\le 2\|h\|_1$ for real-valued $h$, and the sharp $L^p$ estimates for real-valued functions. In the author's own framing, the proof shows that the quasiconvexity inequality for $L$ is not a difficulty of algebraic optimization but a geometric fact about how negative sets of two related functions are arranged around a saddle point.

Load-bearing premise

The entire proof balances on Lemma 5.1: if two $C^2$ functions share a non-degenerate saddle point, vanish there, and have disjoint negative sets, then at least one of those saddles must connect two different components of its sublevel set. If this planar-topology fact is false or needs stronger hypotheses, the pointwise inequality (5.6) that feeds Theorem 3.3 no longer follows.

Editorial extensions

If this is right

  • For any real-valued $h\in L^1(\mathbb C)$, the Beurling–Ahlfors transform obeys $\lambda |\{|Sh|>\lambda\}|\le 2\|h\|_1$, and the constant $2$ is optimal; optimality is produced by second-order laminates, not by radial functions.
  • For $1<p<2$ and real-valued $h$, $\|Sh\|_{L^p}\le \frac{1}{p-1}\|h\|_{L^p}$, and for $2<p<\infty$ whenever $Sh$ is real-valued, $\|Sh\|_{L^p}\le(p-1)\|h\|_{L^p}$; both bounds are sharp.
  • The Burkholder functions $B_p$ are quasiconvex on symmetric matrices, so every Jensen-type consequence of quasiconvexity with respect to homogeneous gradient Young measures supported on symmetric matrices applies to them.
  • The quasiconvexity inequality holds for every Székelyhidi separating integrand $L_\Gamma$, a strictly larger family than the Burkholder functions, so the method is not tied to the special algebra of $L$.
  • The optimal weak-type constant is not attained by radial functions; the extremizing sequence is a family of second-order laminates, which disproves the conjecture that the radial class gives the sharp constant.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An extension the paper does not make: the proof concentrates the entire difficulty in Lemma 5.1, a purely planar statement, so a higher-dimensional or non-planar analogue would need a new topological ingredient rather than new algebra.
  • One testable extension is to replace the Jordan curve $\gamma$ by a more general compact separating set and check whether the $1$-Lipschitz-graph condition in Theorem 3.3 is necessary; the pointwise inequality (5.6) only uses the positivity of $Q-P$ and the curve's separation properties.
  • Because the proof works only on symmetric matrices, the harmonic-analysis corollaries carry real-valuedness restrictions; a natural stress test is whether the same sharp constants survive without that restriction when the optimization is over Hessian-compatible data.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper proves that the Burkholder integrand L, and more generally every separating integrand L_Gamma of Székelyhidi type, is quasiconvex when restricted to symmetric 2x2 matrices, in the sense of satisfying the second-order Jensen inequality for compactly supported potentials u. The proof structure is: an algebraic pointwise inequality for L_Gamma (Lemma 3.4), area-formula and Morse-theoretic counting identities (Proposition 4.1 with Lemmas 4.3 and 4.4), and a planar-topology lemma (Lemma 5.1) that converts the integral inequality into a pointwise inequality (5.6). From this the paper derives a sharp weak-type (1,1) estimate for the Beurlich–Ahlfors transform on real-valued functions, sharp L^p estimates under the appropriate real-valuedness assumptions, and quasiconvexity of the Burkholder functions B_p via Mellin transforms.

Significance. If the proof is correct, this resolves a long-standing quasiconvexity conjecture for the Burkholder integrand in the symmetric-matrix setting and unifies a family of separating integrands. The main strengths are that the argument is self-contained and parameter-free, the corollaries are derived deductively with independent sharpness constructions, and the reduction to a pointwise inequality is conceptually clean. The most delicate step is the topological Lemma 5.1, which is the one place where I would have liked more detail, but I did not find a concrete error. The paper is a strong contribution to the calculus of variations and quasiconformal analysis.

minor comments (4)
  1. [Section 5, Lemma 5.1] The proof asserts the existence of a Jordan curve gamma contained in {psi_1 < 0} union {0} and coinciding with the xi_1-axis near 0, based on the fact that the two local components of {psi_1 < 0} lie in the same global component. This is a standard but nontrivial planar-topology step; please expand the justification or provide a precise reference, since this lemma is the point where the integral inequality is converted into the pointwise inequality (5.6).
  2. [Section 6, proof of Corollary 1.2] The displayed chain '2u_zz = (D^2 u)_-' depends on the Wirtinger convention and in the conventions used earlier in the paper holds only up to complex conjugation; the subsequent argument uses only the modulus identity |Sh| = |(D^2u)_-|. Please state the identity with moduli or fix the convention so that the equality is literally correct.
  3. [Section 6, proof of Corollary 1.4] In the sharpness construction for the L^p estimates, the function v_alpha is defined as v_alpha = 1/z outside the unit disk, but the displayed derivative |\partial_{\bar z} v_alpha| = |z|^{-2} is false for v_alpha = 1/z, for which \partial_{\bar z} v_alpha = 0. The intended function is presumably v_alpha = 1/\bar z (equivalently z/|z|^2), and the sharpness limit is unaffected. Please correct the definition.
  4. [Figure 1 caption] The caption contains a small grammatical error: 'The dashed axes is {det = 0}' should be 'The dashed axis is {det = 0}'. This is purely typographical.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained and uses external topological and analytic tools.

full rationale

The central claim, Theorem 3.3, is proved by a self-contained chain: the algebraic inequality Lemma 3.4, the area-formula identities in Proposition 4.1, and the pointwise inequality (5.6), whose decisive step is the planar-topology Lemma 5.1 proved via Morse coordinates and the Jordan curve theorem. None of the objects L_Gamma, det++, or det+- is defined in terms of the target quasiconvexity inequality, and no parameter is fitted to the conclusion. The generalization from L to the Burkholder functions B_p in Corollary 1.3 uses the Mellin identities of Baernstein and Montgomery-Smith [7], and Corollary 1.4 uses Burkholder's elementary pointwise estimate [15]; both are external results, not self-citations. Sharpness statements are supported by explicit second-order laminates with computed barycentre and a known realization theorem from [13]. The author's own earlier work [28] is mentioned only as a source of intuition, not as a load-bearing premise, and other self-citations are contextual rather than structural. No equation is assumed that is equivalent to the theorem being proved, and no prediction is a renamed fit. The proof is therefore free of circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No invented entities and no fitted free parameters. The argument relies on standard analytical and topological tools and on the well-known Mellin representation from [7].

assumptions (5)
  • standard math Morse lemma and negative gradient flow deformation retraction (used in Lemma 2.3)
    Used to compute changes in sublevel set connectivity at critical points.
  • standard math Area formula for C^1 maps and topological degree arguments (used in Lemmas 4.3 and 4.4)
    Converts integrals of Jacobians into counting preimages.
  • standard math Jordan curve theorem (used in Lemma 5.1)
    Shows the two local negative components of the second function lie in different global components.
  • standard math Determinant of Hessian is a null Lagrangian (used throughout Sections 4 and 5)
    Justifies replacing det(D^2 phi) by det A in integral identities when phi has the affine behavior at infinity.
  • domain assumption Mellin transform identities relating L and M to Bp (Corollary 1.3, cited from [7])
    External known identities that convert quasiconvexity of L into quasiconvexity of Bp for 1<p<infinity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quasiconvexity of the Burkholder function on symmetric matrices." pith.science (2026). https://pith.science/paper/LZTA2UI2

@misc{pith2026260823388,
  author       = {Pith},
  title        = {Pith review of: Quasiconvexity of the Burkholder function on symmetric matrices},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LZTA2UI2}},
  note         = {Machine review of arXiv:2608.23388}
}
read the original abstract

We use Morse Theory to prove that the Burkholder function is quasiconvex on symmetric matrices, which implies several sharp inequalities for the Beurling--Ahlfors transform when acting on real-valued functions. More generally, we prove that the separating functions introduced by Sz\'ekelyhidi are quasiconvex on symmetric matrices.

Figures

Figures reproduced from arXiv: 2608.23388 by the authors.

Figure 1
Figure 1. The second order laminate νn. The dashed axes is {det = 0}. Since also (D 2u)+ = 2uzz¯ = h, combining (6.1)–(6.3) gives 0 ≤ ˆ R2 L(D 2u/λ) dx ≤ 2 λ ∥h∥L1 − {|Sh| > λ}|, and the desired estimate follows. To prove sharpness, set cn ≡ 1 + 2/n, and consider the probability measure νn ≡ 1 − 1/n 2  δdiag(cn,−1) + δ− diag(cn,−1) + 1 2n  δdiag(cn,n−1) + δ− diag(cn,n−1) = 1 − 1/n 2  δ(1/n,1+1/n) + δ−(1/n,1+1/n)  + 1 2n… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 33 canonical work pages

  1. [13]

    Boros, L

    N. Boros, L. Székelyhidi, and A. Volberg. Laminates meet Burkholder functions.J. Math. Pures Appl., 100(5):687–700, 2013

    work page 2013

  2. [1]

    Agazzi, G

    A. Agazzi, G. Bruno, A. Guerra, and F. Pasqualotto. Morrey’s problem inR2×4 andR 3×3 sym.Preprint, 2026

    work page 2026

  3. [2]

    Ambrosetti and A

    A. Ambrosetti and A. Malchiodi.Nonlinear Analysis and Semilinear Elliptic Problems. Cambridge University Press, 2007

    work page 2007

  4. [3]

    The local Burkholder functional, quasiconvexity and Geometric Function Theory

    K. Astala, D. Faraco, A. Guerra, A. Koski, and J. Kristensen. The local Burkholder functional, quasiconvexity and Geometric Function Theory.arXiv:2309.03495, 2023

    work page Pith review arXiv 2023

  5. [4]

    Astala, D

    K. Astala, D. Faraco, A. Guerra, A. Koski, and J. Kristensen. Lower semicontinuity, Stoilow factor- ization and principal maps.Commun. Pure Appl. Anal., 23(10):1608–1645, 2024

    work page 2024

  6. [5]

    Astala, T

    K. Astala, T. Iwaniec, and G. Martin.Elliptic Partial Differential Equations and Quasiconformal Mappings in the Plane (PMS-48). Princeton University Press, 2009

    work page 2009

  7. [6]

    Astala, T

    K. Astala, T. Iwaniec, I. Prause, and E. Saksman. Burkholder integrals, Morrey’s problem and quasi- conformal mappings.J. Am. Math. Soc., 25(2):507–531, 2012

    work page 2012

  8. [7]

    Baernstein and S

    A. Baernstein and S. J. Montgomery-Smith. Some conjectures about integral means of∂fand ¯∂f. Complex analysis and differential equations (Uppsala, 1997).Acta Univ. Ups. Skr. Uppsala Univ. C Organ. Hist., 64:92–109, 1999

    work page 1997

Show all 46 references
  1. [8]

    Bañuelos

    R. Bañuelos. The foundational inequalities of D. L. Burkholder and some of their ramifications.Illinois J. Math., 54(3):789–868, 2010

    2010

  2. [9]

    Bañuelos and P

    R. Bañuelos and P. Janakiraman.Lp–bounds for the Beurling–Ahlfors transform.Trans. Am. Math. Soc., 360(07):3603–3613, 2008

    2008

  3. [10]

    Bañuelos and P

    R. Bañuelos and P. Janakiraman. On the weak-type constant of the Beurling-Ahlfors transform. Michigan Math. J., 58(2):459–477, 2009

    2009

  4. [11]

    Bañuelos and A

    R. Bañuelos and A. Osękowski. Sharp inequalities for the Beurling-Ahlfors transform on radial func- tions.Duke Math. J., 162(2):417–434, 2013

    2013

  5. [12]

    Borichev, P

    A. Borichev, P. Janakiraman, and A. Volberg. Subordination by conformal martingales inLp and zeros of Laguerre polynomials.Duke Math. J., 162(5):889–924, 2013

    2013

  6. [14]

    Bruno and F

    G. Bruno and F. Pasqualotto. Quasiconvexity for the Dacorogna–Marcellini Energy.Preprint, pages 1–13, 2026,arXiv:2608.06367

    2026 arXiv

  7. [15]

    D. L. Burkholder. Boundary Value Problems and Sharp Inequalities for Martingale Transforms.Ann. Probab., 12(3):647–702, 1984

    1984

  8. [16]

    D. L. Burkholder. Differential subordination of harmonic functions and martingales. InHarmon. Anal. Partial Differ. Equations, pages 1–23. Springer, Berlin, Heidelberg, 1989

    1989

  9. [17]

    G. Cassese. A solution to Morrey’s problem inR2×m.Preprint, pages 1–25, 2026,arXiv:2608.03488

    2026 arXiv

  10. [18]

    Conti, C

    S. Conti, C. De Lellis, S. Müller, and M. Romeo. Polyconvexity equals rank-one convexity for connected isotropic sets inR2×2.Comptes Rendus Mathématique, 337(4):233–238, 2003

    2003

  11. [19]

    Conti, D

    S. Conti, D. Faraco, and F. Maggi. A New Approach to Counterexamples toL1 Estimates: Korn’s Inequality, Geometric Rigidity, and Regularity for Gradients of Separately Convex Functions.Arch. Ration. Mech. Anal., 175(2):287–300, 2005

    2005

  12. [20]

    Dal Maso, I

    G. Dal Maso, I. Fonseca, G. Leoni, and M. Morini. Higher-Order Quasiconvexity Reduces to Quasi- convexity.Arch. Ration. Mech. Anal., 171(1):55–81, 2004

    2004

  13. [21]

    Faraco and L

    D. Faraco and L. Székelyhidi. Tartar’s conjecture and localization of the quasiconvex hull inR2×2. Acta Math., 200(2):279–305, 2008

    2008

  14. [22]

    Faraco and X

    D. Faraco and X. Zhong. Quasiconvex Functions and Hessian Equations.Arch. Ration. Mech. Anal., 168(3):245–252, 2003

    2003

  15. [23]

    Fonseca and W

    I. Fonseca and W. Gangbo.Degree theory in analysis and applications. Oxford University Press, 1995

    1995

  16. [24]

    Grabovsky

    Y. Grabovsky. From Microstructure-Independent Formulas for Composite Materials to Rank-One Convex, Non-quasiconvex Functions.Arch. Ration. Mech. Anal., 227(2):607–636, 2018

    2018

  17. [25]

    A. Guerra. Extremal rank-one convex integrands and a conjecture of Šverák.Calc. Var. Partial Differ. 15 Equ., 58(6):19 pp, 2019

    2019

  18. [26]

    Guerra and J

    A. Guerra and J. Kristensen. Automatic Quasiconvexity of Homogeneous Isotropic Rank-One Convex Integrands.Arch. Ration. Mech. Anal., 245(1):479–500, 2022

    2022

  19. [27]

    NumericalevidencetowardsapositiveanswertoMorrey’sproblem

    A.GuerraandR.TeixeiradaCosta. NumericalevidencetowardsapositiveanswertoMorrey’sproblem. Rev. Matemática Iberoam., 38(2):601–614, 2021

    2021

  20. [28]

    Guerra and R

    A. Guerra and R. Tione. Constancy of the index for gradient mappings.Preprint, pages 1–16, 2025, arXiv:2506.03906

    2025 arXiv

  21. [29]

    T. L. J. Harris, B. Kirchheim, and C.-C. Lin. Two-by-two upper triangular matrices and Morrey’s conjecture.Calc. Var. Partial Differ. Equ., 57(73):1–12, 2018

    2018

  22. [30]

    Hérau, M

    F. Hérau, M. Hitrik, and J. Sjöstrand. Tunnel effect and symmetries for Kramers-Fokker-Planck type operators.J. Inst. Math. Jussieu, 10(3):567–634, 2011

    2011

  23. [31]

    T. Iwaniec. Extremal inequalities in Sobolev spaces and quasiconformal mappings.Zeitschrift für Anal. und ihre Anwendungen, 1(6):1–16, 1982

    1982

  24. [32]

    T. Iwaniec. Nonlinear Cauchy-Riemann operators inRn.Trans. Am. Math. Soc., 354(5):1961–1995, 2002

    1961

  25. [33]

    Kirchheim and L

    B. Kirchheim and L. Székelyhidi. On the gradient set of Lipschitz maps.J. für die reine und Angew. Math. (Crelles Journal), 2008(625):215–229, 2008

    2008

  26. [34]

    L. Michel. About small eigenvalues of the Witten Laplacian.Pure Appl. Anal., 1(2):149–206, 2019

    2019

  27. [35]

    Milnor.Morse Theory

    J. Milnor.Morse Theory. Princeton University Press, 1963

    1963

  28. [36]

    C. B. Morrey. Quasi-convexity and lower semicontinuity of multiple integrals.Pacific J. Math., 2:25–53, 1952

    1952

  29. [37]

    S. Müller. Rank-one convexity implies quasiconvexity on diagonal matrices.Int. Math. Res. Not., 1999(20):1087–1095, 1999

    1999

  30. [38]

    S. Müller. Variational models for microstructure and phase transitions. InCalc. Var. Geom. Evol. Probl., pages 85–210. Springer, Berlin, Heidelberg, 1999

    1999

  31. [39]

    Müller and V

    S. Müller and V. Šverák. Convex integration for Lipschitz mappings and counterexamples to regularity. Ann. Math., 157(3):715–742, 2003

    2003

  32. [40]

    Sebestyén and L

    G. Sebestyén and L. Székelyhidi Jr. Laminates supported on cubes.J. Convex Anal., 24(4):1217–1237, 2017

    2017

  33. [41]

    V. Šverák. Examples of rank-one convex functions.Proc. R. Soc. Edinburgh Sect. A Math., 114(3- 4):237–242, 1990

    1990

  34. [42]

    V. Šverák. New examples of quasiconvex functions.Arch. Ration. Mech. Anal., 119(4):293–300, 1992

    1992

  35. [43]

    V. Šverák. Rank-one convexity does not imply quasiconvexity.Proc. R. Soc. Edinburgh Sect. A Math., 120(1-2):185–189, 1992

    1992

  36. [44]

    Székelyhidi

    L. Székelyhidi. On the local structure of rank-one convex hulls.Proc. Am. Math. Soc., 134(7):1963– 1972, 2005

    1963

  37. [45]

    Székelyhidi

    L. Székelyhidi. Rank-one convex hulls inR2×2.Calc. Var. Partial Differ. Equ., 22(3):253–281, 2005

    2005

  38. [46]

    Volberg and F

    A. Volberg and F. Nazarov. Heating of the Ahlfors–Beurling operator, and estimates of its norm.St. Petersbg. Math. J., 15(4):563–573, 2004. 16

    2004

Pith tools

Reviewed August 28, 2026 · model on record in the stance chip above.