CP$^{\infty}$ and beyond: 2-categorical dilation theory

• URL: http://arxiv.org/abs/2310.15776v2
• Date: Thu, 2 Nov 2023 22:15:30 GMT
• Title: CP$^{\infty}$ and beyond: 2-categorical dilation theory
• Abstract summary: We show that by a horizontal categorification' of the $mathrmCPinfty$-construction, one can recover the category of all von Neumann algebras and channels. As an application, we extend Choi's characterisation of extremal channels between finite-dimensional matrix algebras to a characterisation of extremal channels between arbitrary von Neumann algebras.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The problem of extending the insights and techniques of categorical quantum mechanics to infinite-dimensional systems was considered in (Coecke and Heunen, 2016). In that work the $\mathrm{CP}^{\infty}$-construction, which recovers the category of Hilbert spaces and quantum operations from the category of Hilbert spaces and bounded linear maps, was defined. Here we show that by a `horizontal categorification' of the $\mathrm{CP}^{\infty}$-construction, one can recover the category of all von Neumann algebras and channels (normal unital completely positive maps) from the 2-category $[W^*]$ of von Neumann algebras, bimodules and intertwiners. As an application, we extend Choi's characterisation of extremal channels between finite-dimensional matrix algebras to a characterisation of extremal channels between arbitrary von Neumann algebras.

Related papers

• Renormalization flows for 1D mixed states and a quantum Goursat lemma [0.0]
  We study the boundary states of non-chiral two-dimensional topologically ordered models.<n>Data consist of renormalization fixed points built from representations of finite-dimensional $C*$-Hopf algebras.<n>We formulate and prove a quantum generalization of Goursat's lemma for finite-dimensional $C*$-Hopf algebras.
  arXiv  Detail & Related papers  (2026-07-09T14:56:47Z)
• The Geometry Underlying the Quantum Harmonic Oscillator [51.56484100374058]
  We show that the eigenfunctions $_n$ of the quantum Hamiltonian correspond to complex radial coordinates in the reduced phase space $mathbb C2/mathbb Z_nsubsetmathbb C2$.<n>We show that in the Kepler/hydrogen atom problem there is a similar correspondence between classical and quantum states.
  arXiv  Detail & Related papers  (2026-04-23T07:38:35Z)
• Quantum two-dimensional superintegrable systems in flat space: exact-solvability, hidden algebra, polynomial algebra of integrals [41.99844472131922]
  It includes the Smorodinsky-Winternitz potentials I-II (the Holt potential), the Fokas-Lagerstrom model, the 3-body Calogero and Wolfes (equivalently, $G$ rational, or $I_6$) models.<n>It is shown that all of them are exactly-solvable, thus, confirming the Montreal conjecture.<n>Each model is characterized by infinitely-many finite-dimensional invariant subspaces, which form the infinite flag.
  arXiv  Detail & Related papers  (2025-12-30T07:39:35Z)
• Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
  We show how to reduce the geometry of degenerate states to the non-abelian connection $A$. We find independent invariants associated with each triple of subspaces. Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
  arXiv  Detail & Related papers  (2024-04-04T06:39:28Z)
• Entanglement entropy in type II$_1$ von Neumann algebra: examples in Double-Scaled SYK [6.990954253986022]
  In this paper, we study the entanglement entropy $S_n$ of the fixed length state $|nrangle$ in Double-Scaled Sachdev-Ye-Kitaev model.
  arXiv  Detail & Related papers  (2024-04-03T04:27:07Z)
• Boundary algebras of the Kitaev Quantum Double model [0.0]
  We prove the LTO axioms for Kitaev's Quantum Double model for a finite group $G$. We identify the boundary nets of algebras with fusion categorical nets associated to $(mathsfHilb(G),mathbbC[G],$ or $(mathsfRep(G),mathbbCG)$ depending on whether the boundary cut is rough or smooth.
  arXiv  Detail & Related papers  (2023-09-23T17:56:38Z)
• Local topological order and boundary algebras [0.0]
  We introduce axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections. For a locally topologically ordered spin system on $mathbbZk$, we define a local net of boundary algebras on $mathbbZk-1$. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian.
  arXiv  Detail & Related papers  (2023-07-24T06:38:48Z)
• Algebras and States in JT Gravity [0.0]
  We analyze the algebra of boundary observables in canonically quantised JT gravity with or without matter. Type II$_infty$ describes states at all temperatures or energies. wormholes and topology change can be incorporated perturbatively.
  arXiv  Detail & Related papers  (2023-01-18T01:35:31Z)
• Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
  We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra. As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
  arXiv  Detail & Related papers  (2022-08-12T15:05:07Z)
• Quantum teleportation in the commuting operator framework [63.69764116066747]
  We present unbiased teleportation schemes for relative commutants $N'cap M$ of a large class of finite-index inclusions $Nsubseteq M$ of tracial von Neumann algebras. We show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(mathbbC)$ over $N'$.
  arXiv  Detail & Related papers  (2022-08-02T00:20:46Z)
• Qudit lattice surgery [91.3755431537592]
  We observe that lattice surgery, a model of fault-tolerant qubit computation, generalises straightforwardly to arbitrary finite-dimensional qudits. We relate the model to the ZX-calculus, a diagrammatic language based on Hopf-Frobenius algebras.
  arXiv  Detail & Related papers  (2022-04-27T23:41:04Z)
• Annihilating Entanglement Between Cones [77.34726150561087]
  We show that Lorentz cones are the only cones with a symmetric base for which a certain stronger version of the resilience property is satisfied. Our proof exploits the symmetries of the Lorentz cones and applies two constructions resembling protocols for entanglement distillation.
  arXiv  Detail & Related papers  (2021-10-22T15:02:39Z)
• Axioms for the category of Hilbert spaces [0.0]
  We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. This addresses a question about the mathematical foundations of quantum theory raised in reconstruction programmes such as those of von Neumann, Mackey, Jauch, Piron, Abramsky, and Coecke.
  arXiv  Detail & Related papers  (2021-09-15T16:41:23Z)
• Quantum double aspects of surface code models [77.34726150561087]
  We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry. We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
  arXiv  Detail & Related papers  (2021-06-25T17:03:38Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.