English

An SoS Entropy Dichotomy via Windowed Hypercontractivity

Computational Complexity 2025-09-30 v1

Abstract

We prove an entropy versus degree dichotomy for low-degree tests and the Sum-of-Squares (SoS) hierarchy on a calibrated window after a gadget layer. For a target distribution μ\mu and a product-like proxy uu, we study the low-degree discrepancy Δk(μ,u)\Delta_k(\mu,u), defined as the optimal distinguishing advantage of degree k\le k polynomial tests. Using a bias-orthonormal Walsh basis and a test-moment equivalence on the window, we relate Δk\Delta_k (up to constants) to the squared 2\ell_2 mass of signed low-degree moments. Calibrated pseudoexpectations match uu on all moments of degree k\le k, hence test discrepancy equals SoS pseudoexpectation deviation. Under bias, product, and width assumptions along a switching path, a windowed Bonami--Beckner inequality yields hypercontractive tail bounds. Combining these with moment matching, we obtain a discrepancy-to-degree theorem: if Δk(μ,u)nβ\Delta_k(\mu,u) \ge n^{-\beta}, then any polynomial-calculus or SoS refutation separating μ\mu from uu requires degree Ω(k)\Omega(k). Instantiating k=clognk = c \log n gives an explicit Ω(logn)\Omega(\log n) SoS degree lower bound whenever Δknη\Delta_k \ge n^{-\eta}. All constants are explicit and depend only on calibrated window parameters. This work provides the SoS/low-degree core and complements a prior calibration blueprint; a companion paper lifts the windowed statements to full distribution families.

Keywords

Cite

@article{arxiv.2509.24280,
  title  = {An SoS Entropy Dichotomy via Windowed Hypercontractivity},
  author = {Marko Lela},
  journal= {arXiv preprint arXiv:2509.24280},
  year   = {2025}
}

Comments

41 pages, 2 tables. Part II (IECZ-II) of a series; complements IECZ-I (calibration/blueprint) and a planned IECZ-III (lifting to families). Compiles with pdfLaTeX; bibliography provided as .bbl. A minimal Python helper for packaging sources accompanies the submission; an archived code bundle for reproducibility will be released on Zenodo (DOI to be added in a revised version)

R2 v1 2026-07-01T06:03:32.773Z