Tracial central states on compact quantum groups

2025-04-01T18:48:35Z

Motivated by classical investigation of conjugation invariant positive-definite functions on discrete groups, we study tracial central states on universal C*-algebras associated with compact quantum groups, where centrality is understood in the sense of invariance under the adjoint action. We fully classify such states on q-deformations of compact Lie groups, on free orthogonal quantum groups, quantum permutation groups and on quantum hyperoctahedral groups.

Simplicity of Cuntz-Pimsner algebras of quantum graphs

2025-04-01T17:17:44Z

Let $\mathcal{G}$ be a quantum graph without quantum sources and $E_\mathcal{G}$ be the quantum edge correspondence for $\mathcal{G}.$ Our main results include sufficient conditions for simplicity of the Cuntz-Pimsner algebra $\mathcal{O}_{E_\mathcal{G}}$ in terms of $\mathcal{G}$ and for defining a surjection from the quantum Cuntz-Krieger algebra $\mathcal{O}(\mathcal{G})$ onto a particular relative Cuntz-Pimsner algebra for $E_\mathcal{G}$. As an application of these two results, we give the first example of a quantum graph with distinct quantum Cuntz-Krieger and local quantum Cuntz-Krieger algebras. We also characterize simplicity of $\mathcal{O}_{E_\mathcal{G}}$ for some fundamental examples of quantum graphs, including rank-one quantum graphs on a single full matrix algebra, complete quantum graphs, and trivial quantum graphs. Along the way, we provide an equivalent condition for minimality of $E_\mathcal{G}$ and sufficient conditions for aperiodicity of $E_\mathcal{G}$ in terms of the underlying quantum graph $\mathcal{G}$.

3-handle construction on II$_1$ factors

2025-04-01T16:11:08Z

We find a subtle modification to the construction of Chifan-Ioana-Kunnawalkam Elayavalli, which yields a drastic simplification of the proof of the existence of two non Gamma non elementarily equivalent II$_1$ factors.

Generalized free wreath products and their operator algebras

2025-04-01T09:55:00Z

We develop a new approach on free wreath products, generalizing the constructions of Bichon and of Fima-Pittau. We show stability properties for certain approximation properties such as exactness, Haagerup property, hyperlinearity and K-amenability. We study qualitative properties of the associated von Neumann algebra: factoriality, primeness and absence of Cartan subalgebra and we give a formula for Connes' T-invariant. Finally, we give some explicit computations of K-theory groups for C*-algebras of generalized free wreath products.

Liftings and invariant subspaces of Hankel operators

2025-04-01T06:44:44Z

We prove a Hankel-variant commutant lifting theorem. This also uncovers the complete structure of the Beurling-type reducing and invariant subspaces of Hankel operators. Kernel spaces of Hankel operators play a key role in the analysis.

K-theory of C*-algebras arising from commuting Hilbert bimodules and invariant ideals

2025-04-01T02:45:56Z

We study the K-theory of the Cuntz-Nica-Pimsner C*-algebra of a rank-two product system that is an extension determined by an invariant ideal of the coefficient algebra. We use a construction of Deaconu and Fletcher that describes the Cuntz-Nica-Pimsner C*-algebra of the product system in terms of two iterations of Pimsner's original construction of a C*-algebra from a right-Hilbert bimodule. We apply our results to the product system built from two commuting surjective local homeomorphisms of a totally disconnected space, where the Cuntz-Nica-Pimsner C*-algebra is isomorphic to the C*-algebra of the associated rank-two Deaconu--Renault groupoid. We then apply a theorem of Spielberg about stable finiteness of an extension to obtain sufficient conditions for stable finiteness of the C*-algebra of the Deaconu-Renault groupoid.

K-theory of Minkowski question-mark function

2025-03-31T19:20:17Z

It is proved that the Minkowski question-mark function comes from the K-theory of Cuntz-Pimsner algebras. We apply this result to calculate the action of Frobenius endomorphism at the infinite prime. Such a problem was raised by Serre and Deninger in the theory of local factors of zeta functions of projective varieties.

Poisson transforms on right-angled Artin monoids

2025-03-31T18:23:17Z

We introduce the notion of the weak Brehmer's condition and prove that the Cauchy transform for a representation of a right-angled Artin monoid is bounded under such conditions. As a result, we obtain the Poisson transform and $*$-regular dilation for a family of operators that satisfies the weak Brehmer's condition and the property (P). This generalizes Popescu's notion of Cauchy and Poisson transforms for commuting families of row contractions.

Relative solidity for biexact groups in measure equivalence

2025-03-31T14:48:48Z

