Two-loop integrability of ABJM open spin chain from giant graviton

We prove the integrability of the two-loop open spin chain Hamiltonian from ABJM determinant like operators given in [1]. By explicitly constructing R-matrices and K-matrices, we successfully obtain the two-loop Hamiltonian from the double row transfer matrices. This proves the integrability of our two-loop Hamiltonian. Based on the vacuum eigenvalues of the transfer matrices, we make a conjecture on the eigenvalues of the transfer matrices for general excited states. Bethe ansatz equations are simply obtained from the analytic conditions at the superficial poles of the eigenvalues.


Introduction
Integrability found in AdS 5 /CF T 4 correspondence enables us to study this conjecture in a non-trivially quantitative way. Tremendous progress has been achieved in solving planar N = 4 super Yang-Mills (SYM) using integrability techniques, see for example [2,3]. ABJM theory is a three-dimensional N = 6 superconformal gauge theory dual to IIA string theory on AdS 4 × CP 3 background [4]. Despite many results on integrable structure in this theory [5], there are still some problems related to integrability in ABJM theory to be solved. For example, finding the full spectrum of open string attached on giant graviton and determining the exact Bremsstrahlung functions using integrability in a way similar to SYM case [6][7][8] remain important unsolved problems.
In [1], three of us obtained the two-loop open spin chain Hamiltonian from determinant like operators in ABJM theory. Our motivation for studying such kind of operators in ABJM theory came from the fact that these operators are dual to open strings ending on giant graviton in IIA string theory on AdS 4 × CP 3 background [9][10][11][12] and a very similar setup in the AdS 5 /CF T 4 context leads to an integrable open system [13,14]. Despite the strong evidence on integrability of this two-loop open spin chain provided in [1] based on coordinate Bethe ansatz, we were lacking an explicit algebraic construction of Hamiltonian and the corresponding Bethe ansatz equations at that time.

JHEP03(2019)193
By algebraic construction, we mean that deriving the Hamiltonian from the commutating transfer matrices which serves as the generating function of an infinite number of conserved quantities. Our two-loop Hamiltonian is very special in the sense that the boundary degrees of freedom are not the same as the bulk ones, which makes it difficult to construct the double row transfer matrix. To encode this physical nature, we need the projected operator-valued K-matrices. By carefully choosing the c-number K-matrices, and using a similar method given in [15,16], we successfully construct the projected operator-valued K-matrices which lead to the wanted boundary terms of the Hamiltonian. Our results establish a more solid ground for the two-loop integrability of the ABJM open spin chain.
The remaining part of this paper is organized as follows: in section 2, we review the two-loop Hamiltonian derived from the two-point functions of determinant like operators in ABJM theory and fix some useful notations. In section 3, we construct explicitly the projected operator-valued K-matrices and the double row transfer matrices, which generate our open spin chain Hamiltonian exactly. This establishes the integrable property of the Hamiltonian. In section 4, we derive Bethe ansatz equations from our "guessed" eigenvalues of the double row transfer matrix. We also make some simple consistency checks for our proposal of the Bethe ansatz equations. Finally, we conclude in section 5 and add three appendices to provide some computational details.

Hamiltonian from determinant like operators in ABJM theory
We consider the alternating spin chain model with open boundaries which originates from the anomalous dimension matrix of determinant like operators in ABJM theory. The state space is of the type The length of the spin chain is 2L with 2L−2 4-dimensional bulk spaces plus two boundary spaces of 3 dimensions. The bulk consists of fundamental representation space of SU(4) labeled as 4 with the basis and anti-fundamental representation space of SU(4) labeled as4 with the basis Note that, as explained in [1], the field A 1 does not exist at left boundary and at right boundary B 1 is eliminated, so the dimensions at the boundaries are reduced to three.

JHEP03(2019)193
The Hamiltonian of the spin chain is given by [1] where " i " and "ī " denote the fundamental and anti-fundamental representation spaces of SU(4) respectively and λ ≡ N/k is the 't Hooft coupling constant of ABJM theory. The projector Q is defined as In the standard basis, the two projectors have the matrix form (2.5) The operators P and K are defined by the standard elementary matrices e ab (with components [e ab ] ij = δ ai δ bj ) as P =

Integrable constructions of the Hamiltonian
In this section, we will demonstrate the integrability of the Hamiltonian (2.3) by the algebraic approach based on the quantum inverse scattering method for open boundary [17] and the projecting method [15].

General procedure
For the alternating spin chain model with the origin of ABJM theory, we adopt the following four R-matrices [18,19], These R matrices satisfy the following Yang-Baxter equations, and are symmetric where the partial transpose operator t i acts on the space V i . Unitarity and crossing unitarity are also satisfied, 14) In order to deal with the open boundary systems, the reflection K-matrices are needed. For the trivial boundaries without dynamics, these K-matrices are the c-number solutions of the reflection equations (REs) shown below, 1

