Araki–Yamagami Inequality Overview

• The Araki–Yamagami inequality is a sharp perturbation estimate for the positive factor in generalized polar decompositions, establishing Lipschitz continuity with an optimal constant of √2.
• It refines classical bounds by incorporating geometric interpretations and spectral data, yielding improved, spectrum-dependent perturbation estimates.
• The inequality extends to Araki–Yamagami-type trace and log-majorization comparisons, impacting operator theory and quantum information applications.

Searching arXiv for relevant papers on the Araki–Yamagami inequality and closely related Araki-type inequalities. The Araki–Yamagami inequality is a sharp perturbation estimate for the positive factor in the generalized polar decomposition of a matrix. In its classical finite-dimensional form, if $A=QH$ and $\widetilde A=\widetilde Q\,\widetilde H$ are generalized polar decompositions of complex matrices, then

$$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$

where $H=|A|=(A^*A)^{1/2}$, $\widetilde H=|\widetilde A|$, and $\sqrt{2}$ is optimal. In current literature, the name also appears in a broader sense, as part of “Araki–Yamagami-type” trace and log-majorization inequalities comparing noncommutative products such as $A^sB^s$ and $(A^{1/2}BA^{1/2})^s$; however, that broader usage is distinct from the classical Frobenius-norm perturbation theorem (Zhang, 20 Jul 2025, Liu et al., 7 Jul 2025).

1. Classical statement and polar-decomposition setting

For $A\in\mathbb C^{m\times n}$ of rank $r$, the generalized polar decomposition is

$\widetilde A=\widetilde Q\,\widetilde H$0

where $\widetilde A=\widetilde Q\,\widetilde H$1 is subunitary, equivalently a partial isometry whose nonzero singular values are all $\widetilde A=\widetilde Q\,\widetilde H$2, and $\widetilde A=\widetilde Q\,\widetilde H$3 is positive semidefinite with $\widetilde A=\widetilde Q\,\widetilde H$4. Uniqueness holds when $\widetilde A=\widetilde Q\,\widetilde H$5. For a perturbation $\widetilde A=\widetilde Q\,\widetilde H$6 with decomposition $\widetilde A=\widetilde Q\,\widetilde H$7, the classical Araki–Yamagami inequality controls the positive polar factors by the Frobenius norm of the perturbation: $\widetilde A=\widetilde Q\,\widetilde H$8 The result is global, requires no rank assumption beyond finite dimensionality, and the constant $\widetilde A=\widetilde Q\,\widetilde H$9 is optimal. In this formulation, the inequality is a Lipschitz bound for the map $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$0 in the Frobenius, or Hilbert–Schmidt, norm (Zhang, 20 Jul 2025).

The Frobenius norm is structurally natural in this setting. The identity $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$1 enables trace and angle arguments, while unitary invariance makes singular-value reductions and SVD-based normal forms canonical. This is also the norm in which the original theorem is stated (Zhang, 20 Jul 2025).

2. Geometric interpretation and proof mechanisms

The inequality compares the positive parts of two matrices rather than the matrices themselves. In perturbation-theoretic terms, it isolates the stability of the positive polar factor $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$2 under additive perturbation $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$3, independently of the behavior of the subunitary factor $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$4. The estimate is therefore an operator-theoretic analogue of stability for a nonlinear matrix functional, with the notable feature that the optimal global constant is universal.

A recent reproving of the classical result proceeds by combining an angle inequality of Lin–Zhang type,

$$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$5

where $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$6 is the angle between $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$7 and $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$8 and $$\|H-\widetilde H\|_F \le \sqrt{2}\,\|A-\widetilde A\|_F,$$9 is the angle between $H=|A|=(A^*A)^{1/2}$0 and $H=|A|=(A^*A)^{1/2}$1, with an elementary scalar optimization in the parameter $H=|A|=(A^*A)^{1/2}$2. This yields

$H=|A|=(A^*A)^{1/2}$3

and hence the classical inequality. The same analysis confirms that $H=|A|=(A^*A)^{1/2}$4 is not merely admissible but sharp (Zhang, 20 Jul 2025).

