arXiv++ Combinatorics

In our work, we consider the problem of computing a vector $x \in Z^n$ of minimum $\|\cdot\|_p$-norm such that $a^\top x \not= a_0$, for any vector $(a,a_0)$ from a given subset of $Z^n$ of size $m$. In other words, we search for a vector of minimum norm that avoids a given finite set of hyperplanes, which is natural to call as the $\textit{Hyperplanes Avoiding Problem}$. This problem naturally appears as a subproblem in Barvinok-type algorithms for counting integer points in polyhedra. We show that: 1) With respect to $\|\cdot\|_1$, the problem admits a feasible solution $x$ with $\|x\|_1 \leq (m+n)/2$, and show that such solution can be constructed by a deterministic polynomial-time algorithm with $O(n \cdot m)$ operations. Moreover, this inequality is the best possible. This is a significant improvement over the previous randomized algorithm, which computes $x$ with a guaranty $\|x\|_{1} \leq n \cdot m$. The original approach of A.~Barvinok can guarantee only $\|x\|_1 = O\bigl((n \cdot m)^n\bigr)$. To prove this result, we use a newly established algorithmic variant of the Combinatorial Nullstellensatz; 2) The problem is NP-hard with respect to any norm $\|\cdot\|_p$, for $p \in \bigl(R_{\geq 1} \cup \{\infty\}\bigr)$. 3) As an application, we show that the problem to count integer points in a polytope $P = \{x \in R^n \colon A x \leq b\}$, for given $A \in Z^{m \times n}$ and $b \in Q^m$, can be solved by an algorithm with $O\bigl(ν^2 \cdot n^3 \cdot Δ^3 \bigr)$ operations, where $ν$ is the maximum size of a normal fan triangulation of $P$, and $Δ$ is the maximum value of rank-order subdeterminants of $A$. As a further application, it provides a refined complexity bound for the counting problem in polyhedra of bounded codimension. For example, in the polyhedra of the Unbounded Subset-Sum problem.

We call a family of $s$ sets $\{F_1, \ldots, F_s\}$ a \textit{sunflower with $s$ petals} if, for any distinct $i, j \in [s]$, one has $F_i \cap F_j = \cap_{u = 1}^s F_u$. The set $C = \cap_{u = 1}^s F_u$ is called the {\it core} of the sunflower. It is a classical result of Erd\H os and Rado that there is a function $φ(s,k)$ such that any family of $k$-element sets contains a sunflower with $s$ petals. In 1977, Duke and Erd\H os asked for the size of the largest family $\mathcal{F}\subset{[n]\choose k}$ that contains no sunflower with $s$ petals and core of size $t-1$. In 1987, Frankl and F\" uredi asymptotically solved this problem for $k\ge 2t+1$ and $n>n_0(s,k)$. This paper is one of the pinnacles of the so-called Delta-system method. In this paper, we extend the result of Frankl and Füredi to a much broader range of parameters: $n>f_0(s,t) k$ with $f_0(s,t)$ polynomial in $s$ and $t$. We also extend this result to other domains, such as $[n]^k$ and ${n\choose k/w}^w$ and obtain even stronger and more general results for forbidden sunflowers with core at most $t-1$ (including results for families of permutations and subfamilies of the $k$-th layer in a simplicial complex). The methods of the paper, among other things, combine the spread approximation technique, introduced by Zakharov and the first author, with the Delta-system approach of Frankl and Füredi and the hypercontractivity approach for global functions, developed by Keller, Lifshitz and coauthors. Previous works in extremal set theory relied on at most one of these methods. Creating such a unified approach was one of the goals for the paper.

Let us consider a collection $\mathcal G$ of codewords of length $n$ over an alphabet of size $s$. Let $t_1,\ldots, t_s$ be nonnegative integers. What is the maximum of $|\mathcal G|$ subject to the condition that any two codewords should have at least $t_i$ positions where both have letter $i$ ($1\le i\le s$). In the case $s=2$ it is a longstanding open question. Quite surprisingly, we obtain an almost complete answer for $s\ge 3$. The main tool is a correlation inequality.

In this paper, we investigate two questions on Kneser graphs $KG_{n,k}$. First, we prove that the union of $s$ intersecting families in ${[n]\choose k}$ has size at most ${n\choose k}-{n-s\choose k}$ for all sufficiently large $n$ that satisfy $n>(2+ε)k^2+s$ with $ε>0$. We provide an example that shows that this result is essentially tight for the number of colors close to $χ(KG_{n,k})=n-2k+2$. We also improve the result of Bulankina and Kupavskii on the choice chromatic number, showing that it is at least $\frac 1{25} n\log n$ for all $k<\sqrt n$ and $n$ sufficiently large.

