Fractional Expectation Threshold in Random Structures

• Fractional expectation threshold is a measure quantifying the tightest fractional lower bound for threshold phenomena in monotone set systems using optimal linear programming relaxations.
• It leverages LP duality and selector processes to bridge the gap between true probabilistic thresholds and expectation thresholds, ensuring sharp and practical estimates.
• Applications include analyzing random hypergraph matchings, bounded degree spanning trees, and resolving conjectures such as those of Kahn–Kalai and Talagrand.

The fractional expectation threshold is a fundamental concept in probabilistic combinatorics, quantifying the tightest “fractional” first-moment lower bound for threshold phenomena in random discrete structures, especially those defined by monotone set systems. It appears as the optimal value of a fractional covering linear program and is intrinsically related to both the true probabilistic threshold and the so-called expectation threshold, which is derived from integral (i.e., set-system) coverings. The interplay between the fractional and expectation thresholds lies at the heart of threshold sharpness, universality, and the resolution of major conjectures such as those of Kahn–Kalai and Talagrand.

1. Formal Definitions and Linear Programming Formulation

For an $n$-element ground set $X$ and an increasing (monotone) family $F \subseteq 2^X$, the fractional expectation threshold quantifies, for a given $p \in [0,1]$, the “fractional covering” of $F$ using sets, each “bought” at cost $p^{|S|}$. Let $g:2^X \rightarrow [0,1]$ assign a weight to each subset. The fractional threshold is

$$T_{\rm frac}(F) := \sup\left\{ p : \exists\, g:2^X\to[0,1],\; F \subseteq \langle g \rangle,\, w(g,p) \le \tfrac12 \right\}$$

where

$$w(g,p) := \sum_{S \subseteq X} g(S)\,p^{|S|}, \quad \langle g \rangle := \left\{ S \subseteq X : \sum_{T \subseteq S} g(T) \ge 1 \right\}$$

The LP relaxation allows coverings to be fractional while an analogous integral version defines the expectation threshold $T_{\rm exp}(F)$, minimizing over set-systems $X$0:

$X$1

with

$X$2

By definition, $X$3 always (Fischer et al., 21 Oct 2025, Frankston et al., 2019, Pham, 2024).

2. Threshold Phenomena and Major Theorems

In most classical problems, one studies a monotone property $X$4 under the product measure $X$5, where each $X$6 is independently included with probability $X$7. The probabilistic threshold $X$8 is defined by $X$9.

A series of major breakthroughs have established near-optimal relationships:

• Fractional Threshold Theorem: For the minimal size $F \subseteq 2^X$0,

$F \subseteq 2^X$1

for a universal constant $F \subseteq 2^X$2 (Frankston et al., 2019). This framework leverages LP duality, fractional sunflowers, and spreadness of coverings.

• Expectation Threshold Theorem: Similarly, the expectation threshold also governs the true threshold within a logarithmic factor:

$F \subseteq 2^X$3

(Park et al., 2022).

• Talagrand’s Constant-Factor Conjecture: Talagrand conjectured the existence of a universal $F \subseteq 2^X$4 such that

$F \subseteq 2^X$5

for all monotone nontrivial $F \subseteq 2^X$6 (Fischer et al., 2023, Fischer et al., 27 May 2025). The general conjecture is open, but substantial special cases and random support settings are now resolved (Fischer et al., 21 Oct 2025).

3. Key Methods: Fractional Covers, LP Duality, and Selector Processes

The core framework is the use of linear programming to model set-coverings. The fractional expectation threshold emerges as the optimal value of the fractional LP relaxation, which can often be analyzed using LP duality:

• Primal LP (fractional covering): assign weights $F \subseteq 2^X$7 so that for every minimal forbidden structure $F \subseteq 2^X$8,

$F \subseteq 2^X$9

(Friedgut et al., 2013, Pham, 2024).

• Dual LP: maximizes over certain “packing” variables with constraints reflecting no ground element is overused, facilitating tight probabilistic lower bounds.

