Differential Equations and Associators for Periods

Size: px
Start display at page:

Download "Differential Equations and Associators for Periods"

Transcription

1 Differential Equations and Associators for Periods Stephan Stieberger, MPP München Workshop on Geometry and Physics in memoriam of Ioannis Bakas November 2-25, 26 Schloß Ringberg, Tegernsee

2 based on: St.St., G. Puhlfürst: Differential equations, Associators and Recurrences for Amplitudes, Nucl. Phys. B92 (26) , [arxiv:57.582] A Feynman Integral and its Recurrences and Associators, Nucl.Phys. B96 (26) [arxiv:5.363]

3 Geometry and Physics numbers or functions physics: physical observables, couplings geometry: geometrical data Periods

4 What is a period? Kontsevich, Zagier: A period is a complex number whose real and imaginary parts are values of absolutely convergent integrals of rational functions with rational coefficients over domains in R given in polynomial inequalities with rational coefficients p 2= Z 2x 2 apple dx = Z x 2 +y 2 apple dx dy 3 = Z <x<y<z dx dy dz ( x) yz

5 Periods and differential equations consider family of periods (depending on parameter): e.g. hypergeometric functions 2F apple a, b c ; x = (c) (a) (c a) Z t a ( t) c a ( xt) b satisfy linear differential equations with algebraic coefficients: (generalized) Picard-Fuchs equations (Gauss-Manin systems) e.g. GKZ systems for periods of CY manifolds

6 systematize for generating a subclass of periods e.g.: construct non commutative words w = w w 2... in the letters w i 2 {e,e } generate series of periods (iterated integrals) w 2 {e,e } L e n (x) := n! ln n x, n2 N, L e w(x) := Z x dt t L w(t), L e w(x) := Z x dt t L w(t), L (x) =. L e = ln( x) L e m e (x) =Li m (x) multiple polylogarithms (MPLs) in one variable alphabet specifies underlying MPLs

