Computable Rényi mutual information: Area laws and correlations

Samuel O. Scalet, Álvaro M. Alhambra, Georgios Styliaris, and J. Ignacio Cirac

Max-Planck-Institut für Quantenoptik, Hans-Kopfermann-Straße 1, D-85748 Garching, Germany
Munich Center for Quantum Science and Technology (MCQST), Schellingstr. 4, D-80799 München, Germany

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


The mutual information is a measure of classical and quantum correlations of great interest in quantum information. It is also relevant in quantum many-body physics, by virtue of satisfying an area law for thermal states and bounding all correlation functions. However, calculating it exactly or approximately is often challenging in practice. Here, we consider alternative definitions based on Rényi divergences. Their main advantage over their von Neumann counterpart is that they can be expressed as a variational problem whose cost function can be efficiently evaluated for families of states like matrix product operators while preserving all desirable properties of a measure of correlations. In particular, we show that they obey a thermal area law in great generality, and that they upper bound all correlation functions. We also investigate their behavior on certain tensor network states and on classical thermal distributions.

Quantum systems of many particles are notoriously difficult to handle due to the large number of parameters needed for their description. This complexity is often related to the structure of their correlations. Due to this, there is a pressing need for efficient and physically meaningful methods of quantifying these correlations. This is often done with different versions of the so-called mutual information. However, these previously considered versions are either impossible to calculate efficiently, or exhibit various pathological features.

In this work, we propose an alternative definition, a so-called Rényi mutual information, which does not have either of these problems. First, it can be computed in practice using standard numerical techniques from many-body physics. Second, it satisfies all the desirable properties of a measure of correlations that previous ones did not, such as upper bounding all correlation functions. In addition, we show its significance for the ubiquitous thermal states by proving an area law: the quantity evaluated for two regions in a thermal state only grows with the size of their boundary.

With these results, we provide a new tool for the study of correlations of strongly coupled many-body systems. This is a subject of crucial importance, since many such models are becoming increasingly relevant due to the possibility of simulating them in leading quantum platforms.

► BibTeX data

► References

[1] J. Eisert, arXiv:1308.3318 [quant-ph].

[2] I. Cirac, D. Perez-Garcia, N. Schuch, and F. Verstraete, arXiv:2011.12127 [quant-ph].

[3] F. Verstraete and J. I. Cirac, Phys. Rev. B 73, 094423 (2006).

[4] M. B. Hastings, J. Stat. Mech. 2007, P08024 (2007).

[5] M. B. Hastings, Phys. Rev. B 73, 085115 (2006).

[6] A. Molnar, N. Schuch, F. Verstraete, and J. I. Cirac, Phys. Rev. B 91, 045138 (2015).

[7] T. Kuwahara, A. M. Alhambra, and A. Anshu, Phys. Rev. X 11, 011047 (2021).

[8] G. Vidal, Phys. Rev. Lett. 91, 147902 (2003).

[9] B. Groisman, S. Popescu, and A. Winter, Phys. Rev. A 72, 032317 (2005).

[10] M. M. Wolf, F. Verstraete, M. B. Hastings, and J. I. Cirac, Phys. Rev. Lett. 100, 070502 (2008).

[11] F. Alcaraz and M. Rajabpour, Phys. Rev. B 90, 075132 (2014).

[12] J.-M. Stéphan, Phys. Rev. B 90, 045424 (2014).

[13] R. R. P. Singh, M. B. Hastings, A. B. Kallin, and R. G. Melko, Phys. Rev. Lett. 106, 135701 (2011).

[14] M. C. Bañuls, N. Y. Yao, S. Choi, M. D. Lukin, and J. I. Cirac, Phys. Rev. B 96, 174201 (2017).

[15] M. Kormos and Z. Zimborás, J. Phys. A: Math. Theor. 50, 264005 (2017).

[16] M. Tomamichel, Quantum Information Processing with Finite Resources (Springer International Publishing, 2016).

[17] S. Khatri and M. M. Wilde, arXiv:2011.04672 [quant-ph].

[18] M. Berta, M. Christandl, and R. Renner, Commun. Math. Phys. 306, 579 (2011).

