2025-11-12T06:19:10.619115

Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients

Cohen, Zudilin
We give 39 rapidly convergent continued fractions for Chowla--Selberg gamma quotients, and deduce good irrationality measures for 20 of them, including for $\operatorname{CS}(-3)=(Γ(1/3)/Γ(2/3))^3$, for $a^{1/4}\operatorname{CS}(-4)=a^{1/4}(Γ(1/4)/Γ(3/4))^2$ with $a=12$ and $a=1/5$, and for $\operatorname{CS}(-7)=Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7))$. These appear to be the first proved and reasonable irrationality measures for gamma quotients.
academic

Chowla-Selberg 감마 몫에 대한 연분수와 무리성 측도

기본 정보

  • 논문 ID: 2510.00215
  • 제목: Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients
  • 저자: Henri Cohen (Bordeaux) 및 Wadim Zudilin (Nijmegen)
  • 분류: math.NT (정수론), math.CA (고전 해석)
  • 발표 시간: 2025년 11월 11일
  • 논문 링크: https://arxiv.org/abs/2510.00215v3

초록

본 논문은 Chowla-Selberg 감마 몫(gamma quotients)에 대한 39개의 빠르게 수렴하는 연분수 표현을 제시하고, 이 중 20개에 대한 우수한 무리성 측도를 도출한다. 이러한 결과에는 CS(-3) = (Γ(1/3)/Γ(2/3))³, a^(1/4)CS(-4) (여기서 a=12 및 a=1/5), 그리고 CS(-7) = Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7))이 포함된다. 이들은 감마 몫에 대해 증명된 최초의 합리적인 무리성 측도인 것으로 보인다.

연구 배경 및 동기

핵심 문제

본 논문은 D가 음의 기본 판별식인 Chowla-Selberg 감마 몫 CS(D)의 무리성 측도 문제를 연구한다. 이러한 양들은 Lerch 및 Chowla-Selberg 공식을 통해 CM 점에서의 Dedekind eta 함수 값과 관련된다.

중요성

  1. 이론적 의의: Chudnovsky와 Nesterenko가 CS(D), π 및 exp(π√D)가 Q 위에서 대수적으로 독립임을 증명했지만 (특히 CS(D)는 초월수), 명시적이고 합리적인 무리성 측도는 극히 드물다.
  2. 역사적 공백: 이전에는 수치 실험에 기반한 CS(-3)의 무리성 측도 하나만 존재했으며 (12에서 제안), 문헌 3의 μ(Γ(1/3))과 μ(Γ(1/4))에 대한 경계는 너무 커서 실용적이지 않다.
  3. 방법론적 혁신: 전통적인 무리성 측도는 보통 적분 또는 초기하 구성을 통해 얻어지지만 (예: Mahler의 π에 대한 작업), 본 논문은 연분수 방법을 사용하며, 이는 이 분야에서 극히 드물다.

기존 방법의 한계

  • 전통적인 적분 및 급수 방법은 감마 몫에 적용되지 않음
  • 알려진 초기하 급수 표현은 수렴이 매우 느림 (보통 z=1에서의 값)
  • 알려진 유용한 적분 표현이 없음

핵심 기여

  1. 39개의 빠르게 수렴하는 연분수 구성: 형태는 L=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]L = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]] 여기서 D ∈ {2, 3, 4, 6}.
  2. 20개 감마 몫의 무리성 측도 증명: 다음을 포함한 CS(-3), CS(-7) 등에 대한 최초의 엄격한 경계:
    • μ(CS(-3)) < 5.548
    • μ(CS(-7)) < 5.283
    • μ(CS(-163)) < 2.477
  3. 체계적인 이론 틀 수립:
    • Laguerre 연분수 및 초기하 함수를 통한 연분수 수립
    • 모듈러 형식 및 CM 이론을 이용한 연분수 극한 계산
    • Apéry 형 산술 분석 방법을 통한 분모 경계 개발
  4. 완전한 CM 값 분류: 44개 유리 CM 값의 완전한 표를 제시하고, 어떤 것이 무리성 측도를 생성할 수 있는지 식별

