$T$-admissible processes and noncommutative weighted ergodic theorems

2026-04-29T02:01:45Z

In this article, we study the bilaterally almost uniform (b.a.u.) convergence of weighted averages of a positive Dunford-Schwartz operator on the noncommutative $L_p$-spaces associated to a semifinite von Neumann algebra by a large number of weighting sequences. We do this by extending the classical "subsequence argument" to the noncommutative setting. This is then used to establish a large number of sequences satisfying a certain decay condition as good weights for the noncommutative individual ergodic theorem. This class includes those sequences generated by bounded i.i.d. sequences and the Möbius function. We also study similar problems for $T$-admissible processes on a semifinite von Neumann algebra, showing that if a Wiener-Wintner type ergodic theorem holds for a class $\mathcal{U}\subset W_q$ of weights for $T$-additive process, then it also holds for strongly $p$-bounded $T$-admissible processes, assuming that the duality $\frac{1}{p}+\frac{1}{q}=1$ holds and that $T$ is a normal $τ$-preserving $*$-automorphism.

Quantum graphs of homomorphisms

2026-04-29T01:19:10Z

We introduce a category $\mathsf{qGph}$ of quantum graphs, whose definition is motivated entirely from noncommutative geometry. For all quantum graphs $G$ and $H$ in $\mathsf{qGph}$, we then construct a quantum graph $[G,H]$ of homomorphisms from $G$ to $H$, making $\mathsf{qGph}$ a closed symmetric monoidal category. We prove that for all finite graphs $G$ and $H$, the quantum graph $[G,H]$ is nonempty iff the $(G,H)$-homomorphism game has a winning quantum strategy, directly generalizing the classical case. The finite quantum graphs in $\mathsf{qGph}$ are tracial, real, and self-adjoint, and the morphisms between them are CP morphisms that are adjoint to a unital $*$-homomorphism. We prove that Weaver's two notions of a CP morphism coincide in this context. We also include a short proof that every finite reflexive quantum graph is the confusability quantum graph of a quantum channel.

Unitary representations and von Neumann's continuous geometries

2026-04-28T20:40:32Z

We prove that the unit group of a non-discrete irreducible, continuous ring, in the sense of John von Neumann, does not admit any non-trivial unitary representation continuous with respect to the strong operator topology.

Strong Kantorovich duality for quantum optimal transport with generic cost and optimal couplings on quantum bits

2026-04-28T14:56:55Z

We prove Kantorovich duality for a linearized version of a recently proposed non-quadratic quantum optimal transport problem, where quantum channels realize the transport. As an application, we determine optimal solutions of both the primal and the dual problem using this duality in the case of quantum bits and distinguished cost operators, with certain restrictions on the states involved. Finally, keeping the same restrictions regarding the states involved, we use this information on optimal solutions to give an analytical proof of the triangle inequality even for the square of the induced quantum Wasserstein divergences.

Sharp concentration for sums of matrices with Markovian dependence through universality

2026-04-28T13:37:33Z

We prove that a sum of random matrices generated by a $ψ$-mixing Markov chain has similar spectral properties to a Gaussian matrix with the same mean and covariance structure. This nonasymptotic universality principle enables sharp concentration inequalities when combined with recent advances in the Gaussian literature. We illustrate the theory with examples, showing how it enables polynomial dimensional improvements relative to previous Markovian matrix concentration results when applied to Wigner-type matrices, and how one can recover sharp limiting values for a model used to study spectral clustering techniques. A key challenge in the proof is that techniques based only on classical cumulants, which can be used when summands are independent, are not sufficient on their own for efficient estimates in a Markovian setting. Our approach exploits Boolean cumulants and a change--of--measure argument.

A groupoid approach to the equivariant coarse Baum--Connes conjecture

2026-04-28T13:02:47Z

In this paper, we develop a groupoid approach to the equivariant coarse Baum--Connes conjecture. For a bounded geometry metric space $X$ equipped with a proper, free, and isometric action of a countable discrete group $Γ$, we introduce the equivariant coarse groupoid $G(X, Γ)$. We prove that the groupoid Baum--Connes conjecture for $G(X, Γ)$ with coefficients in $\ell^{\infty}(X,\mathcal{K})^Γ$ is equivalent to the equivariant coarse Baum--Connes conjecture for $(X, Γ)$ using a localization algebra description of equivariant $KK^\mathcal{G}$-theory for étale groupoids. As applications of this framework, we prove that if the space $X$ admits a coarse embedding into Hilbert space (which is not required to be $Γ$-equivariant), then the equivariant coarse Novikov conjecture holds for $(X, Γ)$, i.e., the assembly map $μ_{X,Γ}$ is an injection. We also obtain a new proof of the equivariant coarse Baum--Connes conjecture if $X$ admits an equivariant coarse embedding into Hilbert space.

