Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: Family 192. A counterexample to the Gopalan–Servedio conjecture

Family claims › Combinatorics · lines 1315–1320

OpenAI@2026-10-07#rem:oai-192

Back to manuscript

Disproves the proposed square-root bound relating a Boolean function's linear Fourier coefficients to its polynomial degree. For every , there is a sign-valued Boolean function with . Thus its total signed correlation with individual input bits can exceed the proposed bound by an arbitrary factor.

The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section