Notas em Percolacao

Notas em Percolacao
Luiz Renato G. Fontes

Instituto de Matem atica e Estatstica USP
i
Prefacio
Dos modelos da fsica estatstica na rede a exibir transicao de fase, o modelo
de Percolacao e possivelmente o mais simples e um dos que mais bem exem-
plicam a rica e frutfera interrela cao que ha na area entre metodos da fsica
matem atica, probabilidade e combinat oria.
Formulado em ns da decada de 50 por Broadbent e Hammersley [1] como
um modelo de transporte de uido em meio poroso, ele teve seus primeiros
resultados nao-triviais (sobre a existencia de transicao de fase) provados por
estes autores. Harris [2] obteve resultados parciais sobre o ponto crtico em
duas dimens oes no incio dos anos 60. Mais tarde, ja em ns dos anos 70 e
incio dos 80, Kesten [3] estabeleceu seu valor exato. Diversos outros resul-
tados importantes foram obtidos neste ultimo perodo, como os argumentos
independentes de Menshikov [4] e Aizenman e Barsky [5] para estabelecer
a unicidade do ponto crtico e o resultado de Aizenman, Kesten e Newman
sobre a unicidade do aglomerado innito [6].
Os ns dos anos 80 e incio dos 90 marcam o ataque a um dos problemas
mais elusivos do modelo, a continuidade da densidade do aglomerado innito
no ponto crtico em mais do que duas dimens oes. Ideias de renormalizacao de
Barsky, Grimmett e Newman [7] produziram os resultados mais importantes a
respeito, ainda que incompletos (o problema original permanece em aberto!).
Estas notas representam topicos apresentados pelo autor em cursos sobre
Percolacao na USP de Sao Carlos e Sao Paulo, na UFMG e no IMPA entre
janeiro de 1993 e fevereiro de 1994. Os pontos abordados sao basicamente os
delineados acima. As fontes sao o livro ja bastante aclamado Percolation de
ii
G.R. Grimmett [8], que serve de referencia para tudo aqui e muito mais, e
tambem notas de aulas tomadas de C.M. Newman na NYU em 1990. Sup oe-
se um conhecimento de teoria da probabilidade a nvel de graduac ao. Alguns
resultados mais avancados (mas classicos) desta teoria sao citados, para os
quais indicamos, por exemplo, Breiman [9] como referencia.
Agrade co o coleguismo e amizade dos mentores dos cursos que mencionei,
Cl audio Paiva, Gast ao Braga e Maria Eul alia Vares. Agradecimentos especi-
ais a esta ultima pela iniciativa de sugerir e organizar a edicao destas notas
junto ao IMPA/CNPq.
julho de 1996
Sumario
1 Introducao 1
1.1 O Modelo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Primeiros Resultados . . . . . . . . . . . . . . . . . . . . . . . 3
2 Ferramentas uteis 13
2.1 Desigualdade de FKG . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Desigualdade de BK . . . . . . . . . . . . . . . . . . . . . . . 16
2.3 Formula de Russo . . . . . . . . . . . . . . . . . . . . . . . . . 17
3 Fase Subcrtica: Decaimento Exponencial 21
4 Fase Supercrtica: Unicidade do Aglomerado Innito 35
5 O Modelo em 2 Dimens oes: Dualidade 45
6 Continuidade no Ponto Crtico: Renormalizacao 55
A Prova a um lema do Captulo 3 59
Referencias Bibliogracas 63
iii
iv SUM
ARIO
Captulo 1
Introducao
Percolacao e o fen omeno de transporte de um uido atraves de um meio po-
roso. Por exemplo, oleo ou gas atraves da rocha ou agua atraves de po de
cafe. O meio e constituido de poros e canais microscopicos por onde passaria
o uido. Numa situa cao simples, cada canal pode estar aberto ou fechado ` a
passagem do uido, dependendo de diversas caractersticas que poderiam ser
resumidas num par ametro. A distribui cao de canais abertos e fechados po-
deria ser descrita probabilisticamente. No caso mais simples, cada canal, in-
dependentemente dos demais, esta aberto com probabilidade p, o par ametro
do modelo, e fechado com a probabilidade complementar. Vamos modelar o
meio microscopicamente pelo reticulado hiperc ubico d-dimensional, os stios
do reticulado representando os poros e os elos representando os canais. Este,
o que chamaremos de modelo de percolacao de elos independentes (em ZZ
d
),
sera o objeto do nosso estudo. A questao basica e a ocorrencia ou nao de
percola cao, isto e, a existencia de um caminho innito de elos abertos atra-
vessando o meio. A seguir, introduziremos o modelo em detalhe (na pr oxima
se cao) e mostraremos (na se cao seguinte) seu primeiro resultado nao-trivial,
aquele que estabelece a transicao de fase em duas ou mais dimens oes, isto
e, a existencia de um valor crtico nao-trivial para o par ametro p, abaixo do
qual o modelo nao exibe percolacao e acima do qual esta passa a ocorrer.
1.1 O Modelo
Considere a rede hiperc ubica em d dimens oes (ZZ
d
, IE
d
) (denotada por um
abuso de linguagem costumeiro por ZZ
d
), onde ZZ
d
e o conjunto de stios da
1
2 CAP
ITULO 1. INTRODUC

AO
rede e IE
d
= {(x, y) ZZ
d
: ||x y||
1
= 1} e o seu conjunto de elos (vizinhos
mais pr oximos).
A cada elo de IE
d
sera atribuido aleatoriamente o status aberto ou fechado
da seguinte maneira. Seja X := {X
e
, e IE
d
} uma famlia de variaveis
aleat orias (v.a.s) independentes e identicamente distribuidas (i.i.d.) com
distribui cao comum de Bernoulli com par ametro p, isto e,
P
p
(X
e
= 1) = 1 P
p
(X
e
= 0) = p
para todo e IE
d
, onde p e um n umero real entre 0 e 1 e P
p
e a probabilidade
associada a X (algumas vezes denotada P
p,d
). A esperanca com respeito a
esta probabilidade sera denotado por E
p
.
Mais formalmente, o espaco amostral do modelo sera dado por =
{0, 1}
IE
d
. A -algebra e a usual, denotada por E, gerada pelos eventos
cilndricos, isto e, aqueles que dependem de elos em subconjuntos nitos
de IE
d
apenas. A probabilidade P
p
e a probabilidade produto em atri-
buindo peso p a 1s e 1 p a 0s. X
e
e a projecao na coordenada e, isto
e,
X
e
() =
e
para todo .
X
e
= 1 indica que o elo e esta aberto e X
e
= 0 indica que e esta fechado.
Um conjunto de elos de IE
d
, {e
1
, e
2
, . . . , e
n
}, n 1, onde e
i
= (x
i
, y
i
),
i = 1, 2, . . . , n, sera dito um caminho se x
1
, x
2
, . . . , x
n
forem distintos e y
i
=
x
i+1
, i = 1, 2, . . . , n 1 (n ao ha loops). Um caminho sera dito aberto se
todos os seus elos estiverem abertos (isto e, se X
e
i
= 1, i = 1, 2, . . . , n).
Diremos que dois stios da rede, x e y, estao conectados (notacao: x y) se
existir um caminho aberto {e
1
, e
2
, . . . , e
n
} com x
1
= x e y
n
= y. Ve-se que a
conectividade e uma rela cao de equivalencia e às classes de equivalencia em
que se dividem os stios chamaremos aglomerados (ou a express ao em ingles
clusters). Denotaremos por C
x
o aglomerado do stio x e por C o aglomerado
da origem, objeto basico de nosso estudo.
Estaremos interessados inicialmente em |C|, o volume (ou cardinalidade)
do aglomerado da origem, mais precisamente em sua distribui cao (que, note-
se, e a mesma que a de |C
x
| para todo stio x, pela invariancia por translacao
de P
p
). Especicamente, queremos saber se aglomerados innitos podem
ocorrer (com probabilidade positiva).
Em dimens ao 1, o problema e trivial, pois, denotando por C
e C
+
os
stios de C à esquerda e à direita da origem, respectivamente, temos que |C
|
1.2. PRIMEIROS RESULTADOS 3
e |C
+
| sao v.a.s i.i.d. com P
p
(|C
+
| k) = p
k
. Logo, nao ha aglomerados
innitos quase-certamente em dimens ao 1 se p < 1. Restringiremo-nos pois
a d 2.
|C| e uma v.a. que pode assumir os valores 1, 2, . . . , . Uma quantidade
de interesse sera
(p) := P
p
(|C| = ).
Podemos entao escrever
(p) = 1
k=1
P
p
(|C| = k).
Expressoes para P
p
(|C| = k) sao relativamente simples de calcular para
k pequeno, mas se tornam combinatorialmente crescentemente complicadas
para k crescente e nao ha uma forma explcita para k generico. O estudo de
(p) deve seguir uma outra abordagem.
Na pr oxima se cao, provaremos o resultado principal deste captulo, o
primeiro nao-trivial da teoria, aquele que estabelece a existencia de transicao
de fase no modelo de percolacao em 2 ou mais dimens oes, como enunciado
em seguida.
Teorema 1.1.1 Para d 2, existe um valor crtico do parametro p, denomi-
nado p
c
, no intervalo aberto (0, 1) tal que
(p) = 0, se p 0, se p > p
c
.
Resultados subseq uentes, de que nos ocuparemos em captulos seguintes,
procuram caracterizar as diversas fases do modelo: a fase subcrtica (p p
c
) e a fase crtica (p = p
c
).
1.2 Primeiros Resultados
Em auxlio à prova do Teorema 1.1.1, vamos discutir propriedades de mono-
tonicidade da funcao (p). Para isto, construiremos um modelo probabilstico
em que os modelos de percolacao com os diversos valores de p possveis estao
4 CAP
ITULO 1. INTRODUC

AO
acoplados. Esta construcao, a que chamaremos de modelo padrao, sera util
tambem em outros casos.
Seja Z := {Z
e
, e IE
d
} uma famlia de v.a.s i.i.d. com distribui cao
comum uniforme em [0, 1]. IP denotara a probabilidade neste modelo.
Um elo e da rede sera dito p-aberto se
Z
e
< p
e p-fechado caso contr ario. Podemos entao construir o modelo de percolacao
com par ametro p usando elos p-abertos e p-fechados deste modelo, da mesma
forma como na se cao anterior.
Lema 1.2.1 (p) e nao-decrescente em p.
Prova
Seja C
p
o aglomerado da origem no modelo acima (com a conectividade
atraves de elos p-abertos). Temos que
(p) = IP(|C
p
| = ).
Por outro lado,
C
p
C
p
quando p < p
, pois neste caso um elo p-aberto esta necessariamente p
-
aberto. Concluimos que
(p) = IP(|C
p
| = ) IP(|C
p
| = ) = (p
).
Para o pr oximo resultado, monotonicidade na dimens ao, notemos que
podemos construir o modelo de percolacao em d dimens oes num hiperplano
d-dimensional da rede d + 1-dimensional contendo a origem, declarando fe-
chados os elos ligando o hiperplano ao restante do espaco e usando X para os
demais elos. Denotando por

C o aglomerado da origem neste modelo, temos
claramente que

C C e logo
(p) := (p, d) = P
p,d+1
(|
C| = ) P
p,d+1
(|C| = ) = (p, d + 1).
Isto prova o seguinte.
Lema 1.2.2 (p, d) e nao-decrescente em d.
Pelos dois lemas acima, torna-se suciente, para provarmos o Teorema
1.1.1, mostrarmos os seguintes resultados.
Proposicao 1.2.1 Para d 2 e p sucientemente proximo de 0
(p) = 0.
Proposicao 1.2.2 Para d = 2 e p sucientemente proximo de 1
(p) > 0.
Como veremos nas demonstracoes destes resultados, abaixo, e suciente
no primeiro tomarmos p < 1/(2d 1) e no segundo p > 2/3.
Prova da Proposicao 1.2.1
E suciente mostrar que

p
:= E
p
|C| < para p pr oximo de 0.
Podemos escrever
|C| =
xZZ
d
I
{0x}
,
onde I
{}
e a funcao indicadora, isto e,
I
A
() =
_
1, se A
0, caso contr ario,
e logo
p
=
xZZ
d
P
p
(0 x). (1.2.1)
Podemos reescrever a probabilidade acima como P
p
(
{ esta aberto}), onde

a uniao e sobre caminhos conectando 0 a x. Temos entao de (1.2.1) e a
subaditividade que
xZZ
d
P
p
( esta aberto),
onde a segunda soma e sobre os caminhos conectando 0 a x. A dupla soma
pode ser entao reordenada em
n0
||=n
P
p
( esta aberto),
6 CAP
ITULO 1. INTRODUC

AO
onde a segunda soma e sobre os caminhos partindo da origem e de compri-
mento n (isto e, caminhos = {e
1
, . . . , e
n
} em que x
1
= 0). A probabilidade
acima vale p
n
independentemente de . Portanto temos que
p
=
n0
(n)p
n
, (1.2.2)
onde (n) denota o n umero de caminhos partindo da origem e de compri-
mento n.
Um argumento combinat orio simples revela que, para n 1,
(n) 2d(2d 1)
n1
.
De fato, o primeiro passo do caminho tem 2d possveis stios de destino,
enquanto que a partir do segundo ate o nal, cada passo tem no maximo
2d 1 possveis stios de destino (devido à ausencia de loops). Temos
n1
2dp[(2d 1)p]
n1
+ 1
e para a serie ser convergente, basta termos p < 1/(2d 1).
Prova da Proposicao 1.2.2 Consideremos a rede bidimensional dual de
ZZ
2
,
ZZ
2
= ZZ
2
+ (1/2, 1/2).
ZZ
2
e um deslocamento de ZZ
2
por 1/2 unidade em cada dire cao coordenada.
Volumes nitos superpostos de ZZ
2
e ZZ
2
sao ilustrados abaixo, o de ZZ

2
em
linhas cheias, linhas tracejadas para ZZ
2
.
0
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
........... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .. .........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
.
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
.
.......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .
.......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .
Notemos que ha uma rela cao 1 a 1 entre os stios e elos de ZZ
2
e aqueles
de ZZ
2
. Seja a rela cao (1 a 1) e e
entre elos de ZZ
2
e ZZ
2
que associa a
cada elo da primeira rede o elo secante da rede dual, como na gura a seguir.
e
e
.......... .......... .......... .......... .......... .......... .......... .......... .

Deniremos um modelo de percolacao em ZZ
2
induzido pelo modelo em

ZZ
2
declarando e
aberto ou fechado conforme e esteja aberto ou fechado,

respectivamente.
No que se segue, um circuito sera um caminho {e
1
, e
2
, . . . , e
n
} tal que
y
n
= x
1
, isto e, um caminho que se fecha sobre si mesmo.
A ocorrencia de um aglomerado da origem nito em ZZ
2
esta associada
à existencia de um circuito fechado (isto e, um circuito de elos fechados)
na rede dual ao redor da origem. Isto se deve ao fato de que se o aglome-
rado da origem for nito, os elos da fronteira do aglomerado (isto e, elos
ligando stios do aglomerado a stios fora do aglomerado), obviamente fecha-
dos, estao sempre dispostos de tal forma que os elos correspondentes do dual
formam um circuito, que sera entao fechado. A gura a seguir ilustra este
8 CAP
ITULO 1. INTRODUC

AO
fato geometrico elementar, bastante intuitivo (o aglomerado da origem apa-
rece em linhas cheias, sua fronteira em linhas pontilhadas e o circuito no dual
em linhas tracejadas) e, como a prova e longa e tediosa (vide [10] p agina 386
e a Proposicao 5.1 na pagina 45 destas notas), nao a apresentaremos neste
texto.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .. . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
ppppppppppppppppppppp
ppppppppppppppppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppp pppppppppppppppppppp
pppppppppppppppppppppppppppppppppppppppppp ppppppppppppppppppppp p pppppppppppppppppppp
ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp pppppppppppppppppppppp pppppppppppppppppppp
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppp
pppppppppppppppppppppppppppppppppppppppppp ppppppppppppppppppppp p pppppppppppppppppppp
ppppppppppppppppppppp ppppppppppppppppppppp p pppppppppppppppppppp
pppppppppppppppppppppp p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppp
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppp
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p ppppppppppppppppppppp
ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp
0
Seguimos com a demonstracao da Proposicao 1.2.2.
Vamos mostrar que a probabilidade de o aglomerado da origem ser nito
e estritamente menor do que 1 para p sucientemente pr oximo de 1. Para
isto, em vista do fato geometrico acima, bastar a argumentar que a proba-
bilidade de haver algum circuito fechado na rede dual ao redor da origem e
estritamente menor do que 1 para p sucientemente pr oximo de 1. O argu-
mento e semelhante ao argumento de Peierls para demonstrar a ocorrencia
de magnetizacao no modelo de Ising.
P
p
(h a um circuito fechado na rede dual ao redor da origem)
P
p
( esta fechado),
onde a soma e sobre todos os circuitos ao redor da origem. Ela pode ser
reordenada da seguinte maneira
n4
||=n
P
p
( esta fechado),
onde a segunda soma e sobre circuitos ao redor da origem de comprimento
n.
Est a claro que a probabilidade no interior das somas depende apenas de
n e vale (1 p)
n
. Portanto, a expressao acima ca
n4
(n)(1 p)
n
,
onde (n) denota o n umero de circuitos na rede dual ao redor da origem de
comprimento n.
O seguinte argumento produz uma cota superior util para (n). Qualquer
circuito de comprimento n da rede dual ao redor da origem deve cruzar um elo
da rede original da forma ((0, k), (0, k + 1)), para algum n/2 k n/2.
A partir deste elo secante, cada um dos n 1 elos subseq uentes pode ser
colocado de no m aximo 3 maneiras diferentes. Por isto
(n) n3
n1
.
Substituindo na soma acima, temos
n4
n
3
[3(1 p)]
n
,
que e uma funcao contnua e decrescente em p quando p > 2/3, anulando-
se quando p = 1. Segue-se que existe p
0
< 1 tal que a express ao acima e
estritamente menor do que 1 para p > p
0
.
Uma melhoria do argumento acima que mostra que a probabilidade de o
aglomerado da origem ser innito ((p)) e estritamente positiva para p > 2/3
e o seguinte.
Denotemos por Q
M
o quadrado centrado na origem e de lado 2M + 1.
Seja A
M
o evento que todos os elos de Q
M
estejam abertos e B
M
o evento
de haver um circuito fechado na rede dual completamente fora de Q
M
.
Repetindo o argumento da demonstracao acima, temos
P
p
(B
M
)
n8M+4
n
3
[3(1 p)]
n
.
Dado p > 2/3, esta expressao pode ser tornada estritamente menor do que 1
escolhendo-se M sucientemente grande, digamos M
0
. Portanto
P
p
(B
c
M
0
) > 0. (1.2.3)
10 CAP
ITULO 1. INTRODUC

AO
Agora, na interseccao dos eventos A
M
0
e B
c
M
0
, o aglomerado da origem
e innito. Alem disso, A
M
0
e B
c
M
0
sao independentes, pois dependem de
conjuntos disjuntos de elos. Logo, de (1.2.3) concluimos que
(p) P
p
(A
M
0
B
c
M
0
) = P
p
(A
M
0
)P
p
(B
c
M
0
) > 0,
pois P
p
(A
M
0
) > 0 (ainda que pr oximo de 0). O argumento esta completo.
A probabilidade crtica p
c
depende da dimens ao e podemos denota-la
p
c
(d). As proposicoes acima mostram que
1
2d 1
p
c
(d)
2
3
.
Kesten [11] mostrou que
p
c
(d)
1
2d
para dimens oes grandes.
O Teorema 1.1.1 nao diz nada sobre o que acontece em p = p
c
. Como
veremos no Captulo 4, (p) e uma funcao contnua, exceto possivelmente em
p = p
c
. Se (p
c
) = 0, entao (p) sera contnua e seu gr aco se parecera com
o da gura à esquerda a seguir. Caso contr ario, o gr aco sera mais parecido
com o da gura à direita.
p
c
. . . . . .. . . . . . .. . . .. . .. . . . . .. . . . . .. .
(p)
p
.................. . . . . . . . . . . . . . . . .
1
1
p
c
. . . . . .. . . . . . .. . . .. . .. . . . . .. . . . . .. .
(p)
p
.................. . . . . . . . . . . . . . . . .
1
1
qq ..
....
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
Qual caso vale e uma questao em aberto para d generico, mas se acredita
que (p) seja contnua. Isto esta de fato provado em 2 dimens oes e em di-
mens oes grandes. Veremos o caso bidimensional no Captulo 5 e discutiremos
um metodo de ataque ao problema em mais dimens oes no Captulo 6.
12 CAP
ITULO 1. INTRODUC

AO
Captulo 2
Ferramentas uteis
Este captulo sera dedicado à apresenta cao de alguns resultados auxiliares a
serem utilizados nos captulos subseq uentes. Todos dizem respeito a funcoes
e eventos crescentes, que passamos a denir.
Para isto, introduzimos a ordem parcial em

e
para todo e IE
d
.
Uma variavel aleat oria X e dita crescente se for crescente na ordem parcial
acima, isto e,
X() X(
) sempre que
.
Um evento A E e dito crescente se I
A
, a funcao indicadora de A, for
crescente.
Em palavras, um evento A e crescente sempre que para cada conguracao
de elos abertos em que A ocorre, ao abrirmos mais elos nesta conguracao, A
continua ocorrendo. Exemplos comuns sao os eventos {x y} em que dois
stios da rede estao conectados por um caminho de elos abertos e {|C| = }
em que o aglomerado da origem e innito.
2.1 Desigualdade de FKG
Eventos e, mais geralmente, variaveis aleat orias crescentes do modelo de
percolacao tem a propriedade de serem positivamente correlacionadas.
13
14 CAP
ITULO 2. FERRAMENTAS

UTEIS
Teorema 2.1.1 (Desigualdade de FKG) Sejam Z e Y duas variaveis a-
leatorias crescentes e limitadas em . Ent ao
E
p
(ZY ) E
p
(Z)E
p
(Y ). (2.1.1)
Prova do Teorema 2.1.1
Vamos supor inicialmente que Z e Y sejam cilndricas, isto e, dependam
apenas de um conjunto nito de elos {e
1
, e
2
, . . . , e
n
}. Provaremos o teorema
neste caso por inducao em n.
Para n = 1, Z = f(X
e
1
) e Y = g(X
e
1
), onde f e g sao crescentes. Seja
Y
uma copia independente de X

e
1
(isto e, Y
e X
e
1
sao i.i.d.). Entao
[f(X
e
1
) f(Y
)][g(X
e
1
) g(Y
)] 0,
pelo fato de f e g serem crescentes. Portanto
E
p
{[f(X
e
1
) f(Y
)][g(X
e
1
) g(Y
)]} 0.
Expandindo o termo à esquerda, temos
E
p
[f(X
e
1
)g(X
e
1
)] + E
p
[f(Y
)g(Y
)]
E
p
[f(X
e
1
)g(Y
)] + E
p
[f(Y
)g(X
e
1
)]. (2.1.2)
Pela independencia entre X
e
1
e Y

, a expressao à direita ca
E
p
[f(X
e
1
)]E
p
[g(Y
)] + E
p
[f(Y
)]E
p
[g(X
e
1
)].
Como X
e
1
e Y

tem a mesma distribui cao, a desigualdade (2.1.2) ca
E
p
[f(X
e
1
)g(X
e
1
)] + E
p
[f(X
e
1
)g(X
e
1
)]
E
p
[f(X
e
1
)]E
p
[g(X
e
1
)] + E
p
[f(X
e
1
)]E
p
[g(X
e
1
)],
isto e
2E
p
[f(X
e
1
)g(X
e
1
)] 2E
p
[f(X
e
1
)]E
p
[g(X
e
1
)]
e o resultado esta provado para n = 1.
Supondo-o v alido para n = k, seja n = k + 1. Entao
Z = f(X
e
1
, . . . , X
e
k
, X
e
k+1
) e Y = g(X
e
1
, . . . , X
e
k
, X
e
k+1
),
2.1. DESIGUALDADE DE FKG 15
com f e g crescentes.
Agora
E
p
(ZY ) = E
p
_
f(X
e
1
, . . . , X
e
k
, X
e
k+1
)g(X
e
1
, . . . , X
e
k
, X
e
k+1
)
_
= E
p
_
E
p
_
f(X
e
1
, . . . , X
e
k
, X
e
k+1
)g(X
e
1
, . . . , X
e
k
, X
e
k+1
)|X
e
k+1
__
.
Na esperanca condicional acima, X
e
k+1
esta xo e portanto f e g podem ser
vistas como funcoes de X
e
1
, . . . , X
e
k
e a hipotese de inducao pode ser aplicada
para dar que a ultima expressao acima e maior ou igual a
E
p
_
E
p
_
f(X
e
1
, . . . , X
e
k
, X
e
k+1
)|X
e
k+1
_
E
p
_
g(X
e
1
, . . . , X
e
k
, X
e
k+1
)|X
e
k+1
__
.
Agora e claro que as esperancas condicionais acima sao funcoes crescentes de
X
e
k+1
. Novo uso da hipotese de inducao produz o resultado para n = k + 1,
completando o passo de inducao.
Para completar a demonstracao, consideremos Z e Y nao necessariamente
cilndricas. Seja e
1
, e
2
, . . . uma enumeracao de IE
d
. Pelo Teorema da Con-
vergencia de Martingais (veja [9]),
Z = lim
n
E
p
[Z|X
e
1
, . . . , X
en
]
e de maneira semelhante para Y . Pelo passo anterior, a desigualdade de FKG
vale quando Z e Y sao substituidos por
E
p
[Z|X
e
1
, . . . , X
en
] e E
p
[Y |X
e
1
, . . . , X
en
] .
Uma passagem ao limite em n e o Teorema da Convergencia Dominada nos
dao o resultado geral.
Corolario 2.1.1 Se A e B forem eventos crescentes, entao
P
p
(A B) P
p
(A)P
p
(B). (2.1.3)
Prova
Basta aplicar o Teorema 2.1.1 com Z = I
A
e Y = I
B

Observamos que a desigualdade em (2.1.3) e equivalente a
P
p
(A|B) P
p
(A),
16 CAP

UTEIS
o que nos diz que a ocorrencia de um evento crescente aumenta a probabili-
dade de ocorrencia de um outro evento crescente.
O Teorema 2.1.1 vale tambem para duas v.a.s decrescentes (na ordem
parcial), pois a desigualdade nao muda se substituirmos Z e Y respectiva-
mente por Z e Y , que sao crescentes. Segue que o Corolario 2.1.1 vale
tambem para dois eventos decrescentes.
As desigualdades acima foram primeiro provadas por Harris [2] e posteri-
ormente generalizadas para outros modelos por Fortuin, Kasteleyn e Ginibre
[12], cujas iniciais batizaram-nas.
2.2 Desigualdade de BK
A pr oxima desigualdade que discutiremos vai no sentido contr ario da desi-
gualdade de FKG e envolve uma interseccao restrita de eventos crescentes.
Dados dois eventos crescentes A e B de E, dizemos que A e B ocorrem
disjuntamente (para um dado ) se existirem dois caminhos abertos (de elos)
disjuntos (em ) tais que o primeiro garante a ocorrencia de A e o segundo
garante a ocorrencia de B. Denotamos por A B a ocorrencia disjunta de A
e B.
Por exemplo, no evento {x y} {u v} ha dois caminhos abertos
disjuntos, um ligando os stios x e y e outro ligando os stios u e v.
Teorema 2.2.1 (Desigualdade de BK) Sejam A e B dois eventos cres-
centes de E dependendo apenas de um conjunto nito de elos. Entao
P
p
(A B) P
p
(A)P
p
(B).
O nome da desigualdade e referencia a seus descobridores van den Berg
e Kesten [13]. A restri cao a eventos que dependem apenas de um conjunto
nito de elos deve-se a razoes tecnicas, a extens ao pode ser feita para outros
casos de interesse. Para uma discuss ao mais completa com a demonstracao do
resultado, veja [8] pagina 29. Discutiremos abaixo a ideia da prova, usando
os eventos do exemplo acima, mas restritos a uma sub-rede nita de ZZ
d
(por
2.3. F
ORMULA DE RUSSO 17
exemplo, o quadrado Q
M
do captulo anterior, para algum M), do contr ario
eles depender ao de um conjunto innito de elos.
Notemos para come car que dada a ocorrencia de {u v}, temos in-
forma cao sobre elos abertos, que nao podem ser usados na ocorrencia disjunta
de {x y}. Isto torna plausvel a desigualdade
P
p
({x y} {u v}|u v) P
p
(x y).
A ideia da prova e a seguinte. Seja G uma sub-rede nita de ZZ
d
e e
um elo de G. Substituamos e por dois elos paralelos e
e e
abertos com
probabilidade p e fechados com probabilidade 1 p independentemente um
do outro. Considera-se a ocorrencia disjunta de {x y} e {u v} nesta
nova rede, mas com o primeiro evento evitando e
e o segundo evento evitando

e
. Observa-se que esta operacao nao pode diminuir a probabilidade original.

Continua-se indutivamente substitindo-se os elos f de G por elos paralelos e
independentes f
e f
e considerando-se a ocorrencia disjunta de {x y} e

{u v} na nova rede, a ocorrencia do primeiro sem usar elos

e a do segundo
sem usar elos

. A operacao nao diminui a probabilidade do passo anterior.
Ao termino, esgotados todos os elos de G, temos duas copias independentes
desta rede, uma na qual perguntamos pela ocorrencia de {x y}, na outra
perguntamos pela ocorrencia de {u v}, eventos portanto independentes.
A probabilidade nal e entao o produto das probabilidades dos eventos e a
cadeia de desigualdades levando à probabilidade de ocorrencia disjunta dos
eventos em G nos da o resultado.
Denicao 2.2.1
`
A probabilidade de que dois stios x e y estejam conectados
por um caminho aberto,
P
p
(x y),
chamamos funcao de conectividade (entre x e y), com a nota cao
p
(x, y).
2.3 F ormula de Russo
O pr oximo resultado e uma formula para a derivada em p da probabilidade
de um evento crescente. Para obte-la, usaremos a construcao acoplada do
modelo de percolacao usando a famlia de variaveis uniformes Z vista no
captulo anterior (o modelo padrao).
18 CAP

