Density limit points for top-down lower bounds #
Definition 2 of Oliver Korten, Top-Down Lower Bounds for All Depths, ECCC TR26-221 (2026), https://eccc.weizmann.ac.il/report/2026/221/.
def
Complexity.BooleanAnalysis.IsDensityLimit
{ι : Type u_1}
[Fintype ι]
[DecidableEq ι]
(Y : Finset (ι → Bool))
(p k : ℝ)
(x : ι → Bool)
:
A (p,k)-limit point of Y: with probability at least 3/4, the
rate-p coordinate fiber over x has density at least 2^(-k) in Y.
Equations
- One or more equations did not get rendered due to their size.