방법론 상세 설명

작업 정의

무리수 L에 대해, 다음을 만족하는 유리수 수열 u(n)과 v(n)을 구성한다:

  1. |v(n)L - u(n)|이 충분히 작음: log|v(n)L - u(n)| ~ -Fn
  2. 분모가 제어됨: d(n)u(n), d(n)v(n) ∈ Z인 d(n)이 존재하고 log(d(n)) < Mn

F > M일 때, 무리성 측도의 상한을 얻을 수 있다: μ(L) ≤ 1 + (F+M)/(F-M)

핵심 방법론 구조

1단계: Laguerre 연분수 (제2절)

고전적인 Laguerre 연분수에서 출발: (1+z1−z)a=[[1,1−az,2n−1],[2az,−z2(n2−a2)]]\left(\frac{1+z}{1-z}\right)^a = [[1, 1-az, 2n-1], [2az, -z^2(n^2-a^2)]]

수렴 속도: (1+z1−z)a−p(n)q(n)∼2sin⁡(πa)((1+z)/(1−z))a((1+1−z2)/z)2n+1\left(\frac{1+z}{1-z}\right)^a - \frac{p(n)}{q(n)} \sim \frac{2\sin(\pi a)((1+z)/(1-z))^a}{((1+\sqrt{1-z^2})/z)^{2n+1}}

핵심 기법: "반 이동(half-shift)"을 통해 (n을 n-1/2로 대체) 새로운 연분수를 얻으며, 그 극한이 감마 몫이다.

2단계: 연분수 족의 구성 (제3절)

특정 형태의 연분수 족을 연구: C=[[0,a1,A(n−1)],[b0,−K(Dn−1)(D(n−1)+1)]]C = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]]

수렴성 분석 (명제 3.1):

  • R = (A + √(A² - 4KD²))/2, E = R²/(KD²)로 설정
  • A² - 4KD² > 0일 때 연분수 수렴
  • 수렴 속도: L - p(n)/q(n) ~ C₁/E^n

3단계: 극한 계산 (제4-5절)

방법 1: 초기하 함수 표현 (정리 4.7) L0=−K1/2T1T0(12,1−1D;12+A4DK1/2)L_0 = -K^{1/2}\frac{T_1}{T_0}\left(\frac{1}{2}, 1-\frac{1}{D}; \frac{1}{2}+\frac{A}{4DK^{1/2}}\right)

여기서 Tn(a,b;z)=Γ(a+n)Γ(b+n)Γ(2a+2n)(1/z)a+n⋅2F1(a+n,b+n;2a+2n;1/z)T_n(a,b;z) = \frac{\Gamma(a+n)\Gamma(b+n)}{\Gamma(2a+2n)}(1/z)^{a+n} \cdot {}_2F_1(a+n, b+n; 2a+2n; 1/z)

방법 2: 모듈러 형식 이론 (제5절) 삼각군 (p,p,∞)의 Hauptmodul과 모듈러 초기하 계산 활용:

  • (3,3,∞): 2F1(1/2,5/6;1;1/(1−R1(τ)))=(F1,−1/2/F1,+1/3)(τ)_2F_1(1/2, 5/6; 1; 1/(1-R_1(τ))) = (F_{1,-}^{1/2}/F_{1,+}^{1/3})(τ)
  • (4,4,∞): 2F1(1/2,3/4;1;1/(1−R2(τ)))=(F2,−1/2/F2,+1/4)(τ)_2F_1(1/2, 3/4; 1; 1/(1-R_2(τ))) = (F_{2,-}^{1/2}/F_{2,+}^{1/4})(τ)
  • (6,6,∞): 2F1(1/2,2/3;1;1/(1−R3(τ)))=(F3,−1/2/F3,+1/6)(τ)_2F_1(1/2, 2/3; 1; 1/(1-R_3(τ))) = (F_{3,-}^{1/2}/F_{3,+}^{1/6})(τ)

