배경 자유 장치 독립 인과 불평등 위반

초록

이 논문은 프로세스‑매트릭스 형식에서 숨겨진 기준 구조를 제거하고, 각 실험실이 독립적인 대칭군 변환에 불변하도록 강제함으로써 장치‑독립적으로 인과 불평등을 위반할 수 있는 조건을 규명한다. 결과적으로 다중성 없이 혹은 모든 다중성이 고전‑고전(CC) 형태일 때는 배경‑자유한 위반이 불가능함을 보이며, 비‑CC 다중성을 갖는 경우에만 충분조건을 만족하면 위반이 가능함을 제시한다.

상세 분석

본 연구는 프로세스‑매트릭스 프레임워크가 전역 인과 순서를 가정하지 않음에도 불구하고, 입력‑출력 공간을 고정된 Choi‑Jamiołkowski(CJ) 동형사상으로 식별함으로써 암묵적인 배경 구조를 도입한다는 점에 주목한다. 이러한 배경은 실험실 간에 공유된 기준 프레임이 존재한다는 전제와 동일시될 수 있다. 저자는 이를 제거하기 위해 ‘지역‑프레임 공변성(local‑frame covariance)’을 도입한다. 구체적으로, 각 실험실에 물리적 대칭군 G(예: SU(2) 또는 U(1))가 존재한다는 가정 하에, 실험실 A와 B에 대한 독립적인 군 변환 (g_A, g_B)∈G×G에 대해 프로세스 매트릭스를 전단(트윌링)한다. 이 트윌링 연산은 모든 가능한 프레임 정렬을 평균화함으로써 공유된 기준 프레임을 완전히 소멸시킨다.

트윌링 결과는 표현론적 분해를 초래한다. 각 실험실의 CJ 공간 H_X^I⊗H_X^O는 G의 불변표현(irreps) R_X^j와 그에 대응하는 다중성 공간 M_X^j( G가 트리비얼하게 작용)으로 분해된다. 전체 시스템은 (j_A, j_B)라는 ‘대칭 섹터’와 그에 연결된 다중성 서브스페이스 M_{j_A}^{A}⊗M_{j_B}^{B} 로 구성된다. 공변성을 만족하는 모든 프로세스 매트릭스는 각 섹터에 대해 R_A^j⊗R_B^j에 대한 항은 항등연산에 비례하고, 다중성 부분에 대해서는 자유롭게 정의될 수 있다. 즉, W = ⊕{j_A,j_B} (I{R_A^j}/d_A^j ⊗ I_{R_B^j}/d_B^j) ⊗ fW_{j_Aj_B} 형태가 된다.

이때 중요한 두 가지 구조적 구분이 등장한다. 첫째, ‘다중성‑없는(multiplicity‑free)’ 경우는 모든 M_X^j가 1차원, 즉 다중성 공간이 존재하지 않음으로, 공변성 알제브라가 단순히 고전적인 확률 가중치만을 허용한다. 둘째, 다중성 공간이 존재하더라도 그 내부 구조가 ‘고전‑고전(classical‑classical, CC)’ 형태이면, 즉 M_{j_A}^{A}와 M_{j_B}^{B}가 각각 고전적인 레지스터 역할만 수행한다면, 물리적 구현에서 내부 메모리나 신호전달이 존재하더라도 장치‑독립적인 인터페이스(즉, 게임의 입력·출력만을 관측)에서는 이 정보가 완전히 은폐된다.

저자는 이러한 두 경우에 대해 ‘배경‑자유 인증(background‑free certification)’이 불가능함을 정리한다. 배경‑자유 인증이란 (i) 구현이 지역‑프레임 공변성을 만족하고, (ii) 인터페이스‑허용(coarse‑grained) 데이터가 숨겨진 설정‑의존 제어에 의해 영향을 받지 않아야 함을 의미한다. 다중성‑없음 혹은 CC 다중성에서는 어떤 프로세스 매트릭스도 위 조건을 만족하면서 인과 불평등을 위반할 수 없으며, 관측 가능한 통계는 항상 인과적으로 분리 가능한(causally separable) 형태에 머문다.

반면, ‘비‑CC’ 다중성, 즉 다중성 서브스페이스가 양자적 얽힘이나 비고전적 연산을 지원할 경우에만 배경‑자유 위반이 가능하다. 저자는 충분조건으로 ‘입출력 임베더블리티(input‑output embeddability)’를 제시한다. 구체적으로, 다중성 블록 내에 효과적인 프로세스 매트릭스 구조가 존재하고, 그 구조가 인과 순서가 없는 비분리 형태를 구현할 수 있다면, 섹터 라벨을 관측하지 않아도 (즉, 섹터를 무시한 coarse‑grained 통계만을 사용해) 인과 불평등을 위반할 수 있다. 이는 비‑CC 다중성 블록이 물리적으로는 ‘양자적 기억 장치’를 제공함을 의미한다.

마지막으로, 저자는 이러한 결과가 장치‑독립적인 인과 실험 설계에 미치는 함의를 논한다. 실험자는 반드시 (1) 지역‑프레임 공변성을 보장하는 물리적 구현을 선택하고, (2) 인터페이스에 포함되지 않은 다중성 변수를 제어하거나 측정하려는 시도를 피해야 한다. 이러한 제약 하에서만 관찰된 위반이 진정한 배경‑자유 증거가 된다. 논문은 또한 기존의 ‘전역 라벨 교환(global permutation)’ 대칭 조건이 프레임 정렬 문제를 해결하지 못한다는 점을 지적하고, 제안된 공변성 접근법이 보다 근본적인 배경 독립성을 확보한다는 점을 강조한다.