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.
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.
As Quantum Machine Learning (QML) transitions toward practical implementation, the field faces a critical architectural bottleneck that challenges the fundamental assumptions of classical statistical learning theory. In classical deep learning, increasing model capacity typically risks overfitting. However, this study advances a counter-intuitive paradigm: unstructured contemporary QML architectures suffer from a profound state of quantum underfitting, driven by the "expressivity-trainability paradox." We demonstrate that the vast Hilbert space capacity of Parameterized Quantum Circuits (PQCs)-traditionally chased as the source of quantum advantage is the direct mathematical cause of Barren Plateaus (BPs), where gradient landscapes become exponentially flat. By synthesizing recent breakthroughs in Dynamical Lie Algebras (DLAs) and Geometric QML, we establish a comprehensive framework linking the algebraic dimension of circuit generators to their optimization dynamics. Furthermore, we empirically validate this framework on a non-linear binary classification task, illuminating a uniquely quantum manifestation of the bias-variance tradeoff: while unstructured architectures achieve near-perfect training accuracy via unscalable parameterization (quantum overfitting), embedding group-theoretic geometric priors acts as a structural regularizer. By restricting the DLA growth to a polynomial regime, our symmetry-preserving approach sacrifices raw memorization capacity to guarantee scalable, gradient-rich training landscapes, offering a robust roadmap for "Trainability-by-Design" in scalable quantum neural networks.
Quantum Machine Learning (QML) is fundamentally limited by two challenges: barren plateaus (exponentially vanishing gradients) and the fragility of parameterized quantum circuits under noise. Despite extensive empirical studies, a unified theoretical framework remains lacking. We introduce LieTrunc-QNN, an algebraic-geometric framework that characterizes trainability via Lie-generated dynamics. Parameterized quantum circuits are modeled as Lie subalgebras of u(2^n), whose action induces a Riemannian manifold of reachable quantum states. Expressivity is reinterpreted as intrinsic manifold dimension and geometry. We establish a geometric capacity-plateau principle: increasing effective dimension leads to exponential gradient suppression due to concentration of measure. By restricting to structured Lie subalgebras (LieTrunc), the manifold is contracted, preventing concentration and preserving non-degenerate gradients. We prove two main results: (1) a trainability lower bound for LieTrunc-QNN, and (2) that the Fubini-Study metric rank is bounded by the algebraic span of generators, showing expressivity is governed by structure rather than parameter count. Compact Lie subalgebras also provide inherent robustness to perturbations. Importantly, we establish a polynomial trainability regime where gradient variance decays polynomially instead of exponentially. Experiments (n=2-6) validate the theory: LieTrunc-QNN maintains stable gradients and high effective dimension, while random truncation leads to metric rank collapse. At n=6, full metric rank is preserved (rank=16). Results support a scaling law between gradient variance and effective dimension. This work provides a unified geometric framework for QNN design, linking Lie algebra, manifold geometry, and optimization.
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) = \tilde{\Theta}(\sqrt{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.
Orbit dimension, not parameter count, bounds quantum sample complexity. For continuous parameterized quantum circuits on n qubits, the minimax estimation risk obeys R(deff,M)≥Ω(Mdeff), where deff=dim(OO) is the real dimension of the observable's adjoint orbit under the dynamical Lie group. For balanced Pauli observables O=Z⊗n, quotienting the dynamical Lie algebra by the stabilizer subgroup yields the complex Grassmannian Gr(2n−1,2n) of real dimension deff=22n−1=214n≈21dim(g), which matches upper bounds of Caro et al.~(2022) and Ohno~(2025) up to a universal constant and resolves the exact tightness rate Θ(dim(g)/M). For rank-1 projective observables, the orbit contracts instead to complex projective space CP2n−1 with dimension deff=2(2n−1). Sample requirements therefore explode exponentially with qubit count. The scaling identifies Wang \& Wu's (2025) dimension-independent O(1/M) uniform convergence bound as an artifact of uniform stability rather than true estimation power. PennyLane benchmarks across n=1,2,3,4 qubits confirm this exponential threshold. Barren plateaus and statistical sample bottlenecks stem from an identical geometric origin: volume growth in SU(2n) simultaneously suppresses gradient variances as ∼1/dim(g) and drives sample complexity up to ∼dim(g)/M.
A central model in quantum machine learning is the quantum neural network (QNN), whose design requires balancing expressivity and trainability. Technically, expressivity is studied through circuit-function analysis, such as quantum signal processing, while trainability is analyzed using dynamical-Lie-algebra (DLA) methods. To support certified QNN design, we formalize these major components of QNN theory in a connected lean 4 development checked by a proof kernel, where every analytic input is either proved or exposed as a named hypothesis. On the expressivity side, we prove exact if-and-only-if characterizations of single-qubit QNNs, a resource-counted quantum phase processing theorem, and an overparameterization ceiling that bounds the quantum Fisher information rank by the DLA dimension. On the trainability side, we derive the direct-sum loss-variance law through a de-circularized second-moment interface. A parameterized Casimir-uniqueness engine discharges the required inputs for fully controllable, orthogonal, and matchgate circuit families, while single-qubit and product-Clifford ensembles close the two-design assumptions directly. A capstone theorem pairs the conditional variance law with exact loss reconstruction in DLA coordinates. The development record identifies eight corrections and clarifications that were not explicit in the informal arguments. We expect this work to provide a machine-checkable foundation for QNN theory and a step toward AI-assisted or automated design of quantum machine learning algorithms.
Abstract We present a Lie-geometric framework for analyzing the trainability of quantum neural networks (QNNs) through the algebraic structure of their generator spaces. We prove that QNNs whose dynamics are restricted to polynomial-dimensional Lie subalgebras of su ( 2 n ) admit a polynomial lower bound on gradient variance, thereby avoiding barren plateaus by construction. In contrast, architectures exploring the full Lie algebra su ( 2 n ) exhibit exponentially vanishing gradient variance, O ( 2 − n ) , due to the exponential growth of the associated unitary orbit dimensions. Our results interpret barren plateaus as a geometric concentration phenomenon arising from high-dimensional Lie-group actions, rather than as an intrinsic limitation of parameterized quantum models. We further illustrate the mechanism using a finite-size collective-spin benchmark and a minimal two-qubit sanity check, both of which are consistent with the theoretical predictions.