scispace - formally typeset
Search or ask a question
Author

M. van Hoeij

Bio: M. van Hoeij is an academic researcher from Florida State University. The author has contributed to research in topics: Hypergeometric function & Elliptic integral. The author has an hindex of 9, co-authored 14 publications receiving 325 citations.

Papers
More filters
Journal ArticleDOI
TL;DR: In this paper, the 3-loop master integrals for heavy quark correlators and the three-loop quantum chromodynamics corrections to the ρ-parameter were derived in terms of 2F1 Gaus hypergeometric functions at rational argument.
Abstract: We calculate 3-loop master integrals for heavy quark correlators and the 3-loop quantum chromodynamics corrections to the ρ-parameter. They obey non-factorizing differential equations of second order with more than three singularities, which cannot be factorized in Mellin-N space either. The solution of the homogeneous equations is possible in terms of 2F1 Gaus hypergeometric functions at rational argument. In some cases, integrals of this type can be mapped to complete elliptic integrals at rational argument. This class of functions appears to be the next one arising in the calculation of more complicated Feynman integrals following the harmonic polylogarithms, generalized polylogarithms, cyclotomic harmonic polylogarithms, square-root valued iterated integrals, and combinations thereof, which appear in simpler cases. The inhomogeneous solution of the corresponding differential equations can be given in terms of iterative integrals, where the new innermost letter itself is not an iterative integral. A new class of iterative integrals is introduced containing letters in which (multiple) definite integrals appear as factors. For the elliptic case, we also derive the solution in terms of integrals over modular functions and also modular forms, using q-product and series representations implied by Jacobi’s ϑi functions and Dedekind’s η-function. The corresponding representations can be traced back to polynomials out of Lambert–Eisenstein series, having representations also as elliptic polylogarithms, a q-factorial 1/ηk(τ), logarithms, and polylogarithms of q and their q-integrals. Due to the specific form of the physical variable x(q) for different processes, different representations do usually appear. Numerical results are also presented.

94 citations

Journal ArticleDOI
TL;DR: In this article, it was shown that almost all the linear differential operators factors obtained in the analysis of the n-particle contributions of the susceptibility of the Ising model for n ≤ 6 are linear differential operator associated with elliptic curves.
Abstract: We show that almost all the linear differential operators factors obtained in the analysis of the n-particle contributions 's of the susceptibility of the Ising model for n ≤ 6 are linear differential operators associated with elliptic curves. Beyond the simplest differential operators factors which are homomorphic to symmetric powers of the second order operator associated with the complete elliptic integral E, the second and third order differential operators Z2, F2, F3, can actually be interpreted as modular forms of the elliptic curve of the Ising model. A last order-4 globally nilpotent linear differential operator is not reducible to this elliptic curve, modular form scheme. This operator is shown to actually correspond to a natural generalization of this elliptic curve, modular form scheme, with the emergence of a Calabi–Yau equation, corresponding to a selected 4F3 hypergeometric function. This hypergeometric function can also be seen as a Hadamard product of the complete elliptic integral K, with a remarkably simple algebraic pull-back (square root extension), the corresponding Calabi–Yau fourth order differential operator having a symplectic differential Galois group . The mirror maps and higher order Schwarzian ODEs, associated with this Calabi–Yau ODE, present all the nice physical and mathematical ingredients we had with elliptic curves and modular forms, in particular an exact (isogenies) representation of the generators of the renormalization group, extending the modular group to a symmetry group.

54 citations

Proceedings ArticleDOI
24 Jul 2005
TL;DR: A variation on the earlier formulas, namely the formulas will base the formulas on invariants of the differential Galois group instead of semi-invariants, to make the algorithm more easy to implement for various differential fields k.
Abstract: Given a second order linear differential equations with coefficients in a field k=C(x), the Kovacic algorithm finds all Liouvillian solutions, that is, solutions that one can write in terms of exponentials, logarithms, integration symbols, algebraic extensions, and combinations thereof. A theorem of Klein states that, in the most interesting cases of the Kovacic algorithm (i.e when the projective differential Galois group is finite), the differential equation must be a pullback (a change of variable) of a standard hypergeometric equation. This provides a way to represent solutions of the differential equation in a more compact way than the format provided by the Kovacic algorithm. Formulas to make Klein's theorem effective were given in [4, 2, 3]. In this paper we will give a simple algorithm based on such formulas. To make the algorithm more easy to implement for various differential fields k, we will give a variation on the earlier formulas, namely we will base the formulas on invariants of the differential Galois group instead of semi-invariants.

41 citations

