Nadharia ya uga wa kwanta katika chanzo hiki haijawasilishwa kama fomula moja au mbinu moja ya ukokotoaji, bali kama mfumo unaoundwa na miundo mingi ya kihisabati inayohusiana. Maelezo yanaanza na kanuni ya tendo katika mekanika ya kawaida; yanaendelea kupitia mwendo wa Brown na mekanika ya kwanta hadi kwenye integrali za njia; yanafafanua mantiki ya kihisabati ya kikomo cha kawaida kwa kutumia mbinu za awamu tulivu na mteremko mkali zaidi; yanajenga ukokotoaji wa perturbation kwa kutumia teorema ya Wick na michoro ya Feynman; yanaunganisha michoro na topolojia ya nyuso kwa kutumia integrali za matriki; kisha yanafikia mkabala wa waendeshaji, fermioni, aksioma za Wightman, renormalization na nadharia ya uga konformali ya vipimo viwili.

Wazo kuu la kufundishia la chanzo hiki ni hili: semi rasmi za nadharia ya uga wa kwanta zinazotumiwa na wanafizikia zinaweza kufasiriwa kwa namna inayodhibitiwa katika viwango tofauti vya kihisabati. Hata hivyo, haipaswi kudhaniwa kwamba kila integrali rasmi ya njia imefafanuliwa kihisabati kwa maana ya jumla na kamili. Mwandishi anasisitiza hasa kwamba integrali za njia za kwanta zenye vipimo visivyo na kikomo zina matatizo makubwa ya kihisabati katika hali ya jumla, na katika sehemu muhimu ya maandishi anazishughulikia kupitia upanuzi wa perturbation, nadharia ya waendeshaji au miundo ya Euclidean iliyofafanuliwa vizuri.

Kwa hiyo, badala ya kugundua chembe mpya, jaribio jipya au thabiti mpya ya fizikia, kazi hii inaonyesha jinsi lugha ya kihisabati ya nadharia ya uga wa kwanta inavyojengwa na jinsi dhana mbalimbali kutoka uchanganuzi wa kawaida hadi nadharia ya kisasa ya uga zinavyounganishwa.

Kanuni ya tendo la kawaida ndiyo sehemu ya kuanzia

Chanzo kinaanza na mekanika ya kawaida. Mwendo wa chembe hauonyeshwi kwa milinganyo ya Newton pekee, bali pia kama nukta tulivu ya funksionali ya tendo. Kwa chembe yenye uzito wa kipimo kimoja, Lagrangian ni

\[ L(q)=\frac{\dot q^{\,2}}{2}-U(q) \]

na tendo ni

\[ S(q)=\int_a^b L(q)\,dt \]

. Mlinganyo wa mwendo ni mlinganyo wa Euler–Lagrange unaopatikana wakati variation ya \(S\) ni sifuri huku ncha zikiwa zimewekwa thabiti. Mwanzo huu ni muhimu; kwa sababu wazo hilo hilo la tendo hujitokeza tena baadaye katika nadharia ya uga ya kawaida, mekanika ya kwanta na nadharia ya uga wa kwanta katika maumbo tofauti ya kihisabati.

Katika nadharia ya uga ya kawaida, badala ya koordinati moja \(q(t)\), kuna uga \(\phi(x,t)\) unaotegemea nafasi na wakati. Sasa tendo linafafanuliwa kwa kuchukua integrali juu ya eneo la nafasi-wakati:

\[ S(\phi)=\int_D L(\phi)\,dx\,dt. \]

Hivyo, kuna mpito kutoka mekanika yenye idadi yenye kikomo ya viwango vya uhuru kwenda nadharia ya uga yenye idadi isiyo na kikomo ya viwango vya uhuru.

Nadharia ya Uga wa Kwanta Hujengwaje Kihisabati?

Katika chanzo hiki, nadharia ya uga wa kwanta haijengwi kwa ufafanuzi mmoja wa kihisabati unaotumika kote; badala yake, integrali rasmi za njia zinazoanzia kwenye tendo na funksia za korelesheni hupewa maana kwa namna inayodhibitiwa kwa kutumia zana mbalimbali kama uchanganuzi wa asimptoti, ukokotoaji wa Feynman, nadharia ya waendeshaji na aksioma za Wightman.

Kutoka mwendo wa Brown hadi integrali ya njia ya kwanta

