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
• Authors: Robert Allen and Dominic Verdon
• 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

• 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.