Entanglement in prepare-and-measure scenarios without receiver inputs

1. Problem Statement

The paper investigates Prepare-and-Measure (PM) scenarios where a sender (Alice) transmits information to a receiver (Bob), but Bob has no independent measurement inputs. In standard PM scenarios, quantum advantages often rely on replacing classical messages with quantum messages of the same dimension. However, in the absence of receiver inputs, Frenkel and Weiner's theorem dictates that such a replacement yields no advantage.

Consequently, the authors posit that for a quantum advantage to exist in this specific setting, two indispensable ingredients are required:

1. Shared Entanglement: Alice and Bob must share an entangled state.
2. Adaptive Measurements: Bob must be able to adapt his measurement on the entangled particle based on the message received from Alice in real-time (a form of one-way Local Operations and Classical Communication, or LOCC).

The paper aims to systematically characterize these scenarios, identify the minimal resources required for quantum advantages, and explore the role of high-dimensional entanglement and non-projective measurements.

2. Methodology

The authors employ a combination of geometric analysis of classical polytopes and quantum optimization techniques:

• Classical Polytope Characterization: They define the space of classical correlations allowed by shared randomness and limited communication. Using the software PANDA, they derive facet inequalities (linear constraints) that bound classical models.
• Quantum Protocol Construction: They construct explicit quantum protocols involving shared entangled states ($\psi_{AB}$), Alice's encoding measurements ($\{A_{m|x}\}$), and Bob's adaptive decoding measurements ($\{B_{b|m}\}$).
• Optimization: They utilize Semidefinite Programming (SDP) relaxations (specifically the NPA hierarchy levels $1+AB+BB$ and $1+AB$) to find upper bounds on quantum violations, ensuring their constructed protocols are optimal or near-optimal.
• Scenario Variation: They analyze scenarios with varying alphabet sizes for inputs ($|X|$), messages ($d$), and outputs ($|B|$), progressing from minimal to "next-to-minimal" and finally to quantum message scenarios.

3. Key Contributions and Results

A. The Minimal Scenario (Classical Messages)

• Setup: Alice has 3 inputs ($|X|=3$), sends a binary message ($d=2$), and Bob has 4 outputs ($|B|=4$).
• Inequality: The authors identify a single non-trivial facet inequality:
  $$S_1 = \frac{1}{4} \sum_{i=0}^{2} [2p(i|i) + p(\perp|i)] \leq 1$$
  This represents a state discrimination task where Bob earns 2 points for a correct guess, 0 for a wrong guess, and 1 point for an "inconclusive" output ($\perp$).
• Findings:
  • Non-Maximal Entanglement: The optimal protocol using qubits requires a non-maximally entangled state ($|\psi\rangle = \sqrt{2/3}|00\rangle + \sqrt{1/3}|11\rangle$), achieving $S_1 \approx 1.0387$.
  • High-Dimensional Advantage: Surprisingly, using four-dimensional entanglement (ququarts) yields a higher violation ($S_1 \approx 1.0435$), proving that high-dimensional entanglement is necessary for the maximal quantum advantage even in this minimal setting.

B. The Next-to-Minimal Scenario (Certification of Adaptive LOCC)

• Setup: Alice has 4 inputs ($|X|=4$), sends a binary message ($d=2$), and Bob has 4 outputs ($|B|=4$).
• Inequality: A new facet inequality is identified:
  $$S_2 = \frac{1}{3} [p(1|0) + p(2|0) + p(0|1) + p(2|1) + p(0|2) + p(1|2) + p(3|3)] \leq 1$$
• Connection to CHSH: The optimal protocol for this scenario closely resembles the standard CHSH Bell test. Alice and Bob share a maximally entangled qubit state ($|\phi^+\rangle$).
• Results:
  • The protocol achieves $S_2 \approx 1.069$, violating the classical bound.
  • Noise Resilience: Due to its link to CHSH nonlocality, this scenario is robust against noise (e.g., depolarizing noise with visibility $v > 1/\sqrt{2}$).
  • Practicality: This scenario is ideal for device-independent certification of adaptive one-way LOCC because it uses maximally entangled qubits and has high noise tolerance.
  • High-Dimensionality: Similar to the minimal scenario, the absolute maximum violation ($S_2 \approx 1.0749$) is achieved using four-dimensional entanglement, not qubits.

C. Quantum Messages and Non-Projective Measurements

• Setup: Alice sends a qubit message instead of a classical bit. Crucially, Bob must measure the incoming qubit to extract a classical outcome $m$, which then guides his measurement on the entangled particle.
• Key Insight: The paper demonstrates that non-projective measurements (specifically Positive Operator-Valued Measures, or POVMs) are indispensable for gaining an advantage with quantum messages.
  • If Bob uses projective measurements to read the message, the scenario reduces to a classical one (no advantage).
  • By using a trine measurement (a specific 3-outcome POVM) to read the qubit, the authors achieve a violation of $S_1 \approx 1.0505$ (exceeding the classical limit of $\approx 1.0435$).
  • With four-dimensional entanglement, this advantage is further amplified to $S_1 \approx 1.0902$.
• Significance: This challenges the common belief that non-projective measurements play a secondary role in black-box quantum correlation studies. Here, they are the sine qua non for the advantage.

D. Generalization and Information-Restricted Correlations

• The authors generalize the minimal scenario to a family of facet inequalities $S^{(n)}$ for alphabet sizes $(2, n, n+1)$.
• They also connect these findings to informationally restricted correlations (where the communication is limited by entropy rather than dimension), proving that the polytope of dimension-restricted communication is strictly smaller than that of informationally restricted communication.

4. Significance and Implications

1. Certification of Adaptive LOCC: The study provides practical, device-independent tests to certify that an experimental setup can perform adaptive one-way LOCC. This is critical for quantum technologies relying on real-time feed-forward, such as quantum teleportation, quantum networks, and quantum error correction.
2. Role of High-Dimensional Entanglement: The work establishes that high-dimensional entanglement is not just a theoretical curiosity but a necessary resource for maximizing quantum advantages in communication complexity tasks without receiver inputs.
3. Operational Relevance of Non-Projective Measurements: The paper overturns the "folklore" that non-projective measurements are less important in black-box scenarios. It proves they are essential for unlocking the full power of quantum correlations when quantum messages are used as adaptive advice.
4. Foundational Understanding: It clarifies the specific resources (entanglement + adaptivity + non-projectivity) required for quantum advantages in the most elementary communication settings, distinguishing them from scenarios where Bell nonlocality alone (via measurement inputs) drives the advantage.

In summary, the paper systematically maps the landscape of entanglement-assisted communication without receiver inputs, revealing that high-dimensional entanglement and non-projective measurements are fundamental to achieving maximal quantum advantages, while providing a robust framework for certifying adaptive quantum operations.