Abstract:This thesis aims to establish notions of symmetry for quantum states and channels as well as describe algorithms to test for these properties on quantum computers. Ideally, the work will serve as a self-contained overview of the subject. We begin by establishing the necessary mathematical background. We show how to generate a notion of symmetry from a discrete, finite group and how this generalizes to a continuous group. We then use these notions to investigate Hamiltonian symmetries. We propose quantum algorithms capable of testing whether a Hamiltonian exhibits symmetry with respect to a group and show that this algorithm is DQC1-Complete. We next discuss tests of symmetry for quantum states. We prove that the acceptance probability of each algorithm is equal to the maximum symmetric fidelity of the state being tested and establish various generalizations of the resource theory of asymmetry. In the next chapter, we show that the analytical form of the acceptance probability of such a test is given by the cycle index polynomial of the symmetric group $S_k$. We derive a family of quantum separability tests, each of which is generated by a finite group; for all such algorithms, we show that the acceptance probability is determined by the cycle index polynomial of the group. Finally, we produce and analyze explicit circuit constructions for these tests, showing that the tests corresponding to the symmetric and cyclic groups can be executed with $O(k^2)$ and $O(k\log(k))$ controlled-SWAP gates, respectively, where $k$ is the number of copies of the state. Finally, we include additional results not previously published; specifically, we give a test for symmetry of a quantum state using density matrix exponentiation, a further result of Hamiltonian symmetry measurements when using Abelian groups, and an alternate Hamiltonian symmetry test construction for a block-encoded Hamiltonian.

Symmetry-restricted quantum circuits are still well-behaved

Permutation-invariant quantum circuits

Scaling of symmetry-restricted quantum circuits

Theory of Quantum Circuits with Abelian Symmetries

Quantum Computational Complexity and Symmetry

A framework for semi-universality: Semi-universality of 3-qudit SU(d)-invariant gates

Unitary Designs from Random Symmetric Quantum Circuits

A Bottom-up Approach to Constructing Symmetric Variational Quantum Circuits

SU(d)-Symmetric Random Unitaries: Quantum Scrambling, Error Correction, and Machine Learning

Characterization of Randomness in Quantum Circuits of Continuous Gate Sets

Symmetry restoration and quantum Mpemba effect in symmetric random circuits

Clifford Group and Unitary Designs under Symmetry

Restrictions on realizable unitary operations imposed by symmetry and locality

Non-Universality from Conserved Superoperators in Unitary Circuits

Quantum Groups as Global Symmetries

Ground states of 1D symmetry-protected topological phases and their utility as resource states for quantum computation

A Menagerie of Symmetry Testing Quantum Algorithms

Rotationally Invariant Circuits: Universality with the Exchange Interaction and Two Ancilla Qubits

Symmetry-protected self-correcting quantum memories

Designs from Local Random Quantum Circuits with SU(d) Symmetry

Quantum computation by teleportation and symmetry