[19] A. Anshu, V. K. Devabathini, and R. Jain, Phys. Rev. Lett. 119, 120506 (2017).

[20] M. M. Wilde, A. Winter, and D. Yang, Commun. Math. Phys. 331, 593 (2014).

[21] M. Mosonyi, IEEE Trans. Inf. Theory 61, 2997–3012 (2015).

[22] F. Leditzky, M. M. Wilde, and N. Datta, J. Math. Phys. 57, 082202 (2016).

[23] M. Mosonyi and T. Ogawa, Commun. Math. Phys. 355, 373–426 (2017).

[24] D. Ding and M. M. Wilde, Probl. Inf. Transm. 54, 1–19 (2018).

[25] K. Fang and H. Fawzi, arXiv:1909.05758 [quant-ph].

[26] M. Mosonyi and T. Ogawa, Commun. Math. Phys. 334, 1617–1648 (2014).

[27] M. Hayashi and M. Tomamichel, J. Math. Phys. 57, 102201 (2016).

[28] D. Petz, Rep. Math. Phys. 23, 57 (1986).

[29] M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr, and M. Tomamichel, J. Math. Phys. 54, 122203 (2013).

[30] K. Matsumoto, in Reality and Measurement in Algebraic Quantum Theory, edited by M. Ozawa, J. Butterfield, H. Halvorson, M. Rédei, Y. Kitajima, and F. Buscemi (Springer Singapore, Singapore, 2018) pp. 229–273.

[31] N. Datta, IEEE Trans. Inf. Theory 55, 2816–2826 (2009).

[32] K. M. R. Audenaert and N. Datta, Journal of Mathematical Physics 56, 022202 (2015).

[33] H. Fawzi and O. Fawzi, Quantum 5, 387 (2021).

[34] P. Calabrese and J. Cardy, J. Stat. Mech. 2004, P06002 (2004).

[35] P. Calabrese and J. Cardy, J. Phys. A: Math. 42, 504005 (2009).

[36] C. T. Asplund and A. Bernamonti, Phys. Rev. D 89, 066015 (2014).

[37] C. A. Agón and T. Faulkner, J. High Energy Phys. 2016 (8), 1.

[38] B. Chen, P.-X. Hao, and W. Song, J. High Energy Phys. 2019 (10).

[39] N. Lashkari, Phys. Rev. Lett. 113, 051602 (2014).

[40] J. Zhang, P. Ruggiero, and P. Calabrese, Phys. Rev. Lett. 122, 141602 (2019).

[41] H. Bernigau, M. J. Kastoryano, and J. Eisert, J. Stat. Mech. 2015, P02008 (2015).

[42] B. Pirvu, V. Murg, J. I. Cirac, and F. Verstraete, New J. Phys. 12, 025012 (2010).

[43] J. I. Cirac and G. Sierra, Phys. Rev. B 81, 104431 (2010).

[44] M. B. Hastings, I. González, A. B. Kallin, and R. G. Melko, Phys. Rev. Lett. 104, 157201 (2010).

[45] S. Humeniuk and T. Roscilde, Phys. Rev. B 86, 235116 (2012).

[46] T. Grover, Phys. Rev. Lett. 111, 130402 (2013).

[47] R. Renner, Int. J. Quantum Inf. 06, 1 (2008).

[48] S. R. White, Phys. Rev. Lett. 69, 2863 (1992).

[49] M. Kliesch, D. Gross, and J. Eisert, Phys. Rev. Lett. 113, 160503 (2014).

[50] U. Schollwöck, Rev. Mod. Phys. 77, 259 (2005).

[51] U. Schollwöck, Annals of Physics 326, 96 (2011), january 2011 Special Issue.

[52] Z. Landau, U. Vazirani, and T. Vidick, Nature Physics 11, 566 (2015).

[53] M. Block, J. Motruk, S. Gazit, M. P. Zaletel, Z. Landau, U. Vazirani, and N. Y. Yao, Phys. Rev. B 103, 195122 (2021).

[54] D. Aharonov, D. Gottesman, S. Irani, and J. Kempe, Communications in Mathematical Physics 287, 41 (2009).

[55] A. Rényi, in Proceedings of the Fourth Berkeley Symposium on Mathematical Statistics and Probability, Volume 1: Contributions to the Theory of Statistics (University of California Press, Berkeley, Calif., 1961) pp. 547–561.

[56] M. Berta, O. Fawzi, and M. Tomamichel, Lett. Math. Phys. 107, 2239 (2017).

[57] D. Pérez-García and A. Pérez-Hernández, arXiv:2004.10516 [math-ph].

[58] H. Araki, Commun. Math. Phys. 14, 120 (1969).

[59] O. Bratteli and D. W. Robinson, Operator Algebras and Quantum Statistical Mechanics: Volume 1: C*-and W*-Algebras. Symmetry Groups. Decomposition of States (Springer Verlag Berlin Heidelberg, 1979).

[60] D. A. Abanin, W. De Roeck, and F. m. c. Huveneers, Phys. Rev. Lett. 115, 256803 (2015).

[61] I. Arad, T. Kuwahara, and Z. Landau, J. Stat. Mech. 2016, 033301 (2016).

[62] T. Kuwahara, T. Mori, and K. Saito, Ann. Phys. 367, 96–124 (2016).

[63] G. Bouch, J. Math. Phys. 56, 123303 (2015).

[64] A. Avdoshkin and A. Dymarsky, Phys. Rev. Research 2, 043234 (2020).

[65] F. Verstraete and J. I. Cirac, arXiv:cond-mat/​0407066.

[66] G. De las Cuevas, N. Schuch, D. Pérez-García, and J. I. Cirac, New J. Phys. 15, 123021 (2013).

[67] G. De las Cuevas, T. S. Cubitt, J. I. Cirac, M. M. Wolf, and D. Pérez-García, J. Math. Phys. 57, 071902 (2016).

[68] F. Hiai, M. Ohya, and M. Tsukada, Pacific J. Math. 96, 99 (1981).

[69] G. L. Gilardoni, IEEE Trans. Inf. Theory 56, 5377 (2010).

[70] J. Guth Jarkovský, A. Molnár, N. Schuch, and J. I. Cirac, PRX Quantum 1, 010304 (2020).

[71] V. P. Belavkin and P. Staszewski, Ann. Inst. Henri Poincare A 37, 51 (1982).

[72] S. Friedli and Y. Velenik, Statistical Mechanics of Lattice Systems (Cambridge University Press, 2017).

[73] O. Perron, Math. Ann. 64, 248 (1907).

[74] M. Lenci and L. Rey-Bellet, J. Stat. Phys. 119, 715–746 (2005).

[75] D. Ruelle, Statistical mechanics: Rigorous results (Benjamin, 1969).

Cited by

[1] Jonah Kudler-Flam, "Rényi Mutual Information in Quantum Field Theory", Physical Review Letters 130 2, 021603 (2023).

[2] Gilles Parez, Riccarda Bonsignori, and Pasquale Calabrese, "Exact quench dynamics of symmetry resolved entanglement in a free fermion chain", Journal of Statistical Mechanics: Theory and Experiment 2021 9, 093102 (2021).

[3] Andreas Bluhm, Ángela Capel, and Antonio Pérez-Hernández, "Exponential decay of mutual information for Gibbs states of local Hamiltonians", Quantum 6, 650 (2022).

[4] Max McGinley, Sebastian Leontica, Samuel J. Garratt, Jovan Jovanovic, and Steven H. Simon, "Quantifying information scrambling via classical shadow tomography on programmable quantum simulators", Physical Review A 106 1, 012441 (2022).

[5] Sara Murciano, Vincenzo Alba, and Pasquale Calabrese, Quantum Science and Technology 397 (2022) ISBN:978-3-031-03997-3.

[6] Daniel Haag, Flavio Baccari, and Georgios Styliaris, "Typical Correlation Length of Sequentially Generated Tensor Network States", arXiv:2301.04624, (2023).

The above citations are from Crossref's cited-by service (last updated successfully 2023-06-09 08:20:27) and SAO/NASA ADS (last updated successfully 2023-06-09 08:20:27). The list may be incomplete as not all publishers provide suitable and complete citation data.