arXiv++ Combinatorics

We prove that if $G$ is an infinite, connected, planar graph properly embedded in $\mathbb{R}^2$ with minimum degree at least $7$, then i.i.d.\ Bernoulli$(p)$ site percolation on $G$ almost surely has infinitely many infinite open (1-)clusters for every \[ p \in \bigl(p_c^{\mathrm{site}},\, 1-p_c^{\mathrm{site}}\bigr). \] Moreover, we show that $p_c^{\mathrm{site}}<\tfrac12$, so this non-uniqueness interval is nonempty. This verifies Conjecture~7 of Benjamini and Schramm~\cite{bs96} for this class of properly embedded planar graphs. Our proof introduces a new construction of embedded trees in $G$. These trees yield infinitely many infinite clusters for percolation parameters near $\tfrac12$, and they also enable exponential decay of two-point connection probabilities by partitioning $G$ using infinitely many disjoint trees. Variants of this approach were later used in~\cite{ZL26} to construct a counterexample to Conjecture~7 of~\cite{bs96} for planar graphs with uncountably many ends. Finally, the methods developed here have further applications: in~\cite{perc24} they are used to prove a vertex-cut characterization of $p_c^{\mathrm{site}}$ (conjectured by Kahn in~\cite{JK03}) and to refute an edge-cut characterization proposed by Lyons and Peres~\cite{LP16} and Tang (\cite{Tang2023}).