几个新的奇镇和偶镇问题

A few new oddtown and eventown problems

摘要 Abstract

给定一个向量 $\alpha = (\alpha_1, \ldots, \alpha_k) \in \mathbb{F}_2^k$,如果集合族 $\mathcal{F}$ 中任意 $i$ 个不同集合的交集大小满足 $\alpha_i \pmod{2}$,则称其满足 $\alpha$-交集模式模 $2$。在这一表述下,经典的奇镇问题和偶镇问题分别对应于向量 $\alpha=(1,0)$ 和 $\alpha=(0,0)$。本文渐近地确定了 $n$ 元集中所有满足 $\alpha$-交集模式模 $2$ 的最大子集族的大小,其中 $\alpha \in \mathbb{F}_2^3$ 和 $\alpha \in \mathbb{F}_2^4$。最后,我们研究了模 $3$ 限制下的相应问题。

Given a vector $\alpha = (\alpha_1, \ldots, \alpha_k) \in \mathbb{F}_2^k$, we say a collection of subsets $\mathcal{F}$ satisfies $\alpha$-intersection pattern modulo $2$ if all $i$-wise intersections consisting of $i$ distinct sets from $\mathcal{F}$ have size $\alpha_i \pmod{2}$. In this language, the classical oddtown and eventown problems correspond to vectors $\alpha=(1,0)$ and $\alpha=(0,0)$ respectively. In this paper, we determine the largest such set families of subsets on a $n$-element set with $\alpha$-intersection pattern modulo $2$ for all $\alpha \in \mathbb{F}_2^3$ and all $\alpha \in \mathbb{F}_2^4$ asymptotically. Lastly, we consider the corresponding problem with restrictions modulo $3$.