Instantoni - phy
Instantoni - phy
Instantoni - phy
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