22.05.2014 Views

Instantoni - phy

Instantoni - phy

Instantoni - phy

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Seminar iz teorije polja<br />

<strong>Instantoni</strong><br />

Sanjin Beni¢<br />

Zagreb, 9. rujna 2010<br />

Saºetak<br />

Zbog svoje valne prirode, kvantnomehani£ka £estica (ili kvantnomehani£ka<br />

konguracija polja) moºe tunelirati kroz potencijalnu barijeru.<br />

<strong>Instantoni</strong> predstavljaju jedan mogu¢i opis tog tuneliranja. Cilj<br />

ovog seminara je vidjeti kako to to£no funkcionira.


Sadrºaj<br />

1 <strong>Instantoni</strong> u kvantnoj mehanici 1<br />

1.1 Integral po stazama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1<br />

1.2 Dvostruka jama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4<br />

1.3 Razriježeni instantonski plin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7<br />

1.4 Periodi£ni potencijal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9<br />

2 <strong>Instantoni</strong> u Yang-Mills teoriji 13<br />

2.1 Topologija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14<br />

2.2 Instanton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18<br />

2.3 θ kut . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22<br />

2.4 Vakuumska energija . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23<br />

A Harmoni£ki oscilator 26<br />

B Ra£un K za dvostruku jamu 28<br />

C t'Hooftov simbol 30<br />

Literatura 32<br />

i


1 <strong>Instantoni</strong> u kvantnoj mehanici<br />

Po£injemo s kvantnom mehanikom samo zato jer je tako najednostavnije. No unato£ tome, od<br />

teorije polja i nismo toliko daleko: kvantna mehanika se zapravo moºe promatrati kao poseban<br />

slu£aj teorije polja. Ideja je da ono ²to predstavlja operator skalarnog polja u (0+1) dimenzionalnoj<br />

teoriji polja interpretiramo kao operator poloºaja u kvantnoj mehanici. Kako poglavlje odmi£e<br />

vidjeti ¢emo kako se ova ideja razvija.<br />

1.1 Integral po stazama<br />

Klasi£an problem moºe se denirati pomo¢u akcije S[q] koja je funkcional poloºaja q<br />

S[q] =<br />

∫ T/2<br />

−T/2<br />

a L(t) je obi£na funkcija poloºaja (preko £ega i ovisi o vremenu)<br />

dtL(t), (1.1)<br />

L = 1 2 m ˙q2 − V (q), (1.2)<br />

odnosno lagranºijan.<br />

Staza kojom se kre¢e klasi£na £estica je ona koja ekstremizira akciju. Kvantnomehani£ka £estica<br />

ne slijedi nuºno klasi£nu stazu. Ako £estica krene iz neke po£etne to£ke q i , ona ¢e evoluirati za<br />

neko vrijeme T ba² u to£ku q f sa vjerojatno²¢u F<br />

F (q f , q i , T ) = 〈q f , +T/2|q i , −T/2〉 = 〈q f |e − i HT |q i 〉<br />

Feynman je pokazao da se gornja amplituda da napisati kao "suma" po svim stazama<br />

∫<br />

F (q f , q i , T ) = N [dq]e iS[q]/ . (1.3)<br />

N je norma koja osigurava dvije stvari: da je mjera [dq] dobro denirana (u smislu da pokupi sve<br />

eventualne divergencije koje se nažu na putu pri ra£unanju), te da osigurava da apsolutni kvadrat<br />

gornjeg izraza ima zna£enje vjerojatnosti. Radi kra¢eg zapisa ispustili smo granice integracije.<br />

U jeziku teorije polja (1.3) stanja |q f,i , ±T/2〉 za veliki T bi bila vakuum polja teorije. Ovdje<br />

imamo posla s integralom po stazama prije nego smo ga usendvi£ili sa £esti£nim vakuumima (pa<br />

da skalarni produkti produciraju iɛ £lanove za propagatore).<br />

1


Wickova rotacija Prije nego idemo ra£unati (1.3) moramo napraviti Wickovu rotaciju. To je<br />

zato ²to ga jedino tako i znamo izvrijedniti. Wickova rotacija se radi i u teoriji perturbacije, samo<br />

u impulsnom prostoru: tamo smo znali gdje su polovi i Wick-rotirali smo tako da ih ne uhvatimo<br />

pod integralnu krivulju. Ovdje to ne znamo, pa je Wickova rotacija ne²to u ²to naprosto vjerujemo.<br />

Njen efekt je kao da smo t zamijenili s it E s tim da su i t i t E realni brojevi (upravo zato to i nije<br />

samo zamjena varijabli). Tada imamo:<br />

∫<br />

F (q f , q i , T E ) = N [dq]e −SE[q]/ , (1.4)<br />

gdje smo sad ba² ozna£ili iT = T E , i gdje je<br />

S E [q] =<br />

∫ TE /2<br />

−T E /2<br />

dt E<br />

[ m<br />

2<br />

( dq<br />

dt E<br />

) 2<br />

+ V (q)<br />

]<br />

. (1.5)<br />

Kada ne bude dvosmisleno (gotovo uvijek), ispu²tati ¢emo rije£ Euklidska. Da se ne zagu²i notacija,<br />

od sad pa na dalje, ispu²tati ¢emo i supskript E.<br />

Funkcionalni razvoj Euklidske akcije Da stvar bude gora, ne samo da znamo izvrijedniti<br />

samo Euklidski integral po stazama, ve¢ ga znamo egzaktno izvrijedniti samo ako u eksponentu<br />

stoji najvi²e kvadratni polinom. Tada imamo posla s beskona£no mnogo Gaussovskih integrala.<br />

Idemo zato razviti akciju do kvadratnog £lana oko nekog q 0 (t)<br />

∫ T/2 ( δS[q]<br />

)<br />

S[q] ≈ S[q 0 ] + dt<br />

+<br />

−T/2 δq(t) 0η(t) 1 ∫ T/2<br />

dtdt ′( δ 2 S[q]<br />

)<br />

2<br />

δq(t)δq(t ′ η(t)η(t ′ )<br />

) 0<br />

Najednostavnije je ovaj izraz shvatiti kao Taylorov red za beskona£no mnogo varijabli (od tuda<br />

integral). Funkcionali su u tom smislu funkcije beskona£no mnogo varijabli. η = q−q 0 su uktuacije<br />

oko q 0 . Akcija je tako kao neka vrsta potencijala, samo zbog toga ²to predstavlja funkcional, ne<br />

razvijamo oko to£ke ve¢ oko cijele funkcije.<br />

Od svih mogu¢ih q-ova koji ulaze u integral po stazama olak²ajmo si posao tako da razvijamo oko<br />

takvog q 0 da vrijedi:<br />

( δS[q]<br />

)<br />

= 0. (1.6)<br />

δq(t) 0<br />

U tom slu£aju treba nam samo druga derivacija izvrijednjena u ekstremalnoj to£ci<br />

( δ 2 S[q]<br />

) [<br />

δq(t)δq(t ′ = m d ) 0 dt<br />

−T/2<br />

d<br />

]<br />

dt ′ + V ′′ (q(t)) δ(t − t ′ ).<br />

2


Nakon parcijalne integracije<br />

²to se formalno moºe shvatiti kao<br />

S[q] ≈ S[q 0 ] + 1 〈η|F |η〉,<br />

2<br />

〈η|F |η〉 =<br />

∫ T/2<br />

−T/2<br />

dtdt ′ 〈η|t〉〈t|F |t ′ 〉〈t ′ |η〉.<br />

F predstavlja tzv. uktuacijski operator, £iji je matri£ni prikaz u bazi |t〉 dijagonalan<br />

〈t|F |t ′ 〉 =<br />

]<br />

