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:2601.13808

Composing $p$-adic qubits: from representations of SO(3)$_p$ to entanglement and universal quantum logic gates

Ilaria Svampa, Sonia L'Innocente, Stefano Mancini, Andreas Winter

quant-phmath-phmath.RTSubmitted Jan 20, 2026• Announced Jan 21, 2026• 0 citations
arXivHTMLPDF

Abstract

In the context of $p$-adic quantum mechanics, we investigate composite systems of $p$-adic qubits and $p$-adically controlled quantum logic gates. We build on the notion of a single $p$-adic qubit as a two-dimensional irreducible representation of the compact $p$-adic special orthogonal group SO(3)$_p$. We show that the classification of these representations reduces to the finite case, as they all factorise through some finite quotient SO(3)$_p$ mod $p^k$. Then, we tackle the problem of $p$-adic qubit composition and entanglement, fundamental for a $p$-adic formulation of quantum information processing. We classify the representations of SO(3)$_p$ mod $p$, and analyse tensor products of two $p$-adic qubit representations lifted from SO(3)$_p$ mod $p$. We solve the Clebsch-Gordan problem for such systems, revealing that the coupled bases decompose into singlet and doublet states. We further study entanglement arising from those stable subsystems. For $p=3$, we construct a set of gates from $4$-dimensional irreducible representations of SO(3)$_p$ mod $p$ that we prove to be universal for quantum computation.

Comments
Codes accompanying the paper at the GitLAB repository https://gitlab.git.nrw/isvampa/composing-p-adic-qubits.git

Related papers

An approach to p-adic qubits from irreducible representations of SO(3)p

Ilaria Svampa, Stefano Mancini, Andreas Winter

We introduce the notion of a p-adic quantum bit (p-qubit) in the context of the p-adic quantum mechanics initiated and developed after the seminal paper of Volovich [Theor. Math. Phys. 71, 574 (1987)]. In this approach, physics takes place in a three-dimensional p-adic space rather than Euclidean space. Based on our prior work describing the p-adic special orthogonal group [Di Martino et al., arXiv:2104.06228 [math.NT] (2021)], we outline a program to classify its continuous unitary projective representations, which can be interpreted as a theory of p-adic angular momentum. The p-adic quantum bit arises from the irreducible representations of minimal nontrivial dimension two, of which we construct examples for all primes p.

arXiv:2112.03362•Journal of Mathematical Physics•Jul 1, 2022•4 citations

The Classification of Clifford Gates over Qubits

Daniel Grier, Luke Schaeffer

We examine the following problem: given a collection of Clifford gates, describe the set of unitaries generated by circuits composed of those gates. Specifically, we allow the standard circuit operations of composition and tensor product, as well as ancillary workspace qubits as long as they start and end in states uncorrelated with the input, which rule out common "magic state injection" techniques that make Clifford circuits universal. We show that there are exactly 57 classes of Clifford unitaries and present a full classification characterizing the gate sets which generate them. This is the first attempt at a quantum extension of the classification of reversible classical gates introduced by Aaronson et al., another part of an ambitious program to classify all quantum gate sets. The classification uses, at its center, a reinterpretation of the tableau representation of Clifford gates to give circuit decompositions, from which elementary generators can easily be extracted. The 57 different classes are generated in this way, 30 of which arise from the single-qubit subgroups of the Clifford group. At a high level, the remaining classes are arranged according to the bases they preserve. For instance, the CNOT gate preserves the X and Z bases because it maps X-basis elements to X-basis elements and Z-basis elements to Z-basis elements. The remaining classes are characterized by more subtle tableau invariants; for instance, the T_4 and phase gate generate a proper subclass of Z-preserving gates.

arXiv:1603.03999•Quantum•Jun 13, 2022•15 citations

Algebraic and Mathematical Foundations of Quantum Computation: Hilbert Spaces, Group Structures, and Quantum Algorithms

Bhavesh B. Prajapati

