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

Basic Information

• Paper ID: 2211.14351
• Title: No-local-broadcasting theorem for non-signalling behaviours and assemblages
• Authors: Adrian Solymos, Carlos Vieira, Cristhiano Duarte, Zoltán Zimborás
• Classification: quant-ph (Quantum Physics)
• Publication Date: October 14, 2025 (arXiv version)
• Paper Link: https://arxiv.org/abs/2211.14351

Abstract

The no-broadcasting theorem is a fundamental result in quantum information theory, guaranteeing that quantum protocol attacks based on eavesdropping and arbitrary copying of quantum information are impossible. Given its foundational importance, it is natural to ask whether this is an intrinsic property of quantum theory or whether it also applies to broader categories of non-classical theories. This paper addresses this question using the correlations scenario framework, proving a conjecture proposed by Joshi, Grudka, and Horodecki: non-local behaviours cannot be locally broadcast. The proof is based on the monotonicity of relative entropy for behaviours. Furthermore, using similar reasoning, an analogous prohibition theorem for manipulable assemblages is obtained.

Research Background and Motivation

Problem Definition

The core question this research addresses is: Is the no-broadcasting theorem limited to quantum theory, or does it apply to broader frameworks of non-classical theories?

Importance Analysis

1. Theoretical Foundation: The no-broadcasting theorem is the theoretical foundation for quantum cryptography security, ensuring that eavesdroppers cannot perfectly copy unknown quantum information
2. Universality Exploration: Understanding which physical principles are unique to quantum theory and which apply to broader physical theories
3. Information-Theoretic Significance: Revealing fundamental limitations on information copying, not only in quantum theory but also in more general probabilistic theories

Limitations of Existing Approaches

1. Scenario-Specific Constraints: Previous research was primarily limited to (2,2,2) Bell scenarios, lacking general proofs
2. Quantum-Specificity Assumptions: Existing no-broadcasting theorems are mainly discussed within quantum frameworks, not extended to more general non-signalling theories
3. Technical Dependencies: Early proofs heavily relied on properties of specific scenarios, making generalization difficult

Research Motivation

The authors aim to answer the open question posed by Joshi et al.: "Does a no-local-broadcasting theorem exist in general scenarios?" and extend this result to assemblages in manipulation scenarios.

Core Contributions

1. Proof of General No-Local-Broadcasting Theorem: First complete proof of no-local-broadcasting theorem for non-signalling behaviours of arbitrary dimensions
2. Extension to Manipulable Assemblages: Establishes analogous prohibition theorems for manipulable non-signalling assemblages, filling an important gap in quantum manipulation theory
3. Unified Information-Theoretic Approach: Provides a unified proof framework based on relative entropy monotonicity
4. Theoretical Universality: Proves that broadcasting limitations are not unique to quantum theory but are common features of broader non-classical theories

Methodology Details

Task Definition

Input: Non-local non-signalling behaviour P or manipulable assemblage R Output: Proof that no local operations can broadcast these non-classical resources Constraints: Operations must be local realistic non-signalling (LRns-LOSR) transformations or unmanipulable realistic non-signalling (URns-LOSR) transformations

Theoretical Framework

1. Correlations Scenario Modeling

For an (N,m,o) correlations scenario, a behaviour is defined as: $P = \{P(ab...c|xy...z)\}_{ab...cxy...z} \in \mathbb{R}^{(om)^N}$

where each element P(ab...c|xy...z) represents the joint probability of obtaining outputs a,b,...,c given inputs x,y,...,z.

2. Locality Definition

A behaviour P is local if and only if there exist a probability distribution {r(λ)}λ and conditional probability distributions such that: $P(ab...c|xy...z) = \sum_λ r(λ)P^A_λ(a|x)P^B_λ(b|y)...P^C_λ(c|z)$

3. Broadcasting Definition

A behaviour P' is a broadcasting version of behaviour P if: $\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)$

Core Proof Strategy

1. Relative Entropy Definition

For behaviours, the Kullback-Leibler divergence is defined as: $S_b(P||Q) := \max_{x,y} S(P(\cdot,\cdot|x,y)||Q(\cdot,\cdot|x,y))$

Non-locality relative entropy: $E_{LR}(P) := \inf_{Q \in LRns} S_b(P||Q)$

2. Key Propositions

Proposition 1 (Contractivity): If M is an LRns-LOSR transformation and P is a non-signalling behaviour, then: $E_{LR}(M(P)) \leq E_{LR}(P)$

Proposition 2 (Broadcasting Growth): If P' is a broadcasting version of non-local behaviour P, then: $E_{LR}(P') > E_{LR}(P)$

3. Main Theorem Proof

By proof by contradiction: assume there exists an LRns-LOSR transformation M that can broadcast non-local behaviour P, then:

• By Proposition 1: $E_{LR}(M(P)) \leq E_{LR}(P)$
• By Proposition 2: $E_{LR}(P) < E_{LR}(M(P))$
• Deriving contradiction: $E_{LR}(M(P)) < E_{LR}(M(P))$

Technical Innovations

1. Chain Rule Adaptation

