Operator Algebras

• New submissions
• Cross-lists
• Replacements

See recent articles

Showing new listings for Wednesday, 6 November 2024

New submissions (showing 2 of 2 entries)

[1] arXiv:2411.02707 [pdf, html, other]

Title: Phase Group Category of Bimodule Quantum Channels

Linzhe Huang, Chunlan Jiang, Zhengwei Liu, Jinsong Wu

Comments: 27pages

Subjects: Operator Algebras (math.OA); Information Theory (cs.IT)

In this paper, we study the quantum channel on a von Neuamnn algebras $\mathcal{M}$ preserving a von Neumann subalgebra $\mathcal{N}$, namely $\mathcal{N}$-$\mathcal{N}$-bimodule unital completely positive map. By introducing the relative irreducibility of a bimodule quantum channel, we show that its eigenvalues with modulus 1 form a finite cyclic group, called its phase group. Moreover, the corresponding eigenspaces are invertible $\mathcal{N}$-$\mathcal{N}$-bimodules, which encode a categorification of the phase group. When $\mathcal{N}\subset \mathcal{M}$ is a finite-index irreducible subfactor of type II$_1$, we prove that any bimodule quantum channel is relative irreducible for the intermediate subfactor of its fixed points. In addition, we can reformulate and prove these results intrinsically in subfactor planar algebras without referring to the subfactor using the methods of quantum Fourier analysis.

[2] arXiv:2411.02981 [pdf, html, other]

Title: Higher K-groups for operator systems

Walter D. van Suijlekom

Comments: 14 pages, 2 figures

Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); K-Theory and Homology (math.KT)

We extend our previous definition of K-theoretic invariants for operator systems based on hermitian forms to higher K-theoretical invariants. We realize the need for a positive parameter $\delta$ as a measure for the spectral gap of the representatives for the K-theory classes. For each $\delta$ and integer $p \geq 0$ this gives operator system invariants $\mathcal V_p^\delta(-,n)$, indexed by the corresponding matrix size.
The corresponding direct system of these invariants has a direct limit that possesses a semigroup structure, and we define the $K_p^\delta$-groups as the corresponding Grothendieck groups. This is an invariant of unital operator systems, and, more generally, an invariant up to Morita equivalence of operator systems. Moreover, there is a formal periodicity that reduces all these groups to either $K_0^\delta$ or $K_1^\delta$. We illustrate our invariants by means of the spectral localizer.

Cross submissions (showing 4 of 4 entries)

[3] arXiv:2411.02474 (cross-list from math.GR) [pdf, html, other]

Title: Extending Strongly Ulam Stable Groups and Towards Inductivity

Mason Sharp

Comments: 14 pages

Subjects: Group Theory (math.GR); Logic (math.LO); Operator Algebras (math.OA)

We show some preservation results of amenably extending strongly Ulam stable groups under mild decay assumptions, including quantitative preservation of asymptotic bounds under the assumption that the modulus of stability is Hölder continuous of exponent $s>\frac 1 2$ at 0, utilizing some simplistic integral estimates. Additionally, we show some partial results around inductive preservation of modulus bounds in infinite dimensions using these integral estimates as well as strong quantitative preservation in the finite dimensional case, implying the existence of $\mathfrak{U}$ uniformly stable existential closures among groups with sufficiently large Lipschitz estimates of any countable group.

[4] arXiv:2411.02593 (cross-list from math.FA) [pdf, html, other]

Title: Noncommutative geometry on the Berkovich projective line

Masoud Khalkhali, Damien Tageddine

Subjects: Functional Analysis (math.FA); Number Theory (math.NT); Operator Algebras (math.OA); Quantum Algebra (math.QA)

We construct several $C^*$-algebras and spectral triples associated to the Berkovich projective line $\mathbb{P}^1_{\mathrm{Berk}}({\mathbb{C}_p})$. In the commutative setting, we construct a spectral triple as a direct limit over finite $\mathbb{R}$-trees. More general $C^*$-algebras generated by partial isometries are also presented. We use their representations to associate a Perron-Frobenius operator and a family of projection valued measures. Finally, we show that invariant measures, such as the Patterson-Sullivan measure, can be obtained as KMS-states of the crossed product algebra with a Schottky subgroup of $\mathrm{PGL}_2(\mathbb{C}_p)$.

[5] arXiv:2411.03102 (cross-list from math.QA) [pdf, html, other]

Title: Levi-Civita connection on the irreducible quantum flag manifolds

