We analytically characterize the maximal quantum violation of the extended Mermin-Ardehali-Belinskii-Klyshko (EMABK) family of inequalities by $n$-qubit generalized Greenberger-Horne-Zeilinger (GHZ) states. We develop a correlation-tensor approach in which the Bell value is expressed as the Frobenius inner product of the quantum correlation tensor and an effective coefficient tensor. A rank constraint on the latter, together with the von Neumann trace inequality, yields an upper bound governed by the two largest singular values of the reshaped correlation-tensor. For generalized GHZ states, we determine the complete singular spectrum and obtain a piecewise analytic upper bound. We then construct two complementary measurement strategies that saturate the bound for EMABK throughout the entire parameter range. The first is a purely MABK strategy in which all measurement directions lie in the equatorial plane of the Bloch sphere. The second is a hybrid strategy that recursively combines lower-order MABK anti-diagonal operators with the fully-$σ_z$ tensor product. The resulting piecewise analytic expression recovers the standard MABK Tsirelson bound $2^{(n-1)/2}$ in the maximally entangled limit and approaches the classical local-hidden-variable bound in the product-state limits. It further shows that every entangled generalized GHZ state exhibits a strict quantum-classical separation under the EMABK inequality, thereby eliminating the nonviolation region of the standard MABK inequality in the partially entangled regime.
We analytically characterize the maximal quantum violation of the extended Mermin-Ardehali-Belinskii-Klyshko (EMABK) family of inequalities by n-qubit generalized Greenberger-Horne-Zeilinger (GHZ) states. We develop a correlation-tensor approach in which the Bell value is expressed as the Frobenius inner product of the quantum correlation tensor and an effective coefficient tensor. A rank constraint on the latter, together with the von Neumann trace inequality, yields an upper bound governed by the two largest singular values of the reshaped correlation-tensor. For generalized GHZ states, we determine the complete singular spectrum and obtain a piecewise analytic upper bound. We then construct two complementary measurement strategies that saturate the bound for EMABK throughout the entire parameter range. The first is a purely MABK strategy in which all measurement directions lie in the equatorial plane of the Bloch sphere. The second is a hybrid strategy that recursively combines lower-order MABK anti-diagonal operators with the fully-σz tensor product. The resulting piecewise analytic expression recovers the standard MABK Tsirelson bound 2(n−1)/2 in the maximally entangled limit and approaches the classical local-hidden-variable bound in the product-state limits. It further shows that every entangled generalized GHZ state exhibits a strict quantum-classical separation under the EMABK inequality, thereby eliminating the nonviolation region of the standard MABK inequality in the partially entangled regime.
We determine the least Greenberger-Horne-Zeilinger (GHZ) extractability compatible with a Mermin-Ardehali-Belinskii-Klyshko (MABK) Bell score for every n≥3. Extractability is the largest squared overlap with a GHZ state obtainable by separate local quantum channels. Between the biseparable bound and the quantum maximum, its exact minimum is the affine interpolation from one half to one. This proves the bound conjectured for six or more parties. The result holds for arbitrary binary measurements and density operators on tensor products of finite- or infinite-dimensional local spaces. We also determine the exact minimum for qubits, which is strictly higher at every interior score. One qutrit and qubits elsewhere attain the unrestricted minimum with measurements fixed as the score varies and, at interior scores, realize the smallest product of ranks of the local reduced states among states attaining that minimum. For n≥4, the attaining state with this rank product is unique at each interior score, up to local isometries and party permutations. On one qutrit and qubits elsewhere, for n≥4 and scores a fixed fraction away from both endpoints, a sufficiently small excess of extractability above the minimum controls trace-norm distance to the attaining state of the same score, up to local unitaries. The dependence is of square-root order, with optimal exponent and explicit constants depending only on that fraction, uniformly in n. Equality and stability concern actual extractability; identical Bell statistics can accompany different extractabilities.
Multipartite Bell tests provide a correlation-only route to benchmarking quantum processors, but their application at large scales is hindered by the rapid decay of many-body correlators under noise and exponentially many terms in conventional Bell expressions. Here we address these scalability obstacles by introducing a finite-setting generalized Mermin family of state-tailored Bell inequalities with analytic certification bounds, in which the measurement-setting number m provides an additional certification dimension complementary to the system size n. We show that, for the powers-of-two setting choices considered here, increasing m leaves the ideal normalized multipartite quantum value unchanged while lowering the relevant classical bounds, thereby strengthening the Bell-violation ratios and yielding an improved noise-robustness scaling compared to the standard Mermin inequality. We test this construction experimentally on a programmable superconducting processor by preparing Greenberger-Horne-Zeilinger (GHZ) states of up to 80 qubits. Using randomized sampling for direct Bell-operator estimation, we observe Bell ratios that grow exponentially with system size, certify a nonlocality depth of 14, and show that increasing m strengthens both the Bell ratio and depth certification. All results are obtained solely from measured correlators and analytical bounds, without readout correction, tomography, or model-based mitigation. Generalized Mermin inequalities therefore provide a sharper Bell benchmark for noisy large-scale GHZ states.
Bell inequality is a vital tool to detect the nonlocal correlations, but the construction of it for multipartite systems is still a complicated problem. In this work, inspired via a decomposition of (n+1)-partite Bell inequalities into n-partite ones, we present a generalized iterative formula to construct nontrivial (n+1)-partite ones from the n-partite ones. Our iterative formulas recover the well-known Mermin-Ardehali-Belinsk\ifmmode \breve{\imath}\else \u{\i}\fi{}-Klyshko (MABK) and other families in the literature as special cases. Moreover, a family of ``dual-use'' Bell inequalities is proposed, in the sense that for the generalized Greenberger-Horne-Zeilinger states these inequalities lead to the same quantum violation as the MABK family and, at the same time, the inequalities are able to detect the nonlocality in the entire entangled region. Furthermore, we present a generalization of the I3322 inequality to any n-partite case which is still tight, and of the 46 \ifmmode \acute{S}\else \'{S}\fi{}liwa's inequalities to the four-partite tight ones, by applying our iteration method to each inequality and its equivalence class.
Device-independent certification of multipartite entangled states plays a central role
in a wide range of practical applications, including quantum networks, conference key agreement, and verifiable distributed quantum computation. A particularly important class of multipartite entangled states is the class of Greenberger-Horne-Zeilinger (GHZ) states. Many Bell operators have been proposed to self-test GHZ states. However, in practical scenarios, due to imperfections and the finite collection of statistics, the observed statistics do not satisfy the ideal self-testing relations. Hence, it becomes essential to investigate and compare the robustness of the different self-testing protocols. In this work, we investigate the robustness of self-testing schemes constructed from Bell operators due to Svetlichny and Mermin--Ardehali--Belinskii--Klyshko (MABK), using the analytic operator-inequality framework developed by Kaniewski [\href{https://doi.org/10.1103/PhysRevLett.117.070402}{Phys. Rev. Lett. 117, 070402 (2016)}]. We derive lower bounds on the extractable fidelity as a function of the observed value of these Bell operators. Although these protocols self-test the same underlying state, they exhibit markedly different levels of robustness. By comparing the resulting fidelity bounds, we demonstrate that the self-testing scheme based on the Svetlichny's Bell operator is the more robust among the two. Our results thus identify the Svetlichny operator based self-testing protocol as the most favorable candidate for device-independent certification of GHZ states in realistic, noisy experimental scenarios.
Abstract No matter for a scientific or technological reason, constructing Bell inequalities for multi-partite and high-dimensional systems is a significant task. The Mermin-Ardehali-Belinskiĭ-Klyshko (MABK) inequality is expressed in the form of iteration formula and correlation functions, and is the generalization of the Clauser-Horne-Shimony-Holt (CHSH) inequality to multi-partite cases. In the sense of detecting the nonlocality of the noisy maximally entangled states with the most white noises for the corresponding quantum system, the Collins-Gisin-Linden-Massar-Popescu (CGLMP) inequality, expressed in the joint probabilities form, is the high-dimensional analogue of the Clauser-Horne (CH) inequalities on joint probabilities. In the sense of detecting the nonlocality of the noisy Greenberger-Horne-Zeilinger(GHZ) states with the most white noises for the n-qudit system, it is a challenging task to construct the multi-partite analogue of the CGLMP inequality with iteration formula and correlation functions. In this paper, we generalize the multi-component correlation functions [Phys. Rev. A 71, 032 107 (2005)] for bipartite d-dimensional systems to n-partite d-dimensional ones, introduce the general full-correlated multi-component Bell function I n , d , and construct the corresponding Bell inequality. By this way, we can reproduce both the CGLMP inequality and the Bell inequality in [Phys. Rev. A 71, 032 107 (2005)] for the case n = 2, and the MABK inequality for the case d = 2. Inspired by the iteration formula form of the MABK inequality, we prove that for prime d the general Bell function I n , d can be reformulated by iterating two Bell functions I n − 1 , d . As applications, for prime d, confined to the unbiased symmetric (d × 2)-port beam splitters and the noisy n-qudit GHZ states, we recover the most robust Bell inequalities for small n and d, such as for the (3, 2, 3), (4, 2, 3), (5, 2, 3), and (3, 2, 5) Bell scenarios, with the iteration formula and the most robust Bell inequalities for the (2, 2, d) scenario. This implies that the iteration formula is an efficient way of constructing the multi-partite analogues of the CGLMP inequality with correlation functions. In addition, we also give some new Bell inequalities with the same robustness but inequivalent to the known ones.
Self-testing is a device-independent technique that allows for verification of unknown quantum systems only when observed correlations achieve some quantum supremum. In this paper, we present self-testing schemes for a class of multipartite Bell inequalities with a specific structure, which we refer to as the unit. Our research is based on the graph-theoretic approach, where correlations are characterized via Lov\'asz theta body in the framework of exclusivity graphs. The derived statements are subsequently applied to prove the self-testability of N-partite Mermin-Ardehali-Belinski\ifmmode \check{i}\else \v{i}\fi{}-Klyshko (MABK) family of Bell inequalities. In particular, we take special cases to demonstrate that the maximal violation of the multipartite MABK inequality is a self-test for the corresponding multipartite Greenberger-Horne-Zeilinger (GHZ) state. Moreover, we propose a device-independent verification algorithm for distributed blind quantum computation in the noisy intermediate-scale quantum era combined with multipartite GHZ state self-testing, where multiple quantum servers are involved and work in collaboration to reduce the burden on a single server.