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 : 2511.10189タイトル : Continuum limit of gauged tensor network states著者 : Gertian Roose, Erez Zohar (テルアビブ大学)分類 : hep-th (高エネルギー物理-理論), cond-mat.str-el (凝聚態物理-強相関電子系), hep-lat (格子場論), quant-ph (量子物理)発表日 : 2025年11月14日論文リンク : https://arxiv.org/abs/2511.10189v1 ゲージ理論におけるすべての物理的に関連のある状態は、ガウスの法則を満たすヒルベルト空間セクター内に位置する。格子上では、明示的なゲージ不変部分空間がゲージ化テンソルネットワークによって正確に張られることが知られている。本研究は、特定のタイプのゲージ化テンソルネットワークの連続極限が良定義であり、新しいクラスの状態をもたらすことを証明し、これは連続極限においてゲージ理論の非微扰的研究を直接行うのに役立つ可能性がある。
ゲージ理論の非微扰的研究の困難 ：ゲージ理論は現代物理学の基礎（標準模型の基本相互作用など）であるが、その豊かな相図には微扰理論では理解できない多くの相が含まれている。特に強結合領域では、ゲージ不変対象（Wilson圏やWilson線など）は非局所的であり、微扰論は失効する。格子と連続極限の隔たり ：格子上のゲージ化射影もつれペア状態(gPEPS)は、ゲージ不変対象のみを含むフレームワークを提供するが、このフレームワークを連続時空に推広する方法は未解決の問題である。理論的完全性 ：最近の証明により、ゲージ化PEPSとMPSは格子上で最も一般的なゲージ不変状態であることが示された。その連続極限の存在を証明できれば、連続時空におけるゲージ不変状態の完全な記述フレームワークが確立される。数値応用の見通し ：純物質場の連続テンソルネットワーク（CMPSおよびCPEPS）は有用な数値ツールであることが証明されており、ゲージ化版は格子ゲージ理論の連続極限に対する新しい計算手段を提供する可能性がある。非微扰的方法 ：強結合ゲージ理論を連続時空で直接研究するための新しい道を提供する。純物質場の連続テンソルネットワーク（CMPS、CPEPS）は成熟した理論を持つが、ゲージ場の処理が欠けている 格子ゲージ理論の方法は連続極限を直接取ることが困難 微扰方法は強結合領域で失効する ゲージ化連続射影もつれペア状態(gCPEPS)の定義 ：格子上のゲージ化テンソルネットワークを連続時空に推広し、ゲージ場と物質場を含む新しいタイプの変分状態クラスを確立した。ゲージ不変性の厳密な証明 ：明示的な計算を通じてgCPEPSが局所ゲージ対称性とガウスの法則の制約を満たすことを検証した。一次元の場合のゲージ化CMPS構成 ：一次元の場合の簡略形を示し、補助空間を第一量子化で処理でき、状態が明示的なWilson線構造を持つことを示した。連続極限の存在性の証明 ：格子ゲージ化PEPSが適切な条件下でgCPEPSに収束することを厳密に証明し、離散理論と連続理論の間に橋を架けた。Wilson線の自然な出現の解明 ：弱結合展開において、仮想粒子流がWilson線を生成する物理的イメージを明示的に示した。連続時空上のゲージ不変状態を構成し、以下を満たすようにする：
ガウスの法則制約を満たす：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 ⟩
ゲージ化連続PEPSは以下のように定義される：
∣ ψ 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
第二量子化フレームワーク ：従来の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 ) 連続極限の存在性 ：格子ゲージ化PEPSが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が有限次元行列で表現可能であることを証明 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 行列のブロック構造は完全にゲージ群の表現論で決定される Wilson線の自然性 ：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-Cirac11 , Zohar-Burrello12 , Haegeman等13 のゲージ化構成完全性定理 ：Kull等30 およびBlanik等31 がgPEPSは格子上で最も一般的なゲージ不変状態であることを証明CMPS ：Verstraete-Cirac15 による最初の提案、Haegeman等16 による発展CPEPS ：Tilloy-Cirac27 , Shachar-Zohar26 の連続推広数値応用 ：Tuybens等17 , Ganahl等19 の変分最適化アルゴリズムHamiltonian形式 ：Kogut-Susskindフレームワークにおける格子ゲージ理論Hilbert空間構造 ：文献33 によるゲージ場Hilbert空間の詳細概説双対性 ：Ashkenazi-Zohar5 , Roose-Zohar6 による格子と連続の双対性初めて ゲージ化テンソルネットワークの連続極限理論を確立格子と連続記述を統一し、厳密な数学的橋を架けた 連続時空における非微扰的ゲージ理論に対する新しい変分ansatzを提供 Wilson線構造のテンソルネットワーク起源を解明 理論構造の成功 ：連続時空上のゲージ化テンソルネットワーク状態(gCPEPS)の定義に成功 そのゲージ不変性とガウスの法則満足性を厳密に証明 格子理論との明確な関連を確立 普遍性予想 ：格子上のgPEPSが最も一般的なゲージ不変状態であるという証明に基づく 著者はgCPEPSが連続時空で最も一般的なゲージ不変状態であると予想 厳密な証明は今後の研究として残される 一次元の場合の可処理性 ：gCMPSは明示的な有限次元行列表現を持つ 一次元の無ループ構造により数値実装がより実行可能 数値実装の課題 ：高次元の場合の収縮計算コストは極めて高い ガウス型gCPEPSの部分クラスへの制限が必要な可能性 理論的完全性 ：普遍性定理はまだ厳密に証明されていない 連続極限の一意性条件が完全には特性化されていない 物理的応用 ：具体的な物理系の計算にはまだ応用されていない 実際のQCD等の理論との関連をさらに確立する必要がある 技術的仮定 ：指数形式A = e A A = e^{A} A = e A 動能項の特定の形式（方程式65） Weyl順序の要求（一次元の場合） 即座に実行可能 ：一次元Schwinger模型上でのgCMPSアルゴリズムの実装 正確解（Bosonization）との比較検証 単純な可観測量（エネルギー、相関関数など）の計算 中期目標 ：ガウス型gCPEPSの効率的なアルゴリズム開発 二次元Abelianゲージ理論の研究 格子Monte Carlo結果との体系的比較 長期的展望 ：普遍性定理の証明または反証 非Abelianゲージ理論（QCDなど）への推広 連続くりこみ群との関連確立 数学的厳密化 ：普遍性定理の厳密な証明 汎関数積分測度の数学的定義 収束性の完全な分析 理論的革新性 ：独創性が高い ：ゲージ化テンソルネットワークを連続時空に初めて推広し、新しい研究方向を開拓数学的厳密 ：明示的な計算によってゲージ不変性を検証し、連続極限の導出ステップが明確概念的優美性 ：仮想ガウスの法則を物理的ガウスの法則に昇格させるイメージが非常に直感的方法論的貢献 ：第二量子化フレームワーク ：無限ボンド次元を処理するための自然な言語を提供スケーリング分析 ：場論の次元分析がテンソルネットワークで果たす役割を明確化統一的視点 ：格子と連続、全局対称と局所対称を結合執筆品質 ：構造が明確で、定義から証明から応用へと段階的に進む 技術的詳細が充分で、主要なステップはすべて明確な導出を持つ 物理的直感と数学的厳密性のバランスが良好 潜在的影響 ：非微扰的QCD等の強結合ゲージ理論に対する新しいツールを提供 新しい数値アルゴリズムを触発する可能性 凝聚態、高エネルギー、量子情報の複数の分野を結合 実用性検証の欠落 ：数値実験なし ：実際の計算結果が提供されていない実行可能性不明 ：高次元収縮の計算複雑度により方法が実装困難な可能性既存方法との比較欠落 ：格子Monte Carlo、微扰論等の方法との比較がない理論的完全性 ：普遍性未証明 ：最も重要な予想（gCPEPSが最も一般的なゲージ不変状態）はまだ予想のまま一意性問題 ：異なる格子配列が異なる連続状態に収束する可能性？測度問題 ：汎関数積分測度D 2 χ \mathcal{D}^2\chi D 2 χ 物理的内容 ：具体的系なし ：任意の具体的な物理模型（U(1)、SU(2)等）に応用されていない動力学欠落 ：状態の構成のみで、時間発展は扱われていない可観測量計算 ：Wilson圏期待値等の物理量計算方法が議論されていない技術的限界 ：特殊な仮定 ：指数形式A = e A A=e^A A = e A 境界条件 ：いくつかの選択肢が簡単に言及されているだけで、体系的分析が欠落くりこみ ：紫外発散とくりこみの問題が議論されていない分野への貢献 ：
開拓的 ：新しい研究方向を確立し、後続の研究を触発することが予想される学際的 ：量子情報（テンソルネットワーク）と高エネルギー物理（ゲージ理論）を結合理論的基礎 ：今後の数値および解析研究の堅実な基礎を提供実用的価値 ：
短期 ：一次元の場合は1-2年以内に数値応用が可能と予想中期 ：ガウス型gCPEPSが有用な変分ansatzとなる可能性長期 ：数値方法が成熟すれば、格子ゲージ理論の研究パラダイムを変える可能性再現性 ：
理論導出 ：完全に再現可能で、すべての主要ステップに詳細な説明がある数値実装 ：多くの後続作業が必要で、著者はコードを提供していない検証難度 ：高次元の場合の検証には数年の努力が必要な可能性最も適切な応用 ：
一次元ゲージ理論 ：Schwinger模型（1+1次元QED） 一次元格子ゲージ理論の低エネルギー有効理論 DMRG型アルゴリズムで実装可能な可能性 弱結合領域 ：微扰論の改善（非微扰的Wilson線を含む） 標準場論方法との比較基準 理論研究 ：ゲージ対称性の形式的研究 双対性の連続版 位相相と高形式対称性 あまり適切でないシーン ：
強結合高次元理論 ：計算複雑度が過度に高い可能性実時間動力学 ：状態の構成は時間発展を含まない有限温度 ：熱状態への推広が議論されていない即座に実行可能 ：一次元Schwinger模型上でのgCMPSアルゴリズム実装 正確解（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).
総合評価 ：これは規範理論のテンソルネットワーク記述における重要な独創的貢献をなした高品質の理論物理論文である。数値検証が欠落しているが、理論構造は厳密で、物理的イメージは明確であり、今後の研究のための堅実な基礎を提供している。論文の最大の価値は、格子と連続記述の間に橋を架け、Wilson線構造のテンソルネットワーク起源を解明したことにある。後続の研究は、理論の実用性を検証するため、一次元系での数値実装を優先することを推奨する。
