Noise robustness of three outcome Bell certified quantum randomness

기술 요약: 세 가지 결과값을 갖는 벨 인증 양자 무작위성의 노이즈 강건성

문제 정의
장치 독립적(DI) 무작위성 생성은 벨 부등식의 위반에 의존하며, 이는 장치의 내부 작동 방식에 대한 가정을 요구하지 않고 측정 결과가 본질적으로 예측 불가능함을 인증한다. 비이진 결과 측정(예: CHSH)에 기반한 표준 프로토콜은 잘 확립되어 있으나, 큐비트 시스템의 제약으로 인해 실험 회당 인증 가능한 무작위성 양에 근본적인 한계가 있다. 고차원 시스템과 다중 결과 측정은 이론적으로 더 풍부한 비국소 상관관계와 더 높은 엔트로피를 제공할 수 있지만, 실제적인 유용성은 여전히 불분명하다. 특히, 다중 결과 시나리오가 현실적인 노이즈 환경에서도 상당한 전역 무작위성(모든 당사자의 출력에 대한 결합된 예측 불가능성)을 유지할 수 있는지, 그리고 이러한 이점이 정교하게 설계된 부등식에 국한되는지 아니면 일반적인 현상인지에 대한 이해에 중요한 격차가 존재한다.

방법론
저자들은 각 당사자가 세 가지 측정 결과($d=3$)를 갖는 이분법적 시나리오에서의 DI 무작위성 인증을 조사한다. 본 연구는 두 가지 주요 방법론적 접근 방식을 채택한다:

1. 기존 부등식의 평가: 저자들은 SATWAP, CGLMP, Buhrman–Massar (BM), Kaniewski et al., Meyer et al., 그리고 Perito et al.에 의한 새로운 부등식을 포함한 여러 확립된 벨 표현식을 분석한다. 전역 무작위성 인증을 가능하게 하기 위해, 이 부식식들은 Bob 측에 추가적인 측정 설정을 요구하는 항들을 추가함으로써 확장되며, 이를 통해 "스팟 설정(spot setting)"(생성을 위해 사용된 특정 입력 쌍)이 균등하게 무작위인 결과를 인증하도록 보장한다.
2. 체계적인 무작위 탐색: 저자들은 두 가지 구조화된 가계(family) 내에서 새로운 벨 표현식을 생성하는 방법을 도입한다:
   • 가계 1: 각 설정 쌍(스팟 설정 제외)에 대해 modulo-$d$ 확률 항을 무작위로 선택한다.
   • 가계 2: 각 modulo-3 확률 항에 독립적인 계수를 무작위로 할당한다.
     다양한 측정 설정 구성(예: 3-2, 3-3, 4-2, 4-3)에 걸쳐 광범위한 수치적 탐색(시나리오당 50,000개의 표현식)이 수행된다.

노이즈 모델 및 인증 지표
이러한 표현식의 강건성은 두 가지 노이즈 모델 하에서 평가된다:

• 베르너 유형 노이즈(Werner-type noise): 이상적인 양자 상태와 최대 혼합 상태의 혼합물.
• 벨 값 노이즈(Bell-value noise): 관측된 벨 값의 직접적인 저하.

무작위성은 NPA 계층 구조에 기반한 준정부호 계획법(SDP) 방법을 사용하여 계산된 최소 엔트로피($H_\infty = -\log_2 P_{guess}$)를 통해 정량화된다. 연구는 특정 "스팟 설정"에서 인증된 무작위성과 모든 가능한 입력 설정에 대한 평균 무작위성을 모두 평가한다.

주요 결과

• 다중 결과 시나리오의 우월성: 본 연구는 세 가지 결과 시나리오가 비교 가능한 노이즈 수준에서도 이진 결과(큐비트) 대응물보다 훨씬 더 많은 전역 무작위성을 인증할 수 있음을 확인한다. 구체적으로, 특정 부등식들은 약 3.17 비트의 최소 엔트로피라는 이론적 최대치에 근접한 무작위성을 인증할 수 있다.
• 기존 부식식의 노이즈 강건성: 알려진 부등식 중 Perito et al. [21]이 도입한 것이 가장 높은 노이즈 내성을 보여주며, 다른 부등식들이 실패하는 노이즈 수준에서도 2비트 이상의 전역 무작위성 인증을 유지한다. 이는 최적의 투영 큐비트 전략으로 달성 가능한 한계를 능가한다.
• 무작위 가계의 일반적 강건성: 대규모 수치 탐색 결과, 강력한 무작위성 인증은 특정 공학적 설계의 희귀한 산물이 아님이 밝혀졌다.
  • 가계 1에서는 무작위로 생성된 표현식 중 상당한 비율이 상당한 무작위성(종종 2비트 초과)을 인증한다.
  • 결정적으로, 대부분의 비자명한 인증은 현실적인 노이즈(예: $v=0.99$)에 대해 강건성을 보이며, 이상적인 영역에서 멀리 떨어진 상태에서도 양(+)의 인증된 무작키성을 유지한다.
  • 가계 2는 가계 1에 비해 근사 최적의 인증식을 적게 생성하며, 이는 가계 1의 구조적 제약이 고성능 부등식을 찾는 데 더 유리함을 시사한다.
• 근사 최적의 단순 부등식 식별: 저자들은 가계 1에서 추출한 특정 부등식(Scenario 4-2, "Case F"로 명명됨)이 한 쪽 당사자에 대해 단 두 개의 측정 설정만을 요구하면서도 근사 최대 전역 무작위성(벨 값 노이즈 하에서 $\approx 3.165$ 비트)을 달성함을 확인하였다. 이 부식식은 구조적으로 단순하며, 재라벨링(relabeling)을 통해 [21]의 $(2, 4, 3)$ 가계 구성원과 동등하다.

의의 및 주장
본 논문은 다중 결과 시나리오에서의 강력한 장치 독립적 무작위성 확장의 잠재력이 소수의 정교하게 구성된 부등식에 국한되지 않는다고 주장한다. 대신, 저자들은 다음을 입증한다:

1. 고차원 상관관계는 실질적인 자원이다: 이들은 현실적인 노이즈 조건 하에서도 지속되는, 인증 가능한 무작위성의 진정한 이점을 제공한다.
2. 강건성은 일반적이다: 노이즈가 있는 환경에서 상당한 무작위성을 인증하는 능력은 예외적인 속성이 아니라, 적절하게 구성된 벨 표현식 가계 내에서 나타나는 공통된 특징이다.
3. 측정 설정의 효율성: 한 쪽 당사자가 최소한의 측정 복잡성(예: 두 개의 설정만 사용)을 사용하여 근사 최적의 무작위성 인증을 달성하는 것이 가능하며, 이는 출력 무작위성과 프로토콜 실행에 필요한 입력 무작위성 사이의 균형을 개선한다.

저자들은 구조화된 무작위 생성(structured random generation)이 경쟁력 있는 벨 부식식을 발견하기 위한 강력한 도구이며, 최대 엔트로피, 노이즈 강건성, 그리고 실험적 단순함 사이의 균형을 맞추는 표현식을 식별하기 위한 체계적인 경로를 제공한다고 결론짓는다.