JHEP03(2019)193
If the open system contains dynamic particles or impurities at the boundary, it is worth trying a kind of operator-valued K-matrices called projected K-matrices [15]. Here we will give a brief review of the prescriptions of the projecting method: 1. First we start from a carefully chosen c-number solution K(u) of the RE.
2. Then we define an operator-valued matrix K − (u) as where we have explicitly labeled the auxiliary space V 0 and the internal space H ≡ V i as "0" and "i" respectively in the subscript of K − (u). Note that the internal space H introduced by the R-matrix is the place where the boundary degrees of freedom reside. This K − (u) will satisfy the RE by construction and usually be called the regular solution.
3. If the boundary internal space is smaller than the bulk state space, i.e. dim H < dim V i , then we can decompose the total space V i into H and its orthogonal complement H ⊥ by two projectors Q and Q ⊥ respectively, such that V i = H ⊕ H ⊥ . An important observation here is that if either of the following two projections vanish, The new solutions of RE obtained in this way are called the projected K-matrices [15]. 2 We need both K − 0i (u) and K − 0i (u) with auxiliary space V 0 (V 0 ′ ) being the 4 (4) representation.
As for the projected K + (u) matrices corresponding to the left boundary terms, we can find them by the isomorphic map from projected K − (u) matrices [17], the details will be provided later. With the above R-matrices and projected K-matrices, we can construct the following two double row transfer matrices for the alternating spin chain with dynamic boundaries, Then it can be shown that the transfer matrices obey the commutativity property The Hamiltonian can be obtained from the transfer matrices by

Projected K − (u) matrices and the right boundary terms
Given any projected K − -matrix, we will have the related right boundary term. For our alternating spin chain, the following two projected K − (u) matrices are needed, where K 1 (u) and K1(u) are two c-number matrices to be determined later. By construction, the projected K − -matrix satisfy the "operator" reflection equations, Formally, the projected K − -matrices will produce the right boundary terms as follows, We provide the details of the calculations in the appendix A.

Projected K + (u) matrices and the left boundary terms
The projected K + -matrices account for the left boundary terms of the Hamiltonian and could be obtained by the isomorphism from K − . In particular, for the symmetric boundary terms, i.e. the ones having the same expressions but acting on different state spaces, the Sklyanin's "less obvious" Z-isomorphism [17] is the most suitable choice. In our case, we use the following two projected K + -matrices, where k(u) andk(u) are two arbitrary scalar functions and the projected K − -matrices are given by Note that we have used two new c-number solutionsK 1 (u) andK1(u) to formulate the projected K + -matrices. By construction, the projected K + -matrix satisfy the "operator"

JHEP03(2019)193
dual reflection equations, The projected K + -matrices will produce the following kind of left boundary terms More details about the calculations can be found in the appendix A.

Suitable c-number solutions and the integrability of the model
We claim that the needed c-number solutions of the reflection equations for projected K − -matrices are and For projected K + -matrices, the c-number solutions are given bỹ

JHEP03(2019)193
It is not hard to verify that these are c-number solutions of (3.17)- (3.20). Based on these solutions, the projection condition (3.22) for the regular part of the solution (3.27) has been checked in the appendix B. We choose the scalar function k(u) andk(u) in (3.33), (3.34) to be By plugging (C.1), (C.2), (C.4) and (C.5) obtained from the above solutions into (3.32) and (3.41) , we find and is actually a bulk term and will be cancelled by the related terms in Therefore, we see that, up to an overall factor "− λ 2 2 " and some constant terms proportional to identity I, we successfully reproduce the Hamiltonian (2.3) from the integrable construction. Some calculation details are put in the appendix C.

Bethe ansatz equations
The commutativity property of τ (u) andτ (u) implies the existence of u-independent eigenstates |Λ of both τ (u) andτ (u), We choose a reference state |(A 2 B 2 ) L which is an eigenstate of both transfer matrices. According to the direct calculations of L = 1, 2, 3 cases, we conjecture that the eigenvalues