Etingof kwanza anachunguza mwendo wa Brown ili kutoa utangulizi wenye kueleweka zaidi kuhusu wazo la ujumuishaji katika vipimo visivyo na kikomo. Katika mwendo wa Brown, uzito wa njia, kwa kutumia tendo lenye ishara ya Euclidean, ni takribani

\[ e^{-S_E(q)/\kappa} \]

. Hapa \(\kappa>0\) ni mgawo wa usambaaji. Njia zenye tendo kubwa hukandamizwa kwa namna ya eksponenti; katika kikomo cha \(\kappa\) ndogo, njia ya kawaida yenye tendo la chini zaidi hutawala.

Katika mekanika ya kwanta, uzito si eksponenti halisi inayopungua:

\[ e^{iS(q)/\hbar}. \]

Kwa hiyo, michango katika integrali ya njia haiunganishwi kwa kupungua tu kwa uzito wa uwezekano, bali kwa awamu changamani kuimarishana au kuzimiana. Mwingiliano wa kwanta ni dhihirisho la kifizikia la tofauti hii ya kihisabati.

Chanzo kinaonyesha funksia za korelesheni za mekanika ya kwanta kwa namna rasmi kama

\[ \left\langle q_{j_1}(t_1)\cdots q_{j_n}(t_n) \right\rangle = \int q_{j_1}(t_1)\cdots q_{j_n}(t_n) e^{iS(q)/\hbar}\,Dq \]

. Wakati wa kuhamia kwenye nadharia ya uga, mantiki hiyo hiyo huchukua umbo la

\[ \left\langle \phi_{j_1}(x_1,t_1)\cdots \phi_{j_n}(x_n,t_n) \right\rangle = \int \phi_{j_1}(x_1,t_1)\cdots \phi_{j_n}(x_n,t_n) e^{iS(\phi)/\hbar}\,D\phi \]

.

Hata hivyo, kuna mpaka muhimu wa kisayansi hapa: alama \(Dq\) au \(D\phi\) hazipaswi kufikiriwa kama integrali za kawaida za Lebesgue zenye vipimo vyenye kikomo. Chanzo kinaeleza wazi kwamba katika nadharia ya jumla ya uga wa kwanta, vipimo hivyo vya thamani changamani vyenye vipimo visivyo na kikomo havijafafanuliwa kikamilifu. Mojawapo ya mikakati muhimu katika maandishi ni kuvipa maana kama misururu ya nguvu za \(\hbar\) na upanuzi wa perturbation.

Kwa nini mteremko mkali zaidi na awamu tulivu hutumika?

Sura ya pili inachunguza integrali zenye vipimo vyenye kikomo ili kueleza kwa nini integrali za njia zinaweza kuhusishwa na kikomo cha kawaida. Integrali za aina ya

\[ \int g(x)e^{-f(x)/\kappa}\,dx \]

zenye eksponenti halisi, kwa \(\kappa\) ndogo, hujikita kwenye minima za \(f\); huku integrali zinazotetemeka za aina ya

\[ \int g(x)e^{if(x)/\hbar}\,dx \]

kwa \(\hbar\) ndogo hujikita kwenye nukta muhimu za \(f\). Utaratibu wa pili ni kanuni ya awamu tulivu.

Matokeo haya yanatoa kiini cha kihisabati cha jinsi mekanika ya kawaida inavyotokana na nadharia ya kwanta katika kikomo cha \(\hbar\to0\): trajektori za kawaida ni nukta muhimu za tendo, na awamu za kwanta zinazotetemeka kwa kasi huunganisha michango iliyo mbali na nukta hizo muhimu kwa namna ambayo kwa kiasi kikubwa hujifuta.

Katika mfumo huu, chanzo kinaendeleza kwa undani integrali za Gauss, awamu tulivu ya vipimo vingi, lemma ya Morse na ujumlishaji wa Borel wa baadhi ya misururu ya asimptoti inayotengana.

Michoro ya Feynman Hukokotoa Nini Kihisabati?

Katika chanzo hiki, michoro ya Feynman haitumiki kama picha ndogo za chembe katika nafasi-wakati halisi, bali kama grafu za kombinatoriki zinazoweka kwa utaratibu misimbo ya vipengele vya upanuzi wa perturbation vinavyotokana na integrali za Gauss na uoanishaji wa Wick; kingo hubeba propagator, vilele vya ndani hubeba tensor za mwingiliano, na ulinganifu wa michoro hubeba vigawo husika vya kombinatoriki.