Selfless reduced amalgamated free products and HNN extensions

2026-04-28T02:03:10Z

We find a general family of selfless inclusions in reduced amalgamated free products of C*-algebras. Apart from generalizing prior works due to McClanahan, Ivanov and Omland, our work yields a few other applications. We present a short new approach to construct HNN extensions of C*-algebras and find several new examples of selflessness using this. This generalizes results of Ueda, Ivanov and de la Harpe-Preaux. As another application our work yields a short proof of selflessness for arbitrary graph products of C*-algebras over graphs of more than 2 vertices and diameter greater than 3.

Pointwise Convergence for Random Ergodic Averages in Non-commutative $L^p$-spaces

2026-04-27T22:10:38Z

Let $M$ be a semifinite von Neumann algebra and $T$ a positive contraction on both $L^1(M)$ and $L^\infty(M)$. We consider ergodic averages along a random sparse subsequence determined by independent Bernoulli variables $(X_n)_{n\geq 1}$ with $\mathbb{P}(X_n = 1) = n^{-α}$, and set $W_N = \sum_{n=1}^N \mathbb{E}[X_n]$. We prove that, almost surely, the averages $\frac{1}{W_N} \sum_{n=1}^N X_n\, T^n(x)$ converge bilaterally almost uniformly to the ergodic projection for all $1 < p < \infty$. This extends a theorem of Bourgain to the non-commutative setting.

Invariant trace simplices and relative property (T)

2026-04-27T17:43:58Z

Let $α\colon G\curvearrowright A$ be an action of a countable discrete group on a separable unital $C^*$-algebra. We study the simplex $\mathrm{T}(A)^G$ of $G$-invariant traces and ask when it is Bauer. Our main result is a noncommutative version of the Glasner-Weiss theorem: if $(G,H)$ has relative property (T) and the $H$-action on the von Neumann algebra of every extremal invariant trace is ergodic, that is, has only scalar fixed points, then $\mathrm{T}(A)^G$ is Bauer. We give criteria for the ergodicity hypothesis and apply them to certain quasi-local permutation actions, generalized Bernoulli actions, traces on group $C^*$-algebras, and reduced crossed products. In particular, if $G$ is infinite, has property (T), and trivial amenable radical, then $C_r^*(Δ\wr G)$ has Bauer trace simplex for every countable discrete group $Δ$.

The von Neumann algebraic quantum group $\mathrm{SU}_q(1,1)\rtimes \mathbb{Z}_2$ and the DSSYK model

2026-04-27T17:04:49Z

The double-scaling limit of the SYK (DSSYK) model is known to possess an underlying $\mathcal{U}_q(\mathfrak{su}(1,1))$ quantum group symmetry. In this paper, we provide, for the first time, a von Neumann algebraic quantum group-theoretical description of the degrees of freedom and the dynamics of the DSSYK model. In particular, we construct the operator-algebraic quantum Gauss decomposition for the von Neumann algebraic quantum group $\mathrm{SU}_q(1,1)\rtimes \mathbb{Z}_2$, i.e. the $q$-deformation of the normaliser of $\mathrm{SU}(1,1)$ in $\mathrm{SL}(2,\mathbb{C})$, and derive the Casimir action on its quantum homogeneous spaces. We then show that the dynamics on quantum AdS$_{2,q}$ space reduces to that of the DSSYK model. Furthermore, we argue that the extension of the global symmetry group to its normaliser is not only necessary for a consistent definition of the locally compact quantum group, but that, moreover, the reduction to the DSSYK model works exclusively at the level of the normaliser. The von Neumann algebraic description is shown to give a natural restriction on the allowed quantised coordinates, elegantly ensuring length positivity and non-negative integer chord numbers. Lastly, we make remarks on the correlation function related to the strange series representation, which is argued to interpolate between the AdS and dS regions of our $q$-homogeneous space.

Wasserstein distances and divergences of order $p$ by quantum channels

2026-04-27T16:06:21Z

