1: \documentstyle[12pt,

2: %equation,

3: %showkeys,

4: epsfig]{article}

5: %\input{epsf.sty}

6: %\def\baselinestretch{1.65}

7: \setlength{\evensidemargin}{-0.0cm}

8: \setlength{\oddsidemargin}{-0.0cm}

9: \setlength{\topmargin}{0.3cm}

10: \setlength{\baselineskip}{20pt}

11: \setlength{\textwidth}{16cm}

12: \setlength{\textheight}{22cm}

13: %\setstretch{1.6}

14: \begin{document}

15: \newcommand{\tcr}{T_{cr}}

16: \newcommand{\sxj}{\sigma_j}

17: \newcommand{\vt}{\tilde{v}}

18: \newcommand{\sxjt}{\tilde{\sigma_j}}

19: \newcommand{\dtt}{\tilde{\delta}}

20: \newcommand{\Lt}{\tilde{\Lambda}}

21: \newcommand{\Ut}{\tilde{U}}

22: \newcommand{\Ct}{\tilde{C}}

23: \newcommand{\phit}{\tilde{\phi}}

24: \newcommand{\rht}{\tilde{\rho}}

25: \newcommand{\done}{\delta\phi_1}

26: \newcommand{\dy}{\delta y}

27: \newcommand{\tr}{\rm Tr}

28: \newcommand{\sx}{\sigma}

29: \newcommand{\mpl}{m_{Pl}}

30: \newcommand{\Mpl}{M_{Pl}}

31: \newcommand{\lx}{\lambda}

32: \newcommand{\Lx}{\Lambda}

33: \newcommand{\kx}{\kappa}

34: \newcommand{\ex}{\epsilon}

35: \newcommand{\be}{\begin{equation}}

36: \newcommand{\ee}{\end{equation}}

37: \newcommand{\eesn}{\end{subequations}}

38: \newcommand{\besn}{\begin{subequations}}

39: \newcommand{\beq}{\begin{eqalignno}}

40: \newcommand{\eeq}{\end{eqalignno}}

41: %% macros to produce the symbols "less than or of order of"

42: %% and "greater than or of order of" %

43: \def \lta {\mathrel{\vcenter

44:      {\hbox{$<$}\nointerlineskip\hbox{$\sim$}}}}

45: \def \gta {\mathrel{\vcenter

46:      {\hbox{$>$}\nointerlineskip\hbox{$\sim$}}}}

47: %\renewcommand{\thefootnote}{\fnsymbol{footnote}}

48: 

49: 

50: 

51: \newcommand{\nwc}{\newcommand}

52: %

53: % Some convenient abbreviations

54: %

55: \nwc{\cl}  {\clubsuit}

56: \nwc{\di}  {\diamondsuit}

57: \nwc{\sps} {\spadesuit}

58: \nwc{\hyp} {\hyphenation}

59: \nwc{\ba}  {\begin{array}}

60: \nwc{\ea}  {\end{array}}

61: \nwc{\bdm} {\begin{displaymath}}

62: \nwc{\edm} {\end{displaymath}}

63: \nwc{\bea} {\be\ba{rcl}}

64: \nwc{\eea} {\ea\ee}

65: \nwc{\ben} {\begin{eqnarray}}

66: \nwc{\een} {\end{eqnarray}}

67: \nwc{\bda} {\bdm\ba{lcl}}

68: \nwc{\eda} {\ea\edm}

69: \nwc{\bc}  {\begin{center}}

70: \nwc{\ec}  {\end{center}}

71: \nwc{\ds}  {\displaystyle}

72: \nwc{\bmat}{\left(\ba}

73: \nwc{\emat}{\ea\right)}

74: \nwc{\non} {\nonumber}

75: \nwc{\bib} {\bibitem}

76: \nwc{\lra} {\longrightarrow}

77: \nwc{\Llra}{\Longleftrightarrow}

78: \nwc{\ra}  {\rightarrow}

79: \nwc{\Ra}  {\Rightarrow}

80: \nwc{\lmt} {\longmapsto}

81: \nwc{\pa} {\partial}

82: \nwc{\iy}  {\infty}

83: \nwc{\ovl}  {\overline}

84: \nwc{\hm}  {\hspace{3mm}}

85: \nwc{\lf}  {\left}

86: \nwc{\ri}  {\right}

87: \nwc{\lm}  {\limits}

88: \nwc{\lb}  {\lbrack}

89: \nwc{\rb}  {\rbrack}

90: \nwc{\ov}  {\over}

91: \nwc{\pr}  {\prime}

92: \nwc{\nnn} {\nonumber \vspace{.2cm} \\ }

93: \nwc{\Sc}  {{\cal S}}

94: \nwc{\Lc}  {{\cal L}}

95: \nwc{\Rc}  {{\cal R}}

96: \nwc{\Dc}  {{\cal D}}

97: \nwc{\Oc}  {{\cal O}}

98: \nwc{\Cc}  {{\cal C}}

99: \nwc{\Pc}  {{\cal P}}

100: \nwc{\Mc}  {{\cal M}}

101: \nwc{\Ec}  {{\cal E}}

102: \nwc{\Fc}  {{\cal F}}

103: \nwc{\Hc}  {{\cal H}}

104: \nwc{\Kc}  {{\cal K}}

105: \nwc{\Xc}  {{\cal X}}

106: \nwc{\Gc}  {{\cal G}}

107: \nwc{\Zc}  {{\cal Z}}

108: \nwc{\Nc}  {{\cal N}}

109: \nwc{\fca} {{\cal f}}

110: \nwc{\xc}  {{\cal x}}

111: \nwc{\Ac}  {{\cal A}}

112: \nwc{\Bc}  {{\cal B}}

113: \nwc{\Uc}  {{\cal U}}

114: \nwc{\Vc}  {{\cal V}}

115: %

116: % Abbreviations for (some) Greek letters

117: %

118: \nwc{\Th} {\Theta}

119: \nwc{\th} {\theta}

120: \nwc{\vth} {\vartheta}

121: \nwc{\eps}{\epsilon}

122: \nwc{\si} {\sigma}

123: \nwc{\Gm} {\Gamma}

124: \nwc{\gm} {\gamma}

125: \nwc{\bt} {\beta}

126: \nwc{\La} {\Lambda}

127: \nwc{\la} {\lambda}

128: \nwc{\om} {\omega}

129: \nwc{\Om} {\Omega}

130: \nwc{\dt} {\delta}

131: \nwc{\Si} {\Sigma}

132: \nwc{\Dt} {\Delta}

133: \nwc{\al} {\alpha}

134: \nwc{\vph}{\varphi}

135: \nwc{\zt} {\zeta}

136: %

137: %       Common physics and mathematics symbols

138: %

139: \def\tr{\mathop{\rm tr}}

140: \def\Tr{\mathop{\rm Tr}}

141: \def\Det{\mathop{\rm Det}}

142: \def\Im{\mathop{\rm Im}}

143: \def\Re{\mathop{\rm Re}}

144: \def\secder#1#2#3{{\partial^2 #1\over\partial #2 \partial #3}}

145: \def\bra#1{\left\langle #1\right|}

146: \def\ket#1{\left| #1\right\rangle}

147: \def\VEV#1{\left\langle #1\right\rangle}

148: \def\gdot#1{\rlap{$#1$}/}

149: \def\abs#1{\left| #1\right|}

150: \def\pr#1{#1^\prime}

151: \def\ltap{\raisebox{-.4ex}{\rlap{$\sim$}} \raisebox{.4ex}{$<$}}

152: \def\gtap{\raisebox{-.4ex}{\rlap{$\sim$}} \raisebox{.4ex}{$>$}}

153: \nwc{\Id}  {{\bf 1}}

154: \nwc{\diag} {{\rm diag}}

155: \nwc{\inv}  {{\rm inv}}

156: \nwc{\mod}  {{\rm mod}}

157: \nwc{\hal} {\frac{1}{2}}

158: \nwc{\tpi}  {2\pi i}

159: % \contract is a differential geometry contraction sign _|

160: \def\contract{\makebox[1.2em][c]{

161:         \mbox{\rule{.6em}{.01truein}\rule{.01truein}{.6em}}}}

162: \def\slash#1{#1\!\!\!/\!\,\,}

163: %

164: %abbreviations for number sets and mathematical symbols:

165: %

166: \def\KK{{\rm I\kern -.2em  K}}

167: \def\NN{{\rm I\kern -.16em N}}

168: \def\RR{{\rm I\kern -.2em  R}}

169: \def\ZZ{Z \kern -.43em Z}

170: \def\QQ{{\rm \kern .25em

171:              \vrule height1.4ex depth-.12ex width.06em\kern-.31em Q}}

172: \def\CC{{\rm \kern .25em

173:              \vrule height1.4ex depth-.12ex width.06em\kern-.31em C}}

174: \def\ZZZ{Z\kern -0.31em Z}

175: 

176: \def \Msol {M_\odot}

177: \def\eV {\,{\rm  eV}}     

178: \def\KeV {\,{\rm  KeV}}     

179: \def\MeV {\,{\rm  MeV}}

180: \def\GeV {\,{\rm  GeV}}     

181: \def\TeV {\,{\rm  TeV}}     

182: \def\fm {\,{\rm  fm}}

183: 

184: \def\ap#1{Annals of Physics {\bf #1}}

185: \def\cmp#1{Comm. Math. Phys. {\bf #1}}

186: \def\hpa#1{Helv. Phys. Acta {\bf #1}}

187: \def\ijmpa#1{Int. J. Mod. Phys. {\bf A#1}}

188: \def\jpc#1{J. Phys. {\bf C#1}}

189: \def\mpla#1{Mod. Phys. Lett. {\bf A#1}}

190: \def\npa#1{Nucl. Phys. {\bf A#1}}

191: \def\npb#1{Nucl. Phys. {\bf B#1}}

192: \def\nc#1{Nuovo Cim. {\bf #1}}

193: \def\pha#1{Physica {\bf A#1}}

194: \def\pla#1{Phys. Lett. {\bf #1A}}

195: \def\plb#1{Phys. Lett. {\bf #1B}}

196: \def\pr#1{Phys. Rev. {\bf #1}}

197: \def\pra#1{Phys. Rev. {\bf A#1 }}

198: \def\prb#1{Phys. Rev. {\bf B#1 }}

199: \def\prp#1{Phys. Rep. {\bf #1}}

200: \def\prc#1{Phys. Rep. {\bf C#1}}

201: \def\prd#1{Phys. Rev. {\bf D#1 }}

202: \def\ptp#1{Progr. Theor. Phys. {\bf #1}}

203: \def\rmp#1{Rev. Mod. Phys. {\bf #1}}

204: \def\rnc#1{Riv. Nuo. Cim. {\bf #1}}

205: \def\zpc#1{Z. Phys. {\bf C#1}}

206: \def\APP#1{Acta Phys.~Pol.~{\bf #1}}

207: \def\AP#1{Annals of Physics~{\bf #1}}

208: \def\CMP#1{Comm. Math. Phys.~{\bf #1}}

209: \def\CNPP#1{Comm. Nucl. Part. Phys.~{\bf #1}}

210: \def\HPA#1{Helv. Phys. Acta~{\bf #1}}

211: \def\IJMP#1{Int. J. Mod. Phys.~{\bf #1}}

212: \def\JP#1{J. Phys.~{\bf #1}}

213: \def\MPL#1{Mod. Phys. Lett.~{\bf #1}}

214: \def\NP#1{Nucl. Phys.~{\bf #1}}

215: \def\NPPS#1{Nucl. Phys. Proc. Suppl.~{\bf #1}}

216: \def\NC#1{Nuovo Cim.~{\bf #1}}

217: \def\PH#1{Physica {\bf #1}}

218: \def\PL#1{Phys. Lett.~{\bf #1}}

219: \def\PR#1{Phys. Rev.~{\bf #1}}

220: \def\PRP#1{Phys. Rep.~{\bf #1}}

221: \def\PRL#1{Phys. Rev. Lett.~{\bf #1}}

222: \def\PNAS#1{Proc. Nat. Acad. Sc.~{\bf #1}}

223: \def\PTP#1{Progr. Theor. Phys.~{\bf #1}}

224: \def\RMP#1{Rev. Mod. Phys.~{\bf #1}}

225: \def\RNC#1{Riv. Nuo. Cim.~{\bf #1}}

226: \def\ZP#1{Z. Phys.~{\bf #1}}

227: 

228: 

229: 

230: 

231: 

232: 

233: \pagestyle{empty}

234: %\parindent0cm

235: \noindent

236: \begin{flushright}

237: March 2003

238: \\

239: %CRETE--00--xx

240: %\\

241: %hep--ph/9908209

242: \end{flushright} 

243: \vspace{3cm}

244: \begin{center}

245: { \Large \bf

246: The Quark-Meson Model\\ 

247: and\\

248: the Phase Diagram of Two-Flavour QCD \\

249: } 

250: \vspace{1cm}

251: {\Large 

252: N. Tetradis 

253: } 

254: \\

255: {\it

256: Department of Physics, University of Athens,

257: Zographou 157 71, Greece

258: } 

259: \\

260: \vspace{3cm}

261: \abstract{

262: We study the qualitative features of the

263: QCD phase diagram in the context of the

264: linear quark-meson model with two flavours, 

265: using the exact renormalization group.

266: We identify the universality classes of the second-order phase

267: transitions and calculate critical exponents. 

268: In the absence of explicit chiral-symmetry breaking

269: through the current quark masses, we 

270: discuss in detail the tricritical point 

271: and demonstrate that it is linked to the Gaussian fixed point.

272: In its vicinity

273: we study the universal crossover between the Gaussian and $O(4)$ fixed points,

274: and the weak first-order phase transitions.

275: In the presence of explicit chiral-symmetry breaking, we study in

276: detail the critical endpoint of the line of first-order phase transitions.

277: We demonstrate the decoupling of pion fluctuations and identify the

278: Ising universality class as the relevant one for the second-order phase

279: transition.

280: %\\

281: %\vspace{1cm}

282: %PACS number: 98.80.Cq

283: } 

284: \end{center}

285: 

286: 

287: \newpage

288: 

289: %\setlength{\baselineskip}{20pt}

290: 

291: \pagestyle{plain}

292: \setcounter{page}{1}

293: 

294: \setcounter{equation}{0}

295: %\renewcommand{\theequation}{{\bf 1.}\arabic{equation}}

296: 

297: \section{Introduction}

298: 

299: The phase diagram of QCD at non-zero temperature and baryon

300: density has been the subject of many studies during the last years.

301: (For a review see ref. \cite{Rajagopal:2000wf}.) 

302: Parts of this phase diagram may be observable through the heavy-ion

303: collision experiments at RHIC and LHC. 

304: In particular, the conditions for the

305: transition from the hadronic phase to the quark gluon

306: plasma at high temperature and relatively low baryon density 

307: could be realized at these experiments. It is, therefore, desirable

308: to connect the various regions of the phase diagram with clear

309: experimental signatures. The most prominent feature of the phase diagram

310: in this respect is the critical endpoint that marks the end of the

311: line of first-order phase transitions. 

312: Its exact location and the size of the critical region around it 

313: determine its relevance for the experiments.

314: There exist several analytical studies of the phase diagram near the critical

315: endpoint. They employ effective theories of QCD

316: \cite{Asakawa:bq}--\cite{Kiriyama:2000yp}, as analytical calculations

