Gauge-invariant, non-perturbative determination of the unbroken gauge symmetry and stable string spectrum in non-Abelian gauge-Higgs systems

When a gauge group $G$ is partially broken to a subgroup $H$ by a Higgs field, the magnetic vortices (strings) that remain topologically stable interact with electric charges through the Aharonov-Bohm effect, and Alford, Lee, March-Russell and Preskill (Nucl. Phys. B 384 (1992) 251) proposed to use these interactions, packaged into gauge-invariant order parameters built from Wilson loops and string-insertion operators, to diagnose the realization of the gauge symmetry. Their analysis, however, was controlled only at weak coupling and mostly for discrete groups, and they identified a basic obstruction: virtual string loops that nucleate and wind around the calibration basepoint conjugate the measured flux, so only traced (character) measurements are robust, and the dominance of a single screened charge component hides the transformation properties of the others, so trivial behavior of the order parameter does not determine the unbroken subgroup. The open problem is to construct a general, gauge-invariant, non-perturbatively valid procedure that determines the unbroken subgroup $H$ (up to conjugacy) and the stable dynamical string spectrum from correlation functions in a general non-Abelian gauge-Higgs system, including continuous gauge groups, together with explicit non-perturbative tests. Later literature supplies partial answers for Abelian theories, fundamental-representation matter, and discrete gauge theories in 2+1 dimensions, but the genuinely non-Abelian partial-breaking case remains unsettled.

Background

A gauge-Higgs system is a non-Abelian gauge theory with scalar (Higgs) fields whose vacuum expectation value reduces the gauge symmetry from a group $G$ to a subgroup $H$; the residual $H$ is a local redundancy rather than a physical global symmetry, and only gauge-invariant quantities are observable (local gauge symmetries cannot be spontaneously broken, as shown by Elitzur in 1975). When $H$ is discrete (or when $G$ is compact and the relevant flux sectors are discrete), the theory supports topologically stable vortex lines in 2+1 dimensions, or strings in 3+1 dimensions, each labeled by a conjugacy class of $G$: the group element $a$ measured by transporting a charge around the vortex is only defined up to conjugation $a\mapsto bab^{-1}$. A charged particle in an irreducible representation $\nu$ of $G$ that winds around such a vortex acquires the matrix phase $D^{(\nu)}(a)$ — the field-theoretic Aharonov-Bohm effect. Because screening by dynamical charges in representations of $H$ can neutralize a probe charge, and because an irreducible representation of $G$ is in general reducible when restricted to $H$, the long-distance behavior of a Wilson loop (the trace of the holonomy around a closed path) is dominated by whichever $H$-representation component is least screened, and this is a dynamical question.

Alford, Lee, March-Russell and Preskill developed an operator formalism for these questions: an operator $F_a$ inserts a classical string world sheet carrying flux $a$; an operator $B_a$ creates a dynamical string loop; dividing the correlator of $F_a$ with a Wilson loop by the individual expectation values defines an Aharonov-Bohm order parameter $A^{(\nu)}_a$ whose limiting value in a phase with free unscreened $G$-charges is the character $\chi^{(\nu)}(a^k)$ with $k$ the linking number. For a discrete group $G$ broken to a normal subgroup $H$, correlators of products of $B_a$ operators with hierarchically ordered loop sizes can reconstruct $H$ up to one overall conjugation, an ambiguity the authors note is expected, since it corresponds to the gauge freedom of the embedding of $H$ in $G$. Three obstructions, however, limit the construction. First, charge screening: if the order parameter behaves trivially for all $a$, one only learns that the dominant charge in $\nu$ is screened, not how the other $H$-components interact with strings, so a trivial result does not determine the screening pattern. Second, basepoint conjugation: the calibration of a definite flux $a$ (as opposed to a conjugacy class) requires paths (tails) running to a basepoint $x_0$, and a virtual vortex loop that nucleates, lassoes the basepoint and reannihilates conjugates the measured flux at finite order in weak coupling, with corrections that do not decay as the operator sizes grow; only traced (character) measurements are immune, so the matrix-valued, representation-resolving information is uncontrolled beyond perturbation theory. Third, string stability versus screening: the competition between the renormalized tension of the classical string source and the energy of a dynamical string can make a flux insertion look stable even when $a$ does not lie in $H$, or mask a genuine stable string, and no non-perturbative criterion separates the cases. The renormalized tensions and masses themselves were computed only at leading weak-coupling order, and although the constructions generalize formally to continuous groups, no complete treatment or non-perturbative test was given for them.