Extension of the chain rule for probability distributions to behaviours: $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))$

2. Manipulable Assemblage Extension

For manipulable assemblages, using Piani's inequality: $S_q(ρ_{WZ}||σ_{WZ}) \geq S_q(N(ρ_W)||N(σ_W)) + S_q\left(ρ_Z\left|\left|\sum_k α_k σ^k_Z\right.\right.\right)$

3. Information Completeness Utilization

Through informationally complete POVMs ensuring distinguishability of assemblages, guaranteeing strictness of inequalities.

Experimental Setup

Theoretical Verification

This is primarily a theoretical work, with results verified through rigorous mathematical proofs rather than experimental verification.

Proof Structure

1. Auxiliary Lemmas: Establishes 11 key lemmas supporting main results
2. Completeness Checks: Ensures all relative entropies are finite
3. Existence Proofs: Proves that behaviours/assemblages achieving the infimum always exist

Technical Details

• Uses extended Bolzano-Weierstrass theorem to ensure compactness
• Leverages lower semicontinuity to guarantee optimal solution existence
• Avoids infinity cases through support inclusion relations

Experimental Results

Main Theorems

Theorem 1 (No-Local-Broadcasting for Behaviours): Using LRns-LOSR transformations, it is impossible to locally broadcast any known bipartite non-local non-signalling behaviour.

Theorem 2 (No-Local-Broadcasting for Assemblages): Using URns-LOSR transformations, it is impossible to locally broadcast any known manipulable non-signalling assemblage.

Theoretical Significance

1. Universality Confirmation: Broadcasting limitations are not unique to quantum theory
2. Unified Resource Theory: Provides unified resource-theoretic framework for non-locality and manipulability
3. Security Guarantees: Extends theoretical foundations of quantum cryptography security

Technical Achievements

• Resolves long-standing open problem posed by Joshi et al.
• First extension of no-broadcasting theorem to general correlations scenarios
• Establishes corresponding theory for manipulable assemblages

Related Work

Historical Development

1. Classical No-Broadcasting Theorem: First proposed by Barnum et al. (1996)
2. Local Versions: Developed by Piani et al. for no-broadcasting under local operations
3. Special Scenarios: Preliminary results by Joshi et al. in (2,2,2) scenarios

Positioning of This Work

• Theoretical Deepening: Extension from special scenarios to general scenarios
• Conceptual Extension: Extension from quantum states to behaviours and assemblages
• Methodological Innovation: Based on information theory rather than specific physical implementations

Technical Connections

This work complements the generalized no-broadcasting theorem (Barnum et al., 2007), with possible equivalence relations being an important direction for future research.

Conclusions and Discussion

Main Conclusions

1. Theoretical Universality: Broadcasting limitations are common features of non-classical probabilistic models, not limited to quantum theory
2. Operational Constraints: Local operations cannot replicate non-classical correlations, providing fundamental guarantees for information security
3. Resource Characteristics: Non-locality and manipulability, as resources, are subject to fundamental physical limitations on copying

Limitations

1. Scenario Constraints: Proofs cover bipartite to four-partite scenarios; authors believe generalization is possible
2. Operation Categories: Only considers LOSR transformations; other relevant operation categories may exist
3. Constructivity: Proofs are non-constructive, providing no specific implementation schemes

Future Directions

1. Multipartite Generalization: Extend results to arbitrary multipartite systems
2. Equivalence Exploration: Investigate equivalence relations with generalized no-broadcasting theorems
3. Experimental Verification: Design experimental schemes to verify theoretical predictions
4. Application Extensions: Explore applications in quantum cryptography and quantum computing

In-Depth Evaluation

Strengths

1. Theoretical Rigor: Complete and rigorous proofs using advanced mathematical tools
2. Problem Importance: Resolves important open problems in the field
3. Methodological Innovation: Unified approach based on relative entropy with universal applicability
4. Result Profundity: Reveals fundamental physical limitations on information copying

Weaknesses

1. Technical Complexity: Proofs involve extensive technical details with limited readability
2. Practical Limitations: Primarily theoretical results; practical application value requires further exploration
3. Completeness: Some generalizations (e.g., multipartite cases) left for future work

Impact

1. Theoretical Contribution: Provides important foundational results for quantum information theory
2. Cross-Disciplinary Value: Significant implications for probability theory and information theory
3. Inspirational Value: Provides new perspectives and methods for related research

Applicable Scenarios

1. Quantum Cryptography: Provides theoretical guarantees for protocol security
2. Quantum Computing: Understanding fundamental limitations of quantum resources
3. Fundamental Physics: Exploring basic relationships between information and physics
4. Resource Theory: Developing resource theories for non-classical correlations

References

The paper cites 49 important references covering key areas including no-broadcasting theorems, Bell non-locality, and quantum steering, providing solid theoretical foundations for the research.

Overall Assessment: This is a high-quality theoretical physics paper that resolves an important open problem in quantum information theory, with profound theoretical significance and potential application value. The proof methodology is innovative, results are universal, and it provides new perspectives for understanding fundamental limitations on information copying.