The symmetric two-state 16-vertex model on the square lattice — vertex weights invariant under any permutation of adjacent edge states and, in the subfamily studied, under the global flip of all edge states — possesses a line of second-order phase transitions on the self-dual manifold of the gauge transformation, with the mean polarization as order parameter. The line connects two exactly solvable anchors: an Ising point at ε(I)≈0.6275\varepsilon^{\rm(I)}\approx 0.6275 with electric critical exponents (βe,δe,γe,νe,ηe)=(1/8,15,7/4,1,1/4)(\beta_{\rm e},\delta_{\rm e},\gamma_{\rm e},\nu_{\rm e},\eta_{\rm e})=(1/8,15,7/4,1,1/4), and the ε→∞\varepsilon\to\infty limit, a Baxter eight-vertex point with (1/8,11,5/4,3/4,1/3)(1/8,11,5/4,3/4,1/3). Corner-transfer-matrix renormalization group numerics indicate that between these anchors the electric exponents vary continuously with ε\varepsilon in a way that violates the weak-universality hypothesis; however, no analytic derivation, exact solution, or continuum field-theoretic description of this variation exists, the numerical determination has not been extrapolated in a controlled way to the m→∞m\to\infty, zero-field, and zero-temperature-step limits, and νe\nu_{\rm e} and ηe\eta_{\rm e} were obtained only indirectly from scaling relations — the νe\nu_{\rm e} data alone even remain compatible with two universality classes joined by a discontinuous change. The problem is to determine the five exponent functions βe(ε)\beta_{\rm e}(\varepsilon), δe(ε)\delta_{\rm e}(\varepsilon), γe(ε)\gamma_{\rm e}(\varepsilon), νe(ε)\nu_{\rm e}(\varepsilon), ηe(ε)\eta_{\rm e}(\varepsilon) along the self-dual line — analytically if possible — together with an independent determination of νe\nu_{\rm e} and ηe\eta_{\rm e} that decides whether the variation is genuinely continuous for all five exponents or whether part of it corresponds to distinct universality classes joined by a discontinuous change; should an analytic treatment be found, it would also elucidate how the gauge/self-duality structure of the weights produces the full nonuniversality on this line.

Background

A two-state vertex model on the square lattice places an arrow variable on each edge and assigns a Boltzmann weight to each lattice site depending only on the configuration of its four adjacent edge states; there are 24=162^4=16 possible vertex configurations, and the general model of this type is the 16-vertex model. Its restricted subclasses, the six-vertex model and the zero-field eight-vertex model, are exactly solvable, but no exact solution is known for the full 16-vertex model. The 'symmetric' 16-vertex model postulates that the 16 weights are invariant under any permutation of the adjacent edge states, which groups them into five classes w0,…,w4w_0,\dots,w_4 labelled by the number of arrows flowing into the vertex. The source work further restricts to weights invariant under the flip of all edge states ('state-flip symmetry', wi=w4−iw_i=w_{4-i}), giving the two-parameter family w0=w4=1,w1=w3=e−ε/T,w2=e−1/T,ε≥0,w_0=w_4=1,\qquad w_1=w_3=e^{-\varepsilon/T},\qquad w_2=e^{-1/T},\qquad \varepsilon\ge 0, where TT is the temperature in energy units.

A gauge transformation of vertex weights reverses the arrows on all edges touching a chosen set of vertices; points of the parameter space that are mapped onto themselves by a nontrivial gauge transformation form the self-dual manifold. For the general vertex model this manifold was derived by Wu and Wu (1989), and it contains all second-order critical points, because the free energy is invariant along gauge orbits. The state-flip parametrization above lies on it automatically, so for every ε≥0\varepsilon\ge 0 the model has a critical temperature Tc(ε)T_{\rm c}(\varepsilon) at which a second-order transition occurs. The order parameter is the mean polarization P=14∑i=04(4−2i)ciP=\frac{1}{4}\sum_{i=0}^4(4-2i)c_i, where cic_i is the mean concentration of vertex type ii; an applied isotropic electric field EE couples to the arrow dipoles. The transition is 'electric': it breaks the state-flip symmetry and orders the polarization, by contrast with the 'magnetic' Ising-type transitions of the dual spin representations.