The broader context is the classification of phases of gauge theories coupled to matter. Fradkin and Shenker (1979) and Osterwalder and Seiler showed that for fundamental-representation Higgs fields the Higgs and confinement regimes are analytically connected, so no local order parameter separates them; the Aharonov-Bohm program was proposed precisely as a gauge-invariant probe that could nevertheless distinguish realizations of the symmetry, including oblique realizations ('t Hooft's confinement schemes in which the condensing objects are dyons — composites of electric charge and magnetic flux — so that vacua are additionally labeled by a periodic parameter) and the topological order left when $H$ is discrete — the discrete $H$ gauge theory whose excitation spectrum (fluxes, charges and dyons, the latter again composites of electric charge and magnetic flux, together with their braid and fusion rules) is organized by the quantum double $D(H)$, the Hopf algebra (a mathematical structure generalizing group symmetry, in which symmetry operations fuse as well as multiply) that encodes the spin and statistics of these particles. In modern language, the abelian part of this structure is captured by higher-form symmetries — symmetries whose charged objects are extended (loops) rather than pointlike — whose breaking is detected by the scaling of Wilson loops and 't Hooft loops (the magnetic-dual line operators that insert magnetic flux), while a non-Abelian $H$ corresponds to a non-invertible, or quantum-group, symmetry, whose operators compose by fusion instead of by group multiplication. The question of what symmetry is actually realized, asked purely through gauge-invariant correlators, is thus still live: recent work constructs gauge-invariant order parameters for the remnant global symmetry of $SU(N)$ gauge-Higgs theory with fundamental matter (the remnant global symmetry is the subgroup of the gauge group that survives a partial gauge fixing and, unlike the local gauge symmetry, can break spontaneously) and gauge-invariant vortex-line/Wilson-line correlators for Abelian lattice theories, but the non-Abelian partial-breaking case that motivated the original program has no accepted answer.

Problem Statement

Construct a general, gauge-invariant, non-perturbatively valid characterization of the realized gauge symmetry in a non-Abelian gauge-Higgs system — the program proposed but not completed by Alford, Lee, March-Russell and Preskill. Concretely, the problem is to supply, and validate non-perturbatively, the following interlinked elements, which together answer one question: what symmetry and string spectrum does a given non-Abelian gauge-Higgs theory actually realize, as read off from gauge-invariant correlation functions alone? The four elements are interlinked and posed jointly: items 1–3 together constitute the non-perturbatively valid procedure that determines $H$ up to conjugacy and the stable dynamical string spectrum, and item 4 requires that this procedure extend to continuous non-Abelian $G$ and be backed by at least one explicit non-perturbative demonstration for a named class of breaking patterns.

1. Unbroken subgroup. A constructive procedure, applicable to a general non-Abelian gauge group $G$ (discrete or continuous) broken dynamically to a subgroup $H$ (in particular non-Abelian or non-normal $H$), that determines $H$ up to the expected overall conjugation from correlation functions of gauge-invariant line and surface operators — resolving the obstruction that a Wilson loop in a $G$-representation $\nu$ is asymptotically dominated by a single, dynamically selected $H$-component, so that trivial behavior of the Aharonov-Bohm order parameter for all fluxes only reveals screening, not the full screening pattern and not the transformation properties of the unscreened components.

2. Non-perturbative validity of the calibration. A non-perturbative account of the basepoint-conjugation effects: virtual string (vortex) loops that nucleate and lasso the calibration basepoint conjugate the measured flux at finite coupling, which at weak coupling spoils the untraced (matrix-valued) Aharonov-Bohm measurements while leaving characters intact. The question is under what non-perturbative conditions, if any, representation-resolving (untraced) information is extractable, and what precisely survives in a fully dynamical theory.

3. Stable strings versus screening. A criterion, valid beyond weak coupling, for deciding when a string-creation operator $B_a$ creates a genuine stable dynamical string whose flux lies in the unbroken group, and when the competing renormalization of the classical string tension versus dynamical string (or monopole) energies masks the insertion — together with the higher-order and non-perturbative corrections to the weak-coupling renormalized tensions and masses on which such a criterion would rest.

4. Continuous groups and non-perturbative tests. The extension of the Aharonov-Bohm order-parameter framework to continuous non-Abelian gauge groups, with explicit non-perturbative tests, going beyond the cases settled in later work: Abelian Higgs models, fundamental-representation matter in $SU(N)$, and discrete gauge theories in 2+1 dimensions.

References

