A General No-Go Theorem

DOI: 10.5281/zenodo.21433976

(c)July 2026* Sergej Materov\

Abstract

During repeated attempts to derive the observed three-generation flavor hierarchy solely from an exact graph symmetry, every construction either preserved exact multiplet degeneracy or required external symmetrybreaking input. This suggested that the obstruction was intrinsic to symmetry-complete theories rather than to any particular graph construction, motivating the general no-go theorem proved here.

A recurring claim across several research programs - discrete flavor-symmetry model building (Aₙ, Sₙ, Δ(27) family symmetries), Froggatt–Nielsen-type charge assignments, and combinatorial or graph-based approaches to emergent spacetime and particle content - is that the observed hierarchy of fermion masses, mixing angles, or analogous multiplet splitting's can be derived from symmetry considerations alone, without an independently motivated symmetry-breaking sector. We show this is impossible in a precise, model-independent sense. If a theory is defined entirely by a symmetry group S, a covariant representation Γ of S, and dynamics Hₘᴇ covariant under S, then no numerical value can be derived within that theory for the splitting between components of a nontrivial irreducible multiplet of observables, beyond the trivial statement that the splitting is exactly zero when the theory's distinguished state is S-invariant. If the distinguished state instead spontaneously breaks S, the direction of breaking is undetermined by the theory, and even granting a direction, the typical magnitude of splitting predicted by a symmetry-neutral (Haar-random) prior is O(1) between multiplet components — so any large observed hierarchy is itself evidence of a further, non-symmetry input. The result is an exact operator-level sharpening of Curie's symmetry principle (1894) via the Wigner–Eckart theorem (1927), together with the standard vacuum-selection problem of spontaneous symmetry breaking (Goldstone 1961; Goldstone, Salam & Weinberg 1962). It applies to any "symmetry-complete" theory - continuum or discrete, field-theoretic or latticebased and identifies exactly which additional, non-symmetry ingredient any such theory must supply.

1. Historical Context

The results below are not new physics. They are an exact, operator-level version of two classical results, stated together with a precision that is occasionally lost in informal usage.

Curie's principle (1894): "When certain causes produce certain effects, the symmetry elements of the causes must be found in the effects." Equivalently: an effect cannot have less symmetry than its cause. The theorem below gives the precise, quantitative operator statement of this principle for matrix elements, and identifies exactly what must be added to a symmetric cause to obtain an asymmetric effect.

The Wigner–Eckart theorem (Wigner 1927; Eckart 1930): a matrix element of a spherical-tensor (irreduciblerepresentation) operator between angular-momentum eigenstates factorizes into a Clebsch–Gordan coefficient and a reduced matrix element; the coefficient vanishes when the representation content does not permit the transition. Section 2 below is the same statement stripped of the specific group SO(3) and specific coordinates, applied to the case of a diagonal matrix element in a single S-invariant state.

\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_

\*Independed Researcher. ORCID: 0009-0001-3398-9906. E-mail: sergejmaterov2@gmail.com

Spontaneous symmetry breaking and vacuum degeneracy (Goldstone 1961; Goldstone–Salam–Weinberg 1962): when the ground state does not share the symmetry of the dynamics, the vacuum manifold forms an orbit of the symmetry group, and no rule internal to the dynamics selects a point on that orbit. Section 3 restates this as a precise obstruction for any theory that admits no external input.

What is new here is only the packaging: a single, short, model-independent theorem, together with an explicit typicality bound (Section 4) quantifying how large a splitting a generic, non-fine-tuned direction of breaking can plausibly produce. This is intended as a citable reference result to be invoked whenever a symmetry-complete theory is asked to explain a specific, large numerical hierarchy.

1.1 Scope of Applicability

