The Locality Gap: A Thermodynamic Law for Objective Facts

기술 요약: 국소성 간극(Locality Gap)과 열역학적 사실성(Thermodynamic Factuality)

문제 제기
양자 다윈주의(Quantum Darwinism)의 틀 안에서, 객관적 사실은 시스템의 값이 수많은 독립적으로 접근 가능한 환경 파편들로 중복되어 각인된 것으로 정의된다. 중복성은 관찰자가 시스템에 직접 접근하지 않고도 어떻게 합의에 도합하는지를 설명해주지만, 이는 기저에 깔린 사건의 섀넌 정보량(Shannon information)을 증가시키지는 않는다. 즉, $R$개의 비트 복사본은 여전히 단 하나의 논리적 불확실성만을 포함할 뿐이다. 결과적으로, 이 중복성이 갖는 열역학적 의미는 그동안 불분명한 상태로 남아 있었다. 본 논문은 다음의 질문을 다룬다: 어떤 물리적 자원이 사건이 거대한 기록의 구름을 획득할 때 축적되는가? 그리고 중복된 브로드캐스트 기록(broadcast records)을 고유한 저장(unique storage)이나 비밀 공유(secret sharing)와 구분 짓는 보편적인 열역학적 징표는 존재하는가?

방법론
저자는 제한된 제어 하에서의 가역적 등온 삭제(Landauer erasure)를 기반으로 한 비교 열역학적 프레임워크를 제안한다. 방법론은 다음과 같다:

1. 구조(Architectures) 정의: 사건 $X$의 기록 구름 $F$를 설정하고, 이 구름을 공동 제어가 불가능한 블록들로 나누는 분할 $\mathcal{P}$를 설정한다.
2. 4-작업 프로토콜(Four-Work Protocol): 네 가지 서로 다른 조건 하에서 기록 구름을 리셋하는 데 필요한 최소 작업량을 비교한다:
   • 소스 정보가 없는 전역적 리셋($W^\emptyset_{glob}$).
   • 소스 정보가 없는 분할 국소적 리셋($W^\emptyset_{\mathcal{P}}$).
   • 사건 $X$가 촉매적 클래식 사이드 정보로 공급된 전역적 리셋($W^X_{glob}$).
   • 사건 $X$가 촉매적 클래식 사이드 정보로 공급된 분할 국소적 리셋($W^X_{\mathcal{P}}$).
3. 이중 차분(Double Difference): 정보가 없는 상태에서의 국소적 및 전역적 삭제 사이의 작업 차이인 "국소성 간극(Locality Gap)" $G^\emptyset_{\mathcal{P}}$를 계산한다. 그다음, 사이드 정보가 있는 상태에서의 "소스-법(Source-Law)" 간극 $G^X_{\mathcal{P}}$를 계산한다. 핵심 양량인 열역학적 사실성 전하(Thermodynamic Factuality Charge) $F^T_{\mathcal{P}}(X)$는 이 이중 차분으로 유도된다: $F^T_{\mathcal{P}}(X) = G^\emptyset_{\mathcal{P}} - G^X_{\mathcal{P}}$.
4. 모델링: 이론은 완벽한 클래식 브로드캐스트, 독립적인 이진 대칭 기록, 순수 상태 양자 충돌 모델(pure-state quantum collision models), 그리고 패리티 비밀 공유(parity secret sharing)를 포함한 정확히 풀리는 모델들을 통해 검증된다.

주요 기여 및 결과

• 국소성 간극 법칙(The Locality Gap Law): 본 논문은 전역적 제어자와 분할 국소적 제어자 사이의 작업 비대칭성이 국소 제어자가 접근할 수 없는 상관 자유 에너지(correlation free energy)와 정확히 일치함을 입증한다. 구체적으로, $G^\emptyset_{\mathcal{P}} = k_B T T_{\mathcal{P}}(F)$이며, 여기서 $T_{\mathcal{P}}(F)$는 분할 총 상관관계(partition total correlation)이다.
• 사실성의 소스-손실 법칙(The Source-Loss Law of Factuality): 소스 보조 간극을 차감함으로써, 저자는 사건 $X$에 특유하게 귀속되는 상관관계를 분리해낸다. 결과적인 양량은 다음과 같다:
  $$F^T_{\mathcal{P}}(X) = k_B T \left[ \sum_{B \in \mathcal{P}} I(X:F_B) - I(X:F) \right]$$
  이 양량은 제한된 제어 하에서 소스 키의 손실로 인해 발생하는 사건 특이적 엔트로피 생성량에 온도 $T$를 곱한 값을 나타낸다.
