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.
ID Articolo : 2511.10189Titolo : Continuum limit of gauged tensor network statesAutori : Gertian Roose, Erez Zohar (Università di Tel Aviv)Classificazione : hep-th (Fisica delle alte energie-Teoria), cond-mat.str-el (Fisica della materia condensata-Sistemi di elettroni fortemente correlati), hep-lat (Teoria dei campi su reticolo), quant-ph (Fisica quantistica)Data di Pubblicazione : 14 novembre 2025Link dell'articolo : https://arxiv.org/abs/2511.10189v1 Tutti gli stati fisicamente rilevanti nelle teorie di gauge si trovano nel settore dello spazio di Hilbert che soddisfa la legge di Gauss. Su reticolo, è noto che lo spazio invariante di gauge esplicito può essere esattamente coperto da reti tensoriali di gauge. Questo lavoro dimostra che il limite continuo di certi tipi di reti tensoriali di gauge è ben definito e conduce a una nuova classe di stati, che potrebbe facilitare lo studio non perturbativo diretto delle teorie di gauge nel limite continuo.
Difficoltà dello studio non perturbativo delle teorie di gauge : Le teorie di gauge sono fondamentali nella fisica moderna (come le interazioni fondamentali nel Modello Standard), ma il loro ricco diagramma di fase contiene molte fasi incomprensibili attraverso la teoria perturbativa. In particolare nella regione di accoppiamento forte, gli oggetti invarianti di gauge (come i loop di Wilson e le linee di Wilson) sono non locali e la teoria perturbativa fallisce.Divario tra reticolo e limite continuo : Sebbene gli stati PEPS proiettati entangled pair di gauge (gPEPS) su reticolo forniscano un framework contenente solo oggetti invarianti di gauge, come estendere questo framework allo spaziotempo continuo rimane un problema aperto.Completezza teorica : Recenti dimostrazioni hanno stabilito che i PEPS e gli MPS di gauge sono gli stati invarianti di gauge più generali su reticolo. Se si potesse provare l'esistenza del loro limite continuo, si stabilirebbe un framework completo per la descrizione degli stati invarianti di gauge nello spaziotempo continuo.Prospettive di applicazione numerica : Le reti tensoriali continue di pura materia (come CMPS e CPEPS) si sono rivelate strumenti numerici preziosi; le versioni di gauge promettono di fornire nuovi metodi computazionali per il limite continuo della teoria di gauge su reticolo.Metodi non perturbativi : Fornisce nuove vie per lo studio diretto della teoria di gauge fortemente accoppiata nello spaziotempo continuo.Le reti tensoriali continue di pura materia (CMPS, CPEPS) hanno una teoria matura, ma mancano del trattamento dei campi di gauge I metodi della teoria di gauge su reticolo hanno difficoltà nel prendere direttamente il limite continuo I metodi perturbativi falliscono nella regione di accoppiamento forte Definizione degli stati PEPS proiettati entangled pair di gauge continui (gCPEPS) : Estensione delle reti tensoriali di gauge su reticolo allo spaziotempo continuo, stabilendo una nuova classe di stati variazionali contenenti campi di gauge e di materia.Dimostrazione rigorosa dell'invarianza di gauge : Attraverso calcoli espliciti si verifica che gCPEPS soddisfa la simmetria di gauge locale e i vincoli della legge di Gauss.Costruzione della CMPS di gauge unidimensionale : Dimostrazione della forma semplificata nel caso unidimensionale, dove lo spazio ausiliario può essere trattato con quantizzazione al primo ordine, con lo stato che ha una struttura esplicita di linea di Wilson.Dimostrazione dell'esistenza del limite continuo : Prova rigorosa che i PEPS di gauge su reticolo convergono a gCPEPS in condizioni appropriate, stabilendo un ponte tra la teoria discreta e continua.Rivelazione dell'emergenza naturale delle linee di Wilson : Nell'espansione di accoppiamento debole, si dimostra esplicitamente l'immagine fisica di come i flussi di particelle virtuali producono linee di Wilson.Costruire stati invarianti di gauge nello spaziotempo continuo che:
Soddisfino il vincolo della legge di Gauss: G ^ a ( x ) ∣ ψ ⟩ = 0 \hat{G}^a(x)|\psi\rangle = 0 G ^ a ( x ) ∣ ψ ⟩ = 0 Possano servire come limite continuo delle reti tensoriali di gauge su reticolo Abbiano parametri variazionali espliciti e interpretazione fisica Input : Gruppo di gauge G, varietà spaziale M, funzionali variazionali (B, V, J)
Output : Stato quantico ∣ ψ B , V , J ⟩ |\psi_{B,V,J}\rangle ∣ ψ B , V , J ⟩ che soddisfa l'invarianza di gauge
Lo stato PEPS continuo di gauge è definito come:
∣ ψ 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 ⟩
dove:
ϕ α ( x ) \phi_\alpha(x) ϕ α ( x ) : campo di materia (campo scalare complesso in rappresentazione fondamentale)χ j α ( x ) \chi^\alpha_j(x) χ j α ( x ) : campo ausiliario (gradi di libertà virtuali)A ^ a μ ( x ) \hat{A}^\mu_a(x) A ^ a μ ( x ) : operatore di campo di gauge (a valori nell'algebra di Lie)∣ s E ⟩ |s_E\rangle ∣ s E ⟩ : singoletto di campo elettrico (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 ] : funzionale di bordoV [ χ ] , J [ χ , ϕ ] V[\chi], J[\chi,\phi] V [ χ ] , J [ χ , ϕ ] : funzionali di volume (parametri variazionali)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 [ χ , ϕ ]
La derivata covariante è definita come:
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 )
dove g g g è la costante di accoppiamento e T j a T^{ja} T ja sono i generatori del gruppo di gauge nella rappresentazione j j j .
Operatore di trasformazione di gauge locale:
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 )
Operatore della legge di Gauss:
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 )
dove Q ^ a ( x ) \hat{Q}^a(x) Q ^ a ( x ) è la densità di carica del campo di materia e D ^ μ E ^ a μ \hat{D}_\mu\hat{E}^\mu_a D ^ μ E ^ a μ è la divergenza covariante del campo elettrico.
Campo di materia: 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 ) Campo di gauge: 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 )) Singoletto di campo elettrico: U ^ [ g ] ∣ s E ⟩ = ∣ s E ⟩ \hat{U}[g]|s_E\rangle = |s_E\rangle U ^ [ g ] ∣ s E ⟩ = ∣ s E ⟩ Attraverso il cambio di variabili ϕ ~ α = D j f ( g ) ϕ α \tilde{\phi}_\alpha = D^{j_f}(g)\phi_\alpha ϕ ~ α = D j f ( g ) ϕ α e χ ~ j α = D j ( g − 1 ) χ j α \tilde{\chi}^\alpha_j = D^j(g^{-1})\chi^\alpha_j χ ~ j α = D j ( g − 1 ) χ j α , si dimostra che:
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 ⟩
se e solo se la lagrangiana generatrice L ^ \hat{\mathcal{L}} L ^ stessa è invariante di gauge.
Nell'espansione di accoppiamento debole (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 ⟩
dove il flusso di particelle virtuali è:
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 )
Il termine esponenziale e − i g ∫ A ^ a μ J a μ e^{-ig\int \hat{A}^\mu_a J^\mu_a} e − i g ∫ A ^ a μ J a μ è esattamente l'operatore di creazione della linea di Wilson lungo il percorso del flusso di particelle virtuali:
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 ) )
Nel caso unidimensionale, lo stato si semplifica a:
∣ ψ ⟩ = 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 ⟩
dove:
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 : matrici a dimensione finita (spazio ausiliario)Q virt a Q^a_{\text{virt}} Q virt a : operatore di carica virtualeLe matrici sono diagonalizzate a blocchi secondo le rappresentazioni irriducibili del gruppo di gauge Condizioni di Struttura a Blocchi (che assicurano l'invarianza di gauge):
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 (aggiunge un numero quantico di campo di materia)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 (rimuove un numero quantico di campo di materia)Alle posizioni reticolari n n n si definiscono:
Campi fisici: ϕ ^ α n \hat{\phi}_{\alpha n} ϕ ^ α n e i loro momenti coniugati π ^ α n ϕ \hat{\pi}^{\phi}_{\alpha n} π ^ α n ϕ Campi virtuali:
Legami nella direzione positiva: χ ^ 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 χ Legami nella direzione negativa: η ^ 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 η Si definisce l'azione del gruppo:
θ ^ ( 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
dove l'operatore di carica è:
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 ⟩
Tensore su reticolo:
∣ 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 ⟩
Tensore di legame:
∣ 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 )
Condizione di Simmetria Globale :
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 )
Su ogni legame n e i n\mathbf{e}_i n e i si introducono:
Operatori di azione sinistra e destra: 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 che soddisfano le relazioni di commutazione dell'algebra di Lie Base di elementi di gruppo: ∣ g ⟩ n e i |g\rangle_{n\mathbf{e}_i} ∣ g ⟩ n e i Base di campo elettrico: ∣ 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
Questo è un operatore di elevazione del campo elettrico controllato, interpretabile anche come un'azione di gruppo sinistra controllata sulla variabile η \eta η .
Proprietà Chiave :
θ ^ 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 ⟩
Dopo la contrazione:
∣ ψ 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 ⟩
Campo scalare: ϕ ( x = n a ) = a [ ϕ ( x ) ] ϕ n \phi(x=na) = a^{[\phi(x)]}\phi_n ϕ ( x = na ) = a [ ϕ ( x )] ϕ n , dove [ ϕ ( x ) ] = D − 1 2 [\phi(x)] = \frac{D-1}{2} [ ϕ ( x )] = 2 D − 1 Campo di gauge: 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 )
dove 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 è la derivata covariante.
Assumendo A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) A(\phi,\chi,\eta) = e^{A(\phi,\chi,\eta)} A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) e prendendo:
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 )
Nel limite continuo:
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 )⟩
Utilizzando ⟨ A ( x ) ∣ s E ⟩ = 1 \langle A(x)|s_E\rangle = 1 ⟨ A ( x ) ∣ s E ⟩ = 1 , questa è esattamente la forma gCPEPS proposta.
Framework di Seconda Quantizzazione : Diversamente dal trattamento di prima quantizzazione tradizionale dei PEPS, si adotta il framework degli operatori di campo, che si adatta naturalmente a dimensioni di legame infinite.Trattamento Operatoriale del Campo di Gauge : Il campo di gauge A ^ a μ \hat{A}^\mu_a A ^ a μ è mantenuto come operatore piuttosto che come campo di fondo classico, con la proiezione fisica realizzata attraverso il prodotto interno con il singoletto di campo elettrico.Trasformazione di Gauge Controllata : L'operatore di calibrazione U ^ Gauge \hat{U}_{\text{Gauge}} U ^ Gauge accoppia astutamente la carica di particella virtuale al campo di gauge, generando automaticamente la struttura della linea di Wilson.Rigore dell'Analisi di Scalatura : Sono esplicitate le relazioni di dimensione di massa dei campi, assicurando la buona definizione del limite continuo.Struttura a Blocchi : Nel caso unidimensionale, richiedendo che le matrici siano diagonalizzate a blocchi secondo le rappresentazioni irriducibili, si codifica elegantemente l'invarianza di gauge.Nota : Questo è un lavoro puramente teorico che non contiene esperimenti numerici. La correttezza della costruzione teorica è dimostrata principalmente attraverso derivazioni matematiche e prove formali.
Verifica di Trasformazione di Gauge Esplicita : Attraverso il calcolo diretto di U ^ [ g ] ∣ ψ ⟩ \hat{U}[g]|\psi\rangle U ^ [ g ] ∣ ψ ⟩ si verifica l'invarianzaEspansione di Accoppiamento Debole : Si dimostra la coerenza con la struttura nota della linea di Wilson nel limite g → 0 g\to 0 g → 0 Semplificazione Unidimensionale : Attraverso il confronto con la teoria CMPS nota si verifica la ragionevolezza della costruzioneConvergenza del Limite Continuo : Attraverso l'analisi di scalatura si dimostra che lo stato su reticolo converge allo stato continuoTeorema di Invarianza di Gauge :Si dimostra che gCPEPS soddisfa G ^ a ( x ) ∣ ψ B , V , J ⟩ = 0 \hat{G}^a(x)|\psi_{B,V,J}\rangle = 0 G ^ a ( x ) ∣ ψ B , V , J ⟩ = 0 Vale per tutte le posizioni x x x e tutti gli indici di colore a a a Vale per tutte le scelte dei parametri variazionali ( B , V , J ) (B,V,J) ( B , V , J ) Esistenza del Limite Continuo :I PEPS di gauge su reticolo convergono a gCPEPS nel limite a → 0 a\to 0 a → 0 Condizioni di convergenza: A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) A(\phi,\chi,\eta) = e^{A(\phi,\chi,\eta)} A ( ϕ , χ , η ) = e A ( ϕ , χ , η ) e forma specifica del termine di energia cinetica Comportamento di scalatura: [ ϕ ] = [ χ ] = ( D − 1 ) / 2 [\phi] = [\chi] = (D-1)/2 [ ϕ ] = [ χ ] = ( D − 1 ) /2 Forma Esplicita nel Caso Unidimensionale :Si dimostra che gCMPS può essere rappresentato con matrici a dimensione finita Il termine della linea di Wilson − i g A ^ a x Q virt a -ig\hat{A}^x_aQ^a_{\text{virt}} − i g A ^ a x Q virt a emerge naturalmente La struttura a blocchi della matrice è completamente determinata dalla teoria delle rappresentazioni del gruppo di gauge Naturalità delle Linee di Wilson :All'ordine O ( g ) O(g) O ( g ) , lo stato contiene automaticamente linee di Wilson lungo il flusso di particelle virtuali I termini di ordine superiore possono essere interpretati come la reazione del campo di gauge ai gradi di libertà virtuali Dualità Virtuale-Fisica :Il campo virtuale χ \chi χ soddisfa una "legge di Gauss virtuale" (simmetria globale) Il processo di calibrazione eleva la simmetria globale a una simmetria locale fisica La conservazione della carica si manifesta sia a livello virtuale che fisico Flessibilità delle Condizioni di Bordo :B [ χ ∂ M ] ∝ δ ( χ ∂ M ) B[\chi_{\partial M}] \propto \delta(\chi_{\partial M}) B [ χ ∂ M ] ∝ δ ( χ ∂ M ) : bordo di DirichletB [ χ ∂ M ] ∝ δ ( n μ ∂ μ χ ∂ M ) B[\chi_{\partial M}] \propto \delta(n^\mu\partial_\mu\chi_{\partial M}) B [ χ ∂ M ] ∝ δ ( n μ ∂ μ χ ∂ M ) : bordo di NeumannSono possibili anche condizioni di bordo non locali (come discusso nella letteratura 27 ) Fondamenti di MPS/PEPS : Framework di reti tensoriali di pura materia stabilito da Verstraete et al. 14,25 PEPS di Gauge : Costruzioni di gauge di Zohar-Cirac 11 , Zohar-Burrello 12 , Haegeman et al. 13 Teoremi di Completezza : Kull et al. 30 e Blanik et al. 31 provano che gPEPS è lo stato invariante di gauge più generale su reticoloCMPS : Introdotto per la prima volta da Verstraete-Cirac 15 , sviluppato da Haegeman et al. 16 CPEPS : Estensioni continue di Tilloy-Cirac 27 , Shachar-Zohar 26 Applicazioni Numeriche : Algoritmi di ottimizzazione variazionale di Tuybens et al. 17 , Ganahl et al. 19 Forma Hamiltoniana : Teoria di gauge su reticolo nel framework di Kogut-SusskindStruttura dello Spazio di Hilbert : Rassegna dettagliata della letteratura 33 sulla struttura dello spazio di Hilbert del campo di gaugeDualità : Dualità tra reticolo e continuo di Ashkenazi-Zohar 5 , Roose-Zohar 6 Primo a stabilire la teoria del limite continuo per reti tensoriali di gaugeUnifica le descrizioni su reticolo e continuo, stabilendo un ponte matematico rigoroso Fornisce un nuovo ansatz variazionale per la teoria di gauge non perturbativa nello spaziotempo continuo Rivela l'origine della struttura della linea di Wilson nella rete tensoriale Successo della Costruzione Teorica :Definizione riuscita di stati di rete tensoriale di gauge nello spaziotempo continuo (gCPEPS) Dimostrazione rigorosa della sua invarianza di gauge e soddisfazione della legge di Gauss Stabilimento di un collegamento esplicito con la teoria su reticolo Congettura di Universalità :Basata sulla dimostrazione che gPEPS è lo stato invariante di gauge più generale su reticolo Gli autori congetturano che gCPEPS sia lo stato invariante di gauge più generale nello spaziotempo continuo La dimostrazione rigorosa è lasciata come lavoro futuro Trattabilità nel Caso Unidimensionale :gCMPS ha una rappresentazione esplicita con matrici a dimensione finita La struttura senza cicli unidimensionale rende l'implementazione numerica più fattibile Sfide nell'Implementazione Numerica :Il costo computazionale della contrazione in dimensioni elevate è estremamente alto Potrebbe essere necessario limitarsi a sottoclassi di gCPEPS di tipo gaussiano Completezza Teorica :Il teorema di universalità non è ancora rigorosamente provato Le condizioni di unicità del limite continuo non sono completamente caratterizzate Applicazioni Fisiche :Non ancora applicato a calcoli su sistemi fisici specifici Il collegamento con teorie pratiche come la QCD deve essere ulteriormente stabilito Assunzioni Tecniche :Assunzione della forma esponenziale A = e A A = e^{A} A = e A Forma specifica del termine di energia cinetica (equazione 65) Requisito dell'ordinamento di Weyl (caso unidimensionale) Sviluppo di Algoritmi Numerici :Algoritmo di ottimizzazione variazionale per gCMPS unidimensionale Contrazione esatta utilizzando integrabilità (quando la lagrangiana generatrice corrisponde a un modello integrabile) Metodi di approssimazione efficienti per gCPEPS di tipo gaussiano Estensioni Teoriche :Limite continuo degli operatori di matrice di prodotto di gauge (gMPO) Collegamento con la teoria della dualità continua (letteratura 6,7 ) Generalizzazione a simmetrie di forma superiore Applicazioni Fisiche :Stati fondamentali e stati eccitati della teoria di gauge unidimensionale (modello di Schwinger, ecc.) Studio di transizioni di fase e fenomeni critici Confronto sistematico con risultati di Monte Carlo su reticolo Rigore Matematico :Dimostrazione rigorosa o confutazione del teorema di universalità Definizione matematica della misura dell'integrale funzionale Analisi completa della convergenza Innovazione Teorica :Originalità elevata : Prima estensione delle reti tensoriali di gauge allo spaziotempo continuo, aprendo una nuova direzione di ricercaRigore matematico : Verifica dell'invarianza di gauge attraverso calcoli espliciti, derivazione del limite continuo con passi chiariEleganza concettuale : L'immagine di elevazione della legge di Gauss virtuale a legge di Gauss fisica è molto intuitivaContributi Metodologici :Framework di seconda quantizzazione : Fornisce un linguaggio naturale per il trattamento di dimensioni di legame infiniteAnalisi di scalatura : Chiarisce il ruolo dell'analisi dimensionale della teoria dei campi nelle reti tensorialiProspettiva unificata : Connette reticolo e continuo, simmetria globale e localeQualità della Scrittura :Struttura chiara, progressione logica dalla definizione alla prova all'applicazione Dettagli tecnici sufficienti, tutti i passi chiave hanno derivazioni esplicite Buon equilibrio tra intuizione fisica e rigore matematico Impatto Potenziale :Fornisce un nuovo strumento per la teoria di gauge fortemente accoppiata non perturbativa come la QCD Potrebbe ispirare nuovi algoritmi numerici Connette molteplici campi: materia condensata, fisica delle alte energie e informazione quantistica Mancanza di Verifica Pratica :Nessun esperimento numerico : Nessun risultato di calcolo effettivo fornitoFattibilità sconosciuta : La complessità computazionale della contrazione in dimensioni elevate potrebbe rendere il metodo impraticabileMancanza di confronti : Assenza di confronti con metodi Monte Carlo su reticolo, teoria perturbativa, ecc.Incompletezza Teorica :Universalità non provata : La congettura più importante (gCPEPS è lo stato invariante di gauge più generale) rimane una congetturaProblema di unicità : Sequenze reticolari diverse potrebbero convergere a stati continui diversi?Problema della misura : Definizione rigorosa della misura dell'integrale funzionale D 2 χ \mathcal{D}^2\chi D 2 χ mancanteContenuto Fisico :Nessun sistema specifico : Non applicato a nessun modello fisico concreto (come U(1), SU(2), ecc.)Dinamica assente : Discussione limitata alla costruzione dello stato, nessun coinvolgimento dell'evoluzione temporaleCalcolo di osservabili : Come calcolare valori di aspettazione di loop di Wilson e altre quantità fisiche non è discussoLimitazioni Tecniche :Assunzioni speciali : La necessità della forma esponenziale A = e A A=e^A A = e A e del termine di energia cinetica specifico non è sufficientemente giustificataCondizioni di bordo : Solo breve menzione di poche scelte, analisi sistematica assenteRinormalizzazione : Nessuna discussione di divergenze ultraviolette e problemi di rinormalizzazioneContributo al Campo :
Carattere pioneristico : Stabilisce una nuova direzione di ricerca, previsto di generare lavori successiviInterdisciplinarità : Connette informazione quantistica (reti tensoriali) e fisica delle alte energie (teoria di gauge)Fondamenti teorici : Fornisce una base solida per ricerche numeriche e analitiche futureValore Pratico :
Breve termine : Il caso unidimensionale potrebbe trovare applicazioni numeriche entro 1-2 anniMedio termine : gCPEPS di tipo gaussiano potrebbe diventare un ansatz variazionale utileLungo termine : Se i metodi numerici maturano, potrebbe trasformare il paradigma di ricerca della teoria di gauge su reticoloRiproducibilità :
Derivazioni teoriche : Completamente riproducibili, tutti i passi chiave sono dettagliatiImplementazione numerica : Richiede lavoro successivo sostanziale, nessun codice fornito dagli autoriDifficoltà di verifica : La verifica nel caso ad alta dimensione potrebbe richiedere anni di sforzoPiù adatti :
Teoria di Gauge Unidimensionale :Modello di Schwinger (QED 1+1 dimensionale) Teoria di gauge su reticolo unidimensionale a bassa energia Possibile implementazione attraverso algoritmi di tipo DMRG Regione di Accoppiamento Debole :Come miglioramento della teoria perturbativa (includendo linee di Wilson non perturbative) Benchmark di confronto con metodi standard di teoria dei campi Ricerca Teorica :Studio formale della simmetria di gauge Versione continua della dualità Fasi topologiche e simmetrie di forma superiore Meno appropriati :
Teoria ad Alta Dimensione Fortemente Accoppiata : La complessità computazionale potrebbe essere proibitivaDinamica in Tempo Reale : La costruzione dello stato non coinvolge l'evoluzione temporaleTemperatura Finita : Nessuna discussione dell'estensione a stati termiciImmediatamente Fattibile :Implementazione dell'algoritmo gCMPS sul modello di Schwinger unidimensionale Verifica mediante confronto con soluzioni esatte (Bosonizzazione) Calcolo di osservabili semplici (energia, funzioni di correlazione) Obiettivi a Medio Termine :Sviluppo di algoritmi efficienti per gCPEPS di tipo gaussiano Studio della teoria di gauge Abeliana bidimensionale Confronto sistematico con risultati di Monte Carlo su reticolo Visione a Lungo Termine :Dimostrazione rigorosa o confutazione della congettura di universalità Estensione a teoria di gauge non Abeliana (come QCD) Stabilimento del collegamento con il gruppo di rinormalizzazione continuo 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).
Valutazione Complessiva : Questo è un articolo di fisica teorica di alta qualità che fornisce contributi originali e significativi nella descrizione della teoria di gauge mediante reti tensoriali. Sebbene manchi di verifica numerica, la costruzione teorica è rigorosa e l'immagine fisica è chiara, fornendo una base solida per ricerche future. Il valore principale del lavoro risiede nell'aver stabilito un ponte tra descrizioni su reticolo e continuo, e nel rivelare l'origine della struttura della linea di Wilson nella rete tensoriale. Si raccomanda che i lavori successivi prioritariamente implementino numericamente il metodo su sistemi unidimensionali per verificare l'utilità pratica della teoria.