The theorem is stated abstractly (§2) so as to apply uniformly to several otherwise unrelated research programs that share the same logical structure — a claim that a symmetry group, together with covariant dynamics, suffices to fix a quantitative splitting pattern:

  • Discrete flavor-symmetry model building (A₄, S₃, S₄, Δ(27), and related family symmetries), where fermion mass hierarchies and mixing angles are sought from the representation content of a flavor group (Altarelli–Feruglio and the subsequent literature). Most serious constructions in this line already introduce an explicit flavon sector with its own potential, i.e. they already supply the external input this theorem shows to be necessary, typically without stating the requirement in this general form.
  • Froggatt–Nielsen-type constructions, where a discrete charge assignment is introduced by hand specifically to generate hierarchies - an explicit acknowledgment, in practice, of Theorem B/Proposition C below.
  • Combinatorial and graph-based approaches to emergent spacetime and matter content, including loop quantum gravity and spin-network models (Rovelli, Smolin), causal set theory, and related programs where macroscopic symmetries (isotropy, gauge structure, particle multiplets) are proposed to arise purely from the superposition or coarse-graining of a symmetric microscopic substrate - an application, in spirit, of Curie's principle at the Planck scale. The theorem applies whenever such a program further claims to derive quantitative (not merely qualitative) splittings within an emergent multiplet from the microscopic symmetry alone.
  • Grand unified models that attempt to fix Yukawa hierarchies from the group-theoretic content of a single unifying representation, without an independently motivated Higgs/flavon sector beyond the minimal one required for gauge symmetry breaking.

The Standard Model itself is not in scope: its Yukawa couplings are free parameters of the Lagrangian, not quantities claimed to be derived from the gauge group's representation theory, so it is not "symmetry-complete" in the sense of Definition 1. Likewise, any theory that already, explicitly, introduces a second ingredient beyond (S,Γ,,Ĥₘᴇₙ) is a flavon field, an extra-dimensional profile, an explicit texture — is not constrained by this theorem beyond the (now discharged) requirement that such an ingredient be present.

2. Setup

Let:

  • S a group (finite, or compact Lie the proof is identical; for Lie groups replace group-averages below by integrals against the Haar measure).
  • Γ: S → U(ℒ) a unitary representation of S on the theory's Hilbert space ℒ.
  • an algebra of observables closed under S-conjugation: for all Ô∈ and g∈S, ΓₘÔΓₘ⁻¹ ∈ .
  • Ĥₘᴇₙ a generator of dynamics, S-covariant: ΓₘĤₘᴇₙΓₘ⁻¹ = Ĥₘᴇₙ for all g∈S.
  • Ω the state singled out by the theory through an S-covariant rule and no other input (e.g. the unique ground state of Ĥₘᴇₙ, or the unique S-invariant Gibbs/stationary state) — not a state chosen by any additional, non-S-derived criterion.

Definition 1 (Symmetry-complete theory). The tuple = (S, Γ, , Ĥₘᴇₙ, Ω) is called symmetry-complete if every ingredient above is determined by S and by nothing else — in particular, Ω is not selected by any datum external to (S, Γ, , Ĥₘᴇₙ).

Definition 2 (Non-trivial multiplet). A finite set of observables {Ôₐ}ᵣᵤₑ–₁ ⊆ is a d-dimensional multiplet transforming under an irreducible representation ρ of S if ΓₘÔₐΓₘ⁻¹ = Σᵢ D(g)ᵢₐ Ôᵢ for all g∈S, where D is the matrix form of ρ. The multiplet is non-trivial if ρ is not the trivial (identity) representation.

3. Theorem A: Exact Vanishing (S-invariant Ω)

Theorem A.

Let = (S, Γ, , Ĥₘᴇₙ, Ω) be symmetry-complete, with ΓₘΩ = Ω for all g∈S (automatic when Ω is a nondegenerate ground state of the covariant Ĥₘᴇₙ, since Γₘ then maps the ground eigenspace to itself and nondegeneracy forces ΓₘΩ = eiθ(g)Ω, and an overall phase can be absorbed by redefining Γ). Let {Ôₐ} be any non-trivial multiplet (Definition 2). Then

