A r´ eszecskefizika anyagelm´ elete: a Standard modell Horv´ ath Dezs˝ o MTA KFKI R´eszecske- ´es Magfizikai Kutat´oint´ezet, Budapest
1.
Bevezet´ es
A CERN nagy hadron¨ utk¨oztet˝ o (LHC) gyors´ıt´oj´at 2008-ban ind´ıtj´ak, n´egy hatalmas ´eszlel˝ orendszere k¨oz¨ ul kett˝ oben jelent˝os magyar r´eszv´etellel. Az LHC egyik f˝o feladata a r´eszecskefizika elm´elet´enek, a Standard modellnek k´ıs´erleti ellen˝orz´ese. Mivel manaps´ag igen sokszor emlegetj¨ uk, a szerkeszt˝ ok k´er´es´ere meg´ırtam ezt a bevezet˝ o jelleg˝ u ¨osszefoglal´ot a Standard modell elm´eleti alapjair´ol ´es leglemibb k´ıs´erleti bizony´ıt´ekair´ol. Ehhez persze jelent˝os m´ert´ekben felhaszn´altam kor´abbi hasonl´o cikkeimet (f˝ ok´ent a Term´eszet Vil´ aga ”Mikrokozmosz” k¨ ul¨onsz´am´aban (szerk. L´evai P´eter ´es Hegyi S´andor, 2000) ´es a Handbook of Nuclear Chemistry (szerk. V´ertes Attila ´es t´arsai, 2003) 1. k¨otet´eben megjelenteket, u ´gyhogy ha bizonyos dolgok visszacsengenek egy-egy h˝ us´eges ´es j´o eml´ekez˝ o-tehets´eg˝ u olvas´onak, az nem a v´eletlen m˝ uve. ´ Alland´o vita t´argya, hogyan ´ırjuk a Standard modellt magyarul. Angolul Standard Model, magyarul szok´as csupa kis bet˝ uvel ´ırni. Szerintem ez nem egy szabv´anyos modell, hanem Standard a neve, hasonl´oan V´ac egyik v´aci utc´aj´aval szemben a pesti V´aci utc´ahoz. A tov´abbiakban teh´at megpr´ob´alom ¨osszefoglalni a r´eszecskefizika alapismereteit. Mivel a fizika egzakt tudom´any, csak szavak haszn´alata sz¨ uks´egszer˝ uen zavar ´erzet´et kelti. Ha cikkem ¨osszezavarja az olvas´ot, az a szerz˝o hib´aja, nem a m¨og¨otte lev˝ o fizikai elm´elet´e, amely pontos matematikai formalizmuson alapul ´es el˝ orejelz´esei gy¨ony¨or˝ uen egyeznek a k´ıs´erleti eredm´enyekkel, amint azt a k´es˝ obbiekben l´atni fogjuk.
2.
Elemi (´ es m´ eg elemibb) r´ eszecsk´ ek
A term´eszet megismer´es´enek egyik ir´anya egyre m´elyebbre hatolni az anyag szerkezet´eben. Ennek sor´an, minden nagyobb l´ep´es eredm´enyek´eppen u ´jabb, oszthatatlannak hitt r´eszecsk´ek jelentek meg: Demokritosz 4 atomja (a–tom = oszthatatlan), Dalton ´es Mengyelejev elemei– atomjai, Rutherford atommagja, majd az u.n. elemi r´eszecsk´ek, amelyek k¨oz¨ ul a legismertebb az elektron, a proton ´es a neutron, l´athat´o vil´agunk f´o alkatr´eszei. Az elektron val´oban elemi, de a proton ´es a neutron egy´altal´an nem azok, komoly bels˝ o szerkezettel rendelkeznek. Az elemi r´eszecsk´eket k¨ ul¨onf´ele szempontok szerint oszt´alyozzuk. A legfontosabb a spin (saj´at impulzusmomentum1 ) szerinti: a feles spin˝ u (S = 12 ; 32 ; 52 ...) fermionok ´es az eg´esz spin˝ u (S = 0; 1; 2 ...) bozonok szimmetria– ´es egy´eb alapvet˝ o tulajdons´agai er˝ osen k¨ ul¨onb¨oznek. A fermionok sz´ama megmarad, am´ıg bozonokat b˝ untetlen¨ ul kelthet¨ unk vagy elnyelethet¨ unk: egy l´ampa ak´arh´any l´athat´o bozont (fotont) kisug´arozhat ´es egy vev˝ oantenna ak´arh´anyat 1
Egy R sugar´ u k¨ orp´ aly´ an V sebess´eggel mozg´ o, M t¨ omeg˝ u test impulzusmomentuma M V R. A spin nem kapcsolhat´ o a r´eszecsk´ek forg´ as´ ahoz, de hozz´ aad´ odik m´ as eredet˝ u impulzusmomentumokhoz, az atomokban, p´eld´ aul, a p´ alyamomentumhoz. Nagys´ ag´ anak term´eszetes egys´ege a reduk´ alt Planck–´ alland´ o, ~ = h/(2π)
elnyelhet, csak az energia– ´es impulzus megmarad´as´at kell biztos´ıtanunk. Ugyanakkor a telev´ızi´o k´eperny˝ oj´et felvillant´o elektront, amely fermion, valahonnan oda kell vinn¨ unk ´es ´ dolga v´egezt´evel valahov´a el kell vezetn¨ unk. Erdekes ´es a fizika szempontj´ab´ol igen l´enyeges k¨ ul¨onbs´eg az is, hogy adott ´allapotban ak´arh´any bozon lehet egyidej˝ uleg, de fermionb´ol csak egy (Pauli–elv). Ennek k¨ovetkezt´eben t¨oltenek az atomi elektronok egyre n¨ovekv˝o energi´aj´ u energiah´ejakat ´es ez akad´alyozza azt meg, hogy az atomok az anyagban ´es a nukleonok az atommagban egym´asba hatoljanak, ´ıly m´odon biztos´ıtva makroszk´opikus form´at t´argyainknak. A r´eszecsk´ek m´asik oszt´alyoz´asi szempontja az, hogy a jelenleg ismert n´egy alapvet˝ o k¨olcs¨onhat´as, a gravit´aci´os, elektrom´agneses, gyenge ´es er˝ os k¨oz¨ ul melyekben vesznek r´eszt. Valamennyi r´eszecsk´ere hat ugyan a gravit´aci´o, de szerepe csak csillag´aszati szinten jelent˝os, laborat´oriumi szinten elhanyagolhatjuk. Ugyancsak minden r´eszecsk´ere hat a gyenge ´es minden t¨olt´essel vagy m´agneses momentummal rendelkez˝ ore az elektrom´agneses k¨olcs¨onhat´as. Az er˝ os k¨olcs¨onhat´asban r´esztvev˝ o r´eszecsk´eket hadronoknak, k¨oz¨ott¨ uk a fermionokat barionoknak, a bozonokat pedig mezonoknak hivjuk. Az er˝ os k¨olcs¨onhat´as ban r´eszt nem vev˝ o r´eszecsk´ek a leptonok. A nevek a kezdetben megfigyelt r´eszecsk´ek t¨omeg´eb˝ ol erednek: a leptonok (pl. az elektron) k¨onny˝ uek, a mezonok (pl. a pion, mπ ∼ 139 MeV2 , elektron t¨omeg´enek, me = 0.511 MeV, 273–szorosa) k¨ozepes t¨omeg˝ uek, am´ıg a barionok (proton, neutron) neh´ez r´eszecsk´ek (mp = 938 MeV= 1836 me ).
3.
Szimmetri´ ak
A szimmetri´ak a r´eszecskefizik´aban m´eg fontosabb szerepet j´atszanak, mint a k´emi´aban vagy a szil´ardtestfizik´aban. A j´egben a hidrog´enatomok tetra´ederes szimmetri´aval helyezkednek el az oxig´enatomok k¨or¨ ul; ett˝ ol lesz a fajt´erfogata nagyobb a foly´ekony v´ız´en´el, amelyben nincs ilyen megszor´ıt´as; az anyagok vezet´esi (elektromos, h˝o–, hang–) tulajdons´agai pedig a k¨ ul¨onb¨oz˝o krist´alyr´acs–szimmetri´akra vezethet˝ok vissza. A r´eszecsk´ek bels˝ o szerkezet´et, mindenfajta anyagelm´elethez hasonl´oan, szimmetri´ak ´ırj´ak le, a r´eszecskefizik´aban viszont minden a szimmetri´akb´ol (vagy azok s´er¨ ul´es´eb˝ ol) sz´armazik: a megmarad´asi t¨orv´enyek, a k¨olcs¨onhat´asok, s˝ ot a r´eszecsk´ek t¨omege is. Ter¨ unk alapvet˝ o szimmetri´ai vezetnek a megmarad´asi t¨orv´enyeinkhez. Az energia– ´es impulzusmegmarad´as levezethet˝o abb´ol a k´ezenfekv˝ o szimmetri´ab´ol, hogy a fizikai t¨orv´enyek nem f¨ ugghetnek att´ol, hol vessz¨ uk fel az id˝ osk´al´ank ´es koordin´atarendszer¨ unk kezd˝opontj´at, az impulzusmomentum megmarad´asa pedig a koordin´atarendszer¨ unk tetsz˝oleges sz¨og´enek ´ k¨ovetkezm´enye. Altal´ aban minden folytonos szimmetria valamilyen megmarad´asi t¨orv´enyhez vezet, a vonatkoz´o megmarad´asi t¨orv´enyek pedig a k¨olcs¨onhat´asok fontos jellemz˝oi, ez´ert is olyan fontos a szimmetri´ak felder´ıt´ese. A feles ´es eg´esz spin˝ u r´eszecsk´ek alapvet˝ oen k¨ ul¨onb¨oz˝o szimmetri´aj´ uak: a fermionok fizikai viselked´es´et le´ır´o hull´ amf¨ uggv´eny olyan fel´ep´ıt´es˝ u, hogy k´et azonos fermion felcser´el´esekor el˝ ojelet v´alt, szemben a bozonok´eval, amely nem v´alt el˝ o jelet, ´es a kor´abban t´argyalt fermion– bozon k¨ ul¨onbs´eg innen vezethet˝o le: k´et teljesen azonos ´allapotban lev˝ o fermion k¨oz¨os ´allapotf¨ uggv´eny´enek z´erusnak kellene lennie. A r´eszecsk´ek spinje is furcsa szerzet; hab´ar hozz´aad´odik a r´eszecsk´ek hagyom´anyosabbnak tekinthet˝ o p´ alyamomentum´ ahoz, amely a k¨ ul¨onb¨oz˝o atomi p´aly´akon 2
Az Einstein–f´ele t¨ omegformula, E = mc2 , ´ertelm´eben a r´eszecsk´ek t¨ omeg´et energi´ aval fejezz¨ uk ki. 1 eV az a mozg´ asi energia, amelyet egys´egnyi t¨ olt´es˝ u r´eszecske 1 V potenci´ alk¨ ul¨ onbs´eg ´ atszel´ese sor´ an szerez; nagyobb egys´egei a MeV = 106 eV ´es a GeV = 109 eV.
2
elhelyezked˝ o (de nem igaz´an kering˝ o) elektronok alapj´ an kapta a nev´et, csak k´et fizikai saj´at´allapota van: vagy jobbra forog (azaz a spinje felfel´e mutat) vagy balra (lefel´e). A h´aromdimenzi´os t´erben kell teh´at kezeln¨ unk egy olyan vektort, amely ugyan b´armerre mutathat, de m´er´eskor csak k´et ´allapot valamelyik´eben tal´alhatjuk, teh´at csak k´et f¨ uggetlen mennyis´eg jellemzi. E k´et mennyis´eg hagyom´anyosan a spin hossza ´es valamelyik ir´anyra vett vet¨ ulete. Mivel a h´aromdimenzi´os t´erben a vektoroknak h´arom komponens¨ uk van, a spin eset´eben valahogyan meg kell szabadulnunk a harmadik szabads´agi fokt´ol, ´es ez vezet a spin igencsak k¨ ul¨on¨os szimmetriatulajdons´agaihoz. Kit´ er˝ o3 : Szimmetriacsoportok A r´eszecsk´ek egy–egy jellegzetes szimmetri´ aj´ at a halmazelm´elet nyelv´en szimmetriacsoportok seg´ıts´eg´evel ´ırjuk le. A fizika igazi nyelve a matematika: az elm´elet ´es spekul´ aci´ o k¨ oz¨ ott a megfelel˝ o matematikai formalizmus adja a k¨ ul¨ onbs´eget, az teszi lehet˝ ov´e ugyanis, hogy elm´elet¨ unk alapj´ an k´ıs´erletileg ellen˝ orizhet˝ o, sz´ amszer˝ u eredm´enyeket kapjunk.
Y
,
Y
y
b
,,
y
P
Θ
c ,
y
,
X b Θ
a Θ
,
x
Θ
x
X
1. ´abra. Koordin´atarendszer s´ıkbeli forgat´asa: az [X ′ , Y ′ ] koordin´atarendszert az [X, Y ] rendszer Θ sz¨oggel val´ o elforgat´ as´ aval kapjuk Mivel a szimmetri´ ak t¨ obbnyire koordin´ atarendszer¨ unk transzform´ aci´ oi sor´ an jelentkeznek, a matematikai appar´ atust is ´ıgy v´ alasztjuk meg. Erre k´ezenfekv˝ o p´elda a s´ıkbeli koordin´ atarendszer forgat´ asa a k¨ oz´eppont k¨ or¨ ul Θ sz¨ oggel. Az 1. ´ abr´ an l´ athat´ o, hogy ilyenkor egy P pont r´egi (x, y) koordin´ at´ aib´ ol az elforgatott rendszerben elfoglalt (x′ , y ′ ) u ´jakat a k¨ ovetkez˝ o transzform´ aci´ oval kapjuk meg: x′ = a + b = x cos Θ + y sin Θ
(1)
y ′ = y ′′ − c = y cos Θ − x sin Θ
(2)
A P pont, mint k´etdimenzi´ os vektor, teh´ at a k¨ ovetkez˝ o koordin´ ata–transzform´ aci´ on megy ´ at: « „ « „ « „ ′« „ cos Θ · x + sin Θ · y cos Θ sin Θ x x = = · − sin Θ · x + cos Θ · y − sin Θ cos Θ y y′
(3)
A fenti egyenlet a k¨ ovetkez˝ ot mondja: az (x′ , y ′ ) vektort u ´gy kapjuk meg, hogy az (x, y) vektort megszorozzuk az el˝ otte ´ all´ o sz´ amt´ abl´ azattal, m´ atrix–szal, m´egpedig u ´gy, hogy az eredm´eny–vektor els˝ o elem´ehez a m´ atrix els˝ o sor´ at, a m´ asodikhoz pedig a m´ atrix m´ asodik sor´ at kell a vektor megfelel˝ o elemeivel szorozva ¨ osszegezn¨ unk. 3
Cikkem nehezebben em´eszthet˝ o ´es els˝ o olvas´ askor elhagyhat´ o, de m´elyebben ´erdekl˝ od˝ o olvas´ okat ´erdekelhet˝ o r´eszeit Kit´er˝ okbe helyeztem. Sajnos, a szimmetriacsoportok (remelhet˝ oleg) k¨ oz´erhet˝ o magyar´ azata sz´ amos p´ otmagyar´ azatot ig´enyel, ez a Kit´er˝ onk teh´ at a t¨ obbin´el l´enyegesen hosszabb ´es f´ araszt´ obb, mind az olvas´ onak, mind pedig a szerz˝ onek.
3
A forgat´ ashoz vezet˝ o transzform´ aci´ os m´ atrixok fontos tulajdons´ aga, hogy nem v´ altoztatj´ ak meg a P pont t´ avols´ ag´ at a koordin´ atarendszer¨ unk kezd˝ opontj´ at´ ol (hiszen egyik ponton sem mozd´ıtottunk), azaz x′2 + y ′2 = (x2 + y 2 ) · (cos2 Θ + sin2 Θ) = x2 + y 2 .
(4)
A r´eszecskefizika ´ altal´ aban nem val´ os, hanem komplex mennyis´egekkel dolgozik. A komplex sz´ amok ´ altal´ anos alakja x = a+ib, ahol i a k´epzetes egys´eg: i2 = −1. A m´erhet˝ o fizikai mennyis´egeknek, term´eszetesen, val´ osaknak kell lenni¨ uk, ez´ert azokban a komplex mennyis´egek abszol´ ut ´ert´ek´enek n´egyzete jelenik meg, amelyet u ´gy kapunk, hogy az x komplex sz´ amot megszorozzuk a saj´ at x∗ konjug´ altj´ aval: x2 = x∗ x = (a − ib)(a + ib) = a2 + b2 .
(5)
Komplex m´ atrixokn´ al a konjug´ al´ ast az elemeinek a f˝ o´ atl´ ora t¨ ort´en˝ o t¨ ukr¨ oz´ese, a m´ atrix transzpon´ al´ asa s´ ulyosb´ıtja. Az a felt´etel teh´ at, hogy a forgat´ as a vektorok hossz´ at ne v´ altoztassa meg, a komplex elem˝ u U forgat´ om´ atrixt´ ol megk¨ oveteli, hogy unit´er legyen, azaz hogy U † transzpon´ alt–konjug´ altja saj´ at mag´ aval szorozva az egys´egm´ atrixot adja, amely a f˝ o´ atl´ oj´ aban egyeseket, azon k´ıv¨ ul null´ akat tartalmaz: „ ∗ « „ « « „ « „ ∗ 2 2 ∗ ∗ U11 U21 U11 U12 1 0 U11 + U21 U11 U12 + U21 U22 U †U = · (6) = = ∗ ∗ ∗ ∗ 2 2 U21 U22 U12 U22 0 1 U12 U11 + U22 U21 U12 + U22 A fenti t´ıpus´ u forgat´ asok a k¨ ovetkez˝ o matematikai tulajdons´ agokkal rendelkeznek: • ¨ osszeadhat´ ok: forgat´ as Θ1 , majd Θ2 sz¨ oggel egyen´ert´ek˝ u egy Θ = Θ1 + Θ2 sz¨ og˝ u forgat´ assal; • az ¨ osszead´ asuk felcser´elhet˝ o: Θ1 + Θ2 = Θ2 + Θ1 ; • van egys´egelem¨ uk, a Θ = 0 sz¨ oggel t¨ ort´en˝ o forgat´ as, az u.i. semmit nem csin´ al. A fenti tulajdons´ agokkal rendelkez˝ o matematikai objektumok halmaz´ at a halmazelm´eletben csoportnak h´ıvjuk, a h´ aromdimenzi´ os forgat´ asok csoportj´ at pedig forg´ ascsoportnak. A forg´ ascsoport elemeinek konkr´et matematikai alakj´ at nem ´ırjuk fel, az t´ ulmegy cikk¨ unk ´erthet˝ os´egi k¨ or´en (m´ ar az eddigiek is er˝ osen feszegetik a keretet). Ennyi bevezet´es ut´ an visszat´erhet¨ unk v´egre a spinre. A spin — mint m´ ar eml´ıtett¨ uk — h´ aromdimenzi´ os mennyis´eg, a tulajdons´ againak megfelel˝ o szimmetriacsoport pedig a forg´ ascsoport. Ahhoz, hogy matematikailag kezelni tudjuk a spint, a forg´ ascsoportot le kell tudnunk ´ırni, azaz egyenleteket kell tudnunk rendelni a m˝ uveleteihez: ezt ´ abr´ azol´ asnak h´ıvjuk. A h´ aromdimenzi´ os forgat´ asok csoportj´ anak k´ezenfekv˝ o´ abr´ azol´ asa fenti p´eld´ ank alapj´ an az SU (2), a 2 × 2–es speci´ alis (egys´egnyi determin´ ans´ u) unit´er komplex m´ atrixok csoportja. Egy ilyen A m´ atrix determin´ ansa egys´egnyi, ha „ « A11 A12 Det = A11 · A22 − A12 · A21 = 1. (7) A21 A22 Az SU (2) term´eszetesen nemcsak a spinre alkalmazhat´ o, hanem b´ armilyen, a spinhez hasonl´ o szimmetri´ aj´ u fizikai mennyis´eg le´ır´ as´ ara. Az alapvet˝ o fermionok oszt´ alyoz´ asa ilyen mennyis´egeken alapul, mint p´eld´ aul a k´es˝ obb bevezetend˝ o izospin. Ha a szabads´ agi fokokat n¨ ovelj¨ uk, hasonl´ o tulajdons´ ag´ u, magasabb szimmetriacsoportokat kapunk. A k¨ ovetkez˝ o fokozat, a k´es˝ obbiekben ugyancsak el˝ ofordul´ o SU (3) h´ arom lehets´eges saj´ at´ allapot´ at u ´gy kell elk´epzeln¨ unk, mint egy egyenl˝ o oldal´ u h´ aromsz¨ og h´ arom sark´ at, amelyek k¨ oz¨ ott, teh´ at a h´ aromsz¨ og oldalai ment´en, p´ aros´ aval, egy–egy SU (2) szimmetria l´etezne. A komplex mennyis´egek miatt azonban a forgat´ asi szabads´ agi fokot cs¨ okkenthetj¨ uk is, ´ıgy j¨ on l´etre az U (1) csoport, amely az 1 × 1–es unit´er m´ atrixok´e, azaz a komplex sz´ ams´ık egys´egnyi abszol´ ut ´ert´ek˝ u sz´ amai´e. Ez az elektrom´ agneses k¨ olcs¨ onhat´ as m´ert´ektranszform´ aci´ oinak szimmetriacsoportja. Az elektrom´ agneses m´ert´ekszimmetria legegyszer˝ ubb p´eld´ aja az, hogy az elektrosztatikus potenci´ al z´eruspontj´ at szabadon v´ alaszthatjuk meg, az a rendszer fizikai ´ allapot´ at nem befoly´ asolja.
4.
Antir´ eszecsk´ ek
A r´eszecsk´eknek ´altal´aban van antir´eszecsk´ej¨ uk, amely azonos tulajdons´ag´ u, de ellent´etes t¨olt´es˝ u, ´es k¨olcs¨onhat´asuk annihil´ aci´ ot, sug´arz´asos megsemmis¨ ul´es¨ uket eredm´enyezi. Amikor az elektron antir´eszecsk´eje, a pozitron annihil´al egy elektronon, relat´ıv spin´all´asuk f¨ uggv´eny´eben 4
k´et vagy h´arom foton keletkezik; a proton-antiproton annihil´aci´ojakor viszont akkora energia, k¨ozel 2 GeV szabadul fel, hogy f´el tucat r´eszecske is keletkezhet. A r´eszecske–antir´eszecske aszimmetria oka a vil´agegyetem ´altalunk bel´athat´o r´esz´eben, azaz hogy mi´ert nincs benne jelent˝os mennyis´eg˝ u antianyag, a fizika nagy k´erd´esei k¨oz´e tartozik. Ha lenn´enek ugyanis antianyagb´ol ´all´o csillagrendszerek, azok antir´eszecsk´eket sug´arozn´anak. A galaxisok ´es antigalaxisok hat´ar´an, ahol az egyik galaxis kibocs´atotta r´eszecsk´ek a m´asik anyag´aval sz´etsug´aroznak, er˝ os sug´arz´asi z´on´at kellene l´atnunk, de a csillag´aszok sehol sem ´eszlelnek ilyen jelens´eget. Kit´ er˝ o: A CP T szimmetria Az antir´eszecsk´ek ´erdekes tulajdons´ aga, hogy matematikailag u ´gy kezelhet˝ ok, mintha azonos t¨ omeg˝ u, azonos nagys´ ag´ u ´es ellent´etes el˝ ojel˝ u t¨ olt´essel rendelkez˝ o, t´erben ´es id˝ oben ellenkez˝ o ir´ anyban halad´ o r´eszecsk´ek voln´ anak. Ez a term´eszet fontos szimmetri´ aja: a t¨ olt´es, a t´er ´es az id˝ o egyidej˝ u t¨ ukr¨ oz´es´et˝ ol a fizika t¨ orv´enyei nem v´ altoznak meg. A h´ arom t¨ ukr¨ oz´esi m˝ uvelet angol r¨ ovid´ıt´ese nyom´ an, charge, parity, time ezt CP T – szimmetri´ anak h´ıvjuk. Az elektron ´es pozitron annihil´ aci´ oj´ at teh´ at u ´gy ´ırhatjuk le, mintha egy elektron bej¨ onne a k´epbe, kisug´ arozna k´et vagy h´ au ˝rom fotont, azt´ an dolga v´egezt´evel, t´erben ´es id˝ oben ellenkez˝ oleg kih´ atr´ alna; az elektrom´ agneses ´ aram anal´ ogi´ aj´ ara ezt r´eszecske´ aramnak nevezz¨ uk. Egyszer˝ u r´eszecske¨ utk¨ oz´es eset´en egy ilyen oda–vissza men˝ o r´eszecske´ aram k¨ olcs¨ onhat´ asi bozont cser´el egy m´ asik hasonl´ o´ arammal. Ezt Heisenberg hat´ arozatlans´ agi rel´ aci´ oja teszi lehet˝ ov´e, amely kimondja, hogy eg´eszen r¨ ovid id˝ otartamokra ill. t´ avols´ agokon megengedett az energia– ill. impulzusmegmarad´ as s´er¨ ul´ese: ∆E · ∆t ≥ ~/2 ´es ∆p∆x ≥ ~/2, ahol ∆ az ut´ ana ´ all´ o mennyis´eg (kis) v´ altoz´ as´ at jel¨ oli, E, p, t, x pedig a sz´ obanforg´ o r´eszecske energi´ aj´ at, impulzus´ at, az elt¨ olt¨ ott id˝ ot ´es a megtett u ´thosszat. A 2π–vel osztott Planck–´ alland´ o, ~ = 1.055 · 10−34 J/s kicsinys´ege biztos´ıtja, hogy a makrovil´ agban a megmarad´ asi t¨ orv´enyek pontosan teljes¨ ulnek. A cserebozon lehet teh´ at val´ odi vagy virtu´ alis aszerint, hogy teljes¨ ul–e r´ a az energia– ´es impulzusmegmarad´ as, azaz t´enylegesen (k´ıs´erletileg megfigyelhet˝ oen) l´etrej¨ on–e vagy sem. A CP T –szimmetri´ at napjainkig minden k´ıs´erleti megfigyel´es messzemen˝ oen al´ at´ amasztja, ´es szerepe annyira alapvet˝ o a t´erelm´eletben, hogy sokak szerint nem is lehet k´ıs´erletileg vizsg´ alni; l´ atsz´ olagos kis elt´er´esek megfigyel´ese eset´en ink´ abb hihet¨ unk valamelyik megmarad´ asi t¨ orv´eny s´er¨ ul´es´eben, mint a CP T –szimmetri´ a´eban. Ennek ellen´ere komoly k´ıs´erleti er˝ ofesz´ıt´es ir´ anyul ellen˝ orz´es´ere. Legpontosabb tesztje a semleges K–mezon ´es antir´eszecsk´eje relat´ıv t¨ omegk¨ ul¨ onbs´ege, amely a m´er´esek szerint < 10−18 . A CERN–ben 1999 v´eg´en meg´ep¨ ult Antiproton–lass´ıt´ o berendez´es f˝ o c´elja antihidrog´en–atomok (antiproton ´es pozitron k¨ ot¨ ott ´ allapota) el˝ o´ all´ıt´ asa, hogy a hidrog´enatommal ¨ osszehasonl´ıtva a CP T –szimmetri´ at ellen˝ orizz´ek (antianyag–fizika).
5.
A kvarkmodell
Az egyik legkor´abbi megfigyel´es, amely az elemi r´eszecsk´ek lehets´eges bels˝ o szerkezet´ere mutatott, a proton ´es a neutron hasonl´os´aga volt: csaknem azonos a t¨omeg¨ uk ´es azonosan hat r´ajuk az atommagot ¨osszetart´o er˝ os k¨ olcs¨ onhat´ as, csak a t¨olt´es¨ uk k¨ ul¨onb¨ozik. Bevezett´ek teh´at a nukleon fogalm´at, amelynek k´et ´allapot´at, a neutront ´es a protont az izospin kvantumsz´ am4 k¨ ul¨onb¨ozteti meg. A nukleon feles izospinje a spinj´ehez hasonl´oan k´et saj´at´allapottal rendelkez˝ o vektor, a felfel´e mutat´ot rendelj¨ uk a protonhoz, a lefel´et a neutronhoz. Az izospinnek spinhez csak annyi k¨oze van, hogy azonos szimmetria, az SU (2) ´ırja le a tulajdons´agait. Az izo el˝ otag magfizikai eredet˝ u: adott protonsz´am´ u elem k¨ ul¨ onb¨oz˝o neutronsz´am´ u izot´ opjai, illetve az adott t¨omeg˝ u, teh´at azonos teljes nukleonsz´am´ u, de k¨ ul¨onb¨oz˝o protonsz´am´ u izob´ ar–mag´allapotok az izospin seg´ıts´eg´evel azonos´ıthat´ok. 4 Kvantumsz´ am: a mikrovil´ ag olyan fizikai jellemz˝ oje, amely csak bizonyos meghat´ arozott adagokkal kvantumokkal v´ altozhat; ilyen pl. az elektromos t¨ olt´es ´es az impulzusmomentum.
5
1. csal´ad 2. csal´ad 3. csal´ad t¨olt´es T3 Leptonok
Kvarkok
µ
νe e
¶
L
µ
νµ µ
¶
µ
u d′
¶
L
µ
c s′
¶
L
0 −1
+ 12 − 12
L
+ 23 − 13
+ 12 − 12
L
µ
ντ τ
¶
L
µ
t b′
¶
1. t´abl´azat: Az alapvet˝ o fermionok h´arom csal´adja. T3 a gyenge izospin harmadik komponense, a t¨obbi jel¨ol´est a sz¨ovegben fokozatosan ismertetj¨ uk
A k´ıs´erleti technika javul´as´aval egyre t¨obb er˝ os k¨olcs¨onhat´asban r´esztvev˝ o elemi r´eszecsk´et, hadront fedeztek fel ´es valamennyi rendelkezett izospinnel, azaz annyi k¨ ul¨onb¨oz˝o t¨olt´es˝ u, k¨ozel azonos t¨omeg˝ u, ´es egy´ebk´ent igen hasonl´o tulajdons´agokkal rendelkez˝ o r´eszecsk´et lehetett megfigyelni, ah´any lehets´eges ´allapota volt az izospin harmadik komponens´enek (I3 ). A nukleon teljes izospinje I = 21 , a harmadik komponense I3 = ± 21 lehet a k´et ´allapotnak megfelel˝ oen. A legk¨onnyebb hadron, a π–mezon vagy pion teljes izospinje 1, ez´ert a h´arom lehets´eges saj´at´allapotnak (I3 = -1, 0 ´es +1) megfelel˝ oen h´aromf´ele t¨olt´es˝ u pion l´etezik, pozit´ıv, semleges ´es negat´ıv. Az izospin teh´at az elemi r´eszecsk´ek oszt´alyoz´as´anak alapvet˝ o kvantumsz´ama lett. Amikor azut´an felfedeztek egy u ´jabb kvantumsz´amot, a ritkas´ agot (angolul strangeness, furcsas´ ag), amely szabadon kombin´al´odik az izospinnel u ´jabb ´es u ´jabb hadronokban, GellMann ´es Zweig bevezett´ek a hadronok kvarkmodellj´et. H´arom kvark felt´etelez´es´evel siker¨ ult le´ırni az ¨osszes addig megfigyelt r´eszecsk´et. Az izospin az els˝ o k´et kvark kvantumsz´ama, ´es az I3 = ±1–saj´at´ert´ek¨ uknek megfelel˝ oen az up (f¨ol) ´es down (le) nevet kapt´ak, a harmadik pedig a strange (k¨ ul¨on¨os) nevet. Jel¨ol´es¨ uk ennek megfelel˝ oen u, d ´es s. A kvarkmodell szerint a kvarkok k´etf´elek´eppen kapcsol´odhatnak ¨ossze: h´arom kvark bariont (´es h´arom antikvark antibariont) illetve egy kvark ´es egy antikvark mezont form´al. A kvarkok spine feles (1. t´abl´azat), teh´at fermionok. H´arom kvark k¨ot¨ott ´allapota is fermion lesz teh´at, am´ıg a kvark+antikvark rendszer bozon. A kvarkok t¨olt´ese + 32 ´es − 13 , ´ıgy adja ki pl. a p = (uud) ´allapot a proton pozitiv ´es az n = (udd) a neutron z´erus t¨olt´es´et. Az izospin harmadik komponense teh´at a r´eszecsk´ek t¨olt´es´evel van szoros ¨osszef¨ ugg´esben, egys´egnyi n¨ovel´ese ugyanis azt jelenti, hogy az adott r´eszecsk´eben egy d–kvarkot u–kvarkra cser´el¨ unk, teh´at a t¨olt´es´et egys´eggel n¨ovelj¨ uk (+ 32 − (− 31 ) = 1). A kvarkmodell, hab´ar sikeresen megmagyar´azta az ¨osszes megfigyelt r´eszecske tulajdons´agait, azonnal komoly ellentmond´asokba keveredett. Nem volt ´erthet˝ o, p´eld´aul, mi´ert csak a fenti k´et ´allapot j¨ohet l´etre bel˝ ol¨ uk, mi´ert nincsenek szabad kvarkok, ´es hogyan lehetnek egy barionban azonos fizikai ´allapot´ u kvarkok, holott a Pauli–elv ezt fermionokra hat´arozottan tiltja. A r´eszecskefizika fejl˝ od´ese sor´an, ha valami ´erthetetlennel tal´alkoztunk, gyakran bevezett¨ unk egy u ´j kvantumsz´amot. Ez t¨ort´ent most is: mivel h´arom lehets´eges ´allapotot kellett le´ırnunk, a sz´ınl´at´as h´arom alapsz´ın´enek anal´ogi´aj´ara az u ´j kvantumsz´amot sz´ınnek h´ıvjuk. Az er˝ os k¨olcs¨onhat´as hordoz´oja, a kvarkok h´arom sz´ıne bevezet´ese az ¨osszes fenti probl´em´at egyszeriben megoldotta: az u ´jabb kvantumsz´am feloldotta a Pauli–tilt´ast, ´es annak posz-
6
tul´al´asa, hogy a term´eszetben csak feh´er (azaz mindh´arom sz´ınt vagy sz´ınt ´es antisz´ınt tartalmaz´o) r´eszecsk´ek l´etezhetnek, mert a sz´ın–sz´ın vonz´as ann´al er˝ osebb, min´el ink´abb t´avolodnak egym´ast´ol a sz´ınek hordoz´oi, megmagyar´azta, mi´ert csak a 3–kvark ´es kvark+antikvark ´allapotok stabilak, csakis ezek feh´erek ugyanis a lehets´eges kombin´aci´ok k¨oz¨ ul. Az anal´ogia sz´ınl´at´assal igen j´o, hiszen az antikvark anti-sz´ıne megfelel a kieg´esz´ıt˝ o sz´ınnek, ´es a feh´ernek a h´arom alapsz´ın kever´ek´et ´es a sz´ın + kieg´esz´ıt˝ o sz´ın´et l´atjuk. A sz´ın szerepe az er˝ os k¨olcs¨onhat´as t¨olt´esek´ent hasonl´o az elektromos t¨olt´es´ehez az elektrom´agness´egben, azzal a k¨ ul¨onbs´eggel, hogy a sz´ınek mindig vonzz´ak egym´ast, am´ıg az azonos t¨olt´esek tasz´ıtj´ak.
6.
A h´ arom fermioncsal´ ad
A kvarkmodellt˝ ol a Standard modell fel´e az egyik legnagyobb l´ep´est Glashow, Iliopoulos ´es Maiani tett´ek 1970–ben a r´oluk elnevezett GIM–mechanizmus bevezet´es´evel. K¨ ul¨onb¨oz˝o k´ıs´erleti megfigyel´eseken alapul´o elm´eleti megfontol´asok alapj´an kimondt´ak, hogy a kvarkok p´arokban l´eteznek, a h´arom addig ismert kvark mellett teh´at l´eteznie kell egy negyediknek, az u kvarkhoz hasonl´oan + 23 t¨olt´essel. A negyedik c (charm) kvarkot 1974–ben siker¨ ult k´et csoportnak is k´ıs´erletileg megfigyelnie (az u ´jonnan megfigyelt cc k¨ot¨ott ´allapotot a k´et csoport k¨ ul¨ob¨oz˝ok´eppen jel¨olte, ez´ert m´aig J/ψ r´eszecsk´enek h´ıvjuk), ´es ez´ert Richter ´es Ting 1976–ban megkapt´ak a fizikai Nobel–d´ıjat. A p´arokba rendez˝ od¨ott kvarkok mellett ugyanannyi lepton–p´arnak kell lennie, k¨ ul¨onben elromlik az elm´elet bels˝ o rendje; anom´ ali´ ak l´epnek fel, amikor a r´eszecskereakci´ok val´osz´ın˝ us´eg´et sz´am´ıtjuk. Az anom´ali´ak kik¨ usz¨ob¨ol´ese megk¨oveteli, hogy a leptonok ´es kvarkok ¨osszes t¨olt´ese z´erus legyen, ´es a kvarkok h´aromf´ele sz´ın´evel ez a felt´etel csal´adonk´ent teljes¨ ul: 0 − 1 + 3 · ( 23 − 1 at Perl csoportja 1975–ben felfedezte a harmadik leptont, a τ –t (Nobel– 3 ) = 0. Amikor teh´ d´ıj, 1995; ami k´esik, nem m´ ulik), azonnal felt´etelezt´ek u ´jabb kvarkp´ar l´etez´es´et. ´Igy alakult ki az 1. t´abl´azat menazs´eri´aja; az´ota mindk´et u ´j kvarkot megfigyelt´ek. A fermionok hely´et a p´arokban a nukleonok izospinj´enek mint´aj´ara bevezetett gyenge izospin (T ) jelzi: a fels˝ o okra T3 = − 12 . A p´arok r´eszecsk´ekre a gyenge izospin harmadik komponense T3 = + 21 , az als´ gyenge–izospin–dublettek. Vegy¨ uk ´eszre a gyenge izopin ´es az izospin k¨oz¨otti k¨ ul¨onbs´eget: az el˝ obbi a gyenge k¨olcs¨onhat´as kvantumsz´ama, amellyel valamennyi elemi fermion rendelkezik, am´ıg az ut´obbi csak a k´et legk¨onnyebb kvark´e ´es az er˝ os k¨olcs¨onhat´asra vonatkozik. Ezen a ponton joggal vet˝ odik fel a k´erd´es, vajon h´any hasonl´o kvark–lepton csal´adot rejteget m´eg a Term´eszet. A v´alaszt a CERN ´es Stanford nagyenergi´aj´ u e− e+ u ¨tk¨oz˝onyal´ab5 jai adt´ak meg csaknem t´ız ´eve: semennyi, csak h´arom csal´ad l´etezik. A fenti gyors´ıt´okon el˝ o´all´ıtott Z–bozon ugyanis valamennyi fermionp´arra elbomolhat, ´es a Standard modell a boml´asi csatorn´akat pontosan le´ırja, az egyetlen ismeretlen t´enyez˝ o a leptonokhoz tartoz´o neutr´ın´ok sz´ama; mivel a hagyom´anyos detektorok a neutr´ın´ot nem ´eszlelik, ezek l´ athatatlan boml´asi m´odusok. A teljes boml´asi ´elettartam ´es a l´athat´o m´odusok m´er´es´evel meg´allap´ıtott´ak a l´athatatlanok´et, ´es abb´ol kider¨ ult, hogy h´aromf´ele k¨onny˝ u neutr´ın´o, teh´at csak a m´ar meglev˝ o h´arom leptoncsal´ad l´etezik (egy esetleges nehezebb, teh´at a t¨olt¨ott leptonok´eval vagy a mezonok´eval ¨osszem´erhet˝o t¨omeg˝ u netrin´ohoz nem okvetlen¨ ul tartozna u ´j csal´ad). Az 1. t´abl´azat teh´at a Standard modell ´altal jelenlegi tud´asunk szerint megengedett ¨osszes alapvet˝ o fermiont tartalmazza. A kedves olvas´ot ne r´emitse meg a fenti kijelent´es l´atsz´olag 5
A hagyom´ anyos gyors´ıt´ ok r´eszecskenyal´ abja ´ all´ o c´elt´ argyba u ¨tk¨ ozik, u ´gy hoz l´etre u ´j r´eszecsk´eket. Sokkal tiszt´ abb k¨ or¨ ulm´enyek k¨ oz¨ ott, sokkal nagyobb energi´ akat lehet el´erni, ha k´et r´eszecskenyal´ abot gyors´ıtanak egym´ assal szemben ´es egy ´eszlel˝ orendszer k¨ ozep´en u ¨tk¨ oztetik
7
K¨olcs¨on- relat´ıv potenci´al hat´as er˝ oss´eg Er˝ os
1
El-m´agn. 10−2
∼
1 r
10−7
∼ 1r e− R R ∼ M~W c
k¨ozvet´ıt˝ o M bozon GeV/c2
10−23 s (∆→pπ)
8 gluon
0
10−20 − 10−16 s (π 0 →γγ)
foton
0
> 10−12 s (π − →µ− ν)
W± Z0
80 91
∼r
r
Gyenge
´elettartam
2. t´abl´azat: A h´arom alapvet˝ o k¨olcs¨onhat´as. A harmadik oszlopban r a t´avols´ag, R pedig a hat´ot´avols´ag. A negyedik oszlopban a tipikus ´elettartamok alatt, z´ar´ojelben egy-egy jellegzetes reakci´ot is felsoroltunk. Az utols´o oszlopban a k¨ozvet´ıt˝ o bozon nyugalmi t¨omege szerepel.
t´ ulzott ´ovatoss´aga. A megalkot´asa ´ota eltelt h´arom ´evtizedben a Standard modellt sokf´ele m´odon siker¨ ult elm´eletileg kiterjeszteni, ami sz´amos (s˝ot id˝ onk´ent rengeteg) u ´j hipotetikus (azaz egyel˝ ore csak a fizikusok k´epzelet´eben ´el˝ o) r´eszecske megjelen´es´ehez vezetett. B´ar egyel˝ ore semmif´ele k´ıs´erleti bizony´ıt´ekot nem tal´altunk sem a Standard modell teljesk¨or˝ u ´erv´enye ellen, sem a kiterjeszt´esek j´osolta u ´j jelens´egek ill. r´eszecsk´ek mellett, az ut´obbiakat teljesen kiz´arni sem lehet.
7.
A k¨ olcs¨ onhat´ asok
Mint eml´ıtett¨ uk, a gravit´aci´or´ol elfeledkezve, a r´eszecskefizik´aban h´arom k¨olcs¨onhat´asr´ol szoktunk besz´elni, alapvet˝ o tulajdons´agaikat a 2. t´abl´azatban ¨osszegezz¨ uk. A Standard modell szerint a k¨olcs¨onhat´asok helyi szimmetri´akb´ol erednek, forr´asuk valamilyen t¨olt´es, ´es bozonok k¨ozvet´ıtik ˝oket. Ezek a bozonok nemcsak a k¨olcs¨onhat´asok hordoz´oik´ent, hanem szabadon is l´eteznek, ugyanolyan elemi r´eszecsk´ek teh´at, mint az 1. t´abl´azat fermionjai, ´es k´ıs´erletileg is ´eszlelhet˝ ok. Egy fermion r´eszt vesz egy k¨olcs¨onhat´asban, ha rendelkezik annak t¨olt´es´evel: a gyenge k¨olcs¨onhat´as valamennyi fermionra hat, az elektrom´agneses az elektromosan t¨olt¨ottekre, az er˝ os pedig a kvarkokra. Az elektrom´agneses k¨olcs¨onhat´as hordoz´oja a foton (jele γ), a gyeng´e´e a h´arom gyenge bozon (W+ , W− ´es Z0 ). Mivel az er˝ os k¨olcs¨onhat´as sor´an a k´et kvark sz´ınt cser´el, hordoz´oj´anak, a gluonnak (glue angolul ragaszt´o) egy sz´ınt ´es egy antisz´ınt kell hordoznia. Ez nyolc k¨ ul¨onb¨oz˝o gluont jelent, mert a 3 · 3 lehets´eges sz´ın–antisz´ın kombin´aci´ob´ol l´etrehozhat´o egy olyan, a RR + GG + BB, amely feh´erb˝ ol feh´erbe vinne ´at, teh´at nem jelentene sz´ıncser´et. Az elektrom´agneses ´es a gyenge k¨olcs¨onhat´as ¨osszehasonl´ıt´as´ara kit˝ un˝o p´elda a pionboml´as. Tipikus elektrom´agneses folyamat a semleges pion boml´asa k´et fotonra: π 0 →γγ, 8 · 10−17 s ´elettartammal. A t¨olt¨ott pion ugyanakkor csak gyenge k¨olcs¨onhat´as´asban tud bomlani m¨ uonra ´es neutrin´ora, π − →µ− + νµ , ´es az ´elettartama ennek megfelel˝oen 26 ns = 2, 6 · 10−8 s, nyolc nagys´agrenddel nagyobb a semleges pion´en´al. Vegy¨ uk ´eszre, hogy a fenti reakci´oban
8
a bozon elt˝ unt, de a lepton egy antilepton t´arsas´ag´aban keletkezett: a fermionok sz´ama megmarad, a bozonok´e nem. Az elektrom´agneses k¨olcs¨onhat´as tulajdons´agait r´egen ismerj¨ uk: forr´asa az elektromos t¨olt´es, k¨ozvet´ıt˝ o bozonja a foton, helyi szimmetri´aja, amelyb˝ ol sz´armaztathat´o, a Maxwell– egyenletek m´ert´ekszimmetri´ aja6 . Ez a szimmetria az elektrom´agneses potenci´al nullpontj´anak szabad v´alaszt´as´aval kapcsolatos: a fizikai er˝ o potenci´alk¨ ul¨ onbs´eg k¨ovetkezm´enye; ezt a madarak bizony´ıtj´ak, amikor nyugodtan u ¨ld¨og´elnek a nagyfesz¨ ults´eg˝ u vezet´eken. A lokalit´as k¨ovetelm´enye azt jelenti, hogy megk¨ovetelj¨ uk a mozg´asegyenletek invarianci´aj´at akkor is, amikor a m´ert´ektranszform´aci´o tartalmaz egy tetsz˝oleges t´erid˝o-f¨ uggv´enyt; n´emi matematikai manipul´aci´o ´ar´an ez a f¨ uggv´eny fogja a szolg´altatni az elektrom´agneses teret. Mivel a foton t¨omege z´erus, az elektrom´agneses k¨olcs¨onhat´as v´egtelen hat´ot´avols´ag´ u; potenci´alja a t¨olt´esek t´avols´ag´aval ford´ıtottan ar´anyos. A fotonokat mindennapi ´elet¨ unk sor´an szem¨ unkkel ´es telev´ızi´os vev˝ ok´esz¨ ul´ek¨ unkkel is ´eszlelj¨ uk, l´etez´es¨ ukh¨oz teh´at nem f´erhet k´ets´eg. Az er˝ os k¨olcs¨onhat´as forr´asa a sz´ınt¨ olt´es, k¨ozvet´ıt˝ oje a nyolc gluon, helyi szimmetri´aja pedig a h´arom sz´ınnek megfelel˝ oen az SU (3) szimmetria7 . A gluonok t¨omege is z´erus, teh´at az er˝ os k¨olcs¨onhat´as is v´egtelen hat´ot´avols´ag´ u, potenci´alja viszont k¨ozel´ıt˝ oleg a sz´ınes r´eszecsk´ek t´avols´ag´aval egyenesen ar´anyos. Ez annak a k¨ovetkezm´enye, hogy — a fotonnal ellent´etben — a gluonok maguk is hordozz´ak a sz´ınt, a k¨olcs¨onhat´as forr´as´at, teh´at saj´at magukkal is k¨olcs¨onhatnak. Ha teh´at k´et kvarkot megpr´ob´alunk egym´ast´ol elv´alasztani, a ter¨ uk energi´aja a t´avols´aggal n˝o, mert a gluonok egyre t¨obb u ´jabb gluont ´es kvark–antikvark p´art keltenek k¨oz¨ott¨ uk, a kvarkok pedig hadronokk´a alakulnak, am´ıg az ¨osszes sz´ın el nem t˝ unik; ez´ert nem ´eszlel¨ unk szabad kvarkot (kvarkbez´ ar´ as). A kvarkokat m´egis ´eszlelj¨ uk k´ıs´erletileg, nagyenergi´aj´ u r´eszecske¨ utk¨oz´esek sor´an keletkez˝ o, k¨ozel egy ir´anyba kirep¨ ul˝ o r´eszecskenyal´abok, hadronz´ aporok, jetek form´aj´aban. Elektron– pozitron u ¨tk¨oz´esn´el, p´eld´aul, keletkezhetnek kvark–antikvark p´arok, ´es a megmarad´asi t¨orv´enyek miatt, t¨omegk¨oz´epponti rendszerben, ezeknek 180◦ alatt kell kirep¨ ulni¨ uk. Ahogy egym´ast´ol t´avolodnak, az ´alland´oan n¨ovekv˝o t´erer˝ o addig kelt gluonokat ´es u ´jabb kvark–antikvark p´arokat, amig valamennyi r´eszecske sz´ıntelen nem lesz. Nagyobb energi´akon ez akkora r´eszecskesokas´agot jelent (10–20 r´eszecsk´et egy jetben), amely semmilyen m´as fizikai folyamattal nem ´ertelmezhet˝ o. A gluonok l´etez´es´et a 3–jetes esem´enyek ´eszlel´ese bizony´ıtotta, ezek ugyanis csak u ´gy j¨ohetnek l´etre, ha egy kvark–antikvark p´ar egyik tagja kibocs´at egy gluont, minden m´as folyamatot tiltanak a megmarad´asi t¨orv´enyek (2. ´abra). A kvarkbez´ar´as k¨ovetkezm´enyek´ent az er˝ os k¨olcs¨onhat´as hat´ot´avols´aga gyakorlatilag igencsak v´eges; mintegy 1 fm azaz 10−15 m, az atommag m´eret´ehez k¨ozeli. Az atommagot teh´at az er˝ os k¨olcs¨onhat´asnak a nukleonokb´ol kil´ og´ o r´esze tartja ¨ossze, hasonl´oan a k´emiai k¨ot´eshez, amely a semleges atomokb´ol kil´og´o elektrom´agneses potenci´al k¨ovetkezm´enye.
8.
A Higgs-mechanizmus
A gyenge k¨olcs¨onhat´as sz´armaztat´as´ara a gyenge izospin SU (2) szimmetri´aja szinte t´alc´an k´ın´alja mag´at. A dolog azonban sz´eps´eghib´as: az elm´elet a h´arom k¨ozvet´ıt˝ o r´eszecske, a W+ , − 0 W ´es Z gyenge bozonok t¨omeg´ere is z´erus t¨omeget j´osol, noha a gyenge k¨olcs¨onhat´as igen r¨ovid hat´ot´avols´ag´ab´ol nagy t¨omegek k¨ovetkeznek. A Heisenberg–f´ele hat´arozatlans´agi rel´aci´o Az unit´er (U † U = 1) 1 × 1–es m´ atrixok (azaz az egys´egnyi abszol´ ut ´ert´ek˝ u komplex sz´ amok) U(1) szimmetriacsoportja. 7 3 × 3–as speci´ alis (egys´egnyi determin´ ans´ u) unit´er m´ atrixok szimmetriacsoportja 6
9
2. ´abra. Hadronz´aporok (jetek) a gyenge bozonok boml´as´ an´al keletkez˝ o kvarkokb´ol ´es gluonokb´ol, ahogyan azt a CERN Nagy elektron-pozitron u ¨tk¨oztet˝ oj´en´el az OPAL detektor ´eszlelte. Balra fent: a Z-bozon boml´asa egy b-kvarkp´arra (ahogyan azt a jetek alakjaib´ol meghat´arozt´ak), e− + e+ →Z→b + b → 2 jet. Jobbra fent: a Z-bozon boml´asa k´et b-kvarkra ´es az egyik kibocs´at egy gluont, e− + e+ →Z→b + b + g → 3 jet. Lent: egy W+ W− p´ar n´egy kvarkra bomlik, 4 jetet adva. ugyanis, mint kor´abban eml´ıtett¨ uk, lehet˝ ov´e teszi, hogy egy M t¨omeg˝ u r´eszecske ~/(2M c2 ) ideig s´ertse az energiamegmarad´ast (itt ~ = h/(2π) a Planck–´alland´o ´es c a f´enysebess´eg v´akuumban); ´ıgy k´epes a 80 GeV t¨omeg¨ u W+ bozon k¨ozvet´ıteni a neutronboml´asn´al, n→p + e− + νe , felszabadul´o 1,3 MeV (csaknem 5 nagys´agrenddel kevesebb!) energi´at. A gyenge k¨olcs¨onhat´as hat´ot´avols´aga R = ~/(MW c) ≈ 2 · 10−3 f m, k¨ozel 3 nagys´agrenddel kisebb, mint az atommag ´atm´er˝ oje. R´aad´asul az SU(2) invariancia nem viseli el a fermionok t¨omeg´et: t¨omegtagok jelenl´et´eben a mozg´asegyenlet invarianci´aja s´er¨ ul. K´erd´es teh´at, honnan van a r´eszecsk´eknek t¨omeg¨ uk? Ezt az ellentmond´ast oldotta fel a spont´ an szimmetrias´ert´es elm´elete (felfedez˝ oj´er˝ ol Higgs– mechanizmusnak h´ıvjuk), amely a Standard modellt mai form´ aj´ara hozta. A Higgs–mechanizmus felt´etelezi egy olyan n´egykomponens˝ u f¨ uggv´eny (komplex izospin–dublett) l´etez´es´et, amely hozz´aad´odik a fermionokat le´ır´o f¨ uggv´enyhez, mintha a fermionok ebben a t´erben mozogn´anak. Az egy´ebk´ent t¨omeg n´elk¨ uli fermionok a Higgs–t´errel k¨olcs¨onhat´asban t¨omeget nyernek, hasonl´oan ahhoz, ahogy egy t¨olt¨ott r´eszecske folyad´ekban sokkal nehezebben mozog, mint v´akuumban, mert az elektrosztatikus vonz´as k¨ovetkezt´eben mag´aval kell hurcolnia a k¨ornyezet´eben lev˝ o, polariz´alt molekul´akat. A Higgs–t´er s´erti az SU (2)–szimmetri´at, ´es ezzel, a szil´ardtestfizika kv´ azir´eszecsk´eihez hasonl´oan olyan u ´j r´eszecsk´eket hoz l´etre, amelyek k¨oz¨ ul h´arom elnyeli az elm´elet z´erus 10
t¨omeg¨ u k¨ozvet´ıt˝ or´eszecsk´eit, ez´altal t¨omeget teremtve nekik ´es l´etrehozva a h´arom ´ah´ıtott, neh´ez gyenge bozont, a negyedik komponense pedig, mell´ekterm´ekk´ent, u ´jabb neh´ez r´eszecsk´et hoz l´etre, a Higgs–bozont. A Higgs–mechanizmusnak m´eg sz´amos j´ot´ekony hat´asa van, amely teljesen kezelhet˝ ov´e teszi az addig ellentmond´asokkal terhes modellt: lehet˝ os´eget teremt arra, hogy kisz´amoljuk a folyamatok val´osz´ın˝ us´egeit; n´elk¨ ule az egyenletekben v´egtelen tagok l´epnek fel, a hat´as´ara azonban k¨olcs¨on¨osen kiejtik egym´ast. Hab´ar rengeteg jel mutat arra, hogy a Higgs-bozonnak l´eteznie kell, kimutatnunk eddig m´eg nem siker¨ ult. A LEP gyors´ıt´o utols´o ´eve erre ir´anyult, de a n´egy k´ıs´erlet egy¨ uttes 2 er˝ ofesz´ıt´ese is csak azt mutatta, hogy a Higgs-bozonnak, ha l´etezik, 114,4 GeV/c n´el nagyobb a t¨omege. Nagyon rem´enyked¨ unk benne, hogy az id´en indul´o LHC k´ıs´erletei meg fogj´ak figyelni.
9.
A gyenge k¨ olcs¨ onhat´ as egy´ eb furcsas´ agai
Ad´osok vagyunk m´eg az 1. t´abl´azatban szerepl˝ o k´et jel, az L index ´es a kvarkok jele melletti aposztr´of magyar´azat´aval: mindkett˝ o a gyenge k¨olcs¨ onhat´as k¨ ul¨onlegess´ege. Az egyik a parit´ as–s´ert´es. Ha egy kar´or´at u ´gy ´ep´ıt¨ unk meg, hogy a tervrajz´at t¨ uk¨orben n´ezz¨ uk, azaz t¨ ukr¨ozz¨ uk, val´osz´ın˝ uleg pontosan j´ar majd, legfeljebb a mutat´oja forog majd ellenkez˝ o ir´anyban ´es a sz´amai–bet˝ ui lesznek az ´altalunk megszokottak t¨ uk¨ork´epei. Sok´aig azt hitt¨ uk, hogy a fizika valamennyi t¨orv´enye t¨ uk¨orszimmetrikus, am´ıg Lee ´es Yang elm´eleti j´oslata alapj´an (Nobel-d´ıj, 1957) Wu asszony k´ıs´erlete meg nem mutatta, hogy m´agneses t´erben a kobalt–atommag gyenge boml´asa sor´an a t´errel ellenkez˝ o ir´anyban bocs´atja ki boml´asi elektronjait. A m´asik k´et k¨olcs¨onhat´as meg˝ orzi a rendszerek parit´as´at, azaz eml´ekszik r´a, jobbra vagy balra (azaz mozg´asir´anyba vagy azzal ellenkez˝ oleg) volt–e polariz´alva, am´ıg a gyenge maxim´alisan s´erti azt. Ez abban nyilv´anul meg, hogy a gyenge k¨olcs¨onhat´as sor´an a r´eszecsk´ek ink´abb balra, am´ıg az antir´eszecsk´ek jobbra polariz´alva keletkeznek, amennyire azt a megmarad´asi t¨orv´enyek engedik: ezt jelk´epezi az 1. t´abl´ azat dublettjei melletti L (angolul left = bal). A neutr´ın´o esete extr´em: ha z´erus a t¨omege, a neutr´ın´o csak balra polariz´alva, az antineutr´ın´o pedig csak jobbra polariz´alva l´etezhet. A parit´ass´ert´es felfedez´ese ut´an sok´aig azt hitt´ek, hogy a CP –szimmetria, teh´at a fizikai t¨orv´enyek v´altozatlans´aga a t¨olt´es ´es parit´ as egyidej˝ u t¨ ukr¨oz´es´evel szemben, ´altal´anos ´erv´eny˝ u; eg´eszen 1964–ig, amikor Cronin ´es Fitch (Nobel–d´ıj, 1980) felfedezt´ek, hogy a gyenge k¨olcs¨onhat´as azt is s´erti, ha nem is maxim´alisan, mint a parit´ast, csak egy ici–picit. Mint eml´ıtett¨ uk, a CP T –szimmetri´at abszol´ utnak tartjuk. A CP –s´ert´es elvi lehet˝ os´eget ny´ ujt arra, hogy megk¨ ul¨onb¨oztess¨ uk a vil´agot ´es antivil´agot, ´es val´osz´ın˝ uleg kapcsolatban van az anyag– antianyag aszimmetri´aval. Visszat´erve a kar´ora p´eld´ aj´ara, a t´erbeli (P) t¨ ukr¨oz´es a jobb–bal cser´et jelenti, a t¨olt´est¨ ukr¨oz´es (C) azt, hogy az ´or´at antianyagb´ol csin´aljuk, az id˝ ot¨ ukr¨oz´es (T) pedig azt, mintha az ´ora mozg´as´at r¨ogz´ıt˝ o videofelv´etelt ellenkez˝ o ir´anyban j´atszan´ank le. A gyenge k¨olcs¨onhat´as a kvarkok fajt´aj´at sem tiszteli, ellent´etben a m´asik kett˝ ovel: az er˝ os k¨olcs¨onhat´asban keletkezett kvarkok a gyenge k¨olcs¨onhat´as szempontj´ab´ol a h´arom csal´adb´ol vett ´allapotok kever´ekei8 . Praktikus szempontb´ol el´eg vagy az als´o vagy a fels˝o t´ıpus´ u kvarkokat keverteknek felt´etelezn¨ unk; meg´allapod´as szerint az als´okat keverj¨ uk, ´es erre utal az 8
Prec´ızebben fogalmazva: a kvarkok er˝ os k¨ olcs¨ onhat´ as szerinti saj´ at´ allapotai nem egyeznek a gyenge k¨ olcs¨ onhat´ as szerintiekkel
11
als´o kvarkok jelei feletti vessz˝ o. Ha a neutr´ın´oknak t´enyleg null´at´ol k¨ ul¨onb¨oz˝o a nyugalmi t¨omege, amire mutatnak k´ıs´erleti jelek, akkor a lepton´allapotok is keveredhetnek. Kit´ er˝ o: Kevered´ esi sz¨ ogek A r´eszecske´ allapotok kevered´es´et kevered´esi sz¨ ogekkel jellemezz¨ uk. A h´ arom als´ o kvarkot egy h´ aromdimenzi´ os t´er koordin´ atatengelyeinek k´epzelve, a rendszert h´ arom sz¨ oggel kell elforgatnunk a h´ arom tengely k¨ or¨ ul, hogy megkapjuk az ¨ osszes lehets´eges kvark–kevered´est. A h´ arom sz¨ ogb˝ ol pedig megkapjuk a (d,s,b) vektort (d’,s’,b’)– be transzform´ al´ o Cabibbo–Kobayashi–Maskawa m´ atrixot. A CP –s´ert´es a h´ arom kevered´esi sz¨ og mellett negyedik param´eterk´ent egy f´ azissz¨ oget visz a CKM–m´ atrixba. M´ asik nevezetes kevered´es a gyenge ´es elektrom´ agneses k¨ olcs¨ onhat´ as egyes´ıt´esekor (Glashow, Weinberg ´es Salam: Nobel–d´ıj, 1979) fell´ep˝ o gyenge kevered´es. A r´eszecskefizik´ aban, ha k´et ´ allapot kevered´es´et nem tiltja valamilyen t¨ orv´eny, akkor keverednek, azaz a term´eszetben el˝ o fordul´ o´ allapotok az els˝ odlegesek line´ aris kombin´ aci´ oi lesznek. Ez t¨ ort´enik a gyenge k¨ olcs¨ onhat´ as semleges ´ arama ´es az ugyancsak semleges elektrom´ agneses ´ aram k¨ oz¨ ott. Az ut´ obbi semlegess´ege viccesen hangzik, hiszen az elektromos ´ aram elektromos t¨ olt´esek ´ arama, viszont mint ´ aram semleges, mert a foton nem hordoz t¨ olt´est, teh´ at a k¨ olcs¨ onhat´ as folyam´ an a rendszer t¨ olt´es´ allapota nem v´ altozik meg. A foton ´es a semleges gyenge bozon kevered´esekor csak egy sz¨ og l´ep fel, a Weinberg–sz¨ og (vagy weak = gyenge kevered´esi sz¨ og), amelyet ´ıgy k´et okunk is van ΘW –vel jel¨ olni. A gyenge kevered´es miatt lesz a gyenge bozonok t¨ omege k¨ ul¨ onb¨ oz˝ o: a Z0 valamivel nehezebb a W± –n´ al, mert a foton beseg´ıt. Valamennyi kevered´esi sz¨ og szabad param´eter, teh´ at nem elm´eletileg megj´ osolhat´ o, hanem k´ıs´erletileg meg´ allap´ıtand´ o ´ert´ek.
10.
A Standard modell jelene ´ es kil´ at´ asai
A Standard modell alapvet˝ o alkatr´eszei teh´at a h´arom fermioncsal´ad ´es a h´arom helyi szimmetria, amelyb˝ ol a h´arom k¨olcs¨onhat´as ´es 1 + 3 + 8 k¨ozvet´ıt˝ o bozonja sz´armaztathat´o a szimmetrias´ert˝ o Higgs–t´er ´ald´asos k¨ozrem˝ uk¨od´es´evel, amely ut´obbi mell´ekterm´ekek´ent megjelenik a Higgs–bozon. Nem tudjuk, mi´ert ´eppen az eml´ıtett h´arom szimmetria hozza l´etre a h´arom k¨olcs¨onhat´ast, de azt igen, az elektrom´agneses U (1) szimmetri´aja az elektromos t¨olt´es skal´ar (azaz egykomponens˝ u) volt´aval, a gyenge k¨olcs¨onhat´as SU (2) szimmetri´aja a k´etkomponens˝ u gyenge izospin´evel, az er˝ os k¨olcs¨onhat´as SU (3) szimmetri´aja pedig a h´aromf´ele sz´ın´evel van ¨osszef¨ ugg´esben. A Standard modellnek 19 szabad param´etere van; aki ezt soknak tal´alja, arra gondoljon, hogy elvileg az eg´esz (mikro)vil´agot le´ırja vel¨ uk. Mindh´arom k¨olcs¨onhat´asnak van er˝ oss´ege (csatol´asi ´alland´oja), a finomszerkezeti ´alland´o az elektrom´agneses´e, a Weinberg-sz¨og a gyeng´e´e ´es az er˝ os k¨olcs¨onhat´as ´alland´oja. Szabad param´eter a 3 t¨olt¨ott lepton ´es a 6 kvark t¨omege (´es m´eg h´arom a neutr´ın´ok´e, ha figyelembe akarjuk venni, de azt a sz´am´ıt´asokban ´altal´aban elhanyagolhatjuk), a Higgs-bzon t¨omege, valamint a kvarkok kevered´esi m´atrix´anak 4 eleme. Az utols´o k´et param´etert az er˝ os k¨olcs¨onhat´as ´es a spont´an szimmetrias´ert´es elm´elete adja. A Standard modell helyess´eg´et sz´amtalan k´ıs´erleti megfigyel´es igazolja. Mindj´art sz¨ ulet´esekor sz´amszer˝ uen megj´osolta a gyenge bozonok t¨omeg´et ´es m´as tulajdons´agait, amit a kis´erlet k´es˝ obb teljes m´ert´ekben igazolt (C. Rubbia, Nobel–d´ıj, 1984). A l´etrehoz´asa ´ota eltelt csaknem 30 ´ev alatt a kis´erlet minden j´oslat´at teljes m´ert´ekben igazolta, semmif´ele olyan megfigyel´es¨ unk nincs, amely ellentmondana neki. A Higgs–bozon kiv´etel´evel valamennyi alkatr´esz´et megfigyelt¨ uk, utolj´ara a t–kvarkot, ´es a Term´eszet vakon engedelmeskedni l´atszik neki. M´eg az az u ´j megfigyel´es sem mond igaz´an ellent Standard modellnek, hogy a neutr´ın´oknak lehet n´emi (igen kicsi) t¨omege.
12
Joggal felmer¨ ul teh´at a k´erd´es, mi sz¨ uks´eg van m´eg gyors´ıt´okra, ´es egy´altal´an r´eszecskefizikusokra, ha egyszer ilyen, mindent helyesen le´ır´o elm´elettel rendelkez¨ unk. A v´alasz a Standard modell nev´eben rejlik: nem teljes elm´elet, csak modell, amelyr˝ol nem igaz´an ´ertj¨ uk, mi´ert m˝ uk¨odik ilyen j´ol. H´arom m´ert´ekelm´eletet j´on´eh´any szabad param´eterrel ell´atva ¨osszeh´azas´ıtottunk; megfejelt¨ uk egy ad hoc Higgs–mechanizmussal, mert k¨ ul¨onben nem m˝ uk¨odik; mesters´egesen hozz´atett¨ uk a fermionok t¨omeg´et, ´es annak ¨or¨ ul¨ unk, hogy mindezt hagyja, azaz nem vezet elm´eleti ellenmond´asokra. Nem tudjuk, mi´ert van ´eppen h´arom fermioncsal´adunk ´es mi a kapcsolat egy-egy csal´ad fermionjai k¨oz¨ott, azon k´ıv¨ ul, hogy a t¨olt´es¨osszeg¨ uk z´erus. Nem tudjuk, mi´ert nincs antianyag a l´athat´o univerzumunkban ´es mi alkotja a Vil´agegyetem s¨ot´et anyag´at. Nem siker¨ ult tov´abb´a ´eszleln¨ unk a modell kulcsfigur´aj´at, a Higgs–bozont, amelynek l´ete ´es tulajdons´agai bizony´ıtan´ak a Standard modell ´erv´eny´et. Vannak jelei annak, hogy a Standard modell m¨og¨ott egys´eges, m´elyebb elm´elet lehet. Erre vall az a megfigyel´es, hogy a h´arom k¨olcs¨onhat´as er˝ oss´ege, azaz csatol´ asi a ´lland´ oja az energia n¨ovel´es´evel hasonl´o ´ert´ek fel´e tart, teh´at mintha egy univerz´alis k¨olcs¨onhat´asra lenn´enek visszavezethet˝ok. Kik¨ usz¨ob¨olend˝ o a fenti probl´em´akat, az elm´ ult 3 ´evtizedben a Standard modellnek sz´amos kiterjeszt´ese sz¨ uletett, ´es a j¨ov˝o k´ıs´erleteinek kell d¨ontenie, melyik ´ırja le k¨oz¨ ul¨ uk helyesen a mikrovil´agot. A k¨olcs¨onhat´asokat egyes´ıt˝ o elm´eletek k¨oz¨ ul ma a szuperszimmetria (SUSY) a legn´epszer˝ ubb, b´ar igaz´at egyel˝ ore semmif´ele k´ıs´erleti megfigyel´es nem bizony´ıtja. Szimmetri´at felt´etelez a fermionok ´es bozonok k¨oz¨ott, teh´at azt, hogy minden ismert fermionnak ´es bozonnak van szuperszimmetrikus partnere: a feles spin˝ u leptonoknak ´es kvarkoknak z´erus–spin˝ u r´eszecsk´ek, a k¨olcs¨onhat´asokat k¨ozvet´ıt˝ o, egyes spin˝ u bozonok ´es a Higgs–bozon szuperpartnerei pedig feles spin˝ u fermionok. A Standard modell lehet˝ o legegyszer˝ ubb szuperszimmetrikus kiterjeszt´ese, a Minim´ alis Szuperszimmetrikus Standard modell (MSSM) az elm´elet csaknem valamennyi probl´em´aj´at tetszet˝ osen megoldja, de igen nagy ´aron: a rengeteg u ´j r´eszecske mellett igen sok u ´j param´eter bevezet´es´evel. Az ut´obbi ´evekben ´erdekes versenyfut´asnak vagyunk tan´ ui a k´ıs´erleti ´es elm´eleti kutat´ok k¨oz¨ott: a k´ıs´erletiek hi´aba igyekeznek megfigyelni a megj´osolt u ´j szuperpartnereket, ´es ek¨ozben mind nagyobb r´eszeket z´arnak ki a lehets´eges param´eter´ert´ekek ter´eben; ek¨ozben az elm´eletiek, sz´am´ıt´asaik, modelljeik finom´ıt´as´aval egyre n¨ovelik az elm´eleti alapon megengedett ´es k´ıs´erletileg m´eg nem tanulm´anyozott param´etertartom´anyokat9 . Mivel ´altal´aban felt´etelezz¨ uk, hogy a szuperszimmetria ´erv´enye eset´en a legk¨onnyebb szuperpartner alkotja a s¨ot´et anyagot, val´os´agos ´att¨or´est hozott ezen a ter¨ uleten a WMAP (Wilkinson Microwave Anisotropy Probe) mesters´eges hold vizsg´alata, amely ´ori´asi ter¨ uleteket t¨or¨olt (azaz nyilv´an´ıtott val´osz´ın˝ utlennek) az MSSM elm´eletileg lehets´eges param´eterter´eb˝ ol.
11.
Aj´ anlott irodalom
• Simonyi K´aroly: A fizika kult´ urt¨ ort´enete, Gondolat, Budapest, 1986; 5.5. fejezet. • Leon Lederman: Az isteni a-tom, avagy mi a k´erd´es, ha a v´ alasz a Vil´ agegyetem, Typotex, Budapest, 2008 (Ford´ıtotta: Vassy Zolt´an). ´ ´ am: K´ıs´erleti atomfizika, ELTE E¨otv¨os Kiad´o, Bu• Kiss Dezs˝ o, Horv´ath Akos, Kiss Ad´ dapest, 1998. 9
Ebb˝ ol a megfogalmaz´ asb´ ol az olvas´ o sz´ am´ ara nyilv´ anval´ ov´ a kell v´ alnia, hogy a szerz˝ o maga k´ıs´erleti kutat´ o
13
• Patk´os Andr´as, Pol´onyi J´anos: Sug´ arz´ as ´es r´eszecsk´ek, Typotex, Budapest, 2000.
14