Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo...

47
Fundamentos de teoria quˆ antica Aula 4: Teoria quˆ antica Rafael Rabelo – rabelo@ifi.unicamp.br Departamento de F´ ısica da Mat´ eria Condensada Instituto de F´ ısica “Gleb Wataghin” Universidade Estadual de Campinas

Transcript of Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo...

Page 1: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Fundamentos de teoria quantica

Aula 4: Teoria quantica

Rafael Rabelo – [email protected]

Departamento de Fısica da Materia Condensada

Instituto de Fısica “Gleb Wataghin”

Universidade Estadual de Campinas

Page 2: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Sistemas quanticos

Um sistema quantico e qualquer coisa que admite uma descricao

dinamica fechada dentro da teoria quantica.

Asher Peres

1

Page 3: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Espacos de Hilbert

A todo sistema quantico e associado um espaco de Hilbert H:

• espaco vetorial;

• dotado de produto interno;

• no qual toda sequencia de Cauchy e convergente.

Neste curso, serao considerados apenas espacos de Hilbert complexos de

dimensao finita d ,

H = Cd . (1)

2

Page 4: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Notacao de Dirac

Um vetor arbitrario de H sera denotado |ψ〉:

|ψ〉 = [ψ1, . . . , ψd ]T =d∑

i=1

ψi |i〉 . [ket psi] (2)

Para todo vetor de H, existe um elemento dual, denotado 〈ψ|:

〈ψ| = [ψ∗1 , . . . , ψ∗d ] =

d∑i=1

ψ∗i 〈i | . [bra psi] (3)

3

Page 5: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Produto interno

O produto interno entre dois vetores e dado pelo bracket:

〈ψ|φ〉 =d∑

i=1

ψ∗i φi = 〈φ|ψ〉∗ . (4)

O produto interno induz uma norma em H:

|| |ψ〉 ||2 = 〈ψ|ψ〉 =d∑

i=1

|ψi |2. (5)

4

Page 6: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Base ortonormal

Um conjunto de d vetores {|φi 〉}di=1 e uma base ortonormal de H se,

para todo par i , j ∈ {1, . . . , d}:

〈φi |φj〉 = δij . (6)

5

Page 7: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Estados puros

O estado puro de um sistema quantico e representado por um vetor

normalizado do espaco de Hilbert H:

|ψ〉 ∈ H : || |ψ〉 || = 1. (7)

Dois vetores que sao iguais a menos de uma fase global representam o

mesmo estado quantico:

|ψ〉 ∼ e iϕ |ψ〉 . (8)

6

Page 8: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Qubit: H = C2

O estado puro |ψ〉 de um qubit pode ser escrito como:

|ψ〉 = α |0〉+ β |1〉 (9)

= |α| e iϕα |0〉+ |β| e iϕβ |1〉 (10)

= cos (δ) e iϕα |0〉+ sin (δ) e iϕβ |1〉 [normalizacao] (11)

= cos (δ) |0〉+ sin (δ) e i(ϕβ−ϕα) |1〉 [fase global] (12)

= cos (θ/2) |0〉+ sin (θ/2) e iϕ |1〉 .

7

Page 9: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Esfera de Bloch

|ψ〉 = cos (θ/2) |0〉+ sin (θ/2) e iϕ |1〉 . (13)

| i

|0i

|1i

'x

y

z

8

Page 10: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operadores

Um operador A e um objeto que atua sobre o espaco de Hilbert do

sistema, A : H → H, transformando seu estado.

9

Page 11: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operadores lineares

Um operador A e linear se

A (α |ψ〉+ β |φ〉) = αA |ψ〉+ βA |ψ〉 . (14)

O conjunto de operadores lineares atuando sobre o espaco de Hilbert H,

denotado LH, forma um espaco vetorial complexo de dimensao d2.

10

Page 12: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Matrizes

Operadores lineares podem ser vistos como matrizes d × d , que, na base

{|i〉}, sao escritas como

A =∑ij

Aij |i〉〈j | . (15)

11

Page 13: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Produto externo

O objeto |i〉〈j | e um operador, dado pelo produto externo entre os vetores

|i〉 e |j〉.

12

Page 14: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operacoes importantes sobre operadores

• Traco:

Tr (A) =∑i

〈i |A |i〉 . (16)

• Conjugacao:

A∗ =∑ij

A∗ij |i〉〈j | . (17)

• Transposicao:

AT =∑ij

Aij |j〉〈i | . (18)

• Conjugacao hermitiana:

A† =∑ij

A∗ij |j〉〈i | . (19)

13

Page 15: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operadores normais

Um operador A e dito normal se[A,A†

]= AA† − A†A = 0. (20)

14

Page 16: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Decomposicao espectral

