[논문 리뷰] Elliptic integral evaluation of a Bessel moment by contour integration of a lattice Green function

David Broadhurst|ArXiv.org|2008. 01. 31.

Mathematical functions and polynomials참고 문헌 15인용 수 23

한 줄 요약

이 논문은 하나의 내부 질량이 두 배로 증가한 2-루프 4점 피카르 다이어그램에서 유래하는 베타 모멘트의 타원 적분 평가를, 육각 격자 그린 함수의 경로 적분을 통해 증명한다. 핵심 결과는 정확한 평가 $ M = \int_0^\infty t I_0^2(t) K_0^2(t) K_0(2t) \, dt = \frac{1}{12} \mathbf{K}(\sin(\pi/12)) \mathbf{K}(\cos(\pi/12)) = \frac{\Gamma^6(1/3)}{64\pi^2 2^{2/3}} $이며, 이는 모듈러 변환과 바일리의 Appell 급수를 타원 적분의 곱으로의 축소를 통해 확립된다.

ABSTRACT

A proof is found for the elliptic integral evaluation of the Bessel moment $$M:=\int_0^\infty t I_0^2(t)K_0^2(t)K_0(2t) { m d}t ={1/12} {\bf K}(\sin(π/12)){\bf K}(\cos(π/12)) =\frac{Γ^6(\frac13)}{64π^22^{2/3}}$$ resulting from an angular average of a 2-loop 4-point massive Feynman diagram, with one internal mass doubled. This evaluation follows from contour integration of the Green function for a hexagonal lattice, thereby relating $M$ to a linear combination of two more tractable moments, one given by the Green function for a diamond lattice and both evaluated by using W.N. Bailey's reduction of an Appell double series to a product of elliptic integrals. Cubic and sesquiplicate modular transformations of an elliptic integral from the equal-mass Dalitz plot are proven and used extensively. Derivations are given of the sum rules $$\int_0^\infty(I_0(a t)K_0(a t)-\frac{2}π K_0(4a t) K_0(t))K_0(t) { m d}t=0$$ with $a>0$, proven by analytic continuation of an identity from Bailey's work, and $$\int_0^\infty t I_0(a t)(I_0^3(a t)K_0(8t)- \frac{1}{4π^2} I_0(t)K_0^3(t)) { m d}t=0$$ with $2\ge a\ge0$, proven by showing that a Feynman diagram in two spacetime dimensions generates the enumeration of staircase polygons in four dimensions.

연구 동기 및 목표

• 내부 질량 하나가 두 배로 증가한 2-루프 4점 피카르 다이어그램에서 유래하는 베타 모멘트의 추측 평가를 증명하는 것.
• 이 모멘트와 완전 타원 적분의 세 번째 특수값 사이의 연결 고리를 설정하는 것. 이는 명수 $ q = \exp(-\pi\sqrt{3}) $에 해당한다.
• 모멘트 $ M $ 가 육각 격자 그린 함수 $ \widetilde{D}(z) $ 의 경로 적분으로부터 유도될 수 있음을 보여주며, 해석적 계속을 통해 기존의 모멘트들과 연결하는 것.
• 베타 함수와 산술기하평균(AGM)을 포함하는 새로운 합 규칙 및 모듈러 항등식을 증명하여 바일리의 작업에서 알려진 결과를 확장하는 것.

제안 방법