$$\langle \Omega | \hat{O}_a | \Omega \rangle = 0$$ for every $a = 1,...,d$ .

*The value is exactly zero, not merely small: no refinement of the dynamics Ĥₘᴇₙ within can change it, because the vanishing follows from representation theory alone.*

Proof.

Define vₐ := ⟨Ω|Ôₐ|Ω⟩. Using ΓₘΩ = Ω and unitarity of Γₘ:

$$v_a = \langle \Omega | \hat{O}_a | \Omega \rangle = \langle \Gamma_m \Omega | \hat{O}_a | \Gamma_m \Omega \rangle = \langle \Omega | \Gamma_m^{-1} \hat{O}_a \Gamma_m | \Omega \rangle = \Sigma_i \; D(g)_{ia} \; \langle \Omega | \hat{O}_i | \Omega \rangle = \Sigma_i \; D(g)_{ia} \; v_i \; , \; \; \forall g \in S.$$

Hence the vector v = (v₁,…,vₑ) is invariant under the action of S in representation ρ: v = ρ(g)v for all g. Averaging over the group,

$$v = (\frac{1}{|S|} \Sigma_{g \in S} \rho(g)) v \quad \text{[or } v = \int_{S} \rho(g) d\mu(g) \cdot v \text{, for compact Lie S]}.$$

The averaged operator on the right is exactly the projector onto the trivial isotypic component of ρ. By Schur orthogonality, this projector is identically zero whenever ρ contains no trivial subrepresentation - which holds by hypothesis, since ρ is non-trivial and irreducible. Therefore v = 0. ∎

This is precisely the Wigner–Eckart theorem specialized to a diagonal matrix element in a single S-invariant state: the "Clebsch–Gordan coefficient" governing trivial ⊗ ρ ⊗ trivial → trivial vanishes unless ρ = trivial.

Corollary (exact Curie principle). No amount of computation performed strictly within and Ĥₘᴇₙ can produce a non-zero splitting among the components of a non-trivial multiplet, when the theory's state is Sinvariant. The vanishing is a logical consequence of the representation content, not a numerically small or "finetuned-away" quantity - increasing precision, computing power, or model detail cannot move it off zero.

Remark A.1 (the UV-completion regress does not evade the theorem). A natural objection is that potential parameters (e.g. a Higgs-sector m², λ) need not be "external" in the informal sense if they are themselves the output of some higher-energy dynamics. This does not evade Theorem A: either that UV dynamics is itself symmetry-complete under some (possibly larger) group S′, in which case the theorem applies verbatim one level up - the obstruction simply relocates, it does not disappear - or the UV theory supplies its parameters as free/measured inputs, in which case it is precisely the external datum s the theorem requires, merely pushed to a higher scale. There is no finite regress that terminates in a symmetry-complete theory with a non-trivial multiplet splitting; at whatever level the regress stops, that level must contain a non-S-derived input.

Remark A.2 (hidden external input via dynamical scale generation). External input need not take the form of an explicit dimensionful parameter written into Ĥₘᴇₙ. Dynamical scale generation -e.g. dimensional transmutation in an asymptotically free gauge theory, where a scale Λ is generated from the running of a classically dimensionless coupling g(μ) — also requires external input, in the form of a boundary condition g(μ₀) fixing the integration constant of the renormalization-group flow. Nothing in (S,Γ,,Ĥₘᴇₙ) alone selects this boundary value; it is again a datum s ∉ (S,Γ,,Ĥₘᴇₙ), simply supplied at the level of a renormalization scheme rather than a Lagrangian mass term. The theorem is agnostic to the form the external input takes is explicit parameter, flavon vacuum expectation value, or RG boundary condition - only to its necessity.

4. Theorem B: The Vacuum-Selection Obstruction (degenerate Ω)

