Commuting Toeplitz operators with biharmonic symbols

2026-04-20T05:03:49Z

We investigate the commutant problem for Toeplitz operators on the Bergman space of the unit disk whose symbols belong to a subclass of biharmonic functions. We obtain a complete characterization of when two such Toeplitz operators commute. As a consequence, we derive a full description of normal Toeplitz operators with symbols in this class.

Mutually-commuting von Neumann algebra models of quantum networks and violation of Bell-type inequalities

2026-04-20T03:43:01Z

Employing mutually-commuting von Neumann algebras to represent the algebra of observables on quantum systems provides a framework for studying quantum information theory in systems with infinite degrees of freedom and quantum field theory, yielding many profound results that differ from non-relativistic quantum systems. In this paper, we establish a mutually-commuting von Neumann algebra model of quantum networks with arbitrary structures. We derive Bell-type inequalities on this model, and determine various bounds for Bell-type inequalities based on the structure of underline von Neumann algebras, and identify the algebraic structural conditions required for their violation. The conditions on the algebraic structure of observables for maximal violation of Bell-type inequalities, which we discovered in the context of von Neumann algebra models, can in turn guide the search for measurements in the non-relativistic setting.

Takesaki duality for weak* closed $L^p$-operator crossed products

2026-04-18T10:07:57Z

The aim of this paper is to study Takesaki duality for weak* closed $L^p$-operator crossed product $W^*_p(G,A,α)$, where $G$ is a countable discrete Abelian group, $A$ is a unital separable weak* closed $L^p$-operator algebra ($p>1$), and $α$ is a weak* continuous $p$-completely isometric action of $G$ on $A$. In this paper, we construct a weak* continuous homomorphism $Φ$ from $W^*_p(\hat{G},W^*_p(G,A,α),\hatα)$ to $\mathcal{B}(l^{p}(G))\bar{\otimes}A$. We show that $Φ$ is an isomorphism if and only if either $p=2$ or $G$ is finite, and $Φ$ is an isometric isomorphism if either $p=2$ or $G$ is trivial. It is also proved that $Φ$ is equivariant for the double dual action $\hat{\hatα}$ of $G$ on $W^*_p(\hat{G},W^*_p(G,A,α),\hatα)$ and the action $\mathrm{Ad}ρ_p\otimesα$ of $G$ on $\mathcal{B}(l^p(G))\bar{\otimes} A$. Furthermore, we prove that $W^*_p(\hat{G},W^*_p(G,A,α),\hatα)$ is weak* continuous isometrically isomorphic to $\mathcal{B}(l^{p}(G))\bar{\otimes}A$ if and only if either $p=2$ or $G$ is trivial, and $W^*_p(\hat{G},W^*_p(G,A,α),\hatα)$ is weak* continuous isomorphic to $\mathcal{B}(l^{p}(G))\bar{\otimes}A$ if and only if either $p=2$ or $G$ is finite when $A=M_n^p$. This shows that Takesaki duality theorem of von Neumann algebras can be generalized to weak* closed $L^2$-operator algebras, and this theorem can not be generalized to weak* closed $L^p$-operator algebras when $p\in (1,\infty)\setminus\{2\}$.

Rank-two Milnor idempotents for the multipullback quantum complex projective plane

2026-04-17T19:53:05Z

The $K_0$-group of the C*-algebra of multipullback quantum complex projective plane is known to be $\mathbb{Z}^3$, with one generator given by the C*-algebra itself, one given by the section module of the noncommutative (dual) tautological line bundle, and one given by the Milnor module associated to a generator of the $K_1$-group of the C*-algebra of Calow-Matthes quantum 3-sphere. Herein we prove that these Milnor modules are isomorphic either to the section module of a noncommutative vector bundle associated to the $SU_q(2)$-prolongation of the Heegaard quantum 5-sphere $S^5_H$ viewed as a $U(1)$-quantum principal bundle, or to a complement of this module in the rank-four free module. Finally, we demonstrate that one of the above Milnor modules always splits into the direct sum of the rank-one free module and a rank-one non-free projective module that is \emph{not} associated with $S^5_H$.