UTEIS
Consideramos entao, para uma dada conguracao das variaveis em Z, a
conguracao de elos p-abertos
p
, isto e, (
p
(e))
eIE
d tal que
p
(e) =
_
1, se Z
e
< p
0, caso contr ario
para todo e IE
d
.
Seja A um evento crescente que depende de um conjunto nito de elos G
de IE
d
e considere
P
p+
(A) P
p
(A) = IP(
p
/ A,
p+
A). (2.3.1)
Se A e crescente,
p
/ A e
p+
A, entao ha elos e tais que
p
(e) = 0
mas
p+
(e) = 1, isto e, p Z
e
< p + . Denote por N
p,
o conjunto de tais
elos. A probabilidade de que |N
p,
| 2 e o(). Por outro lado, se
p
/ A,
p+
A e |N
p,
| = 1, entao o (estado do) elo e em questao deve ser essencial
em
p
para (a ocorrencia ou nao de) A no sentido de que
p
/ A, mas
p
A,
onde
p
e a conguracao obtida de
p
trocando o status do elo e de 0 para
1. A ultima probabilidade em (2.3.1) ca, entao,
IP(
p
/ A,
p+
A, |N
p,
| = 1) + o().
A probabilidade acima pode ser escrita como
eG
IP(
p
/ A,
p+
A, N
p,
= {e}).
O evento dentro da probabilidade na soma e equivalente ao evento
{e e essencial em
p
para A, p Z
e
< p + , N
p,
= {e}}.
Aquela probabilidade pode ser escrita, entao, como
IP[e e essencial em
p
para A, p Z
e
< p + ] (2.3.2)
IP[e e essencial em
p
para A, p Z
e
< p + , N
p,
= {e}]. (2.3.3)
A probabilidade em (2.3.3) e limitada superiormente por
IP(|N
p,
| 2) = o().
Observemos agora que o evento {e e essencial em
p
para A} nao depende
de e. Logo, a probabilidade em (2.3.2) fatora.
2.3. F
ORMULA DE RUSSO 19
Combinando os argumentos acima, temos
P
p+
(A) P
p
(A) =
e
IP(e e essencial em
p
para A)IP(p Z
e
< p + ) + o()
=
e
IP(e e essencial em
p
para A) + o()
= E(N(A)) + o(),
onde N(A) denota o n umero de elos essenciais em
p
para A (e E e a espe-
ran ca com respeito a IP).
Modicando um pouco a terminologia, e voltando ao modelo com as
variaveis de Bernoulli, dado um evento qualquer A E e uma conguracao
, denimos um elo e como pivotal para A (mais precisamente, para
(A, )) se, denotando por
a conguracao identica a em todos os elos

