The Riemann $Ξ$-function from primitive Markovian cycles II: Strip rigidity and divisor identification

기술 요약: 원시 마르코프 순환으로부터의 리만 $\Xi$-함수 II: 띠 강직성(Strip Rigidity) 및 디비저 식별(Divisor Identification)

문제 정의
본 논문은 해석적 정수론의 근본적인 비교 문제를 다룬다: 단일한 원시 동역학적 프레임워크에서 유도된 두 가지 구별되는 해석적 구성물 사이의 동등성을 확립하는 것이다. 구체적으로, 스케일링 한계 추적 커널(scaling-limit trace kernel)의 아르키메데스적 완결(Archimedean completion)로부터 발생하는 고전적 리만 $\Xi$-함수와, 유한 가역 마르코프 체인의 사이클 라플라시안(cycle Laplacian)으로부터 유도된 정준 패밀리인 실-전체 스펙트럼 결정식($P_N$)을 비교하고자 한다. 핵심 과제는 이 두 대상이 복소 평면상의 수평 띠(horizontal strips)에서 동일한 제로 디비저(zero divisor, 즉 동일한 영점)를 공유함을 입증하는 것이며, 이는 강직한(rigid) 무영점 정규화(zero-free normalization)를 거친 상태에서 성립한다. 이 비교는 세 번째 논문(3부작 중 마지막)에서 검증될 것으로 상정된 특정 홀로모피(holomorphy) 및 경계 비소멸 가설에 조건부로 이루어진다.

방법론
본 논문은 라플라스 측의 스펙트럼 인수분해와 멜린 측의 제타 함수를 연결하기 위해, 수평 띠에서의 복소 해석학을 활용하는 "띠 강직성(strip rigidity)" 접근법을 채택한다. 방법론은 세 가지 주요 단계로 진행된다:

1. 원시 동역학적 기원: 분석은 이산 순환($\mathbb{Z}/N\mathbb{Z}$) 상의 유한 가역 최근접 이웃 마르코프 동역학의 스케일링 한계로부터 시작된다. 이는 명시적인 세타 급수 표현을 갖는 르노멀라이즈된 추적 커널을 산출한다. 결정적으로, 이 구성은 순수하게 확률론적이며 분석적 단계에서는 함수 방정식이나 멜린 변환과 같은 정수론적 입력값과는 독립적이다.
2. 이중적 해석적 출력: 이 단일 커널로부터 두 가지 구별되는 해석적 대상이 생성된다:
   • 라플라스 측: 중심화된 커널의 양방향 라플라스 변환 $B_{\Phi^*}(s)$로, 이는 무영점 전체 함수 $E(s)$와 실수 영점만을 갖는 실-전체 함수 $\Psi(s)$(참조 패밀리 $P_N$)로 이루어진 Schoenberg–Edrei–Karlin 인수분해를 허용한다.
   • 멜린 측: 아르키메데스적으로 완결된 커널 $\tilde{K}_{\text{arch}}$이며, 이의 멜린 변환은 고전적인 리만 $\Xi$-함수($\Xi(2z)$)와 동일한 것으로 식별된다.
