轨形等价的计算方面
Computational aspects of orbifold equivalence
AI总结：
本文分析证明 Landau-Ginzburg 模型势间轨形等价的算法可行性，指出其方程规模超出当前 Gröbner 基计算能力，并以两个新示例说明需结合启发性猜测。
摘要：
本文研究一种用于证明描述 Landau-Ginzburg 模型的势之间轨形等价的算法的计算可行性。通过与密码学中 Gröbner 基计算的领先结果进行比较，我们推断该算法生成的方程组超出了当前技术能力的极限。因此，该算法需要辅以“启发性猜测”，并且我们提供了应用这种方法的两个新示例。
英文摘要：
In this paper we study the computational feasibility of an algorithm to prove orbifold equivalence between potentials describing Landau-Ginzburg models. Through a comparison with leading results of Groebner basis computations in cryptology, we infer that the algorithm produces systems of equations that are beyond the limits of current technical capabilities. As such the algorithm needs to be augmented by `inspired guesswork', and we provide two new examples of applying this approach.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
