RNA 구조의 의사결합 비교교차 열거의 점근적 분석

초록

본 논문은 $k$-비교교차(RNA) 구조의 생성함수를 이용해 지수 성장률과 하위 지수 인자를 정확히 구한다. 특히 $k=2,3$에 대해 해석적 연속과 특이점 전개를 수행하고, 전이 정리를 적용해 $\displaystyle {\sf S}_3(n)\sim\frac{10.4724\cdot4!}{n(n-1)\cdots(n-4)}\Bigl(\frac{5+\sqrt{21}}2\Bigr)^n$ 형태의 점근식을 도출한다.

상세 분석

이 연구는 RNA 2차 구조의 일반화된 모델인 $k$‑비교교차 구조를 정량적으로 분석한다. 기존 연구에서 제시된 생성함수 $G_k(z)=\sum_{n\ge0}{\sf S}_k(n)z^n$를 출발점으로 삼아, 저자들은 먼저 $G_k(z)$가 만족하는 함수 방정식을 증명한다. 이 방정식은 $k$‑비교교차 구조가 갖는 제한조건, 즉 동시에 교차하는 결합의 최대 개수가 $k-1$이라는 조건을 반영한다. 방정식의 형태는 비선형 대수식으로, $G_k(z)$와 그 도함수, 그리고 기본적인 Catalan‑계열 생성함수와의 조합으로 구성된다.

특히 $k=2$(즉, 전통적인 비교교차가 없는 단순 RNA 이중 나선)와 $k=3$에 대해 구체적인 해석을 진행한다. $k=2$의 경우, 방정식이 비교적 단순해져서 $G_2(z)$를 폐형식으로 표현할 수 있으며, 그 특이점은 $z=\rho_2=1/4$에서 발생한다. 특이점 전개는 표준적인 알제브라적 루트 형태를 보이며, 전이 정리를 적용하면 ${\sf S}_2(n)\sim C_2\cdot\rho_2^{-n}n^{-3/2}$와 같은 전형적인 비정규 언어의 점근식을 얻는다.

$k=3$에서는 방정식이 4차 다항식 형태로 복잡해지지만, 저자들은 복소 평면에서의 해석적 연속을 통해 가장 가까운 특이점 $\rho_3$를 정확히 구한다. 이 특이점은 $\rho_3=\frac{2}{5+\sqrt{21}}$이며, 여기서 $\frac{5+\sqrt{21}}2\approx4.7913$이 지수 성장률이 된다. 특이점 전개는 $\displaystyle G_3(z)=\frac{A}{(1-z/\rho_3)^5}+ \text{regular terms}$와 같이 5차 극을 갖는다. 따라서 전이 정리에 의해 계수 ${\sf S}_3(n)$는 $n^{-5}$의 다항식 감소와 $\rho_3^{-n}$의 지수 증가가 결합된 형태를 띤다. 구체적으로 저자들은 상수 $A$를 정밀히 계산해 $A\approx10.4724/4!$임을 보이고, 최종적으로

\