Constrained-degree percolation on the hypercubic lattice: uniqueness and some of its consequences
We consider the constrained-degree percolation (CDP) model on the hypercubic lattice. This is a continuous-time percolation model defined by a sequence of i.i.d. uniform random variables and a positive integer , referred to as the constraint. The model evolves as follows: each edge attempts to open at a random time , independently of all other edges. It succeeds if, at time , both of its end-vertices have degrees strictly smaller than . It is known \cite{hartarsky2022weakly} that this model undergoes a phase transition when for most nontrivial values of . In this work, we prove that, for any fixed constraint, the number of infinite clusters at any time is almost surely either 0 or 1. This uniqueness result implies the continuity of the percolation function in the supercritical regime, , where denotes the percolation critical threshold. The proof relies on a key time-regularity property of the model: the law of the process is continuous with respect to time for local events. In fact, we establish differentiability in time, thereby extending the result of \cite{SSS} to the CDP setting.