Abstract
We study the complexity of Gaussian mixed states in a free scalar field theory using the ‘purification complexity’. The latter is defined as the lowest value of the circuit complexity, optimized over all possible purifications of a given mixed state. We argue that the optimal purifications only contain the essential number of ancillary degrees of freedom necessary in order to purify the mixed state. We also introduce the concept of ‘mode-by- mode purifications’ where each mode in the mixed state is purified separately and examine the extent to which such purifications are optimal. We explore the purification complexity for thermal states of a free scalar QFT in any number of dimensions, and for subregions of the vacuum state in two dimensions. We compare our results to those found using the various holographic proposals for the complexity of subregions. We find a number of qualitative similarities between the two in terms of the structure of divergences and the presence of a volume law. We also examine the ‘mutual complexity’ in the various cases studied in this paper.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
O. Aharony, S.S. Gubser, J.M. Maldacena, H. Ooguri and Y. Oz, Large N field theories, string theory and gravity, Phys. Rept. 323 (2000) 183 [hep-th/9905111] [INSPIRE].
T. Nishioka, S. Ryu and T. Takayanagi, Holographic Entanglement Entropy: An Overview, J. Phys. A 42 (2009) 504008 [arXiv:0905.0932] [INSPIRE].
A. Almheiri, X. Dong and D. Harlow, Bulk Locality and Quantum Error Correction in AdS/CFT, JHEP 04 (2015) 163 [arXiv:1411.7041] [INSPIRE].
B. Swingle, Entanglement Renormalization and Holography, Phys. Rev. D 86 (2012) 065007 [arXiv:0905.1317] [INSPIRE].
D. Harlow, TASI Lectures on the Emergence of Bulk Physics in AdS/CFT, PoS(TASI2017)002 [arXiv:1802.01040] [INSPIRE].
J. Watrous, Quantum computational complexity, in Encyclopedia of complexity and systems science, Springer (2009), p. 7174, [arXiv:0804.3401].
S. Aaronson, The Complexity of Quantum States and Transformations: From Quantum Money to Black Holes, arXiv:1607.05256 [INSPIRE].
L. Susskind, Computational Complexity and Black Hole Horizons, Fortsch. Phys. 64 (2016) 44 [arXiv:1403.5695] [INSPIRE].
D. Stanford and L. Susskind, Complexity and Shock Wave Geometries, Phys. Rev. D 90 (2014) 126007 [arXiv:1406.2678] [INSPIRE].
L. Susskind, Entanglement is not enough, Fortsch. Phys. 64 (2016) 49 [arXiv:1411.0690] [INSPIRE].
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle and Y. Zhao, Complexity, action and black holes, Phys. Rev. D 93 (2016) 086006 [arXiv:1512.04993] [INSPIRE].
A.R. Brown, D.A. Roberts, L. Susskind, B. Swingle and Y. Zhao, Holographic Complexity Equals Bulk Action?, Phys. Rev. Lett. 116 (2016) 191301 [arXiv:1509.07876] [INSPIRE].
J. Couch, W. Fischler and P.H. Nguyen, Noether charge, black hole volume and complexity, JHEP 03 (2017) 119 [arXiv:1610.02038] [INSPIRE].
R. Jefferson and R.C. Myers, Circuit complexity in quantum field theory, JHEP 10 (2017) 107 [arXiv:1707.08570] [INSPIRE].
S. Chapman, M.P. Heller, H. Marrochio and F. Pastawski, Toward a Definition of Complexity for Quantum Field Theory States, Phys. Rev. Lett. 120 (2018) 121602 [arXiv:1707.08582] [INSPIRE].
L. Hackl and R.C. Myers, Circuit complexity for free fermions, JHEP 07 (2018) 139 [arXiv:1803.10638] [INSPIRE].
R. Khan, C. Krishnan and S. Sharma, Circuit Complexity in Fermionic Field Theory, Phys. Rev. D 98 (2018) 126001 [arXiv:1801.07620] [INSPIRE].
A. Bhattacharyya, A. Shekar and A. Sinha, Circuit complexity in interacting QFTs and RG flows, JHEP 10 (2018) 140 [arXiv:1808.03105] [INSPIRE].
C.A. Agón, M. Headrick and B. Swingle, Subsystem Complexity and Holography, JHEP 02 (2019) 145 [arXiv:1804.01561] [INSPIRE].
M. Alishahiha, Holographic Complexity, Phys. Rev. D 92 (2015) 126009 [arXiv:1509.06614] [INSPIRE].
D. Carmi, R.C. Myers and P. Rath, Comments on Holographic Complexity, JHEP 03 (2017) 118 [arXiv:1612.00433] [INSPIRE].
W.F. Stinespring, Positive functions on c*-algebras, Proc. Am. Math. Soc. 6 (1955) 211.
D. Aharonov, A. Kitaev and N. Nisan, Quantum circuits with mixed states, in Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing (STOC), 1997, pp. 20–30, [quant-ph/9806029].
M.A. Nielsen and I.L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, (2000).
A. Bhattacharyya, T. Takayanagi and K. Umemoto, Entanglement of Purification in Free Scalar Field Theories, JHEP 04 (2018) 132 [arXiv:1802.09545] [INSPIRE].
T. Takayanagi and K. Umemoto, Entanglement of purification through holographic duality, Nature Phys. 14 (2018) 573 [arXiv:1708.09393] [INSPIRE].
P. Nguyen, T. Devakul, M.G. Halbasch, M.P. Zaletel and B. Swingle, Entanglement of purification: from spin chains to holography, JHEP 01 (2018) 098 [arXiv:1709.07424] [INSPIRE].
M. Guo, J. Hernandez, R.C. Myers and S.-M. Ruan, Circuit Complexity for Coherent States, JHEP 10 (2018) 011 [arXiv:1807.07677] [INSPIRE].
S. Chapman et al., Complexity and entanglement for thermofield double states, SciPost Phys. 6 (2019) 034 [arXiv:1810.05151] [INSPIRE].
S. Ryu and T. Takayanagi, Holographic derivation of entanglement entropy from AdS/CFT, Phys. Rev. Lett. 96 (2006) 181602 [hep-th/0603001] [INSPIRE].
S. Ryu and T. Takayanagi, Aspects of Holographic Entanglement Entropy, JHEP 08 (2006) 045 [hep-th/0605073] [INSPIRE].
B. Czech, J.L. Karczmarek, F. Nogueira and M. Van Raamsdonk, The Gravity Dual of a Density Matrix, Class. Quant. Grav. 29 (2012) 155009 [arXiv:1204.1330] [INSPIRE].
M. Headrick, V.E. Hubeny, A. Lawrence and M. Rangamani, Causality & holographic entanglement entropy, JHEP 12 (2014) 162 [arXiv:1408.6300] [INSPIRE].
A.C. Wall, Maximin Surfaces and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy, Class. Quant. Grav. 31 (2014) 225007 [arXiv:1211.3494] [INSPIRE].
P. Calabrese and J.L. Cardy, Entanglement entropy and quantum field theory, J. Stat. Mech. 0406 (2004) P06002 [hep-th/0405152] [INSPIRE].
P. Calabrese and J.L. Cardy, Entanglement entropy and quantum field theory: A Non-technical introduction, Int. J. Quant. Inf. 4 (2006) 429 [quant-ph/0505193] [INSPIRE].
H.A. Camargo, P. Caputa, D. Das, M.P. Heller and R. Jefferson, Complexity as a novel probe of quantum quenches: universal scalings and purifications, Phys. Rev. Lett. 122 (2019) 081601 [arXiv:1807.07075] [INSPIRE].
M.A. Nielsen, M.R. Dowling, M. Gu and A.C. Doherty, Quantum computation as geometry, Science 311 (2006) 1133.
M.R. Dowling and M.A. Nielsen, The geometry of quantum computation, Quant. Inf. Comput. 8 (2008) 861.
M.A. Nielsen, A geometric approach to quantum circuit lower bounds, Quant. Inf. Comput. 6 (2006) 213.
A.R. Brown, L. Susskind and Y. Zhao, Quantum Complexity and Negative Curvature, Phys. Rev. D 95 (2017) 045010 [arXiv:1608.02612] [INSPIRE].
A.R. Brown and L. Susskind, Second law of quantum complexity, Phys. Rev. D 97 (2018) 086015 [arXiv:1701.01107] [INSPIRE].
S. Chapman, H. Marrochio and R.C. Myers, Complexity of Formation in Holography, JHEP 01 (2017) 062 [arXiv:1610.08063] [INSPIRE].
A. Mann and M. Revzen, Gaussian density matrices: quantum analogs of classical states, Fortsch. Phys. 41 (1993) 431.
C. Weedbrook et al., Gaussian quantum information, Rev. Mod. Phys. 84 (2012) 621.
A. Ferraro, S. Olivares and M.G. Paris, Gaussian states in continuous variable quantum information, quant-ph/0503237.
A. Serafini, Quantum Continuous Variables: A Primer of Theoretical Methods, CRC Press, (2017).
A. Erdélyi, W. Magnus, F. Oberhettinger and F.G. Tricomi, Higher transcendental functions, Vol. 2, Calif. Inst. Technol. Bateman Manuscr. Project, McGraw-Hill, New York, NY, U.S.A., (1953).
M. Alishahiha, K. Babaei Velni and M.R. Mohammadi Mozaffar, Black hole subregion action and complexity, Phys. Rev. D 99 (2019) 126016 [arXiv:1809.06031] [INSPIRE].
E. Cáceres, J. Couch, S. Eccles and W. Fischler, Holographic Purification Complexity, Phys. Rev. D 99 (2019) 086016 [arXiv:1811.10650] [INSPIRE].
D.L. Jafferis, A. Lewkowycz, J. Maldacena and S.J. Suh, Relative entropy equals bulk relative entropy, JHEP 06 (2016) 004 [arXiv:1512.06431] [INSPIRE].
X. Dong, D. Harlow and A.C. Wall, Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality, Phys. Rev. Lett. 117 (2016) 021601 [arXiv:1601.05416] [INSPIRE].
R. Abt et al., Topological Complexity in AdS3 /CFT2 , Fortsch. Phys. 66 (2018) 1800034 [arXiv:1710.01327] [INSPIRE].
E. Bakhshaei, A. Mollabashi and A. Shirzad, Holographic Subregion Complexity for Singular Surfaces, Eur. Phys. J. C 77 (2017) 665 [arXiv:1703.03469] [INSPIRE].
E. Caceres and M.-L. Xiao, Complexity-action of subregions with corners, JHEP 03 (2019) 062 [arXiv:1809.09356] [INSPIRE].
S. Chapman, D. Ge and G. Policastro, Holographic Complexity for Defects Distinguishes Action from Volume, JHEP 05 (2019) 049 [arXiv:1811.12549] [INSPIRE].
A. Bhattacharya, K.T. Grosvenor and S. Roy, Entanglement Entropy and Subregion Complexity in Thermal Perturbations around Pure-AdS Spacetime, arXiv:1905.02220 [INSPIRE].
V.E. Hubeny, M. Rangamani and T. Takayanagi, A covariant holographic entanglement entropy proposal, JHEP 07 (2007) 062 [arXiv:0705.0016] [INSPIRE].
X. Dong, A. Lewkowycz and M. Rangamani, Deriving covariant holographic entanglement, JHEP 11 (2016) 028 [arXiv:1607.07506] [INSPIRE].
J. Couch, S. Eccles, T. Jacobson and P. Nguyen, Holographic Complexity and Volume, JHEP 11 (2018) 044 [arXiv:1807.02186] [INSPIRE].
G.W. Gibbons and S.W. Hawking, Action Integrals and Partition Functions in Quantum Gravity, Phys. Rev. D 15 (1977) 2752 [INSPIRE].
J.W. York Jr., Role of conformal three geometry in the dynamics of gravitation, Phys. Rev. Lett. 28 (1972) 1082 [INSPIRE].
L. Lehner, R.C. Myers, E. Poisson and R.D. Sorkin, Gravitational action with null boundaries, Phys. Rev. D 94 (2016) 084046 [arXiv:1609.00207] [INSPIRE].
K. Parattu, S. Chakraborty, B.R. Majhi and T. Padmanabhan, A Boundary Term for the Gravitational Action with Null Boundaries, Gen. Rel. Grav. 48 (2016) 94 [arXiv:1501.01053] [INSPIRE].
G. Hayward, Gravitational action for space-times with nonsmooth boundaries, Phys. Rev. D 47 (1993) 3275 [INSPIRE].
D. Brill and G. Hayward, Is the gravitational action additive?, Phys. Rev. D 50 (1994) 4914 [gr-qc/9403018] [INSPIRE].
S. Chapman, H. Marrochio and R.C. Myers, Holographic complexity in Vaidya spacetimes. Part II, JHEP 06 (2018) 114 [arXiv:1805.07262] [INSPIRE].
Z.-Y. Fan and M. Guo, On the Noether charge and the gravity duals of quantum complexity, JHEP 08 (2018) 031 [Erratum ibid. 09 (2019) 121] [arXiv:1805.03796] [INSPIRE].
D. Kastor, S. Ray and J. Traschen, Enthalpy and the Mechanics of AdS Black Holes, Class. Quant. Grav. 26 (2009) 195011 [arXiv:0904.2765] [INSPIRE].
D. Carmi, S. Chapman, H. Marrochio, R.C. Myers and S. Sugishita, On the Time Dependence of Holographic Complexity, JHEP 11 (2017) 188 [arXiv:1709.10184] [INSPIRE].
J.D. Brown and M. Henneaux, Central Charges in the Canonical Realization of Asymptotic Symmetries: An Example from Three-Dimensional Gravity, Commun. Math. Phys. 104 (1986) 207 [INSPIRE].
A. Buchel, J. Escobedo, R.C. Myers, M.F. Paulos, A. Sinha and M. Smolkin, Holographic GB gravity in arbitrary dimensions, JHEP 03 (2010) 111 [arXiv:0911.4257] [INSPIRE].
S. Chapman, J.P. Hernandez, R.C. Myers and S.-M. Ruan, Holographic Complexity and Boundary Counterterms, work in progress.
R. Emparan, C.V. Johnson and R.C. Myers, Surface terms as counterterms in the AdS/CFT correspondence, Phys. Rev. D 60 (1999) 104001 [hep-th/9903238] [INSPIRE].
C. Agón, E. Cáceres and M.L. Xiao, work in progress.
R. Abt, J. Erdmenger, M. Gerbershagen, C.M. Melby-Thompson and C. Northe, Holographic Subregion Complexity from Kinematic Space, JHEP 01 (2019) 012 [arXiv:1805.10298] [INSPIRE].
G. Di Giulio, J. Hernandez, R.C. Myers, S.-M. Ruan and E. Tonni, work in progress.
P. Caputa, N. Kundu, M. Miyaji, T. Takayanagi and K. Watanabe, Anti-de Sitter Space from Optimization of Path Integrals in Conformal Field Theories, Phys. Rev. Lett. 119 (2017) 071602 [arXiv:1703.00456] [INSPIRE].
P. Caputa, N. Kundu, M. Miyaji, T. Takayanagi and K. Watanabe, Liouville Action as Path-Integral Complexity: From Continuous Tensor Networks to AdS/CFT, JHEP 11 (2017) 097 [arXiv:1706.07056] [INSPIRE].
B. Czech, Einstein Equations from Varying Complexity, Phys. Rev. Lett. 120 (2018) 031601 [arXiv:1706.00965] [INSPIRE].
H.A. Camargo, M.P. Heller, R. Jefferson and J. Knaute, Path integral optimization as circuit complexity, Phys. Rev. Lett. 123 (2019) 011601 [arXiv:1904.02713] [INSPIRE].
A. Bhattacharyya, P. Caputa, S.R. Das, N. Kundu, M. Miyaji and T. Takayanagi, Path-Integral Complexity for Perturbed CFTs, JHEP 07 (2018) 086 [arXiv:1804.01999] [INSPIRE].
P. Caputa, M. Miyaji, T. Takayanagi and K. Umemoto, Holographic Entanglement of Purification from Conformal Field Theories, Phys. Rev. Lett. 122 (2019) 111601 [arXiv:1812.05268] [INSPIRE].
M. Headrick, Entanglement Renyi entropies in holographic theories, Phys. Rev. D 82 (2010) 126010 [arXiv:1006.0047] [INSPIRE].
T. Hartman, Entanglement Entropy at Large Central Charge, arXiv:1303.6955 [INSPIRE].
T. Faulkner, The Entanglement Renyi Entropies of Disjoint Intervals in AdS/CFT, arXiv:1303.7221 [INSPIRE].
B.M. Terhal, M. Horodecki, D.W. Leung and D.P. DiVincenzo, The entanglement of purification, J. Math. Phys. 43 (2002) 4286.
H. Araki and E.H. Lieb, Entropy inequalities, Commun. Math. Phys. 18 (1970) 160 [INSPIRE].
Z. Fu, A. Maloney, D. Marolf, H. Maxfield and Z. Wang, Holographic complexity is nonlocal, JHEP 02 (2018) 072 [arXiv:1801.01137] [INSPIRE].
R.D. Sorkin, 1983 paper on entanglement entropy: “On the Entropy of the Vacuum outside a Horizon”, in Proceedings, 10th International Conference on General Relativity and Gravitation: Padua, Italy, July 4–9, 1983, vol. 2, pp. 734–736, arXiv:1402.3589 [INSPIRE].
L. Bombelli, R.K. Koul, J. Lee and R.D. Sorkin, A Quantum Source of Entropy for Black Holes, Phys. Rev. D 34 (1986) 373 [INSPIRE].
M. Srednicki, Entropy and area, Phys. Rev. Lett. 71 (1993) 666 [hep-th/9303048] [INSPIRE].
Arvind, B. Dutta, N. Mukunda and R. Simon, The Real symplectic groups in quantum mechanics and optics, Pramana 45 (1995) 471 [quant-ph/9509002].
S.L. Braunstein, Bosonic linear unitary Bogolyubov transformation reduction theorem, Phys. Rev. A 71 (2005) 055801 [quant-ph/9904002] [INSPIRE].
S. Chapman, H. Marrochio and R.C. Myers, Holographic complexity in Vaidya spacetimes. Part I, JHEP 06 (2018) 046 [arXiv:1804.07410] [INSPIRE].
H. Casini, M. Huerta and R.C. Myers, Towards a derivation of holographic entanglement entropy, JHEP 05 (2011) 036 [arXiv:1102.0440] [INSPIRE].
T. Faulkner, M. Guica, T. Hartman, R.C. Myers and M. Van Raamsdonk, Gravitation from Entanglement in Holographic CFTs, JHEP 03 (2014) 051 [arXiv:1312.7856] [INSPIRE].
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1909.10557
Rights and permissions
Open Access . This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Caceres, E., Chapman, S., Couch, J.D. et al. Complexity of mixed states in QFT and holography. J. High Energ. Phys. 2020, 12 (2020). https://doi.org/10.1007/JHEP03(2020)012
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP03(2020)012