Quantum fishchain in AdS5

In our previous paper we derived the holographic dual of the planar fishnet CFT in four dimensions. The dual model becomes classical in the strongly coupled regime of the CFT and takes the form of an integrable chain of particles in five dimensions. Here we study the theory at the quantum level. By applying the canonical quantization procedure with constraints, we show that the model describes a quantum chain of particles propagating in AdS5. We prove the duality at the full quantum level in the u\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathfrak{u} $$\end{document} (1) sector and reproduce exactly the spectrum for the cases when it is known analytically.


Introduction
After two decades of intense study, we have achieved a good understanding of the holographic principle.Nevertheless, there are still a number of important aspects of it that beg for a better understanding, such as the holographic map and the corresponding emergence of bulk locality.Finding the holographic dual is always a guesswork which requires a number of elaborate tests.There are only few firmly-established examples of such a map which are all heavily based on supersymmetry.
One possible strategy to understand the general holographic map is to derive such explicit duality in a specific theory and then deduce from it general principles.For that one should find a non-trivial interacting analytically tractable model which would capture the general structure.The planar fishnet [1,2] is an example of such a model.It is a four-dimensional interacting CFT [3], with a free parameter ξ that controls the strength of the interaction.The standard perturbation theory has a finite radius of convergence in ξ and the corresponding Feynman perturbative expansion is relatively simple and can be computed exactly to all orders in some cases [3][4][5].Importantly, the fishnet model is continuously connected to N = 4 SYM theory.The connection between the two models can be realised as a double scaling limit of γ-deformation of N = 4 SYM [1].Another alternative way to obtain the fishnet is by taking a limit in the parameter space of some observables, such as Wilson lines with cusps in N = 4 SYM itself [6,7].Hence, a derivation of the holographic dual for the fishnet should set the ground for a derivation of the dual also for the parent N = 4 SYM theory.
In our previous paper [8] we have derived from the first principles the strong coupling dual of the fishnet CFT, which we call the fishchain model.In the u(1) sector it is given by a chain of classical point-like particles that propagate on the lightcone of R 1,5 with the nearest-neighbour interaction.Notably, this model is also classically integrable.In this paper we show that the quantization of this classical model produces the full quantum duality, valid at a finite value of the 't Hooft coupling ξ.As opposed to the classical fishchain, we find that the quantum fishchain lives in AdS 5 .For simplicity, in this paper we work in the u(1) sector of all operators, which we describe in the next section.The generalisation of our model beyond this sector will be discussed in [9].
The paper is organised as follows: In section 2 we review the fishnet model and its strong coupling fishchain dual.In section 3 we canonically quantize the fishchain model.In section 4 we test the quantum duality by reproducing the finite coupling spectrum of the fishnet model for operators of length one and two.In section 5 we present an alternative derivation of the duality and prove it for any length of the chain.Finally, in section 6 we prove the quantum integrability of the fishchain model.We conclude in section 7 with a short discussion.

Review of the fishnet model and its fishchain dual
To set the ground for the paper and to fix our notation, we now review the relevant aspects of the fishnet model and its dual fishchain model.In particular, we present the fishchain model in the form that is most convenient for its quantization.We also introduce the u(1) sub-sector, to which we restrict ourselves in this paper.

The fishnet model
The fishnet model [1] is a QFT in four-dimensional spacetime.It consists of two complex N × N matrix scalar fields, φ 1 and φ 2 .Its dynamics is dictated by the action1 (2.1) The two scalars transform in the adjoint of SU (N ) and are charged under U (1) 1 , U (1) 2 correspondingly.In this paper we consider N to be taken large, while ξ2 is a fixed arbitrary complex number.We refer to ξ 2 as the fishnet 't Hooft coupling. 2In this limit, the model was shown to be conformal and integrable [1,3,4,10].Since the interaction term in the action is not real, the theory described by (2.1) is not unitary.Non-unitary CFTs appear in a condensed matter context (see for example [11] and references therein).There are very few methods to study non-unitary CFTs in general.The most actively developing bootstrap methods are usually not applicable for such models.Nevertheless, integrability and holography can be used rather efficiently to study (2.1).
In this paper we consider a subset of all states in what is known as the u(1) sector of the model.It consists of operators with zero U (1) 2 charge.Such operators at weak coupling are of the form containing any number of derivatives, J-scalar fields φ 1 and any neutral combination of φ 2 and φ † 2 .For such operators we consider the following (J + 1)-point correlator ϕ O J (x 0 ; x 1 , ..., x J ) ≡ O J (x 0 )tr[φ † 1 ( x 1 ) . . .φ † 1 ( x J )] .(2.3)This correlator will play an important role in what follows.The knowledge of this correlator is equivalent to the knowledge of the initial operator.Any other planar correlators, such as those with φ 2 φ † 2 's, can be expressed in terms of this one.Hence, we refer to it as "the CFT wave-function".In particular, given the wave-functions of any two operators in the u(1) sector, ϕ O and ϕ O , the two point function between them is given by the "CFT norm" (2.4) In section 5 we will also show that the correlator (2.3) is indeed directly related to the wave function of the dual model. 1 (φ 2 φ † 2 ) n . . . ) and J φ † 1 scalars are all of fishnet type -made of the iterative wheel as shown on the diagram [12].This structure can be resummed and leads to integrability [2].
One of the main features of the fishnet theory is the simple structure of the Feynman diagrams appearing in its perturbative expansion.The Feynman diagrams which contribute to the correlation functions of the type (2.3) are of the iterative fishnet type, after all φ 2 's annihilate with φ † 2 , (see Fig. 1).The sum of these graphs can be represented, at least formally, as a simple geometric series 1/(1 − B).Here, the "graph-building" operator, B, is defined by its action on the wave function (2.3) that is a function of J 4D variables [1] B • ϕ( x 1 , . . ., x J ) ≡ J i=1 d 4 y i J j=1 ξ 2 /π 2 ( y j − y j+1 ) 2 ( y j − x j ) 2 ϕ( y 1 , . . ., y J ) . (2.5) Acting with the operator B on the Feynman diagram in Fig. 1 would create a new diagram with one extra wheel.One can easily see that B is a self-adjoint operator with respect to the CFT norm (2.4).As exemplified in detail in [5], physical operators in the spectrum of the model correspond to wave functions that are stationary under the graph building operator B|ϕ phys = |ϕ phys . (2.6) One can check explicitly that B commutes with all the conformal generators.This implies that the states which satisfy the physical condition (2.6) can be chosen to have a fixed conformal dimension and two spins, ϕ ∆,S 1 ,S 2 .The physical spectrum of conformal dimensions ∆(S 1 , S 2 , ξ) is fixed from (2.6).For J = 2 one finds two non-trivial states of the twist t = 2 and t = 4, [3] 4 (2.7) In addition to the states (2.6), there are also infinite towers of protected states.For example, at J = 2 these are primary states with the twist bigger than four, tr (φ 1 n φ 1 ), n > 1.The anomalous dimensions of all of these states vanish in the planar limit and they decouple from the interacting dilatation operator. 5Hence, in this paper we will focus on the non-protected operators.In the next section we review the strong coupling dual of the physical states (2.6).

