Self-testing in a constrained prepare-measure scenario sans assuming quantum dimension

기술 요약: 차원 가정을 배제한 제약된 준비-측정 시나리오에서의 자기 테스트(Self-testing)

문제 정의
장치 독립적(device-independent, DI) 자기 테스트는 내부 메커니즘이나 시스템 차원에 대한 가정 없이, 오직 관찰된 입출력 통계만을 기반으로 양자 장치를 인증하는 강력한 프레임워크이다. 벨의 정리(Bell's theorem)는 얽힘 기반 시나리오에서 DI 자기 테스트를 가능하게 하지만, 이는 공간적 분리(space-like separation) 요구 조건 때문에 실험적으로 매우 까다롭다. 결과적으로, 준비-측정(prepare-measure, PM) 시나리오는 유망한 대안으로 부상했다. 그러나 기존의 PM 자기 테스트 프로토콜은 일반적으로 힐베르트 공간 차원의 상한을 미리 알고 있다는 가정에 의존하는 "준-DI(semi-DI)" 방식이다. 최근 문헌에 따르면, 실제 장치는 의도치 않게 고차원 부공간(subspace)에 접근할 수 있으며, 이는 차원 제한 가정으로부터 도출된 결론을 무효화할 가능성이 있다. 따라서 차원의 차원을 전제하지 않는 PM 시나리오 내에서의 완전한 DI 자기 테스트 프로토콜에 대한 문헌적 공백이 존재한다.

방법론
저자들은 Spekkens 등이 도입한 $n$-비트 패리티 무관 다중화(Parity-Oblivious Multiplexing, POM) 태스크를 기반으로 한 완전한 DI 자기 테스트 프로토콜을 제안한다. 이 프로토콜은 특정 운영적 제약 조건인 패리티 무관성(parity obliviousness) 하에서 작동한다. 이 태스크에서 송신자(Alice)는 $n$-비트 문자열을 양자 상태로 인코딩하여 수신자(Bob)에게 보내며, 수신자는 문자열의 특정 비트를 추측해야 한다. 이 제약 조건은 비트들의 임의의 부분 집합(패리티 집합 $P_n$으로 정의됨)에 대한 패리티 정보가 수신자에게 드러나서는 안 된다는 것을 규정한다.

방법론은 다음 단계로 진행된다:

1. 고전적 경계 도출: 저자들은 **준비 비맥락적 온톨로지컬 모델(preparation noncontextual ontological model)**을 기반으로 고전적 경계를 정의한다. 저자들은 만약 온톨로지컬 모델이 준비 비맥락적이라면, 운영적 패리티 무관성 제약이 온틱 상태(ontic states, 숨은 변수) 수준에서도 동등한 제약을 의미한다고 주장한다. 이를 통해 차원을 가정하지 않고도 고전적 성공 확률 경계인 $(S_n)_C \leq \frac{1}{2}(1 + \frac{1}{n})$를 도출할 수 있다.
2. 차원 독립적 양자 도출: 저자들은 기저 힐베르트 공간의 차원 $d$를 가정하지 않고 최적의 양자 성공 확률 $(S_n)_{Q}^{opt}$를 도출한다. 이 과정에서 패리티 무관성 제약을 활용하여 밀도 행렬 $\rho_{x_\delta}$와 측정 연산자 $B_y$에 대한 대수적 조건을 부과한다. 구체적으로, 상태를 $\rho_{x_\delta} = \frac{1}{d}(\mathbb{1} + A_\delta)$로 표현하며, 여기서 $A_\delta$는 트레이스-제로(traceless)인 이분형(dichotomic) 에르미트 연산자이다.
3. 최적화: 연산자 노름(operator norms), 코시-슈바르츠 부등식, 그리고 패리티 무관성에서 유도된 제약 조건을 적용함으로써 성공 확률을 극대화한다. 이 도출 과정은 최적의 양자 값이 측정 관측량 $B_y$들이 서로 반교환(anticommuting)할 때만 달성됨을 밝혀낸다.
4. 자기 테스트 구축: 저자들은 물리적 실험(알 수 없는 유한 차원 $d$)을 참조 실험(알려진 최소 차원 $d'$)으로 매핑하는 유니터리 연산자 $U$를 명시적으로 구축한다. 이 매핑은 최적의 양자 경계를 달성하는 모든 전략이 국소 등거리 사상(local isometry) 및 복소 공액(complex conjugation)에 대해 특정 참조 전략과 동등함을 입증한다.

주요 기여 및 결과

• 차원 독립적 최적 경계: 본 논문은 $n$-비트 POM 태스크에 대한 최적의 양자 성공 확률을 다음과 같이 도출한다:
  $$(S_n)_{Q}^{opt} = \frac{1}{2} \left( 1 + \frac{1}{\sqrt{n}} \right)$$
  이 결과는 양자 시스템의 차원을 가정하지 않고 도출되었으며, 양자 이점이 차원과 무관하게 유지됨을 증명한다.
• 최적성을 위한 필요 조건: 저자들은 최적의 경계를 달성하기 위해 다음의 조건이 필수적임을 증명한다:
  1. Bob의 $n$개 측정 관측량은 반드시 상호 반교환($\{B_y, B_{y'}\} = 0, y \neq y'$)해야 한다.
  2. 비트별 보수(bitwise complements)에 대응하는 Alice의 준비 상태들은 **쌍으로 직교(pairwise orthogonal)**해야 한다.
  3. 상태들은 항등 연산자와 반교환 관측량들에 의해 생성되는 특정 부공간("클리포드 부공간") 내에 존재해야 한다.
• 최소 차원 제약: 도출 과정 자체는 차원 독립적이지만, $n$개의 상호 반교환 관측량을 요구하는 특성은 최적 값을 달성하는 데 필요한 최소 힐베르트 차원을 본질적으로 결정한다. 논문은 최소 차원이 $d^* = 2^m$ (여기서 $m = \lceil \frac{1}{2}(n-1) \rceil$)임을 확립한다.
• 명시적 유니터리 구축: 저자들은 $n=3$ 및 $n=5$에 대한 명시적 구축을 제공하며 이를 임의의 $n$으로 일반화한다. 이 구축들은 물리적 상태와 측정을 알려진 유한 차원 공간(예: 큐비트의 텐서 곱)에서 작용하는 참조 파울리 연산자 세트로 매핑함으로써 자기 테스트 속성을 공식적으로 확립한다.

의의 및 주장
본 논문은 양자 시스템의 차원에 대한 가정을 의존하지 않는, 준비-측정 시나리오에서의 최초의 완전한 DI 자기 테스트 프로토콜을 제시한다고 주장한다. 패리티 무관성 제약을 활용함으로써, 저자들은 관찰된 입출력 상관관계만으로 다음을 수행할 수 있음을 입증한다:

1. 양자 자원 인증: 기저 양자 상태와 측정법을 유니터리 자유도 및 복소 공액에 대해 고유하게 식별한다.
2. 고전 모델 배제: 관찰된 통계가 어떠한 준비 비맥락적 온톨로지컬 모델로도 재현될 수 없음을 보장한다.
3. 차원 인증 기능: 최적의 값은 지정된 반교환 관측량의 수에 의해 결정되는 하한 차원을 충족해야만 달성될 수 있으므로, 본 프로토콜은 DI 양자 차원 증인(dimension witness) 역할을 수행한다.
4. 무작위성 인증 촉진: 최적의 양자 위반은 적대자가 보유한 양자 측면 정보가 있는 상황에서도 Bob의 결과에 내재된 무작위성을 보장하므로, 단일 장치 무작위성 확장(randomness expansion)을 가능하게 한다.

저자들은 결론적으로, 자신들의 결과가 차원에 대한 엄격한 가정 없이 근접 기술(near-term technologies)을 인증할 수 있는 견고한 프레임워크를 제공하고 맥락성을 이해하는 데 진전된 데, 규모 확장이 가능한 단일 시스템 기반의 DI 인증 프로토콜을 위한 길을 열었다고 밝힌다.