Gr\"obner Bases for Increasing Sequences

Abstract: Let

q, n g e q 1

be integers,

[q] = 1, l d o t s, q

, and

m a t h b b F

be a field with

| m a t h b b F | g e q q

. The set of increasing sequences

I(n,q)={(f_1,f_2, dots, f_n) in [q]^n:~ f_1leq f_2leqcdots leq f_n }

can be mapped via an injective map

i : [q] i g h t a r r o w m a t h b b F

into a subset

J (n, q)

of the affine space

{m a t h b b F}^{n}

. We describe reduced Gr"obner bases, standard monomials and Hilbert function of the ideal of polynomials vanishing on

J (n, q)

. As applications we give an interpolation basis for

J (n, q)

, and lower bounds for the size of increasing Kakeya sets, increasing Nikodym sets, and for the size of affine hyperplane covers of

J (n, q)

.

This page was built for publication: Gr\"obner Bases for Increasing Sequences