Homomorphism Indistinguishability Relations induced by Quantum Groups

2026-04-17T19:40:42Z

Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs $G$ and $H$ are called homomorphism indistinguishable over a graph class $\mathcal{F}$ if for each $F \in \mathcal{F}$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Examples of such equivalence relations include isomorphism and cospectrality, as well as equivalence with respect to many formal logics. Quantum groups are a generalisation of topological groups that describe "non-commutative symmetries" and, inter alia, have applications in quantum information theory. An important subclass are the easy quantum groups, which enjoy a combinatorial characterisation and have been fully classified by Raum and Weber. A recent connection between these seemingly distant concepts was made by Mančinska and Roberson, who showed that quantum isomorphism, a relaxation of classical isomorphism that can be phrased in terms of the quantum symmetric group, is equivalent to homomorphism indistinguishability over the class of planar graphs. We generalise Mančinska and Roberson's result to all orthogonal easy quantum groups. We obtain for each orthogonal easy quantum group a graph isomorphism relaxation $\approx$ and a graph class $\mathcal{F}$, such that homomorphism indistinguishability over $\mathcal{F}$ coincides with $\approx$. Our results include a full classification of the $(0, 0)$-intertwiners of the graph-theoretic quantum group obtained by adding the adjacency matrix of a graph to the intertwiners of an orthogonal easy quantum group.

W$^*$-superrigidity for property (T) groups with infinite center

2026-04-17T19:00:58Z

We propose to study a natural version of Connes' Rigidity Conjecture that involves property (T) groups with infinite center. Utilizing techniques at the intersection of von Neumann algebras and geometric group theory, we establish several cases where this conjecture holds. In particular, we provide the first example of a W$^*$-superrigid property (T) group with infinite center.

Best approximants relative to a C$^*$-subalgebra, joint numerical range and subdifferentials

2026-04-17T13:10:29Z

We study the minimality of $n\times n$ Hermitian matrices $A$ respect to a $C^*$-subalgebra $\mathcal{B}$ of $M_n(\mathbb{C})$ in the spectral norm, that is \[\|A\|\leq \|A+B\|,\ \text{ for every } B\in \mathcal{B}.\] We generalize the notion of the moment of a subspace and relate it to the joint numerical range and the subdifferentials of the maximum eigenvalue. We extend results previously known for the subalgebra of diagonal operators and describe the subdifferential of the maximum eigenvalue in terms of the moment of the corresponding eigenspace. We also characterize $\mathcal{B}$-minimality via moments and subdifferentials, and provide examples.

The Local Lifting Property, Property FD, and stability of approximate representations

2026-04-17T10:36:41Z

We establish Kirchberg's Local Lifting Property and Lubotzky--Shalom's Property FD for classes of finitely generated groups of central importance in geometric and combinatorial group theory: $3$-manifold groups, limit groups, and certain one-relator groups and right-angled Artin groups. We deduce that such groups are very flexibly stable, with respect to normalized unitarily invariant norms. In the appendix, we show that these groups also have Kechris's property (E)MD, and hence are stable in finite actions, in the selse of Gohla--Thom. The exposition is made accessible to operator algebraists and group theorists alike.

Classification of representations of higher-rank graph C*-algebras

2026-04-17T09:30:27Z

We develop new techniques for the construction and classification of representations of row-finite and locally convex higher-rank graph C*-algebras O. This class includes Cuntz--Krieger algebras associated to row-finite directed graphs. Our approach relies on the representation theory of a certain non-self-adjoint algebra and a lifting process of representations. We introduce a novel dimension vector for representations of O yielding a countable partition of the spectrum. Given a Cuntz--Krieger algebra and a finite dimension vector, we construct a smooth manifold parametrising the corresponding spectral component. Our techniques are both explicit and functorial.