Quantum computation is, at bottom, a branch of applied algebra and functional analysis: the state of a quantum register is a unit vector in a finite-dimensional complex Hilbert space, computation is the action of the unitary group on that space, and the structure of the most important quantum algorithms is dictated by the representation theory of finite and continuous groups. This paper develops the mathematical scaffolding of the field from first principles and uses it to explain why quantum computers can outperform classical ones. We review complex inner-product spaces, self-adjoint and unitary operators, the spectral theorem, and the tensor-product construction that gives rise to entanglement and the exponential dimension of the state space. We then describe the qubit and its geometry, the group-theoretic classification of quantum gates (the special unitary groups, the Pauli and Clifford groups, and their Lie-algebraic generators), and the universality results that justify finite gate sets together with the Solovay–Kitaev theorem. With this apparatus we analyse the quantum Fourier transform, phase estimation, and the hidden subgroup problem, showing how Shor’s factoring algorithm, Grover’s search, and the quantum linear-systems algorithm arise as instances of a small number of algebraic templates. Finally we treat the stabilizer formalism of quantum error correction—where finite abelian groups over GF(2) play the central role—and the variational, near-term (NISQ) algorithms that dominate current practice. Throughout, the emphasis is on the algebraic invariants that make quantum speed-ups possible.

Communications on Applied Nonlinear Analysis•Jan 24, 2025•0 citations

Universality in composite quantum systems

Alejandro Borda Kuhlmann

Qudits are the natural generalization of qubits, that is, the basic unit of information in quantum computation. This generalization allows for quantum states to be represented with the same cyclic nature present in qubits, while also permitting the basic unit of information to be stored in d-level systems. In this document, we are concerned with studying universality over qudits on arbitrary dimension d. The question of single-qudit universality of a set of operators can be reduced to studying the adjoint representation of the set and determining whether or not its generated group is finite. Thus, we set out to find universal sets of operators in quantum computation over qudits, for any possible value of d. Moreover, we focus on finding “Clifford + T-like” universal sets of operators in arbitrary dimensions, in the hopes of maintaining a strong analog to the qubits case and its most studied universal set. We accomplish this goal by studying how the Clifford group behaves on arbitrary dimensions, and how this behavior relates to the typical Clifford group in prime dimensions. Furthermore, we find that the Clifford group on arbitrary dimension splits as the typical Clifford group on each of the coprime factors of d, which leads to a fundamental difference between the study of universality on prime power dimensions and arbitrary dimensions containing co-prime factors. Then, we focus on studying the structure of universal sets in dimension d, for any d containing at least two co-prime factors. Thus, after studying which T-like gates drive the single-qudit Clifford group to universality on prime power dimensions; that is, guaranteeing the irreducibility of the adjoint representation and an infinite generated group, we combine these two approaches to obtain “Clifford + T-like” universal sets on all possible dimensions.

•Dec 2, 2025•0 citations

Geometric methods in quantum computation

Jun Zhang, Shankar Sastry

Recent advances in the physical sciences and engineering have created great hopes for new computational paradigms and substrates. One such new approach is the quantum computer, which holds the promise of enhanced computational power. Analogous to the way a classical computer is built from electrical circuits containing wires and logic gates, a quantum computer is built from quantum circuits containing quantum wires and elementary quantum gates to transport and manipulate quantum information. Therefore, design of quantum gates and quantum circuits is a prerequisite for any real application of quantum computation. In this dissertation we apply geometric control methods from differential geometry and Lie group representation theory to analyze the properties of quantum gates and to design optimal quantum circuits. Using the Cartan decomposition and the Weyl group, we show that the geometric structure of nonlocal two-qubit gates is a 3-Torus. After further reducing the symmetry, the geometric representation of nonlocal gates is seen to be conveniently visualized as a tetrahedron. Each point in this tetrahedron except on the base corresponds to a different equivalent class of nonlocal gates. This geometric representation is one of the cornerstones for the discussion on quantum computation in this dissertation. We investigate the properties of those two-qubit operations that can generate maximal entanglement. It is an astonishing finding that if we randomly choose a two-qubit operation, the probability that we obtain a perfect entangler is exactly one half. We prove that given a two-body interaction Hamiltonian, it is always possible to explicitly construct a quantum circuit for exact simulation of any arbitrary nonlocal two-qubit gate by turning on the two-body interaction for at most three times, together with at most four local gates. We also provide an analytic approach to construct a universal quantum circuit from any entangling gate supplemented with local gates. Closed form solutions have been derived for each step in this explicit construction procedure. Moreover, the minimum upper bound is found to construct a universal quantum circuit from any Controlled-Unitary gate. A near optimal explicit construction of universal quantum circuits from a given Controlled-Unitary is provided. For the Controlled-NOT and Double-CNOT gate, we then develop simple analytic ways to construct universal quantum circuits with exactly three applications, which is the least possible for these gates. We further discover a new quantum gate (named B gate) that achieves the desired universality with minimal number of gates. Optimal implementation of single-qubit quantum gates is also investigated. Finally, as a real physical application, a constructive way to implement any arbitrary two-qubit operation on a spin electronics system is discussed.

