Rotationally-Invariant Circuits: Universality with the exchange interaction and two ancilla qubits

Abstract

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 been recently 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 [I. Marvian, Nature Physics (2022)]. In this work, 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 present an interpretation of these constraints in terms of the average energy of states with a fixed angular momentum. Interestingly, despite these constraints, we show that, using a pair of ancilla qubits, any rotationally-invariant unitary can be realized with the Heisenberg exchange interaction, which is 2-local and rotationally-invariant. We also show that a single ancilla is not enough to achieve universality. Finally, we discuss applications of these results for quantum computing with semiconductor quantum dots, quantum reference frames, and resource theories.

5 pages + 28 pages of Supplementary Material (The preliminary version). See also the related work on SU(d) symmetry in arXiv:2105.12877

References in corpus (12)

• Reference frames, superselection rules, and quantum information
• Quantum coherence, time-translation symmetry and thermodynamics
• The resource theory of quantum reference frames: manipulations and monotones
• Speeding up Learning Quantum States through Group Equivariant Convolutional Quantum Ansätze
• Critical phase and spin sharpening in SU(2)-symmetric monitored quantum circuits
• Noncommuting conserved charges in quantum thermodynamics and beyond
• Non-Abelian symmetry can increase entanglement entropy
• Experimental observation of thermalization with noncommuting charges
• Near-optimal covariant quantum error-correcting codes from random unitaries with symmetries
• Optimal Universal Quantum Error Correction via Bounded Reference Frames
• Building all Time Evolutions with Rotationally Invariant Hamiltonians
• Units of rotational information

Cited by in corpus (10)

• Theory of Quantum Circuits with Abelian Symmetries
• Designs from Local Random Quantum Circuits with SU(d) Symmetry
• Unitary Designs of Symmetric Local Random Circuits
• Toward Super-polynomial Quantum Speedup of Equivariant Quantum Algorithms with SU($d$) Symmetry
• Characterization of randomness in quantum circuits of continuous gate sets
• Analyzing the quantum approximate optimization algorithm: ansätze, symmetries, and Lie algebras
• Architectures and random properties of symplectic quantum circuits
• Entanglement dynamics and Page curves in random permutation circuits
• SU(d)-Symmetric Random Unitaries: Quantum Scrambling, Error Correction, and Machine Learning
• Non-Universality from Conserved Superoperators in Unitary Circuits