Theory of $q$-commuting contractions-II: Regular dilation, Brehmer's positivity and von Neumann's inequality

2026-04-17T08:10:12Z

It is well-known that a commuting family of contractions possesses a regular unitary dilation if and only if it satisfies Brehmer's positivity condition. We extend this theorem to any family $\mathcal T$ of $q$-commuting contractions with $\|q\|=1$ by showing the equivalence of the following three statements: $(i)$ $\mathcal T$ admits a regular $q$-unitary dilation; $(ii)$ $\mathcal T$ satisfies Brehmer's positivity condition; $(iii)$ $\mathcal T$ admits a $Q$-unitary dilation for a family of $Q$-commuting unitaries. We achieve the first part of the result by an application of Stinespring's dilation theorem on a particular completely positive map acting on a quotient algebra of a group $C^*$-algebra, where the underlying group is a free group, and the second part is obtained by an application of Naimark's theorem. Next, we find several cases when $\mathcal{T}$ admits a regular $q$-unitary dilation and establish a von Neumann type inequality for such a $q$-commuting family.

Operators associated with the pentablock and their relations with biball and symmetrized bidisc

2026-04-17T08:02:28Z

A commuting triple of Hilbert space operators $(A,S,P)$ is said to be a \textit{$\mathbb{P}$-contraction} if the closed pentablock $\overline{\mathbb P}$ is a spectral set for $(A,S,P)$, where \[ \mathbb{P}:=\left\{(a_{21}, \mbox{tr}(A_0), \mbox{det}(A_0))\ : \ A_0=[a_{ij}]_{2 \times 2} \; \; \& \;\; \|A_0\| <1 \right\} \subseteq \mathbb{C}^3. \] A commuting triple of normal operators $(A, S, P)$ acting on a Hilbert space is said to be a \textit{$\mathbb P$-unitary} if the Taylor-joint spectrum $σ_T(A, S, P)$ of $(A, S, P)$ is contained in the distinguished boundary $b\mathbb{P}$ of $\PC$. Also, $(A, S , P)$ is called a \textit{$\mathbb P$-isometry} if it is the restriction of a $\mathbb P$-unitary $(\hat A, \hat S, \hat P)$ to a joint invariant subspace of $\hat A, \hat S, \hat P$. We find several characterizations for the $\mathbb P$-unitaries and $\mathbb P$-isometries. We show that every $\mathbb P$-isometry admits a Wold type decomposition that splits it into a direct sum of a $\mathbb P$-unitary and a pure $\mathbb P$-isometry. Moving one step ahead we show that every $\mathbb P$-contraction $(A,S,P)$ possesses a canonical decomposition that orthogonally decomposes $(A,S,P)$ into a $\mathbb P$-unitary and a completely non-unitary $\mathbb P$-contraction. We find a necessary and sufficient condition such that a $\mathbb P$-contraction $(A, S, P)$ dilates to a $\mathbb P$-isometry $(X, T, V)$ with $V$ being the minimal isometric dilation of $P$. Then we show an explicit construction of such a conditional dilation. We show interplay between operator theory on the following three domains: the pentablock, the biball and the symmetrized bidisc.

Toeplitz Operators on Contact Manifolds and Equivariant K-homology

2026-04-16T18:03:54Z

We present an equivariant generalization of Boutet de Monvel's index theorem for Toeplitz operators on contact manifolds. We prove that the Dirac operator and the Szegö projection determine the same class in equivariant $K$-homology, generalizing a theorem of Baum-Douglas-Taylor. We do not assume that the contact manifold is the boundary of a strictly pseudoconvex domain. The proof proceeds by a deformation linking the principal symbols of the classical and Heisenberg pseudodifferential calculi. At the level of symbols, the projection defining the Dirac class deforms to the principal Heisenberg symbol of the Szegö projection. This deformation implies equality of the corresponding classes in K-homology. This, in turn, gives an equivariant generalization of Boutet de Monvel's index formula for Toeplitz operators.

