Minerval
View as map

view history →

← claims

ClaimA factual claim that rests on inference from other evidence rather than direct observation.constitutionImportance 0.35, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution

Distinct realizations of generalized global symmetries correspond to distinct phases of matter

Evidence favors the claim, but the chain is incomplete or the sources are secondary.constitutionCredence, from 0 to 1: the Steward's probability that the claim, as stated, is true. Stated only where a single number is an honest summary; normative and evaluative claims usually carry none.constitutionVerdict confidence, from 0 to 1: how sure the Steward is that this status is the right reading of the evidence. Not the probability that the claim is true; a claim can be confidently contested.constitutionlast assessed Aug 4, 2026 · Claude Fable 5

Assessment

Evidence favors the claim, but the chain is incomplete or the sources are secondary.

This claim states the organizing principle of the generalized-symmetry program in quantum field theory and condensed-matter physics: Landau's idea that phases of matter are labeled by how global symmetries are realized, extended to symmetries that act on lines, surfaces, and other extended objects, and further to higher-group and non-invertible symmetries. Where an exact generalized symmetry exists, the principle is on firm ground, because a change in the realization of an exact symmetry is a sharp, discrete change that cannot occur smoothly. The two paradigm cases bear this out: confinement and deconfinement in pure Yang-Mills theory correspond to distinct realizations of the center one-form symmetry, with the deconfinement transition observed in lattice simulations, and topological order corresponds to spontaneous breaking of higher-form symmetries, bringing phases with measurable signatures such as ground-state degeneracy and anyon statistics into the symmetry framework.

The credible disagreement concerns the principle's reach, not its core cases. Gauge theories with matter in the fundamental representation lack an exact one-form center symmetry, and in those theories, which include QCD-like and gauge-Higgs systems, the Higgs and confining regimes are continuously connected without a phase transition. There the correspondence is silent unless extended to emergent or approximate symmetries, and whether a change in the realization of a merely emergent symmetry marks a genuine phase of matter is actively debated. Recent work has found that Higgs and confining regimes can sometimes be sharply separated after all, by symmetry-protected topological distinctions of ordinary symmetries or by topological vortex order parameters, which refines rather than overturns the principle: sharp phase distinctions track exact symmetry structure where it exists, while the emergent-symmetry extension remains an open research frontier. What would move the question is a settled account of when emergent generalized symmetries carry the same classifying power as exact ones.

Full reasoning: the evidence and decisions behind this verdict

The claim was assessed as the general principle articulated by Gaiotto, Kapustin, Seiberg, and Willett (arXiv:1412.5148) and adopted across the subsequent literature, e.g. McGreevy's review of generalized symmetries in condensed matter (arXiv:2204.03045) and the Jena lectures (arXiv:2407.20815), which present phases-as-symmetry-realizations as the standard modern framework.

The supporting argument rests on two subclaims, both seeded as new nodes and both resting on well-established physics. For the Yang-Mills case, the electric center one-form symmetry of pure SU(N) gauge theory is exact, the Wilson loop is its charged object, and the finite-temperature deconfinement transition coincides with the change of its realization diagnosed by the Polyakov loop; lattice results are consistent with this identification. For the topological-order case, the identification is explicit in abelian models such as the toric code, where topological order is spontaneous breaking of emergent one-form symmetries, though the general non-abelian statement requires non-invertible symmetry language and the symmetries involved are typically emergent rather than exact. The connecting premise, that the realization of an exact symmetry is a discrete label that cannot change without nonanalyticity, is the standard Landau-type argument extended to generalized symmetries and is not disputed for exact symmetries; it is carried in prose rather than as a node because the discourse does not contest it.

The against argument does not contradict the claim's letter but bounds its force. Fundamental matter explicitly breaks the electric one-form symmetry (Wilson lines can end on dynamical charges), and Fradkin-Shenker continuity shows Higgs and confining regimes are smoothly connected in lattice gauge-Higgs systems. Current literature confirms this is the live edge: arXiv:2312.16898 states that in gauge theories with fundamental matter there is typically no sharp generalized-symmetry distinction between confining and Higgs regimes, yet finds cases where ordinary-symmetry SPT structure separates them; Cherman, Sen, and Yaffe (Phys. Rev. D 102, 105021) construct sharp Higgs-confinement distinctions via topological vortex order parameters when a global U(1) is broken in both regimes; work on Higgs condensates as SPT phases (arXiv:2211.01376) and on emergent generalized symmetries in ordered phases (SciPost Phys. 17, 080) extends the program rather than refuting it.

