Skip to content
Preprint

Alternative-mean trace divergences: geometry, data processing, and barycenters

Aug 2026 · 0 citations · 28 references
Physics Mathematics

Abstract

Let $f:(0,\infty)\to(0,\infty)$ be a nontrivial normalized operator monotone function and set $s=f'(1)$. We introduce the alternative-mean trace functional $$ \altPhi_f(A,B) :=\Tr(A\nabla_s B) -\Tr\!\left( f(A^{-1}\sharp B)\,A\,f(A^{-1}\sharp B) \right). $$ on the positive definite cone. We prove that $\altPhi_f$ is a quantum divergence in the sense of Bhatia--Gaubert--Jain whose diagonal Hessian induces a positive multiple of the Bures--Wasserstein Riemannian metric. We also establish the sharp comparison $$ s(1-s)d_{\rm BW}(A,B)^2 \le \altPhi_f(A,B) \le (1-s+s^2)d_{\rm BW}(A,B)^2. $$

View source

Similar papers

Preprint Sep 2026

On filtration formula and nodal sets in min-max theory

Let $(M^{n+1},g)$ be a closed smooth Riemannian manifold, and let \[ 0=\lambda_0\leq\lambda_1\leq\ldots \] be the spectrum of the Laplace-Beltrami operator, with corresponding real eigenfunctions $\{\phi_j\}_{j\geq0}$. Let $\{\omega_p(M,g)\}_{p\geq1}$ denote Gromov's volume spectrum. In 2014, Marques-Neves conjectured...

Talant Talipov · 0 citations
Preprint Aug 2026

Square Functions and Rectifiability under Monotone Transformations of the Density

Let $\mu$ be an $n$-AD-regular measure in $\mathbb{R}^d$. Chousionis, Garnett, Le and Tolsa [CGLT] proved that $\mu$ is uniformly $n$-rectifiable if and only if the square function built from the density differences $\Delta_\mu(x,r)=\mu(B(x,r))/r^n-\mu(B(x,2r))/(2r)^n$ satisfies a Carleson condition. In this paper we s...

T. Le · 0 citations
Preprint Oct 2026

Three-Point Trace Positivity:Schatten Norm Compression and Interpolating Metrics

Let $(\mathcal N,\nu)$ be a finite tracial von Neumann algebra and set $\mathcal{K}_r(P,Q)=\nu((P^{1/2}QP^{1/2})^r)$. We prove that $$ [\mathcal{K}_r(P_i,P_j)]_{i,j=1}^3\ge0, \qquad 1/2\le r\le1. $$ The range $1/2<r<1$ is new even for matrices, and order three is sharp for $1/2\le r<1$. This single mechanism resolves t...

T. Vuong, H. Osaka · 0 citations
Preprint Sep 2026

The phase diagram of injective-to-projective tensor distortion

For finite-dimensional Banach spaces $E$ and $F$, set \[ \rho(E,F):=\sup_{0\neq z\in E\otimes F}\frac{\pi(z)}{\varepsilon(z)}. \] The square growth of $\rho(\ell_p^d,\ell_q^d)$ was determined by Bonet, Defant, Peris and Ramanujan. We study the rectangular problem with the two dimensions varying independently. If $r=\mi...

D. Núñez-Alarcón, D. Pellegrino, J. Santos · 0 citations
Preprint Sep 2026

Commutators with two matrix weights

Let $U,V$ be matrix $\mathcal A_p$ weights, $1<p<\infty$, and let $B$ be a matrix-valued function. For Calder\'on--Zygmund operators $T$ with scalar standard kernels, we characterize boundedness and compactness of $[M_B,T\otimes I_m]:L^p(U)\to L^p(V)$ by two-matrix BMO and vanishing oscillation conditions. The converse...

Ji Li, Chong-Wei Liang, Chun-Yen Shen et al. · 0 citations
Preprint Sep 2026

Dimension-free weak $(1,1)$ estimates for Riesz transforms with constant drift

Let $L_v=-\Delta-2v\cdot\nabla$ on $L^2(\mathbb R^n,e^{2v\cdot x}\,dx)$, where $v\in\mathbb R^n\setminus\{0\}$ is a constant drift vector. We prove that the full vector Riesz transform $\nabla L_v^{-1/2}$ satisfies a weak-type $(1,1)$ estimate for real-valued functions with constant at most $2$, uniformly in both the d...

Suman Mukherjee · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.