Showing 1–15 of 15 results for author: Panzer, E

Regularized integrals and manifolds with log corners

Authors: Clément Dupont, Erik Panzer, Brent Pym

Abstract: We introduce a natural geometric framework for the study of logarithmically divergent integrals on manifolds with corners and algebraic varieties, using the techniques of logarithmic geometry. Key to the construction is a new notion of morphism in logarithmic geometry itself, introduced by Howell, which allows us to interpret the ubiquitous rule of thumb ``$\lim_{ε\to 0} \log ε:= 0$'' as the restr… ▽ More We introduce a natural geometric framework for the study of logarithmically divergent integrals on manifolds with corners and algebraic varieties, using the techniques of logarithmic geometry. Key to the construction is a new notion of morphism in logarithmic geometry itself, introduced by Howell, which allows us to interpret the ubiquitous rule of thumb ``$\lim_{ε\to 0} \log ε:= 0$'' as the restriction to a submanifold. Via a version of de Rham's theorem with logarithmic divergences, we obtain a functorial characterization of the classical theory of ``regularized integration'': it is the unique way to extend the ordinary integral to the logarithmically divergent context while respecting the basic laws of calculus (change of variables, Fubini's theorem, and Stokes' formula.) △ Less

Submitted 23 August, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: The notion of "weak morphism'' from the previous version was replaced with that of "virtual morphism'', due to Howell. The impact on the results or the proofs is negligible. 60 pages, 7 figures, comments welcome

MSC Class: 58C35; 40A10; 14A21; 14F40

Feynman symmetries of the Martin and $c_2$ invariants of regular graphs

Authors: Erik Panzer, Karen Yeats

Abstract: For every regular graph, we define a sequence of integers, using the recursion of the Martin polynomial. This sequence counts spanning tree partitions and constitutes the diagonal coefficients of powers of the Kirchhoff polynomial. We prove that this sequence respects all known symmetries of Feynman period integrals in quantum field theory. We show that other quantities with this property, the… ▽ More For every regular graph, we define a sequence of integers, using the recursion of the Martin polynomial. This sequence counts spanning tree partitions and constitutes the diagonal coefficients of powers of the Kirchhoff polynomial. We prove that this sequence respects all known symmetries of Feynman period integrals in quantum field theory. We show that other quantities with this property, the $c_2$ invariant and the extended graph permanent, are essentially determined by our new sequence. This proves the completion conjecture for the $c_2$ invariant at all primes, and also that it is fixed under twists. We conjecture that our invariant is perfect: Two Feynman periods are equal, if and only if, their Martin sequences are equal. △ Less

Submitted 19 August, 2024; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: 78 pages, 30 figures, 7 tables, 2 ancillary files with data for 3- and 4-regular graphs

MSC Class: 81Q30 (Primary) 05C70; 05C45 (Secondary)

Journal ref: Combinatorial Theory 5 (1), 2025, #10

Hierarchies in relative Picard-Lefschetz theory

Authors: Marko Berghoff, Erik Panzer