com excecao de e, em que e
sao diferentes, uma das duas coisas acon-

tece: ou
A e
/ A
ou
/ A e
A.
Seja N(A) o n umero de elos pivotais para A. O argumento acima prova
o seguinte.
Teorema 2.3.1 Formula de Russo [14]
Se A for um evento crescente dependendo de um conjunto nito de elos,
entao
d
dp
P
p
(A) = E
p
(N(A)). (2.3.4)
A equa cao (2.3.4) tambem pode ser escrita
d
dp
P
p
(A) =
e
P
p
(e e pivotal para A).
O uso que se far a da formula de Russo parte da observacao de que o
evento {e e pivotal para A} e independente do elo e e portanto independente
do evento {e esta aberto}, para deduzir que
P
p
(e e pivotal para A) =
1
p
P
p
(e esta aberto e e pivotal para A).
20 CAP

UTEIS
Logo, se A for crescente, aplicando a formula de Russo temos
d
dp
P
p
(A) =
1
p
e
P
p
(e esta aberto e e pivotal para A) (2.3.5)
=
1
p
e
P
p
(A {e e pivotal para A}) (2.3.6)
=
1
p
e
P
p
(A)P
p
(e e pivotal para A|A) (2.3.7)
=
1
p
E
p
(N(A)|A)P
p
(A). (2.3.8)
Dividindo a primeira e ultima expressoes por P
p
(A) e integrando em
[p
1
, p
2
] (0 < p
1
p
2
1), chegamos a
P
p
2
(A) = P
p
1
(A) exp
_
_
p
2
p
1
1
p
E
p
(N(A)|A)dp
_
. (2.3.9)
A identidade acima sera aplicada no pr oximo captulo.
Captulo 3
Fase Subcrtica: Decaimento
Exponencial
Poderamos denir outros pontos crticos no modelo de percolacao. Por exem-
plo, lembrando que
p
e o valor esperado do volume do aglomerado aberto
da origem, seja
p = sup{p :
p
< }. (3.1)
A prova da Proposicao 1.2.1 mostra que p esta bem denido e e positivo.

