1: \documentclass[aps,prd,eqsecnum,nofootinbib,twocolumn,superscriptaddress,floatfix]{revtex4}
2: \usepackage{graphicx}
3: \usepackage{dcolumn}
4: \usepackage{times,mathptm}
5: \usepackage{subfigure}
6: \usepackage{psfrag}
7: %\addtolength{\voffset}{2cm}
8: %
9: % Authors' commands
10: %
11: \newcommand{\beq}{\begin{equation}}
12: \newcommand{\eeq}{\end{equation}}
13: \newcommand{\bea}{\begin{eqnarray}}
14: \newcommand{\eea}{\end{eqnarray}}
15: \newcommand{\Z}{\cal Z}
16: \renewcommand{\d}{\delta}
17: \renewcommand{\l}{\lambda}
18: \renewcommand{\L}{\Lambda}
19: \renewcommand{\b}{\beta}
20: \renewcommand{\a}{\alpha}
21: \newcommand{\p}{\phi}
22: \renewcommand{\k}{\kappa}
23: \renewcommand{\ni}{\noindent}
24: \newcommand{\g}{\gamma}
25: \newcommand{\n}{\nu}
26: \newcommand{\m}{\mu}
27: \renewcommand{\r}{\rho}
28: \newcommand{\bx}{{\mathbf{x}}}
29: \newcommand{\by}{{\mathbf{y}}}
30: \newcommand{\bc}{{\mathbf{c}}}
31: \newcommand{\s}{\sigma}
32: \newcommand{\A}{{\cal A}}
33: \newcommand{\D}{{\Delta}}
34: \newcommand{\U}{{\cal U}}
35: \newcommand{\E}{{\cal E}}
36: \newcommand{\R}{{\cal R}}
37: \newcommand{\V}{{\cal V}}
38: \renewcommand{\S}{{\cal S}}
39: \newcommand{\vL}{\vec{L}}
40: \newcommand{\va}{\vec{\alpha}}
41: \newcommand{\vH}{\vec{H}}
42: \newcommand{\tS}{\widetilde{S}}
43: \newcommand{\tU}{\widetilde{U}}
44: \newcommand{\tQ}{\widetilde{Q}}
45: \newcommand{\tr}{\mbox{Tr}}
46: \newcommand{\J}{{\cal J}}
47: \renewcommand{\th}{\theta}
48: \renewcommand{\to}{\overline{\theta}}
49: \newcommand{\tm}{\widetilde{\m}}
50: \newcommand{\tp}{\theta^{ph}}
51: \newcommand{\qb}{\overline{q}}
52: \newcommand{\tpom}{\overline{\theta}^{ph}(\tm)}
53: \newcommand{\intpi}{\int^\pi_{-\pi}}
54: \newcommand{\e}{\epsilon}
55: \newcommand{\ep}{\varepsilon}
56: \newcommand{\vph}{\varphi}
57: \newcommand{\oh}{{\textstyle{\frac{1}{2}}}}
58: \newcommand{\oth}{{\textstyle{\frac{1}{3}}}}
59: \newcommand{\oq}{{\textstyle{\frac{1}{4}}}}
60: \newcommand{\ot}{{\textstyle{\frac{3}{2}}}}
61: \newcommand{\dg}{\dagger}
62: \newcommand{\non}{\nonumber}
63: \renewcommand{\t}{\tau}
64: \newcommand{\rf}[1]{(\ref{#1})}
65: \newcommand{\ra}{\rightarrow}
66: \newcommand{\pa}{\partial}
67: \newcommand{\ph}{\phi}
68: \newcommand{\phd}{\phi^\dagger}
69: \newcommand{\CR}{\nonumber \\}
70: \newcommand{\ww}{w}
71: \newcommand{\rra}{\right\rangle}
72: \newcommand{\lla}{\left\langle}
73: %%%%%%
74: \newcommand{\FIGURE}[2][v]{\begin{figure}[#1]#2
75: \end{figure}}
76:
77: \begin{document}
78:
79: \title{Is Confinement a Phase of Broken Dual Gauge Symmetry?}
80: %
81:
82: \author{J. Greensite}
83: \affiliation{Physics and Astronomy Department., San Francisco State
84: University, San Francisco, CA~94132, USA}
85:
86: \author{B. Lucini}
87: \affiliation{Department of Physics, Swansea University, Singleton Park, Swansea,
88: SA2 8PP, UK}
89:
90: %
91: \date{\today}
92: %
93: \begin{abstract}
94: We study whether broken dual gauge symmetry, as detected by a monopole
95: order parameter introduced by the Pisa group, is necessarily
96: associated with the confinement phase of a lattice gauge theory.
97: We find a number of examples, including SU(2) gauge-Higgs theory, mixed
98: fundamental-adjoint SU(2) gauge theory, and pure SU(5) gauge theory, which appear
99: to indicate a dual gauge symmetry transition in the absence of a transition to or from
100: a confined phase. While these results are not necessarily fatal
101: to the dual superconductor hypothesis, they may pose some
102: problems of interpretation for the present formulation of the Pisa monopole
103: criterion.
104:
105: \end{abstract}
106:
107: %
108: \pacs{11.15.Ha, 12.38.Aw}
109: %
110: \keywords{Confinement, Lattice Gauge Field Theories, Solitons
111: Monopoles and Instantons}
112: %
113: \maketitle
114: %
115: % Section <I
116: %
117: \section{Introduction}\label{Intro}
118:
119: It is an old idea that the vacuum state of a non-abelian gauge theory in the confined phase can be thought of as a
120: dual superconductor, with magnetic monopoles playing the role of Cooper pairs. Magnetic
121: monopoles, in this well-known scenario, condense in the confined
122: phase, thereby spontaneously breaking a dual gauge symmetry, and electric flux tubes form as a consequence of the dual
123: Meissner effect. In testing this idea numerically, it is important to carefully specify what one means by monopole condensation,
124: particularly in the absence of elementary Higgs fields, and to identify precisely which dual gauge symmetry is under consideration.
125:
126: It is worth recalling that the whole notion of spontaneously broken gauge symmetries, dual or otherwise, can be a little
127: ambiguous. According to the well-known Elitzur theorem \cite{Elitzur} a continuous gauge symmetry cannot break
128: spontaneously, and the VEV of a Higgs field must vanish, regardless of the form of the Higgs potential, in the absence
129: of gauge fixing. For this reason, spontaneous gauge symmetry breaking must necessarily refer to the breaking of a global
130: subgroup of the local symmetry, such as, e.g., a global symmetry which remains after fixing to Coulomb or Landau gauge.
131: In principle there are an infinite number of such subgroups, and they do not necessarily break at the same place in the phase
132: diagram. Nor do such transitions \emph{necessarily} indicate a genuine change of phase. In a recent article \cite{Billy} which considered
133: spontaneous gauge symmetry breaking in an SU(2) gauge-Higgs theory, it was shown that remnant gauge symmetries in the
134: Coulomb and Landau gauges do, in fact, break along different lines in the gauge-Higgs coupling space; moreover, these transitions
135: occur in regions where the Fradkin-Shenker-Osterweiler-Seiler theorem \cite{FS,OS} assures us that there is no transition whatever in the
136: physical state. In view of this result, we think it may be of interest to revisit the issue of dual gauge symmetry breaking in pure gauge
137: theories, as formulated concretely by the Pisa group in refs.\ \cite{Adriano1,Adriano1a,ds1-2,Adriano2}.
138:
139: The Pisa proposal is based on the fact that in a compact U(1) gauge theory there are stable magnetic monopole configurations,
140: and a corresponding conserved magnetic current
141: \beq
142: j^M_\m = \pa^\n \widetilde{F}_{\m\n}
143: \eeq
144: where
145: \beq
146: \widetilde{F}_{\m\n} = \oh \epsilon_{\m\n\a\b}F^{\a\b}
147: \eeq
148: is the dual field strength tensor. This conserved current is associated with a dual U(1) gauge symmetry, and a global subgroup of this
149: local symmetry is generated by the total magnetic charge operator. An order parameter $\mu$ for the breaking of this global dual gauge symmetry
150: was proposed in refs.\ \cite{Adriano1,Adriano1a}. The $\mu(\bx)$ operator is a monopole creation operator, which acts on states in the Schrodinger
151: representation by inserting a monopole field configuration $A_i^M(\by)$ centered at the point $\by=\bx$, i.e.
152: \beq
153: \m(\bx) |A_i \rangle = | A_i+ A_i^M \rangle
154: \label{pisa-op}Ä
155: \eeq
156: Explicitly, the operator
157: \beq
158: \m(\bx) = \exp\Bigl[i \int d^3 y ~ A_i^M(y) E_i(y) \Bigr]
159: \label{m-charge}
160: \eeq
161: performs the required insertion. It was shown in ref.\ \cite{Adriano1} that the $\m$ operator is non-invariant under the global subgroup of
162: the dual gauge symmetry generated by the magnetic charge operator, and $\langle \mu \rangle \ne 0$ is the sign that this global symmetry
163: is spontaneously broken, i.e.\ that the system is in a phase of ``dual superconductivity".
164:
165: In a non-abelian SU(N) gauge theory, an abelian projection gauge
166: must be introduced to single out an abelian $U(1)^{N-1}$ subgroup, and $\m$ is defined in terms of the
167: gauge fields associated with that subgroup. In practice the choice of abelian projection gauge does not seem to make much difference; maximal abelian gauge, a Polyakov line gauge, and even a ``random" abelian gauge have all been tested, with very similar results. Details concerning this construction on the lattice can be found in refs.\ \cite{ds1-2,Adriano2}.
168:
169: For a lattice pure gauge theory, it can be shown analytically that $\langle \mu \rangle =1$ in the lattice coupling $\b \ra 0$ limit, and hence
170: the global dual gauge symmetry is spontaneously broken in that limit. However, $\langle \m \rangle$ cannot be computed analytically at weak couplings, and must instead be determined numerically, via lattice Monte Carlo simulations. Since it is impractical, numerically, to compute
171: $\langle \m \rangle$ directly, one instead computes the logarithmic derivative
172: \beq
173: \r = {\pa \over \pa \b} \log\langle \mu \rangle = - \b^{-1} \left[ \langle S \rangle_S
174: - \langle S_M \rangle_{S_M} \right]
175: \eeq
176: In this expression $S$ is the usual Wilson action, and $\langle \cdots \rangle_S$ indicates an evaluation with the usual
177: probability measure $\propto \exp[S]$. $\langle S_M \rangle$ is a monopole-modified action, in which the timelike plaquettes of the Wilson action on a time-slice are modified by the monopole field (we refer to refs.\ \cite{ds1-2} for details of this construction), and
178: $\langle \cdots \rangle_{S_M}$ denotes a VEV with probability measure proportional to $\exp[S_M]$. Then
179: \beq
180: \langle \m(\b) \rangle = \exp\left[ \int_0^\b d\b' ~ \r(\b') \right]
181: \label{mrho}
182: \eeq
183: If there is some $\b_{cr}$ where $\r(\b_{cr}) \ra -\infty$ in the infinite volume $V\ra \infty$ limit, such that the integral in the exponent diverges for $\b>\b_{cr}$, it means that $\langle \m(\b) \rangle =0$ at $\b>\b_{cr}$, i.e.\ that there is a transition from the broken to the unbroken phase of global dual gauge symmetry.
184:
185: Previous investigations of the Pisa operator have focused mainly on the deconfinement transition, for gauge theories with various gauge groups, with and without dynamical fermions. In every case the deconfinement transition coincides with a sharp negative peak in $\r(\b)$, which grows deeper with lattice volume, implying that $\langle \m \rangle > 0$ in the confined phase, and $\langle \m \rangle = 0$ in the deconfined phase. The same sort of negative peak in $\r$ was found in U(1) gauge theory, in D=4 dimensions and zero temperature, at the transition from the confining to the massless Coulomb phase \cite{Adriano1}. All of these results are consistent with the view that the confining phase is a phase of broken dual gauge symmetry.
186:
187: We will now present several possible counter-examples to that view, and show that at zero temperature, in
188: \begin{enumerate}
189: \item SU(5) lattice gauge theory
190: \item SU(2) lattice gauge theory with a mixed fundamental + adjoint action
191: \item SU(2) lattice gauge theory with the standard Wilson action
192: \item SU(2) gauge-Higgs theory
193: \end{enumerate}
194: there is a large negative peak in $\r$, growing deeper with lattice volume, suggesting that there can be restoration of the dual gauge symmetry without a corresponding transition away from a confined phase. In these computations we follow the Pisa construction of $\r$ described in refs.\ \cite{Adriano1,Adriano1a,ds1-2,Adriano2}, with the random abelian projection advocated in \cite{Adriano2}.
195:
196: \section{Results}
197:
198: Our first example is SU(5) pure gauge theory, with the standard Wilson action, at zero temperature. Many years ago it was found that there is a bulk first-order transition in this theory \cite{creutz}; the most recent determination of the transition point is at $\b=16.65$ \cite{biagio}. In Fig.\ \ref{su5} we display our results for $\r$, which indicates a negative peak, growing with volume, at the bulk transition point. The lattices are a bit too small to draw strong conclusions, but if the trend continues at larger volumes, then it would appear that $\langle \m \rangle = 0$ for $\b$ values beyond the bulk transition point, despite the fact that the bulk transition is not associated with a loss of confinement.
199:
200: \begin{figure}[t!]
201: {\includegraphics[width=9truecm]{su5.eps}}
202: \caption{$\r$ vs.\ $\b$ in SU(5) lattice gauge theory with the standard Wilson action. The negative peak occurs at the
203: bulk transition point.}
204: \label{su5}
205: \end{figure}
206:
207: \begin{figure*}[t!]
208: \begin{center}
209: \subfigure[] % caption for subfigure a
210: {
211: \label{mixact}
212: \psfrag{b1}{$\b$}
213: \psfrag{b2}{$\b_A$}
214: \includegraphics[width=8truecm]{mixact.eps}
215: }
216: \hspace{0.25cm}
217: \subfigure[] % caption for subfigure b
218: {
219: \label{mix-rho}
220: \includegraphics[width=8truecm]{mix-rho.eps}
221: }
222: \end{center}
223: \caption{(a) Schematic phase diagram of the SU(2) fundamental-adjoint mixed action model. Our data points are taken along the
224: dashed line. (b) $\r$ vs.\ $\b$ in the SU(2) fundamental-adjoint mixed action of eq.\ \rf{mix}, at $\b_A=1.5$.}
225: \label{ghiggs} % caption for the whole figure
226: \end{figure*}
227:
228:
229: The second example is the SU(2) fundamental-adjoint mixed action
230: \bea
231: S &=& \b \sum_{plaq} \oh \mbox{Tr}_F[U(P)] + \b_A \sum_{plaq} {1\over 3} \mbox{Tr}_A[U(P)]
232: \non \\
233: &=& S^{Wilson} + S^{Adjoint}
234: \label{mix}
235: \eea
236: where Tr${}_{F,A}$ refer to traces in the fundamental and adjoint representations, respectively, of the SU(2) group. The phase diagram of this theory was determined numerically, many years ago, by Bhanot and Creutz \cite{bhanot}; the diagram is drawn schematically in Fig.\ \ref{mixact}, and the solid lines indicate lines of first-order transition. Keeping $\b_A$ fixed at $\b_A=1.5$, and varying only $\b$, we discover a negative peak in $\rho$, shown in Fig.\ \ref{mix-rho}. In this case $\rho$ is given by
237: \beq
238: \r = {\pa \over \pa \b} \log\langle \mu \rangle = - \b^{-1} \left[ \langle S^{Wilson} \rangle_S
239: - \langle S^{Wilson}_M \rangle_{S_M} \right]
240: \eeq
241: The location of this peak ($\b \approx 1.1$ at $\b_A=1.5$) lies on a line of first-order phase phase transitions. Of course, the lines of first-order transitions in the $\b-\b_A$ coupling plane do not imply a deconfinement transition at zero temperature, since the mixed-action model is confining at all values of $\b,\b_A$. However, the existence of a transition in
242: $\langle \m \rangle$ does suggest that the dual gauge symmetry is restored in an entire region of the coupling plane, and it is of interest whether that region includes large $\b$ at $\b_A=0$; i.e.\ pure SU(2) lattice gauge theory with the usual Wilson action. Fig.\ \ref{su2} shows
243: our results for $\rho$ computed in ordinary SU(2) lattice gauge theory with the Wilson action. In this data there does appear to be a very broad peak, growing with lattice volume, centered at about $\b=2.3$. It is clear, in this case, that one really does need to go out to fairly large volumes, greater than $16^4$, to actually see the peak. If we take this result at face value, then it means that the dual gauge symmetry is unbroken in the large $\b$ regime,
244: despite the fact that the theory is believed to confine at all values of $\b$.
245:
246:
247: \begin{figure}[t!]
248: {\includegraphics[width=9truecm]{su2Vol.eps}}
249: \caption{$\r$ vs.\ $\b$ in SU(2) lattice gauge theory with the standard Wilson action.}
250: \label{su2}
251: \end{figure}
252:
253: The next example is taken from the theory which motivated a previous investigation \cite{Billy} into the ambiguities associated with spontaneously broken gauge symmetries. This is the ``Fradkin-Shenker" model, i.e.\ an SU(2) gauge-Higgs theory with a fixed modulus Higgs field in the fundamental representation of the gauge group, whose action can be written in the form
254: \bea
255: S &=& \b \sum_{plaq} \oh \mbox{Tr}[U(P)]
256: + \gamma \sum_{x,\m} \oh \mbox{Tr}[\phi^\dg(x) U_\m(x) \phi(x+\widehat{\m})]
257: \non \\
258: &=& S^{Wilson} + S^{Higgs}
259: \label{fradshenk}
260: \eea
261: where $\phi(x)$ is SU(2) group-valued. What is important about this theory, for our purposes, is that it has been proven rigorously \cite{FS,OS} that there is no complete separation between the Higgs-like and confinement-like regions of the theory. More precisely, consider a point $a$ in the $\b-\g$ phase diagram at $\b,\g \ll 1$ (confinement-like region), and another point $b$ at $\b,\g \gg 1$ (Higgs-like region). Then the theorem states that there is a path between points $a$ and $b$ such that all correlators of all local gauge-invariant operators
262: \beq
263: \langle A(x_1) B(x_2) C(x_3) \ldots \rangle
264: \eeq
265: vary analytically along the path. This rules out any abrupt transition from a colorless to a color-charged spectrum. So if by ``confinement" one simply means the absence of color-charged particles in the asymptotic spectrum, then the Higg's phase is ``confined" in this sense
266: (c.f.\ the discussion in ref.\ \cite{Billy}). Computer simulations \cite{campos} have found a phase structure indicated schematically in Fig.\ \ref{fsphase}. The solid line is either a very weak first order transition, or a sharp crossover. Campos, in ref.\ \cite{campos}, argues for a first-order transition, but the argument requires taking the limit of theories with varying modulus Higgs fields. It is unimportant, for our purposes, whether the line represents genuine first-order transitions, or only crossover behavior. What \emph{is} important is that the Higgs-like and confinement-like regions are connected, and it is possible to go from one region to the other without encountering a physical transition of any sort. The question we raise is whether this connectedness also holds true for the dual gauge symmetry, as detected by the $\m$ operator. In this case $\m$ is a function of $\g,\b$, and it is convenient to define $\r$ in this model as the logarithmic derivative with respect to $\g$, i.e.\
267: \beq
268: \r = {\pa \over \pa \g} \log\langle \mu \rangle = - \g^{-1} \left[ \langle S^{Higgs} \rangle_S
269: - \langle S^{Higgs} \rangle_{S_M} \right]
270: \eeq
271: so that
272: \beq
273: \langle \m(\b,\g) \rangle = \langle \m(\b,0) \rangle \exp\left[ \int_0^\g d\g' ~ \r(\b,\g') \right]
274: \eeq
275: If there is only one phase, then one expects $\langle \m \rangle > 0$ everywhere in the phase diagram,
276: and there should not be any negative peaks, growing deeper with volume, in the $\rho$ observable.
277:
278: \begin{figure}[b!]
279: \centerline{\rotatebox{270}{\includegraphics[width=6truecm]{phase2.eps}}}
280: \caption{Schematic phase diagram of the SU(2) gauge-Higgs system.
281: The solid line is a line of either sharp crossover or weak first-order
282: transitions.}
283: \label{fsphase}
284: \end{figure}
285:
286: However, this expectation does not seem to hold. In Fig.\ \ref{fs22} we show our data for $\r$ vs.\ $\g$ at $\b=2.2$, and we find a negative peak in $\r$ at $\g=0.84$, which coincides with a sharp crossover (or weak first-order transition) at this point. Despite the fact that there is only one color neutral phase, the $\mu$ observable finds two phases. But if there are two phases, corresponding to broken and unbroken symmetry, then the boundary between them must continue past the line of cross-over/weak first-order transitions. In Fig.\ \ref{fs16} we show our data for $\r$ vs.\ $\g$ at $\b=1.6$, where there is no physical transition of any kind. However, there again appears to be a broad peak in $\r$, centered at $\g=1.3$, which is growing deeper with lattice volume.
287:
288: \begin{figure*}[t!]
289: \begin{center}
290: \subfigure[] % caption for subfigure a
291: {
292: \label{fs22}
293: \includegraphics[width=8truecm]{fs22.eps}
294: }
295: \hspace{0.25cm}
296: \subfigure[] % caption for subfigure b
297: {
298: \label{fs16}
299: \includegraphics[width=8truecm]{fs16.eps}
300: }
301: \end{center}
302: \caption{$\r$ vs.\ $\b$ in the SU(2) gauge-Higgs (Fradkin-Shenker) model of eq.\ \rf{fradshenk}. (a) At $\b=2.2$ a very
303: sharp negative peak in $\r$ is found at the thermodynamic transition/crossover point at $\g=0.84$. (b) At $\b=1.6$, there is no thermodynamic transition, but nevertheless there is a broad negative peak in $\r$ centered at $\g \approx1.3$.}
304: \label{fs} % caption for the whole figure
305: \end{figure*}
306:
307:
308: The final example is not due to us, but rather to Cossu et al.\ in ref.\ \cite{Cossu}. These authors have computed $\r$ for the G(2) group, and found a sharp negative peak, growing deeper with volume, at a point of sharp crossover behavior found at $\b\simeq 1.35$. A negative peak at the high-temperature deconfinement transition is also visible, but is actually very small in comparision to the negative peak at the crossover point.
309: The existence of a transition to $\langle \m \rangle = 0$ at $\b\simeq 1.35$ in G(2) lattice gauge theory, where there is no actual transition to or from a color-neutral spectrum, fits neatly together with the other examples we have shown above.
310:
311: \section{Discussion}
312:
313: All of the data shown above suggests that the $\m$ operator, as currently defined, has zero-temperature transitions at couplings where there are, in fact, no \emph{physical} transitions to or from a confined phase. We have found sharp negative peaks in $\r$ where there are bulk transitions or crossover points in the phase diagram, and also much broader peaks, which show up even in the absence of any activity in the thermodynamics. Although a finite size scaling analysis of $\rho$ goes beyond the scope of this paper, our numerical data are clearly compatible with a divergence of the peaks in the infinite volume limit and seem to exclude sharp crossovers in all the cases we have investigated. It is then reasonable to infer from this behavior that $\langle \m \rangle = 0$ past the peak in the infinite volume limit. There are then two possibilities: Either the $\m$ operator is an unreliable indicator for the presence of broken or unbroken dual gauge symmetry, i.e.\ we can have $\langle \m \rangle = 0$ even in the broken phase, or else confinement is not necessarily a phase of spontaneously broken dual gauge symmetry. A third, less likely alternative is that the negative peaks in $\r$ cease to grow deeper beyond some
314: finite volume. Such a possibility can never be ruled out just from numerical simulations. However, a very rough estimate from our data is that this convergence in $\r$, if it were to occur, would have to happen at distance scales beyond 4-5 fm, corresponding to 40-50 Mev. The origin of such a low energy scale, in the theories we have considered, is rather unclear.
315:
316: If $\m$ is the wrong operator to use to test for spontaneous breaking of dual gauge symmetry, then one would like to understand exactly
317: \emph{why} it is the wrong operator. In particular it is important to explain why $\langle \m \rangle = 0$ when the dual gauge symmetry is broken,
318: and to construct a better operator $\tm$ which shows a transition if and only if there is a transition to or from the broken symmetry phase. It may well be possible to construct such an operator. However, the following remarks may be relevant to certain approaches: \\
319:
320: \subsection{Rescale $\m$}
321:
322: One could easily construct a variant of $\m$ which avoids bulk transitions in SU(5) and G(2) (along the lines of a suggestion in ref.\ \cite{Cossu}) by normalizing the $\m$ operator at finite temperature $T$ by its value at zero temperature. Since $\langle \m \rangle$ at any finite volume depends on the temperature $T$, the volume of a time-slice $V_{D-1}$, and lattice coupling $\b$, we might, e.g., define a renormalized operator
323: \beq
324: \tm(T,\b) \equiv \lim_{T_0 \ra 0} \lim_{V_{D-1}\ra \infty} {\m(T,\b,V_{D-1}) \over \langle \m(T_0,\b,V_{D-1}) \rangle}
325: \label{renorm}
326: \eeq
327: In practice, one might redefine $\r$ at at any temperature by subtracting its value at zero temperature, and computing $\langle \tm \rangle$ from eq.\ \rf{mrho} with the subtracted $\r$.
328: An operator defined in this way is obviously insensitive to the bulk transition, but it may be sensitive to transitions at the deconfinement temperature. However, this redefinition begs the question of whether the dual gauge symmetry is realized in the broken or unbroken phase at high $\b$ and zero temperature. An operator which is, by definition, unity at zero temperature for all $\b$ and all gauge groups, in all dimensions $D$, clearly cannot address this crucial issue.
329:
330: \subsection{Modify $S$}
331:
332: Bulk transitions can also be avoided, in certain cases, by modifying the lattice action. For example, SO(3) lattice gauge theory (set $\b=0$ in the mixed action of eq.\ \rf{mix}) is known to have a bulk transition at $\b_A \approx 2.5$, and the transition is associated with certain lattice artifacts known as $Z_2$ monopoles. The bulk transition can be avoided by introducing a term in the action which suppresses these monopoles
333: \beq
334: \tS = \b_A \sum_{plaq} {1\over 3} \mbox{Tr}_A[U(P)] + \lambda \sum_{cubes} \s_c
335: \label{tS}
336: \eeq
337: where
338: \beq
339: \s_c = \prod_{P \in \pa c} \mbox{sign}(\mbox{Tr}[U(P)]
340: \eeq
341: and the product runs over all plaquettes $P$ on the boundary of cube $c$.\footnote{Data on the Pisa operator at finite temperature in this model can be found in ref.\ \cite{MMP}.} At sufficiently large $\l$ the bulk transition disappears. Perhaps some modification of the lattice action would also avoid bulk transitions in other theories.
342:
343: However, it does \emph{not} follow that eliminating a bulk transition via a modified action will also eliminate the transition to $\langle \m \rangle \ra 0$ at large $\b$ and zero temperature. We assume that the modified and unmodified actions have the same continuum limit, in the sense that expectation values
344: \beq
345: \langle Q \rangle_{\tS} \ra \langle Q \rangle_S ~~~ \mbox{at large~} \b
346: \label{limit}
347: \eeq
348: But if that is the case, and $\langle \m \rangle_S = 0$ for the unmodified action at large $\b$, then if \rf{limit} holds it must also be true that
349: $\langle \m \rangle_{\tS} = 0$ at large $\b$ in the modified action. Of course, the logarithmic derivative $\r$ is different for $S$ and $\tS$, and it may be that the transition from $\langle \m \rangle_{\tS} \ne 0$ to $\langle \m \rangle_{\tS} = 0$ is harder to detect on finite lattice volumes with the modified action. In fact, we have seen in two examples
350: \begin{enumerate}
351: \item pure SU(2) gauge theory with the Wilson lattice action at $\b=2.3$;
352: \item the Fradkin-Shenker model at $\b=1.6$ and $\g=1.3$
353: \end{enumerate}
354: that there are transitions in $\m$ in the absence of any thermodynamic transition or crossover behavior. However, in these cases the peaks are much broader than in our other examples where the transitions coincide with thermodynamic activity. Especially in the case of pure SU(2) lattice gauge theory, the transition in $\m$ is only convincingly seen at larger lattice volumes. This may also be the case when using a modified action $\tS$ which eliminates the bulk transition, but still has the property \rf{limit}. It is certainly possible that the transition in $\langle \m \rangle_{\tS}$ happens at a different $\b$ than
355: the transition in $\langle \m \rangle_{S}$, and is only seen clearly at very large lattice volumes. But whether or not the peak in $\r$ is readily seen at small volumes with the modified action, a transition in $\langle \m \rangle_{S}$ \emph{implies}
356: a transition in $\langle \m \rangle_{\tS}$. In a sense, the fact that $\r$
357: has a prominent negative peak at the bulk transition point of the unmodified action is fortunate, because it informs us of the existence of a dual gauge symmetry restoration at weak couplings, that might otherwise have been missed.
358:
359: \subsection{Modify $\m$}
360:
361: Perhaps there is some other way to modify $\m$, apart from the rescaling \rf{renorm}, such that the modified observable $\tm$ would remain non-zero across bulk and other unphysical transition points. We cannot say whether this is possible or impossible, but only remark that if $\tm$ approaches $\m$ in the continuum limit, i.e.\ if
362: \beq
363: \langle \tm \rangle_S \ra \langle \m \rangle_S ~~~ \mbox{at large~} \b
364: \label{mlimit}
365: \eeq
366: then, for same reasons as before, $\langle \m \rangle = 0$ at large $\b$ implies $\langle \tm \rangle = 0$ at large $\b$. Once again, the transition from $\langle \tm \rangle \ne 0$ to $\langle \tm \rangle = 0$ may occur at a different value of $\b$ than the transition in $\langle \m \rangle$, and the peak may be much broader and harder to detect at small volumes, but the limiting behavior \rf{mlimit} is essentially a guarantee that the transition
367: must exist at some coupling. \\\
368:
369:
370: \section{Conclusions}
371:
372: The trend of our data suggests that either the Pisa $\m$ operator, as currently defined, is not a reliable order parameter for the dual gauge symmetry breaking, or else that the confinement phase of a gauge theory is not necessarily a phase in which that symmetry is broken. If $\m$ is not a reliable order parameter, then it is necessary to understand why this is so; i.e.\ how it can happen, in a phase of broken symmetry, that nevertheless one may find $\langle \m \rangle = 0$, even at weak lattice couplings where lattice artifacts (such as $Z_2$ monopoles) are presumably irrelevant. If this point can be understood, then perhaps a more viable order parameter can be constructed.
373:
374: The other possibility is that confinement is not \emph{necessarily} tied to the breaking of a dual gauge symmetry, and it is possible for confinement to exist in the unbroken phase. In fact this would fit in rather well with previous results reported in ref.\ \cite{Billy}. There it was pointed out that different global subgroups of a gauge symmetry, associated with the Kugo-Ojima confinement criterion \cite{Kugo} and the Coulomb confinement criterion \cite{coulomb} respectively, break along different lines in the Fradkin-Shenker phase diagram, in regions where there does not exist any physical change of phase. Thus the very concept of a spontaneously broken gauge symmetry is a little ambiguous (since a global subgroup must be specified), and the broken or unbroken realization of the symmetry is not necessarily tied to confinement. The latter conclusion may also hold for global subgroups of the dual gauge symmetry.
375:
376: At this stage, we think it is not yet clear whether confinement is really independent of dual gauge symmetry breaking, or whether, alternatively, $\m$ as currently formulated is simply an imperfect order parameter for that breaking. The issue is not settled, and will require some further investigation.
377:
378:
379:
380:
381: \acknowledgments{We have benefited from discussions with Guido Cossu, Massimo D'Elia and Adriano di Giacomo.
382: B.L.\ is supported by a Royal Society University Research Fellowship; J.G.\ is supported in part by
383: the U.S.\ Department of Energy under Grant No.\ DE-FG03-92ER40711.}
384:
385:
386: \begin{thebibliography}{}
387: \bibitem{Elitzur} S. Elitzur, Phys. Rev. {\bf D12}, 3978 (1975).
388: \bibitem{Billy} W.~Caudy and J.~Greensite, arXiv:0712.0999 [hep-lat].
389: \bibitem{FS} E.\ Fradkin and S.\ Shenker, Phys. Rev. {\bf D19}, 3682 (1979).
390: \bibitem{OS} K.\ Osterwalder and E.\ Seiler, Ann. Phys. {\bf 110}, 140 (1978).
391: \bibitem{Adriano1} L.~Del Debbio, A.~Di Giacomo and G.~Paffuti,
392: Phys.\ Lett.\ B {\bf 349}, 513 (1995) [arXiv:hep-lat/9403013].
393: \bibitem{Adriano1a} A.~Di Giacomo and G.~Paffuti,
394: %``A disorder parameter for dual superconductivity in gauge theories,''
395: Phys.\ Rev.\ D {\bf 56}, 6816 (1997)
396: [arXiv:hep-lat/9707003].
397: \bibitem{ds1-2} A.~Di Giacomo, B.~Lucini, L.~Montesi and G.~Paffuti,
398: %``Colour confinement and dual superconductivity of the vacuum. I,''
399: Phys.\ Rev.\ D {\bf 61}, 034503 (2000)
400: [arXiv:hep-lat/9906024]; and
401: Phys.\ Rev.\ D {\bf 61}, 034504 (2000)
402: [arXiv:hep-lat/9906025].
403: \bibitem{Adriano2}
404: J.~M.~Carmona, M.~D'Elia, A.~Di Giacomo, B.~Lucini and G.~Paffuti,
405: Phys.\ Rev.\ D {\bf 64}, 114507 (2001) [arXiv:hep-lat/0103005].
406: \bibitem{creutz} M. Creutz, Phys.\ Rev.\ Lett.\ {\bf 46}, 1441 (1981).
407: \bibitem{biagio} B.~Lucini, M.~Teper and U.~Wenger,
408: %``Properties of the deconfining phase transition in SU(N) gauge theories,''
409: JHEP {\bf 0502}, 033 (2005)
410: [arXiv:hep-lat/0502003].
411: \bibitem{bhanot} G. Bhanot and M. Creutz, Phys.\ Rev.\ D {\bf 24}, 3212 (1981).
412: \bibitem{campos} I.~Campos, Nucl.\ Phys.\ B {\bf 514}, 336 (1998) [arXiv:hep-lat/9706020]; \\
413: W.~Langguth, I.~Montvay and P.~Weisz, Nucl.\ Phys.\ B {\bf 277}, 11 (1986); \\
414: J.~Jersak, C.~B.~Lang, T.~Neuhaus and G.~Vones, Phys.\ Rev.\ D {\bf 32}, 2761 (1985); \\
415: C.\ Lang, C.\ Rebbi, and M.\ Virasoro, Phys.\ Lett.\ \textbf{104B}, 294 (1981).
416: \bibitem{Cossu} G.~Cossu, M.~D'Elia, A.~Di Giacomo, C.~Pica and B.~Lucini,
417: PoS {\bf LAT2006}, 063 (2006) [arXiv:hep-lat/0609061].
418: \bibitem{MMP} G.~Burgio, M.~Fuhrmann, W.~Kerler and M.~Muller-Preussker,
419: Phys.\ Rev.\ D {\bf 75}, 014504 (2007) [arXiv:hep-lat/0610097]; \\
420: A.~Barresi, G.~Burgio, M.~D'Elia and M.~Mueller-Preussker,
421: Phys.\ Lett.\ B {\bf 599}, 278 (2004) [arXiv:hep-lat/0405004].
422: \bibitem{Kugo} T.~Kugo and I.~Ojima, Prog.\ Theor.\ Phys.\ Suppl.\ {\bf 66}, 1 (1979); \\
423: T.~Kugo, arXiv:hep-th/9511033; \\
424: H.~Hata, Prog.\ Theor.\ Phys.\ {\bf 69}, 1524 (1983).
425: \bibitem{coulomb} E.~Marinari, M.~L.~Paciello, G.~Parisi and B.~Taglienti,
426: Phys.\ Lett.\ B {\bf 298}, 400 (1993) [arXiv:hep-lat/9210021]; \\
427: J. Greensite, {\v S}. Olejn\'{\i}k, and D. Zwanziger, Phys. Rev. \textbf{D69}, 074506 (2004)
428: [arXiv: hep-lat/0401003].
429:
430: \end{thebibliography}
431:
432:
433: \end{document}
434: