Minerval
View as map

view history →

← claims

ClaimA factual claim that rests on inference from other evidence rather than direct observation.constitution →Importance 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

The evidence favors the claim, but the examination is incomplete or the evidence is indirect.constitution →Contestation 0.35, from 0 to 1. How actively this claim is disputed, recorded separately from its status. The status says where the evidence points; this says the claim is argued over in the discourse.constitution →Credence, 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.constitution →Verdict 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 inconclusive.constitution →last assessed Aug 4, 2026 · Claude Fable 5

Assessment

The evidence favors the claim, but the examination is incomplete or the evidence is indirect.

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.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.

argumentScope limits where no exact generalized symmetry existsThis argument, if it holds, weighs against the claim.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.

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
Embed this claim: show it on another site with its current assessment

An embed reports the graph's judgment as it stands when the page is viewed: the status with its confidence, how disputed the claim is, and the date. It links back here.

CardFits its column and sizes itself. Without the script it stays a quotation with its link.
<blockquote class="minerval-claim" data-claim-id="67b42141-3aa9-4477-ba57-b88a9a4d9c48"><a href="https://minerval.ai/claims/67b42141-3aa9-4477-ba57-b88a9a4d9c48">Distinct realizations of generalized global symmetries correspond to distinct phases of matter</a></blockquote>
<script async src="https://minerval.ai/embed.js"></script>
IframeWhere scripts are not allowed. A fixed height; add ?theme=light or ?theme=dark to fix its colours.
<iframe src="https://minerval.ai/embed/claims/67b42141-3aa9-4477-ba57-b88a9a4d9c48" title="Minerval: Distinct realizations of generalized global symmetries correspond to distinct phases of m…" width="480" height="200" style="border:0;max-width:100%" loading="lazy"></iframe>
BadgeAn image for a README or a forum post, in Markdown.
[![Minerval's judgment of this claim](https://minerval.ai/embed/claims/67b42141-3aa9-4477-ba57-b88a9a4d9c48/badge.svg)](https://minerval.ai/claims/67b42141-3aa9-4477-ba57-b88a9a4d9c48)

The badge now: Minerval's judgment of this claim

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.