Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0012009 · Journal of Mathematical Physics

Noncommutative tori and universal sets of nonbinary quantum gates

Alexander Yu. Vlasov

Published Jun 1, 2002• 17 citations
arXivHTMLPDF

Abstract

We address the problem of universality in simulation of evolution of quantum system and in theory of quantum computations related with the possibility of expression or approximation of arbitrary unitary transformation by composition of specific unitary transformations (quantum gates) from given set. In an earlier paper application of Clifford algebras to constructions of universal sets of binary quantum gates Uk∈U(2n) was shown. For application of a similar approach to nonbinary quantum gates Uk∈U(ln), in present work we used rational noncommutative torus T1/l2n. A set of universal nonbinary two-gates is presented here as one example.

DOI
10.1063/1.1476391

Related papers

Noncommutative tori and universal sets of non-binary quantum gates

Vlasov, A Yu

Problem of universality in simulation of evolution of quantum system and in theory of quantum computations related with possibility of expression or approximation of arbitrary unitary transformation by composition of specific unitary transformations (quantum gates) from given set. In earlier paper (quant-ph/0010071) was shown application of Clifford algebras to constructions of universal sets of binary quantum gates $U_k \\in U(2^n)$. For application of similar approach to non-binary quantum gates $U_k \\in U(l^n)$ in present work is used rational noncommutative torus ${\\Bbb T}^{2n}_{1/l}$. Set of universal non-binary two-gates is presented here as one of examples.

•Dec 1, 2000•22 citations

Clifford algebras, noncommutative tori and universal quantum computers

Alexander Yu. Vlasov

Recently author suggested [quant-ph/0010071] an application of Clifford algebras for construction of a "compiler" for universal binary quantum computer together with later development [quant-ph/0012009] of the similar idea for a non-binary base. The non-binary case is related with application of some extension of idea of Clifford algebras. It is noncommutative torus defined by polynomial algebraic relations of order l. For l=2 it coincides with definition of Clifford algebra. Here is presented the joint consideration and comparison of both cases together with some discussion on possible physical consequences.

arXiv:quant-ph/0109010•Sep 3, 2001•0 citations

Quantum circuits and Spin(3n) groups

Alexander Yu. Vlasov

