Structure constants of operators on the Wilson loop from integrability

We study structure constants of local operators inserted on the Wilson loop in ${\cal N}=4$ super Yang-Mills theory. We compute the structure constants in the SU(2) sector at tree level using the correspondence between operators on the Wilson loop and the open spin chain. The results are interpreted as the summation over all possible ways of changing the signs of magnon momenta in the hexagon form factors. This is consistent with a holographic description of the correlator as the cubic open string vertex, which consists of one hexagonal patch and three boundaries. We then conjecture that a similar expression should hold also at finite coupling.


Introduction
The AdS/CF T correspondence is one of the most interesting ideas which has appeared in string theory [1]. The prototypical example of the correspondence is the duality between type IIB superstring theory on AdS 5 × S 5 and N = 4 supersymmetric Yang-Mills(N = 4 SYM) theory in R (1,3) which is defined on the boundary of AdS.
The N = 4 SYM theory has the maximal number of supersymmetries in four dimensional spacetime. Furthermore, since the theory is a conformal field theory, the main dynamical building blocks of correlation functions are conformal dimensions and structure constants of gauge invariant operators. On the other hand, such observables correspond to energies and interaction vertices of strings propagating on AdS spacetime. However, since the duality has a strong/weak property, we should be able to compute nonperturbatively on either side to verify it. This is a nice property to use, but also a cause of difficulty. Because of this reason, the earliest works have focused on BPS operators since there operators do not have quantum corrections.
However, the crucial idea which led to numerous developments in understanding the AdS/CF T correspondence beyond the protected operators was the integrable structure found on both sides of the planar AdS/CF T [2]. 1 Using integrability, one could analytically determine physical observables such as the exact S-matrix [6,7], asymptotic Bethe ansatz equations [5] and finite size energy shifts of local operators or solitonic strings [8][9][10]. In addition, a resummation formula which nonperturbatively includes all finite size effects was finally proposed in a set of finite nonlinear integral equations called the quantum spectral curves [11]. With this formulation one can in principle calculate the anomalous dimensions of all gauge invariant operators or the energies of quantum strings with any desired accuracy. 2 For determining spectra, such exact methods were surprisingly matched with all perturbation results till now.
On the other hand, the three-point function problem of gauge invariant operators is not completely formulated yet. Nevertheless, there were some seminal works which suggested breakthroughs to understand the three point function. On the gauge theory side, the three-point functions of gauge invariant operators were calculated systematically using integrability techniques as, the so called tailoring method in [13]. 3 On the string theory side, the holographic three-point functions were also unveiled in [17][18][19][20][21][22]. 4 A great development has recently been suggested in computing three-point correlators of closed strings or single trace operators at finite coupling [29]. The key idea of [29] is to cut the string pants diagram into the two hexagon form factors which could be thought as 1 Recently, a non-integrable but solvable model of holography was proposed [3,4]. The SYK model seems to provide an another interesting example to understand the AdS/CF T duality. 2 For example, see [12] for understanding how the quantum spectral curve works. 3 The pioneer papers in the computation of the three-point function are [14][15][16]. The tailoring method is based on these previous papers. 4 Some related works for the three-point function are done in [23][24][25][26][27][28].
new fundamental building blocks in correlation functions. 5 Beyond asymptotic level, 6 the hexagon idea was recently generalized to a few wrapping orders [35][36][37] and to higher-point functions [38]. 7 .
According to the hexagon decomposition method, the structure constants are constructed by two procedures such as the asymptotic part (where the bridge lengths are infinite) and mirror particle corrections (which correspond to finite-size corrections): 8 where H is called the hexagon form factor.
As a natural question, we would like to consider the open string version of the hexagon method. Open strings are generally attached to D-branes, and their dual gauge invariant operators are known for various D-brane configurations. In particular, some open string configurations have been shown to be integrable with specific boundary conditions [40][41][42][43]. 9 In this paper, we shall focus on the three-point functions of open strings stretched to the AdS boundary whose spectral problem was already studied using integrability techniques [46,47]. Such an open string configuration is realized by three local operators inserted on the 1/2-BPS Wilson loop in dual gauge theory. 10 Here the 1/2-BPS Wilson loop is coupled to not only gauge fields but also to a scalar field. Owing to SO(6) R-symmetry in N = 4 supersymmetry, the scalar field φ i lives on a 6-dimensional inner space (The 6-dimensional unit vector is denoted by n i ). Now, we define a segment from x i to x j of the Wilson loops as which is not gauge invariant. The three-point functions of the local operators (denoted by O i ) inserted on the Wilson loops is now constructed by the three operators and three Wilson loop segments in figure 1. Namely, it is precisely the expectation value of the gauge invariant nonlocal operator : 5 The different approach for computing correlators based on integrable bootstrap was developed in [32][33][34]. In the development, as the worldsheet diagram is differently cut, the main building block is considered by an octagon form factor or a decompactified string field theory vertex. 6 Here, asymptotic means that all spin-chain lengths L i and all bridge lengths ij = (L i + L j − L k )/2 are taken to be infinite. Then finite size corrections are ignored. 7 The asymptotic four-point function based on the usual operator product expansion also appeared in [39] 8 The proposal is actually to treat infinitely many mirror particle corrections. Thus, we would still need a resummation formula which has exact finite size corrections to completely understand correlation functions as in spectral problem. 9 For example, open strings attached to the maximal giant graviton are quantum integrable through exact reflection matrices which obeys the boundary Yang-Baxter equation [44,45]. 10 Actually, we can construct a nontrivial Wilson loops configuration without local operator insertions. This is realized by "defect changing operator", which can change the scalar coupled to the Wilson loop. The Wilson loop configuration with the defect changing operators can be thought as open strings without physical magnons [49].
Furthermore we choose φ 6 as the coupled scalar into the Wilson loops, since there is no direct contraction between the inserted operators and the Wilson loop.
Since we expect the space-time dependence of the three-point functions to be determined by conformal symmetry, 11 we have where x ij = x i − x j . ∆ i and C 123 are the conformal dimension and the structure constant respectively 12 .
Pictorially, the three-point function of operators inserted on the Wilson loop is implemented by a hexagonal object. Cutting the three seams, the hexagonal object can be described by one hexagon with three mirror edges contracted by the boundary states |B . 13 See figure 2. The hexagon with three mirror edges can be taken as the well-known hexagon form factor [29] by putting physical magnons into the hexagon twist operator. As our setup implies an open string version of the hexagon approach, we shall investigate how the open string three-point function is written by using the hexagon form factor and how it can reduce to an appropriate form in the dual weak coupling analysis.
The outline of this paper is as follows. In section 2, we suggest the finite coupling expression for structure constants of local operators on Wilson loops and explain how our suggestion is related to the hexagon form factor. To check validity of the conjecture, we perform the tree-level analysis of structure constants for the SU (2) sector in section 3. In addition, we explain that the weak coupling result is nicely matched with our conjecture. 11 If we align both the operators and segments of the Wilson loop with a straight line, the correlator is characterized by SL(2, R) symmetry. Then the space-time dependence of such a correlator is completely fixed to an usual form of three-point functions of conformal field theory. 12 Several papers on correlation functions on the Wilson loop appeared recently in [30,31]. 13 Up to the tree-level and the SU (2) sector analysis, we could check that there is no additional object except the hexagon for bootstrap. We conclude with a discussion. A few appendices are provided for some technical details and helpful comments.
2 Conjecture for structure constants at the finite coupling As we explained in introduction, the asymptotically exact three point function of single trace operators which are dual to closed strings is provided by decomposing the closed string worldsheet diagram into two hexagon form factors with mirror particle dressing related to gluing two hexagon twist operators together [29]. Thus, we should consider all possible distributions of magnon momenta to two each hexagonal patches besides mirror particle summations for wrapping effects. The distributions are characterized through possible propagation factors and S-matrix factors.
On the other hand, for the three open strings worldsheet diagram, one would just have one hexagon with three mirror edges contracted by the boundary states which would simply be the ends of open strings related to D-branes. The resulting situation can be described by figure 2 where the cutting just means that the boundary information should be glued to the hexagon. There would be no bipartite partitions as in the closed string case since there is just a hexagon twist operator. However, we now have to consider reflection effects at boundaries where each open strings end, and we need to sum over all possible ways to put minus signs to magnons because magnons can reflect with minus sign at the boundaries.
Unlike in the three closed strings worldsheet as the pair of pants, the three open strings worldsheet diagram is given by a planar diagram with six edges as in figure 3 where the three edges would correspond to ends of open strings. 14 The other three edges describe open strings themselves which are propagating in AdS spacetime.
We then conjecture all-loop expression for the structure constant of operators on Wilson loops. For example, for finite coupling asymptotic structure constants of the SU (2) sector where the denominator is a norm part by a product of S-matrices times the open-chain version of Gaudin norm factor which is a determinant of differential φ defined from 15 with respect to rapidity variables u i (not the momentum), and by the propagation factor for the length of the operator O 1 . Also, we define Note that ij ≡ (L i + L j − L k )/2 (i, j and k are all different ) is the bridge length between the operator O i and O j . Thus, in the numerator there is a propagation factor for the bridge length between the operator O 1 and O 2 . The B L (p) is the reflection amplitude at finite coupling and h Y Y is the two-particle hexagon form factor at the finite coupling. 16 In the case of two magnon, the above expression is simply written as 15 We explicitly wrote the left and the right reflection matrices in here. However, when we compute the tree-level structure constants, we shall take the half-step shifted basis. Then, the reflection factors just become 1 which means the Neumann boundary conditions in the spin-chain. 16 The multi-magnon hexagon form factor can be factorized into two-body hexagon form factor.
Even for the other configurations such as C 11• 123 , the expression at the finite coupling can be managed in similar way. The rule is that the structure constant is given by the summation over the sign flipping hexagon form factor with negative sign and appropriate factors related dynamical processes of the magnons.
Since the hexagon form factor itself was determined at finite coupling by symmetry and an integrable bootstrap method [29], the spin-chain analysis should be reproduced by considering a weak coupling expansion of the hexagon form factor. In our setup, the inserted operators are interpreted as three open spin-chains with excitations which are realized as magnons on physical edges of the hexagon. Surely, to manage the boundary information of the hexagon is a nontrivial part. However, we could actually check that there is no new object for the bootstrap method at least up to SU (2) sectors and the leading order of the weak coupling. 17 Furthermore, since the exact reflection matrix R(p) is already available from [46,47], 18 the generalization can be straightforwardly performed.
In next section, we shall compute structure constants at tree level of the SU (2) sector. Unlike at higher-loops or in full sectors, we need not to consider the nested procedure through the nondiagonal reflection matrix with the nontrivial dressing phase and we can understand their dynamical information well. If we now consider the weak coupling limit of (5), the difference is just the coupling dependence. Namely the S-matrix, the Bethe-Yang equation, the reflection matrix and the hexagon form factor should be replaced by their weak coupling forms. We shall explicitly check this by computing tree-level structure constants through open chain Bethe wavefunctions.
3 Tree-level analysis for the SU (2) sector In previous section, we gave a conjecture for asymptotically exact structure constants of local operators on Wilson loops. At the leading order of weak coupling regime, it reduces to the tree-level three-point functions from open spin-chains. To check it, we shall explicitly calculate the correlation functions of three operators corresponding to open spin-chains at the tree-level of the SU (2) sector. Since the scalar excitations in this sector are not overlapped with the scalar in the Wilson loops, one can just consider contractions between the excitation fields in the inserted operators realized by open spin chains. 17 Honestly it does not guarantee that such a new object is always unnecessary for integrable bootstrap of open string correlators. For example, the higher rank sector of the Wilson loops with operator insertions or other integrable open strings such as maximal giant gravitons may have some nontrivial contributions from the boundary. To clarify this point would definitely be an invaluable future direction. 18 At the weak coupling of SU (2) sector, R(p) just becomes a phase R(p) = e ip . As we shall analyze later, our reflection phase B L (p) is not the conventional reflection phase R(p) since we shall use the halfstep shifted basis [52]. In usual, the one-magnon wave function in an open-chain is written as ψ (1) (x) = α(p)e ipx + α (p)e −ipx . The conventional left reflection phase is defined by R left (p) ≡ α (p) α(p) . Then, we have ψ (1) (x) = α(p) e ipx + R left (p)e −ipx . On the other hand, our boundary S-matrix B L (p) is related to the reflection matrix R left (p) as R left (p) = B L (p)e ip e 2ipL . Thus, the reflection phase corresponding to the SU (2) part of the exact reflection matrix in [46,47] becomes the Neumann boundary condition which is realized with B L (p) = 1.

