arXiv++ Combinatorics

An eventown family is a family of even-sized subsets of $[n]$ in which every two distinct members have an even-sized intersection. A classical theorem of Berlekamp and Graver shows that the maximum size of such a family is $2^{\lfloor n/2\rfloor}$. The supersaturation problem for eventown asks how many odd-intersection pairs must occur when this extremal bound is exceeded. For a family $\mathcal F$ of even-sized subsets of $[n]$, let $e(\mathcal F)$ denote the number of unordered pairs whose intersection size is odd. O'Neill conjectured that if $|\mathcal F|=2^{\lfloor n/2\rfloor}+s$, then $e(\mathcal F)\ge s\,2^{\lfloor n/2\rfloor-1}$ for \[ 1\le s\le 2^{\lfloor n/2\rfloor}-2^{\lfloor n/4\rfloor}. \] Previously, the conjecture was known for $s=1,2$, and, for $s\le 2^{\lfloor n/8\rfloor}/n$ with $n$ sufficiently large. We prove the conjectured bound for \[ 1\le s\le \frac{2^{\lfloor n/2\rfloor}}{26}, \] extending the known range to a fixed positive proportion of the extremal eventown size. The bound is sharp throughout this range. As further consequences, we derive a lower bound valid for arbitrary excess $s$, which improves the previously known estimate in an additional range. We also establish stability and removal results for families of extremal size satisfying $e(\mathcal F)<2^{\lfloor n/2\rfloor-1}$, showing that such a family is close to an extremal eventown family and can be made eventown by deleting a small number of its members.

The low-power error-correcting cooling (LPECC) codes and constant-power error-correcting cooling (CPECC) codes, introduced in [IEEE Trans. Inf. Theory, 64 (2018), 3062--3085; 66 (2020), 4804--4818], respectively, are two coding schemes designed to simultaneously control the peak temperature and average power consumption of on-chip buses while providing error-correction capability for transmitted information. This paper establishes new upper bounds for both $(n,1,w,w-2)$-CPECC codes and $(n,t,w,w-2)$-CPECC codes using graph-theoretic techniques, and constructs several new families of optimal CPECC codes using combinatorial configurations. Moreover, it completely resolves the conjecture concerning CPECC codes posed in [IEEE Trans. Inf. Theory, DOI: 10.1109/TIT.2026.3721101]. Finally, we derive a new upper bound for $(n,t,w,w-2)$-LPECC codes by probabilistic method, along with new optimal families, and establish the relationship between optimal $(n,t,w,w-2)$-LPECC codes and optimal $(n+1,t,w,w-2)$-CPECC codes.

Let $f_{\ell}(n)$ be the largest size of a family $\mathcal{A}\subseteq2^{[n]}$ such that no member has size divisible by $\ell$, while the intersection of every two distinct members has size divisible by $\ell$, and let $ω(\ell)$ denote the number of distinct prime divisors of $\ell$. For any prime power $\ell$, the classical answer is $f_{\ell}(n)=n$. When $ω(\ell)\geq 2$, Bukh, Chao, and Zheng recently proved $ω(\ell)n-O_{\ell}\left(n^{\frac{ω(\ell)-2}{ω(\ell)-1}}(\log n)^{C_{\ell}}\right)\leq f_{\ell}(n)\leqω(\ell)n-2ω(\ell)\log n+11$ for some $C_{\ell}>0$. When $\ell$ has at least two distinct odd prime divisors, they further used Fourier analysis to improve the upper bound to $f_{\ell}(n)\leqω(\ell)n-(2ω(\ell)+\varepsilon_{\ell})\log n$ for some $\varepsilon_{\ell}>0$, provided that $n$ is sufficiently large in terms of $\ell$ . For every fixed $\ell$ with $ω(\ell)\geq2$, we prove \[ f_{\ell}(n)\leqω(\ell)n-Ω_{\ell}(\log n\log\log n) \] for large $n$. The upper bound relies on a submatrix lemma of Bhowmick, Dvir, and Lovett, which is based on the bounded-torsion polynomial Freiman--Ruzsa conjecture recently proved by Gowers, Green, Manners, and Tao.

We establish new lower bounds for the strength and partition rank of the determinant. For every prime $p$, we prove the exact identity \[ \operatorname{str}(\mathrm{det}_p)=p. \] A weak monotonicity argument, combined with a bound for gaps between consecutive primes, then gives $\operatorname{str}(\mathrm{det}_n)\ge (1-o(1))n^{0.475}$ for sufficiently large $n$. Since the Birch rank of $\mathrm{det}_n$ is always $4$, this gives the first explicit family showing that the dependence on the degree in bounds for strength in terms of Birch rank is unavoidable. Viewing $\mathrm{det}_n$ as an $n$-linear form in its columns, we also prove that its partition rank is at least the largest prime not exceeding $n$. Consequently, \[ n-n^{0.525}\le \operatorname{prk}(\mathrm{det}_n)\le n \] for all sufficiently large $n$, and hence the partition rank of the determinant is $n-o(n)$. The proof introduces an intersection-theoretic method for lower-bounding strength: a short strength decomposition produces a nowhere-vanishing section of a split vector bundle on the complement of the determinantal hypersurface, while a nonzero top Chern class in the Chow ring of $\mathrm{PGL}_n$ obstructs such a section.

