Characterizing maximally many-body entangled fermionic states by using $M$-body density matrix

Irakli Giorgadze1, Haixuan Huang1, Jordan Gaines1, Elio J. König2,3, and Jukka I. Väyrynen1

1Department of Physics and Astronomy, Purdue University, West Lafayette, Indiana 47907 USA
2Department of Physics, University of Wisconsin-Madison, Madison, Wisconsin 53706, USA
3Max-Planck Institute for Solid State Research, 70569 Stuttgart, Germany

Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.

Abstract

Fermionic Hamiltonians play a critical role in quantum chemistry, one of the most promising use cases for near-term quantum computers. However, since encoding nonlocal fermionic statistics using conventional qubits results in significant computational overhead, fermionic quantum hardware, such as fermion atom arrays, were proposed as a more efficient platform. In this context, we here study the many-body entanglement structure of fermionic $N$-particle states by concentrating on $M$-body reduced density matrices (DMs) across various bipartitions in Fock space. The von Neumann entropy of the reduced DM is a basis independent entanglement measure which generalizes the traditional quantum chemistry concept of the one-particle DM entanglement, which characterizes how a single fermion is entangled with the rest. We carefully examine upper bounds on the $M$-body entanglement, which are analogous to the volume law of conventional entanglement measures. To this end we establish a connection between $M$-body reduced DM and the mathematical structure of hypergraphs. Specifically, we show that a special class of hypergraphs, known as $t$-designs, corresponds to maximally entangled fermionic states. Finally, we explore fermionic many-body entanglement in random states. We semianalytically demonstrate that the distribution of reduced DMs associated with random fermionic states corresponds to the trace-fixed Wishart-Laguerre random matrix ensemble. In the limit of large single-particle dimension $D$ and a non-zero filling fraction, random states asymptotically become absolutely maximally entangled.

In this work, we ask two questions:
1. In what state of $N$ indistinguishable fermions can we have $M$ fermions being maximally entangled with the rest $N-M$ fermions? In other words, what does a maximally $M$-body entangled $N$-fermion state look like?
2. How much $M$-body entangled a random $N$-fermion state is?

We find that each $N$-fermion state can be mapped to an $N$-uniform hypergraph, and a special type of hypergraphs, called $M$-designs, correspond to maximally $M$-body entangled states. We also find that a random $N$-fermion state is maximally $M$-body entangled in the limit when the number of available orbitals is large, for all $M$ from $1$ up to $N/2$.

► BibTeX data

► References

[1] Andrew J. Daley, Immanuel Bloch, Christian Kokail, Stuart Flannigan, Natalie Pearson, Matthias Troyer, and Peter Zoller, ``Practical quantum advantage in quantum simulation,'' 607, 667–676 (2022).
https:/​/​doi.org/​10.1038/​s41586-022-04940-6

[2] Markus Reiher, Nathan Wiebe, Krysta M. Svore, Dave Wecker, and Matthias Troyer, ``Elucidating reaction mechanisms on quantum computers,'' Proceedings of the National Academy of Science 114, 7555–7560 (2017).
https:/​/​doi.org/​10.1073/​pnas.1619152114

[3] Dave Wecker, Matthew B. Hastings, Nathan Wiebe, Bryan K. Clark, Chetan Nayak, and Matthias Troyer, ``Solving strongly correlated electron models on a quantum computer,'' Phys. Rev. A 92, 062318 (2015).
https:/​/​doi.org/​10.1103/​PhysRevA.92.062318

[4] Daniel S. Abrams and Seth Lloyd, ``Simulation of many-body fermi systems on a universal quantum computer,'' Phys. Rev. Lett. 79, 2586–2589 (1997).
https:/​/​doi.org/​10.1103/​PhysRevLett.79.2586

[5] G. Ortiz, J. E. Gubernatis, E. Knill, and R. Laflamme, ``Quantum algorithms for fermionic simulations,'' Phys. Rev. A 64, 022319 (2001).
https:/​/​doi.org/​10.1103/​PhysRevA.64.022319

[6] Sergey B. Bravyi and Alexei Yu. Kitaev, ``Fermionic quantum computation,'' Annals of Physics 298, 210–226 (2002).
https:/​/​doi.org/​10.1006/​aphy.2002.6254

