Almost linear Boolean functions on S_n are almost unions of cosets

07/16/2021

∙

by   Yuval Filmus, et al.

∙

0

∙

share

We show that if f S_n →{0,1} is ϵ-close to linear in L_2 and 𝔼[f] ≤ 1/2 then f is O(ϵ)-close to a union of "mostly disjoint" cosets, and moreover this is sharp: any such union is close to linear. This constitutes a sharp Friedgut-Kalai-Naor theorem for the symmetric group. Using similar techniques, we show that if f S_n →ℝ is linear, [f ∉{0,1}] ≤ϵ, and [f = 1] ≤ 1/2, then f is O(ϵ)-close to a union of mostly disjoint cosets, and this is also sharp; and that if f S_n →ℝ is linear and ϵ-close to {0,1} in L_∞ then f is O(ϵ)-close in L_∞ to a union of disjoint cosets.