the phases of quantum chromodynamics ( qcd ) at nonzero temperature and density are a subject of continuing interest .
while numerical simulations on the lattice can be of use at nonzero temperature when the quark density is small , standard monte carlo techniques are not of use in cold , dense quark matter .    one expansion which is of utility is to expand in the limit of a large number of colors @xcite .
for cold , dense quark matter  quarks in the fundamental representation , coupled to an @xmath12 gauge theory  this gives a `` quarkyonic '' phase @xcite .
keeping the quark chemical potential , @xmath2 , of order one as the number of color @xmath13 , the free energy for this phase is dominated by that of quarks .
nonetheless , excitations near the fermi surface are confined , perhaps baryonic , whence the name .    in this paper
, we consider chiral symmetry breaking in quarkyonic matter .
we consider a phenomenological model for confinement , taking the timelike component of the gluon propagator to be @xmath14 .
this is valid in coulomb gauge , for a spatial momentum @xmath15 , and corresponds to a potential which rises linearly in coordinate space .
such a propagator was originally suggested by gribov @xcite and zwanziger @xcite . to use such a propagator in cold , dense , quark matter
, it is necessary to assume that gluons are insensitive to screening by quarks .
for this to be true , the number of flavors , @xmath6 , must be @xmath16 , and the chemical potential must satisfy @xmath17 , where @xmath3 is the renormalization mass scale of qcd @xcite .    chiral symmetry breaking in such a model has been studied by glozman and wagenbrunn @xcite and by guo and szczepaniak @xcite , for values of @xmath18 .
we work in the extreme quarkyonic limit , @xmath19 , so that the effects of chiral symmetry breaking in vacuum can be ignored .
it is possible for chiral symmetry breaking to occur at large @xmath2 , since we are , by assumption , in a confined regime .
of course there is no guarantee that our results apply to qcd , where @xmath20 ; nevertheless , there is certainly some range of @xmath1 , @xmath6 , and @xmath2 , where it does .
if applicable to qcd , our results are of interest to intermediate densities , where both conventional nuclear physics and perturbative treatments fail .
notably , this may include the astrophysics of neutron stars .    in vacuum
, chiral symmetry breaking occurs through the pairing of a left handed quark with a right handed anti - quark , @xmath21 , and vice versa . this condensate is , of course , spatially uniform , so that the spontaneous breaking of chiral symmetry does not disturb the lorentz invariance of the vacuum .
now consider the effects of a fermi sea , where there is a net excess of quarks over anti - quarks .
the analogy of the usual condensate is illustrated in fig .
[ qqbar ] .
energetically , it costs essentially zero energy to excite a quark right at the edge of the fermi sea . on the other hand , it costs at least @xmath22 to pull an anti - quark out from deep in the dirac sea .
( remember that we assume that @xmath2 is very large . )
thus the usual condensate can not be formed spontaneously , and anti - quarks will not enter into our analysis henceforth .
there are numerous features which are not captured by the illustration in fig .
[ qqbar ] .
we really should draw not one , but two fermi seas : one for left handed quarks , and one for right handed quarks . to avoid unnecessary duplication , instead
we assume that the quark , denoted by a filled circle , is always left handed , and that the anti - quark , denoted by an open circle , is right handed .
the quark and anti - quark are also assumed to have the same color , so that any condensate is @xmath23 , and survives in the limit of large @xmath1 .
if the quark has momentum @xmath15 , then the anti - quark , formed by removing a quark with momentum @xmath15 from the dirac sea , has momentum @xmath24 .
thus the quark anti - quark pair has no net momentum , and this condensate is spatially uniform , as in vacuum .    [ 1.0 ] , while its momentum is @xmath25.,title="fig : " ]    in the presence of a fermi sea , though , it is also possible for chiral symmetry to be broken by pairing , say , a ( left - handed ) quark and a ( right - handed ) quark hole . if both the quark and the quark hole are near the edge of the fermi surface , then it costs little energy to excite them , and the energetic penalty paid to excite an antiquark can be avoided .
the natural analogy to the condensate in vacuum is illustrated in fig .
[ exciton ] , pairing a quark with momentum @xmath15 , and a hole , formed by removing a quark with momentum @xmath15 from the fermi surface .
the momentum of the hole is then @xmath24 , so the quark - hole pair has no net momentum , and is spatially constant . in condensed matter physics , an excitation as in fig .
[ exciton ] is known as an exciton .
naively , we might expect that excitons are suppressed , since the relative momentum between the particle and the hole , @xmath26 , is large .    [ 1.0 ] .,title="fig : " ]    however , this is not the only way for quarks and their holes to break the chiral symmetry .
consider pairing a ( left handed ) quark , with momentum @xmath15 , and the hole formed by removing a ( right handed ) quark with the _ opposite _ momentum , @xmath24 , from the fermi sea .
the quark hole then has the same momentum as the quark , @xmath27 , so that the resulting condensate is _ not _ uniform , and has a net momentum @xmath28 ; this is , it varies as @xmath29 , where @xmath30 is the direction along which the pair moves , @xmath31 .
such condensates do not occur in vacuum , where they would imply the spontaneous breaking of rotational symmetry . in condensed matter physics ,
though , such non - uniform condensates are common , and known as density waves @xcite ; this is then a chiral density wave .
note that the relative momentum between the quark and its hole is small , so such a condensate may be favored .    [ 1.0 ] , @xmath32.,title="fig : " ]    in this paper we show that in the gribov - zwanziger model , that the exciton pairing of fig .
[ exciton ] is not generated , but that the chiral density wave of fig .
[ cdw ] is .
again , this is familiar from systems in condensed matter : typically excitons are only created dynamically as resonances , such as by the absorption of light , and usually do not condense .
density waves are common , especially for systems in @xmath8 dimensions @xcite .
we will investigate all dirac and flavor structures , and show which types are preferred .    for completeness , we illustrate the pairing between two quarks which leads to color superconductivity in fig .
[ clr_super ] .
this is pairing between a quark at one edge of the fermi surface , with momentum @xmath27 , and another quark at the other edge , with momentum @xmath24 .
since pairing is between two quarks , the condensate has no net momentum and is spatially uniform .
for this reason , pairing can occur over the entire fermi surface , in a spatially symmetric state .
so far , we have not emphasized the @xmath1 and @xmath6 dependence of pairing , which is not captured by the illustrations in figs .
[ qqbar ] - [ clr_super ] .
the pairing in figs .
[ exciton ] and [ cdw ] is between a quark and a quark hole of the same color , so the condensate is @xmath23 .
further , to the extent that @xmath33 , the condensate is rather insensitive to @xmath6 .
in contrast , the diquark pairing of color superconductivity depends upon @xmath1 and @xmath6 in an essential way .
fermi statistics greatly constrains the pairing between two quarks ( or two quark holes ) : it is always anti - symmetric in color , so there are strong relations between the spatial wavefunction , flavor , and chirality . for instance , in case of @xmath34 and @xmath35 , spatially symmetric condensates form by anti - symmetrizing in flavor ; this condensate pairs quarks of the same chirality together , and so does not break the chiral symmetry . on the other hand , for @xmath36 and @xmath35 , the preferred condensate does break the chiral symmetry , through color - flavor locking @xcite .    for more than three colors ,
the gaps for color superconductivity depend sensitively upon which representation one assumes the quarks to lie in .
if the quarks are in the fundamental representation , then since the pairing for color superconductivity is anti - symmetric in the colors of the two quarks , the gap is not a color singlet , and is suppressed at large @xmath1 .
it is also possible , however , to generalize qcd by letting the quarks lie in the two - index , anti - symmetric representation of color @xcite .
this limit is rather different from that which we consider in this paper .
there are @xmath37 quarks in this limit , so that gluons are affected the quarks , and there is no quarkyonic phase .
this is like taking the number of flavors , @xmath6 , to grow with @xmath1 .
in such a limit color superconductivity is not suppressed at large @xmath1 .
it is not clear which of these two limits is most like qcd , with three colors and three light flavors .
we suggest that it is useful to consider all possible limits , and to see what qualitative conclusions might be tested in qcd .
[ 1.0 ] .,title="fig : " ]    if a channel for color superconductivity exists , then cooper pairs will form for arbitrarily weak coupling .
thus color superconductivity is always the dominant pairing mechanism at asymptotically large chemical potential .
the essential question is then , how large does the chemical potential have to be for color superconductivity to win out over other pairing mechanisms , such as chiral density waves ?
that chiral density waves @xcite dominate at large @xmath1 was first demonstrated by deryagin , grigoriev , and rubakov @xcite . using a perturbative gluon propagator , @xmath38 in momentum space , they find that chiral density waves form , with a condensate @xmath39 in magnitude , where @xmath40 is the qcd fine structure constant , measured at a scale @xmath41 .
implicitly , the computation assumes that dense quarks form a fermi liquid , so that pairing is from quarks ( and holes ) within @xmath42 of the edge of the fermi sea .
in contrast , quarkyonic matter is not a fermi liquid because of confinement of quarks .
low energy excitations , within @xmath43 of the edge of the fermi sea , interact not through the perturbative gluon propagator , but through the gribov - zwanziger form , @xmath0 . a chiral density wave forms , with the same dirac structure as in perturbation theory . because the relevant momenta for pairing is controlled by a confining potential ,
the quarkyonic condensate for chiral density waves is inevitably @xmath43 in magnitude .
our analysis applies in a regime of intermediate @xmath2 , where the quarkyonic gap is greater in magnitude than the perturbative gap .
we find that for @xmath44 whenever @xmath45 , using @xmath46 .
for the coupling in qcd , this means that @xmath47  gev . at larger values of @xmath41 , @xmath48 . as we discuss at the end of sec .
2.1 , this is a difficult regime to treat , as the effects of both perturbative interactions , and confinement , must be included .
it is known that for a fermi liquid of dense quarks , chiral density waves lose out to color superconductivity except for very large values of the color , @xmath49 @xcite .
this is because the chiral density waves generated by perturbative interactions are very sensitive to screening by dynamical quarks .    in sharp contrast
, we expect that quarkyonic chiral density waves are much less sensitive to screening by dynamical quarks . at large @xmath1
, dynamical quarks do not affect a quarkyonic phase until asymptotically large values of the chemical potential , @xmath50 .
this power of @xmath51 follows either from considering the debye mass , as in ref .
@xcite , or the free energy , as discussed in appendix [ appendixb ] .
as long as there is a quarkyonic phase , and @xmath44 , we expect that quarkyonic chiral density waves dominate .
the outline of the paper is as follows . for quark and quark hole excitations near the fermi surface , where the magnitude of the transverse momentum @xmath52 , the theory in @xmath7 dimensions reduces to an effective model in @xmath8 dimensions @xcite .
in sec . [ dim_red ] we show that in the gribov - zwanziger model , this implies that in the gluon propagator , we can integrate over @xmath53 to obtain @xmath54 this is the gluon propagator in @xmath8 dimensions , so our effective theory is just qcd in @xmath8 dimensions .
we discuss how in the gribov - zwanziger model , it is necessary for @xmath55 for this reduction to hold .    in sec .
[ eff_lag ] we consider how quantum numbers in @xmath7 dimensions map onto those in @xmath8 dimensions . starting with left and right handed massless quarks in @xmath7 dimensions , we find that the reduced model has a doubled flavor symmetry : @xmath6 flavors in @xmath7 dimensions becomes an @xmath9 symmetry in @xmath8 dimensions .
this extended symmetry follows immediately from the analysis of shuster and son @xcite , and is very much like the doubling of flavor symmetry which occurs for heavy quarks .    in sec .
[ 2d_ferm ] we show how in @xmath8 dimensions , through an anomalous redefinition of the quark fields , a theory at nonzero chemical potential can be mapped onto the corresponding theory in vacuum .
the net quark number , present in the theory at @xmath56 , is generated by the axial anomaly , as shown in appendix [ appendixa ] .
the mapping can then be reversed : knowing results for a gauge theory in @xmath8 dimensions in vacuum , one can read off what happens in a fermi sea , @xmath56 .
we show that a constant condensate in vacuum , @xmath57 , produces a condensate @xmath58 , where @xmath10 is the spatial coordinate , and @xmath59 the dirac matrix in @xmath8 dimensions . in the reduced model , the two dimensional @xmath60 , where @xmath61 and @xmath62 are dirac matrices in @xmath7 dimensions .
this type of spatially dependent condensate at @xmath56 is familiar from soluble models in @xmath8 dimensions @xcite , where schn and thies termed it a `` chiral spiral '' @xcite .
a chiral spiral was also found by bringoltz , in his numerical analysis of heavy quarks at nonzero density in qcd in @xmath8 dimensions @xcite .
we thus term our solution a quarkyonic chiral spiral ( qcs ) .    while we concentrate on massless quarks , in sec .
[ massive_quarks ] we discuss how massive quarks also exhibit chiral spirals .
this is because even for massive quarks , excitations about the fermi surface are gapless at tree level .
effective theories about a qcs are considered in sec .
[ wzw ] . using non - abelian bosonization ,
the reduced model in @xmath8 dimensions reduces to a wess - zumino - novikov - witten ( wznw ) model @xcite .
this model has long range correlations , which should also produce long range correlations in @xmath7 dimensions .
we conclude in sec .
[ conclusions ] about whether qcs s may be be relevant for cold , dense qcd .
we note that qcs s are closely related to pion condensation @xcite .
they are not identical , because a pion condensate is a chiral spiral in the four dimensional @xmath63 , while for a qcs , it is in the two dimensional @xmath59 .
we also note that if pionic chiral spirals occur , then probably so do kaonic chiral spirals . as a spatially varying condensate ,
a kaonic chiral spiral differs for the spatially constant condensate of kaon condensation @xcite .
chiral density waves also arise in the sakai - sugimoto model @xcite
.    the physics of qcs s should be especially rich , however , since it includes the spontaneous breaking of translational and rotational symmetries , and a plethora of light modes .
such phenomenon should have direct implications for observations of neutron / quarkyonic stars .
we start by considering the schwinger - dyson equation for the quark self - energy . in a quarkyonic phase at large @xmath1 ,
the gluons are unaffected by the quarks , so that corrections to the gluon self - energy , and vertices , can be neglected . for the quark self - energy
we take the sum of rainbow diagrams , @xmath64 where @xmath65 is the quark self - energy . at a nonzero chemical potential @xmath41 ,
the dressed quark propagator , @xmath66 , is @xmath67\gamma_4   + [ k_j + \sigma_j(k)]\gamma_j } \ ; . \label{sd2}\ ] ] where @xmath68 is determined self - consistently through the integral equation , eq .
( [ sd1 ] ) .
we work in euclidean spacetime , @xmath69 . in the limit
that @xmath55 , we neglect chiral symmetry effects as in vacuum , as illustrated in fig .
[ qqbar ] ; such effects have been considered at @xmath56 by refs .
consequently , we neglect terms @xmath70 in the quark self - energy and propagator .    for the gluon propagator , @xmath71
, we take the gribov - zwanziger form , @xmath72 at the outset , we stress that we are dealing with a _ model _ of confinement .
while the gluon propagator , and vertices , are unaffected by quark loops , there is no fundamental justification in taking the vertices to be the same as the bare ones , nor in taking the gluon propagator of eq .
( [ gluon_propagator ] ) .
the gluon propagator involves a parameter , @xmath73 , which is the string tension , and has dimensions of mass squared , @xmath74 .
numerical factors @xmath75 and @xmath76 are multiplied to reproduce a correct linear potential for the color singlet channel .
we stress that the propagator in eq .
( [ gluon_propagator ] ) is valid only for _ small _ momenta , for @xmath77 . for larger momenta
, one should use the usual gluon propagator of perturbation theory , @xmath78 . for excitations near the edge of the fermi sea ,
though , we can neglect the perturbative part of the propagator .
this differs , for example , from the computation of the free energy @xcite .
that is dominated by momenta transfers within the entire fermi sea , @xmath79 , for which the perturbative gluon ( and quark ) propagators should be used .
there are contributions to the free energy from momenta @xmath43 , but this are small , powers of @xmath80 times the perturbative terms @xcite .    after summing over the color indices , eq .
( [ sd1 ] ) becomes @xmath81 normalizing the generators as @xmath82 .
since the right hand side of this equation is independent of @xmath83 , so is the quark self - energy , @xmath84 .
the schwinger - dyson equation simplifies considerably if we consider only excitations near the edge of a fermi sea . for a free massless quark with momentum @xmath85 , in a fermi sea its mass shell
is given by @xmath86 assuming that quark is along the @xmath30 direction , so that @xmath87 , @xmath88 thus , as is well known @xcite , in a fermi sea the dispersion relation linearizes in @xmath89 , allowing us to neglect the effects of the transverse momenta for the quarks .
since this is the mass shell for a free quark , it neglects the effects of the quark self - energy , @xmath68 .
we expect , though , that for quarks and quark holes near the fermi surface , including the quark self - energy does not affect the suppression of fluctuations in @xmath53 . for the gribov - zwanziger potential ,
the natural scale for the transverse momenta is @xmath90 .
thus we can neglect the quark transverse momenta in the extreme quarkyonic limit , where @xmath55 .
what happens when @xmath18 is a difficult problem which we do not address here .    in the schwinger - dyson equation ,
the dominant contribution from such an infrared singular gluon propagator is when the gluon momentum is small .
this constrains the internal and external momenta of the quarks to be near one another , @xmath91 . neglecting the transverse momenta of the quark , @xmath92
, we need only consider the two components of the momenta along the light cone , @xmath93 and @xmath94 .
the schwinger - dyson equation thus reduces to @xmath95 since the transverse momentum @xmath92 enters only through the gluon propagator , we can now integrate it out , @xmath96 where we define a two dimensional gauge coupling constant @xmath97 , and neglect @xmath53 .
the reduced schwinger - dyson equation then becomes @xmath98 this integral equation corresponds to qcd in @xmath8 dimensions . in axial gauge ,
@xmath99 , the two dimensional action for gluons reduces to a free term , @xmath100 in the limit of large @xmath1 , the model in @xmath8 dimensions obviously gives the integral equation of eq .
( [ sd5 ] ) .
of course it is necessary to take some care in the reduction of the dirac matrices from @xmath7 to @xmath8 dimensions .
we address this in sec .
[ eff_lag ] .    a more realistic model for the gluon propagator than eq .
( [ gluon_propagator ] ) is to take a sum of the gribov - zwanziger term , @xmath101 , plus a perturbative piece , @xmath78 .
the confining term is valid for momenta @xmath102 ; the perturbative term , for momenta @xmath103 .
the analysis goes through as above .
the dependence of the quark propagators on the transverse momenta can be neglected , so one is left with an integral of the gluon propagator with respect to @xmath92 .
integration over the gribov - zwanziger propagator gives @xmath104 , while the integral over the perturbative piece generates a logarithm @xcite , @xmath105 .    with only a perturbative propagator , @xmath106 ,
the analysis is as follows @xcite : assuming that the @xmath107 is a constant gap , @xmath42 , the dimensional reduction can apply to the region of quark momenta , @xmath108 ( @xmath109 is measured from the fermi momentum ) . integrating over @xmath94 of a quark propagator
yields a factor of the inverse energy , @xmath110 .
the form of self - consistent equation has a similar structure as the bcs gap equation for the constant gap . a dominant contribution to
the integral comes from the inverse energy part , which is sensitive to the gap ( an absence of gap yields infrared divergence in the integrand .
this is nothing but the instability of the fermi surface . )
integration over @xmath93 at soft momentum region gives a logarithm term , @xmath111 .
combining it with the logarithm of the gluon propagator , one find the squared logarithmic form of the gap equation , @xmath112 , with the self - consistent solution of eq .
( [ perturbative_gap ] ) .
when we simply add the confining interaction to the self - consistent equation , its nature strongly changes
. the self - energy can be no longer identified as the gap from the symmetry breaking , because the single - excitation - energy gap due to the confinement potential is large or divergent .
the integral over @xmath93 in the gap equation is @xmath113 , where @xmath114 is a some regular function and @xmath115 is an infrared cutoff .
the infrared cutoff @xmath115 for the gap equation for the single particle spectrum should be identified with the debye mass , so that the gap itself is of order @xmath116 . to see this imagine
we try to ionize a hadronic state into its constituent single particle quark excitations .
this can only happen when the separation between the constituents is of order the debye screening length , and costs an energy @xmath117 .
this provides a gauge invariant definition for the single particle excitation gap .
it also shows that the gap is large compared to the confinement scale in the quarkyonic phase .
there is no weakly coupled solution for the gap equation when in this phase since , if one goes back to the derivation of the perturbative contribution , the derivation of the logarithmic terms is no longer valid . the dominant contribution for the perturbative piece in arises for momenta greater than the gap itself .
it is important to understand that the analysis here concerns only the single particle excitation spectrum .
the issue of chiral condensation is not directly related .
we have provided a self - consistent derivation of the chiral condensate in other parts of this paper , and the condensate arises from non - perturbative effects . in a self - consistent analysis of course one can not rule out the possibility that there is another solution arising from a different kinematic region .    as discussed in the introduction
, we consider only a region of intermediate @xmath41 , where the @xmath44 . in this region , it is safe to include only the confining propagator , and neglect the perturbative term .
when @xmath48 , we enter a more complicated regime , as the large difference in momentum scales required by the perturbative dimensional reduction , between @xmath118 and @xmath42 , is manifestly affected by confinement .
confinement can probably be neglected when @xmath119 , but this only occurs when @xmath120 , which is an astronomically large value of @xmath41 , @xmath121gev .      in this subsection we show how the reduction of the schwinger - dyson equation for the quark propagator applies as well to the bethe - salpeter equation for mesonic wave functions .
henceforth we work in minkowski spacetime , @xmath122 .
we consider the homogeneous equation , which in large @xmath1 is of the ladder type , @xmath123_{\alpha \beta}^{ab } d^{ab}_{\mu \nu}(k - q ) ; \ ] ] @xmath124 and @xmath125 denote color indices , @xmath126 and @xmath127 spinor indices .
@xmath128 is a bound state wave function , where @xmath129 is the total momentum , @xmath130 the relative momentum .
the dressed quark propagator , @xmath131 , is the self - consistent solution to the schwinger - dyson equation , eq .
( [ sd5 ] ) .
the bethe - salpeter equation includes both singlet and adjoint channels , @xmath132 ; for the singlet channel , this reduces to ( @xmath133 ) @xmath134_{\alpha \beta } \frac{8\pi \sigma}{((\vec{k}-\vec{q}\,)^2)^2 } \ ; .\ ] ] as in the previous subsection , we concentrate on very soft gluons , @xmath135 .
we assume that the both quarks , with momenta @xmath136 and @xmath137 are close to the fermi momentum , @xmath138 .
we assume that the quark and quark hole pair have a total momentum along the @xmath10-direction , @xmath139 , and that the transverse momentum of the wavefunction can be neglected .
we consider pairing energies that are both of the exciton type , @xmath140 and @xmath141 , and for a chiral density wave , @xmath142 and @xmath143 .    neglecting the transverse momenta of the quark and quark hole , as we did for the quark mass shell in eq .
( [ mass_shell2 ] ) , we then introduce a wavefuntion , @xmath144 , which is obtained by averaging @xmath145 over the relative , transverse momenta , @xmath146 : @xmath147 the bethe - salpeter equation satisfied by this averaged wavefunction is @xmath148_{\gamma \delta }                \ ; \frac{8\pi \sigma}{((\vec{k}-\vec{q}\,)^2)^2}.                               \end{split}\ ] ] we take the momenta of the quarks to be near the fermi surface , @xmath149 .
thus we introduce two dimensional quark propagators , @xmath150 the bethe - salpeter equation becomes @xmath151_{\gamma \delta } \ ; \int \frac{d^2 \vec{q}_\perp}{(2\pi)^2 } \ ; \frac{8\pi \sigma}{((\vec{k}-\vec{q}\,)^2)^2 } \ ; . \end{split}\ ] ] the wave function on the right hand side depends only upon @xmath152 and @xmath153 , but not upon @xmath130 , and so we can integrate @xmath154 with respect to @xmath92 .
that implies that as for the quark self - energy , we can integrate over @xmath146 , leaving @xmath155_{\gamma \delta } \ ;
\frac{1}{(k_z - q_z)^2 } \ ; . \end{split}\ ] ] this is the same form as the bethe - salpeter equation for qcd in two dimensions @xcite , in @xmath99 gauge .
in the previous section we demonstrated how dimensional reduction , from @xmath7 to @xmath8 dimensions , occurs for both the quark self - energy and the bethe - salpeter wave function . in this section
we show how this arises at the level of effective lagrangians .
our discussion elaborates upon that by shuster and son @xcite .
start with the free quark lagrangian in @xmath7 dimensions .
since we concentrate on quarks near the fermi surface , we assume that the spatial momentum is along the @xmath30 direction , @xmath156 for the dirac matrices , we take @xmath157,\ \   \gamma^j = \left [ \begin{array}{ccc } 0 & -\sigma^j   \\ \sigma^j & 0 \end{array } \right],\ \   \gamma^5 = \left [ \begin{array}{ccc } \ { \bf 1}\ & \ 0\   \\ 0 & -{\bf 1 } \end{array } \right ] \ ; ; \ ] ] @xmath158 are the pauli matrices , and @xmath159 the unit matrix in two dimensions .
we also define spin matrices as @xmath160 = \left [ \begin{array}{ccc } \ \sigma^{i}\ & \ 0\
\\ 0 & \sigma^{i } \end{array } \right ]   \ , ; \ ] ] @xmath161 is the totally antisymmetric tensor , @xmath162 .
if transverse momenta can be neglected , the reduced lagrangian in @xmath8 dimensions has an extended symmetry , which is related to the spin that quarks carry in @xmath7 dimensions .
we introduce projectors for the quark fields , @xmath163 @xmath164 and @xmath165 are right and left handed fields , eigenstates of chirality .
we also introduce projectors for spin @xcite along the @xmath30 direction , @xmath166 ; for eigenstates of chirality , this equals @xmath167 .
the usual chiral basis is to take @xmath168 \ ; , \ ] ] but for this problem , this is rather inconvenient . to see this , we write the free lagrangian in terms of @xmath169 and @xmath170 , @xmath171 \ , .
\end{split}\ ] ] the fields @xmath172 and @xmath173 have spin up along the @xmath174 direction , while @xmath175 and @xmath176 have spin along the @xmath177 direction . in terms of two dimensions , for positive energy @xmath172 and @xmath175
are right moving fields , while @xmath173 and @xmath176 are left moving fields .    because there is no spin in two dimensions ,
we only need two component spinors . thus from one four component spinor in @xmath7 dimensions we obtain two types of two component spinors in @xmath8 dimensions , @xmath178   \;\;\
; ; \;\;\ ; \varphi_\downarrow =   \left [   \begin{array}{cc } \psi_{l+ } \\ \psi_{r- }   \end{array } \right ] \ ; .\ ] ] the spinors @xmath179 and @xmath180 are eigenstate of spin along the @xmath30 direction , and act as two `` flavors '' in @xmath8 dimensions .
this is valid to the extent that we can neglect the transverse momenta , which couple to the flavor breaking matrix , @xmath181 .
we can then combine @xmath179 and @xmath180 into one four component spinor , @xmath182 , that is related to the original quark field , @xmath183 , by a unitary transform , @xmath184 : @xmath185   = u \ ; \psi \;\;\ ; ; \;\;\ ;
u = \left [   \begin{array}{cccc } \ 1\ & \ 0\ & \ 0\ & \ 0\ \\   0 & 0 & 1 & 0 \\   0 & 0 & 0 & 1 \\   0 & 1 & 0 & 0   \end{array } \right ]   \quad ; \quad u^{\dagger } u = 1 \,.\ ] ] for the dirac matrices in two dimensions , @xmath186 , @xmath187 , we make the obvious choice , @xmath188 in two dimensions , @xmath189 while this identity is trivial mathematically , it plays an important role in the next section .
the conjugate is defined as @xmath190 .
it is straightforward to rewrite quark bilinears in @xmath7 dimensions in terms of spinors in @xmath8 dimensions .
the operators appearing in the action , @xmath191 directly map from four to two dimensions .
because of these identities , we see that in the presence of gauge fields , and a nonzero chemical potential , that a gauge theory in @xmath7 dimensions maps into one in @xmath8 dimensions , @xmath192 \phi - \frac{1}{2 } \ ; { { \rm tr}}\ ; g_{\mu\nu}^2 \,.\ ] ] fermions in two dimensions only require two components .
thus a single , four component spinor in four dimensions becomes two types of two components spinors in two dimensions : @xmath183 , or equivalently @xmath182 , become @xmath193 , where @xmath194 is the flavor index in two dimensions , generated dynamically by dimensional reduction .
we note that the mass term reduces similarly ,
@xmath195 one can write the complete dictionary to go from quark bilinears in @xmath7 dimensions to those in @xmath8 dimensions . we introduce matrices for the two dimensional flavor , which act in the space of @xmath179 and @xmath180 : @xmath196 , \left [ \begin{array}{ccc } 0 & -i { \bf 1 }   \\ i{\bf 1 } & 0 \end{array } \right ] , \left [ \begin{array}{ccc } \ { \bf 1}\ & \ 0\ \\ 0 &   -{\bf 1 } \end{array } \right ] \bigg).\ ] ] for operators which are diagonal in flavor , @xmath197 \phi     =    \bar{\psi } \ ; \gamma^0 \ ; u^\dag \left [ \begin{array}{ccc } \gamma^0 \ , \gamma^a & 0   \\ 0 & \gamma^0 \ , \gamma^a \end{array } \right ] u \ ; \psi \ ; ; \ ] ] where @xmath198 , @xmath59 , @xmath199 , or @xmath200 .    for operators which are not diagonal in flavor
, we note that the flavors matrices @xmath201 do not mix right and left moving components , so @xmath202 and @xmath201 commute with each other .
thus operators which are not flavor singlets transform as @xmath197 \ ; { \bf \tau}_f \ ; \phi   =    \bar{\psi } \ ; \gamma^0 \ ; u^\dag \left [ \begin{array}{ccc } \gamma^0 \gamma^a & 0   \\ 0 & \gamma^0 \gamma^a \end{array } \right ] { \bf \tau}_f \ ; u \ ; \psi \,.\ ] ] the complete list of mapping for quark bilinears is given in table [ dictionary ] .
.transformation between quark bilinears in @xmath8 and @xmath7 dimensions . [ cols="^,^,^,^,^",options="header " , ]     we can also use these results to construct the relevant effective lagrangian for a model in which the gluon propagator is a sum of a gribov - zwanziger term , eq .
( [ gluon_propagator ] ) , and a perturbative term .
integration over the former gives qcd in two dimensions , while integration over the perturbative gluon propagator give a non - abelian thirring model @xcite .
thus the general effective model is a gauged , non - abelian thirring model .
as noted in the introduction , we consider only a region of intermediate @xmath41 , where the effects of the thirring model can be neglected .
in two spacetime dimensions , for massless quarks one can directly map the theory at @xmath56 onto that in vacuum , @xmath203 . this has been noted before , in various guises , in the literature before @xcite , especially by christiansen and schaposnik @xcite .
hopefully our discussion adds clarity .    consider the following transformation of the quark fields : @xmath204 this transformation is defined to be the same for each of the two dimensional `` flavors '' , @xmath179 and @xmath180 , and so preserves the flavor symmetry . under this transformation ,
the lagrangian becomes @xmath205 \phi =   \overline{\phi } ' \big [   i \ , \gamma^\mu \ , ( \partial_\mu + i g_{{\rm 2d}}\ , a_\mu )   \big ] \phi ' .
\label{trans_massless_qks}\ ] ] that is , by redefining the quark fields , we have _ completely _ eliminated the chemical potential ; one has transformed the theory from one in the presence of a fermi sea to that in vacuum .
this happens because when @xmath206 acts upon @xmath207 , it equals @xmath208 , which by eq .
( [ twodim_identity ] ) , equals @xmath209 , and so cancels the term for the quark chemical potential in the original lagrangian .    as we discuss in sec .
[ massive_quarks ] , this is special to massless quarks , and does not hold for massive quarks .
it also does not hold in higher dimensions , where the effects of transverse fluctuations obviate any such correspondence .
we then have a quandry : there is a nonzero density of quarks in the original theory , with @xmath56 .
the vacuum has no such density , so where did it go ?
the answer is that the transformation of eq .
( [ anom_transf ] ) is anomalous , involving the dirac matrix @xmath59 .
one can show that the correct quark density is given , precisely , by the anomaly .
there are many ways of doing the calculation ; in appendix [ appendixa ] we give the computation based upon operator regularization .
the computation also shows that the only quark bilinear to receive an anomalous contribution is that for quark number . for other operators ,
the transformation from @xmath182 to @xmath210 can be computed naively .
the most interesting transformation is for the chiral condensate . using eq .
( [ mass_transf ] ) , we write the a chiral condensate for @xmath182 , in terms of @xmath211 : @xmath212 assume that there is chiral symmetry breaking in vacuum , so that @xmath213 .
actually , in @xmath8 dimensions fluctuations disorder the system , and only leave quasi long range order @xcite . since this is due to fluctuations , at large @xmath1
such disorder only occurs over distances exponential in @xmath1 @xcite . neglecting such details ,
if chiral symmetry breaking occurs in vacuum , then it also occurs in the presence of a fermi sea , in the following manner : @xmath214 this is the strict analogy of migdal s pion condensation @xcite in @xmath8 dimensions .
chiral symmetry is broken , but by a spiral in the two possible directions , between @xmath215 and @xmath216 .
schn and thies @xcite termed this as a `` chiral spiral '' , and we adopt their evocative name , and so refer to our result as a quarkyonic chiral spiral .
we can also understand why exciton pairing is not favored .
an exciton condensate corresponds to @xmath217 , which is a spin @xmath218 operator . in the effective theory ,
the corresponding operators are @xmath219 and @xmath220 .
these operators are flavor non - singlet . in two dimensions in vacuum ,
though , it is expected that the spontaneous breaking of chiral symmetry proceeds through condensates which are flavor singlets , and not through condensates which carry flavor .
we conclude this section by noting that the extended flavor symmetry in @xmath8 dimensions is special to the vector - like interactions of qcd , and is not a generic property of theories in @xmath7 dimensions .
consider , for example , a general nambu - jona - lasino ( njl ) model , with interactions such as @xmath221 .
this is the square of a mass term , and so is not invariant under the anomalous chiral transformation of eq .
( [ anom_transf ] ) . in accord with this
, nickel found that in njl models at nonzero density , the thermodynamically favored ground state is a crystal , but not a chiral spiral @xcite .
in this section we show how for massive quarks , excitations near the fermi surface can be mapped onto a ( modified ) theory of the vacuum . for massless quarks ,
this could be done for the entire theory ; here , it is only for fluctuations near the fermi surface .    let the quark mass be @xmath222 , so the fermi momentum is related to the chemical potential as @xmath223 .
we work in the extreme quarkyonic limit , where @xmath55 . starting with the theory in @xmath7 dimensions , by neglecting the transverse momenta
we obtain an effective theory in @xmath8 dimensions , @xmath224 \phi \,.\ ] ] in this case , we could perform the transformation of eq .
( [ anom_transf ] ) , and so eliminate the term @xmath225 from the action , as in eq .
( [ trans_massless_qks ] ) .
the chemical potential is still in the action , though , through the transformation of the mass term into a complicated , position dependent `` mass '' , as in eq .
( [ trans_mass ] ) .
while one can not make an exact correspondence to the vacuum theory , one can still make an interesting , if more limited , correspondence .
consider not all fluctuations in the theory , but just those near the fermi surface .
as is well known @xcite , even massive particles have a massless dispersion near the fermi surface , with a modification to the speed of light : @xmath226 as for the massless case , we can neglect anti - quarks , deep in the fermi sea .
first , let us decompose the spectrum of quarks .
we have two fermi surfaces , @xmath227 , and have particle and hole excitations at each fermi sea , with energy @xmath228 .
we identify the excitation around the fermi sea with @xmath229 as a right moving fermion , and with @xmath230 as a left moving fermion .
the effective lagrangian becomes @xmath231 \phi \ , , \label{massive_eff_lag}\ ] ] where we have assumed @xmath99 gauge .
this is the same theory as for the massless case , eq .
( [ trans_massless_qks ] ) , except the speed of light is not one , but @xmath232 .
these elementary manipulations can be used to explain the nature of chiral spirals in exactly soluble models in @xmath8 dimensions @xcite .    for massless quarks ,
one maps the complete theory , in the presence of a fermi sea , onto the vacuum .
thus the computation of @xmath233 is complete , and both @xmath234 and @xmath235 oscillate about zero .
there are several examples , such as the gross - neveu model for a large number of flavors , in which this can be computed analytically @xcite .
bringoltz considered a nonzero density of massive quarks for qcd in @xmath8 dimensions @xcite . by numerical analysis of the theory in the canonical ensemble
, he showed that chiral spirals also arise for massive quarks .
these are due to quark and quark hole excitations about the edge of the fermi surface , eq .
( [ massive_eff_lag ] ) . as the density increases , @xmath236 , and the massive theory approaches the massless limit .
the massless excitations near the fermi surface can be described in terms of a wess - zumino - novikov - witten ( wznw ) theory @xcite .
the dictionary between bosonic and fermionic currents for color , flavor , and ( baryon ) charge elements is @xmath237   = { \ : \!\!}\psi_+^\dag
t_a \psi_+ { \!\!:\ } , \   j_-^a = \frac{i}{2\pi } { { \rm tr}}[h ( \partial_- h^{-1 } ) t_a ]   = { \ : \!\!}\psi_-^\dag t_a \psi_- { \!\!:\ } , \nonumber \\ j_+^f = & \frac{i}{2\pi } { { \rm tr}}[g^{-1 } ( \partial_+ g ) \tau_f ]   = { \ : \!\!}\psi_+^\dag \tau_f \psi_+ { \!\!:\ } , \    j_-^f = \frac{i}{2\pi } { { \rm tr}}[g ( \partial_- g^{-1 } ) \tau_f ]   = { \ : \!\!}\psi_-^\dag \tau_f \psi_- { \!\!:\ } , \nonumber \\ j_+ = & \sqrt{\frac{{n_{\rm c}}{n_{\rm f}}}{2\pi } } \partial_+ \phi   = { \ : \!\!}\psi_+^\dag \psi_+ { \!\!:\ } , \
j_- = \sqrt{\frac{{n_{\rm c}}{n_{\rm f}}}{2\pi } } \partial_- \phi   = { \ : \!\!}\psi_-^\dag \psi_- { \!\!:\ } \ ; ; \end{aligned}\ ] ] @xmath238 is the color matrix , and @xmath239 an element of @xmath12 ; @xmath240 is the flavor matrix , and @xmath241 an element of @xmath9 .
normal ordering of a composite operator @xmath242 is denoted by @xmath243 .    for free dirac fermions with @xmath1 colors and @xmath244 flavors , @xmath245 \,,\ ] ]
the bosonized version is @xmath246 + s_{2 { n_{\rm f}}}^\text{color}[h ] + s_{{n_{\rm c}}}^\text{flavor}[g ] \label{wzw_action}\ ] ] with @xmath247   = & { n_{\rm c}}{n_{\rm f}}\int d^2 x \ ; ( \partial_\mu \phi)^2 , \nonumber \\ s_{k}[l ]    = & k\ { { \rm tr}}\bigg [   \frac{1}{16\pi }    \int d^2x \ ; \partial_\mu l \partial^\mu l^{-1 }   + \frac{1}{24\pi }    \int d^3x \ ; \epsilon^{\mu \nu \lambda }    ( l^{-1 } \partial_\mu l ) ( l^{-1}\partial_\nu l ) ( l^{-1 } \partial_\lambda l )   \bigg ] .
\nonumber \\\end{aligned}\ ] ] this is a sum of a free massless scalar , for the @xmath248 of baryon number , a @xmath12 wznw model with level @xmath249 , and a @xmath9 wznw model with level @xmath1 .
a similar form can be derived for the theory of dirac fermions coupled to a gauge field @xcite .
the flavor part of the action , @xmath250 $ ] , is completely unchanged , because the currents which define the flavor matrix @xmath241 are color singlets . the color dependent part of the action , @xmath251 $ ] , becomes that of a gauged wznw action .
the spectrum of a gauged wznw model is involved @xcite .
however , what we are most concerned about are excitations near the fermi surface ; namely , are there gapless modes . in this context , what is of greatest concern is that is that the massless correlations of the _ flavor _ wznw action , @xmath250 $ ] , dominate correlations over large distances .
note that this is true for _ both _ massless and massive quarks . in either case , there are numerous gapless modes about the fermi surface .
in this paper we approximate the confining potential in a quarkyonic phase as in eq .
( [ gluon_propagator ] ) .
we then find that quarkyonic chiral spirals ( qcs s ) arise naturally , and can be expressed in terms of an effective model in @xmath8 dimensions .
our analysis is valid in the extreme quarkyonic limit , where @xmath55 , within a narrow skin of the surface of the fermi sea , @xmath43 .    in this work we only considered the formation of a single chiral density wave , in a fixed direction .
it is most likely , though , that the entire fermi surface is covered with patches of chiral density waves , in different directions @xcite . the detailed manner in which the fermi surface is covered with such patches will be discussed separately @xcite .
quarkyonic chiral spirals are reminiscent of the pion condensates of migdal @xcite .
pion condensates arise in effective models of nucleons interacting with pions : they are chiral spirals which oscillate as @xmath252 , where @xmath253 is a pure number and @xmath254 is the pion decay constant .
in contrast , a qcs arises from the interactions of quarks and gluons ; it is a chiral spiral not in chirality , @xmath63 , but in spin , @xmath255 .
it is of great interest that we find a qcs for massive quarks .
kaplan and nelson suggested that in dense matter , effective models of nucleons and kaons indicate that there is a condensate for the @xmath256 field @xcite .
this is constant in space , and so is unlike the chiral spiral which we would expect in strange quarkyonic matter .    for distances @xmath257 , qcs s
have numerous modes with long ranged correlations , from the correlations of the wznw model , sec . [ wzw ] .
it is possible that the long range correlations of the modes of the wznw model acquired finite range over distances @xmath258 .
even so , this predicts _ many _ more light modes than expected otherwise .
the formation of qcs s has strong implications for the phase diagram of a gauge theory .
the usual expectation is that one goes from a phase where chiral symmetry breaking is broken through a constant condensate , @xmath57 , directly to a phase where it vanishes , @xmath259 .
if a qcs forms , chiral symmetry is broken , but through an order parameter which differs from that in vacuum .
as for a pion condensate , a qcs spontaneously breaks both translational and rotational symmetries . thus there is a strict order parameter which differentiates between ordinary chiral symmetry breaking , with a constant chiral order parameter , and a qcs .
it also implies that there are exactly massless goldstone bosons in a qcs , from the spontaneously broken symmetries of translation and rotation .
similarly , there is an order parameter which differentiates between a qcs , and a phase which is chirally symmetric ( at least for massless quarks ) .
this implies that at zero temperature , as @xmath41 increases there is first a fermi sea .
there is then a well defined phase transition from a phase with constant @xmath57 to a qcs .
there is then a second phase transition , from the qcs to a chirally symmetry phase , with @xmath259 .
this differs from models which exclude spatially dependent condensates , ref .
@xcite , but similar to models which allow for then , ref .
@xcite .
thus at @xmath260 and @xmath56 , we predict the existence of an intermediate phase , with a qcs . in appendix [ appendixb ]
we show that quarks affect gluons at asymptotically large @xmath261 . at such large @xmath41 , deconfinement and chiral symmetry breaking surely occur .
thus suggests that at least for large @xmath1 , the region with a qcs is also large .
further , it is very possible that the phase transition from a qcs , to a chirally symmetry phase , occurs before the theory deconfines .
we conclude by suggesting that dynamical quarks do _ not _ easily wash out a quarkyonic phase , nor related effects , such as quarkyonic chiral spirals . in qcd
, it is known that the effects of screening , from dynamical quarks , are not strong .
notably , the linear term in the quark anti - quark potential persists to rather short distances , @xmath262  fm .
this distance is comparable to the short range repulsion experienced by nucleons .
short distances then translates into high densities .
it would be very interesting to estimate this effect within effective models , such as approximate solutions to the schwinger - dyson equations .
our analysis clearly raises more questions than it answers .
however , we hope that we have provided a different way for thinking about cold , dense quark matter , and about the surprises which it might provide . in the end , this is of direct relevance to neutron ( quarkyonic ? ) stars , for which a wealth of experimental data will be forthcoming in the next few years .
the research of r. d. pisarski and l. mclerran is supported under doe contract no .
de - ac02 - 98ch10886 .
r. d. pisarski also thanks the alexander von humboldt foundation for their support .
this research of y. hidaka is supported by the grant - in - aid for the global coe program `` the next generation of physics , spun from universality and emergence '' from the ministry of education , culture , sports , science and technology ( mext ) of japan .
t. kojo is supported by special posdoctoral research program of riken .
l. mclerran gratefully acknowledges conversation with thomas schfer , who insisted that chiral symmetry breaking must occur in the form of chiral density waves at large @xmath1 .
we also thank gokce basar , barak bringoltz , michael buchoff , aleksey cherman , thomas cohen , gerald dunne , robert konik , alex kovner , dominik nickel , and alexei tsvelik for useful discussions and comments .
in this appendix we show that at a nonzero temperature , @xmath263 , screening by dynamical quarks enters when @xmath264 .
consider , for example , the square of debye screening mass at one loop order @xcite .
gluons contribute @xmath265 , quarks give @xmath266 .
balancing the two terms , quarks start affecting gluons when when @xmath267 .
next consider the same analysis for the free energy .
contributions from gluons are @xmath268 , while those from quarks are @xmath269 times powers of @xmath41 and @xmath263 : @xmath270 , @xmath271 , and @xmath272 , see eq .
( [ semi3 ] ) below .
of course at @xmath273 and beyond , the quark and gluon contributions get mixed up together , but this does not affect our power counting in @xmath1 . if we then balance the leading term for gluons , @xmath268 , against that of quarks , @xmath274 , we estimate that quarks dominate when @xmath275 @xcite , and not @xmath276 , as for the debye mass .    with the free energy ,
however , one must take more care .
one can not simply equate the magnitude fo the free energies , but remember that deconfinement is only defined by a change in the relevant order parameter , which is the ( renormalized ) polyakov loop @xcite .
this is generated by a nontrivial distribution in the eigenvalues of the thermal wilson line .
this can be modeled by expanding about a constant expectation for the timelike component of the vector potential , @xmath277 @xmath278 , is a diagonal matrix in color space , and is traceless , as a sum over elements of @xmath12 .
@xmath278 has dimensions of mass , where the mass scale is set by the temperature , @xmath263 .
we do not need to know the explicit distribution of the @xmath278 s in order to estimate how large @xmath41 must be for quarks to affect the @xmath278-distribution .    at very large @xmath41
we can compute the quark determinant , in the presence of this background field , to one loop order . a constant field for @xmath279 acts like an imaginary chemical potential for color ,
and so it is natural to introduce a color dependent chemical potential @xcite , @xmath280 at one loop order one obtains the usual result for the pressure , with @xmath41 replaced by @xmath281 : @xmath282 for large @xmath41 , the dominant contribution is from the expansion of the first term , @xmath283 , as we estimated above . while this is as large as the gluon contribution when @xmath275 , that does not matter , since this term is _ independent _ of @xmath278 .
this holds order by order in perturbation theory , simply because @xmath278 has dimensions of mass .
the next term is from the expansion of @xmath284 , equal to @xmath285 ; this vanishes , though , because @xmath278 is a traceless matrix .    the leading term which is @xmath278-dependent is the next term in the expansion of @xmath286 , which is @xmath287 .
since the trace is @xmath23 , this is as large as the gluon contribution , @xmath37 , when @xmath267 .
this agrees with our estimate from the debye mass .    at large @xmath1 , since the quarks do not affect gluons until @xmath267 , the boundary from the confining , to the deconfining , phase is a straight line in the plane of @xmath263 and @xmath41 @xcite .
the pure glue theory has a global symmetry of @xmath288 , which for large @xmath1 is approximately @xmath248 . at large @xmath41 ,
the leading term from quarks is @xmath289 , and breaks the @xmath288 symmetry . like other terms from quarks
, this favors a real expectation value for the polyakov loop .
such a term acts to wash out the line of first order transitions .
there are two possibilities .
one is that the quarks produce a critical endpoint for deconfinement .
the other is that the first line for deconfinement bends and meets the axis for @xmath290 .
since all of our analysis depends upon @xmath291 , we favor the former .
in this appendix we compute the baryon number generated by the anomalous transformation in eq .
( [ anom_transf ] ) .
consider the operator for baryon number , computed with point splitting : @xmath292 }   } \over {    z[\mu \neq 0 ]   } }    \\ = &   \lim_{\epsilon \to 0 }   { { \int { \cal d}\overline { \phi } ' { \cal d } \phi '   \ \overline{\phi}'(x+\epsilon )   e^{i\mu \epsilon_z \gamma^5 } \gamma^0 \phi'(x ) e^{is[\phi';\mu = 0 ] } } \over {   z[\mu=0 ] } }    \\ = &   2 \ ; \lim_{\epsilon \to 0 } \bigg(\frac{i}{2\pi \epsilon^2 } \bigg ) \bigg [   { { \rm tr}}[\gamma^0 { { \ooalign{\hfil/\hfil\crcr$\epsilon$ } } } ] + i\mu \epsilon_z { { \rm tr}}[\gamma^5\gamma^0 { { \ooalign{\hfil/\hfil\crcr$\epsilon$ } } } ]   + o(\epsilon^3 ) \bigg ] \\ = & 2 \ ; \lim_{\epsilon \to 0 }   \bigg [ \frac{i \epsilon_0}{\pi \epsilon^2 } - \frac{\mu \epsilon_z^2 } { \pi \epsilon^2 } \bigg ] \ , .
\label{nb } \end{split}\ ] ] we take the symmetric limit to preserve lorentz symmetry in the ultraviolet regime , @xmath293 the first term is odd in @xmath294 , and so vanishes after averaging over both directions . hence @xmath295 this equals the baryon number density for a gas of two flavors of free quarks , with chemical potential @xmath41 .
the computation can be repeated for other operators , such as @xmath234 , @xmath235 , and @xmath296 .
these operators do not have anomalous terms , since @xmath297 = 0 , \ \
{ { \rm tr}}[\gamma^5{{\ooalign{\hfil/\hfil\crcr$\epsilon$ } } } ] = 0,\ \
\frac{\epsilon_z}{\epsilon^2 }   { { \rm tr}}[\gamma^5\gamma^z { { \ooalign{\hfil/\hfil\crcr$\epsilon$ } } } ] = \frac{\epsilon_z \epsilon_0}{\epsilon^2 } \rightarrow 0 \ ; , \ ] ] respectively . for these condensates , the explicit phase dependence , in transforming from @xmath182 to @xmath210 , must be taken into account , but there are no additional terms from the anomaly .
g. t hooft , .
s. coleman , _ 1/@xmath1 , aspects of symmetry _ , sec
. 8 , proceedings of the international school of subnuclear physics , 17th erice , 1979 ; e.  witten , ; a.  v.  manohar , [ arxiv : hep - ph/9802419 ] .
m.  teper , pos lat2008 ( 2008 ) 022 ; m.  panero , .
g. t hooft , .
callan , jr .
, n. coote , and d.j . gross , ; i.  bars and m.  b.  green , ; a.  r.  zhitnitsky , ; f.  lenz , m.  thies , k.  yazaki and s.  levit , ; l.  l.  salcedo , s.  levit and j.  w.  negele , ; m.  engelhardt , ; a.  r.  zhitnitsky , . l.  mclerran and r.  d.  pisarski , . y.  hidaka , l.  d.  mclerran and r.  d.  pisarski , ; k.  fukushima , ; [ erratum - ibid .
d 78 ( 2008 ) 039902 ] ; l.  mclerran , k.  redlich and c.  sasaki , ; a.  andronic _ et al .
_ , [ arxiv:0911.4806 ] ; r.  stock , f.  becattini , t.  kollegger , m.  mitrovski and t.  schuster , [ arxiv:0911.5705 ] . l.  y.  glozman and r.  f.  wagenbrunn , ; l.  y.  glozman , ; .
p.  guo and a.  p.  szczepaniak , .
gribov , ; y.  l.  dokshitzer and d.  e.  kharzeev , .
d.  zwanziger , ; . m.  g.  alford , a.  schmitt , k.  rajagopal and t.  schafer , .
m.  t.  frandsen , c.  kouvaris and f.  sannino , ; m.  i.  buchoff , a.  cherman and t.  d.  cohen , [ arxiv:0910.0470 ] ; t.  d.  cohen , d.  l.  shafer and r.  f.  lebed , .
a. tsvelik , _ quantum field theory in condensed matter physics _
( cambridge university press , cambridge , 2003 ) .
d.  v.  deryagin , d.  y.  grigoriev and v.  a.  rubakov , .
e.  shuster and d.  t.  son , . b.  y.  park , m.  rho , a.  wirzba and i.  zahed , ; r.  rapp , e.  v.  shuryak and i.  zahed , ; b.  bringoltz , ; s.  maedan , [ arxiv:0908.0594 ]
. w.  fischler , j.  b.  kogut and l.  susskind , ; s.  t.  love , ; y.  c.  kao and y.  w.  lee , ; h.  r.  christiansen and f.  a.  schaposnik , ; ; s.  nagy , j.  polonyi and k.  sailer , ; p.
de forcrand and u.  wenger , pos lat2006 ( 2006 ) 152 ; m.  a.  metlitski , ; s.  g.  maciel and s.  perez , . v.  schon and m.  thies , ;
m.  thies , ; m.  thies and k.  urlichs , ; ; ; o.  schnetz , m.  thies and k.  urlichs , ; c.  boehmer , m.  thies and k.  urlichs , .
g.  basar and g.  v.  dunne , ; ; c.  boehmer , u.  fritsch , s.  kraus and m.  thies , ; g.  basar , g.  v.  dunne and m.  thies , ; c.  boehmer and m.  thies , [ arxiv:0912.2664 ] . b.  bringoltz , ; .
k.  y.  kim , s.  j.  sin and i.  zahed , [ arxiv : hep - th/0608046 ] ; n.  horigome and y.  tanii , ; a.  parnachev and d.  a.  sahakyan , ; s.  nakamura , y.  seo , s.  j.  sin and k.  p.  yogendran , ; s.  kobayashi , d.  mateos , s.  matsuura , r.  c.  myers and r.  m.  thomson , ; d.  yamada , ; o.  bergman , g.  lifschytz and m.  lippert , ; m.  rozali , h.  h.  shieh , m.  van raamsdonk and j.  wu , ; k.  ghoroku , m.  ishihara and a.  nakamura , ; a.  parnachev , ; a.  karch and a.  obannon , ; d.  mateos , s.  matsuura , r.  c.  myers and r.  m.  thomson , ; m.  rozali , h.  h.  shieh , m.  van raamsdonk and j.  wu , ; k.  y.  kim , s.  j.  sin and i.  zahed , ; o.  bergman , g.  lifschytz and m.  lippert , ; k.  hashimoto , ; k.  nawa , h.  suganuma and t.  kojo , ; k - y .
kim and i. zahed , ; m.  kulaxizi and a.  parnachev , ; a.  rebhan , a.  schmitt and s.  a.  stricker , ; m.  rho , s.  j.  sin and i.  zahed , [ arxiv:0910.3774 ] .
a. b. migdal , [ ] ; [ ] ; ; ; ; r.  f.  sawyer , ; d.  j.  scalapino , ; ; r.  f.  sawyer and d.  j.  scalapino , ; g.  baym , a.  b.  migdal , o.  a.  markin and i.  i.  mishustin , ; r.  f.  dashen and j.  t.  manassah , ; g.  baym , d.  campbell , r.  f.  dashen and j.  manassah , ; d.  k.  campbell , r.  f.  dashen and j.  t.  manassah , ; ; a.  b.  migdal , g.  a.  sorokin , o.  a.  markin and i.  n.  mishustin , ; a.  b.  migdal , a.  i.  chernoutsan and i.  n.  mishustin , ; w.  weise , ; g.  baym , ; k.  kolehmainen and g.  baym , ; g.  baym , b.  l.  friman and g.  grinstein , ; a.  b.  migdal , e.  e.  saperstein , m.  a.  troitsky and d.  n.  voskresensky , ; a.  akmal and v.  r.  pandharipande , ; d.  t.  son and m.  a.  stephanov , [ ] ; a.  barducci , r.  casalbuoni , g.  pettini and l.  ravagli , ; e.  nakano and t.  tatsumi , ; d.  ebert and k.  g.  klimenko , ; j.  o.  andersen , ; h.  abuki , r.  anglani , r.  gatto , m.  pellicoro and m.  ruggieri , ; t.  herpay and p.  kovacs , ; d.  ebert and k.  g.  klimenko , [ arxiv:0902.1861 ] .
d.  b.  kaplan and a.  e.  nelson , ; h. d. politzer and m. b. wise , ; g.  e.  brown , v.  thorsson , k.  kubodera and m.  rho , ; g.  e.  brown , c.  h.  lee , m.  rho and v.  thorsson , ; c.  h.  lee , g.  e.  brown , d.  p.  min and m.  rho , ; p.  j.  ellis , r.  knorren and m.  prakash , ; n. k. glendenning and j. schaffner - bielich , ; ; m.  m.  forbes , .
d.  nickel , ; .
j.  wess and b.  zumino , ; s. novikov , usp . mat .
nauk , 37 ( 1982 ) 3 ; e. witten , .
p.  j.  steinhardt , .
a.  r.  zhitnitsky , ; i. affleck , ; a.  ferrando and v.  vento , ; l.  l.  salcedo , s.  levit and j.  w.  negele , ; e.  abdalla and m.  c.  b.  abdalla , .
di vecchia , b.  durhuus and j.  l.  petersen , ; d.  gonzales and a.  n.  redlich , ; ; j.  l.  petersen , ; e.  abdalla and m.c.b .
abdalla , . y.  frishman and j.  sonnenschein ,
; ; y.  frishman , a.  hanany and m.  karliner , ; a.  armoni , y.  frishman and j.  sonnenschein , . r.  d.  pisarski and d.  h.  rischke , .
t. kojo , r. d. pisarski , and a. tsvelik , manuscript in preparation .
r.  d.  pisarski , ; a.  dumitru and r.  d.  pisarski , ; ; a.  dumitru , y.  hatta , j.  lenaghan , k.  orginos and r.  d.  pisarski , ; a.  dumitru , j.  lenaghan and r.  d.  pisarski , ; r.  d.  pisarski , ; y.  hidaka and r.  d.  pisarski ; ; ; [ arxiv:0912.0940 ] .
korthals altes , r.  d.  pisarski and a.  sinkovics , .