非微扰现象是量子理论中经常出现的现象,但是对于一般的情况,我们至今也没有有效的研究方法。基于拓扑弦和量子力学的对应,我们对一类相对论可积系统提出了一个严格的非微扰量子化条件。由于Nekrasov-Shatashvili(NS)之前的研究,我们把这个量子化方法命名为NS量子化方案。除此之外,还有一套量子化方案是直接考虑粒子对应的哈密顿量算子的谱问题,则这个算子的谱行列式的零点就给出了量子化条件,一般的来讲,这个“零点”应为除子。这一套方案首先由Grassi-Hatsuda-Marino(GHM)提出,我们把它称为GHM量子化方案。即便是考虑的同一套系统,这两套方案却看起来十分不同。通过引入ri场,我们论证了这里实际存在很多个谱行列式,他们以相位ri进行区分,而这些不同的谱行列式给出的除子的交点刚好给出NS量子化方案的量子化条件。我们详细讨论了这个等价性,并且提出,二者等价需要一组等式恒成立。这一等式实际上就是拉开方程的一个特殊情况。我们又对拉开方程进行了详细研究,我们发现它在模变换下是不变的。在我们考虑的模型中,这一性质预测了所有的ri场,在我们的验证精度内,仅仅通过拓扑弦的微扰信息和一些物理考虑就给出了所有的BPS不变量。我们同时也考虑了拉开方程在模空间其他奇点附近的形式。