Abstract:Semi-device-independent certification of an unsharp instrument has recently been demonstrated [New J. Phys. 21, 083034 (2019)] based on the sequential sharing of quantum advantages in a prepare-measure communication game by assuming the system to be qubit. In this work, we provide device-independent (DI) self-testing of the unsharp instrument through the quantum violation of two Bell inequalities where the devices are uncharacterized and the dimension of the system remains unspecified. We introduce an elegant sum-of-squares approach to derive the dimension-independent optimal quantum violation of Bell inequalities which plays a crucial role. Note that the standard Bell test cannot self-test the post-measurement states and consequently cannot self-test unsharp instrument. The sequential Bell test possess the potential to self-test an unsharp instrument. We demonstrate that there exists a trade-off between the maximum sequential quantum violations of the Clauser-Horne-Shimony-Holt inequality, and they form an optimal pair that enables the DI self-testing of the entangled state, the observables, and the unsharpness parameter. Further, we extend our study to the case of elegant Bell inequality and we argue that it has two classical bounds - the local bound and the non-trivial preparation non-contextual bound, lower than the local bound. Based on the sharing of preparation contextuality by three independent sequential observers, we demonstrate the DI self-testing of two unsharpness parameters. Since an actual experimental scenario involves losses and imperfection, we demonstrate robustness of our certification to noise.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to perform self - testing on unsharp measurements in the Device - Independent (DI) situation. Specifically, the author proposes methods to achieve device - independent self - testing of unsharp instruments by violating two Bell inequalities. These methods are still effective when the device is not fully characterized and the dimension of the system is not specified. The key contributions of the paper are as follows: 1. **Device - independent self - testing**: Traditional Bell tests cannot self - test the post - measurement state, and thus cannot self - test unsharp instruments either. This paper proposes a new method to achieve device - independent self - testing of unsharp instruments through sequential Bell tests. 2. **Sequential Bell tests**: The author proves the possibility of sharing quantum advantages among multiple independent sequential observers and shows how to form optimal pairs by maximizing the sequential quantum violation of the Clauser - Horne - Shimony - Holt (CHSH) inequality, thereby achieving device - independent self - testing. 3. **Elegant Bell inequality**: In addition to the CHSH inequality, the author also extends the research and considers the elegant Bell inequality. They point out that the elegant Bell inequality has two classical bounds - the local bound and the non - trivial preparation non - contextuality bound, with the latter being lower than the former. Based on the preparation contextuality sharing among three independent sequential observers, the author shows how to achieve device - independent self - testing of two unsharp parameters. 4. **Robustness analysis**: Considering the losses and imperfections in actual experimental scenarios, the author also shows the robustness of their certification method against noise. ### Main conclusions - **CHSH inequality**: Through the sub - optimal quantum violation of two sequential observers, an optimal pair is formed, which can uniquely certify the shared state, observables, and unsharp parameters. - **Elegant Bell inequality**: By sharing the quantum advantage among three sequential observers, the range of the unsharp parameter of the first observer can be further restricted, thereby achieving more precise self - testing. - **Robustness**: Even in the presence of noise, this method can provide a certain self - testing range, ensuring the reliability of the results. ### Formula summary - **CHSH inequality**: \[ B=(M_1 + M_2)N_1+(M_1 - M_2)N_2\leq2 \] The optimal quantum value is: \[ (B)_{\text{opt}}^Q = 2\sqrt{2} \] - **Sub - optimal quantum value**: \[ (B_1)^Q=\lambda_1(B)_{\text{opt}}^Q \] \[ (B_2)^Q=\frac{1}{2}\left(1+\sqrt{1-\left(\frac{(B_1)^Q}{(B)_{\text{opt}}^Q}\right)^2}\right)(B)_{\text{opt}}^Q \] - **Elegant Bell inequality**: \[ E=(A_1 + A_2 + A_3 - A_4)\otimes B_1+(A_1 + A_2 - A_3 + A_4)\otimes B_2+(A_1 - A_2 + A_3 + A_4)\otimes B_3 \] The local bound: \[ (E)_{\text{l}}\leq6 \] The non - trivial preparation non - contextuality bound: \[ (E)_{\text{pnc}}\leq4 \] Through these methods, the paper provides a theoretical basis and experimental guidance for device - independent self - testing of unsharp measurements.

Device-independent self-testing of unsharp measurements

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

Device-independent certification of degeneracy-breaking measurements

Effects of Reduced Measurements Independence on Self-Testing

Self-testing of a single quantum device under computational assumptions

Self-testing of semisymmetric informationally complete measurements in a qubit prepare-and-measure scenario

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

Certification of two-qubit quantum systems with temporal inequality

Experimental Demonstration of One-Sided Device-Independent Self-Testing of Any Pure Two-Qubit Entangled State

Certifying bipartite pure quantum states efficiently using untrusted devices

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

Device-Independent Certification of Genuinely Entangled Subspaces

(Almost-)Quantum Bell Inequalities and Device-Independent Applications

Certifying Temporal Correlations

Experimentally Robust Self-testing for Bipartite and Tripartite Entangled States

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

A universal scheme to self-test any quantum state and extremal measurement

Experimental Realization of Robust Self-Testing of Bell State Measurements

Towards minimal self-testing of qubit states and measurements in prepare-and-measure scenarios

Self-testing in the compiled setting via tilted-CHSH inequalities