We study two-dimensional integrable field theories from the viewpoint of the four-dimensional Chern-Simons-type gauge theory introduced recently. The integrable field theories are realized as effective theories for the four-dimensional theory coupled with two-dimensional surface defects, and we can systematically compute their Lagrangians and the Lax operators satisfying the zero-curvature condition. Our construction includes many known integrable field theories, such as Gross-Neveu models, principal chiral models with Wess-Zumino terms and symmetric-space coset sigma models. Moreover we obtain various generalization these models in a number of different directions, such as trigonometric/elliptic deformations, multi-defect generalizations and models associated with higher-genus spectral curves, many of which seem to be new.
The Gauge/YBE correspondence states a surprising connection between solutions to the Yang-Baxter equation with spectral parameters and partition functions of supersymmetric quiver gauge theories. This correspondence has lead to systematic discoveries of new integrable models based on quantum-field-theory methods. We provide pedagogical introduction to the subject and summarizes many recent developments. This is a write-up of the lecture at the String-Math 2018 conference.
We review recent applications of the integrable discrete Hirota dynamics (Y-system) in the context of calculation of the planar AdS/CFT spectrum. We start from the description of solution of Hirota equations by the Backlund method where the requirement of analyticity results in the nested Bethe ansatz equations. Then we discuss applications of the Hirota dynamics for the analysis of the asymptotic limit of long operators in the AdS/CFT Y-system.
We consider the mixed topological-holomorphic Chern-Simons theory introduced by Costello, Yamazaki and Witten on a $\mathbb{Z}_2$ orbifold. We use this to construct semi-classical solutions of the boundary Yang-Baxter equation in the elliptic and trigonometric cases. A novel feature of the trigonometric case is that the $\mathbb{Z}_2$ action lifts to the gauge bundle in a $z$-dependent way. We construct several examples of $K$-matrices, and check they agree with cases appearing in the literature.
In the reduced phase space of electromagnetism, the generator of duality rotations in the usual Poisson bracket is shown to generate Maxwell's equations in a second, much simpler Poisson bracket. This gives rise to a hierarchy of bi-Hamiltonian evolution equations in the standard way. The result can be extended to linearized Yang-Mills theory, linearized gravity and massless higher spin gauge fields.
The aim of the chapter is to introduce in a pedagogical manner the concept of Thermodynamic Bethe Ansatz designed to calculate the energy levels of finite volume integrable systems and to review how it is applied in the planar AdS/CFT setting.
We derive the gravity duals of noncommutative gauge theories from the Yang-Baxter sigma model description of the AdS_5xS^5 superstring with classical r-matrices. The corresponding classical r-matrices are 1) solutions of the classical Yang-Baxter equation (CYBE), 2) skew-symmetric, 3) nilpotent and 4) abelian. Hence these should be called abelian Jordanian deformations. As a result, the gravity duals are shown to be integrable deformations of AdS_5xS^5. Then, abelian twists of AdS_5 are also investigated. These results provide a support for the gravity/CYBE correspondence proposed in arXiv:140…
We study lens partitions functions for the three-dimensional $ N=2$ supersymmetric gauge theories on $S_b^3/Zr$. We consider an equality as a new hyperbolic hypergeometric solution to the star-star relation via the gauge/YBE correspondence. The correspondence allows the construction of integrable lattice spin models of statistical mechanics by the use of integral identities. Additionally, we obtain new hyperbolic hypergeometric integral identities of gauge theories.
We compute three-point functions between one large classical operator and two large BPS operators at weak coupling. We consider operators made out of the scalars of N=4 SYM, dual to strings moving in the sphere. The three-point function exponentiates and can be thought of as a classical tunneling process in which the classical string-like operator decays into two classical BPS states. From an Integrability/Condensed Matter point of view, we simplified inner products of spin chain Bethe states in a classical limit corresponding to long wavelength excitations above the ferromagnetic vacuum. As a…
We introduce a series of articles reviewing various aspects of integrable models relevant to the AdS/CFT correspondence. Topics covered in these reviews are: classical integrability, Yangian symmetry, factorized scattering, the Bethe ansatz, the thermodynamic Bethe ansatz, and integrable structures in (conformal) quantum field theory. In the present article we highlight how these concepts have found application in AdS/CFT, and provide a brief overview of the material contained in this series.
In this thesis, we report on different aspects of integrability in supersymmetric gauge theories. The main tool of investigation is twistor geometry. In trying to be self-contained, we first present a brief review about the basics of twistor geometry. We then focus on the twistor description of various gauge theories in four and three space-time dimensions. These include self-dual supersymmetric Yang-Mills (SYM) theories and relatives, non-self-dual SYM theories and supersymmetric Bogomolny models. Furthermore, we present a detailed investigation of integrability of self-dual SYM theories. In …
We provide a description of the quantum integrable structure behind the Thermodynamic Bethe Ansatz (TBA)-like equation derived by Nekrasov and Shatashvili (NS) for $\mathcal{N}=2$ 4d Super Yang-Mills (SYM) theories. In this regime of the background, -- we shall show --, the instanton partition function is characterised by the solution of a TQ-equation. Exploiting a symmetry of the contour integrals expressing the partition function, we derive a 'dual' TQ-equation, sharing the same T-polynomial with the former. This fact allows us to evaluate to $1$ the quantum Wronskian of two dual solutions (…
This short note is devoted to the study of the integrability of the bosonic string on AdS(5)xS(5) in the uniform light-cone gauge. We construct Lax connection for gauge fixed theory and we argue that it is flat.
A four-dimensional analog of Chern-Simons theory produces integrable lattice models from Wilson lines and surface operators. We show that this theory describes a quasi-topological sector of maximally supersymmetric Yang-Mills theory in six dimensions, topologically twisted and subjected to an Ω-deformation. By realizing the six-dimensional theory in string theory and applying dualities, we unify various phenomena in which the eight-vertex model and the XYZ spin chain, as well as variants thereof, emerge from supersymmetric gauge theories.
To analyse pure ${\cal N}=2$ $SU(2)$ gauge theory in the Nekrasov-Shatashvili (NS) limit (or deformed Seiberg-Witten (SW)), we use the Ordinary Differential Equation/Integrable Model (ODE/IM) correspondence, and in particular its (broken) discrete symmetry in its extended version with {\it two} singular irregular points. Actually, this symmetry appears to be 'manifestation' of the spontaneously broken $\mathbb{Z}_2$ R-symmetry of the original gauge problem and the two deformed SW cycles are simply connected to the Baxter's $T$ and $Q$ functions, respectively, of the Liouville conformal field t…
The one-dimensional Heisenberg XXX spin chain appears in a special limit of the AdS/CFT integrable system. We review various ways of proving its integrability, and discuss the associated methods of solution. In particular, we outline the coordinate and the algebraic Bethe ansatz, giving reference to literature suitable for learning these techniques. Finally we speculate which of the methods might lift to the exact solution of the AdS/CFT system, and sketch a promising method for constructing the Baxter Q-operator of the XXX chain. It allows to find the spectrum of the model using certain algeb…
Integrable models of statistical mechanics play a prominent role in modern mathematical physics, especially in conformal field theory, knot theory, combinatorics, topology, etc. In this brief review, we discuss a program of constructing integrable lattice spin models with the nearest neighbor interaction using methods inspired by the supersymmetric gauge theory computations, called gauge/YBE correspondence. After a brief introduction to the topic, we review some recent examples of this correspondence and the role of special functions and symmetries. Finally, we discuss future directions of res…
We study integrable models in the context of the recently discovered Gauge/YBE correspondence, where the Yang-Baxter equation is promoted to a duality between two supersymmetric gauge theories. We study flavored elliptic genus of 2d $\mathcal{N}=(2,2)$ quiver gauge theories, which theories are defined from statistical lattices regarded as quiver diagrams. Our R-matrices are written in terms of theta functions, and simplifies considerably when the gauge groups at the quiver nodes are Abelian. We also discuss the modularity properties of the R-matrix, reduction of 2d index to 1d Witten index, an…
We review the computation of the anomalous dimension of twist operators in the planar limit of N=4 SYM using the asymptotic Bethe ansatz and demonstrate how this quantity is obtained at weak, strong and intermediate values of the coupling constant. The anomalous dimension of twist operators in the limit of large Lorentz spin played a major role in the construction as well as in many tests of the asymptotic Bethe equations, this aspect of the story is emphasised.
We study the mixed topological / holomorphic Chern-Simons theory of Costello, Witten and Yamazaki on an orbifold $(Σ\times{\mathbb C})/{\mathbb Z}_2$, obtaining a description of lattice integrable systems in the presence of a boundary. By performing an order $\hbar$ calculation we derive a formula for the the asymptotic behaviour of $K$-matrices associated to rational, quasi-classical $R$-matrices. The ${\mathbb Z}_2$-action on $Σ\times {\mathbb C}$ fixes a line $L$, and line operators on $L$ are shown to be labelled by representations of the twisted Yangian. The OPE of such a line operator wi…
This review is devoted to the classical integrability of the AdS5xS5 superstring theory. It starts with a reminder of the corresponding action as a coset model. The symmetries of this action are then reviewed. The classical integrability is then considered from the lagrangian and hamiltonian points of view. The second part of this review deals with the gauge fixing of this theory. Finally, some aspects of the pure spinor formulation are also briefly reviewed.
Using a recently developed method, based on a generalization of the zero curvature representation of Zakharov and Shabat, we study the integrability structure in the Abelian Higgs model. It is shown that the model contains integrable sectors, where integrability is understood as the existence of infinitely many conserved currents. In particular, a gauge invariant description of the weak and strong integrable sectors is provided. The pertinent integrability conditions are given by a U(1) generalization of the standard strong and weak constraints for models with two dimensional target space. The…
In integrable quantum field theories the large volume spectrum is given by the Bethe Ansatz. The leading corrections, due to virtual particles circulating around the cylinder, are encoded in so-called Luscher corrections. In order to apply these techniques to the AdS/CFT correspondence one has to generalize these corrections to the case of generic dispersion relations and to multiparticle states. We review these various generalizations and the applications of Luscher's corrections to the study of the worldsheet QFT of the superstring in AdS5xS5 and, consequently, to anomalous dimensions of ope…
We prove the non-abelian Poincare lemma in higher gauge theory in two different ways. The first method uses a result by Jacobowitz which states solvability conditions for differential equations of a certain type. The second method extends a proof by Voronov and yields the explicit gauge parameters connecting a flat local connective structure to the trivial one. Finally, we show how higher flatness appears as a necessary integrability condition of a linear system which featured in recently developed twistor descriptions of higher gauge theories.
We continue to investigate the relationship between the infrared physics of N=2 supersymmetric gauge theories in four dimensions and various integrable models such as Gaudin, Calogero-Moser and quantum spin chains. We prove interesting dualities among some of these integrable systems by performing different, albeit equivalent, quantizations of the Seiberg-Witten curve of the four dimensional theory. We also discuss conformal field theories related to N=2 4d gauge theories by the Alday-Gaiotto-Tachikawa (AGT) duality and the role of conformal blocks of those CFTs in the integrable systems. As a…
Bäcklund-type transformations in four-dimensional space-time and an intriguing reduced zero-curvature formulation for axially symmetric membranes, with diffeomorphism-, resp. Lorentz-, symmetries reappearing after orthonormal gauge-fixing, are found.
We review the derivation of the S-matrix for planar N=4 supersymmetric Yang-Mills theory and type IIB superstring theory on an AdS5xS5 background. After deriving the S-matrix for the su(2) and su(3) sectors at the one-loop level based on coordinate Bethe ansatz, we show how su(2|2) symmetry leads to the exact asymptotic S-matrix up to an overall scalar function. We then briefly review the spectrum of bound states by relating these states to simple poles of the S-matrix. Finally, we review the derivation of the asymptotic Bethe equations, which can be used to determine the asymptotic multiparti…
We consider the compactifcation of 5d non-simply laced fractional quiver gauge theory constructed in arXiv:1705.04410. In contrast to the simply laced quivers, here two $Ω$-background parameters play different roles, so that we can take two possible Nekrasov-Shatashvili limits. We demonstrate how different quantum integrable systems can emerge from these two limits, using $BC_2$-quiver as the simplest illustrative example for our general results. We also comment possible connections with compactified 3d non-simply laced quiver gauge theory.
Starting with a four-dimensional gauge theory approach to rational, elliptic, and trigonometric solutions of the Yang-Baxter equation, we determine the corresponding quantum group deformations to all orders in $\hbar$ by deducing their RTT presentations. The arguments we give are a mix of familiar ones with reasoning that is more transparent from the four-dimensional gauge theory point of view. The arguments apply most directly for $\mathfrak{gl}_N$ and can be extended to all simple Lie algebras other than $\mathfrak{e}_8$ by taking into account the self-duality of some representations, the fr…
The dilatation operator measures scaling dimensions of local operator in a conformal field theory. Algebraic methods of constructing the dilatation operator in four-dimensional N=4 gauge theory are reviewed. These led to the discovery of novel integrable spin chain models in the planar limit. Making use of Bethe ansaetze, a superficial discrepancy in the AdS/CFT correspondence was found, we discuss this issue and give a possible resolution.
Surface charges and their algebra in interacting Lagrangian gauge field theories are investigated by using techniques from the variational calculus. In the case of exact solutions and symmetries, the surface charges are interpreted as a Pfaff system. Integrability is governed by Frobenius' theorem and the charges associated with the derived symmetry algebra are shown to vanish. In the asymptotic context, we provide a generalized covariant derivation of the result that the representation of the asymptotic symmetry algebra through charges may be centrally extended. Finally, we make contact with …
In this work we compare different descriptions of the space of vacua of certain three dimensional N=4 superconformal field theories, compactified on a circle and mass-deformed to N=2 in a canonical way. The original N=4 theories are known to admit two distinct mirror descriptions as linear quiver gauge theories, and many more descriptions which involve the compactification on a segment of four-dimensional N=4 super Yang-Mills theory. Each description gives a distinct presentation of the moduli space of vacua. Our main result is to establish the precise dictionary between these presentations. W…
We study the integrability properties of planar N=2 superconformal field theories in four dimensions. We show that the spin chain associated to the planar dilation operator of N=2 superconformal QCD fails to be integrable at two loops. In our analysis we focus on a closed SU(2|1) sector, whose two-loop spin chain we fix by symmetry arguments (up to a few undetermined coefficients). It turns out that the Yang-Baxter equation for magnon scattering is not satisfied in this sector. On the other hand, we suggest that the closed SU(2,1|2) sector, which exists in any N=2 superconformal gauge theory, …
Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in many details, and present the arguments in a concrete and down-to-earth way. Many interesting effects, including the leading nontrivial contributions to the $R$-matrix, the operator product expansion of line operators, the framing anomaly, and the quantum deformation that leads from $\mathfrak{g}[[z]]$ to the Yangian, are computed explicitly via Feynman diagra…
We introduce a class of new integrable lattice models labeled by a pair of positive integers N and r. The integrable model is obtained from the Gauge/YBE correspondence, which states the equivalence of the 4d N=1 S^1 \times S^3/Z_r index of a large class of SU(N) quiver gauge theories with the partition function of 2d classical integrable spin models. The integrability of the model (star-star relation) is equivalent with the invariance of the index under the Seiberg duality. Our solution to the Yang-Baxter equation is one of the most general known in the literature, and reproduces a number of …
We discuss gluon scattering amplitudes/null-polygonal Wilson loops of N = 4 super Yang-Mills theory at strong coupling based on the gauge/string duality and its underlying integrability. We focus on the amplitudes/Wilson loops corresponding to the minimal surfaces in AdS_3, which are described by the thermodynamic Bethe ansatz equations of the homogeneous sine-Gordon model. Using conformal perturbation theory and an interesting relation between the g-function (boundary entropy) and the T-function, we derive analytic expansions around the limit where the Wilson loops become regular-polygonal. W…
We show that the $AdS_5 \times L^{a,b,c}$ solution in type IIB theory is non-integrable. To do so, we consider a string embedding and study its fluctuations which do not admit Liouville integrable solutions. We, also, perform a numerical analysis to study the time evolution of the string and compute the largest Lyapunov exponent. This analysis indicates that the string motion is chaotic. Finally, we consider the point-like limit of the string that corresponds to BPS mesons of the quiver theory.
There is a growing amount of evidence that QCD (and four-dimensional gauge theories in general) possess a hidden symmetry which does not exhibit itself as a symmetry of classical Lagrangians but is only revealed on the quantum level. In this review we consider the scale dependence of local gauge invariant operators and high-energy (Regge) behavior of scattering amplitudes to explain that the effective QCD dynamics in both cases is described by completely integrable systems that prove to be related to the celebrated Heisenberg spin chain and its generalizations.
The integrability of a classical Calogero systems with anti-periodic boundary condition is studied. This system is equivalent to the periodic model in the presence of a magnetic field. Gauge momentum operators for the anti-periodic Calogero system are constructed. These operators are hermitian and simultaneously diagonalizable with the Hamiltonian. A general scheme for constructing such momentum operators for trigonometric and hyperbolic Calogero-Sutherland model is proposed. The scheme is applicable for both periodic and anti-periodic boundary conditions. The existence of these momentum opera…
We introduce a new gauge and solution space for three-dimensional gravity. As its name Bondi-Weyl suggests, it leads to non-trivial Weyl charges, and uses Bondi-like coordinates to allow for an arbitrary cosmological constant and therefore spacetimes which are asymptotically locally (A)dS or flat. We explain how integrability requires a choice of integrable slicing and also the introduction of a corner term. After discussing the holographic renormalization of the action and of the symplectic potential, we show that the charges are finite, symplectic and integrable, yet not conserved. We find f…
Any N=2 superconformal gauge theory (including N=4 SYM) contains a set of local operators made only out of fields in the N=2 vector multiplet that is closed under renormalization to all loops, namely the SU(2,1|2) sector. For planar N=4 SYM the spectrum of local operators can be obtained by mapping the problem to an integrable model (a spin chain in perturbation theory), in principle for any value of the coupling constant. We present a diagrammatic argument that for any planar N=2 superconformal gauge theory the SU(2,1|2) Hamiltonian acting on infinite spin chains is identical to all loops to …
Skyrme theory on S^2 (Faddeev coset proposal), is analyzed with a generalization of 0-curvature integrability, based on gauge techniques. New expressions valid for models in the sphere are given. The relation of the minimum energy configurations to gauge vacua is clarified. Consequences of adding a potential term to break the SO(3) symmetry are discussed.
Lattice Yang-Mills theories in any dimension may be regarded as coupled 1+1-dimensional integrable field theories. These integrable systems decouple at large center-of-mass energies, where the action becomes effectively anisotropic. This effective action is the high-energy center-of-mass limit of the gauge theory. In 2+1 dimensions, the quark-antiquark potential and the mass spectrum can be calculated, using the exact 1+1-dimensional S-matrix and form factors. The methods are quite similar to those applying integrability in statistical and condensed-matter physics. The high-energy anisotropic …
We study the integrability of geodesic flow in the background of some recently discovered charged rotating solutions of supergravity in four and five dimensions. Specifically, we work with the gauged multicharge Taub-NUT-Kerr-(Anti) de Sitter metric in four dimensions, and the $U(1)^3$ gauged charged-Kerr-(Anti) de Sitter black hole solution of N = 2 supergravity in five dimensions. We explicitly construct the Killing tensors that permit separation of the Hamilton-Jacobi equation in these spacetimes. These results prove integrability for a large class of previously known supergravity solutions…
We review the constructions and tests of the dilatation operator and of the spectrum of composite operators in the flavour SU(2) subsector of N=4 SYM in the planar limit by explicit Feynman graph calculations with emphasis on analyses beyond one loop. From four loops on, the dilatation operator determines the spectrum only in the asymptotic regime, i.e. to a loop order which is strictly smaller than the number of elementary fields of the composite operators. We review also the calculations which take a first step beyond this limitation by including the leading wrapping corrections.
We study the two-loop dilatation operator in the noncompact SL(2) sector of QCD and supersymmetric Yang-Mills theories with N=1,2,4 supercharges. The analysis is performed for Wilson operators built from three quark/gaugino fields of the same helicity belonging to the fundamental/adjoint representation of the SU(3)/SU(N_c) gauge group and involving an arbitrary number of covariant derivatives projected onto the light-cone. To one-loop order, the dilatation operator inherits the conformal symmetry of the classical theory and is given in the multi-color limit by a local Hamiltonian of the Heisen…
We prove a duality, recently conjectured in arXiv:1103.5726, which relates the F-terms of supersymmetric gauge theories defined in two and four dimensions respectively. The proof proceeds by a saddle point analysis of the four-dimensional partition function in the Nekrasov-Shatashvili limit. At special quantized values of the Coulomb branch moduli, the saddle point condition becomes the Bethe Ansatz Equation of the SL(2) Heisenberg spin chain which coincides with the F-term equation of the dual two-dimensional theory. The on-shell values of the superpotential in the two theories are shown to c…
CERN（欧洲核子研究组织）；The University of Osaka（大阪大学）；EPFL（洛桑联邦理工学院）；University of Tokyo（东京大学）；Kavli Institute for the Physics and Mathematics of the Universe, UTIAS, University of Tokyo（东京大学宇宙物质前沿研究机构卡弗里理论物理与数学宇宙研究所）；Trans-Scale Quantum Science Institute, University of Tokyo（东京大学跨尺度量子科学研究所）
In this chapter of "Review of AdS/CFT Integrability" we introduce N=4 Super Yang-Mills. We discuss the global superalagebra PSU(2,2|4) and its action on gauge invariant operators. We then discuss the computation of the correlators of certain gauge invariant operators, the so-called single trace operators in the large N limit. We show that interactions in the gauge theory lead to mixing of the operators. We compute this mixing at the one-loop level and show that the problem maps to a one-dimensional spin chain with nearest neighbor interactions. For operators in the SU(2) sector we show that th…