3. Sharp spectral refinement

The principal modern refinement replaces the universal constant by a spectral quantity determined by the singular values of $H=|A|=(A^*A)^{1/2}$5 and $H=|A|=(A^*A)^{1/2}$6. If

$H=|A|=(A^*A)^{1/2}$7

with ranks $H=|A|=(A^*A)^{1/2}$8, $H=|A|=(A^*A)^{1/2}$9, and singular values

$\widetilde H=|\widetilde A|$0

then one defines

$\widetilde H=|\widetilde A|$1

Writing

$\widetilde H=|\widetilde A|$2

the sharp upper-bound coefficient satisfies

$\widetilde H=|\widetilde A|$3

so that

$\widetilde H=|\widetilde A|$4

By AM–GM, $\widetilde H=|\widetilde A|$5, and $\widetilde H=|\widetilde A|$6, hence $\widetilde H=|\widetilde A|$7. The classical Araki–Yamagami bound is therefore recovered as the uniform envelope of the sharper spectral estimate. More precisely, the universal constant $\widetilde H=|\widetilde A|$8 is attained only when $\widetilde H=|\widetilde A|$9 and the singular values coincide termwise, $\sqrt{2}$0 for all $\sqrt{2}$1. If $\sqrt{2}$2, or if $\sqrt{2}$3 but the singular values differ somewhere, then the actual sharp constant is strictly smaller than $\sqrt{2}$4 (Zhang, 20 Jul 2025).

This refinement changes the interpretation of the classical inequality. The latter is no longer best understood as the intrinsic perturbation constant of the positive polar factor, but rather as the worst-case value obtained after discarding all spectral information. The spectrum-dependent bound is also two-sided: the same work establishes a matching sharp lower bound for $\sqrt{2}$5, showing that the upper estimate is part of an exact optimal trade-off rather than an isolated one-sided inequality (Zhang, 20 Jul 2025).

4. Relation to neighboring perturbation inequalities

The same perturbation framework treats the subunitary polar factors $\sqrt{2}$6 and $\sqrt{2}$7. For $\sqrt{2}$8, sharp upper and lower bounds are given for $\sqrt{2}$9 in terms of $A^sB^s$0 and the singular values of $A^sB^s$1 and $A^sB^s$2. In the equal-rank case, this refines the Li–Sun estimate

$A^sB^s$3

by replacing the endpoint singular-value dependence with an optimized expression involving the full singular-value lists. The refinement is strict except in worst spectral configurations, exactly paralleling the way the spectral upper bound for $A^sB^s$4 improves the classical Araki–Yamagami constant (Zhang, 20 Jul 2025).

The same paper places the Araki–Yamagami refinement inside a larger network of Frobenius-norm inequalities. It strengthens Lee’s conjecture by introducing a spectrum-dependent coefficient whose square is

$A^sB^s$5

again with $A^sB^s$6, and with the original constant appearing as the worst-case envelope. It also sharpens Kittaneh’s theorem

$A^sB^s$7

whose normal-matrix corollary is

$A^sB^s$8

In addition, the same convex-analytic machinery yields stronger matrix AM–GM and Cauchy–Schwarz inequalities in Frobenius norm, with sharp coefficients expressed through singular values. A consistent theme is that universal Hilbert–Schmidt inequalities admit nontrivial sharpening once the singular or eigenvalue data are retained rather than suppressed (Zhang, 20 Jul 2025).

5. “Araki–Yamagami-type” inequalities in trace and log-majorization form

A separate but related usage of the name occurs in trace and log-majorization inequalities for positive semidefinite matrices. In that literature, “Araki–Yamagami-type” often refers to comparisons among expressions such as

$A^sB^s$9

typically derived from Araki’s log-majorization, BLP, GBLP, or related inequalities. A recent result proves that for $(A^{1/2}BA^{1/2})^s$0, $(A^{1/2}BA^{1/2})^s$1, and any scalar function $(A^{1/2}BA^{1/2})^s$2 that is nonnegative and nondecreasing on an interval containing $(A^{1/2}BA^{1/2})^s$3,

