[논문 리뷰] Ising n-fold integrals as diagonals of rational functions and integrality of series expansions: integrality versus modularity

Alin Bostan, S. Boukraa외 3명|arXiv (Cornell University)|2012. 11. 26.

Advanced Combinatorial Mathematics참고 문헌 56인용 수 11

한 줄 요약

이 논문은 이징 모델의 n중 적분과 관련된 조합 함수가 유리 함수의 대각선임을 입증하며, 이는 그들의 급수 전개가 전역적으로 유계이고 단일 변수 스케일링 후 정수 계수 급수로 변환됨을 의미한다. 주요 기여는 급수의 정수성과 모듈라리티 사이의 깊은 연결을 보여주며, 칼라비-아우 모듈러스 및 MUM 미분방정식의 전역적으로 유계인 해가 거의 항상 유리 함수의 대각선임을 보여준다.

ABSTRACT

We show that the n-fold integrals $χ^{(n)}$ of the magnetic susceptibility of the Ising model, as well as various other n-fold integrals of the "Ising class", or n-fold integrals from enumerative combinatorics, like lattice Green functions, are actually diagonals of rational functions. As a consequence, the power series expansions of these solutions of linear differential equations "Derived From Geometry" are globally bounded, which means that, after just one rescaling of the expansion variable, they can be cast into series expansions with integer coefficients. Besides, in a more enumerative combinatorics context, we show that generating functions whose coefficients are expressed in terms of nested sums of products of binomial terms can also be shown to be diagonals of rational functions. We give a large set of results illustrating the fact that the unique analytical solution of Calabi-Yau ODEs, and more generally of MUM ODEs, is, almost always, diagonal of rational functions. We revisit Christol's conjecture that globally bounded series of G-operators are necessarily diagonals of rational functions. We provide a large set of examples of globally bounded series, or series with integer coefficients, associated with modular forms, or Hadamard product of modular forms, or associated with Calabi-Yau ODEs, underlying the concept of modularity. We finally address the question of the relations between the notion of integrality (series with integer coefficients, or, more generally, globally bounded series) and the modularity (in particular integrality of the Taylor coefficients of mirror map), introducing new representations of Yukawa couplings.

연구 동기 및 목표

• 이징 모델의 n중 적분과 관련된 함수가 유리 함수의 대각선임을 입증하는 것.
• 기하학에서 유도된 선형 미분방정식의 전역적으로 유계인 멱급수 해가 유리 함수의 대각선과 동치임을 보여주는 것.
• 특수 함수에서 계수의 정수성(스케일링 후 정수 계수)과 모듈라리티(모듈러 형식, 거울 사상) 간의 상호작용을 탐구하는 것.
• 전역적으로 유계인 G-급수는 유리 함수의 대각선임을 주장하는 크리스톨의 추측을 칼라비-아우 및 MUM 미분방정식에 대해 검증하는 것.
• 하다마르드 곱과 초함수 표현이 정수성과 모듈라리티를 연결하는 데 수행하는 역할을 탐색하는 것.

제안 방법

• 이징 모델의 n중 적분의 생성함수를 유리 함수의 대각선으로 특성화하기 위해 대각선 개념을 사용한다.
• 피카르-푸슈 시스템, 가우스-마틴 접속, 특이점의 임베디드 해소와 같은 대수기하학 도구를 적용한다.
• 칼라비-아우 ODE와 MUM 선형 ODE의 해를 표현하기 위해 초함수 표현과 모듈러 매개변수화를 활용한다.
• 스케일링을 통한 계수의 정수성과 아이젠슈타인 정리, 전역 유계성과의 연결을 위해 급수 전개의 구조를 분석한다.
• 하다마르드 곱과 투르비츠 곱 구조를 사용하여 조합적 생성함수와 유리 함수의 대각선을 연결한다.
• 스카워츠 도함수와 모듈러 불변량(예: 하우프트모듈러스, 모듈러 다항식)을 활용하여 해의 모듈라리티를 분석한다.

실험 결과

연구 질문

• RQ1 이징 모델의 n중 적분 χ(n)은 유리 함수의 대각선인가?
• RQ2 기하학에서 유도된 선형 미분방정식의 전역적으로 유계인 멱급수 해가 유리 함수의 대각선으로 나타나는 정도는 어느 정도인가?
• RQ3 급수 계수의 정수성과 해의 모듈라리티(예: 모듈러 형식, 거울 사상)는 어떻게 관련되어 있는가?
• RQ4 전역적으로 유계인 G-급수가 유리 함수의 대각선임이라는 크리스톨의 추측이 칼라비-아우 및 MUM ODE에 대해 검증될 수 있는가?
• RQ5 초함수 및 대수적 함수는 특수 함수에서 정수성과 모듈라리티를 연결하는 데 어떤 역할을 하는가?

주요 결과

• 이징 모델의 n중 적분 χ(n)은 유리 함수의 대각선이며, 이는 급수 전개가 전역적으로 유계이고 단일 변수 스케일링 후 정수 계수 급수로 변환됨을 의미한다.
• 칼라비-아우 ODE와 MUM 선형 ODE의 해는 거의 항상 유리 함수의 대각선이며, 이는 정수성과 기하학 사이에 강력한 연결을 시사한다.
• 초함수 2F1([1/6,1/3],[1];x)과 2F1([1/4,3/4],[1];x)는 모두 유리 함수의 대각선이며, 스케일링 16x, 64x, 또는 27x 후에 급수 계수가 정수가 된다.
• 3F2([1/3,1/2,2/3],[1,1];x)의 급수는 전역적으로 유계이며, 스케일링 x → 16x 후에 정수 계수를 가지며, 계수는 1, -12, -36, -192, -1380와 같다.
• 함수 2F1([1/6,2/3],[1/2];27x)는 스케일링 후 정수 계수를 가지며, 계수는 1, 6, 105, 2184, 48906, 1141140로 확인되며, 이는 대각선 표현을 통한 정수성의 확인을 의미한다.
• 이 논문은 2F1([1/6,2/3],[1/2];27x) = (1-16x)^{-1/2} × 2F1([1/6,1/3],[1];1728x²/(1-16x)^3)와 같이 대수적 초함수에 대해 명시적인 유리 함수 대각선 표현을 제공한다.