the properties of the kaons and antikaons in the nuclear medium have been the object of numerous investigations since the possibility of the existence of a kaon condensed phase in dense nuclear matter was pointed out @xcite .
the enhancement of the @xmath0 yield in ni+ni collisions measured recently by the kaos collaboration at gsi @xcite can be explained by assuming the @xmath0 meson to feel a strong attraction in the medium @xcite .
kaonic atom data , a compilation of which is given in ref .
@xcite , also favor an attractive @xmath0 nucleus interaction .
most of the recent theoretical works start from chiral lagrangians that reproduce the free space scattering properties which , in the case of @xmath8 scattering , are dominated by the presence of an isospin zero resonance , the @xmath6 .
it is precisely the influence of this resonance what makes the @xmath9 interaction repulsive at threshold , while the lowest order born s - wave amplitude from the chiral lagrangian ( the tomozawa - weinberg term ) is attractive .
evidently , one can not expect chiral perturbation theory to work close to a resonance .
this is why all works studying the free space @xmath10 interaction from the chiral lagrangian either introduce the @xmath6 as an elementary field @xcite or generate it dynamically through the lippmann - schwinger @xcite or the bethe - salpeter @xcite equations .
these latter approaches allow for a microscopic incorporation of the medium effects on the the @xmath5 interaction @xcite .
for instance , pauli blocking on the intermediate nucleon states , makes the @xmath5 interaction density dependent and this , in turn , modifies the @xmath0 properties from those in free space .
these medium modifications were already included long time ago in the context of brueckner - type many body theory @xcite to obtain the kaon - nucleus optical potential for kaonic atoms .
the medium properties of kaons and antikaons have also been obtained from mean field theories , built within the framework of chiral lagrangians @xcite , based on the relativistic walecka - type model extended to incorporate strangeness in the form of hyperons or kaons @xcite , or using explicitly quark degrees of freedom @xcite .
all the different approaches agree qualitatively in establishing that , in the medium , the @xmath11 feels a moderate repulsion and the @xmath0 a strong attraction . how large is this attraction is still somewhat controversial .
recent phenomenological approaches @xcite based on fits to kaonic atom data find a @xmath0-nucleus potential of the order of @xmath12 mev in the nuclear center .
however , no calculation that starts from the bare @xmath13 interaction predicts such an attraction , the values ranging from @xmath14 to @xmath15 mev .
hopefully , heavy - ion reactions , that are sensitive to higher density regions , will help in elucidating these discrepancies . at the same time , it is necessary to develop theories that treat the intricacies associated to the mutual interaction between all the hadrons in the medium as accurately as possible .    in the present work
we perform a microscopic study of the the @xmath0 properties in nuclear matter by incorporating the medium modifications on the @xmath5 amplitude using the model of ref .
@xcite , which was shown to reproduce the @xmath9 scattering observables very satisfactorily .
as mentioned above , one source of density dependence is the pauli blocking on the nucleon states .
this makes the @xmath5 interaction attractive and , on the other hand , shifts the resonance to higher energies @xcite .
however , it was shown recently @xcite that a self - consistent calculation of the @xmath0 self - energy leaves the position of the resonance unchanged , due to a compensation of the repulsive @xmath6 shift with the attraction felt by the @xmath0 meson
. the importance of these medium effects makes it interesting to investigate other medium modifications of the particles participating in building up the @xmath5 interaction .
this is the aim of the present work . to this end
, we include , in addition , the dressing of the pions in the @xmath16 , @xmath17 intermediate states , which couple strongly to the @xmath18 state .
this is done through a pion self - energy that contains the effect of one- and two - nucleon absorption , conveniently modified to include the effect of nuclear short - range correlations .
the medium effects on the nucleons and hyperons is considered via density - dependent mean - field binding potentials .    after reviewing the free - space formalism in sect .
[ sec : free ] , we describe , in sect . [ sec : medium ] , the appropiate modifications needed to incorporate the medium effects on the @xmath1 amplitude .
the details of the kaon and pion self - energies are given in sect .
[ sec : self ] .
our results are discussed in sect .
[ sec : results ] , where various approximations are compared .
finally , sect .
[ sec : conclusions ] summarizes our main results and conclusions .
in this section we review the formalism used in ref .
@xcite for describing @xmath1 scattering in free space .
the effective chiral lagrangian formalism has been very successful in explaining the properties of meson - meson interaction at low energies @xcite , as well as those of the meson - baryon systems @xcite when the interaction is weak , as in the case of the s - wave @xmath19 and @xmath20 interaction .
however , the @xmath21 system couples strongly to many other channels and generates a resonance below threshold , the @xmath22 . in this case
the standard chiral scheme , an expansion in powers of the typical momenta involved in the process , fails to be an appropriate approach .    in ref .
@xcite a non perturbative scheme , consisting of solving a set of coupled - channel bethe - salpeter equations using the lowest order chiral lagrangian in s - wave , was shown to reproduce the low energy @xmath8 scattering data very satisfactorily with only one - parameter , the cut - off used to renormalize the loop integrals .
a reinterpretation of these equations to the light of the inverse amplitude method can be seen in ref .
@xcite , where it is shown that the effect of higher order chiral lagrangians can be reabsorbed with the choice of a suitable cut - off in some cases .
the model of ref .
@xcite follows closely that of ref .
@xcite , where the success of the non - perturbative approach using the chiral lagrangians was first shown , but includes the complete set of @xmath23 meson and @xmath24 baryon octet states in the basis space of coupled channels .
the use of this complete set , apart from providing the right su(3 ) symmetry in the limit of equal baryon masses and equal meson masses , was found to be essential for reproducing the experimental branching ratios at threshold with only the lowest order lagrangian .
the lowest order chiral lagrangian , coupling the octet of pseudoscalar mesons to the octet of @xmath24 baryons , is @xmath25 \rangle \ , \end{aligned}\ ] ] where the symbol @xmath26 denotes the trace of su(3 ) matrices and @xmath27 \\ \gamma_{\mu } = \frac{1}{2 } ( u^\dagger \partial_{\mu } u +
u \partial_{\mu } u^\dagger ) \\ u = u^2 = { \rm exp } ( i \sqrt{2 } \phi / f ) \\
u_{\mu } = i u ^\dagger \partial_{\mu } u u^\dagger   \ .
\end{array}\ ] ] the su(3 ) matrices for the mesons and the baryons are the following @xmath28    @xmath29    at lowest order in momentum the interaction lagrangian reduces to @xmath30 \rangle      \ .\ ] ] the coupled channel formalism requires to evaluate the transition amplitudes between the different channels that can be built from the meson and baryon octets .
for @xmath8 scattering there are 10 channels , namely @xmath9 , @xmath31 , @xmath32 , @xmath33 , @xmath34 , @xmath35 , @xmath36 , @xmath37 , @xmath38 and @xmath39 . in the case of @xmath40 scattering the coupled channels are : @xmath41 , @xmath42 , @xmath43 , @xmath44 , @xmath45 and @xmath46 .
these amplitudes have the form @xmath47 where @xmath48 are the initial , final momenta of the baryons ( mesons ) .
the explicit values of the coefficients @xmath49 can be found in ref .
@xcite . at low energies we can neglect the spatial components and eq .
( [ eq : v - matrix ] ) simplifies to @xmath50    the coupled - channel bethe - salpeter equations in the center of mass frame read @xmath51 where the indices @xmath52 run over all possible channels and @xmath53 with @xmath54 and @xmath55 being , respectively , the baryon mass , baryon energy and meson mass in the intermediate state .    although eq .
( [ eq : loop ] ) requires the half - off - shell amplitudes , it was shown in ref .
@xcite that the off - shell part goes into renormalization of coupling constants .
therefore , one can factorize the remainig on - shell components of @xmath56 and @xmath57 outside the integral of eq .
( [ eq : loop ] ) reducing the integral equation to a set of algebraic equations
. the loop integral reads @xmath58 with @xmath59 .
the model discussed here depends on the loop regularization cut - off , whose value @xmath60 mev was chosen to reproduce the @xmath8 scattering branching ratios at threshold @xcite .
the weak decay constant is @xmath61 , a value lying in between the pion and kaon ones that was chosen to optimize the position of the @xmath6 resonance . in table
[ tab:1 ] we summarize the predictions of the model for several scattering observables at threshold .
the scattering cross sections , which are not used in the fit , were shown to be in good agreement with the low energy data @xcite and the model can safely be used up to 500 mev / c @xmath0 lab momentum @xcite up to some punctual discrepancy in the small @xmath62 cross section around 400 mev / c , where the d - wave @xmath63 resonance , not accounted for in the theory , shows up in the data .
the dynamics of the @xmath18 interaction at low energies is dominated by the @xmath6 resonance , which in the approaches of refs .
@xcite is interpreted as an isospin @xmath64 quasi - bound @xmath8 state .
the @xmath6 resonance is slightly below the @xmath9 threshold and leads to a repulsive @xmath9 amplitude .
although the isospin @xmath65 @xmath41 channel is attractive @xcite , the @xmath66 averaged amplitude , @xmath67 , is still repulsive and , according to the low energy theorem , the @xmath0 self - energy ( @xmath68 ) should also be repulsive . however , kaonic atom data suggest that , even at a small fraction of the normal nuclear matter density @xmath69 , the @xmath0 feels a strongly attractive potential .
this implies a rapid transition from a repulsive @xmath5 interaction to an attractive one as density increases and a microscopic study of the @xmath0 properties in the medium can not be done in terms of the simple @xmath68 or impulse approximation .
it is therefore necessary to consider the density dependence of the in - medium @xmath5 interaction , @xmath70 .
one source of density dependence comes from the pauli principle , which prevents the scattering to intermediate nucleon states below the fermi momentum , @xmath71 . to incorporate this effect in the channels having an intermediate nucleon state
, one must replace the free nucleon propagator by the in - medium one in the loop integral of eq .
( [ eq : gprop ] ) .
the evaluation of the @xmath0 self - energy will require the knowledge of the @xmath10 @xmath57-matrix at momenta @xmath72 in the nuclear lab frame , where @xmath73 is a nucleon momentum from the fermi sea and @xmath74 is the momentum of the @xmath0 . the loop integral of eq .
( [ eq : gprop ] ) used in the description of the @xmath10 scattering data is evaluated and regularized by means of a cut - off in the center - of - mass frame . in order to be able to use the same formalism we boost the @xmath10 system to its center - of - mass frame and
then evaluate the loop function .
however , since pauli blocking is most easily implemented in the lab frame , we express the occupation number in terms of the momentum of the intermediate nucleon in the laboratory , @xmath75 .
hence , we have @xmath76 where @xmath77 is the total four - momentum in the lab frame , @xmath78 and @xmath79 \vec{p } - \vec{q }   \label{eq : lorentz}\ ] ] is the nucleon momentum in the lab frame corresponding to a momentum @xmath80 in the center - of - mass frame . as one can see from eq .
( [ eq : gpauli0 ] ) , the pauli blocking corrections are only operative at the nucleon pole .
indeed , by collecting the terms proportional to @xmath81 in the nucleon propagator one finds @xmath82 , which sets the value of @xmath83 to be used in eq .
( [ eq : lorentz ] ) .
this allows one to perform the integration over @xmath83 in eq .
( [ eq : gpauli0 ] ) analytically resulting in @xmath84 in practice , we have checked that the value @xmath85 to be used in eq .
( [ eq : lorentz ] ) can be replaced , with negligible changes , by the energy of the nucleon when both the meson and the baryon are placed on - shell @xmath86 the second term on the right hand side of eq .
( [ eq : gpauli ] ) , related to the hole part of the nucleon propagator , is purely real for the kinematical conditions studied in this work , since one always finds @xmath87 .
all works studying the pauli blocking effects on the in - medium @xmath1 interaction @xcite have neglected the hole term of eq .
( [ eq : gpauli ] ) , a simplification that is well justified for low densities since the phase space for holes is much reduced with respect to that for particles
. however , this effect can become important if one wants to find the properties of the @xmath3 at high densities as those achieved in heavy ion reactions or neutron stars .
another source of density dependence is related to the fact that all the mesons and baryons participating in the intermediate loops interact with the nucleons of the fermi sea and , as a consequence , feel a binding potential which changes the threshold energy of the different channels .
the binding effects on the baryons are taken within a mean - field approach consisting in adding , to the single particle energies in eqs .
( [ eq : gprop ] ) and ( [ eq : gpauli ] ) , a momentum - independent potential of the type @xmath88 , where @xmath89 @xmath90 is normal nuclear matter density . in the case of nucleons
a reasonable value is @xmath91 mev as implied by numerous nuclear structure data . on the other hand , since the experimental binding energy of a @xmath92 particle in hypernuclei extrapolates to about 30 mev for the very heavy systems @xcite , we take the potential depth of the @xmath92 to be @xmath93 mev .
finally , although there is very little information on the @xmath94 single particle states , the recent measurement of the @xmath94 binding energy of about 4 mev in @xmath95he @xcite indicates that the @xmath94 can certainly be bound in the nucleus .
moreover , analysis of @xmath94-atom data by batty et al @xcite and from ref .
@xcite found the data to be compatible with a potential of the type @xmath96 with @xmath97 about @xmath98 to @xmath99 mev .
based on this evidence , we take @xmath93 mev for the @xmath94 potential .    the nuclear medium effects on the mesons will be included through the corresponding self - energy .
we will only consider the dressing of the @xmath4 and @xmath2 mesons since the @xmath100 and @xmath101 mesons appear in intermediate states that lie quite far above the @xmath8 threshold . in the next section ,
we show how the @xmath3 and @xmath2 self - energies are constructed . here
, we will focus on how the dressed meson propagator is incorporated into the scheme . to this end
, we write the meson propagator ( @xmath102 ) @xmath103 in the lehmann representation @xmath104 where the spectral density , defined as @xmath105 has been introduced .    the free meson propagator in eq .
( [ eq : gpauli ] ) must now be replaced by the dressed one written as in eq .
( [ eq : dressed ] ) . while the @xmath83 integral proceeds as before , there now appears an additional integration over the variable @xmath106 running over all possible excited states to which a meson of momentum @xmath107 can couple .
the new meson - baryon loop integral is ( @xmath108 ) @xmath109 where @xmath110 for the intermediate states involving hyperons ( @xmath16 and @xmath17 ) .
if only pauli blocking effects are considered , the effective interaction @xmath111 is obtained by solving the coupled - channel bethe - salpeter equation using the meson - baryon propagator of eq .
( [ eq : gpauli ] ) for the intermediate loops involving nucleons and that of eq .
( [ eq : gprop ] ) otherwise .
if one also incorporates the dressing of the mesons , one must solve the bethe - salpeter equation using the meson - baryon propagator of eq .
( [ eq : gmed ] ) .
the model discussed in sect .
[ sec : free ] for the @xmath1 interaction gives rise to a s - wave @xmath3 self - energy ( @xmath112 or @xmath113 ) @xmath114 \ , \label{eq : selfka}\ ] ] which is obtained by summing the in - medium @xmath5 interaction , @xmath115 ( @xmath116 ) , over the nucleons in the fermi sea .
the values @xmath117 stand now for the energy and momentum of the @xmath3 in the lab frame .
note that a self - consistent approach is required since one calculates the @xmath4 self - energy from the effective interaction @xmath118 which uses @xmath4 propagators which themselves include the self - energy being calculated .
we also include a p - wave contribution to the @xmath4 self - energy coming from the coupling of the @xmath4 meson to hyperon particle - nucleon hole ( @xmath119 ) excitations .
the @xmath0 meson can couple to @xmath120 , @xmath121 or @xmath122 and the @xmath113 to @xmath123 , @xmath124 or @xmath125 .
the vertices @xmath126 are easily derived from the @xmath127 and @xmath128 terms of eq .
( 1 ) , expanding @xmath129 up to one meson field . using a non - relativistic reduction of the @xmath130 matrix , one finds @xmath131 where @xmath107 is the kaon momentum .
we take @xmath132 and @xmath133 .
the coefficients @xmath134 and @xmath135 are listed in table [ tab:2 ] .
the p - wave self - energy for the @xmath0 meson reads @xmath136 where @xmath137 is the generalized lindhard function for different particle and hole masses in a medium of density @xmath138 , with @xmath139 or @xmath140 . as shown in the appendix of ref .
@xcite , it reads @xmath141 where @xmath142 and @xmath143    an analogous expression is found for the @xmath113 meson . in symmetric nuclear matter , as is considered here , both self - energies are the same and reduce to @xmath144 where @xmath145 and @xmath146 are the generic @xmath147 and @xmath148 coupling constants , respectively .
this p - wave contribution to the @xmath4 self - energy can become important for large momentum values .
the solution of the new @xmath0 dispersion relation @xmath149 with @xmath150 , determines the effective mass , @xmath151 , and decay width , @xmath152 , of the @xmath0 meson in the medium .    for the pion self - energy
we take that of ref .
@xcite which consists of a small momentum independent s - wave part , @xmath153 , plus a p - wave part , @xmath154 .
the latter , constructed by allowing the pion to couple to particle - hole ( @xmath155 ) , @xmath156-hole ( @xmath157 ) and two - particle - hole ( @xmath158 ) excitations , can be written as @xmath159 where @xmath160 is a monopole form factor with cut - off @xmath161 gev , @xmath162 ( @xmath163 ) is the lindhard function for @xmath155 ( @xmath157 ) excitations and @xmath164 is a phenomenological function accounting for @xmath158 excitations . the @xmath164 contribution at @xmath165 was obtained from fits to pionic atom data @xcite .
the extension to kinematical regions away from pionic atoms was done by multiplying the imaginary part by the available phase space of @xmath158 states for the given @xmath83 , @xmath107 values at density @xmath166 .
the explicit expression can be found in ref .
@xcite .
the pion self - energy is further modified to include the effect of nuclear short - range correlations .
this is accomplished by replacing the self - energy of eq .
( [ eq : pself ] ) by @xmath167 where @xmath168 is the sum of the @xmath169 , @xmath170 and @xmath164 functions , and @xmath171 is the usual landau - migdal parameter , which is taken slightly momentum dependent as in ref .
@xcite .
we have also considered the effects of including form factors at the @xmath172 vertices of eq .
( [ eq : kpwave ] ) .
if a monopole form factor with @xmath173 gev normalized to 1 as @xmath174 is used , the changes observed are very small , at the level of 2% .
since the value of @xmath175 for kaons is not so well known and the changes induced by the form factor are so small , we simply ignore it in the results presented below .
in this section we discuss the results of our calculations . to facilitate the comparison with other works
we will distinguish three types of approximations , all of which include the binding effects on the baryons :    * _ pauli _ : the blocking of intermediate nucleon states below the fermi momentum @xmath71 is taken into account , but the mesons propagate as in free space .
this approach uses the meson - baryon propagator of eq .
( [ eq : gpauli ] ) for the intermediate states involving nucleons and has been the standard medium effect studied in the literature @xcite . * _ in - medium kaons _ : apart from pauli blocking , the dressed @xmath7 propagator is included in the loops in a self - consistent manner .
this approach , which uses eq .
( [ eq : gmed ] ) for the intermediate @xmath5 states , has recently been used in the study of the @xmath0 properties in the medium @xcite . * _ in - medium pions and kaons _ : the dressing of the pions is also considered and , therefore , eq .
( [ eq : gmed ] ) is used for the intermediate channels involving both @xmath4 and @xmath2 mesons .
this is the main novelty of the present work , apart from considering also the baryon potentials .    to assess the importance of dressing the mesons , we show first their spectral density . in fig .
[ fig : specpi ] the spectral density of the @xmath2 mesons in nuclear matter at density @xmath176 is shown as a function of energy for several momenta .
note that the scale has been adapted to the two higher momenta such that the structure of the spectral density is more clearly seen .
the peak value of the @xmath177 mev / c spectral function is about 375 gev@xmath178 . as the momentum increases the position of the peak moves to higher energies .
however , it increasingly deviates from the energy @xmath179 at which a delta - type spectral density would be located if the dressing of the @xmath2 meson was ignored .
the in - medium peak positions are at 158 , 179 and 212 mev for @xmath177 , 200 and @xmath180 mev / c , respectively , while the corresponding free values are 172 , 244 and 331 mev .
we also observe , to the left of the peaks , the typical structure of the @xmath155 excitations , which spreads the pionic strength over a wider energy range .
the spectral funcion of a @xmath0 meson of zero momentum is shown in fig .
[ fig : specka ] as a function of energy for the three types of approximations used in this work .
the solid line shows results for nuclear matter density @xmath176 , the short - dashed line for @xmath181 and the long - dashed line for @xmath182 .
the spectral functions shown in the upper panel correspond to the approximation in which only pauli blocking effects have been considered . for @xmath182
a two - mode excitation is clearly visible .
the left peak corresponds to the @xmath0 pole branch , appearing at an energy smaller than its mass , @xmath183 , due to the medium effects which , as we will see , are already attractive at this density .
the upper peak corresponds to the @xmath6-hole state , which is located above @xmath183 because of the shifting of the @xmath6 resonance to energies above the @xmath9 threshold due to the restrictions on phase space imposed by pauli blocking . as density increases
, the @xmath0 feels an enhanced attraction and the @xmath0 pole peak moves to lower energies . at the same time
the reduced phase space for the intermediate nucleon states makes the appearance of the resonance less likely .
the @xmath6-hole peak moves to higher energies and loses strength , a reflection of the tendency of the @xmath6 to dissolve in the dense nuclear medium .
these results are in complete agreement with those obtained by waas and weise @xcite .    when the @xmath4 spectral function displayed in fig .
[ fig : specka ] is insterted in the coupled - channel bethe - salpeter equation , the intermediate @xmath5 states are more spread out over energies . as a consequence , the resulting in - medium interaction , @xmath118 , and the new self - energy calculated from eq .
( [ eq : selfka ] ) , become softened and distributed over a wider range of energies , affecting in turn the distribution of the @xmath4 spectral strength . after a few iterations of this process ,
self- consistency is achieved and the resulting @xmath0 spectral function is displayed in the middle panel of fig .
[ fig : specka ] .
the two peak mode is barely visible now . as was noted by lutz @xcite , including the in - medium attraction felt by the @xmath0 through the use of the dressed propagator lowers the threshold for the @xmath5 states that had been increased by the pauli blocking on the nucleon .
this has a compensatory effect and the resonance barely moves with respect to its free space value .
the @xmath0 pole peak appears at similar or slightly smaller energies , but its width is larger , due to the strength of the intermediate @xmath5 states being distributed over a wider region of energies .
therefore the @xmath0 pole and the @xmath6-hole branches merge into one another and can hardly be distinguished .
finally , the self - consistent @xmath0 spectral function when the pions in the intermediate loops are also dressed is shown in the bottom panel of fig . [ fig : specka ] . the essential difference with respect to the other two approaches is the fact that the @xmath184 channels ( @xmath185 or @xmath94 ) start to be operative at lower energies due to the attraction felt by the pions in the medium . as seen by the long - dashed line , even at very small densities
one no longer distinguishes the @xmath6-hole peak from the @xmath0 pole one .
as density increases the attraction felt by the @xmath0 is much more moderate and the @xmath0 pole peak appears at higher energies than in the other two approaches . at normal nuclear matter density
a peak starts to develop to the left of that corresponding to the @xmath0 pole .
as will be shown next , this structure is associated to a cusp in the imaginary part of the @xmath0 self - energy at an energy corresponding to the position of the new in - medium @xmath186 threshold .
the @xmath0 self - energy at zero momentum , @xmath187 , is displayed in fig .
[ fig : selftot ] as a function of the @xmath0 energy for several densities and for the three approximations discussed here .
the graphs on the left show the real part and those on the right the imaginary part .
we have seen that the @xmath4 spectral strength is distributed over a wider range of energies and incorporates the attractive medium effects felt by the @xmath4 .
this is why the self - energy shown in the middle panels ( _ in - medium kaons _ ) is smoother and wider than that displayed on the top ( _ pauli _ ) ones .
note that @xmath188 in the middle panel is non - zero at energies as low as 300 mev .
this corresponds to the @xmath189 and @xmath190 many - body channels that are opened at these energies and which are incoporated in the calculation via the @xmath0 p - wave self - energy . in the lower panels , where the pions are also dressed , we see that @xmath191 has bigger strength at these low energies .
this can be understood in the following way : the @xmath192 channel is one of the important building blocks of the @xmath6 strength below the @xmath1 threshold . when the pions are dressed in the medium they couple strongly to @xmath155 and @xmath158 components , so that the @xmath0 is effectively coupling to intermediate @xmath193 , @xmath194 states with lower threshold than the @xmath192 channel . actually , the opening of this latter channel on top of the already existing @xmath193 and @xmath194 is visible through a cusp in @xmath195 around @xmath196 mev .
the effect on the @xmath0 self - energy of the baryon binding potentials is basically a shift in the scale of energies , corresponding to the difference of potentials between the nucleon and the @xmath94 hyperon , which amounts to 20 mev at @xmath176 .
the scattering properties of a @xmath4 in the nuclear medium will depend on the characteristics of the in - medium @xmath5 scattering amplitude .
in particular , it is interesting to see if the resonant shape of the free @xmath8 scattering amplitude remains when the medium effects are incorporated .
[ fig : ampltot ] shows the real part ( on the left ) and imaginary part ( on the right ) of the @xmath197 scattering amplitude for a total momentum @xmath198 as a function of @xmath199 .
results are shown for several densities and for the three types of approximations .
on the top panels we can see how , as density increases , the pauli blocking effects merely shift the resonance to higher energies , hence changing from being 27 mev below the @xmath8 threshold to being above it from a certain density on .
note , however , that the resonance still appears , for each density , below the new threshold imposed by the pauli principle , i.e. @xmath200 . on the other hand , the resonance shape remains pretty much unaltered .
when the dressing of the @xmath4 meson is also incorporated , we observe how the resonant shape smears out quite fast with increasing density .
moreover , the resonance does not move up to higher energies but stays close to the free space value due to a cancellation between the repulsive pauli blocking effects and the attractive medium effects on the @xmath4 .
these results are in qualitative agreement with the self - consistent calculation of lutz @xcite , although we seem to observe a faster dilution of the resonance with the medium density .
finally , when the in - medium dressing of the pions are also included we obtain a quite similar pattern .
the resonance dissolves very fast although it shows a tendency to move to higher energies .
the isospin averaged in - medium scattering length defined as @xmath201 with @xmath202 , is shown if fig .
[ fig : scatlen ] .
the change of @xmath203 from negative to positive values indicates the transition from a repulsive interaction in free space to an attractive interaction in the medium .
as shown by the dotted line , this transition happens at a density of about @xmath204 when only pauli effects are considered , in agreement with what was found in ref .
@xcite . however , this transition occurs at even lower densities ( @xmath205 ) when one considers the dressing of the mesons in the description , as seen from the dashed ( _ in - medium kaons _ ) and full ( _ in - medium pions and kaons _ )
lines . the deviations from the approach including only pauli blocking or those dressing the mesons are quite appreaciable over a wide range of densities .
the effective @xmath0 mass is shown in fig .
[ fig : emass ] as a function of @xmath206 for the different approximations .
note that the effective mass , defined as the solution of eq .
( [ eq : disp ] ) for @xmath207 , gives the position of the @xmath0 pole peak in the spectral function assuming a weak energy dependence of @xmath208 .
in addition , one can only think of the @xmath209 as a quasi - meson moving with the modified @xmath210 mass if the spectral function shows a clear and narrow enough @xmath0 pole peak , which happens when @xmath211 is sufficiently small . by looking at the @xmath0 spectral function of fig .
[ fig : specka ] one sees that these conditions are not always fulfilled , especially when the dressing of the mesons is incorporated . keeping this in mind
, we can still analyze the effective mass as a simplified way to assess how important is the attraction felt by the @xmath0 meson in the medium .
morover , this analysis will allow to compare our results with those obtained by other calculations . as can be seen in the zoomed area on the top right of the figure , the in - medium @xmath0 mass increases slightly from the free value but quickly gains attraction as density increases .
the transition from repulsion to attraction occurs around @xmath212 for the _ pauli _ approximation ( dotted line ) while the two other approximations that incorporate the dressing of the @xmath4 ( dashed line ) and also that of the pion ( full line ) show attraction already at around @xmath213 .
however , the density dependence is stronger with the _ pauli _ approximation which gives rise to a lower value of @xmath210 from @xmath214 onwards .
it turns out that , in spite of the essentially different shapes of the @xmath0 spectral function , the position of the @xmath0 pole is very similar for the _ pauli _ and the _ in - medium kaons _
approximations for densities higher than @xmath69 .
consequently , the calculated effective masses decrease similarly
. however , when the dressing of the pions is also included , the attraction is substantially more moderate and the effective mass seems to level off at high densities around the value achieved already at @xmath69 of @xmath215 mev .
this would correspond to a @xmath0 optical potential of @xmath216 mev .
pauli _ and _ in - medium kaons _
approximations give rise to a a more attractive value of the effective mass at @xmath69 , namely @xmath217 mev which corresponds to a @xmath218 mev .
it is worth mentioning that all the calculations , either microscopic @xcite or based on mean field theories @xcite predict effective masses at @xmath69 which range between 375 mev and 425 mev .
the corresponding @xmath0 potential at the center of the nucleus would then be in between @xmath14 and @xmath15 mev .
therefore , no theory is able to explain the large attraction of @xmath219 obtained from the best available fit to kaonic atom data @xcite .
however , we should warn that the data of @xmath0 atoms are only sensitive to the @xmath0 self - energy at the low effective densities felt by the kaons that explore basically the nuclear surface .
the values obtained by the fit in ref .
@xcite at @xmath176 are an extrapolation of a preassumed functional dependence on @xmath166 .
it is possible to obtain equally good fits with other functionals that give the same value for the low densities explored by the kaons but different extrapolations at @xmath176 .
in fact , quite good fits to the @xmath0 atoms data are also obtained with the batty potential of ref .
@xcite which is of the order of @xmath220 mev .
we also note that the brueckner - type calculations of ref .
@xcite obtained a shallow @xmath0-nucleus potential , of the order of @xmath221 mev at the center of @xmath222c , and predicted reasonably well the data available at that time .    with the values
obtained here for @xmath210 and similar ones that we obtain for neutron matter the phenomenon of @xmath0 condensation appears very unlikely , since there is not enough attraction for the @xmath0 energy to become smaller than the electron chemical potential in beta stable neutron star matter .
the implications of our results for the in - medium @xmath0 self - energy on kaonic atoms is currently being analyzed @xcite and gives results compatible with the existing kaonic atom data .
that analysis , based on a local density approximation , requires the knowledge of the optical potential , defined as @xmath223 where @xmath224 is the on - shell momentum value that fulfills eq .
( [ eq : disp ] ) for a given value of @xmath106 .
the real and imaginary parts of the optical potential for the _ in - medium pions and kaons _ approximation are shown in fig . [
fig : optpotpika ] for three energy values : @xmath225 mev ( dotted line ) , @xmath226 ( solid line ) and @xmath227 mev ( dashed line ) .
the self - energy shown by the solid lines is the relevant one for studies of low lying @xmath0 atomic states , while the results displayed by the dotted line would be the ones to use for very deeply bound states in the pb region .
the dashed lines show an example of the @xmath0 optical potential at positive energies and would be the one to consider to treat the @xmath0 distortions in @xmath0-nucleus scattering reactions around 25 mev .
while the real part of the optical potential becomes less attractive with increasing energy , the imaginary part does not show a too strong energy dependence in the range of energies explored .
this behavior can be easily inferred from the @xmath0 self - energies shown at the bottom of fig .
[ fig : selftot ] .
in this work we have studied the @xmath0 properties in nuclear matter using a chiral unitary approach for the @xmath13 interaction in s - wave that incorporates the medium effects microscopically .
pauli blocking acting on the intermediate nucleon states modifies the @xmath13 interaction from that in free space and gives rise to a @xmath0 spectral function that shows two distinctive peaks at very low density .
the lower one corresponds to the the position of the new @xmath0 pole , located below the @xmath0 mass from already quite low densities on , which indicates that the @xmath0 feels an attraction in the medium .
the higher peak is associated to the in - medium @xmath6 resonance that appears above the free @xmath228 threshold due to the repulsive effect induced by blocking the intermediate nucleon states below the fermi momentum . as density increases
, the @xmath0 feels more attraction and the @xmath6 keeps moving to higher energies .    when the @xmath0 self - energy is incorporated self - consistently into the scheme , there is a compensation between the attraction felt by the @xmath0 and the repulsive pauli blocking shift . as a result , the resonance appears at a similar location as that in free space .
however , its width is much larger and it tends to dissolve with increasing density due to a weaker in - medium @xmath13 interaction which now is determined from dressed @xmath4 propagators which are more spread out over energies .    in the present work
we also include the dressing of the pions in the intermediate @xmath229 , @xmath192 states to which the @xmath230 system can couple .
we use a pion self - energy that includes the coupling to @xmath155 , @xmath157 and @xmath158 excitations modified by the effect of short - range @xmath231 correlations .
the fact that now the pions also have a spreading width makes the in - medium @xmath230 interaction even smoother .
the @xmath0 feels less attraction and the @xmath6 resonance , which is shifted slighty upwards from its free space position , dissolves even faster with density .
our approach gives rise to a @xmath0 self - energy at normal nuclear density which has about half the attraction of that obtained with other theories and approximation schemes and would make the phenomenon of kaon condensation very unlikely .
the self - energy obtained is , however , compatible with the existing data on kaonic atoms .
this work is partially supported by dgicyt contract numbers pb95 - 1249 and pb96 - 0753 , and by the eec - tmr program under contract no .
ct98 - 0169 .
kaplan and a.e .
nelson , phys .
b175 ( 1986 ) 57 r. barth et al . ,
78 ( 1997 ) 4007 w. cassing , e.l .
bratkovskaya , u. mosel , s. teis and a. sibirtsev , nucl .
a614 ( 1997 ) 415 ; e.l .
bratkovskaya , w. cassing and u. mosel , nucl .
a622 ( 1997 ) 593 g.q .
li , c .- h .
lee and g.brown , nucl .
a625 ( 1997 ) 372 ; _ ibid _ , phys .
79 ( 1997 ) 5214 e. friedman , a. gal , c.j .
batty , nucl .
a579 ( 1994 ) 518 c .- h .
lee , g.e .
brown , d.p .
min and m. rho , nucl .
a385 ( 1995 ) 481 ; c .- h .
lee , phys .
275 ( 1996 ) 255 n. kaiser , p.b .
siegel and w. weise , nucl .
a594 ( 1995 ) 325 ; n. kaiser , t. waas and w. weise , nucl .
a612 ( 1997 ) 297 e. oset and a. ramos , nucl .
a635 ( 1998 ) 99 v. koch , phys .
b337 ( 1994 ) 7 t. waas , n. kaiser and w. weise , phys .
b365 ( 1996 ) 12 ; _ ibid .
_ b379 ( 1996 ) 34 t. waas and w. weise , nucl .
a625 ( 1997 ) 287 m. lutz , phys .
lett . b426
( 1998 ) 12 m. alberg , e.m .
henley and l. wilets , ann .
( 1976 ) 43 g. mao , p. papazoglou , s. hofmann , s. schramm , h. stcker and w. greiner , phys .
c , in press .
nucl - th/9806068 j. schaffner and i.n .
mishustin , phys .
c53 ( 1996 ) 1416 ; + j. schaffner - bielich , i.n .
mishustin and j. bondorf , nucl .
a625 ( 1997 ) 325 k. tsushima , k. saito , a.w .
thomas and s.v .
wright , phys .
lett . b429 ( 1998 ) 239 j. gasser and h. leutwyler , nucl .
b250 ( 1985 ) 465 a. pich , rep .
prog . phys . 58
( 1995 ) 563 g. ecker , prog .
35 ( 1995 ) 1 v. bernard , n. kaiser and u.g .
meissner , int .
e4 ( 1995 ) 193 j.a .
oller , e. oset and j.r .
pelez , phys .
80 ( 1998 ) 2452 d.n .
tovee et al . , nucl .
b33 ( 1971 ) 493 r.j .
nowak et al . , nucl .
b139 ( 1978 ) 61 a.d .
martin , nucl .
b179 ( 1981 ) 33 m. iwasaki et al .
78 ( 1997 ) 3067 j.a .
nacher , e. oset , h. toki and a. ramos , submitted to phys .
b h. band , t. motoba and j. ofka , int . j. mod .
a5 ( 1990 ) 4021 t. nagae et al .
80 ( 1998 ) 1605 c.j .
batty et al , phys .
lett . 74b ( 1978 ) 27 ,
_ 87b ( 1979 ) 324 e. oset , p. fernndez de crdoba , l.l .
salcedo and r. brockmann , phys .
reports 188 ( 1990 ) 79 o. meirav , e. friedman , r.r .
johnson , r. olszewski and p. weber , phys .
c40 ( 1989 ) 843 a. ramos , e. oset and l.l .
salcedo , phys .
c50 ( 1994 ) 2314 c.j .
batty , nucl .
a372 ( 1981 ) 418 s. hirenzaki , y. okumura , h. toki , e. oset and a. ramos , in preparation .


