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⊗4によって提唱された予想を証明する：非局所行動を局所的に放送することはできない。証明は行動相対エントロピーの単調性に基づいている。さらに、同様の推論を採用することで、操作可能集合に対する類似の禁止定理も得られた。

研究背景と動機

問題定義

本研究が解決しようとしている核心的問題は：無放送定理は量子理論に限定されるのか、それともより広い非古典理論フレームワークに適用されるのか？

重要性分析

理論的基礎性：無放送定理は量子暗号の安全性の理論的基礎であり、盗聴者が未知の量子情報を完全に複製できないことを保証する
普遍性の探求：どの物理原理が量子理論に特有であり、どの原理がより広い物理理論に適用されるかを理解する
情報理論的意義：情報複製の基本的制限を明らかにし、量子理論だけでなく、より一般的な確率理論においても成立する

既存方法の限界

特定シナリオの制限：先行研究は主に(2,2,2)ベルシナリオに限定され、一般的証明が欠けていた
量子特異性の仮定：既存の無放送定理は主に量子フレームワーク内で議論され、より一般的な非信号理論に拡張されていない
技術的依存性：初期の証明は特定シナリオの性質に大きく依存し、一般化が困難であった

研究動機

著者らは、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))$