Phase transitions and noise sensitivity on the Poisson space via stopping sets and decision trees

Proofs of sharp phase transition and noise sensitivity in percolation have been significantly simplified by the use of randomized algorithms, via the OSSS inequality (proved by O'Donnell, Saks, Schramm and Servedio (2005)) and the Schramm-Steif inequality for the Fourier-Walsh coefficients of functions defined on the Boolean hypercube. In this article, we prove intrinsic versions of the OSSS and Schramm-Steif inequalities for functionals of a general Poisson process, and apply these new estimates to deduce sufficient conditions - expressed in terms of randomized stopping sets - yielding sharp phase transitions, quantitative noise sensitivity, exceptional times and bounds on critical windows for monotonic Boolean Poisson functions. Our analysis is based on a new general definition of `stopping set', not requiring any topological property for the underlying measurable space, as well as on the new concept of a `continuous-time decision tree', for which we establish several fundamental properties. We apply our findings to the $k$-percolation of the Poisson Boolean model and to the Poisson-based confetti percolation with bounded random grains. In these two models, we reduce the proof of sharp phase transitions for percolation, and of noise sensitivity for crossing events, to the construction of suitable randomized stopping sets and the computation of one-arm probabilities. This enables us to settle some open problem suggested by Ahlberg, Tassion and Texeira (2018) on noise sensitivity of crossing events for the planar Poisson Boolean model and also planar Confetti percolation model. Further, we also prove that critical probability is $1/2$ in certain planar confetti percolation models. A special case of this result was conjectured by Benjamini and Schramm (1998) and proved by M\"uller (2017). Other special cases were proven by Hirsch (2015) and Ghosh and Roy (2018).