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: the antarctic neutrino telescope amanda  @xcite and the future km@xmath0 icecube  @xcite are designed to observe high - energy neutrinos from astrophysical sources . the ice is instrumented with photomultipliers to pick up the cherenkov light from secondary charged particles . in order to reach the large volume needed to detect the expected small fluxes at high energies , the density of optical modules is far too sparse to measure , for example , solar neutrinos . however , it has been recognized for a long time that these instruments can detect a supernova ( sn ) neutrino burst because the cherenkov glow of the ice can be identified as time - correlated noise among all phototubes  @xcite . this approach has been used by amanda to exclude the occurrence of a galactic sn over a recent observation period  @xcite .    for amanda the physics potential of a possible sn observation is essentially limited to its detection , notably in the context of the supernova early warning system ( snews ) that would alert the astronomical community several hours before the optical explosion  @xcite . for the future icecube with 4800 optical modules , however , the number of detected cherenkov photons would be of order @xmath2 and thus so large that several interesting physics questions could be addressed in earnest . the observed quantity is the number of cherenkov photons caused by the sn neutrinos as a function of time , i.e.  a measure of the energy deposited by the neutrinos in the ice . therefore , the information about the sn signal is far more limited than what can be extracted from a high - statistics observation in super - kamiokande or other low - energy experiments that detect individual events . however , galactic sne are so rare , perhaps a few per century , that the chances of observing one depend crucially on the long - term stability of the neutrino observatories . once icecube has been built it may well operate for several decades , backing up the low - energy experiments . besides the detection and associated early warning one could measure important details of the neutrino light - curve , for example the existence and duration of the initial sn accretion phase , the overall duration of the cooling phase , and so forth . such an observation would provide a plethora of astrophysically valuable information .    however , from the perspective of neutrino physics a _ simultaneous _ observation in both icecube and another large detector such as super - kamiokande or hyper - kamiokande would be especially useful . assuming that the neutrinos have traversed significantly different paths through the earth , the two signals could well show measurable differences caused by neutrino oscillations in matter  . as this earth effect shows up only for certain combinations of neutrino mixing parameters , a dual observation may well distinguish , for example , between the normal and inverted neutrino mass hierarchy . it is well known that observing sn neutrinos with two or more detectors with different earth - crossing lengths is extremely useful , but icecube s potential has not been explored in this context . with all the low - energy observatories being in the northern hemisphere , icecube s location in antarctica is uniquely complementary for this purpose . any oscillation signature depends on the small flavor - dependent differences between the fluxes and spectra at the source . if these differences were as large as had been assumed until recently there would be little question about icecube s usefulness for co - detecting the earth effect . however , a more systematic study of the flavor - dependence of the sn neutrino fluxes and spectra reveals that these differences are more subtle , although by no means negligible  @xcite . we evaluate icecube s potential as a co - detector from the perspective of these `` pessimistic '' assumptions about the primary fluxes and spectra . this paper is organized as follows . in sec . [ at - icecube ] , we show that the neutrino signal from a galactic supernova can be measured at icecube with a sub - percent statistical precision . in sec . [ earth - effects ] , we calculate the earth matter effects on this signal and illustrate that it is possible to detect them in conjunction with another high statistics experiment . sec .  [ concl ] concludes . the sn neutrinos streaming through the antarctic ice interact according to @xmath3 and some other less important reactions . the positrons , in turn , emit cherenkov light that is picked up by the optical modules ( oms ) frozen into the ice . while the expected number of detected photons per om was calculated in refs . @xcite , we revisit their estimate for two reasons . first , the sn signal was directly scaled to the historical sn  1987a observation in kamiokande  ii so that the exact assumptions about the neutrino flux are not directly apparent . second , the expected number of cherenkov photons detected by one om was based on estimating an effective ice volume seen by one  om . however , it is much simpler to work in the opposite direction and start with the homogeneous and isotropic cherenkov glow of the ice caused by the sn neutrinos . the om is immersed in this diffuse bath of photons and picks up a number corresponding to its angular acceptance and quantum efficiency . as a first simplification we limit ourselves to the signal caused by the inverse @xmath4 reaction @xmath3 . the @xmath5 fluence ( time - integrated flux ) at earth is @xmath6 we define the `` sn fudge factor '' as @xmath7 where @xmath8 is the total energy leaving the sn in the form of @xmath5 after flavor oscillations have been included , @xmath9 is the average @xmath5 energy , and @xmath10 the distance . the energy deposited in the ice per target proton is @xmath11 . for the inverse @xmath4 cross section we ignore weak - magnetism and recoil corrections and also the difference between @xmath5 and positron energy so that  @xcite @xmath12 for the neutrino flux of each neutrino and anti - neutrino species we assume a distribution of the form  @xcite @xmath13\,,\ ] ] where @xmath14 is the average energy , @xmath15 a parameter that typically takes on values 2.55 depending on the flavor and the phase of neutrino emission , and @xmath16 the overall flux at the detector in units of @xmath17 . this distribution implies @xmath18 altogether we thus find @xmath19 with @xmath20 this fudge factor can also be taken to include deviations from the simplified energy dependence of the cross section and deviations from the assumed spectral shape . the cherenkov angle for photon emission by a charged particle is @xmath21 where @xmath22 is the medium s refractive index and @xmath4 the particle s velocity . with @xmath23 for ice , neglecting the @xmath24-dependence , and @xmath25 we have @xmath26 . a particle with unit charge produces cherenkov photons per unit path length and per unit wavelength band according to @xmath27 where @xmath28 is the fine - structure constant . assuming that @xmath22 and thus @xmath29 are independent of wavelength we integrate over @xmath24 and find @xmath30 taking the useful wavelength range to be 300600  nm this translates into 319 photons per cm pathlength . taking the positron mean free path to be 12  cm for an energy of 20  mev , and taking it to be proportional to its energy , the number of useful cherenkov photons per deposited neutrino energy is @xmath31 with yet another fudge factor @xmath32 . the density of ice is @xmath33 , corresponding to about @xmath34 proton targets . therefore , the sn neutrinos produce @xmath35 useful cherenkov photons per unit volume of ice . multiplying this number with the speed of light and dividing by @xmath36 gives us the resulting diffuse photon flux in units of @xmath37 . however , the average lifetime of these photons is @xmath38 with @xmath39 the absorption length . therefore , the neutrino - induced photon fluence is found by multiplying the flux with @xmath38 , @xmath40 where @xmath41 . the number of events produced by this fluence in a given om depends on the average quantum efficiency taken to be @xmath42 . in addition , it depends on the angular acceptance , i.e.  the effective photo cathode detection area @xmath43 times the angular acceptance range @xmath44 . therefore , in one om we expect @xmath45 with @xmath46 this result is independent of the presence of bubbles in the ice that scatter the photons . the cherenkov glow of the ice represents an isotropic and homogeneous distribution that is not changed by elastic scattering .      in order to compare our result with the one derived in ref . @xcite we need to translate their assumptions into our fudge factors . the @xmath5 distribution was taken to follow a fermi - dirac spectrum with @xmath47  mev , implying @xmath48  mev . the distance of the sn was taken to be 10  kpc , and the total energy release was scaled to the kamiokande  ii signal for sn  1987a . with our choice of the @xmath4 cross section these assumptions correspond to @xmath49  erg , i.e.  to @xmath50 . these authors also used a quadratic energy dependence of the cross section . integrating over their fermi - dirac spectrum they effectively used @xmath51 . further , they assumed 3000 useful cherenkov photons for 20  mev deposited energy , i.e.  effectively @xmath52 . for the absorption length they used 300  m , i.e.  @xmath53 . finally , they assumed a quantum efficiency of 25% , a cathode area of 280  @xmath54 , and an acceptance range of @xmath55 , i.e.@xmath56 . altogether , we find for these assumptions @xmath57 per om . this compares with 273 in ref . @xcite , i.e.  our result is larger by a factor  1.5 . the result in ref . @xcite was backed up by a detailed monte carlo treatment of the production and propagation of cherenkov photons in the amanda detector . therefore , the difference may well relate to details of the om acceptance and wavelength - dependent quantum efficiency and photon propagation . many of these details will be different in icecube where 10  inch photomultiplier tubes and different regions of ice will be used . detailed values for the detector - dependent fudge factors must be determined specifically for icecube once it has been built . the main difference between the assumptions in ref . @xcite and our estimate is the absorption length . when using amanda as a sn observatory a realistic value was taken to be around 100  m  @xcite . the vast difference between these estimates is that the former was based on the measured absorption length in a dust - free region of the ice . for our further estimates we stick to 100  m as a conservative assumption .      in our derivation we have used the time - integrated neutrino flux , amounting to the assumption of a stationary situation . the absorption time for photons is very small , @xmath58 . the sn signal will vary on time scales exceeding 10  ms . therefore , the cherenkov glow of the ice follows the time - variation of the sn signal without discernible inertia . hence one may replace the neutrino fluence with a time - dependent flux and @xmath59 with an event rate @xmath60 . moreover , for our further discussion it will be useful to consolidate our fudge - factors into one describing the detector response , and others characterizing the neutrino flux . therefore , we summarize our prediction for the event rate per om in the form @xmath61 where @xmath62 is the @xmath5 luminosity after flavor oscillations and @xmath63 here , @xmath64 also includes corrections for the energy dependence of the @xmath4 cross section . we stress that our simple estimate of the counting rate primarily serves the purpose of determining its magnitude relative to the background . the important feature is that the signal relative to the background can be determined with a good statistical precision . of course , for an absolute detector calibration a detailed modeling would be necessary . for our present purpose , however , even an uncertainty of several 10% in our estimated counting rate is irrelevant . icecube will have 4800  oms so that one expects a total event number of @xmath65 , taking all fudge factors to be unity . assuming a background counting rate of 300  hz per om over as much as 10  s this compares with a background rate of @xmath66 . assuming poisson fluctuations , the uncertainty of this number is @xmath67 , i.e.  0.25% of the sn signal . therefore , one can determine the sn signal with a statistical sub - percent precision , ignoring for now problems of absolute detector calibration .    in order to illustrate the statistical power of icecube to observe a sn signal we use two different numerical sn simulations . the first was performed by the livermore group  @xcite that involves traditional input physics for mu- and tau - neutrino interactions and a flux - limited diffusion scheme for treating neutrino transport . the great advantage of this simulation is that it covers the full evolution from infall over the explosion to the kelvin - helmholtz cooling phase of the newly formed neutron star . we show the livermore @xmath5 and @xmath68 lightcurves in fig  [ fig : simulations ] ( left panels ) . here and in the following we take @xmath68 to stand for either @xmath69 or @xmath70 . apart from very small differences the sn fluxes and spectra are thought to be equal for @xmath71 , @xmath72 , @xmath69 , and @xmath70 . our second simulation was performed with the garching code  @xcite . it includes all relevant neutrino interaction rates , including nucleon bremsstrahlung , neutrino pair processes , weak magnetism , nucleon recoils , and nuclear correlation effects . the neutrino transport part is based on a boltzmann solver . the neutrino - radiation hydrodynamics program allows one to perform spherically symmetric as well as multi - dimensional simulations . the progenitor model is a 15@xmath73 star with a @xmath74 iron core . the period from shock formation to 468  ms after bounce was evolved in two dimensions . the subsequent evolution of the model is simulated in spherical symmetry . at 150 ms the explosion sets in , although a small modification of the boltzmann transport was necessary to allow this to happen  @xcite . unmanipulated full - scale models with an accurate treatment of the microphysics currently do not obtain explosions  @xcite . this run will be continued beyond the current epoch of 750  ms post bounce ; we here use the preliminary results currently available  @xcite . we show the garching @xmath5 and @xmath68 lightcurves in fig  [ fig : simulations ] ( right panels ) . we take the livermore simulation to represent traditional predictions for flavor - dependent sn neutrino fluxes and spectra that were used in many previous discussions of sn neutrino oscillations . the garching simulation is taken to represent a situation when the @xmath68 interactions are more systematically included so that the flavor - dependent spectra and fluxes are more similar than had been assumed previously  @xcite . we think it is useful to juxtapose the icecube response for both cases . another difference is that in livermore the accretion phase lasts longer . since the explosion mechanism is not finally settled , it is not obvious which case is more realistic . moreover , there could be differences between different sne . the overall features are certainly comparable between the two simulations .    in fig . [ fig : simulationsicecube ] we show the expected counting rates in icecube on the basis of eq . ( [ eq : rateprediction ] ) for an assumed distance of 10  kpc and 4800 oms for the livermore ( left ) and garching ( right ) simulations . we also show this signal in 50  ms bins where we have added noise from a background of 300  hz per om . the baseline is at the average background rate so that negative counts correspond to downward background fluctuations . one could easily identify the existence and duration of the accretion phase and thus test the standard delayed - explosion scenario . one could also measure the overall duration of the cooling phase and thus exclude the presence of significant exotic energy losses . therefore , many of the particle - physics limits based on the sn  1987a neutrinos  @xcite could be supported with a statistically serious signal . if the sn core were to collapse to a black hole after some time , the sudden turn - off of the neutrino flux could be identified . in short , when a galactic sn occurs , icecube is a powerful stand - alone neutrino detector , providing us with a plethora of information that is of fundamental astrophysical and particle - physics interest . in addition , icecube is extremely useful as a co - detector with another high - statistics observatory to measure neutrino oscillation effects , a topic that we now explore . neutrino oscillations are now firmly established by measurements of solar and atmospheric neutrinos and the kamland and k2k long - baseline experiments  . evidently the weak interaction eigenstates @xmath75 , @xmath71 and  @xmath72 are non - trivial superpositions of three mass eigenstates @xmath76 , @xmath77 and  @xmath78 , @xmath79 where @xmath80 is the leptonic mixing matrix that can be written in the canonical form @xmath81 here @xmath82 and @xmath83 etc . , and @xmath84 is a phase that can lead to cp - violating effects , that are , however , irrelevant for sn neutrinos . the mass squared differences relevant for the atmospheric and solar neutrino oscillations obey a hierarchy @xmath85 . this hierarchy , combined with the observed smallness of the angle @xmath86 at chooz @xcite implies that the atmospheric neutrino oscillations essentially decouple from the solar ones and each of these is dominated by only one of the mixing angles . the atmospheric neutrino oscillations are controlled by @xmath87 that may well be maximal ( 45@xmath88 ) . the solar case is dominated by @xmath89 , that is large but not maximal . from a global 3-flavor analysis of all data one finds the 3@xmath90 ranges for the mass differences @xmath91 and mixing angles summarized in table  [ tab : mixingparameters ] . @lll observation&mixing angle&@xmath92 [ mev@xmath93 + sun , kamland & @xmath94 27@xmath8842@xmath88 & @xmath95 55190 + atmosphere , k2k & @xmath96 32@xmath8860@xmath88 & @xmath97 14006000 + chooz & @xmath98 & @xmath99 +    a sn core is essentially a neutrino blackbody source , but small flavor - dependent differences of the fluxes and spectra remain . we denote the fluxes of @xmath100 and @xmath101 at earth that would be observable in the absence of oscillations by @xmath102 and @xmath103 , respectively . in the presence of oscillations a @xmath5 detector actually observes @xmath104 f_x^0\ , , \label{fedbar}\ ] ] where @xmath105 is the @xmath5 survival probability after propagation through the sn mantle and perhaps part of the earth before reaching the detector . a significant modification of the survival probability due to the propagation through the earth appears only for those combinations of neutrino mixing parameters shown in table  [ tab : earthcases ] . the earth matter effect depends strongly on two parameters , the sign of @xmath106 and the value of @xmath107  @xcite . the `` normal hierarchy '' corresponds to @xmath108 , i.e.  @xmath109 , whereas the `` inverted hierarchy '' corresponds to @xmath110 , i.e.@xmath111 . note that the presence or absence of the earth effect discriminates between values of @xmath112 less or greater than @xmath113 , i.e.  @xmath86 less or larger than about @xmath114 . thus , the earth effect is sensitive to values of @xmath86 that are much smaller than the current limit . @lll 13-mixing&normal hierarchy&inverted hierarchy + @xmath115&@xmath75 and @xmath5 & @xmath75 and @xmath5 + @xmath116&@xmath5&@xmath75 +    let us consider those scenarios where the mass hierarchy and the value of @xmath86 are such that the earth effect appears for @xmath5 . in such cases the @xmath5 survival probability @xmath105 is given by @xmath117 where the energy dependence of all quantities will always be implicit . here @xmath118 is the mixing angle between @xmath100 and @xmath119 in earth matter while @xmath120 is the mass squared difference between the two anti - neutrino mass eigenstates @xmath121 and @xmath119 in units of @xmath122ev@xmath123 , @xmath124  is the distance traveled through the earth in units of 1000  km , and @xmath125 is the neutrino energy in mev . we have assumed a constant matter density inside the earth , which is a good approximation for @xmath126 , i.e.  as long as the neutrinos do not pass through the core of the earth .      in order to calculate the extent of the earth effect for icecube , we will assume that the relevant mixing parameters are @xmath127 and @xmath128 . we further assume that the source spectra are given by the functional form eq . ( [ eq : spectralform ] ) . the values of the parameters @xmath15 and @xmath129 for both the @xmath100 and @xmath68 spectra are in general time dependent .    in fig . [ fig : exampleeartheffect ] we show the variation of the expected icecube signal with earth - crossing length @xmath124 for the two sets of parameters detailed in table  [ tab : examplecases ] . the first could be representative of the accretion phase , the second of the cooling signal . we use the two - density approximation for the earth density profile , where the core has a density of @xmath130 and a radius of 3500  km , while the density of the earth mantle was taken to be @xmath131 . we observe that for short distances , corresponding to near - horizontal neutrino trajectories , the signal varies strongly with @xmath124 . between about 3,000 and 10,500  km it reaches an asymptotic value that we call the `` asymptotic mantle value . '' for case  ( a ) , this value corresponds to about 1.5% depletion of the signal , whereas for  ( b ) it corresponds to about 6.5% depletion . @llllllll example&phase&@xmath9 & @xmath132 & @xmath133&@xmath134 & @xmath135 & asymptotic + & & [ mev]&[mev]&&&&earth effect + ( a)&accretion&15&17&4&3&1.5&@xmath136% + ( b)&cooling & 15&18&3&3&0.8&@xmath137% +    beyond an earth - crossing length of @xmath13810,500  km , the neutrinos have to cross the earth core with another large jump in density . the core effects change the asymptotic mantle value by @xmath139% as can be seen in fig . [ fig : exampleeartheffect ] . we neglect the core effects in the following analysis , and the `` asymptotic value '' always refers to the asymptotic mantle value . for the largest part of the sky the earth effect either appears with this asymptotic value ( `` neutrinos coming from below '' ) , or it does not appear at all ( `` neutrinos from above '' ) . therefore , we now focus on the asymptotic value and study how the signal modification depends on the assumed flux parameters . in table [ tab : asymptotic1 ] we show the signal modification for @xmath140 , @xmath141 , and @xmath142 as a function of @xmath132 and the flux ratio @xmath135 . in table [ tab : asymptotic2 ] we show the same with @xmath143 . the results are shown in the form of contour plots in fig . [ fig : cont ] . @lllllll flux ratio & + @xmath135 & 15&16&17&18&19&20 + 2.0 & 1.026 & 1.014 & 1.002 & 0.988 & 0.974 & 0.960 + 1.9 & 1.023 & 1.011 & 0.999 & 0.985 & 0.971 & 0.956 + 1.8 & 1.021 & 1.009 & 0.995 & 0.982 & 0.967 & 0.952 + 1.7 & 1.018 & 1.005 & 0.992 & 0.978 & 0.963 & 0.948 + 1.6 & 1.015 & 1.002 & 0.988 & 0.974 & 0.959 & 0.944 + 1.5 & 1.012 & 0.998 & 0.984 & 0.969 & 0.954 & 0.939 + 1.4 & 1.008 & 0.994 & 0.980 & 0.965 & 0.949 & 0.934 + 1.3 & 1.004 & 0.990 & 0.975 & 0.960 & 0.944 & 0.928 + 1.2 & 1.000 & 0.985 & 0.970 & 0.954 & 0.938 & 0.922 + 1.1 & 0.995 & 0.980 & 0.964 & 0.948 & 0.932 & 0.915 + 1.0 & 0.989 & 0.974 & 0.957 & 0.941 & 0.925 & 0.908 + 0.9 & 0.983 & 0.967 & 0.950 & 0.934 & 0.917 & 0.901 + 0.8 & 0.976 & 0.959 & 0.942 & 0.925 & 0.909 & 0.892 + 0.7 & 0.967 & 0.950 & 0.933 & 0.916 & 0.899 & 0.883 + 0.6 & 0.958 & 0.940 & 0.923 & 0.906 & 0.889 & 0.873 + 0.5 & 0.946 & 0.928 & 0.911 & 0.894 & 0.877 & 0.862 +    @lllllll flux ratio & + @xmath135 & 15&16&17&18&19&20 + 2.0 & 1.036 & 1.024 & 1.012 & 1.000 & 0.986 & 0.972 + 1.9 & 1.033 & 1.022 & 1.010 & 0.996 & 0.983 & 0.968 + 1.8 & 1.031 & 1.019 & 1.006 & 0.993 & 0.979 & 0.964 + 1.7 & 1.028 & 1.016 & 1.003 & 0.989 & 0.975 & 0.960 + 1.6 & 1.025 & 1.013 & 0.999 & 0.985 & 0.971 & 0.955 + 1.5 & 1.022 & 1.009 & 0.995 & 0.981 & 0.966 & 0.951 + 1.4 & 1.019 & 1.005 & 0.991 & 0.976 & 0.961 & 0.945 + 1.3 & 1.015 & 1.001 & 0.986 & 0.971 & 0.955 & 0.940 + 1.2 & 1.010 & 0.996 & 0.981 & 0.965 & 0.949 & 0.933 + 1.1 & 1.006 & 0.991 & 0.975 & 0.959 & 0.943 & 0.927 + 1.0 & 1.000 & 0.985 & 0.969 & 0.952 & 0.936 & 0.919 + 0.9 & 0.994 & 0.978 & 0.961 & 0.945 & 0.928 & 0.911 + 0.8 & 0.986 & 0.970 & 0.953 & 0.936 & 0.919 & 0.903 + 0.7 & 0.978 & 0.961 & 0.944 & 0.926 & 0.910 & 0.893 + 0.6 & 0.968 & 0.950 & 0.933 & 0.916 & 0.899 & 0.882 + 0.5 & 0.956 & 0.938 & 0.920 & 0.903 & 0.886 & 0.870 +    even for mildly different fluxes or spectra the signal modification is several percent , by far exceeding the statistical uncertainty of the icecube signal , although the _ absolute _ calibration of icecube may remain uncertain to within several percent . however , the signal modification will vary with time during the sn burst . during the early accretion phase that is expected to last for a few 100  ms and corresponds to a significant fraction of the overall signal , the @xmath68 flux may be almost a factor of 2 smaller than the @xmath5 flux , but it will be slightly hotter and less pinched  @xcite . this corresponds to case  ( a ) above ; it is evident from fig . [ fig : exampleeartheffect ] and table  [ tab : asymptotic1 ] that this implies that the earth effect is very small . during the kelvin - helmholtz cooling phase the flux ratio is reversed with more @xmath68 being emitted than @xmath5 , but still with the same hierarchy of energies . this corresponds to case  ( b ) ; in this case the earth effect could be about 6% . this time dependence may allow one to detect the earth effect without a precise absolute detector calibration .    in order to illustrate the time dependence of the earth effect we show in fig . [ fig : percenteffect ] the expected counting rate in icecube for both the livermore ( left panels ) and garching ( right panels ) simulations . in the upper panels we show the expected counting rate with flavor oscillations in the sn mantle , but no earth effect ( solid lines ) , or with the asymptotic earth effect ( dashed lines ) that obtains for a large earth - crossing path . naturally the differences are very small so that we show in the lower panels the ratio of these curves , i.e.  the expected counting rate with / without earth effect as a function of time for both livermore and garching . while for the livermore simulation there is a large earth effect even at early times , the change from early to late times in both cases is around 45% . therefore , the most model - independent signature is a time variation of the earth effect during the sn neutrino signal .    in order to demonstrate the statistical significance of these effects we integrate the expected signal for both simulations separately for the accretion phase and the subsequent cooling phase ; the results are shown in table  [ tab : integratedrates ] . for both simulations the earth effect itself and its change with time is statistically highly significant . based on the livermore simulation , the earth effect is much more pronounced than in garching , the latter involving more up - to - date input physics for neutrino transport . however , the _ difference _ between the earth effect during accretion and cooling is not vastly different between the two simulations . recalling that the absolute detector calibration may be very uncertain so that one has to rely on the temporal variation of the earth effect , the difference between livermore and garching becomes much smaller . we expect that it is quite generic that the temporal change of the earth effect is a few percent of the overall counting rate . @lrrrr & & + & & & & + integration time [ s]&00.500&0.5003&00.250&0.2500.700 + sn signal [ counts ] + no earth effect & 519,080&818,043&173,085&407,715 + asymptotic earth effect&488,093&751,137&171,310&390,252 + difference & 30,987 & 66,906 & 1,775 & 17,463 + fractional difference&@xmath144%&@xmath145%&@xmath146%&@xmath147% + background [ counts]&720,000&4,320,000&360,000&648,000 + @xmath148/signal&0.16%&0.25%&0.35%&0.20% +      one can measure the earth effect in icecube only in conjunction with another high - statistics detector . we do not attempt to simulate in detail the sn signal in this other detector but simply assume that it can be measured with a precision at least as good as in icecube . one candidate is super - kamiokande , a water cherenkov detector that would measure around @xmath149 events from a galactic sn at a distance of 10  kpc . therefore , the statistical precision for the total neutrino energy deposition in the water is around 1% and thus worse than in icecube . even though super - kamiokande will measure a larger number of cherenkov photons than icecube , a single neutrino event will cause an entire cherenkov ring to be measured , i.e.  the photons are highly correlated . therefore , in the estimated statistical @xmath150 fluctuation of the signal , the fluctuating number @xmath151 is that of the detected neutrinos . if the future hyper - kamiokande is built , its fiducial volume would be about 30 times that of super - kamiokande . in this case the statistical signal precision exceeds that of icecube for the equivalent observable . we denote the equivalent icecube signal measured by super- or hyper - kamiokande as @xmath152 and the icecube signal as @xmath153 . if the distances traveled by the neutrinos before reaching these two detectors are different , the earth effect on the neutrino spectra may be different , which will reflect in the ratio @xmath154 . of course , in the absence of the earth effect this ratio equals unity by definition . the geographical position of icecube with respect to super- or hyper - kamiokande at a latitude of @xmath155 is well - suited for the detection of the earth effect through a combination of the signals . using fig . [ fig : exampleeartheffect ] we can already draw some qualitative conclusions about the ratio @xmath156 . clearly , @xmath157 if neutrinos do not travel through the earth before reaching either detector . if the distance traveled by neutrinos through the earth is more that 3000  km for both detectors , the earth effects on both @xmath152 and @xmath158 are nearly equal and their ratio stays around unity . if the neutrinos come `` from above '' for sk and `` from below '' for icecube , or vice versa , the earth matter effect will shift this ratio from unity .    in fig . [ fig : earthmap ] , we show contours of @xmath159 for the sn position in terms of the location on earth where the sn is at the zenith . the map is an area preserving hammer - aitoff projection so that the sizes of different regions in the figure gives a realistic idea of the `` good '' and `` bad '' regions of the sky . in order to generate the contours we use the parameters of case  ( b ) in table  [ tab : examplecases ] so that the asymptotic suppression of the signal is about 6.5% . the sky falls into four distinct regions depending on the direction of the neutrinos relative to either detector as described in table  [ tab : skymapregions ] . when the neutrinos come from above for both detectors ( region  d ) there is no earth effects . if they come from below in both ( region  c ) , the earth effect is large in both . depending on the exact distance traveled through the earth , the event ratio can be large , but generally fluctuates around  1 . in the other regions where the neutrinos come from above for one detector and from below for the other ( regions a and  b ) the relative effect is large . @lllll region&sky fraction & & @xmath156 + & & icecube&super - k & + a&0.35&below&above&1.070 + b&0.35&above&below&0.935 + c&0.15&below&below&fluctuations around 1 + d&0.15&above&above&1 + for assumptions about the flavor - dependent sn neutrino fluxes and spectra that agree with state - of - the - art studies , the earth matter effect on neutrino oscillations shows up in the icecube signal of a future galactic sn on the level of a few percent . if the icecube signal can be compared with another high - statistics signal , notably in super - kamiokande or hyper - kamiokande , the earth effect becomes clearly visible as a difference between the detectors . as one is looking for a signal modification in the range of a few percent , the absolute detector calibration may not be good enough in one or both of the instruments . however , for typical numerical sn simulations the effect is time dependent and most notably differs between the early accretion phase and the subsequent neutron star cooling phase . therefore , one would have to search for a temporal variation of the relative detector signals of a few percent . the large number of optical modules in icecube renders this task statistically possible . in fact depending on the differences in flavor - dependent fluxes , the statistical accuracy of super - kamiokande may turn out to be the limiting factor . this limitation is not significant for hyper - kamiokande . the unique location of icecube in antarctica implies that for a large portion of the sky this detector sees the sn through the earth when super- and hyper - kamiokande sees it from above , or the other way round , i.e.  the chances of a relative signal difference between the detectors are large . if both detectors were to see the sn from above there would be no earth effect to detect .    assuming that the magnitude of the mixing angle @xmath86 can be established to be large in the sense of @xmath160 by a long - baseline experiment  @xcite , observing the earth effect in sn anti - neutrinos implies the normal mass hierarchy . on the other hand , if @xmath161 has been established , the earth effect is unavoidable . not observing it would imply that the primary sn neutrino fluxes and spectra are more similar than indicated by state - of - the - art numerical simulations .    if @xmath160 is known , and we do not observe the earth effect , it still does not prove the inverted mass hierarchy . it could also mean that we do not properly understand the flavor - dependent source fluxes and spectra . therefore , even if @xmath160 is known , our method only allows one to detect the normal mass hierarchy , it does not strictly allow one to exclude it . as far as neutrino parameters are concerned , only a positive detection of the earth effect would count for much . of course , a normal mass hierarchy and @xmath160 is certainly a plausible scenario so that expecting a positive identification of the earth effect is not a far - fetched possibility .    in summary , even though galactic sne are rare , the anticipated longevity of icecube and the long - term neutrino program at super- or hyper - kamiokande imply that detecting the earth effect in a sn neutrino burst is certainly a distinct possibility . this could identify the normal neutrino mass hierarchy , a daunting task at long - baseline experiments  @xcite . given the difficulty of pinning down the mass hierarchy at long - baseline experiments , both icecube and super- or hyper - kamiokande should take all instrumental and experimental steps required to ensure the feasibility of a high - statistics simultaneous sn observation . this work was supported , in part , by the deutsche forschungsgemeinschaft under grant no . sfb-375 and by the european science foundation ( esf ) under the network grant no .  86 neutrino astrophysics . we thank francis halzen and robert buras for helpful comments on an early version of this manuscript . 99        f.  halzen , j.  e.  jacobsen and e.  zas , `` possibility that high - energy neutrino telescopes could detect supernovae , '' _ phys . d _ * 49 * , 1758 ( 1994 ) . f.  halzen , j.  e.  jacobsen and e.  zas , `` ultra - transparent antarctic ice as a supernova detector , '' _ phys . d _ * 53 * , 7359 ( 1996 ) [ astro - ph/9512080 ] . j.  ahrens _ et al . _ [ amanda collaboration ] , `` search for supernova neutrino - bursts with the amanda detector , '' _ astropart . * 16 * , 345 ( 2002 ) [ astro - ph/0105460 ] . k.  scholberg , `` snews : the supernova early warning system , '' astro - ph/9911359 . snews : the supernova early warning system , http://hep.bu.edu/@xmath138snnet/    a.  s.  dighe and a.  y.  smirnov , `` identifying the neutrino mass spectrum from the neutrino burst from a supernova , '' _ phys . d _ * 62 * , 033007 ( 2000 ) [ hep - ph/9907423 ] . a.  s.  dighe , `` earth matter effects on the supernova neutrino spectra , '' hep - ph/0106325 . c.  lunardini and a.  y.  smirnov , `` supernova neutrinos : earth matter effects and neutrino mass spectrum , '' nucl . b * 616 * , 307 ( 2001 ) [ hep - ph/0106149 ] . c.  lunardini and a.  y.  smirnov , `` probing the neutrino mass hierarchy and the 13-mixing with supernovae , '' hep - ph/0302033 . k.  takahashi and k.  sato , `` earth effects on supernova neutrinos and their implications for neutrino parameters , '' _ phys . d _ * 66 * , 033006 ( 2002 ) [ hep - ph/0110105 ] . g.  g.  raffelt , `` mu- and tau - neutrino spectra formation in supernovae , '' _ astrophys . j. _ * 561 * , 890 ( 2001 ) [ astro - ph/0105250 ] . r.  buras , h.  t.  janka , m.  t.  keil , g.  g.  raffelt and m.  rampp , `` electron - neutrino pair annihilation : a new source for muon and tau neutrinos in supernovae , '' _ astrophys . j. _ * 587 * , 320 ( 2003 ) [ astro - ph/0205006 ] . m.  t.  keil , g.  g.  raffelt and h.  t.  janka , `` monte carlo study of supernova neutrino spectra formation , '' _ astrophys . , in press ( 2003 ) [ astro - ph/0208035 ] . g.  g.  raffelt , m.  th . keil , r.  buras , h .- t . janka and m.  rampp , `` supernova neutrinos : flavor - dependent fluxes and spectra , '' proc .  noon  03 ( 1014 february 2003 , kanazawa , japan ) , astro - ph/0303226 . p.  vogel and j.  f.  beacom , `` angular distribution of neutron inverse beta decay , @xmath162 , '' _ phys . * 60 * , 053003 ( 1999 ) [ hep - ph/9903554 ] . t.  totani , k.  sato , h.  e.  dalhed and j.  r.  wilson , `` future detection of supernova neutrino burst and explosion mechanism , '' _ astrophys . j. _ * 496 * , 216 ( 1998 ) [ astro - ph/9710203 ] . m.  rampp and h .- janka , `` radiation hydrodynamics with neutrinos : variable eddington factor method for core - collapse supernova simulations '' , _ astron . _ * 396 * , 361 ( 2002 ) [ astro - ph/0203101 ] . janka , r.  buras , k.  kifonidis , t.  plewa and m.  rampp , `` explosion mechanisms of massive stars '' , in : _ core collapse of massive stars _ , edited by c.l . fryer ( kluwer academic publ . , dordrecht , 2003 ) [ astro - ph/0212314 ] . r.  buras , m.  rampp , h .- t .  janka and k.  kifonidis , `` improved models of stellar core collapse and still no explosions : what is missing ? '' , _ physical review letters _ , submitted ( 2003 ) [ astro - ph/0303171 ] . g.  g.  raffelt , `` particle physics from stars , '' _ ann . nucl . part . sci . _ * 49 * , 163 ( 1999 ) [ hep - ph/9903472 ] . m.  c.  gonzalez - garcia and y.  nir , `` developments in neutrino physics , '' hep - ph/0202058 . g.  l.  fogli , e.  lisi , a.  marrone , d.  montanino , a.  palazzo and a.  m.  rotunno , `` solar neutrino oscillation parameters after first kamland results , '' _ phys . d _ * 67 * , 073002 ( 2003 ) [ hep - ph/0212127 ] . j.  n.  bahcall , m.  c.  gonzalez - garcia and c.  pea - garay , `` solar neutrinos before and after kamland , '' _ jhep _ * 02 * , 009 ( 2003 ) [ hep - ph/0212147 ] . p.  c.  de holanda and a.  y.  smirnov , `` lma msw solution of the solar neutrino problem and first kamland results , '' _ jcap _ * 02 * , 001 ( 2003 ) [ hep - ph/0212270 ] . m.  maltoni , t.  schwetz and j.  w.  valle , `` combining first kamland results with solar neutrino data , '' _ phys . d _ * 67 * , 093003 ( 2003 ) [ hep - ph/0212129 ] . m.  maltoni , t.  schwetz , m.  a.  tortola and j.  w.  valle , `` constraining neutrino oscillation parameters with current solar and atmospheric data , '' _ phys . d _ * 67 * , 013011 ( 2003 ) [ hep - ph/0207227 ] . m.  apollonio _ et al . _ [ chooz collaboration ] , `` limits on neutrino oscillations from the chooz experiment , '' _ phys . b _ * 466 * , 415 ( 1999 ) [ hep - ex/9907037 ] . v.  d.  barger , s.  geer , r.  raja and k.  whisnant , `` exploring neutrino oscillations with superbeams , '' _ phys . d _ * 63 * , 113011 ( 2001 ) [ hep - ph/0012017 ] . a.  cervera , a.  donini , m.  b.  gavela , j.  j.  gomez cadenas , p.  hernandez , o.  mena and s.  rigolin , `` golden measurements at a neutrino factory , '' _ nucl . b _ * 579 * , 17 ( 2000 ) ; erratum _ ibid . _ * 593 * , 731 ( 2001 ) [ hep - ph/0002108 ] . m.  freund , p.  huber and m.  lindner , `` systematic exploration of the neutrino factory parameter space including errors and correlations , '' _ nucl . phys . b _ , * 615 * , 331 ( 2001 ) [ hep - ph/0105071 ] .
Abstract:

