Discrimination of quantum states under local operations and classical communication (LOCC) is an intriguing question in the context of local retrieval of classical information, encoded in the multipartite quantum systems. All the local quantum state discrimination premises, considered so far, mimic a basic communication set-up, where the spatially separated decoding devices are independent of any additional input. Here, exploring a generalized communication scenario, we introduce a framework for input-dependent local quantum state discrimination, which we call local random authentication (LRA). We report that impossibility of LRA certifies the presence of entangled states in the ensemble, a feature absent from erstwhile nonlocality arguments based on local state discrimination. Additionally, we explore the salient features of this state discrimination prototype for arbitrary set of orthogonal quantum states and compare them with the traditional notion of local quantum state discrimination. Finally, our results reveal a fundamental information-theoretic implications in the local estimation of quantum change point problems.
- Paper ID: 2307.08457
- Title: Local Inaccessibility of Random Classical Information and Their Implications in the Change Point Problem
- Authors: Snehasish Roy Chowdhury, Subhendu B. Ghosh, Tathagata Gupta, Anandamay Das Bhowmik, Sutapa Saha, Some Sankar Bhattacharya, Tamal Guha
- Classification: quant-ph (Quantum Physics)
- Publication Date: July 2023 (arXiv preprint, last updated October 2025)
- Paper Link: https://arxiv.org/abs/2307.08457
This paper investigates quantum state discrimination under the constraints of local operations and classical communication (LOCC), which is significant in the context of locally extracting classical information from many-body quantum systems. Traditional local quantum state discrimination assumes a fundamental communication setting where spatially separated decoding devices operate independently of any additional input. This paper explores a generalized communication scenario by introducing an input-dependent local quantum state discrimination framework called Local Random Authentication (LRA). The research demonstrates that the impossibility of LRA confirms the existence of entangled states in the ensemble, a characteristic lacking in traditional non-locality arguments based on local state discrimination. Furthermore, the paper explores the distinctive features of this state discrimination paradigm for arbitrary orthogonal quantum state sets and compares it with traditional local quantum state discrimination concepts. Finally, the results reveal fundamental information-theoretic implications in local estimation of quantum change point problems.
- Advantages of Quantum Information Encoding: Encoding classical information in quantum systems offers significant advantages over classical schemes, benefiting from the presence of entanglement in preparation and measurement devices.
- Limitations under LOCC Constraints: Causal constraints at the receiving end—such as requiring multiple spatially separated receivers to locally extract encoded information—restrict the preparation of encoding quantum systems capable of reliably decoding information. This is because not every multi-body orthogonal quantum state set can be perfectly discriminated under LOCC.
- Limitations of Existing Research: All communication settings based on quantum indistinguishability can be characterized by the Holevo-Frenkel-Weiner (HFW) scenario, where the decoding measurements performed by receivers are independent of any further classical input.
The core motivation of this paper is to explore information processing paradigms similar to the Wiesner-Ambainis scenario, where decoding measurements also depend on certain classical inputs provided to the receivers. This communication setting, analogous to random access codes (RAC), provides a new perspective for studying input-dependent local quantum state discrimination tasks.
- Proposed the Local Random Authentication (LRA) Framework: Introduced a novel input-dependent local quantum state discrimination task, extending the concept of traditional LOCC discrimination.
- Proved the Necessity of Entanglement: For the first time demonstrated that the impossibility of LRA can authenticate the existence of entangled states in the ensemble, a characteristic not possessed by traditional local state discrimination.
- Revealed the "Less Entanglement, More Non-locality" Phenomenon: Demonstrated that LRA exhibits a stronger concept of non-locality compared to traditional LOCC discrimination and discovered interesting counterintuitive phenomena.
- Established a Complete Theoretical Framework: Systematically analyzed the relationships between complete LRA, partial LRA, and deterministic LRA, as well as their comparisons with traditional LOCC discrimination.
- Application to Quantum Change Point Problems: Applied LRA theory to local estimation in quantum change point problems, providing fundamental information-theoretic implications.
Local Random Authentication (LRA) Task:
- Sender Alice encodes classical information k ∈ {1,···,N} in one state from an n-body orthogonal quantum state set S := {|ψk⟩}^N_
- Distributes to n spatially separated receivers Bob
- A referee randomly distributes one of N inputs {Qi}^N_ to the Bobs
- Each Qi represents the query "Is the sent state |ψi⟩?"
- The Bobs must answer a single bit y ∈ {0,1} under LOCC constraints (0 for "no", 1 for "yes")
Definition 1 (Complete LRA): A quantum state set S allows complete LRA if every problem {Qi}^N_ can be perfectly answered under LOCC.
Definition 2 (Partial LRA): A quantum state set S allows partial LRA if at least one problem Qj can be perfectly answered under LOCC.
Definition 3 (Deterministic LRA): An orthogonal multi-body quantum state set allows deterministic LRA if every problem {Qk}k can be answered deterministically with non-zero probability.
Theorem 1: Perfect LOCC discrimination of a quantum state set implies its perfect local random authentication, but the converse does not hold.
Theorem 2: Any pure product state selected from an orthogonal quantum state set can be locally authenticated.
Corollary 1: Any orthogonal pure product state set allows complete local authentication.
Theorem 3: Consider a complete orthogonal basis state set Sn := {|ψi⟩{B1,B2,···,Bn}} ∈ ⊗^n C^{dk}. If none of these states are completely product states, then the set does not even allow partial LRA.
Bell State Example:
Consider three Bell states:
- |E1⟩ := |φ^+⟩_
- |E2⟩ := |φ^−⟩_
- |E3⟩ := |ψ^+⟩_
These three states cannot be perfectly discriminated under LOCC, but can be locally authenticated through the following strategy:
- Q1 → σy ⊗ σy
- Q2 → σx ⊗ σx
- Q3 → σz ⊗ σz
Answer y = 0 when measurement results are correlated, otherwise answer y = 1.
The paper systematically compares the strength relationships between LRA and traditional LOCC discrimination:
- Complete LRA ⟸ Perfect LOCC discrimination (Theorem 1)
- Partial LRA ⟸ Deterministic LOCC discrimination (Lemma 1)
- Deterministic LRA ⟸ Deterministic LOCC discrimination (Theorem 4)
The reverse implications do not hold.
- Entanglement Certification Capability: LRA is the first LOCC discrimination task capable of certifying the existence of entanglement; any state set exhibiting conditional non-locality must contain entangled states.
- Less Entanglement, More Non-locality: Discovered a counterintuitive phenomenon—sets containing fewer entangled states may exhibit stronger conditional non-locality. Specific examples:
- Set S = {|φ^+⟩, |φ^−⟩, |01⟩} does not allow complete LRA
- Set S' = {|φ^+⟩, |φ^−⟩, |ψ^+⟩} allows complete LRA
- Less Purity, More Conditional Non-locality: In the mixed state case, discovered similar phenomena where certain low-purity mixed state sets exhibit stronger conditional non-locality than high-purity state sets.
Observation 1: A necessary condition for locally solving the change point problem (|ψ⟩, S^{mut}d, M) is that the set {ρk}^M allows partial LRA for problem QM.
Corollary 2: If the target state |ψ⟩ is a product state, one can always detect whether a change point has occurred.
Theorem 5: The change point problem (|ψ⟩, S^{mut}_d, M) can be locally solved through adaptive strategies if and only if the set S = {|ψ⟩} ∪ S^{mut}_d allows at least partial LRA for problem Qψ.
- Bennett et al.'s pioneering work on "quantum non-locality without entanglement" established the foundation of LOCC discrimination
- Walgate and Hardy's research on two-body state discrimination
- Ghosh et al.'s analysis of Bell state distinguishability
- Related research on local reducibility and strong quantum non-locality
- Classical information transmission in the Holevo-Frenkel-Weiner scenario
- Random access codes in the Wiesner-Ambainis scenario
- Quantum key distribution and secret sharing protocols
- Akimoto and Hayashi's quantum change point discrimination
- Sentís et al.'s quantum change point identification
- Application of adaptive measurement strategies in quantum information
- LRA Provides a New Characterization of Non-locality: Unlike traditional LOCC discrimination, the impossibility of LRA genuinely requires the existence of entanglement, eliminating the phenomenon of "non-locality without entanglement."
- Established a Complete Hierarchy: Systematically established the relationships between different types of LRA and traditional LOCC discrimination, revealing that LRA exhibits stronger non-locality.
- Practical Application Value: Application to quantum change point problems demonstrates that error estimation can be perfect when devices aim to prepare product states, but is prohibited when generating fully entangled states.
- Mathematical Description of LOCC: Due to the lack of a concise mathematical description of LOCC, some results may require further exploration within broader operational categories (such as separable measurements or PPT-preserving operations).
- Maximum Cardinality Problem: For the two-qubit case, results indicate that the maximum cardinality of locally authenticable sets containing fully entangled members is 3, but the situation in general two-body settings remains unclear.
- Complexity Quantification: While demonstrating that LRA complexity does not monotonically relate to the number of entangled states, a rigorous complexity quantification method is lacking.
- Extend Input Types: Consider more complex input problems, such as parity identification and subspace discrimination.
- Relax Operational Constraints: Explore different combinations of participating parties and classical communication directions in multi-body settings.
- Cryptographic Applications: Explore implications of LRA in cryptographic applications such as data hiding and secret sharing.
- Experimental Implementation: Investigate practical quantum experimental implementation schemes for LRA tasks.
- Strong Theoretical Innovation: First introduces the concept of input-dependent local quantum state discrimination, opening new directions for quantum non-locality research.
- Rigorous Mathematical Analysis: Provides complete theorem proofs and a systematic theoretical framework with clear logic and reliable conclusions.
- Discovery of Counterintuitive Phenomena: Findings such as "less entanglement, more non-locality" challenge conventional wisdom and possess important theoretical value.
- Clear Application Value: Application to quantum change point problems demonstrates the practical significance of theoretical results.
- Strong Systematicity: Comprehensively compares different types of LRA with traditional LOCC discrimination, establishing a complete relationship map.
- Lack of Experimental Verification: As a purely theoretical work, it lacks actual quantum experimental verification.
- Limited Complexity Analysis: While demonstrating interesting phenomena, quantitative analysis of LRA task complexity is insufficient.
- Limited Application Scope: Primarily applied to change point problems; exploration of other potential application domains is incomplete.
- Academic Contribution: Provides new research directions for quantum information theory, particularly in quantum non-locality and state discrimination.
- Theoretical Significance: First establishes the connection between local state discrimination and entanglement certification, possessing important foundational theoretical value.
- Inspirational Value: Discovered counterintuitive phenomena may inspire further related research and advance the field.
- Quantum Communication Protocol Design: Can be used to design novel quantum key distribution and secret sharing protocols.
- Quantum Computing Resource Assessment: Helps evaluate the necessity of entanglement resources in quantum computing tasks.
- Quantum Error Detection: Application in quantum change point detection and error estimation.
- Fundamental Physics Research: Deepens understanding of the nature of quantum non-locality.
The paper cites 81 related references covering important works in quantum state discrimination, quantum communication, entanglement theory, and other fields. Key references include:
- Bennett et al.'s pioneering work on "quantum non-locality without entanglement"
- Walgate and Hardy's research on local distinguishability of two-body states
- Holevo's classical results on quantum channel capacity
- Wiesner's early work on conjugate coding
This paper makes important contributions to quantum information theory, particularly by opening new research directions in local quantum state discrimination and entanglement certification. While lacking experimental verification as a purely theoretical work, its rigorous mathematical analysis and novel theoretical findings provide a solid foundation for subsequent research.