317: in the context of the exact theory are very difficult. Lattice 

318: simulations are a source of precise information for full QCD. 

319: Recent studies 

320: \cite{Fodor:2001pe,deForcrand:2002ci,Allton:2002zi} have overcome

321: the difficulties associated with simulating systems with

322: non-zero chemical potential, even though the continuum limit or realistic 

323: quark masses 

324: have not been reached yet.

325: 

326: 

327: The investigation of large regions of the phase diagram, so as to capture 

328: the interplay

329: between critical and non-critical behaviour around the endpoint, seems 

330: more accessible to analytical methods. The description of

331: the critical region makes the use of the renormalization group 

332: necessary. The study of first-order phase transitions

333: is easier within the Wilsonian (or exact) formulation \cite{Wilson:1973jj}. 

334: For these reasons, we would like to derive the QCD phase

335: diagram employing an 

336: analytical approach that incorporates the exact renormalization group.

337: A lot of work has been done on this method

338: in recent years \cite{rome}.

339: We shall use the effective average action 

340: \cite{Wetterich:1989xg}, that results by integrating

341: out (quantum or thermal) fluctuations above a certain cutoff $k$.

342: Its dependence on 

343: $k$ is given by an exact evolution equation

344: \cite{Wetterich:yh,Tetradis:1993ts}, while

345: it becomes the effective action for $k=0$. 

346: It can by used in order to desribe very efficiently the universal and

347: non-universal aspects of second-order phase transitions, as well as

348: strong or weak first-order phase transitions \cite{Berges:2000ew}.

349: 

350: We shall not study the full QCD for several reasons: the 

351: various formulations of the exact renormalization group for gauge theories

352: \cite{Reuter:1993kw}--\cite{Morris:1999px}

353: have not been complemented yet with efficient approximations 

354: for practical calculations. Moreover, a

355: treatment of the exact evolution equation that could capture

356: the effects of the confining region of QCD has not been developed.

357: 

358: We shall work within an effective theory of QCD, the 

359: linear quark-meson model, that uses as fundamental

360: degrees of freedom mesons coupled to quarks. 

361: If only the two lightest quarks are taken into account the model is

362: similar to the $\sigma$-model of Gell-Mann and Levy \cite{Gell-Mann:np}, with

363: the nucleons replaced by quarks. The Langrangian involves four scalar

364: fields (the $\sigma$-field and the three pions $\pi_i$) arranged in 

365: a $2\times 2$ matrix $\Phi$, as well as the $u$ and 

366: $d$ quarks in a doublet. 

367: It is invariant under a global $SU(2)_L \times SU(2)_R$

368: symmetry acting on $\Phi$ and the quark doublet.

369: If the $\sigma$-field develops an expectation value the

370: symmetry is broken down to $SU(2)_{L+R}$. The model is very useful for

371: studying the spontaneous breaking of chiral symmetry, 

372: using $\Phi$ as the order 

373: parameter. The explicit breaking of this symmetry through the

374: quark masses can also be incorporated. It corresponds to the interaction

375: with an external source through a term $-j \sigma$ in the Lagrangian.

376: 

377: The linear quark-meson model 

378: has been studied for a general number of

379: flavours and its phenomenological viability has been

380: established \cite{Jungnickel:1995fp}.

381: Its formulation for non-zero temperature and quark chemical potential

382: has also been developed \cite{Berges:1998sd,Berges:1997eu}.

383: In particular, it has been found that, for two massless 

384: quark flavours, the model 

385: predicts a second-order phase transition for increasing temperature and

386: zero chemical potential, and a first-order one for increasing

387: chemical potential and zero temperature. 

388: It is likely, therefore, that the expected phase diagram of QCD for small

389: chemical potential 

390: can be reproduced correctly within this effective theory.

391: We point out, however, that the study of 

392: the colour superconducting or colour-flavour

393: locked phases \cite{Rajagopal:2000wf} requires 

394: the introduction

395: of degrees of freedom that correspond to diquark condensates.

396: 

397: In this work we shall study the phase diagram of

398: the quark-meson model.

399: We consider only the case of two flavours as the

400: basic structure appears already within

401: this approximation. The generalization to

402: three flavours is straightforward, even though the degree of

403: complexity increases significantly. We do not consider realistic

404: values for the various parameters of the Lagrangian. The reason is

405: that the treatment of the exact evolution equation 

406: becomes complicated for the realistic values and little analytical

407: progress can be made. Instead, one has to rely heavily on 

408: numerics that obscurs the basic features of the

409: problem. The consideration of parameter values 

410: consistent with the phenomenology is an obvious subject for

411: future studies.

412: 

413: Despite the above limitations, our work includes several 

414: important elements: The infrared region is

415: treated correctly through the renormalization group. 

416: The fixed point structure can be obtained in detail.

417: The universal behaviour near the critical points 

418: can be distinguished from the the non-universal aspects. 

419: The various universality classes can be identified and the crossover

420: behaviour from one to the other can be studied.

421: 

422: In section 2 we discuss the phase diagram in the context of mean field theory

423: in order to determine the main features we expect to appear.

424: In section 3 we present the main ingredients of the model we are considering.

425: In section 4 we derive the evolution equation that describes the

426: dependence of the potential on a scale $k$ that acts as an infrared cutoff.

427: In section 5 we cast this equation in a form that has no explicit dependence

428: on $k$ and facilitates the identification of fixed points.

429: In section 6 we derive the initial conditions for the solution of the

430: evolution equation at energy scales below the temperature, where 

431: the evolution becomes effectively three-dimensional.

432: In section 7 we use the formalism in order to discuss the phase diagram 

433: in the absence of 

434: explicit chiral symmetry breaking (zero current quark masses).

435: In section 8 we discuss the phase diagram in the presence of

436: explicit chiral symmetry breaking. 

437: In section 9 we summarize our findings and outline the directions of

438: future research.

439: 

440: 

441: \section{Mean field theory}

442: 

443: In order to obtain some intuition on the form of the phase diagram, it is

444: instructive to discuss a simple model in the mean-field approximation.

445: The Lagrangian contains standard kinetic terms for the fields 

446: $\sx$, $\pi_i$  ($i=1,2,3$), and the potential

447: \be

448: U(\rho)=m^2\rho+\frac{1}{2}\lx\rho^2+\frac{1}{3}\nu\rho^3,

449: \label{mpot} \ee

450: with $\rho=(\sx^2+\pi_i\pi^i)/2$. The couplings

451: $m^2$, $\lx$, $\nu$ are taken to be 

452: functions of two external parameters, which we

453: denote by $T$ and $\mu$ without having to be more specific at this stage.

454: We assume that $\nu$ is always positive, so that the potential is

455: bounded from below.

456: 

457: Let us consider first the case $\lx>0$. For

458: $m^2>0$ the minimum of the potential is located at $\sx=\pi_i=0$ and

459: the system is invariant under an $O(4)$ symmetry. 

460: For $m^2<0$ the minimum moves away from the origin. Without loss of

461: generality we take it along the $\sx$ axis. The symmetry is broken down

462: to $O(3)$. The $\pi$'s, which play the role of the

463: Goldstone fields, become massless at the minimum. 

464: If $m^2(T,\mu)$ has a zero at a certain value $T=T_{cr}$, while 

465: $\lx(T_{cr},\mu)>0$, the system undergoes a second-order 

466: phase transition at this point.

467: The minimum of the potential 

468: behaves as $\sx_0\sim |T-T_{cr}|^{1/2}$ slightly below the critical 

469: temperature. The critical exponent $\beta$ takes the mean field value

470: $\beta=1/2$.

471: 

472: Let us consider now the case $\lx<0$. 

473: It is easy to check that, as $m^2$ increases

474: from negative to positive values (through an increase of $T$ for example), 

475: the system undergoes a first-order

476: phase transition. For $|\lx|$ approaching zero the phase transition

477: becomes progressively weaker: The discontinuity in the order parameter 

478: (the value of $\sx$ at the minimum) approaches zero. For $\lx=0$ the

479: phase transition becomes second order. The minimum of the potential behaves

480: as $\sx_0\sim |T-T_{cr}|^{1/4}$. The critical exponent $\beta$ takes 

481: the value $\beta=1/4$ for this particular point.

482: 

483: Let us assume now for simplicity 

484: that $\lx$ is a decreasing function of $\mu$ only, 

485: and has a zero at $\mu=\mu_*$.

486: If we consider the phase transitions for increasing $T$ and fixed 

487: $\mu$ we find a line of second-order phase transitions for $\mu < \mu_*$,

488: and a line of first-order transitions for $\mu > \mu_*$.

489: The two lines meet at the

490: special point $(T_*,\mu_*)$, where $T_*=T_{cr}$ for $\mu=\mu_*$. This

491: point is characterized as a tricritical point.

492: 

493: If a source term $-j \sx$ is added to the potential of eq. (\ref{mpot})

494: the $O(4)$ symmetry is explicitly broken. The phase diagram is modified

495: significantly even for small $j$.

496: The second-order phase transitions, observed for 

497: $\lx >0$, disappear. The reason is that the minimum of the potential

498: is always at a value $\sx \not= 0$ that moves close to zero for increasing

499: $T$. For small $j$ the mass term at the minimum approaches zero at 

500: a value of $T$ near what we defined as $T_{cr}$ for $\lx=0$. However,

501: no genuine phase transition appears. Instead we observe an analytical

502: crossover. 

503: 

504: The line of first-order transitions 

505: persists for $j\not= 0$. However, 

506: for increasing $T$ the minimum jumps discontinuously between two non-zero

507: values of $\sx$ and never becomes zero. The line ends at a new special

508: point, whose nature can be examined by considering the $\sx$-derivative of

509: the potential $U(\rho)$ of eq. (\ref{mpot}). 

510: For a first-order phase transition to occur, 

511: $\partial U/\partial \sx$ must become equal to $j$ for three non-zero

512: values of $\sx$. This requires $\partial^2 U/\partial \sx^2 =0$

513: at two values of $\sx$. The endpoint corresponds to the situation that

514: all these values merge to one point. It can be checked that this requires

515: $\lx <0$. At the minimum $\sx_*$ 

516: of the potential $\Ut(\sx;j)=U(\sx,\pi_i=0)-j\sx$ 

517: at the critical endpoint, we have:

518: $d\Ut/d\sx=d^2\Ut/d\sx^2 =d^3\Ut/d\sx^3=0$. 

519: Therefore, at the endpoint we expect

520: a second-order phase transition for the deviation of $\sx$ from $\sx_*$.

521: As $\lx\not= 0$, the critical exponent $\beta$ takes the value $\beta=1/2$.

522: The $\pi$'s are massive, because

523: $m^2_\pi=\partial^2 U(\rho)/\partial \pi_i^2 = dU(\rho)/d\rho=j/\sx_*$ at the 

524: critical endpoint.

525: 

526: The purpose of the following is to recontruct the above picture 

527: in the context of the linear quark-meson model. We shall take into account

528: the effect of fluctuations of the fields, so that the potential will have

529: a more complicated form than the simple assumption of eq. (\ref{mpot}).

530: Moreover, the nature of the

531: fixed points will differ from the predictions of mean field theory. 

532: 

533: 

534: \section{The model}

535: 

536: We consider an effective action of the form

537: \cite{Jungnickel:1995fp,Berges:1998sd,Berges:1997eu}

538: 

539: \begin{eqnarray}

540:   \Gm_k &=& \ds{

541:     \int^{1/T}_0 dx^0\int d^3x \Bigg\{  

542:     i \ovl{\psi}^a (\gamma^{\mu}\pa_{\mu} + \mu \gamma^0) \psi_a

543:     +h {\ovl{\psi}}^a \left[ \frac{1+\gamma^5}{2} {\Phi_a}^b

544:     - \frac{1-\gamma^5}{2} {(\Phi^{\dagger})_a}^b\right] \psi_b

545:     }\nonumber \\ 

546:   && \ds{

547:     \qquad\qquad\qquad \qquad \quad

548:     +\pa_{\mu}\Phi^*_{ab}\pa^{\mu}\Phi^{ab}

549:     +U_k(\rho;\mu,T)

550:     -\frac{1}{2}\left(\Phi_{ab}^*j^{ab}+j^*_{ab}\Phi^{ab} \right)

551:     \Bigg\} 

552:     }\, ,

553:   \label{truncation} 

554: \end{eqnarray}

555: with $\rho=\Tr\left(\Phi^\dagger \Phi\right)$. The field $\Phi$ includes

556: the $\sigma$ field and the three pion fields. It is parametrized as

557: \begin{equation}

558:   \Phi=\frac{1}{2}\left(\si+i\vec{\pi}\cdot\vec{\tau}\right)

559:   \label{phi}

560: \end{equation}

561: where $\tau_l$ $(l=1,2,3)$ denote the Pauli matrices. 

562: The fermionic field $\psi^a$ 

563: includes two flavours $(a=1,2)$ corresponding to the

564: up and down quarks. The non-zero temperature effects are taken into

565: account by restricting the 

566: time integration within the finite interval

567: $[0,1/T]$ in Euclidean space. The scalar (fermionic) fields obey 

568: periodic (anti-periodic) boundary conditions. We are also considering

569: a non-zero chemical potential, associated to the quark number density 

570: $\psi^\dagger_a \psi^a$ that is proportional to the baryon number.

571: 

572: 

573: In the effective action we have omitted the wavefunction renormalization 

574: for both the scalar and fermionic fields. We have also neglected the

575: scale dependence of the Yukawa coupling $h$. We take into account only

576: the scale dependence of the potential $U_k$, which we assume to be a

577: general function of $\rho$. 

578: Our approximation is consistent in two cases:\\

579: a) If the Yukawa coupling is small at an initial large momentum scale

580: $\Lx$, its subsequent evolution for $k<\Lx$ is expected to be slow.

581: The reason is that the leading contribution to $dh^2/d\ln k$ is $\sim h^2$

582: \cite{Berges:1997eu}. The same holds true for the wavefunction renormalizations

583: \cite{Berges:1997eu}. The scalar field wavefunction renormalization

584: receives an additional contribution through scalar field contributions.

585: Typically this is small in three and four dimensions, 

586: as is obvious from the smallness of

587: the anomalous dimension in the pure scalar theory.\\

588: 2) If partial infrared fixed points exist in the evolution equations, all

589: the above quantities take almost constant values. The wavefunction 

590: renormalizations can be set equal to 1 through the rescaling 

591: of the fields, while the Yukawa coupling becomes scale independent. This

592: scenario is realized in the low energy regime of the quark-meson model in

593: four dimensions, for realistic values of the quark and meson masses. 

594: 

595: The last term in eq. (\ref{truncation}) accounts for the explicit breaking

596: of the chiral symmetry through the current quark masses. 

597: One expects $j \sim M = \diag(m_u,m_d)$.

598: We assume equal

599: masses $\hat m$ for the two light quarks so that

600: ${j^a}_b \sim \hat{m} {\delta^a}_b$. 

601: The determination of

602: the proportionality constant requires the embedding of the 

603: theory described by the action (\ref{truncation}) in a more fundamental

604: framework. For example, in refs. 

605: \cite{Berges:1997eu,Ellwanger:wy,Jungnickel:1996fd} 

606: it was calculated

607: in terms of the energy scale $k_\Phi$ at which $\Phi$ can be

608: introduced as a composite field in a theory of quarks

609: (such as the Nambu--Jona-Lasinio model \cite{Nambu:tp}).

