Circulant quantum channels and its applications

2026-01-23T04:22:15Z

This note introduces a family of circulant quantum channels -- a subclass of the mixed-permutation channels -- and investigates its key structural and operational properties. We show that the image of the circulant quantum channel is precisely the set of circulant matrices. This characterization facilitates the analysis of arbitrary $n$-th order Bargmann invariants. Furthermore, we prove that the channel is entanglement-breaking, implying a substantially reduced resource cost for erasing quantum correlations compared to a general mixed-permutation channel. Applications of this channel are also discussed, including the derivation of tighter lower bounds for $\ell_p$-norm coherence and a characterization of its action in bipartite systems.

The Hyperrigidity Conjecture for Spectrahedra

2026-01-22T16:18:45Z

We show that if K is a compact spectrahedron whose set of extreme points is closed, then the operator system of continuous affine functions on K is hyperrigid in the C*-algebra C(ex(K)).

Fujita exponents on quantum Euclidean spaces

2026-01-22T15:36:02Z

We study the well-posedness of a non-linear heat equation with power nonlinearity with positive initial data on quantum Euclidean spaces. We prove a noncommutative analogue of the classical Fujita theorem by identifying the critical exponent separating finite-time blow-up from global existence for small initial data. Moreover, we establish a fundamental inequality in general semifinite von Neumann algebras that is of independent interest and plays a crucial role in the study of global existence and local well-posedness of solutions of nonlinear equations in noncommutative setting.

Unbounded field operators in categorical extensions of conformal nets

2026-01-22T15:29:23Z

We prove the equivalence of VOA tensor categories and conformal net tensor categories for the following examples: all WZW models; all lattice VOAs; all unitary parafermion VOAs; type $ADE$ discrete series $W$-algebras; their tensor products; their regular cosets. A new proof of the complete rationality of conformal nets is also given.

Weak Centrality: AF-algebras, C(X)-algebras, and group C*-algebras

2026-01-22T10:48:10Z

We first prove that every AF-algebra is weakly central, thereby resolving a question left open by Archbold--Gogić. We then establish a new characterization of weak centrality for unital $C^*$-algebras in terms of $C(X)$-algebras. The paper concludes with an appendix that examines weak centrality in full group $C^*$-algebras and places these examples within the hierarchy of group classes.

$C^\ast$-extreme points of unital completely positive maps invariant under group action

2026-01-22T10:46:04Z

In this work, we study a sub-collection of unital completely positive maps from a unital $C^\ast$-algebra $\mathcal{A}$ to $\mathcal{B}(\mathcal{H})$, the algebra of bounded linear operators on a Hilbert space $\mathcal{H}$ in the setting of $C^\ast$-convexity. Let $τ$ be an action of a group $G$ on the $C^\ast$-algebra $\mathcal{A}$ through $C^\ast$-automorphisms. We focus our attention to the set of all unital completely positive maps from $\mathcal{A}$ to $\mathcal{B}(\mathcal{H})$, which remain invariant under $τ$. We denote this collection by the notation $\text{UCP}^{G_τ} \big(\mathcal{A}, \mathcal{B} (\mathcal{H} ) \big)$. This collection forms a $C^\ast$-convex set. We characterize the set of $C^\ast$-extreme points of $\text{UCP}^{G_τ} \big(\mathcal{A}, \mathcal{B} (\mathcal{H} ) \big)$. Further, we conclude the article by proving the Krein--Milman type theorem in the setting of $C^\ast$-convexity for the set $\text{UCP}^{G_τ} \big(\mathcal{A}, \mathcal{B} (\mathcal{H} ) \big)$.

Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach

2026-01-22T10:35:13Z

We describe a categorical model of MALL (Multiplicative Additive Linear Logic) inspired by the Heisenberg-Schrödinger duality of finite-dimensional quantum theory. Proofs of formulas with positive logical polarity correspond to CPTP (completely positive trace-preserving) maps in our model, i.e. the quantum operations in the Schrödinger picture, whereas proofs of formulas with negative logical polarity correspond to CPU (completely positive unital) maps, i.e. the quantum operations in the Heisenberg picture. The mathematical development is based on noncommutative geometry and finite-dimensional von Neumann (co)algebras, which can be defined as special kinds of (co)monoid objects internal to the category of finite-dimensional operator spaces.

Pseudo-Riemannian Spectral Triples for $\mathrm{SU}(1,1)$

2026-01-22T09:01:24Z

We use the harmonic analysis of $\mathrm{SU}(1,1)$ to show that the triple $(\mathcal{A},\mathcal{H},D)$, with $D$ (the closure of) Kostant's cubic Dirac operator acting on the Hilbert space $\mathcal{H}=L^2(\mathrm{SU}(1,1))\otimes\mathbb{C}^2$, and with $*$-algebra $\mathcal{A}=C^\infty_c(\mathrm{SU}(1,1))\otimes 1$, forms both a pseudo-Riemannian spectral triple in the sense of Van den Dungen, Paschke and Rennie, and an indefinite spectral triple in the sense of Van den Dungen and Rennie.

Crossed product splitting of intermediate operator algebras via 2-cocycles

2026-01-22T05:39:54Z