E
claro que p p
c
(pois se (p) = P
p
(|C| = ) > 0) entao
p
= ).
Neste captulo, veremos que p = p
c
, eliminando a existencia de uma fase
intermediaria ( p, p
c
) e estabelecendo a assim chamada unicidade do ponto
crtico.
Este resultado foi provado independentemente por Menshikov [4] e Aizen-
man e Barsky [5] por argumentos diferentes (para d geral; em 2 dimens oes
foi provado por Kesten [3] como conseq uencia de que, neste caso, p
c
= 1/2).
Mostraremos a seguir o argumento de Menshikov (com uma melhoria de
Kesten, nao publicada).
Sejam S
n
a esfera L
1
em ZZ
d
de raio n com centro na origem, isto e
S
n
= {x ZZ
d
: ||x||
1
n}
e A
n
o evento de que existe um caminho aberto da origem à fronteira de S
n
.
Teorema 3.1 (Menshikov) Se p 0
P
p
(A
n
) e
pn
para todo n. (3.2)
21
22 CAP
ITULO 3. FASE SUBCR
ITICA
Corolario 3.1
p
< se p < p
c
.
Observa cao 3.1 Na fase supercrtica
p
= , obviamente. Prova-se tam-
bem [8] que
lim
ppc
p
= .
Prova do Corolario 3.1.
O Teorema 3.1 estabelece o decaimento exponencial da distribui cao do
raio de C. De (3.2) concluimos que
P
p
(|C| n) e
p
n
1/d
, (3.3)
com
p
> 0. Logo,
p
=
n1
P
p
(|C| n) < .
Observa cao 3.2 (3.3) estabelece decaimento subexponencial da distribui cao
de |C|. Com um pouco mais de trabalho, mostra-se o decaimento exponencial
desta distribuicao (vide [8]).
A prova do Teorema 3.1 sera apresentada em uma introducao mais tres
partes.
Introducao
Dena
g
p
(n) = P
p
(A
n
). (3.4)
Note que g
p
(n) (p) quando n . Logo, se p < p
c
, existe p
satisfa-
zendo p < p
< p
c
e portanto
lim
n
g
p
(n) = (p
) = 0.
O problema e mostrar que para algum p
, se lim
n
g
p
(n) = 0 entao para
p < p
g
p
(n) e
pn
.
DECAIMENTO EXPONENCIAL 23
Queremos limitar g
p
(n) superiormente em termos de g
p
(n) e mais alguma
coisa (e preciso melhorar a cota trivial g
p
(n) g
p
(n)).
Parte 1
Como ja vimos no Captulo 2, Se cao 3, a formula de Russo produz a
seguinte desigualdade para 0 < 1.
g
(n) g
(n) exp
_
E
p
(N(A
n
)|A
n
)dp
_
, (3.5)
onde N(A
n
) e o n umero de elos pivotais para o evento A
n
.
Parte 2
Para um dado , seja M o raio (aleatorio) do aglomerado aberto da origem
(isto e, max
xC
||x||
1
ou, equivalentemente, max{k : A
k
ocorre}). Note que
se (p) > 0, entao M = com probabilidade positiva e se (p) = 0 entao
M e uma variavel aleat oria nita com valores inteiros.
Sejam M
1
, M
2
, . . . variaveis aleat orias independentes com a mesma dis-
tribuicao de M. Mostraremos mais adiante que
P
p
(N(A
n
) k|A
n
) P((1 + M
1
) + . . . + (1 + M
k
) n), (3.6)
para todo k 0, o que relaciona N(A
n
) (condicionado a A
n
) a um processo
de renovacao. Usando metodos usuais em tais processos, conclui-se que
E
p
(N(A
n
)|A
n
) =
k=1
P
p
(N(A
n
) k|A
n
)
k=1
P((1 + M
1
) + . . . + (1 + M
k
) n)
n
E(1 + M n)
1 =
n
n
i=0
g
p
(i)
1. (3.7)
Parte 3
Combinam-se as partes 1 e 2 para obter para 0 < 1:
g
(n) g
(n) exp
_
( ) ( )
n
n
i=0
g
(i)
_
. (3.8)
24 CAP
ITULO 3. FASE SUBCR
ITICA
.. pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
.. . . . . . .. . . . . . ... . . . . . .. . . . . . .
pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p
pp ..
................ . . . . . . . . . . . . . .
..........
0
e
1
e
2
e
3
e
4
Figura 3.1: Figura do aglomerado da origem em S
7
. Ha exatamente 4 elos
pivotais para A
7
nesta conguracao, denotados e
1
, e
2
, e
3
e e
4
.
Da desigualdade acima, concluiremos que
i=0
g
(i) < , (3.9)

do que segue o teorema.
Em seguida apresentaremos as partes 2 e 3 em detalhes.
Parte 2
Sejam {e
1
, e
2
, . . . , e
m
} os elos pivotais abertos para A
n
na ordem com que
sao atingidos por um caminho aberto da origem ate S
n
. (Note que a ordem
e a mesma para qualquer tal caminho devido à pivotalidade.) Escreva e
j
como (x
j
, y
j
) (Na ordem correta. Veja a Figura 3.1.).
Os elos do aglomerado da origem entre os elos pivotais sucessivos formam
salsichas. O aglomerado da origem em S
n
pode ser visto entao como como
salsichas de elos conectadas por elos pivotais.
Sejam
1
= ||x
1
||
1
2
= ||y
1
x
2
||
1
.
.
.
m
= ||y
m1
x
m
||
1
,
e
i
= para i > m.
1
, . . . ,
m
representam os raios das salsichas sucessivas.
Entao N(A
n
) k se
(
1
+ 1) + (
2
+ 1) + . . . + (
k
+ 1) n,
ou seja,
1
+ . . . +
k
n k.
Logo,
P
p
(N(A
n
) k|A
n
) P
p
(
1
+ . . . +
k
n k|A
n
). (3.10)
Queremos mostrar que
P
p
(
1
+ . . . +
k
n k|A
n
) P
p
(M
1
+ . . . + M
k
n k), (3.11)
para todo n e k, onde M
1
, M
2
, . . . sao variaveis aleat orias independentes com
distribui cao comum igual àquela do raio do aglomerado da origem (vamos
denotar esta ultima v.a. por M).
Para obter a ultima desigualdade, seria bom se bastasse provar desigual-
dades envolvendo probabilidades condicionais do tipo
P
p
(
k
r
k
|
1
= r
1
, . . . ,
k1
= r
k1
, A
n
) P(M
k
r
k
), (3.12)
para todo n, k e r
1
+ . . . + r
k
n k.
O pr oximo lema mostra que este e o caso.
Lema 3.1 A desigualdade (3.12) implica a desigualdade (3.11)
Portanto e suciente provar o seguinte.
26 CAP
ITULO 3. FASE SUBCR
ITICA
Lema 3.2 A desigualdade (3.12) e valida.
Antes de provarmos os lemas acima, vejamos porque (3.11) implica no
resultado da parte 2.
De (3.10) e (3.11), temos
P
p
(N(A
n
) k|A
n
) P((1 + M
1
) + . . . + (1 + M
k
) n). (3.13)
Consideremos M
1
, M
2
, . . . v.a.s independentes com a mesma distribui cao
de M
= 1 + M n. Temos
P
p
(N(A
n
) k|A
n
) P(M
1
+ . . . + M
k
n).
Agora usamos um pouco da teoria da renovacao elementar. Considere um
processo de renovacao com tempos de vidaM
1
, M
2
, . . . (e portanto instantes
de renovacao M
1
, M
1
+ M
2
, . . . , M
1
+ . . . + M
k
, . . .)
Dena a v.a. K como 1 mais o n umero de renovacoes ate o instante n,
isto e,
K = min{k : M
1
+ . . . + M
k
> n}.
Temos entao
P(M
1
+ . . . + M
k
n) = P(K k + 1) = P(K 1 k).
Somando sobre k 1:
E
p
(N(A
n
)|A
n
) E(K 1) = E(K) 1.
Para obter uma cota inferior para E(K) usamos a Identidade de Wald [9],
que diz que
E(M
1
+ . . . + M
K
) = E(K)E(M
).
Como, claramente, M
1
+ . . . + M
K
n + 1 > n, temos imediatamente que
E(K) 1 >
n
E(M
)
1,
como queramos.
Vamos agora às demonstracoes dos lemas.
Prova do Lema 3.1
P
p
(
1
+ . . . +
k
n k|A
n
)
=
r
1
,...,r
k1
P
p
(
k
n k
k1
i=1
r
i
|
1
= r
1
, . . . ,
k1
= r
k1
, A
n
)
P
p
(
1
= r
1
, . . . ,
k1
= r
k1
|A
n
)
r
1
,...,k1
P
p
(M
k
n k
k1
i=1
r
i
)P
p
(
1
= r
1
, . . . ,
k1
= r
k1
|A
n
)
= P
p
(
1
+ . . . +
k1
+ M
k
n k|A
n
)
=
r
1
,...,r
k2
,r
k
P
p
(
k1
n k
k
i=1,i=k1
r
i
|
1
= r
1
, . . . ,
k2
= r
k2
,
M
k
= r
k
, A
n
)P
p
(
1
= r
1
, . . . ,
k2
= r
k2
, M
k
= r
k
|A
n
)
r
1
,...,r
k2
,r
k
P
p
(M
k1
n k
k
i=1,i=k1
r
i
)
P
p
(
1
= r
1
, . . . ,
k2
= r
k2
, M
k
= r
k
|A
n
)
= P
p
(
1
+ . . . +
k2
+ M
k1
+ M
k
n k|A
n
)
.
.
.
P
p
(M
1
+ . . . + M
k
n k),
as desigualdades acima todas seguindo de (3.12).
Prova do Lema 3.2
Queremos provar que
P
p
(
k
r
k
|
1
= r
1
, . . . ,
k1
= r
k1
, A
n
) P
p
(M r
k
) (3.14)
quando r
1
+ . . . + r
k
n k. Isto e equivalente a (denotando o evento
{
1
= r
1
, . . . ,
k1
= r
k1
} por B)
P
p
(
k
> r
k
, B, A
n
) P
p
(M > r
k
)P
p
(B, A
n
). (3.15)
Note que {M > r
k
} = A
r
k
+1
. Para k = 1 a desigualdade se torna
P
p
(
1
> r
1
, A
n
) P
p
(A
r
1
+1
)P
p
(A
n
) (3.16)
para r
1
n 1.
28 CAP
ITULO 3. FASE SUBCR
ITICA
.. pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
.. . . . . . .. . . . . . ... . . . . . .. . . . . . .
pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p
pp ..
................ . . . . . . . . . . . . . .
..........
..........
..........
..........
..........
....................
..........
..........
..........
..........
.......... ..........
..........
..........
..........
..........
..........
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . .
..........
x
1
y
1
x
2
y
3
x
4
y
4
y
2
x
3
Figura 3.2: Os elos pivotais sao e
i
= (x
i
, y
i
) para i = 1, 2, 3, 4. Note que
x
3
= y
2
nesta conguracao. A linha tracejada e a superfcie S
1
de S
1
.
Note os caminhos disjuntos da origem a S
1
.
No evento em que {
1
> r
1
}, a origem esta conectada por dois caminhos
disjuntos a x
1
e x
1
esta a dist ancia pelo menos r
1
+ 1 da origem (veja a
Figura 3.2).
No evento {
1
> r
1
} A
n
, ha dois caminhos disjuntos, um de O a S
r
1
+1
e outro de O a S
n
. Portanto,
{
1
> r
1
} A
n
A
r
1
+1
A
n
e a desigualdade de BK produz a desigualdade (3.16).
Para k > 1, escreva
B =
_
,
uni ao disjunta sobre conguracoes (detalhadas) das salsichas ate y
k1
. Entao
P
p
(B, A
n
) =
P
p
(A
n
|B
)P
p
(B
) (3.17)
e
P
p
(
k
> r
k
, B, A
n
) =
P
p
(
k
> r
k
, A
n
|B
)P
p
(B
). (3.18)
Logo e suciente mostrar para cada :
P
p
(
k
> r
k
, A
n
|B
) P
p
(A
r
k
+1
)P
p
(A
n
|B
). (3.19)
Mas a probabilidade à esquerda e menor ou igual a
P
p
(h a caminhos disjuntos abertos de y
k1
a S(y
k1
, r
k
+ 1) e de y
k1
a S
n
que nao usam elos dos fechos das salsichas anteriores),
onde S(y
k1
, r
k
+ 1) e a esfera de centro em y
k1
e raio r
k
+ 1.
Como no caso k = 1, da desigualdade de BK, desta vez aplicada subs-
tituindo IE
d
por IE
d
\(elos dos fechos das salsichas anteriores), segue que a
probabilidade acima e menor ou igual a
P
p
(y
k1
S(y
k1
, r
k
+ 1) sem usar elos anteriores)
P
p
(y
k1
S
n
sem usar elos anteriores).
A ultima probabilidade e igual a P
p
(A
n
|B
). A primeira e menor ou igual a

P
p
(y
k1
S(y
k1
, r
k
+ 1))
30 CAP
ITULO 3. FASE SUBCR
ITICA
que, pela invariancia translacional do modelo, e igual a P
p
(A
r
k
+1
).
A conclusao de que (3.9), e portanto o Teorema 3.1, segue de (3.8) se da
atraves do pr oximo lema, um resultado puramente analtico, cuja prova sera
apresentada no apendice a estas notas.
Lema 3.3 Para p < p
c
, existe uma constante (p) tal que
g
p
(n) (p)n
1/2
. (3.20)
Prova do Teorema 3.1 De (3.20), temos que
n
i=0
g
p
(i) (p)n
1/2
, (3.21)
para algum (p).
Substituindo (3.21) em (3.8), obtemos
g
(n) g
(n) exp
_
( ) c( )n
1/2
_
, (3.22)
onde c e uma constante positiva, o que implica (3.9).
E uma conseq uencia imediata do Teorema 3.1 o decaimento exponencial

da funcao de conectividade.
Corolario 3.2
p
(x, y) e
p||xy||
1
, (3.23)
com
p
> 0 para p < p
c
.
(Verique!)
Em seguida apresentamos outro corol ario ao Teorema 3.1 estabelecendo
a suavidade de
p
na fase subcrtica.
Corolario 3.3
p
e k vezes diferenciavel em p < p
c
para todo k 1.
Prova.
Como p < p
c
, podemos escrever
p
como
p
=
n=1
nP
p
(|C| = n). (3.24)
A ultima probabilidade pode ser expressa como
P
p
(|C| = n) =
m,b
a
nmb
p
m
(1 p)
b
, (3.25)
onde a
nmb
e o n umero de animais de rede com n stios, m elos e b elos de
fronteira. Por animal de rede denotamos conjuntos conexos de stios da rede
contendo a origem.
Para n xo, sao v alidas as seguintes cotas para m e b (verique-as!)
n 1 m dn e b 2dn. (3.26)
Estas produzem a seguinte cota para