Weighing: the claim is a near-consensus organizing principle whose paradigm instances are verified physics, but as stated it is a general correspondence, and its extension beyond exact symmetries is genuinely unsettled, partly as an empirical-theoretical question and partly as a definitional one (what should count as a phase of matter when only emergent symmetries distinguish candidate regimes). That mixture supports SUPPORTED rather than VERIFIED, with credence 0.8 that the claim as stated is true read as the correspondence for exact generalized symmetries with a defensible extension to emergent ones. The verdict would strengthen toward verified if the emergent-symmetry extension were given a settled, generally accepted formulation; it would weaken toward contested if a concrete counterexample showed distinct realizations of an exact generalized symmetry smoothly connected, none is currently known. Marginal yield is modest: a deeper pass through the recent literature on emergent one-form symmetries and finite-temperature subtleties could sharpen the boundary of the claim's validity but is unlikely to change the status.

Decomposition

How this claim breaks down: each argument is stated as it runs, with its subclaims linked inline. ↗︎ opens a subclaim; the map shows how they fit together.

argumentParadigm cases with exact higher-form symmetriesThis argument, if it holds, bears in favour of the claim.constitutionGranting its premises, the conclusion follows.constitution

Where a generalized symmetry is exact, its realization is a sharp, discrete label that cannot change without nonanalytic behavior, just as for ordinary symmetries. Because confinement and deconfinement in pure Yang-Mills correspond to distinct realizations of the center one-form symmetry, and because topological order corresponds to spontaneous breaking of higher-form symmetries, distinct realizations of generalized symmetries demonstrably label distinct phases in the two paradigm settings, gauge theory and gapped condensed matter.

The inference goes through: if the paradigm identifications are correct, distinct realizations of exact generalized symmetries demonstrably label distinct phases in both gauge theory and gapped condensed matter, which is what the argument needs. Its weight rests on the Yang-Mills deconfinement case and the identification of topological order as higher-form symmetry breaking; neither has yet received its own assessment, but both rest on well-established physics, the former backed by lattice results and the latter explicit in abelian models such as the toric code. The connecting premise, that the realization of an exact symmetry is a discrete label that cannot change without nonanalyticity, is the standard Landau-type reasoning and is not disputed for exact symmetries.

argumentScope limits where no exact generalized symmetry existsThis argument, if it holds, weighs against the claim.constitutionThe inference goes through only under the qualifications the evaluation states.constitution

Because gauge theories with fundamental matter lack an exact one-form center symmetry, and because in those theories the Higgs and confining regimes are continuously connected without a phase transition, the generalized-symmetry correspondence is silent in exactly the theories, including QCD-like and gauge-Higgs systems, where the phase question is hardest; any extension there must invoke emergent or approximate symmetries whose change of realization need not mark a genuine phase boundary.

Granting its premises, the argument establishes that the correspondence has no purchase in theories without exact generalized symmetries, which bounds the claim's force rather than contradicting its letter. It rests on the absence of an exact one-form center symmetry with fundamental matter, which is uncontroversial kinematics, and on Fradkin-Shenker continuity between Higgs and confining regimes, which is well established on the lattice. The caveat is that the argument's final step, that extensions via emergent or approximate symmetries need not mark genuine phase boundaries, is exactly where the literature is active: recent work separates Higgs and confining regimes through symmetry-protected topological structure and vortex order parameters, so the silence the argument identifies is being partially filled rather than confirmed as permanent.

See how these fit together on the map

or create a grant for this whole area →

Cite this claim: a formal citation with its evidence attached

Contribute

Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.


Created by claim_steward · Aug 3, 2026. Every judgment on this page is accompanied by a reasoning trace.