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 weak energy condition of general relativity , the requirement that there be no negative energy densities , is sufficient to prevent the appearance of exotic features such as compactly generated closed timelike curves @xcite and superluminal travel @xcite . quantum field theory appears to violate this condition , however . one example is the standard casimir system of parallel plates , for which there is a negative energy density between the plates . however , this is an idealized system , which assumes a perfect conductor with an infinitely sharp and flat edge . a real material will have a rough surface at the atomic scale and will also appear transparent to very high energy modes . since the casimir energy is a sum over all energies , it will always include modes for which these effects are relevant , so this idealization could affect the value of the sum . in addition , since the boundary condition is imposed externally , there is no measure of the energy that would be required to maintain it . although there are other ways to produce negative energy densities , for example a superposition of states with zero and two photons , these cases are constrained by averaged energy conditions , which require the energy to be positive when averaged along an entire geodesic . they are also constrained by quantum inequalities @xcite , which limit the total negative energy that can exist when averaging over a certain period of time . thus it is important to understand problems of the casimir type if we want to know whether quantum field theory protects general relativity against negative energies .    in this paper , we reconsider the question of the energy density in such systems . to avoid the subtleties associated with the casimir problem , we consider a quantum field in the presence of a background potential ( i.e. , a field with a mass that depends on position ) . in such an approach , one can choose a potential that depends only on one spatial dimension , and simulate the parallel plates in the casimir problem . by generalizing the approach of @xcite to local densities , we can precisely cancel the divergences in the calculation in a definite renormalization scheme . @xcite considered similar problems for the special case of reflectionless potentials , such as the potentials for the supersymmetric kink and sine - gordon models . here we present a general approach suitable for numerical computation , in addition to analytic calculations in exactly solvable models @xcite . these techniques are also useful for the study of casimir forces and stresses @xcite . to illustrate our method , we will first consider a simple model . we take a real , massless scalar field in 2 + 1 dimensions in the background of a repulsive potential @xmath1 that depends on one spatial dimension but not the other . we start with the hamiltonian density = 12and expand the field @xmath2 in terms of small oscillations , giving ( x , y , t ) = _ -^ _ 0^_=+ , - ( _ k^(x ) e^ipy e^-i(p ) ta_k , p^+_k^(x)^e^-ipy e^i(p ) ta^_k , p^ ) . where @xmath3 . the @xmath4 are normal mode wave functions , which can be taken to be real . the sum is over the symmetric mode , @xmath5 , and the antisymmetric mode , @xmath6 . they satisfy [ eqn : eom ] -^_k(x ) + v(x)_k^(x ) = k^2_k^(x ) where prime denotes differentiation with respect to @xmath7 , with the normalization _ -^dx _ k^+(x ) _ k^-(x ) = 0 _ = + , - _ -^dx _ k^(x ) = 2(k - k ) , which gives @xmath8 and @xmath9 as the solutions in the free case , @xmath10 . the energy density is then = _ -^ _ 0^_=+ , - 12 . we write (x)^2 = 12d^2dx^2 ( x)^2-(x)(x ) and then use eq . ( [ eqn : eom ] ) to obtain = _ -^ _ 0^_=+ , - . the integral is highly divergent , but by using dimensional regularization and introducing counterterms into the hamiltonian , as discussed in sec . [ sec : method ] , we can render the integral finite . we then integrate out the transverse modes , giving _ = - _ 0^ _ = + , - \{&&^n+1 & & + n+14^n-1d^2dx^2(_k^(x)^2 ) } , where @xmath11 is the number of transverse dimensions , later to be set to 1 . the hamiltonian has been renormalized by subtracting a constant term for the vacuum energy and a term proportional to the potential , which is sufficient to render it finite in 2 + 1 dimensions . we can relate the norms of the mode wavefunctions to the green s function by ( see for example @xcite ) _ = + , -_k^(x)^2 = 2k g(x , x , k ) , where @xmath12 is the green s function , which satisfies -g(x , x,k ) + v(x)g(x , x,k ) - k^2g(x , x,k ) = ( x - x ) and has only outgoing waves ( @xmath13 ) at infinity . the green s function has the symmetry property @xmath14 , so for real @xmath15 we can write _ = + , -_k^(x)^2 = kig(x , x , k)-ki g ( x , x , -k ) . thus we can compute the energy by extending the range of integration to @xmath16 , and using @xmath17 , _ = - _ -^^n+1 dk , [ eqn : contourextend ] where , since we are taking the massless limit , @xmath18 . next we would like to convert this expression into a contour integral by closing the contour at infinity in the upper half plane . the contour at infinity does not contribute , because for large , positive @xmath19 , g(x , x , k ) 1+v(x)2k^2 + o ( k^-4 ) . singularities in the green s function in the upper half plane correspond to normalizable eigenfunctions of the hamiltonian , which represent bound states . since the hamiltonian is hermitian , the bound states must have real energies , so the singularities must lie on the imaginary axis and have @xmath20 where @xmath21 is the mass . in this example , we have a repulsive potential and a massless particle , each of which is sufficient to ensure that there are no bound states at all . thus the green s function has no singularities for @xmath22 , and the only contribution to the integral comes from the branch cut along the positive imaginary axis coming from @xmath23 . integrating around the branch cut and using eqs . ( [ id1 ] ) and ( [ id2 ] ) below gives _ = - _ 0^^n+1 d and then setting @xmath24 gives [ eqn : m = n=1special ] _ [ eqn : greenn=1 ] once one has computed the green s function , this integral is straightforward , though it may be necessary to resort to numerical techniques . we show the calculation for some example potentials in sec . [ sec : examples1 ] below . we will now consider the more general case of a real scalar field of mass @xmath21 in the background of a potential that is spherically symmetric in @xmath25 nontrivial coordinates , which we label by @xmath7 , and independent of the remaining @xmath11 trivial coordinates , which we label by @xmath26 . the energy density is = ( ^2 + ( ) ^2 + v(r ) ^2 + ^2 ^2 ) = ( ^2 + ^2(^2 ) - ^2 + v(r)^2 + ^2 ^2 ) , where @xmath27 . decomposing the quantum field @xmath2 in terms of modes gives ( r,,t ) & = & _ , _ z & & ( _ j ( ^_j(r)^y^m__z()^e^-ipy e^i_j^(p ) t a_j , p^_z^+ ^_j(r ) y^m__z ( ) e^ipy e^-i_j^(p ) t a_j , p^_z ) . & & + . _ 0^ ( ^_k(r)^y^m__z()^e^-ipy e^i(p ) t a_k , p^_z^+ ^_k(r ) y^m__z ( ) e^ipy e^-i(p ) t a_k , p^_z ) ) , where @xmath28 , the bound state energies are @xmath29 , and the sum over @xmath30 gives the partial wave expansion in the @xmath25 nontrivial dimensions . the degeneracy factor @xmath31 in each partial wave is given by the dimension of the space of symmetric tensors with @xmath30 indices , each running from @xmath32 to @xmath25 , with all traces ( contractions ) removed @xcite . by the symmetry of the indices , this dimension is given by the number of ways to make @xmath30 indices out of 0 or more 1 s , 0 or more 2 s , and so on , which is the number of distinct ways to place @xmath33 dividers into @xmath34 slots . removing all the traces requires subtracting the same quantity with @xmath30 replaced by @xmath35 . we thus obtain d^m_= - = ( m+2 - 2 ) . the wavefunctions @xmath36 are the eigenstates of the time - independent radial schrdinger equation ( - - + + v(r ) ) ^_k(r ) = k^2 ^_k(r ) , which in general comprise both bound and scattering states . the wavefunctions and creation and annihilation operators are normalized as follows . for the spherical harmonics , y^m__z()^y^m__z ( ) d= _  _ _ z _z , for continuum states , _ 0^r^m-1 ^_k(r)^^_k(r ) dr & = & ( k - k ) = [ a_k , p^_z , a_k,p^_z ] = 0 & & [ a_k , p^_z , a_k,p^_z^ ] = ( k - k ) ( p - p ) _  _ _ z _ z , and for bound states _ 0^r^m-1 ^_j(r ) ^_j(r ) dr & = & _ j j _  = [ a_j , p^_z , a_j,p^_z ] = 0 & & [ a_j , p^_z , a_j,p^_z^ ] = _ j j ( p - p ) _  _ _ z _ z . using these expressions , we obtain the vacuum expectation value of the hamiltonian , & = & _ d^m _ , where @xmath37 is the radial laplacian .      for positive integer @xmath25 and @xmath11 , this quantity diverges , as we expect since we have not yet included the contribution of the counterterms . therefore we will calculate the result using analytic continuation in @xmath25 and @xmath11 from values where it is convergent . after introducing counterterms also depending on @xmath25 and @xmath11 , we will then let the dimensions go to their physical values while holding the renormalization conditions fixed . the first counterterm we will introduce renormalizes the cosmological constant . it is simply an overall constant in the hamiltonian , and is fixed by the renormalization condition that the energy density of the trivial background @xmath38 is zero . the free wavefunctions are given by _ k^^(0)(r ) = j_+-1(kr ) , which , by the bessel function identity _ = 0^ j_q+(z)^2 = ( ) ^2q , [ besselid ] satisfy the completeness relation _ d^m_|_k^^(0)(r)|^2 = , [ eqn : complete ] independent of @xmath39 . subtracting the energy in the trivial background we have - _ 0 & = & _ d^m _ . [ eqn : nolevsub ]    by completeness , in each partial wave we have _ j |^_j(r)|^2 + _ 0^ ( |^_k(r)|^2 - |^_k^(0)(r)|^2 ) = 0 , so we can implement a local version of the levinson s theorem subtraction used in @xcite , giving - _ 0 & = & _ d^m _ . [ eqn : yeslevsub ] this subtraction is necessary to avoid the appearance of spurious infrared singularities in calculations in one space dimension . these singularities also appear in dimensions less than one , which we will need to consider as part of the dimensional regularization process . next we carry out the @xmath40 integral , using ( ) ^a = _ 0^p^n-1 dp ( ) ^a = , where we have done the integral by analytic continuation from values of @xmath41 and @xmath11 where it converges . we thus obtain - _ 0 & = & - _ d^m _ , where @xmath42 for the scattering states and @xmath43 for the bound states with @xmath44 . next , we must include the contribution of the counterterm proportional to @xmath45 , which is introduced to cancel the tadpole graph . in dimensional regularization , the contribution to the hamiltonian from this counterterm is _ 1 = ^m+n-1 v(r ) , so by using _ 0^ ( ^n+1-^n+1 ) k^m-3 = ^m+n-1 and eq . ( [ eqn : complete ] ) we have _ 1 = - _ d^m__0^ ( ^n+1- ^n+1)(2-m ) |^_k^(0)(r)|^2 so that _ & & - _ 0 - _ 1 & = & - _ d^m_[eqn : e1sub ] . we will use |^_k(r)|^2 = 2 k g_(r , r , k ) , [ eqn : normtogreen ] where the green s function is defined by -d_r^2 g_(r , r,k ) + ( v(r ) + - k^2 ) g_(r , r,k ) = ^(m)(r - r ) with the boundary conditions that it is regular at the origin and and has only outgoing waves ( @xmath46 ) at infinity . using @xmath47 , we can rewrite eq . ( [ eqn : e1sub ] ) as _ & & - _ 0 - _ 1 & = & - _ d^m_[eqn : e1subgreen ] .    these subtractions are sufficient to render the theory finite for @xmath48 . however , it appears that if we set @xmath24 , the gamma function will cause eq . ( [ eqn : e1subgreen ] ) to diverge . in fact , as we will see in appendix  [ sec : localsum ] , it does not , because the quantity in brackets vanishes . but here we will keep @xmath11 general and instead close the contour of integration in the upper half @xmath15 plane . for sufficiently small @xmath11 the contour at infinity does not contribute . there is a pole for each bound state at @xmath49 , where @xmath50 is the bound state energy , and the contributions from these poles exactly cancel the sum over bound states @xcite in eq . ( [ eqn : e1subgreen ] ) . thus the final result is just given by the contribution from the branch cut along the imaginary axis from @xmath21 to @xmath51 resulting from @xmath23 , which contributes ^n+1 ( i^n+1 - ( -i)^n+1 ) = 2i^n+1 , [ id1 ] where @xmath52 and @xmath53 . then using the identity z = - [ id2 ] we have _ & & - _ 0 - _ 1 & = & - _ d^m__^d 2^n+1 . [ eqn : e1subimag ] we can now put in integer values of @xmath25 and @xmath11 without any divergence , as long as @xmath48 . ( [ eqn : e1subimag ] ) can also be efficiently evaluated numerically @xcite . when we have @xmath54 space dimensions , we will need to introduce a second counterterm , @xmath55 . the first subtraction is particularly easy to define because there is a natural scheme , specified by the complete cancellation of the tadpole graph . higher subtractions require a definition in terms of a renormalization scale , which can be chosen arbitrarily . in choosing this scale , we must be able to relate it to physical inputs , such as masses and coupling constants , in order to define a predictive theory .    to define the counterterm precisely , we consider the two - point function @xmath56 in dimensional regularization . it diverges as we approach the physical dimension . the divergence is canceled by the contribution of the counterterm to the two - point function , which is just @xmath57 . we define the renormalization scale @xmath58 by taking @xmath59 . with this definition , we have c & = & _ 0 ^ 1 d & = & _ 0^ dq , [ eqn : cterm ] where @xmath60 is the total momentum and we have integrated over the feynman parameter @xmath61 and the loop energy @xmath62 . typically we will choose @xmath63 , except in the case of massless theories , where to avoid infrared singularities we will choose a spacelike renormalization point @xmath64 . this regulated expression is defined precisely as an analytic function of the dimension . our goal is now to rewrite it in a way that allows us to incorporate it into our expression for the energy , eq.([eqn : e1subimag ] ) , which is also given as an analytic function of the dimension . we express eq . ( [ eqn : complete ] ) in terms of green s functions and analytically continue to express eq . ( [ eqn : cterm ] ) as c & = & _ ^^n+1 f(,m ) d & = & _ d^m__^^n+1 f(,m ) 2g_^(0)(r , r , i ) d , [ eqn : ctermrot ] where @xmath65 is given in terms of the hypergeometric function as f(,m ) = _ 2 f_1(,3 - , , ) [ eqn : fkappa ] as we show in appendix  [ sec : fderivation ] .    since we will eventually take the limit where @xmath25 becomes an integer , we note that f ( , m ) = & & f ( , m ) = ( 1 + ) & & f ( , m ) = & & [ eqn : fkappa1 ] eq .  ( [ eqn : ctermrot ] ) is now in a form where we can include it under the integral sign in eq . ( [ eqn : e1subimag ] ) and obtain _ & & - _ 0 - _ 1 - _ 2 & = & - _ d^m__^d 2 . [ eqn : e2subimag ]    before we can take the limit where @xmath54 , however , there is one more potential divergence in eq . ( [ eqn : e2subimag ] ) . our subtraction has cancelled the terms of order @xmath32 , @xmath66 and @xmath67 in the large-@xmath68 expansion of the norm of the wavefunctions . but there could also be a term of order @xmath69 , which will generate a divergence in this case . in the renormalization of the composite operator @xmath70 , we have a renormalization counterterm @xmath71 @xcite . since we are considering just @xmath72 here , this counterterm becomes @xmath73 , exactly the form needed to cancel the remaining divergence . in the original lagrangian , the divergent term would have cancelled automatically between the bulk term and the surface term and no renormalization would be necessary . however , conformally coupled theories have _ classical _ violations of the energy conditions @xcite . ] we fix this counterterm by subtracting the tadpole diagram with the composite operator carrying momentum @xmath74 . aside from this change , it is analogous to the tadpole subtraction above , with @xmath75 replaced by @xmath76 . the scale @xmath77 is then specified through the renormalization condition on the composite operator ( and would typically be chosen equal to @xmath58 ) . as with @xmath58 , a massless theory will require spacelike @xmath78 , while in a massive theory we may set @xmath79 . thus we obtain the contribution _ 2 = - _ d^m__^d ^n-1 2g_^(0)(r , r , i ) ( 2-m ) . this term is a total derivative , so it does not contribute to the total energy . we can split the contribution of this term beween the bulk and derivative terms so that it renders them both separately finite at integer dimensions , giving _ & = & - _ d^m__^d 2 . by eq . ( [ eqn : complete ] ) , the sum over @xmath30 of the free green s function weighted by the degeneracy factor is independent of @xmath39 , so we can pull the derivative outside in the last line , giving _ & = & - _ d^m__^d 2 .    in this form , we see explicitly that the subtraction has cancelled the leading terms for large @xmath68 : in the surface term , inside the derivative we have implemented the same subtraction of the leading behavior of the green s function as we found for the tadpole graph in the bulk term ; in the bulk term , we have subtracted the leading term proportional to @xmath76 ( which is derived explicitly for @xmath80 in eq.([eqn : asymp1d ] ) ) . for the purposes of calculation , however , it is often easier to work with the combined expression _ & = & - _ d^m__^^n+1 d. [ e2subimag2 ] to illustrate our method , we would like to carry out some sample calculations in the case of @xmath80 and @xmath24 . since we are in @xmath81 dimensions , we only need one subtraction , proportional to @xmath82 . for @xmath80 , the sum over partial waves reduces to a sum over the symmetric and antisymmetric channels . the free wavefunctions thus become ^+_k ^(0)(x ) = kx ^-_k ^(0)(x ) = kx , so that |^+_k^(0)(x)|^2 + |^-_k^(0)(x)|^2 = 1 . we can sum over the two modes to get the overall green s function , g(x , x , k)=g^+(x , x , k)+g^-(x , x , k ) , with g^(0)(x , x , k)=. then from eq . ( [ eqn : e1subimag ] ) we have [ eqn : m=1 ] _ = - _ ^d ^n+1 and for @xmath24 we have _ = - _ ^d ^2 , which reduces to eq . ( [ eqn : m = n=1special ] ) when @xmath83 . for simplicity , we will consider the massless case for the remainder of this section . we next consider a potential that vanishes for all @xmath84 and calculate the energy density in this region . in this case , the only counterterm is the vacuum energy , and we get _ = -18_0^d . the green s function for @xmath85 is g(x , x , k ) = i2k(e^-ikx_<+r(k)e^ikx_<)e^ikx _ > , where @xmath86 is the reflection amplitude . thus [ eqn : goutside ] 2 g ( x , x , i ) = 1+r(i ) e^-2x and [ eqn : outside ] _ = 18_0^d^2 r(i ) e^-2x . in the large @xmath7 limit , only small @xmath68 contribute in the integral . as a result , the integral depends only on @xmath87 ( at @xmath88 we always have perfect reflection ) , so we can approximate [ eqn : outside - limit ] _ -18_0^d^2 e^-2x = -132x^3 . next we consider a square barrier with @xmath89 for @xmath90 and @xmath91 otherwise . in this case , we can compute the normal mode wave functions in closed form , but must do a numerical integration at the end . outside the barrier , the energy is given by eq . ( [ eqn : outside ] ) with [ eqn : r - square ] r = -v_0e^2a2 a2+ ( ^2+^2)2 a and @xmath92 . thus , outside the barrier , the energy is _ & = & -v_08_0^d ^2 e^-2(x- a)2 a2+ ( ^2+^2)2 a & = & -v_0 8a_0^dq q^2 e^-2q ( y- 1)2q2qq + ( q^2+q ^2)2q , where we have defined the dimensionless quantites @xmath93 , @xmath94 , and @xmath95 where @xmath96 . note that the integrand can not be less than 0 , so the energy outside the barrier is always negative .    far from the potential , specifically where @xmath97 and @xmath98 , the contribution comes primarily from @xmath99 , and thus @xmath100 . the integral is then _ 0^ = 14 ( y-1)^3 v and [ eqn : outside - square - limit ] _ -132(x - a)^3 in agreement with eq .  ( [ eqn : outside - limit ] ) . close to the potential , specifically when @xmath101 and @xmath102 , the contribution comes mostly from @xmath103 and @xmath104 . thus @xmath105 and @xmath106 . the integral becomes and _ -v_064(x- a ) .    inside the barrier , we have g ( x , x , k ) = ik  ( k k  ( x_<+a ) - ikk  ( x_<+a ) ) ( k k  ( x_>-a ) + ikk  ( x_>-a))2kk 2k  a - i ( k^2+k ^2)2k  a , where @xmath107 , so we can write g ( x , x , i ) = 12(^2+^2)2 a + 22 a+v_02 x22 a+ ( ^2+^2)2 a . we can then split the energy into two parts , _ = e_0+e_1 ( x ) , where @xmath108 depends on position , but @xmath109 does not . the position - independent part is e_0 & = & -18_0^d \ { ^3(^2+^2)2 a + 22 a 22 a+ ( ^2+^2)2 a- ^2+v_02}&= & -v_0 ^ 28_0^d & = & -v_0 ^ 2 a8_0^dq and is always negative . in the limit where @xmath110 , we can approximate @xmath111 to get e_0 = -v_0 ^ 3/212 . the position - dependent part is [ eqn : e1q ] e_1 ( x ) & = & 18_0^d (2^2-^2)v_02 x 2 2 a+ ( ^2+^2)2a & = & v_0 8a_0^ and is always positive . note that the the dominant term in the integrand in eq.([eqn : e1q ] ) is suppressed by @xmath112 . thus , far from the edge of the potential , where @xmath113 , @xmath108 is negligible . close to the edge of the potential , with @xmath114 and @xmath115 , the integral is @xmath116 and e_1 ( x ) -v_064(a - x ) which cancels , in a principal value sense , the divergence outside the barrier . the sign of the energy density at the center of the barrier depends on the competition between the position - dependent and position - independent parts . for large @xmath117 , the position - dependent part is suppressed in the center , and the energy density is negative . for small @xmath117 , it is positive . the total energy density is shown for several values of @xmath117 in fig .  [ fig : square ] . it has long been known that the energy density near a perfectly reflecting boundary is zero if one uses the `` conformally coupled '' stress - energy tensor , but diverges if one uses the minimally coupled one , as we have done above . kennedy , critchley , and dowker @xcite argue that since the total energy is the same in the two cases , there must be a surface energy associated with the perfect conductor in the minimal case . ford and svaiter @xcite found that the surface energy could be seen by allowing the boundary to fluctuate .    here , we can see the situation by approximating a perfect conductor by a square barrier with @xmath41 fixed and @xmath118 . we can produce the conformal hamiltonian density by including half the value of the total derivative term , _ = ^2 + ^2(^2 ) - ^2 + v(r)^2 . this choice gives zero energy outside the barrier and removes the divergence of the energy density everywhere inside . with the minimally coupled hamiltonian , the energy outside goes to eq.([eqn : outside - square - limit ] ) as @xmath119 becomes large , while the positive energy inside clusters ever closer to the boundary , as shown in fig . [ fig : square ] . since the change to the total derivative term does not affect the total energy , we can see that the `` surface energy '' located just inside the boundary cancels the divergent negative energy outside . to carry out calculations in @xmath120 dimensions , we now need subtractions proportional to @xmath82 , @xmath121 , and @xmath122 . we will use the renormalization scheme defined in section  [ sec : method ] . for @xmath80 , using eq . ( [ eqn : fkappa1 ] ) and evaluating eq.([e2subimag2 ] ) with @xmath80 and @xmath123 gives _ & = & - _ ^d ^3 , [ eqn : m=1n=2 ] where the green s function has again been summed over the symmetric and antisymmetric channels . again , we will restrict our attention to massless fields for simplicity . the wave functions and green s functions are just as in sec . [ sec : examples1 ] . again , since the potential vanishes , the only counterterm is the vacuum energy . thus eq . ( [ eqn : m=1n=2 ] ) reduces to _ = -112 ^ 2_0^doutside the potential , and so from eq . ( [ eqn : goutside ] ) , _ = _ 0^d ^3r ( i ) e^-2x . in the large @xmath7 limit , we can again take @xmath124 , to get [ eqn : outside - limit3 ] _ = - _ 0^d ^3 e^-2x=- , a well - known result .      outside a square barrier with width @xmath41 and height @xmath119 , the reflection coefficient is given by eq . ( [ eqn : r - square ] ) , and the energy is _ & = & -v_06 ^ 2_0^d ^3 e^-2(x- a)2 a2+ ( ^2+^2)2 a & = & -v_0 6 ^ 2 a^2_0^dq q^3 e^-2q ( y- 1)2q2qq + ( q^2+q ^2)2q .    far from the potential , we approximate @xmath125 . the integral is _ 0^ = 38 ( y-1)^4 v and [ eqn : outside - square - limit3 ] _ -116 ^ 2 ( x - a)^4 , in agreement with eq . ( [ eqn : outside - limit3 ] ) . close to the potential , we approximate @xmath105 and @xmath126 . the integral becomes and _ -v_096 ^ 2(x- a)^2 .    inside the potential , we need the renormalized form , _ = - _ 0^d , where @xmath64 is the spacelike renormalization point .    for the square barrier , we get a position - independent part , e_0 & = & -112 ^ 2_0^d\ { ^4(^2+^2)2 a + 22 a 22 a+ ( ^2+^2)2 a & & - ^3+v_02 - } & = & -v_0 ^ 212 ^ 2_0^d\ { - } & = & -v_0 ^ 212 ^ 2_0^dq \ { - } , where @xmath127 and @xmath128 . we can isolate the dependence on the renormalization scale by using _ 0^dq\ { - } = + to obtain e_0 = -v_0 ^ 212 ^ 2 ( + + _ 0^dq \ { - } ) . in the limit where @xmath129 , we can approximate @xmath130 , the integral gives @xmath131 , and we obtain e_0 = , consistent with the result obtained from the effective potential @xcite . the position - dependent part is [ eqn : e1q3 ] e_1 ( x ) & = & 112 ^ 2_0^d ^2(3^2-^2)v_02 x 2 2 a+ ( ^2+^2)2a & = & v_012 ^ 2 a^2_0^dqq^2q  ( 3q^2-q^2)2q y 2qq 2q+ ( q^2+q ^2)2q and is always positive . far from the edge of the potential , @xmath108 is negligible . close to the edge , where we can approximate @xmath132 and @xmath133 , the integral becomes @xmath134 , and e_1 ( x ) -v_096 ^ 2(a - x)^2 , which cancels the divergence outside the barrier . these results do not reflect any contribution from the @xmath122 counterterm . in this case it vanishes for all @xmath135 , since the potential is constant . furthermore , the contribution to the total energy from this term is also zero , since it is a total derivative . if we imagine that the square barrier represents the limit in which a smooth potential gets steeper and steeper , we will find large equal and opposite contributions to the energy localized in the tiny region on both sides of the boundary . as long as we average over larger distance scales , this contribution will always cancel out , so it can be ignored in the square barrier limit . finally , we consider the potential analyzed in @xmath81 dimensions in @xcite , v(x ) = c^2 ^ 2(x / a ) , [ eqn : potential ] which arises frequently in soliton models . it is exactly solvable in terms of associated legendre functions . for @xmath136 with integer @xmath30 it becomes reflectionless . the green s function at coincident points is g(x , x , i)= ( 1 + a + s)(a - s ) p^-a_s ( ( x / a ) ) p^-a_s ( -(x / a ) ) . [ eqn : green ] where @xmath137 is the associated legendre function as defined in @xcite for @xmath138 , and @xmath139 . plugging this into eq.([eqn : m=1n=2 ] ) , we have _ & = & - _ ^d ^3 which can then be computed numerically . figure  [ fig : densityplot ] gives this energy density as a function of @xmath7 for particular values of the parameters . we have seen how to address the question of generation of negative energies through quantum fluctuations in the robust language of quantum field theory , where ambiguities associated with idealized boundary conditions are absent . this approach implements standard renormalization procedures and is applicable to generic background potentials that are spherically symmetric in some dimensions and independent of the rest . such potentials typically arise , for example , from topological defects or other extended objects . by using dimensional regularization , we have implemented a precise renormalization scheme , using only local subtractions for both the first- and second - order diagrams . we expect that this general formalism , together with fermion scattering theory in fractional dimensions developed in @xcite , will allow these results to be extended to fermions and gauge fields .    in the case of the square barrier , we have recovered the negative energy associated with perfect reflection at large distances from the barrier , and we have seen that the divergent negative energy outside the barrier is canceled by positive energy immediately inside . in a realistic example in which one includes the energy associated with the background potential , such cancellations might lead the averaged null energy condition to be obeyed even though the weak energy condition is violated @xcite . finally , we have calculated the energy density for a smooth background representing a domain wall in @xmath120 dimensions . ref .  @xcite has calculated the surface tension for a bosonic @xmath140 kink domain wall ( and also its supersymmetric generalization ) using an on - shell renormalization scheme , in space dimension one through four . in the language of the present paper , this calculation corresponds to the case of @xmath141 and @xmath142 in the potential of section [ sec : sech2 ] , renormalized with @xmath143 , setting @xmath80 and @xmath11 to zero through three . the surface tension is obtained by then integrating this result over the one nontrivial dimension . ( the choice of @xmath77 does not affect this calculation because the total derivative term integrates to zero . ) using the formulae in the present paper to carry out this calculation , we obtain results in agreement with the bosonic calculations in ref.@xcite . we would like to thank j. j. blanco - pillado , ruben cordero and delia perlov for assistance and larry ford , bob jaffe , vishesh khemani , markus quandt , tom roman , marco scandurra , xavier siemens , alexander vilenkin , herbert weigel and an anonymous referee for helpful conversations and suggestions . n.  g. was  supported in part by the u.s . department of energy ( d.o.e . ) under cooperative research agreement # de - fg03 - 91er40662 . k.  d.  o. is supported in part by the national science foundation . by comparing the last line of eq . ( [ eqn : cterm ] ) with the first line of eq .  ( [ eqn : ctermrot ] ) , we require _ ^^n+1 ^m-1 d= _ 0^ dq , where @xmath145 and @xmath146 . let us change variables on the left from @xmath68 to @xmath147 and on the right from @xmath60 to @xmath148 to get _ 0^l^(n+1)/2 ^m-2 dl = _ 0^ dl with @xmath149 on the left and @xmath150 on the right . we can write [ eqn : goal ] _ 0^dl l^h ( l+^2 ) = _ 0^dl l^j ( l+^2 ) with & = & ( n+1)/2 + & = & ( n+m-2)/2 + h ( x ) & = & + j ( x ) & = & . denote the difference in the exponents as @xmath151 . if @xmath152 is a positive integer , the desired relationship is just integration by parts , and h ( x ) = ( -)^j ( x ) . to extend this formula to non - integer @xmath152 , we write @xmath153 in terms of the hypergeometric function , [ eqn : jf ] j ( x ) = ( ) ^d ( d ) _ 2f_1 ( , d ; ; ) , with @xmath154 . the operator @xmath155 just increments @xmath156 in eq.([eqn : jf ] ) , so we conjecture that the same relationship holds for all @xmath152 , and thus that the desired @xmath157 is given by eq . ( [ eqn : jf ] ) with @xmath158 . one can check that the conjecture is correct by explicitly performing the integrals in eq . ( [ eqn : goal ] ) , which both give ( ^2-)^-1/2 ( - ) _ 2f_1(,- ; ; ) . finally we find f ( , m ) & = & ( ) ( 3- ) ( ) ^3-m/2 ^ 2-m _ 2f_1(,3- ; ; ) & = & _ 2f_1(,3- ; ; ) . we used the analytic properties of the green s function as a mathematical tool , enabling us to carry out calculations efficiently on the imaginary axis . in so doing , we avoided the apparent singularity in the gamma function coefficient of eq . ( [ eqn : e1sub ] ) for odd @xmath11 . nonetheless , this expression should be a valid result , finite for @xmath48 . as in the case of the total energy @xcite , the quantity in brackets must vanish for @xmath24 in each partial wave individually . furthermore , the combination of the first two terms in brackets vanishes separately from the total derivative term . these cancellations depend on a local analog of the sum rules for the phase shift given in @xcite , which we demonstrate below . when similar apparent divergences arise in the calculation of the total energy , they are canceled according to generalizations of levinson s theorem @xcite . for a system with spherical symmetry , in each partial wave @xmath30 these sum rules take the form _ j ( -_j^2)^n + _ 0^k^2n ( _ ( k ) - _ s=1^n _ ^(s)(k ) ) dk = 0 , [ eqn : sumrule ] where the bound states have @xmath159 , @xmath160 is the scattering phase shift , and @xmath161 is the scattering phase shift computed at order @xmath162 in the born approximation . orders in the born approximation for any @xmath163 . however , there are some restrictions on such oversubtractions in the symmetric channel in one dimension @xcite . ] the @xmath164 case gives levinson s theorem . like levinson s theorem , these identities apply to general potentials in scattering theory and hold in each partial wave @xmath30 individually . also like levinson s theorem , they are modified for the case of the symmetric channel in one dimension , as discussed in @xcite . we have a relationship @xcite between the phase shift , the change in the density of states , and the norm of the wavefunction , = _ ( k ) - _ ^(0)(k ) = _ 0^dr r^m-1 ( |_k^(r)|^2 - |_k^^(0)(r)|^2 ) , where the zero superscript indicates a quantity evaluated in the free case . this equation also holds order by order in the born approximation . using these relations we can rewrite eq . ( [ eqn : sumrule ] ) as dr r^m-1 ( _ j ( -_j^2)^n |_j^(r)|^2 + _ 0^k^2n ( |_k^(r)|^2 - _ s=0^n |_k^^(s)(r)|^2 ) dk ) = 0 , [ eqn : intsum ] where @xmath165 is the born approximation to the wavefunction computed at order @xmath162 ( the free wavefunction is the order zero term ) . the identities we need for the present application are simply the slightly stronger condition that eq . ( [ eqn : intsum ] ) holds for each @xmath39 individually , rather than just as an integral . we can exploit the connection to the green s function that was used in @xcite to prove this result as well . the case of @xmath164 is particularly simple , because we know that _ j |_j^(r)|^2 + _ 0^ ( |_k^(r)|^2 - |_k^^(0)(r)|^2 ) dk = 0 [ eqn : completeness ] by completeness ; it is just the difference between the expectation value of a constant computed in the free and interacting bases . ( after summing over the spectrum , each term is independent of @xmath39 . ) for higher @xmath166 , we would like to show that _ j ( -_j^2)^n |_j^(r)|^2 + _ 0^k^2n ( |_k^(r)|^2 - _ s=0^n |_k^^(s)(r)|^2 ) dk is zero . ) when integrated over @xmath15 . it might be possible to find analogous results for the higher sum rules as well . ] we employ the relationship in eq.([eqn : normtogreen ] ) between the norm of the wavefunction and the green s function to rewrite this expression as _ j ( -_j^2)^n |_j^(r)|^2 + _ -^k^2n+1 ( g_(x , x , k ) - _ s=0^n g_^(s)(x , x , k ) ) dk , where we have extended the integral to the entire @xmath15 axis by the symmetry of the integrand . to show this expression is zero , we would like to do the @xmath15 integral as a contour , closed in the upper half plane . the singularities in the full green s function correspond to bound states , and will exactly cancel the explicit contribution from the bound states @xcite . the born approximation has no singularities ( since it does not see the bound states ) . thus we are left with the contour at infinity . however , it does not contribute because we have subtracted enough born approximations to ensure that the integrand falls like @xmath167 at large @xmath168 @xcite .      in one dimension , we have to consider the symmetric channel , which can have additional singularities at @xmath88 . such singularities , for example , lead to an extra @xmath169 in levinson s theorem @xcite , relating the phase shift at @xmath88 to the number of bound states . we have _ s(0 ) = ( n_s - ) [ eqn : levs ] as opposed to the usual ( 0 ) = n . [ eqn : leva ] analogously in our problem , eq .  ( [ eqn : completeness ] ) must be modified to _ j |_j^s(x)|^2 - + _ 0^ (    @xmath170 is the size of the system . subtracting @xmath171 reflects the contribution from the state @xmath172 in the free spectrum . this state is `` half - bound '' : while any potential will have a @xmath88 state in the symmetric channel , in this case the wavefunction goes to a constant at infinity . such states contribute to the spectrum with half the usual residue for a bound state , as the name indicates . ( generically a state with @xmath88 will approach a line with nonzero slope , in which case no special treatment is necessary . ) if a potential has a half - bound state , making the potential arbitrarily more attractive introduces a new bound state in the theory , and making it arbitrarily more repulsive eliminates the half - bound state . for all @xmath15 . if this equality is to hold at @xmath88 , to reconcile eqs . ( [ eqn : levs ] ) and  ( [ eqn : leva ] ) there must be a half - bound state , which contributes only a half to the number of bound states . the half - bound state in the free case ( which is reflectionless ) is just a consequence of this requirement . ] there will be an analogous contribution to the energy density , so this term will cancel when we pass from eq . ( [ eqn : nolevsub ] ) to eq . ( [ eqn : yeslevsub ] ) and the rest of the derivation of the energy density is unchanged .    for the other sum rules needed in our problem , however , we always multiply by enough powers of @xmath15 to cancel any anomalous effects coming from states at @xmath88 . we would have to be more careful if we do additional born `` oversubtractions , '' in which case we could encounter additional terms analogous to those found in @xcite . we can always avoid these problems as long as each ultraviolet born subtraction is preceded by a corresponding infrared levinson subtraction . for the first born subtraction , the corresponding levinson subtraction was done using eq . ( [ eqn : completeness ] ) . higher levinson subtractions would use local analog of the higher sum rules in @xcite .      for casimir calculations it will be convenient to slightly modify the @xmath173 sum rule . our renormalization procedure subtracts not the full first born approximation , but rather just a local part of it . however , this replacement does not affect the sum rule . for example , to apply the results of section  [ sec : onedirectsub ] for @xmath174 , we write _ = + , - |_k(x)|^2 & = & 1 + _ x^dy 2k(y - x ) + & = & 1 + + _ x^dy 2k ( y - x ) + & = & 1 + - _ x^dy 2k ( y - x ) + & = & 1 + - - _ x^dy 2k ( y - x ) + & = & 1 + - + _ x^dy 2k ( y - x ) + [ eqn : asymp1d ] and subtract only the term directly proportional to @xmath82 , rather than all terms that are first order in the strength of the potential . however , the additional terms , proportional to the derivatives of @xmath82 , do not introduce any singularities in the integral and do not affect the contour at infinity because they fall like @xmath175 or faster . therefore , this modification does not affect the proof of the sum rule . this result allows us to apply the sum rule to eq . ( [ eqn : e1sub ] ) .      with the sum rules in hand , we can now extract a finite result from eq . ( [ eqn : e1sub ] ) . near @xmath176 we have ( - ) a^n-1 ( 1 + a^2 ) so that in the @xmath177 limit we obtain _ & = & - _ d^m_. [ eqn : sumrulen=1 ]    the local sum rule ensures that the scale of the logarithm does not affect the final result . in addition , the limit @xmath178 is smooth ( except when @xmath179 and @xmath80 , where we have the usual infrared divergences of one - dimensional field theory ) . if we extend the range of integration in eq . ( [ eqn : sumrulen=1 ] ) as in eq . ( [ eqn : contourextend ] ) , and then close the contour in the upper half plane , the branch cut associated with @xmath180 will reproduce eq . ( [ eqn : greenn=1 ] ) . a.  s.  goldhaber , a.  litvintsev and p.  van nieuwenhuizen , phys . * d67 * ( 2003 ) 105021 . k.  d.  olum and n.  graham , phys . * b554 * ( 2003 ) 175 . n.  graham , r.l . jaffe , v.  khemani , m.  quandt , m.  scandurra , and h.  weigel , nucl . * b645 * ( 2002 ) 49 . n.  graham and r.l . jaffe , nucl . * b544 * ( 1999 ) 432 ;
Abstract:

Answer: we present a general procedure for calculating one - loop `` casimir '' energy densities for a scalar field coupled to a fixed potential in renormalized quantum field theory . we implement direct subtraction of counterterms computed precisely in dimensional regularization with a definite renormalization scheme . our procedure allows us to test quantum field theory energy conditions in the presence of background potentials spherically symmetric in some dimensions and independent of others . we explicitly calculate the energy density for several examples . for a square barrier , we find that the energy is negative and divergent outside the barrier , but there is a compensating divergent positive contribution near the barrier on the inside . we also carry out calculations with exactly solvable @xmath0 potentials , which arise in the study of solitons and domain walls . + pacs 03.65.nk 11.10.gh 11.27.+d 11.55.hx


Instruction: Write an abstract for the following acadamic paper.

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

Paper: in the last few years , a lot of progress has been made in the study of d - branes as probes of sub - stringy geometry . while the usual picture of space - time is supposed to be valid upto the string scale , it was argued in @xcite that d - branes are the natural candidates to probe the geometry of space - time beyond the string scale . as has been widely accepted by now , the standard concepts of space - time appears , from the d - brane perspective , as the vacuum moduli space of its world volume gauge theory . indeed , it has been found that the space - time appearing in d - brane probes at ultra - short distance scales has qualitatively different features from that probed by bulk strings @xcite . of particular interest has been the study of d - branes on calabi - yau manifolds . in @xcite,@xcite , the moduli space of calabi - yau manifolds was studied using fundamental strings . a rich underlying geometric structure was discovered , and the moduli space was shown to contain topologically distinct geometric ( calabi - yau ) phases , as well as non - geometric ( landau - ginzburg ) phases . the khler sector of the vacuum moduli space was shown to consist of several domains ( separated by singular calabi - yau spaces ) , whose union is isomorphic to the complex structure moduli space of the mirror manifold . it was also shown , that using mirror symmetry as in @xcite or the approach of gauged linear sigma models as in @xcite , one can interpolate smoothly between the topologically distinct points in the khler moduli space . in the fundamental string picture , the geometric and non - geometric phases of calabi - yau manifolds appear as two distinct possibilities , with the latter being thought of as an analytic continuation of the geometric phases in the presence of a non - zero theta angle in the language of @xcite . it was , however , shown in @xcite that the presence of additional open string sectors change this picture considerably , and that the d - brane linear sigma model probes only a part of the full linear sigma model vacuum moduli space , namely the geometric phase . it was explicitly demonstrated in @xcite that d - branes ( in the particular examples of the orbifold @xmath5 and @xmath6 ) ` project out ' the non - geometric phase , in agreement with the results obtained in @xcite . this was found to be generally true for calabi - yau orbifolds of the form @xmath7 @xcite . since the pioneering work of @xcite , which dealt with d - branes on abelian orbifold singularities of the form @xmath8 that was generalised to arbitrary non - abelian singularities of the form @xmath9 ( @xmath10 being a subgroup of @xmath11 ) , d - branes on abelian and non - abelian orbifold backgrounds have been extensively studied in @xcite,@xcite , @xcite,@xcite,@xcite,@xcite . d - branes at orbifolded conifold singularities have been considered in @xcite . ( see also @xcite for an analysis of a blowup of the four - dimensional @xmath12 , @xmath13 orientifold ) . of particular interest has been the applications of methods of toric geometry @xcite,@xcite to the study of d - brane gauge theories on such singularities . in the approach pioneered in @xcite , the matter content and the interactions of the d - brane gauge theory , which are specified by the d - terms and the f - terms of the gauge theory respectively , are treated on the same footing , and the gauge theory information can be encoded as algebraic equations of the toric variety . it is an interesting question to ask , if this procedure can be reversed , i.e , given a particular toric singularity , is there a way of consistently reading off the world volume gauge theory data for a d - brane that probes this singularity . a step in this direction has been recently taken in @xcite . the authors of @xcite have given an algorithm by which the geometrical data encoded in a toric diagram can be used to construct the matter content and superpotential interaction of the d - brane gauge theory that probes it , and have demonstrated this in the cases of the suspended pinch point ( spp ) singularity of the blowup of the @xmath0 orbifold and the various partial resolutions of the @xmath14 orbifold analysed in @xcite . in the present paper , we critically examine this procedure in several other examples . we first consider this algorithm , which we call the inverse toric procedure , for partial resolutions of the orbifold @xmath0 . further , we consider several blowups of the orbifolds @xmath1 and @xmath15 and present results on the extraction of the d - brane gauge theory data from the given toric geometric data . the organisation of the paper is as follows . in section 2 , we first recapitulate the essential details of the construction of the d - brane gauge theory on partial resolutions of the orbifold @xmath16 @xcite,@xcite that will also set the notation and conventions to be used in the rest of the paper and then demonstrate the inverse toric algorithm to construct the gauge theory of a d - brane probing the @xmath17 and the conifold singularities obtained by partially resolving the @xmath0 orbifold . section 3 deals with the orbifold @xmath1 and its various partial resolutions . in section 4 , we consider the example of the orbifold @xmath18 and consider some resolutions of the same . section 5 contains discussions and directions for future work . we begin this section by recapitulating the essential details of the application of toric methods to the construction of d3-branes on @xmath0 and some of its partial resolutions which will also set the notations and conventions to be followed in the rest of the paper . recall that the world volume supersymmetric gauge theory of d - branes probing a toric singularity are characterised by its matter content and interactions . while the former are given by the d - term equations , the latter are specified , via the superpotential , as the f - term equations . these two sets of equations , in conjunction , define the moduli space of the theory . in order to define the d - brane moduli space by toric methods , the standard procedure @xcite is to re - express the f and d - term constraints in terms of a set of homogeneous variables @xmath19 , and a concatenation of these two sets of equations give rise to the toric data . let us briefly review this construction for the example of d-3 branes on the orbifold @xmath20 . we start by considering the field theory of a set of d-3 branes at a @xmath20 singularity . generically , a single d - p brane of type ii string theory at a point in the orbifold @xmath3 is constructed by considering the theory of @xmath21 d - p branes in @xmath22 and then projecting to @xmath3 where the projection is defined by a combined action of @xmath10 on @xmath22 as well as the d - brane chan - paton index . the unbroken supersymmetry in @xmath23 would then be @xmath24 in the closed string sector while the open string sector will have @xmath12 supersymmetry . in our example , a generator @xmath25 of the discrete group @xmath26 acts simultaneously on the coordinates of @xmath22 and also the d-3 brane chan - paton factors . the surviving fields in the theory are the ones that are left invariant by a combination of these two actions . specifically , denoting the action of the quotienting group on @xmath22 by @xmath27 and that on the chan - paton indices by @xmath28 ( where @xmath29 denotes a regular representation of @xmath25 ) , the surviving components of the scalars @xmath30 that live on the brane world volume are those for which @xmath31 , and the components of the gauge fields @xmath32 that survive the projection are those that satisfy @xmath33 . after imposing these projections , the @xmath12 matter multiplet of the theory consists of the twelve fields @xmath34    where we have denoted the complex bosonic fields corresponding to the position coordinates tangential to @xmath22 by @xmath35 . after projection of the gauge field , the unbroken gauge symmetry in this case is the subgroup @xmath36 of @xmath37 , and , apart from an overall @xmath38 , we have a @xmath39 theory . the total charge matrix is given by    @xmath40    with the last row of @xmath41 signifying the overall @xmath38 . the d - term constraints are now given by @xmath42 where @xmath43 is the charge of @xmath44 under the @xmath45th @xmath38 and @xmath46 signifies the matrix indices of the surviving components of @xmath47 . @xmath48 is the condition for the existence of supersymmetric vacua . the superpotential of the theory is given by the expression @xmath49x^3\ ] ] with the vacuum satisfying @xmath50=0 \label{superpot}\ ] ]    using the expressions for the @xmath47 s from eq.([nonzerox ] ) in eq . ( [ superpot ] ) , one can derive twelve constraints on the twelve fields @xmath51 , out of which six are seen to be independent , hence the twelve initial fields can be solved in terms of six independent fields . denoting the twelve matter fields collectively by @xmath52 , and the set of six independent fields ( which we take to be @xmath53 ) by @xmath54 , the solution , which is of the form @xmath55 can be encoded in the columns of the matrix @xmath56 , given by @xmath57    the columns of the above matrix are vectors in the lattice @xmath58 , and define the edges of a cone @xmath59 . in order to make the description of the toric variety explicit , we consider the dual cone @xmath60 , which is defined in the dual lattice @xmath61 . the dual cone @xmath60 is defined to be the set of vectors in the dual lattice @xmath62 which have non - negative inner products with the vectors of @xmath59 , i.e @xmath63    the dual cone corresponds to defining a new set of fields @xmath64 , in terms of which the variables @xmath65 are solved , in a way that is consistent with the relation ( [ indep ] ) . in this example , @xmath66 and the dual cone is generated by the columns of the matrix @xmath67    the relationship between @xmath19 and @xmath65 are then of the form @xmath68 thus , there are nine variables @xmath19 in terms of which we parametrize the six independent variables @xmath65 . this parametrization , however , has redundancies , and in order to eliminate these , we introduce a new set of @xmath69 actions on the @xmath19 s , with the condition that under these actions , the fields @xmath65 are left invariant . this can be equivalently described by the introduction of a new set of @xmath38 gauge symmetries , such that the @xmath65 s are gauge invariant @xcite . in our example , since there are nine fields @xmath19 and six independent variables @xmath65 , we introduce a gauge group @xmath39 , such that the @xmath19 s are charged with respect to these , with charges @xmath70 for the @xmath71th @xmath38 . the gauge invariance condition demands that the charge matrix @xmath72 must obey @xmath73 where @xmath74 is the transpose of @xmath72 . from the matrix @xmath75 given above , the charge matrix is given by @xmath76    we now consider the constraints imposed on the original fields @xmath77 via the d - flatness conditions , and impose these conditions in terms of the new fields @xmath19 . the charges of the fields @xmath65 under the original @xmath38 charge assignments are given by the matrix    @xmath78 from the relationship @xmath79 , it is clear that in order for the charge assignment @xmath80 for @xmath19 ( corresponding to the original set of @xmath81 @xmath38 symmetries ) to reproduce that for the @xmath65 s , we must have @xmath82 , and one possible choice for the matrix @xmath83 is @xmath84 with the matrix @xmath85 satisfying @xmath86 . the matrix @xmath85 is thus the inverse of the matrix @xmath87 . however , since @xmath87 is a rectangular matrix the usual definition of its inverse ( as in the case of a square matrix ) is not applicable and there are several choices for @xmath85 . in particular , for a rectangular matrix @xmath32 , using the rules of single value decomposition , we can compute the moore - penrose inverse of @xmath32 which is defined in a way that the sum of the squares of all the entries in the matrix @xmath88 is minimised , where @xmath89 is the identity matrix in appropriate dimensions . for any choice of the inverse of @xmath87 , the final toric data will of course be identical , and in this section and the next , we simply use the results of @xcite in defining the matrix @xmath85 . for this case , the matrix @xmath85 is    @xmath90    now , multiplying by @xmath91 and concatenating @xmath72 and @xmath92 we obtain the total charge matrix , @xmath93    where the @xmath94 are the fayet - illiapoulos parameters for the original @xmath38 s , there being three independent @xmath94 s because of the constraint @xmath95 . the toric data can now be calculated from the cokernel of the transpose of @xmath96 , which ( after a few row operations ) become @xmath97 now from the dual cone @xmath75 , we can , via the matrix @xmath56 , find expressions for all the twelve initial fields in terms of the fields @xmath19 . these are then used to define invariant variables in the following way    @xmath98    which follow the relation @xmath99 . the toric diagram of the orbifold @xmath0 is shown in figure [ 322figs](a ) . let us now consider some examples of the possible partial resolutions of this space . we will discuss three possible partial blowups as in @xcite,@xcite . the first example corresponds to blowing up the orbifold @xmath0 by a @xmath100 parametrised by @xmath101 . this gives the suspended pinch point ( spp ) singularity given by @xmath102 . the spp can be further blown up by introducing a second @xmath100 . one possibility is to parametrise this @xmath100 by @xmath103 ( or @xmath104 ) and the remaining singularity is the conifold @xmath105 ( or @xmath106 ) of figure [ 322figs](b ) . one can also introduce a @xmath100 parametrised by say @xmath107 whence the resulting blowup is a @xmath108 . two possible toric diagrams of the latter are shown in fig . [ 322figs](c ) and fig . [ 322figs](d ) . = 3.5 in    let us now come to the description of the inverse toric problem . suppose we are given with a singularity depicted by a toric diagram of the form given in fig . [ 322figs](b ) , [ 322figs](c ) or [ 322figs](d ) . we wish to extract the gauge theory data of a d - brane that probes such a singularity , starting from figure [ 322figs](a ) . this issue was addressed in @xcite , and let us review the basic steps in their algorithm . recall that the toric data for a given singularity that a d - brane probes is given by the matrix @xmath109 which is the transpose of the kernel of the total charge matrix ( obtained by concatenating the f and d - term constraints expressed in terms of the homogeneous coordinates @xmath19 ) . hence , the solution to the inverse problem would imply the construction of an appropriately reduced total charge matrix @xmath110 , the cokernel of the transpose of which is the reduced matrix @xmath111 obtained by deleting the appropriate columns ( corresponding to the fields that have been resolved ) from @xmath109 . however , although @xmath111 is known , there is no unique way of specifying the reduced charge matrix @xmath110 from a knowledge of @xmath111 . further , there is no guarantee apriori that such a @xmath110 , if obtained , would continue to describe the world volume theory of a d - brane that probes the given singularity . the algorithm of @xcite gives a canonical method by which these issues can be addressed . it consists of determining the fields to be resolved by tuning the fayet - illiopoulos parameters appropriately ( so that the resulting theory at the end is still a physical d - brane gauge theory ) and then reading off the the matrix @xmath110 which can be separated into the f and d - terms and thus can be used to obtain the matter content and the superpotential determining the gauge theory . let us discuss this in some more details . the toric diagrams for the partially resolved singularities are obtained by the deletion of of a subset of nodes from the original one . conversely , a given toric diagram of dimension @xmath112 can be embedded into a singularity of the form @xmath113 where @xmath114 . in our case , the singularities mentioned above can be embedded into the toric diagram for the singularity @xmath115 . for example , the spp , and the conifold singularity can both be embedded into the @xmath0 singularity , as is obvious from their toric diagrams . we shall henceforth refer to these singularities , in which we embed the partially resolved ones as the parent singularities . a toric diagram corresponding to a partial resolution can of course be embedded in more than one parent singularity and according to the algorithm of @xcite , one can choose the minimal embedding . we will return to this issue in a while . we now determine the fields to be resolved from the parent singularity in order to reach the given toric diagram , by appropriately choosing the values of @xmath94 . the difficulty that arises here is that given the toric diagram of the singularity that we are interested in , there is no unique way of knowing exactly which fields ( in the toric data of the parent singularity ) have to be resolved in order to reach the toric singularity of interest . given a toric diagram for the parent singularity , a particular resolution , along with the elimination of one or more nodes , might also require a subset of fields from some other nodes to be resolved . hence , we have to carefully tune the fi parameters for a consistent blowup of the parent singularity to the one that we are interested in . we now illustrate this procedure by the example of the blowup of the @xmath0 singularity to the @xmath108 orbifold illustrated in fig . [ 322figs](c ) . this example is , in a sense , straightforward , because from the toric diagram of fig . [ 322figs](c ) , it is clear that this being the @xmath17 singularity , we can directly read off the matter content and the interactions from the standard results for d3-branes on the @xmath17 orbifold @xcite . however , note that this is the simplest example where the inverse procedure of calculating the d - brane gauge theory has to be valid . the @xmath17 orbifold can be thought of as partial resolutions of the orbifolds @xmath0 , or @xmath1 , and the inverse toric procedure must give familiar results for both in agreement with @xcite,@xcite . a lower dimensional toric orbifold can always be embedded in the toric diagram of one of higher dimension , and the inverse toric procedure must consistently reproduce the d - brane gauge theory on the former , starting from the latter data . as we will see , this is indeed the case . we proceed by embedding the @xmath17 singularity in @xmath0 . in order to determine the fields to be resolved , we perform gaussian row reduction on the the matrix @xmath96 to obtain @xmath116    the above set of equations imply the constraints @xmath117    where , for convenience of notation , we have labelled @xmath118 . this set of equations is now solved in terms of the fields that we know would definitely get resolved . from the toric diagram , three such fields are @xmath119 . however , from the relation between @xmath120 and @xmath121 above , it suffices to solve the above set of equations in terms of @xmath122 and @xmath121 , say . this gives the solution set , @xmath123&=&\left[x_1,(2x_9-x_7-\zeta_1-\zeta_2),(x_1 + \zeta_2+\zeta_3 ) , ( x_1+x_7-x_9+\zeta_2),\right.\nonumber\\ & ~&(2x_1+x_7 - 2x_9+\zeta_1 + 2\zeta_2+\zeta_3 ) ( x_1+x_7-x_9+\zeta_1+\zeta_2+\zeta_3),\nonumber\\ & ~&\left.x_7,(x_9- \zeta_1-\zeta_2 ) , x_9\right]\end{aligned}\ ] ] now , from the toric diagram of fig.[322figs](c ) , we choose the fields @xmath124 $ ] to have zero vev i.e these fields continue to remain dynamical . thus , in the above solution set , we impose @xmath125 to obtain @xmath126=\left[0,0,0,(x_9-\zeta_1),0,(x_7-x_9+\zeta_1),x_7 , ( x_9-\zeta_1-\zeta_2),x_9\right]\ ] ]    we further set @xmath127 in order to make @xmath128 . hence , @xmath129 . also , @xmath130 . therefore , the fields to be resolved are @xmath131 $ ] , all of which have positive vevs . we now need to obtain the reduced charge matrix for this choice of variables to be resolved . the method of doing this essentially consists of performing row operations on the full charge matrix @xmath96 in eq . ( [ fullq ] ) , such that the columns corresponding to the resolved fields @xmath131 $ ] are set to zero . the reduced charge matrix @xmath110 thus obtained must be in the nullspace of the reduced toric matrix @xmath132 , that can be directly evaluated from the full toric matrix in eq . ( [ fulltoricdata ] ) by removing the columns @xmath133 . let us first discuss the general formalism for achieving this , which can then be easily applied to our present example . consider a general parent theory that has a total charge matrix @xmath96 of dimensions @xmath134 , and suppose we wish to eliminate @xmath41 fields from the parent theory in order to reach the theory of interest . this implies that we have to perform row operations on @xmath96 so that the given @xmath41 columns will have zero entries and thus be eliminated . the latter can be achieved by constructing the nullspace of the transpose of a submatrix that is formed by precisely the @xmath41 columns that need to be eliminated . further , since the toric data @xmath109 was initially in the nullspace of @xmath96 , removal of the @xmath41 columns from @xmath96 to obtain @xmath110 would mean that the reduced toric data @xmath111 with the same @xmath41 columns removed would be in the nullspace of @xmath110 . thus , the expression for @xmath110 is given by @xcite @xmath135 \label{qreduced}\ ] ] where @xmath136 is the transpose of the matrix obtained from @xmath72 containing as its columns , the deleted columns of @xmath72 and @xmath137 is the remaining matrix . in our example , we evaluate @xmath138 directly , by writing @xmath136 as the transpose of the matrix that contains columns @xmath133 of the charge matrix @xmath96 , and @xmath137 being the matrix containing the columns @xmath139 of @xmath96 . this implies that the reduced charge matrix is @xmath140 from this , the reduced charge matrices corresponding to the f and d - terms are @xmath141 denoting the kernel of the charge matrix by @xmath142 , the transpose of its dual is the reduced @xmath143 matrix , @xmath144    now , from eq . ( [ indep ] ) , the charge matrix for the initial fields @xmath77 are given , via the charge matrix for the independent fields @xmath65 by the relation @xmath145 hence , in this case , making use of the identity @xmath146 , the matter content for the d - brane gauge theory on the resolved space is obtained as @xmath147 . from which in this case we obtain the matrix @xmath148 where we have included an extra row corresponding to the redundant @xmath38 . hence , the gauge group is seen to be @xmath149 , with four bifundamentals , in agreement with the result of @xcite . also note that one adjoint field has appeared in our expression . this signals an ambiguity that exists in the toric procedure with regards to handling chargeless fields . consider , for example , the superpotential interaction , which can be determined from the matrix @xmath56 that encodes the f - flatness conditions . the number of columns in the matrix @xmath150 is the number of fields that appear in the interactions and the terms in the superpotential are read off as linear relations between the columns of @xmath151 . in this example , from the matrix @xmath56 , we have the relation @xmath152 , and from the @xmath41 matrix , we can see that each of these have charge zero . hence , we try as an ansatz for the superpotential , @xmath153 where @xmath154 is a field uncharged for both the @xmath38 s . this agrees with @xcite after the identification @xmath155 . as is clear , however , there is an ambiguity in writing the superpotential due to the presence of fields that are chargeless under both the @xmath38 s @xcite . let us also mention that we can carry out the inverse procedure just outlined for the case of the alternative blowup to @xmath156 shown in figure [ 322figs](d ) . this gives exactly the same matter content and superpotential as the case just analysed , in the region of moduli space given by @xmath157 , @xmath158 . + @xmath159 we now discuss the example of the blowup of the @xmath160 singularity to the conifold . proceeding in the same way as above , we now find that in the region of the fi parameters determined by @xmath161 , the fields to be resolved are @xmath162 $ ] , when the fields @xmath163 $ ] are chosen dynamical , i.e continue to have zero vev . therefore , from eq . ( [ qreduced ] ) , we obtain the reduced charge matrix to be @xmath164 note that in this , case , there are no f - terms and we have @xmath165 , moreover , the kernel of this matrix is the @xmath166 identity matrix , i.e @xmath167 , which implies that ( since the dual matrix of @xmath142 is also the @xmath166 identity matrix ) @xmath168 , with the charge matrix given in this case ( by adding the extra column corresponding to the overall @xmath38 ) as @xmath169 in this case , the matrix @xmath138 being zero , there are no f - terms and the entire gauge theory information is contained in the d - term . let us now consider d3-branes on the orbifold @xmath170 . in this case , the bosonic fields corresponding to the d3-brane coordinates tangential to the @xmath22 are @xmath171 matrices , and the components that survive the projection by the quotienting group constitute the @xmath12 matter multiplet , given by the set @xmath172 the f - flatness condition ( [ superpot ] ) in this case imply @xmath173 constraints out of which @xmath174 are seen to be independent . further , there are @xmath175 homogeneous coordinates @xmath176 , corresponding to the physical fields in terms of which the dual cone may be described . the total charge matrix of the homogeneous coordinates @xmath19 is defined by introducing a set of @xmath177 @xmath69 actions that remove the redundancy in expressing the original independent fields in terms of the homogeneous coordinates and a further set of @xmath178 charges expressing the d - term constraints in terms of the @xmath19 . ( the @xmath179th @xmath38 is redundant because of the relation @xmath48 ) . the total charge matrix can then be obtained by concatenating these two sets of charge matrices as in our earlier example , and is given ( with the inclusion of a column specifying the @xmath180 independent fayet - illiopoulos parameters ) by @xcite @xmath181 the toric data is the co - kernel of the transpose of this charge matrix ( when the fi parameters are set to zero ) and is given by @xmath182    the invariant variables are defined by @xmath183 from which it can be seen that @xmath184    = 4.5 in    let us now discuss some examples of blowups of this space that will illustrate the procedure outlined in section 2 . we will use the notation @xmath185 in what follows . + @xmath159 our first example is illustrated in figure [ 3221 ] . from the diagram , we see that the field @xmath186 will definitely be resolved . hence , after performing gaussian row reduction on the charge matrix @xmath96 , which gives @xmath187    we use this matrix to solve for all the fields in terms of @xmath188 , the solution set being given by @xmath189&=&\left[x_1,x_2,(2x_1 - 2x_2+x_{14}-\zeta_1 -\zeta_3+\zeta_5),\right.\nonumber\\ & ~&(2x_2-x_{14}+2\zeta_1 + \zeta_2+\zeta_3+\zeta_4 ) , ( x_2+\zeta_1),\nonumber\\ & ~&(x_1-x_2+x_{14}-\zeta_1-\zeta_3),(2x_2-x_{14}+\zeta_1 + \zeta_2+\zeta_3 ) , \nonumber \\   & ~&(x_1+\zeta_1+\zeta_2+\zeta_4+\zeta_5 ) , ( x_1-x_2+x_{14}+\zeta_5),\nonumber\\ & ~&(x_1+\zeta_2+\zeta_5 ) , ( -x_1 + 4x_2 - 2x_{14 } + 3\zeta_1 + 2\zeta_2 + 2\zeta_3+\zeta_4),\nonumber\\ & ~&(x_2+\zeta_1+\zeta_2+\zeta_3 + \zeta_4+\zeta_5 ) , ( x_2+\zeta_1+\zeta_2+\zeta_3+\zeta_4),\nonumber\\ & ~&x_{14},(2x_2-x_{14}+2\zeta_1 + 2\zeta_2+\zeta_3+\zeta_4+\zeta_5 ) , \nonumber\\ & ~&\left.(x_2+\zeta_1+\zeta_2 ) , ( x_2+\zeta_1+\zeta_2+\zeta_3)\right ] \label{sol14}\end{aligned}\ ] ]    now , we choose the fields @xmath190 $ ] as the ones that continue to have zero vev , and in eq . ( [ sol14 ] ) set the values of these to zero . we thus obtain conditions on the fi parameters , @xmath191 . in the new solution set obtained with these conditions , we choose @xmath192 which makes @xmath193 . this also imples that @xmath194 ( since @xmath195 ) . we also set @xmath196 to obtain @xmath197 . our choice of @xmath198 implies that @xmath199 . this gives the solution set @xmath189&=&\left[0,(-\zeta_3-\zeta_1),0,0,-\zeta_3 , ( -\zeta_1-\zeta_3),\right.\nonumber\\ & ~&\left . 0,0,0,0,0,-\zeta_1,-\zeta_1,(-\zeta_3-\zeta_1),0,-\zeta_3,0\right]\end{aligned}\ ] ]    thus the fields to be resolved are @xmath200 $ ] . hence , from ( [ qreduced ] ) , we obtain the reduced charge matrix , @xmath201    in the usual way , we calculate the kernel of the charge matrix @xmath142 , and the transpose of its dual matrix is @xmath202    from the matrices @xmath203 and @xmath204 , we can read off the matter content and gauge group of the d - brane gauge theory from the matrix @xmath205 this is an @xmath36 gauge theory with @xmath174 matter fields , in agreement with @xcite,@xcite . to calculate the superpotential , we first note that the relations between the columns of the matrix @xmath143 , which can be written as @xmath206 . all these combinations are seen to be chargeless , as is the combination @xmath207 . hence , our ansatz for the superpotential in this case is @xmath208 which agrees with that calculated in @xcite after the identification with their notation , @xmath209 .    in terms of the original variables of ( [ 323matter ] ) , this blowup corresponds to giving a vev to the fields @xmath210 . the invariant variables are in this case defined by @xmath211 in terms of these variables , the blown up space is given by @xmath212 . + @xmath159 we now consider the second example which is depicted in figure [ 3222](a ) . in this case , we start from the matrix ( [ grrqred ] ) , and in the solution set of eq . ( [ sol14 ] ) , keeping in mind the toric diagram of the blowup , we select the set of fields @xmath213 $ ] that remain dynamical , with zero vev . this gives the solution @xmath214 . from the resulting solution set , we now select @xmath215 , in order to obtain @xmath216 and after imposing this condition , we make the choice @xmath217 in order for @xmath218 to have zero vev . the final solution is given by @xmath189&=&\left[(\zeta_1+\zeta_4 ) , ( -\zeta_1-\zeta_2-\zeta_3),(\zeta_1+\zeta_2+\zeta_4 ) , ( \zeta_1+\zeta_4),\right .\nonumber\\ & ~&(\zeta_2-\zeta_3),(\zeta_4-\zeta_3),0,(\zeta_1+\zeta_2+\zeta_4),0 , \zeta_2,0,-\zeta_1,\zeta_4 , \nonumber\\ & ~&\left .(-\zeta_1-\zeta_2-\zeta_3),\zeta_2,-\zeta_3,0\right]\end{aligned}\ ] ] hence , the fields to be resolved are @xmath219 $ ] and the dynamical fields are @xmath220 $ ] . we can thus directly evaluate the reduced charge matrix from ( [ qreduced ] ) which is given by    @xmath221    defining the invariant variables from eq . ( [ 323matter ] ) in this case as @xmath222 this blownup space can be seen to be the conifold @xmath223 by using the redefined variables in ( [ 323eqn ] ) . the gauge theory living on the d - brane is of course the same as in eq . ( [ d2 ] ) . in terms of the original variables in eq . ( [ 323matter ] ) , this blowup can be shown to correspond to giving vevs to the fields @xmath224 . since there are no f - terms in this case , all the information about the gauge theory is contained in the d - term constraint . + @xmath159 let us now consider the toric diagram given by figure [ 3222](b ) . from the toric diagram of fig . [ 3222](b ) , we choose the fields @xmath225 to have zero vev . these conditions imply that @xmath226 and also @xmath227 . substituting this in the solution set ( [ sol14 ] ) , we obtain @xmath189&=&\left[0,0,0,0,\zeta_1,\zeta_2,0,0,(\zeta_1 + \zeta_3),0,0,\zeta_3,(\zeta_2+\zeta_3),\right . \nonumber\\ & ~&\left . ( \zeta_1+\zeta_3-\zeta_5),0,(\zeta_1+\zeta_2 ) , ( \zeta_1+\zeta_2+\zeta_3)\right ] \end{aligned}\ ] ]    now , we have a choice . we put @xmath228 and obtain @xmath229 which also implies that @xmath230 . hence , from the final solution set , we see that the fields that continue to have zero vev and are dynamical are , in this case , given by the set @xmath231 $ ] and the fields that pick up non - zero vev and hence are resolved are @xmath232 $ ] . hence , according to ( [ qreduced ] ) , we obtain the reduced charge matrix as    @xmath233 and the dual of the kernel of the charge matrix @xmath138 is @xmath234 as before , in order to calculate the matter content , we use the matrix @xmath235 , from which the matrix @xmath236 , which specifies the matter content and gauge group of the d - brane gauge theory is calculated to be @xmath237 hence , the gauge group is @xmath36 and there are @xmath174 matter fields . using the relations @xmath238 with total charge zero and the chargeless combination @xmath239 , we write the superpotential in this case as @xmath240 where the fields @xmath241 are possible adjoints . the invariant variables ( [ invariables ] ) are defined by @xmath242 with the relations @xmath243 . the remaining singularity is seen from eq . ( [ 323eqn ] ) to be the equation @xmath244 in @xmath22 , which is recognised as corresponding to blowing up the @xmath1 orbifold to the singularity @xmath245 . let us also mention that in terms of the original variables in eq . ( [ 323matter ] ) , this blowup corresponds to giving vevs to the fields @xmath246 . +    = 3.5 in    @xmath159 we now come to the example shown in figure [ 3222](c ) . in this case , from the gaussian row - reduced matrix of eq . ( [ sol14 ] ) , we choose the set of fields @xmath247 $ ] to have zero vev . this implies that @xmath248 and also that @xmath214 . substituting this in the solution set implies that in addition @xmath249 , and further setting @xmath250 , so that @xmath251 is zero , we obtain the full solution set in this case as @xmath189&=&\left[(-\zeta_2-\zeta_5),(-\zeta_3+\zeta_4+\zeta_5 ) , ( -\zeta_2-\zeta_5),(-\zeta_2-\zeta_5),\right .   \nonumber\\&~&(-\zeta_2-\zeta_3),(\zeta_4-\zeta_5),0,(-\zeta_2-\zeta_5 ) , -\zeta_2,0,0 , ( \zeta_4+\zeta_5),\zeta_4 , \nonumber\\ & ~&\left.(-\zeta_3+\zeta_4+\zeta_5),0,-\zeta_3,0\right]\end{aligned}\ ] ]    hence , the fields that are dynamical and have zero vev is given by the set @xmath252 $ ] and the set to be resolved is given by @xmath253 $ ] . using this , the reduced charge matrix is calculated from ( [ qreduced ] ) to be @xmath254    from which the f and the d - terms as    @xmath255    the dual of the kernel of @xmath138 is given by @xmath256    and the matter content and gauge group of the d - brane gauge theory is obtained as    @xmath257 the superpotential is written down , after noting that the field @xmath258 is chargeless , and the relations @xmath152 from the matrix @xmath143 . it is given by @xmath259 where @xmath154 is a possible adjoint . the matter content and the superpotential are exactly the same as in ( [ compare1 ] ) and ( [ compare2 ] ) . this is of course as expected because both describe the world volume theory of a d3-brane on the @xmath260 singularity . this blowup corresponds to giving vevs to the fields @xmath261 . the invariant variables ( [ invariables ] ) are in this case @xmath262 where @xmath263 . the blown up space is , from eq . ( [ 323eqn ] ) , given by the equation @xmath264 in @xmath22 , which describes the blowup to @xmath245 . let us pause to comment here that the toric diagram of figure [ 3222](c ) can be embedded both into that of @xmath1 and @xmath0 ; in fact , this diagram is identical to that in figure [ 322figs](d ) . the fact that either embedding gives correct results for the d - brane gauge theory data shows that the inverse toric procedure is indeed consistent . + @xmath159 finally , let us discuss the toric diagram of figure [ 3222](d ) . which is the conifold obtained by partially resolving the @xmath265 singularity . following the same procedure as outlined in the previous examples , we start from the solution set of ( [ sol14 ] ) and select the fields @xmath266 $ ] which we set to zero . from this , we obtain the solution @xmath267 and @xmath268 . substituting this in the solution set and further setting @xmath192 so that @xmath269 , we finally obtain the full solution set to be @xmath189&=&\left[0,0,0,(\zeta_1+\zeta_2+\zeta_4 ) , \zeta_1,0,\zeta_2,(\zeta_1+\zeta_2+\zeta_3+\zeta_4 ) , ( \zeta_1+\zeta_3),\right . \nonumber\\ & ~&\zeta_2,(\zeta_1 + 2\zeta_2+\zeta_4)(\zeta_1+\zeta_2+\zeta_3+\zeta_4 ) , ( \zeta_1+\zeta_2+\zeta_3 + \zeta_4),\nonumber\\ & ~&\left.(\zeta_1+\zeta_3),(\zeta_1 + 2\zeta_2+\zeta_4),(\zeta_1+\zeta_2 ) , ( \zeta_1+\zeta_2+\zeta_3)\right]\end{aligned}\ ] ] hence , the fields that are dynamical are given by the set @xmath270 $ ] while the rest acquire non - zero vev and hence are resolved , and in this case the reduced charge matrix is obtained from ( [ qreduced ] ) to be @xmath271    this blowup corresponds to the conifold . to see this , we define the invariant variables ( [ invariables ] ) in this case by @xmath272 in this case , from ( [ 323eqn ] ) , we can see that the remaining singularity is given by the conifold @xmath105 . let us also mention that in terms of the original variables in eq . ( [ 323matter ] ) , this blowup corresponds to giving vevs to @xmath273 . we now consider d - branes on the orbifold @xmath18 and some of its blowups @xcite . we will consider a d1-brane at this singularity , and the world volume theory is an @xmath274 sym theory in two dimensions . the method of construction of the moduli space of the d-1 brane is similar to the method outlined in sections 2 and 3 . the unbroken gauge symmetry in this case is ( apart from a redundant @xmath38 ) , @xmath275 . the matter multiplet , after imposing the appropriate projections consist of @xmath276 surviving fields , @xmath277 the f - term constraints of eq . ( [ superpot ] ) , in this case imply that out of the @xmath276 fields , @xmath278 are independent , and the @xmath276 initial fields can be solved in terms of these @xmath278 , and the solutions can be denoted as vectors in the lattice @xmath279 . the dual cone in this case has @xmath280 homogeneous coordinates ( matter fields ) @xmath19 , and the redundancy in the definition of the initial independent coordinates in terms of these can be eliminated by introducing a set of @xmath281 @xmath69 actions . the charge matrix @xmath72 for the @xmath69 actions is given in @xcite . for the matrix denoting the original @xmath38 charges expressed in terms of the homogeneous coordinates @xmath19 , we use the moore - penrose inverse of the matrix defining the dual cone , and concatenate these two matrices to obtain the total charge matrix given in the appendix . the toric diagram is given by the columns of the matrix @xmath282    = 5.5 in      in terms of these variables , the space is defined by the surface @xmath290 in @xmath291 . two of its resolutions ( corresponding to cases ( vb and vib of @xcite ) are shown in figure [ 4222 ] . + this singularity has to be analysed in the lines of @xcite in order to determine whether its partial resolutions are realised in the moduli space of the d - brane world volume gauge theory . we leave this issue for future work , and for the moment analyse the blowups of this singularity into lower dimensional orbifold singularities , using the inverse toric procedure . + @xmath159 let us consider the blowup illustrated in fig . [ 4222](b ) . performing gaussian row reduction on the total charge matrix , we find that for the range of the fi parameters @xmath292 , an appropriate initial choice determines the fields that retain zero vev as the set @xmath293 $ ] , while all others have non - zero vev and are hence resolved . the reduced charge matrix is @xmath294 from the kernel of the charge matrix @xmath138 , the transpose of its dual is obtained as @xmath295    from these matrices , we can extract the gauge theory data which is now given by the matrix @xmath296 the gauge group is as expected , @xmath36 with @xmath297 matter fields , and the superpotential is given by @xmath298 from the definition of the invariant variables in eq . ( [ inv422 ] ) , it can be seen that this space is @xmath0 defined by the equation @xmath299 in @xmath300 . in terms of the original fields , it corresponds to giving vevs to the fields @xmath301 and @xmath302 . + @xmath159 finally , we come to the example of fig . [ 4222](c ) . in this case , in the region of moduli space given by @xmath303 , we find that the dynamical fields are given by the set @xmath304 $ ] , while the rest acquire non - zero vev and are resolved . the reduced charge matrix is @xmath305 the matrix @xmath143 is in this case given by @xmath306 which specifies the matter content as a @xmath149 gauge theory with the charge matrix given , as expected , by @xmath307 with a superpotential @xmath308 with @xmath154 being a possible chargeless field . in terms of the original fields in the theory , this resolution corresponds to giving vevs to @xmath309 , and the resulting space is the @xmath260 orbifold @xmath310 that we have discussed earlier . in this paper , we have critically examined the inverse procedure of obtaining the world volume gauge theory data of d - branes probing certain toric singularities and their blowups from the geometric data of the resolution . we have shown that the algorithm of @xcite gives consistent results , for a given singularity that can be reached by partial resolutions of different parent theories . we have explicitly checked several partial resolutions of orbifolds of the form @xmath3 and @xmath4 and found the results to be in agreement with field theory calculations . however , as pointed out in @xcite , in the presence of chargeless fields in the matter multiplet , the procedure can not be used to specify the superpotential interaction uniquely , because of the inherent problem in the handling of such fields by toric methods . we have treated the simplest examples of the resolution of the + @xmath18 singularity in this paper . it would be interesting to investigate the various partial resolutions of the moduli space of d - branes on this singularity the lines of @xcite and determine the gauge theory data thereof .    finally , as noted in @xcite , the ambiguities that exist in the inverse algorithm seem to imply that in some cases , different gauge theories , in the infra red limit flow to theories with identical moduli space . we have not dealt with this aspect in the present paper , and it would be an interesting direction for future work . 99 m. r. douglas , d. kabat , p. pouliot , s. shenker , `` d - branes and short distances in string theory , '' nucl . phys . * b485 * ( 1997 ) 85 , hep - th/9608024 . b. greene , y. kanter , `` small volumes in compactified string theory , '' nucl . * b497 * ( 1997 ) 127 , hep - th/9612181 . p. aspinwall , b. greene , d. morrison , `` calabi - yau moduli space , mirror manifolds and space - time topology change in string theory , '' nucl . phys . * b416 * ( 1994 ) 78 , hep - th/9309097 . e. witten , `` phases of @xmath24 theories in two dimensions , '' nucl . * b403 * ( 1993 ) 159 , hep - th/9301042 . m. douglas , b. greene , d. morrison , `` orbifold resolution by d - branes , '' nucl . b506 * ( 1997 ) 84 , hep - th/9704151 . e. witten , `` phase transitions in m theory and f theory , '' nucl . b471 * ( 1996 ) 195 , hep - th/9603150 . t. muto , `` d - branes on orbifolds and topology change , '' nucl.phys . * b521 * ( 1998 ) 183 , hep - th/9711090 . m. douglas , g. moore , `` d - branes , quivers , and ale instantons . '' hep - th/9603167 . c. johnson , r. myers , `` aspects of type iib theory on ale spaces , '' phys . rev . * d55 * ( 1997 ) 6382 , hep - th/9610140 . m. douglas , b. greene , `` metrics on d - brane orbifolds , '' adv . * 1 * ( 1998 ) 184 , hep - th/9707214 . m. douglas , a. kato , h. ooguri , adv . * 1 * ( 1998 ) 237 , hep - th/9708012 . t. muto , `` brane configurations for three - dimensional nonabelian orbifolds , '' hep - th/9905230 . b. feng , a. hanany , y. he , `` z - d - brane box models and nonchiral dihedral quivers , '' hep - th/9909125 . k. oh , r. tatar , `` branes at orbifolded conifold singularities and supersymmetric gauge field theories , '' jhep * 9910i * ( 1999 ) 0319 , hep - th/9906012 m. cvetic , l. everett , p. langacker , j. wang , `` blowing up the four - dimensional z(3 ) orientifold , '' jhep * 9904 * ( 1999 ) 020 , hep - th/9903051 w. fulton , introduction to toric varieties , princeton university press , 1993 . d. cox , alg - geom/9606016 . e. gimon , j. polchinski , `` consistency conditions for orientifolds and d manifolds , '' phys . rev . * d54 * ( 1996 ) 1667 , hep - th/9601038 . b. greene , `` d - brane topology changing transitions , '' nucl.phys . * b525 * ( 1998 ) 284 , hep - th/9711124 . s. mukhopadhay , k. ray , `` conifolds from d - branes , '' phys * b423 * ( 1998 ) 247 , hep - th/9711131 . b. feng , a. hanany , y. he , hep - th/0003085 . c. beasley , b. greene , c. lazaroiu , m. plesser , `` d3-branes on partial resolutions of abelian quotient singularities of calabi - yau threefolds , '' nucl . b553 * ( 1999 ) 711 , hep - th/9907186 . j. park , r. rabadan , a. m. uranga , hep - th/9907086 , `` orientifolding the conifold , '' nucl.phys . * b570 * ( 2000 ) 38 , hep - th/9907086 . a. uranga , `` brane configurtions for branes at conifolds , '' jhep * 9901 * ( 1999 ) 022 , hep - th/9811004 d. morrison , r. plesser , `` nonspherical horizons 1 , '' adv . * 3 * ( 1999 ) 1 , hep - th/9810201 . a. ahn , h. kim , `` branes at @xmath4 singularity from toric geometry , '' jhep * 9904 * ( 1999 ) 012 , hep - th/9903181 . k. mohri , `` d - branes and quotient singularities of calabi - yau fourfolds , '' , nucl * b521 * ( 1998 ) 161 , hep - th/9707012
Abstract:

Answer: we discuss examples of d - branes probing toric singularities , and the computation of their world - volume gauge theories from the geometric data of the singularities . we consider several such examples of d - branes on partial resolutions of the orbifolds @xmath0,@xmath1 and @xmath2 . psfig.sty    hep - th/0005166 + tifr / th/00 - 22   + may , 2000    * d - brane gauge theories from toric singularities of the form @xmath3 and @xmath4 * + tapobrata sarkar + _ department of theoretical physics , + tata institute of fundamental research , + homi bhabha road , mumbai 400 005 , india _ +