A covariant Stinespring theorem

• URL: http://arxiv.org/abs/2108.09872v4
• Date: Fri, 23 Sep 2022 15:01:49 GMT
• Title: A covariant Stinespring theorem
• Authors: Dominic Verdon
• Abstract summary: We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. We show that finite-dimensional G-C*-algebras can be identified with equivalence classes of 1-morphisms out of the object T in Mod(T)
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let G be a compact quantum group, and let T:= Rep(G) be the rigid C*-tensor category of finite-dimensional continuous unitary representations of G. Let Mod(T) be the rigid C*-2-category of cofinite semisimple finitely decomposable T-module categories. We show that finite-dimensional G-C*-algebras can be identified with equivalence classes of 1-morphisms out of the object T in Mod(T). For 1-morphisms X: T -> M1, Y: T -> M2, we show that covariant completely positive maps between the corresponding G-C*-algebras can be 'dilated' to isometries t: X -> Y \otimes E, where E: M2 -> M1 is some 'environment' 1-morphism. Dilations are unique up to partial isometry on the environment; in particular, the dilation minimising the quantum dimension of the environment is unique up to a unitary. When G is a compact group this recovers previous covariant Stinespring-type theorems.

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)
• Infinite Permutation Groups and the Origin of Quantum Mechanics [0.0]
  When the lattice is atomistic, it is isomorphic to the lattice of definably closed sets of a finitary relational structure in First Order Logic. We show that the automorphism group must belong to a family of permutation groups known as geometric Jordan groups. We then use the classification theorem for Jordan groups to argue that the combined requirements of probability and atomicism leave uncountably infinite Steiner 2-systems.
  arXiv  Detail & Related papers  (2023-07-24T18:00:16Z)
• Quantum Current and Holographic Categorical Symmetry [62.07387569558919]
  A quantum current is defined as symmetric operators that can transport symmetry charges over an arbitrary long distance. The condition for quantum currents to be superconducting is also specified, which corresponds to condensation of anyons in one higher dimension.
  arXiv  Detail & Related papers  (2023-05-22T11:00:25Z)
• DHR bimodules of quasi-local algebras and symmetric quantum cellular automata [0.0]
  We show that for the double spin flip action $mathbbZ/2mathbbZtimes mathbbZ/2mathbbZZcurvearrowright mathbbC2otimes mathbbC2$, the group of symmetric QCA modulo symmetric finite depth circuits in 1D contains a copy of $S_3$, hence is non-abelian.
  arXiv  Detail & Related papers  (2023-03-31T18:33:07Z)
• Computing equivariant matrices on homogeneous spaces for Geometric Deep Learning and Automorphic Lie Algebras [0.0]
  We compute equivariant maps from a homogeneous space $G/H$ of a Lie group $G$ to a module of this group. This work has applications in the theoretical development of geometric deep learning and also in the theory of automorphic Lie algebras.
  arXiv  Detail & Related papers  (2023-03-13T14:32:49Z)
• Invertible subalgebras [0.30458514384586394]
  We introduce invertible subalgebras of local operator algebras on lattices. On a two-dimensional lattice, an invertible subalgebra hosts a chiral anyon theory by a commuting Hamiltonian. We consider a metric on the group of all QCA on infinite lattices and prove that the metric completion contains the time evolution by local Hamiltonians.
  arXiv  Detail & Related papers  (2022-11-03T18:31:32Z)
• 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)
• A New Look at the $C^{0}$-formulation of the Strong Cosmic Censorship Conjecture [68.8204255655161]
  We argue that for generic black hole parameters as initial conditions for Einstein equations, the metric is $C0$-extendable to a larger Lorentzian manifold. We prove it violates the "complexity=volume" conjecture for a low-temperature hyperbolic AdS$_d+1$ black hole dual to a CFT living on a ($d-1$)-dimensional hyperboloid $H_d-1$.
  arXiv  Detail & Related papers  (2022-06-17T12:14:33Z)
• Coordinate Independent Convolutional Networks -- Isometry and Gauge Equivariant Convolutions on Riemannian Manifolds [70.32518963244466]
  A major complication in comparison to flat spaces is that it is unclear in which alignment a convolution kernel should be applied on a manifold. We argue that the particular choice of coordinatization should not affect a network's inference -- it should be coordinate independent. A simultaneous demand for coordinate independence and weight sharing is shown to result in a requirement on the network to be equivariant.
  arXiv  Detail & Related papers  (2021-06-10T19:54:19Z)
• Classification of equivariant quasi-local automorphisms on quantum chains [0.0]
  We classify automorphisms on quantum chains, allowing both spin and fermionic degrees of freedom, that are equivariant with respect to a local symmetry action of a finite symmetry group $G$. We find that the equivalence classes are uniquely labeled by an index taking values in $mathbbQ cup sqrt2 mathbbQ times mathrmHom(G, mathbbZ_2) times H2(G, U(1))$.
  arXiv  Detail & Related papers  (2021-06-03T21:41:05Z)
• The Geometry of Time in Topological Quantum Gravity of the Ricci Flow [62.997667081978825]
  We continue the study of nonrelativistic quantum gravity associated with a family of Ricci flow equations. This topological gravity is of the cohomological type, and it exhibits an $cal N=2$ extended BRST symmetry. We demonstrate a standard one-step BRST gauge-fixing of a theory whose fields are $g_ij$, $ni$ and $n$, and whose gauge symmetries consist of (i) the topological deformations of $g_ij$, and (ii) the ultralocal nonrelativistic limit of space
  arXiv  Detail & Related papers  (2020-11-12T06:57:10Z)

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.