Proof of Nobori's generalized B\"ottcher-Wenzel inequality conjecture

Shuo Shi; Juan Zhang

In the authors' words

Let $m, n \geq 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\"ottcher-Wenzel inequality: $∥ A B C - C B A ∥_{F}^{2} \leq 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} = σ_{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 \geq 2$ , the constant $2$ is sharp. We also give necessary and sufficient conditions for equality, namely, the equality condition in the B\"ottcher--Wenzel inequality and some matrix identities derived from a fixed singular value decomposition.

Main resultThe abstract does not state a limitation.

Proof of Nobori's generalized B\"ottcher-Wenzel inequality conjecture

In the authors' words

More on Algebra & number theory that day

Inverse Baer deformations and finite simple skew braces of nilpotent type

Mathematical Principles of a Generalized Tonal Practice

A Machine-Checked Proof that Gardam's A~2​ Lattice Does Not Have Unique Products

On Z2​-extensions of real quadratic fields with class group of 2-rank three

Affine Harish-Chandra center in positive characteristic

A Machine-Checked Proof that Gardam's $A ~_{2}$ Lattice Does Not Have Unique Products

On $Z_{2}$ -extensions of real quadratic fields with class group of $2$ -rank three