Abstract: We prove a relative version of the Picard-Lefschetz theorem, describing the variation of relative homology groups $H_d(Y_t \setminus A_t,B_t\setminus A_t)$ in the fibers of a smooth fiber bundle $Y \to T$ of complex manifolds with $A\cup B \subset Y$ transverse. From this we derive the vanishing of certain iterated variations, a system of constraints dubbed "hierarchy". As applications, we rederiv… ▽ More We prove a relative version of the Picard-Lefschetz theorem, describing the variation of relative homology groups $H_d(Y_t \setminus A_t,B_t\setminus A_t)$ in the fibers of a smooth fiber bundle $Y \to T$ of complex manifolds with $A\cup B \subset Y$ transverse. From this we derive the vanishing of certain iterated variations, a system of constraints dubbed "hierarchy". As applications, we rederive the known analytic structure of Aomoto polylogarithms and massive one loop Feynman integrals. Moreover, we introduce the "simple type" to prove hierarchy constraints in degenerate cases where the Picard-Lefschetz formula does not apply, e.g. the massless triangle or the ice cream cone Feynman diagram. We compare our findings with a "classical" hierarchy of iterated variations (from 1960's $S$-matrix theory) and show how our setup not only explains, but also refines the latter. In order to do so, we need to further resolve the geometry of Feynman motives: We boldly blow up what no one has blown up before. △ Less

Submitted 12 December, 2022; originally announced December 2022.

Comments: 85 pages, 27 figures

Hepp's bound for Feynman graphs and matroids

Authors: Erik Panzer

Abstract: We study a rational matroid invariant, obtained as the tropicalization of the Feynman period integral. It equals the volume of the polar of the matroid polytope and we give efficient formulas for its computation. This invariant is proven to respect all known identities of Feynman integrals for graphs. We observe a strong correlation between the tropical and transcendental integrals, which yields a… ▽ More We study a rational matroid invariant, obtained as the tropicalization of the Feynman period integral. It equals the volume of the polar of the matroid polytope and we give efficient formulas for its computation. This invariant is proven to respect all known identities of Feynman integrals for graphs. We observe a strong correlation between the tropical and transcendental integrals, which yields a method to approximate unknown Feynman periods. △ Less

Submitted 23 December, 2022; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: 78 pages, 26 figures, 1 ancillary file, v3 is identical to published version except for layout and cosmetic adjustments

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 10 (2023), no. 1, pp. 31-119

Multiple zeta values in deformation quantization

Authors: Peter Banks, Erik Panzer, Brent Pym

Abstract: Kontsevich's 1997 formula for the deformation quantization of Poisson brackets is a Feynman expansion involving volume integrals over moduli spaces of marked disks. We develop a systematic theory of integration on these moduli spaces via suitable algebras of polylogarithms, and use it to prove that Kontsevich's integrals can be expressed as integer-linear combinations of multiple zeta values. Our… ▽ More Kontsevich's 1997 formula for the deformation quantization of Poisson brackets is a Feynman expansion involving volume integrals over moduli spaces of marked disks. We develop a systematic theory of integration on these moduli spaces via suitable algebras of polylogarithms, and use it to prove that Kontsevich's integrals can be expressed as integer-linear combinations of multiple zeta values. Our proof gives a concrete algorithm for calculating the integrals, which we have used to produce the first software package for the symbolic calculation of Kontsevich's formula. △ Less

Submitted 30 December, 2018; originally announced December 2018.

Comments: 71 pages; software available at http://bitbucket.org/bpym/starproducts/ and https://bitbucket.org/PanzerErik/kontsevint/

Journal ref: Inventiones mathematicae 222 (2020), pp. 79-159

Lambert-W solves the noncommutative $Φ^4$-model

Authors: Erik Panzer, Raimar Wulkenhaar

Abstract: The closed Dyson-Schwinger equation for the 2-point function of the noncommutative $λφ^4_2$-model is rearranged into the boundary value problem for a sectionally holomorphic function in two variables. We prove an exact formula for a solution in terms of Lambert's $W$-function. This solution is holomorphic in $λ$ inside a domain which contains $(-1/\log 4,\infty)$. Our methods include the Hilbert t… ▽ More The closed Dyson-Schwinger equation for the 2-point function of the noncommutative $λφ^4_2$-model is rearranged into the boundary value problem for a sectionally holomorphic function in two variables. We prove an exact formula for a solution in terms of Lambert's $W$-function. This solution is holomorphic in $λ$ inside a domain which contains $(-1/\log 4,\infty)$. Our methods include the Hilbert transform, perturbation series and Lagrange-Bürmann resummation. △ Less

Submitted 4 November, 2018; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: LaTeX, 28 pages, 2 figures. v2: main conjecture in v1 is now a theorem

MSC Class: 45G05; 30E25; 30E20; 30B40; 40E99

Feynman integral relations from parametric annihilators

Authors: Thomas Bitoun, Christian Bogner, Rene Pascal Klausen, Erik Panzer

Abstract: We study shift relations between Feynman integrals via the Mellin transform through parametric annihilation operators. These contain the momentum space IBP relations, which are well-known in the physics literature. Applying a result of Loeser and Sabbah, we conclude that the number of master integrals is computed by the Euler characteristic of the Lee-Pomeransky polynomial. We illustrate technique… ▽ More We study shift relations between Feynman integrals via the Mellin transform through parametric annihilation operators. These contain the momentum space IBP relations, which are well-known in the physics literature. Applying a result of Loeser and Sabbah, we conclude that the number of master integrals is computed by the Euler characteristic of the Lee-Pomeransky polynomial. We illustrate techniques to compute this Euler characteristic in various examples and compare it with numbers of master integrals obtained in previous works. △ Less

Submitted 16 March, 2018; v1 submitted 26 December, 2017; originally announced December 2017.

Comments: v2: new section 3.1 added, several misprints corrected and additional remarks

Journal ref: Letters in Mathematical Physics 109(3), pp. 497--564, March 2019

The Galois coaction on $φ^4$ periods

Authors: Erik Panzer, Oliver Schnetz

Abstract: We report on calculations of Feynman periods of primitive log-divergent $φ^4$ graphs up to eleven loops. The structure of $φ^4$ periods is described by a series of conjectures. In particular, we discuss the possibility that $φ^4$ periods are a comodule under the Galois coaction. Finally, we compare the results with the periods of primitive log-divergent non-$φ^4$ graphs up to eight loops and find… ▽ More We report on calculations of Feynman periods of primitive log-divergent $φ^4$ graphs up to eleven loops. The structure of $φ^4$ periods is described by a series of conjectures. In particular, we discuss the possibility that $φ^4$ periods are a comodule under the Galois coaction. Finally, we compare the results with the periods of primitive log-divergent non-$φ^4$ graphs up to eight loops and find remarkable differences to $φ^4$ periods. Explicit results for all periods we could compute are provided in ancillary files. △ Less

Submitted 18 May, 2017; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: extensive data sets for phi^4 periods up to 11 loops (complete up to 7 loops) and non-phi^4 periods up to 8 loops are attached as ancillary files; v2: several clarifications and examples added

Journal ref: Communications in Number Theory and Physics, Vol. 11, 3:657-705 (2017)

Graphical functions in parametric space

Authors: Marcel Golz, Erik Panzer, Oliver Schnetz

Abstract: Graphical functions are positive functions on the punctured complex plane $\mathbb{C}\setminus\{0,1\}$ which arise in quantum field theory. We generalize a parametric integral representation for graphical functions due to Lam, Lebrun and Nakanishi, which implies the real analyticity of graphical functions. Moreover we prove a formula that relates graphical functions of planar dual graphs. Graphical functions are positive functions on the punctured complex plane $\mathbb{C}\setminus\{0,1\}$ which arise in quantum field theory. We generalize a parametric integral representation for graphical functions due to Lam, Lebrun and Nakanishi, which implies the real analyticity of graphical functions. Moreover we prove a formula that relates graphical functions of planar dual graphs. △ Less

Submitted 2 June, 2017; v1 submitted 24 September, 2015; originally announced September 2015.

Comments: v2: extended introduction, minor changes in notation and correction of misprints

Journal ref: Letters in Mathematical Physics (2017) 107: 1177-1192

Feynman integrals and hyperlogarithms

Authors: Erik Panzer

Abstract: We study Feynman integrals in the representation with Schwinger parameters and derive recursive integral formulas for massless 3- and 4-point functions. Properties of analytic (including dimensional) regularization are summarized and we prove that in the Euclidean region, each Feynman integral can be written as a linear combination of convergent Feynman integrals. This means that one can choose a… ▽ More We study Feynman integrals in the representation with Schwinger parameters and derive recursive integral formulas for massless 3- and 4-point functions. Properties of analytic (including dimensional) regularization are summarized and we prove that in the Euclidean region, each Feynman integral can be written as a linear combination of convergent Feynman integrals. This means that one can choose a basis of convergent master integrals and need not evaluate any divergent Feynman graph directly. Secondly we give a self-contained account of hyperlogarithms and explain in detail the algorithms needed for their application to the evaluation of multivariate integrals. We define a new method to track singularities of such integrals and present a computer program that implements the integration method. As our main result, we prove the existence of infinite families of massless 3- and 4-point graphs (including the ladder box graphs with arbitrary loop number and their minors) whose Feynman integrals can be expressed in terms of multiple polylogarithms, to all orders in the epsilon-expansion. These integrals can be computed effectively with the presented program. We include interesting examples of explicit results for Feynman integrals with up to 6 loops. In particular we present the first exactly computed counterterm in massless phi^4 theory which is not a multiple zeta value, but a linear combination of multiple polylogarithms at primitive sixth roots of unity (and divided by $\sqrt{3}$). To this end we derive a parity result on the reducibility of the real- and imaginary parts of such numbers into products and terms of lower depth. △ Less

Submitted 24 June, 2015; originally announced June 2015.

Comments: PhD thesis, 220 pages, many figures

Renormalization, Hopf algebras and Mellin transforms

Authors: Erik Panzer

Abstract: This article aims to give a short introduction into Hopf-algebraic aspects of renormalization, enjoying growing attention for more than a decade by now. As most available literature is concerned with the minimal subtraction scheme, we like to point out properties of the kinematic subtraction scheme which is also widely used in physics (under the names of MOM or BPHZ). In particular we relate ren… ▽ More This article aims to give a short introduction into Hopf-algebraic aspects of renormalization, enjoying growing attention for more than a decade by now. As most available literature is concerned with the minimal subtraction scheme, we like to point out properties of the kinematic subtraction scheme which is also widely used in physics (under the names of MOM or BPHZ). In particular we relate renormalized Feynman rules $φ_R$ in this scheme to the universal property of the Hopf algebra $H_R$ of rooted trees, exhibiting a refined renormalization group equation which is equivalent to $φ_R: H_R \rightarrow K[x]$ being a morphism of Hopf algebras to the polynomials in one indeterminate. Upon introduction of analytic regularization this results in efficient combinatorial recursions to calculate $φ_R$ in terms of the Mellin transform. We find that different Feynman rules are related by a distinguished class of Hopf algebra automorphisms of $H_R$ that arise naturally from Hochschild cohomology. Also we recall the known results for the minimal subtraction scheme and shed light on the interrelationship of both schemes. Finally we incorporate combinatorial Dyson-Schwinger equations to study the effects of renormalization on the physical meaningful correlation functions. This yields a precise formulation of the equivalence of the two different renormalization prescriptions mentioned before and allows for non-perturbative definitions of quantum field theories in special cases. △ Less

Submitted 18 July, 2014; originally announced July 2014.

Comments: 33 pages, to appear in proceedings "Periods and Motives, A Modern Perspective on Renormalization", July 2-6, 2012, Madrid

Journal ref: "Feynman Amplitudes, Periods and Motives", Contemporary Mathematics 648, 2015, American Mathematical Society, pages 169-202

Algorithms for the symbolic integration of hyperlogarithms with applications to Feynman integrals

Authors: Erik Panzer

Abstract: We provide algorithms for symbolic integration of hyperlogarithms multiplied by rational functions, which also include multiple polylogarithms when their arguments are rational functions. These algorithms are implemented in Maple and we discuss various applications. In particular, many Feynman integrals can be computed by this method. We provide algorithms for symbolic integration of hyperlogarithms multiplied by rational functions, which also include multiple polylogarithms when their arguments are rational functions. These algorithms are implemented in Maple and we discuss various applications. In particular, many Feynman integrals can be computed by this method. △ Less

Submitted 13 March, 2014; originally announced March 2014.

Comments: The described Maple program is supplied in the ancillary files to this submission and can also be obtained from http://www.math.hu-berlin.de/~panzer/

Journal ref: Computer Physics Communications, 188 (2015), pp. 148-166

On hyperlogarithms and Feynman integrals with divergences and many scales

Authors: Erik Panzer

Abstract: It was observed that hyperlogarithms provide a tool to carry out Feynman integrals. So far, this method has been applied successfully to finite single-scale processes. However, it can be employed in more general situations. We give examples of integrations of three- and four-point integrals in Schwinger parameters with non-trivial kinematic dependence, involving setups with off-shell external mome… ▽ More It was observed that hyperlogarithms provide a tool to carry out Feynman integrals. So far, this method has been applied successfully to finite single-scale processes. However, it can be employed in more general situations. We give examples of integrations of three- and four-point integrals in Schwinger parameters with non-trivial kinematic dependence, involving setups with off-shell external momenta and differently massive internal propagators. The full set of Feynman graphs admissible to parametric integration is not yet understood and we discuss some counterexamples to the crucial property of linear reducibility. Furthermore we clarify how divergent integrals can be approached in dimensional regularization with this algorithm. △ Less

Submitted 31 March, 2014; v1 submitted 17 January, 2014; originally announced January 2014.

Comments: 26 pages, 11 figures, 2 tables, explicit results in ancillary file "results" and on http://www.math.hu-berlin.de/~panzer/ (version as in JHEP; link corrected)

Journal ref: Journal of High Energy Physics, March 2014:71

Renormalization and Mellin transforms

Authors: Dirk Kreimer, Erik Panzer

Abstract: We study renormalization in a kinetic scheme using the Hopf algebraic framework, first summarizing and recovering known results in this setting. Then we give a direct combinatorial description of renormalized amplitudes in terms of Mellin transform coefficients, featuring the universal property of rooted trees H_R. In particular, a special class of automorphisms of H_R emerges from the action of c… ▽ More We study renormalization in a kinetic scheme using the Hopf algebraic framework, first summarizing and recovering known results in this setting. Then we give a direct combinatorial description of renormalized amplitudes in terms of Mellin transform coefficients, featuring the universal property of rooted trees H_R. In particular, a special class of automorphisms of H_R emerges from the action of changing Mellin transforms on the Hochschild cohomology of perturbation series. Furthermore, we show how the Hopf algebra of polynomials carries a refined renormalization group property, implying its coarser form on the level of correlation functions. Application to scalar quantum field theory reveals the scaling behaviour of individual Feynman graphs. △ Less

Submitted 26 July, 2012; originally announced July 2012.

Comments: 24 pages

Journal ref: Computer Algebra in Quantum Field Theory, Texts & Monographs in Symbolic Computation, Springer Vienna, 2013, pp. 195-223

Hopf algebraic Renormalization of Kreimer's toy model

Authors: Erik Panzer

Abstract: This masters thesis reviews the algebraic formulation of renormalization using Hopf algebras as pioneered by Dirk Kreimer and applies it to a toy model of quantum field theory given through iterated insertions of a single primitive divergence into itself. Using this example in a subtraction scheme, we exhibit the renormalized Feynman rules to yield Hopf algebra morphisms into the Hopf algebra of p… ▽ More This masters thesis reviews the algebraic formulation of renormalization using Hopf algebras as pioneered by Dirk Kreimer and applies it to a toy model of quantum field theory given through iterated insertions of a single primitive divergence into itself. Using this example in a subtraction scheme, we exhibit the renormalized Feynman rules to yield Hopf algebra morphisms into the Hopf algebra of polynomials and as a consequence study the emergence of the renormalization group in connection with combinatorial Dyson-Schwinger equations. In particular we relate the perturbative expansion of the anomalous dimension to the coefficients of the Mellin transform of the integral kernel specifying the primitve divergence. A theorem on the Hopf algebra of rooted trees relates different Mellin transforms by automorphisms of this Hopf algebra. △ Less

Submitted 16 February, 2012; originally announced February 2012.

Comments: 70 pages