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
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
- remark: Remark: Family 155. A counterexample to periodic tiling in dimension three
- remark: Remark: Family 156. Borsuk's conjecture fails in dimension nine
- remark: Remark: Family 157. Counterexamples to the Hadwiger and Colin de Verdi conjectures
- remark: Remark: Family 158. The Euclidean plane cannot be colored with five colors
- remark: Remark: Family 159. Erd (o)s's reciprocal-sum conjecture and quasipolynomial Szemerédi bounds
- remark: Remark: Family 160. Superexponential van der Waerden numbers
- remark: Remark: Family 161. Counterexamples to Sidorenko's conjecture and the forcing conjecture
- remark: Remark: Family 162. Counterexamples to Ryser's covering and Gyárfás's tree-cover conjectures