http://arxiv.org/api/ismBvTWvuujQ+XSW6EAiMFb4Pf82025-05-09T00:00:00-04:001324225515http://arxiv.org/abs/2502.06229v32025-03-03T06:39:00Z2025-02-10T08:03:00ZConstructing 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 Pinzari36 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.10016http://arxiv.org/abs/2502.03625v22025-03-02T18:18:10Z2025-02-05T21:19:29ZToeplitz 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 Dewage22 pages, New section 6 was addedhttp://arxiv.org/abs/2409.03362v22025-03-02T13:09:29Z2024-09-05T09:09:46ZFully 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 GardellaTsiu-Kwen LeeHannes ThielJ. Lond. Math. Soc. (JLMS), to appear. Minor changes, accepted
version, 19 pageshttp://arxiv.org/abs/2403.19764v22025-03-01T11:44:09Z2024-03-28T18:25:21ZOn 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. KakariadisIoannis Apollon Paraskevas38 pages, references added, minor editorial changeshttp://arxiv.org/abs/2502.18896v22025-02-28T21:21:57Z2025-02-26T07:19:49ZA 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 Chowhttp://arxiv.org/abs/2412.02572v22025-02-28T17:15:28Z2024-12-03T16:56:01ZTensorial 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 Bonnin31 pages, correct some typoshttp://arxiv.org/abs/2502.21015v12025-02-28T13:01:53Z2025-02-28T13:01:53ZInvariant 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 DasSoma DasJaydeb Sarkar15 pageshttp://arxiv.org/abs/1908.03714v22025-02-28T12:34:24Z2019-08-10T09:04:27ZRefined 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 EilersEfren RuizThe 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 therehttp://arxiv.org/abs/2409.03626v22025-02-28T11:11:41Z2024-09-05T15:38:33ZStrong 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 MageeMikael de la Salle54 pages; v2: improvement in the exposition and correction in the
exponentshttp://arxiv.org/abs/2502.20062v12025-02-27T13:07:46Z2025-02-27T13:07:46ZCharacterizations 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. TianQ. XuC. FuarXiv admin note: substantial text overlap with arXiv:2404.12826,
arXiv:2305.12984http://arxiv.org/abs/2502.19343v12025-02-26T17:33:31Z2025-02-26T17:33:31ZBlock 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 FreslonPaul MeunierPegah Pournajafi22 pageshttp://arxiv.org/abs/2408.00116v22025-02-26T14:35:01Z2024-07-31T19:02:50ZCapacities 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 FawziMizanur RahamanMostafa TaheriPreliminary version, comments are welcomehttp://arxiv.org/abs/2410.15454v22025-02-26T10:59:15Z2024-10-20T17:39:12ZGromov-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 BhattacharyyaRitul DuhanChandan Pradhanhttp://arxiv.org/abs/2502.18958v12025-02-26T09:12:48Z2025-02-26T09:12:48ZHilbert-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 ZuYufeng Lu10.1016/j.jmaa.2025.129405http://arxiv.org/abs/2412.17564v22025-02-26T07:52:27Z2024-12-23T13:35:16ZContractibility 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 Ozawa10 pages; typos corrected and a remark added (v2)