${}_5F_4$ evaluations and a family of $\pi^2+\log^2$ identities

기술 요약: 5F4 평가와 $\pi^2 + \log^2$ 항등식의 가계(Family)

문제 정의
본 논문은 급수 $S(z) = \sum_{n \ge 1} \frac{z^n}{n^2 \binom{4n}{n}}$의 평가를 다룬다. 이는 일반화된 초기하 함수 $-\frac{z}{4} {}_5F_4\left(1, 1, 1, \frac{4}{3}, \frac{5}{3}; \frac{5}{4}, \frac{3}{2}, \frac{7}{4}, 2; \frac{27z}{256}\right)$에 대응한다. 이 급수는 적분 $I_{1,3}(z) = \int_0^1 \frac{\ln(1 - z x(1-x)^3)}{x} dx$로부터 발생한다. D'Aurizio와 Di Trani는 이전에 세제곱 기반 사례($p=1, q=2$)를 연구하고 사차 기반($p=1, q=3$)에 대한 축약을 시작했으나, 사차 사례에 대한 폐쇄형(closed-form) 평가를 도출하지 못한 채 연구를 멈추었다. 단일 실수 근을 강제하려 했던 그들의 시도는 복소 세제곱근을 포함하는 기약 삼차 공변수(cofactor)를 야기하였으며, 이는 순수한 $\pi^2$와 로그의 유리 이차 형식으로의 단순화를 방해하였다. 본 연구의 목적은 유리 각도 $\theta = j\pi/N$에 의해 인덱스가 지정된 무한한 대수적 점들에서 이 ${}_5F_4$ 급수를 평가하고, 이러한 장애물이 없는 폐쇄형을 확립하는 것이다.

방법론
저자는 이각 로그(dilogarithmic) 축약에서 흔히 나타나는 5항(Abel) 관계식이나 근의 차이 로그를 피하는 자기 완결적인 증명 전략을 채택한다. 방법론은 다음과 같은 세 가지 주요 단계로 진행된다:

1. 가중치 변환 및 대칭 축약:
   증명은 두 가중치를 연결하는 정확한 정수 인자를 활용하여 적분 $I(z)$를 $\frac{1}{x(1-x)}$를 포함하는 대칭 형태로 변환한다(Lemma 3). 파이버 다항식(fiber polynomial) $1 - z x(1-x)^3 = \prod (1 - x/\rho_k)$의 로그를 분해하고 Landen의 항등식($\text{Li}_2(w) + \text{Li}_2(\frac{w}{w-1}) = -\frac{1}{2}\ln^2(1-w)$)을 적용함으로써, 적분은 제곱 로그의 합으로 축약된다(Lemma 4). 이는 다음의 항등식을 산출한다:
   $$I(z) = \frac{3}{8} \sum_{k=1}^4 \ln^2\left(1 - \frac{1}{\rho_k}\right)$$
   여기서 $\rho_k$는 파이어 다항식 $x(1-x)^3 = 1/z$의 근들이다.

2. 매칭 구성:
   단일 실수 근을 강제하는 대신, 저자는 주어진 유리 각 $\theta = j\pi/N$에서 복소 공액 쌍 $\rho, \bar{\rho} = r e^{\pm i\theta}$를 강제한다. 이는 실수 이차 공변수(roots $a$와 $b$를 가짐)를 남긴다. 매개변수 $r$과 $z$는 파이어 다항식의 계수를 맞춤으로써 결정되며, 이는 $r$에 대한 삼차 방정식과 특정 대수적 값 $z$로 이어진다.

3. 세 가지 생성자로의 붕괴:
   제곱 로그의 합은 "로그 부분"(모듈라이)과 "$\pi^2$ 부분"(편각)으로 분리된다.

• 로그 부분: 곱셈적 파이어 관계 $\rho(1-\rho)^3 = 1/z$를 사용하여, 모듈라이 $\ln|1-1/\rho_k|$를 세 가지 생성자 $L_a = \ln a$, $L_b = \ln |b|$, $L_r = \ln r$의 선형 결합으로 표현한다. 이를 통해 네 개의 항은 보편적인 유리 이차 형식 $Q(L_a, L_b, L_r)$로 붕괴된다.
• $\pi^2$ 부분: 복소 근의 편각을 분석한다. 저자는 $z < 0$일 때, $\arg(1 - 1/\rho)$가 정확히 $\frac{2}{3}(\pi - 2\theta)$임을 증명한다. 이를 통해 편각 항을 $\pi^2$의 유리 배, 즉 $-\frac{1}{3}(1 - 2j/N)^2 \pi^2$로 표현할 수 있게 한다.

