Almost device-independent certification of GME states with minimal measurements

Device-independent certification of quantum states enables the characterization of states within a device under minimal physical assumptions. A major problem in this regard is to certify quantum states using minimal resources. Aiming to address this problem, we consider a multipartite quantum steering scenario involving an arbitrary number of parties, of which only one is trusted, meaning that the measurements performed by this party are known. Consequently, the self-testing scheme is almost device-independent. Importantly, all the parties can only perform two measurements each, which is the minimal number of measurements required to observe any form of quantum nonlocality. Then, we propose steering inequalities that are maximally violated by three major classes of genuinely multipartite entangled (GME) states: graph states of arbitrary local dimension, Schmidt states of arbitrary local dimension, and $N$-qubit generalized W states. Using the proposed inequalities, we then provide an almost device-independent certification of the above GME states. Restricting to qubits, we also lift our almost device-independent scheme to device-independent self-testing.

💡 Research Summary

This paper addresses the challenge of certifying multipartite entangled quantum states using the smallest possible experimental resources. The authors work within a one‑sided device‑independent (1‑SDI) framework: among N parties, only a single party (Alice) is trusted and her measurement devices are fully characterized, while the remaining N‑1 parties (the Bobs) are treated as black boxes. Crucially, every party is limited to exactly two measurement settings, which is the minimal number required to exhibit any form of quantum nonlocality.

The core contribution is the construction of three families of steering inequalities that are maximally violated by three important classes of genuinely multipartite entangled (GME) states:

1. Arbitrary‑dimensional graph states – For any connected multigraph G with local dimension d, the authors define a steering operator built from the stabilizers of the graph state. By assigning the first vertex to the trusted Alice (who measures the generalized Pauli Z and X), and replacing the corresponding Pauli operators on the other vertices with arbitrary d‑outcome observables B_{j,0} and B_{j,1}, they obtain a linear functional I_d(G,N). The local‑hidden‑state (LHS) bound β_L is derived, and the quantum value β_Q reaches β_L plus a positive gap when the underlying state is exactly |G⟩ and the Bobs’ measurements coincide with the stabilizer observables. Maximal violation implies, up to local isometries, that the shared state and the untrusted measurements are equivalent to the reference graph state and its stabilizer measurements.

2. Arbitrary‑dimensional Schmidt states – These are states of the form |ψ_S⟩ = Σ_{i=0}^{d‑1} α_i |i⟩^{⊗N} with arbitrary complex amplitudes α_i. The authors design a steering inequality that weights the correlators ⟨Z_A Z_{B…}⟩ and ⟨X_A X_{B…}⟩ according to the relative magnitudes of the α_i’s. When the inequality is saturated, the observed expectation values reproduce the exact ratios |α_i|², thereby self‑testing both the state and the Bobs’ two‑outcome measurements (which are essentially the d‑dimensional generalizations of Pauli X and Z).

3. Generalized N‑qubit W states – Defined as |W_N⟩ = Σ_{i=1}^{N} β_i |0…1_i…0⟩ with real non‑negative coefficients β_i satisfying Σβ_i²=1, these states are symmetric and belong to the broader class of multipartite symmetric entangled states. The authors propose a steering functional that captures the “one‑excitation” structure: when Alice measures in the Z basis and obtains outcome 1, exactly one of the Bobs must obtain 1 in their Z measurement, and similarly for the X basis. Maximal violation forces the observed statistics to match the β_i distribution, thus certifying the full set of parameters of the W state using only two binary measurements per party.

For each family, the paper proves a robust self‑testing theorem: if the observed correlations achieve the maximal quantum value of the respective steering inequality, then there exist local isometries (unitaries acting on each Bob’s Hilbert space) that map the physical state and measurements to the ideal reference state and measurements, possibly tensored with an irrelevant “junk” auxiliary system. This constitutes an “almost device‑independent” certification because only Alice’s devices are trusted.

The authors further show how, in the qubit case (d=2), the scheme can be lifted to a fully device‑independent (DI) self‑testing protocol. By introducing an extra party (Charlie) who shares a bipartite state with Alice, they enforce that Alice’s two measurements (Z and X) maximally violate the CHSH Bell inequality with Charlie. This guarantees, without any trust, that Alice’s measurements are indeed the Pauli observables. Combining this with the previously derived steering inequalities yields a fully DI self‑testing of the targeted GME states.

Key technical insights include:

• The use of stabilizer formalism to translate graph‑state properties into linear steering operators that require only two measurement settings per party.
• A systematic method to embed arbitrary amplitude information (α_i or β_i) into the coefficients of the steering functional, enabling certification of families of states with continuous parameters.
• Demonstrating that the LHS bound can be analytically computed for the constructed inequalities, while the quantum bound is attained by the intended state and a specific choice of untrusted measurements.
• Providing explicit constructions of the local isometries that extract the reference state from the physical one, thereby establishing rigorous self‑testing statements.

From an experimental perspective, the protocol’s minimal measurement requirement dramatically reduces the overhead compared with traditional DI self‑testing schemes, which often need three or more settings per party and may rely on complex network configurations. The ability to certify high‑dimensional graph and Schmidt states is particularly relevant for emerging platforms that naturally operate in larger Hilbert spaces (e.g., photonic orbital angular momentum, time‑frequency bins). Moreover, the certification of generalized W states with arbitrary excitation amplitudes opens avenues for metrological applications where the precise weight of each excitation matters.

In summary, the paper delivers a comprehensive framework for almost device‑independent certification of a broad class of genuinely multipartite entangled states using only two measurements per party. It bridges the gap between fully device‑independent self‑testing (which is experimentally demanding) and fully trusted tomography (which lacks security guarantees), offering a practically viable route for high‑fidelity verification of complex quantum resources in near‑term quantum technologies.