Gaussian free field limits throughout the balanced six-vertex regime

1 · The essentials

The manuscript studies a random height pattern on a square grid. It fixes two of the model’s weights at 1 and lets a third weight, called $c$ , range above 0 up to and including 2. It reports that, in the limit, these heights approach a particular kind of random surface called the Gaussian free field. The result includes the endpoint $c = 2$ , not just values below it. The manuscript also gives an exact formula for the size of the limiting fluctuations. The conclusion concerns a specific way of defining the model on the whole plane, rather than every possible choice of surrounding conditions. This result has not been formalized in Lean or formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine viewing a textured sheet from farther and farther away: the tiny details give way to an overall pattern. Here the limiting pattern is random, and the manuscript identifies both its type and the exact factor controlling its variation.

Why it matters

The reported result identifies one limiting random field throughout the specified balanced regime, including its endpoint. It also specifies the variance multiplier exactly, making the claim more precise than an identification of the limiting field alone. Both the parameter range and the normalization conventions are essential to that statement.

2 · Going further

The precise problem concerns the height function of the square-lattice six-vertex model with weights $a = b = 1$ and $0 < c \leq 2$ . The plane state is obtained from balanced-torus limits. For that state, the manuscript shows convergence of the height function to a multiple of the Gaussian free field, including at $c = 2$ .

The normalization is explicit: height jumps have size one, and the Green kernel is $- (2 π)^{- 1} lo g ∣ x - y ∣$ . With those conventions, the squared multiplier of the limiting Gaussian free field is $1/ arcsin (c /2)$ . Thus the stated formula is the variance multiplier, not the multiplier of the field itself.

The supplied abstract states the conclusion but does not describe the main idea of the argument, the precise mode of convergence, or the construction details of the balanced-torus limits. Only one manuscript is supplied, so there is no documented relationship to companion manuscripts to explain. The main result is not formalized in Lean and has not been formally verified.

Useful notions

Random height functions on a square grid
Weights in the six-vertex model
Limits of random fields
Gaussian free fields and Green kernels
Variance and normalization

What was known before / what is new

Before

The supplied source gives no account of earlier results or historical context. It therefore does not establish which parts of the parameter range, if any, had already been treated before this manuscript.

New

The manuscript presents a Gaussian free field limit for the balanced six-vertex height field across the full stated range $0 < c \leq 2$ , with $a = b = 1$ . Its stated result includes the endpoint $c = 2$ and the exact variance multiplier $1/ arcsin (c /2)$ under the specified conventions. The supplied text does not provide a comparison with prior work.

Limits and assumptions

The claim is restricted to the square-lattice model with $a = b = 1$ , $0 < c \leq 2$ , and the plane state obtained from balanced tori. The exact multiplier is stated for unit height jumps and Green kernel $- (2 π)^{- 1} lo g ∣ x - y ∣$ . The source supplies no argument details or precise convergence framework, and it makes no claim here about other weights, other plane states, or values of $c$ outside this range. It identifies no remaining open problems. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

Balanced regime: Here this refers to the specified weights $a = b = 1$ with $0 < c \leq 2$ .
Plane state: The version of the model on the plane used in the manuscript is defined through balanced-torus limits.
Gaussian free field: This is the limiting random field named in the manuscript, with its normalization specified by the stated Green kernel.
Variance multiplier: This is the square of the factor multiplying the limiting Gaussian free field, stated here as $1/ arcsin (c /2)$ .
Unit height jumps: This is the convention that each height increment has size one.

Keywords : Six-vertex model · Gaussian free field · Variance multiplier

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

The balanced square-lattice six-vertex height field with $a = b = 1$ and $0 < c \leq 2$ converges to a Gaussian free field, including at the endpoint c = 2. The plane state is defined by balanced-torus limits. For unit height increments and Green kernel $- (2 π)^{- 1} lo g ∣ x - y ∣$ , the exact variance multiplier is $1/ arcsin (c /2)$ .

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

The Gaussian free field limit of the balanced six-vertex model with variance multiplier 1/arcsin(c/2)

23/09/2026

To be verified

We prove that the height function of the square-lattice six-vertex model with weights $a = b = 1$ and $0 < c \leq 2$ , in the plane state obtained from balanced tori, converges to a multiple of the Gaussian free field. For unit height jumps and Green kernel $- (2 π)^{- 1} lo g ∣ x - y ∣$ , the squared multiplier is $1/ arcsin (c /2)$ .

PDF GitHub folder