Invariant subspaces of two-qubit quantum gates and their application in
the verification of quantum computers
- URL: http://arxiv.org/abs/2009.03642v2
- Date: Wed, 9 Sep 2020 10:55:33 GMT
- Title: Invariant subspaces of two-qubit quantum gates and their application in
the verification of quantum computers
- Authors: Yordan S. Yordanov, Jacob Chevalier-Drori, Thierry Ferrus, Matthew
Applegate and Crispin H. W. Barnes
- Abstract summary: 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.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We investigate the groups generated by the sets of $CP$, $CNOT$ and
$SWAP^\alpha$ (power-of-SWAP) quantum gate operations acting on $n$ qubits.
Isomorphisms to standard groups are found, and using techniques from
representation theory, we are able to determine the invariant subspaces of the
$n-$qubit Hilbert space under the action of each group. For the $CP$ operation,
we find isomorphism to the direct product of $n(n-1)/2$ cyclic groups of order
$2$, and determine $2^n$ $1$-dimensional invariant subspaces corresponding to
the computational state-vectors. For the $CNOT$ operation, we find isomorphism
to the general linear group of an $n$-dimensional space over a field of $2$
elements, $GL(n,2)$, and determine two $1$-dimensional invariant subspaces and
one $(2^n-2)$-dimensional invariant subspace. For the $SWAP^\alpha$ operation
we determine a complex structure of invariant subspaces with varying dimensions
and occurrences and present a recursive procedure to construct them. As an
example of an application for our work, we suggest that these invariant
subspaces can be used to construct simple formal verification procedures to
assess the operation of quantum computers of arbitrary size.
Related papers
- A Novel Finite Fractional Fourier Transform and its Quantum Circuit Implementation on Qudits [0.0]
We present a new number theoretic definition of discrete fractional Fourier transform (DFrFT)
The DFrFT is defined as the $N times N$ dimensional unitary representation of the generator of the arithmetic rotational group $SO_2[mathbbZ_pn]$.
arXiv Detail & Related papers (2024-09-09T16:15:53Z) - Scaling of symmetry-restricted quantum circuits [42.803917477133346]
In this work, we investigate the properties of $mathcalMSU(2N)$, $mathcalM$-invariant subspaces of the special unitary Lie group $SU(2N)$.
arXiv Detail & Related papers (2024-06-14T12:12:15Z) - 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) - 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) - 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) - 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) - Threshold size for the emergence of a classical-like behaviour [68.8204255655161]
We design a procedure to estimate the minimum size beyond which a system is amenable to a classical-like description.
The specific case of a magnetic system is considered, with details of a gedanken experiment presented and thoroughly commented.
arXiv Detail & Related papers (2022-03-25T11:31:14Z) - Conditions for realizing one-point interactions from a multi-layer
structure model [77.34726150561087]
A heterostructure composed of $N$ parallel homogeneous layers is studied in the limit as their widths shrink to zero.
The problem is investigated in one dimension and the piecewise constant potential in the Schr"odinger equation is given.
arXiv Detail & Related papers (2021-12-15T22:30:39Z) - 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) - Some oscillatory representations of fuzzy conformal group SU(2,2) with
positive energy [0.0]
We construct the relativistic fuzzy space as a non-commutative algebra of functions with purely structural and abstract coordinates.
We construct two classes of irreducible representations of $su (2,2)$ algebra with textithalf-integer dimension $d$.
arXiv Detail & Related papers (2020-01-23T08:56:03Z)
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.