Semi-Device-Independent Certification for Nonlocality without Entanglement

This paper demonstrates that global measurements outperform separable ones in maximum-confidence discrimination of separable states, thereby establishing nonlocality without entanglement (NLWE) and enabling its semi-device-independent certification even with non-unit detection efficiencies.

The Gist

The Big Idea: Finding "Magic" Without Magic Tricks

Imagine you have a box of different colored marbles (quantum states). Your job is to guess which color you picked just by looking at it. Usually, if you have two people (Alice and Bob) looking at the marbles separately, they can only do so well as they can communicate with each other using a phone or a walkie-talkie. This is called Local Operations and Classical Communication (LOCC).

However, quantum physics has a weird quirk called Nonlocality Without Entanglement (NLWE). It's like having a superpower where, even though the marbles aren't "entangled" (they aren't magically linked like twins), Alice and Bob can still guess the colors better if they use a special, joint "super-scan" (Global Measurement) than if they just look separately and talk.

The problem is: In the real world, our detectors are messy. They miss marbles (low efficiency) or get confused by noise. The old ways of proving this "superpower" existed required perfect conditions that don't exist in real labs.

This paper says: "We found a new way to prove this superpower exists, even with messy, imperfect detectors."

The New Strategy: "Maximum Confidence"

Instead of trying to guess every marble perfectly (which is hard when detectors are noisy), the authors use a strategy called Maximum-Confidence Discrimination (MCM).

The Analogy: The Detective's Certainty
Imagine a detective trying to identify a suspect from a lineup.

• Old Strategy (Minimum Error): The detective must point at someone for every single photo, even if they are only 51% sure. If they are wrong, they lose.
• Old Strategy (Unambiguous): The detective only points if they are 100% sure. If they aren't sure, they say, "I don't know." But if they say "I don't know" too often, the strategy fails.
• This Paper's Strategy (Maximum Confidence): The detective looks at a photo and says, "If I say this is Suspect A, I am 90% confident I am right." They only care about the moments they do make a guess. They ignore the times the detector failed to see anything (the "missed" marbles).

The paper shows that even with this "only count the hits" rule, the "Super-Scan" (Global Measurement) still beats the "Separate Scans" (Separable Measurements) in terms of how confident the detective can be.

The "Semi-Device-Independent" Certification

This is the most exciting part. Usually, to prove a quantum device is doing something special, you have to trust the device completely. You have to say, "I know exactly how this machine works."

But what if you don't trust the machine? What if it's a black box from a shady vendor?

• The Paper's Solution: You don't need to know how the machine works inside. You just need to look at the results (the outcomes).
• The Test: You feed the machine a known set of marbles. You count how often it successfully identifies a marble (the "outcome rate"). Then, you calculate the "confidence" of those guesses.
• The Verdict: If the confidence is higher than what is mathematically possible for any "separate" (non-magic) machine to achieve, you have certified that the machine is using the "Super-Scan" (Global Measurement). You proved it has the superpower without ever opening the box to see how it works.

Handling the Messy Reality (Noise and Loss)

Real detectors are bad at their job. They lose photons (marbles) or get confused by background noise.

• The Paper's Claim: The authors show that even if the detector misses a lot of marbles, as long as the ones it does catch are identified with high confidence, you can still prove the "Super-Scan" is being used.
• The "Inconclusive" Trick: Sometimes, the machine says, "I can't tell." The paper shows that even the rate of these "I can't tell" answers can be used as proof. If the machine says "I can't tell" less often than a normal, separate-scan machine ever could, that itself is proof of the "Super-Scan."

Summary of the Findings

1. The Gap: There is a measurable gap between what a "Global" (joint) measurement can do and what "Separable" (local) measurements can do, even when we only count the successful guesses.
2. The Proof: By looking at the success rate and the confidence of the guesses, we can mathematically prove that a device is using this global power, even if we don't trust the device itself.
3. Real-World Ready: This works even with current, imperfect technology where detectors aren't 100% efficient.
4. Specific Example: They tested this using a specific set of "antiparallel" quantum states (like arrows pointing in opposite directions). They proved that for these states, the "Super-Scan" is strictly better, and this gap can be seen even with noisy data.

In short: The paper provides a robust, "trust-but-verify" method to prove that quantum devices are performing tasks that are impossible for classical, separate systems, even when the equipment is imperfect. It turns the "messiness" of real-world experiments into a feature rather than a bug.

Technical Summary

Technical Summary: Semi-Device-Independent Certification for Nonlocality without Entanglement

Problem Statement
Quantum information processing often relies on entanglement as a resource, yet certain tasks exhibit "nonlocality without entanglement" (NLWE), where global measurements (GLOBAL) outperform local operations and classical communication (LOCC) or separable measurements (SEP) on ensembles of separable states. While NLWE has been demonstrated in idealized scenarios using minimum-error discrimination and unambiguous discrimination, these strategies face significant limitations in practical settings. Minimum-error discrimination requires zero inconclusive outcomes, and unambiguous discrimination requires zero error in conclusive outcomes. Both are sensitive to experimental noise, detector inefficiencies, and undetected events, making them difficult to apply in realistic scenarios where measurement devices may be untrusted or imperfect. The central problem addressed is how to demonstrate and certify NLWE in the presence of measurement imperfections without requiring full device characterization (i.e., in a semi-device-independent manner).

Methodology
The authors propose a framework based on Maximum-Confidence Measurement (MCM), a strategy that generalizes both minimum-error and unambiguous discrimination. MCM focuses on maximizing the conditional probability (confidence) of correctly identifying a state given a specific detection outcome, considering only detected events.

The methodology proceeds in two main stages:

1. Theoretical Demonstration of NLWE: The authors analyze an ensemble of two-qubit antiparallel states ($S^\perp$). They formulate the MCM optimization problem using Semidefinite Programming (SDP) and complementarity conditions. They derive necessary and sufficient conditions (Proposition 1) for a gap to exist between the maximum confidence achievable by GLOBAL measurements versus SEP measurements. Specifically, a gap exists if no product vector satisfies the orthogonality condition with respect to the complementary states of the ensemble.
2. Semi-Device-Independent (sDI) Certification: To certify NLWE without trusting the measurement device, the framework utilizes observed outcome rates ($\eta_x$) and certifiable confidence ($\hat{C}_x$). The authors define a "certifiable maximum confidence" ($\hat{C}_{x,max}$) as the maximum confidence achievable by a measurement in a specific class (SEP or GLOBAL) given a fixed observed outcome rate. Certification is achieved if the experimentally observed certifiable confidence falls strictly between the optimal values for SEP and GLOBAL ($\hat{C}^{(S)}_{x,max} < \hat{C}_x \leq \hat{C}^{(G)}_{x,max}$).

The framework also extends to cases where conclusive outcomes alone are insufficient for certification. In such scenarios, the authors utilize the rate of inconclusive outcomes ($\eta_0$). If the observed inconclusive rate is lower than the minimum achievable by any SEP measurement, NLWE is certified.

Key Contributions and Results

• Demonstration of NLWE via MCM: The authors demonstrate that for an ensemble of antiparallel states, GLOBAL measurements achieve a maximum confidence of $C^{(G)}_{x,max} = 1$ (enabling unambiguous discrimination), whereas the optimal SEP measurement achieves only $C^{(S)}_{x,max} = 3/4$. This establishes a clear gap, proving NLWE in terms of confidence. Conversely, they show that for parallel states, no such gap exists, as SEP is sufficient to achieve the optimal confidence.
• sDI Certification Framework: The paper provides a rigorous method to certify that an unknown measurement device performs GLOBAL operations rather than SEP operations. This is done by comparing observed outcome statistics against the theoretical bounds of SEP.
• Robustness to Noise and Inefficiency:
  • Outcome Rates: The certification is feasible only when the outcome rate $\eta_x$ is below a critical threshold (specifically $\eta_x < 1/3$ for the antiparallel ensemble). In the range $\eta_x \in (0, 1/5]$, the gap between GLOBAL and SEP is maximal ($\Delta = 1/4$).
  • Inconclusive Outcomes: The authors show that even when the confidence from conclusive outcomes is too low to distinguish GLOBAL from SEP (e.g., due to noise), the rate of inconclusive outcomes can serve as a witness. For noisy Global measurements, the inconclusive rate can be strictly lower than the minimum possible for SEP, thereby certifying NLWE.
  • Noisy State Preparation: The framework remains robust when the input states themselves are noisy (mixed states). The authors derive that a gap in certifiable confidence persists for noisy antiparallel states as long as the detection rate is sufficiently low.

Significance and Claims
The paper claims to establish a feasible framework for experimentally demonstrating and certifying NLWE using present-day quantum measurement devices, even in the presence of non-unit detection efficiencies and noise. By relying solely on detected measurement outcomes and their statistics, the approach avoids the need for full device characterization, making it a semi-device-independent protocol.

The authors emphasize that this work bridges the gap between theoretical NLWE demonstrations and practical applications. It allows for the verification of NLWE in "unknown and untrusted" measurement scenarios, similar to how entanglement witnesses verify entanglement without full state tomography. The results suggest that NLWE can be utilized in realistic quantum information tasks, such as secure communication, even when experimental imperfections prevent the use of ideal discrimination strategies. The paper concludes that this framework paves the way for verifying NLWE in realistic settings and enabling its application in future quantum technologies.