Faking entanglement with imperceptible measurement deviations

기술 요약: 인지 불가능한 측정 편차를 이용한 얽힘 위조

문제 정의
양자 얽힘은 양자 통신, 양자 계산 및 네트워크를 포함한 신흥 기술의 근간이 되는 필수적인 자원이다. 특히 고차원 시스템에서 얽힘을 정확하게 검증하는 것은 매우 중요하다. 그러나 얽힘 증인(entanglement witness)과 같은 표준 검증 방법은 규정된 양자 관측량(측정)이 완벽한 정확도로 구현될 수 있다는 가정에 의존한다. 실제로 양자 시스템의 차원이 높아짐에 따라 이상적인 측정을 구현하는 복잡성이 증가하며, 이는 이론적 모델과 실험적 구현 사이의 불가피한 편차를 초래한다. 장치 독립적(device-independent) 테스트가 존재하지만, 이는 실험적으로 매우 까다롭다. 현재의 장치 의존적 방법들은 측정 결함이 작고 확률적이라고 가정하는 경우가 많으나, 미세하게나마 체계적이고 적대적인 편차가 고차원 영역에서 얽힘 인증의 유효성을 해칠 수 있는지에 대한 엄격한 분석은 부족하다.

방법론
저자들은 고차원 얽힘 검증이 적대적인 측정 편차에 얼마나 취약한지를 조사한다. 이들은 두 가지 상보적인 기저(계산 기저와 그 푸리에 변환인 상호 무관 기저)에서 측정된 상관관계에 기반한, 널리 사용되는 얽힘 증인에 초점을 맞춘다.

1. 이론적 공격 구축: 저자들은 대상 기저에 $\epsilon$-가까운(여기서 $\epsilon$는 측정 불충실도를 나타냄) 명시적인 측정 기저를 구축하되, 분리 가능한(곱 상태) 상태에 대해 증인 값을 최대화하도록 특별히 설계하였다. 이들은 측정 충실도를 정량화하기 위해 세 가지 서로 다른 오차 모델을 분석한다:

   • 평균 충실도 모델 (Average Fidelity Model): 대상과 구현된 측정 결과 사이의 평균 중첩이 $1-\epsilon$으로 제한된다.
   • 최악의 경우 충실도 모델 (Worst-Case Fidelity Model): 모든 개별 측정 결과가 충실도 경계 $1-\epsilon$을 만족한다.
   • 개별 투영을 포함한 최악의 경우 (Worst-Case with Individual Projections): 다중 결과 측정이 일련의 단일 투영으로 구현되는 광자 공학 분야와 관련된 모델로, 각 투영체에 대해 독립적인 편차를 허용한다.

   각 모델에 대해, 저자들은 고전적 곱 상태를 사용하여 최적의 공격 전략을 도출한다. 이들은 측정 기저 벡터에 특정하고 작은 섭동(perturbation)을 도입함으로써, 분리 가능한 상태가 분리 가능한 상태의 이론적 경계를 초과하는 증인 값($W_d$)을 생성할 수 있음을 입증한다. 이는 고차원 얽힘이 존재하는 것처럼 잘못 나타내게 한다.

2. 실험적 시연: 저자들은 광자의 횡방향 공간 자유도(매크로 픽셀 기저)에 인코딩된 고전적 광자 상태를 사용하여 이론적 예측을 실험적으로 검증한다.

   • 설정: 감쇄된 펄스 레이저가 상관관계가 없는 광자 쌍(곱 상태를 모사함)의 소스로 사용된다. 공간 광 변조기(SLM)는 특정 곱 상태를 생성하고 섭동된 측정 기저를 구현하는 데 사용된다.
   • 구현: 실험은 차원 $d=61$까지 확장된다. 저자들은 측정 장치에 제어된 $\epsilon$-섭동을 도입한다. 또한, 모드 간의 크로스토크(crosstalk)를 특징짓고 이를 이론적 경계에 포함시킴으로써 고유한 실험적 결함을 고려한다.
   • 검증: 섭동된 조건 하의 곱 상태에 대해 얽힘 증인 $W_d$를 측정하고, 이를 실험적 크로스토크가 포함된 이론적 예측과 비교한다.

주요 결과

• 이론적 결과: 본 연구는 적대적으로 인코딩된 임의의 작은 측정 오차가 분리 가능한 상태에서 임의로 높은 수준의 얽힘을 잘못 인증할 수 있음을 증명한다. 고정된 오차 $\epsilon$에 대해, "위조된" 얽힘의 크기(슈미트 수 $K$로 정량화됨)는 시스템 차원 $d$가 증가함에 따라 급격히 증가한다. 예를 들어, 61차원 시스템에서 단 $\epsilon = 0.7\%$의 오차만으로도 $K=47$ 차원의 얽힘을 위조하기에 충분하다.
• 실험적 검증: 실험은 곱 상태에서 상당한 수준의 얽힘을 위조하는 것을 성공적으로 보여주었다.
  • 31차원 시스템에서 $\epsilon = 0.7\%$일 때, 측정된 증인 값은 $W_d = 1.36 \pm 0.03$이었으며, 이는 $K=11$의 잘못된 슈미트 수를 의미한다.
  • 61차원 시스템에서 동일한 오차율 $\epsilon = 0.7\%$일 때, 실험은 $K=26$의 슈미트 수를 성공적으로 위조하였다.
  • 고유 크로스토크(약 1:700에서 1:760의 비율로 측정됨)에 대해 보정된 실험 데이터는 공격 모델의 이론적 예측과 잘 일치한다.
• 취약성의 견고성: 이 취약성은 세 가지 오차 모델(평균 충실도, 최착의 경우 충실도, 개별 투영) 모두에서 지속된다. 결과는 이러한 결함이 특정 실험적 구현이나 충실도 정량화의 산물이 아니라, 기존의 장치 의존적 얽힘 증인 패러다임에 내재된 문제임을 나타낸다.

의의 및 주장
본 논문은 현재의 고차원 얽힘 탐지 방법에서 발견되는 근본적인 취약성을 밝혀냈다고 주장한다. 저자들은 양자 시스템이 복잡해질수록(차원이 높아질수록), 이상적인 측정을 실현하는 실험적 과제가 증가하며, 이는 역설적으로 적대적 공격의 실행을 더 용이하게 만든다고 주장한다. 정교하게 설계된 작은 측정 편차는 완전히 분리 가능한 고전 상태를 사용하여 최대 얽힘의 통계적 징후를 모사할 수 있다.

이러한 발견의 의의는 두 가지 측면에서 중요하다:

1. 보안 위험: 이는 복잡한 양자 장치가 작은 적대적 섭동에 얼마나 취약한지를 강조하며, 현재의 검증 프로토콜이 정교한 공격으로부터 양자 기술을 보호하기에 불충분할 수 있음을 시사한다.
2. 방법론적 필요성: 결과는 이론과 실험 사이의 유계된(bounded) 불일치에 강건한 보안 양자 정보 검증 방법을 개발해야 할 시급한 필요성을 강조한다. 저자들은 향가 검증 체계가 완벽한 측정 구현이라는 가정에 의존하지 않고, 일반적인 유계 오차 가정을 기반으로 작동해야 하며, 잠재적으로 장치 독립적 또는 반(semi)-장치 독립적 프레임워크로 나아가야 한다고 제안한다.

결론적으로, 특정 수준의 위조된 얽힘은 오차가 어떻게 정량화되느냐에 따라 달라질 수 있지만, 작은 오차가 고차원에서 큰 위양성(false positive)을 생성할 수 있다는 질적 특성은 현재의 얽힘 증인 패러다임의 보편적인 특징이다.