arXiv++ Combinatorics

A balanced incomplete block design is a set system in which all pairs of distinct elements occur with a constant frequency. By contrast, a Sarvate-Beam design induces an interval of distinct frequencies on pairs. In this paper, we settle the existence of a Sarvate-Beam variant of group divisible designs of uniform type with block size three.

The {\em disjointness graph} of a set system is a graph whose vertices are the sets, two being connected by an edge if and only if they are disjoint. It is known that the disjointness graph $G$ of any system of segments in the plane is {\em $χ$-bounded}, that is, its chromatic number $χ(G)$ is upper bounded by a function of its clique number $ω(G)$. Here we show that this statement does not remain true for systems of polygonal chains of length $2$. We also construct systems of polygonal chains of length $3$ such that their disjointness graphs have arbitrarily large girth and chromatic number. In the opposite direction, we show that the class of disjointness graphs of (possibly self-intersecting) \emph{$2$-way infinite} polygonal chains of length $3$ is $χ$-bounded: for every such graph $G$, we have $χ(G)\le(ω(G))^3+ω(G).$

The finite-degree Zariski (Z-) closure is a classical algebraic object, that has found a key place in several applications of the polynomial method in combinatorics. In this work, we characterize the finite-degree Z-closures of a subclass of symmetric sets (subsets that are invariant under permutations of coordinates) of the Boolean cube, in positive characteristic. Our results subsume multiple statements on finite-degree Z-closures that have found applications in extremal combinatorial problems, for instance, pertaining to set systems (Hegedűs, Stud. Sci. Math. Hung. 2010; Hegedűs, arXiv 2021), and Boolean circuits (Hrǔbes et al., ICALP 2019). Our characterization also establishes that for the subclasses of symmetric sets that we consider, the finite-degree Z-closures have low computational complexity. A key ingredient in our characterization is a new variant of finite-degree Z-closures, defined using vanishing conditions on only symmetric polynomials satisfying a degree bound.

We study combinatorial inequalities for various classes of set systems: matroids, polymatroids, poset antimatroids, and interval greedoids. We prove log-concavity inequalities for counting certain weighted feasible words, which generalize and extend several previous results establishing Mason conjectures for the numbers of independent sets of matroids. Notably, we prove matching equality conditions for both earlier inequalities and our extensions. In contrast with much of the previous work, our proofs are combinatorial and employ nothing but linear algebra. We use the language formulation of greedoids which allows a linear algebraic setup, which in turn can be analyzed recursively. The underlying non-commutative nature of matrices associated with greedoids allows us to proceed beyond polymatroids and prove the equality conditions. As further application of our tools, we rederive both Stanley's inequality on the number of certain linear extensions, and its equality conditions, which we then also extend to the weighted case.

Tusnády's problem asks to bound the discrepancy of points and axis-parallel boxes in $\mathbb{R}^d$. Algorithmic bounds on Tusnády's problem use a canonical decomposition of Matoušek for the system of points and axis-parallel boxes, together with other techniques like partial coloring and / or random-walk based methods. We use the notion of \emph{shallow cell complexity} and the \emph{shallow packing lemma}, together with the chaining technique, to obtain an improved decomposition of the set system. Coupled with an algorithmic technique of Bansal and Garg for discrepancy minimization, which we also slightly extend, this yields improved algorithmic bounds on Tusnády's problem. For $d\geq 5$, our bound matches the lower bound of $Ω(\log^{d-1}n)$ given by Matoušek, Nikolov and Talwar [IMRN, 2020] -- settling Tusnády's problem, upto constant factors. For $d=2,3,4$, we obtain improved algorithmic bounds of $O(\log^{7/4}n)$, $O(\log^{5/2}n)$ and $O(\log^{13/4}n)$ respectively, which match or improve upon the non-constructive bounds of Nikolov for $d\geq 3$. Further, we also give improved bounds for the discrepancy of set systems of points and polytopes in $\mathbb{R}^d$ generated via translations of a fixed set of hyperplanes. As an application, we also get a bound for the geometric discrepancy of anchored boxes in $\mathbb{R}^d$ with respect to an arbitrary measure, matching the upper bound for the Lebesgue measure, which improves on a result of Aistleitner, Bilyk, and Nikolov [MC and QMC methods, \emph{Springer, Proc. Math. Stat.}, 2018] for $d\geq 4$.

