Pith. Sign in

REVIEW

Group theory factors for Feynman diagrams

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
T. van Ritbergen, A.N. Schellekens, J.A.M. Vermaseren

High Energy Physics - Phenomenology · Submitted 20 Feb 1998 · 32 references

Pith's verdict: A solid, reusable methods-and-tables paper; the real soft spot is the acknowledged scope limit on f-elimination, not the character-ordering caveat the reader flagged.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-ph/9802376 (version 1)
Pith IDS5EAZJNA, Pith's permanent record of this paper and its review
CitationA.N. Schellekens, J.A.M. Vermaseren, T. van Ritbergen. "Group theory factors for Feynman diagrams." arXiv:hep-ph/9802376 (1998). https://pith.science/paper/S5EAZJNA
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper claims that the group-theory factor of any vacuum-bubble Feynman diagram can be reduced to a small, group-independent basis of symmetric invariant tensors and structure constants.

The reading

The paper sets out to make the group-theory factor of a Feynman diagram—the numerical factor coming from traces of gauge generators and structure constants—computable once and for all, rather than group by group. Its proposal is a reduction pipeline that rewrites a closed diagram's color factor as a combination of a small set of symmetric invariant tensors and structure constants, with all dependence on the matter representation carried by generalized Dynkin indices. The authors supply algorithms for each stage, tables of those indices for all exceptional algebras, and trace identities up to the dual Coxeter number. If the program holds, a new multiloop calculation in any simple Lie algebra would need only the universal reduction plus a table lookup, instead of a bespoke color-algebra calculation.

What carries the argument

The load-bearing device is the symmetrized trace $d_R^{a_1...a_n} = {1/n!} sum_pi Tr(T_R^{a_pi(1)}...T_R^{a_pi(n)})$ together with the character $Ch_R(F) = Tr(e^{F^a T_R^a})$. A Bernoulli-number recursion (eq. 30) turns an ordinary trace into a symmetrized trace plus structure constants; characters turn the computation of indices into polynomial algebra, because tensor products multiply characters and antisymmetric or symmetric powers have generating functions. Matching the character expansion to a reference representation fixes the index and sub-index coefficients without ever constructing the invariant tensors explicitly.

Extended reading notes

Core claim

The central claim is that every group-theory factor of a vacuum-bubble diagram can be expressed in a basis fixed by the algebra alone: $r$ independent symmetric tensors plus the structure constants, where $r$ is the rank. Representation dependence is isolated in the indices $I_n(R)$ defined by $I_n(R)d^{a_1...a_n}$ plus lower-order terms in the symmetrized trace $d_R^{a_1...a_n}$, and these indices can be computed from characters for any irreducible representation. The paper backs this with explicit recursive algorithms for symmetrizing traces, removing closed structure-constant loops, and reducing contractions, and with tables for $G_2$, $F_4$, $E_6$, $E_7$, and $E_8$. The authors acknowledge that eliminating the last structure constants is not proved in general and stops at a specific weight-14 object, so the claim is strongest for the orders they treat.

Load-bearing premise

The recursive character construction assumes that every irreducible representation can be reached by a sequence of tensor products in which only one unknown character appears at each step; the paper proves this for the classical algebras but only checks it empirically for the exceptional ones.

Editorial extensions

If this is right

  • Any color factor for a simple Lie algebra and representation can be assembled from universal reduction formulas plus a table of indices, so new groups or representations do not require rederiving color algebra.
  • Multiloop QCD and grand-unified or string model calculations can present results in a group-independent form, making it easier to see which terms depend on the gauge group.
  • The tables give all Dynkin indices for exceptional algebras up to the stated orders, enabling anomaly and embedding checks without recomputing characters.
  • The algorithms are implemented in FORM and handle vacuum bubbles up to 16 vertices, so the method is usable in practice for many diagrams.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The index tables could serve as a cross-check for any future character-computation package: disagreement at high order would point to either a tensor-product ordering failure or a trace identity error.
  • If the reduction is complete in the sense claimed, then the same pipeline should extend to diagrams with external gauge quantum numbers by projecting external legs, as the authors note, making it a general amplitude tool rather than only a vacuum-bubble tool.
  • The residual structure-constant obstructions at weight 14 suggest a concrete target: find a new invariant identity analogous to the circular-ladder identities that eliminates the remaining $f$-contractions, which would extend the minimal basis beyond the paper's current order.
  • The empirical closure for exceptional tensor products is a finite check; a proof would likely come from a case analysis of the tensor-product graph for each exceptional algebra, not from the invariant-tensor theory itself.
Original abstract

