Gauge Symmetry in Quantum Simulation --- Redundancy Is All You Need ---

arXiv:2512.22932v3 Announce Type: replace Abstract: Quantum simulation of non-Abelian gauge theories requires careful handling of gauge redundancy. We present universal principles for treating gauge symmetry that apply to any quantum simulation approach. Our main result is that enforcing gauge-singlet constraints is conceptually and practically unnecessary for extracting physical observables. Physical states need not be represented by gauge singlets; singlet and non-singlet representations are both valid, with distinct practical trade-offs that we elucidate using analogies to BRST quantization, and the non-singlet approach is likely more efficient toward the continuum limit. As in classical electrodynamics and the path-integral formulation, gauge redundancy simplifies things. We demonstrate these principles within a complete quantum simulation framework based on the orbifold lattice, which enables explicit and efficient circuit constructions relevant to real-world QCD. We show how non-singlet approaches yield gauge-invariant observables through wave packets and string excitations, and that this approach is universal and efficient. For the limited situations where a singlet representation is genuinely required, we introduce a Haar-averaging projection implemented via linear combinations of unitaries and analyze its cost and truncation errors; its post-selection cost makes it a fallback rather than the default. We also introduce a penalty term in the Hamiltonian that eliminates non-singlet states from the low-energy spectrum. Working in temporal gauge, we map lattice Yang-Mills dynamics to Pauli-string Hamiltonians suitable for Trotterization. Classical simulations of small systems validate convergence criteria, quantify truncation and Trotter errors, and yield concrete resource estimates and scalable circuit recipes for SU$(N)$ gauge theories.