arXiv++ Combinatorics

An old conjecture of Kahn and Saks says, roughly, that any poset $P$ of large enough width contains elements $x,y$ which are "balanced" in the sense that the probability that $x$ precedes $y$ in a uniformly random linear extension of $P$ is close to $1/2$. We show this implies the seemingly stronger statement that the same conclusion holds if, instead of large width, we assume only that, for some $x$, the number, $π(x)$, of elements of $P$ incomparable to $x$ is large. The implication follows from our two main results: first, that if $π(P):=\max π(x)$ is large then $P$ has large variance, i.e. there is a $y$ whose position in a uniform extension of $P$ has large variance; and second, that the conclusion of the Kahn-Saks Conjecture holds for $P$ with large variance and bounded width. These two assertions also yield an easy proof of a (not easy) result of Chan, Pak and Panova on "sorting probabilities" for Young diagrams, together with its natural generalization to higher dimensions.

We prove a few simple cases of a random graph statement that would imply the "second" Kahn--Kalai Conjecture. Even these cases turn out to be reasonably challenging, and it is hoped that the ideas introduced here may lead to further interest in, and further progress on, this natural problem.

We revisit classic balancing problems for linear extensions of a partially ordered set $P$, proving results that go far beyond many of the best earlier results on this topic. For example, with $p(x\prec y)$ the probability that $x$ precedes $y$ in a uniform linear extension, $δ_{xy} = \min\{p(x \prec y), p(y \prec x)\}$, and $δ(P)=\max δ_{xy}$, we show that $δ(P)$ tends to $1/2$ as $n := |P| \to\infty$ if $P$ has width $Ω(n)$ or $ω(\log(n))$ minimal elements, and is at least $1/e-o(1)$ if $P$ has width $ω(\sqrt{n})$ or height $o(n)$. Motivated by both consequences for balance problems and intrinsic interest, we also consider several old and new parameters associated with $P$. Here, in addition to balance, we study relations between the parameters and suggest various questions that are thought to be worthy of further investigation.

We make progress on a conjecture of Kahn and Kalai, the original (stronger but less general) version of what became known as the ``Kahn-Kalai Conjecture" (KKC; now a theorem of Park and Pham). This ``second" KKC concerns the threshold, $p_c(H)$, for $G_{n,p}$ to contain a copy of a given graph $H$, predicting $p_c(H) = O(p_{\mathbb E}(H)\log n)$, where $p_{\mathbb E}$ is an easy lower bound on $p_c$. What we actually show is $p_{\mathbb E}^*(H)=O(p_{\mathbb E}(H)\log ^2n)$, where $p_{\mathbb E}^*$, the fractional expectation threshold, is a larger lower bound suggested by Talagrand. When combined with Talagrand's fractional relaxation of the KKC (now a theorem of Frankston, Kahn, Narayanan and Park), this gives $p_c(H)=O(p_{\mathbb E}(H)\log^3 n)$. (The second KKC would follow similarly if one could remove the log factors from the above bound on $p_{\mathbb E}^*$.)

We show that a restricted version of a conjecture of M. Talagrand on the relation between "expectation thresholds" and "fractional expectation thresholds" follows easily from a strong version of a second conjecture of Talagrand, on "selector processes." The selector process conjecture was proved by Park and Pham, and the quantitative strengthening used here is due to Bednorz, Martynek, and Meller.

The edge space $\mathcal{E}(G)$ of a graph $G$ is the vector space $\mathbb{F}_2^{E(G)}$ with members naturally identified with subgraphs of $G$, and the $H$-space is the subspace $\mathcal{C}_H(G)$ of $ \mathcal{E}(G)$ spanned by copies of the graph $H$. We are interested in when the random graph $G = G_{n,p}$ is likely to satisfy \[\mathcal{C}_H(G) = \mathcal{W}_H(G),\] where $\mathcal{W}_H(G)$ takes one of four natural values, depending on the value of $\mathcal{C}_H(K_n)$. We show that for strictly $2$-balanced $H$, w.h.p. the above equality holds whenever every edge of $G$ is in a copy of $H$.

It is shown that the following holds for each $\varepsilon >0$. For $G$ an $n$-vertex graph of maximum degree $D$, lists $S_v$ of size $D+1$ (for $v\in V(G)$), and $L_v$ chosen uniformly from the ($(1+\varepsilon)\ln n$)-subsets of $S_v$ (independent of other choices), \[ \mbox{$G$ admits a proper coloring $σ$ with $σ_v\in L_v$ $\forall v$} \] with probability tending to 1 as $D\to \infty$. When each $S_v $ is $\{1\dots D+1\}$, this is an asymptotically optimal version of the ``palette sparsification'' theorem of Assadi, Chen and Khanna that was proved in an earlier paper by the present authors.

