Trace Inequalities for Completely Monotone Functions

• Trace inequalities for completely monotone functions are rigorous extensions of classical matrix bounds, utilizing Bernstein integral representations and scalar concavity.
• They yield refined power inequalities and norm-compression results that enhance classical McCarthy and Araki–Lieb–Thirring bounds in operator analysis.
• The approach unifies exponential kernel techniques with spectral projector methods, providing tighter quantitative controls in noncommutative settings.

Trace inequalities for completely monotone functions constitute a rigorous extension and refinement of well-known matrix trace inequalities for operator functions, particularly for positive semidefinite matrices. Building on integral representation theorems by Bernstein and leveraging advanced scalar concavity techniques, these results yield general matrix inequalities for wide classes of functions, notably including the completely monotone and Bernstein function families. Applications encompass sharpened power trace inequalities and new forms of norm-compression for block matrices, with implications for quantum information and matrix analysis (Audenaert, 2011).

1. Completely Monotone and Bernstein Function Classes

A function $f:(0,\infty)\to\mathbb{R}$ is completely monotone if $f\in C^\infty(0,\infty)$, $f(x)\geq0$, and $(-1)^n f^{(n)}(x)\geq0$ for all $n\geq1$, $x>0$. Bernstein’s theorem provides a Laplace transform representation:

$f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$

with $a=f(0^+)\geq0$ and $\mu$ a positive measure. The “bare” completely monotone functions (denoted $f\in{\rm CM}_0$) are those with $f\in C^\infty(0,\infty)$0.

Bernstein functions satisfy $f\in C^\infty(0,\infty)$1, $f\in C^\infty(0,\infty)$2, and $f\in C^\infty(0,\infty)$3 for all $f\in C^\infty(0,\infty)$4. Their Lévy–Khintchine representation is

$f\in C^\infty(0,\infty)$5

with $f\in C^\infty(0,\infty)$6 and $f\in C^\infty(0,\infty)$7 a positive measure. “Bare” Bernstein functions ($f\in C^\infty(0,\infty)$8) are those with $f\in C^\infty(0,\infty)$9. The hierarchy of Bernstein integrals is generated recursively: for integer $f(x)\geq0$0, $f(x)\geq0$1 contains functions defined as $f(x)\geq0$2 with $f(x)\geq0$3. Explicit integral representations relate these to sums or differences of exponential functions.

Examples:

• $f(x)\geq0$4: $f(x)\geq0$5 (concave, nonnegative, $f(x)\geq0$6)
• $f(x)\geq0$7: $f(x)\geq0$8 (convex, nonnegative, $f(x)\geq0$9)
• $(-1)^n f^{(n)}(x)\geq0$0: $(-1)^n f^{(n)}(x)\geq0$1 (convex, nonnegative)

2. Scalar Additivity and Concavity Properties

For $(-1)^n f^{(n)}(x)\geq0$2,

• If $(-1)^n f^{(n)}(x)\geq0$3, $(-1)^n f^{(n)}(x)\geq0$4 is subadditive: $(-1)^n f^{(n)}(x)\geq0$5.
• If $(-1)^n f^{(n)}(x)\geq0$6 for $(-1)^n f^{(n)}(x)\geq0$7, $(-1)^n f^{(n)}(x)\geq0$8 is superadditive: $(-1)^n f^{(n)}(x)\geq0$9.

The function $n\geq1$0 exhibits geometric concavity:

$n\geq1$1

equivalently, $n\geq1$2 is concave in $n\geq1$3.

A refined two-point scalar inequality for exponentials is

$n\geq1$4

for $n\geq1$5, with equality if and only if the function is a quadratic polynomial.

Combining these results provides a “refined one-point” inequality:

• For $n\geq1$6,

$n\geq1$7

• For $n\geq1$8, the reverse inequality holds.

3. Main Matrix Trace Inequality