Braided quantum $\mathrm{SU}(2)$ group - a case study

2026-04-16T12:28:08Z

We continue the study of the braided compact quantum group $\mathrm{SU}_q(2)$ for complex $q$ satisfying $0<|q|<1$ introduced by Kasprzak, Meyer, Roy and Woronowicz (J. Noncommut. Geom. 10(4):1611-1625, 2016). We address such aspects as existence of the Haar measure, construct the scaling group, the antipode and its polar decomposition and describe the related braided Hopf algebra. We also study when the braided flip extends to a completely bounded map and establish equivalence between the two approaches to bosonization and braided tensor product taken in the literature (Kasprzak, Meyer, Roy, Woronowicz J. Noncommut. Geom. 10(4):1611-1625, 2016 vs. Meyer, Roy Woronowicz Internat. J. Math. 25(2):1450019, 37, 2014, Roy Int. Math. Res. Not. (14):11791--11828, 2023 and De Commer, Krajczok arXiv:2412.17444, to appear in J. Operator Th.).

An operator algebraic approach to fusion category symmetry on the lattice

2026-04-15T18:33:14Z

We propose a framework for fusion category symmetry on the (1+1)D lattice in the infinite-volume limit by giving a formal interpretation of SymTFT decompositions. Our approach is based on axiomatizing physical boundary subalgebra of quasi-local observables, and applying ideas from algebraic quantum field theory to derive the expected categorical structures. We show that given a physical boundary subalgebra $B$ of a quasi-local algebra $A$, there is a canonical fusion category $\mathcal{C}$ that acts on $A$ by bimodules and whose fusion ring acts by locality preserving quantum channels on the quasi-local algebra such that $B$ is recovered as the fixed point operators. We show that a fusion category can be realized as symmetries on a tensor product quasi-local algebra if and only if all of its objects have integer dimensions, and that it admits an ``on-site" action on a tensor product spin chain if and only if it admits a fiber functor. We give a formal definition of a topological symmetric state, and prove two anomaly enforced gaplessness theorems, one for internal categorical symmetries and one for anomalous duality channels. Using the first, we show that for any fusion category $\mathcal{C}$ with no fiber functor there always exist gapless pure symmetric states on an anyon chain.

Two-Indexed Schatten Quasi-Norms with Applications to Quantum Information Theory

2026-04-15T16:35:46Z

We define 2-indexed $(q,p)$-Schatten quasi-norms for any $q,p > 0$ on operators on a tensor product of Hilbert spaces, naturally extending the norms defined by Pisier's theory of operator-valued Schatten spaces. We establish several desirable properties of these quasi-norms, such as relational consistency and the behavior on block diagonal operators, assuming that $|\frac{1}{q} - \frac{1}{p}| \leq 1$. In fact, we show that this condition is essentially necessary for natural properties to hold. Furthermore, for linear maps between spaces of such quasi-norms, we introduce completely bounded quasi-norms and co-quasi-norms. We prove that the $q \to p$ completely bounded co-quasi-norm is super-multiplicative for tensor products of quantum channels for $q \geq p>0$, extending an influential result of [Devetak, Junge, King, Ruskai, 2006]. Our proofs rely on elementary matrix analysis and operator convexity tools and do not require operator space theory. On the applications side, we demonstrate that these quasi-norms can be used to express relevant quantum information measures such as Rényi conditional entropies for $α\geq \frac{1}{2}$ or the Sandwiched Rényi Umlaut information for $α< 1$. Our multiplicativity results imply a tensorizing notion of reverse hypercontractivity, additivity of the completely bounded minimum output Rényi-$α$-entropy for $α\geq\frac{1}{2}$ extending another important result of [Devetak, Junge, King, Ruskai, 2006], and additivity of the maximum output Rényi-$α$ entropy for $α\geq \frac{1}{2}$.