It is well known that all physically relevant states of gauge theories lie in the sectors of the Hilbert space which satisfy the Gauss law. On the lattice, the manifeslty gauge invariant subspace is known to be exactly spanned by gauged tensor networks. In this work, we demonstrate that the continuum limit of certain types of gauged tensor networks is well defined and leads to a new class of states that may be helpful for the non-perturbative study of gauge theories directly in the continuum.
معرّف الورقة : 2511.10189العنوان : الحد المستمر لحالات شبكة الموتر المعايرةالمؤلفون : جيرتيان روس، إيريز زوهار (جامعة تل أبيب)التصنيفات : hep-th (الفيزياء عالية الطاقة - النظرية)، cond-mat.str-el (فيزياء المادة المكثفة - الأنظمة الإلكترونية المترابطة بقوة)، hep-lat (نظرية المجال على الشبكة)، quant-ph (الفيزياء الكمية)تاريخ النشر : 14 نوفمبر 2025رابط الورقة : https://arxiv.org/abs/2511.10189v1 تقع جميع الحالات ذات الصلة الفيزيائية في نظريات المعايرة في قطاعات فضاء هيلبرت التي تحقق قانون غاوس. على الشبكة، من المعروف أن فضاءات المعايرة الثابتة الصريحة يمكن أن تُرسم بدقة بواسطة شبكات موتر معايرة. يثبت هذا العمل أن الحد المستمر لأنواع معينة من شبكات الموتر المعايرة محدد جيداً، مما يؤدي إلى فئة جديدة من الحالات التي قد تساعد في الدراسة غير الاضطرابية المباشرة لنظريات المعايرة في الحد المستمر.
معضلة الدراسة غير الاضطرابية لنظريات المعايرة :
نظريات المعايرة هي أساس الفيزياء الحديثة (مثل التفاعلات الأساسية في النموذج القياسي)، لكن مخطط الطور الغني يحتوي على عديد من الأطوار التي لا يمكن فهمها من خلال نظرية الاضطراب. بشكل خاص في منطقة الاقتران القوي، الأجسام الثابتة معايرياً (مثل حلقات ويلسون وخطوط ويلسون) غير محلية، وتفشل نظرية الاضطراب.الهوة بين الشبكة والحد المستمر :
بينما توفر حالات الزوج المتشابك المسقط المعايرة على الشبكة (gPEPS) إطاراً يحتوي فقط على أجسام ثابتة معايرياً، فإن كيفية تعميم هذا الإطار على الزمكان المستمر لا تزال مسألة مفتوحة.الاكتمال النظري : الإثباتات الحديثة تُظهر أن gPEPS و MPS المعايرة هي أعم الحالات الثابتة معايرياً على الشبكة. إذا أمكن إثبات وجود حدها المستمر، فسيتم إنشاء إطار وصف كامل للحالات الثابتة معايرياً في الزمكان المستمر.آفاق التطبيق العددي : تم إثبات أن شبكات الموتر المستمرة للمجالات النقية (CMPS و CPEPS) أدوات عددية قيمة، والإصدارات المعايرة من المتوقع أن توفر وسائل حسابية جديدة للحد المستمر لنظريات المعايرة على الشبكة.الطرق غير الاضطرابية : توفر مسار جديد لدراسة نظريات المعايرة المقترنة بقوة مباشرة في الزمكان المستمر.شبكات الموتر المستمرة للمجالات النقية (CMPS و CPEPS) لها نظرية ناضجة، لكنها تفتقر إلى معالجة المجالات المعايرة طرق نظرية المعايرة على الشبكة يصعب عليها أخذ الحد المستمر مباشرة تفشل الطرق الاضطرابية في منطقة الاقتران القوي تعريف حالات الزوج المتشابك المسقط المعايرة المستمرة (gCPEPS) : تعميم شبكات الموتر المعايرة على الشبكة إلى الزمكان المستمر، مما يؤسس فئة جديدة من الحالات المتغيرة التي تتضمن المجالات المعايرة والمجالات المادية.إثبات صارم للثبات المعايري : من خلال الحساب الصريح، تم التحقق من أن gCPEPS تحقق التماثل المعايري المحلي وقيود قانون غاوس.بناء CMPS المعايرة في الحالة أحادية البعد : عرض الشكل المبسط في الحالة أحادية البعد، حيث يمكن معالجة الفضاء المساعد بالتكميم الأول، والحالة لها بنية خط ويلسون صريحة.إثبات وجود الحد المستمر : إثبات صارم بأن gPEPS على الشبكة تتقارب إلى gCPEPS تحت الشروط المناسبة، مما يؤسس جسراً بين النظرية المنفصلة والمستمرة.الكشف عن الظهور الطبيعي لخطوط ويلسون : في التوسع الضعيف الاقتران، عرض صريح للصورة الفيزيائية لكيفية إنتاج تيارات الجسيمات الافتراضية لخطوط ويلسون.بناء حالات ثابتة معايرياً في الزمكان المستمر بحيث:
تحقق قيود قانون غاوس: G ^ a ( x ) ∣ ψ ⟩ = 0 \hat{G}^a(x)|\psi\rangle = 0 G ^ a ( x ) ∣ ψ ⟩ = 0 يمكن أن تكون بمثابة حد مستمر لشبكات الموتر المعايرة على الشبكة لها معاملات متغيرة واضحة وتفسير فيزيائي الإدخال : مجموعة المعايرة G، متعدد الطي المكاني M، الدالة المتغيرة (B, V, J)
الإخراج : حالة كمية ثابتة معايرياً ∣ ψ B , V , J ⟩ |\psi_{B,V,J}\rangle ∣ ψ B , V , J ⟩
تُعرّف حالة الزوج المتشابك المسقط المعايرة المستمرة بـ:
∣ ψ B , V , J ⟩ = ∫ D 2 ϕ D 2 χ B [ χ ∂ M ] e − ∫ M d D x L ^ [ A ^ a μ , χ , ϕ ] ∣ ϕ ⟩ ∣ s E ⟩ |\psi_{B,V,J}\rangle = \int \mathcal{D}^2\phi \mathcal{D}^2\chi \, B[\chi_{\partial M}] \, e^{-\int_M d^Dx \hat{\mathcal{L}}[\hat{A}^\mu_a, \chi, \phi]} |\phi\rangle |s_E\rangle ∣ ψ B , V , J ⟩ = ∫ D 2 ϕ D 2 χ B [ χ ∂ M ] e − ∫ M d D x L ^ [ A ^ a μ , χ , ϕ ] ∣ ϕ ⟩ ∣ s E ⟩
حيث:
ϕ α ( x ) \phi_\alpha(x) ϕ α ( x ) : المجال المادي (حقل عددي معقد في التمثيل الأساسي)χ j α ( x ) \chi^\alpha_j(x) χ j α ( x ) : المجال المساعد (درجات الحرية الافتراضية)A ^ a μ ( x ) \hat{A}^\mu_a(x) A ^ a μ ( x ) : مؤثر المجال المعايري (قيمة جبر لي)∣ s E ⟩ |s_E\rangle ∣ s E ⟩ : حالة المجال الكهربائي الفردية (E ^ a μ ( x ) ∣ s E ⟩ = 0 \hat{E}^\mu_a(x)|s_E\rangle = 0 E ^ a μ ( x ) ∣ s E ⟩ = 0 )B [ χ ∂ M ] B[\chi_{\partial M}] B [ χ ∂ M ] : الدالة الحديةV [ χ ] , J [ χ , ϕ ] V[\chi], J[\chi,\phi] V [ χ ] , J [ χ , ϕ ] : الدوال الحجمية (المعاملات المتغيرة)L ^ [ A ^ a μ , χ , ϕ ] = ( D ^ μ χ j α ) † D ^ μ χ j α + V [ χ ] + J [ χ , ϕ ] \hat{\mathcal{L}}[\hat{A}^\mu_a, \chi, \phi] = (\hat{D}_\mu\chi^\alpha_j)^\dagger \hat{D}^\mu\chi^\alpha_j + V[\chi] + J[\chi,\phi] L ^ [ A ^ a μ , χ , ϕ ] = ( D ^ μ χ j α ) † D ^ μ χ j α + V [ χ ] + J [ χ , ϕ ]
يُعرّف المشتق المتغاير بـ:
D ^ μ χ j α ( x ) = ∂ μ χ j α ( x ) − i g A ^ a μ ( x ) ( T j a ) α β χ j β ( x ) \hat{D}_\mu\chi^\alpha_j(x) = \partial_\mu\chi^\alpha_j(x) - ig\hat{A}^\mu_a(x)(T^{ja})_{\alpha\beta}\chi^\beta_j(x) D ^ μ χ j α ( x ) = ∂ μ χ j α ( x ) − i g A ^ a μ ( x ) ( T ja ) α β χ j β ( x )
حيث g g g هو ثابت الاقتران، وT j a T^{ja} T ja هي مولدات مجموعة المعايرة في التمثيل j j j .
مؤثر تحويل المعايرة المحلي:
U ^ [ g ] = e i ∫ d D x θ a ( g ( x ) ) G ^ a ( x ) \hat{U}[g] = e^{i\int d^Dx \theta^a(g(x))\hat{G}^a(x)} U ^ [ g ] = e i ∫ d D x θ a ( g ( x )) G ^ a ( x )
مؤثر قانون غاوس:
G ^ a ( x ) = Q ^ a ( x ) − 1 g D ^ μ E ^ a μ ( x ) \hat{G}^a(x) = \hat{Q}^a(x) - \frac{1}{g}\hat{D}_\mu\hat{E}^\mu_a(x) G ^ a ( x ) = Q ^ a ( x ) − g 1 D ^ μ E ^ a μ ( x )
حيث Q ^ a ( x ) \hat{Q}^a(x) Q ^ a ( x ) هي كثافة الشحنة الكهربائية للمجال المادي، وD ^ μ E ^ a μ \hat{D}_\mu\hat{E}^\mu_a D ^ μ E ^ a μ هي الاختلاف المتغاير للمجال الكهربائي.
المجال المادي: U ^ [ g ] ϕ ^ α ( x ) U ^ † [ g ] = D α β j f ( g − 1 ( x ) ) ϕ ^ β ( x ) \hat{U}[g]\hat{\phi}_\alpha(x)\hat{U}^\dagger[g] = D^{j_f}_{\alpha\beta}(g^{-1}(x))\hat{\phi}_\beta(x) U ^ [ g ] ϕ ^ α ( x ) U ^ † [ g ] = D α β j f ( g − 1 ( x )) ϕ ^ β ( x ) المجال المعايري: U ^ [ g ] A ^ a μ ( x ) U ^ † [ g ] = A ^ a μ ( x ) + 1 g D ^ μ θ a ( g ( x ) ) \hat{U}[g]\hat{A}^\mu_a(x)\hat{U}^\dagger[g] = \hat{A}^\mu_a(x) + \frac{1}{g}\hat{D}^\mu\theta^a(g(x)) U ^ [ g ] A ^ a μ ( x ) U ^ † [ g ] = A ^ a μ ( x ) + g 1 D ^ μ θ a ( g ( x )) حالة المجال الكهربائي الفردية: U ^ [ g ] ∣ s E ⟩ = ∣ s E ⟩ \hat{U}[g]|s_E\rangle = |s_E\rangle U ^ [ g ] ∣ s E ⟩ = ∣ s E ⟩ من خلال تغيير المتغيرات ϕ ~ α = D j f ( g ) ϕ α \tilde{\phi}_\alpha = D^{j_f}(g)\phi_\alpha ϕ ~ α = D j f ( g ) ϕ α وχ ~ j α = D j ( g − 1 ) χ j α \tilde{\chi}^\alpha_j = D^j(g^{-1})\chi^\alpha_j χ ~ j α = D j ( g − 1 ) χ j α ، تم إثبات:
U ^ [ g ] ∣ ψ B , V , J ⟩ = ∣ ψ B , V , J ⟩ \hat{U}[g]|\psi_{B,V,J}\rangle = |\psi_{B,V,J}\rangle U ^ [ g ] ∣ ψ B , V , J ⟩ = ∣ ψ B , V , J ⟩
إذا وفقط إذا كان لاغرانجيان التوليد L ^ \hat{\mathcal{L}} L ^ نفسه ثابتاً معايرياً.
في التوسع الضعيف الاقتران (g → 0 g\to 0 g → 0 ):
∣ ψ ⟩ ≈ ∫ D 2 ϕ D 2 χ B [ χ ∂ M ] e − i g ∫ d D x A ^ a μ ( x ) J a μ ( x ) e − ∫ d D x L 0 [ χ , ϕ ] ∣ ϕ ⟩ ∣ s E ⟩ |\psi\rangle \approx \int \mathcal{D}^2\phi\mathcal{D}^2\chi \, B[\chi_{\partial M}] \, e^{-ig\int d^Dx \hat{A}^\mu_a(x)J^\mu_a(x)} e^{-\int d^Dx \mathcal{L}_0[\chi,\phi]} |\phi\rangle|s_E\rangle ∣ ψ ⟩ ≈ ∫ D 2 ϕ D 2 χ B [ χ ∂ M ] e − i g ∫ d D x A ^ a μ ( x ) J a μ ( x ) e − ∫ d D x L 0 [ χ , ϕ ] ∣ ϕ ⟩ ∣ s E ⟩
حيث تيار الجسيمات الافتراضية:
J a μ ( x ) = − i ∂ μ ( χ j α ( x ) ) ( T j a ) α β χ j β ( x ) J^\mu_a(x) = -i\partial^\mu(\chi^\alpha_j(x))(T^{ja})_{\alpha\beta}\chi^\beta_j(x) J a μ ( x ) = − i ∂ μ ( χ j α ( x )) ( T ja ) α β χ j β ( x )
الحد الأسي e − i g ∫ A ^ a μ J a μ e^{-ig\int \hat{A}^\mu_a J^\mu_a} e − i g ∫ A ^ a μ J a μ هو بالضبط مؤثر إنشاء خط ويلسون على طول مسار تيار الجسيمات الافتراضية:
W ^ a ( a → P b ) = exp ( i g ∫ P d l μ A ^ a μ ( l ) ) \hat{W}^a(a\to_P b) = \exp\left(ig\int_P dl_\mu \hat{A}^\mu_a(l)\right) W ^ a ( a → P b ) = exp ( i g ∫ P d l μ A ^ a μ ( l ) )
في الحالة أحادية البعد، تُبسط الحالة إلى:
∣ ψ ⟩ = tr aux ( B P exp ∫ d x ( F − i g A ^ a x ( x ) Q virt a + R ϕ α ϕ ^ α ( x ) + R ϕ ˉ α ϕ ^ α † ( x ) ) ) ∣ s E ⟩ ∣ 0 fock ⟩ |\psi\rangle = \text{tr}_{\text{aux}}\left(B \, \mathcal{P}\exp\int dx\left(F - ig\hat{A}^x_a(x)Q^a_{\text{virt}} + R^\alpha_\phi\hat{\phi}_\alpha(x) + R^\alpha_{\bar{\phi}}\hat{\phi}^\dagger_\alpha(x)\right)\right)|s_E\rangle|0_{\text{fock}}\rangle ∣ ψ ⟩ = tr aux ( B P exp ∫ d x ( F − i g A ^ a x ( x ) Q virt a + R ϕ α ϕ ^ α ( x ) + R ϕ ˉ α ϕ ^ α † ( x ) ) ) ∣ s E ⟩ ∣ 0 fock ⟩
حيث:
F , Q virt a , R ϕ α , R ϕ ˉ α , B F, Q^a_{\text{virt}}, R^\alpha_\phi, R^\alpha_{\bar{\phi}}, B F , Q virt a , R ϕ α , R ϕ ˉ α , B : مصفوفات ذات بعد محدود (الفضاء المساعد)Q virt a Q^a_{\text{virt}} Q virt a : مؤثر الشحنة الافتراضيةيتم تقسيم المصفوفات بشكل قطري الكتل وفقاً للتمثيلات غير القابلة للاختزال لمجموعة المعايرة شروط البنية الكتلية (لضمان الثبات المعايري):
F j j ′ ∝ δ j j ′ F_{jj'} \propto \delta_{jj'} F j j ′ ∝ δ j j ′ R ϕ α j j ′ ∝ δ j , j ′ + j f R^\alpha_\phi{}_{jj'} \propto \delta_{j,j'+j_f} R ϕ α j j ′ ∝ δ j , j ′ + j f (إضافة درجة حرية مادية واحدة)R ϕ ˉ α j j ′ ∝ δ j , j ′ − j f R^\alpha_{\bar{\phi}}{}_{jj'} \propto \delta_{j,j'-j_f} R ϕ ˉ α j j ′ ∝ δ j , j ′ − j f (إزالة درجة حرية مادية واحدة)على مواقع الشبكة n n n حدد:
المجالات الفيزيائية: ϕ ^ α n \hat{\phi}_{\alpha n} ϕ ^ α n والعزم المرافق لها π ^ α n ϕ \hat{\pi}^{\phi}_{\alpha n} π ^ α n ϕ المجالات الافتراضية:
الروابط الموجهة نحو الاتجاهات الموجبة: χ ^ j n e i α , π ^ j α n e i χ \hat{\chi}^{\alpha}_{jn\mathbf{e}_i}, \hat{\pi}^{\chi}_{j\alpha n\mathbf{e}_i} χ ^ jn e i α , π ^ j α n e i χ الروابط الموجهة نحو الاتجاهات السالبة: η ^ j n e i α , π ^ j α n e i η \hat{\eta}^{\alpha}_{jn\mathbf{e}_i}, \hat{\pi}^{\eta}_{j\alpha n\mathbf{e}_i} η ^ jn e i α , π ^ j α n e i η حدد تأثير المجموعة:
θ ^ ( g ) n = e i ϕ a ( g ) Q ^ ϕ n a \hat{\theta}(g)_n = e^{i\phi^a(g)\hat{Q}^a_{\phi n}} θ ^ ( g ) n = e i ϕ a ( g ) Q ^ ϕ n a
حيث مؤثر الشحنة:
Q ϕ n a = − i ( π ^ α n ϕ T α β a ϕ ^ n β + h.c. ) Q^a_{\phi n} = -i(\hat{\pi}^{\phi}_{\alpha n}T^a_{\alpha\beta}\hat{\phi}^\beta_n + \text{h.c.}) Q ϕ n a = − i ( π ^ α n ϕ T α β a ϕ ^ n β + h.c. )
∣ ψ ⟩ = ⨂ n e i ⟨ L n e i ∣ ⨂ n ∣ A n ⟩ |\psi\rangle = \bigotimes_{n\mathbf{e}_i}\langle L_{n\mathbf{e}_i}| \bigotimes_n |A_n\rangle ∣ ψ ⟩ = ⨂ n e i ⟨ L n e i ∣ ⨂ n ∣ A n ⟩
موتر الشبكة:
∣ A n ⟩ = ∫ D 2 ϕ n D 2 η n D 2 χ n A ( ϕ n , η n , χ n ) ∣ ϕ n ⟩ ∣ η n ⟩ ∣ χ n ⟩ |A_n\rangle = \int \mathcal{D}^2\phi_n\mathcal{D}^2\eta_n\mathcal{D}^2\chi_n \, A(\phi_n,\eta_n,\chi_n)|\phi_n\rangle|\eta_n\rangle|\chi_n\rangle ∣ A n ⟩ = ∫ D 2 ϕ n D 2 η n D 2 χ n A ( ϕ n , η n , χ n ) ∣ ϕ n ⟩ ∣ η n ⟩ ∣ χ n ⟩
موتر الرابط:
∣ L n e i ⟩ = ∫ D 2 χ D 2 η δ 2 ( χ n e i − η ˉ n + e i , − e i ) |L_{n\mathbf{e}_i}\rangle = \int \mathcal{D}^2\chi\mathcal{D}^2\eta \, \delta^2(\chi_{n\mathbf{e}_i} - \bar{\eta}_{n+\mathbf{e}_i,-\mathbf{e}_i}) ∣ L n e i ⟩ = ∫ D 2 χ D 2 η δ 2 ( χ n e i − η ˉ n + e i , − e i )
شرط التماثل العام :
A ( ϕ n , η n , χ n ) = A ( D ( g − 1 ) ϕ n , η n D ( g − 1 ) , D ( g ) χ n ) A(\phi_n,\eta_n,\chi_n) = A(D(g^{-1})\phi_n, \eta_nD(g^{-1}), D(g)\chi_n) A ( ϕ n , η n , χ n ) = A ( D ( g − 1 ) ϕ n , η n D ( g − 1 ) , D ( g ) χ n )
على كل رابط n e i n\mathbf{e}_i n e i أدخل:
مؤثرات التأثير الأيسر والأيمن: L ^ n e i a , R ^ n e i a \hat{L}^a_{n\mathbf{e}_i}, \hat{R}^a_{n\mathbf{e}_i} L ^ n e i a , R ^ n e i a التي تحقق علاقات التبديل لجبر لي أساس عنصر المجموعة: ∣ g ⟩ n e i |g\rangle_{n\mathbf{e}_i} ∣ g ⟩ n e i أساس المجال الكهربائي: ∣ j m n ⟩ n e i = ∫ d g ∣ G ∣ dim ( j ) D m n j ( g ) ∣ g ⟩ n e i |jmn\rangle_{n\mathbf{e}_i} = \int dg\sqrt{\frac{|G|}{\dim(j)}}D^j_{mn}(g)|g\rangle_{n\mathbf{e}_i} ∣ jmn ⟩ n e i = ∫ d g d i m ( j ) ∣ G ∣ D mn j ( g ) ∣ g ⟩ n e i U ^ Gauge , n e i = ∫ d g e i θ a ( g ) Q ^ η n e i a ∣ g ⟩ n e i ⟨ g ∣ n e i \hat{U}_{\text{Gauge},n\mathbf{e}_i} = \int dg \, e^{i\theta^a(g)\hat{Q}^a_{\eta n\mathbf{e}_i}}|g\rangle_{n\mathbf{e}_i}\langle g|_{n\mathbf{e}_i} U ^ Gauge , n e i = ∫ d g e i θ a ( g ) Q ^ η n e i a ∣ g ⟩ n e i ⟨ g ∣ n e i
هذا مؤثر رفع مجال كهربائي مُتحكم فيه، يمكن أيضاً تفسيره كتأثير مجموعة يسار مُتحكم فيه على متغيرات η \eta η .
الخاصية الأساسية :
θ ^ L ( g ) n e i U ^ Gauge , n e i ∣ s E ⟩ = θ ^ η ( g − 1 ) n e i U ^ Gauge , n e i ∣ s E ⟩ \hat{\theta}_L(g)_{n\mathbf{e}_i}\hat{U}_{\text{Gauge},n\mathbf{e}_i}|s_E\rangle = \hat{\theta}_\eta(g^{-1})_{n\mathbf{e}_i}\hat{U}_{\text{Gauge},n\mathbf{e}_i}|s_E\rangle θ ^ L ( g ) n e i U ^ Gauge , n e i ∣ s E ⟩ = θ ^ η ( g − 1 ) n e i U ^ Gauge , n e i ∣ s E ⟩
∣ ψ gauged ⟩ = ⨂ n e i ⟨ L n e i ∣ ⨂ n e i U ^ Gauge , n e i ⨂ n ∣ A n ⟩ |\psi_{\text{gauged}}\rangle = \bigotimes_{n\mathbf{e}_i}\langle L_{n\mathbf{e}_i}| \bigotimes_{n\mathbf{e}_i}\hat{U}_{\text{Gauge},n\mathbf{e}_i} \bigotimes_n|A_n\rangle ∣ ψ gauged ⟩ = ⨂ n e i ⟨ L n e i ∣ ⨂ n e i U ^ Gauge , n e i ⨂ n ∣ A n ⟩
بعد الانكماش:
∣ ψ gauged ⟩ = ∫ D 2 ϕ D 2 χ d g ∏ n A ( ϕ n , χ ˉ j n − e i , e i α D ( g n − e i , e i − 1 ) α β j , χ j n e i β ) ∣ g ⟩ n e i ∣ ϕ n ⟩ |\psi_{\text{gauged}}\rangle = \int \mathcal{D}^2\phi\mathcal{D}^2\chi \, dg \prod_n A(\phi_n, \bar{\chi}^{\alpha}_{jn-\mathbf{e}_i,\mathbf{e}_i}D(g^{-1}_{n-\mathbf{e}_i,\mathbf{e}_i})^j_{\alpha\beta}, \chi^\beta_{jn\mathbf{e}_i})|g\rangle_{n\mathbf{e}_i}|\phi_n\rangle ∣ ψ gauged ⟩ = ∫ D 2 ϕ D 2 χ d g ∏ n A ( ϕ n , χ ˉ jn − e i , e i α D ( g n − e i , e i − 1 ) α β j , χ jn e i β ) ∣ g ⟩ n e i ∣ ϕ n ⟩
الحقل العددي: ϕ ( x = n a ) = a [ ϕ ( x ) ] ϕ n \phi(x=na) = a^{[\phi(x)]}\phi_n ϕ ( x = na ) = a [ ϕ ( x )] ϕ n ، حيث [ ϕ ( x ) ] = D − 1 2 [\phi(x)] = \frac{D-1}{2} [ ϕ ( x )] = 2 D − 1 المجال المعايري: A a μ ( x = ( n + e i / 2 ) a ) = 1 a g QFT ϕ a ( g n e i ) A^\mu_a(x=(n+\mathbf{e}_i/2)a) = \frac{1}{ag_{\text{QFT}}}\phi^a(g_{n\mathbf{e}_i}) A a μ ( x = ( n + e i /2 ) a ) = a g QFT 1 ϕ a ( g n e i ) χ j n e i α − D ( g n − e i , e i ) α β χ j n − e i , e i β = a a [ χ ( x ) ] D i χ j β ( n ) \chi^\alpha_{jn\mathbf{e}_i} - D(g_{n-\mathbf{e}_i,\mathbf{e}_i})_{\alpha\beta}\chi^\beta_{jn-\mathbf{e}_i,\mathbf{e}_i} = \frac{a}{a^{[\chi(x)]}}D_i\chi^\beta_j(n) χ jn e i α − D ( g n − e i , e i ) α β χ jn − e i , e i β = a [ χ ( x )] a D i χ j β ( n )
حيث D i = ∂ i − i g A a i T a D_i = \partial_i - igA^i_aT^a D i = ∂ i − i g A a i T a هو المشتق المتغاير.
افترض A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) A(\phi,\chi,\eta) = e^{A(\phi,\chi,\eta)} A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) ، وخذ:
K ( χ , η ) = − Z 0 2 ∑ e i ( χ ˉ n e i − η n e i ) ( χ n e i − η ˉ n e i ) K(\chi,\eta) = -\frac{Z_0}{2}\sum_{\mathbf{e}_i}(\bar{\chi}_{n\mathbf{e}_i} - \eta_{n\mathbf{e}_i})(\chi_{n\mathbf{e}_i} - \bar{\eta}_{n\mathbf{e}_i}) K ( χ , η ) = − 2 Z 0 ∑ e i ( χ ˉ n e i − η n e i ) ( χ n e i − η ˉ n e i )
في الحد المستمر:
K ( χ ˉ j n − e i , e i α D ( g n − e i , e i − 1 ) α β j , χ j n e i β ) = − Z 0 2 a 2 a 2 [ χ ] D ˉ i χ ˉ j β ( n ) D i χ j β ( n ) K(\bar{\chi}^{\alpha}_{jn-\mathbf{e}_i,\mathbf{e}_i}D(g^{-1}_{n-\mathbf{e}_i,\mathbf{e}_i})^j_{\alpha\beta}, \chi^\beta_{jn\mathbf{e}_i}) = -\frac{Z_0}{2}\frac{a^2}{a^{2[\chi]}}\bar{D}_i\bar{\chi}^\beta_j(n)D^i\chi^\beta_j(n) K ( χ ˉ jn − e i , e i α D ( g n − e i , e i − 1 ) α β j , χ jn e i β ) = − 2 Z 0 a 2 [ χ ] a 2 D ˉ i χ ˉ j β ( n ) D i χ j β ( n )
∣ ψ gauged ⟩ = ∫ D 2 ϕ D 2 χ D A e − ∫ d D x ( D ˉ i χ ˉ ( x ) D i χ ( x ) + V ( ϕ ( x ) , χ ( x ) ) ) ∣ A ( x ) ⟩ ∣ ϕ ( x ) ⟩ |\psi_{\text{gauged}}\rangle = \int \mathcal{D}^2\phi\mathcal{D}^2\chi \, \mathcal{D}A \, e^{-\int d^Dx(\bar{D}_i\bar{\chi}(x)D^i\chi(x) + V(\phi(x),\chi(x)))}|A(x)\rangle|\phi(x)\rangle ∣ ψ gauged ⟩ = ∫ D 2 ϕ D 2 χ D A e − ∫ d D x ( D ˉ i χ ˉ ( x ) D i χ ( x ) + V ( ϕ ( x ) , χ ( x ))) ∣ A ( x )⟩ ∣ ϕ ( x )⟩
باستخدام ⟨ A ( x ) ∣ s E ⟩ = 1 \langle A(x)|s_E\rangle = 1 ⟨ A ( x ) ∣ s E ⟩ = 1 ، هذا هو بالضبط شكل gCPEPS المقترح.
إطار التكميم الثاني : بخلاف معالجة PEPS التقليدية بالتكميم الأول، استخدام إطار مؤثرات المجال، الذي يتكيف بشكل طبيعي مع بعد الرابط اللانهائي.المعالجة الحسابية لمجال المعايرة : الحفاظ على المجال المعايري A ^ a μ \hat{A}^\mu_a A ^ a μ كمؤثر وليس كحقل خلفية كلاسيكي، مع تحقيق الإسقاط الفيزيائي من خلال الضرب الداخلي مع حالة المجال الكهربائي الفردية.تحويل المعايرة المُتحكم فيه : مؤثر المعايرة U ^ Gauge \hat{U}_{\text{Gauge}} U ^ Gauge يربط بمهارة شحنة الجسيمات الافتراضية بمجال المعايرة، مما يولد تلقائياً بنية خط ويلسون.صرامة تحليل التحجيم : توضيح علاقات البعد الكتلي للحقول، مما يضمن حسن تعريف الحد المستمر.البنية القطرية الكتلية : في الحالة أحادية البعد، من خلال طلب تقسيم المصفوفات بشكل قطري الكتل وفقاً للتمثيلات غير القابلة للاختزال، يتم ترميز الثبات المعايري بأناقة.ملاحظة : هذا العمل نظري بحت ولا يتضمن تجارب عددية. يتم عرض صحة البناء النظري بشكل أساسي من خلال الاشتقاق الرياضي والإثبات الرسمي.
التحقق من تحويل المعايرة الصريح : من خلال الحساب المباشر لـ U ^ [ g ] ∣ ψ ⟩ \hat{U}[g]|\psi\rangle U ^ [ g ] ∣ ψ ⟩ للتحقق من عدم التغيرالتوسع الضعيف الاقتران : عرض الاتساق مع بنية خط ويلسون المعروفة في حد g → 0 g\to 0 g → 0 التبسيط أحادي البعد : من خلال المقارنة مع نظرية CMPS المعروفة للتحقق من معقولية البناءتقارب الحد المستمر : من خلال تحليل التحجيم إثبات تقارب الحالة على الشبكة إلى الحالة المستمرةنظرية الثبات المعايري :إثبات أن gCPEPS تحقق G ^ a ( x ) ∣ ψ B , V , J ⟩ = 0 \hat{G}^a(x)|\psi_{B,V,J}\rangle = 0 G ^ a ( x ) ∣ ψ B , V , J ⟩ = 0 لجميع المواقع x x x وجميع مؤشرات اللون a a a لجميع اختيارات المعاملات المتغيرة ( B , V , J ) (B,V,J) ( B , V , J ) وجود الحد المستمر :تقارب gPEPS على الشبكة إلى gCPEPS في حد a → 0 a\to 0 a → 0 شروط التقارب: A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) A(\phi,\chi,\eta) = e^{A(\phi,\chi,\eta)} A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) وحد الطاقة الحركية بشكل معين السلوك التحجيمي: [ ϕ ] = [ χ ] = ( D − 1 ) / 2 [\phi] = [\chi] = (D-1)/2 [ ϕ ] = [ χ ] = ( D − 1 ) /2 الشكل الصريح في الحالة أحادية البعد :إثبات أن gCMPS يمكن تمثيله باستخدام مصفوفات ذات بعد محدود ظهور حد خط ويلسون − i g A ^ a x Q virt a -ig\hat{A}^x_aQ^a_{\text{virt}} − i g A ^ a x Q virt a بشكل طبيعي يتم تحديد البنية الكتلية للمصفوفة بالكامل من خلال نظرية التمثيل لمجموعة المعايرة طبيعة خطوط ويلسون :في الرتبة O ( g ) O(g) O ( g ) ، تحتوي الحالة تلقائياً على خطوط ويلسون على طول تيار الجسيمات الافتراضية يمكن تفسير الحدود ذات الرتبة الأعلى كرد فعل مجال المعايرة على درجات الحرية الافتراضية الثنائية الافتراضية-الفيزيائية :المجالات الافتراضية χ \chi χ تحقق "قانون غاوس الافتراضي" (تماثل عام) تحويل المعايرة يرفع التماثل العام إلى التماثل المحلي الفيزيائي حفظ الشحنة يتم تجسيده على المستوى الافتراضي والفيزيائي مرونة الشروط الحدية :B [ χ ∂ M ] ∝ δ ( χ ∂ M ) B[\chi_{\partial M}] \propto \delta(\chi_{\partial M}) B [ χ ∂ M ] ∝ δ ( χ ∂ M ) : حدود ديريشليتB [ χ ∂ M ] ∝ δ ( n μ ∂ μ χ ∂ M ) B[\chi_{\partial M}] \propto \delta(n^\mu\partial_\mu\chi_{\partial M}) B [ χ ∂ M ] ∝ δ ( n μ ∂ μ χ ∂ M ) : حدود نيومانقد تكون الشروط الحدية غير المحلية ممكنة أيضاً (كما نوقش في المرجع 27 ) أساسيات MPS/PEPS : الإطار الذي أسسه Verstraete وآخرون 14,25 لشبكات الموتر للمجالات النقيةPEPS المعايرة : البناء المعايري بواسطة Zohar-Cirac 11 ، Zohar-Burrello 12 ، Haegeman وآخرون 13 نظريات الاكتمال : إثبات Kull وآخرون 30 و Blanik وآخرون 31 بأن gPEPS هي أعم الحالات الثابتة معايرياً على الشبكةCMPS : اقترحها Verstraete-Cirac 15 أولاً، طورها Haegeman وآخرون 16 بحساب التفاضل والتكاملCPEPS : التعميم المستمر بواسطة Tilloy-Cirac 27 ، Shachar-Zohar 26 التطبيقات العددية : خوارزميات التحسين المتغيرة بواسطة Tuybens وآخرون 17 ، Ganahl وآخرون 19 الشكل الهاميلتوني : نظرية المعايرة على الشبكة في إطار Kogut-Susskindبنية فضاء هيلبرت : مراجعة مفصلة في المرجع 33 لفضاء هيلبرت لمجال المعايرةالثنائية : Ashkenazi-Zohar 5 ، Roose-Zohar 6 حول ثنائية الشبكة والمستمرةالأول الذي يؤسس نظرية الحد المستمر لشبكات الموتر المعايرةتوحيد الوصف على الشبكة والمستمر، مع إنشاء جسر رياضي صارم توفير ansatz متغير جديد للدراسة غير الاضطرابية لنظريات المعايرة في الزمكان المستمر الكشف عن أصل بنية خط ويلسون في شبكات الموتر نجاح البناء النظري :نجح في تعريف حالات شبكة الموتر المعايرة في الزمكان المستمر (gCPEPS) إثبات صارم لثباتها المعايري وتحقيقها لقانون غاوس إنشاء ارتباط واضح مع النظرية على الشبكة حدس الشمولية :بناءً على إثبات أن gPEPS هي أعم الحالات الثابتة معايرياً على الشبكة يخمن المؤلفون أن gCPEPS هي أعم الحالات الثابتة معايرياً في الزمكان المستمر يُترك الإثبات الصارم للعمل المستقبلي قابلية معالجة الحالة أحادية البعد :gCMPS لها تمثيل مصفوفة ذات بعد محدود صريح البنية الخالية من الحلقات في البعد الواحد تجعل التنفيذ العددي أكثر جدوى تحديات التنفيذ العددي :تكلفة الحساب للانكماش في الأبعاد العالية قد تكون مرتفعة جداً قد يكون من الضروري تقييد الدراسة إلى فئة فرعية من gCPEPS من النوع الغاوسي الاكتمال النظري :لم يتم إثبات نظرية الشمولية بصرامة بعد لم يتم توصيف شروط الفرادة للحد المستمر بالكامل التطبيق الفيزيائي :لم يتم تطبيقها بعد على أنظمة فيزيائية محددة للحساب يحتاج الارتباط مع نظريات مثل QCD الفعلية إلى مزيد من التطوير الافتراضات التقنية :افترض الشكل الأسي A = e A A = e^{A} A = e A شكل معين لحد الطاقة الحركية (المعادلة 65) متطلب ترتيب Weyl (الحالة أحادية البعد) تطوير الخوارزميات العددية :خوارزمية التحسين المتغير لـ gCMPS أحادية البعد الانكماش الدقيق باستخدام القابلية للتكامل (عندما يتوافق لاغرانجيان التوليد مع نموذج قابل للتكامل) طرق تقريبية فعالة لـ gCPEPS من النوع الغاوسي التوسع النظري :الحد المستمر لمؤثرات الزوج المتشابك المسقط المعايرة (gMPO) الارتباط مع نظرية الثنائية المستمرة (المراجع 6,7 ) التعميم على تماثلات الشكل العالي التطبيقات الفيزيائية :الحالة الأرضية والحالات المثارة لنظريات المعايرة أحادية البعد (مثل نموذج Schwinger) دراسة انتقالات الطور والظواهر الحرجة المقارنة المنهجية مع نتائج Monte Carlo على الشبكة الصرامة الرياضية :إثبات أو دحض نظرية الشمولية التعريف الرياضي لمقياس التكامل الدالي تحليل اكتمال التقارب الابتكار النظري :الأصالة عالية : أول من يعمم شبكات الموتر المعايرة إلى الزمكان المستمر، مما يفتح اتجاهاً بحثياً جديداًالصرامة الرياضية : التحقق من الثبات المعايري من خلال الحساب الصريح، خطوات اشتقاق الحد المستمر واضحةالجمال المفاهيمي : صورة رفع قانون غاوس الافتراضي إلى قانون غاوس الفيزيائي بديهية جداًالمساهمة المنهجية :إطار التكميم الثاني : توفير لغة طبيعية لمعالجة بعد الرابط اللانهائيتحليل التحجيم : توضيح دور تحليل البعد الكتلي في نظرية المجال في شبكات الموترمنظور موحد : ربط الوصف على الشبكة والمستمر، والتماثل العام والمحليجودة الكتابة :البنية واضحة، تتقدم من التعريف إلى الإثبات إلى التطبيق بشكل متدرج التفاصيل التقنية كافية، جميع الخطوات الأساسية لها اشتقاق صريح التوازن الجيد بين الحدس الفيزيائي والصرامة الرياضية التأثير المحتمل :توفير أداة جديدة لنظريات المعايرة المقترنة بقوة مثل QCD غير الاضطرابية قد تلهم خوارزميات عددية جديدة ربط مجالات متعددة: فيزياء المادة المكثفة والفيزياء عالية الطاقة والمعلومات الكمية غياب التحقق العملي :لا توجد تجارب عددية : لم يتم توفير أي نتائج حسابية فعليةالجدوى غير معروفة : قد تكون التعقيدية الحسابية للانكماش في الأبعاد العالية عالية جداً بحيث يصعب تطبيق الطريقةغياب المقارنة : لا توجد مقارنة مع طرق موجودة مثل Monte Carlo على الشبكة أو نظرية الاضطرابالاكتمال النظري :عدم إثبات الشمولية : أهم حدس (gCPEPS هي أعم الحالات الثابتة معايرياً) لم يتم إثباته بعدمشكلة الفرادة : هل يمكن لسلاسل شبكة مختلفة أن تتقارب إلى حالات مستمرة مختلفة؟مشكلة المقياس : التعريف الرياضي الصارم لمقياس التكامل الدالي D 2 χ \mathcal{D}^2\chi D 2 χ غير موجودالمحتوى الفيزيائي :لا توجد أنظمة محددة : لم يتم تطبيقها على أي نموذج فيزيائي محدد (مثل U(1)، SU(2)، إلخ)غياب الديناميكا : تناقش فقط بناء الحالات، لم تتطرق إلى تطور الوقتحساب الكميات الملحوظة : لم يتم مناقشة كيفية حساب قيم التوقع لحلقات ويلسون وغيرها من الكميات الفيزيائيةالقيود التقنية :افتراضات خاصة : الشكل الأسي A = e A A=e^A A = e A وحد الطاقة الحركية المحدد لم يتم تبرير ضرورتهما بشكل كافٍالشروط الحدية : تم ذكر عدة خيارات فقط، التحليل المنهجي غير موجودإعادة التطبيع : لم يتم مناقشة الاختلافات فوق البنفسجية ومشاكل إعادة التطبيعالمساهمة للمجال :
الطابع الرائد : إنشاء اتجاه بحثي جديد، من المتوقع أن يثير أعمالاً لاحقةالتعاون بين التخصصات : ربط المعلومات الكمية (شبكات الموتر) والفيزياء عالية الطاقة (نظريات المعايرة)الأساس النظري : توفير أساس صلب للبحث العددي والتحليلي المستقبليالقيمة العملية :
قصير الأجل : من المتوقع أن يتم تحقيق تطبيقات عددية في الحالة أحادية البعد خلال 1-2 سنةمتوسط الأجل : قد تصبح gCPEPS من النوع الغاوسي ansatz متغير مفيدطويل الأجل : إذا نضجت الطرق العددية، قد تغير نموذج البحث في نظرية المعايرة على الشبكةقابلية إعادة الإنتاج :
الاشتقاق النظري : قابل للإعادة بالكامل، جميع الخطوات الأساسية موضحة بالتفصيلالتنفيذ العددي : يتطلب عملاً لاحقاً كبيراً، لم يتم توفير الكود من قبل المؤلفينصعوبة التحقق : قد يتطلب التحقق من الحالة العالية الأبعاد جهوداً لسنواتالأنسب للتطبيق :
نظريات المعايرة أحادية البعد :نموذج Schwinger (QED في 1+1 بعد) النظرية الفعالة منخفضة الطاقة لنظريات المعايرة على الشبكة أحادية البعد قد يتم تحقيقها من خلال خوارزميات من نوع DMRG منطقة الاقتران الضعيف :كتحسين على نظرية الاضطراب (يتضمن خطوط ويلسون غير الاضطرابية) كمعيار مقارنة مع طرق نظرية المجال القياسية البحث النظري :الدراسة الرسمية للتماثل المعايري نسخة مستمرة من الثنائية الأطوار الطوبولوجية والتماثلات عالية الشكل السيناريوهات غير المناسبة :
النظريات عالية الأبعاد المقترنة بقوة : قد تكون التعقيدية الحسابية مرتفعة جداًالديناميكا في الوقت الفعلي : بناء الحالة لم يتطرق إلى تطور الوقتدرجة حرارة محدودة : لم يتم مناقشة تعميم الحالات الحراريةقابل للتنفيذ فوراً :تنفيذ خوارزمية gCMPS على نموذج Schwinger أحادي البعد المقارنة مع الحل الدقيق (Bosonization) حساب الكميات الملحوظة البسيطة (الطاقة، دوال الارتباط) الأهداف متوسطة الأجل :تطوير خوارزمية فعالة لـ gCPEPS من النوع الغاوسي دراسة نظريات المعايرة Abelian ثنائية الأبعاد المقارنة المنهجية مع نتائج Monte Carlo على الشبكة الرؤية طويلة الأجل :إثبات أو دحض حدس الشمولية التعميم على نظريات المعايرة غير Abelian (مثل QCD) إنشاء ارتباط مع مجموعة إعادة التطبيع المستمرة 11 E. Zohar and J. I. Cirac, Combining tensor networks with Monte Carlo methods for lattice gauge theories , Phys. Rev. D 97 , 034510 (2018).
13 J. Haegeman et al., Gauging quantum states: From global to local symmetries in many-body systems , Phys. Rev. X 5 , 011024 (2015).
15 F. Verstraete and J. I. Cirac, Continuous matrix product states for quantum fields , Phys. Rev. Lett. 104 , 190405 (2010).
27 A. Tilloy and J. I. Cirac, Continuous tensor network states for quantum fields , Phys. Rev. X 9 , 021040 (2019).
30 I. Kull et al., Classification of matrix product states with a local (gauge) symmetry , Ann. Phys. 386 , 199 (2017).
31 D. Blanik et al., Internal structure of gauge-invariant projected entangled pair states , J. Phys. A 58 , 065301 (2025).
التقييم الشامل : هذه ورقة فيزياء نظرية عالية الجودة، تقدم مساهمة أصلية وهامة في وصف نظريات المعايرة باستخدام شبكات الموتر. على الرغم من غياب التحقق العددي، فإن البناء النظري صارم والصورة الفيزيائية واضحة، مما يوفر أساساً متيناً للبحث المستقبلي. أكبر قيمة للورقة تكمن في إنشاء جسر بين الوصف على الشبكة والمستمر، والكشف عن أصل بنية خط ويلسون في شبكات الموتر. يُنصح بأن يركز البحث اللاحق على التنفيذ العددي في الأنظمة أحادية البعد أولاً، للتحقق من الجدوى العملية للنظرية.