k‑비교단 교차 RNA 의사결절 구조의 정확한 열거와 지수 성장률

본 논문은 RNA 의사결절(pseudoknot) 구조를 수학적으로 정확히 열거하고, 그 성장률을 분석함으로써 생물학적 예측에 실용적인 제한을 제시한다. 서론에서는 RNA 의사결절이 미세RNA 결합, 리보솜 프레임 이동 등 다양한 생물학적 기능에 관여함을 언급하고, 기존 연구가 최소 아크 길이 ≥ 2, 스택 길이 ≥ 1인 구조만을 다루어 실제 생물학적 요구를 충족시키지 못함을 지적한다. 따라서 최소 아크 길이 ≥ 4와 스택 길이 ≥ 3이라는 보다 현실적인 제약을 도입한다. 이후 k‑비교단 다이어그램의 정의를 복습하고, $h_{k,\lambda,\sigma}$-구조(여기서 $\lambda=4$, $\sigma\ge3$)를 도입한다. 핵심 아이디어는 이러한 구조를 기존의 k‑비교단 부분 매칭 $M_k(n)$와 연결시키는 것이다. 저자들은 Grabiner와 Magyar의 결과를 이용해 $f_k(n,\ell)$, 즉 $k$‑비교단 매칭에서 $\ell$개의 고립 정점을 포함하는 경우의 수를 행렬식 형태로 표현한다. 이를 바탕으로 완전 매칭($\ell=0$)의 생성함수 $F_k(z)=\sum_{n\ge0}f_k(2n,0)z^{2n}$가 D‑finite임을 확인한다. 다음 단계에서는 기존의 코어 구조(core-structures) 개념을 확장한다. 기존 코어 매핑은 스택을 단일 아크로 압축하지만, $\lambda\ge4$ 조건을 위배한다는 문제가 있다. 이를 해결하기 위해 새로운 클래스 $T_k^*(n,h)$와 그에 대응하는 코어 $C_k^*(n',h')$를 정의하고, 이들 사이의 일대일 대응을 증명한다(정리 3). 이 과정을 통해 최소 아크 길이 제한을 보존하면서도 스택 길이 제한을 만족하는 정확한 열거식 \