Proves Cov(f,g) ≥ 4 ∑_{∅≠S} |S| ˆf(S)^2 ˆg(S)^2 for increasing Boolean f,g on {0,1}^n, with the factor 4 sharp and all equality cases determined.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The sharp diagonal spectral correlation inequality on the discrete cube
Proves Cov(f,g) ≥ 4 ∑_{∅≠S} |S| ˆf(S)^2 ˆg(S)^2 for increasing Boolean f,g on {0,1}^n, with the factor 4 sharp and all equality cases determined.