https://arxiv.org/api/orn/9zpAAR6LHKCU1/W+V5J8VJE 2026-06-20T20:35:41Z 14259 405 15 http://arxiv.org/abs/2603.28228v1 2026-03-30T09:51:55Z

We give a sufficient condition for a countable group $G$ to possess a probability measure $μ$ that admits a non-trivial $μ$-boundary modeled in the space $\mathrm{Sub}_{\mathrm{am}}(G)$ of amenable subgroups of $G$. In particular, for such $μ$ the space $\mathrm{Sub}_{\mathrm{am}}(G)$ is not uniquely $μ$-stationary. This contrasts with a theorem of Hartman-Kalantar, which states that a countable group $G$ is C*-simple if and only if there exists $μ\in \mathrm{Prob}(G)$ such that $\mathrm{Sub}_{\mathrm{am}}(G)$ is uniquely $μ$-stationary. Our criterion applies to (permutational) wreath products, which include groups that are C*-simple, and to Thompson's group $F$, whose C*-simplicity is equivalent to its non-amenability and therefore remains an open problem. We also show that any non-trivial $μ$-boundary modeled on $\mathrm{Sub}_{\mathrm{am}}(G)$ is supported on amenable normalish subgroups, in the sense of Breuillard-Kalantar-Kennedy-Ozawa. As a consequence, we conclude that a countable group with no finite normal subgroups and no amenable normalish subgroups acts essentially freely on all its Poisson boundaries.

2026-03-30T09:51:55Z 25 pages Anna Cascioli Martín Gilabert Vio Eduardo Silva http://arxiv.org/abs/2405.20814v4 2026-03-29T16:07:53Z

Although Arveson's hyperrigidity conjecture was recently resolved negatively by B. Bilich and A. Dor-On, the problem remains open for commutative $C^*$-algebras. Relatively few examples of hyperrigid sets are known in the commutative case. The main goal of this paper is to determine which sets of monomials in $t$ and $t^*$, where $t$ is a generator of a commutative unital $C^*$-algebra, are hyperrigid. We show that this class of hyperrigid sets has significant connections to other areas of functional analysis and mathematical physics. Moreover, we develop a topological approach based on weak and strong limits of normal (or subnormal) operators to characterize hyperrigidity tracing back to ideas of C. Kleski and L. G. Brown. Employing Choquet boundary techniques, we present examples that discuss the optimality of our results.

2024-05-31T14:10:30Z Accepted for publication in the Israel Journal of Mathematics Paweł Pietrzycki Jan Stochel http://arxiv.org/abs/2603.27659v1 2026-03-29T12:21:48Z

We investigate the extremal values of partial traces of matrix tensors under operator norm constraints. To evaluate these multi-linear quantities, we develop a comprehensive graphical formalism that encodes multi-leg partial traces, partial permutations, and their moments using colored directed graphs. With this graphical framework, we establish optimal, sharp bounds for the partial trace $(\mathrm{Tr}_{σ_1} \otimes \ldots \otimes \mathrm{Tr}_{σ_k})(A_1, \ldots, A_m)$ over matrices bounded by $\|A_i\| \le 1$. Specifically, we prove that this maximum evaluates exactly to $N^{M(σ_1,\ldots,σ_k)}$, where $N$ is the dimension and $M$ represents the maximal number of directed cycles in the associated graph across all possible internal vertex pairings. We further derive explicit operator norm estimates for matrices generated by partial traces of partial permutations. Finally, we apply these combinatorial bounds to multi-matrix random matrix theory. By examining models involving Ginibre ensembles, we extend concepts of asymptotic freeness to matrix coefficient algebras, establishing operator norm estimates that rigorously separate the asymptotic behavior of non-crossing and crossing pairings.

2026-03-29T12:21:48Z 43 pages, 41 figures Benoît Collins Wangjun Yuan http://arxiv.org/abs/2603.09401v2 2026-03-29T09:30:48Z

Let $G$ be a simple finite graph, and let $\mathcal U_G$ be the related quantum graph. We study the game algebra $C(\mathrm{Qut}(\mathcal U_G))$ of quantum automorphism of $\mathcal U_G$. Moreover, we prove that for any graph $G$ with $|V(G)|\geq 3$, the quantum graph $\mathcal U_G$ admits nonlocal symmetry, meaning that there exists a perfect quantum no-signaling correlation

2026-03-10T09:13:07Z 16 pages Olha Ostrovska Vasyl Ostrovskyi Lyudmila Turowska http://arxiv.org/abs/2603.27436v1 2026-03-28T22:40:33Z