For any $ε>0$ and $n>(1+ε)t$, $n>n_0(ε)$ we determine the size of the largest $t$-intersecting family of permutations, as well as give a sharp stability result. This resolves a conjecture of Ellis, Friedgut and Pilpel (2011) and shows the validity of conjectures of Frankl and Deza (1977) and Cameron (1988) for $n>(1+ε)t$. We note that, for this range of parameters, the extremal examples are not necessarily trivial, and that our statement is analogous to the celebrated Ahlswede-Khachatrian theorem. The proof is based on the refinement of the method of spread approximations, recently introduced by Kupavskii and Zakharov (2022).

A covering number of a family is the size of the smallest set that intersects all sets from the family. In 1978 Frankl determined for $n\ge n_0(k)$ the largest intersecting family of $k$-element subsets of $[n]$ with covering number $3$. In this paper, we essentially settle this problem, showing that the same family is extremal for any $k\ge 100$ and $n>2k$.

Bohn, Faenza, Fiorini, Fisikopoulos, Macchia, and Pashkovich (2015) conjectured that 2-level polytopes cannot simultaneously have many vertices and many facets, namely, that the maximum of the product of the number of vertices and facets is attained on the cube and cross-polytope. This was proved in a recent work by Kupavskii and Weltge. In this paper, we resolve a strong version of the conjecture by Bohn et al., and find the maximum possible product of the number of vertices and the number of facets in a 2-level polytope that is not affinely isomorphic to the cube or the cross-polytope. To do this, we get a sharp stability result of Kupavskii and Weltge's upper bound on $\left|\mathcal A\right|\cdot\left|\mathcal B\right|$ for $\mathcal A,\mathcal B \subseteq \mathbb R^d$ with a property that $\forall a \in \mathcal A, b \in \mathcal B$ the scalar product $\langle a, b\rangle \in\{0,1\}$.

A family of subsets of $[n]$ is $r$-wise agreeing if for any $r$ sets from the family there is an element $x$ that is either contained in all or contained in none of the $r$ sets. The study of such families is motivated by questions in discrete optimization. In this paper, we determine the size of the largest non-trivial $r$-wise agreeing family. This can be seen as a generalization of the classical Brace-Daykin theorem.

A family $\mathcal C$ of sets is hereditary if whenever $A\in \mathcal C$ and $B\subset A$, we have $B\in \mathcal C$. Chvátal conjectured that the largest intersecting subfamily of a hereditary family is the family of all sets containing a fixed element. This is a generalization of the non-uniform Erdős-Ko-Rado theorem. A natural uniform variant of this question, which is essentially a generalization for the uniform Erdős-Ko-Rado theorem, was suggested by Borg: given a hereditary family $\mathcal C$, in which all maximal sets have size at least $n$, what is the largest intersecting subfamily of the family of all $k$-element sets in $\mathcal C$? The answer, of course, depends on $n$ and $k$, and Borg conjectured that for $n\ge 2k$ the it is again the family of all $k$-element sets containing a singleton. Borg proved this conjecture for $n\ge k^3$. He also considered a $t$-intersecting variant of the question. In this paper, we improve the bound on $n$ for both intersecting and $t$-intersecting cases, showing that for $n\ge Ckt\log^2\frac nk$ and $n\ge Ck\log k$ the largest $t$-intersecting subfamily of the $k$-th layer of a hereditary family with maximal sets of size at least $n$ is the family of all sets containing a fixed $t$-element set. We also prove a stability result.

The problem we consider originally arises from 2-level polytope theory. This class of polytopes generalizes a number of other polytope families. One of the important questions in this filed can be formulated as follows: is it true for a $d$-dimensional 2-level polytope that the product of the number of its vertices and the number of its $d-1$ dimensional facets is bounded by $d2^{d - 1}$? Recently, Kupavskii and Weltge~\cite{Kupavskii2020} settled this question in positive. A key element in their proof is a more general result for families of vectors in $\mathbb{R}^d$ such that the scalar product between any two vectors from different families is either $0$ or $1$. Peter Frankl noted that, when restricted to the Boolean cube, the solution boils down to an elegant application of the Harris--Kleitman correlation inequality. Meanwhile, this problem becomes much more sophisticated when we consider several families. Let $\mathcal{F}_1, \ldots, \mathcal{F}_\ell$ be families of subsets of $\{1, \ldots, n\}$. We suppose that for distinct $k, k'$ and arbitrary $F_1 \in \mathcal{F}_{k}, F_2 \in \mathcal{F}_{k'}$ we have $|F_1 \cap F_2|\leqslant m.$ We are interested in the maximal value of $|\mathcal{F}_1|\ldots |\mathcal{F}_\ell|$ and the structure of the extremal example. In the previous paper on the topic, the authors found the asymptotics of this product for constant $\ell$ and $m$ as $n$ tends to infinity. However, the possible structure of the families from the extremal example turned out to be very complicated. In this paper, we obtain a strong structural result for the extremal families.

In this paper, we address several Erd\H os--Ko--Rado type questions for families of partitions. Two partitions of $[n]$ are {\it $t$-intersecting} if they share at least $t$ parts, and are {\it partially $t$-intersecting} if some of their parts intersect in at least $t$ elements. The question of what is the largest family of pairwise $t$-intersecting partitions was studied for several classes of partitions: Peter Erd\H os and Székely studied partitions of $[n]$ into $\ell$ parts of unrestricted size; Ku and Renshaw studied unrestricted partitions of $[n]$; Meagher and Moura, and then Godsil and Meagher studied partitions into $\ell$ parts of equal size. We improve and generalize the results proved by these authors. Meagher and Moura, following the work of Erd\H os and Székely, introduced the notion of partially $t$-intersecting partitions, and conjectured, what should be the largest partially $t$-intersecting family of partitions into $\ell$ parts of equal size $k$. The main result of this paper is the proof of their conjecture for all $t, k$, provided $\ell$ is sufficiently large. All our results are applications of the spread approximation technique, introduced by Zakharov and the author. In order to use it, we need to refine some of the theorems from the original paper. As a byproduct, this makes the present paper a self-contained presentation of the spread approximation technique for $t$-intersecting problems.

In this paper, we study tilings of $\mathbb Z$, that is, coverings of $\mathbb Z$ by disjoint sets (tiles). Let $T=\{d_1,\ldots, d_s\}$ be a given multiset of distances. Is it always possible to tile $\mathbb Z$ by tiles, for which the multiset of distances between consecutive points is equal to $T$? In this paper, we give a sufficient condition that such a tiling exists. Our result allows multisets of distances to have arbitrarily many distinct values. Our result generalizes most of the previously known results, all of which dealt with the cases of $2$ or $3$ distinct distances.

We say that a subset $M$ of $\mathbb R^n$ is exponentially Ramsey if there are $ε>0$ and $n_0$ such that $χ(\mathbb R^n,M)\ge(1+ε)^n$ for any $n>n_0$, where $χ(\mathbb R^n,M)$ stands for the minimum number of colors in a coloring of $\mathbb R^n$ such that no copy of $M$ is monochromatic. One important result in Euclidean Ramsey theory is due to Frankl and Rödl, and states the following (under some mild extra conditions): if both $N_1$ and $N_2$ are exponentially Ramsey then so is $N_1\times N_2$. Applied several times to two-point sets, this result implies that any subset of a `hyperrectangle' is exponentially Ramsey. However, generally, such `embeddings' result in very inefficient bounds on the aforementioned $ε$. In this paper, we present another way of combining exponentially Ramsey sets, which gives much better estimates in some important cases. In particular, we show that the chromatic number of $\mathbb R^n$ with a forbidden equilateral triangle satisfies $χ(\mathbb R^n,\triangle)\ge\big(1.0742...+o(1)\big)^n$, greatly improving upon the previous constant $1.0144$. We also obtain similar strong results for regular simplices of larger dimensions, as well as for related geometric Ramsey-type questions in Manhattan norm. We then show that the same technique implies several interesting corollaries in other combinatorial problems. In particular, we give an explicit upper bound on the size of a family $\mathcal F\subset2^{[n]}$ that contains no weak $k$-sunflowers, i.e. no collection of $k$ sets with pairwise intersections of the same size. This bound improves upon previously known results for all $k\ge4$. Finally, we also present a simple deduction of the (other) celebrated Frankl--Rödl theorem from an earlier result of Frankl and Wilson. It gives probably the shortest known proof of Frankl and Rödl result with the most efficient bounds.

