Welcome to the resource topic for 2020/1538
Title:
Homological Characterization of bounded F_2-regularity
Authors: Timothy J. Hodges, Sergio Molina
Abstract:Semi-regular sequences over \mathbb{F}_2 are sequences of homogeneous elements of the algebra B^{(n)}=\mathbb{F}_2[X_1,...,X_n]/(X_1^2,...,X_n^2), which have as few relations between them as possible. It is believed that most such systems are semi-regular and this property has important consequences for understanding the complexity of Grobner basis algorithms such as F4 and F5 for solving such systems. In fact even in one of the simplest and most important cases, that of quadratic sequences of length n in n variables, the question of the existence of semi-regular sequences for all n remains open. In this paper we present a new framework for the concept of semiregularity which we hope will allow the use of ideas and machinery from homological algebra to be applied to this interesting and important open question. First we introduce an analog of the Koszul complex and show that \mathbb{F}_2-semi-regularity can be characterized by the exactness of this complex. We show how the well known formula for the Hilbert series of a semiregular sequence can be deduced from the Koszul complex. Finally we show that the concept of first fall degree also has a natural description in terms of the Koszul complex.
ePrint: https://eprint.iacr.org/2020/1538
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 .