• 열역학적 기록 수(Thermodynamic Record Number): 저자는 정규화된 좌표 $N^{\mathcal{P}}_X = 1 + F^T_{\mathcal{P}}(X) / (k_B T H(X))$를 정의하며, 이는 0에서 $|\mathcal{P}|$까지의 범위를 갖는다.
  • 완벽한 브로드캐스트: $N^{\mathcal{P}}_X = |\mathcal{P}|$ (최대 양의 전하). 모든 블록이 독립적으로 $X$를 결정한다.
  • 고유한 저장: $N^{\mathcal{P}}_X = 1$ (제로 전하). 오직 하나의 블록만이 $X$를 운반하며, 나머지는 상관관계가 없다.
  • 완벽한 비밀 공유: $N^{\mathcal{P}}_X = 0$ (최대 음의 전하). 어떤 블록도 $X$를 드러내지 않지만, 그 합집합은 $X$를 결정한다.
• 랜드아워-다윈 경계(Landauer–Darwin Bounds): 저자는 독립적으로 해독 가능한 파편의 수에 기반한 사실성 전하의 하한선을 도출한다. 만약 $R$개의 서로 소인 블록들이 결핍 $\delta$를 가지고 $X$의 추론을 허용한다면, $F^T_{\mathcal{P}} \geq [R(1-\delta) - 1] k_B T H(X)$이다.
• 종단 강성(Endpoint Rigidity): 이 경계들은 "강성(rigid)"을 갖는다. 전하가 브로드캐스트 상한에 근접하면 모든 블록이 거의 완전한 기록임을 인증한다. 전하가 비밀 공유 하한에 근접하면 모든 블록이 $X$에 대해 거의 무지함을 인증한다.
• 상호작용 보정(Interaction Corrections): 블록 간 상호작용이 있는 해밀토니언의 경우, 엔트로피 전용 법칙은 $2\|H_{int}\|$로 제한되는 정확한 상호작용 에너지 보정항을 갖는다. 본 논문은 관측된 상관관계에 따라 스케일링되는 핀스커 정밀화된 경계(Pinsker-refined bound)를 제공하여 더 날카로운 양의 기준을 제시한다.

의의 및 주장
본 논문은 양자 역학을 수정하거나 객관적 붕괴를 가정하지 않고도 객관적 사실에 대한 정밀한 열역학적 징표를 제공한다고 주장한다.

• 자원 식별: 중복된 기록에 의해 생성되는 열역학적 자원을 추가적인 상태 변수가 아닌 "작업 비대칭성"으로 식별한다.
• 운용적 객관성: 객관성을 접근 가능한 정보에 대한 진술이 아니라, 국소 제어 하에서의 정량적인 작업 비대칭성으로 재정의한다. "열역학적으로 공공적인 사실(thermodynamically public fact)"은 국소적-전역적 삭제의 이중 차이가 양의 값을 생성하는, 여러 블록으로부터 독립적으로 해독 가능한 클래식 변수로 정의된다.
• 고전성(Classicality): 최대 양의 사실성 종단은 기록 블록들이 완벽하게 구별 가능한 조건부 상태를 포함해야 함을 요구하며, 이는 포인터 대수(pointer algebra)가 가환(commuting)이어야 함을 함의한다. 이는 운용적 기준점을 노-브로드캐스팅 정리(no-broadcasting theorem)와 연결한다.
• 인과적 봉인(Causal Sealing): 저자는 (정리가 아닌 가설로서) 사실성 전하가 "인과적 봉인" 장벽을 정의할 수 있다고 제안한다. 즉, 미래의 허용 가능한 제어자가 충분한 기록을 다시 모아 양의 국소성 페널티를 제거할 수 없다면, 해당 사건은 에이전트에게 봉인된 것이 된다.

한계 및 범위
저자는 본 이론이 Born 규칙을 유도하거나, 슈뢰딩거 방정식을 수정하거나, 물리적 붕괴를 도입하는 것이 아님을 명시적으로 밝힌다. 결과는 명시된 운용적 가정 내에서 정확하다:

• 가역적, 준정적 삭제(점근적 영역).
• 엄격한 분할 국소적 프로토콜(블록 간 통신이나 공유 메모리 없음).
• 촉매적으로 취급된 클래식 사이드 정보.
• 가산적(additive) 해밀토니언(특정 보정항이 제공되는 비가산적 경우 포함).

본 논문은 유한 시스템 법칙이 폐쇄적이고, 정확하며, 수치적으로 검증되었고, 제어된 양자 시스템을 통해 직접 테스트 가능하다는 결론을 내린다.