[论文解读] Monte Carlo simulation of abelian gauge-Higgs lattice models using dual representation

Alexander Schmidt, Ydalia Delgado Mercado+1 more|arXiv (Cornell University)|Nov 7, 2012

Quantum Chromodynamics and Particle Interactions参考文献 6被引用 5

一句话总结

本论文为阿贝尔规范-Higgs格点模型（Z₃与U(1)）提出了一种双重表示方法，通过将配分函数映射为包含表面与通量自由度的实正权重之和，从而在蒙特卡罗模拟中消除了复数作用量问题。利用局部Metropolis更新及针对有界表面的广义虫子算法，作者观察到随着化学势变化，由对偶变量凝聚引发的一阶相变，包括U(1)模型中的银焰现象。

ABSTRACT

We study abelian gauge-Higgs models on the lattice and consider gauge groups Z(3) and U(1). For both cases the partition sums are mapped exactly to a dual representation where the degrees of freedom are surfaces for the gauge fields and loops of flux that may serve as boundaries for the surfaces represent the matter fields. Also at finite chemical potential the dual partition sums have only real and positive contributions and the complex action problem of the conventional representation is overcome in the dual approach. We apply a local Metropolis update for the dual degrees of freedom, as well as a generalization of the worm algorithm to bounded surfaces. Results that illustrate condensation phenomena as a function of chemical potential are discussed.

研究动机与目标

• 解决有限化学势下阿贝尔规范-Higgs格点模型中的复数作用量问题。
• 开发一种对偶表示，使配分函数以表面与通量自由度的实正贡献之和形式表达。
• 通过局部更新与针对有界表面的广义虫子算法，实现高效的蒙特卡罗模拟。
• 研究在化学势存在下对偶变量凝聚现象与相变。
• 在Z₃与U(1)规范-Higgs模型中展示银焰现象与一阶相变。

提出的方法

• 使用平面元占据数p与通量变量k，将传统配分函数映射为对偶表示。
• 将配分函数表达为 Z = C ∑_{p,k} 𝒞_P[p,k] 𝒞_F[k] 𝒲_P[p] 𝒲_F[k]，其中权重𝒲_P与𝒲_F为实正数。
• 通过三重性函数施加约束：𝒞_F[k] 在每个格点处保证通量模3守恒，𝒞_P[p,k] 在每条键上保证通量与平面元平衡。
• 实施对平面元与通量变量的局部Metropolis更新，确保细致平衡与约束满足。
• 通过引入传播缺陷直至修复的片段，将虫子算法推广至具有边界的表面。
• 利用对偶表示模拟包含两种味的Z₃与U(1)规范-Higgs模型，包括有限化学势情况。

实验结果

研究问题

• RQ1 能否通过使用对偶表示克服阿贝尔规范-Higgs模型在有限化学势下的复数作用量问题？
• RQ2 对偶变量（平面元与通量）的凝聚现象如何随化学势变化而表现？
• RQ3 在U(1)规范-Higgs模型中，是否会出现银焰现象——即可观测量在临界值以下对化学势不敏感？
• RQ4 局部更新与针对有界表面的广义虫子算法在性能与标度方面如何比较？
• RQ5 Z₃与U(1)模型在化学势与耦合参数变化下的相变本质为何？

主要发现

• 在Z₃规范-Higgs模型中，当μ_c ≈ 2.6时发生一阶相变，表现为平面元期望值⟨U⟩的不连续下降。
• 该相变对应于通量与平面元占据数的凝聚，表现为时间方向与空间方向通量及平面元占据数的同时增加。
• 在强耦合β = 0.6的U(1)规范-Higgs模型中，平面元期望值⟨U⟩在μ_c ≈ 2.9之前保持恒定，展示了银焰现象。
• 在纯规范极限下，U(1)模型在β_c ≈ 1处发生一阶相变，该相变在有限κ下依然存在，并在⟨U⟩随β与κ的变化中可见。
• 针对有界表面的广义虫子算法在广泛参数范围内显著优于局部更新，能更高效地采样对偶构型。
• 对偶表示使在有限化学势下实现精确蒙特卡罗模拟成为可能，无需处理符号问题或复数作用量问题，因为所有权重均为实正数。