{"id":"e615213b-fde6-4186-ad28-f3fb23a19ec4","arxiv_id":"2507.12348","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"All asymptotically-free gauge theories with purely fermionic matter in 4D are classified by finite tables in which at most two Dynkin labels are nonzero and none exceeds four.","lead":"Asymptotically-free gauge theories in four dimensions with fermionic matter are completely classified using a short monotonicity proof and five tables. These theories matter because they are the only interacting quantum field theories valid at arbitrarily short distances.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of Table V for the exceptional algebras rests on an undocumented 'sledgehammer' scan; if that scan missed an AF representation, the central classification is incomplete. This is a verifiability gap, not a demonstrated error.","rationale":"The reader's weakest_assumption identifies precisely this gap: the completeness of Table V depends on an undocumented brute-force scan. The proof of monotonicity of D and T is sound; increasing any Dynkin label strictly raises both quantities, so the classification is finite and the reduction to a finite candidate set is valid. The classical tables are supported by explicit index formulas and quoted n-ranges, but the exceptional table is the one place where an exhaustive check is asserted without any reproducible artifact. This matters because the central claim is the exactness of Tables I-V, so a missed exceptional representation would invalidate the advertised classification. In good faith, I found no evidence that the scan is wrong: independent checks of nearby exceptional representations, such as G2(1,1) with T=64 and F4(0,0,1,0) with T=126, put them above their respective bounds, and the listed entries are consistent with known dual Coxeter numbers. The gap is therefore one of verifiability rather than demonstrated error. Supplying the scan code or candidate counts would settle it, which is exactly the condition under which the paper should be accepted; this does not change the reader's CONDITIONAL verdict.","tokens_in":6199,"tokens_out":33941,"duration_ms":356557,"concrete_test":"Use SageMath or LiE with the paper's normalization (highest root length-squared 2) to independently reproduce Table V: for each exceptional algebra and each fundamental weight omega_i, compute M_i = max{k : T(k omega_i) < (11/2)T(adj)} via Dynkin's formula; enumerate all dominant weights with 0 <= m_i <= M_i; compute T for each; and compare the surviving set to Table V. Report the candidate counts per algebra and any mismatches. An exact match confirms the sledgehammer step; any mismatch means the classification is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the section 'We now outline how the Tables are obtained', the paper says: 'For the exceptional algebras, there are anyway only a finite number of cases to check, so we hit them with a sledgehammer.' The monotonicity theorem proves finiteness, but it does not by itself determine which weights satisfy T(lambda) < (11/2)T(adj). To reproduce Table V, one must, for each of G2, F4, E6, E7, and E8: (i) for each fundamental weight omega_i, compute the largest M_i with T(M_i omega_i) < (11/2)T(adj); (ii) enumerate every dominant weight sum m_i omega_i with 0 <= m_i <= M_i; and (iii) compute T via Dynkin's formula, retaining those below the bound. The paper gives no bounds M_i, no candidate counts, no code, and no intermediate enumeration, so a reader cannot check that the scan covered all allowed weights. If an implementation error or an omitted combination, for example a weight with three nonzero Dynkin labels, occurred, Table V could be missing an AF representation and the claim 'exactly Tables I-V' would fail. I independently checked some nearby candidates, for instance the 64-dimensional G2 representation and the 273-dimensional F4 representation, obtaining T=64>44 and T=126>99 respectively, so I found no actual counterexample; however, the exhaustive check as written is unverifiable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies asymptotic freedom in four-dimensional gauge theories with purely fermionic matter, reducing the problem to the Dynkin index T(λ) of the matter representation. The key new result is a proof that for every simple Lie algebra, both the dimension D(λ) and the Dynkin index T(λ) are strictly increasing functions of each Dynkin label. Combined with the one-loop beta-function condition T(f) < (11/2)T(adj), this implies that for each simple algebra there are finitely many non-trivial asymptotically-free irreducible representations. The authors provide Tables I–V listing these representations for An, Bn, Cn, Dn and the five exceptional algebras, including dimensions, Dynkin indices, and anomaly information for An, and they describe how to extend the results to reducible and semisimple representations. They also identify two irreducible theories with exactly vanishing one-loop beta function and discuss anomaly-free chiral reducible representations.","tokens_in":6446,"tokens_out":6869,"duration_ms":82217,"significance":"If correct, this is a useful reference classification of the irreducible building blocks of asymptotically-free gauge theories with fermionic matter. The monotonicity proof is simple, self-contained, and correct, and it converts an infinite enumeration problem into a finite one; the classical tables follow from standard index formulas and the monotonicity theorem. There are no fitted parameters and the central derivation uses only Weyl's and Dynkin's formulas, so I see no circularity. The main weakness is that the completeness of Table V for the exceptional algebras is not independently verifiable from the text. I found no evidence that the tables are numerically wrong, but the undocumented 'sledgehammer' scan is a genuine reproducibility gap that needs to be closed before the central completeness claim can be fully accepted.","major_comments":[{"comment":"Completeness of Table V is not verifiable as written. The text says only: 'For the exceptional algebras, there are anyway only a finite number of cases to check, so we hit them with a sledgehammer.' Since Table V is part of the central claim that the non-trivial AF irreducible representations of each simple algebra are exactly those in Tables I–V, the reader needs to be able to check that the scan covered every dominant weight λ with T(λ) < (11/2)T(λ_adj). Please provide at least one of: (i) explicit upper bounds M_i on each Dynkin label for each exceptional algebra, obtained from monotonicity and the inequality T(M_i ω_i) < (11/2)T(λ_adj); (ii) the number of candidate dominant weights considered in each rank and the number retained; or (iii) a short, self-contained script or pseudocode that reproduces Table V. This is a load-bearing step, not a cosmetic issue.","section":"Table V / 'We now outline how the Tables are obtained'"}],"minor_comments":[{"comment":"The assertion that the only AF and anomaly-free chiral gauge theory that is a product of irreducible representations of type An has n=6 and fermion representation ω2 ⊗ ω6 is nontrivial and is stated without proof or citation. Since it is not needed for the main classification, please either provide a derivation or clearly mark it as a separate computational result with supporting material.","section":"Footnote [5]"},{"comment":"The abstract and title could be read as promising a complete list of asymptotically-free gauge theories, whereas the tables list only irreducible representations; reducible representations are obtained by the described algorithm and are not enumerated except for examples. Please state explicitly that the tables classify irreducible representations and that reducible theories are generated by the given finite procedure.","section":"Abstract / Tables I–V"},{"comment":"The notation in Table I for the n ranges uses merged symbols such as '{1, 2∗..., 15∗}' and the asterisk/† markers are explained only indirectly in the caption. Please clarify which values of n carry each marker, or use separate notation for 'omitted in [8]' and 'omitted in [9]'.","section":"Table I caption and rows"},{"comment":"In the proof of strict monotonicity of D(λ), the sentence 'By the definition of ω_i, each such shift is nonnegative' is correct but would benefit from one explanatory clause: each positive root is a nonnegative integer combination of simple roots, so (ω_i, α_j) ≥ 0 for every positive root α_j.","section":"Section 'We finish by proving...'"},{"comment":"Typo: 'coresponding' should be 'corresponding' in the sentence about the SO(14) theory with fermion rep ω3.","section":"Page 4"}],"recommendation":"major_revision","confidential_remarks":"The central monotonicity proof is sound and the classical tables appear correct; the paper is within the scope of hep-th and would be a useful reference. The main obstacle is the undocumented exceptional-algebra scan, which is a fixable reproducibility gap rather than a demonstrated error. If the authors supply the requested bounds, candidate counts, or code, and substantiate the footnote [5] product-representation claim, I would be willing to support acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new and useful thing here is the proof that both dimension and Dynkin index are strictly increasing in each Dynkin label, plus the complete tables for AF irreducible reps of all simple Lie algebras. The monotonicity argument is short, elementary, and correct; it converts an infinite check into a finite one and yields the clean structural result that at most two labels can be nonzero and none exceed four. The tables also explicitly correct omissions in two earlier partial lists, which is a real service to the model-building community.\n\nThe soft spot is exactly where the stress-test lands: Table V, for the exceptional algebras, is obtained by a 'sledgehammer' with no code, no intermediate counts, and no bounds on the Dynkin labels that were scanned. The monotonicity theorem guarantees finiteness but does not by itself tell you which weights survive the bound T(lambda) < (11/2)T(adj). A reader cannot verify that the enumeration was exhaustive without either the code or a more careful analytic argument. I did a couple of spot checks (e.g., the 64 of G2 and the 273 of F4 both fail the bound, as the stress-test says) and found no actual counterexample, but that is not the same as checking the whole space. This is a verifiability gap, not a demonstrated error. A referee should ask the authors to deposit the scan script or give the per-weight bounds M_i and candidate counts.\n\nFootnote [5] is a second, minor soft spot: it asserts, without proof, a classification of AF and anomaly-free product reps for An, settling a question from an earlier paper. That is a side remark and does not affect the main tables, but if it is meant to be a claim, it needs a proof or a reference to one.\n\nOverall the central argument holds up. The reader's conditional verdict is fair, and my own confidence is moderate for the same reasons. This is a paper for gauge-theory model builders and for people interested in Dynkin-index inequalities; it does not change conceptual foundations but it is a solid, usable reference. I would send it to peer review, with the request that the authors make the exceptional-algebra enumeration reproducible.","headline":"Solid classification paper with a correct monotonicity proof and useful tables, but the completeness of the exceptional-algebra table rests on an undocumented scan that referees should ask to see.","tokens_in":6970,"tokens_out":1496,"would_cite":false,"duration_ms":18674,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that dimension and Dynkin index increase with every Dynkin label, making the classification of asymptotically-free fermionic gauge theories finite, explicit, and complete.","keywords":["asymptotic freedom","gauge theories","fermionic matter","simple Lie algebras","irreducible representations","Dynkin index","Dynkin labels","beta function"],"falsifier":"Independently enumerate every highest weight of $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$ with $T(\\lambda)<(11/2)T(\\lambda_{\\mathrm{adj}})$ and compare with Table V; a single missing weight would disprove the completeness claim.","tokens_in":5990,"feed_emoji":"📋","tokens_out":10771,"duration_ms":116820,"temperature":0.7,"pith_summary":"This paper undertakes the first complete classification of asymptotically-free gauge theories in four dimensions with purely fermionic matter. It proves a new monotonicity theorem: both the dimension and the Dynkin index of any irreducible representation of a simple Lie algebra increase strictly when any Dynkin label is increased. Since asymptotic freedom is just a bound on the Dynkin index, this makes the search finite and produces explicit tables of all non-trivial asymptotically-free irreducible representations. The tables show that no such representation uses more than two nonzero Dynkin labels and no label exceeds four. The same method extends to scalar and supersymmetric matter by changing coefficients in the beta function.","feed_headline":"Complete list of asymptotically-free fermionic gauge theories","feed_subtitle":"A monotonicity proof reduces an infinite search to five tables; at most two Dynkin labels can be nonzero.","key_machinery":"The argument is carried by the one-loop $\\beta$-function coefficient for a simple gauge factor, proportional to $-22T(\\lambda_{\\mathrm{adj}})+4T(\\lambda_f)$, so asymptotic freedom for fermionic matter is the bound $T(\\lambda)<(11/2)T(\\lambda_{\\mathrm{adj}})$. The paper's new monotonicity theorem says that increasing any Dynkin label strictly increases both the Weyl-dimension $D(\\lambda)$ and the Dynkin index $T(\\lambda)$, so once the bound is crossed in any coordinate no further increment can restore asymptotic freedom. The tables are generated by checking the finitely many highest weights left after this bound, using Weyl's dimension formula and Dynkin's formula for $T(\\lambda)$.","core_discovery":"The central claim is that Tables I-V list exactly the non-trivial asymptotically-free irreducible representations of every simple Lie algebra, for purely fermionic matter in four dimensions. The tables follow from a new theorem: both $D(\\lambda)$ and $T(\\lambda)$ are strictly increasing functions of each Dynkin label $m_i$ in $\\lambda=\\sum_i m_i\\omega_i$. Because asymptotic freedom for a simple summand is the inequality $T(\\lambda)<(11/2)T(\\lambda_{\\mathrm{adj}})$, monotonicity leaves only finitely many weights to check, and the finite check gives the tables. In particular, the tables show that at most two Dynkin labels can be non-zero and no single label can exceed four.","pith_inferences":["Not developed in the paper, the same monotonicity argument could produce classifications for other one-loop thresholds, such as a lower bound that selects near-conformal or walking theories, simply by replacing $(11/2)T(\\lambda_{\\mathrm{adj}})$ with another constant.","The only unexhibited step, the brute-force check for the exceptional algebras, could be made fully reproducible by releasing the code or the intermediate counts; an independent recomputation would settle Table V without changing any physics.","The anomaly coefficients in Table I turn the search for chiral asymptotically-free $A_n$ theories into a linear Diophantine problem, so a complete database for all $n$ is computationally within reach."],"forward_implications":["For any simple Lie algebra, there are only finitely many non-trivial asymptotically-free irreducible representations, and Tables I-V give the complete list.","In every such representation at most two Dynkin labels are non-zero and no label is larger than four, sharply restricting the fermion content of any asymptotically-free model.","For a semisimple gauge algebra, a representation is asymptotically free exactly when each simple summand satisfies the same index bound, so reducible asymptotically-free spectra can be enumerated summand by summand using the tables.","For $A_n$, anomaly cancellation becomes a finite linear-integer problem; the paper gives 10,036 asymptotically-free and anomaly-free reducible representations for $n=4$.","Changing the coefficients in the beta function extends the same classification procedure to scalar matter and to supersymmetric theories."],"supporting_citations":[{"why":"Supplies Dynkin's formula for the Dynkin index $T(\\lambda)$, used both in the monotonicity proof and in computing every entry of Tables I-V.","marker":"[4]"},{"why":"Supplies the anomaly coefficients for $A_n$, used to impose anomaly cancellation in the asymptotically-free $A_n$ gauge theories.","marker":"[7]"},{"why":"Prior partial list of asymptotically-free irreducible $A_n$ representations; the paper's completeness claim depends on identifying its 15 omissions.","marker":"[8]"},{"why":"Prior list of chiral asymptotically-free $A_n$ representations; the paper identifies one omitted representation and thereby corrects the earlier classification.","marker":"[9]"},{"why":"Gives the Dynkin indices of the fundamental representations of the classical algebras, which is the input that determines which fundamental weights can be asymptotically free.","marker":"[12]"}],"fun_headline_variants":["All asymptotically-free fermionic gauge theories tabulated","Complete tables of asymptotically-free fermionic gauge theories","At most two Dynkin labels: classification of free gauge theories","Finite list: asymptotically-free fermionic gauge theories","New theorem yields all asymptotically-free fermionic theories"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The completeness of Tables I-V depends on an unshown brute-force scan over the exceptional algebras; if that scan missed any candidate weight, the central classification would be incomplete.","fun_headline_variants_meta":{"raw":{"variants":["All asymptotically-free fermionic gauge theories tabulated","Complete tables of asymptotically-free fermionic gauge theories","At most two Dynkin labels: classification of free gauge theories","Finite list: asymptotically-free fermionic gauge theories","New theorem yields all asymptotically-free fermionic theories"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000491,"raw_usage":{"total_tokens":2351,"prompt_tokens":815,"completion_tokens":1536,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":431,"completion_tokens_details":{"reasoning_tokens":1467}},"tokens_in":431,"tokens_out":1536,"duration_ms":14252,"temperature":1.0,"reasoning_tokens":1467,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:52:24.634226+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Independently enumerate every highest weight of $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$ with $T(\\lambda)<(11/2)T(\\lambda_{\\mathrm{adj}})$ and compare with Table V; a single missing weight would disprove the completeness claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Dynkin's formula for the Dynkin index $T(\\lambda)$, used both in the monotonicity proof and in computing every entry of Tables I-V."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the anomaly coefficients for $A_n$, used to impose anomaly cancellation in the asymptotically-free $A_n$ gauge theories."},{"cited_title":"Banks and H","cited_arxiv_id":null,"evidence_quote":"Prior partial list of asymptotically-free irreducible $A_n$ representations; the paper's completeness claim depends on identifying its 15 omissions."},{"cited_title":"Eichten, K","cited_arxiv_id":null,"evidence_quote":"Prior list of chiral asymptotically-free $A_n$ representations; the paper identifies one omitted representation and thereby corrects the earlier classification."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Dynkin indices of the fundamental representations of the classical algebras, which is the input that determines which fundamental weights can be asymptotically free."}],"review_version":1}