•Jan 1, 2003•1 citation

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
Composing ppp-adic qubits: from representations of SO(3)p_pp​ to entanglement and universal quantum logic gates
In the context of ppp-adic quantum mechanics, we investigate composite systems of ppp-adic qubits and ppp-adically controlled quantum logic gates. We build on the notion of a single ppp-adic qubit as a two-dimensional irreducible representation of the compact ppp-adic special orthogonal group SO(3)p_pp​. We show that the classification of these representations reduces to the finite case, as they all factorise through some finite quotient SO(3)p_pp​ mod pkp^kpk. Then, we tackle the problem of ppp-adic qubit composition and entanglement, fundamental for a ppp-adic formulation of quantum information processing. We classify the representations of SO(3)p_pp​ mod ppp, and analyse tensor products of two ppp-adic qubit representations lifted from SO(3)p_pp​ mod ppp. We solve the Clebsch-Gordan problem for such systems, revealing that the coupled bases decompose into singlet and doublet states. We further study entanglement arising from those stable subsystems. For p=3p=3p=3, we construct a set of gates from 444-dimensional irreducible representations of SO(3)p_pp​ mod ppp that we prove to be universal for quantum computation.
We introduce the notion of a p-adic quantum bit (p-qubit) in the context of the p-adic quantum mechanics initiated and developed after the seminal paper of Volovich [Theor. Math. Phys. 71, 574 (1987)]. In this approach, physics takes place in a three-dimensional p-adic space rather than Euclidean space. Based on our prior work describing the p-adic special orthogonal group [Di Martino et al., arXiv:2104.06228 [math.NT] (2021)], we outline a program to classify its continuous unitary projective representations, which can be interpreted as a theory of p-adic angular momentum. The p-adic quantum bit arises from the irreducible representations of minimal nontrivial dimension two, of which we construct examples for all primes p.
We examine the following problem: given a collection of Clifford gates, describe the set of unitaries generated by circuits composed of those gates. Specifically, we allow the standard circuit operations of composition and tensor product, as well as ancillary workspace qubits as long as they start and end in states uncorrelated with the input, which rule out common "magic state injection" techniques that make Clifford circuits universal. We show that there are exactly 57 classes of Clifford unitaries and present a full classification characterizing the gate sets which generate them. This is the first attempt at a quantum extension of the classification of reversible classical gates introduced by Aaronson et al., another part of an ambitious program to classify all quantum gate sets. The classification uses, at its center, a reinterpretation of the tableau representation of Clifford gates to give circuit decompositions, from which elementary generators can easily be extracted. The 57 different classes are generated in this way, 30 of which arise from the single-qubit subgroups of the Clifford group. At a high level, the remaining classes are arranged according to the bases they preserve. For instance, the CNOT gate preserves the X and Z bases because it maps X-basis elements to X-basis elements and Z-basis elements to Z-basis elements. The remaining classes are characterized by more subtle tableau invariants; for instance, the T_4 and phase gate generate a proper subclass of Z-preserving gates.
Quantum computation is, at bottom, a branch of applied algebra and functional analysis: the state of a quantum register is a unit vector in a finite-dimensional complex Hilbert space, computation is the action of the unitary group on that space, and the structure of the most important quantum algorithms is dictated by the representation theory of finite and continuous groups. This paper develops the mathematical scaffolding of the field from first principles and uses it to explain why quantum computers can outperform classical ones. We review complex inner-product spaces, self-adjoint and unitary operators, the spectral theorem, and the tensor-product construction that gives rise to entanglement and the exponential dimension of the state space. We then describe the qubit and its geometry, the group-theoretic classification of quantum gates (the special unitary groups, the Pauli and Clifford groups, and their Lie-algebraic generators), and the universality results that justify finite gate sets together with the Solovay–Kitaev theorem. With this apparatus we analyse the quantum Fourier transform, phase estimation, and the hidden subgroup problem, showing how Shor’s factoring algorithm, Grover’s search, and the quantum linear-systems algorithm arise as instances of a small number of algebraic templates. Finally we treat the stabilizer formalism of quantum error correction—where finite abelian groups over GF(2) play the central role—and the variational, near-term (NISQ) algorithms that dominate current practice. Throughout, the emphasis is on the algebraic invariants that make quantum speed-ups possible.
Qudits are the natural generalization of qubits, that is, the basic unit of information in quantum computation. This generalization allows for quantum states to be represented with the same cyclic nature present in qubits, while also permitting the basic unit of information to be stored in d-level systems. In this document, we are concerned with studying universality over qudits on arbitrary dimension d. The question of single-qudit universality of a set of operators can be reduced to studying the adjoint representation of the set and determining whether or not its generated group is finite. Thus, we set out to find universal sets of operators in quantum computation over qudits, for any possible value of d. Moreover, we focus on finding “Clifford + T-like” universal sets of operators in arbitrary dimensions, in the hopes of maintaining a strong analog to the qubits case and its most studied universal set. We accomplish this goal by studying how the Clifford group behaves on arbitrary dimensions, and how this behavior relates to the typical Clifford group in prime dimensions. Furthermore, we find that the Clifford group on arbitrary dimension splits as the typical Clifford group on each of the coprime factors of d, which leads to a fundamental difference between the study of universality on prime power dimensions and arbitrary dimensions containing co-prime factors. Then, we focus on studying the structure of universal sets in dimension d, for any d containing at least two co-prime factors. Thus, after studying which T-like gates drive the single-qudit Clifford group to universality on prime power dimensions; that is, guaranteeing the irreducibility of the adjoint representation and an infinite generated group, we combine these two approaches to obtain “Clifford + T-like” universal sets on all possible dimensions.
Recent advances in the physical sciences and engineering have created great hopes for new computational paradigms and substrates. One such new approach is the quantum computer, which holds the promise of enhanced computational power. Analogous to the way a classical computer is built from electrical circuits containing wires and logic gates, a quantum computer is built from quantum circuits containing quantum wires and elementary quantum gates to transport and manipulate quantum information. Therefore, design of quantum gates and quantum circuits is a prerequisite for any real application of quantum computation. In this dissertation we apply geometric control methods from differential geometry and Lie group representation theory to analyze the properties of quantum gates and to design optimal quantum circuits. Using the Cartan decomposition and the Weyl group, we show that the geometric structure of nonlocal two-qubit gates is a 3-Torus. After further reducing the symmetry, the geometric representation of nonlocal gates is seen to be conveniently visualized as a tetrahedron. Each point in this tetrahedron except on the base corresponds to a different equivalent class of nonlocal gates. This geometric representation is one of the cornerstones for the discussion on quantum computation in this dissertation. We investigate the properties of those two-qubit operations that can generate maximal entanglement. It is an astonishing finding that if we randomly choose a two-qubit operation, the probability that we obtain a perfect entangler is exactly one half. We prove that given a two-body interaction Hamiltonian, it is always possible to explicitly construct a quantum circuit for exact simulation of any arbitrary nonlocal two-qubit gate by turning on the two-body interaction for at most three times, together with at most four local gates. We also provide an analytic approach to construct a universal quantum circuit from any entangling gate supplemented with local gates. Closed form solutions have been derived for each step in this explicit construction procedure. Moreover, the minimum upper bound is found to construct a universal quantum circuit from any Controlled-Unitary gate. A near optimal explicit construction of universal quantum circuits from a given Controlled-Unitary is provided. For the Controlled-NOT and Double-CNOT gate, we then develop simple analytic ways to construct universal quantum circuits with exactly three applications, which is the least possible for these gates. We further discover a new quantum gate (named B gate) that achieves the desired universality with minimal number of gates. Optimal implementation of single-qubit quantum gates is also investigated. Finally, as a real physical application, a constructive way to implement any arbitrary two-qubit operation on a spin electronics system is discussed.
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.