3. 띠 비교 및 강직성: 두 함수를 겹치는 띠(overlap strips) 상에서 비교하는 것이 핵심 메커니즘이다.
   • 좌측 띠 연속 확장: 모듈러 분할(modular splitting)과 중심화된 커널의 정확한 뒤틀린 대칭성을 사용하여 $B_{\Phi^*}$의 도메인을 좌측 띠($-1/2 < \Re(s) < 1/4$)로 확장한다.
   • 경계 항등식: 계속 확장된 라플라스 변환을 아르키메데스적 커널의 멜린 변환(따라서 $\Xi$)과 직접 연결하는 정밀한 경계 항등식을 확립한다.
   • 심(Seam) 비율 분석: $\Xi(2w)$와 참조 다항식 $P_N(w)$를 연결하는 정규화된 "심 비율(seam ratio)" $R(w)$가 정의된다. 가설 1.1(직사각형 상의 스펙트럼 결합/경계 분리) 및 가설 1.2(정량적 섹터 제어) 하에서, 강직성 보조정리가 적용된다. 룰레의 정리(Rouché's theorem)와 네반리나나 하디 공간 이론에 기초한 이 보조정리는, 심 비율이 "띠-단위(strip-unit)"(홀로모픽하고 영점이 없는 함수)가 되도록 강제한다.

주요 기여 및 결과

• 정리 1.6 (주요 정리 개요): 본 논문은 기본 가정 하에, 스케일링 한계 추적 커널이 실수 영점 디비저를 갖는 Schoenberg–Edrei–Karlin 인수분해와 $\Xi(2z)$로 식별되는 아르키메데스적 완결을 모두 생성함을 확립한다. 결정적으로, 이 두 대상을 공통의 띠 설정 내에 배치할 수 있는 해석적 기제(연속 확장 및 경계 항등식)를 제공한다.
• 정리 1.7 (조건부 띠-단위 정리): 본 논문의 주요 결과이다. 가설 1.1과 1.2가 성립한다면, 정규화된 심 비율 $\tilde{R}_N(w)$는 띠 $S_\eta$ 상에서 홀로모픽하며 영점이 없음을 기술한다. 결과적으로, $\Xi(2w)$와 참조 패밀리 $P_N(w)$는 해당 띠 상에서 정확히 동일한 제로 디비저를 공유한다.
• 해석적 강직성: 본 논문은 "띠-단위 강제(strip-unit forcing)" 메커니즘을 도입한다. 확장되는 직사각형의 경계에서 두 함수의 차이가 참조 함수에 비해 작다는 것(가설 1.1)과 비율의 편각이 제어된다는 것(가설 1.2)을 입증함으로써, 두 함수가 내부에서 동일한 영점 개수를 가져야 함을 증명한다.
• 논리적 분리: 본 연구는 커널의 확률론적 구성과 정수론적 식별을 엄격하게 분리한다. 실-전체 인수분해의 유도는 $\Xi$의 성질에 의존하지 않으며, 멜린 변환의 식별은 스펙트럼 인수분해에 의존하지 않으므로, 이 논증은 순환 논리에 빠지지 않는다.

의의 및 주장
본 논문은 이전 연구(Paper I)로부터 이어지는 "누락된 디비저 식별 단계"를 제공한다고 주장한다. 그 의의는 다음과 같다:

1. 통합적 프레임워크: 리만 $\Xi$-함수와 단순한 마르코프 과정으로부터의 스펙트럼 결정식이 강직한 정규화를 통해 해석적으로 연결되어 있음을 보여준다.
2. 디비저 식별: 경계 추정치의 검증을 조건으로, 리만 제타 함수의 비자명 영점( $\Xi$에 인코딩된)이 사이클 스펙트럼 결정식 $P_N$의 실수 영점과 반드시 일치해야 함을 증명한다. $P_N$은 자기 수반성(self-adjointness)에 의해 실수 영점만을 가지므로, 이는 $\Xi$의 영점을 변환된 변수에서 실수로 강제함으로써 리만 가설(모든 비자명 영점이 임계선 위에 있음)을 증명하는 경로를 제시한다.
3. 방법론적 엄밀성: 분석적 교환의 타당성을 보장하기 위해 감쇠율, 대칭 조건, 그리고 가짜 극점(spurious poles)의 부재를 명시적으로 검증하는 "스트레스 테스트" 접근법을 강조한다.

한계 및 의존성
본 논문은 주요 결론(디비저 식별)이 조건부임을 명시적으로 밝힌다. 이는 다음 사항에 의존한다:

• 가설 1.1: 직사각형 $R_T$ 상에서 엄격한 경계 분리 부등식을 만족하는 영점이 없는 홀로모픽 단위 $U_{\eta,N}$의 존재.
• 가설 1.2: 이러한 직사각형의 경계에서 정규화된 심 비율의 편각에 대한 정량적 섹터 제어.
  본 논문은 이러한 경계 조건들, 특히 사이클 크기 $N(T)$에 대한 허용 가능한 영역의 선택을 포함한 검증 작업을 Paper III로 미루고 있다. 이러한 경계 조건의 검증 없이는 디비저 식별은 조건부 결과로 남는다.