Kalai's transitive-symmetric low-level Fourier-weight conjecture

About 21 years old · traced to

For d≥1d\geq1, let CnC_n be the collection of odd, transitive-symmetric functions f:{−1,1}n→{−1,1}f:\{-1,1\}^n\to\{-1,1\}. Let f^(S)\widehat f(S) denote Fourier coefficients, and let Maj⁡n\operatorname{Maj}_n be majority on nn bits. Kalai's transitive-symmetric low-level Fourier-weight conjecture.

lim sup⁡n→∞sup⁡f∈Cn∑∣S∣≤df^(S)2=lim⁡n→∞n odd∑∣S∣≤dMaj⁡n^(S)2.\limsup_{n\to\infty}\sup_{f\in C_n}\sum_{|S|\leq d}\widehat f(S)^2 = \lim_{\substack{n\to\infty\\ n\text{ odd}}}\sum_{|S|\leq d}\widehat{\operatorname{Maj}_n}(S)^2.

This is a transitive-symmetric, odd-function version of the low-level Fourier-weight question. The source presents it as an essentially weaker conjecture attributed to Kalai and does not report a resolution.

References

Primary source

Elchanan Mossel, Ryan O'Donnell and Krzysztof Oleszkiewicz, “Noise stability of functions with low influences: invariance and optimality”, arXiv:math/0503503 (2005).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.