610: One obtains $j=2 Z_{\psi,k_\Phi} m^2_{k_\Phi} M/h_{k_\Phi}$, with 

611: $Z_{\psi,k_\Phi}$ the fermion wavefunction renormalization, and 

612: $m^2_{k_\Phi}$ the positive mass term in the potential of $\Phi$ at the

613: scale $k_\Phi$. This mass term becomes negative at lower energy scales

614: because of fermionic quantum fluctuations, and the chiral symmetry is 

615: spontaneously broken. In this work we set $Z_{\psi,k}=1$ for all $k$ and

616: also neglect the running of $h_{k}$. For this reason it is not possible to 

617: express $j$ in terms of fundamental quantities. However, $j$ can be 

618: fixed through the low energy dynamics. The pion

619: mass at the vacuum in

620: the presence of explicit chiral symmetry breaking is proportional

621: to the source term and can be used as input for its determination.

622: 

623: 

624: 

625: \section{The evolution equation}

626: 

627: The dependence 

628: of the effective action

629: $\Gamma_k$ on an infrared cutoff scale $k$ 

630: is given by an exact flow equation~\cite{Wetterich:yh}, which

631: for fermionic fields $\psi$ (quarks) and bosonic fields $\Phi$ (mesons)

632: reads

633: \begin{equation}

634:   \label{frame}

635:   \frac{\pa}{\pa k}\Gm_k[\psi,\Phi] = \frac{1}{2}{\rm Tr}_B 

636:   \left\{ \frac{\pa R_{kB}}

637:     {\pa k} \left(\Gm^{(2)}_k[\psi,\Phi]+R_k\right)^{-1}  \right\} 

638:     -{\rm Tr}_F \left\{ \frac{\pa R_{kF}}

639:     {\pa k} \left(\Gm^{(2)}_k[\psi,\Phi]+R_k\right)^{-1} 

640:   \right\} \, .

641: \end{equation}

642: Here $\Gamma_k^{(2)}$ is the matrix of second functional derivatives of

643: $\Gamma_k$ with respect to both fermionic and bosonic field components. The

644: first trace in the r.h.s. of~(\ref{frame}) runs only

645: over the bosonic degrees of freedom. It implies a momentum integration and

646: a summation over flavor indices. The second trace runs over the

647: fermionic degrees of freedom and contains in addition a summation over

648: Dirac and color indices. The terms $R_{kB}$, $R_{kF}$ are infrared cutoffs

649: that have been introduced in order to eliminate contributions from 

650: fluctuations with momenta $q^2\lta k^2$ in the momentum integrations.

651: 

652: 

653: 

654: The evolution equation for the scale dependent 

655: potential $U_k$ has been computed in ref. \cite{Berges:1998sd} starting

656: from eq. (\ref{frame}).

657: In the approximation that we neglect the running of the Yukawa 

658: coupling it takes the simplified form:

659: \begin{equation}

660:   \frac{\pa }{\pa k}U_k(\rho;T,\mu)=\frac{\pa }{\pa k}U_{kB}(\rho;T,\mu)

661:   +\frac{\pa }{\pa k}U_{kF}(\rho;T,\mu) \label{dtu} \, ,

662: \end{equation}

663: where

664: \begin{eqnarray}

