A No-Go Theorem for Gauge-Invariant Particle Observables in Totally Constrained Quantum Theories

In background-independent quantum theories governed by first-class constraints, physical observables must commute with the full constraint algebra. In this work we prove a structural no-go theorem: there exists no gauge-invariant particle number operator, particle identity label, or particle trajectory in a totally constrained quantum system. The obstruction arises from the gauge nature of time evolution and the consequent dependence of particle constructions on non-canonical mode decompositions. The result does not rely on measurement limitations, decoherence, or model-specific dynamics, but follows directly from constrained Hamiltonian structure. Particle concepts survive only as relational, asymptotic, or boundary-defined observables, consistent with scattering theory and detector-based phenomenology. This theorem complements existing no-go results for kinematically local observables and unique low-energy constants, clarifying the observable content of background-independent quantum theories.