Theorem A assumed ΓₘΩ = Ω. Suppose instead Ω is degenerate and the degenerate manifold itself transforms non-trivially under S (spontaneous symmetry breaking to a subgroup H ⊂ S). Theorem A no longer applies directly, and a specific representative Ω₀ of the degenerate manifold can have non-zero vₐ = ⟨Ω₀|Ôₐ|Ω₀⟩.

Theorem B.

Under the hypotheses above, the set of states compatible with is the full orbit {ΓₘΩ₀ : g∈S} ≅ S/H. The data (S, Γ, , Ĥₘᴇₙ) contain no rule selecting a particular point on this orbit: for any two g₁,g₂∈S, the states 1Ω₀ and 2Ω₀ give physically isomorphic (S-conjugate) theories. Selecting one particular Ω₀ therefore requires a datum s ∉ (S,Γ,,Ĥₘᴇₙ).

Justification.

This is the standard vacuum-selection problem of spontaneous symmetry breaking (Goldstone 1961; Goldstone– Salam–Weinberg 1962): a symmetric Hamiltonian with a degenerate, symmetry-related family of ground states

does not itself specify which ground state is realized. In the thermodynamic / continuum limit, physical selection occurs via an infinitesimal explicit symmetry-breaking seed, taken to zero only after the limit and the direction of that seed is external data by construction, not a consequence of Ĥₘᴇₙ. Equivalently: distinct points of the orbit lie in different superselection sectors, related by the unbroken part of the symmetry, and no operator in connects them or prefers one over another.

Remark B.1 (Theorem B is strictly an infinite-volume statement; finite systems default to Theorem A). For finite S acting on a finite-dimensional ℒ, exact ground-state degeneracy across a full non-trivial orbit is nongeneric: level splitting between classically degenerate configurations typically survives as an exponentially small but non-zero tunneling amplitude (the finite-size transverse-field Ising chain is the textbook example its true ground state remains unique and symmetric at any finite size, with the symmetry-broken doublet only becoming exactly degenerate as the system size, and hence the tunneling suppression, is taken to infinity). Consequently, for finite systems Theorem A - not Theorem B - is generically the operative statement: Ω is typically unique and Sinvariant, and the exact-zero conclusion of Theorem A applies literally, not merely as an idealization. Theorem B becomes physically operative only in the strict thermodynamic or continuum limit, where tunneling between orbit points is suppressed to exactly zero rather than merely exponentially small. A theory formulated on a finite substrate that reaches its symmetry-breaking claims only after an idealized infinite-volume limit should state this limit explicitly, since the finite-volume theory it is built from is, before that limit, governed by the stronger and more restrictive Theorem A.

5. Proposition C: Typicality Bound on the Magnitude of Breaking

Theorem B shows the direction s of breaking is external input. A natural follow-up question is whether, once a direction is externally fixed, the resulting splitting magnitude can still be "natural" (unsuppressed, not itself requiring fine-tuning) even for a large observed hierarchy. The following is a quantitative, non-rigorous (probabilistic, not deductive) companion to Theorems A–B.

Proposition C.

Let ρ be a d-dimensional (d ≥ 2) irreducible representation of S, and let the symmetry-breaking perturbation acting within the multiplet be modelled by a Haar-random (i.e. direction-neutral, symmetry-agnostic) small matrix M in the representation space - the maximum-entropy prior consistent with no preferred direction. Then the typical (median) ratio of the resulting split eigenvalues is O(1); ratios exceeding ≈ 20 occur with prior probability below ≈ 6%, and ratios exceeding ≈ 200 with probability below ≈ 1% (numerically verified for d = 2 via 20{,}000 Gaussian-Orthogonal-Ensemble samples; median ratio ≈ 2.4, 90th percentile ≈ 12.6, 99th percentile ≈ 126).

*Consequently, an observed splitting ratio far above O(10) is itself evidence that the realized direction/magnitude of symmetry breaking is atypical relative to a symmetry-neutral prior — i.e. it constitutes a second piece of information beyond "some small breaking occurs," and must be supplied or explained separately from the bare existence of a non-zero vₐ.*

