⚛️ quantum physics

Hierarchy of hidden nonlocality: A genuine activation of Incompletability

This paper establishes a hierarchy between the activation of incompletability and nonlocality by demonstrating that certain locally distinguishable orthogonal sets can be transformed via local operations into strictly incompletable sets, thereby revealing a fundamental interplay among local distinguishability, coherence, and quantum nonlocality.

Original authors: Soumajit Das, Shampa Mondal, Preeti Parashar, Atanu Bhunia

Published 2026-07-02

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Soumajit Das, Shampa Mondal, Preeti Parashar, Atanu Bhunia

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you have a set of unique, locked boxes. Inside each box is a specific pattern of colored tiles. Your goal is to figure out which box contains which pattern, but there's a catch: you and your partner are in different rooms. You can only look at your own half of the box and talk to each other over the phone. You cannot open the whole box together at once.

In the world of quantum physics, this is the game of Local State Discrimination. Usually, if the patterns are simple enough, you and your partner can figure out the contents just by looking at your own pieces and chatting. But sometimes, the patterns are so tricky that even with all your talking, you can't tell them apart without bringing the boxes together. This inability to tell them apart is called Quantum Nonlocality.

This paper explores a fascinating twist in this game: Can you take a set of boxes that you can easily solve, and turn them into a set that becomes impossible to solve?

The Two Levels of "Turning the Tables"

The authors discovered that there are actually two different ways to make a solvable puzzle become unsolvable. They call these "activations."

1. Activation of Nonlocality (The "Harder Puzzle")
Imagine you start with a set of boxes that are easy to solve. You and your partner follow a specific strategy (like "I'll look at the red tiles, you look at the blue ones") and successfully identify the patterns.
However, the paper shows that if you perform a specific type of measurement (a "check") on your boxes before trying to solve them, you can accidentally transform the boxes into a new set. This new set is now impossible to solve, even with the same amount of talking.

The Metaphor: It's like taking a clear, easy-to-read map, folding it in a specific way, and suddenly the roads disappear. You started with a solvable map, but your action turned it into a mystery.

2. Activation of Incompletability (The "Broken Puzzle")
This is the paper's main discovery. It's a much stricter, more powerful version of the first one.
Imagine you have a set of puzzle pieces that fit together perfectly to make a complete picture (a "completable" set). You can solve this puzzle easily.
The authors show that you can perform a specific action that transforms these pieces into a set that cannot be completed. No matter how many new pieces you try to add, they will never form a perfect, complete picture without overlapping or leaving gaps.

The Metaphor: It's like taking a jigsaw puzzle that forms a perfect square, shaking it, and suddenly the pieces are warped. Even if you try to fill in the missing corners with new pieces, the picture will never be whole again. The "completeness" of the puzzle has been destroyed.

The Hierarchy: One is Stronger Than the Other

The paper establishes a clear hierarchy between these two phenomena:

If you can "break the completeness" (Activation of Incompletability), you have automatically "made it unsolvable" (Activation of Nonlocality).
- Analogy: If you break a puzzle so it can never be finished, it is definitely impossible to solve.
But, if you just "make it unsolvable," you haven't necessarily "broken the completeness."
- Analogy: You can have a puzzle that is impossible to solve because the pieces are scrambled, but the pieces themselves might still theoretically fit together to form a complete picture if you had the right instructions.

The authors prove that "Activation of Incompletability" is a stronger, more fundamental change than just making a puzzle hard to solve. It's a deeper level of quantum weirdness.

The Role of "Coherence" (The Magic Ingredient)

The paper also looks at a stricter set of rules called LICC (Local Incoherent Operations). Think of this as a rule where you are forbidden from using a specific "magic ingredient" (quantum coherence) to help you solve the puzzle.

Under these strict rules, the authors found a surprising connection:

If you can turn a solvable, complete puzzle into an "incomplete" one using these strict rules, it implies that the original puzzle pieces were hiding a secret "magic ingredient" (coherence) that was essential to their structure.
Essentially, the act of breaking the puzzle's completeness reveals that the pieces were relying on a quantum connection (entanglement) that only exists when you look at the whole picture, not just the parts.

Summary of the Discovery

You can start with a "good" set: A group of quantum states that are easy to tell apart and can form a perfect, complete set.
You can "activate" a problem: By performing a specific local check, you can turn this "good" set into a "bad" set.
There are two levels of "bad":
- Level 1: The set becomes impossible to tell apart (Nonlocality).
- Level 2: The set becomes impossible to complete into a full picture (Incompletability).
The Hierarchy: Level 2 is the "boss" of Level 1. If you hit Level 2, you automatically hit Level 1. But hitting Level 1 doesn't mean you hit Level 2.
The Insight: This shows that "incompletability" is a deeper, more fundamental form of quantum nonlocality than just being hard to distinguish. It reveals a hidden structure in how quantum information is stored and accessed locally.