The fishchain model
In this section we describe the fishchain model, which was derived as a holographic dual of the planar fishnet theory in [8] for the u(1)-sector.At strong coupling ξ → ∞, this model becomes an accurate description of the fishnet theory.The classical model is a chain of J classical point-like scalar particles that propagate on the lightcone X 2 i = 0 of R 1,5 .Its dynamics is described by the discretised Nambu-Goto type action where X M =−1,...,4 i are flat embedding coordinates, [13].Importantly, ξ is the square root of the 't Hooft coupling in the fishnet model.Since it stands in front of the action, it also plays the role of 1/ in the fishchain description.This ensures that the fishchain model is classical at strong coupling, as is expected from a holographic dual.This is analogous to the situation in N = 4 SYM theory.There, the worldsheet theory for a string moving in AdS 5 × S 5 becomes classical at strong coupling for those local single-trace operators whose dimensions scale as ∆ ∼ √ λ at strong coupling.The action (2.8) is invariant under a global conformal symmetry.It acts by a simultaneous SO (1,5) rotations at all J coordinates X i .The action is also invariant under two types of gauge symmetries.One is a time reparametrization, t → f (t), and the other is an independent rescaling at each site, X i (t) → g i (t)X i (t).
One way to fix the local rescaling gauge symmetry is to pick a slice of embedding space.Every slice gives a different conformally flat four-dimensional spacetime.For example, the Poincaré slice takes us back to the flat space that was our starting point in [8].In this paper, we find it more useful to work in a covariant gauge.Namely, a gauge that commutes with all the SO(1, 5) global symmetries.One natural covariant gauge is Ẋ2 i = m 2 , where m 2 is a constant.This is a suitable covariant gauge-fixing condition because Ẋ2 i transforms non-trivially as Ẋ2 i (t) → g 2 i (t) Ẋ2 i (t).To fix that gauge, we first follow [8] and switch to the Polyakov form of the action where α i 's are auxiliary fields.They transform covariantly under the two types of gauge symmetries.It is convenient to fix the gauge α i = 1.The corresponding Virasoro type constraints are telling us that the energy density is zero along the chain of particles Because we had J + 1 gauge symmetries and only J gauge fixing conditions α i = 1, we still remain with one gauge symmetry.It acts by a simultaneous time reparametrization and rescaling t → f (t), The covariant gauge divulged above corresponds to fixing L = m 2 to be a constant. 6he equation of motion that follows from the corresponding gauge fixed action is The dynamics encoded into these equations is quite non-trivial as one can see in Fig. 2. The term with η i is responsible for keeping the motion on the lightcone.A covariant form of this equation, where this longitudinal mode decouples, is is the local charge density at the i'th site.The total SO(1, 5) symmetry charge is given by In particular for the highest weight solutions, i.e. for the classical solutions with the initial conditions chosen so that The global charge Q N M is not the only conserved quantity in this theory.Due to the classical integrability of this model, which we describe in section 6, one can construct in total ∼ 4J non-trivial integrals of motion.The starting point for the quantization, which we perform in the next section, is the Hamiltonian which is reminiscent of that of the conformal gauge fixed Polyakov action.It is obtained from (2.10) with α i = 1 in the standard way (2.16) The list of the primary constraints is Since H generates a gauge transformation, namely t-time translations, the physical solutions have zero energy H = 0.

Canonical quantization
In this section we describe in detail the procedure and the result of the canonical quantization of the fishchain model.Then in section 4 we give some detailed examples of our construction and compare the results of the quantization of our model with known CFT predictions.
3.1 Warm-up example: point-like particle on a sphere As a warm-up exercise, we begin from a simple model with well-known properties -a point-like particle on a sphere.The process of canonical quantization of this model is very similar to that of the fishchain, and is very instructive for the next section.

Classical theory and constraints
We describe a free particle on the unit sphere as a system with a constraint: where x is a d dimensional vector and λ is a scalar Lagrange multiplier enforcing the x 2 = R 2 constraint.The naive Hamiltonian of the system is Following the standard procedure we have to identify all the further constraints which could arise from the primary constraint ϕ 1 = x 2 − R 2 and modify the initial Hamiltonian, so that on the constraints shell it is equivalent to (3.2).We have one secondary constraint where the Poisson bracket is defined in the standard way, as in a non-constrained system {f, Next, we should try to modify the Hamiltonian to prevent the appearance of the further constraints.A nice way to do this is to introduce the angular momentum associated with the O(d) symmetry q mn = x m p n − p m x n (3.5) and notice that tr q 2 = − n,m (q nm ) 2 = −2x 2 p 2 + 2(x.p) 2 −2R 2 p 2 , so that we can replace the naive Hamiltonian by The modified Hamiltonian H coincides with the initial one on the constraint shell.Since q mn generates rotations, their Poisson bracket with any scalar combination is zero, which includes ϕ 1 and ϕ 2 .Thus, there are no further constraints generated by the Poisson bracket with the Hamiltonian.At the same time, the Poisson bracket between ϕ 1 and ϕ 2 is nonzero, even on-shell The quantization is then obtained by replacing the observables by operators and the Dirac bracket by the commutators.

Quantization
To build the quantum algebra of observables, the first step is to represent x i and p i as operators acting on a Hilbert space.This, however, is not always a straightforward task.
The problem is that the Dirac bracket between x i and p i is modified in comparison to the Poisson bracket due to the presence of the second class constraints Under the canonical quantizaiton we replace ) where c is some unknown constant.We see that the term with ( k.x) is responsible for rescaling x back to the sphere and the constant c represents an ordering ambiguity between k and x.It is left to impose (3.12), but one can check that it is automatically satisfied.

Hilbert space
We have to examine the constraints and describe the physical sub-space of the whole Hilbert space.First, we note that the constraint φ1 = x2 − R 2 can be consistently imposed.For this we find that This means that we can restrict ourselves to the sub-space H, which consists of the functions Ψ( x) such that φ1 One can then say that the non-trivial part of the wave-function ψ only depends on the coordinates on the sphere.Acting with any combination of xi and pi will not lead outside this subspace due to (3.16).This is opposite to the action of ki , which does lead outside H.The commutation relations (3.16) imply that we can consistently restrict all the observables to the space of functions on the sphere.The constraint φ2 can be explicitly written as where the ≈ sign means equality on the functions that satisfy the φ1 constraint.Hence, to enforce this constraint it is sufficient to fix c = 0. Note, however, that one could take another ordering x.p ≈ i (c + d − 1), which would imply c = 1 − d, or any other ordering.
In either case the constraint φ2 is just a constant on H and the exact value of c would correspond to a particular choice of the ordering.In what follows we will not set c to any particular value.We will see that it disappears from all relevant physical quantities.
Scalar product.Note that the subspace H consists of, strictly speaking, non-normalizable wave-functions, due to the δ-function prefactor in (3.17).At the same time, the regularised scalar product is naturally defined as