m,b
a
nmb
1
m,b
a
nmb
p
m
(1 p)
b
m,b
a
nmb
p
dn
(1 p)
2dn
= (p(1 p)
2
)
dn
m,b
a
nmb
,
do que temos
m,b
a
nmb
(p(1 p)
2
)
dn
7
dn
. (3.27)
Voltando a (3.25), temos
p
=
n
dn
m=n1
2dn
b=1
na
nmb
p
m
(1 p)
b
. (3.28)
Vamos dividir o argumento em dois. Para p = 0, provaremos o fato mais
forte de que
p
e analtica (isto e, pode ser escrita como serie de potencias
convergente de p, o que implica em suavidade). Em seguida, provaremos
suavidade para 0 < p < p
c
.
Estendendo
p
formalmente ao plano complexo a partir de (3.28), temos
K(z) =
n
dn
m=n1
2dn
b=1
na
nmb
z
m
(1 z)
b
. (3.29)
32 CAP
ITULO 3. FASE SUBCR
ITICA
Para provarmos analiticidade de
p
na origem, basta mostrarmos (pelo
Teorema de Vitali), que a serie acima e uniformemente convergente numa
regi ao do plano complexo contendo a origem.
De (3.27) temos
dn
m=n1
2dn
b=1
na
nmb
z
m
(1 z)
b
dn
m=n1
2dn
b=1
na
nmb
|z|
m
(1 +|z|)
b
n7
dn
|z|
n1
(1 +|z|)
2dn
Anc(z)
n1
se |z| 1, onde A depende apenas de d e c(z) = |z|{7(1 +|z|)
2
}.
Para |z| sucientemente pequeno, c(z) < 1 e concluimos que a serie de-
nindo K(z) e uniformemente convergente numa vizinhanca complexa da
origem e portanto
p
e analtica em p = 0.
Em seguida, vamos diferenciar
p
formalmente k vezes usando (3.28) para
obter
d
k
dp
k
p
=
n
dn
m=n1
2dn
b=1
na
nmb
d
k
dp
k
(p
m
(1 p)
b
). (3.30)
Para obter a diferenciabilidade de
p
em I := (0, p
c
), basta mostrar que
a serie acima e uniformemente convergente num intervalo fechado arbitrario
de I. Para isto notemos que
d
k
dp
k
(p
m
(1 p)
b
)
r=0
_
k
r
_
m
r
b
kr
p
mr
(1)
kr
(1 p)
b(kr)
p
m
(1 p)
b
k
r=0
_
k
r
_
(m/p)
r
(b/(1 p))
kr
= p
m
(1 p)
b
_
m
p
+
b
1 p
_
k
,
onde x
r
= x!/r!. Logo,
nN
dn
m=n1
2dn
b=1
na
nmb
d
k
dp
k
(p
m
(1 p)
b
)
_
2d
p(1 p)
_
k
nN
n
k
dn
m=n1
2dn
b=1
na
nmb
p
m
(1 p)
b
=
_
2d
p(1 p)
_
k
nN
n
k
P
p
(|C| = n)
e, portanto, (3.3) implica na convergencia uniforme de (3.30) em intervalos
fechados de I.
Observa cao 3.3 Um argumento semelhante ao da prova acima, mas usando
o decaimento exponencial da distribuicao de |C| (como discutido na Ob-
serva cao 3.2), prova analiticidade de
p
em (0, p
c
). (Vide [8].)
34 CAP
ITULO 3. FASE SUBCR
ITICA
Captulo 4
Fase Supercrtica: Unicidade
do Aglomerado Innito
A ergodicidade da medida produto tem como conseq uencia que, quase cer-
tamente, existe um aglomerado innito quando (p) > 0.
De fato, o evento de que existe um aglomerado innito (
xZZ
d{|C
x
| =
}) e invariante por translacao e portanto trivial sob P
p
. (O que decorre
tambem deste evento ser caudal e da Lei 0-1 de Kolmogorov.)
Neste captulo, a ergodicidade sera explorada para estabelecer um dos
aspectos mais interessantes desta fase, o fato de que o aglomerado innito e
unico (quase certamente).
Vamos denir por a variavel aleat oria que conta o n umero de aglo-
merados innitos distintos de uma conguracao de . e invariante por
translacao (pois translacoes das conguracoes de nao alteram o n umero
de aglomerados innitos delas) e as medidas P
p
sao ergodicas, por serem
produto. Portanto, por uma conhecida lei 0-1, e constante quase certa-
mente. Em princpio, pode assumir qualquer valor inteiro, desde 0 ate .
O resultado principal deste captulo exclui 2.
Teorema 4.1 Qualquer que seja p [0, 1],
P
p
( = 0) = 1 (4.1)
ou
P
p
( = 1) = 1. (4.2)
35
36 CAP
ITULO 4. FASE SUPERCR
ITICA
O Teorema 4.1 e provado por meio das seguintes proposicoes, devidas res-
pectivamente a Newman e Schulman [15] e Aizenman, Kesten e Newman [6].
A primeira, exclui 2 < . A segunda exclui 3. (Infelizmente, nao
se pode incluir na primeira ou 2 na segunda.)
Proposicao 4.1 Qualquer que seja p [0, 1],
P
p
( = 0) = 1 (4.3)
ou
P
p
( = 1) = 1 (4.4)
ou
P
p
( = ) = 1. (4.5)
Prova
Seja k
p
a constante tal que P
p
( = k
p
) = 1. Suponha que 1 k
p
< .
Vamos mostrar que disto se segue que P
p
( = 1) > 0, o que implica pela
trivialidade de que k
p
= 1.
De fato, denotando por Q
n
o cubo de lado 2n + 1 centrado na origem.,
considere o evento
A
n
= {todos os aglomerados innitos intersectam Q
n
}. (4.6)
Note que A
n
depende da conguracao de elos apenas da fronteira de Q
n
para
fora. Como k
p
< ,
lim
n
P
p
(A
n
, = k
p
) = P
p
( = k
p
) = 1. (4.7)
Seja n
0
tal que P
p
(A
n
0
) > 0 e considere o evento
B
n
0
= {todos os elos interiores de Q
n
0
estao abertos}. (4.8)
Note que B
n
0
depende apenas dos elos interiores a Q
n
0
e logo e independente
de A
n
0
.
Finalmente, o evento de que = 1 contem A
n
0
B
n
0
. Concluimos da
discuss ao acima que
P
p
( = 1) P
p
(A
n
0
B
n
0
) = P
p
(A
n
0
)P
p
(B
n
0
) > 0. (4.9)
UNICIDADE DO AGLOMERADO INFINITO 37
Proposicao 4.2 Qualquer que seja p [0, 1],
P
p
( 3) = 0. (4.10)
Deste resultado apresentaremos uma prova diferente da original de Ai-
zenman, Kesten e Newman, mais simples e geral, devida a Burton e Keane
[16]. Ela se vale do argumento geometrico esbocado a seguir.
A ocorrencia de tres aglomerados innitos disjuntos (e a ergodicidade de
P
p
) tem como conseq uencia a existencia de uma densidade de pontos triplos
especiais, isto e, stios ligados por elos disjuntos a tres aglomerados innitos,
que seriam disjuntos ao se remover os elos incidentes àqueles stios. Mas
um lema sobre grafos (que sera enunciado abaixo como exerccio) mostra
que dentro de um cubo podem existir um n umero de pontos triplos especiais
apenas da ordem da area da fronteira do cubo. Da contradi cao segue o
resultado da proposicao.
Agora enunciamos o lema sobre grafos, em forma de exerccio para o
leitor.
Exerccio
Seja G um grafo conexo com conjunto de stios S e conjunto de elos E.
Um stio x em S sera chamado um ponto triplo para G se
i) existirem apenas tres elos de E tocando x e
ii) o grafo G\{x}, em que x e removido de S e os tres elos tocando em x sao
removidos de E, tem exatamente tres componentes conexos. (Denotare-
mos os conjuntos de stios destes tres componentes E
1
(x), E
2
(x), E
3
(x)
e os chamaremos de ramos. Veja Figura 4.1.)
a. Suponha que G seja um grafo conexo e que x
1
, x
2
, . . . , x
n
sejam pontos
triplos distintos para G. Mostre que para algum i dois dos tres ramos em
x
i
, digamos E
2
(x
i
) e E
3
(x
i
) nao contem nenhum dos outros pontos triplos
({x
1
, . . . , x
n
}\{x
i
}).[Sugestao: inducao em n]
b. Considere o grafo G
obtido de G e x
1
, . . . , x
n
do item anterior remo-
vendo-se todos os stios de E
3
(x
i
) e todos os elos tocando estes stios. Mostre
que {x
1
, . . . , x
n
}\{x
i
} sao pontos triplos para G
.
c. Suponha que G seja um grafo conexo e que x
1
, . . . , x
n
sejam pontos
triplos distintos de G. Entre os 3n ramos,
E
1
(x
1
), E
2
(x
1
), E
3
(x
1
), E
1
(x
2
), . . . , E
3
(x
n
),
38 CAP
ITICA
..........................................................................................................................................................................................................................................................................................................................................................................................................................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
..........................................................................................................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
x
Figura 4.1: x e um ponto triplo
mostre que se pode achar pelo menos n+2 ramos disjuntos.
Prova da Proposicao 4.2
Suponha que P
p
( 3) > 0. Vamos procurar uma contradi cao.
Seja o evento
F
n
= {pelo menos tres aglomerados innitos abertos distintos
atingem Q
n1
}.
Note que F
n
{ 3} quando n , logo existe n
0
tal que P
p
(F
n
0
) > 0.
Dados y
1
, y
2
, y
3
tres pontos distintos no interior das faces de Q
n
0
, seja o
evento
F
n
0
(y
1
, y
2
, y
3
) = {y
1
, y
2
, y
3
pertencem a aglomerados innitos distintos
usando apenas elos exteriores a Q
n
0
1
}.
Como F
n
0