[7] Jacob Biamonte James D. Whitfield and Alán Aspuru-Guzik, ``Simulation of electronic structure hamiltonians using quantum computers,'' Molecular Physics 109, 735–750 (2011), https:/​/​doi.org/​10.1080/​00268976.2011.552441.
https:/​/​doi.org/​10.1080/​00268976.2011.552441
arXiv:https://doi.org/10.1080/00268976.2011.552441

[8] R. C. Ball, ``Fermions without fermion fields,'' Phys. Rev. Lett. 95, 176407 (2005).
https:/​/​doi.org/​10.1103/​PhysRevLett.95.176407

[9] F Verstraete and J I Cirac, ``Mapping local hamiltonians of fermions to local hamiltonians of spins,'' Journal of Statistical Mechanics: Theory and Experiment 2005, P09012 (2005).
https:/​/​doi.org/​10.1088/​1742-5468/​2005/​09/​P09012

[10] James D. Whitfield, Vojtěch Havlíček, and Matthias Troyer, ``Local spin operators for fermion simulations,'' Phys. Rev. A 94, 030301 (2016).
https:/​/​doi.org/​10.1103/​PhysRevA.94.030301

[11] D. González-Cuadra, D. Bluvstein, M. Kalinowski, R. Kaubruegger, N. Maskara, P. Naldesi, T. V. Zache, A. M. Kaufman, M. D. Lukin, H. Pichler, B. Vermersch, Jun Ye, and P. Zoller, ``Fermionic quantum processing with programmable neutral atom arrays,'' Proceedings of the National Academy of Sciences 120 (2023), 10.1073/​pnas.2304294120.
https:/​/​doi.org/​10.1073/​pnas.2304294120

[12] Michael A. Nielsen and Isaac L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition (Cambridge University Press, Cambridge; New York, NY, 2010).
https:/​/​doi.org/​10.1017/​CBO9780511976667

[13] E. Knill, ``Fermionic linear optics and matchgates,'' (2001), arXiv:quant-ph/​0108033 [quant-ph].
https:/​/​doi.org/​10.48550/​arXiv.quant-ph/​0108033
arXiv:quant-ph/0108033

[14] Barbara M. Terhal and David P. DiVincenzo, ``Classical simulation of noninteracting-fermion quantum circuits,'' Phys. Rev. A 65, 032325 (2002).
https:/​/​doi.org/​10.1103/​PhysRevA.65.032325

[15] Sergey Bravyi, ``Lagrangian representation for fermionic linear optics,'' arXiv e-prints , quant-ph/​0404180 (2004), arXiv:quant-ph/​0404180 [quant-ph].
https:/​/​doi.org/​10.48550/​arXiv.quant-ph/​0404180
arXiv:quant-ph/0404180

[16] We remark in passing, that the Bardeen-Cooper-Schrieffer wavefunction, which clearly is a superposition of many Slater determinants of distinct particle number, can be transformed to a single Slater determinant by the combination of a partial particle-hole transformation and the unitary Bogoliubov rotation.

[17] Michael M. Wolf, ``Violation of the entropic area law for fermions,'' Phys. Rev. Lett. 96, 010404 (2006).
https:/​/​doi.org/​10.1103/​PhysRevLett.96.010404

[18] Dimitri Gioev and Israel Klich, ``Entanglement entropy of fermions in any dimension and the widom conjecture,'' Phys. Rev. Lett. 96, 100503 (2006).
https:/​/​doi.org/​10.1103/​PhysRevLett.96.100503

[19] T. Barthel, M.-C. Chung, and U. Schollwöck, ``Entanglement scaling in critical two-dimensional fermionic and bosonic systems,'' Phys. Rev. A 74, 022329 (2006).
https:/​/​doi.org/​10.1103/​PhysRevA.74.022329

[20] Weifei Li, Letian Ding, Rong Yu, Tommaso Roscilde, and Stephan Haas, ``Scaling behavior of entanglement in two- and three-dimensional free-fermion systems,'' Phys. Rev. B 74, 073103 (2006).
https:/​/​doi.org/​10.1103/​PhysRevB.74.073103

[21] Brian Swingle, ``Entanglement Entropy and the Fermi Surface,'' Phys. Rev. Lett. 105, 050502 (2010).
https:/​/​doi.org/​10.1103/​PhysRevLett.105.050502

