다중모드 보손 뭉침 검증의 한계와 시간 지연에 의한 이상 뭉침 현상

초록

다중모드 뭉침 확률을 보손 샘플링 검증에 활용하려면, 부분적으로 구별 가능한 광자가 완전 구별 불가능한 경우보다 뭉침 확률이 높아지는 ‘이상 뭉침’ 현상이 발생하지 않는 인터페라터 구성을 명확히 알아야 한다. 저자들은 먼저 이상 뭉침이 절대 일어나지 않는 넓은 클래스의 인터페라터와 출력 모드 집합을 규명하고, 그 다음 시간 지연에 의한 내부 자유도 차이가 이 클래스에 포함되지 않음을 보인다. 실제로 16광자 회로를 설계해 시간 지연이 있는 경우에 완전 구별 광자보다 두 모드 뭉침 확률이 더 커지는 예시를 제시함으로써, 시간 지연이 이상 뭉침을 유발할 수 있음을 입증한다.

상세 분석

본 논문은 보손 샘플링 실험에서 ‘다중모드 뭉침’(multimode bunching)이라는 통계량을 검증 도구로 사용할 때 직면하는 근본적인 한계를 체계적으로 분석한다. 핵심은 두 가지 질문이다. 첫째, 어떤 인터페라터 구조와 출력 모드 집합 κ에 대해 모든 가능한 내부 상태 행렬 S(구별 가능성 행렬)에 대해 perm(H⊙S) ≤ perm(H) 가 항상 성립하는가? 둘째, 실제 실험에서 흔히 발생하는 시간 지연(temporal delay)이라는 구별 원인이 위 조건을 위반할 수 있는가?

1. 수학적 배경: 저자들은 보손 뭉침 확률을 P_κ = perm(H⊙S) 로 표현한다. 여기서 H는 인터페라터 U와 출력 집합 κ에 의해 정의되는 양의 반정밀 행렬이며, S는 광자들의 내부 자유도(편광, 시간, 주파수 등)의 내적을 원소로 갖는 Gram 행렬이다. 완전 구별 불가능한 경우 S=E(모든 원소 1)이며, 이때 P_κ=perm(H) 가 최대가 된다는 직관적 가설이 ‘다중모드 뭉침 가설(P1)’이다.

2. 이상 뭉침 존재 증명: 기존 연구에서 Bapat‑Sunder의 영구 부등식이 반례를 가짐이 밝혀졌고, 이를 물리적으로 전이시켜 7광자 이상에서 부분 구별(예: 편광)으로 perm(H⊙S) > perm(H) 가 되는 경우가 보고되었다. 이는 P1이 일반적으로는 거짓임을 의미한다.

3. 이상 뭉침이 불가능한 클래스:

   • Rank‑1 H: H가 rank‑1이면 perm(H⊙S)=Π_i H_{ii}·perm(S) 가 되므로, 구별 정도는 perm(S)만에 의존하고 P_κ는 완전 구별 경우에 최대가 된다. 이는 단일 모드 뭉침뿐 아니라, 특정 cascaded interferometer(첫 번째 인터페라터에서 n광자를 입력, 두 번째에서 하나의 출력 모드를 m₂개의 모드로 분할)에서도 성립한다.
   • 비음수 H: Zhang이 증명한 바와 같이 H의 모든 원소가 비음수이면 perm(H⊙S) ≤ perm(H) 가 모든 S에 대해 유지된다. 이 경우 H는 위상 변환 Θ·H (Θ는 rank‑1 위상 행렬)으로부터 같은 동등 클래스에 속한다. 따라서 입력 포트에 임의 위상을 추가해도 조건이 변하지 않는다.

4. 시간 지연이 위 클래스에 포함되지 않음: 시간 지연은 내부 상태 |ϕ_i⟩에 복소수 위상 e^{iωt_i} 를 부여하는 형태로 모델링된다. 이는 S의 원소에 복소 위상 차이를 도입하지만, H 자체는 변하지 않는다. 저자들은 이 점을 이용해 H가 비음수이면서도 perm(H⊙S) > perm(H) 가 되는 구성을 찾았다. 구체적으로, 16광자를 이용한 복합 인터페라터(다중 단계의 4×4 유니터리 매트릭스와 지연선)에서 두 모드에 대한 뭉침 확률이 시간 지연이 있는 경우에 더 크게 나타났다. 이는 “시간 지연에 의한 이상 뭉침”을 명시적으로 증명한 첫 사례이다.

5. 실험적·실용적 의미: 시간 지연은 현재 실리콘 포토닉스, 초고속 파장 변조기 등에서 피할 수 없는 오차이며, 따라서 위에서 제시한 비음수 H 조건만으로는 실험 검증에 충분하지 않다. 검증 프로토콜을 설계할 때는 (i) 인터페라터를 설계해 H를 rank‑1 혹은 비음수가 되도록 강제하고, (ii) 시간 지연을 최소화하거나, (iii) 시간 지연이 포함된 경우에도 뭉침 확률이 감소하는지 별도 시뮬레이션/실험으로 확인해야 한다.

6. 추가적인 이론적 확장: 논문은 또한 기존의 ‘국소 최대 뭉침 가설(P2)’과 연결된 Bapat‑Sunder 1986년 부등식(M2)의 반례를 언급한다. 이는 거의 구별 불가능한 상태에서도 이상 뭉침이 발생할 수 있음을 시사한다. 따라서 다중모드 뭉침 검증은 “전역 최대”가 아니라 “국소 최대”라는 약한 형태로만 보장될 가능성이 있다.

요약하면, 저자들은 이상 뭉침이 절대 일어나지 않는 인터페라터 클래스( rank‑1 H, 비음수 H)와 실제 실험에서 흔히 발생하는 시간 지연이 이 클래스에 속하지 않으며, 구체적인 16광자 회로를 통해 시간 지연이 이상 뭉침을 유발함을 입증하였다. 이는 다중모드 뭉침 기반 검증이 언제 신뢰할 수 있는지, 언제 추가적인 검증이 필요한지를 명확히 구분하는 중요한 결과이다.