에르되시 최대항 문제에 대한 클루니 헤이먼 일반화

초록

본 논문은 에르되시가 제기한 최대항 비율 문제에 대해 클루니‑헤이먼의 고전적인 구성법을 두 매개변수 확장으로 일반화하고, 스케일링 항등식을 이용해 정확한 비율식을 도출한다. 최적의 매개변수 (K,ε)를 수치적으로 탐색하고 엄격한 구간 연산으로 상한을 검증함으로써 기존 하한 4⁄7≈0.5714를 0.58507로 개선한다.

상세 분석

논문은 전체 함수 f(z)=∑{n≥0}a_n z^n 에 대해 최대항 μ(r,f)=max_n|a_n|r^n 와 최대계수 M(r,f)=max{|z|=r}|f(z)| 의 비율을 연구한다. 에르되시 문제는 B:=sup_f liminf_{r→∞} μ(r,f)/M(r,f) 의 정확한 값을 묻는데, 기존 결과는 4/7<B<2/π 로 알려져 있었다. 저자들은 클루니‑헤이먼이 사용한 “스케일링 항등식” k(Kz)=z·k(εz) 를 두 매개변수 K>1, |ε|=1 로 일반화한다. 여기서 k_{K,ε}(z)=∑{n∈ℤ}ε^{n(n−1)/2}K^{-n(n+1)/2}z^n 이며, 전체 함수 f{K,ε}는 음의 지수를 버린 부분 급수이다.

핵심은 (1) k_{K,ε} 가 위 항등식에 따라 M(K^m,k)=K^{m(m−1)/2}·A(K,ε) 로 정확히 계산된다. (2) 동일한 반지름 K^m 에서 μ(K^m,f)=K^{m(m−1)/2} 가 성립함을 보이며, (3) f와 k의 차이는 O(1/|z|) 로 충분히 작아 M(K^m,f)와 M(K^m,k) 가 동일한 1차 항을 공유한다는 점이다. 따라서 β(f_{K,ε})=1/A(K,ε) 가 된다. 여기서 A(K,ε)=max_{|z|=1}|k_{K,ε}(z)| 이다.

이제 문제는 A(K,ε)를 최소화하는 (K,ε) 를 찾는 것으로 전락한다. 저자들은 k_{K,ε} 를 라마누잔의 일반화된 세타함수 Φ(qz,εz−1) 로 표현하고, z=εe^{2iθ} 로 매개변수화해 |k|=2∑_{n≥0}K^{-T_n}cos((2n+1)θ) 형태의 실함수로 변환한다. 여기서 T_n=n(n+1)/2. 이후 K와 ε를 실수와 복소수 위상으로 선택하고, 트렁케이션과 꼬리 항에 대한 엄격한 상한을 구한다. 구체적으로 K₀=7137/2000≈3.5685, ε₀=e^{i·α₀} (α₀≈3.9615) 로 설정하고, 5백만 개의 격자점에서 P(θ) 를 구해 최대값을 1.709176398 이하로 입증한다. 꼬리 항 R(θ) 은 5·10^{-12} 이하임을 증명해 전체 A₀<1.70919 가 된다. 따라서 β(f₀)=1/A₀>0.58507 이며, 이는 기존 하한 4/7≈0.5714 를 명확히 초과한다.

결과적으로 저자들은 스케일링 항등식 기반의 두 매개변수 전개가 에르되시 문제의 하한을 개선할 수 있음을 보였으며, 수치 검증에 구간 연산(Arb)과 완전 재현 가능한 코드를 제공함으로써 결과의 신뢰성을 확보했다. 또한 β_{SI}=sup_{K,ε}β(f_{K,ε}) 가 실제 B 와 얼마나 가까운지에 대한 새로운 관점을 제시한다.