665:   \ds{

666:     \frac{\pa }{\pa k}U_{kB}(\rho;T,\mu)} &=& \ds{

667:     \frac{1}{2} T \sum\limits_n

668:     \int\limits_{-\infty}^{\infty}

669:     \frac{d^3\vec{q}}{(2 \pi)^3} 

670:     \frac{\pa R_{kB}(\vec{q}^2+4n^2\pi^2 T^2)}{\pa k} \left[

671:     \frac{3}{P_{k}\left(\vec{q}^2+4n^2\pi^2 T^2\right) 

672:       + U_k'(\rho;T,\mu)}\right. 

673:      }\nonumber \\ 

674:   &&

675:   \ds{\qquad \qquad 

676:     +\left. \frac{1}{P_{k}\left(\vec{q}^2+4n^2\pi^2 T^2\right) 

677:    + U_k'(\rho;T,\mu)

678:       + 2 \rho U_k''(\rho;T,\mu)}\right]  

679:     \label{dtub} 

680:      }

681: \end{eqnarray}

682: and 

683: \begin{eqnarray}

684:   \ds{

685:     \frac{\pa }{\pa k}U_{kF}(\rho;T,\mu)} &=& 

686:      \ds{

687:      \frac{\pa }{\pa k} \left[ 

688:      {^4V}_{kF}(\rho)

689:      +{^3V}_{kF}(\rho;T,\mu)+{^3V}_{kF}(\rho;T,-\mu)

690:      \right]

691:      }\label{f1} \\ 

692:    \ds{{^4V}_{kF}(\rho)} &=&

693:     \ds{

694:     -8 N_c \frac{1}{2} 

695:     \int\limits_{-\infty}^{\infty}

696:     \frac{d^4q}{(2\pi)^4} \,\,\,\theta\left( \Lx^2-q^2\right) 

697:     \ln \left(q^{2}+k^2+h^2 \rho/2 \right) 

698:      }\label{f2} \\

699:    \ds{{^3V}_{kF}(\rho;T,\mu)} &=&

700:     \ds{

701:     -4 N_c T 

702:     \int\limits_{-\infty}^{\infty}

703:     \frac{d^3\vec{q}}{(2\pi)^3} 

704:     \ln \left(1 + \exp 

705:     \left[- \frac{1}{T}

706:      \left(\sqrt{\vec{q}^{\,2}+k^2+h^2 \rho/2}-\mu\right)\right]

707:     \right) 

708:      }\label{f3}  

709:      \, .

710: \end{eqnarray}

711: Here $\rho=\Tr\left(\Phi^\dagger \Phi\right)

712: =\left(\sx^2+\vec{\pi}^2 \right)/2$ 

713: and $N_c=3$ denotes the number of colours.  

714: 

715: The two terms in the r.h.s. of eq. (\ref{dtu}) correspond to the contributions

716: from scalar and fermionic fluctuations. The scalar term, given

717: by eq. (\ref{dtub}), includes the contributions from the radial mode 

718: (the $\sx$ field) and the three Godstone modes (the pions). 

719: The parametrization in terms of $\rho$ makes apparent the $O(4)$ symmetry

720: characterizing the mesonic sector in the two-flavour case.

721: The meson mass terms 

722: are $U_k'+2\rho U_k''$, $U_k'$, where primes denote

723: derivatives of the potential with respect to $\rho$.  

724: If the chiral symmetry is broken by an

725: expectation value for the $\sx$ field, the mass terms become

726: $m^2_\sx=\partial^2U_k/\partial \sx^2$, 

727: $m^2_\pi=(1/\sx)\partial U_k/\partial \sx$, as expected.

728: 

729: The scale dependent

730: propagators also contain the momentum dependent part

731: $P_{k}=q^2+R_{kB}(q^2)$. The term 

732: \be

733: R_{kB}(q^2)=\frac{q^2 e^{-q^2/k^2}}{1-e^{-q^2/k^2}}

734: \label{cutof} \ee

735: acts as an effective infrared cutoff in the loop integrations that

736: determine the effective potential. The scale dependence of $U_{kB}$ 

737: originates in this cutoff, as is apparent from the $k$-derivative of

738: $R_{kB}$ in eq. (\ref{dtub}). 

739: The periodic conditions imposed on the scalar fields for non-zero temperature

740: result in the replacement of the integration over $q^0$ by a sum over the

741: discrete Matsubara frequences. The chemical potential $\mu$ affects 

742: $U_{kB}$ only through the contribution of the fermionic part

743: $U_{kF}$ to the mass terms.

744: 

745: The fermionic contribution $U_{kF}$ has a simple interpretation within

746: our approximate treatment. 

747: It consists of three parts: The term ${^4V}_{kF}(\rho)$ originates in the 

748: quantum fluctuations of the fermionic fields, for which a mass-like infrared

749: cutoff $k^2$ has been introduced. This type of cutoff does

750: not provide automatic ultraviolet regularization. This is achieved 

751: through the modification of the cutoff by an additional $\theta$-function

752: \cite{Berges:1998sd}. The number of degrees of freedom is 

753: 2(flavour)$\times$2(spin)$\times$2(particle-antiparticle)$\times N_c$

754: (colour).

755: The term ${^3V}_{kF}(\rho;T,\mu)$ is the free energy of a non-interacting

756: fermionic gas of temperature $T$ and chemical potential $\mu$

757: in the presence of the mass-like cutoff $k^2$. The ultraviolet 

758: regularization has been omitted as we assume $\Lx \gg T$.

759: The number of degrees of freedom is 2(flavour)$\times$2(spin)$\times N_c$

760: (colour).

761: The term ${^3V}_{kF}(\rho;T,-\mu)$ is the free energy of the anti-particles 

762: that have opposite chemical potential.

763: We emphasize that the evolution of $U_{kF}$ is derived starting from the

764: exact flow equation for the effective action of the system. 

765: The truncation of eq. (\ref{truncation}) and the additional assumptions

766: of constant wavefunction renormalizations and Yukawa coupling lead to

767: the intuitive form of eqs. (\ref{f1})--(\ref{f3}).

768: We also point out that the use of different cutoffs for the

769: scalar and fermionic fields does not affect physical

770: quantities, as the cutoffs are removed in the limit $k\to 0$. 

771: 

772: 

773: \section{Scaling form of the evolution equation}

774: 

775: Rather than solving eq. (\ref{dtu}),

776: it is more convenient to solve the evolution equation for $U'_k$. This

777: can be written in the form

778: \begin{eqnarray}

779:     \frac{\pa }{\pa k}U'_{k}(\rho;T,\mu) &=&

780:     v_4 k \left(3U''_k+2\rho U'''_k\right)

781:       L^4_1\left( (U'_k+2\rho U''_k)/k^2;T\right)

782:      +3v_4\, k \,U''_k \,L^4_1\left(U'_k/k^2;T\right)

783: \nonumber \\

784: &&    +\frac{\pa^2 }{\pa k \pa \rho}      \left[ 

785:      {^4V}_{kF}(\rho)

786:      +{^3V}_{kF}(\rho;T,\mu)+{^3V}_{kF}(\rho;T,-\mu)

787:      \right] \, ,

788:     \label{eveq} \end{eqnarray}

789: where, in general dimensions $d$,

790: \be

791: v_d^{-1}=2^{d+1} \pi^{d/2} \Gamma \left( \frac{d}{2} \right).

792: \label{twofive} \ee 

793: The ``threshold'' functions $L^4_1$

794: are particular cases of 

795: \be

796: L^d_n(w;T) = 

797: - 2 n k^{2n-d+1} \pi^{-\frac{d}{2}+1} \Gamma \left( \frac{d}{2} \right) 

798:  T \sum_m

799: \int d^{d-1} \vec{q}~~ \frac{\partial P_{k}}{ \partial k} 

800: (P_{k} + w\,k^2)^{-(n+1)}, 

801: \label{fourfive} \ee

802: where $P_{k}$ is a function of $\vec{q}^2+4n^2\pi^2 T^2$, as we 

803: discussed earlier.

804: 

805: The functions $L^d_n(w;T)$ have been discussed extensively in refs. 

806: \cite{Tetradis:1992qt,Tetradis:1992xd,Tetradis:1993ts,Berges:2000ew}.

807: Their basic properties can be established

808: analytically. 

809: For $T \ll k$ the summation over discrete 

810: values of $m$ in the expression (\ref{fourfive}) is equal to the 

811: integration over a continuous range of $q^0$, up to exponentially small 

812: corrections.

813: Therefore 

814: \be

815: L^d_n(w;T) = L^d_n(w,0)\equiv L^d_n(w)~~~~~~~~~{\rm for}~~T \ll k.

816: \label{foursix} \ee

817: In the opposite limit $T \gg k$ the summation over $m$ is

818: dominated by the $m=0$ contribution. 

819: This results in the simple expression

820: \be 

821: L^d_n(w;T) = \frac{v_{d-1}}{v_d} \frac{T}{k} L^{d-1}_n(w)~~~~~~~~~~~~{\rm 

822: for}~~T \gg k,

823: \label{fourseven} \ee

824: with $v_d$ defined in eq. (\ref{twofive}).

825: The two regions of $T/k$ in which $L^d_n(w;T)$ is given by the 

826: equations (\ref{foursix}), (\ref{fourseven}) 

827: are connected by a small interval $T/\theta_2<k<T/\theta_1$ with a more 

828: complicated dependence on

829: $w$ and $T$. The transitions at $k=T/\theta_1$ and $k=T/\theta_2$ are

830: sharp for an exponential cutoff, such as the one given by eq. (\ref{cutof}).

831: The functions $L^d_n(w)$ fall off 

832: for large values of $w$, following a power law. As 

833: a result they introduce a threshold behaviour for the 

834: contributions of massive modes to the evolution equations. 

835: These

836: include $L^d_n$ functions with the mass eigenvalues divided by $k^2$

837: as their arguments.

838: When the running squared mass of a massive mode 

839: becomes much larger than the scale $k^2$, 

840: the mode decouples the respective contribution vanishes.

841: We evaluate the expressions for $L^d_n(w;T)$ 

842: numerically and use numerical fits for the solution of 

843: the evolution equations.

844: 

845: The fermionic contribution is expected to display a similar behaviour

846: for decreasing $k$. It can be checked that 

847: the temperature-dependent term of eq. (\ref{f3})

848: evolves slowly for $k\lta T$ and obtains asymptotically a 

849: constant form. However, the $k$ dependence disappears only as power law,

850: instead of exponentially fast as for $L^d_n(w,T)$ above.

851: The quantum contribution of eq. (\ref{f2}) 

852: has a strong dependence on the ultraviolet cutoff $\Lx$ that regulates

853: the momentum integration. As a result, the quantity 

854: $\partial^2\, (^4V_{kF})/\partial k \partial \rho$ displays a logarithmic

855: dependence on $\Lx$.

856: The above shortcomings are connected to the use of 

857: a mass-like cutoff for the fermionic sector, instead of an exponential

858: cutoff as for the bosons. A mass like cutoff is the simplest choice that

859: preserves the Lorentz structure of the kinetic term of free fermions

860: for non-zero chemical potential, so as to make

861: practical calculations feasible \cite{Berges:1998sd}.

862: A more ingenuous, and more complicated, form is required in order to

863: preserve the correct Lorentz structure and guarantee exponential

864: decoupling of the temperature effects for fermions at low energy scales.

865: 

866: In this work we are not interested in the

867: details of fermion decoupling. For this reason we 

868: follow a different approach. We assume that at a sufficiently

869: low scale $k\lta T$ the fermionic contributions to the evolution

870: equation decouple. This is the expected behaviour, as the lowest Matsubara

871: frequency is $\pi T$ for the fermions and no zero mode exists.

872: The result of the integration of the fermionic modes is a contribution

873: equal to the perturbative one-loop term for the potential. 

874: It is clear that this assumption is consistent with the form of 

875: the terms of eqs. (\ref{f2}), (\ref{f3}) for $k=0$. It is expected to 

876: be correct for small Yukawa coupling $h$.

877: 

878: We concentrate on the behaviour of the evolution equation 

879: (\ref{eveq}) for $k\lta T$, in which, as we explained above,

880: two important simplifications

881: occur: \\

882: a) The ``threshold'' functions are approximated very well by

883: $L^4_1(w,T)=(4T/k) L^3_1(w)$. \\

884: b) The fermions have decoupled because of their thermal masses.\\

885: We define the quantities

886: \begin{eqnarray}

887: {^3U}_k(\rho_3)&=& \frac{U_k(\rho;T,\mu)}{T}

888: \label{ut} \\

889: \rho_3&=&\frac{\rho}{T},

890: \label{rhot} \end{eqnarray}

891: and their dimensionless versions

892: \begin{eqnarray}

893: u_k(\rht)&=&\frac{{^3U}_k(\rho_3)}{k^3}=\frac{{U}_k(\rho;T,\mu)}{k^3T}

894: \label{utt} \\

895: \rht&=&\frac{\rho_3}{k}=\frac{\rho}{kT}.

896: \label{rhott} \end{eqnarray}

897: The evolution equation (\ref{eveq}) can be rewritten in the scaling form

898: \cite{Tetradis:1993ts}

899: \be

900:     \frac{\pa }{\pa t}u'_{k}(\rht) =

901:       -2 u'_k+\rht u''_k  +v_3 \left(3u''_k+2\rht u'''_k\right)

902:       L^3_1\left( u'_k+2\rht u''_k\right)

903:      +3v_3\, u''_k \,L^3_1\left(u'_k\right),

904: \label{scinv} \ee

905: with $t=\ln(k/M)$ and the primes denoting derivatives with respect to

906: $\rht$. The energy scale $M$ can be defined arbitrarily.

907: The characteristic property of the above equation is that the scale 

908: $k$ does not appear explicitly in it. This permits the search for

909: fixed points, i.e. scale independent solutions. They are 

910: the solutions with $\partial u'_k/\partial t=0.$

911: 

912: The evolution equation (\ref{scinv})

913: has a form typical of a three-dimensional theory (dimensional reduction).

914: This is expected, as only the fields with zero Matsubara frequences 

915: (the scalar zero modes) are sufficiently light in order to contribute

916: to the evolution.

917: 

918: 

919: 

920: \section{Initial conditions for the evolution equation}

921: 

922: The initial conditions for the solution of eq. (\ref{scinv})

923: must be given at the scale $k_T=T/\theta_2$.

924: Let us assume that at the large momentum scale $\Lx$ (where the effects

925: associated with the temperature and chemical potential are negligible)

926: the potential has the simple form 

927: \be

928: U_\Lx(\rho)=U_\Lx(\rho;0,0)=

929: \frac{\lx}{2} \left(\rho -\rho_{0\Lx}\right),

930: \label{cut} \ee

931: with $\rho_{0\Lx}<0$.

932: For small $\lx$ we can integrate the evolution equation (\ref{eveq})

933: between the scales $\Lx$ and $k_T=T/\theta_2$, approximating the arguments

934: of the threshold functions with zero and setting $U''_k=\lx$, $U'''_k=0$.

935: These approximations account for the leading pertubative 

936: result and give \cite{Tetradis:1992xd,Tetradis:1996fw}

937: \begin{eqnarray}

938: U'_{k_T}(\rho;T,\mu) & \simeq & \lx \left[

939: \rho-\left( \rho_{0\Lx} - \frac{3}{16\pi^2} \Lx^2\right)-\frac{3}{4\pi^2} T^2 

940: \left( 

941: \frac{\sqrt{\pi}}{\theta_2} -\frac{\pi^2}{3} \right)

942: \right] 

943: \nonumber \\ 

944: && +{^4V'}_{0F}(\rho)+{^3V'}_{0F}(\rho;T,\mu)+{^3V'}_{0F}(\rho;T,-\mu).

945: \label{init2} 

946: \end{eqnarray}

947: with ${^4V}_{0F}$, ${^3V}_{0F}$ given by eqs. (\ref{f2}), (\ref{f3}) with

948: $k=0$.

949: We have assumed that the fermionic contributions have already 

950: decoupled at $k_T=T/\theta_2$

951: and are given by eq. (\ref{f3}) with $k=0$.

952: The term $\sim T^2$ results from 

953: the complicated form of $L^4_1(0;T)$ in the $k$-interval

954: $[T/\theta_2,T/\theta_1]$ \cite{Tetradis:1996fw}. 

955: 

956: 

957: 

958: The $T=\mu=0$  fermionic contribution (\ref{f2}) 

959: can be evaluated explicitly

960: \be

961: {^4V'}(\rho)=-N_c\frac{h^2}{8\pi^2}\Lx^2

962: -N_c\frac{h^4}{16\pi^2}\rho \ln \left( 

963: \frac{\frac{h^2\rho}{2\Lx^2}}{1+\frac{h^2\rho}{2\Lx^2}}\right).

964: \label{vf0} \ee 

965: We can cast eq. (\ref{init2}) in the form 

966: \be

967: U'_{k_T}(\rho;T,\mu) \simeq  \lx \left[

968: \rho-\rho_{0R}-\frac{3}{4\pi^2} T^2 

969: \left( 

970: \frac{\sqrt{\pi}}{\theta_2} -\frac{\pi^2}{3} \right)

971: \right] +I_F(\rho;T,\mu)

972: \label{init} \ee

973: with

974: \begin{eqnarray}

975: \rho_{0R}&=&\rho_{0\Lx} - \frac{3}{16\pi^2} \Lx^2

976: +\frac{h^2}{\lx}\frac{N_c}{8\pi^2}\Lx^2

977: \label{rhoren} \\

978: I_F(\rho;T,\mu)&=&

979: -N_c\frac{h^4}{16\pi^2}\rho \ln \left( 

980: \frac{\frac{h^2\rho}{2\Lx^2}}{1+\frac{h^2\rho}{2\Lx^2}}\right)

981: +{^3V'}_{0F}(\rho;T,\mu)+{^3V'}_{0F}(\rho;T,-\mu).

982: \label{if} \end{eqnarray}

983: 

984: The $T=\mu=0$ potential 

985: displays the spontaneous chiral symmetry breaking

986: induced by the fermionic fluctuations.

987: For sufficiently large Yukawa coupling $h$, 

988: even if $\rho_{0\Lx}$ is negative (corresponding to a positive mass term),

989: the renormalized value $\rho_{0R}$ can become positive through the 

990: fermionic contribution in eq. (\ref{rhoren}).

991: 

992: At non-zero temperature,  

993: a consistency check for the initial condition (\ref{init})

994: can be performed by integrating eq. (\ref{scinv}) from $k=T/\theta_2$ to

995: $k=0$.

996: Again we assume

997: a small $\lx_R$, set $U''_k=\lx_R$, $U'''_R=0$ 

998: and take the arguments of the ``threshold'' functions equal

999: to zero. In this way we obtain

1000: \be

1001: U'_0(\rho;T,\mu) 

1002: \simeq

1003: U'_{k_T}(\rho;T,\mu) +

1004: \frac{3}{4\pi^2}\frac{\sqrt{\pi}}{\theta_2}\lx T^2

1005: =

1006: \lx \left[

1007: \rho-\rho_{0R}+6\frac{T^2}{24}

1008: \right] +I_F(\rho;T,\mu),

1009: \label{check} \ee

1010: where we have used $L^3_1(0)=-\sqrt{\pi}$.

1011: This expression reproduces correctly the leading perturbative result

1012: \cite{Dolan:qd} for the critical temperature. 

1013: However, the assumption that the couplings remain

1014: small is not valid near the phase transiton. Close to

1015: the critical temperature the fixed-point

1016: structure of the theory becomes important and the arguments of the

1017: ``threshold'' functions cannot be neglected. 

1018: 

1019: 

1020: Another ingredient that we have neglected in our considerations so far is the

1021: explicit chiral symmetry breaking term $\sim \sx$, arising through the

1022: current quark masses. A term linear in $\sx$ does not appear expicitly

1023: in the evolution equations, as the flow equation (\ref{frame})

1024: involves second functional derivatives of the action with respect to the

1025: fields. For this reason the linear term can be added directly to the

1026: potential at any scale. 

1027: 

1028: %At the large scale $\Lx$ the potential reads

1029: %\be

1030: %U_\Lx(\rho)= \frac{\lx}{2} \left(\rho-\rho_{0\Lx} \right)^2 - j \sx.

1031: %\label{renpot} \ee

1032: 

1033: 

1034: \section{The phase diagram for $j=0$}

1035: 

1036: Let us summarize the main points of the framework we have set up.

1037: Our theory is defined through the potential of eq. (\ref{cut})

1038: at a scale $\Lx \gg T$. 

1039: In a realistic theory we can identify $\Lx$ with the

1040: energy scale $k_\Phi$ at which the mesonic fields $\sx$, $\pi_i$ can be

1041: introduced as composite fields in a theory of quarks.

1042: The renormalized potential for $k=0$ and zero temperature and chemical

1043: potential is given by

1044: eqs. (\ref{init})--(\ref{if}) with $T=\mu=0$. These approximate 

1045: expressions are correct if: \\

1046: a) $h$ is small enough for its logarithmic running to be neglected. This

1047: requires corrections

1048: $\sim h^4/(4\pi^2)$ to be negligible relative to $h^2$.\\ 

1049: b) $\lx$ is small enough for terms $\sim \lx^2$ to be neglected.

1050: Notice, however, that corrections $\sim h^4/(4\pi^2)$ are not assumed

1051: to be small relative to $\lx$. On the contrary, it is for the range 

1052: $h^4/(4\pi^2)\sim \lx$ that 

1053: first-order phase transitions appear. \\

1054: The explicit chiral symmetry breaking can be taken into account by

1055: adding a term $-j\sx$ to the potential. 

1056: The parameters $\rho_{0R}$, 

1057: $\lx$, $j$ can be determined through the 

1058: pion decay constant $f_\pi$ and the masses 

1059: $m_\sx$, $m_\pi$ of the $\sx$ and pion fields.

1060: The Yukawa coupling $h$ can be determined through the constituent quark

1061: mass $M_q$. 

1062: 

1063: 

1064: At the scale $k_T=T/\theta_2$ the potential is 

1065: given by eq. (\ref{init2}), with

1066: ${^3V}_{0F}$ given by eq. (\ref{f3}) for

1067: $k=0$.

1068: The evolution of $U_k$ for 

1069: $k\leq k_T$ is given

1070: by eq. (\ref{scinv}). The scalar modes with non-zero Matsubara frequencies,

1071: as well as the fermions, have completely decoupled. Only the

1072: fluctuations of the scalar zero modes contribute to the evolution of

1073: the potential. For this reason the theory is effectively three-dimensional

1074: at these low scales. 

1075: For practical calculations we use $\theta_2=1$.

1076: 

1077: The fermionic contribution $I_F(\rho;T,\mu)$ to the initial condition 

1078: for the potential, given by eq. (\ref{if}), can be evaluated in certain

1079: limiting cases for small mass term $h^2\rho/2$. For $\mu=0$ 

1080: the standard high temperature expansion \cite{Dolan:qd} gives

1081: \be

1082: I_F(\rho;T,0) = N_c \frac{h^2}{12} T^2 

1083: +N_c \frac{h^4}{16\pi^2} \rho 

1084: \ln \left( \frac{\Lx^2}{\alpha T^2}\right)

1085: +{\cal O}( h^6),

1086: \label{mu0} \ee

1087: with $\alpha\simeq 8.5$.

1088: For $T=0$ the Fermi-Dirac distribution becomes a step-function

1089: and we obtain

1090: \be

1091: I_F(\rho;0,\mu) = N_c \frac{h^2}{4\pi^2} \mu^2 

1092: +N_c \frac{h^4}{16\pi^2} \rho 

1093: \ln \left( \frac{\Lx^2}{\beta \mu^2}\right)

1094: +{\cal O}( h^6),

1095: \label{T0} \ee

1096: with $\beta\simeq 10.9$.

1097: 

1098: The terms $\sim h^4 \rho$ in the r.h.s. of the above equations can

1099: change the sign of the tree-level

1100: term $\lx \rho$ in the initial condition (\ref{init}).

1101: The phase diagram expected for QCD is obtained if the total 

1102: term $\sim \rho$ is positive near the phase transition

1103: for $T\not=0$, $\mu=0$ and negative

1104: for $T=0$, $\mu\not=0$. In our model we choose couplings such that 

1105: this condition is satisfied. It has been checked explicitly 

1106: \cite{Berges:1998sd,Berges:1997eu} that the 

1107: realistic values of the parameters, consistent with low-energy

1108: QCD phenomenology, reproduce the correct order for the transitions

1109: for $T\not=0$, $\mu=0$ and 

1110: $T=0$, $\mu\not=0$. 

1111: 

1112: We define dimensionful quantities in terms of the parameter $\rho_{0R}$

1113: defined in eq. (\ref{rhoren}).

1114: Our analysis of the phase diagram will be carried out for a model

1115: with $\lx=0.1$, $h^2=2.3$, $\Lx^2=1.8\,\rho_{0R}$.

1116: 

1117: 

1118: 

1119: 

1120: 

1121: \subsection{The second-order phase transitions}

1122: 

1123: \begin{figure}[t]

1124:  %\vspace{1.cm}

1125:  \centerline{\epsfig{figure=fig1.eps,width=11cm,angle=-90}}

1126:  \caption{\it

1127: The evolution of the rescaled potential for 

1128: $\mu=0$, $T/\sqrt{\rho_{0R}}\simeq 0.407.$

1129: }

1130:  \label{fig1}

1131:  \end{figure}

1132: 

1133: We start by considering a system with zero chemical potential.

1134: In fig. \ref{fig1} we display the solution of eq. (\ref{scinv}),

1135: for a theory with 

1136: $\mu=0$, $T/\sqrt{\rho_{0R}}\simeq 0.407.$

1137: We start the evolution at a scale $k_T=T$ and move towards the infrared.

1138: The initial condition is given by eqs. (\ref{init}), (\ref{if}), and

1139: corresponds to a system in the broken phase.

1140: We observe that initially $u_k'(\rht)$ is small, because of the

1141: smallness of the value of $\lx$ we chose. Subsequently the 

1142: potential evolves (dashed lines), while its minimum $\rht_0$ remains

1143: non-zero. At a later stage the solution approaches an almost constant

1144: form (solid lines). 

1145: This is the fixed point of the $O(4)$ universality class.

1146: At the last stages of the evolution (dotted lines) the minimum of the 

1147: potential moves to the origin and $u_k'(0)$ becomes positive. 

1148: 

1149: For $k\to 0$,

1150: the rescaled mass term $u_k'(0)$ diverges so that 

1151: $dU_k(0;T)/d\rho=k^2du_k(0)/d\rht$ approaches a constant value. The system

1152: ends up in the symmetric phase.  

1153: The renormalized mass term $m^2_R(T)=dU_0(0;T)/d\rho$ 

1154: is very small in terms of the 

1155: characteristic mass scale of the potential at $k=T$. The reason is that,

1156: during the ``time'' $t=\ln(k/\rho^{1/2}_{0R})$ 

1157: the solution is close the fixed point, the quantity 

1158: $u'_k(0)$ remains constant, so that $U'_k(0;T)$ scales $\sim k^2$.

1159: The longer the system spends near the fixed point,

1160: the smaller the final value of $m^2_R(T)$.

1161: The approach to the fixed point is controlled by one

1162: parameter, the temperature $T$. For the evolution displayed in fig.

1163: \ref{fig1} the temperature is slightly larger than the critical value 

1164: $T_{cr}$ that

1165: separates the symmetric from the broken phase. 

1166: For a value slightly smaller than the critical, the evolution would be 

1167: similar to that in fig. \ref{fig1}, apart from the last stages. 

1168: For $k\to 0$ the minimum $\rht_0$ of $u_k(\rht)$ would diverge, so that

1169: the minimum $\rho_0$ of $U_k(\rho;T)$, given by $\rho_0(k,T)=\rht(k) k T$,

1170: would reach a constant very small value $\rho_{0R}(T)$. 

1171: In this way, the system would

1172: end up in the broken phase.

1173: Examples of this behaviour can be found in the review \cite{Berges:2000ew} 

1174: and references therein.

1175: 

1176: \begin{figure}[t]

1177:  %\vspace{1.cm}

1178:  \centerline{\epsfig{figure=fig2.eps,width=11cm,angle=-90}}

1179:  \caption{\it

1180: The critical exponents $\nu$ and $\beta$ as the critical temperature

1181: is approached.}

1182:  \label{fig2}

1183:  \end{figure}

1184: 

1185: \begin{figure}[t]

1186:  %\vspace{1.cm}

1187:  \centerline{\epsfig{figure=fig3.eps,width=11cm,angle=-90}}

1188:  \caption{\it

1189: The evolution of the rescaled potential for 

1190: $\mu/\sqrt{\rho_{0R}} \simeq 0.735$, $T/\sqrt{\rho_{0R}}=0.1.$

1191: }

1192:  \label{fig3}

1193:  \end{figure}

1194: 

1195: The fixed point of the $O(4)$ universality class is approached by fine-tuning

1196: only one relevant parameter, the temperature $T$ of the system.

1197: The temperature effectively controls the mass term of the initial potential.

1198: The properties of the critical theory (the one for $T\simeq T_{cr}$)

1199: are determined only by the fixed point. The reason is that the system,

1200: after spending a significant part of the evolution near the fixed point,

1201: loses memory of the initial conditions. 

1202: As a result, all physical quantities at the vacuum can be parametrized

1203: in terms of the deviation of $T$ from $\tcr$. The dependence on

1204: $T-\tcr$ is not analytic. In particular, for the mass term and the 

1205: expectation value we expect a behaviour that can be parametrized as

1206: \begin{eqnarray}

1207: m^2_R(T)&\sim&\left|T-\tcr \right|^{2\nu}

1208: \label{nnu} \\

1209: \rho_{0R}(T)&\sim&\left|T-\tcr \right|^{2\beta}.

1210: \label{bbeta} \end{eqnarray}

1211: In fig. \ref{fig2} we plot the effective values of the critical 

1212: exponents $\nu$, and $\beta$, extracted through the integration of the

1213: evolution equation for various values of $T$. We observe that the exponents

1214: become constant very close to the critical temperature, with values

1215: $\nu\simeq 0.82$, $\beta\simeq 0.41$. These are in reasonable agreement with

1216: the values determined through high precision calculations using alternative

1217: methods, or the effective average action taking into account the 

1218: wavefunction renormalization: 

1219: $\nu\simeq 0.74$, $\beta\simeq 0.38$ \cite{Berges:2000ew}.

1220: The descrepancy arises because we have neglected the wavefunction

1221: renormalization, effectively using $\eta=0$ for the anomalous dimension

1222: of the field. The correct value of this quantity is 

1223: $\eta\simeq 0.036$. Notice, however, that the scaling law 

1224: $\beta=(1+\eta)\nu/2$ is satisfied by our result.

1225: 

1226: \subsection{The first-order phase transitions}

1227: 

1228: We turn now to the region of first-order phase transitions, which are

1229: expected to take place for large values of the chemical potential. 

1230: We consider a system with 

1231: $\mu\simeq 0.735$, $T/\sqrt{\rho_{0R}}= 0.1.$

1232: In fig. \ref{fig3} we display the evolution of $u'_k(\rht)$

1233: starting at $k=T$ and moving towards $k=0$.

1234: This figure should be compared to fig. \ref{fig1}.

1235: The differences are significant. Already at $k=T$, 

1236: there are two values of the order

1237: parameter $\rht$ for which $u'_k$ vanishes. Moreover, 

1238: $u'_k(0)$ is positive. This implies a potential 

1239: with two minima (one located at the origin) and a maximum.

1240: During the evolution towards the infrared the system does not approach

1241: a fixed-point solution. For $k\to 0$, $u'_k(0)$ increases so that

1242: $U'_k(0;T,\mu)$ reaches a constant value. The point

1243: $\rht_0$ where the second minimum of $u_k$

1244: is located diverges also, so that the second minimum $\rho_0$

1245: of $U_k$ approaches a constant value.

1246: 

1247: 

1248: 

1249: \begin{figure}[t]

1250:  %\vspace{1.cm}

1251:  \centerline{\epsfig{figure=fig4.eps,width=11cm,angle=-90}}

1252:  \caption{\it

1253: The evolution of the potential for 

1254: $\mu/\sqrt{\rho_{0R}}\simeq 0.735$, $T/\sqrt{\rho_{0R}}= 0.1.$

1255: }

1256:  \label{fig4}

1257:  \end{figure}

1258: 

1259: The behaviour of $U_k(\rho;T,\mu)$ is displayed in fig. \ref{fig4}.

1260: We observe the two minima, and the curvature of the

1261: potential around them that determines the mass terms,

1262: settling down at constant values. The minimum at the origin is slightly 

1263: deeper than the one at non-zero $\rho$, indicating that the temperature is

1264: slightly larger than the critical one.  

1265: The barrier separating the two minima remains scale dependent 

1266: even after the minima have become scale independent to a good approximation.

1267: This is a general feature of the solutions near first-order phase

1268: transitions, which is related to the issue of the convexity of the

1269: effective potential \cite{Tetradis:1992qt,Berges:2000ew}. 

1270: As the scale-dependent

1271: potential $U_k$ approaches the effective potential for $k\to 0$, the

1272: barrier should disappear, giving its place to the standard Maxwell

1273: construction. This is a general property of the solutions of the evolution

1274: equation \cite{Tetradis:1992qt,Berges:2000ew}, which can be 

1275: established analytically. However, the numerical integration of the 

1276: evolution equation in this regime is difficult because of the

1277: presence of a pole in the threshold function. For this reason, 

1278: in fig. \ref{fig4} we have stopped the evolution at a non-zero value of $k$, 

1279: such that the minima are stabilized, even though the barrier has not

1280: disappeared yet. An example of 

1281: a more elaborate numerical integration that displays the

1282: approach to convexity for $k\to 0$ is presented in ref. \cite{Berges:2000ew}. 

1283: The calculation of bubble-nucleation rates during a first-order phase

1284: transition is performed at non-zero values of $k$. The physical value of

1285: the nucleation rate is independent of the choice of $k$ at which the 

1286: calculation is carried out \cite{Strumia:1998nf}.

1287: 

1288: 

1289: 

1290: 

1291: \begin{figure}[t]

1292:  %\vspace{1.cm}

1293:  \centerline{\epsfig{figure=fig5.eps,width=11cm,angle=-90}}

1294:  \caption{\it

1295: The evolution of the rescaled potential for 

1296: $\mu/\sqrt{\rho_{0R}}=0.718$, $T/\sqrt{\rho_{0R}}\simeq 0.130.$

1297: }

1298:  \label{fig5}

1299:  \end{figure}

1300: 

1301: \subsection{The tricritical point}

1302: 

1303: The second-order phase transitions, discussed in subsection 7.1, form a line

1304: on the phase diagram, which starts at $\mu=0$ and continues towards

1305: non-zero values of $\mu$. Similarly, the first-order phase transitions, 

1306: discussed in subsection 7.2,

1307: form another line that starts at $T=0$ and continutes towards non-zero values

1308: of $T$. These two lines are expected to meet at a point on the

1309: ($T$,$\mu$) plane, characterized as the 

1310: tricritical point. Near it the first-order transitions are very

1311: weak (the discontinuity in $\rho$ approaches zero) and eventually become

1312: second order. 

1313: 

1314: In fig. \ref{fig5} we display the evolution of $u'_k(\rht)$ for

1315: $\mu/\sqrt{\rho_{0R}}=0.718$, $T/\sqrt{\rho_{0R}}\simeq 0.130.$

1316: This figure is very similar to fig. \ref{fig1}. The potential evolves 

1317: towards the $O(4)$ fixed point, where it becomes stationary for a while.

1318: Eventually it moves away from the fixed point and settles down in the

1319: symmetric phase. 

1320: 

1321: The significant difference between the two figures concerns the initial 

1322: stage of the evolution. In fig. \ref{fig1} this is rather short, as the

1323: potential moves quickly away from its initial form and approaches the 

1324: fixed point. In fig. \ref{fig5} the initial stage is much longer, as can

1325: be deduced from the accumulation of curves on the horizontal axis. In fact,

1326: two fixed points are apparent in fig. \ref{fig5}: the one characterizing

1327: the $O(4)$ universality class, and the Gaussian fixed point which corresponds

1328: to $u'_k(\rht)=0$. 

1329: The system starts very close to the Gaussian fixed point. This

1330: is unstable, so that eventually the system approaches the $O(4)$ fixed point.

1331: In order to start near the Gaussian fixed point, two relevant parameters must

1332: be fine-tuned: the temperature and the chemical potential. They control the

1333: mass term (the term $\sim \rho$) and the quartic coupling (the term

1334: $\sim \rho^2$) 

1335: of the initial potential. In particular,

1336: the initial values of these two terms are very close to zero, so that the

1337: term $\sim \rho^3$  (in an expansion of $U_{k_T}(\rho)$ around the

1338: origin) is important. 

1339: 

1340: \begin{figure}[t]

1341:  %\vspace{1.cm}

1342:  \centerline{\epsfig{figure=fig6.eps,width=11cm,angle=-90}}

1343:  \caption{\it

1344: The critical exponents $\nu$ and $\beta$ as the critical temperature

1345: is approached near the tricritical point.

1346: }

1347:  \label{fig6}

1348:  \end{figure}

1349: 

1350: These findings are in very good agreement with the discussion of section 

1351: 2, which was based on mean field theory. The reason is that the Gaussian

1352: fixed point results in mean-field behaviour, as the effect of 

1353: fluctuations is negligible because of the smallness of the couplings.

1354: Our results indicate that the tricritical point must be connected with 

1355: the Gaussian fixed point of fig. \ref{fig5}. The number of relevant

1356: parameters is correctly predicted to be 2. 

1357: 

1358: The effective critical exponents $\nu$, $\beta$

1359: can be computed from eqs. (\ref{nnu}), (\ref{bbeta}), similarly to 

1360: subsection 7.1, by keeping $\mu$ fixed and varying $T$. 

1361: The results are depicted in fig. \ref{fig6}.

1362: We observe that for $|T-\tcr|/\sqrt{\rho_{0R}} = \exp(-5)$ -- $\exp(-8)$

1363: they take the values $\beta=0.25$, $\nu=0.5$. These are the mean-field

1364: predictions that we derived in section 2. For this range of temperatures

1365: the potential never approaches the $O(4)$ fixed point. It stays close to

1366: the Gaussian one, before moving directly towards the broken or the symmetric

1367: phase. For temperatures closer to $\tcr$, the

1368: system feels the attraction of the $O(4)$ fixed point. For $T$

1369: very close to $\tcr$ the potential 

1370: spends a large part of its evolution near this

1371: fixed point. As a result it loses memory of its initial form near the

1372: Gaussian fixed point. The critical exponents take the values 

1373: characteristic of the $O(4)$ universality class.

1374: 

1375: The curves in fig. \ref{fig6} between 

1376: $|T-\tcr|/\sqrt{\rho_{0R}} = \exp(-9)$ and 

1377: $|T-\tcr|/\sqrt{\rho_{0R}} = \exp(-30)$

1378: are typical examples of crossover curves. They describe the variation of

1379: universal quantities, such as the critical exponents, as the relative 

1380: influence of two fixed points changes.

1381: 

1382: 

1383: 

1384: 

1385: \begin{figure}[t]

1386:  %\vspace{1.cm}

1387:  \centerline{\epsfig{figure=fig7.eps,width=11cm,angle=-90}}

1388:  \caption{\it

1389: The evolution of the rescaled potential for 

1390: $\mu/\sqrt{\rho_{0R}}=0.719$, $T/\sqrt{\rho_{0R}}\simeq 0.128.$

1391: }

1392:  \label{fig7}

1393:  \end{figure}

1394: 

1395: We can confirm our identification of the

1396: tricritical point by studying the first-order phase

1397: transitions near the Gaussian fixed point.

1398: In fig. \ref{fig7} we display the evolution of $u'_k(\rht)$ for a theory

1399: with $\mu/\sqrt{\rho_{0R}}=0.719$, $T/\sqrt{\rho_{0R}}\simeq 0.128.$ 

1400: The slight increase of the value of the chemical potential relative to 

1401: fig. \ref{fig5}

1402: modifies drastically the evolution. The potential stays very close

1403: to the Gaussian fixed point for a long ``time'' $t=\ln(k/\rho^{1/2}_{0R})$,

1404: but eventually moves away from it. 

1405: (Notice the difference by a factor 100 of 

1406: the scale of the vertical axis between figs. \ref{fig3} and \ref{fig7}.)

1407: Its form is characteristic

1408: of a first-order phase transition as we discussed in detail in subsection

1409: 7.2. However, the transition is very weak, as the discontinuity in the

1410: order parameter is orders of magnitude smaller than $\rho_{0R}$.

1411: 

1412: 

1413: The tricritical point is located 

1414: on the plane ($\mu/\sqrt{\rho_{0R}}$, $T/\sqrt{\rho_{0R}}$)

1415: in the region between

1416: the points (0.718, 0.130) and (0.719, 0.128). 

1417: For the critical values of $\mu$ and $\tcr$ the solution of the evolution

1418: equation stays close to the Gaussian fixed point for an infinitely long 

1419: ``time'' $t$. As a result the critical behaviour is determined completely 

1420: by mean-field theory. 

1421: For example, the critical exponent $\beta$ stays equal to 0.25 arbitrarily

1422: close to the critical temperature.

1423: 

1424: 

1425: \section{The phase diagram for $j\not=0$}

1426: 

1427: \subsection{The analytical crossover and the first-order phase transitions}

1428: 

1429: The effect of a source term $-j\sx$ on a second-order phase transition

1430: has been studied extensively in the statistical physics and field theory

1431: literature. It is well known that the phase transition disappears and

1432: is replaced by an analytical crossover. No singularities appear in the

1433: physical quantities. Instead these are described by smooth  functions

1434: connecting the two ``phases''. 

1435: The reason can be understood by

1436: considering the potential for a constant value of $\mu$, corresponding 

1437: to the part of the phase diagram where a second-order

1438: phase transition is expected for $j=0$.

1439: The vacuum of the theory is determined by

1440: the relation $\partial U_0/\partial \sx=j$. For $j\not=0$ the vacuum is 

1441: located away from the origin for all values of $T$.

1442: If we take $\sx$ as the order parameter, no signal of a phase

1443: transition exists. Moreover, both the $\sx$-field and the pions are

1444: massive at the vacuum. This implies that no significant fluctuations

1445: exist in the deep infrared, 

1446: as all fields decouple at sufficiently low energy scales. 

1447: Consequently, no singularities are expected in physical quantities. 

1448: 

1449: For very small $j$, the influence of the fixed point leads to a universal form

1450: of the potential in the critical region. 

1451: It is convenient to define 

1452: the quantity $x=\delta T/\sx^{1/\beta}$, with $\delta T=T-\tcr$ and $\beta$ a critical

1453: exponent. The potential can be expressed as 

1454: \be

1455: \frac{1}{\sx^\delta} \frac{\partial U_0}{\partial \sx}=f(x),

1456: \label{eeos} \ee

1457: with $\delta$ another critical exponent and

1458: $\partial U_0/\partial \sx=j$ \cite{zinn}.

1459: The form of the function $f(x)$, characterized as the universal

1460: equation of state, is completely specified by the 

1461: universality class. For small $j$, 

1462: the temperature dependence of the $\sx$-field and

1463: pion masses 

1464: near the critical temperature can be extracted from eq. (\ref{eeos}) 

1465: \cite{Rajagopal:1992qz}.

1466: 

1467: We shall not determine the equation of state of the $O(4)$ universality class

1468: here, as it has been calculated in ref. \cite{Berges:1997eu}.

1469: There, it is also demonstrated how the interplay between universal and

1470: non-universal behaviour can be described efficiently by the 

1471: effective average action. Even though the study of ref. \cite{Berges:1997eu}

1472: is carried out for $\mu=0$, it displays all the characteristic features

1473: associated with theories in the small-$\mu$ region of the phase diagram. 

1474: 

1475: The 

1476: first-order phase transitions for large $\mu$ that we discussed

1477: in subsection 7.2 are not affected significantly by the presence of

1478: a source term $-j\sx$. The minimum at the origin moves to a non-zero value

1479: of $\sx$, as in the case of second-order phase transitions. 

1480: The linear term also affects the relative depth of the two

1481: minima of the potential and chages

1482: the value of the critical temperature.

1483: The most characteristic feature of the phase diagram for $j\not= 0$ is the 

1484: presence of a critical endpoint that marks the end of the line of first-order

1485: phase transitions. At this point a second-order phase transition is expected

1486: to take place. In the following subsection we discuss in detail the

1487: nature of the endpoint and determine the relevant universality class.

1488: 

1489: 

1490: 

1491: \subsection{The critical endpoint}

1492: 

1493: 

1494: In order to discuss the critical endpoint 

1495: we need to adapt our formalism to the situation of explicit symmetry

1496: breaking through the addition of the source term $-j \sx$ to the

1497: potential. In particular, we have to define an appropriate order parameter

1498: that can describe the second-order phase transition.

1499: For this reason we expand the field

1500: $\sx$ around a non-zero value $\sxj$, so that $\sx=\sxj+\dt$ with

1501: $\dt\ll\sxj$.

1502: We define a new potential 

1503: \be

1504: V_k(\dt;T,\mu)=U_k(\sxj+\dt;T,\mu)-j\,(\sxj+\dt)

1505: \label{newpot} \ee

1506: and the dimensionless quantities

1507: \begin{eqnarray}

1508: v_k(\dtt)&=&\frac{V_k(\dt;T,\mu)}{k^3T}

1509: \label{vkdtt} \\

1510: \dtt&=&\frac{\dt}{\sqrt{kT}}.

1511: \label{deltt} \end{eqnarray}

1512: The evolution equation takes the form

1513: \be

1514:     \frac{\pa }{\pa t}v'_{k} (\dtt) =

1515:       -\frac{5}{2} v'_k+\frac{1}{2}\dtt v''_k  

1516:       +v_3 \left(v'''_k\right)

1517:       L^3_1\left( v''_k\right)

1518:      +3v_3\, 

1519:       \left(

1520:       \frac{v''_k}{\frac{\sxj}{\sqrt{kT}}+\dtt}

1521:       -\frac{\frac{j}{\sqrt{k^5T}}+v'_k}{\left(\frac{\sxj}{\sqrt{kT}}

1522:        +\dtt\right)^2}

1523:       \right)

1524:       \,L^3_1\left(\frac{\frac{j}{\sqrt{k^5T}}+v'_k}{\frac{\sxj}{\sqrt{kT}}

1525:       +\dtt}\right),

1526: \label{scinvj} \ee

1527: where the primes now denote derivatives with respect to

1528: $\dtt$.

1529: 

1530: The last term arises through the pion fluctuations. This

1531: is apparent if one considers the argument of the threshold function, which

1532: is the pion mass term $(1/\sx)(\pa U_k/\pa \sx)$ divided by $k^2$. The term

1533: introduces explicit scale dependence in the equation. 

1534: We expect

1535: the contributions that include inverse powers of $k$ to become dominant in

1536: the infrared. 

1537: The potential $u'_k(\dtt)$ could also include terms that scale with

1538: inverse powers of $k$. We isolate the most singular contribution by 

1539: parametrizing $u'_k(\dtt)$ as

1540: \be 

1541: v'_k(\dtt)=\vt'_{k}(\dtt)+\frac{c_k}{\sqrt{k^5T}}.

1542: \label{vsk} \ee

1543: In the following we shall show that 

1544: $\vt'_{k}(\dtt)$ can reach a scale-invariant

1545: form during the evolution, so that $\vt'_{k}(\dtt)\ll j/\sqrt{k^5T}$ for

1546: fixed $\dtt$ and $k\to 0$. Under this assumption, we can

1547: write eq. (\ref{scinvj}) as 

1548: \begin{eqnarray} 

1549:     \frac{\pa }{\pa t}\vt'_{k} (\dtt) &=&

1550:       -\frac{5}{2} \vt'_{k}+\frac{1}{2}\dtt \vt''_{k}  

1551:       +v_3 \left(\vt_{k}'''\right)

1552:       L^3_1\left( \vt''_{k}\right)

1553: \label{lone} \\

1554:     \frac{d }{d k}c_k  &=&

1555:      -3v_3\, 

1556:       \frac{(j+c_k)T}{\sxj^2}

1557:       \,L^3_1\left(\frac{j+c_k}{\sxj k^2}\right).

1558: \label{ltwo} 

1559: \end{eqnarray}

1560: These equations have a clear physical interpretation: For sufficiently

1561: low $k$, the pions (the Goldstone modes)

1562: decouple from the evolution of the $\sx$-field (the radial mode). The reason is

1563: that the pions are massive in the presence of explicit chiral symmetry

1564: breaking, with an effective mass controlled by $j$. 

1565: 

1566: The solution of eq. (\ref{lone}) can reach a scale-invariant form.

1567: The only known fixed point of this equation

1568: corresponds to the Ising universality class, as

1569: only the fluctuations of the $\sx$-field contribute to the evolution.

1570: The emergence of a critical theory around $\sx=\sxj$

1571: imposes two requirements:\\

1572: a) The first derivative of the potential around this point must vanish for 

1573: $k\to 0$.\\

1574: b) The fixed point of eq. (\ref{lone}) must be approached during the 

1575: evolution.

1576: 

1577: The solution of eqs.(\ref{lone}), 

1578: (\ref{ltwo}) requires initial conditions.

1579: These are provided by the definition (\ref{newpot}) for 

1580: $k_T=T/\theta_2$. (As before we use $\theta_2=1$ for the calculations.) 

1581: In  particular we take

1582: \begin{eqnarray}

1583: c_{k_T}&=&

1584: \frac{\pa V_{k_T}}{\pa \delta} (0;T,\mu)

1585: =\frac{\pa U_{k_T}}{\pa \sx} (\sxj;T,\mu)-j

1586: \label{lthree} \\

1587: \vt'_{k_T}&=&\frac{1}{\sqrt{k_T^5T}}

1588: \left( \frac{\pa^2 U_{k_T}}{\pa \sx^2} (\sxj;T,\mu)\, \dt

1589: +\frac{1}{2}\frac{\pa^3 U_{k_T}}{\pa \sx^3} (\sxj;T,\mu)\, \dt^2

1590: +\frac{1}{6}\frac{\pa^4 U_{k_T}}{\pa \sx^4} (\sxj;T,\mu)\, \dt^3

1591: + {\cal O}(\dt^4) \right)

