Logarithms and Stirling numbers associated with delta series

기술 요약: 델타 급수와 연관된 로그 및 스털링 수

문제 제기
최근 조합론적 분석의 발전은 고전적인 결과를 일반화하기 위해 확률적 스털링 수(probabilistic Stirling numbers)와 B-스털링 수(B-Stirling numbers)를 도입하였다. 그러나 서론에서 언급되었듯이, 이러한 공식들은 구조적 결함, 구체적으로는 견고한 역관계(inverse relations)에 필요한 표준 직교성(orthogonality)의 결여 문제를 겪는 경우가 많다. 또한, 특정 정의들은 결정론적 극한(예: 무작위 변수 $Y=1$인 경우)에서 고전적 스털링 수를 회복하지 못하는 한계가 있다. 본 논문은 이러한 근본적인 대수적 성질을 복원하는 동시에, 퇴화된(degenerate) 변형 및 확률적 변형을 포함하도록 스털링 수의 범위를 확장하는 통합된 프레임워크의 필요성을 다룬다.

방법론
저자들인 김대산과 김태균은 **델타 급수(delta series)**에 기반한 이론적 틀을 구축한다. 델타 급수 $f(t)$는 $f(0)=0$이고 $f'(0) \neq 0$인 형식적 멱급수로 정의된다. 방법론은 다음과 같이 진행된다:

1. 다항식 수열과의 연관성: 델타 급수 $f(t)$에 대하여, $\bar{f}(t)$를 그 합성 역함수(compositional inverse)라고 하자. 저자들은 생성 함수 $\sum_{n=0}^\infty p_n(x) \frac{t^n}{n!} = e^{x\bar{f}(t)}$를 통해 다항식 수열 $\{p_n(x)\}$를 정의한다.
2. 일반화된 스털링 수의 정의:
   • 제2종 ($S_2(n,k; f(t))$): 생성 함수 $\frac{1}{k!}(e^{\bar{f}(t)} - 1)^k = \sum_{n=k}^\infty S_2(n,k; f(t)) \frac{t^n}{n!}$에 의해 정의된다.
   • 제1종 ($S_1(n,k; f(t))$): 생성 함수 $\frac{1}{k!}(\bar{e}_{f(t)}(t))^k = \sum_{n=k}^\infty S_1(n,k; f(t)) \frac{t^n}{n!}$에 의해 정의된다. 여기서 $\bar{e}_{f(t)}(t)$는 $e^{\bar{f}(t)} - 1$의 합성 역함수이다.
3. 연관된 로그의 도입: 논문은 "$f(t)$에 연관된 로그"를 $\log_{f(t)}(1+t) = f(\log(1+t))$로 정의한다. 이 함수는 $e^{\bar{f}(t)} - 1$의 합성 역함수 역할을 한다.
4. 항등식 유도: 라그랑주 역변환 공식(Lagrange inversion formulas)과 부분 벨 다항식(partial Bell polynomials)의 성질을 사용하여, 저자들은 이 일반화된 수들을 $f(t)$와 연관된 베르누이 다항식 및 서로 간의 관계를 나타내는 명시적인 식을 유도한다.

주요 기여 및 결과

• 직교성 및 역관계의 복원: 본 논문은 정의된 수 $S_1(n,k; f(t))$와 $S_2(n,k; f(t))$가 근본적인 직교성 및 역관계(명제 2.1)를 만족함을 증명한다. 구체적으로, $\sum_{k=l}^n S_2(n,k; f(t))S_1(k,l; f(t)) = \delta_{n,l}$을 만족하며, 이는 최근의 확률적 변형 모델에서 흔히 결여되는 성질인 일관된 역관계 쌍을 보장한다.
• 슐밀히 유형 공식(Schlömilch-type Formula): 핵심 결과는 두 종류의 스털링 수 사이의 명시적인 연결을 제공하는 슐밀히 유형 공식(정리 2.7)의 유도이다:
  $$S_1(n,k; f(t)) = \sum_{j=0}^{n-k} \binom{n+j-1}{n+j-k} \binom{2n-k}{n-k-j} (-1)^j (\bar{f}'(0))^{-n-j} S_2(n-k+j, j; f(t))$$
• 연관된 로그에 대한 명시적 표현: 슐밀히 유형 공식을 활용하여, 저자들은 $\log_{f(t)}(1+t)$를 전적으로 제2종 스털링 수로 표현하는 새로운 식을 유도한다(정리 2.8):
  $$\log_{f(t)}(1+t) = \sum_{n=1}^\infty \left( \sum_{j=0}^{n-1} \binom{2n-1}{n-1-j} (-1)^j (\bar{f}'(0))^{-n-j} S_2(n-1+j, j; f(t)) \right) \frac{t^n}{n!}$$
• 기존 결과의 통합: 이 프레임워크는 다양한 기존 수 체계를 통합함을 보여준다. 논문은 다음과 같은 경우를 입증한다:
  • $f(t)=t$일 때 고전적 스털링 수가 발생한다.
  • $f(t) = \frac{1}{\lambda}(e^{\lambda t}-1)$일 때 퇴화된 스털링 수가 발생한다.
  • 확률적 스털링 수(무작위 변수 $Y$와 연관된)는 $\bar{f}(t) = \log \mathbb{E}[e^{Y_\lambda(t)}]$인 델타 급수에 대응한다.
  • B-스털링 수는 생성 함수 $B(t) = e^{\bar{f}(t)}$인 경우에 대응한다.

의의
본 논문은 이 델타 급수 접근법이 최근의 확률적 및 B-스털링 수 정의에서 발견되는 구조적 불일치를 해결하는 "견고한 프레임워크"를 제공한다고 주장한다. 델타 급수의 합성 역수에 기초하여 정의를 설정함으로써, 저자들은 결과적으로 도출된 수들이 본질적으로 직교성과 역관계를 만족하도록 보장한다.

그 의의는 다음을 포함하는 15가지의 구체적인 예시(섹션 3)를 통해 입증된 프레임워크의 다재다능함에 있다:

• 확률적 및 퇴화된 스털링 수.
• 라(Lah) 수 및 라-벨(Lah-Bell) 다항식.
• 중앙 인자(central factorials) 및 중앙 벨(central Bell) 다항식.
• 미타그-레플러(Mittag-Leffler) 및 라게르(Laguerre) 다항식.

저자들은 이 방법론이 알려진 결과들을 회복할 뿐만 아니라 이를 확장하며, 조합론적 분석을 위한 일관되고 계산 효율적인 도구를 제공한다고 결론짓는다. 본 논문은 향후 연구에서 이 접근법을 다른 특수 수열에 적용하거나 $q$-아날로그(q-analogues)로 확장할 수 있음을 시사한다.