- Open Access
Certifying Entanglement Dimensionality by -Reduction Moments
PRX Quantum 7, 010356 – Published 20 March, 2026
DOI: https://doi.org/10.1103/cc1n-gmj1
Abstract
In this paper, we combine the -reduction map, the moment method, and randomized measurements into a practical protocol for certifying the entanglement dimensionality. Our approach is based on the observation that a state with entanglement dimensionality at most must stay positive under the action of the -reduction map. The core of our protocol utilizes the moment method to determine whether the -reduced operator, i.e., the operator obtained after applying the -reduction map on a quantum state, contains a negative eigenvalue or not. Notably, we propose a systematic method for constructing reduction moment criteria that apply to a broader range of states, including -unfaithful states, compared with fidelity-based methods. The performance of our approach gets better and better with the moment order employed, which is corroborated by extensive numerical simulations. To apply our approach, it suffices to implement a unitary 3-design instead of a 4-design, which is more feasible in practice than the correlation matrix method. In the course of study, we show that the -reduction negativity, the absolute sum of the negative eigenvalues of the -reduced operator, is monotonic under local operations and classical communication for pure states.
Physics Subject Headings (PhySH)
Popular Summary
Consider two distant particles entangled in a quantum system: a change to one instantaneously influences the other. For a pure quantum state, the Schmidt number quantifies this by counting the nonzero singular values in the entanglement structure. It can be visualized as the number of independent communication channels between two parties—a single channel indicates a basic, separable state, while multiple channels enable richer, high-dimensional entanglement, which is vital for quantum information processing and computing. However, practical techniques for certifying these dimensions in experimental settings remain limited.
This paper introduces a powerful, lab-friendly solution: certifying entanglement dimensionality using -reduction moments. The core idea is elegant-if a state’s Schmidt number is at most , applying the -reduction map keeps it positive; any negativity proves higher entanglement. By pairing this insight with the moment method and randomized measurements, the authors create simple, effective tests. Crucially, the approach requires only 3-designs (like the widely used Clifford group), not 4-designs, and applies to a broad class of states—including unfaithful ones that evade fidelity-based methods.
Simulations show the method strengthens with higher-order moments and can fully certify the Schmidt numbers of many states using just a few moments. The sample complexity of this task scales gently with the system size and requires far fewer measurements than full tomography. In short, it is a robust, assumption free, experimentally practical tool to confirm the high-dimensional entanglement required for next-generation quantum technologies.
Article Text
References (55)
- R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009).
- O. Gühne and G. Tóth, Entanglement detection, Phys. Rep. 474, 1 (2009).
- N. Friis, G. Vitagliano, M. Malik, and M. Huber, Entanglement certification from theory to experiment, Nat. Rev. Phys. 1, 72 (2019).
- A. Peres, Separability criterion for density matrices, Phys. Rev. Lett. 77, 1413 (1996).
- M. Horodecki, P. Horodecki, and R. Horodecki, Separability of mixed states: Necessary and sufficient conditions in terms of linear maps, Phys. Lett. A 283, 1 (2001).
- G. Aubrun, S. J. Szarek, and D. Ye, Phase transitions for random states and a semicircle law for the partial transpose, Phys. Rev. A 85, 030302(R) (2012).
- A. Elben, S. T. Flammia, H.-Y. Huang, R. Kueng, J. Preskill, B. Vermersch, and P. Zoller, The randomized measurement toolbox, Nat. Rev. Phys. 5, 9 (2023).
- P. Cieśliński, S. Imai, J. Dziewior, O. Gühne, L. Knips, W. Laskowski, J. Meinecke, T. Paterek, and T. Vértesi, Analysing quantum systems with randomised measurements, Phys. Rep. 1095, 1 (2024).
- A. Elben, R. Kueng, H.-Y. R. Huang, R. van Bijnen, C. Kokail, M. Dalmonte, P. Calabrese, B. Kraus, J. Preskill, P. Zoller, et al., Mixed-state entanglement from local randomized measurements, Phys. Rev. Lett. 125, 200501 (2020).
- A. Neven, J. Carrasco, V. Vitale, C. Kokail, A. Elben, M. Dalmonte, P. Calabrese, P. Zoller, B. Vermersch, R. Kueng, et al., Symmetry-resolved entanglement detection using partial transpose moments, npj Quantum Inf. 7, 152 (2021).
- X.-D. Yu, S. Imai, and O. Gühne, Optimal entanglement certification from moments of the partial transpose, Phys. Rev. Lett. 127, 060504 (2021).
- T. Brydges, A. Elben, P. Jurcevic, B. Vermersch, C. Maier, B. P. Lanyon, P. Zoller, R. Blatt, and C. F. Roos, Probing Rényi entanglement entropy via randomized measurements, Science 364, 260 (2019).
- H.-Y. Huang, R. Kueng, and J. Preskill, Predicting many properties of a quantum system from very few measurements, Nat. Phys. 16, 1050 (2020).
- Y. Zhou, P. Zeng, and Z. Liu, Single-copies estimation of entanglement negativity, Phys. Rev. Lett. 125, 200502 (2020).
- B. M. Terhal and P. Horodecki, Schmidt number for density matrices, Phys. Rev. A 61, 040301(R) (2000).
- Z. Huang, L. Maccone, A. Karim, C. Macchiavello, R. J. Chapman, and A. Peruzzo, High-dimensional entanglement certification, Sci. Rep. 6, 27637 (2016).
- J. Bavaresco, N. Herrera Valencia, C. Klöckl, M. Pivoluska, P. Erker, N. Friis, M. Malik, and M. Huber, Measurements in two bases are sufficient for certifying high-dimensional entanglement, Nat. Phys. 14, 1032 (2018).
- M. Weilenmann, B. Dive, D. Trillo, E. A. Aguilar, and M. Navascués, Entanglement detection beyond measuring fidelities, Phys. Rev. Lett. 124, 200502 (2020).
- S. Morelli, M. Huber, and A. Tavakoli, Resource-efficient high-dimensional entanglement detection via symmetric projections, Phys. Rev. Lett. 131, 170201 (2023).
- N. K. H. Li, M. Huber, and N. Friis, High-dimensional entanglement witnessed by correlations in arbitrary bases, npj Quantum Inf. 11, 50 (2025).
- S. Imai, N. Wyderka, A. Ketterer, and O. Gühne, Bound entanglement from randomized measurements, Phys. Rev. Lett. 126, 150501 (2021).
- S. Liu, Q. He, M. Huber, O. Gühne, and G. Vitagliano, Characterizing entanglement dimensionality from randomized measurements, PRX Quantum 4, 020324 (2023).
- N. Wyderka and A. Ketterer, Probing the geometry of correlation matrices with randomized measurements, PRX Quantum 4, 020325 (2023).
- S. Liu, M. Fadel, Q. He, M. Huber, and G. Vitagliano, Bounding entanglement dimensionality from the covariance matrix, Quantum 8, 1236 (2024).
- D. Gross, K. Audenaert, and J. Eisert, Evenly distributed unitaries: On the structure of unitary designs, J. Math. Phys. 48, 052104 (2007).
- H. Zhu, R. Kueng, M. Grassl, and D. Gross, The Clifford group fails gracefully to be a unitary 4-design, arXiv:1609.08172.
- E. Bannai, G. Navarro, N. Rizo, and P. H. Tiep, Unitary -groups, J. Math. Soc. Japan 72, 909 (2020).
- O. Lib, S. Liu, R. Shekel, Q. He, M. Huber, Y. Bromberg, and G. Vitagliano, Experimental certification of high-dimensional entanglement with randomized measurements, Phys. Rev. Lett. 134, 210202 (2025).
- A. Sanpera, D. Bruß, and M. Lewenstein, Schmidt-number witnesses and bound entanglement, Phys. Rev. A 63, 050301(R) (2001).
- K. Schmüdgen, The Moment Problem (Springer, Cham, Switzerland, 2017).
- K. Schmüdgen, Ten lectures on the moment problem, arXiv:2008.12698.
- Z. Webb, The Clifford group forms a unitary 3-design, Quantum Inf. Comput. 16, 1379 (2016).
- H. Zhu, Multiqubit Clifford groups are unitary 3-designs, Phys. Rev. A 96, 062336 (2017).
- R. Kueng, H. Rauhut, and U. Terstiege, Low rank matrix recovery from rank one measurements, Appl. Comput. Harmon. Anal. 42, 88 (2017).
- M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University, Cambriage, UK, 2010), 2nd ed.
- M.-D. Choi, Positive linear maps on C*-algebras, Can. J. Math. 24, 520 (1972).
- T. Takasaki and J. Tomiyama, On the geometry of positive maps in matrix algebras, Math. Z. 184, 101 (1983).
- J. Tomiyama, On the geometry of positive maps in matrix algebras. II, Linear Algebra Appl. 69, 169 (1985).
- D. Chruściński and G. Sarbicki, Entanglement witnesses: Construction, analysis and classification, J. Phys. A: Math. Theor. 47, 483001 (2014).
- G. Vidal and R. F. Werner, Computable measure of entanglement, Phys. Rev. A 65, 032314 (2002).
- A. W. Roberts, in Handbook of Convex Geometry (Elsevier, Amsterdam, Netherlands, 1993), p. 1081.
- M. A. Nielsen, Conditions for a class of entanglement transformations, Phys. Rev. Lett. 83, 436 (1999).
- K. Zyczkowski and H.-J. Sommers, Induced measures in the space of mixed quantum states, J. Phys. A: Math. Gen. 34, 7111 (2001).
- O. Gühne, Y. Mao, and X.-D. Yu, Geometry of faithful entanglement, Phys. Rev. Lett. 126, 140503 (2021).
- F. Bohnet-Waldraff, D. Braun, and O. Giraud, Entanglement and the truncated moment problem, Phys. Rev. A 96, 032312 (2017).
- D. Gross, Y.-K. Liu, S. T. Flammia, S. Becker, and J. Eisert, Quantum state tomography via compressed sensing, Phys. Rev. Lett. 105, 150401 (2010).
- J. Haah, A. W. Harrow, Z. Ji, X. Wu, and N. Yu, Sample-optimal tomography of quantum states, in Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing (Association for Computing Machinery, New York, NY, 2016), pp. 913–925.
- R. O’Donnell and J. Wright, Efficient quantum tomography, in Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing (Association for Computing Machinery, New York, NY, 2016), pp. 899–912.
- S. Aaronson, Shadow tomography of quantum states, in Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing (Association for Computing Machinery, New York, NY, 2018), pp. 325–338.
- S. Aaronson and G. N. Rothblum, Gentle measurement of quantum states and differential privacy, in Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (Association for Computing Machinery, New York, NY, 2019), pp. 322–333.
- P. M. Q. Cruz and B. Murta, Shallow unitary decompositions of quantum Fredkin and Toffoli gates for connectivity-aware equivalent circuit averaging, APL Quantum 1, 016105 (2024).
- Z. Liu and F. Wei, Separation between entanglement criteria and entanglement detection protocols, Phys. Rev. Res. 7, 033121 (2025).
- B. Mallick, A. G. Maity, N. Ganguly, and A. S. Majumdar, Higher-dimensional-entanglement detection and quantum-channel characterization using moments of generalized positive maps, Phys. Rev. A 112, 012416 (2025).
- https://github.com/CYI1995/PRXQ_SN.
- D. Grier, H. Pashayan, and L. Schaeffer, Sample-optimal classical shadows for pure states, Quantum 8, 1373 (2024).
