each energy-flow-oriented graph, without ambiguity. We derive the FOPT representation
in sect. 2from four dimensional covariant coordinate space rules, starting with the deriva-
tion of the FOPT representation for the scalar triangle diagram, followed by the general
treatment, which holds for any massless scalar diagram, independent of the number of
edges incident to each internal vertex. We then summarise the FOPT representation in
a concise set of Feynman rules and show that it has the UV behaviour which is expected
from covariant analyses.
However, the FOPT representation comes with two inherent caveats: the external data
is given in coordinate space, but, ultimately, a momentum space encoding of such data is
needed for the computation of scattering cross-sections. Additionally, as we will explain in
sect. 3, finite distance singularities play a quite intricate role in the FOPT representation
and the presence of IR singularities is not manifest. Motivated by this, we adjust perspec-
tive in sect. 4: we (partially) transform the FOPT representation back to momentum space.
We call the resulting hybrid representation, which effectively describes S-matrix elements,
the p-xS-matrix representation. It is hybrid in the sense that external kinematics are given
in momentum space while internal integrations are performed in three-dimensional coor-
dinate space. These internal coordinate space integrals are covariant three-dimensional
Feynman integrals, modulated by the Fourier transform of a certain polytope associated
to the underlying flow-oriented Feynman diagram.
This polytope turns out to be an instance of the well-studied flow polytope. This type of
polytope has close connections to the representation theory of arithmetic groups, diagonal
harmonics, to Schubert polynomials and other mathematical structures [51–56]. Here, we
add a new application of the flow polytope to this list: the study of Feynman integrals. This
paper is hence an addition to the growing literature on the use of polytopes in the study of
analyticity properties and evaluation techniques in quantum field theory [23,57–65]. The
inherent finiteness of such polytopes’ Fourier transforms gives a concise explanation for the
cancellation of spurious singularities in our new p-xS-matrix representation. In general,
the cancellation of such spurious singularities is a not a well-understood phenomenon as we
will discuss in sect. 4.7. Additionally, the Fourier transform of the flow polytope expresses
the oscillating behaviour of the S-matrix integrand which, especially at large distances,
becomes crucial for determining the singular structure of the S-matrix itself.
Equipped with the necessary knowledge of the flow polytope’s properties, we discuss
IR singularities in the p-xrepresentation of the S-matrix in sect. 5and identify a coordinate
space analogue of collinear and soft singularities. Subsequently, we detail the factorization
properties of these singular regions for diagrams contributing to the S-matrix. Our ob-
servation is that, in the p-xS-matrix representation, IR factorization, which is expected
from physical amplitudes [66], is in fact already present at the diagram level. The general
discussion is again supported by the pedagogical treatment of the triangle diagram.
Finally, we observe that the original FOPT representation has some interesting fea-
tures in the context of unitarity-cut integrals and Cutkosky’s theorem and the largest time
equation [37,67]. For instance, virtual and real contributions to cross sections can readily
be put under the same integration measure. We leave an in-depth analysis of these ob-
servations for a future work, hence we relegate these aspects to appx. A, where we sketch
– 3 –