Metric Properties: From $S$-Divergence to Quantum Jensen Divergence

2026-02-08T23:54:27Z

We extend the trace-logarithmic $S$-divergence from matrices to tracial $C^*$-algebras and finite von Neumann algebras, and show that its square root defines a metric on the invertible positive cone. We also prove an integral representation of the quantum Jensen--Shannon divergence in terms of shifted trace-log distances, implying metricity of its square root on the full positive cone in the same tracial framework. In the matrix case, we answer two questions of Virosztek \cite{Vir21} on Hilbertianity. Finally, we show that symmetric quantum Jensen divergences generated by non-affine operator convex functions yield metrics in the tracial setting via a Nevanlinna--Stieltjes type representation of the derivative, which generalizes a result of Carlen, Lieb and Seiringer.

Operatopes, Operanoids, and Noncommutative Zonoids

2026-02-08T19:51:03Z

We study a class of convex bodies called operatopes that are obtained by taking Minkowski sums of affine images of an operator norm ball. This notion generalizes that of zonotopes which are Minkowksi sums of line segments. Taking the limit of the number of line segments to infinity yields the class of convex bodies called zonoids, which can also be viewed as the expectation of a random line segment. Expanding on this interpretation, we analogously define operanoids as the expectation of a random affine image of an operator norm ball. In studying the properties of operanoids when the dimension of the operator norm ball grows, we arrive at a new asymptotic regime for limits of convex bodies. This leads to the more general class of convex bodies called noncommutative zonoids, and we use the framework of free probability theory to illustrate basic properties and examples. Finally, we discuss applications of operanoids and noncommutative zonoids in statistics and stochastic processes.

50 Open Problems: Ultraproduct II$_1$ factors

2026-02-08T14:48:24Z

A collection of 50 open problems around the structure theory of ultraproducts of II$_1$ factors is presented, along with some annotations and references.

Operator models and analytic subordination for operator-valued free convolution powers

2026-02-07T21:57:19Z

We revisit the theory of operator-valued free convolution powers given by a completely positive map $η$. We first give a general result, with a new analytic proof, that the $η$-convolution power of the law of $X$ is realized by $V^*XV$ for any operator $V$ satisfying certain conditions, which unifies Nica and Speicher's construction in the scalar-valued setting and Shlyakhtenko's construction in the operator-valued setting. Second, we provide an analog, for the setting of $η$-valued convolution powers, of the analytic subordination for conditional expectations that holds for additive free convolution. Finally, we describe a Hilbert-space manipulation that explains the equivalence between the $n$-fold additive free convolution and the convolution power with respect to $η= n \operatorname{id}$.

On regions of mixed unitarity for semigroups of unital quantum channels

2026-02-07T16:41:57Z

It is established that both discrete and continuous semigroups of unital quantum channels are eventually mixed unitary. This result is novel even for the subclass of Schur maps and stands in sharp contrast to the resolution of the asymptotic quantum Birkhoff conjecture by Haagerup and Musat, who demonstrated that tensor powers of some unital quantum channels maintain a persistent positive distance from the set of mixed unitary channels. Remarkably, our results show that this gap vanishes in finite time when considering ordinary powers within a semigroup. Building on this, we define the mixed unitary index of a unital quantum channel as the minimum time (or power) beyond which all subsequent maps become mixed unitary. We demonstrate that for any fixed dimension $d \geq 3$, there is no universal upper bound for this index. Furthermore, we observe that if a continuous semigroup is not mixed unitary at some $t > 0$, it remains non-mixed unitary for all $t$ sufficiently close to the origin. Finally, we investigate quantum dynamical semigroups where mixed unitarity is restricted to specific families, such as Weyl or diagonal unitaries. We show that Schur semigroups of correlation matrices eventually become mixtures of rank-one correlation matrices, and we characterize the generators of Schur semigroups that remain within this set for all $t \geq 0$.

A Fubini Theorem for Grothendieck Functional Integrals

2026-02-07T10:39:57Z

This paper systematically studies the subset of continuous linear functionals on the projective tensor product of Banach spaces whose norms are bounded by Grothendieck's constant $K_G$. We term such functionals Grothendieck functional integrals. The integral is defined as a linear functional on the projective tensor product space that satisfies the boundedness condition $|μ(x)| \leq K_G \|x\|_π$, where $K_G$ denotes Grothendieck's constant. We prove that such integrals admit a Hilbert space representation theorem and establish the corresponding abstract Fubini theorem to demonstrate that the order of integration may be interchanged. Furthermore, we extend this theory to the setting of multiple tensor products and provide integral representations in concrete function spaces. Our work offers a unified framework for bilinear and multilinear analysis, with a universal constant serving as the fundamental bound.

Computable $K$-theory for C*-algebras II: AF algebras

2026-02-06T17:11:33Z

We continue the study of the effective content of $K$-theory for C*-algebras, with a focus on AF algebras. We show that from a c.e. presentation of an AF algebra it is possible to compute a representation of the algebra as an inductive limit of finite-dimensional algebras. Using this, and an analogous result for dimension groups, we show that the computable $K_0$ functor provides a computable equivalence of categories between c.e. presentations of AF algebras and c.e. presentations of unital (scaled) dimension groups, giving an effective version of Elliott's classification theorem. We use our results to determine the complexity of the index set and isomorphism problems for various classes of AF algebras.

Bijective rigidity of uniform Roe algebras and injectivity of the comparison map

2026-02-06T14:13:15Z