[22] Gabriele F. Giuliani and Giovanni Vignale, Quantum Theory of the Electron Liquid (Cambridge University Press, Cambridge; New York, NY, 2005).
https:/​/​doi.org/​10.1017/​CBO9780511619915

[23] E. Wigner, ``On the interaction of electrons in metals,'' Phys. Rev. 46, 1002–1011 (1934).
https:/​/​doi.org/​10.1103/​PhysRev.46.1002

[24] Attila Szabo and Neil S. Ostlund, Modern Quantum Chemistry: Introduction to Advanced Electronic Structure Theory (Dover Publications, Mineola, NY, 1996).
https:/​/​store.doverpublications.com/​0486691861.html

[25] Frank Jensen,.
https:/​/​www.wiley.com/​en-us/​Introduction+to+Computational+Chemistry

[26] Lucile Savary and Leon Balents, ``Quantum spin liquids: a review,'' Reports on Progress in Physics 80, 016502 (2016).
https:/​/​doi.org/​10.1088/​0034-4885/​80/​1/​016502

[27] Philip W. Phillips, Nigel E. Hussey, and Peter Abbamonte, ``Stranger than metals,'' Science 377 (2022), 10.1126/​science.abh4273.
https:/​/​doi.org/​10.1126/​science.abh4273

[28] Heonjoon Park, Jiaqi Cai, Eric Anderson, Yinong Zhang, Jiayi Zhu, Xiaoyu Liu, Chong Wang, William Holtzmann, Chaowei Hu, Zhaoyu Liu, Takashi Taniguchi, Kenji Watanabe, Jiun-Haw Chu, Ting Cao, Liang Fu, Wang Yao, Cui-Zu Chang, David Cobden, Di Xiao, and Xiaodong Xu, ``Observation of fractionally quantized anomalous hall effect,'' Nature 622, 74–79 (2023).
https:/​/​doi.org/​10.1038/​s41586-023-06536-0

[29] R. B. Laughlin, ``Anomalous quantum hall effect: An incompressible quantum fluid with fractionally charged excitations,'' Phys. Rev. Lett. 50, 1395–1398 (1983).
https:/​/​doi.org/​10.1103/​PhysRevLett.50.1395

[30] Bei Zeng, Hui Zhai, and Zhan Xu, ``Entanglement properties of some fractional quantum hall liquids,'' Phys. Rev. A 66, 042324 (2002).
https:/​/​doi.org/​10.1103/​PhysRevA.66.042324

[31] Masudul Haque, Oleksandr Zozulya, and Kareljan Schoutens, ``Entanglement entropy in fermionic laughlin states,'' Phys. Rev. Lett. 98, 060401 (2007).
https:/​/​doi.org/​10.1103/​PhysRevLett.98.060401

[32] J. Dubail, N. Read, and E. H. Rezayi, ``Real-space entanglement spectrum of quantum hall systems,'' Phys. Rev. B 85, 115321 (2012).
https:/​/​doi.org/​10.1103/​PhysRevB.85.115321

[33] Matthew B. Hastings and Ryan O'Donnell, ``Optimizing strongly interacting fermionic hamiltonians,'' in Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2022 (Association for Computing Machinery, New York, NY, USA, 2022) p. 776–789.
https:/​/​doi.org/​10.1145/​3519935.3519960

[34] N. Gigena, M. Di Tullio, and R. Rossignoli, ``Many-body entanglement in fermion systems,'' Phys. Rev. A 103, 052424 (2021).
https:/​/​doi.org/​10.1103/​PhysRevA.103.052424

[35] Jerzy Cioslowski, ed., Many‐Electron Densities and Reduced Density Matrices, Mathematical and Computational Chemistry (Springer New York, New York, NY, 2000).
https:/​/​doi.org/​10.1007/​978-1-4615-4211-7

[36] B. C. Carlson and Joseph M. Keller, ``Eigenvalues of density matrices,'' Phys. Rev. 121, 659–661 (1961).
https:/​/​doi.org/​10.1103/​PhysRev.121.659

[37] A. J. Coleman, ``Structure of fermion density matrices,'' Rev. Mod. Phys. 35, 668–686 (1963).
https:/​/​doi.org/​10.1103/​RevModPhys.35.668