A famous conjecture of Ryser states that any $r$-partite set system has transversal number at most $r-1$ times their matching number. This conjecture is only known to be true for $r\leq3$ in general, for $r\leq5$ if the set system is intersecting, and for $r\leq9$ if the intersecting set system is linear. In this note, we deal with Ryser's Conjecture for intersecting $r$-partite linear systems; that is, if $τ$ is the transversal number for an intersecting $r$-partite linear system, then Ryser's Conjecture states that $τ\leq r-1$. If this conjecture is true, this is known to be sharp for $r$ for which there exists a projective plane of order $r-1$. There has also been considerable effort to find intersecting $r$-partite set systems whose transversal number is $r-1$. In this note, the following is proved: if $r\geq4$ is an even integer, then $f_l(r)\geq3(r-2)+1$, where $f_l(r)$ is the minimum number of lines of an intersecting $r$-partite linear system whose transversal number is $r-1$. This lower bound gives an exact value for $f_l(r)$, for some small values of $r$. Also, we prove that any $r$-partite linear system satisfies $τ\leq r-1$ if $ν_2\leq r$ for all $r\geq3$ odd integer and $ν_2\leq r-1$ for all $r\geq4$ even integer, where $ν_2$ is the maximum cardinality of a subset of lines $R\subseteq\mathcal{L}$ such that every triplet of different elements of $R$ does not have a common point.

In this work we show that high dimensional expansion implies locally testable code. Specifically, we define a notion that we call high-dimensional-expanding-system (HDE-system). This is a set system defined by incidence relations with certain high dimensional expansion relations between its sets. We say that a linear code is modelled over HDE-system, if the collection of linear constraints that the code satisfies could by described via the HDE-system. We show that a code that can be modelled over HDE-system is locally testable. This implies that high dimensional expansion phenomenon solely implies local testability of codes. Prior work had to rely to local notions of local testability to get some global forms of testability (e.g. co-systolic expansion from local one, global agreement from local one), while our work infers global testability directly from high dimensional expansion without relying on some local form of testability. The local testability result that we obtain from HDE-systems is, in fact, stronger than standard one, and we term it amplified local testability. We further show that most of the well studied locally testable codes as Reed-Muller codes and more generally affine invariant codes with single-orbit property fall into our framework. Namely, it is possible to show that they are modelled over an HDE-system, and hence the family of all p-ary affine invariant codes is amplified locally testable. This yields the strongest known testing results for affine invariant codes with single orbit, strengthening the work of Kaufman and Sudan.

Given a finite set of points $S\subset\mathbb{R}^d$, a $k$-set of $S$ is a subset $A \subset S$ of size $k$ which can be strictly separated from $S \setminus A $ by a hyperplane. Similarly, a $k$-facet of a point set $S$ in general position is a subset $Δ\subset S$ of size $d$ such that the hyperplane spanned by $Δ$ has $k$ points from $S$ on one side. For a probability distribution $P$ on $\mathbb{R}^d$, we study $E_P(k,n)$, the expected number of $k$-facets of a sample of $n$ random points from $P$. When $P$ is a distribution on $\mathbb{R}^2$ such that the measure of every line is 0, we show that $E_P(k,n) = O(n(k+1)^{1/4})$. Our argument is based on a technique by Bárány and Steiger. We study how it may be possible to improve this bound using the continuous version of the polynomial partitioning theorem. This motivates a question concerning the points of intersection of an algebraic curve and the $k$-edge graph of a set of points. We also study a variation on the $k$-set problem for the set system whose set of ranges consists of all translations of some strictly convex body in the plane. The motivation is to show that the technique by Bárány and Steiger is tight for a natural family of set systems. For any such set system, we determine bounds for the expected number of $k$-sets which are tight up to logarithmic factors.

Combinatorial design theory studies set systems with certain balance and symmetry properties and has applications to computer science and elsewhere. This paper presents a modular approach to formalising designs for the first time using Isabelle and assesses the usability of a locale-centric approach to formalisations of mathematical structures. We demonstrate how locales can be used to specify numerous types of designs and their hierarchy. The resulting library, which is concise and adaptable, includes formal definitions and proofs for many key properties, operations, and theorems on the construction and existence of designs.

