non - critical string theory @xcite provides a simple and tractable toy model to understand various aspects of string theory .
one of the fascinating formulation of the theory is given by the description with the matrix model .
this realizes a non - perturbative definition of string theory @xcite and provides an explicit example of gauge / string duality @xcite .
recently , our knowledge about the duality in non - critical string theory has extended to various kind of string theories .
the first non - trivial extension was to the correspondence between the two - cut matrix models @xcite and type 0 superstring theory @xcite ; later , the multi - cut matrix models @xcite were proposed as a description of fractional superstring theory @xcite . despite of many qualitative discussions ,
little is known quantitatively about the nature of multi - cut matrix models .
therefore , in this paper we try to give explicit answers to the following questions : how do critical points and potentials look like and what is the corresponding geometry appearing at the vicinity of critical points ?    to address these issues , _ macroscopic loop amplitudes _
@xcite have played important roles .
the one - point function of macroscopic loop operator , which is also known as resolvent , is defined as @xmath9 .
\label{introresolvent}\end{aligned}\ ] ] geometrically , the macroscopic loop amplitudes describe the probability amplitudes for creating holes on the two - dimensional surface as induced from the feynman graph of matrix integral .
analytically , we can view the macroscopic loop amplitudes as a generating function for correlation functions of local operators ( in @xmath10 ) in the matrix models .
most importantly , it enables us to probe eigenvalue distribution of a matrix @xmath10 @xcite and spacetime geometry in the weak coupling region @xcite .
thus , the macroscopic loop amplitude is of fundamental importance in the theory of matrix models . in order to calculate the macroscopic loop amplitudes ,
one powerful way is to use the method of orthogonal polynomials @xcite . through a useful identity ( see appendix [ relationresolventorthpoly ] ) , we can express the resolvent @xmath11 and the spectral parameter @xmath12 as a pair of conjugate variables acting on the space of orthogonal polynomials , whose commutations relation gives rise to the douglas ( string ) equation . in terms of the differential operators ,
the string equation turns into a differential equation on the macroscopic loop amplitudes and we can solve it without directly evaluating the matrix integral ( [ introresolvent ] ) .
right at the critical points , the resolvent has specific critical behavior .
conversely , with some proper choice of the critical resolvent , one can obtain the critical potentials .
in the two - matrix - model cases , this approach is especially useful for finding critical points @xcite and has been explicitly formulated for general @xmath13 critical points @xcite . along this line
, we explicitly construct the critical points and potentials in the multi - cut two - matrix models .
our results provide further insight into the understanding of the relationship @xcite between the existence of critical points and the the choice of hermiticity of critical potentials .
macroscopic loop amplitudes at the vicinity of critical points ( i.e. with perturbation of the cosmological constant ) have been investigated in @xcite .
the seminal formula for general @xmath13 critical points with cosmological constant @xmath14 was first found by kostov @xcite and can be expressed as @xmath15 with @xmath16 , _ the chebyshev polynomials of the first kind _ , and @xmath17 . in the case of @xmath18
minimal superstring theory ,- cut cases , there are two kinds of indexes : @xmath13 and @xmath18 .
the former corresponds to the standard cft labeling of critical points ; the latter corresponds to order of differential operators @xmath19 and @xmath20 .
these labellings are different in general @xcite@xcite .
since the liouville continuum formulation of @xmath0 symmetric critical points has not been known so far , we only use @xmath18 labeling except for the bosonic @xmath21 cases . ] the corresponding formula was also found on the liouville side @xcite . the non - trivial solution ) with @xmath22 , which is called one - cut solution .
the other is essentially different from the one - cut solution which is called two - cut solution ( [ introsupersesh ] ) .
] can be expressed as @xmath23 with @xmath24 , _ the chebyshev polynomials of the second kind _ , and @xmath17 .
this general formula has been utilized in various studies of @xmath13 ( or @xmath18 ) critical points @xcite , even in the d - instanton effects of the string theory @xcite . moreover , in comparison with worldsheet cft , e.g.  with the fzzt - brane or zz - brane amplitudes in liouville theory @xcite , it is essentially the above formula which is realized in the calculation of @xmath13 ( or @xmath18 ) minimal ( super)string theory @xcite .
one of the significances of this formula is that it provides us further checks of the string duality ( e.g. matching of correlators ) beyond matching of operator contents and critical exponents . since this comparison is necessary especially in the correspondence between the multi - cut matrix models and fractional superstring theory @xcite , discovery of the general formula for the multi - cut two - matrix models
is one of the most important stage in understanding the conjectured duality as well as the system itself .    in this paper , the generalization of these formulae
are explored especially in the @xmath0 symmetric potential @xmath25 , @xmath26 of the general @xmath2-cut two - matrix models @xmath27 . identifying a proper ansatz for the non - polynomial part of the amplitudes ( generalizing the square - root of ( [ introsupersesh ] ) ) ,
we explicitly show that there is a one - parameter set of solutions @xmath28 in the `` unitary '' series @xmath29 which can be tersely expressed as @xmath30{\bigl(z-1\bigr)^l\bigl(z+1\bigr)^{k - l } } , \\ q&= \mu^{\frac{\hat q}{\hat p+\hat q-1 } } p^{(-\frac{2l - k}{k},\frac{2l - k}{k})}_{\hat q-1}(z ) \ ,   \sqrt[k]{\bigl(z-1\bigr)^{k - l}\bigl(z+1\bigr)^{l}},\end{aligned}\ ] ] in terms of _ the jacobi polynomials_. ] @xmath31 .
this ansatz moreover enables us to explicitly describe the geometry of off - critical amplitudes .
for instance , our ansatz for the @xmath32 case gives the following algebraic curve : @xmath33 which contains precisely three symmetric cuts corresponding to the eigenvalue distributions in the three - cut two matrix model .
the organization of this paper is following : some basics of the multi - cut two - matrix models are reviewed in section [ subsecpreliminary ] .
the scaling ansatz for the orthogonal polynomials and its relation to the @xmath34-rotated / real potentials are discussed in section [ secrotatedvsreal ] .
the solutions for critical resolvents and potentials are studied in section [ seccritipotentialsresolvents ] ( some examples of critical potentials are listed in appendix [ listofcriticalpotentials ] ) .
the daul - kazakov - kostov prescription @xcite is reviewed in section [ secrevofdkkoff ] and the two - cut cases are discussed in section [ twocutrevisited ] .
the @xmath0 symmetric @xmath2-cut cases are studied in section [ kcutsymmetricjacobi ] .
its algebraic structure is also discussed in section [ secgeometrymulticut ] .
section [ secdiscussion ] is devoted to conclusion and discussion .
some of the results for the critical potentials are listed in appendix [ listofcriticalpotentials ] .
direct evaluation of douglas equation in the three - cut cases is given in appendix [ directevaluationthreecutstringeq ] .
several useful formulae about jacobi polynomials are collected in appendix [ jacobip ] .
we start with a brief review of some elementary facts about the orthogonal polynomial system in the multi - cut matrix models , which also serves to fix the notation used in this paper .
as is the usual two - matrix model @xcite , the multi - cut two - matrix models are characterized by the orthonormal polynomial system , @xmath35 with an inner product , @xmath36 defined with respect to the two - matrix potential @xmath37 .
we will use the normalization of the potential , @xmath38 , throughout the main text .
the degrees of the potentials are chosen to be multiples of @xmath2 , @xmath39 here @xmath2 is the number of cuts and @xmath40 are arbitrary positive integers .
a distinct feature of the multi - cut matrix models is that the integration domain @xmath41 is defined as a contour along radial directions specified by the @xmath42 symmetry of the system in the complex plane @xcite , @xmath43 where @xmath44 is a root of unity , which is chosen to be @xmath45    the @xmath2-cut matrix models possess a @xmath0 charge conjugation , which is a generalization of the reflection transformation for the matrix ( @xmath46 ) in the two - cut phases of the one - matrix models @xcite .
the @xmath0 charge conjugation in the @xmath2-cut two - matrix models is given @xcite as @xmath47 which preserves the interaction term , @xmath48 , in the two - matrix potential .
in general , if the potential @xmath25 is a @xmath0 symmetric potential , @xmath49 the system is said to be @xmath0 symmetric .
the @xmath0 charge conjugation naturally defines a charge conjugation of the orthonormal polynomial as @xmath50 in the @xmath0 symmetric cases , the orthonormal polynomials are invariant under this charge conjugation , equivalently we have @xmath51 that is , the orthonormal polynomials are eigenfunctions of this @xmath0 transformation .
the orthonormal polynomial system is characterized by the recursive relation , which can be written as @xmath52 where @xmath53 and @xmath54 . here
@xmath55 is the index - shift operator @xcite@xcite@xcite that shifts every index @xmath56 by one unit on its right - hand side : @xmath57 and @xmath58 .
note that , by construction , @xmath59 and @xmath60 can not be zero , @xmath61 including @xmath62 . in the @xmath0 symmetric case
, invariance of the system asserts that the expansion coefficients @xmath63 and @xmath64 must be zero except for @xmath65 with @xmath66 and @xmath67 .    from the recursive relation ( [ orthrecab ] ) and ( [ orthreccd ] ) , one can check that the operator pairs @xmath68 and @xmath69 satisfy the canonical commutation relations , @xmath70=[c , d]=n^{-1}.   \label{primitiveccr}\end{aligned}\ ] ] furthermore , taking inner product ( [ orth ] ) between @xmath71 and @xmath72 and then integration by part leads to the following identity , @xmath73 combine these equations together , it can be seen that there is only one independent canonical commutation relation , @xmath74=\bigl[c,\bigl(-a^{\rm t}\bigr)\bigr ] = n^{-1}. \label{twomatccr}\end{aligned}\ ] ] one can also extract equations for @xmath75 and @xmath76 from eq .
( [ steqmatrix ] ) : @xmath77_{\geq -1 }   - z^{-1}\frac{n / n}{\sqrt{r(n ) } } , \label{twomata}\\ c(n , z)&= \bigl[v_1'\bigl(a^{\rm t}(n , z)\bigr)\bigr]_{\geq -1 }   - z^{-1}\frac{n / n}{\sqrt{r(n)}}. \label{twomatc}\end{aligned}\ ] ] here the bracket is defined as @xmath78_{\geq n}\equiv   \left\ { \begin{array}{ll } z^s   &   ( s\geq n ) \cr 0       &   ( s < n ) . \end{array } \right.\end{aligned}\ ] ] the system of equations was originally used to extract the string equations @xcite and can be considered as the fundamental equations dictating the double scaling limit of the two - matrix models . once we solve @xmath75 and @xmath76 , eq .
( [ steqmatrix ] ) leads to the solution of @xmath79 and @xmath80 in straightforward manner .
the strategy for solving critical points in two - matrix models was proposed in @xcite .
the observation is this ; the operators @xmath75 and @xmath76 have the following scaling behaviors at @xmath13 critical points ( determined by critical potentials ) : @xmath81 where the lattice spacing @xmath82 is introduced to satisfy @xmath83 & { \partial}_n = -a^{1/2 } g_{str}{\partial}_t \equiv -a^{1/2}{\partial}\to 0,\qquad ( a\to 0 ) , \label{scalinglattice}\end{aligned}\ ] ] and the operator @xmath84 is the index - derivative operator in the index - shift operator @xmath85 .
conversely , if one assumes this critical behavior ( [ twomatcriti ] ) , then there exist critical points .
that is , we can obtain critical potentials which satisfy eq s ( [ twomata ] ) and ( [ twomatc ] ) @xcite .
explicit solutions to this problem have been given in @xcite for the general @xmath13 critical points in the one - cut cases as follows : for each pair of potentials with degrees @xmath86 ( @xmath87 of eq .
( [ twomatpotentialorder ] ) ) , the maximal order of the differential operators ( [ twomatcriti ] ) is @xmath88 and the operator @xmath75 and @xmath76 is given as @xmath89 in the large @xmath1 limit . here
@xmath90 is the critical value of @xmath60 , @xmath91 then it can be shown that , with these critical forms of @xmath75 and @xmath76 , we can solve for the critical potential @xmath25 which satisfies eq .
( [ twomata ] ) and ( [ twomatc ] ) .    in the rest of this section
, we generalize this idea to the multi - cut setting .
the procedure of section [ subsecpreliminary ] implies that the orthonormal polynomials become smooth functions of the index @xmath56 at the vicinity of the critical points , especially at eq .
( [ scalinglattice ] ) .
the scaling ansatz for the multi - cut cases is to find a sequence of orthonormal polynomials @xmath92 ( and @xmath93 ) which are smooth continuous functions in not only @xmath12 but also the index @xmath56 .
first of all , since the orthonormal polynomials behave under @xmath0 transformation as @xmath94 there should be @xmath2 distinct smooth scaling functions , each of which has a distinct eigenvalue of the @xmath0 transformation .
this is obvious in the @xmath0 symmetric background ( [ zksympol ] ) .
hence , we separate the polynomials into the following @xmath2 sets of polynomials @xmath95 with respect to mod @xmath2 .
for each set labeled by @xmath96 , we assume that there exists a smooth function in @xmath97 which can be regarded as the continuum limit of the sequence .
the proper choice of the smooth functions was first proposed in @xcite and we further write it as @xmath98 with @xmath99 the phase factors indicate that the polynomials are approximated by smooth functions in the directions of @xmath100 and @xmath101 : @xmath102 since the phase does not depend on @xmath97 here .
these directions are actually the liouville direction @xcite@xcite@xcite .
the main reason for this ansatz is that the critical point of eigenvalues , @xmath103 , is at the origin @xmath104 when we consider @xmath0 symmetric potentials @xmath105 .. ]    the consequence is that the operators acting on the vector - valued polynomials @xmath106 ( and @xmath107 ) become smooth functions of @xmath97 .
the operators in this basis are expressed as @xmath108 with explicit expressions : @xmath109 where @xmath110 with @xmath111 and @xmath112 here @xmath113 is the identity matrix of @xmath114 . now eq .
( [ steqmatrix ] ) becomes @xmath115 in terms of the @xmath114 matrix - valued operators @xmath116 and @xmath117 .
note that the smoothness of polynomials @xmath106 and @xmath107 in the index @xmath97 only implies smoothness of sequence of recursion coefficients @xmath118 in the index @xmath97 . this means that each recursion coefficient sequence ( labeled by @xmath96 ) can be approximated by a smooth function with the following taylor expansion with respect to the scaling parameter @xmath119 ; @xmath120 here the lattice spacing @xmath82 and scaling parameter @xmath121 are defined as @xmath122 & { \partial}_n = -a^{1/2 } g_{str}{\partial}_t \equiv -a^{1/2}{\partial}\to 0,\qquad ( a\to 0 ) , \label{scalinglattice2}\end{aligned}\ ] ] for the @xmath18 critical points of the multi - cut matrix models .
it has been argued in the two - cut matrix models @xcite that @xmath123 symmetry breaking critical points can only be realized in the potentials @xmath124 which has an imaginary number @xmath125 in the following way : @xmath126 here the potential @xmath127 is polynomial in @xmath12 with real coefficients .
this consideration has a natural correspondence in the liouville theory because the liouville boundary cosmological constant @xmath128 is related to the eigenvalue @xmath12 with an imaginary number @xmath125 @xcite as @xmath129    a natural extension of this consideration is the @xmath34-rotated potential ( [ rotatedpotentials ] ) . from our results , .
] within the prescription reviewed in section [ subsecpreliminary ] , one can also find real - potential solutions for the @xmath123 symmetry breaking critical points .
therefore , we consider both cases in this section
. we will show in the next subsection that , at least in the sense of critical potentials , the map between two potentials is just an analytic continuation .
the @xmath34-rotated potentials are defined as @xmath130 with a real - coefficient potential @xmath131 .
if one puts @xmath132 , then this turns out to be eq .
( [ antihermitian ] ) given in @xcite . from the definition , this potential satisfies @xmath133 and
consequently one can show that are real functions .
] @xmath134 therefore the uniqueness of the orthonormal polynomials implies @xmath135 here we have used the invariance of contour @xmath136 and the @xmath0 invariance of the measure , @xmath137 .
this complex conjugation corresponds to the @xmath0 charge conjugation of the polynomials ( [ chargeconjpols22 ] ) , @xmath138 the hermiticity of coefficients in the operators @xmath75 , @xmath79 , @xmath76 and @xmath80 is also obtained in the same way as @xmath139 comparing this with the expression ( [ aoptilde ] ) , ( [ boptilde ] ) , ( [ coptilde ] ) and ( [ doptilde ] ) , one can see that the coefficients of the matrix - valued operators @xmath140 are all real number . in this sense , eq .
( [ tildesteqmatrix ] ) can have critical solutions with this @xmath34-rotated potential , including the @xmath0 symmetry breaking critical points .
the real - potential models are defined by real two - matrix potentials @xmath25 with all coefficients real : @xmath141 the same discussion as above shows that the polynomials @xmath142 and @xmath143 , and the operators @xmath144 , and @xmath80 are all real functions .
the relation between eq .
( [ steqmatrix ] ) and the smooth operators becomes simpler if one considers another convention of smooth orthonormal polynomials : @xmath145 } \alpha_{kl+j}(x),\qquad   \chi_{l , j}^{(\rm real)}(y ) \equiv ( -1)^{[-\frac{kl+j}{k } ] } \beta_{kl+j}(y),\end{aligned}\ ] ] instead of eq .
( [ smoothfunpsichicomp ] ) . the corresponding smooth operators @xmath146 and
@xmath147 are then given as @xmath148 here @xmath149 and @xmath150 are the counterpart of @xmath106 and @xmath107 given in eq .
( [ smoothfunpsichi ] ) .
one can easily see that the operator @xmath151 can be obtained from @xmath152 by just replacing the phase @xmath153 in eq .
( [ aoptilde ] ) with @xmath154}$ ] ( the phases in the other operators @xmath155 are also similarly replaced : the phase @xmath156 is replaced by @xmath157}$ ] ) and by replacing the matrix @xmath158 with the matrix @xmath159 , @xmath160 which satisfies @xmath161 .
here @xmath162 $ ] is the gauss symbol , which expresses the maximal integer less than or equal to @xmath163 .
then eq .
( [ tildesteqmatrix ] ) is equivalent to @xmath164 since everything is real here , one can have critical points ( even @xmath0 symmetry breaking ones ) in the same sense as the @xmath34-rotated models .      the large @xmath1 solutions to eq .
( [ tildesteqmatrix ] ) are given by critical values of the matrix - valued operators @xmath165 and @xmath166 ( defined in eq .
( [ aoptilde ] ) and eq .
( [ coptilde ] ) ) , @xmath167 and the critical potentials @xmath168 . at the vicinity of critical points , the coefficients of operators @xmath165 ( and @xmath166 ) should be approximated by the following smooth functions ; @xmath169 in principle , the leading coefficients @xmath170 ( and @xmath171 ) can depend on the index @xmath96 and the critical operators of @xmath165 ( and @xmath172 ) are expanded by these coefficients . for a while ,
let us see what happens in some special cases .. ] that is , we consider the @xmath173 critical points realized in the potentials of degree @xmath174 ( see eq .
( [ twomatpotentialorder ] ) ) .
first we solve the condition ( [ accriticalmulticut ] ) .
since @xmath165 and @xmath172 are almost similar , the operator @xmath165 is only considered here . by solving eq .
( [ accriticalmulticut ] ) in this critical point @xmath173 , , one performs the taylor expansion of @xmath175 in terms of @xmath84 and requires @xmath176 . then one can obtain constraints on the coefficients @xmath177 .
the result is eq .
( [ solderivaaa ] ) ] one can obtain the critical operator of @xmath165 as @xmath178 the matrix @xmath179 is defined in eq .
( [ defmatr ] ) and the elements @xmath180 can depend on the index @xmath96 in principle . from eq .
( [ aoptilde ] ) , therefore , one can obtain @xmath181 here each term contains a phase factor @xmath182 . since @xmath183 is a multiple of @xmath2 ( say @xmath184 ) and @xmath185 , we get @xmath186 that is , the operator @xmath75 ( and similarly the operator @xmath76 ) is given as @xmath187 we then consider eq .
( [ twomata ] ) and eq .
( [ twomatc ] ) .
the above operators @xmath188 and @xmath189 ( @xmath190 ) satisfy eq .
( [ twomata ] ) and eq .
( [ twomatc ] ) for each @xmath96 . by solving these equations ,
one can obtain the critical potentials and the solutions are realized when one has @xmath191 therefore , the critical behavior of matrix - valued operators @xmath165 and @xmath166 is finally given as @xmath192 several examples of critical potentials calculated by using the above procedure are listed in appendix [ listofcriticalpotentials ] and some critical potentials are drawn in fig .
[ criticalpotential223 ] .
note that all the parameters here , including @xmath90 , are fixed in this procedure . , but the critical points of eigenvalues are located at the origin , @xmath104 , we have chosen the scale , @xmath193 , and @xmath194 was fixed by choosing the convention of overall coefficient in the orthonormal polynomials ( [ onpmethod ] ) . in this sense , there is no free parameter here .
one can also say that one can freely tune the parameter @xmath90 by turning on @xmath195 .
this procedure is a redundant deformation which does not change the result , and we will use this fact in appendix [ listofcriticalpotentials ] . ]    the result ( [ rareequal ] ) implies that all the @xmath2 coefficient sequences @xmath170 ( @xmath190 ) have the same asymptotic behavior at @xmath196 limit , i.e. at critical point , the coefficients satisfy @xmath197 even though @xmath198 can be approximated by @xmath2 different scaling functions ( e.g.  @xmath199 ) in the sub - leading terms of eq .
( [ scalingfunctionsac ] ) .
this was just an assumption in the previous discussion of the two - cut two - matrix models @xcite but here we have checked that this is generally correct in the multi - cut two - matrix models .    next consider the critical points of @xmath200 realized in the potentials of degree @xmath174 ( see ( [ twomatpotentialorder ] ) ) .
this contains @xmath0 symmetry breaking critical points @xmath18 .
the critical operators of @xmath165 and @xmath166 are given as @xmath201 with @xmath202 ( see eq .
( [ barabcd ] ) ) .
in particular , from eq .
( [ coptilde ] ) , one can see the following relations : @xmath203 therefore , the operators @xmath75 and @xmath76 are also obtained in the similar manner as eq .
( [ critiacwithoutt ] ) , and given as @xmath204 the critical points and potentials in this cases are also obtained with these operators and eq s ( [ twomata ] ) and ( [ twomatc ] ) , which are also listed in appendix [ listofcriticalpotentials ] .
note that the critical potentials now depend on the parameters @xmath205 and @xmath206 .
note that the difference between the @xmath34-rotated potentials ( [ rotatedpotentials ] ) and the real potentials ( [ realpotentials ] ) is almost the complex phase of @xmath207 @xmath208 in eq .
( [ accritibreaking1 ] ) . since we obtain the critical potentials by solving eq s ( [ twomata ] ) and ( [ twomatc ] ) by using eq .
( [ accritibreaking1 ] ) , the map from real critical potentials to @xmath34-rotated ones is also given by just analytically continuing the parameters @xmath209 in the real potentials to the complex values @xmath210 .
this means that all the @xmath0 symmetric @xmath18 critical points and @xmath0-symmetry breaking @xmath18 critical points can be realized within both real potentials and @xmath34-rotated potentials of @xmath2-cut two - matrix models , and also that these real/@xmath34-rotated critical potentials are related to each other by just the above analytic continuation .    , @xmath211 ;
( b ) @xmath212 , @xmath213 ; ( c ) @xmath214 , @xmath215 . ( a1 ) , ( b1 ) and ( c1 ) are plots in the real axes .
the figures ( a2 ) , ( b2 ) and ( c2 ) are plots of the real part of the potentials @xmath216 on the complex sheet of @xmath12 .
the straight lines with arrows on them correspond to the contour @xmath217 of integration .
darker color means lower height . ]
one can then realize the canonical operators in terms of the lax pair , and they are given by @xmath218 with @xmath219 { \partial}^{\hat q }   + \sum_{n=0}^{\hat q-1}\widetilde h_n(t)\ , { \partial}^{\hat q- n},\label{tolax2}\end{aligned}\ ] ] and the canonical commutation relation ( [ twomatccr ] ) becomes the douglas equation , @xmath220=g_{str}i_k$ ] .
the functions @xmath221 and @xmath222 are some combination of scaling functions in ( [ scalingfunctionsac ] ) .
the parameter @xmath82 is a lattice spacing of @xmath223 .
here we define @xmath224 here @xmath221 and @xmath225 are all real functions . since we can erase some parts of sub - leading scaling functions @xmath221 and @xmath222 by changing normalization of orthonormal polynomials ( some similarity transformation ) , we can always put @xmath226_{l+i , i } , \label{honeconst}\end{aligned}\ ] ] for @xmath227 . here
we extend the meaning of indices as @xmath228_{i+lk , j+mk } \equiv   \bigl[h_1(t)\bigr]_{i , j}$ ]    it is also convenient to use the diagonalized basis of @xmath229 which is useful for analyzing multi - component kp hierarchy @xcite : @xmath230 and the matrix elements of @xmath231 are given by @xmath232 in this basis , the relation ( [ honeconst ] ) is simply given as @xmath233_{i , i } = 0\qquad   ( i=1,2,\cdots , k).\end{aligned}\ ] ] however , from the analysis we have shown in section [ secrotatedvsreal ] , the component functions in the operators @xmath234 @xmath235 are complex - valued functions now .    here
we comment on the `` unitary '' series which is defined by the condition of @xmath236 .
symmetric '' case in literature , in the sense of exchanging the matrices @xmath237 .
since the terminology of `` @xmath123 symmetric '' is dedicated to @xmath0 symmetry in this paper , we will use the term `` unitary '' referring to the @xmath236 case .
of course , the terminology of `` unitary '' should come from the worldsheet cft of dual string theory , and therefore our terminology `` unitary '' should be understood as a formal notion . in the case of one- and two - cut matrix models , this situation always gives unitary sequences although obtaining unitary sequences does not necessarily require this condition .
] we should note that the unitary series of the @xmath0 symmetric background is given by @xmath238 instead of @xmath239 .
this can be understood as follows : in general , the `` unitary '' condition gives @xmath240 in the @xmath0 symmetric background . here
@xmath241 . in the superstring ( @xmath132 )
cases , since the matrix @xmath158 satisfies @xmath242 the following combination of the operators @xmath165 and @xmath172 @xmath243 gives the @xmath244 system .
the same argument also applies to the bosonic ( @xmath87 ) cases . for the @xmath245-cut @xmath0 symmetric background case ,
the matrices @xmath158 and @xmath246 are essentially different matrices ; hence , the previous argument fails .
this means that the unitary series should be @xmath247 .    on the other hand ,
if we consider the @xmath0 symmetry breaking critical points which correspond to minimal fractional superstring theory @xcite , @xmath248 & = a^{\hat q}\times \sqrt{r_*}\,k^{\hat q } \,\gamma\ , { \partial}^{\hat q } + \cdots,\end{aligned}\ ] ] the matrices of the leading terms in @xmath165 and @xmath172 are both given by @xmath158 .
that is , the situation is similar to the super(bosonic)string cases .
in fact , unitary minimal fractional superstring theory corresponds to the @xmath244 critical points , instead of @xmath247 .
in this section , we consider off - critical behavior of the critical points we identified in the multi - cut matrix models .
the prescription we adopt for studying off - critical amplitudes was developed in the one - cut two - matrix models @xcite , which we refer to as the dkk prescription . in the following ,
we first review their procedure then consider the extension to the multi - cut cases .      at the @xmath13 one - cut critical points , the canonical pair of @xmath75 and @xmath76 operators
was given as @xmath249 here we choose @xmath250 .
considering the dependence on @xmath251 in the operators @xmath75 and @xmath76 is equivalent to turning on the coupling of the most relevant operator , @xmath121 .
since we have dimensionful parameter @xmath121 , we can make a dimensionless combination with @xmath252 as @xmath253 = n \kappa t^n , \label{defofsmallz}\end{aligned}\ ] ] with @xmath254
. then the off - critical amplitudes of the canonical operators are generally expressed as @xmath255 note that the leading behavior of the polynomials @xmath256 and @xmath257 are @xmath258 so the commutation relation becomes @xmath259 = n^{-1 } \ , \frac{q\,\pi'_p(z)\ , \xi_q(z)-p\,\xi'_q(z)\,\pi_p(z)}{p+q-1},\end{aligned}\ ] ] and @xmath260 this was found in @xcite and is one of the main equation for off - critical amplitudes in the two - matrix models .
it is known that this system has a simple solution for conformal background which is given by the chebyshev polynomials of the first kind , @xmath261 @xcite . in the case of unitary series @xmath262 ,
the equation ( [ dkkeq ] ) becomes the addition formula for the hyperbolic sine and cosine functions : @xmath263 consequently , the solution for @xmath264 is @xmath265 with the normalization factor @xmath266 which satisfies @xmath267 and @xmath268 .    for the general @xmath13 cases ,
the chebyshev - polynomial is not a solution to eq .
( [ dkkeq ] ) .
however , aside from the unitary series , the most relevant operator and cosmological constant are different in general ; considering this fact here , it means that there can be a jacobian factor in the eq .
( [ dkkeq ] ) in general .
therefore , we will utilize this degree of freedom to deform the eq .
( [ dkkeq ] ) ; it was proposed in @xcite that the simple solutions with the chebyshev polynomials can be derived from @xmath269 here @xmath270 with @xmath271 . this procedure corresponds to utilizing the canonical pair @xmath272 of the cosmological constant @xmath14 @xcite , @xmath273 = \kappa \ , n\ , \mu^n,\end{aligned}\ ] ] instead of the canonical coordinates @xmath274 of the most relevant operator @xmath121 , @xmath275 = \kappa\ , n\ , t^n.\end{aligned}\ ] ] so in general the equation we have is @xmath276    in this procedure , the requirement of matrix model is that the functions of @xmath277 in the operators @xmath75 and @xmath278 are all polynomials in @xmath277 .
one can expect that @xmath279 should be polynomials in general background .
the solution for conformal background in the superstring cases was first obtained in @xcite .
there are two classes of the solutions . the first class is called the one - cut - phase solution : @xmath280 the second
is called the two - cut - phase solution : @xmath281 here we use @xmath282 and @xmath283 is the fzzt disk amplitude .
realization of this solution in the pure - supergravity critical point was shown in @xcite .
realization of @xmath18 solutions in the two - cut two - matrix models was shown in @xcite , with the sft formulation @xcite@xcite and its prescription utilizing the @xmath284 constraints @xcite .    in the dkk prescription , what we need to consider is the douglas equation for the matrix - valued lax operators @xmath285 and @xmath286 of eq s ( [ aoptilde ] ) and ( [ coptilde ] ) . since @xmath285 and @xmath286
can generally be expanded in terms of pauli matrices @xmath287 , one can decompose the string equation in the following form : @xmath288\ , a^{-\frac{\hat p+\hat q}{2}}\lambda^{-(\hat p+\hat q ) }   -\kappa i_2 = \text{(ccr0)}\ , \kappa^0 + \text{(ccr1 ) } \,\kappa i_2 + \text{(ccr2)}\ , \kappa \sigma_3+o(\kappa^2 ) .
\label{doug2cut}\end{aligned}\ ] ] the one - cut solution is trivially the solution found in the bosonic case .
the two - cut solution is less trivial but can be realized as @xmath289 with @xmath290 .
one can easily show that this satisfies the douglas equations ( [ doug2cut ] ) .
the curly bracket @xmath291 denotes anti - commutator which is necessary to satisfy ( ccr2 ) .
the implications of this system are the following :    * the zero - th order equation of the douglas equation , ( ccr0 ) , indicates that @xmath165 commutes with @xmath172 .
that is , @xmath165 and @xmath172 can be diagonalized simultaneously .
, corresponds to the fzzt brane amplitude with each different r - r charge . ]
* eigenvalues of the matrices @xmath165 and @xmath172 satisfy the same equation ( [ dkkeq ] ) as in the bosonic case .
the important difference is now the eigenvalues can include non - polynomial parts ( e.g.  the square root in eq .  ( [ 2cutsolsesh ] ) ) , as long as all the matrix elements remain to be polynomials in the matrix - model realization ( [ 2cutsoldkk ] ) . *
usually , some naive expression of the matrix - model realization ( e.g. eq .  ( [ 2cutsoldkk ] ) without the anti - commutator ) can not satisfy ( ccr2 ) . in this case , we need to add proper first order corrections to the operators @xmath165 and @xmath172 . and @xmath277 .
but in the higher - cut cases , we need to add purely first order corrections to the scaling functions in the operators @xmath165 and @xmath172 .
see section [ directanalysis11cases ] . ]
now we can extend the previous discussion to the @xmath2-cut matrix models . here
we will focus on the general considerations ; more detailed investigation of the three - cut string equation can be found in appendix [ directevaluationthreecutstringeq ] .
for the sake of simplicity , we consider the models with the @xmath0 symmetric background . in this case , the operators @xmath285 and @xmath292 are restricted to @xmath293 the matrix - model requires that all the functions @xmath294 and @xmath295 are polynomials in @xmath277 .
thus the diagonalization is just given by @xmath296 with @xmath297 and @xmath298 and @xmath299 . here
@xmath300 and @xmath301 are all polynomials and the equality `` @xmath302 '' indicates diagonalization .
then eq .
( [ dkkeq ] ) is expressed as @xmath303 since the left - hand side of the equation is a polynomial , we need to resolve the @xmath2-th root @xmath304 in the right - hand side .
a natural ansatz is @xmath305 which is characterized by the two indices @xmath306 .
then the equation turns out to be @xmath307 + { \nonumber}\\ & + \bigl[(\hat q-\hat p ) z + \hat p \gamma_{\hat p } - \hat q \gamma_{\hat q}\bigr ] \rho_{\hat p}(z)\ , \eta_{\hat
q}(z)=\hat p+\hat q-1 , \label{cisyeq}\end{aligned}\ ] ] with @xmath308 this solution can be realized in the matrix model as @xmath309,\qquad   \mathcal c^{\rm t}(n , z ) = -a^{\hat q/2 } \lambda^{\hat q } \eta_{\hat q } ( z ) \bigl [ \gamma^{-1 } z - \bar m\bigr],\end{aligned}\ ] ] with @xmath310 note that there is a sequence of @xmath97 @xmath266 s in @xmath311 and a sequence of @xmath97 @xmath312 s in @xmath313 .
these matrices satisfy @xmath314 and @xmath315 = [ \gamma^{-1},\bar m]$ ] which result in ( ccr0 ) .
of course , there is some ambiguity of taking permutation among the positions of @xmath312 and @xmath266 .
where we explicitly study all possible solutions of the string equations in the three - cut cases . ]
also we have the constraint of eq .
( [ honeconst ] ) , which means that @xmath316 with the above setting , we can solve equation ( [ cisyeq ] ) . from straightforward evaluation of eq .
( [ cisyeq ] ) , one observes that the parameters @xmath312 and @xmath266 satisfy @xmath317 except for @xmath318 case ; it can also be seen that @xmath319 is related to @xmath320 as @xmath321 for unitary series @xmath322 , one can see that they satisfy @xmath323 which leads to simple solutions of eq .
( [ cisyeq ] ) ; for instance , we list first five solutions of @xmath324 in the following : ) can generate polynomials ( i.e. solutions of eq .
( [ cisyeq ] ) ) in all the @xmath18 critical points not only in the unitary cases @xmath322 listed below . ]
@xmath325 our claim is that the solutions for the unitary cases @xmath326 can be expressed by the jacobi polynomials , @xmath327 . in the diagonalized form ( [ diagac ] ) ,
the solution is given as @xmath328{\bigl(z - c\bigr)^l\bigl(z+c\bigr)^{k - l } } \times \omega { \nonumber}\\ \mathcal c^{\rm t}(n , z )   & \simeq   a^{\hat q/2}\ , \frac{\gamma(\hat p)^2}{2c \gamma(2\hat p-1 ) }   \bigl(2c k\lambda\bigr)^{\hat p }   p^{(-\frac{2l - k}{k},\frac{2l - k}{k})}_{\hat p-1}(z / c ) \ ,   \sqrt[k]{\bigl(z - c\bigr)^{k - l}\bigl(z+c\bigr)^{l}}\times \omega^{-1 } , \label{cisysol}\end{aligned}\ ] ] with @xmath329 here @xmath330 is the beta function and also @xmath331 is given in ( [ defomega ] ) .
note that the relation ( [ exchangeabxp ] ) is essentially the identity ( [ exchangeab ] ) of the jacobi polynomials , @xmath332 .
we show that the above expressions of @xmath165 and @xmath166 solve eq .
( [ cisyeq ] ) for general indices @xmath306 in appendix [ jacobipproof ] .
for the three - cut critical points of @xmath333 , some of the solutions can be written in terms of the chebyshev polynomials . since
this solution is very similar to the solutions of one - cut and two - cut cases , it provides simple examples to see what happens in multi - cut cases .    in the case of @xmath318 , the constraints ( [ honeconst ] ) turns out to be @xmath334 when we have @xmath324 , then @xmath335 .
a solution which satisfies this constraint is given by @xmath336{\bigl(z - c\bigr)^2\bigl(z+2c\bigr)}\times \omega,{\nonumber}\\ \mathcal c^{\rm t}(n , z )   & \simeq a^{\hat q/2}\,c^{-1}\bigl(\frac{3c \lambda}{2}\bigr)^{\hat q } \bigl(2\cosh\bigl(\frac{3}{2}\tau\bigr)\bigr)^{\frac{1}{3}}\ ,   \cosh \bigl(\frac{2\hat q-1}{2}\tau\bigr)\times \omega^{-1}{\nonumber}\\ & = a^{\hat q/2}\,c^{-1}\bigl(\frac{3c \lambda}{2}\bigr)^{\hat q}\ , w_{\hat q-1}\bigl(z / c\bigr ) \sqrt[3]{\bigl(z - c\bigr)\bigl(z+2c\bigr)^2}\times \omega^{-1 } ,   \label{cheb3cutsol}\end{aligned}\ ] ] with @xmath337 .
here the polynomial @xmath338 is the chebyshev polynomial of the fourth kind : @xmath339 this satisfies the deformed equation ( [ deformeddkkeq ] ) with the canonical pair @xmath340 , critical point in the @xmath341-symmetric 3-cut cases . ]
@xmath342 = n \kappa \tilde\mu^n,\qquad   w(z)\sim \cosh ( \hat q-2)\tau \sim   t_{|\hat q-2|}(z / c ) , \ ] ] with some proper normalization .      here
we consider geometry of the multi - cut solutions we have obtained .
the purpose is two - folded ; first , it serves as a check of our ansatz ( [ cisyansatz ] ) ; second , it provides some physical intuition to the multi - cut system .
the algebraic equation of the @xmath318 solution ( [ cheb3cutsol ] ) is easily written down as @xmath343 where we define @xmath344 and @xmath345 are the eigenvalues of the operators @xmath346 and @xmath347 ( see eq .
( [ tolax1 ] ) ) .
one can easily see that this equation is an algebraic equation in @xmath128 and @xmath11 .
note that there are three branches , @xmath348 @xmath349 , of the algebraic equation , @xmath350 and this defines the three sheets of the riemann surface .
these branches are related by the following shift of the parameter @xmath351 , @xmath352 in the expression of eq .
( [ cheb3cutsol ] ) , since this shift does not change the coordinate @xmath128 .
this algebraic equation has singularities @xmath353 , @xmath354 at the origin @xmath355 and at @xmath356 of @xmath357 with @xmath358 and @xmath359 .
the geometrical meaning of singular points is that different branches of riemann surface intersect at the points .
since the singular point at the origin does not change under the shift of @xmath351 of eq .
( [ shiftbranches ] ) , this singular point joins the three sheets at the same time . on the other hand ,
the singular points given in ( [ singularpointspeq1 ] ) only join two sheets at the same time .
the reason is following : the invariance of the singular points ( [ singularpointspeq1 ] ) under the shift ( [ shiftbranches ] ) is essentially given by the invariance of the factor @xmath360 in @xmath361 , that is , @xmath362 \qquad ( m=0,1,2).\end{aligned}\ ] ] since the @xmath341 symmetric @xmath318 critical points satisfy @xmath363 , the above condition is only satisfied by two different values of @xmath364 .
this means that the singular points only join two sheets at the same time .
the branch points @xmath365 of the function @xmath366 , @xmath367 appear when @xmath368 one can see that the singular points ( [ singularpointspeq1 ] ) appear between the origin and the branch points in the @xmath341 symmetric manner ( i.e.  @xmath369 ) .
the simplest curve ( the @xmath370 cases ) , @xmath371 is drawn in fig .
[ 3cutgeometry ] .
the topology of the curves is also shown in fig .
[ 3cuttopology ] .
note that there is a non - trivial handle in the algebraic curve .
this comes from the cubic root in the curve .
the appearance of non - trivial handle is explained in appendix [ appcubicroots ] , where some basic properties of cubic roots are summarized .
case and @xmath372 , which is given by @xmath373 .
the branch points are at @xmath374 @xmath375 .
the singularity is at the origin @xmath376 . ]     and ( b ) @xmath377 .
the junction of three sheets is the singular point at the origin .
the torus comes from the cubic - root cut .
two - sheet junctions in ( b ) are the singular points of ( [ singularpointspeq1 ] ) , the number of which is nine . ]
we also write the algebraic curve of the @xmath378 cases as @xmath379 with @xmath380 and @xmath381{\bigl(z-\frac{3f}{2}\bigr)^2\bigl(z+\frac{3f}{2}\bigr ) } , \quad q=\mu^{2/3 } \bigl(z-\frac{f}{2}\bigr)\,\sqrt[3]{\bigl(z-\frac{3f}{2}\bigr)\bigl(z+\frac{3f}{2}\bigr)^2}. \end{aligned}\ ] ] one can see that this solution also has three branch points .
next we consider the counterpart solution of `` one - cut phase '' in the two - cut matrix models , i.e. @xmath382 .
we here adopt the expression ( [ onecutthreecut ] ) derived from direct analysis of the string equation , and leave the details in appendix [ directevaluationthreecutstringeq ] .
the diagonalization of the matrix operators gives @xmath383 here we put @xmath384 and @xmath385 ( see eq .
( [ defofsmallz ] ) ) .
they give three algebraic equations : @xmath386 since the phase @xmath44 labels branches of the solution , the complete algebraic equation should be given by multiplication of these equations , @xmath387 this curve has no branch point but has three singular points which are at @xmath388 @xmath375 .
one can also see that these singular points only join two sheets at the same time .
the curve is drawn in fig .
[ 3cutonecutgeometry ] .
the topology of the curve is also shown in fig .
[ 3cutonecuttopology ] .     case and @xmath382 , which is given by @xmath389 .
the singularities are at @xmath390 @xmath375 .
there is no branch point , but we explicitly show the cut which indicates the eigenvalue condensation .
this cut has a junction of three cuts , which is allowed in the cubic root . since there is no branch point attached by this cut
, one can also push this cut away to infinity . ]    .
( a ) is the case of finite @xmath14 and ( b ) is the case of @xmath391 . ]    here in fig .
[ 3cutonecutgeometry ] , we draw a single connected cut which does not attach any branch points . this cut has a junction of three cuts .
this kind of junction is always allowed in general @xmath2-th root ( see appendix [ appcubicroots ] ) . since there is no branch point here
, one can also push this cut away to infinity .
although this cut can be pushed away , this has a physical meaning as the eigenvalue condensation .
there is a similar phenomenon in the two - cut matrix models @xcite : in the one - cut phase of two - cut matrix models , the `` two cuts '' are completely connected with each other and form `` a single cut '' , which run along the whole real axes . since the branch points disappear in this procedure , one can also push this cut away to infinity . in our three - cut case , since the cubic - root system admits a @xmath341 symmetric cut which has a three - cut junction without any branch points , it is natural to interpret that this system still have this kind of cut which indicates the eigenvalue density .
in this paper , we have provided quantitative analysis of @xmath18 critical points in the multi - cut two - matrix models based on an extension of the prescription developed by daul , kazakov and kostov in the one - cut two - matrix models @xcite .
right at the critical points , we identified the minimal construction of critical resolvents and potentials which can give @xmath18 critical points of the multi - cut two - matrix models .
the hermiticity of the lax operators realized in the multi - cut critical points is identified .
we have also studied off - critical behavior of macroscopic loop amplitudes . in this study
, we identified an ansatz for non - polynomial parts of amplitudes in the @xmath0 symmetric background .
this ansatz enables us to generate several formulas for off - critical macroscopic loop amplitudes : the intriguing one is the formula written with the jacobi polynomials in the unitary cases @xmath322 .
several future issues about our results are in order :    * in identification of the critical points , we only consider the system of equations ( [ primitiveccr ] ) and ( [ steqmatrix ] ) . in this investigation , there is no essential difference between the real potential models and the @xmath34-rotated models , in the sense of existence of @xmath0 symmetry breaking critical points . as an independent check , one can perform direct evaluations using the monte carlo approach @xcite , since our real - potential solutions can avoid the difficulty of complex numbers in numerical analysis . *
although we have found the formula for the unitary cases ( [ cisysol ] ) , the expression in terms of algebraic equation is missing .
since underlying structure is multi - component kp hierarchy @xcite , they should be expressed by the algebraic equation of @xmath392 order , @xmath393 @xcite . * from our analysis , the system of douglas equation in the @xmath0 symmetric background admits one discrete parameter @xmath97 in the expression ( [ cisysol ] ) .
the off - critical system is , however , controlled only by a dimension - full perturbation @xmath14 .
this parameter @xmath97 seems mysterious because one may expect that there are at most two meaningful geometries which respect the sign of @xmath14 .
the physical meaning of the parameter @xmath97 , therefore , should be an interesting question to be investigated . *
since our analysis only concentrates on the possible asymptotic ( weak coupling ) geometries of macroscopic loop amplitudes , the consideration about interpolation between different asymptotic geometries ( which might be expressed by @xmath97 ) is necessary .
this should be accomplished by non - perturbative analysis of the string equation as is in the two - cut one - matrix models @xcite .
* since we have known about macroscopic loop amplitudes in the @xmath0 symmetric critical points , it should be interesting to identify the liouville continuum formulation corresponding to the @xmath0 symmetric critical points . * to see the relation to minimal fractional superstring theory
, we need to calculate the amplitudes in the @xmath0 symmetry breaking critical points .
since minimal fractional superstring theory is a natural generalization of bosonic and super string theories , the formula could be probably written by the jacobi polynomials of the ultraspherical sequence , @xmath394 .
* one of the important features of the multi - cut matrix models is the @xmath0 charge of d - branes . in this sense
, it should be important to see the annulus amplitude of macroscopic loop amplitudes @xcite .
to see the correlations among @xmath0 charges through annulus amplitudes of the matrix models is also an interesting problem to be studied .
* acknowledgment *    the authors would like to thank shoichi kawamoto for the useful discussion and comments on this work .
we also would like to thank chien - ho chen , wei - ming chen , kazuyuki furuuchi , pei - ming ho , hiroshi isono , shoichi kawamoto , jen - chi lee , feng - li lin , tomohisa takimi , dan tomino and wen - yu wen for attending minimal string study meeting and sharing valuable discussions .
shih would like to show his gratitude to people in taiwan string focus group where most of the work has been done .
ct is supported by national science council of taiwan under the contract no .
96 - 2112-m-021 - 002-my3 .
the authors are also supported by national center for theoretical science under nsc no .
98 - 2119-m-002 - 001 .
an intuitive understanding of the relation between the resolvents and orthonormal polynomials is following : there is a useful expression for the general orthonormal polynomials @xcite : @xmath395 here the expectation value is defined by path integral over the @xmath396 truncated matrices @xmath397 and @xmath398 as @xmath399 with @xmath400 .
this implies the following powerful relation in the large @xmath401 limit , @xmath402 this relation has been argued and proved from several viewpoints @xcite @xcite @xcite . with this relation , solving the eigenvalue problems
( [ orthrecab ] ) and ( [ orthreccd ] ) in the large @xmath1 limit is translated into obtaining the resolvents of the matrix model .
to compare our calculations with previous results in @xcite , we make a list of the critical potentials ( of real coefficients ) @xmath403 .. the gaussian integration over @xmath404 for the two - matrix model partition function gives back to the one - matrix models .
however note that the potential @xmath403 here is defined as the usual one - matrix potential @xmath405 . ]
note that our ( real - coefficient ) critical potentials are related to the ( complex - coefficient ) critical potentials in @xcite by replacing @xmath406 and @xmath407 . has a different meaning in the main text . ]
the parameter @xmath312 corresponds to the critical point of eigenvalue ( @xmath408 ) , which one can always put zero , @xmath409 .
the parameter @xmath410 is an irrelevant perturbation and essentially does not change the system but is necessary to obtain the critical points of odd @xmath411 ( one can always choose any finite non - zero number ) . @xmath412 the critical resolvents are @xmath413 defined by the operator @xmath414 as @xmath415 and @xmath416      here we turn on the coefficient @xmath418 in the potential @xmath419 and put @xmath250 .
with suitable choices of the value of @xmath195 or @xmath90 ( one of them is a free parameter ) , we can obtain critical potentials with smaller coefficients .
for example , two - cut @xmath420 unitary critical potential with @xmath38 is given as @xmath421 and one can see that the coefficients are larger than those of the @xmath250 case ( [ twocut(4,5)critiwtheta ] ) . also the critical point in eigenvalue space @xmath103 are chosen to be the origin @xmath422 . by making a shift of variable @xmath423 , we can eliminate the parameter @xmath312 like in appendix [ onematcritipotentials ] .
[ [ the - unitary - cases ] ] the unitary cases : + + + + + + + + + + + + + + + + + +     + the critical potential of the unitary cases @xmath424 ( i.e. @xmath239 unitary minimal superstrings ) are @xmath425    [ [ the - hat - phat - q - cases ] ] the @xmath18 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath426 of general @xmath427 cases are @xmath428    [ [ mathbb - z_2-breaking - cases ] ] @xmath123 breaking cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the @xmath123 breaking critical potentials ( @xmath410 is a breaking parameter ) are @xmath429 note that the critical potentials of @xmath430-rotated models are obtained by the analytic continuation , @xmath407 .
[ [ the - unitary - cases - hat - phat - q ] ] the unitary cases ( @xmath322 ) : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials of `` unitary '' cases @xmath424 are @xmath431    note that , for the case of @xmath318 , we consider the potential of @xmath432 . then the critical operator of @xmath433 is given as @xmath434 from the construction , the vicinity of @xmath435 is the @xmath436 critical point .
in this class of solutions , we need to be careful about critical potentials with odd degrees . in general , negative roots for the critical potentials
@xmath437 with @xmath438 , and the fermi sea is filled from origin to some point around the first negative root . however for @xmath318 ,
the fermi sea extends to negative infinity ( see eq .
( [ peq1cripotex ] ) with @xmath439 ) .
hence we introduce a regularization parameter @xmath440 by eq .
( [ defepsilon ] ) .
this will make the matrix model well - defined and we will also adjust the normalization factor @xmath195 accordingly .
[ [ the - hat - phat - q1hat - q - cases ] ] the @xmath441 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath442 and @xmath443 of the @xmath333 case are @xmath444 since there is no @xmath445 critical point in three - cut cases , the above @xmath445 critical potential should result in the @xmath446 critical point .
[ [ the - hat - phat - q - cases-1 ] ] the @xmath18 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath426 of general @xmath427 cases are @xmath447      [ [ the - unitary - cases - hat - phat - q-1 ] ] the unitary cases ( @xmath322 ) : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials of `` unitary '' cases @xmath424 are @xmath448    [ [ the - hat - phat - q1hat - q - cases-1 ] ] the @xmath441 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath442 and @xmath443 of the @xmath333 case are @xmath449 since there is no @xmath446 critical point in the four - cut cases , the above @xmath446 critical potential should result in the @xmath450 critical point .
[ [ the - hat - phat - q - cases-2 ] ] the @xmath18 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath426 of general @xmath427 cases are @xmath451      [ [ the - unitary - cases - hat - phat - q-2 ] ] the unitary cases ( @xmath322 ) : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials of `` unitary '' cases @xmath424 are @xmath452    [ [ the - hat - phat - q1hat - q - cases-2 ] ] the @xmath441 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath442 and @xmath443 of the @xmath333 case are @xmath453    [ [ the - hat - phat - q - cases-3 ] ] the @xmath18 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath426 of general @xmath427 cases are @xmath454      we concentrate on the @xmath0 breaking critical points of the multi - cut matrix models which is characterized by the operators @xmath165 and @xmath172 of @xmath455 since they correspond to minimal fractional superstring theory @xcite .
the parameter @xmath410 is the breaking parameter .
the critical potentials of the @xmath34-rotated models are obtained by the analytic continuation , @xmath456 .
we put @xmath250 .
[ [ the - unitary - models - hat - qhat - p1 ] ] the unitary models @xmath457 : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath458 of the unitary @xmath459 cases ( unitary minimal fractional superstring theory ) are @xmath460 & \hspace{8cm}\bigl(\theta= 5 + 21 \epsilon,\quad \epsilon \neq 1\bigr ) , \\[2pt ] & \underline{(\hat p,\hat q)=(2,3)}\quad     \left\ { \begin{array}{l } { \displaystyle}v_1^{(3)}(x)= 3   g x^2   + \frac{13 x^3}{3 } -\frac{12   g x^5 } { 5 } -\frac{13 x^6}{6 } + \frac { g x^8}{8 } + \frac{x^9}{9 } , \cr { \displaystyle}v_2^{(2)}(y)=   g y + \frac{5   g^2 y^2 } { 2 } -\frac{13 y^3}{3 } -\frac{5 g y^4 } { 4 } + \frac{y^6}{6 } , \end{array } \right .
{ \nonumber}\\ & \hspace{8cm}(\theta = 26   ) .
\end{aligned}\ ] ]    [ [ the - hat - phat - q1hat - q - cases-3 ] ] the @xmath441 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the critical potentials @xmath461 and @xmath443 are @xmath462      [ [
the - unitary - models - hat - qhat - p1 - 1 ] ] the unitary models @xmath457 : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath458 of the unitary @xmath459 cases ( unitary minimal fractional superstring theory ) are @xmath463 & \hspace{8cm}\bigl(\theta=   2 ( 4 + 15 \epsilon ) , \quad \epsilon \neq 1\bigr ) , \\[2pt ] & \underline{(\hat p,\hat q)=(2,3)}{\nonumber}\\ & \left\ { \begin{array}{l } { \displaystyle}v_1^{(3)}(x)= -\frac{25 g}{3 } x^3   -13 x^4 + \frac{125 g}{7 } x^7   + \frac{143 x^8}{8 } -\frac{25 g}{11 } x^{11 }   -\frac{13 x^{12}}{6 } + \frac{g}{15 } x^{15 }   + \frac{x^{16}}{16},\cr { \displaystyle}v_2^{(2)}(y)= g y   + \frac{7 g^2}{2 } y^2   -\frac{13 y^4}{2 } -\frac{7 g}{5 } y^5   + \frac{y^8}{8 } ,   \end{array } \right .
{ \nonumber}\\ & \hspace{8 cm } ( \theta=65).\end{aligned}\ ] ]    [ [ the - hat - phat - q1hat - q - cases-4 ] ] the @xmath441 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the critical potentials @xmath461 and @xmath443 are @xmath464      [ [ the - unitary - models - hat - qhat - p1 - 2 ] ] the unitary models @xmath457 : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the potentials @xmath458 of the unitary @xmath459 cases ( unitary minimal fractional superstring theory ) are @xmath465    [ [ the - hat - phat - q1hat - q - cases-5 ] ] the @xmath441 cases : + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +     + the critical potentials @xmath461 and @xmath443 are @xmath466
in this appendix , we make a detailed analysis of the string equation in the three - cut matrix models . ] based on the formalism of @xmath2-component kp hierarchy @xcite@xcite .
the motivation behind this analysis is to check that our ansatz ( [ cisyansatz ] ) corresponds to a special solution of lax pairs . on the other hand
, the complete analysis also provides useful hints for other solutions in the multi - cut matrix models .
the realization of @xmath0 symmetric @xmath18 critical points have been shown in eq s ( [ tolax1 ] ) and ( [ tolax2 ] ) . here we drop some irrelevant factors and the following simplified notation is used : @xmath467 the coefficient matrices @xmath468 and @xmath469 are all real functions . then the lax operators @xmath470 and @xmath471 are defined as @xmath472 with @xmath473 = [ { \boldsymbol{p}},{\boldsymbol{l}}]=0 $ ] and @xmath474 , and @xmath475 in the following discussion , we put @xmath476 for simplicity .
the relation @xmath477 can be easily solved if derivative terms are neglected : @xmath478 with @xmath479 .
the bracket @xmath480 is a totally symmetric product which is defined by @xmath481 here we define @xmath482\bigr],\qquad   f = f^{(\rm diag)}+f^{(\rm off)}. \end{aligned}\ ] ] in the kp hierarchy basis @xmath483 , they are truly a diagonal part and an off - diagonal part of the matrix @xmath484 .
since we impose the @xmath0 symmetry here , the kp operator @xmath19 corresponding to the matrix operator @xmath75 is given in eq s ( [ tolax1 ] ) and ( [ tolax2 ] ) as @xmath485 with @xmath486 then the equation @xmath473=0 $ ] gives @xmath487\bigr ] + ( \text{derivative terms } ) .
\end{aligned}\ ] ] the operator @xmath20 for the @xmath333 case can be written @xcite as @xmath488 with @xmath489 .
then the string equation can be easily derived from @xmath490.\end{aligned}\ ] ] one can easily see that @xmath491 ( mod .
@xmath492 ) is not allowed as critical points .
for example , in the first simplest case @xmath370 , the string equation is written as @xmath493+t \bigl[h,\gamma^2\bigr]\end{aligned}\ ] ] with @xmath494 .
below , by imposing the information of the matrix model ( [ finhpeq1 ] ) , we solve this string equation at the first order of string coupling .
there are four asymptotic solutions : the first one is generalization of `` one - cut solution '' in two - cut matrix models : @xmath495 with a shift of @xmath277 , this corresponds to our solution ( [ cisysol ] ) with the choice of @xmath382 .
the others @xmath496 are essentially expressed as @xmath497 with @xmath498 they all satisfy @xmath499 .
note that the forms of @xmath500 and @xmath501 @xmath496 are different from each other but eigenvalues are the same . with a shift of @xmath277 ,
this is equivalent to our ansatz ( [ cisyansatz ] ) and the solution ( [ cisysol ] ) of @xmath372
.    we also note that the douglas equation , @xmath220=g_{str}i_3 $ ] , requires the following first order correction of string coupling : @xmath502 with @xmath503 this kind of first order correction can not be realized by the ordering problem of @xmath277 and @xmath121 like in the two - cut cases ( [ 2cutsoldkk ] ) .
we consider the background @xmath504 .
there are five asymptotic solutions : the first one is a generalization of `` one - cut solution '' in two - cut matrix models : @xmath505 other three solutions @xmath496 are essentially expressed as @xmath506 with @xmath507 these solutions precisely correspond to the ansatz ( [ cisyansatz ] ) .
the last solution is different from the ansatz ( [ cisyansatz ] ) , and can be expressed as @xmath508 the functions @xmath509 and @xmath510 in @xmath511 ( see ( [ finhpeq1 ] ) ) are related as @xmath512 it would be of interest to make further study of these solutions .      the kp operator @xmath19 which corresponds to the matrix operator @xmath165 is given in eq s ( [ tolax1 ] ) and ( [ tolax2 ] ) as @xmath513 with @xmath514 then the equation @xmath473=0 $ ] gives @xmath515+[h_2,s_{n-2 } ] \bigr ) \bigr ] + ( \text{derivative terms } ) .
\end{aligned}\ ] ] the operator @xmath20 and the string equation for the @xmath378 case can be written as @xmath516 = g_{str } i_3.\end{aligned}\ ] ] there are also several equivalent solutions like the 2nd , 3rd and 4th solutions of the @xmath370 and @xmath446 cases . here
we only list representative solutions .
the first solution is the counterpart of the one - cut solution : there are three equivalent expressions .
one of them is given as @xmath517 the parameter @xmath518 is fixed by the douglas equation @xmath220=g_{str}i_3 $ ] .
this case is also related to our solution ( [ cisysol ] ) of @xmath382 .
the second solution corresponds to our ansatz ( [ cisyansatz ] ) : there are also three expressions and one of them is given as @xmath519 the parameter @xmath518 is fixed by the douglas equation @xmath220=g_{str}i_3 $ ] .
this case is also related to our solution ( [ cisysol ] ) of @xmath372 .
here we write some basic facts about the jacobi polynomials , which we have used in this paper .
some standard reference is @xcite , for example .
the jacobi polynomial @xmath327 is a solution of the hypergeometric equation , @xmath520p_n^{(\alpha,\beta)}(z)=0,\label{jacobieq}\end{aligned}\ ] ] and is defined by @xmath521.\end{aligned}\ ] ] they are orthogonal polynomials with respect to the following inner product : @xmath522      the jacobi polynomials are related to other famous polynomials .
the gegenbauer polynomials , @xmath523 , and the legendre polynomials , @xmath524 , are @xmath525 the chebyshev polynomials of the first kind , @xmath526 , and the second kind , @xmath527 , are @xmath528 ^ 2}\ , u_n(z).\end{aligned}\ ] ] they are also called the ultraspherical polynomials @xmath529 .
the twisted type of ultraspherical polynomials , @xmath530 @xcite , can include the chebyshev polynomials of the third kind , @xmath531 , and the forth kind , @xmath338 : @xmath532 so we can see that @xmath533 .
some useful relations are in order :     + @xmath534 @xmath535 @xmath536 @xmath537      here we check that our formula ( [ cisysol ] ) @xmath538{\bigl(z-1\bigr)^l\bigl(z+1\bigr)^{k - l } } ,   { \nonumber}\\ \xi_{\hat q}(z ) & = p^{(-\frac{2l - k}{k},\frac{2l - k}{k})}_{\hat q-1}(z ) \ ,   \sqrt[k]{\bigl(z-1\bigr)^{k - l}\bigl(z+1\bigr)^{l } } , \end{aligned}\ ] ] generally satisfies eq .
( [ dkkeq ] ) @xmath539 in the case of @xmath322 . for sake of simplicity
, we neglect normalization factors .
what we need to show is that the derivative of eq .
( [ dkkeq2 ] ) vanishes , @xmath540 we first calculate @xmath541 as follows : @xmath542{\bigl(z-1\bigr)^l\bigl(z+1\bigr)^{k - l}}\,+{\nonumber}\\ & \qquad\quad\quad   +   2\ , { \partial}_z p^{(\frac{2l - k}{k},-\frac{2l - k}{k})}_{\hat p-1}(z ) \times { \partial}_z \bigl(\sqrt[k]{\bigl(z-1\bigr)^l\bigl(z+1\bigr)^{k - l}}\bigr)+{\nonumber}\\[3pt ] & \qquad\quad\quad + p^{(\frac{2l - k}{k},-\frac{2l - k}{k})}_{\hat p-1}(z ) \times { \partial}_z^2\bigl(\sqrt[k]{\bigl(z-1\bigr)^l\bigl(z+1\bigr)^{k - l}}\bigr ) \biggr ] { \nonumber}\\ & = p^{(-\frac{2l - k}{k},\frac{2l - k}{k})}_{\hat p-1}(z ) \biggl [ ( z^2 - 1)\ , { \partial}_z^2 p^{(\frac{2l - k}{k},-\frac{2l - k}{k})}_{\hat p-1}(z ) + { \nonumber}\\ & \qquad+ 2\bigl(z+\dfrac{l}{k}-\dfrac{k - l}{k}\bigr)\ , { \partial}_z p^{(\frac{2l - k}{k},-\frac{2l - k}{k})}_{\hat p-1}(z ) - \dfrac{4\dfrac{l}{k}\bigl(\dfrac{k - l}{k}\bigr)}{z^2 - 1 }   p^{(\frac{2l - k}{k},-\frac{2l - k}{k})}_{\hat p-1}(z ) \biggr ] { \nonumber}\\[3pt ] & = \biggl [ -\dfrac{4\dfrac{l}{k}\bigl(\dfrac{k - l}{k}\bigr)}{z^2 - 1 } + \hat p(\hat p-1 ) \biggr ] p^{(-\frac{2l - k}{k},\frac{2l - k}{k})}_{\hat p-1}(z)\times p^{(\frac{2l - k}{k},-\frac{2l - k}{k})}_{\hat p-1}(z)\end{aligned}\ ] ] here we use the following relations , @xmath543{\bigl(z-1\bigr)^{k - l}\bigl(z+1\bigr)^{l}}\times \sqrt[k]{\bigl(z-1\bigr)^l\bigl(z+1\bigr)^{k - l } } & = z^2 - 1 ,   \\[5pt ] \sqrt[k]{\bigl(z-1\bigr)^{k - l}\bigl(z+1\bigr)^{l}}\ , \frac{{\partial}}{{\partial}z }   \bigl(\sqrt[k]{\bigl(z-1\bigr)^l\bigl(z+1\bigr)^{k - l}}\bigr ) & = z+\dfrac{l}{k}-\dfrac{k - l}{k } , \\ \sqrt[k]{\bigl(z-1\bigr)^{k - l}\bigl(z+1\bigr)^{l}}\ , \frac{{\partial}^2}{{\partial}z^2 }   \bigl(\sqrt[k]{\bigl(z-1\bigr)^l\bigl(z+1\bigr)^{k - l}}\bigr ) & = -\dfrac{4\dfrac{l}{k}\bigl(\dfrac{k - l}{k}\bigr)}{z^2 - 1},\end{aligned}\ ] ] and the differential equation ( [ jacobieq ] ) , @xmath544p^{(\frac{2l - k}{k},-\frac{2l - k}{k})}_{\hat p-1}(z )   = \hat p(\hat p-1)\,p^{(\frac{2l - k}{k},-\frac{2l - k}{k})}_{\hat p-1}(z )
. \end{aligned}\ ] ] since the calculation of @xmath545 is similar to that of @xmath541 by exchanging the two indices : @xmath546 and one concludes @xmath547 this is the equation ( [ derdkkeq ] ) .
one can calculate the constant in eq .
( [ dkkeq2 ] ) and fix the normalization of eq .
( [ cisysol ] ) by using eq s ( [ jacobinormalization1 ] ) and ( [ jacobinormalization2 ] ) .
here we summarize basic properties of cubic roots of analytic functions and the topology of associated riemann surface , which serves as the simplest prototype of general @xmath2-th root cases . in the case of cubic root of a single complex variable , @xmath548{z^l}\ , \to\ , \sqrt[3]{(e^{2\pi i}z)^l } = \omega^{l } \sqrt[3]{z^l } \qquad ( l=0,1,2,\cdots),\end{aligned}\ ] ]
we can define the charge @xmath549 of the branch point @xmath550 , according to the power of the fundamental phase @xmath97 , as @xmath551 .
one can have branch cuts in the complex plane which connect branch points with vanishing total charges , @xmath552 .
for cubic roots of an analytic function , there are two types of branch cuts :    \(i ) type i branch cut connects two branch points of opposite charges .
one concrete example is given by @xmath553{(z - a)(z - b)^2}.\end{aligned}\ ] ] here the branch point @xmath554 carries charge @xmath555 , and the branch point @xmath556 carries charge @xmath557 .
the geometry of the associated riemann surface is given in fig .
[ cubicroot1](a ) . by cutting the three complex planes along the branch cuts and gluing the six edges according to the identification rule
, we can see clearly that the topology of the type i branch cut is given by a simple junction of the three sheets , as shown in fig .
[ cubicroot1](b ) .
\(ii ) type ii branch cut connects three branch points of identical charges .
one concrete example is given by @xmath558{(z - a)(z - a\omega)(z - a\omega^2 ) } = \sqrt[3]{z^3-a^3}\end{aligned}\ ] ] here all three branch points @xmath559 carry charge @xmath555 .
the geometry of the associated riemann surface is given in fig .
[ cubicroot2](a ) . by cutting the three complex planes along the branch cuts and flipping the resulting complex plane into a hexagon ( including the point at infinity )
, one can transform the identification rule in fig .
[ cubicroot2](a ) for three complex planes into a gluing rule for three hexagons .
hence , the topology of the type ii branch cut is the same as that of a torus ( fig .
[ cubicroot2](b ) ) .     indicate the way of connection around the branch point @xmath560 .
b ) cut the cuts out and open them up . after gluing the sheets
, one can observe that the topology is torus .
that is , the topological role of the second type cut is a junction of the three sheets with a torus . ]
a.  m.  polyakov , `` quantum geometry of bosonic strings , '' phys .
b * 103 * ( 1981 ) 207 ; `` quantum geometry of fermionic strings , '' phys .
b * 103 * ( 1981 ) 211 .
v.  g.  knizhnik , a.  m.  polyakov and a.  b.  zamolodchikov , `` fractal structure of 2d - quantum gravity , '' mod .
lett .  a * 3 * ( 1988 ) 819 .
f.  david , `` conformal field theories coupled to 2-d gravity in the conformal gauge , '' mod
.  phys .
a * 3 * ( 1988 ) 1651 ; + j.  distler and h.  kawai , `` conformal field theory and 2-d quantum gravity , or who s afraid of joseph liouville ?
, '' nucl .
b * 321 * ( 1989 ) 509 .
e.  brezin and v.  a.  kazakov ,
`` exactly solvable field theories of closed strings , '' phys .  lett .
b * 236 * ( 1990 ) 144 ; + m.  r.  douglas and s.  h.  shenker , nucl .
b * 335 * ( 1990 ) 635 ; + d.  j.  gross and a.  a.  migdal , `` nonperturbative two - dimensional quantum gravity , '' phys .
* 64 * ( 1990 ) 127 .
e.  brezin , m.  r.  douglas , v.  kazakov and s.  h.  shenker , `` the ising model coupled to 2-d gravity : a nonperturbative analysis , '' phys .
b * 237 * ( 1990 ) 43 ; + d.  j.  gross and a.  a.  migdal , `` nonperturbative solution of the ising model on a random surface , '' phys .
* 64 * ( 1990 ) 717 .
d.  j.  gross and a.  a.  migdal , `` a nonperturbative treatment of two - dimensional quantum gravity , '' nucl .
b * 340 * ( 1990 ) 333 .
j.  mcgreevy and h.  l.  verlinde , `` strings from tachyons : the @xmath561 matrix reloaded , '' jhep * 0312 * ( 2003 ) 054 [ arxiv : hep - th/0304224 ] .
d.  gaiotto and l.  rastelli , `` a paradigm of open / closed duality : liouville d - branes and the kontsevich model , '' jhep * 0507 * ( 2005 ) 053 [ arxiv : hep - th/0312196 ] .
d.  j.  gross and e.  witten , `` possible third order phase transition in the large n lattice gauge theory , '' phys .
d * 21 * ( 1980 ) 446 .
v.  periwal and d.  shevitz , `` unitary matrix models as exactly solvable string theories , '' phys .
lett .   * 64 * ( 1990 ) 1326 ; `` exactly solvable unitary matrix models : multicritical potentials and correlations , '' nucl .
b * 344 * ( 1990 ) 731 .
m.  r.  douglas , n.  seiberg and s.  h.  shenker , `` flow and instability in quantum gravity , '' phys .
b * 244 * ( 1990 ) 381 . c.  r.  nappi ,
`` painleve - ii and odd polynomials , '' mod .
lett .   a * 5 * ( 1990 ) 2773 .
c.  crnkovic , m.  r.  douglas and g.  w.  moore , `` loop equations and the topological phase of multi - cut matrix models , '' int .
j.  mod .
phys .  a * 7 * ( 1992 ) 7693 [ arxiv : hep - th/9108014 ] .
t.  j.  hollowood , l.  miramontes , a.  pasquinucci and c.  nappi , `` hermitian versus anti - hermitian one matrix models and their hierarchies , '' nucl .
b * 373 * ( 1992 ) 247 [ arxiv : hep - th/9109046 ] .
t.  takayanagi and n.  toumbas , `` a matrix model dual of type 0b string theory in two dimensions , '' jhep * 0307 * ( 2003 ) 064 [ arxiv : hep - th/0307083 ] . m.  r.  douglas , i.  r.  klebanov , d.  kutasov , j.  m.  maldacena , e.  j.  martinec and n.  seiberg , `` a new hat for the @xmath561 matrix model , '' arxiv : hep - th/0307195
. i.  r.  klebanov , j.  m.  maldacena and n.  seiberg , `` unitary and complex matrix models as 1-d type 0 strings , '' commun .
* 252 * ( 2004 ) 275 [ arxiv : hep - th/0309168 ] . c.  crnkovic and g.  w.  moore , `` multicritical multicut matrix models , '' phys .
b * 257 * ( 1991 ) 322 .
h.  irie , `` fractional supersymmetric liouville theory and the multi - cut matrix models , '' nucl .
b * 819 * ( 2009 ) 351 [ arxiv:0902.1676 [ hep - th ] ] .
e.  brezin , c.  itzykson , g.  parisi and j.  b.  zuber , `` planar diagrams , '' commun .
* 59 * ( 1978 ) 35 .
v.  a.  kazakov , `` the appearance of matter fields from quantum fluctuations of 2d gravity , '' mod .
a * 4 * ( 1989 ) 2125 .
i.  k.  kostov , `` strings embedded in dynkin diagrams , '' cargese 1990 , proceedings , random surfaces and quantum gravity , pp.135 - 149
. i.  k.  kostov , `` loop amplitudes for nonrational string theories , '' phys .
b * 266 * ( 1991 ) 317 .
i.  k.  kostov , `` strings with discrete target space , '' nucl
.  phys .
b * 376 * ( 1992 ) 539 [ arxiv : hep - th/9112059 ] .
t.  banks , m.  r.  douglas , n.  seiberg and s.  h.  shenker , `` microscopic and macroscopic loops in nonperturbative two - dimensional gravity , '' phys .
b * 238 * ( 1990 ) 279 .
g.  w.  moore , n.  seiberg and m.  staudacher , `` from loops to states in 2-d quantum gravity , '' nucl .
b * 362 * ( 1991 ) 665 .
j.  m.  daul , v.  a.  kazakov and i.  k.  kostov , `` rational theories of 2-d gravity from the two matrix model , '' nucl .
b * 409 * ( 1993 ) 311 [ arxiv : hep - th/9303093 ] .
m.  fukuma and s.  yahikozawa , `` comments on d - instantons in c @xmath562 1 strings , '' phys .
b * 460 * ( 1999 ) 71 [ arxiv : hep - th/9902169 ] .
j.  m.  maldacena , g.  w.  moore , n.  seiberg and d.  shih , `` exact vs. semiclassical target space of the minimal string , '' jhep * 0410 * ( 2004 ) 020 [ arxiv : hep - th/0408039 ] .
m.  r.  douglas , `` strings in less than one - dimension and the generalized kdv hierarchies , '' phys .
b * 238 * ( 1990 ) 176 .
t.  tada and m.  yamaguchi , `` @xmath563 and @xmath11 operator analysis for two matrix model , '' phys .
b * 250 * ( 1990 ) 38 ; + m.  r.  douglas , _ in * cargese 1990 , proceedings , random surfaces and quantum gravity * 77 - 83 .
( see high energy physics index 30 ( 1992 ) no .
17911 ) _ ; + t.  tada , `` @xmath564 critical point from two matrix models , '' phys .
b * 259 * ( 1991 ) 442 .
m.  fukuma , h.  irie and y.  matsuo , `` notes on the algebraic curves in @xmath13 minimal string theory , '' jhep * 0609 * ( 2006 ) 075 [ arxiv : hep - th/0602274 ] . m.  fukuma and h.  irie , `` a string field theoretical description of @xmath13 minimal superstrings , '' jhep * 0701 * ( 2007 ) 037 [ arxiv : hep - th/0611045 ] .
n.  seiberg and d.  shih , `` branes , rings and matrix models in minimal ( super)string theory , '' jhep * 0402 * ( 2004 ) 021 [ arxiv : hep - th/0312170 ] .
v.  a.  kazakov and i.  k.  kostov , `` instantons in non - critical strings from the two - matrix model , '' arxiv : hep - th/0403152 .
a.  sato and a.  tsuchiya , `` zz brane amplitudes from matrix models , '' jhep * 0502 * ( 2005 ) 032 [ arxiv : hep - th/0412201 ] . n.  seiberg and d.  shih , `` flux vacua and branes of the minimal superstring , '' jhep * 0501 * ( 2005 ) 055 [ arxiv : hep - th/0412315 ] . m.  fukuma , h.  irie and s.  seki , `` comments on the d - instanton calculus in @xmath565 minimal string theory , '' nucl .
b * 728 * ( 2005 ) 67 [ arxiv : hep - th/0505253 ] .
n.  ishibashi , t.  kuroki and a.  yamaguchi , `` universality of nonperturbative effects in @xmath566 noncritical string theory , '' jhep * 0509 * ( 2005 ) 043 [ arxiv : hep - th/0507263 ] .
f.  david , `` phases of the large n matrix model and nonperturbative effects in 2-d gravity , '' nucl .
b * 348 * ( 1991 ) 507 ;  nonperturbative effects in matrix models and vacua of two - dimensional phys .
b * 302 * ( 1993 ) 403 [ arxiv : hep - th/9212106 ] .
p.  h.  ginsparg and j.  zinn - justin , `` action principle and large order behavior of nonperturbative gravity , '' b.  eynard and j.  zinn - justin , `` large order behavior of 2-d gravity coupled to @xmath567 matter , '' phys .  lett .
b * 302 * ( 1993 ) 396 [ arxiv : hep - th/9301004 ] . m.  fukuma and s.  yahikozawa , `` nonperturbative effects in noncritical strings with soliton backgrounds , '' phys .
b * 396 * ( 1997 ) 97 [ arxiv : hep - th/9609210 ] ; `` combinatorics of solitons in noncritical string theory , '' phys .
b * 393 * ( 1997 ) 316 [ arxiv : hep - th/9610199 ] ; v.  fateev , a.  b.  zamolodchikov and al .
b.  zamolodchikov , `` boundary liouville field theory .
i : boundary state and boundary two - point function , '' arxiv : hep - th/0001012 ; + j.  teschner , `` remarks on liouville theory with boundary , '' arxiv : hep - th/0009138 .
a.  b.  zamolodchikov and al .
b.  zamolodchikov , `` liouville field theory on a pseudosphere , '' arxiv : hep - th/0101152 .
m.  l.  mehta , `` a method of integration over matrix variables , '' commun .
phys .   *
79 * , 327 ( 1981 ) .
e.  j.  martinec , `` on the origin of integrability in matrix models , '' commun .
* 138 * ( 1991 ) 437 .
m.  fukuma , h.  kawai and r.  nakayama , `` continuum schwinger - dyson equations and universal structures in two - dimensional quantum gravity , '' int .
j.  mod .
phys .  a * 6 * ( 1991 ) 1385
; `` infinite dimensional grassmannian structure of two - dimensional quantum gravity , '' commun .
* 143 * ( 1992 ) 371 ; `` explicit solution for @xmath568@xmath569 duality in two - dimensional quantum gravity , '' commun .
* 148 * ( 1992 ) 101 .
n.  kawahara , j.  nishimura and a.  yamaguchi , `` monte carlo approach to nonperturbative strings  demonstration in noncritical string theory , '' jhep * 0706 * ( 2007 ) 076 [ arxiv : hep - th/0703209 ] .
k.  okuyama , `` annulus amplitudes in the minimal superstring , '' jhep * 0504 * ( 2005 ) 002 [ arxiv : hep - th/0503082 ] .
h.  irie , `` notes on d - branes and dualities in @xmath13 minimal superstring theory , '' nucl .  phys .
b * 794 * [ pm ] ( 2008 ) 402 [ arxiv:0706.4471 hep - th ] . g.  w.  moore , `` geometry of the string equations , '' commun .  math .
* 133 * ( 1990 ) 261 ; `` matrix models of 2-d gravity and isomonodromic deformation , '' prog .
* 102 * ( 1990 ) 255 .
m.  sato , rims kokyuroku * 439 * ( 1981 ) 30 ; + e.  date , m.  jimbo , m.  kashiwara and t.  miwa , `` transformation groups for soliton equations .
operator approach to the kadomtsev - petviashvili equation , '' rims-358 ; + m.  jimbo and t.  miwa , `` solitons and infinite dimensional lie algebras , '' publ .
kyoto * 19 * ( 1983 ) 943 ; + v.  g.  kac and j.  w.  van de leur , `` the @xmath56-component kp hierarchy and representation theory , '' j.  math .
* 44 * ( 2003 ) 3245 [ arxiv : hep - th/9308137 ] . i.  krichever , `` the dispersionless lax equations and topological minimal models , '' commun .
* 143 * ( 1992 ) 415 .
g.  e.  andrews , r.  askey and r.  roy , `` special functions , encyclopedia of mathematics and its applications 71 , '' cambridge university press ( 1999 ) 684 p.