CM 점 τ 선택 (여기서 (2R_N(τ)-1)²이 유리수)을 통해, Chowla-Selberg 공식과 결합하여 기본 주기 Ω(τ)를 계산하고, 따라서 연분수 극한의 명시적 표현을 얻는다.

기술적 혁신점

  1. 반 이동 기법의 체계적 적용: Laguerre 연분수에서 n을 n-1/2로 대체하여, 대수수의 연분수에서 감마 몫의 연분수를 체계적으로 도출한다.
  2. Apéry 형 재귀: 핵심 재귀 형태는 (n+B)vn+1=Znvn+K(B−n)vn−1(n+B)v_{n+1} = Znv_n + K(B-n)v_{n-1} 여기서 계수는 n의 선형 함수일 뿐 (일반적인 이차 함수가 아님), 이는 분모 분석을 가능하게 한다.
  3. 명시적 공식 (정리 7.1): 수렴항 p(n)/q(n)의 정확한 표현식을 제시하며, 절단된 초기하 합을 포함: Pn=∑j=0⌊n/2⌋(−1)jKn−j(Z/K)n−2j(n−j)!(n−2j)!∑i=0j(−1)i(n−i)!i!2(j−i)!ΛiP_n = \sum_{j=0}^{\lfloor n/2\rfloor} (-1)^j K^{n-j}(Z/K)^{n-2j}\frac{(n-j)!}{(n-2j)!}\sum_{i=0}^j \frac{(-1)^i(n-i)!}{i!^2(j-i)!}\Lambda_i
  4. 최적화된 분모 경계: 순진한 d_D(n) = lcm(Dj+1) 대신 d*_D(n)을 도입하고, 특정 조건을 만족하는 소수 p (집합 P_n)를 제외하여 분모 추정을 크게 개선한다.

실험 설정

데이터 출처

본 논문은 순수 이론 수학 작업이며, "실험"은 주로 다음을 의미한다:

  1. 수치 검증: 고정밀 계산을 사용하여 연분수가 예상된 감마 몫으로 수렴함을 검증
  2. CM 값 열거: 2의 완전한 분류에 기반하여 총 44개의 유리 CM 값
  3. OEIS 식별: 정수 수열 온라인 백과사전을 이용하여 수치 계수 식별

평가 지표

  • 수렴 속도 E: log|E|/2는 수렴의 빠르기를 결정
  • 분모 증가율 m*_D: 점근적으로 log(d_D(n)) ~ m_D · n
  • 무리성 측도 μ(L): log|E|/2 > m*_D일 때 측도를 얻을 수 있음

핵심 매개변수

  • m*_2 = 2
  • m*_3 = 3 - π/(2√3) ≈ 2.093
  • m*_4 = 4 - π/2 ≈ 2.429
  • m*_6 = 6 - π√3/2 ≈ 3.279

실험 결과

주요 결과 (정리 6.2)

최고의 무리성 측도:

  • μ(CS(-163)) < 2.477 (최적값 2에 가장 가까움)
  • μ(CS(-232)) < 2.652
  • μ(CS(-267)) < 2.869
  • μ(CS(-67)) < 3.002

중요한 특수값:

  • μ(CS(-3)) < 5.548 (최초 엄격한 증명, 수치 결과 13.418 개선)
  • μ(CS(-7)) < 5.283
  • μ(12^(1/4)CS(-4)) < 25.733

추론:

  • μ(Γ(1/3)/Γ(2/3)) < 16.644

연분수 예시

CS(-3)의 빠르게 수렴하는 연분수 (레이블 1.4): CS(−3)=[[0,31,1012(n−1)],[240,−(6n−1)(6n−5)]]CS(-3) = [[0, 31, 1012(n-1)], [240, -(6n-1)(6n-5)]]

