Universality of local unitary transformations is one of the cornerstones of quantum computing with many applications and implications that go beyond this field. However, it has recently been shown that this universality does not hold in the presence of continuous symmetries: generic symmetric unitaries on a composite system cannot be implemented, even approximately, using local symmetric unitaries on the subsystems. In this Letter, we show that, despite these constraints, any SU(2) rotationally invariant unitary can be realized with the Heisenberg exchange interaction, which is 2-local and rotationally invariant, provided that the system interacts with a pair of ancilla qubits. We also show that a single ancilla is not enough to achieve universality. Furthermore, we study qubit circuits formed from k-local rotationally invariant unitaries and fully characterize the constraints imposed by locality on the realizable unitaries. We also find an interpretation of these constraints in terms of the average energy of states with a fixed angular momentum.
Universality of local unitary transformations is one of the cornerstones of quantum computing with many applications and implications that go beyond this field. However, it has recently been shown that this universality does not hold in the presence of continuous symmetries: generic symmetric unitaries on a composite system cannot be implemented, even approximately, using local symmetric unitaries on the subsystems. In this Letter, we show that, despite these constraints, any SU(2) rotationally invariant unitary can be realized with the Heisenberg exchange interaction, which is 2-local and rotationally invariant, provided that the system interacts with a pair of ancilla qubits. We also show that a single ancilla is not enough to achieve universality. Furthermore, we study qubit circuits formed from k-local rotationally invariant unitaries and fully characterize the constraints imposed by locality on the realizable unitaries. We also find an interpretation of these constraints in terms of the average energy of states with a fixed angular momentum.
Abstract According to an elementary result in quantum computing, any unitary transformation on a composite system can be generated using 2-local unitaries, i.e., those that act only on two subsystems. Beside its fundamental importance in quantum computing, this result can also be regarded as a statement about the dynamics of systems with local Hamiltonians: although locality puts various constraints on the short-term dynamics, it does not restrict the possible unitary evolutions that a composite system with a general local Hamiltonian can experience after a sufficiently long time. We ask if such universality remains valid in the presence of conservation laws and global symmetries. In particular, can k-local symmetric unitaries on a composite system generate all symmetric unitaries on that system? Surprisingly, it turns out that the answer is negative in the case of continuous symmetries, such as U(1) and SU(2): generic symmetric unitaries cannot be implemented, even approximately, using local symmetric unitaries. In the context of quantum thermodynamics this means that generic energy-conserving unitary transformations on a composite system cannot be implemented by applying local energy-conserving unitary transformations on the components. We also show how this no-go theorem can be circumvented via catalysis: any globally energy-conserving unitary can be implemented using a sequence of 2-local energy-conserving unitaries, provided that one can use a single ancillary qubit (catalyst).
Local symmetric quantum circuits provide a simple framework to study the dynamics and phases of complex quantum systems with conserved charges. However, some of their basic properties have not yet been understood. Recently, it has been shown that such quantum circuits only generate a restricted subset of symmetric unitary transformations [I. Marvian, Nature Physics, 2022]. In this paper, we consider circuits with 2-local SU(d)-invariant unitaries acting on qudits, i.e., d-dimensional quantum systems. Our results reveal a significant distinction between the cases of d = 2 and d>2. For qubits with SU(2) symmetry, arbitrary global rotationally-invariant unitaries can be generated with 2-local ones, up to relative phases between the subspaces corresponding to inequivalent irreducible representations (irreps) of the symmetry, i.e., sectors with different angular momenta. On the other hand, for d>2, in addition to similar constraints on the relative phases between the irreps, locality also restricts the generated unitaries inside these conserved subspaces. These constraints impose conservation laws that hold for dynamics under 2-local SU(d)-invariant unitaries, but are violated under general SU(d)-invariant unitaries. Based on this result, we show that the distribution of unitaries generated by random 2-local SU(d)-invariant unitaries does not converge to the Haar measure over the group of all SU(d)-invariant unitaries, and in fact, for d>2, is not even a 2-design for the Haar distribution.
Local symmetric quantum circuits are those that contain only local unitaries that respect a certain symmetry. These circuits provide a simple framework to study the dynamics and phases of complex quantum systems with conserved charges; however, some of their basic properties have not yet been understood. Recently, it has been shown that such quantum circuits only generate a restricted subset of symmetric unitary transformations. In this paper, we consider circuits with 2-local SU(d)-invariant unitaries acting on qudits, i.e., d-dimensional quantum systems. Our results reveal a significant distinction between the cases of d=2 and d>=3. For qubits with SU(2) symmetry, arbitrary global rotationally-invariant unitaries can be generated with 2-local ones, up to relative phases between the subspaces corresponding to inequivalent irreducible representations (irreps) of the symmetry, i.e., sectors with different angular momenta. On the other hand, for d>=3, in addition to similar constraints on relative phases between the irreps, locality also restricts the generated unitaries inside these conserved subspaces. In particular, for certain irreps of SU(d), the dynamics under 2-local SU(d)-invariant unitaries can be mapped to the dynamics of a non-interacting (free) fermionic system, whereas for general 3-local ones, the corresponding fermionic model is interacting. Using this correspondence, we obtain new conservation laws for dynamics under 2-local SU(d)-invariant unitaries. Furthermore, we identify a Z2 symmetry related to the parity of permutations which imposes additional conservation laws for systems with n =3. Our results imply that the distribution of unitaries generated by random 2-local SU(d)-invariant unitaries does not converge to the Haar measure over the group of all SU(d)-invariant unitaries, and in fact, for d>=3, is not even a 2-design for the Haar distribution.
Quantum circuits with gates (local unitaries) respecting a global symmetry have broad applications in quantum information science and related fields, such as condensed-matter theory and quantum thermodynamics. However, despite their widespread use, fundamental properties of such circuits are not well understood. Recently, it was found that generic unitaries respecting a global symmetry cannot be realized, even approximately, using gates that respect the same symmetry. This observation raises important open questions: What unitary transformations can be realized with k -local gates that respect a global symmetry? In other words, in the presence of a global symmetry, how does the locality of interactions constrain the possible time evolution of a composite system? In this work, we address these questions for the case of Abelian (commutative) symmetries and develop constructive methods for synthesizing circuits with such symmetries. Remarkably, as a corollary, we find that, while the locality of interactions still imposes additional constraints on realizable unitaries, certain restrictions observed in the case of non-Abelian symmetries do not apply to circuits with Abelian symmetries. For instance, in circuits with a general non-Abelian symmetry such as SU ( d ) , the unitary realized in a subspace with one irreducible representation (charge) of the symmetry dictates the realized unitaries in multiple other sectors with inequivalent representations of the symmetry. Furthermore, in certain sectors, rather than all unitaries respecting the symmetry, the realizable unitaries are the symplectic or orthogonal subgroups of this group. We prove that none of these restrictions appears in the case of Abelian symmetries. This result suggests that global non-Abelian symmetries may affect the thermalization of quantum systems in ways not possible under Abelian symmetries. Published by the American Physical Society 2024
Abstract We study quantum circuits constructed from i SWAP gates and, more generally, from the entangling gates that can be realized with the XX + YY interaction alone. Such gates preserve the Hamming weight of states in the computational basis, which means they respect the global U(1) symmetry corresponding to rotations around the z axis. Equivalently, assuming that the intrinsic Hamiltonian of each qubit in the system is the Pauli Z operator, they conserve the total energy of the system. We develop efficient methods for synthesizing circuits realizing any desired energy-conserving unitary using XX + YY interaction with or without single-qubit rotations around the z axis. Interestingly, implementing generic energy-conserving unitaries, such as CCZ and Fredkin gates, with two-local energy-conserving gates requires the use of ancilla qubits. When single-qubit rotations around the z-axis are permitted, our scheme requires only a single ancilla qubit, whereas with the XX+YY interaction alone, it requires two ancilla qubits. In addition to exact realizations, we also consider approximate realizations and show how a general energy-conserving unitary can be synthesized using only a sequence of i SWAP gates and two ancillary qubits, with arbitrarily small error, which can be bounded via the Solovay–Kitaev theorem. Our methods are also applicable for synthesizing energy-conserving unitaries when, rather than the XX + YY interaction, one has access to any other energy-conserving two-body interaction that is not diagonal in the computational basis, such as the Heisenberg exchange interaction. We briefly discuss the applications of these circuits in the context of quantum computing, quantum thermodynamics, and quantum clocks.
We characterize a model of universal quantum computation where the register (computational) qubits are controlled by ancillary qubits, using only a single fixed interaction between register and ancillary qubits. No additional access is required to the computational register and the dynamics of both the register and ancilla are unitary. This scheme is inspired by the measurement-based ancilla-driven quantum computation of Anders et al. [Phys. Rev. A 82, 020301(R) (2010)], but does not require measurements of the ancillas, and in this respect is similar to the original gate-based model of quantum computation. We consider what possible forms this ancilla-register interaction can take, with a proof that the interaction is necessarily locally equivalent to swap combined with an entangling controlled gate. We further show which Hamiltonians can create such interactions and discuss two examples; the two-qubit XY Hamiltonian and a particular case of the XXZ Hamiltonian. We then give an example of a simple, finite, and fault-tolerant gate set for universal quantum computation in this model.