Generators and Relations for 2-Qubit Clifford+T Operators

Xiaoning Bian,Peter Selinger

DOI: https://doi.org/10.4204/EPTCS.394.2

2023-11-15

Abstract:We give a presentation by generators and relations of the group of Clifford+T operators on two qubits. The proof relies on an application of the Reidemeister-Schreier theorem to an earlier result of Greylyn, and has been formally verified in the proof assistant Agda.

Quantum Physics

What problem does this paper attempt to address?

Generators and Relations for 3-Qubit Clifford+CS Operators

Xiaoning Bian,Peter Selinger

DOI: https://doi.org/10.4204/EPTCS.384.7

2023-08-31

Abstract:We give a presentation by generators and relations of the group of 3-qubit Clifford+CS operators. The proof roughly consists of two parts: (1) applying the Reidemeister-Schreier theorem recursively to an earlier result of ours; and (2) the simplification of thousands of relations into 17 relations. Both (1) and (2) have been formally verified in the proof assistant Agda. The Reidemeister-Schreier theorem gives a constructive method for computing a presentation of a sub-monoid given a presentation of the super-monoid. To achieve (2), we devise an almost-normal form for Clifford+CS operators. Along the way, we also identify several interesting structures within the Clifford+CS group. Specifically, we identify three different finite subgroups for whose elements we can give unique normal forms. We show that the 3-qubit Clifford+CS group, which is of course infinite, is the amalgamated product of these three finite subgroups. This result is analogous to the fact that the 1-qubit Clifford+T group is an amalgamated product of two finite subgroups.

Quantum Physics
Duality theory for Clifford tensor powers

Felipe Montealegre-Mora,David Gross

2024-11-04

Abstract:The representation theory of the Clifford group is playing an increasingly prominent role in quantum information theory, including in such diverse use cases as the construction of protocols for quantum system certification, quantum simulation, and quantum cryptography. In these applications, the tensor powers of the defining representation seem particularly important. The representation theory of these tensor powers is understood in two regimes. 1. For odd qudits in the case where the power t is not larger than the number of systems n: Here, a duality theory between the Clifford group and certain discrete orthogonal groups can be used to make fairly explicit statements about the occurring irreps (this theory is related to Howe duality and the eta-correspondence). 2. For qubits: Tensor powers up to t=4 have been analyzed on a case-by-case basis. In this paper, we provide a unified framework for the duality approach that also covers qubit systems. To this end, we translate the notion of rank of symplectic representations to representations of the qubit Clifford group, and generalize the eta correspondence between symplectic and orthogonal groups to a correspondence between the Clifford and certain orthogonal-stochastic groups. As a sample application, we provide a protocol to efficiently implement the complex conjugate of a black-box Clifford unitary evolution.

Quantum Physics,Mathematical Physics,Representation Theory
The Clifford theory of the $n$-qubit Clifford group

Kieran Mastel

2023-07-12

Abstract:The $n$-qubit Pauli group and its normalizer the $n$-qubit Clifford group have applications in quantum error correction and device characterization. Recent applications have made use of the representation theory of the Clifford group. We apply the tools of (the coincidentally named) Clifford theory to examine the representation theory of the Clifford group using the much simpler representation theory of the Pauli group. We find an unexpected correspondence between irreducible characters of the $n$-qubit Clifford group and those of the $(n+1)$-qubit Clifford group.

Quantum Physics,Mathematical Physics,Representation Theory
Clifford Orbits from Cayley Graph Quotients

Cynthia Keeler,William Munizzi,Jason Pollack

2023-06-02

Abstract:We describe the structure of the $n$-qubit Clifford group $\mathcal{C}_n$ via Cayley graphs, whose vertices represent group elements and edges represent generators. In order to obtain the action of Clifford gates on a given quantum state, we introduce a quotient procedure. Quotienting the Cayley graph by the stabilizer subgroup of a state gives a reduced graph which depicts the state's Clifford orbit. Using this protocol for $\mathcal{C}_2$, we reproduce and generalize the reachability graphs introduced in <a class="link-https" data-arxiv-id="2204.07593" href="https://arxiv.org/abs/2204.07593">arXiv:2204.07593</a>. Since the procedure is state-independent, we extend our study to non-stabilizer states, including the W and Dicke states. Our new construction provides a more precise understanding of state evolution under Clifford circuit action.

Quantum Physics,High Energy Physics - Theory,Group Theory
Classification of the Subgroups of the Two-Qubit Clifford Group

Eric Kubischta,Ian Teixeira

2024-09-23

Abstract:We perform a complete classification of all 56 subgroups of the two-qubit Clifford group containing the two-qubit Pauli group. We provide generators for these groups using gates familiar to the quantum information community and we reference these groups against the group libraries provided in GAP. We also list several families of groups in higher levels of the two-qubit Clifford hierarchy.

Quantum Physics,Mathematical Physics,Group Theory,Representation Theory
Complete equational theories for classical and quantum Gaussian relations

Robert I. Booth,Titouan Carette,Cole Comfort

2024-04-11

Abstract:We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by completely-uninformative priors, and the latter extends Gaussian quantum mechanics with infinitely-squeezed states. These presentations are given by adding a generator to the presentation of real affine relations and of real affine Lagrangian relations which freely codiscards effects, as well as certain rotations.

Logic in Computer Science,Category Theory,Quantum Physics
Group theoretic properties of Clifford multiplication on 2-torsion points on the Dirac Spinor Abelian Variety

Jennifer Brown,Ivona Grzegorczyk,Ricardo Suárez

2024-08-10

Abstract:In this manuscript we consider a special complex torus, denoted $S_{\Delta_{2k}}$ (for each $k \in \mathbb{N},\, k \geq 1$) and called the Dirac spinor torus. It is an Abelian variety of complex dimension $2^{k}$ whose covering space is the space of Dirac spinors, $\Delta_{2k}$, for the Clifford algebra $Cl(\mathbb{C}^{2k})$ associated with the vector space $\mathbb{C}^{2k}$. Fixing an isomorphism $\rho:Cl(\mathbb{C}^{2k})\rightarrow End (\Delta_{2k})$, we define Clifford multiplication on $S_{\Delta_{2k}}$ as the actions of those endomorphisms in the image of $\rho$ that preserve the full rank lattice. We analyze the properties of that Clifford multiplication on the 2-torsion points of the Dirac spinor torus. We identify the Clifford actions with permutation maps that represent all isomorphism classes of these actions on the group of 2-torsion points. We provide a structure theorem describing these isomorphism classes of Clifford actions in a way that is independent of the choice of representatives. We conclude by extending the scope of our analysis to the group of $n$-torsion points and analyzing the fixed points and translation constants of entry-permuting maps, a broader class of actions of which the Clifford actions on the 2-torsion points of $S_{\Delta_{2k}}$ is a subset.

Algebraic Geometry
Reduced quiver quantum toroidal algebras

Andrei Neguţ

2024-02-05

Abstract:We give a generators-and-relations description of the reduced versions of quiver quantum toroidal algebras, which act on the spaces of BPS states associated to (non-compact) toric Calabi-Yau threefolds X. As an application, we obtain a description of the K-theoretic Hall algebra of (the quiver with potential associated to) X, modulo torsion.

High Energy Physics - Theory,Mathematical Physics,Quantum Algebra
Arithmeticity, thinness and efficiency of qutrit Clifford+T gates

Shai Evra,Ori Parzanchevski

2024-11-12

Abstract:The Clifford+T gate set is a topological generating set for PU(2), which has been well-studied from the perspective of quantum computation on a single qubit. The discovery that it generates a full S-arithmetic subgroup of PU(2) has led to a fruitful interaction between quantum computation and number theory, resulting in a proof that words in these gates cover PU(2) in an almost-optimal manner. In this paper we study the analogue gate set for PU(3). We show that in PU(3) the group generated by the Clifford+T gates is not arithmetic - in fact, it is a thin matrix group, namely a Zariski-dense group of infinite index in its ambient S-arithmetic group. On the other hand, we study a recently proposed extension of the Clifford+T gates, called Clifford+D, and show that these do generate a full S-arithmetic subgroup of PU(3), and satisfy a slightly weaker almost-optimal covering property than that of Clifford+T in PU(2). The proofs are different from those for PU(2): while both gate sets act naturally on a (Bruhat-Tits) tree, in PU(2) the generated group acts transitively on the vertices of the tree, and this is a main ingredient in proving both arithmeticity and efficiency. In the PU(3) Clifford+D case the action on the tree is far from being transitive. This makes the proof of arithmeticity considerably harder, and the study of efficiency by automorphic representation theory becomes more involved, and results in a covering rate which differs from the optimal one by a factor of $log_3(105)\approx 4.236$.

Quantum Physics,Group Theory,Number Theory
Certain Clifford-like algebra and quantum vertex algebras

Haisheng Li,Shaobin Tan,Qing Wang

DOI: https://doi.org/10.48550/arXiv.1505.07165

2015-05-27

Abstract:In this paper, we study in the context of quantum vertex algebras a certain Clifford-like algebra introduced by Jing and Nie. We establish bases of PBW type and classify its $\mathbb N$-graded irreducible modules by using a notion of Verma module. On the other hand, we introduce a new algebra, a twin of the original algebra. Using this new algebra we construct a quantum vertex algebra and we associate $\mathbb N$-graded modules for Jing-Nie's Clifford-like algebra with $\phi$-coordinated modules for the quantum vertex algebra. We also show that the adjoint module for the quantum vertex algebra is irreducible.

