No-signalling-projection-invariant Bell inequalities

기술 요약: 무신호-투영-불변 벨 부등식 (No-Signalling-Projection-Invariant Bell Inequalities)

문제 정의
$n$개의 참여자, $m$개의 측정 설정, 이진 결과를 갖는 벨 실험은 통계적 변동이 있는 경험적 데이터를 생성한다. 결과적으로, 유한한 시행으로부터 도출된 경험적 빈도 분포는 "약한 신호(weak signalling)"를 나타낼 수 있는데, 이는 한 참여자의 주변 확률(marginal outcome probabilities)이 다른 참여자들이 선택한 측정 설정에 의존하게 되는 무신호 조건의 위반을 의미한다. 이는 루프홀 없는(loophole-free) 실험에서도 유한 샘플 노이즈나 드리프트 및 불완전한 무작위화와 같은 실험적 최적성 미달로 인해 발생할 수 있다.

이러한 가공되지 않은 약한 신호 경험적 분포를 장치 독립적 프로토콜(예: 무작위성 생성, 키 분배 또는 얽힘 인증)에 직접 사용하는 것은 오해의 소지가 있는 해석을 초래할 수 있다. 구체적으로, 무신호 분포에 대해 벨 부등식은 대수적으로 동등한 여러 형태로 재작성될 수 있다. 그러나 약한 신호 분포의 경우, 이러한 "동등한" 형태들은 서로 다른 값을 나타낼 수 있다. 즉, 한 형태는 부등식을 만족하지만 다른 형태는 이를 위반할 수 있다. 이러한 모호함은 비국소성(nonlocality)의 평가와 장치 독립적 응용의 신뢰성을 복잡하게 만든다.

방법론
저자들은 경험적 빈도 벡터 $f$를 유클리드 거리($L_2$-노름)를 사용하여 무신호 폴리토프 $\mathcal{P}_{NS}$의 아핀 헐(affine hull) $\mathcal{A}$로 투영하는 전처리 단계를 제안한다. 반복적인 볼록 최적화 문제를 해결해야 하며 폐쇄형 해(closed-form solution)가 없는 최대 우도(Maximum Likelihood, ML) 추정법과 달리, $L_2$-투영은 직접적인 기하학적 접근 방식을 제공한다.

본 방법론의 핵심은 $\mathcal{A}$를 정의하는 선형 등식 제약 조건의 구조(정규화 및 무신호 조건)에 달려 있다. 저자들은 제약 행렬 $A_{eq}$의 커널(kernel)을 분석하고, 특정 기저 벡터 집합인 **균등 평균 주변 상관 함수(Uniformly-Averaged Marginal Correlators, UMC)**를 식별한다.

1. UMC 정의: 부분 집합 $I$와 그들의 설정 $x_I$에 대하여, UMC는 나머지 $n-|I|$ 참여자들의 모든 가능한 설정에 대해 표준 주변 상관 함수를 균등하게 평균 내어 정의된다.
2. 커널 멤버십: 저자들은 이 UMC들에 대응하는 계수 벡터들이 $A_{eq}$의 커널 내에 완전히 존재함을 증명한다.
3. 불변성: UMC 벡터들은 커널에 존재하기 때문에, $L_2$-투영 $\Pi_{\mathcal{A}}$는 임의의 선형 범함수의 값을 보존한다. 즉, 임의의 행동 $p$에 대하여, UMC 범함수의 값은 $p$와 그 투영 $\Pi_{\mathcal{A}}(p)$에 대해 동일하다.

주요 기여 및 결과

• 벨 부등식의 정규형(Canonical Form): 저자들은 $(n, m, 2)$ 시나리오에서의 모든 선형 벨 부등식이 완전 상관 함수(full correlators)와 UMC를 사용하여 정규형으로 재작성될 수 있음을 보여준다. 이러한 항들은 $L_2$-투영 하에서 불변하므로, 벨 식의 값은 가공되지 않은 약한 신호 데이터에서 평가되든 투영된 무신호 근사치에서 평가되든 변하지 않는다. 이는 동등한 부등식 형태를 선택하는 데 따르는 모호성을 제거한다.
• 폐쇄형 투영 공식: 제약 행렬의 희소성(sparsity)과 UMC의 기저 특성을 활용하여, 저자들은 효율적인 폐쇄형 투영 공식을 유도한다. 이 투영은 세 가지 단순 선형 사상의 순차적 결합으로 분해된다:
  1. 경험적 빈도를 가공된 상관 함수로 매핑.
  2. 이러한 상관 함수들을 관련되지 않은 설정들에 대해 균등하게 평균 내어 UMC를 획득.
  3. UMC로부터 확률 분포를 재구성.
     이 방식은 표준 아핀 투영법에서 요구되는 조밀한 투영 행렬의 구축이나 거대한 그람 행렬(Gram matrix)의 역행렬 계산을 피한다.
• 유한 샘플 경계: 저자들은 투영된 분포가 음의 확률(물리적으로 불가능한 현상)을 포함할 확률에 대한 호프딩(Hoeffding)/맥디아미드(McDiarmid) 기반 경계치를 제공한다. 이 경계치는 충분히 큰 샘플 크기와 엄격하게 양수인 기저 확률이 존재할 때, 음수 항목이 나타날 가능성이 무시할 수 있는 수준임을 보여준다.
• 가중치 노름으로의 일반화: 본 프레임워크는 서로 다른 측정 설정이 불균등한 확률로 샘플링되는 경우(장치 독립적 QKD에서 흔함)를 위해 가중 $L_2$ 투영으로 확장된다. 저자들은 균등 UMC가 가중 투영 하에서는 불변하지 않지만, 그에 대응하는 가중 평균 상관 함수는 불변성을 유지하며, 이를 통해 유사한 정규화 절차를 수행할 수 있음을 보여준다.

의의 및 주장
본 논문은 이 투영 불변 정규화 형식이 유한 데이터의 특정 아티팩트나 경미한 실험적 드리프트에 민감하지 않은, 견고하고 표준화된 비국소성 지표를 제공한다고 주장한다. 무신호 비국소성에 순수하게 기인하는 위반을 격리함으로써, 정규형은 서로 다른 실험 및 응용 분야 간의 결과를 비교하기 위한 신뢰할 수 있는 기준점 역할을 한다.

저자들은 이 투영법이 특히 최적의 성능이 시행 분포의 정확한 점 추정치에 의존하는 장치 독립적 과업에서 매우 유리하다고 강조한다. 제안된 워크플로우—데이터를 무신호 아핀 헐로 투영한 후 정규 벨 식을 평가하는 것—는 보고된 벨 값이 잔여 신호 노이즈가 아닌 기저의 비국소적 구조를 반영하도록 보장한다. 이 방법은 참여자와 설정의 수가 증가하는 시나리오에서 반복적인 ML 추정보다 계산적으로 더 간단하고 안정적인 대안으로 제시된다.