Aaronson–Ambainis conjecture on influences of Boolean functions

Let f:{±1}n[1,1]f:\{\pm 1\}^{n}\to[-1,1] be a function of degree dd. Define its variance and the influence of coordinate jj by

Var(f):=Sf^(S)2,\operatorname{Var}(f):=\sum_{S\neq\emptyset}\widehat{f}(S)^2, Infj(f):=jSf^(S)2.\operatorname{Inf}_{j}(f):=\sum_{j\in S}\widehat{f}(S)^2.

Aaronson–Ambainis conjecture. Every such function satisfies

poly(Var(f)/d)max1jnInfj(f).\operatorname{poly}(\operatorname{Var}(f)/d)\leq\max_{1\leq j\leq n}\operatorname{Inf}_{j}(f).

This conjecture predicts that a bounded low-degree Boolean function with non-negligible variance has a coordinate of correspondingly non-negligible influence. The source notes that only a very special case was solved using multilinear Bohnenblust–Hille estimates; the general conjecture remains open.

Sources & referencesView supporting material

Primary source

Andreas Defant, Mieczysław Mastyło and Antonio Pérez, “On the Fourier spectrum of functions on Boolean cubes”, arXiv:1706.03670 (2017).

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.