Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Species-theoretic foundations of perturbative quantum field theory

T0 review · 3 major / 4 minor · reviewed 2026-08-27 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper claims that the entire algebraic machinery of causal perturbation theory—time-ordered products, retarded products, S-matrix schemes, and the interacting-field formula—is a single homomorphism from the Hopf monoid of set…

desk verdict Serious, original species-theoretic formalization of pQFT, but a missing antipode in the printed retarded-product formula makes the proof of Bogoliubov's formula incorrect as written. read the letter →

arxiv 2009.09969 v2 pith:2WVUR4ZV submitted 2020-09-21 math-ph math.COmath.MP

William Norledge This is my paper · ORCID
classification math-phmath.COmath.MP MSC 16T0581T15
keywords combinatorialspeciesHopfmonoidssetcompositionscausalperturbationtheorytime-orderedproductsretardedSteinmannrelationsBogoliubovformula
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper claims that the machinery of perturbative quantum field theory is not a collection of separate constructions but one combinatorial object: the Hopf monoid of set compositions—ordered lists of disjoint blocks partitioning the label set of interaction points—decorated by local observables. Its central assertion is that a renormalized system of time-ordered products is exactly an algebra homomorphism from this decorated Hopf monoid into the Wick algebra of microcausal polynomial observables, and that causal factorization is the statement that the Tits product acts trivially on configurations ordered by causality. From that single homomorphism the paper derives a complete dictionary: generalized time-ordered products are images of set compositions, generalized retarded products are images of the primitive Dynkin elements, the perturbative S-matrix is the universal series, and the interacting generating function satisfies an identity whose differentiation gives Bogoliubov's formula. A sympathetic reader should take this as a structural unification: every one of these standard pQFT objects is the image of one Hopf monoid, so their mutual relations are Hopf-monoid identities. If the claim holds, pQFT gains a common combinatorial backbone for organizing renormalized perturbation theory.

What carries the argument

The load-bearing object is the cocommutative Hopf monoid $\Sigma$ of set compositions, defined internally to vector species with the Cauchy (Day convolution) product: for a finite label set $I$, $\Sigma[I]$ is the free vector space on ordered decompositions $F=(S_1,\dots,S_k)$ of $I$ into nonempty lumps, with concatenation as multiplication and restriction to subsets as comultiplication. The argument is carried by the curried homomorphism from $\Sigma\otimes E_{\mathcal{F}_{\mathrm{loc}}[[\hbar]]}$ into the Wick algebra, together with two structural mechanisms on $\Sigma$: the Tits product $F\cdot G=\mu_F(\Delta_F(H_G))$, which encodes causal factorization as Hopf powers; and the retarded and advanced Steinmann arrows, which are commutative up biderivations and thereby give $\Sigma$ (and its primitive part $\mathrm{Zie}$) the structure of a Hopf $E$-algebra, so that perturbation by an interaction is forced to be a homomorphism.

What would settle it

Take a concrete renormalized theory (for example a scalar $\phi^4$ interaction in $p=0$ spacetime, where time-ordered products are ordinary distributions on configuration space), compute the generalized retarded products $R_S$ from the alternating H-basis sum $R_S=-\sum_{\bar F\subseteq S}(-1)^{\ell(F)}T(S_1)\cdots T(S_k)$, and check whether every four-term Steinmann relation $D_{S_1}-D_{S_2}+D_{S_3}-D_{S_4}=0$ holds exactly for overlapping channels. One violation would show retarded products do not factor through $\mathrm{Zie}\cong L^\vee/\mathrm{Stein}$, contradicting the central identification.

Watch

Extended reading notes

Core claim

