arXiv++ Combinatorics

We study the number of queries needed to identify a monotone Boolean function $f:\{0,1\}^n \rightarrow \{0,1\}$. A query consists of a 0-1-sequence, and the answer is the value of $f$ on that sequence. It is well-known that the number of queries needed is $\binom{n}{\lfloor n/2\rfloor}+\binom{n}{\lfloor n/2\rfloor+1}$ in general. Here we study a variant where $f$ has $k$ ``reasons'' to be 1, i.e., its disjunctive normal form has $k$ conjunctions if the redundant conjunctions are deleted. This problem is equivalent to identifying an upfamily in $2^{[n]}$ that has exactly $k$ minimal members. We find the asymptotics on the number of queries needed for fixed $k$. We also study the non-adaptive version of the problem, where the queries are asked at the same time, and determine the exact number of queries for most values of $k$ and $n$.

Let $M_k$ be a $2n$-vertex graph with $n$ pairwise disjoint edges and let $\mathcal{H}^{(p,s)}(n)$ be the family of subsets of $V(M_n)$ that span exactly $p$ edges and $s$ isolated vertices. We prove that for $n\ge 2p+s$ this family has the Erdős--Ko--Rado property: the size of the largest intersecting family equals to the number of sets containing a fixed vertex. The bound $n\ge 2p+s$ is the best possible, improving a recent theorem with $n\ge 2p+2s$ by Fuentes and Kamat.

We study the query complexity on slices of Boolean functions. Among other results we show that there exists a Boolean function for which we need to query all but 7 input bits to compute its value, even if we know beforehand that the number of 0's and 1's in the input are the same, i.e., when our input is from the middle slice. This answers a question of Byramji. Our proof is non-constructive, but we also propose a concrete candidate function that might have the above property. Our results are related to certain natural discrepancy type questions that, somewhat surprisingly, have not been studied before.

We study $\mathrm{exa}_k(n,F)$, the largest number of edges in an $n$-vertex graph $G$ that contains exactly $k$ copies of a given subgraph $F$. The case $k=0$ is the Turán number $\mathrm{ex}(n,F)$ that is among the most studied parameters in extremal graph theory. We show that for any $F$ and $k$, $\mathrm{exa}_k(n,F)=(1+o(1))\mathrm{ex}(n,F))$ and determine the exact values of $\mathrm{exa}_k(n,K_3)$ and $\mathrm{exa}_1(n,K_r)$ for $n$ large enough. We also explore a connection to the following well-known problem in search theory. We are given a graph of order $n$ that consists of an unknown copy of $F$ and some isolated vertices. We can ask pairs of vertices as queries, and the answer tells us whether there is an edge between those vertices. Our goal is to describe the graph using as few queries as possible. Aigner and Triesch in 1990 showed that the number of queries needed is at least $\binom{n}{2}-\mathrm{exa}_1(n,F)$. Among other results we show that the number of queries that were answered NO is at least $\binom{n}{2}-\mathrm{exa}_1(n,F)$.

The classical No-Three-In-Line problem seeks the maximum number of points that may be selected from an $n\times n$ grid while avoiding a collinear triple. The maximum is well known to be linear in $n$. Following a question of Erde, we seek to select sets of large density from the infinite grid $Z^{2}$ while avoiding a collinear triple. We show the existence of such a set which contains $Θ(n/\log^{1+\varepsilon}n)$ points in $[1,n]^{2}$ for all $n$, where $\varepsilon>0$ is an arbitrarily small real number. We also give computational evidence suggesting that a set of lattice points may exist that has at least $n/2$ points on every large enough $n\times n$ grid.

In extremal set theory our usual goal is to find the maximal size of a family of subsets of an $n$-element set satisfying a condition. A condition is called chain-dependent, if it is satisfied for a family if and only if it is satisfied for its intersections with the $n!$ full chains. We introduce a method to handle problems with such conditions, then show how it can be used to prove three classic theorems. Then, a theorem about families containing no two sets such that $A\subset B$ and $λ\cdot |A| \le |B|$ is proved. Finally, we investigate problems where instead of the size of the family, the number of $\ell$-chains is maximized. Our method is to define a weight function on the sets (or $\ell$-chains) and use it in a double counting argument involving full chains.

