$C^*$-simplicity and boundary actions of discrete quantum groups

2026-02-12T21:37:13Z

We introduce and investigate several quantum group dynamical notions for the purpose of studying $C^*$-simplicity of discrete quantum groups via the theory of boundary actions. In particular we define a quantum analogue of Powers' Averaging Property (PAP) and a quantum analogue of strongly faithful actions. We show that our quantum PAP implies $C^*$-simplicity and the uniqueness of $σ$-KMS states, and that the existence of a strongly $C^*$-faithful quantum boundary action also implies $C^*$-simplicity and, in the unimodular case, the quantum PAP. We illustrate these results in the case of the unitary free quantum groups $\mathbb{F} U_F$ by showing that they satisfy the quantum PAP and that they act strongly $C^*$-faithfully on their quantum Gromov boundary. Moreover we prove that this particular action of $\mathbb{F} U_F$ is a quantum boundary action.

Trace arithmetic--$κ_p$ inequality

2026-02-12T13:22:26Z

Let $\mathcal{A}$ be a unital $C^\ast$-algebra equipped with a faithful tracial positive linear functional $τ$. Denote by $\mathcal{A}_+$ its positive cone. For $p>0$ and $A,B\in\mathcal{A}_+$, we consider the operations $$ Aκ_p B := \bigl(A^{p/4} B^{p/2} A^{p/4}\bigr)^{1/p}, \qquad A\nabla B := \frac{A+B}{2}. $$ We prove that, for all $p>0$ and all $A,B\in\mathcal{A}_+$, $$ τ(Aκ_p B)\le \sqrt{τ(A)τ(B)}\le τ(A\nabla B), $$ thereby answering \cite[Problem~1]{KM24}, posed by Á.~Komálovics and L.~Molnár, in the affirmative. We also record a unitarily invariant norm analogue of the key estimate in the matrix case, and we provide explicit $2\times2$ counterexamples showing that the triangle inequality for $d_p$ may fail when $0

Strong convergence of random representations of free products of finite groups

2026-02-12T13:04:30Z

We extend the polynomial method of Chen--Garza-Vargas--Tropp--van Handel and Magee--Puder--van Handel for operator-norm bounds in random permutation models to the setting where torsion is present. The main new feature is that asymptotic expansion of traces naturally involves fractional powers of $N$ rather than an ordinary Laurent series. We formulate fractional-power analogues of the method's key hypotheses and prove they lead to strong convergence. We verify these analogues for free products of finite groups $Γ=G_1*\cdots*G_m$. Concretely, for a uniformly random $φ_N\in{\rm hom}(Γ,{\rm Sym}(N))$, set $π_N = {\rm std} \circ φ_N$, where ${\rm std}$ denotes the standard $(N-1)$-dimensional representation of ${\rm Sym}(N)$ (the permutation representation with the trivial subrepresentation removed). We deduce strong convergence of $π_N$ to the left regular representation of $Γ$. As applications, we obtain asymptotically sharp spectral gaps for the associated random Schreier graphs, including almost Ramanujan behavior for $C_2*C_2*C_2$ and an explicit non-Ramanujan limiting spectral radius for $C_2*C_3 \cong {\rm PSL}_2({\bf Z})$.

Rokhlin Dimension and Inductive Limit Actions on AF-algebras

2026-02-12T12:43:22Z

Given a separable, AF-algebra A and an inductive limit action on A of a finitely generated abelian group with finite Rokhlin dimension with commuting towers, we give a local description of the associated crossed product C*-algebra. In particular, when A is unital and $α\in Aut(A)$ is approximately inner and has the Rokhlin property, we conclude that $A \rtimes_α \mathbb{Z}$ is an A$\mathbb{T}$-algebra.

A family of matrix flows converging to normal matrices

2026-02-12T11:28:32Z

The celebrated Antezana-Pujals-Stojanoff Theorem states that the iterated Aluthge transforms of an arbitrary matrix converge to a normal matrix. We introduce a family of matrix flows that share this convergence property by defining them through ordinary differential equations. The family includes a continuous analogue of the Aluthge transform, as well as a differential equation discussed by Haagerup in the context of II$_1$ factors. We also examine the same type of flows in the setting of Hilbert space operators equipped with unitarily invariant norms.

Amenable unitary representations of locally compact groupoids

2026-02-12T08:52:18Z

Let $G$ be a second countable locally compact groupoid equipped with a Haar system $λ$.In this work, we introduce and develop the notion of amenability for continuous unitary representations of $G$, formulated in terms of Hilbert bundles over the unit space $G^{0}$. We prove that $G$ is amenable if and only if its left regular representation is amenable, thereby extending Bekka's characterisation of amenable unitary representations from groups to groupoids. We further investigate the amenability of induced representations of $G$ and also study the representation of properly amenable groupoids. Finally, we define a topological invariant mean associated with a representation, constructed by utilising the theory of operator-valued vector measures on the unit space $G^{0}$, to characterise amenability.

Finite de Finetti theorems for free easy quantum groups

2026-02-12T01:33:11Z

We prove various finite de Finetti theorems for non-commutative distributions which are invariant under the free easy quantum group actions. This complements the free de Finetti theorems by Banica, Curran and Speicher, which mostly focus on infinite sequences. We also discuss some refined results for the infinite setting.

Gröbner bases of Burchnall-Chaundy ideals for ordinary differential operators

2026-02-11T22:10:54Z

