International Symposium Ahrenshoop “Recent Developments in String and Field Theory” Schmöckwitz, August 27-31, 2012 Hirota integrable dynamics: from quantum spin chains to AdS/CFT integrability Vladimir Kazakov (ENS, Paris) Collaborations with Alexandrov, Gromov, Leurent, Tsuboi, Vieira, Volin, Zabrodin Hirota equations in quantum integrability • New approach to solution of integrable 2D quantum sigma-models in finite volume • Based on discrete classical Hirota dynamics (Y-system, T-system , Baxter’s Q-functions, Plücker QQ identities, wronskian solutions,…) + Analyticity in spectral parameter! • Important examples already worked out, such as su(N)×su(N) principal chiral field (PCF) Gromov, V.K., Vieira V.K., Leurent • FiNLIE equations from Y-system for exact planar AdS/CFT spectrum Gromov, Volin, V.K., Leurent • Inspiration from Hirota dynamics of gl(K|M) quantum (super)spin chains: mKP hierarchy for T- and Q- operators V.K., Leurent, Tsuboi Alexandrov, V.K., Leurent,Tsuboi,Zabrodin Y-system and T-system • Y-system • T-system (Hirota eq.) Related to a property of gl(N|M) irreps with rectangular Young tableaux: = a s • Gauge symmetry s + s-1 s+1 a-1 a+1 Quantum (super)spin chains Quantum transfer matrices – a natural generalization of group characters Co-derivative – left differential w.r.t. group (“twist”) matrix: V.K., Vieira Main property: Transfer matrix (T-operator) of L spins R-matrix Hamiltonian of Heisenberg quantum spin chain: Master T-operator Generating function of characters: Master T-operator: It is a tau function of mKP hierachy: (polynomial w.r.t. the mKP charge ) Satisfies canonical mKP Hirota eq. Hence - discrete Hirota eq. for T in rectangular irreps: Commutativity and conservation laws V.K.,Vieira V.K., Leurent,Tsuboi Alexandrov, V.K., Leurent,Tsuboi,Zabrodin Master Identity and Q-operators V.K., Leurent,Tsuboi • Graphically (slightly generalized to any spectral parameters): The proof in: V.K., Leurent,Tsuboi from the basic identity proved in: V.K, Vieira Baxter’s Q-operators V.K., Leurent,Tsuboi Generating function for characters of symmetric irreps: s • • Q at level zero of nesting Definition of Q-operators at 1-st level of nesting: « removal » of an eigenvalue (example for gl(N)): Def: complimentary set • Next levels: multi-pole residues, or « removing » more of eignevalues: • Nesting (Backlund flow): consequtive « removal » of eigenvalues Alternative approaches: Bazhanov, Lukowski, Mineghelli Rowen Staudacher Derkachev, Manashov Hasse diagram and QQ-relations (Plücker id.) Tsuboi V.K.,Sorin,Zabrodin Gromov,Vieira Tsuboi,Bazhanov • Example: gl(2|2) Hasse diagram: hypercub • E.g. - bosonic QQ-rel. -- fermionic QQ rel • Nested Bethe ansatz equations follow from polynomiality of along a nesting path • All Q’s expressed through a few basic ones by determinant formulas • T-operators obey Hirota equation: solved by Wronskian determinants of Q’s Krichever,Lipan, Wiegmann,Zabrodin Wronskian solutions of Hirota equation • We can solve Hirota equations in a strip of width N in terms of differential forms of N functions . Solution combines dynamics of gl(N) representations and the quantum fusion: Gromov,V.K.,Leurent,Volin • -form encodes all Q-functions with indices: a s • E.g. for gl(2) : • Solution of Hirota equation in a strip: • For gl(N) spin chain (half-strip) we impose: Inspiring example: • Y-system principal chiral field Hirota dynamics in a in (a,s) strip of width N • Finite volume solution: finite system of NLIE: parametrization fixing the analytic structure: polynomials fixing a state Gromov, V.K., Vieira V.K., Leurent jumps by • From reality: • N-1 spectral densities (for L ↔ R symmetric states): SU(3) PCF numerics: Energy versus size for vacuum and mass gap V.K.,Leurent’09 E L/ 2 L Spectral AdS/CFT Y-system Gromov,V.K.,Vieira • Dispersion relation • Parametrization by Zhukovsky map: a • Extra “corner” equations: • cuts in complex s Type of the operator is fixed by imposing certain analyticity properties in spectral parameter. Dimension can be extracted from the asymptotics -plane Wronskian solution of u(2,2|4) T-system in T-hook Gromov,V.K.,Tsuboi Gromov,Tsuboi,V.K.,Leurent Tsuboi definitions: Plücker relations express all 256 Q-functions through 8 independent ones Gromov,V.K.,Leurent,Volin Solution of AdS/CFT T-system in terms of finite number of non-linear integral equations (FiNLIE) • Main tools: integrable Hirota dynamics + analyticity (inspired by classics and asymptotic Bethe ansatz) • Original T-system is in mirror sheet (long cuts) Arutyunov, Frolov • No single analyticity friendly gauge for T’s of right, left and upper bands. We parameterize T’s of 3 bands in different, analyticity friendly gauges, also respecting their reality and certain symmetries We found and checked from TBA the following relation between the upper and right/left bands Inspired by: Bombardelli, Fioravanti, Tatteo Balog, Hegedus • Irreps (n,2) and (2,n) are in fact the same typical irrep, so it is natural to impose for our physical gauge • From unimodularity of the quantum monodromy matrix Alternative approach: Balog, Hegedus Quantum symmetry Gromov,V.K. Leurent, Tsuboi Gromov,V.K.Leurent,Volin can be analytically continued on special magic sheet in labels Analytically continued each in its infinite strip. and satisfy the Hirota equations, Magic sheet and solution for the right band • The property suggests that certain T-functions are much simpler on the “magic” sheet, with only short cuts: • Only two cuts left on the magic sheet for ! • Right band parameterized: by a polynomial S(u), a gauge function with one magic cut on ℝ and a density Parameterization of the upper band: continuation • Remarkably, choosing the q-functions analytic in a half-plane we get all T-functions with the right analyticity strips! We parameterize the upper band in terms of a spectral density the “wing exchange” function and gauge function and two polynomials P(u) and (u) encoding Bethe roots The rest of q’s restored from Plucker QQ relations , Closing FiNLIE: sawing together 3 bands We have expressed all T (or Y) functions through 6 functions From analyticity of and we get, via spectral Cauchy representation, extra equations fixing all unknown functions Numerics for FiNLIE perfectly reproduces earlier results obtained from Y-system (in TBA form): Konishi operator : numerics from Y-system Beisert, Eden,Staudacher Gubser,Klebanov,Polyakov ABA Gubser Klebanov Polyakov From Y-system numerics Gromov,V.K.,Vieira (confirmed and precised by Frolov) quasiclassics Gromov,Shenderovich, Serban, Volin Roiban,Tseytlin Masuccato,Valilio Gromov, Valatka Leurent,Serban,Volin Bajnok,Janik zillions of 4D Feynman graphs! Fiamberti,Santambrogio,Sieg,Zanon Velizhanin Bajnok,Janik Gromov,V.K.,Vieira Bajnok,Janik,Lukowski Lukowski,Rej,Velizhanin,Orlova Eden,Heslop,Korchemsky,Smirnov,Sokatchev Uses the TBA form of Y-system AdS/CFT Y-system passes all known tests Cavaglia, Fioravanti, Tatteo Gromov, V.K., Vieira Arutyunov, Frolov Conclusions • Hirota integrable dynamics, supplied by analyticity in spectral parameter, is a powerful method of solving integrable 2D quantum sigma models. • Y-system can be reduced to a finite system of non-linear integral eqs (FiNLIE) in terms of Wronskians of Q-functions. • For the spectral problem in AdS/CFT, FiNLIE represents the most efficient way for numerics and weak/strong coupling expansions. • Recently Y-system and FiNLIE used to find quark-antiquark potential in N=4 SYM Future directions • Better understanding of analyticity of Q-functions. Correa, Maldacena, Sever, Drukker Gromov, Sever Quantum algebraic curve for AdS5/CFT4 ? • Why is N=4 SYM integrable? • FiNLIE for another integrable AdS/CFT duality: 3D ABJM gauge theory • BFKL limit from Y-system? • 1/N – expansion integrable? • Gluon amlitudes, correlators …integrable? END