[38] Tsuyoshi Ando, ``Properties of fermion density matrices,'' Rev. Mod. Phys. 35, 690–702 (1963).
https:/​/​doi.org/​10.1103/​RevModPhys.35.690

[39] Fukashi Sasaki, ``Eigenvalues of fermion density matrices,'' Phys. Rev. 138, B1338–B1342 (1965).
https:/​/​doi.org/​10.1103/​PhysRev.138.B1338

[40] A. A. Abrikosov, L. P. Gorkov, and I. E. Dzyaloshinski, Methods of Quantum Field Theory in Statistical Physics (Prentice-Hall, Englewood Cliffs, NJ, 1963) reprinted by Courier Corporation, 2012.

[41] Tuomas I. Vanhala and Teemu Ojanen, ``Complexity of fermionic states,'' Phys. Rev. Res. 6, 023178 (2024).
https:/​/​doi.org/​10.1103/​PhysRevResearch.6.023178

[42] O. S. Zozulya, Masudul Haque, and K. Schoutens, ``Particle partitioning entanglement in itinerant many-particle systems,'' Phys. Rev. A 78, 042326 (2008).
https:/​/​doi.org/​10.1103/​PhysRevA.78.042326

[43] Kodi Husimi, ``Some formal properties of the density matrix,'' Nippon Sugaku-Buturigakkwai Kizi Dai 3 Ki 22, 264–314 (1940).
https:/​/​doi.org/​10.11429/​ppmsj1919.22.4_264

[44] Per-Olov Löwdin, ``Quantum theory of many-particle systems. i. physical interpretations by means of density matrices, natural spin-orbitals, and convergence problems in the method of configurational interaction,'' Phys. Rev. 97, 1474–1489 (1955).
https:/​/​doi.org/​10.1103/​PhysRev.97.1474

[45] Joseph E. Mayer, ``Electron correlation,'' Phys. Rev. 100, 1579–1586 (1955).
https:/​/​doi.org/​10.1103/​PhysRev.100.1579

[46] R. H. Tredgold, ``Density matrix and the many-body problem,'' Phys. Rev. 105, 1421–1423 (1957).
https:/​/​doi.org/​10.1103/​PhysRev.105.1421

[47] C. A. Coulson, ``Present state of molecular structure calculations,'' Rev. Mod. Phys. 32, 170–177 (1960).
https:/​/​doi.org/​10.1103/​RevModPhys.32.170

[48] Yi-Kai Liu, Matthias Christandl, and F. Verstraete, ``Quantum computational complexity of the $n$-representability problem: Qma complete,'' Phys. Rev. Lett. 98, 110503 (2007).
https:/​/​doi.org/​10.1103/​PhysRevLett.98.110503

[49] Norbert Schuch and Frank Verstraete, ``Computational complexity of interacting electrons and fundamental limitations of density functional theory,'' Nature Physics 5, 732–735 (2009).
https:/​/​doi.org/​10.1038/​nphys1370

[50] Qiang Gao, Ryan A. Lanzetta, Patrick Ledwith, Jie Wang, and Eslam Khalaf, ``Bootstrapping the quantum hall problem,'' (2024), arXiv:2409.10619 [cond-mat.str-el].
https:/​/​doi.org/​10.48550/​arXiv.2409.10619
arXiv:2409.10619

[51] Masudul Haque, OS Zozulya, and Kareljan Schoutens, ``Entanglement between particle partitions in itinerant many-particle states,'' Journal of Physics A: Mathematical and Theoretical 42, 504012 (2009).
https:/​/​doi.org/​10.1088/​1751-8113/​42/​50/​504012

[52] Daniel M. Greenberger, Michael A. Horne, and Anton Zeilinger, ``Going beyond bell's theorem,'' (2007), arXiv:0712.0921 [quant-ph].
https:/​/​doi.org/​10.48550/​arXiv.0712.0921
arXiv:0712.0921

[53] Physically, $|\Psi _ \text {GHZ}\rangle $ may arise, for instance, in a model of spinless fermions described by 1D $t-V$ model ZozulyaSchoutens2008, where strong interaction gives rise to a ground state that is in equal superposition of two charge density wave states. Naturally, such a state would decohere fast since a local measurement can distinguish the two components.

[54] Some known Steiner systems provide examples of maximally entangled fermionic states with large $D,N$, such as the $2$-design with $D=1641, N=41, \lambda =1$ provided in Ref. ColbournDinitz2006, along with many other examples of $2$-designs. An example of a $3$-design Steiner system with $D=22, N=6, \lambda =1$ can be found in Ref. Tonchev1986, which is one of the derived designs from Witt system.

[55] Brendan D. McKay and Adolfo Piperno, ``Practical graph isomorphism, ii,'' Journal of Symbolic Computation 60, 94–112 (2014).
https:/​/​doi.org/​10.1016/​j.jsc.2013.09.003

[56] Marc Potters and Jean-Philippe Bouchaud, A First Course in Random Matrix Theory: for Physicists, Engineers and Data Scientists (Cambridge University Press, Cambridge; New York, NY, 2020).
https:/​/​doi.org/​10.1017/​9781108768900

[57] Marius Lemm, ``On the entropy of fermionic reduced density matrices,'' (2017), arXiv:1702.02360 [quant-ph].
https:/​/​doi.org/​10.48550/​arXiv.1702.02360
arXiv:1702.02360

[58] Elliott H. Lieb and Mary Beth Ruskai, ``Proof of the strong subadditivity of quantum‐mechanical entropy,'' Journal of Mathematical Physics 14, 1938–1941 (1973), https:/​/​pubs.aip.org/​aip/​jmp/​article-pdf/​14/​12/​1938/​19223777/​1938_1_online.pdf.
https:/​/​doi.org/​10.1063/​1.1666274
arXiv:https://pubs.aip.org/aip/jmp/article-pdf/14/12/1938/19223777/1938\_1\_online.pdf

[59] Giancarlo Camilo, Gabriel T. Landi, and Sebas Eliëns, ``Strong subadditivity of the rényi entropies for bosonic and fermionic gaussian states,'' Phys. Rev. B 99, 045155 (2019).
https:/​/​doi.org/​10.1103/​PhysRevB.99.045155

[60] The Sage Developers, ``SageMath, the Sage Mathematics Software System (Version 10.4),'' (2024), sageMath is available from urlhttps:/​/​www.sagemath.org.
https:/​/​doi.org/​10.5281/​zenodo.593563
https:/​/​www.sagemath.org

[61] Giacomo Livan, Marcel Novaes, and Pierpaolo Vivo, Introduction to Random Matrices (Springer International Publishing, 2018).
https:/​/​doi.org/​10.1007/​978-3-319-70885-0

[62] G. Livan and P. Vivo, Acta Physica Polonica B 42, 1081 (2011).
https:/​/​doi.org/​10.5506/​aphyspolb.42.1081

[63] ``t-designs and t-wise balanced designs,'' in Combinatorial Designs: Constructions and Analysis (Springer New York, New York, NY, 2004) pp. 201–223.
https:/​/​doi.org/​10.1007/​0-387-21737-1_9

[64] Charles J. Colbourn and Jeffrey H. Dinitz, Handbook of Combinatorial Designs, Second Edition (Discrete Mathematics and Its Applications) (Chapman & Hall/​CRC, 2006).

[65] Vladimir D. Tonchev, ``A characterization of designs related to the witt system s(5, 8, 24),'' Mathematische Zeitschrift 191, 225–230 (1986).
https:/​/​doi.org/​10.1007/​BF01164026

Cited by

[1] Dhruv Tiwari, Steffen Bollmann, Sebastian Paeckel, and Elio J. König, "Quantum restoration of symmetry protected topological phases", Communications Physics 8 1, 421 (2025).

[2] Grzegorz Rajchel-Mieldzioć, Rafał Bistroń, Albert Rico, Arul Lakshminarayan, and Karol Życzkowski, "Absolutely maximally entangled pure states of multipartite quantum systems", Reports on Progress in Physics 89 5, 057601 (2026).

[3] Faluke Aikebaier, Teemu Ojanen, and Jose L. Lado, "Transfer learning of many-body electronic correlation entropy from local measurements", Physical Review Applied 24 5, 054014 (2025).

The above citations are from Crossref's cited-by service (last updated successfully 2026-08-13 15:57:26) and SAO/NASA ADS (last updated successfully 2026-08-13 15:57:26). The list may be incomplete as not all publishers provide suitable and complete citation data.