The central claim, stated on the paper's own terms, is that causal perturbation theory's central construction is a single morphism of species-theoretic algebras: a homomorphism $T:\Sigma\otimes E_{\mathcal{F}_{\mathrm{loc}}[[\hbar]]}\to U_{\mathcal{F}((\hbar))}$, where $\Sigma$ is the Hopf monoid of set compositions and $E_{\mathcal{F}_{\mathrm{loc}}[[\hbar]]}$ decorates labels by local observables. After currying, the basis element $H_F$ of a composition $F=(S_1,\dots,S_k)$ maps to the generalized time-ordered product $T(S_1)\cdots T(S_k)$; the Dynkin elements $D_S$ (primitive elements indexed by chambers of the adjoint braid arrangement) map to generalized retarded products. Causal factorization is shown to be the condition $T_I(a\otimes A_I)=T_I(a\cdot H_G\otimes A_I)$ whenever the observables respect the composition $G$, where $\cdot$ is the Tits product. Given a fully renormalized system, the interacting products are constructed by perturbing through the retarded Steinmann arrow, a commutative up biderivation of $\Sigma$; the resulting generating function $Z_{gS_{\mathrm{int}}}(jA)=S^{-1}(gS_{\mathrm{int}})\star_H S(gS_{\mathrm{int}}+jA)$ is a Hopf-theoretic identity, and Bogoliubov's formula is its derivative at $j=0$.

Load-bearing premise

The argument rests on assuming that a fully renormalized system of time-ordered products exists: products of field observables that are defined even at coinciding spacetime points, obey causal factorization, and reduce to normal ordering for a single field. The paper does not prove this existence and leaves renormalization to future work.

Editorial extensions

If this is right

  • Generalized time-ordered products are not auxiliary objects: they are the images of arbitrary set compositions in the H-basis, so any relation among compositions becomes a relation among products.
  • Causal factorization is equivalent to the statement that $T_I(a\otimes A_I)=T_I(a\cdot H_G\otimes A_I)$ whenever the observables respect $G$; this makes support and vanishing arguments into direct consequences of Tits-product identities.
  • Generalized retarded products are the images of the Dynkin elements $D_S$, and the Steinmann relations among them are exactly the relations that present the primitive Lie algebra $\mathrm{Zie}=P(\Sigma)$ as $L^\vee/\mathrm{Stein}$.
  • The perturbative S-matrix scheme is the universal series $G(1/i\hbar)$ evaluated under the homomorphism, so $S^{-1}(gS_{\mathrm{int}})$ and $S(gS_{\mathrm{int}}+jA)$ are related by the antipode of $\Sigma$, and the interacting generating function identity is a corollary.
  • Bogoliubov's formula for the interacting local field, $A_{\mathrm{int}}=i\hbar\,\frac{d}{dj}\big|_{j=0}Z_{gS_{\mathrm{int}}}(jA)$, follows by formal differentiation because the interacting products were built by an up biderivation rather than by a separate axiom.

Reading between the lines

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

  • The paper leaves implicit that renormalization itself is the one analytic step not determined by the Hopf monoid: extending a homomorphism defined off the fat diagonal to the diagonal is a choice, and the renormalization group should act on the space of such extended homomorphisms.
  • A direct corollary the author does not pursue is that any algebra representation of $\Sigma$ with a compatible causality order should automatically carry a causal-perturbation calculus, so the dictionary should transfer to models other than the continuum Wick algebra.
  • In $p=0$ (time-only) spacetime the maps become functions on the braid arrangement, so the full Hopf-monoid identities could be tested computationally to arbitrary order without confronting analytic renormalization; such a check is outside the paper but follows from its Section 13 together with the Steinmann-relation presentation of $\mathrm{Zie}$.
Share X Bluesky LinkedIn Reddit HN

Formalized claims in Lean

  1. Claim #1: The central claim, stated on the paper's own terms, is that causal perturbation theory's central construction is a single morphism of species-theoretic algebras: a homomorphism $T:\Sigma\otimes E_{\mathcal{F}_{\mathrm{loc}}[[\hbar]]}\to U_{\mathcal{F}((\hbar))}$, where $\Sigma$ is the Hopf monoid of set compositions and $E_{\mathcal{F}_{\mathrm{loc}}[[\hbar]]}$ decorates labels by local observable

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper develops an algebraic formalism for perturbative quantum field theory using Joyal's combinatorial species, following Aguiar-Mahajan's theory of Hopf monoids internal to species. It sets up the general categorical machinery of species, Cauchy and Hadamard products, internal and external homs, E-modules, E-algebras, and systems of products, and then applies this to the Hopf monoid of set compositions Σ and its primitive part Zie. The central claim is that the structures of causal perturbation theory—generalized time-ordered products, generalized retarded products, the S-matrix scheme, and the interacting products obtained by the retarded Steinmann arrow—are images of a single Hopf monoid under a homomorphism into the Wick algebra of microcausal polynomial observables. The paper proves the Hopf-theoretic identities in detail, presents a dictionary between algebraic elements and operator-valued distributions, and derives the generating function of interacting observables, recovering Bogoliubov's formula. The application to pQFT is explicit but conditional: it assumes the existence of a fully normalized system of generalized time-ordered products satisfying perturbation and causal factorization, citing standard pAQFT results for this existence and for the landing in UF[[hbar,g]].