supersymmetry serves as the most promising extension of the standard model . in the short future supersymmetry
will be verified experimentally through the lhc experiments .
the elegance of the theory and the simplifications that introduces is of great importance however supersymmetry must be broken in our four dimensional world .
there exist various mechanisms of supersymmetry breaking . in this article
we are interested in dynamical breaking of supersymmetry induced from a toroidal compact dimension .
theories with one toroidal compact dimension resemble ( mathematically ) field theories at finite temperature .
it is known that supersymmetry is spontaneously broken at finite temperature @xcite , a fact that is closely related to the boundary conditions that fermions and bosons obey in the  thermal  compact dimension .
specifically supersymmetry is spontaneously broken due to the periodicity of bosonic degrees of freedom and anti - periodicity of the fermionic degrees of freedom .
field theories at finite temperature are conceptually related to field theories with compact dimensions .
thus it is easily understood that the boundary conditions of the fields in the compact dimensions control the breaking of supersymmetry . in general , when studying supersymmetric theories in flat spacetime , the background metric is ordinary minkowski .
spacetime topology affect the boundary conditions of the fields that are integrated in the path integral .
given a class of metrics , several spacetime topologies are allowed .  here we shall focus on a model that has @xmath3 topology underlying the spacetime , @xmath4 refers to a spatial dimension .
the specific topology is a homogeneous topology of the flat clifford
klein type @xcite .
non trivial topology , implies non trivial field configurations , that enter dynamically in the action .
this non triviality enters in the action through the boundary conditions and as is well known the boundary conditions are controlled from the topology .
the effective potential is a strong order parameter indicating when supersymmetry is broken .
the appearance in the effective potential of vacuum terms which have different coefficients for fermions and bosons lead to the fact that the effective potential of the theory has no longer its minimum at zero and thus , supersymmetry is spontaneously broken .
this quite general phenomenon can only be avoided in field theories with compact spatial dimensions , if in some way these vacuum terms are cancelled @xcite .
indeed the combination of the allowed boundary conditions , as we show later , can save spontaneous supersymmetry breaking at finite volume .
particularly this is due to the fact that we can have periodic fermions and anti - periodic bosons .
this can not be avoided at finite temperature due to the restricted boundary conditions as we already mentioned , except in cases where fermions have a complex chemical potential @xcite as in pure @xmath5 yang mills theories with adjoint fermions at finite temperature @xcite , namely , @xmath6 normally a question arises while following the above considerations .
why should someone care in avoiding spontaneous supersymmetry breaking at finite volume ?
this is because when supersymmetry spontaneously breaks ( like at finite temperature ) then supersymmetry ceases to be a controllable symmetry of the theory , since it is always broken and not dynamically , but by definition .
one would like to have control on the way that supersymmetry breaks ( especially in our case that the model spacetime we work is 4 dimensional and supersymmetry must be a symmetry and be broken dynamically .
this can be avoided in theories with higher dimensions where supersymmetry can hold in the higher dimensional space and break in our world ) .    in this paper
we shall study a 4 dimensional n=1 supersymmetric model at one loop , in topology @xmath3 .
we shall find the allowed field configurations that are determined from the topology and construct in a correct way the lagrangian .
the calculation of the effective potential follows , through which we shall find when supersymmetry breaks and when does not .
after that we shall add in the lagrangian non holomorphic and hard supersymmetry breaking terms .
this terms break supersymmetry hardly .
however for some values of the couplings and of the masses , interesting phenomena occur .
particularly it is found that in some cases when the volume of the compact space is small supersymmetry is not broken and when the compact radius exceeds a critical value , supersymmetry breaks dynamically .
we shall give a cosmological implication of this case which resembles first order cosmological phase transitions in the early universe .
also other terms have a curious but worthy of mentioning effect . for these terms
another strange phenomenon occurs for specific values of the couplings and masses . in detail for large values of the circumference of the compact dimension
, supersymmetry is unbroken in contrast to the previous case and breaks after a critical length , as the compact dimension magnitude decreases .
although this is not so interesting from a phenomenological point of view ( in four spacetime dimensions ) , it worths mentioning ( and may have application in the physics of extra dimensions ) .
there exist similar works in the literature but with the difference that the symmetry under study is not supersymmetry but a global symmetry ( continuous or discrete ) . at finite temperature in some cases broken @xmath7
symmetries become restored at high temperatures .
also unbroken symmetries at small temperatures may break at high temperatures ( a phenomenon known as inverse symmetry breaking ) .
the last may have cosmological implications . in our case
the same occurs but with supersymmetry in place of the symmetry and for a compact dimension playing the temperature s role ( also note that roughly the high temperature limit is closely related to the small length limit through the transformation @xmath8 . actually through the last transformation we can relate the two limits where this is possible ) .
one interesting feature of this resemblance is the similarity of the terms in the lagrangian that trigger these phenomena in both cases .
also these terms appear in the new inflationary models and help in the procedure of reheating the universe after inflation . we shall present and describe everything in detail in the forthcoming sections .
also let us mention that our calculations will be in 1-loop level and within the perturbative limits with @xmath9 , where @xmath10 is the largest mass scale in the theory and @xmath11 is the circumference of the compact dimension . also within the four dimensional setup
we use , renormalizability of masses and couplings is ensured when @xmath12 .    in section 1
we review the mathematical setup needed for field theories with non trivial topology .
the resemblance with extra dimensional theories is pointed out . in section 2
we describe the n=1 supersymmetric model we shall use and calculate the effective potential in the case of the compact dimension having infinite length and after that at finite volume . in section 3 we add several supersymmetry breaking terms and study in detail their effect on the vacuum energy of the model . in section 4
we review the continuous symmetry restoration , symmetry non - restoration and inverse symmetry breaking at finite temperature and point out the resemblance of these with our case ( a resemblance that stems from the interactions of the scalar sector ) . in section 5
we present a cosmological application of one of our results and in section 6 a short discussion with the conclusions follow .
the existence of non trivial field configurations ( in terms of boundary conditions ) due to non trivial topology ( twisted fields ) , was first pointed out by isham @xcite and then adopted by other authors @xcite .  in the spacetime of our case , the topological properties of @xmath13 are classified by the first stieffel class @xmath14 which is isomorphic to the singular ( simplicial ) cohomology group @xmath15 because of the triviality of the @xmath16 sheaf .
it is known that @xmath17 classifies the twisting of a bundle .
specifically , it describes and classifies the orientability of a bundle globally . in our case ,
the classification group is @xmath18 and , we have two locally equivalent bundles , which are however different globally _
i.e. _  cylinder - like and moebius strip - like .
the mathematical lying behind , is to find the sections that correspond to these two bundles , classified completely by @xmath19 @xcite .
the sections we shall consider are real scalar fields and majorana spinor fields which carry a topological number called moebiosity ( twist ) , which distinguishes between twisted and untwisted fields .
the twisted fields obey anti - periodic boundary conditions , while untwisted fields periodic in the compactified dimension .
usually ( inspired by field theory at finite temperature ) one takes scalar fields to obey periodic and fermion fields anti - periodic boundary conditions , disregarding all other configurations that may arise from non trivial topology .
we shall consider all these configurations .
let @xmath20 , @xmath21 and @xmath22 , @xmath23 denote the untwisted and twisted scalar and twisted and untwisted spinor fields respectively .
the boundary conditions in the @xmath24 dimension are , @xmath25 and @xmath26 for scalar fields and @xmath27 and @xmath28 for fermion fields , where @xmath29 stands for the remaining two spatial and one time dimension which are not affected by the boundary conditions . spinors ( both dirac and majorana ) , still remain grassmann quantities .
we assign the untwisted fields twist @xmath30 ( the trivial element of @xmath31 and the twisted fields twist @xmath32 ( the non trivial element of @xmath18 ) .
recall that @xmath33 ( @xmath34 ) , @xmath35 ( @xmath36 ) , @xmath37 ( @xmath38 ) .
we require the lagrangian to be scalar under @xmath19 thus to have @xmath30 moebiosity .
the topological charges flowing at the interaction vertices must sum to @xmath30 under @xmath39 . for supersymmetric models ,
supersymmetry transformations impose some restrictions on the twist assignments of the superfield component fields @xcite .    now which fields can acquire vacuum expectation value ?
grassmann fields can not acquire vacuum expectation value ( vev ) since we require the vacuum value to be a scalar representation of the lorentz group .
thus , the question is focused on the two scalars .
the twisted scalar can not acquire non zero vev @xcite , consequently , only untwisted scalars are allowed to develop vev s .    in the literature ,
twisted fields have frequently been used , for example in the scherk - schwarz mechanism @xcite , where the harmonic expansion of the fields is of the form : @xmath40 the  @xmath10  parameter incorporates the twist mentioned above .
this treatment is closely related to automorphic field theory @xcite in more than 4 dimensions ( which is an alternative to the one used by us ) .
the scherk - schwarz mechanism is a well known mechanism that generates supersymmetry breaking to our 4 dimensional world after dimensional reduction and is frequently used for compactifications in extra dimensional models .
concerning the automorphic field theory , let us quote here a different approach to the above .
due to the compact dimension we can use generic boundary conditions for bosons and fermions in the compact dimension .
these are,@xmath41with , @xmath42 , @xmath43 , @xmath44 .
the values @xmath45 correspond to periodic and antiperiodic bosons respectively while @xmath46 corresponds to periodic and anti - periodic fermions ( for details see @xcite ) .
the model we shall present is described by the global @xmath47 , @xmath48 supersymmetric lagrangian , @xmath49_{d}+[\phi ^{+}\phi ] _ { d}+[\frac{m_{1}}{2}\phi ^{2}+\frac{g_{1}}{6}\phi ^{3}+\frac{m}{2}\phi _ { 1}^{2}+g\phi \phi _ { 1}^{2}]_{f}+{\rm{h.c } } , \label{lagra}\]]where @xmath50 , @xmath51 are chiral superfields and the superpotential from which the interaction part of the lagrangian arises is @xmath52_{f}$ ] . in the above ,
@xmath53is a left chiral superfield .
it contains the untwisted scalar field components and the untwisted weyl fermion .
although the untwisted scalar is complex , we shall use the real components which will be the representatives of the sections of the trivial bundle classified by @xmath54 .
moreover,@xmath55is another left chiral superfield containing the twisted scalar field and the twisted weyl fermion .
writing down ( [ lagra ] ) in component form , we get ( writing weyl fermions in the majorana representation):@xmath56notice that moebiosity is conserved at all interaction vertices _
i.e. _  equals @xmath30 .
the moebiosity of  @xmath20 and @xmath57 is @xmath30 while for @xmath58  and  @xmath59 is @xmath60 . using the @xmath18 cyclic group properties we see that the lagrangian ( [ test ] ) has moebiosity @xmath30.the complex field @xmath20 can be written in terms of real components as @xmath61 , where @xmath62 ( @xmath63 is the classical value ) .
thus , @xmath64  and @xmath65 are real untwisted field configurations belonging to the trivial element of @xmath66 and satisfying periodic boundary conditions in the compactified dimension .
the twisted scalar field can be written as @xmath67 , since , this field , being a member of the non trivial element of @xmath68 can not acquire a vev .
notice we gave a vev for an untwisted boson , this is useful in order to find the minimum of the effective potential minimizing it in terms of @xmath69 .
the masses of the two majorana fermion fields and the four bosonic fields at tree order are calculated to be:@xmath70 in ( [ mass ] ) @xmath71 , @xmath72 are the masses of the untwisted bosons ( @xmath73 and @xmath74 respectively ) , @xmath75 , @xmath76 are the masses of the twisted bosons ( @xmath77 and @xmath78 ) and , finally , @xmath79 , @xmath80 are the untwisted majorana fermion and twisted majorana fermion masses respectively ( @xmath81 and @xmath82 ) .
the general tree level result for theories with rigid supersymmetry in terms of chiral superfields is satisfied ( see @xcite ) _ i.e. _  : @xmath83also , the following relations hold true:@xmath84since twisted scalars can not acquire vacuum expectation value , supersymmetry is not spontaneously broken at tree level , like in the o raifeartaigh models . indeed
the auxiliary field equations,@xmath85imply that @xmath86 and @xmath87 and consequently @xmath88 , thus , at tree level , no spontaneous supersymmetry breaking occurs .
we now proceed by assuming that the topology is changed to @xmath3 , while the local geometry remains minkowski .
the metric reads : @xmath90 with @xmath91 and @xmath92 with the points@xmath93and @xmath94 periodically identified .
the boundary conditions for the fields are:@xmath95we wick rotate the time direction @xmath96  thus giving the background metric the euclidean signature @xcite .
the twisted fermions and twisted bosons will be summed over odd matsubara frequencies , while the untwisted fermions and untwisted scalars will be summed over even matsubara frequencies @xcite . adopting the @xmath97 renormalization scheme @xcite the euclidean effective potential at one loop level reads:@xmath98 \\ & -2\ln [ k^{2}+\frac{4\pi^{2 } n^{2}}{l^{2}}+m_{f_{1}}^{2}]+\ln [ k^{2}+\frac{% 4\pi^{2 } n^{2}}{l^{2}}+m_{b_{2}}^{2 } ]   \notag \\ & -2\ln [ k^{2}+\frac{\pi^{2 } ( 2n+1)^2}{l^{2}}+m_{f_{2}}^{2}]+\ln [ k^{2}+\frac{% \pi^{2 } ( 2n+1)^2}{l^{2}}+m_{t_{1}}^{2 } ]   \notag \\ & + \ln [ k^{2}+\frac{\pi^{2 } ( 2n+1)^2}{l^{2}}+m_{t_{2}}^{2}]{\bigg ) . }
\notag\end{aligned}\]]@xmath99includes the tree and the one loop corrections for infinite length,@xmath100-% \frac{3}{2 } ) \\ & + m_{b_{2}}^{4}(\ln [ \frac{m_{b_{2}}^{2}}{\mu ^{2}}]-\frac{3}{2}% ) + m_{t_{1}}^{4}(\ln [ \frac{m_{t_{1}}^{2}}{\mu ^{2}}]-\frac{3}{2}% ) + m_{t_{2}}^{4}(\ln [ \frac{m_{t_{2}}^{2}}{\mu ^{2}}]-\frac{3}{2 } )   \notag \\ & -2m_{f_{1}}^{4}(\ln [ \frac{m_{f_{1}}^{2}}{\mu ^{2}}]-\frac{3}{2}% ) -2m_{f_{2}}^{4}(\ln [ \frac{m_{f_{2}}^{2}}{\mu ^{2}}]-\frac{3}{2}){\bigg ) } , \notag\end{aligned}\]]and @xmath101 is the renormalization scale , being of the order of the largest mass @xcite .
furthermore , we shall assume that @xmath102 which is required for the validity of perturbation theory @xcite .
it is well known that when one considers only twisted fermions and untwisted bosons in @xmath3 ( like in thermal field theories ) , vacuum contributions @xmath103@xmath104 do not cancel and supersymmetry is spontaneously broken .
the non - cancellation occurs because bosons and fermions satisfy different boundary conditions . in our model
the field content is such that cancellation of vacuum contributions is being enforced , after having included all topologically inequivalent allowed field configurations .
this situation is similar to finite temperature calculations .
the question if supersymmetry is broken or not requires to check the zero modes of the vacuum state @xcite .
it is easy to see why in conventional finite temperature field theories and their conceptional analogues @xmath3 topological field theories supersymmetry is broken .
the vacuum state , in the wess
zumino in @xmath3 , does contain one bosonic zero mode . in our case
this does not occur because we have equal vacuum zero modes ( twisted spinors , do not have a zero mode ) .
consequently , in our model , we expect that supersymmetry will not be spontaneously broken @xcite ( for a detailed discussion we recommend the paper of fujikawa @xcite ) .
the leading order contribution to the one loop effective potential for small @xmath11 values is given by @xcite : @xmath105)(2m_{f_{1}}^{4}-m_{b_{1}}^{4}-m_{b_{2}}^{4})}{% 1024\pi ^{4}}+\frac{(\gamma + \ln [ \frac{2}{\pi } % ] ) ( 2m_{f_{2}}^{4}-m_{t_{1}}^{4}-m_{t_{2}}^{4})}{64\pi ^{4}}}\notag \\ & { + \frac{(2m_{f_{1}}^{3}-m_{b_{1}}^{3}-m_{b_{2}}^{3})}{384l\pi ^{3}}-\frac{% ( 2m_{f_{1}}^{2}-m_{b_{1}}^{2}-m_{b_{2}}^{2})}{768\pi ^{2}l^{2}}+\frac{% ( 2m_{f_{2}}^{2}-m_{t_{1}}^{2}-m_{t_{2}}^{2})}{384\pi ^{2}l^{2}}}\notag\\ & { + \frac{2m_{f_{1}}^{4}\ln [ lm_{f_{1}}]-m_{b_{2}}^{4}\ln [ lm_{b_{2}}]-m_{b_{1}}^{4}\ln [ lm_{b_{1}}]}{1024\pi ^{4}}}\notag \\ & { + \frac{2m_{f_{2}}^{4}\ln [ lm_{f_{2}}]-m_{t_{2}}^{4}\ln [ lm_{t_{2}}]-m_{t_{1}}^{4}\ln [ lm_{t_{1}}]}{64\pi ^{4}}}\notag \\ & { -\frac{(2m_{f_{1}}^{4}\ln [ \frac{m_{f_{1}}^{2}}{\mu ^{2}}]-m_{b_{2}}^{4}\ln [ % \frac{m_{b_{2}}^{2}}{\mu ^{2}}]-m_{b_{1}}^{4}\ln [ \frac{m_{b_{1}}^{2}}{\mu ^{2}}])}{64\pi ^{2}}}\notag\\ & { -\frac{(2m_{f_{2}}^{4}\ln [ \frac{m_{f_{2}}^{2}}{\mu ^{2}}]-m_{t_{2}}^{4}\ln [ % \frac{m_{t_{2}}^{2}}{\mu ^{2}}]-m_{t_{1}}^{4}\ln [ \frac{m_{t_{1}}^{2}}{\mu ^{2}}])}{64\pi ^{2}}.\notag}\end{aligned}\ ] ]        since relation ( [ sp ] ) holds , the terms proportional to @xmath106 cancel @xcite .
also , the minimum of the potential vanishes at @xmath1070 and supersymmetry is preserved . indeed , expanding ( [ pot ] ) for small @xmath63 we get : @xmath108 in figure [ susyzero ] we plot the effective potential for the upper perturbative limit @xmath109 .
the other numerical values are chosen to be : @xmath110200 , @xmath1117000 , @xmath1120.001 , @xmath1130.09 , @xmath1147000 .
let us now introduce into the lagrangian ( [ test ] ) various hard supersymmetry breaking terms of the form @xmath115 and @xmath116 , where @xmath117 and @xmath118 are dimensionless couplings ( and recall @xmath119 ) .
this terms , being non holomorphic and hard , break supersymmetry explicitly ( also these terms have moebiosity zero ) .
indeed the addition of such terms re - introduces quadratic divergences in the theory , namely , @xmath120 with @xmath121 a relevant upper cut - off of the theory and @xmath122 , @xmath123 boson and fermion couplings .
since @xmath124 develops a vev , the fields coupled to it will acquire an additional mass of the form @xmath125 and @xmath126 .
we can add various combinations of the allowed terms .
there exist two class of phenomena occurring , depending on the supersymmetry breaking terms we use .
the first type and , from a phenomenological point of view more interesting , resembles the first order phase transition picture in thermal field theory .
actually , regardless that there exist hard supersymmetry breaking terms , supersymmetry is unbroken for small values of the length of the compact dimension @xmath11 . the minimum of the potential is zero at @xmath88 , @xmath127 . as the length of the compact dimension increases , a second non supersymmetric minimum
is created after a critical length is reached .
then phenomena may occur that can be described by the theory of metastable vacua ( the reader may find useful the papers @xcite where similar issues are discussed in @xmath2 but for a non supersymmetric @xmath128 theory .
again non trivial topology induces similar behavior of the effective potential ) .
the second type of phenomena describes a theory that supersymmetry is unbroken when the length of the compact dimension is large and as the radius decreases , supersymmetry breaks spontaneously after a critical length .
thus supersymmetry is broken only for small lengths .
although this is rather curious for a four dimensional model , we shall present it because it may have application to extra dimensional models .
we introduce into the lagrangian ( [ test ] ) an interaction term between the two untwisted scalar fields , of the form @xmath130 .
since @xmath119 , the scalar field @xmath65 will acquire an additional mass term of the form @xmath125 .
this way , the masses of the fields now become : @xmath131 as expected , supersymmetry is now broken and relation ( [ str ] ) becomes , @xmath132one can see that the supersymmetric minimum at @xmath88 is still preserved . indeed , @xmath133 can be written as:@xmath134we can see that in the continuum limit ( infinite @xmath11 ) , the supersymmetric vacuum becomes metastable and a second non supersymmetric vacuum appears . including finite size corrections ,
we see that for small @xmath135 the effective potential has a unique supersymmetric minimum at @xmath88 .
as @xmath135 increases , a second minimum develops , which becomes supersymmetric at the critical value @xmath136 .  when @xmath137 the second minimum is non supersymmetric and becomes energetically more preferable than the supersymmetric one @xcite .
this said behavior of the potential is valid whenever @xmath138 and for @xmath139 . using the same numerical values as before
, we plot the effective potential for @xmath1400.5 , first in the continuum limit ( figure  [ continuumnonsusy ] ) , and then including @xmath135 dependent corrections ( figure  [ nonsusy ] ) .
let us discuss the above results .
@xmath141 , @xmath142 are couplings among the untwisted superfields , @xmath141 corresponding to the supersymmetry breaking term
. if the @xmath141 interaction is stronger than @xmath142 and if the mass ( @xmath143 ) of the twisted superfield is larger than the untwisted one ( @xmath144 ) , then the following phenomenon occurs . for small length @xmath135 of the compact dimension ,
supersymmetry is not broken ( figure  [ nonsusy ] ) .
as @xmath135 grows larger , a second minimum appears which is not supersymmetric ( @xmath137 ) .
there exists a small barrier separating the two minima ( figure  [ nonsusy ] ) , and there exists the possibility of quantum barrier penetration between them .
this resembles the first order phase transition picture of thermal field theories .    upon closer examination
, we can see that in the continuum limit , the supersymmetric vacuum becomes metastable and a second non supersymmetric vacuum appears . including finite size corrections
, we see that for small @xmath135 the effective potential has a unique supersymmetric minimum at @xmath1450 .
as @xmath135 increases , a second minimum develops , which becomes supersymmetric at the critical value @xmath136 .
when @xmath137 the second minimum breaks supersymmetry and becomes energetically more preferable than the supersymmetric one @xcite .
this said behavior of the potential is always valid whenever @xmath138 and for @xmath139 .
using the same numerical values as before , we plot the effective potential for @xmath1400.5 , first in the continuum limit ( figure  [ continuumnonsusy ] ) , and then including @xmath135 dependent corrections ( figure  [ nonsusy ] ) .
let us try something different now .
we add an interaction among a twisted boson and the untwisted boson that acquires vev , namely @xmath147 .
since @xmath119 the twisted boson @xmath148 will have additional contribution to it s tree order mass .
the masses now read , @xmath149 as expected @xmath150 , since supersymmetry is hard broken .
an interesting phenomenon occurs for this term and for a class of other terms as we shall see . in detail ,
when the length of the compact dimension is small , supersymmetry is broken and becomes restored when the radius increases ( and overcomes a critical length @xmath151 ) .
this is strange and rather counterintuitive to what would be expected from a phenomenologically correct four dimensional theory .
however we describe it since it might be useful to extra dimensional physics .
also , as we shall see in the next section , the whole behavior resembles the inverse symmetry breaking of continuous symmetries at finite temperature .
let us call it
inverse supersymmetry breaking  for brevity .
this said behavior can appear when @xmath152 is of the order of @xmath153 or for values smaller , that is @xmath154 when only the term @xmath146 appears in the lagrangian ( recall that in the previous subsection , the metastable vacua phenomena of the previous subsection occurred when @xmath155 ) .
this whole phenomenon is well seen in figure  [ inverse1 ] .
we used the following numerical values , @xmath110200 , @xmath1117000 , @xmath1120.001 , @xmath1130.09 , @xmath1147000 and @xmath156 .
as can be seen in figure  [ inverse1 ] the phenomenon looks like a second order phase transition with the length of the compact dimension playing the role of the temperature .
no barrier appears between the vacua at @xmath88 and at @xmath157 .
the study was limited to perturbation preserving values of @xmath11 . as we see for large @xmath11
( @xmath158 ) supersymmetry is unbroken and start s to break at @xmath159 .
as the length decreases , the breaking is more profound .
the two non supersymmetric vacua are not equivalent .
[ table1 ]    [ cols="^,^",options="header " , ]      +    we tried to find how @xmath151 changes under a change of @xmath152 . in the table
we present the values of @xmath152 and the corresponding values of @xmath151 , and in figure [ plotl3lc ] we plot the dependence . in figure [ fitl3lc ]
we fit the curve with a continuous function .
the dots are the values that appear in the table , while the continuous line corresponds to the function @xmath160 .
thus the dependence of @xmath152 as a function of @xmath151 is roughly , @xmath161     and @xmath151 ]    ]      we shall not present here the detailed study of all the allowed terms ( this will be done in @xcite ) .
we shall discuss only the main results .
a term of the form @xmath163 always breaks supersymmetry and non of the previous phenomena occurs . as we shall see in the next section this is similar to symmetry non restoration where a continuous symmetry is broken and never get s restored .
the combined addition of terms @xmath164 ( that is interaction of the untwisted scalar @xmath165 with a twisted fermion and twisted boson ) causes  inverse supersymmetry breaking
 as previous .
