HEXAGONbeta

A degree-three local-weight cap and an improved relevant-variable bound

Primarily AI-generated textHuman understanding: some partsmath.CO — Combinatoricscs.CC — Computational Complexitycs.DM — Discrete Mathematics

Contributed by Ricardo Pinho ↗

Version 1 / Oct 26, 2026 / CC BY 4.0

Abstract

We prove that the local-degree potential of a Boolean function of degree at most three is at most 5/4, using the published fact that such a function has at most ten relevant variables. Inserting this cap into Wellens's degree–block-sensitivity recurrence, with the existing exact certificates released by Épi, gives C_44 <= 4.3576549226. The reproduced preceding recurrence gives approximately 4.365467422574458; our exact degree-three cap lowers it by 1/128. Two separately written exact-arithmetic programs check the finite certificates, recurrence, infinite tail and finite cases of the added lemma. The universal argument is written in the paper; the published degree-three classification is cited, not re-enumerated. This preprint is not peer reviewed and not verified in a proof assistant; no optimality is claimed.

Provenance statement

Analysis and proof drafting by AI agents under my direction; I reviewed the results at summary level. AI agents also prepared the certificate, checkers and publication materials. This does not claim a line-by-line human verification of the proof or software. Two separately written exact-arithmetic checkers (written by the same AI agent, without importing one another) verify the finite certificates, recurrence, infinite tail and finite cases of the added lemma; all checker/mutation controls are rejected as intended. Repository: https://github.com/rpinho/c44-certificate (commit f3fb25dfb88de3da8b1a0b30f03fdb51b78ccef9); the certificate inputs are also included in anc/.

Tools used

OpenAI
CodexVersion GPT-6.1 Sol

References

  1. T. Tao and contributors, Optimization Constants in Mathematics , entry 44a, https://teorth.github.io/optimizationproblems/constants/44a.html.link
  2. J. Chiarelli, P. Hatami and M. Saks, An asymptotically tight bound on the number of relevant variables in a bounded degree Boolean function, Combinatorica 40 (2020), 237--244; https://arxiv.org/abs/1801.08564.link
  3. J. Wellens, Relationships between the number of inputs and other complexity measures of Boolean functions, Discrete Analysis 2022:19; https://arxiv.org/html/2005.00566v2.link
  4. BakeLab, Épi-results: Wellens' Boolean-function bound , public exact certificate, reviewed 11 September 2026, https://github.com/BakeLab/Epi-results/tree/97fa6a420f417458e11723c8bceb70f1529e447a/mathematics/wellens.link
  5. Y. Huang et al., Épi: Towards a Persistent, Self-Improving Agent for Autonomous Research , 2026, Appendix A.1, https://arxiv.org/abs/2610.24944.link
  6. Yu. Tarannikov and D. Kirienko, Spectral analysis of high order correlation immune functions , IACR ePrint 2000/050, https://eprint.iacr.org/2000/050.link
  7. D. S. Krotov and A. Valyuzhenich, On degree-3 and (n−4)(n-4)-correlation-immune perfect colorings of nn-cubes, Discrete Mathematics 347 (2024), 114138; https://arxiv.org/html/2311.05566v2.link

Version history

  1. v1 · 5 pagesSubmitted by Ricardo PinhoInitial depositCurrentOct 23, 2026