It is shown that the following holds for each $\varepsilon>0$. For $G$ an $n$-vertex graph of maximum degree $D$ and "lists" $L_v$ ($v \in V(G)$) chosen independently and uniformly from the ($(1+\varepsilon)\ln n$)-subsets of $\{1, ..., D+1\}$, \[ G \text{ admits a proper coloring } σ\text{ with } σ_v \in L_v \forall v \] with probability tending to 1 as $D \to \infty$. This is an asymptotically optimal version of a recent "palette sparsification" theorem of Assadi, Chen, and Khanna.

Proving a 2009 conjecture of Itai Benjamini, we show: For any C there is an $\varepsilon>0$ such that for any simple graph $G$ on $V$ of size $n$, and $X_0,\ldots$ an ordinary random walk on $G$, $P(\{X_0,\dots, X_{Cn}\}= V) < e^{-\varepsilon n}.$ A first ingredient in the proof of this is a similar statement for Markov chains in which all transition probabilities are sufficiently small relative to $C$.

We address a special case of a conjecture of M. Talagrand relating two notions of "threshold" for an increasing family $\mathcal F$ of subsets of a finite set $V$. The full conjecture implies equivalence of the "Fractional Expectation-Threshold Conjecture," due to Talagrand and recently proved by the authors and B. Narayanan, and the (stronger) "Expectation-Threshold Conjecture" of the second author and G. Kalai. The conjecture under discussion here says there is a fixed $L$ such that if, for a given $\mathcal F$, $p\in [0,1]$ admits $λ:2^V \rightarrow \mathbb R^+$ with \[ \mbox{$\sum_{S\subseteq F}λ_S\ge 1 ~~\forall F\in \mathcal F$} \] and \[ \mbox{$\sum_Sλ_Sp^{|S|} \le 1/2$} \] (a.k.a. $\mathcal F$ is weakly $p$-small), then $p/L$ admits such a $λ$ taking values in $\{0,1\}$ ($\mathcal F$ is $(p/L)$-small). Talagrand showed this when $λ$ is supported on singletons and suggested, as a more challenging test case, proving it when $λ$ is supported on pairs. The present work provides such a proof.

Resolving a conjecture of Kühn and Osthus from 2012, we show that $p= 1/\sqrt{n}$ is the threshold for the random graph $G_{n,p}$ to contain the square of a Hamilton cycle.

For fixed $r\geq 3$ and $n$ divisible by $r$, let ${\mathcal H}={\mathcal H}^r_{n,M}$ be the random $M$-edge $r$-graph on $V=\{1,\ldots ,n\}$; that is, ${\mathcal H}$ is chosen uniformly from the $M$-subsets of ${\mathcal K}:={V \choose r}$ ($:= \{\mbox{$r$-subsets of $V$}\}$). Shamir's Problem (circa 1980) asks, roughly, for what $M=M(n)$ is ${\mathcal H}$ likely to contain a perfect matching (that is, $n/r$ disjoint $r$-sets)? In 2008 Johansson, Vu and the author showed that this is true for $M>C_rn\log n$. More recently the author proved the asymptotically correct version of that result: for fixed $C> 1/r$ and $M> Cn\log n$, $P({\mathcal H} ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}.$ The present work completes a proof, begun in that recent paper, of the definitive "hitting time" statement: $\mbox{Theorem.}$ If $A_1, \ldots ~$ is a uniform permutation of ${\mathcal K}$, ${\mathcal H}_t=\{A_1\dots A_t\}$, and \[ T=\min\{t:A_1\cup \cdots\cup A_t=V\}, \] then $P({\mathcal H}_T ~\mbox{contains a perfect matching})\rightarrow 1 \,\,\, \mbox{as $n\rightarrow\infty$}$.