Spectrum and stationary wave-functions
Like in the classical case, the quantum Hamiltonian has the following two equivalent onshell expressions which is now corrected at the quantum level by the last term, which vanishes exactly when either x.p or p.x is set to zero.We use ≈ for the expressions valid on the subspace H i.e. on the functions satisfying (3.17).
Even though the commutator of xi and pi is modified, the commutator of the components of the charge density qnm satisfy the standard so(d) algebra In the language of the so(d) algebra the Hamiltonian is proportional to the quadratic Casimir operator.This means that its eigenvalues are fixed by representation theory.In particular, for representations given by symmetric traceless tensors with S indexes the eigenfunctions of the Hamiltonian should be The corresponding wave functions are the traceless symmetric tensors which can be conveniently parametrised by a light-like (complex) vector n as Note that there are no other irreducible tensors one can build out of one unit vector x/R.Thus we conclude the spectrum is

Quantization of the fishchain model
After recalling the general procedure of the canonical quantization of the system with constraints we can proceed to the quantization of the fishchain model, which carries a number of similarities with the example above.
In this section we use the notation D for the dimension of the embedding space and d ≡ D − 2 is the dimension on the boundary.Even though we are mostly interested in D = 6 and d = 4, we try to keep D arbitrary wherever possible.

Algebra of constraints
As in the previous section we have to list all primary constraints, then generate secondary constraints with a possibility of modifying the Hamiltonian by adding any linear combinations of the constraints.After that we have to identify second class constraints (whose Poisson bracket is non-zero on-shell) and introduce the Dirac bracket, which can then be quantized.
Firstly, we have the Hamiltonian constraint (2.16) that we repeat here for convenience Secondly, we have 2J more primary constraints defined by Next, we have to work out the secondary constraints, by computing the Poisson brackets of the primary ones with the modified Hamiltonian that is equivalent to H on the ϕ i,X and ϕ i,P constraint shell.Here, the u's are arbitrary functions of X and P .The Poisson bracket is defined in the standard way (3.28) Unless u i,P = 1, it leads to a new constraint, analogously to the (3.3) from the previous section Together with ϕ i,X and ϕ i,P we have 3J constraints, which form the following algebra {ϕ j,X , ϕ j } P B = 2ϕ j,X , {ϕ j , ϕ j,P } P B = 2ϕ j,P + m 2 , {ϕ j,P , ϕ j,X } P B = 2ϕ j .(3.30) Then, we should also check that {ϕ i,P , H } P B does not generate any further constraints.
For that we should allow the secondary constraint ϕ i (3.30) to be included in the possible modification of the Hamiltonian Note that with this further modification we still have {ϕ i,X , H } 0, where the sign means equality on functions that satisfy the constraint.Next, from φi,P we have To prevent further constraints we can fix the parameter This also rules out the option of setting u i,P to one in (3.28) because then we will keep generating more and more constraints.Finally, we have to make sure that φj = {ϕ j , H } stays on the constraint shell.It is easy to see that this fixes u i,P = 0, due to {ϕ j , H } P B −m 2 u j,P . (3.34) After that there are no further constraints and the Hamiltonian takes the form where u i are fixed by (3.33) and u i,X remains arbitrary.This clear difference between ϕ i,X and the other constraints is due to the fact that it is a first class constraint, whereas ϕ i,P and ϕ i are second class constraints.This can also be seen from their Poisson bracket (3.30), which is non-zero on-shell.The existence of the second class constraint implies that we will have to introduce the Dirac bracket before proceeding to quantization, just like in the previous section.We will proceed to this step in the next section.Here we simplify the Hamiltonian.
Note that we have the freedom of adding to the Hamiltonian terms that are quadratic in constraints.This is a freedom in the canonical quantisation procedure that does not affect the result.Indeed, such a modification would not change any of the Poisson bracket relations on-shell, but may allow us to simplify the result.In the search for a simpler Hamiltonian we can look for inspiration from the previous section, where we got a nice expression in terms of the square of the global charge (3.6).This suggests using the charge density (2.14) as a building block.By observing that we expand tr i q 2 i in powers of the constraints.We get where u i is exactly like the one we found before in (3.33) and the precise form of v i is not so important for what follows.Next, by using the exact identity multiplying both parts by k (−X k .X k+1 ) 1 J and raising both parts to the power J we obtain, up to terms quadratic in the constraints which together with (3.38) implies that Thus we have shown that up to an irrelevant constant multiplier H and H q are equivalent.One can also move the i u i,X ϕ i,X terms into the definition of H q , however, this will not make any difference as this is the first class constraint, which Poisson-commutes with all other constraints.We will be using H q in what follows.
Let us note that by using H q it becomes obvious that there are no further constraints generated from {ϕ, H q } P B .Indeed, the Poisson bracket of q i generates the rotation at the i-th cite of the chain.Since all our constraints are scalar combinations of X N i and P M i they must commute with H q by construction.

Dirac bracket
In the previous section we derived the system of constraints which contains 2J second class constraints ϕ i,P and ϕ i , which do not Poisson-commute with each other on-shell.To fix this problem one should introduce the Dirac bracket, as we already demonstrated above.The modification is very similar to what we have done for the case of a single particle on a sphere (3.9) and is given by which is designed so that for any function g on the phase space.The main difference with (3.9) is that momentum and space coordinates get interchanged.As a consequence the Dirac bracket between the X's and P 's is the same as (3.11)-(3.13)with P playing the role of x and X playing the role of p: We can now proceed to the canonical quantization by promoting the Dirac bracket into the commutator.

