선형광학 양자 상태 인증

초록

본 논문은 광자들의 부분 구분가능성을 고려한 새로운 LOQC‑전용 충실도 개념을 정의하고, 이를 실험적으로 검증할 수 있는 네 가지 독립적인 증명자를 제시한다. 특히 이산 푸리에 변환 기반 증명자가 샘플 복잡도와 장치 독립성 측면에서 최적임을 보이며, 3‑광자·4‑모드 시스템에 대한 실증 결과를 제공한다.

상세 분석

이 연구는 선형광학 양자컴퓨팅(LOQC)에서 필수적인 “양자 상태 인증” 문제를 근본적으로 재정의한다. 기존의 충실도 증명자는 입자들이 구분가능한 경우에만 의미가 있었으며, 광자의 내부 자유도(편광, 주파수 등)가 완전히 동일하다는 전제에 의존했다. 그러나 실제 실험에서는 이러한 완전 구분가능성을 달성하기 어렵고, 내부 자유도가 섞인 상태가 출력 통계에 미치는 영향을 정확히 파악해야 한다. 저자들은 이를 위해 목표 상태의 등가 클래스 (C_{\text{LO}}) 를 정의하고, 이 클래스 내 모든 상태와의 최대(또는 최소) 트레이스 거리로 LOQC‑전용 충실도를 도입한다. 이 충실도는 “외부 모드 조작”과 “광자 순열 대칭” 두 가지 물리적 요소를 동시에 검증함으로써 실험적으로 접근 가능하도록 설계되었다.

구체적으로, 저자들은 (i) 광자 가역성(목표 유니터리 (U) 의 역을 적용했을 때 원래 배치를 재현하는 확률)과 (ii) 다중광자 구분가능성(다양한 인터페어런스 회로에서 관측되는 영전송 확률 등)이라는 두 측정을 독립적으로 수행하고, 이를 결합해 충실도 하한을 얻는 일반적인 프레임워크를 제시한다. 이때 사용되는 구분가능성 측정법으로는 (1) 이산 푸리에 변환(DFT) 기반 영전송 증명, (2) 다중 Hong‑Ou‑Mandel 실험을 겹쳐 만든 “뭉침(bunching)” 통계, (3) 순환형 인터페어런스 회로, (4) 두 모드 상관 측정이 있다.

각 증명자는 이론적 타이트니스, 필요한 가정(예: 양자 상태가 양의 파티션‑3 표현을 갖는가), 장치 독립성, 샘플 복잡도 측면에서 비교된다. 특히 DFT 증명자는 순열 트윌링에 불변이며, “오쏘가날 배드 비트” 잡음 모델 하에서 샘플 복잡도가 (O(1)) 임을 증명한다. 이는 뭉침 방법이 (O(n^{2})), 두 모드 상관이 (O(n^{4})), 순환 방법이 (O(2^{2n})) 에 비해 현저히 효율적임을 의미한다. 또한 DFT와 뭉침 방법은 반‑장치‑독립(semi‑DI) 특성을 보여, 인증 인터페어런스 회로에 작은 오류가 있더라도 하한이 감소만 할 뿐 과대평가되지 않는다.

실험적으로는 통합 포토닉 칩과 자발적 파라메트릭 다운컨버전(SPDC) 광원들을 이용해 3‑광자·4‑모드 시스템을 구현하고, 네 가지 증명자를 모두 적용하였다. 결과는 DFT 기반 증명자가 가장 타이트한 충실도 하한을 제공함을 확인했으며, 목표 상태가 Haar‑무작위 유니터리를 통과했을 때 평균 (F_{\text{LO}}\approx0.92) 를 달성했다. 또한, 파티션‑3 양성 가정이 깨지는 경우(예: 시간 지연 모델에 의한 부정적 파티션 표현)에는 뭉침 방법이 과대평가되는 반면, DFT 방법은 여전히 보수적인 하한을 유지한다는 점을 실증하였다.

이 논문의 핵심 기여는 (1) LOQC 전용 충실도 정의와 그 물리적 의미 부여, (2) 다양한 구분가능성 측정법을 충실도 하한으로 변환하는 일반 정리(Thm 2), (3) 샘플 복잡도와 장치 독립성을 동시에 최적화한 DFT 증명자 설계, (4) 실험을 통한 전면 검증이다. 이러한 결과는 대규모 광자 기반 양자 컴퓨팅 및 양자 시뮬레이션에서 신뢰할 수 있는 검증 도구를 제공하며, 향후 복잡한 다중광자 리소스 상태(예: GBS, BosonSampling, 광자 클러스터 상태)의 실시간 인증에 직접 적용될 수 있다.