%
% $Id: aipcheck.tex,v 1.4 2001/01/31 20:46:55 latex3 Exp $
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Testing for potential problems with this class
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newif\ifproblem
\newif\iftimesok

\typeout{***********************************************}
\typeout{*}
\typeout{* Testing if all files required for the aipproc}
\typeout{* class are available ...}
\typeout{*}
\typeout{***********************************************}

\typeout{*}
\typeout{* Looking for LaTeX2e ... }
\ifx\documentclass\undefined
 \typeout{*}
 \typeout{* Sorry this is a fatal error:}
 \typeout{*}
 \typeout{* The aipproc class can only be used with LaTeX2e which is}
 \typeout{* the standard LaTeX since 1994!}
 \typeout{*}
 \typeout{* Please make sure that your version of LaTeX is up-to-date}
 \typeout{* before attempting to use this class.}
 \typeout{*}
 \expandafter\stop
\else
 \typeout{* ... ok }
\fi

\typeout{*}
\typeout{* Looking for aipproc.cls ... }
\IfFileExists{aipproc.cls}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Sorry this is a fatal error:}
     \typeout{*}
     \typeout{* Before you can use the aipproc class you have to unpack}
     \typeout{* it from the documented source.}
     \typeout{*}
     \typeout{* Run LaTeX on the file 'aipproc.ins', e.g.,}
     \typeout{*}
     \typeout{* \space\space latex aipproc.ins}
     \typeout{*}
     \typeout{* or whatever is necessary on your installation to process}
     \typeout{* a file with LaTeX. This should unpack a number of files for you:}
     \typeout{*}
     \typeout{* aipproc.cls \space and \space aip-*.clo}
     \typeout{*}
     \typeout{* After that retry processing this guide.}
     \typeout{*}
     \stop
}

\typeout{*}
\typeout{* Looking for fixltx2e.sty ... }
\IfFileExists{fixltx2e.sty}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found, trying fix2col.sty instead ... }
     \typeout{*}
     \IfFileExists{fix2col.sty}
	 {
	  \typeout{* ... ok }
	 }
	 {
	  \typeout{* ... not found! }
	  \typeout{*}
	  \typeout{* Sorry this is a fatal error:}
	  \typeout{*}
	  \typeout{* Your LaTeX distribution contains neither fixltx2e.sty}
	  \typeout{* nor fix2col.sty.}
	  \typeout{*}
	  \typeout{* This means that it is either too old or incompletely}
	  \typeout{* installed.}
	  \typeout{*}
	  \typeout{* fixltx2e.sty is part of the standard LaTeX distribution}
	  \typeout{* since 1999; fix2col.sty is an earlier version of this}
	  \typeout{* package.}
	  \typeout{*}
	  \typeout{* Best solution is to get the latest LaTeX distribution.}
	  \typeout{* If this is impossible for you, download fix2col.sty.}
	  \typeout{* You can get this software from a CTAN host.}
          \typeout{* Refer to http://www.tug.org to find such an archive on}
          \typeout{* the net.}
	  \typeout{*}
	  \typeout{* After you have updated your LaTeX distribution}
	  \typeout{* retry processing this guide.}
	  \stop
     }
}

\typeout{*}
\typeout{* Looking for fontenc.sty ... }
\IfFileExists{fontenc.sty}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Sorry this is a fatal error:}
     \typeout{*}
     \typeout{* The fontenc package, which is part of standard LaTeX}
     \typeout{* (base distribution) has to be installed at the site to}
     \typeout{* run the aipproc class.}
     \typeout{*}
     \typeout{* The fact that it cannot be found either means that}
     \typeout{* this LaTeX release is too old or that it was installed}
     \typeout{* improperly.}
     \typeout{*}
     \typeout{* Please make sure that your version of LaTeX is okay}
     \typeout{* before attempting to use this class. The LaTeX distribution}
     \typeout{* contains the file "ltxcheck.tex" which can be used to}
     \typeout{* test the basic functionality and integrity of your installation.}
     \typeout{*}
     \stop
    }

\typeout{*}
\typeout{* Looking for calc.sty ... }
\IfFileExists{calc.sty}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Sorry this is a fatal error:}
     \typeout{*}
     \typeout{* The calc package, which is part of standard LaTeX}
     \typeout{* (tool distribution) has to be installed at the site}
     \typeout{* to run the aipproc class.}
     \typeout{*}
     \typeout{* The fact that it cannot be found either means that}
     \typeout{* this LaTeX release is too old or that it was installed}
     \typeout{* only in parts.}
     \typeout{*}
     \typeout{* Please make sure that the tools distribution of LaTeX}
     \typeout{* is installed before attempting to use this class.}
     \typeout{*}
     \typeout{* (You might be able to get calc.sty separately for your}
     \typeout{* installation if you are unable to upgrade to a recent}
     \typeout{* distribution for some reason.)}
     \typeout{*}
     \stop
    }

\typeout{*}
\typeout{* Looking for varioref.sty ... }
\IfFileExists{varioref.sty}
    {
     \typeout{* ... ok }
     \gdef\variorefoptionifavailable{varioref,}
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Problem detected:}
     \typeout{*}
     \typeout{* The varioref package, which is part of standard LaTeX}
     \typeout{* (tool distribution) is not installed at this site.}
     \typeout{*}
     \typeout{* The fact that it cannot be found either means that}
     \typeout{* this LaTeX release is too old or that it was installed}
     \typeout{* only in parts.}
     \typeout{*}
     \typeout{* You can use the aipproc class without this package but }
     \typeout{* you cannot make use of the options "varioref" or "nonvarioref".}
     \typeout{*}
     \typeout{* Please also note that the aipguide.tex documentation}
     \typeout{* normally uses the "varioref" option to show its}
     \typeout{* effects (which  will now fail).}
     \typeout{*}
     \typein{* Type <return> to continue ...}
     \problemtrue
     \gdef\variorefoptionifavailable{}
     \let\vpageref\pageref
     \let\vref\ref
    }