y
1
,y
2
,y
3
F
n
0
(y
1
, y
2
, y
3
), temos que
P
p
(F
n
0
(y
1
, y
2
, y
3
)) > 0 (4.11)
para algum y
1
, y
2
, y
3
. Dados estes y
1
, y
2
, y
3
, seja x = x(y
1
, y
2
, y
3
) um ponto do
interior de Q
n
0
com a propriedade de que ha tres caminhos de elos disjuntos
no interior Q
n
0
2
ligando x a y
1
, y
2
, y
3
respectivamente. Dena agora o evento
F
n
0
(y
1
, y
2
, y
3
) = {os tres caminhos mencionados acima estao abertos,
todos os demais elos do interior de Q
n
estao fechados}.
1
exclui elos com pelo menos uma extremidade em Q
n1
2
Q
n1
mais os elos com uma extremidade em Q
n1
x
y
1
y
2
y
3
Figura 4.2: O evento F
n
0
(y
1
, y
2
, y
3
).
Logo
P
p
(F
n
0
(y
1
, y
2
, y
3
) F
n
0
(y
1
, y
2
, y
3
))
= P
p
(F
n
0
(y
1
, y
2
, y
3
))P
p
(F
n
0
(y
1
, y
2
, y
3
)) > 0,
onde a igualdade segue da independencia dos eventos (o primeiro depende
apenas de elos exteriores a Q
n
0
; o segundo, apenas de elos interiores).
Vamos dizer agora que um ponto triplo (segundo a deni cao no exerccio
acima) e um ponto triplo especial se seus ramos sao innitos. Note que
{x(y
1
, y
2
, y
3
) e um ponto triplo especial} F
n
0
(y
1
, y
2
, y
3
) F
n
0
(y
1
, y
2
, y
3
).
De toda discuss ao acima, concluimos que, se P
p
( 3) > 0, entao
P
p
(x e um ponto triplo especial) > 0. (4.12)
A probabilidade acima nao depende de x, pela invariancia por translacao de
P
p
. Vamos denota-la por . Segue-se que
E
p
(#{pontos triplos especiais em Q
n1
}) = (2n 1)
d
, (4.13)
logo
P
p
[#(pontos triplos especiais em Q
n1
) (2n 1)
d
)] > 0 (4.14)
40 CAP
ITICA
para todo n (pois, para toda variavel aleat oria integravel X,
P(X E(X)) > 0).
Por outro lado, e uma conseq uencia do exerccio acima que o n umero
de pontos triplos especiais em Q
n1
e inferior a 2d(2n 1)
d1
para toda
conguracao de e todo n, o que contradiz (4.14) para n sucientemente
grande. Da contradi cao segue o resultado.
Vamos agora argumentar a arma cao no come co do par agrafo anterior.
Cada ramo de cada ponto triplo especial (pte) toca um (ou mais) stios em
alguma face de Q
n
(2d(2n 1)
d1
e o total de stios em Q
n
).
Considere os componentes conexos dos ptes usando apenas elos no in-
terior de Q
n
. Digamos que cada componente contenha n
1
, n
2
, . . . ptes cada
(isto e, o i-esimo componente contem n
i
ptes). Logo
n
1
+ n
2
+ . . . (4.15)
da o total de ptes em Q
n1
. Usando a linguagem do exerccio acima, cada
componente contem n
i
pontos triplos. Daquele resultado sabemos que po-
demos achar pelo menos n
i
+ 2 ramos distintos dentre as 3n
i
possibilidades.
Portanto, podemos achar
(n
1
+ 2) + (n
2
+ 2) + . . . (4.16)
ramos distintos de todos os pontos triplos. Como cada um toca pelo menos
um ponto das faces de Q
n
, sera necessario que
n
1
+ n
2
+ . . . (n
1
+ 2) + (n
2
+ 2) + . . . 2d(2n 1)
d1
, (4.17)
como queramos mostrar.
A seguir, apresentamos alguns corol arios do Teorema 4.1. Lembramos
que
p
(x, y) e a funcao de conectividade dos stios x e y, isto e,
p
(x, y) = P
p
(x y).
Corolario 4.1
p
(x, y) [(p)]
2
(4.18)
O resultado acima tem como conseq uencia que, na fase supercrtica, a
funcao de conectividade entre dois pontos nao decai quando a dist ancia entre
eles cresce.
Prova
p
(x, y) P
p
(x e y estao no mesmo aglomerado innito)
= P
p
(|C
x
| = |C
y
| = ) P
p
(|C
x
| = )P
p
(|C
y
| = ) = (p)
2
,
onde a primeira igualdade deve-se ao Teorema 4.1 e a ultima desigualdade e
FKG.
Corolario 4.2 (p) e contnua à esquerda em (p
c
, 1].
Prova
Vamos construir modelos de percolacao para todo p [0, 1] acoplados
usando uma famlia de variaveis i.i.d. Uniformes em [0, 1] {Z
e
, e IE
d
}
declarando um elo e p-aberto se Z
e
< p (como na prova da monotonicidade
de (p)). Seja C
p
o aglomerado da origem com elos p-abertos.
Se p entao C
C
p
e
lim
p
() = lim
p
IP(|C
| = )
= IP(
 p
c
. Para concluirmos que a ultima expressao e nula, basta argu-
mentarmos que se |C
p
| = e o aglomerado innito p-aberto for unico, entao
|C
| = para algum < p.

De fato, nestas condi coes, tome satisfazendo p
c
< < p. Entao,
quase certamente existe um aglomerado innito -aberto, I
, que precisa
satisfazer I
C
p
(pois do contr ario haveria dois aglomerados innitos de
elos p-abertos!).
Logo, existe um caminho nito de elos p-abertos ligando a origem a I
.
Como e nito e cada elo e nele tem Z
e
< p, entao
= max{Z
e
, e } < p.
42 CAP
ITICA
Se for tal que e < < p, entao I
e sao -abertos. Portanto

|C
| = .
O resultado acima, junto com o seguinte (que nao e corol ario da unicidade
do aglomerado innito) nos diz que (p) e contnua em (p
c
, 1].
Proposicao 4.3 (p) e contnua à direita.
Prova
Seja A
n
o evento de que a origem esta ligada à fronteira de S
n
por um
caminho aberto. (A
n
)
n1
e uma seq uencia decrescente e
P
p
(A
n
) (p)
quando n . P
p
(A
n
) e contnua em p (pois e um polin omio) e, usando
o modelo padrao do Captulo 1, e facil ver tambem que e crescente nesta
variavel. Logo, (p) e o limite decrescente de funcoes contnuas crescentes.
Um resultado de analise sobre funcoes semi-contnuas inferiores (ou um ar-
gumento direto) nos da o resultado.
Observa cao 4.1 Como conseq uencia dos dois ultimos resultados, temos que
(p) sera contnua em [0, 1] se e somente se (p
c
) = 0.
Para o pr oximo corol ario, vamos dizer que ocorre um cruzamento da
esquerda para a direita no cubo Q
n
se houver um caminho de elos abertos
contidos em Q
n
ligando a face esquerda de Q
n
a sua face direita. Denotemos
por ED
n
o evento de que tal cruzamento ocorre. ED
n
poderia ser visto
como uma versao a volume nito do evento de que ha percolacao.

E uma
decorrencia do decaimento exponencial do raio de C na fase subcrtica que
P
p
(ED
n
) 0 quando n neste caso (verique). O caso supercrtico
sera tratado no pr oximo resultado.
Corolario 4.3 Se (p) > 0, entao
P
p
(ED
n
) 1 (4.20)
quando n .
Veremos no pr oximo captulo que em p = p
c
um evento similar a ED
n
tem probabilidade que nao converge nem para 0 nem para 1 quando n .
Prova
Seja I
m
o evento de que algum stio de Q
m
esta num aglomerado innito.
Dado > 0, escolha m grande o suciente para que
P
p
(I
m
) > 1 (4.21)
(isto e possvel pela discuss ao nos primeiros par agrafos do captulo).
Temos que, para n m
I
m

2d
i=1
{Q
m
F
i
emQ
n
} , (4.22)
onde F
1
, . . . , F
2d
sao as faces de Q
n
.
Logo
1 P
p
(I
m
) 1 P
p
_
2d
i=1
{Q
m
F
i
emQ
n
}
_
= P
p
_
2d
i=1
{Q
m
F
i
emQ
n
}
c
_
[1 P
p
(Q
m
F emQ
n
)]
2d
, (4.23)
onde F {F
1
, . . . , F
2d
} e a ultima desigualdade segue de FKG pelo fato de
que os eventos na interseccao sao decrescentes e tambem do fato que estes
eventos tem a mesma probabilidade (vide prova do Lema 5.1 na pagina 46).
De (4.21) e (4.23), temos que
P
p
(Q
m
F emQ
n
) 1
1/2d
(4.24)
Sejam F
e
e F
d
as faces esquerda e direita de Q
n
respectivamente. Por
FKG e (4.24),
P
p
({Q
m
F
e
emQ
n
} {Q
m
F
d
emQ
n
}) (1
1/2d
)
2
(4.25)
Seja agora A
m,n
o evento de que ha 2 stios em Q
m
em 2 aglomerados
abertos disjuntos, ambos tocando Q
n
. Temos que A
m,n
A
m,n+1
e A
m,n

A
m
quando n , onde A
m
e o evento de que ha 2 aglomerados abertos
innitos disjuntos tocando Q
m
.
Em conclusao
P
p
(A
m,n
) P
p
(A
m
) = 0 (4.26)
44 CAP
ITICA
..
Q
m
Q
n
Figura 4.3: O evento A
m,n
quando n e portanto, de
P
p
(ED
n
) (1
1/2d
)
2
P
p
(A
m,n
), (4.27)
que decorre de
{Q
m
F
e
emQ
n
} {Q
m
F
d
emQ
n
} ED
n
A
m,n
, (4.28)
temos
liminf
n
P
p
(ED
n
) (1
1/2d
)
2
(4.29)
e o resultado segue de ser arbitrario.
Captulo 5
O Modelo em 2 Dimensoes:
Dualidade
Neste captulo e no pr oximo, vamos tratar do que ocorre em p = p
c
. Em
2 dimens oes, objeto deste captulo, a auto-dualidade da rede ZZ
2
permite
mostrar que p
c
= 1/2 e (p
c
) = 0, o que estabelece a continuidade de (p)
em todo o intervalo [0, 1]. Alem da dualidade da rede bidimensional, outros
ingredientes da prova sao o decaimento exponencial da distribui cao do raio de
C em p 0
(Teorema 4.1).
Consideremos de novo, como na demonstracao da Proposicao 1.2.2 (na
pagina 6), a rede bidimensional dual de ZZ
2
,
ZZ
2
= ZZ
2
+{1/2, 1/2}.
ZZ
2
e isomorfa a ZZ
2
(por isto dizemos que ZZ
2
e auto-dual). Este fato e crucial
para o que se segue. Outro fato crucial, que ja usamos na demonstracao da
Proposicao 1.2.2, e a seguinte propriedade geometrica de ZZ
2
.
Proposicao 5.1 Seja G um subgrafo conexo nito de ZZ
2
. Existe um unico
circuito de ZZ
2
contendo G com a propriedade de que todo elo de cruza

um elo de G, a fronteira de G (isto e, os elos de ZZ
2
\G que incidem em
pelo menos um stio de G).
45
46 CAP
ITULO 5. DUAS DIMENS
OES
Teorema 5.1 Em duas dimensoes,
p
c
= 1/2 e (p
c
) = 0.
O Teorema 5.1 sera provado por meio dos dois seguintes lemas.
Lema 5.1 Em duas dimensoes,
(1/2) = 0.
Observa cao 5.1 Este resultado tem a conseq uencia imediata que em di-
mensao 2
p
c
1/2.
Lema 5.2 Em duas dimensoes,
p
c
1/2.
A heurstica para a validade do primeiro lema e que, se (1/2) > 0, entao
teremos um aglomerado innito aberto em ZZ
2
e um aglomerado innito
fechado em ZZ
2
. Os dois aglomerados nao podem se tocar (lembre que os

elos de ZZ
2
tem o mesmo status que os respectivos elos secantes de ZZ

2
vide a demonstracao da Proposicao 1.2.2 na pagina 6) e ZZ

2
e pequeno demais
para isto.
Para o segundo lema, a heurstica e que em p < p
c
, ha apenas aglomerados
abertos nitos (ilhas) em ZZ
2
num mar de elos fechados do dual. Presumi-
velmente estes formam um aglomerado innito. Logo, 1 p p
c
sempre que
p < p
c
, o que implica no resultado do lema.
Prova do Lema 5.1
O argumento, nao publicado, e de Y. Zhang. Usaremos o truque da raiz
quadrada de Cox & Durrett (ja usado no captulo anterior na demonstracao
do Corolario 4.3): Se
A
1
, . . . , A
m
DUALIDADE 47
forem eventos crescentes de mesma probabilidade entao
1 P
p
(
m
i=1
A
i
) = P
p
(
m
i=1
A
c
i
) [1 P
p
(A
1
)]
m
,
onde a desigualdade e FKG. Logo
P
p
(A
1
) 1 [1 P
p
(
m
i=1
A
i
)]
1/m
.
Suponha que
(1/2) > 0. (5.1)
Seja A
e
n
o evento de que algum stio do lado esquerdo de T
n
= [0, n]
2
esteja num aglomerado aberto innito de ZZ
2
sem usar outros stios de T
n
.
Dena A
d
n
, A
c
n
e A
b
n
similarmente substituindo lado esquerdo por lado direito,
lado de cima e lado de baixo, respectivamente.
Como conseq uencia de (5.1)
P
1/2
(existir um aglomerado aberto innito) = 1
de onde concluimos que
P
1/2
(A
e
n
A
d
n
A
c
n
A
b
n
) 1
quando n .
Pelo truque da raiz quadrada,
P
1/2
(A
u
n
) 1 (5.2)
quando n para u = e, d, c, b.
Escolhamos N tal que
P
1/2
(A
u
N
) > 7/8 e P
1/2
(A
u
N1
) > 7/8 (5.3)
para u = e, d, c, b.
Na rede dual, sejam A
e
(n) o evento de que algum stio do lado esquerdo

de T
n
= [0, n1] +(1/2, 1/2) esteja num aglomerado fechado innito de ZZ
2
sem usar outros stios de T
n
e A
d
(n), A
c
(n) e A
b
(n) similarmente denidos

substituindo lado esquerdo por lado direito, lado de cima e lado de baixo,
respectivamente.
Temos
P
1/2
(A
u
(N)) = P
1/2
(A
u
N1
) > 7/8. (5.4)
48 CAP
OES
Considere
A = A
e
N
A
d
n
A
c
(N) A
b
(N).
Note que, em A, se houver apenas um aglomerado innito aberto em ZZ
2
e
apenas um aglomerado innito fechado em ZZ
2
entao os caminhos abertos

innitos à esquerda e à direita de T
N
devem se ligar por elos abertos por
dentro de T
N
pois por fora os caminhos innitos fechados acima e abaixo
de T
N
bloqueiam a passagem. Similarmente, os caminhos innitos fechados
acima e abaixo de T
N
devem se ligar por elos fechados por dentro de T
N
. Mas
neste caso, as liga coes por dentro de T
N
e T
N
devem se cruzar, o que e im-
possvel. Logo, em A ha dois aglomerados innitos abertos disjuntos em ZZ
2
ou dois aglomerados innitos fechados disjuntos em ZZ
2
(veja a Figura 5.1).

Concluimos do Teorema 4.1 que
P
p
(A) = 0. (5.5)
Por outro lado
P
1/2
(A
c
) P
1/2
[(A
e
N
)
c
] + P
1/2
[(A
d
n
)
c
] + P
1/2
[(A
c
(N))
c
] + P
1/2
[(A
b
(N))
c
]
1/2
por (5.3) e (5.4).Logo, P
p
(A) 1/2, em contradi cao com (5.5), o que prova
o lema.
Prova do Lema 5.2
Vamos mostrar que, se p < p
c
, entao existe um aglomerado fechado in-
nito no dual com probabilidade positiva, o que implica que 1 p p
c
, o que
por sua vez produz o resultado do lema.
Se p < p
c
, entao do Corolario 3.1 temos que
p
=
n=1
P
p
(|C| n) < . (5.6)
Seja M um inteiro positivo e
A
M
= {Existe um caminho aberto em ZZ
2
ligando algum stio da forma
(k, 0) com k < 0 a algum outro da forma (l, 0) com l M com a
propriedade de que todos os elos de , a nao ser os extremos,
estao acima do eixo horizontal}
DUALIDADE 49
. .. . . . . .. .. . . . .. . . . .
........... . . . . . . . . .
ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
p p p p p pp p p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p pp p pp p pp p pp p pp p pp p pp p p p pp p p p pp p p p pp p p p pp p p p pp p pp p pp p pp p pp p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p pp p pp p pp p pp p p pp p p pp p p pp p p pp p p pp p p p pp p p p pp p p p pp p p p p pp p pp p pp p pp p p pp p p pp p p p
pppp
ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
p p p p p p p p p p p p p p p p p p p p p
p p p p p p p p p p pp p p pp pp ppp
ppppppppppppppppp pp pp
pp p pp p ppp pppppppppppp
ppppppppp ppp pp p pp p p p p
p p p p p
a
b
y
x
Figura 5.1: Os stios a e b estao em aglomerados abertos innitos de ZZ
2
\T
N
e
os stios x e y estao em aglomerados fechados innitos de ZZ
2
\T
N
. Se houver
um unico aglomerado aberto innito, entao existe um caminho aberto
ligando a a b, e entao os aglomerados innitos fechados em x e y sao disjuntos.
. . . . .. . . . . . .. . .. . . . .. . . . . . .. . .
pppppppppppppppp p p p p p p p p p p p p p p
ppppppppppppppppppppppppppp pppp pp pp p p p p p pp p p p p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p p p p pp p p p p p p pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp p p p pp p p p pp p p p p pp p p p p pp p p p p p pp p p p p p pp p p p p p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p p p p p pp p p p p p p pp p p p p p pp p p p p p pp p p p p pp p p pp p p p pp pp p ppppp pppppppppppppppppppppppppppppppp
1 M
Figura 5.2: Um esboco do evento A
M
50 CAP
OES
Entao
P
p
(A
M
) P
p
_

_
l=M
{(k, 0) (l, 0) para algum k < 0}
_
l=M
P
p
((k, 0) (l, 0) para algum k < 0)
=
l=M
P
p
((0, 0) (k l, 0) para algum k < 0)
=
l=M
P
p
((0, 0) (l + m, 0) para algum m > 0)
l=M
P
p
(|C| l).
(5.6) nos permite escolher M tal que
P
p
(A
M
) 1/2. (5.7)
Seja agora
L = {(m+ 1/2, 1/2) : 1 m < M}.
Denote por C(L) o conjunto de stios do dual conectados a L por caminhos
fechados do dual.
Se |C(L)| < , entao existe um circuito aberto no dual de ZZ
2
, isto e
ZZ
2
, ao redor de C(L) (pela Proposicao 5.1). Logo deve haver um caminho
aberto em ZZ
2
ligando stios do tipo (k, 0) com k < 0 e (l, 0) com l M
inteiramente no semiplano superior. Entao
P
p
(|C(L)| < ) P
p
(A
M
) 1/2. (5.8)
Portanto P
p
(|C(L)| = ) 1/2. Mas entao pelo menos um stio de L tem
que estar num aglomerado fechado innito. De onde se conclui que
P
p
(0
esta num aglomerado fechado innito)

1
M + 1
P
p
(|C(L)| = )
1
2(M + 1)
e o lema esta provado.
DUALIDADE 51
. . . . .. . . . . . .. . .. . . . .. . . . . . .. . .
................ . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Figura 5.3: S
5
e seu dual S
5
A seguir apresentaremos uma outra prova do mesmo lema que tem um
interessante subproduto.
Outra prova do Lema 5.2
Considere os seguintes conjuntos de stios
n
= {x ZZ
2
: 0 x
1
n + 1, 0 x
2
n}
n
= {x + (1/2, 1/2), x ZZ
2
: 0 x
1
n, 1 x
2
n},
os subgrafos
S
n
=
n
{elos vizinhos mais pr oximos de
n
exceto
(x, y) com x
1
= y
1
= 0 ou x
1
= y
1
= n + 1}
S
n
=
n
{elos vizinhos mais pr oximos de
n
exceto
(x, y) com x
2
= y
2
= 1 ou x
2
= y
2
= n}
e os eventos A
n
de que existe um caminho aberto em S
n
ligando seu lado
esquerdo a seu lado direito e A
n
de que existe um caminho fechado em S
n
ligando seu lado de baixo a seu lado de cima.
Temos que
A
n
A
n
= (5.9)
52 CAP
OES
.. . . . . . .. . . . . . ... . . . . . .. . . . . . .
................ . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.. . . . . . . . . . ..
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . ..
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . ..
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
Figura 5.4: Ilustracao do fato de que se nao ha caminhos abertos atravessando
S
n
da esquerda para a direita, entao ha um caminho fechado cruzando S
n
de
cima para baixo.
pois senao haver a um cruzamento entre caminho aberto em S
n
com caminho
fechado de S
n
, o que e impossvel.
Por outro lado
A
n
A
n
= . (5.10)
De fato, suponha que A
n
nao ocorre. Seja D o conjunto de stios de S
n
alcan cados da face esquerda junto com os elos ligando tais stios. Por uma
variante da Proposicao 5.1, existe um caminho em ZZ
2
cruzando S
n
de cima
a baixo secante apenas a elos de S
n
contidos na fronteira de D. Logo este
caminho sera fechado e A
n
ocorre (veja Figura 5.4).
De (5.9) e (5.10)
P
p
(A
n
) + P
p
(A
n
) = 1. (5.11)
Mas P
p
(A
n
) = P
1p
(A
n
). Logo
P
1/2
(A
n
) = 1/2 (5.12)
(para todo n).
Mas se p
c
> 1/2, entao P
1/2
(A
n
) 0 quando n (por uma vari-
ante do argumento que diz que P
p
(ED
n
) 0 quando n se p < p
c
mencionado no captulo anterior).
DUALIDADE 53
A contradi cao prova o lema.
O subproduto interessante desta prova a que se aludiu acima e o fato de
que P
1/2
(A
n
) = 1/2 independentemente de n. Pode-se argumentar (fa ca-o)
como para ED
n
que
P
p
(A
n
) 0 ou 1
quando n conforme p p
c
respectivamente.
54 CAP
OES
Captulo 6
Continuidade no Ponto Crtico:
Renormaliza cao
Neste ultimo captulo trataremos de forma pincelada de um metodo de ataque
ao problema de se provar a continuidade de (p) em p
c
em mais dimens oes do
que duas. Neste caso, nao temos nem a auto-dualidade da rede hiperc ubica
nem conhecemos (ou esperamos algum dia conhecer) o valor exato de p
c
.
Ambos conhecimentos foram uteis em d = 2 (Captulo 5).
A ideia sera relacionar a ocorrencia de percolacao a um evento em vo-
lume nito, cuja probabilidade, sendo contnua (pois as probabilidades de
todos tais eventos sao polin omios em p), nos permitir a concluir que, se ha
percolacao para p, entao ha tambem para p com > 0 sucientemente
pequeno.
O metodo e chamado de renormaliza cao. A versao a ser esbocada, que
chamaremos renormalizacao estatica, nao foi ainda realizada com rigor em
modelos de percolacao (uma prova para a Proposicao 6.2 abaixo ainda nao
foi feita), mas tecnicas de renormalizacao dinamica muito similares foram
aplicadas com sucesso para percolacao em semi-espa cos de ZZ
d
, d 3 [7]. O
problema da continuidade no ponto crtico em ZZ
d
inteiro permanece aberto
para valores intermediarios de d entre 2 e d
0
, este ultimo o menor valor para
o qual Hara e Slade [17] podem aplicar sua expansao em lacos e obter a
continuidade a partir da, entre outros resultados (d
0
estava em 19 segundo
as ultimas notcias, mas nao se espera que possa vir abaixo de 7).
Para 0 K L, considere a parti cao de ZZ
d
em cubos concentricos de
lado 2K e 2L como na gura abaixo e seja A
K,L
o evento em que existe um
caminho aberto dentro dos dois cubos grandes conectando a superfcie dos
55
56 CAP
ITULO 6. NO PONTO CR
ITICO
............. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp pppp pp pp pp pp p ppp p p ppp p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p pp p p pp p p pp p p pp p p pp p p ppp ppp p ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp ppppp p pp pp p p p p pp p p p p pp p p p p pp p p p p pp p p p p pp p p p p ppp p p p pp p pp pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp ppppp ppp pp ppp p pp pp pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp p p pp pp pp pp pppp ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp ppp ppp p ppp ppp p ppp p p ppp p pp p p pp p p pp p p p pp p p p pp p p p pp p p p pp p p p p
K 0 K L L 2L 3L
Figura 6.1: O evento A
K,L
dois cubos menores (vide Figura 6.1).
Para garantir interconexao, precisamos intersectar A
K,L
com outro evento
B
K,L
= B
1
K,L
B
2
K,L
,
em que B
i
K,L
, i = 1, 2, e o evento de que todos os stios do cubo menor
i, que estiverem ligados por caminhos abertos à fronteira do cubo grande
respectivo, estar ao conectados entre si por caminhos abertos dentro do cubo
grande.
Seja

A
K,L
= A
K,L
B
K,L
.
Proposicao 6.1 Seja R
K,L
= P
p
(

A
K,L
). Existe
(0, 1) tal que se (para

algum 0 K L e 0 
, entao (p) > 0.

Um argumento para a validade deste resultado sera esbocado adiante.
Proposicao 6.2 (Conjectura) Se, para algum p
(0, 1), (p
) > 0, entao
sup
K
liminf
L
P
p
(A
K,L
) = 1. (6.1)
Teorema 6.1 Se a Proposicao 6.2 conjecturada for verdadeira, entao
(p
c
) = 0.
RENORMALIZAC

AO 57
Prova do teorema.
Primeiro mostraremos que a Proposicao 6.2 conjecturada implica que se
(p
) > 0, entao
sup
K
liminf
L
R
K,L
(p
) = 1 (6.2)
(portanto R
K,L
(p
) >
para algum K e L).

De fato, para cada K xo,
lim
L
P
p
(B
i
K,L
) = 1
para i = 1, 2, pois de outra forma haveria probabilidade positiva de que 2
stios do cubo menor estivessem em aglomerados innitos disjuntos. Logo
lim
L
P
p
(B
K,L
) = 1
do que se conclui que
lim
L
P
p
(

A
K,L
) = lim
L
P
p
(A
K,L
) = 1.
Agora suponha que, para algum p
, (p
) > 0. Pelo argumento acima

podemos escolher K
0
e L
0
tais que R
K
0
,L
0
(p
) >
. Mas R
K
0
,L
0
(p) e um
polin omio em p. Logo
R
K
0
,L
0
(p
) >
para algum positivo. Pela Proposicao 6.1

(p
) > 0.
Temos portanto que (p
) > 0 implica que (p
) > 0 para algum > 0.

Logo (p
c
) nao pode ser positivo, pois isto implicaria em (p) positivo para
algum p < p
c
, o que contradiz a deni cao de p
c
.
(Esboco de) Prova da Proposicao 6.1 (em d = 3).
Considere uma rede renormalizada isomorca a ZZ
2
na qual cada stio
corresponde a um cubo 2L 2L 2L em ZZ
3
, como na Figura 6.2. Declare
um elo renormalizado aberto se

A
K,L
(e) ocorrer.
Teremos entao um modelo de percolacao dependente na rede renormali-
zada com uma medida de probabilidade

P
p
tal que
P
p
(e esta aberto) = R
K,L
.
58 CAP
ITULO 6. NO PONTO CR
ITICO
...................................................................................................................................................................................
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ................................................................................................................................................................................... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . .. . . . .. . . . . ... . . . .. . . . .. . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . ...............
............... . . . . . . . . . . . . .
..........
..........
..........
..........
..........
..........
..........
..........
..........
..........
........... . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
.......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... ..........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Figura 6.2: Parte da rede ZZ
2
renormalizada.
Precisamos mostrar que existe
(0, 1) tal que se R

K,L
for maior do
que
, entao percolacao dependente ocorre na rede renormalizada. Se isto

ocorrer, obviamente percolacao independente ocorrera na rede original.
A prova de que percolacao dependente ocorre em ZZ
2
renormalizada pode
ser feita pelo mesmo argumento de Peierls na prova da Proposicao 1.2.2 (a
partir dos circuitos nos elos duais de ZZ
2
) com a unica pequena modica cao
de que a medida nos elos nao e mais independente, mas apenas localmente
dependente. Deixamos os detalhes para o leitor.
Apendice A
Prova a um lema do Captulo 3
Neste apendice, provaremos o Lema 3.3 a partir de (3.8). Isto e, queremos
mostrar que para p < p
c
, existe uma constante (p) tal que
g
p
(n) (p)n
1/2
(A.1)
a partir de
g
(n) g
(n) exp
_
( ) ( )
n
n
i=0
g
(i)
_
, (A.2)
para 0 < p
c
. Alem de (A.2), os unicos fatos requeridos pelo
argumento sao
0 < g
p
(n) < 1 para todo n e p [0, p
c
), (A.3)
g
p
(n) e nao-decrescente em p para todo p [0, p
c
), (A.4)
g
p
(n) e nao-crescente em n para todo p [0, p
c
) e (A.5)
g
p
(n) 0 quando n e p [0, p
c
). (A.6)
Prova de (A.1)
Reproduzimos o argumento em [8]. Vamos primeiro escolher uma sub-
seq uencia n
1
, n
2
, . . . ao longo da qual g
p
(n) converge a 0 bastante rapido. A
seguir, fechamos as lacunas.
Fixemos < p
c
e um inteiro positivo n. Sejam tal que 0 < < e
n
n. Adiante escolheremos e n
explicitamente em termos de .
59
60 AP
ENDICE
De (A.2),
g
(n
) g
(n
) exp
_
1
n
( )
i=0
g
(i)
_
g
(n) exp
_
1
n
( )
i=0
g
(i)
_
(A.7)
pois n n
. Queremos escrever o expoente em termos de g
(n) e para isto

escolheremos n
apropriadamente. Vamos quebrar a soma em duas partes,

para i < n e i n. Usando (A.5), temos
1
n
i=0
g
(i)
1
n
{ng
(0) + n
(n)}
3g
(n)
se n
ng
(n)
1
. Vamos denir agora
n
= n
(n) (A.8)
onde
(n) = g
(n)
1
e deduzir de (A.7) que
g
(n
) g
(n) exp
_
1

3g
(n)
_
. (A.9)
Escolhemos a seguir fazendo
= 3g
(n){1 log g
(n)}. (A.10)
De (A.6) temos 0 < < se n for escolhido bastante grande.
De (A.9) temos
g
(n
) g
(n)
2
. (A.11)
Usaremos esta conclusao recursivamente a seguir. Mostramos ate agora que,
para < p
c
existe n
0
() tal que (A.11) vale sempre que n n
0
() e e n
forem dados por (A.10) e (A.8) respectivamente.

Fixemos agora p < p
c
e escolhamos tal que p < < p
c
. Construi-
mos agora seq uencias (p
i
, i 0) de probabilidades e (n
i
, i 0) de intei-
ros. Facamos p
0
= e deixemos n
0
para mais tarde. Tendo encontrado
p
0
, p
1
, . . . , p
i
e n
0
, n
1
, . . . , n
i
, denimos
n
i+1
= n
i
i
e p
i
p
i+1
= 3g
i
(1 log g
i
) (A.12)
LEMA DO CAP
ITULO 3 61
onde g
i
= g
p
i
(n
i
) e
i
= g
1
i
. Note que n
i
n
i+1
e p
i
> p
i+1
.
A recursao em (A.12) e v alida enquanto p
i+1
> 0 e este sera o caso se
n
0
for escolhido sucientemente grande. Para ver isto, argumentamos da
seguinte forma. Da deni cao de p
0
, . . . , p
i
e n
0
, . . . , n
i
e da discuss ao que
levou a (A.11) temos
g
j+1
g
2
j
(A.13)
para j = 0, 1, . . . , i 1. Se uma seq uencia de n umeros reais (x
j
, j 0)
satiszer 0 < x
0
< 1, x
j+1
= x
2
j
para j 0, entao e facil de ver que
s(x
0
) =
j=0
3x
j
(1 log x
j
) <
e que s(x
0
) 0 quando x
0
0. Podemos entao tomar x
0
pequeno o
suciente para que
s(x
0
) p (A.14)
e depois tomar n
0
grande o suciente para que g
0
= g
(n
0
) < x
0
. Agora
h(x) = 3x(1log x) e uma funcao crescente em [0, x
0
], o que junto com (A.12)
e (A.13) implica
p
i+1
= p
i
3g
i
(1 log g
i
)
=
i
j=0
3g
j
(1 log g
j
)

i
j=0
3x
j
(1 log x
j
)
p
por (A.14).
Desta forma, escolhendo n
0
convenientemente, teremos p
i+1
> 0 para
todo i e tambem
p = lim
i
p
i
satisfazendo p p. Vamos supor que n
0
foi escolhido da forma adequada.
Temos entao a recursao (A.12) v alida e p p. De (A.12) e (A.13) temos
n
k
= n
0
1
. . .
k1
62 AP
ENDICE
para k 1 e
g
2
k1
= g
k1
g
k1
g
k1
g
2
k2

g
k1
g
k2
. . . g
1
g
2
0
(
k1
k2
. . .
0
)
1
g
0
=
2
n
1
k
, (A.15)
onde = n
0
g
0
.
O argumento esta basicamente terminado. Seja n > n
0
. Seja k um inteiro
tal que n
k1
n < n
k
, o que e possvel pois g
k
0 quando k e logo
n
k1
< n
k
para todo k bastante grande. Entao
g
p
(n) g
p
k1
(n
k1
) pois p p
k1
= g
k1
n
1/2
k
por (A.15)
n
1/2
pois n < n
k
como queramos. Isto vale para n > n
0
. Ajustando a constante, temos a
desigualdade para todo n.
Referencias Bibliogracas
[1] Broadbent, S.R. e Hammersley, J.M., Percolation processes I. Crystals
and mazes, Proceedings of the Cambridge Philosocal Society 53 629-641
(1957)
[2] Harris, T., A lower bound for the critical probability in a certain per-
colation process, Proceedings of the Cambridge Philosocal Society 56,
13-20 (1960)
[3] Kesten, H., The critical probability of bond percolation on the square
lattice equals
1
2
, Communications in Mathematical Physics 74, 41-59
(1980)
[4] Menshikov, M.V., Coincidence of critical points in percolation problems,
Soviet Mathematics Doklady 33, 856-859 (1986)
[5] Aizenman, M. e Barsky, D., Sharpness of the phase transition in perco-
lation models, Communications in Mathematical Physics 108, 489-526
(1987)
[6] Aizenman, M., Kesten, H. e Newman, C.M., Uniqueness of the in-
nite cluster and continuity of connectivity functions for short- and long-
range percolation, Communications in Mathematical Physics 111, 505-
532 (1987)
[7] Barsky, D., Grimmett, G. e Newman, C.M., Percolation in half-spaces:
Equality of critical densities and continuity of the percolation probabi-
lity, Probability Theory and Related Fields 90, 111-148 (1991)
[8] Grimmett, G.R., Percolation, Springer (1989)
[9] Breiman, L., Probability, Addison-Wesley (1968)
63
64 BIBLIOGRAFIA
[10] Kesten, H., Percolation Theory for Mathematicians, Birkhauser (1982)
[11] Kesten, H., Asymptotics in high dimensions for percolation, Disorder in
physical systems, 219240, Oxford University Press (1990)
[12] Fortuin, C.M., Kasteleyn, P.W., e Ginibre, J., Correlation inequalities
on some partially ordered sets, Communications in Mathematical Phy-
sics 22, 89-103 (1971)
[13] van den Berg, J. e Kesten, H., Inequalities with applications to perco-
lation and reliability, Journal of Applied Probability 22, 556-569 (1985)
[14] Russo, L., On the critical percolation probabilities, Zeitschrift f ur
Wahrscheinlichkeitstheorie und Verwandte Gebiete 56, 229-237 (1981)
[15] Newman, C.M. e Schulman, L.S., Innite clusters in percolation models,
Journal of Statistical Physics 26, 613628 (1981)
[16] Burton, R.M. e Keane, M., Density and uniqueness in percolation, Com-
munications in Mathematical Physics 121, 501-505 (1989)
[17] Hara, T. e Slade, G., Mean-eld critical behavior for percolation in
high dimensions, Communications in Mathematical Physics 128, 333-
391 (1990)

Notas em Percolacao

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Notas em Percolacao

Enviado por

Direitos autorais:

Formatos disponíveis

Notas em Percolacao

Luiz Renato G. Fontes

, pois neste caso um elo p-aberto esta necessariamente p

E suciente mostrar que

{ esta aberto}), onde

sao ilustrados abaixo, o de ZZ

. Seja a rela cao (1 a 1) e e

.......... .......... .......... .......... .......... .......... .......... .......... .

induzido pelo modelo em

aberto ou fechado conforme e esteja aberto ou fechado,

uma copia independente de X

e o segundo evento evitando

. Observa-se que esta operacao nao pode diminuir a probabilidade original.

e considerando-se a ocorrencia disjunta de {x y} e

a conguracao identica a em todos os elos

sao diferentes, uma das duas coisas acon-

ITULO 3. FASE SUBCR

ITULO 3. FASE SUBCR

(i) < , (3.9)

ITULO 3. FASE SUBCR

ITULO 3. FASE SUBCR

). A primeira e menor ou igual a