In short, the paper shows that in the quantum world, you can take a perfectly good, complete, and solvable collection of states and, through a specific local action, turn them into something that is not only unsolvable but also fundamentally "broken" and unable to form a complete whole. This "brokenness" is a stronger form of quantum mystery than just being unsolvable.

Technical Summary: Hierarchy of Hidden Nonlocality: A Genuine Activation of Incompletability

Problem Statement
The paper addresses the operational limitations of Local Operations and Classical Communication (LOCC) in the context of quantum state discrimination. While it is well-established that certain sets of orthogonal quantum states cannot be perfectly distinguished by LOCC (a phenomenon known as "nonlocality without entanglement"), the paper investigates the dynamic behavior of sets that are initially locally distinguishable. Specifically, the authors explore whether a set of orthogonal states that is perfectly distinguishable by LOCC and free from local redundancy can be transformed, via LOCC, into a set that is not only locally indistinguishable but also "strictly incompletable." Strict incompletability refers to a set of orthogonal product states that cannot be extended to a complete orthonormal product basis of the underlying Hilbert space, even in an enlarged space. The central question is whether "activation of incompletability" constitutes a distinct and stronger phenomenon than the previously studied "activation of nonlocality."

Methodology
The authors employ a rigorous theoretical framework based on quantum information theory, utilizing the following concepts and tools:

LOCC and OPLM: The study focuses on Orthogonality-Preserving Local Measurements (OPLM), a subset of LOCC where local measurements preserve the pairwise orthogonality of the state set.
Definitions of Activation: The paper formally defines "nonlocality activable" sets (transformable to locally indistinguishable sets) and "incompletability activable" sets (transformable to strictly incompletable sets).
Constructive Protocols: The authors provide explicit, deterministic LOCC protocols for specific bipartite systems (e.g., $C^2 \otimes C^4$ and $C^6 \otimes C^6$ ) to demonstrate the transformation of completable, distinguishable sets into incompletable ones.
Resource Theory of Coherence: To analyze the relationship between these phenomena, the authors restrict operations to Local Incoherent Operations and Classical Communication (LICC). They utilize concepts such as von Neumann entropy, relative entropy of coherence, and the properties of incoherent states to prove structural constraints on incompletability activation.
Counterexamples: To establish hierarchy, the authors construct specific counterexamples of sets that exhibit activation of nonlocality but fail to exhibit activation of incompletability.

Key Contributions and Results

Existence of Activation of Incompletability:
The paper demonstrates the existence of orthogonal sets of product states that are initially perfectly distinguishable by LOCC and free from local redundancy. Through specific LOCC protocols, these sets are transformed into strictly incompletable sets. This transformation is termed the "activation of incompletability."
Establishment of a Hierarchy:
The authors prove a strict hierarchy between the two activation phenomena:
- Theorem 1: Any set exhibiting activation of incompletability necessarily exhibits activation of nonlocality.
- The Converse Fails: The paper provides an explicit counterexample (a set of nine product states in $C^6 \otimes C^6$ ) that can be transformed into a locally indistinguishable set (activation of nonlocality) but cannot be transformed into a strictly incompletable set.
- Conclusion: Activation of incompletability is a strictly stronger phenomenon than activation of nonlocality.
Role of LICC and Coherence:
Within the framework of LICC, the paper establishes a fundamental connection between incompletability, coherence, and entanglement.
- Theorem 2: If a set of mutually orthogonal product states is perfectly distinguishable by LOCC and its incompletability can be activated via LICC, then there exists a completion of this set to a full orthonormal basis of the Hilbert space. However, this resulting completed basis is not perfectly distinguishable by LOCC.
- Mechanism: The proof relies on the fact that strictly incompletable sets must possess non-zero quantum coherence with respect to every locally distinguishable basis. Since LICC operations cannot increase the average coherence of a set of states, the activation of incompletability implies that the initial set must have been completable to a basis that is no longer locally distinguishable.

Significance and Claims
The paper claims to uncover a fundamental interplay among local distinguishability, incompletability, coherence, and nonlocality. By introducing the notion of "activation of incompletability," the authors provide a new operational perspective on the structure of locally accessible quantum information.

The significance lies in:

Refining the Understanding of Nonlocality: It demonstrates that nonlocality is not merely a static property of a set but can be an emergent feature activated through local measurements.
Hierarchy of Resources: It establishes a nontrivial hierarchy where the inability to complete a basis (incompletability) is a more stringent condition than the inability to distinguish states (nonlocality).
Coherence-Nonlocality Link: It highlights that under restricted operations (LICC), the activation of incompletability is intrinsically linked to the generation of quantum coherence, suggesting that entanglement (and the associated nonlocality) can be viewed as a constrained form of coherence that persists under local descriptions.

The authors conclude that these results shed light on the structure of locally accessible quantum information and suggest future directions, such as characterizing incompletability activation in multipartite systems and identifying minimal-dimensional examples of these activation structures.

The Two Levels of "Turning the Tables"

The Hierarchy: One is Stronger Than the Other

The Role of "Coherence" (The Magic Ingredient)

Summary of the Discovery

More like this