تمثيل الحلقات في نظريات القياس والجاذبية الكمومية

بُذلت محاولات لوصف نظريات القياس باستخدام كائنات موسعة مثل حلقات ويلسون والهولونوميات . يُمثل تمثيل الحلقة تمثيلاً هاميلتونيًا كميًا لنظريات القياس باستخدام الحلقات. يهدف تمثيل الحلقة في سياق نظريات يانغ-ميلز إلى تجنب التكرار الناتج عن تناظرات قياس غاوس ، مما يسمح بالعمل مباشرةً في فضاء الحالات الفيزيائية (الحالات الثابتة وفقًا لقياس غاوس). هذه الفكرة معروفة جيدًا في سياق نظرية يانغ-ميلز الشبكية (انظر نظرية القياس الشبكية ). حاول غامبيني وترياس استكشاف تمثيل الحلقة المستمر لنظرية يانغ-ميلز الكلاسيكية، إلا أنهما واجها صعوبات نظرًا لتمثيلهما كائنات شاذة. وكما سنرى، يتجاوز شكل الحلقة مجرد وصف بسيط للحالات الثابتة وفقًا لقياس غاوس، فهو في الواقع الإطار الهندسي الطبيعي لمعالجة نظريات القياس والجاذبية الكمية من حيث إثاراتها الفيزيائية الأساسية.

أدى إدخال أشتيكار لمجموعة جديدة من المتغيرات ( متغيرات أشتيكار ) إلى صياغة النسبية العامة بلغة مشتركة مع نظريات القياس، وسمح بتطبيق تقنيات الحلقات كوصف طبيعي غير اضطرابي لنظرية أينشتاين. في الجاذبية الكمومية الكلاسيكية، تُعالج صعوبات استخدام تمثيل الحلقة المستمر بفضل ثبات التماثل المكاني للنسبية العامة . كما يوفر تمثيل الحلقة حلاً طبيعياً لقيد التماثل المكاني، مما يربط بين الجاذبية الكمومية الكلاسيكية ونظرية العقد . والمثير للدهشة أنه وُجدت فئة من حالات الحلقة التي قدمت حلولاً دقيقة (وإن كانت شكلية فقط) لمعادلة ويلر-ديويت الأصلية (غير المحددة جيداً) لأشتيكار . [ 1 ] وبالتالي، تم تحديد مجموعة لانهائية من الحلول الدقيقة (وإن كانت شكلية فقط) لجميع معادلات الجاذبية الكمومية العامة الكلاسيكية في هذا التمثيل! وقد أثار هذا اهتماماً كبيراً بهذا النهج، وأدى في النهاية إلى ظهور الجاذبية الكمومية الحلقية (LQG).