We first prove that the subalgebra $\mathcal{C}$ generated by the vertex and face operators of an abelian Kitaev model is a $C^\ast$-diagonal of the UHF algebra $\mathcal{A}$ of quasilocal observables. This gives us access to the Weyl groupoid $\mathcal{G}_\mathcal{C}$ associated with the $C^\ast$-inclusion $\mathcal{C} \hookrightarrow \mathcal{A}$, which supplies a valuable presentation of $\mathcal{A}$ as a groupoid $C^\ast$-algebra where the dynamics of the model are generated by a groupoid 1-cocycle $c_H$. Making appeal to the notion of $(c_H,β)$-KMS measures for this groupoid, we identify the full set of KMS states of the model and prove its uniqueness for $β\in [0,\infty)$. Furthermore, we show that its limit at $β\rightarrow \infty$ exists and coincides with the unique frustration-free ground state of the model.

2026-03-28T22:40:33Z 22 pages Danilo Polo Ojito Emil Prodan http://arxiv.org/abs/2603.27373v1 2026-03-28T18:38:05Z

Semi-cosimplicial objects in the category of Hilbert spaces with isometries which are motivated by non-commutative probability theory, in particular by the distributional symmetry of spreadability, are introduced and systematically developed in various directions: partial shifts, cohomology, a related graph, decomposition into labeled subspaces, representation theory of the infinite symmetric and braid groups, extension problems and a toy version of spreadability.

2026-03-28T18:38:05Z D. Gwion Evans Rolf Gohm Claus Köstler http://arxiv.org/abs/2603.26949v1 2026-03-27T19:38:28Z

In this paper we generalize the geodesic flow on (finite) homogeneous graphs to a multiparameter flow on compact quotients of Euclidean buildings. Then we study the joint spectra of the associated transfer operators acting on suitable Lipschitz spaces. The main result says that outside an arbitrarily small neighborhood of zero in the set of spectral parameters the Taylor spectrum of the commuting family of transfer operators is contained in the joint point spectrum.

2026-03-27T19:38:28Z Joachim Hilgert Daniel Kahl Tobias Weich http://arxiv.org/abs/2603.26450v1 2026-03-27T14:20:06Z

This monograph studies $KK$-theory in its unbounded model. The central object is the $KK$-bordism group obtained by imposing the $KK$-bordism relation on unbounded $KK$-cycles. In the paradigm of noncommutative geometry, an unbounded $KK$-cycle is a noncommutative geometry in its own right and our approach allow for the study of mildly noncommutative geometries (orbifolds, foliations et cetera) as if they were closed manifolds. The techniques we introduce enable us to directly import manifold techniques and arguments into the important yet technical field of unbounded $KK$-theory. Recent decades has seen a tremendous progress in the study of the unbounded model for $KK$ as well as secondary invariants, the first motivated by refining computational tools in Kasparov's $KK$-theory and the second by applications to geometry and topology. The aim of this work is to provide a common framework for these two areas: equipping unbounded $KK$-cycles with a geometrically motivated relation recovering Kasparov's $KK$-theory that is computationally tractable for working with secondary invariants.

2026-03-27T14:20:06Z 142 pages, 7 figures, comments are welcome! Planning to submit in two weeks Robin J. Deeley Magnus Goffeng Bram Mesland http://arxiv.org/abs/2305.06960v7 2026-03-27T13:48:18Z

We show how the renormalization group approach can be used to prove quantitative central limit theorems (CLTs) in the setting of free, Boolean, bi-free and bi-Boolean independence under finite third moment assumptions. The proofs rely on the construction of a contraction on a subspace of probability measures over $\mathbb{R}$ (or $\mathbb{R}^2$) equipped with a suitable metric, which has the appropriate analogue of a Gaussian distribution as a fixed point (for instance, the semi-circle law in the case of free independence). In all cases, this yields a convergence rate of $1/\sqrt{n}$, and we show that this can be improved to $1/n$ in some instances under stronger assumptions.

2023-05-11T16:39:26Z 11 pages; corrected errors and improved exposition Jad Hamdan http://arxiv.org/abs/2603.26390v1 2026-03-27T13:15:36Z

Models in Algebraic Quantum Field Theory (AQFT) may be generalized including Lie groups of symmetries whose Lie algebras admit an Euler element $h$, characterized by the property that $ad h$ is diagonalizable with eigenvalues in $\{-1, 0, 1\}$. These elements becomes fundamental to the formal description of wedge localization. In this paper, we extend the geometric analysis of Euler wedges and investigate their applications within the AQFT framework. We call a pair of Euler elements $(h, k)$ orthogonal if $e^{i π\operatorname{ad} h}(k) = -k.$ Using the geometric framework established in our previous work, we derive both a Bisognano--Wichmann Theorem and a Spin--Statistics Theorem for nets of standard subspaces and von Neumann algebras. Our results {show} how this generalized approach recovers classical results in the AQFT literature while providing a deeper structural understanding of the underlying geometry in established models.

2026-03-27T13:15:36Z 55pp Vincenzo Morinelli Karl-Hermann Neeb Gestur Olafsson http://arxiv.org/abs/2603.26321v1 2026-03-27T11:39:18Z