$(A^{1/2}BA^{1/2})^s$4

It also establishes the reverse inequality

$(A^{1/2}BA^{1/2})^s$5

when $(A^{1/2}BA^{1/2})^s$6 is nonnegative and nonincreasing. These are weighted trace refinements of the Araki-type comparison between $(A^{1/2}BA^{1/2})^s$7 and $(A^{1/2}BA^{1/2})^s$8, but they are not the same statement as the classical perturbation inequality for polar factors (Liu et al., 7 Jul 2025).

The broader functional framework is visible in generalized Araki–Lieb–Thirring theory. For positive semidefinite matrices $(A^{1/2}BA^{1/2})^s$9 and $A\in\mathbb C^{m\times n}$0, a continuous nonnegative geometrically concave function $A\in\mathbb C^{m\times n}$1 satisfies

$A\in\mathbb C^{m\times n}$2

for all such matrices if and only if $A\in\mathbb C^{m\times n}$3 lies in class $A\in\mathbb C^{m\times n}$4, meaning that $A\in\mathbb C^{m\times n}$5 is geometrically concave and obeys

$A\in\mathbb C^{m\times n}$6

wherever $A\in\mathbb C^{m\times n}$7 exists. The reversed inequality holds for geometrically convex functions in class $A\in\mathbb C^{m\times n}$8, characterized by

$A\in\mathbb C^{m\times n}$9

Although this framework does not state the classical Araki–Yamagami perturbation theorem, it supplies a functional log-majorization template in which many Araki-type and Araki–Yamagami-type comparisons can be organized (Audenaert, 2012).

6. Reverse inequalities, phase transitions, and current understanding

Recent work on reverse Araki-type inequalities clarifies the limits of possible reversals of the weighted trace inequalities. For arbitrary nonnegative nondecreasing weights $r$0, the reverse inequality

$r$1

holds dimension-freely exactly for

$r$2

For every $r$3, explicit $r$4 positive definite counterexamples show that the reverse inequality fails, whereas in dimension $r$5 it remains valid for every $r$6. Thus $r$7 is the sharp dimension-free boundary, and dimension $r$8 is the minimal dimension in which failure occurs (Vuong, 23 Jun 2026).

For power weights, the reverse picture is more intricate. In normalized variables, the reverse log-majorization

$r$9

holds for all finite dimensions if and only if either $\widetilde A=\widetilde Q\,\widetilde H$00, or $\widetilde A=\widetilde Q\,\widetilde H$01 together with

$\widetilde A=\widetilde Q\,\widetilde H$02

Equivalently, in the original variables $\widetilde A=\widetilde Q\,\widetilde H$03, the sharp condition is $\widetilde A=\widetilde Q\,\widetilde H$04 when $\widetilde A=\widetilde Q\,\widetilde H$05, while the whole region $\widetilde A=\widetilde Q\,\widetilde H$06 survives for all $\widetilde A=\widetilde Q\,\widetilde H$07. Beyond the hyperbolic boundary, even the trace inequality fails for $\widetilde A=\widetilde Q\,\widetilde H$08 positive definite matrices. This does not modify the content of the classical Araki–Yamagami perturbation bound, but it materially sharpens the surrounding theory by delineating where reverse Araki-type inequalities can and cannot hold (Vuong, 23 Jun 2026).

Taken together, these developments place the classical Araki–Yamagami inequality in a broader modern landscape. In matrix perturbation theory, it is now understood as the optimal universal member of a sharper spectrum-dependent family for positive polar factors. In operator-inequality and quantum-information-adjacent settings, its name also designates a wider class of trace and log-majorization comparisons whose valid parameter regimes can be subtle and, in reverse directions, sharply dimension-dependent. The resulting picture is technically unified by singular-value reduction, convex-analytic extremality, and log-majorization methods, but the classical theorem remains the benchmark statement: a sharp Frobenius-norm bound for the positive polar factor under perturbation (Zhang, 20 Jul 2025).