Você está na página 1de 69

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 `as 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 `a esquerda e `a 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 < p
c
(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
),
a fase supercrtica (p > p
c
) e a fase crtica (p = p
c
).
1.2 Primeiros Resultados
Em auxlio `a 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.
1.2. PRIMEIROS RESULTADOS 5
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 `a 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

.
1.2. PRIMEIROS RESULTADOS 7
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
`a 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
ppppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppp pppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppp
pppppppppppppppppppppppppppppppppppppppppp ppppppppppppppppppppp p pppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppp ppppppppppppppppppppp ppppppppppppppppppppp pppppppppppppppppppppp pppppppppppppppppppp
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 ppppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppp
pppppppppppppppppppppppppppppppppppppppppp ppppppppppppppppppppp p pppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppp ppppppppppppppppppppp p pppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppp
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
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
p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p p 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
p p p p p p p p p p p p p p p p p p 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
p p p p p p p p p p p p p p p p p p 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 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),
1.2. PRIMEIROS RESULTADOS 9
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 `a esquerda a seguir. Caso contr ario, o gr aco sera mais parecido
com o da gura `a direita.
p
c
. . . . . .. . . . . . .. . . .. . .. . . . . .. . . . . .. .
(p)
p
.................. . . . . . . . . . . . . . . . .
1
1
p
c
. . . . . .. . . . . . .. . . .. . .. . . . . .. . . . . .. .
(p)
p
.................. . . . . . . . . . . . . . . . .
1
1
qq ..
....
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
1.2. PRIMEIROS RESULTADOS 11
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 `a 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 `a 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 `a 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

ITULO 2. FERRAMENTAS

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 `a 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

ITULO 2. FERRAMENTAS

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

ITULO 2. FERRAMENTAS

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 `a fronteira de S
n
.
Teorema 3.1 (Menshikov) Se p < p
c
, entao para algum
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 `a 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
DECAIMENTO EXPONENCIAL 25
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 `aquela 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 `as demonstracoes dos lemas.
DECAIMENTO EXPONENCIAL 27
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
.
DECAIMENTO EXPONENCIAL 29
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 `a 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.
DECAIMENTO EXPONENCIAL 31
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
DECAIMENTO EXPONENCIAL 33
=
_
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 `aqueles 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

ITULO 4. FASE SUPERCR

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
UNICIDADE DO AGLOMERADO INFINITO 39
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

ITULO 4. FASE SUPERCR

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)
UNICIDADE DO AGLOMERADO INFINITO 41
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 `a 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

| = }).
Queremos mostrar que a ultima probabilidade acima vale (p). Conside-
remos entao
(p) IP(
<p
{|C

| = }) = IP(|C
p
| = , |C

| < < p) (4.19)


para p > 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

ITULO 4. FASE SUPERCR

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 `a direita.
Prova
Seja A
n
o evento de que a origem esta ligada `a 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 .
UNICIDADE DO AGLOMERADO INFINITO 43
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

ITULO 4. FASE SUPERCR

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 < p
c
(Teorema 3.1) e a unicidade do aglomerado innito 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

ITULO 5. DUAS DIMENS

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 `a esquerda e `a 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
ppppppppppppppppppppp
ppppppppppppppppppppp
ppppppppppppppppp pp pp
p p p p p p p p p p p p p p p p p p p p p
p p p p p p p p p p p p p p p p p p p p p
p p p p p p p p p p p p p p p p p p 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 pp p ppp pppppppppppp
ppppppppppppppppppppp
ppppppppppppppppppppp
ppppppppp ppp pp p pp p p p p
p p p p p p p p p p p p p p p p p 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

ITULO 5. DUAS DIMENS

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

ITULO 5. DUAS DIMENS

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
ou p > p
c
respectivamente.
54 CAP

ITULO 5. DUAS DIMENS

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 `a 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 < p < 1) R
K,L
(p) >

, 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)