We study the connections between the notions of combinatorial discrepancy and graph degeneracy. In particular, we prove that the maximum discrepancy over all subgraphs $H$ of a graph $G$ of the neighborhood set system of $H$ is sandwiched between $Ω(\log\mathrm{deg}(G))$ and $\mathcal{O}(\mathrm{deg}(G))$, where $\mathrm{deg}(G)$ denotes the degeneracy of $G$. We extend this result to inequalities relating weak coloring numbers and discrepancy of graph powers and deduce a new characterization of bounded expansion classes. Then, we switch to a model theoretical point of view, introduce pointer structures, and study their relations to graph classes with bounded expansion. We deduce that a monotone class of graphs has bounded expansion if and only if all the set systems definable in this class have bounded hereditary discrepancy. Using known bounds on the VC-density of set systems definable in nowhere dense classes we also give a characterization of nowhere dense classes in terms of discrepancy. As consequences of our results, we obtain a corollary on the discrepancy of neighborhood set systems of edge colored graphs, a polynomial-time algorithm to compute $\varepsilon$-approximations of size $\mathcal{O}(1/\varepsilon)$ for set systems definable in bounded expansion classes, an application to clique coloring, and even the non-existence of a quantifier elimination scheme for nowhere dense classes.

Let $\mathcal{F}\subset 2^{[n]}$ be a set family such that the intersection of any two members of $\mathcal{F}$ has size divisible by $\ell$. The famous Eventown theorem states that if $\ell=2$ then $|\mathcal{F}|\leq 2^{\lfloor n/2\rfloor}$, and this bound can be achieved by, e.g., an `atomic' construction, i.e. splitting the ground set into disjoint pairs and taking their arbitrary unions. Similarly, splitting the ground set into disjoint sets of size $\ell$ gives a family with pairwise intersections divisible by $\ell$ and size $2^{\lfloor n/\ell\rfloor}$. Yet, as was shown by Frankl and Odlyzko, these families are far from maximal. For infinitely many $\ell$, they constructed families $\mathcal{F}$ as above of size $2^{Ω(n\log \ell/\ell)}$. On the other hand, if the intersection of any number of sets in $\mathcal{F}\subset 2^{[n]}$ has size divisible by $\ell$, then it is easy to show that $|\mathcal{F}|\leq 2^{\lfloor n/\ell\rfloor}$. In 1983 Frankl and Odlyzko conjectured that $|\mathcal{F}|\leq 2^{(1+o(1)) n/\ell}$ holds already if one only requires that for some $k=k(\ell)$ any $k$ distinct members of $\mathcal{F}$ have an intersection of size divisible by $\ell$. We completely resolve this old conjecture in a strong form, showing that $|\mathcal{F}|\leq 2^{\lfloor n/\ell\rfloor}+O(1)$ if $k$ is chosen appropriately, and the $O(1)$ error term is not needed if (and only if) $\ell \, | \, n$, and $n$ is sufficiently large. Moreover the only extremal configurations have `atomic' structure as above. Our main tool, which might be of independent interest, is a structure theorem for set systems with small 'doubling'.

Given a family $\mathcal F$ of $k$-element sets, $S_1,\ldots,S_r\in\mathcal F$ form an {\em $r$-sunflower} if $S_i \cap S_j =S_{i'} \cap S_{j'}$ for all $i \neq j$ and $i' \neq j'$. According to a famous conjecture of Erd\H os and Rado (1960), there is a constant $c=c(r)$ such that if $|\mathcal F|\ge c^k$, then $\mathcal F$ contains an $r$-sunflower. We come close to proving this conjecture for families of bounded {\em Vapnik-Chervonenkis dimension}, VC-dim$(\mathcal F)\le d$. In this case, we show that $r$-sunflowers exist under the slightly stronger assumption $|\mathcal F|\ge2^{10k(dr)^{2\log^{*} k}}$. Here, $\log^*$ denotes the iterated logarithm function. We also verify the Erd\H os-Rado conjecture for families $\mathcal F$ of bounded {\em Littlestone dimension} and for some geometrically defined set systems.

