워슨크릭 결합과 히젠베르크 군 그리고 밀노어 불변량

초록

이 논문은 가짜결절(pseudoknot)이 없는 RNA 2차 구조를 링크 이론의 밀노어 불변량으로 분석한다. 첫 번째 비자명 불변량을 ‘히젠베르크 불변량’이라 명명하고, 이를 히젠베르크 군과 격자 경로 해석을 통해 정수값으로 정의한다. 히젠베르크 불변량은 RNA에서 짝을 이루지 못한 염기의 최소 개수를 하한으로 제공하며, 값이 클수록 서로 멀리 떨어진 여러 개의 최적 짝짓기 구성이 존재함을 보여준다.

상세 분석

논문은 RNA 2차 구조를 ‘베이스쌍’이라는 연결 고리로 모델링하고, 이때 발생하는 링크를 자유군의 원소로 표현한다. 기존의 밀노어 μ‑인베리언트는 여러 차수의 비가환 군 동형사상을 통해 정의되었지만, 저자들은 그 중 첫 번째 비자명 차수인 μ₁₂₃을 히젠베르크 군 H₃(ℤ)와 동형시켜 ‘히젠베르크 불변량’이라고 부른다. H₃는 중앙 원소가 정수인 비가환 3차원 군으로, 군원소 (x,y,z) 사이의 교환 관계