{"id":"arxiv/2606.03613","url":"https://arxiv.org/abs/2606.03613","tags":["math.CO"],"score":0,"title":"On the maximum size of $(a,b)$-town (mod $k$) families","domain":"math.CO","source":"arxiv","authors":["Hanlin Zou"],"reviews":0,"subject":"math.CO","summary":"For integers $n \\geq k \\geq 2$ and $0 \\leq a,b \\leq k-1$, let $m_{k,n}(a,b)$ denote the maximum size of an $(a,b)$-town (mod $k$) family of an $n$-element set, a collection of subsets of whose cardinalities are congruent to $a$ modulo $k$ and whose pairwise intersections are congruent to $b$ modulo $k$. This notion generalizes the classical Oddtown and Eventown problems. We prove that $m_{k,n}(a,b)\\leq n$ whenever $a\\not\\equiv b\\pmod{k}$, thereby resolving a conjecture of Veselinov and Marinov. We also disprove another conjecture of theirs by showing that $m_{3,11}(2,2)>m_{3,11}(1,1)$. For…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}