Quantization
Following the standard procedure we now replace the Dirac bracket with a commutator, where the role of is played by 1 ξ as we discussed in the introduction Now we have to build a representation of the operators XM i and P M i .In general, building the representation of the algebra defined by (3.47) is a non-trivial problem.However, in our case we notice that the algebra is exactly the same as in the case of the particle on a sphere, with Pi playing the role of x and Xi playing the role of p.Following the procedure developed for the point-like particle we have to introduce a new set of operators Ŷi , which commute with Pi in the standard way and then the operators Xi are given by in the usual way, and Xi is a non-trivial operator acting according to (3.49).
Quantum constraints.To proceed, we have to write the quantum version of the constraints.The constraints ϕ j,P and ϕ j are analogous to those for the case of the sphere and can be treated similarly.First, we impose the ϕ j,P constraint on the Hilbert space and similarly Pj .Xj ≈ c j −1 iξ .We see that in order to impose the ϕ j constraint we have to choose a particular value for c j in (3.49), which depends on the ordering.This is in complete analogy with (3.18) for a particle on a sphere.We can reverse the logic and take c j arbitrary, and interpret it as a quantum correction to the classical ϕ j = 0 condition φj ≈ c−D iξ = O( ).Following this logic we should also allow for a quantum correction to the ϕ i,X constraint.To investigate this possibility let us rewrite X2 j in terms of Pj and Ŷj in the way similar to (3.20) where Ĉ2,j is the quadratic Casimir operator of the conformal group on a single site where we use that the local charge density can be defined equivalently with Xi or with Ŷi , as the extra terms in (3.49) cancel and the result is the same The local operator (3.53) commutes with all constraints and with the Hamiltonian, and thus should have a physical interpretation.Its eigenvalue is a kinematic number that is dictated by the symmetry.At this point that number cannot be fixed and reflects the ambiguity in the quantization procedure.However, it has a clear physical meaning.The particles in the fishchain model are essentially the φ 1 scalars in the original CFT.These scalar fields are protected operators and carry dimension ∆ i = 1.From that it is natural to assign the dimension ∆ i = 1 to each of the particles constituting the fishchain.Note that classically there would be no difference for any value ∆ i ∼ 1 as the total dimension scales classically as ξ → ∞ and the charges of the individual particles are negligible, which is why this information is missing in the classical limit.Since the eigenvalue of the quadratic Casimir Ĉ2 is given by ∆ i (∆ i − D + 2) + S(S + D − 4) from the above argument we should set ∆ i = 1 and S = 0 to obtain Below we verify this natural prescription on a number of examples and also present the general proof that this prescription leads to the correct duality with the CFT side.Furthermore, this relation is consistent with the quantum integrability of the fishchain model as is discussed in section 6.
Returning to the discussion of the ϕ j,X constraint, we notice that by setting c j to 1 or to D, which would ensure φj = 0 for one of the most natural orderings, we get simply (3.56) This relation can be interpreted as an emergence of the non-zero quantum AdS radius due to quantum corrections R = √ 3 d 4mξ .In the classical limit ξ → ∞ and R → 0, which explains why the classical model lives on the lightcone X 2 i = 0 (see Fig. 3).Below we discuss this crucial fact in more detail.
Quantum Hamiltonian.Finally, we have to examine the possibility of the appearance of the quantum corrections in the Hamiltonian H q itself.Classically H q is given by (3.41) which is built out of (q 2 j ) N M .These are D × D matrices with the following properties: they are symmetric matrices (as a square of antisymmetric) and traceless, i.e. they are irreducible symmetric tensors.However, at the quantum level these properties are lost.First, due to non-commutativity between the matrix elements of qNM Furthermore, the trace is related to the quadratic Casimir (3.55), which is non-zero To recover the irreducibility we define the "normal ordered" q2 j as : q2 j : which is again traceless and a symmetric tensor.We use this natural prescription, which removes many possible ambiguities, in order to define the quantum Hamiltonian as We will show in section 6 that this normal ordering procedure ensures integrability at the quantum level.
Simplifying constraints.In order to describe in detail the physical Hilbert space we are going to give a clear interpretation of the constraints.We understood that at each site of the chain we have to impose two conditions (3.50) and (3.55).Namely where j is the D-dimensional d'Alembertian in Y M j and Ĉj,2 is the quadratic Casimir operator built out of the SO(1, D − 1) charge densities via (3.53).
We are going to show that the auxiliary coordinates Y M j contain one extra unphysical direction, just like for the particle on a sphere.This is the direction along the AdS radius We see that the dependence of the wave function on R j is fixed by the equation (3.63).By introducing the function F (R j ), which solves the equation (3.63) the dependence on all R j 's can be factored out where we have introduced coordinates on a unit AdS D−1 space, Let us emphasize that the factor F (R) is totally determined by the equation (3.62) (up to suitable boundary conditions), and does not contain any dynamical information.It is analogous to the δ(x 2 − R 2 ) factor for the case of the sphere. 7The solutions to (3.62) are given by the Bessel function (mξR).Discarding this trivial factor we remain with a wave function on unit-radius AdS space that is subject to only one constraint for each site Ĉi, where we use that the local charge qi written in the coordinates R j , Z N j contains no explicit dependence on R j , so the equation (3.65) is well-defined (3.66) The equation (3.66) implies that both Ĉj,2 and Ĥq commute with R2 and take the same form (3.58), (3.60) when acting on ψ.In particular, Ĉi,2 is nothing but the covariant Laplacian on AdS and the remaining constraint (3.65) is simply the Klien-Fock-Gordon equation for a scalar field of mass m 2 R 2 AdS = −3d 2 /16, dual to the dimension-one scalar φ 1 of the fishnet model.
To summarise the main results of this section: the wave function of the whole chain lives in the tensor product of a free massive scalar on AdS parametrized by Z 2 i = −1.The interaction between the particles comes from the one remaining Hamiltonian constraint Ĥq |ψ(Z 1 , . . ., Z J ) = 0, which takes the same form as in (3.60) with qj being a differential operator in Z i , given by (3.66).This is the end of the quantization procedure.In the next section we demonstrate it by explicit examples for J = 1, 2. In section 5 we prove for general J that this quantum theory is exactly equivalent to the four-dimensional fishnet theory in the u(1) sector.

Tests and Examples
The aim of this section is to demonstrate by simple examples our quantization procedure.We will also be able to reproduce non-trivial exact results known from the planar fishnet CFT to all loop orders.In this section we restrict ourselves to the case d = 4, D = 6 corresponding to the initial problem.

