The Martingale Method in Random Quantum Circuits and Symmetry-Constrained Dynamics

The martingale approach introduced by Nachtergaele provides a systematic route to proving spectral gaps for frustration-free spin systems. Related ideas are leveraged in the Brandão–Harrow–Horodecki analysis, which bounds convergence of local random quantum circuits to approximate unitary designs via the spectral gap of a frustration-free parent Hamiltonian for the circuit's moment operator. In this poster, I review the structure of the Nachtergaele-type argument and how it supports the "local-to-global gap" step in the BHH framework. I then discuss where the same reasoning encounters difficulties for circuits with conserved quantities or global symmetries (e.g., U(1) number conservation, and potential non-abelian cases), highlighting how sector decompositions and reduced local support can obstruct the propagation of local mixing to system-wide bounds. The emphasis is on clarifying assumptions and limitations rather than announcing new results, with the aim of making the method's scope transparent for studies of random-circuit mixing under symmetry constraints.