The isometric dilation of a pair of commuting contractions due to Andô is not minimal. We modify Andô's dilation and construct a minimal isometric dilation on $\mathcal H \oplus_2 \ell_2(\mathcal H \oplus_2 \mathcal H)$ for a commuting pair of strict contractions on a Hilbert space $\mathcal H$. In the same spirit, we construct under certain conditions a minimal Andô dilation for a commuting pair of strict Banach space contractions. Further, we show that an Andô dilation is possible even for a more general pair of commuting contractions $(T_1,T_2)$ on a normed space $\mathbb X$ provided that the function $A_{T_i}: \mathbb X \rightarrow \mathbb R$ given by $A_{T_i}(x)=(\|x\|^2-\|T_ix\|^2)^{\frac{1}{2}}$ defines a norm on $\mathbb X$ for $i=1,2$.

2026-03-27T11:39:18Z Submitted to journal Swapan Jana Sourav Pal http://arxiv.org/abs/2603.26312v1 2026-03-27T11:31:06Z

The structured singular value $μ_E$ for a linear subspace $E$ of $M_n(\mathbb C)$ is defined by \[ μ_E(A)=1 / \inf\{\|X\| \ : \ X \in E, \ \det(I_n-AX)=0 \} \quad (A \in M_n(\mathbb{C})), \] and $μ_E(A)=0$ if there is no $X \in E$ with $\det(I_n-AX)=0$. It is well-known that $μ_E(A)$ coincides with the spectral radius $r(A)$ when $E=\{cI_n: c \in \mathbb C \}$ and $μ_E(A)=\|A\|$ when $E=M_n(\mathbb C)$, for all $A\in M_n(\mathbb C)$. Also, for any linear subspace $E$ satisfying $\{cI_n: c \in \mathbb C \} \subseteq E \subseteq M_n(\mathbb C)$, we have $r(A)\leq μ_E(A) \leq \|A\|$. We prove that if $E=\{cI_n: c \in \mathbb C \}$ and $F$ is any linear subspace of $M_n(\mathbb C)$ containing $E$, then $μ_E=μ_F$ if and only if $E=F$. We prove the exact same rigidity theorem for the linear subspace consisting of the diagonal matrices of order $n$. On the contrary, when $E=M_n(\mathbb C)$, we show that there is a proper subspace $F$ of $M_n(\mathbb C)$, viz. the space of symmetric matrices such that $μ_E=μ_F=$ operator norm. Further, we characterize all linear subspaces $F\subseteq M_n(\mathbb C)$ such that $μ_F$ coincides with the operator norm. Next, we show that in general there is no subspace $E$ of $M_n(\mathbb C)$ such that $μ_E=$ the numerical radius, not even for $M_2(\mathbb C)$. We establish the rigidity of the structured singular value for each of the subspaces $E$ of $M_2(\mathbb C)$ such that the corresponding $μ_E$-unit ball induces the domains -- symmetrized bidisc, tetrablock, pentablock, hexablock.

2026-03-27T11:31:06Z 20 pages, Submitted to Journal Sourav Pal Nitin Tomar http://arxiv.org/abs/2603.25656v1 2026-03-26T17:09:54Z

We study linear operators on a finite-dimensional space whose Kippenhahn curves consist of concentric circles centered at the origin. We say that such operators have Circularity property. One class of examples is rotationally invariant operators. To every operator with norm at most one, we associate an infinite sequence of partial isometries and study when Circularity property can be passed back and forth along that sequence. In particular, we introduce a class of operators for which every partial isometry in the aforementioned sequence has Circularity property, and show that this class is broader than the class of rotationally invariant operators. As a consequence, every such an operator provides a counterexample to the Gau--Wang--Wu conjecture about nilpotent partial isometries. We also discuss possible refinements of the conjecture. Finally, we propose a way to check whether a matrix is rotationally invariant, suitable for numerical experiments.

2026-03-26T17:09:54Z Eric Shen http://arxiv.org/abs/2508.21601v2 2026-03-26T00:58:48Z

We show that the bicategory of proper correspondences is the Dwyer-Kan localisation of the category of C*-algebras at a certain class of *-homomorphisms.

2025-08-29T12:59:33Z 11 pages; minor proofreading changes Ralf Meyer http://arxiv.org/abs/2603.24855v1 2026-03-25T22:48:47Z

Compact-group representations on Banach spaces are known to be norm-continuous precisely when they have finite spectra. For a quantum group with continuous-function algebra $\mathcal{C}(\mathbb{G})$ norm continuity can be cast analogously as the bounded weak$^*$-norm continuity of the representation's attached map $\mathcal{C}(\mathbb{G})^*\to \mathrm{End}(E)$. While the uniformity/isotypic finiteness equivalence no longer holds generally, it does for compact quantum groups either coamenable or having dimension-bounded irreducible representations. This generalizes the aforementioned classical variant, providing two independent quantum-specific mechanisms of recovering it.

2026-03-25T22:48:47Z 7 pages + references Alexandru Chirvasitu