7 define generating series of multiple polylogarithms (MPLs) in one variable X (x) = L w (x) w w2{e,e } unique solution to KZ equation: d dx = e x + e x Z(e,e ) = X Actually, at x= we obtain generating series of MZVs: (w) w =+ 2 [e,e ]+ 3 ([e, [e,e ]] [e, [e,e ]) w2{e,e } + 4 [e, [e, [e,e ]]] 4 [e, [e, [e,e ]]] + [e, [e, [e,e ]]] [e,e ] Drinfeld Associator Z(e,e )= (x) (x)

8 E.g: Z z <...<z 5! 3Y dz l l=2 4Q i<j z ij s ij z 2 z 23 z 4 = s 2 s 45 s 23 s 45 s 34 s 2 s 23 s 5 s 2 s 45 s 45 s 23 + O( ) z ij := z i z j alpha -expansion of tree-level N-point string scattering: iterated integrals on sphere -> MZVs periods on Riemann surface of genus with N-3 marked points alpha -expansion of one-level N-point string scattering: elliptic iterated integrals -> elliptic MZVs Z dz 4 Z z4 dz 3 Z z3 = 6 + s 2 apple (z 2, ) dz 2 (, ) 8 < : s 2 6 ln(2 ) X n 3 Li (q n ) 2 2 Li 3(q n ) 9 = ; + O( 2 ) periods on Riemann surface of genus with N- marked points

9 Task: find efficient and systematic procedure to gain their - expansions analytic and explicit expressions at each order closed and compact expressions systemize dependence on parameters New techniques for computing -expansions for amplitudes

10 Generalized hypergeometric functions relevant to both string theory and field-theory pf p (~a; ~ b; z) p F p apple a,...,a p b,...,b p ; z = X m= pq i= p Q j= (a i ) m (b j ) m z m m!, p a i,b j 2 R Pochhammer symbol (raising factorial) (a) n = (a + n) (a) = a (a + )...(a + n ) Let s first discuss: a i,b j 2 R { a i = ã i b j =+ b j Indeed any other pfq hypergeometric function with integer shifts can be expressed in terms of the above by algebraic relations (contiguous relations)

11 y(x) = p F q apple a,...,a p +b,...,+b q ; x n = p = q + ( + b )( + b 2 )...( + b p )y z ( + a )( + a 2 )...( + a p )y = = x d dx Fuchsian equation with three regular singularities x =,, dg dx = e x + e x g g = (n y y. ) y C A representation in terms of n x n matrices are given in terms of elementary symmetric functions of a,...,a p e,e and b,...,b q

12 e = Q p n Q p n 2... Q p 2 Q p C A, e = p n p n... p 2 p C A elementary symmetric functions: P p = Q p = px i,...,i = i <i 2 <...<i Xp i,...,i = i <i 2 <...<i a i... a i, =,...,p, b i... b i, =,...,p, Q p p =. p = P p Q p, =,...,p, p p = P p p

13 generalized hypergeometric functions d dx = e x + e x linear differential equations KZ - type equations The unique solution (x) 2 Ch{e,e }i is known as the generating series of multiple polylogarithms (MPLs) in one variable (x) = X w2{e,e }? L w (x) w non-commutative word w alphabet specifies underlying MPLs: [e,e ](x) =+e ln x e ln( x)+ 2 ln2 xe 2 + Li 2 (x) e e [ Li 2 (x)+lnx ln( x) ]e e + 2 ln2 ( x) e ln3 xe 3 + Li 3 (x) e 2 e [2Li 3 (x)+lnx Li 2 (x) ]e e e + Li 2, (x) e e 2 apple + Li 3 (x) ln x Li 2 (x) 2 ln2 x ln( x) e e 2 + Li,2 (x) e e e apple Li,2 (x)+li 2, (x) 2 ln x ln2 ( x) e 2 e 6 ln3 ( x) e

14 e.g. 3F2: pf p apple in fact: pf p apple a,...,a p +b...,+b p ; x = [e,e ](x), a,...,a 2 +b,...,+b p ; = Z(e,e ), 3F 2 apple a, a 2, a 3 + b, + b 2 ; x = [B,B ](x), e = =+ 3 Li 3 (x)+ 3 Li 2,2 (x) Q 3 Li 4 A, e = 2 Q A, = a + a 2 + a 3 b b 2, 2 = a a 2 + a 2 a 3 + a 3 a b b 2, 3 = a a 2 a 3, Q = b + b 2, Q 2 = b b 2.

15 pf p (~a; ~ b; z) p F p apple a,...,a p b,...,b p ; z = coefficients of - expansions for a subclass of hypergeometric functions give rise to multiple polylogarithms (MPLs) X m= pq i= p Q j= (a i ) m (b j ) m z m m! a i,b j 2 R, p { a i = ã i b j =+ b j Li n,...,n l (z,...,z l )= X z k n <k l <...<k k... zk l l... kn l l Rational values a i,b j 2 R { a i = p i q i + ã i b j = p j q j + b j

16 What is the underlying differential equation? At rational values (real parameters shifted by p/q): Fuchsian differential equation with q+2 regular singular points at, exp(2 ir/q),, r =,...,q roots of unity d dx = qx i= x A i x i! Schlesinger system MPLs of q-th roots of unity

17 d dx = qx i= x A i x i! hyperlogarithms are defined recursively from words w built from an alphabet {w,w,...} (with w i ' A i )withl +letters: l = q L w n (x) := n! ln n (x x ), n 2 N, L w n i (x) := n! ln n x x xi x i, apple i apple l, L wi w(x) := Z x dt t x i L w (t), L (x) =. L w n l w l...w n 2 w 2 w n w (x) =( ) l Li nl,...,n x x, x l x x l x,... x 3 x, x 2 x x l x x 2 x x x

18 A group-like solution taking values in ChAi with the alphabet A = {A,A,...,A q } can be given as formal weighted sum over iterated integrals (with the weight given by the number of iterated integrations) (x) = X L w (x) w w2a Actually: i(x)! (x x i ) A i, i =,,...,q i(x) = X w2a L i w(x) w, L b w i w(x) = Z x b t dt x i L b w(t)

19 q (independent) associators: Z (x k) (A,A,...,A q )= k (x) (x), k =,...,q Again: (x k ) reg. = Z (x k) (A,...,A q ) k =,...,q q regularized zeta series: Z (x k) (A,A,...,A q )= X w2a xk (w) w, k =,...,q Z (x k) (A,...,A q )=+ln(x k x ) A + X applei6=k ln xk x x i x i A i ln(x x k ) A k +....

20 Brown: map: w 7! x k (w) x k (w homomorphism for the shuffle product: w) = x k (w w)+ x k ( ww) = x k (w) x k ( w) x k (w k )= ln(x x k ), x k (w )=ln(x k x ), x k (w) =L w (x k ), w /2 A w [ w k A, with w neither beginning in w k nor ending in w enough to compute the map x k for any word w 2 A because every word w can be written uniquely as a linear combination f shu e products of the words w and w k and words which neither begin in w k nor end in w. Z (x k) (A,...,A q )=+ln(x k x ) A + X applei6=k ln xk x x i x i A i ln(x x k ) A k +....

21 (i) q=2 (parameters shifted by half-integer): apple " a, b 2F 2 + c; z, 2 2F + a, 2 + b # " c ; z, 2 F + a, b # apple 2 + c ; z, 2 F 2 + a, b +c ; z {z } can algebraically be expressed in terms of e.g.: 2F apple a, b 2 + c; z apple 2 2F + a, 2 + b ; z +c {z } elliptic function elliptic function K of first kind 2F apple 2, 2 ; z = 2 K(p z) we want to determine: 2F apple a,b 2 + c ; z = X k k u k (z) coefficients functions are given in terms of harmonic polylogarithsm (HPLs)

22 2F apple a, b 2 + c; z With: = ' ' 2 ' (y) := 2 F apple a, b 2 + c; z ' 2 (y) :=y d dy ' y = p z p z p z + p z fullfils Fuchs system: d dy = 2X i= y A i y i! with the four singularities y =, y =, y 2 = and A = ab a + b, A = 2c, A 2 = 2c 2a 2b

23 (x) =+A ln x + A ln(x ) + A 2 [ ln 2 + ln(x + ) ] + A A [ 2 Li 2 (x)+i x ln x ]+A A [ 2 + Li 2 (x)+lnxln( x) ] + A A 2 [ 2 2 Li 2 ( x) ln 2 ln x ]+A 2 A [ Li 2 ( x)+lnx ln( + x) ] + A A 2 [ ln2 2 ln 2 ln( x)+li, (x, ) ] + A 2 A [ ln2 2+Li, ( x, ) i x {ln 2 ln( + x)} ] + 2 ln2 xa ln2 (x ) A [ln 2 ln( + x)]2 A Z (+) (A,A,A 2 )= (x) (x) Z (+) 2 (A,A,A 2 )= i A +ln2a 2 2 A2 + 2 ln2 2 A [A,A ]+ 2 2 [A,A 2 ] 2 (ln2 2 2 )[A,A 2 ] i ln 2 A A

24 Z ( ) (A,A,A 2 )= 2 (x) (x) Z ( ) 2 (A,A,A 2 )=+i A +ln2a 2 A2 + 2 ln2 2 A 2 2 [A,A 2 ]+ 2 2 [A,A ]+ 2 (ln2 2 2 )[A,A 2 ] + i ln 2 A A +... ( ) reg. = Z ( ) (Z (+) ) Result: 2F apple a, b 2 + c; z = [A,A,A 2 ](y), 2F apple a, b c + 2 ; = Z ( ) (Z (+) ),

25 2F apple a, b c + 2 ; z =+ 2 ln2 ya ln3 ya 3 +[2Li 3 (y) ln yli 2 (y) 2 ln z 2 3 ] A A A apple + 2Li 3 ( y) ln yli 2 ( y)+ 2 2 ln y A A 2 A +... universal result: - expansion is identified with normalized solution of the underlying Fuchs system compact and simple result just matrix multiplication of k matrices at degree k each order in given by some combinations of MPLs and grouplike matrix products carrying the information on parameter

26 generalized hypergeometric functions: generically: singularity structure described by three regular points: KZ equation monodromies are explicitly furnished by the Drinfeld associator specific parameters: after suitable coordinate transformation, properly assigning Lie-algebra and monodromy representations: Schlesinger system with q+2 regular singular points q+ associators (regularized zeta-series) generalized hypergeometric functions: singularity structure described by three regular points: KZ equation multiple Gaussian hypergeometric functions: singularity structure is generically given by divisors. whose monodromy is described by generalized KZ equations of more variables

Single-Valued Multiple Zeta Values and String Amplitudes

Single-Valued Multiple Zeta Values and String Amplitudes Single-Valued Multiple eta Values and String Amplitudes Stephan Stieberger, MPP München Workshop "Amplitudes and Periods" Hausdorff Research Institute for Mathematics February 26 - March 2, 208 based on:

More information

Symbolic integration of multiple polylogarithms

Symbolic integration of multiple polylogarithms Symbolic integration of multiple polylogarithms Erik Panzer Institute des Hautes E tudes Scientifiques Applications of Computer Algebra July 22nd, 215 Kalamata, Greece Problem: Multiple integrals of rational

More information

Lecture 4. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 4 E- and G-functions 1 / 27

Lecture 4. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 4 E- and G-functions 1 / 27 Lecture 4 Frits Beukers Arithmetic of values of E- and G-function Lecture 4 E- and G-functions 1 / 27 Two theorems Theorem, G.Chudnovsky 1984 The minimal differential equation of a G-function is Fuchsian.

More information

Multiple polylogarithms and Feynman integrals

Multiple polylogarithms and Feynman integrals Multiple polylogarithms and Feynman integrals Erik Panzer Institute des Hautes E tudes Scientifiques Amplitudes 215 July 7th ETH/University of Zu rich Topics 1 hyperlogarithms & iterated integrals 2 multiple

More information

(Elliptic) multiple zeta values in open superstring amplitudes

(Elliptic) multiple zeta values in open superstring amplitudes (Elliptic) multiple zeta values in open superstring amplitudes Johannes Broedel Humboldt University Berlin based on joint work with Carlos Mafra, Nils Matthes and Oliver Schlotterer arxiv:42.5535, arxiv:57.2254

More information

Elliptic dilogarithms and two-loop Feynman integrals

Elliptic dilogarithms and two-loop Feynman integrals Elliptic dilogarithms and two-loop Feynman integrals Pierre Vanhove 12th Workshop on Non-Perturbative Quantum Chromodynamics IAP, Paris June, 10 2013 based on work to appear with Spencer Bloch Pierre Vanhove

More information

Linear reducibility of Feynman integrals

Linear reducibility of Feynman integrals Linear reducibility of Feynman integrals Erik Panzer Institute des Hautes Études Scientifiques RADCOR/LoopFest 2015 June 19th, 2015 UCLA, Los Angeles Feynman integrals: special functions and numbers Some

More information

Elliptic multiple zeta values

Elliptic multiple zeta values and special values of L-functions Nils Matthes Fachbereich Mathematik Universität Hamburg 21.12.16 1 / 30 and special values of L-functions Introduction Common theme in number theory/arithmetic geometry:

More information

Multiple polylogarithms and Feynman integrals

Multiple polylogarithms and Feynman integrals Multiple polylogarithms and Feynman integrals Erik Panzer Institute des Hautes E tudes Scientifiques Amplitudes 215 July 7th ETH/University of Zu rich Topics 1 hyperlogarithms & iterated integrals 2 multiple

More information

Additional material: Linear Differential Equations

Additional material: Linear Differential Equations Chapter 5 Additional material: Linear Differential Equations 5.1 Introduction The material in this chapter is not formally part of the LTCC course. It is included for completeness as it contains proofs

More information

HyperInt - exact integration with hyperlogarithms

HyperInt - exact integration with hyperlogarithms HyperInt - exact integration with hyperlogarithms Erik Panzer erikpanzer@ihes.fr (CNRS, ERC grant 257638, F. Brown) Institute des Hautes Études Scientifiques 35 Route de Chartres 9144 Bures-sur-Yvette

More information

On the singularities of non-linear ODEs

On the singularities of non-linear ODEs On the singularities of non-linear ODEs Galina Filipuk Institute of Mathematics University of Warsaw G.Filipuk@mimuw.edu.pl Collaborators: R. Halburd (London), R. Vidunas (Tokyo), R. Kycia (Kraków) 1 Plan

More information

Feynman Integrals, Regulators and Elliptic Polylogarithms

Feynman Integrals, Regulators and Elliptic Polylogarithms Feynman Integrals, Regulators and Elliptic Polylogarithms Pierre Vanhove Automorphic Forms, Lie Algebras and String Theory March 5, 2014 based on [arxiv:1309.5865] and work in progress Spencer Bloch, Matt

More information

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0 4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for

More information

(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y

(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y () Consider A = { q Q : q 2 2} as a subset of the metric space (Q, d), where d(x, y) = x y. Then A is A) closed but not open in Q B) open but not closed in Q C) neither open nor closed in Q D) both open

More information

Multiple divisor functions, their algebraic structure and the relation to multiple zeta values

Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Kyushu University - 13th November 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920 [math.nt] Multiple

More information

The algebra of cell-zeta values

The algebra of cell-zeta values The algebra of cell-zeta values Sarah Carr May 0, 200 A multizeta value or MZV is a real number, ζ(k i,..., k d ) = X n > >n d >0 Abstract n k nk d d, k i Z, k 2. () We are interested in studying the Q

More information

13:00 13:50 poly-euler L

13:00 13:50 poly-euler L 4 2011 1 7 13:00 9 12:20 1 819-0395 744 ( ) ( ) ( ) 1 7 13:00 13:50 poly-euler L 14:05 14:45 15:05 15:55 Riemann 16:10 17:00 Double Eisenstein series for Γ 0 (2) 1 8 10:15 11:05 4 KZ 11:20 12:10 Multiple

More information

Multiloop integrals in dimensional regularization made simple

Multiloop integrals in dimensional regularization made simple Multiloop integrals in dimensional regularization made simple Johannes M. Henn Institute for Advanced Study based on PRL 110 (2013) [arxiv:1304.1806], JHEP 1307 (2013) 128 [arxiv:1306.2799] with A. V.

More information

Congruence sheaves and congruence differential equations Beyond hypergeometric functions

Congruence sheaves and congruence differential equations Beyond hypergeometric functions Congruence sheaves and congruence differential equations Beyond hypergeometric functions Vasily Golyshev Lille, March 6, 204 / 45 Plan of talk Report on joint work in progress with Anton Mellit and Duco

More information

TOPOLOGICAL GALOIS THEORY. A. Khovanskii

TOPOLOGICAL GALOIS THEORY. A. Khovanskii TOPOLOGICAL GALOIS THEORY A. Khovanskii METHODS 1. ABEL AND LIOUVILLE (1833). 2.GALOIS AND PICARD- VESSIO (1910). 3. TOPOLOGICAL VERSION: ONE DIMENSIONAL CASE (1972), MULTI- DIMENSIONAL CASE (2003). 2

More information

Topological approach to 13th Hilbert problem

Topological approach to 13th Hilbert problem Topological approach to 13th Hilbert problem Workshop Braids, Resolvent Degree and Hilberts 13th Problem Askold Khovanskii Department of Mathematics, University of Toronto February 19, 2019 1.13-th HILBERT

More information

Baker-Akhiezer functions and configurations of hyperplanes

Baker-Akhiezer functions and configurations of hyperplanes Baker-Akhiezer functions and configurations of hyperplanes Alexander Veselov, Loughborough University ENIGMA conference on Geometry and Integrability, Obergurgl, December 2008 Plan BA function related

More information

Hypergeometric series and the Riemann zeta function

Hypergeometric series and the Riemann zeta function ACTA ARITHMETICA LXXXII.2 (997) Hypergeometric series and the Riemann zeta function by Wenchang Chu (Roma) For infinite series related to the Riemann zeta function, De Doelder [4] established numerous

More information

Feynman integrals as Periods

Feynman integrals as Periods Feynman integrals as Periods Pierre Vanhove Amplitudes 2017, Higgs Center, Edinburgh, UK based on [arxiv:1309.5865], [arxiv:1406.2664], [arxiv:1601.08181] Spencer Bloch, Matt Kerr Pierre Vanhove (IPhT)

More information

Mahler measure as special values of L-functions

Mahler measure as special values of L-functions Mahler measure as special values of L-functions Matilde N. Laĺın Université de Montréal mlalin@dms.umontreal.ca http://www.dms.umontreal.ca/~mlalin CRM-ISM Colloquium February 4, 2011 Diophantine equations

More information

AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE

AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials

More information

arxiv: v1 [math.ag] 15 Jul 2018

arxiv: v1 [math.ag] 15 Jul 2018 . NOTE ON EQUIVARIANT I-FUNCTION OF LOCAL P n HYENHO LHO arxiv:1807.05501v1 [math.ag] 15 Jul 2018 Abstract. Several properties of a hyepergeometric series related to Gromov-Witten theory of some Calabi-Yau

More information

Motivic Periods, Coleman Functions, and the Unit Equation

Motivic Periods, Coleman Functions, and the Unit Equation Motivic Periods, Coleman Functions, and the Unit Equation An Ongoing Project D. Corwin 1 I. Dan-Cohen 2 1 MIT 2 Ben Gurion University of the Negev April 10, 2018 Corwin, Dan-Cohen Motivic Periods, Coleman

More information

Experimental mathematics and integration

Experimental mathematics and integration Experimental mathematics and integration David H. Bailey http://www.davidhbailey.com Lawrence Berkeley National Laboratory (retired) Computer Science Department, University of California, Davis October

More information

Irrationality proofs, moduli spaces, and dinner parties

Irrationality proofs, moduli spaces, and dinner parties Irrationality proofs, moduli spaces, and dinner parties Francis Brown, IHÉS-CNRS las, Members Colloquium 17th October 2014 1 / 32 Part I History 2 / 32 Zeta values and Euler s theorem Recall the Riemann

More information

0. Introduction 1 0. INTRODUCTION

0. Introduction 1 0. INTRODUCTION 0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1

More information

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S,

Group, Rings, and Fields Rahul Pandharipande. I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, Group, Rings, and Fields Rahul Pandharipande I. Sets Let S be a set. The Cartesian product S S is the set of ordered pairs of elements of S, A binary operation φ is a function, S S = {(x, y) x, y S}. φ

More information

Cellular Multizeta Values. Sarah Carr

Cellular Multizeta Values. Sarah Carr Cellular Multizeta Values Sarah Carr August, 2007 Goals The following is joint work with Francis Brown and Leila Schneps based on a combinatorial theory of pairs of polygons. 1. Objects: Periods on M 0,n

More information

Evaluating multiloop Feynman integrals by Mellin-Barnes representation

Evaluating multiloop Feynman integrals by Mellin-Barnes representation April 7, 004 Loops&Legs 04 Evaluating multiloop Feynman integrals by Mellin-Barnes representation V.A. Smirnov Nuclear Physics Institute of Moscow State University Mellin-Barnes representation as a tool

More information

Lecture 3. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 3 E- and G-functions 1 / 20

Lecture 3. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 3 E- and G-functions 1 / 20 Lecture 3 Frits Beukers Arithmetic of values of E- and G-function Lecture 3 E- and G-functions 1 / 20 G-functions, definition Definition An analytic function f (z) given by a powerseries a k z k k=0 with

More information

Chapter 1: Systems of Linear Equations and Matrices

Chapter 1: Systems of Linear Equations and Matrices : Systems of Linear Equations and Matrices Multiple Choice Questions. Which of the following equations is linear? (A) x + 3x 3 + 4x 4 3 = 5 (B) 3x x + x 3 = 5 (C) 5x + 5 x x 3 = x + cos (x ) + 4x 3 = 7.

More information

New series expansions of the Gauss hypergeometric function

New series expansions of the Gauss hypergeometric function New series expansions of the Gauss hypergeometric function José L. López and Nico. M. Temme 2 Departamento de Matemática e Informática, Universidad Pública de Navarra, 36-Pamplona, Spain. e-mail: jl.lopez@unavarra.es.

More information

Periods, Galois theory and particle physics

Periods, Galois theory and particle physics Periods, Galois theory and particle physics Francis Brown All Souls College, Oxford Gergen Lectures, 21st-24th March 2016 1 / 29 Reminders We are interested in periods I = γ ω where ω is a regular algebraic

More information

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate. 15. Polynomial rings Definition-Lemma 15.1. Let R be a ring and let x be an indeterminate. The polynomial ring R[x] is defined to be the set of all formal sums a n x n + a n 1 x n +... a 1 x + a 0 = a

More information

Gauss s Hypergeometric Equation

Gauss s Hypergeometric Equation Gauss s Hypergeometric Equation Pradeep Boggarapu October 6, 2015 Pradeep Boggarapu () Hypergeometric Equation October 6, 2015 1 / 26 1. Guass s Hypergeometric Equation (GHE): The famous differential equation

More information

MaPhy-AvH/ FEYNMAN INTEGRALS AND ITERATED INTEGRALS ON MODULI SPACES OF CURVES OF GENUS ZERO. 1. Introduction. ta i

MaPhy-AvH/ FEYNMAN INTEGRALS AND ITERATED INTEGRALS ON MODULI SPACES OF CURVES OF GENUS ZERO. 1. Introduction. ta i MaPhy-AvH/2014-10 FEYNMAN INTEGRALS AND ITERATED INTEGRALS ON MODULI SPACES OF CURVES OF GENUS ZERO CHRISTIAN BOGNER AND FRANCIS BROWN Abstract. This paper describes algorithms for the exact symbolic computation

More information

EXERCISES. a b = a + b l aq b = ab - (a + b) + 2. a b = a + b + 1 n0i) = oii + ii + fi. A. Examples of Rings. C. Ring of 2 x 2 Matrices

EXERCISES. a b = a + b l aq b = ab - (a + b) + 2. a b = a + b + 1 n0i) = oii + ii + fi. A. Examples of Rings. C. Ring of 2 x 2 Matrices / rings definitions and elementary properties 171 EXERCISES A. Examples of Rings In each of the following, a set A with operations of addition and multiplication is given. Prove that A satisfies all the

More information

Qualification Exam: Mathematical Methods

Qualification Exam: Mathematical Methods Qualification Exam: Mathematical Methods Name:, QEID#41534189: August, 218 Qualification Exam QEID#41534189 2 1 Mathematical Methods I Problem 1. ID:MM-1-2 Solve the differential equation dy + y = sin

More information

1 + z 1 x (2x y)e x2 xy. xe x2 xy. x x3 e x, lim x log(x). (3 + i) 2 17i + 1. = 1 2e + e 2 = cosh(1) 1 + i, 2 + 3i, 13 exp i arctan

1 + z 1 x (2x y)e x2 xy. xe x2 xy. x x3 e x, lim x log(x). (3 + i) 2 17i + 1. = 1 2e + e 2 = cosh(1) 1 + i, 2 + 3i, 13 exp i arctan Complex Analysis I MT333P Problems/Homework Recommended Reading: Bak Newman: Complex Analysis Springer Conway: Functions of One Complex Variable Springer Ahlfors: Complex Analysis McGraw-Hill Jaenich:

More information

Formal solution Chen-Fliess series

Formal solution Chen-Fliess series Formal solution Chen-Fliess series Ṡ = S(t) u a (t) a, S() = 1 Z = m a Z on algebra Â(Z ) of formal power series in aset Z of noncommuting indeterminates (letters) has the unique solution CF(T, u) = w

More information

NORTH MAHARASHTRA UNIVERSITY JALGAON.

NORTH MAHARASHTRA UNIVERSITY JALGAON. NORTH MAHARASHTRA UNIVERSITY JALGAON. Syllabus for S.Y.B.Sc. (Mathematics) With effect from June 013. (Semester system). The pattern of examination of theory papers is semester system. Each theory course

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

Integral Expression of Dirichlet L-Series

Integral Expression of Dirichlet L-Series International Journal of Algebra, Vol,, no 6, 77-89 Integral Expression of Dirichlet L-Series Leila Benferhat Université des Sciences et de la technologie Houari Boumedienne, USTHB BP 3 El Alia ALGER (ALGERIE)

More information

Chern-Simons gauge theory The Chern-Simons (CS) gauge theory in three dimensions is defined by the action,

Chern-Simons gauge theory The Chern-Simons (CS) gauge theory in three dimensions is defined by the action, Lecture A3 Chern-Simons gauge theory The Chern-Simons (CS) gauge theory in three dimensions is defined by the action, S CS = k tr (AdA+ 3 ) 4π A3, = k ( ǫ µνρ tr A µ ( ν A ρ ρ A ν )+ ) 8π 3 A µ[a ν,a ρ

More information

Multiloop scattering amplitudes in the LHC Era

Multiloop scattering amplitudes in the LHC Era Multiloop scattering amplitudes in the LHC Era Francesco Moriello Based on arxiv:1609.06685 In collaboration with: R. Bonciani, V. Del Duca, H. Frellesvig, J.M. Henn, V. Smirnov October 26, 2016 Outline

More information

Notes on generating functions in automata theory

Notes on generating functions in automata theory Notes on generating functions in automata theory Benjamin Steinberg December 5, 2009 Contents Introduction: Calculus can count 2 Formal power series 5 3 Rational power series 9 3. Rational power series

More information

arxiv:math/ v2 [math.ca] 28 Oct 2008

arxiv:math/ v2 [math.ca] 28 Oct 2008 THE HERMITE-KRICHEVER ANSATZ FOR FUCHSIAN EQUATIONS WITH APPLICATIONS TO THE SIXTH PAINLEVÉ EQUATION AND TO FINITE-GAP POTENTIALS arxiv:math/0504540v [math.ca] 8 Oct 008 KOUICHI TAKEMURA Abstract. Several

More information

The Generating Functions for Pochhammer

The Generating Functions for Pochhammer The Generating Functions for Pochhammer Symbol { }, n N Aleksandar Petoević University of Novi Sad Teacher Training Faculty, Department of Mathematics Podgorička 4, 25000 Sombor SERBIA and MONTENEGRO Email

More information

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Polynomial Rings. i=0. i=0. n+m. i=0. k=0 Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients

More information

Part II. Number Theory. Year

Part II. Number Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler

More information

TEST CODE: MMA (Objective type) 2015 SYLLABUS

TEST CODE: MMA (Objective type) 2015 SYLLABUS TEST CODE: MMA (Objective type) 2015 SYLLABUS Analytical Reasoning Algebra Arithmetic, geometric and harmonic progression. Continued fractions. Elementary combinatorics: Permutations and combinations,

More information

MA 412 Complex Analysis Final Exam

MA 412 Complex Analysis Final Exam MA 4 Complex Analysis Final Exam Summer II Session, August 9, 00.. Find all the values of ( 8i) /3. Sketch the solutions. Answer: We start by writing 8i in polar form and then we ll compute the cubic root:

More information

Periods and Superstring Amplitudes

Periods and Superstring Amplitudes Periods and Superstring Amplitudes S. Stieberger arxiv:1605.03630v1 [hep-th] 11 May 2016 Max Planck Institut für Physik Werner Heisenberg Institut 80805 München, Germany Abstract Scattering amplitudes

More information

Linear and nonlinear ODEs and middle convolution

Linear and nonlinear ODEs and middle convolution Linear and nonlinear ODEs and middle convolution Galina Filipuk Institute of Mathematics University of Warsaw G.Filipuk@mimuw.edu.pl Collaborator: Y. Haraoka (Kumamoto University) 1 Plan of the Talk: Linear

More information

LINEAR SYSTEMS AND MATRICES

LINEAR SYSTEMS AND MATRICES CHAPTER 3 LINEAR SYSTEMS AND MATRICES SECTION 3. INTRODUCTION TO LINEAR SYSTEMS This initial section takes account of the fact that some students remember only hazily the method of elimination for and

More information

Mahler measure and special values of L-functions

Mahler measure and special values of L-functions Mahler measure and special values of L-functions Matilde N. Laĺın University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin October 24, 2008 Matilde N. Laĺın (U of A) Mahler measure

More information

Lecture 1. Frits Beukers. October 23, Lecture 1 October 23, / 34

Lecture 1. Frits Beukers. October 23, Lecture 1 October 23, / 34 Lecture 1 Frits Beukers October 23, 2018 Lecture 1 October 23, 2018 1 / 34 Gauss hypergeometric function Euler and Gauss defined 2F 1 ( α β γ ) z = n=0 (α) n (β) n n!(γ) n z n where (x) n = x(x + 1) (x

More information

16.4. Power Series. Introduction. Prerequisites. Learning Outcomes

16.4. Power Series. Introduction. Prerequisites. Learning Outcomes Power Series 6.4 Introduction In this section we consider power series. These are examples of infinite series where each term contains a variable, x, raised to a positive integer power. We use the ratio

More information

Functions associated to scattering amplitudes. Stefan Weinzierl

Functions associated to scattering amplitudes. Stefan Weinzierl Functions associated to scattering amplitudes Stefan Weinzierl Institut für Physik, Universität Mainz I: Periodic functions and periods II: III: Differential equations The two-loop sun-rise diagramm in

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

Schematic Project of PhD Thesis: Two-Loop QCD Corrections with the Differential Equations Method

Schematic Project of PhD Thesis: Two-Loop QCD Corrections with the Differential Equations Method Schematic Project of PhD Thesis: Two-Loop QCD Corrections with the Differential Equations Method Matteo Becchetti Supervisor Roberto Bonciani University of Rome La Sapienza 24/01/2017 1 The subject of

More information

Series Solution of Linear Ordinary Differential Equations

Series Solution of Linear Ordinary Differential Equations Series Solution of Linear Ordinary Differential Equations Department of Mathematics IIT Guwahati Aim: To study methods for determining series expansions for solutions to linear ODE with variable coefficients.

More information

Error-Correcting Codes

Error-Correcting Codes Error-Correcting Codes HMC Algebraic Geometry Final Project Dmitri Skjorshammer December 14, 2010 1 Introduction Transmission of information takes place over noisy signals. This is the case in satellite

More information

#A31 INTEGERS 18 (2018) A NOTE ON FINITE SUMS OF PRODUCTS OF BERNSTEIN BASIS POLYNOMIALS AND HYPERGEOMETRIC POLYNOMIALS

#A31 INTEGERS 18 (2018) A NOTE ON FINITE SUMS OF PRODUCTS OF BERNSTEIN BASIS POLYNOMIALS AND HYPERGEOMETRIC POLYNOMIALS #A31 INTEGERS 18 (2018) A NOTE ON FINITE SUMS OF PRODUCTS OF BERNSTEIN BASIS POLYNOMIALS AND HYPERGEOMETRIC POLYNOMIALS Steven P. Clar Department of Finance, University of North Carolina at Charlotte,

More information

16.4. Power Series. Introduction. Prerequisites. Learning Outcomes

16.4. Power Series. Introduction. Prerequisites. Learning Outcomes Power Series 6.4 Introduction In this Section we consider power series. These are examples of infinite series where each term contains a variable, x, raised to a positive integer power. We use the ratio

More information

Higher Dimensions. Introduction. Differential Forms

Higher Dimensions. Introduction. Differential Forms 8 Vector Analysis in Higher Dimensions 8.1 An Introduction to Differential Forms 8.2 Manifolds and Integrals of k-forms 8.3 The Generalized Stokes s Theorem True/False Exercises for Chapter 8 Miscellaneous

More information

MPL - a program for computations with iterated integrals on moduli spaces of curves of genus zero

MPL - a program for computations with iterated integrals on moduli spaces of curves of genus zero arxiv:1510.04562v1 [physics.comp-ph] 14 Oct 2015 MPL - a program for computations with iterated integrals on moduli spaces of curves of genus zero Christian Bogner Institut für Physik, Humboldt-Universität

More information

University of Rochester Topology Seminar. Doug Ravenel

University of Rochester Topology Seminar. Doug Ravenel Beyond elliptic cohomology and TMF: where number theory and stable homotopy theory meet in mortal combat. University of Rochester Topology Seminar Doug Ravenel March 10, 2006 1 2 1. Introduction This talk

More information

Math 240 Calculus III

Math 240 Calculus III Calculus III Summer 2015, Session II Monday, August 3, 2015 Agenda 1. 2. Introduction The reduction of technique, which applies to second- linear differential equations, allows us to go beyond equations

More information

Pseudo-Boolean Functions, Lovász Extensions, and Beta Distributions

Pseudo-Boolean Functions, Lovász Extensions, and Beta Distributions Pseudo-Boolean Functions, Lovász Extensions, and Beta Distributions Guoli Ding R. F. Lax Department of Mathematics, LSU, Baton Rouge, LA 783 Abstract Let f : {,1} n R be a pseudo-boolean function and let

More information

Enhanced homotopy theory of the period integrals of hypersurfaces

Enhanced homotopy theory of the period integrals of hypersurfaces Enhanced homotopy theory of the period integrals of hypersurfaces Jeehoon Park (Joint Work with Jae-suk Park at IBS) Department of Mathematics Postech Glenn Stevens 60th birthday, June 6, 2014 I would

More information

Zeta Functions and Regularized Determinants for Elliptic Operators. Elmar Schrohe Institut für Analysis

Zeta Functions and Regularized Determinants for Elliptic Operators. Elmar Schrohe Institut für Analysis Zeta Functions and Regularized Determinants for Elliptic Operators Elmar Schrohe Institut für Analysis PDE: The Sound of Drums How Things Started If you heard, in a dark room, two drums playing, a large

More information

Name Advanced Math Functions & Statistics. Non- Graphing Calculator Section A. B. C.

Name Advanced Math Functions & Statistics. Non- Graphing Calculator Section A. B. C. 1. Compare and contrast the following graphs. Non- Graphing Calculator Section A. B. C. 2. For R, S, and T as defined below, which of the following products is undefined? A. RT B. TR C. TS D. ST E. RS

More information

Reduction to Master Integrals. V.A. Smirnov Atrani, September 30 October 05, 2013 p.1

Reduction to Master Integrals. V.A. Smirnov Atrani, September 30 October 05, 2013 p.1 Reduction to Master Integrals V.A. Smirnov Atrani, September 30 October 05, 2013 p.1 Reduction to Master Integrals IBP (integration by parts) V.A. Smirnov Atrani, September 30 October 05, 2013 p.1 Reduction

More information

Power Series Solutions to the Legendre Equation

Power Series Solutions to the Legendre Equation Department of Mathematics IIT Guwahati The Legendre equation The equation (1 x 2 )y 2xy + α(α + 1)y = 0, (1) where α is any real constant, is called Legendre s equation. When α Z +, the equation has polynomial

More information

Inverses. Stephen Boyd. EE103 Stanford University. October 28, 2017

Inverses. Stephen Boyd. EE103 Stanford University. October 28, 2017 Inverses Stephen Boyd EE103 Stanford University October 28, 2017 Outline Left and right inverses Inverse Solving linear equations Examples Pseudo-inverse Left and right inverses 2 Left inverses a number

More information

March Algebra 2 Question 1. March Algebra 2 Question 1

March Algebra 2 Question 1. March Algebra 2 Question 1 March Algebra 2 Question 1 If the statement is always true for the domain, assign that part a 3. If it is sometimes true, assign it a 2. If it is never true, assign it a 1. Your answer for this question

More information

A Note about the Pochhammer Symbol

A Note about the Pochhammer Symbol Mathematica Moravica Vol. 12-1 (2008), 37 42 A Note about the Pochhammer Symbol Aleksandar Petoević Abstract. In this paper we give elementary proofs of the generating functions for the Pochhammer symbol

More information

PHYS 404 Lecture 1: Legendre Functions

PHYS 404 Lecture 1: Legendre Functions PHYS 404 Lecture 1: Legendre Functions Dr. Vasileios Lempesis PHYS 404 - LECTURE 1 DR. V. LEMPESIS 1 Legendre Functions physical justification Legendre functions or Legendre polynomials are the solutions

More information

Rings, Integral Domains, and Fields

Rings, Integral Domains, and Fields Rings, Integral Domains, and Fields S. F. Ellermeyer September 26, 2006 Suppose that A is a set of objects endowed with two binary operations called addition (and denoted by + ) and multiplication (denoted

More information

SET-A U/2015/16/II/A

SET-A U/2015/16/II/A . n x dx 3 n n is equal to : 0 4. Let f n (x) = x n n, for each n. Then the series (A) 3 n n (B) n 3 n (n ) (C) n n (n ) (D) n 3 n (n ) f n is n (A) Uniformly convergent on [0, ] (B) Po intwise convergent

More information

The Binomial Theorem.

The Binomial Theorem. The Binomial Theorem RajeshRathod42@gmail.com The Problem Evaluate (A+B) N as a polynomial in powers of A and B Where N is a positive integer A and B are numbers Example: (A+B) 5 = A 5 +5A 4 B+10A 3 B

More information

Each is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0

Each is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0 Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.

More information

Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials

Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials DESY 33 DO TH 2 SFB/CPP--24 LPN /24 May 2 Harmonic Sums and Polylogarithms Generated by Cyclotomic Polynomials arxiv:5.663v [math-ph] 3 May 2 Jakob Ablinger a, Johannes Blümlein b, and Carsten Schneider

More information

Solving Differential Equations Using Power Series

Solving Differential Equations Using Power Series LECTURE 25 Solving Differential Equations Using Power Series We are now going to employ power series to find solutions to differential equations of the form (25.) y + p(x)y + q(x)y = 0 where the functions

More information

Solving Differential Equations Using Power Series

Solving Differential Equations Using Power Series LECTURE 8 Solving Differential Equations Using Power Series We are now going to employ power series to find solutions to differential equations of the form () y + p(x)y + q(x)y = 0 where the functions

More information

The Method of Frobenius

The Method of Frobenius The Method of Frobenius Department of Mathematics IIT Guwahati If either p(x) or q(x) in y + p(x)y + q(x)y = 0 is not analytic near x 0, power series solutions valid near x 0 may or may not exist. If either

More information

Mathematics 324 Riemann Zeta Function August 5, 2005

Mathematics 324 Riemann Zeta Function August 5, 2005 Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define

More information

REVIEW Chapter 1 The Real Number System

REVIEW Chapter 1 The Real Number System REVIEW Chapter The Real Number System In class work: Complete all statements. Solve all exercises. (Section.4) A set is a collection of objects (elements). The Set of Natural Numbers N N = {,,, 4, 5, }

More information

OQ4867. Let ABC be a triangle and AA 1 BB 1 CC 1 = {M} where A 1 BC, B 1 CA, C 1 AB. Determine all points M for which ana 1...

OQ4867. Let ABC be a triangle and AA 1 BB 1 CC 1 = {M} where A 1 BC, B 1 CA, C 1 AB. Determine all points M for which ana 1... 764 Octogon Mathematical Magazine, Vol. 24, No.2, October 206 Open questions OQ4867. Let ABC be a triangle and AA BB CC = {M} where A BC, B CA, C AB. Determine all points M for which 4 s 2 3r 2 2Rr AA

More information

6 Second Order Linear Differential Equations

6 Second Order Linear Differential Equations 6 Second Order Linear Differential Equations A differential equation for an unknown function y = f(x) that depends on a variable x is any equation that ties together functions of x with y and its derivatives.

More information

Properties of orthogonal polynomials

Properties of orthogonal polynomials University of South Africa LMS Research School University of Kent, Canterbury Outline 1 Orthogonal polynomials 2 Properties of classical orthogonal polynomials 3 Quasi-orthogonality and semiclassical orthogonal

More information

Feynman integrals and multiple polylogarithms. Stefan Weinzierl

Feynman integrals and multiple polylogarithms. Stefan Weinzierl Feynman integrals and multiple polylogarithms Stefan Weinzierl Universität Mainz I. Basic techniques II. Nested sums and iterated integrals III. Multiple Polylogarithms IV. Applications The need for precision

More information