The solving degrees for computing Gr\"obner bases of affine semi-regular polynomial sequences
<|reference_start|>The solving degrees for computing Gr\"obner bases of affine semi-regular polynomial sequences: In this paper, we study the solving degrees for affine semi-regular sequences and their homogenized sequences. Some of our results are considered to give mathematically rigorous proofs of the correctness of methods for computing Gr\"{o}bner bases of the ideal generated by an affine semi-regular sequence. This paper is a sequel of the authors' previous work and gives additional results on the solving degrees and important behaviors of Gr\"obner basis computation.   We also define the generalized degree of regularity for a sequence of homogeneous polynomials. For the ideal generated by the homogenization of an affine semi-regular sequence, we relate its generalized degree of regularity with its maximal Gr\"{o}bner basis degree (i.e., the solving degree for the homogenized sequence). The definition of a generalized (cryptographic) semi-regular sequence is also given, and it derives a new cryptographic assumption to estimate the security of cryptosystems. From our experimental observation, we raise a conjecture and some questions related to this generalized semi-regularity. These definitions and our results provide a theoretical formulation of (somehow heuristic) discussions done so far in the cryptographic community.<|reference_end|>
@article{kudo2024the,
    title={The solving degrees for computing Gr\"{o}bner bases of affine
  semi-regular polynomial sequences},
    author={Momonari Kudo and Kazuhiro Yokoyama},
    journal={arXiv preprint arXiv:2404.03530},
    year={2024},
    archivePrefix={arXiv},
    eprint={2404.03530},
    primaryClass={math.AC cs.CR cs.SC math.AG}
}