Todo operador normal admite uma decomposicao espectral:

A =∑i

ai |ai 〉〈ai | . (21)

O numeros complexos ai sao ditos autovalores e os vetores |ai 〉 sao ditos

autovetores de A.

15

Page 17: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operadores unitarios

Um operador U e dito unitario se

U† = U∗ = U−1. (22)

Propriedades importantes:

• Preservam norma: ‖U |ψ〉‖ = ‖|ψ〉‖.• Preservam produto interno:

(〈φ|U†

)(U |ψ〉) = 〈φ|ψ〉.

• Normais: U =∑

j uj |uj〉〈uj |.• Autovalores unitarios: uj = e iϕj .

• Autovetores ortonormais: 〈ui |uj〉 = δij .

16

Page 18: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Grupo unitario

O conjunto das matrizes unitarias n × n, juntamente com a operacao de

multiplicacao de matrizes, formam o grupo unitario de ordem n,

denotado U (n).

Um subgrupo importante e o grupo unitario especial, de matrizes

unitarias n × n com determinante igual a 1. Este grupo e denotado

SU (n).

17

Page 19: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operadores hermitianos

Um operador A e dito hermitiano se

A = A†. (23)

Propriedades importantes:

• Normais: A =∑

j aj |aj〉〈aj |.• Autovalores reais: aj ∈ R.

• Autovetores ortonormais: 〈ai |aj〉 = δij .

O conjunto dos operadores hermitianos atuando sobre o espaco de Hilbert

H sera denotado DH, e forma um espaco vetorial real de dimensao d2.

18

Page 20: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operadores positivos

Um operador A e dito positivo semi-definido se, para todo |ψ〉 ∈ H,

〈ψ|A |ψ〉 ≥ 0. (24)

Propriedades importantes:

• Normais: A =∑

j aj |aj〉〈aj |.• Autovalores nao-negativos: aj ≥ 0.

• Autovetores ortonormais: 〈ai |aj〉 = δij .

O conjunto dos operadores positivos semi-definidos atuando sobre o

espaco de Hilbert H sera denotado D+H, e forma um cone convexo real de

dimensao d2.

19

Page 21: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operadores projetivos

Um operador Π e um projetor se

Π2 = Π. (25)

Propriedades importantes:

• Normais: Π =∑

j pj |pj〉〈pj |.• Autovalores binarios: pj ∈ {0, 1}.• Autovetores ortonormais: 〈pi |pj〉 = δij .

20

Page 22: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Exemplos importantes em C2

• Operador identidade:

1 =

(1 0

0 1

). (26)

• Matrizes de Pauli:

σx =

(0 1

1 0

), σy =

(0 −ii 0

), σz =

(1 0

0 −1

). (27)

21

Page 23: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operador densidade

O estado mais geral de um sistema quantico e um estado misto,

representado pelo operador densidade, um operador ρ que atua sobre H e

tal que:

• Positivo semi-definido: ρ ≥ 0;

• Normalizado: Tr (ρ) = 1.

22

Page 24: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Misturas

Todo operador densidade ρ pode ser escrito como uma mistura – ou

combinacao convexa – de projetores unidimensionais:

ρ =∑i

pi |ψi 〉〈ψi | , (28)

onde pi ≥ 0, e∑

i pi = 1, ou seja, sao probabilidades.

23

Page 25: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operador densidade do estado puro

Em geral, a mistura nao e unica. As excecoes sao os estados puros:

ρ = |ψ〉〈ψ| . (29)

24

Page 26: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operador densidade de um qubit

O estado ρ de um qubit pode ser escrito como:

ρ =1

2

(1 + vz vx − ivyvx + ivy 1− vz

)(30)

=1

2(1+ vxσx + vyσy + vzσz) (31)

=1

2(1+ ~v .~σ) .

A condicao de positividade exige que ‖~v‖ ≤ 1, com igualdade se, e

somente se, ρ e puro.

25

Page 27: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Bola de Bloch

ρ =1

2(1+ ~v .~σ) (32)

|0i

|1i

x

y

z

~v

26

Page 28: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operacoes

Uma operacao sobre um sistema e representada por uma mapa linear M

que leva cada estado ρ a um novo estado M [ρ].

A fim de preservar as propriedades do operador densidade, M deve ser

um mapa completamente positivo e preservar o traco.

Mapas com estas propriedades sao muitas vezes chamados de

superoperadores.

27

Page 29: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Mapas positivos

Um mapa positivo e um mapa linear que mapeia operadores positivos em

operadores positivos, ou seja, se ρ ≥ 0, entao M [ρ] ≥ 0.

28

Page 30: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Equacao de movimento

A evolucao dinamica de um sistema quantico fechado e governada pelo

