A Fundamental Duality in Quantum Machine Learning: Trainability vs. Generalization via Dynamical Lie Algebras

Quantum learnability is an algebraic invariant. While optimization and statistical generalization have long been analyzed through disconnected mathematical formalisms in quantum machine learning, both phenomena emerge as dual geometric projections of the dynamical Lie algebra (DLA) dimension g = Lie{-i H_k} ⊆ su(2^n); across any parameterized circuit family, polynomial trainability (Var[∇C] ≥ Ω(1/poly(n))) and polynomial generalizability (M*(ε) ≤ O(poly(n)/ε^2)) are strictly equivalent and hold if and only if dim(g_n) ∈ O(poly(n)). For any observable with adjoint orbit O_O, the operational product satisfies Var[∇C] · M*(ε) = Θ(dim(O_O) / (dim(g_n) ε^2)), which collapses to the universal, dimension-free invariant Θ(1/ε^2) for all generic, non-degenerate observables, identically independent of system size n and algebraic dimension dim(g_n). Unconstrained expressivity (dim(g_n) ~ 4^n) triggers a simultaneous catastrophe: exponential gradient vanishing accompanied by exponential sample complexity explosion. Subalgebra confinement cures both failures. By restricting generators to permutation-equivariant or symmetry-protected subalgebras, the circuit enforces dim(g_n) ≤ O(poly(n)) and secures non-vanishing gradient flow alongside statistical sample efficiency. Exact statevector simulations in PennyLane across n ∈ {2, 3, 4, 5, 6} corroborate this duality: hardware-efficient ansätze exhibit a 17.22× variance collapse, whereas symmetry-protected models sustain Θ(1) gradients and achieve twofold lower test error.