https://arxiv.org/api/Fmh0JP6SWBUgN6OQu/vQCcLS5Wo2026-06-13T15:01:54Z142334515http://arxiv.org/abs/2606.06402v1Balanced tensor categories of representations of fixed-points conformal nets2026-06-04T17:08:04ZLet $\mathcal{A}$ be a (not necessarily rational) conformal net with a faithful action of a finite group $G$. Let $\text{Rep}^G(\mathcal{A})$ be the $G$-crossed balanced $\mathrm{W}^*$-tensor category of $G$-twisted representations of $\mathcal{A}$ as introduced in arXiv:2606.03623. We show that there is an equivalence of balanced $\mathrm{W}^*$-tensor categories $(\text{Rep}^G(\mathcal{A}))^G\cong \text{Rep}(\mathcal{A}^G)$ between the $G$-equivariantization of $\text{Rep}^G(\mathcal{A})$ and the category of representations of the fixed-points conformal net $\mathcal{A}^G$. This generalizes to the non-rational case the equivalence of braided tensor categories $(\text{Rep}^G(\mathcal{A}))^G\cong \text{Rep}(\mathcal{A}^G)$ for $\mathcal{A}$ rational appearing (in the language of localized endomorphisms) in arXiv:math/0403322, and it also includes the balances.2026-06-04T17:08:04Z49 pagesAdrià Marín-Salvadorhttp://arxiv.org/abs/2606.05727v1Planar higher-rank trees have rank at most four2026-06-04T05:36:44ZWe prove that a finite, connected, singly connected, locally convex higher-rank tree whose $1$-skeleton is planar and which is \emph{non-degenerate}, in the sense that every edge of each colour forms a commuting square with every other colour, has rank at most four. Under these hypotheses this establishes the planarity conjecture stated in \cite{Pask}. The obstruction side of the argument uses only the non-planarity of $K_5$; it makes no appeal to the four-colour theorem. The engine is a monotonicity property of the set of colours emitted at a vertex (``backward propagation''), which forces, in any finite singly connected non-degenerate $k$-graph, a single vertex emitting all $k$ colours; once $k\ge 5$, local convexity manufactures a subdivision of $K_5$ at such a vertex.2026-06-04T05:36:44ZDavid Paskhttp://arxiv.org/abs/2502.19876v9Frobenius subalgebra lattices in tensor categories2026-06-04T04:05:08ZThis paper generalizes Watatani's finiteness theorem for intermediate subfactors to a wide class of monoidal categories. We characterize the sublattices of Frobenius subalgebra posets in abelian monoidal categories by introducing a notion of ambient selfduality. By extending several key results -- such as the planar algebraic exchange relation and Landau's theorems -- to linear monoidal categories, we establish a structural rigidity property for a formal angle associated to every coherent pair of Frobenius subalgebras (that is, whose intersection and sum are ambiently selfdual). Furthermore, within a weak positivity framework, we deduce that such coherent sublattices are finite for any connected Frobenius algebra. This significantly generalizes Watatani's theorem, since the unitary Frobenius subalgebra lattices are inherently coherent through a property termed rigidity invariance.
Applications of this work include a unified framework that encompasses several previously unrelated finiteness results. Specifically, we recover the finiteness of the left coideal subalgebra lattice of a finite-dimensional semisimple Hopf algebra (Etingof-Walton theorem) modulo a well-supported coherence hypothesis, as well as the finiteness of the intermediate C*-algebra lattice for a finite-index unital irreducible inclusion of C*-algebras (relaxing simplicity in Ino-Watatani theorem) under an E-compatibility condition shown to be unavoidable. Furthermore, we present a variety of new applications involving abstract spin chains and vertex operator algebras, alongside speculations on quantum arithmetic that include extensions of Ore's theorem, Euler's totient and sigma functions, and RH.2025-02-27T08:33:10Z52 pages. Significantly revised. Removed semisimplicity assumption via new concepts of ambient selfduality and coherent sublattices. Major updates in the C*-algebras and Hopf algebras sections. Comments are welcome!Mainak GhoshSebastien Palcouxhttp://arxiv.org/abs/2606.05578v1Rigidity for Isomorphisms between Operator Algebras with Commutative Diagonals2026-06-04T01:52:32ZWe show that two families of operator algebras, the CSL algebras of multiplicity free CSLs and the semicrossed products of commutative C$^*$-algebras, demonstrate a strong form of rigidity with respect to isometric isomorphisms. Specifically, the isomorphism class of any such algebra remains unchanged within its family, even if we allow for isomorphism after tensoring with operator algebras containing the compact operators. For semicrossed products of commutative C$^*$-algebras, the same conclusion holds even when tensoring with operator algebras whose diagonals are irreducibly acting. Collectively, these results imply rigidity with respect to stable isomorphisms: two algebras are isometrically isomorphic if and only if they are stably isomorphic.2026-06-04T01:52:32ZElias G. KatsoulisFeifei MiaoWenming WuWei Yuanhttp://arxiv.org/abs/2606.05524v1A Universal Theory of Spectral Propagation for Compositional Operator Networks2026-06-04T00:06:59ZClassical spectral theory lacks a framework for understanding how spectra propagate through compositional systems like deep neural networks, feedback control loops, and quantum circuits. This paper develops a universal theory governed by three invariants: the operadic spectrum (local spectral data), spectral derivatives (perturbation sensitivity), and interaction residue (emergent interface-generated content). We prove three main theorems: the Spectral Propagation Theorem decomposes global output into propagated local spectra, residues, and derivative corrections; the Stability Theorem introduces the SOC stability radius and condition number; and the Universality Theorem shows any reasonable propagation rule is uniquely determined by the three invariants. These results provide a coordinate-free, representation-invariant language for spectral analysis of compositional operator systems.2026-06-04T00:06:59ZShih-Yu Changhttp://arxiv.org/abs/2606.05456v1The computable functional calculus2026-06-03T21:27:51ZWe show that the continuous functional calculus is computable. As consequences we obtain the computable compactness of the spectrum of any computable normal element of a computably presented $\mathrm{C}^*$-algebra, the existence of effective approximate units for computably presented $\mathrm{C}^*$-algebras, and an effective version of the Spectral Theorem for compact operators on separable Hilbert spaces.2026-06-03T21:27:51Z15 pages. Comments welcomeChristopher J. EagleTimothy H. McNichollhttp://arxiv.org/abs/2606.03423v2Sharp hypercontractivity for free group von Neumann algebras2026-06-03T18:08:26ZWe prove that the Poisson semigroup on free group von Neumann algebras satisfies hypercontractivity with optimal time.2026-06-02T10:09:13Z10 pages. Minor revision and more discussion addedXinyuan XieHaonan Zhanghttp://arxiv.org/abs/2411.10771v2Convexity of the Berezin range of finite rank operators2026-06-03T10:42:43ZFor a bounded linear operator $T$ acting on a reproducing kernel Hilbert space $\mathcal{H}(Ω)$ over a nonempty set $Ω$, the Berezin range of $T$ is defined by \[ \mathrm{Ber}(T)=\left\{\langle T\hat{k}_λ,\hat{k}_λ\rangle_{\mathcal{H}} : λ\in Ω\right\} \] and the Berezin radius is given by \[ \mathrm{ber}(T)=\sup\left\{ |γ| : γ\in \mathrm{Ber}(T) \right\}, \] where $\hat{k}_λ$ denotes the normalized reproducing kernel at $λ\in Ω$. In this paper, we study the convexity of the Berezin range of finite rank operators on the Hardy space and the Bergman space over the unit disc $\mathbb{D}$. We present applications of some scalar inequalities to get some operator inequalities. A characterization of closure of the numerical range of reproducing kernel Hilbert space operator in terms of convex hull of its Berezin range is also discussed.2024-11-16T10:40:04ZAthul AugustineM. GarayevP. Shankarhttp://arxiv.org/abs/2606.04601v1Noncommutative Down Spaces2026-06-03T08:39:03ZGiven a von Neumann algebra with a semifinite normal faithful trace, the notion of a core decreasing operator is introduced. This construction depends on a family of commuting projections called an ordered core. With these tools in place, a version of the level function of a measurable operator is introduced. The down space of a strongly symmetric space of $τ$-measurable operators is defined.2026-06-03T08:39:03Z38 pages, no figuresAlejandro Santacruz Hidalgohttp://arxiv.org/abs/2606.04383v1Intertwining Properties for Bimodule Quantum Markov Semigroups2026-06-03T02:58:41ZIn this paper, we study the Bakry-Émery estimates for GNS- and KMS-symmetric semigroups in terms of the Fourier multiplier of the gradient form and the iterated gradient form in the framework of quantum Fourier analysis. We also systematically investigate the intertwining properties for bimodule GNS- and KMS-symmetric quantum Markov semigroups and compare with the Bakry-Émery estimates. A number of examples of GNS- and KMS-symmetric semigroups satisfying these intertwining properties are presented.2026-06-03T02:58:41ZChunlan JiangJincheng WangJinsong Wuhttp://arxiv.org/abs/2602.13375v2Groupoid Homology and Classifying-Space Homology Are Not Isomorphic: The Cantor Unit Groupoid2026-06-02T19:43:47ZFor an ample groupoid $\mathcal{G}$, Matui-type groupoid homology $H_\bullet(\mathcal{G};\mathbb{Z})$ is built from the nerve $\mathcal{G}_\bullet$ via the Moore complex of compactly supported, locally constant chains $C_c(\mathcal{G}n,\mathbb{Z})$, with differential given by the alternating sum of pushforwards along the face maps. As both this complex and the singular complex of the classifying space $B\mathcal{G}$ originate from the same nerve, one might expect the two homologies to coincide. We show that they need not, and that the failure is sharp: for the unit groupoid on the Cantor set $X$, we compute $H_0(\mathcal{G};\mathbb{Z}) \cong C(X,\mathbb{Z})$, a countable group, whereas $H_0^{\mathrm{sing}}(B\mathcal{G};\mathbb{Z}) \cong \bigoplus_{x\in X}\mathbb{Z}$ has cardinality $2^{\aleph_0}$. Thus the two groups are non-isomorphic for cardinality reasons alone, exhibiting a discrepancy already in degree $0$.2026-02-13T16:54:57ZLuciano Melodiahttp://arxiv.org/abs/2606.03757v1Ulam stability for classes of nuclear C*-algebras2026-06-02T15:07:10ZWe study Ulam stability for approximate *-homomorphisms of C*-algebras. We prove stability results for several classes of nuclear C*-algebras with respect to von Neumann algebra targets, including abelian C*-algebras and large classes arising in the Elliott classification program. We also discuss permanence properties, counterexamples, and related stability phenomena. As applications, we obtain rigidity and independence results for corona algebras.2026-06-02T15:07:10Z30 pagesVadim AlekseevIlijas FarahAndreas Thomhttp://arxiv.org/abs/2606.03621v1The Time-Frequency Covariance Principle on Unimodular Kac Algebras2026-06-02T13:21:07ZThis paper extends the short-time Fourier transform (STFT), a fundamental tool in time-frequency analysis, to the quantum group setting of unimodular Kac algebras. For a unimodular Kac algebra \mathbb{G}, we introduce a time-frequency shift operator that combines left translation and modulation operators. Using a window vector in the Hilbert space L^2(\mathbb{G}), we define the corresponding STFT and establish its essential analytic properties, including a Plancherel theorem, the Moyal identity, an inversion formula, and a fundamental identity. Furthermore, we explore the projective corepresentation structure of the time-frequency shift operator, and prove that its reflected version induces a continuous projective left representation of the dual quantum group of the quantum double. Finally, we derive the covariance principle and several uncertainty principles.2026-06-02T13:21:07ZXiao ChenRui LiuYuxuan Zhenghttp://arxiv.org/abs/2605.11701v3Relative Kubo-Ando Means of Completely Positive Maps2026-06-02T11:40:01ZWe develop a Kubo--Ando theory on order intervals of completely positive maps. Using Arveson's Radon--Nikodym theorem as a structural tool, we define relative Kubo--Ando means \(Φσ_ΩΨ\) for completely positive maps dominated by a common ambient map \(Ω\). The special choice \(Ω=Φ+Ψ\) yields an intrinsic mean of two completely positive maps.
We prove that these means are independent of the chosen Stinespring representation and satisfy the expected order-theoretic properties, including monotonicity, transformer inequalities, Jensen-type inequalities, data processing, and monotonicity with respect to the ambient map. For the geometric mean, we obtain a block-positivity characterization and show that the intrinsic geometric mean vanishes exactly when the two maps have no nonzero common completely positive submap. Finally, we compare the construction with existing finite-dimensional and form-theoretic approaches: for maps between matrix algebras it agrees with the Choi-matrix mean, and in the geometric case it agrees with Okayasu's Pusz--Woronowicz mean on their common domain.2026-05-12T07:58:03ZThis paper has been withdrawn by the author due to discovering overlap with the recent literature. The manuscript is currently being fundamentally restructured to focus on the ambient independence of relative operator connectionsMohsen Kianhttp://arxiv.org/abs/2601.16053v2Fujita exponents on quantum Euclidean spaces2026-06-02T09:40:20ZWe 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.2026-01-22T15:36:02Z34 pages, corrected version. Comments welcome!Edward McDonaldMichael RuzhanskySerikbol ShaimardanKanat Tulenov