JHEP03(2019)193
of the reference state for a general L are given by with appropriate rescaling of the transfer matrices by some functions of u to cancel the denominators of K − 2L−1,2L and K − 2L−2,2L . General eigenvalues should take a "dressed" form of (4.2). Instead of the usual methods based on algebraic Bethe ansatz or analytical Bethe ansatz, here we make a direct guess of the general eigenvalues. The idea is to match the resulting Bethe ansatz equations to the coordinate Bethe ansatz given in [1] for one-particle excitations. We conjecture that general eigenvalues take the form where Q a (u) = na j=1 (u − iu a,j )(u + iu a,j ). e −1 (u 1,j − u 2,k )e −1 (u 1,j + u 2,k ), (4.9) As another consistency check, the analytic condition ofΛ(u) gives the same equations.
Putting back the factor − λ 2 2 and subtracting a constant fixed by the fact that the vacuum has zero energy [1], the eigenvalue of the Hamiltonian (2.3) is given by (4.10) As further consistency checks, we compare our Bethe ansatz equations' solutions with eigenvalues by directly diagonalizing the transfer matrix τ (u) for some very simple cases. We define three Baxter polynomials for the corresponding single excitations For L = 1, the eigenvalues of τ (u) are proportional to 3 where 8 + 16u + 8u 2 is triply degenerate and the others are doubly degenerate. All these eigenvalues can be reproduced by Bethe ansatz equations. For example, considering only u 1 excitation, the Bethe ansatz equation reads One solution is given by 14) while eigenvalue 8 + 16u + 8u 2 is reproduced by Λ 0 (u)| L=1 . Other eigenvalues can be obtained by solving corresponding Bethe ansatz equations in a similar way. Let's now study a slightly more complicated example. When L = 2, we consider a single A 1 excitation The above state is an eigenstate of transfer matrix τ (u) with eigenvalue proportional to where u 1 = √ 3 2 , u 2 = −1 can be obtained by solving the corresponding Bethe ansatz equations (4.18) 3 Notice that in [1], the finite size effects for operators with very small L were not taken into account.

Conclusion
In this paper, we proved the integrability of the two-loop open spin chain Hamiltonian which stems from computing the anomalous dimension of determinant like operators in ABJM theory. The crucial part of the proof lies in the construction of projected operator-valued K-matrices. We also obtained the corresponding Bethe ansatz equations by guessing the eigenvalues of the double row transfer matrices directly avoiding the complicated algebraic Bethe ansatz. Our ansatz of the eigenvalues of the transfer matrices passed through some consistency checks and should be compared with the all-loop asymptotic Bethe ansatz equations which need to be proposed. Such all-loop Bethe ansatz equations for N = 4 SYM were obtained in [22]. We have shown in [1] and this paper that determinant like operators provide integrable boundary conditions for the open spin chain in ABJM theory at least at planar two-loop level. Strong evidence for integrable open spin chain from flavored ABJM theory [23][24][25] was also found in [26]. One of the further interesting directions will be to investigate whether some bosonic or fermionic BPS Wilson loops [27]- [34] in ABJM theory could provide integrable boundary conditions as well. The answer to this question in N = 4 SYM theory is positive [7,8,35] and great success has been achieved.

Acknowledgments
The derivative of τ (u) with respective to τ can be written as These terms can be simplified significantly at u = 0, When 1 < i < L − 1, We have thatδ When 1 < i < L − 1, We also have 5δ

B Projection condition for K − (u)
In this appendix, we will show that the following two regular solutions , satisfy the projection condition (3.22). By choosing the natural basis in the space V 1 (V1), we can express the R-matrices as an operator-valued matrix with elements being the following operators acting on the space V2, Recall the diagonal c-number solution K 1 (u) and K1(u) given in (3.42) and (3.43), Also note that the projectors at the right boundary are Let us first focus on the regular solution K − 12 (u), the component can be easily found to be (B.6) After the projection, we have For j = 3 or i = 3, the projection is automatically zero; otherwise for j = 3 and i = 3, we have

JHEP03(2019)193
So we see the projection condition is satisfied by the regular solution K − 12 (u). As for the second regular solution, we repeat the same analysis. The component of K − 12 (u) is k=1h k (u)|k k| δ ij + u h i (u) +h j (u) |j i| . (B.9) After the projection, we have (B.10) For i = 3 or j = 3, the projection is automatically zero; otherwise for i = 3 and j = 3, we haveh i (u) +h j (u) = −1 + 1 = 0. (B.11) So the projection condition is satisfied as well. One may also check the projection condition for the regular solution contained in the projected K + -matrix using totally the same procedure.

C Projected K-matrices from the given c-number solutions
With the c-number solutions (3.42) and (3.43), we find the projected K − -matrices are For the projected K + -matrices, we fix the scalar function k(u) andk(u) in (3.33), (3.34) to be Then, with the solutions (3.44) and (3.45), we find

JHEP03(2019)193
In deriving these quantities, we used the following several simple equalities Tr2Q A † 2 K 12 = Q A 1 , (C.6) K 12 X2K 12 = (TrX) K 12 , ∀X, (C.7) 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.