Let $\mathcal F_1, \ldots, \mathcal F_\ell$ be families of subsets of $\{1, \ldots, n\}$. Suppose that for distinct $k, k'$ and arbitrary $F_1 \in \mathcal F_{k}, F_2 \in \mathcal F_{k'}$ we have $|F_1 \cap F_2|\le m.$ What is the maximal value of $|\mathcal F_1|\ldots |\mathcal F_\ell|$? In this work we find the asymptotic of this product as $n$ tends to infinity for constant $\ell$ and~$m$. This question is related to a conjecture of Bohn et al. that arose in the 2-level polytope theory and asked for the largest product of the number of facets and vertices in a two-level polytope. This conjecture was recently resolved by Weltge and the first author. The main result can be rephrased in terms of colorings. We give an asymptotic answer to the following question. Given an edge coloring of a complete $m$-uniform hypergraph into $\ell$ colors, what is the maximum of $\prod M_i$, where $M_i$ is the number of monochromatic cliques in $i$-th color?

In 1965 Erdős asked, what is the largest size of a family of $k$-element subsets of an $n$-element set that does not have a matching of size $s+1$? In this note, we improve upon a recent result of Frankl and resolve this problem for $s>101k^{3}$ and $(s+1)k\le n<(s+1)(k+\frac{1}{100k})$.

We develop a new approach to approximate families of sets, complementing the existing `$Δ$-system method' and `junta approximations method'. The approach, which we refer to as `spread approximations method', is based on the notion of $r$-spread families and builds on the recent breakthrough result of Alweiss, Lovett, Wu and Zhang for the Erd\H os--Rado `Sunflower Conjecture'. Our approach can work in a variety of sparse settings. To demonstrate the versatility and strength of the approach, we present several of its applications to forbidden intersection problems, including bounds on the size of regular intersecting families, the resolution of the Erd\H os--Sós problem for sets in a new range and, most notably, the resolution of the $t$-intersection and Erd\H os--Sós problems for permutations in a new range. Specifically, we show that any collection of permutations of an $n$-element set with no two permutations intersecting in at most (exactly) $t-1$ elements has size at most $(n-t)!$, provided $t\le n^{1-ε}$ ($t \le n^{\frac{1}{3}-ε}$) for an arbitrary $ε>0$ and $n>n_0(ε)$. Previous results for these problems only dealt with the case of fixed $t$. The proof follows the structure vs. randomness philosophy, which proved to be very efficient in proving results throughout mathematics and computer science.

In 2008, Schmidt and Tuller stated a conjecture concerning optimal packing and covering of integers by translates of a given three-point set. In this note, we confirm their conjecture and relate it to several other problems in combinatorics.

We study the two-player communication problem of determining whether two vertices $x, y$ are nearby in a graph $G$, with the goal of determining the graph structures that allow the problem to be solved with a constant-cost randomized protocol. Equivalently, we consider the problem of assigning constant-size random labels (sketches) to the vertices of a graph, which allow adjacency, exact distance thresholds, or approximate distance thresholds to be computed with high probability from the labels. Our main results are that, for monotone classes of graphs: constant-size adjacency sketches exist if and only if the class has bounded arboricity; constant-size sketches for exact distance thresholds exist if and only if the class has bounded expansion; constant-size approximate distance threshold (ADT) sketches imply that the class has bounded expansion; any class of constant expansion (i.e. any proper minor closed class) has constant-size ADT sketches; and a class may have arbitrarily small expansion without admitting constant-size ADT sketches.

We solve two related extremal-geometric questions in the $n-$dimensional space $\mathbb{R}^n_{\infty}$ equipped with the maximum metric. First, we prove that the maximum size of a right-equidistant sequence of points in $\mathbb{R}^n_{\infty}$ equals $2^{n+1}-1$. A sequence is right-equidistant if each of the points is at the same distance from all the succeeding points. Second, we prove that the maximum number of points in $\mathbb{R}^n_{\infty}$ with pairwise odd distances equals $2^n$. We also obtain partial results for both questions in the $n-$dimensional space $\mathbb{R}^n_1$ with the Manhattan distance.

In this paper, we show that, given two down-sets (simplicial complexes) there is a matching between them that matches disjoint sets and covers the smaller of the two down-sets. This result generalizes an unpublished result of Berge from circa 1980. The result has nice corollaries for cross-intersecting families and Chvátal's conjecture. More concretely, we show that Chvátal's conjecture is true for intersecting families with covering number $2$. A family $\mathcal F\subset 2^{[n]}$ is intersection-union (IU) if for any $A,B\in\mathcal F$ we have $1\le |A\cap B|\le n-1$. Using the aforementioned result, we derive several exact product- and sum-type results for IU-families.