Completely Additive Height Functions: Profile Laws, Matula Bounds, and Inverse Growth

기술 요약: 완전 가법적 높이 함수 (Completely Additive Height Functions)

문제 정의
본 논문은 $H(1)=0$, 모든 소수 $p$에 대해 $H(p) \ge 1$, 그리고 임의의 고정된 높이 $n$에서의 소수 집합이 유한하다는 조건을 만족하는 완전 가법 함수(completely additive functions)인 "높이 함수" $H: \mathbb{N} \to \mathbb{N}_0$의 부류를 연구한다. 핵심 문제는 소수 높이 프로파일(prime-height profile) $\pi_k = \#\{p : H(p) = k\}$와 높이 다중도(height multiplicities) $N_n = \#\{m : H(m) = n\}$ 사이의 관계를 이해하는 것이다. 일반적인 분할(ordinary partitions, $\pi_k \equiv 1$)이나 평면 분할(plane partitions, $\pi_k = k$)과 같은 고전적 예시들은 잘 알려져 있으나, 본 논문은 이러한 관계를 재귀적 구성(Matula 수 및 Shapiro 유형의 토티언트 높이 등)으로 일반화하고, $\pi_k$의 점근적 거동에 기반하여 $N_n$의 성장을 규정하는 해석적 법칙을 확립하고자 한다.

방법론
본 논문은 조합론적 정수론과 해석적 점근론을 결합한 이중적 접근 방식을 채택한다.

1. 조합론적 프레임워크: 저자는 정수와 다중 분할(multipartitions) 사이의 전단사 대응을 확립한다. 완전 가법성에 의해, 높이 다중도의 생성 함수는 다음과 같은 가중 다중 분할 오일러 곱(weighted multipartition Euler product)으로 식별된다:
   $$\sum_{n \ge 0} N_n q^n = \prod_{k \ge 1} (1 - q^k)^{-\pi_k}$$
   이 항등식은 $H$의 정수론적 성질을 분할 이론적 문제로 변환할 수 있게 한다.

2. 재귀적 구성: 본 논문은 $H(p_i) = H(f(i)) + 1$ (여기서 $p_i$는 $i$번째 소수)을 통해 소수에 대해 반복적으로 정의되는 높이를 분석한다. 이 프레임워크는 Matula 높이($f(i)=i$)와 오일러 토티언트 함수의 반복을 통해 유도되는 Shapiro 유형의 높이를 모두 포괄한다.

