it has been suggested by sen  @xcite that the energy gap between unstable d - brane configurations and the stable vacuum should be computable using witten s cubic string field theory ( sft )  @xcite
. the level truncation scheme of  @xcite has appeared to lead to very good agreement with the expected results in the context of the decay of bosonic d - branes  @xcite and unstable d - branes in superstring field theory  @xcite .
lower dimensional d - branes have been constructed as tachyonic lump configurations on bosonic d25-brane  @xcite .
support for sen s conjecture that lower dimensional d - branes can be identified with tachyonic lump solution of string field theory on bosonic d25-brane also has come from the noncommutative limit of the effective field theory  @xcite .
various toy models of tachyon dynamics have been useful tool for understanding the realization of sen s conjectures  @xcite .    despite the success of cubic sft in leading to very good agreement with the expected results , it is still not clear why the calculations in the level - truncated string field theory converge so rapidly to the correct answer for quantities like vacuum energy .
it is also not clear how to study the nonperturbative vacuum using this approach .
an alternative method has been suggested in  @xcite which says that renormalization group ( rg ) analysis of worldsheet theory in first quantized approach can be used to show that the mass of the tachyon lump on a dp - brane is equal to that of a d(p1)-brane .
this leads to the idea that boundary string field theory ( sft ) as was originally proposed by witten and shatashvili  @xcite may efficiently describe open string tachyon condensation on d - branes in bosonic string theory  @xcite ( also see  @xcite .
it has been pointed out in  @xcite that boundary sft can provide an exact verification of sen s conjectures .
based on  @xcite , one can compute the action exactly taking a simplest tachyon profile as boundary operator of ghost number zero which is quadratic in the space - time coordinate .
one can also describe the lumps corresponding to the lower dimensional d - branes and calculate their tension that agrees with the expected result exactly .
one strong point of the results of  @xcite using level truncation scheme in cubic sft is that it gives a definite picture of the tachyon profile as superposition of @xmath2 for different @xmath3 with definite coefficients producing soliton of finite width . on the other hand the boundary sft analysis of  @xcite
does not say how the higher tachyon harmonics get mixed with the cosines of different @xmath3 to produce finite size soliton profile .
the reason for this is that the mass parameter flows to infinity in the ir in their particular choice of coordinates starting with the simple choice of the tachyon profile initially .
this is because the rg equations in that particular choice of coordinates become linear in coupling constants . since the width of the soliton
is given by inverse of the mass parameter which flows to infinity in the exact description , the width is zero .
also it is difficult to see in this setup how the theory at ir fixed point can describe configurations of more than one d - brane .
we should note that although the theory flows to infinity in the ir , the zamolodchikov metric on the space of worldsheet theories measures the distance between the uv and ir fixed point to be finite .    in this paper we will try to address these issues in the worldsheet approach by choosing the initial tachyon profile on a circle on bosonic d25-brane world - volume .
the basic setup is similar to  @xcite .
the choice of boundary perturbation , as we will discuss in the next section , is motivated from the analysis of  @xcite . in our choice of coordinates in the space of worldsheet field theories
the rg analysis provides the boundary conformal field theory to flow to a nearby ir fixed point .
we will consider only the first three tachyon modes .
the values they flow to after rg flow appears to be in good agreement with the values computed in  @xcite of tachyon modes of the string field at the stationary point of the potential .
the plan of the paper is the following . in section 2
we briefly review the worldsheet rg scheme in the context of boundary sft .
we comment on the boundary entropy that measures the corresponding d - brane tension describing the boundary cft .
we highlight the basic setup of  @xcite that leads to a particular choice of the tachyon profile .    in section 3
we perform the rg analysis in detail choosing a particular ansatz for the green s function of fast moving modes of the scalar field .
the rg equations are obtained up to third order in coupling constants .
the easy but tedious parts of the calculations are given in the appendix .
in section 4 we plot the lump profile that appears from the rg analysis of the previous section . following the method of affleck and ludwig  @xcite we calculate the boundary entropy in the leading order .
our result satisfies the @xmath4-theorem of  @xcite .
the boundary entropy is calculated to an accuracy of about @xmath0 of the exact result .
in section 5 we analyse the multicritical behaviour of the potential in the ir and argue that the theory in the ir is that of a configuration of two d24-branes .
we make an analogy with the kondo problem and argue that the process of the formation of the lump due to tachyon condensation corresponds to the underscreened kondo effect .
exact screening occurs when the theory on the brane rolls down to the nonperturbative closed string vacuum .
overscreening , on the other hand leads to a picture similar to dielectric effect .
we comment on @xmath1 symmetry restoration .
section 6 contains discussions on further related issues that are beyond the scope of the paper .
if the spectrum of a point in the moduli space has relevant operators in the ir , the point is said to be unstable .
the unstable point then might be discarded from the moduli space . in other words , this results in the appearance of unstable directions in the effective potential .
ir instability indicates that we are in a _ false _ vacuum
. the obvious question will be which point ( or vacuum ) will replace this unstable point , or in other words , how to resolve the ir instability
.    often regions in moduli space contain d - brane configurations related by t - duality .
the above issue can be addressed in these sectors by adding some ir relevant boundary perturbations .
one important feature of this boundary deformation is that the bulk theory always remain conformal .
flows caused by a relevant boundary operator appear as open string tachyon condensation .
flowing to ir on the worldsheet is equivalent to approaching a classical solution of spacetime theory .    as a result of the flow , at some points in moduli space ,
boundary conditions are changed from neumann to dirichlet .
the reverse process indicates nonunitarity .
the direction of the flow is determined by _ boundary entropy _ defined by  @xcite    g_a = 0|a , the disk partition function of the boundary state @xmath5 associated to the perturbed theory .
the phases of @xmath6 and @xmath5 can be chosen such that the above quantity is real and positive for any boundary state .
it is shown in  @xcite in first order in conformal perturbation theory that boundary entropy , @xmath4 decreases along rg flows , suggesting the so called @xmath4-_theorem _ similar to zamolodchikov s @xmath7-theorem  @xcite . in this context , the case of sine - gordon boundary perturbation with single frequency is studied in  @xcite .
in fact @xmath4 measures the tension of the d - brane that describes boundary conformal field theory at the corresponding fixed point  @xcite ( see also  @xcite ) and the @xmath4-theorem implies the minimization of the action in the space of _ all two - dimensioanal worldsheet field theories_. the worldsheet formulation of string field theory is _ manifestly _ background independent depends on the closed string background . ] . in  @xcite a gauge invariant background independent spacetime string field theory action is defined as the solution of the following equation :    = _ 0 ^ 2_0 ^ 2  _
i()\{q , o( ) } _ , [ seqn ] where @xmath8 is the brst charge and and @xmath9 is the boundary parameter of the disk .
the operator @xmath10 has ghost number one : @xmath11 , where @xmath12 is a general boundary perturbation describing the space of boundary perturbations : @xmath13 .
the normalization constant @xmath14 is fixed in  @xcite by comparing the on - shell three tachyon amplitude computed from the background independent open string field theory with the same computed in chern - simons string field theory :    k = t_p , [ norm ] @xmath15 being the corresponding dp - brane tension .
the correlation function in the above expression is defined in terms of the perturbed worldsheet action on the disk .
the above action is defined up to an additive constant . although the boundary perturbation @xmath12 does not depend on ghosts , the theory with perturbed action
is not renormalizable .
but in the case of tachyon condensation , it is renormalizable .
so boundary string field theory works well for studying tachyon condensation problem .
but it is not clear how to define a general off - shell amplitude due to uv divergences on the worldsheet .
an alternative definition of s is given by the metric on the space of worldsheet theories  @xcite    = -^jg_ij , [ s - g ] where @xmath16 is the corresponding beta function which acts like a vector field on the space of worldsheet theories .
in  @xcite a very important relation between the action @xmath17 and the partition function on the disk is demonstrated up to second order in coupling constant :    _ = -^i+z ( ) .
[ s - z ] since on - shell the beta function vanishes , the action is same as the partition function .
this fixes the additive ambiguity in  ( [ seqn ] ) .
the above relation implies that all symmetries of the worldsheet partition partition function are also symmetries of the spacetime action .
it is further argued that  @xcite the spacetime action @xmath17 is nothing but the boundary entropy @xmath4 .
although background independence is manifest in the worldsheet formalism , it is lost once we compute @xmath17 or @xmath4 perturbatively .
but if the above relation between the spacetime action and the partition function is true in all orders in coupling constant , it is not lost .    on the other hand ,
the chern - simons string field theory is not manifestly background independent . to achieve this one
is forced to work in a truncated version of hilbert space of the first quantized theory restricting the string field to a background independent subspace for studying the classical lump solution . in our renormalization group analysis of the problem of formation of the tachyonic lump ,
we follow the basic setup of  @xcite where the @xmath18 coordinate is taken to be on a circle of radius @xmath19 . we take @xmath20 to be the scalar field on the string worldsheet associated with @xmath18 . on a d25-brane @xmath20
satisfies neumann boundary conditions . the conformal field theory associated with the field
@xmath20 has central charge , @xmath21 .    before going into the rg analysis
let us briefly discuss the setup of  @xcite
. for details on the background independent subspace of the complete fock space see  @xcite . a basis of states of this theory is conveniently formed by grouping the states into verma modules .
the states contained in the verma module are obtained out of primary state @xmath22 by acting with the associated virasoro generators @xmath23 .
linear independence of the states to form the basis is achieved by removing null states from the spectrum .
in fact the spectrum is free of null states for @xmath24 and an irrational @xmath19 value . in order to achieve a successful truncation of the hilbert space one has to restrict the primary states of the boundary conformal field theory along @xmath18 to be even under @xmath25 and to be trivial primaries of the conformal field theory of the fields associated to the rest of the coordinates of bosonic string theory . as a result
the appropriate primary states are : ( 1 ) the zero momentum primaries that are even under @xmath25 ( also removing the null states ) , and ( 2 ) the vacuum state @xmath26 with @xmath27 .
let us recall that an open bosonic string propagating in the tachyon background is described by the following action    s = dsdt  ^ab_a__b^+_-^ dk  t(k ) e^ik , where @xmath28 is the uv cutoff and @xmath29 is the tachyon field with momentum @xmath30 . in the present case where @xmath18 is compact , the momentum is descrete and we are motivated to take the boundary perturbation to be of the form ( respecting @xmath25 symmetry ) :    dt  t[(t)]=_n=0^_ndt  ( ( 0,t ) ) , where @xmath31s are tachyon modes .
the zero mode @xmath32 is the identity operator and is always tachyonic .
the higher modes may not be tachyonic depending on the radius @xmath19 . in our analysis
we only consider the first three tachyon modes ( _ i.e. _ @xmath33 ) .
hence the problem is similar to the boundary sine - gordon model with two frequencies , which typically allows to hit a nearby ir fixed point producing a lump profile of finite size .
the boundary conformal field theory can be described by a gaussian model with gapless excitation spectrum and the correlation functions of bosonic exponents follow power laws .
this behaviour implies that the correlation length is infinite and the system is in its critical phase . under boundary perturbations ,
usually the correlation functions are affected differently on different scales and the long distance asymptotics get affected the most .
certain perturbations may cause only tiny changes in the uv , but changes the ir behaviour profoundly . in the rg picture
this is observed as a growth of the coupling constant associated with the perturbation .
a slow decay of correlation functions gives rise to divergences in the perturbation series .
if the influence of the perturbing operator grows on large scales , the perturbation is _ relevant_. consider the perturbed action    s = s_0 + dt o_(t ) where @xmath34 is the action of the system at criticality and @xmath35 is the perturbing field with scaling dimension @xmath36 , @xmath37 .
the perturbation with zero conformal spin and scaling dimension @xmath36 is relevant if @xmath38 and _ irrelevant _ if @xmath39 .
the case @xmath40 is the _ marginal _ one and its effect on scaling dimensions of correlation functions depends on the sign of the coupling constant @xmath41 .
consider the path integral on the disk with a worldsheet action    s = s_0 + dt  t[(t ) ] [ totalaction ] where @xmath34 is the free field action on the disk describing an open and closed string conformal background .
the perturbing boundary field @xmath42 $ ] is a tachyon profile and @xmath20 is the scalar field along the string worldsheet associated with the compactified coordinate @xmath18 .
the above action describes a renormalization group flow from a theory where all 26 bosonic directions are neumann describing a d25-brane to the theory where @xmath18 direction is dirichlet describing a d24-brane .
instead of using the callan - symanzik formalism we follow the wilsonian renormalization scheme where we put the theory on a lattice .
we assume that the fourier transform of the field , @xmath43 , is defined in the brillouin zone and choose a cut - off , @xmath44 .
the aim is to start moving towards larger distances ( or lower energies ) by integrating out the fields with shorter and shorter wavelengths .
the procedure is based on the decomposition of the boundary field with a cutoff into a slow moving ( long - wavelength ) and a fast moving ( short - moving ) component , @xmath45 , where we have split the brillouin zone @xmath44 into a wide region @xmath46 and a narrow slice @xmath47 .
the original field is given by    _
( t ) & = & e^it _ ( ) + & = & _ ||< d2 e^it _ s ( ) + _
<|| < d2 e^it _ f ( )
. the next step will be to perform a partial path integration in the partition function over the fast moving part and representing the result in terms of an effective model for the slow moving field .
if the model is renormalizable , which is known to be the case for sine - gordon model that we will consider below , the effective action will have the same structure as the original one , but with a new set of coupling constants .
this procedure is repeated several times , and after each step the form of the original model is reproduced ( upto irrelevant terms ) .
the relations between the bare and the renormalized couplings then lead to renormalization group ( rg ) equations .
the gaussian part @xmath34 is additive under the above decomposition .
hence , given the cutoff , the partition function is given by    z_&= & d_sd_f  e^-s_0[_s ] e^-s_0[_f]e^-s_i[_s+_f ] + & = & z_fd_s  e^-s_0[_s ] e^-s_i[_s+_f]_f where @xmath48 is a nonsingular contribution of fast moving components to the partition function .
the effective action involving the slow moving part of the field is given by    s_eff[_s]=s_0[_s]+s_i  eff[_s ] where    s_i  eff[_s ] = -e^-s_i[_s+_f]_f it is clear that the effective action preserves all ir singularities .
assuming the coupling to be small , we expand the above effective interaction perturbatively upto cubic order    s_i  eff[_s ] & = & s_i _
f+1 2(s_i_f^2-s_i^2 _ f ) + & & + ( 1 6s_i^3 - 1 2s_i_f s_i^2 _ f + 1 3s_i_f^3 ) + o(^4 ) [ sieff ]    now we consider the effect of switching on first three tachyon harmonics : @xmath49 , and @xmath50 .
the scalar perturbation is of _ double sine - gordon _ type and reads symmetry of the coupling @xmath31s in writing down the perturbation which might be more appropriate in order to compare the results with that of  @xcite .
however we chose perturbation of the type  ( [ double - sine - gordon ] ) as this allows us to hit the desired multicritical ir fixed point from the stable direction .
however we will invoke the @xmath51 symmetry to show multicriticality in section 5 .
the opposite sign in front of the identity operator does not modify the analysis for other operators .
the coupling in front of the identity operator appears linearly in the beta function and it does not mix with other couplings . also as we will see in the next section , boundary entropy does not get a contribution from it . ]
s_i [ _ ] = _ 0dt  * 1 * -
_ 1dt  _ ( t ) - _
2dt  2_(t ) .
[ double - sine - gordon ] where @xmath52 defines the conformal dimensions of our theory and the scaling dimension is @xmath53 for the first harmonic and @xmath54 for the second harmonic .
the tachyon zero mode is the identity operator with zero scaling dimension .
rescaling @xmath52 : @xmath55 results in the relation @xmath56 . following  @xcite
, we take the radius @xmath57 . in this radius
the first mode is least relevant and the perturbation by the second mode is least irrelevant , which , after being added to the cutoff theory , should improve the rg result .
such a procedure should lead to a good result even when only first few irrelevant terms are included .
the effects of highly irrelevant operators are highly damped by their rapid decay .    using the above definition of the effective action we perturbatively calculate contributions in each order in coupling constant , @xmath41 .
then in order to restore the original cut - off to @xmath58 we rescale the energy @xmath59 and the time @xmath60 so that the effective action is of the same form as the bare one but with a renormalized strength of coupling .
now we calculate the expression  ( [ sieff ] ) term by term .
0.5 cm    :    in first order in couplings , it is given by    s_i_f & = & _ 0dt  _ f - _ 1dt  _ f + & & - _ 2dt  2_f . [ order1double ]    the expression for correlation function of bosonic exponents reads    _
n e^i_n(t_n)=e^-_m > n _
m_n g(t_m , t_n)e^-1 2_m _
n^2 g(t_m , t_m ) .
[ exp - cor ] the terms containing green s functions of coinciding arguments are singular in the continuous limit .
but in our regularized theory they are finite .
the green s function has the following well known form    g(t_m , t_n ) = 1 4 ln(r^2 ) , [ gf ] where @xmath61 and @xmath28 are ir and uv cut - off respectively . substituting into ( [ exp - cor ] ) we get the result for the correlation function of bosonic exponents :    _ n e^i_n ( t_n)= _ m > n ( 1+(t_m - t_n)^2 a^2)^_m_n 4 ( r a)^-(_n_n)^2 4 .
[ exp - cor1 ] using the above formulae we obtain    e^i_f(t)_f = e^-^2 2_f(0)^2_f = e^-^2 2g_f(0,0 ) , where    -^2 2g(0,0 ) = -^2 2_0^df ( ) = -^2 4  ln , [ gengf ] and    -^2 2g_f(0,0 ) = -^2 2_-d^df ( ) = di ( ) = -^2 4(d ) = -^2 4dl .
[ fastgf ] hence ( [ order1double ] ) turns out to be    s_i_f & = & _ 0  * 1 * -_1(1-dl )  _ s(t ) + & & - _ 2(1-dl )  2_s(t ) + o(dl^2 ) , [ order1doublefinal ] where @xmath62 are small dimensionless couplings .    0.5 cm    :    0.5 cm    we now turn to the quadratic contribution to ( [ sieff ] ) . imposing translational invariance it can be written as    & & 1 2(s_i_f^2-s_i^2_f ) + & = & dt_1 dt_2 \ { e^-^2 g_f(0,0 ) ( 1-e^-^2 g_f(t_2-t_2 ) ) + & & + e^-^2 g_f(0,0 ) ( 1-e^^2 g_f(t_2-t_2 ) ) } + & & + dt_1 dt_2 \
{ e^-4 ^ 2 g_f(0,0 ) ( 1-e^-4 ^ 2 g_f(t_2-t_2 ) ) 2 + & & + e^-4 ^ 2 g_f(0,0 ) ( 1-e^4 ^ 2 g_f(t_2-t_2 ) ) 2 } + & & + e^-dl dt_1dt_2  \{(1-e^-2 ^ 2g_f(t_1-t_2 ) ) + & & + \{(1-e^2 ^ 2g_f(t_1-t_2 ) ) } .
[ order2double1 ] to evaluate the correlation functions of the bosonic vertices we have used  ( [ exp - cor ] ) . to evaluate the green s function for fast moving modes we use the following scheme .
instead of considering just the momentum shell for fast moving modes , if we consider all momenta upto cutoff @xmath58 then using  ( [ exp - cor1 ] ) we get    e^i(t_1 ) e^i(t_2)= ( 1+(t_1-t_2)^2 a^2)^^2 4 ^ -^2 , which , like  ( [ gengf ] ) , leads to    -^2 g(0,0)-^2 g(t_1-t_2 ) = ^2 4 .
hence the analogous treatment for fast moving modes follows by performing the integration in the narrow slice only . using the expression for @xmath63 given by  ( [ fastgf ] ) we arrive at the following useful expression for fast moving components    -^2 g_f(t_1-t_2 ) -^2 2dl(ln||+1)+o(dl^2 ) , [ fastgf1 ] where we have assumed that @xmath64 .
it is clear that    g_f(t_1-t_2)=f(r )  dl+o(dl^2 ) , where @xmath65 .
if we adopt a sharp momentum cut - off prescription , @xmath66 will be bessel function of order zero , @xmath67 , which has a long oscillating tail and does not fall off rapidly on increasing its argument .
however , as was shown in  @xcite , in a smooth cut - off procedure @xmath66 is truly short - ranged , essentially nonzero at @xmath68 .
this can be seen in ( [ order2double1 ] ) , the functions like @xmath69 are also short - ranged .
this allows us to introduce the center - of - mass coordinate @xmath70 and relative coordinate @xmath71 and expand the cosines of ( [ order2double1 ] ) in @xmath72 .
the detail calculation is shown in the appendix . here
we only mention some of the necessary facts .
for example , consider the cosine @xmath73 \approx   1-{\beta^2r^2 \over 2}(\partial_{\tilde r}\phi_{s\lambda'}(\tilde r))^2 $ ] , where the first term contributes to renormalization of the free energy . in our case that generates the rg contribution to identity operator . on the other hand , the second ( gradient)@xmath74 term is an irrelevant term with a factor proportional to the uv cut - off @xmath28 in front of the renormalized coupling . here
we see a striking difference between bulk and boundary rg flows , where in the latter case the gradient term is responsible for renormalization of the constant @xmath52 . collecting the @xmath75 , @xmath76 , and @xmath77 contributions from the appendix
, we arrive at the following complete second order expression    & & ( s_i_f^2-s_i^2_f ) + & = & _ 1 ^ 2dl  2_s ( t ) -_1 ^ 2dl  * 1 * + & & + _ 2 ^ 2dl  4_s ( t ) -_2 ^ 2dl  * 1 * + & & + 2 ^ 2dl  ( 3_s(r ) -_s(r ) ) .
[ order2doublefinal ]    0.5 cm    :    0.5 cm    the calculation of the cubic contribution to ( [ sieff ] ) is similar and the details are given in the appendix .
here we give the result only :    & & 1 6s_i^3_f-1 2s_i_fs_i^2_f + 1 3s_i_f^3 + & = & _ 1 ^ 3()dl  3_s ( t ) + _ 1 ^ 3 ( ) dl  _ s ( t ) + & & + _ 2 ^ 3()dl  6_s ( t ) + _ 2 ^ 3 ( ) dl  2_s ( t ) .
[ order3doublefinal ]    collecting all the results up to third order from ( [ order1doublefinal ] ) , ( [ order2doublefinal ] ) and ( [ order3doublefinal ] ) we express the effective boundary action as    s_i  eff[_s ] & = & _ 0  * 1 * -_1(1-dl )   _ s(t ) -_2(1-dl )  2_s(t ) + & & + _ 1 ^ 2dl  2_s ( t ) -_1 ^ 2dl  * 1 * + & & + _ 2 ^ 2dl  4_s ( t ) -_2 ^ 2dl  * 1 * + & & + 2 ^ 2dl  3_s(r ) -2 ^ 2dl   _ s(r ) + & & _ 1 ^ 3()dl  3_s ( t ) + _ 1 ^ 3 ( ) dl  _ s ( t ) + & & + _ 2 ^ 3()dl  6_s ( t ) + _ 2 ^ 3 ( ) dl  2_s ( t ) . [ sieffdouble(semifinal ) ]    in order to restore the original cut - off to @xmath58 we rescale the energy @xmath59 . in order to keep the product @xmath78 intact , we have to rescale time in the opposite way , @xmath60 .
the effective action is of the same form as the bare one but with a renormalized strength of coupling . hence neglecting the @xmath79 terms ,    s_i  eff [ _ ] & = & _ 0(1+dl )
* 1 * -_1(1+(1-)dl )  _ s(t ) + & & -_2(1+(1-)dl )  2_s(t ) + & & + _ 1 ^ 2dl  2_s ( t ) -_1 ^ 2dl  * 1 * + & & + _ 2 ^ 2dl  4_s ( t ) -_2 ^ 2dl  * 1 * + & & + 2 ^ 2dl  3_s(r ) -2 ^ 2dl   _ s(r ) + & & + _ 1 ^ 3()dl  3_s ( t ) + _ 1 ^ 3 ( ) dl  _ s ( t ) + & & + _ 2 ^ 3()dl  6_s ( t ) + _ 2 ^ 3 ( ) dl  2_s ( t ) .
+ & & [ sieffdouble(final ) ]    note that although initially we considered perturbation with tachyonic zero , first and second modes , the non - linear rg flow equations force the coefficients of various other boundary fields with higher harmonics to evolve .
we see from above expression that the third and fourth harmonics evolve at second order and the third and sixth harmonics evolve at third order . also notice that there is no mixing between @xmath80 and @xmath50 at third order in the coupling .
the beta functions can be extracted from the above expression and are given by    _ 0 & = & = _ 0 -_1 ^ 2-_2 ^ 2 , + _ 1 & = & = -(1-)_1 -_1_2 + _ 1 ^ 3 , + _ 2 & = & = -(1-)_2 + _ 1 ^ 2 + _ 2 ^ 3 .
[ betafn2 ]    now we take @xmath57 , where the perturbation with @xmath80 and @xmath50 becomes least relevant and irrelevant respectively .
perturbation with the identity operator ( associated with @xmath32 ) in the rg picture just adds a constant to the action
. typically the coefficient of the least relevant operator grows at the fastest rate at the beginning , and drives the system towards the fixed point .
the final shape of the soliton is determined by where this fixed point is .
rescaling of @xmath81 in  ( [ betafn ] ) results in    _ 0 & = & = _ 0 -_1 ^ 2-_2 ^ 2 , + _ 1 & = & = -_1 -_1_2 + _ 1 ^ 3 , + _ 2 & = & = _ 2 + _ 1 ^ 2 + _ 2 ^ 3 .
[ betafn1 ]    typically single a sine - gordon boundary perturbation does nt lead to a nearby fixed point and the theory typically flows to infinity .
typically @xmath41 flows all the way from 0 to @xmath82 under renormalization .
the boundary conditions look like neumann at very high energy ( uv ) but like dirichlet at low energy ( ir ) .
the field @xmath20 satisfy neumann boundary conditions close to the boundary , but feels dirichlet boundary conditions instead far from it .
but as in the next section we will see that sine - gordon model with two frequencies we considered above has a nearby fixed point .
the situation is very analogous to string field theory .
suppose we are trying to construct the lump solution on a circle of radius @xmath19 .
in this case we need to start with an initial tachyon field for which the coefficient of @xmath83 is non - zero , and then use the equations of motion of string field theory iteratively to improve the solution .
this generates all higher harmonics as well as the tachyon zero momentum mode as we saw in our rg analysis as well .
but if from the beginning we introduce the tachyon zero momentum mode in the initial configuration , then the iterative process drives the solution towards the vacuum solution where the tachyon is constant instead of the one lump solution . in the rg picture perturbations with the identity operator
are generally regarded as uninteresting , as they just add a constant to the action .
also , in the peturbative definition via correlation functions , the zero mode has no effect .
in this section we will calculate the boundary entropy perturbatively in leading order and compare the result with its exact value .
we follow the method of  @xcite .
let us recall the rg equations  ( [ betafn2 ] ) obtained in the last section ( up to second order in coupling constants )    _ 0 & = & = _ 0 -2(1-y_1)_1 ^ 2 - 8(1-y_1)_2 ^ 2 , + _ 1 & = & = -y_1_1 -8(1-y_1)_1_2 , + _ 2 & = & = -y_2_2 + 2(1-y_1)_1 ^ 2 , [ betafn ] where @xmath84 is the scaling dimension of the corresponding harmonic .
the above rg equations satisfies right @xmath85-expansion behaviour according to  @xcite .
the first step will be to solve these equations for the bare couplings , @xmath86 , @xmath87 , and @xmath88 , as functions of renormalized couplings at the scale set by @xmath61 , @xmath89 , @xmath90 , and @xmath91 .
the pfaffian differential equation obtained from the above set of equations is    ( d_0+d_2 ) + [ _ 0 - 8(1-y_1)_2 ^ 2-(4y_1 - 3)_2]d_1 = 0 , [ pfaffian ] which is needed in order to satisfy the integrability condition given by    & & [ y_1_1 + 8(1-y_1)_1_2][24(1-y_1 ) _ 2 + 5y_1 - 3]+8(1-y_1)_1 [ _ 0 - 8(1-y_1)_2 ^ 2-(4y_1 - 3 ) _ 2 ] + & & + [ y_1_1 + 8(1-y_1)_1_2][1-y_1 - 8(1-y_1 ) _ 2 ] = 0 .
[ integrability ] for @xmath92 , we have the following relation between @xmath86 and @xmath88    64(1-y_1)^2_2 ^ 2 + 8(1-y_1)(1 + 2y_1)_2 + 8(1-y_1 ) _ 0 - 2y_1(1 - 2y_1)=0 .
[ reln1 ] the branch containing the real solution of @xmath93 satisfies the following ,    8(1-y_1)_0 + 2y_1(2y_1 - 1 ) ( 2y_1 + 1)^2/4 , which implies @xmath94 for @xmath57 , concistent with our results for the desired ir fixed point discussed below . combining @xmath95 and @xmath96 in  ( [ betafn ] ) into    ( d_0+d_2)/[_0 - 8(1-y_1 )
_ 2 ^ 2-(4y_1 - 3)_2 ] = dl , and using the relation  ( [ reln1 ] ) , we get    8(1-y_1)d_2/[8(1-y_1)_2 + 2y_1 - 1]=dl , for @xmath97 . integrating the above expression from @xmath28 to @xmath61 , we obtain the following expression for the bare coupling @xmath88    = -_2^ * , [ bare2 ] where @xmath98 and @xmath99 is the scaling dimension of the second tachyon harmonic . for @xmath57 ,
the perturbation with the second harmonic is least irrelevant and is added to improve the shape of the profile of the lump at ir fixed point .
being irrelavant the perturbing operator with @xmath88 decays out .
this can be seen by considering the perturbation expansion of the two - point correlation function of bosonic exponents .
the integral appearing in the first nonvanishing correction to this correlation function converges at large distances for an irrelevant operator .
this implies that the perturbation expansion does not contain ir singularities ; so if the bare coupling constant is small , its effect will remain small and will not be amplified in the process of renormalization . in the limit
the renormalization scale , @xmath100 ,    _ 2 = _
2(r ) - ( -1 ) ( ) _ 2^ * -0.125 , which is very close to the result of  @xcite for the second harmonic at the stable minimum of the tachyon potential . on the other hand , the other two operators which are relevant for @xmath57 evolve to the values : @xmath101 , which are also very close to the results obtained by the level truncation technique  @xcite .
hence the lump profile is given by    t(x_25)=0.25 - 0.35(x_25 ) -0.125(x_25 ) as a function of @xmath18 .
the profile is shown in figure 1 .
the profile has finite size in contrast to the result of  @xcite .    before returning to the calculation of boundary entropy , notice that in the rg equations  ( [ betafn ] ) in the limit @xmath102 , the linear terms in @xmath103 and @xmath96 agree .
the reason for these to disagree with @xmath95 is that we chose a positive sign in front of @xmath32 in the beginning .
the rg equations up to linear order are @xmath104 , where the sign in front of the universal linear term depends on the sign of perturbation .
rg analysis with the identity operator is trivial and it does not mix with other operators . also as we will discuss soon its contribution goes to ground state energy correction only , not to boundary entropy .
next we calculate the bare @xmath86 and @xmath87 in terms of the renormalized couplings . in order to obtain the expression for bare coupling , @xmath86 in terms of the renormalized couplings we use  ( [ reln1 ] ) setting the scale at uv cutoff :    _ 0 ( a ) = - . inserting  ( [ bare2 ] ) for the bare coupling , @xmath88
, we get the following expression for @xmath86    = - .
[ bare0 ] inserting the above expression for bare coupling , @xmath86 into the pfaffian equation  ( [ pfaffian ] ) we get    = - , which , assuming @xmath97 , simplifies to    ( ) d[8(1-y_1)_2 ] = - . integrating both sides
we obtain    8(1-y_1)_2+(1-y_1 )  ln[8(1-y_1)_2 + 2y_1 - 1 ] = -ln  _ 1+ln  c , [ indefinite ] where the integration constant determines the correct trajectory that passes through uv and desired ir fixed points .
one might wonder since many different theories flow to the same fixed point , that we can not write the bare couplings in terms of renormalized couplings .
in fact , here as we are starting with the correct set of rg equations which inherently have the right uv fixed point as a trivial solution so over an infinitesimal segment from the uv fixed point we are automatically on the right trajectory .
what we need to worry about is that as we integrate those equations we do nt deviate from the right trajectory and miss the ir fixed point .
we reach the desired fixed point by determining the correct value of the integration constant . to determine the constant that allows us to reach the desired _ nearby _ fixed point as the end point of the flow we substitute the couplings with their fixed point values    _ 1^*=- ,   _ 2^*=- , into  ( [ indefinite ] ) resulting in the following expression for the bare coupling , @xmath87    & = & e^-(1-y_1)()^1-y_1 , [ bare1 ] where we have used  ( [ bare2 ] ) .
having solved the renormalization group equations for the bare couplings as functions of renormalized couplings , given by  ( [ bare0 ] ) ,  ( [ bare1 ] ) , and  ( [ bare2 ] ) we turn to the calculation for boundary entropy which measures the tension of the corresponding d - brane and test the @xmath4-_conjecture _ , which in turn is related to the minimisation of the action in the space of open string fields .
the boundary has its own free energy proportional to the size of the system which diverges linearly with scale @xmath105 in thermodynamic limit .
the boundary free energy gets another contribution independent of scale which counts the boundary degrees of freedom , measured by @xmath106 ,    f_bl =- ln  z = f_bl - ln  g.    we first perturbatively expand the partition function @xmath107 to @xmath108 .
we arrive at a uv expansion of the form which schematically looks like    ln  z = _
n c_n(_ir^y_i)^n = f_b^ + ln  g+^-ve , where @xmath109 is the scaling dimension .
we discard terms linear in negative powers of scale and nonuniversal uv divergent terms which are linear in scale as they correspond to ground state energy corrections .
the remaining terms have weak dependence on the scale set by @xmath61 , which acts as an ir cut - off , as we can absorb them approximately in terms of the renormalized coupling @xmath110 using the relations  ( [ bare0 ] ) ,  ( [ bare1 ] ) , and  ( [ bare2 ] ) obtained by solving simultaneous @xmath52-function equations .
thus in the @xmath100 limit ( when @xmath111 ) , these terms give the contribution to the boundary entropy . note that the weak ir cut - off dependence is consistent with the renormalization group .    to cubic order in coupling the partition function
is given by    & & 1 + dt_1dt_2 t _
j(t_2 ) + & & + dt_1dt_2dt_3 t _
i(t_1 ) _ j(t_2 ) _ k(t_3 ) . since @xmath112 , this vanishes in the thermodynamic limit , @xmath113 . here
@xmath114 is the partition function at uv fixed point .
any @xmath3-point correlation function of sine - gordon perturbation , the electro - nonneutral ( @xmath115 in  ( [ exp - cor1 ] ) ) part has an overall factor of @xmath116 that can not be compensated using definition of renormalized coupling @xmath110 ; therefore in above perturbative expansion contributions come from electro - neutral parts only such as @xmath75 , @xmath76 , and @xmath117 .
clearly there is no contribution from the identity operator of any order as its contribution can be considered to be going to ground state energy correction .
the perturbing operator has two point function given by    _
i(t_2 ) = ( ) ^2(1-y_i ) .
so the quadratic contribution to @xmath118 turns out to be ( considering half - cylinder geometry )    z_2 & = & _ i=1,2 a^-2y_i _
i^2 + & = & _ i=1,2 a^-2y_i _
-r/2^r/2 , [ z2a ] where @xmath119 is the relative coordinate and @xmath120
. the above integration is regularized by the cut - off @xmath121 . mapping the circle to infinite line :
@xmath122 the above integration becomes    z_2 = _
i=1,2 _ i^2()^2y_i _
|u|<a / r .
[ z2b ] integration by parts results in    z_2 & = & _ i=1,2 _ i^2()^2y_i 2 + & = & _ i=1,2 _ i^2()^2y_i 2 , [ z2c ] where @xmath123 is the euler beta function .
the first term is linear in @xmath61 and does not contribute to boundary entropy .
we will formally perform the computation as an expansion in @xmath124 supposing @xmath124 to be small and at the end we will set @xmath125 corresponding to @xmath57 .
it is not _ a priori _ obvious that such @xmath124 expansion will converge for finite value of @xmath124 .
however , as we will see , it does quite well in our case giving nice agreement with exact value of the ratio @xmath126 .
the situation is similar to computation of critical exponents in three dimensions where @xmath85-expansion for @xmath127 dimensions converges for @xmath128 and gives nice agreement with the experimental data .
we note that we can reach nearby fixed point at the end of the rg flow with @xmath129 indicating that @xmath124 is small enough .
now in the small @xmath124 limit @xmath130 becomes    z_2 -^2 , [ z2final ] where we have dropped the @xmath131 part which vanishes in the @xmath100 limit as it has an overall factor of @xmath132 with @xmath133 negative as can be seen by substituting  ( [ bare2 ] ) in  ( [ z2c ] ) .
the cubic part is given by    z_3 = dt_1dt_2dt_3e^i(t_1)e^i(t_2 ) e^-2i(t_3)[z3a ] which on half - cylinder turns out to be    z_3 =  a^-2y_1a^-y_2d_1d_2d_3   .
[ z3b ] now introducing the relative coordinates @xmath134 and @xmath135 and center - of - mass coordinate @xmath136 the above integral simplifies to    z_3 & = &  a^-2y_1a^-y_2r_|u_i|>a / r du_1 du_2  ( ) ^2 + & & ( ) ^2(1-y_1 ) ( ) ^-2(1-y_2 ) + & & | ( ) /|^2(1-y_1 ) , [ z3c ] where @xmath137 with a regularization @xmath138 , @xmath139 . the above expression can be written in a more convenient form given by    z_3 = ^2_|u_i|>a / r du_1 du_2   .
[ z3d ] let us first concentrate on terms of @xmath140 $ ] and the ground state energy contribution from terms of @xmath141 .
to achieve that we make a change of variables : @xmath142 .
the above integral becomes    z_3 = ^2_|u_1|>u_0(v)du_1dv   .
[ z3e ] where @xmath143 is the new cut - off .
integration by parts with respect to @xmath144 gives    z_3 & = & ^2_-^dv + & & .
[ z3f ] from the surface term we will get contribution of @xmath145 $ ] which has no effect on boundary entropy . the rest is uv finite and we can remove the cut - off . however there will be a contribution of @xmath146 $ ] coming from @xmath147 $ ] term in the denominator . to extract this contribution we perform the following calculation .
we first introduce step functions into the integral  ( [ z3d ] )    i ( ) = _ -^du_1du_2  ( u_1 ^ 2-^2)(u_2 ^ 2-^2 ) , where @xmath148 is the cut - off .
it is convenient to differentiate the integral with respect to @xmath85 :    _ -^  ( u_1 ^ 2-^2 ) .
the integral is identical to  ( [ z2b ] ) with the same cut - off .
so using previous result obtained for @xmath130 we get    = 2[^-(1 - 2y_1)-y_1 ] , that gives    i ( ) = ( ) ^4 - 6y_1 -()^-y_2 + [ i ] the second part gives the desired @xmath146 $ ] behaviour that has weak cut - off dependence .
but the first part is of no interest to us since it is the ground state energy contribution from @xmath149 .
the constant part comes from evaluating the integral  ( [ z3f ] ) throwing away the surface term . writing the integral in terms of old variables
@xmath150 we get    & & - ^2 + & & _ -^ ( + ) + & & = - ^2_-^ ( ) .
+ & & we notice that in small @xmath124 limit , while performing the @xmath151 integration , the @xmath124 factor in front is cancelled by a divergence from @xmath152 :    2_a / r^ -  ( ) ^4y_1 - 3 .
hence in small @xmath124 limit , the constant part of  ( [ i ] ) becomes    & & - ^2()^4y_1 - 3_-^ ( ) + & & - ^2()^-y_2 .
so ignoring higher orders in @xmath124 the final expression for @xmath118 contributing to boundary entropy is given by = 1-y_1 ^ 2 -^2()^-y_2 .
having already obtained the expression for the bare couplings in terms of the renormalized couplings as given by  ( [ bare2 ] ) and  ( [ bare1 ] ) we can rewrite the above result in terms of renormalized couplings only . as @xmath100 , @xmath153 . hence the desired ratio between ground state entropy at ir and uv fixed points turns out to be ( in the leading order in @xmath124 )    r_p = _ r 1 - 0.50088964  y_1 ^ 2 .
notice that the change in @xmath4 is negative , implying decrease of @xmath4 under flow between uv to ir point .
also the ratio becomes unity for exactly marginal case , _
i.e. _ where @xmath154 , giving a line of fixed points . on the other hand
the exact result is given by  @xcite    r_e = .
for @xmath155 , perturbative result is @xmath156 compared to the exact result , @xmath157 ; so our result is within @xmath158 . on the other hand for @xmath159 , _
i.e. _ when @xmath124 is very small and the perturbation by the first tachyon harmonic is nearly marginal , the perturbative result is @xmath160 compared to the exact result , @xmath161 ; the perturbative result is now obtained to an accuracy of @xmath0 of the exact result .
in the effective landau - ginzburg description of two dimensional conformal field theory ,    = d^2x  ( ( ) ^2+v ( ) ) , [ lg ] @xmath20 being the order parameter for some physical system , the extrema of the general polynomial interaction correspond to various critical phases of the system .
many systems possess a @xmath25 symmetry with an even polynomial interaction @xmath163 . for a polynomial @xmath164 of degree @xmath165
, this ensures existence of @xmath166 minima separated by @xmath167 maxima .
several critical phases can coexist if the corresponding extrema coincide .
hence the most critical potential is a monomial in @xmath20 and the @xmath166 critical behaviour of the theory is given by the interaction :    _ int = gd^2x  ^2(m-1 ) .
[ mono ] by comparing the structure of the operator algebra of the above bulk critical theory with that of the unitary diagonal minimal model @xmath168 , characterized by central charge @xmath169 for @xmath170 zamolodchikov  @xcite has shown that each @xmath166 multicritical behaviour of the theory  ( [ lg ] ) is nothing but a minimal model , @xmath168 .
generalizing this concept to boundary conformal field theory we consider the boundary potential of the form    v ( ) = _ k g_k ^2k(0 ) .
the bulk theory is still the @xmath21 ( _ i.e. _ @xmath171 ) minimal model throughout the flow . near the uv fixed point , as we turn on the boundary interaction ( which can be considered as even polynomial interaction of order infinity and hence an indication of underlying infinite number of critical phases of the system ) the system flows to the ir near which the system has finite multicritical behaviour .
the strength of multicriticality ( _ i.e. _ how many critical phases can coexist ) depends on number of couplings involved , _
i.e. _ on dimensionality of the space of coupling constants . in other words , expanding the sine - gordon polynomial about @xmath172 near the ir fixed point , the potential has the following form :    v ( ) = ( _ n _ n^ * ) -(_n _ n^*)(0)^2 + ( _ n _ n^*)(0)^4-  ( -1)^k_k g_k^*(0)^2k . now using the results from previous section , @xmath173 , so one can consider @xmath174 for a large number of couplings turned on .
for the perturbation with the first three tachyon harmonics  ( [ double - sine - gordon ] ) , _ i.e. _ @xmath175 , we observe that for @xmath176 , only @xmath177 , and all other @xmath178 indicating @xmath179 and hence the existence of two critical phases of the system at the ir fixed point . also for @xmath19 close to one ( _ i.e. _ the self - dual radius ) , @xmath180 , @xmath181 showing the two phases again .
as we turn on more and more couplings , we will see that lower order coefficients of @xmath164 become zero , but some higher order coefficient becomes nonzero producing a shift in the degree of the polynomial effective interaction indicating the presence of more and more critical phases . for @xmath182
the effective interaction is basically a monomial of very large order .
we can expect that by turning on all possible couplings ( _ i.e. _ infinite number of tachyon modes ) we can probe the @xmath82-multicritical behaviour of the system .
note that the values of coupling constants @xmath183 are meaningful only in the context of a particular renormalization scheme and when the composite fields @xmath184 are defined .
however the multicritical behaviour observed is rg scheme independent  @xcite . for the effective polynomial interaction @xmath185 , the @xmath186-critical behaviour ( _ i.e. _ presence of @xmath186 degenerate minima ) of the potential is confined to hypersurfaces @xmath187 , @xmath188 of codimension @xmath189 , _
i.e. _ of dimension @xmath190 .
the @xmath191 dimensional boundary @xmath192 of this hypersurface @xmath187 is critical . whereas the form of the hypersurfaces @xmath187 and @xmath192 essentially depends on the regularization scheme of the theory , the @xmath186-critical behaviour on the hypersurface @xmath192 is universal and depends only on @xmath186 . for the sine - gordon potential ( essentially an infinite degree polynomial interaction ) ,
@xmath193-critical behaviours are possible and our observation is that by turning on full set of coupling constants we can fully explore the @xmath82-critical behaviour at ir .    in string theory language , the @xmath186-critical behaviour in the ir is nothing but a free @xmath21 boundary conformal field theory of @xmath186-coalescing d24-branes with @xmath194 chan - paton factor .
note that in order to probe the @xmath82-critical behaviour ( in other words @xmath162 symmetry of the nonperturbative bosonic vacuum reached asymptotically from the core of the d24-brane ) we need to turn on all tachyonic modes even though higher modes , being highly irrelevant , have no significant effect in perturbative rg analysis .
when we perturb by the zeroth mode only ( where @xmath195 ) we end up with the closed string vacuum with no d - brane ( _ i.e. _ @xmath196 ) .    at this point we can draw an interesting analogy from kondo physics .
the kondo model describes the interaction between @xmath30-degenerate bands of spin-@xmath197 conduction electrons and a quantum impurity of arbitrary size @xmath198 placed at one boundary , say at origin , which essentially makes the system nontranslationally invariant .
this type of problem is similar to the open string theory in the sense that boundary spin is like a dynamic degrees of freedom or chan - paton factor . the ir ( or low - temperature ) behaviour is quite different depending on the relative size of @xmath199 and @xmath30 .
for the _ underscreened case _
( _ i.e. _ @xmath200 ) the rg flow leads to ir fixed point with fermi liquid behaviour .
in the course of rg flow the boundary spin fuses with internal spin of the system and the electron channel screens or swallows up a part of the impurity spin giving rise to a similar current algebra as that of the uv fixed point with a shifted kac - moody current ,    _
n=_n+ , leading to rearrangement in the conformal towers of the theory .
, the ir fixed point is given by fusion with spin-@xmath201 priamry .
the fusion rules are  @xcite @xmath202 .
each conformal tower is mapped into a unique conformal tower giving rise to free fermion spectrum with a @xmath203 phase shift . whereas ir fixed point in overscreened case is given by fusion with spin - s primary . ]
the fact that the ir fixed point for the underscreened case is stable can be seen from the interaction between the partially screened spin and the electrons on the neighbouring lattice sites , which is ferromagnetic and hence irrelevant .
the strong coupling fixed point is much the same as the uv or zero coupling fixed point .
only the size of the impurity spin is reduced and there is a change in boundary condition on the otherwise free fermions ( corresponding to a @xmath203 phase shift ) .
this is precisely what happens in the present context of tachyon condensation which leads to a change of boundary condition from neumann to dirichlet .
the leftover impurity spin @xmath204 at ir decouples from the internal symmetry group and is similar to the @xmath205 chan - paton factor of @xmath30 d24-branes at ir .    for _ exact screening _
, @xmath206 , the internal spin fully swallows up the boundary spin giving rise to a translationally invariant system which is analogous to translationally invariant nonperturbative closed string vacuum with no d - brane .    for the _ overscreened _ case ( _ i.e. _ @xmath207 )
, the ir fixed point is very nontrivial and is determined by fusion with the spin-@xmath198 primary .
the theory arrives at non - fermi liquid fixed point in the ir which describes completely different physics .
the strong coupling ir fixed point ground state has an overscreened spin of size @xmath208 .
the induced interaction is antiferromagnetic and hence unstable .
the existence of such nontrivial fixed point can be proved in the large-@xmath30 limit ( keeping @xmath198 fixed ) .
the ground state can not be described by a simple physical picture . in  @xcite the overscreened case
is described based on hamiltonian non - abelian bosonization .
the idea is to represent the @xmath209 species of electrons in terms of three independent bosonic fields : a free scalar carrying @xmath210 charge , a @xmath211 wzw non - linear @xmath212-model field carring @xmath213 spin , and a @xmath214 wzw field carring @xmath215 flavour degrees of freedom .
the kondo interaction involves only the spin current .
the degrees of freedom at the ir fixed point are described by an @xmath216 kac - moody invariant cft .
both boundary scaling dimensions and fermi - liquid bulk scaling dimensions are described by a @xmath217 kac - moody boundary cft .
there are restrictions on the combinations of charge , spin , flavour degrees of freedom .
unlike the underscreened case , here fermion exponents are not recovered and are generally not half - integer .
they come from more general combinations of three types of bosonic fields .
the fermion exponents are sums of @xmath210 , @xmath214 and @xmath211 kac - moody current algebra exponents .
they are not free and in fact _ bound _ together in combinations to form fermion composites .
the analogue of overscreened kondo physics in string theory is the case when one considers string theory on the @xmath213 group manifold that can be described by a world - sheet wzw action and d - branes are stabilized against shrinking by quantized @xmath210 flux as discussed by bachas , douglas and schweigert  @xcite ( also see  @xcite ) .
they considered a static d2-brane wrapping an @xmath218 parametrized by @xmath219 breaking @xmath220 to the diagonal @xmath221 . with non - zero background @xmath222 field
the gauge invariant quantity is @xmath223 .
if @xmath224 , where @xmath3 is the magnetic monopole number appearing due to the world - volume flux quantization @xmath225 , the d2 brane is prevented from shrinking to one of the poles of @xmath226  @xcite . inside this range
the energy of the system has a unique minimum away from the poles of @xmath226 . in the large-@xmath30
limit , that minimum energy reduces to the mass of @xmath3 d - particles .
the stable configuration leads in the dual picture to a bound state of @xmath3 d - particles on @xmath218 similar to the case described in  @xcite .    from the above physical picture ( of the underscreening and exact screening kondo effect ) one can try to see the mechanism of generation of local @xmath194 chan - paton factors of @xmath186 coincident d24-branes as a result of breaking of inherent stringy @xmath162 symmetry due to fusion of boundary spin or dynamical degrees of freedom with internal symmetry . the local operator @xmath227 near the ir fixed point breaks @xmath162 down to @xmath228 in the core of the soliton .
while there is a local @xmath194 on @xmath186 coincident d24-branes , @xmath229 is again swallowed up by the internal symmetry of the system .
as @xmath230 ( the exact screening case ) , the situation is similar to perturbation by the tachyon zero mode only , which leads the theory to the nonperturbative closed string vacuum and the local @xmath210 symmetry on the d25-brane is restored to the full @xmath162 symmetry . for @xmath231 ( when perturbations with all @xmath232s are triggered )
we get full @xmath162 symmetry corresponding to infinite number of d24-branes in the core of the soliton .
symmetry restoration in the same context for noncommutative tachyon solitons is discussed in  @xcite .
it can also be seen whether the operator @xmath227 can give rise to @xmath233 copies of identity operator at ir fixed point , which are basically @xmath233 generators of @xmath194 as all operators flow to identity operators or derivative of identity operators at ir fixed point .
so from the multicritical behaviour discussed above , four copies of the identity operator are left , indicating the final configuration to be that of two d24-branes .
there are many unexplored questions related to the material covered in this paper .
we mention some of them below along with some remarks .    it would be interesting to understand the precise relationship between boundary string field theory and chern - simons string field theory .
in other words , how the action in boundary sft is related to the chern - simons action in cubic sft . it is pointed out in  @xcite that the boundary sft action described in certain coordinates on the space of coupling constants must be related to the cubic action described in a particular choice of coordinates on the space of string fields .
the two choices of coordinates are related by some complicated singular transformation . in  @xcite the boundary conformal field theory
is perturbed by a simple tachyon profile with mass parameter @xmath234 that flows from zero in the uv to infinity in the ir .
the lump profile has width @xmath235 which vanishes in the ir .
in contrast , the level truncation scheme in cubic sft gives solitons with finite width .    on the other hand , in our scheme one
gets the soliton profile with finite width situated in a nearby ir fixed point .
the set of values the first three tachyon harmonics evolve to in order to hit the desired ir fixed point is very close to the one obtained in the level truncation scheme in cubic sft  @xcite .
also the perturbative result of the boundary entropy is in good agreement with the exact result
. it might be more appropriate to choose the signs of all the couplings initially to be the same or by a symmetry to be of the same sign for the zero and second modes and of opposite sign for the first mode .
the former choice does not make the analysis different - we have already mentioned that the zero mode is the identity operator which appears in the rg equations only in linear order and does not contribute to the boundary entropy ( which is the only physical quantity of interest here ) .
the latter choice ( that involves opposite signs for first and second modes ) makes the calculation of the boundary entropy more complicated and it does not fit in well with the setup used in  @xcite . while the relationship between the our setup and the chern - simons sft is not clear , finding the reason for this ( apparent ) agreement of our result with that of  @xcite is left for future work .
there is a striking similarity between the beta function equations  ( [ betafn2 ] ) in the first quantized theory and the string field equations of motion given below ( in the notation of  @xcite ) :    2 & = & 2t_0 - 2k^3t_0 ^ 2-k^3-t_1 ^ 2-k^3-t_2 ^ 2= 0 , + 2 & = & -(1-)t_1 + 2k^3-t_0t_1 + k^3-t_1t_2=0 , + 2 & = & -(1-)t_2 + 2k^3-t_0t_2 + k^3-t_1 ^ 2 = 0 , [ sfteqn ] where @xmath236 is the inverse of the mapping radius of the punctured disks defining the three string vertex .
it is maximal for the vertex of the cubic potential  @xcite .
the main difference is in the zero mode dependence . in the rg case
the identity operator adds a constant to the action . in the rg equation
the corresponding coupling constant appears in the universal linear order only .
presumably there are definite complicated nonlinear relations between the different tachyon harmonics generating term proportional to @xmath237 and the cross terms @xmath238 , @xmath239 in rg equations . on the other hand since @xmath240 is dimensionless , the mapping radius @xmath241 should be somehow related to the cut - off @xmath242 in boundary conformal field theory side .    in order to get a concrete relationship between our analysis with cubic string field theory
we do need to develop a concrete proposal for how we can define an off - shell string field theory using our variables ; this requires choosing an appropriate uv regulator that makes the equations of motion for all the coupling constants unambiguous and free of divergence .
once this is done , one can then interprete the fixed points that we have found as ( approximate ) solutions of the equations of motion of this specific string field theory . in the absence of such a field theory
it is not clear what these solutions correspond to .
these are of course the rg fixed points in a specific renormalization scheme , but this is a first quantized viewpoint as opposed to a second quantized one .
cubic sft clearly provides such a formulation - the equations of motion involving arbitrarily high level fields do not suffer from uv divergence .
the background independent sft does not provide such a formulation for all fields , but can be solved exactly for a special class of configurations ( corresponding to operators quadratic in @xmath243 ) and hence we can consider a subsector of the theory where only these operators are switched on . in this way it avoids having to do with non - renormalizable field theories . in your formulation
we have switched a finite subset of the operators in an approximation scheme , but this in higher order would induce operators of arbitrarily high dimensions and so one needs to understand how to deal with non - renormalizable field theories .
one way to avoid this might be to use the techniques of integrable perturbations developed by ghoshal and zamolodchikov  @xcite .
we have not raised issues concerning the shape and size of the lump representing the lower dimensional d - brane . as was pointed out in  @xcite , in order to get some insight into this issue one needs to find the energy density of the object . since cubic sft is nonlocal ,
it is presently not clear how to address this .
also the size might be an artifact of the particular gauge chosen .
the shape and size depends on a particular definition of off - shell string field , and can vary from one sft to another .
the important fact is that in chern - simons sft everything is smooth and non - singular , so it gives a good definition of the off - shell string field .
there is no invariant definition of size of the d - brane unless one looks at the coupling to metric or some closed string background .
presumably one needs to follow the analysis analogous to the bulk conformal perturbation theory in the presence of a fluctuating metric ( see for example  @xcite ) .
it is pointed out in  @xcite that the dynamics of the metric makes sense only when there is a scale in the path integral , for example by fixing the area .
this is done by the so - called _ gravitational dressing _ of the microscopic matter operator by the appropriate liouville dependence and inserting it in the path integral .
an analogous treatment in boundary perturbation theory might give some useful insight regarding the shape and size of the d - brane .
an other important issue is to extend the scheme used in this paper to superstring theories where lower dimensional d - branes are identified with a tachyonic kink solution rather than a lump solution . in the supersymmetric setup it is more convenient and sensible to study a configuration of parallel d - branes .
also the size and shape of the d - branes in the ir can be investigated considering physical picture involving closed string scattering off the d - branes  @xcite .
it would also be of interest to study intersecting d - brane configurations using the boundary rg analysis discussed in this paper .
we are grateful to michael douglas and michael green for many interesting discussions and critical reading of the manuscript .
we thank david kutasov and ashoke sen for very useful discussions , correspondence and important remarks on a preliminary draft .
we thank alexander zamolodchikov for a fruitful discussion on boundary entropy .
sd is grateful to damtp for its hospitality in the early stages of this work .
td is grateful to rutgers new high energy theory center for its hospitality in the final stages of this work .
we acknowledge partial support from the pparc spg programme , `` string theory and realistic field theory '' , ppa / g / s/1998/00613 .
td is supported by a scholarship of trinity college , cambridge .
in this appendix we will present the details of the rg calculation in order two and three .
( s_i_f^2-s_i^2_f ) & = & - dr dr +  [ order2a ] where we have expanded the cosines in @xmath72 . the ellipsis represent the @xmath245 ( which is identical to the @xmath244 part under replacement of @xmath52 by @xmath246 ) and @xmath247 contributions . following the arguments given in section 2 , we reach to the following expression          & & ( s_i_f^2-s_i^2_f ) + & & = _
1_2 ^ 2(1-dl)dr  g_f(r)dr  ( + & & -)+  + & & = _ 1_2
^ 2(1-dl)dr  g_f(r)dr  +  , where in the last step we expanded the cosines in @xmath72 about @xmath250 . by the same argument applied to @xmath244 part we can neglect the ( gradient)@xmath74 terms .
as the field @xmath20 is odd under @xmath249 reflection , the overall sine terms are not invariant under this operation and hence do not contribute . hence using  ( [ fastgf1 ] ) and the nonuniversal constants resulting from the integrals      ( s_i_f^2-s_i^2_f ) = 2 ^ 2dl  ( 3_s(r ) -_s(r))+  , [ order2double - mixed ] neglecting the @xmath79 terms .
typically the integrals in  ( [ i2i3 ] ) are divergent .
but we have regulated them excluding the origin which is sensible in present case .
& & 1 6s_i^3_f -1 2s_i_f s_i^2_f+1 3s_i_f^3 + & = & -dt_1dt_2dt_3 \ { ( dl  ln|| ) + & & + ( dl  ( ln|| + 4 ) ) + & & + ( dl  ( ln|| -2 ) ) + & & + ( dl  ( ln|| -2 ) ) } +  , + & & [ order3double1 ] neglecting the @xmath79 terms . the ellipsis represent the @xmath251 , @xmath252 , and @xmath253 contributions . the @xmath251 and @xmath253 are related to @xmath254 and @xmath252 by exchanging @xmath255 respectively .
we again introduce center - of - mass coordinate @xmath256 and relative coordinates @xmath257 and @xmath258 .
the relative coordinates being bounded within the uv cut - off @xmath259 , the green s functions are truly short - ranged and we can expand the cosines in @xmath260 .
the result is            & & 1 6s_i^3_f-1 2s_i_f s_i^2_f+1 3s_i_f^3 + & = & -_1 ^ 3dl +  .
+ & & [ order3c ] since under reflection of @xmath261 the integrand containing sine is odd , it vanishes identically .
the @xmath261 integration containing @xmath262 vanishes imposing equation of motion from the action where the bulk degrees of freedom have been integrated out .
hence the expression for @xmath254 cubic contribution is        & & s_i^3_f-1 2s_i_f s_i^2_f+1 3s_i_f^3 + & = & _ 1 ^ 2_2(1-dl ) dt_1dt_2dt_3 +  + & & as in the previous case we introduce the center - of - mass coordinate @xmath263 and relative coordinates @xmath264 and @xmath265 . expanding the cosines in @xmath260 ,
the above expression can be written approximately as    dldr_1dr_2  ( ln  r_1-ln  r_2 ) d|r ( 4_s(|r)-*1 ) which vanishes identically after integration over @xmath266 and @xmath267 . by doing similar analysis for @xmath253
, we conclude that all the contributions to @xmath252 and @xmath253 vanishes . *                                                                                s. ghoshal and a. zamolodchikov ,
_ boundary s - matrix and boundary state in two - dimensional integrable quantum field theoory _
a9 * 3841 ( 1994 ) ; erratum - ibid . *
a9 * 4353 ( 1994 ) ; hep - th/9306002 .