Significance. If the central construction is correct, the paper provides a genuinely unifying picture: several objects that are usually defined independently in pAQFT—T-products, R-products, S-matrix schemes, and Bogoliubov's generating function—arise from one Hopf monoid and its E-algebra structure. The algebraic core is developed carefully and explicitly, with definitions and proofs that are checkable and largely self-contained; the use of Aguiar-Mahajan's framework is appropriate and the proposed dictionary is informative. The paper is also honest about its main limitation: the dictionary is conditional on the cited existence of fully renormalized time-ordered products and on the cited pAQFT theorems guaranteeing that the perturbed products land in UF[[hbar,g]]. The formal reconstruction of Bogoliubov's formula is a central advertised output, so the sign/antipode issue discussed below must be fixed before the central claim can be accepted as written.

major comments (3)
  1. [§8.2, Eq. (43); §10.2, Eq. (46); Theorem 10.2] As printed, Eq. (43) drops the antipode on the first factor. It should read R(Y;I)=∑_{Y1⊔Y2=Y} \overline{H(Y1)} H(Y2⊔I), where \overline{H(Y1)} is the antipode image defined in Eq. (35). In its current form, Eq. (43) contradicts Eq. (41) already for Y={∗}, and for I=∅ it gives a nonzero sum even though every derivation annihilates the unit. The same omission propagates to Eq. (46), where the first factor is written as T^{Y1}_∅(S^{Y1}) instead of the reverse time-ordered product \overline{T}^{Y1}_∅(S^{Y1}). Taken literally, the proof of Theorem 10.2 then computes S(gS)⋆S(gS+jA) rather than S^{-1}(gS)⋆S(gS+jA), which is exactly the factorization needed for Bogoliubov's formula and for the generating function Z_{gS_int} in Section 14. The advanced formula in Eq. (43) needs the analogous marker on the second factor. The version of this formula in the Introduction, which explicitly inserts s(H(Y1)), is the correct one, and the body should be harmonized with it.
  2. [§9.3, Eq. (44)] The series s∘G(c) is printed as (s∘G(c))_I = c^n H(I). Since s(H(I)) = \overline{H(I)} = ∑_{F∈Σ[I]} (-1)^{l(F)} H_F, the right-hand side must be c^n \overline{H(I)}. This is not merely a notational preference: the following identification of the T-exponential of the reverse system with S^{-1}, and consequently the identity S(jA)⋆S^{-1}(jA)=1, uses the antipode on H(I). The displayed equation should be corrected and the surrounding sentences updated to reflect the reverse-product notation.
  3. [§14, final paragraph] The statement that the interacting products 'do indeed land in UF[[hbar,g]]' is cited to [DF01, Proposition 2(ii)] rather than proved here, and the existence of a fully normalized system of time-ordered products is also taken as input from pAQFT. This is a legitimate scope choice, but the abstract and the concluding summary should state explicitly that the central dictionary is conditional on these cited existence theorems; otherwise the phrasing 'the central construction of causal perturbation theory is a homomorphism' overstates what is proved within the paper.
minor comments (4)
  1. [Throughout] Several typos should be corrected: 'Klein-Gordan' should be 'Klein-Gordon', and 'casual perturbation theory' appears twice where 'causal perturbation theory' is meant (Introduction and Section 10.3).
  2. [Throughout] Many displayed equations contain encoding artifacts with corrupted angle-bracket and overline strings, for example in the Introduction, Section 1, Section 6, and Section 12. These must be repaired in the production version, especially because some of the lost overlines are exactly the antipode markers discussed in the major comments.
  3. [Section 12] The word 'compexified' should be 'complexified'.
  4. [Sections 8-10] Because several later formulas depend on overlines denoting antipode images and reverse T-products, a short notation table collecting H_F, \overline{H_F}, T, and \overline{T} would substantially reduce the risk of future omissions and would make the corrected equations easier to verify.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: Bogoliubov's formula is derived, not assumed, from the Steinmann-arrow biderivation; the self-cited Dynkin/Steinmann results are not the load-bearing input.