In this paper we study generalizations of classical results on intersection patterns of set systems in $\mathbb{R}^d$, such as the fractional Helly theorem or the $(p,q)$-theorem, in the setting of arbitrary triangulable spaces with a forbidden homological minor. Given a simplicial complex $K$ and an integer $b$, we say that a family $\mathcal{F}$ of subcomplexes of some simplicial complex $\mathcal{U}$ is a \emph{$(K,b)$-free cover} if (i) $K$ is a forbidden homological minor of $\mathcal{U}$, and (ii) the $j$th reduced Betti number $\tildeβ_j(\bigcap_{S\in {\mathcal{G}}}S,\mathbb{Z}_2)$ is strictly less than $b$ for all $0\leq j < \dim K$ and all nonempty subfamilies $\mathcal{G}\subseteq \mathcal{F}$. We show that for every $K$ and $b$, the fractional Helly number of a $(K,b)$-free cover is at most $μ(K)+1$, where $μ(K)$ is the maximum sum of the dimensions of two disjoint faces in~$K$. This implies that the assertion of the $(p,q)$-theorem holds for every $p \ge q > μ(K)$ and every $(K,b)$-free cover $\mathcal{F}$. For $b=1$ and a suitable $K$ this recovers the original $(p,q)$-theorem and its generalization to good covers. Interestingly, our results show that that the range of parameters $(p,q)$ for which the $(p,q)$-theorem holds is independent of $b$. Our proofs use Ramsey-type arguments combined with the notion of stair convexity of Bukh et al. to construct (forbidden) homological minors in cubical complexes.

The class of exact transferable utility coalitional games, introduced in 1972 by Schmeidler, has been studied both in the context of game theory and in the context of imprecise probabilities. We characterize the cone of exact games by describing the minimal set of linear inequalities defining this cone; these facet-defining inequalities for the exact cone appear to correspond to certain set systems (= systems of coalitions). We noticed that non-empty proper coalitions having non-zero coefficients in these facet-defining inequalities form set systems with particular properties. More specifically, we introduce the concept of a semi-balanced system of coalitions, which generalizes the classic concept of a balanced coalitional system in cooperative game theory. The semi-balanced coalitional systems provide valid inequalities for the exact cone and minimal semi-balanced systems (in the sense of inclusion of set systems) characterize this cone. We also introduce basic classification of minimal semi-balanced systems, their pictorial representatives and a substantial concept of an indecomposable (minimal) semi-balanced system of coalitions. The main result of the paper is that indecomposable semi-balanced systems are in one-to-one correspondence with facet-defining inequalities for the exact cone. The secondary relevant result is the rebuttal of a former conjecture claiming that a coalitional game is exact iff it is totally balanced and its anti-dual is also totally balanced. We additionally characterize those inequalities which are facet-defining both for the exact cone and the cone of totally balanced games.

Convex geometries (Edelman and Jamison, 1985) are finite combinatorial structures dual to union-closed antimatroids or learning spaces. We define an operation of resolution for convex geometries, which replaces each element of a base convex geometry by a fiber convex geometry. Contrary to what happens for similar constructions -- compounds of hypergraphs, as in Chein, Habib and Maurer (1981), and compositions of set systems, as in Mohring and Radermacher (1984) -- , resolutions of convex geometries always yield a convex geometry. We investigate resolutions of special convex geometries: ordinal and affine. A resolution of ordinal convex geometries is again ordinal, but a resolution of affine convex geometries may fail to be affine. A notion of primitivity, which generalize the corresponding notion for posets, arises from resolutions: a convex geometry is primitive if it is not a resolution of smaller ones. We obtain a characterization of affine convex geometries that are primitive, and compute the number of primitive convex geometries on at most four elements. Several open problems are listed.

The cut sets of a graph are special sets of vertices whose removal disconnects the graph. They are fundamental in the study of binomial edge ideals, since they encode their minimal primary decomposition. We introduce the class of accessible graphs as the graphs with unmixed binomial edge ideal and whose cut sets form an accessible set system. We prove that the graphs whose binomial edge ideal is Cohen-Macaulay are accessible and we conjecture that the converse holds. We settle the conjecture for large classes of graphs, including chordal and traceable graphs, providing a purely combinatorial description of Cohen-Macaulayness. The key idea in the proof is to show that both properties are equivalent to a further combinatorial condition, which we call strong unmixedness.