1592: \nonumber \\

1593: &&

1594: \label{lfour} \end{eqnarray}

1595: and neglect the higher-order terms for small $\dt$.

1596: The first requirement for the emergence of a critical theory

1597: implies that $c_{k_T}$ must be

1598: chosen such that the solution of eq. (\ref{ltwo})

1599: gives $c_0=0$. The second requirement can be satisfied

1600: if the 

1601: initial condition (\ref{lfour}) has two properties: The term $\sim \dt^2$

1602: (the cubic term) 

1603: vanishes, and the term $\sim \dt$ (the mass term)

1604: has the appropriate critical value for

1605: the fixed point to be approached. The term $\sim \dt^3$ (the quartic coupling)

1606: need not be fine-tuned,

1607: as the Ising fixed point is characterized by one relevant parameter.

1608: For any given value of the quartic coupling, the fine-tuning of

1609: the mass term leads to the fixed point.

1610: For given $j$, we have three free parameters at our disposal: $T$, $\mu$ and

1611: the value $\sxj$ around which we expand the potential.

1612: Therefore, we expect that 

1613: the fixed point of eq. (\ref{lone}) can be approached for a unique

1614: choice of $T$, $\mu$ and $\sxj$. The values of these parameters mark

1615: the location of the critical endpoint on the phase diagram.

1616: 

1617: \begin{figure}[t]

1618:  %\vspace{1.cm}

1619:  \centerline{\epsfig{figure=fig8.eps,width=11cm,angle=-90}}

1620:  \caption{\it

1621: Determination of the initial conditions (\ref{lthree}), (\ref{lfour})

1622: for the evolution equations

1623: (\ref{lone}), (\ref{ltwo}).

1624: }

1625:  \label{fig8}

1626:  \end{figure}

1627: 

1628: In order to determine $c_0$, eq. (\ref{ltwo}) must be solved numerically.

1629: Alternatively, an analytical upper bound can be obtained through the relation

1630: \be

1631: \ln \left( 

1632: \frac{c_0+j}{c_{k_T}+j}

1633: \right) =  -3v_3\, 

1634:       \frac{T}{\sxj^2}\int_{k_T}^0 dk    

1635:       \,L^3_1\left(\frac{j+c_k}{\sxj k^2}\right).

1636: \label{upper} \ee

1637: The threshold function is monotonic and 

1638: the maximum value of $|L^3_1(w)|$ is 

1639: $|L^3_1(0)|=\sqrt{\pi}$. Thus, we obtain

1640: \be

1641: \left| \ln \left( 

1642: \frac{c_0+j}{c_{k_T}+j}

1643: \right)\right| \leq  \frac{3}{8\pi^{3/2}}

1644:       \frac{Tk_T}{\sxj^2}. 

1645: \label{upperbound} \ee

1646: For our choice of parameters (see below) the r.h.s. is 

1647: significantly smaller than 1. This implies that there is only a 

1648: small difference between  $c_0$ and $c_{k_T}$. 

1649: As a result, the vanishing of $c_0$ implies 

1650: $\left[ {\pa U_{k_T}}/{\pa \sx} \right] (\sxj;T,\mu)\simeq j$, according to 

1651: eq. (\ref{lthree}).

1652: 

1653: The determination of the initial conditions for the solution of 

1654: eqs. (\ref{lone}), (\ref{ltwo}) is shown in fig. \ref{fig8}.

1655: The first four derivatives of the potential $U_{k_T}$ at the initial scale 

1656: $k_T=T$ are plotted. The point $\sx_j$ at which the third derivative

1657: vanishes is where we expect the critical theory to emerge. 

1658: For the parameters of the model we have chosen

1659: ($\lx=0.1$, $h^2=2.3$, $\Lx^2/\rho_{0R}=1.8$), and 

1660: $\mu/\sqrt{\rho_{0R}}=0.72$, $T/\sqrt{\rho_{0R}}\simeq 0.127$,

1661: we find $\sx_j/\sqrt{\rho_{0R}}\simeq 0.0858$.

1662: We are considering an external source

1663: $j/\rho^{3/2}_{0R}\simeq 1.12 \times 10^{-7}$. The initial value of

1664: the parameter $c_{k_T}$, defined in eq. (\ref{lthree}), is

1665: $c_{k_T}/\rho^{3/2}_{0R}\simeq1.74\times 10^{-8}$.

1666: We observe that $[\partial U_{k_T}/\partial \sx](\sx_j;T,\mu)$ is close but not

1667: exactly equal to $j$. As a result 

1668: $[\partial V_{k_T}/\partial \delta](0;T,\mu)\not= 0$.

1669: 

1670: 

1671: \begin{figure}[t]

1672:  %\vspace{1.cm}

1673:  \centerline{\epsfig{figure=fig9.eps,width=11cm,angle=-90}}

1674:  \caption{\it

1675: The evolution of: $c_k=[{\pa V_{k}}/{\pa \delta}] (0;T,\mu)$,

1676: the rescaled $\sx$-field and pion masses, and the minimum

1677: of $\vt_k(\dtt)=\left( V_k(\delta;T,\mu)-c_k\delta\right)/(k^3T)$.\,

1678: $\mu/\sqrt{\rho_{0R}}=0.72$, $T/\sqrt{\rho_{0R}}\simeq 0.127$,

1679: $j/\rho^{3/2}_{0R}\simeq 1.12 \times 10^{-7}$. 

1680: }

1681:  \label{fig9}

1682:  \end{figure}

1683: 

1684: In fig. \ref{fig9} we display elements of 

1685: the solution of eqs. (\ref{lone}), (\ref{ltwo}).

1686: We observe that the parameter

1687: $c_k=[{\pa V_{k}}/{\pa \delta}] (0;T,\mu)$

1688: starts from its initial value at the scale $k_T=T$ 

1689: and effectively becomes zero

1690: at a scale $k/\rho_{0R}^{1/2}\simeq \exp(-6)$. The 

1691: rescaled mass of the pion fields

1692: $m^2_\pi(k)/k^2=[(j+c_k)/\sxj]/ k^2$

1693: becomes much larger than 1 slightly below

1694: this scale. As a result, the pions decouple completely from the evolution

1695: equation and $c_k$ remains constant during the ensuing evolution.

1696: This guarantees that the first derivative of the potential at 

1697: $k=0$ vanishes at the point $\delta=0$.

1698: 

1699: The solution of eq. (\ref{lone}) approaches a fixed point in the infrared.

1700: This is demonstrated in fig. \ref{fig9} by displaying: 

1701: a) the minimum $\dtt_0=\delta_0/\sqrt{kT}$ of the rescaled potential

1702: $\vt_k(\dtt)=\left( V_k(\delta;T,\mu)-c_k\delta\right)/(k^3T)$; and

1703: b) the rescaled mass term 

1704: $m^2_\sx(k)/k^2=[ \pa^2 V_k/\pa \delta^2 ](\delta_0;T,\mu)/k^2$

1705: of the $\sx$-field (or the shifted $\delta$-field) at the minimum.

1706: Both these quantities reach constant values at a scale

1707: $k/\rho_{0R}^{1/2}\simeq \exp(-14)$. The subsequent 

1708: evolution is analogous to the one studied in subsection 7.1. The

1709: potential, and the various parameters derived from it, stay

1710: constant near their fixed-point values for some ``time'' 

1711: $t=\ln(k/\rho^{1/2}_{0R})$,

1712: before finally deviating towards the

1713: symmetric or the broken phase. The renormalized theory at $k=0$ exhibits