Single-particle case, with twist
In this section we consider the simplest example of J = 1.If we literally set J = 1 in the construction above we will get a contradiction, as in this case the Hamiltonian H q = −1, due to the normal ordering.To make it non-trivial, but still simple, we deform the periodic conditions X M J+1 ≡ X M 1 by incorporating a twist where T is a 6 × 6 matrix and θ is the twist parameter.As we will see the twisted system has a non-trivial spectrum already for J = 1.The fishnet CFT also needs to be twisted in the way explained in [14].The Hamiltonian in this case is the same as before, with the only modification that the twist matrix appears under the trace Ĥq = 1 2 tr (: Note that since : q 2 1 : is a symmetric matrix only the symmetric part of T contributes, which means that we can omit all the sin θ entries in (4.2), retaining only the diagonal part.From that it is clear that the twist breaks the SO(1, 5) symmetry of the initial system down to R ⊗ SO(4).The convenient set of coordinates is thus where y is a unit 4D vector.The wave function is a function of ρ, s and y.First, we notice that the dependence on s is totally fixed by the R part of the symmetry generated by q−1,0 1 = i ξ ∂ s with eigenvalue i∆/ξ determining the conformal dimension of the state ∆.This implies the dependence on s must be in the form of the factor e ∆s .Next, the wave function should belong to an irrep of SO(4).Having a single unit vector y we can only build a rank-S symmetric traceless tensor out of it.It is convenient to introduce a null vector n = {1, −i, 0, 0}, so that the highest weight states w.r.t.SO(4) have the dependence on y of the form ( y. n) S .Thus, on symmetry grounds we deduce the following form of the wave-function ψ(Z) = e s∆ ( y. n) S f (ρ) .
Next we have to impose two constraints Each of these constraints is a second-order differential operator.For example The equation C 2 + 3 = 0 has two solutions.The solution which is regular at the origin takes the form (S + ∆ + 1); S + 2; tanh 2 ρ .(4.8) At small ρ it behaves as f ∆,S (ρ) ).The second solution can be obtained by the replacement S → −2 − S + and then taking the limit → 0, adjusting the normalization so that the limit is finite.At large ρ the regular solution f ∆,S (ρ) have the following decaying asymptotic which shows that this solution is well behaved at the boundary and decays as 1/Z + .We can form a combination of the two solutions which decays even faster as 1/(Z + ) 3 , however, it will diverge as ρ −2−S near the origin.We also found that there are log ρ terms in the small ρ expansion, meaning that this faster-decaying solution is not even single-valued.
Having the wave function completely fixed, we apply Ĥq to get In fact, to obtain (4.10) we do not need to specify precisely which of the two solutions for f (ρ) to use, since (4.10) is also invariant under S → −2 − S. Finally, we see that (4.10) fixes the spectrum as a function of the coupling ξ and spin Notably, the weak coupling expansion of this expression has a meaningful form -it starts from an integer bare dimension S + 1 and goes in powers of ξ 2 .It is shown [14] that (4.11) is indeed the correct result for the spectrum of the twisted scalar in the fishnet CFT [14].

