Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model
- URL: http://arxiv.org/abs/2208.06317v1
- Date: Fri, 12 Aug 2022 15:05:07 GMT
- Title: Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model
- Authors: Alexander Cowtan, Shahn Majid
- Abstract summary: 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
- Score: 77.34726150561087
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We provide a systematic treatment of boundaries based on subgroups
$K\subseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The
boundary sites are representations of a $*$-subalgebra $\Xi\subseteq D(G)$ and
we explicate its structure as a strong $*$-quasi-Hopf algebra dependent on a
choice of transversal $R$. We provide decomposition formulae for irreducible
representations of $D(G)$ pulled back to $\Xi$. We also provide explicitly the
monoidal equivalence of the category of $\Xi$-modules and the category of
$G$-graded $K$-bimodules and use this to prove that different choices of $R$
are related by Drinfeld cochain twists. Examples include $S_{n-1}\subset S_n$
and an example related to the octonions where $\Xi$ is also a Hopf quasigroup.
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 using the technique of lattice surgery.
Related papers
- Quantum geometric Wigner construction for $D(G)$ and braided racks [0.0]
A quantum double $D(G)=Bbb C(G)rtimes Bbb C G$ of a finite group plays an important role in the Kitaev model for quantum computing.
We interpret the known construction of its irreps, which are quasiparticles for the model, in a geometric manner strictly analogous to the Wigner construction for the usual Poincar'e group of $Bbb R1,3$.
arXiv Detail & Related papers (2024-07-16T15:21:28Z) - Quantum connection, charges and virtual particles [65.268245109828]
A quantum bundle $L_hbar$ is endowed with a connection $A_hbar$ and its sections are standard wave functions $psi$ obeying the Schr"odinger equation.
We will lift the bundles $L_Cpm$ and connection $A_hbar$ on them to the relativistic phase space $T*R3,1$ and couple them to the Dirac spinor bundle describing both particles and antiparticles.
arXiv Detail & Related papers (2023-10-10T10:27:09Z) - Subspace Controllability and Clebsch-Gordan Decomposition of Symmetric
Quantum Networks [0.0]
We describe a framework for the controllability analysis of networks of $n$ quantum systems of an arbitrary dimension $d$, it qudits
Because of the symmetry, the underlying Hilbert space, $cal H=(mathbbCd)otimes n$, splits into invariant subspaces for the Lie algebra of $S_n$-invariant elements in $u(dn)$, denoted here by $uS_n(dn)$.
arXiv Detail & Related papers (2023-07-24T16:06:01Z) - Quantum and classical low-degree learning via a dimension-free Remez
inequality [52.12931955662553]
We show a new way to relate functions on the hypergrid to their harmonic extensions over the polytorus.
We show the supremum of a function $f$ over products of the cyclic group $exp(2pi i k/K)_k=1K$.
We extend to new spaces a recent line of work citeEI22, CHP, VZ22 that gave similarly efficient methods for learning low-degrees on hypercubes and observables on qubits.
arXiv Detail & Related papers (2023-01-04T04:15:40Z) - Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann.
We show how our results have immediate applications to the modern theory of polarization.
arXiv Detail & Related papers (2022-05-30T18:01:34Z) - Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$.
It is assumed that a density matrix $rho$ can be determined from the expectation values of observables.
Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
arXiv Detail & Related papers (2021-12-14T16:29:53Z) - 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) - Emergent universality in critical quantum spin chains: entanglement
Virasoro algebra [1.9336815376402714]
Entanglement entropy and entanglement spectrum have been widely used to characterize quantum entanglement in extended many-body systems.
We show that the Schmidt vectors $|v_alpharangle$ display an emergent universal structure, corresponding to a realization of the Virasoro algebra of a boundary CFT.
arXiv Detail & Related papers (2020-09-23T21:22:51Z) - Invariant subspaces of two-qubit quantum gates and their application in
the verification of quantum computers [0.0]
We investigate the groups generated by the sets of $CP$, $CNOT$ and $SWAPalpha$ (power-of-SWAP) quantum gate operations acting on $n$ qubits.
We are able to determine the invariant subspaces of the $n-$qubit Hilbert space under the action of each group.
arXiv Detail & Related papers (2020-09-08T11:22:43Z)
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.