Abstract:In a device-independent Bell test, the devices are considered to be black boxes and the dimension of the system remains unspecified. The dichotomic observables involved in such a Bell test can be degenerate and one may invoke a suitable measurement scheme to lift the degeneracy. However, the standard Bell test cannot account for whether or up to what extent the degeneracy is lifted, as the effect of lifting the degeneracy can only be reflected in the post-measurement states, which the standard Bell tests do not certify. In this work, we demonstrate the device-independent certification of degeneracy-breaking measurement based on the sequential Bell test by multiple observers who perform degeneracy-breaking unsharp measurements characterized by positive-operator-valued measures (POVMs) - the noisy variants of projectors. The optimal quantum violation of Clauser-Horne-Shimony-Holt inequality by multiple sequential observers eventually enables us to certify up to what extent the degeneracy has been lifted. In particular, our protocol certifies the upper bound on the number of POVMs used for performing such measurements along with the entangled state and measurement observables. We use an elegant sum-of-squares approach that powers such certification of degeneracy-breaking measurements.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to certify degeneracy - breaking measurements in device - independent (DI) Bell tests. In the standard Bell test, the device is regarded as a black box, and the dimension of the system is not specified. Although an appropriate measurement scheme can be used to lift the degeneracy, the standard Bell test cannot verify whether the degeneracy has been lifted and to what extent, because these effects can only be reflected in the post - measurement state, and the standard Bell test does not certify this. To overcome this problem, the authors propose a method based on sequential Bell tests performed by multiple observers, who use Positive - Operator - Valued Measures (POVMs) to perform unsharp measurements for degeneracy - breaking. By optimizing the quantum violation of the Clauser - Horne - Shimony - Holt (CHSH) inequality, this method can certify the degree of degeneracy - breaking, including the upper limit of the number of POVMs used for such measurements, the entangled state, and the measured observables. Specifically, the main contributions of the paper include: 1. **Proposing a device - independent method for certifying degeneracy - breaking measurements**: Through sequential Bell tests performed by multiple observers, the effect of degeneracy - breaking measurements is certified. 2. **Utilizing the quantum violation of the CHSH inequality**: By optimizing the quantum violation of the CHSH inequality, the upper bound of degeneracy - breaking measurements is certified. 3. **Introducing different g - POVMs**: Analyzing the quantum boundaries under different degrees of degeneracy - breaking and discussing the certification method. 4. **Providing detailed mathematical derivations**: Using the elegant sum - of - squares (SOS) method, key formulas and steps in the certification process are derived in detail. ### Formulas and Mathematical Derivations 1. **CHSH Expression**: \[ B=(A_1 + A_2)B_1+(A_1 - A_2)B_2 \] where \(\langle A_x B_y \rangle=\sum_{a,b = \pm 1} ab p(a, b|A_x B_y)\), and \(p(a, b|A_x B_y)\) is the joint probability distribution. 2. **Optimal Quantum Value**: \[ \langle B \rangle_{\text{opt}}^Q = 2\sqrt{2} \] 3. **Kraus Operators**: \[ K_{\pm}|y_k=\sqrt{\frac{1 \pm \lambda_k}{2}} P_+|y_k+\sqrt{\frac{1 \mp \lambda_k}{2}} P_-|y_k\equiv\alpha_k I \pm \beta_k B_{y_k} \] where \[ \alpha_k=\frac{1}{2}\left(\sqrt{\frac{1 + \lambda_k}{2}}+\sqrt{\frac{1 - \lambda_k}{2}}\right) \] \[ \beta_k=\frac{1}{2}\left(\sqrt{\frac{1 + \lambda_k}{2}}-\sqrt{\frac{1 - \lambda_k}{2}}\right) \] 4. **Average Reduced State**: \[ \rho_{AB(k + 1)}=\frac{1}{2}\sum_{b_k\in\{+, -\}}\sum_{y_k = 1}^2\left(I\otimes K_{b_k}|y_k\right)\rho_{ABk}\left(I\otimes K\right)

Device-independent certification of degeneracy-breaking measurements

Device-independent self-testing of unsharp measurements

Randomness-free Test of Non-classicality: a Proof of Concept

Device-independent certification of desirable properties with a confidence interval

Self-testing of multiple unsharpness parameters through sequential violations of non-contextual inequality

Certification of the maximally entangled state using non-projective measurements

Semi-device Independent Nonlocality Certification for Near-Term Quantum Networks

Almost device-independent certification of GME states with minimal measurements

Robust self-testing of the $m-$partite maximally entangled state and observables

Device-Independent Certification of Genuinely Entangled Subspaces

Experimental Realization of Robust Self-Testing of Bell State Measurements

Certifying classes of $d$-outcome measurements with quantum steering

Experimental certification of more than one bit of quantum randomness in the two inputs and two outputs scenario

Efficient and Device-Independent Active Quantum State Certification

Local certification of programmable quantum devices of arbitrary high dimensionality

Certifying measurement incompatibility in prepare-and-measure and Bell scenarios

Device-independent certification of two bits of randomness from one entangled bit and Gisin's elegant Bell inequality

Robust self-testing of Bell inequalities tilted for maximal loophole-free nonlocality

Certifying bipartite pure quantum states efficiently using untrusted devices

Certification of two-qubit quantum systems with temporal inequality

Simultaneous Certification of Entangled States and Measurements in Bounded Dimensional Semi-Quantum Games