Near TcT_{\rm c} the electric critical exponents are defined by the standard singularities: P∝(Tc−T)βeP\propto(T_{\rm c}-T)^{\beta_{\rm e}}, P(E)∝E1/δeP(E)\propto E^{1/\delta_{\rm e}} at T=TcT=T_{\rm c}, susceptibility χ∝∣T−Tc∣−γe\chi\propto|T-T_{\rm c}|^{-\gamma_{\rm e}}, correlation length ξ∝∣T−Tc∣−νe\xi\propto|T-T_{\rm c}|^{-\nu_{\rm e}}, and large-distance decay of the arrow-arrow correlation function Ge(r)∝r−ηeG_{\rm e}(r)\propto r^{-\eta_{\rm e}} at criticality. Weak universality (Suzuki 1974) is the observation that on many lines of critical points the exponents defined at TcT_{\rm c} (δ\delta, η\eta) and the ratios β/ν\beta/\nu, γ/ν\gamma/\nu stay constant while β\beta, γ\gamma, ν\nu vary; it holds for the magnetic exponents of Baxter's exactly solved zero-field eight-vertex model. Baxter's solution, however, fixes only one electric exponent (βe\beta_{\rm e}). Krčmár and Šamaj (2018) showed that the electric correlation-length exponent equals the magnetic one, νe=ν\nu_{\rm e}=\nu, and thereby derived exact formulas for all electric exponents of the symmetric eight-vertex model — with μ\mu the angle parameter that labels points on the critical line of Baxter's zero-field eight-vertex solution, βe=(π−μ)/4μ\beta_{\rm e}=(\pi-\mu)/4\mu, δe=(3π+μ)/(π−μ)\delta_{\rm e}=(3\pi+\mu)/(\pi-\mu), γe=(π+μ)/2μ\gamma_{\rm e}=(\pi+\mu)/2\mu, νe=π/2μ\nu_{\rm e}=\pi/2\mu, ηe=1−μ/π\eta_{\rm e}=1-\mu/\pi — establishing that the electric exponents of the eight-vertex model vary with μ\mu in violation of weak universality ('full nonuniversality' of the electric formulation).

The 16-vertex state-flip line inherits two exactly solvable endpoints. At ε(I)=1−ln⁡(1+2)/ln⁡(5+42)=0.627516…\varepsilon^{\rm(I)}=1-\ln(1+\sqrt{2})/\ln(5+4\sqrt{2})=0.627516\dots the model maps onto the square-lattice Ising model on the same lattice (Šamaj and Kolesík 1991, 1992), with the polarization linear in the Ising magnetization, so the electric exponents equal the Ising ones, (1/8,15,7/4,1,1/4)(1/8,15,7/4,1,1/4), and Tc(I)=1/ln⁡(5+42)T_{\rm c}^{\rm(I)}=1/\ln(5+4\sqrt{2}). As ε→∞\varepsilon\to\infty the weights w1,w3w_1,w_3 vanish and the model reduces to the zero-field eight-vertex model with a=1a=1, b=c=d=e−1/Tb=c=d=e^{-1/T}; there Tc=1/ln⁡3T_{\rm c}=1/\ln 3 and μ=2π/3\mu=2\pi/3, giving (1/8,11,5/4,3/4,1/3)(1/8,11,5/4,3/4,1/3). Since the weak-universality combinations differ between the two endpoints (βe/νe=1/8\beta_{\rm e}/\nu_{\rm e}=1/8 versus 1/61/6, γe/νe=7/4\gamma_{\rm e}/\nu_{\rm e}=7/4 versus 5/35/3, δe=15\delta_{\rm e}=15 versus 1111, ηe=1/4\eta_{\rm e}=1/4 versus 1/31/3), weak universality must fail somewhere on the line.

