Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

기술 요약: GKP 상태로부터의 강건한 벨 비국소성

문제 정의
벨 부등식 위반은 비고전성을 인증하고 국소 실재론을 배제하는 데 필수적이다. 그러나 연속 변수(CV) 시스템에서 벨 비국소성을 입증하는 것은 측정 방식에 의해 제약을 받는다. 호모다인 검출은 검출 루프홀을 닫는 데 중요한 높은 효율성을 제공하지만, 근본적인 한계가 있다: 가우시안 측정으로는 가우시안 상태로부터 벨 비국소성을 생성할 수 없다. 결과적으로 비가우시안 상태가 필요하다. 광자 차감(photon-subtracted) 또는 광학 캣(cat) 상태를 사용하는 기존의 제안들은 손실에 취약하며, 이들의 비가우시안 특징은 실제 구현에서 종종 저하된다. 더욱이, CV 시스템에서 벨 부등식을 테스트하려면 "비닝(binning)"을 통해 연속적인 결과를 이산화해야 한다. 이전의 접근 방식들은 특정 상태나 설정에 맞춰 비닝을 최적화하기도 했으며, 이는 관찰된 위반의 강건성과 크기에 영향을 미쳤다. 본 연구가 다루는 핵심 질문은 큐비트를 보존 모드에 자연스럽게 인코딩하는 고테스만-키타에프-프레스킬(GKP) 인코딩이 유한한 스퀴징(squeezing)과 노이즈 존재 하에서도 오직 호모다인 검출과 고정된 비닝만을 사용하여 강건한 벨 위반을 가능하게 할 수 있는가 하는 점이다.

방법론
저자들은 각 당사자가 공유된 보존 모드에 대해 호모다인 검출을 수행하고, 고정된 주기적 비닝 규칙을 통해 연속적인 결과를 이산화하는 프레임워크를 제 제안한다. 이 비닝은 인코딩된 큐비트의 논리적 파울리 측정($X, Y, Z$)에 대응한다.

1. 자원 상태: 본 연구는 정사각형 격자 GKP 상태를 활용한다. 이상적인 GKP 코드워드는 비정규화 가능한 디락 콤(Dirac comb)이다. 저자들은 에너지 필터 $e^{-\epsilon \hat{n}}$에 의해 생성된 유한 에너지 근사 모델을 사용하여 이를 모델링한다. 이는 디락 콤을 더 넓은 가우시안 포괄선 아래의 좁은 가우시안 피크 격자로 대체하며, 이는 스퀴징 파라미터 $r_{dB}$에 의해 특징지어진다.
2. 측정 체계: 당사자들은 논리적 $Z, X, Y$에 대응하는 특정 각도($\theta_Z=0, \theta_X=\pi/2, \theta_Y=\pi/4$)에서 회전된 직교 성분 $\hat{q}_{\theta}$를 측정한다. 연속적인 결과 $q_\theta$는 해당 값이 주기적 구간 $R_o$ 내에 있는지 여부에 따라 이진 비트 $o \in \{0, 1\}$로 매핑된다.
3. 이론적 프레임워크: 저자들은 임의의 유한 에너지 GKP 인코딩 상태에 대한 $N$-당사자 결합 확률 분포 $p(o|x)$에 대한 명시적인 해석적 표현을 도출한다. 인코딩된 상태를 논리적 파울리 연산자로 전개하고 GKP 위그너 함수의 가우시안 혼합 구조를 활용함으로써, 저자들은 $N$-모드 확률을 단일 모드 중첩의 곱으로 환원한다. 이러한 중첩은 오차 함수(error function)를 포함하는 절대 수렴 급수(식 7)로 표현된다.
4. 벨 테스트: 본 프레임워크는 두 가지 구별된 얽힘 구조를 사용하여 다당사 시나리오($N \ge 3$)에 적용된다:
   • GHZ 상태: 메민-아르데하리-벨린스키-클리시코(Mermin–Ardehali–Belinskii–Klyshko, MABK) 부등식을 사용하여 테스트한다.
   • W 상태: 카벨로(Cabello) 유형의 확률 부등식을 사용하여 테스트한다.
     또한, 본 연구는 광자 손실(투과율 $\eta$인 빔 스플리터 채널으로 모델링됨)과 열 노이즈의 영향을 분석한다.

주요 기여 및 결과

