페르미온 선형광학 학습과 Heisenberg 스케일링 및 물리적 연산

초록

본 논문은 페르미온 선형광학(FLO) 유니터리를 블랙박스 쿼리 모델에서 학습하는 새로운 알고리즘을 제시한다. 기존 방법이 요구하던 ( \widetilde{O}(n^{5}/\varepsilon^{2})) 쿼리 복잡도와 비물리적 연산을 없애고, 최소 하나의 보조 모드만 사용하면서도 활성 FLO에 대해 ( \widetilde{O}(n^{4}/\varepsilon) ), 수동 FLO에 대해 ( O(n^{3}/\varepsilon) ) 쿼리로 Heisenberg 스케일링을 달성한다. 또한 입자 수가 적은 슬레이터 행렬의 상태 토모그래피 복사 복잡도를 ( \widetilde{O}(n\eta^{2}/\varepsilon^{2}) ) 로 개선한다.

상세 분석

이 논문은 두 가지 주요 차원을 동시에 개선한다. 첫 번째는 FLO 학습에 필요한 쿼리 수의 스케일이다. 기존 연구는 활성 FLO에 대해 ( \widetilde{O}(n^{5}/\varepsilon^{2}) ) 쿼리를 필요로 했으며, 이는 시스템 크기 (n) 과 목표 정밀도 ( \varepsilon ) 에 대해 비효율적이었다. 저자들은 “컬럼‑바이‑컬럼” 접근법을 채택해, 각 입력 기저 상태 (|j\rangle) 에 대해 FLO를 적용하고 그 결과 상태를 토모그래피함으로써 전체 유니터리를 재구성한다. 이 방식은 오류가 등방적으로 퍼지게 하여, 전체 다이아몬드 거리 오류가 ( \varepsilon ) 이하가 되도록 ( \widetilde{O}(n^{4}/\varepsilon) ) 쿼리만으로 충분함을 증명한다. 수동 FLO(입자 수 보존)의 경우, 파라미터 공간이 (U(n)) 에 제한되므로 추가적인 구조적 제약을 활용해 ( O(n^{3}/\varepsilon) ) 쿼리로 학습을 마친다.

두 번째 개선점은 물리적 제약을 만족한다는 점이다. 기존 방법은 초전도 회로나 양자점 등에서 구현이 어려운 “비슈퍼선택” 연산을 사용하거나, (n) 개의 보조 모드와 복잡한 얽힘을 필요로 했다. 본 논문은 슈퍼선택 규칙을 완전히 준수하면서, 최대 하나의 보조 모드만을 도입한다. 이 보조 모드는 짝‑홀수 파리티 사이의 ±1 위상 차이를 검출하는 데에만 사용되며, 실제 실험에서는 파리티 고정 초기 상태만으로도 충분히 구현 가능하다. 또한, 보조 모드를 전혀 사용하지 않는 경우도 제시한다. 이는 |0⟩+|1⟩ 형태의 초위상 상태를 직접 준비할 수 있는 경우와, 파리티 보존 입력만을 고려하는 경우에 해당한다.

또한, FLO 학습에 필수적인 가우시안 상태 토모그래피를 효율화한다. 특히 입자 수 ( \eta ) 가 (n) 보다 훨씬 작은 슬레이터 행렬에 대해, 기존 ( O(n^{3}\eta^{2}/\varepsilon^{4}) ) 복사 복잡도를 ( \widetilde{O}(n\eta^{2}/\varepsilon^{2}) ) 로 크게 낮춘다. 핵심 아이디어는 1‑RDM(단일 입자 밀도 행렬)을 직접 추정하고, 이를 통해 슬레이터 행렬을 재구성하는 것이다. 이 과정에서 사용되는 측정은 모두 수동 FLO 게이트와 파리티 보존 측정으로 제한된다.

알고리즘의 복잡도 분석은 고전적 확률론적 도구(마코프 부등식, 부트스트랩 프레임워크)와 양자 정보 이론(다이아몬드 거리, 트레이스 거리) 사이의 정밀한 연결을 통해 수행된다. 특히, 활성 FLO의 경우 전체 변환을 두 단계(진공 상태에서의 학습, 파리티 비대칭 부분 학습)로 나누어, 각 단계마다 오류가 ( O(\varepsilon/n) ) 수준으로 억제되도록 설계한다. 결과적으로 전체 오류는 ( \varepsilon ) 이하가 보장된다.

마지막으로, 보조 모드 (n) 개를 허용하면 쿼리 복잡도를 ( \widetilde{O}(n^{3}/\varepsilon) ) 로 더 낮출 수 있음을 보이며, 이는 Choi 상태를 이용한 학습과 동일한 효율성을 갖는다. 그러나 이 경우에도 물리적 연산만을 사용한다는 점에서 실험적 실현 가능성이 크게 향상된다.

요약하면, 저자들은 FLO 학습에 있어 쿼리 수, 오류 스케일, 물리적 구현 가능성 세 축을 모두 최적화한 최초의 알고리즘을 제시했으며, 이는 양자 컴퓨팅 플랫폼에서 자유 전자 시스템을 효율적으로 벤치마크하고 검증하는 데 중요한 도구가 될 것이다.