수렴 속도: E = (16 + 5√10)⁴/36 ≈ 28446.4, 즉 CS(−3)−p(n)q(n)∼33/2CS(−3)(16+510)4n6−2nCS(-3) - \frac{p(n)}{q(n)} \sim \frac{3^{3/2}CS(-3)}{(16+5\sqrt{10})^{4n}6^{-2n}}

CS(-7)의 연분수 (레이블 1.5): CS(−7)=[[324,10773,107732(n−1)],[3570,−84(6n−1)(6n−5)]]CS(-7) = [[324, 10773, \frac{10773}{2}(n-1)], [3570, -84(6n-1)(6n-5)]]

완전성 분석

  • 44개의 유리 CM 값 중 39개가 수렴하는 연분수를 생성
  • 이 중 20개는 무리성 측도를 얻기에 충분히 빠르게 수렴
  • 나머지 19개는 수렴하지만 log|E|/2 ≤ m*_D이므로 측도를 얻을 수 없음
  • 5개 연분수는 발산 (A² - 4KD² < 0)

사례 분석: z = 128/3의 CM 값

τ = (-3 + 3√(-3))/2에 대해, 1 - R₁(τ) = 128/3. Ω(τ) = e^(iπ/4)η(τ)²를 선택:

계산 결과:

  • Ω = 3^(-19/12)Γ(1/3)/Γ(2/3)²
  • R₁ = -125/3
  • 2F1(1/2,5/6;1;3/128)=225/63−3/25−1Γ(1/3)Γ(2/3)2_2F_1(1/2, 5/6; 1; 3/128) = 2^{25/6}3^{-3/2}5^{-1}\frac{\Gamma(1/3)}{\Gamma(2/3)^2}

Serre 도함수와 모듈러성을 이용하여 2F1(3/2,11/6;3;3/128)_2F_1(3/2, 11/6; 3; 3/128)을 계산하고, 최종적으로 연분수가 CS(-3)으로 수렴함을 증명한다.

관련 연구

무리성 측도의 고전적 방법

  1. Mahler의 π 측도: 적분 방법을 최초로 사용
  2. Apéry의 ζ(3)과 π²: 연분수 사용, 나중에 Beukers가 적분으로 재해석
  3. Zeilberger-Zudilin의 π 측도: 현재 최고, 초기하 구성 사용

감마 함수 관련 연구

  • Chudnovsky 5와 Nesterenko 14,17: CS(D)의 초월성 증명
  • Bruiltet 3: Γ(1/3)과 Γ(1/4)에 대한 거대한 경계 (실용적이지 않음)
  • Dougherty-Bliss 등 12: CS(-3)의 수치 측도 (엄격하게 증명되지 않음)

모듈러 형식 및 초기하 함수

  • Fricke 공식: 2F1(1/12,7/12;1;1728/(1728−j(τ)))=E61/6(τ)_2F_1(1/12, 7/12; 1; 1728/(1728-j(τ))) = E_6^{1/6}(τ)
  • Beukers-Cohen 2: 산술 삼각군의 Hauptmodul과 CM 값 분류
  • Cohen-Guillera 9: 1/π의 유리 초기하 Ramanujan 항등식

본 논문과 관련 연구의 관계

  • 19 (제2저자의 최근 연구)와 방법이 유사하지만 다른 문제에 적용
  • 10 (저자의 다른 연구)의 CS(-3)², CS(-4)² 연분수와 관련되지만 더 체계적
  • 감마 몫에 대한 최초의 엄격하고 합리적인 무리성 측도

결론 및 논의