Two-particle case
To further explore how the quantum fishchain theory works, we consider the simplest example with no twist, namely J = 2.In this case we have two particles with coordinates Z 1 and Z 2 and so the wave function is ψ(Z 1 , Z 2 ).According to our general procedure we have to impose for each particle one local constraint (for In addition, we can choose the wave function to transform in an irreducible representation of the global conformal group, characterised in general by a conformal dimension ∆ and a spin S. The highest-weight member of this multiplet then satisfies The highest-weight state by definition must be annihilated by the special conformal transformations K µ and by the two raising operators of SO(4) -Ŝ+,a , which can be written as Kµ = X M QM,µ , µ = 1, . . ., 4 , where X and N are two fixed null vectors Thus the highest-weight wave function is a covariant combination of Z 1 , Z 2 , X and N .There are 5 non-trivial structures one can build out of these 4 vectors: Z 1 .Z 2 , Z a .X , Z a .N , a = 1, 2. One can easily check that Z 1 .Z 2 , Z a .X are invariant under both K µ and S +,a , however, Z a .ntransforms non-trivially under K1 and K2 and the invariant combination is Z 1 .N Z 1 .X − Z 2 .N Z 2 .X .Next, we have to require (4.13), which fixes the dependence of the wave function on 2 out of remaining 4 combinations: The function of two variables F can be fixed from two local constraints (4.12).The difference and the sum of the two constraints (4.12) gives 2(γ − cosh κ)F (1,1) + (4 − ∆ + S)F (0,1) − (∆ + S) sinh κ F (1,0) = 0 (4.17) where γ ≡ Z 1 .Z 2 and κ ≡ log Z 1 .X Z 2 .X .We were not able to find an explicit solution to this system.Luckily, we do not need to solve these equations.The action of the H q on ψ ∆,S given by (4.16) is H q |ψ ∆,S = 1 4 tr : q 2 2 :: q 2 1 : |ψ ∆,S − |ψ ∆,S = 0 .(4.18) The above equation contains up to 4 q's meaning that we get a 4th-order PDE on F .The expression is rather long and is given in (A.1).However, after using (4.17), the condition (4.18) reduces to giving the exact spectrum in agreement with [3,15].Alternatively, we can solve (4.17) in the limit where both Z 1 and Z 2 approach the boundary of AdS 5 .In this limit γ → ∞ and κ is kept fixed.The first equation in (4.17) tells us that κ derivatives of F scale as 1/γ.Then, the second equation becomes at large γ.By plugging either of these asymptotic solutions into (4.18) and expanding it at large γ we reconstruct (4.19).
To pick the physical one we have to extend the solution into the bulk and demand that it stays regular.It turns out that the regular solution is the one that scale as near the boundary.Correspondingly, the wave function asymptotes to the boundary the three point function between two scalar operators of dimension three and one spin S operator of dimension ∆ where here Z M i /Z + i X M i are the boundary points for large Z + i .On the r.h.s.we recognise the standard structure on the 3-point correlator of two scalars and an operator with spin S and conformal dimension ∆.The fact that the regular solution to (4.17) decays as ∼ 1/Z + i near the boundary was demonstrated for J = 1 in the previous section and will be proven for any J in the next section.
In summary, we demonstrate in this section how the known exact spectrum of the fishnet model can be derived from the quantum fishchain for small J's.In the next section, we explore a construction which allows us to build the fishchain bulk wave function in terms of the CFT boundary wave function φ O (2.3).

General proof of the duality
The goal of this section is to demonstrate the equivalence between the quantum fishchain model and the planar 4D fishnet in the u(1) sector for any length J at the level of the single trace operators.We build an explicit map between the wave function of the fishchain model ψ O (Z 1 , . . ., Z J ) and the 4D CFT wave function, given by the correlation function of J scalars with a local operator ϕ O (x 1 , . . ., x J ) as defined in (2.3).The map which relates the two in a natural way is where In the denominator of (5.1) one can recognise the bulk-to-boundary propagator for a scalar particle of mass square −3, dual to the fishnet scalar.It satisfies the bulk equation of motion or equivalently, the constraint where Ĉ2,i acts on Z i .From that it follows that the r.h.s. of (5.1) satisfies all local constraints (4.12) by construction.What remains to be shown is that Ĥq |ψ = 0.The proof of this relation is the main focus of this section.The main idea is to show that the action of ( Ĥq + 1) under the map (5.1) results in the action of the inverse of the graph-building operator B−1 on the CFT wave function ϕ O .The inverse of the graph-building operator is defined as (5.3) Due to (2.6), it acts in a simple way on the CFT wave function and implies that the fishchain wave function ψ O is indeed annihilated by the Hamiltonian Ĥq .
The key identity, which we prove below, is that (5.3) can be equivalently written as where q N M i are the conformal generators acting on the 4D variable x i only, and the normal ordering is defined in exactly the same way as before in (3.59), i.e.
Then we show that the map (5.1) transfers the action by 6D q N M i on Z i into the action by q N M i on x i , ensuring that Ĥq |ψ = 0.The derivation outlined above proves the equivalence of the two theories for the u(1) sector.

Proof of the duality at the quantum level
Here we present the details of the construction outlined above.
Graph building operator in Embedding space.In order to prove the key identity (5.5) we work with embedding coordinates X, (2.9).We are going to introduce some useful notations which would allow us to deal with the SO(1, 5) symmetry in covariant way.For that we will uplift some 4D integrals into 6D. 8We first demonstrate the main principle on a simple example.Consider the integral where α ∈ R. To show that the above identity is true, first, we notice that for α = 0, X becomes X ( x) = 1+x 2 2 , 1−x 2 2 , x upon resolving the δ-functions.Furthermore, if α = 0, we can perform the change of the integration variables X M → e α X M , which would give us back the initial integral with α = 0.One would refer to X + = 1 as a gauge choice in the CFT literature, [17].Next, since F (Z) does not actually depend on α we can integrate (5.7) in α over the range [−Λ, Λ], which would remove the second δ-function and produce an extra 1/X + factor.Dividing the result by 2Λ we should get back F (Z).Note that the result should not depend on Λ, so we can send it to infinity to get (5.8) 8 See [16] for a brief review of this formalism.
The advantage of this form of the integral is that the integration measure is explicitly invariant under so (1,5).The integration limits could potentially spoil the invariance.However, at least in our case, the dependence on the integration domain is suppressed at large Λ, as we discuss below.
Using these notations we get the following formula for the bulk wave function where (5.10) Next, in order to uplift the inverse of the graph-building operator we will also need to rewrite the 4D d'Alembertian in terms of X.In fact it is easy to see that we can simply replace the 4D d'Alembertian by the 6D due to the identity (6) = (4) − 4∂ X + ∂ X − and the fact that f does not depend on X − . 9ombining these observations together we get the following identity where B−1 is an analog of B−1 written in terms of j . (5.12) As a next step we rewrite B−1 in terms of the charge density.
Expressing B−1 in terms of the charge density.In order to distinguish the charge density operator acting as a differential operator on X i from qi , which acts on Z i we introduce a new notation (5.13) Here Xi acts on the functions of X i in the standard way by multiplication by X i .It should not be confused with Xi introduced in the quantization procedure section 3.2.Next, we evaluate explicitly the following combination of q's Let us plug this combination of q s instead of B−1 under the integral in the r.h.s. of (5.11).The first simplification we see is that X2 i can be set to zero due to the δ(X 2 i ) in the integration measure.Furthermore, the operator iξ( Xi .Ki ) simply counts the powers of X i , so acting on Φ O we can simply replace ( Xi .Ki ) → i ξ , as it acts non-trivially on the 1/X + i factor only.We conclude that under the integral we have most of the terms cancelling and the result simplifies to From that, we see that under the integral where the normal ordering is defined the same way as before : q2 Map to the fishchain Hamiltonian.It remains to relate B with the bulk Hamiltonian Ĥq .We are going to show that The equality (5.16) immediately follows from (5.15) and the identity where qi and qi are the conformal generators, where the first acts on X i and the latter on Z i .This identity follows from the co-variance of the integration measure.To formally derive this almost obvious identity one performs integration by parts and notes that the boundary terms are suppressed by an infinite volume factor Λ in (5.8).
This completes the proof of the duality between the fishnet CFT and the fishchain at the quantum level.
Wave function properties.Here we discuss some properties of the map between the bulk wave function ψ O and what we call the boundary CFT wave function ϕ O .
First, we notice the following property of ψ O (Z 1 , . . ., Z J ). Imagine we send one Z k far from other points Z i , then the main contribution to the integral (5.1) will be received from the domain where x k is far from other integration points.Since the 4D wave function Φ O (X 1 , . . ., X J ) is defined as a correlator of local primary operators with a local operator O, in this limit we should have Φ O 1 X k .X ( 0) .Then, using that we see that the dependence on Z k in ψ O (Z 1 , . . ., Z J ) in this limit should come as a factor Another important limit is when Z i approached the boundary.As we show in appendix B in the limit Z + i → ∞ from (5.9) we get the following asymptotic We see that the bulk wave function approaches the boundary wave function with unit coefficient.Thus for a generic point at the boundary, the wave function should decay as 1/Z + i .This is indeed the behaviour we found in section 4.1 for the case J = 1 and in section 4.2 for J = 2.The second solution of the local constraint Ĉ2,i = −3, which decays faster at the boundary as 1/(Z + i ) 3 , should have a singularity in the bulk as we demonstrated in 4.1.Indeed the integral (5.9) does not have any additional divergences when Z gets deeper into the bulk.We conclude that regularity in the bulk is responsable for selecting the correct physical solution for ψ O (Z 1 , . . ., Z J ).
The fishchain norm.We close this section by reconstructing the CFT correlator from the fishchian wave-function.As discussed in the introduction, the two-point function between any two operators in the u(1) sector is given in terms of the CFT wave-functions by (2.4), which we rewrite here in the new notations (5.20)We now define the corresponding "fishchain norm", ψ O |ψ O such that it is equal to Φ O |Φ O .One can always use (5.19) to relate the bulk wave-function to the boundary one and then plug the results in (5.20).Here however, we construct a direct and more natural map that we refer to as the "fishchain norm".
Consider the regularized integral is the integration measure of a unit radius AdS 5 space and is the covariant derivative in AdS 5 .This integral looks like the direct product of the onshell actions for J scalars in AdS 5 with mass m 2 = −3.Upon integrating by parts the expression inside the brackets in (5.24) becomes −∇ † j M ∇ M j − 3 = −( Ĉj,2 + 3) = 0 so that only the boundary term survives.In appendix B we show that at large Λ i that boundary term is given by Hence, the fishchain norm is given by the coefficient of the log-divergent piece for each scalar It is the only regularisation scheme-independent piece.Namely, we could equivalently use any other radial cutoff in AdS 5 and the coefficient of the logarithm in (5.23) is not affected.Finally, we note that ξ 2J B−1 in (5.12) is self-adjoint with respect to the norm (5.20).Correspondingly, its eigenvalues are all real.The violation of unitarity comes about when equating them to 1 in (2.6) and solving for ∆.Correspondingly, on the dual fishchain side, the operator ξ 2J ( Ĥq + 1) in (3.60) is self-adjoint with respect to the norm (5.24).One heuristic interpretation of the Hamiltomian constraint Ĥq |ψ = 0 is the fishchain analog of the level-matching condition in string theory, ensuring the periodicity of the string in spacetime.The fact that this condition is responsible for the violation of unitarity goes hand in hand with the worldsheet interpretation of γ-deformation as inducing a twist on the sphere.In the fishnet limit that twist is taken to be complex and unitarity is lost.

Integrability
In this section we demonstrate how the quantum integrability arises in the bulk theory.First, we describe the classical integrability based on [8] and then show that it is preserved at the quantum level.

Classical Integrability
The key element of the construction are the 4 × 4 matrices L k (u) defined by where Σ M N are the σ-matrices in 6D.They realise irrep 4 of the conformal algebra so(1, 5) and satisfy10 At the same time the charge density q M N k satisfy the so(1, 5) algebra under the Poisson and the Dirac brackets We note that in application to the current density there is no difference between the Poisson and Dirac brackets, as q i Poisson-commutes with all 2 nd class constraints.Below we just use {•, •} notation without making a distinction between these two brackets.As a consequence of (6.2) it is easy to check that the Poisson bracket between the matrix elements of L k (u) is or, equivalently, in the integrability literature notations where the matrix r(u, v) = P u−v and P is the 16 × 16 permutation matrix.Acting on a tensor product of two 4D vectors P simply interchanges the vectors.
The main consequence of (6.5) is that the T-functions defined as are Poisson-commuting i.e. {T 4 (u), T 4 (v)} P B = 0 (see for example [18]).In order to demonstrate the integrability we should also show that the T-functions Poisson-commute with the Hamiltonian of the fishchain.To embed the Hamiltonian into the integrability construction, we have to follow the so-called fusion procedure (see for example [19]).This construction allows one to build T-functions in irrep 6 and 4.These additional T-functions, together with the T 4 form the complete set of Poisson-commuting quantities.In particular we show that T 6 contains the Hamiltonian H q of the fish chain.
To construct T -function in irrep 6 we use simply that 4 ⊗ 4 = 6 ⊕ 10 Next, we project into 6 by antisymmetrizing w.r.t. the two spaces.Similarly one can construct 4 from the tensor product of 3 copies of 4. For compliteness we also construct the L-matrix in the trivial (determinant) representation 1.This procedure results in ) The above expression is general and does not assume any constraints.In our case, however, X k .X k = P k .X k = 0 so that tr q 2 k = 0 and the above expressions can be simplified.Using the result (6.8) we can see that T 6 contains the Hamiltonian at zero value of the spectral parameter u This means that H q is a part of a large mutually Poisson-commuting family of operators.
From that we see that the model is indeed classically integrable.Finally, we see from (6.8) that L 4 and L 4 are closely related.Let us derive the corresponding relation between T 4(u) and T 4(u).From (6.8) we have We see that up to an explicit factor it coincides with T 4 (−u) after reflecting the order of the particles.This implies that for the states which are symmetric under the reflection i → J − i + 1, those two T-functions are related by u → −u and the multiplication by (−u 2 ) J .

