http://arxiv.org/api/ismBvTWvuujQ+XSW6EAiMFb4Pf8 2025-05-09T00:00:00-04:00 13242 255 15 http://arxiv.org/abs/2502.06229v3 2025-03-03T06:39:00Z 2025-02-10T08:03:00Z Constructing equivalences between fusion categories of quantum groups and of vertex operator algebras via quantum gauge groups We explain the structure of proof of our results on a problem that Sergio Doplicher posed in the 90s in the setting of conformal nets, and on a related problem posed by Yi-Zhi Huang in the setting of vertex operator algebras. The latter asks to find a direct construction of an equivalence due to Finkelberg between the quantum group modular fusion category at certain roots of unity and the fusion categories of affine vertex operator algebras at positive integer levels. The former asks for the construction of a quantum gauge group and field algebra for the category of localized endomorphisms of a conformal net, extending Doplicher-Roberts theory of the compact gauge group and field algebra in high dimensional AQFT. We mostly focus on the affine VOA aspects. We solve Huang's problem for all the Lie types for which it is known that the centralizer algebra of the truncated tensor powers of the given generating object V listed by Hans Wenzl in 1998 for the quantum group fusion categories is generated by the representation of braid group associated to the R-matrix and for Huang-Lepowsky ribbon braided tensor structure. In the classical type A, this property becomes the classical Schur-Weyl duality and was used by Doplicher and Roberts to construct SU(d) as a special case of their unique compact gauge group and field algebra in algebraic QFT. Presently, known results in the literature allow to construct the full equivalence for the Lie types A, B, C, D, G_2 and partial equivalence for braiding and associativity morphisms in the Lie types E and F. We also solve a question posed by Frenkel and Zhu in 1992 on the quantum group structure on the Zhu algebra for all Lie types. Our main tool is the construction of a quantum gauge group and a Drinfeld twist method. The structures we find in both contexts extend Doplicher-Roberts symmetric functors which played a central role in their duality theory. Claudia Pinzari 36 pages. More references and details in the introduction w.r.t. v2 and v1. This paper is a summery of some results of our previous paper, where I added a history on Finkelberg theorem thanks to kind and informative discussion with Y.-Z. Huang. Comments are welcome. arXiv admin note: substantial text overlap with arXiv:2101.10016 http://arxiv.org/abs/2502.03625v2 2025-03-02T18:18:10Z 2025-02-05T21:19:29Z Toeplitz algebra of bounded symmetric domains: A quantum harmonic analysis approach via localization We prove that Toeplitz operators are norm dense in the Toeplitz algebra $\mathfrak{T}(L^\infty)$ over the weighted Bergman space $\mathcal{A}^2_\nu(\Omega)$ of a bounded symmetric domain $\Omega\subset\mathbb{C}^n$. Our methods use representation theory, quantum harmonic analysis, and weakly-localized operators. Additionally, we note that the set of all $\alpha$-weakly-localized operators form a self-adjoint algebra, containing the set of all Toeplitz operators, whose norm closure coincides with the Toeplitz algebra. Vishwa Dewage 22 pages, New section 6 was added http://arxiv.org/abs/2409.03362v2 2025-03-02T13:09:29Z 2024-09-05T09:09:46Z Fully noncentral Lie ideals and invariant additive subgroups in rings We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral. For a unital algebra over a field of characteristic $\neq 2$ where every additive commutator is a sum of square-zero elements, we show that a fully noncentral subspace is a Lie ideal if and only if it is invariant under all inner automorphisms. This applies in particular to zero-product balanced algebras. Eusebio Gardella Tsiu-Kwen Lee Hannes Thiel J. Lond. Math. Soc. (JLMS), to appear. Minor changes, accepted version, 19 pages http://arxiv.org/abs/2403.19764v2 2025-03-01T11:44:09Z 2024-03-28T18:25:21Z On Fock covariance for product systems and the reduced Hao-Ng isomorphism problem by discrete actions We provide a characterisation of equivariant Fock covariant injective representations for product systems. We show that this characterisation coincides with Nica covariance for compactly aligned product systems over right LCM semigroups of Kwa\'{s}niewski and Larsen, and with the Toeplitz representations of a discrete monoid of Laca and Sehnem. By combining with the framework established by Katsoulis and Ramsey, we resolve the reduced Hao-Ng isomorphism problem for generalised gauge actions by discrete groups. Evgenios T. A. Kakariadis Ioannis Apollon Paraskevas 38 pages, references added, minor editorial changes http://arxiv.org/abs/2502.18896v2 2025-02-28T21:21:57Z 2025-02-26T07:19:49Z A notion of fractality for a class of states and noncommutative relative distance zeta functional In this work, we first recall the definition of the relative distance zeta function in [36, 37, 38, 40, 41] and slightly generalize this notion from sets to probability measures, and then move on to propose a novel definition a relative distance (and tube) zeta functional for a class of states over a C* algebra. With such an extension, we look into the chance to define relative Minkowski dimensions in this context, and explore the notion of fractality for this class of states. Relative complex dimensions as poles of this newly proposed relative distance zeta functional, as well as its geometric and transformation properties, decomposition rules and properties that respects tensor products are discussed. We then explore some examples that possess fractal properties with this new zeta functional and propose functional equations similar to [9]. Yat Tin Chow http://arxiv.org/abs/2412.02572v2 2025-02-28T17:15:28Z 2024-12-03T16:56:01Z Tensorial free convolution, semicircular, free Poisson and R-transform in high order This work builds on our previous developments regarding a notion of freeness for tensors. We aim to establish a tensorial free convolution for compactly supported measures. First, we define higher-order analogues of the semicircular (or Wigner) law and the free Poisson (or Marcenko-Pastur) law, giving their moments and free cumulants. We prove the convergence of a Wishart-type tensor to the free Poisson law and recall the convergence of a Wigner tensor to the semicircular law. We also present a free Central Limit Theorem in this context. Next, we introduce a tensorial free convolution, define the $R$-transform, and provide the first examples of free convolution of measures. Remi Bonnin 31 pages, correct some typos http://arxiv.org/abs/2502.21015v1 2025-02-28T13:01:53Z 2025-02-28T13:01:53Z Invariant subspaces and the $C_{00}$-property of Brownian Shifts We consider the restriction of Brownian shifts to their invariant subspaces and classify when they are unitarily equivalent. Additionally, we prove an asymptotic property stating that normalized Brownian shifts belong to the classical $C_{00}$-class. Nilanjan Das Soma Das Jaydeb Sarkar 15 pages http://arxiv.org/abs/1908.03714v2 2025-02-28T12:34:24Z 2019-08-10T09:04:27Z Refined moves for structure-preserving isomorphism of graph C*-algebras We formalize eight different notions of isomorphism among (unital) graph C*-algebras, and initiate the study of which of these notions may be described geometrically as generated by moves. We propose a list of seven types of moves that we conjecture has the property that the collection of moves respecting one of six notions of isomorphism indeed generate that notion, in the sense that two graphs are equivalent in that sense if and only if one may transform one into another using only these kinds of moves. We carefully establish invariance properties of each move on our list, and prove a collection of generation results supporting our conjecture with an emphasis on the gauge simple case. In two of the six cases, we may prove the conjecture in full generality, and in two we can show it for all graphs defining gauge simple C*-algebras. In the two remaining cases we can show the conjecture for all graphs defining gauge simple C*-algebras provided that they are either finite or have at most one vertex allowing a path back to itself. Søren Eilers Efren Ruiz The second version is three times the length of the first and contains more evidence to support the conjectures, along with a full development of the two types of isomorphism not substantially considered in the first version. Tools for this analysis are presented. An error from the first version is located and its implications are discussed, see Proposition 7.1.5 and the footnote given there http://arxiv.org/abs/2409.03626v2 2025-02-28T11:11:41Z 2024-09-05T15:38:33Z Strong asymptotic freeness of Haar unitaries in quasi-exponential dimensional representations We prove almost sure strong asymptotic freeness of i.i.d. random unitaries with the following law: sample a Haar unitary matrix of dimension $n$ and then send this unitary into an irreducible representation of $U(n)$. The strong convergence holds as long as the irreducible representation arises from a pair of partitions of total size at most $n^{\frac{1}{42}-\varepsilon}$ and is uniform in this regime. Previously this was known for partitions of total size up to $\asymp\log n/\log\log n$ by a result of Bordenave and Collins. Michael Magee Mikael de la Salle 54 pages; v2: improvement in the exposition and correction in the exponents http://arxiv.org/abs/2502.20062v1 2025-02-27T13:07:46Z 2025-02-27T13:07:46Z Characterizations of the semi-harmonious and harmonious quasi-projection pairs on Hilbert $C^*$-modules For each adjointable idempotent $Q$ on a Hilbert $C^*$-module $H$, a specific projection $m(Q)$ called the matched projection of $Q$ was introduced recently due to the characterization of the minimum value among all the distances from projections to $Q$. Inspired by the relationship between $m(Q)$ and $Q$, another term called the quasi-projection pair $(P,Q)$ was also introduced recently, where $P$ is a projection on $H$ satisfying $Q^*=(2P-I)Q(2P-I)$, in which $Q^*$ is the adjoint operator of the idempotent $Q$ and $I$ is the identity operator on $H$. This paper aims to make systematical characterizations of the semi-harmonious and harmonious quasi-projection pairs on Hilbert $C^*$-modules, and meanwhile to provide examples illustrating the non-triviality of the associated characterizations. X. Tian Q. Xu C. Fu arXiv admin note: substantial text overlap with arXiv:2404.12826, arXiv:2305.12984 http://arxiv.org/abs/2502.19343v1 2025-02-26T17:33:31Z 2025-02-26T17:33:31Z Block structures of graphs and quantum isomorphism We prove that for every pair of quantum isomorphic graphs, their block trees and their block graphs are isomorphic and that such an isomorphism can be chosen so that the corresponding blocks are quantum isomorphic. As a corollary of this result, we obtain that a minimal pair of quantum isomorphic graphs which are not isomorphic consists of 2-connected graphs. Amaury Freslon Paul Meunier Pegah Pournajafi 22 pages http://arxiv.org/abs/2408.00116v2 2025-02-26T14:35:01Z 2024-07-31T19:02:50Z Capacities of quantum Markovian noise for large times Given a quantum Markovian noise model, we study the maximum dimension of a classical or quantum system that can be stored for arbitrarily large time. We show that, unlike the fixed time setting, in the limit of infinite time, the classical and quantum capacities are characterized by efficiently computable properties of the peripheral spectrum of the quantum channel. In addition, the capacities are additive under tensor product, which implies in the language of Shannon theory that the one-shot and the asymptotic i.i.d. capacities are the same. We also provide an improved algorithm for computing the structure of the peripheral subspace of a quantum channel, which might be of independent interest. Omar Fawzi Mizanur Rahaman Mostafa Taheri Preliminary version, comments are welcome http://arxiv.org/abs/2410.15454v2 2025-02-26T10:59:15Z 2024-10-20T17:39:12Z Gromov-Hausdorff convergence of metric spaces of UCP maps It is shown that van Suijlekom's technique of imposing a set of conditions on operator system spectral triples ensures Gromov-Hausdorff convergence of sequences of sets of unital completely positive maps (equipped with the BW-topology which is metrizable). This implies that even when only a part of the spectrum of the Dirac operator is available together with a certain truncation of the $C^*$-algebra, information about the geometry can be extracted. Tirthankar Bhattacharyya Ritul Duhan Chandan Pradhan http://arxiv.org/abs/2502.18958v1 2025-02-26T09:12:48Z 2025-02-26T09:12:48Z Hilbert-Schmidtness of the $M_{θ,\varphi}$-type submodules Let $\theta(z),\varphi(w)$ be two nonconstant inner functions and $M$ be a submodule in $H^2(\mathbb{D}^2)$. Let $C_{\theta,\varphi}$ denote the composition operator on $H^2(\mathbb{D}^2)$ defined by $C_{\theta,\varphi}f(z,w)=f(\theta(z),\varphi(w))$, and $M_{\theta,\varphi}$ denote the submodule $[C_{\theta,\varphi}M]$, that is, the smallest submodule containing $C_{\theta,\varphi}M$. Let $K^M_{\lambda,\mu}(z,w)$ and $K^{M_{\theta,\varphi}}_{\lambda,\mu}(z,w)$ be the reproducing kernel of $M$ and $M_{\theta,\varphi}$, respectively. By making full use of the positivity of certain de Branges-Rovnyak kernels, we prove that \[K^{M_{\theta,\varphi}}= K^M \circ B~ \cdot R,\] where $B=(\theta,\varphi)$, $R_{\lambda,\mu}(z,w)=\frac{1-\overline{\theta(\lambda)}\theta(z)}{1-\bar{\lambda}z} \frac{1-\overline{\varphi(\mu)}\varphi(w)}{1-\bar{\mu}w}$. This implies that $M_{\theta,\varphi}$ is a Hilbert-Schmidt submodule if and only if $M$ is. Moreover, as an application, we prove that the Hilbert-Schmidt norms of submodules $[\theta(z)-\varphi(w)]$ are uniformly bounded. Chao Zu Yufeng Lu 10.1016/j.jmaa.2025.129405 http://arxiv.org/abs/2412.17564v2 2025-02-26T07:52:27Z 2024-12-23T13:35:16Z Contractibility of the automorphism group of a von Neumann algebra We prove that the approximately inner automorphism group of a separable strongly stable von Neumann algebra is contractible in the u-topology. Thus the automorphism group of the hyperfinite type III_1 factor is contractible. Narutaka Ozawa 10 pages; typos corrected and a remark added (v2)