full rationale

The central construction is conditional on an externally supplied fully renormalized system of generalized time-ordered products T: Σ⊗E_Floc[[ℏ]]→UF((ℏ)) (Sections 13–14), which the paper explicitly outsources: 'We leave species-theoretic aspects of renormalization... to future work.' Given such a T, the interacting products ⟨T are defined in Section 10.2 as T^{↓,S}, the perturbation of T by the retarded Steinmann arrow, which is itself fixed by the Hopf-theoretic biderivation formula (40)–(41), not by the Bogoliubov identity. Theorem 10.2 then expands R_{Y;I} via (43)/(46) and uses that the series functor S(−) is a homomorphism to obtain V_{gS}(jA)=S^{-1}(gS)⋆S(gS+jA); this is a proof from the definitions, not a fitted parameter renamed as a prediction. The self-citations [NO19], [LNO19] establish the Dynkin elements' spanning and the Steinmann relations, supporting the interpretive dictionary 'DS ↔ R_S', but the Hopf-to-Wick homomorphism and the Bogoliubov factorization do not reduce to those citations; the cited statements are parameter-free combinatorial facts external to the perturbative construction. I note a non-circular correctness issue: as printed, (43) omits the antipode on the first factor, so it contradicts (41) for Y={∗} (it gives +H(∗,I)+H(∗I) instead of −H(∗,I)+H(∗I)); the intended identity is R(Y;I)=∑ s(H(Y1))H(Y2⊔I), and (46)/Theorem 10.2 require the reverse (antipode-precomposed) T-products on the first factor. This is a typographical/derivation bug in the displayed chain, not a case of the output being equivalent to the input by construction.

Assumptions & free parameters 2 free parameters · 5 assumptions · 0 invented entities

The paper introduces no new physical entities; the only novel objects are mathematical definitions, including the species of compositions, Dynkin elements, and Steinmann arrows as up biderivations, which formalize existing physical structures. The central claim rests on standard species theory and on pAQFT existence assumptions rather than on fitted parameters.

free parameters (2)
  • c in the universal series G(c) = 1/(iℏ) in the physics application
    The scaling of the universal series is chosen by hand so that the series reproduces the perturbative S-matrix scheme (Sections 9.3, 13). It is a normalization choice, not fitted to data.
  • a,b in the up biderivation u_{a,b} = (1,0) for retarded, (0,1) for advanced Steinmann arrows
    The family of up biderivations of Sigma is parametrized by a,b; specific values are selected to match the known retarded and advanced products (Sections 8.1, 8.2).
assumptions (5)
  • standard math The category of vector species with Cauchy, Hadamard, and plethystic products and the PBW and CMM theorems hold.
    Background from Aguiar-Mahajan [AM10], [AM13], used throughout Part 1.
  • domain assumption Minkowski spacetime with a Klein-Gordon real scalar field, with microcausal polynomial observables and local observables carrying the Moyal, or Wick, algebra structure as described.
    Sections 11-12; the formalism is restricted to this setting and does not treat gauge theories or curved spacetimes, which are mentioned as general contexts.
  • domain assumption A fully renormalized system of generalized time-ordered products T satisfying perturbation and causal factorization exists.
    Assumed in Sections 13-14; the paper explicitly leaves renormalization to future work and cites pAQFT for existence.
  • domain assumption The Hadamard vacuum state is stable with respect to the interaction S_int, as stated in equation (49).
    Needed for the scattering amplitude formula in Proposition 15.1.
  • standard math The Dynkin elements span Zie and the Steinmann relations generate all relations among them, with Ruelle's identity for the Lie bracket.
    Proved in the author's prior work [NO19], [LNO19], cited in Theorems 7.1, 7.2, and Proposition 7.5; accepted here without reproduction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Species-theoretic foundations of perturbative quantum field theory." pith.science (2026). https://pith.science/paper/2WVUR4ZV