The correspondence between commutative rings of ordinary differential operators (ODOs) and algebraic curves was established by Burchnall and Chaundy, Krichever and Mumford, among many others. To make this correspondence computationally effective, in this paper we aim to compute the defining ideals of spectral curves, Burchnall-Chaundy (BC) ideals. We provide an algorithm to compute a Gröbner basis of a BC ideal. The point of departure is the computation of the finite set of generators of a maximal commutative ring of ODOs, which was implemented by the authors in the package dalgebra of SageMath. The algorithm to compute BC ideals has been also implemented in dalgebra. The differential Galois theory of the corresponding spectral problems, linear differential equations with parameters, would benefit from the computation on this prime ideal, generated by constant coefficient polynomials. In particular, we prove the primality of the differential ideal generated by a BC ideal, after extending the coefficient field. This is a fundamental result to develop Picard-Vessiot theory for spectral problems.

Cauchy-Schwarz inequalities for maps in noncommutative Lp-spaces

2026-02-11T21:01:39Z

In this paper, a generalized Cauchy-Schwarz inequality for positive sesquilinear maps with values in noncommutative Lp-spaces for p > 1 are obtained. Bound estimates for their real and imaginary parts are also provided, and, as an application, a generalization of the uncertainty relation in the context of noncommutative L2-spaces are given. Next, a Cauchy-Schwarz inequality for positive sesquilinear maps with values in the space of bounded linear operators from a von Neumann algebra into a C*-algebra equipped with the numerical radius norm is proved. In the same spirit, a new norm on a noncommutative L2-space, which generalizes the classical numerical radius norm of bounded linear operators on a Hilbert space, is proposed, and a Cauchy-Schwarz inequality for positive sesquilinear maps with values in the space of bounded linear operators from a von-Neumann algebra into the noncommutative L2-space equipped with this new norm is proved. These results are used to get representations of general positive linear maps with values into a non-commutative Lp-space and into certain operator spaces in several different situations. Some concrete examples are also given.

The strong convergence phenomenon

2026-02-11T16:19:12Z

In a seminal 2005 paper, Haagerup and Thorbjørnsen discovered that the norm of any noncommutative polynomial of independent complex Gaussian random matrices converges to that of a limiting family of operators that arises from Voiculescu's free probability theory. In recent years, new methods have made it possible to establish such strong convergence properties in much more general situations, and to obtain even more powerful quantitative forms of the strong convergence phenomenon. These, in turn, have led to a number of spectacular applications to long-standing open problems on random graphs, hyperbolic surfaces, and operator algebras, and have provided flexible new tools that enable the study of random matrices in unexpected generality. This survey aims to provide an introduction to this circle of ideas.

Linear Operators on Polynomials and $K$-Positivity Preserver -- A journey from analysis to algebra and back

2026-02-11T15:02:29Z

These are the extended lecture notes of my lecture about ``Linear Operators on Polynomials, $K$-Positivity Preserver, and their Generators''. The lecture was given at the University of Konstanz in the winter semester 2025/26.

On a generalization of decomposable maps on C*-algebras

2026-02-11T11:31:16Z

We propose the notion of countable decomposability of maps on C*-algebras: a bounded linear map $\varphi : \mathscr{A}\to B(\mathcal{H})$, where $\mathscr{A}$ is a C*-algebra and $\mathcal{H}$ a Hilbert space, will be called countably decomposable if it admits a representation $\varphi = \sum_{k=1}^{\infty} ψ_k \circ φ_k$ for completely positive maps $ψ_k : \mathscr{A}\to B(\mathcal{H})$ and bounded *-maps $φ_k : \mathscr{A}\to\mathscr{A}$. A characterization of countable decomposability is given in certain cases with various assumptions imposed on maps $φ_k$. Our findings provide extensions of a classical result of Størmer from Proc. Amer. Math. Soc. 86 (1982), 402-404, originally formulated for decomposable positive maps.

Convolution comparison measures

2026-02-10T23:46:54Z

We give a precise functional comparison between classical and free convolutions. If $μ$ and $ν$ are compactly supported probability measures, we show that the expectation of $f$ over the classical convolution $μ* ν$ is at least the expectation of $f$ over the free convolution $μ\boxplus ν$, as long as the fourth derivative of $f$ is non-negative. Conversely, the non-negativity of the fourth derivative is necessary for such a comparison. This comparison is based on the positivity of a related measure on $\mathbb{R}^{2}$, which we dub the convolution comparison measure. We give an expression for this measure using a curious identity involving Hermitian matrices.

Depth 2 inclusions of simple $C^$-algebras and their weak $C^$-Hopf algebra symmetries

2026-02-10T20:44:58Z

Let $B \subset A$ be a depth $2$ inclusion of simple unital $C^*$-algebras with a conditional expectation of index-finite type. We show that the second relative commutant $B' \cap A_1$ carries a canonical structure of a weak $C^*$-Hopf algebra. Furthermore, we construct an action of this weak $C^*$-Hopf algebra on $A$ for which $B$ is precisely the fixed-point subalgebra, and we prove that the first basic construction $A_1$ is isomorphic to the crossed product $A \rtimes (B' \cap A_1)$. This provides a $C^*$-algebraic counterpart of the duality between depth $2$ subfactors and weak Hopf algebra symmetry, extending the Ocneanu-Nikshych-Vainerman theory beyond the $II_1$ factor setting.

Non-isomorphism of reduced free group $C^\ast$-algebras

2026-02-10T17:19:35Z

Using a new approach involving embedding spaces in II$_1$ factors with plenty of freely independent Haar unitaries, we prove that $C^\ast_r(\mathbb{F}_n)\ncong C^\ast_r(\mathbb{F}_m)$ for $n \neq m$. This recovers the seminal result of Pimsner and Voiculescu with a short new proof.