Let $f: \{0,1\}^n \to \{0, 1\}$ be a boolean function, and let $f_\land (x, y) = f(x \land y)$ denote the AND-function of $f$, where $x \land y$ denotes bit-wise AND. We study the deterministic communication complexity of $f_\land$ and show that, up to a $\log n$ factor, it is bounded by a polynomial in the logarithm of the real rank of the communication matrix of $f_\land$. This comes within a $\log n$ factor of establishing the log-rank conjecturefor AND-functions with no assumptions on $f$. Our result stands in contrast with previous results on special cases of the log-rank conjecture, which needed significant restrictions on $f$ such as monotonicity or low $\mathbb{F}_2$-degree. Our techniques can also be used to prove (within a $\log n$ factor) a lifting theorem for AND-functions, stating that the deterministic communication complexity of $f_\land$ is polynomially-related to the AND-decision tree complexity of $f$. The results rely on a new structural result regarding boolean functions $f:\{0, 1\}^n \to \{0, 1\}$ with a sparse polynomial representation, which may be of independent interest. We show that if the polynomial computing $f$ has few monomials then the set system of the monomials has a small hitting set, of size poly-logarithmic in its sparsity. We also establish extensions of this result to multi-linear polynomials $f:\{0,1\}^n \to \mathbb{R}$ with a larger range.

Let $X,Y$ be finite sets, $r,s,h, λ\in \mathbb{N}$ with $s\geq r, X\subsetneq Y$. By $λ\binom{X}{h}$ we mean the collection of all $h$-subsets of $X$ where each subset occurs $λ$ times. A coloring of $λ\binom{X}{h}$ is {\it $r$-regular} if in every color class each element of $X$ occurs $r$ times. A one-regular color class is a {\it perfect matching}. We are interested in the necessary and sufficient conditions under which an $r$-regular coloring of $λ\binom{X}{h}$ can be embedded into an $s$-regular coloring of $λ\binom{Y}{h}$. Using algebraic techniques involving glueing together orbits of a suitably chosen cyclic group, the first author and Newman (Combinatorica 38 (2018), no. 6, 1309--1335) solved the case when $λ=1,r=s, \gcd (|X|,|Y|,h)=\gcd(|Y|,h)$. Using purely combinatorial techniques, we nearly settle the case $h=4$. Two major challenges include finding all the necessary conditions, and obtaining the exact bound for $|Y|$. It is worth noting that completing partial symmetric latin squares is closely related to the case $λ=r=s=1, h=2$ which was solved by Cruse (J. Comb. Theory Ser. A 16 (1974), 18--22).

The fundamental result of Li, Long, and Srinivasan on approximations of set systems has become a key tool across several communities such as learning theory, algorithms, computational geometry, combinatorics and data analysis. The goal of this paper is to give a modular, self-contained, intuitive proof of this result for finite set systems. The only ingredient we assume is the standard Chernoff's concentration bound. This makes the proof accessible to a wider audience, readers not familiar with techniques from statistical learning theory, and makes it possible to be covered in a single self-contained lecture in a geometry, algorithms or combinatorics course.

A set $S\subseteq V(G)$ is independent (or stable) if no two vertices from $S$ are adjacent, and by $\mathrm{Ind}(G)$ we mean the set of all independent sets of $G$. A set $A\in\mathrm{Ind}(G)$ is critical (and we write $A\in CritIndep(G)$) if $\left\vert A\right\vert -\left\vert N(A)\right\vert =\max\{\left\vert I\right\vert -\left\vert N(I)\right\vert :I\in \mathrm{Ind}(G)\}$, where $N(I)$ denotes the neighborhood of $I$. If $S\in\mathrm{Ind}(G)$ and there is a matching from $N(S)$ into $S$, then $S$ is a crown, and we write $S\in Crown(G)$. Let $Ψ(G)$ be the family of all local maximum independent sets of graph $G$, i.e., $S\inΨ(G)$ if $S$ is a maximum independent set in the subgraph induced by $S\cup N(S)$. In this paper we show that $CritIndep(G)\subseteq Crown(G)$ $\subseteqΨ(G)$ are true for every graph. In addition, we present some classes of graphs where these families coincide and form greedoids or even more general set systems that we call augmentoids.