1714: a second-order phase

1715: transition. The parameter that has to be fine-tuned in order to

1716: go through the critical endpoint is a linear combination of $T$ and

1717: $\mu$.

1718: 

1719: The universality class of the fixed point is determined by the 

1720: number of fields with running masses comparable or smaller than $k$ 

1721: and the symmetries of the relevant part of the action. 

1722: For $k/\rho_{0R}^{1/2}\lta \exp(-6)$ only the 

1723: $\sx$-field fulfills this criterion. The pions have completely decoupled by

1724: the time the fixed point is approached. 

1725: The scale-dependent potential $\vt(\dtt)$ has a $Z_2$ symmetry  

1726: that is preserved by the evolution. Crucial for this conclusion is the

1727: choice of a point $\sx_j$ at which the cubic term of the potential 

1728: $U_{k_T}$ vanishes. The elimination of the pion contribution from

1729: the evolution equation (\ref{lone}) through the parametrization 

1730: (\ref{vsk}) is important as well. The pion fluctuations only affect

1731: the evolution of the term linear in $\delta$ around $\sx_j$ (the parameter

1732: $c_k$).  

1733: This term evolves to zero and stays constant after the pion decoupling. 

1734: These features can be achieved for specific values of $T$ and $\mu$ 

1735: that determine the location of the critical endpoint.

1736: As a result, the endpoint

1737: belongs to the Ising universality class. 

1738: This can be confirmed by calculating the critical exponents, as

1739: was done in subsection 7.1. 

1740: 

1741: 

1742: Before concluding this section, we should comment on the

1743: approximations employed in the study of the critical endpoint.

1744: The parametrization of eq. (\ref{vsk}) is quite general. 

1745: The derivation of the evolution equations (\ref{lone}), (\ref{ltwo}) made

1746: use of the crucial assumption 

1747: $\vt'_{k}(\dtt)\ll c_k/\sqrt{k^5T}$. In the example we presented, the

1748: starting scale $k_T=T$ was sufficiently low for this relation to 

1749: be satisfied to a good approximation during the whole evolution. 

1750: We also neglected the terms 

1751: higher than $\delta^3$ in the initial condition (\ref{lfour})

1752: for $\vt'_{k_T}$. Again, this is a reasonable approximation if we are

1753: interested only in a small region around $\sx_j$. 

1754: 

1755: Going beyond these approximations in order to increase the 

1756: precision of the study leads to significant technical complications. 

1757: The reason is that the $Z_2$ symmetry of $\vt_k(\dtt)$ is not guaranteed

1758: automatically if the approximations are relaxed.

1759: However, we believe that the essential conclusions remain

1760: valid. In order to have a critical theory at a point $\sx_j$ one

1761: must ensure that, at $k=0$, the first and third derivatives of the 

1762: potential are zero there. These two conditions guarantee that $\sx_j$ would

1763: be a minimum, 

1764: and that no second minimum would exist in its vicinity. The appropriate 

1765: choice of $\sx_j$ and the fine-tuning of a linear combination of

1766: $\mu$ and $T$ can achieve this goal. The fine-tuning of the orthogonal

1767: combination of $\mu$ and $T$ can be used in order to approach the 

1768: fixed point that controls the critical theory. As the Ising fixed point is

1769: the only one known for the one-field theory 

1770: after the pion decoupling, the resulting critical

1771: theory must be in the Ising universality class.

1772: 

1773: The demonstration that this scenario is realized, if no approximations

1774: for the potential are made, must confront 

1775: non-trivial technical complications. It is difficult to keep track 

1776: simultaneously of the ``non-universal'' part of the potential corresponding

1777: to its first and third derivatives, and the ``universal'' part that 

1778: approaches the fixed point. The reason is that the two parts scale differently

1779: with $k$.

1780: Our approximations in this work simplified this

1781: task by separating the evolution of $c_k$ from that of $\vt'(\dtt)$. 

1782: The discussion of the general case merits a separate study.

1783: 

1784: 

1785: 

1786: 

1787: 

1788: 

1789: 

1790: \section{Summary and outlook}

1791: 

1792: The purpose of this study was to establish the appropriate framework for

1793: the analytical study of the QCD phase diagram, for the 

1794: relatively low values of the chemical potential $\mu$ relevant for

1795: heavy-ion experiments. We employed an effective

1796: model of QCD, the linear quark-meson model. We considered only the case of

1797: two flavours, as all the expected structure of the phase diagram appears

1798: already at this level. The model is 

1799: similar to the $\sigma$-model of Gell-Mann and Levy

1800: \cite{Gell-Mann:np}, with

1801: the two nucleons replaced by the $u$ and $d$ quarks. However, it can be

1802: extended in a straightforward manner in order to take into account more

1803: flavours \cite{Jungnickel:1995fp}.

1804: 

1805: 

1806: An efficient framework must

1807: involve the renormalization group, in order to provide a reliable 

1808: identification of the universality classes of the various second-order

1809: phase transitions. The Wilsonian (exact) 

1810: formulation of the renormalization group permits also the detailed description

1811: of weak first-order phase transitions. 

1812: We employed the formalism of the effective average action

1813: \cite{Wetterich:1989xg}. 

1814: We concentrated on the evolution of 

1815: the non-derivative part of the action, the mesonic potential $U_k$, 

1816: as an effective infrared cutoff $k$ 

1817: is varied. The dependence of the potential on $k$ is described by an

1818: evolution equation that takes the form of a

1819: partial differential equation. 

1820: The potential at a scale $k_T$ equal to the tempeature $T$

1821: serves as the initial condition.

1822: For $k=0$ the solution becomes equal to the effective potential, from

1823: which all physical information relevant for the vacuum structure can

1824: be extracted. 

1825: 

1826: We considered values of the parameters of the model that do not

1827: correspond to realistic QCD. However, they were chosen such that the

1828: discussion could be carried out with the minimum use of numerics\footnote{

1829: The parameters were also chosen such that the pattern of

1830: a second-order phase transition for $\mu=j=0$ and increasing $T$ and

1831: a first-order one for $T=j=0$ and increasing $\mu$ appears.

1832: The realistic values have been shown to predict this pattern 

1833: \cite{Berges:1998sd,Berges:1997eu}.

1834: }. 

1835: In particular, the potential at $k_T=T$ was 

1836: derived analytically, using perturbation theory. Its form is

1837: determined by the potential at zero $T$ and $\mu$ and the contributions

1838: from fluctuations with characteristic momenta larger than $k_T$.

1839: The fermionic fluctuations play a crucial role, as they can change

1840: the vacuum strucure of the potential by generating additional minima. 

1841: They decouple at scales below $T$, because of the 

1842: effective mass developed by the fermions at non-zero temperature.

1843: As a result, the entire fermionic contributions and the mesonic

1844: contributions with momenta larger than $k_T$ can be incorporated

1845: in the potential at $k_T$.

1846: The evolution below $k_T$ is effectively three-dimensional

1847: (dimensional reduction), as only the

1848: zero-modes of the mesonic fields are light at these scales. 

1849: 

1850: The other significant simplification afforded by our choice of couplings

1851: was the possibility to neglect the wavefunction renormalization of both

1852: the fermionic and mesonic fields, and the evolution of the 

1853: Yukawa coupling of the meson-fermion interaction. 

1854: This meant that we could use a very simple

1855: truncation of the effective average action, which involves standard kinetic

1856: terms and a general scale-dependent potential for the $\sx$ and

1857: pion fields of the mesonic sector.

1858: The evolution of the potential was determined by solving numerically

1859: a partial differential equation. As we mentioned above, the fermionic

1860: fluctuations affect only the initial condition for this equation.

1861: 

1862: The phase diagram we derived has all the expected features. 

1863: For zero current quark masses, there is a line of second-order 

1864: phase transitions starting on the $\mu=0$ axis. We confirmed that

1865: they belong to the

1866: $O(4)$ universality class, by calculating universal quantities

1867: such as the critical exponents $\beta$ and $\nu$. For large $\mu$ there is a

1868: line of first-order phase transitions. 

1869: 

1870: The two lines meet at a tricritical

1871: point, with specific values ($\mu_*$, $T_*$),

1872: where a second-order phase transition takes place, governed

1873: by the Gaussian fixed point. This results in mean-field behaviour, as 

1874: we checked by calculating the relevant critical exponents.

1875: For $\mu$ slightly smaller than $\mu_*$ we observed universal 

1876: crossover behaviour

1877: (not to be confused with the analytical crossover), as

1878: the initial influence of the Gaussian fixed point is slowly dominated

1879: by the more stable $O(4)$ fixed point near the critical temperature.

1880: For $\mu$ slightly larger than $\mu_*$ we observed very weak first-order

1881: phase transitions, for which the discontinuity in the order parameter

1882: approaches zero.

1883: 

1884: We then took into account the effects of non-zero current quark masses

1885: by introducing a source term $-j\sx$. We discussed how the second-order

1886: phase transitions turn into an analytical crossover, while the first-order

1887: ones retain their qualitative character. We studied in detail the

1888: emergence of the critical endpoint of the line of first-order phase

1889: transitions. The pions are massive near the endpoint and we demonstrated

1890: their decoupling from the evolution equation. 

1891: A second-order phase transition takes place at the endpoint, and we showed

1892: that it belongs to the Ising universality class. 

1893: 

1894: The study demonstrated that it is possible to obtain a complete and detailed

1895: picture of the QCD phase diagram using an effective theory such as the

1896: quark-meson model. The renormalization group is indispensable in the process.

1897: 

1898: Realistic values for parameters of

1899: the model cannot be considered without having to rely

1900: on extensive numerical work. The most important issue concerns the 

1901: value of the Yukawa coupling, which must significantly larger than 1 

1902: for the constituent quark masses to be reproduced

1903: correctly \cite{Jungnickel:1996fd}. 

1904: This implies that the evolution of this coupling

1905: and the wavefunction renormalization of the fields must be taken into account.

1906: Of particular interest is the emergence of partial infrared fixed points 

1907: at zero temperature and chemical potential 

1908: \cite{Jungnickel:1996fd,Berges:1997eu}.

1909: The derivation of the initial conditions for the effectively three-dimensional

1910: evolution at scales below $T$ cannot be achieved analytically for large Yukawa

1911: couplings. However, it can be performed efficiently through the

1912: numericall integration of the appropriate evolution equations 

1913: \cite{Berges:1997eu}.

1914: 

1915: One technical issue related to the dimensional reduction of the theory at

1916: energy scales below $T$ concerns the fermionic infrared cutoff

1917: that is used in the definition of the effective average action.

1918: A form must be devised that 

1919: preserves the Lorentz structure of the kinetic term of free fermions

1920: for non-zero chemical potential,

1921: and in the same time guarantees fast

1922: decoupling of the temperature effects at low energy scales.

1923: 

1924: Finally, the strange quark can be taken into account by considering

1925: the linear quark-meson model 

1926: with an $SU(3)_L \times SU(3)_R$ chiral flavour group. The increase

1927: in complexity of the

1928: resulting evolution equations is significant. However, the process can

1929: be carried out in a straightforward manner along the lines of refs. 

1930: \cite{Jungnickel:1995fp}.

1931: 

1932: The present study has established that the linear quark-meson model is

1933: an effective theory of QCD that predicts all the expected qualitative structure

1934: of the phase diagram.

1935: The main aim of future studies along the lines highlighted above

1936: will be to determine with accuracy the location of the

1937: critical endpoint and the size of the area around it in which 

1938: the critical behaviour persists. In this way, the possible 

1939: effect of the endpoint

1940: on observable signatures in heavy-ion experiments

1941: will be determined quantitatively.

1942: 

1943: 

1944: 

1945: 

1946: 

1947: \newpage

1948: 

1949: 

1950: 

1951: \begin{thebibliography}{999} 

1952: 

1953: %\cite{Rajagopal:2000wf}

1954: \bibitem{Rajagopal:2000wf}

1955: K.~Rajagopal and F.~Wilczek,

1956: %``The condensed matter physics of QCD,''

1957: arXiv:hep-ph/0011333.

1958: %%CITATION = HEP-PH 0011333;%%

1959: 

1960: %\cite{Asakawa:bq}

1961: \bibitem{Asakawa:bq}

1962: M.~Asakawa and K.~Yazaki,

1963: %``Chiral Restoration At Finite Density And Temperature,''

1964: Nucl.\ Phys.\ A {\bf 504} (1989) 668.

1965: %%CITATION = NUPHA,A504,668;%%

1966: 

1967: %\cite{Barducci:1993bh}

1968: \bibitem{Barducci:1993bh}

1969: A.~Barducci, R.~Casalbuoni, S.~De Curtis, R.~Gatto and G.~Pettini,

1970: %``Chiral Symmetry Breaking In QCD At Finite Temperature And Density,''

1971: Phys.\ Lett.\ B {\bf 231} (1989) 463;

1972: %%CITATION = PHLTA,B231,463;%%

1973: %``Chiral Phase Transitions In QCD For Finite Temperature And Density,''

1974: Phys.\ Rev.\ D {\bf 41} (1990) 1610;

1975: %%CITATION = PHRVA,D41,1610;%%

1976: %``Pion Decay Constant At Finite Temperature And Density,''

1977: Phys.\ Rev.\ D {\bf 42} (1990) 1757;

1978: %%CITATION = PHRVA,D42,1757;%%

1979: A.~Barducci, R.~Casalbuoni, G.~Pettini and R.~Gatto,

1980: %``Chiral phases of QCD at finite density and temperature,''

1981: Phys.\ Rev.\ D {\bf 49} (1994) 426.

1982: %%CITATION = PHRVA,D49,426;%%

1983: 

1984: %\cite{Klevansky:qe}

1985: \bibitem{Klevansky:qe}

1986: S.~P.~Klevansky,

1987: %``The Nambu-Jona-Lasinio Model Of Quantum Chromodynamics,''

1988: Rev.\ Mod.\ Phys.\  {\bf 64} (1992) 649.

1989: %%CITATION = RMPHA,64,649;%%

1990: 

1991: %\cite{Stephanov:1996ki}

1992: \bibitem{Stephanov:1996ki}

1993: M.~A.~Stephanov,

1994: %``Random matrix model of QCD at finite density and the nature of the quenched limit,''

1995: Phys.\ Rev.\ Lett.\  {\bf 76}, 4472 (1996)

1996: [arXiv:hep-lat/9604003].

1997: %%CITATION = HEP-LAT 9604003;%%

1998: 

1999: %\cite{Alford:1997zt}

2000: \bibitem{Alford:1997zt}

2001: M.~G.~Alford, K.~Rajagopal and F.~Wilczek,

2002: %``QCD at finite baryon density: Nucleon droplets and color  superconductivity,''

2003: Phys.\ Lett.\ B {\bf 422} (1998) 247

2004: [arXiv:hep-ph/9711395].

2005: %%CITATION = HEP-PH 9711395;%%

2006: 

2007: %\cite{Halasz:1998qr}

2008: \bibitem{Halasz:1998qr}

2009: M.~A.~Halasz, A.~D.~Jackson, R.~E.~Shrock, M.~A.~Stephanov and J.~J.~Verbaarschot,

2010: %``On the phase diagram of {QCD},''

2011: Phys.\ Rev.\ D {\bf 58} (1998) 096007

2012: [arXiv:hep-ph/9804290].

2013: %%CITATION = HEP-PH 9804290;%%

2014: 