• 육각 격자 그린 함수 $ \widetilde{D}(z) $ 의 경로 적분을 활용하여, $ M $ 을 더 다룰 수 있는 모멘트들과 연결하는 영인 경로 적분을 유도한다.
• W.N. 바일리의 Appell 이重급수를 타원 적분의 곱으로의 축소를 이용하여, 관련 모멘트를 $ \mathbf{K}(\sin(\pi/12)) \mathbf{K}(\cos(\pi/12)) $ 로 평가한다.
• 삼중 및 3/2 승 모듈러 변환을 적용하여 $ \sigma_1 $, $ \sigma_2 $, $ \rho $ 의 적분들을 연결하고, 해석적 계속을 통해 모멘트 $ M $ 의 평가를 가능하게 한다.
• 합 규칙 $ \int_0^\infty \mathcal{K}_0(a,t) K_0(t) \, dt = 0 $ 을 유도하고, 이는 모든 $ a > 0 $ 에 대해 성립하며, 베타 함수 조합이 $ K_0(t) $ 와 수직임을 증명한다.
• 그린 함수 $ \widetilde{D}(z) $ 의 스펙트럼 표현과 육각 격자에서의 폐쇄 도착 경로와의 관계를 이용하여, 생성함수를 통한 조합적 수세기와 연결한다.
• 클라우젠 곱의 공식과 $ \widetilde{D}(z) $ 의 급수 전개를 적용하여, 육각 격자 도착 경로의 합과 체심입방정계 격자 도착 경로 사이의 새로운 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 내부 질량 하나가 두 배로 증가한 2-루프 4점 피카르 다이어그램에서 유래하는 베타 모멘트 $ M = \int_0^\infty t I_0^2(t) K_0^2(t) K_0(2t) \, dt $ 가 격자 그린 함수와 경로 적분을 통해 엄밀하게 증명될 수 있는가?
• RQ2 2-루프 4점 피카르 다이어그램에서 한 내부 질량을 두 배로 증가시키면, 추측된 것처럼 명수 $ q = \exp(-\pi\sqrt{3}) $ 를 얻을 수 있는가?
• RQ3 바일리의 항등식의 해석적 계속을 통해, 모든 $ a > 0 $ 에 대해 성립하는 합 규칙 $ \int_0^\infty \left( I_0(at)K_0(at) - \frac{2}{\pi} K_0(4at)K_0(t) \right) K_0(t) \, dt = 0 $ 이 도출될 수 있는가?
• RQ4 삼중 및 3/2 승 모듈러 변환은 $ \sigma_1 $, $ \sigma_2 $, $ \rho $ 의 적분들을 어떻게 연결하며, 이는 $ M $ 의 평가를 가능하게 하는가?
• RQ5 2차원 육각 격자에서의 폐쇄 도착 경로 수와 3차원 체심입방정계 격자에서의 도착 경로 수 사이에 새로운 항등식이 존재하는가? 이는 모멘트 $ M $ 을 통해 연결된다.

주요 결과

• 베타 모멘트 $ M = \int_0^\infty t I_0^2(t) K_0^2(t) K_0(2t) \, dt $ 는 엄밀하게 $ \frac{1}{12} \mathbf{K}(\sin(\pi/12)) \mathbf{K}(\cos(\pi/12)) = \frac{\Gamma^6(1/3)}{64\pi^2 2^{2/3}} $ 로 평가되며, [2]에서 제기된 추측을 확인한다.
• 모멘트 $ M $ 는 육각 격자 그린 함수의 경로 적분을 통해 두 개의 베타 모멘트의 차로 표현되며, 각각은 세 번째 특수값 $ \mathbf{K}(\sin(\pi/12)) \mathbf{K}(\cos(\pi/12)) $ 로 평가된다.
• 무한한 연속적인 합 규칙이 증명된다: 모든 $ a > 0 $ 에 대해 $ \int_0^\infty \left( I_0(at)K_0(at) - \frac{2}{\pi} K_0(4at)K_0(t) \right) K_0(t) \, dt = 0 $ 이며, 이는 바일리의 항등식의 해석적 계속을 통해 유도된다.
• 삼중 모듈러 변환 $ q \to q^3 $ 과 3/2 승 변환 $ q \to q^{3/2} $ 이 유도되고, 이는 $ \sigma_1 $, $ \sigma_2 $, $ \rho $ 의 적분들을 연결하는 데 사용되어 $ M $ 의 평가를 가능하게 한다.
• 새로운 항등식이 확립된다: $ \sum_{k=0}^\infty \frac{a_k}{(2k+1)3^{2k+1}} = \frac{\pi}{8} \sum_{k=0}^\infty \frac{{2k \choose k}^3}{2^{8k}} $ 로서, 육각 격자 도착 경로와 체심입방정계 격자 도착 경로를 연결한다.
• 모멘트 $ \int_0^\infty t I_0^2(t) K_0^4(t) \, dt $ 는 $ \int_0^\infty E^2(w) w \, dw $ 와 같으며, 모든 네 개의 적분 $ I_1, I_2, I_3, I_4 $ 는 이 베타 모멘트와 같음을 증명한다.