1. M. G. Alford, K.-M. Lee, J. March-Russell and J. Preskill, 'Quantum field theory of non-abelian strings and vortices', Nucl. Phys. B 384 (1992) 251-317, DOI 10.1016/0550-3213(92)90468-Q, arXiv:hep-th/9112038, https://arxiv.org/abs/hep-th/9112038
2. S. Elitzur, 'Impossibility of Spontaneously Breaking Local Symmetries', Phys. Rev. D 12 (1975) 3978-3982, DOI 10.1103/PhysRevD.12.3978, https://doi.org/10.1103/PhysRevD.12.3978
3. E. H. Fradkin and S. H. Shenker, 'Phase Diagrams of Lattice Gauge Theories with Higgs Fields', Phys. Rev. D 19 (1979) 3682-3697, DOI 10.1103/PhysRevD.19.3682, https://doi.org/10.1103/PhysRevD.19.3682
4. K. Osterwalder and E. Seiler, 'Gauge field theories on a lattice', Annals of Physics 110 (1978) 440-471, DOI 10.1016/0003-4916(78)90039-8, https://doi.org/10.1016/0003-4916(78)90039-8
5. H.-K. Lo and J. Preskill, 'Non-Abelian vortices and non-Abelian statistics', Phys. Rev. D 48 (1993) 4821-4834, DOI 10.1103/PhysRevD.48.4821, arXiv:hep-th/9306006, https://arxiv.org/abs/hep-th/9306006
6. H.-K. Lo, 'Aharonov-Bohm order parameters for non-Abelian gauge theories', Phys. Rev. D 52 (1995) 7247-7264, DOI 10.1103/PhysRevD.52.7247, arXiv:hep-th/9502080, https://arxiv.org/abs/hep-th/9502080
7. H.-K. Lo, 'Elusive order parameters for non-Abelian gauge theories', arXiv:hep-th/9502079, https://arxiv.org/abs/hep-th/9502079
8. M. de Wild Propitius and F. A. Bais, 'Discrete gauge theories', arXiv:hep-th/9511201, https://arxiv.org/abs/hep-th/9511201
9. F. A. Bais and J. C. Romers, 'Anyonic order parameters for discrete gauge theories on the lattice', Annals of Physics 324 (2009) 1168-1175, DOI 10.1016/j.aop.2009.01.002, arXiv:0812.2256, https://arxiv.org/abs/0812.2256
10. F. A. Bais and J. C. Romers, 'The modular S-matrix as order parameter for topological phase transitions', New J. Phys. 14 (2012) 035024, DOI 10.1088/1367-2630/14/3/035024, arXiv:1108.0683, https://arxiv.org/abs/1108.0683
11. D. Beckman, D. Gottesman, A. Kitaev and J. Preskill, 'Measurability of Wilson loop operators', Phys. Rev. D 65 (2002) 065022, DOI 10.1103/PhysRevD.65.065022, arXiv:hep-th/0110205, https://arxiv.org/abs/hep-th/0110205
12. M. N. Chernodub, F. V. Gubarev and M. I. Polikarpov, 'Aharonov-Bohm effect in lattice Abelian Higgs theory', Phys. Lett. B 416 (1998) 379-384, DOI 10.1016/S0370-2693(97)01354-3, arXiv:hep-lat/9704021, https://arxiv.org/abs/hep-lat/9704021
13. M. I. Polikarpov, 'Recent results on the Abelian projection of lattice gluodynamics', Nucl. Phys. B Proc. Suppl. 53 (1997) 134-140, DOI 10.1016/S0920-5632(96)00607-X, arXiv:hep-lat/9609020, https://arxiv.org/abs/hep-lat/9609020
14. D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett, 'Generalized Global Symmetries', JHEP 02 (2015) 172, DOI 10.1007/JHEP02(2015)172, arXiv:1412.5148, https://arxiv.org/abs/1412.5148
15. J. Greensite and K. Matsuyama, 'What symmetry is actually broken in the Higgs phase of a gauge-Higgs theory?', Phys. Rev. D 98 (2018) 074504, DOI 10.1103/PhysRevD.98.074504, arXiv:1805.00985, https://arxiv.org/abs/1805.00985
16. A. Cherman, T. Jacobson, S. Sen and L. G. Yaffe, 'Higgs-confinement phase transitions with fundamental representation matter', Phys. Rev. D 102 (2020) 105021, DOI 10.1103/PhysRevD.102.105021, arXiv:2007.08539, https://arxiv.org/abs/2007.08539
17. A. Cherman, T. Jacobson, S. Sen and L. G. Yaffe, 'Line operators, vortex statistics, and Higgs versus confinement dynamics', JHEP 06 (2024) 200, DOI 10.1007/JHEP06(2024)200, arXiv:2401.17489, https://arxiv.org/abs/2401.17489
18. Y. Hayashi, 'Higgs-Confinement Continuity and Matching of Aharonov-Bohm Phases', Phys. Rev. Lett. 132 (2024) 221901, DOI 10.1103/PhysRevLett.132.221901, arXiv:2303.02129, https://arxiv.org/abs/2303.02129