주요 결론

  1. 최초 엄격한 증명: 20개 감마 몫의 최초 엄격하고 합리적인 무리성 측도 제시
  2. 방법론적 혁신: 연분수 방법이 특정 경우에 전통적인 적분/급수 방법보다 우수함을 증명
  3. 이론적 완전성: 특정 형태의 연분수 족에 대한 완전한 이론 틀 제시
  4. 결과의 최적성: 수치 증거는 분모 경계가 점근적으로 최적이며, 따라서 무리성 측도는 개선하기 어려움을 시사

한계

  1. 특수 형태로 제한: 방법은 a(n)이 1차, b(n)이 2차인 연분수에만 적용
  2. D 값 제한: D ∈ {2, 3, 4, 6}인 경우만 처리
  3. CM 값의 유한성: 유리 CM 값의 유한성이 처리 가능한 판별식을 제한
  4. 일부 값 누락: CS(-4), CS(-8), CS(-88)은 대수 배수 형태로만 나타남
  5. CS(-11) 측도 없음: 수렴하는 연분수가 있지만 수렴이 충분하지 않음

향후 방향

  1. 컴팩트 삼각군: 컴팩트 산술 삼각군 (p,q,r)을 탐색하며, Shimura 곡선 위의 자기동형 형식을 통해 더 많은 예시를 얻을 수 있음
  2. 더 깊은 연분수: a(n)과 b(n)의 차수가 더 높은 연분수 연구, 예를 들어 논문에서 언급한 CS(-3)², CS(-4)², CS(-8)²의 연분수: (21/3CS(−3))2=[[72,33,40n2+2],[648,−9(2n+1)4]](2^{1/3}CS(-3))^2 = [[72, 33, 40n^2+2], [648, -9(2n+1)^4]]
  3. 1/π²와의 연결: 유리 초기하 공식과의 관계 탐색, 15개 CS 값 제곱의 연분수 획득 가능성
  4. p진 유사: Gross-Koblitz 공식은 Chowla-Selberg 공식의 p진 버전이며, 평행 이론 개발 가능
  5. 적분 표현: 감마 몫의 유용한 적분 또는 급수 표현 탐색

심층 평가

장점

  1. 주요 돌파: 감마 몫의 무리성 측도에 대한 최초의 엄격하고 실용적인 결과로, 이 분야의 중요한 공백을 메움
  2. 방법론의 독창성:
    • 무리성 측도에서 연분수 방법의 적용은 극히 드문 경우
    • 반 이동 기법의 체계적 적용은 혁신적
    • 모듈러 형식 이론과 산술 분석의 결합 틀은 우아함
  3. 이론적 완전성:
    • 연분수 구성에서 극한 계산, 분모 경계 설정까지 완전한 폐쇄 루프 형성
    • 명시적 공식 (정리 7.1) 제시로 존재성 결과에 그치지 않음
    • 모든 가능한 CM 값의 완전한 열거 (표 1)
  4. 기술적 깊이:
    • Apéry 형 재귀의 식별과 활용은 깊은 통찰력을 보여줌
    • 분모 최적화 (d*_D(n))는 정교한 소수 필터링을 통해 결과를 크게 개선
    • 보조정리 7.4의 기술적 증명은 고도의 기법을 전시
  5. 명확한 저술:
    • 제1.2절의 동기 부여 예시가 독자를 잘 안내
    • CS(-3) 계산의 상세한 사례 (제6.1절)는 이해를 돕는 데 유용
    • 표의 조직이 명확하고 참조하기 쉬움