\typeout{*}
\typeout{* Looking for times.sty ... }
\IfFileExists{times.sty}
    {
     \begingroup
% load times and forget it immediately again
       \RequirePackage{times}
       \global\expandafter\let\csname ver@times.sty\endcsname\relax    
       \long\def\next{ptm}
       \ifx\rmdefault\next
         \typeout{* ... ok }
         \gdef\psnfssproblemoption{}
         \endgroup
         \timesoktrue
       \else
         \endgroup
     \typeout{* ... obsolete! }
     \typeout{*}
     \typeout{* Serious problem detected:}
     \typeout{*}
     \typeout{* The times package, which is part of standard LaTeX}
     \typeout{* (psnfss distribution) is obsolete at this site.}
     \typeout{*}
     \typeout{* The fact that it contains incorrect code either means that}
     \typeout{* this LaTeX release is too old or that it was installed}
     \typeout{* only in parts with old files remaining!}
     \typeout{*}
     \typeout{* You can use the aipproc class without this package but}
     \typeout{* you have to specify the option "cmfonts" which result in}
     \typeout{* documents which are not conforming to the AIP layout specification!}
     \typeout{*}
     \typeout{* You can also try using the class in the following way:}
     \typeout{*}
     \typeout{* \space\space \string\documentclass[cmfonts]{aipproc}}
     \typeout{* \space\space \string\usepackage{times}}
     \typeout{* \space\space ...}
     \typeout{*}
     \typeout{* With luck this will result in Times Roman output but chances}
     \typeout{* are that you will get a larger number of error messages in}
     \typeout{* which case you have to remove the \string\usepackage declaration.}
     \typeout{*}
     \typein{* Type <return> to continue ...}
          \problemtrue
          \gdef\psnfssproblemoption{cmfonts}
          \def\textdegree{$^\circ$}            % used below but now
                                               % not setup
       \fi
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Serious problem detected:}
     \typeout{*}
     \typeout{* The times package, which is part of standard LaTeX}
     \typeout{* (psnfss distribution) can not be found.}
     \typeout{*}
     \typeout{* The fact that this package cannot be found either means that}
     \typeout{* this LaTeX release is too old or that it was installed}
     \typeout{* only in parts!}
     \typeout{*}
     \typeout{* You can use the aipproc class without this package but }
     \typeout{* you have to specify the option "cmfonts" which result in}
     \typeout{* documents which are not conforming to the AIP layout specification!}
     \typeout{*}
     \typein{* Type <return> to continue ...}
     \problemtrue
     \gdef\psnfssproblemoption{cmfonts,}
    }

\iftimesok % don't bother testing other font options if times already
           % bad

\typeout{*}
\typeout{* Looking for t1ptm.fd or T1ptm.fd ... }
\IfFileExists{t1ptm.fd}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found, trying T1ptm.fd ... }
     \IfFileExists{T1ptm.fd}
          {
           \typeout{* ... ok }
          }
          {
           \typeout{* ... not found}
           \typeout{* Serious problem detected:}
           \typeout{*}
           \typeout{* The times package, which is part of standard LaTeX}
           \typeout{* (psnfss distribution) is available but the corresponding}
           \typeout{* .fd file (defining how to load Times Roman) is missing.}
           \typeout{*}
           \typeout{* The fact that this package is only partially installed}
           \typeout{* means that you LaTeX installation is unable to use Times}
           \typeout{* Roman fonts!}
           \typeout{*}
           \typeout{* You can use the aipproc class without this package but }
           \typeout{* you have to specify the option "cmfonts" which result in}
           \typeout{* documents which are not conforming to the AIP layout}
           \typeout{* specification!}
           \typeout{*}
           \typein{* Type <return> to continue ...}
           \problemtrue
           \timesokfalse
           \gdef\psnfssproblemoption{cmfonts,}
          }
    }

\fi


\newcommand\CheckFDFile[3]{%
  \typeout{*}
  \typeout{* Looking for #1#3.fd or #2#3.fd ... }
  \IfFileExists{#1#3.fd}
    {
     \typeout{* ... ok }
    }
    {
     \IfFileExists{#2#3.fd}
      {
       \typeout{* ... ok }
      }
      {\problemtrue
       \typeout{* ... not found! }
      }
    }
}

\iftimesok % don't bother testing other font options if Times already bad

\typeout{*}
\typeout{* Looking for mathptm.sty ... }
\IfFileExists{mathptm.sty}
    {
     \typeout{* ... ok }
     \CheckFDFile{ot1}{OT1}{ptmcm}
     \CheckFDFile{oml}{OML}{ptmcm}
     \CheckFDFile{oms}{OMS}{pzccm}
     \CheckFDFile{omx}{OMX}{psycm}
     \ifproblem
      \typeout{*}
      \typeout{* Problem detected:}
      \typeout{*}
      \typeout{* The mathptm package, which is part of standard LaTeX}
      \typeout{* (psnfss distribution) was found but some or all of its}
      \typeout{* support files describing which fonts to load are missing!}
      \typeout{*}
      \typeout{*}
      \typeout{* The fact that this package is only partially installed}
      \typeout{* means that the mathptm package cannot be used!}
      \typeout{*}
      \typeout{* You can use the aipproc class without this package but }
      \typeout{* you have to specify the option "nomathfonts" so that}
      \typeout{* math formulas will be typeset using Computer Modern.}
      \typeout{*}
      \typein{* Type <return> to continue ...}
      \problemtrue
      \gdef\psnfssproblemoption{nomathfonts,}
     \fi
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Problem detected:}
     \typeout{*}
     \typeout{* The mathptm package, which is part of standard LaTeX}
     \typeout{* (psnfss distribution) can not be found.}
     \typeout{*}
     \typeout{* The fact that this package cannot be found either means that}
     \typeout{* this LaTeX release is too old or that it was installed}
     \typeout{* only in parts!}
     \typeout{*}
     \typeout{* You can use the aipproc class without this package but }
     \typeout{* you have to specify the option "nomathfonts" so that}
     \typeout{* math formulas will be typeset using Computer Modern.}
     \typeout{*}
     \typein{* Type <return> to continue ...}
     \problemtrue
     \gdef\psnfssproblemoption{nomathfonts,}
    }

\typeout{*}
\typeout{* Looking for mathtime.sty ... }
\IfFileExists{mathtime.sty}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* The mathime package can not be found.}
     \typeout{*}
     \typeout{* This is not a serious problem because this package is}
     \typeout{* only of interest if you own the commerical MathTime fonts.}
     \typeout{*}
     \typeout{* You can use the aipproc class without this package but }
     \typeout{* you cannot use the "mathtime" option of the class.}
     \typeout{*}
     \typein{* Type <return> to continue ...}
     \problemtrue
    }