Remark C.1 (scope: linear versus threshold/exponential mechanisms). Proposition C is a statistical statement about a specific, common class of mechanisms - those in which the multiplet-space perturbation enters the mass operator linearly (or otherwise polynomially) in the symmetry-breaking parameter. It is not a universal obstruction. Mechanisms in which the observable depends on the breaking parameter non-linearly - e.g. seesawtype suppression (m ∼ y²v²/M, exponential in a hierarchy of scales rather than linear in a single small parameter)

or wavefunction-overlap/localization suppression (m ∼ e⁻ᶜᵈ, exponential in a distance or an extra-dimensional coordinate) - can generate large hierarchies from an O(1) change in an underlying discrete or continuous input, without that input itself being statistically atypical. This does not exempt such mechanisms from Theorem A/B is the discrete charge, mass scale M, or localization coordinate is itself exactly the external datum s of Theorem B, now entering non-linearly rather than linearly - but it does mean Proposition C's typicality bound should not be read as applying uniformly to every possible symmetry-breaking mechanism, only to the linear/direct class against which it is stated.

6. Main Result

Theorem (No-Go for Quantitative Multiplet Splitting).

Let = (S,Γ,,Ĥₘᴇₙ,Ω) be symmetry-complete (Definition 1), and let {Ôₐ} be any non-trivial irreducible multiplet of observables (Definition 2). Then:

  • (i) If Ω is S-invariant: all components of the multiplet are exactly degenerate, ⟨Ω|Ôₐ|Ω⟩ = 0 identically (Theorem A) — not approximately, not "negligibly small," but a forced logical consequence of the representation content.
  • (ii) If Ω spontaneously breaks S: the direction of breaking is undetermined by and requires an external datum (Theorem B).
  • (iii) Even granting a direction externally: the magnitude required to reproduce a large observed hierarchy is itself, generically, atypical relative to a symmetry-neutral prior, and so constitutes further information beyond the bare symmetry-breaking mechanism (Proposition C).

Hence: quantitative prediction of intra-multiplet splittings requires at minimum one (nondegenerate Ω broken by hand - not permitted within at all, cf. (i)) or, more precisely, at least two independent empirical inputs beyond (S,Γ,,Ĥₘᴇₙ) in the spontaneously-broken case: a direction and a magnitude. No symmetry-complete theory, however detailed its covariant dynamics, can supply these from S alone.

7. Scope: What the Theorem Does Not Forbid

The result is deliberately narrow, and it is important to state its limits precisely so that it is not mis-cited as a broader impossibility result than it is.

  • (a) Qualitative representation-theoretic structure is unaffected. The decomposition of a reducible representation into irreducibles (e.g. which observables group into which multiplets, and their dimensions) is a fact about S alone and is fully derivable within ; the theorem constrains only the numerical splitting within an alreadyidentified non-trivial multiplet.
  • (b) Observables that are themselves S-invariant (transform in the trivial representation) are entirely unconstrained by this theorem - their expectation values in Ω are generically non-zero and may be computed from Ĥₘᴇₙ without any external input.
  • (c) The theorem does not address whether a symmetry-breaking mechanism exists (i.e. whether Ω can be made to spontaneously break S at all, as a function of some control parameter in Ĥₘᴇₙ) - only what happens once such a

mechanism is in place: existence of a phase transition is a separate, model-dependent dynamical question outside this theorem's scope.

(d) The theorem says nothing about multiplets built from a different symmetry S′ ≠ S under which Ω is not distinguished as invariant/covariant in the relevant sense - e.g. a theory may derive one sector's structure (say, a gauge group or a spacetime dimensionality) fully from S while a separate, non-trivial-under-S multiplet (say, a flavor hierarchy) remains subject to Theorem A/B. The two are logically independent, and a theorem-A obstruction for one multiplet is not evidence against the rest of a symmetry-complete construction.