Kutoka teorema ya Wick hadi ukokotoaji wa Feynman

Momenti za daraja la juu katika usambazaji wa Gauss zinaweza kupunguzwa kuwa jumla ya uoanishaji wa jozi kwa kutumia teorema ya Wick. Kwa mfano, michango ya momenti yenye vigeu vinne huwakilishwa na uoanishaji unaowezekana wa jozi za vipengele vinne. Ukokotoaji wa Feynman katika chanzo hupanua muundo huu wa msingi wa kombinatoriki hadi mwingiliano wa jumla zaidi.

Muundo wa teorema ya Feynman katika maandishi ni kama ifuatavyo:

\[ \langle \ell_1\cdots\ell_N\rangle = \frac{(2\pi)^{d/2}}{\sqrt{\det B}} \sum_{\Gamma\in G_{\geq3}(N)} \frac{\hbar^{b(\Gamma)}}{|\operatorname{Aut}(\Gamma)|} F_\Gamma . \]

Hapa \(\Gamma\) inawakilisha grafu ya Feynman, \(\operatorname{Aut}(\Gamma)\) kikundi cha automorphism cha grafu, \(F_\Gamma\) mchango wa kitensor unaolingana na grafu, na

\[ b(\Gamma) = \#(\text{kenar}) - \#(\text{iç köşe}) \]

inawakilisha kiasi kinachojitokeza katika kuhesabu nguvu.

Jambo muhimu kuhusu fomula hii ni kwamba hubadilisha tatizo la integrali ya kiuchanganuzi kuwa tatizo la kuhesabu grafu na kuipa kila grafu uzito wa kihisabati.

Michoro iliyounganishwa, upanuzi wa loop na tendo fanisi

Chanzo hakikomei katika kujumlisha michoro yote ya Feynman. Katika Sura 3, mgawanyo muhimu wa aina tatu unafanywa:

• Michoro iliyounganishwa: Logarithmu ya funksia ya ugawaji inahusishwa na jumla ya grafu zilizounganishwa.
• Upanuzi wa loop: Nguvu za \(\hbar\) zinahusishwa na idadi ya vitanzi katika michoro. Kiwango cha mti kinawakilisha mchango wa kawaida, na viwango vinavyofuata vinawakilisha masahihisho ya kwanta.
• Michoro ya 1PI: Grafu za one-particle-irreducible ambazo hazigawanyiki wakati ukingo mmoja wa ndani unapokatwa huunda vipengele vya msingi vya tendo fanisi.

Katika notation ya chanzo, mchango wa kiwango cha mti karibu na nukta muhimu inayofaa \(x_0\) unahusishwa na

\[ \left(\log\frac{Z}{Z_0}\right)_0=-S(x_0) \]

na mchango wa one-loop unahusishwa na

\[ \left(\log\frac{Z}{Z_0}\right)_1 = \frac{1}{2} \log \frac{\det B}{\det S''(x_0)} \]

. Hivyo, ukokotoaji wa awamu tulivu, muundo wa loop wa grafu za Feynman na suluhisho la kawaida huwa sehemu za taswira moja ya kihisabati.

Miti haitoi fizikia pekee, bali pia kombinatoriki

Ukokotoaji wa Feynman baadaye unatumiwa katika matatizo safi ya kombinatoriki. Mojawapo ni teorema ya Cayley: idadi ya miti yenye vilele \(n\) vilivyowekewa lebo ni

\[ n^{\,n-2} \]

.

Chanzo pia kinafikia teorema ya matriki-mti inayohusisha thamani eigen za Laplacian ya grafu na idadi ya spanning tree. Hivyo inaonyeshwa jinsi ukokotoaji wa grafu uliotengenezwa kwa ajili ya nadharia ya kwanta unavyorudi kwenye kombinatoriki ya kawaida.

Integrali za matriki hubadilisha grafu za Feynman kuwa nyuso

Katika sura ya nne, matriki zinapoanza kuunganishwa badala ya vigeu vya kawaida vya vekta, muundo wa grafu za Feynman unakuwa tajiri zaidi. Katika integrali za matriki za Hermitian, mpangilio wa mzunguko katika vilele unakuwa muhimu na grafu za kawaida hubadilika kuwa grafu zilizonenepeshwa zinazoitwa fat graph au ribbon graph.

Fat graph inapoongezewa unene hutoa uso wa vipimo viwili. Kwa hiyo, si miunganisho ya kombinatoriki ya mchoro wa Feynman pekee, bali pia genus ya uso huanza kuwa na nafasi katika ukokotoaji.

Katika upimaji unaofaa wa \(N\)-kubwa, chanzo hupanga upanuzi wa michoro ya matriki iliyounganishwa kwa namna ya kimuundo kama

\[ \frac{\log \widehat Z_N}{N^2} = \sum_{g\geq0} a_g N^{-2g} \]

. Hapa \(g\) ni genus ya uso. Katika kikomo cha \(N\to\infty\), michango yenye nguvu zaidi hutoka kwa \(g=0\), yaani planar fat graph zinazoweza kuchorwa kwenye tufe. Nyuso zenye genus kubwa zaidi hukandamizwa kwa nguvu za ziada za \(N^{-2g}\).

Uhusiano huu unaeleza kwa nini michoro ya nadharia ya uga wa kwanta na uainishaji wa kitopolojia wa nyuso vinaweza kukutana katika ukokotoaji mmoja wa kihisabati.

Sheria ya nusu-duara ya Wigner pia hujitokeza katika sura hiyo hiyo

Matriki kubwa za Hermitian zenye usambazaji wa Gauss zinapochunguzwa, usambazaji wa thamani eigen hukaribia sheria ya nusu-duara ya Wigner baada ya upimaji unaofaa wa \(\sqrt{N}\). Katika chanzo, msongamano wa kikomo hupatikana kama

\[ \rho(x) = \frac{1}{2\pi}\sqrt{4-x^2}, \qquad |x|\leq2 \]

. Hivyo, grafu za Feynman, integrali za matriki, kuhesabu michoro planar na takwimu za thamani eigen za matriki nasibu huwa nyuso tofauti za mfumo mmoja wa kihisabati.

Kutoka integrali za matriki hadi nafasi ya moduli

Sura ya tano inajenga uhusiano usiotarajiwa zaidi. Mifumo ya tao kwenye nyuso, mapping class group na nafasi za moduli za mikunjo huchunguzwa kwa migawanyo ya seli ya kombinatoriki. Chanzo hutumia hesabu za polygon gluing zinazotokana na integrali za matriki ili kukokotoa tabia za Euler za miundo hii.

Mojawapo ya matokeo ya msingi yanayofikiwa katika maandishi ni fomula ya Harer–Zagier:

\[ \chi(\Gamma_g^1) = -\frac{B_{2g}}{2g}, \]

ambapo \(B_{2g}\) inawakilisha nambari ya Bernoulli na \(\Gamma_g^1\) inawakilisha mapping class group ya uso wa genus-\(g\) wenye nukta moja iliyowekewa alama.

Sura hii ni mojawapo ya mifano iliyo wazi ya jinsi mbinu za integrali za matriki zilizotengenezwa kwa ajili ya fizikia zinavyoweza kuwa zana zenye nguvu za kuhesabu katika matatizo safi ya jiometri na topolojia.

Kurudi kwenye mekanika ya kwanta: mzunguko wa Wick

Baada ya chanzo kuendeleza mifano yenye vipimo vyenye kikomo na ukokotoaji wa grafu katika sura sita za kwanza, katika sura ya saba kinaingia kwenye mekanika halisi ya kwanta. Ubadilishaji kati ya semi ya kwanta inayotetemeka katika wakati wa Minkowski na wakati wa Euclidean ni jambo la msingi hapa.

Mzunguko wa Wick hutumia takribani ubadilishaji

\[ t\mapsto it \]

. Ubadilishaji huu ni mojawapo ya zana kuu za kuunganisha amplitudo za kwanta zinazotetemeka na integrali za uwezekano/Euclidean.

Kwa Nini Mzunguko wa Wick ni Muhimu katika Nadharia ya Kwanta?

Mzunguko wa Wick unaunganisha semi za kwanta zinazotetemeka katika wakati wa Minkowski na integrali za eksponenti za wakati wa Euclidean zenye tabia nzuri zaidi; katika chanzo, uhusiano huu una nafasi ya msingi katika udhibiti wa kihisabati wa integrali za njia na katika fomula ya Feynman–Kac inayounganisha funksia za korelesheni za Hamiltonian na Euclidean.

Fomula ya Feynman–Kac inaunganisha mikabala miwili

Sura ya nane inajenga upya mekanika ya kwanta kupitia nafasi za Hilbert na waendeshaji Hamiltonian wanaojihusisha wenyewe. Mkabala huu, tofauti na integrali rasmi ya njia, unaipa mekanika ya kwanta msingi mahususi wa waendeshaji.

Matokeo ya Feynman–Kac katika chanzo yanaonyesha, chini ya mpangilio unaofaa wa wakati, uhusiano wa funksia ya korelesheni ya Hamiltonian na funksia ya korelesheni ya Euclidean kupitia mzunguko wa Wick kama

\[ G_n^{\mathrm{Ham}} (-it_1,\ldots,-it_n) = G_n^E(t_1,\ldots,t_n) \]

. Hivyo, lugha ya integrali ya njia na lugha ya waendeshaji hazibaki kama mifumo miwili huru kabisa.

Tatizo la infrared katika hali isiyo na massa

Chanzo kinaonyesha kwamba katika nadharia huru isiyo na massa ya kipimo kimoja, propagator ina umbo la

\[ G(t) = -\frac{1}{2}|t|+C \]

. Funksia hii haielekei sifuri katika umbali mkubwa. Kwa hiyo, sifa ya clustering inashindwa kutimia na, wakati wa kuhamia kwenye nadharia yenye mwingiliano, kutengana kwa infrared kunaweza kutokea katika integrali za Feynman.

Mfano huu unaonyesha kwamba hata kabla ya kufikia mjadala wa renormalization, matatizo katika nadharia ya uga wa kwanta hayatokani tu na tabia ya nishati ya juu au umbali mfupi.

Kwa nini fermioni zinahitaji hisabati tofauti?

Katika sura ya tisa na ya kumi, vigeu vya fermioni vinapochukua nafasi ya vigeu vya bosoni, aljebra ya kawaida ya kubadilishana haitoshi. Kwa hiyo, chanzo kinaendeleza nafasi za supervector, supermanifold, vigeu vya Grassmann, ujumuishaji wa Berezin na muundo wa superdeterminant unaoitwa Berezinian.

Integrali za Gauss za fermioni na fomula ya Wick pia zina kanuni za alama zinazotofautiana na hali ya bosoni. Hivyo, mekanika ya kwanta ya fermioni haijengwi kwa kubadilisha tu alama katika fomula zilizopo za bosoni, bali kwa kutumia muundo unaofaa wa kialjebra wenye daraja la \(\mathbb{Z}_2\).

Mkabala wa Wightman unafafanua uga wa kwanta katika kiwango cha waendeshaji

Katika sura ya kumi na moja, chanzo kinaendelea hadi nadharia huru za uga wa kwanta zenye vipimo vya juu. Hapa nyuga hazichukuliwi kama funksia za kawaida, bali kama usambazaji wenye thamani za waendeshaji.

Katika mkabala wa Wightman, sifa za msingi za funksia za korelesheni zinajumuisha ukovarienti wa Poincaré, kuwepo kwa spektra ya nishati-momentum katika eneo chanya linalofaa, masharti ya uhalisi, ujanibishaji katika nukta zilizotenganishwa kwa nafasi na uchanya wa nafasi ya Hilbert.

Chanzo kinaeleza matokeo ya ujenzi upya yanayosema kwamba nadharia ya uga wa kwanta inaweza kujengwa upya kutokana na funksia za Wightman zinazokidhi sifa hizi.

Katika mfano wa uga huru wa skala, Fourier transform ya funksia ya nukta mbili hujikita kwenye ganda la massa la nishati chanya na nafasi ya Hilbert ya chembe moja hujengwa ipasavyo. Mkabala huu unaonyesha njia ya kufafanua uga wa kwanta kwa msingi wa nadharia ya waendeshaji bila kutegemea integrali rasmi ya njia.

Kwa nini kuzidisha nyuga katika nukta ileile kuna tatizo?

Kwa sababu nyuga za kwanta ni usambazaji, bidhaa katika nukta ileile kama \(\phi(x)^2\) haziwezi kufafanuliwa kiotomatiki kama kuzidisha funksia za kawaida. Funksia ya korelesheni ya nukta mbili inaweza kuwa singula kadiri nukta zinavyokaribiana.

Chanzo kinashughulikia tatizo hili kupitia normal ordering na waendeshaji ambatani. Mada hii ni muhimu baadaye katika kuelewa kwa nini renormalization si ujanja wa kiufundi wa ukokotoaji tu, bali inahusiana moja kwa moja na kufafanua bidhaa za ndani za nyuga za kwanta.

Uwezo wa Renormalization Unaainishwaje katika Chanzo Hiki?

Chanzo kinaainisha uwezo wa renormalization wa perturbation kupitia daraja la kawaida la upimaji wa vipengele vya mwingiliano: vipengele vinavyoboresha daraja la kutengana kwa juu juu vinaainishwa kuwa super-renormalizable, vipengele muhimu visivyobadilisha daraja hilo vinaainishwa kuwa renormalizable, na vipengele vinavyozidisha daraja hilo hatua kwa hatua vinaainishwa kuwa non-renormalizable kwa maana ya kuhesabu nguvu.

Kutengana kwa ultraviolet na kuhesabu nguvu

Sura ya kumi na mbili imewekwa kwa nadharia ya uga wa kwanta yenye mwingiliano. Amplitudo za Feynman zinaweza kutengana katika eneo la momentum kubwa, na kutengana huku kwa ultraviolet kunadhibitiwa kwa ukomo wa momentum \(\Lambda\) na counterterms.

Chanzo kinafafanua daraja la kawaida kwa monomial tofauti \(\Phi\) kama

\[ D(\Phi) = \frac{d-2}{2}e(\Phi)-d+N_\Phi \]

. Hapa \(e(\Phi)\) inawakilisha idadi ya vigeu vya uga, \(N_\Phi\) idadi ya derivativi, na \(d\) notation ya kipimo cha nafasi-wakati kinachotumiwa katika sehemu husika.

Daraja la kutengana kwa juu juu la grafu ya Feynman linahusishwa na

\[ D(\Gamma) = d-\frac{k(d-2)}{2} + \sum_\Phi D(\Phi) \]

; \(k\) inahusiana na idadi ya kingo za nje.

Kwa mfano, kwa kipengele cha kinetiki \((d\phi)^2\), \(D=0\), na kwa kipengele cha massa \(\phi^2\), \(D=-2\). Kwa mwingiliano wa kikubiki \(\phi^3\),

\[ D(\phi^3)=\frac{d}{2}-3 \]

hivyo kipimo muhimu ni \(d=6\). Vivyo hivyo, mwingiliano wa \(\phi^4\) huwa muhimu katika vipimo vinne.

Chanzo pia kinaeleza kwamba kwa mtazamo wa kuhesabu nguvu, nadharia ya Yang–Mills ni muhimu katika vipimo vinne, modeli ya sigma isiyo ya mstari inaweza kufanyiwa renormalization katika vipimo viwili kwa metriki ya jumla, na muundo wa upimaji wa Lagrangian wa uhusiano wa jumla unaonyesha tabia ya kutoweza kufanyiwa renormalization kwa kuhesabu nguvu katika vipimo vingine isipokuwa viwili. Kauli hii ya mwisho haipaswi kupanuliwa kuwa “graviti ya kwanta haiwezekani”; chanzo kinajadili hapa kigezo maalumu cha kuhesabu nguvu katika perturbation.

Mpito kwenda nadharia ya uga konformali ya vipimo viwili

Sura ya mwisho inatoa utangulizi wa nadharia ya uga konformali ya vipimo viwili. Uga huru wa skala usio na massa hukwantishwa kwa kutumia uwakilishi wa Fock wa aljebra ya Heisenberg yenye vipimo visivyo na kikomo. Funksia ya ugawaji hunormalishwa kwa udhibiti wa funksia ya zeta na invariance yake chini ya mabadiliko ya modular kwenye torus huchunguzwa.

Katika nadharia huru, funksia ya korelesheni ya chiral ya nukta mbili ni

\[ \langle\Omega,a(z)a(w)\Omega\rangle = \frac{1}{(z-w)^2} \]

. Funksia za korelesheni za juu zenye idadi shufwa hupatikana kwa fomula ya Wick; zenye idadi witiri ni sifuri.

Kwa Nini Aljebra ya Virasoro Hujitokeza katika Ulinganifu Konformali?

Katika nadharia huru konformali ya vipimo viwili, ulinganifu konformali wa kawaida wenye vipimo visivyo na kikomo unafafanuliwa na aljebra ya Witt, ilhali tendo la ulinganifu katika nafasi ya Hilbert ya kwanta kwa ujumla hutekelezwa kwa namna ya kiprojektivu pekee; matokeo yake ni kujitokeza kwa aljebra ya Virasoro, ambayo ni upanuzi wa kati wa aljebra ya Witt, na chanzo kinaeleza hali hii kama usemi wa kihisabati wa anomali konformali.

Kwa aljebra ya Witt, chanzo kinatumia

\[ L_n=-z^{n+1}\partial_z \]

kama msingi na

\[ [L_n,L_m] = (n-m)L_{n+m} \]

kama uhusiano wa komutesheni. Wakati ulinganifu huu katika nadharia ya kwanta unatoa uwakilishi wa kiprojektivu badala ya uwakilishi halisi wa mstari, upanuzi wa kati unahitajika. Aljebra ya Virasoro ndiyo upanuzi huo.

Kisha chanzo kinakamilisha uhusiano kati ya nadharia ya uga wa kwanta, nadharia ya uwakilishi na uchanganuzi changamani kwa kuchunguza waendeshaji vertex, braided locality, nadharia ya skala yenye thamani kwenye duara, T-duality na fermioni huru zisizo na massa.

Mbinu na Matokeo ya Utafiti

Kwa kuwa chanzo hiki si utafiti wa majaribio, dhana ya “mbinu na matokeo” haipaswi kutumiwa kwa maana ileile kama katika makala ya kawaida ya maabara. Mbinu ya Etingof ni kufafanua miundo ya kihisabati, kuthibitisha teorema au kutoa mifupa ya uthibitisho, kueleza fomula za fizikia kupitia modeli zenye vipimo vyenye kikomo, na kutumia tena zana hizo hizo katika maeneo tofauti ya hisabati.

Mbinu ya maendeleo ya kihisabati ya chanzo

Matokeo makuu ya kihisabati yanayoonyeshwa na chanzo

• Inaonyeshwa kwamba kanuni ya tendo la kawaida ina msingi wa pamoja wa kihisabati na uzito wa njia za Euclidean katika mwendo wa Brown pamoja na integrali za njia zinazotetemeka katika mekanika ya kwanta.
• Mbinu za mteremko mkali zaidi na awamu tulivu zinaeleza kwa nini nukta muhimu za kawaida hutawala katika vikomo vya \(\kappa\) ndogo au \(\hbar\) ndogo.
• Teorema ya Wick hubadilisha ukokotoaji wa perturbation wa Gauss kuwa uoanishaji wa grafu na kutoa muundo wa kombinatoriki wa michoro ya Feynman.
• Grafu zilizounganishwa, upanuzi wa loop na grafu za 1PI zinahusishwa mtawalia na \(\log Z\), masahihisho ya kwanta na tendo fanisi.
• Katika integrali za matriki, grafu za Feynman hubadilika kuwa fat graph na upanuzi wa \(N\)-kubwa hupangwa kwa genus ya uso.
• Michoro planar ya matriki inahusishwa na sheria ya nusu-duara ya Wigner na hesabu mbalimbali za uso/gluing.
• Mbinu za integrali za matriki hutumika kukokotoa tabia ya Euler ya mapping class group na nafasi za moduli.
• Mekanika ya kwanta ya Hamiltonian inaunganishwa na mkabala wa integrali ya njia ya Euclidean kupitia uhusiano wa Feynman–Kac.
• Kwa nadharia za fermioni, ujumuishaji wa Berezin na supergeometry huendelezwa kama lugha muhimu ya kihisabati.
• Aksioma za Wightman hutoa njia mbadala ya kujenga nadharia huru za uga wa kwanta kupitia usambazaji wenye thamani za waendeshaji na nafasi chanya ya Hilbert.
• Kuhesabu nguvu huruhusu mwingiliano kuainishwa kuwa super-renormalizable, renormalizable au non-renormalizable.
• Katika nadharia konformali ya vipimo viwili, utekelezaji wa kiprojektivu wa ulinganifu wa kawaida wa Witt katika kiwango cha kwanta unahusishwa na aljebra ya Virasoro na anomali konformali.

Tafsiri inayoungwa mkono na chanzo

Kazi hii inaonyesha kwa nguvu kwamba sehemu kubwa ya miundo ya kihisabati ya nadharia ya uga wa kwanta si mbinu zinazojitegemea, bali ni uwakilishi tofauti wa tatizo lilelile la msingi. Funksionali ya tendo, uchanganuzi wa asimptoti, kombinatoriki ya grafu, topolojia, nadharia ya waendeshaji na nadharia ya uwakilishi zinaunganishwa mara kwa mara katika sura tofauti.

Tafsiri isiyoungwa mkono na chanzo

• Haionyeshi kwamba ujenzi kamili na timilifu wa kihisabati wa nadharia za jumla za uga wa kwanta zenye mwingiliano katika vipimo vyote umekwisha kutatuliwa.
• Haidai kwamba kipimo rasmi cha integrali ya njia \(D\phi\) kipo kwa uthabiti wa kihisabati katika hali ya jumla.
• Haiwasilishi matokeo mapya ya majaribio ya fizikia ya chembe au kipimo kipya.
• Haisemi kwamba nadharia inayopatikana kuwa “non-renormalizable” katika kuhesabu nguvu kwa perturbation haiwezi kuwa na nadharia fanisi yenye maana au ufafanuzi mwingine wa kwanta.
• Maelezo ya mihadhara, kwa mujibu wa kauli ya mwandishi mwenyewe, hayakuundwa kuchukua nafasi ya kitabu cha kawaida na cha kina cha QFT ya fizikia.
• Matokeo ya kawaida kama modeli za matriki, matokeo ya Harer–Zagier, sheria ya Wigner, fomula ya Feynman–Kac au mkabala wa Wightman hayapaswi kuwasilishwa kama matokeo mapya yaliyogunduliwa kwa mara ya kwanza na Etingof katika kazi hii; chanzo kinayaunganisha na kuyatoa ndani ya mfumo wa kihisabati wa kufundishia.

Maelezo ya Chanzo na Mbinu

Kichwa kamili asili: MATHEMATICAL IDEAS AND NOTIONS OF QUANTUM FIELD THEORY

Mwandishi: Pavel Etingof.

Chanzo: arXiv:2409.03117v1 [math-ph], 4 Septemba 2024.

DOI: 10.48550/arXiv.2409.03117.

Aina ya chanzo: Maelezo yaliyopanuliwa ya mihadhara ya uzamili / rasimu ya monografia ya nadharia ya kihisabati ya uga wa kwanta.

Muktadha wa taasisi: Maandishi yamepanuliwa kutoka mihadhara iliyotolewa na mwandishi katika MIT Mathematics Department katika miaka ya 2002 na 2023.

Mapitio ya kitaalamu: Chanzo kilichopakiwa ni toleo la arXiv; si makala ya utafiti ya jarida iliyopitiwa na wataalamu wenza.

Hali ya sasa ya bibliografia: Hati iliyopakiwa ni toleo la v1. Katika uthibitishaji wa bibliografia, inaonekana kwamba rekodi ya arXiv ilisasishwa kuwa v2 tarehe 28 Agosti 2026 na toleo la baadaye zaidi limehusishwa na mradi wa kitabu wa American Mathematical Society. Maelezo ya kisayansi katika makala hii ya Verianla hayajaongezwa kutoka v2 na yamehifadhiwa kwa uaminifu kwa toleo la v1 lililopakiwa.

Ufadhili: Chanzo kinaripoti kwamba kazi ilifadhiliwa kwa sehemu kwa msaada wa NSF DMS-2001318.

Leseni na matumizi ya figura: Leseni ya kawaida ya usambazaji isiyo ya kipekee ya arXiv inatumika. Kwa hiyo, mchoro katika makala hii si nakala ya moja kwa moja ya figura za chanzo, bali ni ujenzi upya wa asili kwa Verianla wa mahusiano ya kisayansi yaliyowekwa wazi katika chanzo.

Kikomo cha kimetodolojia: Ingawa chanzo kina wigo mpana, hakijaribu kutatua matatizo yote ya kiuchanganuzi ya nadharia ya jumla ya uga wa kwanta. Baadhi ya miundo ya integrali ya njia hutumiwa kwa maana ya perturbation/asimptoti; baadhi ya uthibitisho wa hali ya juu zaidi wa kiuchanganuzi huachwa nje ya wigo na maelezo mengi muhimu yamesambazwa katika mazoezi.

Tathmini ya Verianla Live: Inafaa kwa sehemu. Kwa kuwa hakuna msururu wa wakati wa majaribio au data ya fizikia ya wakati halisi, safu ya Live Figure haipaswi kutumiwa kama uhuishaji wa data; badala yake, inapaswa kutumiwa kuonyesha kwa namna ya kufundishia awamu tulivu, upanuzi wa loop, mpangilio wa genus wa \(N\)-kubwa, mzunguko wa Wick au mpito wa dhana wa kawaida–kwanta–nadharia ya uga.