비가우시안 얽힘이 결정하는 양자 토모그래피 복잡도

초록

본 논문은 보소닉 시스템에서 “Gaussian‑entanglable”(GE) 상태와 그 외의 비GE 상태를 구분하고, GE 상태는 다중 모드일 때도 다항 개수의 샘플만으로 완전 토모그래피가 가능함을 보인다. 반면 비GE 상태는 추가적인 보조 모드 수(“GE cost”)에 비례해 지수적인 샘플이 필요함을 증명한다. 또한 두 모드 간의 일반적인 Gaussian 간섭만으로 N≥3인 NOON 상태를 결정적으로 만들 수 없음을 제시한다.

상세 분석

이 연구는 보소닉 양자 시스템에서 상태 학습의 근본적인 복잡도 원인을 “어떤 방식으로 비가우시안 얽힘이 생성되는가”에 초점을 맞추어 분석한다. 저자들은 Hong‑Ou‑Mandel 효과와 Boson‑sampling을 동기화하여, Gaussian‑entanglable (GE) 상태라는 새로운 클래스 정의한다. GE 상태는 (가능하면 비가우시안일지라도) 분리 가능한 입력 모드에 Gaussian 프로토콜(Gaussian 유니터리, 부분 트레이스, 진공 보조 등)을 적용함으로써 얻어지는 모든 상태를 포함한다. 이 정의는 기존 Gaussian 상태와 그 혼합물뿐 아니라, 다중 모드 GKP 코드, 엔탱글드 캣 상태, Boson‑sampling 출력 등 비가우시안이지만 “Gaussian 간섭”만으로 만들 수 있는 광범위한 상태들을 포괄한다.

핵심 정리는 두 가지이다. 첫째, 정리 1에 의해 순수 GE 상태는 언제나 하나의 Gaussian 유니터리와 두 로컬(단일 모드) 순수 상태의 텐서곱 형태로 분해될 수 있다:
\