Selector process inequalities—probabilistic symmetrizations spanning “witnesses” of fractional covers—have become instrumental in reduction and rounding arguments and were crucial for resolving the Kahn–Kalai and bounded-support cases of Talagrand (Dubroff et al., 2024, Pham, 2024).

4. Special Cases, Applications, and Random Support Regimes

Several important properties admit explicit computation of $p \in [0,1]$0 and comparison to $p \in [0,1]$1:

• Perfect Matchings in $p \in [0,1]$2-uniform Hypergraphs: $p \in [0,1]$3, and $p \in [0,1]$4. The log gap is tight (Frankston et al., 2019).
• Bounded Degree Spanning Trees/Graphs: Fractional spreadness estimates govern $p \in [0,1]$5, leading to sharp or nearly sharp thresholds (Frankston et al., 2019).
• Axial Multi-dimensional Assignments: The spreadness and LP-embedding give $p \in [0,1]$6 for minimum assignment value (Frankston et al., 2019).
• Random Support Model: For a random $p \in [0,1]$7-uniform hypergraph $p \in [0,1]$8, with $p \in [0,1]$9, $F$0, and $F$1. A constant-factor relation

$F$2

holds a.a.s. for $F$3 (Fischer et al., 21 Oct 2025). This average-case result validates Talagrand’s conjecture for random supports.

5. Rounding Fractional Solutions and Bounded-Size Supports

A series of advances resolve Talagrand’s conjecture for fractional covers supported on small sets:

• Sharp Selector Process and Rounding: If a fractional cover $F$4 is supported on sets of size $F$5 and $F$6, then there exists an integral cover at $F$7 ($F$8 absolute), giving $F$9 for bounded $p^{|S|}$0 (Pham, 2024, Dubroff et al., 2024).
• This methodology relies on a version of the selector process lemma, allowing passage from fractional to integral coverings via random sampling and probabilistic inequalities.

6. Extensions, Limitations, and Outstanding Open Problems

Recent progress includes:

• Complete resolution for many hypergraph clique and linear support cases, via precise overlap control and randomized selection mechanisms (Fischer et al., 27 May 2025, Fischer et al., 2023).
• Bounded-support: For fractional covers on sets of bounded cardinality, the integral and fractional thresholds are within an absolute constant (Pham, 2024, Dubroff et al., 2024).
• Average-case bounds: Random support (hypergraph) models yield constant-factor relations with high probability (Fischer et al., 21 Oct 2025).

However, the general constant-factor conjecture for arbitrary monotone properties and arbitrary supports remains open. Intermediate complexity cases—e.g., where the underlying support hypergraph is neither sufficiently random, bounded-codegree, nor of very high uniformity—do not yet admit a universal rounding scheme or LP reduction (Fischer et al., 2023).

Open directions include:

• Generalizing the random sampling/overlap control methods to all support hypergraphs.
• Removing logarithmic factors in threshold approximation for broad families.
• Identifying universal combinatorial structures (e.g., containers, sunflowers, Lovász Local Lemma frameworks) that could encompass all hard cases (Fischer et al., 2023, Fischer et al., 27 May 2025).

7. Significance in Threshold Theory and Probabilistic Combinatorics

The fractional expectation threshold provides a unifying framework, subsuming a variety of previously ad hoc arguments for threshold bounds in random graphs, hypergraphs, and combinatorial designs. By characterizing the maximum fractional “budget” needed to cover a monotone property at prescribed cost, it both sharpens and quantitatively explains logarithmic gaps in threshold behavior, simplifies upper bound derivations, and underpins the resolution of longstanding conjectures. Its LP-based nature facilitates connections to algorithmic rounding (randomized and combinatorial), probabilistic embedding results, and the structure of extremal combinatorial families (Frankston et al., 2019, Park et al., 2022, Friedgut et al., 2013, Fischer et al., 2023).

The concept is now essential in combinatorial probability, random discrete structures, and algorithmic extremal combinatorics, with tools from LP-duality, coupling, probabilistic inequalities, and hypergraph container/balanced allocation models converging in their analysis and application.