We prove the following the generalized Turán type result. A collection $\mathcal{T}$ of $r$ sets is an $r$-triangle if for every $T_1,T_2,\dots,T_{r-1}\in \mathcal{T}$ we have $\cap_{i=1}^{r-1}T_i\neq\emptyset$, but $\cap_{T\in \mathcal{T}}T$ is empty. A family $\mathcal{F}$ of sets is $r$-wise intersecting if for any $F_1,F_2,\dots,F_r\in \mathcal{F}$ we have $\cap_{i=1}^rF_i\neq \emptyset$ or equivalently if $\mathcal{F}$ does not contain any $m$-triangle for $m=2,3,\dots,r$. We prove that if $n\ge n_0(r,k)$, then the $r$-wise intersecting family $\mathcal{F}\subseteq \binom{[n]}{k}$ containing the most number of $(r+1)$-triangles is isomorphic to $\{F\in \binom{[n]}{k}:|F\cap [r+1]|\ge r\}$.

For given posets $P$ and $Q$ and an integer $n$, the generalized Turán problem for posets, asks for the maximum number of copies of $Q$ in a $P$-free subset of the $n$-dimensional Boolean lattice, $2^{[n]}$. In this paper, among other results, we show the following: (i) For every $n\geq 5$, the maximum number of $2$-chains in a butterfly-free subfamily of $2^{[n]}$ is $\left\lceil\frac{n}{2}\right\rceil\binom{n}{\lfloor n/2\rfloor}$. (ii) For every fixed $s$, $t$ and $k$, a $K_{s,t}$-free family in $2^{[n]}$ has $O\left(n\binom{n}{\lfloor n/2\rfloor}\right)$ $k$-chains. (iii) For every $n\geq 3$, the maximum number of $2$-chains in an $\textbf{N}$-free family is $\binom{n}{\lfloor n/2\rfloor}$, where $\textbf{N}$ is a poset on 4 distinct elements $\{p_1,p_2,q_1,q_2\}$ for which $p_1 < q_1$, $p_2 < q_1$ and $p_2 < q_2$. (iv) We also prove exact results for the maximum number of $2$-chains in a family that has no $5$-path and asymptotic estimates for the number of $2$-chains in a family with no $6$-path.

For posets $P$ and $Q$, extremal and saturation problems about weak and strong $P$-free subposets of $Q$ have been studied mostly in the case $Q$ is the Boolean poset $Q_n$, the poset of all subsets of an $n$-element set ordered by inclusion. In this paper, we study some instances of the problem with $Q$ being the grid, and its connections to the Boolean case and to the forbidden submatrix problem.

A Berge-path of length $k$ in a hypergraph $\mathcal{H}$ is a sequence $v_1,e_1,v_2,e_2,\dots,v_{k},e_k,v_{k+1}$ of distinct vertices and hyperedges with $v_{i},v_{i+1} \in e_i$, for $i \le k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined the maximum number of hyperedges in an $n$-vertex, connected, $r$-uniform hypergraph that does not contain a Berge-path of length $k$ provided $k$ is large enough compared to $r$. They also determined the unique extremal hypergraph $\mathcal{H}_1$. We prove a stability version of this result by presenting another construction $\mathcal{H}_2$ and showing that any $n$-vertex, connected, $r$-uniform hypergraph without a Berge-path of length $k$, that contains more than $|\mathcal{H}_2|$ hyperedges must be a sub-hypergraph of the extremal hypergraph $\mathcal{H}_1$, provided $k$ is large enough compared to $r$.

