Difference between revisions of "Percolation crossing"

From Boolean Zoo
Jump to: navigation, search
(Created page for percolation crossing.)
 
m
Line 9: Line 9:
 
== References ==
 
== References ==
 
<references/>
 
<references/>
 +
 +
[[Category:Monotone function]]

Revision as of 10:31, 5 September 2018

Definition

Let [math]G(V,E)[/math] be a graph with [math]|E| = n[/math] edges, and let [math]A,B \subseteq V[/math] be two disjoint sets of vertices. Every vector [math]x \in \{-1,1\}^n[/math] can be seen as a labeling on the edges of [math]G[/math]: an edge [math]e_i[/math] is called "open" if [math]x_i = 1[/math] and "closed" if [math]x_i = -1[/math]. A function [math]f:\{-1,1\}^n \to \{-1,1\}[/math] is called a percolation crossing function if under the labeling of open and closed edges given by [math]x[/math], there exists an open path from [math]A[/math] to [math]B[/math].

Commonly studied percolation functions are the left-to-right crossing in subcubes of the integer lattice [math]\mathbb{Z}^d[/math], and the left-to-right crossings in rhombuses in the triangular lattice.

Properties

References