ITULO 3. FASE SUBCR

E uma conseq uencia imediata do Teorema 3.1 o decaimento exponencial

ITULO 3. FASE SUBCR

ITULO 3. FASE SUBCR

ITULO 4. FASE SUPERCR

ITULO 4. FASE SUPERCR

ITULO 4. FASE SUPERCR

| < < p) (4.19)

| = para algum < p.

ITULO 4. FASE SUPERCR

e sao -abertos. Portanto

ITULO 4. FASE SUPERCR

contendo G com a propriedade de que todo elo de cruza

ITULO 5. DUAS DIMENS

. Os dois aglomerados nao podem se tocar (lembre que os

tem o mesmo status que os respectivos elos secantes de ZZ

vide a demonstracao da Proposicao 1.2.2 na pagina 6) e ZZ

(n) o evento de que algum stio do lado esquerdo

sem usar outros stios de T

(n) similarmente denidos

ITULO 5. DUAS DIMENS

entao os caminhos abertos

(veja a Figura 5.1).

ITULO 5. DUAS DIMENS

esta num aglomerado fechado innito)

ITULO 5. DUAS DIMENS

ITULO 5. DUAS DIMENS

(0, 1) tal que se (para

, entao (p) > 0.

para algum K e L).

) > 0. Pelo argumento acima

para algum positivo. Pela Proposicao 6.1

) > 0 implica que (p

) > 0 para algum > 0.

(0, 1) tal que se R

, entao percolacao dependente ocorre na rede renormalizada. Se isto

. Queremos escrever o expoente em termos de g

(n) e para isto

apropriadamente. Vamos quebrar a soma em duas partes,

forem dados por (A.10) e (A.8) respectivamente.

Você também pode gostar