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.
Papier-ID : 2511.10189Titel : Continuum limit of gauged tensor network statesAutoren : Gertian Roose, Erez Zohar (Universität Tel Aviv)Klassifizierung : hep-th (Hochenergiephysik-Theorie), cond-mat.str-el (Kondensierte Materie-Stark korrelierte Elektronensysteme), hep-lat (Gitterfeld-Theorie), quant-ph (Quantenphysik)Veröffentlichungsdatum : 14. November 2025Papier-Link : https://arxiv.org/abs/2511.10189v1 Alle physikalisch relevanten Zustände in Eichtheorien befinden sich in Hilbert-Raum-Sektoren, die das Gaußsche Gesetz erfüllen. Auf dem Gitter ist bekannt, dass der explizit eichinvariante Unterraum durch gemessene Tensornetzwerke exakt aufgespannt werden kann. Diese Arbeit beweist, dass der Kontinuumlimes bestimmter Typen gemessener Tensornetzwerke wohldefniert ist und zu einer neuen Klasse von Zuständen führt, die zur direkten nichtperturbativen Untersuchung von Eichtheorien im Kontinuumlimes beitragen könnten.
Nichtperturbative Untersuchung von Eichtheorien :
Eichtheorien sind der Grundstein der modernen Physik (wie die fundamentalen Wechselwirkungen im Standardmodell), aber ihr reichhaltiges Phasendiagramm enthält viele Phasen, die durch Störungstheorie nicht verstanden werden können. Insbesondere in der starken Kopplungsregion sind eichinvariante Objekte (wie Wilson-Schleifen und Wilson-Linien) nichtlokal, und die Störungstheorie versagt.Kluft zwischen Gitter und Kontinuumlimes :
Obwohl gemessene projizierte verschränkte Paar-Zustände (gPEPS) auf dem Gitter einen Rahmen bieten, der nur eichinvariante Objekte enthält, bleibt die Frage offen, wie dieser Rahmen auf kontinuierliche Raumzeit verallgemeinert werden kann.Theoretische Vollständigkeit : Kürzliche Beweise zeigen, dass gemessene PEPS und MPS die allgemeinsten eichinvarianten Zustände auf dem Gitter sind. Wenn die Existenz ihres Kontinuumlimes nachgewiesen werden kann, würde dies einen vollständigen Beschreibungsrahmen für eichinvariante Zustände in kontinuierlicher Raumzeit etablieren.Numerische Anwendungsperspektiven : Kontinuierliche Tensornetzwerke für reine Materiefelder (wie CMPS und CPEPS) haben sich als wertvolle numerische Werkzeuge erwiesen; gemessene Versionen könnten neue Rechenmethoden für den Kontinuumlimes von Gitter-Eichtheorien bieten.Nichtperturbative Methoden : Bietet neue Wege zur direkten Untersuchung stark gekoppelter Eichtheorien in kontinuierlicher Raumzeit.Kontinuierliche Tensornetzwerke für reine Materiefelder (CMPS, CPEPS) haben eine ausgereifte Theorie, aber es fehlt die Behandlung von Eichfeldern Gitter-Eichtheorie-Methoden können schwer direkt zum Kontinuumlimes übergehen Perturbative Methoden versagen in der starken Kopplungsregion Definition von gemessenen kontinuierlichen projizierten verschränkten Paar-Zuständen (gCPEPS) : Verallgemeinerung von Gitter-gemessenen Tensornetzwerken auf kontinuierliche Raumzeit, Etablierung einer neuen Klasse von Variationszuständen, die Eich- und Materiefelder enthalten.Strenger Beweis der Eichinvarianz : Durch explizite Berechnung wird verifiziert, dass gCPEPS lokale Eichsymmetrie und Gaußsche Gesetz-Beschränkungen erfüllt.Konstruktion von gemessenem CMPS im eindimensionalen Fall : Demonstration der vereinfachten Form im eindimensionalen Fall, wobei der Hilfsraum mit erster Quantisierung behandelt werden kann und der Zustand eine explizite Wilson-Linien-Struktur hat.Beweis der Existenz des Kontinuumlimes : Strenger Beweis, dass Gitter-gemessene PEPS unter geeigneten Bedingungen zu gCPEPS konvergieren, Etablierung einer Brücke zwischen diskreter und kontinuierlicher Theorie.Enthüllung der natürlichen Entstehung von Wilson-Linien : In der Schwachkopplungs-Entwicklung wird explizit das physikalische Bild gezeigt, wie virtuelle Teilchenströme Wilson-Linien erzeugen.Konstruktion von eichinvarianten Zuständen in kontinuierlicher Raumzeit, die:
Das Gaußsche Gesetz erfüllen: G ^ a ( x ) ∣ ψ ⟩ = 0 \hat{G}^a(x)|\psi\rangle = 0 G ^ a ( x ) ∣ ψ ⟩ = 0 Als Kontinuumlimes von Gitter-gemessenen Tensornetzwerken dienen können Klare Variationsparameter und physikalische Interpretation haben Eingabe : Eichgruppe G, räumliche Mannigfaltigkeit M, Variationsfunktionale (B, V, J)
Ausgabe : Quantenzustand ∣ ψ B , V , J ⟩ |\psi_{B,V,J}\rangle ∣ ψ B , V , J ⟩ , der Eichinvarianz erfüllt
Der gemessene kontinuierliche PEPS ist definiert als:
∣ ψ 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 ⟩
wobei:
ϕ α ( x ) \phi_\alpha(x) ϕ α ( x ) : Materiefeld (komplexes Skalarfeld in fundamentaler Darstellung)χ j α ( x ) \chi^\alpha_j(x) χ j α ( x ) : Hilfsfeld (virtuelle Freiheitsgrade)A ^ a μ ( x ) \hat{A}^\mu_a(x) A ^ a μ ( x ) : Eichfeld-Operator (Lie-Algebra-wertig)∣ s E ⟩ |s_E\rangle ∣ s E ⟩ : Elektrofeld-Singlett (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 ] : RandfunktionalV [ χ ] , J [ χ , ϕ ] V[\chi], J[\chi,\phi] V [ χ ] , J [ χ , ϕ ] : Volumenfunktionale (Variationsparameter)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 [ χ , ϕ ]
Die kovariante Ableitung ist definiert als:
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 )
wobei g g g die Kopplungskonstante ist und T j a T^{ja} T ja die Generatoren der Eichgruppe in Darstellung j j j sind.
Lokaler Eichtransformations-Operator:
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 )
Gaußscher Gesetz-Operator:
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 )
wobei Q ^ a ( x ) \hat{Q}^a(x) Q ^ a ( x ) die Ladungsdichte des Materiefeldes ist und D ^ μ E ^ a μ \hat{D}_\mu\hat{E}^\mu_a D ^ μ E ^ a μ die kovariante Divergenz des Elektrofeldes ist.
Materiefeld: 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 ) Eichfeld: 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 )) Elektrofeld-Singlett: U ^ [ g ] ∣ s E ⟩ = ∣ s E ⟩ \hat{U}[g]|s_E\rangle = |s_E\rangle U ^ [ g ] ∣ s E ⟩ = ∣ s E ⟩ Durch Variablenwechsel ϕ ~ α = D j f ( g ) ϕ α \tilde{\phi}_\alpha = D^{j_f}(g)\phi_\alpha ϕ ~ α = D j f ( g ) ϕ α und χ ~ j α = D j ( g − 1 ) χ j α \tilde{\chi}^\alpha_j = D^j(g^{-1})\chi^\alpha_j χ ~ j α = D j ( g − 1 ) χ j α wird bewiesen:
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 ⟩
genau dann, wenn die erzeugende Lagrange-Dichte L ^ \hat{\mathcal{L}} L ^ selbst eichinvariant ist.
In der Schwachkopplungs-Entwicklung (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 ⟩
wobei der virtuelle Teilchenstrom:
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 )
Der Exponentialterm e − i g ∫ A ^ a μ J a μ e^{-ig\int \hat{A}^\mu_a J^\mu_a} e − i g ∫ A ^ a μ J a μ ist genau der Wilson-Linien-Erzeugungsoperator entlang des virtuellen Teilchenstrompfads:
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 ) )
Im eindimensionalen Fall vereinfacht sich der Zustand zu:
∣ ψ ⟩ = 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 ⟩
wobei:
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 : Endlich-dimensionale Matrizen (Hilfsraum)Q virt a Q^a_{\text{virt}} Q virt a : Virtueller Ladungs-OperatorMatrizen sind blockdiagonal nach irreduziblen Darstellungen der Eichgruppe Blockstruktur-Bedingungen (sichern Eichinvarianz):
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 (fügt ein Materiefeld-Quantenzahl hinzu)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 (entfernt ein Materiefeld-Quantenzahl)An Gitterpositionen n n n definieren wir:
Physikalische Felder: ϕ ^ α n \hat{\phi}_{\alpha n} ϕ ^ α n und ihre konjugierten Impulse π ^ α n ϕ \hat{\pi}^{\phi}_{\alpha n} π ^ α n ϕ Virtuelle Felder:
Bindungen in positive Richtung: χ ^ 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 χ Bindungen in negative Richtung: η ^ 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 η Definieren Sie die Gruppenwirkung:
θ ^ ( 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
wobei der Ladungs-Operator:
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 ⟩
Gitter-Tensor:
∣ 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 ⟩
Bindungs-Tensor:
∣ 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 )
Globale Symmetrie-Bedingung :
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 )
Auf jeder Bindung n e i n\mathbf{e}_i n e i führen wir ein:
Links- und Rechts-Wirkungsoperatoren: 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 , die Lie-Algebra-Kommutationsrelationen erfüllen Gruppenelement-Basis: ∣ g ⟩ n e i |g\rangle_{n\mathbf{e}_i} ∣ g ⟩ n e i Elektrofeld-Basis: ∣ 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
Dies ist ein kontrollierter Elektrofeld-Erhebungs-Operator, der auch als kontrollierte linke Gruppenwirkung auf die η \eta η -Variablen interpretiert werden kann.
Schlüsseleigenschaft :
θ ^ 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 ⟩
Nach Kontraktion:
∣ ψ 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 ⟩
Skalarfeld: ϕ ( x = n a ) = a [ ϕ ( x ) ] ϕ n \phi(x=na) = a^{[\phi(x)]}\phi_n ϕ ( x = na ) = a [ ϕ ( x )] ϕ n , wobei [ ϕ ( x ) ] = D − 1 2 [\phi(x)] = \frac{D-1}{2} [ ϕ ( x )] = 2 D − 1 Eichfeld: 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 )
wobei 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 die kovariante Ableitung ist.
Annahme A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) A(\phi,\chi,\eta) = e^{A(\phi,\chi,\eta)} A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) und Wahl:
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 )
Im Kontinuumlimes:
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 )⟩
Mit ⟨ A ( x ) ∣ s E ⟩ = 1 \langle A(x)|s_E\rangle = 1 ⟨ A ( x ) ∣ s E ⟩ = 1 ist dies genau die vorgeschlagene gCPEPS-Form.
Zweite-Quantisierungs-Rahmen : Im Gegensatz zur traditionellen PEPS-Behandlung mit erster Quantisierung wird ein Feldoperator-Rahmen verwendet, der sich natürlich an unendliche Bindungsdimensionen anpasst.Operatoren-Behandlung von Eichfeldern : Eichfelder A ^ a μ \hat{A}^\mu_a A ^ a μ werden als Operatoren statt als klassische Hintergrundfelder behandelt; physikalische Projektion wird durch inneres Produkt mit dem Elektrofeld-Singlett realisiert.Kontrollierte Eichtransformationen : Der Eichungs-Operator U ^ Gauge \hat{U}_{\text{Gauge}} U ^ Gauge koppelt geschickt virtuelle Teilchenladungen an Eichfelder und erzeugt automatisch Wilson-Linien-Struktur.Strenge Skalierungsanalyse : Klare Festlegung der Massendimensions-Skalierungsbeziehungen von Feldern, um die Wohldefiniertheit des Kontinuumlimes zu sichern.Blockdiagonale Struktur : Im eindimensionalen Fall wird durch Forderung, dass Matrizen blockdiagonal nach irreduziblen Darstellungen sind, Eichinvarianz elegant kodiert.Anmerkung : Dies ist eine rein theoretische Arbeit ohne numerische Experimente. Die Korrektheit der theoretischen Konstruktion wird hauptsächlich durch mathematische Ableitungen und formale Beweise demonstriert.
Explizite Eichtransformations-Verifikation : Durch direkte Berechnung von U ^ [ g ] ∣ ψ ⟩ \hat{U}[g]|\psi\rangle U ^ [ g ] ∣ ψ ⟩ wird Invarianz verifiziertSchwachkopplungs-Entwicklung : Demonstration der Konsistenz mit bekannten Wilson-Linien-Strukturen im Limes g → 0 g\to 0 g → 0 Eindimensionale Vereinfachung : Verifikation der Konstruktion durch Vergleich mit bekannter CMPS-TheorieKontinuumlimes-Konvergenz : Beweis der Konvergenz von Gitter-Zuständen zu kontinuierlichen Zuständen durch SkalierungsanalyseEichinvarianz-Theorem :Beweis, dass 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 erfüllt Gilt für alle Positionen x x x und alle Farbindizes a a a Gilt für alle Wahlen der Variationsparameter ( B , V , J ) (B,V,J) ( B , V , J ) Existenz des Kontinuumlimes :Gitter-gemessene PEPS konvergieren im Limes a → 0 a\to 0 a → 0 zu gCPEPS Konvergenzbedingungen: A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) A(\phi,\chi,\eta) = e^{A(\phi,\chi,\eta)} A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) und spezifische Kinetik-Form Skalierungsverhalten: [ ϕ ] = [ χ ] = ( D − 1 ) / 2 [\phi] = [\chi] = (D-1)/2 [ ϕ ] = [ χ ] = ( D − 1 ) /2 Explizite Form im eindimensionalen Fall :Beweis, dass gCMPS mit endlich-dimensionalen Matrizen dargestellt werden kann Wilson-Linien-Term − i g A ^ a x Q virt a -ig\hat{A}^x_aQ^a_{\text{virt}} − i g A ^ a x Q virt a tritt natürlich auf Matrixblockstruktur wird vollständig durch Eichgruppen-Darstellungstheorie bestimmt Natürlichkeit von Wilson-Linien :In O ( g ) O(g) O ( g ) -Ordnung enthält der Zustand automatisch Wilson-Linien entlang virtueller Teilchenströme Höherordnungs-Terme können als Rückwirkung des Eichfeldes auf virtuelle Freiheitsgrade interpretiert werden Virtuelle-Physikalische Dualität :Virtuelle Felder χ \chi χ erfüllen "virtuelles Gaußsches Gesetz" (globale Symmetrie) Eichungs-Prozess hebt globale Symmetrie zu physikalischer lokaler Symmetrie Ladungserhaltung manifestiert sich auf virtueller und physikalischer Ebene Flexibilität der Randbedingungen :B [ χ ∂ M ] ∝ δ ( χ ∂ M ) B[\chi_{\partial M}] \propto \delta(\chi_{\partial M}) B [ χ ∂ M ] ∝ δ ( χ ∂ M ) : Dirichlet-RandbedingungenB [ χ ∂ M ] ∝ δ ( n μ ∂ μ χ ∂ M ) B[\chi_{\partial M}] \propto \delta(n^\mu\partial_\mu\chi_{\partial M}) B [ χ ∂ M ] ∝ δ ( n μ ∂ μ χ ∂ M ) : Neumann-RandbedingungenAuch nichtlokale Randbedingungen sind möglich (wie in Referenz 27 diskutiert) MPS/PEPS-Grundlagen : Von Verstraete et al. 14,25 etablierter Rahmen für reine Materie-TensornetzwerkeGemessene PEPS : Gemessene Konstruktionen von Zohar-Cirac 11 , Zohar-Burrello 12 , Haegeman et al. 13 Vollständigkeits-Theoreme : Beweis von Kull et al. 30 und Blanik et al. 31 , dass gPEPS die allgemeinsten eichinvarianten Zustände auf dem Gitter sindCMPS : Erstmals von Verstraete-Cirac 15 vorgeschlagen, entwickelt von Haegeman et al. 16 CPEPS : Kontinuierliche Verallgemeinerung von Tilloy-Cirac 27 , Shachar-Zohar 26 Numerische Anwendungen : Variationsoptimierungs-Algorithmen von Tuybens et al. 17 , Ganahl et al. 19 Hamiltonian-Form : Gitter-Eichtheorien im Kogut-Susskind-RahmenHilbert-Raum-Struktur : Detaillierte Übersicht der Eichfeld-Hilbert-Raum-Struktur in Referenz 33 Dualitäten : Arbeiten von Ashkenazi-Zohar 5 , Roose-Zohar 6 zu Gitter- und Kontinuums-DualitätenErstmals Etablierung der Kontinuumlimes-Theorie für gemessene TensornetzwerkeVereinigung von Gitter- und kontinuierlicher Beschreibung mit strenger mathematischer Brücke Bereitstellung eines neuen Variationsansatzes für nichtperturbative Eichtheorien in kontinuierlicher Raumzeit Enthüllung des Tensornetzwerk-Ursprungs der Wilson-Linien-Struktur Erfolg der theoretischen Konstruktion :Erfolgreiche Definition von gemessenen Tensornetzwerk-Zuständen in kontinuierlicher Raumzeit (gCPEPS) Strenger Beweis ihrer Eichinvarianz und Erfüllung des Gaußschen Gesetzes Etablierung expliziter Verbindung zur Gitter-Theorie Universalitäts-Vermutung :Basierend auf dem Beweis, dass gPEPS die allgemeinsten eichinvarianten Zustände auf dem Gitter sind Autoren vermuten, dass gCPEPS die allgemeinsten eichinvarianten Zustände in kontinuierlicher Raumzeit sind Strenger Beweis bleibt zukünftiger Arbeit vorbehalten Handhabbarkeit im eindimensionalen Fall :gCMPS hat explizite endlich-dimensionale Matrixdarstellung Eindimensionale Struktur ohne Schleifen macht numerische Implementierung machbarer Herausforderungen der numerischen Implementierung :Kontraktionsberechnung in höheren Dimensionen ist extrem aufwändig Möglicherweise Beschränkung auf Gaußsche gCPEPS-Unterklasse nötig Theoretische Vollständigkeit :Universalitäts-Theorem noch nicht streng bewiesen Eindeutigkeitsbedingungen des Kontinuumlimes nicht vollständig charakterisiert Physikalische Anwendungen :Noch nicht auf konkrete physikalische Systeme angewendet Verbindung zu praktischen QCD-Theorien muss noch etabliert werden Technische Annahmen :Annahme der Exponentialform A = e A A = e^{A} A = e A Spezifische Form des Kinetik-Terms (Gleichung 65) Weyl-Ordnungs-Anforderung (eindimensionaler Fall) Unmittelbar durchführbar :Entwicklung von Variationsoptimierungs-Algorithmen für eindimensionales gCMPS Nutzung von Integrabilität für exakte Kontraktion (wenn erzeugende Lagrange-Dichte integrablem Modell entspricht) Effiziente Approximationsmethoden für Gaußsche gCPEPS Mittelfristige Ziele :Entwicklung von gemessenen Matrix-Produkt-Operatoren (gMPO) im Kontinuumlimes Verbindung zu kontinuierlicher Dualitäts-Theorie (Referenzen 6,7 ) Verallgemeinerung auf höhere Formensymmetrien Langfristige Vision :Anwendung auf eindimensionale Eichtheorien (Schwinger-Modell etc.) Untersuchung von Phasenübergängen und kritischen Phänomenen Systematischer Vergleich mit Gitter-Monte-Carlo-Ergebnissen Mathematische Verbesserung :Strenger Beweis oder Widerlegung der Universalitäts-Vermutung Mathematische Definition des Funktionalintegral-Maßes Vollständige Konvergenzanalyse Theoretische Innovativität :Hohe Originalität : Erstmalige Verallgemeinerung gemessener Tensornetzwerke auf kontinuierliche Raumzeit, Eröffnung neuer ForschungsrichtungMathematische Strenge : Eichinvarianz durch explizite Berechnung verifiziert, Kontinuumlimes-Herleitung mit klaren SchrittenKonzeptionelle Eleganz : Bild der Erhebung virtuellen Gaußschen Gesetzes zu physikalischem Gaußschen Gesetz sehr intuitivMethodologische Beiträge :Zweite-Quantisierungs-Rahmen : Natürliche Sprache für Behandlung unendlicher BindungsdimensionenSkalierungsanalyse : Klare Darstellung der Rolle der Feldtheorie-Dimensionsanalyse in TensornetzwerkenEinheitliche Perspektive : Verbindung von Gitter und Kontinuum, globaler und lokaler SymmetrieSchreibqualität :Klare Struktur, schrittweise Progression von Definition zu Beweis zu Anwendung Ausreichende technische Details, alle Schlüsselschritte explizit hergeleitet Gutes Gleichgewicht zwischen physikalischer Intuition und mathematischer Strenge Potenzielle Auswirkungen :Bereitstellung neuer Werkzeuge für nichtperturbative QCD und stark gekoppelte Eichtheorien Mögliche Inspiration für neue numerische Algorithmen Verbindung von Kondensierter Materie, Hochenergie- und Quanteninformationsphysik Fehlende praktische Verifikation :Keine numerischen Experimente : Keine tatsächlichen Rechenergebnisse bereitgestelltMachbarkeit unklar : Rechenkomplexität der Kontraktion in höheren Dimensionen könnte Methode unpraktisch machenFehlende Vergleiche : Kein Vergleich mit Gitter-Monte-Carlo, Störungstheorie etc.Theoretische Vollständigkeit :Universalität nicht bewiesen : Wichtigste Vermutung (gCPEPS sind allgemeinste eichinvariante Zustände) nur VermutungEindeutigkeitsproblem : Können verschiedene Gitter-Sequenzen zu verschiedenen kontinuierlichen Zuständen konvergieren?Maßproblem : Strikte Definition des Funktionalmaßes D 2 χ \mathcal{D}^2\chi D 2 χ fehltPhysikalischer Inhalt :Keine konkreten Systeme : Nicht auf konkrete physikalische Modelle (wie U(1), SU(2) etc.) angewendetDynamik fehlt : Nur Zustandskonstruktion diskutiert, keine ZeitentwicklungBeobachtbare Größen : Berechnung von Wilson-Schleifen-Erwartungswerten etc. nicht diskutiertTechnische Einschränkungen :Spezielle Annahmen : Notwendigkeit der Exponentialform A = e A A=e^A A = e A und spezifischer Kinetik-Form nicht ausreichend begründetRandbedingungen : Nur kurze Erwähnung einiger Wahlen, systematische Analyse fehltRenormalisierung : UV-Divergenzen und Renormalisierungsprobleme nicht diskutiertBeitrag zum Gebiet :
Bahnbrechend : Etabliert völlig neue Forschungsrichtung, erwartet nachfolgende ArbeitenInterdisziplinär : Verbindung von Quanteninformation (Tensornetzwerke) und Hochenergiephysik (Eichtheorien)Theoretische Grundlage : Solide Basis für zukünftige numerische und analytische ForschungPraktischer Wert :
Kurzfristig : Eindimensionaler Fall könnte in 1-2 Jahren numerisch implementiert werdenMittelfristig : Gaußsche gCPEPS könnten nützlicher Variationsansatz werdenLangfristig : Bei Reife numerischer Methoden könnte Forschungsparadigma für Gitter-Eichtheorien verändert werdenReproduzierbarkeit :
Theoretische Herleitung : Vollständig reproduzierbar, alle Schritte detailliertNumerische Implementierung : Erfordert erhebliche Zusatzarbeit, keine Codes bereitgestelltVerifikationsschwierigkeit : Verifikation in höheren Dimensionen könnte Jahre dauernBeste Anwendungen :
Eindimensionale Eichtheorien :Schwinger-Modell (1+1-dimensionale QED) Niedrig-Energie-Effektivtheorie eindimensionaler Gitter-Eichtheorien Mögliche Implementierung durch DMRG-ähnliche Algorithmen Schwachkopplungsregion :Verbesserung der Störungstheorie (enthält nichtperturbative Wilson-Linien) Vergleichsbasis mit Standardfeld-Theorie-Methoden Theoretische Forschung :Formale Untersuchung von Eichsymmetrie Kontinuierliche Version von Dualitäten Topologische Phasen und höhere Formensymmetrien Weniger geeignete Szenarien :
Stark gekoppelte hochdimensionale Theorien : Rechenkomplexität möglicherweise zu hochReale Dynamik : Zustandskonstruktion berücksichtigt keine ZeitentwicklungEndliche Temperatur : Verallgemeinerung auf thermische Zustände nicht diskutiertUnmittelbar durchführbar :Implementierung von gCMPS-Algorithmus auf eindimensionalem Schwinger-Modell Vergleich mit exakten Lösungen (Bosonisierung) Berechnung einfacher Observablen (Energie, Korrelationsfunktionen) Mittelfristige Ziele :Entwicklung effizienter Algorithmen für Gaußsche gCPEPS Untersuchung zweidimensionaler Abelian-Eichtheorien Systematischer Vergleich mit Gitter-Monte-Carlo-Ergebnissen Langfristige Vision :Beweis oder Widerlegung der Universalitäts-Vermutung Verallgemeinerung auf nichtabelsche Eichtheorien (wie QCD) Etablierung von Verbindung zur kontinuierlichen Renormalisierungsgruppe 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).
Gesamtbewertung : Dies ist ein hochqualitatives theoretisches Physik-Papier mit wichtigen Originalcontributionen zur Tensornetzwerk-Beschreibung von Eichtheorien. Obwohl numerische Verifikation fehlt, ist die theoretische Konstruktion streng und das physikalische Bild klar, mit solider Grundlage für zukünftige Forschung. Der größte Wert liegt in der Etablierung einer Brücke zwischen Gitter- und kontinuierlicher Beschreibung sowie der Enthüllung des Tensornetzwerk-Ursprungs von Wilson-Linien. Empfohlen wird, dass Folgeforscher zunächst auf eindimensionalen Systemen numerische Implementierungen durchführen, um die praktische Anwendbarkeit der Theorie zu verifizieren.