Answer: icecube , a future km@xmath0 antarctic ice cherenkov neutrino telescope , is highly sensitive to a galactic supernova ( sn ) neutrino burst . the cherenkov light corresponding to the total energy deposited by the sn neutrinos in the ice can be measured relative to background fluctuations with a statistical precision much better than 1% . if the sn is viewed through the earth , the matter effect on neutrino oscillations can change the signal by more than 5% , depending on the flavor - dependent source spectra and the neutrino mixing parameters . therefore , icecube together with another high - statistics experiment like hyper - kamiokande can detect the earth effect , an observation that would identify specific neutrino mixing scenarios that are difficult to pin down with long - baseline experiments . in particular , the normal mass hierarchy can be clearly detected if the third mixing angle is not too small , @xmath1 . the small flavor - dependent differences of the sn neutrino fluxes and spectra that are found in state - of - the - art simulations suffice for this purpose . although the absolute calibration uncertainty at icecube may exceed 5% , the earth effect would typically vary by a large amount over the duration of the sn signal , obviating the need for a precise calibration . therefore , icecube with its unique geographic location and expected longevity can play a decisive role as a `` co - detector '' to measure sn neutrino oscillations . it is also a powerful stand - alone sn detector that can verify the delayed - explosion scenario .


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: the study of non - perturbative properties of supersymmetric gauge theories , by making extensive use of their special properties like holomorphy , is by now a rather mature field of research , and a great wealth of results have been obtained over the last 15 years . many techniques and ideas have been used ( electric - magnetic duality , integrable systems , mirror symmetry , brane engineering  ) , producing an extremely rich and consistent picture of the strongly coupled regime of super yang - mills models . until recently , the most general approach was based on an application of the open / closed string duality to the holomorphic , or chiral , sector of the theory.@xcite the result of this approach is most elegantly encoded in a planar matrix model and a suitable glueball superpotential.@xcite    many attemps have been made to provide gauge theoretic justifications of the matrix model results . for example , in ref .  , the present author provided a proof of the matrix model conjecture ( in the so - called `` one - cut '' case ) based on the assumptions of confinement and the intriligator - leigh - seiberg linearity principle . these assumptions are of course very natural , but extremely difficult to justify from first principles . other works focused on the direct calculation of the glueball superpotential@xcite or the use of generalized konishi anomaly equations.@xcite however , these studies were limited to a perturbative analysis , whereas the main interest in the matrix model is its ability to provide exact _ non_-perturbative results . the conclusion is that in spite of their great interest in improving our intuitive understanding , all the above - mentioned approaches fall short in providing valid proofs of the results . our aim in this talk is to present a _ first principle , microscopic _ approach to the non - perturbative dynamics of @xmath0 gauge theories in the chiral sector , which amounts to computing directly the relevant path integrals without making any approximation or assumption.@xcite@xcite the general observable that we compute is the expectation value of an arbitrary chiral operator , [ genvev ] o(,q ) .such expectation values can not be corrected in perturbation theory ( which also explains why any perturbative argument that aims at computing them is doomed to fail ) , but they do get very non - trivial and interesting non - perturbative corrections . they depend in general on the various parameters in the gauge theory action . the gauge coupling constant enters in the quantum theory through the instanton factor @xmath1 . there are also various couplings in the tree - level superpotential and prepotential ( see below ) , that we have denoted collectively by @xmath2 in eq .  . a typical example of a chiral correlator is the gluino condensate in the pure @xmath0 gauge theory , which is proportional to a fractional power of @xmath1 , @xmath3 . from the knowledge of the expectation values , one can derive the quantum vacuum structure and the phases of general @xmath0 theories,@xcite@xcite the seiberg - witten solution of the theories with extended supersymmetry,@xcite and actually all the known exact results in supersymmetric gauge theories . our microscopic approach is based on nekrasov s instanton technology.@xcite@xcite this was originally developed for theories with @xmath4 supersymmetry , and our main contribution is to extend it to the @xmath0 case ( an important early work in this direction was given in ref .  ) . our results can be seen as the open string solution of the model , since we start from the gauge theory action . the solution is expressed in terms of averages over colored partitions that can be explicitly evaluated . this description is mathematically very different from the dijkgraaf - vafa recipe@xcite that uses averages over hermitian matrices . our proof in ref .  , reviewed below , that the two formalisms yield exactly the same results for the physical correlators provides a full justification of the matrix model and equivalently a proof of the open / closed string duality for the chiral sector of the @xmath0 gauge theories .    an interesting application of our results is to revisit the perturbatively - derived anomaly equations of ref .   and see if and in what sense they remain true at the non - perturbative level . as we shall explain , the anomaly equations are non - trivial dynamical relations from the microscopic point of view ( whereas they correspond to rather trivial identities , the loop equations , in the matrix model framework ) . an interesting conceptual result is that , once these equations have been understood at the non - perturbative level , the full solution of the model follows.@xcite the remaining ambiguities , that are related to the choice of particular veneziano - yankielowicz terms in the glueball superpotentials,@xcite turn out to be completely fixed by general consistency conditions . the plan of the talk is as follows . in the next section , we present the model on which we focus and explain the main results . in section 3 , we discuss the generalized anomaly equations , emphasizing the important gap between a perturbative study and the non - perturbative analysis required to compute the correlators . the power of the non - perturbative anomaly equations is fully revealed in the consistency theorem of ref .   and ( theorem 3.2 ) , which we explain . in section 4 , we give more details on the microscopic formalism . finally , we discuss possible generalizations and conclude in section 5 . we focus on the paradigmatic example of the @xmath5 theory with one adjoint chiral superfield @xmath6 . let us note that there is no difficulty in considering a more general matter content . if needed , one can also integrate out the adjoint field by sending its mass to infinity at the end of the calculations . if we note @xmath7 the super field strength that contains the gauge field and the gluino , the lagrangian takes the form [ lag]l=2 ^ 2w + , with [ wlag]w = -t(x)w^w _ + nw(x ) .the function @xmath8 is an arbitrary polynomial tree - level superpotential , and @xmath9 is an arbitrary field - dependent polynomial gauge coupling . if @xmath10 , the theory has @xmath4 supersymmetry and @xmath11 is an arbitrary tree - level prepotential . this generalized seiberg - witten model was studied in ref .  . when @xmath12 , the theory has only @xmath0 supersymmetry . special cases are studied in ref .  . it turns out that the rles of @xmath13 and @xmath14 are somehow interchanged in the microscopic and matrix model formalisms,@xcite which makes the consideration of the general theory very natural . the case where @xmath15 is a constant corresponds to the standard theory . it is not difficult to show that any correlator can be written as a sum of products of correlators of the basic variables [ uvdef ] u_k = x^k , v_k =- w^w_x^kthat generate the chiral ring . it is thus convenient to encode the solution of the theory into two generating functions [ rsdef ] r(z ) = _ k0s(z ) = _ k0 the solution derived in the microscopic formalism takes the following form . first one introduces averages over the ensemble of colored partitions ( more details are given in section 4 ) , which physically label certain field configurations over which the path integrals localize . if we denote these averages with the symbol @xmath16 , we compute [ ukmic ] u_k,()=_0 x^k .the parameter @xmath17 corresponds to a deformation of the gauge theory ( the so - called @xmath18-background ) that one must consider in order to define the measure on colored partitions . the result for the original gauge theory are obtained by taking the @xmath19 limit . the parameters @xmath20 correspond to arbitrary boundary conditions at infinity for the adjoint field @xmath6 , [ bcx ] x _ = .the importance of these boundary conditions will be explained in more details in section 4 . it is also possible to express @xmath21 in terms of the @xmath22@xcite [ vkmic ] v_k , ( ) = _ 0(w(x)x^k+2- w(x)x^k+2 ) .generating functions @xmath23 and @xmath24 can then be defined following eq .  . to obtain the physical correlators , one must fix @xmath25 to special values , that are obtained by extremizing the microscopic superpotential@xcite [ wmic ] ( ) = w(x ) . the set of solutions @xmath26 to the equations [ qem](=^ * ) = 0turns out to be in one - to - one correspondence with the full set of quantum vacua of the theory.@xcite the physical generating functions are then given by [ micphys ] r(z ) = ( z;^ * ) , s(z ) = ( z;^ * ) . it is interesting to compare the above formalism with the dijkgraaf - vafa matrix model formalism . there , one computes averages , that we shall denote by @xmath27 , over hermitian matrices . the basic identity relates the glueball operators @xmath28 to matrix model averages , [ vkmac ] v_k , ( ) = n_0x^k . the parameter @xmath29 ( not to be confused with @xmath17 in the microscopic formalism ) is related to the size of the matrices in the matrix model , @xmath30 , and thus we take the planar limit in eq . ( although the number of colors @xmath31 in the gauge theory is fixed and finite ) . the arbitrary parameters @xmath32 are called the filling fractions . together with the integer @xmath33 , @xmath34 , they label the general solution of the matrix model . the index `` @xmath35 '' in emphasizes the fact that this is a matrix model average , and it should not be confused for example with @xmath36 defined in eq .  . a formula for @xmath37 can also be given , which is formally similar to the right hand side of eq . but with matrix averages replacing averages over colored partitions and @xmath38 replacing @xmath14 ( see eq .  ( 2.30 ) in ref .  ) . to @xmath39 and @xmath40 correspond generating functions @xmath41 and @xmath42 that have been studied extensively in the literature . note that _ they do not coincide _ with the generating functions @xmath23 and @xmath24 of the microscopic formalism ; they depend on different variables @xmath25 and @xmath43 , and they have in general different analytic structures ( for example , it is well - known that @xmath44 and @xmath45 are two - valued , algebraic functions of @xmath46 defined on a hyperelliptic curve ; on the other hand , @xmath47 is infinitely multi - valued and thus not algebraic@xcite ) . a basic conjecture of the matrix model formalism@xcite is that the physical correlation functions are obtained for certain values of the filling fractions @xmath43 , that correspond , for each value of @xmath33 , to the critical points @xmath48 of a suitable glueball superpotential @xmath49 , [ mmeq]w_^(r)(=^ * ) = 0 , 1 rw . we can now state our main result . first , the set of solutions of the @xmath50 equations are in one - to - one correspondence with the set of solutions of the _ single _ equation .@xcite taking into account this correspondence , one can then show that@xcite [ mr]these fundamental identities are equivalent to the open / closed string duality in our case . they imply that when both formalisms are taken on - shell ( i.e.  when @xmath26 and @xmath48 ) , then the generating functions computed using colored partitions and matrices coincide . they also provide the full justification of the matrix model recipe , since the microscopic formalism is a first - principle approach and the identification in eq .   with the physical gauge theory correlators follows from the basic rules of qft . in this section , we are going to revisit the approach advocated in ref .  , which is based on the study of the gauge theory equations of motion , but now from a non - perturbative point of view . for simplicity , we limit the discussion to the standard case for which @xmath38 is a constant .      to understand the nature of the reasoning and of the consistency conditions we want to use , it is useful to start by analysing the `` trivial '' case of the classical theory . if we note @xmath51 , the classical equations of motion take the simple form [ clem ] w(x ) = 0 _ i=1^d(x - x_i ) , which yields [ rcl ] r(z ) = _ i=1^dthe positive integers @xmath52 label the classical vacua @xmath53 of the theory and correspond to the number of eigenvalues of the matrix @xmath6 that are equal to @xmath54 . the gauge symmetry breaking pattern is @xmath55 . an interesting question to ask is the following : can we write the equations of motion in terms of gauge invariant operators only ? this is essential in view of possible generalizations to the quantum theory . a complete set of relations on gauge invariant operators derived from is given by [ clgieq ] ( x^n+1w(x ) ) = 0 , n-1 .these equations are obtained by considering variations of the form @xmath56 , which are generated by the virasoro - like operators [ vira ] l_n = -x^n+1= ( n - m)l_n+m .in terms of the generating function @xmath57 , it is straightforward to check by expanding at large @xmath46 that the equations are equivalent to the requirement that the product [ prodcl ] w(z)r(z ) = n(z)must be a polynomial . in other words , the most general solution to eq . is of the form [ rclsolgi ] r(z ) = = _ i=1^dthis is _ not _ the expected solution , because the @xmath58s can be arbitrary complex numbers , whereas to match the correct solution they must be positive integers ! so it would seem that the description in terms of gauge invariant operators ( which is also what one gets in a closed string formalism , where only gauge invariant objects can be introduced ) is missing something . intuitively , the open strings ( matrix ) can be built from the closed strings ( gauge invariant operators ) _ only when some quantization conditions are satisfied_.    the fundamental idea to implement these quantization conditions in a gauge invariant language@xcite is that since the number of colors @xmath31 in the gauge theory is _ finite _ , then the @xmath59 are not all independent , but there must exist polynomial relations of the form [ relcl ] u_n+p = p_p(u_1,  ,u_n)for all @xmath60 . the explicit form of the polynomials @xmath61 can be easily found . it turns out that there is a simple but nice algebraic lemma@xcite that states that the relations are consistent with eq .   _ if and only if the @xmath58 are positive integers_.    at the quantum _ perturbative _ level,@xcite one can still study the consequence of the variations generated by the operator @xmath62 in eq .   in the path integral . the result reads@xcite [ anpert1 ] -n_k0g_ku_n+k+1 + 2_k_1+k_2=nu_k_1v_k_2 = 0 , where we are using the expansion @xmath63 . the first term in the left hand side of eq .   corresponds to the classical contribution that we already had in eq . and the second term is a one - loop anomaly called a generalized konishi anomaly . in the quantum theory non - trivial information also comes from considering the variations generated by the operators [ virj ] j_n = = ( n - m ) j_n+m , = 0 , which yield [ anpert2 ] -n_k0g_kv_n+k+1+_k_1+k_2=nv_k_1v_k_2 = 0 . now comes an important point that was apparently completely overlooked in the early literature on this subject . the equations and must be supplemented with the constraints . these constraints are automatically valid to all orders of perturbation theory . it is then not difficult to show that the only solutions to eq .  , and are purely classical , @xmath64 and @xmath57 given by eq .  . in some sense , we have just rederived , in a very roundabout way using anomaly equations , the standard perturbative non - renormalization theorem for chiral operators . note that the anomaly equations are very similar to the loop equations of the matrix model . actually , eq .   precisely coincides with the loop equations for the @xmath65 in the planar limit , and this is how the relation was explained in ref .  . however , we now see that there is a fundamental difference between the gauge theory and the planar matrix model . _ in the planar matrix model , since the size of the matrix is infinite , all the variables that enter the loop equations are independent , and the most general solution is labeled by filling fractions . in the gauge theory , @xmath31 is finite and there are constraints . _      a direct consequence of the above analysis is that the anomaly equations must be quantum corrected . otherwise the correlators would be purely classical ! quantum corrections can be a priori fairly general , the only obvious constraints coming from global symmetries . for example , is replaced in the quantum theory by an equation of the general form [ anq1 ] -n_k0g_ku_n+k+1 + 2_k_1+k_2=nu_k_1v_k_2 + _ t1q^t(_k0 g_ka_n , k^(t)(u_p ) + _ k0c_n , k^(t)(u_p)v_k ) = 0 .similarly , the generators @xmath62 and @xmath66 , eq .   and , and the algebra they generate do get strong quantum corrections that are computed explicitly in ref .   and and that we describe briefly in section 4.5 .    what is the strongest `` anomaly theorem '' that can be expected to be valid at the non - perturbative level ? the precise statement is as follows.@xcite    ( non - perturbative anomaly theorem ) it is possible to absorb the non - perturbative quantum corrections in the anomaly equations by a suitable redefinition of the variables that enter the equations . for example , redefinitions of the variables @xmath67 of the form [ redef ] u_k u_k + _ t1q^tc_k^(t)(u_p)are allowed by the global symmetries if @xmath68 . this simply means that the operators @xmath67 for @xmath68 are ambiguous in the quantum theory and a definition in terms of the basic variables must be given . this is very similar to the ambiguities in defining composite operators in ordinary qfts . a precise definition requires the choice of a particular scheme , and we explain in section 4.3 that this is exactly what happens here at the non - perturbative level ( perturbatively , composite chiral operators are unambiguous ) . one possible and _ perfectly consistent _ definition is actually given by eq .  , but other choices , corresponding to quantum corrected relations of the form [ qrel ] u_n+p = p_p(u_1,  ,u_n , q ) , are also possible . it is crucial to understand that the choice of relations is _ totally arbitrary _ and _ do not _ correspond to quantum corrections to the chiral ring . actually , the ring generated by the @xmath67 and @xmath1 ( which is the sector of the chiral ring of zero r - charge ) is the polynomial ring @xmath69 $ ] . it is well - known that this ring do not admit non - trivial deformations that preserve commutativity . the content of theorem 3.1 is now clear . for generic definitions of the variables @xmath67 , for example with the choice , the anomaly equations have complicated explicit quantum corrections as in eq .  . however , _ there exists canonical definitions of the variables , of the form , that make the quantum corrections to the anomaly equations implicit . _ it is explained in section 4.3 that this canonical choice is related to a particular regularization of the instanton moduli space .    the full proof of theorem 3.1 is given in ref . using the solution from the microscopic formalism . it is however interesting to make a brief comment on another possible route , that was suggested in a footnote in ref .   and that was tried in the literature . the idea is to make an ansatz for the possible quantum corrections to the operators @xmath62 and @xmath66 , for example [ ansatz ] l_nu_m = -m u_n+m + _ t1q^tr_n , m^(t)(u_p ) , and then try to use wess - zumino consistency conditions to constrain the form of the anomaly equations . however , this approach fails , because the ansatz turns out to be wrong . this can be checked on the exact expressions for the quantum operators @xmath62 in ref . ( see section 4.5 ) . the problem is that eq . assumes that the action of the quantum @xmath62 on a chiral operator is given by a polynomial expression . perhaps surprisingly , the quantum corrections turn out to be much stronger . let us now explain the main result of ref .   and . as is well - known , the most general solution to the anomaly equations depends on a finite number of arbitrary parameters : the quantum versions of the constants @xmath58 that we had at the classical level in section 3.1 and also the matrix model filling fractions . the usual recipe , in the matrix model formalism , is to postulate that the @xmath58 must be positive integers and that the filling fractions are fixed by extremizing the glueball superpotentials , eq .  . in the microscopic approach , this is justified by the identities , as we develop in section 4 . however , the philosophy of ref .   and is to show that the same result can be obtained from theorem 3.1 by using algebraic consistency conditions only . this is an interesting conceptual result . it shows in particular that the early point of view on this problem was erroneous . originally , it was thought that the anomaly equation part was `` easy '' and that a full non - perturbative justification , based for example on equations like , could be worked out rather straightforwardly . on the other hand , it was thought that the fixing of the filling fractions ( that correspond to the gluino condensates in the gauge theory ) to their physical values would be extremely difficult to justify rigorously ( the fact that the quantization of the @xmath58 was also highly non - trivial was completely missed in early works ) . now the chiral ring consistency theorem means that the situation is quite the opposite : once the non - perturbative anomaly theorem is proven ( which turns out to require the full power of the microscopic approach , invalidating in particular ) , the fixing of the filling fractions ( and of the @xmath58 ) follow simply from consistency ( and not from dynamics ) ! the proof of the theorem@xcite is a generalized version of the classical analysis given in section 3.1 . the main point is that the anomaly equations yield an _ infinite _ set of constraints on a _ finite _ set of variables in the gauge theory , because @xmath31 is finite ( this is very unlike the planar matrix model ) . clearly , the consistency of an infinite number of equations for a finite number of variables is not obvious at all , and indeed most solutions to the anomaly equations do not satisfy the requirements . the precise theorem ( derived in ref .   in the case of the theory with an arbitrary number of quark flavors , from which the theory with only the adjoint field @xmath6 can be obtained by integrating out the quarks ) is as follows . ( chiral ring consistency theorem ) a general solution to the anomaly equations is not consistent with the existence of relations of the form between the variables . consistency can be achieved only for one particular choice of the polynomials @xmath70 in and only when the @xmath58s are positive integers and for special values of the filling fractions . these special values correspond precisely to the critical points of the glueball superportentials , as in , defined to include uniquely specified veneziano - yankielowicz terms . note that the conditions on @xmath58 and the filling fractions are known to be equivalent to the quantization conditions of the compact periods of the one - form @xmath71 , which is an elegant and powerful way to implement the constraints . let us finish this section with a few additional qualitative comments . the `` philosophy '' of the theorem is that the open strings can be built from the closed strings only when some quantization conditions are satisfied in the closed string theory . this is similar to the quantization of the rr flux in @xmath72 for example . in our case , the conditions follow from the extremization of the flux superpotential ( which can be identified with the glueball superpotential ) . another comment is that in the microscopic formalism , the existence of relations of the form is trivially implemented , since the operators are constructed from a @xmath73 matrix @xmath6 . this implies that non - trivial dynamical equations in the closed string / matrix model framework ( which ensures the consistency of as shown by theorem 3.2 ) must be exchanged with trivial identities in the open string / microscopic formulation . this is exactly what is found.@xcite on the other hand , off - shell ( i.e.  valid for any @xmath43 ) identities in the closed string / matrix model formulation , like the generalized anomaly equations , correspond to highly non - trivial dynamical identities that are only valid on - shell in the open string / microscopic description . this will be made clear in sections 4.4 and 4.5 . nekrasov s instanton technology@xcite@xcite is the crowning achievement of many years of developments in instanton calculus ( see ref .   and references therein ) . in a snapshot , this formalism allows to compute any integral over the moduli space of instantons in the chiral sector , for any value of the topological charge , and then to sum up exactly the instanton series ( this series always have a finite radius of convergence ) . the remarkable mathematical property that underlies this result is that under certain conditions the integral over the instanton moduli space localizes over a finite number of field configurations that are labeled by colored partitions . a generic formula thus looks like [ modspaceint]m^(k)o(^(k))e^-s_e = q^k_||=k_^2o _ .the integral in the left hand side in an integral over the moduli space of instantons of topological charge @xmath74 , @xmath75 denoting collectively the moduli . the expression @xmath76 corresponds to the operator @xmath77 , which can be an arbitrary chiral operator , evaluated on a particular instanton configuration labeled by @xmath75 . the right hand side of is proportional to the @xmath78 power of the instanton factor @xmath1 , and is given by a finite sum over colored partitions @xmath79 of size @xmath80 . the factor @xmath81 is a measure on the ensemble of colored partitions , and @xmath82 denotes the operator @xmath77 on the particular instanton configuration labeled by @xmath79 .    in order to get a better understanding of eq . , let us give some more details on the ensemble of partitions and of colored partitions . an ordinary partition @xmath83 of size @xmath84 is simply a decomposition of the positive integer @xmath84 into a sum of positive integers . thus ordinary partitions are in one - to - one correspondence with young tableaux . for example , a partition of the integer 14 is depicted in fig . the number of boxes in the young tableaux is equal to the topological charge . it is well - known that young tableaux are in one - to - one correspondence with irreducible representations of the symmetric group with @xmath84 elements , and thus it is rather natural to weight a given partition by the dimension @xmath85 of this irreducible representation ( this is called the plancherel measure in the mathematical literature ) . indeed , a careful application of the localization techniques to the integral in eq .   shows that the measure factor is given by [ meas]_k = r_k , where @xmath17 is a deformation parameter that we eventually take to zero ( more is said on this deformation parameter in section 4.3 ) . the partitions that enter eq .   are not ordinary partitions , but colored partitions , and thus the above discussion must be generalized . a colored partition is simply a collection of @xmath31 ordinary partitions , @xmath86 . the integer @xmath31 must coincide with the number of colors in the gauge theory . the measure factor @xmath87 is then a natural generalization of the formula . a detailed discussion can be found for example in the appendix of ref .  . a calculation based on instantons is non - perturbative , yet it is a priori valid only at weak coupling . in the case of @xmath4 supersymmetry , this is not a limitation . indeed , @xmath4 gauge theories have a moduli space of vacua . the moduli space always contains a region where the theory is arbitrarily weakly coupled and the instanton approximation is exact . the full solution of the theory can then be obtained by _ analytic continuation . _ for these reasons , the instanton technology was originally developed with the aim of solving @xmath4 gauge theories . the situation for theories with only @xmath0 supersymmetry is a priori much less favorable . indeed , these theories generically do not have a moduli space , but a discrete set of vacua . _ some of these vacua are intrinsically strongly coupled _ and thus a direct instanton analysis is impossible . in particular , observables can be given by fractional powers of the instanton factor , which is clearly incompatible with a direct instanton calculation . the way this problem can be solved was explained in ref .  . the idea is to make the calculation in two steps . first , one considers _ off - shell _ , unphysical , correlators obtained by computing path integrals with fixed boundary conditions at infinity as in eq .  . by choosing appropriately @xmath25 ( in such a way that @xmath88 , where @xmath89 is the dynamically generated scale of the theory ) , the path integrals can be forced to be weakly coupled , and the ( unphysical ) correlators are then given exactly in terms of instantons . since the result must be holomorphic in @xmath25 , the value of the correlators for arbitrary @xmath25 can be obtained unambiguously by analytic continuation .    in the second step of the calculation , one computes the exact quantum superpotential for @xmath25 . we call this superpotential the microscopic superpotential @xmath90 . using the r - symmetry , @xmath91 can always be expressed in terms of the correlators of chiral operators , and can thus be computed exactly in the instanton approximation using step one . the superpotential @xmath91 has a fundamental property that distinguishes it from any other quantum superpotential previously used in the literature:@xcite _ its critical points are in one - to - one correspondence with the full set of vacua of the theory_. in particular , the solutions corresponding to any number of cuts in the matrix model are obtained as critical points of a single superpotential , whereas in the matrix model approach one needs a different glueball superpotential @xmath92 for each value of @xmath33 ( @xmath33 corresponds to the number of cuts ) , as explained in section 2 . the fact that all the vacua are found as extrema of a single superpotential @xmath91 is of course the signature of the microscopic nature of our analysis . we can now understand how the strongly coupled @xmath0 vacua are described with the help of instantons , in an indirect way . we first compute @xmath25-dependent unphysical correlators and @xmath93 in the instanton approximation . the corresponding instanton series have a finite radius of convergence . we then solve eq .  . some of the solutions @xmath26 lie inside the disk of convergence of the instanton series . these solutions correspond to weakly coupled , coulomb - like vacua , for which all the physical correlators can be expanded as series in @xmath1 and could actually be computed directly with instantons without using our two - step procedure . in addition , it turns out that there are also solutions @xmath26 to eq .   that lie outside the disk of convergence of the instanton series ( they are typically on the boundary of this disk ) . _ these solutions correspond to the strongly coupled vacua . _ expanding around such strongly coupled solutions automatically produce series containing fractional powers of the instanton factor . for example , this is how the gluino condensate @xmath94 is obtained in the pure @xmath0 gauge theory .      physically , the deformation parameter @xmath17 ( the so - called @xmath18-background ) appearing in eq . provides a nice ir regulator . the calculation of the scalar correlators @xmath95 in the @xmath96 limit goes essentially as in the @xmath4 theory.@xcite the glueball correlators @xmath97 , which are zero in the @xmath4 case , are much more interesting . .   shows that they are related to the next - to - leading order in the small @xmath17 expansion of the scalars.@xcite    some correlators turn out to be ambiguous in instanton calculus . for example , if @xmath65 for @xmath68 is inserted in the path integral , the result is typically @xmath98 . this singular behavior is due to the small instanton singularities on the instanton moduli space . the discussion in section 3.2 gives a clear physical interpretation of these ambiguities : they correspond to the ambiguities in the definitions of the variables . each set of definitions thus corresponds to a choice of regularization of the instanton moduli space . in nekrasov s formalism , we use the non - commutative deformation of the theory to regularize the moduli space . this particular scheme yields the canonical definition of theorem 3.1 . an interesting extension of these ideas is as follows . the non - commutative deformation does not work for all gauge groups , but we conjecture that _ there always exists a unique canonical regularization of the instanton moduli space , for all gauge groups , corresponding to a choice of variables that make the quantum corrections in the anomaly equations implicit . _      we have developed a new `` open string '' formalism to solve @xmath0 theories , based on first - principle path integral calculations . we also have at our disposal the closed string point of view , based on summing over hermitian matrices and the dijkgraaf - vafa glueball superpotential . the two formalisms are clearly completely different , is spite of some formal similarities when one exchange scalar and glueball operators , colored partitions and matrices , identities and equations of motion.@xcite    the fundamental result , which is mathematically summarized by eq . , is that when both formalisms are _ on - shell _ , they yield the same correlators . let us give a few more details on how this equivalence works .    in the microscopic formalism , we first compute the generating functions @xmath23 and @xmath24 , whereas in the matrix model formalism one deals with different generating functions @xmath41 and @xmath42 . in the matrix model formalism , extremizing the glueball superpotential is equivalent to the quantization of the periods of @xmath71 . this means that [ eq1 mm ] w_~ r_z 2iz .we have explained in section 3 that the condition @xmath99 ensures the consistency with the open string formulation of the theory ( this is essentially theorem 3.2 ) . this means that in the microscopic approach , which is based on the open string formulation and thus in which the constraints are trivially satisfied , the conditions derived from @xmath99 should correspond to identities valid off - shell . this is exactly what is found : one can easily show that [ eq1mic ] ( z;)z 2iz , _ for any _ @xmath25 . similarly , in the matrix model formalism , [ eq2 mm ] s_(z;)z = 0is a trivial identity valid off - shell ( for any @xmath43 ) . it follows from the loop equations of the matrix model . on the other hand , @xmath100 does not satisfy an identity like for any @xmath25 , but rather we have [ eq2mic ] ~z .consistency between the formalisms thus comes from the fact that identities in one formalism , like and , are exchanged with equations of motion in the other formalism , and . eventually , the full equivalence when @xmath26 and @xmath48 , i.e.  when @xmath101 and @xmath99 , can be proven.@xcite      we can now provide a full non - perturbative discussion of the anomaly equations and of theorem 3.1 . as in any first - principle , microscopic approach , the anomaly polynomials are expressed as variations of the microscopic quantum effective action . in the chiral sector we are discussing , this reduces to variations of the microscopic superpotential . if we denote by @xmath102 the anomaly polynomials in the microscopic formalism ( compare with eq .   and ) , one can construct first order partial differential operators @xmath103 and @xmath104,@xcite that are the quantum versions of the operators @xmath62 and @xmath66 discussed in section 3 , such that [ anovar ] l_n= a_n , j_n= b_n .more precisely , the operators @xmath103 and @xmath105 have the form [ lfform ] l_n = _ i=1^n_n , i()j_n = _ i=1^nj_n , i ( ) where @xmath106 and @xmath107 are given in terms of period integrals of the one - forms @xmath108 and @xmath109 respectively.@xcite    one can then straightforwardly compute , for example , the quantum corrections to the perturbative super - virasoro algebra given by and . one then finds in particular that the quantum algebra does not close on the operators @xmath103 and @xmath105 alone . we can also compute explicitly the action of @xmath103 and @xmath105 on the variables @xmath110 and @xmath111 . we now understand why the simple ansatz can not work : @xmath112 is a perfectly well defined function of @xmath25 , but @xmath25 itself is a multi - valued function of the @xmath113 ( because of monodromies in the @xmath25-plane , that are strictly similar to the familiar monodromies in the seiberg - witten moduli space of @xmath4 theories ) . thus @xmath114 can not possibly be expressed as a polynomial is the @xmath115s . we have developed a first - principle , text - book like approach to all the known exact results in @xmath0 super yang - mills theories . this provides in particular an explicit and exactly solvable example of the open / closed string duality . the duality translates mathematically into a beautiful equivalence between formalisms based on sums over colored partitions on the one hand and on matrix integrals on the other hand . it is a unique case where both sides of the duality are now exactly solved . many generalizations are possible . particularly interesting examples include turning on some backgrounds ( corresponding to higher genus in the matrix model for instance ) . each case must yield a non - trivial and beautiful equivalence between the open and closed string formulations . this work is supported in part by the belgian fonds de la recherche fondamentale collective ( grant 2.4655.07 ) , the belgian institut interuniversitaire des sciences nuclaires ( grant 4.4505.86 ) , the interuniversity attraction poles programme ( belgian science policy ) and by the european commission fp6 programme mrtn - ct-2004 - 005104 ( in association with v.  u.  brussels ) .
Abstract:

Answer: we give a brief account of the recent progresses in super yang - mills theories based in particular on the application of nekrasov s instanton technology to the case of @xmath0 supersymmetry . we have developed a first - principle formalism from which any chiral observable in the theory can be computed , including in strongly coupled confining vacua . the correlators are first expressed in terms of some external variables as sums over colored partitions . the external variables are then fixed to their physical values by extremizing the microscopic quantum superpotential . remarquably , the results can be shown to coincide with the dijkgraaf - vafa matrix model approach , which uses a totally different mathematical framework . these results clarify many important properties of @xmath0 theories , related in particular to generalized konishi anomaly equations and to veneziano - yankielowicz terms in the glueball superpotentials . the proof of the equivalence between the formalisms based on colored partitions and on matrices is also a proof of the open / closed string duality in the chiral sector of the theories .