3. 해석적 점근론: $N_n$의 성장 법칙을 도출하기 위해, 본 논문은 **마이네르두스 정리(Meinardus' Theorem)**를 활용한다. 이를 위해 프로파일과 관련된 디리클레 급수 $B_H(s) = \sum \pi_k k^{-s}$를 분석한다. 이 분석은 프로파일이 마이네르두스 정리의 가설(특히 격자 장애를 배제하는 "소호각(minor-arc)" 조건)을 충족한다는 조건하에 수행된다.

4. 평균 차수 축소: $H(n)$의 평균 차수를 구하기 위해, 본 논문은 가법 함수의 표준 기법을 사용하여 합계 함수 $F(x) = \sum_{n \le x} H(n)$을 소수 값들에 대한 합으로 축소한다.

주요 기여 및 결과

• 정형적 대응 (Canonical Correspondence): 본 논문은 유한한 소수 파이버(fiber)를 갖는 완전 가법 높이 함수와 가중 다중 분할 사이의 동치성을 공식화한다. 또한 무한한 합을 갖는 임의의 비음의 정수 수열 $(\pi_k)$가 어떤 높이 함수의 소수 높이 프로파일로 실현될 수 있음을 증명한다.

• Matula 경계에 대한 정수론적 증명:

  • 본 논문은 Matula 수(고정된 높이에 있는 정수)의 극단적 경계에 대한 순수 정수론적 증명을 제공한다.
  • 최대 경계: 중첩된 소수 인덱스($P(n) = p_{P(n-1)}$)에 의해 재귀적으로 정의되는 $P(n)$에 대하여, 고정된 높이 $n$에서의 가장 큰 정수를 증명함으로써, Gutman과 Ivić가 제기했던 "이 경계들을 루트 트리 그래프 이론 없이 유도할 수 있는가"라는 질문을 해결한다.
  • 최소 경계: 완전 가법성과 $k$번째 소수에 대한 명시적 경계만을 사용하여, 높이 $n$에서의 유일한 가장 작은 정수를 도출하며, 이 과정에서 트리 이론적 논증을 배제한다.

• 조건부 역성장 법칙 (Conditional Inverse-Growth Law):

  • 본 논문은 $N_n$의 성장에 대한 조건부 점근 법칙을 확립한다. 누적 프로파일 $\Pi(x) = \sum_{k \le x} \pi_k$가 $C x^\alpha$로 성장하고, 프로파일이 마이네르두스 정리의 전체 가설(소호각 조건 포함)을 만족하면 다음이 성립한다:
    $$\log N_n \sim C_2 n^{\alpha/(\alpha+1)}$$
    여기서 $C_2$는 $C, \alpha$, 그리고 리만 제타 함수에 의존하는 명시적 상수이다.
  • 이 결과는 일반 분할($\alpha=1$)과 평면 분할($\alpha=2$)을 통일된 해석적 틀 안에 배치한다.

• 다항식 영역에서의 평균 차수:

  • 프로파일이 다항식 성장($\Pi(x) \sim C x^\alpha$)을 보이는 경우, 본 논문은 소수 높이가 소수 인덱스에 따라 비감소하는 "정형 순차적 실현(canonical sequential realization)"을 정의한다.
  • 이 정형 높이의 평균 차수의 크기를 $F(x) \asymp x^{1+1/\alpha} / (\log x)^{1+1/\alpha}$로 도출한다.

• 제곱 자유 변형 (Squarefree Variants): 본 이론은 오일러 곱이 $\prod (1+q^k)^{\pi_k}$인 제곱 자유 높이 함수(radical classes)로 확장된다. 본 논문은 재귀적 규칙이 유한한 소수 집합(Shapiro-Erdős 유형) 또는 희소하고 지속적인 수열(Dedekind-type)로 이어지는 사례들을 제시한다.

• Shapiro 높이에 대한 계산적 관찰:

  • 본 논문은 수정된 Shapiro 토티언트 높이에 대한 계산 데이터를 보고한다.
  • $N_h$와 높이 $h$에서의 소수의 개수($P_h$)가 지수적 성장($N_h \sim B^h$)을 보임을 관찰한다.
  • "높이별 중심 극한 법칙(height-wise central limit law)"을 추측하며, 이는 고정된 높이 $h$에서의 $\log p$가 평균 $\mu h$, 분산 $\sigma^2 h$를 갖는 가우시안 분포를 따를 것임을 시사한다.
  • 이러한 관찰은 재귀적 높이가 "보편적 다항식 그림"을 벗어나, 표준적인 분할 점근론이 직접 적용되지 않을 수 있는 지수적 영역으로 진입할 수 있음을 보여준다.

의의 및 주장
본 논문은 높이 함수 연구를 다중 분할 이론과 통합하여, 재귀적 구성을 위한 "정형적" 조직 원리를 제공한다고 주장한다. 주요 의의는 다음과 같다:

1. 특정 미해결 문제 해결: Matula 수의 극단적 경계에 대해 그래프 이론적 해석에 의존하지 않는 최초의 순수 정수론적 도출을 제공하였다.
2. 조건부 역성장 원리 확립: 소수 높이 프로파일의 다항식 성장과 마이네르두스 정사를 통한 높이 다중도의 스트레치드-지수(stretched-exponential) 성장을 직접 연결하였다.
3. 한계점 명시: 프로파일이 다중도를 결정하지만, 산술적 구조(합동식, 상관관계)는 망각한다는 점을 입증한다. 본 논문은 재귀적 정의(예: Shapiro의 경우)가 단순한 다항식 프로파일 모델로는 포착되지 않는 강력한 산술적 제약을 부과하여, (지수적 성장이나 비-격자 프로파일과 같은) 다른 행동을 유발할 수 있음을 지적한다.

본 논문은 Shapiro 높이에 관한 결과에 대해서는 이를 증명된 정리가 아닌 경험적 증거와 추측으로 제시하며, 이러한 높이들의 "미세 구조"가 메인 섹션에서 다루는 설계된 프로파일 설정을 넘어선 영역에 있음을 명시하며 신중한 태도를 유지한다.