seu Hamiltoniano H por meio da equacao de von Neumann:

∂ρ

∂t= − i

~[H, ρ] = − i

~(Hρ− ρH) . (33)

29

Page 31: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Evolucao de estados puros

Para estados puros, a equacao de von Neumann se reduz a equacao de

Schrodinger:

∂ |ψ〉∂t

= − i

~H |ψ〉 . (34)

30

Page 32: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Operador de evolucao

A evolucao do sistema de um estado inicial ρ(0) a um estado final ρ(t),

regida pela equacao de von Neumann, e dada por um operador unitario

U(t), e pode ser vista como a aplicacao de um mapa M(t):

ρ(t) = U(t)ρ(0)U†(t) = M(t) [ρ] . (35)

31

Page 33: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Medicoes projetivas (MPs)

Em uma medicao projetiva x , a cada possıvel resultado a e associado um

projetor Πa|x , de forma que:

• Πa|xΠa′|x = δa,a′Πa|x ,

• ∑a Πa|x = 1.

32

Page 34: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Regra de Born

Se a medicao x e realizada sobre um sistema no estado ρ, entao a

probabilidade de se obter o resultado a e dada pela regra de Born:

p(a|x) = Tr(ρΠa|x

). (36)

33

Page 35: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Estado apos uma MP

O estado do sistema imediatamente apos a medicao projetiva x , quando

foi obtido o resultado a, e dado por

ρa|x =

(Πa|x

)ρ(Πa|x

)Tr(ρΠa|x

) . (37)

34

Page 36: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Repetibilidade

As medicoes projetivas sao repetıveis: se a mesma medicao projetiva e

realizada duas vezes, em sequencia, o resultado da segunda medicao sera

identico ao da primeira.

35

Page 37: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Numero de resultados

O numero maximo de resultados de uma medicao projetiva e igual a

dimensao do sistema, d .

36

Page 38: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Remixagem

Suponha que a uma medicao projetiva x e realizada sobre um sistema no

estado ρ. Algum resultado e obtido, mas, por alguma razao, nao sabe-se

qual. Seja ρx o estado do sistema apos a medicao. Sua melhor descricao

e dada por uma media sobre os estados pos-medicao para cada um dos

possıveis resultados, ponderada por suas respectivas probabilidades:

ρx =∑a

p(a|x)

(Πa|x

)ρ(Πa|x

)p(a|x)

=∑a

(Πa|x

)ρ(Πa|x

)(38)

6=ρ (em geral).

37

Page 39: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Observaveis

Um observavel e um operador hermitiano que atua sobre H,

representando uma propriedade fısica do sistema.

38

Page 40: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Observaveis e MPs

Todo observavel Ax esta associado a uma medicao projetiva atraves de

sua decomposicao espectral:

Ax =∑a

Aa |ψa〉〈ψa| =∑a

AaΠa|x . (39)

Os possıveis valores de Ax sao seus autovalores, os elementos do

conjunto {Aa}.

39

Page 41: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Valor esperado de um observavel

O valor esperado do observavel Ax , quando medido no estado ρ, e:

〈Ax〉 =∑a

Aap(a|x) (40)

=∑a

AaTr(ρΠa|x

)(41)

= Tr (ρAx) .

40

Page 42: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

POVMs – Positive Operator-Valued Measures

Em um POVM x , a cada possıvel resultado a e associado a um operador

positivo semi-definido Ea|x , de forma que:

• Ea|x ≥ 0,

• ∑a Ea|x = 1.

41

Page 43: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Regra de Born

Se o POVM x e realizado sobre um sistema no estado ρ, entao a

probabilidade de se obter o resultado a e dada pela regra de Born:

p(a|x) = Tr(ρEa|x

). (42)

42

Page 44: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Estado apos uma MP

O estado do sistema imediatamente apos um POVM x , quando foi

obtido o resultado a, e dado por

ρa|x =

(E

1/2a|x

)ρ(E

1/2a|x

)Tr(ρEa|x

) . (43)

43

Page 45: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Instrumentos

Os operadores Ia|x = E1/2a|x sao ditos instrumentos de medicao.

Diferentes instrumentos podem dar origem ao mesmo POVM.

44

Page 46: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Nao-repetibilidade

Ao contrario das medicoes projetivas, POVMs nao sao, em geral,

repetıveis.

45

Page 47: Aula 4: Teoria qu^antica - Sites do IFGW · 2019. 9. 3. · Aula 4: Teoria qu^antica Rafael Rabelo { rabelo@i .unicamp.br Departamento de F sica da Mat eria Condensada Instituto de

Numero de resultados

POVM’s podem ter um numero arbitrario de resultados, nao sendo

limitados pela dimensao do sistema, d .

46