Anomaly-Free Sets of Fermions

Bottom line: Eq. (2.3) is right, and the embedding theorem it supports is a real, practical contribution. The weak section is the Standard Model application, not the mathematics. I'd send it out, with a request to spell out Section 5. I checked the key identity by hand. Sum of charges: z − (z/3)(z²−1) + (z/3)(z²−4) = z − z = 0. Sum of cubes: z³ − (4z/3)(z²−1) + (z/3)(z²−4) = z³ − z³ = 0. Integrality comes from z(z²−1) divisible by 6 and z(z²−4) divisible by 3, both true for all integers z. The multi-U(1) version (3.3, 3.5–3.7) and the G×U(1) case (4.7–4.10) follow the same pattern and are internally consistent. Table 1's small explicit sets are a nice sanity check, and the LLL discussion in 2.2 is a sensible practical addendum even if the runtime numbers are illustrative rather than derived. On the stress-test's main concern: I'd push back. N1 = (1/3)Σ d_f z_f(z_f²−4) and N2 = (1/6)Σ d_f z_f(z_f²−1) are sums of terms that are individually integers by exactly the lemma used in Section 2, with d_f ∈ {1,2,3}. Integrality is immediate, not a gap. The paper should have said that in one line instead of asserting it, but it isn't a hole. What is a fair complaint is Eq. (5.3): the three-parameter family with a1, a2, a3 even is presented without derivation, and the reader has to take the form on faith. It's checkable by substitution, so it's an exposition gap, not an error. Smaller things: the claim that any Green–Schwarz-cancellable anomalous U(1) can also be cancelled by fermions is stated as a corollary with little argument, and chirality after removing vector-like pairs is asserted rather than shown. Both are minor. Citation pattern is fine — Eichten–Kang–Koh, Babu–Seidl, Davoudiasl et al. are the right prior work. This is for model builders who need to cancel anomalies for arbitrary U(1) charges, and for anyone cataloguing anomaly-free sets. It deserves a serious referee; the revision should be light.

The central theorem — that any chiral set of integer-charged fermions embeds in a larger chiral anomaly-free set — rests on Eq. (2.3), and that identity checks out: sum of charges is z - (z/3)(z^2-1) + (z/3)(z^2-4) = 0, sum of cubes is z^3 - (4z/3)(z^2-1) + (z/3)(z^2-4) = 0, and z(z^2-1) is divisible by 6 while z(z^2-4) is divisible by 3 for all integers z. The multi-U(1) generalization (Eqs. 3.3, 3.5-3.7) and the G x U(1) case (Eqs. 4.7-4.10) follow the same pattern and are internally consistent. So the abstract's main claim [abstract:s1] is well supported for the U(1) and multi-U(1) cases. The genuinely load-bearing soft spot is the Standard Model application [abstract:s2]. Section 5 asserts that the psi charges in Eq. (5.3) solve the three linear anomaly conditions plus the quadratic U(1)_Y U(1)_z^2 condition, but the derivation is not shown: the reader is told a 'three parameter solution' exists with a1, a2, a3 'arbitrary even integers,' and must take the form of Eq. (5.3) on faith. More importantly, the integrality of N1 and N2 in Eq. (5.4) is stated ('we emphasize that Eqs. (5.4) yield integer values ... for any integers zq, zu, zd, ze and zl') but not proven. Since the whole point of the paper is that integer field counts are what make the construction physical, this is exactly the step that should be checked rather than asserted. If N1 or N2 fails to be an integer for some admissible charge assignment, the SM embedding claim weakens from a theorem to a case-by-case statement. This is a gap in exposition and verification, not an internal contradiction, so it does not threaten the core U(1) result.

The reader's strongest_claim correctly identifies Eq. (2.3) as the load-bearing identity and verifies it, and I confirm that verification: the charge and cube sums vanish and the coefficients are integers for all integer z. The reader's weakest_assumption — rationality of U(1) charges — is a real physical assumption, but it is not the place where the argument is least secure, because the paper is explicit that it restricts to rational charges and gives the Landau-pole justification in Section 2. That is an acknowledged framing choice, not a hidden gap, and the theorem is correctly stated conditional on it. The reader's rationale does flag the SM application as having 'minor gaps' (Eq. 5.3 derivation not shown, integrality of N1 and N2 not fully proven), which is the same concern I land on, so we agree on the substance even though the reader files it under rationale rather than weakest_assumption. I would not move the verdict: the core embedding theorem is correct and the SM gap is a verification/exposition issue that a symbolic check would close, not a defect that undermines the central claim. The paper is honest about the cost of the construction (large numbers of basic charges) and about the lattice-reduction methods for shrinking sets, so there is no circularity or overclaiming to penalize. My recommendation is ACCEPT unchanged, with the concrete test above as the one check worth running to firm up Section 5.

If correct, the result is a genuinely useful structural statement: it converts the cubic Diophantine anomaly conditions, which have no general solution method, into a constructive existence theorem for chiral anomaly-free completions. The explicit integer-coefficient identity in Eq. (2.3) is the load-bearing step and it is checkable by hand, which is a real strength. The application to arbitrary Z' couplings to Standard Model fermions is phenomenologically relevant for Z' searches, and the shortest-vector framing in Section 2.2 gives a practical route to reducing the often large field multiplicities the construction produces. The paper is honest that the construction is existence-level and that the resulting sets can be large.