• 이당사 노-고(No-Go) 정리: 저자들은 이당사 시스템에 대한 근본적인 장애물을 확립한다: 벨 쌍(Bell-pair) 상태의 경우, 파울리 측정(호모다인 + 고정 비닝으로 구현됨)은 CHSH 시나리오에서 오직 국소 상관관계만을 생성한다. 이러한 제약 조건 하에서는 위반이 불가능하다.
• 다당사 위반: 당사자 수를 늘림으로써, 본 연구는 유한히 스퀴징된 GKP 인코딩 GHZ 및 W 상태가 강력한 다당사 비국소성을 보임을 입증한다. 이들은 호모다인 판독만을 사용하여 다당사 벨 부등식을 위반한다.
• 해석적 도구: 단일 모드 중첩 공식(식 7)의 도출은 물리적 GKP 파라미터(스퀴징, 격자 구조)와 결과적인 빈닝된 호모다인 통계 사이의 효율적으로 계산 가능한 연결 고리를 제공한다. 이는 손실과 유한 스퀴징 하에서의 벨 위반에 대한 수치적 평가를 가능하게 한다.
• 임계값 및 강건성:
  • 스퀴징: 더 높은 스퀴징($r_{dB}$)은 논리적 파울리 측정을 더 잘 근사하여 벨 위반 값을 증가시킨다.
    // * 손실: 광자 손실은 위상 공간 격자를 흐리게 하여 구별 가능성을 감소시킨다. 저자들은 특정 손실 수준에 대해 부등식을 위반하기 위해 필요한 최소 스퀴징 파라미터로서 임계 스퀴징 파라미터($r_{crit}$)를 정의한다.
  • 비교: W 유형 상태(Cabello 부등식으로 테스트됨)가 GHZ 상태(MABK로 테스트됨)보다 유한한 스퀴징에 대해 더 강건한 것으로 나타났다. 구체적으로, W 유형 위너(witness)는 동일한 당사자 수($N=3$)에 대해 GHZ 유형 위너보다 더 낮은 스퀴징 임계값에서 위반을 달성한다.
  • 노이즈 트레이드오프: 분석은 "노이즈 예산"을 정량화하며, 높은 투과율이 중간 정도의 열 노이즈를 보상할 수 있지만, 상당한 감쇠를 견디기 위해서는 진공 노이즈에 가까운 상태가 필요함을 보여준다.
• 기하학적 거리: 국소 폴리토프(local polytope)까지의 기하학적 거리에 대한 분석은 W 유형 상관관계가 유한한 스퀴징에 더 강건함을 확인시켜 준다. 또한, 측정 설정을 2개에서 3개로 늘리면 이 거리가 급격히 증폭되는데, 이는 호모다인 기반 비국소성이 표준적인 2-설정 위너가 포착하는 것보다 더 풍부함을 시사한다.

의의 및 주장
본 논문은 연속 변수 시스템에서 실용적이고 루프홀에 자유로운 벨 테스트를 향한 경로를 제공한다고 주장한다. GKP 인코딩을 활용함으로써, 저자들은 복잡한 비가우시안 연산(예: T-게이트)이나 취약한 비가우시안 상태 없이도 오직 높은 효율의 호모다인 검출과 고정된 비닝만을 사용하여 강건한 벨 위반이 달성 가능하다는 것을 보여준다.

• 실험적 관련성: 연구 결과는 트랩드 이온, 마이크로파 공동, 통합 광학 소스 등 GKP 상태가 실현된 플랫폼에 직접 적용 가능하다.
• 확장성: GHZ 상태는 가우시안 결합 및 클리포드 연산(GKP 아키텍처와 호환됨)을 사용하여 생성될 수 있지만, W 상태의 준비는 비클리포드 자원을 필요로 하므로 여전히 과제로 남아 있다. 저자들은 이를 주요한 실험적 난관으로 지목한다.
• 광범위한 영향: 식 7의 해석적 프레임워크는 벨 테스트를 넘어, 준비-및-측정(prepare-and-measure) 프로토콜과 분산 양자 센싱에서의 프라이버시 인증을 위한 도구로 확장된다.

본 연구는 GKP 상태가 결함 허용 양자 컴퓨팅의 요구 사항과 광학 및 CV 기술에서의 강건하고 고효율적인 양자 비국소성 인증의 필요성 사이를 잇는 자연스러운 가교 역할을 한다는 결론을 내린다.