percolation
DESCRIPTION
Percolation. Simulating percolation models Guillermo Amaral Caesar Systems - Argentina. A virtual lab. Percolation deals with…. Propagation of diseases. Propagation of fire. Oil & gas in reservoirs. Gelation & Polymerization. The problem. - PowerPoint PPT PresentationTRANSCRIPT
PercolationSimulating percolation models
Guillermo AmaralCaesar Systems - Argentina
ESUG 2009Guillermo Amaral2
ESUG 2009Guillermo Amaral3
ESUG 2009Guillermo Amaral4
ESUG 2009Guillermo Amaral
A virtual lab
5
ESUG 2009
Percolation deals with…
ESUG 2009Guillermo Amaral7
Propagation of diseases
ESUG 2009Guillermo Amaral8
Propagation of fire
ESUG 2009Guillermo Amaral9
Oil & gas in reservoirs
ESUG 2009Guillermo Amaral10
Gelation & Polymerization
ESUG 2009
The problem
ESUG 200912
Original problem (Broadbent - Hammersley, 1957)
Guillermo Amaral
What is the probability that the
water reaches the center of
the rock?
ESUG 2009
The simulation
ESUG 2009
The mathematical model
ESUG 2009Guillermo Amaral15
The simplest model
v ϵ ℤ2
vu at distance 1
from v
u v
P(e “open”) = pP(e “close”) = 1 - p
e
Open path fromu to v
v
u
Percolating cluster
Open cluster from v
v
ESUG 2009Guillermo Amaral16
Dimensions
3-D
n-D…
2-D
Element being open/close
Bond
Site
Both…
Structure
Square Bow-tie
Hexagonal Kagomé
Other…
Model typesDirection
Anisotropicp1
p 2
Isotropicp
p
ESUG 2009Guillermo Amaral17
θ(p) = Pp(a given vertex belongs to a percolating cluster) θ(p) = 0 si p = 0 θ(p) = 1 si p = 1 θ(p) is monotonically non-decrescent
There is pc Є [0, 1] such that: θ(p) = 0 if p < pc
θ(p) > 0 if p > pc
When is p = pc?
Phase transition: Critical probability
pc
1
10
θ(p)
p
pc?
ESUG 2009Guillermo Amaral18
Known critical probabilities
Bond Site
Square ½ 0.5927…
Bow-tie 1 − p − 6p2 - 6p3 − p5 = 0(0.4045…) 0.5472…
Hexagonal 1- 2 sin(π/18)(0.6527…) 0.6970…
Triangular 2 sin(π/18)(0.3472…) ½
Kagomé 0.5244… 0.6527…
ESUG 2009Guillermo Amaral19
Why simulation?
Problems very hard to prove analytically Square bond model critical probability = 0.5
Clues for a formal proof
Application to practical cases
ESUG 2009Guillermo Amaral20
Areas of interest
Large-graph representation
Pseudo-random numbers
Graph exploration
Analysis of connected components
ESUG 2009Guillermo Amaral21
Simulation variables
SimulationLattice
parameters• height, • width
Pattern parameters • k
Open policy parameters
• p• pV, pH
Estimator θ(p)
Percolating cluster size
Simulation running time
ESUG 2009Guillermo Amaral22
Simulation process
1. Build the model
2. Generate a “random”
configuration
3. Search for percolating
clusters
4. Collect results of output variables
ESUG 2009
The simulator
ESUG 2009
My experience…
ESUG 2009Guillermo Amaral25
Programming with a solution in mind leads to answers, but
modeling the problem also raises new questions
ESUG 2009
Questions
ESUG 2009
A case of study
ESUG 200928
Scope analysis
Guillermo Amaral
v = (x, y) v’ = (y, x)
v’
v
p vpH
x0 (x0↔v) (x0↔v’ )
If pH < pv,P(x0↔v) <P(x0↔v’)?
ESUG 2009Guillermo Amaral29
Scope analysis visualization
>
=
Mirror coloring Scale coloring
ESUG 2009
Object design
ESUG 2009Guillermo Amaral31
Objects (1)
PercolationModel
BondPercolation SitePercolation
Lattice
SquareLatticeGraphPattern
SubgraphPattern NodeBasedPattern
LatticeGraph
Square1KVertical1Horizontal Square1Vertical1KHorizontal …
OpenPolicy
SiteOpenPolicyBondOpenPolicy
IsotropicPolicy AnisotropicPolicy
AdjacencySolver
PatternAdjacencySolver MatrixAdjacencySolver
CubicLatticeSquareVerticalHorizontal …
Caesar
ESUG 2009Guillermo Amaral32
Objects (2)
AdjacencyMatrix
PSBitMatix
PSFloatMatrix PSSparseMatrix
PSSparseFloatMatrix
GraphAlgorithm
GraphSearchAlgorithmQuickUnionFind
BreathFirstSearch DepthFirstSearchWeightedQuickUnionFind
WQUFPC
ModelSampler
CriticalRangeFinder
CompositeSampler
NodeScopeAnalizer
VariableWalker
ModelEvaluator
ModelHistory
UnionFindAnalizer …
…
Caesar
ESUG 2009Guillermo Amaral33
Objects (3)
PSDrawer
CriticalRangeDrawerChartDrawer SquareLatticeGraphDrawer
BondPercolationGraphDrawer
SitePercolationGraphDrawerPieChartDrawer XYChartDrawer
ChartObject
ChartAxis
Chart ChartSerieRangeMark
XYSerieMarker
PieChar XYChart
DrawerTool
NodeLocator XYChartPointLocator
EdgeLocator
ClusterPainter
Caesar