We demonstrate a relative solidity property for the product of a nonamenable biexact group with an arbitrary infinite group in the measure equivalence setting. Among other applications, we obtain the following unique product decomposition for products of nonamenable biexact groups, strengthening \cite{Sa09}: for any nonamenable biexact groups $\Gamma_1,\cdots, \Gamma_n$, if a product group $\Lambda_1\times \Lambda_2$ is measure equivalent to $\times_{k=1}^n\Gamma_k$, then there exists a partition $T_1\sqcup T_2=\{1,\dots, n\}$ such that $\Lambda_i$ is measure equivalent to $\times_{k\in T_i}\Gamma_k$ for $i=1,2$.

Free Perpetuities I: Existence, Subordination and Tail Asymptotics

2025-03-31T11:41:52Z

We study the free analogue of the classical affine fixed-point (or perpetuity) equation \[ \mathbb{X} \stackrel{d}{=} \mathbb{A}^{1/2}\mathbb{X}\,\mathbb{A}^{1/2} + \mathbb{B}, \] where $\mathbb{X}$ is assumed to be $*$-free from the pair $(\mathbb{A},\mathbb{B})$, with $\mathbb{A}\ge 0$ and $\mathbb{B}=\mathbb{B}^*$. Our analysis covers both the subcritical regime, where $\tau(\mathbb{A})<1$, and the critical case $\tau(\mathbb{A})=1$, in which the solution $\mathbb{X}$ is necessarily unbounded. When $\tau(\mathbb{A})=1$, we prove that the series defining $\mathbb{X}$ converges bilaterally almost uniformly (and almost uniformly under additional tail assumptions), while the perpetuity fails to have higher moments even if all moments of $\mathbb{A}$ and $\mathbb{B}$ exist. Our approach relies on a detailed study of the asymptotic behavior of moments under free multiplicative convolution, which reveals a markedly different behavior from the classical setting. By employing subordination techniques for non-commutative random variables, we derive precise asymptotic estimates for the tail of the distributions of $\mathbb{X}$ in both one-sided and symmetric cases. Interestingly, in the critical case, the free perpetuity exhibits a power-law tail behavior that mirrors the phenomenon observed in the celebrated Kesten's theorem.

Breaking symmetries for equivariant coarse homology theories

2025-03-31T08:51:42Z

We describe a symmetry breaking construction in coarse geometry which allows to obtain information about equivariant coarse homology classes by restriction to smaller groups and spaces. In the case of equivariant coarse $K$-homology theory we give an analytic interpretation of this construction. As a consequence we obtain applications to the spectral theory of invariant differential operators.

Toeplitz operators in Bergman space induced by radial measures

2025-03-31T01:30:03Z

We study radial Carleson--Bergman measures on the unit disk and the corresponding Toeplitz operators acting in the Bergman space. First, we show that such Toeplitz operators are diagonal in the canonical basis, and we compute their eigenvalue sequences and Berezin transforms in terms of the radial component of the measure. Next, considering the average values of radial measures near the boundary, we give a simple characterization of radial Carleson--Bergman measures. Finally, we prove that the eigenvalue sequences of such Toeplitz operators are Lipschitz continuous with respect to the logarithmic distance on natural numbers. As a consequence, we describe the commutative C*-algebra generated by Toeplitz operators induced by radial Carleson--Bergman measures.

Asymptotic ratio set of ITPFI factors

2025-03-30T21:44:20Z

In this paper we first prove the precise description of each of type-$III_0$, type-$III_{\lambda}$ and type-$III_1$ Bernoulli schemes, and use this result to prove the precise description of each of type-$III_0$, type-$III_{\lambda}$ and type-$III_1$ ITPFI factor.

Robust Self-testing for Synchronous Correlations and Games

2025-03-30T16:19:14Z

We develop an abstract operator-algebraic characterization of robust self-testing for synchronous correlations and games. Specifically, we show that a synchronous correlation is a robust self-test if and only if there is a unique state on an appropriate $C^*$-algebra that "implements" the correlation. Extending this result, we prove that a synchronous game is a robust self-test if and only if its associated $C^*$-algebra admits a unique amenable tracial state. This framework allows us to establish that all synchronous correlations and games that serve as commuting operator self-tests for finite-dimensional strategies are also robust self-tests. As an application, we recover sufficient conditions for linear constraint system games to exhibit robust self-testing. We also demonstrate the existence of a synchronous nonlocal game that is a robust self-test but not a commuting operator self-test, showing that these notions are not equivalent.

A new Berry-Esseen-type estimate in the free central limit theorem

2025-03-30T11:21:58Z

Using the subordination approach, we provide a new Berry-Esseen-type estimate in the free central limit theorem in terms of the fourth Lyapunov fraction. In the special case of identical distributions, our result implies a rate of order $n^{-1/2 + \varepsilon}$ for any $\varepsilon>0$, thus almost leading to the optimal rate of order $n^{-1/2}$.