Representation Theory,Quantum Algebra
Extended Baxter relations and QQ-systems for quantum affine algebras

Edward Frenkel,David Hernandez

2024-05-30

Abstract:Generalized Baxter's TQ-relations and the QQ-system are systems of algebraic relations in the category O of representations of the Borel subalgebra of the quantum affine algebra U_q(g^), which we established in our earlier works <a class="link-https" data-arxiv-id="1308.3444" href="https://arxiv.org/abs/1308.3444">arXiv:1308.3444</a> and <a class="link-https" data-arxiv-id="1606.05301" href="https://arxiv.org/abs/1606.05301">arXiv:1606.05301</a>. In the present paper, we conjecture a family of analogous relations labeled by elements of the Weyl group W of g, so that the original relations correspond to the identity element. These relations are closely connected to the W-symmetry of q-characters established in <a class="link-https" data-arxiv-id="2211.09779" href="https://arxiv.org/abs/2211.09779">arXiv:2211.09779</a>. We prove these relations for all w in W if g has rank two, and we prove the extended TQ-relations if w is a simple reflection. We also generalize our results and conjectures to the shifted quantum affine algebras.

Quantum Algebra,Statistical Mechanics,High Energy Physics - Theory,Representation Theory,Exactly Solvable and Integrable Systems
Atomic basis of quantum cluster algebra of type $\widetilde{A}_{2n-1,1}$

Ming Ding,Fan Xu,Xueqing Chen

DOI: https://doi.org/10.48550/arxiv.2011.07350

2020-01-01

Abstract: Let $Q$ be the affine quiver of type $\widetilde{A}_{2n-1,1}$ and $\mathcal{A}_{q}(Q)$ be the quantum cluster algebra associated to the valued quiver $(Q,(2,2,\dots,2))$. We prove some cluster multiplication formulas, and deduce that the cluster variables associated with vertices of $Q$ satisfy a quantum analogue of the constant coefficient linear relations. We then construct two bar-invariant $\mathbb{Z}[q^{\pm\frac{1}{2}}]$-bases $\mathcal{B}$ and $\mathcal{S}$ of $\mathcal{A}_{q}(Q)$ consisting of positive elements, and prove that $\mathcal{B}$ is an atomic basis.
Commuting Clifford actions

John W. Barrett

2024-10-26

Abstract:It shown that if a vector space carries commuting actions of two Clifford algebras, then the quadratic monomials using generators from either Clifford algebra determine a spinor representation of an orthogonal Lie algebra. Examples of this construction have applications to high energy physics, particularly to the standard model and unification. It is shown how to use Clifford data to construct spectral triples for the Pati-Salam model that admit an action of Spin(10).

Mathematical Physics,High Energy Physics - Theory,Quantum Algebra
Multiqubit Clifford groups are unitary 3-designs

huangjun zhu

DOI: https://doi.org/10.1103/PhysRevA.96.062336

IF: 2.971

2017-01-01

Physical Review A

Abstract:Unitary t-designs are a ubiquitous tool in many research areas, including randomized benchmarking, quantum process tomography, and scrambling. Despite the intensive efforts of many researchers, little is known about unitary t-designs with t >= 3 in the literature. We show that the multiqubit Clifford group in any even prime-power dimension is not only a unitary 2-design, but also a 3-design. Moreover, it is a minimal 3-design except for dimension 4. As an immediate consequence, any orbit of pure states of the multiqubit Clifford group forms a complex projective 3-design; in particular, the set of stabilizer states forms a 3-design. In addition, our study is helpful in studying higher moments of the Clifford group, which are useful in many research areas ranging from quantum information science to signal processing. Furthermore, we reveal a surprising connection between unitary 3-designs and the physics of discrete phase spaces and thereby offer a simple explanation of why no discrete Wigner function is covariant with respect to the multiqubit Clifford group, which is of intrinsic interest in studying quantum computation.
Tannakian QFT: from spark algebras to quantum groups

Tudor Dimofte,Wenjun Niu

2024-11-07

Abstract:We propose a nonperturbative construction of Hopf algebras that represent categories of line operators in topological quantum field theory, in terms of semi-extended operators (spark algebras) on pairs of transverse topological boundary conditions. The construction is a direct implementation of Tannakian formalism in QFT. Focusing on d=3 dimensional theories, we find topological definitions of R-matrices, ribbon twists, and the Drinfeld double construction for generalized quantum groups. We illustrate our construction in finite-group gauge theory, and apply it to obtain new results for B-twisted 3d $\mathcal{N}=4$ gauge theories, a.k.a. equivariant Rozansky-Witten theory, or supergroup BF theory (including ordinary BF theory with compact gauge group). We reformulate our construction mathematically in terms of abelian and dg tensor categories, and discuss connections with Koszul duality.