Pospíšilová, Krčmár, Gendiar and Šamaj (2020) studied the interior of the line numerically with the corner transfer matrix renormalization group (CTMRG) method of Nishino and Okunishi (1996) — a deterministic tensor-network algorithm that iteratively grows the lattice while truncating the corner-transfer-matrix density-matrix spectrum to its mm dominant eigenvalues. Earlier, Kolesík and Šamaj (1993) had reached the same qualitative conclusion with low-temperature series expansions analyzed by the coherent-anomaly method (a technique in which the divergence of a prefactor shared by a sequence of mean-field-type approximants is fitted to extract the true, generally nonuniversal critical exponents). The 2020 work found Tc(ε)T_{\rm c}(\varepsilon) vanishing linearly as ε→0\varepsilon\to 0 and tending to 1/ln⁡31/\ln 3 as ε→∞\varepsilon\to\infty, and exponent data (ΔT=10−4\Delta T=10^{-4}, m=200m=200 for βe\beta_{\rm e}; E=2.5×10−5E=2.5\times 10^{-5}, m=100m=100 for δe\delta_{\rm e}) showing βe≈1/8\beta_{\rm e}\approx 1/8 for ε≲2\varepsilon\lesssim 2, a non-monotone variation for 2≲ε≲142\lesssim\varepsilon\lesssim 14 whose amplitude exceeds the error bars by orders of magnitude, and a return to 1/81/8 for ε≳14\varepsilon\gtrsim 14, with δe\delta_{\rm e} interpolating between 15 and 11 and γe\gamma_{\rm e} between 7/4 and 5/4. The exponents νe\nu_{\rm e} and ηe\eta_{\rm e} were evaluated only by inserting βe\beta_{\rm e} and δe\delta_{\rm e} into the two-dimensional scaling relations γe=βe(δe−1)\gamma_{\rm e}=\beta_{\rm e}(\delta_{\rm e}-1), νe=12βe(δe+1)\nu_{\rm e}=\frac{1}{2}\beta_{\rm e}(\delta_{\rm e}+1), ηe=4/(δe+1)\eta_{\rm e}=4/(\delta_{\rm e}+1); no correlation functions were measured directly. The authors note that the variation of νe\nu_{\rm e} alone would still permit a scenario of two universality classes joined by a discontinuous change. No analytic derivation, exact solution, or continuum description of the exponent functions exists, and the known eight-vertex formulas cannot simply be transcribed to this line: at the Ising endpoint the exact tuple would require simultaneously μ=3π/4\mu=3\pi/4 (from ηe=1/4\eta_{\rm e}=1/4) and μ=π/2\mu=\pi/2 (from νe=1\nu_{\rm e}=1), which is impossible, so the interior demands a genuinely new analytic structure if one exists.

Problem Statement

For the symmetric two-state 16-vertex model on the square lattice with state-flip-invariant, permutation-symmetric vertex weights w0=w4=1w_0=w_4=1, w1=w3=e−ε/Tw_1=w_3=e^{-\varepsilon/T}, w2=e−1/Tw_2=e^{-1/T} (ε≥0\varepsilon\ge 0), which lies on the self-dual manifold of the gauge transformation and has a line of second-order critical points Tc(ε)T_{\rm c}(\varepsilon) with polarization order parameter, determine the electric critical exponents βe(ε)\beta_{\rm e}(\varepsilon), δe(ε)\delta_{\rm e}(\varepsilon), γe(ε)\gamma_{\rm e}(\varepsilon), νe(ε)\nu_{\rm e}(\varepsilon), ηe(ε)\eta_{\rm e}(\varepsilon) as functions of ε\varepsilon along the self-dual line, covering the full ε≥0\varepsilon\ge 0 range including the small-ε\varepsilon regime where Tc→0T_{\rm c}\to 0 and the ε→∞\varepsilon\to\infty eight-vertex limit. Concretely, an answer should determine the five exponent functions and resolve the question the source work itself leaves open: whether all five exponents vary continuously along the line, or whether part of the variation — in particular that of νe\nu_{\rm e} — is compatible with distinct universality classes joined by a discontinuous change. Since νe\nu_{\rm e} and ηe\eta_{\rm e} were obtained in the source work only by inserting βe\beta_{\rm e} and δe\delta_{\rm e} into the two-dimensional scaling relations, resolving this question requires determining νe\nu_{\rm e} and ηe\eta_{\rm e} independently of those relations, e.g. from the large-distance behavior of correlation functions. An analytic determination of the exponent functions — an exact solution of the line, a mapping onto a solvable model, or a renormalization-group/continuum field-theoretic construction — remains open; if achieved, it would also elucidate how the gauge/self-duality structure of the weights produces the observed full nonuniversality (violation of the weak-universality hypothesis, under which the ratios βe/νe\beta_{\rm e}/\nu_{\rm e}, γe/νe\gamma_{\rm e}/\nu_{\rm e} and the exponents δe\delta_{\rm e}, ηe\eta_{\rm e} would be constant along the line). The published CTMRG data were obtained at fixed truncation dimension, temperature step, and field values without systematic extrapolation to the m→∞m\to\infty, zero-field, and zero-temperature-step limits, so the interior exponent functions are not yet numerically settled. Any answer must reproduce the exactly known endpoint values: at ε(I)=1−ln⁡(1+2)/ln⁡(5+42)≈0.6275\varepsilon^{\rm(I)}=1-\ln(1+\sqrt{2})/\ln(5+4\sqrt{2})\approx 0.6275 the Ising tuple (βe,δe,γe,νe,ηe)=(1/8,15,7/4,1,1/4)(\beta_{\rm e},\delta_{\rm e},\gamma_{\rm e},\nu_{\rm e},\eta_{\rm e})=(1/8,15,7/4,1,1/4), and in the ε→∞\varepsilon\to\infty eight-vertex limit the tuple (1/8,11,5/4,3/4,1/3)(1/8,11,5/4,3/4,1/3).

