Conservation Laws in Parameterized Quantum Circuits: Complete Characterizations and Rank Separation

Conservation laws provide a precise description of parameter combinations that cannot change under gradient flow. While such invariants have been studied extensively in classical neural network, their role in parameterized quantum circuits (PQCs) is substantially less understood because the trainable unitary, the measurement observable, and the circuit architecture jointly determine which parameter directions are visible to optimization. We develop a geometric theory of local smooth data-independent conservation laws for PQCs and use it to characterize the active training dimension of widely used Basic Entangler and Strongly Entangling architectures. Using the differential geometry of the measurement map, we expose two distinct sources of inactive directions: unitary-parametrization redundancies and nontrivial unitary motions that are invisible to the readout observable. For commuting trainable blocks, we show that all conservation laws arise from linear invariants associated with a fixed matrix nullspace, yielding a complete characterization of Basic Entangler circuits at arbitrary width and depth. For noncommuting circuits, we derive stabilizer-induced laws and establish completeness for two-layer Strongly Entangling circuits and a class of two-layer circuits with Clifford entanglers. We further construct circuits whose Lie closure rank exceeds the instantaneous Jacobian rank by an amount that grows with circuit width, showing that invisible directions at a single point can overestimate the number of conservation laws. Experiments on synthetic data and CIFAR-10 confirm the predicted invariants during training.