通过同伦图谱认证 Galois/单调性作用
代数几何
2026-03-19 v1 符号计算
摘要
我们发展了一种用于计算参数化多项式系统 Galois/单调性组的认证数值算法。我们的方法采用认证同伦路径跟踪来保证算法产生的单调性作用的正确性，并建立在之前的“同伦图谱”框架基础上。我们对该算法进行了大量实验，使用该算法来认证来自纯数学和应用数学几个经典例子中出现的若干重要 Galois/单调性组的性质。
引用
@article{arxiv.2603.17288,
title = {Certifying Galois/monodromy Actions via Homotopy Graphs},
author = {Timothy Duff and Kisun Lee},
journal= {arXiv preprint arXiv:2603.17288},
year = {2026}
}
备注
17 pages, 2 figures, 2 tables