A celebrated conjecture of Zs. Tuza says that in any (finite) graph, the minimum size of a cover of triangles by edges is at most twice the maximum size of a set of edge-disjoint triangles. Resolving a recent question of Bennett, Dudek, and Zerbib, we show that this is true for random graphs; more precisely: \[ \mbox{for any $p=p(n)$, $\mathbb P(\mbox{$G_{n,p}$ satisfies Tuza's Conjecture})\rightarrow 1 $ (as $n\rightarrow\infty$).} \]

Proving a conjecture of Talagrand, a fractional version of the 'expectation-threshold' conjecture of Kalai and the second author, we show for any increasing family $F$ on a finite set $X$ that $p_c (F) =O( q_f (F) \log \ell(F))$, where $p_c(F)$ and $q_f(F)$ are the threshold and 'fractional expectation-threshold' of $F$, and $\ell(F)$ is the largest size of a minimal member of $F$. This easily implies several heretofore difficult results and conjectures in probabilistic combinatorics, including thresholds for perfect hypergraph matchings (Johansson--Kahn--Vu), bounded-degree spanning trees (Montgomery), and bounded-degree spanning graphs (new). We also resolve (and vastly extend) the 'axial' version of the random multi-dimensional assignment problem (earlier considered by Martin--Mézard--Rivoire and Frieze--Sorkin). Our approach builds on a recent breakthrough of Alweiss, Lovett, Wu and Zhang on the Erdős--Rado 'Sunflower Conjecture'.

A family of vectors $A \subset [k]^n$ is said to be intersecting if any two elements of $A$ agree on at least one coordinate. We prove, for fixed $k \ge 3$, that the size of a symmetric intersecting subfamily of $[k]^n$ is $o(k^n)$, which is in stark contrast to the case of the Boolean hypercube (where $k =2$). Our main contribution addresses limitations of existing technology: while there is now some spectral machinery, developed by Ellis and the third author, to tackle extremal problems in set theory involving symmetry, this machinery relies crucially on the interplay between up-sets and biased product measures on the Boolean hypercube, features that are notably absent in the problem at hand; here, we describe a method for circumventing these barriers.

For fixed $r\geq 3$ and $n$ divisible by $r$, let ${\mathcal H}={\mathcal H}^r_{n,M}$ be the random $M$-edge $r$-graph on $V=\{1,\ldots ,n\}$; that is, ${\mathcal H}$ is chosen uniformly from the $M$-subsets of ${\mathcal K}:={V \choose r}$ ($:= \{\mbox{$r$-subsets of $V$}\}$). Shamir's Problem (circa 1980) asks, roughly, for what $M=M(n)$ is ${\mathcal H}$ likely to contain a perfect matching (that is, $n/r$ disjoint $r$-sets)? In 2008 Johansson, Vu and the author showed that this is true for $M>C_rn\log n$. The present paper has two purposes. First, it establishes the asymptotically correct version of the 2008 result: Theorem 1. For fixed $ε>0$ and $M> (1+ε)(n/r)\log n$, $P({\mathcal H} ~\mbox{contains a perfect matching})\rightarrow 1 $ as $n\rightarrow\infty$. Second, it begins a proof of the definitive ``hitting time" statement: Theorem 2. If $A_1, \ldots ~$ is a uniform permutation of ${\mathcal K}$, ${\mathcal H}_t=\{A_1,\ldots ,A_t\}$, and $T=\min\{t:A_1\cup \cdots\cup A_t=V\},$ then $P({\mathcal H}_T ~\mbox{contains a perfect matching})\rightarrow 1 $ as $n\rightarrow\infty$. It is shown here that Theorem 2 follows from a conditional version of Theorem 1 that will be proved elsewhere. The key ideas in that proof are similar to those for Theorem 1, but the argument is a longer story, and it has seemed best to give the present separate proof of Theorem 1, in which those ideas may appear more clearly.

Our basic result, an isoperimetric inequality for Hamming cube $Q_n$, can be written: \[ \int h_A^βdμ\ge 2 μ(A)(1-μ(A)). \] Here $μ$ is uniform measure on $V=\{0,1\}^n$ ($=V(Q_n)$); $β=\log_2(3/2)$; and, for $S\subseteq V$ and $x\in V$, \[ h_S(x) = \begin{cases} d_{V \setminus S}(x) &\mbox{ if } x \in S, 0 &\mbox{ if } x \notin S \end{cases} \] (where $d_T(x)$ is the number of neighbors of $x$ in $T$). This implies inequalities involving mixtures of edge and vertex boundaries, with related stability results, and suggests some more general possibilities. One application, a stability result for the set of edges connecting two disjoint subsets of $V$ of size roughly $|V|/2$, is a key step in showing that the number of maximal independent sets in $Q_n$ is $(1+o(1))2n\exp_2[2^{n-2}]$. This asymptotic statement, whose proof will appear separately, was the original motivation for the present work.

Let $Q_n$ be the $n$-dimensional Hamming cube and $N=2^n$. We prove that the number of maximal independent sets in $Q_n$ is asymptotically \[2n2^{N/4},\] as was conjectured by Ilinca and the first author in connection with a question of Duffus, Frankl and Rödl. The value is a natural lower bound derived from a connection between maximal independent sets and induced matchings. The proof that it is also an upper bound draws on various tools, among them "stability" results for maximal independent set counts and old and new results on isoperimetric behavior in $Q_n$.

We extend the seminal van den Berg-Kesten Inequality on disjoint occurrence of two events to a setting with arbitrarily many events, where the quantity of interest is the maximum number that occur disjointly. This provides a handy tool for bounding upper tail probabilities for event counts in a product probability space.

Answering questions of Y. Rabinovich, we prove "stability" versions of upper bounds on maximal independent set counts in graphs under various restrictions. Roughly these say that being close to the maximum implies existence of a large induced matching or triangle matching (depending on assumptions).