8. A Related but Independent Obstruction: Algorithmic Undecidability

Theorems A and B obstruct quantitative multiplet splittings by an exact representation-theoretic vanishing (or, in the broken case, an unresolved orbit-selection problem). A second, logically independent obstruction to inferring macroscopic quantitative structure from microscopic data exists in a different setting and by a completely different mechanism: Cubitt, Pérez-García & Wolf (2015) proved that the spectral-gap problem — whether a translationally invariant, local Hamiltonian on an infinite lattice is gapped or gapless in the thermodynamic limit — is algorithmically undecidable in general, by an explicit encoding of Turing-machine halting into a twodimensional quantum many-body model built from Wang/Robinson tilings. This shows that even complete, exact knowledge of a local, translationally symmetric microscopic Hamiltonian does not, in general, computably determine a basic macroscopic spectral property.

We record this as a separate, independent result and do not fold it into Theorems A–B: undecidability is a statement about computability (there exists no algorithm that decides the property for all inputs in the relevant class), whereas Theorems A–B are statements about exact vanishing and orbit-selection that hold instance-byinstance and require no appeal to computability theory. A theory could in principle evade Cubitt–Pérez-García– Wolf undecidability (e.g. by lying outside the reduction's model class) while still being fully subject to Theorem A, and vice versa. The two results are complementary illustrations of the same broad moral - that microscopic completeness does not imply macroscopic derivability - arrived at by unrelated mathematics, and citing one is not a substitute for the other.

(As an aside, with no bearing on the argument above: S. Hawking's 2002 lecture "Gödel and the End of Physics" speculated, on general Kurt-Gödel-inspired grounds, that a complete physical theory may be unattainable in principle - a suggestive remark (in the spirit of popular science), not a mathematical result, and unrelated in mechanism to either Theorems A–B or the Cubitt–Pérez-García–Wolf reduction.)

9. Summary Statement

A theory built from symmetry and covariant dynamics alone can tell you the qualitative shape of a multiplet - how many components, what representation - but it cannot, even in principle, tell you the numbers by which those components differ; that information is either exactly zero (unbroken case) or requires at least a direction and a scale supplied from outside the theory (broken case).

References

Curie, P. (1894). "Sur la symétrie dans les phénomènes physiques, symétrie d'un champ électrique et d'un champ magnétique." Journal de Physique Théorique et Appliquée, 3(1), 393–415.

Wigner, E. (1927). "Einige Folgerungen aus der Schrödingerschen Theorie für die Termstrukturen." Zeitschrift für Physik, 43, 624–652.

Eckart, C. (1930). "The Application of Group Theory to the Quantum Dynamics of Monatomic Systems." Reviews of Modern Physics, 2, 305–380.

Goldstone, J. (1961). "Field Theories with 'Superconductor' Solutions." Il Nuovo Cimento, 19(1), 154–164.

Goldstone, J., Salam, A., & Weinberg, S. (1962). "Broken Symmetries." Physical Review, 127(3), 965–970.

Serre, J.-P. (1977). Linear Representations of Finite Groups. Springer GTM 42. (Standard reference for Schur orthogonality and projector formulas used in Section 3.)

Cubitt, T. S., Pérez-García, D., & Wolf, M. M. (2015). "Undecidability of the Spectral Gap." Nature, 528, 207– 211.

Altarelli, G., & Feruglio, F. (2010). "Discrete Flavor Symmetries and Models of Neutrino Mixing." Reviews of Modern Physics, 82, 2701–2729.

Froggatt, C. D., & Nielsen, H. B. (1979). "Hierarchy of Quark Masses, Cabibbo Angles and CP Violation." Nuclear Physics B, 147(3–4), 277–298.

Hawking, S. W. (2002). "Gödel and the End of Physics." Dirac Centennial Lecture, Cambridge (informal remarks; not a peer-reviewed result - cited here only as historical context, §8).