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.

The extremals of the Kahn-Saks inequality

Log-concavity in Combinatorics

The Extremals of Minkowski's Quadratic Inequality

Extremal affine subspaces and Khintchine-Jarník type theorems

When do the Kahn-Kalai Bounds Provide New Information?

On the Second Kahn--Kalai Conjecture

Extremal families for the Kruskal--Katona theorem

On the extremal families for the Kruskal--Katona theorem

EXTREMAL PAIRS OF YOUNG'S INEQUALITY FOR KAC ALGEBRAS

Extremal problems for convex geometric hypergraphs and ordered hypergraphs

Infinitely Log-Monotonic Combinatorial Sequences

Chaining, Interpolation, and Convexity II: The contraction principle

Extreme contractions on finite-dimensional Banach spaces

Towards Strong Reverse Minkowski-type Inequalities for Lattices

Convexity, Squeezing, and the Elekes-Szabó Theorem

Extremal functions on moduli spaces and applications

Extreme Points of Spectrahedra

On noncommutative distributional Khintchine type inequalities

Polyak's convexity theorem, Yuan's lemma and S-lemma: extensions and applications

Equality cases of the Alexandrov--Fenchel inequality are not in the polynomial hierarchy