주요 기여 및 결과

• 정리 11 (균일 가계): 본 논문은 대수적 점 $z(j, N)$에 대한 급수의 폐쇄형 평가를 확립한다. 허용 가능한 분지(admissible branch, 나머지 근들이 실수이고 급수가 수렴하는 조건)를 갖는 임의의 유리 각 $\theta = j\pi/N$에 대하여, 그 값은 다음과 같다:
  $$I(z) = -\frac{1}{3}\left(1 - \frac{2j}{N}\right)^2 \pi^2 + Q(\ln a, \ln |b|, \ln r)$$
  여기서 $Q$는 $(j, N)$과 독립적인 고정된 유리 이차 형식이다.
• 명시적 평가: 논문은 오각형($\theta = \pi/5$), 팔각형($\theta = \pi/4$), 칠각형($\theta = 2\pi/7$), 그리고 구각형($\theta = 2\pi/9$)을 포함한 특정 사례들에 대한 명시적인 수치적 및 대수적 평가를 제공한다. 오각형의 경우, 모듈라이 $r=1$이 되어 로그 항이 세 개로 줄어든다.
• 차수의 극대성 (정리 20): 저자는 "한 쌍의 복소 공액 강제" 구성이 순수한 평가(즉, $\pi^2$와 $\log^2$ 항만을 포함하는 평가)를 생성하는 조건이 총 차수 $s = p+q$가 3 또는 4일 때와 동일함을 증명한다.
  • $s=3$ (${}_4F_3$) 및 $s=4$ (${}_5F_4$)의 경우, 강제된 복소 공액 쌍이 유일한 복소 쌍이므로 자동적으로 순수성이 보장된다.
  • $s \ge 5$의 경우, 최소 하나 이상의 추가적인 제약되지 않은 복소 쌍이 남는다. 저자는 이러한 고차수에서는 순수성이 자동적으로 보장되지 않음을 주장하며, 오차(quintic) 기반($s=5$)에 대한 계산적 탐색 결과, 남겨진 쌍이 수렴 영역 내의 유리 각에 안착하는 사례를 찾지 못했다고 기술한다.

의의 및 주장
본 논문은 D'Aurizio와 Di Trani가 남겨두었던 사차 기반 사례를 해결한다고 주장한다. 실수 근을 강제하는 방식에서 복소 공액 쌍을 유리 각에서 강제하는 방식으로 전환함으로써, 기존에 폐쇄형을 방해했던 "세제곱근" 인위적 요소들을 제거하였다.

본 연구의 의의는 다음과 같다:

1. 축약의 완성: ${}_5F_4$ 급수의 평가를 완성하여, 이것이 $c\pi^2 + \text{로그의 이차 형식}$ 형태의 폐쇄형을 가짐을 입증하였다.
2. 자기 완결적 증명: 기존의 이각 로그 관계식이나 수치적 검증에 의존하는 대신, Landen의 항등식과 가중치 변화를 통해 계수와 형식을 직접 유도하였다.
3. 순수성의 한계 설정: ${}_5F_4$(사차 기반)가 이 특정 구성이 "순수한" 평가를 자동으로 보장하는 최대 차수임을 확립하였다. 저자는 비록 순수한 고차수 평가가 존재하지 않는다는 것이 완전히 증명된 것은 아니나(고립된 사례가 있을 수 있음), 이 구성이 $s \ge 5$에 대해 수렴하는 일-매개변수 가계를 생성하지 못하며, $s=5$에 대한 전수 조사에서도 사례가 발견되지 않았음을 겸허히 언급한다.

본 연구는 파이어 근(fiber roots)의 기하학과 유리 각의 산술적 상호작용에 기초하여, 사차 사례에 대한 결정적인 처우이자 일반적인 $p, q$ 가계에 대한 경계 정리로서 제시된다.