Jyotishman Bhowmick, Bappa Ghosh, Andrey O. Krutov, Réamonn Ó Buachalla

Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Operator Algebras (math.OA)

We classify covariant metrics (in the sense of Beggs and Majid) on a~class of quantum homogeneous spaces. In particular, our classification implies the existence of a~unique (up to scalar) quantum symmetric covariant metric on the Heckenberger--Kolb calculi for the quantized irreducible flag manifolds. Moreover, we prove the existence and uniqueness of Levi-Civita connection for any real covariant metric for the Heckenberger--Kolb calculi. This generalizes Matassa's result for the quantum projective spaces.

[6] arXiv:2411.03259 (cross-list from quant-ph) [pdf, other]

Title: Robust self-testing for nonlocal games with robust game algebras

Yuming Zhao

Comments: 59 pages. Part of this work was completed as the author's PhD thesis at the University of Waterloo

Subjects: Quantum Physics (quant-ph); Operator Algebras (math.OA)

We give an operator-algebraic formulation of robust self-testing in terms of states on C*-algebras. We show that a quantum correlation p is a robust self-test only if among all (abstract) states, there is a unique one achieving p. We show that the "if" direction of this statement also holds, provided that p is optimal/perfect for a nonlocal game that has a robust game algebra. This last condition applies to many nonlocal games of interest, including all XOR games, synchronous games, and boolean constrained system (BCS) games.
For those nonlocal games with robust game algebras, we prove that self-testing is equivalent to the uniqueness of finite-dimensional tracial states on the associated game algebra, and robust self-testing is equivalent to the uniqueness of amenable tracial states. Applying this tracial-state characterization of self-testing to parallel repetition, we show that a synchronous game is a self-test for perfect quantum strategies if and only if its parallel repeated version is a self-test for perfect quantum strategies.
As a proof approach, we give the first quantitative Gower-Hatami theorem that is applicable to C*-algebras. Here "quantitative" means there is a constructive bound on the distance between the approximate representations and exact representations. We also demonstrate how this quantitative Gowers-Hatami theorem can be used to calculate the explicit robustness function of a self-test.

Replacement submissions (showing 2 of 2 entries)

[7] arXiv:2312.03204 (replaced) [pdf, html, other]

Title: Relative topological principality and the ideal intersection property for groupoid C*-algebras

Chris J. Eagle, Gavin Goerke, Marcelo Laca

Comments: 17 pages. A few comments and references added

Journal-ref: Integr. Equ. Oper. Theory (2024) 96:30

Subjects: Operator Algebras (math.OA)

We introduce the notion of relative topological principality for a family $\{H_\alpha\}$ of open subgroupoids of a Hausdorff étale groupoid $G$. The C*-algebras $C^*_r(H_\alpha)$ of the groupoids $H_\alpha$ embed in $ C^*_r(G)$ and we show that if $G$ is topologically principal relative to $\{H_\alpha\}$ then a representation of $C^*_r(G)$ is faithful if and only if its restriction to each of the subalgebras $C^*_r(H_\alpha)$ is faithful. This variant of the ideal intersection property potentially involves several subalgebras, and gives a new method of verifying injectivity of representations of reduced groupoid C*-algebras. As applications we prove a uniqueness theorem for Toeplitz C*-algebras of left cancellative small categories that generalizes a recent result of Laca and Sehnem for Toeplitz algebras of group-embeddable monoids, and we also discuss and compare concrete examples arising from integer arithmetic.

[8] arXiv:2307.00423 (replaced) [pdf, html, other]

Title: Spectral Sequence Computation of Higher Twisted $K$-Groups of $ SU(n)$

David E. Evans, Ulrich Pennig

Comments: 33 pages, one figure, minor mistake fixed in Section 3.1.1, setting has been adjusted to exponential functors that are symmetric monoidal and take values in graded vector spaces

Subjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT); Operator Algebras (math.OA)

Motivated by the Freed-Hopkins-Teleman theorem we study graded equivariant higher twists of $K$-theory for the groups $G = SU(n)$ induced by exponential functors. We compute the rationalisation of these groups for all $n$ and all non-trivial functors $F$ using the Mayer-Vietoris spectral sequence. Similar to the classical case only the $K$-theory in degree $\dim(G)$ is non-trivial and the non-vanishing group is a quotient of a localisation of the representation ring $R(G) \otimes \mathbb{Q}$ by a higher fusion ideal $J_{F,\mathbb{Q}}$. We give generators for this ideal and prove that these can be obtained as derivatives of a potential.