Generalization in Data Re-uploading Quantum Neural Networks: A Dynamical Lie Algebraic and Harmonic Analysis Perspective

Commutation failure controls quantum generalization. When data encoding gates fail to commute with trainable parameter gates across consecutive re-uploading layers, the effective dynamical Lie algebra becomes data-dependent; this dependency invalidates the parameter-isolation assumption underpinning existing Lie-algebraic frameworks (Caro et al., 2022; Ohno, 2025). We resolve this structural gap by proving that the statistical generalization capacity of L-layer data re-uploading circuits is tightly bounded by the effective hypothesis dimension: d_eff(L) = min(L * p_layer, |Ω_L|) <= min(L * p_layer, (2L + 1)^d), where d is the input data dimension, p_layer the number of trainable parameters per layer, and |Ω_L| the cardinality of accessible Fourier frequencies generated through non-commuting Lie brackets in the joint dynamical Lie algebra g_joint = Lie_R{i H_j, i G_k}. Harmonic analysis combined with metric entropy chaining establishes matching upper and lower bounds; together, they settle the exact minimax estimation rate R*(F_L, M) = Θ̃(√d_eff(L)/M). Two distinct orbit concepts govern learning. The point-wise adjoint orbit dimension dim(O_O) <= dim(g_joint) at fixed x quantifies single-point state variation, whereas the global function-space Fourier capacity |Ω_L| governs sample complexity across the full data domain; conflating these quantities yields vacuous bounds. An initial basis rotation unlocks harmonic modes up to k_max = L; without this rotation, eigenstate initialization constrains the cutoff to k_max = L - 1. Bandwidth dictates depth. For target functions with harmonic bandlimit k_target, the network underfits when L < k_target and achieves full expressivity convergence once L >= k_target. Permutation-equivariant data encoding compresses the joint DLA to an su(2) subalgebra of dimension 3. This algebraic confinement suppresses the 4^n - 1 dimensional explosion across arbitrary qubit counts and shields the circuit from the curse of dimensionality. Numerical benchmarks in PennyLane across L in {1, 2, 4, 8} and sample sizes M in [10, 200] corroborate this harmonic-algebraic scaling and its associated uniform convergence rates.