clopen.solutions

Concavity alone does not give two-unitary subadditivity

Recorded by the registry's curators from GitHub; the authors did not submit it here.

Matthew J. Colbrook

The question is whether, for every real-valued concave function $f$ on
$[0,\infty)$ with $f(0)\ge0$, not assumed monotone, and all positive
semidefinite $A,B$, there are unitaries $U,V$ with
$f(A+B)\le Uf(A)U^*+Vf(B)V^*$. The note shows that this fails in dimension
two. For $f(t)=t-t^2$, let $P=\operatorname{diag}(1,0)$ and let $Q$ be the
orthogonal projection onto the line spanned by $(3,4)^T$. Then
$f(P)=f(Q)=0$, while $f(P+Q)=-(PQ+QP)$ has eigenvalues $6/25$ and $-24/25$,
so it is not dominated by the zero matrix that every right-hand side equals.
The failure persists for the positive definite inputs $P+\frac1{20}I_2$ and
$Q+\frac1{20}I_2$: the largest eigenvalue of $f(A+B)$ is $1/4$, while every
right-hand side is at most $\frac{19}{200}I_2$. The example does not
contradict the theorem for nonnegative concave functions, since a concave
function that is nonnegative on the whole half-line is nondecreasing.

Claims

LEAN VERIFIED OP-00107 — Concave unitary-orbit subadditivity without monotonicity
Disproof · fidelity not yet established

Files and sources

Paper
OpenProblemsInNLA @ 0e916df, MI-26/solution.pdf ↗
Posted on GitHub
11 September 2026

No verification run is on record for this version.