\else
\fi % iftimesok

\typeout{*}
\typeout{* Looking for graphicx.sty ... }
\IfFileExists{graphicx.sty}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Problem detected:}
     \typeout{*}
     \typeout{* The graphics package, which is part of standard LaTeX}
     \typeout{* (graphics distribution) can not be found.}
     \typeout{*}
     \typeout{* The fact that this package cannot be found either means that}
     \typeout{* this LaTeX release is too old or that it was installed}
     \typeout{* only in parts!}
     \typeout{*}
     \typeout{* You can use the aipproc class without this package but }
     \typeout{* you cannot use commands like \protect\includegraphics
                or \protect\resizebox}
     \typeout{* in this case.}
     \typeout{*}
     \typeout{* Please note that you will get a further error message below}
     \typeout{* about: "graphicx.sty not found" because the class will try}
     \typeout{* to load this package! Type return in response to that error.}
     \typeout{*}
     \typeout{* As a result the illustrations in aipguide will look strange.}
     \typeout{*}
     \typein{* Type <return> to continue ...}

     \gdef\resizebox##1##2{}
     \gdef\includegraphics{\textbf{graphics package missing:}}
     \problemtrue
    }

\typeout{*}
\typeout{* Looking for textcomp.sty ... }
\IfFileExists{textcomp.sty}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Problem detected:}
     \typeout{*}
     \typeout{* The textcomp package, which is part of standard LaTeX}
     \typeout{* (base distribution) can not be found.}
     \typeout{*}
     \typeout{* The fact that this package cannot be found either means that}
     \typeout{* this LaTeX release is too old or that it was installed}
     \typeout{* only in parts!}
     \typeout{*}
     \typeout{* You can use the aipproc class without this package but }
     \typeout{* you will always get the error: "textcomp.sty not found"}
     \typeout{* because the class will try to load this package!}
     \typeout{* Type return in response to that error.}
     \typeout{*}
     \typein{* Type <return> to continue ...}

     \def\textdegree{$^\circ$}         % used below but now
                                       % not set up
     \problemtrue
    }


\typeout{*}
\typeout{* Looking for url.sty ... }
\IfFileExists{url.sty}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Problem detected:}
     \typeout{*}
     \typeout{* The url package, which should be part of a good LaTeX}
     \typeout{* distribution, can not be found.}
     \typeout{*}
     \typeout{* Without this package you will not be able to use the \string\url}
     \typeout{* command. Try to download this package from a CTAN  host.}
     \typeout{* Refer to http://www.tug.org to find such an archive on}
     \typeout{* the net.}
     \typeout{*}
     \typein{* Type <return> to continue ...}

     \problemtrue
    }