وجدت تمثيلات الحلقات تطبيقات في الرياضيات. فإذا صيغت نظريات الحقول الكمومية الطوبولوجية بدلالة الحلقات، فإن الكميات الناتجة تُعرف باسم ثوابت العقد . تتضمن نظريات الحقول الطوبولوجية عددًا محدودًا من درجات الحرية، ولذا فهي قابلة للحل بدقة. ونتيجة لذلك، فإنها توفر تعابير حسابية ملموسة تُعد ثوابت للعقد. كانت هذه هي الفكرة التي توصل إليها إدوارد ويتن [ 2 الذي لاحظ أنه بحساب الكميات المعتمدة على الحلقات في نظرية تشيرن-سيمونز وغيرها من نظريات الحقول الكمومية الطوبولوجية ثلاثية الأبعاد، يمكن التوصل إلى تعابير تحليلية صريحة لثوابت العقد. تقديراً لجهوده في هذا المجال، مُنح ميدالية فيلدز عام 1990. وهو أول فيزيائي، ولا يزال الوحيد حتى الآن، الذي حصل على ميدالية فيلدز، التي تُعتبر غالبًا أرفع وسام في الرياضيات.

ثبات القياس في نظرية ماكسويل

تم تقديم فكرة تناظرات القياس في نظرية ماكسويل. معادلات ماكسويل هي

هـ=ρϵ0×ب-ϵ0μ0هـت=μ0ج×هـ+بت=0ب=0{\displaystyle \nabla \cdot {\vec {E}}={\rho \over \epsilon _{0}}\qquad \nabla \times {\vec {B}}-\epsilon _{0}\mu _{0}{\partial {\vec {E}} \over \partial t}=\mu _{0}{\vec {J}}\qquad \nabla \times {\vec {E}}+{\جزئي {\vec {B}} \over \جزئي t}=0\qquad \nabla \cdot {\vec {B}}=0}

أينρ{\displaystyle \rho }هي كثافة الشحنة وج{\displaystyle {\vec {J}}}الكثافة الحالية . يمكن حل المعادلتين الأخيرتين بكتابة الحقول بدلالة جهد قياسي .ϕ{\displaystyle \phi }، وجهد متجهي،أ{\displaystyle {\vec {A}}}:

هـ=-ϕ-أتب=×أ{\displaystyle {\vec {E}}=-\nabla \phi -{\partial {\vec {A}} \over \partial t}\qquad {\vec {B}}=\nabla \times {\vec {A}}}.

تحدد الإمكانات الحقول بشكل فريد، لكن الحقول لا تحدد الإمكانات بشكل فريد - يمكننا إجراء التغييرات:

ϕ=ϕ+Λتأ=أ-Λ{\displaystyle \phi '=\phi +{\partial \Lambda \over \partial t}\qquad {\vec {A}}'={\vec {A}}-\nabla \Lambda }

دون التأثير على المجالات الكهربائية والمغناطيسية، حيثΛ(x،ت){\displaystyle \Lambda ({\vec {x}},t)}هي دالة اختيارية للزمكان. تُسمى هذه التحويلات بتحويلات القياس. وهناك تدوين نسبي أنيق: حقل القياس هو

أμ=(ϕ،أ){\displaystyle A^{\mu }=(\phi ,{\vec {A}})}

وتُقرأ تحويلات القياس المذكورة أعلاه كما يلي:

أμ=أμ+μΛ{\displaystyle {A^{\mu }}'=A^{\mu }+\partial ^{\mu }\Lambda }.

تم تقديم ما يسمى بموتر شدة المجال،

Fμν=μأν-νأμ{\displaystyle F^{\mu \nu }=\partial ^{\mu }A^{\nu }-\partial ^{\nu }A^{\mu }}

والتي يسهل إثبات ثباتها تحت تحويلات القياس. في المكونات،

F0أنا=هـأنا،ϵأناجكFجك=بأنا{\displaystyle F^{0i}=E^{i},\qquad \epsilon ^{ijk}F^{jk}=B^{i}}.

يُعطى فعل ماكسويل الخالي من المصادر بالصيغة التالية:

S=-12د4x(FμνFμν){\displaystyle S=-{1 \over 2}\int d^{4}x{\Big (}F_{\mu \nu }F^{\mu \nu }{\Big )}}.

القدرة على تغيير جهد القياس عند نقاط مختلفة في المكان والزمان (عن طريق تغييرΛ(x،ت){\displaystyle \Lambda ({\vec {x}},t)}يُطلق على عدم تغيير الفيزياء اسم الثبات المحلي. تمتلك النظرية الكهرومغناطيسية أبسط أنواع تناظر القياس المحلي.يو(1){\displaystyle U(1)}(انظر المجموعة الوحدوية ). تُسمى النظرية التي تُظهر ثباتًا محليًا للمقياس بنظرية المقياس. ولصياغة نظريات مقياس أخرى، نعكس المنطق السابق. وهذا هو موضوع القسم التالي.

نظريات الاتصال والقياس

العلاقة ونظرية ماكسويل

نعلم من ميكانيكا الكم أنه إذا استبدلنا الدالة الموجية،ψ(x){\displaystyle \psi (x)}، واصفاً مجال الإلكترون بواسطة

ψ(x)=خبرة(أناθ)ψ(x){\displaystyle \psi '(x)=\exp(i\theta )\psi (x)}

بحيث لا تتغير التنبؤات الفيزيائية. ندرس فرض الثبات الموضعي على طور مجال الإلكترون،

ψ(x)=Ωψ(x)=خبرة(أناθ(x))ψ(x){\displaystyle \psi '(x)=\Omega \psi (x)=\exp(i\theta (x))\psi (x)}

تكمن المشكلة في أن مشتقاتψ(x){\displaystyle \psi (x)}لا تتغاير هذه المتغيرات تحت هذا التحويل:

μ(خبرة(أناθ(x))ψ(x))=Ωμψ(x)+μΩψ(x){\displaystyle \partial _{\mu }(\exp(i\theta (x))\psi (x))=\Omega \partial _{\mu }\psi (x)+\partial _{\mu }\Omega \psi (x)}.

لإلغاء الحد الثاني غير المرغوب فيه، يتم إدخال عامل اشتقاق جديددμ{\displaystyle {\mathcal {D}}_{\mu }}هذا متغير مشترك. لإنشاءدμ{\displaystyle {\mathcal {D}}_{\mu }}، يقدم المرء مجالاً جديداً، وهو الاتصالأμ{\displaystyle A_{\mu }}:

دμ=μ+أنازأμ(x){\displaystyle {\mathcal {D}}_{\mu }=\partial _{\mu }+igA_{\mu }(x)}.

ثم

(دμψ)=μψ+أنازأμψ=Ωμψ+(Ω)ψ+أنازأμΩψ{\displaystyle ({\mathcal {D}}_{\mu }\psi )'=\partial _{\mu }\psi '+igA_{\mu }'\psi '=\Omega \partial _{\mu }\psi +(\partial \Omega )\psi +igA_{\mu }'\Omega \psi }

على المدىμΩ{\displaystyle \partial _{\mu }\Omega }يتم إلغاؤها بدقة من خلال اشتراط تحويلات حقل الاتصال كـ

أμ(x)=أμ(x)+أناز[μΩ(x)]Ω-1(x)هـq1.{\displaystyle A_{\mu }'(x)=A_{\mu }(x)+{i \over g}[\partial _{\mu }\Omega (x)]\Omega ^{-1}(x)\quad Eq1.}.

ثم لدينا ذلك

(دμψ)=Ωدμψ{\displaystyle ({\mathcal {D}}_{\mu }\psi )'=\Omega {\mathcal {D}}_{\mu }\psi }.

لاحظ أنهـq1{\displaystyle Eq1}يعادل

أμ(x)=أμ(x)+1زμθ(x){\displaystyle A_{\mu }'(x)=A_{\mu }(x)+{1 \over g}\partial _{\mu }\theta (x)}

وهو ما يبدو مماثلاً لتحويل قياس جهد القياس لنظرية ماكسويل. من الممكن بناء فعل ثابت لحقل الاتصال نفسه. نريد فعلًا له مشتقتان فقط (لأن الأفعال ذات المشتقات الأعلى ليست وحدوية). عرّف الكمية:

Fμν=-أناز[دμ،دμ]=-أناز[μ+أنازأμ(x)،ν+أنازأν(x)]{\displaystyle F_{\mu \nu }={-i \over g}[{\mathcal {D}}_{\mu },{\mathcal {D}}_{\mu }]={-i \over g}[\partial _{\mu }+igA_{\mu }(x),\partial _{\nu }+igA_{\nu }(x)]}

=-أناز([μ،ν]+أناز(μأν-νأμ)-ز2[أμ،أν]){\displaystyle ={-i \over g}{\Big (}[\partial _{\mu },\partial _{\nu }]+ig(\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu })-g^{2}[A_{\mu },A_{\nu }]{\Big )}}

=μأν-νأν{\displaystyle =\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\nu }}.

يُعطى الفعل الفريد الذي له مشتقان فقط بالصيغة التالية:

S=-12د4x(FμνFμν){\displaystyle S=-{\frac {1}{2}}\int d^{4}x{\Big (}F_{\mu \nu }F^{\mu \nu }{\Big )}}.

لذلك، يمكن للمرء أن يستنتج النظرية الكهرومغناطيسية من حجج تستند فقط إلى التناظر.

العلاقة ونظرية قياس يانغ-ميلز

نقوم الآن بتعميم الاستدلال السابق ليشمل مجموعات القياس العامة. يبدأ المرء بمولدات جبر لي معين :

[تيأنا،تيج]=أناوأناجكتيك{\displaystyle [T_{i},T_{j}]=if^{ijk}T^{k}}

ليكن هناك حقل فرميوني يتحول على النحو التالي

ΨΩ^(x)Ψ(x)=خبرة(أناθأنا(x)تيأنا)Ψ(x){\displaystyle \mathbf {\Psi } '\mapsto {\hat {\Omega }}(x)\mathbf {\Psi } (x)=\exp(i\theta ^{i}(x)T^{i})\mathbf {\Psi } (x)}

مرة أخرى مشتقاتΨ(x){\displaystyle \mathbf {\Psi } (x)}لا تكون هذه الدوال متغيرة تحت هذا التحويل. نقدم مشتقة متغيرة.

دμ=أناμ+أنازأμ(x){\displaystyle \mathbf {\mathcal {D}} _{\mu }=\mathbf {I} \partial _{\mu }+ig\mathbf {A} _{\mu }(x)}

مع حقل الاتصال المحدد بواسطة

أμ(x)=أμأنا(x)تيأنا{\displaystyle \mathbf {A} _{\mu }(x)=A_{\mu }^{i}(x)T^{i}}

نحن نشترط ذلكأμ(x){\displaystyle \mathbf {A} _{\mu }(x)}يتحول إلى:

أμ(x)=Ω^أμ(x)Ω^-1+أنازΩ^(μΩ^-1){\displaystyle \mathbf {A} _{\mu }'(x)={\hat {\Omega }}\mathbf {A} _{\mu }(x){\hat {\Omega }}^{-1}+{i \over g}{\hat {\Omega }}(\partial _{\mu }{\hat {\Omega }}^{-1})}.

نُعرّف مُؤثر شدة المجال

Fμν=-أناز[دμ،دν]=μأν-νأμ+أناز[أμ،أν]=(μأνأنا-νأμأنا+زوأناجكأμجأνك)تيأنا{\displaystyle \mathbf {F} _{\mu \nu }=-{i \over g}[\mathbf {\mathcal {D}} _{\mu },\mathbf {\mathcal {D}} _{\nu }]=\partial _{\mu }\mathbf {A} _{\nu }-\partial _{\nu }\mathbf {A} _{\mu }+ig[\mathbf {A} _{\mu },\mathbf {A} _{\nu }]=(\partial _{\mu }A_{\nu }^{i}-\partial _{\nu }A_{\mu }^{i}+gf^{ijk}A_{\mu }^{j}A_{\nu }^{k})T^{i}}.

مثلدμ{\displaystyle \mathbf {\mathcal {D}} _{\mu }}متغيرة مشتركة، وهذا يعني أنFμνأنا{\displaystyle F_{\mu \nu }^{i}}الموتر متغير أيضاً:

FμνFμν=Ω^FμνΩ^-1{\displaystyle \mathbf {F} _{\mu \nu }\mapsto \mathbf {F} _{\mu \nu }'={\hat {\Omega }}\mathbf {F} _{\mu \nu }{\hat {\Omega }}^{-1}}

لاحظ أنFμν{\displaystyle \mathbf {F} _{\mu \nu }}يكون ثابتًا فقط تحت تحويلات القياس إذاΩ^{\displaystyle {\hat {\Omega }}}هو كمية قياسية، أي فقط في حالة الكهرومغناطيسية.

يمكننا الآن بناء فعل ثابت من هذا الموتر. ومرة ​​أخرى، نريد فعلًا له مشتقتان فقط. أبسط خيار هو أثر المبدل:

Tr(Ω^FμνΩ^-1Ω^FμνΩ^-1)=Tr(FμνFμν){\displaystyle \operatorname {Tr} ({\hat {\Omega }}\mathbf {F} _{\mu \nu }{\hat {\Omega }}^{-1}{\hat {\Omega }}\mathbf {F} ^{\mu \nu }{\hat {\Omega }}^{-1})=\operatorname {Tr} (\mathbf {F} _{\mu \nu }\mathbf {F} ^{\mu \nu })}

يُعطى الفعل الفريد الذي له مشتقان فقط بالصيغة التالية:

S=-12د4xتير(FμνFμν)=-12د4xTr(FμνأناتيجFجμνتيج){\displaystyle S=-{1 \over 2}\int d^{4}xTr(\mathbf {F} _{\mu \nu }\mathbf {F} ^{\mu \nu })=-{1 \over 2}\int d^{4}x\operatorname {Tr} {\Big (}F_{\mu \nu }^{i}T^{j}F_{j}^{\mu \nu }T^{j}{\Big )}}

هذا هو الإجراء المتبع في نظرية يانغ ميلز.

تمثيل الحلقة لنظرية ماكسويل

ندرس تغييرًا في تمثيل نظرية ماكسويل الكمومية. وتتلخص الفكرة في إدخال أساس من الحالات المصنفة بواسطة حلقات.|γ{\displaystyle \mid \gamma \rangle }والذي يُعطى حاصل ضربه الداخلي مع حالات الاتصال بواسطة

أ|γ=دبليو(γ)=خبرة[أناهـγدyαأα(y)]{\displaystyle \langle A\mid \gamma \rangle =W(\gamma )=\exp \left[ie\int _{\gamma }dy^{\alpha }A_{\alpha }(y)\right]}

الحلقة الوظيفيةدبليو(γ){\displaystyle W(\gamma )}حلقة ويلسون هي حلقة التبديليو(1){\displaystyle U(1)}قضية.

تمثيل الحلقة لنظرية يانغ-ميلز

نعتبر، تبسيطاً للأمر (ولأننا سنرى لاحقاً أن هذه هي مجموعة القياس ذات الصلة في LQG)،Sيو(2){\displaystyle SU(2)}نظرية يانغ-ميلز في أربعة أبعاد. متغير المجال في النظرية المستمرة هوSيو(2){\displaystyle SU(2)}الاتصال (أو قياس الجهد)أμأنا(x){\displaystyle A_{\mu }^{i}(x)}، أينأنا{\displaystyle i}هو مؤشر في جبر لي لـSيو(2){\displaystyle SU(2)}يمكننا الكتابة في هذا المجال

أμ(x)=أμأنا(x)τأنا{\displaystyle \mathbf {A} _{\mu }(x)=A_{\mu }^{i}(x)\tau _{i}}

أينτأنا{\displaystyle \tau _{i}}هيsu(2){\displaystyle su(2)}المولدات، أي مصفوفات باولي مضروبة فيأنا/2{\displaystyle i/2}لاحظ أنه على عكس نظرية ماكسويل، فإن الروابطأμ(x){\displaystyle \mathbf {A} _{\mu }(x)}هي نظريات قياس غير تبديلية ذات قيم مصفوفية ولا تتبادل. يجب أن نأخذ هذا في الاعتبار عند تعريف النسخة المقابلة من الهولوونوميا لـSيو(2){\displaystyle SU(2)}نظرية يانغ-ميلز.

نصف أولاً نظرية الكم من حيث متغير الاتصال.

تمثيل الاتصال

في تمثيل الاتصال، يكون متغير التكوين هوأأأنا{\displaystyle A_{a}^{i}}وزخمها المترافق هو الثلاثي (المكثف)هـ~أناأ{\displaystyle {\tilde {E}}_{i}^{a}}من الطبيعي جدًا النظر في الدوال الموجية.Ψ(أأأنا){\displaystyle \Psi (A_{a}^{i})}يُعرف هذا بتمثيل الاتصال. وتتحول المتغيرات الأساسية إلى عوامل كمومية.

أ^أأناΨ[أ]=أأأناΨ[أ]{\displaystyle {\hat {A}}_{a}^{i}\Psi [A]=A_{a}^{i}\Psi [A]}

(على غرار تمثيل الموضع)q^ψ(q)=qψ(q){\displaystyle {\hat {q}}\psi (q)=q\psi (q)}) والثلاثيات هي مشتقات وظيفية،

هـ~^أأناΨ[أ]=-أنادلتاΨ[أ]دلتاأأأنا{\displaystyle {\hat {\tilde {E}}}_{a}^{i}\Psi [A]=-i{\delta \Psi [A] \over \delta A_{a}^{i}}}

(على غرارص^ψ(q)=-أنادψ(q)دq{\displaystyle {\hat {p}}\psi (q)=-i{d\psi (q) \over dq}})

الهولونومية وحلقة ويلسون

لنعد إلى نظرية يانغ-ميلز الكلاسيكية. من الممكن ترميز المعلومات الثابتة للمقياس في النظرية بدلالة متغيرات "شبيهة بالحلقات".

نحن بحاجة إلى مفهوم التماثل . التماثل هو مقياس لمدى اختلاف القيمتين الابتدائية والنهائية للمتجه الدوراني أو المتجه بعد النقل المتوازي حول حلقة مغلقةγ{\displaystyle \gamma } ويُشار إليه بـ

حγ[أ]{\displaystyle h_{\gamma }[A]}

إن معرفة الهولونوميات تعادل معرفة الاتصال، حتى تكافؤ القياس. ويمكن أيضًا ربط الهولونوميات بحافة؛ وبموجب قانون جاوس، تتحول هذه الهولونوميات كما يلي:

(حهـ)αβ=يوαγ-1(x)(حهـ)γσيوσβ(y).{\displaystyle (h'_{e})_{\alpha \beta }=U_{\alpha \gamma }^{-1}(x)(h_{e})_{\gamma \sigma }U_{\sigma \beta }(y).}

لحلقة مغلقةx=y{\displaystyle x=y}إذا أخذنا أثر هذا، أي وضعα=β{\displaystyle \alpha =\beta }وبجمع النتائج نحصل على

(حهـ)αα=يوαγ-1(x)(حهـ)γσيوσα(x)=[يوσα(x)يوαγ-1(x)](حهـ)γσ=دلتاσγ(حهـ)γσ=(حهـ)γγ{\displaystyle (h'_{e})_{\alpha \alpha }=U_{\alpha \gamma }^{-1}(x)(h_{e})_{\gamma \sigma }U_{\sigma \alpha }(x)=[U_{\sigma \alpha }(x)U_{\alpha \gamma }^{-1}(x)](h_{e})_{\gamma \sigma }=\delta _{\sigma \gamma }(h_{e})_{\gamma \sigma }=(h_{e})_{\gamma \gamma }}

أو

Trحγ=Trحγ.{\displaystyle \operatorname {Tr} h'_{\gamma }=\operatorname {Tr} h_{\gamma }.}

وبالتالي، فإن أثر التماثل حول حلقة مغلقة يكون ثابتًا تحت تأثير المقياس. ويُرمز له بـ

دبليوγ[أ]{\displaystyle W_{\gamma }[A]}

وتُسمى حلقة ويلسون. الشكل الصريح للهولونومية هو

حγ[أ]=Pخبرة{-γ0γ1دsγ˙أأأأنا(γ(s))تيأنا}{\displaystyle h_{\gamma }[A]={\mathcal {P}}\exp {\Big \{}-\int _{\gamma _{0}}^{\gamma _{1}}\,ds{\dot {\gamma }}^{a}A_{a}^{i}(\gamma (s))T_{i}{\Big \}}}

أينγ{\displaystyle \gamma }هو المنحنى الذي يتم على طوله تقييم التماثل، وs{\displaystyle s}هو مُعامل على طول المنحنى،P{\displaystyle {\mathcal {P}}}يشير إلى ترتيب المسار، مما يعني عوامل للقيم الأصغر لـs{\displaystyle s}يظهر على اليسار، وتيأنا{\displaystyle T_{i}}هي مصفوفات تحقق الشروط التاليةsu(2){\displaystyle su(2)}الجبر

[تيأنا،تيج]=2أناϵأناجكتيك.{\displaystyle [T^{i},T^{j}]=2i\epsilon ^{ijk}T^{k}.\,}

تحقق مصفوفات باولي العلاقة المذكورة أعلاه. ويتضح أن هناك عددًا لا نهائيًا من الأمثلة لمجموعات من المصفوفات التي تحقق هذه العلاقات، حيث تتألف كل مجموعة من(شمال+1)×(شمال+1){\displaystyle (N+1)\times (N+1)}المصفوفات معشمال=1،2،3،...{\displaystyle N=1,2,3,\dots }وحيث لا يمكن اعتبار أي من هذه الأمثلة قابلاً للتحلل إلى مثالين أو أكثر من الأبعاد الأدنى. وتسمى هذه الأمثلة تمثيلات غير قابلة للاختزال مختلفة لـsu(2){\displaystyle su(2)}الجبر. التمثيل الأساسي هو مصفوفات باولي. يتم تمييز التماثل بنصف عدد صحيحشمال/2{\displaystyle N/2}وفقًا للتمثيل غير القابل للاختزال المستخدم.

نظرية جايلز لإعادة بناء كمونات القياس من حلقات ويلسون

من أهم النظريات المتعلقة بنظريات القياس يانغ-ميلز نظرية جايلز، التي تنص على أنه إذا تم تحديد أثر التماثلية لوصلة ما لجميع الحلقات الممكنة على مشعب، فإنه من الممكن، من حيث المبدأ، إعادة بناء جميع المعلومات الثابتة للقياس الخاصة بتلك الوصلة. [ 3 ] أي أن حلقات ويلسون تُشكل أساسًا للدوال الثابتة للقياس الخاصة بتلك الوصلة. وتُعد هذه النتيجة المحورية أساسًا لتمثيل الحلقات في نظريات القياس والجاذبية.

تحويل الحلقة وتمثيل الحلقة

يُسهم استخدام حلقات ويلسون في حل قيد مقياس غاوس بشكل صريح. وبما أن حلقات ويلسون تُشكل أساسًا، فيمكننا رسميًا توسيع أي دالة ثابتة لمقياس غاوس على النحو التالي:

Ψ[أ]=γΨ[γ]دبليوγ[أ]{\displaystyle \Psi [A]=\sum _{\gamma }\Psi [\gamma ]W_{\gamma }[A]}.

يُطلق على هذا اسم تحويل الحلقة. ويمكننا ملاحظة التشابه مع الانتقال إلى تمثيل الزخم في ميكانيكا الكم. حيث توجد قاعدة من الحالاتخبرة(أناكx){\displaystyle \exp(ikx)}مُرقّمك{\displaystyle k}ويتوسع أحدهما

ψ[x]=دكψ(ك)خبرة(أناكx).{\displaystyle \psi [x]=\int dk\psi (k)\exp(ikx).}

ويعمل مع معاملات التوسعψ(ك){\displaystyle \psi (k)}.

يُعرَّف تحويل الحلقة العكسي بواسطة

Ψ[γ]=[دأ]Ψ[أ]دبليوγ[أ].{\displaystyle \Psi [\gamma ]=\int [dA]\Psi [A]W_{\gamma }[A].}

هذا يحدد تمثيل الحلقة. بالنظر إلى عامل تشغيليا^{\displaystyle {\hat {O}}}في تمثيل الاتصال،

Φ[أ]=يا^Ψ[أ]،المعادلة 1{\displaystyle \Phi [A]={\hat {O}}\Psi [A],\qquad {\text{Eq 1}}}

ينبغي تعريف العامل المقابليا^{\displaystyle {\hat {O}}'}علىΨ[γ]{\displaystyle \Psi [\gamma ]}تمثيل الحلقة عبر،

Φ[γ]=يا^Ψ[γ]،المعادلة 2{\displaystyle \Phi [\gamma ]={\hat {O}}'\Psi [\gamma ],\qquad {\text{Eq 2}}}

أينΦ[γ]{\displaystyle \Phi [\gamma ]}يتم تعريفها بواسطة تحويل الحلقة العكسي المعتاد،

Φ[γ]=[دأ]Φ[أ]دبليوγ[أ].المعادلة 3{\displaystyle \Phi [\gamma ]=\int [dA]\Phi [A]W_{\gamma }[A].\qquad {\text{Eq 3}}}

صيغة تحويل توضح تأثير المؤثريا^{\displaystyle {\hat {O}}'}علىΨ[γ]{\displaystyle \Psi [\gamma ]}فيما يتعلق بإجراءات المشغليا^{\displaystyle {\hat {O}}}علىΨ[أ]{\displaystyle \Psi [A]}ثم يتم الحصول على ذلك عن طريق مساواة الطرف الأيمن منهـq2{\displaystyle Eq\;2}مع الجانب الأيمن منهـq3{\displaystyle Eq\;3}معهـq1{\displaystyle Eq\;1}تم استبدالها بـهـq3{\displaystyle Eq\;3}، أي

يا^Ψ[γ]=[دأ]دبليوγ[أ]يا^Ψ[أ]،{\displaystyle {\hat {O}}'\Psi [\gamma ]=\int [dA]W_{\gamma }[A]{\hat {O}}\Psi [A],}

أو

يا^Ψ[γ]=[دأ](يا^دبليوγ[أ])Ψ[أ]،{\displaystyle {\hat {O}}'\Psi [\gamma ]=\int [dA]({\hat {O}}^{\dagger }W_{\gamma }[A])\Psi [A],}

حيثيا^{\displaystyle {\hat {O}}^{\dagger }}نقصد المشغليا^{\displaystyle {\hat {O}}}لكن مع عكس ترتيب العوامل (تذكر من ميكانيكا الكم البسيطة حيث ينعكس حاصل ضرب المؤثرات تحت الاقتران). نقوم بتقييم تأثير هذا المؤثر على حلقة ويلسون كحساب في تمثيل الاتصال، وإعادة ترتيب النتيجة كمعالجة تعتمد كليًا على الحلقات (يجب أن نتذكر أنه عند النظر في التأثير على حلقة ويلسون، يجب اختيار المؤثر المراد تحويله بترتيب عوامل معاكس للترتيب المختار لتأثيره على الدوال الموجية).Ψ[أ]{\displaystyle \Psi [A]}).

التمثيل الحلقي للجاذبية الكمومية

متغيرات أشتيكار-باربيرو للجاذبية الكمومية الكلاسيكية

أدى إدخال متغيرات أشتيكار إلى صياغة النسبية العامة بلغة مشتركة مع نظريات القياس. وعلى وجه الخصوص، كان عدم القدرة على التحكم الجيد في فضاء حلول قانون جاوس وقيود التماثل المكاني هو ما دفع روفيلي وسمولين إلى النظر في تمثيل جديد - تمثيل الحلقة. [ 4 ]

لمعالجة قيد التماثل المكاني، نحتاج إلى الانتقال إلى تمثيل الحلقة. ويوضح المنطق السابق المعنى الفيزيائي للمؤثر.يا^{\displaystyle {\hat {O}}'}على سبيل المثال، إذايا^{\displaystyle {\hat {O}}^{\dagger }}إذا كان هذا يتوافق مع تحويل مكاني، فيمكن اعتباره بمثابة الاحتفاظ بحقل الاتصال.أ{\displaystyle A}لدبليوγ[أ]{\displaystyle W_{\gamma }[A]}حيث يكون أثناء إجراء تحويل تماثلي مكاني علىγ{\displaystyle \gamma }بدلاً من ذلك. لذلك، فإن معنىيا^{\displaystyle {\hat {O}}'}هو تحويل مكاني علىγ{\displaystyle \gamma }، حجةΨ[γ]{\displaystyle \Psi [\gamma ]}.

في تمثيل الحلقة، يمكننا بعد ذلك حل قيد التماثل المكاني من خلال النظر في دوال الحلقات.Ψ[γ]{\displaystyle \Psi [\gamma ]}التي تبقى ثابتة تحت التحويلات المكانية للحلقةγ{\displaystyle \gamma }أي أننا نبني ما يسميه علماء الرياضيات ثوابت العقد . وقد فتح هذا الأمر صلة غير متوقعة بين نظرية العقد والجاذبية الكمومية.

تمثيل الحلقة والدوال الذاتية للمؤثرات الكمومية الهندسية

أسهل كمية هندسية هي المساحة. لنختر إحداثيات بحيث يكون السطحΣ{\displaystyle \Sigma }يتميز بـx3=0{\displaystyle x^{3}=0}مساحة متوازي الأضلاع الصغير من السطحΣ{\displaystyle \Sigma }هو حاصل ضرب طول كل ضلع فيالخطيئةθ{\displaystyle \sin \theta }أينθ{\displaystyle \theta }هي الزاوية بين الضلعين. لنفترض أن أحد الأضلاع مُعطى بالمتجهu{\displaystyle {\vec {u}}}والآخر بواسطةv{\displaystyle {\vec {v}}}ثم،

أ=uvالخطيئةθ=u2v2(1-كوس2θ)=u2v2-(uv)2{\displaystyle {\begin{aligned}A&=\|{\vec {u}}\|\|{\vec {v}}\|\sin \theta ={\sqrt {\|{\vec {u}}\|^{2}\|{\vec {v}}\|^{2}(1-\cos ^{2}\theta )}}\\[6pt]&={\sqrt {\|{\vec {u}}\|^{2}\|{\vec {v}}\|^{2}-({\vec {u}}\cdot {\vec {v}})^{2}}}\end{aligned}}}

ومن هذا نحصل على مساحة السطحΣ{\displaystyle \Sigma }سيتم تقديمها من قبل

أΣ=Σدx1دx2المحققq(2){\displaystyle A_{\Sigma }=\int _{\Sigma }\,dx^{1}\,dx^{2}{\sqrt {\det \;q^{(2)}}}}

أينالمحققq(2)=q11q22-q122{\displaystyle \det q^{(2)}=q_{11}q_{22}-q_{12}^{2}}وهو المحدد للمقياس المستحث علىΣ{\displaystyle \Sigma }يمكن إعادة كتابة هذا على النحو التالي:

المحققq(2)=ϵ3أبϵ3جدqأجqبج2.{\displaystyle \det \;q^{(2)}={\epsilon ^{3ab}\epsilon ^{3cd}q_{ac}q_{bc} \over 2}.}

الصيغة القياسية للمصفوفة العكسية هي

qأب=ϵبجدϵأهـوqجهـqدو2!المحقق(q){\displaystyle q^{ab}={\epsilon ^{bcd}\epsilon ^{aef}q_{ce}q_{df} \over 2!\det(q)}}

لاحظ التشابه بين هذا والتعبير الخاص بـالمحققq(2){\displaystyle \det q^{(2)}}لكن في متغيرات أشتيكار لديناهـ~أناأهـ~بأنا=المحقق(q)qأب{\displaystyle {\tilde {E}}_{i}^{a}{\tilde {E}}^{bi}=\det(q)q^{ab}}. لذلك،

أΣ=Σدx1دx2هـ~أنا3هـ~3أنا.{\displaystyle A_{\Sigma }=\int _{\Sigma }\,dx^{1}\,dx^{2}{\sqrt {{\tilde {E}}_{i}^{3}{\tilde {E}}^{3i}}}.}

وفقًا لقواعد التكميم المتعارف عليه، ينبغي علينا تعزيز الثلاثياتهـ~أنا3{\displaystyle {\tilde {E}}_{i}^{3}}إلى المؤثرات الكمومية،

هـ~^أنا3دلتادلتاأ3أنا.{\displaystyle {\hat {\tilde {E}}}_{i}^{3}\sim {\delta \over \delta A_{3}^{i}}.}

اتضح أن المنطقةأΣ{\displaystyle A_{\Sigma }}يمكن ترقيته إلى مؤثر كمومي محدد جيدًا على الرغم من أننا نتعامل مع حاصل ضرب مشتقين داليين، والأسوأ من ذلك أننا نتعامل مع جذر تربيعي أيضًا. [ 5 ] بوضعشمال=2ج{\displaystyle N=2J}نتحدث عن التواجد في التمثيل J. ونلاحظ أنأناتيأناتيأنا=ج(ج+1)1{\displaystyle \sum _{i}T^{i}T^{i}=J(J+1)1}هذه الكمية مهمة في الصيغة النهائية لمساحة الطيف. نذكر النتيجة أدناه ببساطة.

أ^Σدبليوγ[أ]=8πPلأنجك2βأناجأنا(جأنا+1)دبليوγ[أ]{\displaystyle {\hat {A}}_{\Sigma }W_{\gamma }[A]=8\pi \ell _{Planck}^{2}\beta \sum _{I}{\sqrt {j_{I}(j_{I}+1)}}W_{\gamma }[A]}

حيث يكون المجموع على جميع الحوافأنا{\displaystyle I}من حلقة ويلسون التي تخترق السطحΣ{\displaystyle \Sigma }.

صيغة حساب حجم منطقة ماR{\displaystyle R}يُعطى بواسطة

V=Rد3xالمحقق(q)=16Rدx3ϵأبجϵأناجكهـ~أناأهـ~جبهـ~كج.{\displaystyle V=\int _{R}d^{3}x{\sqrt {\det(q)}}={1 \over 6}\int _{R}dx^{3}{\sqrt {\epsilon _{abc}\epsilon ^{ijk}{\tilde {E}}_{i}^{a}{\tilde {E}}_{j}^{b}{\tilde {E}}_{k}^{c}}}.}

تتم عملية تكميم الحجم بنفس طريقة تكميم المساحة. فعندما نشتق، وفي كل مرة نفعل ذلك، نخفض متجه المماس.γ˙أ{\displaystyle {\dot {\gamma }}^{a}}عندما يؤثر عامل الحجم على حلقات ويلسون غير المتقاطعة، تتلاشى النتيجة. لذا، يجب أن تتضمن الحالات الكمومية ذات الحجم غير الصفري تقاطعات. وبما أن الجمع غير المتناظر مُستخدم في صيغة الحجم، فإننا نحتاج على الأقل إلى تقاطعات مع ثلاثة خطوط غير مستوية . في الواقع، يتضح أننا نحتاج على الأقل إلى رؤوس رباعية التكافؤ لكي يكون عامل الحجم غير صفري.

هويات ماندلستام: su(2) Yang – Mills

سندرس الآن حلقات ويلسون ذات التقاطعات. نفترض التمثيل الحقيقي حيث تكون مجموعة القياس هيSيو(2){\displaystyle SU(2)}تُعدّ حلقات ويلسون أساسًا مكتملًا، إذ توجد متطابقات تربط بين حلقات ويلسون المختلفة. وتنشأ هذه المتطابقات من كون حلقات ويلسون مبنية على المصفوفات (الهولونومية)، وهذه المصفوفات تحقق متطابقات تُعرف باسم متطابقات ماندلشتام. بفرض أي حلقتينSيو(2){\displaystyle SU(2)}المصفوفاتأ{\displaystyle \mathbb {A} }وب{\displaystyle \mathbb {B} }من السهل التحقق من ذلك،

Tr(أ)Tr(ب)=Tr(أب)+Tr(أب-1).{\displaystyle \operatorname {Tr} (\mathbb {A} )\operatorname {Tr} (\mathbb {B} )=\operatorname {Tr} (\mathbb {A} \mathbb {B} )+\operatorname {Tr} (\mathbb {A} \mathbb {B} ^{-1}).}

وهذا يعني أنه بالنظر إلى حلقتينγ{\displaystyle \gamma }وη{\displaystyle \eta }عند تقاطع هذين الطرفين، سنحصل على

دبليوγ[أ]دبليوη[أ]=دبليوγη[أ]+دبليوγη-1[أ]{\displaystyle W_{\gamma }[A]W_{\eta }[A]=W_{\gamma \circ \eta }[A]+W_{\gamma \circ \eta ^{-1}}[A]}

حيثη-1{\displaystyle \eta ^{-1}}نقصد الحلقةη{\displaystyle \eta }اجتاز في الاتجاه المعاكس وγη{\displaystyle \gamma \circ \eta }يعني الحلقة التي يتم الحصول عليها من خلال الدوران حول الحلقةγ{\displaystyle \gamma }ثم على طولη{\displaystyle \eta }انظر الشكل أدناه. يُطلق على هذا اسم متطابقة ماندلشتام من النوع الثاني. وهناك متطابقة ماندلشتام من النوع الأول.دبليو(γ1γ2)=دبليو(γ2γ1){\displaystyle W(\gamma _{1}\circ \gamma _{2})=W(\gamma _{2}\circ \gamma _{1})}. الشبكات الدورانية هي تركيبات خطية معينة من حلقات ويلسون المتقاطعة المصممة لمعالجة مشكلة الاكتمال الزائد التي أدخلتها متطابقات ماندلستام.

تمثيل بياني لهوية مانديستام التي تربط حلقات ويلسون المختلفة .

حالات شبكة الدوران

في الواقع، تشكل شبكات الدوران أساسًا لجميع الدوال الثابتة للمقياس والتي تقلل من درجة الإكمال الزائد لأساس الحلقة، وبالنسبة للتقاطعات ثلاثية التكافؤ، فإنها تقضي عليها تمامًا.

كما ذُكر سابقًا، يُحدد مفهوم الهولومترية كيفية انتشار جسيمات نصف اللف المغزلي الاختبارية. تُحدد حالة شبكة اللف المغزلي سعةً لمجموعة من جسيمات نصف اللف المغزلي التي ترسم مسارًا في الفضاء، وتندمج وتنقسم. ويتم وصف هذه الجسيمات بواسطة شبكات اللف المغزلي.γ{\displaystyle \gamma }تُسمى الحواف باللف المغزلي، بالإضافة إلى "الوصلات المتشابكة" عند الرؤوس، والتي تُحدد كيفية جمع اللف المغزلي عبر الطرق المختلفة لإعادة توجيهه. وقد تم اختيار مجموع إعادة التوجيه بحيث يكون شكل الوصلة المتشابكة ثابتًا تحت تحويلات غاوس القياسية.

تفرد تمثيل الحلقة في LQG

قدمت مجموعتان (ليواندوفسكي، أوكولوف، سالمان، وثيمان) [6] و(كريستيان فليشاك) [7] نظريات تثبت تفرد تمثيل الحلقة كما عرّفه أشتيكار وآخرون (أي تحقيق ملموس معين لفضاء هيلبرت والمؤثرات المرتبطة به التي تعيد إنتاج جبر الحلقة الصحيح - وهو التحقيق الذي كان الجميع يستخدمه) . قبل إثبات هذه النتيجة ، لم يكن معروفًا ما إذا كان من الممكن وجود أمثلة أخرى لفضاءات هيلبرت بمؤثرات تستخدم جبر الحلقة نفسه، أو تحقيقات أخرى غير مكافئة للتحقيق المستخدم حتى ذلك الحين .

نظرية العقد والحلقات في نظرية الحقل الطوبولوجي

إحدى الطرق الشائعة لوصف العقدة (أو الرابطة ، وهي عقد تتكون من عدة مكونات متشابكة) هي النظر إلى صورتها المسقطة على مستوى يُسمى مخطط العقدة. يمكن رسم أي عقدة (أو رابط) معينة بطرق عديدة باستخدام مخطط العقدة. لذلك، تتمثل إحدى المشكلات الأساسية في نظرية العقد في تحديد متى يُمثل وصفان مختلفان العقدة نفسها. عند إعطاء مخطط عقدة، يُحاول المرء إيجاد طريقة لتعيين ثابت للعقدة، وأحيانًا يكون متعدد حدود - يُسمى متعدد حدود العقدة. مخططا عقدة بمتعددي حدود مختلفين، تم إنشاؤهما بنفس الإجراء، يُقابلان بالضرورة عقدتين مختلفتين. مع ذلك، إذا كانت متعددات الحدود متطابقة، فقد لا يعني ذلك بالضرورة أنها تُقابل العقدة نفسها. كلما كان متعدد الحدود أفضل في تمييز العقد، زادت فعاليته.

في عام 1984، أعلن جونز [ 8 ] عن اكتشاف ثابت جديد للوصلات، مما أدى سريعًا إلى وفرة هائلة من التعميمات. لقد وجد متعدد حدود جديدًا للعقد، وهو متعدد حدود جونز . تحديدًا، هو ثابت للعقدة أو الوصلة الموجهة، حيث يُسند لكل عقدة أو وصلة موجهة متعدد حدود بمعاملات صحيحة.

في أواخر الثمانينيات، صاغ ويتن مصطلح نظرية المجال الكمومي الطوبولوجي لنوع معين من النظرية الفيزيائية التي تكون فيها القيم المتوقعة للكميات القابلة للملاحظة ثابتة تحت التحويلات التفاضلية.

قدّم ويتن [ 9 ] اشتقاقًا استدلاليًا لكثير حدود جونز وتعميماته من نظرية تشيرن-سيمونز . وتتلخص الفكرة الأساسية في أن القيم المتوقعة للفراغ لحلقات ويلسون في نظرية تشيرن-سيمونز هي ثوابت للروابط نظرًا لثبات النظرية تحت تأثير التشاكل التفاضلي. ولحساب هذه القيم المتوقعة، احتاج ويتن إلى استخدام العلاقة بين نظرية تشيرن-سيمونز ونظرية حقل توافقي تُعرف بنموذج ويس-زومينو-ويتن (أو نموذج WZW).

مراجع

  1. جاكوبسون، تيد؛ سمولين، لي (4 أبريل 1988). "الهندسات الكمومية غير الاضطرابية" . الفيزياء النووية ب . 299 (2): 295-345 . doi : 10.1016/0550-3213(88)90286-6 . ISSN 0550-3213 . 
  2. ويتن، إدوارد (1989). "نظرية الحقل الكمومي ومتعددة حدود جونز" . مجلة الاتصالات في الفيزياء الرياضية . 121 (3): 351-399 . رمز Bibcode : 1989CMaPh.121..351W . doi : 10.1007/bf01217730 . ISSN 0010-3616 . S2CID 14951363 .  
  3. جايلز، ر. (15 أكتوبر 1981). "إعادة بناء كمونات القياس من حلقات ويلسون". مجلة Physical Review D. 24 ( 8): 2160-2168 . Bibcode : 1981PhRvD..24.2160G . doi : 10.1103/physrevd.24.2160 . ISSN 0556-2821 . 
  4. روفيلي، كارلو؛ سمولين، لي (5 سبتمبر 1988). "نظرية العقدة والجاذبية الكمومية". رسائل المراجعة الفيزيائية . 61 (10): 1155-1158 . رمز Bibcode : 1988PhRvL..61.1155R . doi : 10.1103/physrevlett.61.1155 . ISSN 0031-9007 . PMID 10038716 .  
  5. على سبيل المثال انظر القسم 8.2 من كتاب A First Course in Loop Quantum Gravity ، غامبيني، ر، وبولين، ج. نُشر بواسطة مطبعة جامعة أكسفورد 2011.
  6. ليفاندوفسكي، جيرزي؛ أوكولوف، أندريه؛ سالمان، هانو؛ ثيمان، توماس (22 أغسطس/آب 2006). "تفرد الحالات الثابتة تحت التحويلات التفاضلية على جبر الهولونومي-التدفق". مجلة الاتصالات في الفيزياء الرياضية . 267 (3): 703-733 . arXiv : gr-qc/0504147 . Bibcode : 2006CMaPh.267..703L . doi : 10.1007/s00220-006-0100-7 . ISSN: 0010-3616 . S2CID: 14866220 .  
  7. فليشهاك، كريستيان (11 أغسطس/آب 2006). "عدم قابلية اختزال جبر فايل في جاذبية الكم الحلقية". رسائل المراجعة الفيزيائية . 97 (6) 061302. رمز Bibcode : 2006PhRvL..97f1302F . doi : 10.1103/physrevlett.97.061302 . ISSN 0031-9007 . PMID 17026156 .  
  8. V. Jones, A polynomial invariant for knots via von Neumann algebras, reprinted in New Developments in the Theory of Knots , ed. T. Kohno, World Scientific, Singapore, 1989.
  9. ويتن، إي. (1989). " نظرية الحقل الكمومي ومتعددة حدود جونز" . مجلة الاتصالات في الفيزياء الرياضية . 121 (3): 351-399 . Bibcode : 1989CMaPh.121..351W . doi : 10.1007/BF01217730 . MR 0990772. S2CID 14951363 .