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: we study surfaces in space @xmath0 such that through each point of the surface one can draw two circles fully contained in the surface . hereafter by a _ circle _ we mean either an ordinary circle in @xmath0 or a straight line . in this paper we reduce finding all such surfaces to the algebraic problem of finding all pythagorean @xmath1-tuples of polynomials . in a subsequent publication we are going to solve the latter problem . the problem of finding such surfaces traces back to the works of darboux from xixth century . basic examples  a one - sheeted hyperboloid and a nonrotational ellipsoid  are discussed in hilbert  cohn - vossen s `` anschauliche geometrie '' . there ( and respectively , in a recent paper @xcite by nilov and the first author ) it is also proved that a smooth surface containing two lines ( respectively , a line and a circle ) through each point is a quadric or a plane . a torus contains @xmath2 circles through each point : a meridian , a parallel , and two villarceau circles .    [ cols="^ " , ]     all these examples are particular cases of a _ darboux cyclide _ , i.e. , a subset of @xmath0 given by the equation @xmath3 where @xmath4 and @xmath5 $ ] of degree @xmath6 do not vanish simultaneously ; see figure  [ movie ] to the left . equivalently , a _ darboux cyclide _ is the stereographic projection of the intersection of the sphere @xmath7 with another @xmath8-dimensional quadric ( * ? ? ? * section  2.2 ) . almost each darboux cyclide contains at least @xmath9 circles through each point ( and there is an effective algorithm to count their actual number @xcite ) . conversely , darboux has shown that @xmath10 circles through each point guarantee that an analytic surface is a darboux cyclide . this result has been improved over the years : in fact already @xmath8 , or @xmath9 orthogonal , or @xmath9 cospheric circles are sufficient for the same conclusion ( * ? ? ? * theorem  3 ) , ( * ? ? ? * theorem  1 ) , ( * ? ? ? * theorem  20 in p.  296 ) , cf . hereafter two circles are called _ cospheric _ , if they are contained in one @xmath9-dimensional sphere or plane . recently there has been a renewed interest to surfaces containing @xmath9 circles through each point due to pottmann who considered their potential applications to architecture @xcite . pottmann noticed that the _ euclidean translational surface _ @xmath11 , where @xmath12 are two fixed generic circles in @xmath0 , contains @xmath9 circles through each point but is not a darboux cyclide ( * ? ? ? * example  3.9 ) . another example with similar properties was given by zub in 2011 : the stereographic projection of a _ clifford translational surface _ @xmath13 , where @xmath12 are now circles in the sphere @xmath14 identified with the set of unit quaternions . the projection itself is called a _ clifford translational surface _ as well ; see figure  [ movie ] to the right . it may have degree up to @xmath15 . each degree @xmath15 surface in @xmath7 containing a _ great _ circle and another circle through each point is clifford translational ( * ? ? ? * corollary  2c ) . more examples can be obtained from these translational surfaces by _ mbius transformations _ , i.e. , compositions of inversions . euclidean and clifford translational surfaces are not mbius transformations of each other ( * ? ? ? * theorem 2b ) . for related transformations taking lines to circles see @xcite . we conjecture that the above ones are the only possible surfaces containing @xmath9 circles through each point . let us make this statement precise . we switch to a local problem involving a piece of a surface instead of a closed one and circular arcs instead of circles . by an _ analytic surface _ in @xmath16 we mean the image of an injective real analytic map of a planar domain into @xmath16 with nondegenerate differential at each point . we use the same notation for the map and the surface ; no confusion arises from this . a circle ( or circular arc ) _ analytically depending _ on a point is a real analytic map of an analytic surface into the variety of all circles ( or circular arcs ) in @xmath16 . analyticity is not really a restriction @xcite . [ mainthm ] if through each point of an analytic surface in @xmath0 one can draw two transversal circular arcs fully contained in the surface ( and analytically depending on the point ) then the surface is a mbius transformation of a subset of either a darboux cyclide , or euclidean or clifford translational surface . we hope to deduce main conjecture  [ mainthm ] from the following 4-dimensional counterpart . the @xmath2-dimensional problem seems to be more accessible than the @xmath8-dimensional one because of nice approach using quaternions . in what follows identify @xmath17 with the skew field @xmath18 of quaternions , and @xmath0 with the set @xmath19 of purely imaginary quaternions . mbius transformations in @xmath17 are precisely the nondegenerate maps of the form @xmath20 and @xmath21 , where @xmath22 ; see  @xcite for an exposition . circles in @xmath17 are precisely the nondegenerate curves having a parametrization of the form @xmath23 ( outside one point ) , where @xmath22 are fixed and @xmath24 runs . denote by @xmath25 $ ] the set of polynomials with quaternionic coefficients of degree at most @xmath26 in the variable @xmath27 and at most @xmath28 in the variable @xmath29 ( the variables commute with each other and the coefficients ) . denote @xmath30 . define @xmath31 , @xmath32 , and @xmath33 analogously . for each @xmath34 and real numbers @xmath35 ( but not quaternions ) the value @xmath36 is well - defined . thus the polynomial @xmath37 or a rational expression in such polynomials defines a surface in @xmath17 . [ 4dbconj ] assume that through each point of an analytic surface in @xmath17 one can draw two noncospheric circular arcs fully contained in the surface ( and analytically depending on the point ) . assume that for each point in some dense subset of the surface the number of circular arcs passing through the point and fully contained in the surface is finite . then some mbius transformation of the surface has a parametrization @xmath38 for some polynomials @xmath39 such that @xmath40 . conversely , almost each surface   contains two circular arcs @xmath41 and @xmath42 through each point because the curves @xmath23 and @xmath43 are circular arcs for almost each @xmath22 . e.g. , @xmath44 is a clifford translational surface , and @xmath45 is a torus .    the first result of this paper is the following assertions reducing the @xmath8-dimensional problem to the @xmath2-dimensional one . they are proved in section  [ sec : proofs ] . [ prop21][prop:21-split ] if surface   is contained in @xmath0 ( respectively , in @xmath7 ) then it is a subset of either an euclidean ( respectively , clifford ) translational surface or a darboux cyclide ( respectively , an intersection of @xmath7 with another @xmath8-dimensional quadric ) . [ cor-3d ] if a surface in @xmath0 is a mbius transformation of surface   in @xmath17 then the former surface is a mbius transformation of a subset of either a darboux cyclide , or euclidean or clifford translational surface . surfaces containing two circles through each point are particular cases of surfaces containing two conic sections or lines through each point . the latter surfaces have been classified by brauner , schicho , and lubbes @xcite . in the particular case of so - called supercyclides a classification was given by degen @xcite . the schicho classification is up to a week equivalence relation , thus it does not allow automatically to find all surfaces containing two circles through each point . however the following parametrization result by schicho provides the first step toward the solution of our problem . the notions used in the statement are defined analogously to the above ; see section  [ sec : proofs2 ] for details . [ schicho ] assume that through each point of an analytic surface in a domain in @xmath28-dimensional complex projective space one can draw two transversal conic sections intersecting each other only at this point ( and analytically depending on the point ) such that their intersections with the domain are contained in the surface . assume that through each point in some dense subset of the surface one can draw only finitely many conic sections such that their intersections with the domain are contained in the surface . then the surface ( possibly besides a one - dimensional subset ) has a parametrization @xmath46 for some @xmath47 such that the conic sections are the curves @xmath41 and @xmath42 . conversely , one can see immediately that almost each surface   contains two conic sections @xmath41 and @xmath42 through each point . theorem  [ schicho ] in particular implies that each surface containing two conic sections through each point is contained in an projective subspace of dimension at most @xmath15 and has the degree at most @xmath15 ( by standard elimination of variables ) . theorem  [ schicho ] is proved completely analogously to ( * ? ? ? * theorem  11 ) , where the case when @xmath48 is considered ; see also ( * ? ? ? * theorem  17 ) . for convenience of the reader we give the proof in section  [ sec : proofs2 ] . in comparison to @xcite we have added some details to make it accessible to nonspecialists . the main result of the paper is the following corollary also proved in section  [ sec : proofs2 ] . [ haupt][param ] assume that through each point of an analytic surface in @xmath49 ( respectively , in @xmath16 ) one can draw two noncospheric circular arcs fully contained in the surface ( and analytically depending on the point ) . assume that through each point in some dense subset of the surface one can draw only finitely many circular arcs fully contained in the surface . then the surface ( possibly besides a one - dimensional subset ) has a parametrization @xmath50 where @xmath51 satisfy the equation @xmath52 ( respectively , the equation @xmath53 for some @xmath54 ) . this result reduces the above conjectures to solving the equation @xmath55 for `` pythagorean @xmath28-tuples '' in real polynomials . the resulting problem is hard but seems more accessible because of possible induction over the involved parameters ( @xmath28 , number of variables , degree ) . the problem has been solved for @xmath48 and @xmath2 in ( * ? ? ? * theorem  2.2 ) using that @xmath56 $ ] is a unique factorization domain ( ufd ) . in case of one variable a similar argument works for @xmath57 and @xmath1 because @xmath58 $ ] is still a ufd in a sense ( * ? ? ? * theorem  1 in chapter  2 ) , cf . @xcite , @xcite and conjecture  [ conj-1-var ] below . the main difficulty of passing to two variables is that @xmath59 $ ] is _ not _ a ufd any more ; see example  [ ex - beauregard ] below taken from  @xcite . the case of two variables and @xmath60 arising in our geometric problem seems to be the simplest case not accessible by the methods available before . so far we give only one result in this direction , which is nice and interesting in itself , useful for the proof of the above conjectures and also for theorem  [ prop21 ] above . the result is proved in section  [ sec : final ] . [ l - splitting - basic ] if @xmath61 for some @xmath62 and @xmath63 , @xmath64 of degree  @xmath9 then @xmath65 is reducible . [ cor - splitting ] if @xmath66 for some @xmath67 , @xmath68 such that @xmath69 and @xmath70 have degree @xmath9 then for some @xmath71 and @xmath72 we have @xmath73    to summarize , the results of this paper reduce main conjecture  [ mainthm ] to the following completely algebraic conjecture . by a _ mbius transformation _ of @xmath74 we mean a linear transformation @xmath75 which preserves the homogeneous equation @xmath76 of @xmath74 .    [ conj - alg ] polynomials @xmath77 satisfy equation @xmath66 if and only if up to mbius transformation of @xmath74 not depending on @xmath78 we have @xmath79 for some @xmath39 , @xmath80 such that @xmath81 . the parametrizations of conjectures  [ conj - alg ] and  [ 4dbconj ] are related to each other via the stereographic projection @xmath82 . we plan to prove all the above conjectures in a subsequent publication . this is reasonable because the remaining algebraic part of the conjectures is proved by very different methods . in this section we prove the results on the classification of surfaces parametrized by quaternionic rational functions of small degree up to mbius transformation : theorem  [ prop21 ] and corollary  [ cor-3d ] . let us prove several lemmas required for the proof of theorem  [ prop21 ] . these lemmas are independent in the sense that the proof of each one uses the statements but not the proofs of the other ones .    in what follows @xmath83 are arbitrary polynomials not vanishing identically . linear homogeneous polynomials @xmath84 $ ] are defined by the formulae @xmath85 and @xmath86 . by a _ possibly degenerate surface _ we mean an analytic map of a planar domain into @xmath16 not necessarily with nondegenerate differential , and also the image of the map , if no confusion arises . a _ possibly degenerate hypersurface _ is defined analogously . first we consider the ( possibly degenerate ) surface @xmath87 being a particular case of surface  . we are going to estimate its degree . for that we estimate the degree of the ( possibly degenerate ) hypersurface @xmath88 it has the rational parametrization @xmath89 of degree at most @xmath9 in each variable , and by elimination of variables ( not used in the paper ) it has degree at most @xmath15 . we prove a much sharper estimate . [ l-3folddeg4 ] the ( possibly degenerate ) hypersurface @xmath90 is contained in an algebraic hypersurface of degree at most @xmath2 .    if a point @xmath91 is contained in the hypersurface @xmath90 then @xmath92 for some @xmath93 not vanishing simultaneously . the latter quaternionic equation can be considered as a system of @xmath2 real linear homogeneous equations in the variables @xmath94 with the coefficients linearly depending on the parameters @xmath95 . the system has a nonzero solution if and only if the determinant of the system vanishes , which gives an algebraic equation in @xmath95 of degree at most @xmath2 . the algebraic equation defines the required algebraic hypersurface unless the determinant vanishes identically . assume that the determinant vanishes identically . then the system has a nonzero solution for each point @xmath96 . but the set of values of the fraction @xmath90 is at most three - dimensional . one can have a nonzero solution for each point in @xmath97 only if @xmath98 for some nonzero @xmath99 . assume that @xmath100 without loss of generality . then by the linearity @xmath101 performing a linear change of the parameters @xmath94 we may assume that both @xmath102 and @xmath103 do not depend on @xmath104 . further denote by @xmath105 and @xmath106 the resulting linear polynomials , defining the same hyperfurface @xmath90 as the initial ones . then the above equation takes the form @xmath107 . consider the equation as a system of @xmath2 real linear homogeneous equations in the variables @xmath108 . the system has a nonzero solution if and only if all the @xmath109 minors of the system vanish , which gives four algebraic equations in @xmath95 of degree at most @xmath8 . if at least one of the @xmath109 minors does not vanish identically then it defines the required algebraic surface . if all the @xmath109 minors vanish identically then repeat the argument of the previous paragraph to get linear homogeneous @xmath110 and @xmath111 depending only on @xmath9 variables again , we either get the required algebraic surface or proceed to the case when @xmath112 and @xmath113 depend only on @xmath114 variable . in the latter case any hyperplane passing through the point @xmath115 is the required algebraic hypersurface . we consider the case when the constructed algebraic hypersurface degenerates to @xmath19 separately . [ l-3fold - r3 ] assume that the ( possibly degenerate ) hypersurface @xmath90 is contained in the hyperplane @xmath19 . then the map @xmath90 is a composition of a map of the form either @xmath116 or @xmath117 with a mbius transformation of @xmath19 ( with constant coefficients ) , where @xmath118 $ ] , @xmath119 $ ] , @xmath120 $ ] are linear homogeneous , and @xmath121 . the inverse stereographic projection @xmath122 maps the hypersurface @xmath90 contained in @xmath123 to the hypersurface @xmath124 contained in @xmath7 . thus @xmath125 identically . in particular , for each @xmath126 the condition @xmath127 implies the condition @xmath128 . denote @xmath129 and @xmath130 . define a real linear map from the linear span of @xmath131 into the linear span of @xmath132 by the formula @xmath133 . the map is well - defined because the condition @xmath134 implies @xmath135 . the map is isometric because @xmath125 . extend it to an isometry @xmath136 . each isometry @xmath136 has one of the forms @xmath137 or @xmath138 for some @xmath139 ( * ? ? ? * theorem  3.2 ) . therefore either @xmath140 or @xmath141 .    in the former case set @xmath142 and @xmath143 we have @xmath144 . up to a mbius transformation this is @xmath145 , which projects stereographically to @xmath146 .    in the latter case set @xmath147 and @xmath148 . we have @xmath149 . up to a mbius transformation this is @xmath150 , which projects stereographically to @xmath151 . [ l - quadrics ] the ( possibly degenerate ) surfaces @xmath152 and @xmath153 , where @xmath154 , @xmath155 , @xmath156 , and @xmath157 , are contained in certain quadrics in @xmath19 . the surface @xmath158 is a subset of the sphere @xmath159 . the surface @xmath153 is a rational surface in @xmath0 of degree at most @xmath114 in each variable , hence a subset of a quadric . [ l - deg4 ] if the ( possibly degenerate ) surface @xmath160 is contained in @xmath19 then it is contained in an irreducible algebraic surface of degree at most @xmath2 .    by lemma  [ l-3folddeg4 ] the hypersurface @xmath90 , and hence @xmath160 , is contained in an irreducible algebraic hypersurface of degree @xmath161 . one of the components of the intersection of the algebraic hypersurface with the hyperplane @xmath19 is the required surface unless the algebraic hypersurface coincides with the hyperplane . in the latter case the assumptions of lemma  [ l-3fold - r3 ] are satisfied . by lemmas  [ l-3fold - r3 ] and  [ l - quadrics ] the surface @xmath160 is a mbius transformation of a quadric , hence has degree @xmath161 . now the following folklore lemma allows us to prove a particular case of theorem  [ prop21 ] . the lemma is a particular case of ( * ? ? ? * theorem  11 ) . we give the proof for convenience of the reader . [ l - cyclide ] if two irreducible algebraic surfaces of degree at most @xmath2 in @xmath0 are symmetric with respect to the unit sphere then they both are darboux cyclides .    denote @xmath162 . let @xmath163 and @xmath164 be equations of our surfaces of minimal degrees . since the surfaces are symmetric with respect to the unit sphere it follows that @xmath165 for some @xmath166 and @xmath167 . expand @xmath168 and @xmath169 , where @xmath170 and @xmath171 are homogeneous of degree @xmath172 . we get @xmath173 . hence @xmath174 . assume that @xmath175 ( otherwise the proof is analogous ) . the degree of the left- and right - hand sides equal @xmath176 and @xmath15 respectively . thus @xmath177 . comparing the highest - degree terms we get @xmath178 , hence @xmath179 is divisible by @xmath180 . comparing the degree @xmath181 terms we get @xmath182 , hence @xmath183 is divisible by @xmath184 . therefore @xmath164 is a darboux cyclide . analogously @xmath163 is a darboux cyclide . [ prop11 ] if the surface @xmath87 , where @xmath83 , is contained in @xmath0 ( respectively , in @xmath7 ) then it is a subset of a darboux cyclide ( respectively , an intersection of @xmath7 with another @xmath8-dimensional quadric ) .    for a surface in @xmath185 the result follows from lemmas  [ l - deg4 ] and  [ l - cyclide ] applied to the surfaces @xmath160 and @xmath186 . now consider a surface in @xmath7 . project it stereographically to @xmath0 . the resulting surface has the form @xmath187 . by the lemma for @xmath0 it is a darboux cyclide . by ( * section  2.2 ) the initial surface is an intersection of @xmath7 with another quadric . let us proceed to the general case of theorem  [ prop21 ] . we start with a folklore lemma . [ l - axial ] the curve @xmath188 , where @xmath22 , @xmath167 , @xmath189 , are fixed and @xmath24 runs , is a circle ( possibly without one point ) . if @xmath190 is contained in @xmath191 then the plane of the circle is orthogonal to the vector @xmath192 . we have @xmath193 for some @xmath194 , where @xmath195 . this is a composition of translations , rotations , and an inversion applied to the line @xmath196 , once @xmath167 and @xmath189 . thus @xmath190 is a circle ( possibly without one point ) . now assume that @xmath197 . then @xmath198 . since the coefficients of the polynomial in the right - hand side vanish it follows that @xmath199 and @xmath200 , hence @xmath201 is orthogonal to @xmath202 . assume further that @xmath203 , otherwise @xmath190 is a line and there is nothing to prove . then the circle @xmath204 is contained in the plane spaned by @xmath201 and @xmath205 . so @xmath206 is contained in a plane orthogonal to @xmath202 as well . a similar result holds for the curve @xmath207 , where @xmath208 .    if @xmath209 then by lemma  [ prop11 ] @xmath210 is a subset of a darboux cyclide . analogously , if @xmath211 then @xmath212 is a darboux cyclide . assume further that @xmath213 . since @xmath214 it follows that either @xmath215 and @xmath216 or vice versa . assume the former without loss of generality . by left division of both @xmath217 and @xmath218 by the leading coefficient of @xmath217 we may achieve @xmath219 for some @xmath220 . analogously , assume that @xmath221 for some @xmath222 . performing an appropriate linear change of variables @xmath27 and @xmath29 we may achieve @xmath223 . if @xmath224 then @xmath225 for appropriate @xmath226 , hence @xmath227 is a darboux cyclide by the previous paragraph . the same holds for @xmath228 . assume further that @xmath229 . then we have @xmath230 for some @xmath231 because the left - hand sides vanishes identically for @xmath232 or @xmath233 . if @xmath234 then @xmath235 is a subset of a euclidean translational surface because by lemma  [ l - axial ] the curves @xmath236 and @xmath237 are circles ( not degenerating to points because @xmath227 is a nondegenerate surface ) . assume further that @xmath238 . by the above @xmath239 for each @xmath240 . thus @xmath241 , hence @xmath242 , @xmath243 , @xmath244 , and @xmath245 . since @xmath246 this implies that @xmath247 . by lemma  [ l - axial ] the curves @xmath41 and @xmath42 are circles ( or points ) whose planes are orthogonal to the vector @xmath247 . thus all these circles and hence the surface @xmath248 are contained in one plane .    as in the previous proof , we may assume that @xmath215 , @xmath216 and @xmath213 . since @xmath249 it follows that @xmath250 and @xmath251 . by splitting lemma  [ l - splitting - basic ] there exist @xmath252 and @xmath253 such that @xmath254 splits : @xmath255 or @xmath256 . since @xmath257 , without loss of generality we may assume that @xmath258 , @xmath259 .    in the case when @xmath260 we have @xmath261 is a product of two circles @xmath262 and @xmath263 in @xmath7 because @xmath258 , @xmath259 . thus @xmath227 is a subset of a clifford translational surface .    in the case when @xmath264 we have @xmath265 because @xmath266 . since @xmath267 it follows by lemma  [ prop11 ] that @xmath227 is contained in the intersection of @xmath7 with another @xmath8-dimensional quadric . assume that a surface @xmath268 is a mbius transformation of surface  . since a mbius transformation takes a hyperplane to either a hyperplane or a @xmath8-dimensional sphere it follows that the latter surface is contained either in a hyperplane or a @xmath8-dimensional sphere . perform a mbius transformation @xmath269 ( a similarity ) , where @xmath270 , taking the obtained hyperplane ( respectively , the @xmath8-dimensional sphere ) to @xmath191 ( respectively , to @xmath7 ) . it takes the surface @xmath271 to the surface @xmath272 again of form  . by theorem  [ prop21 ] the resulting surface either a darboux cyclide , or euclidean translational surface , or intersection of @xmath7 with another quadric , or clifford translational surface . in the latter two cases perform the inversion with the center at the point @xmath273 and the radius @xmath274 projecting the surface stereographically from @xmath7 to @xmath191 . this gives either a darboux cyclide ( by ( * ? ? ? * section  2.2 ) ) or a clifford translational surface . in all cases the resulting surface in @xmath191 is a mbius transformation of the initial surface @xmath268 . we conclude the section by an open problem : find a short proof that euclidean and clifford translational surfaces are not mbius transformations of each other ; this is ( * ? ? ? * theorem 2b ) . in this section we prove the results on parametrization of surfaces containing two conics or circles through each point : theorem  [ schicho ] and corollary  [ haupt ] . the proof uses well - known methods and goes along the lines of @xcite . we use the following notions . let @xmath275 be the @xmath28-dimensional complex projective space with the homogeneous coordinates @xmath276 . throughout we use the standard topology in @xmath275 ( not the zariski one ) . a _ analytic surface _ in @xmath275 is the image of an injective complex analytic map from a domain in @xmath277 into @xmath275 with nondegenerate differential at each point . an _ algebraic subset _ @xmath278 is the solution set of some system of algebraic equations . algebraic subsets of dimension @xmath114 and @xmath9 are called _ projective algebraic surfaces _ and _ algebraic curves _ , respectively . recall that the set of all conics in @xmath275 including the ones degenerating into lines and pairs of lines is naturally identified with an algebraic subset of @xmath279 for some large @xmath280 ( depending on @xmath28 ) . the latter subset is called _ the variety of all conics in @xmath275_. a conic _ analytically depending _ on a point is a complex analytic map of an analytic surface in @xmath275 into the variety of all conics in @xmath275 . an _ analytic family _ of conics is a complex analytic map @xmath281 of a domain in @xmath282 into the variety of all conics in @xmath275 . if no confusion arises , the image of this map is also called a _ family _ of conics .    let us prove several lemmas required for the proof of theorem  [ schicho ] . these lemmas are independent in the sense that the proof of each one uses the statements but not the proofs of the other ones . in what follows @xmath227 is a surface satisfying the assumptions of theorem  [ schicho ] unless otherwise indicated . denote by @xmath283 and @xmath284 the two conics drawn through a point @xmath285 . [ l - cover ] there are two analytic families of conics @xmath286 , @xmath287 , and a domain @xmath288 such that @xmath289 , each pair @xmath286 , @xmath287 intersects transversely at a unique point  @xmath290 , and @xmath291 , @xmath292 .    take a point @xmath293 . draw the two conics @xmath294 and @xmath295 in the surface through the point . through each point @xmath296 draw another conic @xmath297 in the surface . we get an analytic family of conics @xmath287 . analogously we get an analytic family of conics @xmath286 .    by the assumptions of theorem  [ schicho ] the conics @xmath298 and @xmath299 intersect transversely at a unique point . by continuity there is @xmath300 such that for @xmath301 the conics @xmath286 and @xmath287 intersect transversely at a unique point @xmath290 , and @xmath302 . take a sufficiently small neighborhood @xmath303 of the point @xmath304 in @xmath275 . then @xmath289 . it remains to show that @xmath291 and @xmath292 . indeed , otherwise the image of the analytic map @xmath305 or @xmath306 in the variety of all conics in @xmath275 is @xmath9-dimensional . then there are infinitely many conics @xmath307 through each point in an open subset of @xmath227 such that @xmath308 . this contradicts to one of the assumptions of theorem  [ schicho ] . thus the families @xmath286 and @xmath287 are the required . [ l - algebraic ] the surface @xmath227 is contained in an irreducible algebraic surface @xmath309 . the family of conics @xmath286 is contained in an irreducible algebraic curve in the variety of all conics . the conics @xmath287 given by lemma  [ l - cover ] have at most @xmath2 common points because they do not all coincide . thus we may assume that they do not have common points inside the domain @xmath303 ( one can restrict the surface to a smaller domain , if necessary ) . then by the analyticity each point of @xmath303 belongs to at most countable number of conics @xmath287 . take a sufficiently small @xmath300 such that @xmath310 for each @xmath301 . consider the set @xmath311 of all conics in @xmath275 intersecting each conic @xmath287 , where @xmath312 , transversely at a unique point , which belongs to the domain @xmath303 . let us show that the set @xmath311 is an open subset of an algebraic subvariety of the variety of all conics in @xmath275 . indeed , the set of all conics intersecting a fixed conic @xmath287 is clearly an algebraic subvariety . the set of all conics intersecting each conic @xmath287 , where @xmath312 , is the intersection of infinitely many such algebraic subvarieties , and hence also an algebraic subvariety . the set @xmath311 is open in the latter subvariety because each conic sufficiently close to a conic lying in @xmath311 can only intersect a conic @xmath287 , where @xmath312 , transversely at a unique point inside the domain @xmath303 ( or not intersect at all ) . let us prove that the dimension of the set @xmath311 is @xmath114 . the dimension is at least @xmath114 because @xmath311 contains all the conics @xmath286 , where @xmath313 . to estimate the dimension from above , take an arbitrary conic @xmath314 . since each point of @xmath303 belongs to at most countable number of conics @xmath287 it follows that the conic @xmath307 has uncountably many intersection points with @xmath315 . hence @xmath316 , because @xmath227 is analytic . if the dimension of @xmath311 were at least @xmath9 then there would be infinitely many conics @xmath307 through each point in an open subset of @xmath227 such that @xmath308 . this would contradict to one of the assumptions of theorem  [ schicho ] . thus the dimension of @xmath311 is exactly @xmath114 . the irreducible component of the algebraic closure of the set @xmath311 containing all the conics @xmath286 is the required algebraic curve in the variety of all conics . ( since the family @xmath286 is analytic , it can not `` jump '' from one irreducible component to another . ) the union of all the conics of the irreducible component ( including the ones degenerating to lines and pairs of lines ) is the required irreducible algebraic surface @xmath309 . the algebraic surface @xmath309 contains the analytic surface @xmath227 because @xmath309 contains the open subset @xmath317 of @xmath227 . [ rem - infinity ] if we drop the assumption that the number of conic through certain points is finite in theorem  [ schicho ] then a similar argument shows that @xmath227 is contained in an algebraic surface @xmath318 and @xmath286 is contained in an algebraic subvariety @xmath311 of the variety of all conics in @xmath275 such that @xmath319 . let @xmath320 be algebraic subsets . a _ rational map _ @xmath321 is a map of an open dense subset of @xmath322 into the set @xmath323 given by polynomials in homogeneous coordinates of @xmath275 . ( dashes in the notation remind that a rational map may not be defined everywhere in @xmath322 . ) if the restriction of a rational map @xmath324 to certain open dense subsets of @xmath322 and @xmath323 is bijective , and the inverse map is rational as well , then @xmath324 is called a _ birational map_. a rational map @xmath325 is called a _ rational function_. a projective algebraic surface @xmath326 is _ unirationally ruled _ ( or simply _ uniruled _ ) , if for some algebraic curve @xmath311 there is a rational map @xmath327 with dense image . a surface @xmath326 is _ birationally ruled _ ( or simply _ ruled _ ) , if there is a birational map @xmath327 . a curve @xmath311 is _ rational _ , if there is a birational map @xmath328 . a surface @xmath326 is _ rational _ , if there is a birational map @xmath329 . [ l - uniruled ] the surface @xmath309 is unirationally ruled . let @xmath330 be the irreducible curve in the variety of conics given by lemma  [ l - algebraic ] . consider the algebraic set @xmath331 the second projection @xmath332 is a rational map such that a generic fiber is a conic ( and hence a rational curve ) . by the noether  enriques theorem ( * ? ? ? * theorem  iii.4 ) @xmath333 is birationally ruled . in particular there is a rational map @xmath334 with dense image . compose the map with the first projection @xmath335 , which is surjective because the surfaces @xmath333 and @xmath309 are compact and the image contains the open subset @xmath336 by lemma  [ l - cover ] . we get a rational map @xmath337 with dense image , i.e. , @xmath309 is unirationally ruled . the following folklore lemma is the most technical part of our proof . [ l - ruled ] each unirationally ruled surface is birationally ruled . let @xmath309 be a unirationally ruled surface and @xmath338 be a rational map with dense image . by the hironaka theorem ( or by an earlier zariski theorem sufficient in our situation ) the surface @xmath309 has a _ desingularization _ @xmath339 , i.e. , a proper birational map from a smooth projective algebraic surface @xmath340 to the surface @xmath309 . let @xmath341 be the inverse rational map of the desingularization . consider the rational map @xmath342 . by the theorem on eliminating indeterminacy ( * theorem ii.7 ) this rational map equals to a composition @xmath343 , where @xmath344 is a smooth projective algebraic surface , the first map is birational , and the second map is rational and defined everywhere . since @xmath345 has dense image and the surfaces are compact it follows that @xmath346 has dense image and @xmath347 is surjective . in particular , @xmath344 is birationally ruled .    by the enriques theorem ( * ? ? ? * theorem  vi.17 and proposition  iii.21 ) , a smooth projective algebraic surface is birationally ruled if and only if for each @xmath348 the @xmath349-th tensor power of the exterior square of the cotangent bundle has no sections except identical zero ( in other terminology , _ the surface has kodaira dimension _ @xmath350 , or _ all plurigeni vanish _ ) . assume , to the contrary , that @xmath340 has such a section ( _ pluricanonical section _ ) . then the pullback under the surjective rational map @xmath351 is such a section for the birationally ruled surface @xmath344 , a contradiction . thus @xmath340 , and hence @xmath309 , is birationally ruled . [ l - rational ] the surface @xmath309 is rational .    by lemmas  [ l - uniruled ] and [ l - ruled ] the surface @xmath309 is birationally ruled . thus there is a birational map @xmath352 . consider the two conics through a generic point of the surface @xmath309 . their images are two distinct rational curves through a point of @xmath353 . since there is only one @xmath354-fiber through each point , at least one of the rational curves is nonconstantly projected to the curve @xmath311 . by the lroth theorem ( * ? ? ? * theorem  v.4 ) the curve @xmath311 must be rational , and hence @xmath309 is rational . we conjecture that the following generalization of lemma  [ l - rational ] is true : _ an algebraic surface containing two rational curves through almost each point is rational_. see  ( * ? ? ? * definition  iv.3.2 , theorems   iv.5.4 , iv.3.10.3 , corollary  iv.5.2.1 , exercise  iv.3.12.2 ) for a sketch of the proof . [ l - linear - pencil ] each of the families @xmath286 and @xmath287 consists of level sets of some rational function  @xmath355 . we use the following notions ; see @xcite for details . in order to apply intersection theory , @xmath339 ; see the first paragraph of the proof of lemma  [ l - ruled ] . a _ divisor _ on @xmath340 is a formal linear combination of irreducible algebraic curves on @xmath340 with integer coefficients . closure of the preimage of an algebraic hypersurface under a rational map from @xmath340 to a projective space can be considered as a divisor , once the preimage is one - dimensional and one counts the irreducible components with their multiplicities . the collection of preimages of all the hyperplanes under a rational map is called a _ linear family _ of divisors . in particular , a one - dimensional _ linear _ _ family _ of divisors is the collection of level sets of a rational function . two divisors are _ linear equivalent _ , if they are contained in a one - dimensional linear family . @xmath356 of two divisors @xmath357 and @xmath358 on @xmath340 is the number of their intersection points counted with multiplicities ( once the number of intersection points is finite ) . two divisors are _ numerically equivalent _ , if their intersection with each algebraic curve on @xmath340 are equal , once the number of intersection points is finite . the _ degree _ of a divisor is the sum of the degrees of the irreducible components counted with multiplicities . the degree of a divisor equals the intersection of the divisor with a generic hyperplane section of @xmath359 . assume to the contrary that one of the analytic families @xmath286 and @xmath287 , say , the first one , is not linear . by the hironaka theorem the inverse map @xmath360 is defined everywhere except a finite set . thus the pullback @xmath361 is an analytic family of algebraic curves . we use the notation @xmath361 for the family of ( closed ) algebraic curves ( not to be confused with the set of preimages @xmath362 being algebraic curves possibly with a finite number of points removed ) . for an algebraic curve @xmath363 distinct from each @xmath364 the intersection @xmath365 continuously depends on @xmath366 , and hence is constant . thus each two curves of the family @xmath364 are numerically equivalent . on a smooth rational surface , numerical equivalence implies linear equivalence @xcite . since @xmath286 is nonlinear it follows that @xmath364 is nonlinear and hence must be contained in a linear family of divisors in @xmath340 of dimension at least @xmath9 . the image of the latter family under the projection @xmath367 is at least two - dimensional algebraic family @xmath311 of divisors on @xmath309 . the divisors of the family @xmath311 are linear combinations of curves with positive coefficients , because they arise from a linear family ( and negative numbers can not occur as multiplicities of preimages ) . all the divisors of the family @xmath311 have the same degree because their pullbacks are numerically equivalent . ( indeed , for two divisors @xmath368 , and a general position hyperplane @xmath369 we have @xmath370 . ) since the curves @xmath286 are conics it follows that the degrees of all these divisors are @xmath9 . therefore the divisors of the family @xmath311 are either conics or pairs of lines or lines of multiplicity @xmath9 . this is possible only if there are infinitely many conic sections or lines through each point in an open subset of the surface , which contradicts to the assumptions of theorem  [ schicho ] . thus both families @xmath286 and @xmath287 must be linear . [ l - parametrization ] there is a rational map @xmath371 taking the families @xmath286 and @xmath287 to the sets of curves @xmath372 and @xmath373 respectively , such that the restriction of the map to some dense sets is bijective . consider the pair of rational functions given by lemma  [ l - linear - pencil ] whose level sets are the two families of conics @xmath286 and @xmath287 . the pair of rational functions defines a rational map @xmath371 . since for sufficiently small @xmath374 each pair @xmath286 and @xmath287 has an intersection point it follows that the image of this rational map contains a neighborhood of @xmath375 , and thus is dense . since the intersection point is unique it follows that the point @xmath376 has exactly one preimage for sufficiently small @xmath374 , and hence for almost all @xmath377 . thus the restriction of the rational map @xmath371 to appropriate dense subsets is bijective . now we apply the following well - known result for which we could not find any direct reference . ( we have found several more general results in the literature but each time the proof that the inverse map is rational , the only assertion we need , was omitted . )    [ l - postulate ] if a rational map between open dense subsets of rational surfaces is bijective then the inverse map is rational as well , and hence birational . ( s. orevkov , private communication ) it suffices to prove the lemma for a map @xmath324 between open dense subsets of @xmath378 . for a generic @xmath379 the preimage @xmath380 is an open dense subset of the algebraic curve @xmath381 defined by the algebraic equation @xmath382 in the variables @xmath383 , where @xmath384 is the first projection . restrict the map @xmath324 to the preimage . we get a bijective rational map between open dense subsets of the curves @xmath381 and @xmath373 . clearly , it extends to a rational homeomorphism @xmath385 . then by the classification of algebraic curves the curve @xmath381 is rational . identify @xmath381 and @xmath373 with @xmath354 . consider the graph of the rational map @xmath385 as a subset of @xmath378 . by elimination of variables it follows that the graph is the zero set of some polynomial @xmath386 $ ] . since the map @xmath385 is bijective it follows that the polynomial @xmath37 has degree @xmath114 in each variable and hence the inverse map @xmath387 is also rational . this implies that the inverse map @xmath388 is rational in the variable @xmath366 for fixed generic @xmath104 . analogously , @xmath388 is rational in @xmath104 for fixed generic @xmath366 . thus @xmath388 is rational . [ l - final ] assume that a birational map @xmath389 takes the sets of curves @xmath372 and @xmath373 to conics or lines . write the birational map as @xmath390 for some coprime @xmath391 $ ] . then @xmath392 .    for a birational map between surfaces , by elimination of indeterminacy ( * ? ? ? * theorem  ii.7 ) there is always an algebraic curve @xmath393 such that outside the curve @xmath393 the map is injective and has nondegenerate differential . fix a generic value of @xmath27 . denote @xmath394 . the curve @xmath395 is a conic or a line . cut it by a generic hyperplane @xmath396 in @xmath275 . the intersection consists of at most @xmath9 points . by general position they are not contained in the image of @xmath393 . since the @xmath397 are coprime it follows that @xmath398 have no common roots . since the birational map is injective outside @xmath393 it follows that the equation @xmath399 has at most @xmath9 solutions . these solutions have multiplicity @xmath114 because the birational map has nondegenerate differential outside @xmath393 . this implies that the polynomials @xmath400 have degree at most @xmath9 . analogously , @xmath401 have degree at most @xmath9 in @xmath27 , and the lemma follows . it follows directly by lemmas  [ l - cover ] , [ l - algebraic ] , [ l - parametrization ] , [ l - postulate ] , [ l - final ] . theorem  [ schicho ] remains true ( with almost the same proof ) without the assumption that the number of conic sections through certain points is finite except that then one can not conclude that the two drawn conic sections @xmath283 and @xmath284 are necessarily the curves @xmath41 and @xmath42 . for the proof of corollary  [ haupt ] we need the following lemmas . in the rest of this section @xmath402 is a surface satisfying the assumptions of corollary  [ haupt ] . [ l - reduction ] the surface @xmath227 ( possibly besides a one - dimensional subset ) has parametrization  , where @xmath47 satisfy equation  , and @xmath403 runs through some ( not open ) subset of  @xmath277 . since the circular arcs through each point of @xmath227 are noncospheric , their respective circles are transversal and intersect at a unique point . extend @xmath404 analytically to a complex analytic surface @xmath309 in a sufficiently small neighborhood of @xmath227 in @xmath275 modulo the boundary ( so that the boundaries of @xmath227 and @xmath309 are contained in the boundary of the neighbourhood ) . extend the two real analytic families of circular arcs in @xmath227 to complex analytic families of ( complex ) conics in @xmath275 . by analyticity @xmath309 satisfies the assumptions of theorem  [ schicho ] . by theorem  [ schicho ] the surface @xmath309 ( possibly besides a one - dimensional subset ) has parametrization   by polynomials @xmath392 such that the circular arcs have the form @xmath41 and @xmath42 . ( however , the converse is not true : most of the curves @xmath41 and @xmath42 are not circular arcs but parts of complex conics in @xmath309 . ) since the surface @xmath309 is contained in the complex quadric extending the sphere @xmath49 , it follows that the polynomials satisfy equation  . let us reparametrize the surface to make the polynomials @xmath405 real . [ l - make - real ] the surface @xmath227 ( possibly besides a one - dimensional subset ) has a parametrization  , where @xmath47 satisfy equation  , and @xmath403 runs through certain open subset of  @xmath406 .    start with the parametrization given by lemma  [ l - reduction ] . draw two circular arcs of the form @xmath41 and @xmath42 through a point of the surface @xmath227 . through another pair of points of the first circular arc , draw two more circular arcs of the form @xmath42 . perform a complex fractional - linear transformation of the parameter @xmath29 so that the second , the third , and the fourth circular arcs obtain the form @xmath407 , respectively ( we consider the part of the surface where the denominator of the transformation does not vanish ) . perform an analogous transformation of the parameter @xmath27 so that @xmath408 become circular arcs intersecting the circular arc @xmath233 . after performing the transformations and clearing denominators we get a parametrization @xmath409 of the surface @xmath404 , where still @xmath47 and @xmath403 runs through a subset @xmath410 . let us prove that actually @xmath411 . take @xmath412 sufficiently close to @xmath413 . then @xmath414 is a point of the surface @xmath227 sufficiently close to @xmath415 . draw the two circular arcs @xmath41 and @xmath42 through the point @xmath414 . by continuity it follows that the circular arc @xmath42 intersects the circular arc @xmath232 in @xmath227 . the intersection point can only be @xmath416 . in particular , we get @xmath417 . in a quadratically parametrized conic , the cross - ratio of any four points equals the cross - ratio of their parameters . since three ( real ) points @xmath418 of the circular arc @xmath232 have real @xmath29-parameters it follows that all ( but one ) points of the circular arc have real @xmath29-parameters . in particular , @xmath419 . analogously , @xmath420 . we have proved that all @xmath412 sufficiently close to the origin are real . by the analyticity @xmath326 is an open subset of @xmath406 . [ l - real ] let @xmath421 $ ] . assume that for all the points @xmath403 from some open subset of @xmath406 the point @xmath422 is real . then @xmath423 for some real @xmath424 $ ] and complex @xmath425 $ ] .    without loss of generality assume that @xmath426 is not identically zero . take @xmath427 such that @xmath428 is not identically zero and take generic real @xmath78 from the open set in question . by the assumption of the lemma @xmath422 hence @xmath429 is real , therefore @xmath430 . since this holds for generic real @xmath78 it follows that @xmath431 as polynomials . take decompositions @xmath432 into coprime reduced irreducible factors @xmath433-\mathbb{r}[u , v]$ ] , @xmath434 $ ] with the powers @xmath435 , and constant factors @xmath436 , @xmath437 . since @xmath56 $ ] is a unique factorization domain , the relation @xmath431 implies that @xmath438 and @xmath439 for each @xmath440 . without loss of generality assume that @xmath441 for each @xmath440 ( otherwise replace @xmath442 by @xmath443 and vice versa ) . it remains to set @xmath444\end{aligned}\ ] ]    for a surface @xmath227 in @xmath49 the corollary follows from lemmas  [ l - reduction][l - real ] . now consider a surface @xmath227 in @xmath445 . project it stereographically to @xmath49 . the resulting surface has a parametrization as granted by the theorem for @xmath49 . thus the initial surface has the parametrization @xmath446 with @xmath447 , as required . the following result is useful for applications of corollary  [ haupt ] . if through each point of an analytic surface in @xmath0 one can draw infinitely many circular arcs fully contained in the surface then the surface is a subset of a sphere or a plane . perform inverse stereographic projection of the surface to @xmath7 . by remark  [ rem - infinity ] the resulting surface is covered by at least 2-dimensional algebraic family of conics and hence circles . the circles of the family passing through a particular point must cover an open subset of the surface . project the surface back to @xmath0 from this point . we get a surface containing a line segment and infinitely many circular arcs through almost each point . by ( * theorem  1 ) the resulting surface is a subset of a quadric or a plane . since it is covered by a 2-dimensional family of circles , by the classification of quadrics the resulting surface , and hence initial one , is a subset of a sphere or a plane . we conclude the section by an open problem : does the lemma remain true in dimension @xmath448 ? in this section we prove the results concerning factorization of quaternionic polynomials : splitting lemma  [ l - splitting - basic ] , corollary  [ cor - splitting ] , and give some examples and final remarks . consider the polynomial @xmath453 obtained by substitution of the quaternion @xmath454 into the _ polynomial @xmath455 . on one hand , @xmath456 is divisible by @xmath457 of degree @xmath9 . on the other hand , @xmath458 has degree at most @xmath114 because @xmath459 is a constant . thus @xmath460 identically , i.e. , @xmath461 . [ ex - beauregard ] ( beauregard @xcite ) . the polynomial @xmath470 is irreducible in @xmath59 $ ] but @xmath471 is reducible in @xmath472 $ ] . in particular , @xmath473 are two decompositions in @xmath59 $ ] with different number of irreducible factors .      first consider the case when one of these polynomials , say , @xmath37 , does not depend on one of variables , say , @xmath29 . then write @xmath476 . both @xmath477 and @xmath478 must be left - divisible by @xmath479 , a contradiction by taking @xmath232 . it remains to consider the case when @xmath480 . since @xmath481 and @xmath472 $ ] is a unique factorization domain it follows that @xmath482 is product of two quadratic factors . by splitting lemma  [ l - splitting - basic ] the polynomial @xmath37 is reducible in @xmath59 $ ] . the left factor in a decomposition of @xmath483 is a left divisor of @xmath65 and does not depend on one of the variables , which leads to the first case already considered above . in both cases we get a contradiction which proves that @xmath65 is irreducible . it is interesting to obtain _ octonion _ counterparts of the results of this section . in particular , this could help to find all surfaces in @xmath16 containing two circles through each point for @xmath488 . let us give some final remarks . simple formula   produces surfaces in @xmath17 containing two circles through each point . however , it does not give _ all _ such surfaces in @xmath17 and is not convenient to produce such surfaces in @xmath0 . thus we suggest the following alternative approach to surface construction . the _ ( top - left ) quasideterminant _ of a @xmath109 matrix @xmath489 with the entries from @xmath59 $ ] is the following expression @xcite : @xmath490 if @xmath491 is linear in @xmath27 , @xmath492 is linear in @xmath29 , and all the other entries @xmath493 are generic constants then by the homological relations ( * ? ? ? * theorem  1.4.2(i ) ) the quasideterminant is fraction - linear in each of the variables @xmath27 and @xmath29 . thus @xmath494 is a surface in @xmath17 containing @xmath9 circles through each point ( by lemma  [ l - axial ] above ) . if the matrix @xmath495 is skew - hermitian then the surface actually lies in @xmath0 . similarly , if @xmath496 , @xmath497 is a constant , @xmath498 , @xmath499 , @xmath492 are linear in @xmath27 , @xmath491 , @xmath500 are linear in @xmath29 then @xmath494 is again a surface in @xmath17 containing @xmath9 circles through each point . it is interesting , if there is a natural class of matrices with the entries from @xmath59 $ ] such that _ all _ surfaces containing @xmath9 noncospheric circles through each point arise as the quasideterminants . the authors are grateful to n. lubbes for the movie in figure  [ movie ] and many useful remarks , to l. shi for the photo in figure  [ movie ] , to a. pakharev for pointing out that numerous surfaces we tried to invent have form  , and to s. galkin , s. ivanov , w. khnel , n. lubbes , s. orevkov , r. pignatelli , f. polizzi , h. pottmann , g. robinson , j. schicho , k. shramov , v. timorin , m. verbitsky , s. zub for useful discussions . the first author is grateful to king abdullah university of science and technology for hosting him during the start of the work over the paper . w. degen , die zweifachen blutelschen kegelschnittflchen , manuscr . math . * 55:1 * ( 1986 ) , 938 . r. dietz , j. hoschek , b. juettler : an algebraic approach to curves and surfaces on the sphere and on other quadrics , computer aided geometric design 10 ( 1993 ) , 211 - 229 . graziano gentili , caterina stoppato , daniele c. struppa , regular functions of a quaternionic variable , springer monographs in math . 2013 b. gordon , t. s. motzkin , on the zeros of polynomials over division rings , trans . ( 1965 ) , 218 - 226 . k. kataoka , n. takeuchi , a system of fifth - order partial differential equations describing a surface which contains many circles , bulletin des sciences mathmatiques 137:3 ( 2013 ) , 325360 . j. kollr , rational curves on algebraic varieties , springer - verlag , berlin  heidelberg , 1996 . r. krasauskas , s. zub , rational bzier formulas with quaternion and clifford algebra weights in : tor dokken , georg muntingh ( eds . ) , saga  advances in shapes , geometry , and algebra , geometry and computing , vol . 10 , springer , 2014 , pp . lavicka , roman ; ofarrell , anthony g. and short , ian . reversible maps in the group of quaternionic moebius transformations . cambridge philos . soc . , 143:1 ( 2007 ) , 5769 . available online : http://oro.open.ac.uk/22456/1/quaternions.pdf                          mikhail skopenkov + faculty of mathematics , national research university higher school of economics , and + institute for information transmission problems , russian academy of sciences + ` skopenkov@rambler.ru ` http://skopenkov.ru
Abstract:

Answer: we study analytic surfaces in 3-dimensional euclidean space containing two circular arcs through each point . the problem of finding such surfaces traces back to the works of darboux from xixth century . we reduce finding all such surfaces to the algebraic problem of finding all pythagorean 6-tuples of polynomials . the reduction is based on the schicho parametrization of surfaces containing two conics through each point and a new approach using quaternionic rational parametrization .    * keywords * : darboux cyclide , circle , moebius geometry , quaternion , pythagorean n - tuple    * 2010 msc * : 51b10 , 14j26 , 16h05


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: currently , experiment suggests that there are more scalar mesons than can be accommodated in a single quark - model nonet . many qcd motivated models predict the existence of non-@xmath8 mesons such as glueballs  @xcite , hybrids  @xcite , @xmath9  @xcite and @xmath10  @xcite states . it is tempting to say that these ` spare ' experimental states are the unconventional mesons allowed by qcd but , with scalar glueball and multiquark states expected to have masses comparable to the conventional @xmath11 states , which _ are _ the extra states ? in the work that follows we hope to shed some light on this question by attempting to determine which of the 5 scalar - isoscalar mesons currently listed in the particle data group tables  @xcite is the lightest @xmath12 meson in this channel . to address this question we will use the qcd sum rule technique . the answer has importance for chiral symmetry breaking in qcd , see for instance  @xcite . qcd sum rules are integral expressions that relate the hadronic and partonic regimes , _ i.e. _ the low energy world of resonances with the high energy world of ( tractable ) qcd . since their conception over twenty years ago  @xcite , qcd sum rules have become an established technique both for calculating hadronic properties in channels , where the qcd expressions are under control , and , conversely , estimating qcd parameters ( such as the masses of the quarks ) in channels where there is good experimental information . using qcd sum rules in the scalar channel is not a new idea . they were first applied to the scalar mesons in  @xcite where laplace sum rules were used ( for a recent review of laplace sum rules see  @xcite ) . here the phenomenological side was represented using the , now standard , resonance + continuum ansatz , with resonances being represented as @xmath13-functions and the continuum being calculated entirely within perturbative qcd . as only the operator product expansion ( ope ) terms , discussed in sect . [ sec : ope ] , were taken into account on the theory side , _ exact _ mass degeneracy between the lightest isoscalar and isovector was found , with . the @xmath14 state was predicted to have a mass of around 1.35  gev . these findings were supported by bramon and narison  @xcite , who used qcd sum rules to calculate the couplings of the @xmath4 and @xmath15 to two photons . again modelling the resonances with @xmath13-functions the authors concluded that a @xmath11 interpretation of these two mesons could not be ruled out with the data then available . the effects of going beyond the ope were studied in  @xcite , where instantons ( see sect .  [ sec : instantons ] ) were included on the theoretical side , but not in the qcd continuum on the phenomenological side . once again the resonances were treated as @xmath13-functions and only the isospin-1 channel was considered . it was concluded that the lightest @xmath11 state in this channel had a mass @xmath16  1  gev .    for the light scalar mesons the zero - width approximation is not a good one and the first attempt to go beyond it in a sum rule investigation was by elias _ _  @xcite . here resonances were represented by breit - wigner formulae , which , whilst better than a @xmath13-function , still do not adequately describe the complex structure in the scalar sector . a  further abstraction was introduced by replacing these breit - wigner shapes with a riemann sum of rectangular pulses . laplace sum rules were used , but in an integral form which requires the calculation of perturbative expressions at rather low energy scales . again instantons were included , but not in the continuum . in the isovector channel , the @xmath15 was found to decouple from the sum rule and the mass of the lightest quarkonium isovector was consistent with the @xmath17 . in the isoscalar channel the conclusions were not so clear cut , it was predicted that the lightest quarkonium here should have a width less than half of its mass , and although the @xmath4 could not be ruled out as the main contributor a lighter state was preferred . similar conclusions were reached in  @xcite . this study used both laplace and finite energy sum rules , again requiring perturbative expressions to be evaluated at low energies . the authors noted , that for a consistent treatment of the borel sum rules , the instanton effects should also be included in the qcd continuum contribution . the sum rules were dominated by an isoscalar with mass around 1  gev and an isovector with mass around 1.5  gev , thus suggesting the @xmath4 and @xmath17 as the lightest @xmath11 states in their respective channels . however , in the same work , a comparison to a more realistic resonance shape predicted resonance parameters for the lightest quarkonium of @xmath18  mev and @xmath19  mev . these parameters are not consistent with the @xmath4 , but could describe a breit - wigner fit to the @xmath3 .    in  @xcite , maltman used pinched weight finite energy sum rules to calculate the decay constants of the @xmath15 and @xmath17 , which were then compared with the decay constant of the , presumably @xmath11 , @xmath20 . instantons were included and all qcd integrals were carried out in the complex plane , which improves the convergence of perturbative expressions . the isovector decay constants were found to be of comparable size , suggesting a similar structure for both . the author concluded that this favoured a unitarised quark model  @xcite scenario , where two physical hadrons can arise from one ` seed ' state .    in the work that follows we will apply qcd finite energy sum rules introduced in sect .  2 to the scalar - isoscalar channel . on the theoretical side we will include in sects . 3 and 4 instanton effects as well as the ope terms up to dimension six and use the contour improvement prescription to increase the convergence of perturbative expressions . on the the phenomenological side in sect .  5 we will incorporate experimental data directly by relating the hadronic vacuum polarisation to the @xmath21 scattering amplitude via the pion s scalar form - factor . the sum rules are evaluated in sect .  6 and we present our conclusions in sect .  7 . the connection between quarks and hadrons is through the vacuum polarisation , @xmath22 . this is defined by the correlation function of two currents , _ i.e. _ @xmath23 where @xmath24 and the currents are chosen so as to select the desired channel . in this work we are considering the scalar - isoscalar mesons and so we choose the renormalisation group invariant current @xmath25 where @xmath26 and we use the symbol @xmath27 to denote an effective light - quark . the second equality follows because we ignore the two - gluon intermediate state , whose contribution is @xmath28 and so can be safely neglected . -plane showing the so called ` pacman ' contour which is used to derive the fesrs . [ fig : pacman ] ]    ' '' ''    @xmath22 is analytic everywhere in the complex @xmath29plane except along the time - like axis , so for any weight function , @xmath30 , which is real for all real @xmath31 and analytic within the ` pacman ' contour shown in fig . [ fig : pacman ] we can write @xmath32    on the left - hand side of  eq . ( [ eq : fesr ] ) we have an integral in the physical region , and here we choose to describe the integrand using hadronic physics ( either with experimental data or a phenomenological parameterisation ) . on the right - hand side we have an integral in the non - physical region ( complex @xmath31 ) , and here we use field theory ( _ i.e_. qcd ) to calculate the integrand . the assumption that  eq . ( [ eq : fesr ] ) holds for a range of values of @xmath1 is a statement of global quark - hadron duality , _ i.e. _ the integral of an hadronic expression is equal to the integral of an expression written in terms of partonic degrees of freedom .    early sum rule work used positive integer powers of @xmath31 as weight functions . in this work we wish to investigate the lightest meson in the channel , and so we choose a decaying exponential , . on the phenomenological side , this weight function will suppress the region of the integral @xmath33 , and so by varying @xmath34 we can control which regions of the integrand contribute most significantly to the sum rule . if we also include integer powers of @xmath31 in the weight function then we can build up a family of sum rules .    almost by definition , at energies where resonances dominate the spectral density , the implications of qcd are not straightforwardly calculable . if qcd _ were _ tractable then the technology of qcd sum rules would be redundant . this means that , for moderate values of @xmath1 , our straightforward qcd description of @xmath22 must fail , at the very least , in the region of the positive real axis ( see fig . [ fig : pacman ] ) . however , it is believed  @xcite that it is _ only _ in the region of the positive , real axis that the straightforward qcd description is particularly unreliable and that in the rest of the @xmath31-plane calculable qcd provides a good description of the correlator . consequently we introduce a zero into the weight function at the point where the circle joins the real axis , _ i.e. _ @xmath1 . thus our sum rules have the weight function and we denote them by the symbol @xmath35 . elsewhere in the literature they are often referred to as pinched weight sum rules . then the left hand side of eq . ( 3 ) becomes @xmath36 introducing this zero into the weight function has a number of advantages . firstly , on the theoretical side we avoid the problem , just described , of the failure of qcd on the part of the circle near the positive real axis . secondly , on the phenomenological side , we have introduced a second factor with a tendency to suppress the higher energy portion of the integral and consequently reduce the dependence on the exact value of @xmath1  @xcite . the parameter @xmath1 is not entirely free : it must be large enough that the qcd expressions we are able to calculate are expected to be a good approximation to the full correlator , yet @xmath1 should be small enough that we have experimental information . the art of sum - ruling is to find ( sensible ) values of @xmath1 for which over a wide range of the unphysical parameter @xmath34 . when this occurs we say that the sum rules are _ although the current  eq .  ( [ eq : current ] ) is rg - invariant , the correlator it gives rise to is not . as well as making the calculation of the correlator within qcd more difficult , this would also lead to an unwanted scale dependence in our final results . the second derivative of this correlator , @xmath37 , _ is _ rg - invariant . as @xmath37 is also analytic within the contour shown in fig . [ fig : pacman ] , we could choose to write the sum rules completely in terms of this quantity , but @xmath38 is not directly related to any physical quantity and so we would lose our link to experiment . instead we use partial integration to re - express the theoretical side of the sum rules in terms of @xmath37 . to do this we write the integral on the theoretical side as @xmath39 we now integrate this expression by parts twice to give , @xmath40 and arrange the constants of integration which appear in @xmath41 and @xmath42 so that these functions disappear at @xmath43 . then our sum rule is @xmath44_{had } \ , \dd s = -\frac{1}{2 \pi i } \oint_{|s|=s_0 } \!\!\!\ ! v(s ) \ , \left[\pi^{\prime   \prime}(s)\right]_{qcd } \ , \dd s \ . \label{eq : rgifesr}\ ] ]    = 6.0 mm in order to calculate the vacuum polarisation within qcd we make use of the operator product expansion ( ope )  @xcite . this replaces the matrix element of the product of currents in  eq . ( [ eq : corr ] ) by a linear combination of local operators ordered in terms of increasing dimensionality , @xmath45 the first term in this expansion is the purely perturbative contribution , with higher dimension terms giving the contribution due to various condensates . we will consider terms up to dimension six , higher order terms are expected to be negligible . expressions are available in the literature for the dimension zero term to four - loop order , the dimension four term to two loops and the dimension six term at leading order . we quote these expressions with refernces to the original works for the full information . all expressions are given in the @xmath46 scheme . the dimension zero expression can be found in  @xcite and is given by @xmath47 \right . \nonumber\\ & & \left . { } + a_s^2 \left [ \left ( \frac{5071}{144 } - \frac{35}{2}\zeta(3 ) \right ) - \frac{139}{6 } \l + \frac{17}{4 } \ll \right ] \right.\nonumber \\ & & \left . { } + a_s^3 \left [ \left ( -\frac{4781}{9 } + \frac{b_1}{6 } + \frac{475}{4}\zeta(3)\right ) + \left ( -\frac{2720}{9 } + \frac{475}{4}\zeta(3 ) \right ) \l \right . \nonumber \\   & & \left . \qquad \quad { } + \frac{695}{8}\ll - \frac{221}{24}\lll \right ] \right\ } \ ,   \label{eq : dim0}\end{aligned}\ ] ] where @xmath48 and @xmath49 is the riemann zeta function . as @xmath50 is renormalisation group invariant , we are free to make any convenient choice of the renormalisation scale . we use the ` contour improvement ' prescription , whereby the logs in  eq . ( [ eq : dim0 ] ) are ` re - summed ' by making the choice @xmath51 . this improves the convergence of the perturbative series by removing the dependence on large powers of possibly large logs which would appear in the ( unknown ) higher order terms . the contour improved perturbative contribution to our correlator is then , @xmath52    navely , the only gauge - invariant operator of dimension two that can be constructed within qcd is the so - called mass insertion term , @xmath53 . for the light quarks that we are considering this term can safely be ignored . some recent works have suggested that there may be mechanisms outside of the normal ope , which could lead to dimension two contributions to correlation functions . these mechanisms include renormalons  @xcite and a tachyonic ( _ i.e. _ imaginary ) gluon mass  @xcite . it has been argued that , if they do exist , the effects of dimension two operators would not be significant in most sum rule analyses and that even in calculations where they would be expected to be most noticeable , these effects are consistent with zero  @xcite . hence , in this work , we choose to ignore them . the contour - improved contribution at dimension four can be inferred from @xcite and is given by @xmath54 - \frac{i_g}{9 } \left[1 + \frac{121 a_s(q^2)}{18 } \right ] \right . \nonumber \\ & & \qquad \qquad \left . { } + i_s \frac{4 a_s(q^2)}{9 } - \frac{3 m_s^4(q^2)}{28 \pi^2 } \right\ } \ ,   \label{eq : dim4inv}\end{aligned}\ ] ] where @xmath55 and @xmath56    the leading order dimension six contribution can be taken from  @xcite and we follow this reference in taking this term at the fixed scale of 1  gev . the dimension six contribution is then @xmath57 \right ) \ , \label{eq : dim6}\end{aligned}\ ] ] where @xmath58 are the dirac matrices , and @xmath59 are the usual gell - mann matrices normalised such that . currently there is no reliable method to calculate the vacuum expectation values appearing in  eq . ( [ eq : dim6 ] ) , so we follow standard practice and relate these dimension six condensates to the ( rg variant ) dimension three light quark condensate @xmath60 . for the mixed condensate , @xmath61 , this is done via the parameterisation @xmath62 and for the four - quark condensates , @xmath63 and @xmath64 , via the _ vacuum saturation hypothesis _  @xcite . to take into account the possible violation of the vacuum saturation hypothesis we include a multiplicative factor @xmath65 . thus our final expression for the dimension six contribution is @xmath66    in order to evaluate all these expressions we need to calculate the running coupling and quark masses at complex values . this is done by solving the four - loop renormalisation group equations that define the qcd @xmath67 and @xmath68 functions ( our conventions for these functions are given in appendix  [ app : rg ] ) .    for the coupling , we choose to solve the implicit equation @xmath69 iteratively using newton s method . as input , we take the experimental value @xmath70 , as measured by the aleph collaboration  @xcite . for reference , had we used the standard expansion for @xmath71 , then at four - loops and with three active flavours , this central input value would correspond to @xmath72  mev . for higher values of @xmath73 , or correspondingly @xmath74 , the radiative corrections to  eq . ( [ eq : dim0q ] ) become more important and start to swamp the higher dimension terms , _ i.e _ it becomes more important to include higher loop corrections to the perturbative contribution than to include the condensates . it has been argued  @xcite that the sum rule methodology could become invalid for @xmath75  mev . this is especially problematic for attempts to determine condensate values via the sum rule technique . as this is not our aim and considering the success of previous sum rule studies with similar and higher values of @xmath73 ( and @xmath74 ) , we feel justified in applying sum rules to this problem .    the momentum dependence of the quark mass is given by @xmath76 \ . \label{eq : mass}\ ] ] the opes for the scalar - isoscalar and scalar - isovector channels are identical . this was originally interpreted as an explanation for the almost exact mass degeneracy of the @xmath4 and the @xmath15  @xcite . however , we know that the ope is not enough to describe the qcd vacuum completely . other effects are important , particularly in the scalar and pseudoscalar channels  @xcite . the complex nature of the qcd vacuum means that it is not currently possible to solve the equations of motion of the full theory directly . we must make use of approximations , which in this work we choose to be the instanton liquid model  @xcite . here the qcd vacuum is modelled as a four - dimensional ` liquid ' of instantons , which is assumed to be dilute enough to make the idea of individual instantons meaningful . the liquid is characterised by the average instanton size @xmath77 and four - volume density @xmath78 ( or alternatively the average instanton separation , @xmath79 ) . the instanton liquid model is then thought to be a good approximation , if the ratio @xmath80 is small . within this model the instanton contribution to the scalar - isoscalar light - quark correlator was found in  @xcite to be @xmath81 ^ 2 \ , \label{eq : inscorr}\ ] ] where @xmath82 is a modified bessel function of the second kind ( or macdonald function ) . taking two derivatives we obtain @xmath83 \ . \label{eq : inssecdir}\ ] ]    as stated earlier @xmath37 is an rg - invariant quantity . the only quantity in  eq . ( [ eq : inssecdir ] ) that could have a renormalisation scale dependence is the quark mass . this renormalisation scale dependence can not be cancelled out anywhere else , so we conclude that the quark mass appearing in  eq . ( [ eq : inssecdir ] ) must be the quark mass at some fixed scale , @xmath84 . _ a priori _ we do not know what this scale is . it is reasonable to expect that it is related to the instanton scale given by @xmath85 or the hadronic scale of @xmath86 gev , but we have no physical reason for choosing @xmath85 rather than _ e.g. _ @xmath87 . thus we take this scale as an input parameter in the calculation . if this scale is found to be considerably different from the hadronic and instanton scales , then it would call into doubt our treatment of the instanton contribution . at low energies the only hadronic process possible in the scalar - isoscalar channel is @xmath21 scattering . as pions are made of non - strange quarks , it is reasonable to expect that , in the elastic region , the spectral density for the correlator is related to the absorptive part of the @xmath88 scattering amplitude , @xmath89 . this link can be made via the scalar form - factor of the pion , @xmath90 , which is defined by @xmath91 inserting a complete set of hadronic states into the correlator  eq . ( [ eq : corr ] ) and keeping only the lowest state , _ i.e. _ two pions , gives the spectral density in the elastic region , @xmath92 where @xmath93 . watson s final state interaction theorem  @xcite implies that the form factor and the scattering amplitude have the same phase . thus , in the region where elastic unitarity holds , we can write @xmath94 where the coupling function , @xmath95 , is real for real @xmath96 . substituting  eq . ( [ eq : watson ] ) into  eq . ( [ eq : spec ] ) and making use of the elastic unitarity relationship , we obtain @xmath97    it is well known that @xmath21 scattering contains an adler zero  @xcite , and that this zero does not appear in the scalar pion form factor . we now make the simplifying assumption that this is the only @xmath31-dependence appearing in @xmath95 , _ i.e. _ @xmath98 where @xmath99 is the position of the adler zero and @xmath100 is a constant . substituting eq . ( [ eq : adler ] ) into eq . ( [ eq : spec2 ] ) gives our first ansatz @xmath101 where @xmath102 is an unknown constant of proportionality . although the @xmath103 threshold is at 560  mev , it is well known that multi - pion channels are not significant below around 1400  mev , when quasi two - body channels , _ @xmath104 , @xmath105 , become important  @xcite . the first important inelastic channel is @xmath106 . even after this has opened the @xmath21 final state will continue to pick out the non - strange contribution to the sum over states . thus we might expect eq . ( [ eq : ansatz1 ] ) to give a reasonable approximation to the true spectral density even above 1  gev . we call this coupling scheme i.    the multi - pion final states mentioned above will increase the @xmath107 spectral density , causing  eq . ( [ eq : ansatz1 ] ) to be an underestimate at higher energies . phenomenologically , we might expect the true spectral density to be enhanced by the ratio of the total to elastic @xmath21 cross - sections , thus giving @xmath108 which we call coupling scheme ii . in the elastic region , the two coupling schemes are , of course , identical . above the @xmath10 threshold , whereas coupling scheme i ignores all inelastic channels and so will underestimate the spectral density , coupling scheme ii takes into account all inelastic channels , including those with hidden strangeness , and so may be an overestimate . @xmath21 scattering amplitude as calculated from the data set described in the text ( line ) . superimposed are experimental points from @xcite ( diamonds ) , @xcite ( boxes ) , @xcite ( triangles ) and @xcite ( circles ) . [ fig : sketch ] ]    ' '' ''    as input we take the parameterisation of the @xmath109 scattering data carried out by bugg  _ et al _  @xcite . however , when continued down to threshold this fails to reproduce the scattering length predicted by chiral perturbation theory  ( @xmath110pt ) and so in the region below 450  mev we use the roy equation extrapolation of the classic ochs - wagner phase - shifts  @xcite , as carried out by pennington and used in the discussion of @xmath111  @xcite . [ fig : sketch ] shows a sketch of the absorptive part of the isospin zero , @xmath112-wave amplitude for @xmath21 scattering as calculated from our data set . from this we can clearly see that the @xmath3 and the @xmath113 appear as peaks , while the @xmath4 and the @xmath114 show up as sharp dips . thus these latter two states , and in particular the @xmath4 , will largely decouple from the spectral density and if saturation of the sum rules is achieved with either of our two coupling schemes , it will not be due in any great part to the @xmath4 or @xmath114 . by varying both @xmath34 and @xmath1 it may be possible to determine which of the @xmath3 and the @xmath113 plays the dominant role in saturation , but for the evaluation of the wilson coefficients in the ope to be trustworthy , we would expect @xmath1 to be too high to exclude the @xmath113 . nevertheless , as the decaying exponential in the weight functions of our sum rules suppresses the integrand for @xmath33 , it is still possible to determine which resonance is most important for saturation .      a value for the normalisation factor @xmath102 , can be determined by making a comparison with the spectral density obtained using an omns representation  @xcite of the form factor . this representation is given by @xmath115\ , \label{eq : omnes}\ ] ] where @xmath116 is the phase of @xmath117 scattering . the form factor at zero momentum transfer , which normalises the omns function , can be determined from the feynman - hellman theorem  @xcite and is given by @xmath118 to leading order in @xmath110pt , the physical pion mass is given by the gell - mann - oakes - renner relation ,  @xcite , and thus we see that @xmath119 going to next - to - leading order in @xmath110pt would introduce a correction to  eq . ( [ eq : dzero ] ) of the order of 1% ( see for example  @xcite ) , which is safe to neglect .    to evaluate the integral in  eq . ( [ eq : omnes ] ) exactly requires knowledge of the scattering phase in the high energy region where it is unknown . however , the integrand is dominated by the region around @xmath31 . so if we restrict our comparison to the low energy region then the behaviour of the phase above some point @xmath120 , where @xmath121 , will not greatly affect the value of the integral . we take @xmath120 to correspond to the last data point and approximate the phase above this point as a constant ,  @xmath122 . thus , the spectral density , as calculated from the omns representation , is written @xmath123 \ . \label{eq : specomnes}\ ] ] where the bar on the integral sign denotes the cauchy principal value . ]    ' '' ''    the value of the constant , @xmath102 , can then be determined by fitting  eq . ( [ eq : ansatz1 ] ) to  eq . ( [ eq : specomnes ] ) . the position of the adler zero for isospin-0 , s - wave @xmath21 scattering is fixed to be close to @xmath124 , which is its position at lowest order in @xmath110pt and so we essentially only have one parameter , @xmath102 , to determine . the fit , shown in fig .  [ fig : lowrho ] , was carried out up to a maximum energy of 400  mev . over this energy range it does not matter which coupling scheme is used . each gives the value . however , this value is quite sensitive to the maximum energy of the fit and should not be trusted to an accuracy better than 20% . in any sum rule calculation , we hope to find regions of the parameter space where the theoretical and phenomenological sides are equal . we measure this _ saturation _ of the sum rules by introducing the double ratios @xmath125_{had}}{\left[t_{k+1 } / t_k \right]_{qcd } } \ . \label{eq : drat}\ ] ] this ratio is independent of the overall normalising constants on either side , _ i.e _ @xmath102 and @xmath126 , and obviously is equal to one when the sum rules are saturated . as sum rule analyses are generally accurate to around 10 - 20% we set an agreement region of @xmath127 . in practice we shall use only the lowest such double ratio for each type of sum rule , _ i.e _ @xmath128 , as the integer powers of @xmath31 in the higher sum rules increase the importance of the upper end of the integrand on the phenomenological side . = 5.9 mm    .standard values of all parameters used to evaluate the sum rules . [ tab : parameters ] [ cols="^,^,^",options="header " , ]     ' '' ''    we have performed a number of tests to determine how stable this estimate is to the variation of input parameters within the ranges found to give good saturation curves . the parameters @xmath77 , @xmath129 and @xmath65 each yield an uncertainty in the quark mass of 0.1  mev , see fig . [ fig : mass ] . varying the remaining condensate values from zero to twice the value listed in table  [ tab : parameters ] produces no noticeable effect on the quark mass obtained . the largest source of uncertainty in our calculation is the value of the phenomenological constant of proportionality , @xmath102 , defined in eqs . ( 27,28 ) . this could only be determined to an accuracy of 20% , and so gives the dominant uncertainty in the final result of 0.5  mev . our final estimate is then @xmath130 . in table [ tab : masses ] we list some other recent determinations of this quantity . we see that our estimate is consistent , though lower , than earlier sum rule determinations . though not agreeing with the results of quenched lattice qcd , our value is reassuringly consistent with the early results of unquenched lattice calculations which are just beginning to appear in the literature . the application of qcd sum rules to the isoscalar - scalar current requires a realistic representation of the contributing resonances . none in this channel remotely approximates a @xmath131function , fig .  2 . indeed , states like the @xmath132 ( or @xmath3 ) are far too broad to be sensibly described by simple breit - wigner forms . moreover they overlap with other resonances like the @xmath4 and strongly coupled thresholds , like @xmath133 . it is quite natural that the @xmath134 correlator is expressly related to the @xmath135 scattering amplitude and so the vacuum polarization can be described directly in terms of experimental information without the need for further ( breit - wigner - like ) approximations . we have shown that such coupling schemes , defined in sect . [ subsec : ansatz ] , are perfectly capable of saturating qcd finite energy sum rules . in @xmath21 scattering the @xmath4 appears as a sharp dip . consequently , in our coupling schemes this state makes relatively little contribution to the correlator , in total contrast to the conclusions of shakin and wang  @xcite . that good saturation is possible strongly suggests then that the @xmath4 does indeed make only a small contribution to the scalar - isoscalar sum rules , which in turn implies that it does not contain a large @xmath136 component in its wave function . this result is also at odds with the conclusion reached in  @xcite . however , as explained above , when the same authors  @xcite considered a more realistic approximation for the resonance shape , the parameters found were more consistent with the @xmath3 than the @xmath4 . from the present analysis , beyond saying that it is not strongly @xmath136 , we can make no comment on the structure of the @xmath4 . the saturation curves we obtain are remarkably flat and close to one from low values of @xmath34 , see figs . as the exponential in the weight function tends to suppress the integrand in the region @xmath33 , saturation at these values of @xmath34 means it is the lower energy portion of the experimental data that is most important in saturating the sum rules . furthermore , the @xmath113 ( with mass @xmath137 and width @xmath138 ) will not contribute until . that the sum rules are fulfilled from @xmath139 implies it is the @xmath3 that plays the most important role in saturating the @xmath136 scalar - isoscalar sum rules .    our results again show that the operator product expansion is not enough to describe the physics of the scalar mesons completely . we find saturation only when instantons are included . one potentially worrying point of this analysis is the need to tune the average instanton size away from its accepted value of . to or 0.40  0.42  fm , which is about 25% larger . the validity of the instanton liquid model relies on the mean separation of instantons being significantly larger than their average size . if this is not true then neighbouring instantons will overlap significantly and it becomes meaningless to talk about individual instantons . the assumed average instanton separation of 1  fm is only about 2.5 times the value of @xmath77 required by our sum rule , and so we are probably approaching this limit . reassuringly though , lattice simulations of the topological features of the qcd vacuum seem to find average instanton sizes similar to the one we are forced to use ( for a summary of lattice determinations of instanton parameters see  @xcite ) . the above results follow from ratios of the finite energy sum rules defined in eq . ( 33 ) and displayed in figs .  4 - 8 . moreover , the absolute value of each is determined by the quark mass curves of sect . [ subsec : mass ] . these are also found to be flat and this constancy sets in already below @xmath140 , fig . this is again evidence that our coupling schemes are capable of satisfying the sum rules and that the state most important for this is the @xmath3 . the value we find for the average @xmath141 and @xmath142 quark mass is @xmath143 the most conservative way to interpret this result is merely as a consistency check . a number of assumptions are made in this analysis , _ e.g. _ the validity of the coupling schemes , the truncation of the ope at dimension-6 and the perturbative contribution at @xmath144 , the form of the instanton contribution _ etc_. that our final result is of the correct size reassures us that none of our assumptions are too far off the mark . going further and taking it foregranted that the isoscalar - scalar correlator is indeed directly related to @xmath135 scattering , then the sum rules provide an independent determination of the average light quark mass , as given in eq . our result is quite compatible with sum rule determinations in the pseudoscalar sector and with the early unquenched lattice estimates that are starting to appear in the literature . we can then be certain that the @xmath3 is the dominant contribution to the @xmath145 current . m.r.p . is most grateful for the warm hospitality as well as support at the special research centre for the subatomic structure of matter at the university of adelaide during the course of this work . the authors would like to thank kim maltman for most helpful discussions in adelaide and subsequent e - mail correspondence . is also grateful to the theory group of the institut de physique nuclaire , universit paris - sud , orsay for its kind hospitality . this work was supported in part under the eu - tmr programme , contract no . ct98 - 0169 , eurodaphne . the qcd @xmath67 and @xmath68-functions are defined by the the renormalisation group equations @xmath146 and @xmath147 where @xmath148 .    currently , the qcd @xmath67 and @xmath68-functions are known to four - loop order . for three active flavours , the coefficients of the @xmath67 function within the @xmath46 scheme are  @xcite @xmath149 the coefficients of the @xmath68-function , also within the @xmath46 scheme , are  @xcite @xmath150 @xmath151      99 h.  fritzsch and m.  gell - mann , proc . of _ xvi international conference on high energy physics _ , chicago , 1972 , ( ed . j.  jackson , a.  roberts and r.  donaldson ) vol . 2 p. 135 ; + h.  fritzsch and p.  minkowski , nuovo cim . a * 30 * ( 1975 ) 393 . d.  horn and j.  mandula , phys . d * 17 * ( 1978 ) 898 . r.  l.  jaffe , phys . rev .   * d15 * ( 1977 ) 267 ; + r.  l.  jaffe , phys .  rev . * d15 * ( 1977 ) 281 . j.  weinstein and n.  isgur , phys .  rev . * 48 * ( 1982 ) 659 . d.  e.  groom _ et al . _ , eur . j.   * c15 * ( 2000 ) 1 . r.  delbourgo and m.d . scadron , phys . * 48 * ( 1982 ) 379 . m.  a.  shifman , a.  i.  vainshtein and v.  i.  zakharov , nucl . b * 147 * ( 1979 ) 385 . l.  j.  reinders , s.  yazaki and h.  r.  rubinstein , nucl . b * 196 * ( 1982 ) 125 . p.  colangelo and a.  khodjamirian , hep - ph/0010175 . a.  bramon and s.  narison , mod . lett .  a * 4 * ( 1989 ) 1113 . e.  v.  shuryak , nucl .  phys . b * 319 * ( 1989 ) 541 . v.  elias , a.  h.  fariborz , f.  shi and t.  g.  steele , nucl . a * 633 * ( 1998 ) 279 [ hep - ph/9801415 ] . f.  shi , t.  g.  steele , v.  elias , k.  b.  sprague , y.  xue and a.  h.  fariborz , nucl . a * 671 * ( 2000 ) 416 [ hep - ph/9909475 ] . k.  maltman , phys . b * 462 * ( 1999 ) 14 [ hep - ph/9906267 ] . e.  van beveren , t.  a.  rijken , k.  metzger , c.  dullemond , g.  rupp and j.  e.  ribeiro , z.  phys . * c30 * ( 1986 ) 615 ; + n.  a.  tornqvist , z.  phys . c * 68 * ( 1995 ) 647 [ hep - ph/9504372 ] . e.  c.  poggio , h.  r.  quinn and s.  weinberg , phys . d * 13 * ( 1976 ) 1958 . f.  le diberder and a.  pich , phys .  lett . b * 289 * ( 1992 ) 165 . c.  a.  dominguez and k.  schilcher , phys . b * 448 * ( 1999 ) 93 [ hep - ph/9811261 ] . k.  g.  wilson , phys . * 179 * ( 1969 ) 1499 . k.  g.  chetyrkin , d.  pirjol and k.  schilcher , phys . b * 404 * ( 1997 ) 337 [ hep - ph/9612394 ] . m.  beneke , phys . * 317 * ( 1999 ) 1 [ hep - ph/9807443 ] . k.  g.  chetyrkin , s.  narison and v.  i.  zakharov , nucl . b * 550 * ( 1999 ) 353 [ hep - ph/9811275 ] . c.  a.  dominguez and k.  schilcher , phys . d * 61 * ( 2000 ) 114020 [ hep - ph/9903483 ] . m.  jamin and m.  munz , z.  phys . c * 66 * ( 1995 ) 633 [ hep - ph/9409335 ] . l.  r.  surguladze and f.  v.  tkachov , nucl . b * 331 * ( 1990 ) 35 . k.  g.  chetyrkin , c.  a.  dominguez , d.  pirjol and k.  schilcher , phys . d * 51 * ( 1995 ) 5090 [ hep - ph/9409371 ] . r.  barate _ [ aleph collaboration ] , eur . j.  c * 4 * ( 1998 ) 409 . c.  a.  dominguez , a.  ramlakan and k.  schilcher , hep - ph/0104262 . v.  a.  novikov , m.  a.  shifman , a.  i.  vainshtein and v.  i.  zakharov , nucl . b * 191 * ( 1981 ) 301 . e.  m.  ilgenfritz and m.  muller - preussker , nucl . b * 184 * ( 1981 ) 443 . e.  v.  shuryak , nucl . b * 203 * ( 1982 ) 93 . e.  v.  shuryak , nucl .  phys . b * 203 * ( 1982 ) 116 . v.  elias , f.  shi and t.  g.  steele , j.  phys . g * g24 * ( 1998 ) 267 . k.  m.  watson , phys . * 88 * ( 1952 ) 1163 . s.  l.  adler , phys . rev .   * 137 * ( 1965 ) b1022 . d.  v.  bugg , i.  scott , b.  s.  zou , v.  v.  anisovich , a.  v.  sarantsev , t.  h.  burnett and s.  sutlief , phys . b * 353 * ( 1995 ) 378 . a.  abele _ et al . _ [ crystal barrel collaboration ] , phys .  lett . b * 380 * ( 1996 ) 453 . d.  v.  bugg , b.  s.  zou and a.  v.  sarantsev , nucl .  phys . b * 471 * ( 1996 ) 59 . b.  hyams _ et al . _ , nucl . b * 64 * ( 1973 ) 134 [ aip conf . * 13 * ( 1973 ) 206 ] ; + w.  ochs , ph.d . thesis , ludwig - maximilians - universitt , mnchen ( 1974 ) . m.  r.  pennington , _ the da@xmath152ne physics handbook , _ eds . l.  maiani , g.  pancheri and n.  paver ( infn , frascati , 1992 ) vol . 379 - 418 ; + m.  r.  pennington , _ the second da@xmath152ne physics handbook , _ eds . l.  maiani , g.  pancheri and n.  paver ( infn , frascati , 1995 ) vol . 531 - 558 . p.  estabrooks and a.  d.  martin , phys .  lett . b * 41 * ( 1972 ) 350 ; + p.  estabrooks and a.  d.  martin , nucl . b * 79 * ( 1974 ) 301 . r.  kamiski , l.  leniak and k.  rybicki , z.  phys . c * 74 * ( 1997 ) 79 [ hep - ph/9606362 ] . r.  omns , nuovo cim .   * 8 * ( 1958 ) 316 . h.  hellmann , _ einfrung in die quantenchemie _ , deuticke ( 1937 ) + r.  p.  feynman , phys . * 56 * , 340 ( 1939 ) . m.  gell - mann , r.  j.  oakes and b.  renner , phys . * 175 * ( 1968 ) 2195 . g.  colangelo , j.  gasser and h.  leutwyler , hep - ph/0103088 . a.  a.  ovchinnikov and a.  a.  pivovarov , sov . j.  nucl . phys .  * 48 * ( 1988 ) 721 . j.  prades , nucl . * 64 * ( 1998 ) 253 [ hep - ph/9708395 ] . k.  maltman and j.  kambor , [ hep - ph/0107060 ] . h.  g.  dosch and s.  narison , phys . b * 417 * ( 1998 ) 173 [ hep - ph/9709215 ] . d.  becirevic , p.  boucaud , j.  p.  leroy , v.  lubicz , g.  martinelli and f.  mescia , phys . b * 444 * ( 1998 ) 401 [ hep - lat/9807046 ] . s.  aoki _ et al . _ [ jlqcd collaboration ] , phys .  rev . lett .   * 82 * ( 1999 ) 4392 [ hep - lat/9901019 ] . m.  gockeler _ et al . _ , phys . d * 62 * ( 2000 ) 054504 [ hep - lat/9908005 ] . d.  becirevic , v.  gimenez , v.  lubicz and g.  martinelli , phys . d * 61 * ( 2000 ) 114507 [ hep - lat/9909082 ] . a.  ali khan _ et al . _ [ cp - pacs collaboration ] , phys . * 85 * ( 2000 ) 4674 [ hep - lat/0004010 ] . n.  eicker _ et al . _ [ sesam collaboration ] , phys .  rev . d * 59 * ( 1999 ) 014509 [ hep - lat/9806027 ] . j.  w.  negele , nucl . * 73 * ( 1999 ) 92 [ hep - lat/9810053 ] . j.  a.  vermaseren , s.  a.  larin and t.  van ritbergen , phys . b * 405 * ( 1997 ) 327 [ hep - ph/9703284 ] . t.  van ritbergen , j.  a.  vermaseren and s.  a.  larin , phys . b * 400 * ( 1997 ) 379 [ hep - ph/9701390 ] . k.  g.  chetyrkin , phys . b * 404 * ( 1997 ) 161 [ hep - ph/9703278 ] .
Abstract:

Answer: we apply qcd finite energy sum rules to the scalar - isoscalar current to determine the lightest @xmath0 meson in this channel . we use ` pinch - weights ' to improve the reliability of the qcd predictions and reduce the sensitivity to the cut - off @xmath1 . a decaying exponential is included in the weight function to allow us to focus on the contribution from low mass states to the phenomenological integral . on the theoretical side we include ope contributions up to dimension six and a contribution due to instantons taken from the instanton liquid model . phenomenologically , we incorporate experimental data by using a coupling scheme for the scalar current which links the vacuum polarisation to the @xmath2 scattering amplitude via the scalar form factor . we find that the sum rules are well saturated for certain instanton parameters . we conclude that the @xmath3 definitely contains a large @xmath0 component , whereas the @xmath4 most likely does not . we are able to estimate the average light quark mass and find @xmath5 mev . qcd finite energy sum rules + and the isoscalar scalar mesons + s.  n.  cherry@xmath6 and m.  r.  pennington@xmath7 + @xmath6 _ groupe de physique thorique , ipn + universit de paris - sud , + f-91406 orsay cdex , france . _ + @xmath7 _ institute for particle physics phenomenology , + university of durham , + durham , dh1 3le , u.k . _    = 6.0 mm = 1.5 mm