Abstract:It is known that many different types of finite random subgraph models undergo quantitatively similar phase transitions around their percolation thresholds, and the proofs of these results rely on isoperimetric properties of the underlying host graph. Recently, the authors showed that such a phase transition occurs in a large class of regular high-dimensional product graphs, generalising a classic result for the hypercube. In this paper we give new isoperimetric inequalities for such regular high-dimensional product graphs, which generalise the well-known isoperimetric inequality of Harper for the hypercube, and are asymptotically sharp for a wide range of set sizes. We then use these isoperimetric properties to investigate the structure of the giant component in supercritical percolation on these product graphs, that is, when , where d is the degree of the product graph and is a small enough constant. We show that typically has edge-expansion . Furthermore, we show that likely contains a linear-sized subgraph with vertex-expansion . These results are best possible up to the logarithmic factor in d . Using these likely expansion properties, we determine, up to small polylogarithmic factors in d , the likely diameter of as well as the typical mixing time of a lazy random walk on . Furthermore, we show the likely existence of a cycle of length . These results not only generalise, but also improve substantially upon the known bounds in the case of the hypercube, where in particular the likely diameter and typical mixing time of were previously only known to be polynomial in d .

Upper transition point for percolation on the enhanced binary tree: A sharpened lower bound

Bounds of percolation thresholds in the enhanced binary tree

Analytic results for the percolation transitions of the enhanced binary tree

Comment on `Monte Carlo simulation study of the two-stage percolation transition in enhanced binary trees'

Asymptotic Behavior of the Critical Probability for Ρ-Percolation in High Dimensions

Some Remarks on Ab-Percolation in High Dimensions

Crossing on hyperbolic lattices

Sharpness and locality for percolation on finite transitive graphs

Existence of a percolation threshold on finite transitive graphs

Hyperbolic site percolation

Sharp phase transition and critical behaviour in 2D divide and colour models

Percolation critical probabilities of matching lattice-pairs

Percolation thresholds on high dimensional $D_n$ and dense packing lattices

Percolation on supercritical causal triangulations

Isoperimetric Inequalities and Supercritical Percolation on High-Dimensional Graphs

Supercritical percolation on finite transitive graphs I: Uniqueness of the giant component

A lower bound for p_c in range-R bond percolation in four, five and six dimensions

Percolation on branching simplicial and cell complexes and its relation to interdependent percolation

Percolation through Isoperimetry

Sharp asymptotics for finite point-to-plane connections in supercritical bond percolation in dimension at least three