clopen.solutions

Fourier entropy of threshold functions and their compositions

Recorded by the registry's curators from arXiv; the authors did not submit it here.

AI-Verified

Yitzchak Shmalo

We prove the Fourier entropy--influence inequality for every linear threshold function, with a constant below $8.937$ and no restrictions on its weights or threshold. The argument applies to regular Boolean functions and gives logarithmic bounds for their Boolean combinations and for unions with bounded variable overlap. Character multiplication preserves the estimates and yields bounds by influence minus variance. Under arbitrary product measures, symmetric thresholds satisfy the strengthened inequality needed for read-once composition, uniformly in depth and fan-in. A joint description of each Fourier set refines the overlap estimate and recovers constant bounds for addressing. Exact selector identities extend the bound to orthogonal multiplexers with shared data. Rare activation preserves the optimal constant of unrestricted FEI. The proofs combine pivotal antichains, spectral reference measures, and product-measure composition.

Claims

PARTIALLY RESOLVED OP-00345 — The Fourier entropy–influence conjecture
Partial resolution · fidelity not yet established

Files and sources

Paper
PDF · arXiv:2610.16069v1 ↗
Licence
CC BY 4.0 · the PDF is arXiv's, unmodified, and hosted here under this licence
Posted on arXiv
12 October 2026

No verification run is on record for this version.