Sharpness of the phase transition for constrained-degree percolation

We consider constrained-degree percolation on the hypercubic lattice. Initially, all edges are closed, and each edge independently attempts to open at a uniformly distributed random time; the attempt succeeds if, at that instant, both end-vertices have degrees strictly less than a prescribed parameter. The absence of the FKG inequality and the finite energy property, as well as the infinite range of dependency, make the rigorous analysis of the model particularly challenging. In this work, we show that the one-arm probability exhibits exponential decay in its entire subcritical phase. The proof relies on the Duminil-Copin--Raoufi--Tassion randomized algorithm method and resolves a problem of dos Santos and the second author. At the heart of the argument lies an intricate combinatorial transformation of pivotality in the spirit of Aizenman--Grimmett essential enhancements, but with unbounded range. This technique may be of use in other dynamical settings.