Reuse & Permissions

It is not necessary to obtain permission to reuse this article or its components as it is available under the terms of the Creative Commons Attribution 4.0 International license. This license permits unrestricted use, distribution, and reproduction in any medium, provided attribution to the author(s) and the published article's title, journal citation, and DOI are maintained. Please note that some figures may have been included with permission from other third parties. It is your responsibility to obtain the proper permission from the rights holder directly for these figures.

Export citation

Export citation

Choose format for download:

Download Citation
  • Open Access

Certifying Entanglement Dimensionality by k-Reduction Moments

Changhao Yi1,2,3,4,*,†, Xiaodi Li5,2,3,4,†,‡, and Huangjun Zhu2,3,4

  • *Contact author: cyi@shu.edu.cn
  • †These authors contributed equally to this work.
  • ‡Contact author: lixiaodi@fudan.edu.cn

PRX Quantum 7, 010356 – Published 20 March, 2026

DOI: https://doi.org/10.1103/cc1n-gmj1

Abstract

In this paper, we combine the k-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 k must stay positive under the action of the k-reduction map. The core of our protocol utilizes the moment method to determine whether the k-reduced operator, i.e., the operator obtained after applying the k-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 k-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 k-reduction negativity, the absolute sum of the negative eigenvalues of the k-reduced operator, is monotonic under local operations and classical communication for pure states.

View figure in article

Physics Subject Headings (PhySH)

Popular Summary

Article Text

References (55)

  1. R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009).
  2. O. Gühne and G. Tóth, Entanglement detection, Phys. Rep. 474, 1 (2009).
  3. N. Friis, G. Vitagliano, M. Malik, and M. Huber, Entanglement certification from theory to experiment, Nat. Rev. Phys. 1, 72 (2019).
  4. A. Peres, Separability criterion for density matrices, Phys. Rev. Lett. 77, 1413 (1996).
  5. 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).
  6. 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).
  7. 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).
  8. 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).
  9. 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).
  10. 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).
  11. X.-D. Yu, S. Imai, and O. Gühne, Optimal entanglement certification from moments of the partial transpose, Phys. Rev. Lett. 127, 060504 (2021).
  12. 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).
  13. H.-Y. Huang, R. Kueng, and J. Preskill, Predicting many properties of a quantum system from very few measurements, Nat. Phys. 16, 1050 (2020).
  14. Y. Zhou, P. Zeng, and Z. Liu, Single-copies estimation of entanglement negativity, Phys. Rev. Lett. 125, 200502 (2020).
  15. B. M. Terhal and P. Horodecki, Schmidt number for density matrices, Phys. Rev. A 61, 040301(R) (2000).
  16. Z. Huang, L. Maccone, A. Karim, C. Macchiavello, R. J. Chapman, and A. Peruzzo, High-dimensional entanglement certification, Sci. Rep. 6, 27637 (2016).
  17. 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).
  18. M. Weilenmann, B. Dive, D. Trillo, E. A. Aguilar, and M. Navascués, Entanglement detection beyond measuring fidelities, Phys. Rev. Lett. 124, 200502 (2020).
  19. S. Morelli, M. Huber, and A. Tavakoli, Resource-efficient high-dimensional entanglement detection via symmetric projections, Phys. Rev. Lett. 131, 170201 (2023).
  20. N. K. H. Li, M. Huber, and N. Friis, High-dimensional entanglement witnessed by correlations in arbitrary bases, npj Quantum Inf. 11, 50 (2025).
  21. S. Imai, N. Wyderka, A. Ketterer, and O. Gühne, Bound entanglement from randomized measurements, Phys. Rev. Lett. 126, 150501 (2021).
  22. S. Liu, Q. He, M. Huber, O. Gühne, and G. Vitagliano, Characterizing entanglement dimensionality from randomized measurements, PRX Quantum 4, 020324 (2023).
  23. N. Wyderka and A. Ketterer, Probing the geometry of correlation matrices with randomized measurements, PRX Quantum 4, 020325 (2023).
  24. S. Liu, M. Fadel, Q. He, M. Huber, and G. Vitagliano, Bounding entanglement dimensionality from the covariance matrix, Quantum 8, 1236 (2024).
  25. D. Gross, K. Audenaert, and J. Eisert, Evenly distributed unitaries: On the structure of unitary designs, J. Math. Phys. 48, 052104 (2007).
  26. H. Zhu, R. Kueng, M. Grassl, and D. Gross, The Clifford group fails gracefully to be a unitary 4-design, arXiv:1609.08172.
  27. E. Bannai, G. Navarro, N. Rizo, and P. H. Tiep, Unitary t-groups, J. Math. Soc. Japan 72, 909 (2020).
  28. 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).
  29. A. Sanpera, D. Bruß, and M. Lewenstein, Schmidt-number witnesses and bound entanglement, Phys. Rev. A 63, 050301(R) (2001).
  30. K. Schmüdgen, The Moment Problem (Springer, Cham, Switzerland, 2017).
  31. K. Schmüdgen, Ten lectures on the moment problem, arXiv:2008.12698.
  32. Z. Webb, The Clifford group forms a unitary 3-design, Quantum Inf. Comput. 16, 1379 (2016).
  33. H. Zhu, Multiqubit Clifford groups are unitary 3-designs, Phys. Rev. A 96, 062336 (2017).
  34. R. Kueng, H. Rauhut, and U. Terstiege, Low rank matrix recovery from rank one measurements, Appl. Comput. Harmon. Anal. 42, 88 (2017).
  35. M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge University, Cambriage, UK, 2010), 2nd ed.
  36. M.-D. Choi, Positive linear maps on C*-algebras, Can. J. Math. 24, 520 (1972).
  37. T. Takasaki and J. Tomiyama, On the geometry of positive maps in matrix algebras, Math. Z. 184, 101 (1983).
  38. J. Tomiyama, On the geometry of positive maps in matrix algebras. II, Linear Algebra Appl. 69, 169 (1985).
  39. D. Chruściński and G. Sarbicki, Entanglement witnesses: Construction, analysis and classification, J. Phys. A: Math. Theor. 47, 483001 (2014).
  40. G. Vidal and R. F. Werner, Computable measure of entanglement, Phys. Rev. A 65, 032314 (2002).
  41. A. W. Roberts, in Handbook of Convex Geometry (Elsevier, Amsterdam, Netherlands, 1993), p. 1081.
  42. M. A. Nielsen, Conditions for a class of entanglement transformations, Phys. Rev. Lett. 83, 436 (1999).
  43. K. Zyczkowski and H.-J. Sommers, Induced measures in the space of mixed quantum states, J. Phys. A: Math. Gen. 34, 7111 (2001).
  44. O. Gühne, Y. Mao, and X.-D. Yu, Geometry of faithful entanglement, Phys. Rev. Lett. 126, 140503 (2021).
  45. F. Bohnet-Waldraff, D. Braun, and O. Giraud, Entanglement and the truncated moment problem, Phys. Rev. A 96, 032312 (2017).
  46. 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).
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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).
  52. Z. Liu and F. Wei, Separation between entanglement criteria and entanglement detection protocols, Phys. Rev. Res. 7, 033121 (2025).
  53. 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).
  54. https://github.com/CYI1995/PRXQ_SN.
  55. D. Grier, H. Pashayan, and L. Schaeffer, Sample-optimal classical shadows for pure states, Quantum 8, 1373 (2024).

Outline

Information

Sign In to Your Journals Account

Filter

Filter

Article Lookup

Enter a citation