<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> <mo>=</mo> <mrow> <mo>(</mo> <mo stretchy="false">(</mo> <msub> <mi>V</mi> <mi>n</mi> </msub> <mo>,</mo> <msub> <mi>E</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> <mo>)</mo> </mrow> </math></EquationSource> <EquationSource Format="TEX">$(G_{n}) = \left ((V_{n},E_{n})\right )$</EquationSource> </InlineEquation> be a sequence of finite connected vertex-transitive graphs with uniformly bounded vertex degrees such that <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <mo stretchy="false">|</mo> <msub> <mi>V</mi> <mi>n</mi> </msub> <mo stretchy="false">|</mo> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </math></EquationSource> <EquationSource Format="TEX">$\lvert V_{n} \rvert \to \infty $</EquationSource> </InlineEquation> as <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </math></EquationSource> <EquationSource Format="TEX">$n \to \infty $</EquationSource> </InlineEquation>. We say that percolation on <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>n</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{n}$</EquationSource> </InlineEquation> has a <i>sharp</i> phase transition (as <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo stretchy="false">→</mo> <mi mathvariant="normal">∞</mi> </math></EquationSource> <EquationSource Format="TEX">$n \to \infty $</EquationSource> </InlineEquation>) if, as the percolation parameter crosses some critical point, the number of vertices contained in the largest percolation cluster jumps from logarithmic to linear order with high probability. We prove that percolation on <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>n</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{n}$</EquationSource> </InlineEquation> has a sharp phase transition unless, after passing to a subsequence, the rescaled graph-metric on <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>n</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{n}$</EquationSource> </InlineEquation> (rapidly) converges to the unit circle with respect to the Gromov-Hausdorff metric. We deduce that under the same hypothesis, the critical point for the emergence of a giant (i.e. linear-sized) cluster in <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>n</mi> </msub> </math></EquationSource> <EquationSource Format="TEX">$G_{n}$</EquationSource> </InlineEquation> coincides with the critical point for the emergence of an infinite cluster in the Benjamini-Schramm limit of <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <msub> <mi>G</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(G_{n})$</EquationSource> </InlineEquation>, when this limit exists.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Sharpness and Locality for Percolation on Finite Transitive Graphs

  • Philip Easo

摘要

Let ( G n ) = ( ( V n , E n ) ) $(G_{n}) = \left ((V_{n},E_{n})\right )$ be a sequence of finite connected vertex-transitive graphs with uniformly bounded vertex degrees such that | V n | $\lvert V_{n} \rvert \to \infty $ as n $n \to \infty $ . We say that percolation on G n $G_{n}$ has a sharp phase transition (as n $n \to \infty $ ) if, as the percolation parameter crosses some critical point, the number of vertices contained in the largest percolation cluster jumps from logarithmic to linear order with high probability. We prove that percolation on G n $G_{n}$ has a sharp phase transition unless, after passing to a subsequence, the rescaled graph-metric on G n $G_{n}$ (rapidly) converges to the unit circle with respect to the Gromov-Hausdorff metric. We deduce that under the same hypothesis, the critical point for the emergence of a giant (i.e. linear-sized) cluster in G n $G_{n}$ coincides with the critical point for the emergence of an infinite cluster in the Benjamini-Schramm limit of ( G n ) $(G_{n})$ , when this limit exists.