We show that, for uniformly locally finite metric spaces $X$ and $Y$ with isomorphic uniform Roe algebras $C^*_u(X)$ and $C^*_u(Y)$, the existence of a bijective coarse equivalence $f \colon X \to Y$ is equivalent to the injectivity of the $0$th comparison map appearing in the HK conjecture for coarse groupoids. We further prove that the $0$th comparison map is injective unconditionally. Moreover, if the underlying space is coarsely connected, this map is in fact split-injective.

Quantitative partitioned index theorem and noncompact band-width

2026-02-06T12:50:47Z

Gromov's band-width conjecture gives a precise upper bound for the width of a compact Riemannian band with positive scalar curvature lower bound, assuming that the cross-section of the band admits no positive scalar curvature metrics. Versions of this were proved by Cecchini and by Zeidler. In this paper, we develop a quantitative version of partitioned manifold index theory, which applies to noncompact hypersurfaces. Using this, we prove a version of Gromov's band-width estimate for possibly noncompact Riemannian bands.

Metrics on completely positive maps via noncommutative geometry

2026-02-06T10:35:55Z

We study methods of inducing metrics on unital completely positive maps by employing seminorms arising in noncommutative geometry. Our main approach relies on the development of an infinite-dimensional $C^*$-algebraic analogue of the Choi-Jamiołkowski isomorphism. Under suitable conditions, we show that the induced metrics satisfy the quantum information theoretic properties of stability and chaining. Moreover, we show how to generate such metrics using constructions native to noncommutative geometry, by for example using external Kasparov products of spectral triples.

C*-like modules and matrix $p$-operator norms

2026-02-05T21:40:56Z

We present a generalization of Hölder duality to algebra-valued pairings via $L^p$-modules. Hölder duality states that if $p \in (1, \infty)$ and $p^{\prime}$ are conjugate exponents, then the dual space of $L^p(μ)$ is isometrically isomorphic to $L^{p^{\prime}}(μ)$. In this work we study certain pairs $(\mathsf{Y},\mathsf{X})$, as generalizations of the pair $(L^{p^{\prime}}(μ), L^p(μ))$, that have an $L^p$-operator algebra valued pairing $\mathsf{Y} \times \mathsf{X} \to A$. When the $A$-valued version of Hölder duality still holds, we say that $(\mathsf{Y},\mathsf{X})$ is C*-like. We show that finite and countable direct sums of the C*-like module $(A,A)$ are still C*-like when $A$ is any block diagonal subalgebra of $d \times d$ matrices. We provide counterexamples when $A \subset M_d^p(\mathbb{C})$ is not block diagonal.

$K$-theory of ghostly ideals for $\ell^p$-coarsely embeddable spaces

2026-02-05T15:39:20Z

Ghostly ideals are among the most mysterious objects in coarse index theory. In this paper, we show that if a metric space $X$ with bounded geometry admits a coarse embedding into an $\ell^p$-space ($1 \le p < \infty$), then the canonical inclusion from any geometric ideal to the corresponding ghostly ideal induces an isomorphism in $K$-theory. As consequences, we deduce that such spaces satisfy the relative coarse Baum-Connes conjectures, as well as the operator norm localization property for finite rank projections ($ONL_{\mathcal P_{Fin}}$).

Examples of W$^$ and C$^$-superrigid product groups

2026-02-05T12:53:10Z

We provide a new large class $\mathcal C_{AFP}$ of amalgamated free product groups for which the product rigidity result from [CdSS15] holds: if $G_1,\dots,G_n\in\mathcal C_{AFP}$ and $H$ is any group such that $L(G_1\times\dots\times G_n)\cong L(H)$, then there exists a product decomposition $H=H_1\times\dots\times H_n$ such that $L(H_i)$ is stably isomorphic to $L(G_i)$, for any $1\leq i\leq n$. The class $\mathcal C_{AFP}$ contains $W^*$ and $C^*$-superrigid groups from [CD-AD20]. Consequently, we obtain examples of product groups that are both $W^*$ and $C^*$-superrigid.

Unitarising measures for Kac-Moody algebras

2026-02-05T08:45:46Z

Given a compact connected Lie group $G$ with dual Coxeter number $\check h$ and a level $κ<-2\check h$, we introduce a probability measure $ν_κ$ on the space of holomorphic $\mathfrak g_{\mathbb C}$-valued $(1,0)$-forms in $\mathbb D$, in relation to the Kähler geometry of the loop group of $G$ and the action of a pair of Kac--Moody algebras at respective levels $κ$ and $-2\check h-κ>0$. We prove that $ν_κ$ is characterised by a covariance property making rigorous sense of the formal path integral ``$\mathrm dν_κ(γ)=e^{-\checkκ\mathscr{S}(γ)}Dγ$", where $Dγ$ is the non-existent Haar measure on the loop group and $\mathscr S$ is a Kähler potential for the right-invariant Kac--Moody metric. Infinitesimally, the covariance formula prescribes the Shapovalov forms of the Kac--Moody representations.

Non-amenable C$^$-superrigid groups that are not W$^$-superrigid

2026-02-05T04:25:01Z

Using techniques at the intersection of deformation/rigidity theory, geometric group theory, and the theory of $C^*$-algebras, we construct a continuum of nonamenable groups $G$ that can be completely reconstructed from their reduced $C^*$-algebras $C_r^*(G)$, but not from their group von Neumann algebras $\mathrm{L}(G)$. These groups arise as infinite direct sums of amalgamated free product groups and constitute the first known examples of nonamenable groups exhibiting this phenomenon. In addition, we provide examples of finite direct products of amalgamated free product groups that are simultaneously $C^*$-superrigid and $W^*$-superrigid. Finally, for a fairly large subclass of these amalgamated free product groups $G$, we show that all $\ast$-endomorphisms of $C_r^*(G)$ are weakly inner.