We introduce a non-quadratic generalization of the quantum mechanical optimal transport problem introduced in [De Palma and Trevisan, Ann. Henri Poincaré, {\bf 22} (2021), 3199-3234] where quantum channels realize the transport. Relying on this general machinery, we introduce $p$-Wasserstein distances and divergences and study their fundamental geometric properties. Finally, we prove triangle inequality for quadratic Wasserstein divergences under the sole assumption that an arbitrary one of the states involved is pure, which is a generalization of our previous result in this direction.

Dynamics in large scale geometry

2026-04-27T13:19:32Z

We investigate the large scale geometry of certain metric spaces through the lens of dynamics. Our approach establishes a close connection between large scale dynamical phenomena and operator algebras by characterizing various large scale dynamic behaviors in terms of GNS representations of the uniform Roe algebras arising from natural canonical states. Our dynamical systems are given by the Stone-Čech boundary of metric spaces together with their inverse semigroup of partial translations. This defines a space of orbits and we characterize Hausdorffness and $T_1$-ness of this space by the failure of coarse embeddability of certain metric spaces. Surprisingly, while the orbit space has very weak separation properties, we show that it satisfies a certain ''localized version'' of Urysohn's lemma. We show that the topology of the space of orbits and quasi-orbits are given by the space of irreducible representations of uniform Roe algebras and by the space of their primitive ideals, respectively. As a highlight of the theory developed herein, we provide classes of spaces such that the prime ideals of their uniform Roe algebras are primitive. This is the case for instance of spaces whose orbit space is $T_1$.

Strict comparison for twisted group C*-algebras

2026-04-27T10:43:58Z

We prove that any reduced twisted group C*-algebra of a selfless group with the rapid decay property is selfless. As an application, we show that twisted group C*-algebras of acylindrically hyperbolic groups (possibly with nontrivial finite radical) and rapid decay are pure, and hence have strict comparison.

Rapid decay and localizability for Fell bundles over etale Groupoids

2026-04-26T22:53:47Z

We introduce a notion of the Rapid Decay Property (RDP) for Fell bundles over locally compact Hausdorff étale groupoids, extending earlier rapid decay theories for étale groupoids and twists. Our approach yields analytic control on convolution norms and leads to the existence of dense Schwartz-type $*$-subalgebras of the reduced cross-sectional $C^*$-algebra $C_r^*(E)$. As an application, we obtain approximation results showing that, under suitable hypotheses, sections of $C_r^*(E)$ with support contained in an open subset $U\subseteq G$ can be approximated in the reduced norm by compactly supported sections supported inside $U$. In this sense, the Rapid Decay Property provides an analytic mechanism leading to a form of localizability for Fell bundles. We also investigate the relationship between RDP, polynomial growth, and dynamical systems. We show that Fell bundles over groupoids with polynomial growth naturally satisfy the RDP. Furthermore, for a transformation groupoid $G=Γ\ltimes_θX$ associated with a partial action, we prove that RDP for a Fell bundle over $G$ is equivalent to RDP for a naturally associated Fell bundle over the discrete group $Γ$. Finally, we apply these tools to Deaconu-Renault groupoids. By realizing them as partial crossed products of free groups, we show that the presence of persistent branching forces exponential growth, completely obstructing the RDP. This provides a striking illustration of a system where the acting group has RDP, but the associated groupoid fails to inherit it, fully clarifying the boundary between the group and groupoid theories.

Pureness and stable rank one for reduced twisted group $\mathrm{C}^\ast$-algebras of certain group extensions

2026-04-26T22:24:01Z

The purpose of this note is to prove two results. First, we observe that discrete groups with property $\mathrm{P}_{\mathrm{PHP}}$ in the sense of Ozawa give rise to completely selfless reduced twisted group $\mathrm{C}^\ast$-algebras, thereby extending a theorem of Ozawa from the untwisted to the twisted case. We also observe that an adaptation of property $\mathrm{P}_{\mathrm{PHP}}$ for an inclusion of groups implies that the associated inclusion of reduced twisted group $\mathrm{C}^\ast$-algebras is selfless in the sense of Hayes-Kunnawalkam Elayavalli-Patchell-Robert. Second, we show that reduced (twisted) $\mathrm{C}^\ast$-algebras of some group extensions of the form finite-by-$G$, with $G$ having the property $\mathrm{P}_{\mathrm{PHP}}$, have stable rank one and are pure, which implies strict comparison. Our results do not assume rapid decay, and extend a theorem of Raum-Thiel-Vilalta. Examples covered by our results include reduced twisted group $\mathrm{C}^\ast$-algebras of all acylindrically hyperbolic groups and all lattices in ${\rm SL}(n,\mathbb R)$ for $n\geq2$.