We study covering numbers and local covering numbers with respect to difference graphs and complete bipartite graphs. In particular we show that in every cover of a Young diagram with $\binom{2k}{k}$ steps with generalized rectangles there is a row or a column in the diagram that is used by at least $k+1$ rectangles, and prove that this is best-possible. This answers two questions by Kim, Martin, Masa{ř}{\'ı}k, Shull, Smith, Uzzell, and Wang (Europ. J. Comb. 2020), namely: - What is the local complete bipartite cover number of a difference graph? - Is there a sequence of graphs with constant local difference graph cover number and unbounded local complete bipartite cover number? We add to the study of these local covering numbers with a lower bound construction and some examples. Following Kim \emph{et al.}, we use the results on local covering numbers to provide lower and upper bounds for the local dimension of partially ordered sets of height~2. We discuss the local dimension of some posets related to Boolean lattices and show that the poset induced by the first two layers of the Boolean lattice has local dimension $(1 + o(1))\log_2\log_2 n$. We conclude with some remarks on covering numbers for digraphs and Ferrers dimension.

In this paper we initiate a systematic study of the Turán problem for edge-ordered graphs. A simple graph is called $\textit{edge-ordered}$, if its edges are linearly ordered. An isomorphism between edge-ordered graphs must respect the edge-order. A subgraph of an edge-ordered graph is itself an edge-ordered graph with the induced edge-order. We say that an edge-ordered graph $G$ $\textit{avoids}$ another edge-ordered graph $H$, if no subgraph of $G$ is isomorphic to $H$. The $\textit{Turán number}$ of an edge-ordered graph $H$ is the maximum number of edges in an edge-ordered graph on $n$ vertices that avoids $H$. We study this problem in general, and establish an Erdős-Stone-Simonovits-type theorem for edge-ordered graphs -- we discover that the relevant parameter for the Turán number of an edge-ordered graph is its $\textit{order chromatic number}$. We establish several important properties of this parameter. We also study Turán numbers of edge-ordered paths, star forests and the cycle of length four. We make strong connections to Davenport-Schinzel theory, the theory of forbidden submatrices, and show an application in Discrete Geometry.

We are given a set $A$ of buyers, a set $B$ of houses, and for each buyer a preference list, i.e., an ordering of the houses. A house allocation is an injective mapping $τ$ from $A$ to $B$, and $τ$ is strictly better than another house allocation $τ'\neq τ$ if for every buyer $i$, $τ'(i)$ does not come before $τ(i)$ in the preference list of $i$. A house allocation is Pareto optimal if there is no strictly better house allocation. Let $s(τ)$ be the image of $τ$ (i.e., the set of houses sold in the house allocation $τ$). We are interested in the largest possible cardinality $f(m)$ of the family of sets $s(τ)$ for Pareto optimal mappings $τ$ taken over all sets of preference lists of $m$ buyers. We improve the earlier upper bound on $f(m)$ given by Asinowski, Keszegh and Miltzow by making a connection between this problem and some problems in extremal set theory.

Suppose that the vertices of a graph $G$ are colored with two colors in an unknown way. The color that occurs on more than half of the vertices is called the majority color (if it exists), and any vertex of this color is called a majority vertex. We study the problem of finding a majority vertex (or show that none exists) if we can query edges to learn whether their endpoints have the same or different colors. Denote the least number of queries needed in the worst case by $m(G)$. It was shown by Saks and Werman that $m(K_n)=n-b(n)$, where $b(n)$ is the number of 1's in the binary representation of $n$. In this paper, we initiate the study of the problem for general graphs. The obvious bounds for a connected graph $G$ on $n$ vertices are $n-b(n)\le m(G)\le n-1$. We show that for any tree $T$ on an even number of vertices we have $m(T)=n-1$ and that for any tree $T$ on an odd number of vertices, we have $n-65\le m(T)\le n-2$. Our proof uses results about the weighted version of the problem for $K_n$, which may be of independent interest. We also exhibit a sequence $G_n$ of graphs with $m(G_n)=n-b(n)$ such that $G_n$ has $O(nb(n))$ edges and $n$ vertices.

A widely investigated subject in combinatorial geometry, originated from Erdős, is the following. Given a point set $P$ of cardinality $n$ in the plane, how can we describe the distribution of the determined distances? This has been generalized in many directions. In this paper we propose the following variants. Consider planar arrangements of $n$ lines. Determine the maximum number of triangles of unit area, maximum area or minimum area, determined by these lines. Determine the minimum size of a subset of these $n$ lines so that all triples determine distinct area triangles. We prove that the order of magnitude for the maximum occurrence of unit areas lies between $Ω(n^2)$ and $O(n^{9/4})$. This result is strongly connected to both additive combinatorial results and Szemerédi--Trotter type incidence theorems. Next we show a tight bound for the maximum number of minimum area triangles. Finally we present lower and upper bounds for the maximum area and distinct area problems by combining algebraic, geometric and combinatorial techniques.

In many proofs concerning extremal parameters of Berge hypergraphs one starts with analyzing that part of that shadow graph which is contained in many hyperedges. Capturing this phenomenon we introduce two new types of hypergraphs. A hypergraph $\mathcal{H}$ is a $t$-heavy copy of a graph $F$ if there is a copy of $F$ on its vertex set such that each edge of $F$ is contained in at least $t$ hyperedges of $\mathcal{H}$. $\mathcal{H}$ is a $t$-wise Berge copy of $F$ if additionally for distinct edges of $F$ those $t$ hyperedges are distinct. We extend known upper bounds on the Turán number of Berge hypergraphs to the $t$-wise Berge hypergraphs case. We asymptotically determine the Turán number of $t$-heavy and $t$-wise Berge copies of long paths and cycles and exactly determine the Turán number of $t$-heavy and $t$-wise Berge copies of cliques. In the case of 3-uniform hypergraphs, we consider the problem in more details and obtain additional results.

We study the maximum number $ex(n,e,H)$ of copies of a graph $H$ in graphs with given number of vertices and edges. We show that for any fixed graph $H$, $ex(n,e,H)$ is asymptotically realized by the quasi-clique provided that the edge density is sufficiently large. We also investigate a variant of this problem, when the host graph is bipartite.

In this short note we consider the oriented vertex Turán problem in the hypercube: for a fixed oriented graph $\overrightarrow{F}$, determine the maximum size $ex_v(\overrightarrow{F}, \overrightarrow{Q_n})$ of a subset $U$ of the vertices of the oriented hypercube $\overrightarrow{Q_n}$ such that the induced subgraph $\overrightarrow{Q_n}[U]$ does not contain any copy of $\overrightarrow{F}$. We obtain the exact value of $ex_v(\overrightarrow{P_k}, \overrightarrow{Q_n})$ for the directed path $\overrightarrow{P_k}$, the exact value of $ex_v(\overrightarrow{V_2}, \overrightarrow{Q_n})$ for the directed cherry $\overrightarrow{V_2}$ and the asymptotic value of $ex_v(\overrightarrow{T}, \overrightarrow{Q_n})$ for any directed tree $\overrightarrow{T}$.

A subfamily $\{F_1,F_2,\dots,F_{|P|}\}\subseteq \mathcal F$ is a copy of the poset $P$ if there exists a bijection $i:P\rightarrow \{F_1,F_2,\dots,F_{|P|}\}$ such that $p\le_P q$ implies $i(p)\subseteq i(q)$. A family $\mathcal F$ is $P$-free, if it does not contain a copy of $P$. In this paper we establish basic results on the maximum possible number of $k$-chains in a $P$-free family $\mathcal F\subseteq 2^{[n]}$. We prove that if the height of $P$, $h(P) > k$, then this number is of the order $Θ(\prod_{i=1}^{k+1}\binom{l_{i-1}}{l_i})$, where $l_0=n$ and $l_1\ge l_2\ge \dots \ge l_{k+1}$ are such that $n-l_1,l_1-l_2,\dots, l_k-l_{k+1},l_{k+1}$ differ by at most one. On the other hand if $h(P)\le k$, then we show that this number is of smaller order of magnitude. Let $\vee_r$ denote the poset on $r+1$ elements $a, b_1, b_2, \ldots, b_r$, where $a < b_i$ for all $1 \le i \le r$ and let $\wedge_r$ denote its dual. For any values of $k$ and $l$, we construct a $\{\wedge_k,\vee_l\}$-free family and we conjecture that it contains asymptotically the maximum number of pairs in containment. We prove that this conjecture holds under the additional assumption that a chain of length 4 is forbidden. Moreover, we prove the conjecture for some small values of $k$ and $l$. We also derive the asymptotics of the maximum number of copies of certain tree posets $T$ of height 2 in $\{\wedge_k,\vee_l\}$-free families $\mathcal F \subseteq 2^{[n]}$.

The maximum size, $La(n,P)$, of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a copy of $P$ as a subposet, has been intensively studied. Let $P$ be a graded poset. We say that a family $\mathcal{F}$ of subsets of $[n]=\{1,2,...,n\}$ contains a \emph{rank-preserving} copy of $P$ if it contains a copy of $P$ such that elements of $P$ having the same rank are mapped to sets of same size in $\mathcal{F}$. The largest size of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a rank-preserving copy of $P$ as a subposet is denoted by $La_{rp}(n,P)$. Clearly, $La(n,P) \le La_{rp}(n,P)$ holds. In this paper we prove asymptotically optimal upper bounds on $La_{rp}(n,P)$ for tree posets of height $2$ and monotone tree posets of height $3$, strengthening a result of Bukh in these cases. We also obtain the exact value of $La_{rp}(n,\{Y_{h,s},Y_{h,s}'\})$ and $La(n,\{Y_{h,s},Y_{h,s}'\})$, where $Y_{h,s}$ denotes the poset on $h+s$ elements $x_1,\dots,x_h,y_1,\dots,y_s$ with $x_1<\dots<x_h<y_1,\dots,y_s$ and $Y'_{h,s}$ denotes the dual poset of $Y_{h,s}$.