This paper asks whether the anomaly cancellation conditions of a gauge theory, which are cubic equations in integer charges with no general solution method, can always be met by adding more fermions to a given chiral spectrum. The authors answer yes, by exhibiting an explicit identity: for any integer charge $z$, one fermion of charge $z$ together with a prescribed, always-integer number of fermions of charge $-2$ and $+1$ has vanishing total charge and vanishing total charge cubed. Because the multiplicities come out as whole numbers, the trick can be applied fermion by fermion to any chiral set, and after deleting leftover vector-like pairs the larger set is still chiral and now anomaly-free. The same construction is carried to several $U(1)$ factors, to product groups with non-Abelian factors, and finally to the Standard Model extended by a new $U(1)_z$, where it shows that quarks and leptons may carry arbitrary rational charges under the new group provided suitable extra fermions are added. If the argument holds, the common statement that certain charge assignments are anomalous and can only be rescued by a Green-Schwarz mechanism loses its force, because ordinary new fermions can always do the job.

What carries the argument. The load-bearing object is the identity of Eq. (2.3): for any integer $z$, the set consisting of one fermion of charge $z$, together with $z(z^2-1)/6$ fermions of charge $-2$ and $z(z^2-4)/3$ fermions of charge $+1$, is anomaly-free. Both conditions $sum_i z_i = 0$ and $sum_i z_i^3 = 0$ are satisfied by construction, and the multiplicities are integers because $z(z^2-1)$ is always divisible by 6 and $z(z^2-4)$ always divisible by 3. That integrality is what turns an algebraic curiosity into a physical spectrum: the coefficients count fields. The same device is generalised to several $U(1)$ factors, with twelve basic charge pairs for two factors and explicit $chi$, $omega$, $omega'$, $xi$, $xi'$ multiplicities for three or more, and to $G$ times $U(1)$, where the added fermions come in conjugate representations of $G$ so the non-Abelian anomalies cancel among themselves. A second, separate piece of machinery is the observation that chiral anomaly-free sets form a lattice spanned by the vectors $C(z_i)$ of Eq. (2.3), so finding small spectra is the Short Vector Problem; the authors use the LLL lattice-reduction algorithm to shrink the large multiplicities the construction produces, at the cost of no minimality guarantee.

Core claim. The central claim is that any set of fermions that is chiral with respect to a gauge group involving $U(1)$ factors, with rational charges hence integers after rescaling, can be embedded in a strictly larger set that is also chiral and that satisfies every anomaly cancellation condition. The proof is a construction, not an existence argument: each individual fermion of charge $z$ is shown to be part of a finite, explicitly enumerated anomaly-free set built from a few basic charges ($pm 1$, $pm 2$ for a single $U(1)$), and the multiplicities of those basic charges are polynomial in $z$ with integer values for every integer $z$. Summing these sets over the fermions of the original spectrum and then removing all vector-like pairs yields the desired anomaly-free chiral set containing the original charges. The authors extend the same bookkeeping to a product of several $U(1)$ groups, where the basic charges are labelled $chi_{abc}$, $omega_{ab}$, $omega'_{ab}$, $xi_a$, $xi'_a$, and to $G$ times $U(1)$ with arbitrary non-Abelian $G$, where the added fermions sit in conjugate representations so that the $G^3$ anomaly cancels automatically. They then apply the construction to the Standard Model extended by a $U(1)_z$: three linear anomaly conditions plus one quadratic one fix the charges of a set of fermions vector-like under the Standard Model up to three arbitrary even integers, and the remaining $U(1)_z$ and $U(1)_z^3$ conditions are then absorbed by right-handed neutrinos of charge $+1$ and $-2$. The conclusion they draw is that all $Z'$ couplings to Standard Model fermions are allowed by anomaly cancellation once additional fermions are present.

The premise it rests on. The construction needs the gauge charges to be rational, hence integers after rescaling, and the paper justifies that restriction physically rather than mathematically: a $U(1)$ coupling grows until it must be embedded in a non-Abelian group, which forces commensurate charges, so if incommensurate charges were physically admissible the integer multiplicities in the construction would fail.

Every rational charge assignment for the known fermions under a new $U(1)$ can be completed to a consistent chiral spectrum by adding fermions, so anomaly freedom alone no longer selects among $Z'$ coupling patterns.

Any anomalous $U(1)$ that a Green-Schwarz mechanism could rescue can equally be rescued by new fermions, so the two mechanisms are not distinguishable by the anomaly conditions alone.

Small anomaly-free chiral spectra exist for every number of fermions $n \geq 5$, with explicit examples tabulated for $n = 5$ through $9$, and larger ones can be built as lattice sums of these.

The size of the required extra fermion content is a calculable, reducible number: the construction's multiplicities can be traded down using lattice reduction, which matters for how low the Landau pole of the extended theory sits.

For the Standard Model extended by $U(1)_z$, the added spectrum can be chosen to be vector-like under the strong and electroweak groups but chiral under the new group, avoiding exotic fractional electric charges and large electroweak corrections.

The construction is an existence proof with no size bound, so it does not by itself tell a model builder whether the required number of new fermions is small enough to keep the Landau pole above experimentally accessible scales; the lattice-reduction section is the only handle on that, and it is heuristic.

Because the trick works for any rational charges, anomaly cancellation becomes a weak filter on new gauge groups: the sharper constraints on a $Z'$ will come from Yukawa structure, flavour-changing neutral currents, and direct search limits rather than from the anomaly conditions.

The same embedding argument should apply to discrete or gauged global symmetries that impose anomaly-like consistency conditions, since the arithmetic only uses the two moment sums $sum z_i$ and $sum z_i^3$.

Whether the resulting spectra are phenomenologically viable is a separate question the paper does not settle: adding many chiral fermions charged under the Standard Model changes precision electroweak observables and the running of couplings in ways that would need to be checked model by model.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review