Small Influential Coalitions in $[0,1{]}^n$ via the Junta Theorem

Abstract

Every monotone Boolean function on the continuous cube admits a coalition of $O(n/(\epsilon \log n))$ coordinates that can force a fixed output (either zero or one) with probability at least $1-\epsilon$. This old conjecture of mine was recently proven by Chattopadhyay and Gurumukhani~\cite{CG}. This writeup contains a simplification of their proof, generated by AI after suggesting the use of the junta theorem of~\cite{F98} and the discretization procedure of ~\cite{F04}.