2025-11-12T20:46:10.760711

No-local-broadcasting theorem for non-signalling behaviours and assemblages

Solymos, Vieira, Duarte et al.

The no-broadcasting theorem is a fundamental result in quantum information theory. It guarantees that a class of attacks on quantum protocols, based on eavesdropping and indiscriminate copying of quantum information, are impossible. Due to its fundamental importance, it is natural to ask whether it is an intrinsic quantum property or whether it also holds for a broader class of non-classical theories. To address this question, one could use the framework of correlation scenarios. Under this standpoint, Joshi, Grudka, and Horodecki$^{\otimes 4}$ conjectured that one cannot locally broadcast nonlocal behaviours. In this paper, we prove their conjecture based on the monotonicity of the relative entropy for behaviours. Additionally, following a similar reasoning, we obtain an analogous no-go theorem for steerable assemblages.

academic

비신호 행동 및 앙상블에 대한 국소 방송 불가능 정리

기본 정보

논문 ID: 2211.14351
제목: No-local-broadcasting theorem for non-signalling behaviours and assemblages
저자: Adrian Solymos, Carlos Vieira, Cristhiano Duarte, Zoltán Zimborás
분류: quant-ph (양자물리학)
발표 시간: 2025년 10월 14일 (arXiv 버전)
논문 링크: https://arxiv.org/abs/2211.14351

초록

방송 불가능 정리는 양자정보이론의 기본 결과로서, 도청 및 양자정보의 자의적 복제에 기반한 양자 프로토콜 공격이 불가능함을 보장한다. 그 기초적 중요성을 고려할 때, 이것이 양자이론의 내재적 성질인지, 아니면 더 광범위한 비고전 이론 범주에도 적용되는지 묻는 것이 자연스럽다. 본 논문은 관계 시나리오 프레임워크를 사용하여 이 문제를 다루며, Joshi, Grudka 및 Horodecki가 제시한 추측을 증명한다: 비국소 행동을 국소적으로 방송할 수 없다. 증명은 행동 상대 엔트로피의 단조성에 기반한다. 더욱이, 유사한 추론을 채택하여 조종 가능 앙상블의 유사한 금지 정리를 얻었다.

연구 배경 및 동기

문제 정의

본 연구가 해결하고자 하는 핵심 문제는: 방송 불가능 정리가 양자이론에만 국한되는가, 아니면 더 광범위한 비고전 이론 프레임워크에 적용되는가?

중요성 분석

이론적 기초성: 방송 불가능 정리는 양자암호학 안전성의 이론적 기초로서, 도청자가 미지의 양자정보를 완벽하게 복제할 수 없음을 보장한다
보편성 탐색: 어떤 물리적 원리가 양자이론에 특유한 것이고, 어떤 것이 더 광범위한 물리 이론에 적용되는지 이해하기
정보이론적 의의: 정보 복제의 기본적 제한을 밝히는 것으로, 양자이론뿐만 아니라 더 일반적인 확률 이론에서도 성립한다

기존 방법의 한계

특정 시나리오 제한: 이전 연구는 주로 (2,2,2) Bell 시나리오에 국한되어 일반적 증명이 부족했다
양자 특이성 가정: 기존 방송 불가능 정리는 주로 양자 프레임워크 내에서 논의되었으며, 더 일반적인 비신호 이론으로 확장되지 않았다
기술적 의존성: 초기 증명은 특정 시나리오의 성질에 크게 의존하여 일반화하기 어려웠다

연구 동기

저자들은 Joshi 등이 제시한 개방 문제에 답하기를 원한다: "일반 시나리오에서 국소 방송 불가능 정리가 존재하는가?" 그리고 이 결과를 조종 시나리오의 앙상블로 확장하고자 한다.

핵심 기여

