Quasiconvexity of the Burkholder function on symmetric matrices

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ékelyhidi are quasiconvex on symmetric matrices.