[−m d2<br />

dt 2 + V ′′ (q 0 ) δ tt ′,<br />

a skalarni produkti jednostavno η(t) = 〈t|η〉.<br />

Jednadºba (1.6) je jednadºba za klasi£nu stazu £estice. Klasi£na staza ima klasi£nu akciju a<br />

klasi£na akcija je puno ve¢a od minimalne kvantne, tj. . Ali to nije razvoj po maloj Planckovoj<br />

konstanti, to je razvoj po klasi£noj stazi, jer je ideja da promatramo takvu zikalnu situaciju u<br />

kojoj je ogroman broj staza koncentriran oko te klasi£ne, pa bi uktuacije zbilja dale velik doprinos<br />

u integral po svim stazama.<br />

Mjera integrala po stazama se ne mijenja jednostavnom translacijom varijabli (Jacobijan te transformacije<br />

je 1). Stoga<br />

∫<br />

F (q f , q i , T ) = N e −S[q0]/ [dη]e −〈η|F|η〉/2 .<br />

Preostali integral se rje²ava dijagonalizacijom, tj.<br />

F |η n 〉 = λ n |η n 〉,<br />

|η〉 = ∑ n<br />

c n |η n 〉.<br />

Pa je<br />

〈η|F |η〉 = ∑ n<br />

c 2 nλ n .<br />

Moºemo i malo paºljivije denirati mjeru<br />

∫<br />

[dη] =<br />

∫ η(T/2)<br />

η(−T/2)<br />

∫ η(T/2)<br />

∫ ∞<br />

dη(t 1 ) dη(t 2 ) · · · = const ×<br />

η(−T/2)<br />

−∞<br />

∫<br />

dc ∞<br />

√ 1<br />

2π<br />

−∞<br />

dc 2<br />

√<br />

2π<br />

· · ·<br />

O gornjem izrazu treba razmi²ljat ovako: prvo na² integral po stazama je suma po svim mogu¢im<br />

stazama sa ksiranim krajevima. U svakom trenutku t i imamo cijeli skup staza koje treba sumirati.<br />

Te staze sumiramo tako da sumiramo uktuacije svih staza oko neke staze q 0 . Kona£no, umjesto<br />

da sumiramo po cijelom skupu uktuacija u svakom vremenskom trenutku, moºemo sumirati po<br />

amplitudama "normalnih modova" na koje se te uktuacije daju rastaviti. Ograni£enje ksiranih<br />

krajeva postaje rubni uvjet za diferencijalnu jednadºbu kojom ¢emo i traºiti normalne modove.<br />

Faktor √ 2π je proizvoljno uba£en i rezultira konstantom ispred integracije, koju ¢emo ionako<br />

staviti u normu.<br />

Integral po stazama postaje trivijalan<br />

F (q f , q i , T ) = N e −S[q0]/ ∏ n<br />

²to u slu£aju da su svi λ n > 0 postaje<br />

( ∫ ∞<br />

−∞<br />

dc n<br />

√<br />

2π<br />

e −c2 n λn/2) ,<br />

F (q f , q i , T ) = N e −S0/ [det F ] −1/2 , (1.7)<br />

gdje se determinanta shva¢a kao produkt svojstvenih vrijednosti.<br />

3


1.2 Dvostruka jama<br />

Ako bi nas zanimalo koliko kvantna mehanika modicira klasi£nu sliku nekog zikalnog problema,<br />

uzeli bi integral po stazama i razvili akciju oko klasi£nog rje²enja do kvadrati£nog £lana. Rezultat<br />

ovog razvoja bio bi svojevrstan semiklasi£an opis: sistem bi se pona²ao klasi£no uz prisustvo<br />

kvantnih uktuacija. Npr. da stavimo £esticu na dno potencijalne jame ona bi imala energiju<br />

nula. To bi bilo njeno klasi£no pona²anje, ona bi samo sjedila na dnu te jame. No, razvojem<br />

akcije do kvadrati£nog £lana dobili bi harmoni£ki oscilator u potencijalu, ustanovili bi da njegovo<br />

najniºe stanje ima energiju razli£itu od nule (kao ²to i relacije nedodreženosti to nalaºu). To bi<br />

bile kvantne uktuacije. A integral po stazama bi u ovom slu£aju dao samo normu najniºeg stanja<br />

harmoni£kog oscilatora. Ovo ¢emo zapravo kasnije i izra£unati.<br />

Ovakav tip razmatranja u teoriji polja moºe se shvatiti kao resumacija cijele klase dijagrama. U<br />

tom smislu klasi£no pona²anje bi bili drvasti dijagrami 1 ( 0 ), a kvadrati£ni £lan akcije dijagrami do<br />

na jednu petlju ( 1 ). Zna£i da pomo¢u integrala po stazama moºemo promatrati neperturbativne<br />

efekte.<br />

Ako umjesto jednostruke jame imamo dvostruku jamu, £estica ne mora vi²e samo sjediti u jednom<br />

minimumu i uktuirati s 1 potisnu¢em. Sad moºe i tunelirati iz jednog minimuma u drugi.<br />

Tuneliranje je neperturbativni fenomen, isto kao i npr. vezano stanje. Vezana stanja ne moºemo<br />

dobiti ra£unanjem samo jednog Feynmanovog dijagrama, moramo sumirati cijelu klasu dijagrama.<br />

Zato za vezana stanja i rje²avamo Schrödingerovu jednadºbu. Za tuneliranje rje²avamo integral<br />

po stazama. U tom formalizmu, upravo instanton omogu¢uje tuneliranje. Ovdje igramo sli£nu<br />

igru kao gore s harmoni£kim oscilatorom: razvijamo oko klasi£nog rje²enja, ali ovaj puta Euklidske<br />

akcije. To klasi£no rje²enje se zove instanton.<br />

Takožer, za razliku od harmoni£kog oscilatora, ovdje trebamo tuneliraju¢e rubne uvjete: ne zanima<br />

nas vi²e da £estica cijelo vrijeme stoji u istoj to£ci prostora (da je polje u istom minimumu),<br />

ve¢ da nakon nekog vremena tunelira iz jednog minimuma u drugi. Stoga ¢e i klasi£no rje²enje<br />

morati zadovoljiti te rubne uvjete. Sad postaje o£it razlog za²to razvijamo oko Euklidske akcije,<br />

"normalna" akcija nikako ne moºe dati rje²enje s takvim rubnim uvjetima. Ispada da Euklidska<br />

akcija ima upravo takvo klasi£no rje²enje. Nije ni £udo, zato ²to ono ²to je prije predstavljalo<br />

potencijalnu jamu sad postaje potencijalni brijeg s kojeg se £estica samo odkotrlja. Ako njega<br />

nažemo, i zanemarimo kvadratni £lan, tuneliranje iz jednog u drugi minimum je dano faktorom<br />

e −S0/ . Ovo je prva poznata stvar iz uobi£ajenog razmatranja tuneliranja u kvantnoj mehanici (i<br />

razlog zbog £ega se instantone uop¢e povezalo s tuneliranjem): to je eksponencijalno trnu¢i proces.<br />

U Euklidskom smo prostoru i promatramo situaciju klasi£no. Ako potencijal ne ovisi o vremenu,<br />

onda je Euklidska energija (koju pi²emo bez supskripta E)<br />

E = m 2 ˙q2 − V (q)<br />

sa£uvana. Gornju jednadºbu moºemo i staviti u formu pogodnu za integraciju<br />

√ m dq<br />

± √ = dt. (1.8)<br />

2 E + V (q)<br />

1 Ovdje je rije£ "klasi£no" malo zlorabljena, jer ra£unanjem nekog procesa ve¢ na drvastom nivou mi ra£unamo<br />

njegovu amplitudu, £ime je kvantna mehanika u²la u igru. Ali to vrijedi kada se bavimo £esticama. Vakuum je<br />

prostor bez £estica, pa za njega nema kvantne mehanike bez petlji.<br />

4


Ako odaberemo standardni potencijal dvostruke jame,<br />

V (q) = λ 4 (q2 − a 2 ) 2 , (1.9)<br />

i promatramo situaciju u kojoj £estica (iz Euklidske pri£e) iz stanja mirovanja na vrhu jednog<br />

brijega dolazi do vrha drugog brijega bez da je utro²ila i²ta energije. Tada gornju jednadºbu<br />

rje²ava<br />

q I, Ī(t) = ±a tanh ω 2 (t − t 0), (1.10)<br />

Rje²enje s + predznakom po konvenciji zovemo instanton, a ono s obrnutim predznakom antiinstanton.<br />

t 0 je integracijska konstanta odabrana tako da q I, Ī(t 0 ) = 0. Kao ²to smo i nagovijestili,<br />

q I (−T/2) = a, a q I (T/2) = −a, za T ≫. Uveli smo ω 2 = 2λa 2 /m.<br />

Ova razmatranja su potpuno li²ena dinamike: Euklidsko vrijeme nema nikakav stvaran zikalan<br />

smisao. To je u redu, zato jer ionako na kraju pu²tamo T → ∞; nikakva dinamika nas zapravo i<br />

ne zanima. Sve na ²to moºemo odgovoriti je s kojom vjerojatno²¢u se tuneliranje desilo, ali ne i<br />

kad. Akcija, koja se moºe i napisati u formi koja podsje¢a na WKB ra£un, je<br />

S[q I ] =<br />

∫ a<br />

−a<br />

dq I<br />

√<br />

2mV (qI ) = 2 3 mωa2 , (1.11)<br />

i ista je za instanton i antiinstanton.<br />

U biti, sad imamo gotovu formulu za tuneliranje, no mi ipak ºelimo i¢i korak dalje, bar u ovoj<br />

jednostavnoj slici, i uzeti u obzir uktuacije. No ra£un determinante operatora F u ovom slu£aju<br />

nije tako jednostavan. Problem je u tome ²to ¢e jedna od njegovih svojstvenih vrijednosti biti nula,<br />

pa vi²e ne moºemo primjeniti Gaussovu formulu. To je problem karakteristi£an svim instantonskim<br />

razmatranjima, pa mu je posve¢en cijeli slijede¢i odjeljak.<br />

Nulti mod Instanonsko rje²enje ima degeneraciju s obzirom na njegov "centar", tj. na t 0 . To<br />

zna£i da mi bez obzira koji t 0 uvrstili dobivamo isti rezultat za akciju (1.11). Ako zamislimo<br />

akciju kao nekakav "funkcionalni potencijal" (funkciju beskona£no varijabli), onda to zna£i da<br />

postoje "krivulje" u tom prostoru (ekvipotencijale) po kojima kada se gibamo, ne mijenjamo potencijal.<br />

Grubo govore¢i, ako prva funckionalna derivacija generira ekvipotencijalne krivulje, onda<br />

druga funkcionalna derivacija generira promjenu te ekvipotencijalne krivulje. Ako se "gibamo" po<br />

takvim "to£kama" tako da ostajemo na istoj ekvipotencijalnoj krivulji, onda druga (funkcionalna)<br />

derivacija (u tom "smjeru") akcije mora i²£ezavati. Kako je ona upravo jednaka F-u, onda ¢e taj<br />

F morati sadrºavati nulti mod. Kako je t 0 jedini slobodan parametar postojati ¢e samo jedan<br />

nulti mod. Ovo vrijedi i generalno: koliko ¢e biti nultih modova ovisi o tome koliko ¢e instanton<br />

imati slobodnih parametara.<br />

Nulti mod moºemo jeftino dobiti ako uzmemo ono ²to nam daje δS/δq = 0 i napravimo promjenu<br />

5


toga po ekvipotencijali:<br />

∆q I (t) = q I (t − ∆t 0 ) − q I (t) = (−∆t 0 ) ∂q I 1<br />

∝<br />

∂t 0 cosh 2 1 2 ω(t − t 0) ,<br />

odnosno nulti mod je "tangenta" na ekvipotencijalnu krivulju u tom prostoru. Gornjem izrazu<br />

je proporcionalan svojstveni vektor η 0 . Primjetimo da ostala dva rje²enja δS/δq = 0 s E = 0<br />

(to su jednostavno rje²enja u kojima £estica cijelo vrijeme stoji u jednoj od jama, tj. q(−T/2) =<br />

q(T/2) = a i q(−T/2) = q(T/2) = −a) nemaju tu parametarsku slobodu. Uostalom, oni su i<br />

rje²enja varijacije "normalne" akcije s "normalnom" energijom nula, pa kad "razvijamo" oko njih<br />

znamo ²to ¢emo dobiti: samo nulto gibanje harmoni£kog oscilatora.<br />

Iako ovo donekle podsje¢a na Higgsov mehanizam (kona£no, sloboda u t 0 je tu zbog simetrije na<br />

translacije u vremenu), ovaj nulti mod se ne moºe interpretirat kao neki Goldstoneov bozon. To<br />

je zato jer Goldstoneov bozon ima kontinuiran spektar (mijenja se s impulsom), a ovdje, kao ²to<br />

¢emo vidjeti, osim nultog moda imamo jo² jedan diskretan mod i tek onda kontinuirani spektar.<br />

S prakti£ne strane, nulti mod je problem jer integracija po njemu vi²e nije Gaussovska:<br />

∫ ∞<br />

−∞<br />

pa ga moramo posebno tretirati<br />

dc 0<br />

√<br />

2π<br />

e − 1<br />

2 λ0c2 0 =<br />

∫ ∞<br />

−∞<br />

dc 0<br />

√<br />

2π<br />

→ ∞,<br />

t 0 → t 0 + dt 0 ⇒ dq = dq I<br />

dt 0 = − dq I<br />

dt 0 dt dt 0,<br />

c 0 → c 0 + dc 0 ⇒ dq = dq<br />

√ m dq I<br />

dc 0 = η 0 dc 0 =<br />

dc 0 S I dt dc 0,<br />

gdje smo prvoj jednadºbi koristili da je q = q I + η, a η ne ovisi o t 0 , a u drugoj eksplicitno stavili<br />

normu. Uz redeniciju c 0 → −c 0 √<br />

SI<br />

dc 0 =<br />

m dt 0.<br />

Slijedi<br />

F (−a, a, T ) = N e −S I / JωT [mω 2 det ′ F ] −1/2 , (1.12)<br />

gdje smo sa det ′ u ra£unanju determinante ispustili nulti mod. Denirana je bezdimenzionalna<br />

veli£ina J = √ S I /2π, c 0 se jo² zove kolektivna koordinata, jer preko t 0 mjeri koliko smo cijeli<br />

instanton pomaknuli u Euklidskom vremenu.<br />

Fizikalno, T se javlja jer smo prosumirali po svim sedlenim to£kama: micanje po njima ne ko²ta<br />

ni²ta akcije, pa u tim modovima nema eksponencijalnog potisnu¢a za tuneliranje. Moºemo re¢i da<br />

nema veze kada se instanton pojavi u Euklidskom vremenu, po²to traje samo trenutak ("instant"):<br />

nije bitno kada se tuneliranje desi, stoga niti vjerojatnost tuneliranja ne moºe o tome ovisiti.<br />

Integral po stazama za jedan instanton Na skali Euklidskog vremena T se uglavnom ni²ta<br />

ne dogaža. ƒestica ili sjedi u jami lijevo ili sjedi u jami desno. Prijelaz se de²ava na skali 1/ω za<br />

kojeg uzimamo da je puno manji od T. Tako za ve¢inu vremena T zbilja moºemo uzeti F ≈ F ho ,<br />

gdje je F ho uktuacijski operator harmoni£kog oscilatora<br />

〈t|F ho |t ′ 〉 =<br />

[−m d2<br />

dt 2 + mω2] δ tt ′. (1.13)<br />

No kako oni ipak nisu jednaki deniramo<br />

Slijedi<br />

[mω 2 det ′ F ] −1/2 = K[det F ho ] −1/2 . (1.14)<br />

F (−a, a, T ) = N e −S I / JKωT [det F ho ] −1/2 .<br />

N [det F ho ] −1/2 je sad jednostavno integral po stazama za harmoni£ki oscilator, i on je izra£unat<br />

u dodatku A. Kona£an rezultat<br />

(<br />

F (−a, a, T ) = e −S I mω<br />

) 1/2e / JKωT<br />

−ωT/2 . (1.15)<br />

π<br />

6


1.3 Razriježeni instantonski plin<br />

Ako je T jako veliko, £estica ne¢e samo jednom tunelirati iz jedne jame u drugu. Realno, de²avati<br />

¢e se neprestane oscilacije. Za opis takve situacije trebati ¢e nam vi²e od jednog instantona.<br />

ω je mjera ²irine instantona; ²to je ω manji to je instanton ²iri. No koliko god ω bio mali, odnosno<br />

1/ω veliki mi uvijek moºemo T u£initi puno ve¢im. Na kraju ¢emo i dati jedan primjer u kojem<br />

je ovo zadovoljeno. U tom reºimu moºemo o£ekivati da ¢e se desiti vi²e od jednog tuneliranja,<br />

pa izraz (1.15) ba² i nije ono ²to ºelimo. Vi²e od jednog tuneliranja zna£i nekakvu superpoziciju<br />

instantona koji bi sad omogu¢ili £estici da u nekom velikom T neprestano oscilira izmežu dvije<br />

jame. Ali ta superpozicija nije rje²enje jednadºbe δS/δq = 0 (jer ta jednadºba nije linearna), ali<br />

ako su pojedini instantoni u superpoziciji dovoljno razmaknuti (vi²e od 1/ω) onda je to dobra<br />

aproksimacija. U tom bi smislu instantoni £inili razriježeni plin.<br />

Ako ºelimo rje²enje koje ¢e izgledati kao instantonsko na velikim skalama, a koje ¢e zapravo sadrºavati<br />

superpoziciju N instantona i antiinstantona, tada ta superpozicija mora po£eti i zavr²iti s<br />

instantonom. Zna£i da moramo imati (N + 1)/2 instantona i (N − 1)/2 antinstantona<br />

q N (t) =<br />

(N+1)/2<br />

∑<br />

k=1<br />

(N−1)/2<br />

∑<br />

q I (t − t 2k−1<br />

0 ) +<br />

k=1<br />

q Ī (t − t 2k<br />

0 ), (1.16)<br />

a t k 0-ovi su dani u padaju¢em poretku. Analogno se napi²e i rje²enje koje ¢e izgledati kao antiinstantonsko.<br />

Razriježeni plin bi bio suma ovakvih superpozicija bilo kojeg N.<br />

Integral po stazama za N instantona Za sad smo rje²ili integral po stazama za instantonsko<br />

rje²enje (1.15). Faktor ωT dobiven je zbog toga jer je instantonski centar mogao biti bilo gdje<br />

izmežu −T/2 i T/2. Ako umjesto jednog imamo N instantona i ako taj niz ide kao I-Ī...I onda<br />

samo prvi I moºe biti izmežu −T/2 i T/2. Slijede¢i antiinstanton mora po£eti "najranije" od<br />

centra prvog instantona. Stoga je integral po stazama za N neinteragiraju¢ih instantona ove forme<br />

∫ T/2<br />

F N (−a, a, T ) = F ho (0, 0, T )(JKe −S I / ) N ωdt 1 0<br />

−T/2<br />

= F ho (0, 0, T ) (JKe−S I / ωT ) N<br />

.<br />

N!<br />

∫ T/2<br />

t 1 0<br />

ωdt 2 0 · · ·<br />

∫ T/2<br />

Otkud F ho ? Ako bi ba² pisali integral po stazama onda bi u akciju i²ao q N . Varijabla integracije<br />

q bi do drugog reda sadrºavala lokalne uktuacije oko svakog pojedinog instantona i globalne<br />

uktuacije koje se mogu pridjeliti samo uktuacijama minimuma. Dio akcije s tim £lanom daje<br />

F ho .<br />

Poznati rezultat<br />

t N−1<br />

0<br />

ωdt N 0<br />

Sumiramo po N da dobijemo instantonski plin s bilo kojim brojem instantona<br />

F (−a, a, T ) =<br />

∑<br />

Nneparan<br />

F N (−a, a, T ) = F ho<br />

∑<br />

Nneparan<br />

(JKe −S I / ωT ) N<br />

,<br />

N!<br />

7


gdje suma samo po neparnima ide zbog rubnih uvjeta. Ako ho¢emo F (a, a, T ), tj. da £estica u<br />

svom osciliranju izmežu dviju jama, nakon T, opet zavr²i odakle je i po£ela, onda sumiramo po<br />

parnim N. Kona£ni rezultat je<br />

1<br />

F (±a, a, T ) = F ho<br />

2<br />

= 1 2<br />

( mω<br />

π<br />

[<br />

e JKe−S I / ωT ± e −JKe−S I / ωT ] =<br />

) 1/2 [<br />

e −( 1 2 −JKe−S I / )ωT ± e −( 1 2 +JKe−S I / )ωT ] .<br />

U limesu T → ∞ preºivljavaju dva stanja; |0〉 i |1〉 (vidi dodatak A)<br />

iz £ega se o£itaju njihove energije<br />

norme<br />

i odnos faza<br />

lim<br />

T →∞ F (−a, a, T ) = e−E0T/ 〈±a|0〉〈0|a〉 ± e −E1T/ 〈±a|1〉〈1|a〉,<br />

(1.17)<br />

E 0 = ω 2 − ωJKe−S I / , E 1 = ω 2 + ωJKe−S I / , (1.18)<br />

|〈±a|0〉| 2 = |〈±a|1〉| 2 = 1 2<br />

( mω<br />

) 1/2,<br />

π<br />

〈−a|0〉〈0|a〉 = −〈−a|1〉〈1|a〉 = 1 ( mω<br />

) 1/2.<br />

2 π<br />

S druge strane, znamo da moºemo razvijati oko minimuma obje jame u harmoni£ki oscilator, i<br />

dobiti degenerirane energije E ± = ω/2 i norme<br />

|〈±| ± a〉| 2 =<br />

( mω<br />

) 1/2,<br />

π<br />

gdje smo s |±〉 ozna£ili energijska stanja u lijevoj i desnoj jami. Sad se stanja |0〉 i |1〉 mogu ovako<br />

zapisati<br />

|0〉 = √ 1 (|+〉 + |−〉), |1〉 = √ 1 (|+〉 − |−〉). (1.19)<br />

2 2<br />

Interpretacija je slijede¢a: ako radimo teoriju perturbacije (razvoj) oko jedne jame, ra£unamo<br />

stacionarna stanja i dobiti ¢emo harmoni£ki oscilator. Energije su degenerirane. Tuneliranje cijepa<br />

degeneraciju i stanja harmoni£og oscilatora vi²e nisu stacionarna. Frekvencija oscilacija mežu tim<br />

stanjima je<br />

Ω = E 1 − E 0<br />

= 2JKωe −S I / .<br />

<br />

Osnovno stanje pune teorije (koje je stacionarno) je simetri£na linearna kombinacija svojstvenih<br />

stanja. U formalizmu teorije polja to bi bio "pravi" vakuum teorije. Zbog prisutnosti tuneliranja<br />

nema spontanog loma simetrije. U punoj (3 + 1) teoriji polja nau£ili smo na kanonskom primjeru<br />

upravo φ 4 teorije sa "krivim" predznakom mase da je ta teorija spontano slomljena. Za²to<br />

tamo nema tuneliranja? To je zato jer akcija tamo sadrºi jo² i integral po volumenu prostora, pa<br />

je ugrubo akcija proporcionalna volumenu, £ime za beskona£an volumen tuneliranje jednostavno<br />

i²£ezava.<br />

Molekula amonijaka je tipi£an primjer ovakve situacije, imamo atom du²ika koji tunelira kroz barijeru<br />

koja se formira od 3 atoma vodika. Frekvencija tuneliranja je Ω = 24000 MHz. Kako smo<br />

K faktor izra£unali u dodatku B, moºe se dobiti (ako uzmemo a = 10 −10 m) da je ω reda veli£ine<br />

10 12 Hz, pa je vrijeme tuneliranja puno ve¢e od instantonske skale.<br />

Je li instantonski plin zbilja rijedak?<br />

paragrafa je oblika<br />

Eksponencijalni red koji smo sumirali na po£etku ovog<br />

∑<br />

x N /N!<br />

N<br />

8


i on ¢e za neki ksni x rasti sve dok N ne postane reda veli£ine x. To denira kriti£nu gusto¢u<br />

instantona<br />

( N<br />

)<br />

≈ JKωe −S I / ,<br />

T crit<br />

Zbog eksponencijalnog £lana je kriti£na gusto¢a mala, a daljnji £lanovi u razvoju su sve manje i<br />

manje vaºni.<br />

1.4 Periodi£ni potencijal<br />

U pro²lom odjeljku do u detalje je razražen najjednostavniji instantonski ra£un. Ovdje ¢emo ve¢<br />

biti manje rigorozni, npr. ne¢emo izra£unati K, nego ¢emo se osloniti na pro²le rezultate, da uz<br />

²to manje ra£una dožemo do to£ke gdje moºemo dobiti zikalnu predodºbu.<br />

Imamo posla s potencijalom oblika<br />

V (q) = λ(1 − cos q a ).<br />

Ako nema tuneliranja, oko svakog minimuma 2πja osnovna stanja su degenerirana s energijom<br />

ω/2. Valne funkcije su valne funkcije harmoni£kog oscilatora. Tuneliranje razbija degeneraciju i<br />

dobivamo £itav spektar energija. I u ovom slu£aju ¢emo za opis situacije koristiti instantone.<br />

Eksplicitno rje²enje Zapravo ga i ne¢emo trebati, jer ovdje ne¢emo ra£unati K. Rezultat ¢emo<br />

ipak priloºiti da se vidi da je i ovdje instanton lokaliziran.<br />

Zna£i rje²avamo (1.8) s E = 0 za periodi£ni potencijal. Ako odaberemo da za centar instantona<br />

vrijedi tan(q(t 0 )/2a) = 1, rje²enje je dano s<br />

q I, Ī(t) = ±4a arctan[e ω(t−t0) ], (1.20)<br />

gdje smo denirali λ = mω 2 a 2 . Lokaliziranost instantona dopu²ta da se primjeni aproksimacija<br />

razriježenog plina.<br />

Integracija kolektivnih koordinata U periodi£nom potencijalu imamo beskona£no jama i<br />

£estica moºe krenut iz bilo koje 2πja; instanton je tada vodi u 2π(j + 1)a, a antiinstanton u<br />

2π(j − 1)a jamu. Zbog toga multinstantonsko rje²enje ne mora vi²e biti takvo da za instantonom<br />

slijedi antiinstanton. Neka se na po£etku (u −T/2) £estica nalazi u |2πj 1 a〉 stanju, na kraju (u<br />

T/2) neka tunelira u |2πj 2 a〉 stanje, i to pomo¢u N I-jeva i ¯N Ī-jeva. Integracija kolektivnih<br />

koordinata se svodi na to da prebrojimo na koliko mjesta u vremenu T moºe do¢i N I-a, i ¯N Ī-a.<br />

Ako instantonski centri mogu biti bilo gdje, to je kao da stavljamo N instantona u ωT "kutija" (ωT<br />

je kao volumen faznog prostora). To daje faktor (ωT ) N . Ako instantone ne razlikujemo, unutra<br />

9


smo prebrojali konguracije koje se razlikuju samo na permutaciju, pa to dijelimo s N! Ako isto<br />

napravimo za antiinstantone, integracija kolektivnih koordinata se svodi na<br />

N+ ¯N<br />

(ωT )<br />

N! ¯N!<br />

Integral po stazama<br />

Integral po stazama za N instantona i ¯N antiinstantona je oblika<br />

N+ ¯N (ωT )N+ ¯N<br />

F N ¯N(j 2 , j 1 , T ) = F ho (JKe −S I / )<br />

N! ¯N! δ N− ¯N,j2−j 1<br />

. (1.21)<br />

K je faktor koji dolazi od akcije i njene druge derivacije a J je Jacobijan od integracije kolektivnih<br />

koordinata. Na koncu, kako svaki instanton vodi na susjedni poloºaj, a antiinstanton vra¢a natrag,<br />

razlika u njihovom broju mora dati stvarni pomak, zato na kraju jednadºbe stoji pripadni<br />

Kroneckerov simbol.<br />

Integral po stazama razriježenog plina je oblika<br />

F (j 2 , j 1 , T ) = ∑ N<br />

∑<br />

F N ¯N (j 2 , j 1 , T ) = ∑ ∑<br />

F ho (JKe −S I / )<br />

N<br />

¯N<br />

¯N<br />

N+ ¯N (ωT )N+ ¯N<br />

N! ¯N!<br />

Sume ¢emo lako izra£unati ako ih razveºemo Fourierovom transformacijom<br />

F (j 2 , j 1 , T ) = F ho<br />

∫ 2π<br />

0<br />

dθ<br />

[∑<br />

2π<br />

N<br />

δ ab =<br />

∫ 2π<br />

0<br />

dθ<br />

2π eiθ(a−b) ,<br />

(e −iθ JKe −S I / ωT ) N ][∑<br />

N!<br />

¯N<br />

δ N− ¯N,j2−j 1<br />

. (1.22)<br />

(e iθ JKe −S I / ωT ) ¯N ]<br />

e<br />

¯N!<br />

iθ(j2−j1)<br />

∫ 2π<br />

dθ<br />

= F ho<br />

0 2π exp(2JKe−S I / ωT cos θ)e iθ(j2−j1) =<br />

( mω<br />

) 1/2<br />

∫ 2π<br />

dθ<br />

[<br />

=<br />

π 0 2π exp − 1 ]<br />

2 ωT + 2JKe−S I / ωT cos θ e iθ(j2−j1) .<br />

Ovo zna£i da su se degenerirana stanja rascijepila<br />

u cijeli spektar stanja<br />

∫ 2π<br />

lim F = dθe −EθT/ 〈2πj 2 a|θ〉〈θ|2πj 1 a〉,<br />

T →∞<br />

0<br />

E θ = 1 2 ω − 2ωJKe−S I / cos θ, (1.23)<br />

sa normom<br />

〈2πj 2 a|θ〉〈θ|2πj 1 a〉 = 1 ( mω<br />

) 1/2e<br />

iθ(j 2−j 1) ,<br />

2π π<br />

odnosno<br />

〈2πja|θ〉 = √ 1 ( mω<br />

) 1/4e iθj .<br />

2π π<br />

Harmoni£ki oscilator je uobi£ajeno normiran<br />

( mω<br />

) 1/4,<br />

〈2πja|j〉 =<br />

π<br />

gdje, iako moºda djeluje zbunjuju¢e, sa |j〉 je ozna£eno svojstveno stanje Hamiltonijana harmoni£kog<br />

oscilatora u j-toj jami, a sa |2πja〉 svojstveno stanje operatora poloºaja. Tada se |θ〉<br />

stanje moºe ovako zapisati<br />

|θ〉 = √ 1 ∑<br />

e iθj |j〉. (1.24)<br />

2π<br />

Potpuno analogan rezultat se moºe izvesti preko aproksimacije £vrste veze poznate iz zike £vrstog<br />

stanja. U tom smislu (1.24) su Blochova stanja, a (1.23) Blochove energije. U teoriji polja bi stanje<br />

s θ = 0 zvali "pravi" vakuum teorije.<br />

10<br />

j


ƒestica na kruºnici Istina je da θ iz prethodnog paragrafa ima neke sli£nosti s θ £lanom u<br />

QCD-u. Istina je i da stanje |θ〉 ima neke veze s QCD vakuumom. No postoji jedan problem:<br />

u QCD-u je θ proizvoljan parametar, dok je vakuum gornje teorije deniran s θ = 0. Moºemo<br />

li jednostavno modicirati gornju zikalnu situaciju da jo² vi²e li£i QCD-u? Pokazati ¢emo da<br />

upravo ograni£enje gibanja £estice na kruºnici daje takva svojstva.<br />

Neka se £estica moºe gibati samo po kruºnici, tj. neka je 0 < q < 2πa. lagranºijan je isti kao gore,<br />

klasi£na jednaºba je ista, ali druga£iji su rubni uvjeti. Ovdje se poistovje¢uju to£ke 0 i 2πa, pa se<br />

poistovje¢uju i kvantna stanja |0a〉 = |2πa〉. No to zna£i da je θ = 0, odnosno da je energija samo<br />

jedna<br />

E 0 = 1 2 ω − 2ωJKe−S I /<br />

dok smo gore smo dobili £itav spektar.<br />

S aspekta instantona, sve je isto osim ograni£enja ¯N − N = j 2 − j 1 . Iako smo se vratili u istu<br />

zikalnu to£ku tuneliranja je ipak bilo: to je zato ²to smo se oko nje mogli namatati.<br />

Dodavanje totalne derivacije u L ne mijenja klasi£ne jednadºbe, pa time niti bilo koje klasi£no<br />

svojstvo £estice na kruºnici<br />

L = m 2 ˙q2 − V (q) → m 2 ˙q2 − V (q) −<br />

θ ˙q. (1.25)<br />

2πa<br />

θ je ovdje proizvoljan parametar. Ispada da ¢e Euklidska akcija biti S I + iθ ako uvrstimo instantonsko<br />

rje²enje, ili S I −iθ ako uvrstimo antiinstantonsko rje²enje. Energija ¢e opet biti samo jedna,<br />

ali oblika<br />

E θ = 1 2 ω − 2ωJKe−S I / cos θ.<br />

Jo² jednom: za razliku od gornje situacije ovdje imamo odmah samo jedno jedino stanje, jednu<br />

jedinu energiju; kako je θ proizvoljan parametar svaki θ opisuje isti klasi£ni, a druga£iji kvantnomehani£ki<br />

"svijet".<br />

Topologija Nismo jo² ni rije£i rekli o topologiji. To je zato ²to su topolo²ka razmatranja u ovim<br />

kvantnomehani£kim problemima skoro pa trivijalna. Topologijom se bavimo kada nas ne zanima<br />

da li neki objekt izgleda kao kocka, ili kao piramida, ve¢ ima li taj objekt recimo rupu, kao torus.<br />

Neki zikalan sustav je spreman za prou£avanje kada deniramo dinamiku i rubne uvjete. U zici<br />

elementarnih £estica, gdje ra£unamo ²irine raspada i udarne presjeke vi²e se koncentriramo na ovo<br />

prvo; sustav stavljamo u kutiju i ra£unamo Fenymanove dijagrame. Rubni uvjeti su vezani uz<br />

topolo²ka razmatranja, i ako je topologija teorije trivijalna (vidjeti ¢emo ²to to zna£i) to i je put<br />

kojim moramo i¢i. Postoje situacije u kojima stvar nije tako jednostavna, zato ²to sama polja<br />

(ili koordinate u kvantnoj mehanici) na koja name¢emo rubne uvjete su funkcije prostora i (ili)<br />

vremena.<br />

ƒestica na kruºnici je prvi primjer koji izgleda topolo²ki netrivijalan. Da nema instantona,<br />

uvoženje θ £lana u (1.25) bi bilo apsolutno beskorisno. Jedino instanton moºe natjerati £esticu da<br />

tunelira, odnosno da se namata po kruºnici. Na taj na£in mogu postojati vi²e puteva od 0 pa opet<br />

do 0 koji su takvi da se jedan u drugog ne mogu kontinuirano deformirati. Za odgovoriti na pitanja<br />

koliki je mogu¢i broj puteva, koji se putevi jedan u drugog mogu kontinuirano deformirati (ili<br />

koji su putevi homotopni) itd. koristimo topologiju. Prvo pitanje moºemo reformulirati u pitanje<br />

11


na koliko mogu¢ih na£ina moºemo kruºnicu omotati oko kruºnice? Odgovor je o£ito beskona£no.<br />

Za drugo pitanje nam treba neki primjer. Jedna putanja moºe biti to£ka a druga putanja staza<br />

jednog instantona. Jedan na£in da saznamo da li su te dvije putanje putanje homotopne je da<br />

jednostavno nacrtamo i jednu i drugu situaciju i vidimo moºemo li instantonsku stazu deformirati<br />

u to£ku. Drugi na£in je da izra£unamo integral<br />

Q = 1<br />

2πa<br />

∫ ∞<br />

−∞<br />

dt dq<br />

dt = 1 (q(∞) − q(−∞)), (1.26)<br />

2πa<br />

²to je zapravo samo izvrijednjavanje razlike u rubnim to£kama. Zbog tog svojstva ovo predstavlja<br />

najjednostavniji primjer tzv. topolo²kog naboja. Tvrdnja je da Q predstavlja broj namatanja<br />

kruºnice na kruºnicu za bilo koju stazu. To je zato jer sve ²to nam treba su rubne to£ke. Da zavr²imo<br />

primjer: instanton nosi topolo²ki naboj +1 (a antiinstanton −1), dok to£ka ima topolo²ki<br />

naboj 0, pa te dvije staze nisu homotopne.<br />

Topolo²ki naboj omogu¢ava klasikaciju staza na topolo²ki trivijalne i one koje to nisu. Kaºemo<br />

da on sve staze dijeli u homotopne klase ekvivalencije. Generalizacija ovih ideja ¢e biti od iznimne<br />

koristi u Yang-Mills teoriji.<br />

12


2 <strong>Instantoni</strong> u Yang-Mills teoriji<br />

<strong>Instantoni</strong> u teoriji polja imaju veze s tuneliranjem, ali ipak u ne²to druga£ijem kontekstu nego u<br />

kvantnoj mehanici. Jedna mogu¢a zabuna je da razmi²ljamo o ovom tuneliranju kao o tuneliranju u<br />

prostoru Minkowskog. U smislu kao da je samo prostorvrijeme na neki na£in odvojeno na topolo²ki<br />

netrivijalne sektore, pa da instantoni omogu¢avaju tuneliranje izmežu njih. To nije to£no, prostor<br />

Minkowskog je ravan, trivijalne topologije. Zato nam i ne¢e biti bitno promatramo li prostor<br />

kao veliku kocku, kuglu ili recimo valjak. Ovdje tuneliranje nije prostorno lokaliziran dogažaj, ne<br />

de²ava se u prostoru Minkowskog, ve¢ u prostoru samih polja 1 . Polje proºima cijelo prostorvrijeme,<br />

pa je kvantnomehani£ko stanje dano poznavaju¢i to polje u cijelom prostoru u nekom vremenskom<br />

trenutku. Specijalno, vakuum je takožer dan jednom takvom konguracijom: recimo onom da je<br />

polje svugdje u prostoru nula. U baºdarnoj teoriji, ova izjava je to£na do na baºdarne transformacije:<br />

SU(2) Yang-Mills (YM) teorija ¢e dopu²tati specijalne baºdarne transformacije na koje<br />

tako konstruiran vakuum ne¢e biti invarijantan. Kako ºelimo o£uvati baºdarnu simetriju, zadatak<br />

¢e biti konstruirati vakuum koji ¢e biti invarijantan na sve baºdarne transformacije. Za sada je<br />

najvaºnije usvojiti to da je uloga instantona u teoriji polja takva da ¢e omogu¢iti cijeloj takvoj<br />

vakuumskoj konguraciji polja da se gotovo trenutno prestroji u jednu drugu vakuumsku konguraciju,<br />

a bez da ko²ta i²ta energije.<br />

Pro²lo poglavlje smo zavr²ili s topolo²kim razmatranjima. Ispada da je stra²no korisno instantone<br />

u YM teoriji po£eti prou£avati prou£avanjem topologije same YM teorije. Prije toga kratka<br />

denicija same teorije.<br />

Denicija<br />

Za Euklidska YM polja A µ = −it a A µa denira se akcija<br />

S[A] = − 1 ∫<br />

2g 2 d 4 xTr(F µν F µν ), (2.1)<br />

gdje je<br />

F µν = ∂ µ A ν − ∂ ν A µ + [A µ , A ν ]. (2.2)<br />

Za SU(2) t a = σ a /2 koji zadovoljavaju komutacijske relacije [t a , t b ] = iɛ abc t c . Po ponovljenim<br />

indeksima se sumira, i radi preglednosti svugdje se ispu²ta indeks E za Euklidski prostor. Koristi<br />

se prirodni sustav jedinica: = c = 1.<br />

Baºdarnom transformacijom g(x) = e −Λ(x) , Λ(x) = −it a Λ a (x), se A µ transformira nehomogeno<br />

a F µν homogeno<br />

Euler-Lagrangeova jednadºba<br />

A ′ µ = gA µ g −1 + g∂ µ g −1 , (2.3)<br />

F ′ µν = gF µν g −1 . (2.4)<br />

D µ F µν = ∂ µ F µν + [A µ , F µν ] = 0. (2.5)<br />

Za dualni tenzor ˜F µν<br />

˜Fµν = 1 2 ε µνρσF ρσ , (2.6)<br />

vrijedi identitet<br />

D µ ˜Fµν = 0. (2.7)<br />

1 Polje u jednoj to£ci prostora predstavlja jednu kanonsku varijablu, ba² kao ²to je prije to bio operator poloºaja.<br />

13


Rubni uvjeti Svako polje kona£ne akcije ima F µν = 0 na povr²ini u beskona£nosti. Ako tu<br />

povr²inu zamislimo kao 3-sferu, povr²ina ide kao r 3 , pa F µν mora opadati brºe od 1/r 2 . Moºe se<br />

zamisliti da indeksi µ, ν predstavljaju koordinate u sfernom sustavu. A µ onda mora opadati brºe<br />

od 1/r na rubu, ali do na baºdarnu transformaciju na tom rubu<br />

lim A µ = g∂ µ g −1 . (2.8)<br />

r→∞<br />

Kako je g funkcija samo kuteva na 3-sferi prirodno je za ovakav problem odabrati baºdarenje<br />

A r = 0 2 .<br />

2.1 Topologija<br />

Vidjeli smo u pro²lom poglavlju da je instanton rje²enje netrivijalne topologije. Kako je rubni<br />

uvjet (2.8) direktna veza izmežu baºdarne transformacije i polja, promatranje topologije baºdarnih<br />

transformacija ¢e biti dovoljno da ustanovimo dopu²ta li SU(2) YM teorija instantonska<br />

rje²enja.<br />

Namatanja, ili preslikavanja s kruºnice S 1 na kruºnicu S 1 deniraju grupu koja se zove prva grupa<br />

homotopija π 1 (S 1 ). Kao ²to smo vidjeli postoji beskona£no mnogo na£ina za to u£initi. Razli£ita<br />

namatanja se dijele u klase po broju namatanja: topolo²ki indeks moºe biti bilo koji cijeli broj.<br />

Prva grupa homotopija je upravo to: π 1 (S 1 ) = Z.<br />

Preslikavanje S 3 <strong>phy</strong> u S3 int ili tre¢a grupa homotopije Za SU(2) YM je sli£na pri£a. Kao<br />

prvo, svaku matricu moºemo jednozna£no povezati s to£kom na grupnoj mnogostrukosti. Za SU(2)<br />

preslikavanje je dano s<br />

g(a) = a 4 + iσa<br />

gdje su a µ ∈ R. SU(2) matrice imaju determinantu 1<br />

a 2 4 + |a| 2 = 1,<br />

pa je grupna mnogostrukost 3-sfera: S 3 int.<br />

Korisno je spomenuti da se op¢enita SU(2) matrica da napisati i kao g = exp(ibσ), gdje je<br />

korespondencija s gornjim izrazom uspostavljena relacijama<br />

a 4 = cos |b|,<br />

a = b sin |b|.<br />

|b|<br />

S druge strane, parametri te mnogostrukosti su funkcije to£ke zikalnog prostora. Ako se opredjelimo<br />

samo na dio prostora u beskona£nosti, ta beskona£nost u 4-dimenzionalnom Euklidskom<br />

prostoru, napisanom recimo u sfernom sustavu, moºe biti opet 3-sfera: S 3 <strong>phy</strong>. To sad zna£i da g<br />

denira preslikavanje S 3 <strong>phy</strong> → S3 int. Odgovor na pitanje da li je to preslikavanje topolo²ki trivijalno,<br />

odnosno da li cijelu sferu S 3 <strong>phy</strong><br />

kada preslikavamo moºemo "stisnuti" u samo jednu to£ku na sferi<br />

S 3 int, pruºa tre¢a grupa homotopija π 3 (S 3 ), gdje indeks 3 ozna£ava da se radi o 3-sferi na grupnoj<br />

mnogostrukosti, S 3 int (kamo se preslikava), a S 3 sferu u beskona£nosti zikalnog prostora, S 3 <strong>phy</strong><br />

(od<br />

kuda se preslikava). Za preslikavanje S 1 → S 1 smo vidjeli da je netrivijalno: svako preslikavanje<br />

moºemo kontinuirano deformirati tako da vidimo koliko smo puta namotali kruºnicu na kruºnicu.<br />

To je neki broj iz Z. Moºe se vidjeti i da je preslikavanje S 2 → S 2 takožer netrivijalno: npr.<br />

kora na naran£i je kao jednom namotana 2-sfera na 2-sferi: nikakvim kontinuiranim transformacijama<br />

ne moºemo skinuti tu koru. Guljenje naran£e nije kontinuirana transformacija. Ispada da<br />

je i π 3 (S 3 ) netrivijalna (nije nula): π 3 (S 3 ) = Z. Na taj na£in moºemo baºdarne transformacije<br />

u beskona£nosti podijeliti na klase ekvivalencije: u svakoj klasi ¢e biti ona preslikavanja koja su<br />

mežusobno homotopna.<br />

2 Povoljnom baºdarnom transformacijom moºemo uvijek maknuti jednu komponentu polja.<br />

14


Topolo²ki naboj Jednom kada imamo to preslikavanje denirano, onda moºemo izra£unati<br />

njegov topolo²ki naboj (poznat i kao Pontryaginov indeks), ba² kao ²to smo radili u pro²lom<br />

poglavlju za S 1 . Sam izraz je, naravno, ne²to kompliciraniji<br />

Q = − 1 ∫<br />

16π 2 d 4 xTr( ˜F µν F µν ). (2.9)<br />

Tvrdnja je da ova veli£ina<br />

• je topolo²ka, tj. ovisi samo o rubu,<br />

• predstavlja broj namatanja S 3 <strong>phy</strong><br />

na S 3 int.<br />

Topolo²ki naboj je totalna divergencija Prvu tvrdnju ¢emo dokazati tako da raspi²emo (2.9)<br />

preko A µ<br />

Tr(F µν ˜Fµν ) = Tr[(∂ µ A ν − ∂ ν A µ ) ˜F µν + (A µ A ν − A ν A µ ) ˜F µν ]<br />

,<br />

= Tr[(∂ µ A ν − ∂ ν A µ ) ˜F µν + A µ [A ν , ˜F µν ]]<br />

= Tr[(∂ µ A ν − ∂ ν A µ ) ˜F µν − A µ ∂ ν ˜Fµν ]<br />

= Tr[∂ µ A ν ˜Fµν − ∂ ν (A µ ˜Fµν )]<br />

gdje smo koristili (2.7) i cikli£nost traga. Ako sad ubacimo i ˜Fµν<br />

te iskoristimo<br />

i<br />

slijedi<br />

gdje je<br />

Tr(F µν ˜Fµν ) = ε µνρσ Tr[∂ µ A ν (∂ ρ A σ + A ρ A σ ) − ∂ ν (A µ (∂ ρ A σ + A ρ A σ ))],<br />

ε µνρσ Tr(∂ µ A ν ∂ ρ A σ ) = ε µνρσ Tr[∂ µ (A ν ∂ ρ A σ )],<br />

ε µνρσ Tr[∂ µ (A ν A ρ A σ )] = 3ε µνρσ Tr(∂ µ A ν A ρ A σ ),<br />

− 1<br />

16π 2 Tr(F µν ˜F µν ) = ∂ µ j µ ,<br />

j µ = − 1<br />

8π 2 ε µνρσTr[A ν (∂ ρ A σ + 2 3 A ρA σ )]. (2.10)<br />

Preko Gaussovog teorema Q zbilja ovisi samo o onome ²to se dogaža na rubu<br />

∫<br />

∮<br />

Q = d 4 x∂ µ j µ = dσ µ j µ , (2.11)<br />

£ime smo dokazali prvu tvrdnju.<br />

S 3 <strong>phy</strong><br />

Topolo²ki naboj je jednak broju namatanja Ni drugu tvrdnju nije te²ko dokazati. Sve<br />

²to treba napraviti je negdje u (2.11) prepoznati integral koji ra£una Sint. 3 Takav integral nam u<br />

slu£aju da su a µ iz parametrizacije SU(2) treba dati ne²to proporcionalno povr²ini jedini£ne S 3<br />

sfere: 2π 2 . Ispada da je integral koji ra£una taj "volumen grupne mnogostrukosti" dan s<br />

∮<br />

I [g] = dµ(g), (2.12)<br />

gdje je koordinatni zapis "grupne mjere"<br />

dµ(g) = ε abc Tr<br />

(g ∂g−1<br />

S 3 int<br />

∂ξ a<br />

g ∂g−1<br />

∂ξ b<br />

g ∂g−1<br />

∂ξ c<br />

)<br />

dξ 1 dξ 2 dξ 3 . (2.13)<br />

ξ i su koordinate kojima parameriziramo S 3 int, no moºe se pokazati da je I [g]:<br />

15


• invarijantna na homotopne deformacije unutar S 3 int,<br />

• neovisna o koordinatnom sustavu,<br />

• I [gg ′ ] = I [g] + I [g ′ ] 3 ,<br />

i ove tvrdnje koristimo bez dokaza. Ako u (2.12) ubacimo g(a) = a 4 + iσa uz a 4 = √ 1 − a 2 ispada<br />

da je I [g] = 24π 2 .<br />

Vratimo se sad na (2.11). Rekli smo da je na rubu F µν = 0, pa je ε µνρσ ∂ ρ A σ = −ε µνρσ A ρ A σ , pa<br />

je<br />

Q = 1 ∮<br />

24π 2 dσ µ ε µνρσ Tr[A ν A ρ A σ ]. (2.14)<br />

S 3 <strong>phy</strong><br />

Ako gore ubacimo asimptotsku formu A µ<br />

Q = 1 ∮<br />

24π 2 dσ µ ε µνρσ Tr[g∂ ν g −1 g∂ ρ g −1 g∂ σ g −1 ]<br />

S<strong>phy</strong><br />

3<br />

= 1 ∮<br />

24π 2 dσ µ ε µνρσ Tr<br />

(g ∂g−1<br />

S 3 <strong>phy</strong><br />

∂ξ a<br />

g ∂g−1<br />

∂ξ b<br />

)<br />

g ∂g−1 ∂ξa ∂ξ b ∂ξ c<br />

.<br />

∂ξ c ∂x ν ∂x ρ ∂x σ<br />

Deformirajmo sada S 3 <strong>phy</strong><br />

u C 3 <strong>phy</strong>, tj. hiperkocku. Od njenih 8 stranica koncentrirajmo se na stranicu<br />

x 4 → −∞. Na njoj imamo<br />

Kako je<br />

a<br />

slijedi da je<br />

− 1<br />

24π 2 ∫<br />

dx 1 dx 2 dx 3 ε ijk Tr<br />

(g ∂g−1<br />

∂ξ a<br />

g ∂g−1<br />

∂ξ b<br />

∂ξ a ∂ξ b ∂ξ<br />

(<br />

c<br />

∂ξ<br />

)<br />

ε ijk = ε abc det<br />

∂x i ∂x j ∂x k ∂x<br />

( ∂x<br />

)<br />

dx 1 dx 2 dx 3 = det dξ 1 dξ 2 dξ 3 ,<br />

∂ξ<br />

Q ∝ I [g],<br />

)<br />

g ∂g−1 ∂ξa ∂ξ b ∂ξ c<br />

.<br />

∂ξ c ∂x i ∂x j ∂x k<br />

pa ra£unaju¢i Q zbilja ra£unamo koliko ¢e se puta S 3 <strong>phy</strong><br />

namotati na S 3 int.<br />

Npr. trivijalna transformacija g (0) = 1 ima Q = 0. Transformacija g (1) = (x 4 + ixσ)/r je jedini£na<br />

transformacija. To je kao da smo jednom "namotali" S 3 <strong>phy</strong><br />

na S 3 int, pa ona ima Q = 1. Iako je<br />

norma (2.8) upravo odabrana da to tako ispadne, to vi²e nije proizvoljno za neke druge transformacije<br />

kao npr. g (N) = (g (1) ) N koja daje Q = N.<br />

Schwarzova nejednakost<br />

Za skalarni produkt<br />

∫<br />

(F, F ) = − d 4 xT r(F µν F µν ),<br />

vrijedi Schwarzova nejednakost<br />

[<br />

(F, F )( ˜F , ˜F )<br />

] 1/2<br />

≥ |( ˜F , F )|.<br />

Kako je (F, F ) = ( ˜F , ˜F ), onda slijedi da je (F, F ) ≥ |( ˜F , F )|, odnosno<br />

S ≥ 8π2 |Q|. (2.15)<br />

g2 3 Odnosno I [g] £ini reprezentaciju π 3 (S 3 ). Jo² jedna stvar: u praksi se zapravo brojem namatanja naziva<br />

veli£ina N W = I /24π 2 , dok je Q striktno topolo²ki naboj. Ideja je da je broj namatanja vezan uz to kako se<br />

element baºdarne grupe preslikava na rub zikalnog prostora, a topolo²ki naboj da je svojstvo samog polja.<br />

16


Baºdarna transformacija na rubu nije baºdarno invarijantna Zamislimo prostor, £iji rub<br />

predstavlja sfera u beskona£nosti S 3 . Zamislimo vakuum, deniran vakuumom polja A µ = 0 u<br />

cijelom prostoru, pa i na rubu. Tada je F µν = 0 i S[A] = 0. Baºdarne transformacije ne bi smjele<br />

izmjeniti ovu sliku, pa idemo napraviti baºdarnu transformaciju, ali samo na S<strong>phy</strong>. 3 Iako samo polje<br />

vi²e nije nula<br />

lim A µ = g∂ µ g −1 (2.16)<br />

r→∞<br />

na rubu, F µν ostaje 0. To i ima smisla po²to je samo F µν zikalan.<br />

Ako uzmemo ba² g (1) kao baºdarnu transformaciju, za nju znamo da ima Q = 1 pa zbog (2.15)<br />

akcija vi²e ne moºe biti nula.<br />

Kako je to mogu¢e: kona£na akcija zna£i da F µν ne moºe biti nula svugdje unutar S 3 <strong>phy</strong><br />

iako na<br />

tom dijelu prostora nismo radili nikakve transformacije. Matemati£ki, dobili smo kontradikciju.<br />

Fizikalno, (2.9) je rubni uvjet na polje koje ima kona£nu akciju, pa vidimo da mijenjanjem uvjeta<br />

na rubu mijenjamo sliku problema. No ako je to tako, onda sam taj rubni uvjet, jednom kada je<br />

denirana konguracija polja u zikalnom prostoru, ne moºe biti baºdarno invarijantan, bar ne na<br />

sve baºdarne transformacije. To je razrije²enje matemati£ke kontradikcije. Ovo nije tako trivijalno<br />

za shvatiti jer mi smo navikli razmi²ljati ovako: £injenica da imamo baºdarne transformacije kao<br />

simetrije teorije zna£i da moºemo promatrati samo dio prostora i njega transformirati bez da utje£emo<br />

na ziku. To i dalje stoji, jer sam rub nije dio zikalnog prostora; to je samo neka dovoljno<br />

velika umjetna barijera kojom smo ograni£ili prostor u kojem promatramo neku zikalnu pojavu:<br />

rubni uvjet a priori ne mora biti baºdarno invarijantan 4 .<br />

Obrat gornje situacije je da krenemo od polja A µ koje ima Q ≠ 0. Neka je na rubu denirano s<br />

g (1) ∂ µ [g (1) ] −1 . Moºemo li na to polje napraviti baºdarnu transformaciju g ′ koja je tako odabrana<br />

da je A ′ µ = 0? Time bi i Q = 0 £ime bi naru²ili baºdarnu invarijantnost njegovog izraza. Naizgled,<br />

ponovno kontradikcija. Poanta je u tome da je funkcija g denirana samo na S 3 , ona ne mora biti<br />

limes neke funkcije koja je kontinuirana u cijelom prostoru. S druge strane, po²to ºelimo da je g ′<br />

deniran u cijelom prostoru (da bi mogli A µ transformirati u cijelom prostoru) onda ona u svakoj<br />

to£ci, pa i u r → 0 mora biti kona£na. Ako je u r = 0 kona£na onda je kontinuirano povezana s<br />

jedinicom. ’to zna£i da g ′ nuºno ne namata, pa i ne moºe promijeniti Q. Konkretno, g ′ u ishodi²tu<br />

mora biti obi£an broj, neovisan o kutevima (iz sferne parametrizacije), dok g (1) u r → 0 zapravo<br />

nije ni dobro denirana. Tj. u limesu r = 0 divergira, pa je u toj to£ci ne moºemo invertirati.<br />

Ispada da je g (1) baºdarna transformacija koja nije u istoj klasi s transformacijama koje smijemo<br />

napraviti. Kako to? A koje to transformacije smijemo napraviti? Odgovor na to pruºa upravo<br />

(2.9): kako smo po£eli s A µ = 0 nakon transformacije moramo s njim i zavr²iti, pa su dozvoljene<br />

transformacije one homotopne trivijalnoj. Te transformacije imaju topolo²ki naboj 0: s njim<br />

moºemo ozna£iti sve vakuume homotopne s A µ = 0.<br />

4 Jo² jedan na£in da se gleda na ovo je da se kaºe da topolo²ka struja (2.12) nije baºdarno invarijantna.<br />

17


2.2 Instanton<br />

Rje²enje u jednom baºdarenju g (1) ima Q = 1, koje polje odgovara toj situaciji? Na S <strong>phy</strong><br />

3<br />

znamo kako ono izgleda. Pretpostavimo da je generalno oblika<br />

A µ = g (1) (∂ µ [g (1) ] −1 )f(r 2 ). (2.17)<br />

f bi mogli na¢i tako da ovaj ansatz uvrstimo u jednadºbe gibanja (2.5). Ali ako nas zanima samo<br />

rje²enje minimalne akcije vidimo da se jednakost u (2.13) postiºe kada je<br />

F µν = ± ˜F µν 5 .<br />

Ovakve konguracije automatski zadovoljavaju jednadºbu gibanja zbog identiteta (2.7) Tako da<br />

umjesto da rje²avamo jednadºbu drugog, rje²avamo jednadºbu prvog reda: traºimo one konguracije<br />

koje su same sebi dualne ili same sebi antidualne 6 . Ove prve ¢emo zvati instanton, a druge<br />

antiinstanton. Kako uzimamo Q = 1 odmah znamo i akciju S = (8π 2 /g 2 ) 7 .<br />

Uz notaciju s µ = (iσ, 1) (2.17) se moºe napisati u ne²to standardnijem obliku<br />

A µ = −2iΣ µν<br />

x ν<br />

r 2 f(r2 ),<br />

gdje je Σ µν = −Σ νµ = −i(s µ s † ν − δ µν )/2. Σ µν zapravo razapinju SO(4) algebru, ne²to vi²e o tome<br />

sakupljeno je u dodatku C. Ovakav A µ sad moºemo uvrstiti u (2.2). Derivaciju polja je lako dobiti<br />

f(r 2 )<br />

∂ µ A ν = −2iΣ νρ ∂ µ (x ρ<br />

r 2 ) = 1 r 2 [δ µν + 2x µν (f ′ − 1 r 2 f)],<br />

gdje je f ′ = df/dr 2 . Komutator se dobije kad se iskoristi SO(4) algebra<br />

Kad se sve skupi<br />

Uz kori²tenje svojstava<br />

[A µ , A ν ] = −4i f 2<br />

r 2 [Σ µν + 1 r 2 (x µx ρ Σ νρ − x ν x ρ Σ µρ )].<br />

F µν = 4i<br />

r 2 {f(1 − f)Σ µν − [f ′ f(1 − f)<br />

−<br />

r 2 ](x µ x ρ Σ νρ − x ν x ρ Σ µρ )}.<br />

dualno polje se moºe dobiti na sli£an na£in<br />

ε µνρσ Σ ρσ = 2Σ µν ,<br />

ε µνρσ Σ στ = −(δ µτ Σ νρ + δ ντ Σ ρµ + δ ρτ Σ µν ),<br />

˜F µν = 4i<br />

r 2 {f ′ r 2 Σ µν + [f ′ f(1 − f)<br />

−<br />

r 2 ](x µ x ρ Σ νρ − x ν x ρ Σ µρ )}.<br />

Uvjet F µν = ˜F µν daje diferencijalnu jednadºbu<br />

£ije je najop¢enitije rje²enje<br />

f ′ −<br />

f(r 2 ) =<br />

f(1 − f)<br />

r 2 = 0.<br />

r2<br />

r 2 + ρ 2 ,<br />

5 Ovakve konguracije postoje samo u Euklidskom prostoru jer je ovdje ˜FE = F E dok u prostoru Minkowskog<br />

vrijedi ˜FM = −F M : tu bi imali ˜F M = ±iF M .<br />

6 Sli£na situacija je bila i u pro²lom poglavlju: nismo rje²avali jednadºbu gibanja ve¢ jednaºbu s Euklidskom<br />

energijom nula, koja je bila prvog reda.<br />

7 To zna£i da ¢e tuneliranje biti forme e −1/α . Ovako ne²to nikako ne moºemo dobiti teorijom smetnje: ona daje<br />

samo razvoje koji su analiti£ki u α, ne²to tipa Taylorov red. Iako e −1/α u okolici nule ima sve derivacije, te su<br />

derivacije jednake nuli: Taylorov red funkcije ne konvergira stvarnom izgledu funkcije.<br />

18


gdje je ρ slobodni parametar 8 . Instantonsko rje²enje<br />

A µ = −2iΣ µν<br />

r 2 + ρ 2 . (2.18)<br />

Trebati ¢e nam i izraz za jakost polja<br />

x ν<br />

F µν = 4iΣ µν<br />

ρ 2<br />

(r 2 + ρ 2 ) 2 . (2.19)<br />

Interpretacija u drugom baºdarenju šelimo vidjeti da je instanton ovdje isto ²to i instanton<br />

u kvantnoj mehanici: konguracija polja koja omogu¢ava tuneliranje izmežu razli£itih vakuuma.<br />

Jedan vakuum bi imali u x 4 → −∞, a drugi u x 4 → ∞, pa je potrebno nekako izdvojiti "vremensku"<br />

os. To ¢emo u£initi tako da povr²ina u beskona£nosti izgleda kao hipercilindar. Topolo²ki<br />

naboj (2.14) se tada moºe rastaviti na integral na tri plohe<br />

Q = 1 ∮<br />

24π 2 dσ µ ε µνρσ Tr[A ν A ρ A σ ] =<br />

= 1<br />

24π<br />

∫I,II<br />

2 d 3 xε 4ijk Tr[A i A j A k ] + 1 ∫ ∞ ∮<br />

24π 2 dx 4 dσ i ε iµνρ Tr[A µ A ν A ρ ]<br />

−∞ III<br />

,<br />

gdje su oplo²ja I i II zapravo 2-kugle pa je d 3 x njen volumni element. Oplo²je integriramo na<br />

standardan na£in: po osi hipercilindra i na svakoj to£ci te osi po 2-sferi.<br />

Za ovaj problem je zgodno koristiti baºdarenje u kojem je A 4 = 0: integral po III tada i²£ezava.<br />

To je samo zato jer antisimetri£ni tenzor "tjera" jedan A µ da bude A 4 . Tada je<br />

N ± = 1<br />

24π 2<br />

Q = N + − N − ,<br />

∫<br />

d 3 xε ijk Tr[A i A j A k ], (2.20)<br />

lim<br />

x 4→±∞<br />

gdje smo eksplicitno uzeli u obzir predznak od vektora innitezimalne povr²ine dσ µ , kao i to da je<br />

ε 4ijk = ε ijk .<br />

Koja baºdarna transformacija daje A 4 = 0? Znamo<br />

A ′ 4 = uA 4 u −1 + u∂ 4 u −1 ,<br />

8 Kao t 0 u pro²lom poglavlju.<br />

19


a znamo i<br />

A 4 =<br />

iσx<br />

r 2 + ρ 2 .<br />

Ako napi²emo u = e iβxσ , gdje je β nepoznata funkcija x µ , onda uvjet A ′ 4 = 0 se svodi na diferencijalnu<br />

jednadºbu za β<br />

∂β 1<br />

=<br />

∂x 4 x 2 4 + x2 + ρ 2 ,<br />

koja se trivijalno integrira<br />

β(x, x 4 ) =<br />

1<br />

√<br />

x2 + ρ 2 arctan x 4<br />

√<br />

x2 + ρ 2 + β 0(x), (2.21)<br />

gdje je β 0 konstanta integracije.<br />

Sad ºelimo dobiti A ′ i, ali samo njegovu formu u x 4 → ±∞. U tu svrhu lak²e je krenuti od (2.17)<br />

A i = g (1) (∂ i [g (1) ] −1 )f. Tada je<br />

No u limesu x 4 → ±∞ je f → 1, pa<br />

gdje je<br />

A ′ i = uA i u −1 + u∂ i u −1 = fug (1) ∂ i [ug (1) ] −1 + (1 − f)u∂ i u −1 .<br />

h ± =<br />

lim<br />

x A′ i = h ± ∂ i h −1<br />

± ,<br />

4→±∞<br />

lim<br />

x ug(1) = lim u,<br />

4→±∞ x 4→±∞<br />

jer je lim x4→±∞ g (1) = 1. Uz odabir β 0 (x) = π/2 √ x 2 + ρ 2 imamo<br />

h + = e −α , h − = 1,<br />

gdje je<br />

α = −√ iπσx<br />

x2 + ρ . (2.22)<br />

2<br />

To zna£i da je<br />

a<br />

lim<br />

x A′ i = 0,<br />

4→−∞<br />

lim<br />

x A′ i = e −α ∂ i e α .<br />

4→+∞<br />

Tada je i N − = 0. Moºe se pokazati da je N + = 1 9 .<br />

U ovom smislu instanton vodi vakuum deniran s A i = 0 (Q = 0) u vakuum deniran s A i =<br />

e −α ∂ i e α (Q = 1). Da smo umjesto A i = 0 u x 4 → −∞ krenuli s A i = e −nα ∂ i e nα , a umjesto<br />

A i = e −α ∂ i e α u x 4 → +∞ krenuli s A i = e −mα ∂ i e mα dobili bi Q = m − n i rekli bi da se desilo<br />

tuneliranje iz vakuuma polja |n〉 u vakuum polja |m〉.<br />

Periodi£nost YM potencijalne energije Da jo² malo u£vrstimo posljednju izjavu izra£unati<br />

¢emo YM potencijalnu energiju za instanton. Radimo i dalje u A 4 = 0 baºdarenju, pa je F 44 = 0,<br />

a F 4i = ∂ 4 A i , £ime se akcija (2.1) znatno pojednostavljuje<br />

S[A] = − 1 ∫ [<br />

]<br />

2g 2 d 4 x 2Tr(∂ 4 A i ∂ 4 A i ) + Tr(F ij F ij ) .<br />

9 Postoji brz na£in da se ovo vidi: u ne namata, tj. ima Q u = 0 jer je kontinuirano povezan s jedinicom. Npr.<br />

ako uvedemo parametar t i funkciju u t = exp(itgσx) onda vidimo da je u 0 = 1, a u 1 = u. A topolo²ki naboj je<br />

aditivan ako su uzastopne transformacije multiplikativne, tj. Q ug = Q u + Q g = Q g = 1.<br />

20


Preko kanonskog impulsa<br />

je trivijalno dobiti Hamiltonijan<br />

H = 1 g 2 ∫<br />

Π ai =<br />

pa je potencijalna energija YM teorije<br />

∂L<br />

∂(∂ 4 A ai ) = 1 g 2 ∂ 4A ai ,<br />

[<br />

d 3 x −Tr(∂ 4 A i ∂ 4 A i ) + 1 ]<br />

2 Tr(F ijF ij ) ,<br />

V [A] = 1<br />

2g 2 ∫<br />

d 3 xTr(F ij F ij ) 10 . (2.23)<br />

Potencijalna energija u kvantnoj mehanici je obi£na funkcija poloºaja. Za izra£unati potencijalnu<br />

energiju u jednoj to£ci potrebno je samo dati broj. U teoriji polja potencijalna energija je funkcional<br />

pa umjesto broja dajemo £itavu funkciju. Jedna funkcija moºe biti recimo A i = 0. Potencijalna<br />

energija je u toj "to£ci" nula, pa je opravdano A i = 0 zvati vakuumom. ’to ako u (2.23) stavimo<br />

F µν iz (2.19) transformiran u A 4 = 0 baºdarenje? Kako je potencijalna energija invarijantna na<br />

baºdarne transformacije, imamo<br />

∫<br />

V = −16Tr(Σ ij Σ ij ) d 3 ρ 4<br />

x<br />

(x 2 + x 2 4 + ρ2 ) 4 .<br />

Integral u gornjoj jednadºbi je kona£an, no trag je nula, u ²to se lako moºemo uvjeriti standardnim<br />

manipulacijama s Paulijevim matricama.<br />

Zna£i, prona²li smo jo² jednu "to£ku" u kojoj je potencijalna energija nula. Kako znamo da je<br />

mežu njima barijera? Pa, da barijere nema jedna "to£ka" bi se mogla preslikati u drugu baºdarnim<br />

transformacijama koje su homotopne jedinici (po²to smo po£eli s A µ = 0). Npr. u klasi£noj zici<br />

obi£na klasi£na £estica se iz jedne to£ke u drugu, a koje su na istom potencijalu, giba kontinuirano.<br />

Ista stvar je s klasi£nom teorijom polja: jedna konguracija moºe prelaziti u drugu iste potencijalne<br />

energije jedino kontinuirano. Ali g (1) je jednom namotana na S<strong>phy</strong>, 3 ²to zna£i da taj proces nikako<br />

ne moºe biti klasi£ne prirode. Sjetimo se analogije £estice na kruºnici. Transformacija translacije<br />

koja nije homotopna trivijalnoj je npr. ona koja jednom namata. Klasi£na £estica se nikako ne<br />

moºe gibati po takvoj stazi, no kvantna £estica moºe pro¢i kroz barijeru tuneliranjem. Kod YM<br />

potencijala je ista stvar: prijelazak iz jedne u drugu konguraciju se morao desiti tuneliranjem<br />

kroz potencijalnu barijeru.<br />

Zapravo smo mogli po£eti i s nekim poljem razli£itim od nule i onda raditi baºdarne transformacije<br />

koje namataju jednom, dvaput, itd. U potencijalu bi se opet kretali po istim to£kama. Denirajmo<br />

sad Chern-Simmonsov broj<br />

∫<br />

N CS (t) = d 3 xj 4 . (2.24)<br />

10 Potencijalna energija u prostoru Minkowskog ima samo obratni predznak<br />

21


N CS je samo generalizirana forma (2.20). S obzirom da je j 4 funkcija polja svako polje ima<br />

svoj N CS . No i svako polje koje je transformirano u odnosu na neko po£etno na na£in da je<br />

transformacija homotopna trivijalnoj ima isti N CS . Ako transformacija namata N W puta, Chern-<br />

Simmonsov broj se mijenja kao<br />

N CS → N CS + N W .<br />

Upravo zbog toga je to zgodna varijabla za mjerenje periodi£nosti YM potencijala: mijenja se samo<br />

ako izažemo iz odrežene klase baºdarnih polja, a ne i ako se mijenjamo unutar nje.<br />

2.3 θ kut<br />

Imamo razli£ite klase baºdarnih transformacija, i te klase su vezane uz rubne uvjete, odnosno uz<br />

polje na tom rubu. Pa se i samo polje, u odnosu na to kakvo je na rubu, moºe sortirati u mežusobno<br />

homotopne klase. A kako polje na rubu predstavlja vakuum, onda ista pri£a vrijedi i za sam<br />

vakuum: svaki vakuum ¢emo ozna£iti indeksom grupe homotopije π 3 (S 3 ). Zapravo je vrlo prirodno<br />

da grupa homotopije klasicira vakuum; to je stanje koje na neki na£in proºima cijeli prostor, pa<br />

su za njega bitna samo globalna svojstva prostora. ƒestice su lokalni objekti, pa su za njih bitna<br />

lokalna svojstva prostora: rotacije, translacije itd., pa se £estice klasiciraju po Poincaréovoj grupi.<br />

U cijeloj ovoj pri£i postoji jedan problem, a to je da u kona£nici zikalan svijet mora biti invarijantan<br />

na sve baºdarne transformacije. Ovo samo zna£i da topolo²ki vakuumi, |n〉 11 , n ∈ Z, ne mogu<br />

biti zikalni. Fizikalan vakuum je njihova linearna superpozicija i to takva da se on ne mijenja bilo<br />

kojom baºdarnom transformacijom. To je posljedica izjave da YM teorija dopu²ta instantonska<br />

rje²enja koja smo intepretirali kao tuneliranja izmežu vakuuma |n〉.<br />

θ vakuum To moºemo formalnije napisati. Izjava da je zika invarijantna na sve baºdarne<br />

transformacije za specijalan slu£aj kada je ta baºdarna transformacija g 1 = e −α se svodi na<br />

[H, U(g 1 )] = 0,<br />

gdje je U(g 1 ) reprezentacija g 1 na Hilbertovom prostoru stanja, a H Hamiltonijan SU(2) YM<br />

teorije u A 4 = 0 baºdarenju. Ako svojstvena stanja H ozna£imo s |θ〉, onda ¢e U(g 1 )|θ〉 imati istu<br />

energiju kao i |θ〉. Pa se ta dva stanja mogu razlikovat samo do na fazu<br />

U(g 1 )|θ〉 = e −iθ |θ〉.<br />

Zapravo smo stanja i ozna£ili upravo s tom fazom. Stanja koja zadovoljavaju posljednju jednadºbu<br />

su dana s<br />

|θ〉 = √ 1 ∑<br />

e inθ |n〉, (2.25)<br />

2π<br />

(po²to znamo U(g 1 )|n〉 = |n + 1〉) ²to bi onda bio pravi vakuum teorije.<br />

Ovdje je vrijedno spomenuti jo² jednu paralelu s kvantnom mehanikom: ulogu koju ovdje igra<br />

baºdarna u kvantnomehani£kom problemu igra translaciona simetrija. Recimo za £esticu na kruºici<br />

bi tako postojale "male" i "velike" translacije: one zbog kojih ¢e putanja £estice ne¢e i one zbog<br />

kojih se ho¢e "namotati" na kruºnicu. Tako se grupa translacije dijeli u svoje klase ekvivalencije<br />

dane s π 1 (S 1 ). Kona£no, na isti na£in na koji smo ovdje konstruirali |θ〉 stanja, mogli smo i<br />

tamo: prvo po£eti s izjavom da Hamiltonijan komutira s onim translacijama koje su u skladu s<br />

simetrijom potencijala. Iz toga konstruirati Blochov uvjet, tj. da svojstveno stanje Hamiltonijana<br />

ima samo fazu kao transformaciju na simetriju sistema. I kona£no denirati ta stanja kao linearnu<br />

superpoziciju stanja koja su lokalizirana na pojedinoj jami. Ta stanja ¢e biti Blochova stanja ako<br />

zadovoljavaju Blochov uvjet, i time je problem rje²en.<br />

n<br />

11 Ovo je vrlo skra¢ena notacija za stanje vakuuma polja koje je zapravo funkcional tog polja, s indeksom homotopije<br />

n.<br />

22


θ £lan u lagranºijanu<br />

Ra£unamo integral po stazama za |θ〉 vakuum<br />

F θ (T ) = 〈θ|e −HT |θ〉 = 1<br />

2π<br />

∑<br />

e −inθ F (n + m, m, T ).<br />

nm<br />

F je amplituda tuneliranja, kao i u pro²lom poglavlju<br />

F (n + m, m, T ) = 〈n + m|e −HT |m〉 = N<br />

∫<br />

[dA] n e −S[A] ,<br />

gdje indeks n ozna£ava da radimo integral samo po konguracijama koje imaju Q = n+m−m = n.<br />

Iz ovog vidimo da je jedna suma u prvom izrazu slobodna, tj. ∑ m<br />

= 2πδ(0). Slijedi reprezentacija<br />

F θ preko integrala po stazama<br />

F θ (T ) = δ(0)N ∑ ∫<br />

∫<br />

[dA] n e −(S[A]+inθ) = δ(0)N [dA] ∀n e −Sθ[A] . (2.26)<br />

n<br />

Akciju moºemo napisati i u prostoru Minkowskog. Trebamo Wick-rotirati nazad. −S[A] sadrºi<br />

Tr(F F ) E , a on je iste forme i u jednom i drugom prostoru: imamo samo Wickovu rotaciju koja<br />

mijenja mjeru d 4 x E → id 4 x. Ali n sadrºi −Tr( ˜F F ) E ²to daje dodatan +i na +i od mjere, pa<br />

zajedno s minusom u eksponentu daje +1. Sve to skupa sad mora biti jednako iS θ [A] u prostoru<br />

Minkowskog. Eksplicitno<br />

Par primjedbi:<br />

S θ [A] = − 1<br />

2g 2 ∫<br />

d 4 xTr(F µν F µν ) +<br />

θ ∫<br />

16π 2<br />

d 4 xTr( ˜F µν F µν ). (2.27)<br />

• Iako smo radili u A 4 = 0 baºdarenju θ £lan je isti u bilo kojem baºdarenju.<br />

• Nova interakcija je renormalizabilna. To zna£i da smo je mogli odmah i staviti rukom u akciju.<br />

No nova interakcija je i totalna derivacija: jednadºbe gibanja ostaju iste, kao i Feynamnova<br />

pravila. Ona nema nikakvog utjecaja na perturbativnu sliku YM teorije. Ali ako teorija<br />

ima trivijalnu topologiju takav £lan nema nikakvog utjecaja uop¢e. Takav je slu£aj npr. s<br />

QED-om gdje je baºdarna grupa U(1). Elektroslaba teorija je SU(2) × U(1) a QCD SU(3).<br />

Obje ove teorije imaju netrivijalne topologije (netrivijalne grupe homotopije) pa obje teorije<br />

dopu²taju instantonska rje²enja zbog £ega integral uz kut θ ne mora biti nula.<br />

• Nova interakcija lomi T simetriju, pa time i CP. To je zato ²to ˜F F ide kao EB, a E → E,<br />

dok B → −B s obzirom na vremensku inverziju. Ovo zna£i da recimo neutron moºe imati<br />

elektri£ni dipolni moment, jer T simetrija mijenja elektri£ni i magnetni moment jednako<br />

kako mijenja i pripadna polja. Postoje¢a eksperimentalna granica na taj dipolni moment<br />

daje donju granicu na θ kut, θ < 10 −9 .<br />

2.4 Vakuumska energija<br />

Reºim rijetkog instantonskog plina je opravdan jedino ako su instantoni dobro lokalizirani objekti.<br />

Takav je bio slu£aj kod kvantnomehani£kog problema u pro²lom poglavlju. S druge strane, instantoni<br />

u YM teoriji mogu biti bilo koje veli£ine, to diktira parametar ρ. Jedina nada je u tome da u<br />

integral po stazama instantoni raznih veli£ina ulaze s razli£itom "teºinom" pa bi veliki instantoni<br />

mogli biti potisnuti. Kako nije ba² jasno kako ovo eksplicitno vidjeti, nije ni jasno da li je aproksimacija<br />

rijetkog plina opravdana.<br />

Za kraj ¢emo pro¢i ra£un vakuumske energije za rijetki instantonski plin. Na taj na£in moºemo<br />

koristiti neke formule iz pro²log poglavlja.<br />

Kolektivne koordinate Postojanje kolektivnih koordinata je posljedica simetrija sistema. Simetrija<br />

u kvantnomehani£kom problemu je bila vremenska translacija, ²to je rezultiralo jednom kolektivnom<br />

koordinatom koju smo zvali t 0 .<br />

23


YM teorija je uz invarijantnost na baºdarnu grupu invarijantna i na konformnu grupu. Ona pak,<br />

uz Poincaréovu grupu, uklju£uje dilatacije<br />

i specijalne konformne transformacije<br />

x µ → ρx µ<br />

x µ → x µ − c µ x 2<br />

1 − 2c · x + x 2 c 2 .<br />

To je sve skupa 15 parametara konformne grupe. Baºdarna simetrija ne generira nove kolektivne<br />

koordinate jer nije u pravom smislu rije£i simetrija. Ako su dva polja povezana baºdarnom transformacijom<br />

bilo koje daje identi£an opis zikalne situacije. Tek globalno, preko Nötherinog teorema,<br />

ona vodi na zakone sa£uvanja.<br />

Da li sve one od danog instantonskog rje²enja mogu dati novo rje²enje? Pa, ispada da se efekt<br />

specijalnih konformnih transformacija moºe poni²titi baºdarnim transformacijama i translacijama.<br />

U ovo i nije tako te²ko povjerovat s obzirom da je specijalna konformna transformacija sloºena od<br />

inverzije<br />

x µ → x µ<br />

x 2 ,<br />

translacije<br />

x µ → x µ − c µ ,<br />

i jo² jedne inverzije. Naravno, A µ se transformira kao i x µ . Tako da sve u ²to treba povjerovati<br />

je da se moºe prona¢i baºdarna transformacija koja glumi inverz ovih inverzija. Od ²est rotacija,<br />

tri se mogu poni²titi baºdarnim transformacijama. Ovo je pak lako vidjeti. S obzirom da je<br />

SO(4) = SU(2) × SU(2) onda se rotacija polja ne mora raditi s 4 × 4 matricama ve¢ s dvije<br />

2 × 2. Ozna£imo jednu s g a drugu s h. Tada je uzastopno djelovanje rotacije i globalne baºdarne<br />

transformacije u<br />

A µ → gA µ h −1 → ugA µ (uh) −1 .<br />

Pa za g = h vidimo da parametre transformacije u moºemo jednostavno odabrat tako da poni²te<br />

djelovanje rotacije 12 . Tako da imamo 15−4−3 = 8 kolektivnih koordinata. Op¢enito instantonsko<br />

rje²enje bi imalo jo² i neki proizvoljni a µ od translacija<br />

(x − a) ν<br />

A µ = −2iΣ µν<br />

(x − a) 2 + ρ 2 . (2.28)<br />

Infracrvena razmatranja Vjerojatnost tuneliranja u nultom redu je proporcionalna e −8π2 |Q|/g 2 .<br />

Ba² direktno ra£unanje uktuacijske determinante nadilazi ovo izlaganje, pa idemo vidjeti koliko<br />

daleko moºemo dogurati bez toga. Koncentrirati ¢emo se na ra£unanje gusto¢e energije vakuuma.<br />

Negdje u pro²lom poglavlju, kad smo razmatrali nulte modove, dobili smo ovakvu formulu<br />

dc 0 ∝ √ S I dt 0 ,<br />

gdje je t 0 bio slobodan parametar, a c 0 kolektivna koordinata. Ista stvar se i ovdje de²ava. Fluktuacijska<br />

determinanta ¢e sadrºavati 8 nultih modova pa ¢emo imati 8 integracija ovoga tipa.<br />

Primjetimo da je "Jacobijan" te transformacije korijen akcije. U YM teoriji akcija ide kao 1/g 2 ,<br />

pa ¢e svaki nulti mod donijeti faktor 1/g u ukutacijsku determinantu. Sve kolektivne koordinate<br />

treba integrirati. Ako integriramo kolektivnu koordinatu vezanu uz translacije dobiti ¢emo faktor<br />

V T, gdje je V volumen prostora. Integracija kolektivne koordinate vezane uz ostale tri rotacije<br />

daje volumen mnogostrukosti-kako je grupa kompaktna (SU(2)) to je kona£an broj koji moºemo<br />

uklju£iti u normu. No skala ρ, ili veli£ina instantona, je ρ ∈ [0, ∞〉. A to ne moºemo samo direktno<br />

integrirati. Za²to? Pa, zbog renormalizacije: g nije konstanta ve¢ funkcija neke skale µ na kojoj<br />

nas zanimaju zikalne pojave. A kako o£ekujemo da ¢e se instantonska zika odvijati na skali ρ<br />

12 To da baºdarne transformacije djeluju na druga£ije stupnjeve slobode od rotacija ovdje ne igra nikakvu ulogu<br />

jer su u kona£nici te matrice jedne te iste, a parametri samo realni brojevi.<br />

24


onda stavljamo µ = ρ. Ovdje smo s suo£eni s jednim nepremostivim problemom: YM teorije su<br />

asimptotski slobodne, pa se g kao funkcija µ da izra£unati samo tamo gdje je g mali. To bi bila<br />

neka skala M. Ne znamo kako izgleda g u neperturbativnom reºimu. Pa je jedna aproksimacija:<br />

uzmemo g izra£unat u perturbativnom reºimu i koristimo ga i u neperturbativnom.<br />

Druga aproksimacija je ona razriježenog plina. Ona dopu²ta da direktno napi²emo energiju θ<br />

vakuuma E θ<br />

∫<br />

E ∞<br />

θ<br />

V<br />

= −B cos θ dρ e −8π2 /g 2 (ρM)<br />

0 ρ 5 g 8 . (2.29)<br />

(ρM)<br />

Jo² par komentara vezano uz gornji izraz<br />

• Ovaj izraz se treba usporediti s (1.23). Ono ²to je tamo J ovdje je djelomi£no u konstanti B,<br />

a djelomi£no preostali integral. Ekvivalent konstante K, tj. uktuacijska determinanta bez<br />

nultih modova, je isto u B 13 .<br />

• Ekvivalent ω/2 bi ovdje bio beskona£an skup harmoni£kih oscilatora. Moºemo zamisliti da<br />

su tu jo² dodane perturbativne korekcije, tj. integral po stazama se normira na perturbativni<br />

vakuum, al svejedno rezultat je beskona£an. Tu beskona£nost smo u gornjem izrazu oduzeli.<br />

• g je bezdimenzionalan pa moºe biti samo funkcija ρM.<br />

• 1/ρ 5 smo ubacili da lijeva i desna strana pa²u dimenzijski.<br />

Skaliranje g za SU(2) YM je poznata stvar<br />

1<br />

g 2 (ρM) = 1 g 2 0<br />

− 11<br />

12π 2 ln(ρM),<br />

(g 0 konstanta izvrijednjena na skali ρ = M) pa ga moºemo staviti u E θ<br />

E θ<br />

V = −BM 5 cos θ e−8π2 /g 2 0<br />

g 8 0<br />

∫ ∞<br />

0<br />

dρ(ρM) 7/3 (1 − 11g2 0<br />

12π 2 ln(ρM))4 .<br />

Za male ρ integrand je nula jer ρ 7/3 brºe pada od £etvrte potencije logaritma. Ali i brºe raste, pa<br />

za veliki ρ (u infracrvenom) divergira. Integriranjem takve funkcije E θ /V ¢e biti beskona£na.<br />

Je li ovo problem? Ispada da je; npr., preko anomalije skale, moºe se pokazati da je energija<br />

vakuuma povezana s YM kondenzatom 〈F F 〉 koji je kona£na veli£ina i npr. za QCD se mjeri<br />

eksperimentalno. Divergencija je stoga nezikalna i moºemo sumnjati da ovo nije jedini instantonski<br />

ra£un u kojem se susre¢e. Ovo je dugo vremena bio problem u instantonskoj zici, no novija<br />

razmatranja pokazuju da uklju£ivanje instantonskih interakcija rje²ava taj problem. Ideja je da bi<br />

instantonska interakcija zna£ila da se sad uzimaju u obzir £lanovi koje smo zanemarili pri ra£unanju<br />

akcije za N instantona: to su svi oni £lanovi koje dobijemo kad od originalne akcije oduzmemo<br />

N akcija individualnih instantona. Takve interakcije su posebno vaºne ako se pojedini instantoni<br />

prekrivaju, kao ²to je i slu£aj za veliki ρ, pa su u stanju a priori pruºiti potreban grani£nik integralu.<br />

Sam ansambl instantona vi²e nije rezriježeni plin ve¢ teku¢ina. Tako denirana teorija ne<br />

samo da rije²ava problem divergiranja vakuumske energije ve¢ je, jednom kada se uklju£e fermioni,<br />

u stanju objasniti lomljene kiralne simetrije u QCD, a time i pripadne niskoenergetske opservable:<br />

kvarkovski kondenzat, pionsku konstantu vezanja, pionsku masu itd. Za vi²e informacija po tom<br />

pitanju moºe se konzultirati revija Diakonova.<br />

13 Dakle, B o£ito ne¢emo izra£unati.<br />

25


A<br />

Harmoni£ki oscilator<br />

Fluktuacijske determinante su obi£no divergentni objekti, ako bi naivno pristupili njihovom rje²avanju.<br />

Kod harmoni£kog oscilatora to je o£ito, pa je to jedan razlog za²to ¢emo sad napraviti<br />

integral po stazama za njega. Drugi razlog je taj ²to ¢emo na harmoni£ki oscilator normirati ili<br />

renormalizirati uktuacijsku determinantu instantona. Drugim rje£ima, na taj na£in ¢emo joj dati<br />

smisao.<br />

Uz zadani potencijal<br />

V (q) = 1 2 mω2 q 2 ,<br />

rubne uvjete q 0 (±T/2) = 0 moºe zadovoljiti samo rje²enje q(t) = 0 ∀t. Tada je S = 0, integral po<br />

stazama nema eksponencijalnog faktora, a uktuacijski operator u |t〉 bazi je dijagonalan (1.13).<br />

Svojstvene vrijednosti ovog operatora, su<br />

( nπ<br />

) 2<br />

λ n = m + mω 2 ,<br />

T<br />

Ovdje nema nultih modova, ali determinanta ¢e divergirati. Divergencija dolazi jednostavno od<br />

toga ²to imamo produkt po beskona£no mnogo rastu¢ih svojstvenih vrijednosti. Tada bi integral<br />

po stazama bio jednak nuli. To nikako ne moºe biti zikalno.<br />

Evo za²to, sjetimo se izraza s po£etka poglavlja<br />

F (q f , q i , T ) = 〈q f |e −HT/ |q i 〉.<br />

Ubacimo sad gore potpun skup svojstvenih stanja H<br />

H|n〉 = E n |n〉,<br />

i pustimo T → ∞. Od cijelog spektra tada dominira samo osnovno stanje, pa ako je q i = q f<br />

lim F (q i, q i , T ) = e −E0T/ |〈q i |0〉| 2 ,<br />

T →∞<br />

(A.1)<br />

(A.2)<br />

odnosno<br />

E 0 = − lim ln F (q i, q i , T )<br />

T →∞ |〈q i |0〉| 2 . (A.3)<br />

Kad izra£unamo integral po stazama za harmoni£ki oscilator biti ¢emo u stanju o£itat energiju<br />

osnovnog stanja i kvadrat valne funkcije osnovnog stanja. Kod nas je<br />

{ ∏<br />

∞ [ ( nπ<br />

) ]} 2 −1/2 { ∏<br />

∞ (<br />

F ho (0, 0, T ) = N m + mω<br />

2 nπ<br />

) 2 } −1/2 { ∏<br />

∞ [ ( ωT<br />

) 2 ]} −1/2.<br />

= N m<br />

1 +<br />

T<br />

T<br />

nπ<br />

n=1<br />

U zadnjoj jednakosti smo prirodno faktorizirali slobodni integral po stazama. A on nije ni²ta drugo<br />

nego nerelativisti£ki propagatator za slobodnu £esticu,<br />

n=1<br />

n=1<br />

{ ∏<br />

∞ ( nπ<br />

) 2 } −1/2 ( m<br />

) 1/2.<br />

F free (0, 0, T ) = N m<br />

=<br />

T<br />

2πT<br />

Preostali beskona£ni produkt se trivijalno izvrijedni, pa<br />

F ho (0, 0, T ) =<br />

n=1<br />

( mω<br />

) 1/2(sinh<br />

ωT ) −1/2 , (A.4)<br />

2π<br />

26


²to je zbilja<br />

lim F ho(0, 0, T ) =<br />

T →∞<br />

( mω<br />

) 1/2e −ωT/2 ,<br />

π<br />

pa su unutra dobro poznati |〈q i = 0|n = 0〉| 2 = (mω/π) 1/2 i E 0 = ω/2.<br />

27


B<br />

Ra£un K za dvostruku jamu<br />

Za izra£unati uktuacijsku determinantu, ra£unamo svojstvene vrijednosti F. To se svodi na<br />

rje²avanje Schrödingerove jednadºbe za Pöshl-Teller potencijal<br />

[−m d2<br />

dt 2 + mω2( 3<br />

)]<br />

1 −<br />

2 cosh 2 1 2 ωt η n (t) = λ n η n (t).<br />

(B.1)<br />

Ovaj potencijal ima dva vezana stanja i kontinuum. Bilo bi zbilja previ²e upu²tat se u detaljan<br />

ra£un svojstvenih vrijednosti i svojstvenih vektora, pa ¢emo samo citirati rje²enja. ’to se ti£e<br />

vezanih stanja, tu su λ 0 = 0 i λ 1 = 3 4 mω2 . Kako je potencijal lokaliziran u limitu t → ±∞ imamo<br />

ravne valove, samo fazno pomaknute<br />

η p (t) = Ae i(pt+δp) + Be −i(pt+δp) ,<br />

gdje je p 2 = λ m − ω2 . Fazni pomak je dan preko formule<br />

( )( )<br />

1 + ip<br />

e iδp ω<br />

1 + 2ip<br />

ω<br />

= ( )( ). (B.2)<br />

1 − ip ω<br />

1 − 2ip<br />

ω<br />

Fluktuacije na rubovima i²£ezavaju, tj. η(±T/2) = 0, ²to daje kvantizaciju rje²enja<br />

£ime je spektar potpuno odrežen.<br />

Prežimo sad na ra£un faktora K iz (1.14)<br />

K =<br />

p n T + δ pn = nπ, (B.3)<br />

[ det ′ F<br />

det ′ F ho<br />

] −1/2,<br />

gdje smo maknuli prvu svojstvenu vrijednost F ho . Ako izdvojimo jo² i slijede¢i mod (jer je kod F<br />

jedino on jo² diskretan) imamo<br />

det ′ F<br />

det ′ = 3 ∏ ∞<br />

n=1 (p2 n + ω 2 )<br />

∏<br />

F ho 4 ∞<br />

n=3 (k2 n + ω 2 ) ≈ 3 ∞∏ p 2 n + ω 2<br />

4 kn 2 + ω 2 = 3 ∞ 4 exp ∑ ( p<br />

2<br />

ln n + ω 2 )<br />

kn 2 + ω 2 ,<br />

gdje je k n = nπ/T. Iz (B.3) znamo<br />

(<br />

p 2 n =<br />

k n − δ p n<br />

T<br />

n=1<br />

) 2<br />

≈ k<br />

2<br />

n − 2 δ p n<br />

T k n.<br />

n=1<br />

(B.4)<br />

Pa je<br />

( p<br />

2<br />

ln n + ω 2 ) (<br />

kn 2 + ω 2 ≈ ln 1 − 2 δ p n<br />

k<br />

)<br />

n<br />

T kn 2 + ω 2 ≈ −2 δ k n<br />

k n<br />

T kn 2 + ω 2 .<br />

Idemo sad koliko-toliko opravdati aproksimacije u gornja dva reda. Prvi red zapravo i nije tako<br />

stra²an; da, jesmo zanemarili kvadratni £lan s δ pn jer u nazivniku imamo T 2 koji je veliki unato£<br />

tome ²to isti taj T 2 se nalazi u nazivniku k n -a. Ali ako jama Pöshl-Teller potencijala nije previ²e<br />

²iroka onda ni fazni pomak ravnog vala ne¢e biti tako velik. A to ¢e biti ostvareno ako konstanta<br />

vezanja bude mala, odnosno ako ω bude mali. To je poanta: da fazni pomak ovisi o jakosti vezanja,<br />

28


i zato njegov kvadratni £lan zanemarujemo. Ako je fazni pomak mali, onda u prvoj aproksimaciji<br />

vrijedi i δ pn ≈ δ kn (vidi (B.3)), kao i razvoj logaritma.<br />

U granici kontinuuma<br />

∑<br />

→ T ∫ ∞<br />

dk,<br />

π<br />

pa ∏ ∞<br />

n=1 (p2 n + ω 2 )<br />

(<br />

∏ ∞<br />

n=3 (k2 n + ω 2 ) = exp − 1 π<br />

Uz jednu parcijalnu integraciju, gornji integral postaje<br />

∫ ∞<br />

0<br />

dk<br />

2kδ ∫ ∞<br />

k<br />

k 2 + ω 2 = −<br />

Iz (B.3) se lako moºe provjeriti da vrijedi<br />

p<br />

0<br />

0<br />

∫ ∞<br />

0<br />

dk<br />

2kδ )<br />

k<br />

k 2 + ω 2 .<br />

dk dδ [ (<br />

k k<br />

) 2 ]<br />

dk ln 1 + .<br />

ω<br />

Kona£an rezultat<br />

Pa je<br />

dδ k<br />

dk = 2<br />

1 + ( )<br />

k 2<br />

+<br />

∫ ∞<br />

0<br />

ω<br />

4<br />

1 + 4 ( k<br />

ω<br />

dk<br />

2kδ k<br />

k 2 = π ln 9.<br />

+ ω2 K = √ 12.<br />

) 2<br />

(B.5)<br />

29


C<br />

t'Hooftov simbol<br />

Ispada da instantonsko rje²enje mije²a Lorentzove i SU(2) indekse. Najbolje se to vidi ako (2.18)<br />

napi²emo preko t'Hooftovog simbola. t'Hooftov simbol sluºi tome da napi²e generatore SO(4)<br />

preko generatora dviju SU(2) na koje se SO(4) da rastaviti. Ako generatore SO(4) ozna£imo s<br />

J µν onda je tradicionalno ove prvo zapisati kao generatore rotacija J a i potiska K a te onda<br />

njihove linearne kombinacije prepoznati kao generatore dviju odvojenih SU(2): A a , B a . t'Hooft<br />

je to jednostavno elegantnije zapisao<br />

gdje je<br />

A a = 1 4 η aµνJ µν , B a = 1 4 ¯η aµνJ µν , (C.1)<br />

η aµν = ε aµν + δ aµ δ ν4 − δ aν δ µ4 , ¯η aµν = ε aµν − δ aµ δ ν4 + δ aν δ µ4 , (C.2)<br />

t'Hooftov simbol. Vrijedi η aµν = −η aνµ .<br />

Gornji zapis je neovisan o speci£noj reprezentaciji SO(4). Za npr. (1/2, 1/2) reprezentaciju<br />

imamo da je<br />

(J µν ) ρσ = −i(δ µρ δ νσ − δ µσ δ νρ ),<br />

(A a ) µν = − i 2 η aµν, (B a ) µν = − i 2 ¯η aµν. (C.3)<br />

Imamo i dvije neekvivalentne spinorne reprezentacije (1/2, 0) i (0, 1/2). Ove reprezentacije £ine<br />

2 × 2 matrice £ije generatore moramo druga£ije ozna£iti Σ µν i ¯Σ µν . Tako za (1/2, 0) imamo<br />

a za (0, 1/2)<br />

A a = 1 4 η aµνΣ µν , B a = 1 4 ¯η aµνΣ µν ,<br />

A a = 1 4 η aµν ¯Σ µν , B a = 1 4 ¯η aµν ¯Σ µν .<br />

Ti generatori se mogu zapisati preko Paulijevih matrica<br />

Σ µν = − i 2 (s µs † ν − δ µν ), ¯Σµν = − i 2 (s† µs ν − δ µν ), (C.4)<br />

gdje je s µ = (iσ, 1). Ispravnost ove denicije se provjerava time da obje matrice zadovoljavaju<br />

SO(4) algebru. Za op¢enite generatore J µν ona glasi<br />

[J µν , J ρσ ] = i(J ρν δ σµ + J µρ δ νσ − J σν δ ρµ − J µσ δ νρ ).<br />

Koriste¢i (C.4) lako je provjeriti da zbilja za (1/2, 0) vrijedi A a = σ a /2, B a = 0, a za (0, 1/2)<br />

obrnuto.<br />

Koriste¢i svojstva<br />

η aµν η aρσ = δ µρ δ νσ − δ µσ δ νρ + ε µνρσ ,<br />

¯η aµν ¯η aρσ = δ µρ δ νσ − δ µσ δ νρ − ε µνρσ ,<br />

lako je pokazati da se (C.1) mogu invertirati. Za specijalan slu£aj (1/2,0) i (0,1/2) reprezentacija,<br />

imamo<br />

Σ µν = 1 2 η aµνσ a , ¯Σµν = 1 2 ¯η aµνσ a . (C.5)<br />

30


Sad smo do²li do to£ke u kojoj posljednju relaciju moºemo uvrstiti u instantonsko rje²enje (2.18)<br />

x ν<br />

A µa = 2η aµν<br />

r 2 + ρ 2 .<br />

Iako nismo eksplicitno izveli antiinstanton ima samo ¯Σ µν umjesto Σ µν , pa je za njega<br />

(C.6)<br />

x ν<br />

A µa = 2¯η aµν<br />

r 2 + ρ 2 .<br />

(C.7)<br />

Ovo je naravno samo druga£iji zapis, ali bolje ilustrira £injenicu kako se izospinski indeksi kod<br />

instantona poveºu s jednom SU(2) podgrupom SO(4), a kod antiinstantona s drugom. Zna£i, u<br />

teoriji s fermionima, lijevi fermioni vezali bi se na instantone a desni na antiinstantone. S obzirom<br />

na eksces instantona u odnosu na antiinstantone to moºe dovesti do neto nesa£uvanja aksijalnog<br />

naboja, pa time i do lomljenja kiralne simetrije. <strong>Instantoni</strong> predstavljaju iznimno vaºan alat pri<br />

opisu spontanog loma kiralne simetrije QCD-a.<br />

31


Literatura<br />

Evo i literature. Notacija je ve¢inom u skladu s udºbenikom Rajaramana, dok se neki izvodi kao i<br />

dokazi pojedinih tvrdnji mogu prona¢i i u ostalim knjigama i revijama.<br />

R. Rajaraman, Solitons and instantons (Elsevier Science Publishers 1982)<br />

S. Coleman, Aspects of symmetry (Cambridge University Press 1985)<br />

S. Weinberg, The Quantum Theory of Fields, Volume 2: Modern Applications (Cambridge<br />

University Press 1996)<br />

H. Forkel - A Primer on Instantons, hep-ph/0009136<br />

S. Vandoren, P. van Nieuwenhuizen - Lectures on instantons, hep-th/0802.1862v1<br />

T. Schäfer, E. V. Shuryak - Instantons in QCD, hep-ph/9610451v3<br />

D. Diakonov - Instantons at Work, Prog. Part. Nucl. Phys. 51, 173 (2003)<br />

Nisam se trudio citirati originalne radove: reference na njih se lako mogu prona¢i u navedenoj<br />

literaturi.<br />

32

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!