Journal ArticleDOI
TL;DR: 3-loop master integrals for heavy quark correlators and the 3-loop QCD corrections to the $\rho$-parameter are calculated and a new class of iterative integrals is introduced containing letters in which (multiple) definite integrals appear as factors.
Abstract: We calculate 3-loop master integrals for heavy quark correlators and the 3-loop QCD corrections to the $\rho$-parameter. They obey non-factorizing differential equations of second order with more than three singularities, which cannot be factorized in Mellin-$N$ space either. The solution of the homogeneous equations is possible in terms of convergent close integer power series as $_2F_1$ Gaus hypergeometric functions at rational argument. In some cases, integrals of this type can be mapped to complete elliptic integrals at rational argument. This class of functions appears to be the next one arising in the calculation of more complicated Feynman integrals following the harmonic polylogarithms, generalized polylogarithms, cyclotomic harmonic polylogarithms, square-root valued iterated integrals, and combinations thereof, which appear in simpler cases. The inhomogeneous solution of the corresponding differential equations can be given in terms of iterative integrals, where the new innermost letter itself is not an iterative integral. A new class of iterative integrals is introduced containing letters in which (multiple) definite integrals appear as factors. For the elliptic case, we also derive the solution in terms of integrals over modular functions and also modular forms, using $q$-product and series representations implied by Jacobi's $\vartheta_i$ functions and Dedekind's $\eta$-function. The corresponding representations can be traced back to polynomials out of Lambert--Eisenstein series, having representations also as elliptic polylogarithms, a $q$-factorial $1/\eta^k(\tau)$, logarithms and polylogarithms of $q$ and their $q$-integrals. Due to the specific form of the physical variable $x(q)$ for different processes, different representations do usually appear. Numerical results are also presented.

33 citations

Journal ArticleDOI
TL;DR: In this paper, it was shown that one can construct a left multiple with polynomial coefficients * such that every singularity of * is a singularity * of L that is not apparent.
Abstract: Let L be a linear difference operator with polynomial coefficients. We consider singularities of L that correspond to roots of the trailing (resp. leading) coefficient of L. We prove that one can effectively construct a left multiple with polynomial coefficients ** of L such that every singularity of ** is a singularity of L that is not apparent. As a consequence, if all singularities of L are apparent, then L has a left multiple whose trailing and leading coefficients equal 1.

32 citations


Cited by
More filters
01 Jan 2010
TL;DR: The efficiency estimation of the developed author's program for high school students with diseases of the cardiovascular system physical fitness correction by means of physical rehabilitation is made in the article as mentioned in this paper, where the authors made an evaluation of the effectiveness of the program.
Abstract: У статті визначено ефективність впливу розробленої авторської програми корекції фізичної підготовленості учнів старшого шкільного віку засобами фізичної реабілітації під час захворювань серцево-судинної системи. Efficiency estimation of the developed author’s programme for high school students’ with diseases of the cardiovascular system physical fitness correction by means of physical rehabilitation is made in the article

163 citations

Journal ArticleDOI
TL;DR: In this article, a generalization of the symbol calculus from ordinary multiple polylogarithms to their elliptic counterparts is presented, based on a special case of a coaction on large classes of periods that is applied in particular to elliptic poly logarithm and iterated integrals of modular forms.
Abstract: We present a generalization of the symbol calculus from ordinary multiple polylogarithms to their elliptic counterparts. Our formalism is based on a special case of a coaction on large classes of periods that is applied in particular to elliptic polylogarithms and iterated integrals of modular forms. We illustrate how to use our formalism to derive relations among elliptic polylogarithms, in complete analogy with the non-elliptic case. We then analyze the symbol alphabet of elliptic polylogarithms evaluated at rational points, and we observe that it is given by Eisenstein series for a certain congruence subgroup. We apply our formalism to hypergeometric functions that can be expressed in terms of elliptic polylogarithms and show that they can equally be written in terms of iterated integrals of Eisenstein series. Finally, we present the symbol of the equal-mass sunrise integral in two space-time dimensions. The symbol alphabet involves Eisenstein series of level six and weight three, and we can easily integrate the symbol in terms of iterated integrals of Eisenstein series.

150 citations

Journal ArticleDOI
TL;DR: In this paper, the Higgs boson production cross section at Hadron colliders in the gluon fusion production mode through N3LO in perturbative QCD is presented.
Abstract: We present the Higgs boson production cross section at Hadron colliders in the gluon fusion production mode through N3LO in perturbative QCD. Specifically, we work in an effective theory where the top quark is assumed to be infinitely heavy and all other quarks are considered to be massless. Our result is the first exact formula for a partonic hadron collider cross section at N3LO in perturbative QCD. Furthermore, this result represents the first analytic computation of a hadron collider cross section involving elliptic integrals. We derive numerical predictions for the Higgs boson cross section at the LHC. Previously this result was approximated by an expansion of the cross section around the production threshold of the Higgs boson and we compare our findings. Finally, we study the impact of our new result on the state of the art prediction for the Higgs boson cross section at the LHC.

149 citations

Journal ArticleDOI
TL;DR: The precision frontier in collider physics is being pushed at impressive speed, from both the experimental and the theoretical side as discussed by the authors, and the aim of this review is to give an overview of recent developments in precision calculations within the Standard Model of particle physics, in particular in the Higgs sector.

140 citations

Journal ArticleDOI
TL;DR: In this article, it was shown that the kite integral family can be solved in e-form if the Feynman integrals do not evaluate to multiple polylogarithms.

129 citations