Pair-zero and degree conditions admit extra six-dimensional hook solutions at seven points and a two-dimensional plane at eight; Bose symmetry and one normalized physical boundary condition single out the Hodges numerator.
Digitalizing Wick's theorem
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Wick's theorem is a cornerstone of perturbative quantum field theory. In this paper we announce and discuss the digitalization of Wick's theorem and its proof into the interactive theorem prover Lean 4 as part of the project PhysLean. We do the same for the static and normal-ordered versions of Wick's theorem.
fields
hep-th 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Algebraic versus physical uniqueness of MHV gravity numerators
Pair-zero and degree conditions admit extra six-dimensional hook solutions at seven points and a two-dimensional plane at eight; Bose symmetry and one normalized physical boundary condition single out the Hodges numerator.