Provable learning separation for predicting time-evolution of quantum many-body systems
Rahul Bandyopadhyay, Riccardo Molteni, Jens Eisert, Vedran Dunjko, Sofiene Jerbi
양자 다체 시스템의 시간 진화를 예측하는 자연스러운 QML 과제에서, 양자 알고리즘은 효율적으로 학습할 수 있는 반면 고전 알고리즘은 BQP-완전 계산을 포함하여 학습할 수 없음을 증명하는 이론적 연구이다.
양자 컴퓨터가 양자 다체 시스템의 시뮬레이션에 적합하다는 점에서, 물리적으로 동기 부여된 QML 과제가 학습 분리를 보일 수 있는지 명확히 밝혀야 한다. 특히, 알려지지 않은 해밀토니안 하에서의 양자 역학 학습이 양자적으로는 효율적이지만 고전적으로는 어려운지 이론적으로 증명해야 한다.
PAC 학습 관점에서, 랜덤화된 안정화 프로브 상태와 균일하게 샘플링된 진화 시간, 그리고 관측 가능한 기대값으로 구성된 지도 학습 과제를 설계했다. 학습 단계에서는 짧은 시간 샘플로부터 해밀토니안을 학습하는 효율적인 양자 절차를 제시했고, 배포 단계에서는 해밀토니안 시뮬레이션과 클래식 섀도우 프로토콜을 결합하여 추론을 수행한다. 또한, Feynman-Kitaev 클록 해밀토니안의 저교차 변형에 BQP-완전 계산을 임베딩하여 고전적 어려움을 증명했다.
多项式 시간 내에 학습할 수 있는 양자 절차를 제시하고, 특정 입력 분포에 대해 BQP ⊆ P/poly가 아닌 한 고전적 다항 시간 알고리즘이 학습 조건을 만족할 수 없음을 증명했다. 또한, 고전적으로 어려운 인스턴스도 양자적으로는 학습 가능함을 보여주었다. 이 연구는 해밀토니안 진화 기반 자연스러운 ML 과제에서 엄밀한 학습 분리를 입증하며, 양자 학습 이론, 양자 시뮬레이션, QML 간의 연결을 구축했다.