arXiv++ Combinatorics

We study multipartite hypergraphs definable in $1$-semi\-equational theories and prove almost-linear Zarankiewicz bounds in every fixed arity $r\geq2$. More precisely, if $T$ is a $1$-semi-equational theory, then, for every formula $\varphi$ and every $t\geq2$, and every $r\geq2$, there is a constant $c$ such that each $K_{t,\ldots,t}$-free $r$-partite hypergraph defined by $\varphi$ on $n$ vertices has $O_{T,\varphi,t,r}(n^{r-1}(1+\log(1+n))^c)$ edges. In the bipartite case, a Boolean combination of $m$ $(k,1)$-semi-equations has $O_{k,t,m}(n(1+\log(1+n))^{(m-1)(k-1)})$ edges whenever it is $K_{t,t}$-free. In particular, a relation defined by one $(k,1)$-semi-equation or its negation has a linear bound. The proofs are based on incidence estimates for $k$-wise laminar indexed set systems.

In this note, we introduce the notion of ranked spreadness, a strengthening of the usual spread condition in which the elements of each member can be ordered so that their one-coordinate marginals decay geometrically with their rank. This additional structure removes the dependence on the maximum set size in random-containment estimates. We prove width-free hitting and weighted-concentration theorems for ranked-spread set systems, together with an elementary kernel-extraction theorem showing that ranked spreadness arises naturally in arbitrary distributions on small sets. Our main application is to the simulation of nonadaptive property testers by sample-based testers. If a one-sided tester has average query complexity $d$ and rejects every far input with probability at least $δ$, then, for every integer $c>d/δ$, it admits a one-sided sample-based simulation with expected sample complexity $O_{d,δ,|Σ|}\bigl(n^{1-1/c}\bigr)$. More generally, if positive inputs are rejected with probability at most $γ$ and far inputs with probability at least $δ>γ$, the same conclusion holds for every $c>d/(δ-γ)$. In particular, for constant-query nonadaptive testers we obtain an exponent $1-Θ(1/q)$, matching, up to the dependence on the rejection gap, the exponent conjectured by Fischer, Lachish, and Vasudev.

We determine the strong independence number of the qualitative independence hypergraph, $3\text{-}QI(11, 2)$, using a technique that involves considering its vertices as subsets of $\{1,2, \ldots, 11\}$ and assessing them as intersecting set systems. This gives the maximum size of colour classes in any strong colouring and thus, a lower bound on the strong chromatic number of $3\text{-}QI(11,2)$. We leverage this bound along with an upper bound of the strong chromatic number of $3\text{-}QI(10,2)$, to consequently, establish that the covering array number of $3\text{-}QI(11, 2)$, $CAN(3\text{-}QI(11,2),2) = 11$ and give a sufficient condition for a hypergraph $H$ to have $CAN(H, 2)=11$.

We study the maximum size of a set system that contains no $k$-Venn diagram, denoted by $VD_k$, as a trace. For every fixed $k\ge 3$, we prove $\text{ex}_{tr}(n,VD_k)=O_k(n^{2^k-2k+1})$, improving the direct Sauer-Shelah bound $O_k(n^{2^k-1})$. In particular, for $k=4$ the exponent decreases from $15$ to $9$. The proof starts from the theorem of Keevash, Leader, Long and Wagner for $VD_3$ and uses induction on $k$ in which two new Venn regions are forced for free at each added edge. We also record lower-bound constructions for Venn diagrams in fixed uniformity, explicit bounds for the $4$-uniform $3$-Venn problem, and a fixed uniformity trace result for the loose triangle.

We nearly settle a natural extremal question about set systems over $[n]$: the tradeoff between the {size} (number of sets) and the number of {full chains}. This question was initially raised by Johnson, Leader, and Russell [Combin.~Probab.~Comp., 2015] as a counterpart to Sperner-type results in combinatorics. Recently, a framework introduced by Ameli, Nederlof, and Wang, and independently by Dallant and Kozma [FOCS 2026] linked this question to the space- and time-complexity of Bellman-Held-Karp-style dynamic programming algorithms for permutation problems such as the traveling salesman (TSP). Precisely, they showed that a space-time product $γ^{n+o(n)}$ is feasible for the TSP, whenever a set system of (normalized) size $S$ and chain density $D$ exists, with $ γ= S^2/D$. In this paper we show an essentially {optimal} bound of $γ\approx 3.1819$ for this quantity, closing the gap between the previous best lower and upper bounds of $γ\geq 3.015$ and $ γ\leq 3.572$ respectively. This implies a TSP algorithm with space-time product $O(3.1819^n)$ for input size $n$, as well as a limit to further improvements in this broad framework. More generally, we can obtain close to optimal values $D$ for any feasible value $S$, effectively settling the question of the number of full chains at every size. The crucial step towards our results is casting the extremal combinatorics question as an {information~vs.~entropy} tradeoff involving two random variables. This reformulation {exactly} captures the optimal tradeoff for the combinatorial problem, leading to a framework in which primal-dual certificates can be derived, proving rigorous upper and lower bounds on $γ$. We also give a further application of our techniques, improving a bound of Duffus, Sands, and Winkler on the minimum size of fibres in the Boolean lattice.

