https://arxiv.org/api/y8zYkS250o4ycckudExZzBY0PbY 2026-06-20T12:36:03Z 14259 300 15 http://arxiv.org/abs/2604.19861v1 2026-04-21T18:00:00Z

In quantum field theory, it is not always possible to excite one state out of another using only local operators. This paper establishes abstract algebraic criteria for (local) excitability in general quantum theories, and computes these criteria explicitly for zero-mean Gaussian states in (generalized) free field theories. We find that in this context, due to the special nature of Gaussian states, one-way excitability always implies two-way excitability, and our results generalize the "quasiequivalence theorems" of Powers, Stormer, van Daele, Araki, and Yamagami. A key role in our proof is played by the information-theoretic tool of canonical purification. In appendices, we provide a pedagogical introduction to the algebraic formulation of (generalized) free field theory.

2026-04-21T18:00:00Z 72 pages + appendices Jacqueline Caminiti Federico Capeccia Jonathan Sorce http://arxiv.org/abs/2604.19853v1 2026-04-21T15:41:37Z

In this article, we prove that the quantum $f$-divergence between two normal states on a semifinite von~Neumann algebra is equal to the classical $f$-divergence between two corresponding classical states, which are called Nussbaum-Szkoła distributions. This result has been proved by the second named author and T.C.~John for normal states on the von~Neumann algebra $\mathbb{B}(\mathscr{H})$ of all bounded operators on a Hilbert space $\mathscr{H}$. We extend their result for normal states on any semifinite von~Neumann algebra, not only $\mathbb{B}(\mathscr{H})$.

2026-04-21T15:41:37Z 30 pages Theodoros Anastasiadis George Androulakis http://arxiv.org/abs/2603.20923v2 2026-04-21T15:00:53Z

We introduce a new method of expressing a $k$-graph $C^*$-algebra as a Cuntz-Pimsner algebra. Kumjian, Pask, and Sims have done this directly, using a linking algebra approach and a $(k-1)$-graph algebra. This can be iterated downward. Our process, on the other hand, starts at the bottom, with Pimsner's theorem for graph algebras, and iterates upward. We actually work with product systems over $\mathbb N^k$, and the result for $k$-graphs is a special case. Our iteration step involves a ``decategorization'' of a recent theorem showing that the Cuntz-Pimsner construction is functorial at the level of ``enchilada categories''.

2026-03-21T19:46:52Z 28 pages. Fixed Definition 2.6 Valentin Deaconu Menevşe Eryüzlü Paulovicks S. Kaliszewski John Quigg http://arxiv.org/abs/2603.19528v2 2026-04-21T13:41:52Z

We show that any $L^2$-bounded rational function in free semicircular random variables is a bounded operator, which implies the coincidence of the usual spectrum and $L^2$-spectrum for rational functions. Based on this observation, we also compute the spectra of several polynomials in free circular random variables.

2026-03-19T23:46:52Z 23 pages and 4 figures. This is the 2nd version. We fixed typos and added Corollary 4.2 Akihiro Miyagawa http://arxiv.org/abs/2511.09991v3 2026-04-21T03:26:33Z

We discuss proper outerness for finite index endomorphisms and finite index bimodules of simple C$^*$-algebras, extending recent similar results by Izumi concerning the purely infinite setting. Our main result is that proper outerness holds automatically for finite index outer endomorphisms of simple C$^*$-algebras. Consequently, freeness for outer actions of unitary tensor categories on simple C$^*$-algebras is also shown to hold automatically. As applications, we obtain structural results about potentially infinite index irreducible discrete inclusions of C$^*$-algebras, such as C$^*$-irreducibility.

2025-11-13T05:50:27Z 36 pages Roberto Hernández Palomares Miho Mukohara http://arxiv.org/abs/2412.07994v2 2026-04-20T22:44:01Z

We generalize the notion of rapid decay property for a group $G$ to pairs of groups $(G,H)$ where $H$ is a finitely generated subgroup of $G$, where typically the subgroup $H$ does not have rapid decay. We deduce some isomorphisms in $K$-theory, and investigate relatively spectral injections in the reduced group $C^*$-algebra. Rapid decay property for the pair $(G,H)$ also gives a lower bound for the probability of return to $H$ of symmetric random walks on $G$.

