Hostname: page-component-6898cfcb55-th4rj Total loading time: 0 Render date: 2026-11-11T19:18:25.175Z Has data issue: false hasContentIssue false

Algebraic Properties of Modulo q Complete ℓ-Wide Families

Published online by Cambridge University Press:  01 May 2009

BÁLINT FELSZEGHY
Affiliation:
Institute of Mathematics, Budapest University of Technology and Economics, Budapest, Hungary (e-mail: fbalint@math.bme.hu)
GÁBOR HEGEDŰS
Affiliation:
Kecskemét, Hungary (e-mail: greece@math.bme.hu)
LAJOS RÓNYAI
Affiliation:
Computer and Automation Institute, Hungarian Academy of Sciences, Budapest, Hungary and Institute of Mathematics, Budapest University of Technology and Economics, Budapest, Hungary (e-mail: lajos@csillag.ilab.sztaki.hu)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Let q be a power of a prime p, and let n, d, ℓ be integers such that 1 ≤ n, 1 ≤ ℓ < q. Consider the modulo q complete ℓ-wide family:\[
\cF = \bigl\{F\subseteq[n]\,:\, \exists\,f\in\Z~~\text{s.t.}~~
d\leq f< d+\ell~~\text{and}~~ |F|\equiv f\pmod q
\bigr\}.
\]

We describe a Gröbner basis of the vanishing ideal I() of the set of characteristic vectors of over fields of characteristic p. It turns out that this set of polynomials is a Gröbner basis for all term orderings ≺, for which the order of the variables is xn ≺ xn−1 ≺ ⋅⋅⋅ ≺ x1.

We compute the Hilbert function of I(), which yields formulae for the modulo p rank of certain inclusion matrices related to .

We apply our results to problems from extremal set theory. We prove a sharp upper bound of the cardinality of a modulo q ℓ-wide family, which shatters only small sets. This is closely related to a conjecture of Frankl [13] on certain ℓ-antichains. The formula of the Hilbert function also allows us to obtain an upper bound on the size of a set system with certain restricted intersections, generalizing a bound proposed by Babai and Frankl [6].

The paper generalizes and extends the results of [15], [16] and [17].

Information

Type
Paper
Copyright
Copyright © Cambridge University Press 2008