Provable learning separation for predicting time-evolution of quantum many-body systems
📄 arXiv:2607.06472 · 📥 PDF · 2026-07-07 · quant-ph
Authors: Rahul Bandyopadhyay [arXiv · scholar] , Riccardo Molteni [arXiv · scholar] , Jens Eisert [arXiv · scholar] , Vedran Dunjko [arXiv · scholar] , Sofiene Jerbi [arXiv · scholar]
🕰 Orloj analysis
Tento článek se zabývá formulací fyzikálně motivovaných úloh kvantového strojového učení (QML), které vykazují separační učení pro kvantové mnohočásticové systémy. Autoři navrhují eficientní kvantovou proceduru pro učení neznámých Hamiltoniánů z krátkodobých vzorků a prokazují klasickou obtížnost této úlohy vložením BQP-kompletního výpočtu do časové dynamiky.
💡 Práce představuje rigorózní důkaz separačního učení pro přirozenou úlohu QML založenou na hamiltonovské evoluci, což je významný teoretický přínos pro kvantové učení a simulaci.
Categories:
MET-2
MET-1
INF-2
QFD-1
INF-1
✓ falsifiable, modest_claims, limit_reductions
📄 Abstract
Given that quantum computers are naturally suited to simulate the behavior of quantum many-body systems, an immediate question arises: can one formulate physically motivated quantum machine learning (QML) tasks that exhibit learning separations? We address this problem by studying the learnability of quantum many-body dynamics from the perspective of probably approximately correct (PAC)-learning. Concretely, we devise a supervised learning problem where the training set consists of specifications of randomized stabilizer probe states, evolution times sampled uniformly from a polynomially large time interval $[0,T]$, coupled with expectation values of certain observables evaluated on the resulting time-evolved state under an unknown Hamiltonian. For this learning task, we provide an efficient quantum procedure whose training phase learns the underlying Hamiltonian from short-time training samples, and whose deployment phase combines Hamiltonian simulation with the classical shadows protocol to perform inference on a newly given data point. By contrast, the existence of $O(\mathsf{poly}(n))$-time instances ensures classical hardness: by embedding a $\mathsf{BQP}$-complete computation into the polynomially long time-dynamics of a low-intersection variant of the Feynman-Kitaev clock Hamiltonian construction, we show that, for a certain family of input distributions, no randomized classical polynomial-time algorithm can fulfill our learning condition, unless $\mathsf{BQP}\subseteq\mathsf{P/poly}$. Furthermore, we show that the classically hard instance maintains quantum learnability. We also give an interpretation of our results in learning-assisted certified quantum simulation. Taken together, our results demonstrate a rigorous learning separation for a natural ML task based on Hamiltonian evolution, while building connections between quantum learning theory, quantum simulation, and QML.