The VC-dimension is a fundamental measure of the complexity of a set system. In this paper, we introduce and study a colorful variant of VC-dimension that captures the behavior of set systems on colored ground sets. By studying this new notion, we obtain a variety of geometric results. First, we prove that separable abstract convexity spaces with Radon number $D$ admit a Tverberg theorem with Tverberg number $O(D^2 r \log r)$. This bound significantly improves the $O(Dr^2\log r)$ bound of Alon and Smorodinsky from SODA'26 and is the first quasi-linear bound in $r$, in which the dependence on $D$ is not super-exponential. Second, we prove the first colorful $k$-wise Tverberg theorem for separable abstract convexity spaces. Using this theorem, we obtain a colorful selection lemma with $O(D^3)$ colors, an uncolored selection lemma for subsets of size $O(D^3)$, a weak $\varepsilon$-net theorem with nets of size $O_D(\varepsilon^{-O(D^3)})$, and a $(p,q)$-theorem with exponent of $\mathrm{poly}(D)$. All these quantitative bounds are significantly better than the best previously known general bounds for abstract convexity spaces. Finally, we extend our method to obtain a colorful Tverberg theorem for unions of convex sets, generalizing the uncolored theorem of Alon and Smorodinsky (SODA'26).

For the Erdős--Frankl--Pach problem on uniform set systems of bounded VC-dimension, the Ahlswede--Khachatrian/Mubayi--Zhao construction has long served as the standard lower-bound benchmark. We develop a recursive lifting method that goes beyond this benchmark in every dimension \(d\ge3\), proving that for every \(d\ge3\) and \(n\ge d+3\), \[ M_d(n)\ge \binom{n-1}{d}+\binom{n-4}{d-2}+M_{d-3}(n-5). \] The proof is elementary and proceeds through explicit trace obstructions. We also record a further recursive improvement in the concluding remarks.

The study of $(d+1)$-uniform set systems with VC-dimension at most $d$ links the Erdős--Ko--Rado theorem with VC-dimension. But already in 1997, Ahlswede and Khachatrian showed that this is not the right extension of the Erdős--Ko--Rado theorem. In 2025, Chao, Xu, Yip and Zhang proposed the uniform witness conjecture as a possible right extension: for $0\le s\le d$, if every set of a $(d+1)$-uniform family has a missing trace of the same fixed size $s$, then the family should have size at most $\binom{n-1}{d}$. They proved the conjecture when $s=d$, and when $s=1$ and $n$ is large. Very recently, Chao, Xu and Zakharov proved the conjecture when $s\le \frac{d}{2}$ and $n$ is large. We fill in the missing half of the picture, although the picture is not the one suggested by the conjecture. More precisely, for $d\ge 4$ and $\left\lceil \frac{d+2}{2}\right\rceil\le s\le d-1$, we construct such a family $\mathcal{F}\subseteq\binom{[n]}{d+1}$ with $|\mathcal{F}|=\binom{n-1}{d}+\binom{n-2(d+1-s)-2}{2s-d-2}$ for every $n\ge2(d+1)$, thereby disproving the uniform witness conjecture.

Gross, Mansour and Tucker introduced the partial-twuality polynomials for ribbon graphs and investigated the interpolation property of these polynomials. The ribbon group generated by $δ$ and $τ$ acts on set systems as twist $\ast$ and loop complementation $\times$, yielding five nontrivial twuality operators: $ \{\ast,\times,\ast\times ,\times\ast ,\ast\times\ast \}.$ Yan and Jin extended partial-twuality polynomials to set systems, yielding partial-$\bullet$ polynomials with $\bullet\in\{\ast,\times,\ast\times ,\times\ast ,\ast\times\ast\}.$ For partial-$\ast$ polynomials, Zhao and Yan proved that this polynomial is either even, odd, or both even-interpolating and odd-interpolating for every binary delta-matroid. In this paper, we extend this interpolation property to all the remaining nontrivial partial-twualities of binary delta-matroids. Consequently, for every binary delta-matroid and every $\bullet\in\{\ast,\times,\ast \times ,\times\ast ,\ast \times \ast \}$, the partial-$\bullet$ polynomial is either even, odd, or both even-interpolating and odd-interpolating. We also provide examples to show that the binary assumption is essential.

For integers $n\ge d+1$, let $\mathsf{M}_d(n)$ denote the maximum size of a $(d+1)$-uniform family on an $n$-element ground set with VC-dimension at most $d$. For $n\ge2d+2$, the classical construction of Ahlswede and Khachatrian, later generalized by Mubayi and Zhao, gives \[ \mathsf{M}_d(n)\ge \binom{n-1}{d}+\binom{n-4}{d-2}. \] We introduce a two-cover lifting construction and prove the recursive lower bound \[ \mathsf{M}_d(n)\ge \binom{n-1}{d}+\binom{n-4}{d-2}+\mathsf{M}_{d-3}(n-5) \] for every $d\ge 3$ and $n\ge d+3$. Consequently, \[ \mathsf{M}_d(n)\ge \binom{n-1}{d}+\binom{n-4}{d-2}+\binom{n-6}{d-3}. \] Thus the Mubayi--Zhao conjecture on the exact value of $\mathsf{M}_d(n)$ for $n\ge2(d+2)$ is false for any $d\ge 3$. The proof is elementary and proceeds entirely through an explicit analysis of traces.

A family of subsets of a $t$-set is a \emph{$d$-cover-free family} or $d$-CFF if no subset in the family is contained in the union of any $d$ other subsets. Let $t(d, n)$ denote the minimum $t$ for which there exists a $d$-CFF on a $t$-set with $n$ subsets. Since a $1$-CFF is the same as a Sperner family, using Sperner's theorem, we get $t(1, n) \sim \log_{2}(n)$ as $n$ grows. Erdös, Frankl, and Füredi (JCTA, 1982) proved that $3.106\log_{2}(n) < t(2,n) < 5.512\log_{2}(n)$. This paper focuses on generalizing $1$-CFF and $2$-CFF using a graph $G$ where vertices correspond to subsets in the set system. A $G$-Sperner$(t, n)$ is a family of subsets of a $t$-set such that each edge of $G$ specifies a pair of subsets not contained in each other, where as a $G$-CFF$(t, n)$ is a family of subsets of a $t$-set such that it is $G$-Sperner and the union of a pair of subsets corresponding to each edge of $G$ does not contain any other subset in the family. Let $t_s(G)$ and $t(G)$ denote the minimum $t$ for which there exist a $G$-Sperner$(t, n)$ and a $G$-CFF$(t, n)$, respectively. In this way, $t_s(K_n) = t(1, n)$ and $t(K_n) = t(2, n)$. Firstly, we prove $t_s(G) = t(1, χ(G))$ for any simple graph $G$ and provide various upper and lower bounds for $t(G)$. The \emph{trivial bound}, $t(1, n) \leq t(G) \leq t(2, n)$ holds for any simple graph $G$ with no isolated vertex, with the lower bound tight for an infinite family of star graphs and the upper bound tight for complete graphs. We study when these bounds can be improved and give better constructive upper bounds for families of graphs such as stars, paths, cycles, wheels, and windmill graphs. In particular, a construction based on mixed-radix Gray codes yields $\log_{2}(n) \leq t(P_n) \leq t(C_n) \leq 1.893\log_{2}(n) + \mathcal{O}(1)$ where $P_n$ and $C_n$ are paths and cycles with $n$ vertices.

We study $t$-intersecting and $t$-cross-intersecting families of $k$-dimensional subspaces in finite vector spaces of dimension $n$. We show that all large $t$-intersecting families admit a governing low-dimensional structure for $n \ge 2k+1$. This result, together with its cross-intersecting variant, allows us to prove analogues of several classical extremal set-theoretic results. In particular, we determine the intersecting families with the largest diversity, and we establish a Frankl-type degree-diversity result that generalizes the Hilton-Milner theorem. Our proofs rely on simplification procedures for $t$-intersecting and $t$-cross-intersecting families of subspaces. These procedures are based on the concept of subspace spreadness, a generalization of the classical notion of spreadness for set systems.