2015: %\cite{Berges:1998rc}

2016: \bibitem{Berges:1998rc}

2017: J.~Berges and K.~Rajagopal,

2018: %``Color superconductivity and chiral symmetry restoration at nonzero  baryon density and temperature,''

2019: Nucl.\ Phys.\ B {\bf 538} (1999) 215

2020: [arXiv:hep-ph/9804233].

2021: %%CITATION = HEP-PH 9804233;%%

2022: 

2023: %\cite{Harada:1998zq}

2024: \bibitem{Harada:1998zq}

2025: M.~Harada and A.~Shibata,

2026: %``Chiral phase transition of {QCD} at finite temperature and density from  Schwinger-Dyson equation,''

2027: Phys.\ Rev.\ D {\bf 59} (1999) 014010

2028: [arXiv:hep-ph/9807408].

2029: %%CITATION = HEP-PH 9807408;%%

2030: 

2031: %\cite{Kiriyama:2000yp}

2032: \bibitem{Kiriyama:2000yp}

2033: O.~Kiriyama, M.~Maruyama and F.~Takagi,

2034: %``Chiral phase transition at high temperature and density in the QCD-like  theory,''

2035: Phys.\ Rev.\ D {\bf 62} (2000) 105008

2036: [arXiv:hep-ph/0001108];

2037: %%CITATION = HEP-PH 0001108;%% 

2038: %``Current quark mass effects on chiral phase transition of QCD in the  improved ladder approximation,''

2039: Phys.\ Rev.\ D {\bf 63} (2001) 116009

2040: [arXiv:hep-ph/0101110].

2041: %%CITATION = HEP-PH 0101110;%%

2042: 

2043: %\cite{Fodor:2001pe}

2044: \bibitem{Fodor:2001pe}

2045: Z.~Fodor and S.~D.~Katz,

2046: %``A new method to study lattice QCD at finite temperature and chemical  potential,''

2047: Phys.\ Lett.\ B {\bf 534} (2002) 87

2048: [arXiv:hep-lat/0104001];

2049: %%CITATION = HEP-LAT 0104001;%%

2050: %``Lattice determination of the critical point of QCD at finite T and mu,''

2051: JHEP {\bf 0203} (2002) 014

2052: [arXiv:hep-lat/0106002].

2053: %%CITATION = HEP-LAT 0106002;%%

2054: 

2055: %\cite{deForcrand:2002ci}

2056: \bibitem{deForcrand:2002ci}

2057: P.~de Forcrand and O.~Philipsen,

2058: %``The QCD phase diagram for small densities from imaginary chemical  potential,''

2059: Nucl.\ Phys.\ B {\bf 642} (2002) 290

2060: [arXiv:hep-lat/0205016].

2061: %%CITATION = HEP-LAT 0205016;%%

2062: 

2063: %\cite{Allton:2002zi}

2064: \bibitem{Allton:2002zi}

2065: C.~R.~Allton {\it et al.},

2066: %``The QCD thermal phase transition in the presence of a small chemical  potential,''

2067: Phys.\ Rev.\ D {\bf 66} (2002) 074507

2068: [arXiv:hep-lat/0204010].

2069: %%CITATION = HEP-LAT 0204010;%%

2070: 

2071: %\cite{Wilson:1973jj}

2072: \bibitem{Wilson:1973jj}

2073: K.~G.~Wilson and J.~B.~Kogut,

2074: %``The Renormalization Group And The Epsilon Expansion,''

2075: Phys.\ Rept.\  {\bf 12} (1974) 75.

2076: %%CITATION = PRPLC,12,75;%%

2077: 

2078: \bibitem{rome}

2079: See, for example, the proceedings of the 

2080: {\it 2nd Conference on the Exact Renormalization Group}, 

2081: Rome, Italy, 18-22 Sep 2000, and references therein. 

2082: 

2083: %\cite{Wetterich:1989xg}

2084: \bibitem{Wetterich:1989xg}

2085: C.~Wetterich,

2086: %``Average Action And The Renormalization Group Equations,''

2087: Nucl.\ Phys.\ B {\bf 352} (1991) 529;

2088: %%CITATION = NUPHA,B352,529;%%

2089: C.~Wetterich,

2090: %``The Average action for scalar fields near phase transitions,''

2091: Z.\ Phys.\ C {\bf 57} (1993) 451.

2092: %%CITATION = ZEPYA,C57,451;%%

2093: 

2094: %\cite{Wetterich:yh}

2095: \bibitem{Wetterich:yh}

2096: C.~Wetterich,

2097: %``Exact Evolution Equation For The Effective Potential,''

2098: Phys.\ Lett.\ B {\bf 301} (1993) 90.

2099: %%CITATION = PHLTA,B301,90;%%

2100: 

2101: %\cite{Tetradis:1993ts}

2102: \bibitem{Tetradis:1993ts}

2103: N.~Tetradis and C.~Wetterich,

2104: %``Critical exponents from effective average action,''

2105: Nucl.\ Phys.\ B {\bf 422} (1994) 541

2106: [arXiv:hep-ph/9308214].

2107: %%CITATION = HEP-PH 9308214;%%

2108: 

2109: %\cite{Berges:2000ew}

2110: \bibitem{Berges:2000ew}

2111: J.~Berges, N.~Tetradis and C.~Wetterich,

2112: %``Non-perturbative renormalization flow in quantum field theory and  statistical physics,''

2113: Phys.\ Rept.\  {\bf 363} (2002) 223

2114: [arXiv:hep-ph/0005122].

2115: %%CITATION = HEP-PH 0005122;%%

2116: 

2117: %\cite{Reuter:1993kw}

2118: \bibitem{Reuter:1993kw}

2119: M.~Reuter and C.~Wetterich,

2120: %``Effective average action for gauge theories and exact evolution equations,''

2121: Nucl.\ Phys.\ B {\bf 417} (1994) 181;

2122: %%CITATION = NUPHA,B417,181;%%

2123: %``Exact evolution equation for scalar electrodynamics,''

2124: Nucl.\ Phys.\ B {\bf 427} (1994) 291.

2125: %%CITATION = NUPHA,B427,291;%%

2126: 

2127: %\cite{Ellwanger:iz}

2128: \bibitem{Ellwanger:iz}

2129: U.~Ellwanger,

2130: %``Flow Equations And Brs Invariance For Yang-Mills Theories,''

2131: Phys.\ Lett.\ B {\bf 335} (1994) 364

2132: [arXiv:hep-th/9402077];

2133: %%CITATION = HEP-TH 9402077;%%

2134: U.~Ellwanger, M.~Hirsch and A.~Weber,

2135: %``Flow equations for the relevant part of the pure Yang-Mills action,''

2136: Z.\ Phys.\ C {\bf 69} (1996) 687

2137: [arXiv:hep-th/9506019].

2138: %%CITATION = HEP-TH 9506019;%%

2139: 

2140: %\cite{Bonini:1994kp}

2141: \bibitem{Bonini:1994kp}

2142: M.~Bonini, M.~D'Attanasio and G.~Marchesini,

2143: %``BRS symmetry for Yang-Mills theory with exact renormalization group,''

2144: Nucl.\ Phys.\ B {\bf 437} (1995) 163

2145: [arXiv:hep-th/9410138];

2146: %%CITATION = HEP-TH 9410138;%%

2147: %``BRS symmetry from renormalization group flow,''

2148: Phys.\ Lett.\ B {\bf 346} (1995) 87

2149: [arXiv:hep-th/9412195].

2150: %%CITATION = HEP-TH 9412195;%%

2151: 

2152: %\cite{Morris:1999px}

2153: \bibitem{Morris:1999px}

2154: T.~R.~Morris,

2155: %``A gauge invariant exact renormalization group. I,''

2156: Nucl.\ Phys.\ B {\bf 573} (2000) 97

2157: [arXiv:hep-th/9910058];

2158: %%CITATION = HEP-TH 9910058;%%

2159: %``A gauge invariant exact renormalization group. II,''

2160: JHEP {\bf 0012} (2000) 012

2161: [arXiv:hep-th/0006064];

2162: %%CITATION = HEP-TH 0006064;%%

2163: S.~Arnone, A.~Gatti and T.~R.~Morris,

2164: %``A proposal for a manifestly gauge invariant and universal calculus in  Yang-Mills theory,''

2165: arXiv:hep-th/0209162.

2166: %%CITATION = HEP-TH 0209162;%%

2167: 

2168: %\cite{Gell-Mann:np}

2169: \bibitem{Gell-Mann:np}

2170: M.~Gell-Mann and M.~Levy,

2171: %``The Axial Vector Current In Beta Decay,''

2172: Nuovo Cim.\  {\bf 16} (1960) 705.

2173: %%CITATION = NUCIA,16,705;%%

2174: 

2175: %\cite{Jungnickel:1995fp}

2176: \bibitem{Jungnickel:1995fp}

2177: D.~U.~Jungnickel and C.~Wetterich,

2178: %``Effective action for the chiral quark-meson model,''

2179: Phys.\ Rev.\ D {\bf 53} (1996) 5142

2180: [arXiv:hep-ph/9505267];

2181: %%CITATION = HEP-PH 9505267;%%

2182: %``Effective linear meson model,''

2183: Eur.\ Phys.\ J.\ C {\bf 1} (1998) 669

2184: [arXiv:hep-ph/9606483];

2185: %%CITATION = HEP-PH 9606483;%%

2186: %``Quark masses from the linear meson model,''

2187: Phys.\ Lett.\ B {\bf 389} (1996) 600

2188: [arXiv:hep-ph/9607411].

2189: %%CITATION = HEP-PH 9607411;%%

2190: 

2191: %\cite{Berges:1998sd}

2192: \bibitem{Berges:1998sd}

2193: J.~Berges, D.~U.~Jungnickel and C.~Wetterich,

2194: %``The chiral phase transition at high baryon density from nonperturbative flow equations,''

2195: Eur.\ Phys.\ J.\ C {\bf 13} (2000) 323

2196: [arXiv:hep-ph/9811347].

2197: %%CITATION = HEP-PH 9811347;%%

2198: 

2199: %\cite{Berges:1997eu}

2200: \bibitem{Berges:1997eu}

2201: J.~Berges, D.~U.~Jungnickel and C.~Wetterich,

2202: %``Two flavor chiral phase transition from nonperturbative flow equations,''

2203: Phys.\ Rev.\ D {\bf 59} (1999) 034010

2204: [arXiv:hep-ph/9705474].

2205: %%CITATION = HEP-PH 9705474;%%

2206: 

2207: %\cite{Ellwanger:wy}

2208: \bibitem{Ellwanger:wy}

2209: U.~Ellwanger and C.~Wetterich,

2210: %``Evolution Equations For The Quark - Meson Transition,''

2211: Nucl.\ Phys.\ B {\bf 423} (1994) 137

2212: [arXiv:hep-ph/9402221].

2213: %%CITATION = HEP-PH 9402221;%%

2214: 

2215: %\cite{Jungnickel:1996fd}

2216: \bibitem{Jungnickel:1996fd}

2217: D.~U.~Jungnickel and C.~Wetterich,

2218: %``Nonperturbative flow equations and low-energy QCD,''

2219: arXiv:hep-ph/9610336.

2220: %%CITATION = HEP-PH 9610336;%%

2221: 

2222: %\cite{Nambu:tp}

2223: \bibitem{Nambu:tp}

2224: Y.~Nambu and G.~Jona-Lasinio,

2225: %``Dynamical Model Of Elementary Particles Based On An Analogy With  Superconductivity. I,''

2226: Phys.\ Rev.\  {\bf 122} (1961) 345.

2227: %%CITATION = PHRVA,122,345;%%

2228: 

2229: %\cite{Tetradis:1992qt}

2230: \bibitem{Tetradis:1992qt}

2231: N.~Tetradis and C.~Wetterich,

2232: %``Scale dependence of the average potential around the maximum in phi**4 theories,''

2233: Nucl.\ Phys.\ B {\bf 383} (1992) 197.

2234: %%CITATION = NUPHA,B383,197;%%

2235: 

2236: %\cite{Tetradis:1992xd}

2237: \bibitem{Tetradis:1992xd}

2238: N.~Tetradis and C.~Wetterich,

2239: %``The high temperature phase transition for phi**4 theories,''

2240: Nucl.\ Phys.\ B {\bf 398} (1993) 659.

2241: %%CITATION = NUPHA,B398,659;%%

2242: 

2243: %\cite{Tetradis:1996fw}

2244: \bibitem{Tetradis:1996fw}

2245: N.~Tetradis,

2246: %``The electroweak phase transition through the renormalization group,''

2247: Nucl.\ Phys.\ B {\bf 488} (1997) 92

2248: [arXiv:hep-ph/9608272].

2249: %%CITATION = HEP-PH 9608272;%%

2250: 

2251: %\cite{Dolan:qd}

2252: \bibitem{Dolan:qd}

2253: L.~Dolan and R.~Jackiw,

2254: %``Symmetry Behavior At Finite Temperature,''

2255: Phys.\ Rev.\ D {\bf 9} (1974) 3320.

2256: %%CITATION = PHRVA,D9,3320;%%

2257: 

2258: 

2259: 

2260: 

2261: %\cite{Strumia:1998nf}

2262: \bibitem{Strumia:1998nf}

2263: A.~Strumia and N.~Tetradis,

2264: %``A consistent calculation of bubble-nucleation rates,''

2265: Nucl.\ Phys.\ B {\bf 542} (1999) 719

2266: [arXiv:hep-ph/9806453];

2267: %%CITATION = HEP-PH 9806453;%%

2268: %``Bubble-nucleation rates for radiatively induced first-order phase  transitions,''

2269: Nucl.\ Phys.\ B {\bf 554} (1999) 697

2270: [arXiv:hep-ph/9811438];

2271: %%CITATION = HEP-PH 9811438;%%

2272: %``Testing nucleation theory in two dimensions,''

2273: Nucl.\ Phys.\ B {\bf 560} (1999) 482

2274: [arXiv:hep-ph/9904246];

2275: %%CITATION = HEP-PH 9904246;%%

2276: %``Bubble-nucleation rates for cosmological phase transitions,''

2277: JHEP {\bf 9911} (1999) 023

2278: [arXiv:hep-ph/9904357];

2279: %%CITATION = HEP-PH 9904357;%%

2280: A.~Strumia, N.~Tetradis and C.~Wetterich,

2281: %``The region of validity of homogeneous nucleation theory,''

2282: Phys.\ Lett.\ B {\bf 467} (1999) 279

2283: [arXiv:hep-ph/9808263].

2284: %%CITATION = HEP-PH 9808263;%%

2285: 

2286: \bibitem{zinn}

2287: J. Zinn-Justin, {\it Quantum Field Theory and Critical Phenomena},

2288: Oxford University Press, Oxford, 1989.

2289: 

2290: %\cite{Rajagopal:1992qz}

2291: \bibitem{Rajagopal:1992qz}

2292: K.~Rajagopal and F.~Wilczek,

2293: %``Static and dynamic critical phenomena at a second order QCD phase transition,''

2294: Nucl.\ Phys.\ B {\bf 399} (1993) 395

2295: [arXiv:hep-ph/9210253].

2296: %%CITATION = HEP-PH 9210253;%%

2297: 

2298: 

2299: 

2300: 

2301: 

2302: 

2303: 

2304: \end{thebibliography} 

2305: 

2306: \end{document}

2307: 

2308: 

2309: 

2310: