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: in this paper we present an attempt to formalize what may be called a _ string field theory ( sft ) _ for ( closed ) topological strings with hodge property .    from the very first days of string theory it was considered as a kind of generalization of the perturbative expansion of the quantum field theory in the ( functional ) integral representation . the space of graphs with @xmath0 loops with metrics on edges ( schwinger proper times ) was generalized to moduli space of riemann surfaces . indeed , the latter space really looks like a principle @xmath1 bundle over the former space near the points of maximal degeneracy ( i.e. , where maximal number of handles are pinched ) . a natural question is whether there are special string theories that degenerate exactly to quantum field theories ( may be , of the special kind ) . would it happen such theories should enjoy both finiteness of string theory and ( functional ) integral description of quantum field theory . one of the first attempts to construct a theory of this type was done by zwiebach in  @xcite . he divided the moduli space into two regions : the internal piece and the boundary . he observed that surfaces representing the boundary region may be constructed from those representing the internal piece by gluing them with the help of cylinders ( with flat metric ) . therefore , he proposed to take integrals over the moduli spaces in two steps : first , to take an integral over the internal pieces , such that this would produce vertices , and then take an integral along metrics on cylinders , that would exactly reproduce integral along the schwinger parameters on graphs in qft prescription .    in this approach , he came with the infinite number of vertices of different internal genera and with different number of external legs . however , he observed that such vertices satisfy quadratic relations that where a quantum version of some infinity - structure . at that time community of theoretical physicists seemed not to be impressed by the lagrangian with infinite number of ( almost uncomputable ) vertices . the next attempt was done by witten  @xcite . he assumed that in topological string theories there may be a limit in the space of two - dimensional theories such that the measure of integration goes to the vicinity of the points of maximal degeneration . in the type b theories such limit seems to be the large volume limit of the target space ; this motivated witten s chern - simons - like representation for the topological string theory . this approach was further developed by bershadsky , cecotti , ooguri , and vafa in  @xcite . we note that the tropical limit of gromov - witten theory  @xcite ( type a topological strings ) seems to realize the same qft degeneration of string theory . indeed , the tropical limit of a riemann surface mapped to a toric variety is represented by the graph mapped to the moment map domain .    in the development of topological string theory it became clear that the proper object is not just a measure on the moduli space of complex structures of riemann surfaces , but rather a differential form on this space . in original formulation these differential forms were assigned to the tensor algebra of cohomology of some complex ; such objects are called gromov - witten invariants . we say that gromov - witten invariants are qft - like if the differential forms of non - zero degree have support only in a vicinity of the points of maximal degeneration . we generalized the definition of gromov - witten invariants in  @xcite by lifting it from the cohomology of a complex to the full complex . such generalization involved enlargement of the moduli space from deligne - mumford space to kimura - stasheff - voronov space  @xcite , and we called it zwiebach invariants ( in fact , some pieces of this construction appeared earlier in  @xcite and  @xcite ) . the complex of states involved in the definition of zwiebach invariants is a bicomplex due to the action of the second differential . the second differential represents the substitution of a special vector field corresponding to the constant rotation of the phase of the local coordinate at a marked point into differential forms on the kimura - stasheff - voronov space . once we have some zwiebach invariants , it is possible to produce new zwiebach invariants by contraction of an acyclic hodge sub - bicomplex . in fact , it is one of the main properties of zwiebach invariants . consider a sub - bicomplex , where these two differentials act freely . we call it hodge contractible bicomplex . the operation of contraction of a hodge contractible bicomplex turns zwiebach invariants into induced zwiebach invariants on the coset with respect to contactible bicomplex . induced zwiebach invariants are differential forms whose support is a union of the support of the initial zwiebach invariants and small neighbourhoods of the points of maximal degeneration . this procedure is a generalization from intervals to cylinders of the procedure of induction of @xmath2-structures , see e.  g.  @xcite . this way we can obtain qft - like gromov - witten invariants . we just should start with zwiebach invariants that have ( in some suitable sense ) no support inside the kimura - stasheff - voronov spaces . in fact , it is even enough to consider a weaker condition , motivated by applications . that is , usually people consider the integrals of gromov - witten invarians only over the tautological classes in the moduli space of curves . so , we call a set of zwiebach invariants vertex - like if the integral over the kimura - stasheff - voronov spaces of any their non - zero component multipled by the pullback ( from the deligne - mumford space ) of any tautological class vanishes .    consider vertex - like zwiebach invariants . assume we contract a hodge contractible bicomplex down to cohomology . we obtain differential forms on the deligne - mumford space , such that the integral of the product of any such form of non - zero degree with any tautological class vanishes the interior of the moduli space . integrals of such forms over the moduli spaces turn out to be sums over graphs ( corresponding to degenerate riemann surfaces ) . they resemble feynman diagramms , and generation function for the integral over moduli spaces resemble diagrammatic expansion of perturbative quantum field theory .    in this paper , we do nt construct examples of vertex - like zwiebach invariants ( we are going to do this explicitly in a future publication , as well as the corresponding theory for the spaces introduced in  @xcite ) . rather we conjecture that they exist and study the consequences of this assumption . we call the emerging construction the _ hodge field theory _ , and now we will explain it in some detail . first of all , degree zero parts of vertex - like zwiebach invariants induce the structure of homotopy cyclic hodge algebra on the target complex  @xcite . we remind that a cyclic hodge algebra is just a hodge dgbv - algebra with one additional axiom ( @xmath3-axiom , see below ) . in fact , this structure is interesting by itself , without any reference to zwiebach invariants . it has first appeared in the paper of barannikov and kontsevich  @xcite ; it captures the properties of polyvector fields on calabi - yau manifolds . more examples of dgbv algebras are studied in  @xcite and  @xcite . it is possible to understand the structure of dgbv - algebra as a natural generalization of the algebraic structure studied in  @xcite .    in the hodge field theory construction we consider only a particular case , where we obtain axioms of of a cyclic hodge algebra itself , not up to homotopy . we are aware of the fact that demanding existance of vertex - like zwiebach invariants simultaneously with vanishing homotopy piece of cyclic hodge algebra conditions may be too restrictive , and while considering only those relations that lead to axioms of cyclic hodge algebra may be too weak , however we proceed .    in the hodge field theory construction we define graph expressions for the analogues of gromov - witten invariants multiplied by tautological classes using _ only cyclic hodge algebra data_. we call them hodge field theory correlators . the corresponding action of the hodge field theory is written down explicitely in section  [ action ] . our main result is the proof that the hodge field theory correlators satisfy all universal equations that follow from relations among tautological classes in cohomology . the first result of this kind is due to barannikov and kontsevich . they have noticed that there is a solution of the wdvv equation that is associated to a dgbv - algebra ( this solution is the critical value of the bcov action  @xcite , see  ( * ? ? ? * appendix ) and  ( * ? ? ? * appendix ) ) . later , we reproved this in  @xcite . then , in  @xcite we proved some other low - genera universal equations . here we generalize all these result and put all calculations done before in a proper framework .    in particular , the main problem for us was to define a graph expression in tensors of a cyclic hodge algebra that corresponds to the full gromov - witten potential with descendants . the first steps were done in  @xcite , where we introduced the definition of descendants at one point in hodge field theory ( mostly for combinatorial reasons ) . but then we observed that it is a part of a natural definition of potential with descendants in cyclic hodge algebras that appears as a special case of degeneration of vertex - like zwiebach invariants multiplied by tautological classes .    in this paper , we present and study this construction . we prove in a completely algebraic way that hodge field theory correlators satisfy the same equations as a gromov - witten potential : string , dilaton , and the whole system of pdes coming from tautological relations in the cohomology of the moduli space of curves ( see also  @xcite for some preliminary results ) . in what follows we will not only present the proof but also will do our best relating algebraic definitions and statements on hodge field theory to analoguous constructions and theorems in the theory of zwiebach invariants . in section  [ sec - gw ] we remind all necessary facts about the axiomatic gromov - witten theory . in section  [ sec - z ] we define zwiebach invariants and explain the motivation to consider the sums over graphs in cyclic hodge algebras . in section  [ sec - defpot ] we define cyclic hodge algebras and the corresponding descendant potential . in section  [ sec - proper ] we state the main properties of the descendant potential in cyclic hodge algebras , and the rest of the paper is devoted to the proofs . a.l . was supported by the russian federal agency of atomic energy and by the grants intas-03 - 51 - 6346 , nsh-8065.2006.2 , nwo - rfbr-047.011.2004.026 ( rfbr-05 - 02 - 89000-nwo - a ) , and rfbr-07 - 02 - 01161-a . s.s . was supported by the grant snsf-200021 - 115907/1 . s.s . is grateful to the participants of the moduli spaces program at the mittag - leffler institute ( djursholm , sweden ) for the fruitful discussions of the preliminary versions of the results of this paper . the remarks of c.  faber , o.  tommasi , and d.  zvonkine were especially helpful . i.s . was supported by the grant rfbr-06 - 01 - 00037 . in this section we remind what is gromov - witten theory and explain its basic properties that we are going to reproduce in hodge field theory construction . let us fix a finite dimensional vector space @xmath4 over @xmath5 together with the choice of a homogeneous basis @xmath6 and a non - degenerate scalar product @xmath7 on it . let @xmath8 be a distinguished even element of the basis . consider the moduli spaces of curves @xmath9 . on each @xmath9 we take a differential form @xmath10 of mixed degree with values in @xmath11 . the whole system of forms @xmath12 is called _ gromov - witten invariants _ , if it satisfies the axioms  @xcite :    1 . there are two actions of the symmetric group @xmath13 on @xmath10 . first , we can relabel the marked points on curves in @xmath9 ; second , we can interchange the factors in the tensor product @xmath11 . we require that @xmath10 is equivariant with respect to these two actions of @xmath13 . in other words , one can think that each copy of @xmath4 in the tensor product is assigned to a specific marked point on curves in @xmath9 . the forms must be closed , @xmath14 . 3 .   [ pull - back ] consider the mapping @xmath15 forgetting the last marked point . then the correspondence between @xmath10 and @xmath16 is given by the formula @xmath17 the meaning of the right hand side is the following . we want to turn a @xmath18-valued form into a @xmath11-valued one . so , we take the copy of @xmath4 corresponding to the last marked point and contract it with the vector @xmath8 using the scalar product . [ factor ] consider an irreducible boundary divisor in @xmath9 , whose generic point is represented by a two - component curve . it is the image of a natural mapping @xmath19 , where @xmath20 and @xmath21 . we require that @xmath22 here on the right hand side we contract with a scalar product the two copies of @xmath4 that correspond to the node . + in the same way , consider the divisor of genus @xmath23 curves with one self - intersection . it is the image of a natural mapping @xmath24 . in this case , we require that @xmath25 as before , we contract two copies of @xmath4 corresponding to the node . 5 . we also assume that @xmath26 . let us associate to each @xmath27 the set of formal variables @xmath28 , @xmath29 . by @xmath30 denote the formal power series in these variables defined as @xmath31 the first sum is taken over @xmath32 for @xmath33 , @xmath34 for @xmath35 , and @xmath36 for @xmath37 . on the right hand side , we contract each copy of @xmath4 with the factor of the tensor product associated to the same marked point .    the formal power series @xmath38 is called gromov - witten potential associated to the system of gromov - witten invariants @xmath12 . the coefficients of @xmath30 , @xmath39 , are called correlators and denoted by @xmath40 vectors @xmath41 are called primary fields . the main properties of gw potentials come from geometry of the moduli space of curves . first , one can prove that coefficients of @xmath42 satisfy string and dilaton equations : @xmath43    the string equation is a corollary of the fact that @xmath44 ; here @xmath15 is the projection forgetting the last marked point and @xmath45 is the divisor in @xmath46 whose generic point is represented by a two - component curve with one node such that one component has genus @xmath47 and contains exactly two marked points , the @xmath48-th and the @xmath49-th ones . it is assumed that @xmath50 . the dilaton equation is a corollary of the fact that , in the same notations , @xmath51 . of course , we assume that @xmath52 . second , any relation in the cohomology of @xmath9 among natural @xmath53-@xmath54-strata gives a relation for the correlators . let us explain this in more detail . the moduli space of curves @xmath9  @xcite has a natural stratification by the topological type of stable curves . we can combine natural strata with @xmath53-classes at marked points and at nodes and @xmath54-classes on the moduli spaces of irreducible components . these objects are called @xmath53-@xmath54-strata .    a convenient way to describe a @xmath53-@xmath54-stratum in @xmath9 is the language of stable dual graphs . take a generic curve in the stratum . to each irreducible component we associate a vertex marked by its genus . to each node we associate an edge connecting the corresponding vertices ( or a loop , if it is a double point of an irreducible curve ) . if there is a marked point on a component , then we add a leaf at the corresponding vertex , and we label leaves in the same way as marked points . if we multiply a stratum by some @xmath53-classes , then we just mark the corresponding leaves or half - edges ( in the case when we add @xmath53-classes at nodes ) by the corresponding powers of @xmath53 . also we mark each vertex by the @xmath54-class associated to it . let us remark that by @xmath54-classes on @xmath9 we mean the classes @xmath55 where @xmath56 is the projections forgetting the last @xmath57 marked points . it is just another additive basis in the ring generated by the ordinary @xmath54-classes ( @xmath58 , @xmath59 , in our notations ) . the basic properties of these classes are stated in  @xcite .      using the properties of gw invariants , one can express the integral of @xmath10 over a @xmath53-@xmath54-stratum @xmath60 in terms of correlators . consider a special case , when @xmath60 is represented by a two - vertex graph with no @xmath53- and @xmath54-classes . then , according to axiom  [ factor ] , the integral of @xmath10 is the product of integrals of @xmath61 and @xmath62 over the moduli spaces corresponding to the vertices , contracted by the scalar product : @xmath63 here we assume that the genus of one component of a generic curve in @xmath60 is @xmath64 and @xmath65 marked points with labels @xmath66 , @xmath67 , are on this component . the other component has genus @xmath68 and @xmath69 marked points with labels @xmath70 , @xmath71 , lie on it . of course , @xmath72 , @xmath73 .    now consider a special case , when @xmath60 is represented by a one - vertex graph with @xmath53- and @xmath54-classes . let us assign a vector in the basis of @xmath4 to each leaf ( to each marked point ) . then , according to axiom  [ pull - back ] the integral @xmath74 is equal to @xmath75    combining these two special cases one can obtain an expression in correlators that corresponds to an arbitrary @xmath53-@xmath54-stratum . suppose that we have a linear combination @xmath76 of @xmath53-@xmath54-strata that is equal to @xmath47 in the cohomology of @xmath9 ( a tautological relation ) . since @xmath14 , the integral of @xmath77 over @xmath76 is equal to zero , for an arbitrary choice of primary fields . this gives an equation for correlators . usually , one consider also the pull - backs of @xmath76 to @xmath78 , @xmath79 , multiplied by arbitrary monomials of @xmath53-classes . of course , they are also represented as vanishing linear combinations of @xmath53-@xmath54-strata . this gives a system of pdes for the formal power series @xmath30 , @xmath39 . for the detailed description of the correspondence between tautological relations and universal pdes for gw potentials see , e.  g. , @xcite or  @xcite .    there are @xmath80 basic tautological relations known at the moment : wdvv , getzler , belorousski - pandharipande , and topological recursion relations in @xmath81 , @xmath82 , @xmath83 , @xmath84 , @xmath85  @xcite . in gromov - witten theory ( and also in topological string theory ) the gromov - witten invariants is usually a structure on the cohomology of a target manifold ( the space @xmath4 ) of on the cohomology of a complex of some other gometric origin . we have introduced the notion of zwiebach invariants in  @xcite in order to formalize in a convenient way what physicists mean by topological conformal quantum field theory at the level of a complex rather than at the level of the cohomology . the very general principles of homological algebra imply that algebraic stuctures on the cohomology are often induced by some fundamental structures on a full complex ( the standard example is the induction of the infinity - structures from differential graded algebraic structures ) . such induction usually can be represented as a sum over trees with vertices corresponding to fundamental operations and edges corresponding to the homotopy that contracts the complex to its cohomology . we would like to stress that gromov - witten invariants also can be considered as an induced structure on the cohomology of a complex . in this case , the fundamental structure on the whole complex is determined by zwiebach invariants . we are able to associate some structure on a bicomplex with a special compactification of the moduli space curves ( kimura - stasheff - voronov compactification ) . so , complexes are replaced by bicomplexes , where the second differential reflects the rotation of attached cylinders ( or circles ) . this is an appearance of the string nature of the problem .    as an induced structure we indeed obtain a gromov - witten - type theory that , under some additional assumptions , can be presented in terms of a sum over graphs . below we explain the whole construction , following  @xcite and with some additional details . we remind the construction of the kimura - stasheff - voronov compactification @xmath86 of the moduli space of curves of genus @xmath0 with @xmath87 marked point . it is a real blow - up of @xmath9 ; we just remember the relative angles at double points . we can also choose an angle of the tangent vector at each marked point ; this way we get the principal @xmath88-bundle over @xmath86 . we denote the total space of this bundle by @xmath89 . there are also the standard mappings between different spaces @xmath89 . first , one can consider the projection @xmath90 forgetting the last marked point . suppose that under the projection we have to contract a sphere that contains the points @xmath91 , @xmath92 , and a node . denote the natural coordinates on the circles corresponding to @xmath91 and a node on a curve in @xmath93 by @xmath94 and @xmath95 . let @xmath96 be a coordinate on the circle corresponding to @xmath91 in @xmath89 . then @xmath97 under the projection @xmath98 . in the same way , if we contract a sphere that contains two nodes and @xmath92 , then @xmath99 , where @xmath100 and @xmath101 are the coordinates on the circles corresponding to the two nodes of a curve in @xmath93 and @xmath102 is a coordinate on the circle at the resulting node in @xmath89    in the same way , when we consider the mappings @xmath103 representing the natural boundary components of @xmath89 , we have @xmath104 , where @xmath105 and @xmath106 are the coordinates on the circles corresponding the points that are glued by @xmath107 into the node and @xmath95 is the coordinate on the circle at the node . for the mapping @xmath108 we also have @xmath109 with the same notations . let us fix a hodge bicomplex @xmath110 with two differentials denoted by @xmath111 and @xmath112 and with an even scalar product @xmath113 invariant under the differentials : @xmath114 the hodge property means that @xmath115 where @xmath116 and @xmath4 is orthogonal to @xmath117 . below we consider the action of @xmath111 and @xmath118 on @xmath119 . we denote by @xmath120 and @xmath121 the action of @xmath111 and @xmath118 respectively on the @xmath122-th component of the tensor product .    on each @xmath89 we take a differential form @xmath123 of the mixed degree with values in @xmath11 . the whole system of forms @xmath124 is called _ zwiebach invariants _ , if it satisfies the axioms :    1 . @xmath10 is @xmath13-equivariant . 2 .   @xmath125 , @xmath126 . @xmath127 for all @xmath128 ( we denote by @xmath129 the substitution of the vector field generating the action on @xmath89 of the @xmath122-th copy of @xmath130 ) ; @xmath123 is invariant under the action of @xmath88 ; 4 . @xmath131 , where @xmath90 is the mapping forgetting the last marked point . @xmath132 , where @xmath133 represents the boundary component . in the same way , @xmath134 for the mapping @xmath135 @xmath136 , @xmath137 and @xmath138 are the coordinates on the circles at the corresponding points . zwiebach invariants on the bicomplex with zero differentials determine gromov - witten invariants . indeed , in this case the factorization property implies that @xmath124 is lifted from the blowdown of kimura - stasheff - voronov spaces , i.e. it is determined by a set of forms on deligne - mumford spaces . then it is easy to check that this system of forms satisfied all axioms of gromov - witten invariants . induced zwiebach invariants are obtained by the contraction of @xmath117 . we denote by @xmath139 the contraction operator . this means that @xmath140 , @xmath141 is the projection to @xmath117 along @xmath4 , @xmath142 , and @xmath143 . we construct an induced zwiebach form @xmath144 on a homotopy equivalent modification @xmath145 of the space @xmath89 . at each boundary component @xmath146 we glue the cylinder @xmath147 $ ] such that @xmath146 in @xmath89 is identified with @xmath148 in the cylinder . so , we have the mappings @xmath149\to\tilde{\mathcal{s}}_{g , n}$ ] and @xmath150\to\tilde{\mathcal{s}}_{g , n}$ ] representing the boundary components with glued cylinders . we take a form @xmath123 , restrict it to @xmath11 , and extend it to the glued cylinder by the rule that @xmath151 \right)\ ] ] in the first case and @xmath152 \right)\ ] ] in the second case , where @xmath153 $ ] is the bivector obtained from the operator @xmath154 , @xmath155 is the coordinate on @xmath156 $ ] . this determines @xmath144 completely . now it is a straightforward calculation to check that the forms @xmath144 are @xmath157-closed and satisfy the factorization property when restricted to the strata @xmath158 . the induced zwiebach invariants determine gromov - witten invariants . the correlators of the corresponding gromov - witten potential are given by the integrals over the fundamental cycles of @xmath159 ( we just forget the circles at marked points in @xmath145 ) of the forms @xmath160 . in fact , the fundamental class of @xmath159 is represented as a sum over all irreducible boundary strata in @xmath9 . indeed , a boundary stratum @xmath146 in @xmath9 has real codimension equal to the doubled number of the nodes of its generic curve . but then we add in @xmath159 a real two - dimensional cylinder for each node . a simple explicit calculation allows to express the integral over the component of the fundamental cycle of @xmath159 corresponding to @xmath146 . it splits into the integrals of the initial zwiebach invariants ( multiplied by @xmath53-classes ) over the moduli spaces corresponding to the irreducible components of curves in @xmath146 ; they are contracted with the bivectors @xmath161 $ ] ( obtained from the operator @xmath162 via the scalar product ) corresponding to the nodes according to the topology of curves in @xmath146 . so , we represent the correlators of the induced gromov - witten theory as sums over graphs . then one can observe that @xmath163 determines a multiplication on @xmath110 . topology of the spaces @xmath164 and @xmath165 implies that the whole algebraic structure that we obtain on @xmath110 is the structure of cyclic hodge algebra up to @xmath111-homotopy , see  @xcite . let us assume that the initial system of zwiebach invariants is simple enough , i.  e. , it induces the explicit structure of cyclic hodge algebra on @xmath110 and only the integrals of the zero - degree parts of the initial zwiebach invariants ( multiplied by @xmath53-classes ) are non - vanishing on fundamental cycles . in this case , the induced gromov - witten potential can be described in very simple algebraic terms . it is the motivation of the definition of the hodge field theory construction given in the next section . in this section , we describe in a very formal algebraic way the sum over graphs obtained as an expression for the gromov - witten potential induced from zwiebach invariants in the previous section .      in this section , we recall the definition of cyclic hodge dgbv - algebras  @xcite ( cyclic hodge algebras , for short ) . a supercommutative associative @xmath5-algebra @xmath110 with unit is called cyclic hodge algebra , if there are two odd linear operators @xmath166 and an even linear function @xmath167 called integral . they must satisfy the following axioms :    1 . @xmath168 is a bicomplex : @xmath169 2 . @xmath170 , where @xmath116 and @xmath117 is represented as a direct sum of subspaces of dimension @xmath171 generated by @xmath172 for some vectors @xmath173 , i.  e. @xmath174 ( hodge decomposition ) ; 3 . @xmath111 is an operator of the first order , it satisfies the leibniz rule : @xmath175 ( here and below we denote by @xmath176 the parity of @xmath177 ) ; 4 . @xmath118 is an operator of the second order , it satisfies the @xmath178-term relation : @xmath179 5 . @xmath118 satisfies the property called @xmath3-axiom : @xmath180 ( here @xmath181 and @xmath182 are the operators of multiplication by @xmath183 and @xmath184 respectively , @xmath185 means supertrace ) . define an operator @xmath186 related to the particular choice of hodge decomposition . we put @xmath140 , and on each subspace @xmath187 we define @xmath139 as @xmath188 we see that @xmath189=0 $ ] ; @xmath190 $ ] is the projection to @xmath117 along @xmath4 ; @xmath191 is the projection to @xmath4 along @xmath117 .    consider the integral @xmath167 . we require that @xmath192 these properties imply that @xmath193 , @xmath194 , and @xmath195 . we can define a scalar product on @xmath110 as @xmath196 we suppose that this scalar product is non - degenerate . using the scalar product we may turn any operator @xmath197 into the bivector that we denote by @xmath198 $ ] .      here we explain a way to encode some tensor expressions over an arbitrary vector space in terms of graphs . consider an arbitrary graph ( we allow graphs to have leaves and we require vertices to be at least of degree @xmath199 , the definition of graph that we use can be found in  @xcite ) . we associate a symmetric @xmath87-form to each internal vertex of degree @xmath87 , a symmetric bivector to each egde , and a vector to each leaf . then we can substitute the tensor product of all vectors in leaves and bivectors in edges into the product of @xmath87-forms in vertices , distributing the components of tensors in the same way as the corresponding edges and leaves are attached to vertices in the graph . this way we get a number . let us study an example : @xmath200 we assign a @xmath201-form @xmath202 to the left vertex of this graph and a @xmath199-form @xmath203 to the right vertex . then the number that we get from this graph is @xmath204 . note that vectors , bivectors and @xmath87-forms used in this construction can depend on some variables . then what we get is not a number , but a function . consider a cyclic hodge algebra @xmath110 . there are some standard tensors over @xmath110 , which we associate to elements of graphs below . here we introduce the notations for these tensors . we always assign the form @xmath205 to a vertex of degree @xmath87 . there is a collection of bivectors that will be assigned below to edges : @xmath161 $ ] , @xmath206 $ ] , @xmath207 $ ] , @xmath208 $ ] , @xmath209 $ ] , @xmath210 $ ] , and @xmath211 $ ] . in pictures , edges with these bivectors will be denoted by @xmath212 respectively . note that an empty edge corresponding to the bivector @xmath207 $ ] can usually be contracted ( if it is not a loop ) . the vectors that we will put at leaves depend on some variables . let @xmath213 be a homogeneous basis of @xmath4 . in particular , we assume that @xmath8 is the unit of @xmath110 . to each vector @xmath27 we associate formal variables @xmath28 , @xmath36 , of the same parity as @xmath27 . then we will put at a leaf one of the vectors @xmath214 , @xmath36 , and we will mark such leaf by the number @xmath87 . in our picture , an empty leaf is the same as the leaf marked by @xmath47 . there is a subtlety related to the fact that @xmath110 is a @xmath215-graded space . in order to give an honest definition we must do the following . suppose we consider a graph of genus @xmath0 . we can choose @xmath0 edges in such a way that the graph being cut at these edge turns into a tree . to each of these edges we have already assigned a bivector @xmath198 $ ] for some operator @xmath216 . now we have to put the bivector @xmath217 $ ] instead of the bivector @xmath198 $ ] , where @xmath218 is an operator defined by the formula @xmath219 .    in particular , consider the following graph ( this is also an example to the notations given above ) : @xmath220 an empty loop corresponds to the bivector @xmath207 $ ] . an empty leaf corresponds to the vector @xmath221 . a trivalent vertex corresponds to the @xmath199-form given by the formula @xmath222 . if we ignore this remark , then what we get is just the trace of the operator @xmath223 . but using this remark we get the supertrace of this operator .    in fact , this subtlety will play no role in this paper . it affects only some signs in calculations and all these signs will be hidden in lemmas shared from  @xcite . so , one can just ignore this remark . we are going to define the potential using correlators . let @xmath224 be the sum over graphs of genus @xmath0 with @xmath87 leaves marked by @xmath225 , @xmath226 , where @xmath227 are vectors in @xmath110 , and @xmath228 are just formal symbols . the index of each internal vertex of these graphs is @xmath229 ; we associate to it the symmetric form  . there are two possible types of edges : edges marked by @xmath161 $ ] ( thick black dots in pictures , `` heavy edges '' in the text ) and edges marked by @xmath207 $ ] ( empty edges ) . since an empty edge connecting two different vertices can be contracted , we assume that all empty edges are loops .    consider a vertex of such graph . let us describe all possible half - edges adjusted to this vertex . there are @xmath230 , @xmath39 , half - edges coming from @xmath0 empty loops ; @xmath231 half - edges coming from heavy edges of graph , and @xmath57 leaves marked @xmath232 . then we say that the type of this vertex is @xmath233 . we denote the type of a vertex @xmath234 by @xmath235 . consider a graph @xmath236 in the sum determining the correlator @xmath224 we associate to @xmath236 a number : we contract according to the graph structure all tensors corresponding to its vertices , edges , and leaves ( for leaves , we take vectors @xmath227 ) . let us denote this number by @xmath237 . also we weight each graph by a coefficient which is the product of two combinatorial constants . the first factor is equal to @xmath238 here @xmath239 is the order of the automorphism group of the labeled graph @xmath236 , @xmath240 is the set of internal vertices of @xmath236 . in other words , we can label each vertex @xmath234 by @xmath241 , delete all empty loops , and then we get a graph with the order of the automorphism group equal to @xmath242 . the second factor is equal to @xmath243    the integrals used in this formula can be calculated with the help of the witten - kontsevich theorem  @xcite . so , the whole contribution of the graph @xmath236 to the correlator is equal to @xmath244 . one can check that the non - trivial contribution to the correlator @xmath245 is given only by graphs that have exactly @xmath246 heavy edges . the geometric meaning here is very clear . the number @xmath237 comes from the integral of the induced gromov - witten invariants of degree zero , while the coefficient @xmath247 is exactly the combinatorial interpretation of the intersection number of @xmath248 with the stratum whose dual graph is obtained from @xmath236 by the procedure described after the definition of @xmath249 . we fix a cyclic hodge algebra and consider the formal power series @xmath250 defined as @xmath251    abusing notations , we allow to mark the leaves by @xmath252 , @xmath253 , or @xmath183 ; all this variants are possible and denote the same .      for example , consider the trivial cyclic hodge algebra : @xmath254 , @xmath255 , @xmath256 . then @xmath257 , and the correlator @xmath258 consists just of one graph with one vertex , @xmath0 empty loops , and @xmath87 leaves marked by @xmath259 . the explicit value of the coefficient of this graph is , by definition , @xmath260 so , in the case of trivial cyclic hodge algebra we obtain exactly the gromov - witten potential of the point ( i.  e. , @xmath261 ) that we denote below by @xmath262 . abusing notation , we use the same symbol @xmath263 for the correlators in gw theory and in hodge field theory . we hope that it does not lead to a confusion . for instance , @xmath258 in the trivial example above is the correlator of the trivial hodge field theory , while @xmath264 is the correlator of the trivial gw theory . in this section , we prove that the potential   satisfies the same string and dilaton equations as gw potentials . if @xmath265 , we have : @xmath266    consider a graph @xmath236 contributing to the correlator on the left hand side of the string equation . the special leaf that we are going to remove is marked by @xmath267 and is attached to a vertex @xmath234 of genus @xmath268 ( i.  e. , with @xmath268 attached light loops ) with @xmath269 more attached leaves labeled by indices in @xmath270 , @xmath271 , and @xmath272 attached half - edges coming from heavy edges and loops . let us remove the leaf @xmath267 and change the label of one of the leaves attached to the same vertex from @xmath273 to @xmath274 . this way we obtain a graph @xmath275 contributing to the @xmath276-th summand of the right hand side of  . we take the sum of these graphs over @xmath277 . of course , we skip the summands where @xmath278 . note that this sum is not empty ( if @xmath236 gives a non - zero contribution to the left hand side of  ) . indeed , if it is empty , this means that @xmath278 for all @xmath277 . therefore , since we expect that the contribution to @xmath279 of the vertex @xmath234 on the left hand side is nonzero , it follows that @xmath280 and @xmath281 . so , there are three possible local pictures : @xmath282 the first picture can be replaced with the bivector @xmath283 $ ] , which is equal to zero . therefore , @xmath237 is also equal to zero . in the second case , we also get @xmath47 since @xmath284 . the third picture is possible only when it is the whole graph , and this is in contradiction with the assumption that @xmath265 . note also that @xmath285 and @xmath286 for all @xmath276 . indeed , we have just removed the leaf with the unit of the algebra , so this ca nt change anything in the contraction of tensors . therefore , @xmath287 . also both the leaf @xmath267 and the vertex @xmath234 are the fixed points of any automorphism of @xmath236 . the same is for the vertex corresponding to @xmath234 in @xmath275 . therefore , the automorphism groups are isomorphic for both graphs . since we make no changes for empty loops , it follows that @xmath286 . let us prove that @xmath288 . indeed , the vertices of @xmath236 and @xmath275 are in a natural one - to - one correspondence . moreover , the local pictures for all of them except for @xmath234 and its image in @xmath275 are the same . therefore , the corresponding intersection numbers contributing to @xmath279 and @xmath289 are the same . the unique difference appeares when we take the intersection numbers corresponding to @xmath234 and its images in @xmath275 , @xmath277 . but then we can apply the string equation   of the gw theory of the point  , and we see that @xmath290 ( here @xmath291 is an arbitrary on - to - one mapping ) . this implies that @xmath288 . so , we have @xmath292 . in order to complete the proof of , we should just notice that when we write down this expression for all graphs contributing to the left hand side of  , we use each graph contributing to the right hand side of   exactly once . if @xmath293 , we have : @xmath294    consider a graph @xmath236 contributing to the correlator on the left hand side of  . the special leaf that we are going to remove is marked by @xmath295 and is attached to a vertex @xmath234 of genus @xmath268 ( i.  e. , with @xmath268 attached light loops ) with @xmath269 more attached leaves labeled by indices in @xmath270 , @xmath271 , and @xmath272 attached half - edges coming from heavy edges and loops . let us remove the leaf @xmath295 . we obtain a graph @xmath296 contributing to the right hand side of  . let us prove this . indeed , if we remove a leaf and do nt get a proper graph , it follows that we have a trivalent vertex . since the contribution of this vertex to @xmath279 should be non - zero , it follows that the unique possible local picture is @xmath297 but this picture is the whole graph , and it is in contradiction with the condition @xmath293 . the same argument as in the proof of the string equation shows that @xmath298 and @xmath299 . also , the contribution to @xmath279 and @xmath300 of all vertices except for the changed one is the same . the change of the intersection number corresponding to the vertex @xmath234 is captured by the dilaton equation   of the trivial gw theory  : @xmath301 ( again , @xmath291 is an arbitrary on - to - one mapping ) . this implies that @xmath302 , and , therefore , @xmath303    let us write down the last equation for all graphs @xmath236 contributing to the left hand side  . observe that any graph @xmath296 contributing to the right hand side occurs @xmath304 times , since the leaf @xmath295 could be attached to any its vertex . therefore , any graph @xmath296 contributing to the right hand side of   appears in these equations with the coefficient @xmath305 this completes the proof . as we have explained in section  [ rel - for - corr ] , any linear relation @xmath76 among @xmath53-@xmath54-strata in the cohomology of the moduli space of curves gives rise to a family of universal relations for the correlators of a gromov - witten theory . [ thm - tautolog ] the system of universal relations coming from a tautological relation in the cohomology of the moduli space of curves holds for the correlators @xmath306 of cyclic hodge algebra . note that some special cases of this theorem were proved in  @xcite . our argument below is a natural generalization of the technique introduced in these papers . also we are able now to give an explanation why we have managed to perform all our calculations there , see remark  [ last - remark ] . let us give here a brief account of the proof of this theorem . first , the definition of correlators of the hodge field theory can be extended to the intersection with an arbitrary tautological class @xmath307 of degree @xmath308 in the space @xmath9 , not only the a monomial in @xmath53-classes . in that case , we do the following . again , we consider the sum over all graphs @xmath236 with @xmath309 heavy edges , and the number @xmath237 is defined as above . instead of the coefficient @xmath247 we use the intersection number of @xmath307 with the stratum whose dual graph is obtained from @xmath236 by the procedure described right after the definition of @xmath249 . namely , a vertex with @xmath0 loops is replaced by a vertex marked by @xmath0 . this definition is very natural from the point of view of zwiebach invariants . however , we know from gromov - witten theory that this extension of the notion of correlator is unnecessary . indeed , all integrals with arbitrary tautological classes can be expressed in terms of the integrals with only @xmath53-classes via some universal formulas . the main question is whether these universal formulas also work in hodge field theory . actually , the main result that more or less immediately proves the theorem is the positive answer to this question . the rest of the paper is devoted to the proof of main theorem , and here we would like to overview it here .    in section 6 , we study the structure of graphs that can appear in formulas for the correlators of hodge field theory . we prove that if @xmath310 and there is at least one heavy edge in @xmath236 , then all vertices have genus @xmath311 , i.  e. , there is at most one empty loop at any vertex . this basically means that in calculations we ll have to deal only with genera @xmath47 and @xmath312 . also this allows us to write down the action of a hodge field theory .    in section 7 , we prove the main technical result ( main lemma ) . informally , it states that @xmath313 when we apply these two operators to the correlators of a hodge field theory . in order to prove it , we look at a small piece ( consisting just of one heavy edge and one or two vertices that are attached to it ) in one of the graphs of a correlator . of course , in the correlator we can vary this small piece in an arbitrary way , such that the rest of the graph remains the same . so , when we consider the sum of all these small pieces , it is also a correlator of the hodge field theory . thus we reduce the proof to a special case of the whole statement . but since the genus of a vertex is @xmath311 , it appear now to be a low - genera statement that can be done by a straightforward calculation .    in section 8 , we present the proof of the main theorem . consider a @xmath53-@xmath54-stratum @xmath307 whose stable dual graph has @xmath59 edges . there is a universal expression of the integral over @xmath307 coming from gromov - witten theory . it includes @xmath122 entries of the scalar product restricted to @xmath4 . in terms of graphs , it means that we are to introduce new edges with the bivector @xmath206 $ ] on them , and there are @xmath122 such edges in our expression . a direct corollary of the main lemma is that we can always replace @xmath206 $ ] by @xmath207-\psi [ g_-g_+]-[g_-g_+]\psi$ ] .    in sections 8.2 , 8.3 , and 8.4 , we show that when we replace @xmath206 $ ] by @xmath207-\psi [ g_-g_+]-[g_-g_+]\psi$ ] at all edges corresponding to the scalar product restricted to @xmath4 , we obtain a new expression for the integral over @xmath307 that again contains only heavy edges and empty loops , as any ordinary correlator . the main problem now is to understand the combinatorial coefficient of a graph @xmath236 obtained this way . since we have a sum over graphs with heavy edges and empty loops , it is natural to identify again these graphs with the corresponding strata in the moduli space of curves . then we can calculate the intersection index of the stratum corresponding to a graph @xmath236 and the initial class @xmath307 . roughly speaking , the main thing that we have to do is to decide about each node in @xmath307 ( represented initially by @xmath206 $ ] ) , whether we have this node in stratum corresponding to @xmath236 . if yes , then we have an excessive intersection ( so , we must put @xmath314 on one of the half - edges of the corresponding edge ) , and we keep this edge in @xmath236 ( so , we replace @xmath206 $ ] with @xmath315 $ ] or @xmath316\psi$ ] ) . if no , then we do nt have this edge in @xmath236 , so we contract @xmath206 $ ] , i.  e. , replace it with @xmath207 $ ] . so , the procedure that we used to get rid of the scalar product is the same as the procedure of the intersection of @xmath307 with strata of the complementary dimension . this means ( section 8.5 ) that the universal formula coming from gromov - witten theory is equivalent to the natural formula for the `` correlator with @xmath307 '' coming from zwiebach theory . the tautological relation is a sum of classes equal to zero . so , while the universal formula coming from gromov - witten theory gives ( in the case of a vanishing class ) a non - trivial expression in correlators , the natural formula coming from zwiebach theory gives identically zero . this proves our theorem , see section 8.6 . in this section , we recall several useful lemmas shared in  @xcite . in particular , these lemmas give some strong restrictions on graphs that can give a non - zero contirbution to the correlators defined above . [ tillmann ]  @xcite the following vectors and bivectors are equal to zero : @xmath317    also let us remind another lemma in  @xcite that is very useful in calculations . [ g - jump ]  @xcite for any vectors @xmath318 , @xmath319 , @xmath320    both lemmas are just simple corollaries of the axioms of cyclic hodge algebra . consider a graph studied in section  [ subsec - correlators ] . it can have leaves , empty and heavy loops , and heavy edges . consider a vertex of such graph . let us assume that there are @xmath321 empty loops , @xmath322 heavy loops , @xmath323 heavy edges going to the other vertices of the graph , and @xmath324 leaves attached to this vertex : @xmath325 this picture can be considered as an @xmath326 form . let us denote it by @xmath327 . [ lemma - emptyedges ] if @xmath328 and @xmath329 , then @xmath330 .    in other words , if there are at least two empty loops at a vertex , then there should not be any heavy loops or edges attached to this vertex . otherwise the contribution of the whole graph vanishes . this implies    in the definition of correlators one should consider only graphs of one of the following two types :    1 . one - vertex graphs with no heavy edges ( loops ) . 2 .   arbitrary graphs with at most one empty loop at each vertex . the contribution of all other graphs vanishes . this corollary dramatically simplifies all our calculations with graphs given below . also we can write down now the action of the hodge field theory . let @xmath331 , @xmath332 $ ] be the `` dimension zero '' part of the potential of the hodge field theory , namely , @xmath333 the first sum is taken over @xmath36 such that @xmath293 . so , it is exactly the generating function for the vertices of our graph expressions . then the action of the hodge field theory is equal to @xmath334 if we put @xmath335 for @xmath34 , then we immediately obtain the bcov - type action discussed in  ( * ? ? ? * appendix ) and  ( * ? ? ? * appendix ) . the similar actions were also studied in  @xcite and  @xcite . we consider the form @xmath327 and we assume that @xmath328 . first , let us study the case when @xmath336 . in this case , our @xmath326-form can be represented as a contraction via the bivector @xmath207 $ ] of two forms , @xmath337 and @xmath338 . let us prove that the last one is equal to zero . indeed , this two - form can be represented as @xmath339 , where the two - form @xmath340 is represented by the picture @xmath341    according to lemma  [ tillmann ] , @xmath342 . therefore , @xmath343 and the whole form @xmath327 is also equal to zero .    now consider the case when @xmath344 . in this case , our @xmath326-form can be represented as a contraction via the bivector @xmath207 $ ] of two forms , @xmath345 and @xmath346 . let us prove that the last one is equal to zero . indeed , @xmath347 here the first equality is definition of @xmath346 , the second one is just an equivalent redrawing , the third equality is application of lemma  [ g - jump ] , the fourth one is again an equivalent redrawing . the last picture contains the bivector   which is equal to zero according to lemma  [ tillmann ] . therefore , the whole picture is equal to zero , and @xmath348 . so , the whole form @xmath327 is equal to zero also in this case . this proves the lemma . the main technical tool that we use in the proof of theorem  [ thm - tautolog ] is the lemma that we prove in this section .    [ main - lemma ] for any @xmath349 , @xmath350 , @xmath351    a simple corollary of this lemma is the following :    [ cor - main - l ] for any @xmath352 , @xmath353 , @xmath354    in other words , we can state informally that @xmath355 . the proof of the lemma can be reduced to a small number of special cases . we consider correlators whose graphs have only one heavy edge .    [ [ section ] ]    the first case is the following : let @xmath356 . we prove that for any @xmath349 , @xmath357    first , we see that according to the definition of the correlator , the left hand side of equation   is the sum over graphs with two vertices and with @xmath161 $ ] on the unique edge that connects the vertices . for each @xmath358 we can consider the corresponding distribution of leaves between the vertices ( to be precise , let us assume that @xmath359 ) . then the coefficient of such graph is @xmath360 , and we take the sum over all possible positions of @xmath111 at the leaves .    using the leibniz rule for @xmath111 and the property that @xmath361=-g_-$ ] , we see that this sum is equal to the sum over graphs with two vertices and with @xmath362 $ ] on the unique edge that connects the vertices . for each @xmath358 , @xmath363 , we consider the corresponding distribution of leaves between the vertices . then the coefficient of such graph is still @xmath360 , and the underlying tensor expression can be written ( after we multiply the whole sum by @xmath364 ) as @xmath365    let us recall that the @xmath178-term relation for @xmath118 implies that @xmath366 using this , we can rewrite the whole sum over graphs as @xmath367\\ -\sum_{i\not=1}\left[\left(v_1,\prod_{j\not=1,i}v_j\cdot g_-(v_i)\right)\cdot\right . \\ \left.\sum_{i'\sqcup j ' \sqcup\{i\}=\{2,\dots , n\ } } \left(|j'|-1\right)\langle \tau_{a_1 } \tau_0 \prod_{j\in i ' } \tau_{a_j } \rangle_0 \langle \tau_{a_i } \tau_0 \prod_{j\in j ' } \tau_{a_j } \rangle_0\right].\end{gathered}\ ] ] using that @xmath368 equation  , and the fact that @xmath369 we can rewrite expression   as @xmath370 the last formula coincides by definition with the right hand side of equation   multiplied by @xmath364 . this proves the first special case . [ [ section-1 ] ]    the second case is in genus @xmath312 . let @xmath371 . we prove that for any @xmath349 , @xmath372    according to the definition of the correlator , the left hand side of equation   is the sum over graphs of two possible types . the first type include graphs with two vertices and two edges . the first edge is heavy and connects the vertices ; the second edge is an empty loop attached to the first vertex . for each @xmath358 , @xmath373 , we can consider the corresponding distribution of leaves between the vertices ( we assume that leaves with indices in @xmath374 are at the first edge ) . then the coefficient of such graph is @xmath375 . the second type include graphs with one vertex and one heavy loop . all leaves are attached to this vertex , and the coefficient of such graph is @xmath376 . for both types of graphs , we take the sum over all possible positions of @xmath111 at the leaves .    using the leibniz rule for @xmath111 and the property that @xmath361=-g_-$ ] , we get the same graphs as before , but there is no @xmath111 , and instead of @xmath161 $ ] we have @xmath377 $ ] on the corresponding edge . using lemma  [ g - jump ] , we move @xmath378 in graphs of the first type to the leaves marked by indices in @xmath218 . using the @xmath3-axiom and lemma  [ g - jump ] , we move @xmath378 in graphs of the second type to all leaves . this way we get graphs of the same type in both cases . we get graphs with one vertex , one empty loop attached to it , all leaves are also attached to this vertex , and there is @xmath378 on one of the leaves . one can easily check that the coefficient of the graphs with @xmath378 at the @xmath48-th leaf is equal to @xmath379 it is exactly the unique graph contributing to the @xmath48-th summand of the right hand side of equation  , and the coefficient is right . this proves that special case . [ [ section-2 ] ]    consider @xmath37 . let @xmath380 . in this case , the statement that for any @xmath349 , @xmath381 is immediately reduced to @xmath382 ; it is a simple corollary of lemma  [ tillmann ] . consider the left hand side of equation  . as usual , using the leibniz rule for @xmath111 and the property that @xmath361=-g_-$ ] , we can remove all @xmath111 , but then we must change one of @xmath161 $ ] on edges to @xmath377 $ ] . let us cut out the peaces of graphs that includes this edges with @xmath377 $ ] , all empty loops , leaves and halves of heavy edges attached to the ends of this special edge . since we consider the sum over all possible graphs contributing to correlators , these small pieces can be gathered into groups according to the type of the rest of the initial graph . each group forms exactly one of the special cases studied above . so , we know that @xmath378 should jump either to one of the leaves or to one of the heavy edges attached to the ends of its edge . in the first case , we get exactly the graphs in the right hand side of equation  ; in the second case , we get zero . one can easily check that we get the right coefficients for the graphs in the right hand side of equation  . this proves the lemma . consider the expression in correlators corresponding to a @xmath53-@xmath54-stratum as it is described in section  [ integrals - strata ] . to each vertex of the corresponding stable dual graph we assign the sum of graphs that forms correlator in the sense of section  [ subsec - correlators ] . the leaves of these graphs corresponding to the edges of the stable dual graph ( nodes ) are connected in these pictures by edges with @xmath206 $ ] ( the restriction of the scalar product to @xmath4 ) . we call the edges with @xmath206 $ ] `` white edges '' and mark them in pictures by thick white points , see  . the axioms of cyclic hodge algebra imply a system of linear equations for the graphs of this type . in particular , it has appeared that playing with this linear equations we can always get rid of white edges in the sum of pictures corresponding to a stable dual graph , see  @xcite . however , previously it was just an experimental fact . now we can show how it works in general . the numerous examples of the correspondence between stable dual graphs and graphs expressions in cyclic hodge algebras and also of the linear relations implied by the axioms of cyclic hodge algebra are given in  @xcite . below , we explain how one can represent the expression in correlators corresponding to a @xmath53-@xmath54-stratum in terms of graphs with only empty and heavy edges and with no white edges . the unique tool that we need is lemmas  [ main - lemma ] and  [ cor - main - l ] proved above . consider a stable dual graph with two vertices and one edge connecting them : @xmath383 the corresponding expression in correlators is @xmath384 ( here we denote by @xmath385 an arbitrary choice of @xmath386 ) . it is convenient for us to rewrite this expression as @xmath387^{\alpha_1\alpha_2}\cdot \langle\tau_{b_0}(x_{\alpha_2})\prod_{i=1}^{n_2}\tau_{b_i}(e_\bullet ) \prod_{i=1}^{l_2}\tau_{v_i}(e_1)\rangle_{g_1},\end{gathered}\ ] ] where @xmath388 is the basis of the whole @xmath110 . using the fact that @xmath389 and applying lemma  [ cor - main - l ] , we obtain @xmath390^{\alpha_1\alpha_2}\cdot \langle\tau_{b_0}(x_{\alpha_2})\prod_{i=1}^{n_2}\tau_{b_i}(e_\bullet ) \prod_{i=1}^{l_2}\tau_{v_i}(e_1)\rangle_{g_1 } \\ = \langle\tau_{a_0}(x_{\alpha_1})\prod_{i=1}^{n_1}\tau_{a_i}(e_\bullet ) \prod_{i=1}^{l_1}\tau_{u_i}(e_1)\rangle_{g_1}\cdot \\ [ id]^{\alpha_1\alpha_2}\cdot \langle\tau_{b_0}(x_{\alpha_2})\prod_{i=1}^{n_2}\tau_{b_i}(e_\bullet ) \prod_{i=1}^{l_2}\tau_{v_i}(e_1)\rangle_{g_1 } \\ - \langle\tau_{a_0 + 1}(x_{\alpha_1})\prod_{i=1}^{n_1}\tau_{a_i}(e_\bullet ) \prod_{i=1}^{l_1}\tau_{u_i}(e_1)\rangle_{g_1}\cdot \\ [ g_-g_+]^{\alpha_1\alpha_2}\cdot \langle\tau_{b_0}(x_{\alpha_2})\prod_{i=1}^{n_2}\tau_{b_i}(e_\bullet ) \prod_{i=1}^{l_2}\tau_{v_i}(e_1)\rangle_{g_1 } \\ - \langle\tau_{a_0}(x_{\alpha_1})\prod_{i=1}^{n_1}\tau_{a_i}(e_\bullet ) \prod_{i=1}^{l_1}\tau_{u_i}(e_1)\rangle_{g_1}\cdot \\ [ g_-g_+]^{\alpha_1\alpha_2}\cdot \langle\tau_{b_0 + 1}(x_{\alpha_2})\prod_{i=1}^{n_2}\tau_{b_i}(e_\bullet ) \prod_{i=1}^{l_2}\tau_{v_i}(e_1)\rangle_{g_1}\end{gathered}\ ] ] in all three summands of the right hand side we still have two correlators , whose leaves corresponding to the nodes are connected by some special edges . but now the connecting edge is either marked by @xmath207 $ ] ( an empty edge ) or by @xmath161 $ ] ( an ordinary heavy edge ) . so , this way we get rid of the white edge in this case .    informally , in terms of pictures , we can describe equation   as @xmath391 when we put @xmath53 , we mean that we add one more @xmath53-class at the node at the corresponding branch of the curve . dashed circles denote correlators . we perform the same calculation as above , but now we explain it in terms of informal pictures from the very beginning . so , the first step is the same as above : @xmath392 then we apply lemma  [ main - lemma ] to each of the summands in the right hand side : @xmath393 @xmath394 and @xmath395 we take the sum of these three expressions , and we see that all pictures where we have edges with @xmath211 $ ] and @xmath210 $ ] are cancelled . so , we get an expression for the sum of graphs representing the initial stratum in terms of graphs with only empty and heavy edges . the general argument is exactly the same as in the second example . in fact , this gives a procedure how to write an expression in graphs with only empty and heavy edges ( and no white edges ) starting from a stable dual graph . let us describe this procedure . take a stable dual graph corresponding to a @xmath53-@xmath54-stratum of dimension @xmath122 in @xmath9 . first , we are to decorate it a little bit . for each edge , we either leave it untouched , or substitute it with an arrow ( in two possible ways ) . at the pointing end of the arrow , we increase the number of @xmath53-classes by @xmath312 . each of these graphs we weight with the inversed order of its automorphism group ( automorphisms must preserve all decorations ) multiplied by @xmath396 , where @xmath397 is the number of arrows .    consider a decorated dual graph . to each its vertex we associate the corresponding correlator of cyclic hodge algebra ( we add new leaves in order to represent @xmath54-classes ) . then we connect the leaves corresponding to the nodes either by empty edges ( if the corresponding edge of the decorated graph is untouched ) or by heavy edges ( if the corresponding edge of the dual graph is decorated by an arrow ) . we can simplify the resulting graphs obtained in the previous subsection . first , we can contract empty edges ( as much as it is possible ; it is forbidden to contract loops ) . second , we can remove leaves added for the needs of @xmath54-classes . indeed , each such leaf is equipped with a unit of @xmath110 , so it does nt affect the contraction of tensors corresponding to a graph . moreover , when we remove all leaves corresponding to @xmath54-classes , we still have graph with at least trivalent vertices . otherwise , this graph is equal to zero , c.  f. arguments in the proofs of string and dilaton equations . so , we obtain final graphs that have the same number of heavy edges as the dimension of the initial @xmath53-@xmath54-stratum , the same number of leaves as the initial dual graph , and some number of empty loops , at most one at each vertex . the exceptional case is when @xmath398 ; in this case we obtain only one graph , with one vertex , @xmath87 leaves , and @xmath0 empty loops .    in the first case , let us turn a graph like this into a stable dual graph . just replace its vertices with no empty loops by vertices of genus zero , vertices with empty loops by vertices of genus one , heavy edges are edges , and leaves are leaves . there are no @xmath53- or @xmath54- classes . it is obvious that the codimension of the stratum corresponding to this dual graph is @xmath122 . indeed , in this case it is just the number of nodes . so , to each @xmath53-@xmath54-stratum @xmath399 of dimension @xmath400 we associate a linear combination @xmath401 of strata of codimension @xmath122 with no @xmath53- or @xmath54-classes , whose curves have irreducible components of genus @xmath47 and @xmath312 only . we prove it two steps . first , consider a one - vertex stable dual graph with no edges ( just a correlator ) . in this case , the intersection number @xmath403 is just by definition @xmath404 , where @xmath405 is the cyclic hodge algebra graph that turns into @xmath406 via the procedure described above . then , consider a stable dual graph with one edge . it is the intersection of the one - vertex stable dual graph with an irreducible component of the boundary . for a given @xmath406 , this component of the boundary either intersects it transversaly , or we have an excessive intersection . in the first case , the corresponding node is not represented in @xmath406 . this means that in @xmath405 it should be an empty edge . in the second case , this node is one of the nodes of @xmath406 , so it should be a heavy edge of @xmath405 . also , it is an excessive intersection , so we are to add the sum of @xmath53-classes with the negative sign at the marked points ( half - edges ) corresponding to the node , see  ( * ? ? ? * appendix ) . if @xmath398 , this means that each of the vertices of the initial stable dual graph also has dimension @xmath47 , and the corresponding correlator of cyclic hodge algebra is represented by one one - vertex graph with no heavy edges . also this means that each edge of the initial stable dual graph is replaced in the algorithm above by an empty edge . so , we can think that we just work with the correlators of the gromov - witten theory of the point . in this case proposition becomes obvious . consider the system of subalgebras @xmath408 of the cohomological tautological algebras of @xmath9 generated by strata with no @xmath53- or @xmath54-classes and with irreducible curves of genus @xmath47 and @xmath312 only . let @xmath76 be a linear combination of @xmath53-@xmath54-strata of dimension @xmath122 in @xmath9 . then the expression in correlators of cyclic hodge algebras corresponding to @xmath76 is equaivalent to a sum of some graphs with coefficients equal to the intersection of @xmath76 with classes in @xmath409 . so , if the class of @xmath76 is equal to zero , then the corresponding equation ( and also the whole system of equations that we described in section  [ rel - for - corr ] ) for correlators of cyclic hodge algebra is valid . theorem is proved . evidently , @xmath410 is a module over @xmath411 . also it is obvious that @xmath410 is closed under pull - backs and push - forwards via the forgetful morphisms . this explains why it was enough to make only one check in the simplest case in order to get the system of equations in  @xcite ( cf . an argument in the last section in  @xcite ) . from the point of view of the theory of zwiebach invariants , both propositions look very natural . indeed , we try to give a graph expression for the integral of an induced gromov - witten form multiplied by a tautological class @xmath399 . since we know that we are able to integrate only degree zero parts of induced gromov - witten invariants , we should just take the sum over all graphs that correspond to the strata of complimentary dimension in @xmath410 . the coefficients are to be the intersection numbers of these strata with @xmath399 . on the other hand , we know that in any gromov - witten theory it is enough to fix the integrals of gromov - witten invariants multiplied by @xmath53-classes . then the integrals of gromov - witten invariants multiplied by arbitrary tautological classes are expressed by universal formulas . we can try to use these universal formulas also in hodge field theory . they are exactly our expressions with white edges . so , we have two different natural ways to express in terms of graphs the integrals of induced gromov - witten invariants multiplied by tautological classes . propositions  [ prop1 ] and  [ prop2 ] state that these two different expressions coinside .                                          a. losev , hodge strings and elements of k. saito s theory of primitive form , topological field theory , primitive forms and related topics ( kyoto , 1996 ) , 305335 , progr . , 160 , birkhaeuser boston , boston , ma , 1998 .
Abstract:

Answer: we propose a hodge field theory construction that captures algebraic properties of the reduction of zwiebach invariants to gromov - witten invariants . it generalizes the barannikov - kontsevich construction to the case of higher genera correlators with gravitational descendants . we prove the main theorem stating that algebraically defined hodge field theory correlators satisfy all tautological relations . from this perspective the statement that barannikov - kontsevich construction provides a solution of the wdvv equation looks as the simplest particular case of our theorem . also it generalizes the particular cases of other low - genera tautological relations proven in our earlier works ; we replace the old technical proofs by a novel conceptual proof .