일반 국소 방송 불가능 정리 증명: 임의 차원의 비신호 행동에 대한 완전한 국소 방송 불가능 정리 증명을 처음으로 제공
조종 가능 앙상블로 확장: 조종 가능 비신호 앙상블의 유사한 금지 정리를 수립하여 양자 조종 이론의 중요한 공백 메우기
통일된 정보론적 방법: 상대 엔트로피 단조성에 기반한 통일된 증명 프레임워크 제공
이론적 보편성: 방송 불가능 제약이 양자이론에만 특유한 것이 아니라 더 광범위한 비고전 이론의 공통 특징임을 증명

방법 상세 설명

작업 정의

입력: 비국소 비신호 행동 P 또는 조종 가능 앙상블 R 출력: 이러한 비고전 자원을 방송할 수 있는 국소 연산이 존재하지 않음을 증명 제약: 연산은 국소 현실 비신호(LRns-LOSR) 변환 또는 조종 불가능 현실 비신호(URns-LOSR) 변환이어야 함

이론적 프레임워크

1. 관계 시나리오 모델링

(N,m,o) 관계 시나리오에 대해, 행동은 다음과 같이 정의된다: $P = \{P(ab...c|xy...z)\}_{ab...cxy...z} \in \mathbb{R}^{(om)^N}$

여기서 각 요소 P(ab...c|xy...z)는 입력 x,y,...,z에서 출력 a,b,...,c를 얻을 결합 확률을 나타낸다.

2. 국소성 정의

행동 P가 국소적이라는 것은 다음을 만족하는 확률 분포 {r(λ)}λ와 조건부 확률 분포가 존재할 때이다: $P(ab...c|xy...z) = \sum_λ r(λ)P^A_λ(a|x)P^B_λ(b|y)...P^C_λ(c|z)$

3. 방송 정의

행동 P'이 행동 P의 방송 버전이라는 것은: $\sum_{a_1,b_1} P'(a_0,a_1,b_0,b_1|x_0,x_1,y_0,y_1) = P(a_0,b_0|x_0,y_0)$ $\sum_{a_0,b_0} P'(a_0,a_1,b_0,b_1|x_0,x_1,y_0,y_1) = P(a_1,b_1|x_1,y_1)$

핵심 증명 전략

1. 상대 엔트로피 정의

행동에 대해, Kullback-Leibler 발산은 다음과 같이 정의된다: $S_b(P||Q) := \max_{x,y} S(P(\cdot,\cdot|x,y)||Q(\cdot,\cdot|x,y))$

비국소성 상대 엔트로피: $E_{LR}(P) := \inf_{Q \in LRns} S_b(P||Q)$

2. 핵심 명제

명제 1 (축약성): M이 LRns-LOSR 변환이고 P가 비신호 행동이면: $E_{LR}(M(P)) \leq E_{LR}(P)$

명제 2 (방송 증가성): P'이 비국소 행동 P의 방송 버전이면: $E_{LR}(P') > E_{LR}(P)$

3. 주요 정리 증명

귀류법을 통해: LRns-LOSR 변환 M이 비국소 행동 P를 방송할 수 있다고 가정하면:

명제 1에 의해: $E_{LR}(M(P)) \leq E_{LR}(P)$
명제 2에 의해: $E_{LR}(P) < E_{LR}(M(P))$
모순 도출: $E_{LR}(M(P)) < E_{LR}(M(P))$

기술적 혁신점

1. 연쇄 규칙 적응

확률 분포의 연쇄 규칙을 행동으로 확장: $S(P_{01}(\cdot,\cdot|x,y)||Q_{01}(\cdot,\cdot|x,y)) = S(P_0(\cdot,\cdot|x_0,y_0)||Q_0(\cdot,\cdot|x_0,y_0)) + \sum_{a_0,b_0} P_0(a_0,b_0|x_0,y_0)S(P_{1|0}(\cdot,\cdot|x,y,a_0,b_0)||Q_{1|0}(\cdot,\cdot|x,y,a_0,b_0))$