We study the generalized Turán problem regarding cliques with restricted intersections, which highlights the motivation from extremal set theory. Let $L=\{\ell_1,\dots,\ell_s\}\subset [0,r-1]$ be a fixed integer set with $|L|\notin \{1,r\}$ and $\ell_1<\dots<\ell_s$, and let $Ψ_r(n,L)$ denote the maximum number of $r$-cliques in an $n$-vertex graph whose $r$-cliques are $L$-intersecting as a family of $r$-subsets. Helliar and Liu recently initiated the systematic study of the function $Ψ_r(n,L)$ and showed that $Ψ_r(n,L)\le \left(1-\frac{1}{3r}\right) \prod_{\ell\in L}\frac{n-\ell}{r-\ell}$ for large $n$, improving the trivial bound from the Deza--Erdős--Frankl theorem by a factor of $1-\frac{1}{3r}$. In this article, we improve their result by showing that as $n$ goes to infinity $Ψ_r(n,L)=Θ_{r,L}(n^{|L|})$ if and only if $\ell_1,\dots,\ell_s,r$ form an arithmetic progression and fully determining the corresponding exact values of $Ψ_r(n,L)$ for sufficiently large $n$ in this case. Moreover, when $L=[t,r-1]$, for the generalized Turán extension of the Erdős--Ko--Rado theorem given by Helliar and Liu, we show a Hilton--Milner-type stability result.

A low-power error-correcting cooling (LPECC) code was introduced as a coding scheme for communication over a bus by Chee et al. to control the peak temperature, the average power consumption of on-chip buses, and error-correction for the transmitted information, simultaneously. Specifically, an $(n, t, w, e)$-LPECC code is a coding scheme over $n$ wires that avoids state transitions on the $t$ hottest wires and allows at most $w$ state transitions in each transmission, and can correct up to $e$ transmission errors. In this paper, we study the maximum possible size of an $(n, t, w, e)$-LPECC code, denoted by $C(n,t,w,e)$. When $w=e+2$ is large, we establish a general upper bound $C(n,t,w,w-2)\leq \lfloor \binom{n+1}{2}/\binom{w+t}{2}\rfloor$; when $w=e+2=3$, we prove $C(n,t,3,1) \leq \lfloor \frac{n(n+1)}{6(t+1)}\rfloor$. Both bounds are tight for large $n$ satisfying some divisibility conditions. Previously, tight bounds were known only for $w=e+2=3,4$ and $t\leq 2$. In general, when $w=e+d$ is large for a constant $d$, we determine the asymptotic value of $C(n,t,w,w-d)\sim \binom{n}{d}/\binom{w+t}{d}$ as $n$ goes to infinity, which can be extended to $q$-ary codes.

Motivated by the study of a variant of sunflowers, Alon and Holzman recently introduced focal-free hypergraphs. In this paper, we show that there is an interesting connection between the maximum size of focal-free hypergraphs and the renowned Erdős Matching Conjecture on the maximum number of edges that can be contained in a uniform hypergraph with bounded matching number. As a consequence, we give asymptotically optimal bounds on the maximum sizes of focal-free uniform hypergraphs and codes, thereby significantly improving the previous results of Alon and Holzman. Moreover, by using the existentce results of combinatorial designs and orthogonal arrays, we are able to explicitly determine the exact sizes of maximum focal-free uniform hypergraphs and codes for a wide range of parameters.

Frameproof codes have been extensively studied for many years due to their application in copyright protection and their connection to extremal set theory. In this paper, we investigate upper bounds on the cardinality of wide-sense $t$-frameproof codes. For $t=2$, we apply results from Sperner theory to give a better upper bound, which significantly improves a recent bound by Zhou and Zhou. For $t\geq 3$, we provide a general upper bound by establishing a relation between wide-sense frameproof codes and cover-free families. Finally, when the code length $n$ is at most $\frac{15+\sqrt{33}}{24}(t-1)^2$, we show that a wide-sense $t$-frameproof code has at most $n$ codewords, and the unique optimal code consists of all weight-one codewords. As byproducts, our results improve several best known results on binary $t$-frameproof codes.

We study the supersaturation problems of oddtown and eventown. Given a family $\mathcal A$ of subsets of an $n$ element set, let $op(\mathcal A)$ denote the number of distinct pairs $A,B\in \mathcal A$ for which $|A \cap B|$ is odd. We show that if $\mathcal A$ consists of $n+s$ odd-sized subsets, then $op(\mathcal A)\geq s+2$, which is tight when $s\le n-4$. This disproves a conjecture by O'Neill on the supersaturation problem of oddtown. For the supersaturation problem of eventown, we show that for large enough $n$, if $\mathcal A$ consists of $2^{\lfloor \frac n 2\rfloor}+s$ even-sized subsets, then $op(\mathcal A)\ge s\cdot2^{\lfloor \frac n 2\rfloor-1} $ for any positive integer $s\le \frac{2^{\lfloor\frac n 8\rfloor}} n$. This partially proves a conjecture by O'Neill on the supersaturation problem of eventown. Previously, the correctness of this conjecture was only verified for $s=1$ and $2$. We further provide a twice weaker lower bound in this conjecture for eventown, that is $op(\mathcal{A})\ge s\cdot 2^{\lfloor n/2\rfloor-2}$ for general $n$ and $s$ by using discrete Fourier analysis. Finally, some asymptotic results for the lower bounds of $op(\mathcal A)$ are given when $s$ is large for both problems.