arXiv++ Combinatorics

In this paper, we will develop a significantly more general notion of classical Ramsey numbers (extending most other graph-theoretic generalizations) and make some preliminary characterizations of these new Ramsey numbers using simple algebraic tools. Throughout, we make a case arguing that, while our access to specific values of Ramsey numbers (or, in general, precise numerical solutions to Ramsey-theoretic problems) may be limited, the interplay between and overall structure of Ramseyian objects is likely tractable. To support the relevancy of this perspective, we conclude by demonstrating that the Green-Tao Theorem, the Twin Prime conjecture, Zhang's bounded prime gap theorem, and Polignac's conjecture can be viewed as statements about Ramsey numbers.

The Park-Pham theorem (previously known as the Kahn-Kalai conjecture), bounds the critical probability, $p_c(\mathcal{F})$, of the a non-trivial property $\mathcal{F}\subseteq 2^X$ that is closed under supersets by the product of a universal constant $K$, the expectation threshold of the property, $q(\mathcal{F})$, and the logarithm of the size of the property's largest minimal element, $\log\ell(\mathcal{F})$. That is, the Park-Pham theorem asserts that $p_c(\mathcal{F})\leq Kq(\mathcal{F})\log\ell(\mathcal{F})$. Since the critical probability $p_c(\mathcal{F})$ always satisfies $p_c(\mathcal{F})<1$, one may ask when the upper bound posed by Kahn and Kalai gives us more information than this--that is, when is it true that $Kq(\mathcal{F})\log\ell(\mathcal{F}) < 1$? In this short note, we provide a number of necessary conditions for this to happen and give a few sufficient conditions for the bounds to provide new (and, in fact, asymptotically perfect) information along the way. In the most interesting case where $\ell(\mathcal{F}_n)\rightarrow \infty$, we prove the following relatively strong necessary condition for the Kahn-Kalai bounds to provide nontrivial information: For every positive integer $t$, every collection of all-but-$t$ of the minimal elements of $\mathcal{F}_n$ may have nonempty intersection for only finitely many $n$. Consequently, not only must the number of minimal elements become arbitrarily large, but so too must the size of any cover. Intuitively, this means that such sequences $\mathcal{F}_n$ must occupy an ever-widening `wedge' in $2^{X_n}$: the further $\mathcal{F}_n$ climbs up $2^{X_n}$ in one area, the further it must spread down and across $2^{X_n}$ in another.

Neglecting many motivating details for the Park-Pham theorem (previously known as the Kahn-Kalai conjecture), the result starts with a finite set $X$, a non-trivial upper set $\mathcal{F} \subseteq 2^X$, and a particular parameterized family of random variables $X_p$, then proceeds to provide an upper bound on the value $p_c(\mathcal{F})$ such that $\mathbb{P}(X_{p_c(\mathcal{F})} \in \mathcal{F}) = 1/2$. A natural question to ask is if there is an analog to the Park-Pham theorem for upper sets in finite posets other than $2^X$ and other parameterized families of random variables taking values in them. In this short note, we show that there is, with minor adjustments, in at least one circumstance. This is done by producing a conditional version of the $ε$-dependent form of the Park-Pham theorem, which has practical implications for the study of large neural networks and may also be interesting in its own right.