We present algorithms for the group independent reduction of group theory factors of Feynman diagrams. We also give formulas and values for a large number of group invariants in which the group theory factors are expressed. This includes formulas for various contractions of symmetric invariant tensors, formulas and algorithms for the computation of characters and generalized Dynkin indices and trace identities. Tables of all Dynkin indices for all exceptional algebras are presented, as well as all trace identities to order equal to the dual Coxeter number. Further results are available through efficient computer algorithms (see http://norma.nikhef.nl/~t58/ and http://norma.nikhef.nl/~t68/ ).

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,226 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.23 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.31 · compares with prior results 0.04 · mentions code or data availability 0.94.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

We present algorithms for the group independent reduction of group theory factors of Feynman diagrams. We also give formulas and values for a large number of group invariants in which the group theory factors are expressed. This includes formulas for various contractions of symmetric invariant tensors, formulas and algorithms for the computation of characters and generalized Dynkin indices and trace identities. Tables of all Dynkin indices for all exceptional algebras are presented, as well as all trace identities to order equal to the dual Coxeter number. Further results are available through efficient computer algorithms (see http://norma.nikhef.nl/~t58/ and http://norma.nikhef.nl/~t68/ ).

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We present algorithms for the group independent reduction of group theory factors of Feynman diagrams. contribution 0.99 0.95 0.51 asserted 1.00
s1 We also give formulas and values for a large number of group invariants in which the group theory factors are expressed. contribution 0.85 0.94 0.15 asserted 1.00
s2 This includes formulas for various contractions of symmetric invariant tensors, formulas and algorithms for the computation of characters and generalized Dynkin indices and trace identities. contribution 0.90 0.88 0.09 asserted 1.00
s3 Tables of all Dynkin indices for all exceptional algebras are presented, as well as all trace identities to order equal to the dual Coxeter number. contribution 0.51 0.91 0.10 asserted 1.00
s4 Further results are available through efficient computer algorithms (see http://norma.nikhef.nl/~t58/ and http://norma.nikhef.nl/~t68/ ). contribution 0.63 0.59 0.04 asserted 0.99

What kind of paper the classifier reports this is: method or tool 1.00 · evidence from proof or derivation 0.93.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Dynkin diagrams and labelling conventions Representations are denoted either by their dimensions (if no confusion is possible), or by their Dynkin labels (a1, . . . , ar), where r is the rank. Our labelling convention is indicated in fig 1. A bar denotes the complex conjugate representation; “A” denotes the adjoint representation, “R” a generic representation and “r” the reference representation to be defined later. The dimensions of 4

Figures reproduced from arXiv:hep-ph/9802376 by the authors.

References
How later papers used it

160 later papers cite it

Evidence: substantial. 154 of the citing papers share no author with it, and 112 of those carry a confident label from Pith's citation classifier.

Pith read 19 of the 182 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 13 of 110 papers with this label · 1 by the same authors

By the same authors

  • Obtained color coefficients for a general SU(n_c) gauge group using this paper's algorithms, which determine the group invariants for (semi-)simple Lie groups.

    DIS coefficient functions at four loops in QCD and beyond (2022) (same authors) · 1.00 · paraphrased: the licence does not allow quoting

Uses its data or values 1 of 4 papers with this label
How the literature uses it

154 arXiv papers cite this in 175 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 49 sentences without a confident label

Contests it 2 papers
  • The trace in the $p$-index antisymmetric representation (i.e. $p$-form) can be extracted from the general formula [ref] encoding the character of a fully antisymmetric representation[Note a typo in the rhs of (49) of [ref] , the term $Ch_R(lF)$ should be divided by $l$ [ref] .] via a generating function, [equation] and it is given by the coefficient of $x^p$ in its Taylor series expansion.

    CasimirRFM: A Mathematica package for Riemann-flat compactifications with Casimir energies · Lorentz group traces under different representations · contest 0.83

  • This is a special case of a more general formula [ref] encoding the character of a fully antisymmetric representation[Note a typo in the rhs of (49) of [ref] , the term $Ch_R(lF)$ should be divided by $l$ [ref] .] via a generating function, [equation]

    An M-theory dS maximum from Casimir energies on Riemann-flat manifolds · Lorentz group traces for Casimir energies · contest 0.74

Uses its method or tool 106 papers
Uses its data or values 4 papers
Compares with it 1 paper
Cites it as background 10 papers
  • Most of the results presented here are known in the literature on anomalies, see e.g. [ref] and textbooks like [ref] .

    Constraint on Spinor-Vector Dualities in Six Dimensions · SO(2N) Trace Identities · 1.00

  • Bien que toutes les informations nécessaires peuvent être récoltées dans la littérature [ref] , il nous a semblé qu'une courte revue détaillant toutes les définitions et conventions avec une emphase particulière sur les calculs à boucles pratiques manquait, ce qui a été fait en Annexe [ref]. * D'un point de vue plus technique, la relation entre action effective et correspondance de diagrammes de Feynman a été soigneusement analysée.

    Some aspects of CP violation and gauge interactions in the standard model and beyond · Réduction vers des groupes produits · 0.87

  • The quartic Casimir operators are defined by symmetrized traces[ The symmetrized trace is defined by $STr[T^a_1 ⋯T^a_n]=1/n! ∑_σ∈S_nTr[T^a_σ(1) ⋯T^a_σ(n)]$, where the sum runs over all permutations of indices.] of four generators [ref] [equation] At four loops $Γ_$ then takes the form [equation] In status we show for each of the four-loop color structures an example of a contributing Feynman diagram.

    Matter dependence of the four-loop QCD cusp anomalous dimension: from small angles to all angles · Color dependence of $Γ_$ to four loops · 0.83

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.