@misc{pith2026200909969,
  author       = {Pith},
  title        = {Pith review of: Species-theoretic foundations of perturbative quantum field theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2WVUR4ZV}},
  note         = {Machine review of arXiv:2009.09969}
}
read the original abstract

We develop an algebraic formalism for perturbative quantum field theory (pQFT) which is based on Joyal's combinatorial species. We show that certain basic structures of pQFT are correctly viewed as algebraic structures internal to species, constructed with respect to the Cauchy monoidal product. Aspects of this formalism have appeared in the physics literature, particularly in the work of Bogoliubov-Shirkov, Steinmann, Ruelle, and Epstein-Glaser-Stora. In this paper, we give a fully explicit account in terms of modern theory developed by Aguiar-Mahajan. We describe the central construction of causal perturbation theory as a homomorphism from the Hopf monoid of set compositions, decorated with local observables, into the Wick algebra of microcausal polynomial observables. The operator-valued distributions called (generalized) time-ordered products and (generalized) retarded products are obtained as images of fundamental elements of this Hopf monoid under the curried homomorphism. The perturbative S-matrix scheme corresponds to the so-called universal series, and the property of causal factorization is naturally expressed in terms of the action of the Hopf monoid on itself by Hopf powers, called the Tits product. Given a system of fully renormalized time-ordered products, the perturbative construction of the corresponding interacting products is via an up biderivation of the Hopf monoid, which recovers Bogoliubov's formula.

Figures

Figures reproduced from arXiv: 2009.09969 by the authors.

