Abstract: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$? There are many situations where this occurs, as well as many situations where this is not the case. 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 new 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.

A short proof of Kahn-Kalai conjecture

When do the Kahn-Kalai Bounds Provide New Information?

A Proof of Conjecture on Restricted Isometry Property Constants $\delta _{tk}\ \left(0<t<\frac {4}{3}\Right)$

On the Second Kahn--Kalai Conjecture

Thresholds and expectation thresholds for larger p

A Proof of Conjecture on Restricted Isometry Property Constants δ $_{tk} (0

The extremals of the Kahn-Saks inequality

A Conditional Extension of the Park-Pham Theorem

Proof of the Kresch-Tamvakis Conjecture

Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem

Proof of a $K$-theoretic polynomial conjecture of Monical, Pechenik, and Searles

Note on a simple trigonometric equality

On a Theorem of Nathanson on Diophantine Approximation

A simple proof of the Karush-Kuhn-Tucker theorem with finite number of equality and inequality constraints

The Kropholler Conjecture

Congruent Numbers, Quadratic Forms and $$K_2$$

Simple proof of Parikh's theorem a la Takahashi

A Short Proof of Knuth's Old Sum

The KAM theorem through Dirichlet's box and Khintchine's transference principles

A Generalized Lévy-Khintchine Theorem

A proof of the generalized Khavinson conjecture