RNA 구조의 중심 및 국소 극한 정리

논문은 먼저 RNA 2차 구조를 2‑비교교차(k‑noncrossing) 그래프의 특수 경우로 정의하고, 3‑비교교차 구조를 일반화된 모델로 제시한다. 1‑아크(인접한 두 염기의 결합)를 배제하고, k개의 서로 교차하는 아크가 존재하지 않도록 하는 제약을 두어, 실제 생물학적 pseudoknot을 수학적으로 모델링한다. 섹션 2에서는 k‑비교교차 다이아그램의 정밀한 정의와, fₖ(n,ℓ)이라 불리는 ℓ개의 고립 정점을 가진 k‑비교교차 매칭의 개수를 구하는 공식(2.2)–(2.5)을 제시한다. 특히 k=2,3에 대해 Catalan 수와 이항계수를 이용한 명시적 식을 제공한다. 섹션 3에서는 S′ₖ(n,h) (정확히 h개의 결합을 가진 k‑비교교차 RNA 구조)의 이중생성함수 Fₖ(z,w)=∑ₙ∑ₕ S′ₖ(n,h) wʰ zⁿ을 도출한다. Lemma에 의해 Fₖ는 두 개의 “단순” 함수의 합성 형태로 표현되며, 외부 함수가 대수‑로그 특이점을 갖는 경우에도 내부 함수가 그 특이점을 보존(persistence)한다는 사실을 이용한다. 이는 Bender의 특이점 전이 이론과 Hwang의 국소극한정리 적용을 위한 전제조건을 만족시킨다. 섹션 4에서는 중심극한정리를 증명한다. ϕₙ(w)=∑ₕ S′₃(n,h) wʰ / S₃(n) 를 w=1 근처에서 전개하면 ϕₙ(e^{s})/ϕₙ(1)=exp(μₙ s + ½ σₙ² s² + O(s³)) 형태가 된다. 여기서 μₙ=0.39089 n, σₙ²=0.041565 n이 정확히 계산된다. 레비‑크라머 정리를 적용해 Xₙ=(h−μₙ)/σₙ 가 표준 정규분포로 수렴함을 보인다. 실험적으로 n=100인 경우 평균 39.089, 분산 4.1565가 관측되며, 그래프(Fig.3)에서 정규곡선과 거의 일치함을 확인한다. 섹션 5에서는 국소극한정리를 다룬다. aₙ,ₕ=S′₃(n,h) 계수가 충분히 부드럽고, σₙ P(Xₙ=⌊μₙ+σₙ x⌋)와 정규밀도 사이의 차이가 supₓ |·| →0 (x=o(√n))임을 보인다. 이를 위해 Hwang의 정리를 활용해 aₙ,ₕ를 정규화된 형태로 근사하고, 오차항을 O(n^{-1/2}) 이하로 제어한다. 결과적으로, x가 √n보다 작을 때 정규밀도와 거의 동일한 확률 질량을 갖는다는 국소극한정리를 얻는다. 섹션 6에서는 2‑비교교차 구조에 동일한 방법을 적용한 결과를 제시한다. 평균 0.27639 n, 분산 0.04472 n을 갖는 정규분포가 도출되며, 이는 기존 RNA 2차 구조 폴딩 알고리즘(예: ViennaRNA, MFold)에서 보고된 결합 수 통계와 일치한다. 마지막으로, 저자들은 k가 증가함에 따라 평균 결합 수가 최대 가능한 결합 수(=⌊n/2⌋)에 점점 가까워지는 현상을 관찰한다. 이는 k‑비교교차 구조가 더 복잡한 pseudoknot을 허용함을 의미하며, 향후 k‑비교교차 폴딩 알고리즘 개발에 중요한 통계적 기준을 제공한다. 논문은 또한 특이점 지속성 원리를 이용해 복잡한 대수‑로그 특이점을 가진 생성함수에서도 중심·국소극한정리를 적용할 수 있음을 보여, 조합론·확률론·생물정보학 교차 분야에 새로운 방법론을 제시한다.