https://arxiv.org/api/EqaCBuDK8NApZl9l34mW+juk2OA2026-03-21T04:10:04Z1397721015http://arxiv.org/abs/2601.09685v2Quantum graphs of homomorphisms2026-01-26T22:13:57ZWe introduce a category $\mathsf{qGph}$ of quantum graphs, whose definition is motivated entirely from noncommutative geometry. For all quantum graphs $G$ and $H$ in $\mathsf{qGph}$, we then construct a quantum graph $[G,H]$ of homomorphisms from $G$ to $H$, making $\mathsf{qGph}$ a closed symmetric monoidal category. We prove that for all finite graphs $G$ and $H$, the quantum graph $[G,H]$ is nonempty iff the $(G,H)$-homomorphism game has a winning quantum strategy, directly generalizing the classical case.
The finite quantum graphs in $\mathsf{qGph}$ are tracial, real, and self-adjoint, and the morphisms between them are CP morphisms that are adjoint to a unital $*$-homomorphism. We prove that Weaver's two notions of a CP morphism coincide in this context. We also include a short proof that every finite reflexive quantum graph is the confusability quantum graph of a quantum channel.2026-01-14T18:36:43Z32 pages; added referenceAndre KornellBert Lindenhoviushttp://arxiv.org/abs/2601.18559v1Brownian motion on reflection quantum groups. Construction and cutoff2026-01-26T15:07:21ZT. In this study, we construct an analog of the Brownian motion on free reflection quantum groups and compute its cutoff profile.2026-01-26T15:07:21Z17 pages, 1 figureJean Delhayehttp://arxiv.org/abs/2601.18185v1Relative bi-exactness and structural results for graph-wreath product von Neumann algebras2026-01-26T06:13:05ZWe study relative bi-exactness of graph product and graph-wreath product group von Neumann algebras. In particular, we obtain the relative bi-exactness for graph product von Neumann algebras $LH_Γ=\ast_{v,Γ} LH_v$ and graph-wreath product von Neumann algebras $L(H_Γ\rtimes G)=(\ast_{v,Γ} LH)\rtimes G$, assuming that the component groups are exact. We adopt the $C^{\ast}$-algebraic method of Ozawa for the proof. As an application, for a certain class of graph-wreath products, we establish the rigidity result for the quotient graph $G\backslashΓ$ under stable isomorphism. Furthermore, we obtain a new family of prime $\mathrm{II}_1$ factors.2026-01-26T06:13:05Z24 pagesTaisuke Hoshinohttp://arxiv.org/abs/2512.13972v2Monotone max-convolution and subordination functions for free max-convolution2026-01-26T03:05:25ZWe show that the distribution of the spectral maximum of monotonically independent self-adjoint operators coincides with the classical max-convolution of their distributions. In free probability, it was proven that for any probability measures $σ,μ$ on $\mathbb{R}$ there is a unique probability measure $\mathbb{A}_σ(μ)$ satisfying $σ\boxplus μ= σ\triangleright \mathbb{A}_σ(μ)$, where $\boxplus$ and $\triangleright$ are free and monotone additive convolutions, respectively. We recall that the reciprocal Cauchy transform of $\mathbb{A}_σ(μ)$ is the subordination function for free additive convolution. Motivated by this analogy, we introduce subordination functions for free max-convolution and prove their existence and structural properties.2025-12-16T00:18:53Z13 pagesYuki Uedahttp://arxiv.org/abs/2412.10241v4Nuclear dimension of groupoid C*-algebras with large abelian isotropy, with applications to C*-algebras of directed graphs and twists2026-01-26T02:50:23ZWe characterise when the C*-algebra C*(G) of a locally compact and Hausdorff groupoid G is subhomogeneous, that is, when its irreducible representations have bounded finite dimension; if so we establish a bound for its nuclear dimension in terms of the topological dimensions of the unit space of the groupoid and the spectra of the primitive ideal spaces of the isotropy subgroups. For an etale groupoid G, we also establish a bound on the nuclear dimension of its C*-algebra provided the quotient of G by its isotropy subgroupid has finite dynamic asymptotic dimension in the sense of Guentner, Willet and Yu. Our results generalise those of C. Böncicke and K. Li to groupoids with large isotropy, including graph groupoids of directed graphs. We find that all graph C*-algebras that are stably finite have nuclear dimension at most 1. We also show that the nuclear dimension of the C*-algebra of a twist over G has the same bound on the nuclear dimension as for C*(G) and the twisted groupoid C*-algebra.2024-12-13T16:10:46ZPublication version that has appeared in IMRNAstrid an HuefDana P. Williamshttp://arxiv.org/abs/2601.18080v1Use of operator defect identities in multi-channel signal plus residual-analysis via iterated products and telescoping energy-residuals: Applications to kernels in machine learning2026-01-26T02:27:51ZWe present a new operator theoretic framework for analysis of complex systems with intrinsic subdivisions into components, taking the form of "residuals" in general, and "telescoping energy residuals" in particular. We prove new results which yield admissibility/effectiveness, and new a priori bounds on energy residuals. Applications include infinite-dimensional Kaczmarz theory for $λ_{n}$-relaxed variants, and $λ_{n}$-effectiveness. And we give applications of our framework to generalized machine learning algorithms, greedy Kernel Principal Component Analysis (KPCA), proving explicit convergence results, residual energy decomposition, and criteria for stability under noise.2026-01-26T02:27:51Z30 pagesPalle E. T. JorgensenMyung-Sin SongJames F. Tianhttp://arxiv.org/abs/2601.18041v1NC functions over the nc Grassmannian2026-01-25T23:36:18ZWe explain how to formulate Voiculescu's non-commutative Riemann sphere framework for fully matricial functions \cite{v10} within the theory of nc functions developed by Vinnikov and Kaliuzhnyi-Verbovetskyi \cite{kvv14}. We then extend this framework from the Riemann sphere to Grassmannians (and flag manifolds). Moreover, as an example of nc functions in this setting, we introduce a generalization of Voiculescu's non-commutative resolvent on the Riemann sphere, study a corresponding generalization of the resolvent equation, and discuss aspects of the spectral analysis of unbounded operators in Voiculescu's framework \cite{v10}.2026-01-25T23:36:18Z13 pagesHyuga Itohttp://arxiv.org/abs/2601.17597v1Categorified Spectral Sheaves and Homotopical Invariants for Noncommuting Operators2026-01-24T21:22:34ZClassical spectral theory gives a complete description of a single normal operator, but it fails for noncommuting operators, where no canonical joint spectrum or simultaneous diagonalization exists. Existing approaches provide only partial solutions: joint spectra apply mainly to commuting families, noncommutative geometry emphasizes global invariants that obscure local structure, and topos-theoretic methods capture contextuality while losing higher coherence information. This paper proposes a geometric and higher-categorical reformulation of the spectral problem for noncommuting operators. Local classical spectra associated with commutative subalgebras are organized into a stack-valued object, called a spectral stack, which retains automorphism and unitary equivalence data between contexts. Noncommutativity is thereby interpreted as nontrivial descent data rather than a breakdown of spectral theory. Using homotopical and derived constructions, we define functorial invariants that measure obstructions to global spectral assembly and extend classical index-theoretic ideas. The resulting framework views noncommutative operator algebras as geometric objects equipped with a spectral atlas, providing a concise bridge between operator theory, homotopy theory, and higher geometry.2026-01-24T21:22:34ZShih-Yu Changhttp://arxiv.org/abs/2601.17560v1Spectral constants for the quantum annulus2026-01-24T19:10:47ZWe find several new estimates for the spectral constants $K(\mathbb A_r)$ for which a closed annulus $\overline{\mathbb A}_r$ or closed polyannulus $\overline{\mathbb A}^n_r$ is a $K$-spectral set for operators in the quantum annulus $\mathbb Q \mathbb A_r$. We give two alternative proofs to an existing estimate of spectral constant. The first proof capitalizes a dilation theorem due to McCullough and Pascoe, while the second proof involves a certain variety in the Euclidean biball. For commuting and doubly commuting operators in $\mathbb Q \mathbb A_r$, we find upper and lower bounds for the smallest spectral constants.2026-01-24T19:10:47Z25 pages, Submitted to journalSourav PalJames E. PascoeNitin Tomarhttp://arxiv.org/abs/2503.11403v2Induced Representation of Topological groupoids2026-01-24T11:40:46ZLet $G$ be a locally compact second countable groupoid with a Haar system. In this article, we introduce the induced representation of $G$ from a continuous unitary representation of a closed wide subgroupoid $H$ with a Haarsystem provided there exists a full equivariant system of measures $μ=\{μ^{u}\}_{u\in G^{0}}$ on $G/H$. We prove some basic properties of induced representation and a theorem on induction in stages. A groupoid version of Mackey's tensor product theorem is also provided. We also prove a groupoid version of Frobenius Reciprocity theorem on compact transitive groupoids.2025-03-14T13:45:43ZK. N. SridharanN. Shravan Kumarhttp://arxiv.org/abs/2510.08322v2Boundary representations, geometry of matrix ranges, and C$^*$-envelopes of finite-dimensional operator systems2026-01-23T17:16:22ZAn analysis of the boundary representations and C$^*$-envelopes of some finite-dimensional operator systems $\mathcal R$ is undertaken by considering relationships between operator-theoretic properties of a $d$-tuple $\mathfrak x=(x_1,\dots, x_d)$ of elements in a unital C$^*$-algebra $\mathcal A$ and operator-system properties of the linear span $\mathcal O_{\mathfrak x}$ of $\{1_\mathcal A,x_1,x_1^*,\dots,x_d,x_d^*\}$. This approach lends itself well to the study of certain phenomena in single- and several-variable operator theory, such as the Smith-Ward property. The matrix range of a $d$-tuple of elements $\mathfrak x$ is matrix-affinely homeomorphic to the matrix state space of the operator system determined by $\mathfrak x$, and many of our methods connect the geometry of these compact matrix convex sets to operator system properties, including various forms of nuclearity and lifting properties.2025-10-09T15:10:51ZVersion 2 corrects some errors in Version 1Douglas FarenickChi-Kwong LiSushil Singlahttp://arxiv.org/abs/2601.16902v1Representations of noncommutative cubes and prisms2026-01-23T17:12:38ZRepresentations of the operator system determined by the canonical generators of the free product of two cyclic groups of order $2$ and $k$, or $d$ cyclic groups of order $2$, are studied for the purpose of shedding light on the noncommutative geometry of noncommutative $d$-cubes and $k$-prisms. By way of the duality of the categories NCConv and OpSys of noncommutative convex sets and operator systems, respectively, an analysis of noncommutative extreme points, exactness, the lifting property, automatic complete positivity, controlled completely positive extensions, tensor products, and operator system duality is undertaken. Of note is the pairing of two classical dilation theorems of Halmos and Mirman to give a complete description of the noncommutative triangular prism in terms of joint unitary dilations.2026-01-23T17:12:38ZDouglas FarenickRoghayeh MalekiSofia Medina VarelaSushil Singlahttp://arxiv.org/abs/2601.01735v2A Game-Theoretic Unital Classification Theorem for $C^*$-Algebras2026-01-23T12:47:05ZWe study the complexity of the $KK$-equivalence relation on unital $C^*$-algebras, in the sense of descriptive set theory. We prove that $KK$-equivalence is analytic, which in turn shows that the set of separable $C^*$-algebras satisfying the UCT is analytic. This allows us to prove a game-theoretic refinement of the unital classification theorem: there is a transfer of strategies between Ehrenfeucht-Fraïssé games (of various lengths) on classifiable $C^*$-algebras and their invariants.2026-01-05T02:17:11Z46 pages. Submitted versionJennifer PiMichał SzachniewiczMira Tartarottihttp://arxiv.org/abs/2307.07465v2Planar algebras for the Young graph and the Khovanov Heisenberg category2026-01-23T07:50:48ZThis paper studies planar algebras of Jones' style associated with the Young graph. We first see that, given a positive real valued function on the Young graph, we may obtain a planar algebra whose structure is defined in terms of a state sum over the ways of filling planar tangles with Young diagrams. We delve into the case that the function is harmonic and related to the Plancherel measures on Young diagrams. Along with an element that is depicted as a cross of two strings, we see that the defining relations among morphisms for the Khovanov Heisenberg category are recovered in the planar algebra. We also identify certain elements in the planar algebra with particular functions of Young diagrams that include the moments, Boolean cumulants and normalized characters. This paper thereby bridges diagramatical categorification and asymptotic representation theory. In fact, the Khovanov Heisenberg category is one of the most fundamental examples of diagramatical categorification whereas the harmonic functions on the Young graph have been a central object in the asymptotic representation theory of symmetric groups.2023-07-14T16:47:02Z52 pagesInternational Journal of Mathematics, Vol. 36, No. 6 (2025) 2550002Shinji Koshida10.1142/S0129167X25500028http://arxiv.org/abs/2508.06844v3Crossed products by compact group actions with the weak tracial Rokhlin property2026-01-23T06:10:16ZIn this paper, we introduce compact group actions with the weak tracial Rokhlin property. This concept simultaneously generalizes finite group actions with the weak tracial Rokhlin property and compact group actions with the tracial Rokhlin property (in the sense of the Elliott program). Under this framework, we prove that simplicity, pure infiniteness, tracial $\mathcal{Z}$-stability and the combination of nuclearity and $\mathcal{Z}$-stability can be transferred from the original algebra to the crossed product. We also show that the radius of comparison of the fixed point algebra does not exceed that of the original algebra. Furthermore, we discuss the relationship between our definition and natural generalization of the finite group case in non-Elliott program settings. Finally, we provide a nontrivial example of a compact group action with the weak tracial Rokhlin property with comparison: an action of $(S_2)^\mathbb{N}$ on the Jiang-Su algebra $\mathcal{Z}$. Since $\mathcal{Z}$ contains no nontrivial projections, this action does not possess the tracial Rokhlin property.2025-08-09T05:55:43Zfinal version, 48 pages. This version was accepted in Complex Analysis and Operator TheoryXiaochun FangHaotian Tian10.1007/s11785-026-01903-x