the conditions that must hold in order this occurs are the same as before ( @xmath166 ) and in addition @xmath167 . for this condition the behavior of supersymmetry breaking is well described from figure [ inverse1 ] .
also for @xmath168 the @xmath169 dependence is similar to that of figure [ fitl3lc ] . particularly the @xmath169 dependence in this case , is described by , @xmath170 which is the same as before .
this dependence is the same for all the cases we studied .
thus this motivates us to think that there is a universal behavior of @xmath152 as a function of @xmath151 .
of course all effects we described in this section appear in one loop level and within perturbative limits .
thus there exist the danger that all these effects are an artifact of perturbation theory .
however the theory is at some level supersymmetric and one loop corrections may be adequate enough @xcite . a detailed study should include higher loop corrections . in the next section similar problems - considerations
are encountered and discussed .
in this section we review some conceptually similar phenomena to the above .
the difference is that symmetries are studied at finite temperature and the symmetry is not supersymmetry but a continuous global @xmath171 or a discrete @xmath172 . as we shall see
symmetry non - restoration and inverse symmetry breaking phenomena occur naturally when similar terms to @xmath173 , @xmath174 appear in the lagrangian .
symmetry non - restoration means that a symmetry broken at @xmath175 never gets restored at high temperatures .
inverse symmetry breaking means that an unbroken symmetry at @xmath175 may be spontaneously broken at high temperature .
these phenomena occur in field theories when cross interactions are included among the scalar fields similar to the bosonic hard supersymmetry breaking term @xmath129 .
similar to this term scalar interactions and also yukawa terms like the ones of the previous sections are frequently used in the theory of reheating after inflation .
actually this similarities motivated us to use such terms in order to see what their effect would be on supersymmetry breaking
. we shall discuss these in the end of this section .
first let us describe the inverse symmetry breaking phenomenon .
consider a theory with real scalar fields @xmath176 and @xmath177 described by the @xmath171 globally symmetric lagrangian , @xmath178 where @xmath176 and @xmath177 be real scalars with @xmath179 and @xmath180 components . in the above lagrangian one of the global @xmath181 symmetries may break at high temperature if the @xmath182 coupling takes negative values .
thus one of the two scalar fields @xmath176 or @xmath177 may acquire a non zero vacuum expectation value .
thus at high temperature and for certain values of the parameters , the initial @xmath171 is broken to @xmath183 .
this was called inverse symmetry breaking and was first point out by weinberg @xcite and extensively studied by many authors @xcite .    in the case @xmath184 and @xmath185 the initial @xmath171 symmetry reduces to a @xmath172 symmetry and similar arguments hold , in connection to the breaking of one of the two discrete symmetries ( for details see @xcite )    symmetry non - restoration was used in @xcite to solve the monopole problem in the @xmath186 gut .
monopoles are usually produced during phase transitions at temperatures of the order @xmath187gev . as was proposed in @xcite , the symmetric phase of @xmath186 was never realized ,
no matter how high the temperature becomes . in that paper
the interaction term @xmath188 appearing in the scalar kibble - higgs sector is responsible for the non - restoration of the @xmath186 symmetry .
actually the scalar interaction of @xmath189 and @xmath190 gives negative contributions to the thermal masses and one of those becomes negative .
once this happens the corresponding higgs field maintains a vacuum expectation value for high temperatures and the symmetry is never restored .
this phenomenon occurs for certain values of the parameters ( see @xcite ) .
however these results are very sensitive and are altered when someone includes two loop calculations @xcite . in the same spirit
there are arguments based on large n calculations which can show that symmetry non - restoration is an artifact of perturbation theory . for an interesting discussion on this see @xcite and references therein .
a cross term of the form @xmath191 is used in non relativistic models in condensed matter physics , for example in the coupled two field bose gases . however the effect of this does not break any of the initial symmetry patterns @xcite .    in conclusion
the intuitive approach to all phenomena at finite temperature consists of the statement that symmetries broken at small temperatures become restored at high temperature ( in the same class belong finite volume theories ) .
many field theory models exist that belong to this class .
counter intuitive phenomena occur in field theories with rich scalar sector . especially if the multi - scalar sectors interact weakly with negative couplings then the phenomena known as inverse symmetry breaking or symmetry non - restoration occur .
this happens at high temperature and refers to the spontaneous breaking of a symmetry at high temperature .
usually the symmetry is a global @xmath171 or for the case of symmetry non - restoration a continuous , like @xmath186 .
although inverse symmetry breaking is counterintuitive , nature has provided us with examples that systems are more symmetric at low temperatures than at high temperature .
for example the rochelle salt which at low temperatures is orthorhombic and after a critical temperature becomes monoclinic .
similar phenomena occur in liquid crystals ( for more examples see @xcite and references therein ) .
the process of reheating after inflation is one of the most important features of the new inflationary scenario @xcite .
the process of reheating is necessary in order that the inflating vacuum like state of the universe transforms to a hot friedmann universe state . during the reheating process a massive scalar field
gives it s vacuum energy to lighter fermions and bosons .
the lagrangian governing this process is , @xmath192 the role of the inflaton fields is played from the scalar field @xmath193 .
the inflaton field decays to the particles @xmath194 and @xmath165 due to the interaction terms @xmath195 and @xmath196 .
note that we used similar terms in order to break supersymmetry hard and all the effects we seen in the previous section are due to these interaction terms .
also , in order reheating takes place , the condition @xmath197 must hold ( remember that similar conditions hold in the supersymmetric model we studied previously . there @xmath198 was the tree order mass of the untwisted scalar field and @xmath10 the tree order mass of the twisted scalar .
one of the conditions we used is that the untwisted sector has greater mass than the twisted sector , namely @xmath199 .
also the untwisted fermion has mass m ) .
so with the interactions @xmath200 and @xmath196 the initially concentrated energy ( during inflation ) to the field @xmath193 is transferred to particle creation through the processes @xmath201 and @xmath202 , and the universe thermalizes @xcite .    the cross interaction terms of the form @xmath203 are used in some versions of hybrid inflation .
let us briefly mention another application of cross interactions between scalar fields .
these terms are used to the thermal inflation scenario .
this is a modified version of the new inflation and old inflation scenario @xcite . in the thermal inflation scenario , a lagrangian that contains a term @xmath203
this term is necessary in order a phase transition takes place .
actually there is bump in the effective potential that is solely created from this interaction term and the phase transition is strongly first order .
the universe supercools in the false vacuum and after a critical temperature tunnels to the true vacuum through bubble nucleation . at this point
thermal inflation ends ( for details see @xcite ) .    before closing this section
we conclude that cross terms between scalar fields and yukawa interactions are frequently used in particle models and these terms make the effective potential locally unstable thus triggering first order phase transitions , reheating and other processes . also at high temperatures and for specific values of the parameters , these terms may cause inverse symmetry breaking or symmetry non restoration .    our study involved these terms but the phenomena studied where related to supersymmetry breaking and inverse supersymmetry breaking when the space has a compact dimension .
so the resemblance between the two setups is quite clear .
we shall discuss on this later on .
in this section a brief qualitative application ( although fictitious ) of one of the above results is presented . consider a toy universe that has just come out of it s strong gravity period and it s particle content ( matter ) is described by ( [ test ] ) with the addition of the hard supersymmetry breaking term @xmath204 .
the back - reaction of gravity on field theory is considered small ( _ i.e._field theory calculations made in the previous part considering flat background , are consistent and thus the metric fluctuations are negligible ) .
this toy universe s expansion is described by : @xmath205 a homogeneous clifford - klein metric ( known as bianchi i cosmological model ) , with @xmath206 , @xmath207 , @xmath208 , as in ( [ flat ] ) . in ( [ metric ] ) , @xmath209 , @xmath210 , @xmath211 , describe the scale factors of the two infinite and of the compact dimension respectively . also we assume , @xmath212 with @xmath213 .
figure [ nonsusy ] motivates us to think as follows : at small lengths of the compact dimension the toy universe s ground state is the supersymmetric vacuum although we had broken supersymmetry using a hard term , something usually unexpected .
as the circumference of the compact dimension grows , the toy universe  acknowledges  the presence of the other true vacuum ( in terms of it s quantum one loop effective potential ) and at some point ( bubbles of the new vacuum create within the false vacuum ) quantum penetrates to the other vacuum , the non supersymmetric one .
therefore , at small lengths of the compact dimension , supersymmetry was unbroken and as the radius grows , supersymmetry breaks .
it seems that using a compact dimension in the present model , supersymmetry breaks dynamically after some critical radius of the compact dimension , although supersymmetry is expected to be broken for all lengths ( this would exactly be the effect of a hard supersymmetry breaking term ) .
let us now do some toy cosmology on this toy universe .
@xmath214 is the minimum of the effective potential at the origin ( note @xmath127 ) , and @xmath215 the minimum after quantum barrier penetration ( the non supersymmetric vacuum ) .
we assume this toy universe has a cosmological constant which is chosen to be @xmath216 ( a choice which shall be explained below ) .
note that @xmath217 .
the friedmann equation describing it s evolution is : @xmath218 referred to the @xmath219 dimension ( we omit the analysis on the other dimension and to the compact one since it is similar ( [ cond ] ) .
for details see @xcite ) .    in the early post quantum gravity period
, this toy universe is at the @xmath214 vacuum state , the energy density is @xmath220 .
the friedmann equation reads : @xmath221 and without getting into much detail ( see @xcite ) , an inflationary solution ( corresponding to a flat universe ) follows in all space dimensions , being of the form , @xmath222 with @xmath223 . note that the rate of the expansion is the same for all dimensions . during the inflation period of this toy universe ,
its quantum vacuum state is the supersymmetric vacuum ( false vacuum ) , until for some length quantum tunnelling occurs ( due to one loop quantum effects ) , and the new vacuum state is @xmath215 , the new minimum of the effective action . during the quantum vacuum penetration ,
the energy release ( something like latent heat ) @xcite is of the order @xmath224 which thermalizes the matter content at a temperature @xmath225 , with @xmath226 @xmath227 and @xmath225 characterizing the  phase transition  point .
after thermalization , the energy density is @xmath228 and the friedmann equation reads : @xmath229 ( we fixed @xmath230 in order to cancel the value of @xmath215 ) .
so after vacuum penetration the toy universe follows a radiation dominated expansion ( note that the maximum temperature ever reached was the thermalization temperature @xmath225 @xcite ) .
note that the above picture has many similarities with the strongly supercooled first order phase transitions of the early universe ( old inflationary scenario ) .
let us point out its main features . start with a toy universe filled with fermions and bosons interacting in a non supersymmetric way ( due to explicit hard breaking ) .
the toy universe is at a supersymmetric vacuum ( unexpectedly ) when it s magnitude ( specifically the compact dimension magnitude ) is small , but as it evolves spatially ( inflation in our setup ) quantum penetrates to a non supersymmetric vacuum , which is energetically preferable .
so at the early toy universe s epoch , supersymmetry was not broken ( at least the vacuum quantum state did not realize broken susy ) , although the matter content of it , interacts in a non supersymmetric way , but supersymmetry dynamically breaks ( through quantum tunnelling ) @xcite when the toy universe evolves at larger sizes .
let us note here that in order this toy universe is realistic , one must deal with defects ( monopoles , domain walls ) and with the cosmological experimental observations that do not suggest non trivial topology in the spatial dimensions .
maybe domain walls may be avoided in first order phase transitions but if we want to include guts in this universe we can not avoid defects ( only if the temperature after the quantum penetration is smaller compared to the temperature that the defects are created , then defects maybe be avoided ) .
even if one deals with defects , the non trivial topology problem remains , so the magnitude of the compact dimension must be larger than the particle horizon ( which can be achieved during inflation ) .
in this paper we studied a simple supersymmetric model in @xmath2 spacetime topology .
we discussed how topology can affect the boundary conditions of the fields and we seen that in @xmath2 bosons and fermions can have periodic and anti - periodic boundary conditions along the compact dimension .
also we discussed how supersymmetry is broken spontaneously and how this can be avoided in terms of the boundary conditions that the fields obey .
we confirmed these by calculating the effective potential of the theory .
* when an interaction among the two untwisted scalars is added , a term of the form @xmath129 , supersymmetry remains unbroken for small values of the radius of the compact dimension , and as the length increases , breaks after a critical length .
this occurs when @xmath155 .
this phenomenon resembles first order phase transitions of finite temperature field theories .
also we applied this to a toy cosmological model , which described the evolution of a universe with an initial cosmological constant and filled with the aforementioned fields .
* the addition of an interaction among the scalar of the untwisted sector that develops a vev and the twisted scalars or the twisted fermions results in a very peculiar phenomenon . particularly when certain conditions hold ( similar to the aforementioned ) supersymmetry is broken for small lengths and as the radius increases , becomes restored after a critical length .
this resembles conceptually second order phase transitions .
the last is similar to inverse symmetry breaking phenomena at finite temperature , that appear in field theories with rich scalar sector . in that case
a symmetry unbroken at low temperatures may break at high temperature . in our case at small lengths supersymmetry breaks while remains unbroken for large radius values .
we called this inverse supersymmetry breaking for brevity .
the terms in the lagrangian that trigger inverse symmetry breaking are the same that trigger inverse supersymmetry breaking .
also these terms appear in the theory of reheating and in the thermal inflation . in the study we realized that there is a universality in the @xmath169 dependence .
we shall present these in detail in @xcite .    finally let us discuss the physical significance of  inverse supersymmetry breaking  .
this phenomenon is not so appealing to a four dimensional theory .
what would be expected is that supersymmetry should be unbroken for small values of the radius of the compact dimension and breaks dynamically at large distances .
what happens here is the converse . for large values of the radius
, supersymmetry is unbroken and breaks dynamically for small values of the radius .
however this would be interesting for a five dimensional model .
imagine a theory where supersymmetry is unbroken for large radius of the compact dimension and breaks dynamically for small values of the compact dimension .
it is an interesting task to find what this mechanism ( which is basically coupling interplay between interactions ) has to say for the radius stabilization mechanism of extra dimensional models .
k. kirsten , e. elizalde , phys .
b365 , 72 ( 1996 ) ; k. kirsten , j. phys .
a26 , 2421 ( 1996 ) ; e. elizalde , k. kirsten , yu .
kubyshin , z. phys .
c70 , 159 ( 1996 ) ; e. elizalde , k. kirsten , j. math .
35 , 1260 ( 1994 )                              yu .
p.  goncharov , a.  a.  bytsenko , phys .
b163 , 155 ( 1985 ) ;  phys .
b168 , 239 ( 1986 ) ;  phys .
b169 , 171 ( 1986 ) ;  phys .
b160 , 385 ( 1985 ) ;  class .
grav.8:l211 , 1991 ;  class .
grav .  8:2269 , 1991 ;  class.quant .
grav .  4:555 , 1987 ; nucl .
b271 , 726 ( 1986 )                        e. elizalde , a romeo , rev .
phys . 1 , 113 ( 1989 ) ; e. elizalde , j. phys .
a39 , 6299 , 2006 ; e. elizalde , `` ten physical applications of spectral zeta functions '' , springer ( 1995 ) ; e. elizalde , j. math . phys .
35,6100 ( 1994 )    ya .
b.  zeldovich , a.  a.  starobinsky , sov .
10 , 135 ( 1984 ) ; a.  a.  starobinsky , phys .
91b , 99 ( 1980 ) ; s.  r.  coleman , phys .
d15 , 2929 ( 1977 ) ; c.  g.  callan , s.  r.  coleman , phys .
d16 , 1762 ( 1977 ) ;        l.  van .
hove , phys .  rep .
137 , 11 ( 1988 ) , nucl .
b207 , 15 ( 1982 ) ; ashok das , finite temperature field theory , world scientific 1997 ; d.  bailin and a.  love , supersymmetric gauge field theory and string theory , institute of physics publishing 2003