무타입 람다 항(term) 수 세기 연구

초록

본 논문은 de Bruijn 지수를 이용해 무타입 λ‑계산식의 크기와 자유 변수 개수에 따른 개수를 정확히 계산하는 재귀식과 생성함수를 제시하고, 닫힌 항(term)과 정규형의 수가 카탈란 수와 모츠키 수와 깊은 연관을 갖는 것을 보인다.

상세 분석

논문은 먼저 λ‑항을 de Bruijn 지수 체계로 표현함으로써 바인딩 구조를 숫자로 단순화한다. 이를 기반으로 Tₙ,ₘ을 “크기 n, 사용 가능한 인덱스가 1…m인 항의 집합”이라 정의하고,
  Tₙ₊₁,ₘ = Tₙ,ₘ₊₁ + ∑{k=0}^{n} T{n‑k, m} · T_{k, m}
이라는 재귀식을 도출한다. 여기서 첫 번째 항은 λ‑추상화에 의해 인덱스가 하나 늘어나는 경우, 두 번째 항은 응용(application)으로 두 하위 항을 결합하는 경우를 의미한다. 이 식은 n과 m이 모두 감소하는 하위 문제에 의존하므로 동적 프로그래밍으로 효율적으로 계산 가능하다.

특히 m=0인 닫힌 항의 수 Tₙ,₀는 기존 연구에서 제시된 복잡한 2차원 재귀식보다 단순한 형태로 표현될 수 있음을 보이며, 이를 Motzkin 수 Mₙ과 비교해 Mₙ < Tₙ₊₁,₀임을 증명한다. Motzkin 수는 일‑이진 트리와 일대일 대응함을 이용해 λ‑항과의 구조적 유사성을 강조한다. 따라서 Tₙ,₀는 최소한 3ⁿ에 비례하는 성장률을 가지며, 이는 Catalan 수 Cₙ이 4ⁿ·n^{-3/2} 형태로 성장하는 것과는 다른 상수 계수를 가진다.

다음으로 논문은 고정된 n에 대해 m을 변수로 보는 다항식 P_Tₙ(m) = Tₙ,ₘ을 정의하고,
  P_T₀(m)=0, P_T₁(m)=m,
  P_Tₙ₊₁(m)=P_Tₙ(m+1) + ∑{k=1}^{n‑1} P_T_k(m)·P_T{n‑k}(m)
이라는 재귀 관계를 제시한다. 이 다항식들의 차수는 n/2(정수 올림)이며, 차수가 짝수·홀수에 따라 서로 교차한다. 중요한 결과는 홀수 차수 다항식의 최고계수 θ_{2q+1}가 정확히 Catalan 수 C_q와 동일하다는 점이다. 증명은 θ_{2q+1}=∑{h=0}^{q‑1}θ{2h+1}·θ_{2q‑2h‑1} 형태의 컨볼루션 관계를 이용해, generating function O_d(z)=∑θ_{2i+1}z^i가 C(z)= (1‑√{1‑4z})/(2z)와 일치함을 보임으로써 얻어진다.

짝수 차수 다항식의 최고계수 θ_{2q}는 (2q‑1 choose q) 형태이며, 이는 Catalan 수와 비슷하지만 한 단계 낮은 조합식이다. 두 번째, 세 번째 계수(τ, δ) 역시 명시적 폐쇄식이 제시되는데, τ_{2q+1}= (2q‑1)·C_{q‑1}·2/(q) 등 복잡한 다항식 조합으로 나타난다. 이러한 계수들은 λ‑항의 구조적 복잡성을 정량화하는 데 핵심적인 역할을 한다.

정규형에 대해서도 동일한 접근을 적용한다. Gₙ,ₘ(λ‑헤드가 없는 정규형)과 Fₙ,ₘ(λ‑헤드가 있는 정규형)을 정의하고,
  Gₙ₊₁,ₘ = ∑{k=0}^{n} G{n‑k, m}·F_{k, m},  Fₙ₊₁,ₘ = Fₙ,ₘ₊₁ + Gₙ₊₁,ₘ
이라는 재귀식을 얻는다. 여기서도 P_NFₙ(m)과 Qₙ(m)이라는 다항식이 등장하며, 차수와 최고계수는 앞서 λ‑항에 대한 결과와 동일하게 Catalan 수와 연관된다.

전체적으로 논문은 λ‑계산식의 계수론적 특성을 de Bruijn 인덱스를 통해 깔끔히 정리하고, Catalan 수·Motzkin 수·조합식 사이의 깊은 연결고리를 밝힌다. 이러한 결과는 무작위 λ‑항 생성, 평균‑케이스 복잡도 분석, 그리고 λ‑계산식의 확률적 모델링에 직접적인 응용 가능성을 제공한다.