Quantum Integrability
Now we generalise the results of the previous section to the quantum level.The matrix elements of L 4 k become operators themselves, acting on the quantum Hilbert space, and no longer commute with each other As a result instead of the relation (6.4) we get its quantum analog also known as RLL-relation.For simplicity we ommited the site label k and the representation label 4. The R-matrix is given by In order to check that our Hamiltonian Ĥq is a part of the commuting family of operators we have to build L6 (u).However, if we simply replace replace q by q in the classical expression (6.8), the corresponding T-operator will not commute with itself or with T 4 (u).
The right way of doing this is to use the RLL relation (6.12) as a building block, [19].By noticing that We can see now how the quantum Hamiltonian Ĥq appears in the integrability construction.Namely, we see that which shows that the our Hamiltonian H q is a part of the large mutually commuting family of operators which are thus integrals of motion.Finally, like in the classical case we can also construct L4 and L1 .The result is similar to the classical case but contains small extra shifts to the spectral parameters, which disappear in the classical limit [19] L4 Evaluating these combinations explicitly we get: which simplify for tr q2 k = 6 ξ 2 it further reduces to We see that like in the classical case, the T-operators for 4 and 4 are related for the parity symmetric states by T4 (u) = (−1) J u 2 + 1 4ξ 2 J T4 (−u).We also see that the quantum determinant for this model is We can perform the rough counting of the independent integrals of motion.T4 (u) is a polynomial of degree u J and thus contains J − 1 non-trivial operatorial coefficients (the coefficient of u J is always four and u J−1 is zero).Similarly T6 (u) is an operator of degree 2J and contains 2J − 1 non-trivial operators.In addition, T4 (u) provides further J − 1 integrals so that in total we get order ∼ 4J independent integrals of motion, which matches the number of degrees of freedom of the fishchain.We see that the quantum integrability of the fishchain model can be deduced rather easily in comparison to its CFT counterpart (see for comparison Appendix A of [4]).This is due to the explicit SO(1, 5) covariance, which makes the derivation much more tractable.We expect that the separation of variables method, which is yet to be developed, can be applied in this dual formalism in a much more transparent way.