High Energy Physics - Theory,Mathematical Physics,Quantum Algebra,Representation Theory
Generating Functions with $\tau$-Invariance and Vertex Representations of Quantum Affine Algebras $U_{r,s}(\widehat{\mathfrak{g}})$ (I): Simply-laced Cases

Naihong Hu,Honglian Zhang

2014-01-01

Abstract: We put forward the exact version of two-parameter generating functions with $\tau$-invariance, which allows us to give a unified and inherent definition for the Drinfeld realization of two-parameter quantum affine algebras for all the untwisted types. As verification, we first construct their level-one vertex representations of $U_{r,s}(\widehat{\mathfrak{g}})$ for simply-laced types, which in turn well-detect the effectiveness of our definitions both for $(r,s)$-generating functions and $(r,s)$-Drinfeld realization in the framework of establishing the two-parameter vertex representation theory.
Basic Calculations on Clifford Algebras

Guillermo Morales-Luna

DOI: https://doi.org/10.48550/arXiv.math/0702896

2007-03-01

Abstract:Clifford algebras are important structures in Geometric Algebra and Quantum Mechanics. They have allowed a formalization of the primitive operators in Quantum Theory. The algebras are built over vector spaces with dimension a power of 2 with addition and multiplication being effectively computable relative to the computability of their own spaces. Here we emphasize the algorithmic notions of the Clifford algebras. We recall the reduction of Clifford algebras into isomorphic structures also suitable for symbolic manipulation.

Algebraic Geometry
The $q$-Onsager Algebra and the Quantum Torus

Owen Goff

2023-05-10

Abstract:The $q$-Onsager algebra, denoted $O_q$, is defined by two generators $W_0, W_1$ and two relations called the $q$-Dolan-Grady relations. Recently, Terwilliger introduced some elements of $O_q$, said to be alternating. These elements are denoted $\{{W}_{-k}\}_{k=0}^{\infty}, \{{W}_{k+1}\}_{k=0}^{\infty}, \{{G}_{k+1}\}_{k=0}^{\infty}, \{\tilde{G}_{k+1}\}_{k=0}^{\infty}$. The alternating elements of $O_q$ are defined recursively. By construction, they are polynomials in $W_0$ and $W_1$. It is currently unknown how to express these polynomials in closed form. In this paper, we consider an algebra $T_q$, called the quantum torus. We present a basis for $T_q$ and define an algebra homomorphism $p: O_q \mapsto T_q$. In our main result, we express the $p$-images of the alternating elements of $O_q$ in the basis for $T_q$. These expressions are in a closed form that we find attractive.

Quantum Algebra
Quantum graphs, subfactors and tensor categories I

Michael Brannan,Roberto Hernández Palomares

2024-09-03

Abstract:We develop an equivariant theory of graphs with respect to quantum symmetries and present a detailed exposition of various examples. We portray unitary tensor categories as a unifying framework encompassing all finite classical simple graphs, (quantum) Cayley graphs of finite (quantum) groupoids, and all finite-dimensional quantum graphs. We model a quantum set by a finite-index inclusion of C*-algebras and use the quantum Fourier transform to obtain all possible adjacency operators. In particular, we show every finite-index subfactor can be regarded as a complete quantum graph and describe how to find all its subgraphs. As applications, we prove a version of Frucht's Theorem for finite quantum groupoids, and introduce a version of path spaces for quantum graphs.

Operator Algebras,Quantum Algebra

Generators and Relations for 2-Qubit Clifford+T Operators

Generators and Relations for 3-Qubit Clifford+CS Operators

Duality theory for Clifford tensor powers

The Clifford theory of the $n$-qubit Clifford group

Clifford Orbits from Cayley Graph Quotients

Classification of the Subgroups of the Two-Qubit Clifford Group

Complete equational theories for classical and quantum Gaussian relations

Group theoretic properties of Clifford multiplication on 2-torsion points on the Dirac Spinor Abelian Variety

Reduced quiver quantum toroidal algebras

Arithmeticity, thinness and efficiency of qutrit Clifford+T gates

Certain Clifford-like algebra and quantum vertex algebras

Extended Baxter relations and QQ-systems for quantum affine algebras

Atomic basis of quantum cluster algebra of type $\widetilde{A}_{2n-1,1}$

Commuting Clifford actions

Multiqubit Clifford groups are unitary 3-designs

Tannakian QFT: from spark algebras to quantum groups

Generating Functions with $\tau$-Invariance and Vertex Representations of Quantum Affine Algebras $U_{r,s}(\widehat{\mathfrak{g}})$ (I): Simply-laced Cases

Basic Calculations on Clifford Algebras

The $q$-Onsager Algebra and the Quantum Torus

Quantum graphs, subfactors and tensor categories I