[논문 리뷰] Multiple Deligne values: a data mine with empirically tamed denominators

David Broadhurst|arXiv (Cornell University)|2014. 09. 25.

Advanced Mathematical Identities참고 문헌 20인용 수 12

한 줄 요약

이 논문은 11차까지의 다중 딜라인 값(MDVs)에 대한 새로운 기저를 구축하여, 이전에 Panzer와 Schnetz의 결과에서 발견된 큰 소수 분모를 제거한다. 이는 1337만 개의 유리 계수 데이터마인을 구축함으로써 가능해졌으며, 이 계수들은 모두 작은 소수 분모(≤3)만을 포함한다. 53개의 원시 MDV에서 유도된 수치 데이터를 활용하여, 20,000자리의 고정밀도 평가가 가능해지며, MDV의 구조와 축소에 관한 여섯 가지 경험적 검증을 거친 새로운 추측을 도출한다.

ABSTRACT

Multiple Deligne values (MDVs) are iterated integrals on the interval $x\in[0,1]$ of the differential forms $A=d\log(x)$, $B=-d\log(1-x)$ and $D=-d\log(1-λx)$, where $λ$ is a primitive sixth root of unity. MDVs of weight 11 enter the renormalization of the standard model of particle physics at 7 loops, via a counterterm for the self-coupling of the Higgs boson. A recent evaluation by Erik Panzer exhibited the alarming primes 50909 and 121577 in the denominators of rational coefficients that reduce this counterterm to a Lyndon basis suggested by ideas from Pierre Deligne. Oliver Schnetz has studied this problem, using a method from Francis Brown. This gave 2111, 14929, 24137, 50909 and 121577 as factors of the denominator of the coefficient of $π^{11}/\sqrt{3}$. Here I construct a basis such that no denominator prime greater than 3 appears in the result. This is achieved by building a datamine of 13,369,520 rational coefficients, with tame denominators, for the the reductions of 118,097 MDVs with weights up to 11. Then numerical data for merely 53 primitives enables very fast evaluation of all of these MDVs to 20000 digits. In the course of this Aufbau, six conjectures for MDVs are formulated and stringently tested.

연구 동기 및 목표

• 7 루프에서 힉스 보손 보정항에 대한 MDV 축소에서 나타나는 큰, 설명되지 않은 소수(예: 50909, 121577)가 포함된 유리 계수 문제를 해결하기 위해.
• 11차 이하의 MDV에 대해 분모가 모두 소수 ≤3인 13,369,520개의 유리 계수 데이터마인을 구축하기 위해.
• 오직 53개의 원시 MDV만을 사용하여, 118,097개의 11차 이하 MDV를 20,000자리 정밀도로 신속하게 평가할 수 있도록 하기 위해.
• MDV의 대수적·산술적 구조에 관한 여섯 가지 새로운 추측을 수립하고 경험적으로 검증하기 위해.
• Panzer와 Schnetz의 이전 딜라인 기저 축소에서 나타나는 분모 소수의 과다 증식 문제를 피할 수 있는 기저를 제공하기 위해.

제안 방법

• 12차 원주율의 원시 제곱근 $ \rho $를 사용하는 $ A = d/\log(x) $, $ B = -d/\log(1-x) $, $ D = -d/\log(1-\rho x) $의 미분형식을 기반으로 MDV에 대한 맞춤형 기저를 구성한다.
• 시험과 오차 수정 기법의 조합을 통해, 유리 계수의 분모에서 큰 소수를 체계적으로 제거한다.
• MDV의 복소수 켤레 대칭성(보조정리 1)을 활용하여 생성함수를 통해 실수부와 허수부를 분리하고, LLL 및 PSLQ 알고리즘을 통한 정수관계 탐색을 효율적으로 수행한다.
• 53개의 원시 MDV에서 유도된 수치 데이터를 활용하여, 전용 GP 유틸리티(MDVgrep.gp)를 통해 118,097개의 11차 이하 MDV를 20,000자리 정밀도로 신속하게 평가한다.
• 깊이 4에서의 타일러 유사 전개(식 55)를 적용하고, 이를 깊이 3로 일반화함(식 56)으로써 힉스 자기결합 보정항의 표현식을 단순화한다.
• Deligne 기저 축소에서 나타나는 분모의 과다 증식 문제를 피하기 위해, 기존의 Lyndon 기저 접근법을 수정하여 적용한다.

실험 결과

연구 질문

• RQ1 왜 7 루프 힉스 보정항에 대한 MDV 축소에서, 보다 자연스러운 기저를 사용함에도 불구하고 50909, 121577 등의 큰 소수 분모가 나타나는가?
• RQ2 MDV의 유리 계수에 나타나는 분모 소수가 3를 초과하지 않는 기저를 구성할 수 있는가?
• RQ3 특히 보조정리 1에 기반한 깊이별 대칭성과 켤레 관계를 활용하여 MDV의 구조를 어느 정도 단순화시킬 수 있는가?
• RQ4 11차 이하의 모든 MDV에 대해 고속·고정밀도 평가가 가능한 유리 계수 데이터마인을 구축할 수 있는가?
• RQ5 표준 스태플 관계가 $\{A,B,D\}$ 알파벳에서 실패하는 깊은 대수적 또는 모티브적 이유가 있는가? 이는 모듈라 형식과 다중 제타 값(MZVs)과 어떻게 관련이 있는가?

주요 결과

• 11차 이하의 MDV에 대해 분모가 모두 소수 ≤3로 구성된 13,369,520개의 유리 계수 데이터마인을 구축하였다.
• 오직 53개의 원시 MDV만을 사용하여, MDVgrep.gp 유틸리티를 통해 118,097개의 11차 이하 MDV를 20,000자리 정밀도로 평가할 수 있었다.
• 힉스 보정항에서 $ \pi^{11}/\sqrt{3} $의 계수는 이전에 8개의 큰 소수(예: 50909, 121577)를 포함한 분모에서, 이제는 작은 소수만을 포함하는 형태로 단순화되었다.
• 여섯 가지의 새로운 추측(1–6)을 수립하고 엄격한 경험적 검증을 통과하였으며, 특히 Glanois 방법으로 접근 가능한 특정 교대합에 관한 추측 5가 포함되어 있다.
• Panzer와 Schnetz의 결과에서 나타나는 분모 소수 과다 증식 문제를 피하기 위해, 딜라인 기저를 수치적으로 최적화된 기저로 대체함으로써 성공적으로 해결하였다.
• 깊이 4의 타일러 유사 전개(식 55)와 그 깊이 3로의 일반화(식 56)를 통해 7 루프 보정항에 대해 깔끔하고 압축된 표현식을 도출하였으며, 새로운 기저의 효용성을 확인하였다.