Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: while string theory has had remarkable successes over the last several years , accelerated by the revolutions in understanding its non  perturbative properties , it is still very much the case that we do not yet know what the theory is . we can not state unambiguously what the basic degrees of freedom are ( it is highly context dependent in a way that depends upon the dynamics themselves ) , and even the backgrounds in which the theory propagates are themselves open to interpretation . for example , in some descriptions and situations , the theory contains gravity , and in others , it does not . from some perspectives there are open strings present , and from others , only closed . ironically , several of these frustrating ( from the point of view of finding simple definitions ) features are also among the theory s most powerful positive traits , allow an ever  widening range of applications of the theory to diverse problems , often of a strongly coupled nature .    while applications continue , it is still important to try to get to grips with what the theory is . at the very least , this is important from a pragmatic standpoint , since perhaps a useful definition or characterization of string theory might be put to use as , for example , a diagnostic device in identifying when a physical problem may have some aspect of it that is amenable to solution by string theory methods . more generally , if string theory ultimately plays some fundamental role in the understanding of physics beyond the standard model , and/or in cosmology and other origins questions about the universe at large , a more profound understanding of the nature , power , and scope of the theory would seem to be highly desirable .    at best , to date , as a result of various dualities , we know that it is probably part of some larger physical framework which itself is only string theoretic in various corners of its parameter space . this physical setting , called m  theory , remains profoundly mysterious well over a decade after the first clear glimpses of it@xcite . historically , problems pertaining to such essential matters of understanding in physics are greatly illuminated by having a rich set of examples that are simple , but yet complex enough to contain all the important phenomena in question . for the problems outlined above , it would be rather excellent to have the simplest possible string theories that still contain some of the marvellous non - perturbative physics we know and love , and be able to follow them as they connect to each other in ways that are entirely invisible in perturbation theory . further icing on the cake would be to have the physics all captured in terms of relatively familiar structures for which there is an existing technology for its study . this is the subject of this paper ( and a follow  up to appear later@xcite ) , at least in part . the simplest known strings with tractable non  perturbative physics that contain a rich set of phenomena ( such as holography and open  closed dualities ) are the minimal strings@xcite , and in particular ( where non  perturbative physics is concerned ) the type  0 strings ( formulated in refs.@xcite and refs.@xcite , and recognized as type  0 strings in ref.@xcite ) . the non  perturbative formulation of the type 0a and type 0b strings can be done rather beautifully in terms of certain integrable systems , as we will review later : type 0a has the korteweg  de vries system while type 0b has zakharov  shabat . the non  perturbative physics of each is formulated in terms of associated non  linear ordinary differential equations often called `` string equations '' . while much of the language of the two is similar , these are very different systems , and except for various accidental ( from the perspective of those separate formulations ) perturbative coincidences ( and a non  trivial non  perturbative equivalence for one model  see later ) , the physics of each are quite separate indeed . this paper builds on all of these results , taking them much further . we have found that there is a larger framework into which the type 0a and type 0b string theories can be naturally embedded and within which they are connected as parts of a larger theory . we found further that the two string theories are merely special points in a much larger tapestry of possibilities . when perturbation theory is examined , other special points suggest themselves , and they turn out to be just as `` stringy '' as the original type  0 theories , deserving to be thought of as string theories as well . we begin the program of trying to identify some of these theories , with some success . we also find that the larger framework provides natural definitions of regimes of the type  0 string theories that are hard to define using perturbation theory , and we will report more fully on non  perturbative aspects in a follow  up paper@xcite .    in this sense , we have a precise analogue of m  theory . we have a larger physical framework that is not itself a string theory , but that can be readily specialized to yield string theories as special limits . we can move between different theories in a quite natural way , which is nonetheless outside the framework of any of its daughter string theories . we find this encouraging and exciting .    at the base of our infinite family of string equations , organizing much of this remarkable structure , is a non  linear differential equation known as painlev  iv . this well  known equation from the classical mathematics literature , part of a celebrated family of six equations , has two arbitrary constants , usually denoted @xmath7 and @xmath8 . ( actually , two copies of painlev iv turn up in our story , intertwined in an interesting way . ) it turns out that the type 0a and 0b points in the tapestry of theories occur at the vanishing of one or other of these constants for one of the copies of painlev  iv . the vanishing of the constants of the second painlev iv hint at interesting new special points . after reviewing crucial aspects of the type  0a and  0b string theories in section  [ sec : type0 ] , we unpack the dispersive water wave hierarchy and present the infinite family of equations we propose as the string equations in section  [ sec : dww ] . section  [ sec : painleve ] highlights the role of painlev  iv . in section [ sec : connectab ] we show how the structures of section  [ sec : type0 ] arise as special points in this larger framework , while section  [ sec : beyond ] is a detailed study of the rich properties of the string equations and the types of solutions available . we organize and classify a great deal of the physics that appears , and notice in section  [ sec : square ] that much of the physics can be organized in terms of a square . the square is reminiscent of the main square organizing the moduli space of @xmath9 ( two  dimensional ) string theories , discovered in ref.@xcite , and we contemplate a possible connection , perhaps induced by renormalization group flow@xcite to the @xmath0 context of the work in question . the possible relation between the squares helps us make a conjecture about the nature of two new special points we find : they might be type  iia and  iib minimal string theories . ( note that these are type  ii theories in the sense of the structure of the gso projection used to formulate them . there is no spacetime supersymmetry@xcite . ) in section  [ sec : new ] we carry out a comparison of the new structures we found to some continuum computations for one  loop partition functions . from this we strengthen aspects of our type  ii suggestion . we conclude in section  [ sec : conclusion ] with a brief summary and discussion . we will start with a brief review of the type  0 string theories coupled to the @xmath10 superconformal minimal models and show how these theories can be elegantly described within the framework of an integrable hierarchy of partial differential equations ( pdes ) accompanied by an hierarchy of ordinary differential equations ( odes ) . these models exhibit novel and interesting physics , all of which and more will be seen to be embedded in the dww system that we will describe in the next section . this review will help establish our notation and the framework upon which we can readily build the more general structure . we begin with the following ordinary differential equation ( known in the old days as a `` string equation '' ) @xmath11 this equation ( or , really , family of equations ) and its properties have been studied in several papers . it was first derived and studied as a fully non  perturbative definition of a string theory in refs.@xcite , and evidence that it defines a type  0a string theory was presented first in ref@xcite . further properties of the equation , in particular concerning how branes and fluxes are encoded by it and the underlying integrable ( kdv ) system , were presented in refs.@xcite . here @xmath12 is a real function of the real variable @xmath13 , a prime denotes @xmath14 , and @xmath15 and @xmath16 are real constants . the quantity @xmath17 is defined by @xmath18 where the @xmath19 $ ] are polynomials in @xmath12 and its @xmath13derivatives , called the gelfand  dikii polynomials@xcite . they are related by a recursion relation ( defining a recursion operator @xmath20 ) @xmath21 and fixed by the value of the constant @xmath22 and the requirement that the rest vanish for vanishing @xmath23 . some of them are : @xmath24 the @xmath25th model is chosen by setting all the @xmath26 to zero except @xmath27 and @xmath28 this number is chosen so that the coefficient as @xmath29 . if we had instead chosen @xmath30 , we would have chosen the coefficient of @xmath31 to be unity . ] of @xmath31 in @xmath32 is set to @xmath33 . the function @xmath12 defines the partition function @xmath34 of the string theory @xmath35 @xmath36 where @xmath37 is the coefficient of the lowest dimension operator in the world  sheet theory . so @xmath12 is a two  point function of the theory .    from the point of view of the @xmath25th theory , all the other @xmath38 represent couplings of closed string operators @xmath39 . it is well known@xcite that the insertion of each operator is captured in terms of the integrable kdv hierarchy of flows describing how @xmath40 evolves in @xmath26 : @xmath41    for the @xmath25th model , equation ( [ streqn0a ] ) , which has remarkable properties@xcite , is known to furnish a complete non  perturbative definition of a family of spacetime bosonic string theories @xcite . the models are actually type 0a strings @xcite , based upon the @xmath10 superconformal minimal models coupled to super  liouville theory . as superconformal theories , they have central charge @xmath42 the asymptotic expansions for the first two @xmath25 are :    @xmath43 @xmath44    @xmath45 @xmath46 it should be noted that the solution for @xmath47 can be numerically and analytically shown to match onto the solution for @xmath48 , providing a unique@xcite non  perturbative completion of the theory . ( see figure  [ fig : plot ] for an example of a solution found using numerical methods . ) type  0a solution showing how the perturbative regimes at large @xmath49 are smoothly connected . section  [ sec : dww ] discusses a function @xmath50 ( @xmath51 ) , which has a number of different classes of behaviour distinguished by choice of boundary condition . the type  0a theory has class @xmath52 in the @xmath53 perturbative regime and class @xmath54 in the @xmath55 perturbative regime . here we have set @xmath56 and @xmath57.,title="fig:",width=453 ] +    as instructed in equation  ( [ 0afreeenergy ] ) , integrating twice the asymptotic expansions ( such as those in equations  ( [ 0aexpnsk=1 ] ) and  ( [ 0aexpnsk=2 ] ) ) furnishes the free energy @xmath58 , and it can be seen to define a perturbative expansion in the dimensionless string coupling @xmath59    for all models , in the @xmath60 regime , @xmath15 represents@xcite the number of background zz d  branes @xcite in the model , with a factor of @xmath15 for each boundary in the worldsheet expansion . these are point  like branes localized at infinity in the liouville direction @xmath61 , deep in the strong coupling region . in the @xmath62 regime , @xmath15 represents the number of units of rr  flux in the background , with @xmath63 appearing when there is an insertion of pure rr  flux @xcite . since there is a unique non  perturbative solution connecting the two regimes , the string equation ( [ streqn0a ] ) supplies a non - perturbative completion of the theory that is a very clear example of a geometric transition between these two distinct ( d - branes @xmath64 rr  fluxes ) spacetime descriptions of the physics . the function @xmath12 is the potential in the hamiltonian @xmath65 of the well  known ( in the inverse scattering literature ) associated sturm  liouville problem connected to the integrable kdv hierarchy . the wavefunctions of that problem define the partition functions of fzzt@xcite d  branes stretched along the liouville direction @xmath61 , ending at a finite @xmath66 set by the eigenvalue . the zero  energy problem is interesting@xcite , since there the fzzt d  branes stretch to infinity , and the hamiltonian s factorization , @xmath67 where @xmath68 , is highly convenient . the function @xmath69 ( its definition in the equation before is termed a miura map in the integrable literature ) satisfies@xcite an infinite hierarchy of equations sometimes called the painlev  ii hierarchy since the equation at @xmath70 is the painlev  ii equation . the asymptotic expansion of @xmath71 generated by these equations is in terms of worldsheets involving zz d  branes ( or fluxes ) and fzzt d  branes . the entire problem defines a toy supersymmetric quantum mechanics problem within which the celebrated bcklund transformations of the kdv system can be made manifest . in this language the zz d  branes are identified with the number of threshold bound states ( formally , zero  velocity solitons ) of the system , and the bcklund transformations change their number by an integer . these more recently established features@xcite , together with the earlier identification@xcite of the role of the kdv flows in organizing the close string operators , show how the integrable model and inverse  scattering technology of the mathematical physics literature comes to life in organizing the open and closed string content of minimal string theory . type 0b string theory coupled to the @xmath72 superconformal minimal models @xcite is described succinctly by the following string equations@xcite : @xmath73 where the @xmath74 and @xmath75 are polynomials of functions @xmath76 and @xmath77 ( and their derivatives ) , and  @xmath16 and @xmath78 are real constants . the differential polynomials satisfy the following recursion relations @xmath79 where a prime denotes @xmath80 . some of them are : @xmath81 the function @xmath82 defines the partition function of the theory @xmath35 @xmath83 the @xmath84th model is chosen by setting all @xmath85 to zero except @xmath86 and @xmath87 , analogous to what was done in the previous section concerning the 0a case . note that these models have an interpretation as type  0b strings coupled to the @xmath88 superconformal minimal models only for even , lack of modular invariance of the partition function rules out the interpretation as type  0b strings coupled to superconformal matter @xcite . ] writing @xmath89 , we again have a set of models connected to the @xmath10 superconformal minimal models , this time type  0b . as in the 0a case , from the point of view of the @xmath25th theory , all the other @xmath26 represent coupling to closed string operators @xmath39 . again the insertion of each operator can be expressed in terms of the zakharov  shabat@xcite hierarchy of flows , the underlying integrable system in this case : @xmath90 where @xmath91 . the asymptotic expansions of the string equations ( [ streqn0b ] ) for the first even @xmath92 are :    @xmath93 @xmath94\ , \quad ( x \rightarrow \infty ) \nonumber\\ { \widetilde w}(x ) & = &   \frac{\nu q\sqrt{2}}{4|x|^{1/2 } } - \frac{\nu^2 q^2}{4 |x|^2 } + \frac{\nu^3}{|x|^{7/2}}\frac{5\sqrt{2}}{64 } q\left(1 + 4q^2\right)+\cdots   \quad ( x \rightarrow -\infty)\end{aligned}\ ] ]    @xmath95 @xmath96    upon integrating twice , the asymptotic expansions in equations ( [ 0bexpnsm=2 ] ) and ( [ 0bexpnsm=4 ] ) furnish the free energy perturbatively as an expansion in the dimensionless string coupling , given by the same expression as before in equation  ( [ 0astrcoupling ] ) . for these models , in the @xmath62 regime , @xmath78 represents the number of background zz d  branes in the model , with a factor of @xmath78 for each boundary in the world sheet expansion , while in the @xmath97 regime it counts the number of units of rr - flux in the background@xcite . the asymptotic expansions in the two directions can be argued in ref.@xcite to match onto each other analytically in a particular ( t hooft ) limit . for the case @xmath70 , the full non  perturbative solution is known since it can be mapped directly to the solution known for the @xmath70 type  0a case , as will be discussed below in section  [ sec : connectingab ] .    for later reference , we briefly discuss the structure of these solutions with increasing  @xmath84 . as argued in ref.@xcite the @xmath98 expansions are deformations of the solutions of the equation with @xmath99 . however things get interesting for @xmath100 . as before , the @xmath101 solution is a deformation of the solution with @xmath99 . for @xmath102 , @xmath99 allows for the trivial solution @xmath103 , but trying to deform this for @xmath104 leads only to a complex solution . additionally , @xmath99 allows for two nontrivial solutions with @xmath105 and @xmath106 . these two are related by @xmath107 and are interpreted as @xmath108 symmetry breaking solutions . in the interpretation of ref.@xcite , this is due to the presence of r  both these solutions have a real extension to the case with @xmath109 . the requirement of matching a @xmath102 solution to the @xmath101 solution picks out one of these for @xmath110 and the other for @xmath111 . ( the @xmath112 solution listed above is for @xmath110 . ) for higher @xmath84 , more such symmetry  breaking solutions arise . we will see how this is organized explicitly in section  [ sec : beyond ] . it turns out that the simplest case of @xmath113 ( @xmath70 ) , the 0a and 0b theories are non  perturbatively related in a very special way . in this case the conformal model is trivial ( _ i.e. _ @xmath114 ) and we simply have the pure world  sheet supergravity sector . the strings are unencumbered by a spacetime embedding ( not counting the ubiquitous liouville direction ,  @xmath61 ) .    the string equation for the @xmath70 0a theory , equation  ( [ streqn0a ] ) with @xmath115 , is @xmath116 on the other hand , the string equation ( [ streqn0b ] ) for the @xmath70 0b theory can be written succinctly as @xmath117 notice that the perturbative expansion for the @xmath70 0a theory as @xmath118 ( equation  ( [ 0aexpnsk=1 ] ) ) looks similar to the perturbative expansion for the @xmath98 0b theory as @xmath119 ( equation  ( [ 0bexpnsm=2 ] ) ) up to a ( non  universal ) sphere term , once one identifies @xmath15 with @xmath78 . the two expansions are just offset by various powers of @xmath120 . in fact there exists a non  perturbative map between the two equations  @xcite that can be seen as follows . first define a function @xmath121 _ via _ @xmath122 for which the string equation for the 0a theory ( [ streqn0ak=1 ] ) becomes @xmath123 after rescaling using @xmath124 equation ( [ 0ak1to0bm2 ] ) becomes the string equation for the 0b theory ( [ streqn0bm=2 ] ) , but with the sign of @xmath125 reversed . the physics of pure 0a supergravity and pure 0b supergravity ( _ i.e. _ @xmath114 ) are non  perturbatively related , with the brane and flux perturbative regions exchanged . this non  perturbative connection between the 0a and 0b theories ( for @xmath70 ) follows , mathematically , from the fact that the same basic string equation appears at the base of the two separate ( kdv _ vs _ zs ) hierarchies of equations . this connection is partly in the spirit of a much larger set of connections that we are reporting on in this paper . we find that the kdv and zs structures are embedded in a much larger structure , the dispersive water wave hierarchy of equations , and find a class of connections ( of a different sort ) between 0a and 0b for all  @xmath25 and see that they define two special corners of a larger tapestry of physical theories . the standard dispersive water wave ( dww ) hierarchy@xcite , which will play a central role in the new physics we uncover , is a two  component system . it is described by : @xmath126 \quad , \ ] ] where @xmath127 , @xmath128 ( note that here and in the rest of the paper , for any function @xmath129 , @xmath130 will denote @xmath131 ) , and we adopt a matrix notation : @xmath132=\left(\begin{array}{c }                               l_n[u , v]\\                               k_n[u , v]\end{array}\right ) \ .\end{aligned}\ ] ] here , @xmath133 is the recursion operator for the dww hierarchy . the operator @xmath134 can be written as the quotient of two hamiltonian operators @xmath135 and @xmath136 , @xmath137 where @xmath135 and @xmath136 are given by @xmath138 the @xmath139 obey the recursion relation @xmath140 which follows immediately from ( [ dwwpde ] ) . the first few @xmath141 and @xmath142 are as follows : @xmath143 the normalization of @xmath144 is chosen so as to reproduce ( [ dwwpde ] ) for @xmath145 . + the dww hierarchy can be reduced to a one  component system by demanding that one of the two independent functions vanish . if we set @xmath146 , we actually reduce to the kdv hierarchy : two operations of the ( reduced ) dww recursion operator give @xmath147 where @xmath148 is the recursion operator of the kdv hierarchy , shown in equation  ( [ kdvrec ] ) . thus we obtain a reduction of the even flows of the original hierarchy ( [ dwwpde ] ) to @xmath149 which is the kdv system in @xmath150 with independent variable @xmath125 , and the even times of dww map to the times of the kdv @xmath151 . ( compare with equation  ( [ kdvflow ] ) ) . + in addition , the recursion relation  ( [ lrec ] ) reduces to @xmath152 which is exactly the kdv recursion relation  ( [ kdvrec ] ) . the relative normalizations are @xmath153 and @xmath154 so we conclude that @xmath155 . moreover , with @xmath156 , it is immediate that @xmath157 . the other obvious reduction , @xmath158 , reduces the system to the burgers hierarchy . we do not explore if there are any string theory consequences of that in this paper , since @xmath50 is used to define the partition function of our theories in all our examples . integrable hierarchies of partial differential equations ( pdes ) can be reduced to ordinary differential equations ( odes ) through an additional condition on the variables . in our context , these odes are sometimes to be thought of as defining string theories ; they are the `` string equations '' of a family of theories , forming an hierarchy themselves . as outlined around equation  ( [ kdvflow ] ) , string equations can be thought of as supplying the initial conditions for the partition function , and then the pdes of flows describe how the partition function evolves as a function of the operators that couple to the @xmath159@xcite . the original example of all this@xcite was a hierarchy of equations that have the painlev  i equation as the non  trivial equation at their base , indexed by an integer @xmath25 . they defined the bosonic @xmath160 string theories coupled to the @xmath161 conformal minimal models . it was later realized@xcite that another rich family of string equations ( those in equations  ( [ streqn0a ] ) ) can be obtained by imposing certain scaling relations on the variables of the kdv system ( note however that the equations were originally derived@xcite directly from matrix model constructions analogous to the original route ) . with this in mind , we explore a similarity reduction of the dww hierarchy , expecting to obtain new string equations at the end of the day . we follow the approach originally used to derive the string equations of type  0a  ( [ streqn0a ] ) for the kdv hierarchy @xcite . to that end , assign @xmath162 mass dimension 1 . the dimensions of the other terms uniquely follow from ( [ dwwpde ] ) and are @xmath163=\frac{1}{2}$ ] , @xmath164=-\frac{1}{2}$ ] and @xmath165=-\frac{1}{2}(n+1)$ ] thus we can write down two callan  symanzik equations expressing the scaling symmetry , @xmath166 using  ( [ dwwpde ] ) and  ( [ lrec ] ) we can rewrite these equations , @xmath167 defining , @xmath168 we can rewrite  ( [ cs1 ] ) , @xmath169 where we have used the fact that we will take @xmath170 and the other @xmath87 to be independent of @xmath125 . equation  ( [ cs21 ] ) can readily be integrated . moreover , solving  ( [ cs21 ] ) for @xmath171 and substituting the result into  ( [ cs22 ] ) yields an expression , which , after multiplying by @xmath172 , can also be integrated . the results are our new coupled string equations , @xmath173 where we have introduced two integration constants , @xmath174 and @xmath15 . we stress that the simplest possibility is for @xmath174 and @xmath15 to be independent of @xmath125 _ and _ @xmath175 , though only independence of @xmath125 is strictly necessary . + the @xmath84th model is chosen by setting all @xmath175 equal to zero except for @xmath170 and @xmath87 which is chosen to be a numerical factor to fix the normalization . we choose to parameterize @xmath87 as @xmath176 in order to make direct contact with some recent literature which discusses this system in a much different ( mathematical ) context@xcite . let us focus on the case @xmath177 , which forms the bottom of the hierarchy of string equations from which all others follow using the recursion relations . the string equations in this case reduce to the painlev iv equation , an important equation from the mathematical literature . its appearance at the bottom of the ladder of string equations we re presenting here is significant . note that the entire family of string equations can be generated from this @xmath177 case by use of the recursion operator , and so structures at this level will be reflected at higher @xmath84 , even while the complexity of the equations increases . also notable is that this is the first time that a role for this equation has been uncovered in this context of non  perturbative string theory , and it takes its place alongside the painlev  i and  ii equations whose roles ( mentioned earlier ) have been established in this context already . in fact , part of the motivation that led to the discoveries upon which we report here was the question as to the further role of the painlev equations in such systems . painlev  iv emerged naturally as a candidate equation to play a role and this led to our studying of the dww system that we found connected to painlev  iv in the literature@xcite . let us see more explicitly how the equation emerges . remarkably , it will naturally appear in two different ways@xcite . the string equations for @xmath177 are : @xmath178 where we have used the relation @xmath179 . solving the first of these for @xmath162 gives @xmath180 and substituting this into the second yields a second order ode in @xmath181 which , under the change of variables @xmath182 becomes @xmath183 y - \nu^2 \frac{1}{2 } \frac{\beta^2_1}{y } \quad .\ ] ] @xmath184 and @xmath185 are constants related to @xmath174 and @xmath15 in the dww string equations through @xmath186    setting @xmath187 , and dropping the subscripts on the constants , gives @xmath188 which is the fourth painlev equation @xmath189 in standard form , and @xmath190    we will see in the next section , specific constraints yielding the 0a and 0b theories that require @xmath191 and @xmath192 respectively . notably , these are precisely the values for which the constants @xmath7 and @xmath8 in the standard form of painlev  iv vanish . in fact , there is another natural appearance of the painlev  iv equation in this system@xcite , at @xmath177 . there is a natural generalization@xcite of the miura map ( that we saw for kdv in section  [ sec : type0 ] ) to the dww system , defining new variables @xmath193 and @xmath194 : @xmath195 now , as we saw above , @xmath196 satisfies painlev  iv with constants @xmath7 and @xmath8 given in equation  ( [ eq : painleve ] ) . well , additionally , @xmath197 satisfies a copy of painlev  iv ( equation  ( [ eq : painleve ] ) ) also , but with constants related to our physical parameters by @xmath198    we take this seriously , not the least because the variables described by the miura map in the case of kdv ( type  0a ) were seen to be physically very natural , pertaining as they do to the fzzt and zz d  branes . ( see the end of section  [ sec:0a ] for a brief review . ) we expect therefore ( but this needs more exploration ) that this dww miura map also leads to rich physics . the cases @xmath199 and @xmath200 imply vanishing of @xmath7 and @xmath8 and may well have some special significance in this context . ( we will , for example , find special solutions for all @xmath84 corresponding to @xmath199 points . it is also interesting to note that the equations together point to the values @xmath201 , @xmath202 , values which do feature prominently in what is to follow . ) having introduced the dww hierarchy , we now show how both the type  0a and type  0b string theories coupled to the @xmath10 superconformal minimal models can be found embedded in this system . we show that by placing appropriate constraints on the full system of string equations , one can recover the respective string equations for both of the type  0 theories . quite beautifully , these constraints require one of the two integration constants @xmath203 to freeze to particular values . the remaining unfixed constant then acts as the parameter that counts the number of zz  branes or units of r  r flux in each theory , depending on which asymptotic region ( positive or negative large @xmath125 ) is under consideration . it was seen in section  ( [ sec : dww ] ) that setting @xmath181=@xmath204 reduces the dww hierarchy to the kdv hierarchy . we therefore expect that this constraint also reduces our new string equations to the  0a string equations . that this indeed occurs can be seen as follows . equation  ( [ lk ] ) gives , @xmath205&=\sum_{n=0}^{\infty}\frac{1}{2}(n+1)t_n^{\mathrm{dww}}l_n \\ & = \sum_{n=0}^{\infty}\frac{1}{2}(2n+1)t_{2n}^{\mathrm{dww}}l_{2n } \\ & = 4\sum_{j=0}^{\infty}(j+\frac{1}{2})t_{2j}^{\mathrm{dww}}p_{j } \\ & = \mathcal{r}[w ] \end{split}\ ] ] where we have used that @xmath206=@xmath207=0 $ ] and @xmath208=@xmath209=@xmath210=4p_n[w]$ ] ( see below  ( [ kdvrec2 ] ) ) . the last equality holds provided that we make the identification , @xmath211 finally , we see that when @xmath156 and @xmath212 , equation  ( [ dwwstring2 ] ) exactly reduces to equation  ( [ streqn0a ] ) , _ i.e. _ our new string equations encode 0a string theory coupled to the @xmath10 superconformal minimal models . for even flows it is easy to show that @xmath156 is only consistent with the other string equation  ( [ dwwstring1 ] ) if @xmath174 is frozen : @xmath213 so one of the parameters in the original dww equations becomes fixed when recovering type  0a coupled to the @xmath10 superconformal minimal models , while the other parameter  @xmath15 counts the number of branes or units of rr  flux in the type 0a theory . we will see this behaviour again in the case that we recover the type  0b theory . consider the following redefinition of the dww variables @xmath214 to the zs variables @xmath215 : @xmath216 the recursion relation  ( [ lrec ] ) becomes , @xmath217 or , @xmath218 where we have defined , @xmath219 these are precisely the recursion relations of the zs hierarchy  ( [ zsrec ] ) . moreover , the @xmath220 and @xmath221 just defined actually agree with those presented in  ( [ zspoly ] ) . it suffices to check @xmath145 : from  ( [ dwwpolys ] ) we have @xmath153 and @xmath222 which imply @xmath223 and @xmath224 , as expected . + finally , we may ask how we can produce the  0b string equations  ( [ streqn0b ] ) from our new string equations  ( [ dwwstring1 ] ) and  ( [ dwwstring2 ] ) . the answer turns out to be simple and elegant : all we must do is set @xmath225 equation  ( [ dwwstring1 ] ) then requires , @xmath226 which further implies , @xmath227 the @xmath87 required here to consistently produce the equations of @xcite are identical to the values we determined earlier  ( [ tn ] ) . so , upon identifying @xmath228 , we have exactly produced the  0b string equations . + again notice how the consistency of our constraint @xmath229 with  ( [ dwwstring2 ] ) forces one of our parameters to vanish @xmath230 leaving the parameter @xmath231 to count the number of zz branes or rr  fluxes in the type 0b theory . finally , we remark that the partition function of the  0b theory is determined _ via _ @xmath232 so that @xmath150 encodes the partition function for both  0a and  0b . we have seen that constraining the dww string equations  ( [ dwwstring1 ] ) appropriately leads to the 0a and 0b theories ( coupled to the superconformal @xmath10 series ) , respectively . the constraints take the system with two free parameters @xmath203 and define two special points : 0a with @xmath233 free ) and 0b with @xmath234 free , @xmath235 . we can also consider the fully unconstrained system with both parameters @xmath203 unfixed , and general @xmath236 . interestingly , we get _ multiple _ asymptotic expansions for the variable @xmath50 . the structure of the equations and the corresponding asymptotic expansions gets richer as @xmath84 increases . since in both cases , asymptotic expansions of @xmath50 gave us , upon integrating twice , an expansion of a partition function for a string theory , we look again for it to define an interesting partition function in the new cases we will encounter . while this is an assumption , we shall see it bear fruit presently .    in this section we will first list the asymptotic expansions for the first few @xmath84 obtained from the corresponding string equations . we will explain the organizational rules we use to group these expansions into various classes . a careful analysis of the patterns we uncover in what follows allows us to extrapolate to higher @xmath84 and predict the structure of the expansions for any @xmath84 . we will see that a subset of these , when appropriately combined , reproduce the type  0 expansions that we have already encountered . in addition , we obtain _ completely new _ expansions which have not been presented in the literature before . our key observation here is that these also resemble perturbative sectors of string theories ( either with branes or fluxes present ) . we take these seriously as new string theories and our task after this section will be to identify what string theories they might be . the number of expansions grows large as @xmath84 increases ( we will see later that the number of expansions is @xmath237 ) . to deal with this proliferation of expansions , we classify them into classes whose members are related to one another by simple symmetries . the classes themselves are distinguished by a number of salient features , many of which we explore in what follows . we choose to define the classes based on their behavior at order @xmath238 ( this is equivalent to the leading behavior in @xmath239 , the sphere level of closed string perturbation theory , as we will see later ) . since dww is a two component system , we must consider the leading behavior of both functions , @xmath181 and @xmath162 . we adopt the following classification scheme : + @xmath240 + we postpone the detailed study of @xmath181 to subsequent work . here we mention its leading behavior only to complete the classification ; in what follows , we focus exclusively on @xmath162 and its asymptotic expansions . the details of sections  [ sec : expandone][sec : expandfour ] , being a list of examples that we found instructive , might be a little dry on first reading and so the reader is encouraged to skip to section  [ sec : general ] for the general case . the string equations for this case were already written in equations  ( [ dwwn=1 ] ) . solving the first of these for @xmath162 gave equation  ( [ dwwn=1v ] ) , and substituting into the second yields a scalar second order ode in @xmath242 ( equivalent to painlev  iv ) , which can be used to produce the expansions . asymptotic expansions for @xmath242 can then be used to yield asymptotic expansions for @xmath50 using equation  ( [ dwwn=1v ] ) . we obtain three classes of expansions for @xmath50 , @xmath243    upon integrating twice ( following what we learned from the type  0 theories in sections  [ sec:0a ] and  [ sec:0b ] ) , one can obtain the free energy for a genus expansion of a string theory which allows us to identify the string coupling to be @xmath244 . the other expansions within each class can be obtained by the following symmetry operation : @xmath245 since @xmath246 and @xmath247 contain only even powers of @xmath15 , the are invariant under this map ; however , @xmath248 . thus there are two expansions in the @xmath249 class , and , together with @xmath246 and @xmath247 , these comprise four total @xmath177 expansions . the string equations are : @xmath250 where again @xmath251 . solving the first of these for @xmath162 gives , @xmath252 substituting this into the second yields a scalar fourth order ode in @xmath181 , which can then be used to produce the expansions for @xmath162 . in this case , there are four relevant classes of expansions @xmath253 here , we see that the string coupling is @xmath254 . the other expansions within each class can be obtained by the following operations , @xmath255 and compositions thereof . some of the @xmath256 are invariant under one or both of these maps . altogether , there are nine distinct expansions . here are the four classes of expansions together with the number of distinct expansions within each class and the maps that lead to them : @xmath257      the string equations are too long to be written down explicitly here and so we omit them . four classes of expansions are produced in this case , and one sees expansions in class 5 appearing for the first time here . @xmath259 here the string coupling turns out to be @xmath260      the other expansions within each class can be obtained by the following operations , @xmath261 and any compositions of these maps . a quick calculation shows that there 16 different expansions @xmath262      our explicit string equations are rather complicated and so we will not list them here . the following five classes of expansions are obtained : @xmath264 here , the string coupling is @xmath265 . the other expansions within each class can be obtained by the following operations , @xmath266 and any arbitrary composition of those maps . a quick calculation shows that there are 25 distinct expansions . here are the five classes of expansions together with the number of distinct expansions within each class and the maps that lead to them : @xmath267      the expansions displayed above for @xmath177 to @xmath100 exhibit a rich structure which we explore shortly . first we briefly review the interpretation given to the parameter @xmath15 of the  0a theory ( and also to @xmath78 of the  0b theory ) . in the @xmath37 ( or @xmath125 ) @xmath268 regime , @xmath15 represents the number of background zz d  branes in the model , with a factor of @xmath15 for each boundary in the worldsheet expansion . since an orientable surface with odd ( even ) euler characteristic must contain an odd ( even ) number of boundaries , @xmath15 must be raised to an odd ( even ) power if @xmath269 is . in addition , the power of @xmath15 must be less than or equal to the power of @xmath269 . on the other hand , in the @xmath37 ( or @xmath125 )  @xmath270 regime , @xmath15 represents the number of units of rr  flux in the background , with @xmath63 appearing when there is an insertion of pure rr  flux . so in this case both @xmath15 and  @xmath269 should appear with even powers . + in applying these observations to our dww expansions , we immediately notice the remarkable fact that the various expansions have powers of the parameters which somehow allow for interpretations as counting branes or fluxes . this is by no means guaranteed , and indeed its occurrence was one of our main motivations for in  depth study of the system . the presence of two parameters , however , leads to a few subtleties . for example , in some expansions an interpretation in terms of branes is only possible if one of the two parameters is set to zero . with keep such observations in mind as we begin the study of the various expansions . finally we note that the asymptotic direction ( _ i.e. , _ positive or negative @xmath125 ) of each expansion can be fixed by requiring that once we fix the value of @xmath271 , the expansion must be real ( which is an important constraint since @xmath162 encodes the free energy ) . the value of @xmath271 , in turn , can be fixed using the values listed in equation  ( [ tn ] ) since we must reproduce the 0a theory . with all of these observations we are ready to begin analyzing our expansions .      * @xmath272 contains powers of @xmath15 consistent with those of a parameter counting branes . this remains true for any value of @xmath174 . * @xmath272 contains powers of @xmath174 consistent with those of a parameter counting fluxes . however , for arbitrary @xmath15 , @xmath269 appears with odd powers , inconsistent with our requirements for a description of fluxes , as mentioned above . this problem is avoided if we set @xmath57 since this forces the odd powers of @xmath269 to vanish . * in particular , setting @xmath192 with @xmath271 given by equation  ( [ tn ] ) reduces this expansion to the @xmath101 flux - expansion in @xmath174 ( or @xmath78 ) for the type  0b theory seen in equations  ( [ 0bexpnsm=2],[0bexpnsm=4 ] ) for @xmath273 respectively . * alternatively , setting @xmath274 with the same value of @xmath271 reduces these expansions to those of the type  0a for @xmath101 . ( we listed them in equations  ( [ 0aexpnsk=1 ] and [ 0aexpnsk=2 ] ) for @xmath275 respectively is related to kdv hierarchy index @xmath25 by @xmath92 . ] . ) * with the values of @xmath271 need to reduce to  0a and  0b , one obtains real expansions in this class _ only _ if @xmath276 . hence we fix this class of expansions to be @xmath277 asymptotic expansions . * this class of expansions only exists for even @xmath84 .      * for even @xmath84 , @xmath246 contains powers of @xmath15 and @xmath269 consistent with those of a parameter counting fluxes . this is true for all values of @xmath174 . for odd @xmath84 , the powers of @xmath15 are still consistent with the flux interpretation , but there are odd powers of @xmath269 which are inconsistent with fluxes . these odd powers can be removed by setting @xmath278 . * for even @xmath84 , @xmath246 contains powers of @xmath174 and @xmath269 consistent with a parameter counting fluxes . this is true for all values of @xmath15 . for odd @xmath84 , the powers of @xmath174 are consistent with those of a parameter counting branes . in this interpretation , there are no contributions from surfaces with only one boundary . * setting @xmath279 with @xmath271 as chosen in equation  ( [ tn ] ) , reduces the @xmath246 expansions to the type  0a expansions for @xmath102 . ( we listed them in equations  ( [ 0aexpnsk=1 ] ) and ( [ 0aexpnsk=2 ] ) for @xmath275 respectively . ) * only even powers of @xmath271 and @xmath125 appear , so the requirement of reality does not fix the direction of these expansions . * consistency with the 0a expansions forces us to consider the expansions in this class as @xmath280 expansions . we note the possibility that these might appear as @xmath277 expansions outside of the simple type  0a context we ve seen so far type expansions ( for @xmath281 ) in both asymptotic directions for @xmath125 . clearly there are analogous rational solutions for the full dww equations that have @xmath246 asymptotic expansions that generalize the known cases . we have constructed large families of them , and leave their study for a later publication . ] . * these expansions vanish when @xmath282 . ( this is a likely special point(s ) in parameter space . we got a first hint of this point in section  [ sec : painleve ] where the second copy of painlev  iv has @xmath283 . ) * this class of expansions appears for all @xmath84 . * @xmath249 contains powers of @xmath15 consistent with those of a parameter counting branes . this is true only for @xmath278 . * @xmath249 contains powers of @xmath174 consistent with those of a parameter counting branes . this is true only for @xmath57 . * we notice that associating one boundary to each factor of @xmath174 _ and _ @xmath15 also produces a consistent worldsheet expansion . we might speculate about whether , in general , these expansions might capture @xmath174 and @xmath15 simultaneously counting branes . * setting @xmath192 with @xmath284 reduces these expansions to the @xmath102 brane - expansions for the type  0b theory for @xmath98 as seen in equation  ( [ 0bexpnsm=2 ] ) . hence we fix the expansions in this class to be @xmath280 expansions . * at @xmath100 , the value @xmath285 with @xmath192 renders this expansion complex for @xmath112 . this fits in nicely with the structure of expansions observed in the 0b case , reviewed in that case did not have a real deformation for @xmath104 . the @xmath249 class is exactly the analogue of this trivial solution . ] in section  [ sec:0b ] . * @xmath286 causes these expansions to vanish ( we got a first hint of this point in section  [ sec : painleve ] where the second copy of painlev  iv has @xmath283 . ) * this class of expansions exists for all @xmath84 , but is real as an @xmath102 expansion only for @xmath98  mod  @xmath287 .      * the @xmath247 class of expansions has not , to our knowledge , made a previous appearance in the literature , as it does not appear until encountering the dww system . * @xmath247 contains powers of @xmath174 consistent with those of a parameter counting branes . this remains true for any value of @xmath15 . * @xmath247 contains powers of @xmath15 consistent with those of a parameter counting fluxes . however , for arbitrary @xmath174 , @xmath269 appears with odd powers , inconsistent with our requirements for a description of fluxes , as mentioned above . this problem is avoided if we set @xmath278 since this forces the odd powers of @xmath269 to vanish . * the direction of @xmath247 is not immediately determined by the consistency conditions we have used so far . compatibility with the type  0 theories at @xmath98 requires @xmath288 which renders @xmath247 real for @xmath280 . on the other hand , compatibility with the type  0 theories at @xmath100 requires @xmath289 which renders @xmath247 real for @xmath277 . * we will later provide evidence in favor of @xmath247 existing for @xmath290 . * in general , for the type  0 choices  ( [ tn ] ) for @xmath271 , @xmath247 remains real for @xmath101 when @xmath291 mod @xmath287 and becomes complex when @xmath113 mod @xmath287 . * in the special case @xmath98 , @xmath247 can be made real by setting @xmath278 . * @xmath292 contains powers of @xmath15 consistent with those of a parameter counting branes . this is true only for @xmath278 . * @xmath292 contains powers of @xmath174 consistent with those of a parameter counting branes . this is true only for @xmath57 . * as for @xmath249 , we notice that associating one boundary to each factor of @xmath174 _ and _ @xmath15 also produces a consistent worldsheet expansion . we might speculate that , in general , these expansions might capture @xmath174 and @xmath15 simultaneously counting branes . * these expansions do not exist for @xmath293 . * with @xmath192 and @xmath294 this class reduces to the @xmath102 brane  expansion in @xmath174 seen for the 0b theory at @xmath100 in equation ( [ 0bexpnsm=4 ] ) . ( recall that there @xmath295 . ) * these are the non  trivial broken  symmetry solutions obtained in the 0b theory as one increases @xmath84 . we reviewed this at the end of section  [ sec:0b ] . * as @xmath84 increases , further expansions in this class arise for every odd @xmath84 , which we generically label @xmath296 . these are distinguished by the different values of @xmath297 in  ( [ classes ] ) , but since their behavior is identical for our purposes we often group them together . * for odd @xmath84 , reality imposes no restrictions on the direction of @xmath296 . * for @xmath100 , reality requires that we fix @xmath292 to be an @xmath298 expansion . for the subsequent even @xmath84 , some of the @xmath296 are real for @xmath299 , while the remaining are real for  @xmath300 . we can extrapolate the pattern observed for the first few @xmath84 and make predictions for the structures that should appear at higher @xmath84 . the first observation is that there are @xmath237 expansions in all ( taking into account the various expansions related by symmetries in each class ) at each @xmath84 . the counting can be broken down as follows . .the number and types of expansion classes for @xmath50 , as a solution to the string equations  ( [ dwwstring1 ] ) and  ( [ dwwstring2 ] ) , with increasing @xmath84 from 1 to 8 . see text for further discussion . [ cols="^,^,^,^,^,^,^,^,>",options="header " , ]     as table  1 indicates , we have multiplied the torus terms by unknown normalizations @xmath301 , @xmath302 and @xmath303 , which we will later attempt to fix . notice that we have distinguished two possibilities for @xmath304 : @xmath305 and @xmath306 , to match the @xmath307 choices . we now construct the three possible @xmath308 from these torus terms . the known theories : 0a and 0b @xmath309 \quad   \   \quad ( x > 0 ) \nonumber\\ z^{(\rm 0a , 0b)}_{\rm even } & = & \frac{1}{2}\left[a c^2 + \left(\frac{n+3}{2n}\right)b\gamma^{2}\right]\;\;\quad\quad\quad\quad\quad \quad\quad\quad ( x < 0)\end{aligned}\ ] ] 2 . the unknown theories : @xmath310 and @xmath311 @xmath312 \quad \quad ( x > 0 ) \nonumber\\ z^{(\rm \widetilde{a } , \widetilde{b})}_{\rm even } & = & \frac{1}{2}\left[\left(\frac{n-1}{2n}\right)\tilde{a}c^2 - \tilde{b}\gamma^2\right ] \quad\qquad\qquad\qquad\quad\qquad \qquad\quad ( x < 0)\end{aligned}\ ] ] 3 . the unknown theories : @xmath313 and @xmath314 @xmath315 \quad ,   \quad ( x > 0 ) \nonumber\\ z^{(\rm \widehat{a } , \widehat{b})}_{\rm even } & = & \frac{1}{2}\left[\hat{a}\left(\frac{n+1}{12n}\right ) - \frac{1}{n}\hat{a}c^2 - \hat{b}\gamma^2\right ] \qquad \qquad\qquad \qquad\quad \quad\quad ( x < 0)\end{aligned}\ ] ]      we will now see what conditions are required to deduce the special parameter values , @xmath274 and @xmath192 , for type  0a and  0b respectively . we begin by observing that the continuum partition functions listed in section  [ continuum ] are independent of the sign of @xmath125 . therefore , we will impose this as a constraint on every @xmath316 that we construct , @xmath317 we impose this condition by equating the two expressions in equation  ( [ zevenknown ] ) . interestingly , the @xmath84dependence factorizes completely leading to @xmath318 while it is indeed possible for @xmath174 and @xmath15 to inherit @xmath84 dependence from dependence on @xmath87 , the simplest possibility is that these parameters are independent of @xmath84 . that the @xmath84 dependence factors out of equation  ( [ relncgammaaa ] ) allows this simplicity to be realized . this suggests that we also impose @xmath319 substituting  ( [ relncgammaaa ] ) back into  ( [ zevenknown ] ) we obtain , @xmath320 finally , we impose one more condition , @xmath321 which , together with condition 2 , forces us to conclude @xmath322 condition 3 is motivated by the remarkable fact that @xmath323 _ is _ independent of @xmath84 , which is nontrivial given the form of equation  ( [ pfnaamins2 ] ) , and also by the observation that this constraint correctly produces the required parameter values in this case . this is as far as we can go without some extra information . fortunately , for the type  0 theories , we actually know @xmath324 and @xmath325 : the factor of half is because of the doubling of the free energy the 0b theory relative to the 0a theory and the negative sign is because it is @xmath326 which defines the two  point function for these theories . ( recall the observation at the end of section  ( [ sec:0breduc ] ) ) . thus we see that we obtain the correct parameter values @xmath327 and @xmath57 for the theories under consideration . moreover , we correctly obtain the known value to be the @xmath112 contribution to the 0b theory leading us to @xmath328 . this means that the @xmath112 contribution to the 0b theory is actually zero . while @xmath249 is real as a @xmath112 expansion for @xmath329 , it is complex for @xmath330 . the resolution is that the zero contribution is to be understood as coming from the _ trivial _ @xmath331 solution of the 0b theory obtained by setting @xmath332 in the 0b string equations . it is interesting that our procedure using @xmath249 should give parameter values that are consistent with the _ trivial _ solution . ] of @xmath333 . next , we turn to exploring where our new conditions take us in investigating the unknown corners .      using equation  ( [ zevenunknown2 ] ) , we see that condition  1 gives , @xmath335 conditions  2 and  3 give , @xmath336 and so result means that the contribution to the torus terms coming from @xmath249 is zero . in a sense , this result is the analog of what was seen for the type  0b theories . our argument again is that the torus term for @xmath102 at the @xmath337 corner comes from the trivial @xmath338 solution , analogous to the 0b case . ] we have @xmath339 remarkably enough , everything seems to work as before , except now we obtain new values for our parameters and a new expression for @xmath340 . we have yet to make an numerical prediction for @xmath340 as we still must fix the normalizations . we will return to this point in next section  [ sec : new - theories ] . condition  1 gives : @xmath342 conditions  2 and  3 imply , @xmath343 this result is not as encouraging . @xmath316 does not depend on @xmath344 which implies that it does not depend on theory @xmath345 at all . we find this unacceptable and therefore conclude that conditions  2 and  3 are incompatible constraints in this case . we nevertheless take seriously the possibility that theories like this may exist , but with @xmath84dependent parameters and an @xmath84dependent @xmath316 . we will briefly consider this possibility in section  ( [ sec : ndep ] ) . in the above we have explored the crucial and quite constraining assumption that @xmath316 is independent of the index @xmath346 . theories @xmath347 and @xmath348 seemed particularly suited to produce such a @xmath316 . in an effort to better understand what these theories may be , we next ask which continuum theories are capable of producing an @xmath84independent @xmath340 . looking at the various partition functions listed in section  [ continuum ] , it is easy to see that only the following choices give rise to an @xmath84independent partition function : + 1 . @xmath349 in equation  ( [ pfnaamins2 ] ) with @xmath350 and @xmath351 . and @xmath78 labeling the super  minimal models must obey : @xmath352 ; @xmath353 ; if both are odd , they are coprime and if both are even , then @xmath354 and @xmath355 must be coprime . there is also a standard restriction that if @xmath356 and @xmath78 are even , then @xmath357 must be odd . it follows that if @xmath350 then @xmath351 . ] these theories are type  0 string theories coupled to the @xmath10 @xmath1 models and are already described at the known corners . @xmath358 in equation  ( [ pfnsadmins1 ] ) with @xmath359 and @xmath360 .. the choice @xmath361 would suggest that the @xmath362 @xmath2 model exists at at @xmath70 ; however , all combinations of real expansions at @xmath70 have been exhausted in describing the type  0 @xmath1 @xmath363 model . we therefore expect the @xmath362 model to appear at @xmath364 where more combinations of expansions exist since @xmath247 is real . thus we choose @xmath365 with @xmath366 . ] these theories are the type  0 strings theories coupled to the @xmath367 @xmath2 models with @xmath368 . @xmath369 in equation  ( [ pfnaaminstypeii2 ] ) with @xmath350 and @xmath351 . these are the type ii strings coupled to the @xmath10 @xmath1 models with @xmath370 . @xmath371 in equation  ( [ pfnsadminstypeii2 ] ) with @xmath350 and @xmath351 . these are the type ii strings coupled to the @xmath10 @xmath2 models with @xmath370 . this is the same partition function as case  @xmath372 above . @xmath371 in equation  ( [ pfnsadminstypeii1 ] ) with @xmath359 and @xmath373 . these theories are the type  ii string theories coupled to the @xmath374 @xmath2 models with @xmath375 . + we seek to identify @xmath376 with one of the above partition functions , but to do so we will need some way of determining @xmath377 and @xmath378 . we consider the possibility that the theories @xmath379 and @xmath380 are type  iia and type  iib string theories , respectively . as we will see , this will uniquely fix the normalizations and allow us to identify the resulting @xmath381 as that of case  ( 5 ) above , _ i.e. _ type  ii string theories coupled to the @xmath374 @xmath2 models .      pursuing the apparent similarity with the moduli space of @xmath382 theories@xcite a little further , ( recall our discussion in section  [ sec : square ] , and figure  [ fig3 ] ) we can study the partition functions of those theories ( compactified on a circle ) to get clues as to the possible relative normalizations . we list them here@xcite : @xmath383 an important clue is to be found in the @xmath384 behaviour of each theory . this is the physics of the field theory sector ( kaluza  klein states ) that propagate on the circle , and the relative normalizations are of interest to us . type  0b has twice as much energy in this sector as type  0a , and type  iia has double that of type  iib . now , as expected , the type  0 theories exchange under the t  duality operation @xmath385 , as do the type  ii theories . duality vertically should take the type  ii theories to the type  0 theories , but this needs to be done on a circle twisted by @xmath386 . the partition functions for iia / b on such a circle is : @xmath387 notice that the field theory term of type  iia is now actually half that of type  iib . now we can compare the overall type  ii normalization to the type  0 by doing the vertical t  duality . under @xmath385 we see that type  iib field theory term matches that of the type  0a theory , while for type  iia , the field theory term is 1/4 that of the type  0b value .    in summary , we see that comparing squares would suggest that @xmath388 and @xmath389 , and the chain of relationships above gives the relative normalization of 0b and 0a as 2 to 1 , while that of ( twisted ) iib and iia is 2 to 1 , so @xmath390 . finally , t  duality ( with a twist ) between 0a and iib gives them the same relative normalization , implying , @xmath391 in this case we get therefore that for our putative type  ii theories , @xmath392 which is equal to that of the type  0 case , but with an opposite sign . this is the same as the partition function  ( [ pfnsadminstypeii1 ] ) for the type  ii theories coupled to the @xmath374 @xmath2 super  minimal models . interestingly , equation  ( [ gammaad ] ) implies that @xmath393 for iib and @xmath278 for iia , which nicely mirrors the values @xmath394 for 0a and @xmath57 for 0b . further work is required to strengthen our conjecture that we have here the type  iia and  iib theories coupled to the superconformal minimal models . as stated , an explicit definition of @xmath0 type  ii strings ( separately for types  a and  b , and not just our suggestion for @xmath316 given in section  [ sec : type - ii - z - even ] ) does not yet seem to exist in the literature , and our attempts to directly define them so far are incomplete . note that we have assumed that the relative normalizations of the partition functions that follow from @xmath382 really descend to the @xmath0 case , and while reasonable , this needs to be proven . the explicit @xmath25 dependence of the individual partition functions that we get by taking the dww one  loop expressions seriously have a ( so far ) unilluminating form at positive @xmath125 that we have not been able to check against a continuum computation . on the other hand the negative @xmath125 result neatly mirrors the type  0 case . we list the results here , and leave this line of investigation for the future and @xmath395 theories are again type  0a and type  0b string theories , respectively , perhaps coupled to an @xmath2 modular invariant . this would again fix the relative normalization of the partition functions such that @xmath396 and @xmath397 , yielding @xmath398 , which unfortunately differs from the continuum partition function for the @xmath367 @xmath2 super  minimal models by a sign . to match , we would have to assume that @xmath399 encodes the partition function instead of @xmath326 , which contradicts our earlier establishment of the @xmath1 type  0 points . ] : @xmath400 this should be compared with the type  0 cases displayed in equation  ( [ pfns0a0b ] ) . our main successes so far have involved theories in which @xmath340 and the values for @xmath15 and @xmath174 have been independent of @xmath84 . while these are the simplest possibilities , there is little reason to suspect that these theories are the only types amenable to description by dww . we observed in section  [ sec : unknown - tilde ] that there might be new theories , _ e.g. , _ the ones we called @xmath401 and  @xmath402 , whose description will most likely require such @xmath84dependence for @xmath403 . unfortunately , the availability of continuum calculations to compare to is limited , so obtaining convincing evidence for any particular proposal is difficult . nevertheless , there is much more evidence to accumulate from the differential equations themselves . we hope to report upon this issue in later work . we briefly mention one way that @xmath84dependence might emerge naturally . the @xmath316 that we have constructed from the torus terms of our perturbation expansions depend on three variables : @xmath84 , @xmath174 , and @xmath15 . we must however impose sign independence which reduces the total number of independent variables describing @xmath340 to two . in special cases the algebra conspires and we find that @xmath316 actually depends on no variables at all . this behavior is to be compared to @xmath316 as computed from the continuum partition functions . for generic @xmath356 and @xmath78 , @xmath316 is a function of two variables , but in special cases this dependence completely vanishes . this motivates us to attempt to express for @xmath84 , @xmath174 , and @xmath15 as functions of @xmath356 and @xmath78 . equation  ( [ z0a0b ] ) indicates that @xmath404 is inversely proportional to @xmath84 . the form of equation  ( [ pfnaamins2 ] ) then suggests that we take @xmath405 . since @xmath406 in this case , we can predict @xmath407 now equating @xmath404 of equation  ( [ z0a0b ] ) with the quantity in equation  ( [ pfnaamins2 ] ) and using the relation @xmath408 , which follows from sign independence , gives @xmath409 note that the models already studied had @xmath350 which gave us @xmath57 . we can perform the same exercise for @xmath410 which we have argued describes type ii strings coupled to @xmath2 @xmath374 models . again we have @xmath411 , which holds for @xmath359 and @xmath412 . equating @xmath413 of equation  ( [ relncgammaad ] ) with the quantity in equation  ( [ pfnsadminstypeii1 ] ) and using @xmath414 gives , @xmath415 for the models we ve previously considered , @xmath359 , so we correctly reduce to the condition @xmath278 . note here that we would run into problems if we considered @xmath416 because then @xmath174 would become imaginary . as discussed at length in the introduction , we find very significant this rich framework into which we can embed so many string theories and discover how they intertwine with each other . we suspect that there may be many more theories to be found in this framework , and that we have only just begun to learn how to extract and identify the various theories using the limited comparisons we can do to existing continuum computations . we have been able to gather evidence for a square of connected theories , firmly establishing the top corners as type  0a and  0b theories coupled to the @xmath1 modular invariant @xmath10 minimal models , and finding several strong pieces of evidence that the special points at the bottom are string theories , the ( non  supersymmetric@xcite ) type  iia and  iib theories coupled to the @xmath2 modular invariant @xmath374 minimal models . see figure  [ square2 ] . notice that the @xmath249 side of the square is generically understood as defining the theory when the number background branes , _ i.e. , _ @xmath174 or @xmath15 , is set to zero . this is the case for type  0b ( already established in ref . @xcite ) and is inherited by the type  iia theory as well . away from @xmath278 @xmath249 is complex for @xmath25 even , and one of the symmetry breaking @xmath417 may supply the @xmath102 physics instead . ( for @xmath25 odd , @xmath249 is real for @xmath418 and so may well furnish the @xmath102 physics in those cases . ) it is also important to note that for @xmath25 odd , @xmath247 is no longer real ( with the exception of @xmath278 at @xmath70 ) . this suggests that this regime of perturbation theory at @xmath101 ( containing fluxes for type  iia and branes for type  iib ) is ill  defined at those values of @xmath25 , even while the opposite regime at @xmath102 exists . this may suggest non  perturbative instabilities for those values of @xmath25 . an instructive prototype of this possibility is the original bosonic family of string theories defined non  perturbatively in terms of a painlev  i hierarchy of string equations@xcite . at large @xmath125 , the leading behaviour for the two point function was @xmath419 for the @xmath25th model , and for positive @xmath125 the physics was the @xmath161 conformal minimal models coupled to liouville theory . for even @xmath25 , the the @xmath102 regime gives complex values , signalling the non  perturbative problems . something analogous may be going on here for odd @xmath25 ( except @xmath70 , @xmath278 ) for the type  ii @xmath2 @xmath374 models . we will report further non  perturbative aspects in a follow  up paper where we discuss numerical and analytic studies of solutions that connect different perturbative regimes@xcite . +    there are many more interesting issues to understand . while we compared to our proposal for a continuum definition of the even sector partition function of the type  ii theories , a direct continuum definition of the type  iia and  iib string theories would be valuable to have , in order to provide another check on our conjecture for the new points . whether or not they are type  ii string theories , it is clear that these new theories are of interest , and may ( as already stated ) be only the first in a very large family of new theories that our string equations define . they are all nicely interconnected with the known type  0 theories , and have a rich non  perturbative sector . we will explore much of this non  perturbative physics in a follow  up paper@xcite . we have seen several signs that the organizing square is inherited from the organizing square of theories seen at @xmath382 in ref.@xcite . we suspect this inheritance arises physically by rg flow , and it would be of value to explore this further ( there are bosonic investigations in the literature@xcite ) . in particular , the special points with @xmath420 , where our partition functions vanish ( also suggested by the underlying painlev  iv structures we saw in section  [ sec : painleve ] , which are also worth understanding better ) , may well be related to the supersymmetric points identified in ref.@xcite .    in summary , we have found a rich laboratory of solvable string theory models with several non  perturbative connections between them by realizing them as special points of a larger physical system , the theory of dispersive water waves . in some respects it is an analogue of what we would like to see in studies of m  theory . it will be interesting to learn whether the larger framework of dispersive water waves can yield any new insights about the non  perturbative nature of string theories and related theories . this work was supported by the us department of energy . ri thanks tameem albash , nikolay bobev , arnab kundu , hubert saleur , and nicholas warner for useful conversations . cvj thanks the aspen center for physics for hospitality while some of this work was carried out .      c.  m. hull and p.  k. townsend , `` unity of superstring dualities , '' _ nucl . * b438 * ( 1995 ) 109137 , http://www.arxiv.org/abs/hep-th/9410167[hep-th/9410167 ] . p.  k. townsend , `` the eleven - dimensional supermembrane revisited , '' _ phys . * b350 * ( 1995 ) 184187 , http://www.arxiv.org/abs/hep-th/9501068[hep-th/9501068 ] . e.  witten , `` string theory dynamics in various dimensions , '' _ nucl . * b443 * ( 1995 ) 85126 , http://www.arxiv.org/abs/hep-th/9503124[hep-th/9503124 ] . r.  iyer , c.  v. johnson , and j.  s. pennington , `` non  perturbative string theory from water waves ( working title ) , '' _ _ to appear , _ _ ( 2010 ) . d.  j. gross and a.  a. migdal , `` nonperturbative two - dimensional quantum gravity , '' _ phys . * 64 * ( 1990 ) 127 . e.  brezin and v.  a. kazakov , `` exactly solvable field theories of closed strings , '' _ phys . _ * b236 * ( 1990 ) 144150 . m.  r. douglas and s.  h. shenker , `` strings in less than one - dimension , '' _ nucl . * b335 * ( 1990 ) 635 . t.  r. morris , `` 2-d quantum gravity , multicritical matter and complex matrices , '' . fermilab - pub-90 - 136-t . s.  dalley , c.  v. johnson , and t.  r. morris , `` multicritical complex matrix models and nonperturbative 2- d quantum gravity , '' _ nucl . * b368 * ( 1992 ) 625654 . s.  dalley , c.  v. johnson , and t.  r. morris , `` nonperturbative two - dimensional quantum gravity , '' _ nucl . phys . _ * b368 * ( 1992 ) 655670 . c.  v. johnson , t.  r. morris , and a.  watterstam , `` global kdv flows and stable 2-d quantum gravity , '' _ phys . _ * b291 * ( 1992 ) 1118 , http://www.arxiv.org/abs/hep-th/9205056[hep-th/9205056 ] . s.  dalley , c.  v. johnson , t.  r. morris , and a.  watterstam , `` unitary matrix models and 2-d quantum gravity , '' _ mod . lett . _ * a7 * ( 1992 ) 27532762 , http://www.arxiv.org/abs/hep-th/9206060[hep-th/9206060 ] . c.  crnkovic , m.  r. douglas , and g.  w. moore , `` physical solutions for unitary matrix models , '' _ nucl . * b360 * ( 1991 ) 507523 . t.  j. hollowood , l.  miramontes , a.  pasquinucci , and c.  nappi , `` hermitian vs. anti - hermitian 1-matrix models and their hierarchies , '' _ nucl . * b373 * ( 1992 ) 247280 , http://www.arxiv.org/abs/hep-th/9109046[hep-th/9109046 ] . i.  r. klebanov , j.  m. maldacena , and n.  seiberg , `` unitary and complex matrix models as 1-d type 0 strings , '' _ commun . * 252 * ( 2004 ) 275323 , http://www.arxiv.org/abs/hep-th/0309168[hep-th/0309168 ] . m.  noumi , `` painlev equations through symmetry , '' _ american mathematical society ( translations of mathematical monographs , volume 223 ) . _ ( 2004 ) . n.  seiberg , `` observations on the moduli space of two dimensional string theory , '' _ jhep _ * 03 * ( 2005 ) 010 , http://www.arxiv.org/abs/hep-th/0502156[hep-th/0502156 ] . d.  j. gross and i.  r. klebanov , `` one - dimensional string theory on a circle , '' _ nucl . phys . _ * b344 * ( 1990 ) 475498 . e.  hsu and d.  kutasov , `` the gravitational sine - gordon model , '' _ nucl . * b396 * ( 1993 ) 693707 , http://www.arxiv.org/abs/hep-th/9212023[hep-th/9212023 ] . j.  e. carlisle , c.  v. johnson , and j.  s. pennington , `` baecklund transformations , d - branes , and fluxes in minimal type 0 strings , '' _ j. phys . _ * a40 * ( 2007 ) 1245112462 , http://www.arxiv.org/abs/hep-th/0501006[hep-th/0501006 ] . j.  e. carlisle , c.  v. johnson , and j.  s. pennington , `` d - branes and fluxes in supersymmetric quantum mechanics , '' http://www.arxiv.org/abs/hep-th/0511002[hep-th/0511002 ] . i.  m. gelfand and l.  a. dikii , `` asymptotic behavior of the resolvent of sturm - liouville equations and the algebra of the korteweg - de vries equations , '' _ russ . math . surveys _ * 30 * ( 1975 ) 77113 . m.  r. douglas , `` strings in less than one dimension and the generalized kdv hierarchies , '' _ phys . _ * b238 * ( 1990 ) 176 . t.  banks , m.  r. douglas , n.  seiberg , and s.  h. shenker , `` microscopic and macroscopic loops in non - perturbative two- dimensional gravity , '' _ phys . lett . _ * b238 * ( 1990 ) 279 . a.  b. zamolodchikov and a.  b. zamolodchikov , `` liouville field theory on a pseudosphere , '' http://www.arxiv.org/abs/hep-th/0101152[hep-th/0101152 ] . v.  fateev , a.  b. zamolodchikov , and a.  b. zamolodchikov , `` boundary liouville field theory . i : boundary state and boundary two - point function , '' http://www.arxiv.org/abs/hep-th/0001012[hep-th/0001012 ] . j.  teschner , `` remarks on liouville theory with boundary , '' http://www.arxiv.org/abs/hep-th/0009138[hep-th/0009138 ] . v.  periwal and d.  shevitz , `` unitary matrix models as exactly solvable string theories , '' _ phys . rev * 64 * ( 1990 ) 1326 . v.  periwal and d.  shevitz , `` exactly solvable unitary matrix models : potentials and correlations , '' _ nucl . _ * b344 * ( 1990 ) 731746 . h.  airault , `` rational solutions of painlevequations , '' _ stud . _ * 61 * ( 1979 ) 3153 . v.  e. zakharov and a.  b. shabat , `` integration of nonlinear equations of mathematical physics by the method of inverse scattering . ii , '' _ funct . * 13 * ( 1979 ) 166174 . t.  r. morris , `` multicritical matter from complex matrices , '' _ class grav . _ * 9 * ( 1992 ) 18731881 . b.  kuperschmidt , `` mathematics of dispersive water waves , '' _ comm . * 99 * ( 1985 ) 5173 .              c.  v. johnson , `` string theory without branes , '' http://www.arxiv.org/abs/hep-th/0610223[hep-th/0610223 ] . d.  kutasov and n.  seiberg , `` noncritical superstrings , '' _ phys . * b251 * ( 1990 ) 6772 . h. ginsparg and g.  w. moore , `` lectures on 2-d gravity and 2-d string theory , '' http://www.arxiv.org/abs/hep-th/9304011[hep-th/9304011 ] . p.  di  francesco , p.  h. ginsparg , and j.  zinn - justin , `` 2-d gravity and random matrices , '' _ phys . * 254 * ( 1995 ) 1133 , http://www.arxiv.org/abs/hep-th/9306153[hep-th/9306153 ] . p.  di  francesco , h.  saleur , and j.  b. zuber , `` generalized coulomb gas formalism for two - dimensional critical models based on su(2 ) coset construction , '' _ nucl . phys . _ * b300 * ( 1988 ) 393 . a.  cappelli , `` modular invariant partition functions of superconformal theories , '' _ phys . _ * b185 * ( 1987 ) 8288 . m.  bershadsky and i.  r. klebanov , `` partition functions and physical states in two - dimensional quantum gravity and supergravity , '' _ nucl . * b360 * ( 1991 ) 559585 .
Abstract:

Answer: we uncover a remarkable role that an infinite hierarchy of non  linear differential equations plays in organizing and connecting certain @xmath0 string theories non  perturbatively . we are able to embed the type 0a and 0b @xmath1 minimal string theories into this single framework . the string theories arise as special limits of a rich system of equations underpinned by an integrable system known as the dispersive water wave hierarchy . we observe that there are several other string  like limits of the system , and conjecture that some of them are type  iia and  iib @xmath2 minimal string backgrounds . we explain how these and several string  like special points arise and are connected . in some cases , the framework endows the theories with a non  perturbative definition for the first time . notably , we discover that the painlev iv equation plays a key role in organizing the string theory physics , joining its siblings , painlev i and ii , whose roles have previously been identified in this minimal string context .    * string theory and water waves *    * ramakrishnan iyer@xmath3 , clifford v. johnson@xmath4 , jeffrey s. pennington@xmath5 *    _ @xmath6department of physics and astronomy _    _ university of southern california _    _ los angeles , ca 90089 - 0484 , u.s.a . _    _ @xmath5slac national accelerator laboratory _    _ stanford university _    _ stanford , ca 94309 , u.s.a . _    @xmath3ramaiyer , @xmath4johnson1 , [ at ] usc.edu ; @xmath5jpennin [ at ] stanford.edu