interference between wireless links has been taken into account as a critical problem in wireless communication systems .
recently , interference alignment  ( ia ) was proposed for fundamentally solving the interference problem when there are two communication pairs  @xcite .
it was shown in  @xcite that the ia scheme can achieve the optimal degrees of freedom  ( dof ) , which is equal to @xmath4 , in the @xmath1-user interference channel with time - varying channel coefficients . since then , interference management schemes based on ia have been further developed and analyzed in various wireless network environments : multiple - input multiple - output ( mimo ) interference networks  @xcite , x networks  @xcite , and cellular networks  @xcite .
on the one hand , following up on these successes for single - hop networks , more recent and emerging work has studied multihop networks with multiple source - destination ( s  d ) pairs . for the 2-user 2-hop network with 2 relays ( referred to as the @xmath5 interference channel ) , it was shown in  @xcite that interference neutralization combining with symbol extension achieves the optimal dof .
a more challenging network model is to consider @xmath1-user two - hop relay - aided interference channels , consisting of @xmath1 source - destination ( s  d ) pairs and @xmath2 helping relay nodes located in the path between s
d pairs , so - called the @xmath3 channel .
several achievability schemes have been known for the network , but more detailed understanding is still in progress . by applying the result from  @xcite to the @xmath0 channel , one can show that @xmath4 dof is achieved by using orthogonalize - and - forward relaying , which completely neutralizes interference at all destinations if @xmath2 is greater than or equal to @xmath6 .
another achievable scheme , called aligned network diagonalization , was introduced in  @xcite and was shown to achieve the optimal dof in the @xmath0 channel while tightening the required number of relays .
the scheme in  @xcite is based on the real interference alignment framework  @xcite . in  @xcite
, however , the system model under consideration assumes that there is no interfering signal between relays and the relays are full - duplex .
moreover , in  @xcite , the @xmath5 interference channel with full - duplex relays interfering with each other was characterized and its dof achievability was shown using aligned interference neutralization .
interference channel  @xcite . ]
on the other hand , there are lots of results on the usefulness of fading in the literature , where one can obtain the multiuser diversity gain in broadcast channels : opportunistic scheduling  @xcite , opportunistic beamforming  @xcite , and random beamforming  @xcite .
such opportunism can also be fully utilized in multi - cell uplink or downlink networks by using an opportunistic interference alignment strategy  @xcite .
various scenarios exploiting the multiuser diversity gain have been studied in cooperative networks by applying an opportunistic two - hop relaying protocol  @xcite and an opportunistic routing  @xcite , and in cognitive radio networks with opportunistic scheduling  @xcite .
in addition , recent results  @xcite have shown how to utilize the opportunistic gain when there are a large number of channel realizations .
more specifically , to amplify signals and cancel interference , the idea of opportunistically pairing complementary channel instances has been studied in interference networks  @xcite and multi - hop relay networks  @xcite . in cognitive radio environments
@xcite , opportunistic spectrum sharing was introduced by allowing secondary users to share the radio spectrum originally allocated to primary users via transmit adaptation in space , time , or frequency .      in this paper , we study the _
@xmath0 channel with interfering relays _ , which can be taken into account as one of practical multi - source interfering relay networks and be regarded as a fundamentally different channel model from the conventional @xmath0 channel in  @xcite .
then , we introduce an _ opportunistic network decoupling ( ond ) _ protocol that achieves full dof with comparatively easy implementation under the channel model .
this work focuses on the @xmath0 channel with one additional assumption that @xmath2 _ half - duplex _ ( hd ) relays interfere with each other , which is a more feasible scenario .
the scheme adopts the notion of the multiuser diversity gain for performing interference management over two hops . more precisely , in our scheme , a scheduling strategy is presented in time - division duplexing ( tdd ) two - hop environments with time - invariant channel coefficients , where a subset of relays is opportunistically selected in terms of producing the minimum total interference level . to improve the spectral efficiency , the _ alternate relaying _ protocol in  @xcite
is employed with a modification , which eventually enables our system to operate in _ virtual full - duplex _ mode . as our main result ,
it turns out that in a high signal - to - noise ratio ( snr ) regime , the ond protocol asymptotically achieves the min - cut upper bound of @xmath1 dof even in the presence of inter - relay interference and half - duplex assumption , provided the number of relays , @xmath2 , scales faster than @xmath7 , which is the minimum number of relays required to guarantee our achievability result .
numerical evaluation also indicates that the ond protocol has higher sum - rates than those of other relaying methods under realistic network conditions ( e.g. , finite @xmath2 and snr ) since the inter - relay interference is significantly reduced owing to the opportunistic gain . for comparison , the ond scheme without alternate relaying and the max - min snr scheme are also shown as baseline schemes . note that our protocol basically operates with local channel state information ( csi ) at the transmitter and thus is suitable for distributed / decentralized networks .
our main contributions are fourfold as follows :    * in the @xmath0 channel with interfering relays , we introduce a new achievability scheme , termed ond with virtual full - duplex operation .
* under the channel model , we completely analyze the optimal dof , the required relay scaling condition , and the decaying rate of the interference level , where the ond scheme is shown to approach the min - cut upper bound on the dof . * our achievability result ( i.e.
, the derived dof and relay scaling law ) is validated via numerical evaluation .
* we perform extensive computer simulations with other baseline schemes .
the rest of this paper is organized as follows . in section  [ sec:2 ] , we describe the system and channel models . in section  [ sec:3 ] , the proposed ond scheme is specified and its lower bound on the dof is analyzed .
section  [ sec:4 ] shows an upper bound on the dof .
numerical results of the proposed ond scheme are provided in section  [ sec:5 ] .
finally , we summarize the paper with some concluding remarks in section  [ sec:6 ] .      throughout this paper , @xmath8 , @xmath9 $ ] , and @xmath10 indicate the field of complex numbers , the statistical expectation , and the ceiling operation , respectively . unless otherwise stated , all logarithms are assumed to be to the base 2 .
moreover , table  [ tab : notations ] summarizes the notations used throughout this paper .
some notations will be more precisely defined in the following sections , where we introduce our channel model and achievability results .
.summary of notations [ cols="^,^ " , ]
as one of two - hop cooperative scenarios , we consider the @xmath11 channel model with interfering relays , which fits into the case where each s  d pair is geographically far apart and/or experiences strong shadowing ( thus requiring the response to a huge challenge for achieving the target spectral efficiency ) . in the channel model , it is thus assumed that each source transmits its own message to the corresponding destination only through one of @xmath2 relays , and thus there is no direct path between an s
d pair . note that unlike the conventional @xmath12 channel , relay nodes are assumed to interfere with each other in our model .
there are @xmath1 s  d pairs , where each receiver is the destination of exactly one source node and is interested only in traffic demands of the source . as in the typical cooperative relaying setup ,
@xmath2 relay nodes are located in the path between s
d pairs so as to help to reduce path - loss attenuations .
suppose that each node is equipped with a single transmit antenna .
each relay node is assumed to operate in half - duplex mode and to fully decode , re - encode , and retransmit the source message i.e. , decode - and - forward protocol is taken into account .
we assume that each node ( either a source or a relay ) has an average transmit power constraint @xmath13 .
unlike the work in  @xcite , @xmath2 relays are assumed to interfere with each other .
channel can also be applied here . ] to improve the spectral efficiency , the alternate relaying protocol in  @xcite is employed with a modification . with alternate relaying ,
each selected relay node toggles between the transmit and listen modes for alternate time slots of message transmission of the sources . if @xmath2 is sufficiently large , then it is possible to exploit the channel randomness for each hop and thus to obtain the opportunistic gain in multiuser environments . in this work
, we do not assume the use of any sophisticated multiuser detection schemes at each receiver ( either a relay or a destination node ) , thereby resulting in an easier implementation .
now , let us turn to channel modeling .
let @xmath14 , @xmath15 , and @xmath16 denote the @xmath17th source , the corresponding @xmath17th destination , and the @xmath18th relay node , respectively , where @xmath19 and @xmath20 .
the terms @xmath21 denote the channel coefficients from @xmath14 to @xmath16 and from @xmath16 to @xmath15 , corresponding to the first and second hops , respectively .
the term @xmath22 indicates the channel coefficient between two relays @xmath16 and @xmath23 .
all the channels are assumed to be rayleigh , having zero - mean and unit variance , and to be independent across different @xmath18 , @xmath17 , @xmath24 , and hop index @xmath25 .
we assume the block - fading model , i.e. , the channels are constant during one block ( e.g. , frame ) , consisting of one scheduling time slot and @xmath26 data transmission time slots , and changes to a new independent value for every block .     channel with interfering relays . , scaledwidth=57.0% ]
in this section , we describe the ond protocol , operating in virtual full - duplex mode , in the @xmath0 channel with interfering relays .
then , its performance is analyzed in terms of achievable dof along with a certain relay scaling condition .
the decaying rate of the interference level is also analyzed .
in addition , the ond protocol with no alternate relaying and its achievability result are shown for comparison .      in this subsection
, we introduce an ond protocol as the achievable scheme to guarantee the optimal dof of the @xmath12 channel with inter - relay interference , where @xmath27 relay nodes among @xmath2 candidates are opportunistically selected for data forwarding in the sense of producing a sufficiently small amount of interference level .
the proposed scheme is basically performed by utilizing the channel reciprocity of tdd systems .
suppose that @xmath28 and @xmath29 denote the indices of two relays communicating with the @xmath17th s
d pair for @xmath19 . in this case , without loss of generality , assuming that the number of data transmission time slots , @xmath26 , is an odd number , the specific steps of each node during one block are described as follows :    * time slot 1 : sources @xmath30 transmit their first encoded symbols @xmath31 , where @xmath32 represents the @xmath33th transmit symbol of the @xmath17th source node .
a set of @xmath1 selected relay nodes , @xmath34 , operating in receive mode at each odd time slot , listens to @xmath31 ( note that a relay selection strategy will be specified later ) . other @xmath35 relay nodes and destinations
@xmath36 remain idle .
* time slot 2 : the @xmath1 sources transmit their encoded symbols @xmath37 .
the @xmath1 selected relays in the set @xmath38 forward their first re - encoded symbols @xmath39 to the corresponding @xmath1 destinations .
if the relays in @xmath38 successfully decode the corresponding symbols , then @xmath40 is the same as @xmath41 .
another set of @xmath1 selected relay nodes , @xmath42 , operating in receive mode at each even time slot , listens to and decodes @xmath37 while being interfered with by @xmath43 .
the @xmath1 destinations receive and decode @xmath39 from @xmath44 @xmath45 .
the remaining @xmath46 relays keep idle . * time slot 3 : the @xmath1 sources transmit their encoded symbols @xmath47 .
the @xmath1 relays @xmath48 forward their re - encoded symbols @xmath49 to the corresponding @xmath1 destinations .
another @xmath1 relays in @xmath38 receive and decode @xmath50 @xmath51 while being interfered with by @xmath52 .
the @xmath1 destinations receive and decode @xmath49 from @xmath53 @xmath54 .
the remaining @xmath46 relays keep idle . *
the processes in time slots 2 and 3 are repeated to the @xmath55th time slot .
* time slot @xmath26 : the @xmath1 relays in @xmath56 forward their re - encoded symbols @xmath57 @xmath58 to the corresponding @xmath1 destinations
. the @xmath1 sources and the other @xmath35 relays remain idle .    at each odd time slot @xmath33 ( i.e. , @xmath59 ) , let us consider the received signal at each selected relay for the first hop and the received signal at each destination for the second hop , respectively .    for the first hop ( phase 1 ) , the received signal @xmath60 at @xmath61 is given by @xmath62 where @xmath32 and @xmath63 are the @xmath33th transmit symbol of @xmath14 and the @xmath64th transmit symbol of @xmath65 , respectively . as addressed earlier ,
if relay @xmath66 successfully decodes the received symbol , then it follows that @xmath67 .
the received signal @xmath68 at @xmath61 is corrupted by the independent and identically distributed ( i.i.d . ) and circularly symmetric complex additive white gaussian noise ( awgn ) @xmath69 having zero - mean and variance @xmath70 . note that the second term in the right - hand side ( rhs ) of ( [ eq : y1 ] ) indicates the inter - relay interference , which occurs when the @xmath1 relays in the set @xmath38 , operating in receive mode , listen to the sources , the relays are interfered with by the other set @xmath56 , operating in transmit mode .
note that when @xmath71 , relays have no symbols to transmit , and the second term in the rhs of ( [ eq : y1 ] ) becomes zero .
similarly when @xmath72 , sources do not transmit symbols , and the first term in the rhs of ( [ eq : y1 ] ) becomes zero .
for the second hop ( phase 2 ) , assuming that the @xmath1 selected relay nodes transmit their data packets simultaneously , the received signal @xmath73 at @xmath15 is given by @xmath74 where @xmath75 is the i.i.d .
awgn having zero - mean and variance @xmath70 .
we also note that when @xmath71 , there are no signals from relays .    likewise , at each even time slot ( i.e. , @xmath76 ) , the received signals at @xmath77 and @xmath15 ( i.e. , the first and second hops ) are given by @xmath78 and @xmath79 respectively .
the illustration of the aforementioned ond protocol is geographically shown in fig .  [
fig : dig ] ( two terms @xmath80 and @xmath81 are specified later in the following relay selection steps ) .
now , let us describe how to choose two types of relay sets , @xmath38 and @xmath56 , among @xmath2 relay nodes , where @xmath2 is sufficiently large ( the minimum @xmath2 required to guarantee the dof optimality will be analyzed in section  [ subsec : ana ] ) .
let us first focus on selecting the set @xmath82 , operating in receive and transmit modes in odd and even time slots , respectively . for every scheduling period , it is possible for relay @xmath16 to obtain all the channel coefficients @xmath83 and @xmath84 by using a pilot signaling sent from all of the source and destination nodes due to the channel reciprocity before data transmission , where @xmath20 and @xmath19 ( note that this is our local csi assumption ) .
when @xmath16 is assumed to serve the @xmath17th s
d pair @xmath85 , it then examines both i ) how much interference is received from the other sources and ii ) how much interference is generated by itself to the other destinations , by computing the following scheduling metric @xmath86 : @xmath87 where @xmath88 and @xmath89 .
we remark that the first term @xmath90 in ( [ eq : il ] ) denotes the sum of interference power received at @xmath16 for the first hop ( i.e. , phase 1 ) . on the other hand ,
the second term @xmath91 indicates the sum of interference power generating at @xmath16 , which can be interpreted as the _ leakage of interference _ to the @xmath92 receivers expect for the corresponding destination , for the second hop ( i.e. , phase 2 ) under the same assumption .
suppose that a short duration cts ( clear to send ) message is transmitted by the destination who finds its desired relay node ( or the master destination ) .
then according to the computed metrics @xmath86 in ( [ eq : il ] ) , a timer - based method can be used for the relay selection similarly as in  @xcite .
times that of the single s - d pair case  @xcite . ]
note that the method based on the timer is considerably suitable in distributed systems in the sense that information exchange among all the relay nodes can be minimized . at the beginning of every scheduling period ,
the relay @xmath16 computes the set of @xmath1 scheduling metrics , @xmath93 , and then starts its own timer with @xmath1 initial values , which can be set to be proportional to the @xmath1 metrics .
thus , there exist @xmath94 metrics over the whole relay nodes , and we need to compare them so as to determine who will be selected .
the timer of the relay @xmath95 with the least one @xmath96 among @xmath94 metrics will expire first , where @xmath97 and @xmath98 .
the relay then transmits a short duration rts message , signaling its presence , to the other @xmath99 relays , where each rts message is composed of @xmath100 bits to indicate which s
d pair the relay wants to serve .
thereafter , the relay @xmath95 is first selected to forward the @xmath101th s
d pair s packet .
all the other relays are in listen mode while waiting for their timer to be set to zero ( i.e. , to expire ) . at the stage of deciding who will send the second rts message ,
it is assumed that the other relays are not allowed to communicate with the @xmath101th s
d pair , and thus the associated metrics @xmath102 are discarded with respect to timer operation .
if another relay has an opportunity to send the second rts message of @xmath103 bits in order to declare its presence , then it is selected to communicate with the corresponding s
when such @xmath1 rts messages , consisting of at most @xmath104 bits , are sent out in consecutive order , i.e. , the set of @xmath1 relays , @xmath82 , is chosen , the timer - based algorithm for the first relay set selection terminates , yielding no rts collision with high probability .
we remark that when @xmath105 ( i.e. , the single s  d pair case ) , @xmath1 relay nodes are _ arbitrarily _ chosen as the first relay set @xmath38 since there is no interference in this step .
now let us turn to choosing the set of @xmath1 relay nodes ( among @xmath35 candidates ) , @xmath106 @xmath107 , operating in receive and transmit modes in even and odd time slots , respectively . using @xmath1 rts messages broadcasted from the @xmath1 relay nodes in the set @xmath38 , it is possible for relay node @xmath108 to compute the sum of inter - relay interference power generated from the relays in @xmath38 , denoted by @xmath109 .
when @xmath16 is again assumed to serve the @xmath17th s
d pair @xmath85 , it examines both i ) how much interference is received from the undesired sources and the selected relays in the set @xmath38 for the first hop and ii ) how much interference is generated by itself to the other destinations by computing the following metric @xmath110 , termed _ total interference level  ( til ) _ : @xmath111 where @xmath88 and @xmath89 .
we note that steps 1 and 2 can not be exchangeable due to the fact that the inter - relay interference term @xmath112 is measured after determining the first relay set @xmath38 .
if the relay set selection order is switched , then the metric til in ( [ eq : til ] ) will not be available .    according to the computed til @xmath110
, we also apply the timer - based method used in step 1 for the second relay set selection . the relay @xmath113 computes the set of @xmath1 tils , @xmath114 , and then starts its timer with @xmath1 initial values , proportional to the @xmath1 tils .
thus , we need to compare @xmath115 til metrics over the relay nodes in the set @xmath116 in order to determine who will be selected as the second relay set .
the rest of the relay set selection protocol ( i.e. , rts message exchange among relay nodes ) almost follows the same line as that of step 1 .
the timer - based algorithm for the second relay set selection terminates when @xmath1 rts messages are sent out in consecutive order .
then , @xmath1 relay nodes having a sufficiently small amount of til @xmath110 are selected as the second relay set @xmath56 .
owing to the channel reciprocity of tdd systems , the sum of inter - relay interference power received at any relay @xmath117 , @xmath118 , also turns out to be sufficiently small when @xmath2 is large .
that is , it is also guaranteed that @xmath1 selected relays in the set @xmath38 have a sufficiently small amount of til .    the overhead of each scheduling time slot ( i.e. , the total number of bits required for exchanging rts messages among the relay nodes ) can be made arbitrarily small , compared to one transmission block . from the fact that @xmath1 rts messages , consisting of at most @xmath104 bits , are sent out in each relay set selection step ,
only @xmath119 bit transmission could suffice .
the @xmath27 selected relays request data transmission to their desired source nodes .
each source ( @xmath14 ) then starts to transmit data to the corresponding destination ( @xmath15 ) via one of its two relay nodes alternately ( @xmath120 or @xmath66 ) , which was specified earlier .
if the tils of the selected relays are arbitrarily small , then i ) the associated undesired source  relay and relay  destination channel links and ii ) the inter - relay channel links are all in deep fade . in section  [ subsec : ana ] , we will show that it is possible to choose such relays with the help of the multiuser diversity gain .    at the receiver side ,
each relay or destination detects the signal sent from its desired transmitter , while simply treating interference as gaussian noise .
thus , no multiuser detection is performed at each receiver , thereby resulting in an easier implementation .      in this subsection , using the scaling argument bridging between the number of relays , @xmath2 , and the received snr ( refer to  @xcite for the details ) , we shall show 1 ) the lower bound on the dof of the @xmath121 channel with interfering relays as @xmath2 increases and 2 ) the minimum @xmath2 required to guarantee the achievability result .
the total number of dof , denoted by @xmath122 , is defined as  @xcite @xmath123 where @xmath124 denotes the transmission rate of source @xmath14 . using the ond framework in the @xmath125 channel with interfering relays where @xmath26 transmission slots per block are used ,
the achievable @xmath122 is lower - bounded by @xmath126 where @xmath127 denotes the received signal - to - interference - and - noise ratio ( sinr ) at the relay @xmath128 and @xmath129 denotes the received sinr at the destination @xmath15 when the relay @xmath128 transmits the desired signal ( @xmath130 and @xmath19 ) .
more specifically , the above sinrs can be formally expressed as , the third term in the denominator of @xmath131 ( i.e. , the inter - relay interference term ) becomes zero . ]
@xmath132 where the second term in the denominator of @xmath133 indicates the interference power at relay @xmath134 received from the sources while the third term indicates the inter - relay interference , and the second term in the denominator of @xmath135 indicates the interference power at the destination @xmath136 received from the active relays . here ,
@xmath137 , i.e. , @xmath138 if @xmath139 , and vice versa .
we focus on the first relay set @xmath140 s perspective to examine the received sinr values according to each time slot .
let us first denote @xmath141 for @xmath142 .
for the first hop , at time slot @xmath143 ( i.e. , each odd time slot ) , @xmath144 , the received @xmath131 at @xmath145 is lower - bounded by @xmath146 where @xmath147 indicates the scheduling metric in ( [ eq : il ] ) when @xmath61 is assumed to serve the @xmath18th s
d pair ( @xmath148 , @xmath136 ) . for the second hop , at time slot @xmath149
( i.e. , each even time slot ) , @xmath150 , the received @xmath151 at @xmath152 is lower - bounded by @xmath153 where the second inequality holds due to the channel reciprocity .
the term @xmath154 in the denominator of ( [ eq : sinr_1_pi1 ] ) and ( [ eq : sinr_2_pi1 ] ) needs to scale as @xmath155 , i.e. , @xmath156 , so that both @xmath157 and @xmath158 scale as @xmath159 with increasing snr , which eventually enables to achieve the dof of @xmath160 per s
d pair from ( [ eq : dof_ond ] ) .
means that there exist constant @xmath161 and @xmath162 such that @xmath163 for all @xmath164 .
ii ) @xmath165 if @xmath166 .
iii ) @xmath167 means that @xmath168  @xcite . ]
even if such a bounding technique in ( [ eq : sinr_1_pi1 ] ) and ( [ eq : sinr_2_pi1 ] ) leads to a loose lower bound on the sinr , it is sufficient to prove our achievability result in terms of dof and relay scaling law .
now , let us turn to the second relay set @xmath169 .
similarly as in ( [ eq : sinr_1_pi1 ] ) , for the first hop , at time slot @xmath149 , @xmath170 , the received @xmath171 at @xmath172 is lower - bounded by @xmath173 where @xmath174 indicates the til in when @xmath77 is assumed to serve the @xmath18th s
d pair ( @xmath148 , @xmath136 ) . for the second hop , at time slot @xmath175 , @xmath144 ,
the received @xmath176 at @xmath152 can also be lower - bounded by @xmath177 the next step is thus to characterize the three metrics @xmath86 , @xmath178 , and @xmath110 ( @xmath179 and @xmath180 ) and their cumulative density functions ( cdfs ) in the @xmath0 channel with interfering relays , which is used to analyze the lower bound on the dof and the required relay scaling law in the model under consideration . since it is obvious to show that the cdf of @xmath178 is identical to that of @xmath110 , we focus only on the characterization of @xmath110 .
the scheduling metric @xmath86 follows the chi - square distribution with @xmath181 degrees of freedom since it represents the sum of i.i.d .
@xmath182 chi - square random variables with 2 degrees of freedom .
similarly , the til @xmath110 follows the chi - square distribution with @xmath183 degrees of freedom .
the cdfs of the two metrics @xmath86 and @xmath110 are given by @xmath184 respectively , where @xmath185 is the gamma function and @xmath186 is the lower incomplete gamma function  ( * ? ? ?
( 8.310.1 ) ) .
we start from the following lemma .
[ lem:1 ] for any @xmath187 , the cdfs of the random variables @xmath86 and @xmath110 in and are lower - bounded by @xmath188 and @xmath189 , respectively , where @xmath190 and @xmath191 is the gamma function .
the detailed proof of this argument is omitted here since it essentially follows the similar line to the proof of  ( * ? ? ?
* lemma 1 ) with a slight modification .    in the following theorem ,
we establish our first main result by deriving the lower bound on the total dof in the @xmath192 channel with interfering relays .
[ thrm:1 ] suppose that the ond scheme with alternate relaying is used for the @xmath121 channel with interfering relays .
then , for @xmath26 data transmission time slots , @xmath193 is achievable if @xmath194 .
from ( [ eq : dof_ond])([eq : sinr_2_pi2 ] ) , the ond scheme achieves @xmath195 provided that the two values @xmath196 and @xmath197 are less than or equal to some constant @xmath198 , independent of snr , for all s  d pairs .
then , a lower bound on the achievable @xmath122 is given by @xmath199 which indicates that @xmath200 dof is achievable for a fraction @xmath201 of the time for actual transmission , where @xmath202    we now examine the relay scaling condition such that @xmath201 converges to one with high probability .
for the simplicity of the proof , suppose that the first and the second relay sets @xmath140 and @xmath169 are selected out of two mutually exclusive relaying candidate sets @xmath203 and @xmath204 , respectively , i.e. , @xmath205 , @xmath206 , @xmath207 , @xmath208 , and @xmath209 .
then , we are interested in how @xmath210 and @xmath211 scale with snr in order to guarantee that @xmath201 tends to one , where @xmath212 denotes the cardinality of @xmath213 for @xmath130 . from ( [ eq : pond : def0 ] ) , we further have @xmath214    let @xmath215 with @xmath216 and @xmath217 be the candidate set associated with the second relay set and the @xmath218th s - d pair and its cardinality , respectively . for a constant @xmath198 , we can bound the second term in as follows : @xmath219 where the inequality @xmath220 holds from the de morgan s law ; @xmath221 follows from the union bound ; @xmath222 follows since @xmath223 ; @xmath224 follows since @xmath225 are the i.i.d .
random variables @xmath226 for a given @xmath18 , owning to the fact that the channels are i.i.d .
variables ; and @xmath227 follows from lemma  [ lem:1 ] with @xmath228 since @xmath229 as @xmath230 and from the fact that @xmath231 .
we now pay our attention to the first term in , which can be bounded by @xmath232 where the equality follows from the fact that @xmath233 and @xmath234 for @xmath235 are the functions of different random variables and thus are independent of each other . by letting @xmath236 , by the definition of @xmath233
, we have @xmath237 where the inequality follows from the fact that for any random variables @xmath238 and @xmath239 , @xmath240 @xmath241 @xcite . in the same manner ,
let @xmath242 with @xmath243 and @xmath244 be the candidate set associated with the first relay set and the @xmath218th s
d pair and its cardinality , respectively .
then , we can bound the first two terms in the rhs of   as follows : @xmath245 where the last inequality follows from lemma  [ lem:1 ] with @xmath246 .
finally , from , it follows that @xmath247 tends to zero as @xmath248 grows large by noting that @xmath249 due to the reciprocal property of tdd systems . from , , and , it is obvious that if @xmath250 and @xmath248 scale faster than @xmath251 and @xmath7 , respectively , then @xmath252 therefore , @xmath201 asymptotically approaches one , which means that the dof of @xmath253 is achievable with high probability if @xmath254 .
this completes the proof of the theorem .
note that the lower bound on the dof asymptotically approaches @xmath1 for large @xmath26 , which implies that our system operates in virtual full - duplex mode .
the parameter @xmath2 required to obtain full dof ( i.e. , @xmath1 dof ) needs to increase exponentially with the number of s  d pairs , @xmath1 , in order to make the sum of @xmath255 interference terms in the til metric ( [ eq : til ] ) non - increase with increasing snr at each relay . scales slower than @xmath7 , it does not affect the performance in terms of dof and relay scaling laws . ] here , from the perspective of each relay in @xmath56 , the snr exponent @xmath255 indicates the total number of interference links and stems from the following three factors : the sum of interference power received from other sources , the sum of interference power generated to other destinations , and the sum of inter - relay interference power generated from the relays in @xmath38 . from theorem  [ thrm:1 ] ,
let us provide the following interesting discussions regarding the dof achievability .
@xmath1 dof can be achieved by using the proposed ond scheme in the @xmath0 channel with interfering links among relay nodes , if the number of relay nodes , @xmath2 , scales faster than @xmath7 and the number of transmission slots in one block , @xmath26 , is sufficiently large . in this case , all the interference signals are almost nulled out at each selected relay by exploiting the multiuser diversity gain . in other words , by applying the ond scheme to the interference - limited @xmath0 channel such that the channel links are inherently coupled with each other , the links among each s  d path via one relay can be completely decoupled , thus enabling us to achieve the same dof as in the interference - free channel case .
it is not difficult to show that the centralized relay selection method that maximizes the received sinr ( at either the relay or the destination ) using global csi at the transmitter , which is a combinatorial problem with exponential complexity , gives the same relay scaling result @xmath194 along with full dof .
however , even with our ond scheme using a decentralized relay selection based only on local csi , the same achievability result is obtained , thus resulting in a much easier implementation .      in this subsection , we analyze the til decaying rate under the ond scheme with alternate relaying , which is meaningful since the desired relay scaling law is closely related to the til decaying rate with respect to @xmath2 for given snr .
let @xmath256 denote the @xmath1th smallest til among the ones that @xmath2 selected relay nodes compute .
since the @xmath1 relays yielding the til values up to the @xmath1th smallest one are selected , the @xmath1th smallest til is the largest among the tils that the selected relays compute .
similarly as in  @xcite , by markov s inequality , a lower bound on the average decaying rate of @xmath256 with respect to @xmath2 , @xmath257 $ ] , is given by @xmath258\ge \frac{1}{\epsilon}\pr(l_{k\text{th - min}}\le \epsilon),\end{aligned}\ ] ] where the inequality always holds for @xmath259 .
we denote @xmath260 as the probability that there are only @xmath1 relays satisfying @xmath261 , which is expressed as @xmath262 where @xmath263 is the cdf of the til .
since @xmath264 is lower - bounded by @xmath265 , a lower bound on the average til decaying rate is given by @xmath258\ge \frac{1}{\epsilon}\mathcal{p}_k(\epsilon ) .
\label{eq : til_min}\end{aligned}\ ] ]    the next step is to find the parameter @xmath266 that maximizes @xmath260 in terms of @xmath267 in order to provide the tightest lower bound .
[ lem:2 ] when a constant @xmath266 satisfies the condition @xmath268 , @xmath269 in ( [ eq : p_k ] ) is maximized for a given @xmath2 .    to find the parameter @xmath266 that maximizes @xmath260
, we take the first derivative with respect to @xmath267 , resulting in @xmath270 which is zero when @xmath271 the parameter @xmath266 is the unique value that maximizes @xmath260 since @xmath272 which completes the proof of the lemma .
now , we establish our second main theorem , which shows a lower bound on the til decaying rate with respect to @xmath2 .
[ thrm:2 ] suppose that the ond scheme with alternate relaying is used for the @xmath0 channel with interfering relays .
then , the decaying rate of til is lower - bounded by @xmath258 \ge \theta\left(n^{\frac{1}{3k-2}}\right).\end{aligned}\ ] ]    as shown in ( [ eq : til_min ] ) , the til decaying rate is lower - bounded by the maximum of @xmath273 over @xmath267 . by lemma
[ lem:2 ] , @xmath274 is maximized when @xmath275 .
thus , we have @xmath258 & \ge \frac{1}{\mathcal{f}_l^{-1}(k / n)}{{n}\choose{k}}\left(\frac{k}{n}\right)^k \left(1-\frac{k}{n}\right)^{n - k } \nonumber\\ & \ge \frac{1}{\mathcal{f}_l^{-1}(k / n)}\left(\frac{n - k+1}{n}\right)^k \!\!\!\left(1-\frac{k}{n}\right)^{n - k } \nonumber\\ & \ge \frac{1}{\mathcal{f}_l^{-1}(k /
n ) } \left(\frac{1}{k}\right)^k e^{-k } \nonumber\\ & \ge \theta\left(n^{\frac{1}{3k-2}}\right ) , \nonumber\end{aligned}\ ] ] where the second and third inequalities hold since @xmath276 and @xmath277 , respectively . by lemma  [ lem:1 ]
, it follows that @xmath278 , where @xmath279 is given by ( [ eq : c1 ] ) .
hence , the last inequality also holds , which completes the proof of the theorem .    from theorem
[ thrm:2 ] , the following valuable insight is provided : the smaller snr exponent of the relay scaling law , the faster til decaying rate with respect to @xmath2 .
this asymptotic result will be verified in a finite @xmath2 regime via numerical evaluation in section  [ sec:5 ] .      for comparison , the ond scheme without alternate relaying
is also explained in this subsection .
it is worth noting that there exists a trade - off between the lower bound on the dof and the minimum number of relays required to guarantee our achievability result by additionally introducing the ond protocol without alternate relaying . in the scheme ,
the first relay set @xmath38 only participates in data forwarding .
that is , the second relay set @xmath56 does not need to be selected for the ond protocol without alternate relaying .
specifically , the steps of each node during one block are then described as follows :    * time slot 1 : sources @xmath30 transmit their first encoded symbols @xmath31 , where @xmath32 represents the @xmath33th transmitted symbol of the @xmath17th source node .
a set of @xmath1 selected relay nodes , @xmath34 , operating in receive mode at each odd time slot , listens to @xmath31 .
other @xmath35 relay nodes and destinations @xmath36 remain idle . * time slot 2 : the @xmath1 relays in the set @xmath38 forward their first re - encoded symbols @xmath280 @xmath281 to the corresponding @xmath1 destinations .
the @xmath1 destinations receive from @xmath44 @xmath45 and decode @xmath39 .
the remaining @xmath35 relays keep idle . *
the processes in time slots 1 and 2 are repeated to the @xmath55th time slot .
* time slot @xmath26 : the @xmath1 relays in @xmath38 forward their re - encoded symbols @xmath282 @xmath283 to the corresponding @xmath1 destinations
. the @xmath1 sources and the other @xmath35 relays remain idle .    when @xmath16 is assumed to serve the @xmath17th s
d pair @xmath85 ( @xmath20 and @xmath19 ) , it computes the scheduling metric @xmath86 in ( [ eq : il ] ) . according to the computed @xmath86 ,
a timer based method is used for relay selection as in section  [ subsub:1strelay ] . because there is no inter - relay interference for the ond scheme without alternate relaying
, it is expected that the minimum required @xmath2 to achieve the optimal dof is significantly reduced .
our third main theorem is established as follows .
[ thrm:3 ] suppose that the ond scheme without alternate relaying is used for the @xmath121 channel .
then , for @xmath26 data transmission time slots , @xmath284 is achievable if @xmath285 .
the detailed proof of this argument is omitted here since it basically follows the same line as the proof of theorem  [ thrm:1 ] .    in section  [ sec:5 ] , it will be also seen that in a finite @xmath2 regime , there exists the case even where the ond without alternate relaying outperforms that of the ond with alternate relaying in terms of achievable sum - rates via computer simulations .
in this section , to show the optimality of the proposed ond scheme in the @xmath0 channel with interfering relays , which consists of @xmath1 s  d pairs and @xmath2 relay nodes , we derive an upper bound on the dof using the cut - set bound  @xcite as a counterpart of the lower bound on the total dof in section  [ subsec : ana ] .
suppose that @xmath286 relay nodes are active , i.e. , receive packets and retransmit their re - encoded ones , simultaneously , where @xmath287 .
this is a generalized version of our transmission since it is not characterized how many relays need to be activated simultaneously to obtain the optimal dof .
we consider the two cuts @xmath288 and @xmath289 dividing our network into two parts in a different manner .
let @xmath290 and @xmath291 denote the sets of sources and destinations , respectively , for the cut @xmath292 in the network ( @xmath293 ) . for the @xmath0 channel model with interfering relays
, we now use the fact that there is no direct path between an s
then , it follows that under @xmath288 , @xmath1 transmit nodes in @xmath294 are on the left of the network , while @xmath286 active relay nodes and @xmath1 ( final ) destination nodes in @xmath295 are on the right and act as receivers . in this case , we can create the @xmath296 multiple - input multiple - output ( mimo ) channel between the two sets of nodes separated by the cut . similarly , the @xmath297 mimo channel are obtained under the cut @xmath289 .
it is obvious to show that dof for the two mimo channels is upper - bounded by @xmath1 .
hence , it turns out that even with the half - duplex assumption , our lower bound on the dof based on the ond with alternate relaying asymptotically approaches this upper bound on the dof for large @xmath26 .
note that this upper bound is generally derived regardless of whether the number of relays , @xmath2 , tends to infinity or not , whereas the scaling condition @xmath298 is included in the achievability proof .
when @xmath299 and @xmath300 in the @xmath121 channel .
it is assumed that @xmath300 and @xmath301 are used for the ond schemes with and without alternate relaying , respectively .
, scaledwidth=57.0% ]     when @xmath302 in the @xmath121 channel .
, scaledwidth=57.0% ]
in this section , we perform computer simulations to validate the achivability result of the proposed ond scheme in section  [ sec:3 ] for finite parameters @xmath2 and snr in the @xmath0 channel model with interfering relays . in our simulation , the channel coefficients in ( [ eq : y1 ] ) and ( [ eq : y2 ] ) are generated @xmath303 times for each system parameter .
figure  [ fig:1 ] shows the achievable sum - rates of the @xmath304 channel for the ond schemes with and without alternate relaying according to @xmath305 in db scale when @xmath299 .
note that @xmath2 is set to a different scalable value according to @xmath305 , i.e. , @xmath306 for the ond with alternate relaying and @xmath307 for the ond without alternate relaying , respectively , to see whether the slope of each curve follows the dof in theorems  [ thrm:1 ] and  [ thrm:2 ] . in the figure
, the dotted green lines are also plotted to indicate the first order approximation of the achievable rates with a proper bias , where the slopes are given by @xmath1 and @xmath4 for the ond schemes with and without alternate relaying , respectively .    in fig .
[ fig:2 ] , the log - log plot of the average til of the ond with alternate relaying versus @xmath2 is shown for the @xmath308 channel when @xmath302 . is taken into account to precisely see some trends of curves varying with @xmath2 . ]
it can be seen that the til tends to decrease linearly with @xmath2 .
it is further seen how many relays are required with the ond scheme with alternate relaying to guarantee that the til is less than a small constant for a given parameter @xmath1 . in this figure , the dashed lines are also plotted from theoretical results in theorem  [ thrm:2 ] with a proper bias to check the slope of the til .
we can see that the til decaying rates are consistent with the relay scaling law condition in theorem  [ thrm:1 ] .
more specifically , the til is reduced as @xmath2 increases with the slope of 0.25 for @xmath299 and 0.143 for @xmath309 , respectively .     when @xmath299 and @xmath310 in the @xmath121 channel .
both ond schemes with and without alternate relaying are compared .
, scaledwidth=57.0% ]     when @xmath299 and @xmath310 in the @xmath121 channel . the ond scheme with alternate relaying and the max - min snr scheme
are compared .
, scaledwidth=57.0% ]    figure  [ fig:3 ] illustrates the achievable sum - rates of the @xmath121 channel for the ond schemes with and without alternate relaying versus @xmath305 ( in db scale ) when @xmath299 and @xmath311 .
we can see that in a finite @xmath2 regime , there exists the case where the ond without alternate relaying outperforms that of the ond with alternate relaying .
this is because for finite @xmath2 , the achievable sum - rates for the alternate relaying case tend to approach a floor with increasing snr faster than no alternate relaying case due to more residual interference in each dimension .
we can also see that the crossing points slightly move to the right as @xmath2 increases ; this is due to the fact that our ond scheme with alternate relaying always benefits from having more relays for selection , thus resulting in more multiuser diversity gain .
this highly motivates us to operate our system in a switched fashion when the relay selection scheme is chosen between the ond schemes with and without alternate relaying depending on the operating regime of our system .    to further ascertain the efficacy of our scheme ,
a performance comparison is performed with a baseline scheduling .
specifically , in the _ max - min snr _ scheme , each s  d pair selects one relay @xmath16 ( @xmath20 ) such that the minimum out of the desired channel gains of two communication links ( either from @xmath14 to @xmath16 or from @xmath16 to @xmath15 ) becomes the maximum among the associated minimum channel gains over all the unselected relays .
this max - min snr scheme is well - suited for relay - aided systems if interfering links are absent .
the achievable sum - rates are illustrated in fig .
[ fig:4 ] according to @xmath305 ( in db scale ) when @xmath299 and @xmath310 .
we can see that our ond scheme with alternate relaying outperforms this baseline scheme beyond a certain low snr point .
we also see that the rate gaps increase when @xmath2 increases in the high snr regime . on the other hand , for fixed @xmath2 ,
the sum - rates of the max - min scheme are slightly changed with respect to @xmath305 due to more residual interference in each dimension .
an efficient distributed ond protocol operating in virtual full - duplex mode was proposed for the @xmath0 channel with interfering relays , referred to as one of multi - source interfering relay networks . a novel relay scheduling strategy with alternate half - duplex relaying
was presented in two - hop environments , where a subset of relays is opportunistically selected in terms of producing the minimum total interference level , thereby resulting in network decoupling .
it was shown that the ond protocol asymptotically achieves full dof even in the presence of inter - relay interference and half - duplex assumption , provided that the number of relays , @xmath2 , scales faster than @xmath7 .
numerical evaluation was also shown to verify that our scheme outperforms the other relay selection methods under realistic network conditions ( e.g. , finite @xmath2 and snr ) with respect to sum - rates .
i. shomorony and a. s. avestimehr ,  degrees of freedom of two - hop wireless networks :  everyone gets the entire cake `` , '' in _ proc .
50th annual allerton conf .
control , and computing _ , monticello , il , oct .
t. gou , c. wang , and s. a. jafar ,  aligned interference neutralization and the degrees of freedom of the @xmath5 interference channel with interfering relays , " in _ proc .
49th annual allerton conf .
commun . , control , and computing _ , monticello , il , sep .
t. gou , c. wang , and s. a. jafar ,  degrees of freedom of a class of non - layered two unicast wireless networks , " in _ proc .
45th asilomar conf .
signals , systems and computers _ , pacific grove , ca , nov . 2011 .
h.  j. yang , w .- y .
shin , b.  c. jung , and a.  paulraj , `` opportunistic interference alignment for mimo interfering multiple access channels , '' _ ieee trans .
wireless commun .
_ , vol .  12 , no .  5 , pp . 21802192 , may 2013 .
h.  j. yang , w .- y .
shin , b.  c. jung , c.  suh , and a.  paulraj , `` opportunistic downlink interference alignment , '' in _ proc .
inf . theory ( isit ) _ , honolulu , hi , jun./jul .
2014 , pp . 15881592 .        c. shen and m. p. fitz ,
 opportunistic spatial orthogonalization and its application to fading cognitive radio networks , " , vol . 5 , no .
1 , pp . 182189 , feb . 2011 . t. w. ban , w. choi , b. c. jung , and d. k. sung ,  multi - user diversity in a spectrum sharing system , " , vol .
1 , pp . 102106 , jan .
2009 .
r. zhang and y. c. liang ,  exploiting multi - antennas for opportunistic spectrum sharing in cognitive radio networks , " , vol .
1 , pp . 88102 , feb . 2008 .
y. fan , c. wang , j. thompson , and h. v. poor ,  recovering multiplexing loss through successive relaying using repetition coding , " , vol . 6 , no . 12 , pp .
44844493 , dec . 2007 .
shin , h. j. yang , and b. c. jung ,  opportunistic network decoupling in multi - source interfering relay networks , " in _ proc . ieee conf . commun . ( icc ) _ , sydney , australia , jun .
2014 , pp . 26712676 .


models with more than four dimensions are interesting , because all the physical ingredients of the universe might be unified in a higher dimensional theory . string theory is the most promising scenario where quantum gravity is included by the requirement of additional dimensions and supersymmetry .
the idea of large extra dimension@xcite is important , because it might solve the hierarchy problem . in this case , the observed planck mass is obtained by the relation @xmath0 , where @xmath1 and @xmath2 denote the fundamental scale of gravity and the volume of the @xmath3-dimensional compact space , respectively . in the scenarios of large extra dimension ,
fields in the standard model are expected to be localized on a wall - like structure , while the graviton propagates in the bulk . in the context of string theory , a natural embedding of this picture is realized by brane construction .
the brane models are interesting from both phenomenogical and cosmological viewpoints .
analyses of cosmological defect formation are important in brane models as well as in usual cosmological models .
one may consider three types of brane defects .
* defects are branes .
+ in this case , cosmological defects are formed by the branes that have less than three spacial dimensions in the uncompactified spacetime . in the previous discussions ,
it was concluded that the cosmological production of monopoles and domain walls are negligible . in this paper , however , we reconsider the cosmological formation of monopoles and domain walls and show explicitly how they can be formed by the brane dynamics .
* defects are formed by the spatial deformation of branes .
+ in this case , cosmological defects are formed by the continuous deformation of branes . first in ref.@xcite , and later in ref.@xcite , the fields that parameterize the positions of the branes
are shown to fluctuate in spatial directions to form the cosmological defects .
cosmic strings are constructed in ref.@xcite , where the singularity is resolve by smearing the brane .
monopoles , strings and domain walls are discussed in @xcite , where the relative positions between branes are utilized . *
the center of the localized matter fields are shifted in the defect .
+ in ref.@xcite , the localization of the matter fields on a fat domain wall is discussed to explain the small interactions .
this idea is important when the suppression factor is required in the interaction , so that it does not violate the constraints from the proton lifetime . in ref.@xcite
, we have constructed defect configurations , which induce the shift of the center of the localized matter fields .
these defects are used to produce the baryon asymmetry of the universe@xcite .    in this paper
, we reconsider the cosmological formation of brane defects , which are described by branes which have less than three spacial dimensions in the uncompactified space . in our model , the defect branes are extended between branes .
we will also consider a cosmological brane creation induced by the excitation of a sphaleron - like brane configuration .
first we will review the essence of the previous arguments about the cosmological formation of brane defects . in the original scenario of brane inflation@xcite
, inflationary expansion is driven by the potential between d - brane and anti - d - brane evolving in the bulk .
then the scenario of the inflating branes at a fixed angle is studied in ref.@xcite , where the slow - roll condition is improved by introducing a small angle .
the end of brane inflation is induced by the brane collision where brane annihilation ( or recombination ) proceeds through tachyon condensation@xcite . during brane inflation ,
tachyon is trapped in the false vacuum , which may result in the formation of lower - dimensional branes after brane inflation .
the production of cosmological brane defects was discussed in ref.@xcite , where it was concluded that cosmic strings are copiously produced in these scenarios , but monopoles and domain walls are negligible . in ref.@xcite , however , it was discussed that all kinds of defects are produced , and the conventional problems of domain walls and monopoles arise . later in ref.@xcite ,
the formation of cosmological defects was reexamined and the conclusion was different from @xcite and @xcite . as was noted in ref.@xcite , the effect of compactification is significant for the defect formation , if it is induced by tachyon condensation after brane inflation . since the compactification radius must be small compared to the horizon size during inflation , any variation of a field in the compactified direction is suppressed .
then the daughter brane , which is the defect formed by tachyon condensation on the worldvolume of the mother brane , wraps the same compactified space as the mother brane . as a result , the codimension of the daughter brane should lie within the uncompactified space . since the number of the codimension must be
even , the cosmological defect is inevitably a cosmic string . in ref.@xcite
, it was discussed that the analysis does not fully account for the effects of compactification , because the directions transverse to the mother brane had not been considered . in ref.@xcite , the effect of the rr fields , which are extended to the compactified dimensions , were discussed .
their conclusion was that the creation of the gradients of the rr fields in the bulk of the compactified space is costly in energy , so that the creation of the daughter d brane is suppressed if they do not fill all the compactified dimensions .    here
it should be noted that the above arguments are not fully reliable .
the most obvious example is the inconsistency of the tension of strings produced after angled brane inflation . in the original argument in ref.@xcite ,
the @xmath4-dependence of the tension of the string did not coincide with the one calculated from the effective lagrangian .
what is wrong with the above arguments ?
the reason is clearly described in ref.@xcite . in the original argument of ref.@xcite , it was discussed that the daughter branes are created on the mother brane .
in fact the statement is true , but we should be more careful about the process of the brane recombination .
when the distance between the mother branes becomes shorter than a critical distance , tachyon starts to condensate on a mother brane .
therefore the tachyon forms strings on the mother brane when the mother branes start to recombine .
however , as we have depicted in fig.[fig : split ] , the daughter @xmath5-brane must be pulled out of the @xmath6-branes . as a result
, the daughter @xmath5 brane does not wrap the same compactified space as the mother brane .
the tension of the cosmic string is calculated in ref.@xcite , which depends on @xmath4 and matches to the effective action .
therefore , the daughter brane in fig.[fig : split ] satisfies the property required from analysis of the effective lagrangian .
thus for the angled inflation model , it is obvious that the cosmic string does not wrap the same compactified space as the mother brane . from the above discussions , it is appearent that the original argument of ref.@xcite fails because there is no obvious reason that in their final state the daughter branes wrap the same compactified space as the mother brane . the idea , which supports the formation of daughter branes that are extended between mother branes , is quite important for our discussions in this paper .
since the previous arguments can not fully account for the generic processes of cosmological defect formation , one can hardly accept their conclusions without reconsiding the production of monopoles and domain walls paying careful attention to the brane dynamics .
is it really impossible to produce sufficient amount of cosmological monopoles and domain walls by the branes ? as we have discussed in ref.@xcite , crucial modifications are required for the previous arguments , since it is possible to produce daughter branes that do not wrap the same compactified space as the mother brane . in this paper
we will reconsider the formation of cosmological monopoles and domain walls by using the new idea .
for the extended branes to be produced between mother branes , the distance between mother branes are required to vanish at a moment .
the obvious examples are ;    * recombination after angled brane inflation .
+ at the time when the recombination starts after angled brane inflation , the distance between branes vanishes as required .
thus , daughter branes can be pulled out of splitting branes , which finally become the cosmological defect in the effective action . as a result ,
the cosmological defect in the effective action is the brane extended between mother branes .
two examples are already discussed in ref.@xcite and ref.@xcite , where the formation of cosmic strings are considered . *
two branes coincide during inflation .
+ in the effective action , the brane distance plays the role of a trigger field of hybrid inflation .
this type of brane inflation is already discussed in ref.@xcite and ref.@xcite , in which the formation of unstable semilocal strings are suggested . in this paper , using the model in ref.@xcite , we will show that a point - like object that corresponds to a monopole in the effective action can be produced as a daughter @xmath7 brane .
the daughter @xmath7 brane is extended between @xmath8 branes .
we calculate the tension of the extended object and show that it coincides with the mass of a monopole in the effective action . * branes collide or oscillate with huge kinetic energy .
+ after brane collision , there would be chaotic processes , which include oscillation , recombination and production / annihilation of branes .
therefore , it seems natural to expect that there could be a stage of preheating after inflation , which induce large occupation numbers for long - wavelength configurations that is necessary for the domain wall production from sphalerons .
then , extended objects could be formed efficiently between oscillating branes . as usual , these non - equilibrium processes are always important for the discussions about cosmological defect formation . as in the case of the conventional electroweak phase transition
, we do not exclude the possibility that the final state of the oscillating branes are separated at a distance , which implies a spontaneous symmetry breaking in the effective lagrangian .
the defect branes could be created by the tachyon condensation on the mother brane , or could have been existed from the beginning and have been dissolved in the mother brane . in section 2 , we consider the model of brane inflation in ref.@xcite and study the cosmological formation of monopoles after brane inflation . in section 3 , we discuss the formation of cosmological domain walls .
as expected , there are notable differences between the previous arguments and our conclusions .
the cosmological formation of monopoles and domain walls are not always negligible in models of brane cosmology .
our results are consistent with the analyses of the effective action .
in this section , we discuss the formation of monopoles in a specific example of brane inflation .
we first repeat the previous arguments in ref.@xcite , which suggest that monopoles are not produced by the usual daughter brane creation after inflation . as is noted in ref.@xcite ,
the effect of compactification is significant for the daughter brane creation . since the compactification radius is small compared to the horizon size during inflation , any variation of a field in the compactified direction
is suppressed . as a result , the daughter brane wraps the same compactified dimensions as the mother brane .
the codimension of the daughter branes should lie within the uncompactified space , which suggests that the defect is inevitably a cosmic string . seeing the above arguments
, one might conclude that the monopoles are not produced after brane inflation .
is the production of monopoles really impossible ? to answer this question , we consider a simple example where monopoles are produced by the daughter brane creation after brane inflation . to avoid the ambiguity of the brane products , we consider a model in which the daughter brane formation is described without such ambiguity .
the schematic representation of our idea is given in fig.[fig : monopole ] .
the typical configuration of fig.[fig : monopole ] will also appear in generic cosmological processes where branes collide , recombine or stick together by thermal effects .    in any case , if the production of monopoles or domain walls is suggested in the analysis of the effective action , it is natural to think that it should be possible to explain how they can be formed by the cosmological brane dynamics .
moreover , even if the production of such defects is not suggested in the effective action , they might be produced by the pure brane dynamics beyond the cut - off scale of the effective action .
first we make a brief review of the halyo s idea for brane inflation on conifolds@xcite .
the important aspect of this scenario is that the location of the inflating branes coincide at the end of inflation , then the branes separate along the @xmath9 compactified space .
the model is described as a d - brane inflation on fractional @xmath7 branes transverse to a resolved and deformed conifold .
the d - term inflation is induced by the conifold that is resolved by the blow - up of its tip . in the effective action
, the model looks like a model of hybrid d - term inflation .
the slow roll is described by the slow motion of the two fractional @xmath7 branes approaching each other along a compactified direction , and the trigger field parameterizes the distance between the two branes along the other compactified space in the base of the conifold .
for example , one can consider a conifold that is described as a cone over @xmath10 , where a @xmath7 brane , which is transverse to the conifold , is separated into two fractional d3 branes on the @xmath11 .
the conifofd singularity is resolved by replacing the tip of the cone with an @xmath9 of finite size , which induces inflation .
the inflaton mass arises from another deformation of the conifold towards @xmath12 and results in a slow motion of the two fractional branes towards each other .
as we are not interested in the parameter space of inflation itself , we spare the discussions about the condition for successful inflation . for us ,
the important point is to understand the formation of daughter branes after inflation , which finally become extended between the separating mother branes . as was already discussed in ref.@xcite , one usually expect that the cosmic strings , which has codimension 2 in the uncompactified space , are formed after inflation .
if the inflating @xmath7 brane is a @xmath8 brane wrapped on the @xmath13 with radius @xmath14 , the tension of the @xmath7 brane is @xmath15 where @xmath16 and @xmath17 are the @xmath13 metric and ns - ns field on the @xmath13 respectively .
taking @xmath18 for simplicity , one can find @xmath19 the tension of the inflating @xmath7 brane must be equal to the energy density during inflation , which corresponds to the anomalous d - term in the effective lagrangian . thus in this case
, the relation @xmath20 is required , where @xmath21 is the gauge coupling in the effective action .
the cosmic strings are produced by tachyon condensation , which are the daughter @xmath7 branes on the worldvolume of the inflation brane .
the daughter brane wraps around the same compactified space as the mother brane . in this case
, however , the symmetry of the corresponding field in the effective action allows only semilocal strings , which is unstable to dissolve in space , as is expected from the brane dynamics .
let us consider a configuration of fig.[fig : monopole ] . if the seed of the daughter brane fluctuate between the two coincidental mother branes , it will be pulled out of the mother branes .
the branes that are extended between mother branes are point - like objects in the effective action on the mother brane .
it is easy to calculate the tension of such daughter branes and compare it with the mass of the monopoles in the effective action .
string ending on a @xmath7 brane provides a magnetic source for the three - brane worldvolume gauge field .
our example is a simple modification of the scenario .
however , it was still unclear if such extended branes are produced after brane inflation .
as we have repeated above , the previous arguments were negative to the cosmological production of such monopoles . ] in the final state of brane inflation , two branes are separated at a distance of @xmath22 .
the effective mass of the extended daughter brane is @xmath23 where the gauge coupling is given by the formula @xmath24 it is easy to see that the mass of the extended daughter brane coincides with the mass of the monopole in the effective action@xcite .
we can extend the above analysis to the cases where more than two branes are oscillating around each other ( or stick together by the thermal effects ) and then fall apart along a direction of the compactified space . in this case , one can construct @xmath25 monopoles , which are the daughter branes extended between @xmath26 mother branes .
a schematic representation is given in fig.[fig : monopole_n ] .
seeing the above arguments , we can not help thinking about the m theory fivebrane version of qcd ( mqcd ) , where the quantum effects are explained by the brane dynamics . in the most basic model of mqcd , which is depicted in fig.[fig : mqcdmonopole ] , a monopole in type iia string theory@xcite is a rectangular @xmath27 brane with two boundaries on @xmath28 branes and other two on ns brane .
the mass of such monopole is proportional to the minimal area of the hole between the branes . in realistic models ,
such brane configuration is expected to be embedded in the compactified space .
is the cosmological formation of the @xmath27 monopoles impossible ? in this case , the following conditions are required for the production of the @xmath27 brane monopoles .
* there was a period when the two @xmath28 branes coincide .
* @xmath27 brane is created on the worldvolume of the @xmath28 brane .
when the area shrinks to zero , the monopole becomes the massless excitation .
the @xmath27 brane is produced on the worldvolume of the @xmath28 branes , due to the usual mechanism of tachyon condensation . in fig.[fig : monopoled2 ] , we show why the @xmath27 brane can be extended between the separating @xmath28 branes . as usual , the daughter brane does not fluctuate in any direction of the compactified space , while it fluctuate in the uncompactified directions . as a result ,
the @xmath27 monopoles are formed when the @xmath28 branes start to fall apart .
the most natural situation is that the symmetry restoration is induced by the thermal effects , which break supersymmetry and glue branes together . in the effective action , the restoration of the symmetry is naturally induced by the thermal effects .
the repulsive force between the two @xmath28 branes are induced by the usual supersymmetry breaking .
the non - equilibrium production of such monopoles is possible during brane oscillation .
the massless monopoles gain mass when the branes start to fall apart .    as a result
, we conclude that the production of monopoles after brane inflation is quite natural , even if the monopoles are the daughter branes created by the usual mechanism of tachyon condensation .
in the previous arguments in ref.@xcite , it was concluded that the formation of cosmological domain walls are always negligible after brane inflation , because the daughter branes must wrap the same compactified space as the mother brane .
is it impossible to produce daughter branes that do not wrap the same compactified space as the mother brane ?
first , we repeat the previous discussions , which suggest that the cosmological formation of domain walls is forbidden . as is discussed in ref.@xcite and @xcite ,
the effect of compactification is believed to play significant roles in the defect formation due to tachyon condensation . since the compactification radius should be small compared to the horizon size during inflation , any variation of a field in the compactified direction
must be suppressed . as a result
, the daughter brane will wrap the same compactified space as the mother brane . at the same time , since the codimension of the daughter branes should lie within the uncompactified space , the defect is inevitably a cosmic string . on the other hand , as we have discussed in ref.@xcite for cosmic strings and in the previous section for monopoles ,
it is possible to produce daughter branes that are extended between branes , which correspond to the d - term strings or monopoles in the effective action . as we have seen in the previous section , efficient production of such monopoles
is allowed in generic situations . for cosmic strings ,
the idea of the extended daughter brane formation was used to solve the problem of the angle - dependence of the string tension in the scenario of angled brane inflation@xcite .
the cosmological formation of the extended branes plays important roles in the analyses of strings and monopoles .
finally , we will examine the formation of cosmological domain walls .
our purpose in this section is to examine the cosmological formation of domain walls .
actually , it is possible to show an example of the domain wall formation , although this example is not a pure creation of branes induced by the tachyon condensation on the mother brane .
please imagine that two coincident 5-branes are placed on top of each other . both of them have four space - time dimensions(uncompactified ) and also wrap two - dimensional compactified space .
these 5-branes look like 3-branes in the limit where the wrapped space is very small .
let us assume that after a phase transition these two 5-brnes finally fall apart to the true vacuum .    in this case
, it is possible to add an additional 3-brane by hand , which does not wrap the same compactified space as the above 5-branes . in this case
, one can assume that the latter 3-brane is not produced by the tachyon condensation on the 5-brane , but could be present from the beginning .
the latter 3-brane have four ( uncompactified ) space - time dimensions , and dissolves in the 5-branes .
then , it is quite natural to think that the additional 3-brane sticks to either 5-brane when the 5-branes finally fall apart .
then there appears two kinds of domains in the universe , depending on which 5-brane the additional 3-brane sticks to . since the domain walls can not interact across the scale much larger than the hubble radius , one can expect that at least one domain wall is produced in one huble horizon .
the resulting domain wall is the 3-brane extended between the 5-branes .
we can discuss brane creation from brane sphalerons .
as far as the effective action is applicable , it seems possible to create new branes that do not wrap the same compactified radius as the mother brane , even if it is initially created on the worldvolume of the mother brane .
our second example for the formation of cosmological domain walls is the domain walls produced by the excitation of sphaleron - like brane configuration@xcite .
brane could have their boundaries on the mother @xmath29 branes . ]
the most obvious difference from the scenario of tachyon condensation is that the sphaleron - like configuration is not required to wrap the same compactified space as the mother brane , even when they are first created on the worldvolume of the mother brane . in this case , for example , cosmological domain walls can be the @xmath7 branes extended between @xmath8 branes .
the schematic picture of the domain wall is given in fig.[fig : sphaleron1 ] . if there is a non - equilibrium process that enhances the long - wavelength configurations of the sphalerons
, the efficient production of the sphaleron excitations will happen .
then the sphaleron - like branes will recombine , as is shown in fig.[fig : sphaleron2 ] .
although the production of massive sphalerons is suppressed by an exponential factor in conventional thermal processes , the production of sphalerons are not suppressed in non - equilibrium processes such as preheating after inflation .
thus , the extended branes that are formed by the sphaleron - like excitations could be produced if there was a period when the long - wavelength configurations of the sphalerons are enhanced . in this case
, one can not ignore the production of domain walls .
the period when branes oscillate is inevitable in generic cosmological models , as we have discussed in the previous section . since the conventional electroweak sphaleron is quite similar to the sphaleron - like brane configuration in the effective action , we start the discussion comparing the electroweak sphalerons to the brane - sphalerons .
first , we briefly review the sphaleron interaction in the electroweak gauge theory . at zero temperature ,
the rate per unit volume of baryon number violating processes is exponentially suppressed by the factor @xmath30 in the high temperature , however , the baryon number violating processes that are mediated by sphalerons are not exponentially suppressed@xcite .
the sphalerons have typically the sizes given by the magnetic correlation length @xmath31 in this case , one may think that the space is divided up into cells of this size , although these massless sphalerons look nothing like sphalerons because the `` barrier '' does not make sense when the symmetry is restored by the thermal effects .
there is another idea for the sphaleron production@xcite , where the non - equilibrium sphaleron transition is used to explain the baryon asymmetry of the universe .    for the brane dynamics ,
sphaleron - like brane configuration is discussed in ref.@xcite .
the configuration is described by an appropriate excitation of the transverse coordinate field , which corresponds to the higgs expectation value in the discussion of the electroweak sphalerons .
here we do not repeat the analysis in ref.@xcite , because the analogy comparing the sphaleron - like brane configuration to the electroweak sphaleron seems appropriate and sufficient for qualitative discussions , as far as the effective action is applicable .
the sphaleron - like brane configuration is excited when the following conditions are satisfied .
* more than two branes coincide during inflation .
+ after inflation , the branes fall apart toward the true vacuum configuration .
in the effective action , this corresponds to the symmetry restoration during hybrid inflation .
* brane inflation ends with brane collision .
+ if the brane collision is accompanied by the brane oscillation , sphaleron - like branes will be produced during this period . in the effective action
, this corresponds to the non - equilibrium sphaleron production , which is discussed in ref.@xcite .
* symmetry restoration is induced by the thermal effects . + spontaneous breaking of the symmetry in the effective action is explained by brane separation or brane recombination .
sphalerons are excited when they are massless .
sphalerons - like brane configuration is expanded between mother branes and obtains mass when the mother branes fall apart .    in general
, one can not simply ignore the production of the sphaleron - like brane configurations , irrespective of their stability .
even if there was no non - equilibrium processes that makes the sphalerons form stable global structure of massive domain wall networks , there is a possibility that unstable defects ( and their decay products ) play important roles in the evolution of the universe .
is unstable , because it must shrink to a point as it obtains mass .
however , in the special cases that multiple sphalerons are produced at the same time within the same horizon , multiple sphalerons will recombine into larger or smaller cells , as is depicted in fig.[fig : sphaleron2 ] .
of course , it is not trivial if the sphalerons could interact each other to form the significant global structure of the domain wall networks
. if the correlation length is short , sphalerons are small even if they are massless .
if the nucleation rate of the sphalerons is too small to make them interact each other to form larger structure of the domain wall networks , sphalerons must shrink to a point after the phase transition . in this case , sphalerons can not become stable domain walls .
therefore , it is required that a non - trivial mechanism that enhances the correlation length(or the nucleation rate of the sphalerons ) so that the sphalerons interact each other to seed the domain walls . in the scenario of preheating
, the domain wall formation is already convinced by simulation . in the dynamics of brane sphalerons ,
the brane distance is corresponding to the higgs field . in this respect ,
the domain wall formation is likely to occur in the brane - motivated models , when some conditions are satisfied . as a result ,
it is important to note that one can not simply ignore the domain wall production after brane inflation . ] in ref.@xcite , we have discussed the formation of the domain walls , which are induced by the spatial deformation of the @xmath28 branes .
the domain walls formed by the spatial deformation of the branes are , at least in principle , different from the ones that are formed by the brane creation . however , since the cosmological requirement for their formation is the same@xcite , the actual cosmological defects are inevitably the mixture of the two different kinds of brane defects .
it was believed that monopoles and domain walls can not be produced by the daughter brane creation after brane inflation , because the daughter brane must wrap the same compactified space as the mother brane . as we have discussed in this paper , the above statement is not fully reliable . in the final state ,
daughter branes are not always expected to wrap the same compactified space as the mother brane .
the most obvious example is found in the discussion about the inconsistency of the tension of the strings produced after angled brane inflation . in the original argument in ref.@xcite ,
the @xmath4-dependence of the tension of the string did not coincide with the the analysis of the effective lagrangian . in the original argument@xcite
, it was discussed that the daughter branes are created on the mother brane .
in fact the statement is true , but we should be more careful about the process of the brane recombination . when the distance between the mother branes becomes shorter than a critical distance , tachyon starts to condensate on a mother brane .
therefore the tachyon forms strings on the mother brane and wraps the same compactified space as the mother brane .
however , as we have depicted in fig.[fig : split ] , the daughter brane must be pulled out if there was a recombination of the mother branes . as a result
, the daughter brane does not wrap the same compactified space as the mother brane .
thus for the angled inflation model , the cosmic strings can depend on @xmath4 , which is the property required from analysis of the effective lagrangian .
therefore the original argument of ref.@xcite fails because there is no obvious reason that in their final state the daughter branes wrap the same compactified space as the mother brane .    in this paper , we have reconsidered the production of monopoles and domain walls , paying special attention to the brane dynamics . as a result , we have found that monopoles are produced by daughter brane creation .
we have also suggested that domain walls could be produced by sphaleron - like brane creation if there is an enhancement of long - wavelength configurations of the brane - sphalerons .
our conclusions are consistent with the analyses of the effective action
.    another type of brane defects@xcite , which are formed by the deformation of branes , can also be produced by the same cosmological processes .
therefore , the actual cosmological relics are the mixture of the two kinds
. arguments about the evolution of the mixed brane defects are interesting and deserve further investigation .
we wish to thank k.shima for encouragement , and our colleagues in tokyo university for their kind hospitality
.    1 i. antoniadis , n. a - hamed , s. dimopoulos , and g. r. dvali , _ new dimensions at a millimeter to a fermi and superstrings at a tev , phys.lett.b436(1998)257_ [ hep - ph/9804398 ] ; i. antoniadis , _ a possible new dimension at a few tev , phys.lett.b246(1990)377_ ; n. a - hamed , s. dimopoulos and g. r. dvali , _ the hierarchy problem and new dimensions at a millimeter , phys.lett.b429(1998)263_ [ hep - ph/9803315 ] .
n. arkani - hamed , s. dimopoulos , n. kaloper , and j. march - russell , _ rapid asymmetric inflation and early cosmology in theories with submillimeter dimensions , nucl.phys.b567(2000)189_ [ hep - ph/9903224 ] ; r. n. mohapatra , a. perez - lorenzana , and c. a. de s. pires , _ inflation in models with large extra dimensions driven by a bulk scalar field , phys.rev.d62(2000)105030_ [ hep - ph/0003089 ] ; a. mazumdar , _ extra dimensions and inflation , phys.lett.b469(1999)55_ [ hep - ph/9902381 ] ; a. m. green and a. mazumdar , _ dynamics of a large extra dimension inspired hybrid inflation model , phys.rev.d65(2002)105022_ [ hep - ph/0201209 ] ; d. h. lyth , _ inflation with tev scale gravity needs supersymmetry , phys.lett.b448(1999)191_ [ hep - ph/9810320 ] ; p. kanti and k. a. olive , _ on the realization of assisted inflation , phys.rev.d60(1999)043502_ [ hep - ph/9903524 ] ; p. kanti and k. a. olive , _ assisted chaotic inflation in higher dimensional theories , phys.lett.b464(1999)192_ [ hep - ph/9906331 ] ; t. matsuda , _ kaluza - klein modes in hybrid inflation , phys.rev.d66(2002)107301_ [ hep - ph/0209214 ] ; t. matsuda , _ successful d term inflation with moduli , phys.lett.b423(1998)35_ [ hep - ph/9705448 ] . t. matsuda , _ topological hybrid inflation in brane world , jcap 0306(2003)007 _ [ hep - ph/0302204 ] ; t. matsuda , _ q ball inflation , phys.rev.d68(2003)127302_ [ hep - ph/0309339 ] .
g. r. dvali , g. gabadadze , _ nonconservation of global charges in the brane universe and baryogenesis , phys.lett.b460(1999)47_ [ hep - ph/9904221 ] ; a. masiero , m. peloso , l. sorbo , and r. tabbash , _ baryogenesis versus proton stability in theories with extra dimensions , phys.rev.d62(2000)063515_ [ hep - ph/0003312 ] ; a. pilaftsis , _ leptogenesis in theories with large extra dimensions , phys.rev.d60(1999)105023_ [ hep - ph/9906265 ] ; r. allahverdi , k. enqvist , a. mazumdar and a. perez - lorenzana , _ baryogenesis in theories with large extra spatial dimensions , nucl.phys . b618(2001)377 _ [ hep - ph/0108225 ] ; s. davidson , m. losada , and a. riotto , _ a new perspective on baryogenesis , phys.rev.lett.84(2000)4284_ [ hep - ph/0001301 ] .
t. matsuda , _ activated sphalerons and large extra dimensions , phys.rev.d66(2002)047301_ [ hep - ph/0205331 ] ; t. matsuda , _ defect mediated electroweak baryogenesis and hierarchy , j.phys.g27(2001)l103_ [ hep - ph/0102040 ] . t. matsuda , _
hybridized affleck - dine baryogenesis , phys.rev.d67(2003)127302_ [ hep - ph/0303132 ] ; t. matsuda , _ affleck - dine baryogenesis after thermal brane inflation , phys.rev.d65(2002)103501_ [ hep - ph/0202209 ] ; t. matsuda , _ affleck - dine baryogenesis in the local domain , phys.rev.d65(2002)103502_ [ hep - ph/0202211 ] ; t. matsuda , _ electroweak baryogenesis mediated by locally supersymmetry breaking defects , phys.rev.d64(2001)083512_ [ hep - ph/0107314 ] . t. matsuda , _ brane q - ball , branonium and brane inflation _ [ hep - ph/0402223 ] .
t. matsuda , _ formation of cosmological brane defects _ [ hep - ph/0402232 ] .
g. r. dvali , i. i. kogan and m. a. shifman , _ topological effects in our brane world from extra dimensions , phys.rev.d62(2000)106001_ [ hep - th/0006213 ] .
t. matsuda , _
incidental brane defects , jhep 0309(2003)064 _ [ hep - th/0309266 ] .
n.arkani-hamed , m.schmaltz , _ hierarchies without symmetries from extra dimensions , phys.rev.d61(2000)033005_ [ hep - ph/9903417 ] .
t. matsuda , _ baryon number violation , baryogenesis and defects with extra dimensions , phys.rev.d66(2002)023508_ [ hep - ph/0204307 ] ; t. matsuda , _ enhanced baryon number violation due to cosmological defects with localized fermions along extra dimensions , phys.rev.d65(2002)107302_ [ hep - ph/0202258 ] .
g. r. dvali and s. h. henry tye _
brane inflation , phys.lett.b450(1999)72_ [ hep - ph/9812483 ] . c. herdeiro , s. hirano and r. kallosh , _ string theory and hybrid inflation / acceleration , jhep0112(2001)027 _ [ hep - th/0110271 ] ; k. dasgupta , c. herdeiro , s. hirano and r. kallosh , _
d3 / d7 inflationary model and m theory , phys.rev.d65(2002)126002_ [ hep - th/0203019 ] , j. garcia - bellido , r. rabadan and f. zamora , _ inflationary scenarios from branes at angles , jhep 0201(2002)036 _ [ hep - th/0112147 ] .
a. sen , _ rolling tachyon , jhep 0204(2002)048 _ [ hep - th/0203211 ] ; a. mazumdar , s. panda and a. perez - lorenzana , _ assisted inflation via tachyon condensation , nucl.phys.b614(2001)101_ [ hep - ph/0107058 ] .
t. matsuda , _ f term , d term and hybrid brane inflation , jcap 0311(2003)003 _ [ hep - ph/0302078 ] ; t. matsuda , _ nontachyonic brane inflation , phys.rev.d67(2003)083519_ [ hep - ph/0302035 ] t. matsuda , _ thermal hybrid inflation in brane world , phys.rev.d68(2003)047702_ [ hep - ph/0302253 ] .
n. jones , h. stoica , and s. h. h. tye , _ brane interaction as the origin of inflation , jhep 0207(2002)051 _ [ hep - th/0203163 ] ; s. sarangi , s. h. h. tye , _ cosmic string production towards the end of brane inflation , phys.lett.b536(2002)185_ [ hep - th/0204074 ] ; l. pogosian , s. h. h. tye , i. wasserman and m. wyman , _ observational constraints on cosmic string production during brane inflation , phys.rev.d68(2003)023506_ [ hep - th/0304188 ] ; m. gomez - reino and i. zavala , _ recombination of intersecting d - branes and cosmological inflation , jhep0209(2002)020 _ [ hep - th/0207278 ] . m. majumdar and a. christine - davis , _ cosmological creation of d - branes and anti - d - branes , jhep 0203(2002)056 _ [ hep - th/0202148 ] . g. dvali and a. vilenkin , _ formation and evolution of cosmic d strings _ [ hep - th/0312007 ] .
e j. copeland , r. c. myers and j. polchinski , _ cosmic f and d strings _ [ hep - th/0312067 ] .
e. halyo , _ cosmic d term strings as wrapped d3 branes _ [ hep - th/0312268 ] .
p. binetruy , g. dvali , r. kallosh , a. van proeyen , _ fayet - iliopoulos terms in supergravity and cosmology _ [ hep - th/0402046 ] . t. matsuda , _ string production after angled brane inflation , to appear in prd _ [ hep - ph/0403092 ] .
e. halyo , _ d - brane inflation on conifolds _ [ hep - th/0402155 ] ; e. halyo , _ inflation on fractional branes : d - brane inflation as d term inflation _ [ hep - th/0312042 ] ; e. halyo , _ models of inflation on d - branes _ [ hep - th/0307223 ] .
dvali , _ infrared hierarchy , thermal brane inflation and superstrings as superheavy dark matter ,
phys.lett.b459(1999)489_ [ hep - ph/9905204 ] . g. aldazabal , s. franco , l. e. ibanez , r. rabadan , a.m. uranga , _ intersecting brane worlds , jhep 0102(2001)047 _ [ hep - ph/0011132 ] ; r. blumenhagen , d. lust , s. stieberger , _ gauge unification in supersymmetric intersecting brane worlds , jhep 0307(2003)036 _ [ hep - th/0305146 ] ; i. r. klebanov , e. witten , _ proton decay in intersecting d - brane models , nucl.phys.b664(2003)3-20_ [ hep - th/0304079 ] ; m. cvetic , p. langacker , j. wang , _ dynamical supersymmetry breaking in standard - like models with intersecting d6-branes , nucl.phys.b642(2002)139_ [ hep - th/0303208 ] ; m. cvetic , i. papadimitriou , _ more supersymmetric standard - like models from intersecting d6-branes on type iia orientifolds , phys.rev.d67(2003)126006_ [ hep - th/0303197 ] ; s.a .
abel , a.w .
owen , _ interactions in intersecting brane models , nucl.phys.b663(2003)197_ [ hep - th/0310257 ] ; d. bailin , g.v .
kraniotis , a. love , _ standard - like models from intersecting d5-branes , phys.lett.b547(2002)43_ [ hep - th/0210219 ] ; c. f. doran , m. faux , _ intersecting branes in m - theory and chiral matter in four dimensions , jhep 0208(2002)024 _ [ hep - th/0208030 ] ; c. kokorelis , _ exact standard model compactifications from intersecting branes , jhep 0208(2002)036 _ [ hep - th/0206108 ] ; c. kokorelis , _ new standard model vacua from intersecting branes , jhep 0209(2002)029 _ [ hep - th/0205147 ] ; d. cremades , l.e .
ibanez , f. marchesano , _ standard model at intersecting d5-branes : lowering the string scale , nucl.phys.b643(2002)93_ [ hep - th/0205074 ] .
a. giveon and d. kutasov , _ brane dynamics and gauge theory , rev.mod.phys.71(1999)983_ [ hep - th/9802067 ] and references therein .
a. hanany , m. j. strassler and a. zaffaroni , _ confinement and strings in mqcd , nucl.phys.b513(1998)87_
[ hep - th/9707244 ] ; a. hanany , m. j. strassler and a. zaffaroni , _ confinement and strings in mqcd , nucl.phys.b513(1998)87_ [ hep - th/9707244 ] . c. g. callan , jr . and j. m. maldacena , _ brane dynamics from the born - infeld action , nucl.phys.b513(1998)198_ [ hep - th/9708147 ] , k.hashimoto , _ dynamical decay of brane anti - brane and dielectric brane , jhep0207(2002)035_[hep - th/0204203 ] .
see for example , mark trodden , _ electroweak baryogenesis , rev.mod.phys.71(1999)1463_ [ hep - ph/9803479 ] and references therein .
j. garcia - bellido , d. yu .
grigoriev , a. kusenko and m. e. shaposhnikov , _ non - equilibrium electroweak baryogenesis from preheating after inflation , phys.rev.d60(1999)123504_ [ hep - ph/9902449 ] .