No Arabic abstract
We show that the partition function of all classical spin models, including all discrete Standard Statistical Models and all abelian discrete Lattice Gauge Theories (LGTs), can be expressed as a special instance of the partition function of the 4D Z_2 LGT. In this way, all classical spin models with apparently very different features are unified in a single complete model, and a physical relation between all models is established. As applications of this result, we present a new method to do mean field theory for abelian discrete LGTs with d>3, and we show that the computation of the partition function of the 4D Z_2 LGT is a computationally hard (#P-hard) problem. We also extend our results to abelian continuous models, where we show the approximate completeness of the 4D Z_2 LGT. All results are proven using quantum information techniques.
In our recent work [Phys. Rev. Lett. 102, 230502 (2009)] we showed that the partition function of all classical spin models, including all discrete standard statistical models and all Abelian discrete lattice gauge theories (LGTs), can be expressed as a special instance of the partition function of a 4-dimensional pure LGT with gauge group Z_2 (4D Z_2 LGT). This provides a unification of models with apparently very different features into a single complete model. The result uses an equality between the Hamilton function of any classical spin model and the Hamilton function of a model with all possible k-body Ising-type interactions, for all k, which we also prove. Here, we elaborate on the proof of the result, and we illustrate it by computing quantities of a specific model as a function of the partition function of the 4D Z_2 LGT. The result also allows one to establish a new method to compute the mean-field theory of Z_2 LGTs with d > 3, and to show that computing the partition function of the 4D Z_2 LGT is computationally hard (#P hard). The proof uses techniques from quantum information.
We define a class of machine-learned flow-based sampling algorithms for lattice gauge theories that are gauge-invariant by construction. We demonstrate the application of this framework to U(1) gauge theory in two spacetime dimensions, and find that near critical points in parameter space the approach is orders of magnitude more efficient at sampling topological quantities than more traditional sampling procedures such as Hybrid Monte Carlo and Heat Bath.
We explain how, starting with a stack of D4-branes ending on an NS5-brane in type IIA string theory, one can, via T-duality and the topological-holomorphic nature of the relevant worldvolume theories, relate (i) the lattice models realized by Costellos 4d Chern-Simons theory, (ii) links in 3d analytically-continued Chern-Simons theory, (iii) the quantum geometric Langlands correspondence realized by Kapustin-Witten using 4d N = 4 gauge theory and its quantum group modification, and (iv) the Gaitsgory-Lurie conjecture relating quantum groups/affine Kac-Moody algebras to Whittaker D-modules/W-algebras. This furnishes, purely physically via branes in string theory, a novel bridge between the mathematics of integrable systems, geometric topology, geometric representation theory, and quantum algebras.
Using the example of the two-dimensional (2D) Ising model, we show that in contrast to what can be done in configuration space, the tensor renormalization group (TRG) formulation allows one to write exact, compact, and manifestly local blocking formulas and exact coarse grained expressions for the partition function. We argue that similar results should hold for most models studied by lattice gauge theorists. We provide exact blocking formulas for several 2D spin models (the O(2) and O(3) sigma models and the SU(2) principal chiral model) and for the 3D gauge theories with groups Z_2, U(1) and SU(2). We briefly discuss generalizations to other groups, higher dimensions and practical implementations.
We study the effects of gauge-symmetry breaking (GSB) perturbations in three-dimensional lattice gauge theories with scalar fields. We study this issue at transitions in which gauge correlations are not critical and the gauge symmetry only selects the gauge-invariant scalar degrees of freedom that become critical. A paradigmatic model in which this behavior is realized is the lattice CP(1) model or, more generally, the lattice Abelian-Higgs model with two-component complex scalar fields and compact gauge fields. We consider this model in the presence of a linear GSB perturbation. The gauge symmetry turns out to be quite robust with respect to the GSB perturbation: the continuum limit is gauge-invariant also in the presence of a finite small GSB term. We also determine the phase diagram of the model. It has one disordered phase and two phases that are tensor and vector ordered, respectively. They are separated by continuous transition lines, which belong to the O(3), O(4), and O(2) vector universality classes, and which meet at a multicritical point. We remark that the behavior at the CP(1) gauge-symmetric critical point substantially differs from that at transitions in which gauge correlations become critical, for instance at transitions in the noncompact lattice Abelian-Higgs model that are controlled by the charged fixed point: in this case the behavior is extremely sensitive to GSB perturbations.