High-dimensional entanglement (HDE) is a valuable resource in quantum information processing, and efficient certification of HDE is crucial to many applications. In this work, we propose a simple and general framework for certifying HDE in general bipartite pure states under restricted operations, such as local operations and classical communication (LOCC). On this basis we show that HDE in general bipartite pure states can be certified efficiently. Moreover, the sample cost for certifying a given degree of HDE even decreases monotonically with the local dimensions. In addition, for a general two-qubit pure state, we construct an optimal entanglement certification strategy based on separable operations, which can be realized by LOCC when the target state has sufficiently high entanglement. The core concept of our framework is versatile and can be extended to certify a wide range of critical resources under restricted operations.
The standard benchmark for high-dimensional entanglement is the number of dimensions in which entanglement must be present in order to generate the state. This is called the Schmidt number and its detection is usually based on implementing an appropriate set of local basis measurements. However, as quantum technology brings increasingly large physical dimensions within reach, the implementation of such measurements typically becomes more costly. Here, we develop a scheme for detecting Schmidt numbers based only on sequences of single-qubit observables. These measurements are simpler to implement as they require only low-depth quantum circuits. Using up to sixteen-dimensional photonic spatial mode entanglement and multi-plane light conversion technology, we demonstrate how it simplifies setup complexity and successfully detects the maximal (or close-to-maximal) Schmidt number. Our results reveal that simple and more scalable measurements are sufficient to detect high-dimensional entanglement properties.
Bipartite quantum states with higher Schmidt numbers have been shown to outperform those with lower Schmidt numbers in various quantum information-processing tasks, highlighting the operational advantage of entanglement dimensionality. Certifying the Schmidt number of such states is therefore crucial for efficient resource utilization. Ideally, this certification should rely as little as possible on the certifying devices to ensure robustness against their potential imperfections. Fully device-independent certification via Bell-nonlocal games offers strong robustness but suffers from fundamental limitations: It cannot certify the Schmidt number of all entangled states. We demonstrate that this insufficiency of Bell-nonlocal games is not limited to entangled states that do not exhibit Bell nonlocality. Specifically, we prove the existence of Bell-nonlocal states whose Schmidt number cannot be certified by any Bell-nonlocal game when the parties are restricted to local projective measurements. To overcome this, we develop a measurement-device-independent certification method based on semiquantum nonlocal games, which assume trusted preparation devices but treat measurement devices as black boxes. We prove that for any bipartite state with a Schmidt number exceeding
r, a semiquantum nonlocal game exists that can certify its Schmidt number. Finally, we provide an explicit construction of such a semiquantum nonlocal game based on an optimal Schmidt number witness operator.
The dimensionality of entanglement in high-dimensional quantum systems is quantified by the Schmidt number, whose large value signals potential advantages for quantum communication and quantum computation. A commonly used approach to practical Schmidt-number detection in finite-dimensional systems is based on the estimation of fidelities to pure states with large entanglement dimensionality or lower bounds to these fidelities. However, for mode-entangled continuous-variable systems, the corresponding measurements are typically difficult to realize. Here, we introduce and assess fidelity bounds for Schmidt-number detection based on practically more accessible measurements of the first and second statistical moments of arbitrary continuous-variable quantum states. We provide analytical formulas that allow evaluating these bounds and test them for families of Gaussian and non-Gaussian states, including two-mode squeezed thermal states and photon-added displaced two-mode squeezed vacuum states. We compare our bounds to other methods for the certification of high-dimensional entanglement based on the same measurements.
A central task in quantum information science is state certification: testing whether an unknown state is
ε1-close to a fixed target state, or
ε2-far. Recent work has shown that surprisingly simple measurement protocols--comprising only single-qubit measurements--suffice to certify arbitrary
n-qubit states [Huang, Preskill, Soleimanifar '25; Gupta, He, O'Donnell '25]. However, these certification protocols are not robust: rather than allowing constant
ε1, they can only positively certify states within
ε1=O(1/n) trace distance of the target. In many experimental settings, the appropriate error tolerance is constant as the system size grows, so this lack of robustness renders existing tests inapplicable at scale, no matter how many times the test is repeated.
Here we present robust certification protocols based on few-qubit measurements that apply to all but a
O(2−n)-fraction of pure target states. Our first protocol achieves constant robustness, i.e.
ε1=Θ(1), using a single
O(logn)-qubit measurement along with single-qubit measurements in the
Z or
X basis on the other qubits. As a corollary of its robustness, this protocol also achieves constant (in
n) copy complexity, which is optimal. Our second protocol uses exclusively single-qubit measurements and is nearly robust:
ε1=Ω(1/logn). Our tests are based on a new uncertainty principle for conditional fidelities, which may be of independent interest.
A profound comprehension of quantum entanglement is crucial for the progression of quantum technologies. The degree of entanglement can be assessed by enumerating the entangled degrees of freedom, leading to the determination of a parameter known as the Schmidt number. In this paper, we develop an efficient analytical tool for characterizing high Schmidt number witnesses for bipartite quantum states in arbitrary dimensions. Our methods not only offer viable mathematical methods for constructing high-dimensional Schmidt number witnesses in theory but also simplify the quantification of entanglement and dimensionality. Most notably, we develop high-dimensional Schmidt number witnesses within arbitrary-dimensional systems, with our Schmidt witness coefficients relying solely on the operator Schmidt coefficient. Subsequently, we demonstrate our theoretical advancements and computational superiority by constructing Schmidt number witnesses in arbitrary dimensional bipartite quantum systems with Schmidt numbers four and five.