Figure 1
Figure 1. Let I = {1, 2, 3, 4, 5, 6, 7, 8, 9}. The trees [4], [1, 23] (6= [23, 1]), [[2, 3], 5], [[24, [1, 9]], 678]. The debracketing of [[24, [1, 9]], 678] is the composition (24, 1, 9, 678). If we put T1 = [24, [1, 9]] and T2 = [678], then [T1, T2] would also denote this tree. We define the positive species Zie by letting Zie[I] denote the vector space of formal k-linear combinations of trees over I, modulo the relations o… view at source ↗
Figure 2
Figure 2. A cell S over {1, 2, 3} (on the adjoint braid arrangement) and its Dynkin element DS (on the tropical geometric realization of Σ, where the multiplication embeds facets and the comultiplication projects onto facets, see [NO19, Introduction])). In the presence of causal factorization, the time component of the corresponding generalized retarded function rS is a C[[~, g]]-valued generalized function on the braid arran… view at source ↗
Figure 3
Figure 3. Schematic for the action of the retarded Steinmann arrow ∗ ↓ for I = {1, 2, 3} on the Steinmann sphere (left) and the tropical geometric realization of Σ (right, see [NO19, Introduction]). The homomorphisms of Theorem 8.2 are the unique extensions of the maps H(I) 7→ X∞ r=0 R(r;I) and H(I) 7→ X∞ r=0 A(r;I) to homomorphisms. 8.3. The Steinmann Arrows and Dynkin Elements. We now show that the restriction of the Steinm… view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: For p = 0, configurations λ ∈ X I/X = R I/(1, . . . , 1) shown in red which respect the composition G shown in white (i.e. λ(i1) ∨∧ λ(i2) for all (i1, i2) such that G|{i1,i2} = (i1, i2)), depicted on the tropical toric compactification of the tropical torus R I/(1, . .…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Species of Rota-Baxter algebras by rooted trees, twisted bialgebras and Fock functors

    math.CO 2025-01 conditional novelty 7.0 of 10

    The species of simple angularly decorated forests is shown to be the free Rota-Baxter species and to carry a twisted bialgebra structure; Fock functors recover known Rota-Baxter algebra structures.

Reference graph

Works this paper leans on

52 extracted references · 50 canonical work pages · cited by 1 Pith paper

  1. [1]

    Peter Abramenko and Kenneth S. Brown. Buildings , volume 248 of Graduate Texts in Mathematics . Springer, New York, 2008. Theory and applications

    2008

  2. [2]

    Monoidal functors, species and H opf algebras , volume 29 of CRM Monograph Series

    Marcelo Aguiar and Swapneel Mahajan. Monoidal functors, species and H opf algebras , volume 29 of CRM Monograph Series . American Mathematical Society, Providence, RI, 2010. With forewords by Kenneth Brown, Stephen Chase and Andr\' e Joyal

    work page 2010

  3. [3]

    Hopf monoids in the category of species

    Marcelo Aguiar and Swapneel Mahajan. Hopf monoids in the category of species. In Hopf algebras and tensor categories , volume 585 of Contemp. Math. , pages 17--124. Amer. Math. Soc., Providence, RI, 2013

    work page 2013

  4. [4]

    Topics in hyperplane arrangements , volume 226 of Mathematical Surveys and Monographs

    Marcelo Aguiar and Swapneel Mahajan. Topics in hyperplane arrangements , volume 226 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2017

    work page 2017

  5. [5]

    Bimonoids for Hyperplane Arrangements , volume 173

    Marcelo Aguiar and Swapneel Mahajan. Bimonoids for Hyperplane Arrangements , volume 173. Cambridge University Press, 2020

    work page 2020

  6. [6]

    Generalized retarded functions and analytic function in momentum space in quantum field theory

    Huzihiro Araki. Generalized retarded functions and analytic function in momentum space in quantum field theory. Journal of Mathematical Physics , 2(2):163--177, 1961

    work page 1961

  7. [7]

    M. G. Barratt. Twisted L ie algebras. In Geometric applications of homotopy theory ( P roc. C onf., E vanston, I ll., 1977), II , volume 658 of Lecture Notes in Math. , pages 9--15. Springer, Berlin, 1978

    work page 1977

  8. [8]

    Green-hyperbolic operators on globally hyperbolic spacetimes

    Christian B \"a r. Green-hyperbolic operators on globally hyperbolic spacetimes. Comm. Math. Phys. , 333(3):1585--1615, 2015

    2015

Show all 52 references
  1. [9]

    Generalized planar feynman diagrams: collections

    Francisco Borges and Freddy Cachazo. Generalized planar feynman diagrams: collections. arXiv preprint arXiv:1910.10674 , 2019

    1910 arXiv

  2. [10]

    Brunetti, M

    R. Brunetti, M. D\" u tsch, and K. Fredenhagen. Perturbative algebraic quantum field theory and the renormalization groups. Adv. Theor. Math. Phys. , 13(5):1541--1599, 2009

    2009

  3. [11]

    Microlocal analysis and interacting quantum field theories: renormalization on physical backgrounds

    Romeo Brunetti and Klaus Fredenhagen. Microlocal analysis and interacting quantum field theories: renormalization on physical backgrounds. Comm. Math. Phys. , 208(3):623--661, 2000

    2000

  4. [12]

    Positive sum systems

    Anders Bjorner. Positive sum systems. In Combinatorial methods in topology and algebra , volume 12 of Springer INdAM Ser. , pages 157--171. Springer, Cham, 2015

    2015

  5. [13]

    Bros and M

    J. Bros and M. Lassalle. Analyticity properties and many-particle structure in general quantum field theory. II . O ne-particle irreducible n -point functions. Comm. Math. Phys. , 43(3):279--309, 1975

    1975

  6. [14]

    Bergeron, G

    F. Bergeron, G. Labelle, and P. Leroux. Combinatorial species and tree-like structures , volume 67 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 1998. Translated from the 1994 French original by Margaret Readdy, with a foreword by...

    1998

  7. [15]

    Billera, J

    L.J. Billera, J. Tatch Moore, C. Dufort Moraites, Y. Wang, and K. Williams. Maximal unbalanced families. arXiv preprint arXiv:1209.2309 , 2012

    2012 arXiv

  8. [16]

    Pommersheim

    Alexander Barvinok and James E. Pommersheim. An algorithmic theory of lattice points in polyhedra. In New perspectives in algebraic combinatorics ( B erkeley, CA , 1996--97) , volume 38 of Math. Sci. Res. Inst. Publ. , pages 91--147. Cambridge Univ. Press, Cambridge, 1999

    1996

  9. [17]

    N. N. Bogoliubov and D. V. Shirkov. Introduction to the theory of quantized fields . Authorized English edition. Revised and enlarged by the authors. Translated from the Russian by G. M. Volkoff. Interscience Monographs in Physics and Astronomy, Vol. III. Interscience Publishe...

    1959

  10. [18]

    Planar matrices and arrays of feynman diagrams

    Freddy Cachazo, Alfredo Guevara, Bruno Umbert, and Yong Zhang. Planar matrices and arrays of feynman diagrams. arXiv preprint arXiv:1912.09422 , 2019

    1912 arXiv

  11. [19]

    Fedosov quantization and perturbative quantum field theory

    Giovanni Collini. Fedosov quantization and perturbative quantum field theory. arXiv preprint arXiv:1603.09626 , 2016

    2016 arXiv

  12. [20]

    D\" u tsch and K

    M. D\" u tsch and K. Fredenhagen. Algebraic quantum field theory, perturbation theory, and the loop expansion. Comm. Math. Phys. , 219(1):5--30, 2001

    2001

  13. [21]

    Causal perturbation theory in terms of retarded products, and a proof of the action W ard identity

    Michael D\" u tsch and Klaus Fredenhagen. Causal perturbation theory in terms of retarded products, and a proof of the action W ard identity. Rev. Math. Phys. , 16(10):1291--1348, 2004

    2004

  14. [22]

    u tsch. Connection between the renormalization groups of S t\

    Michael D \"u tsch. Connection between the renormalization groups of S t\" u ckelberg- P etermann and W ilson. Confluentes Math. , 4(1):1240001, 16, 2012

    2012

  15. [23]

    u tsch. From classical field theory to perturbative quantum field theory , volume 74 of Progress in Mathematical Physics . Birkh\

    Michael D \"u tsch. From classical field theory to perturbative quantum field theory , volume 74 of Progress in Mathematical Physics . Birkh\" a user/Springer, Cham, 2019. With a foreword by Klaus Fredenhagen

    2019

  16. [24]

    F. J. Dyson. Divergence of perturbation theory in quantum electrodynamics. Phys. Rev. (2) , 85:631--632, 1952

    1952

  17. [25]

    Planar kinematic invariants, matroid subdivisions and generalized feynman diagrams

    Nick Early. Planar kinematic invariants, matroid subdivisions and generalized feynman diagrams. arXiv preprint arXiv:1912.13513 , 2019

    1912 arXiv

  18. [26]

    Epstein and V

    H. Epstein and V. Glaser. The role of locality in perturbation theory. Ann. Inst. H. Poincar\' e Sect. A (N.S.) , 19:211--295 (1974), 1973

    1974

  19. [27]

    Epstein, V

    H. Epstein, V. Glaser, and R. Stora. General properties of the n-point functions in local quantum field theory . In Institute on Structural Analysis of Multiparticle Collision Amplitudes in Relativistic Quantum Theory Les Houches, France, June 3-28, 1975 , pages 5--93, 1975

    1975

  20. [28]

    Henri Epstein. Trees. Nuclear Phys. B , 912:151--171, 2016

    2016

  21. [29]

    William G. Faris. Combinatorial species and F eynman diagrams. S\' e m. Lothar. Combin. , 61A:Art. B61An, 37, 2009/11

    2009

  22. [30]

    Quantum fields and processes , volume 171 of Cambridge Studies in Advanced Mathematics

    John Gough and Joachim Kupsch. Quantum fields and processes , volume 171 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2018. A combinatorial approach

    2018

  23. [31]

    Glaser, H

    V. Glaser, H. Lehmann, and W. Zimmermann. Field operators and retarded functions. Nuovo Cimento (10) , 6:1122--1128, 1957

    1957

  24. [32]

    An algebraic approach to quantum field theory

    Rudolf Haag and Daniel Kastler. An algebraic approach to quantum field theory. J. Mathematical Phys. , 5:848--861, 1964

    1964

  25. [33]

    Renormalized quantum Y ang- M ills fields in curved spacetime

    Stefan Hollands. Renormalized quantum Y ang- M ills fields in curved spacetime. Rev. Math. Phys. , 20(9):1033--1172, 2008

    2008

  26. [34]

    The star product in interacting quantum field theory

    Eli Hawkins and Kasia Rejzner. The star product in interacting quantum field theory. Lett. Math. Phys. , 110(6):1257--1313, 2020

    2020

  27. [35]

    V. A. Ilyin and D. A. Slavnov. Algebras of observables in the S -matrix approach. Teoret. Mat. Fiz. , 36(1):32--41, 1978

    1978

  28. [36]

    Une th\' e orie combinatoire des s\' e ries formelles

    Andr\' e Joyal. Une th\' e orie combinatoire des s\' e ries formelles. Adv. in Math. , 42(1):1--82, 1981

    1981

  29. [37]

    Foncteurs analytiques et esp\`eces de structures

    Andr\' e Joyal. Foncteurs analytiques et esp\`eces de structures. In Combinatoire \' e num\' e rative ( M ontreal, Q ue., 1985/ Q uebec, Q ue., 1985) , volume 1234 of Lecture Notes in Math. , pages 126--159. Springer, Berlin, 1986

    1985

  30. [38]

    The adjoint braid arrangement as a combinatorial L ie algebra via the S teinmann relations

    Zhengwei Liu, William Norledge, and Adrian Ocneanu. The adjoint braid arrangement as a combinatorial L ie algebra via the S teinmann relations. arXiv preprint arXiv:1901.03243 , 2019

    1901 arXiv

  31. [39]

    Hopf monoids, permutohedral cones, and generalized retarded functions

    William Norledge and Adrian Ocneanu. Hopf monoids, permutohedral cones, and generalized retarded functions. arXiv preprint arXiv:1911.11736 , 2019

    1911 arXiv

  32. [40]

    H igher R epresentation T heory

    Adrian Ocneanu. H igher R epresentation T heory. P hysics 267, Fall 2017 Harvard C ourse, and supplementary materials and presentations, 2017-2018. The course is available on YouTube, and supplementary materials are in preparation for publication

    2017

  33. [41]

    G. Pinter. The H opf algebra structure of C onnes and K reimer in E pstein- G laser renormalization. Lett. Math. Phys. , 54(3):227--233, 2000

    2000

  34. [42]

    J. C. Polkinghorne. Generalized retarded products. Proc. Roy. Soc. London Ser. A , 247:557--561, 1958

    1958

  35. [43]

    Perturbative algebraic quantum field theory

    Kasia Rejzner. Perturbative algebraic quantum field theory . Mathematical Physics Studies. Springer, Cham, 2016. An introduction for mathematicians

    2016

  36. [44]

    D. Ruelle. Connection between W ightman functions and G reen functions in p -space. Nuovo Cimento (10) , 19:356--376, 1961

    1961

  37. [45]

    William R. Schmitt. Hopf algebras of combinatorial structures. Canad. J. Math. , 45(2):412--428, 1993

    1993

  38. [46]

    G eometry of physics - perturbative quantum field theory

    Urs Schreiber. G eometry of physics - perturbative quantum field theory. https://ncatlab.org/nlab/show/geometry+of+physics+--+perturbative+quantum+field+theory, September 2020. Revision 197

    2020

  39. [47]

    \" U ber den Z usammenhang zwischen den W ightmanfunktionen und den retardierten K ommutatoren

    Othmar Steinmann. \" U ber den Z usammenhang zwischen den W ightmanfunktionen und den retardierten K ommutatoren. Helv. Phys. Acta , 33:257--298, 1960

    1960

  40. [48]

    Wightman- F unktionen und retardierte K ommutatoren

    Othmar Steinmann. Wightman- F unktionen und retardierte K ommutatoren. II . Helv. Phys. Acta , 33:347--362, 1960

    1960

  41. [49]

    Perturbation expansions in axiomatic field theory

    Othmar Steinmann. Perturbation expansions in axiomatic field theory . Springer-Verlag, Berlin-New York, 1971. Lecture Notes in Physics, Vol. 11

    1971

  42. [50]

    Differential algebras in lagrangean field theory

    R Stora. Differential algebras in lagrangean field theory. ETH-Z \"u rich Lectures , 1993

    1993

  43. [51]

    Christopher R. Stover. The equivalence of certain categories of twisted L ie and H opf algebras over a commutative ring. J. Pure Appl. Algebra , 86(3):289--326, 1993

    1993

  44. [52]

    Buildings of spherical type and finite BN -pairs

    Jacques Tits. Buildings of spherical type and finite BN -pairs . Lecture Notes in Mathematics, Vol. 386. Springer-Verlag, Berlin-New York, 1974

    1974

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.