Watson-Crick配对、Heisenberg群与Milnor不变量

我们利用链环的Milnor不变量研究了由无伪结的Watson-Crick配对决定的RNA二级结构。我们聚焦于第一个非平凡不变量，称之为Heisenberg不变量。Heisenberg不变量是一个整数，可以用Heisenberg群以及格路径来解释。我们证明了Heisenberg不变量给出了RNA二级结构中未配对碱基数量的下界。我们还证明了Heisenberg不变量可以预测RNA的变构结构。即，如果Heisenberg不变量很大，那么对于发现的Watson-Crick配对数量，存在广泛分离的局部极大值（即变构结构）。