부족한 점

  1. 제한된 적용 범위:
    • 특정 형태의 연분수와 D 값에만 적용
    • 일반 감마 몫으로의 명백한 확장 경로 없음
    • 44개 CM 값 중 20개만 측도를 얻음
  2. 일부 결과 미흡:
    • μ(12^(1/4)CS(-4)) < 25.733은 너무 큼
    • μ(CS(-51)) < 2598.5는 실제로 무용지물
    • 이론적 최적값 2와의 격차 여전함
  3. 이론적 설명 부족:
    • 왜 이들 특정 CM 값이 빠르게 수렴하는 연분수를 생성하는가?
    • 반 이동의 심층적 이유가 충분히 명확하지 않음
    • Hilbert 모듈러 형식과의 가능한 연결은 단순히 언급됨
  4. 계산 세부사항:
    • 일부 유도 (예: 정리 7.1)는 "쉽게 검증 가능"이라 하지만 실제로는 복잡
    • 수치 검증의 정밀도와 방법이 상세히 설명되지 않음
    • 상수 C₁, C₂의 구체적 값이 제시되지 않음
  5. p진 확장:
    • p진 방향을 제안하지만 구체적 접근법을 제시하지 않음
    • Gross-Koblitz 공식의 적용 방식이 불명확

영향력

  1. 이론적 기여:
    • 연분수를 이용한 감마 몫 연구의 새로운 방향 개척
    • 특정 초월수 문제에서 연분수가 적분 방법보다 우수함을 증명
    • Apéry 형 방법에 새로운 적용 장면 제공
  2. 실용적 가치:
    • 무리성 측도는 디오판토스 근사에 응용
    • 연분수 공식 자체는 고정밀 수치 계산에 사용 가능
    • 방법은 다른 특수 함수 값으로 확장 가능
  3. 재현 가능성:
    • 이론 유도가 상세하여 검증 가능
    • 표 1과 표 2는 완전한 데이터 제공
    • 의존하는 2는 미발표이지만 저자가 제공 가능
  4. 후속 연구:
    • 제2저자의 후속 연구 19를 이미 촉발
    • 10과 함께 일련의 연구 형성
    • 컴팩트 삼각군 방향에 템플릿 제공

적용 장면

  1. 정수론 연구:
    • 초월수론의 무리성과 대수적 독립성
    • 디오판토스 근사 이론
    • 특수값의 산술적 성질
  2. 모듈러 형식 이론:
    • CM 이론의 응용
    • 모듈러 초기하 함수의 계산
    • 산술 삼각군의 연구
  3. 계산 수학:
    • 감마 몫의 고정밀 계산
    • 연분수 알고리즘의 구현
    • 특수 함수 값의 수치 검증
  4. 관련 분야:
    • 타원 곡선 및 아벨 다양체의 주기에 영감 제공 가능
    • 양자장론의 Feynman 적분과 가능한 관련성
    • 조합론의 생성함수에 응용 가능

참고문헌 (주요 문헌)

2 F. Beukers and H. Cohen, Arithmetic Triangle Groups, Hauptmoduln, Complex Multiplication, and Hypergeometric Functions (준비 중) - CM 값 분류의 기초 제공

5 G.V. Chudnovsky (1976) - CS(D)의 대수적 독립성 증명

10 H. Cohen and W. Zudilin (2025), Variations on a theme of Apéry - 관련 Apéry 형 연분수 연구

12 R. Dougherty-Bliss, Ch. Koutschan and D. Zeilberger (2022) - CS(-3)의 수치 측도

14 Yu.V. Nesterenko (1996) - 모듈러 함수와 초월성 문제

19 W. Zudilin (2025), Linear independence measures for Chowla–Selberg periods - 제2저자의 관련 연구

전체 평가: 이것은 감마 몫의 무리성 측도라는 오랫동안 미해결 문제에서 주요 돌파를 이룬 뛰어난 정수론 논문이다. 방법이 새롭고, 이론이 완전하며, 결과가 현저하다. 적용 범위는 제한적이지만, 적용 가능한 영역 내에서 거의 최적의 결과에 도달했다. 논문은 연분수, 모듈러 형식, 초기하 함수 및 산술 분석의 깊은 결합을 보여주며, 관련 분야에 귀중한 방법론적 기여를 제공한다. 후속 연구는 더 일반적인 경우로의 확장 및 다른 수학 분야와의 연결에 초점을 맞출 것을 권장한다.