The chain length of a set family $\mathcal{S} \subseteq 2^{[m]}$ is the largest ascending sequence of sets in containment order in the union-closure of $\mathcal S$. In this work, we provide a significantly simpler and more optimal characterization of the sparsifiability of set systems in terms of their chain length, improving on the work of Brakensiek and Guruswami [STOC 2025]. Our proof relies on a generalization of Karger's [SODA 1993] famous contraction algorithm and its recent linear algebraic extensions [Khanna-Putterman-Sudan SODA 2024], and our resulting bounds show that, just as VC dimension characterizes the \emph{additive sparsifiability} of a set system, chain length governs the \emph{multiplicative sparsifiability}. As a corollary, we obtain improved bounds for weighted CSP sparsification.

We provide improved space-time tradeoffs for permutation problems over additively idempotent semi-rings. In particular, there is an algorithm for the Traveling Salesperson Problem that solves $N$-vertex instances using space $S$ and time $T$ where $S\cdot T \leq 3.7493^{N}$. This improves a previous work by Koivisto and Parviainen [SODA'10] where $S\cdot T \leq 3.9271^N$, and overcomes a barrier they identified, as their bound was shown to be optimal within their framework. To get our results, we introduce a new parameter of a set system that we call the chain efficiency. This relates the number of maximal chains contained in the set system with the cardinality of the system. We show that set systems of high efficiency imply efficient space-time tradeoffs for permutation problems, and give constructions of set systems with high chain efficiency, disproving a conjecture by Johnson, Leader and Russel [Comb. Probab. Comput.'15].

Addressing questions raised in recent papers, we study the $r$-distance graph $H_r(n)$ on the Boolean cube $\{0,1\}^n$, where two vertices are adjacent if their Hamming distance is exactly $r$. For fixed integers $s \ge 2$ and even $r \ge 2$, we determine the asymptotic order of the $s$-independence number $α_s(H_r(n))$, showing that \[ α_s\left(H_r(n)\right)=Θ\left(\frac{2^n}{n^{r/2}}\right). \] The upper bound is derived via a reduction to extremal problems for sunflower-free set systems, while the lower bound is obtained using algebraic constructions based on BCH codes and constant-weight codes.

The traveling salesman problem (TSP) is a cornerstone of combinatorial optimization and has deeply influenced the development of algorithmic techniques in both exact and approximate settings. Yet, improving on the decades-old bounds for solving TSP exactly remains elusive: the dynamic program of Bellman, Held, and Karp from 1962 uses $2^{n+O(\log{n})}$ time and space, and the divide-and-conquer approach of Gurevich and Shelah from 1987 uses $4^{n + O(\log^2{n})}$ time and polynomial space. A straightforward combination of the two algorithms trades off $T^{n+o(n)}$ time and $S^{n+o(n)}$ space at various points of the curve $ST = 4$. An improvement to this tradeoff when $2 < T < 2\sqrt{2}$ was found by Koivisto and Parviainen (SODA 2010), yielding a minimum of $ST \approx 3.93$. Koivisto and Parviainen show their method to be optimal among a broad class of partial-order-based approaches, and to date, no improvement or alternative method has been found. In this paper we give a tradeoff that strictly improves all previous ones for all $2 < T < 4$, achieving a minimum of $ST < 3.572$. A key ingredient is the construction of sparse set systems (hypergraphs) that admit a large number of maximal chains. The existence of such objects is of independent interest in extremal combinatorics, likely to see further applications. Along the way we disprove a combinatorial conjecture of Johnson, Leader, and Russell from 2013, relating it with the optimality of the previous tradeoff schemes for TSP. Our techniques extend to a broad class of permutation problems over arbitrary semirings, yielding improved space-time tradeoffs in these settings as well.

We prove that the maximum size of a family of $k$-element subsets of the set $[n] = \{1, 2, \ldots, n\}$ which contains no singleton intersection is $\binom{n-2}{k-2}$ when $3k-3 \le n \le k^2-k+1$. This improves upon a recent result of Cherkashin. Our proof uses Schrijver's variant of the Lovász number and furnishes an infinite family of graphs where the Schrijver variant of the Lovász number is strictly smaller than the Lovász number. As a consequence of our result and a recent result of Keller and Lifshitz, it follows that for $k$ sufficiently large, the maximum size of a $k$-uniform family on $[n]$ containing no singleton intersection is $\binom{n-2}{k-2}$ for all $n\ge 3k-3$, which is the best possible threshold.