All quantum gates with one and two qubits may be described by elements of Spin groups due to isomorphisms Spin(3)\isomSU(2) and Spin(6)\isomSU(4). However, the group of n-qubit gates SU(2^n) for n>2 has bigger dimension than Spin(3n). A quantum circuit with one- and two-qubit gates may be used for construction of arbitrary unitary transformation SU(2^n). Analogously, the `$Spin(3n)$ circuits' are introduced in this work as products of elements associated with one- and two-qubit gates with respect to the above-mentioned isomorphisms. The matrix tensor product implementation of the Spin(3n) group together with relevant models by usual quantum circuits with 2n qubits are investigated in such a framework. A certain resemblance with well-known sets of non-universal quantum gates (e.g., matchgates, noninteracting-fermion quantum circuits) related with Spin(2n) may be found in presented approach. Finally, a possibility of the classical simulation of such circuits in polynomial time is discussed.

arXiv:1311.1666•Quantum Information and Computation•Mar 1, 2015•3 citations

Elementary gates for quantum computation

Adriano Barenco, Charles H. Bennett, Richard Cleve +6 more

We show that a set of gates that consists of all one-bit quantum gates [U(2)] and the two-bit exclusive-OR gate [that maps Boolean values (x,y) to (x,x\ensuremath{\bigoplus}y)] is universal in the sense that all unitary operations on arbitrarily many bits n [U(${2}^{\mathit{n}}$)] can be expressed as compositions of these gates. We investigate the number of the above gates required to implement other gates, such as generalized Deutsch-Toffoli gates, that apply a specific U(2) transformation to one input bit if and only if the logical and of all remaining input bits is satisfied. These gates play a central role in many proposed constructions of quantum computational networks. We derive upper and lower bounds on the exact number of elementary gates required to build up a variety of two- and three-bit quantum gates, the asymptotic number required for n-bit Deutsch-Toffoli gates, and make some observations about the number required for arbitrary n-bit unitary operations.

arXiv:quant-ph/9503016•Physical Review A•Nov 1, 1995•4,309 citations

Clifford algebras and universal sets of quantum gates

Alexander Yu. Vlasov

In this paper is shown an application of Clifford algebras to the construction of computationally universal sets of quantum gates for n-qubit systems. It is based on the well-known application of Lie algebras together with the especially simple commutation law for Clifford algebras, which states that all basic elements either commute or anticommute.

arXiv:quant-ph/0010071•Physical Review A•Apr 17, 2001•42 citations

Universality in quantum computation

Jennifer L. Dodd

A quantum computer is similar to an ordinary computer, except that instead of bits it uses two-level quantum systems (qubits), and the usual logical operations on bits are replaced with noiseless quantum dynamics in the form of unitary gates or Hamiltonian interactions. Many sets of resources that are universal for quantum computation (that is, capable of implementing any quantum computation) have been found, but general conditions for universality are still only partially understood. Improving our understanding of these conditions contributes to two broad goals. On the one hand, understanding what class of physical systems is suitable for quantum computation allows us choose the systems that are most easily controlled or built in the laboratory. On the other hand, identifying the unifying characteristics of such a class provides insight into the fundamental physics responsible for the much greater computational power of quantum computers.        The original results presented in this thesis are a contribution to our understanding of the physical requirements for universal quantum computation. These results lead to the identification of a new, large class of universal dynamics. More specifically, the main problem that is addressed is the following: consider a physical system that is made up of a finite number of qubits that are subject to a natural, fixed interaction described by a two-body Hamiltonian. Suppose we have the ability to control the system only by applying fast one-qubit operations. Under what conditions is this system capable of universal quantum computation? The first original result of the thesis is to prove that universal quantum computation is possible under these conditions given the single extra constraint that the Hamiltonian must entangle, or connect, all of the qubits. In other words, since a two-body Hamiltonian is expressible as a sum of coupling terms each of which acts nontrivially on a pair of qubits, consider the graph whose vertices correspond to qubits and whose edges connect qubits that are coupled by a term in the Hamiltonian. Then this Hamiltonian, together with fast one-qubit unitaries, is universal for quantum computation precisely when the corresponding graph is connected.       This result suggests many potential generalizations, three of which are explored in this thesis. The first generalization is to show that the same result holds for a two-body Hamiltonian that acts on D-dimensional quantum systems (qudits), given fast one-qudit unitaries. A second extension is to the case of a many-body Hamiltonian, that is, a Hamiltonian that has coupling terms that act on more than two qubits. Again, we find that under mild restrictions, such Hamiltonians are universal provided they are connected and that arbitrary one-qubit unitaries are available. We also discover and explore some surprising structure in many-body Hamiltonians that is associated with the parity of the couplings. A third related problem that is addressed is the question of what two-qubit unitaries are universal for quantum computation. This problem was originally solved by J.-L. and R. Brylinski [BB02], who gave a technical proof of the universality of any two-qudit gate that is not the swap gate or a product of one-qudit unitaries, given one-qudit unitaries as a free resource. We develop an elementary and constructive proof for the case of qubits, and prove that our construction is very close to optimal in the number of uses of the two-qubit gate.       Given a qualitative understanding of what dynamical resources are universal for quantum computation, it is natural to consider developing a quantitative measure of the usefulness of quantum dynamics for quantum information processing. This is done in the final chapter of the thesis, in which the beginnings of a quantitative theory of quantum dynamics are developed.

•Jan 1, 2004•7 citations
We address the problem of universality in simulation of evolution of quantum system and in theory of quantum computations related with the possibility of expression or approximation of arbitrary unitary transformation by composition of specific unitary transformations (quantum gates) from given set. In an earlier paper application of Clifford algebras to constructions of universal sets of binary quantum gates Uk∈U(2n) was shown. For application of a similar approach to nonbinary quantum gates Uk∈U(ln), in present work we used rational noncommutative torus T1/l2n. A set of universal nonbinary two-gates is presented here as one example.
Problem of universality in simulation of evolution of quantum system and in theory of quantum computations related with possibility of expression or approximation of arbitrary unitary transformation by composition of specific unitary transformations (quantum gates) from given set. In earlier paper (quant-ph/0010071) was shown application of Clifford algebras to constructions of universal sets of binary quantum gates UkinU(2n)U_k \\in U(2^n)Uk​inU(2n). For application of similar approach to non-binary quantum gates UkinU(ln)U_k \\in U(l^n)Uk​inU(ln) in present work is used rational noncommutative torus BbbT1/l2n{\\Bbb T}^{2n}_{1/l}BbbT1/l2n​. Set of universal non-binary two-gates is presented here as one of examples.
Recently author suggested [quant-ph/0010071] an application of Clifford algebras for construction of a "compiler" for universal binary quantum computer together with later development [quant-ph/0012009] of the similar idea for a non-binary base. The non-binary case is related with application of some extension of idea of Clifford algebras. It is noncommutative torus defined by polynomial algebraic relations of order l. For l=2 it coincides with definition of Clifford algebra. Here is presented the joint consideration and comparison of both cases together with some discussion on possible physical consequences.
All quantum gates with one and two qubits may be described by elements of Spin groups due to isomorphisms Spin(3)\isomSU(2) and Spin(6)\isomSU(4). However, the group of n-qubit gates SU(2^n) for n>2 has bigger dimension than Spin(3n). A quantum circuit with one- and two-qubit gates may be used for construction of arbitrary unitary transformation SU(2^n). Analogously, the `Spin(3n)Spin(3n)Spin(3n) circuits' are introduced in this work as products of elements associated with one- and two-qubit gates with respect to the above-mentioned isomorphisms. The matrix tensor product implementation of the Spin(3n) group together with relevant models by usual quantum circuits with 2n qubits are investigated in such a framework. A certain resemblance with well-known sets of non-universal quantum gates (e.g., matchgates, noninteracting-fermion quantum circuits) related with Spin(2n) may be found in presented approach. Finally, a possibility of the classical simulation of such circuits in polynomial time is discussed.
We show that a set of gates that consists of all one-bit quantum gates [U(2)] and the two-bit exclusive-OR gate [that maps Boolean values (x,y) to (x,x\ensuremath{\bigoplus}y)] is universal in the sense that all unitary operations on arbitrarily many bits n [U(2n{2}^{\mathit{n}}2n)] can be expressed as compositions of these gates. We investigate the number of the above gates required to implement other gates, such as generalized Deutsch-Toffoli gates, that apply a specific U(2) transformation to one input bit if and only if the logical and of all remaining input bits is satisfied. These gates play a central role in many proposed constructions of quantum computational networks. We derive upper and lower bounds on the exact number of elementary gates required to build up a variety of two- and three-bit quantum gates, the asymptotic number required for n-bit Deutsch-Toffoli gates, and make some observations about the number required for arbitrary n-bit unitary operations.
A quantum computer is similar to an ordinary computer, except that instead of bits it uses two-level quantum systems (qubits), and the usual logical operations on bits are replaced with noiseless quantum dynamics in the form of unitary gates or Hamiltonian interactions. Many sets of resources that are universal for quantum computation (that is, capable of implementing any quantum computation) have been found, but general conditions for universality are still only partially understood. Improving our understanding of these conditions contributes to two broad goals. On the one hand, understanding what class of physical systems is suitable for quantum computation allows us choose the systems that are most easily controlled or built in the laboratory. On the other hand, identifying the unifying characteristics of such a class provides insight into the fundamental physics responsible for the much greater computational power of quantum computers.        The original results presented in this thesis are a contribution to our understanding of the physical requirements for universal quantum computation. These results lead to the identification of a new, large class of universal dynamics. More specifically, the main problem that is addressed is the following: consider a physical system that is made up of a finite number of qubits that are subject to a natural, fixed interaction described by a two-body Hamiltonian. Suppose we have the ability to control the system only by applying fast one-qubit operations. Under what conditions is this system capable of universal quantum computation? The first original result of the thesis is to prove that universal quantum computation is possible under these conditions given the single extra constraint that the Hamiltonian must entangle, or connect, all of the qubits. In other words, since a two-body Hamiltonian is expressible as a sum of coupling terms each of which acts nontrivially on a pair of qubits, consider the graph whose vertices correspond to qubits and whose edges connect qubits that are coupled by a term in the Hamiltonian. Then this Hamiltonian, together with fast one-qubit unitaries, is universal for quantum computation precisely when the corresponding graph is connected.       This result suggests many potential generalizations, three of which are explored in this thesis. The first generalization is to show that the same result holds for a two-body Hamiltonian that acts on D-dimensional quantum systems (qudits), given fast one-qudit unitaries. A second extension is to the case of a many-body Hamiltonian, that is, a Hamiltonian that has coupling terms that act on more than two qubits. Again, we find that under mild restrictions, such Hamiltonians are universal provided they are connected and that arbitrary one-qubit unitaries are available. We also discover and explore some surprising structure in many-body Hamiltonians that is associated with the parity of the couplings. A third related problem that is addressed is the question of what two-qubit unitaries are universal for quantum computation. This problem was originally solved by J.-L. and R. Brylinski [BB02], who gave a technical proof of the universality of any two-qudit gate that is not the swap gate or a product of one-qudit unitaries, given one-qudit unitaries as a free resource. We develop an elementary and constructive proof for the case of qubits, and prove that our construction is very close to optimal in the number of uses of the two-qubit gate.       Given a qualitative understanding of what dynamical resources are universal for quantum computation, it is natural to consider developing a quantitative measure of the usefulness of quantum dynamics for quantum information processing. This is done in the final chapter of the thesis, in which the beginnings of a quantitative theory of quantum dynamics are developed.