Discussion
In [8] we have derived the dual model to the fishnet CFT.It is a weak to strong coupling duality between the single trace operators of the fishnet CFT in four dimensions and a quantum-mechanical system of particles forming a chain in five dimensions, to which we 11 The extra polynomial factors in T's can be removed by the gauge transformation g(u) = e refer as fishchain.In [8] we only considered the strong coupling limit, where the fishchain theory becomes classical.We have reproduced the strong coupling spectrum of short operators and even some non-trivial correlation functions, known exactly in the CFT.In this paper, we quantize the fishchain model and prove that the duality persists at the quantum level.We show that our result give the correct spectrum of short length operators at finite coupling, reproducing all loop order results from the CFT.Moreover, we have constructed an explicit map between the wave function of the particles constituting the chain and some correlators in CFT valid in general for any operator length in the u(1) sector.This map also directly relates the CFT graph building operator and the quantum Hamiltonian of the dual fishchain model, thus proving the duality at the quantum level.This is the first time when a Holographic dual of a CFT in D > 2 is derived from the first principles and the duality is proven at the quantum level in the planar limit 12 .
An important new feature we found in this paper is the emergence of the AdS 5 space at the quantum level.While the classical model was formulated on the lightcone of R 1,5 , we found that the quantum model naturally lives in AdS 5 .The AdS radius in string units appears to be quantum R AdS ∼ 1 ξ .In the classical limit of the fishchain, the 't Hooft coupling ξ becomes large and reduces the AdS space to the lightcone.
In light of these results, it is important to emphasise the essence of planar holography and the lessons we learn from the explicit construction of a dual pair.What we found is much more than a change of variables.First, the holographic dictionary is such that the dual description becomes classical at strong coupling -the inverse of the 't Hooft coupling 1/ξ plays the role of in the fishchain model.It allows us to perform strong coupling computations by solving a classical system of coupled point particles in the lightcone of R 1,5 .Second, the holographic dual model should exhibit a certain degree of locality.In the case of N = 4 SYM it is described in terms of a Polyakov action with a local interaction on the worldsheet.In our case, the fishchain is a sort of discretized string.Locality in such a discrete model exhibits itself in the canonical kinetic terms and in the nearest neighbours interaction.
There are many interesting and important future directions to pursue.We now discuss a few of them.
First, for simplicity, in this paper, and in [8] we have restricted our considerations to the so-called u(1) subclass of operators.Namely, we considered operators that are only charged under one of the two U (1) global internal symmetries.Extending the construction to any single trace operator in the model requires some extra work and will be reported in [9].
Second, the fishchain model we considered (2.1) is the simplest one in a large family of models [1,20] for which the holographic dual deceptions are not yet known.A particularly interesting case is the supersymmetric versions of fishnets.It would be interesting to derive the fishchain duals of these models which are expected to include fermions and gauged supersymmetry in the bulk.
Third, it would be interesting to extend the duality beyond the strict planar limit by including systematic 1/N corrections.In the fishchain model, these corrections should be represented by a sort of fishchain vertex.Constructing such vertex is essential for a dual description of observable such as three-point functions, where the chain splits. 13ourth, the fishnet model includes two types of single trace operators, which we can call light and heavy.The heavy operators are those, whose conformal dimension is captured by the graph building operator and which grow at least as ξ in the classical limit.Their dimension ∆ is a highly non-trivial function of ξ and these are the operators we study in this paper.On top of these, there is an infinite tower of protected operators, whose dimension stays integer.They have zero anomalous dimension and their planar dynamics is free.Hence, in the planar limit, it is consistent to decouple them from the holographic description of the heavy dynamical single trace states.At higher order in the 1/N expansion, however, they are expected to start interacting.The dual description which goes beyond the strict planar limit must incorporate both of these types of states together with the fishchain vertex between them.It would be very interesting to understand the behaviour of these states beyond planar limit, as they also include the stress-energy tensor.
Fifth, the fishnet model can be viewed as a double scaling limit of γ-deformed N = 4 SYM theory, [1,14].Now, that we have a first principles derivation of the dual for this theory, we can ask how to extend this derivation to the parent theory.To do so, we should turn back on the original string tension √ λ = R 2 AdS /l 2 s .On the CFT side, this can be done systematically, order by order in λ.It would be interesting to work out these corrections for the fishnet and understand their holographic description, (see [7] for a cusped Wilson loops analogue and [24] for a corresponding correction).
Finally, analogous fishnet graphs also exist in other spacetime dimensions and it would be interesting to find their holographic duals.We can divide these types of graphs into two classes.The first class consists of graphs in which all propagators correspond to fields with canonical dimension.It includes, for example, the 3d and 6d graphs considered by Zamolodchikov [2] related to the deformed ABJM model [25,26].We expect the techniques used in this paper and in [8] to generalize rather straightforwardly to this class of graphs.The second class requires non-local kinetic terms on the CFT side.It includes, for example, the graphs of the SYK model [27] as well as some of the generalized fishnet graphs considered in [15] and also BFKL limit of QCD.The non-locality on the boundary could require additional modification of our approach.One sign of additional complexity of this case is that for this second class of graphs, the analog of the light states do not decouple from the heavy states even in the strict planar limit.Correspondingly, we expect their dual description to be more involved but also, potentially, even more intriguing.
Another set of questions is related to the integrable structure of our model.In this paper we have shown that the fishchain model is quantum integrable.The model itself allows for a number of generalisations which would preserve integrability.First, one can introduce non-zero AdS radius already at the classical level and also consider a generaliza-tion of our model on a sphere.One could hope that in a certain continuous limit J → ∞ the fishchain would becomes smooth and could be described by a σ-model.By taking this limit we hope to reproduce the result of Zamolodchikov for the free energy [2] of the fishnet graphs, and reproduce the results of [28] obtained using the TBA methods.Importantly, with this discretization, one could be able to resolve the longstanding problem of quasntization of integrable O(n) σ-models.Assuming this works one could then try to extend this approach to more complicated coset models which in particular describe strings in AdS 5 × S 5 .So far all that one can compute in these models at the quantum level is the semiclassical spectrum around some classical solutions. 14This direction could unlock the first principle derivation of the Zamolodchikov's S-matrix and formfactors in σ-models.It may also allow us to derive the Quantum Spectral Curve starting from the worldsheet theory.Finally, the fishchain is the perfect playground for the development of the separation of variables method, which hopefully would allow us to solve the problem of computing of the correlation functions in planar N = 4 SYM theory.
The equation (4.18) writen explicitly takes the form One can verify that the familiar four-dimensional identity (4) x 1/x 2 = −4π 2 δ 4 (x) becomes δ(X 2 ) in embedding space, which justifies the notation B−1 in (5.12).This is, however, not crucial for our derivation in section 5.
In section 6 we have used the following representation for the 6D σ-matrices − 1 2Z + , Z + z}, so that Z 2 = −1.In the limit when Z + becomes large we approach the boundary of AdS.The following identity holds for general We see that the denominator in the integral (B.1) becomes very narrowly localised around x = z.More precisely we have where ∇ M is given in (5.22).Let us write this integral more explicitly in terms of the Poincaré coordinates Z + and z introduced above.In these coordinates we get where the Poincaré metric g ab is a diagonal matrix diag{1/(Z + ) 2 , (Z + ) 2 , . . ., (Z + ) 2 } so that √ g = (Z + ) 3 .Also g ab is the inverse metric, so that it is clear that the only term which is not suppressed at large Z + is the one with a, b = +:

Figure 1 .
Figure1.Feynman diagrams that contribute to the correlation function of an operator of the form tr (∂ m φ J 1 (φ 2 φ † 2 ) n . . . ) and J φ † 1 scalars are all of fishnet type -made of the iterative wheel as shown on the diagram[12].This structure can be resummed and leads to integrability[2].

Figure 2 .
Figure 2. Dynamics of the fishchain consisting of J = 4 particles (denoted by different colours).The initial conditions are restricted to a 2D plane after projection on the boundary.The plane is parametrized in the radial parameters by the angle φ and the radius r.The third axis corresponds to the time.The drift in φ is due to a non-zero total angular momentum S and the exponential expansion in r is due to ∆ > 0.

Figure 3 .
Figure 3. Due to the quantum corrections we find an emergent non-zero AdS radius.

. 20 )∆
It tells us that the two solutions behave as γ

. 13 )
The RLL-relation ensures that the T-operators at different values of the spectral parameter u commute with each other as operators on the Hilbert space.The T-operators are built in the same way as before i.e.T(u) = tr LJ (u) LJ−1 (u) . . .L1 (u) .(6.14)
ab is an anti-symmetric matrix, fixed by the condition that {f, ϕ a } DB = 0 for any f (x, p).In our case we find {f, g} DB = {f, g} P B − {f, ϕ 2 } P B {ϕ 1 , g} P B − {f, ϕ 1 } P B {ϕ 2 , g} P B .50) Notice that on the constraint (3.50) one can replace Ŷj by Ŷj + α j Pj , with any constant α j without changing Xj in the relation(3.49).It indicates that Ψ, as a function of Ŷi , contains non-physical information and can be further reduced.In other words, the constraint (3.50) fixes the dependence of the wave function under translations of Ŷ in the direction of P and is related to the bulk equation of motion.In addition, the radial direction R 2 i = −Y 2 i is not physical and should decouple from the wave function.This will be demonstrated below in a more formal way.
Now let us process the constraint ϕ j .Using (3.49) on the subspace (3.50) we have Xj