erik panzer institute des hautes ´etudes scientifiques...
TRANSCRIPT
![Page 1: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/1.jpg)
Linear reducibility of Feynman integrals
Erik PanzerInstitute des Hautes Etudes Scientifiques
RADCOR/LoopFest 2015June 19th, 2015
UCLA, Los Angeles
![Page 2: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/2.jpg)
Feynman integrals: special functions and numbersSome FI are expressible via multiple polylogarithms (MPL)
Lin1,...,nd (z1, . . . , zd ) =∑
0<k1<···<kd
zk11 · · · z
kdd
kn11 · · · k
ndd
Example (p21 = 1, p2
2 = zz , p23 = (1− z)(1− z))
Φ( )
= 4i Im [Li2(z) + log(1− z) log |z |]z − z
Questions1 What comes beyond MPL? [Weinzierl’s talk]2 How to tell if a FI evaluates to MPL? What is the alphabet?3 How to compute it explicitly?
1 / 24
![Page 3: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/3.jpg)
Feynman integrals: special functions and numbersSome FI are expressible via multiple polylogarithms (MPL)
Lin1,...,nd (z1, . . . , zd ) =∑
0<k1<···<kd
zk11 · · · z
kdd
kn11 · · · k
ndd
Example (massless propagators)
Φ( )
= 6ζ3, Φ( )
= 252ζ3ζ5 + 4325 ζ3,5 − 25056
875 ζ42
Questions1 What comes beyond MPL? [Weinzierl’s talk]2 How to tell if a FI evaluates to MPL? What is the alphabet?3 How to compute it explicitly?
1 / 24
![Page 4: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/4.jpg)
Feynman integrals: special functions and numbersSome FI are expressible via multiple polylogarithms (MPL)
Lin1,...,nd (z1, . . . , zd ) =∑
0<k1<···<kd
zk11 · · · z
kdd
kn11 · · · k
ndd
Example (massless propagators)
Φ( )
= 6ζ3, Φ( )
= 252ζ3ζ5 + 4325 ζ3,5 − 25056
875 ζ42
Questions1 What comes beyond MPL? [Weinzierl’s talk]2 How to tell if a FI evaluates to MPL? What is the alphabet?3 How to compute it explicitly?
1 / 24
![Page 5: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/5.jpg)
Feynman integrals: special functions and numbersSome FI are expressible via multiple polylogarithms (MPL)
Lin1,...,nd (z1, . . . , zd ) =∑
0<k1<···<kd
zk11 · · · z
kdd
kn11 · · · k
ndd
Example (massless propagators)
Φ( )
= 6ζ3, Φ( )
= 252ζ3ζ5 + 4325 ζ3,5 − 25056
875 ζ42
Questions1 What comes beyond MPL? [Weinzierl’s talk]2 How to tell if a FI evaluates to MPL? What is the alphabet?3 How to compute it explicitly in an automated way?
1 / 24
![Page 6: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/6.jpg)
Tools to study Feynman integrals
integral representationsmomentum space [IBP, unitarity]position space [Gardi’s talk, Drummond & Schnetz graphical functions]twistor space [Trnka’s talk]parametric space [this talk]Mellin-Barnes
sum representations [Schneider’s talk]differential equations [Smirnov’s talk]
Plan of the talk1 predicting bounds on the singularities of an integral2 nice (linearly reducible) integral representations can be integrated in
terms of MPL3 good parametrizations for FI via Laplace transform
2 / 24
![Page 7: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/7.jpg)
Tools to study Feynman integrals
integral representationsmomentum space [IBP, unitarity]position space [Gardi’s talk, Drummond & Schnetz graphical functions]twistor space [Trnka’s talk]parametric space [this talk]Mellin-Barnes
sum representations [Schneider’s talk]differential equations [Smirnov’s talk]
Plan of the talk1 predicting bounds on the singularities of an integral2 nice (linearly reducible) integral representations can be integrated in
terms of MPL3 good parametrizations for FI via Laplace transform
2 / 24
![Page 8: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/8.jpg)
Definite integral representations
hypergeometric functions pFq(· · · ; z)
2F1
(a, bc
∣∣∣z) = Γ(c)Γ(b)Γ(c − b)
∫ 1
0tb−1(1− t)c−b−1(1− zt)−adt
Appell’s functions F1, F2, F3, F4
F3
(α, α′
β, β′
∣∣∣γ∣∣∣x y)
= Γ(γ)Γ(β)Γ(β′)Γ(γ − β − β′)
×∫ 1
0
∫ 1−v
0uβ−1vβ′−1(1−u−v)γ−β−β′−1(1−ux)−α(1−vy)−α′dudv
Feynman integrals in Schwinger parametersPhase-space integrals. . .
3 / 24
![Page 9: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/9.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
ψ =ϕ =
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 10: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/10.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
G = 12
3
p3
p1 p2 ψ =ϕ =
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 11: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/11.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
G = 12
3
p3
p1 p2 ψ = α1 + α2 + α3
ϕ =
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 12: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/12.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
G = 12
3
p3
p1 p2 ψ = α1 + α2 + α3
ϕ =
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 13: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/13.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
G = 12
3
p3
p1 p2 ψ = α1 + α2 + α3
ϕ =
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 14: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/14.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
G = 12
3
p3
p1 p2 ψ = α1 + α2 + α3
ϕ = p21α2α3 + p2
2α1α3 + p23α1α2
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 15: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/15.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
G = 12
3
p3
p1 p2 ψ = α1 + α2 + α3
ϕ = p21α2α3 + p2
2α1α3 + p23α1α2
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 16: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/16.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
G = 12
3
p3
p1 p2 ψ = α1 + α2 + α3
ϕ = p21α2α3 + p2
2α1α3 + p23α1α2
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 17: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/17.jpg)
Schwinger parameters
With the superficial degree of divergence sdd = |E (G)| − D/2 · loops(G),
Φ(G) = Γ(sdd)∏e Γ(ae)
∫(0,∞)E
1ψD/2
(ψ
ϕ
)sddδ(1− αN)
∏eαae−1
e dαe
Graph polynomials:
ψ =∑T
∏e /∈T
αe ϕ =∑
F=T1∪T2
q2 (T1)∏e /∈F
αe + ψ∑
em2
eαe
Example (D = 4)
G = 12
3
p3
p1 p2 ψ = α1 + α2 + α3
ϕ = p21α2α3 + p2
2α1α3 + p23α1α2
Φ(G) =∫∫ dα2 dα3
ψϕ
∣∣∣∣α1=1
4 / 24
![Page 18: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/18.jpg)
Example: massless triangle
Φ( )
=∫ dα2 dα3
(1 + α2 + α3)(α2α3 + zzα3 + (1− z)(1− z)α2)
=∫ dα2
(z + α2)(z + α2) log (1 + α2)(zz + α2)(1− z)(1− z)α2
Singularities of the original integrand: S = ψ,ϕ, i.e. at α3 = σi for
σ1 = −1− α2 and σ2 = −α2(1− z)(1− z)α2 + zz
After integrating α1 from 0 to ∞, the integrand has singularities
S3 =
1 + α2︸ ︷︷ ︸σ1=0
, α2, 1− z , 1− z︸ ︷︷ ︸σ2=0
, α2 + zz︸ ︷︷ ︸σ2=∞
, z + α2, z + α2︸ ︷︷ ︸σ1=σ2 (pinch)
With the same logic, predict the possible singularities after
∫∞0 dα2:
S3,2 = z , z , 1− z , 1− z , z − z , zz − 1
5 / 24
![Page 19: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/19.jpg)
Example: massless triangle
Φ( )
=∫ dα2 dα3
(1 + α2 + α3)(α2α3 + zzα3 + (1− z)(1− z)α2)
=∫ dα2
(z + α2)(z + α2) log (1 + α2)(zz + α2)(1− z)(1− z)α2
Singularities of the original integrand: S = ψ,ϕ, i.e. at α3 = σi for
σ1 = −1− α2 and σ2 = −α2(1− z)(1− z)α2 + zz
After integrating α1 from 0 to ∞, the integrand has singularities
S3 =
1 + α2︸ ︷︷ ︸σ1=0
, α2, 1− z , 1− z︸ ︷︷ ︸σ2=0
, α2 + zz︸ ︷︷ ︸σ2=∞
, z + α2, z + α2︸ ︷︷ ︸σ1=σ2 (pinch)
With the same logic, predict the possible singularities after
∫∞0 dα2:
S3,2 = z , z , 1− z , 1− z , z − z , zz − 1
5 / 24
![Page 20: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/20.jpg)
Example: massless triangle
Φ( )
=∫ dα2 dα3
(1 + α2 + α3)(α2α3 + zzα3 + (1− z)(1− z)α2)
=∫ dα2
(z + α2)(z + α2) log (1 + α2)(zz + α2)(1− z)(1− z)α2
Singularities of the original integrand: S = ψ,ϕ, i.e. at α3 = σi for
σ1 = −1− α2 and σ2 = −α2(1− z)(1− z)α2 + zz
After integrating α1 from 0 to ∞, the integrand has singularities
S3 =
1 + α2︸ ︷︷ ︸σ1=0
, α2, 1− z , 1− z︸ ︷︷ ︸σ2=0
, α2 + zz︸ ︷︷ ︸σ2=∞
, z + α2, z + α2︸ ︷︷ ︸σ1=σ2 (pinch)
With the same logic, predict the possible singularities after∫∞
0 dα2:
S3,2 = z , z , 1− z , 1− z , z − z , zz − 1
5 / 24
![Page 21: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/21.jpg)
Example: massless triangle
Φ( )
=∫ dα2 dα3
(1 + α2 + α3)(α2α3 + zzα3 + (1− z)(1− z)α2)
=∫ dα2
(z + α2)(z + α2) log (1 + α2)(zz + α2)(1− z)(1− z)α2
Singularities of the original integrand: S = ψ,ϕ, i.e. at α3 = σi for
σ1 = −1− α2 and σ2 = −α2(1− z)(1− z)α2 + zz
After integrating α1 from 0 to ∞, the integrand has singularities
S3 =
1 + α2︸ ︷︷ ︸σ1=0
, α2, 1− z , 1− z︸ ︷︷ ︸σ2=0
, α2 + zz︸ ︷︷ ︸σ2=∞
, z + α2, z + α2︸ ︷︷ ︸σ1=σ2 (pinch)
With the same logic, predict the possible singularities after
∫∞0 dα2:
S3,2 = z , z , 1− z , 1− z , z − z , zz − 1
5 / 24
![Page 22: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/22.jpg)
Example: massless triangle
Φ( )
=∫ dα2 dα3
(1 + α2 + α3)(α2α3 + zzα3 + (1− z)(1− z)α2)
= 1z − z
∫ ( dα2α2 + z −
dα2α2 + z
)log (α2 + 1)(α2 + zz)
(1− z)(1− z)α2
Singularities of the original integrand: S = ψ,ϕ, i.e. at α3 = σi for
σ1 = −1− α2 and σ2 = −α2(1− z)(1− z)α2 + zz
After integrating α1 from 0 to ∞, the integrand has singularities
S3 =
1 + α2︸ ︷︷ ︸σ1=0
, α2, 1− z , 1− z︸ ︷︷ ︸σ2=0
, α2 + zz︸ ︷︷ ︸σ2=∞
, z + α2, z + α2︸ ︷︷ ︸σ1=σ2 (pinch)
With the same logic, predict the possible singularities after
∫∞0 dα2:
S3,2 = z , z , 1− z , 1− z , z − z , zz − 1
5 / 24
![Page 23: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/23.jpg)
Polynomial reduction [F. Brown]
DefinitionLet S denote a set of polynomials, then Se are the irreducible factors of
leade(f ), f |αe=0,De(f ) : f ∈ S
and [f , g ]e : f , g ∈ S .
LemmaIf the singularities of F are cointained in S, then the singularities of∫∞
0 F dαe are contained in Se .
This gives only very coarse upper bounds. For example, zz − 1 is spurious:It drops out in S2,3 ∩ S3,2 = z , z , 1− z , 1− z , z − z because
S2,3 = z , z , 1− z , 1− z , z − z , zz − z − z .
ImprovementsFubini: intersect over different ordersCompatibility graphs
6 / 24
![Page 24: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/24.jpg)
Polynomial reduction [F. Brown]
DefinitionLet S denote a set of polynomials, then Se are the irreducible factors of
leade(f ), f |αe=0,De(f ) : f ∈ S
and [f , g ]e : f , g ∈ S .
LemmaIf the singularities of F are cointained in S, then the singularities of∫∞
0 F dαe are contained in Se .
This gives only very coarse upper bounds. For example, zz − 1 is spurious:It drops out in S2,3 ∩ S3,2 = z , z , 1− z , 1− z , z − z because
S2,3 = z , z , 1− z , 1− z , z − z , zz − z − z .
ImprovementsFubini: intersect over different ordersCompatibility graphs
6 / 24
![Page 25: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/25.jpg)
Compatibility graphsKeep track of compatibilities C ⊂
(S2)
between polynomialsfor Se , we only need the resultants [f , g ]e for compatible f , g ∈ Conly pairs [f , g ]e , [g , h]e (with one polynomial in common) becomecompatible in Ce
Example (triangle)
1 + α2α2(1− z)(1− z)
z + α2
z + α2
zz + α2
Since zzα1 + α2 and α1 + α2 are not compatible, their resultant 1− zzdoes not occur.
7 / 24
![Page 26: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/26.jpg)
HyperInt: massive triangle
Graph polynomials:> E:=[[2,3],[1,3],[1,2]]:> M:=[[1,s1],[2,s2],[3,s3]],[m1ˆ2,m2ˆ2,m3ˆ3]:> psi:=graphPolynomial(E):> phi:=secondPolynomial(E,M):
Polynomial reduction:> L[]:=[psi,phi, psi,phi]:> cgReduction(L, s1,s2,s3,m1,m2,m3, 2):> L[x[1],x[2]][1];si + (mj ±mk)2,
∑i
s2i −
∑i 6=j
si sj
∪
s1s2s3 −∑
is2i m2
i +∑
isi (m2
i −m2j )(m2
i −m2k) +
∑i<j
si sj(m2i + m2
j )
8 / 24
![Page 27: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/27.jpg)
Linear reducibility
DefinitionIf for some order of variables (edges), all S1,...,k are linear in αk+1, then S(the Feynman graph G with S = ψ,ϕ) is called linearly reducible.
LemmaIf S is linearly reducible, the integral
∏e∫∞
0 dαe f of any rational functionf with singularities in S is a MPL with symbol letters in S1,...,N .
Integration of linearly reducible integrands in terms of MPL can beautomatized via hyperlogarithms.
Definition (Hyperlogarithms, Lappo-Danilevsky 1927)
G(σ1, . . . , σw ; z) :=∫ z
0
dz1z1 − σ1
G(σ2, . . . , σw ; z1)
9 / 24
![Page 28: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/28.jpg)
Linear reducibility
DefinitionIf for some order of variables (edges), all S1,...,k are linear in αk+1, then S(the Feynman graph G with S = ψ,ϕ) is called linearly reducible.
LemmaIf S is linearly reducible, the integral
∏e∫∞
0 dαe f of any rational functionf with singularities in S is a MPL with symbol letters in S1,...,N .
Integration of linearly reducible integrands in terms of MPL can beautomatized via hyperlogarithms.
Definition (Hyperlogarithms, Lappo-Danilevsky 1927)
G(σ1, . . . , σw ; z) :=∫ z
0
dz1z1 − σ1
G(σ2, . . . , σw ; z1)
9 / 24
![Page 29: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/29.jpg)
Linear reducibility
DefinitionIf for some order of variables (edges), all S1,...,k are linear in αk+1, then S(the Feynman graph G with S = ψ,ϕ) is called linearly reducible.
LemmaIf S is linearly reducible, the integral
∏e∫∞
0 dαe f of any rational functionf with singularities in S is a MPL with symbol letters in S1,...,N .
Integration of linearly reducible integrands in terms of MPL can beautomatized via hyperlogarithms.
Definition (Hyperlogarithms, Lappo-Danilevsky 1927)
G(σ1, . . . , σw ; z) :=∫ z
0
dz1z1 − σ1
∫ z1
0
dz2z2 − σ2
· · ·∫ zw−1
0
dzwzw − σw
9 / 24
![Page 30: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/30.jpg)
Symbolic integration: Rewriting hyperlogarithmsProblem: Given G(~σ(α); z), write it as hyperlogarithm with constantletters and final argument α. Recursive solution via
dG(~σ; z) =n∑
i=1G(· · ·, 6σi , · · · ; z) d log σi − σi−1
σi − σi+1σ0 := z , σn+1 := 0
Example∂
∂αG (0,−α; 1) = − 1
αG(−α; 1)
⇒ G (0,−α; 1) = −G(0, 0;α) + G(0,−1;α)
+ ζ2
Computation of integration constants relies on shuffle algebra
G(~σ; z) · G(~τ ; z) = G(~σ ~τ ; z).
All this is implemented in the Maple program HyperInt. Similar thingscan be done with other programs.
10 / 24
![Page 31: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/31.jpg)
Symbolic integration: Rewriting hyperlogarithmsProblem: Given G(~σ(α); z), write it as hyperlogarithm with constantletters and final argument α. Recursive solution via
dG(~σ; z) =n∑
i=1G(· · ·, 6σi , · · · ; z) d log σi − σi−1
σi − σi+1σ0 := z , σn+1 := 0
Example∂
∂αG (0,−α; 1) = − 1
α[G(0;α)− G(−1;α)]
⇒ G (0,−α; 1) = −G(0, 0;α) + G(0,−1;α)
+ ζ2
Computation of integration constants relies on shuffle algebra
G(~σ; z) · G(~τ ; z) = G(~σ ~τ ; z).
All this is implemented in the Maple program HyperInt. Similar thingscan be done with other programs.
10 / 24
![Page 32: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/32.jpg)
Symbolic integration: Rewriting hyperlogarithmsProblem: Given G(~σ(α); z), write it as hyperlogarithm with constantletters and final argument α. Recursive solution via
dG(~σ; z) =n∑
i=1G(· · ·, 6σi , · · · ; z) d log σi − σi−1
σi − σi+1σ0 := z , σn+1 := 0
Example∂
∂αG (0,−α; 1) = − 1
α[G(0;α)− G(−1;α)]
⇒ G (0,−α; 1) = −G(0, 0;α) + G(0,−1;α)
+ ζ2
Computation of integration constants relies on shuffle algebra
G(~σ; z) · G(~τ ; z) = G(~σ ~τ ; z).
All this is implemented in the Maple program HyperInt. Similar thingscan be done with other programs.
10 / 24
![Page 33: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/33.jpg)
Symbolic integration: Rewriting hyperlogarithmsProblem: Given G(~σ(α); z), write it as hyperlogarithm with constantletters and final argument α. Recursive solution via
dG(~σ; z) =n∑
i=1G(· · ·, 6σi , · · · ; z) d log σi − σi−1
σi − σi+1σ0 := z , σn+1 := 0
Example∂
∂αG (0,−α; 1) = − 1
α[G(0;α)− G(−1;α)]
⇒ G (0,−α; 1) = −G(0, 0;α) + G(0,−1;α) + ζ2
Computation of integration constants relies on shuffle algebra
G(~σ; z) · G(~τ ; z) = G(~σ ~τ ; z).
All this is implemented in the Maple program HyperInt. Similar thingscan be done with other programs.
10 / 24
![Page 34: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/34.jpg)
Symbolic integration: Rewriting hyperlogarithmsProblem: Given G(~σ(α); z), write it as hyperlogarithm with constantletters and final argument α. Recursive solution via
dG(~σ; z) =n∑
i=1G(· · ·, 6σi , · · · ; z) d log σi − σi−1
σi − σi+1σ0 := z , σn+1 := 0
Example∂
∂αG (0,−α; 1) = − 1
α[G(0;α)− G(−1;α)]
⇒ G (0,−α; 1) = −G(0, 0;α) + G(0,−1;α) + ζ2
Computation of integration constants relies on shuffle algebra
G(~σ; z) · G(~τ ; z) = G(~σ ~τ ; z).
All this is implemented in the Maple program HyperInt. Similar thingscan be done with other programs.
10 / 24
![Page 35: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/35.jpg)
HyperInt
open source Maple programintegration of hyperlogarithmstransformations of MPL to G(· · · ; z)Note: No further simplification (e.g. rewrite as Li2,2) provided!polynomial reductiongraph polynomialssymbolic computation of constants (no numerics)
Example
> read "HyperInt.mpl":> hyperInt(polylog(2,-x)*polylog(3,-1/x)/x,x=0..infinity):> fibrationBasis(%);
87ζ
32
computes∫∞
0 Li2(−x) Li3(−1/x)dx = 87ζ
32 .
11 / 24
![Page 36: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/36.jpg)
HyperInt: propagator
1 2
87
4
3
5
6
51
2
3
4
> E := [[2,1],[2,3],[2,5],[5,1],[5,3],[5,4],[4,1],[4,3]]:> psi := graphPolynomial(E):> phi := secondPolynomial(E, [[1,1], [3,1]]):> add((epsilon*log(psiˆ5/phiˆ4))ˆn/n!,n=0..2)/psiˆ2:> hyperInt(eval(%,x[8]=1), [seq(x[n],n=1..7)]):> collect(fibrationBasis(%), epsilon);(
254ζ7 + 780ζ5 − 200ζ2ζ5 − 196ζ23 + 80ζ3
2 −168
5 ζ22ζ3
)ε2
+(−28ζ2
3 + 140ζ5 + 807 ζ
32
)ε+ 20ζ5
12 / 24
![Page 37: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/37.jpg)
HyperInt: triangleGraph polynomials:> E:=[[1,2],[2,3],[3,1]]:> M:=[[3,1],[1,z*zz],[2,(1-z)*(1-zz)]]:> psi:=graphPolynomial(E):> phi:=secondPolynomial(E,M):
Integration:> hyperInt(eval(1/psi/phi,x[3]=1),[x[1],x[2]]):> factor(fibrationBasis(%,[z,zz]));
(Hlog (1; z) Hlog (0; zz)− Hlog (0; z) Hlog (1; zz) + Hlog (0, 1; zz)−Hlog (1, 0; zz) + Hlog (1, 0; z)− Hlog (0, 1; z))/(z − zz)
Polynomial reduction:> L[]:=[psi,phi, psi,phi]:> cgReduction(L):> L[x[1],x[2]][1];
−1 + z ,−1 + zz ,−zz + z13 / 24
![Page 38: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/38.jpg)
Linearly reducible families (fixed loop order)
1 all ≤ 4 loop massless propagators (Panzer)
· · · · · ·
2 all ≤ 3 loop massless off-shell 3-point (Chavez & Duhr, Panzer)
· · ·
3 all ≤ 2 loop massless on-shell 4-point (Luders)
· · · · · ·
14 / 24
![Page 39: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/39.jpg)
Linearly reducible families (fixed loop order)
1 all ≤ 4 loop massless propagators (Panzer)
· · · · · ·
2 all ≤ 3 loop massless off-shell 3-point (Chavez & Duhr, Panzer)
· · ·
3 all ≤ 2 loop massless on-shell 4-point (Luders)
· · · · · ·
14 / 24
![Page 40: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/40.jpg)
Linearly reducible families (fixed loop order)
1 all ≤ 4 loop massless propagators (Panzer)
· · · · · ·
2 all ≤ 3 loop massless off-shell 3-point (Chavez & Duhr, Panzer)
· · · · · ·
3 all ≤ 2 loop massless on-shell 4-point (Luders)
· · · · · ·
14 / 24
![Page 41: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/41.jpg)
Linearly reducible families (fixed loop order)
1 all ≤ 4 loop massless propagators (Panzer)
· · · · · ·
2 all ≤ 3 loop massless off-shell 3-point (Chavez & Duhr, Panzer)
· · · · · ·
3 all ≤ 2 loop massless on-shell 4-point (Luders)
· · · · · ·
14 / 24
![Page 42: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/42.jpg)
Linearly reducible massive graphs (some examples)
15 / 24
![Page 43: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/43.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Example
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 44: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/44.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Example
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 45: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/45.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Example
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 46: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/46.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Example
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 47: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/47.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Example
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 48: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/48.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Example
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 49: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/49.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Example
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 50: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/50.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Theorem (Panzer)All ε-coefficients of these graphs (off-shell) are MPL over the alphabetz , z , 1− z , 1− z , z − z , 1− zz , 1− z − z , zz − z − z.
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 51: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/51.jpg)
Linearly reducible families (infinite)
3-constructible graphs (3-point functions) [Brown, Schnetz, Panzer]
−→ −→
Theorem (Panzer)All ε-coefficients of these graphs (off-shell) are MPL over the alphabetz , z , 1− z , 1− z , z − z , 1− zz , 1− z − z , zz − z − z.
minors of ladder-boxes (up to 2 legs off-shell)
· · · · · ·
Theorem (Panzer)All ε-coefficients of these graphs are MPL. For the massless case, thealphabet is just x , 1 + x for x = s/t.
16 / 24
![Page 52: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/52.jpg)
4-point recursionsStart with the box and repeat, in any order:
Appending a vertex:
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
v4
v′
3
e
or
v1
v2 v3
e
v′
4v4
Adding an edge:
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
e
v4
Examplev1
v2 v3
v4
1
2
3
4
7→v1
v2 v3
v4
7→v1
v2 v3
v4
7→v1
v2 v3
v4
17 / 24
![Page 53: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/53.jpg)
Forest polynomialsLet f3, f4, f12 and f14 denote the spanning forest polynomials such that
ϕ = F = (p1 + p2)2f12 + (p1 + p4)2f14 + p23f3 + p2
4f4
Definition
F (G ; z) :=∫RE
+
ψ−D/2G · δ(4)
( fψ− z
) ∏e∈E
dαae−1e αe
(R
4+ −→ R+
)
Example
v1
v2 v3
v4
1
2
3
4ψ = α1 + α2 + α3 + α4 f12 = α2α4
f14 = α1α3
f3 = α2α3f4 = α3α4
18 / 24
![Page 54: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/54.jpg)
Forest polynomialsLet f3, f4, f12 and f14 denote the spanning forest polynomials such that
ϕ = F = (p1 + p2)2f12 + (p1 + p4)2f14 + p23f3 + p2
4f4
Definition
F (G ; z) :=∫RE
+
ψ−D/2G · δ(4)
( fψ− z
) ∏e∈E
dαae−1e αe
(R
4+ −→ R+
)
Example
v1
v2 v3
v4
1
2
3
4ψ = α1 + α2 + α3 + α4 f12 = α2α4
f14 = α1α3
f3 = α2α3f4 = α3α4
18 / 24
![Page 55: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/55.jpg)
Forest polynomialsLet f3, f4, f12 and f14 denote the spanning forest polynomials such that
ϕ = F = (p1 + p2)2f12 + (p1 + p4)2f14 + p23f3 + p2
4f4
Definition
F (G ; z) :=∫RE
+
ψ−D/2G · δ(4)
( fψ− z
) ∏e∈E
dαae−1e αe
(R
4+ −→ R+
)
Example
F
v1
v2 v3
v4
1
2
3
4; z
=
1z3z4
(D = 4)
z12[z12 (z14 + z3 + z4) + z3z4︸ ︷︷ ︸
Q
]2 (D = 6)
18 / 24
![Page 56: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/56.jpg)
Forest polynomialsLet f3, f4, f12 and f14 denote the spanning forest polynomials such that
ϕ = F = (p1 + p2)2f12 + (p1 + p4)2f14 + p23f3 + p2
4f4
Definition
Φ(G) = Γ(sdd)∏e Γ(ae)
∫ ∞0
F (G ; z) Ω[(p1 + p2)2z12 + (p1 + p4)2z14 + p2
3z3 + p24z4]sdd
Example
F
v1
v2 v3
v4
1
2
3
4; z
=
1z3z4
(D = 4)
z12[z12 (z14 + z3 + z4) + z3z4︸ ︷︷ ︸
Q
]2 (D = 6)
18 / 24
![Page 57: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/57.jpg)
Appending a vertex
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
v4
v′
3
e
or
v1
v2 v3
e
v′
4v4
Using (f ′12, f ′14, f ′3 , f ′4 , ψ′) = (f12, f14, f3, f4 + αeψ,ψ),
F (G ′; z) =∫ z4
0F (G ; z12, z14, z3, z4 − αe) αae−1
e dαe
Example (D = 6 and ae = 1)
F
v1
v2 v3
v4
; z
=
∫ z3
0
z12 dz ′3[z12 (z14 + z ′3 + z4) + z ′3z4]2 = z3
(z14 + z4) · Q
F
v1
v2 v3
v4
; z
= 1z12 − z14
ln z12(z3 + z14)(z4 + z14)z14 · Q
19 / 24
![Page 58: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/58.jpg)
Appending a vertex
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
v4
v′
3
e
or
v1
v2 v3
e
v′
4v4
Using (f ′12, f ′14, f ′3 , f ′4 , ψ′) = (f12, f14, f3, f4 + αeψ,ψ),
F (G ′; z) =∫ z4
0F (G ; z12, z14, z3, z4 − αe) αae−1
e dαe
Example (D = 6 and ae = 1)
F
v1
v2 v3
v4
; z
=∫ z3
0F
v1
v2 v3
v4
1
2
3
4
; z12, z14, z ′3, z4
dz ′3
∫ z3
0
z12 dz ′3[z12 (z14 + z ′3 + z4) + z ′3z4]2 = z3
(z14 + z4) · Q
F
v1
v2 v3
v4
; z
= 1z12 − z14
ln z12(z3 + z14)(z4 + z14)z14 · Q
19 / 24
![Page 59: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/59.jpg)
Appending a vertex
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
v4
v′
3
e
or
v1
v2 v3
e
v′
4v4
Using (f ′12, f ′14, f ′3 , f ′4 , ψ′) = (f12, f14, f3, f4 + αeψ,ψ),
F (G ′; z) =∫ z4
0F (G ; z12, z14, z3, z4 − αe) αae−1
e dαe
Example (D = 6 and ae = 1)
F
v1
v2 v3
v4
; z
=∫ z3
0
z12 dz ′3[z12 (z14 + z ′3 + z4) + z ′3z4]2 = z3
(z14 + z4) · Q
F
v1
v2 v3
v4
; z
= 1z12 − z14
ln z12(z3 + z14)(z4 + z14)z14 · Q
19 / 24
![Page 60: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/60.jpg)
Appending a vertex
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
v4
v′
3
e
or
v1
v2 v3
e
v′
4v4
Using (f ′12, f ′14, f ′3 , f ′4 , ψ′) = (f12, f14, f3, f4 + αeψ,ψ),
F (G ′; z) =∫ z4
0F (G ; z12, z14, z3, z4 − αe) αae−1
e dαe
Example (D = 6 and ae = 1)
F
v1
v2 v3
v4
; z
=∫ z3
0
z12 dz ′3[z12 (z14 + z ′3 + z4) + z ′3z4]2 = z3
(z14 + z4) · Q
F
v1
v2 v3
v4
; z
=∫ z4
0F
v1
v2 v3
v4
; z12, z14, z3, z ′4
dz ′4
= 1z12 − z14
ln z12(z3 + z14)(z4 + z14)z14 · Q
19 / 24
![Page 61: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/61.jpg)
Appending a vertex
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
v4
v′
3
e
or
v1
v2 v3
e
v′
4v4
Using (f ′12, f ′14, f ′3 , f ′4 , ψ′) = (f12, f14, f3, f4 + αeψ,ψ),
F (G ′; z) =∫ z4
0F (G ; z12, z14, z3, z4 − αe) αae−1
e dαe
Example (D = 6 and ae = 1)
F
v1
v2 v3
v4
; z
=∫ z3
0
z12 dz ′3[z12 (z14 + z ′3 + z4) + z ′3z4]2 = z3
(z14 + z4) · Q
F
v1
v2 v3
v4
; z
= 1z12 − z14
ln z12(z3 + z14)(z4 + z14)z14 · Q
19 / 24
![Page 62: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/62.jpg)
Adding an edge
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
e
v4
FG ′(z) = Qae+sdd−D∫ z12
0xD/2−2
[QD/2−sdd · FG
]z12=z12−x
dx
Example (D = 6 and ae = 1)
F
v1
v2 v3
v4
; z
= 1Q2
∫ z12
0F
v1
v2 v3
v4
; z12 − x , z14, z3, z4
xdx
= z12 − z14Q2
[ln Q
z3z4ln (z14 + z3)(z14 + z4)
z14(z14 + z3 + z4) − Li2(z3z4(z14 − z12)
z14Q
)]+z12 − z14
Q2 Li2(z3z4
Q
)+z12
Q2 ln z14z3z4z12(z14 + z3)(z14 + z4)−
ln(z3z4/Q)Q(z14 + z3 + z4)
20 / 24
![Page 63: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/63.jpg)
Adding an edge
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
e
v4
FG ′(z) = Qae+sdd−D∫ z12
0xD/2−2
[QD/2−sdd · FG
]z12=z12−x
dx
Example (D = 6 and ae = 1)
F
v1
v2 v3
v4
; z
= 1Q2
∫ z12
0F
v1
v2 v3
v4
; z12 − x , z14, z3, z4
xdx
= z12 − z14Q2
[ln Q
z3z4ln (z14 + z3)(z14 + z4)
z14(z14 + z3 + z4) − Li2(z3z4(z14 − z12)
z14Q
)]+z12 − z14
Q2 Li2(z3z4
Q
)+z12
Q2 ln z14z3z4z12(z14 + z3)(z14 + z4)−
ln(z3z4/Q)Q(z14 + z3 + z4)
20 / 24
![Page 64: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/64.jpg)
Adding an edge
G =
v1
v2 v3
v4
7→ G ′ =
v1
v2 v3
e
v4
FG ′(z) = Qae+sdd−D∫ z12
0xD/2−2
[QD/2−sdd · FG
]z12=z12−x
dx
Example (D = 6 and ae = 1)
F
v1
v2 v3
v4
; z
= 1Q2
∫ z12
0F
v1
v2 v3
v4
; z12 − x , z14, z3, z4
xdx
= z12 − z14Q2
[ln Q
z3z4ln (z14 + z3)(z14 + z4)
z14(z14 + z3 + z4) − Li2(z3z4(z14 − z12)
z14Q
)]+z12 − z14
Q2 Li2(z3z4
Q
)+z12
Q2 ln z14z3z4z12(z14 + z3)(z14 + z4)−
ln(z3z4/Q)Q(z14 + z3 + z4)
20 / 24
![Page 65: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/65.jpg)
Compatibility graph of box-ladders
z12 − z14
z12 + z3 Q z12 + z4
z14 + z3 + z4
z14 + z3 z14 + z4
21 / 24
![Page 66: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/66.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representations
Schwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 67: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/67.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficult
so far, only very few resultsProblem: Find linearly reducible integral representations
Schwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 68: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/68.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representations
Schwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 69: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/69.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representations
Schwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 70: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/70.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representationsSchwinger parameters are not always optimal (e.g. for K4)
try to tailor the variables towards the graphOnce a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 71: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/71.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representationsSchwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 72: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/72.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representationsSchwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!
Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 73: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/73.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representationsSchwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizations
not restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 74: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/74.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representationsSchwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FI
for divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 75: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/75.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representationsSchwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 76: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/76.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representationsSchwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 77: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/77.jpg)
Summary
Holy grail: Infer analytic structure of a FI from combinatorialstructure, i.e. by “looking at the graph” (vs. case-by-case)
extremely difficultso far, only very few results
Problem: Find linearly reducible integral representationsSchwinger parameters are not always optimal (e.g. for K4)try to tailor the variables towards the graph
Once a linearly reducible representation is found, programs can do allthe work for you!Polynomial reduction can be a guideline to find parametrizationsnot restricted to FIfor divergent integrals, choose finite masters
Thank you!
22 / 24
![Page 78: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/78.jpg)
Massless φ4 theory: primitive sixth roots of unity
P7,11 = is not linearly reducible!
Tenth denominator:
d10 = α2α24α1 + α2α
24α3 − α1α2α3α4 + α2
2α4α1 + α22α4α3
− 2α2α23α4 − α2
2α23 − 2α2
2α3α1 − 2α2α23α1 − α2
3α24
− 2α23α4α1 − α2
2α21 − 2α2α3α
21 − α2
3α21.
Change variables: α3 = α′3α1α1+α2+α4
, α4 = α′4(α2 + α′3) and α1 = α′1α′4,
d ′10 = (α2 + α′3)(α2 + α2α′4 − α′1)(α′1α′4 + α2 + α2α
′4 + α′3α
′4)
Final result: not a multiple zeta value, instead MPL at eiπ/3
23 / 24
![Page 79: Erik Panzer Institute des Hautes ´Etudes Scientifiques ...people.maths.ox.ac.uk/panzer/paper/radcor2015.pdfLinear reducibility of Feynman integrals Erik Panzer Institute des Hautes](https://reader035.vdocuments.net/reader035/viewer/2022071414/610d5732171e67453825bd69/html5/thumbnails/79.jpg)
√3P(P7,11)
= Im(
19 2856 ζ9 Li2−1029
2 ζ7 Li4 +240ζ23 (9 Li2,3−7ζ3 Li2)
)− 93 824
9675 π3ζ3,5
+ 2592215 Im
(36 Li2,2,2,5 +27 Li2,2,3,4 +9 Li2,2,4,3 +9 Li2,3,2,4 +3 Li2,3,3,3
− 43ζ3(Li2,3,3 +3 Li2,2,4))− 96 393 596 519 864 341 538 701 979
790 371 465 315 684 594 157 620 000π11
+ 21614 755 731 798 995 Im
(2 539 186 130 125 890 Li8 ζ3−1 269 593 065 062 945 Li2,9
−413 965 317 054 502 Li6 ζ5− 996 412 983 391 539 Li3,8
−546 306 741 059 841 Li4,7 − 156 228 639 992 955 Li5,6
)+ 2592
10 945 435π2 Im
(287 205 Li2,7−574 410 Li6 ζ3 + 55 687 Li4,5 +168 941 Li3,6
)+ π
(11 613 751
9030 ζ25 + 267 067
602 ζ3,7 − 31 104215 Re(3 Li4,6 +10 Li3,7)
)Abbreviation: Lin1,...,nr := Lin1,...,nr (eiπ/3)
24 / 24