Conformal weights of charged Renyi entropy twist operators for free Dirac fields in arbitrary dimensions
Extracted source text ยท arXiv 1510.08378
% File jytex.tex, for jyTeX version 2.6M (June 1992)
% Copyright (c) 1991, 1992 by Jonathan P. Yamron
% For full documentation, "get jydoc" from hep-ph@xxx.lanl.gov
% Problems? Contact brahm@theory3.caltech.edu.
\catcode`\@=11
%*****************************************************************************
\message{Loading jyTeX fonts...}
%************************************************************
%*
%* Available fonts
%*
%************************************************************
%************** 5-point fonts *******************************
\font\vptrm=cmr5 \font\vptmit=cmmi5 \font\vptsy=cmsy5 \font\vptbf=cmbx5
\skewchar\vptmit='177 \skewchar\vptsy='60 \fontdimen16
\vptsy=\the\fontdimen17 \vptsy
\def\vpt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\vptrm \scriptfont0=\vptrm \scriptscriptfont0=\vptrm
\textfont1=\vptmit \scriptfont1=\vptmit \scriptscriptfont1=\vptmit
\textfont2=\vptsy \scriptfont2=\vptsy \scriptscriptfont2=\vptsy
\textfont3=\xptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\bffam=\vptbf
\scriptfont\bffam=\vptbf
\scriptscriptfont\bffam=\vptbf
\@fontstyleinit
\def\rm{\vptrm\fam=\z@}%
\def\bf{\vptbf\fam=\bffam}%
\def\oldstyle{\vptmit\fam=\@ne}%
\rm\fi}
%************** 6-point fonts *******************************
\font\viptrm=cmr6 \font\viptmit=cmmi6 \font\viptsy=cmsy6
\font\viptbf=cmbx6
\skewchar\viptmit='177 \skewchar\viptsy='60 \fontdimen16
\viptsy=\the\fontdimen17 \viptsy
\def\vipt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\viptrm \scriptfont0=\vptrm \scriptscriptfont0=\vptrm
\textfont1=\viptmit \scriptfont1=\vptmit \scriptscriptfont1=\vptmit
\textfont2=\viptsy \scriptfont2=\vptsy \scriptscriptfont2=\vptsy
\textfont3=\xptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\bffam=\viptbf
\scriptfont\bffam=\vptbf
\scriptscriptfont\bffam=\vptbf
\@fontstyleinit
\def\rm{\viptrm\fam=\z@}%
\def\bf{\viptbf\fam=\bffam}%
\def\oldstyle{\viptmit\fam=\@ne}%
\rm\fi}
%************** 7-point fonts *******************************
\font\viiptrm=cmr7 \font\viiptmit=cmmi7 \font\viiptsy=cmsy7
\font\viiptit=cmti7 \font\viiptbf=cmbx7
\skewchar\viiptmit='177 \skewchar\viiptsy='60 \fontdimen16
\viiptsy=\the\fontdimen17 \viiptsy
\def\viipt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\viiptrm \scriptfont0=\vptrm \scriptscriptfont0=\vptrm
\textfont1=\viiptmit \scriptfont1=\vptmit \scriptscriptfont1=\vptmit
\textfont2=\viiptsy \scriptfont2=\vptsy \scriptscriptfont2=\vptsy
\textfont3=\xptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\itfam=\viiptit
\scriptfont\itfam=\viiptit
\scriptscriptfont\itfam=\viiptit
\textfont\bffam=\viiptbf
\scriptfont\bffam=\vptbf
\scriptscriptfont\bffam=\vptbf
\@fontstyleinit
\def\rm{\viiptrm\fam=\z@}%
\def\it{\viiptit\fam=\itfam}%
\def\bf{\viiptbf\fam=\bffam}%
\def\oldstyle{\viiptmit\fam=\@ne}%
\rm\fi}
%************** 8-point fonts *******************************
\font\viiiptrm=cmr8 \font\viiiptmit=cmmi8 \font\viiiptsy=cmsy8
\font\viiiptit=cmti8
%\font\viiiptsl=cmsl8
\font\viiiptbf=cmbx8
%\font\viiipttt=cmtt8
%\font\viiiptss=cmss8
\skewchar\viiiptmit='177 \skewchar\viiiptsy='60 \fontdimen16
\viiiptsy=\the\fontdimen17 \viiiptsy
\def\viiipt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\viiiptrm \scriptfont0=\viptrm \scriptscriptfont0=\vptrm
\textfont1=\viiiptmit \scriptfont1=\viptmit \scriptscriptfont1=\vptmit
\textfont2=\viiiptsy \scriptfont2=\viptsy \scriptscriptfont2=\vptsy
\textfont3=\xptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\itfam=\viiiptit
\scriptfont\itfam=\viiptit
\scriptscriptfont\itfam=\viiptit
\textfont\bffam=\viiiptbf
\scriptfont\bffam=\viptbf
\scriptscriptfont\bffam=\vptbf
\@fontstyleinit
\def\rm{\viiiptrm\fam=\z@}%
\def\it{\viiiptit\fam=\itfam}%
% \def\sl{\viiiptsl}%
\def\bf{\viiiptbf\fam=\bffam}%
% \def\tt{\viiipttt}%
% \def\ss{\viiiptss}%
\def\oldstyle{\viiiptmit\fam=\@ne}%
\rm\fi}
%************** Optional 9-point fonts **********************
\def\getixpt{%
\font\ixptrm=cmr9
\font\ixptmit=cmmi9
\font\ixptsy=cmsy9
\font\ixptit=cmti9
% \font\ixptsl=cmsl9
\font\ixptbf=cmbx9
% \font\ixpttt=cmtt9
% \font\ixptss=cmss9
\skewchar\ixptmit='177 \skewchar\ixptsy='60
\fontdimen16 \ixptsy=\the\fontdimen17 \ixptsy}
\def\ixpt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\ixptrm \scriptfont0=\viiptrm \scriptscriptfont0=\vptrm
\textfont1=\ixptmit \scriptfont1=\viiptmit \scriptscriptfont1=\vptmit
\textfont2=\ixptsy \scriptfont2=\viiptsy \scriptscriptfont2=\vptsy
\textfont3=\xptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\itfam=\ixptit
\scriptfont\itfam=\viiptit
\scriptscriptfont\itfam=\viiptit
\textfont\bffam=\ixptbf
\scriptfont\bffam=\viiptbf
\scriptscriptfont\bffam=\vptbf
\@fontstyleinit
\def\rm{\ixptrm\fam=\z@}%
\def\it{\ixptit\fam=\itfam}%
% \def\sl{\ixptsl}%
\def\bf{\ixptbf\fam=\bffam}%
% \def\tt{\ixpttt}%
% \def\ss{\ixptss}%
\def\oldstyle{\ixptmit\fam=\@ne}%
\rm\fi}
%************** 10-point fonts ******************************
\font\xptrm=cmr10 \font\xptmit=cmmi10 \font\xptsy=cmsy10
\font\xptex=cmex10 \font\xptit=cmti10 \font\xptsl=cmsl10
\font\xptbf=cmbx10 \font\xpttt=cmtt10 \font\xptss=cmss10
\font\xptsc=cmcsc10 \font\xptbfs=cmb10 \font\xptbmit=cmmib10
\skewchar\xptmit='177 \skewchar\xptbmit='177 \skewchar\xptsy='60
\fontdimen16 \xptsy=\the\fontdimen17 \xptsy
\def\xpt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\xptrm \scriptfont0=\viiptrm \scriptscriptfont0=\vptrm
\textfont1=\xptmit \scriptfont1=\viiptmit \scriptscriptfont1=\vptmit
\textfont2=\xptsy \scriptfont2=\viiptsy \scriptscriptfont2=\vptsy
\textfont3=\xptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\itfam=\xptit
\scriptfont\itfam=\viiptit
\scriptscriptfont\itfam=\viiptit
\textfont\bffam=\xptbf
\scriptfont\bffam=\viiptbf
\scriptscriptfont\bffam=\vptbf
\textfont\bfsfam=\xptbfs
\scriptfont\bfsfam=\viiptbf
\scriptscriptfont\bfsfam=\vptbf
\textfont\bmitfam=\xptbmit
\scriptfont\bmitfam=\viiptmit
\scriptscriptfont\bmitfam=\vptmit
\@fontstyleinit
\def\rm{\xptrm\fam=\z@}%
\def\it{\xptit\fam=\itfam}%
\def\sl{\xptsl}%
\def\bf{\xptbf\fam=\bffam}%
\def\tt{\xpttt}%
\def\ss{\xptss}%
\def\sc{\xptsc}%
\def\bfs{\xptbfs\fam=\bfsfam}%
\def\bmit{\fam=\bmitfam}%
\def\oldstyle{\xptmit\fam=\@ne}%
\rm\fi}
%************** Optional 11-point fonts *********************
\def\getxipt{%
\font\xiptrm=cmr10 scaled\magstephalf
\font\xiptmit=cmmi10 scaled\magstephalf
\font\xiptsy=cmsy10 scaled\magstephalf
\font\xiptex=cmex10 scaled\magstephalf
\font\xiptit=cmti10 scaled\magstephalf
\font\xiptsl=cmsl10 scaled\magstephalf
\font\xiptbf=cmbx10 scaled\magstephalf
\font\xipttt=cmtt10 scaled\magstephalf
\font\xiptss=cmss10 scaled\magstephalf
\skewchar\xiptmit='177 \skewchar\xiptsy='60
\fontdimen16 \xiptsy=\the\fontdimen17 \xiptsy}
\def\xipt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\xiptrm \scriptfont0=\viiiptrm \scriptscriptfont0=\viptrm
\textfont1=\xiptmit \scriptfont1=\viiiptmit \scriptscriptfont1=\viptmit
\textfont2=\xiptsy \scriptfont2=\viiiptsy \scriptscriptfont2=\viptsy
\textfont3=\xiptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\itfam=\xiptit
\scriptfont\itfam=\viiiptit
\scriptscriptfont\itfam=\viiptit
\textfont\bffam=\xiptbf
\scriptfont\bffam=\viiiptbf
\scriptscriptfont\bffam=\viptbf
\@fontstyleinit
\def\rm{\xiptrm\fam=\z@}%
\def\it{\xiptit\fam=\itfam}%
\def\sl{\xiptsl}%
\def\bf{\xiptbf\fam=\bffam}%
\def\tt{\xipttt}%
\def\ss{\xiptss}%
\def\oldstyle{\xiptmit\fam=\@ne}%
\rm\fi}
%************** 12-point fonts ******************************
\font\xiiptrm=cmr12 \font\xiiptmit=cmmi12 \font\xiiptsy=cmsy10
scaled\magstep1 \font\xiiptex=cmex10 scaled\magstep1
\font\xiiptit=cmti12 \font\xiiptsl=cmsl12 \font\xiiptbf=cmbx12
%\font\xiipttt=cmtt12
\font\xiiptss=cmss12 \font\xiiptsc=cmcsc10 scaled\magstep1
\font\xiiptbfs=cmb10 scaled\magstep1 \font\xiiptbmit=cmmib10
scaled\magstep1
\skewchar\xiiptmit='177 \skewchar\xiiptbmit='177 \skewchar\xiiptsy='60
\fontdimen16 \xiiptsy=\the\fontdimen17 \xiiptsy
\def\xiipt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\xiiptrm \scriptfont0=\viiiptrm \scriptscriptfont0=\viptrm
\textfont1=\xiiptmit \scriptfont1=\viiiptmit \scriptscriptfont1=\viptmit
\textfont2=\xiiptsy \scriptfont2=\viiiptsy \scriptscriptfont2=\viptsy
\textfont3=\xiiptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\itfam=\xiiptit
\scriptfont\itfam=\viiiptit
\scriptscriptfont\itfam=\viiptit
\textfont\bffam=\xiiptbf
\scriptfont\bffam=\viiiptbf
\scriptscriptfont\bffam=\viptbf
\textfont\bfsfam=\xiiptbfs
\scriptfont\bfsfam=\viiiptbf
\scriptscriptfont\bfsfam=\viptbf
\textfont\bmitfam=\xiiptbmit
\scriptfont\bmitfam=\viiiptmit
\scriptscriptfont\bmitfam=\viptmit
\@fontstyleinit
\def\rm{\xiiptrm\fam=\z@}%
\def\it{\xiiptit\fam=\itfam}%
\def\sl{\xiiptsl}%
\def\bf{\xiiptbf\fam=\bffam}%
\def\tt{\xiipttt}%
\def\ss{\xiiptss}%
\def\sc{\xiiptsc}%
\def\bfs{\xiiptbfs\fam=\bfsfam}%
\def\bmit{\fam=\bmitfam}%
\def\oldstyle{\xiiptmit\fam=\@ne}%
\rm\fi}
%************** Optional 13-point fonts *********************
\def\getxiiipt{%
\font\xiiiptrm=cmr12 scaled\magstephalf
\font\xiiiptmit=cmmi12 scaled\magstephalf
\font\xiiiptsy=cmsy9 scaled\magstep2
\font\xiiiptit=cmti12 scaled\magstephalf
\font\xiiiptsl=cmsl12 scaled\magstephalf
\font\xiiiptbf=cmbx12 scaled\magstephalf
\font\xiiipttt=cmtt12 scaled\magstephalf
\font\xiiiptss=cmss12 scaled\magstephalf
\skewchar\xiiiptmit='177 \skewchar\xiiiptsy='60
\fontdimen16 \xiiiptsy=\the\fontdimen17 \xiiiptsy}
\def\xiiipt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\xiiiptrm \scriptfont0=\xptrm \scriptscriptfont0=\viiptrm
\textfont1=\xiiiptmit \scriptfont1=\xptmit \scriptscriptfont1=\viiptmit
\textfont2=\xiiiptsy \scriptfont2=\xptsy \scriptscriptfont2=\viiptsy
\textfont3=\xivptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\itfam=\xiiiptit
\scriptfont\itfam=\xptit
\scriptscriptfont\itfam=\viiptit
\textfont\bffam=\xiiiptbf
\scriptfont\bffam=\xptbf
\scriptscriptfont\bffam=\viiptbf
\@fontstyleinit
\def\rm{\xiiiptrm\fam=\z@}%
\def\it{\xiiiptit\fam=\itfam}%
\def\sl{\xiiiptsl}%
\def\bf{\xiiiptbf\fam=\bffam}%
\def\tt{\xiiipttt}%
\def\ss{\xiiiptss}%
\def\oldstyle{\xiiiptmit\fam=\@ne}%
\rm\fi}
%************** 14-point fonts ******************************
\font\xivptrm=cmr12 scaled\magstep1 \font\xivptmit=cmmi12
scaled\magstep1 \font\xivptsy=cmsy10 scaled\magstep2
\font\xivptex=cmex10 scaled\magstep2 \font\xivptit=cmti12
scaled\magstep1 \font\xivptsl=cmsl12 scaled\magstep1
\font\xivptbf=cmbx12 scaled\magstep1
%\font\xivpttt=cmtt12 scaled\magstep1
\font\xivptss=cmss12 scaled\magstep1 \font\xivptsc=cmcsc10
scaled\magstep2 \font\xivptbfs=cmb10 scaled\magstep2
\font\xivptbmit=cmmib10 scaled\magstep2
\skewchar\xivptmit='177 \skewchar\xivptbmit='177 \skewchar\xivptsy='60
\fontdimen16 \xivptsy=\the\fontdimen17 \xivptsy
\def\xivpt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\xivptrm \scriptfont0=\xptrm \scriptscriptfont0=\viiptrm
\textfont1=\xivptmit \scriptfont1=\xptmit \scriptscriptfont1=\viiptmit
\textfont2=\xivptsy \scriptfont2=\xptsy \scriptscriptfont2=\viiptsy
\textfont3=\xivptex \scriptfont3=\xptex \scriptscriptfont3=\xptex
\textfont\itfam=\xivptit
\scriptfont\itfam=\xptit
\scriptscriptfont\itfam=\viiptit
\textfont\bffam=\xivptbf
\scriptfont\bffam=\xptbf
\scriptscriptfont\bffam=\viiptbf
\textfont\bfsfam=\xivptbfs
\scriptfont\bfsfam=\xptbfs
\scriptscriptfont\bfsfam=\viiptbf
\textfont\bmitfam=\xivptbmit
\scriptfont\bmitfam=\xptbmit
\scriptscriptfont\bmitfam=\viiptmit
\@fontstyleinit
\def\rm{\xivptrm\fam=\z@}%
\def\it{\xivptit\fam=\itfam}%
\def\sl{\xivptsl}%
\def\bf{\xivptbf\fam=\bffam}%
\def\tt{\xivpttt}%
\def\ss{\xivptss}%
\def\sc{\xivptsc}%
\def\bfs{\xivptbfs\fam=\bfsfam}%
\def\bmit{\fam=\bmitfam}%
\def\oldstyle{\xivptmit\fam=\@ne}%
\rm\fi}
%************** 17-point fonts ******************************
\font\xviiptrm=cmr17 \font\xviiptmit=cmmi12 scaled\magstep2
\font\xviiptsy=cmsy10 scaled\magstep3 \font\xviiptex=cmex10
scaled\magstep3 \font\xviiptit=cmti12 scaled\magstep2
\font\xviiptbf=cmbx12 scaled\magstep2 \font\xviiptbfs=cmb10
scaled\magstep3
\skewchar\xviiptmit='177 \skewchar\xviiptsy='60 \fontdimen16
\xviiptsy=\the\fontdimen17 \xviiptsy
\def\xviipt{\ifmmode\err@badsizechange\else
\@mathfontinit
\textfont0=\xviiptrm \scriptfont0=\xiiptrm \scriptscriptfont0=\viiiptrm
\textfont1=\xviiptmit \scriptfont1=\xiiptmit \scriptscriptfont1=\viiiptmit
\textfont2=\xviiptsy \scriptfont2=\xiiptsy \scriptscriptfont2=\viiiptsy
\textfont3=\xviiptex \scriptfont3=\xiiptex \scriptscriptfont3=\xptex
\textfont\itfam=\xviiptit
\scriptfont\itfam=\xiiptit
\scriptscriptfont\itfam=\viiiptit
\textfont\bffam=\xviiptbf
\scriptfont\bffam=\xiiptbf
\scriptscriptfont\bffam=\viiiptbf
\textfont\bfsfam=\xviiptbfs
\scriptfont\bfsfam=\xiiptbfs
\scriptscriptfont\bfsfam=\viiiptbf
\@fontstyleinit
\def\rm{\xviiptrm\fam=\z@}%
\def\it{\xviiptit\fam=\itfam}%
\def\bf{\xviiptbf\fam=\bffam}%
\def\bfs{\xviiptbfs\fam=\bfsfam}%
\def\oldstyle{\xviiptmit\fam=\@ne}%
\rm\fi}
%************** 21-point fonts ******************************
\font\xxiptrm=cmr17 scaled\magstep1
%\font\xxiptmit=cmmi12 scaled\magstep3
%\font\xxiptsy=cmsy10 scaled\magstep4
%\font\xxiptex=cmex10 scaled\magstep4
%\font\xxiptbf=cmbx12 scaled\magstep3
%\skewchar\xxiptmit='177 \skewchar\xxiptsy='60
%\fontdimen16 \xxiptsy=\the\fontdimen17 \xxiptsy
\def\xxipt{\ifmmode\err@badsizechange\else
\@mathfontinit
% \textfont0=\xxiptrm \scriptfont0=\xivptrm \scriptscriptfont0=\xptrm
% \textfont1=\xxiptmit \scriptfont1=\xivptmit \scriptscriptfont1=\xptmit
% \textfont2=\xxiptsy \scriptfont2=\xivptsy \scriptscriptfont2=\xptsy
% \textfont3=\xxiptex \scriptfont3=\xivptex \scriptscriptfont3=\xptex
% \textfont\bffam=\xxiptbf
% \scriptfont\bffam=\xivptbf
% \scriptscriptfont\bffam=\xptbf
\@fontstyleinit
\def\rm{\xxiptrm\fam=\z@}%
% \def\bf{\xxiptbf\fam=\bffam}%
% \def\oldstyle{\xxiptmit\fam=\@ne}%
\rm\fi}
%************** 25-point fonts ******************************
\font\xxvptrm=cmr17 scaled\magstep2
%\font\xxvptmit=cmmi12 scaled\magstep4
%\font\xxvptsy=cmsy10 scaled\magstep5
%\font\xxvptex=cmex10 scaled\magstep5
%\font\xxvptbf=cmbx12 scaled\magstep4
%\skewchar\xxvptmit='177 \skewchar\xxvptsy='60
%\fontdimen16 \xxvptsy=\the\fontdimen17 \xxvptsy
\def\xxvpt{\ifmmode\err@badsizechange\else
\@mathfontinit
% \textfont0=\xxvptrm \scriptfont0=\xviiptrm \scriptscriptfont0=\xiiptrm
% \textfont1=\xxvptmit \scriptfont1=\xviiptmit \scriptscriptfont1=\xiiptmit
% \textfont2=\xxvptsy \scriptfont2=\xviiptsy \scriptscriptfont2=\xiiptsy
% \textfont3=\xxvptex \scriptfont3=\xviiptex \scriptscriptfont3=\xiiptex
% \textfont\bffam=\xxvptbf
% \scriptfont\bffam=\xviiptbf
% \scriptscriptfont\bffam=\xiiptbf
\@fontstyleinit
\def\rm{\xxvptrm\fam=\z@}%
% \def\bf{\xxvptbf\fam=\bffam}%
% \def\oldstyle{\xxvptmit\fam=\@ne}%
\rm\fi}
%************** Other fonts *********************************
%\font\dummy=dummy
%******************************************************************************
\message{Loading jyTeX macros...}
%************************************************************
%*
%* Simple modifications to plain
%*
%************************************************************
\message{modifications to plain.tex,}
% The "\outer" qualifier is removed from the definitions of \newcount through
% \newif so that they may be used in definitions. \newif is also changed to
% make \if commands globally defined.
\def\newcount{\alloc@0\count\countdef\insc@unt}
\def\newdimen{\alloc@1\dimen\dimendef\insc@unt}
\def\newskip{\alloc@2\skip\skipdef\insc@unt}
\def\newmuskip{\alloc@3\muskip\muskipdef\@cclvi}
\def\newbox{\alloc@4\box\chardef\insc@unt}
\def\newtoks{\alloc@5\toks\toksdef\@cclvi}
\def\newhelp#1#2{\newtoks#1\global#1\expandafter{\csname#2\endcsname}}
\def\newread{\alloc@6\read\chardef\sixt@@n}
\def\newwrite{\alloc@7\write\chardef\sixt@@n}
\def\newfam{\alloc@8\fam\chardef\sixt@@n}
\def\newinsert#1{\global\advance\insc@unt by\m@ne
\ch@ck0\insc@unt\count
\ch@ck1\insc@unt\dimen
\ch@ck2\insc@unt\skip
\ch@ck4\insc@unt\box
\allocationnumber=\insc@unt
\global\chardef#1=\allocationnumber
\wlog{\string#1=\string\insert\the\allocationnumber}}
\def\newif#1{\count@\escapechar \escapechar\m@ne
\expandafter\expandafter\expandafter
\xdef\@if#1{true}{\let\noexpand#1=\noexpand\iftrue}%
\expandafter\expandafter\expandafter
\xdef\@if#1{false}{\let\noexpand#1=\noexpand\iffalse}%
\global\@if#1{false}\escapechar=\count@}
%************** Some parameter changes **********************
\newlinechar=`\^^J
\overfullrule=0pt
%************** Font-related modifications ******************
% The plain fonts are mapped onto the corresponding jyTeX fonts
\let\tenrm=\xptrm \let\teni=\xptmi \let\tensy=\xptsy
\let\tenex=\xptex \let\tenit=\xptit \let\tenbf=\xptbf
\let\tenbfs=\xptbfs \let\tenbi=\xptbi \let\tensc=\xptsc
\let\tensl=\xptsl \let\tenss=\xptss \let\tentt=\xpttt
\let\sevenrm=\viiptrm \let\seveni=\viiptmi \let\sevensy=\viiptsy
\let\sevenit=\viiptit \let\sevenbf=\viiptbf \let\fiverm=\vptrm
\let\fivei=\vptmi \let\fivesy=\vptsy \let\fivebf=\vptbf
% Some control sequences are disabled.
\let\itfam=\undefined
\let\slfam=\undefined
\let\bffam=\undefined
\let\ttfam=\undefined
\count18=3
% German sharp s is given a new name (\ss is already taken)
\chardef\sharps="19
% The mathcode assignments of characters in the math italic font are changed to
% allow for switching to boldface.
\mathchardef\alpha="710B \mathchardef\beta="710C \mathchardef\gamma="710D
\mathchardef\delta="710E \mathchardef\epsilon="710F
\mathchardef\zeta="7110 \mathchardef\eta="7111 \mathchardef\theta="7112
\mathchardef\iota="7113 \mathchardef\kappa="7114
\mathchardef\lambda="7115 \mathchardef\mu="7116 \mathchardef\nu="7117
\mathchardef\xi="7118 \mathchardef\pi="7119 \mathchardef\rho="711A
\mathchardef\sigma="711B \mathchardef\tau="711C
\mathchardef\upsilon="711D \mathchardef\phi="711E \mathchardef\chi="711F
\mathchardef\psi="7120 \mathchardef\omega="7121
\mathchardef\varepsilon="7122 \mathchardef\vartheta="7123
\mathchardef\varpi="7124 \mathchardef\varrho="7125
\mathchardef\varsigma="7126 \mathchardef\varphi="7127
\mathchardef\imath="717B \mathchardef\jmath="717C \mathchardef\ell="7160
\mathchardef\wp="717D \mathchardef\partial="7140 \mathchardef\flat="715B
\mathchardef\natural="715C \mathchardef\sharp="715D
\def\vec{\mathaccent"717E }
%************** Miscellaneous changes ***********************
% The dimension \p@ (1pt) is replaced with \rp@ (relative pt, defined below),
% whose size is determined by the base type size of the document.
\def\angle{{\vbox{\ialign{$\m@th\scriptstyle##$\crcr
\not\mathrel{\mkern14mu}\crcr
\noalign{\nointerlineskip}
\mkern2.5mu\leaders\hrule height.34\rp@\hfill\mkern2.5mu\crcr}}}}
\def\vdots{\vbox{\baselineskip4\rp@ \lineskiplimit\z@
\kern6\rp@\hbox{.}\hbox{.}\hbox{.}}}
\def\ddots{\mathinner{\mkern1mu\raise7\rp@\vbox{\kern7\rp@\hbox{.}}\mkern2mu
\raise4\rp@\hbox{.}\mkern2mu\raise\rp@\hbox{.}\mkern1mu}}
\def\overrightarrow#1{\vbox{\ialign{##\crcr
\rightarrowfill\crcr
\noalign{\kern-\rp@\nointerlineskip}
$\hfil\displaystyle{#1}\hfil$\crcr}}}
\def\overleftarrow#1{\vbox{\ialign{##\crcr
\leftarrowfill\crcr
\noalign{\kern-\rp@\nointerlineskip}
$\hfil\displaystyle{#1}\hfil$\crcr}}}
\def\overbrace#1{\mathop{\vbox{\ialign{##\crcr
\noalign{\kern3\rp@}
\downbracefill\crcr
\noalign{\kern3\rp@\nointerlineskip}
$\hfil\displaystyle{#1}\hfil$\crcr}}}\limits}
\def\underbrace#1{\mathop{\vtop{\ialign{##\crcr
$\hfil\displaystyle{#1}\hfil$\crcr
\noalign{\kern3\rp@\nointerlineskip}
\upbracefill\crcr
\noalign{\kern3\rp@}}}}\limits}
\def\big#1{{\hbox{$\left#1\vbox to8.5\rp@ {}\right.\n@space$}}}
\def\Big#1{{\hbox{$\left#1\vbox to11.5\rp@ {}\right.\n@space$}}}
\def\bigg#1{{\hbox{$\left#1\vbox to14.5\rp@ {}\right.\n@space$}}}
\def\Bigg#1{{\hbox{$\left#1\vbox to17.5\rp@ {}\right.\n@space$}}}
\def\@vereq#1#2{\lower.5\rp@\vbox{\baselineskip\z@skip\lineskip-.5\rp@
\ialign{$\m@th#1\hfil##\hfil$\crcr#2\crcr=\crcr}}}
\def\rlh@#1{\vcenter{\hbox{\ooalign{\raise2\rp@
\hbox{$#1\rightharpoonup$}\crcr
$#1\leftharpoondown$}}}}
\def\bordermatrix#1{\begingroup\m@th
\setbox\z@\vbox{%
\def\cr{\crcr\noalign{\kern2\rp@\global\let\cr\endline}}%
\ialign{$##$\hfil\kern2\rp@\kern\p@renwd
&\thinspace\hfil$##$\hfil&&\quad\hfil$##$\hfil\crcr
\omit\strut\hfil\crcr
\noalign{\kern-\baselineskip}%
#1\crcr\omit\strut\cr}}%
\setbox\tw@\vbox{\unvcopy\z@\global\setbox\@ne\lastbox}%
\setbox\tw@\hbox{\unhbox\@ne\unskip\global\setbox\@ne\lastbox}%
\setbox\tw@\hbox{$\kern\wd\@ne\kern-\p@renwd\left(\kern-\wd\@ne
\global\setbox\@ne\vbox{\box\@ne\kern2\rp@}%
\vcenter{\kern-\ht\@ne\unvbox\z@\kern-\baselineskip}%
\,\right)$}%
\null\;\vbox{\kern\ht\@ne\box\tw@}\endgroup}
\def\endinsert{\egroup
\if@mid\dimen@\ht\z@
\advance\dimen@\dp\z@
\advance\dimen@12\rp@
\advance\dimen@\pagetotal
\ifdim\dimen@>\pagegoal\@midfalse\p@gefalse\fi
\fi
\if@mid\bigskip\box\z@
\bigbreak
\else\insert\topins{\penalty100 \splittopskip\z@skip
\splitmaxdepth\maxdimen\floatingpenalty\z@
\ifp@ge\dimen@\dp\z@
\vbox to\vsize{\unvbox\z@\kern-\dimen@}%
\else\box\z@\nobreak\bigskip
\fi}%
\fi
\endgroup}
% \normalbaselines is removed from \cases and \matrix.
\def\cases#1{\left\{\,\vcenter{\m@th
\ialign{$##\hfil$&\quad##\hfil\crcr#1\crcr}}\right.}
\def\matrix#1{\null\,\vcenter{\m@th
\ialign{\hfil$##$\hfil&&\quad\hfil$##$\hfil\crcr
\mathstrut\crcr
\noalign{\kern-\baselineskip}
#1\crcr
\mathstrut\crcr
\noalign{\kern-\baselineskip}}}\,}
% \raggedbottom modified slightly
\newif\ifraggedbottom
\def\raggedbottom{\ifraggedbottom\else
\advance\topskip by\z@ plus60pt \raggedbottomtrue\fi}%
\def\normalbottom{\ifraggedbottom
\advance\topskip by\z@ plus-60pt \raggedbottomfalse\fi}
%************************************************************
%*
%* Miscellaneous definitions
%*
%************************************************************
\message{hacks,}
%************** Hack registers ******************************
\toksdef\toks@i=1 \toksdef\toks@ii=2
%************** Basic macros ********************************
\def\TeX{T\kern-.1667em \lower.5ex \hbox{E}\kern-.125em X\null}
\def\jyTeX{{\leavevmode
\raise.587ex \hbox{\it\j}\kern-.1em \lower.048ex \hbox{\it y}\kern-.12em
\TeX}}
%\def\jyinput{\input\inputpath}
\let\then=\iftrue
\def\ifnoarg#1\then{\def\hack@{#1}\ifx\hack@\empty}
\def\ifundefined#1\then{%
\expandafter\ifx\csname\expandafter\blank\string#1\endcsname\relax}
\def\useif#1\then{\csname#1\endcsname}
\def\usename#1{\csname#1\endcsname}
\def\useafter#1#2{\expandafter#1\csname#2\endcsname}
% Modify so that I can have \loop's within \loop's?
\long\def\loop#1\repeat{\def\@iterate{#1\expandafter\@iterate\fi}\@iterate
\let\@iterate=\relax}
%\long\def\loop#1\repeat{\def\@loopbody{#1}\@iterate}
%\def\@iterate{\@loopbody\let\next=\@iterate\else\let\next=\relax\fi\next}
\let\TeXend=\end
\def\begin#1{\begingroup\def\@@blockname{#1}\usename{begin#1}}
\def\end#1{\usename{end#1}\def\hack@{#1}%
\ifx\@@blockname\hack@
\endgroup
\else\err@badgroup\hack@\@@blockname
\fi}
\def\@@blockname{}
\def\defaultoption[#1]#2{%
\def\hack@{\ifx\hack@ii[\toks@={#2}\else\toks@={#2[#1]}\fi\the\toks@}%
\futurelet\hack@ii\hack@}
\def\markup#1{\let\@@marksf=\empty
\ifhmode\edef\@@marksf{\spacefactor=\the\spacefactor\relax}\/\fi
${}^{\hbox{\subscriptfonts#1}}$\@@marksf}
%************** Time registers ******************************
\newtoks\shortyear
\newtoks\militaryhour
\newtoks\standardhour
\newtoks\minute
\newtoks\amorpm
\def\settime{\count@=\time\divide\count@ by60
\militaryhour=\expandafter{\number\count@}%
{\multiply\count@ by-60 \advance\count@ by\time
\xdef\hack@{\ifnum\count@<10 0\fi\number\count@}}%
\minute=\expandafter{\hack@}%
\ifnum\count@<12
\amorpm={am}
\else\amorpm={pm}
\ifnum\count@>12 \advance\count@ by-12 \fi
\fi
\standardhour=\expandafter{\number\count@}%
\def\hack@19##1##2{\shortyear={##1##2}}%
\expandafter\hack@\the\year}
\def\monthword#1{%
\ifcase#1
$\bullet$\err@badcountervalue{monthword}%
\or January\or February\or March\or April\or May\or June%
\or July\or August\or September\or October\or November\or December%
\else$\bullet$\err@badcountervalue{monthword}%
\fi}
\def\monthabbr#1{%
\ifcase#1
$\bullet$\err@badcountervalue{monthabbr}%
\or Jan\or Feb\or Mar\or Apr\or May\or Jun%
\or Jul\or Aug\or Sep\or Oct\or Nov\or Dec%
\else$\bullet$\err@badcountervalue{monthabbr}%
\fi}
\def\militarytime{\the\militaryhour:\the\minute}
\def\standardtime{\the\standardhour:\the\minute}
\def\today{\monthword\month\ \number\day, \number\year}
%************** Number styles *******************************
\def\@setnumstyle#1#2{\expandafter\global\expandafter\expandafter
\expandafter\let\expandafter\expandafter
\csname @\expandafter\blank\string#1style\endcsname
\csname#2\endcsname}
\def\numstyle#1{\usename{@\expandafter\blank\string#1style}#1}
\def\ifblank#1\then{\useafter\ifx{@\expandafter\blank\string#1}\blank}
\def\blank#1{}
\def\arabic#1{\number#1}
\def\roman#1{\romannumeral#1}
\def\Roman#1{\expandafter\uppercase\expandafter{\romannumeral#1}}
\def\alphabetic#1{%
\ifcase#1
$\bullet$\err@badcountervalue{alphabetic}%
\or a\or b\or c\or d\or e\or f\or g\or h\or i\or j\or k\or l\or m%
\or n\or o\or p\or q\or r\or s\or t\or u\or v\or w\or x\or y\or z%
\else$\bullet$\err@badcountervalue{alphabetic}%
\fi}
\def\Alphabetic#1{\expandafter\uppercase\expandafter{\alphabetic{#1}}}
\def\symbols#1{%
\ifcase#1
$\bullet$\err@badcountervalue{symbols}%
\or*\or\dag\or\ddag\or\S\or$\|$%
\or**\or\dag\dag\or\ddag\ddag\or\S\S\or$\|\|$%
\else$\bullet$\err@badcountervalue{symbols}%
\fi}
%************** String macros *******************************
\catcode`\^^?=13 \def^^?{\relax}
\def\trimleading#1\to#2{\edef#2{#1}%
\expandafter\@trimleading\expandafter#2#2^^?^^?}
\def\@trimleading#1#2#3^^?{\ifx#2^^?\def#1{}\else\def#1{#2#3}\fi}
\def\trimtrailing#1\to#2{\edef#2{#1}%
\expandafter\@trimtrailing\expandafter#2#2^^? ^^?\relax}
\def\@trimtrailing#1#2 ^^?#3{\ifx#3\relax\toks@={}%
\else\def#1{#2}\toks@={\trimtrailing#1\to#1}\fi
\the\toks@}
\def\trim#1\to#2{\trimleading#1\to#2\trimtrailing#2\to#2}
\catcode`\^^?=15
%************** List macros *********************************
\long\def\additemL#1\to#2{\toks@={\^^\{#1}}\toks@ii=\expandafter{#2}%
\xdef#2{\the\toks@\the\toks@ii}}
\long\def\additemR#1\to#2{\toks@={\^^\{#1}}\toks@ii=\expandafter{#2}%
\xdef#2{\the\toks@ii\the\toks@}}
\def\getitemL#1\to#2{\expandafter\@getitemL#1\hack@#1#2}
\def\@getitemL\^^\#1#2\hack@#3#4{\def#4{#1}\def#3{#2}}
%************************************************************
%*
%* Font-related macros
%*
%************************************************************
\message{font macros,}
%************** Font set-up *********************************
\newdimen\rp@
\newcount\@@sizeindex \@@sizeindex=0
\newcount\@@factori
\newcount\@@factorii
\newcount\@@factoriii
\newcount\@@factoriv
\countdef\maxfam=18
\newfam\itfam
\newfam\bffam
\newfam\bfsfam
\newfam\bmitfam
\def\@mathfontinit{\count@=4
\loop\textfont\count@=\nullfont
\scriptfont\count@=\nullfont
\scriptscriptfont\count@=\nullfont
\ifnum\count@<\maxfam\advance\count@ by\@ne
\repeat}
\def\@fontstyleinit{%
\def\it{\err@fontnotavailable\it}%
\def\bf{\err@fontnotavailable\bf}%
\def\bfs{\err@bfstobf}%
\def\bmit{\err@fontnotavailable\bmit}%
\def\sc{\err@fontnotavailable\sc}%
\def\sl{\err@sltoit}%
\def\ss{\err@fontnotavailable\ss}%
\def\tt{\err@fontnotavailable\tt}}
\def\@parameterinit#1{\rm\rp@=.1em \@getscaling{#1}%
\let\^^\=\@doscaling\scalingskipslist
\setbox\strutbox=\hbox{\vrule
height.708\baselineskip depth.292\baselineskip width\z@}}
\def\@getfactor#1#2#3#4{\@@factori=#1 \@@factorii=#2
\@@factoriii=#3 \@@factoriv=#4}
\def\@getscaling#1{\count@=#1 \advance\count@ by-\@@sizeindex\@@sizeindex=#1
\ifnum\count@<0
\let\@mulordiv=\divide
\let\@divormul=\multiply
\multiply\count@ by\m@ne
\else\let\@mulordiv=\multiply
\let\@divormul=\divide
\fi
\edef\@@scratcha{\ifcase\count@ {1}{1}{1}{1}\or
{1}{7}{23}{3}\or {2}{5}{3}{1}\or {9}{89}{13}{1}\or
{6}{25}{6}{1}\or {8}{71}{14}{1}\or {6}{25}{36}{5}\or
{1}{7}{53}{4}\or {12}{125}{108}{5}\or {3}{14}{53}{5}\or
{6}{41}{17}{1}\or {13}{31}{13}{2}\or {9}{107}{71}{2}\or
{11}{139}{124}{3}\or {1}{6}{43}{2}\or {10}{107}{42}{1}\or
{1}{5}{43}{2}\or {5}{69}{65}{1}\or {11}{97}{91}{2}\fi}%
\expandafter\@getfactor\@@scratcha}
\def\@doscaling#1{\@mulordiv#1by\@@factori\@divormul#1by\@@factorii
\@mulordiv#1by\@@factoriii\@divormul#1by\@@factoriv}
%************* Size-changing commands ***********************
\newskip\headskip
\newskip\footskip
\def\typesize=#1pt{\count@=#1 \advance\count@ by-10
\ifcase\count@
\@setsizex\or\err@badtypesize\or
\@setsizexii\or\err@badtypesize\or
\@setsizexiv
\else\err@badtypesize
\fi}
\def\@setsizex{\getixpt
\def\subsubscriptfonts{\vpt}%
\def\subsubscriptsize{\vpt\@parameterinit{-8}}%
\def\subscriptfonts{\viipt}\def\subscriptsize{\viipt\@parameterinit{-4}}%
\def\footnotefonts{\viiipt}\def\footnotesize{\viiipt\@parameterinit{-2}}%
\def\smallfonts{\ixpt}\def\smallsize{\ixpt\@parameterinit{-1}}%
\def\normalfonts{\xpt}\def\normalsize{\xpt\@parameterinit{0}}%
\def\bigfonts{\xiipt}\def\bigsize{\xiipt\@parameterinit{2}}%
\def\Bigfonts{\xivpt}\def\Bigsize{\xivpt\@parameterinit{4}}%
\def\biggfonts{\xviipt}\def\biggsize{\xviipt\@parameterinit{6}}%
\def\Biggfonts{\xxipt}\def\Biggsize{\xxipt\@parameterinit{8}}%
\def\tinyfonts{\vpt}\def\tinysize{\vpt\@parameterinit{-8}}%
\def\HUGEFONTS{\xxvpt}\def\HUGESIZE{\xxvpt\@parameterinit{10}}%
\normalsize\fixedskipslist}
\def\@setsizexii{\getxipt
\def\subsubscriptfonts{\vipt}%
\def\subsubscriptsize{\vipt\@parameterinit{-6}}%
\def\subscriptfonts{\viiipt}%
\def\subscriptsize{\viiipt\@parameterinit{-2}}%
\def\footnotefonts{\xpt}\def\footnotesize{\xpt\@parameterinit{0}}%
\def\smallfonts{\xipt}\def\smallsize{\xipt\@parameterinit{1}}%
\def\normalfonts{\xiipt}\def\normalsize{\xiipt\@parameterinit{2}}%
\def\bigfonts{\xivpt}\def\bigsize{\xivpt\@parameterinit{4}}%
\def\Bigfonts{\xviipt}\def\Bigsize{\xviipt\@parameterinit{6}}%
\def\biggfonts{\xxipt}\def\biggsize{\xxipt\@parameterinit{8}}%
\def\Biggfonts{\xxvpt}\def\Biggsize{\xxvpt\@parameterinit{10}}%
\def\tinyfonts{\vpt}\def\tinysize{\vpt\@parameterinit{-8}}%
\def\HUGEFONTS{\xxvpt}\def\HUGESIZE{\xxvpt\@parameterinit{10}}%
\normalsize\fixedskipslist}
\def\@setsizexiv{\getxiiipt
\def\subsubscriptfonts{\viipt}%
\def\subsubscriptsize{\viipt\@parameterinit{-4}}%
\def\subscriptfonts{\xpt}\def\subscriptsize{\xpt\@parameterinit{0}}%
\def\footnotefonts{\xiipt}\def\footnotesize{\xiipt\@parameterinit{2}}%
\def\smallfonts{\xiiipt}\def\smallsize{\xiiipt\@parameterinit{3}}%
\def\normalfonts{\xivpt}\def\normalsize{\xivpt\@parameterinit{4}}%
\def\bigfonts{\xviipt}\def\bigsize{\xviipt\@parameterinit{6}}%
\def\Bigfonts{\xxipt}\def\Bigsize{\xxipt\@parameterinit{8}}%
\def\biggfonts{\xxvpt}\def\biggsize{\xxvpt\@parameterinit{10}}%
\def\Biggfonts{\err@sizetoolarge\Biggfonts\HUGEFONTS}%
\def\Biggsize{\err@sizetoolarge\Biggsize\HUGESIZE}%
\def\tinyfonts{\vpt}\def\tinysize{\vpt\@parameterinit{-8}}%
\def\HUGEFONTS{\xxvpt}\def\HUGESIZE{\xxvpt\@parameterinit{10}}%
\normalsize\fixedskipslist}
\def\subsubscriptfonts{\vpt} \def\subsubscriptsize{\vpt\@parameterinit{-8}}
\def\subscriptfonts{\viipt} \def\subscriptsize{\viipt\@parameterinit{-4}}
\def\footnotefonts{\viiipt} \def\footnotesize{\viiipt\@parameterinit{-2}}
\def\smallfonts{\err@sizenotavailable\smallfonts}
\def\smallsize{\ixpt\@parameterinit{-1}}
\def\normalfonts{\xpt} \def\normalsize{\xpt\@parameterinit{0}}
\def\bigfonts{\xiipt} \def\bigsize{\xiipt\@parameterinit{2}}
\def\Bigfonts{\xivpt} \def\Bigsize{\xivpt\@parameterinit{4}}
\def\biggfonts{\xviipt} \def\biggsize{\xviipt\@parameterinit{6}}
\def\Biggfonts{\xxipt} \def\Biggsize{\xxipt\@parameterinit{8}}
\def\tinyfonts{\vpt} \def\tinysize{\vpt\@parameterinit{-8}}
\def\HUGEFONTS{\xxvpt} \def\HUGESIZE{\xxvpt\@parameterinit{10}}
%************************************************************
%*
%* Document layout
%*
%************************************************************
\message{document layout,}
%************** Page format *********************************
\newtoks\everyoutput \everyoutput={}
\newdimen\depthofpage
\newcount\pagenum \pagenum=0
\newdimen\oddtopmargin \newdimen\eventopmargin
\newdimen\oddleftmargin \newdimen\evenleftmargin
\newtoks\oddhead \newtoks\evenhead
\newtoks\oddfoot \newtoks\evenfoot
\def\topmargin{\afterassignment\@seteventop\oddtopmargin}
\def\leftmargin{\afterassignment\@setevenleft\oddleftmargin}
\def\head{\afterassignment\@setevenhead\oddhead}
\def\foot{\afterassignment\@setevenfoot\oddfoot}
\def\@seteventop{\eventopmargin=\oddtopmargin}
\def\@setevenleft{\evenleftmargin=\oddleftmargin}
\def\@setevenhead{\evenhead=\oddhead}
\def\@setevenfoot{\evenfoot=\oddfoot}
\def\pagenumstyle#1{\@setnumstyle\pagenum{#1}}
\newif\ifdraft
\def\draft{\drafttrue\leftmargin=.5in \overfullrule=5pt }
\def\outputstyle#1{\global\expandafter\let\expandafter
\@outputstyle\csname#1output\endcsname
\usename{#1setup}}
\output={\@outputstyle}
\def\normaloutput{\the\everyoutput
\global\advance\pagenum by\@ne
\ifodd\pagenum
\voffset=\oddtopmargin \hoffset=\oddleftmargin
\else\voffset=\eventopmargin \hoffset=\evenleftmargin
\fi
\advance\voffset by-1in \advance\hoffset by-1in
\count0=\pagenum
\expandafter\shipout\pagebox
\ifnum\outputpenalty>-\@MM\else\dosupereject\fi}
\newdimen\fullhsize
\newbox\leftpage
\newcount\leftpagenum
\newcount\outputpagenum \outputpagenum=0
\let\leftorright=L
\def\twoupoutput{\the\everyoutput
\global\advance\pagenum by\@ne
\if L\leftorright
\global\setbox\leftpage=\leftline{\pagebox}%
\global\leftpagenum=\pagenum
\global\let\leftorright=R%
\else\global\advance\outputpagenum by\@ne
\ifodd\outputpagenum
\voffset=\oddtopmargin \hoffset=\oddleftmargin
\else\voffset=\eventopmargin \hoffset=\evenleftmargin
\fi
\advance\voffset by-1in \advance\hoffset by-1in
\count0=\leftpagenum \count1=\pagenum
\shipout\vbox{\hbox to\fullhsize
{\box\leftpage\hfil\leftline{\pagebox}}}%
\global\let\leftorright=L%
\fi
\ifnum\outputpenalty>-\@MM
\else\dosupereject
\if R\leftorright
\globaldefs=\@ne\head={\hfil}\foot={\hfil}\globaldefs=\z@
\null\newpage
\fi
\fi}
\def\pagebox{\vbox{\makeheadline\pagebody\makefootline}}
\def\makeheadline{%
\vbox to\z@{\baselinestretch=\@m
\vskip\topskip\vskip-.708\baselineskip\vskip-\headskip
\line{\vbox to\ht\strutbox{}%
\ifodd\pagenum\the\oddhead\else\the\evenhead\fi}%
\vss}%
\nointerlineskip}
\def\pagebody{\vbox to\vsize{%
\boxmaxdepth\maxdepth
\ifvoid\topins\else\unvbox\topins\fi
\depthofpage=\dp255
\unvbox255
\ifraggedbottom\kern-\depthofpage\vfil\fi
\ifvoid\footins
\else\vskip\skip\footins
\footnoterule
\unvbox\footins
\vskip-\footnoteskip
\fi}}
\def\makefootline{\baselineskip=\footskip
\line{\ifodd\pagenum\the\oddfoot\else\the\evenfoot\fi}}
%************** Sectioning commands *************************
\newskip\abovechapterskip
\newskip\belowchapterskip
\newskip\abovesectionskip
\newskip\belowsectionskip
\newskip\abovesubsectionskip
\newskip\belowsubsectionskip
\def\chapterstyle#1{\global\expandafter\let\expandafter\@chapterstyle
\csname#1text\endcsname}
\def\sectionstyle#1{\global\expandafter\let\expandafter\@sectionstyle
\csname#1text\endcsname}
\def\subsectionstyle#1{\global\expandafter\let\expandafter\@subsectionstyle
\csname#1text\endcsname}
\def\chapter#1{%
\ifdim\lastskip=17sp \else\chapterbreak\vskip\abovechapterskip\fi
\@chapterstyle{\ifblank\chapternumstyle\then
\else\newchapternum=\next\chapternumformat\ \fi#1}%
\nobreak\vskip\belowchapterskip\vskip17sp }
\def\section#1{%
\ifdim\lastskip=17sp \else\sectionbreak\vskip\abovesectionskip\fi
\@sectionstyle{\ifblank\sectionnumstyle\then
\else\newsectionnum=\next\sectionnumformat\ \fi#1}%
\nobreak\vskip\belowsectionskip\vskip17sp }
\def\subsection#1{%
\ifdim\lastskip=17sp \else\subsectionbreak\vskip\abovesubsectionskip\fi
\@subsectionstyle{\ifblank\subsectionnumstyle\then
\else\newsubsectionnum=\next\subsectionnumformat\ \fi#1}%
\nobreak\vskip\belowsubsectionskip\vskip17sp }
%************** Text formatting commands ********************
\let\TeXunderline=\underline
\let\TeXoverline=\overline
\def\underline#1{\relax\ifmmode\TeXunderline{#1}\else
$\TeXunderline{\hbox{#1}}$\fi}
\def\overline#1{\relax\ifmmode\TeXoverline{#1}\else
$\TeXoverline{\hbox{#1}}$\fi}
\def\baselinestretch{\afterassignment\@baselinestretch\count@}
\def\@baselinestretch{\baselineskip=\normalbaselineskip
\divide\baselineskip by\@m\baselineskip=\count@\baselineskip
\setbox\strutbox=\hbox{\vrule
height.708\baselineskip depth.292\baselineskip width\z@}%
\bigskipamount=\the\baselineskip
plus.25\baselineskip minus.25\baselineskip
\medskipamount=.5\baselineskip
plus.125\baselineskip minus.125\baselineskip
\smallskipamount=.25\baselineskip
plus.0625\baselineskip minus.0625\baselineskip}
\def\\{\ifhmode\ifnum\lastpenalty=-\@M\else\hfil\penalty-\@M\fi\fi
\ignorespaces}
\def\newpage{\vfil\break}
\def\lefttext#1{\par{\@text\leftskip=\z@\rightskip=\centering
\noindent#1\par}}
\def\righttext#1{\par{\@text\leftskip=\centering\rightskip=\z@
\noindent#1\par}}
\def\centertext#1{\par{\@text\leftskip=\centering\rightskip=\centering
\noindent#1\par}}
\def\@text{\parindent=\z@ \parfillskip=\z@ \everypar={}%
\spaceskip=.3333em \xspaceskip=.5em
\def\\{\ifhmode\ifnum\lastpenalty=-\@M\else\penalty-\@M\fi\fi
\ignorespaces}}
\def\beginleft{\par\@text\leftskip=\z@ \rightskip=\centering}
\def\endleft{\par}
\def\beginright{\par\@text\leftskip=\centering\rightskip=\z@ }
\def\endright{\par}
\def\begincenter{\par\@text\leftskip=\centering\rightskip=\centering}
\def\endcenter{\par}
\def\beginnarrow{\defaultoption[\parindent]\@beginnarrow}
\def\@beginnarrow[#1]{\par\advance\leftskip by#1\advance\rightskip by#1}
\def\endnarrow{\par}
\begingroup
\catcode`\[=1 \catcode`\{=11 \gdef\beginignore[\endgroup\bgroup
\catcode`\e=0 \catcode`\\=12 \catcode`\{=11 \catcode`\f=12 \let\or=\relax
\let\nd{ignor=\fi \let\}=\egroup
\iffalse}
\endgroup
\long\def\marginnote#1{\leavevmode
\edef\@marginsf{\spacefactor=\the\spacefactor\relax}%
\ifdraft\strut\vadjust{%
\hbox to\z@{\hskip\hsize\hskip.1in
\vbox to\z@{\vskip-\dp\strutbox
\marginnoteformat
\vskip-\ht\strutbox
\noindent\strut#1\par
\vss}%
\hss}}%
\fi
\@marginsf}
%************** The \bye command ****************************
\newtoks\everybye \everybye={\par\vfil}
\outer\def\bye{\the\everybye
\footnotecheck
\prelabelcheck
\streamcheck
\supereject
\TeXend}
%************************************************************
%*
%* Footnotes
%*
%************************************************************
\message{footnotes,}
\newcount\footnotenum \footnotenum=0
\newskip\footnoteskip
\let\@footnotelist=\empty
\def\footnotenumstyle#1{\@setnumstyle\footnotenum{#1}%
\useafter\ifx{@footnotenumstyle}\symbols
\global\let\@footup=\empty
\else\global\let\@footup=\markup
\fi}
\def\footnote{\footnotecheck\defaultoption[]\@footnote}
\def\@footnote[#1]{\@footnotemark[#1]\@footnotetext}
\def\footnotemark{\defaultoption[]\@footnotemark}
\def\@footnotemark[#1]{\let\@footsf=\empty
\ifhmode\edef\@footsf{\spacefactor=\the\spacefactor\relax}\/\fi
\ifnoarg#1\then
\global\advance\footnotenum by\@ne
\@footup{\footnotenumformat}%
\edef\@@foota{\footnotenum=\the\footnotenum\relax}%
\expandafter\additemR\expandafter\@footup\expandafter
{\@@foota\footnotenumformat}\to\@footnotelist
\global\let\@footnotelist=\@footnotelist
\else\markup{#1}%
\additemR\markup{#1}\to\@footnotelist
\global\let\@footnotelist=\@footnotelist
\fi
\@footsf}
\def\footnotetext{%
\ifx\@footnotelist\empty\err@extrafootnotetext\else\@footnotetext\fi}
\def\@footnotetext{%
\getitemL\@footnotelist\to\@@foota
\global\let\@footnotelist=\@footnotelist
\insert\footins\bgroup
\footnoteformat
\splittopskip=\ht\strutbox\splitmaxdepth=\dp\strutbox
\interlinepenalty=\interfootnotelinepenalty\floatingpenalty=\@MM
\noindent\llap{\@@foota}\strut
\bgroup\aftergroup\@footnoteend
\let\@@scratcha=}
\def\@footnoteend{\strut\par\vskip\footnoteskip\egroup}
\def\footnoterule{\normalfonts
\kern-.3em \hrule width2in height.04em \kern .26em }
\def\footnotecheck{%
\ifx\@footnotelist\empty
\else\err@extrafootnotemark
\global\let\@footnotelist=\empty
\fi}
%************************************************************
%*
%* Labelling macros
%*
%************************************************************
\message{labels,}
\let\@@labeldef=\xdef
\newif\if@labelfile
\newwrite\@labelfile
\let\@prelabellist=\empty
\def\label#1#2{\trim#1\to\@@labarg\edef\@@labtext{#2}%
\edef\@@labname{lab@\@@labarg}%
\useafter\ifundefined\@@labname\then\else\@yeslab\fi
\useafter\@@labeldef\@@labname{#2}%
\ifstreaming
\expandafter\toks@\expandafter\expandafter\expandafter
{\csname\@@labname\endcsname}%
\immediate\write\streamout{\noexpand\label{\@@labarg}{\the\toks@}}%
\fi}
\def\@yeslab{%
\useafter\ifundefined{if\@@labname}\then
\err@labelredef\@@labarg
\else\useif{if\@@labname}\then
\err@labelredef\@@labarg
\else\global\usename{\@@labname true}%
\useafter\ifundefined{pre\@@labname}\then
\else\useafter\ifx{pre\@@labname}\@@labtext
\else\err@badlabelmatch\@@labarg
\fi
\fi
\if@labelfile
\else\global\@labelfiletrue
\immediate\write\sixt@@n{--> Creating file \jobname.lab}%
\immediate\openout\@labelfile=\jobname.lab
\fi
\immediate\write\@labelfile
{\noexpand\prelabel{\@@labarg}{\@@labtext}}%
\fi
\fi}
\def\putlab#1{\trim#1\to\@@labarg\edef\@@labname{lab@\@@labarg}%
\useafter\ifundefined\@@labname\then\@nolab\else\usename\@@labname\fi}
\def\@nolab{%
\useafter\ifundefined{pre\@@labname}\then
\undefinedlabelformat
\err@needlabel\@@labarg
\useafter\xdef\@@labname{\undefinedlabelformat}%
\else\usename{pre\@@labname}%
\useafter\xdef\@@labname{\usename{pre\@@labname}}%
\fi
\useafter\newif{if\@@labname}%
\expandafter\additemR\@@labarg\to\@prelabellist}
\def\prelabel#1{\useafter\gdef{prelab@#1}}
\def\ifundefinedlabel#1\then{%
\expandafter\ifx\csname lab@#1\endcsname\relax}
\def\useiflab#1\then{\csname iflab@#1\endcsname}
\def\prelabelcheck{{%
\def\^^\##1{\useiflab{##1}\then\else\err@undefinedlabel{##1}\fi}%
\@prelabellist}}
%************************************************************
%*
%* Equation numbering
%*
%************************************************************
\message{equation numbering,}
\newcount\chapternum
\newcount\sectionnum
\newcount\subsectionnum
\newcount\equationnum
\newcount\subequationnum
\newcount\figurenum
\newcount\subfigurenum
\newcount\tablenum
\newcount\subtablenum
\newif\if@subeqncount
\newif\if@subfigcount
\newif\if@subtblcount
\def\newchapternum{\newsectionnum=\z@\@resetnum\chapternum}
\def\newsectionnum{\newsubsectionnum=\z@\@resetnum\sectionnum}
\def\newsubsectionnum{\newequationnum=\z@\newfigurenum=\z@\newtablenum=\z@
\@resetnum\subsectionnum}
\def\newequationnum{\newsubequationnum=\z@\@resetnum\equationnum}
\def\newsubequationnum{\@resetnum\subequationnum}
\def\newfigurenum{\newsubfigurenum=\z@\@resetnum\figurenum}
\def\newsubfigurenum{\@resetnum\subfigurenum}
\def\newtablenum{\newsubtablenum=\z@\@resetnum\tablenum}
\def\newsubtablenum{\@resetnum\subtablenum}
\def\@resetnum#1{\global\advance#1by1 \edef\next{\the#1\relax}\global#1}
\newchapternum=0
\def\chapternumstyle#1{\@setnumstyle\chapternum{#1}}
\def\sectionnumstyle#1{\@setnumstyle\sectionnum{#1}}
\def\subsectionnumstyle#1{\@setnumstyle\subsectionnum{#1}}
\def\equationnumstyle#1{\@setnumstyle\equationnum{#1}}
\def\subequationnumstyle#1{\@setnumstyle\subequationnum{#1}%
\ifblank\subequationnumstyle\then\global\@subeqncountfalse\fi
\ignorespaces}
\def\figurenumstyle#1{\@setnumstyle\figurenum{#1}}
\def\subfigurenumstyle#1{\@setnumstyle\subfigurenum{#1}%
\ifblank\subfigurenumstyle\then\global\@subfigcountfalse\fi
\ignorespaces}
\def\tablenumstyle#1{\@setnumstyle\tablenum{#1}}
\def\subtablenumstyle#1{\@setnumstyle\subtablenum{#1}%
\ifblank\subtablenumstyle\then\global\@subtblcountfalse\fi
\ignorespaces}
\def\eqnlabel#1{%
\if@subeqncount
\newsubequationnum=\next
\else\newequationnum=\next
\ifblank\subequationnumstyle\then
\else\global\@subeqncounttrue
\newsubequationnum=\@ne
\fi
\fi
\label{#1}{\puteqnformat}(\puteqn{#1})%
\ifdraft\rlap{\hskip.1in{\tt#1}}\fi}
\let\puteqn=\putlab
\def\equation#1#2{\useafter\gdef{eqn@#1}{#2\eqno\eqnlabel{#1}}}
\def\Equation#1{\useafter\gdef{eqn@#1}}
\def\putequation#1{\useafter\ifundefined{eqn@#1}\then
\err@undefinedeqn{#1}\else\usename{eqn@#1}\fi}
\def\eqnseriesstyle#1{\gdef\@eqnseriesstyle{#1}}
\def\begineqnseries{\subequationnumstyle{\@eqnseriesstyle}%
\defaultoption[]\@begineqnseries}
\def\@begineqnseries[#1]{\edef\@@eqnname{#1}}
\def\endeqnseries{\subequationnumstyle{blank}%
\expandafter\ifnoarg\@@eqnname\then
\else\label\@@eqnname{\puteqnformat}%
\fi
\aftergroup\ignorespaces}
\def\figlabel#1{%
\if@subfigcount
\newsubfigurenum=\next
\else\newfigurenum=\next
\ifblank\subfigurenumstyle\then
\else\global\@subfigcounttrue
\newsubfigurenum=\@ne
\fi
\fi
\label{#1}{\putfigformat}\putfig{#1}%
{\def\marginnoteformat{\tt}\marginnote{#1}}}
\let\putfig=\putlab
\def\figseriesstyle#1{\gdef\@figseriesstyle{#1}}
\def\beginfigseries{\subfigurenumstyle{\@figseriesstyle}%
\defaultoption[]\@beginfigseries}
\def\@beginfigseries[#1]{\edef\@@figname{#1}}
\def\endfigseries{\subfigurenumstyle{blank}%
\expandafter\ifnoarg\@@figname\then
\else\label\@@figname{\putfigformat}%
\fi
\aftergroup\ignorespaces}
\def\tbllabel#1{%
\if@subtblcount
\newsubtablenum=\next
\else\newtablenum=\next
\ifblank\subtablenumstyle\then
\else\global\@subtblcounttrue
\newsubtablenum=\@ne
\fi
\fi
\label{#1}{\puttblformat}\puttbl{#1}%
{\def\marginnoteformat{\tt}\marginnote{#1}}}
\let\puttbl=\putlab
\def\tblseriesstyle#1{\gdef\@tblseriesstyle{#1}}
\def\begintblseries{\subtablenumstyle{\@tblseriesstyle}%
\defaultoption[]\@begintblseries}
\def\@begintblseries[#1]{\edef\@@tblname{#1}}
\def\endtblseries{\subtablenumstyle{blank}%
\expandafter\ifnoarg\@@tblname\then
\else\label\@@tblname{\puttblformat}%
\fi
\aftergroup\ignorespaces}
%************************************************************
%*
%* Reference numbering
%*
%************************************************************
\message{reference numbering,}
\newcount\referencenum \referencenum=0
\newcount\@@prerefcount \@@prerefcount=0
\newcount\@@thisref
\newcount\@@lastref
\newcount\@@loopref
\newcount\@@refseq
\newdimen\refnumindent
\let\@undefreflist=\empty
\def\referencenumstyle#1{\@setnumstyle\referencenum{#1}}
\def\referencestyle#1{\usename{@ref#1}}
\def\@refsequential{%
\gdef\@refpredef##1{\global\advance\referencenum by\@ne
\let\^^\=0\label{##1}{\^^\{\the\referencenum}}%
\useafter\gdef{ref@\the\referencenum}{{##1}{\undefinedlabelformat}}}%
\gdef\@reference##1##2{%
\ifundefinedlabel##1\then
\else\def\^^\####1{\global\@@thisref=####1\relax}\putlab{##1}%
\useafter\gdef{ref@\the\@@thisref}{{##1}{##2}}%
\fi}%
\gdef\endputreferences{%
\loop\ifnum\@@loopref<\referencenum
\advance\@@loopref by\@ne
\expandafter\expandafter\expandafter\@printreference
\csname ref@\the\@@loopref\endcsname
\repeat
\par}}
\def\@refpreordered{%
\gdef\@refpredef##1{\global\advance\referencenum by\@ne
\additemR##1\to\@undefreflist}%
\gdef\@reference##1##2{%
\ifundefinedlabel##1\then
\else\global\advance\@@loopref by\@ne
{\let\^^\=0\label{##1}{\^^\{\the\@@loopref}}}%
\@printreference{##1}{##2}%
\fi}
\gdef\endputreferences{%
\def\^^\####1{\useiflab{####1}\then
\else\reference{####1}{\undefinedlabelformat}\fi}%
\@undefreflist
\par}}
\def\beginprereferences{\par
\def\reference##1##2{\global\advance\referencenum by1\@ne
\let\^^\=0\label{##1}{\^^\{\the\referencenum}}%
\useafter\gdef{ref@\the\referencenum}{{##1}{##2}}}}
\def\endprereferences{\global\@@prerefcount=\the\referencenum\par}
\def\beginputreferences{\par
\refnumindent=\z@\@@loopref=\z@
\loop\ifnum\@@loopref<\referencenum
\advance\@@loopref by\@ne
\setbox\z@=\hbox{\referencenum=\@@loopref
\referencenumformat\enskip}%
\ifdim\wd\z@>\refnumindent\refnumindent=\wd\z@\fi
\repeat
\putreferenceformat
\@@loopref=\z@
\loop\ifnum\@@loopref<\@@prerefcount
\advance\@@loopref by\@ne
\expandafter\expandafter\expandafter\@printreference
\csname ref@\the\@@loopref\endcsname
\repeat
\let\reference=\@reference}
\def\@printreference#1#2{\ifx#2\undefinedlabelformat\err@undefinedref{#1}\fi
\noindent\ifdraft\rlap{\hskip\hsize\hskip.1in \tt#1}\fi
\llap{\referencenum=\@@loopref\referencenumformat\enskip}#2\par}
\def\reference#1#2{{\par\refnumindent=\z@\putreferenceformat\noindent#2\par}}
\def\putref#1{\trim#1\to\@@refarg
\expandafter\ifnoarg\@@refarg\then
\toks@={\relax}%
\else\@@lastref=-\@m\def\@@refsep{}\def\@more{\@nextref}%
\toks@={\@nextref#1,,}%
\fi\the\toks@}
\def\@nextref#1,{\trim#1\to\@@refarg
\expandafter\ifnoarg\@@refarg\then
\let\@more=\relax
\else\ifundefinedlabel\@@refarg\then
\expandafter\@refpredef\expandafter{\@@refarg}%
\fi
\def\^^\##1{\global\@@thisref=##1\relax}%
\global\@@thisref=\m@ne
\setbox\z@=\hbox{\putlab\@@refarg}%
\fi
\advance\@@lastref by\@ne
\ifnum\@@lastref=\@@thisref\advance\@@refseq by\@ne\else\@@refseq=\@ne\fi
\ifnum\@@lastref<\z@
\else\ifnum\@@refseq<\thr@@
\@@refsep\def\@@refsep{,}%
\ifnum\@@lastref>\z@
\advance\@@lastref by\m@ne
{\referencenum=\@@lastref\putrefformat}%
\else\undefinedlabelformat
\fi
\else\def\@@refsep{--}%
\fi
\fi
\@@lastref=\@@thisref
\@more}
%************************************************************
%*
%* Job streaming
%*
%************************************************************
\message{streaming,}
\newif\ifstreaming
\def\streamto{\defaultoption[\jobname]\@streamto}
\def\@streamto[#1]{\global\streamingtrue
\immediate\write\sixt@@n{--> Streaming to #1.str}%
\newwrite\streamout\immediate\openout\streamout=#1.str }
\def\streamfrom{\defaultoption[\jobname]\@streamfrom}
\def\@streamfrom[#1]{\newread\streamin\openin\streamin=#1.str
\ifeof\streamin
\expandafter\err@nostream\expandafter{#1.str}%
\else\immediate\write\sixt@@n{--> Streaming from #1.str}%
\let\@@labeldef=\gdef
\ifstreaming
\edef\@elc{\endlinechar=\the\endlinechar}%
\endlinechar=\m@ne
\loop\read\streamin to\@@scratcha
\ifeof\streamin
\streamingfalse
\else\toks@=\expandafter{\@@scratcha}%
\immediate\write\streamout{\the\toks@}%
\fi
\ifstreaming
\repeat
\@elc
\input #1.str
\streamingtrue
\else\input #1.str
\fi
\let\@@labeldef=\xdef
\fi}
\def\streamcheck{\ifstreaming
\immediate\write\streamout{\pagenum=\the\pagenum}%
\immediate\write\streamout{\footnotenum=\the\footnotenum}%
\immediate\write\streamout{\referencenum=\the\referencenum}%
\immediate\write\streamout{\chapternum=\the\chapternum}%
\immediate\write\streamout{\sectionnum=\the\sectionnum}%
\immediate\write\streamout{\subsectionnum=\the\subsectionnum}%
\immediate\write\streamout{\equationnum=\the\equationnum}%
\immediate\write\streamout{\subequationnum=\the\subequationnum}%
\immediate\write\streamout{\figurenum=\the\figurenum}%
\immediate\write\streamout{\subfigurenum=\the\subfigurenum}%
\immediate\write\streamout{\tablenum=\the\tablenum}%
\immediate\write\streamout{\subtablenum=\the\subtablenum}%
\immediate\closeout\streamout
\fi}
%************************************************************
%*
%* Error messages
%*
%************************************************************
\def\err@badtypesize{%
\errhelp={The limited availability of certain fonts requires^^J%
that the base type size be 10pt, 12pt, or 14pt.^^J}%
\errmessage{--> Illegal base type size}}
\def\err@badsizechange{\immediate\write\sixt@@n
{--> Size change not allowed in math mode, ignored}}
\def\err@sizetoolarge#1{\immediate\write\sixt@@n
{--> \noexpand#1 too big, substituting HUGE}}
\def\err@sizenotavailable#1{\immediate\write\sixt@@n
{--> Size not available, \noexpand#1 ignored}}
\def\err@fontnotavailable#1{\immediate\write\sixt@@n
{--> Font not available, \noexpand#1 ignored}}
\def\err@sltoit{\immediate\write\sixt@@n
{--> Style \noexpand\sl not available, substituting \noexpand\it}%
\it}
\def\err@bfstobf{\immediate\write\sixt@@n
{--> Style \noexpand\bfs not available, substituting \noexpand\bf}%
\bf}
\def\err@badgroup#1#2{%
\errhelp={The block you have just tried to close was not the one^^J%
most recently opened.^^J}%
\errmessage{--> \noexpand\end{#1} doesn't match \noexpand\begin{#2}}}
\def\err@badcountervalue#1{\immediate\write\sixt@@n
{--> Counter (#1) out of bounds}}
\def\err@extrafootnotemark{\immediate\write\sixt@@n
{--> \noexpand\footnotemark command
has no corresponding \noexpand\footnotetext}}
\def\err@extrafootnotetext{%
\errhelp{You have given a \noexpand\footnotetext command without first
specifying^^Ja \noexpand\footnotemark.^^J}%
\errmessage{--> \noexpand\footnotetext command has no corresponding
\noexpand\footnotemark}}
\def\err@labelredef#1{\immediate\write\sixt@@n
{--> Label "#1" redefined}}
\def\err@badlabelmatch#1{\immediate\write\sixt@@n
{--> Definition of label "#1" doesn't match value in \jobname.lab}}
\def\err@needlabel#1{\immediate\write\sixt@@n
{--> Label "#1" cited before its definition}}
\def\err@undefinedlabel#1{\immediate\write\sixt@@n
{--> Label "#1" cited but never defined}}
\def\err@undefinedeqn#1{\immediate\write\sixt@@n
{--> Equation "#1" not defined}}
\def\err@undefinedref#1{\immediate\write\sixt@@n
{--> Reference "#1" not defined}}
\def\err@nostream#1{%
\errhelp={You have tried to input a stream file that doesn't exist.^^J}%
\errmessage{--> Stream file #1 not found}}
%************************************************************
%*
%* Initialization
%*
%************************************************************
\message{jyTeX initialization}
\everyjob{\immediate\write16{--> jyTeX version \fmtversion}%
\edef\@@jobname{\jobname}%
% \openin0=\inputpath jysupp
% \ifeof0
% \else\closein0
% \immediate\write16{--> Additional macros loaded from jysupp.tex}%
% \jyinput jysupp
% \fi
% \openin0=\inputpath jylocal
% \ifeof0
% \else\closein0
% \immediate\write16{--> Additional macros loaded from jylocal.tex}%
% \jyinput jylocal
% \fi
\edef\jobname{\@@jobname}%
\settime
\openin0=\jobname.lab
\ifeof0
\else\closein0
\immediate\write16{--> Getting labels from file \jobname.lab}%
\input\jobname.lab
\fi}
%************** Spacing *************************************
\def\fixedskipslist{%
\^^\{\topskip}%
\^^\{\splittopskip}%
\^^\{\maxdepth}%
\^^\{\skip\topins}%
\^^\{\skip\footins}%
\^^\{\headskip}%
\^^\{\footskip}}
\def\scalingskipslist{%
\^^\{\p@renwd}%
\^^\{\delimitershortfall}%
\^^\{\nulldelimiterspace}%
\^^\{\scriptspace}%
\^^\{\jot}%
\^^\{\normalbaselineskip}%
\^^\{\normallineskip}%
\^^\{\normallineskiplimit}%
\^^\{\baselineskip}%
\^^\{\lineskip}%
\^^\{\lineskiplimit}%
\^^\{\bigskipamount}%
\^^\{\medskipamount}%
\^^\{\smallskipamount}%
\^^\{\parskip}%
\^^\{\parindent}%
\^^\{\abovedisplayskip}%
\^^\{\belowdisplayskip}%
\^^\{\abovedisplayshortskip}%
\^^\{\belowdisplayshortskip}%
\^^\{\abovechapterskip}%
\^^\{\belowchapterskip}%
\^^\{\abovesectionskip}%
\^^\{\belowsectionskip}%
\^^\{\abovesubsectionskip}%
\^^\{\belowsubsectionskip}}
%************** Document layout *****************************
\def\normalsetup{% % setup for normal style
\topmargin=1in
\leftmargin=1in
\vsize=8.9in
\hsize=6.5in }
\def\twoupsetup{% % setup for twoup style
\topmargin=.75in
\leftmargin=.5in
\vsize=6.9in
\hsize=4.75in
\fullhsize=10in
\let\draft=\relax}
\outputstyle{normal} % page style
\def\marginnoteformat{\subscriptsize % paragraphing of margin notes
\hsize=1in \baselinestretch=1000 \everypar={}%
\tolerance=5000 \hbadness=5000 \parskip=0pt \parindent=0pt
\leftskip=0pt \rightskip=0pt \raggedright}
\head={\ifdraft\normalfonts\it\hfil DRAFT\hfil % format of headline
\llap{\number\day\ \monthword\month\ \militarytime}\else\hfil\fi}
\foot={\hfil\normalfonts\numstyle\pagenum\hfil} % format of footline
\normalbaselineskip=12pt % usual \baselineskip
\normallineskip=0pt % usual \lineskip
\normallineskiplimit=0pt % usual \lineskiplimit
\normalbaselines % set \baselineskip
\topskip=.85\baselineskip \splittopskip=\topskip \headskip=2\baselineskip
\footskip=\headskip
\pagenumstyle{arabic} % counter style
\parskip=0pt % no skip between paragraphs
\parindent=20pt % usual \parindent
\baselinestretch=1000 % set \big-, \med-, \smallskip
%************** Sectioning **********************************
\chapterstyle{left} % position of heading
\chapternumstyle{blank} % counter style
\def\chapterbreak{\newpage} % break before heading
\abovechapterskip=0pt % space before heading
\belowchapterskip=1.5\baselineskip % space after heading
plus.38\baselineskip minus.38\baselineskip
\def\chapternumformat{\numstyle\chapternum.} % format of heading counter
\sectionstyle{left} % position of heading
\sectionnumstyle{blank} % counter style
\def\sectionbreak{\vskip0pt plus4\baselineskip\penalty-100
\vskip0pt plus-4\baselineskip} % break before heading
\abovesectionskip=1.5\baselineskip % space before heading
plus.38\baselineskip minus.38\baselineskip
\belowsectionskip=\the\baselineskip % space after heading
plus.25\baselineskip minus.25\baselineskip
\def\sectionnumformat{% % format of heading counter
\ifblank\chapternumstyle\then\else\numstyle\chapternum.\fi
\numstyle\sectionnum.}
\subsectionstyle{left} % position of heading
\subsectionnumstyle{blank} % counter style
\def\subsectionbreak{\vskip0pt plus4\baselineskip\penalty-100
\vskip0pt plus-4\baselineskip} % break before heading
\abovesubsectionskip=\the\baselineskip % space before heading
plus.25\baselineskip minus.25\baselineskip
\belowsubsectionskip=.75\baselineskip % space after heading
plus.19\baselineskip minus.19\baselineskip
\def\subsectionnumformat{% % format of heading counter
\ifblank\chapternumstyle\then\else\numstyle\chapternum.\fi
\ifblank\sectionnumstyle\then\else\numstyle\sectionnum.\fi
\numstyle\subsectionnum.}
%************** Footnotes ***********************************
\footnotenumstyle{symbols} % counter style
\footnoteskip=0pt % jyTeX spacing parameter
\def\footnotenumformat{\numstyle\footnotenum} % \footnotemark format
\def\footnoteformat{\footnotesize % paragraphing of text
\everypar={}\parskip=0pt \parfillskip=0pt plus1fil
\leftskip=1em \rightskip=0pt
\spaceskip=0pt \xspaceskip=0pt
\def\\{\ifhmode\ifnum\lastpenalty=-10000
\else\hfil\penalty-10000 \fi\fi\ignorespaces}}
%************** Labels **************************************
\def\undefinedlabelformat{$\bullet$} % mark for undefined label
%************** Equation numbering **************************
\equationnumstyle{arabic} % counter style
\subequationnumstyle{blank} % counter style
\figurenumstyle{arabic} % counter style
\subfigurenumstyle{blank} % counter style
\tablenumstyle{arabic} % counter style
\subtablenumstyle{blank} % counter style
\eqnseriesstyle{alphabetic} % sub-counter style for series
\figseriesstyle{alphabetic} % sub-counter style for series
\tblseriesstyle{alphabetic} % sub-counter style for series
\def\puteqnformat{\hbox{% % equation number format
\ifblank\chapternumstyle\then\else\numstyle\chapternum.\fi
\ifblank\sectionnumstyle\then\else\numstyle\sectionnum.\fi
\ifblank\subsectionnumstyle\then\else\numstyle\subsectionnum.\fi
\numstyle\equationnum
\numstyle\subequationnum}}
\def\putfigformat{\hbox{% % figure number format
\ifblank\chapternumstyle\then\else\numstyle\chapternum.\fi
\ifblank\sectionnumstyle\then\else\numstyle\sectionnum.\fi
\ifblank\subsectionnumstyle\then\else\numstyle\subsectionnum.\fi
\numstyle\figurenum
\numstyle\subfigurenum}}
\def\puttblformat{\hbox{% % table number format
\ifblank\chapternumstyle\then\else\numstyle\chapternum.\fi
\ifblank\sectionnumstyle\then\else\numstyle\sectionnum.\fi
\ifblank\subsectionnumstyle\then\else\numstyle\subsectionnum.\fi
\numstyle\tablenum
\numstyle\subtablenum}}
%************** Reference numbering *************************
\referencestyle{sequential} % referencing method
\referencenumstyle{arabic} % counter style
\def\putrefformat{\numstyle\referencenum} % format of reference citation
\def\referencenumformat{\numstyle\referencenum.} % format of number in list
\def\putreferenceformat{% % paragraphing of list
\everypar={\hangindent=1em \hangafter=1 }%
\def\\{\hfil\break\null\hskip-1em \ignorespaces}%
\leftskip=\refnumindent\parindent=0pt \interlinepenalty=1000 }
%************** Font initialization *************************
\normalsize
%*****************************************************************************
\def\fmtname{jytex}
\def\fmtversion{2.6M (June 1992)}
\catcode`\@=12
% ------------------ End of jytex.tex -----------------
%\input jytex.tex % available from hep-th
\typesize=10pt \magnification=1200 \baselineskip17truept
%\baselineskip25truept
\footnotenumstyle{arabic} \hsize=6truein\vsize=8.5truein
\input epsf
% \draft
%\leftmargin=1.25in
%\oddleftmargin=.5in
%\evenleftmargin=1.5in
\sectionnumstyle{blank}
\chapternumstyle{blank}
\chapternum=1
\sectionnum=1
\pagenum=0
%\referencestyle{preordered}
% title style follows
\def\begintitle{\pagenumstyle{blank}\parindent=0pt
\begin{narrow}[0.4in]}
\def\endtitle{\end{narrow}\newpage\pagenumstyle{arabic}}
% exercise style follows
\def\beginexercise{\vskip 20truept\parindent=0pt\begin{narrow}[10
truept]}
\def\endexercise{\vskip 10truept\end{narrow}}
\def\exercise#1{{\sl Exercise}: {\smallfonts{#1}}}
\def\exercisestar#1{{\sl Exercise$^*$}: {\smallfonts{#1}}}
\def\exercisestarstar#1{{\sl Exercise$^{**}$}: {\smallfonts{#1}}}
% ************** my jyTeX abbreviations *****************
\def\eql#1{\eqno\eqnlabel{#1}}
\def\ref{\reference}
\def\peq{\puteqn}
\def\pref{\putref}
\def\prefup#1{\markup{\putref{#1}}}
\def\mgn{\marginnote}
\def\bex{\begin{exercise}}
\def\eex{\end{exercise}}
\def\dst{\displaystyle}
% *********************** My definitions ************************
\font\open=msbm10 %scaled\magstep1 % For VAX. Borde p195.
\font\symb=msam10 \font\TenSans=cmss10
\def\sf{\TenSans}
\font\opens=msbm8 %scaled\magstep1 % For VAX. Borde p195.
%\font\open=msym10 %scaled\magstep1 % For Arbortxt on PC
%\font\opens=msym8 %scaled\magstep1 % For Arbortxt on PC
\font\goth=eufm10 % For Arbortxt on PC, and VAX. Borde p199
\font\ssb=cmss10
\font\smsb=cmss8
\def\StretchRtArr#1{{\count255=0\loop\relbar\joinrel\advance\count255 by1
\ifnum\count255<#1\repeat\rightarrow}}
\def\StretchLtArr#1{\,{\leftarrow\!\!\count255=0\loop\relbar
\joinrel\advance\count255 by1\ifnum\count255<#1\repeat}}
\def\StretchLRtArr#1{\,{\leftarrow\!\!\count255=0\loop\relbar\joinrel\advance
\count255 by1\ifnum\count255<#1\repeat\rightarrow\,\,}}
\def\OverArrow#1#2{\;{\buildrel #1\over{\StretchRtArr#2}}\;}
\def\equals#1{\;{\buildrel #1\over{=}}\;}
\def\OverArrowL#1#2{\;{\buildrel #1\over{\StretchLtArr#2}}\;}
\def\circleAccent{\mathaccent"7017}
\def\mbox#1{{\leavevmode\hbox{#1}}}
\def\binc#1#2{{C^{#1}_{#2}}}
\def\hspace#1{{\phantom{\mbox#1}}}
%\def\oR{{\rm\rlap I\mkern3mu R}} % Poor man's open font
\def\oR{\mbox{\open\char82}}
\def\osR{\mbox{\opens\char82}}
\def\lrcorner{\mbox{\symb\char121}}
\def\llcorner{\mbox{\symb\char120}}
\def\lrc{\,\lrcorner\,}
\def\llc{\,\llcorner\,}
%\def\oZ{\rlap{\rm Z}\mkern3mu{\rm Z}}
\def\oZ{\mbox{\open\char90}}
\def\oC{\mbox{\open\char67}}
\def\oH{\mbox{\open\char72}}
\def\oN{\mbox{\open\char78}}
\def\oQ{\mbox{\open\char81}}
\def\gC{\mbox{{\goth\char67}}}
\def\gA{\mbox{{\goth\char65}}}
\def\gB{\mbox{{\goth\char66}}}
\def\goa{\mbox{{\goth\char97}}}
\def\gob{\mbox{{\goth\char98}}}
\def\gi{\mbox{{\goth\char105}}}
\def\gj{\mbox{{\goth\char106}}}
\def\gk{\mbox{{\goth\char107}}}
\def\gl{\mbox{{\goth\char108}}}
\def\gH{\mbox{{\goth\char72}}}
\def\gL{\mbox{{\goth\char76}}}
\def\gx{\mbox{{\goth\char120}}}
\def\gD{\mbox{{\goth\char68}}}
\def\gE{\mbox{{\goth\char69}}}
\def\gK{\mbox{{\goth\char75}}}
\def\gP{\mbox{{\goth\char80}}}
\def\gQ{\mbox{{\goth\char81}}}
\def\gR{\mbox{{\goth\char82}}}
\def\gS{\mbox{{\goth\char83}}}
\def\ssa{\mbox{{\ssb\char97}}}
\def\ssk{\mbox{{\ssb\char107}}}
\def\ssi{\mbox{{\ssb\char105}}}
\def\ssj{\mbox{{\ssb\char106}}}
\def\sst{\mbox{{\ssb\char116}}}
\def\sssb{\mbox{{\ssb\char98}}}
\def\ssse{\mbox{{\ssb\char101}}}
\def\ssA{\mbox{{\ssb\char65}}}
\def\smssA{\mbox{{\smsb\char65}}}
\def\ssB{\mbox{{\ssb\char66}}}
\def\smssB{\mbox{{\smsb\char66}}}
\def\ssC{\mbox{{\ssb\char67}}}
\def\ssD{\mbox{{\ssb\char68}}}
\def\ssE{\mbox{{\ssb\char69}}}
\def\dfone{\mbox{{\ssb\char49}}}
\def\sstwo{\mbox{{\ssb\char50}}}
\def\ssthree{\mbox{{\ssb\char51}}}
\def\ssfour{\mbox{{\ssb\char52}}}
\def\smssfour{\mbox{{\smsb\char52}}}
\def\ssfive{\mbox{{\ssb\char53}}}
\def\sssix{\mbox{{\ssb\char54}}}
\def\ssseven{\mbox{{\ssb\char55}}}
\def\sseight{\mbox{{\ssb\char56}}}
\def\ssnine{\mbox{{\ssb\char57}}}
\def\sssD{\mbox{{\smsb\char68}}}
\def\ssG{\mbox{{\ssb\char71}}}
\def\ssF{\mbox{{\ssb\char70}}}
\def\ssH{\mbox{{\ssb\char72}}}
\def\sssH{\mbox{{\smsb\char72}}}
\def\ssK{\mbox{{\ssb\char75}}}
\def\ssM{\mbox{{\ssb\char77}}}
\def\ssO{\mbox{{\ssb\char79}}}
\def\ssP{\mbox{{\ssb\char80}}}
\def\ssS{\mbox{{\ssb\char83}}}
\def\ssT{\mbox{{\ssb\char84}}}
\def\ssY{\mbox{{\ssb\char89}}}
\def\sssT{\mbox{{\sf\char84}}}
\def\Ind{{\rm Ind}}
\def\rP{{\rm P}}
\def\rR{{\rm R}}
\def\bp{{\bf p}}
\def\bP{{\bf P}}
\def\rC{{\rm C}}
\def\rB{{\rm B}}
\def\rD{{\rm D}}
\def\rG{{\rm G}}
\def\ri{{\rm i}}
\def\rK{{\rm K}}
\def\rO{{\rm O}}
\def\rP{{\rm P}}
\def\rQ{{\rm Q}}
\def\rN{{\rm N}}
\def\rS{{\rm S}}
\def\rHS{{\rm HS}}
\def\rU{{\rm U}}
\def\rV{{\rm V}}
\def\rH{{\rm H}}
\def\rZ{{\rm Z}}
\def\rX{{\rm X}}
\def\al{\alpha}
\def\bal{{\bmit\alpha}} %in jyTeX
\def\btau{{\bmit\tau}} %in jyTeX
\def\bbe{{\bmit\beta}} %in jyTeX
\def\bga{{\bmit\gamma}} %in jyTeX
\def\bga{{\bmit\gamma}} %in jyTeX
\def\bmu{{\bmit\mu}} %in jyTeX
\def\brho{{\bmit\rho}} %in jyTeX
\def\bsig{{\bmit\sigma}} %in jyTeX
\def\bep{{\bmit\epsilon}} %in jyTeX
\def\bphi{{\bmit\varphi}} %in jyTeX
\def\bpsi{{\bmit\psi}} %in jyTeX
\def\bfeta{{\bmit\eta}} %in jyTeX
\def\bth{{\bmit\theta}} %in jyTeX
\def\bka{{\bmit\kappa}}% in jyTeX
\def\bxi{{\bmit\xi}}% in jyTeX
\def\bbeta{{\bmit\eta}}% in jyTeX
\def\bom{{\bmit\omega}}% in jyTeX
\def\bDe{{\bmit\Delta}}% in jyTeX
\def\be{\beta}
\def\ga{\gamma}
\def\de{\delta}
\def\Ga{\Gamma}
\def\gar{\ga_{{}_R}}
\def\gal{\ga_{{}_L}}
\def\ep{\epsilon}
\def\io{\iota}
\def\ka{\kappa}
\def\la{\lambda}
\def\La{\Lambda}
\def\om{\omega}
\def\Om{\Omega}
\def\vphi{\varphi}
\def\si{\sigma}
\def\Si{\Sigma}
\def\th{\theta}
\def\Th{\Theta}
\def\ze{\zeta}
\def\bze{{\bmit\zeta}}
\def\De{\Delta}
\def\cau{{\cal U}}
\def\caL{{\cal L}}
\def\caN{{\cal N}}
\def\call{{\cal l}}
\def\caC{{\cal C}}
\def\caE{{\cal E}}
\def\caF{{\cal F}}
\def\caG{{\cal G}}
\def\caK{{\cal K}}
\def\caR{{\cal R}}
\def\caD{{\cal D}}
\def\caP{{\cal P}}
\def\caY{{\cal Y}}
\def\caS{{\cal S}}
\def\caH{{\cal H}}
\def\det{{\rm det\,}}
\def\Alt{{\rm Alt\,}}
\def\alt{{\rm alt\,}}
\def\Det{{\rm Det\,}}
\def\Real{{\rm Re\,}}
\def\li{{\rm li}}
\def\zs{{\rm zs }}
\def\dc{{\rm dc }}
\def\dn{{\rm dn }}
\def\cs{{\rm cs }}
\def\sn{{\rm sn }}
\def\sc{{\rm sc }}
\def\nc{{\rm nc }}
\def\cn{{\rm cn }}
\def\ns{{\rm ns }}
\def\ds{{\rm ds }}
\def\sd{{\rm sd }}
\def\capp{{\rm cap}}
\def\slice{{\rm slice}}
\def\shell{{\rm shell}}
\def\ball{{\rm ball}}
\def\Imag{{\rm Im\,}}
\def\Res{{\rm Res\,}}
\def\zf{$\zeta$--function}
\def\zfs{$\zeta$--functions}
\def\hk{heat-kernel}
\def\noa{\noalign{\vskip 5truept}}
\def\nl{\hfil\break} % Newline
\def\ft#1#2{{\textstyle{{#1}\over{#2}}}}
\def\frac#1/#2{\leavevmode\kern.1em
\raise.5ex\hbox{\the\scriptfont0 #1}\kern-.1em/\kern-.15em
\lower.25ex\hbox{\the\scriptfont0 #2}}
\def\sfrac#1/#2{\leavevmode\kern.1em
\raise.5ex\hbox{\the\scriptscriptfont0 #1}\kern-.1em/\kern-.15em
\lower.25ex\hbox{\the\scriptscriptfont0 #2}}
\def\half{{1\over 2}}
\def\gtorder{\mathrel{\raise.3ex\hbox{$>$}\mkern-14mu
\lower0.6ex\hbox{$\sim$}}}
\def\ltorder{\mathrel{\raise.3ex\hbox{$<$}\mkern-14mu
\lower0.6ex\hbox{$\sim$}}}
\def\ft#1#2{{\textstyle{{#1}\over{#2}}}}
\def\semidirprod{\rlap{\ss C}\raise1pt\hbox{$\mkern.75mu\times$}}
\def\for{\lower6pt\hbox{$\Big|$}}
\def\fish{\kern-.25em{\phantom{abcde}\over \phantom{abcde}}\kern-.25em}
\def\dg{$^\dagger$}
\def\ddg{$^\ddagger$}
\def\dddot#1{{\dot{\phantom{#1}}\!\!\dot#1\!\!\dot{\phantom{#1}}}} %triple
%dot
\def\nddot#1{{\dot{\phantom{#1}}\!\!\!#1\!\!\!\dot{\phantom{#1}}}} %double
%dot
\def\sddot#1{{\dot{\phantom{#1}}\!\!#1\!\!\dot{\phantom{#1}}}} %double dot
%for small #1
\def\boxit#1{\vbox{\hrule\hbox{\vrule\kern3pt
\vbox{\kern3pt#1\kern3pt}\kern3pt\vrule}\hrule}}
\def\dalemb#1#2{{\vbox{\hrule height .#2pt
\hbox{\vrule width.#2pt height#1pt \kern#1pt \vrule
width.#2pt} \hrule height.#2pt}}}
\def\square{\mathord{\dalemb{5.9}{6}\hbox{\hskip1pt}}}
\def\textsum{{\textstyle \sum}}
\def\undertext#1{$\underline{\smash{\hbox{#1}}}$}
\def\underscore#1{$\underline{\vphantom{y}\hbox{#1}}$}
\def\ol{\overline}
\def\dst{{|\!|}} %double stroke
\def\frac#1#2{{{#1}\over{#2}}}
\def\cd#1{{}_{\dst #1}} %lower covariant deriv.
\def\ucd#1{{}^{\dst #1}} %upper covariant deriv.
\def\cdc#1{{}_{; #1}} %lower covariant deriv semicolon.
\def\od#1{{}_{|#1}} %lower ordinary deriv.
\def\odc#1{{}_{,#1}} %lower ordinary deriv comma.
\def\fra#1#2{{{d #1}\over {d #2}}}
\def\brafra#1#2{\left({{d #1}\over {d #2}}\right)}
\def\pafra#1#2{{\pa#1\over\pa#2}}
\def\noin{\noindent}
\def\Hom{\rm Hom}
\def\Sch{Schwarzschild }
\def\wPi{{\widehat\Pi}}
\def\Con#1#2#3{{\Gamma^{#1}}_{#2#3}} %Connection
\def\Cond#1#2#3{{\Gamma'^{#1}}_{#2#3}} %Connection'
\def\comb#1#2{{\left(#1\atop#2\right)}}
\def\Lam#1#2{{\Lambda_{#1}}^{#2}}
\def\Lami#1#2{{\Lambda^{#1}}_{#2}}
\def\cosech{{\rm cosech\,}}
\def\cosec{{\rm cosec\,}}
\def\sech{{\rm sech\,}}
\def\tanh{{\rm tanh\,}}
\def\etc{{\it etc.}}
\def\viz{{\it viz.}}
\def\eg{{\it e.g.}}
\def\ie{{\it i.e. }}
\def\cf{{\it cf }}
\def\pa{\partial}
\def\bra#1{\langle#1\mid}
\def\ket#1{\mid#1\rangle}
\def\kett#1{\mid#1\rangle\rangle}
\def\av#1{\langle#1\rangle} %gives average <#1>
\def\tav#1{\langle\langle#1\rangle\rangle} %gives thermal average <<#1>>
\def\br#1#2{\langle{#1}\mid{#2}\rangle} %gives bracket <#1|#2>
\def\brc#1#2{\langle{#1},{#2}\rangle} %gives comma bracket <#1,#2>
\def\rbrc#1#2{({#1}\,,\,{#2})} %gives round bracket (#1,#2)
\def\rbr#1#2{({#1}\mid{#2})} %gives round bracket (#1,|#2)
\def\bbr#1#2{\big\langle{#1}\mid{#2}\big\rangle} %gives big bracket <#1|#2>
\def\me#1#2#3{\langle{#1}\mid\!{#2}\!\mid{#3}\rangle} %gives
%matrix element <#1|#2|#3>
\def\rme#1#2#3{\langle{#1}\mid\mid\!{#2}\!\mid\mid{#3}\rangle}
%gives reduced matrix element
%<#1||#2||#3>
\def\Epz#1#2#3#4{{Z\left|{#1\atop#3}{#2\atop#4}\right|}}
\def\dEpz#1#2#3#4{{Z'\left|{#1\atop#3}{#2\atop#4}\right|}}
\def\sup#1{$^{#1}$}
\def\gapp{\vskip 40truept}
\def\gap{\vskip 20truept}
\def\sgap{\vskip 15truept}
\def\ssgap{\vskip 10truept}
\def\sssgap{\vskip 5truept}
\def\Der#1{{{D}_{}}_{\!#1}\!}
\def\Tr{{\rm Tr\,}}
\def\tr{{\rm tr\,}}
\def\diag{{\rm diag\,}}
\def\mtilde{\widetilde{\bf m}}
\def\wP{{\widehat P}}
\def\wR{{\widehat R}}
\def\wh{\widehat}
\def\wt{\widetilde}
\def\Wbar{\overline W}
\def\Wbaru{\underline W}
\def\Lbar{\bar L}
\def\vbar{{\bar v}}
\def\sssbar{{\bar w}}
\def\llbar{\bar l}
\def\lbar{\overline l}
\def\Jbar{\bar J}
\def\jbar{\overline j}
\def\Kbar{\bar K}
\def\ren{{\rm ren}}
\def\curl{{\rm curl\,}}
\def\div{{\rm div\,}}
\def\grad{{\rm grad\,}}
\def\dder#1{{{\nabla}_{}}_{\!#1}\!}
\def\sumdash#1{{\mathop{{\sum}'}_{#1}}}
\def\sumdasht#1#2{{\mathop{{\sum}'}_{#1}^{#2}}}
\def\sumstart#1#2{{\mathop{{\sum}^*}_{#1}^{#2}}}
\def\sumstar#1{{\mathop{{\sum}^*_{#1}}}}
\def\prodstar#1{{\mathop{{\prod}^*_{#1}}}}
\def\ttimes{\!\times\!}
\def\drdel{\Delta_{\rm deR}}
\def\sect{{\vskip 10truept\noindent}}
\def\Threej#1#2#3#4#5#6{\biggl({#1\atop#4}{#2\atop#5}{#3\atop#6}\biggr)}
\def\threej#1#2#3#4#5#6{\bigl({#1\atop#4}{#2\atop#5}{#3\atop#6}\bigr)}
\def\3j#1#2#3#4#5#6{\left\lgroup\matrix{#1\cr#4\cr}
\right\rgroup}
\def\sixj#1#2#3#4#5#6{\left\{\matrix{\!#1&\!\!
\!#2&\!\!\!#3\!\cr\!#4&\!\!\!#5&\!\!\!#6\!\cr}\right\}}
\def\ninej#1#2#3#4#5#6#7#8#9{\left\{\matrix{\!#1&\!#2&\!\!#3\!\cr\!#4&
\!#5& \!\!#6\cr\!#7&\!#8&\!\!#9\!\cr}\right\}}
\def\caz{{\cal Z}}
\def\cat{{\cal T}}
\def\man{{\cal M}}
\def\caI{{\cal I}}
\def\mwilde{{\widetilde{\cal M}}}
\def\can{{\cal N}}
\def\nwilde{{\widetilde{\cal N}}}
\def\fd{{\cal F}}
\def\psitilde{{\tilde\psi}}\def\phitilde{{\tilde\phi}}
\def\qtilde{{\tilde q}}
\def\bga{{\bmit\ga}}
\def\m?{\mgn{?}}
% KK's defs
\def\pnenj{\prod_{j=1}^p\nu_j}
\def\intsi{\int\limits_{\Sigma}d\sigma_x\,\,}
\def\back{\bar{\Phi}}
\def\coba{\bar{\Phi}^{\dagger}}
\def\abl{\partial}
\def\pa{\partial}
\def\qpi{(4\pi)^{\frac{q+1} 2}}
\def\snenp{\sum_{n_1,...,n_p=0}^{\infty}}
\def\tint{\int\limits_0^{\infty}dt\,\,}
\def\beq{\begin{eqnarray}}
\def\eeq{\end{eqnarray}}
\def\zb{\zeta_{{\cal B}}(}
\def\rzb{\Res\,\,\zb}
\def\zn{\zeta_{{\cal N}}\left(}
\def\rzn{\Res\,\,\zn}
\def\fr{\frac}
\def\sip{\frac{\sin (\pi s)}{\pi}}
\def\rzs{R^{2s}}
\def\g{\Gamma\left(}
\def\ikma{\int\limits_{\ga}\frac{dk}{2\pi i}k^{-2s}\frac{\pa}{\pa k}}
\def\suani{\sum_{a=0}^i}
\def\zem{\zeta_{{\cal M}}}
\def\hem{A^{\cam}}
\def\hen{A^{\can}}
\def\pold{D^{(d-1)}}
\def\zesd{\zeta_{S^d}}
\def\fac{\frac{(4\pi)^{D/2}}{a^d|S^d|}}
\def\sri{\sum_{i=1}^ d r_i}
\def\pri{\prod_{i=1}^d r_i}
\def\ber{B^{(d)}}
\def\ar{a|\vec r )}
% ******************* Journal refs **********************
\def\aop#1#2#3{{\it Ann. Phys.} {\bf {#1}} ({#2}) #3}
\def\cjp#1#2#3{{\it Can. J. Phys.} {\bf {#1}} ({#2}) #3}
\def\cmp#1#2#3{{\it Comm. Math. Phys.} {\bf {#1}} ({#2}) #3}
\def\cqg#1#2#3{{\it Class. Quant. Grav.} {\bf {#1}} ({#2}) #3}
\def\jcp#1#2#3{{\it J. Chem. Phys.} {\bf {#1}} ({#2}) #3}
\def\ijmp#1#2#3{{\it Int. J. Mod. Phys.} {\bf {#1}} ({#2}) #3}
\def\jgp#1#2#3{{\it J. Geom. and Phys.} {\bf {#1}} ({#2}) #3}
\def\jmp#1#2#3{{\it J. Math. Phys.} {\bf {#1}} ({#2}) #3}
\def\jpa#1#2#3{{\it J. Phys.} {\bf A{#1}} ({#2}) #3}
\def\jpc#1#2#3{{\it J. Phys.} {\bf C{#1}} ({#2}) #3}
\def\lnm#1#2#3{{\it Lect. Notes Math.} {\bf {#1}} ({#2}) #3}
\def\mplA#1#2#3{{\it Mod. Phys. Lett.} {\bf A{#1}} ({#2}) #3}
\def\np#1#2#3{{\it Nucl. Phys.} {\bf B{#1}} ({#2}) #3}
\def\npa#1#2#3{{\it Nucl. Phys.} {\bf A{#1}} ({#2}) #3}
\def\pl#1#2#3{{\it Phys. Lett.} {\bf {#1}} ({#2}) #3}
\def\phm#1#2#3{{\it Phil.Mag.} {\bf {#1}} ({#2}) #3}
\def\prp#1#2#3{{\it Phys. Rep.} {\bf {#1}} ({#2}) #3}
\def\pr#1#2#3{{\it Phys. Rev.} {\bf {#1}} ({#2}) #3}
\def\prA#1#2#3{{\it Phys. Rev.} {\bf A{#1}} ({#2}) #3}
\def\prB#1#2#3{{\it Phys. Rev.} {\bf B{#1}} ({#2}) #3}
\def\prD#1#2#3{{\it Phys. Rev.} {\bf D{#1}} ({#2}) #3}
\def\prl#1#2#3{{\it Phys. Rev. Lett.} {\bf #1} ({#2}) #3}
\def\ptp#1#2#3{{\it Prog. Theor. Phys.} {\bf #1} ({#2}) #3}
\def\tmp#1#2#3{{\it Theor. Mat. Phys.} {\bf #1} ({#2}) #3}
\def\rmp#1#2#3{{\it Rev. Mod. Phys.} {\bf {#1}} ({#2}) #3}
\def\zfn#1#2#3{{\it Z. f. Naturf.} {\bf {#1}} ({#2}) #3}
\def\zfp#1#2#3{{\it Z. f. Phys.} {\bf {#1}} ({#2}) #3}
\def\asens#1#2#3{{\it Ann. Sci. \'Ecole Norm. Sup. (Paris)} {\bf{#1}}
(#2) #3}
\def\aihp#1#2#3{{\it Ann. Inst. H. Poincar\'e (Paris)} {\bf{#1}} (#2) #3}
\def\cras#1#2#3{{\it Comptes Rend. Acad. Sci. (Paris)} {\bf{#1}} (#2) #3}
\def\prs#1#2#3{{\it Proc. Roy. Soc.} {\bf A{#1}} ({#2}) #3}
\def\pcps#1#2#3{{\it Proc. Camb. Phil. Soc.} {\bf{#1}} ({#2}) #3}
\def\mpcps#1#2#3{{\it Math. Proc. Camb. Phil. Soc.} {\bf{#1}} ({#2}) #3}
\def\amsh#1#2#3{{\it Abh. Math. Sem. Ham.} {\bf {#1}} ({#2}) #3}
\def\am#1#2#3{{\it Acta Mathematica} {\bf {#1}} ({#2}) #3}
\def\aim#1#2#3{{\it Adv. in Math.} {\bf {#1}} ({#2}) #3}
\def\ajm#1#2#3{{\it Am. J. Math.} {\bf {#1}} ({#2}) #3}
\def\amm#1#2#3{{\it Am. Math. Mon.} {\bf {#1}} ({#2}) #3}
\def\adm#1#2#3{{\it Ann. der Math.} {\bf {#1}} ({#2}) #3}
\def\aom#1#2#3{{\it Ann. of Math.} {\bf {#1}} ({#2}) #3}
\def\cjm#1#2#3{{\it Can. J. Math.} {\bf {#1}} ({#2}) #3}
\def\bams#1#2#3{{\it Bull.Am.Math.Soc.} {\bf {#1}} ({#2}) #3}
\def\cpde#1#2#3{{\it Comm. Partial Diff. Equns.} {\bf {#1}} ({#2}) #3}
\def\cmh#1#2#3{{\it Comm. Math. Helv.} {\bf {#1}} ({#2}) #3}
\def\cm#1#2#3{{\it Compos. Math.} {\bf {#1}} ({#2}) #3}
\def\dmj#1#2#3{{\it Duke Math. J.} {\bf {#1}} ({#2}) #3}
\def\invm#1#2#3{{\it Invent. Math.} {\bf {#1}} ({#2}) #3}
\def\ijpam#1#2#3{{\it Ind. J. Pure and Appl. Math.} {\bf {#1}} ({#2}) #3}
\def\jdg#1#2#3{{\it J. Diff. Geom.} {\bf {#1}} ({#2}) #3}
\def\jfa#1#2#3{{\it J. Func. Anal.} {\bf {#1}} ({#2}) #3}
\def\joa#1#2#3{{\it J. of Algebra} {\bf {#1}} ({#2}) #3}
\def\jpamt#1#2#3{{\it J. Phys.A:Math.Theor.} {\bf{#1}} ({#2}) #3}
\def\jram#1#2#3{{\it J. f. reine u. Angew. Math.} {\bf {#1}} ({#2}) #3}
\def\jims#1#2#3{{\it J. Indian. Math. Soc.} {\bf {#1}} ({#2}) #3}
\def\jlms#1#2#3{{\it J. Lond. Math. Soc.} {\bf {#1}} ({#2}) #3}
\def\jmpa#1#2#3{{\it J. Math. Pures. Appl.} {\bf {#1}} ({#2}) #3}
\def\ma#1#2#3{{\it Math. Ann.} {\bf {#1}} ({#2}) #3}
\def\mom#1#2#3{{\it Messenger of Math.} {\bf {#1}} ({#2}) #3}
\def\mz#1#2#3{{\it Math. Zeit.} {\bf {#1}} ({#2}) #3}
\def\ojm#1#2#3{{\it Osaka J.Math.} {\bf {#1}} ({#2}) #3}
\def\pams#1#2#3{{\it Proc. Am. Math. Soc.} {\bf {#1}} ({#2}) #3}
\def\pems#1#2#3{{\it Proc. Edin. Math. Soc.} {\bf {#1}} ({#2}) #3}
\def\pja#1#2#3{{\it Proc. Jap. Acad.} {\bf {A#1}} ({#2}) #3}
\def\plb#1#2#3{{\it Phys. Letts.} {\bf {B#1}} ({#2}) #3}
\def\pla#1#2#3{{\it Phys. Letts.} {\bf {A#1}} ({#2}) #3}
\def\plms#1#2#3{{\it Proc. Lond. Math. Soc.} {\bf {#1}} ({#2}) #3}
\def\pgma#1#2#3{{\it Proc. Glasgow Math. Ass.} {\bf {#1}} ({#2}) #3}
\def\qjm#1#2#3{{\it Quart. J. Math.} {\bf {#1}} ({#2}) #3}
\def\qjpam#1#2#3{{\it Quart. J. Pure and Appl. Math.} {\bf {#1}} ({#2}) #3}
\def\rcmp#1#2#3{{\it Rend. Circ. Mat. Palermo} {\bf {#1}} ({#2}) #3}
\def\rmjm#1#2#3{{\it Rocky Mountain J. Math.} {\bf {#1}} ({#2}) #3}
\def\rms#1#2#3{{\it Russ. Math. Surveys} {\bf {#1}} ({#2}) #3}
\def\top#1#2#3{{\it Topology} {\bf {#1}} ({#2}) #3}
\def\tams#1#2#3{{\it Trans.Am.Math.Soc.} {\bf {#1}} ({#2}) #3}
\def\zfm#1#2#3{{\it Z.f.Math.} {\bf {#1}} ({#2}) #3}
% ******************* Main text *********************
\begin{title}
\vglue 0.5truein
%\righttext {MUTP/96/23}
%\righttext{hep-th/96}
\vskip15truept
%\leftline{\today}
%\vskip 30truept
\centertext {\Bigfonts \bf Conformal weights of charged R\'enyi entropy} \vskip7truept
\vskip10truept\centertext{\Bigfonts \bf twist operators for free Dirac fields} \vskip17truept
\centertext{\Bigfonts \bf in arbitrary dimensions}
\vskip 20truept
\centertext{J.S.Dowker\footnote{ dowker@man.ac.uk; dowkeruk@yahoo.co.uk}} \vskip
7truept \centertext{\it Theory Group,} \centertext{\it School of Physics and Astronomy,}
\centertext{\it The University of Manchester,} \centertext{\it Manchester, England} \vskip
7truept \centertext{}
\vskip 7truept
\vskip40truept
\begin{narrow}
The conformal weights of spherical twist operators at non--zero (Euclidean) chemical
potential are computed for free Dirac fields in arbitrary dimensions. An image technique,
equivalent to replicas, is again used to obtain the $n$--fold cover quantities.
The proof of a conjecture made by Bueno, Myers and Witczac--Krempa regarding the
relation between the conformal weights and a corner coefficient in the R\'enyi entropy,
given before for scalar fields, is extended to the fermion case.
The variation of the weights with chemical potential indicates phase changes.
\end{narrow}
\vskip 5truept
%\righttext {August 1996}
\vskip 60truept
%\righttext{Typeset in \jyTeX}
\vfil
\end{title}
\pagenum=0
\newpage
\section{\bf 1. Introduction and summary.}
This is a companion work to an earlier one, [\pref{dowtwist}], on scalar fields and is
devoted to Dirac fields. The object remains the same, \ie\ to compute the conformal
weights of spherical twist operators at non--zero (Euclidean) chemical potential for
arbitrary (even and odd) dimensions for free fields. Bueno, Myers and Witczak--Krempa,
[\pref{BMW}], discovered an interesting `duality' relation connecting boson and fermion
quantities (at zero chemical potential), and would be interesting to pursue this.
The method is precisely that employed before, apart from the different kinematics and
statistics, so some of the details can be glossed over. A portion of the analysis already
exists in [\pref{Dowconearb}].
\section{\bf 2. The basics}
The calculations are usually performed by conformal transformation from the original flat
space spherical entangling geometry to the hyperbolic cylinder. The conformal weights of
the spherical twist operators are then given in terms of the energy density on this
manifold, \eg\ [\pref{B}]. By a further conformal transformation (or directly) this can be
written in terms of the energy density on the (Euclideanised) cosmic string space, which
has the $d$--dimensional metric
$$
ds^2=dr^2+r^2 d\phi^2+ d{\bf z.}d{\bf z}\,,
\eql{metric}
$$
with $\phi$ ranging from $0$ to $2\pi/q$ (= cone angle, $\be$), the end points being
identified. The average, $\av{T_{zz}}$, has the structure,
$$
\av{T_{zz}(q,\mu)}={N(q,\mu)\over r^d}
\eql{av}
$$
and the conformal weight, $h_n$, can be written,
$$
h_n(\mu)=2\pi n N(q,\mu)\,.
\eql{cw}
$$
The factor of $r^d$ has cancelled during the conformal transformation. $T=1/\be=q/2\pi$
is interpreted as a temperature and, to accord with other notations, I have set $n=1/q$.
In obtaining this formula, I have made the renormalisation choice that all quantities
vanish when $q=1$ and $\mu=0$, which is just flat Euclidean space.
The chemical potential, $\mu$, can be introduced, in one gauge frame, by a modification
of the fermionic periodicity conditions to
$$
\psi(\phi+\be)=-e^{2\pi i\de}\,\psi(\phi)=e^{2\pi i(\de\pm1/2)}\psi(\phi)\,.
$$
The average (\peq{av}) is with respect to such fields. The basic problem is the evaluation of
this average. For the relation between $\de$ and the chemical potential see section 7.
\section{\bf3. The calculation}
The average has been evaluated, for 4 dimensions, in [\pref{Dowconearb}], where it is
denoted $\av{T_{00}}$.\footnote( When Euclideanised, the `$t$' coordinate becomes one
of the ${\bf z}$ coordinates in (\peq{metric}).} I repeat some of the analysis but for a
$d$--dimensional space--time. To avoid confusion, I will maintain the Lorentzian
signature of [\pref{Dowconearb}] for a while. Hence I now set,
$$\eqalign{
ds^2&=dt^2 -dr^2-r^2 d\phi^2- d{\bf z.}d{\bf z}\,,\cr
}
\eql{metric2}
$$
written, equivalently, in terms of an angle, $\ol\phi$, having the physical range
$0\le\ol\phi\le2\pi$, as,
$$\eqalign{
ds^2=dt^2 -dr^2-r^2 \bigg({\be\over2\pi}\bigg)^2\,d\ol\phi^2- d{\bf z.}d{\bf z}
&\equiv g_{\mu\nu}dx^\mu\,dx^\nu\,,
}
\eql{metric3}
$$
which can be treated in the conventional way. I can refer to the (artificial) coordinates in
(\peq{metric2}) as `flat' coordinates.
All the main analytical activity takes place in the conical, ($t,r,\ol\phi$), part of the space,
the remaining ${\bf z}$ coordinates being spectators. I henceforth drop explicit reference
to them.
The main difference to [\pref{Dowconearb}] is in the kinematics. The massless equation
is written in the Dirac form,
$$
i\ga^\mu\,\nabla_\mu\psi=0\,,
\eql{weyl}
$$
where the $\ga^\mu$ are generally covariant matrices corresponding to a particular choice
of Vielbeine which, generally, locally diagonalise the metric $g_{\mu\nu}$ to Minkowski
form, $\eta_{\mu'\nu'}$ of signature $(1,-1,\dots,-1)$.
The spin covariant derivative is $\nabla_\mu=\pa_\mu+\Ga_\mu$ with the conical
connection $\Ga$ given by, [\pref{dowsignch}],
$$
\Ga_0=0\,,\quad\Ga_r=0\,,\quad \Ga_\phi={\be\over2\pi}\ga^{1'}\ga^{2'}
$$
where $\ga^{1'}\ga^{2'}/2$ is the Dirac generator of rotations perpendicular to the ${\bf
z}$ manifold \ie in the $(r,\ol\phi)$ plane. The local Vielbeine axes have been chosen
parallel to the local $t,r,\ol\phi,{\bf z}$ coordinate axes and the $\ga^{\mu'}$ can be
taken to be any standard set of Minkowski gamma matrices (in odd and even dimensions).
The formal considerations in [\pref{Dowconearb}] are mostly unchanged. Their essential
point is that a spin gauge transformation (a rotation) converts the curved space
$\ga^\mu$ to their standard flat space form and also the covariant derivatives in the
equations of motion (\peq{weyl}) to ordinary ones. This corresponds to replacing the
spinor connection by an altered periodicity which eases the calculation. It amounts to a
transfer to the flat metric, (\peq{metric2}).
The result is that the spinor Green function on the cone is given by
$$
S_\be(x,x')=i\ga^{\mu'}\,\pa_{\mu'} D_\be(x,x')
\eql{ess}
$$
where $D_\be$ is a matrix, and is the analogue of the scalar Green function, $D$, in the
usual Minkowski theory.
It is given by the contour integral,
$$
D_\be(x,x')=\int_A d\al\, D(\phi-\phi'+\al)\,U(\al)\,{e^{2\pi\,i\de\al/\be}
\over2i\be\,\sin(\pi\al/\be)}\,.
\eql{cint}
$$
The matrix nature of $D_\be$ is contained in $U(\al) $ which is the standard Dirac
rotation matrix for a rotation through $\al$ about the cone axis. Its form is textbook,
$$
U(\al)={\bf1}\cos{\al\over2}+\ga^{1'}\,\ga^{2'}\sin{\al\over2}\,.
\eql{yew}
$$
$D(x,x')$ is the usual, $d$--dimensional Minkowski scalar Green function given by (I
display only the polar angle),
$$
D(\phi-\phi')=-{i\over4}\pi^{-d/2}\,\Ga(d/2-1)\,{1\over(\si^2+i0)^{d/2-1}}\,,
\eql{dee}
$$
where $\si^2$ is the space--time interval between $x$ and $x'$ ,
$$\eqalign{
\si^2&=-(t-t')^2+r'^2+r^2-2rr'\cos(\phi-\phi')+|{\bf z-z'}|^2\,,\cr
}
\eql{sig}
$$
chosen positive for space--like separation. The phases, \etc\ , are given by Gelfand and
Shilov, [\pref{GandS}], p.280 eqn.(5) with $K_1=-D$, according to the conventions of
[\pref{BandS}]
A phase change, $\de$, has been incorporated so that as, say, $\phi' $ is increased by
$\be$, $S_\be$ undergoes a phase change of $-\exp(2\pi i\de)$ required in order to
incorporate a chemical potential.
$A$ is Sommerfeld's contour. For conciseness I appeal to other discussions for its exact
location, [\pref{Dowcascone,Dowcone}]. The advantage is that a simple deformation
immediately extracts the Minkowski spinor Green function as a renormalisation and leaves
an integral over another contour, $\Ga$, that can consist of two vertical lines
$c\pm\infty\,\cup\, -c\pm\infty$. I note that the contours $A$ and $\Ga$ are antisymmetric
under $\al\to-\al$ and so the integrand has to be similarly antisymmetric.
The vacuum average, $\av{T_{00}}$, is given by the coincidence limit (denoted by square
brackets),
$$
\av{T_{00}}=-[\Tr\ga^0\pa_0\,S_\be]\,.
\eql{t00}
$$
Substitution of (\peq{ess}), (\peq{yew}) into (\peq{cint}) (with the contour $A$ replaced
by $\Ga$), taking the trace and using the antisymmetry of the integrand leaves only time
derivatives so that all other coincidence limits can be taken at once and then,
$$
\av{T_{00}}=-\caS\,i\,\int_\Ga d\al\,[\pa_0\pa_0D(\al)]\,
{\cos(\al/2)\cos(2\pi\de\al/\be)\over 2\be i\sin(\pi\al/\be)}\,,
$$
where $\caS$ is the dimension of the $\ga$--matrices.
The remaining coincidence limit can be found from (\peq{dee}) and (\peq{sig}) where now
$$
\si(\al)=4r^2\sin^2{\al\over2}-(t-t')^2\,.
$$
The result is the expression,
$$
\av{T_{00}}(q,\de)=-\caS\,q{1\over r^d}{\Ga(d/2)\over\pi^{d/2+1}2^{d+2}}
\bigg[W_d(q,(q+1)/2q+\de)+W_d(q,(q+1)/2q-\de)\bigg]\,,
\eql{t00f}
$$
where, to agree with an earlier definition,
$$
W_d(q,\de)={i\over4}\int_\Ga d\al{\cos(q\ol\de\al)\over\sin^d(\al/2)\sin(q\al/2)}\,,
\eql{wd3}
$$
with $\ol\de\equiv\de-1/2$. $\de$ is the flux.
It is important to remark that $W_d(q,(q+1)/2q\pm\de)$ is periodic in $\de$ with unit cell
$-1/2<\de\le1/2$ which choice maintains the necessary symmetry under $\de\to-\de$.
There are now several ways of proceeding, exactly as in the scalar case, because the
integral (\peq{wd3}) has there been evaluated and the calculation here is merely one of
gathering terms and imposing the requisite periodicity. For even $d$ a closed form can be
found for all cone openings and chemical potential. I will not pursue this at the moment.
Alternatively, if there is no conical singularity \ie if $q=1$, then closed forms exist for all
$\de$ for both even and odd dimension. It is then possible to find $\av{T_{00}}$ for all
{\it integer} coverings of the plane by applying images. It is this path I wish to follow
first.
\section{\bf4. Odd dimensions}
The integral (\peq{wd3}) evaluates, when $q=1$, to,
$$
W_d(1,x)={2^d\over\Ga(d+1)}\pi\ol x\cot\pi\ol x\,(1-\ol x^2)\ldots(\ol d^2
-\ol x^2)\,,
\eql{wdo}
$$
where $d\equiv 2\ol d+1$ and $\ol x=x-1/2$. The necessary periodisation in $x$ will be
understood. (For notational convenience only, I have replaced $\de$ by $x$.)
For example in three dimensions
$$
W_3(1,\de)={4\over3}\pi\ol\de\,\cot\pi\ol\de\,(1-\ol\de^2)
\eql{w3}
$$
and in five,
$$
W_5(1,\de)={4\over15}\pi\ol\de\,\cot\pi\ol\de\,(1-\ol\de^2)(4-\ol\de^2)\,.
\eql{w5}
$$
The energy densities, (\peq{t00f}), become,\mgn{doubleewes.wxm}
$$\eqalign{
\av{T^{(3)}_{00}}(1,\de)&=-{2\over r^3}\,{\Ga(3/2)\over32\pi^{5/2}}{4\pi\over3}{1\over2}
\de\tan\pi\de\,(4\de^2-1)\cr
&={1\over48\pi r^3}\de\tan\pi\de\,(1-4\de^2)\,,\cr
}
\eql{e3}
$$
$$\eqalign{
\av{T^{(5)}_{00}}(1,\de)&={4\over r^5}\,{\Ga(5/2)\over2^7\pi^{7/2}}
{4\pi\over15}{1\over8}
\de\tan\pi\de\,(4\de^2-1)(4\de^2-9)\cr
&={1\over1280\pi^2 \,r^5}\,\de\tan\pi\de\,(4\de^2-1)(4\de^2-9)\,,\cr
}
\eql{e5}
$$
and so on.
Hence the weights $h_1$, (\peq{cw}), equal,
$$\eqalign{
h^{(3)}_1(\mu)&={1\over24}\,\mu\tan\pi\mu\,(1-4\mu^2)\cr
h^{(5)}_1(\mu)&={1\over640\pi}\,\mu\tan\pi\mu\,(4\mu^2-1)(4\mu^2-9)\,.\cr
}
\eql{ws}
$$
\section{\bf5. Images}
The results just obtained can be extended from a single covering of the plane to an
integer covering by using images. This method, given in [\pref{Dowcascone}], has been
further explained in [\pref{dowtwist}]. It was used there for scalars and it was also shown
how to extend it to fermions, to which I now apply it in more detail. It is identical to a
replica relation.
In the situation under consideration, the basic fermion relation was shown to be,
$$
K^f_{n\be}\big(\phi;n(\de+1/2)+1/2\big)={1\over n}
\sum_{s=0}^{n-1} K^f_\be(\phi;\de+s/n)\,.
\eql{kay1}
$$
The second argument of $K$ is the flux through the relevant cone.
Assuming no flux on the left--hand side gives,
$$
\de\equiv\de_0=-{n-1\over2n}\,,
$$
leading to the specific relation,
$$\eqalign{
K^f_{2\pi n}\big(\phi\,;1\big)
={1\over n}\sum_{k=-(n-1)/2}^{(n-1)/2} K^f_{2\pi}(\phi\,;k/n)\,,
}
\eql{kay2}
$$
which I take to be the zero chemical potential relation. Non--zero chemical potential will be
considered later in section 7.
Expressed in terms of the local heat--kernel, as one specific field theory quantity, this
equation transcribes into the equation for the weights,
$$
h^{(d)}_n=\sum_{k=-(n-1)/2}^{(n-1)/2} h^{(d)}_1\big({k/n}\big)\,,
\eql{hn}
$$
and, explicitly, one finds the $n$--covering conformal weights (noting that $k/n$ lies in
the unit cell),
$$
h^{(3)}_n={1\over 24\,n^3}\sum_{k=-(n-1)/2}^{(n-1)/2}\tan(\pi k/n)\,k\,(n^2-4k^2)\,.
\eql{hnsp3}
$$
At this point, I reproduce the Elvang and Hadjiantonis expression, [\pref{EandH}], for the
fermion corner invariant for R\'enyi entropy obtained by hefty manipulation of an integral
form of Casini and Huerta, [\pref{CandH}],
$$
\si^{(3)}_n={1\over 24\pi\,n^3(n-1)}
\sum_{k=-(n-1)/2}^{(n-1)/2}\tan(\pi k/n)\,k\,(n^2-4k^2)\,,
$$
showing that,
$$
h^{(3)}_n=\pi(n-1)\,\si^{(3)}_n\,,
$$
as conjectured and verified, case by case, in [\pref{BMW}].
In five dimensions,
$$
h_n^{(5)}={1\over 640\pi\,n^5}\sum_{k=-(n-1)/2}^{(n-1)/2}
\tan(\pi k/n)\,k(n^2-4k^2)(4k^2-9n^2)\,.
\eql{hnsp5}
$$
The calculated values of $h_n^{(3)}$ agree with those in Table 1 in [\pref{BMW}]. I give
a couple of them for five dimensions,
$$\eqalign{h_3^{(5)}&={77\over5184\pi}\cr
h_5^{(5)}&={3\sqrt{447698\sqrt5+3965725}\over64 \,\,5^{11/2}\,\pi}\,.
}
$$
An independent computation of $\si^{(5)}$ would be interesting.
\section{\bf6. Even dimensions. Closed formulae.}
For even $d$, the singularities of the massless Green function are poles and the contour
$\Ga$ can be deformed into a loop around the origin which enables a closed form to be
found in terms of generalised Bernoulli (actually N\"orlund $D$) polynomials as described
in [\pref{dowtwist}]. The answer is ( [\pref{dowtwist}] (24)),
$$
W_d(q,\de)=
{(-1)^{d/2}\,\pi\over\,d!\,q}D^{(d+1)}_{d}
\big(q\ol\de\mid q,{\bf 1}_d\big)\,.
\eql{why2}
$$
The $D$s can easily be expanded as bipolynomials in $q$ and $\de$. I will not give the
general expressions, but turn to another approach which involves an alternative (image)
form for the integral obtained by choosing yet another contour (see [\pref{Dow7}]),
$$
W_d(q,\de)=-{2\pi \over q}\,\sum_{l=1}^{q-1}\cos(2\pi\de l)\,\cosec^d{\pi l\over q}\,,
\eql{trigsum}
$$
where $\de=r/q$ is rational.
Although, to begin with, $q$ is integral, after the sum has been performed to give a
rational function of $q$ one can set $q=1/n$, now with, \eg\ , $n$ integral,
[\pref{Dowcosecs}].
The combination of $W$s needed is displayed in (\peq{t00f}) in square brackets, I will
consider only the case of no chemical potential when $\mu=1$, or, by periodicity, when
$\mu=0$. Hence one makes the substitution $\de=(q+1)/2q$ in (\peq{trigsum}) giving
the particular twisted sum,
$$
\sum_{l=1}^{q-1}(-1)^{l+1}\cos{\pi l\over q}\,\cosec^{2g+2}{\pi l\over q}\,,
\quad d=2g+2\,.
\eql{tws}
$$
This has been evaluated by Jeffery, [\pref{Jeffery}], see [\pref{Dowcosecs}]. His formula
for this sum is,
$$\eqalign{
{2\over (2g+1)!}
\sum_{i=0}^{g}(2i+1)!\,V_i^g\,\big(q^{2i+2}-1\big)\,,
{\eta(2i+2)\over\pi^{2i+2}}\,,
}
\eql{fr}
$$
{\it but only if $q$ is odd}. However, since (\peq{fr}) is an explicit (polynomial) function,
it can be extended to arbitrary (real) values of $q$. Only if $q$ is an odd integer can it be
represented by the summation, (\peq{tws}). The $V_i^g$ are constants and $\eta$ is the
Dirichlet $\eta$ function.
From (\peq{t00f}) and (\peq{cw}), the fermion conformal weight is, setting $q=1/n$,
$n\in\oN$,
$$\eqalign{
h^{(2g,f)}_n&=-2\pi n\,2\caS\,{1\over n}{\Ga(d/2)\over\pi^{d/2+1}2^{d+2}}
W_d\big(1/n,(1+n)/2\big)\cr
&=-\caS {\Ga(g)\over2(4\pi)^{g-1}}
{1\over (2g-1)!}
\sum_{i=0}^{g-1}(2i+1)!\,V_i^{g-1}\,\big(n^{-2i-1}-n\big)\,
{\eta(2i+2)\over\pi^{2i+2}}\cr
&={\caS\over2(4\pi)^{g-1}}
{(g-1)!\over (2g-1)!}
\sum_{i=0}^{g-1}(2i+1)!\,V_i^{g-1}\,\big(n-n^{-2i-1}\big)\,
{\eta(2i+2)\over\pi^{2i+2}}\,,\cr
}
\eql{hn4}
$$
which is positive if $n>1$. The same form, written differently, is given in [\pref{BMW}].
The constants $V_i^g$ have been discussed in [\pref{Dowcosecs}]. They are positive
integers. Jeffery computes them by hand from their combinatorial significance. They also
obey a recursion formula. A table of values can be found in [\pref{Thiele}].
For comparison, I reproduce the similar expression for the scalar field in the form as
derived in [\pref{dowtwist}],
$$
h^{(2g,s)}_n={1\over(4\pi)^{g-1}}{(g-1)!\over(2g-1)!}\,\sum_{i=1}^{g-1}
2^{2g-2i-1} (2i+1)!\,B^g_i\,\big(n-n^{-2i-1}\big)\,{\ze(2i+2)\over\pi^{2i+2}}\,,
\eql{hn3}
$$
where the $B_i^g$ are known constants.
These expressions indicate that the duality between boson and fermion quantities proved
in [\pref{BMW}] for $d=2$ and $d=3$ does not extend to even dimensions bigger than
two.
\section{\bf7. Non--zero chemical potential}
A non--zero chemical potential, $\mu$, is achieved by setting $\de=\mu+\de_0$ in
(\peq{kay1}) which then reads,
$$\eqalign{
K^f_{n\be}\big(\phi;n\mu\big)&={1\over n}
\sum_{s=0}^{n-1} K^f_\be(\phi;\mu+\de_0+s/n)\cr
&={1\over n}
\sum_{k=-(n-1)/2}^{(n-1)/2} K^f_\be(\phi;\mu+k/n)\,.
}
\eql{kay3}
$$
In particular if $\be=2\pi$ the flux through the $n$-fold plane covering is $n\mu$ and
corresponds to a flux of $\mu$ through a single, $2\pi$ sheet, \ie to the chemical
potential.
For both odd and even dimensions, equation (\peq{hn}) generalises to,
$$
h^{(d)}_n(\mu)=\sum_{k=-(n-1)/2}^{(n-1)/2} h^{(d)}_1\big(\mu+{k/n}\big)\,.
\eql{hn2}
$$
This equation is periodic in $\mu$ with period $1/n$.
To find $h^{(d)}_1(x)$ one needs $\av {T_{00}}$ given by (\peq{t00f}). For odd $d$,
$W_d(1,x)$ has already been given in (\peq{wdo}) while for even $d$, the integral
(\peq{wd3}) evaluates, at $q=1$, to,
$$
W_d(1,x)={\pi2^d\over\Ga(d+1)}\,({1\over4}-\ol x^2)\ldots({(d-1)^2\over4}
-\ol x^2)\,,\quad \ol x=x-1/2\,.
\eql{wde}
$$
Periodisation is now necessary because of the presence of $\mu$ in (\peq{hn2}). This is
easily implemented by machine. The easiest way is, in (\peq{kay3}), to periodise
$\mu+k/n$ relative to the unit cell $-1/2<x\le 1/2$.
The combination,
$$
W_d(1,1+\de)+W_d(1,1-\de)\,,
$$
occurs in (\peq{t00f}) with $\de=\mu$ and so one has to evaluate the right--hand sides of
(\peq{wdo}),(\peq{wde}) for $\ol x=1/2\pm\mu$ taking the periodisation into account.
Some results of numerical evaluation are exhibited in the following figures.
\epsfxsize=5truein \epsfbox{confweightspin1.eps}
\epsfxsize=5truein \epsfbox{confweightspin2.eps}
\epsfxsize=5truein \epsfbox{confweightspin3.eps}
\noindent The plots are very similar. All show cusps at the values, $m/2n$, with $m$ an
odd integer which are essentially caused by the $\mu$--periodicity of $1/n$. In two
dimensions a similar behaviour was found in [\pref{B}] for a similar reason.
A certain check can be done for even dimension, $d$, for then there exists an exact
(polynomial) form for $\av{T_{00}}$ as a function of $n$ and $\de$. Periodicity is applied
according to the left--hand side of $(\peq{kay3})$ which is periodic in $\de=n\mu$ with
respect to $-1/2<\de\le1/2$. (In reality, this only checks the relation between the image
expression and the closed formula, which can be obtained, \eg\ , by standard summations
of powers.)
\section{\bf8. Comments and conclusion}
A previous calculation for scalar fields has been extended to Dirac fields with similar
conclusions, such as a proof of the conjecture in [\pref{BMW}] connecting a corner
coefficient with the conformal weights (at zero chemical potential). The variation of the
weights with chemical potential exhibits cusps signalling phase changes. In general, there
does not seem to be a boson--fermion duality.
\section{\bf Appendix}
I here give some of my Dirac conventions which are generally those of Bogoliubov and
Shirkov, [\pref{BandS}], extended to arbitrary dimensions. They are quite standard.
The Dirac equation is,
$$
(i\ga^\mu\pa_\mu-m)\,\psi=0\,,\quad {\rm with}\,\,\ga^\mu\ga^\nu+\ga^\nu\ga^\mu=
2g^{\mu\nu}\,,
$$
of negative signature. The energy--density is,
$$
T^{00}={i\over2}\big(\ol\psi\ga^0\pa_0\psi-\pa_0\ol\psi\ga^0\psi\big)\,,
$$
and the causal Green function matrix is the vacuum average,
$$
S_c=i\av{T(\psi\times\ol\psi)}_0\,,
$$
so that
$$
\av{T^{00}}=-\big[\pa_0\tr(\ga^0S)\big]\,.
$$
$S$ is related to the scalar causal function, $D_c$ by
$$
S_c=i\ga^\mu\,\pa_\mu\,D_c\,.
$$
%\newpage
\vglue 20truept
\noin{\bf References.} \vskip5truept
\begin{putreferences}
\ref{Dowlensmatvec}{Dowker,J.S. {\it Lens space matter determinants in the vector
model}, ArXiv:\break 1405.7646.}
\ref{dowtwist}{Dowker,J.S. {\it Conformal weights of charged R\'enyi entropy twist
operators for free scalar fields in arbitrary dimensions} ArXiv:1509.00782.}
\ref{GandS}{Gel'fand,I.M. and Shilov,G.E. {\it Generalised Functions} Vol.1 (Academic Press,
New York, 1964.}
\ref{BandS}{Bogoliubov,N.N. and Shirkov,D.V. {\it Introduction to the theory of quantized
fields} (Interscience, New York, 1959.).}
\ref{dowsignch}{Dowker,J.S. \jpa{2}{1969}{267}.}
\ref{MandD}{Dowker,J.S. and Mansour,T. {\it J.Geom. and Physics} {\bf 97} (2015) 51.}
\ref{dowaustin}{Dowker,J.S. 1979 {\it Selected topics in topology and quantum
field theory}
\ref{Dowmultc}{Dowker,J.S. \jpa{5}{1972}{936}.}
(Lectures at Center for Relativity, University of Texas, Austin).}
\ref{Dowrenexp}{Dowker,J.S. {\it Expansion of R\'enyi entropy for free scalar fields}
ArXiv:1408.0549.}
\ref{EandH}{Elvang, H and Hadjiantonis,M. {\it Exact results for corner contributions to
the entanglement entropy and R\'enyi entropies of free bosons and fermions in 3d} ArXiv:
1506.06729 .}
\ref{SandS}{T.Souradeep and V.Sahni \prD {46} {1992} {1616}.}
\ref{CandH}{Casini H., and Huerta,M. \jpa{42}{2009}{504007}.}
\ref{CandH2}{Casini H., and Huerta,M. J.Stat.Mech {\bf 0512} (2005) 12012.}
\ref{CandC}{Cardy,J. and Calabrese,P. \jpa{42}{2009}{504005}.}
\ref{Dow7}{Dowker,J.S. \jpa{25}{1992}{2641}.}
\ref{Dowcosecs}{Dowker,J.S. {\it On sums of powers of cosecs}, ArXiv:1507.01848.}
\ref{Jeffery}{Jeffery, H.M. \qjm{6}{1864}{82}.}
\ref{BMW}{Bueno,P., Myers,R.C. and Witczak--Krempa,W. {\it Universal corner entanglement
from twist operators} ArXiv:1507.06997.}
\ref{BMW2}{Bueno,P., Myers,R.C. and Witczak--Krempa,W. {\it Universality of corner
entanglement in conformal field theories} ArXiv:1505.04804.}
\ref{BandM}{Bueno,P., Myers,R.C. {\it Universal entanglement for higher dimensional
cones} ArXiv:1508.00587.}
\ref{Dowstat}{Dowker,J.S. \jpa{18}{1985}3521.}
\ref{Dowstring}{Dowker,J.S. {\it Quantum field theory around conical defects} in {\it
The Formation and Evolution of Cosmic Strings} edited by Gibbons,G.W, Hawking,S.W. and
Vachaspati,T. (CUP, Cambridge, 1990).}
\ref{Hung}{Hung,L-Y.,Myers,R.C. and Smolkin,M. {\it JHEP} {\bf 10} (2014) 178.}
\ref{Dow7}{Dowker,J.S. \jpa{25}{1992}{2641}.}
\ref{B}{Belin,A.,Hung,L-Y.,Maloney,A.,Matsuura,S.,Myers,R.C. and Sierens,T.
{\it JHEP} {\bf 12} (2013) 059.}
\ref{B2}{Belin,A.,Hung,L-Y.,Maloney,A. and Matsuura,S.
{\it JHEP01} (2015) 059.}
\ref{Norlund}{N\"orlund,N.E. \am{43}{1922}{121}.}
\ref{Norlund1}{N\"orlund,N.E. {\it Differenzenrechnung} (Springer--Verlag, 1924, Berlin.)}
\ref{Dowconearb}{Dowker,J.S. \prD{36}{1987}{3742}.}
\ref{Dowren}{Dowker,J.S. \jpamt {46}{2013}{2254}.}
\ref{DandB}{Dowker,J.S. and Banach,R. \jpa{11}{1978}{2255}.}
\ref{Dowcen}{Dowker,J.S. {\it Central Differences, Euler numbers and
symbolic methods} ArXiv: 1305.0500.}
\ref{Dowcone}{Dowker,J.S. \jpa{10}{1977}{115}.}
\ref{schulman2}{Schulman,L.S. \jmp{12}{1971}{304}.}
\ref{DandC}{Dowker,J.S. and Critchley,R. \prD{15}{1977}{1484}.}
\ref{Thiele}{Thiele,T.N. {\it Interpolationsrechnung} (Teubner, Leipzig, 1909).}
\ref{Steffensen}{Steffensen,J.F. {\it Interpolation}, (Williams and Wilkins,
Baltimore, 1927).}
\ref{Riordan}{Riordan,J. {\it Combinatorial Identities} (Wiley, New York, 1968).}
\ref{BSSV}{Butzer,P.L., Schmidt,M., Stark,E.L. and Vogt,I. {\it Numer.Funct.Anal.Optim.}
{\bf 10} (1989) 419.}
\ref{Dowcascone}{Dowker,J.S. \prD{36}{1987}{3095}.}
\ref{Stern}{Stern,W. \jram {79}{1875}{67}.}
\ref{Milgram}{Milgram, M.S., Journ. Maths. (Hindawi) 2013 (2013) 181724.}
\ref{Perlmutter}{Perlmutter,E. {\it A universal feature of CFT R\'enyi entropy}
ArXiv:1308.1083 }
\ref{HMS}{Hung,L.Y., Myers,R.C. and Smolkin,M. {\it Twist operators in
higher dimensions} ArXiv:1407.6429.}
\ref{ABD}{Aros,R., Bugini,F. and Diaz,D.E. {\it On the Renyi entropy for
free conformal fields: holographic and $q$--analog recipes}.ArXiv:1408.1931.}
\ref{LLPS}{Lee,J., Lewkowicz,A., Perlmutter,E. and Safdi,B.R.{\it R\'enyi entropy.
stationarity and entanglement of the conformal scalar} ArXiv:1407.7816.}
\ref{Apps}{Apps,J.S. PhD thesis (University of Manchester, 1996).}
\ref{CandD}{Candelas,P. and Dowker,J.S. \prD{19}{1979}{2902}.}
\ref{Hertzberg}{Hertzberg,M.P. \jpa{46}{2013}{015402}.}
\ref{CaandW}{Callan,C.G. and Wilczek,F. \plb{333}{1994}{55}.}
\ref{CaandH}{Casini,H. and Huerta,M. \plb{694}{2010}{167}.}
\ref{Lindelof}{Lindel\"of,E. {\it Le Calcul des Residues} (Gauthier--Villars, Paris,1904).}
\ref{CaandC}{Calabrese,P. and Cardy,J. {\it J.Stat.Phys.} {\bf 0406} (2004) 002.}
\ref{MFS}{Metlitski,M.A., Fuertes,C.A. and Sachdev,S. \prB{80}{2009}{115122}.}
\ref{Gromes}{Gromes, D. \mz{94}{1966}{110}.}
\ref{Pockels}{Pockels, F. {\it \"Uber die Differentialgleichung $\De
u+k^2u=0$} (Teubner, Leipzig. 1891).}
\ref{Diaz}{Diaz,D.E. JHEP {\bf 7} (2008)103.}
\ref{Minak}{Minakshisundaram,S. {\it J. Ind. Math. Soc.} {\bf 13} (1949) 41.}
\ref{CaandWe}{Candelas,P. and Weinberg,S. \np{237}{1984}{397}.}
\ref{Chodos1}{Chodos,A. and Myers,E. \aop{156}{1984}{412}.}
\ref{ChandD}{Chang,P. and Dowker,J.S. \np{395}{1993}{407}.}
\ref{LMS}{Lewkowycz,A., Myers,R.C. and Smolkin,M. {\it Observations on
entanglement entropy in massive QFTs.} ArXiv:1210.6858.}
\ref{Bierens}{Bierens de Haan,D. {\it Nouvelles tables d'int\'egrales
d\'efinies}, (P.Engels, Leiden, 1867).}
\ref{DowGJMS}{Dowker,J.S. \jpa{44}{2011}{115402}.}
\ref{Doweven}{Dowker,J.S. {\it Entanglement entropy on even spheres.}
ArXiv:1009.3854.}
\ref{Dowodd}{Dowker,J.S. {\it Entanglement entropy on odd spheres.}
ArXiv:1012.1548.}
\ref{DeWitt}{DeWitt,B.S. {\it Quantum gravity: the new synthesis} in
{\it General Relativity} edited by S.W.Hawking and W.Israel (CUP,Cambridge,1979).}
\ref{Nielsen}{Nielsen,N. {\it Handbuch der Theorie von Gammafunktion}
(Teubner,Leipzig,1906).}
\ref{KPSS}{Klebanov,I.R., Pufu,S.S., Sachdev,S. and Safdi,B.R.
{\it JHEP} 1204 (2012) 074.}
\ref{KPS2}{Klebanov,I.R., Pufu,S.S. and Safdi,B.R. {\it F-Theorem without
Supersymmetry} 1105.4598.}
\ref{KNPS}{Klebanov,I.R., Nishioka,T, Pufu,S.S. and Safdi,B.R. {\it Is Renormalized
Entanglement Entropy Stationary at RG Fixed Points?} 1207.3360.}
\ref{Stern}{Stern,W. \jram {79}{1875}{67}.}
\ref{Gregory}{Gregory, D.F. {\it Examples of the processes of the Differential
and Integral Calculus} 2nd. Edn (Deighton,Cambridge,1847).}
\ref{MyandS}{Myers,R.C. and Sinha, A. \prD{82}{2010}{046006}.}
\ref{RyandT}{Ryu,S. and Takayanagi,T. JHEP {\bf 0608}(2006)045.}
\ref{Dowcmp}{Dowker,J.S. \cmp{162}{1994}{633}.}
\ref{Dowjmp}{Dowker,J.S. \jmp{35}{1994}{4989}.}
\ref{Dowhyp}{Dowker,J.S. \jpa{43}{2010}{445402}.}
\ref{HandW}{Hertzberg,M.P. and Wilczek,F. \prl{106}{2011}{050404}.}
\ref{dowkerfp}{Dowker,J.S.\prD{50}{1994}{6369}.}
\ref{Fursaev}{Fursaev,D.V. \plb{334}{1994}{53}.}
\end{putreferences}
\bye