Paper 2025/822
Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures
Abstract
Nowadays, the notion of semi-regular sequences, originally proposed by Fröberg, becomes very important not only in Mathematics, but also in Information Science, in particular Cryptology. For example, it is highly expected that randomly generated polynomials form a semi-regular sequence, and based on this observation, secure cryptosystems based on polynomial systems can be devised. In this paper, we deal with a semi regular sequence and its variant, named a generalized cryptographic semi-regular sequence, and give precise analysis on the complexity of computing a Gröbner basis of the ideal generated by such a sequence with help of several regularities of the ideal related to Lazard's bound on maximal Gröbner basis degree and other bounds. We also study the genericness of the property that a sequence is semi-regular, and its variants related to Fröberg's conjecture. Moreover, we discuss on the genericness of another important property that the initial ideal is weakly reverse lexicographic, related to Moreno-Socías' conjecture, and show some criteria to examine whether both Fröberg's conjecture and Moreno-Socías' one hold at the same time.
Note: This is a revised and extended version of arxiv:2410.23211 by the same authors.
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint.
- Keywords
- Gröbner basisFröberg's conjectureMoreno-Socías' conjectureSemi-regular sequenceGenericness
- Contact author(s)
-
m-kudo @ fit ac jp
kazuhiro @ rikkyo ac jp - History
- 2025-05-09: approved
- 2025-05-08: received
- See all versions
- Short URL
- https://ia.cr/2025/822
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2025/822,
author = {Momonari Kudo and Kazuhiro Yokoyama},
title = {Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures},
howpublished = {Cryptology {ePrint} Archive, Paper 2025/822},
year = {2025},
url = {https://eprint.iacr.org/2025/822}
}
