https://arxiv.org/api/p+Tw5Y5NCY66bg9cF7D3UZaqIJc 2026-06-14T00:16:23Z 14233 165 15 http://arxiv.org/abs/2512.10842v3 2026-05-13T11:18:35Z

We study methods of inducing metrics on unital completely positive maps by employing seminorms arising in noncommutative geometry. Our main approach relies on the development of an infinite-dimensional $C^*$-algebraic analogue of the Choi-Jamiołkowski isomorphism. Under suitable conditions, we show that the induced metrics satisfy the quantum information theoretic properties of stability and chaining. Moreover, we show how to generate such metrics using constructions native to noncommutative geometry, by for example using external Kasparov products of spectral triples.

2025-12-11T17:31:18Z 34 pages. Changes in v3: Minor revisions and typo fixes Are Austad Erik Bédos Jonas Eidesen Nadia S. Larsen Tron Omland http://arxiv.org/abs/2605.11745v2 2026-05-13T08:46:12Z

I introduce compact quantum group extensions associated with the $q$-deformations of the classical compact groups $USp(2n)$, $O(n,\mathbb{R})$ and $SO(2n,\mathbb{R})$. Motivated by the relationship between $SU_q(n)$ and $U_q(n)$, I study the problem of constructing compact quantum groups $Z_{q,n}$ extending the standard compact quantum groups $A_{q,n}\in\{ {USp_q(2n), O_q(N), SO_q(2n)}\}$ through an additional central unitary element.

2026-05-12T08:23:43Z Manabendra Giri http://arxiv.org/abs/2605.13019v1 2026-05-13T05:21:07Z

We begin with the characterization of quantum graphs as left ideals in $\mathcal M \otimes_{eh} \mathcal M$ (the extended Haagerup tensor product of $\mathcal M$ with itself) to avoid technicalities surrounding representation dependence of quantum graphs. These left ideals roughly correspond to a canonical complement of a quantum graph. Using these left ideals and some operator space theory, we find a new, representation-free characterization of a morphism of quantum graphs compatible with previous representation-dependent morphisms. A notion of categorical (co)limit of quantum graphs follows. We also briefly explore an alternative quantization of graphs as bimodules over $C^*$-algebras ($C^*$-graphs), mostly to emphasize the point that a morphism of $C^*$-graphs is not a morphism of $C^*$-correspondences.

2026-05-13T05:21:07Z 62 pages. Comments welcome! Jennifer Zhu http://arxiv.org/abs/2605.12776v1 2026-05-12T21:43:49Z

We make a series of model-theoretic contributions to Connes' bicentralizer problem, one of the most prominent open problems in the theory of von Neumann algebras. Our work builds on the recent result of Houdayer and Marrakchi who show that, for separable diffuse W$^*$-probability spaces, having trivial bicentralizer is equivalent to being selfless, that is, having the first factor inclusion into the free product be an existential embedding. We first show that the class of selfless $W^*$-probability spaces is $\forall\exists$-axiomatizable. We then extend the Houdayer-Marrakchi equivalence to all diffuse W$^*$-probability spaces, removing the separability hypothesis. Combining these results, we show that for any axiomatizable class of diffuse $W^*$-probability spaces, those with trivial bicentralizer form an $\forall\exists$-axiomatizable class; in particular, the class of type $\mathrm{III}_1$ factors with trivial bicentralizer is $\forall\exists$-axiomatizable. We give concrete axioms for this class using totally bounded variants of Haagerup's characterization of the bicentralizer, which we develop here and believe to be of independent interest. We also introduce the notion of pseudoperiodic $\mathrm{III}_1$ factors and show that any such factor has trivial bicentralizer. In the final section, we prove that the bicentralizer problem has a positive solution if and only if the bicentralizer functor is a zeroset relative to the theory of $\mathrm{III}_1$ factors. We use this result to give an equivalent formulation of the bicentralizer problem in terms of a uniformity condition on Haagerup's Dixmier-type characterization of the bicentralizer.

2026-05-12T21:43:49Z 56 pages; first draft; comments welcome! Hiroshi Ando Isaac Goldbring http://arxiv.org/abs/2605.12737v1 2026-05-12T20:43:24Z

We provide new examples of $\mathrm{C}^*$-selfless groups and inclusions. In particular, we prove that the commensurator group ${\rm Comm}(H)$ of a torsion-free hyperbolic group $H$ is $\mathrm{C}^*$-selfless. Our approach involves showing that the Gromov boundary $\partial H$ is a topologically free extreme boundary for ${\rm Comm}(H)$, ${\rm Aut}(H)$, and for other groups that contain $H$ in an almost normal way.

2026-05-12T20:43:24Z 9 pages, comments welcome! Aaratrick Basu Felipe Flores http://arxiv.org/abs/2604.21116v2 2026-05-12T18:45:22Z

Spielberg's construction of C*-algebras from left cancellative small categories is a common generalization for most C*-algebras one would consider to come from ``combinatorial data,'' including graph and $k$-graph C*-algebras, Li's semigroup C*-algebras, Nekrashevych's self-similar action algebras, and more. We use known groupoid models of these algebras and Exel's theory of tight representations of inverse semigroups to prove uniqueness theorems for these C*-algebras. As applications, we improve on our previous uniqueness theorem for the boundary quotient C*-algebras of right LCM monoids, and we also generalize the uniqueness theorem of Brown, Nagy, and Reznikoff for row-finite higher-rank graphs to the finitely aligned case.

2026-04-22T22:00:04Z Differences from v1: added some references and made some minor changes to the exposition, especially to the introduction Charles Starling http://arxiv.org/abs/1908.02131v2 2026-05-12T18:39:22Z

We show that the classical Baum-Connes assembly map is quantitatively an isomorphism for a class of lacunary hyperbolic groups, and we explain how to see that this class contains many examples of groups that contain graph sequences of large girth inside their Cayley graphs and therefore do not have property (A). This includes the known counterexamples to the Baum-Connes conjecture with coefficients, as well as many other monster groups that have property (T).

2019-08-06T13:22:06Z There is an argument missing for norm control in the K-theory component - it has been known a while but I have only now gotten to it. The representation theory component remains sound. An update will be worked on, but given the delay in this it might take a while. Please feel free to email me and we can discuss if necessary Martin Finn-Sell http://arxiv.org/abs/2605.12221v1 2026-05-12T14:59:35Z

We study regular irreducible inclusions $B\subset A$ of simple unital $C^*$-algebras admitting a conditional expectation. We introduce a generalized notion of quasi-basis extending Watatani's framework and show that such inclusions admit a unitary orthonormal generalized quasi-basis. As a consequence, we prove that every regular irreducible inclusion in this setting is canonically isomorphic to a reduced twisted crossed product of $B$ by its Weyl group. This extends earlier crossed product characterizations beyond the finite-index setting.

2026-05-12T14:59:35Z 14 pages, version 1 Keshab Chandra Bakshi Silambarasan C Biplab Pal http://arxiv.org/abs/2605.02781v2 2026-05-12T14:35:36Z

We show that any almost periodic outer flow $α: \mathbb R \curvearrowright R$ on the hyperfinite type $\mathrm{II}_1$ factor with Connes' spectrum $Γ(α) = \mathbb R$ satisfies the Rokhlin property and thus is unique up to cocycle conjugacy. The proof relies on a key cocycle perturbation result for type $\mathrm{III}$ amenable equivalence relations. As a byproduct of our methods, we also show that every almost periodic factor of type $\mathrm{III}_1$ with separable predual has an extremal almost periodic faithful normal state.

2026-05-04T16:23:34Z 21 pages. v2: Title changed and minor modifications Cyril Houdayer Amine Marrakchi http://arxiv.org/abs/2605.12157v1 2026-05-12T14:09:26Z

The inversion theorem and convolution theorem of the conformable fractional Laplace transforms are developed. All the elementary properties of the classical Laplace transform are extended to the conformable fractional transform, and using these properties, we found analytical solutions to the initial-boundary value problems of the diffusion equation.

2026-05-12T14:09:26Z 24 Somnath Sarate Anil Khairnar Krishnat Masalkar http://arxiv.org/abs/2605.11194v1 2026-05-11T20:00:53Z

We obtain a functional model for an arbitrary Abelian locally von Neumann algebra acting on a representing locally Hilbert space under the assumption that the index directed set is countable, in terms of locally essentially bounded functions on strictly inductive systems of measure spaces, which can be viewed as the reduction theory of this kind of operator algebras. Then, we single out the concept of a direct integral of locally Hilbert spaces and the concepts of locally decomposable and locally diagonlisable operators and we show that these form locally von Neumann algebras that are commutant one to each other. Finally, we show that any Abelian locally von Neumann algebra, which acts on separable representing locally Hilbert spaces and such that the index set is a sequentially finite directed set, is spatially isomorphic with the Abelian locally von Neumann algebra of all locally diagonlisable operators on a certain direct integral of locally Hilbert spaces with respect to a certain strictly inductive system of locally finite measure spaces on standard Borel spaces.

2026-05-11T20:00:53Z 38 pages Aurelian Gheondea Chaitanya J. Kulkarni Santhosh Kumar Pamula http://arxiv.org/abs/2408.06171v4 2026-05-11T18:01:50Z

We prove rigidity properties for von Neumann algebraic graph products. We introduce the notion of rigid graphs and define a class of II$_1$-factors named $\mathcal{C}_{\rm Rigid}$. For von Neumann algebras in this class we show a unique rigid graph product decomposition. In particular, we obtain unique prime factorization results and unique free product decomposition results for new classes of von Neumann algebras. Furthermore, we show that for many graph products of II$_1$-factors, including the hyperfinite II$_1$-factor, we can, up to a constant 2, retrieve the radius of the graph from the graph product. We also prove several technical results concerning relative amenability and embeddings of (quasi)-normalizers in graph products. Furthermore, we give sufficient conditions for a graph product to be nuclear and characterize strong solidity, primeness and free-indecomposability for graph products.

2024-08-12T14:17:07Z Added a new result (Theorem F) and shortened section 5.1, stated results for infinite graphs where possible. To appear in Analysis & PDE Matthijs Borst Martijn Caspers Enli Chen http://arxiv.org/abs/2605.10752v1 2026-05-11T15:51:43Z

We address a number of problems concerning the (im)possibility of either extending locally trivial subbundles of possibly singular Banach/$C^*$ bundles globally, embedding subhomogeneous bundles into homogeneous ones, or recovering locally trivial compact-Lie-group-equivariant Banach or $C^*$ bundles as pullbacks along equivariant maps to compact spaces. The results include (1) the global extensibility of a locally trivial Banach/Hilbert/Banach-algebra/$C^*$ subbundle from a closed subspace of a paracompact space given appropriate homotopy constraints; (2) the homogeneous embeddability of equivariant subhomogeneous Banach/Hilbert bundles locally trivial along the singular locus under the same homotopy constraints, and (3) the characterization of finite-type equivariant locally trivial subhomogeneous $C^*$ bundles on normal spaces as precisely those (a) locally trivial as plain vector bundles, or (b) pulled back from the universal equivariant compactification or (c) pulled back from an equivariant map into a smooth manifold. The latter extends results of Phillips concerning non-equivariant matrix-algebra bundles restricted along the StoneČech compactification.

2026-05-11T15:51:43Z 15 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2605.10693v1 2026-05-11T15:08:43Z

In our previous article [arXiv:2307.12552], we introduced local topological order (LTO) axioms for abstract quantum spin systems which allow one to access topological order via a boundary algebra construction. Using the LTO axioms, we produced a canonical pure state on the quasi-local algebra, which gives a net of von Neumann algebras associated to a poset of cones in $\mathbb{R}^n$. In this article, motivated by [arXiv:2509.23734], we introduce an axiom for LTOs which ensures Haag duality for cone-like regions using Tomita-Takesaki theory. We prove this axiom is satisfied for all known topologically ordered commuting projector models. We thus get an independent proof of Haag duality for the Levin-Wen string net models originally proved in [arXiv:2509.23734]. We also give a reflection positivity axiom for LTOs, connecting to the recent article [arXiv:2510.20662]. We again prove this axiom is satisfied for all known topologically ordered commuting projector models about some $\mathbb{Z}/2$-reflection symmetry.

2026-05-11T15:08:43Z 30 pages. Comments welcome! Pieter Naaijkens David Penneys Daniel Wallick http://arxiv.org/abs/2605.09354v1 2026-05-10T06:07:12Z

In recent work, Shalit and Shamovich associated to every operator space structure $\mathcal{E}$ on $\mathbb{C}^d$ a spectral radius function $ρ_{\mathcal{E}}$ on $d$-tuples of operators. The main goal of this paper is to elucidate how this spectral radius depends on the operator space structure. Let $V = (\mathbb{C}^d, \|\cdot\|_V)$ be a normed space and let $\mathcal{E}$ be a quantization of $V$. We show that for a commuting operator tuple $X$, the spectral radius depends only on the underlying normed space; more precisely, \[ ρ_{\mathcal{E}}(X) = \max\{ \|λ\|_V : λ\in σ(X)\}, \] where $σ(X)$ denotes the joint spectrum of $X$. In contrast, we prove that if $\dim V \geq 3$, then $ρ_{\min(V)}(X) \neq ρ_{\max(V)}(X)$ already for some matrix tuple $X$. When $\mathcal{E}_1$ and $\mathcal{E}_2$ are selfadjoint operator spaces, we show that $ρ_{\mathcal{E}_1}(X) = ρ_{\mathcal{E}_2}(X)$ for all tuples $X$ implies $\mathcal{E}_1 = \mathcal{E}_2$. We present two proofs of this result; a key ingredient in one of them is a characterization, of independent interest, of $ρ_{\mathcal{E}}(A)$ in terms of the invertibility domain of the linear pencil associated with $A$. Finally, we prove that if two operator spaces give rise to the same spectral radius function, then the algebras of locally uniformly bounded NC functions on the corresponding NC unit balls coincide.

2026-05-10T06:07:12Z Marcel Scherer Orr Shalit Eli Shamovich