Since the breakthrough superpolynomial multilinear formula lower bounds of Raz (Theory of Computing 2006), proving such lower bounds against multilinear algebraic branching programs (mABPs) has been a longstanding open problem in algebraic complexity theory. All known multilinear lower bounds rely on the min-partition rank method, and the best bounds against mABPs have remained quadratic (Alon, Kumar, and Volk, Combinatorica 2020). We show that the min-partition rank method cannot prove superpolynomial mABP lower bounds: there exists a full-rank multilinear polynomial computable by a polynomial-size mABP. This is an unconditional barrier: new techniques are needed to separate $\mathsf{mVBP}$ from higher classes in the multilinear hierarchy. Our proof resolves an open problem of Fabris, Limaye, Srinivasan, and Yehudayoff (ECCC 2026), who showed that the power of this method is governed by the minimum size $N(n)$ of a combinatorial object called a $1$-balanced-chain set system, and proved $N(n) \le n^{O(\log n/\log\log n)}$. We prove $N(n) = n^{O(1)}$ by giving the chain-builder a binary choice at each step, biasing what was a symmetric random walk into one where the imbalance increases with probability at most $1/4$; a supermartingale argument combined with a multi-scale recursion yields the polynomial bound.

Let $V$ be an $n$-dimension real vector space with a direct sum decomposition $V = V_1 \oplus \cdots \oplus V_r$. Let $\mathcal{P} = \{(A_i, B_i) : i \in [m]\}$ be a skew Bollobás system of subspaces of $V$ such that each $i\in [m]$, $ A_i = \bigoplus_{k=1}^r (A_i \cap V_k)$ and $ B_i = \bigoplus_{k=1}^r (B_i \cap V_k)$. We prove that $$\sum_{i=1}^{m} \prod_{k=1}^{r} \left[ \binom{a_{i,k} + b_{i,k}}{a_{i,k}} (1 + a_{i,k} + b_{i,k})^{-1} \right] \leq 1,$$ where $a_{i,k} = \dim(A_i \cap V_k)$ and $b_{i,k} = \dim(B_i \cap V_k)$. This extends a recent result of Yue from set systems to finite dimensional subspaces. We then consider Tuza's theorem on weak Bollobás system for $d$-tuples. We give an alternative proof of the original set version of Tuza, and also establish its vector space analogue. Precisely, let $\mathcal{P} = \{(A_i^{(1)}, \ldots, A_i^{(d)}) : i \in [m]\}$ be a skew Bollobás system of $d$-tuples of subspaces of finite dimensional space $V$ with $a^{(\ell)}_i=\dim (A_i^{(\ell)})$. Then, for any positive real numbers $p_1, \ldots, p_d$ satisfying $p_1 + \cdots + p_d = 1$, we prove that $ \sum_{i=1}^{m} \prod_{\ell=1}^{d} p_{\ell}^{a_i^{(\ell)}} \leq 1. $

It was proved in (Levit and Mandrescu, 2022) that both $(V(G), Crown(G))$ and $(V(G), CritIndep(G))$ are augmentoids, established partial augmentation phenomena for the family $Ψ(G)$ of local maximum independent sets, and asked in Problem~5.5 to characterize the graphs whose family $Ψ(G)$ is an augmentoid. We prove that the answer is positive in full generality: for every finite simple graph $G$, the set system $(V(G),Ψ(G))$ is an augmentoid. The proof is constructive. If $S,T\inΨ(G)$, then the explicit choice \[ A=S \setminus N[T],\qquad B=T \setminus N[S] \] satisfies \[ T\cup A\inΨ(G),\qquad S\cup B\inΨ(G),\qquad |T\cup A|=|S\cup B|. \] As a structural consequence, for every fixed $S\inΨ(G)$ the map $T\mapsto S\cup T$ induces a canonical bijection from $Ψ(G-N[S])$ onto the members of $Ψ(G)$ containing $S$, and \[ α(G)=|S|+α(G-N[S]). \] This decomposition also yields explicit formulas for the intersection and the union of all the maximum independent sets extending $S$, together with counting formulas for the local maximum and maximum independent sets containing $S$. We also add a short visual guide to the framework $CritIndep(G) \subseteq Crown(G)\subseteq Psi(G)$ and end with several natural follow-up problems suggested by the theorem.