Escolar Documentos
Profissional Documentos
Cultura Documentos
Daniel Felinto
Sobre as notas
Essas notas se destinam apenas ao suporte do curso de Óptica Quântica de 2020.2 da Pós-Graduação
em Física da UFPE. Não é material a ser divulgado ou repassado a outros fora do contexto desse
curso. Em suas diversas partes, elas não constituem material original, pois se baseiam em um
conjunto diverso de textos didáticos de outros autores. Também não são fiéis aos textos originais,
que foram modificados em diferentes medidas para se adaptarem ao contexto do curso. Assim,
elas não devem ser consideradas como substitutos aos textos originais nos quais se baseiam, que
tipicamente vão enfatizar outros aspectos das questões abordadas. As referências originais para
as diversas partes serão fornecidas ao longo do texto, e o aluno é incentivado a consultá-las para
conhecer outros pontos de vista e detalhes dos temas do curso. Essas notas têm, por outro lado, a
pretensão de serem auto-consistentes, de modo que o aluno deve assumir que a notação dos textos
originais será modificada para se ajustar ao usado anteriormente no curso. O aluno também deve
assumir que elas são mais “enxutas” que as aulas, ou seja, elas compõem a parte mais técnica do
curso. O contexto e significados do conteúdo e as ligações entre suas diversas partes será visto em
mais detalhes nos encontros síncronos.
Sumário
I primeira unidade
1 Eletrodinâmica Quântica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.1 Formalismo Hamiltoniano clássico e quantização canônica 9
1.2 Campo eletromagnético livre e transversalidade 11
1.2.1 Expansão de Fourier espacial . . . . . . . . . . . . . . .... .............. ... . . . 11
1.2.2 Transversalidade do campo eletromagnético livre e componentes de Fourier
polarizadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .... .............. ... . . . 12
1.2.3 Potencial vetor no gauge de Coulomb . . . . . . .... .............. ... . . . 14
1.3 Expansão do campo eletromagnético livre em modos normais 15
1.3.1 Variáveis normais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.2 Expansão do campo livre em modos normais . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3.3 Sinal analítico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.4 Outros modos normais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4 Hamiltoniano para a radiação livre 18
1.4.1 Variáveis canonicamente conjugadas para um modo da radiação . . . . . . . 19
1.5 Quantização da radiação 20
1.5.1 Operadores de campo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6 Estados da radiação quantizada e fótons 22
1.7 Interação átomo-luz 24
1.7.1 Hamiltoniano de interação na aproximação de dipolo elétrico . . . . . . . . . . . 24
1.7.2 Campo elétrico quantizado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.7.3 Representação de interação e aproximação de onda girante . . . . . . . . . . . 30
1.8 Emissão espontânea: Teoria de Weisskopf-Wigner 33
2 Flutuações e coerência na luz clássica . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1 Processos estocásticos e funções de correlação 37
2.1.1 Introdução aos ensembles estatísticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1.2 Estacionaridade e ergodicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.1.3 Propriedades da função de auto-correlação . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.1.4 Propriedades espectrais de um processo aleatório estacionário . . . . . . . . . . . 46
2.2 Teorias clássicas para flutuações da luz 51
2.2.1 Modelos para fontes luminosas caóticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
2.2.2 O divisor de feixes óptico sem perdas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.2.3 O interferômetro de Mach-Zehnder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.2.4 Grau de coerência de primeira ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.2.5 Franjas de interferência e espectros de frequência . . . . . . . . . . . . . . . . . . . . . 66
2.2.6 Flutuações de intensidade na luz caótica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
2.2.7 Grau de coerência de segunda ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.2.8 O interferômetro de Hanbury Brown and Twiss . . . . . . . . . . . . . . . . . . . . . . . . . 75
II segunda unidade
3 Foto-deteção . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.1 Teoria semi-clássica da foto-deteção 81
3.2 Estados puros e misturas estatísticas 90
3.3 O operador intensidade 94
3.4 Graus de coerência de primeira e segunda ordem quânticos 96
Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
I
primeira unidade
1 Eletrodinâmica Quântica . . . . . . . . . . . . . 9
1.1 Formalismo Hamiltoniano clássico e quantização
canônica
1.2 Campo eletromagnético livre e transversalidade
1.3 Expansão do campo eletromagnético livre em mo-
dos normais
1.4 Hamiltoniano para a radiação livre
1.5 Quantização da radiação
1.6 Estados da radiação quantizada e fótons
1.7 Interação átomo-luz
1.8 Emissão espontânea: Teoria de Weisskopf-Wigner
Este capítulo será baseado fortemente nas Referências [Gry10], [Lou00] e [Scu97].
h̄2 ∂2 ∂2 ∂2
Ĥ = − + + +V (x, y, z) , (1.3)
2m ∂ x2 ∂ y2 ∂ z2
h̄ ∂
já que os observáveis x̂ e p̂x então tomam, respectivamente, a forma de x e i ∂x, operadores que
satisfazem (1.1).
10 Capítulo 1. Eletrodinâmica Quântica
E = H(q1 , . . . , qN ; p1 , . . . , pN ) . (1.8)
Se as equações que descrevem a dinâmica do sistema podem ser escritas na forma (1.5), devemos
dizer que o sistema foi expresso na forma canônica e que os (qi , pi ), i = 1, . . . , N, são pares de
variáveis canonicamente conjugadas.
A generalização do procedimento de quantização acima para pares de variáveis conjugadas,
que não são necessariamente a posição e momento de partículas materiais, consiste em associar
1.2 Campo eletromagnético livre e transversalidade 11
observáveis q̂1 , . . . , q̂N ; p̂1 , . . . , p̂N às variáveis canonicamente conjugadas identificadas para o
sistema, e em impor as relações de comutação
∇ · E(r,t) = 0 , (1.10a)
∇ · B(r,t) = 0 , (1.10b)
∂
∇ × E(r,t) = − B(r,t) , (1.10c)
∂t
1 ∂
∇ × B(r,t) = 2 E(r,t) . (1.10d)
c ∂t
Já que este é um sistema de equações diferenciais lineares de primeira ordem, é suficiente fornecer
o valor dos campos em um dado tempo t0 e em todo o espaço para determinar unicamente toda
a evolução futura deles. O valor dos campos em t0 pode também ser usado para calcular várias
quantidades, como energia ou momento angular nesse instante de tempo. O conjunto completo das
seis componentes do campo eletromagnético em todos os pontos do espaço em um dado instante
constitui assim um conjunto completo de variáveis dinâmicas. No entanto, este conjunto contém
uma infinidade contínua de variáveis acopladas, já que as equações de Maxwell são equações
diferenciais parciais, e é difícil de ser quantizado diretamente. Vamos agora mostrar como reduzir
o problema a um conjunto contável de variáveis que são desacopladas. Isto simplifica muitos
problemas no eletromagnetismo, mas estaremos particularmente interessados aqui no fato de
que este procedimento nos permitirá identificar pares desacoplados de variáveis canonicamente
conjugadas.
Por outro lado, estas componentes de Fourier podem ser usadas para calcular o campo complexo
em qualquer ponto dentro do volume V , já que
Nas equações acima, a integral é sobre o volume V e ∑n é uma notação abreviada para ∑nx ,ny ,nz ,
onde os números inteiros (positivo ou negativo) nx , ny , nz definem as três componentes do vetor kn
a partir de
2π 2π 2π
(kn )x = nx ; (kn )y = ny ; (kn )z = nz . (1.13)
L L L
Os finais dos vetores kn formam uma rede cúbica com uma distância de repetição 2π/L que se
torna menor a medida que o volume V aumenta. A equação (1.12) mostra que qualquer campo
complexo no volume V = L3 pode ser expandido na base de funções eikn ·r , onde kn é dado por
(1.13). A equação (1.11) fornece a amplitude Ẽn (t) de cada componente. O espaço contendo os
vetores k é chamado de espaço recíproco ou espaço-k, e as funções Ẽn (t) são as componentes do
campo no espaço recíproco. Já que as funções Ẽn (t) dependem apenas do tempo, a notação será
algumas vezes abreviada para Ẽn daqui para frente, deixando implícita a dependência temporal.
Note uma relação muito importante, expressando a realidade do campo E(r,t):
Ela é obtida de forma direta tomando o complexo conjugado da equação (1.11) e notando que
k−n = −kn .
Uma grande vantagem de passar para o espaço recíproco é que os operadores diferenciais
espaciais são trocados por relações algébricas. A tabela 1.1 compila as principais relações de
correspondência.
Problema 1.1 Demonstre as relações entre espaço direto e espaço recíproco da tabela 1.1.
kn · Ẽn = 0 , (1.15a)
kn · B̃n = 0 . (1.15b)
Elas são, portanto, perpendiculares ao vetor de onda kn em todos os pontos n do espaço recíproco.
Qualquer campo com divergência zero, cujas componentes de Fourier obedecem a este tipo de
relação, é chamado de um campo transversal.
1.2 Campo eletromagnético livre e transversalidade 13
A equação (1.15a) mostra que cada componente Ẽn pertence a um espaço bi-dimensional,
ortogonal a kn (ver Figura 1.1). Dois vetores unitários mutuamente ortogonais, e n,1 e e n,2 , podem
ser escolhidos no plano ortogonal a kn , de modo que podemos escrever
As equações (1.12) e (1.16) mostram que, como é transversal, o campo E(r,t) pode ser
expandido em termos de uma base de componentes de Fourier polarizadas com vetor de onda kn e
polarizações e n,s ortogonais a kn . Cada componente é então rotulada por um conjunto de quatro
índices {nx , ny , nz , s}. Os três primeiros são inteiros que definem kn (ver equações (1.13)), enquanto
a quarta pode assumir dois valores s = 1 ou 2, que caracterizam a base de polarizações transversais
associadas a kn . Usaremos o índice l para denotar esse conjunto de quatro números:
e devemos escrever
com
1
Z
Ẽl (t) = 3 d 3 r el · E(r,t)e−ikl ·r . (1.19)
L V
el · kl = 0 (1.21)
de modo que
e−l = el (1.24)
Como vemos pela equação (1.10c), para cada componente el Ẽl podemos associar uma componente
de B ao longo de e0l , e decompomos B(r,t) usando e0l como
As equações de Maxwell (1.10c) e (1.10d) se tornarão então em equações simples acoplando Ẽl (t)
e B̃l (t), como veremos mais à frente.
∇ · A(r,t) = 0 . (1.29)
U(r,t) = 0 . (1.30)
A condição (1.29) garante a transversalidade de A(r,t), que pode também ser expandido como
com
d
Ẽl (t) = − Ãl (t) . (1.32)
dt
Substituindo (1.31) em (1.28) e comparando com (1.27), obtemos ainda
Uma vez que o gauge de Coulomb foi imposto, podemos então usar A(r,t) no lugar de B(r,t) na
descrição do campo eletromagnético.
d
B̃l (t) = −ikl Ẽl (t) , (1.34a)
dt
d
Ẽl (t) = −ic2 kl B̃l (t) . (1.34b)
dt
Soluções deste conjunto de equações diferenciais acopladas envolvem, obviamente, componentes
oscilatórios nas frequências ±ωl , com
ωl = ckl . (1.35)
d
Ãl (t) = −Ẽl (t) , (1.36a)
dt
d
Ẽl (t) = ωl2 Ãl (t) . (1.36b)
dt
Chama a atenção que estas duas equações (ou equivalente as equações (1.34)) devem formar um
sistema fechado, e que elas não acoplam componentes com diferentes valores de l. Pode parecer
então que o campo eletromagnético foi decomposto em componentes com dinâmicas independentes.
Na verdade, isto não é completamente verdade, já que as componentes de Fourier l e −l estão
conectadas pelas relações (ver equação 1.14)
Vamos ver agora como obter um desacoplamento completo, através do uso de variáveis normais.
dinâmicas reais. Para isso, introduzimos as quantidades (ωl Ãl ∓ iẼl ), que desacoplam as equações
(1.36). Mais precisamente, definimos
1
αl = (1)
(ωl Ãl − iẼl ) , (1.38a)
2El
1
βl = (1)
(ωl Ãl + iẼl ) , (1.38b)
2El
(1)
onde El é uma constante, o valor da qual será definido posteriormente. O sistema (1.36) é então
equivalente a
dαl
+ iωl αl = 0 , (1.39a)
dt
dβl
− iωl βl = 0 . (1.39b)
dt
Invertendo (1.38), obtemos então a evolução mais geral da componente l de Fourier polarizada,
(1)
El
Ãl (t) = [αl (t) + βl (t)] , (1.41a)
ωl
(1)
Ẽl (t) = iEl [αl (t) − βl (t)] , (1.41b)
onde αl (t) e βl (t) são dados por (1.40). A evolução da componente l depende então de quatro
variáveis dinâmicas reais, as partes real e imaginária de αl (t) e βl (t), mas estas variáveis podem ser
associadas em pares (Re{αl }, Im{αl }) e (Re{βl }, Im{βl }) com dinâmicas independentes.
Finalmente, graças ao uso das variáveis normais complexas αl (t) e βl (t), o campo eletromag-
nético livre pode ser expresso como função de pares desacoplados de variáveis dinâmicas reais.
Veremos então que cada αl (t) ou βl (t) é ele próprio um par de variáveis canônicas conjugadas.
Mas primeiro vamos mostrar como variáveis normais podem ser usadas para expandir o campo
livre em modos normais.
Usando as propriedades com relação à troca de sinal de l das várias quantidades na expressão acima,
podemos inverter o sinal de l no segundo termo da soma, levando a
(1)
El
αl (t)eikl ·r + αl∗ (t)e−ikl ·r ,
A(r,t) = ∑ el (1.45)
l ωl
obtemos
(1)
E
Al (r,t) = el l 2|αl | cos (kl · r − ωl t + φl ) , (1.49a)
ωl
(1)
El (r,t) = −el El 2|αl | sin (kl · r − ωl t + φl ) , (1.49b)
(1)
0 El
Bl (r,t) = −el 2|αl | sin (kl · r − ωl t + φl ) . (1.49c)
c
Cada variável normal complexa αl (t), então, corresponde a uma componente do campo expressa
com relação a uma base de ondas planas viajantes monocromáticas polarizadas, com o vetor de
onda kl e polarização el associados. A decomposição do campo em componentes dinamicamente
independentes é chamada de uma decomposição em modos normais, e as ondas planas viajantes
monocromáticas formam um conjunto de modos normais.
com
(1)
E(+) (r,t) = i ∑ el El αl (t)eikl ·r (1.51)
l
e
h i∗
E(−) (r,t) = E(+) (r,t) . (1.52)
Já que α(t) evolui com exp(−iωl t), a quantidade E(+) (r,t) aparece como uma generalização da
amplitude complexa associada com uma quantidade que varia senoidalmente no tempo. É chamada
de sinal analítico, ou campo complexo, ou também ‘a parte de frequência positiva’ de E(r,t).1
onde
1
Z
El (t) = d 3 ru∗l (r) · E(r,t) . (1.55)
V
Obviamente, a necessidade de satisfazer as equações de Maxwell impõe vínculos às funções ul (r),
mas ainda há graus de liberdade que podem ser explorados pela imposição de condições de contorno
nas fronteiras do volume V .
1 Formalmente, E(+) (r,t) pode ser obtida mantendo apenas as frequências positivas da transformada de Fourier
inversa do espectro de E(r,t).
1.4 Hamiltoniano para a radiação livre 19
Em (1.59), os sinais trocados em relação a (1.58) vem dos vetores e0l e e0−l terem sinais opostos,
diferentemente do que ocorre entre el e e−l .
Problema 1.5 Demonstre a equação (1.59).
A energia da radiação é então dada por uma soma simples das energias associadas a cada modo
normal, sem termos cruzados.
A equação de evolução de αl , (1.39a), derivada das equações de Maxwell pode também ser escrita
como
dRe{αl }
= ωl Im{αl } , (1.62a)
dt
dIm{αl }
= −ωl Re{αl } . (1.62b)
dt
Estas equações podem ser identificadas como as equações de Hamilton:
dQl ∂ Hl
= , (1.63a)
dt ∂ Pl
dPl ∂ Hl
=− , (1.63b)
dt ∂ Ql
20 Capítulo 1. Eletrodinâmica Quântica
(1)
Podemos agora usar a liberdade de escolha na definição da constante El para simplificar essas
relações de comutação. Tomando
s
(1) h̄ωl
El = , (1.68)
2ε0V
temos as seguintes relações de comutação, que são o ponto de partida para toda óptica quântica:
[âl , â†l 0 ] = δl,l 0 , (1.69a)
[âl , âl 0 ] = 0 . (1.69b)
1.5 Quantização da radiação 21
As relações de comutação (1.69) são idênticas àquelas dos operadores de criação e aniquilação
de um conjunto de osciladores harmônicos independentes materiais. Iremos então usar todos
os resultados matemáticos relativos a esses operadores derivados para o oscilador harmônico
quântico.
(1)
Problema 1.8 Fazendo αl = 1 e usando as relações (1.49) e (1.56), mostre que El éa
amplitude do campo elétrico clássico com energia igual a um quantum de excitação no modo l
dentro do volume V .
As expressões (1.75) também mostram a decomposição de Â(r) nos dois operadores não-
Hermitianos Â(+) (r) e Â(−) (r), que são Hermitianos conjugados, e de forma semelhante para
Ê(r) e B̂(r) . Os operadores Â(+) (r), Ê(+) (r) e B̂(+) (r) são chamados das partes de frequência
positiva dos operadores de campo. Eles são os correspondentes quânticos associados aos sinais
analíticos clássicos introduzidos na seção (1.3.3).
Não deve surpreender que as variáveis dinâmicas clássicas dependentes do tempo, como E(r,t),
tenham sido trocadas por operadores quânticos que não dependem do tempo. Estamos usando
a representação de Schrödinger da mecânica quântica, na qual geralmente os observáveis não
dependem do tempo, já que a evolução temporal do sistema é descrita através dos vetores de estado.
O estado de mais baixa energia |0l i joga um papel particular, como será enfatizado depois. Note,
por exemplo, que todos os auto-estados |nl i derivam de |0l i pela aplicação de (1.80c) repetidamente,
o que leva a
(â†l )n
|nl i = √ |0l i . (1.81)
n!
Vamos agora abordar a questão dos auto-valores e auto-estados de ĤR . Já que os N̂l são
comutáveis entre si, os auto-estados de ĤR são os produtos tensoriais dos estados |nl i sobre todos os
possíveis modos l, isto é, estados da forma |n1 i ⊗ |n2 i ⊗ · · · ⊗ |nl i · · · , que serão escritos na forma
abreviada |n1 , n2 , . . . , nl , . . .i. Temos então
1
ĤR |n1 , n2 , . . . , nl , . . .i = ∑ nl + h̄ωl |n1 , n2 , . . . , nl , . . .i . (1.82)
l 2
Sua energia EV , que é a energia mínima do campo eletromagnético quantizado, é dada por
1
EV = ∑ h̄ωl . (1.84)
l 2
Note que ela é, na verdade, infinita. Vamos voltar a esse ponto futuramente, mas vale adiantar que
esse fato não leva a inconsistências na teoria. Na verdade, a energia de vácuo é crucial para modelar
corretamente fenômenos importantes. O ponto é que ela não é diretamente observável, mas ela
leva a observáveis que são finitos. Desenvolver técnicas teóricas para lidar de forma consistente
com infinitos desse tipo, obtendo a partir daí observáveis finitos, foi crucial para o avanço da
Eletrodinâmica Quântica em diversas áreas. Essas técnicas são chamadas de “renormalização”. No
curso de Óptica Quântica vamos lidar de forma recorrente com o estado de vácuo, mas não vamos
abordar nenhum problema que requeira a aplicação de procedimentos de renormalização.
Qualquer auto-estado de ĤR pode ser obtido a partir do estado fundamental |0i aplicando algum
produto dos operadores de criação, â†l . Realmente, estendendo (1.81), temos
A equação (1.82) mostra que, comparado com a energia (1.84) do estado fundamental da
radiação |0i, o estado estacionário |n1 , n2 , . . . , nl , . . .i tem uma energia extra:
N̂ = ∑ N̂l , (1.87)
l
onde Cn1 n2 ...nl ... são números complexos arbitrários, a única restrição aqui sendo a condição de
normalização usual hψ|ψi = 1. Cada índice nl pode assumir um número infinito de valores, e
existem infinitamente muitos desses índices. A variedade de possíveis estados do campo eletromag-
nético quantizado é, portanto, enorme. Para enfatizar esse ponto, suponha que consideremos apenas
um número finito M de modos. A radiação clássica é então descrita por M números complexos,
e dizemos que o espaço de estados clássicos tem dimensão M. Consideremos agora a radiação
quantizada, e restrinjamos a um máximo de N fótons por modo. O espaço de estados (1.88) tem
dimensão (N + 1)M , variando exponencialmente com M.
coordenadas, com os vários elétrons nas posições r1 , r2 , r3 , . . . A magnitude dos raios dos elétrons
pode ser estimada pelo raio de Bohr:
4πε0 h̄2
a0 = ≈ 0.5Å = 5 × 10−11 m , (1.89)
me2
onde m é a massa do elétron. Quando consideramos luz visível, estamos falando de frequências
ω = 2π f que vão do violeta ( f ≈ 750 THz, λ ≈ 400 nm) ao infravermelho próximo ( f ≈ 400 THz,
λ ≈ 750 nm). Isto implica em vetores k com módulos k ≈ 107 m−1 e k · r ≈ 0 para um átomo
na origem. Caso o átomo se encontre em uma posição qualquer R, essa condição muda para
k · r ≈ k · R ≡ constante. Isto implica que um átomo individual não é sensível a variações espaciais
da onda eletromagnética, que podem portanto ser desprezadas. Esta é muitas vezes chamada
de “aproximação de comprimento de onda longo”, já que é uma consequência direta de termos
λ >> a0 .
A dinâmica de um átomo induzida pela luz numa determinada posição do espaço é, portanto,
definida apenas, dentro da aproximação acima, pela dinâmica temporal do campo eletromagnético.
Para chegarmos no Hamiltoniano de interação átomo-luz, vamos começar relembrando as equações
de Maxwell microscópicas para os campos eletromagnéticos em um meio qualquer:
ε0 ∇ · E = σ , (1.90a)
∇·B = 0, (1.90b)
∂
∇×E = − B, (1.90c)
∂t
1 ∂
∇ × B = ε0 E + J , (1.90d)
µ0 ∂t
onde σ e J são as densidades de carga e corrente elétrica, respectivamente. Para o átomo acima,
teríamos então
Z
σ (r) = −e ∑ δ (r − rα ) + Zeδ (r) , (1.91a)
α=1
Z
J(r) = −e ∑ ṙα δ (r − rα ) , (1.91b)
α=1
26 Capítulo 1. Eletrodinâmica Quântica
1
Z
δ (r − rα ) = dkeik·(r−rα ) . (1.92)
(2π)3
Por outro lado, vamos lembrar que quando o campo eletromagnético interage com um meio
que macroscopicamente é eletricamente neutro e sem correntes macroscópicas (que é o nosso caso,
com o balanço de cargas no átomo neutro e todas as correntes confinadas a uma pequena região do
espaço), as equações de Maxwell podem ser escritas como [Jac99]:
∇ · De = 0 , (1.93a)
∇·B = 0, (1.93b)
∂
∇×E = − B, (1.93c)
∂t
∂
∇×H = De , (1.93d)
∂t
onde introduzimos o vetor deslocamento elétrico
De = ε0 E + P , (1.94)
1
H= B−M, (1.95)
µ0
Problema 1.9 Prove que as equações (1.97) são soluções da equações (1.96) para as densidades
de carga e corrente dadas nas equações (1.91).
No meio material descrito acima, a energia total Eem nos campos elétrico e magnético fica [Jac99]
1 1
Z Z
Eem = d 3 r E · De + d 3 r H · B = HR +VE +VM , (1.98)
2 2
1.7 Interação átomo-luz 27
onde usamos a definição (1.56) para o Hamiltoniano do campo livre HR , e temos as energias de
interação do átomo nos campos eletromagnéticos transversais E e B dadas, respectivamente, por
Z
VE = d 3 r E(r) · P(r) , (1.99a)
Z
VM = − d 3 r M(r) · B(r) , (1.99b)
onde omitimos a dependência temporal das várias quantidades. Em termos das formas integrais de
P e M, temos
Z 1
VE = −e ∑ dλ E(λ rα ) · rα , (1.100a)
α 0
Z 1
VM = e ∑ dλ (λ rα × ṙα ) · B(λ rα ) . (1.100b)
α 0
1 3 3 ∂ Bi
∑ ∑ ∑(lα )i (r j )α ∂ r j (0)
3 i=1
para a energia potencial magnética .
j=1 α
Podemos então definir os momentos de quadrupolo elétrico QE e magnético QM como tensores, tal
que
1
(QE )i j = − e(ri )α (r j )α , (1.105a)
2∑α
2 e
(QM )i j = − ∑ (lα )i (r j )α . (1.105b)
3! α m
Em termos dos seus vários momentos, VE e VM ficam então
3 3
∂ Ei
VE = −eD · E(0) + ∑ ∑ (QE )i j (0) + · · · , (1.106a)
i=1 j=1 ∂rj
3 3
∂ Bi
VM = eDM · B(0) − ∑ ∑ (QM )i j (0) + · · · . (1.106b)
i=1 j=1 ∂rj
A partir dessas expressões e substituindo os valores das várias quantidades envolvidas, podemos
estimar
eDM · B(0)
≈ 4 × 10−3 ,
eD · E(0)
∑3i=1 ∑3j=1 (QE )i j ∂∂ Er ji (0)
≈ 2 × 10−3 ,
eD · E(0)
∑3i=1 ∑3j=1 (QM )i j ∂∂ Br ji (0)
≈ 10−5 ,
eD · E(0)
Vemos então que os termos de quadrupolo elétrico e dipolo magnético são da mesma ordem, mas
ambos muito menores que o termo de dipolo elétrico. Os outros termos da expansão multipolar
são todos progressivamente menores. Como exemplo, estimamos acima o termo de quadrupolo
magnético, verificando que é realmente muito menor que os termos de quadrupolo elétrico ou
magnético.
A partir da discussão acima, vemos que podemos aproximar
ou seja, a energia potencial de interação V de um átomo com o campo eletromagnético da luz pode
ser bem aproximada mantendo apenas o termo de dipolo elétrico:
Notem que o termo de dipolo elétrico é proporcional ao vetor posição. Ele dará origem então a
um operador com paridade ímpar, conectando níveis de energia atômicos com funções de onda de
paridade opostas. Esta é a situação mais comum para a excitação de átomos por campos luminosos.
No entanto, é possível excitar o átomo em condições que suprimam a interação do tipo dipolo
elétrico. A principal condição em que isso ocorre é quando se quer induzir transições entre níveis
de mesma paridade. Como os termos de quadrupolo elétrico e dipolo magnético têm paridade par,
eles podem prevalecer nesse processo.
onde ĤA e ĤR são os Hamiltonianos para átomo e campo livres, respectivamente, e r é o vetor
posição do elétron no átomo. Temos assim
Finalmente, para o termo de interação, vamos primeiro reescrever o operador dipolo elétrico na
base de auto-estados de energia do átomo:
! !
er = ∑ |iihi| er ∑ | jih j| = ∑ ti j |iih j| , (1.112)
i j i, j
com
ti j = hi|er| ji (1.113)
sendo um elemento da matriz de transição de dipolo elétrico. O operador campo elétrico na equação
(1.109) é dado então pela expressão (1.75b):
h i
(1)
Ê(r0 ) = i ∑ el El âl eikl ·r0 − â†l e−ikl ·r0 , (1.114)
l
com r0 a posição do centro de massa do átomo no espaço. O Hamiltoniano total átomo-luz fica,
portanto,
h i
Ĥ = ∑ h̄ωl â†l âl + ∑ Ei |iihi| + ∑ ∑ h̄|iih j| âl gil j + â†l (gil j )∗ , (1.115)
l i i, j l
onde
(1)
ti j · el El
gil j = −i eikl ·r0 . (1.116)
h̄
Na equação (1.115) omitimos ainda a energia de ponto-zero do primeiro termo, pois este implica
em um nível constante de energia.
Ĥ = Ĥ0 + V̂ , (1.117)
e do potencial de interação V̂ ,
h i
V̂ = ∑ ∑ h̄|iih j| âl gil j + â†l (gil j )∗ . (1.119)
i, j l
onde usamos
Ei − E j
ωi j = (1.123)
h̄
e
† †
eiωl âl âl t âl e−iωl âl âl t = âl e−iωl t . (1.124)
α2
eα Â B̂e−α Â = B̂ + α[Â, B̂] + [Â, [Â, B̂]] + · · ·
2!
Da mudança de paridade requerida pela interação de dipolo elétrico, temos giil = 0 para todo i.
Podemos então reescrever (1.122) como
h i
V̂I = h̄ ∑ ∑ ∑ eiω i j t |iih j| + e−iω i j t | jihi| âl e−iωl t gil j + â†l eiωl t (gil j )∗ , (1.125)
j i> j l
onde consideramos um ordenamento de estados atômicos nas somas tal que Ei > E j e, portanto,
ωi j > 0. Lembrando que ωl > 0, cada termo dos somatórios em j, i e l (com Ei > E j ) possui então
quatro partes, com duas oscilando com a diferença de frequências (ωi j − ωl ) e duas oscilando com
a soma (ωi j + ωl ). Em situações típicas, temos (ωi j + ωl ) >> (ωi j − ωl ) e poderemos desprezar
os termos dependentes de (ωi j + ωl ). Esta é chamada de aproximação de onda girante, que deixa o
potencial (1.125) na forma
h i
V̂I = h̄ ∑ ∑ ∑ ei(ω i j −ωl )t gil j âl |iih j| + e−i(ω i j −ωl )t (gil j )∗ â†l | jihi| . (1.126)
j i> j l
Nesse curso, nos concentraremos apenas em situações em que vale a aproximação de onda girante,
pois queremos introduzir os fenômenos essenciais e mais comumente encontrados na interação do
átomo com o campo quantizado.
Tipicamente, essa é uma aproximação excelente. Primeiro, note que os dois fatores que
restaram nos termos dos somatórios de (1.126) são tais que os operadores de destruição e criação
de fótons estão acompanhados por operadores de levantamento e rebaixamento, respectivamente,
da energia atômica. Isto quer dizer que os fatores que restaram mais proximamente conservam
energia individualmente. Os fatores que foram eliminados combinavam destruição de fótons com
rebaixamento da energia atômica e vice-versa, isto é, criação de fótons com levantamento da energia
32 Capítulo 1. Eletrodinâmica Quântica
do átomo. Assim, os termos eliminados conservam energia apenas quando em combinação com
outros termos, ou seja, tipicamente em ordens mais altas da interação.
Segundo, de uma forma mais quantitativa, note ainda que integrações temporais sobre termos
oscilando com frequência ω resultam em soluções com denominadores da ordem de ω. Assim, os
fatores oscilando com (ω i j − ωl ) resultam em probabilidades de transição maiores que os fatores
oscilando com (ω i j + ωl ) por quantidades da ordem de (ω i j − ωl )/(ω i j + ωl ). Na região do visível,
envolvendo frequências de centenas de THz, temos tipicamente (ω i j + ωl ) ≥ 2π × (100 THz) e
(ω i j − ωl ) < 2π × (10 GHz), o que resulta em (ω i j − ωl )/(ω i j + ωl ) < 10−4 . A aproximação de
onda girante é usada comumente em todas as regiões do espectro, como, por exemplo, na região
de radio-frequências (MHz-GHz). No entanto, quanto menor a frequência mais cuidado é preciso
em sua aplicação. No regime de pulsos ultra-curtos, com larguras de banda da ordem de uma
oscilação óptica, também precisamos ter cuidado. Na região óptica, uma oscilação da luz ocorre
em ≈ 1 fs. Pulsos com durações muito menores que 10 fs nessa região, portanto, têm diferenças em
suas componentes espectrais já próximas de sua frequência média.
Finalmente, voltando à estrutura formal da representação de interação, vamos obter a equação
que determina a evolução temporal dos estados na representação de interação. Derivando no tempo
os dois lados da equação (1.120) e usando a equação de Schrödinger no lado direito, obtemos
∂ ∂ iĤ0t/h̄ iĤ0 t/h̄ iĤ0 t/h̄ ∂
ih̄ |ψiI = ih̄ e |ψi = −Ĥ0 e |ψi + e ih̄ |ψi
∂t ∂t ∂t
= −Ĥ0 eiĤ0t/h̄ |ψi + eiĤ0t/h̄ (Ĥ0 + V̂ )|ψi
= eiĤ0t/h̄V̂ e−iĤ0t/h̄ eiĤ0t/h̄ |ψi
e, assim,
∂
ih̄ |ψiI = V̂I |ψiI . (1.127)
∂t
A dinâmica temporal do estado na representação de interação depende então apenas do potencial de
interação. Com isso, descontamos da evolução temporal das amplitudes de probabilidade toda a
oscilação rápida com as auto-energias dos estados, o que comumente facilita a descrição teórica da
evolução temporal do sistema como um todo.
com
(1)
µab El
gl = , (1.130)
h̄
e µab = tba · el o momento de dipolo elétrico da transição a → b. Para um átomo de dois níveis,
podemos considerar µab uma constante real. Para átomos de vários níveis, é possível haver fases
1.8 Emissão espontânea: Teoria de Weisskopf-Wigner 33
relativas entre os momentos de dipolo elétrico que requeiram uma descrição dessas quantidades
como números complexos. No entanto, quando consideramos apenas uma transição, uma fase
complexa do momento de dipolo implica apenas em uma fase global constante na dinâmica
determinada pela equação (1.127) e pode, portanto, ser considerada nula sem perda de generalidade.
O potencial (1.128) pode então ser escrito como
h i
V̂I = −i ∑ h̄gl ei[(ω ba −ωl )t+kl ·r0 ] âl |biha| − e−i[(ω ba −ωl )t+kl ·r0 ] â†l |aihb| . (1.131)
l
A quantidade gl tem unidade de frequência angular (rad/s) e é muitas vezes chamada de constante
(1)
de acoplamento. Lembrando que El dá o campo elétrico gerado por um fóton no modo l, ela
determina a força da interação por fóton entre a transição atômica a → b e o modo l do campo
eletromagnético. A força total da interação dependerá, obviamente, também do estado da luz, que
fornece o número de fótons nl em cada modo l.
com |a, 1l i indicando o estado com o átomo no estado fundamental |ai, um fóton no modo l e
nenhum fóton nos demais modos. As condições iniciais completas ficam então
∂ cb (t) i
= − hb, 0|V̂I |ψ(t)iI
∂t h̄
= − ∑ gl ei[(ω ba −ωl )t+kl ·r0 ] ca,l , (1.135a)
l
∂ ca,l (t) i
= − ha, 1l |V̂I |ψ(t)iI
∂t h̄
= gl e−i[(ω ba −ωl )t+kl ·r0 ] cb (t) . (1.135b)
onde usamos o fato de que ca,l (0) = 0. Substituindo (1.136) em (1.135a), obtemos
Z t
∂ cb 0
= − ∑ g2l dt 0 e−i(ω ba −ωl )(t−t ) cb (t 0 ) . (1.137)
dt l 0
Até aqui nenhuma aproximação foi feita. A partir daqui é que faremos aproximações considerando
a distribuição de modos do vácuo.
Assumindo que os modos do campo são proximamente espaçados em frequência, a soma em l
pode ser substituída por uma integral:
2 Z
∑→ ∑ dkρk , (1.138)
l s=1
onde ρk é a densidade de estados no espaço dos vetores k. As componentes de k são dadas por
ki = 2πni /L, com i = 1, 2, 3. Isto implica que há apenas um estado no volume (2π)3 /V , ou seja,
ρk = V /(2π)3 . Substituindo a expressão para ρk e passando para coordenadas esféricas, obtemos
2 Z 2π
V
Z ∞ Z π
∑→ ∑ k2 dk sin θ dθ dφ . (1.139)
l (2π)3 s=1 0 0 0
(1)
Assim, usando a definição de El e escrevendo explicitamente cada l em termos das três compo-
nentes de k e da polarização s, temos
2
(tba · ek,s )2 h̄ωk
Z 2π
V
Z ∞ Z π
∑ g2l = ∑
(2π)3 s=10 0
k2 dk
0
sin θ dθ
h̄2 2ε0V
dφ
l
Z 2π
1
Z ∞ Z π
ωk k2 dk dφ (tba · ek,1 )2 + (tba · ek,2 )2 .
= 3
sin θ dθ (1.140)
2ε0 h̄(2π) 0 0 0
Temos que qualquer conjunto (k̂, ek,1 , ek,2 ), com k̂ = k/k, forma uma base para o espaço tridimen-
sional (ver figura 1.1), de modo que podemos escrever
tba = (tba · k̂)k̂ + (tba · ek,1 )ek,1 + (tba · ek,2 )ek,2 , (1.141)
e, portanto,
(tba · ek,1 )2 + (tba · ek,2 )2 = |tba |2 − (tba · k̂)2 = |tba |2 (1 − cos2 θ ) , (1.142)
1.8 Emissão espontânea: Teoria de Weisskopf-Wigner 35
onde tomamos o eixo das coordenadas esféricas das integrais na mesma direção de tba para definir
os ângulos θ e φ . Substituindo (1.142) em (1.140) e lembrando que ωk = ck:
|tba |2
Z ∞ Z π Z 2π
∑ g2l = ωk3 dωk 2
sin θ (1 − cos θ )dθ dφ
l 2ε0 h̄(2π)3 c3 0 0 0
|tba |2
Z ∞
= ωk3 dωk . (1.143)
6ε0 h̄π 2 c3 0
|tba |2
Z t
∂ cb
Z ∞
0
=− ωk3 dωk dt 0 e−i(ω ba −ωk )(t−t ) cb (t 0 ) . (1.144)
dt 6ε0 h̄π 2 c3 0 0
A integral no tempo na equação (1.144) levará a valores desprezíveis a não ser que ωk ≈ ωba . Em
torno desse valor, ωk3 não varia muito e pode ser igualado a ωba3 e tirado da integral. O limite
inferior da integral em ωk também pode ser formalmente extendido para −∞. Assim, a equação
(1.144) fica
|tba |2 ωba
3 Z t
∂ cb
Z ∞
0 0 0
=− dt cb (t ) dωk e−i(ω ba −ωk )(t−t ) . (1.145)
dt 6ε0 h̄π 2 c3 0 −∞
Como o vácuo tem uma banda espectral muito larga, a integração sobre ela leva a uma delta no
tempo. Na prática isso implica que o sistema não tem memória, e a evolução imediata de cb (t) (dada
por sua derivada) depende apenas do estado do sistema no próprio instante t. O átomo se comporta
então como um sistema Markoviano, no que diz respeito ao decaimento do estado excitado. A
solução aproximada acima, explicitando a natureza Markoviana da emissão espontânea, é chamada
de aproximação de Weisskopf-Wigner. Substituindo o resultado acima em (1.145), obtemos
|tba |2 ωba
3 Z t
∂ cb
=− dt 0 cb (t 0 )δ (t − t 0 ) , (1.147)
dt 3ε0 h̄πc3 0
ou simplesmente
∂ cb Γ
= − cb (t) , (1.148)
dt 2
com
1 4|tba |2 ωba
3
Γ= , (1.149)
4πε0 3h̄c3
a taxa de emissão espontânea do estado excitado. Segue que a probabilidade de encontrar o átomo
em |bi em um instante t > 0, é
Mostramos então que um átomo inicialmente no estado excitado |bi no vácuo decai exponencial-
mente no tempo para o estado |ai, com o tempo de vida de 1/Γ.
2. Flutuações e coerência na luz clássica
A média em ensemble
Como x não depende de t de forma determinística, podemos apenas descrever seus valores estatisti-
camente, através de alguma distribuição de probabilidade ou densidade de probabilidade. Para todo
valor de t, x(t) é uma variável aleatória em algum domínio, com densidade de probabilidade p[x(t)]
ou p(x,t). Depois de integrar sobre o domínio, temos
Z
p(x,t)dx = 1 , (2.1)
como usual para uma densidade de probabilidade. A totalidade de todas as variações de x em todos
os tempos t constitui um processo aleatório x(t). Podemos calcular o valor esperado de x no tempo
t usando a densidade de probabilidade p(x,t),
Z
hx(t)i = xp(x,t)dx . (2.2)
1 N (r)
hx(t)i = lim ∑ x(t) . (2.3)
N→∞ N
r=1
de probabilidade conjunta de x, y no tempo t. A média de z(t) pode ser calculada de p(z,t) por uma
generalização óbvia da equação (2.2), que podemos escrever como
Z
hz(t)i = zp(z,t)d 2 z , (2.4)
com d 2 z = dxdy. Esta quantidade é novamente equivalente a uma média sobre o ensemble de todas
as realizações (r) z(t),
1 N (r)
hz(t)i = lim ∑ z(t) . (2.5)
N→∞ N
r=1
A densidade de probabilidade p2 (x2 ,t2 ; x1 ,t1 ) contém toda a informação carregada por p(x,t), que
também pode ser escrita como p1 (x,t), além de nova informação, por conta de termos, a partir da
40 Capítulo 2. Flutuações e coerência na luz clássica
A quantidade Γ(t1 ,t2 ) ≡ hx(t1 )x(t2 )i é conhecida como a função de autocorrelação (de dois
tempos) do processo aleatório x(t). Depois da média hx(t)i, ela é a próxima quantidade em ordem
de importância na descrição do processo aleatório, porque fornece informação sobre quão longe as
correlações se estendem no tempo. Apesar de p2 (x2 ,t2 ; x1 ,t1 ) conter mais informação que p1 (x1 ,t1 ),
ela ainda não nos permite calcular alguns valores esperados, como, por exemplo, uma função de
correlação de três tempos como hx(t1 )x(t2 )x(t3 )i, para a qual a densidade de probabilidade conjunta
de três tempos p3 (x3 ,t3 ; x2 ,t2 ; x1 ,t1 ) é necessária. Evidentemente, existe uma hierarquia infinita de
densidades de probabilidade,
p1 (x,t)
p2 (x2 ,t2 ; x1 ,t1 )
p3 (x3 ,t3 ; x2 ,t2 ; x1 ,t1 )
···
pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 ) ,
cada uma das quais contém mais informação que a precedente, e cada uma das quais engloba toda
informação contida nas precedentes. pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 )dx1 dx2 . . . dxn é a probabilidade
conjunta de ordem n de que no tempo t1 a variável aleatória tenha um valor entre x1 e x1 + dx1 ,
de que no tempo t2 ela tenha um valor entre x2 e x2 + dx2 , etc. A densidade de probabilidade
pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 ) deve satisfazer a relação de consistência
Z
pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 )dxk+1 dxk+2 . . . dxn = pk (xk ,tk ; xk−1 ,tk−1 ; . . . ; x1 ,t1 ) , (2.8)
para qualquer inteiro k < n. O tempo t j associado com a variável x j desaparece então quando
variamos sobre todos x j . Também pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 ) é simétrica nas variáveis, o que
implica que
pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 ) = pn ∏[xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 ] , (2.9)
onde ∏ representa qualquer permutação dos índices 1 a n. Uma vez que pn é conhecida, ela pode
ser usada para calcular uma correlação multi-temporal de ordem n [ou de ordem menor que n com
ajuda da equação (2.8)]:
Z
hx(t1 )x(t2 ) . . . x(tn )i = x1 x2 . . . xn pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 )dx1 dx2 . . . dxn . (2.10)
No geral, funções de correlação de ordem mais alta de um processo aleatório contém progressiva-
mente mais informação, da mesma forma que pn contém mais informação que pn−1 . Uma exceção
a isso é o caso de um processo aleatório Gaussiano, para o qual, por conta do teorema do momento
Gaussiano [Man95], temos que a função de correlação de ordem n de um processo x(t) com média
zero é
hx(t1 )x(t2 ) . . . x(tn )i = 0 se n é ímpar .
= ∑ hx(t1 )x(t2 )ihx(t3 )x(t4 )i . . . hx(tn−1 )x(tn )i se n é par .
pares possíveis
(2.11)
Neste caso, a função de correlação de segunda ordem já contém toda informação sobre as correlações
de ordens mais altas.
2.1 Processos estocásticos e funções de correlação 41
pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 ) = pn (xn ,tn +T ; xn−1 ,tn−1 +T ; . . . ; x1 ,t1 +T ) , para todo T . (2.12)
Nessas condições, o valor esperado de qualquer função de x(t1 ), x(t2 ), . . . é também invariante por
qualquer translação no tempo, ou seja,
É claro a partir da equação (2.12) que p1 (x,t) não pode depender de t de todo para um processo
estacionário, nem pode o valor esperado hx(t)i. Pois, escolhendo n = 1 e T = −t, temos
pn (xn ,tn ; xn−1 ,tn−1 ; . . . ; x1 ,t1 ) = pn (xn ,tn − t1 ; xn−1 ,tn−1 − t1 ; . . . ; x1 , 0) , (2.15)
de modo que as probabilidades conjuntas pn podem ser expressas como funções apenas das
diferenças entre um dos n argumentos temporais e os restantes n − 1 argumentos temporais. Em
particular, para a função de autocorrelação obtemos
Z
Γ(t1 ,t2 ) = hx(t1 )x(t2 )i = x1 x2 p2 (x2 ,t2 ; x1 ,t1 )dx1 dx2
Z
= x1 x2 p2 (x2 ,t + t2 − t1 ; x1 ,t)dx1 dx2
= hx(t)x(t + t2 − t1 )i (2.16)
42 Capítulo 2. Flutuações e coerência na luz clássica
para todos os valores de t, o que depende apenas da diferença entre os dois tempos no argumento.
Assim, Γ(t1 ,t2 ) é frequentemente escrita como Γ(t2 − t1 ). Trocando t na equação (2.16) por
t − t2 + t1 , observamos que Γ(t2 − t1 ) é simétrica, isto é, que
Γ(t2 − t1 ) = Γ(t1 − t2 ) (2.17)
para um processo estacionário real. De forma mais geral, podemos ver por um argumento seme-
lhante ao usado na derivação de (2.16) que, para a função de correlação de ordem N de um processo
estacionário aleatório, temos
Γ(N) (t1 ,t2 , . . . ,tN ) ≡ hx(t1 )x(t2 ) . . . x(tN )i = hx(t1 + T )x(t2 + T ) . . . x(tN + T )i (2.18)
para todo T . No entanto, correlações de ordem mais alta são encontradas com menos frequência.
Quando apenas a média hx(t)i e a função de correlação de segunda ordem Γ(t1 ,t2 ) são de
interesse, uma forma mais fraca de estacionaridade é comumente invocada. Especificamente
quando x(t) é tal que sua média hx(t)i é independente de t e sua função de autocorrelação Γ(t1 ,t2 )
dependem de t1 e t2 apenas através da diferença dos dois argumentos temporais, o processo é dito
ser estacionário no sentido amplo.
Se ao invés de um processo aleatório real x(t), tivermos um processo aleatório complexo z(t), a
função de correlação Γ(t1 ,t2 ) é definida pela equação
Z
∗
Γ(t1 ,t2 ) = hz (t1 )z(t2 )i = z∗1 z2 p2 (z2 ,t2 ; z1 ,t1 )d 2 z1 d 2 z2 . (2.19)
Neste caso, quando o processo é estacionário, pelo menos no sentido amplo, hz(t)i é independente
de t, Γ(t1 ,t2 ) ≡ Γ(t2 − t1 ) e obedece à condição de Hermiticidade
Γ(t2 − t1 ) = Γ∗ (t1 − t2 ) , (2.20)
ao invés da condição de simetria (2.17).
A média temporal de um processo estacionário
Até aqui a média, ou valor esperado, tem sido calculado pela média sobre o ensemble de realizações.
No entanto, algumas vezes dispomos de apenas uma única realização do ensemble, digamos a
k-ésima (k) z(t), e se quer determinar a média sobre um certo intervalo de tempo T , ou talvez sobre
todos os tempos. Vamos definir a média de tempo finito da k-ésima realização de um processo
estacionário aleatório z(t), que pode ser complexo, por
Z t+T /2
1
(k)
[ z(t)]T ≡ (k)
z(t 0 )dt 0 . (2.21)
T t−T /2
Então [(k) z(t)]T é ela própria um processo aleatório, e pode-se esperar que suas flutuações fiquem
menores a medida que T cresce. Quando T → ∞, a equação (2.21) fornece a média temporal de
(k) z(t)
Z t+T /2
1
(k) z ≡ lim (k)
z(t 0 )dt 0 , (2.22)
T →∞ T t−T /2
que não mais depende de t ou T , mas em geral depende da realização particular k que escolhemos
do ensemble. Em princípio, podem existir tantas médias temporais diferentes quanto elementos do
ensemble.
De forma mais geral, se estamos interessados em correlações multi-temporais, tal como a média
de z∗ (t)z(t + τ), por exemplo, simplesmente construímos um novo processo aleatório Z(t) a partir
de z(t) fazendo
(k)
Z(t) = (k) z∗ (t)(k) z(t + τ) (2.23)
2.1 Processos estocásticos e funções de correlação 43
para cada realização k. Podemos então perguntar as mesmas questões sobre (k) Z(t) que acabamos
de perguntar sobre (k) z(t). Por exemplo, podemos calcular a média temporal de (k) Z(t) e compará-la
com a média em ensemble. Uma vez mais, encontramos que a média temporal
Z t+T /2
1
(k) Z ≡ lim (k)
Z(t 0 )dt 0 (2.24)
T →∞ T t−T /2
1 t+T /2 (k) 0
Z
h[(k) z(t)]T i = h z(t )idt 0
T t−T /2
1 t+T /2
Z
= hzidt 0
T t−T /2
= hzi , (2.25)
de modo que a média em ensemble de [(k) z(t)]T coincide com a média em ensemble do processo
aleatório z(t) para todo T . Em seguida calculamos a dispersão de [(k) z(t)]T :
variar entre −T e T , e a região com τ constante a ser integrada é uma linha de comprimento l.
Podemos então escrever
1 +T
Z Z l dl 0
h|∆[(k) z(t)]T |2 i = dτ[Γ(τ) − |hzi|2
] √
T 2 −T 0 2
Z +T
1 l
= 2 dτ[Γ(τ) − |hzi|2 ] √ , (2.29)
T −T 2
0
√
√ linha l através de dt1 = dl / 2. Por considerações
onde obtivemos o diferencial ao longo da
puramente geométricas, ficamos com l = 2(T − |τ|). Usando este resultado, obtemos
1 +T
|τ|
Z
(k) 2 2
h|∆[ z(t)]T | i = dτ[Γ(τ) − |hzi| ] 1 −
T −T T
Z +T
1
≤ dτ|Γ(τ) − |hzi|2 | (2.30a)
T −T
1 +∞
Z
∴ h|∆[(k) z(t)]T |2 i ≤ dτ|Γ(τ) − |hzi|2 | . (2.30b)
T −∞
Evidentemente, com o aumento de T , a dispersão [(k) z(t)]T tende a zero sempre que a integral é
finita. Mas quando T → ∞, [(k) z(t)]T se torna a média temporal (k) z. Segue que (k) z coincide com a
média em ensemble hzi sempre que
Z +∞
dτ|Γ(τ) − |hzi|2 | < ∞ . (2.31)
−∞
Esta condição é suficiente para as duas médias serem iguais, apesar de não ser necessária, e uma
condição mais fraca mas menos conveniente pode ser obtida da equação (2.30a). No entanto,
a condição (2.31) ainda não assegura que o processo z(t) é ergódico no sentido completo, por
exemplo que a média temporal de outro processo Z(t) ≡ z∗ (t)z(t + τ), construído a partir de z(t), é
igual à média em ensemble de Z(t). Para isso, precisaríamos calcular a função de auto-correlação de
Z(t) e aplicar o mesmo teste para o processo aleatório Z(t). No geral, uma infinidade de diferentes
critérios é necessária para assegurar a ergodicidade completa do processo aleatório z(t). No entanto,
para o caso especial de um processo aleatório Gaussiano, para o qual todas as correlações são
expressas em termos de correlações de segunda ordem, o critério expresso por (2.31) é suficiente
para ergodicidade completa. Mesmo assim, neste último caso, também precisaríamos garantir
que o processo é Gaussiano, o que muitos vezes requer ainda análises das ordens mais altas das
correlações.
A condição (2.31) tem uma interpretação física simples. Já que ∆z = z(t)−hz(t)i e h∆z∗ (t)∆z(t +
τ)i = Γ(τ) − |hzi|2 , vemos que a integral é finita se h∆z∗ (t)∆z(t + τ)i tender a zero fuficientemente
rápido a medida que τ → ∞. Em outras palavras, ergodicidade vale se as correlações do processo
aleatório morrem de forma suficientemente rápidas no tempo. Neste caso, uma tomada de dados
suficientemente longa de uma única realização (k) z(t) do processo aleatório pode ser dividida
em seções de comprimento mais curto que são descorrelacionadas, de modo que um ensemble
pode ser construído de uma única realização. A média sobre esse ensemble então é igual à média
sobre o tempo, porque uma única realização longa o suficiente já contém toda informação sobre
o ensemble. Se o processo é estacionário e ergódico, todas as realizações do processo aleatório
parecem semelhantes e diferem apenas em detalhes.
Finalmente, apontamos que, apesar de a condição individual (2.31) não garantir ergodicidade
do processo z(t), em geral, se a integral na equação (2.31) diverge, então o processo z(t) não é
ergódico, mesmo com a possibilidade de (k) z = hzi não ser descartada.
2.1 Processos estocásticos e funções de correlação 45
Figura 2.4: Configuração geométrica para calcular o peso de cada τ devido à restrição
da região de integração em t1 na equação (2.28).
que implica que |Γ(τ)| não pode nunca exceder seu valor inicial Γ(0), apesar de poder cair
abaixo de Γ(0) e depois retornar a Γ(0).
(d) Γ(τ) é uma função não-negativa definida.
Para estabelecer essa propriedade, usamos o fato de que para qualquer inteiro positivo N, para
qualquer N argumentos de tempo t1 ,t2 , . . . ,tN e para qualquer N números reais ou complexos
a1 , a2 , . . . , aN , temos necessariamente
* 2 +
N
∑ ai z(ti ) ≥ 0 ,
i=1
Γ(τ)
γ(τ) = , (2.33)
Γ(0)
é equivalente, em sua estrutura matemática, a uma função característica [Man95]. Isto acontece
porque γ(0) = 1 e γ(τ), da mesma forma que Γ(τ), é não-negativa definida, Como consequência,
a transformada de Fourier de γ(τ) tem todas as propriedades de uma densidade de probabilidade.
Como veremos logo, a transformada de Fourier da função não-normalizada Γ(τ) tem também um
significado físico importante.
e vamos assumir que a integral exista e possa ser invertida, isto é, que
1
Z ∞
z̃(ω) = z(t)eiωt dt . (2.35)
2π −∞
Podemos então tentar definir o espectro S(ω) de z(t) pelo valor esperado de |z̃(ω)|2 , isto é,
de modo que S(ω) seria uma medida da força das flutuações associadas com uma componente de
Fourier em particular de z(t). No entanto, considerações simples mostram que a definição (2.36)
é matematicamente pouco sólida. Se z(t) é um processo aleatório estacionário, ele não tende a
zero com t → +∞ e −∞, pois as densidades de probabilidade que caracterizam as flutuações de
z(t) são invariantes com respeito à translação da origem temporal [ver equação (2.12)]. Assim, no
sentido estatístico, z(t) não pode se comportar diferentemente para grandes valores de |t| em relação
a nenhum outro valor de t. Consequentemente, z(t) não é nem quadraticamente integrável nem
absolutamente integrável e, portanto, a integral de Fourier (2.34) não existe dentro do arcabouço da
teoria de funções ordinárias.
Essa dificuldade foi superada por Wiener, em 1930 [Wie30], que considerou uma ampla classe
de funções z(t) para as quais a integral
Z T
1
Γ(τ) = lim z∗ (t)z(t + τ)dt (2.37)
T →∞ 2T −T
2.1 Processos estocásticos e funções de correlação 47
existe. Tais funções evidentemente não precisam tender a zero a medida que T → ±∞. Wiener
mostrou que a quantidade
1
Z ∞
S(ω) ≡ Γ(τ)eiωτ dτ , (2.38)
2π −∞
também existe. A função S(ω) pode ser identificada com o espectro ou, mais precisamente, com
a densidade espectral, também chamada o espectro de potência, de z(t). Apesar da equação
(2.38) aparentar não ter nenhuma semelhança com a fórmula (2.36) através da qual introduzimos o
espectro heuristicamente, devemos logo ver que a identificação da integral à direita de (2.38) com a
densidade espectral do processo aleatório z(t) é bem apropriada.
A análise de Wiener se referia a uma única função z(t), ao invés de a um ensemble de funções,
e ele não empregou nenhum conceito estatístico na sua análise. No entanto, quando se lida com um
ensemble estacionário e ergódico de funções aleatórias, pode-se trocar a função de auto-correlação
definida pela média temporal (2.37), pela função de auto-correlação
definida com uma média em ensemble, pois as duas médias são então iguais. Quatro anos após a
publicação de Wiener, Khintchine chegou em resultado semelhante por um outro caminho [Khi34].
Vamos agora identificar porque a integral na equação (2.38) pode ser identificada com a
densidade espectral. Para isso, usaremos novamente as relações de transformada de Fourier (2.34)
e (2.35), tomando-as agora como fórmulas simbólicas as quais, como notado acima, pode ser
atribuído um significado matemático rigoroso, se formos além da teoria de funções ordinárias.
Para cada realização (k) z(t) do processo aleatório estacionário, a transformada (2.35) irá gerar
uma realização (k) z̃(ω) e assim (k) z̃(ω) é evidentemente também um processo aleatório, no qual a
frequência é o parâmetro ao invés do tempo. Vamos agora considerar o valor esperado, ou média
em ensemble, do produto z̃∗ (ω)z̃(ω 0 ). Da equação (2.35) temos, se trocarmos as operações de
média e integração, que
+∞
1
ZZ
0 0
hz̃∗ (ω)z̃(ω 0 )i = hz∗ (t)z(t 0 )iei(ω t −ωt) dtdt 0 . (2.40)
(2π)2
−∞
onde
1
Z ∞
S(ω) = Γ(τ)eiωτ dτ . (2.44)
2π −∞
Deve-se notar a semelhança entre essa expressão para a densidade espectral e a definição ingênua
(2.35). Podemos considerar a fórmula (2.43) como definindo a densidade espectral ou espectro
de potência S(ω) de um processo aleatório estacionário z(t). A expressão (2.44) para a densidade
espectral é vista como estando em acordo com a fórmula (2.38) (interpretada livremente) baseada
na teoria de Wiener, dado que a função z(t) na definição (2.37) de Wiener para Γ(τ) seja tomada
como uma realização de um processo aleatório estacionário e ergódico.
A fórmula (2.44), junto com sua inversa
Z ∞
Γ(τ) = S(ω)e−iωτ dω , (2.46)
−∞
são geralmente conhecidas como o teorema de Wiener-Khinchine. Enunciado de forma mais explí-
cita, o teorema assegura que a função de auto-correlação de um processo aleatório estacionário e
a densidade espectral (ou espectro de potência) do processo formam um par de transformadas de
Fourier.
Singularidades da densidade espectral
A densidade espectral S(ω), definida pela equação (2.43), pode conter singularidades de funções
delta se a média do processo estocástico não for zero ou se z(t) contiver componentes oscilatórias.
Para ilustrar como as singularidades surgem, começamos considerando um processo aleatório
estacionário e ergódico z0 (t) de média zero, que satisfaz a condição (2.31) de ergodicidade. Esta
condição assegura que a função de auto-correlação Γ0 (τ) de z0 (t) é absolutamente integrável. Sua
transformada de Fourier S0 (ω) então existe e é uma função contínua de ω. Esta última característica
pode ser vista da seguinte forma. Da equação (2.44), temos
Z
1 ∞ i(ω+δ ω)τ iωτ
|S0 (ω + δ ω) − S0 (ω)| = Γ 0 (τ)[e − e ]dτ
2π −∞
1 ∞ 1
Z
≤ |Γ0 (τ)| sin (δ ω)τ dτ , (2.47)
π −∞ 2
e o lado direito tende a zero a medida que δ ω → 0 para todo ω. Por outro lado, se as correlações
de z(t) morrem gradualmente, mas tão lentamente que Γ(τ) não é absolutamente integrável, então
S(ω) pode conter singularidade de função delta. Para ilustrar uma situação desse tipo, considere um
processo aleatório estacionário z(t) que difere de z0 (t) apenas por uma constante, que é obviamente
a média hzi. Então a função de auto-correlação Γ(τ) de z(t) se relaciona com Γ0 (τ) por
Segue da absoluta integrabilidade de Γ0 (τ) que Γ(τ) − |hzi|2 também é absolutamente integrável,
e que o processo z(t) é ergódico, mas evidentemente Γ(τ) não é absolutamente integrável. Se
tomarmos a transformada de Fourier de ambos os lados da equação (2.48) e usarmos a equação
(2.44), obtemos, para a densidade espectral S(ω) de z(t),
onde δ (ω) é a função delta de Dirac. Por conta da média não-zero do processo z(t), a densidade
espectral tem agora uma singularidade de função delta na frequência zero.
2.1 Processos estocásticos e funções de correlação 49
Para estudarmos as flutuações de um sinal estocástico, é comum termos então que remover tais
singularidades do sinal, e separar a aquisição da média da aquisição da parte flutuante do sinal. No
caso da fotodetecção, essa operação é comumente realizada no próprio detector (ver figura 2.5)
através da passagem do sinal por um filtro DC, ou passa-alta, que bloqueia as componentes de
baixa frequência. O sinal de corrente elétrica pode, na verdade, ser dividido em dois, com o sinal
completo fornecido pela saída DC do detector e a parte filtrada, flutuante do sinal pela sua saída
AC. Uma configuração comum é o sinal completo ser visualizado em um osciloscópio, enquanto
o sinal com a singularidade removida é enviado para um analisador de espectro. O analisador de
espectro, finalmente, mede a densidade espectral S0 (ω) de z0 (t), como na equação (2.43).
Sua densidade espectral, obtida através da transformada de Fourier da expressão (2.50), é dada por
e vê-se que ela tem singularidade de função delta adicionais em cada uma das frequências ω1 , ω2 , . . . .
Experimentalmente, a remoção de tais singularidades pode exigir a filtragem de bandas espectrais.
Correlações normalizadas e densidades espectrais normalizadas
É algumas vezes conveniente introduzir um função de auto-correlação γ(τ) normalizada e uma
densidade espectral D(ω) normalizada para o processo z(t). Quando hzi =
6 0, definimos γ(τ) pela
fórmula
Γ(τ) − |hzi|2
γ(τ) = . (2.52)
Γ0 (0) − |hzi|2
0 ≤ |γ(τ)| ≤ 1 . (2.53)
A subtração de |hzi|2 na definição assegura que γ(τ) → 0 a medida que τ → ∞ quando o processo é
ergódico, pois Γ(τ) deve então tender a |hzi|2 quando as correlações morrem. Como ressaltamos
acima, γ(τ) é matematicamente equivalente a uma função característica [Man95], e sua transfor-
mada de Fourier D(ω), conhecida como a densidade espectral normalizada, tem as propriedades
50 Capítulo 2. Flutuações e coerência na luz clássica
Usando a definição (2.52) de γ(τ) na equação (2.54), podemos imediatamente relacionar D(ω)
à densidade espectral não-normalizada S(ω), e encontramos
Pelo teorema de Parseval conectando as conjugadas de Fourier γ(τ) e D(ω), Tc também é dado por
Z ∞
Tc = 2π D 2 (ω)dω . (2.58)
−∞
Se z1 (t) e z2 (t) são conjuntamente estacionários, então Γ12 (t,t + τ), como Γ(t,t + τ), é uma função
de τ apenas, e pode-se então denota-la por Γ12 (τ). Ela obedece à condição
que pode ser derivada de forma direta da definição de Γ12 e fazendo uma translação da origem
temporal. No entanto, muitas das propriedades interessantes da função de auto-correlação Γ(τ) não
são compartilhadas com a função de correlação cruzada Γ12 (τ). Por exemplo, no geral Γ12 não tem
as propriedades de uma função característica [Man95].
Sejam z1 (t), z2 (t), . . . , zN (t) uma coleção de N processos aleatórios estacionários diferentes
ocorrendo de forma conjunta. Então
é uma matriz N × N conhecida como a matriz de correlação cruzada. Se as médias hzi (t)i para
i = 1, 2, . . . , N são todas nulas, Γi j (τ) é frequentemente chamada de matriz de covariância da
coleção de processos aleatórios. Não é difícil mostrar que Γi j obedece a um tipo de condição de
não-negatividade definida que lembra a condição (2.32) obedecida pela função de auto-correlação.
Para derivar esta condição, observamos que para um conjunto arbitrário de n tempos t1 ,t2 , . . . ,tn
(n ≤ N) e para um conjunto arbitrário de n números complexos a1 , a2 , . . . , an ,
2
n
∑ i i i ≥ 0 .
a z (t )
i=1
Por analogia com a definição (2.43) da densidade espectral S(ω), podemos definir a chamada
densidade espectral cruzada (ou espectro de potência cruzado), Wi j (ω), dos processos aleatórios
estacionários conjuntos zi (t) e z j (t) pela fórmula
Nesta fórmula z̃i (ω) é a transformada de Fourier (generalizada) de zi (t) [ver equação (2.35)]. A
fórmula (2.63) mostra que as componentes de Fourier (generalizadas) pertencentes a diferentes
frequências são descorrelacionadas. A densidade espectral cruzada Wi j (ω) é evidentemente uma
medida das correlações entre as flutuações de diferentes componentes na mesma frequência. Quando
j = i, a densidade espectral cruzada se reduz à densidade espectral, isto é
1
Z ∞
Wi j (ω) = Γi j (τ)eiωτ dτ , (2.65)
2π −∞
isto é, a função densidade espectral cruzada de zi (t) e z j (t) é a transformada de Fourier da função
de correlação cruzada entre elas. A equação (2.65), junto com sua inversa de Fourier
Z ∞
Γi j (τ) = Wi j (ω)e−iωτ dω , (2.66)
−∞
Nessa seção, consideramos as características da luz emitida por transições radiantes de átomos
excitados. Essas características podem ser medidas, em princípio, por dois tipos de experimentos.
O primeiro é a espectroscopia usual, que mede a distribuição em frequência da luz e fornece assim
informação sobre a natureza e força dos processos de alargamento de linha na fonte luminosa.
Nosso principal interesse na seção atual, por outro lado, é com um segundo tipo de experimento,
que mede a dependência temporal da amplitude ou intensidade do feixe luminoso. Veremos que
os processos de alargamento de linha na fonte fazem o campo elétrico e a intensidade do feixe
flutuarem em torno de seus valores médios em escalas de tempo inversamente proporcionais às
diferenças de frequência contidas no espectro da luz. Essas propriedades da flutuação dependente do
tempo determinam os resultados de experimentos de interferência óptica. As flutuações temporais e
o espectro de frequência são manifestações das mesmas propriedades físicas dos átomos radiantes
que constituem a fonte de luz, mas um conhecimento de ambos os aspectos é necessário para
interpretar o intervalo completo de experimentos em óptica.
Antes do desenvolvimento dos lasers, a fonte luminosa padrão para espectroscopia era a lâmpada
de descarga em gases, onde os diferentes átomos excitados emitem radiação independentemente
uns dos outros. Neste caso, a forma da linha de emissão é determinada pela distribuição estatística
em velocidades atômicas e pela ocorrência aleatória de colisões. Um fonte luminosa convencional
desse tipo é chamada de caótica. A cavidade térmica e a lâmpada de filamento são outros exemplos
de fontes caóticas. Os feixes luminosos de qualquer tipo de fonte caótica têm descrições estatísticas
similares. Atualmente, um tipo alternativo de fonte é o laser, cuja luz emitida tem propriedades
estatísticas bem diferentes. As propriedades da luz laser serão apenas brevemente mencionadas na
presente seção.
que fornece a probabilidade p(τ)dτ de um átomo ter um período de vôo livre entre colisões durando
um tempo no intervalo entre τ e τ + dτ. O lado direito da equação (2.67) vem da teoria cinética de
gases [Hal11], com o período médio τ0 entre vôos livres dado por
2
1 πkB T
= 4d 2 ρa , (2.68)
τ0 M
ω0 τ0 ≈ 9 × 104 , (2.69)
onde assumimos τ0 ≈ 3 × 10−11 s, um valor típico do tempo de colisão para uma densidade de gás
compatível com uma pressão de 105 Pa (1 atm) a temperatura ambiente. Nesse caso, o trem da onda
irradiada por um átomo passa por cerca de 15000 períodos de oscilação entre colisões sucessivas.
Figura 2.6: A amplitude do campo elétrico do trem da onda irradiada por um único
átomo. As linhas verticais representam colisões separados por períodos de vôo livre
com a duração média τ0 indicada. A quantidade ω0 τ0 é escolhida irrealisticamente
pequena para mostrar as mudanças de fase aleatórias causadas pelas colisões.
A amplitude de campo da onda ilustrada nas figuras (2.6) e (2.7) é escrita na forma complexa
como
Essa forma complexa consiste em pegar apenas o sinal analítico, ou de frequência positiva, para
representar o campo elétrico (ver seção 1.3.3). O campo real seria dado então apenas pela parte
real dessa forma complexa, apesar de comumente não ser necessário considerar isso no cálculo
de observáveis. Por exemplo, na interação átomo-luz a aproximação de onda girante comumente
elimina explicitamente a componente de frequência negativa do campo. Como mostrado na figura
(2.7), a fase φ (t) permanece constante durante períodos de vôo livre, mas muda abruptamente cada
54 Capítulo 2. Flutuações e coerência na luz clássica
vez que uma colisão acontece. A amplitude E0 e a frequência ω0 são as mesmas para todo período.
A onda total emitida pela fonte alargada por colisão é representada por uma soma de termos como
da equação (2.70), um para cada átomo irradiante. Se assume que as ondas emitidas por átomos
diferentes atingem o ponto de observação podendo ser aproximadas por ondas planas paralelas
com polarização fixa, de modo que seus campos elétricos podem ser somados algebricamente, A
amplitude do campo elétrico total produzido por um grande número de átomos irradiantes é então
onde ao trem de onda de todo átomo foram atribuídas as mesmas amplitude E0 e frequência ω0 ,
mas as fases para os diferentes átomos são completamente descorrelacionadas.
A soma formal dos fatores de fase na equação (2.71) é ilustrada na figura (2.8). A adição de
vetores unitários orientados em direções aleatórias é um exemplo de caminhada aleatória, bem
conhecida na teoria de processos estocásticos. Como cada um dos ângulos de fase φ1 , φ2 , . . . , φv tem
diferentes variações aleatórias semelhantes às mostradas na figura (2.7), o ponto final da caminhada,
representado pelas amplitude a(t) e fase φ (t), são diferentes em diferentes instantes de tempo.
O campo elétrico real obtido da equação (2.71) consiste de uma onda portadora de frequência
ω0 sujeita a uma modulação aleatória de fase e amplitude. A decomposição de Fourier da onda
modulada contém frequências espalhadas em torno de ω0 de um modo determinado pela forma de
linha alargada por colisão.
Não é possível, na prática, resolver as oscilações em E(t) que ocorrem na frequência da onda
portadora. Uma boa resolução temporal experimental de um detector é da ordem de 10−9 s, cinco ou
seis ordens de grandeza maiores que o necessário para detectar oscilações nas frequências do visível,
que ocorrem na escala de 10−15 s. É então apropriado, para comparação com experimentos de
foto-detecção, tirar a média das expressões teóricas sobre um ciclo de oscilação da onda portadora.
O campo elétrico da equação (2.71) tem média zero em um ciclo. No entanto, os foto-detectores não
são sensíveis diretamente ao campo elétrico, mas sim ao fluxo de energia do campo eletromagnético,
2.2 Teorias clássicas para flutuações da luz 55
Problema 2.1 Demonstre a expressão (2.73) para a intensidade da luz, partindo da definição
(2.72) do vetor de Poynting.
Figura 2.8: Diagrama mostrando a amplitude a(t) e a fase φ (t) do vetor resultante
formado por uma caminhada aleatória cujos passos consistem de um número grande de
vetores unitários, cada um dos quais com um ângulo de fase aleatoriamente escolhido.
A variação de I¯ mostrada na figura (2.9), conhecida como uma série temporal, ilustra o tipo de
flutuação que ocorre na intensidade de um feixe de luz caótica, quando medimos com um detector
lento se comparado com a oscilação da onda portadora, mas rápido se comparado com o tempo de
coerência da fonte luminosa. A figura é construída por uma simulação computacional de uma fonte
de luz alargada por colisão, na qual o somatório da equação (2.71) é realizado numericamente para
um grande número v de átomos [Van80]. A dinâmica do processo de interrupção de fase é represen-
tada por um desenvolvimento temporal aleatório das variáveis usadas no modelo computacional.
A escala de tempo na figura (2.9) é expressa em unidades do tempo de coerência τc da luz, que é
determinado pelo processo dominante de alargamento de linha da fonte. Para o alargamento por
colisão assumido aqui, temos
τc = τ0 . (2.74)
56 Capítulo 2. Flutuações e coerência na luz clássica
Vemos então grandes flutuações de intensidade ocorrendo ao longo de intervalos de tempo da ordem
de τc . Flutuações similares ocorrem em fontes luminosas caóticas sujeitas a outros processos de
alargamento de linha, como devidos à emissão espontânea ou ao movimento dos átomos.
Figura 2.9: Série temporal da intensidade média em um ciclo para um feixe de luz
caótica alargado por colisão, obtido a partir de uma simulação computacional [Bai97].
A escala de tempo é normalizada pelo tempo de coerência, tomado igual ao tempo
médio entre colisões.
O comprimento
λc = cτc , (2.75)
cercado por espaço livre e não tem perdas que removam energia dos feixes de luz. Os campos na
saída estão relacionados aos campos nas entradas por relações lineares da forma
com um notação óbvia para os coeficientes de reflexão e transmissão do divisor de feixes. Os coefi-
cientes são, no geral, quantidades complexas e dependem da frequência óptica. Seus valores aqui
são os apropriados para a frequência dos feixes incidentes, assumidos como sendo monocromáticos.
As relações são escritas na forma matricial
E3 r31 t32 E1
= , (2.77)
E4 t41 r42 E2
Propriedades importantes dos coeficientes na matriz de divisor de feixes são derivadas conside-
rando a conservação de energia entre os braços de entrada e saída [Ou89]. Assim, com ambas as
entradas iluminadas, a energia total fluindo nos braços de saída é igual à energia total fluindo nos
braços de entrada quando
e de forma semelhante para os outros coeficientes. Segue então de (2.79b) que os ângulos de fase
estão amarrados pela relação
e as amplitudes por
|r31 | |r42 |
= . (2.82)
|t41 | |t32 |
Esta relação junto com (2.79a) mostra que aos dois coeficientes de reflexão e os dois coeficientes
de transmissão devem ter a mesma magnitude,
As equações (2.81) e (2.83) fornecem os vínculos gerais nos coeficientes de reflexão e transmissão
do divisor de feixes.
Esses vínculos asseguram que a matriz de divisor de feixes é unitária, isto é, a matriz inversa é
igual ao complexo conjugado da transposta. A relação entre campos de entrada e saída inversa de
(2.77) é então
∗ ∗
E1 r31 t41 E3
= ∗ ∗ . (2.84)
E2 t32 r42 E4
Alternativamente os coeficientes podem ser tomados como simétricos, com φ31 = φ42 = φr e
φ32 = φ41 = φt , quando então
Assumiremos esse caso simétrico em todas as derivações daqui para frente. Como mais uma
especialização, é algumas vezes conveniente considerar um divisor de feixes 50:50 com coeficientes
de reflexão e transmissão de igual magnitude,
1
|rd | = |td | = √ com φr − φt = π/2 . (2.88)
2
caóticas da fonte luminosa afetam a visibilidade das franjas de interferência. A figura (2.11)
mostra uma representação esquemática do experimento, que é equivalente a um interferômetro de
Michelson, mas é mais simples de ilustrar. Luz caótica de uma fonte pontual é tornada paralela
usando uma lente e então incide no braço 1 do primeiro divisor de feixes. Nenhuma luz incide pelo
braço 2. O experimento modelo ignora todas as complicações que surgem de um desvio da forma
do feixe incidente da condição de planos paralelos perfeitos, apesar da inclusão desses efeitos ser
essencial para um tratamento rigoroso da interferência.
Note que existe apenas uma única variável temporal no integrando, pois t2 difere de t1 por uma
quantidade fixa obtida da equação (2.90). As médias nos primeiros dois termos no lado direito da
equação (2.92) são dados pela mesma expressão (2.93) com os dois tempos iguais.
A natureza da função de correlação do campo e, portanto, das franjas de interferência depende
do tipo de luz que incide no interferômetro. Se as propriedades estatísticas da fonte luminosa são
estacionárias, isto é, as influências que governam as flutuações não mudam com o tempo, então a
média na equação (2.93) não depende do instante particular de início do período T , dado que T
é muito maior que a escala de tempo característica das flutuações. A média temporal na equação
(2.93) implica então em uma amostragem de todos os valores do campo elétrico permitidos pelas
propriedades estatísticas da fonte com suas probabilidades relativas apropriadas, e o resultado é
independente da magnitude de T . Assim, apesar dos efeitos experimentais da função de correlação
de primeira ordem se manifestarem por uma média temporal, como na direita da equação (2.93), a
função é calculada por uma média estatística sobre todos os valores dos campos nos tempos t1 e
t2 . Sob essas condições, o resultado não depende do tempo t1 , e a correlação é uma função apenas
do atraso temporal t2 − t1 entre os dois valores do campo. A equivalência de média temporal e
média estatística só é válida para feixes luminosos cujas flutuações são produzidas por processos
aleatórios ergódicos, como vimos na última seção. A maior parte das derivações da presente seção
se refere a feixes ergódicos de luz caótica, com séries temporais de durações efetivamente infinitas
com formas semelhantes às mostradas na figura (2.9).
É conveniente re-escrever a definição (2.93) como
1
Z
hE ∗ (t)E(t + τ)i = dtE ∗ (t)E(t + τ) = Γ(τ) . (2.94)
T T
Com Γ(τ) sendo a função de correlação vista na seção anterior para um processo ergódico complexo
z(t). As várias propriedades já vistas de Γ(τ) se aplicam então a situação física que estamos
modelando. A partir dessa função, podemos então definir o grau de coerência temporal de primeira
ordem da luz com estatística estacionária como uma versão normalizada da função de correlação de
primeira ordem,
hE ∗ (t)E(t + τ)i
g(1) (τ) = . (2.95)
hE ∗ (t)E(t)i
A função g(1) (τ) é, portanto, igual à função normalizada γ(τ) da seção anterior, que vimos possuir
uma série de propriedades matemáticas interessantes. A mudança de notação é necessária aqui, no
entanto, para conectar com os graus de coerência de ordens mais altas, que já não se relacionam
2.2 Teorias clássicas para flutuações da luz 61
com nenhuma generalização de γ(τ). A definição (2.95) permite que a intensidade de saída do
interferômetro Mach-Zehnder dada por (2.92) possa ser escrita como
onde
1
¯
hI(t)i = ε0 ch|E(t)|2 i (2.97)
2
é a intensidade média de entrada e
e a intensidade dada pela equação (2.96) é simétrica com respeito a mudanças no sinal de τ. A
avaliação detalhada do padrão de franjas do Mach-Zehnder, portanto, requer um conhecimento do
grau de coerência de primeira ordem.
hE ∗ (t)E(t + τ)i =E02 exp(−iω0 τ)h{exp(−iφ1 (t)) + exp(−iφ2 (t)) + · · · + exp(−iφv (t))}
× {exp(iφ1 (t + τ)) + exp(iφ2 (t + τ)) + · · · + exp(iφv (t + τ))}i . (2.100)
Ao multiplicar os grandes colchetes, os ângulos de fase dos trens de onda de átomos diferentes têm
diferentes valores aleatórios e os termos cruzados não contribuem para a média. Os termos que
sobram dão
v
hE ∗ (t)E(t + τ)i = E02 exp(−iω0 τ) ∑ hexp[i(φi (t + τ) − φi (t))]i
i=1
∗
= vhEi (t)Ei (t + τ)i (2.101)
com γcol = 1/τ0 a taxa de colisão atômica. O cálculo acima assume um valor positivo para o atraso
temporal τ, mas seu resultado final é generalizado para valores positivos e negativos pelo uso
da propriedade de simetria na equação (2.99). A forma do módulo desta função é ilustrada na
Fig. 2.12.
Figura 2.12: Módulo do grau de coerência de primeira ordem de luz caótica emitida
por uma fonte alargada por colisão.
O grau de coerência de primeira ordem também é calculado de forma direta para uma fonte de
luz caótica para a qual alargamento Doppler é a causa principal da distribuição de frequências de
emissão
1 2 2
FG (ω) = √ e−(ω0 −ω) /2∆ , (2.105)
2π∆2
com ω0 a frequência atômica emitida por um átomo em repouso, e
Quando o alargamento Doppler é dominante, o campo elétrico total irradiado com uma dada
polarização, em um feixe de luz com frentes de onda planas paralelas em um ponto de observação
fixo, pode ser escrito como
v
E(t) = E0 ∑ exp(−iωit + iφi ) , (2.108)
i=1
onde E0 e φi são amplitude e fase fixas do trem de onda irradiado pelo i-ésimo átomo. Átomos
diferentes têm diferentes frequências ωi de radiação que são deslocadas de ω0 por efeito Doppler
por quantidades determinadas pelas velocidades atômicas. A função de correlação de primeira
ordem é então
v
hE ∗ (t)E(t + τ)i = E02
∑ exp{iωit − iφi − iω j (t + τ) + iφ j } . (2.109)
i, j=1
Os ângulos de fase tem agora valores fixos, mas são aleatoriamente distribuídos. A média das
contribuições para i 6= j é então nula, levando a
v
hE ∗ (t)E(t + τ)i = E02 ∑ exp(−iωi τ) . (2.110)
i=1
A soma que resta é convertida em uma integral sobre a distribuição Gaussiana (2.105):
Z ∞
∗
hE (t)E(t + τ)i = vE02 dωi FG (ωi ) exp(−iωi τ)
−∞
1
Z ∞
= vE02 √ dωi exp(−iωi τ) exp{−(ω0 − ωi )2 /2∆2 }
2π∆2 −∞
2 1 2 2
= vE0 exp −iω0 τ − ∆ τ . (2.111)
2
O grau de coerência de primeira ordem para luz caótica com alargamento Doppler, definido
como na equação (2.95), é então
(1) 1 2 2 n π o
g (τ) = exp −iω0 τ − ∆ τ = exp −iω0 τ − (τ/τc )2 (2.112)
2 2
com τc dado por (2.74) ou (2.113). Esses resultados são então consistentes com a definição (2.57)
para o tempo de correlação de um processo aleatório estacionário.
64 Capítulo 2. Flutuações e coerência na luz clássica
Figura 2.13: Módulo do grau de coerência de primeira ordem de luz caótica emitida
com um espectro de frequências Gaussiano.
O grau de coerência de primeira ordem para um feixe de luz estacionário, introduzido pela
equação (2.95), é expresso em termos da correlação entre os campos no feixe na mesma posição,
mas em tempos diferentes. A definição de g(1) (τ) é generalizada para a correlação entre campos
em dois pontos diferentes do espaço-tempo (z1 ,t1 ) e (z2 ,t2 ), no feixe de luz com frentes de onda de
planos paralelos, como
onde esta forma da definição também se aplica a luz com propriedades estatísticas não-estacionárias,
quando os dois fatores no denominador são no geral diferentes. A luz em dois pontos do espaço-
tempo tem as seguintes designações em termos dos valores do grau de coerência de primeira ordem:
(1)
g (z1 ,t1 ; z2 ,t2 ) = 1 → luz é coerente em primeira ordem (2.116)
ou
(1)
g (z1 ,t1 ; z2 ,t2 ) = 0 → luz é incoerente (2.117)
ou
(1)
g (z1 ,t1 ; z2 ,t2 ) 6= 1 ou 0 → luz é parcialmente coerente . (2.118)
Como as flutuações em um feixe de luz de planos paralelos no espaço livre propagam com a
velocidade da luz c sem qualquer mudança em suas formas, as expressões para o grau de coerência
de primeira ordem de luz estacionária derivadas acima são definidas de forma simples por uma
redefinição do atraso temporal como
z2 − z1
τ = t2 − t1 − . (2.119)
c
2.2 Teorias clássicas para flutuações da luz 65
A expressão para o grau de coerência de primeira ordem na equação (2.95) continua válida com
esta troca do τ. É óbvio desta definição que
e a luz permanece aproximadamente coerente em primeira ordem para atrasos temporais tais que
τ << τc . As correlações de campo em qualquer tipo de luz caótica devem se anular para tempos
τ >> τc , de modo que hE ∗ (t)E(t + τ)i ≈ hE ∗ (t)ihE(t + τ)i. Como
hE(t)i = 0 , (2.121)
segue que o grau de coerência de primeira ordem deve ter um valor limite
Luz em pontos assim tão separados no espaço-tempo é incoerente. Os graus de coerência de primeira
ordem para luz caótica das figuras (2.12) e (2.13), respectivamente, ilustram essas propriedades.
As propriedades de coerência da luz caótica podem ser contrastadas com aquelas da onda
clássica de amplitude e fase estáveis que é comumente assumida em tratamentos teóricos de
experimentos de óptica. Para uma tal onda determinística, propagando na direção z com vetor de
onda k = ω0 /c, o campo elétrico é
onde amplitude e fase são quantidades fixas, em contraste com o campo caótico da equação (2.70).
A figura (2.14) mostra a variação do campo elétrico com o tempo em um ponto de observação fixo.
A função de correlação de primeira ordem é determinada sem nenhuma média estatística como
Problema 2.2 Considere um feixe luminoso paralelo cujo campo contém um número grande
de contribuições semelhantes à onda estável da figura (2.14), todas com a mesma frequência
e vetor de onda, mas com uma distribuição aleatória de ângulos de fase. Prove que o feixe é
coerente em primeira ordem em qualquer par de pontos no espaço-tempo.
Problema 2.3 Considere o feixe de luz produzido pela excitação de duas ondas estáveis, onde
o campo elétrico é
Problema 2.4 Considere um feixe luminoso produzido pela excitação de duas ondas como
na equação (2.126), mas onde ambas possuem amplitudes e fases aleatórias. Se a intensidade
média é igualmente dividida entre as duas ondas, prove que
1
(1)
g (τ) = cos (ω1 − ω2 )τ . (2.127)
2
Note que a propriedade na equação (2.122) não se aplica a nenhuma das excitações de campo
consideradas nesses três problemas.
Problema 2.5 Considere luz de uma fonte que apresenta simultaneamente alargamento Doppler
e por colisão. Prove que o grau de coerência de primeira ordem é
(1) 1 2 2
g (τ) = exp −iω0 τ − γcol |τ| − ∆ τ . (2.128)
2
onde assumimos luz com alargamento por colisão com o grau de coerência de primeira ordem dado
pela equação (2.104). As variações do segundo termo à direita com o comprimento relativo do
2.2 Teorias clássicas para flutuações da luz 67
A natureza caótica da luz faz então com que a visibilidade da franja caia de seu valor um para
caminhos iguais numa taxa determinada pelo comprimento de coerência λc , definido em (2.75), e
as franjas desaparecem completamente para z1 suficientemente diferentes de z2 . No entanto, para
uma linha de emissão fina, um número muito grande de franjas são geradas pelo termo cosseno
na equação (2.129) antes da exponencial fazê-las desaparecer. Para os parâmetros assumidos na
equação (2.69), existem da ordem de 104 franjas centradas na configuração de caminhos iguais e a
interferência é apenas suavemente afetada pela natureza caótica da luz. Neste regime de coerência
de primeira ordem da luz nos dois caminhos internos do interferômetro, a intensidade de saída da
equação (2.129) é aproximadamente
e a coerência da luz nos pontos (r1 ,t1 ) e (r2 ,t2 ) do espaço-tempo tem designações similares
àquelas dadas nas equações (2.116) a (2.118). Para luz de propriedades estatísticas estacionárias, as
médias no denominador da equação (2.133) são independentes de t1 e t2 , enquanto que a média
no numerador é uma função das posições espaciais e da diferença de tempo t2 − t1 . A magnitude
do grau de coerência de primeira ordem determina a visibilidade das franjas de interferência
que poderiam idealmente ser produzidas pela superposição de luz a partir dos dois pontos do
espaço-tempo, e a definição na equação (2.131) é generalizada para
visibilidade = g(1) (r1 ,t1 ; r2 ,t2 ) . (2.134)
Essas expressões tridimensionais são necessárias na prática para muitos experimentos de interfe-
rência, mas sua forma mais complicada obscurece alguns dos princípios físicos que governam as
coerências ópticas e suas flutuações. Restringiremos o tratamento que segue para feixes de luz de
planos paralelos, onde a inclusão de uma única dimensão espacial é adequada.
É claro da discussão acima que o grau de coerência temporal de primeira ordem e o espectro de
frequência são aspectos diferentes do mesmo processo físico que governa a emissão da luz pelo
68 Capítulo 2. Flutuações e coerência na luz clássica
material ativo na fonte de luz. Como visto na seção anterior, a força das componentes espectrais de
um processo com função de correlação hE ∗ (t)E(t + τ)i é dada pelo espectro de potência
1
Z ∞
f (ω) = dτhE ∗ (t)E(t + τ)i exp(iωτ) , (2.135)
2π −∞
onde a inserção de infinitos nos limites da integral é válida para tempos de integração muito maiores
que τc . Observe daí que
Z ∞
dω f (ω) = hE ∗ (t)E(t)i . (2.136)
−∞
Divisão da equação (2.135) pela equação (2.136) e uso da definição de grau de coerência de
primeira ordem na equação (2.95) fornece uma expressão para a densidade espectral normalizada:
1
Z ∞
F(ω) = dτg(1) (τ) exp(iωτ) . (2.137)
2π −∞
Esta relação entre a densidade espectral normalizada da luz e seu grau de coerência de primeira
ordem é então uma forma do teorema de Wiener-Khintchine. Ela fornece uma conexão formal entre
os resultados de experimentos de espectroscopia e os resultados de medidas das propriedades das
flutuações dependentes do tempo da luz.
Problema 2.7 Prove que a função de forma de linha Gaussiana normalizada da equação (2.105)
é corretamente gerada pelo teorema de Wiener-Khintchine com uso do grau de coerência de
primeira ordem da equação (2.112), para fontes alargadas por efeito Doppler.
γcol /π
FL (ω) = 2
(2.138)
(ω0 − ω)2 + γcol
é gerada pelo teorema de Wiener-Khintchine com uso do grau de coerência de primeira ordem
da equação (2.104), para fontes alargadas por colisão.
é gerada pelo teorema de Wiener-Khintchine com uso do grau de coerência de primeira ordem
da equação (2.128), para fontes alargadas por colisão e Doppler simultaneamente.
refere à medida direta de flutuações de intensidade do tipo mostrado na figura (2.9). Descreveremos
a observação de efeitos de interferência de alta ordem que dependem das correlações de duas
intensidades ao invés das correlações de dois campos.
Como uma preparação para a discussão de experimentos de interferência na intensidade,
consideraremos aqui as propriedades estatísticas das flutuações de intensidade da luz caótica. As
flutuações na intensidade média por ciclo são rápidas demais para observação direta em muitos
casos, e o que se mede é alguma média das flutuações sobre o tempo de resposta do detetor.
Suporemos inicialmente, no entanto, que temos um detetor ideal, com tempo de resposta muito
mais curto que o tempo de coerência τc , que pode tomar efetivamente medidas instantâneas da
intensidade.
A média de um grande número de valores da intensidade média em um ciclo I(t), ¯ medidos sobre
um período de tempo muito mais longo que τc , é fácil de calcular. Com o período de observação
longo e assumindo-se medidas de intensidade instantâneas, a média temporal pode ser trocada por
uma média estatística sobre a distribuição de ângulos de fase, denotada por h· · · i, como explicado
acima. A intensidade média de tempo longo em um feixe luminoso de planos paralelos a partir das
equações (2.71) e (2.73) é
1
I¯ ≡ hI(t)i
¯ = ε0 cE02 h| exp (iφ1 (t)) + exp (iφ2 (t)) + · · · + exp (iφv (t)) |2 i
2
1
= ε0 cE02 v , (2.140)
2
na medida em que os termos cruzados entre fatores de fase para átomos irradiantes diferentes dão
contribuições com média zero.
Os valores médios de potências mais altas da intensidade média em um ciclo são calculados de
modo semelhante. Assim, a intensidade quadrática média é
onde o primeiro e o segundo termo são as contribuições dos átomos individuais e dos pares de
átomos, respectivamente. A segunda soma conta o número de pares distintos e o fator 2 é o número
de ocorrências da soma de ângulos de fase mostrados no expoente para um dado par i, j. Assim,
em termos da intensidade média da equação (2.140), a intensidade quadrática média fica
¯ 2 i = 2 − 1 I¯2 .
hI(t) (2.143)
v
70 Capítulo 2. Flutuações e coerência na luz clássica
O número de átomos radiantes é normalmente muito grande e a equação (2.143) pode ser escrita
como
¯ 2 i = 2I¯2 (v >> 1) ,
hI(t) (2.144)
em muito boa aproximação. Note que esta expressão resulta do termo de pares na equação (2.142).
A variância da intensidade média em um ciclo é
(∆I)2 = hI(t)
¯ 2 i − hI(t)i
¯ 2 = I¯2 . (2.145)
O tamanho das flutuações, caracterizado por ∆I, é então igual ao valor médio I, ¯ como é evidente
qualitativamente na figura (2.9).
A média de potências de I(t) ¯ mais altas que a segunda são bem complicadas no geral, mas
resultados relativamente simples são obtidos se o número de átomos irradiantes é assumido como
muito grande. A contribuição dominante para a média da r-ésima potência da intensidade vem
então dos termos que envolvem o módulo quadrado dos produtos dos fatores de fase de r átomos
distintos, como no cálculo de segunda ordem na equação (2.142). Assim, aproximadamente,
r
¯ i=r 1 2
D 2 E
hI(t) ε0 cE0 ∑ r! exp [i (φ i (t) + φ j (t) + φ k (t) + . . . )] , (2.146)
2 i> j>k>...
onde a soma corre sobre todos os diferentes conjuntos de r átomos e o fator r! é o número de
ocorrências da soma de r ângulos de fase mostrada no expoente para uma dada seleção de r átomos.
Então, com v assumido muito maior que r,
¯ r i = r!I¯r (v >> r) ,
hI(t) (2.147)
onde a intensidade média é tomada da equação (2.140). Este resultado para o r-ésimo momento da
distribuição de flutuações de intensidade, apesar de derivado para uma fonte alargada por colisão, é
na verdade válido para qualquer tipo de luz caótica. A ocorrência do fator r! na equação (2.147) é
uma característica universal da luz caótica.
Um contraste com os resultados para a luz caótica é dado pela onda estável clássica da figura
(2.14). Não há necessidade de aplicar estatística neste caso, já que a intensidade média em um ciclo
é constante. O resultado análogo à equação (2.145) é
(∆I)2 = 0 (2.148)
e não há flutuações de intensidade.
onde I¯ é a intensidade média de tempo longo, definida como na equação (2.140), e a ordem dos
fatores de campo na função de correlação de segunda ordem do campo elétrico segue uma convenção
que veremos mais à frente. O feixe de luz é novamente assumido como tendo propriedades
¯ é uma função estocástica real, temos a condição de simetria
estatísticas estacionárias. Como I(t)
mais simples
g(2) (−τ) = g(2) (τ) , (2.150)
e cálculos só precisam ser feitos para τ positivo. Se assume que as medidas satisfazem as condições
para equivalência das médias estatísticas e temporais.
Vimos que a magnitude do grau de coerência de primeira ordem assume valores no intervalo de
0 a 1. O intervalo de valores permitidos do grau de coerência de segunda ordem é controlado pela
desigualdade de Cauchy, que se aplica a qualquer par de números reais. Assim, duas medidas da
intensidade em tempos t1 e t2 devem satisfazer
[I(t ¯ 2 )]2 ≥ 0 → 2I(t
¯ 1 ) − I(t ¯ 1 )I(t ¯ 1 )2 + I(t
¯ 2 ) ≤ I(t ¯ 2 )2 . (2.151)
Aplicando esta desigualdade aos termos cruzados, temos
N N ¯ i )I(t
2I(t ¯ j)
¯ 1 ) + I(t
[I(t ¯ N )]2 =
¯ 2 ) + · · · + I(t ∑ ¯ i )I(t
I(t ¯ j) = ∑
i, j=1 i, j=1 2
N ¯ i )2 + I(t
I(t ¯ j )2 N
≤ ∑ = N ¯ i )2 ,
∑ I(t (2.152)
i, j=1 2 i=1
e, portanto,
¯ 1 ) + I(t ¯ N ) 2 I(t
¯ 2 ) + · · · + I(t ¯ 1 )2 + I(t
¯ 2 )2 + · · · + I(t
¯ N )2
I(t
≤ (2.153)
N N
para o resultado de N medidas da intensidade. Assim, em termos de médias estatísticas,
I¯2 ≡ hI(t)i
¯ 2 ≤ hI(t)
¯ 2i , (2.154)
e o grau de coerência de segunda ordem para atraso temporal zero da equação (2.149) satisfaz
1 ≤ g(2) (0) . (2.155)
Não é possível estabelecer nenhum limite superior, e o intervalo completo de valores permitidos é
1 ≤ g(2) (0) ≤ ∞ . (2.156)
As derivações dessas desigualdades assumem um feixe de luz estacionário, mas elas também se
aplicam a séries de medidas em luz não estacionária. Para o exemplo extremo de um único pulso
óptico, é claro que medidas em um ponto fixo de observação devem produzir resultados bem dife-
rentes que dependem da localização do pulso nos tempos de medida. Não existe equivalência entre
médias no tempo e estatísticas neste caso. No entanto, as N medidas da intensidade consideradas
na inequação (2.153) podem, em princípio, ser feitas ao mesmo tempo, mas nos membros de um
ensemble de N realizações do mesmo pulso óptico. As inequações (2.155) e (2.156) continuam a
valer com esta interpretação das médias, e elas podem ser tomadas como propriedades gerais de
todos os tipos de luz clássica.
A prova acima não pode ser extendida para atrasos temporais diferentes de zero, e a única
restrição sobre o grau de coerência de segunda ordem, então, resulta da natureza essencialmente
positiva da intensidade, que dá
0 ≤ g(2) (τ) ≤ ∞ τ 6= 0 . (2.157)
72 Capítulo 2. Flutuações e coerência na luz clássica
Existe, no entanto, outra propriedade importante que segue da aplicação da desigualdade (2.151):
N
¯ 1 )I(t
[I(t ¯ 1 + τ) + · · · + I(t ¯ N + τ)]2 =
¯ N )I(t ∑ ¯ i )I(t
I(t ¯ i + τ)I(t
¯ j )I(t
¯ j + τ)
i, j=1
N ¯ i )2 + I(t
[I(t ¯ j )2 + I(t
¯ i + τ)2 ] [I(t ¯ j + τ)2 ]
≤ ∑
i, j=1 2 2
" #
¯ i + τ)2 ∑Nj I(t ¯ j )2 + ∑Nj I(t
¯ j + τ)2
N
¯ i )2 + ∑Ni I(t
∑i I(t
≤ ,
2 2
ou ainda
2 " #2
¯ 1 )I(t
¯ 1 + τ) + · · · + I(t
¯ N )I(t
¯ N + τ) N¯ i )2 N I(t
¯ i + τ)2
I(t 1 I(t
≤ ∑ N +∑ N . (2.158)
N 4 i i
Os dois somatórios à direita são iguais para uma série de medidas suficientemente longa, e a raiz
quadrada de (2.158) produz então o resultado
¯ I(t
hI(t) ¯ 2i ,
¯ + τ)i ≤ hI(t) (2.159)
ou
O grau de coerência de segunda ordem não pode nunca exceder, portanto, seu valor para atraso
zero. A desigualdade se aplica novamente tanto para feixes estacionários como não estacionários
na teoria clássica.
Essas propriedades gerais do grau de coerência de segunda ordem são ilustradas pelo exemplo
da luz caótica. Supomos, como nos modelos usados acima tanto para luz alargada por colisão
quanto por efeito Doppler, que o campo elétrico do feixe de luz de planos paralelos é formado a
partir das contribuições independentes dos diferentes átomos i radiantes,
v
E(t) = ∑ Ei (t) . (2.161)
i=1
A função de correlação de segunda ordem do campo elétrico que aparece na equação (2.149) é,
então,
v
hE ∗ (t)E ∗ (t + τ)E(t + τ)E(t)i = ∑ hEi∗ (t)Ei∗ (t + τ)Ei (t + τ)Ei (t)i
i=1
+ ∑ Ei∗ (t)E ∗j (t + τ)E j (t + τ)Ei (t) + Ei∗ (t)E ∗j (t + τ)Ei (t + τ)E j (t) ,
(2.162)
i6= j
onde os únicos termos mantidos foram aqueles em que o campo de cada átomo é multiplicado pelo
seu complexo conjugado. Todos os outros termos se anulam por conta das fases relativas aleatórias
das ondas a partir dos diferentes átomos. Assim, levando em conta a equivalência das contribuições
de cada átomo
Se agora assumimos que o número de átomos radiantes é muito grande, as contribuições que
envolvem pares de átomos excedem em muito as contribuições de átomos individuais e, em boa
aproximação,
n o
hE ∗ (t)E ∗ (t + τ)E(t + τ)E(t)i = v2 hEi∗ (t)Ei (t)i2 + |hEi∗ (t)Ei (t + τ)i|2
= hE ∗ (t)E(t)i2 + |hE ∗ (t)E(t + τ)i|2 , (2.164)
onde usamos a equação (2.101) para relacionar o campo total aos campos dos v átomos. Usando as
definições (2.95) e (2.149) dos graus de coerência de primeira e segunda ordem, obtemos então
(1) 2
(2)
g (τ) = 1 + g (τ) (v >> 1) . (2.165)
Segue dos valores limites do grau de coerência de primeira ordem dados nas equações (2.120) e
(2.122) que
A expressão correspondente para luz com forma de linha Gaussiana emitida por uma fonte alargada
por efeito Doppler é obtida com o uso da equação (2.112):
Esses graus de coerência para luz caótica são ilustrados na figura (2.15). É evidente que as
desigualdades gerais (2.155) e (2.160) são satisfeitas e ambos os tipos de luz caótica têm os valores
limites da coerência de segunda ordem dados pelas equações (2.166) e (2.167).
O pico no grau de coerência de segunda ordem da luz caótica para τ < τc é uma manifestação
do tipo de flutuação de intensidade mostrado na figura (2.9). Para pequenos atrasos temporais, as
duas medidas de intensidade correlacionadas no grau de coerência de segunda ordem geralmente
ocorrem dentro do mesmo pico de flutuação para darem uma contribuição aumentada. Para atrasos
temporais mais longos, τ > τc , as duas intensidades tendem as ser descorrelacionadas e o grau de
coerência de segunda ordem é perto de um.
Estas propriedades da luz caótica contrastam com aquelas da onda clássica com amplitude e
fase estáveis, cuja variação do campo elétrico é representada pela equação (2.123). É fácil mostrar
substituindo o campo na definição da equação (2.149) que
independente do atraso temporal τ. Este resultado para a onda estável é indicado pela linha tracejada
horizontal na figura (2.15).
Os graus de coerência de segunda ordem calculados acima assumem um feixe de luz estacioná-
rio, polarizado e de planos paralelos, e um ponto de observação comum. A definição (2.149) pode
ser generalizada, analogamente à equação (2.133), para cobrir campos ópticos não estacionários
74 Capítulo 2. Flutuações e coerência na luz clássica
com um dependência espacial tridimensional. O grau de coerência de segunda ordem entre a luz
nos pontos do espaço-tempo (r1 ,t1 ) e (r2 ,t2 ) é definido como
hE ∗ (r1 ,t1 )E ∗ (r2 ,t2 )E(r2 ,t2 )E(r1 ,t1 )i
g(2) (r1 ,t1 ; r2 ,t2 ) = , (2.171)
h|E(r1 ,t1 )|2 i h|E(r2 ,t2 )|2 i
onde h· · · i denota novamente médias em ensemble. Note que esta função é um caso especial de
uma coerência de segunda ordem mais geral na qual os quatro campos na função de correlação
são avaliados em quatro diferentes pontos do espaço-tempo, mas não consideraremos esta gene-
ralização subsequente. A luz nos pontos (r1 ,t1 ) e (r2 ,t2 ) é dita coerente em segunda ordem se
simultaneamente
(1)
g (r1 ,t1 ; r2 ,t2 ) = 1 e g(2) (r1 ,t1 ; r2 ,t2 ) = 1 . (2.172)
Figura 2.15: Graus de coerência de segunda ordem de luz caótica tendo distribuições
de frequência Lorentziana e Gaussiana com tempo de coerência τc . A linha tracejada
mostra a coerência de segunda ordem constante em um de uma onda clássica estável.
onde τ é definido na equação (2.119). Com esta interpretação de τ, as expressões já derivadas para
o grau de coerência de segunda ordem se aplicam a pontos separados espacialmente no feixe de
planos paralelos.
É evidente da discussão da equação (2.115) que luz caótica é sempre coerente em primeira
ordem para pontos do espaço tempo suficientemente próximos entre si (ver as figuras 2.12 e 2.13).
No entanto, o limite de τ pequeno produz um grau de coerência de segunda ordem igual a 2, como
ilustrado na figura (2.15). Não é possível para a luz caótica ser coerente em segunda ordem para
qualquer escolha de pontos do espaço tempo. Contrastando com esse comportamento, a onda
clássica estável é coerente em segunda ordem em todos os pontos do espaço-tempo.
2.2 Teorias clássicas para flutuações da luz 75
Problema 2.10 Considere o feixe de luz caótica monomodo, definido no problema (2.2) como
uma superposição com fases aleatórias de um número grande de ondas estáveis. Prove de
primeiros princípios que
O tempo de coerência é infinito neste caso, e a equação (2.167) não se aplica nesse caso.
De acordo com a teoria clássica, o divisor de feixes divide a intensidade média por ciclo I¯1 (z,t)
em dois feixes idênticos nos braços 3 e 4 do experimento, onde usamos a notação da figura (2.10)
para os braços de entrada e saída do divisor de feixes. Numa notação óbvia, temos então
1
I¯3 (z,t) = I¯4 (z,t) = I¯1 (z,t) , (2.175)
2
76 Capítulo 2. Flutuações e coerência na luz clássica
(2) hI¯3 (z3 ,t3 )I¯4 (z4 ,t4 )i hI¯3 (t3 − z3 /c)I¯4 (t4 − z4 /c)i
g3,4 (z3 ,t3 ; z4 ,t4 ) = ¯ = , (2.178)
hI3 (z3 ,t3 )ihI¯4 (z4 ,t4 )i hI¯3 (t3 − z3 /c)ihI¯4 (t4 − z4 /c)i
ou ainda
Vê-se então que a correlação cruzada normalizada entre os dois feixes de saída fornece uma medida
do grau de coerência de segunda ordem do feixe de entrada.
Com detetores ideais que fazem medidas instantâneas das intensidades nos tempos t3 e t4 , o
correlacionador no experimento da figura (2.16) é projetado para a avaliar a média
1 ¯
h[I¯3 (z,t3 ) − I¯3 ][I¯4 (z,t4 ) − I¯4 ]i = hI1 (z,t3 )I¯1 (z,t4 )i − I¯12 ,
(2.182)
4
onde, por simplicidade de notação, assumimos os detetores à mesma distância z do divisor de feixes.
Note ainda que o correlacionador neste caso inclui um filtro passa alta, que remove a média do sinal.
A média do sinal pode ser fornecida por outro canal de saída do detetor. A versão normalizada deste
correlacionador de Hanbury Brown-Twiss é expressa diretamente em termos do grau de coerência
de segunda ordem da luz incidente como
depois realizados com luz que corresponde proximamente à onda clássica estável; neste caso, a
correlação de Hanbury Brown-Twiss se anula para todos os valores de τ.
Para luz caótica com perfil de linha Lorentziano, a correlação dada pela equaçãos (2.168) e
(2.183) é
(2)
g1,1 (τ) − 1 = exp(−2|t4 − t3 |/τc ) = exp(−2|τ|/τc ) . (2.184)
No entanto, experimentos nunca são capazes de fazer medidas instantâneas da intensidade do feixe
e a correlação esperada é modificada de acordo com isso. Na prática, detetores sempre têm alguma
resolução temporal mínima, ou tempo de integração T , de modo que a intensidade gravada é uma
média sobre o período T . Considere um interferômetro de Hanbury Brown-Twiss onde intensidades
"instantâneas"são medidas simultaneamente por dois detetores de tempo de integração igual T . Se
a média sobre o tempo de resolução do detetor é indicada por mais colchetes angulares, o resultado
previsto é
1 T T
Z Z
(2)
hg1,1 i − 1 = dt 3 dt4 exp(−2|t4 − t3 |/τc )
T2 0 0
= (τc2 /2T 2 ){exp(−2T /τc ) − 1 + (2T /τc )} . (2.185)
Para um tempo de integração muito curto, T << τc , o lado direito da equação (2.185) se reduz à
unidade, em acordo com o resultado da equação (2.184) para medidas simultâneas das intensidades
instantâneas. No entanto, no limite oposto de um tempo de integração muito longo, T >> τc , o
lado direito da equação (2.185) é aproximadamente igual a τc /T , e a magnitude observada das
flutuações de intensidade é amplamente reduzida. Os experimentos originais tinham um fator de
redução da ordem de 105 , e seu sucesso dependeu de um processamento das intensidades medidas
para obter a correlação na equação (2.183) diretamente.
Os efeitos de interferência na intensidade descritos acima são governados pela coerência de
segunda ordem temporal da luz. A coerência temporal controla as propriedades de correlação
e flutuação dos campos e intensidades em uma direção paralela ao feixe, e é determinada pela
dinâmica dos átomos emissores de luz na fonte. No entanto, da mesma forma que para o interferô-
metro de Mach-Zehnder, a observação prática das correlações de intensidade também é afetada pela
coerência espacial da luz, associada com as dimensões finitas da fonte e dos detetores. A coerência
espacial controla principalmente as propriedades de correlação da luz nas direções perpendicula-
res ao feixe. O propósito original do interferômetro de Hanbury Brown-Twiss era a medida dos
diâmetros angulares de estrelas pela observação de efeitos de coerência espacial [Bro54]. Era
crucial, então, que os detetores estivessem espacialmente separados. Independente que qualquer
dependência espacial transversal nas correlações observadas, o uso do arranjo com dois detetores
do interferômetro de Hanbury Brown-Twiss é benéfico mesmo para medidas de coincidência no
mesmo ponto do espaço por conta de efeitos de recuperação do detetor. Detetores ultra-sensíveis
sofrem tipicamente um período de paralisia logo após uma medida, conhecido como tempo morto.
Um par de medidas muito próximas, ou efetivamente coincidentes, é portanto melhor realizadas
com o uso de detetores diferentes para as duas observações.
II
segunda unidade
3 Foto-deteção . . . . . . . . . . . . . . . . . . . . . . . 81
3.1 Teoria semi-clássica da foto-deteção
3.2 Estados puros e misturas estatísticas
3.3 O operador intensidade
3.4 Graus de coerência de primeira e segunda ordem
quânticos
As várias propriedades dos feixes luminosos derivadas no capítulo anterior são meio abstratas,
no sentido de que elas se referem aos campos elétricos e intensidades da luz, sem nenhuma consi-
deração séria de como essas propriedades são medidas. Os tempos de observação, ou integração,
associados às medidas foram mencionados, mas sem descrição dos métodos pelos quais as variáveis
básicas associadas com a luz são convertidas em leituras experimentais. Quase todos os dispositivos
práticos medem a intensidade de um feixe de luz ao invés de seu campo elétrico. A operação
deles depende da absorção de uma porção do feixe, cuja energia é convertida para uma forma
detetável. A placa fotográfica, o foto-tubo (ou fotomultiplicadora), o bolômetro e o foto-diodo
todos pertencem a esta categoria. No que segue, introduziremos primeiro uma teoria semiclássica
para o processo de foto-deteção, onde consideraremos a luz como um campo clássico, mas os
elétrons são tratados de forma quantizada, no sentido de que são excitados um a um. Depois,
expandiremos o tratamento para englobar campos quantizados, e começaremos a discussão de
como essa modelagem da foto-deteção afeta as medidas das funções de correlação da luz que
introduzimos no capítulo anterior.
são então acelerados de modo a atingir outra superfície emissora secundária. Depois de 10 ou
mais estágios semelhantes de amplificação, a emissão de cada foto-elétron do catodo resulta em
um pulso de milhões de elétrons no anodo, que é grande o suficiente para ser registrado por um
contador eletrônico. Através da contagem desses pulsos foto-elétricos, temos um detetor luminoso
ultrassensível.
Foi constatado experimentalmente que a emissão fotoelétrica a partir de uma dada superfície
ocorre apenas se a frequência da luz incidente é alta o suficiente para exceder um certo valor de
limiar (veja a figura 3.2). Uma vez que essa frequência crítica é excedida, o número de foto-elétrons
liberados por segundo é proporcional à intensidade da luz incidente, enquanto a energia cinética
média dos foto-elétrons é independente da intensidade da luz. Isto não foi fácil de entender dentro
do arcabouço clássico da física. Pareceu a Einstein [Ein05] ser explicável de forma direta se os
elétrons dentro do metal fossem ligados em algum poço de potencial com energia mínima de ligação
E0 , e se a luz fosse considerada como consistindo de partículas discretas ou fótons, de energia h̄ω
na frequência ω. O fluxo de fótons é proporcional à intensidade da luz ou ao fluxo de potência.
Quando um fóton é absorvido na superfície foto-elétrica, ele pode transferir sua energia de h̄ω para
um elétron, mas a não ser que h̄ω > E0 isto seria insuficiente para liberar o elétron. Apenas quando
ω > E0 /h̄ a emissão foto-elétrica ocorre, e então se espera que o número de elétrons liberados por
segundo seja proporcional ao fluxo de fótons ou à intensidade da luz.
Apesar dessa imagem “quântica” simples dar conta de alguns traços do efeito foto-elétrico,
foi necessário o desenvolvimento mais completo da teoria quântica e da eletrodinâmica quântica
para descrever o efeito em detalhes, e para fornecer expressões para as probabilidades de emissão
3.1 Teoria semi-clássica da foto-deteção 83
foto-elétrica em vários tempos. Vamos introduzir o tratamento quantizado completo mais à frente.
Acontece, no entanto, que para muitas aplicações a quantização do campo eletromagnético não é
necessária, e a resposta do foto-detetor pode ser entendida mesmo se continuarmos a imaginar o
campo em termos de ondas eletromagnéticas clássicas, contanto que os foto-elétrons sejam tratados
quanticamente. Tal abordagem para o problema é chamada de semiclássica, e é substancialmente
mais simples que o tratamento quântico completo. Naturalmente, ele tem limitações. No entanto,
para campos eletromagnéticos para os quais existe uma descrição clássica adequada, os tratamentos
quântico e semiclássico do problema da foto-deteção levam comumente às mesmas respostas.
No caso da foto-multiplicadora, a deteção de cada pulso elétrico corresponde a uma foto-
contagem, e a quantidade medida é a taxa de foto-contagens. Assim, na teoria semiclássica, a
¯ do feixe em uma sucessão de
foto-mutliplicadora converte a intensidade clássica média por ciclo I(t)
foto-contagens discretas. A taxa de ionização atômica é então proporcional à densidade de energia
óptica, ou intensidade. O número m de foto-contagens produzidas em um tempo de integração T
fornece assim uma medida da intensidade óptica. Um experimento de foto-contagem consiste de um
grande número, por exemplo 105 , de medidas sucessivas dos números de foto-contagens em tempos
de integração de mesma duração T . Os resultados podem ser expressos como uma densidade de
probabilidade Pm (T ) para a ocorrência de m foto-contagens durante um tempo de observação T . Se
assume ao longo da derivação abaixo que os feixes de luz medidos são estacionários. O objetivo
dos cálculos é determinar a relação da distribuição estatística de foto-contagens medida Pm (T ) com
as propriedades estatísticas do feixe luminoso.
Para a presente discussão da teoria semi-clássica, é apenas necessário fazer a suposição razoável
de que a probabilidade p(t) por unidade de tempo de uma foto-ionização ocorrer no instante t é
¯ naquele instante. A probabilidade de que o feixe
proporcional à intensidade média por ciclo I(t)
luminoso cause uma única foto-ionização, registrada como uma única foto-contagem, durante o
intervalo de tempo entre t e t + dt tem, portanto, a forma
¯
p(t)dt = ξ I(t)dt , (3.1)
Pm (t,t 0 + dt 0 ) . (3.2)
Existem, no entanto, duas formas distintas nas quais m foto-contagens podem ocorrer durante o
intervalo de tempo dado. Ou
(1) m foto-contagens ocorrem entre t e t + t 0 e nenhuma no intervalo dt 0 , com probabilidade
total
Pm (t,t 0 + dt 0 ) = Pm (t,t 0 )[1 − p(t + t 0 )dt 0 ] + Pm−1 (t,t 0 )p(t + t 0 )dt 0 . (3.5)
A cadeia de equações é resolvida por recursão, começando com a equação (3.7), sujeitas à
condição de contorno de que certamente não pode haver foto-contagens durante um intervalo de
tempo nulo, de modo que
¯ T )T ] ,
P0 (t, T ) = exp[−ξ I(t, (3.9)
Os outros elementos da distribuição são determinados a partir da equação (3.6), começando com
m = 1 e seguindo para os valores mais altos de m.
3.1 Teoria semi-clássica da foto-deteção 85
Problema 3.1 Para visualizar melhor como se dá essa recorrência, prove primeiro que a
equação (3.6) pode ser escrita como
d h ξ I(t,t
¯ 0 )t 0 0
i
¯ 0 )t 0
¯ + t 0 )eξ I(t,t
e Pm (t,t ) = ξ I(t Pm−1 (t,t 0 ) . (3.11)
dt 0
Problema 3.2 Prove então por indução que a solução geral da equação (3.6) [ou 3.11], sujeita
às condições de contorno (3.8), é
¯ T )T ]m
[ξ I(t,
Pm (t, T ) = ¯ T )T ] .
exp[−ξ I(t, (3.12)
m!
A média estatística na equação (3.13) é difícil de realizar no geral, mas existem alguns poucos
casos especiais simples. O caso mais simples de todos é o da onda estável clássica da figura
(2.14), onde a intensidade média em um ciclo tem o valor fixo I, ¯ independente do tempo. Não há
necessidade de realizar a média neste caso e a distribuição na equação (3.13) se reduz a
hmim −hmi
Pm (T ) = e . (3.15)
m!
Esta é uma distribuição de Poisson e sua forma é ilustrada na figura (3.4) para três valores da média
de contagens, onde n na figura é aqui trocado por m. A estatística de foto-contagens é a mesma
daquela encontrada para a chegada de pingos de chuva de taxa constante de queda ou para a emissão
de partículas durante o decaimento radioativo de um isótopo de vida longa.
86 Capítulo 3. Foto-deteção
¯ T ) = I(t)
I(t, ¯ para T << τc . (3.16)
¯ = ε0 c E02 a(t)2 ,
I(t) (3.17)
2
onde E0 é a amplitude constante da luz emitida por um átomo individual e a(t) é obtido a partir da
expressão
a(t) exp(iφ (t)) = exp(iφ1 (t)) + exp(iφ2 (t)) + · · · + exp(iφv (t)) , (3.18)
com φi (t) a fase aleatória do átomo i no instante t. Consideraremos o número v de átomos como
sendo muito grande. φ (t) e a(t) são então a fase e amplitude resultantes do processo da soma
dos termos carregando a fase aleatória de cada átomo. Na figura (2.8), vemos que a(t) representa
3.1 Teoria semi-clássica da foto-deteção 87
¯ dada por
com a densidade de probabilidade de encontrar a intensidade instantânea I(t)
¯ ¯
¯ e−I(t)/I
p[I(t)] = . (3.23)
I¯
Assim, para um feixe ergódico estacionário de luz caótica, a média da equação (3.13) é avaliada
como
1
Z ∞
¯ ¯ T )T ]m
¯ [ξ I(t,
Pm (T ) = ¯ ¯ −I(t)/I
d I(t)e ¯ T )T ]
exp[−ξ I(t, (3.24)
I 0 m!
¯
ou, definindo u = I(t)/ I¯ e usando a equação (3.14) para hmi,
hmim
Z ∞
Pm (T ) = du e−u um e−hmiu . (3.25)
m! 0
U = exp(−h̄ω/kB Te ) , (3.28)
88 Capítulo 3. Foto-deteção
Un
P(n) = l
= (1 −U)U n . (3.29)
∑∞
l=0 U
U
hni = ∑ nP(n) = . (3.30)
n 1 −U
hni
U= . (3.31)
1 + hni
hnin
P(n) = . (3.32)
(1 + hni)n+1
A distribuição de foto-contagens para luz caótica com tempos de integração curtos é então se-
melhante à da distribuição de fótons em um único modo de uma fonte de luz térmica, dada pela
equação (3.32) e ilustrada na figura (3.5). No entanto, a distribuição de foto-contagens na equação
(3.26) não é restrita à excitação de um único modo, mas se aplica no geral a qualquer luz caótica.
Figura 3.5: distribuição térmica de número de fótons para três valores do número
médio hni.
A forma da distribuição de foto-contagens para luz caótica é muito mais difícil de calcular
para tempos de integração que não são nem longos nem curtos comparados ao tempo de coerência,
requerendo cálculos numéricos. Apesar disso, não é difícil calcular o tamanho das flutuações nas
3.1 Teoria semi-clássica da foto-deteção 89
onde o valor médio hmi é dado pela equação (3.14). A variância na distribuição de foto-contagens
é então
A primeira contribuição para a variância é a mesma para todos os tipos de luz. Ela é conhecida
como shot noise (ou ruído de disparo) no processo de deteção e é resultado da natureza discreta
da ionização foto-elétrica. O segundo termo é conhecido como o excesso de ruído e é claramente
dependente da natureza da luz. A variância da intensidade que ocorre neste termo mede as flutuações
de onda no feixe luminoso.
O exemplo mais simples da variância nas foto-contagens ocorre para a onda clássica estável,
onde a intensidade média em um ciclo tem o valor fixo de I¯ e o segundo termo na equação (3.34) se
anula, resultando em
Assim todos os feixes de luz caótica produzem a mesma variância de foto-contagens neste limite.
No limite oposto de tempos de integração longos, a variância fica
τ
c
(∆m)2 = hmi + hmi2 para T >> τc (3.38)
T
e o resultado de Poisson da equação (3.35) é recobrado quando o segundo termo pode ser despre-
zado.
90 Capítulo 3. Foto-deteção
Eles formam uma base completa para o campo eletromagnético e, como vimos na equação (1.88),
um estado puro geral do campo eletromagnético é expresso como uma superposição desses estados
da base da forma
onde o somatório corre, no geral, sobre todos os conjuntos {nl } de números de fótons nl = 0, 1, 2, . . . ,
um para cada modo l no volume de quantização. A generalidade completa desse estado é raramente
usada, mas existem estados puros importantes do campo de radiação nos quais a superposição é
restrita aos estados de número de um único modo. Estados de superposição tem a característica
comum de que a contribuição de cada estado |{nl }i da base tem uma amplitude e fase bem definida,
relativas ao ângulo de fase total da superposição completa, incorporadas no coeficiente complexo
C ({nl }).
No entanto, nem todas as excitações do campo de radiação podem ser expressas como superpo-
sições lineares dos estados de base definidos na equação (1.85), não sendo possível representá-las
como estados puros na forma da equação (3.40). Algumas analogias podem ser traçadas entre as
descrições de feixes de luz nas teorias clássica e quântica. Assim, enquanto o campo elétrico de
uma onda estável clássica é especificado por uma amplitude e fase definidas, o campo elétrico do
feixe de luz de uma fonte caótica é descrito apenas em termos de probabilidades para o campo ter
valores particulares de amplitude e fase. Uma situação semelhante ocorre em mecânica quântica,
onde a natureza de uma fonte de luz caótica exclui a possibilidade de uma descrição do campo
emitido em termos de estados puros com relações de fase específicas entre os diferentes estados
de número de fótons no feixe de saída. Quando tudo que pode ser especificado é um conjunto
de probabilidades de que o campo de radiação seja encontrado em uma faixa de estados, cada
correspondendo a um de um conjunto completo de estados da base, então o estado do campo é uma
mistura estatística. Distribuições estatísticas são introduzidas em mecânica quântica através do
operador densidade.
Considere um campo eletromagnético para o qual existe uma probabilidade conhecida PR de
que o campo esteja no estado |Ri. Aqui R é um rótulo que corre sobre um conjunto de estados
puros da base suficientes para descrever o campo. Os estados de número multi-modos definidos
3.2 Estados puros e misturas estatísticas 91
na equação (3.39) são um conjunto de estados |Ri possíveis, mas outros conjuntos completos de
estados de base podem ser formados por superposições lineares apropriadas dos |{nl }i. Se assume
que a distribuição de probabilidade é normalizada, com
∑ PR = 1 . (3.41)
R
Considere algum observável O que é representado por um operador quantum-mecânico Ô. O valor
médio do observável para o estado puro |Ri é hR|Ô|Ri, e assim seu valor médio para a mistura
estatística especificada por PR é a média em ensemble
Esta é a expressão básica para predições de medidas em misturas estatísticas do campo de radiação.
É conveniente colocar a equação (3.42) em uma forma diferente com a qual é mais fácil de
trabalhar e que fornece expressões mais elegantes para as médias em ensemble. Consideremos |Si
qualquer conjunto de base completo de estados puros para o campo considerado, onde o rótulo S
especifica diferentes estados no conjunto. Utilizando a relação de completeza
∑ |SihS| = 1 , (3.43)
S
ρ̂ = ∑ PR |RihR| , (3.45)
R
onde o traço de um operador é a soma invariante dos elementos da diagonal da matriz para qualquer
conjunto completo de estados. O resultado (3.47) é completamente equivalente à expressão básica
(3.42), mas o uso do operador densidade simplifica as expressões para médias em ensemble e as
manipulações em seus cálculos. Um caso especial da equação (3.47), onde Ô é tomado como o
operador identidade, resulta na condição de normalização
Tr {ρ̂} = 1 . (3.48)
usados para calcular o traço na equação (3.47), é importante escolher cuidadosamente o conjunto
completo de estados base |Ri usados para definir o operador densidade. A escolha deve ser feita de
tal forma a preservar toda a informação sobre o estado do sistema. Assim, devemos notar que os
elementos de matriz do próprio ρ̂ têm diferentes propriedades para conjuntos completos diferentes
de estados. Para o conjunto definidor |Ri usado na construção de ρ̂, apenas os elementos da matriz
na diagonal são diferentes de zero,
hR0 |ρ̂|R00 i = ∑ PR hR0 |RihR|R00 i = PR0 δR0 ,R00 . (3.49)
R
No entanto, um elemento de matriz típico para algum outro conjunto completo de estados |Si é
hS|ρ̂|S0 i = ∑ PR hS|RihR|S0 i , (3.50)
R
e não há vínculos gerais sobre os |Si e |S0 i para os quais o lado direito seja diferente de zero. Para
qualquer estado de mistura estatística do campo de radiação, o conjunto apropriado de estados |Ri
na equação (3.42) é aquele para o qual os PR correspondentes fornecem toda informação sobre o
estado.
Um estado puro é um caso especial de mistura estatística no qual uma das probabilidades PR é
igual à unidade e todos os elementos restantes da distribuição se anulam. O operador densidade da
equação (3.45) é então
ρ̂ = |RihR| , (3.51)
e o campo de radiação está definitivamente em um estado puro específico |Ri. A descrição estatística
se torna redundante, mas o conceito de operador densidade continua válido. A propriedade que
vale apenas para um operador densidade de estado puro é
ρ̂ 2 = ρ̂ , (3.52)
que é facilmente demonstrada a partir da equação (3.51). É muitas vezes conveniente usar o
formalismo de operador densidade em expressões gerais de médias em mecânica quântica, de modo
que os resultados cubram ambos estados puros e misturas estatísticas.
Um exemplo importante de mistura estatística é dado pela excitação térmica de fótons em um
único modo à temperatura T . A partir das equações (3.29) e (3.45), o operador densidade baseado
nos estados de número nesse caso é dado por
ρ̂ = ∑ P(n)|nihn| = 1 − e−h̄ω/kB T ∑ e−nh̄ω/kB T |nihn| . (3.53)
n n
Os estados de número são a base correta para o operador densidade neste caso, porque a distribuição
térmica fornece informação apenas sobre as probabilidades de encontrar um sistema em seus vários
auto-estados de energia, que são os mesmos que os estados |ni. O operador densidade da equação
(3.53) tem apenas elementos diagonais da matriz de estados de número.
Problema 3.3 Determine o número médio de fótons termicamente excitados usando a equação
(3.47) na forma
hni = Tr ρ̂ ↠â
(3.54)
e assim mostre que o operador densidade da equação (3.53) pode ser expresso como
hnin
ρ̂ = ∑ |nihn| . (3.55)
n (1 + hni)1+n
3.2 Estados puros e misturas estatísticas 93
Problema 3.4 Mostre que o operador densidade da equação (3.53) para luz térmica mono-modo
pode ser escrito na forma equivalente
†
ρ̂ = 1 − e−h̄ω/kB T e−h̄ω â â/kB T , (3.56)
Problema 3.5 Prove que o operador densidade de luz térmica mono-modo satisfaz
1
Tr ρ̂ 2 =
. (3.57)
1 + 2hni
Isto é igual à unidade apenas para hni = 0, correspondendo ao estado de vácuo, que é um estado
puro obedecendo às equações (3.48) e (3.52).
Agora considere a excitação térmica de todos os modos. Os diferentes modos do campo são
independentes e o operador densidade de sua combinação é um produto das contribuições dos
modos individuais. Assim, usando os estados produtos da definição (3.39), o operador densidade é
expresso como
onde a soma corre sobre todos os conjuntos {nl } dos números de fótons nl para todos os modos
l. A distribuição de probabilidade total é obtida multiplicando os fatores semelhantes àquele na
equação (3.55), um para cada modo,
hnl inl
P ({nl }) = ∏ . (3.59)
l (1 + hnl i)1+nl
1
hnl i = (3.60)
eh̄ωl /kB T −1
e, com esta expressão, o operador densidade contém toda informação sobre o estado térmico.
O operador densidade dado pelas equações (3.58) e (3.59), no entanto, não se aplicam apenas
à distribuição térmica de fótons, mas também a uma ampla gama de excitações nas quais as
propriedade estatísticas da luz são apropriadamente aleatórias. Esta forma do operador densidade
se aplica, por exemplo, a todas as variedades de luz caótica. As distribuições espectrais da radiação,
neste caso, diferem daquela do equilíbrio térmico, e os números médios de fótons são determinados
pela natureza da excitação aleatória do campo. Assim, a equação (3.60) não é no geral aplicável.
Problema 3.6 Para o operador densidade das equações (3.58) e (3.59), prove explicitamente a
condição de normalização da equação (3.48) e mostre que o número médio total de fótons é
n o
hni = ∑ Tr ρ̂ â†l âl = ∑hnl i . (3.61)
l l
94 Capítulo 3. Foto-deteção
com Uˆ (t) o operador de evolução temporal do sistema [Sak94], dependente do tempo e o mesmo
em ambas as representações. Já os estados do sistema na representação de Heisenberg |ψiH
são independentes do tempo e relacionados aos respectivos estados |ψ(t)i na representação de
Schrödinger por
Esta última relação ressalta o principal contraste entre as duas representações, pois na representação
de Schrödinger temos a dependência temporal do estado dada por
Essas relações também servem para lembrar que qualquer resultado de medidas físicas independe
da representação usada, pois seus valores esperados em um instante t são dados por
hψ(t)|Ô(S) |ψ(t)i = hψ(t = 0)|Uˆ † (t)Ô(S) Uˆ (t)|ψ(t = 0)i = H hψ|Ô(H) |ψiH . (3.65)
Com isso em mente, o elemento de matriz relevante do potencial de interação de dipolo elétrico
(er · Ê) é obtido por uma adaptação direta do Hamiltoniano (1.109):
onde consideramos o estado inicial |ii = |ai|nl i do sistema átomo-luz e o estado final | f i =
|qi|nl − 1i. q denota o vetor de onda do elétron retirado do átomo ionizado, e já consideramos
apenas a parte de frequência positiva do campo elétrico, responsável pela absorção de fótons
na aproximação de onda girante. Os vetores r e r0 denotam a posição do elétron no átomo e a
posição do centro de massa do átomo, respectivamente. A taxa de transição foto-elétrica é então
calculada por uma integral sobre todos os possíveis vetores de onda q dos elétrons liberados, que
depende, portanto, dos estados tanto do átomo ligado quanto ionizado com um elétron livre. Essa
parte atômica da expressão para a taxa de transição contribui para a eficiência ξ do processo de
foto-deteção, mas não é necessária para a introdução do operador intensidade da luz.
3.3 O operador intensidade 95
Considerando um feixe de luz polarizado de planos paralelos, com todos os modos apontando
na mesma direção k, a parte de frequência positiva do campo pode ser escrita como
Ê+ (r0 ,t) = êÊ + (r0 ,t) , (3.67)
onde ê é o vetor polarização da luz, comum a todos os modos. Nesse caso, ê pode ser incorporado
à parte atômica do elemento de transição, que assume a forma escalar ehq|r · ê|ai. A parte radiativa
do elemento de transição contribui de forma independente da parte atômica e entra na taxa de
transição através do fator
hnl − 1|Ê + (r0 ,t)|nl i2 = hnl |Ê − (r0 ,t)|nl − 1ihnl − 1|Ê + (r0 ,t)|nl i
∑ P(nl )hnl |Ê − (r0 ,t)Ê + (r0 ,t)|nl i = Tr ρ̂ Ê − (r0 ,t)Ê + (r0 ,t) ,
(3.69)
nl
Problema 3.7 Prove que, para um feixe de luz paralelo polarizado, o operador intensidade
definido pela equação (3.70) é equivalente a um operador de magnitude
orientado paralelo ao feixe. Os operadores de campo elétrico são dados pelas equações (1.75),
passando para a representação de Heisenberg, com uma única polarização e com o somatório
em k restrito a vetores de onda paralelos.
A definição do operador intensidade adotada na equação (3.70) concorda assim com a forma da
intensidade derivada na equação (3.69) considerando o efeito foto-elétrico.
O valor esperado do operador intensidade simplifica para luz incidente cujo operador densidade
não tem elementos fora da diagonal na matriz de estados de número, como por exemplo para a luz
caótica descrita pelas equações (3.58) e (3.59). A intensidade para uma dada polarização obtida
com uso da equação (3.71) é independente de posição e tempo neste caso, com o valor
ˆ = c
hIi ∑ h̄ωk hnk i , (3.72)
V k
onde o somatório do lado direito fornece a energia de excitação do campo eletromagnético acima
do ponto zero.
pelos operadores quantizados do campo elétrico na representação de Heisenberg, que precisam ser
colocados em ordem normal Ê − Ê + nas expressões para as medidas de intensidade. Para entender
porque usar sempre o ordenamento normal, lembre que o operador intensidade vem da absorção da
luz pelo meio atômico e o ordenamento normal implica na atuação dos operadores de destruição
sobre o estado (ket) seguindo uma certa ordem temporal, com a respectiva atuação dos operadores
de criação sobre o Hermiteano conjugado do estado (bra) seguindo a mesma ordem temporal. A
versão quântica da equação (2.92) é então
1
Iˆ4 (t) = ε0 c|rd |2 |td |2 Ê − (t1 )Ê + (t1 ) + Ê − (t2 )Ê + (t2 ) + 2Re Ê− (t1 )Ê+ (t2 ) . (3.73)
2
Os h· · · i agora representam valores esperados da mecânica quântica calculados de acordo com a
equação (3.47), por exemplo
−
Ê (t1 )Ê + (t2 ) = Tr ρ̂ Ê − (t1 )Ê + (t2 ) ,
(3.74)
Esta quantidade mantém seu significado físico como medida da habilidade da luz nos pontos (r1 ,t1 )
e (r2 ,t2 ) do espaço-tempo de formar franjas de interferência quando superpostas. Para os feixes de
luz de planos paralelos assumidos na seção anterior, esta definição tridimensional geral se reduz a
um análogo quântico da equação (2.115) como
−
Ê (z1 ,t1 )Ê + (z2 ,t2 )
(1)
g (z1 ,t1 ; z2 ,t2 ) =
1/2 . (3.76)
Ê − (z1 ,t1 )Ê + (z1 ,t1 ) Ê − (z2 ,t2 )Ê + (z2 ,t2 )
Para feixes de luz que são também estacionários, o grau de coerência de primeira ordem assume a
forma mais simples
−
Ê (t)Ê + (t + τ)
(1)
g (τ) =
− , (3.77)
Ê (t)Ê + (t)
onde τ é definido na equação (2.119). As designações dos tipos de luz dadas nas equações (2.116) a
(2.118) continuam valendo para a definição quântica do grau de coerência de primeira ordem. Esta
definição permite que a intensidade de saída do Mach-Zehnder da equação (3.73) seja colocada em
uma forma mais compacta, semelhante à equação (2.96)
n o
Iˆ4 (t) = 2|rd |2 |td |2 I(t)
ˆ 1 + Reg(1) (τ) ,
(3.78)
taxa de transição envolve o quadrado do elemento de matriz, analogamente à equação (3.68). Essas
considerações levam à definição do grau de coerência de segunda ordem quântico como
−
Ê (r1 ,t1 )Ê − (r2 ,t2 )Ê + (r2 ,t2 )Ê + (r1 ,t1 )
(2)
g (r1 ,t1 ; r2 ,t2 ) =
−
, (3.79)
Ê (r1 ,t1 )Ê + (r1 ,t1 ) Ê − (r2 ,t2 )Ê + (r2 ,t2 )
onde as médias em ensemble h· · · i são novamente avaliadas com uso do operador densidade
semelhantemente à equação (3.74). O significado físico da coerência quântica é a mesma da sua
contra-parte clássica, e particularmente a condição para coerência de segunda ordem em dois pontos
do espaço-tempo é a mesma da equação (2.172).
A definição tridimensional geral simplifica para um feixe de luz de planos paralelos pela troca
de r por z, resultando em
−
Ê (z1 ,t1 )Ê − (z2 ,t2 )Ê + (z2 ,t2 )Ê + (z1 ,t1 )
(2)
g (z1 ,t1 ; z2 ,t2 ) =
−
, (3.80)
Ê (z1 ,t1 )Ê + (z1 ,t1 ) Ê − (z2 ,t2 )Ê + (z2 ,t2 )
e esta forma do grau de coerência de segunda ordem é usada para a maioria das aplicações subse-
quentes da teoria. As coordenadas de espaço-tempo entram na coerência apenas na combinação de
τ definida na equação (2.119). Se o feixe de luz é também estacionário, o grau de coerência de
segunda ordem pode ser escrito como
−
Ê (t)Ê − (t + τ)Ê + (t + τ)Ê + (t)
(2)
g (τ) =
2 , (3.81)
Ê − (t)Ê + (t)
similar ao intervalo clássico da equação (2.157). No entanto, não é possível provar que o grau de
coerência de segunda ordem quântico satisfaz às desigualdades clássicas (2.156) e (2.160). Note
que supomos que a intensidade da luz correspondia a um número real bem definido para obter
essas desigualdades, enquanto que a imagem quântica para a quantidade física sendo medida é
mais complexa. As diferenças resultantes entre as teorias quânticas e clássicas serão exploradas
nos próximos capítulos.
4. Óptica quântica mono-modo
fenômenos observados.
Experimentos que mostram fenômenos discrepantes com as predições da teoria clássica, envol-
vendo feixes mono-modos, geralmente dependem do uso de luz não-clássica cujas flutuações e
propriedades de coerência não podem ser descritas em termos clássicos. Os resultados de muitos
desses experimentos podem ser expressos em termos de componentes do grau de coerência de
segunda ordem, que assume um papel crucial na distinção entre feixes de luz que podem ou não
ser descritos por modelos clássicos. Daqui em diante focaremos nossa atenção em fontes de luz
não-clássicas e nos resultados da teoria quântica que diferem das previsões da teoria clássica.
ângulos de fase χ diferentes não comutam no geral. Assim, usando quaisquer uma das formas do
operador de campo da equação (4.4) e as relações de comutação (1.69) ou (4.5), é fácil mostrar que
h i2
Ê(χ1 ), Ê(χ2 ) = −2i E (1) sen(χ1 − χ2 ) ,
(4.6)
onde os diferentes ângulos de fase podem resultar de diferentes tempos ou posições de medida, ou
de diferentes ângulos de fase do oscilador local na deteção homodina. Note que os operadores de
campo completos em tempos iguais continuam comutando, e a falta de comutação mostrada na
equação (4.6) se aplica apenas a medidas do campo elétrico que são sensíveis a um único modo de
onda viajante. A relação de incerteza que resulta da equação (4.6) pode ser obtida do resultado geral
válido para dois operadores  e B̂ quaisquer em mecânica quântica relacionados, respectivamente,
aos observáveis A e B [Sak94]:
1
∆A ∆B ≥ Â, B̂ , (4.7)
2
onde
q
ˆ 2i
∆A = h(∆A) (4.8)
dá a variância (ou dispersão ou desvio quadrático médio) das medidas de A, com relações análogas
para o observável B. A partir dessas definições, temos ainda a expressão útil
ˆ 2 i = hÂ2 i − hÂi2 .
h∆A (4.10)
onde a variância do campo elétrico é definida, a partir das equações (4.8) e (4.10), como
D 2 E
2
(∆E(χ))2 = Ê(χ) − Ê(χ) . (4.12)
Segue da equação (4.11) que medidas dos valores dos campos em ângulos de fase χ que diferem
por múltiplos inteiros de π podem em princípio ser feitas precisamente, mas que medidas para
outros pares de ângulos de fase devem sofrer de incertezas intrínsecas da mecânica quântica. O
tamanho da incerteza ∆E depende da natureza do campo de excitação. A média e a variância do
campo para o estado de vácuo |0i são facilmente calculadas como
hÊ(χ)i = 0 (4.13)
e
h i2
(∆E(χ))2 = E (1) . (4.14)
Cálculos para outros tipos específicos de feixes luminosos são apresentados nas seções subsequen-
tes.
A incerteza no campo elétrico é independente do ângulo de fase de medida χ para o estado
de vácuo e para muitos tipos importantes de campos de excitação, como por exemplo o estado de
102 Capítulo 4. Óptica quântica mono-modo
número mono-modo e o estado coerente mono-modo. Nesses exemplos, a equação (4.11) deve ser
satisfeita com o valor máximo no lado direito, de modo que
h i2
(∆E(χ))2 ≥ E (1) (4.15)
para excitações com incerteza independente da fase. No entanto, existem outros tipos de luz para as
quais a incerteza ∆E(χ) varia muito fortemente com χ, por exemplo a luz comprimida considerada
mais à frente. Em tais exemplos, a relação de incerteza (4.11) permite ∆E ser menor que E (1) em
alguns ângulos de fase χ1 dado que ∆E seja maior que E (1) em outros ângulos χ2 .
O sinal coerente S carregado por um feixe de luz pode ser definido como o valor esperado do
operador de campo na equação (4.4),
S = hÊ(χ)i . (4.16)
N = (∆E(χ))2 , (4.17)
e a razão sinal ruído (SNR, do inglês signal to noise ratio) é definida como
S2 hÊ(χ)i2
SNR = = . (4.18)
N (∆E(χ))2
Esta razão é relacionada proximamente à razão sinal-ruído para a foto-corrente na deteção homodina,
tratada mais à frente. Ela fornece uma medida da capacidade de carregar informação, para esta forma
de deteção. A razão sinal-ruído é avaliada para o conjunto de campos de excitação considerados
nas próximas seções.
g(1) (z1 ,t1 ; z2 ,t2 ) = g(1) (τ) = g(1) (χ1 ; χ2 ) = exp{i(χ1 − χ2 )} , (4.19)
onde τ = χ2 − χ1 em acordo com as equações (2.119) e (4.2). Note que a normalização dos
operadores de campo não afeta o valor do grau de coerência de primeira ordem. De acordo com a
equação (2.116), segue que qualquer feixe luminoso mono-modo de planos paralelos é coerente em
primeira ordem para todos os pares de pontos do espaço-tempo.
A definição de grau de coerência de segunda-ordem também simplifica para luz mono-modo,
onde a notação dos ângulos de fase da equação (4.2) e os operadores de campo da equação (4.4)
convertem o grau de coerência de segunda ordem na equação (3.80) para a forma
Segue que o grau de coerência de segunda ordem para qualquer campo de excitação mono-modo
deve satisfazer à inequação
1
1− ≤ g(2) (τ) para hni ≥ 1 , (4.23)
hni
e o limite inferior é zero para hni < 1. O limite inferior na equação (4.23) é consistente com o valor
zero derivado de forma mais geral na equação (3.82), mas ele fornece um intervalo mais restrito de
valores que dependem da excitação média em número de fótons.
O grau de coerência de segunda ordem é avaliado nas seções subsequentes para uma variedade
de estados e os resultados são todos independentes de τ para as excitações mono-modo consideradas
no presente capítulo. Graus de coerência de segunda ordem dependentes de tempo e espaço ocorrem
para feixes de luz que excitam dois ou mais modos, o que será tratado no próximo capítulo.
(∆n)2 = 0 . (4.24)
De uma forma geral, o valor esperado de uma potência arbitrária do número de fótons é simples-
mente
hnr i = nr . (4.25)
O grau de coerência de segunda ordem para o estado de número |ni segue assim trivialmente da
equação (4.21) como
1
g(2) (τ) = 1 − para n ≥ 1 , (4.26)
n
e tem o valor mínimo permitido pela desigualdade (4.23). A desigualdade clássica da equação
(2.155) para τ = 0 é violada. O grau de coerência de segunda ordem para o estado de número
de vácuo |0i não é determinada pelas expressões na equação (4.21), já que ambos numerador e
denominador se anulam.
104 Capítulo 4. Óptica quântica mono-modo
A relação para os auto-valores de energia pode ser escrita em diferentes formas a partir de
várias relações deduzidas até aqui:
† 1 h̄ω 2 2
1
Ĥ|ni = h̄ω â â + |ni = 2 X̂ + Ŷ |ni = h̄ω n + |ni , (4.27)
2 4 E (1) 2
onde usamos as definições (4.3) para os operadores de quadratura. O estado de número então tem a
seguinte propriedade de auto-valor do operador quadratura:
1 2 2
1
2 X̂ + Ŷ |ni = n + |ni . (4.28)
4 E (1) 2
As variâncias dos operadores de quadratura têm os menores valores permitidos pela equação (4.31)
apenas para o estado de vácuo com n = 0. Assim, o estado |0i é um exemplo de um estado
de mínima incerteza na quadratura. A figura (4.1) mostra uma representação qualitativa das
propriedades das quadraturas do estado de número das equações (4.28) a (4.30). O círculo mostra o
autovalor dado na equação (4.28). Um ponto crucial para a discussão que segue é a independência do
estado de número com relação ao ângulo de fase χ, representada pela independência da magnitude
das quadraturas com χ.
Os valores esperados do operador campo elétrico na equação (4.4) são também facilmente
determinados. O sinal coerente ou o campo médio se anulam, em acordo com a equação (4.29),
S = hn|Ê(χ)|ni = 0 . (4.32)
4.2 Estados de número 105
A variância independente da fase satisfaz a relação de incerteza (4.15), e a razão sinal-ruído definida
na equação (4.18) se anula. A variância do campo tem o valor mínimo da equação (4.14) para o
estado de vácuo, mas o ruído é maior que o mínimo para os outros estados de número.
A figura (4.2) mostra uma representação pictórica das propriedades do campo do estado de
número mono-modo. O eixo vertical representa o campo elétrico em algum ponto fixo como função
do tempo. O campo oscila como uma onda senoidal de frequência conhecida ω. A equação (4.33)
mostra que a amplitude da onda é
1 1/2
(1)
E0 = 2E n+ . (4.34)
2
Representações pictóricas de estados da mecânica quântica devem ser tratadas geralmente com
cuidado. Assim, a figura (4.34) reproduz os valores esperados dados nas equações (4.32) e (4.33),
mas os cortes em cima e em baixo das distribuições de campo são plotados com definição exagerada.
A figura fornece uma representação mais acurada apenas no limite n >> 1.
4
Problema 4.1 Calcule o valor esperado hn| Ê(χ) |ni e mostre que ele excede a média
4
correspondente para as ondas senoidais da figura (4.2) por uma quantidade de 3 E (1) /2.
106 Capítulo 4. Óptica quântica mono-modo
A variação do campo do estado de número mono-modo mostrada mostrada na figura (4.2) faz
um claro contraste com aquela da onda clássica de amplitude e fase estáveis, definida pela equação
(2.123) e ilustrada na figura (2.14). Assim, enquanto o estado de número tem uma amplitude E0
(dada pela equação 4.34) até bem definida, ele não mostra nenhum vestígio do ângulo de fase φ
da forma de onda clássica. Outros tipos de excitação do campo quântico, por exemplo o estado
coerente da próxima seção, têm amplitudes que são menos definidas, mas ângulos de fase que são
melhor definidos que aqueles do estado de número.
A simplicidade teórica dos estados de número contrasta com as dificuldades de produzi-los no
laboratório ao longo do tempo. Os primeiros estados desse tipo foram obtidos a partir de medidas
projetivas sobre estados de dois fótons gerados por decaimentos em cascatas de estados atômicos em
células de vapor, ou pelo processo de conversão paramétrica descendente em cristais. Esses sistemas
dominaram a área de geração de estados de número, mas especificamente fótons individuais, entre
o final da década de 70 e início da década de 90. Ao longo desse período, foi-se aprimorando o
aprisionamento e controle de átomos individuais, em armadilhas de íons ou acoplados a cavidades
ressonantes. Esses sistemas geram fótons individuais por conta do próprio emissor ser individual.
Essas fontes luminosas se desenvolveram entre a década de 80 e a primeira década do século XXI.
Nos últimos 10 anos, no entanto, a geração de fótons individuais têm se aprimorado em torno de
emissores individuais de estado sólido acoplados a micro-cavidades, como nos casos de pontos
quânticos e vacâncias em diamante. As primeiras fontes comerciais de fótons individuais, baseadas
nesses últimos sistemas, foram desenvolvidas apenas nos últimos anos. Foram necessárias então
décadas de trabalho experimental para atingir a situação atual, de relativa simplicidade na geração
de estados de número. Ao longo desse período, foi necessário também um grande amadurecimento
conceitual, com a consolidação de abordagens teóricas de primeiros princípios para processos
quânticos e sistemas individuais.
2 /2
∞
αn
|αi = e−|α| √
∑ |ni . (4.35)
n=0 n!
Nesta expressão, α é qualquer número complexo, e o estado coerente assim definido forma um
duplo contínuo correspondendo aos intervalos contínuos de valores das partes real e imaginária de
4.3 Estado coerente 107
Estados coerentes diferentes, no entanto, não são ortogonais, pois, para dois números complexos α
e β diferentes,
(α ∗ )n β n |α|2 |β |2
−(|α|2 +|β |2 )/2 ∗
hα|β i = e ∑ n! = exp − 2 − 2 + α β . (4.37)
n
Assim
2
|hα|β i|2 = e−|α−β | . (4.38)
Aparentemente, da definição (4.35), existem muito mais estados coerentes α que estados de número
|ni. Os |αi formam um conjunto de estados sobre-completos para o oscilador harmônico, e a falta
de ortogonalidade deles é uma consequência disso. Note, no entanto, da equação (4.38) que os
estados |αi e |β i se tornam aproximadamente ortogonais se |α − β | é muito maior que a unidade.
Os estados coerentes são auto-estados pela direita do operador destruição, como segue de
2 /2 αn √
â|αi = e−|α| √
∑ n! n|n − 1i = α|αi . (4.39)
n
O número complexo α que rotula o estado coerente é então o auto-valor do operador destruição.
Note, no entanto, que o estado |αi não é um auto-estado pela direita do operador criação, pois
nesse caso a soma análoga àquela da equação (4.39) não pode ser rearranjada para reproduzir o
estado coerente a partir de ↠|αi. Naturalmente, o operador criação satisfaz à relação conjugada à
equação (4.39) pela esquerda,
As relações simples de auto-valores nas equações (4.39) e (4.40) são muito úteis no cálculo de valo-
res esperados do estado coerente para produtos de operadores de criação e destruição.
Problema 4.2 Um abordagem alternativa para o estado coerente é tomar a equação de auto-
valor (4.39) como sua definição. Mostre que a expansão (4.35) do estado coerente em estados
de número pode ser derivada desse ponto de partida alternativo. Prove ainda que o operador de
criação ↠não tem auto-estado pela direita.
A relação (1.81) é usada para re-escrever a definição (4.35) do estado coerente como
n
α ↠|α|2
−|α|2 /2 †
|αi = e ∑ n! |0i = exp α â − 2 |0i . (4.41)
n
para qualquer par de operadores ĉ e dˆ que comutam com o comutador deles, isto é
ˆ ĉ, dˆ = 0 .
ĉ, ĉ, dˆ = d,
(4.43)
108 Capítulo 4. Óptica quântica mono-modo
Problema 4.4 Use a relação (4.42) para colocar a equação (4.41) na forma
como na equação (1.81). Temos então que o operador deslocamento satisfaz às condições
Os valores esperados do estado coerente para o operador número são obtidos de forma direta
com uso das propriedades (4.39) e (4.40) para auto-valores à esquerda e à direita,
Para o segundo momento, é conveniente reordenar os operadores de criação e destruição com o uso
da relação de comutação entre â e ↠,
n̂2 = ↠â↠â = ↠(↠â + 1)â = ↠↠ââ + ↠â =: ↠â↠â : +↠â =: n̂2 : +↠â . (4.56)
Os termos com os operadores de destruição à direita dos operadores de criação são ordenados
normalmente e a notação :: no lado direito da equação acima significa "coloque os operadores entre
os dois pontos em ordem normal". É fácil avaliar os valores esperados de operadores ordenados
normalmente para o estado coerente, usando as propriedades de auto-valor, Assim,
2
n = hα|n̂2 |αi = |α|4 + |α|2 = hni2 + hni , (4.57)
e esta decresce com o aumento dos valores da amplitude |α| do estado coerente.
Esta variância em número de fótons da luz coerente pode ser comparada com a variância
clássica da intensidade da onda estável, que é mostrada ser nula na equação (2.148). O lado direito
não nulo da equação (4.58) é uma consequência dos aspectos tipo-partícula da luz na teoria quântica.
A equação (4.59) mostra que a importância desses aspectos diminui com valores crescentes do
número médio de fótons hni.
A probabilidade de encontrar n fótons no modo é obtida da definição (4.35) como
2 |α|2n hnin
P(n) = |hn|αi|2 = e−|α| = e−hni . (4.60)
n! n!
Esta é uma distribuição de probabilidade de Poisson, semelhante àquela na equação (3.15), e a
equação (4.58) é a expressão usual para a variância dessa distribuição. A forma da distribuição de
Poisson é ilustrada na figura (3.4) para três valores do número médio de fótons hni. Sua forma
de pico contrasta com o decréscimo monotônico para luz caótica mostrado na figura (3.5). A
distribuição de Poisson se aproxima da distribuição Gaussiana para grandes valores de hni.
Problema
√ 4.6 Use a propriedade hnin = exp{n lnhni} e a aproximação de Stirling na forma
n! ≈ 2πn(n/e)n para mostrar que a equação (4.60) pode ser escrita na forma Gaussiana
(n − hni)2
1
P(n) = p exp − (4.61)
2πhni 2hni
para hni >> 1. Note que, nesse limite, a equação (4.59) implica que [(n − hni)/hni] << 1. Na
dedução acima, precisaremos dessa relação para aproximar ln(1 + x) ≈ x − x2 /2.
110 Capítulo 4. Óptica quântica mono-modo
Problema 4.7 Tomando n como uma variável contínua na equação (4.61), verifique a normali-
zação dessa distribuição e derive o resultado (4.59) para a variância.
O grau de coerência de segunda ordem para o estado coerente |αi segue assim da equação (4.21)
como
O estado é então coerente em segunda ordem de acordo com a prescrição da equação (2.172),
semelhante à onda estável clássica considerada na equação (2.170), e é esta propriedade que leva à
nomenclatura do estado |αi.
Os valores esperados para o estado coerente dos operadores de quadratura definidos nas
equações (4.3) são facilmente encontrados fazendo uso das propriedades (4.39) e (4.40),
hα|X̂|αi = E (1) hα| ↠+ â |αi = E (1) (α ∗ + α) = 2E (1) Re α = 2E (1) |α| cos θ ,
(4.64)
onde tomamos
α = |α|eiθ . (4.65)
De forma análoga
Os valores esperados dos quadrados dos operadores de quadratura são encontrados com a ajuda do
procedimento de ordenamento normal. Assim,
h i2
X̂ 2 = E (1) ↠↠+ 2↠â + ââ + 1 ,
(4.67a)
h i2
Ŷ 2 = E (1) −↠↠+ 2↠â − ââ + 1 ,
(4.67b)
Portanto, diferentemente das variâncias para os estados de número dadas pela equação (4.30), o
estado coerente é um estado de incerteza mínima nas quadraturas para todos os números médios de
fótons |α|2 .
Os valores esperados do operador de campo (4.4) são também facilmente determinados por
cálculos semelhantes. A superposição para estado coerente da equação (4.35) contém estados de
número adjacentes, e assim o campo médio não se anula. O sinal coerente é
O ruído é então independente da fase e tem o valor mínimo permitido pela equação (4.15), o mesmo
que para o estado de vácuo na equação (4.14), para todos os valores de |α|. A relação sinal ruído,
como definida na equação (4.18), é
SNR = 4|α|2 cos2 (χ − θ ) = 4hni cos2 (χ − θ ) , (4.72)
com um valor máximo de 4hni para χ = θ .
A figura (4.3) mostra uma representação dos valores esperados do campo elétrico. A amplitude
média associada com o estado coerente é mostrada como a seta cheia de comprimento |α| = hni1/2
inclinada do ângulo χ − θ com relação ao eixo do campo real. A projeção da seta no eixo do campo
real fornece o valor médio da equação (4.70). Os dois ângulos que ocorrem nesta expressão são
fisicamente distintos, com χ definido pela equação (4.2) e sendo determinado pela posição e tempo
de avaliação das médias de campo, enquanto θ , definido pela equação (4.65), é a fase média da
excitação de estado coerente do modo. Assim, χ é uma propriedade da medida e está, em princípio,
sob controle do experimentador. Por outro lado, θ é uma propriedade da excitação do campo sobre
o qual a medida é feita e, em princípio, está fora do controle do experimentador.
Figura 4.3: Representação das propriedades do campo elétrico para o estado coerente
com número médio de fótons hni = 4, mostrando a média e a incerteza no campo.
Todas as grandezas que dependem da amplitude do campo elétrico estão em unidades
de 2E (1) .
A incerteza do campo é mostrada na figura (4.3) por um disco circular de diâmetro E (1) , e a
projeção do disco sobre o eixo real do campo fornece a raiz quadrada da variância independente da
fase (4.71). O disco de incerteza é decomposto em contribuições de amplitude e fase, mostradas
pelos diâmetros ortogonais. A contribuição de amplitude reproduz o resultado da equação (4.58)
para a incerteza em número de fóton:
1 2 1 2
1/2 1/2
∆n = hni + − hni − = hni1/2 . (4.73)
4 4
A contribuição de fase representa uma incerteza na fase do estado coerente que é obtida como o
ângulo ∆φ englobado pelo diâmetro do disco na origem. Dado que |α| >> 1, temos
1/2 1
∆φ ≈ = . (4.74)
|α| 2hni1/2
112 Capítulo 4. Óptica quântica mono-modo
Figura 4.4: Dependência com a fase do campo elétrico de um estado coerente mono-
modo com hni = 4, mostrando a oscilação cossenoidal da média, ou sinal, e a faixa
de incerteza, ou ruído, com largura vertical constante N 1/2 = E (1) . A amplitude do
campo elétrico no gráfico está em unidades de 2E (1) .
Os outros valores esperados são da mesma forma dados por médias dos valores esperados corres-
pondentes para os estados de número, e os resultados são
hY i = 0 , (4.84a)
h i2 1
(∆X) = (∆Y ) = E
2 2 (1)
hni + , (4.84b)
2
hE(χ)i = 0 , (4.84c)
h i2 1
2
(∆E(χ)) = E (1)
hni + . (4.84d)
2
114 Capítulo 4. Óptica quântica mono-modo
As médias de quadratura e campo da luz caótica são então as mesmas encontradas para o estado de
número, mas com n trocado por hni. Luz caótica não pode carregar um sinal coerente e sua fase é
completamente incerta.
para alguns valores dos ângulos de fase χ da medida. Segue da desigualdade (4.11) que a ocorrência
2
de uma variância menor que E (1) em um ângulo de fase χ = χ1 = χ2 deve ser compensada por
2
uma variância maior que E (1) no ângulo de fase perpendicular a χ. Vemos isso diretamente de
2
(4.11) fazendo χ2 = χ1 + π/2. Isso força o produto ∆E(χ1 )∆E(χ2 ) a ser maior ou igual a E (1) .
Como sabemos que |∆E(χ1 )| < E (1) , então necessariamente |∆E(χ2 )| > E (1) .
Trataremos abaixo um exemplo simples de estado comprimido, e mostramos que seu ruído
dependente da fase satisfaz a condição de compressão (4.85). Introduziremos esse estado dire-
tamente através do operador que gera o estado a partir do vácuo. Tipicamente, esse operador
surge de processos de interação envolvendo outros modos que resultam em um dos modos ficando
comprimido ao final do processo. Um desses processos, por exemplo, é a conversão paramétrica
descendente degenerada, onde dois fótons são criados em um determinado modo luminoso após
absorção de um fóton mais energético em outro modo. Iremos discutir campos multi-modos e
processos de interação mais à frente no curso. Por enquanto, iremos apenas discutir as propriedades
desse estado, mesmo que sua geração não fique clara por agora.
Considere então o estado de vácuo comprimido em quadratura mono-modo definido por
ζ = seiϑ . (4.88)
Da mesma forma que para o operador de deslocamento, temos que Ŝ(ζ ) satisfaz às condições para
um operador unitário,
A definição na equação (4.86) lembra aquela do estado coerente na equação (4.45), mas com o
operador deslocamento linear da equação (4.46) trocado pelo operador de compressão da equação
(4.87), cujo expoente é quadrático nos operadores de criação e destruição do modo. Como
exemplificado acima no caso da conversão paramétrica descendente, note que são os coeficientes
4.5 O vácuo comprimido 115
quadráticos que levam à criação ou absorção de pares de fótons em um processo não linear de
segunda ordem.
É claro da forma do expoente na equação (4.87) que o estado de vácuo comprimido deve
consistir de uma superposição apenas de estados de número com n par. No entanto, o procedimento
dos problemas (4.3) e (4.4) não se aplica a termos quadráticos em um expoente e é necessário usar
teoremas mais gerais de ordenamento de operadores. Pode-se mostrar desta forma que a expansão
em estados de número do estado de vácuo comprimido, análogo à superposição de estados de
número do estado coerente na equação (4.35), é [Bar97]
[(2n)!]1/2 exp(iϑ )tanhs n
∞
1/2
|ζ i = (sechs) ∑ |2ni . (4.90)
n=0 n! 2
A expansão em estados de número pode ser usada para avaliar os valores esperados das várias
combinações de operadores de criação e destruição que ocorrem nas médias e variâncias em número
de fótons e no campo elétrico.
Esses valores esperados são, no entanto, algumas vezes avaliados facilmente por um método
alternativo. Considere o valor esperado do número de fótons,
hni = hζ |↠â|ζ i = h0|Ŝ† (ζ )↠Ŝ(ζ )Ŝ† (ζ )âŜ(ζ )|0i , (4.91)
onde a condição unitária da equação (4.89) é usada para inserir a quantidade unitária ŜŜ† no
centro.
Problema 4.8 Prove a relação geral
1
e−Ô âeÔ = â + [â, Ô] +
[â, Ô], Ô + . . . (4.92)
2!
pela expansão das exponenciais, onde Ô é qualquer operador. Então derive a propriedade de
transformação
Problema 4.9 Prove que a média do quadrado do número de fótons para o estado de vácuo
comprimido é dado por
2
n = 3senh4 s + 2senh2 s = 3hni2 + 2hni . (4.96)
116 Capítulo 4. Óptica quântica mono-modo
Este resultado é semelhante à condição do estado de vácuo ser anulado pelo operador destruição,
ao qual ele é reduzido na ausência de compressão com s = 0 e ζ = 0.
O interesse particular no estado de vácuo comprimido reside não em sua distribuição em número
de fótons, mas nas propriedades de seu operador de quadratura. É claro das equações (4.93) e (4.94)
que
e na verdade esses resultados são consequências imediatas da composição do estado ζ como uma
superposição de estados de número com n par. Os valores esperados dos operadores de quadratura
definidos na equação (4.3), portanto, também se anulam
Considere, no entanto, as variâncias dos operadores de quadratura, que são determinados pelos
valores esperados
Problema 4.11 Prove com uso das equações (4.67a) e (4.67b) que as variâncias dos operadores
de quadratura podem ser expressas nas formas
i2
2 ϑ 2 ϑ
h
−2s
(∆X) = E
2 (1) 2s
e sen + e cos (4.104)
2 2
4.5 O vácuo comprimido 117
e
i2
2 ϑ 2 ϑ
h
−2s
(∆Y ) = E
2 (1) 2s
e cos + e sen . (4.105)
2 2
A figura (4.5) mostra uma representação dos valores esperados das quadraturas. Seus valores
médios nulos são representados pela centralização de um disco de incerteza elíptico na origem
dos eixos X e Y . A elipse tem eixos maior e menor de comprimentos exp(s)/2 e exp(−s)/2
respectivamente, inclinados de um ângulo ϑ /2 com relação aos eixos. As raízes quadradas das
variâncias das quadraturas são representadas pela projeção do disco nesses dois eixos, conforme
as equações (4.104) e (4.105). As variâncias reproduzem os valores do estado coerente dados
na equação (4.69) na ausência de compressão, com s = 0, mas em qualquer outra situação elas
2
assumem valores que podem ser ou maiores ou menores que E (1) .
Os valores esperados do operador de campo (4.4) são facilmente obtidos por cálculos análogos.
O campo médio, ou sinal coerente, se anula,
S = hζ |Ê(χ)|ζ i = 0 , (4.106)
O ruído é claramente dependente da fase e a figura (4.6) ilustra a variação do campo elétrico com
χ − (ϑ /2), onde o valor médio zero se situa ao longo do eixo horizontal e a separação entre as
curvas com tracejado longo representa a incerteza do campo obtida da raiz quadrada da equação
(4.107). As linhas de tracejado curto mostram a incerteza do campo correspondente ao estado de
vácuo coerente obtido quando s = 0. Vemos da equação (4.107) que o valor mínimo da incerteza é
ϑ
∆Emin = ∆E + mπ = E (1) e−s , (4.108)
2
118 Capítulo 4. Óptica quântica mono-modo
onde m é zero ou um inteiro, e este valor indica um campo que é comprimido em quadratura,
conforme a definição na equação (4.85). O valor máximo é
ϑ π
∆Emax = ∆E + mπ + = E (1) es , (4.109)
2 2
onde m é novamente zero ou um inteiro. O produto desses valores extremos,
h i2
∆Emin ∆Emax = E (1) , (4.110)
onde D̂(α) é o operador deslocamento de estado coerente da equação (4.46) e Ŝ(ζ ) é o operador de
compressão da equação (4.86). O estado coerente comprimido mantém o ruído reduzido do estado
de vácuo com compressão em quadratura, mas também possui o sinal não nulo do estado coerente
ordinário.
A expansão em estados de número do estado coerente comprimido é consideravelmente
mais complicada que aquela do estado de vácuo comprimido, dada na equação (4.90), e sua
forma [Lou87] não é reproduzida aqui. Valores esperados para o estado coerente comprimido
podem ser derivados por generalizações simples das transformações básicas dadas pelas equações
(4.93) e (4.94) para o estado de vácuo comprimido. Uso das propriedades do operador deslocamento
de estado coerente dadas pelas equações (4.53) e (4.54) leva às relações
Essas relações fornecem um relação de auto-valor para o estado coerente comprimido pelo mesmo
procedimento usado na derivação da equação (4.99) para o estado de vácuo comprimido, e o
resultado é
âcosh s + ↠eiϑ senh s |α, ζ i = αcosh s + α ∗ eiϑ senh s |α, ζ i . (4.114)
A equação de auto-valor se reduz àquela para o estado de vácuo comprimido na equação (4.99)
quando α = 0, e àquela para o estado coerente na equação (4.39) quando s = 0.
O cálculo do número médio de fótons segue o mesmo procedimento que nas equações (4.91) a
(4.95) e o resultado é
O número médio de fótons é assim a soma de contribuições idênticas àquelas do estado coerente na
equação (4.55) e do estado de vácuo comprimido na equação (4.95). A variância de número de
fótons é obtida de forma similar como
ϑ ϑ
(∆n)2 = |α|2 e2s sen2 θ − + e−2s cos2 θ − + 2senh2 s(senh2 s + 1) , (4.116)
2 2
e a expressão se reduz aos resultados dados na equação (4.58) para o estado coerente e na equação
(4.97) para o estado de vácuo comprimido nos limites apropriados. Uma expressão para o grau de
coerência de segunda ordem do estado coerente comprimido em quadratura é facilmente escrita
pela substituição das equações (4.115) e (4.116) na equação (4.21).
No entanto, o principal interesse do estado coerente comprimido novamente se encontra nas
propriedades de seu operador de quadratura, ao invés de em sua estatística de número de fótons.
Segue das equações (4.111) a (4.94) que
idêntico aos resultados das equações (4.64) e (4.66) para o estado coerente ordinário. Similarmente,
segue com uso das equações (4.67) que as variâncias nas quadraturas são
i2
2 ϑ 2 ϑ
h
−2s
(∆X) = E
2 (1) 2s
e sen + e cos (4.119)
2 2
e
i2
2 ϑ 2 ϑ
h
−2s
(∆Y ) = E
2 (1) 2s
e cos + e sen , (4.120)
2 2
idênticas aos resultados das equações (4.104) e (4.105) para o estado de vácuo comprimido. A
figura (4.7) ilustra o desenvolvimento das propriedades de quadratura a partir dos fatores no lado
direito da equação (4.111), começando com o disco de ruído circular do estado de vácuo ordinário
120 Capítulo 4. Óptica quântica mono-modo
Figura 4.7: Representações das variâncias e médias do operador quadratura para (1) o
estado de vácuo ordinário, (2) o estado de vácuo comprimido, e (3) o estado coerente
comprimido.
centrado na origem no primeiro passo, convertido no disco elíptico de ruído do estado de vácuo
comprimido pela aplicação do operador Ŝ(ζ ) no segundo passo, e transformado no disco elíptico
de ruído deslocado do estado coerente comprimido pela aplicação do operador D̂(α) no terceiro
e último passo. A figura mostra como os valores médios dos operadores de quadratura vêm a ser
determinados apenas pelo parâmetro de compressão ζ . As propriedades da elipse de ruído são
idênticas àquelas do estado de vácuo comprimido ilustrado na figura (4.5).
Os valores esperados do operador campo elétrico da equação (4.4) são facilmente obtidos dos
resultados acima. Assim, o campo médio, ou sinal coerente, é
4|α|2 cos2 (χ − θ )
SNR = . (4.123)
e2s sen2 χ − ϑ2 + e−2s cos2 χ − ϑ2
O sinal e o ruído são controlados por ângulos de fase distintos θ e ϑ , respectivamente, cujos valores
relativos dependem do método de geração do estado coerente comprimido. A fonte de luz pode, em
princípio, ser ajustada para otimizar uma característica desejada do feixe. Assim, a razão sinal-ruído
máxima é
ϑ
SNRmax = 4e2s |α|2 para χ = θ = , (4.124)
2
que representa um aumento do valor para o estado coerente ordinário por um fator exponencial.
O estado coerente comprimido em quadratura tira proveito do melhor de ambos os mundos, no
sentido de que sua componente de sinal coerente é a mesma do estado coerente, mas seu ruído pode,
em princípio, se reduzido significativamente abaixo do valor para o estado coerente, se igualando
ao ruído do estado de vácuo comprimido em quadratura.
4.7 Relações de entrada e saída do divisor de feixes 121
onde φr e φt são as fases dos coeficientes de reflexão e transmissão do divisor de feixes, respectiva-
mente. De forma semelhante, as relação (2.76) entre as entradas e saídas clássicas se convertem em
relações análogas entre os operadores de campo quantizados. Para um divisor de feixes simétrico,
estas são expressas como as relações
â1 = rd∗ â3 + td∗ â4 e â2 = td∗ â3 + rd∗ â4 (4.127)
são algumas vezes úteis, e estas são obtidas diretamente da equação (4.126) com uso das equações
(4.125). As relações correspondentes entre os operadores de criação de entrada e saída são dadas
pelos Hermiteanos conjugados das equações (4.126) e (4.127).
Assumimos que os campos de entrada nos braços 1 e 2 são independentes, com operadores de
criação e destruição que satisfazem as relações de comutação bosônicas
h i h i
â1 , â†1 = â2 , â†2 = 1 (4.128)
e
h i h i
â1 , â†2 = â2 , â†1 = 0 . (4.129)
Assim, os operadores dos modos de saída também satisfazem relações de comutação bosônicas.
Uma abordagem alternativa à teoria do divisor de feixes começa com a exigência básica de que
os operadores dos modos de saída devem satisfazer relações de comutação bosônicas indepen-
dentes, com as relações (4.125) entre os coeficientes de reflexão e transmissão seguindo como
consequências.
As relações de entrada e saída (4.126) fornecem conexões imediatas entre os operadores de
campo elétrico mono-modos, como definidos pelas equações (4.4), para os quatro braços do divisor
de feixes. Assim, com os rótulos dos braços denotados pelos subscritos dos campos, segue que
n o
Ê3 (χ) = E (1) â3 e−iχ + â†3 eiχ = E (1) (rd â1 + td â2 ) e−iχ + rd∗ â†1 + td∗ â†2 eiχ
= E (1) |rd |â1 e−i(χ−φr ) + |td |â2 e−i(χ−φt ) + |rd |â†1 ei(χ−φr ) + |td |â†2 ei(χ−φt )
= |rd |Ê1 (χ − φr ) + |td |Ê2 (χ − φt ) , (4.131a)
Ê4 (χ) = |td |Ê1 (χ − φt ) + |rd |Ê2 (χ − φr ) . (4.131b)
Os valores médios dos campos de entrada e saída satisfazem as mesmas relações que na equação
(4.131). Assumindo que os campos de entrada não estão correlacionados hÊ1 Ê2 i = hÊ1 ihÊ2 i , é
direto mostrar que suas variâncias, definidas como na equação (4.12), estão relacionadas por
O divisor de feixes então transmite as flutuações de campo com os coeficientes |rd |2 e |td |2 e
mudanças de fase φr e φt apropriadas. Essas mudanças de fase no ruído, naturalmente, só são
relevantes para estados de entrada com ruídos dependentes da fase, como, por exemplo, os estados
comprimidos das seções (4.5) e (4.6). As relações (4.132) representam um tipo de conservação de
ruído, ou flutuação, de quadratura entre os braços de entrada e saída.
Os operadores de número de fótons para os braços do divisor de feixes são definidos como
n̂3 = |rd |2 â†1 â1 + rd∗ td â†1 â2 + td∗ rd â†2 â1 + |td |2 â†2 â2 (4.134)
4.8 Fóton individual na entrada 123
n̂4 = |td |2 â†1 aˆ1 + td∗ rd â†1 â2 + rd∗ td â†2 â1 + |rd |2 â†2 â2 . (4.135)
A soma das equações (4.134) e (4.135) com uso da equação (4.125) resulta em
que representa a conservação de número de fótons entre os braços de entrada e saída do divisor
de feixes. Novamente, as relações básicas (4.125) para os coeficientes de reflexão e transmissão
do divisor de feixes poderiam ser derivadas exigindo a validade da lei de conservação (4.136), e
realmente este é o análogo quântico do método clássico que supõe conservação de energia, usado
na seção (2.2.2).
Os efeitos da transmissão pelo divisor de feixes sobre as flutuações em número de fótons são
calculados usando as equações (4.134) e (4.135). As expressões para as variâncias em número de
fótons dos dois braços de saída são bem complicadas para estados de entrada gerais, e restringiremos
nossa atenção ao arranjo experimental comum onde apenas uma das entradas é iluminada. Assim,
com a entrada do braço 2 sendo o vácuo, as variâncias de saída ficam
Cada variância de número de fótons na saída tem uma contribuição da variância de entrada, com
o escalonamento apropriado, mais uma contribuição adicional proporcional ao número de fótons
médio na entrada. Se considera esta segunda contribuição como gerada por um batimento do
campo de entrada no braço 1 com a flutuação do campo de vácuo no braço 2, ou como um ruído de
partição causado pela divisão aleatória do fluxo de fótons na entrada pelo divisor de feixes, com
probabilidades |rd |2 e |td |2 para os dois braços de saída.
onde |0i denota o estado de vácuo conjunto dos braços do divisor de feixes. O estado da entrada é
convertido no estado correspondente da saída usando o Hermiteano conjugado da equação (4.127):
|1i1 |0i2 = rd â†3 + td â†4 |0i = rd |1i3 |0i4 + td |0i3 |1i4 . (4.139)
Esta conversão do estado de entrada em uma superposição linear dos dois possíveis estados de saída
é o processo quântico básico executado pelo divisor de feixes. Um estado da forma mostrada no
lado direito da equação (4.139), com a propriedade de que cada contribuição para a superposição é
um produto de estados para sistemas diferentes (braços de saída), é dito ser emaranhado. Note que
apesar do estado como um todo ser puro, os braços individuais de saída não estão em estados puros.
Ambos os estados produtos na superposição representam um fóton em um braço e nenhum no outro.
Tais superposições ocorrem apenas na mecânica quântica, não tendo análogos na teoria clássica.
O emaranhamento é responsável pela importância do divisor de feixes em uma gama extensa de
experimentos em óptica quântica.
124 Capítulo 4. Óptica quântica mono-modo
N30 h0| {rd |1i3 |0i4 + td |0i3 |1i4 i} = N 0td |1i4 = |1i4 (4.140)
onde N 0 é uma constante de normalização, aqui igual a 1/td . Em palavras, o estado da saída do
divisor de feixes condicionado na observação do estado de vácuo no braço 3 é um fóton individual
no braço 4.
Agora considere os valores esperados do campo elétrico para o estado de saída no lado direito
da equação (4.139). É direto mostrar, com uso da definição do operador de campo mono-modo
na equação (4.4), que os campos médios se anulam em todos os braços do divisor de feixes,
como já vimos para estados de número no geral. As variâncias também são calculadas de forma
direta.
Problema 4.13 Prove que
h i2
(∆E3 (χ3 ))2 = E (1) (2|rd |2 + 1) (4.141a)
h i2
(∆E4 (χ4 ))2 = E (1) (2|td |2 + 1) , (4.141b)
concordando com a equação (4.132) quando as variâncias de entrada são inseridas a partir das
equações (4.14) e (4.33). Mostre também que a correlação entre os campos de saída é
h i2
Ê3 (χ3 )Ê4 (χ4 ) = 2 E (1) |rd ||td | cos (φr − φt − χ3 + χ4 ) .
(4.142)
Esta correlação não nula é importante para a formação de franjas no interferômetro de Mach-
Zehnder.
Os números médios de fótons nos dois braços de saída são determinados pela troca dos
operadores de saída pelos operadores de entrada, usando a equação (4.126). Assim,
hn3 i = 2 h0| 1 h1|n̂3 |1i1 |0i2 = 2 h0| 1 h1| rd∗ â†1 + td∗ â†2 rd â1 + td â2 |1i1 |0i2 = |rd |2 , (4.143)
e similarmente
de fótons observados nos braços 3 e 4 são multiplicados um pelo outro. A média em mecânica
quântica para este produto é
onde a equação (4.125) foi usada. A média zero é uma consequência clara do aspecto tipo-
partícula do fóton único, já que sua presença em um braço de saída requer sua ausência no outro
e cada realização experimental produz uma correlação 1 × 0 ou 0 × 1. Contrastando com isso,
nenhum campo de entrada descrito pela teoria clássica é capaz de produzir uma correlação zero de
intensidades de saída.
Agora considere o exemplo mais complicado de um interferômetro de Mach-Zehnder, como
representado na figura (4.9). Os dois divisores de feixe são assumidos simétricos e idênticos, com
as propriedades dadas na equação (4.125). O interferômetro completo pode ser considerado como
um divisor de feixes composto, cujos dois operadores de saída são relacionados aos dois operadores
de entrada por
0
â3 = rMZ â1 + tMZ â2 e â4 = tMZ â1 + rMZ â2 . (4.146)
onde k = ω/c é o vetor de onda óptico e z1 e z2 são os comprimentos dos dois caminhos internos
do interferômetro. É direto verificar que esses coeficientes compostos satisfazem as relações
0 0 ∗ ∗
|rMZ |2 + |tMZ |2 = |rMZ |2 + |tMZ |2 = 1 e rMZ tMZ + tMZ rMZ = 0, (4.148)
126 Capítulo 4. Óptica quântica mono-modo
em acordo com as propriedades gerais do divisor de feixes dadas pelas equações (2.79). O
interferômetro de Mach-Zehnder como um todo não é equivalente a um divisor de feixes simétrico.
As amplitudes dos dois coeficientes de reflexão nas equações (4.147) são as mesmas, mas as fases
são diferentes. O número médio de fótons no braço 4 de saída é agora dado pela equação (4.144),
mas com substituição do coeficiente de transmissão composto,
2 2 2 2 1
hn4 i = |tMZ | = 4|rd | |td | cos k(z1 − z2 ) . (4.149)
2
O padrão de franja tem a mesma dependência em vetor de onda e diferença de caminhos que a
encontrada na teoria clássica, dada pela equação (2.132) na situação em que a luz que viaja através
do interferômetro pelos dois caminhos tem coerência de primeira ordem.
Ambos os experimentos de fóton individual descritos acima têm sido realizados [Gra86] e
alguns detalhes são mostrados nas figuras (4.10) a (4.12). As entradas de fóton individual são obtidas
a partir da emissão em cascata de átomos de Ca, na qual dois fótons são emitidos sucessivamente.
Como representado na figura (4.10), a detecção de um dos fótons no lado esquerdo é usada para
operar uma janela eletrônica que ativa uma medida no outro fóton do par, no lado direito.
O experimento mede a correlação normalizada dos números de fótons n3 e n4 nos dois braços
de saída do divisor de feixes, que se espera que seja nula, de acordo com a equação (4.145). No
4.9 Entrada arbitrária em um braço 127
entanto, além do gêmeo do fóton que abre a janela, um acréscimo de n fótons pode entrar no
aparato durante o tempo no qual a janela permanece aberta. A figura (4.11) mostra a correlação
normalizada como função do número médio hni de fótons adicionais recebido pelo detector com
janela durante o período de detecção, ou tempo de integração. Fica claro que a correlação na saída
tende a zero a medida que o tempo de integração é feito suficientemente curto para que apenas um
fóton individual entre no aparato. A forma detalhada da variação da correlação com hni é derivada
na equação (4.155). O experimento essencialmente confirma a esperada anulação da correlação
quântica (4.145) do Hanbury Brown-Twiss.
A figura (4.12) mostra os resultados de um segundo experimento com a mesma fonte de
emissão em cascata com janela, mas com o interferômetro de Hanbury Brown-Twiss trocado pelo
Mach-Zehnder. Os resultados são construídos a partir de séries de medições de fótons individuais
com crescente diferença de caminho z1 − z2 . As franjas têm a forma de Mach-Zehnder da equação
(4.149), como esperado, com uma alta visibilidade de 98%, e não existe diferença detectável com
relação ao padrão de franjas clássicas da equação (2.132).
nas saídas do divisor de feixes simples das equações (4.143) e (4.144) são generalizados para
hn3 i = 2 h0| 1 harb||rd |2 â†1 â1 |arbi1 |0i2 = |rd |2 hn1 i (4.150)
onde
hn3 n4 i = rd∗ rd td∗td 1 harb|â†1 â1 â†1 â1 |arbi1 + rd∗ td rd∗ td 1 harb|â†1 â1 |arbi1
= |rd |2 |td |2 1 harb|â†1 â1 â†1 â1 − â†1 â1 |arbi1
= |rd |2 |td |2 1 harb|â†1 â†1 â1 â1 |arbi1
= |rd |2 |td |2 hn1 (n1 − 1)i , (4.153)
onde as equações (4.125) e (4.128) foram usadas. Os resultados acima se reduzem às equações
(4.143) a (4.145) quando a entrada no braço 1 é tomada como o estado de número de fótons
individuais |1i1 . Vemos da equação (4.153) que a correlação hn3 n4 i se anula apenas quando o braço
1 da entrada é o estado de vácuo |0i1 ou o estado de número |1i1 , ou uma superposição dos dois.
A análise acima do interferômetro de Hanbury Brown-Twiss é expressa em termos do grau de
coerência de segunda ordem quântico, similar ao tratamento clássico na seção (2.2.8). Assim, com
a mesma notação para a correlação normalizada dos feixes de saída usada na equação (2.179), as
equações (4.150), (4.151), (4.153) e (2.181) dão
Esta forma de variação do grau de coerência de segunda ordem com hni se ajusta bem aos pontos
experimentais mostrados na figura (4.11). A teoria mono-modo usada aqui não é estritamente
aplicável ao input com 1 + n fótons, que não estavam todos no mesmo modo nas condições do
experimento [Gra86]. No entanto, a mesma expressão da equação (4.155) é encontrada em um
cálculo mais realista.
A saída do Mach-Zehned da equação (4.149) é similarmente convertida para
2 2 2 2 1
hn4 i = |tMZ | hn1 i = 4|rd | |td | hn1 i cos k(z1 − z2 ) , (4.156)
2
e a expressão para a atuação sucessiva do operador de criação sobre o estado de vácuo. Novamente,
|0i é tomado como o estado de vácuo conjunto dos braços do divisor de feixes. A soma na equação
(4.157) expressa a superposição emaranhada de estados de número nos braços 3 e 4 de saída
produzida pela entrada |n1 i no braço 1.
Seja P1 (n1 ) a distribuição de número de fótons no braço de entrada 1. A distribuição de proba-
bilidade para os números de fótons nos dois braços de saída é obtida como o produto do elemento
apropriado da distribuição de entrada com o módulo quadrado do coeficiente correspondente na
equação (4.157):
(n3 + n4 )!
P3,4 (n3 , n4 ) = P1 (n3 + n4 ) |rd |2n3 |td |2n4 . (4.159)
n3 !n4 !
Como vimos logo acima, essa é uma distribuição binomial do tipo que governa a partição aleatória
de n objetos idênticos clássicos em duas categorias distintas com probabilidades respectivas |rd |2
e |td |2 . O próprio processo de partição é conhecido como amostragem de Bernoulli dos fótons
de entrada. Medidas que envolvem apenas o braço de saída 4 são controladas pela distribuição
reduzida
∞ ∞
n1 ! n1 −n4 2n
P4 (n4 ) = ∑ P3,4 (n3 , n4 ) = ∑ P1 (n1 ) 1 − |td |2 |td | 4 , (4.160)
n3 =0 n1 =n4 (n1 − n4 )!n4 !
onde usamos apenas n3 = n1 − n4 para chegar à expressão final à direita. P3 (n3 ) é dada por uma
expressão similar. Essas distribuições de probabilidade são usadas para avaliar várias médias para
números de fótons de saída.
Seguindo passos similares aos da dedução da equação (4.153) e usando a equação (4.150),
temos
hn3 (n3 − 1)i = hn23 i − hn3 i = |rd |4 1 harb|â†1 â1 â†1 â1 |arbi1 + |rd |2 |td |2 hn1 i − |rd |2 hn1 i
= |rd |4 1 harb|â†1 â1 â†1 â1 |arbi1 + |rd |2 (1 − |rd |2 )hn1 i − |rd |2 hn1 i
= |rd |4 1 harb|â†1 â1 â†1 â1 − â†1 â1 |arbi1 = |rd |4 hn1 (n1 − 1)i , (4.161)
e, de forma análoga,
e o grau de coerência de segunda ordem não é modificado do seu valor de entrada pela reflexão ou
transmissão em um divisor de feixes. Como as perdas em um caminho óptico podem ser modeladas
pela transmissão atenuada da luz por um divisor de feixes, temos que esse resultado mostra que
o grau de coerência de segunda ordem é uma medida bastante robusta à perdas no caminho do
feixe. Além disso, no caso especial de um divisor de feixes 50 : 50, a equação (4.163) mostra que a
diferença quadrática em número de fótons na saída é igual à média de número de fótons na entrada.
Considere luz mono-modo caótica como um exemplo específico de estado de entrada do
divisor de feixes. O número de fótons no braço de entrada 1 é agora distribuído de acordo com a
probabilidade P1 (n1 ) = hn1 in1 /(1 + hn1 i)1+n1 , obtida da equação (4.76). A distribuição de saída
derivada de acordo com a equação (4.159) fica
n3 n4
|rd |2 hn1 i |td |2 hn1 i
1 (n3 + n4 )!
P3,4 (n3 , n4 ) = . (4.165)
1 + hn1 i n3 !n4 ! 1 + hn1 i 1 + hn1 i
A distribuição reduzida para medidas apenas no braço 4, obtida de acordo com a equação (4.160),
pode ser reescrita usando as variáveis auxiliares
|rd |2 hn1 i
x= , (4.166a)
1 + hn1 i
|td |2 hn1 i
y= , (4.166b)
1 + hn1 i
como
∞
yn4 ∞
P4 (n4 ) = ∑ P3,4 (n3 , n4 ) = ∑ n1 (n1 − 1) · · · (n1 − n4 + 1)xn1 −n4
n3 =0 n4 !(1 + hn i)
1 n1=n4
n n yn4 ∂ n4
∞
y 4 ∂ 4
n1 1
= x =
n4 !(1 + hn1 i) ∂ xn4 n∑
1 =0
n4 !(1 + hn1 i) ∂ xn4 1 − x
n4 +1
yn4
1
= . (4.167)
(1 + hn1 i) 1 − x
que descreve uma distribuição caótica mono-modo com número médio de fótons |td |2 hn1 i. Uma
distribuição similar vale para medidas no braço 3 apenas, com o número médio de fótons modificado
para o complementar |rd |2 hn1 i. No entanto, a luz caótica não produz feixes caóticos independentes
nas duas saídas.
Problema 4.15 Prove que a correlação em número de fótons entre os dois braços de saída do
divisor de feixes para uma entrada caótica no braço 1 é
132 Capítulo 4. Óptica quântica mono-modo
Esta expressão tem um fator 2 adicional quando comparado com o resultado correspondente para
feixes de luz independentes, derivado na equação (4.174) abaixo.
A distribuição de saída para um estado de entrada coerente é mais facilmente derivada com uso
do operador de criação do estado coerente para o braço, como definido na equação (4.46). O estado
de entrada é então
onde a fatoração no passo final é permitida por conta dos operadores para as saídas 3 e 4 comutarem,
como visto na equaçao (4.130). Segue que a saída é um produto de estados coerentes,
e não ocorre emaranhamento. As distribuições de número de fótons na saída têm assim a forma
Poissoniana da equação (3.4) e, por exemplo,
|td |2 hn1 i n4
2
P4 (n4 ) = exp −|td | hn1 i . (4.173)
n4 !
O estado coerente de entrada tem a propriedade única de que sua divisão por um divisor de
feixes produz duas saídas que são indistinguíveis de feixes de luz coerentes produzidos por fontes
independentes. Assim, todas as correlações entre as saídas fatoram e, por exemplo, é direto mostrar
que
e
Ê3 (χ3 )Ê4 (χ4 ) = Ê3 (χ3 ) Ê4 (χ4 ) , (4.175)
onde os valores esperados para os estados coerentes individuais são como dados nas equações
(4.55) e (4.70), respectivamente, com a substituição das amplitudes complexas rd α e td α para os
braços de saída.
O padrão de franjas para o interferômetro de Mach-Zehnder com um estado coerente de entrada
é dado pela equação (4.156), com |α|2 substituindo o número médio de fótons na entrada. A
identificação acima da saída do primeiro divisor de feixes com estados coerentes independentes
sugere que franjas similares devem ocorrer na superposição de feixes de luz vindos de fontes
independentes. Tais franjas são mesmo observadas no campo formado pela superposição de
luz de dois lasers independentes [Pfl67, Lou93]. A interferência ocorre entre as amplitudes de
probabilidade de que um fóton detectado foi emitido por uma fonte ou a outra. A interpretação do
experimento é a mesma que aquela do interferômetro de Mach-Zehnder com excitação de estado
coerente, na qual não há como um fóton simultaneamente contribuir para os efeitos de interferência
e ser atribuído a uma fonte laser definida. O fóton neste caso excita um estado de superposição
semelhante à equação (4.139), onde 3 e 4 rotulam agora os feixes de saída dos dois lasers e rd e td
são proporcionais às amplitudes dos feixes.
As distribuições de número de fótons na saída para entradas de luz caótica e coerente, dadas
pelas equações (4.168) e (4.173), têm as mesmas formas funcionais que as distribuições de entrada.
4.9 Entrada arbitrária em um braço 133
Isto, no entanto, não é uma propriedade geral da transmissão através de um divisor de feixes e um
contra-exemplo é dado pelo estado de número |n1 i na entrada, para o qual a equação (4.160) dá
n1 ! n1 −n4 2n
P4 (n4 ) = 1 − |td |2 |td | 4 . (4.176)
(n1 − n4 )!n4 !
Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . 187
5. Óptica quântica multi-modo: emaranhamento
A restrição a campos luminosos mono-modos no último capítulo nos permitiu discutir uma
gama de estados da luz com uma complexidade teórica mínima. Essa abordagem foi crucial para
introduzir de forma mais clara uma série de campos luminosos sem análogo clássico. Por outro lado,
perdemos importantes elementos de realismo ao considerar campos mono-modos. Perdemos, por
exemplo, a dinâmica temporal do sistema, particularmente na forma como discutimos no capítulo 3,
ou seja, os campos do capítulo 4 não perdem a coerência com o tempo. Para modelar tal dinâmica,
precisaríamos de uma distribuição de modos de frequência.
Uma outra restrição do tratamento mono-modo é desprezar correlações quânticas entre dife-
rentes modos espaciais da luz. No contexto do interferômetro de Mach-Zehnder com um fóton
individual, vimos já no capítulo anterior um exemplo de estado emaranhado da luz, exibindo
correlações quânticas entre modos propagando em diferentes regiões do espaço. Focaremos, no
presente capítulo, em explorar estados multi-modos exibindo emaranhamento quântico. Isso porque
tais estados formam uma família exibindo propriedades não-clássicas muito maior que a família dos
modos individuais não-clássicos da luz. O potencial de tais estados, em termos de tipos diferentes,
propriedades e aplicações, continua basicamente inexplorado. No que segue, introduziremos a
noção de emaranhamento quântico através de seus exemplos mais simples: estados bipartites da
luz.
acalorados no período de elaboração da mecânica quântica. Outro desses problemas era o conceito
de superposição de estados de um sistema físico, como um átomo que poderia estar em uma super-
posição de seus estados fundamental e excitado. Vários físicos objetavam a noção de uma teoria que
incorporava a indefinição como uma propriedade fundamental da natureza. Esse questionamento do
formalismo final da mecânica quântica levou, em 1935, a um trabalho de Einstein, Podolsky e Rosen
(EPR) [Ein35] que mostrava que a mecânica quântica implicava que duas partículas separadas por
uma grande distância podiam aparentemente ter suas propriedades alteradas por medições realizadas
na outra partícula, sem nenhuma restrição à velocidade de propagação da informação entre os sítios
das duas partículas. Pouco depois, Schrödinger cunhou o termo "estado emaranhado"para essa
situação física ressaltada por EPR [Sch35, Sch36]. As discussões sobre esse problema continuaram
por décadas, inspiradas pela proposta original de EPR de que o paradoxo gerado por estados
emaranhados indicava que a mecânica quântica deveria ser considerada incompleta, e que uma
teoria consistente mais geral estaria por trás das observações experimentais. A polêmica só foi
resolvida em 1964 por Bell [Bel64], que mostrou que era possível experimentalmente checar se
sistemas físicos seguiam uma teoria realista como sugerida por EPR ou se seguiam a mecânica
quântica com toda a sua estranheza. O experimento proposto por Bell foi posteriormente realizado
entre as décadas de 70 e 80 do século passado [Fre72, Asp82], mostrando a incompatibilidade da
natureza com teorias realistas nos moldes sugeridos por EPR e a concordância dos experimentos
com as previsões da mecânica quântica. Essa discussão de cinco décadas foi fundamental para
ressaltar aspectos fundamentais da mecânica quântica que desafiam nossa intuição da natureza
muito além do que havia se desenhado nos primórdios da mecânica quântica. Inicialmente, a
discussão não envolvia diretamente estados da luz, mas os primeiros experimentos que testaram as
idéias de Bell foram todos realizados com pares de fótons. Isso abriu uma nova frente para explorar
estados quânticos mais complexos da luz, com novas ferramentas experimentais para distinguir
estados da luz sem análogos clássicos. Nessa seção, vamos discutir a adaptação para estados da luz
do método proposto por Bell.
+1 0
Â(0) = . (5.1)
0 −1
O polarizador pode de fato rotacionar em torno do eixo Oz e sua orientação é indicada por um vetor
unitário u, ou por um ângulo θ = (Ox, u) entre u e Ox. Uma medida da polarização na orientação
especificada por θ é associada com polarizações lineares ao longo de θ ou θ + π2 . Os auto-vetores
5.1 Fótons emaranhados em polarização e violação de desigualdades de Bell
139
Uma medida feita por um polarizador orientado na direção θ dará resultados +1 ou -1 com
probabilidades
Figura 5.2: (a) Polarizador birrefringente e (b) polarizador por camada dielétrica.
Ambos estão orientados ao longo de θ = 0. Medidas de polarização são feitas
posicionando foto-contadoras nas portas +1 e -1.
E = E1 ⊗ E2 , (5.6)
As propriedades de polarização de um par são descritas por um vetor |ψi neste espaço.
Usando os polarizadores I e II da figura (5.3), orientados nas direções escolhidas a e b (fazendo
ângulos θa e θb com o eixo Ox), medidas de polarização podem ser realizadas em cada fóton. Uma
medida conjunta em dois fótons do mesmo par pode resultar em um dos quatro resultados (+1, +1),
(+1, −1), (−1, +1) ou (−1, −1). As probabilidades correspondentes são
e assim sucessivamente. De modo a manter a notação tão transparente quanto possível, os índices 1
e 2 serão geralmente omitidos, como feito acima, com o entendimento de que a primeira quantidade
é referente ao fóton v1 e a segunda ao fóton v2 . Podemos também obter as probabilidades para
5.1 Fótons emaranhados em polarização e violação de desigualdades de Bell
141
medidas em um único fóton. Estas são relacionadas às medidas conjuntas. Por exemplo, a
probabilidade de obter +1 para o fóton v1 é
Essas probabilidades são medidas posicionando detetores de fótons nas saídas correspondentes
dos polarizadores e usando circuitos de coincidência capazes de identificar detecções simultâneas
em intervalos de tempo da ordem de nano-segundos, como no caso do interferômetro de Hanbury
Brown-Twiss.
Consideremos agora pares de fótons no estado
1
|ψEPR i = √ (|x, xi + |y, yi) . (5.11)
2
Note imediatamente a natureza especial deste estado, no qual uma polarização específica não pode
ser atribuída ao fóton 1 nem ao fóton 2. Na verdade, este estado não pode ser fatorado em um
produto tensorial de dois termos, um associado com v1 e o outro com v2 , ao contrário dos estados
|x, xi ou |y, yi tomados separadamente. Lembrando que o estado |x, xi representa um estado com os
dois fótons polarizados na direção Ox. Esta impossibilidade de fatorar um estado como |ψi reside
no coração do emaranhamento quântico.
Figura 5.3: Experimento mental de EPR usando pares de fótons com polarizações
correlacionadas. As polarizações dos fótons v1 e v2 do mesmo par são analisadas
em direções a e b por polarizadores I e II, onde os vetores a e b que caracterizam
as orientações dos polarizadores são perpendiculares ao eixo Oz. Os resultados das
medidas revelam a existência de correlações de polarização.
1
P+ (a) = P++ (a, b) + P+− (a, b) = . (5.15)
2
Da mesma forma, obtemos as outras probabilidades de detecção simples:
1
P− (a) = , (5.16)
2
1
P+ (b) = P− (b) = . (5.17)
2
Primeiro, observamos de (5.15) a (5.17) que cada medida leva a resultados que, tomados separada-
mente, parecem ser aleatórios. Se representarmos o resultado da medida do polarizador I (orientado
ao longo de a) através de uma variável clássica aleatória A (a) que pode assumir apenas os valores
+1 e -1, então (5.15) e (5.16) implicam que
1
P[A (a) = +1] = P[A (a) = −1] = . (5.18)
2
Este resultado é então perfeitamente aleatório, e a média estatística (denotada por uma barra no
topo) de A (a) é
A (a) = 0 . (5.19)
B(a) = 0 . (5.20)
Portanto, no estado EPR, cada fóton tomado separadamente parece ser despolarizado. No
entanto, veremos agora que as polarizações de v1 e v2 são de fato correlacionadas. Para isso,
consideramos o coeficiente de correlação entre as variáveis aleatórias A (a) e B(b), definido como
A definição acima é relativa às variáveis aleatórias A (a) e B(b), que representam os resultados
das medidas. Se esses resultados de medidas são dados pelas predições da teoria quântica relativas
ao par EPR, como especificadas em (5.12) a (5.14), temos
A (a) · B(b) = (+1) · (+1) · P++ (a, b) + (−1) · (−1) · P−− (a, b) + (+1) · (−1) · P+− (a, b)
+ (−1) · (+1) · P−+ (a, b)
= cos 2(a, b) , (5.22)
encontramos que a mecânica quântica prediz o seguinte coeficiente de correlação para as polariza-
ções no estado EPR:
EQM (a, b) = A (a) · B(b) = cos 2(a, b) . (5.24)
Se os polarizadores I e II são orientados na mesma direção, isto é (a, b) = 0, o coeficiente de
correlação predito pela mecânica quântica é um. Em outras palavras, temos correlação perfeita.
Esta correlação perfeita pode ser vista diretamente considerando o valor das probabilidades
conjuntas quando (a, b) = 0. Por exemplo, temos P++ (a, a) = 1/2. Lembrando que P+ (a) = 1/2,
deduzimos que a probabilidade condicional de encontrar +1 para v2 na direção b = a, tendo
encontrado +1 para v1 na direção a, é apenas
P{B(a) = +1EA (a) = +1}
P{B(a) = +1|A (a) = +1} =
P{A (a) = +1}
P++ (a, a)
= = 1. (5.25)
P+ (a)
Podemos então ter certeza de encontrar +1 para v2 se tivermos encontrado +1 para v1 , quando os
polarizadores têm a mesma orientação. Pode-se da mesma forma mostrar que se encontrarmos
-1 para v1 , então encontramos -1 para v2 . Esta correlação perfeita é confirmada pelo fato de que
P+− (a, a) = P−+ (a, a) = 0, isto é, se encontramos +1 para v1 , nunca encontramos -1 para v2 , e vice-
versa. O nível de correlação (5.24) depende do ângulo entre os polarizadores. Para (a, b) = π/4,
ele é zero. No entanto, para (a, b) = π/2, ele é -1, que corresponde mais uma vez a correlação
perfeita (o sinal menos indica que se encontramos +1 de um lado, temos certeza de encontrar -1 do
outro).
A predição da teoria quântica de correlação perfeita entre certas medidas feitas em duas partí-
culas distantes, espacialmente separadas mas descritas por um estado emaranhado, foi descoberta
por Einstein, Podolsky e Rosen. Eles concluíram daí que a mecânica quântica era uma teoria
incompleta. A hipótese EPR é que a aparente dependência dos resultados da teoria quântica com
a posição de aparatos de medidas muito distantes entre si indicava que deveria haver uma teoria
mais geral na qual as correlações viriam de propriedades ainda desconhecidas do sistema, não das
posições dos aparatos de medidas. Com o tempo, as novas teorias baseadas nessa hipótese passaram
a receber o nome de teorias de variáveis escondidas, pois assumiam que haviam parâmetros ainda
desconhecidos dos cientistas por trás das correlações estranhas previstas pela mecânica quântica.
Assumimos que existe tanta chance de obter +1 quanto -1 para cada medida de polarização, isto é
Z Z
dλ ρ(λ )A(λ , a) = dλ ρ(λ )B(λ , b) = 0 . (5.29)
Note que todas essa condições acima apenas se ajustam de forma razoável à condição física que
queremos modelar. A partir delas, é então claro que o coeficiente de correlação em polarização,
definido na forma usual por (5.21), pode ser escrito neste modelo de variáveis escondidas (EV)
como
Z
EEV (a, b) = A(λ , a) · B(λ , b) = dλ ρ(λ )A(λ , a)B(λ , b) . (5.30)
s(λ , a, a0 , b, b0 ) = ±2 , (5.33)
quaisquer que sejam os valores de λ , notando que ou B(λ , b) = B(λ , b0 ) ou B(λ , b) = −B(λ , b0 ).
Se tirarmos uma média da relação (5.33) sobre λ , obtemos então uma quantidade situada entre -2 e
+2:
Z
−2 ≤ dλ ρ(λ )s(λ , a, a0 , b, b0 ) ≤ +2 . (5.34)
Usando (5.30), quatro valores do coeficiente de correlação surgem, tomados para quatro orientações
(a, b), (a, b0 ), (a0 , b) e (a0 , b0 ), limitados pelas desigualdades
−2 ≤ S(λ , a, a0 , b, b0 ) ≤ +2 , (5.35)
Acabamos de estabelecer uma forma particularmente útil de desigualdades de Bell, conhecida como
desigualdade de Clauser-Horn-Shimony-Holt (CHSH) [Cla69]. Ela restringe qualquer correlação
que pode ser escrita na forma (5.30), onde as quantidades A(λ , a), B(λ , b) e ρ(λ ) podem assumir
qualquer forma compatível com (5.26) a (5.29).
5.1 Fótons emaranhados em polarização e violação de desigualdades de Bell
145
claramente conflitando com (5.35), isto é, excedendo o limite superior de (5.35) por uma quantidade
considerável.
Figura 5.4: Violação máxima da desigualdade de Bell do tipo CHSH. Para o con-
junto de orientações (a0 , a00 , b0 , b00 ) dos polarizadores I e II obedecendo (a0 , b0√
)=
0 0 0
(b0 , a0 ) = (a0 , b0 ) = π/8, a quantidade SQM predita pela mecânica quântica é 2 2,
bem acima do limite superior da desigualdade (5.35).
Implicitamente assumimos esta hipótese usando as formas ρ(λ ), A(λ , a) e B(λ , b) para des-
crever a emissão dos pares de fótons, ou a resposta dos polarizadores. Portanto, é claro que a
função A(λ , a) descrevendo a medida pelo polarizador I não depende da orientação b do polarizador
distante II, e B(λ , b) não depende de a. Da mesma forma, a distribuição de probabilidades ρ(λ )
das variáveis escondidas sobre os pares no instante de emissão não depende das orientações a ou
a0 , b ou b0 , dos polarizadores que irão realizar as medidas. Essas condições de localidade são
essenciais para obter as desigualdades de Bell. Se fosse permitido que a resposta do polarizador I,
por exemplo, dependesse de b, expressando-a na forma A(λ , a, b), não poderíamos provar que a
quantidade s(λ , a, a0 , b, b0 ) é igual a ±2.
O problema surge, portanto, da noção de causalidade relativística presente no artigo EPR
original [Ein35] e que foi incorporada no argumento de Bell na forma da hipótese de localidade.
Note que estamos abordando aqui uma noção muito diferente de classicalidade do que vínhamos
tratando até aqui no curso. A óptica clássica é fundamentada na teoria ondulatória da luz, de
modo que os efeitos puramente quânticos tipicamente misturavam componentes corpusculares
aos aspectos clássicos usuais. De uma forma análogo, para partículas massivas, como os elétrons,
comumente os efeitos puramente quânticos ressaltam suas características ondulatórias. Essa
dualidade onda-partícula ilustrou no início da mecânica quântica a dificuldade de se construir uma
noção intuitiva realista da mesma. O debate em torno do paradoxo EPR revela uma perspectiva
completamente nova sobre essa dificuldade de montar uma visão intuitiva da mecânica quântica. A
violação das teorias realistas locais por estados quanticamente emaranhados ressalta as implicações
surpreendentes e profundamente não triviais da mecânica quântica.
Apenas dois modos particulares, rotulados por l e l 0 , não estão no estado de vácuo. Usamos a
notação abreviada
+∞ +∞
|ψi = ∑ ∑ cnl nl0 |nl , nl 0 i (5.41)
nl =0 nl 0 =0
para tal estado. Os dois modos podem diferir pela polarização, pela direção de propagação ou pela
frequência. Além da dimensão mais alta do espaço de estados, a nova característica se compararmos
o caso mono-modo do capítulo anterior é que os dois modos podem ser separados fisicamente
através de um separador de polarização, um diafragma ou um prisma, respectivamente. É possível
então executar medidas independentes em cada um deles. E são as correlações entre essas medidas
5.2 Estados emaranhados de dois modos 147
o foco ao longo da maior parte desta seção. A situação considerada aqui é diferente daquela descrita
na seção anterior, onde consideramos na verdade quatro modos diferentes (dois para cada fóton v1
e v2 ). Por outro lado, consideraremos a possibilidade de estados com mais de um fóton no modo,
contrastando com os estados de um fóton por modo da seção anterior.
Existe um teorema de que qualquer estado de dois modos da forma (5.41) pode ser expresso do
seguinte modo, conhecido como a “decomposição de Schmidt”:
S
√
|ψi = ∑ pi |ui i ⊗ |u0i i , (5.42)
i=1
onde |ui i e |u0i i são estados quânticos mono-modos nos modos l e l 0 , respectivamente, que formam
dois conjuntos ortonormais de vetores, e os pi são números reais estritamente positivos tais que
∑Si=1 pi = 1. A decomposição de Schmidt não é única, mas o número de termos na soma, denotado
aqui por S e chamado de “número de Schmidt”, é fixo uma vez que o vetor |ψi é dado. Existem
então duas possibilidades:
• S = 1, na qual |ψi pode ser expressa na forma |u1 i ⊗ |u01 i. Este é um estado fatorável. O
sistema físico é descrito em cada um dos dois modos por um estado mono-modo do mesmo
tipo estudado no capítulo anterior.
• S > 1, na qual |ψi não é fatorável. Este é um estado emaranhado. Fisicamente, isto significa
que é impossível descrever a radiação nos modos l e l 0 por vetores de estado separados.
O sistema forma um todo inseparável, mesmo se os modos forem fisicamente distintos e
medidas forem realizadas em cada um deles por dispositivos de medidas separados por uma
grande distância, tal que eles não possam ser conectados por um interação física.
Estas considerações podem ser estendidas para o caso quando o sistema é descrito não por um
vetor de estado |ψi, mas por uma matriz densidade ρ̂. A generalização do estado fatorável é o
que iremos chamar de um estado quântico separável. Este é um estado descrito por uma matriz
densidade que pode ser escrita na forma
n
ρ̂ = ∑ q j ρ̂ j ⊗ ρ̂ 0j , (5.43)
j=1
onde ρ̂ j e ρ̂ 0j são matrizes densidade mono-modos nos modos l e l 0 , e q j são números reais
estritamente positivos tais que ∑nj=1 q j = 1. Esta é, portanto, uma superposição estatística de
estados fatoráveis, nos quais o modo l, por exemplo, tem uma probabilidade q j de estar no estado
mono-modo descrito pela matriz densidade ρ̂ j . A generalização do estado emaranhado é o estado
não-separável, que não pode ser escrito na forma (5.43). A caracterização de não-separabilidade
para uma mistura estatística é significativamente mais trabalhosa que para um caso puro.
Para caracterizar as correlações entre medidas executadas nos dois dois modos, considere Â
e Â0 observáveis atuando, respectivamente, nos espaços de Hilbert Fl e Fl 0 associados com os
modos l e l 0 . Estes podem ser operadores de quadratura do campo, por exemplo, ou operadores
de número de fótons. Como esses operadores atuam em espaços diferentes, eles necessariamente
comutam. O coeficiente de correlação E(A, A0 ) entre medidas dessas duas quantidades reside entre
-1 e +1 e é dado por
hψ|ÂÂ0 |ψi = hu1 |Â|u1 ihu01 |Â0 |u01 i = hψ|Â|ψihψ|Â0 |ψi . (5.45)
O coeficiente de correlação E(A, A0 ) é então zero. Quando o sistema é descrito por um vetor de
estado (‘um estado puro’), então só pode haver correlação entre medidas se o estado |ψi for
emaranhado, isto é, se o número de Schmidt S da decomposição (5.42) for maior que 1.
A forma dos observáveis para a qual esta correlação é perfeita no estado emaranhado ψ pode
ser determinada diretamente. Para isso, considere os observáveis com auto-vetores |ui i e |u0i i
aparecendo em (5.42). Eles podem ser escritos na forma
S S
 = ∑ ai |ui ihui | ; Â0 = ∑ a0i |u0i ihu0i | , (5.46)
i=1 i=1
onde os ai e a0i são números reais, assumidos todos diferentes. Se o sistema está no estado (5.42) e a
medida de  fornece o resultado |ui0 i, então após essa medida, o estado é projetado no auto-estado
correspondente |ui0 i ⊗ |u0i0 i, e pode-se então ter certeza que a medida de Â0 dará o resultado |u0i0 i.
A correlação entre as medidas é então perfeita.
onde os coeficientes cn são todos positivos. Ele já está expresso na forma de Schmidt (5.42). O
número de Schmidt do estado é assim o número de coeficientes cn não nulos. Ele é emaranhado
sempre que ao menos dois dos coeficientes sejam não nulos.
Agora considere os operadores números de fótons N̂l = â†l âl e N̂l 0 = â†l 0 âl 0 . Eles são diagonais
com relação à base de estados de número, da forma (5.46). Haverá portanto uma correlação perfeita
entre medidas de número de fótons em cada um desses modos, e daí o nome atribuído a tais estados.
Além disso, haverá uma correlação perfeita sobre todos os observáveis que são proporcionais aos
operadores de número de fótons. Note que também temos
+∞
N̂l − N̂l 0 |ψi = ∑ cn (n − n)|n, ni = 0 . (5.48)
n=0
O estado |ψi é então um auto-estado da diferença no número de fótons, com auto-valor zero. Temos
então ∆(Nl − Nl 0 ) = 0, e assim não haverá estritamente nenhuma flutuação no sinal obtido pela
tomada da diferença nos valores instantâneos desses dois sinais de foto-detecção, enquanto que se
registraria flutuações no número de fótons nos foto-detectores medindo a intensidade de cada modo
separadamente.
5.2 Estados emaranhados de dois modos 149
Existe assim uma correlação não zero entre as componentes de quadratura X dos dois modos (e
uma igual anti-correlação entre as componentes de quadratura Y ) sempre que dois coeficientes
consecutivos na expansão (5.47) são não zero. A magnitude da correlação depende da dependência
precisa de cn com n. Por exemplo, se os cn formam um série geométrica real com razão r, de modo
que cn = Arn para um certo A, então segue de (5.50) que E(Xl , Xl 0 ) = 2r/(1 + r2 ). A correlação
entre as componentes de quadratura X, e a anti-correlação entre as componentes de quadratura Y ,
se tornam simultaneamente perfeitas quando a razão r da série tende a 1.
A produção de estados como da equação (5.47) requerem processos em que pares de fótons são
gerados simultaneamente. Anteriormente, vimos o processo de decaimento atômico em cascata
como um exemplo de processo que gera pares de fótons. Uma forma ainda simples de gerar pares
de fótons, no entanto, é utilizar um cristal com uma alta não-linearidade de segunda ordem que
favoreça o processo de conversão de fótons de alta frequência em pares de fótons de mais baixa
frequência, conhecido como processo de conversão paramétrica descendente (PDC, do inglês
“parametric down conversion”). Cristais desse tipo podem ser transparentes, ou seja, eles realizam
esse processo com baixíssima absorção de energia pelo meio, e a frequência de excitação pode estar
muito longe de qualquer frequência de ressonância do meio. Chamamos de processo paramétrico
um que começa e termina com o meio atômico no mesmo estado. Esses processos são tipicamente
muito favorecidos, por implicarem em conservação de energia e momento entre os estados da luz, já
que nada é deixado no meio atômico. Eles também envolvem fortes interferências construtivas entre
as contribuições dos muitos emissores do meio, que são indistinguíveis uma vez que o meio volta
ao estado inicial comum a todos. Uma visão esquemática do processo de três fótons por trás da PDF
é mostrada na figura (5.5), com ω3 a frequência do bombeio e ω1 e ω2 as frequências dos fótons do
par gerado. Veja que eliminamos o estado excitado do processo, pelo meio ser transparente e muito
longe de qualquer ressonância.
ω3 = ω1 + ω2 , (5.51a)
k3 = k1 + k2 . (5.51b)
O processo não linear poderá então ser descrito por um Hamiltoniano efetivo responsável pelo
desaparecimento ou aparecimento de fótons nas onda 1, 2 e 3. A figura (5.5) contempla a condição
de conservação de energia no átomo que realiza o processo de conversão de fótons, mas não leva
em conta a conservação global de momento linear das ondas luminosas. Para isso, é necessário
considerar outras características do cristal, que levam a privilegiar determinados pares de estados
de momento. Um exemplo comum é mostrado na figura (5.6), onde vemos um cristal que gera
pares com fótons em direções opostas com relação à direção do bombeio. Nesse caso, os fótons
emitidos geram cones de luz em diferentes cores, dependendo da frequência e direção dos fótons
gerados. Além da conservação de momento linear, também devemos ter conservação de momento
angular da luz, que levam às correlações de polarização da luz emitida. Tipicamente, no exemplo
da figura (5.6), os cones são gerados com polarizações ortogonais entre si. Para se obter estados
de pares de fótons correlacionados em polarização, como usados na seção anterior, selecionamos
as emissões nas interseções A e B de dois cones complementares (ver figura 5.6). Nas direções A
e B temos uma indefinição de qual cone contribuiu para o fóton emitido naquela direção, o que
leva a uma indefinição em sua polarização. No entanto, não exploraremos na seção atual efeitos de
correlação de polarização.
Um Hamiltoniano efetivo que descreve bem o processo de PDC espontâneo, com pares de
fótons gerados em modos inicialmente no vácuo, é então
ĤI = ih̄ξ â†l â†l 0 − âl âl 0 , (5.52)
d¯ = hψ|Ê (−) (r3 ,t)Ê (+) (r3 ,t)|ψi − hψ|Ê (−) (r4 ,t)Ê (+) (r4 ,t)|ψi . (5.57)
A transformação
√ dos campos no divisor de feixes, que consideraremos simétrico com |rd | = |td | =
1/ 2, levam a
i
Ê (+) (r3 ,t) = √ E (1) eik3 ·r3 e−iω2t (â1 + â2 ) , (5.58a)
2
i
Ê (+) (r4 ,t) = √ E (1) eik4 ·r3 e−iω2t (â1 − â2 ) . (5.58b)
2
Já que todos os modos têm a mesma frequência ω2 e podemos ajustar os modos espaciais de
entrada para levarem a exatamente os mesmos modos nas saídas, usaremos a mesma constante E (1)
para todos os campos. Essas expressões podem ser substituídas em (5.57), dado que o estado |ψi
5.2 Estados emaranhados de dois modos 153
da radiação foi expresso no espaço dos estados de entrada. Como os dois feixes são independentes,
|ψi é o produto tensorial
Substituindo as equações (5.58) na equação (5.57), obtemos o sinal diferencial médio como
h i2
d¯ = E (1) hψ|â†1 â2 + â1 â†2 |ψi . (5.60)
Segue que d¯ pode ser escrito como uma função do estado |ψ1 i do modo 1 da radiação:
h i2
d¯ = E (1) |α2 |hψ| e−iφ2 â1 + eiφ2 â†1 |ψi . (5.62)
Tomando a fase φ2 do oscilador local como 0 ou π/2, podemos medir o valor esperado de X̂1 ou Ŷ1 ,
respectivamente.
Um cálculo análogo mostra que a média do quadrado da diferença entre as foto-correntes, isto
é,
fica
h i4 2
−iφ
d2 = E (1) 2
|α2 | hψ| e 2 iφ † †
â1 + e â1 |ψi + hψ|â1 â1 |ψi .
2
(5.65)
Esta expressão mostra que as flutuações quânticas das quadraturas X̂1 e Ŷ1 podem ser medidas se
o segundo termo é desprezível, isto é, se |α2 | é grande o suficiente. Por exemplo, se tomarmos
2
φ2 = 0, a medida fornece d 2 = E (1) |α2 | hψ|X̂1 |ψi.
O método homodino é extremamente útil. Ele fornece um forma de medir os observáveis das
quadraturas do campo, e até suas flutuações, contornando o problema da resposta lenta do detetores.
Além disso, se o oscilador local é suficientemente intenso, |α2 | é muito maior que 1 e ocorre uma
amplificação correspondente do sinal associado com o campo do modo 1, comparando com o sinal
que seria obtido posicionando o foto-detector no modo 1. É possível então obter sinais muito mais
fortes que os ruídos técnicos dos detectores, e assim ter acesso às flutuações quânticas da radiação
no modo 1. Repetindo as medidas sobre o campo 1 muitas vezes para vários valores da fase φ2 do
oscilador local, assumindo que as medidas sejam reprodutíveis, o estado da radiação no modo pode
ser completamente caracterizado e o vetor de estado (ou sua matriz densidade quando o estado
não é puro) pode ser reconstruído. Esta é uma forma de tomografia quântica. A versão clássica
da deteção homodina (e da heterodina) é uma técnica também muito utilizada em eletrônica e
telecomunicação para amplificar e filtrar sinais.
154 Capítulo 5. Óptica quântica multi-modo: emaranhamento
A mistura dos dois estados comprimidos produz assim dois feixes com flutuações maiores que às do
vácuo em todas os seus componentes de quadratura, pois as flutuações na saída são dominadas pelas
quadraturas de maior ruído. Na representação de fasores, os feixes de saída são ambos descritos
por círculos centrados na origem e de diâmetro cada vez maior a medida que os estados de entrada
ficam mais comprimidos. No entanto, essas componentes ruidosas de quadratura são, na verdade,
altamente correlacionadas, pois o estado que descreve os dois modos de saída é, como sabemos,
um estado emaranhado. De modo a medir as correlações de quadratura, os experimentadores
geralmente usam uma detecção homodina dupla, como mostrada esquematicamente na figura (5.8).
Pode-se então medir simultaneamente as flutuações nas quadraturas X3 e X4 , ou Y3 e Y4 , dependendo
5.2 Estados emaranhados de dois modos 155
da fase dos osciladores locais. Tomando a soma e a diferença das fotocorrentes instantâneas de
saída a partir das detecções homodinas, obtém-se os desvios padrões ∆(X3 − X4 ) e ∆(Y3 +Y4 ). Um
cálculo análogo ao da última equação mostra que essas quantidades são dadas por
(1) 2 −2s
h i
∆(X3 − X4 ) = ∆(Y3 +Y4 ) = 2 E1 e . (5.70)
Elas se aproximam muito de zero sempre que s é da ordem de algumas unidades. Este cálculo
claramente mostra que, nas duas portas de saída do divisor de feixes, há simultaneamente campos
com quadraturas X idênticas e com quadraturas Y opostas.
Não existe, portanto, nenhuma relação de incerteza que proíba ∆(X3 − X4 ) e ∆(Y3 +Y4 ) de serem
simultaneamente muito pequenas, ou mesmo zero.
No geral, qualquer correlação entre quantidades medidas em modos diferentes pode ser usada
para realizar um medida não destrutiva. No aparato da figura (5.8), com dois estados altamente
comprimidos na entrada, uma medida de X̂4 , ou de Ŷ4 , pode ser usada para determinar a quadratura
X̂3 , ou Ŷ3 , do modo 3 de forma exata, sem ter que inserir um detetor para aquele modo, e assim sem
o perturbar e, como consequência, sem destruí-lo. Através da execução de medidas no modo 4,
obtém-se conhecimento perfeito, sem incerteza, de duas quantidades físicas do modo 3 que são
complementares no sentido de Bohr, isto é, associadas com operadores que não comutam, para os
quais há uma relação de incerteza de Heisenberg:
(1) 2
h i
∆X3 ∆Y3 ≥ E1 . (5.72)
156 Capítulo 5. Óptica quântica multi-modo: emaranhamento
Poderia então parecer que, na situação que consideramos aqui, seria possível medir com grande
acurácia duas quantidades que não comutam, e que então (5.72) seria violada. Esta situação
paradoxal é perfeitamente análoga àquela considerada por EPR [Ein35], se trocarmos os operadores
de posição e momento de duas partículas em um estado emaranhado pelos operadores de quadratura
dos dois modos do campo.
6. Regime quântico da interação átomo-luz
então apenas considerar o sub-sistema composto do átomo de dois níveis com estados |ai e |bi
acoplado com um único modo do campo de radiação. Na situação que descrevemos aqui, o volume
de quantização arbitrário, usado no tratamento do campo eletromagnético quantizado, é trocado por
uma cavidade real e os operadores de campo tais como N̂, o operado para o número de fótons no
volume de quantização, agora têm um significado bem mais concreto.
Figura 6.2: Três configurações experimentais para demonstrar efeitos de cQED. (a)
Interação de um feixe rarefeito de átomos, preparados por excitação laser em um
estado de Rydberg, com um modo ressonante na região de micro-ondas de uma
cavidade supercondutora de dimensões centimétricas. (b) Interação de um átomo
individual em seu estado fundamental com um modo ressonante, na região do visível,
de uma cavidade Fabry-Perot de alta finesse e dimensões milimétricas. (c) Interação
de um sistema quântico de dois níveis em estado sólido (tais como um poço quântico
semicondutor, um ponto quântico, uma impureza em diamante, etc) com o modo
fundamental de uma cavidade Fabry-Perot de dimensões nanométricas. Os espelhos
da cavidade são constituídos por camadas alternadas de dielétricos de diferentes
índices de refração atuando como refletores de Bragg. Na imagem, o ponto quântico
se encontra em um anti-nó da onda estacionária da cavidade.
Ĥ = Ĥ0 + V̂ . (6.2)
O Hamiltoniano Ĥ0 do átomo e campo livres (1.118) é dado nessa situação por
interação da equação (1.128) para a representação de Schrödinger e restringi-lo então ao nosso caso
de apenas um modo interagindo com o átomo:
onde consideramos para simplificar, mas sem perda de generalidade, uma posição r0 do átomo e
um momento de dipolo tal que a constante de acoplamento gab da equação (1.129) é real e igual a
µab E (1)
g= , (6.5)
h̄
com µab o módulo do momento de dipolo elétrico atômico e, a partir da equação (1.68),
s
h̄ωc
E (1) = , (6.6)
2ε0V
g >> Γ , (6.7)
uma situação denominada de regime de acoplamento forte. O modo mais direto de obter essa
condição é inserir o átomo em uma cavidade com espelhos de altíssima refletividade (figura 6.3) e
com um volume do modo tão pequeno que levaria a um E (1) grande o suficiente para a condição
(6.7) ser satisfeita.
ser desprezada. Esse regime é o que melhor define a área da cQED, com seu sistema mais simples
considerado acima obedecendo ao Hamiltoniano total:
σ̂ + = |biha| , (6.9)
e abaixamento,
σ̂ − = |aihb| , (6.10)
da transição atômica. Efetivamente, esse modelo quântico de um átomo individual de dois níveis
interagindo fortemente com apenas um modo do campo eletromagnético é o mais simples possível
do ponto de vista teórico, sendo conhecido como modelo de Jaynes-Cummings [Jay63]. Apesar
de simples do ponto de vista teórico, sua implementação experimental é relativamente complexa,
pois exige grande controle tanto do campo luminoso quanto do átomo. Tipicamente, os meios
materiais se encontram acoplados com muitos sistemas diferentes simultaneamente, o que desvia
as observações da dinâmica simplificada e puramente coerente do modelo de Jaynes-Cummings.
Mesmo assim, o estudo das propriedades e dinâmica do modelo de Jaynes-Cummings fornece um
ponto de partida para entender dinâmicas mais complexas na interação de átomos com a luz.
Espectro
A base de estado (6.1) utiliza os estados do átomo e do campo livres. Ela privilegia então uma
descrição do sistema na representação de interação, que utilizaremos mais à frente. Note que uma
descrição natural do sistema será ordenar a base em estados de energia crescente, agrupando os
termos de energias próximas |a, ni e |b, n − 1i:
{|a, 0i, |a, 1i, |b, 0i, |a, 2i, |b, 1i, . . . } . (6.11)
O Hamiltoniano total Ĥn no espaço {|a, ni, |b, n − 1i} (portanto com n ≥ 1) é então
√
nωc g n
Ĥn = h̄ √ , (6.14)
g n nωc − δ
com as auto-energias
r !
δ δ2
E±,n = h̄ nωc − ± + ng2 , (6.15)
2 4
e auto-estados
onde
√
2g n
tan 2θn = . (6.17)
δ
Assim, o efeito do acoplamento é repelir os níveis de energia dentro de cada dubleto (ver figura
6.4b). O estado fundamental |a, 0i não pertence a um dubleto e não é afetado pelo potencial de
interação, ao menos nas aproximações adotadas aqui.
Problema 6.1 Demonstre as equações (6.15) e (6.16) para as auto-energias e auto-estados do
Hamiltoniano (6.14).
Figura 6.4: Níveis de energia na ausência (a) e na presença (b) do acoplamento átomo-
campo. Na figura, ω = ωc é a frequência do modo quase ressonante da cavidade.
A figura (6.5) mostra as formas dos níveis de energia do sistema acoplado átomo-cavidade
como função da dessintonia, equação (6.15). Para cada dubleto, vemos um “cruzamento evitado”
6.1 Eletrodinâmica Quântica de Cavidades 163
1
|Ψ±,n (δ = 0)i = √ (±|a, ni + |b, n − 1i) . (6.18)
2
Esses estados são comumente conhecidos como os estados vestidos do átomo (isto é, vestido pelos
fótons). Eles são estados emaranhados do sistema átomo-campo, e não podem ser separados em
uma parte envolvendo apenas o átomo e outra envolvendo apenas o campo. Isto é evidência de uma
correlação forte do estado do átomo com aquele do campo. A medida que o módulo da dessintonia
|δ | aumenta, o parâmetro θn tende a 0 ou π/2, e os dois auto-estados (6.16) tendem aos estados
não correlacionados, fatoráveis |a, ni e |b, n − 1i. A figura (6.5) mostra apenas os dois dubletos de
menor energia. Para energias mais altas, o diagrama tem uma forma semelhante, apenas a separação
√
na ressonância dos níveis de um dubleto aumenta em proporção a n. Note que, quando n é um
número grande, é mais conveniente plotar E±,n − nh̄ωc que E±,n .
Figura 6.5: Parte mais baixa do diagrama de níveis de energia para o sistema acoplado
átomo-cavidade, como função da dessintonia do modo da cavidade com relação à
ressonância do átomo livre. As linhas pontilhadas correspondem aos níveis de energia
na ausência do termo de interação V̂ .
1
|Ψ(0)i = |b, 0i = √ (|Ψ+,1 i + |Ψ−,1 i) . (6.19)
2
164 Capítulo 6. Regime quântico da interação átomo-luz
1
|Ψ(t)i = e−iĤt/h̄ |Ψ(0)i = √ |Ψ+,1 ie−iE+,1t/h̄ + |Ψ−,1 ie−iE−,1t/h̄
2
−iωc t
=e [−i|a, 1isen(gt) + |b, 0i cos(gt)] . (6.20)
Portanto, a emissão espontânea de um átomo de dois níveis excitado localizado em uma cavidade
ressonante se manifesta como uma evolução oscilatória entre os dois níveis atômicos. Isto é obvia-
mente muito diferente do decaimento monotônico observado no espaço livre. Este comportamento
surge porque, no caso atual, o acoplamento é entre um par de estados discretos, o que origina
oscilações de Rabi, enquanto que no espaço livre a emissão espontânea acopla um estado discreto
inicial com um contínuo, levando a um decaimento exponencial. Note que o sistema oscila entre os
dois estados |b, 0i e |a, 1i, onde o primeiro é o estado inicial do sistema, de modo que a evolução
pode ser considerada como surgindo da troca periódica de energia entre átomo e cavidade. O
átomo vai para o estado fundamental quando um fóton é emitido no modo da cavidade, e retorna ao
estado excitado quando ele reabsorve o fóton circulando na cavidade sem perdas. Tal sistema é dito
passar por oscilações de Rabi de um fóton. Esse comportamento também é comumente chamado
na literatura de oscilações de Rabi do vácuo, por conta da cavidade inicialmente no vácuo induzir
o comportamento. Perceba ainda que, no limite em que o átomo se acopla fortemente com um
único fóton de um modo em particular, ele também é particularmente sensível ao campo elétrico
ocasionado pela energia de ponto zero de meio fóton.
Considere agora a situação onde a cavidade não é mais exatamente ressonante com a transição
atômica. Um cálculo idêntico ao apresentado acima revela que a probabilidade de encontrar o
átomo no estado excitado no instante t é agora
4g2 2
p
2 + 4g2
t
Pb (t) = 1 − sen δ . (6.22)
δ 2 + 4g2 2
Esta probabilidade permanece próxima de 1 para δ >> g/2. O átomo então permanece no estado
excitado com alta probabilidade.
Já vimos no capítulo 1 que, a partir de V̂I , podemos descrever a evolução temporal de um estado
arbitrário |Ψ(t)iI na representação de interação usando
∂
ih̄ |Ψ(t)iI = V̂I |Ψ(t)iI . (6.24)
∂t
O vetor de estado |Ψ(t)iI é uma combinação linear dos estados |a, ni e |b, ni:
∞
|Ψ(t)iI = ∑ [ca,n (t)|a, ni + cb,n (t)|b, ni] , (6.25)
n=0
com ca,n (t) e cb,n (t) as amplitudes de probabilidade que variam lentamente no tempo.
Já vimos que o potencial de interação só pode ocasionar transições entre os estados |a, ni e
|b, ni. Consideraremos então o sistema de equações para a amplitude ca,n e cb,n−1 . Temos
∂ 1
ca,n = ha, n|V̂I |Ψ(t)iI
∂t ih̄
√
= −ig neiδt cb,n−1 , (6.26a)
∂ √
cb,n−1 = −ig ne−iδt ca,n . (6.26b)
∂t
Dada as condições iniciais ca,n (0) e cb,n−1 (0), essas equações podem ser resolvidas exatamente.
ie−iδt/2
2
δ Ωn Ωn t
cb,n−1 (t) = √ ca,n (0) − sen
g n Ωn 2 2
√
√
g nδ Ωnt Ωnt
+cb,n−1 (0) sen( ) − ig n cos (n ≥ 1) . (6.28)
Ωn 2 2
Considere agora que o átomo se encontra inicialmente no estado excitado |bi, com o campo em
um estado puro inicial arbitrário
∞
|φ i = ∑ cn (0)|ni , (6.29)
n=0
166 Capítulo 6. Regime quântico da interação átomo-luz
Substituindo essas condições iniciais nas equações (6.27) e (6.28), elas se tornam
√
2ig n Ωnt iδt/2
ca,n (t) = − cn−1 (0)sen e , (6.32a)
Ωn 2
Ωnt δ Ωnt
cb,n−1 (t) = cn−1 (0) cos + i sen e−iδt/2 . (6.32b)
2 Ωn 2
As soluções acima fornecem uma solução completa para o problema, de onde podemos deduzir a
evolução no tempo de quantidades importantes, tanto do campo quanto do átomo. Por exemplo, a
partir de (6.32), a probabilidade de encontrar n fótons no campo em um instante t seria dada por
com ρn,n (0) = |cn (0)|2 a probabilidade de encontrar n fótons no campo no instante t = 0.
Outra quantidade importante é a inversão de população
A expressão acima descreve uma dinâmica complexa, envolvendo oscilações com várias frequências
de Rabi distintas e completamente dependente do estado inicial do campo luminoso na cavidade.
Já vimos acima que mesmo para um estado de vácuo, com ρnn (0) = δn0 , veríamos oscilações de
Rabi. Com a cavidade contendo inicialmente um estado coerente,
hnin e−hni
ρn,n (0) = , (6.36)
n!
a situação continuaria marcantemente diferente do comportamento semiclássico mais comum.
Considere, por exemplo, δ = 0 na equação (6.35):
∞ √
W (t) = ∑ ρn,n (0) cos(2 n + 1gt) . (6.37)
n=0
6.1 Eletrodinâmica Quântica de Cavidades 167
Um estado coerente vai ter uma certa quantidade de estados de número em torno de hni que
contribuirão significativamente
√ para o campo. Cada estado de número induzirá uma frequência
de Rabi proporcional a n + 1. Como o conjunto de estados é discreto, devemos então observar
um sincronismo inicial das várias oscilações de Rabi, que vai então decaindo a medida que o
sincronismo é perdido. Após um tempo finito, no entanto, devemos observar o ressurgimento do
sinal (ver figura 6.6). O que vemos é a física do batimento entre um número finito de osciladores
se movimentando em paralelo. Esse batimento, no entanto, é um fenômeno puramente quântico,
consequência direta da discretização dos estados de energia da luz.
Essa descrição do processo de oscilação de Rabi é tão diferente do que estamos acostumados a
observar em campos monocromáticos bem comportados, como um laser, que é importante entender
como ocorre a transição entre esses dois regimes. Como a distribuição de fótons no estado coerente
é Poissoniana, temos que sua largura ∆n é dada pela raiz quadrada da média hni da distribuição
quando hni vai se tornando muito grande:
√
∆n = n (hni muito grande) . (6.38)
Notem ainda que, para hni muito grande, podemos escrever
√ √ n − hni 1/2
p p
n + 1 ≈ n = hni + n − hni = hni 1 +
hni
p 1 n − hni
≈ hni 1 + . (6.39)
2 hni
p
Como n é um distribuição centrada em hni com largura hni, o segundo termo na equação (6.39)
pode ser desprezado no limite de um estado coerente com hni muito grande. Nesta situação, a
equação (6.37) se tornaria simplesmente
p
w(t) = cos(2 hnigt) , (6.40)
onde usamos que ∑n ρn,n (0) = 1. Voltamos então a observar uma oscilação de Rabi com frequência
bem definida.
168 Capítulo 6. Regime quântico da interação átomo-luz
Ĥ0 = h̄ωe â†e âe + ∑ h̄ωk â†k âk + Es |sihs| + Eg |gihg| + Ee |eihe| , (6.41)
k
com Ei a energia do estado |ii (i = s, g, e), âe o operador de destruição do campo eletromagnético
no modo de excitação e, e âk o operador de destruição dos modos do campo eletromagnético de
vácuo que acoplam com a transição e → s. Tanto o campo de excitação quanto os modos do vácuo
considerados têm polarizações fixas, as necessárias para as respectivas transições envolvidas. Não
escreveremos então inicialmente os índices relativos à polarização. Já da equação (1.126), temos
que o potencial de interação de dipolo elétrico na representação de interação fica
" #
V̂I = h̄ ei(ω eg −ωe )t geg
e âe |eihg| + ∑ e
i(ω es −ωk )t es
gk âk |eihs| + H.c. , (6.42)
k
e
" #
V̂I = h̄ ei∆t geg
e αe |eihg| + ∑ ei(ω es −ωk )t ges
k âk |eihs| + H.c. , (6.44)
k
onde desprezamos em Ĥ0 o termo de energia aproximadamente constante h̄â†e âe , e usamos ∆ =
ωeg − ωe para a dessintonia entre campo de excitação e transição g → e.
Como o estado do modo de excitação será constante, podemos especificar o estado quântico
geral do sistema |ψ(t)iI na representação de interação apenas pelo produto escalar do estado
atômico com o estado do campo que acopla a transição s → e. Consideraremos inicialmente o
átomo no estado |gi e o campo de vácuo acoplando a transição s → e,
com |{nk }i um estado na base de número de fótons, com uma distribuição {nk } de números n de
fótons nos vários modos k. Para a base de estados do campo que acoplam a transição s → e, o
estado de menor energia acima do vácuo seria |1k i, que indicaria um fóton em um modo k qualquer
e todos os outros modos no vácuo. O segundo estado de menor energia seria |2k i (dois fótons em
um modo k qualquer e os outros modos no vácuo) ou |1k 1k0 i (um fóton no modo k, um no modo
k0 , e os outros modos no vácuo). Os estados de energia mais alta seguirão notação análoga.
6.2 Estados emaranhados coletivos 171
que as amplitudes dos estados fundamentais, por conta da emissão espontânea a partir daquele
nível. Considerando uma taxa de emissão espontânea de Γ, quando especificamos que temos uma
dessintonia ∆ grande, queremos dizer que ∆ >> Γ. A amplitude do estado excitado, portanto, oscila
rapidamente com ∆ e atinge um estado estacionário muito antes de qualquer variação significativa
nas outras amplitudes de probabilidade. Dizemos então que C̃e,0 (t) segue adiabaticamente as
amplitudes Cg,0 (t) e Cs,1k (t), atingindo estados estacionários rapidamente que variam por sua vez
lentamente seguindo as outras amplitudes. Matematicamente, modelamos esse comportamento
aproximando
∂ C̃e,0
≈ 0, (6.51)
∂t
e usando a equação (6.50b) para obter diretamente C̃e,0 (t) a partir de Cg,0 (t) e Cs,1k (t):
geg
e αe ges
C̃e,0 (t) = − Cg,0 (t) − ∑ ei(ω es −ωk −∆)t k Cs,1k (t) . (6.52)
∆ k ∆
∂ |geg
e αe |
2
Cg,0 = i Cg,0 (t) + i ∑ Ω̃∗k (t)Cs,1k (t) , (6.53a)
∂t ∆ k
∂ |ges |2 (ges )∗ ges
k0
Cs,1k = i k Cs,1k (t) + iΩ̃k (t)Cg,0 (t) + i ∑ ei(ωk −ωk0 )t k Cs,1k0 (t) . (6.53b)
∂t ∆ 0
k 6=k ∆
com
geg es ∗
e αe (gk )
Ωk = . (6.55)
∆
Vamos simplificar ainda mais o sistema acima desprezando os termos que dependem quadratica-
mente da constante de acoplamento com o vácuo. Esses termos são muito mais fracos que os termos
envolvendo o campo de excitação coerente. Além disso, eles vêm de interações sucessivas do fóton
emitido com o próprio átomo, que podemos desprezar no caso dos fótons viajantes emitidos no
espaço livre. Ficamos então com o sistema muito mais simplificado:
∂ |geg
e αe |
2
Cg,0 = i Cg,0 (t) + i ∑ Ω̃∗k (t)Cs,1k (t) , (6.56a)
∂t ∆ k
∂
Cs,1k = iΩ̃k (t)Cg,0 (t) . (6.56b)
∂t
O primeiro termo do lado direito da equação (6.56a) pode ser entendido como um deslocamento
de energia do estado |gi causado pela presença do campo coerente |αe i. Nesse sentido, ele pode ser
entendido como originado de um deslocamento Stark dinâmico causado pelo campo oscilante da
luz. Esse termo pode ser eliminado da dinâmica definindo a nova variável
eg 2 t/∆
C̃g,0 (t) = Cg,0 (t)e−i|ge αe | , (6.57)
6.2 Estados emaranhados coletivos 173
|geg 2 Eg |geg 2
e αe | e αe | Es
ωes − ωk − ∆ − = − − − (ωk − ωe ) → ωes − ωk − ∆ . (6.59)
∆ h̄ ∆ h̄
As equações (6.58) descrevem o átomo efetivamente como tendo dois níveis apenas, |gi e |si,
conectados pelo potencial de interação
h i
V̂I (t) = −h̄ ∑ Ω∗k ei(ω gs +ωe −ωk )t âk σ̂ + + H.c. , (6.60)
k
com
σ̂ + = |gihs| (6.61)
sendo o operado de levantamento do nível |si para o nível |gi. O Hamiltoniano livre do sistema
ficaria
com Eg já incorporando o deslocamento Stark dinâmico. A base de estados livres que descreve o
sistema seria então {|gi|0i, |si|1k i}. Em um instante arbitrário, o estado do sistema seria
Note então a eliminação adiabática do estado excitado reduz efetivamente o problema da excitação
Raman espontânea do sistema Λ a uma transição entre dois níveis fundamentais, mediada por uma
constante de acoplamento efetiva de dois fótons Ωk .
com
∗
geg es
e,i e gk,i
α
Ωk,i = (6.65)
∆
174 Capítulo 6. Regime quântico da interação átomo-luz
sendo a constante de acoplamento efetivo de dois fótons para o átomo i, e considerando que os
níveis de energia Eg e Es são os mesmos para todos os átomos. Será crucial no que segue entender
que as constantes de acoplamento de dipolo elétrico geg es
e,i e gk,i carregam aqui fatores de fase que
dependem da posição do átomo i. A partir da definição (1.116) podemos escrever
(1)
µeg Ee
geg
e,i = −i eike ·ri , (6.66a)
h̄
(1)
µes Ek ik·ri
ges
k,i = −i e , (6.66b)
h̄
(1) (1)
com µeg (µes ) o momento de dipolo da transição g → e (s → e), Ee Ek o campo elétrico
de um fóton no modo de excitação (modo k), e ke o vetor de onda do modo de excitação. Já os
operadores de levantamento e abaixamento de estados do átomo i na potencial (6.64) ficam
σ̂i+ = |gi ihsi | , (6.67a)
σ̂i = |si ihgi | . (6.67b)
Os estados |gi i e |si i são os dois estados fundamentais para o átomo i. O Hamiltoniano do campo e
átomos livres fica então
Na
Ĥ0 = ∑ h̄ωk â†k âk + ∑ [Es |si ihsi | + Eg |gi ihgi |] . (6.68)
k i=1
O estado inicial do sistema é agora representado por
|ψ(0)iI = |g1 , g2 , . . . , gi , . . . , gNa i|0i = |g, 0i , (6.69)
com todos os Na átomos no estado |gi e o campo na transição s → e no estado de vácuo |0i. A
partir desse estado, a dinâmica no ensemble segue com muito menos restrições que para um átomo
individual. Perceba que muitos fótons podem agora ser criados a partir da transição de cada átomo
do estado |gi para o estado |si. De modo a levar em conta de forma direta todos os possíveis
estados acessíveis agora ao sistema a partir do estado inicial, usaremos o formalismo da série
de Dyson [Sak94] para o operador de evolução temporal na representação de interação ÛI (t, 0)
atuando no estado inicial:
|ψ(t)iI = ÛI (t, 0)|ψ(0)iI , (6.70)
com
Z t 2 Z t Z t 0
i 0 0 i
ÛI (t, 0) = 1 + − dt V̂I (t ) + − dt 0 dt 00V̂I (t 0 )V̂I (t 00 ) + · · · . (6.71)
h̄ 0 h̄ 0 0
Temos assim
Z t 2 Z t Z t 0
i 0 0 i
|ψ(t)iI = |g, 0i+ − dt V̂I (t )|g, 0i+ − dt 0 dt 00V̂I (t 0 )V̂I (t 00 )|g, 0i+· · · . (6.72)
h̄ 0 h̄ 0 0
Usando a equação (6.64), ficamos com
Na Z t
0
|ψ(t)iI = |g, 0i + i ∑ ∑ Ωk,i dt 0 e−i(ωgs +ωe −ωk )t |si , 1k i
k i=1 0
Na Z t Z t0
0 00
+ i2 ∑ ∑ Ωk,i Ωk0 , j dt 0 dt 00 e−i(ωgs +ωe −ωk )t e−i(ωgs +ωe −ωk )t |si , s j ; 1k , 1k0 i
k,k0 i, j=1 0 0
i6= j
Na Z t Z t0
0 00
+ i2 ∑ ∑ |Ωk,i |2 dt 0 dt 00 ei(ωgs +ωe −ωk )t e−i(ωgs +ωe −ωk )t |g, 0i
k i=1 0 0
+··· , (6.73)
6.2 Estados emaranhados coletivos 175
onde definimos |si , 1k i como o estado com todos os átomos em |gi menos o átomo i, que se encontra
em |si, e o campo com todos os modos no vácuo menos o modo k, que contém um fóton. Definimos
ainda |si , s j ; 1k , 1k0 i como o estado com todos os átomos em |gi a menos dos átomos i e j, que se
encontram em |si, e com o campo no vácuo mais dois fótons, um no modo k e outro no modo k0 .
O estado da equação (6.73) apresenta emaranhamento intrincado entre o estado atômico e os
modos luminosos. Para explorar muitas das consequências desse tipo de emaranhamento quântico,
é suficiente nos concentrarmos no termo de primeira ordem em Ω. Consideraremos então uma
situação física em que Ω é pequeno o suficiente para nos permitir manter apenas o termo em
primeira ordem na série da equação (6.73):
Na Z t
0
|ψ(t)iI ≈ |g, 0i + i ∑ ∑ Ωk,i dt 0 e−i(ωgs +ωe −ωk )t |si , 1k i . (6.74)
k i=1 0
O emaranhamento quântico que sobra na equação (6.74) é aquele de um fóton no modo luminoso
com um estado coletivo atômico onde um átomo foi transferido para o estado |si, mas não sabemos
qual. O modo luminoso na equação (6.74), no entanto, não é muito bem definido. Em princípio, o
fóton |1ki pode apontar em qualquer direção.
Esse problema pode ser contornado se nos concentrarmos em um único modo de emissão, que
vai estar emaranhado então a um único modo coletivo bem definido. Para isso, o primeiro passo é
usarmos um feixe de escrita que pode ser aproximado por uma onda plana, ou seja, para o qual
podemos desprezar variações de intensidade na direção transversal à propagação do feixe, o que
levaria a variações de αe para as diferentes posições ri dos átomos. Em seguida, consideramos a
projeção em um modo específico â1 do campo, que chamaremos de modo 1. Esse modo pode ser
escrito como uma superposição dos modos âk de onda plana que vínhamos trabalhando até aqui:
Z
â1 = d 2 q1 φ1 (q1 )âq +√k2 −q2 ẑ , (6.75)
1 1 1
com q1 um vetor bidimensional no plano transversal a k1 , com k1 = ω1 /c. O modo â1 é, portanto,
uma superposição arbitrária de ondas planas em torno da direção k1 . A função φ1 (q1 ) define o
modo, que consideraremos monocromático. Um estado quântico com um fóton neste modo pode
ser escrito como â†1 |0i, de modo que a projeção nesse estado é feita a partir do operador h0|â1 . A
forma da equação (6.75) permite, por exemplo, definir â1 como um modo Gaussiano dentro da
aproximação paraxial (de propagação próxima a um eixo, como o k1 ). Tais modos podem ser
comumente obtidos a partir de cavidades ressonantes ou fibras ópticas. Uma possível situação física
com â1 sendo um modo Gaussiano é mostrada na figura (6.8).
Na discussão acima, assumimos uma frequência ω1 bem definida. Essa seleção em frequência
acontece através da integral no tempo da equação (6.74). Consideremos o estado do sistema após a
atuação de um pulso de excitação de largura temporal Tp e já transformando o somatório em k em
uma integral:
Na Z Tp
V
Z
0
|ψ(t > Tp )iI = |g, 0i + i d 3 k ∑ Ωk,i dt 0 e−i(ωgs +ωe −ωk )t |si , 1k i . (6.76)
(2π)3 i=1 0
A partir das definições de Ωk,i (equação 6.65), gege,i e gk,i (equações 6.66), e de E
es (1) (equação 1.68)
temos
∗
geg es
e,i e gk,i
α ∗ α ω 1/2 ω 1/2
µeg µes e e
Ωk,i = = k
eike ·ri e−ik·ri , (6.77)
∆ 2ε0 h̄V ∆
que substituindo em (6.76) leva a
∗α ω 1/2 Na Z Z Tp
µeg µes e e 1/2 0
|ψ(t > Tp )iI = |g, 0i + i
2ε0 h̄(2π)3 ∆ ∑ eike ·ri d 3 kωk e−ik·ri
0
dt 0 e−i(ωgs +ωe −ωk )t |si , 1k i .
i=1
(6.78)
Note que já escolhemos como eixo z a direção k1 do eixo do modo que queremos detectar.
A equação (6.81) implica em uma soma bastante geral sobre modos com módulo constante de
|k| = k1 . Resta agora realizar a projeção no modo detectado:
∗α ω 1/2 5/2 Na
µeg µes e e ω1
h0|â1 |ψ(t > Tp )iI = i
2ε0 h̄(2π)3 ∆c3 ∑ eik ·r ×e i
i=1
Z π Z 2π
× dθ senθ dφ e−ik1 (cos θ zi +senθ cos φ xi +senθ senφ yi ) h0|â1 |si , 1k i , (6.82)
0 0
ou ainda
∗α ω
µeg µes
1/2 5/2 Na Z √2 2
e e ω1
h0|â1 |ψ(t > Tp )iI = i
2ε0 h̄(2π)3 ∆c3 ∑ eike ·ri d 2 q1 φ1 (q1 )e−i(q1 + k1 −q1 ẑ)·ri |si i . (6.83)
i=1
6.2 Estados emaranhados coletivos 177
Segue que
q0 2
2
q
i −(q1 −q01 )·ρi +zi 2k1 − 2k1
Z Z
∑ |ci |2 = d 2 q1 d 2 q01 φ1 (q1 )φ1∗ (q01 ) ∑ e 1 1
i i
Z
2 2
≈ d q1 |φ1 (q1 )| = Na , (6.88)
onde aproximamos
q0 2
2
q
i −(q1 −q01 )·ρi +zi 2k1 − 2k1
∑e 1 1
≈ δ (q1 − q01 )Na (6.89)
i
para um ensemble extenso o suficiente. Temos então que |1a i é um estado coletivo já normalizado.
A equação (6.84) fornece de uma forma simplificada o resultado da projeção do estado atômico
que ocorre devido à detecção de um fóton no modo 1. Uma vez que essa detecção ocorreu, o estado
resultante precisa ser novamente normalizado, levando ao estado final do processo de detecção
|ψ f iI = |1a i . (6.90)
6.2.2 logo acima, poderemos descrevê-lo como um campo coerente |αr i. Atuamos com a leitura em
ressonância (ver Fig. 6.9) por dois motivos: aumentar a probabilidade do mapeamento |si → |ei, e
induzir transparência no meio para aumentar a eficiência de extração de luz emitida na transição
e → g. O feixe de leitura, portanto, precisa ser forte para efetivamente deslocar o nível de energia
|ei. Note que este feixe atua sobre uma transição com um único átomo, não sendo afetado pelo
meio atômico e ficando constante ao longo de toda a amostra.
Uma vez excitado para o nível |ei, o átomo pode decair espontaneamente para os níveis |gi
ou |si. É importante ter em mente desde o início que o processo s → e → g deve ser muito mais
provável, pois nele todos os átomos terminam no mesmo estado do ensemble |g1 , g2 , . . . , gNa i.
Isso resulta em uma grande interferência construtiva reforçando um processo paramétrico global
(mesmo estado inicial e final), com conservação de energia e momento no meio atômico. Mesmo
assim, levar em conta também o processo s → e → s ajuda na obtenção de previsões quantitativas
do modelo.
Na leitura, o Hamiltoniano do sistema pode então ser escrito como
Ĥ = Ĥ0 + V̂ , (6.91)
com o Hamiltoniano livre
Ĥ0 = ∑ [Eg |gi ihgi | + Es |si ihsi | + Ee |ei ihei |] + ∑ h̄ωl â†l âl , (6.92)
i l
tal que
∂ bi (t)
βi (t) · = iΩr Ai (t) (6.101)
∂t
e
∂ βi (t) h i
· bi (t) = i ∑ ei(−ke +k1 ẑ+k−kr )·ri ei(ωeg −ωl )t geg,l Cl (t) + ei(ωes −ωl )t ges,l Di,l (t) . (6.102)
∂t l
A vantagem de assumir a solução (6.100) é que agora ficamos com dois sistemas de equações
com papéis claramente distintos no problema. O sistema (6.99a) e (6.101) descreve uma dinâmica
de oscilação de Rabi. O sistema (6.99c), (6.99d) e (6.102) descreve uma dinâmica de emissão
espontânea.
Vamos começar resolvendo o segundo sistema de equações. Em forma integral, as equações
(6.99c) e (6.99d) ficam
Z t
0
Cl (t 0 ) = i dt 0 ∑ g∗eg,l ei(ke −k1 ẑ−k+kr )·r j e−i(ωeg −ωl )t β j (t 0 )b j (t 0 ) , (6.103a)
0 j
Z t
0 0
Di,l (t ) = i dt 0 g∗es,l ei(ke −k1 ẑ−k+kr )·ri e−i(ωes −ωl )t βi (t 0 )bi (t 0 ) , (6.103b)
0
onde já aplicamos as condições iniciais Cl (0) = Di,l (0) = 0. Substituindo as equações (6.103) em
(6.102), temos
Z t 0
∂ βi 0 bi (t )
= − dt ∑ |ges,l |2 ei(ωes −ωl )(t−t )
0
βi (t 0 )
∂t 0 l b i (t)
)
b (t 0)
0 j
+ ∑ |geg,l |2 ei(ke −k1 ẑ−k+kr )·(r j −ri ) ei(ωeg −ωl )(t−t ) β j (t 0 ) . (6.104)
j bi (t)
|µ pq |2
Z ∞ Z π Z 2π
2
∑ |g pq,l | = 2ε0 h̄(2π)3 c3 ωk3 dωk 2
sin θ (1 − cos θ )dθ dφ (6.105)
l 0 0 0
e (equação 1.146)
Z ∞
0
dωk ωk3 e−i(ω pq −ωk )(t−t ) ≈ 2πω pq
3
δ (t − t 0 ) . (6.106)
−∞
A partir da equação (1.149), podemos definir a taxa de decaimento por emissão espontânea na
transição p → q como
1 4|µ pq |2 ω pq
3
Γ pq = , (6.108)
4πε0 3h̄c3
6.2 Estados emaranhados coletivos 181
de modo que
∂ βi 1
= − Γes + Γeg
∂t 2
Z 2π
3 π i(ke −k1 ẑ−k+kr )·(r j −ri ) b j (t)β j (t)
Z
2
+ Γeg sin θ (1 − cos θ )dθ dφ ∑ e βi (t) , (6.109)
8π 0 0 j6=i bi (t)βi (t)
Vamos agora introduzir uma aproximação de excitação uniforme. Se os átomos forem ilumi-
nados de forma aproximadamente uniforme tanto pelo feixe de excitação quanto pelo feixe de
leitura, a dinâmica atômica para a excitação óptica s → e não deve variar apreciavelmente de um
átomo para outro. Por conta disso, podemos aproximar bi (t) ≈ b j (t) e βi (t) ≈ β j (t). Definindo a
constante
Z 2π
Γeg 3
Z π
χi = 1 + sin θ (1 − cos2 θ )dθ dφ ∑ ei(ke −k1 ẑ−k+kr )·(r j −ri ) , (6.111)
Γ 8π 0 0 j6=i
De modo a obter uma expressão analítica para o pacote de onda do fóton extraído da memória,
consideramos mais uma aproximação importante: χi terá o mesmo valor para todos os átomos no
6.2 Estados emaranhados coletivos 183
A partir daqui, precisamos considerar situações físicas mais específicas. Iremos, particular-
mente, considerar a geometria do processo leitura mostrada na figura (6.10), com um feixe de
leitura com modo transversal grande e contra-propagante ao feixe de excitação original, podendo
ser aproximado por uma onda plana com vetor de onda kr = −ke . O modo espacial pode ser
calculado substituindo a equação (6.86) para c j em (6.123), expandindo k = q + kz ẑ e r j = ρ j + z j ẑ,
q2
e lembrando que k1z = k1 − 2k11 :
1
Z
f2 (q) = 1/2
d 2 q1 φ1 (q1 ) ∑ e−i(q+q1 )·ρ j −i(k1z +kz )z j . (6.125)
Na j
Iremos também considerar uma distribuição de átomos no meio próxima à mostrada na figura
(6.10), ou seja, na direção transversal se extendendo muito além do modo de excitação definido por
φ1 . A distribuição de átomos na direção xy será portanto uniforme. Na direção z consideraremos
2 2
que a densidade atômica segue uma distribuição gaussiana. Teremos assim d(r) ∝ e−z /2L , com L
o comprimento do ensemble na direção z. A partir dessa função densidade o somatório em j pode
ser transformado em uma integral:
Z Z Z
2 /2L2
f2 (q) ∝ d 2 q1 φ1 (q1 ) d2ρ dz e−z e−i(q+q1 )·ρ−i(k1z +kz )z
Z
2 (k 2
∝ d 2 q1 φ1 (q1 )δ (q + q1 )e−L 1z +kz ) /2
2 (k 2
∝ φ1 (−q)e−L 1z +kz ) /2
. (6.126)
Esta expressão mostra então que o segundo fóton é extraído no modo conjugado ao campo 1, com
kz ≈ k1z e o modo transversal correspondente φ1 . Note também, da equação (6.124), que seu pacote
184 Capítulo 6. Regime quântico da interação átomo-luz
de onda oscila com frequência central ωeg , o que fixa o módulo do vetor de onda do fóton em torno
de ωeg /c. Para aumentarmos a eficiência e pureza do estado do fóton detectado, podemos então
usar uma fibra óptica para coletar a luz emitida pelo ensemble no processo de leitura exatamente no
mesmo modo Gaussiano do primeiro fóton detectado no processo de excitação do modo coletivo,
como mostrado na figura (6.10).
Figura 6.10: Geometria para leitura de um estado coletivo atômico acoplado ao modo
Gaussiano de uma fibra óptica monomodo.
Vamos agora nos concentrar no modo temporal do fóton emitido no processo de leitura. A
probabilidade pc (t) de detectar um fóton em torno do instante t é então
com F uma constante de proporcionalidade incluindo, entre outros fatores, a eficiência de detecção
e a largura temporal da janela de detecção. Obviamente, na equação (6.127) assumimos uma
janela de detecção muito pequena, de modo que pudemos assumir |g2 (t)| constante ao longo de sua
duração. Outra quantidade importante é a integral de (6.127) no tempo
Z ∞
Pc = pc (t)dt , (6.128)
0
que independe de F. Crucial para a forma do modo temporal do fóton é o valor de χ. Seu
cálculo, no entanto, é mais elaborado, envolvendo a distribuição de átomos no modo de detecção
φ1 , correspondendo ao estado coletivo |1a i. No limite de um ensemble em forma de cigarro com
diâmetro W << L, como nas figuras (6.8) e (6.10), é possível, no entanto, obter uma expressão
analítica simples [Men13, Oli14]:
Na
χ = 1+ , (6.130)
2W 2 k22
Na figura (6.12) mostramos como o pacote de onda varia quando o número de átomos no meio
varia. A potência foi fixada próxima ao máximo, por isso as oscilações de Rabi não mudam entre
os painéis da figura. Vemos, no entanto, uma mudança clara na relação dos máximos consecutivos
das oscilações de Rabi, indicando a queda de χ quando o número de átomos diminui na amostra. A
figura (6.13) mostra os χs obtidos do ajuste dos painéis da figura (6.12) como função do número de
átomos no meio. Observa-se então a dependência com Na prevista pela equação (6.130).
186 Capítulo 6. Regime quântico da interação átomo-luz
[Boe59] S. Boechner, Lectures on Fourier Integrals (Princeton University Press, Princeton, 1959).
[Cla69] J.F. Clauser, M.A. Horne, A. Shimony e R.A. Holt, Phys. Rev. Lett. 23, 880 (1969).
[Dua01] L.-M. Duan, M. D. Lukin, J. I. Cirac e P. Zoller, Nature 414, 413 (2001).