Let $n\geq1$9 be positive semidefinite with spectral decompositions $x>0$0, $x>0$1, where $x>0$2, $x>0$3 are orthogonal projectors and $x>0$4. For $x>0$5:

• If $x>0$6,

$x>0$7

$x>0$8

• If $x>0$9, the above chain of inequalities holds in the reverse sense.

Equality obtains for all $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$0 if and only if $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$1, $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$2, or $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$3.

The proof utilizes integral representations for $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$4, reduction to exponential kernels, the Golden–Thompson inequality ($f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$5), the scalar refined two-point exponential bound, and interchange of sum/integral with spectral projectors.

4. Refined Power Function Trace Inequalities

For the power function $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$6, classical McCarthy inequalities state:

• $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$7 for $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$8
• $f(x)=a+\int_0^\infty e^{-xt}\,\mu(dt),$9 for $a=f(0^+)\geq0$0

Audenaert’s refinement introduces a sharp two-point correction:

Let $a=f(0^+)\geq0$1 and $a=f(0^+)\geq0$2:

• For $a=f(0^+)\geq0$3 or $a=f(0^+)\geq0$4,

$a=f(0^+)\geq0$5

• For $a=f(0^+)\geq0$6 or (for $a=f(0^+)\geq0$7) $a=f(0^+)\geq0$8, the inequality reverses.

Connections with the Araki–Lieb–Thirring inequality provide the further variant:

$a=f(0^+)\geq0$9

in the stated ranges.

For $\mu$0, this result sharpens the superadditivity of the classical McCarthy inequality; for $\mu$1 or $\mu$2, it supplies complementary lower/upper bounds on the trace deviation.

5. Integral Representations and Proof Techniques

The proof methods employ Laplace and Lévy–Khintchine-type integral representations, reducing matrix trace inequalities for broad function classes $\mu$3 to inequalities for the exponential kernel $\mu$4. The Golden–Thompson inequality connects the trace of the sum to traces of operator products. The scalar “geometric concavity” two-point inequality for $\mu$5 is then used to analyze the deviation $\mu$6, ultimately providing the precise additional term at the spectral level. The entire argument leverages commutativity when present, but the bounds remain valid in the non-commutative case due to the spectral decomposition and projector structure.

6. Applications to Operator Means and Norm-Compression

Two principal applications arise:

• $\mu$7-Power Means for Operators: By replacing $\mu$8 with $\mu$9 and considering $f\in{\rm CM}_0$0, $f\in{\rm CM}_0$1, the inequalities improve previously established bounds for $f\in{\rm CM}_0$2-power means $f\in{\rm CM}_0$3 in certain parameter regions.
• Norm-Compression Inequality: Let $f\in{\rm CM}_0$4 be a partitioned positive semidefinite matrix, and denote the Schatten $f\in{\rm CM}_0$5-norm $f\in{\rm CM}_0$6. For $f\in{\rm CM}_0$7 (and, by extension, $f\in{\rm CM}_0$8 or $f\in{\rm CM}_0$9 in the reversed sense),

$f\in C^\infty(0,\infty)$00

This generalizes earlier results by extending the range of $f\in C^\infty(0,\infty)$01 and provides a short proof via the trace inequalities for completely monotone functions. The norm-compression bound supplies a useful tool in matrix analysis and quantum information theory.

7. Context and Significance

The trace inequalities for completely monotone and Bernstein functions unify and extend several celebrated results (such as McCarthy-type inequalities) by characterizing the range of possible defects between the trace of an operator function of a sum and the sum of the traces of the function applied to the summands. The “two-point” enhancement yields tighter quantitative control in noncommutative scenarios. These inequalities are notable for their reliance on integral transforms and their general applicability to a wide variety of operator functions beyond the usual power functions, thus enabling new bounds and comparisons for matrix means and operator norms. The methods and inequalities have independent standing in matrix analysis and are particularly relevant in quantum information contexts where such operator functionals frequently arise (Audenaert, 2011).