Donghoon Kim

How the detailed entanglement structure emerges from quantum dynamics remains a fundamental challenge, motivated by recent advances in quantum simulators and information processing. As a central milestone, the Small-Incremental-Entangling (SIE) theorem bounds the entanglement-entropy growth rate, but does not control the entanglement spectrum itself. In this work, we define the spectral-entangling strength, which quantifies how strongly an operator can reshape the distribution of Schmidt coefficients across a bipartition. We then prove a spectral SIE theorem: for R\'enyi index $\alpha \ge 1/2$, the growth rate of R\'enyi entanglement entropies admits a universal bound. Remarkably, our bound at $\alpha=1/2$ is both qualitatively and quantitatively optimal; below this threshold ($\alpha<1/2$), no universal speed limit on entanglement growth can exist. This result yields a sharp $1/s^2$ threshold in the tail of the ordered Schmidt coefficients (with $s$ the Schmidt index), enabling rigorous truncation-based error control and establishing a quantitative link between entanglement-spectrum structure and computational complexity. As a practical highlight, for one-dimensional power-law interactions $1/r^{\eta}$ with $\eta>2$, this implies matrix-product-state approximations with bond dimension polynomial in $(n/\varepsilon)$ for ground states, real-time evolved states, and Gibbs states, thereby closing the quasi-polynomial gap. By controlling R\'enyi entanglement, we further obtain a rigorous \emph{a priori} bound on truncation error for time-dependent DMRG/TEBD-type simulations. Overall, we extend the SIE paradigm from bounding entanglement entropies to constraining the entanglement spectrum itself.

The entanglement area law is a universal principle that characterizes quantum many-body phases and underpins tensor network algorithms. Traditionally, its validity has been limited to systems with short-range interactions and bounded local energy. Achieving a complete generalization that removes both of these constraints has been a longstanding goal in quantum many-body theory, especially for interacting boson systems where unbounded energy presents intrinsic difficulties. In this work, we rigorously prove the area law for one-dimensional interacting boson systems with long-range interactions, covering broad models including the Bose-Hubbard and φ⁴ classes. Furthermore, we establish an efficiency guarantee for Matrix-Product-State approximations of the ground states, offering a practical route to numerical simulation. One of our main technical contributions is a general method for Hilbert space dimension reduction, whose applicability extends to arbitrary spatial dimensions. These results address two major challenges simultaneously and provide important foundations for simulating long-range cold atomic systems.