Coordinate Bethe ansatz for open spin-chain
According to [50], the one-loop anomalous dimension of the planar N = 4 super Yang-Mills corresponds to an integrable spin-chain Hamiltonian, and the spin-chain state is given by an eigenfunction obtained by diagonalizing the Hamiltonian. The one-loop anomalous dimension for our setup is given as the eigenvalue of the XXX 1 2 open spin-chain Hamiltonian with Neumann boundary conditions [51]. Let us briefly review some important results in [52] before our computations start. 19 For general boundary conditions, the open spin-chain Hamiltonian appearing in the Wilson loops can be expressed as, where I k,k+1 is the identity operator in flavor-space and P k,k+1 is the permutation operator which switches two scalars at site k and at site k + 1 each other. Here, the operators Q φ 6 1 and Q φ 6 L appeared since we choose the scalar in the Wilson loop as φ 6 . As a result, Q φ 6 1 and Q φ 6 L are defined as 20 The coefficients C 1 and C L determine the boundary condition of the Bethe wave function. For example, the boundary coefficients for the SU (2) sector are given as C 1 = C L = 0 [51] and the wave function satisfies the Neumann boundary condition. Notice that for the higher rank sectors such as the SO(6) sector, the boundary coefficients C 1 and C L become nonzero. 21 Let us begin by giving the explicit form of the open spin-chain state for a few number of magnons in our conventions. The eigenfunction for one-magnon | Ψ (1) is defined as Then, the Bethe state is written as 19 We shall use slightly different conventions to [52]. In our notation, processes of the magnons on "coordinate axes" become more clear. Thus, when we compare the tree level results to our conjecture, it would be better to use. The relation in detail is introduced in appendix A. 20 The notation was introduced in [44]. In addition, although we shall not introduce the computations, we actually have calculated the SO(6) Hamiltonian by evaluating all Feynman diagrams, and could check that the result is written as the above form. 21 For the SO(6) sector, the diagrams directly contracting scalar excitations with the Wilson loop itself should be included even at the one-loop level. Thus, the contribution from such diagrams will give non-zero values to the boundary terms C 1 and C L . where A (p) is a normalization factor and A(x, p) ≡ e ip(x− 1 2 ) is the propagation factor shifted by the half-step. 22 It is straightforward to understand the dynamical processes of the magnon on the coordinate axis from the wave function (13), see also figure 4. The details of the wave function are analyzed in appendix A.
We next consider the two-magnon case whose eigenfunction is defined as The Bethe ansatz state for the two-magnon is where A (p 1 , p 2 ) is a normalization factor. Note that the S-matrix for SU (2) sector is given as Thus the S-matrix has the nice property : S(−p i , p j ) = S(−p j , p i ). We used the notation for rapidity variables u = cot p 1 2 and v = cot p 2 2 . Here we defined the factor f (x 1 , p 1 ; x 2 , p 2 ) as which is interpreted as the terms given by the summation over the permutations. The dynamical processes of the two-magnon wave function are understood as in figure 5. 23 Notice Figure 5: For the first term A(x 1 , p 1 )A(x 2 , p 2 ), two magnons moves to their positions x 1,2 independently without any nontrivial factors. On the other hand, the term S( is non-trivial since the magnons scatter off from each other. Firstly, the magnon with momentum p 2 reaches at the site . This process is the same as the second term of the one-magnon wave function. Next, we move the magnon with momentum p 1 . Then, the S-matrix factors are necessary as the magnons scatters. that it is easily found that the wave function is basically constructed by the summation over the sign flipping terms of f (x 1 , p 1 ; x 2 , p 2 ), that is, However, because of the scatterings of the magnons, we must insert the matrices factors times propagation factors such as e 2ip 1 L B L (p 1 )S(p 2 , p 1 )S(−p 2 , p 1 ). For the common point, when the sign of the momentum p l is flipped, we must insert the S-matrix factor The factors depend on dynamical situations. 24 Based on these systematic constructions, we can find the multi-magnon open spin chain wave function.
Similarly, the M -magnon wave function can be written down: summation over the sign flipping terms with appropriate factors Z · · · Y · · · Z Z · · · Z Z · · ·ZZ · · ·Z Z · · ·ZZ · · ·Z · · ·Z Figure 6: For Y-excitation on the top spin chain case, the magnon can be contracted with only the vacuumZ. Therefore the structure constant C 1•• 123 is given by the summation over the positions of the 1-magnon wave function.
The M -magnon wave function is constructed by the two parts : The summation over the sign flipping terms with appropriate factors related to process of the magnon which is written in the first line, and in second line the summation over the permutation part.

Structure constants and the hexagon form factor h Y Y (u, v)
Using the open spin chain wave functions discussed above, we now calculate the structure constants at tree-level. Thereby we would like to express the structure constants in terms of the hexagon form factor h Y Y (u, v).

A nontrivial operator with one-magnon :
The structure constants at tree-level are obtained by summing over the Wick contractions. Let us begin with the simplest case which is described in figure 6. It is made of a non-trivial operator with an excitation and two trivial operators. We denote such a structure constant by C 1•• 123 . The first spin chain has a magnon as O 1 : x Z x Y Z L 1 −(x+1) and the others are vacuum states as O 2 :Z L 2 and O :Z L 3 . In this case, the structure constants are simply calculated by contraction between the first spin-chain and the third spin-chain : The summation of the propagator A(x, p) becomes where the factor In this normalization due to factor out the propagation by the spin chain length 12 , the magnon starts at the splitting point in figure 6. It is easy to understand the result as a moving dynamical process on the hexagon form factor in figure 7. We find that the magnon of the second term have negative sign against the magnon of the first term in figure 7. Thus the relative factor e 2ip 13 can be understood as the process in order to get the magnon with negative momentum.
Let us give some comments for this result. First, the explicit difference from the closed spin chain case is the negative momentum term. The structure constant of the closed spin chain with one-magnon has only the first term in (23) because of absence of reflections. Second, every magnons are at splitting point on the hexagon form factor, not at the boundary. This can be understood because we are considering the SU (2) sector where the boundary condition is Neumann and B L (p) = 1(C L = 0) in (13). On the other hand, if we consider the higher rank sectors with other excitations where B L (p) = 1, the terms for a magnon living at the boundary may survive. This contribution may imply an additional object for bootstrap.

A nontrivial operator with two-magnon : C 2•• 123
Next we consider the case of a nontrivial operator with two excitations and two trivial operators, namely where the first spin chain is set to O 1 : x<y Z x Y Z y−(x+1) Y Z L 1 −(y+1) and the others are vacuum states. We denote this by C 2•• 123 . In this case, the structure constants become Notice that we extend the summation range because the contribution of x 1 = L 1 becomes zero. The summation of the product of the propagators A(x 1 , p 1 )A(x 2 , p 2 ) in ψ (2) is written as The factor i+2v 2(u+v) comes from appropriately normalizing geometric series. Furthermore, (25) is constructed by the propagations over both the bridge length e ip 12 and the spin chain length e ipL 1 . This fact can be understood clearly as dynamical processes of the magnons on the spin chain as in appendix B. According to the coordinate Bethe ansatz for the two-magnon (15), we sum over all possible processes. Then, surprisingly, the other terms except for the bridge length propagation term given by e i(p 1 +p 2 ) 12 completely vanish. Therefore we finally obtain Here, we obtained a nontrivial factor, i.e. u−v i+u−v . Actually, this factor is known as the hexagon form factor at tree-level Furthermore the result of the structure constant (26) can be explained by the dynamical process on the hexagon form factor in figure 8.

A nontrivial operator with
By doing similar tasks, we would like to get the structure constants for the multi-magnon. The wave function for the multi-magnon is naively written as The summation of the multi-magnon wave function should be obtained by summing the hexagon form factor over all patterns such as flipping momentum signs with the negative weight. To justify the above statement, we prove the following two lemmas : S(p 2 , p 1 )S( p 1 , p 2 )e 2ip1 13 +S(p 2 , p 1 )S( p 1 , p 2 )e 2i(p1+p2) 13 Figure 8: For the second term, the red colored magnon on the hexagon can get the negative sign −p 1 by the propagation e 2ip 1 13 . Then, since the magnon would be scattered with another magnon with p 2 at two times, the S-matrix factors S(p 2 , p 1 )S(−p 1 , p 2 ) are needed. In the same way, the third and fourth terms are interpreted as the magnons with (p 1 , −p 2 ) and the magnons with (−p 1 , −p 2 ) on the hexagon respectively by added appropriate propagation and S-matrix factors.
1. Multi-magnon hexagon form factor : The hexagon form factor contains only the bridge length dependent terms such as e i(p 1 +···+p M ) 12 .
2. Bridge length independent terms : The others terms which are independent of the bridge length vanish.

Multi-magnon hexagon form factor
Let us first explain how to generalize the few number of magnons result to a multi-magnon result. 25 We focus on the summation over the permutation parts of the multi-magnon wave function (19): As the above summation for a few number of magnons is relatively manageable, it is given in appendix C. On the other hand, the corresponding multi-magnon summation is a little more complicated. We start with the fact that the S-matrix is related to the hexagon form factors by By using this, the product of S-matrices can be transformed as Furthermore, the first bracket can be decomposed as  Thus, by relabelling indices of the product, we get In addition, we have Therefore, the summation (28) is rewritten as The first bracket is just the multi-magnon hexagon form factor since it can be decomposed by the two-magnon hexagon form factor Let us next treat the bridge length dependent parts in the summation over the positions given as  which is easily evaluated by geometric series. For one-and two-magnon cases, they respectively become Then, the summation for multi-magnon would become The geometric series in the summation is sketched in figure 9. 26 From above argument the summation (28) becomes 26 See also appendix B.
We finally prove the following relations : by mathematical induction. First, relating F (p 1 ) for the M = 1 case is trivially found. Next, we assume that the relation holds for M − 1 case. Then, we extract the expression F (p 1 , · · · ,p j , · · · , p M ) where the j-th excitation does not contribute : We finally have Here, the expression can be handled by introducing a residue integral which is given as where the integrand has poles at z = 0 and z = u k + i/2. Picking up the pole at z = 0, we get Otherwise, from the other poles, we have From those, we could completely get the following relation : Thus, the summation (28) becomes

Bridge length independent terms
For a naive discussion, of course, we can take the bridge length to zero such as 12 = 0. 27 Then the structure constants don't have any non-trivial factors because the Bethe state can't contract with other states. This means that the structure constants are independent for the spin chain length L i . Therefore any terms except the bridge length dependent terms e i(p 1 +···+p M ) 12 must vanish. We shall give more rigorous certification. Now we focus on the spin-chain length dependent terms such as e i(p 1 +···+p M )L 1 . 28 By applying the result of the multi-magnon hexagon form factor, the summation (27) for the wave function with Neumann boundary condition is given by: First of all, the propagation factor can be trivially picked out: By dividing the factor such as the leading term (p 1 , · · · , p M ) becomes 27 The others are not zero such as 13 = 0 and 23 = 0. 28 A few number of magnon case is analyzed in appendix D for helping to understand.
On the other hand, the next to leading term which is the term for p 1 → −p 1 is written as where the expression in brackets is just the negative k part of (54). Generally, the equation (52) becomes From this, we shall show that by investigating the poles. The function G(p i ) has poles at u i = ±u k because of However, these poles are irrelevant since the residues of such poles become zero. Now let us move to the pole atp m =p n , (n < m). Then we can simply show that the residue is Therefore, the function G(p i ) does not have any poles. Thus, the remaining one is determined by the u → ∞ behavior. Since it trivially becomes zero such as we showed that the function G(p i ) is precisely zero. This fact means that the summation of the spin-chain length dependent terms doesn't contribute to the structure constants. As a result, we can written down the final result for the multi-magnon structure constants at tree-level as Furthermore, by dividing the correct norm discussed in section E, we can get the exact form of the structure constants at tree-level including the norm. We notice that it is nicely matched with our conjecture (5).

Two nontrivial operators with one-magnon : C 11• 123
We perform computation of tree-level structure constant with an another setup where we consider a situation made of a vacuum state and two nontrivial operators with a magnon respectively. For this purpose, we set the first spin-chain to O 1 : x Z x Y Z L 1 −(x+1) , the second spin-chain to O 2 : xZ xȲZ L 2 −(x+1) and the third spin-chain to the vacuum state. With this configuration, there exist two possible ways to contract local operators together for obtaining the structure constant : The direct and indirect parts are represented in figure 10. A(x, By adding the two parts, we have Even here, we obtained the non-trivial factor in the similar with C 2•• 123 case, i.e. u−v−i u−v . This factor can be also written by the tree-level hexagon form factor because the hexagon form factor h Y |Y (v|u) at the weak coupling regime is simply given by Note that one can get h Y |Y (v|u) from the fundamental hexagon form factor h Y Y (u, v) where all excitations are located at the same physical edges of the hexagon by doing mirror transformations twice. Furthermore the structure constants can also be explained by the dynamical process on the hexagon form factor in figure 11.

Discussion
In this paper we gave a conjecture that asymptotic open string three-point function can be decomposed into the one hexagon form factor with boundaries on the mirror edges and we checked its validity by calculating structure constants of local operators inserted on the Wilson loop at tree-level. The local operators are interpreted as open spin-chain with integrable boundary conditions. Based on this, we could construct the Bethe wave functions, and compute contractions between local operators.
Since our check was restricted to the weak coupling regime, it would be very urgent to understand if our conjecture is indeed working in integrable bootstrap. The most convincing direction is to reproduce two-loop results in [49] through the hexagon approach. Because the setup of [49] has no any local operator insertion which means absence of physical magnon, we might directly detect mirror particle contributions and properties of boundaries. Furthermore, there would be other interesting directions to develop. Let us introduce some possible future works.
As a nontrivial check for this paper, it would be interesting to study on the higher-rank sectors where we need to consider the nested technique. Beyond the rank-one sector, we generally have to consider the same kind of scalar fields coupled to the Wilson loops as the excitations on one of three open chains. Therefore, their boundary conditions become highly nontrivial since the reflection matrix has generally a nondiagonal form. The quantum exact reflection matrix is already available from [46,47]. Therefore, if we diagonalize the double row transfer matrix with the reflection matrix and obtain the Bethe wave functions, one would get the tree-level structure constants for higher-rank sectors. Then it would be very important to understand if any new objects would contribute in bootstrap, and how to glue the boundaries in general.

Other integrable open strings
There are many other integrable open string configurations in AdS/CF T . They usually attach to specific D-branes, which preserve the bulk integrability even though the bulk symmetry group is reduced to a smaller group. Such integrable open strings have corresponding dual gauge invariant operators. One of them is the integrable open string attached to the maximal giant graviton in planar limit. Its dual gauge invariant operator is given by deter-minant type operator. 29 As the open spin-chain Hamiltonian is also known for this operator, the tree level analysis done in this paper could be performed similarly. For example, since open strings attached to the Y = 0 brane have a diagonal reflection matrix, the higher-rank sector could be studied simpler than the Wilson loops with operator insertions. In addition, as the D-brane is explicitly given in this case, the existence of new objects in bootstrap may be directly uncovered. 30 Application to other theories It may be useful to apply the hexagon decomposition method to other theories. For example, as a simple integrable CF T model, there is the three-dimensional O(N ) vector model as free boson (fermion) theory. The theory is trivially integrable since it is a free theory. The simplest dual gauge invariant operator is given by the bi-fundamental operator. The operator would map to a sort of open spin-chain with only two sites. Furthermore, this theory has an attractive property, so-called 3d-bosonization [59,60]. The boson theory and a fermion theory can be interchanged by the Cherm-Simons coupling constants. How this information is realized in the hexagon framework would be an interesting question. The AdS dual description of this model is the Vasiliev's higher spin theory which is defined as a bulk theory [61][62][63][64]. The coupling to Chern-Simons amounts to changing the boundary condition on the Vasiliev side. On the other hand, the hexagon method is based on the world-sheet formalism, since the hexagon is basically obtained by the cutting the world-sheet. Therefore, if we can express the three-point function of the three dimensional O(N ) vector model in terms of the hexagon method, it may give a useful hint for the world-sheet formulation of the higher spin theory.

Acknowledgement
We thank Shota Komatsu for helpful discussions. We also thank Zoltan Bajnok, Robert de Mello Koch, Rafael Nepomechie and Hendrik J.R. van Zyl for valuable comments. N.K. gratefully acknowledges T. Nishimura for useful conversations. The research of M.K. was supported by a postdoctoral fellowship of the Hungarian Academy of Sciences, a Lendület grant, OTKA 116505 and by the South African Research Chairs Initiative of the Department of Science and Technology and National Research Foundation, whereas the researches of N.K. is supported in part by JSPS Research Fellowship for Young Scientists, from the Japan Ministry of Education, Culture, Sports, Science and Technology. 29 Giant graviton has O(N ) R-charge by definition. If the number of giant gravitons scales as O(N ) in the large N limit, the original AdS 5 × S 5 background is deformed by gravity backreaction. Such a new geometry is described by LLM geometry [56]. Then, the dual gauge invariant operators are represented by the Schur polynomials or the restricted Schur polynomials [57]. Even though integrability in the LLM geometry is generally broken, we can still have some nontrivial integrable cases [58]. 30 On the other hand, D-brane was hidden in the AdS boundary for the open strings dual to the Wilson loops.

A Properties of the wave function of the open spinchain
Here we summarize some important properties of the wave function of the open spin-chain appearing in our setup.

A.1 One-magnon
By acting with the Hamiltonian on the wave function, the basis of the wave function would be mixed. The L.H.S. of (12) becomes a linear combination of the basis elements. Thereby, we obtain the following conditions for the wave function : By solving these equations, we can get the boundary conditions as below.
Furthermore, as we insert the boundary conditions to the wave function (13), we obtain the Bethe equation : where B 1 (p) and B L (p) are defined as

A.2 Two-magnon
The Bethe wave function for two-magnon satisfies the following conditions : From these equations, we obtain the boundary conditions as follows.
The constraints (74) and (75) for the bulk wave functions give the following equation : By solving the equation, we obtain the bulk S-matrix and boundary coefficients. Finally, the Bethe equation for two-magnon is given as Next let us comment on the difference between the notations of [52] and our notations. In [52], the wave function was written as By considering the half-step shift, 31 we have By using the Bethe equation, bulk and boundary S-matrices S(p j , p i ) = 32 , we get our notation where the function g(x 1 , p 1 ; x 2 , p 2 ) is defined as g(x 1 , p 1 ; x 2 , p 2 ) ≡ A(x 1 , p 1 )A(x 2 , p 2 ) + S(p 2 , p 1 )A(x 1 , p 2 )A(x 2 , p 1 ). 31 we identify boundaries of spin-chain with the half-step shifted points from the first and the last sites (i.e., the 1/2-th and theL + 1/2-th sites). B Hexagon form factor as the weight factor The structure constants can be expressed in terms of contributions obtained by geometric series. The geometric series is deeply related to dynamical processes of magnons, namely how their propagations of magnons are given before and after summation. The fundamental contribution is given as The summation over the position that the magnons are located can be described as in figure  12.
Based on this summation rule, the expression for two-magnon becomes where the propagation factor such as e ip j L is included if the magnon moves on the distance L. On the other hand, as the cluster of the magnons more than one magnon can move, it will get a weight factor.
Let us explain in detail. At the start, the magnons with momenta p 1,2 be located at their positions x 1,2 and we try to compute the RHS in (82). First, by summation for the position the magnon with momentum p 2 can move to the position 12 and L 1 , see first line in figure e ip1L1 e i(p1+p2)L1 Figure 13: Weight factor in case of the two-magnon 13. Next, the summation for the position x 1 also include the propagation factor: Then, since two magnons move at the same time, the non-trivial weight factor is raised, where the factor for the two-magnon case is given as i+2v 2(u+v) as described in figure 13. Combining the weight factor with the S-matrix, we can get the tree-level hexagon form factor given as Thus, the hexagon form factor can be understood as the weight factors for the dynamics of magnons. Now let us consider the case of two operators with a magnon separately. Here the contribution is divided into two parts : direct part and indirect part. The indirect part can be written as In this case, non-trivial factor doesn't appear since the magnons move independently. On the other hand, the direct part becomes 12 The direct and indirect parts are pictorially described in figure 14. Furthermore, by adding the weight factors, we get the hexagon form factor In section 3.2.3, we have discussed about the structure constants of M -magnon. However, as the general configuration is quite involved, let us first consider the case of a few number of magnons. For one-magnon, the part of the structure constants is written as We can see that we get the one-particle hexagon form factor. Next, for two-magnon, we have where in the second line we used the property S(v, u) = h(u,v) h(v,u) and the terms in bracket become 1 (e −ip 1 −1)(e −ip 2 −1) . Next, the three-particle hexagon form factor can be written as where we used the following property of the summation For the bridge length dependent terms, we have Using the identity we get By mathematical induction, we have Finally, by using the following residue integral dz 2πi we find the relation Therefore we get the following expression for three-particle hexagon form factor : As a result, we expect that the M -particle hexagon form factor can be expressed as A(x l , p σ l ). (101)

D Bridge length independent terms
In this appendix, we show that the bridge length independent terms (51) are cancelled by each other for a few number of magnons. The key points are as follows: First, we divide the terms by the factor l<k h(p l , p k )h(p l , −p k ). Second, by investigating the poles, we find that these are spurious poles. Finally, we check that the constant parts at u → ∞ are exactly cancelled out. Now let us consider two-magnon case, 33 then the terms are given by which can be straightforwardly rewritten as Although it seems that we have poles at u 1 = ±u 2 , their residues are all zero: 33 since one-magnon case has no poles, it is trivial.
Therefore these are spurious poles. Furthermore the u → ∞ behavior becomes trivially zero. As a result, we showed that the spin chain length dependent term is exactly zero for the two-magnon case.
For the three-magnon case, the terms are given by By taking i<j h(u i , u j )h(u i , −u j ) in front of whole expression, we could obtain Similarly, this expression appears to have poles at u 1 = ±u 2 , u 1 = ±u 3 and u 2 = ±u 3 . However, the residues are zero again: Through the same argument as the two-magnon case, we showed that the spin chain length dependent term is exactly zero for the three-magnon case.

E On norms of structure constants
In this appendix, we would like to give exact norm forms of the structure constants, especially for one nontrivial operator case. In ordinary, the correct structure constants including normalizations at tree-level are given by The subscript f means the flipping operation introduced in [13]. For a few magnons, the normalization N (M ) can be exactly computed by the brute force method. On the other hand, the brackets part which is the main part of the structure constants has already given in section 3.2.3.
Let us begin by recalling the one-magnon wave function : By flipping operation it can be easily found that f : ψ (1) → e ipL (ψ (1) ) * . 34 Notice that we found a curious property of the open spin chain wave function that the conjugated wave function is the exactly same with the original wave function for the one-magnon : (ψ (1) ) * = ψ (1) . By computing the summation of the square of the wave function, we can get the following insinuating identity for the norm N (1) : where the derivative is performed for the rapidity variable and φ is defined from the Bethe Yang equation for open spin-chain : Furthermore, remember that the factor M(p) came from the main part of the structure constant.
We finally expect that the norm for the multi-magnon is given as We emphasize that we checked validity of (110) by numerically solving the Bethe ansatz equations.
We finish with useful comments about numerical solutions of the BAEs. When we try to solve the BAEs numerically, solving such higher order polynomial equations takes quite long time even in symbolic programming. An efficient way is to take logarithm to original BAEs and to introduce the following technique: 36 where the positive sign is taken for x ≥ 0 and the negative sign is taken for x < 0. With this method, the Bethe equation can be rapidly solved in Mathematica. 35 We have B(p) = 1 in our basis. 36 For example, see [66] for more explanation.
On the other hand, among solutions related to allowed mode numbers, there exist not alone physical solutions but also unphysical solutions. Therefore, we have to take only physically admissible solutions when we would like to check (110) numerically. Actually, the study on admissible solutions of various open BAEs has performed in [67]. In particular, the section 2 of [67] treated the BAEs which are equivalent to our BAEs appearing in the Wilson loop with operator insertions. Based on physical restrictions including reflection symmetry of the BAEs, the number of admissible Bethe rapidities is given as which only counts distinct, nonzero and not-equal solutions. In addition, the permutation of solutions is not counted in N (L, M ). Note that L is the length of the open spin-chain and M is the number of magnons. Keeping this in mind, we could obtain some correct sets of Bethe rapidities. For these sets, we verified that (110) is indeed true.