References

  1. Eva Pospíšilová, Roman Krčmár, Andrej Gendiar, Ladislav Šamaj, 'Full nonuniversality of the symmetric 16-vertex model on the square lattice', Physical Review E 102, 012125 (2020). DOI: 10.1103/PhysRevE.102.012125; arXiv:2002.02757. https://doi.org/10.1103/PhysRevE.102.012125
  2. Roman Krčmár, Ladislav Šamaj, 'Original electric-vertex formulation of the symmetric eight-vertex model on the square lattice is fully nonuniversal', Physical Review E 97, 012108 (2018). DOI: 10.1103/PhysRevE.97.012108; arXiv:1708.06115. https://doi.org/10.1103/PhysRevE.97.012108
  3. R. J. Baxter, 'Eight-Vertex Model in Lattice Statistics', Physical Review Letters 26, 832-833 (1971). DOI: 10.1103/PhysRevLett.26.832. https://doi.org/10.1103/PhysRevLett.26.832
  4. M. Suzuki, 'New Universality of Critical Exponents', Progress of Theoretical Physics 51, 1992-1993 (1974). DOI: 10.1143/PTP.51.1992. https://doi.org/10.1143/PTP.51.1992
  5. X. N. Wu, F. Y. Wu, 'Duality properties of a general vertex model', Journal of Physics A: Mathematical and General 22, L55-L60 (1989). DOI: 10.1088/0305-4470/22/2/003. https://doi.org/10.1088/0305-4470/22/2/003
  6. L. Šamaj, M. Kolesík, 'On relation between symmetric vertex model and Ising model on the square lattice', Modern Physics Letters B 5, 1075-1080 (1991). DOI: 10.1142/S0217984991001313. https://doi.org/10.1142/S0217984991001313
  7. L. Šamaj, M. Kolesík, 'Mapping of the symmetric vertex model onto the Ising model for an arbitrary lattice coordination', Physica A: Statistical Mechanics and its Applications 182, 455-466 (1992). DOI: 10.1016/0378-4371(92)90354-S. https://doi.org/10.1016/0378-4371(92)90354-S
  8. M. Kolesík, L. Šamaj, 'Series expansion and CAM study of the nonuniversal behavior of the symmetric 16-vertex model', Journal of Statistical Physics 72, 1203-1226 (1993). DOI: 10.1007/BF01048186. https://doi.org/10.1007/BF01048186
  9. M. Assis, 'The 16-vertex model and its even and odd 8-vertex subcases on the square lattice', Journal of Physics A: Mathematical and Theoretical 50, 395001 (2017). DOI: 10.1088/1751-8121/aa842c; arXiv:1702.02110. https://doi.org/10.1088/1751-8121/aa842c
  10. Tomotoshi Nishino, Kouichi Okunishi, 'Corner Transfer Matrix Renormalization Group Method', Journal of the Physical Society of Japan 65, 891-894 (1996). DOI: 10.1143/JPSJ.65.891. https://doi.org/10.1143/JPSJ.65.891
  11. Indranil Mukherjee, P. K. Mohanty, 'Hidden superuniversality in systems with continuous variation of critical exponents', Physical Review B 108, 174417 (2023). DOI: 10.1103/PhysRevB.108.174417; arXiv:2307.15022. https://doi.org/10.1103/PhysRevB.108.174417
  12. F. Caravelli, 'Some exactly solvable and tunable frustrated spin models', Physica A: Statistical Mechanics and its Applications 594, 127007 (2022). DOI: 10.1016/j.physa.2022.127007; arXiv:2201.11598. https://doi.org/10.1016/j.physa.2022.127007