Welcome to the resource topic for 2024/086
Title:
On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases
Authors: Momonari Kudo, Kazuhiro Yokoyama
Abstract:Gröbner bases are nowadays central tools for solving various problems in commutative algebra and algebraic geometry.
A typical use of Gröbner bases is the multivariate polynomial system solving, which enables us to construct algebraic attacks against post-quantum cryptographic protocols.
Therefore, the determination of the complexity of computing Gröbner bases is very important both in theory and in practice:
One of the most important cases is the case where input polynomials compose an (overdetermined) affine semi-regular sequence.
The first part of this paper aims to present a survey on the Gröbner basis computation and its complexity.
In the second part, we shall give an explicit formula on the (truncated) Hilbert-Poincaré series associated to the homogenization of an affine semi-regular sequence.
Based on the formula, we also study (reduced) Gröbner bases of
the ideals generated by an affine semi-regular sequence and its homogenization.
Some of our results are considered to give mathematically rigorous proofs of the correctness of methods for computing Gröbner bases of the ideal generated by an affine semi-regular sequence.
ePrint: https://eprint.iacr.org/2024/086
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .