Proof of Nobori's generalized Böttcher-Wenzel inequality conjecture

Abstract

Let $m,n\ge 2$. For $m\times n$ complex matrices $A$, $C$ and an $n\times m$ matrix $B$, Nobori (Linear Algebra Appl. 725 (2025) 135--144) proposed the following conjecture on the generalized Böttcher-Wenzel inequality: $$ \|ABC-CBA\|_F^2 \le 2\|B\|_2^2\|A\|_{(2),2}^2\|C\|_F^2, $$ where $\|\cdot\|_F$ is the Frobenius norm, $\|\cdot\|_2$ is the spectral norm, and $\|\cdot\|_{(2),2}$ is the $(2,2)$-norm defined by $\|X\|_{(2),2}=\sqrt{σ_1(X)^2+σ_2(X)^2}$, in which $σ_1(X)$ and $σ_2(X)$ are the largest and second largest singular values of $X$, respectively. This paper proves the conjecture and, as a consequence, establishes the Kronecker product inequality that Nobori derived from it. In addition, we show that for each fixed $m,~n\ge 2$, the constant $2$ is sharp. We also give necessary and sufficient conditions for equality, namely, the equality condition in the Böttcher--Wenzel inequality and some matrix identities derived from a fixed singular value decomposition.