2024-12-11T00:32:57Z 25 pages, 0 figures. What was previously Theorem 3.1 missed the assumption polynomial growth and had a gap in the proof. It is now Corollary 3.1 Indira Chatterji Benjamin Zarka http://arxiv.org/abs/2104.05008v4 2026-04-20T17:48:20Z

We construct non-exact operator spaces satisfying the Weak Expectation Property (WEP) and the Operator space version of the Local Lifting Property (OLLP). These examples should be compared with the example we recently gave of a $C^*$-algebra with WEP and LLP. The construction produces several new analogues among operator spaces of the Gurarii space, extending Oikhberg's previous work. Each of our "Gurarii operator spaces" is associated to a class of finite dimensional operator spaces (with suitable properties). In each case we show the space exists and is unique up to completely isometric isomorphism.

2021-04-11T12:59:20Z Minor changes mainly to clarify or add more details to certain proofs. Added reference to Pedersen in 2023. minor improvements in january 2026. Paper to appear in Annales Fennici Mathematici Gilles Pisier http://arxiv.org/abs/2510.15581v3 2026-04-20T17:46:17Z

We resolve key open questions regarding approximation properties and their permanence for Fell bundles over locally compact groups. Specifically, we establish the equivalence between the Bédos--Conti approximation property (BCAP) and the Exel--Ng positive approximation property (AP), completely removing the necessity of assuming nuclearity on the unit fiber. To overcome the obstructions present in general Fell bundles (such as the lack of spatial arguments and exactness), we introduce a diagonal maximal tensor product $\otimes^d_{\max}$. We prove that a Fell bundle $\mathcal{A}$ has the AP if and only if $\mathcal{A} \otimes^d_{\max} \mathcal{B}$ has the weak containment property (wcp) for every Fell bundle $\mathcal{B}$. For $C^*$-dynamical systems, this yields a characterization of amenability that was known to hold under exactness assumptions. Furthermore, this tensorial machinery allows us to establish highly non-trivial permanence properties for the AP, including passage to restrictions over closed subgroups and partial quotients by normal subgroups. We also provide applications concerning the nuclearity of full and reduced cross-sectional $C^*$-algebras.

2025-10-17T12:23:23Z 27 pages Alcides Buss Damián Ferraro http://arxiv.org/abs/2604.18458v1 2026-04-20T16:15:24Z

We introduce the notion of confined subalgebras in the context of the group von Neumann algebra. We also define Uniformly Recurrent States -- an operator-algebraic analog of Uniformly Recurrent Subgroups. Using this framework, we show that a countable discrete group is $C^*$-simple if and only if it admits no non-trivial amenable confined subalgebras. This generalizes the well-known result of Kennedy that characterizes $C^*$-simplicity in terms of trivial amenable uniformly recurrent subgroups.

2026-04-20T16:15:24Z 24 pages; comments are welcome Tattwamasi Amrutam Yongle Jiang http://arxiv.org/abs/2604.18448v1 2026-04-20T16:04:03Z

We study the preservation and stability of synchronization subspaces in tensor products of finite-dimensional Hilbert spaces. Given self-adjoint operators $T_A$ and $T_B$ on local subsystems, the synchronization subspace is defined as the kernel of the difference operator $K = T_A \otimes I - I \otimes T_B$. We establish two main results: First for $ε$-compatible dynamics satisfying $||[H,K]|| \leq ε$, we prove a sharp drift bound where any initially synchronized state deviates from the kernel at a rate at most linear in time with slope $ε$. We show by explicit construction that this estimate is optimal to leading order. Second in the presence of finite group symmetry, we show that the synchronization subspace coincides with the diagonal isotypic component in the tensor product decomposition and we characterize the algebra of synchronization-preserving dynamics as the intersection of the commutants of the group action and synchronization operator.

2026-04-20T16:04:03Z Nicholas R. Allgood http://arxiv.org/abs/2604.18410v1 2026-04-20T15:28:42Z

We examine crossed product C*-algebras associated with non-minimal free actions of countably infinite discrete abelian groups on the circle, extending the work of Putnam, Schmidt, and Skau. We obtain a large class of unital separable nuclear and non-simple C*-algebras that are quasidiagonal, have stable rank one, and admit a unique tracial state. We determine their ideal structure and establish an improved uniform upper bound for their nuclear dimension. Finally, in the case $G = \mathbb{Z}^d$, we compute the ordered K-theory and its trace pairing.