We investigate the C*-algebra inclusions $B \subset A \rtimes_{\rm r} Γ$ arising from inclusions $B \subset A$ of $Γ$-C*-algebras. The main result shows that, when $B \subset A$ is C*-irreducible in the sense of Rørdam, and is centrally $Γ$-free in the sense of the author, then after tensoring with the Cuntz algebra $\mathcal{O}_2$, all intermediate C*-algebras $B \subset C\subset A \rtimes_{\rm r} Γ$ enjoy a natural crossed product splitting \[\mathcal{O}_2\otimes C=(\mathcal{O}_2 \otimes D) \rtimes_{{\rm r}, γ, \mathfrak{w}} Λ\] for $D:= C \cap A$, some $Λ<Γ$, and a subsystem $(γ, \mathfrak{w})$ of a unitary perturbed cocycle action $Λ\curvearrowright \mathcal{O}_2\otimes A$. As an application, we give a new Galois's type theorem for the Bisch--Haagerup type inclusions \[A^K \subset A\rtimes_{\rm r} Γ\] for actions of compact-by-discrete groups $K \rtimes Γ$ on simple C*-algebras. Due to a K-theoretical obstruction, the operation $\mathcal{O}_2\otimes -$ is necessary to obtain the clean splitting. Also, in general 2-cocycles $\mathfrak{w}$ appearing in the splitting cannot be removed even further tensoring with any unital (cocycle) action. We show them by examples, which further show that $\mathcal{O}_2$ is a minimal possible choice. We also establish a von Neumann algebra analogue, where $\mathcal{O}_2$ is replaced by the type I factor $\mathbb{B}(\ell^2(\mathbb{N}))$.

An Infinite Transitivity Theorem

2026-01-21T18:47:46Z

In this note, we promote an infinite Kadison transitivity theorem on massive $C^*$-algebras, including the Calkin algebra. This transitivity stems from the analog of countable degree-1 saturation on pure states which is inherited from these algebras via excision. We show this saturation to be equivalent to several order-theoretic properties on the quantum filter associated to the state, in particular the property of being a quantum P-point. While we show their existence is independent from ZFC, under basic set theoretic assumptions, we produce a plethora of these states. Finally, we find an irreducible representation of the Calkin algebra which fails infinite transitivity.

K-theory of Etesi C*-algebras

2026-01-21T18:13:25Z

We study the $C^*$-algebra $\mathbb{E}_{\mathscr{M}}$ of a smooth 4-dimensional manifold $\mathscr{M}$ introduced by Gábor Etesi. It is proved that the $\mathbb{E}_{\mathscr{M}}$ is a stationary AF-algebra. We calculate the topological and smooth invariants of $\mathscr{M}$ in terms of the K-theory of the $C^*$-algebra $\mathbb{E}_{\mathscr{M}}$. Using Gompf's Stable Diffeomorphism Theorem, it is shown that all smoothings of $\mathscr{M}$ form a torsion abelian group. The latter is isomorphic to the Brauer group of a number field associated to the K-theory of $\mathbb{E}_{\mathscr{M}}$.

Bigraph independence : a mixture of the five natural independences

2026-01-21T17:40:59Z

We introduce a notion of non-commutative joint independence for multiple algebras in a non-commutative probability space. The pairwise relationships between these algebras are encoded by a graph with two edge sets -- a combinatorial structure we call a bigraph -- and naturally encompass the five fundamental types of independence: tensor, free, (anti)monotone, and Boolean. It subsumes the BMT independence of Arizmendi--Mendoza--Vazquez-Becerra (when all pairwise relationships are Boolean, (anti)monotone, or tensor) and the $ε$ or $Λ$-independence of Mlotkowski (when the pairwise relationships are tensor and free). We present explicit combinatorial moment formulas, a Hilbert space construction, and natural associativity relations within this setting. Furthermore, we demonstrate that bigraph independence emerges in the asymptotic behavior of tensor product random matrix models with respect to a vector state, encompassing the Charlesworth--Collins model for $\varepsilon$-independence as a special case and offering a random matrix perspective on BMT independence.

Embeddings of $L^p$-operator algebras

2026-01-21T17:21:40Z

We study embeddings of $L^p$-operator algebras arising from (twisted) étale groupoids, with particular emphasis on rigidity phenomena for $p\neq 2$. Our methods rely on a detailed analysis of core normalizers and their functorial behavior under algebra homomorphisms. Using the notion of actors between groupoids, we show that under natural hypotheses, embeddings between reduced $L^p$-groupoid algebras can be described entirely in terms of morphisms of the underlying groupoids. We further show that embeddings of $L^p$-groupoid algebras induce embeddings of the associated topological full groups. Our results provide new tools for studying embeddability questions in the $L^p$-setting, and are particularly helpful when ruling out the existence of embeddings. As applications, we obtain strong rigidity results for (spatial) $L^p$-AF-embeddability, showing that, for $p\neq 2$, an $L^p$-groupoid algebra embeds into a spatial $L^p$-AF-algebra if and only if the underlying groupoid is AF. In particular, irrational rotation $L^p$-operator algebras do not embed into spatial $L^p$-AF-algebras. We apply these results to tensor products of $L^p$-Cuntz algebras and prove that, for $p\neq 2$, there is no unital contractive homomorphism from $\mathcal{O}_2^p \otimes_p \mathcal{O}_2^p$ into $\mathcal{O}_2^p$, showing that there is no $L^p$-analog of Kirchberg's $\mathcal{O}_2$-embedding theorem.

Noncommutative Minkowski integral inequality and a unitary categorification criterion for fusion rings

2026-01-21T13:43:56Z

We prove a noncommutative analogue of Minkowski's integral inequality for commuting squares of tracial von Neumann algebras. The inequality implies a necessary condition for a quadruple of graphs to be realized as inclusion graphs of a commuting square of multi-matrix algebras. As a corollary, we obtain a unitary categorification criterion for based rings, in particular, fusion rings.

On a C*-Diagonal Generated by the Toric Code

2026-01-21T13:30:00Z

We study the abelian sub-C*-algebra of the CAR algebra generated by the start and face opertors of Kitaev's toric code. We show that it is a C*-diagonal equivalent to the canonical diagonal of the CAR algebra.