Bound on entanglement in neural quantum states
Nisarga Paul
TL;DR
The paper addresses how much entanglement neural quantum states (NQS) can generate and seeks fundamental constraints analogous to the area law for matrix product states. They prove that feed-forward NQS with $k$ nonlinearities satisfy $S_A = O(k \log n)$ for any subregion $A$, with $\\mu \\le k+1$ affine features and under the assumption that the output function $\\mathcal{G}$ is analytic and bounded, enabling a polynomial approximation that yields the bound as $n \\to \\infty$. This result rules out volume-law entanglement for $k = O(1)$ and is demonstrated to be tight across several architectures (SN-NQS, MLP-NQS, T-NQS), including a Dicke-state construction showing $S_A \\sim (c/2) \\log n$ for $k = 1$. The work provides a universal, architecture-agnostic constraint on NQS expressivity, clarifying when sub-volume-law entanglement is inevitable and guiding the design of efficient variational representations, with future directions toward recurrent networks and relaxed analyticity assumptions.
Abstract
Variational wavefunctions offer a practical route around the exponential complexity of many-body Hilbert spaces, but their expressive power is often sharply constrained. Matrix product states, for instance, are efficient but limited to area law entangled states. Neural quantum states (NQS) are widely believed to overcome such limitations, yet little is known about their fundamental constraints. Here we prove that feed-forward neural quantum states acting on $n$ spins with $k$ scalar nonlinearities, under certain analyticity assumptions, obey a bound on entanglement entropy for any subregion: $S \leq c k\log n$, for a constant $c$. This establishes an NQS analog of the area law constraint for matrix product states and rules out volume law entanglement for NQS with $O(1)$ nonlinearities. We demonstrate analytically and numerically that the scaling with $n$ is tight for a wide variety of NQS. Our work establishes a fundamental constraint on NQS that applies broadly across different network designs, while reinforcing their substantial expressive power.