\typeout{*}
\typeout{* Looking for natbib.sty ... }
\IfFileExists{natbib.sty}
    {
     \typeout{* ... ok }
    }
    {
     \typeout{* ... not found! }
     \typeout{*}
     \typeout{* Serious problem detected:}
     \typeout{*}
     \typeout{* The natbib package, which should be part of a good LaTeX}
     \typeout{* distribution, can not be found.}
     \typeout{*}
     \typeout{* Without this package you will not be able to use certain}
     \typeout{* citation styles. See the aipguide documentation!}
     \typeout{*}
     \typeout{* Especially the layout for ARLO requires this package!}
     \typeout{*}
     \typeout{* Try to download this package from a CTAN  host.}
     \typeout{* Refer to http://www.tug.org to find such an archive on}
     \typeout{* the net.}
     \typeout{*}
     \typein{* Type <return> to continue ...}

     \problemtrue
    }


\typeout{*}
\typeout{* ... finished testing}
\typeout{*}
\ifproblem
\typeout{* The tests have reveiled some problems in your TeX installation.}
\typeout{*}
\typeout{* Please review the above comments carefully and read the file}
\typeout{* README for further information.}
\typeout{*}
\typeout{*****************************************************************}
\typein{* Type <return> to continue ...}
\else
\typeout{****************************************************************}
\typeout{*}
\typeout{* The tests have reveiled no problems in your TeX installation.}
\typeout{*}
\typeout{****************************************************************}
\fi


% if this file is run standalone stop otherwise continue
\def\next{aipcheck}
\edef\currjob{\jobname}
\edef\next{\meaning\next}
\edef\currjob{\meaning\currjob}
\ifx\currjob\next
  \expandafter\stop
\fi

\endinput
\input{aipcheck}

\edef\optionlist{%
   \variorefoptionifavailable        % this is either varioref or
                                     % empty if problem are detected above
   draft,%
   \psnfssproblemoption              % this is empty unless problems
                                     % are detected above
   tnotealph}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{filecontents}{ttct0001.sty}

\newcommand\DefC[1]{\displayCmd{#1}\doArgScan}
\newcommand\DefE[1]{\displayEnv{#1}\doArgScan}

\newcommand\BDefC{\begin{BDef}\def\doDefFinish{\end{BDef}}\DefC}
\newcommand\BDefE{\begin{BDef}\def\doDefFinish{\end{BDef}}\DefE}


%% Scanning ...
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\@xexpast#1*#2#3#4\@@{%
  \edef\reserved@a{#1}%
  \@tempcnta#2\relax
  \ifnum\@tempcnta>\z@
    \@whilenum\@tempcnta>\z@\do
       {\edef\reserved@a{\reserved@a#3}\advance\@tempcnta \m@ne}%
    \let\reserved@b\@xexpast
  \else
    \let\reserved@b\@xexnoop
  \fi
  \expandafter\reserved@b\reserved@a #4\@@}

\def\@xexnoop #1\@@{}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand\doArgScan[1][]{%
  \@xexpast#1*0x\@@
  \expandafter\doArg\reserved@a!?}

\newcommand\doArg{}
\def\doArg#1#2?{%
  \if>#2>%                          % #2 empty then #1=! -> stop
    \doDefFinish                    % execute anything special before leaving
    \expandafter\@gobble
  \else
    \expandafter\@firstofone
  \fi
  {\xdoArg#1{#2}}%                   % scan further
}

\newcommand\xdoArg[3]{%
  \@ifundefined{displayArg#1}%
     {\ClassError{ttct}{Argument  specifier  `#1'  unknown}
                {The commands \noexpand\DefC and \noexpand\DefE etc.
                 support only a limited set of letters in\MessageBreak
                 their
                 optional argument, e.g., m (mandatory), o (optional).
                 Additional letters\MessageBreak
                 can be defined by supplying
                 a definition for \string\displayArg<letter>.}}%
  %
     {\csname displayArg#1\endcsname{#3}}%    % do what is necessary for this letter
  %
  \doArg#2?%      % pickup next potential letter
}

\newcommand\doDefFinish{}
\let\doDefFinish\relax

\newsavebox{\boxdef}

\newenvironment{BDef}
  {\begin{lrbox}\boxdef
      \def\arraystretch{1.0}%
      \begin{tabular}{@{}l@{}l@{}l@{}}%
  }
  {\end{tabular}\end{lrbox}%
   {\BCmd\fbox{\usebox\boxdef}\endBCmd}%
   \aftergroup\@afterindentfalse\aftergroup\@afterheading
  }

\newenvironment{BCmd}{
  \@beginparpenalty-\@lowpenalty
  \fboxsep2pt
  \flushleft}
 {\@endparpenalty\@M
  \@topsepadd 6pt\relax
  \endflushleft}

%%%%%%%%%%%%%
%%
%% LaTeX Syntax Displays
%%
%%%%%%%%%%%%%

\newcommand\Larg [1]{{\normalfont\itshape#1\/}}
\newcommand\Largb[1]{\lcb\Larg{#1}\rcb}          % curly brace
\newcommand\Largs[1]{\lsb\Larg{#1}\rsb}          % square brackets
\newcommand\Largr[1]{\lrb\Larg{#1}\rrb}          % round brackets

\DeclareRobustCommand\bs{{\normalfont\ttfamily\textbackslash}}

\DeclareRobustCommand\lcb{{\normalfont\ttfamily\textbraceleft}}
\DeclareRobustCommand\rcb{{\normalfont\ttfamily\textbraceright}}
\DeclareRobustCommand\lsb{{\normalfont\ttfamily[}}
\DeclareRobustCommand\rsb{{\normalfont\ttfamily]}}
\DeclareRobustCommand\lrb{{\normalfont\ttfamily(}}
\DeclareRobustCommand\rrb{{\normalfont\ttfamily)}}

\newcommand\displayEnv [1]{\nxLBEG{#1}\typeout{Environment name: #1}}
\newcommand\displayCmd [1]{\nxLcs {#1}\typeout{Command name: #1}}

%% define what to do for letters in optional argument of \DefC and friends
%%
\newcommand\displayArgm[1]{\Largb{#1}\typeout{\@spaces mandatory argument: #1}}
\newcommand\displayArgo[1]{\Largs{#1}\typeout{\@spaces optional argument: #1}}
\newcommand\displayArgp[1]{\Largr{#1}\typeout{\@spaces parenthesis argument: #1}}

\DeclareRobustCommand\nxLcs[1]{\mbox{\normalfont\ttfamily\bs#1}}
\DeclareRobustCommand\nxLBEG[1]{{\normalfont\ttfamily\bs{}begin\lcb#1\rcb}}
\end{filecontents}


\documentclass[\optionlist]{aipproc}

\newcommand{\MS}{\overline{\rm MS}}
\newcommand{\RS}{\rm RS}
\newcommand{\PS}{\rm PS}
\newcommand{\OS}{\rm OS}
\newcommand{\n}{\noindent}
\newcommand{\nn}{\nonumber}
\newcommand{\be}{\begin{equation}}
\newcommand{\ee}{\end{equation}}
\newcommand{\bea}{\begin{eqnarray}}
\newcommand{\eea}{\end{eqnarray}}

\def\als{\alpha_{s}}
\def\al{\alpha}
\def\lQ{\Lambda_{\rm QCD}}
\def\vs{V^{(0)}_s}

\def\simg{{\ \lower-1.2pt\vbox{\hbox{\rlap{$>$}\lower6pt\vbox{\hbox{$\sim$}}}}\ }}
\def\siml{{\ \lower-1.2pt\vbox{\hbox{\rlap{$<$}\lower6pt\vbox{\hbox{$\sim$}}}}\ }}


\layoutstyle{6x9}

\listfiles

\usepackage{ttct0001}

\newcommand\BibTeX{\textsc{Bib}\TeX{}}

\usepackage{shortvrb}
\MakeShortVerb\|

\newcommand\aipcls{\texttt{aipproc} class}

\hbadness5000 % don't shout

\hfuzz=5pt

\makeatother


\begin{document}

\title
      [Color Superconductivity: Symmetries and Effective Lagrangians]
      {Color Superconductivity:\\ Symmetries and Effective Lagrangians}

%\classification{43.35.Ei, 78.60.Mq}
\keywords{Color
Superconductivity, Effective Theories}

\author{Francesco Sannino}{
  address={\centerline{{\rm NORDITA
  %\& The Niels Bohr Institute
  }} Blegdamsvej 17,Copenhagen \O, DK-2100, Denmark. },
  email={francesco.sannino@nbi.dk},
  homepage={http://www.nordita.dk/~sannino/}
  thanks={QCD&Work Conference BARI, Italy.}
}


\copyrightyear  {2001}



\begin{abstract}
I briefly review the symmetries and the associated low energy
effective Lagrangian for two light flavor Color Superconductivity
(2SC).
\end{abstract}


\date{\today}


\maketitle


\section{2SC Symmetries and Effective Lagrangian}
\label{review}

%\ifthenelse{\equal\selectedlayoutstyle{6x9}}




Quark matter at very high density  is expected to behave as a
color superconductor \cite{RW}.  Possible phenomenological
applications include the description of quark stars, neutron star
interiors, the physics near the core of collapsing stars and
supernova explosions \cite{RW,Hong:2001gt,OS}. The color
superconductive phase is characterized by its gap energy
($\Delta$) associated to quark-quark pairing which leads to the
spontaneous breaking of the color symmetry.

To describe low energy physical processes, where perturbation
theory is not applicable, effective Lagrangians based on the
global symmetries of the underlying theory are known to play a
relevant role. In the case of Color superconductivity effective
Lagrangians describe the interactions among the excitations near
the fermi surface. The three flavor case (CFL) has been developed
in \cite{CG}. The low-energy effective Lagrangian for the in
medium fermions and the broken sector of the $SU_c(3)$ color group
for 2SC has been constructed in Ref.~\cite{CDS}. The effective
theories encoding also the electroweak interactions for the
low-energy excitations in the 2SC and CFL case can be found in
\cite{CDS2001}. The light glueball Lagrangian of the unbroken
$SU_c(2)$ Yang-Mills sector of the 2SC phase has been constructed
in \cite{OSPLB}.

Here I summarize the effective low energy Lagrangian for two
flavors which contains all of the relevant degrees of freedom.
{}First I review the low-energy effective Lagrangian for the 2SC
phase of QCD \cite{CDS,CDS2001}. The latter describes the, in
medium, fermions and the broken $SU_c(3)$ gluon sector. I then
show how to build the effective Lagrangian describing the light
glueballs associated with the unbroken $SU_c(2)$ color subgroup by
using the information inherent to the trace anomaly and the medium
effects related to a non-vanishing dielectric constant first
presented in \cite{rischke2k} and confirmed within a different
formalism in \cite{Casalbuoni:2001ha}. Finally the, in medium,
glueball to two photon decay process is estimated. The present
talk is based on the papers \cite{CDS,CDS2001,OSPLB,S,HSaS}.




Quantum Chromo Dynamics with two flavors has gauge symmetry
$SU_{c}(3)$ and global symmetry
\begin{equation} SU_{L}(2)\times
SU_{R}(2)\times U_{V}(1)\ .\end{equation} \noindent  At high
matter density a color superconductive phase sets in and the
associated diquark condensate leaves invariant the following
symmetry group:\begin{equation} \left[ SU_{c}(2)\right] \times
SU_{L}(2)\times SU_{R}(2)\times \widetilde{U}_{V}(1) \
,\end{equation} where $\left[ SU_{c}(2)\right] $ is the unbroken
part of the gauge group. The $\widetilde{U}_{V}(1)$ generator
$\widetilde{B}$ is the following linear combination of the
previous $U_{V}(1)$ generator $B=\frac{1}{3}{\rm diag}(1,1,1)$ and
the broken diagonal generator of the $SU_{c}(3)$ gauge group
$T^{8}=\frac{1}{2\sqrt{3}}\,{\rm diag}(1,1,-2)$:
$\widetilde{B}=B-\frac{2\sqrt{3}}{3}T^{8} \label{residue}$. The
quarks with color $1$ and $2$ are neutral under $\widetilde{B}$
and consequently the condensate too ($\widetilde{B}$ is
$\sqrt{2}\widetilde{S}$ of Ref.~\cite{CDS}). The superconductive
phase for $N_{f}=2$ possesses the same global symmetry group of
the confined Wigner-Weyl phase \cite{S}. In Reference \cite{S}, it
was shown that the low-energy spectrum, at finite density,
displays the correct quantum numbers to saturate the 't~Hooft
global anomalies \cite{tHooft}. It was also observed that QCD at
finite density can be envisioned, from a global symmetry and
anomaly point of view, as a chiral gauge theory. In Reference
\cite{HSaS} it was then seen, by using a variety of field
theoretical tools, that global anomaly matching conditions hold
for any cold but dense gauge theory.

The lowest lying excitations are protected from acquiring a mass
by the aforementioned constrains and dominate the low-energy
physical processes. The low-energy theorems governing their
interactions can be usefully encoded in effective Lagrangians. The
dynamics of the Goldstone bosons is efficiently encoded in a
non-linear realization framework. Here, see \cite{CDS}, the
relevant coset space is $G/H$ with $G=SU_{c}(3)\times U_{V}(1)$
and $H=SU_{c}(2)\times \widetilde{U}_{V}(1)$ is parameterized by
\begin{equation}{\cal V}=\exp (i\xi ^{i}X^{i})\ ,\end{equation}
where $\{X^{i}\}$ $i=1,\cdots ,5$ belong to the coset space $G/H$
and are taken to be $X^{i}=T^{i+3}$ for $i=1,\cdots ,4$ while
$X^{5}=B+\frac{\sqrt{3}}{3}T^{8}={\rm
diag}(\frac{1}{2},\frac{1}{2},0) \label{broken}$. $T^{a}$ are the
standard generators of $SU(3)$. The coordinates
\begin{equation}
\xi ^{i}=\frac{\Pi ^{i}}{f}\quad i=1,2,3,4\ ,\qquad \xi
^{5}=\frac{\Pi ^{5}}{\widetilde{f}}\ ,
\end{equation}
via $\Pi $ describe the Goldstone bosons.

${\cal V}$ transforms non linearly \begin{equation}{\cal V}(\xi
)\rightarrow u_{V}\,g{\cal V}(\xi )h^{\dagger }(\xi
,g,u)h_{\widetilde{V}}^{\dagger }(\xi ,g,u)\ ,
\label{nl2}\end{equation} with $u_{V}\in U_{V}(1)$, $g\in
SU_{c}(3)$, $h(\xi ,g,u)\in SU_{c}(2)$ and $h_{\widetilde{V}}(\xi
,g,u)\in \widetilde{U}_{V}(1)$. It is, also, convenient to define:
\begin{equation}
\omega _{\mu }=i{\cal V}^{\dagger }D_{\mu }{\cal V}\quad {\rm
with}\quad D_{\mu }{\cal V}=(\partial _{\mu }-ig_{s}G_{\mu }){\cal
V}\ ,
\end{equation}
with gluon fields $G_{\mu }=G_{\mu }^{m}T^{m}$.
%\begin{eqnarray}
%\omega _{\mu }\rightarrow && h(\xi ,g,u)\omega _{\mu }h^{\dagger
%}(\xi ,g,u)+i\,h(\xi ,g,u)\partial {_{\mu }}h^{\dagger }(\xi
%,g,u)\ \nonumber \\ &+&i\,h_{\widetilde{V}}(\xi ,g,u)\partial
%_{\mu }h_{\widetilde{V}}^{\dagger }(\xi ,g,u).
%\end{eqnarray}
Following \cite{CDS} we decompose $\omega _{\mu }$ into
\begin{equation}
\omega _{\mu }^{\parallel }=2S^{a}{\rm Tr}\left[ S^{a}\omega _{\mu
}\right] \quad {\rm and}\quad \omega _{\mu }^{\perp }=2X^{i}{\rm
Tr}\left[ X^{i}\omega _{\mu }\right] \ ,
\end{equation}
where $S^{a}$ are the unbroken generators of $H$ with
$S^{1,2,3}=T^{1,2,3}$, $S^{4}=\widetilde{B}\,/\sqrt{2}$. Summation
over repeated indices is assumed.

To be able to include the in medium fermions in the picture we
define:
\begin{equation}
\widetilde{\psi}={\cal V}^{\dagger }\psi \ ,  \label{mq}
\end{equation}
transforming as $\widetilde{\psi}\rightarrow
h_{\widetilde{V}}(\xi,g,u)h(\xi ,g,u)\widetilde{ \psi}$ and $\psi$
possesses an ordinary quark transformations (as Dirac spinor).

The simplest non-linearly realized effective Lagrangian describing
in medium fermions, the five gluons and their self interactions,
up to two derivatives and quadratic in the fermion fields is:
\begin{eqnarray}
{\cal L}=~ &&f^{2}a_{1}{\rm Tr}\left[ \,\omega _{0}^{\perp }\omega
_{0}^{\perp }-{\alpha }_{1}\vec{\omega}^{\perp
}\vec{\omega}^{\perp }\, \right] + f^{2}a_{2}\left[ {\rm Tr}\left[
\,\omega _{0}^{\perp }\,\right] {\rm Tr}\left[ \,\omega
_{0}^{\perp }\,\right] -{\alpha }_{2}{\rm Tr}\left[
\,\vec{\omega}^{\perp }\,\right] {\rm Tr}\left[
\,\vec{\omega}^{\perp }\, \right] \right]  \nonumber \\ &+&
b_{1}\overline{\widetilde{\psi }}i\left[ \gamma ^{0}(\partial
_{0}-i\omega _{0}^{\parallel })+\beta _{1}\vec{\gamma}\cdot \left(
\vec{ \nabla}-i\vec{\omega}^{\parallel }\right) \right]
\widetilde{\psi } + b_{2} \overline{\widetilde{\psi }}\left[
\gamma ^{0}\omega _{0}^{\perp }+\beta _{2} \vec{\gamma}\cdot
\vec{\omega}^{\perp }\right] \widetilde{\psi } \nonumber \\
&+&m_{M}\overline{\widetilde{\psi }^{C}}\gamma
^{5}(iT^{2})\widetilde{\psi }+ {\rm h.c.}\ , \label{cadusa}
\end{eqnarray}
where $\widetilde{\psi }^{C}=i\gamma ^{2}\widetilde{\psi }^{\ast
}$, $i,j=1,2 $ are flavor indices and \begin{equation}
T^{2}=S^{2}=\frac{1}{2}\left(
\begin{array}{ll}
\sigma ^{2} & 0 \\ 0 & 0
\end{array}
\right)\ , \end{equation} $a_{1},~a_{2},~b_{1}$ and $b_{2}$ are
real coefficients while $m_{M}$ is complex. The breaking of
Lorentz invariance to the $O(3)$ subgroup, following \cite{CG},
has been taken into account by providing different coefficients to
the temporal and spatial indices of the Lagrangian, and it is
encoded in the coefficients $\alpha $s and $\beta $s. For
simplicity, the flavor indices are omitted. {}From the last two
terms, representing a Majorana mass term for the quarks, we deduce
that the massless degrees of freedom are the $\psi _{a=3,i}$ which
possess the correct quantum numbers to match the 't~Hooft anomaly
conditions \cite{S}. The generalization to the electroweak
processes relevant for the cooling history of compact stars has
been investigated in \cite{CDS2001}.

%The Lagrangian in Eq.~(\ref{cadusa}) together with the one
%describing the relevant $SU_c(2)$ degree of freedom which we are
%about to construct will be used elsewhere to derive the 2SC
%equation of state.

\section{The $SU_c(2)$ Glueball Effective Lagrangian}
\label{Glueball}

The $SU_c(2)$ gauge symmetry does not break spontaneously and it
is expected to confine. If the new confining scale is lighter than
the superconductive quark-quark gap the associated confined
degrees of freedom (light glueballs) \cite{OSPLB} can play,
together with the true massless quarks a relevant role for the
physics of Quark Stars featuring a 2SC superconductive surface
layer \cite{OS}.

\noindent Indeed, according to the findings in \cite{rischke2k},
the medium does lead to partial $SU_c(2)$ screening. In other
words the medium is polarizable, i.e., acquires a dielectric
constant $\epsilon$ different from unity (in fact $\epsilon \gg 1$
in the 2SC case \cite{rischke2k}) leading to an effectively
reduced gauge coupling constant. By assuming locality the
$SU_c(2)$ effective action takes the form \cite{rischke2k}:
\begin{equation}
S_{eff}=\int \, d^4x
\left[\frac{\epsilon}{2}{\vec{E}^a}\cdot{\vec{E}^a}-\frac{1}{2\lambda}\vec{B}^a\cdot
\vec{B}^a\right] \label{sefu2}
\end{equation}
with $a=1,2,3$ and $E_{i}^a \equiv F^a_{0i}$ and  $B^a_{i}\equiv
\frac{1}{2}\epsilon_{ijk} F^a_{jk}$. Here one assumes an expansion
in powers of the fields and derivatives. The gluon speed in this
regime is $v=1/\sqrt{\epsilon \lambda}$. \noindent In Reference
\cite{rischke2k} the $\epsilon$ and $\lambda$ were obtained:
\begin{equation}
\epsilon =1 + \frac{g_s^2 \mu^2}{18 \pi^2 \Delta^2}\ , \qquad
\lambda =1 \ . \label{el}
\end{equation}
Equation (\ref{el}) than suggests that a 2SC color superconductor
can have a large positive dielectric constant. This implies that
the Coulomb potential between $SU_c(2)$ color charges is reduced
in the 2SC medium. $SU_c(2)$ glueballs like particles are expected
to emerge. These particles are light with respect to $\Delta$. So,
the low-energy $SU_c(2)$ theory should be well represented by the
effective Lagrangian describing its hadronic low lying states.
This Lagrangian has to be added to the one of Eq.~(\ref{cadusa})
\cite{CDS} and it has been constructed in \cite{OSPLB}.

We first rescale the coordinates and the $SU_c(2)$ fields as
follows:
\begin{eqnarray}
\hat{x}^0&=&\frac{x^0}{\sqrt{\lambda \epsilon}} \ , \qquad \hat{g}
=
g_s\left(\frac{\lambda}{\epsilon}\right)^{\frac{1}{4}} \qquad
\hat{A}_0^a = \lambda^{\frac{1}{4}}\epsilon^{\frac{3}{4}}A_0^a \ ,
\qquad \hat{A}_i^a =
\lambda^{-\frac{1}{4}}\epsilon^{\frac{1}{4}}A_i^a \ .
\label{drescaling}
\end{eqnarray}
The $SU_c(2)$ action now becomes: \begin{equation}S_{SU(2)} =
-\frac{1}{2} \int \, d^4 \hat{x}\, {\rm Tr} \left[ \hat{F}_{\mu
\nu} \hat{F}^{\mu \nu} \right]\label{effsu2}\ ,\end{equation} and
$\hat{F}_{\mu,\nu}=\hat{\partial}_{\mu}\hat{A}_{\nu} -
\hat{\partial}_{\nu} \hat{A}_{\mu} +
i\,\hat{g}\left[\hat{A}_{\mu},\hat{A}_{\nu}\right]$ with
$\hat{A}_{\mu}=\hat{A}^a_{\mu}T^a$ and $a=1,2,3$. \noindent The
low-energy effective 3 gluon dynamics in the color superconductor
medium (with non-vanishing dielectric constant and magnetic
permeability) is similar to the in vacuum theory. The expansion
parameter is: $\displaystyle{
\hat{\alpha}=\frac{\hat{g}^2}{4\pi}=\frac{g_s^2}{4\pi}
\sqrt{\frac{\lambda}{\epsilon}}}$. Notice that $g_s$ is the
$SU_c(3)$ coupling constant evaluated at the scale $\mu$ while we
now, following Ref.~\cite{rischke2k}, interpret $\hat{g}$ as the
$SU_c(2)$ coupling at $\Delta$. The matching of the scales is
encoded in $\sqrt{\lambda/\epsilon}$.

The, in medium, anomaly-induced effective Lagrangian is based on
the trace anomaly arising from the rescaled $SU_c(2)$ \cite{SS}:
\begin{equation}
\hat{\theta}_{\mu}^{\mu}=-\frac{\beta(\hat{g})}
{2\hat{g}}\hat{F}^{\mu\nu}_a\,\hat{F}_{\mu\nu;a}\equiv
\frac{2b}{v}\, H \ ,\label{trace}
\end{equation}
with $a=1,2,3$ and we have defined $\beta(\hat{g}) = -b {\hat
{g}^3}/16 \pi^2 $. At one loop $b=\frac{11}{3}N_c$ with $N_c=2$
the color number. $H$ is the composite field describing, upon
quantization, the scalar glueball \cite{schechter} in medium and
possesses mass-scale dimensions 4. The specific velocity
dependence is introduced to properly account for the velocity
factors.


The complete simplest light glueball action in the unrescaled
coordinates for the, in medium, Yang-Mill theory is:
\begin{eqnarray}
S_{G-ball}=\int
&d^4x&\left\{\frac{c}{2}\sqrt{b}\,H^{-\frac{3}{2}}\left[\partial^{0}
H
\partial^{0}H - v^2
\partial^iH
\partial^iH\right]   -\frac{b}{2}
H\log\left[\frac{H}{\hat{\Lambda}^4}\right] \right\} \ .
\label{G-ball}
\end{eqnarray}
The glueballs move with the same velocity $v$ as the underlying
gluons in the 2SC color superconductor. $\hat{\Lambda}$ is the
intrinsic scale associated with the theory and can be less than or
of the order of few MeVs \cite{rischke2k,OSPLB} while $c$ is a
constant of order unity.

\noindent The glueballs are light (with respect to the gap) and
might barely interact with the ungapped fermions. They are stable
with respect to the strong interactions unlike ordinary glueballs.
We define the mass-dimension one glueball field $h$ via
\begin{equation} H=\langle H\rangle e^{\frac{h}{F_h}} \ . \end{equation} By requiring a
canonically normalized kinetic term for $h$ one finds
$F_h^2=\frac{c}{\sqrt{2}} \sqrt{2b\langle H\rangle}$, while the
glueball mass term is $M^2_h=\frac{\sqrt{b}}{2c}\sqrt{\langle
H\rangle}=\frac{\sqrt{b}}{2c\sqrt{e}} \hat{\Lambda}^2$, which is
clearly of the order of $\hat{\Lambda}$ since $c$ is a positive
constant of order unity.


Once created, the light $SU_c(2)$ glueballs are stable against
strong interactions but not with respect to electromagnetic
processes. Indeed, the glueballs couple to two photons via virtual
quark loops.

The relevant Lagrangian term, at non zero baryon density, obtained
by saturating the electromagnetic trace anomaly is \cite{OSPLB}:
\begin{equation} {\cal
L}_{h\gamma\gamma}=\frac{\widetilde{e}^2}{48\pi^2}
\frac{M_h}{\sqrt{2b\langle H  \rangle}} \left[\sum_{quarks}
\widetilde{Q}_{quarks}^2\right]
h\,\widetilde{F}_{\mu\nu}\widetilde{F}^{\mu \nu} \ ,
\end{equation}
with $\widetilde{F}_{\mu\nu}=\partial_{\mu}\widetilde{A}_{\nu}-
\partial_{\nu}\widetilde{A}_{\mu}$.
Here $\widetilde{A}_{\mu}$ is the in medium photon field
corresponding to the following massless linear combination of the
old photon and the eighth gluon \cite{charges,CDS2001}:
\begin{equation}
\widetilde{A}_{\mu }=\cos \theta _{Q}A_{\mu }-\sin \theta
_{Q}G_{\mu }^{8}\ ,
\end{equation}
with $\tan\theta _{Q}=e/(\sqrt{3}g_s)$. The new electric constant
is related to the in vacuum one via $\widetilde{e}=e\,\cos \theta
_{Q}$. $\widetilde{Q}$ is the new electric charge operator
associated with the field $\widetilde{A}_{\mu }$ with
$\widetilde{Q}={\tau ^{3}\times {\mbox{\bf
1}}+\frac{\widetilde{B}-L}{2}}=Q\times {\mbox{\bf
1}}-\frac{1}{\sqrt{3}}{\mbox{\bf 1}\times }T^{8}
\label{newcharge}$, where $L=0$ is the lepton number, $\tau^3$ the
standard Pauli's matrix, $Q$ the quark matrix, while the new
baryon number is $\widetilde{B}$, and following the notation of
Ref.~\cite{CDS2001} we have ${\rm flavor}_{2\times 2}\times {\rm
color}_{3\times 3}$. This leads to the following decay width of
the glueballs into two photons in medium:
\begin{eqnarray}
 \Gamma\left[h\rightarrow
\gamma\gamma\right] \approx 1.2\times 10^{-2} \cos\theta_{Q}^4
\left[\frac{M_h}{1~{\rm MeV}}\right]^5~{\rm eV} \ ,
\end{eqnarray}
where $\alpha=e^2/4\pi \simeq 1/137$. {}For illustration purposes
we consider a glueball mass of the order of $1$~MeV which leads to
a decay time $\tau\sim~5.5\times~10^{-14}s$. We used
$\cos\theta_Q\sim~1$ since $\theta_Q \sim 2.5^{\circ}$
\cite{OSPLB}. While we are aware of the possible contribution from
other hadrons to the saturation of the electromagnetic trace
anomaly \cite{GJJS,GJJS2}, here we assume it to be dominated by
the $SU_c(2)$ glueballs. In any case, it is hard to imagine the
photon decay process to be completely switched-off. This shows
that a consistent portion of the glue ($3/8$ or $37.5\%$) filling
the 2SC medium is very rapidly and efficiently converted into
electromagnetic radiation.

\section{Conclusion}
\label{conclusion}
 I reviewed the symmetries and the low energy
effective Lagrangian for two flavor Color Superconductivity. The
effective Lagrangian describes the, in medium, fermions and the
broken $SU_c(3)$ gluon sector. The theory has then been extended
to incorporate the relevant confining and light (with respect to
the gap), $SU_c(2)$ degrees of freedom, i.e. glueballs. It is
shown that the light glueballs are unstable to photon decay and
estimated the, in medium, two photon decay rate. The present
analysis is limited to the zero temperature and high matter
density case. However it might be relevant to investigate the role
played by a non zero temperature \cite{MS}.


\begin{theacknowledgments}

I thank Roberto Casalbuoni, Zhiyong Duan, Stephen D.~Hsu, Rachid
Ouyed and Myck Schwetz for sharing part of the work on which this
talk is based. For discussions and careful reading of the
manuscript I thank Nils Marchal while I am indebted to Joseph
Schechter for enlightening discussions and continuous
encouragement.
\end{theacknowledgments}


\begin{thebibliography}{99}



\bibitem{RW} For reviews see K.~Rajagopal, F.~Wilczek
;
%\cite{Alford:2001dt}
%\bibitem{Alford:2001dt}
M.~Alford,
%``Color superconducting quark matter,''

%%CITATION = ;%%
%\cite{Hong:2001gt}
;
%\cite{Hsu:2000sy}
%\bibitem{Hsu:2000sy}
S.~D.~Hsu,
%``Color superconductivity in high density quark matter,''

%%CITATION = ;%%
, and references therein.

\bibitem{Hong:2001gt}
D.~K.~Hong, S.~D.~Hsu and F.~Sannino,
%``Supernovae, hypernovae and color superconductivity,''
.
%%CITATION = ;%%

\bibitem{OS} R.~Ouyed and F.~Sannino, .


\bibitem{CG}  R.~Casalbuoni and R.~Gatto, Phys.~Lett.~B{\bf 464}, 11 (1999);
Phys.~Lett.~B{\bf 469}, 213 (1999).

\bibitem{CDS}  R.~Casalbuoni, Z.~Duan and F.~Sannino, Phys.~Rev.~D{\bf 62},
094004, (2000).



\bibitem{CDS2001} R.~Casalbuoni, Z.~Duan and F.~Sannino,
. Phys.~Rev.~D{\bf 63}, 114026, (2001).

\bibitem{OSPLB} R.~Ouyed and F.~Sannino, Phys.~Lett.~B{\bf 511}, 66, (2001).


\bibitem{rischke2k}  D.H. Rischke, D.T. Son, M.A. Stephanov,
.


%\cite{Casalbuoni:2001ha}
\bibitem{Casalbuoni:2001ha}
R.~Casalbuoni, R.~Gatto, M.~Mannarelli and G.~Nardulli,
%``Effective gluon interactions in the colour superconductive phase of two  flavor QCD,''
.
%%CITATION = ;%%

\bibitem{S}  F.~Sannino, Phys.~Lett.~B{\bf 480}, 280, (2000).


\bibitem{HSaS}  S.~Hsu, F.~Sannino and M.~Schwetz, .

\bibitem{tHooft}  G.~'t~Hooft, in: Recent Developments in Gauge Theories,
eds., G.~'t~Hooft (Plenum Press, New York, 1980).

\bibitem{SS} F.~Sannino and J.~Schechter, Phys.~Rev.~D{\bf 60},
056004, (1999).




\bibitem{schechter}
J.~Schechter, Phys. Rev. {\bf D21}, 3393 (1980).


% Neutron Stars
\bibitem{charges} M.~Alford,~J.~Berges~and~K.~Rajagopal, Nucl. Phys. B{\bf 571}, 269 (2000).



\bibitem{GJJS}
H.~Gomm, P.~Jain, R.~Johnson and J.~Schechter, Phys. Rev. {\bf
D33}, 801 (1986).

\bibitem{GJJS2}
H.~Gomm, P.~Jain, R.~Johnson and J.~Schechter, Phys. Rev. {\bf
D33}, 3476 (1986).



\bibitem{MS} N.~Marchal and F.~Sannino, work in progress.

\end{thebibliography}



\end{document}

