Semi-regularity of pairs of Boolean polynomials (Q2668079)

Let \(\mathbb{F}_2\) be a finite field with \(2\) elements and \(n\) be a positive integer. The ring \(B=\mathbb{F}_2[X_1, X_2,\ldots, X_n]/(X_1^2, X_2^2, \ldots, X_n^2)\) is an algebra over the polynomial ring \(\mathbb{F}_2[X_1, X_2,\ldots, X_n]\) and a set of monomials \(x_i=x_{i_1}\cdots x_{i_m}\) forms a basis for \(B\) if any \(b\in B\) can be written a linear combination a finite subset of \(\{x_i\}\), called the support of \(b\), over \(\mathbb{F}_2\). The sequence \(f_1, f_2, \ldots, f_m\in B\) of homogeneous polynomials of degree \(d_1, d_2, \ldots, d_m\) respectively, is said to be semi-regular if for any homogenous \(g\in B\), \(g\in (f_1, f_2,\ldots, f_m)\) if \(gf_i\in (f_1,f_2,\ldots, f_{i-1})\) such that \(\deg(g)+\deg(f_i)<D_{f_1, f_2, \ldots, f_{m}}\) for each \(1\le i\le m\), where \(D_{f_1,\ldots, f_m}\) denotes the least positive integer \(k\) such that the expression \(\sum_{i=1}^{m}B_{k-d_i}f_i=B_k\). In this paper, the authors give a description of the number of semi-regular sequences of length two for all possible values of \(n\). They find that the semi-regularity of these sequences depend only on the subspace of \(B_2\) and hence study the cases \(n=3,4,5,6,7,8\) for semi-regularity of two-dimensional quadratic subspaces. They also show that no semi-regular two dimensional subspaces exist for \(n\ge 9\).