تقرير
Learning to Compute Gr\'obner Bases
| العنوان: | Learning to Compute Gr\'obner Bases |
|---|---|
| المؤلفون: | Kera, Hiroshi, Ishihara, Yuki, Kambe, Yuta, Vaccon, Tristan, Yokoyama, Kazuhiro |
| سنة النشر: | 2023 |
| المجموعة: | Computer Science Mathematics |
| مصطلحات موضوعية: | Mathematics - Commutative Algebra, Computer Science - Machine Learning |
| الوصف: | Solving a polynomial system, or computing an associated Gr\"obner basis, has been a fundamental task in computational algebra. However, it is also known for its notoriously expensive computational cost - doubly exponential time complexity in the number of variables in the worst case. In this paper, we achieve for the first time Gr\"obner basis computation through the training of a Transformer. The training requires many pairs of a polynomial system and the associated Gr\"obner basis, raising two novel algebraic problems: random generation of Gr\"obner bases and the transformation of them into non-Gr\"obner polynomial systems, termed as backward Gr\"obner problem. We resolve these problems with zero-dimensional radical ideals, the ideals appearing in various applications. The experiments show that the proposed dataset generation method is three to six orders of magnitude faster than a naive approach, overcoming a crucial challenge in learning to compute Gr\"obner bases. Comment: 42 pages, 24 tables |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2311.12904 |
| رقم الأكسشن: | edsarx.2311.12904 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |