Quantum geometric Wigner construction for $D(G)$ and braided racks
- URL: http://arxiv.org/abs/2407.11835v1
- Date: Tue, 16 Jul 2024 15:21:28 GMT
- Title: Quantum geometric Wigner construction for $D(G)$ and braided racks
- Authors: Shahn Majid, Leo Sean McCormack,
- Abstract summary: 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$.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The 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, as well as in associated TQFT's, as a kind of Poincar\'e group. 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 R^{1,3}$. Irreps are labelled by pairs $(C, \pi)$, where $C$ is a conjugacy class in the role of a mass-shell, and $\pi$ is a representation of the isotropy group $C_G$ in the role of spin. The geometric picture entails $D^\vee(G)\to \Bbb C(C_G)\blacktriangleright\!\!\!\!< \Bbb C G$ as a quantum homogeneous bundle where the base is $G/C_G$, and $D^\vee(G)\to \Bbb C(G)$ as another homogeneous bundle where the base is the group algebra $\Bbb C G$ as noncommutative spacetime. Analysis of the latter leads to a duality whereby the differential calculus and solutions of the wave equation on $\Bbb C G$ are governed by irreps and conjugacy classes of $G$ respectively, while the same picture on $\Bbb C(G)$ is governed by the reversed data. Quasiparticles as irreps of $D(G)$ also turn out to classify irreducible bicovariant differential structures $\Omega^1_{C, \pi}$ on $D^\vee(G)$ and these in turn correspond to braided-Lie algebras $\mathcal{L}_{C, \pi}$ in the braided category of $G$-crossed modules, which we call `braided racks' and study. We show under mild assumptions that $U(\mathcal{L}_{C,\pi})$ quotients to a braided Hopf algebra $B_{C,\pi}$ related by transmutation to a coquasitriangular Hopf algebra $H_{C,\pi}$.
Related papers
- Quantum charges of harmonic oscillators [55.2480439325792]
We show that the energy eigenfunctions $psi_n$ with $nge 1$ are complex coordinates on orbifolds $mathbbR2/mathbbZ_n$.
We also discuss "antioscillators" with opposite quantum charges and the same positive energy.
arXiv Detail & Related papers (2024-04-02T09:16:18Z) - 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) - A Unified Framework for Uniform Signal Recovery in Nonlinear Generative
Compressed Sensing [68.80803866919123]
Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously.
Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples.
We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
arXiv Detail & Related papers (2023-09-25T17:54:19Z) - 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) - The Hurwitz-Hopf Map and Harmonic Wave Functions for Integer and
Half-Integer Angular Momentum [0.0]
Harmonic wave functions for integer and half-integer angular momentum are given in terms of the angles $(theta,phi,psi)$ that define a rotation in $SO(3)$.
A new nonrelistic quantum (Schr"odinger-like) equation for the hydrogen atom that takes into account the electron spin is introduced.
arXiv Detail & Related papers (2022-11-19T19:13:07Z) - 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) - 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)
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.