arXiv++ Combinatorics

Seymour's celebrated second neighborhood conjecture, now more than thirty years old, states that in every oriented digraph, there is a vertex $u$ such that the size of its second out-neighborhood $N^{++}(u)$ is at least as large as that of its first out-neighborhood $N^+(u)$. In this paper, we prove the existence of $u$ for which $|N^{++}(u)| \ge 0.715538 |N^+(u)|$. This result provides the first improvement to the best known constant factor in over two decades.

We consider a (possibly discrete) unimodular locally compact group $G$ with Haar measure $μ_G$, and a compact $A\subseteq G$ of positive measure with $μ_G(A^2)\leq Kμ_G(A)$. Let $H$ be a closed normal subgroup of G and $π: G \rightarrow G/H$ be the quotient map. With the further assumption that $A= A^{-1}$, we show $$μ_{G/H}(πA ^2) \leq K^2 μ_{G/H}(πA).$$ We also demonstrate that $K^2$ cannot be replaced by $(1-ε)K^2$ for any $ε>0$. In the general case (without $A=A^{-1}$), we show $μ_{G/H}(πA ^2) \leq K^3 μ_{G/H}(πA)$, improving an earlier result by An, Jing, Zhang, and the third author. Moreover, we are able to extract a compact set $B\subseteq A$ with $μ_G(B)> μ_G(A)/2$ such that $ μ_{G/H}(πB^2) < 2K μ_{G/H}(πB)$.

A quasi-kernel of a digraph $D$ is an independent set $Q$ such that every vertex can reach $Q$ in at most two steps. A 48-year conjecture made by P.L. Erdős and Székely, denoted the small QK conjecture, says that every sink-free digraph contains a quasi-kernel of size at most $n/2$. Recently, Spiro posed the large QK conjecture, that every sink-free digraph contains a quasi-kernel $Q$ such that $|N^-[Q]|\geq n/2$, and showed that it follows from the small QK conjecture. In this paper, we establish that the large QK conjecture implies the small QK conjecture with a weaker constant. We also show that the large QK conjecture is equivalent to a sharp version of it, answering affirmatively a question of Spiro. We formulate variable versions of these conjectures, which are still open in general. Not many digraphs are known to have quasi-kernels of size $(1-α)n$ or less. We show this for digraphs with bounded dichromatic number, by proving the stronger statement that every sink-free digraph contains a quasi-kernel of size at most $(1-1/k)n$, where $k$ is the digraph's kernel-perfect number.

For $x$ real, let $ \{ x \}$ be the fractional part of $x$ (i.e. $\{x\} = x - \lfloor x \rfloor $). The lonely runner conjecture can be stated as follows: for any $n$ positive integers $ v_1 < v_2 < \dots < v_n $ there exists a real number $t$ such that $ 1/(n+1) \le \{ v_i t\} \le n/(n+1) $ for $ i = 1, \dots, n$. In this paper we prove that if $ ε>0 $ and $n$ is sufficiently large (relative to $ε$) then such a $t$ exists for any collection of positive integers $ v_1 < v_2 < \dots < v_n$ such that $ v_n < (2-ε)n$. This is an approximate version of a natural next step for the study of the lonely runner conjecture suggested by Tao. The key ingredient in our proof is a result on coprime mappings. Let $A$ and $B$ be sets of integers. A bijection $ f:A \to B$ is a coprime mapping if $ a $ and $f(a)$ are coprime for every $ a \in A$. We show that if $A,B \subset [n]$ are intervals of length $2m$ where $ m = e^{ Ω({(\log\log n)}^2)}$ then there exists a coprime mapping from $A$ to $B$. We do not believe that this result is sharp.

Let $Q_n$ be the poset that consists of all subsets of a fixed $n$-element set, ordered by set inclusion. The poset cube Ramsey number $R(Q_n,Q_n)$ is defined as the least $m$ such that any 2-coloring of the elements of $Q_m$ admits a monochromatic copy of $Q_n$. The trivial lower bound $R(Q_n,Q_n)\ge 2n$ was improved by Cox and Stolee, who showed $R(Q_n,Q_n)\ge 2n+1$ for $3\le n\le 8$ and $n\ge 13$ using a probabilistic existence proof. In this paper, we provide an explicit construction that establishes $R(Q_n,Q_n)\ge 2n+1$ for all $n\ge 3$. The best known upper bound, due to Lu and Thompson, is $ R(Q_n, Q_n) \le n^2 - 2n + 2$.

Lazarev, Miller and O'Bryant investigated the distribution of $|S+S|$ for $S$ chosen uniformly at random from $\{0, 1, \dots, n-1\}$, and proved the existence of a divot at missing 7 sums (the probability of missing exactly 7 sums is less than missing 6 or missing 8 sums). We study related questions for $|S-S|$, and shows some divots from one end of the probability distribution, $P(|S-S|=k)$, as well as a peak at $k=4$ from the other end, $P(2n-1-|S-S|=k)$. A corollary of our results is an asymptotic bound for the number of complete rulers of length $n$.