OpenAI reports sharp binary-information contraction on the discrete cube

For a binary channel on a uniform discrete cube under independent symmetric noise, a noisy coordinate maximizes retained information at fixed initial information; for Boolean functions this gives I(f(X);Y) ≤ 1 − h₂(ε) at crossover probability 0≤ε≤1/2.

Curated contributions 1

Understand the problem ↓

OpenAI reports sharp binary-information contraction on the discrete cube

  • Theoretical Computer Science

For a binary channel on a uniform discrete cube under independent symmetric noise, a noisy coordinate maximizes retained information at fixed initial information; for Boolean functions this gives I(f(X);Y) ≤ 1 − h₂(ε) at crossover probability 0≤ε≤1/2.

AI involvementAI-led
ImportanceMajor
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

For a binary channel on a uniform discrete cube under independent symmetric noise, a noisy coordinate maximizes retained information at fixed initial information; for Boolean functions this gives I(f(X);Y) ≤ 1 − h₂(ε) at crossover probability 0≤ε≤1/2.

Why it matters

If correct, resolves the Courtade–Kumar conjecture for all Boolean functions and noise levels, with a sharper output-bias refinement.

What counts as progress

Does a noisy coordinate maximize retained binary information on the uniform discrete cube?

Website timeline

Publication dates and editorial changes.