2026-04-20T15:28:42Z 18 pages Jamie Bell http://arxiv.org/abs/2604.18304v1 2026-04-20T14:13:38Z

We introduce $C^*$-algebras associated with directed graphs, along with two generalizations of this concept, namely Exel-Pardo $C^*$-algebras associated with a self-similar action of a group on a directed graph, and the $C^*$-algebras associated with separated graphs. These constructions have in common that they have a dynamical behavior, being the groupoid $C^*$-algebras associated to certain topological groupoids, which are built from the combinatorial structure. An important invariant one may associate to these dynamical systems is the so-called type semigroup. We will find a formula to compute the type semigroup for a general self-similar action of a group on a row-finite graph $E$ without sources, following a recent paper by Kwaśniewski, Meyer and Prasad, and for any finite bipartite separated graph, following a paper by Exel and the author. In addition, we will review various results concerning the structure of the type semigroup for different dynamical systems.

2026-04-20T14:13:38Z 47 pages Pere Ara http://arxiv.org/abs/2604.18065v1 2026-04-20T10:34:01Z

We introduce an operator-algebraic framework for Morita equivalence of quantum graphs based on $Δ$-equivalence of operator systems introduced by Eleftherakis, Kakariadis and Todorov. Adopting the perspective of Weaver, we view quantum graphs as quantum relations, that is, operator systems endowed with a bimodule structure over the commutant of a von Neumann algebra. Within this framework, we show that two irreducibly acting quantum graphs are Morita equivalent if and only if they are both full pullbacks of a common quantum graph. This extends a result of Eleftherakis, Kakariadis and Todorov for graph operator systems to the quantum graph setting. In passing we construct a true-twin reduction analogue for an irreducibly acting quantum graph. We further characterise the case where we have simultaneous TRO-equivalence of the quantum graphs and their associated algebras, thus giving a second, stronger notion of Morita equivalence. In the special case of noncommutative graphs, corresponding to the zero-error quantum communication setting, the two notions coincide and we obtain a characterisation in terms of strong co-homomorphisms of noncommutative graphs. Finally, we show that connectivity, the independence number, Shannon capacity, quantum complexity and subcomplexity, Haemers bound, and the Lovász number are invariant under Morita equivalence.

2026-04-20T10:34:01Z 34 pages Alexandros Chatzinikolaou Gage Hoefer Nikolaos Koutsonikos-Kouloumpis Ioannis Apollon Paraskevas http://arxiv.org/abs/2604.17917v1 2026-04-20T07:53:41Z

We introduce a traceable operator-algebraic framework for incompressible transport on M= T3 (and, more generally, compact Riemannian manifolds endowed with a smooth invariant probability measure). Given an autonomous divergence-free velocity field u, the time-1 map $Φ$ induces the Koopman unitary U on L2(M) and the crossed-product finite von Neumann algebra Mu\,:= L$\infty$(M) ___$α$ Z= W$\star$(L$\infty$(M),U), equipped with its canonical faithful normal trace $τ$u. Within Mu we define tracial complexity functionals from commutators [U,Mf] (with Mf the multiplication operators) and associated positive elements, and we connect these quantities to Fuglede--Kadison determinants and entropy-like tracial functionals. In parallel, we introduce bounded regularized advection operators T(s) u\,:= KsTuKs as differential-level probes of transport oncommutativity, and we recall the Lie-bracket commutator identity at the formal generator level. This provides a natural algebraic setting in which tracial invariants are well posed and, in principle, computable on discretizations (e.g. cavity flow and vortex benchmarks).

2026-04-20T07:53:41Z Gautier-Edouard Edouard Filardo CREOGN http://arxiv.org/abs/2604.14697v2 2026-04-20T06:57:04Z

Let $X$ be a Dedekind complete Banach lattice, and let $P\colon X\to X$ be a positive projection for which the largest central operator below $P$ is $α\operatorname{id}_X$, for some $α\ge 0$. Wickstead conjectured that $α$ must either be $0$ or $1/n$, for some $n \in \mathbb{N}$, and proved it for finite-dimensional $X$. In this paper, we show that the conjecture holds in general. As a consequence, we settle the representation problem for Banach lattice algebras: we show that there exist Banach lattice algebras of dimension $2$ that do not admit a faithful representation as regular operators on any Dedekind complete Banach lattice.

2026-04-16T06:59:25Z David Muñoz-Lahoz