in many respects , degenerate affine hecke algebras seem to be the key behind the fascinating structure of instanton partition functions of 4d @xmath0 gauge theories .
the spherical hecke central ( shc ) algebra constructed in @xcite is a limit of a symmetrized double degenerate hecke algebra ( ddaha ) .
it acts on instanton partition functions as the kanno - matsuo - zhang ( kmz ) transformation of the young diagrams summand , also called _ bifundamental contribution _ @xcite .
shc representations contain @xmath2 subalgebras which is the main reason behind the agt correspondence @xcite . and
indeed , the various proofs of agt correspondence exploit this underlying algebraic structure .
for instance , a set of ( generalized ) jack polynomials have been used in the proofs @xcite based on the free field representation of cft conformal blocks @xcite .
jack polynomials are known to be the eigenstates of the calogero - moser hamiltonian which is one of the shc generators in the polynomial representation relevant to the formal case of gauge groups @xmath3 with @xmath4 @xcite .
the shc algebra has a hopf algebra structure , and it is possible to employ the comultiplication to define a representation of the generators relevant to the case of a higher number of colors ( @xmath5 ) .
this leads to define generalized jack polynomials which diagonalize the calogero - moser hamiltonian acting in a tensor space @xcite .
the first proof of agt correspondence is also based indirectly on shc .
it uses a specific basis of the cft fock space formed by the aflt states .
these states were defined such that the decomposition of conformal blocks coincides with the expression of nekrasov partition functions @xcite .
they were later identified with the generalized jack polynomials @xcite using the free field construction presented in @xcite .
ddaha , from which shc is constructed , is formed by dunkl operators , and contains an infinite number of commuting integrals of motion .
it has a deep connection with the quantum inverse scattering method @xcite , which may lead to a better understanding of the instanton r - matrix proposed by smirnov @xcite and built upon the stable map introduced in @xcite .    in this paper , we are interested in yet another aspect of shc . in @xcite , nekrasov and shatashvili ( ns ) have investigated a limit of the @xmath6-background in which one of the equivariant parameters tends to zero .
they have proposed to express the gauge theory free energy in this limit using the solution of a non - linear integral equation ( nlie ) reminiscent of those derived from the thermodynamical bethe ansatz @xcite .
this proposal was confirmed in @xcite , exploiting the mayer cluster expansion technique to perform the subtle limit . in a different study of the ns limit , bethe - like equations and tq - relations
were also obtained @xcite . in both cases ,
the associated integrable model bare some similarities with the @xmath7 xxx spin chain , and the system of bosons with delta interaction studied by c. n. yang @xcite .
the latter also describes the solution of the quantum non - linear schrdinger equation in a sector of fixed number of particles , and will be referred shortly as _ qnls_. both integrable models are related to hecke algebras , although in a different way .
xxx spin chains ( with open boundaries ) are known to possess a yangian symmetry , which is a representation of the degenerate affine hecke algebra @xcite . on the other hand
, the qnls hamiltonian can be diagonalized by a technique involving dunkl operators . in the case of periodic boundary conditions ,
these operators form with the affine weyl group a ddaha @xcite . in view of these results
, it seems necessary to understand the fate of the shc algebra in the ns limit , and possibly relate it to the algebraic structure of xxx and qnls integrable models .
this paper reports on the first step in this direction .
we focus on a @xmath8 quiver gauge theory with @xmath9 gauge group , @xmath10 fundamental flavors at each node , and a bifundamental matter field .
this theory is asymptotically conformal .
we regard more precisely the bifundamental contribution to the nekrasov instanton partition function .
this quantity depends on two sets of @xmath10 young tableaux , and is a building block for the instanton partition function of more general quivers .
the kmz transformation represents the action of shc generators as a variation of the number of boxes in the young diagrams . in order to proceed to the ns limit
, the action of these generators must be re - written in a suitable manner .
this is done in the second section . in the third section
, we recall the derivation of the bethe - like equations from the invariance of the young diagrams summands under a variation of boxes .
it leads to identify the bethe roots with the instanton positions of the boxes on top of each column .
this identification further provides an expression of the bifundamental contribution .
we then construct a set of operators upon infinitesimal variations of the bethe roots , and show that they obey the shc commutation relations at first order in @xmath1 .
we also recover the kmz transformation in this limit .
finally , in a fourth section , we explain the connection with the outcome of the mayer cluster expansion , and tba - like nlie .
technical details are gathered in the appendices .
the main properties of the shc algebra can be found in @xcite which is the starting point for our rewriting process . in order to render the @xmath1 factors explicit
, we will avoid the notations @xmath11 and @xmath12 , and use instead directly the @xmath6-background equivariant parameters @xmath13 and @xmath1 , together with the shortcut notation @xmath14 .
these parameters are related to the previous quantities through @xmath15 and @xmath16 .
let us emphasize that no limit is taken in this section , and expressions are exact in @xmath13 and @xmath1 .
the building block of quiver partition functions is the so - called _ bifundamental _ contribution .
it is associated to an arrow of the quiver between two nodes @xmath17 .
it depends on the information at each node @xmath18 , encoded in an object @xmath19 , and a mass @xmath20 of bifundamental matter fields .
here we focus on the @xmath8 quiver , with two nodes @xmath21 , and a single fundamental mass @xmath22 for which we drop the index @xmath23 . to each node @xmath18
corresponds a gauge group @xmath24 , and a vector of coulomb branch vevs @xmath25 with @xmath26 the color index .
we further associate to a node @xmath18 the object denoted @xmath19 that consists in a set of @xmath27 young diagrams @xmath28 , together with the vector @xmath25 .
young diagrams @xmath28 are made of @xmath29 columns @xmath30 with @xmath31 .
the dual partition consists of the sequence of integers @xmath32 for @xmath33 .
indices @xmath34 of @xmath30 and @xmath35 can be extended to infinity , setting the additional quantities to be zero . for simplicity , we assume that both nodes have the same gauge group , i.e. @xmath36 .    the bifundamental contribution can be expressed in terms of the variables @xmath37 and the dual ones @xmath38 associated to @xmath19 , and defined as @xmath39 where @xmath40 spans the columns , and @xmath41 the rows of the diagram @xmath28 .
it reads @xmath42=\dfrac{\prod_{l,(i , j)\in y_1}\prod_{l'=1}^{\nc}(\tt_{l , j}^{(1)}-t_{l',i}^{(2)}-\mu+\e_2)\prod_{l,(i , j)\in y_2}\prod_{l'=1}^{\nc}(\tt_{l , j}^{(2)}-t_{l',i}^{(1)}+\mu-\e_1)}{\prod_{a=1,2}\left[\prod_{l,(i , j)\in y_a}\prod_{l'=1}^{\nc}(\tt_{l , j}^{(a)}-t_{l',i}^{(a)}+\e_2)(\tt_{l , j}^{(a)}-t_{l',i}^{(a)}-\e_1)\right]^{1/2}},\ ] ] with @xmath43 the total number of boxes of young diagrams .
this expression has been obtained from the equation ( 6 ) of @xcite under a rescaling of coulomb branch vevs and bifundamental mass : @xmath44 and @xmath45 .
the variable @xmath46 corresponds to a shifted bifundamental mass , it is related to @xmath22 through @xmath47 . in the following we mostly focus on a single object @xmath48 and , to alleviate the notations ,
the label @xmath18 will be dropped when no ambiguity arise .
the shc algebra found in @xcite is acting on states @xmath50 characterized by an object @xmath51 ( we dropped the node index @xmath18 ) . to each box @xmath52
is associated a triplet of indices @xmath53 such that @xmath54 is a box in the @xmath55th young diagram . in our reformulation of the shc algebra , a prominent role
is played by the instanton position which is a map that associates to each box @xmath52 the complex number @xmath56 thus , the variables @xmath57 defined in [ def_tli ] correspond to the instanton positions of the box locations that lay on top of each column @xmath58 .
similarly , @xmath59 is the instanton position of a box located directly on the right of each row .
we denote @xmath60 ( resp .
@xmath61 ) the set of boxes that can be added to ( resp . removed from )
the set @xmath60 is a subset of the locations with positions @xmath57 , and also of the locations with positions @xmath59 .
likewise , the set @xmath61 is a subset of the locations with positions @xmath62 , and @xmath63 : @xmath64 note that for each young diagram the number of boxes one can add is always one plus the number we can remove : @xmath65 where @xmath10 is the number of young diagrams in @xmath51 .    in the original paper @xcite
, the kmz transformation is expressed using a decomposition of young diagrams into elementary rectangles .
this rectangle decomposition is useful to characterize the coordinates of boxes in the sets @xmath60 and @xmath61 .
however , it turns out that this information is not essential to the formulation of the kmz transformation .
it is sufficient to use the instanton positions @xmath66 for @xmath67 or @xmath68 without specifying the coordinates of these boxes in the young diagrams . omitting this information results in simpler expressions for the shc generators and the kmz transformation .
the transition between the notations of the kmz paper @xcite and ours is explained in the appendix .
it may be summarized by the formulas [ transition_1 ] and [ transition_2 ] .
one of the main simplifications in our formalism concerns the factors @xmath69 given by equ ( 12 ) and ( 13 ) in @xcite that can be merged into a single quantity , @xmath70 note that the term @xmath71 has to be removed from the left product if @xmath67 and the right one for @xmath68 .
the expression remains valid if @xmath72 with both products complete . in the limit @xmath73 ( or @xmath74 )
, we trivially have @xmath75 . the factors @xmath76 play a major role in the definition of the shc algebra , and it is important to study their properties .
they correspond to the residues at the poles of the function @xmath77 which can be decomposed as @xmath78 an infinite tower of identities can be obtained through an expansion at @xmath79 .
the first identities are given in the appendix .
operators of the shc algebra act on the states @xmath50 by adding or removing boxes .
we denote @xmath80 and @xmath81 the object @xmath51 with a box @xmath67 ( resp @xmath68 ) added to ( removed from ) the set of young diagrams .
the behavior of the coefficients @xmath76 under such a procedure is remarkably simple : @xmath82 where we introduced the function @xmath83 it is important to note that the quantity @xmath84 is independent of the young diagrams .
let @xmath68 , the first formula in [ shift_l ] is valid if @xmath85 or @xmath86 .
it breaks down if @xmath87 but @xmath88 which corresponds to the poles of @xmath84 for @xmath89 or @xmath1 ( boxes under @xmath90 or on the left ) .
extending the definition of @xmath91 to @xmath92 , @xmath93 in [ shift_l ] has to be replaced by its residue divided by @xmath94 .
when @xmath95 but @xmath96 , i.e. @xmath71 , we have to replace @xmath97 by one .
the same comment is valid for @xmath67 : if @xmath98 but @xmath96 , it implies that @xmath99 or @xmath1 ( boxes above @xmath90 or on its right ) and the pole of @xmath93 has to be replaced by the residue divided by @xmath94 . for @xmath100 , we have @xmath101 .
we are now ready to introduce the generators @xmath102 of the shc algebra .
the index @xmath103 runs over all integers and is referred as the _ degree _ , whereas the second index @xmath22 is a positive integer called the _
order_. the action of these generators on the states @xmath50 is known in a closed form only for the operators of degrees @xmath104 and @xmath105 . for those operators we introduce the generating series @xmath106 the construction of these operators from the degenerate affine hecke algebra is done in @xcite . for @xmath107 , the generators @xmath108 in the polynomial representation are symmetric polynomials of the cherednik(-dunkl ) operators for the calogero - moser model . in particular ,
@xmath109 coincide with the hamiltonian of this integrable system , and the states @xmath50 can be identified with the eigenbasis of jack polynomials .
the operators @xmath110 are built by exploiting the pieiri formula satisfied by jack polynomials @xcite . at @xmath111 ,
it is possible to exploit the hopf algebra structure of shc to define a tensor representation for @xmath108 @xcite .
then , the states @xmath50 should be identified with the generalized jack polynomials which diagonalize the comultiplication of @xmath109 @xcite .
the action of the generators on states @xmath50 is defined by the formulas ( 38)-(40 ) of @xcite , which can be rewritten as @xmath112 the commutation relations ( 22)-(23 ) of @xcite can be summed up to produce @xmath113=\pm\dfrac{d_{\pm1}(w)-d_{\pm1}(z)}{z - w},\quad [ d_{-1}(z),d_1(w)]=\dfrac{e(w)-e(z)}{z - w},\ ] ] where we defined another generating series : @xmath114    the specific properties of the shc algebra comes from the expressions of the generators @xmath115 as a function of degree zero operators .
they are encoded in the identity @xmath116 with the functions @xmath117 the central charges @xmath118 are the miwa transformed of the coulomb branch vevs , @xmath119 it is possible to deduce the action of @xmath120 on states @xmath50 from [ rel_e_d0 ] and the action [ act_d ] of @xmath121 : ] ] @xmath122 with the function @xmath93 defined in [ def_rz ] . in the rhs
, the product over @xmath123 and coulomb branch vevs reduces to the function @xmath124 as a result of the identity @xmath125     in the @xmath126 half - plane . in green ,
the generators forming @xmath121 and @xmath127 for which the action on the states @xmath50 is known . in blue and red , the modes of the @xmath128 current and stress - energy tensor respectively .
black arrows represent the commutation relations [ def_hg].,width=340 ]    operators of higher degree are constructed using the following commutation relations @xmath129 : @xmath130,\quad d_{\pm
n , m}=\pm[d_{0,m+1},d_{\pm n,0}].\ ] ] from these commutation relations , the generators of degree zero and @xmath105 engenders the whole algebra .
in particular , the @xmath128 and virasoro subalgebras are generated by the modes of the current @xmath131 and stress - energy tensor @xmath132 defined with generators of * order * zero and one : @xmath133 a summary of the different relations between the shc generators can be found in figure .
the generators of virasoro and @xmath128 subalgebras are orthogonal to the operators composing the series @xmath121 and @xmath127 .
the standard current and virasoro modes commutation relations can be recovered from [ comm_shc ] and [ def_hg ] .
however , this nested calculation rapidly becomes impractical .
the kmz transformation is generated by the operators @xmath134 in @xcite .
here , we use instead the generating series @xmath135 in our notations , they act on the bifundamental contributions [ cz_yy ] as @xmath136&=\sum_{x\in a(y_1)}\dfrac{\l_x(y_1)}{z-\phi_x}\cz[y_1+x , y_2]-\sum_{x\in r(y_2)}\dfrac{\l_x(y_2)}{z-\mu-\phi_x}\cz[y_1,y_2-x].\\ \d_{+1,z}\cz[y_1,y_2]&=-\sum_{x\in r(y_1)}\dfrac{\l_x(y_1)}{z-\phi_x}\cz[y_1-x , y_2]+\sum_{x\in a(y_2)}\dfrac{\l_x(y_2)}{z+\e_+-\mu-\phi_x}\cz[y_1,y_2+x ] .
\end{split}\end{aligned}\ ] ] the operator @xmath137 combines an action of @xmath138 on the state @xmath139 ( first term ) and an action of @xmath140 on @xmath141 ( second term ) . in @xmath142 , the actions of @xmath127 are exchanged : @xmath143 now acts on @xmath139 and @xmath144 on @xmath141 .
it is possible to work at fixed box @xmath90 using a contour integral circling @xmath66 . for @xmath145
, we have @xmath146}=\pm\l_x(y_1)\cz[y_1\pm x , y_2].\ ] ]    the covariance of the bifundamental contribution @xmath147 $ ] under the kmz transformation involves the functions @xmath148 note that the minus one in the rhs subtracts the pole at @xmath149 . under the kmz transformation ,
@xmath147 $ ] behaves as @xmath150=u_{\pm1,z}\cz[y_1,y_2].\ ] ] at fixed box @xmath151 this relation writes @xmath152=\dfrac{\prod_{y\in r(y_1)}(\phi_x-\phi_y-\e_+)\prod_{y\in a(y_2)}(\phi_x-\phi_y-\mu+\e_+)}{\prod_{{\genfrac{}{}{0pt}{}{y\in a(y_1)}{y\neq x}}}(\phi_x-\phi_y)\prod_{y\in r(y_2)}(\phi_x-\phi_y-\mu)}\cz[y_1,y_2].\ ] ] a similar relation can be obtained for @xmath153 by exchanging @xmath154 , and replacing @xmath155 .
we now recall the derivation of the bethe equations in the ns limit along the lines of @xcite .
the derivation exploits the covariance of summands of the partition function under variation of the number of boxes in young diagrams .
we argue that the main contribution to the partition function comes from young diagrams with columns of infinite height , and multiplicity one .
the profile of these diagrams is fully encoded in a set of bethe roots which will be used to express the partition function .      in @xcite ,
nekrasov and okounkov have exposed a procedure to compute the instanton partition function in the seiberg - witten limit @xmath156 . in this limit ,
young diagrams become infinitely large , and are described by a continuous profile minimizing an effective action .
this method was later extended to the ns limit @xmath157 in @xcite .
it relies on the idea that young diagrams summations are dominated by a set of young diagrams with a specific profile .
this profile is an extremum , which implies that small deformations of the profile , typically by adding or removing some boxes , vanish at first order . and indeed the requirement of invariance under adding or removing boxes leads to bethe - like equations that characterizes the ns limit @xcite .
we review this method here .
the instanton partition function of the @xmath8 quiver reads @xmath158=\sum_{y_1,y_2}q_1^{|y_1|}q_2^{|y_2|}\cz[m_1,y_1]\cz[y_1,y_2]\cz[y_2,m_2],\ ] ] where the sum is over all the possible realizations of @xmath159 for a fixed set of coulomb branch vevs . the objects
@xmath160 encode the fundamental flavors content of the theory .
they consist of @xmath161 empty young diagrams , and a vector @xmath162 with @xmath163 corresponding to the masses of the @xmath161 flavors in the fundamental representation .
they are such that @xmath164 and @xmath165 . to be able to use the transformation properties of the previous subsection , we need to require @xmath166 .
in addition , the bifundamental mass @xmath46 is equal to zero for both @xmath167 $ ] and @xmath168 $ ] .
the variation of the summand under addition of a box @xmath151 can be computed using the kmz transformation [ cz_yy_shift1 ] of bifundamental contributions : @xmath169\cz[y_1+x , y_2]}{q_1^{|y_1|}\cz[m_1,y_1]\cz[y_1,y_2]}\\ = & -\dfrac{q_1}{\e_1\e_2}m_1(\phi_x)\dfrac{\prod_{y\in r(y_1)}(\phi_x-\phi_y)(\phi_x-\phi_y-\e_+)}{\prod_{{\genfrac{}{}{0pt}{}{y\in a(y_1)}{y\neq x}}}(\phi_x-\phi_y)(\phi_x-\phi_y+\e_+)}\dfrac{\prod_{y\in a(y_2)}(\phi_x-\phi_y-\mu+\e_+)}{\prod_{y\in r(y_2)}(\phi_x-\phi_y-\mu)}. \end{split}\end{aligned}\ ] ] the mass polynomial @xmath170 can be found in [ pot_quiver ] below , it is monic , with zeros at the value of the fundamental masses @xmath171 for @xmath163 . to recover the bethe equations from the condition @xmath172\cz[y_1+x , y_2]}{q_1^{|y_1|}\cz[m_1,y_1]\cz[y_1,y_2]}=1,\ ] ] we assume that the configurations of young diagrams that contribute in the ns limit are such that all columns have a different height . as a consequence ,
a box can be added or removed from any column .
furthermore , the columns heights are sent to infinity , such that the products @xmath173 remain finite .
we then identify the bethe roots with the instanton positions of the boxes on top of each column .
these also coincide with the position of boxes that can be added and removed , up to a negligible shift in @xmath1 : @xmath174 such an identification was actually already made in @xcite .
the assumption on the shape of young diagrams will be justified by the consistency observed with the results of the mayer cluster expansion .
there is however a simple heuristic explanation : to keep @xmath57 finite as @xmath157 , we effectively rescaled the young diagrams columns by @xmath175 which increases the disparities between them . , which should correspond to strings solutions of the bethe equations .
a priori , there are no such solutions for the bethe equations [ bethe_1 ] , but it could be interesting to perform a deeper analysis of some degenerate situations . ]
there is however a small additional subtlety , since there is always one more box that can be added to a young diagram than that can be removed . for each @xmath19
, these @xmath176 extra boxes lie on the right of the diagrams , at positions @xmath177 . in [ id_sets ] , we have specified the set @xmath178 , excluding the extra boxes at position @xmath179 .
if we are considering young diagrams with infinitely many columns , implying that the number of bethe roots is also infinite , these extra boxes can be neglected and @xmath180 . here
, we will keep the number of columns finite , and @xmath29 will act as a cut - off , as in @xcite . to each node of the quiver
is associated a set of bethe roots . for the @xmath8 quiver
, we denote the two sets of bethe roots @xmath181 and @xmath182 for the nodes @xmath183 and @xmath184 respectively , with @xmath185 . from this identification
, we find for @xmath186 that the rhs of [ var_cz_yy ] becomes comes from the box @xmath187 just below @xmath90 which is such that @xmath188 .
] @xmath189 the second equation is obtained from the variation of the profile of @xmath190 , it is identical to the first one with @xmath181 and @xmath182 exchanged , and @xmath191 .
these two sets of equations form the so - called bethe - like equations of the @xmath8 quiver .
the factors @xmath192 , given by ( @xmath193 ) @xmath194 disappear for infinitely large young diagrams .
the young diagrams with infinite profiles are the natural states on which the shc generators act in the ns limit .
let us consider a regular object @xmath51 ( with a finite number of boxes ) , and pick a box @xmath195 with coordinates @xmath54 .
it is shown in the appendix that @xmath196 unless @xmath197 which gives @xmath198 .
thus , the summation of boxes @xmath199 defining the action [ act_d ] of @xmath127 on the states @xmath50 can be replaced by a much simpler summation over the number of colors .
the argument breaks down for young tableaux of infinite profile , for which the difference of height between two neighboring columns times @xmath1 becomes macroscopic .
then , @xmath76 is of order @xmath200 for all boxes in @xmath201 , and the action of @xmath127 on the corresponding states involves a non - trivial summation over the whole set of bethe roots .    to summarize , we have found that for any test function @xmath202 , we have for the ns limit of the object @xmath51 : @xmath203 in particular , the function @xmath124 becomes : @xmath204 the first factor tends to one if we send the cut - offs @xmath205 .      in the ns limit ,
we rescale the generators @xmath206 to define @xmath207 with @xmath208 .
it implies that the limit of the generating series [ def_d ] reads @xmath209 the commutation relations [ comm_shc ] become @xmath210=\pm\e_2\dfrac{d_{\pm1}(w)-d_{\pm1}(z)}{z - w},\quad [ d_{-1}(z),d_1(w)]=\e_2\dfrac{e(w)-e(z)}{z - w},\ ] ] with @xmath211 and @xmath212 . to obtain the relation between modes @xmath213 and @xmath214 from [ rel_e_d0 ] we need to take the limit of the functions @xmath215 and @xmath216 with @xmath217 fixed . :
\end{split}\end{aligned}\ ] ] ] we deduce @xmath219d_{0,n}\right),\ ] ] with the function @xmath220 depending on the finite rescaled central charges @xmath221 : @xmath222    the current and virasoro modes scale as @xmath223 the rescaling of the liouville field by @xmath224 in the semiclassical limit indeed brings a factor @xmath1 to the virasoro modes since @xmath225 and @xmath226 .
we note that most of the correlators are now vanishing at leading order in @xmath1 , including @xmath227=o(\e_2)$ ] .
this is to be expected since @xmath1 plays the role of @xmath228 in the semiclassical limit of liouville theory . in this limit ,
a virasoro algebra with @xmath229 is still present , but the commutators must be replaced by poisson brackets @xcite .
it would be extremely interesting to investigate this phenomenon more deeply , but it is out of the scope of this paper .
our choice of rescaling for @xmath230 renders the kmz transformation [ kmz ] finite , @xmath231=u_{\pm1,z}\cz[y_1,y_2],\ ] ] where we absorbed the factor @xmath232 in the definition of @xmath233 , and the functions defined in [ def_u ] simplifies into @xmath234 with : @xmath235 the factors containing @xmath236 cancel each - other in the limit @xmath237 .
the shc algebra is rather disappointing in the ns limit since all commutators vanish .
it is however possible to obtain non - trivial commutation relations under the rescaling of @xmath238 by @xmath239 and @xmath240 by @xmath241 : @xmath242=\pm\dfrac{d_{\pm1}(w)-d_{\pm1}(z)}{z - w},\quad [ d_{-1}(z),d_1(w)]=\dfrac{e(w)-e(z)}{z - w}.\ ] ] the commutation relations for @xmath243 $ ] will also be of order one .
note however that the relation [ rel_e_d0_ii ] between @xmath244 and @xmath214 generators simplifies : the rhs becomes @xmath220 which is independent of the @xmath214 generators : @xmath213 are now simple central charges .
we expect this algebra to be realized by some operators of the integrable system . in that respect ,
it is satisfying to see that the infinite number of modes @xmath214 remain commuting , and might be identified with the conserved charges built upon dunkl operators in qnls .
the previous description of the ns limit for the objects @xmath19 allows to derive the limit of the bifundamental contribution @xmath147 $ ] defined in [ cz_yy ] .
this quantity depends on two sets of bethe roots , and will be denoted @xmath245 $ ] .
the derivation is a bit lengthy , it is done in the appendix .
the main technicality is to get rid of the dependence in the dual variables @xmath246 .
the final expression is dependence since @xmath247=o(1)$ ] as @xmath157 . ]
@xmath248&=\prod_{r=1}^{n_b^{(1)}}\prod_{l=1}^{\nc}\dfrac{g(u_r-\xi_l^{(2)}+m+\e_1/2)}{\sqrt{g(u_r-\xi_l^{(1)})g(u_r-\xi_l^{(1)}+\e_1)}}\prod_{r=1}^{n_b^{(2)}}\prod_{l=1}^{\nc}\dfrac{g(v_r-\xi_l^{(1)}-m+\e_1/2)}{\sqrt{g(v_r-\xi_l^{(2)})g(v_r-\xi_l^{(2)}+\e_1)}}\\ & \times \prod_{r , s=1}^{n_b^{(1)}}\left(\dfrac{g(u_r - u_s-\e_1)}{g(u_r - u_s+\e_1)}\right)^{1/4}\times\prod_{r , s=1}^{n_b^{(2)}}\left(\dfrac{g(v_r - v_s-\e_1)}{g(v_r - v_s+\e_1)}\right)^{1/4}\times\prod_{r=1}^{n_b^{(1)}}\prod_{s=1}^{n_b^{(2)}}\dfrac{g(u_r - v_s+m+\e_1/2)}{g(u_r - v_s+m-\e_1/2)}. \end{split}\end{aligned}\ ] ] this expression involves the function @xmath249 defined as @xmath250 .
this function has a branch cut on the negative real axis , such that @xmath251 .
it implies that the expression we provided for @xmath245 $ ] is ambiguous , and the sheet where @xmath90 lies in @xmath249 must be specified . in the next section
, the logarithm of @xmath245 $ ] will be related to a yang - yang functional that involves , in addition to the two sets of bethe roots @xmath252 ( @xmath253 , @xmath254 ) , two sets of integers @xmath255 that can be associated to the sheets of the function @xmath249 .
we will further justify that this ambiguity is irrelevant for the kmz transformation .    the function @xmath249 satisfies the property @xmath256 at first order in @xmath1 .
it allows to study the variation of @xmath257 $ ] under an infinitesimal shift of one bethe root : @xmath258 .
the constant factors @xmath259 cancel each other in the ratios , and we get @xmath260}{z[u_r , v_s]}=\prod_{l=1}^{\nc}\dfrac{(u_{r'}-\xi_l^{(2)}+m+\e_1/2)^{\pm1}}{\left[(u_{r'}-\xi_l^{(1)})(u_{r'}-\xi_l^{(1)}+\e_1)\right]^{\pm\frac12}}\prod_{{\genfrac{}{}{0pt}{}{s'=1}{s'\neq { r'}}}}^{n_b^{(1)}}\left(\dfrac{u_{r'}-u_{s'}-\e_1}{u_{r'}-u_{s'}+\e_1}\right)^{\pm\frac12}\prod_{s'=1}^{n_b^{(2)}}\left(\dfrac{u_{r'}-v_{s'}+m+\e_1/2}{u_{r'}-v_{s'}+m-\e_1/2}\right)^{\pm1}.\ ] ] a similar expression is obtained by considering shifts of the bethe roots @xmath261 , exchanging the role of @xmath181 and @xmath261 and flipping the sign of the bifundamental mass .    from now on , we send the cut - offs @xmath262 such that the first product in the previous expression vanishes . in order to define the shc generators , we need to introduce a decomposition of the function @xmath263 as a sum over its poles , as we did for @xmath124 in [ prop_l ] : @xmath264 the factors @xmath265 play a role equivalent to @xmath76 in the ns limit since @xmath266 . the information of the states @xmath50 is encoded in the young diagrams structure . in the ns limit ,
this information is rendered by the knowledge of the set of bethe roots @xmath267 .
it is then natural to introduce a state @xmath268 which is an eigenstate of @xmath238 with the eigenvalue @xmath269 this definition of the action of @xmath238 will become clear in the next section .
the second term in the rhs acts as a regulator to ensure @xmath270 at infinity .
the generators constituting @xmath244 are also diagonal in the basis @xmath268 , with @xmath271|u>=\l(z)^2|u>\ ] ] inherited from [ vp_e0 ] .
finally , the action of @xmath127 involves the addition or subtraction of boxes to the young diagrams .
these variations of the columns height generates shifts of the bethe roots .
using an exponential notation for shift operators , we define @xmath272 in this definition , we employed the dunkl operator @xmath273 such that @xmath274 .
it satisfies with the shift operators the commutation relation @xmath275=\pm\e_2e^{\pm\e_2\p_r}$ ] .
the operator @xmath276 is obtained from @xmath265 by replacing @xmath181 with @xmath273 , it satisfies @xmath277=\pm\e_2e^{\pm\e_2\p_s}\p_s\hat\l_r$ ] .
an explicit calculation shows that the operators @xmath278 obey the commutation relations [ comm_d ] of shc at first order in @xmath1 .
in addition , expanding over @xmath279 , one can show that the generators @xmath214 and @xmath213 are related as in [ rel_e_d0_ii ] .
gives @xmath280|u>,\ ] ] with @xmath281 for @xmath282 with @xmath283 and @xmath284 .
this expression can be plugged into [ rel_e_d0_ii ] , and the summation over @xmath103 performed with the help of [ form_gn ] .
it reproduces the function @xmath263 . ]
the action of @xmath240 on the bifundamental contributions is obtained from [ shift_z ] . in this expression ,
one recognize the decomposition of @xmath285 over the poles at @xmath286 .
defining the kmz transformation as in [ kmz_cz ] : @xmath287 where we indicated on which set of bethe roots the operator is actually acting , we recover exactly the kmz transformation [ kmz_ns ] .
it is interesting to note that in order to satisfy the shc commutation relations , it is sufficient to expand in @xmath1 the shift operators in the definition of @xmath240 , and keep only the terms of order @xmath288 .
however , the full exponential is needed to obtain the kmz transformation .
the instanton partition function of @xmath0 gauge theories has been originally obtained as a set of coupled contour integrals @xcite . in the case of the @xmath8 quiver ,
@xmath289 with @xmath290 .
the integration contours over the instanton positions @xmath291 lie along the real axis .
they are closed in the upper half plane but avoid possible singularities at infinity .
the potential attached to a node @xmath18 is a ratio involving the mass polynomial @xmath170 and the gauge polynomial @xmath292 .
these monic polynomials have zeros respectively at the value of the masses @xmath293 of fundamental matter fields , and at the coulomb branch vevs @xmath25 : @xmath294 as in the first section , we have assumed that both nodes have a gauge group @xmath295 and @xmath176 fundamental flavors . the kernel @xmath296 is associated to the nodes , and @xmath297 to the arrow @xmath298 .
the latter depends on the bifundamental mass @xmath299 .
the expressions of the kernels @xmath296 and @xmath297 can be found in @xcite , they are reproduced in the appendix .
they both depend on the @xmath300-background equivariant parameters @xmath301 which are assumed purely imaginary .
coulomb branch vevs have a positive imaginary part , and fundamental masses @xmath293 are real .
the integrals can be evaluated as a sum over residues , and poles are known to be in one to one correspondence with the boxes of the set of objects @xmath19 through the map [ map_phix ] .
the resulting expression for the @xmath8 quiver has been given in [ decomp_cz ] .
however , the integral definition reveals more convenient for taking the ns limit .
this procedure has been described in @xcite .
we employ here the method of @xcite , which has been performed only in the case of a single gauge group .
it is easily extended to arbitrary quivers , this is done in the appendix .    in the appendix ,
two different expressions of the partition function in the ns limit are provided ( equ [ sgc_onshell ] and [ cluster_hadron ] ) .
the first one will be studied in the next subsection , it reproduces the familiar form of the yang - yang functional @xcite .
the underlying bethe equations are related to those derived in the third section , thus bringing a justification for the assumption made on the shape of young diagrams in the ns limit .
the bifundamental contribution @xmath245 $ ] given in [ zuv ] can be recovered from the yang - yang functional , and we will be able to comment on its ambiguities .
the second expression for the ns partition function is derived in the appendix , and will be studied in the subsection .
it consists of a sum of coupled integrals reminding of a matrix model .
the integration variables are interpreted as the position of hadrons in a one dimensional space .
they can be formally related to the bethe roots , and we will deduce the eigenvalues [ d0_ur ] of the operator @xmath238 .      in @xcite , it was claimed that the free energy at first order in @xmath1 can be expressed as an on - shell effective action .
this result is derived for the @xmath8 quiver in the appendix .
the action [ sgc_onshell ] depends on two fields indexed by the node @xmath18 : the density @xmath302 and the pseudo - energy @xmath303 .
the equations of motion relate these two fields as @xmath304 and produce for the fields @xmath303 a set of nlie , @xmath305 with the kernels @xmath306 and @xmath307 , @xmath308 in the nlie [ nlie_quiver ] , the integration is done over the same contour as in the original definition [ cz_a2 ] of the partition function @xmath309 .
the set of nlie [ nlie_quiver ] is characteristic of the thermodynamical bethe ansatz technique developed in @xcite .
it is usually associated to the following system of bethe equations , @xmath310 indeed , the method elaborated in @xcite shows that the counting functions @xmath311 obey the nlie [ nlie_quiver ] with an appropriate contour of integration .
are defined such that they take integer values at the bethe roots @xmath312 , for instance @xmath313 they are identified with the pseudo - energy as @xmath314 . ]
this method is briefly reviewed in @xcite .
in particular , it was observed that the derivative of the field @xmath302 correspond to a density of bethe roots : ] for @xmath90 inside the integration contour ( i.e. @xmath315 ) which will always be the case . ]
@xmath316 with the shortcut notations @xmath317 and @xmath318 .    comparing the bethe equations [ bethe_2 ] with those obtained in the second section
, we observe that they match only in the formal case @xmath319 .
the mismatch comes from missing factors in the node potential [ bethe_1 ] .
however , if we decompose the set of bethe roots @xmath320 into a set of fixed variables @xmath321 with @xmath40 and @xmath322 , and a set of free variables @xmath323 , then we observe that the bethe equations [ bethe_1 ] for @xmath320 become the bethe equations [ bethe_2 ] for @xmath323 .
thus , to each solution @xmath324 of the bethe equations [ bethe_2 ] corresponds a solution @xmath325 of [ bethe_1 ] with the additional roots given by @xmath326 .
it results from this identification that the relation [ id_densities ] among densities is modified for the bethe roots @xmath252 , @xmath327 inserted in the integrals of [ nlie_quiver ] through the relation [ def_ve ] , this amended identity gives an expression of the pseudo - energy in terms of the bethe roots @xmath252 where @xmath328 is replaced with @xmath329 .. \ ] ] ] it allows to identify @xmath314 with the counting function associated to the bethe equations [ bethe_1 ] .
those equations are obtained by imposing @xmath330 , i.e. @xmath331 .
interestingly , the correction term in [ id_densities_ii ] reproduces the part of the density involved in the perturbative contributions to the gauge theory partition function @xcite .
it allows to interpret the bethe equations [ bethe_1 ] of the second section as the extremum of the full @xmath0 partition function , including the perturbative contribution . is not present . ] on the other hand , the bethe equations [ bethe_2 ] obtained here describe the extremization of the instanton contribution only .
we now examine the free energy @xmath332 derived from the on - shell action [ sgc_onshell ] . instead of the pseudo - energies @xmath303
, we prefer to work with the counting functions @xmath311 , @xmath333+\cf_{12}[\rho_1,\rho_2]+\sum_{a=1,2}\sj[\rho_a,\eta_a].\ ] ] in the rhs , we have singled out the parts that depend on @xmath334 : @xmath335=-2i\pi\int{\rho(x)\eta(x)dx}+\dfrac1{2i\pi}\int{\text{li}_2\left(e^{2i\pi\eta(x)}\right)dx},\ ] ] and decomposed the remaining term into three contributions : @xmath336&=\dfrac14\int{\rho_a(x)\rho_a(y)g(x - y)dxdy}+\int{\rho_a(x)\log\left(\dfrac{q_am_a(x)}{\sqrt{a_a(x)a_a(x+\e_1)}}\right)}dx,\\ \cf_{12}[\rho_1,\rho_2]&=\dfrac14\sum_{a=1,2}\int{\rho_a(x)\rho_a(y)g(x - y)dxdy}+\int{\rho_1(x)\rho_2(y)g_{12}(x - y)dxdy}\\ & + \sum_{a=1,2}\int{\rho_a(x)\log\left(\dfrac{a_{b\neq a}(x+m_{ab}+\e_1/2)}{\sqrt{a_a(x)a_a(x+\e_1)}}\right)}dx . \end{split}\end{aligned}\ ] ] in these expressions , the densities @xmath302 can be replaced by the bethe roots density @xmath337 using an integration by parts and the relation [ id_densities_ii ] , leading to summations over bethe roots @xmath181 and @xmath261 . in particular , the exponential of
@xmath338 $ ] reproduces the expression found in [ zuv ] for @xmath245 $ ] , @xmath339}\equiv z[u , v],\ ] ] up to ambiguities of the same nature as in section three .
similarly , @xmath340 $ ] reproduces the ns limit of the matter bifundamental contributions @xmath341 $ ] .
it is noted that , if there are several solutions to the bethe equations , the partition function is a sum over the contributions of each solution .
we have thus shown that @xmath342 and @xmath343 reproduce the partition function of the @xmath8 quiver derived in the second section .
but we have here an additional term @xmath344 $ ] that remains to be treated . to do so , we repeat the trick used in @xcite : in [ cs_rho_eta ] , the second integral simplifies using an integration by parts and the relation between the density and the counting function derived from [ def_ve ] .
one of the terms obtained cancel with the first term in the expression of @xmath344 $ ] , and it only remains @xmath345=2i\pi\int{x\rho'(x)\eta(x)dx}.\ ] ] for the first node , it gives from [ id_densities_ii ] in terms of the bethe roots : @xmath346=-2i\pi\sum_ru_r\eta_r^{(1)}+2i\pi\sum_{l=1}^{\nc}\sum_{i=1}^{n_l^{(1)}}\bx_{l , i}^{(1)}\eta_1(\bx_{l , i}^{(1)}).\ ] ] with @xmath347 .
the second term in the rhs is independent of the bethe roots , and simply produces an overall constant factor .
the first term is more interesting since it has the same form as the ambiguity arising in [ zuv ] from @xmath348 rotations of the argument of the functions @xmath249 .
since @xmath349 is an integer , a shift of @xmath350 leads to a variation @xmath351 which vanishes when exponentiated with a factor @xmath175 .
thus , this ambiguity does not interfere with the kmz transformation we have defined .
the full expression @xmath352 $ ] reproduces the yang - yang functional of qnls , up to the potential term .
thus , [ d0_ur ] and [ d1_ur ] define an action of the shc operators at first order in @xmath1 on the yang - yang functional of an integrable system .
another expression of the partition function @xmath309 in the ns limit has been obtained in the appendix , @xmath353 with the integrand @xmath354 this expression is a consequence of a phenomenon of _ clustering _ or _ confinement _ of the instantons as @xmath157 . indeed , the integrations in the original expressions [ def_cza2 ] are done over the positions of @xmath355 instantons denoted @xmath291 .
it is common in the study of random matrix models to see the integration variables @xmath291 as pseudo - particles of color @xmath18 , in an external potential @xmath356 , and interacting through the kernels @xmath296 and @xmath297 . in the ns limit
, a number @xmath357 of instantons at positions @xmath358 ( @xmath359 ) may become very close to each other due to the infinitely strong short - range interaction of @xmath360 .
these instantons , at a distance @xmath361 of each - other , can be approximated by a single particle of _ charge _
@xmath357 and _ center of mass _ @xmath362 . by analogy with quarks bound states
, it will be called a _
this phenomenon is described with more details in @xcite .
the factors @xmath363 in the summation [ cz_a2 ] are a consequence of the interaction between the elementary instantons composing a hadron . for the second node
, hadrons positions are denoted @xmath364 and they have the charge @xmath365 .
the equality [ cz_a2 ] holds at leading order in @xmath1 .
both sides contain @xmath1 corrections that do not match .
to extract the leading order in @xmath1 , ( generalized ) matrix model techniques can be employed @xcite .
a mayer expansion can also be considered , the first order free energy being expressed as a sum over connected clusters with a tree structure , and vertices associated to hadrons .
the free energy in the ns limit is equal to the legendre transform of the canonical free energy at large @xmath366 , where @xmath366 is the conjugate variable of the chemical potential @xmath367 . in this setting , only configurations @xmath368 with @xmath369 contribute to the leading order .
the charges @xmath357 are supposed to be finite , and the sum is over @xmath370 .
thus , we will consider that for any test function @xmath371 , the following summations are of order one : @xmath372      in the hadronic formulation , the pseudo - energy is seen as a lagrange multiplier enforcing the following identities , @xmath373 where the field @xmath302 is defined as the dressed vertex of the mayer expansion . although pertaining to different contexts , it is instructive to formally identify these densities with the fields of the previous subsection , and use [ id_densities_ii ] to provide a bridge between the expressions in terms of @xmath374 and @xmath181 variables .
it is possible to give another argument in favor of the relation [ id_densities_ii ] between variables @xmath374 and @xmath181 .
let @xmath371 be a test function without singularities in the upper half plane .
is a polynomial in @xmath90 , or the generating function @xmath375 for @xmath376 . ]
the summation [ sum_kfx ] of @xmath377 can be interpreted as an operator evaluated in the statistical average that defines the ns partition function [ cz_a2 ] . as such
, it is the ns limit of the operator @xmath378 evaluated as the vev associated to the original partition function [ def_cza2 ] .
this vev can also be computed as a sum over residues , and since @xmath371 has no singularities within the contour of integration , we find @xmath379 with the object @xmath380 defined in the first section , and the map @xmath381 in [ map_phix ] .
thus , in the ns limit , we can formally replace @xmath382 and similarly for @xmath190 and the variables @xmath383 .
the consistency with the identification of bethe roots as the position of boxes on young diagrams edges [ dico_ur ] that provides an alternative expression of the function @xmath124 as a product over the boxes in @xmath51 .
as @xmath157 , the function @xmath93 defined in [ def_rz ] is expended as @xmath384 performing the ns limit of the lhs of [ rel_r_l ] as in [ dico_kx ] , and expressing the rhs with [ def_l ] in terms of bethe roots , we get @xmath385 in agreement with [ id_ur_kx ] .
note that this identity has a well defined limit when @xmath386 . ]
@xmath387 this is the equivalent of the relation [ id_densities_ii ] for the densities .
boxes.,width=340 ]    there is a simple heuristic interpretation of the relation we have observed between the variables @xmath374 and @xmath181 .
it boils down to represent the young tableaux columns as made of an infinite number of hadrons . for simplicity ,
let us assume @xmath4 with a unique coulomb branch vev @xmath388 , and @xmath389 .
the generalization to @xmath111 is straightforward .
we drop the color and node indices , and consider the expression @xmath390=\sum_{r=1}^n [ f(\bx_r+\l_r\e_2)-f(\bx_r)],\ ] ] due to the identification of @xmath181 with @xmath391 , and @xmath392 .
the difference of the two functions in the rhs can be replaced by an integral of the derivative , @xmath390=\sum_{r=1}^n\int_0^{\l_r}{f'(\bx_r+\e_2 t_r)\e_2dt_r}.\ ] ] in the ns limit , each column @xmath265 contains an infinite number of boxes .
we divide this infinite amount of boxes into infinitely many finite sets of size @xmath393 , ranging from @xmath394 to @xmath395 : @xmath396=\sum_{r=1}^n\sum_{s=1}^\infty\int_{u_{r , s}}^{u_{r , s}+k_{r , s}}{f'(\bx_r+\e_2 t_{r , s})\e_2dt_{r , s}}=\e_2\sum_{r=1}^n\sum_{s=1}^\infty\int_{0}^{k_{r , s}}{f'(\tx_{r , s}+\e_2 t_{r , s})dt_{r , s}},\ ] ] with @xmath397 , @xmath398 and @xmath399 .
notations are displayed on figure . by the mean value theorem , for each interval there
exists @xmath400 such that @xmath401 the mean value @xmath402 depends on the function @xmath202 .
however , for functions of order @xmath403 , the variation of @xmath402 with @xmath202 is of order @xmath288 and thus can be neglected
. it would not be the case if the @xmath393 were infinite , and indeed it is not possible to assign an average instanton position to a hadron with infinite charge because of its macroscopic size . plugging [ mean_value ] into [ before_mv ]
, we recover the relation [ id_ur_kx ] for any test function @xmath371 provided we identify @xmath404 .
thus , the relation between bethe roots and hadronic variables corresponds to the decomposition of the young tableaux columns into finite sets of @xmath357 boxes with an average instanton position @xmath362 .
the formal relation we have observed between the variables @xmath374 and the bethe roots enables the comparison between the integral expression [ cz_a2 ] and the bethe roots summation of the @xmath8 quiver partition function .
the decomposition [ decomp_cz ] of the summands can be reproduced on the integrand @xmath405 , with three parts that will be the analogue of the three bifundamental contributions @xmath167 $ ] , @xmath147 $ ] and @xmath168 $ ] respectively : @xmath406 the factors @xmath407 and @xmath408 depend only on one set of variables and can be attached to the nodes @xmath21 . on the other hand ,
@xmath409 is related to the arrow @xmath298 and will be referred as the _ bifundamental integrand_. up to a pure mass term , the factor @xmath407 can be obtained as @xmath410 for a specific choice of variables @xmath411 such that @xmath412 these variables @xmath411 encode the information of the object @xmath413 , in the same way that @xmath368 encodes @xmath380 .
similar ideas can also be found in @xcite in the language of densities .
it is remarkable that performing the change of representation @xmath414 ( and @xmath415 ) , materialized by the relation [ id_densities_ii ] among densities , the bifundamental integrand @xmath409 becomes @xmath245 $ ] , the ns limit of the bifundamental contribution [ zuv ] .
this formal identification may allow to define the kmz transformation on the integrand expressions .
in particular , the infinitesimal shifts of the bethe roots @xmath350 correspond to a variation of the density @xmath416 which is rendered by a shift of @xmath417 for the hadron of coordinate @xmath418 .
the main difficulty lies in the decomposition of the function @xmath263 over poles , since in the representation @xmath368 this function is a product of essential singularities .
it is still possible to use the cauchy identity to write it as a sum over contributions at the location of the singularities , but the evaluation of the integrals is problematic .
on the other hand , the definition of @xmath238 , diagonal on the states @xmath419 easily follows from the definition [ def_d ] of @xmath121 , and the limit [ dico_kx ] , which gives , taking into account the @xmath1 factor discrepancy in [ d0_series ] between @xmath420 and @xmath421 : @xmath422 this expression can be integrated and expressed in terms of bethe roots using [ id_densities_ii ] .
it leads to the formula [ d0_ur ] used in the previous section .
in this paper , we considered the ns limit of the kmz transformation that represents the action of the shc generators on the bifundamental contribution to the @xmath8 quiver instanton partition function . in this limit
, the bifundamental contribution can be written in terms of two sets of bethe roots .
we have defined a set of generators of degree @xmath423 that exploits an infinitesimal variation of the bethe roots .
these generators reproduce the proper commutation relations , and generates an equivalent of the kmz transformation .
we then turned to an alternative approach that uses the mayer cluster expansion to perform the ns limit .
the coordinates and charges of the hadronic variables that appear in this formalism were formally related to the bethe roots .
this provides a hint on the possibility to realize the kmz transformation directly on integral expressions .
finally , we studied a third expression of the partition function that takes the form of a yang - yang functional .
although obtained via mayer expansion , this expression coincides with the limit of the young tableaux summations under a proper identification of the bethe roots .
we deduced an action of the shc generators on the functional ( at first order in @xmath1 ) .
now that the limit of the algebra has been identified , it remains to relate it to the algebraic structures of the underlying integrable systems , either the yangian of xxx spin chains or the ddaha of qnls .
the connection between shc and the calogero - moser hamiltonian for @xmath4 allows to identify the states @xmath50 with jack polynomials .
it is thus natural to expect a connection between the states @xmath268 and the eigenfunctions of the integrable systems .
such a connection could be obtained using the fact that the calogero - moser cherednik operators reduce to the dunkl operators of qnls in a specific limit @xcite .
this limiting process may be the equivalent of the ns limit from the integrable point of view .
a better understanding of the states @xmath268 may also arise from the study of the single gauge group case ( @xmath424 quiver ) .
the connections between shc and gaiotto states @xcite has been discussed recently in @xcite .
some of these considerations may survive in the ns limit , and help to identify a semi - classical version of the gaiotto states .
we hope to address these issues in a near future .
i would like to thank davide fioravanti for valuable comments at the early stage of this work .
i am also indebted to yutaka matsuo for several fruitful discussions and many advices .
it is a pleasure to acknowledge the tokyo university ( hongo ) for the kind hospitality and support during my stay there .
i also want to thank sergio andraus robayo for a very interesting discussion on dunkl and intertwining operators .
i acknowledge the korea ministry of education , science and technology ( mest ) for the support of the young scientist training program at the asia pacific center for theoretical physics ( apctp ) .
to derive the dictionary between the notations of @xcite and ours , let us drop for a moment the color and node indices , and focus on a single young diagram . in @xcite ,
young diagrams were encoded as a sequence of @xmath202 rectangles characterized by the integers @xmath425 and @xmath426 .
it is further assumed that @xmath427 .
the transition between notations is done as follows : to each box @xmath67 with @xmath428 , corresponds an index @xmath429 such that @xmath430 and @xmath431 ( the labels @xmath55 and @xmath18 are implicit on @xmath432 ) .
defining @xmath433 as in @xcite , we deduce @xmath434 where @xmath435 denotes the coulomb branch vevs in @xcite , rescaled here as @xmath436 . in a similar way , for @xmath68
, there is a @xmath437 such that @xmath438 and @xmath439 , and defining @xmath440 we find @xmath441 with the same rescaling of the coulomb branch vevs .      in some computations , it is not necessary to resort to the rectangle decomposition of young tableaux .
here we provide some useful formulas in this respect . considering the difference between sets of boxes that can be added or removed ,
we find @xmath442 where @xmath443 is the number of rectangles in the young diagram @xmath444 and @xmath445 the total number of boxes .
let us also mention the identities coming from the expansion of [ prop_l ] at @xmath79 : @xmath446    the action of the commutators of two degree ( minus ) one operators on states @xmath50 may be used to define some of the higher generators : @xmath447|y>=\sum_{x\in a / r(y)}\sum_{y\in a / r(y\pm x)}\dfrac{\l_x(y)\l_y(y\pm x)(z - w)(\phi_x-\phi_y)}{(z-\phi_x)(z-\phi_y)(w-\phi_x)(w-\phi_y)}|y\pm x\pm y>.\ ] ]
let @xmath67 such that @xmath428 with @xmath54 .
the multiplicity of a column @xmath58 of @xmath444 is the number of columns in @xmath444 with the same height @xmath58 .
there is no other @xmath448 in the same column , i.e. such that @xmath449 .
but there is always a unique @xmath450 such that @xmath451 ( except for @xmath197 ) .
there is a unique @xmath452 with @xmath453 , and a unique @xmath454 with @xmath455 , if and only if the column @xmath58 is of multiplicity one .
thus , @xmath196 except if @xmath197 for which @xmath198 .    now , we let @xmath456 . there is no other @xmath450 with @xmath449 , but there is always a unique @xmath448 such that @xmath457 .
there is a unique @xmath448 such that @xmath449 if and only if @xmath58 is of multiplicity one .
likewise , there is a unique @xmath450 such that @xmath451 if and only if @xmath58 is of multiplicity one , and @xmath458 .
thus , if @xmath459 , we have @xmath196 .
if @xmath197 , @xmath460 is of multiplicity one , and @xmath198 .          in this appendix
, we take the ns limit of the bifundamental contribution [ cz_yy ] .
a similar calculation can be found in @xcite .
the cut - offs @xmath29 are assumed to be all equal to @xmath461 which will be sent to infinity at the end of the computation .
we first concentrate on a single object @xmath51 , and examine the following quantity that is involved in the denominator : @xmath462 in the ns limit , @xmath463 is identified with the bethe root @xmath181 , and the main difficulty is to treat the dual quantities @xmath246 . for this purpose ,
let us focus on the @xmath55th young diagram pictured in figure , and consider the first column .
boxes in the set denoted @xmath464 are such that @xmath465 for @xmath466 .
similarly , boxes in the set @xmath467 are mapped to @xmath468 with @xmath469 . in general
, the first column should be divided into @xmath470 sets of boxes with @xmath471 , @xmath472 with @xmath473 and @xmath474 .
the same applies to the next columns , but we should start at @xmath475 for the @xmath34th column .
we thus have found @xmath476 plugging in the explicit expression for @xmath59 , we obtain @xmath477 the product over @xmath478 can now be replaced by a ratio of gamma functions , @xmath479}{\g[y_{ll'ir}+\l_{r+1}^{(l)}]}.\ ] ] as @xmath157 , the gamma functions arguments tend to infinity , and we can use the stirling approximation @xmath480\simeq ( x / e)^x$ ] ( the square root is subleading ) . noticing that @xmath481 and @xmath482 , and introducing the function @xmath250 , we can write @xmath483 this expression now involves only the variables @xmath57 which can be replaced by bethe roots .
it is however better to slightly shift the products indices to get @xmath484    the previous result upon @xmath485 can be used to take the ns limit of the denominator factors in [ cz_yy ] .
considering @xmath486 we find @xmath487 it is possible to use the property @xmath488 to symmetrize the product .
an ambiguity arises in the choice of the sense of the rotation .
it is a part of the overall ill - definiteness for the final result of @xmath245 $ ] . here
, we make the choices that provide the simplest expressions : we rotate both numerator and denominators in the ratios in the same direction , @xmath489 .
after re - arranging the diagonal terms @xmath475 , we obtain @xmath490 finally , replacing @xmath491 and @xmath492 ( @xmath493 ) , we find : @xmath494    a similar treatment can be applied to the numerator , but we now have to keep track of the node indices .
this does not add much difficulty , and we find for the numerator of [ cz_yy ] the expression @xmath495 taking the ratio , we end up with the formula given in [ zuv ] .
in this appendix , we study a general class of grand - canonical partition functions defined as the discrete laplace transform @xmath496 of the following canonical partition functions @xmath497 partition functions with @xmath498 were considered in @xcite , and we show here that the method extends smoothly to @xmath499 .
the integration contour is along the real axis , closed in the upper half plane , and avoiding possible singularities at infinity .
we study the limit @xmath500 , with the kernels defined as @xmath501 and @xmath502 a function independent of @xmath503 .
note that the poles at @xmath504 that pinch the integration contour are only present in the diagonal term @xmath505 , the non - diagonal kernel @xmath506 with @xmath507 is not singular at @xmath500 .
this is in agreement with quivers instanton partition functions where @xmath506 corresponds to the bifundamental contribution ( with a non - zero mass @xmath20 ) , and @xmath505 to the vector hypermultiplet .
quiver partition function , we take @xmath508 and @xmath509 with @xmath510 @xcite .
it gives in the ns limit with @xmath511 , @xmath512 ( with @xmath513 ) and @xmath514 .
the functions @xmath515 and @xmath516 are defined in [ g11 ] . ]
we will further assume that @xmath502 satisfies the property @xmath517 .
this condition is necessary to be able to expand over non - oriented clusters . for the scattering amplitudes , @xmath518 , and
can be obtained as a consequence of unitarity and hermitian analyticity . ] in particular , this implies that the diagonal entries @xmath519 are even functions of @xmath90 .
it is possible to express the integrand of the partition function [ defzc ] with the help of double indices @xmath520 ( and @xmath521 ) for @xmath522 and @xmath523 , and with the lexicographical order @xmath524 if and only if @xmath525 or ( @xmath526 and @xmath527 ) . applying the mayer expansion technique @xcite to [ defzgc ] for @xmath528
, we find for the free energy @xmath529 : @xmath530 the connected clusters @xmath531 are made of @xmath532 vertices @xmath520 .
we denote by @xmath533 the set of vertices of the cluster @xmath531 , and @xmath534 the set of links @xmath535 connecting two vertices @xmath536 and @xmath537 .
each vertex bear a color label @xmath18 , and there are @xmath538 vertices of type @xmath18 . of the quiver .
it has nothing to do with the gauge color index of fields in the gauge theory . ]
the symmetry factor @xmath539 of the cluster is the cardinal of the group of automorphisms preserving the cluster .
these automorphisms must also preserve the color labeling because the combinatorial factor in the definition of @xmath540 is @xmath541 and not @xmath542 as in the usual mayer cluster expansion .
decomposing @xmath543 , the cluster expansion becomes a sum over clusters @xmath544 with two types of links : g - links with kernel @xmath545 between vertices of color @xmath18 and @xmath546 , and p - links of kernel @xmath547 between two vertices of the same color @xmath18 : @xmath548 we have @xmath549 where @xmath550 denotes the set of p - links , and @xmath551 the set of g - links .
the clusters that contribute at first order in @xmath503 have no cycle involving @xmath552-links , but do have cycles of only p - links .
they are of order @xmath553 so that @xmath554 defined above is of order one @xcite .
the generating function of rooted vertices , also called dressed vertex , bears an index @xmath18 corresponding to the color of the root , @xmath555 where we denoted @xmath556 .
the summation is over rooted clusters @xmath557 , with the root @xmath558 of color @xmath18 .
the symmetry factor @xmath559 is the number of automorphisms of @xmath544 that leave the root invariant .
the generating functions @xmath560 and @xmath561 are defined with the additional requirement that the root @xmath90 is linked to other vertices with only g- or p- links respectively . at first order
, we have the factorization property @xmath562 as a consequence of the property that g - links do not form cycles .
minimal clusters that contribute to @xmath563 can be decomposed into sub - clusters rooted by the direct descendants .
the root @xmath90 , of type @xmath18 , is linked to @xmath564 vertices @xmath565 of type @xmath546 through a link @xmath545 , which leads to @xmath566 the symmetry factors @xmath567 take into account the possibility of permuting vertices of the same color .
contributions of sub - clusters factorizes to give @xmath568 this is the generalization of the formula ( 2.6 ) of @xcite .    the third relation is obtained by repeating the confinement argument employed in @xcite .
this argument remains unchanged because p - links only relate vertices of the same color .
it gives the following relation between @xmath569 and @xmath560 : @xmath570 with the function @xmath571 defined in equ ( 2.13 ) of @xcite .
for @xmath572 , this function simplifies into a logarithm : @xmath573 .
the fields @xmath574 and @xmath575 are introduced as @xmath576 exploiting the relations [ eom1 ] and [ eom2 ] , we obtain the tba - like nlie : @xmath577 for @xmath513 , we recover the nlie [ nlie_quiver ] with the pseudo - energies @xmath578 defined as @xmath579 .      the grand - canonical ( instanton ) free energy is obtained from the technique displayed in @xcite simply by introducing an additional sum over the different colors .
the expression of @xmath554 follows from the basso - sever - vieira formula , @xmath580 with @xmath581 the function @xmath582 is a primitive of @xmath571 , it reduces at @xmath572 to the dilogarithm @xmath583 . plugging in the equations of motion , and using the variable @xmath574 and @xmath575 instead of @xmath584 and @xmath563
, we recover the results of @xcite : @xmath585 $ ] on - shell with the effective action @xmath586=\hf\sum_{a , b=1}^m\int{\rho_a(x)\rho_b(y)g_{ab}(x - y)dxdy}+\sum_{a=1}^m\int{\rho_a(x)\vphi_a(x)dx}+\dfrac1{2i\pi}\sum_{a=1}^m\int{l_{\a_a}(q_aq_a(x)e^{-\vphi_a(x)})dx}.\ ] ] the equations of motion reproduce the relations [ def_rho_phi ] and [ eom_rhophi ] .      for simplicity
, in this section we focus on the case @xmath587 , but the generalization to higher @xmath588 is straightforward . to obtain the hadronic partition function , we mimic the treatment performed in @xcite . at first order in @xmath1 , the instanton partition function can be written as a path integral , @xmath589e^{\frac1\e\sgc[\rho_a,\vphi_a]}}.\ ] ] the function @xmath590 contains all the dependence in @xmath591 , expanding it we get @xmath592 with @xmath593 the coefficients of the taylor expansion of @xmath594 : @xmath595 plugging this expansion in the expression of @xmath596 , we find @xmath597e^{\frac1{2\e}\sum_{a , b}\int{\rho_a(x)\rho_b(y)g_{ab}(x - y)dxdy}}e^{\frac1{\e}\int{\vphi_1(x)\left(\rho_1(x)-\e\sum_ik_i\d(x - x_i)\right)dx}}\\ & \times e^{\frac1{\e}\int{\vphi_2(y)\left(\rho_2(y)-\e\sum_jl_j\d(y - y_j)\right)dy}}. \end{split}\end{aligned}\ ] ] the fields @xmath575 appear as lagrange multipliers enforcing the conditions [ cond_density ] for the densities ( with @xmath511 ) .
replacing the densities , we find @xmath598 the expression given in [ cz_a2 ] is obtained after specialization of [ defzgc ] to the quiver partition function [ def_cza2 ] .
it implies to set @xmath511 , @xmath599 leading to @xmath600 . the kernels @xmath601 and @xmath602 coincide with the function @xmath552 given in [ g11 ] .