Abstract
Let α be a rational-valued set-function on then-element sexX i.e. α(B) εQ for everyB ⫅X. We say that α defines a 0-configuration with respect toA⫅2x if for everyA εA we have\(\mathop \Sigma \limits_{A \subseteqq B \subseteqq X} \) α(B)=0. The 0-configurations form a vector space of dimension 2n − |A| (Theorem 1). Let 0 ≦t<k ≦n and letA={A ⫅X: |A| ≦t}. We show that in this case the 0-configurations satisfying α(B)=0 for |B|>k form a vector space of dimension\(\mathop \Sigma \limits_{t< i \leqq k} \left( {\begin{array}{*{20}c} n \\ i \\ \end{array} } \right)\), we exhibit a basis for this space (Theorem 4). Also a result of Frankl, Wilson [3] is strengthened (Theorem 6).
Similar content being viewed by others
References
M. Deza, Problème de l’existence de (H 1;H 2,b)-hypergraphs,Cahiers du C. E. R. O. Bruxelles,17, 2–3–4, (1975) 185–190.
M. Deza, Isometries of hypergraphs, inProc. Symposium on Graph Theory (Calcutta, 1976), ISI Lecture Notes4, (ed. A. R. Rao), Mc Millan India, 1979, 174–189.
P. Frankl andR. M. Wilson, Intersection theorems with geometric consequences,Combinatorica 1 (1981), 357–368.
R. L. Graham, S-Y. R. Li andW.-W. W. Li, On the structure oft-designs,SIAM J. Alg. Disc. Methods,1 (1980), 8–14.
J. B. Graver andW. B. Jurkat, The module Structure of Integral Designs,Journal of Combinatorial Theory A15 (1973), 75–90.
D. K. Ray-Chaudhuri andR. M. Wilson, Ont-designs,Osaka J. Math. 12 (1975), 737–744.
N. M. Singhi,personal communication, 1981.