Abstract
We further advance the study of the notion of computational complexity for 2d CFTs based on a gate set built out of conformal symmetry transformations. Previously, it was shown that by choosing a suitable cost function, the resulting complexity functional is equivalent to geometric (group) actions on coadjoint orbits of the Virasoro group, up to a term that originates from the central extension. We show that this term can be recovered by modifying the cost function, making the equivalence exact. Moreover, we generalize our approach to Kac-Moody symmetry groups, finding again an exact equivalence between complexity functionals and geometric actions. We then determine the optimal circuits for these complexity measures and calculate the corresponding costs for several examples of optimal transformations. In the Virasoro case, we find that for all choices of reference state except for the vacuum state, the complexity only measures the cost associated to phase changes, while assigning zero cost to the non-phase changing part of the transformation. For Kac-Moody groups in contrast, there do exist non-trivial optimal transformations beyond phase changes that contribute to the complexity, yielding a finite gauge invariant result. Moreover, we also show that our Virasoro complexity proposal is equivalent to the on-shell value of the Liouville action, which is a complexity functional proposed in the context of path integral optimization. This equivalence provides an interpretation for the path integral optimization proposal in terms of a gate set and reference state. Finally, we further develop a new proposal for a complexity definition for the Virasoro group that measures the cost associated to non-trivial transformations beyond phase changes. This proposal is based on a cost function given by a metric on the Lie group of conformal transformations. The minimization of the corresponding complexity functional is achieved using the Euler-Arnold method yielding the Korteweg-de Vries equation as equation of motion.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
J.M. Maldacena, The Large N limit of superconformal field theories and supergravity, Int. J. Theor. Phys. 38 (1999) 1113 [hep-th/9711200] [INSPIRE].
L. Susskind, Computational Complexity and Black Hole Horizons, Fortsch. Phys. 64 (2016) 24 [Addendum ibid. 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].
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].
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].
J. Jiang and X. Liu, Circuit Complexity for Fermionic Thermofield Double states, Phys. Rev. D 99 (2019) 026011 [arXiv:1812.00193] [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].
S. Chapman et al., Complexity and entanglement for thermofield double states, SciPost Phys. 6 (2019) 034 [arXiv:1810.05151] [INSPIRE].
D. Ge and G. Policastro, Circuit Complexity and 2D Bosonisation, JHEP 10 (2019) 276 [arXiv:1904.03003] [INSPIRE].
M. Guo, Z.-Y. Fan, J. Jiang, X. Liu and B. Chen, Circuit complexity for generalized coherent states in thermal field dynamics, Phys. Rev. D 101 (2020) 126007 [arXiv:2004.00344] [INSPIRE].
M.A. Nielsen, A geometric approach to quantum circuit lower bounds, Quant. Inf. Comput. 6 (2006) 213 [quant-ph/0502070].
M.A. Nielsen, M.R. Dowling, M. Gu and A.C. Doherty, Quantum Computation as Geometry, Science 311 (2006) 1133 [quant-ph/0603161].
M.R. Dowling and M.A. Nielsen, The geometry of quantum computation, quant-ph/0701004.
J.M. Magán, Black holes, complexity and quantum chaos, JHEP 09 (2018) 043 [arXiv:1805.05839] [INSPIRE].
P. Caputa and J.M. Magan, Quantum Computation as Gravity, Phys. Rev. Lett. 122 (2019) 231302 [arXiv:1807.04422] [INSPIRE].
A.M. Polyakov, Quantum Gravity in Two-Dimensions, Mod. Phys. Lett. A 2 (1987) 893 [INSPIRE].
A. Kirillov, Lectures on the Orbit Method, Graduate studies in mathematics, vol. 64, American Mathematical Society (2004).
E. Witten, Coadjoint Orbits of the Virasoro Group, Commun. Math. Phys. 114 (1988) 1 [INSPIRE].
A. Alekseev and S.L. Shatashvili, Path Integral Quantization of the Coadjoint Orbits of the Virasoro Group and 2D Gravity, Nucl. Phys. B 323 (1989) 719 [INSPIRE].
A. Alekseev and S.L. Shatashvili, Coadjoint Orbits, Cocycles and Gravitational Wess-Zumino, Rev. Math. Phys. 30 (2018) 1840001 [arXiv:1801.07963] [INSPIRE].
A. Alekseev and S.L. Shatashvili, From geometric quantization to conformal field theory, Commun. Math. Phys. 128 (1990) 197 [INSPIRE].
G. Barnich, H.A. Gonzalez and P. Salgado-ReboLledó, Geometric actions for three-dimensional gravity, Class. Quant. Grav. 35 (2018) 014003 [arXiv:1707.08887] [INSPIRE].
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, Liouvil le Action as Path-Integral Complexity: From Continuous Tensor Networks to AdS/CFT, JHEP 11 (2017) 097 [arXiv:1706.07056] [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].
T. Takayanagi, Holographic Spacetimes as Quantum Circuits of Path-Integrations, JHEP 12 (2018) 048 [arXiv:1808.09072] [INSPIRE].
P. Bueno, J.M. Magan and C.S. Shahbazi, Complexity measures in QFT and constrained geometric actions, arXiv:1908.03577 [INSPIRE].
I. Akal, Reflections on Virasoro circuit complexity and Berry phase, arXiv:1908.08514 [INSPIRE].
M. Ghodrati, Complexity and emergence of warped AdS3 space-time from chiral Liouvil le action, JHEP 02 (2020) 052 [arXiv:1911.03819] [INSPIRE].
B. Oblak, Berry Phases on Virasoro Orbits, JHEP 10 (2017) 114 [arXiv:1703.06142] [INSPIRE].
J. Cotler and K. Jensen, A theory of reparameterizations for AdS3 gravity, JHEP 02 (2019) 079 [arXiv:1808.03263] [INSPIRE].
B. Oblak, BMS Particles in Three Dimensions, Ph.D. Thesis, Brussels University (2016) [DOI] [arXiv:1610.08526] [INSPIRE].
R. Bott, On the characteristic classes of groups of diffeomorphisms, Enseign. Math. 33 (1978) 209.
J. Mickelsson, On the 2 Cocycle of a Kac-Moody Group, Phys. Rev. Lett. 55 (1985) 2099 [INSPIRE].
E. Aldrovandi and L.A. Takhtajan, Generating functional in CFT and effective action for two-dimensional quantum gravity on higher genus Riemann surfaces, Commun. Math. Phys. 188 (1997) 29 [hep-th/9606163] [INSPIRE].
E. Witten, Nonabelian Bosonization in Two-Dimensions, Commun. Math. Phys. 92 (1984) 455 [INSPIRE].
E. Witten, Global Aspects of Current Algebra, Nucl. Phys. B 223 (1983) 422 [INSPIRE].
M. Nakahara, Geometry, topology and physics, Taylor & Francis, Boca Raton, U.S.A. (2003).
A. Dobado, A. Gomez-Nicola, A.L. Maroto and J.R. Pelaez, Effective lagrangians for the standard model, Texts and Monographs in Physics, Springer-Verlag, N.Y. (1997).
T. Fujiwara, K. Matsui, H. Suzuki and M. Yamamoto, Wess-Zumino-Witten term on the lattice, JHEP 09 (2003) 015 [hep-lat/0307031] [INSPIRE].
A. Pressley and G. Segal, Loop Groups, Oxford mathematical monographs, Clarendon Press (1988).
J.M. Maldacena and H. Ooguri, Strings in AdS3 and SL(2, ℝ) WZW model 1.: The Spectrum, J. Math. Phys. 42 (2001) 2929 [hep-th/0001053] [INSPIRE].
T.G. Mertens, The Schwarzian theory — origins, JHEP 05 (2018) 036 [arXiv:1801.09605] [INSPIRE].
M. Bañados, Three-dimensional quantum geometry and black holes, AIP Conf. Proc. 484 (1999) 147 [hep-th/9901148] [INSPIRE].
T. Nakatsu, H. Umetsu and N. Yokoi, Three-dimensional black holes and Liouvil le field theory, Prog. Theor. Phys. 102 (1999) 867 [hep-th/9903259] [INSPIRE].
A. Garbarz and M. Leston, Classification of Boundary Gravitons in AdS3 Gravity, JHEP 05 (2014) 141 [arXiv:1403.3367] [INSPIRE].
G. Barnich and B. Oblak, Holographic positive energy theorems in three-dimensional gravity, Class. Quant. Grav. 31 (2014) 152001 [arXiv:1403.3835] [INSPIRE].
O. Coussaert, M. Henneaux and P. van Driel, The Asymptotic dynamics of three-dimensional Einstein gravity with a negative cosmological constant, Class. Quant. Grav. 12 (1995) 2961 [gr-qc/9506019] [INSPIRE].
J. Navarro-Salas and P. Navarro, Virasoro orbits, AdS3 quantum gravity and entropy, JHEP 05 (1999) 009 [hep-th/9903248] [INSPIRE].
J. 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].
V. Arnold, Mathematical methods of classical mechanics, Graduate texts in mathematics, Springer-Verlag, N.Y. (1989).
V.Y. Ovsienko and B.A. Khesin, Korteweg-de vries superequation as an euler equation, Funct. Anal. Appl. 21 (1987) 329.
G. Misiołek, A shal low water equation as a geodesic flow on the bott-virasoro group, J. Geom. Phys. 24 (1998) 203.
B. Khesin and G. Misiołek, Euler equations on homogeneous spaces and virasoro orbits, Adv. Math. 176 (2003) 116 [math/0210397].
V. Arnold, Sur la géométrie différentiel le des groupes de lie de dimension infinie et ses applications à l’hydrodynamique des fluides parfaits, Annales Inst. Fourier 16 (1966) 319.
D.J. Korteweg and G. de Vries, On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves, Phil. Mag. 39 (1895) 422.
A.R. Osborne, Solitons in the periodic Korteweg-De Vries equation, the ftheta-function representation, and the analysis of nonlinear, stochastic wave trains, Phys. Rev. E 52 (1995) 1105.
J. Maldacena and D. Stanford, Remarks on the Sachdev-Ye-Kitaev model, Phys. Rev. D 94 (2016) 106002 [arXiv:1604.07818] [INSPIRE].
H.W. Lin and L. Susskind, Complexity Geometry and Schwarzian Dynamics, JHEP 01 (2020) 087 [arXiv:1911.02603] [INSPIRE].
A.R. Brown, L. Susskind and Y. Zhao, Quantum Complexity and Negative Curvature, Phys. Rev. D 95 (2017) 045010 [arXiv:1608.02612] [INSPIRE].
M. Flory and M.P. Heller, Complexity and Conformal Field Theory, arXiv:2005.02415 [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].
M. Flory and N. Miekley, Complexity change under conformal transformations in AdS3 /CFT2 , JHEP 05 (2019) 003 [arXiv:1806.08376] [INSPIRE].
M. Flory, WdW-patches in AdS3 and complexity change under conformal transformations II, JHEP 05 (2019) 086 [arXiv:1902.06499] [INSPIRE].
A. Belin, A. Lewkowycz and G. Sárosi, Complexity and the bulk volume, a new York time story, JHEP 03 (2019) 044 [arXiv:1811.03097] [INSPIRE].
G. Compère, P. Mao, A. Seraj and M.M. Sheikh-Jabbari, Symplectic and Kil ling symmetries of AdS3 gravity: holographic vs boundary gravitons, JHEP 01 (2016) 080 [arXiv:1511.06079] [INSPIRE].
M.M. Sheikh-Jabbari and H. Yavartanoo, On 3d bulk geometry of Virasoro coadjoint orbits: orbit invariant charges and Virasoro hair on local ly AdS3 geometries, Eur. Phys. J. C 76 (2016) 493 [arXiv:1603.05272] [INSPIRE].
M.M. Sheikh-Jabbari and H. Yavartanoo, Excitation entanglement entropy in two dimensional conformal field theories, Phys. Rev. D 94 (2016) 126006 [arXiv:1605.00341] [INSPIRE].
D.S. Ageev, On the entanglement and complexity contours of excited states in the holographic CFT, arXiv:1905.06920 [INSPIRE].
G. Mandal, P. Nayak and S.R. Wadia, Coadjoint orbit action of Virasoro group and two-dimensional quantum gravity dual to SYK/tensor models, JHEP 11 (2017) 046 [arXiv:1702.04266] [INSPIRE].
J. Mickelsson, String Quantization on Group Manifolds and the Holomorphic Geometry of Diff S1/S1 , Commun. Math. Phys. 112 (1987) 653 [INSPIRE].
B. Bradlyn and N. Read, Topological central charge from Berry curvature: Gravitational anomalies in trial wave functions for topological phases, Phys. Rev. B 91 (2015) 165306 [arXiv:1502.04126] [INSPIRE].
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
ArXiv ePrint: 2004.03619
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
Erdmenger, J., Gerbershagen, M. & Weigel, AL. Complexity measures from geometric actions onVirasoro and Kac-Moody orbits. J. High Energ. Phys. 2020, 3 (2020). https://doi.org/10.1007/JHEP11(2020)003
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP11(2020)003