The stochastic telegraph equation limit of the stochastic higher spin six vertex model

Yier Lin

doi:10.1214/20-EJP552

The stochastic telegraph equation limit of the stochastic higher spin six vertex model

Lin, Yier 2020-05-01 00:00:00 THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL YIER LIN Abstract. In this paper, we prove that the stochastic telegraph equation arises as a scaling limit of the stochastic higher spin six vertex (SHS6V) model with general spin I/2,J/2. This extends results of Borodin and Gorin which focused on the I = J = 1 six vertex case and demonstrates the universality of the stochastic telegraph equation in this context. We also provide a functional extension of the central limit theorem obtained in [BG19, Theorem 6.1]. The main idea is to generalize the four point relation established in [BG19, Theorem 3.1], using fusion. 1. Introduction 1.1. Telegraph equation and stochastic telegraph equation. The telegraph equation is a hyperbolic PDE given by u (X, Y ) + β u (X, Y ) + β u (X, Y ) = f (X, Y ), XY 1 Y 2 X (1.1) u(X, 0) = χ(X ), u(0, Y ) = ψ(Y ), where the functions χ, ψ ∈ C satisfy χ(0) = ψ(0). When f is a deterministic function, the equation (1.1) is a classical object, see [CH08, Chapter V]. The stochastic versions of the telegraph equation were intensively studied in the last 50 years, we refer the reader to [BG19, Section 1.1] for a brief review. The solution theory of the telegraph equation goes back to [CH08], we present it in the way of [BG19, Section 4]. In fact, (1.1) admits a unique solution which reads Z Z Y X 0 0 u(X, Y ) = ψ(0)R(X, Y, 0, 0) + R(X, Y ; 0, y) ψ (y) + β ψ(y) dy + R(X, Y ; x, 0) χ (x) + β χ(x) dx 2 1 0 0 Z Z X Y + R(X, Y, x, y)f (x, y)dxdy. (1.2) 0 0 Here, R(X, Y, x, y) is the Riemann function deﬁned as 1 β − β z z 2 1 R(X, Y ; x, y) = exp (β − β ) − (X − x) + (Y − y) dz, (1.3) 1 2 2πi (z + β )(z + β ) z + β z + β −β 1 2 2 1 where the contour of the complex integration is a small circle in positive direction which only includes the pole at −β . When f is given by f (X, Y ) = θ(X, Y )η(X, Y ), where η is the space-time white noise with dirac delta correlation function and θ is a deterministic integrable function. By formula (1.2), the solution to the stochastic telegraph equation is a Gaussian ﬁeld with covariance function Z Z X ∧Y X ∧Y 1 1 2 2 Cov u(X , Y ), u(X , Y ) = R(X , Y , x, y)R(X , Y , x, y)θ(x, y)dxdy. (1.4) 1 1 2 2 1 1 2 2 0 0 [BG19, Section 4] identiﬁes the following discretization of the telegraph equation Φ(X + 1, Y + 1)− b Φ(X, Y + 1)− b Φ(X + 1, Y ) + (b + b − 1)Φ(X, Y ) = g(X + 1, Y + 1), 1 2 1 2 (1.5) Φ(X, 0) = χ(X ), Φ(0, Y ) = ψ(Y ), where χ(0) = ψ(0). The unique solution to (1.5) is given by [BG19, Theorem 4.7]: Y X X X d d d Φ(X, Y ) = ψ(0)R (X, Y ; 0, 0) + R (X, Y ; 0, y) ψ(y)− b ψ(y − 1) + R (X, Y ; x, 0) χ(x)− b χ(x− 1) 2 1 y=1 x=1 X Y XX + R (X, Y ; x, y)g(x, y). (1.6) x=1 y=1 arXiv:2005.00620v3 [math.PR] 19 Dec 2020 2 YIER LIN where the discrete Riemann function R equals (see [BG19, Eq. 45]) 1 (b − b )dz 2 1 R (X, Y ; x, y) = 2πi 1 (1 + b (1− b )z)(1 + b (1− b )z) − 2 1 1 2 b (1−b ) 2 1 X−x Y−y 1 + b (1− b )z 1 + b (1− b )z 1 1 2 2 × . (1.7) 1 + b (1− b )z 1 + b (1− b )z 2 1 1 2 Here, the contour is a small circle going in positive direction which only encircles the pole at − . b (1−b ) 2 1 In the ﬁrst version of the arxiv paper [BG18], Borodin and Gorin showed that under a special scaling regime where the weight of the corner type vertex goes to zero, the height function of the stochastic six vertex model converges to the telegraph equation. They also conjectured that the ﬂuctuation ﬁeld will converge to the stochastic telegraph equation with some heuristic arguments and proved this result under a special situation called low density boundary regime. The result for general boundary condition was later proved in [ST19] and [BG19] via two distinct approaches. This result comes as a surprise. Since from [GS92, BCG16] we know that the stochastic six vertex model belongs to the KPZ universality class. The one point ﬂuctuation of the models in this universality is governed by Tracy Widom distribution [TW94]. However, the solution to the stochastic telegraph equation does not lie in this universality (since it is a Gaussian ﬁeld). In addition,[CGST20] shows that under weakly asymmetric scaling (which is a diﬀerent scaling compared with the one in [BG19]), the stochastic six vertex model converges to the KPZ equation [KPZ86, Cor12], which is a parabolic stochastic PDE while the stochastic telegraph equation is hyperbolic! It is natural to ask if the stochastic telegraph equation also arises as a scaling limit of other probabilistic models. In this paper, we show that the stochastic higher spin six vertex (SHS6V) model, which is a higher spin generalization of the stochastic six vertex model, converges to the stochastic telegraph equation under certain scaling regime. This extends the universality of the stochastic telegraph equation. In addition, [Lin20] showed that under a diﬀerent scaling than the one considered in this paper, the SHS6V model converges to the KPZ equation. This tells us that the SHS6V model converges to two distinct types of stochastic PDE under various choice of scaling. 1.2. The SHS6V model. The SHS6V model is a four-parameter family of quantum integrable system ﬁrst in- troduced in [CP16] and has been intensely studied in recent years, from the perspective of symmetric polynomial [Bor17, Bor18], exact solvability [BCPS15, CP16, BP18], Markov duality [CP16, Kua18, Lin19] and scaling limit [CT17, IMS20, Lin20]. In particular, it is a higher spin generalization of stochastic six vertex model from spin parameter I = J = 1 to general I, J ∈ Z . In this paper, we discover a scaling regime for the SHS6V model ≥1 (which degenerates to the scaling in [BG19] when I = J = 1), under which we prove that: 1) the hydrodynamic limit of the SHS6V model is a telegraph equation; 2) the ﬂuctuation ﬁeld of the model converges to a stochastic telegraph equation. To explain our result with more detail, we start with a brief review of the SHS6V model. Deﬁnition 1.1 (J = 1 L-matrix). We deﬁne the J = 1 L-matrix to be a matrix with row and column indexed by Z ×{0, 1}. The element of the J = 1 L-matrix is speciﬁed by ≥0 m m 1 + αq α(1− q ) (1) (1) L (m, 0; m, 0) = , L (m, 0; m− 1, 1) = , α α 1 + α 1 + α m m α + νq 1− νq (1) (1) L (m, 1; m, 1) = , L (m, 1; m + 1, 0) = α α 1 + α 1 + α (1) and L (i , j ; i , j ) = 0 for al l other values of (i , j ), (i , j ) ∈ Z × {0, 1}. As a convention, throughout α 1 1 2 2 1 1 2 2 ≥0 (1) −I the paper, we set ν = q for some ﬁxed I ∈ Z . Note that L (I, 1; I + 1, 0) = 0, hence the J = 1 L-matrix ≥1 transfers the subspace {0, 1, . . . , I}×{0, 1} to itself and we wil l restrict ourselves on this subspace. (1) We call α the spectral parameter and in the notation of L , where the dependence on other parameters is not made explicit. It is clear from the deﬁnition that for ﬁxed i ∈ {0, 1, . . . , I} and j ∈ {0, 1}, 1 1 (1) L (i , j ; i , j ) = 1. 1 1 2 2 (i ,j )∈{0,1,...,I}×{0,1} 2 2 (1) Moreover, L is stochastic if we impose the following condition. (1) Lemma 1.2. L is stochastic if one of the fol lowing holds: α THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 3 −I • q ∈ (0, 1) and α < −q , −I • q > 1 and −q < α < 0. Proof. This follows from [CP16, Proposition 2.3], which can also be veriﬁed directly. (1) For an entry L (i , j ; i , j ), we interpret the four tuple (i , j , i , j ) as a vertex conﬁguration in the sense 1 1 2 2 1 1 2 2 that a vertex is associated with i input lines and j input lines coming from bottom and left, i output lines 1 1 2 (1) and j output lines ﬂowing to above and right, see Figure 1. The quantity L (i , i ; j , j ) gives the weight of 2 1 2 1 2 (1) the vertex conﬁguration. Note that for a vertex associated with L , we allow up to I number of vertical lines and up to one horizontal line. We say that the L-matrix is conservative in lines as it assigns zero weight to the (1) entry L (i , j ; i , j ) unless i + j = i + j . α 1 1 2 2 1 1 2 2 i i = 3 output j j j = 1 j = 0 1 2 1 2 input i = 2 Figure 1. Left panel: The vertex conﬁguration labeled by four tuple (i , j ; i , j ) (from 1 1 2 2 (1) bottom and then in the clockwise order) has weight L (i , j ; i , j ), which absorbs i ∈ α 1 1 2 2 1 {0, 1, . . . , I} input lines from bottom, j ∈ {0, 1} input line from left, and produces i ∈ 1 2 {0, 1, . . . , I} output lines to above, j ∈ {0, 1} output lines to right. Right panel: Visualization of the vertex conﬁguration (i , j ; i , j ) = (2, 1; 3, 0) in terms of lines. 1 1 2 2 We want to relax the restriction that the multiplicities of the horizontal line are bounded by 1, and instead, (J) consider multiplicities bounded by any ﬁxed J . This motivates us to deﬁne the L matrix, the construction of it follows the so-called fusion procedure, which was invented in a representation-theoretic context [KRS81, KR87] to produce higher-dimensional solutions of the Yang–Baxter equation from lower-dimensional ones. The explicit expression of general J L-matrix is derived separately in [Man14] and [CP16]: 2 2 2 2 2j −j 2j −j i +i 1 2 i (j −1)+i j 1 2 2 1 2 2 1 1 (J) − + + 4 4 4 2 L (i , j ; i , j ) =1 q 1 1 2 2 {i +j =i +j } α 1 1 2 2 (1.8) j −i j −j +i −1 1 2 2 1 2 −i −i J −1 2 1 ν α (−αν ; q) q ; q ,−αq ,−qνα j −i 2 1 × φ q, q . 4 3 1+j −i J+1−i −j J+1−j 2 1 2 2 ν, q , q (q; q) (−α; q) (q ; q) i i +j j −j 2 2 2 1 2 Here, φ is the regularized terminating basic hyper-geometric series deﬁned by 4 3 n r −n −n X Y (q ; q) q , a , . . . , a 1 r k k k φ q, z = z (a ; q) (b q ; q) . r+1 r i k i n−k b, . . . , b r (q; q) k=0 i=1 (J) (1) It is a simple exercise to see when J = 1, the expression of L matches with L in Deﬁnition 1.1. We will show α α (J) (J) momentarily that L is stochastic (Corollary 1.4). This allows us to view the matrix element L (i , j ; i , j ) α α 1 1 2 2 as a vertex conﬁguration in the manner that we described in J = 1 case. Note that now we allow up to J lines in the horizontal direction. Despite explicitness, the expression of the L-matrix above is too complicated to manipulate. For instance, using (J) (1.8) directly, it might be hard to demonstrate the stochasticity of L . To this end, we recall a probabilistic (J) derivation of L in [CP16] using the idea of fusion, which goes back to [KR87]. We start by introducing a few α 4 YIER LIN notations. ⊗J Deﬁne the stochastic matrix Ξ with rows and columns indexed by {0, 1} and {0, 1, . . . , J} such that 1 if h = h i=1 Ξ (h , . . . , h ), h = 1 J 0 else ⊗J and the stochastic matrix Λ with row and column indexed by {0, 1, . . . , J} and {0, 1} . The matrix element is given by  i−1 q if h = h i=1 Z (h) Λ h, (h , . . . , h ) = 1 J i:h =1 0 else (q,q) h(h−1)/2 J where Z (h) = q is the normalizing constant (it can be computed using q-binomial theorem). (q,q) (q,q) h J−h ⊗ J ⊗J We also deﬁne the matrix L with rows and columns indexed by {0, 1, . . . , I}×{0, 1} with matrix elements X Y (1) ⊗ J 0 0 0 0 L (v, h , . . . , h ; v , h , . . . , h ) = L (v , h ; v , h ). 1 J i−1 i−1 i i α 1 J i αq v ,v ,...,v 0 1 J i=1 v =v,v =v 0 J In terms of the right part of Figure 2, these matrix elements provide the transition probabilities from the lines coming into a column from bottom and left, to those leaving to the top and right. The following lemma allows us to decompose the vertex with horizontal spin J/2 (i.e. the vertex associated (J) with L ) in terms of a sequence of horizontal spin 1/2 vertices, see Figure 2 for visualization. Lemma 1.3. The fol lowing identity holds (J) 0 0 ⊗ J 0 0 0 0 0 0 L (v, h; v , h ) = Λ h; (h , h , . . . h ) L (v, h , . . . , h ; v , h , . . . , h ) Ξ (h , . . . , h ); h . 1 2 J 1 J α α 1 J 1 J (h ,...,h )∈{0,1} 1 J 0 0 J (h ,...,h )∈{0,1} 1 J Proof. This was shown in [CP16, Theorem 3.15]. (1) J−1 αq (J) α . (1) αq 0 h h h h 0 2 h (1) 0 0 Figure 2. Pictorial representation of the identity in Lemma 1.3. Fixing h, v, h , v , the weight (J) 0 0 of vertex conﬁguration on the left is given by L (v, h; v , h ). It is equal to the weight of the ⊗ J q 0 0 0 column on the right, which is the summation of all L (v, h , . . . , h ; v , h , . . . , h ), under the α 1 J 0 0 0 condition h +··· + h = h and h +··· + h = h , each term in the summation is reweighted 1 J by multiplying Λ h; (h , . . . , h ) . 1 J (J) Applying Lemma 1.3, we show that L is stochastic, under the following choice of parameters. (J) Corollary 1.4. The matrix L is stochastic if either of the fol lowing condition holds α THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 5 −I−J+1 • q ∈ [0, 1) and α < −q , −I−J+1 • q > 1 and −q < α < 0. (1) Proof. Note that under the range imposed on q, α, referring to Lemma 1.2, the matrix L is stochastic for αq (J) each i = 0, 1, . . . , J − 1. As the product of stochastic matrices is stochastic as well, the stochasticity of L follows directly from Lemma 1.3. 2 2 We proceed to deﬁne the SHS6V model on the ﬁrst quadrant Z . For each vertex (x, y) ∈ Z , we associate ≥0 ≥0 it with a four tuple (v , h , v , h ) ∈ Z such that v , h represent the number of lines entering x,y x,y x,y+1 x+1,y x,y x,y ≥0 into the vertex from bottom and left, v , h denote the number of lines ﬂowing from the vertex to above x,y+1 x+1,y and right. Note that conﬁgurations chosen for two neighboring vertices need to be compatible in the sense that the lines keep ﬂowing. For instance, v also represents the number of vertical input lines ﬂowing into x,y+1 (x, y + 1), h equals the number of horizontal lines entering into (x + 1, y) (see the right part of Figure 3). x,y+1 Deﬁnition 1.5. We deﬁne the SHS6V model to be a stochastic path ensemble on Z . The boundary condition ≥0 speciﬁed by {v } and {h } such that v ∈ {0, 1, . . . , I}, h ∈ {0, 1, . . . , J}. In other words, we x,0 x∈Z 0,y y∈Z x,0 0,y ≥0 ≥0 have h number of lines entering into the vertex (0, y) from the left boundary and v number of lines ﬂowing 0,y x,0 into the vertex (x, 0) from the bottom boundary. Sequential ly taking (x, y) to be (0, 0) → (1, 0) → (0, 1) → (2, 0) → (2, 1) . . . , for vertex at (x, y), given v , h as the number of vertical and horizontal input lines, we x,y x,y randomly choose the number of vertical and horizontal output lines (v , h ) ∈ {0, 1, . . . , I}×{0, 1, . . . , J} x,y+1 x+1,y (J) according to probability L (v , h ; ·,·). Proceeding with this sequential sampling, we get a col lection of paths x,y x,y going to the up-right direction and we cal l this the SHS6V model. We associate a height function H : Z → Z to the path ensemble, where the paths play a role as the level ≥0 lines of the height function (see Figure 3). Deﬁne for any x, y ∈ Z , ≥0 X X H (x, y) = h − v . 0,j−1 i−1,y j=1 i=1 Clearly, we have H (0, 0) = 0 and H (x, y)−H (x− 1, y) = −v . Since the vertex is conservative, we also have x−1,y H (x, y)− H (x, y − 1) = h . x,y−1 Graphically, when we move across i number of vertical lines from left to right, the height function will decrease by i. When we move across j number of horizontal lines, the height function will increase by j. We further extend H (x, y) to all (x, y) ∈ R by ﬁrst linearly interpolating the height function ﬁrst in the x-direction, then ≥0 in the y-direction. It is obvious that the resulting function is Lipschitz and monotone. For later use, we call I/2, J/2 the vertical and horizontal spin respectively. If a vertex is of horizontal spin 1/2, we call it a J = 1 vertex, otherwise we call it a general J vertex. 1.3. Four point relation. [BG19] shows that the stochastic six vertex model height function converges to a telegraph equation and its ﬂuctuation ﬁeld converges to a stochastic telegraph equation. The key observation is the following four point relation, which says that if we deﬁne S6V H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) ξ (x + 1, y + 1) = q − b q − b q + (b + b − 1)q , 1 2 1 2 α+ν 1+αq Here b , b are the weight of the six vertex model conﬁguration (in our notation b = , b = ). Then 1 2 1 2 1+α 1+α the conditional expectation and variance of ξ read h i S6V E ξ (x + 1, y + 1) F (x, y) = 0, (1.9) h i S6V 2 H(x,y) H(x,y) E ξ (x + 1, y + 1) F (x, y) = γ Δ Δ + γ q Δ + γ q Δ , (1.10) 1 x y 2 x 3 y H(x+1,y) H(x,y) where F (x, y) is a sigma algebra generated by {H (u, v) : u ≤ x or v ≤ y} and Δ := q − q , H(x,y+1) H(x,y) Δ := q − q . The parameters γ , i = 1, 2, 3 depend on b , b . y i 1 2 In our paper, we generalize the above relations to the SHS6V model. Deﬁne J J α + ν 1 + αq ν + αq S6SHV H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) ξ (x + 1, y + 1) = q − q − q + q , 1 + α 1 + α 1 + α 6 YIER LIN x;y+1 4 2 5 3 h = 1 0;3 4 2 2 1 1 H(x; y + 1) H(x + 1; y + 1) h = 2 0;2 2 1 1 0 (x; y) 1 h h x;y x+1;y h = 1 0;1 1 0 1 0 -1 H(x; y) H(x + 1; y) h = 1 0;0 -1 0 0 0 0 v = 0 v = 0 v = 0 v = 1 0;0 1;0 2;0 3;0 x;y Figure 3. Left: Illustration of the height function around a vertex (x, y), note that H (x, y + 1) = H (x, y) +h , H (x + 1, y) = H (x, y)−v and H (x + 1, y + 1) = H (x, y) +h −v = x,y x,y x,y x,y+1 H (x, y) − v + h . Right: Sampled stochastic path ensemble on a quadrant. The red x,y x+1,y number indicates the number lines entering into the boundary, the blue number represents the height at each vertex. We prove (respectively in Theorem 2.3 and Theorem 2.5) that h i SHS6V E ξ (x + 1, y + 1) F (x, y) = 0, (1.11) h i SHS6V 2 H(x,y) H(x,y) E ξ (x + 1, y + 1) F (x, y) = γ Δ Δ + γ q Δ + γ q Δ + R(x, y). (1.12) 1 x y 2 x 3 y SHS6V R(x, y) is an error term that is negligible under our scaling. From now on, we may also use ξ to denote ξ . Why does such a generalization exist? In the context of the stochastic six vertex model, (1.9) is related to the self-duality discovered in [CP16, Proposition 2.20], though it is more of a local relation than the way duality is generally stated (it is unclear to us how to prove (1.9) from the duality directly). In fact, [CP16, Corollary 3.3] shows that the SHS6V model with general I, J enjoys the same self-duality, so it is natural to expect that (1.11), as a generalized version of (1.9) holds. For the quadratic variation, the situation is more subtle for the SHS6V model. We do not come up with a simple reason why (1.12) holds, though this may be understandable from our proof, which is brieﬂy explained in the next paragraph. Here, we just emphasize that as shown in Remark 2.6, there exist no γ , i = 1, 2, 3 such that the identity without an error term holds for the SHS6V model. We also emphasize that it is only under our scaling (1.13) that R(x, y) is negligible. Let us explain the ideas and techniques used in proving (1.11) and (1.12). In [BG19], the authors prove (1.9) and (1.10) via a direct computation, which corresponds to enumerating all possible six vertex conﬁgurations. (J) In our case, the situation is more involved: when J is large, the expression of L is so complicated that it is hopeless to check these relations directly. Alternatively, we ﬁrst verify them directly for J = 1, in which case the L-matrix has a simple expression given by Deﬁnition 1.1. For general J , we use fusion, which allows us to decompose the general J vertex into a sequence of J = 1 vertices (see Figure 2). Repeatedly using the J = 1 version of (1.11) (where the spectral parameter α is replaced by αq in the expression of ξ), we get J identities. Summing up these identities in a clever way, we see a telescoping property and (1.11) follows. To prove (1.12), besides using fusion, we need to refer to the property of our scaling (1.13), which says that with a probability converging to 1, the lines entering into a vertex will keep ﬂowing in the same direction (see Lemma 2.4). In [CP16], the fusion was stated in a way that the spectral parameters progress geometrically by q from bottom to top when we decompose the general J vertex to a column of J = 1 vertices. It turns out that (Lemma 2.1) we can also reverse the direction and let the parameters progress geometrically by q from top to bottom (meanwhile we change the probability distribution assigned on the input lines from the left). We did not see this THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 7 result elsewhere. Note that it is only after this reversal of the spectral parameters that we obtain the telescoping property mentioned in the previous paragraph. 1.4. Stochastic telegraph equation as a scaling limit of the SHS6V model. Having established the four point relation, we are ready to talk about our result. We show that under our scaling, (i). (Hydrodynamic limit (or law of large numbers) – Theorem 1.6): The SHS6V model height function converges uniformly in probability to a telegraph equation. (ii). (Functional central limit theorem – Theorem 1.7 (also see Corollary 1.9)): The ﬂuctuation ﬁeld of the height function around its hydrodynamic limit (viewed as a random continuous function) converges weakly to a stochastic telegraph equation. Once we have proved the four point relation for the SHS6V model, the proof for the law of large numbers is akin to [BG19, Theorem 5.1]. For the functional central limit theorem, our proof breaks down into proving the ﬁnite dimensional weak convergence (Proposition 3.1) and tightness (Proposition 3.2). For ﬁnite dimensional convergence, the proof follows a similar idea as in [BG19, Theorem 6.1], subject to certain generalization. For the tightness, we rely on the Burkholder inequality and a careful control of joint moments of ξ at diﬀerent locations (Lemma 3.3). We remark that the proof of the tightness may not ﬁt to the regime of classical functional martingale CLT result (e.g. [Bro71, Section 6]), see Remark 3.4 for more discussion. To present our results, let us ﬁrst introduce our scaling. Fix I, J ∈ Z and positive β , β such that β 6= β , ≥1 1 2 1 2 we scale the parameter q, α in the way that β −β Jβ 1 2 1 + αq 2 L L q = e , = e , L → ∞. (1.13) 1 + α It is straightforward that as L → ∞, α and q always satisfy one of the conditions given in Corollary 1.4, thus (J) L is indeed stochastic. β −β 1 2 Theorem 1.6. Deﬁne q = e and ﬁx A, B > 0, consider two monotone Lipschitz functions χ and ψ. Suppose that the boundary for the SHS6V model is chosen in the way that as L → ∞, H (Lx, 0) → χ(x) and H (0, Ly) → ψ(y) uniformly in probability for x ∈ [0, A] and y ∈ [0, B], then as L → ∞, sup |H (Lx, Ly)− Lh(x, y)| → 0, x∈[0,A]×[0,B] h(x,y) where → means the convergence in probability. q is the unique solution to the telegraph equation ∂ ∂ ∂ h(x,y) h(x,y) h(x,y) q + Jβ q + Iβ q = 0, (1.14) 2 1 ∂x∂y ∂x ∂y h(x,0) χ(x) h(0,y) ψ(y) with the boundary condition speciﬁed by q = q and q = q . h(x,0) h(0,y) We remark that there is a typo in [BG19, Eq. 69] about the boundary condition, q , q should equal χ(x) ψ(y) q and q , instead of χ(x) and ψ(y). Having established the law of large number for the height function, we proceed to show the functional central limit theorem. As a convention, we endow the space C (R ) with the topology of uniform convergence over ≥0 compact subsets and use “ ⇒ ” to denote the weak convergence. Recall that we linearly extend H (x, y) for non-integer x, y, so H (x, y) ∈ C (R ). ≥0 Theorem 1.7. Assuming further that χ(x) and ψ(y) are piecewise C -smooth, we have the weak convergence as L → ∞, h i H(Lx,Ly) H(Lx,Ly) 2 L q − E q ⇒ ϕ(x, y) in C (R ), ≥0 where ϕ(x, y) is a random continuous function which solves the stochastic telegraph equation h h h h h h ϕ + Iβ ϕ + Jβ ϕ = η · (β + β )q q + J (β − β )β q q + I (β − β )β q q , (1.15) xy 1 y 2 x 1 2 2 1 2 1 2 1 x y x y h h(x,y) h h(x,y) Here, q := ∂ (q ) and q := ∂ (q ), the boundary of ϕ is given by zero. x y x y 8 YIER LIN Remark 1.8. By (1.4), it is clear that ϕ is a Gaussian ﬁeld with covariance function Z Z X ∧Y X ∧Y 1 1 2 2 Cov ϕ(X , Y ), ϕ(X , Y ) = R (X , Y , x, y)R (X , Y , x, y) 1 1 2 2 IJ 1 1 IJ 2 2 0 0 h h h h h h × (β + β )q q + J (β − β )β q q + I (β − β )β q q dxdy, 1 2 2 1 2 1 2 1 x y x y where R is the Riemann function in (1.3) with β and β replaced by Iβ and Jβ respectively, i.e. IJ 1 2 1 2 1 Jβ − Iβ z z 2 1 R (X, Y ; x, y) = exp (Iβ − Jβ ) − (X − x) + (Y − y) dz, IJ 1 2 2πi (z + Iβ )(z + Jβ ) z + Jβ z + Iβ 1 2 2 1 −Iβ (1.16) As a corollary of the previous results, we have the following. Corollary 1.9. As L → ∞, H (Lx, Ly)− E H (Lx, Ly) √ ⇒ φ(x, y) in C (R ), ≥0 ϕ(x,y) φ(x, y) is a Gaussian ﬁeld given by φ(x, y) := , which solves h(x,y) q log q φ + Iβ φ + Jβ φ + (β − β )(φ h + φ h ) = η · (β + β )h h − Jβ h + Iβ h . (1.17) xy 1 y 2 x 1 2 y x x y 1 2 x y 2 x 1 y The rest of the paper is organized as follows. In Section 2, we ﬁrst establish an identity (Lemma 2.1), which gives an alternative way to apply fusion. Then, we prove our four point relation (Theorem 2.3 and Theorem 2.5). We also discuss some properties of our scaling (Lemma 2.4). In Section 3, we ﬁrst use the four point relation to prove the law of large numbers (Theorem 1.6) and the ﬁnite dimensional version of the CLT (Proposition 3.1). Then we establish the tightness (Proposition 3.2) and improve our CLT to the functional level (Theorem 1.7). 1.5. Acknowledgment. The author wants to thank Ivan Corwin for many valuable comments on the paper; Vadim Gorin for helpful comments and discussion; and Shalin Parekh for an inspiring discussion about the tightness result. The author was supported by Ivan Corwin through the NSF grants DMS-1811143, DMS- 1664650 and also by the Minerva Foundation Summer Fellowship program. 2. Four point relation In this section, we prove the four point relation (1.11) and (1.12) that mentioned in Section 1.3. To begin with, we present a lemma that allows us to reverse the spectral parameters upside down when we decompose the general J vertex into a column of J = 1 vertices, see Figure 4 for visualization. The key for our proof is an identity that allows us to switch a pair of vertices with diﬀerent spectral parameters, see Figure 5. We do not ﬁnd such identity in the literature. It seems to us that this identity does not follow directly from the Yang-Baxter equation. Deﬁne the stochastic matrix Λ,  J−i q if h = h i=1 Z (h) Λ(h, (h , . . . , h )) := 1 J h =1 0 else and X Y (1) ⊗ J 0 0 0 0 e q L (v, h , . . . , h ; v , h , . . . , h ) := L (v , h ; v , h ). 1 J J−i i−1 i i α 1 J i αq v ,v ,...,v 0 1 J i=1 v =v,v =v 0 J ⊗ J i−1 J−i Note that comparing with the expression of Λ and L , the term q is replaced by q , which corresponds to reversing the spectral parameters upside down. THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 9 0 0 Lemma 2.1. For ﬁxed h, v, h , v , the fol lowing identity holds, ⊗ J 0 0 0 0 0 0 Λ(h; h , h , . . . h )L (v, h , . . . , h ; v , h , . . . , h ) Ξ(h , . . . , h ; h ) 1 2 J 1 J α 1 J 1 J (h ,...,h )∈{0,1} 1 J 0 0 J (h ,...,h )∈{0,1} 1 J ⊗ J 0 0 0 0 0 0 e q = Λ(h; h , h , . . . h )L (v, h , . . . , h ; v , h , . . . , h ) Ξ(h , . . . , h ; h ). (2.1) 1 2 J 1 J α 1 J 1 J (h ,...,h )∈{0,1} 1 J 0 0 J (h ,...,h )∈{0,1} 1 J Consequently, we have alternate expression for the general J vertex weight (J) 0 0 ⊗ J 0 0 0 0 0 0 e e q L (v, h; v , h ) = Λ(h; h , h , . . . h )L (v, h , . . . , h ; v , h , . . . , h ) Ξ(h , . . . , h ; h ). (2.2) 1 2 J 1 J α α 1 J 1 J (h ,...,h )∈{0,1} 1 J 0 0 J (h ,...,h )∈{0,1} 1 J Proof. By Lemma 1.3, it is clear that (2.1) implies (2.2). It suﬃces to prove (2.1), which says, graphically 0 0 v v Λ Λ (1) (1) L L J−1 αq 0 0 h h J h J h J J ( ( ) ) ! ! . . (1) . . (1) . . J−2 αq αq 0 0 0 h 0 h wt h = wt h h h 2 h 2 h 2 2 (1) (1) L J−1 L αq 0 0 h h 1 h 1 h 1 1 v v Figure 4. Pictorial representation of the identity (2.1). The weight (wt) of a diagram is given by a summation of products of L-matrices over h , . . . , h , with condition h + ··· + h = h 1 J 1 J 0 0 0 and h +··· + h = h . Each product on the left (resp. right) hand side in the summation is reweighted by Λ(h; h , . . . , h ) (resp. Λ(h; h , . . . , h )). 1 J 1 J When J = 1, the proof is trivial. When J = 2, the identity (2.1) reduces to Figure 5. Since h, h ∈ {0, 1, 2}, Λ Λ (1) (1) L L ( αq ( α ) ! ) ! 0 0 h h 2 h 2 h 2 2 (1) (1) 0 0 wt L h = wt L h α αq 0 0 h h 1 1 h h 1 1 v v Figure 5. Identity (2.1) when J = 2. there are nine cases in total. One can verify each case directly and here, we only show our veriﬁcation for h = 1 and h = 1, in which case the computation is more involved. The LHS in Figure 5 equals (1) (1) (1) (1) Λ 1; (1, 0) L (v, 1; v, 1)L (v, 0; v, 0) + L (v, 1; v + 1, 0)L (v + 1, 0; v, 1) α αq α αq (1) (1) (1) (1) + Λ 1; (0, 1) L (v, 0; v − 1, 1)L (v − 1, 1; v, 0) + L (v, 0; v, 0)L (v, 1; v, 1) α αq α αq v v+1 v v+1 v v−1 v v 1 α + νq 1 + αq 1− νq αq(1− q ) q α(1− q ) 1− νq 1 + αq αq + νq = + + + 1 + q 1 + α 1 + αq 1 + α 1 + αq 1 + q 1 + α 1 + αq 1 + α 1 + αq (2.3) 10 YIER LIN and the RHS equals (1) (1) (1) (1) Λ 1; (1, 0) L (v, 1; v, 1)L (v, 0; v, 0) + L (v, 1; v + 1, 0)L (v + 1, 0; v, 1) αq α αq α (1) (1) (1) (1) + Λ 1; (0, 1) L (v, 0; v − 1, 1)L (v − 1, 1; v, 0) + L (v, 0; v, 0)L (v, 1; v, 1) αq α αq α v v v v+1 v v−1 v+1 v q αq + νq 1 + αq 1− νq α(1− q ) 1 αq(1− q ) 1− νq 1 + αq α + νq = + + + 1 + q 1 + αq 1 + α 1 + αq 1 + α 1 + q 1 + αq 1 + α 1 + αq 1 + α (2.4) It is not hard to see directly that the RHS of (2.3) and (2.4) are both the sum of the following four terms (divided by a common denominator (1 + q)(1 + α)(1 + αq)) v v v v+1 v v−1 v+1 v q(αq + νq )(1 + αq ), qα(1− νq )(1− q ), αq(1− q )(1− νq ), (1 + αq )(α + νq ). For the veriﬁcation of other h, h ∈ {0, 1, 2}, we omit the details of our computation. For general J , we look at the column of vertices on the LHS of the equation illustrated in Figure 4. From bottom to top, we label the vertices from 1 to J . Sequentially for i = 1, . . . , J − 1, we apply the J = 2 identity (that we just veriﬁed) for the vertex i and i + 1 in that column. Then, the spectral parameters of the vertices J−1 2 J−1 (looking from bottom to top) change from (α, αq, . . . , αq ) to (αq, αq , . . . , αq , α), note that the vertex with spectral parameter α moves from bottom to top. The Λ also changes accordingly. Then we apply the J = 2 identity for i = 1, . . . , J− 2 to move the spectral parameter αq to the second top place. If we keep implementing J−1 J−2 this procedure, ﬁnally we get a column of vertices with spectral parameters (αq , αq , . . . , α). The left input lines are weighted by Λ. Remark 2.2. It turns out that fol lowing the same argument, the identities (2.1), (2.2) also hold when we replace the stochastic matrix Λ with  σ(i)−1 J q if h = h , i=1 Z (h) Λ h, (h , . . . , h ) := σ 1 J h =1 0 else, ⊗ J 0 0 0 and replace L (v, h , . . . , h ; v , h , . . . , h ) with α 1 J 1 J X Y (1) ⊗ J 0 0 0 0 L (v, h , . . . , h ; v , h , . . . , h ) := L (v , h ; v , h ). 1 J σ(i)−1 i−1 i i σ,α 1 J i αq v ,v ,...,v 0 1 J i=1 v =v,v =v 0 J where σ is an arbitrary permutation of {1, 2, . . . , J}. We do not include this generalization in the lemma since we are not going to use it. Theorem 2.3. Consider the SHS6V model associated with the height function H , deﬁne for x, y ∈ Z , ≥0 J J α + ν 1 + αq ν + αq H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) ξ(x + 1, y + 1) = q − q − q + q , (2.5) 1 + α 1 + α 1 + α then we have, h i E ξ(x + 1, y + 1) F (x, y) = 0, (2.6) where F (x, y) = σ H (i, j) : i ≤ x or j ≤ y . Proof. Since our model is homogeneous, i.e. every vertex is assigned with the same L-matrix, we suppress the dependence on x, y in our notation and denote by ξ := ξ(x + 1, y + 1), H := H (x, y), h := H (x, y + 1)− H (x, y), v := H (x, y)− H (x + 1, y). In addition, we let F := σ H (x, y), H (x, y + 1), H (x + 1, y) = σ H, h, v . By the sequential update rule speciﬁed in Deﬁnition 1.5, H (x + 1, y + 1) only depends on the information of H, h, v, so h i h i E ξ F (x, y) = E ξ F . THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 11 To prove (2.6), it suﬃces to show that h i E ξ F = 0. (2.7) We prove this identity in two steps: Step 1 (J = 1): We assume J = 1, in which case the vertex weight (1.8) reduces to the weights in Deﬁnition 1.1. Let us verify (2.7) directly, h i h i α + ν 1 + αq ν + αq H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) E ξ F = E q − q − q + q F , 1 + α 1 + α 1 + α h i α + ν 1 + αq ν + αq H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) = E q F − q − q + q , 1 + α 1 + α 1 + α h i α + ν 1 + αq ν + αq H(x+1,y+1) H+h H−v H = E q F − q − q + q . 1 + α 1 + α 1 + α Since J = 1, h is either 0 or 1, we discuss them respectively. If h = 0, i.e. H (x, y + 1) = H, by Deﬁnition 1.1, v v 1 + αq α(1− q ) P H (x + 1, y + 1) = H− v = ; P H (x + 1, y + 1) = H− v + 1 = . (2.8) 1 + α 1 + α Hence, h i v v 1 + αq α(1− q ) α + ν 1 + αq ν + αq H−v H−v+1 H H−v H E ξ F = q + q − q − q + q = 0. 1 + α 1 + α 1 + α 1 + α 1 + α If h = 1, i.e. H (x, y + 1) = H + 1, we have v v 1− νq α + νq P H (x + 1, y + 1) = H− v = ; P H (x + 1, y + 1) = H− v + 1 = , (2.9) 1 + α 1 + α which yields h i v v 1− νq α + νq α + ν 1 + αq ν + αq H−v H−v+1 H+1 H−v H E ξ F = q + q − q − q + q = 0. 1 + α 1 + α 1 + α 1 + α 1 + α Step 2 (General J ): Using fusion, we decompose the general J vertex with input (v, h) into a column of J = 1 vertices with input (v, h , . . . , h ), where (h , . . . h ) is weighted by Λ(h; h , . . . , h ), see Figure 6. Deﬁne 1 J 1 J 1 J H , H , i = 0, 1, . . . , J in the way that H = H (x, y), H = H (x + 1, y), (2.10) i i X X 0 0 0 H = H + h , H = H + h . (2.11) i 0 j i 0 j j=1 j=1 Since h = h +··· + h , H = H (x, y + 1). Furthermore, H = H (x + 1, y + 1) in law. It suﬃces to prove 1 J J h i J J 0 α + ν 1 + αq 0 ν + αq H H H H J 0 J 0 E q − q − q + q F = 0 1 + α 1 + α 1 + α This is equivalent to h i h i J J 0 0 α + ν 1 + αq ν + αq H H H H J 0 J 0 E q − q F = E q − q F . (2.12) 1 + α 1 + α 1 + α We deﬁne the sigma algebra F = σ H , H , H for i = 0, 1, . . . , J − 1. Since all the vertices are of horizontal i i i+1 spin 1/2 now, using the J = 1 version of (2.6) (proved in Step 1) for the i-th vertex (with the spectral parameter J−i αq ) looking from the bottom, we have h i J−i J+1−i J+1−i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 E q − q − q + q F J−i J−i J−i 1 + αq 1 + αq 1 + αq h J−i J+1−i J+1−i i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 = E E q − q − q + q F F = 0. i−1 J−i J−i J−i 1 + αq 1 + αq 1 + αq In other words, h i h i J−i J+1−i J+1−i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 E q − q F = E q − q F . J−i J−i J+1−i 1 + αq 1 + αq 1 + αq 12 YIER LIN Figure 6. Given H (x, y) = H , H (x + 1, y) = H , H (x, y + 1) = H . By fusion (the spectral 0 J parameters have been reversed upside down thanks to Lemma 2.1), we have the distributional identity H (x + 1, y + 1) = H . The advantage of utilizing fusion is that we can apply J = 1 version of (2.6) to each vertex in the column, where the heights around the i-th vertex are 0 0 e H , H , H , H . The horizontal input (h , . . . , h ) is weighted by Λ(h; h , . . . , h ). i−1 i 1 J 1 J i−1 i Iterating the above equation from i = J to i = 1, one concludes the desired (2.12). To prove relation (1.12), we need the following fact which says that under our scaling (1.13), it is unlikely that a vertex will change the direction of lines entering into it. More speciﬁcally, if a vertex has i vertical input lines and j horizontal input lines, with probability going to 1, it produces i vertical and j horizontal output lines. We use O(a) to denote some quantity bounded by a constant times a, when the scaling parameter L is large. Lemma 2.4. For any ﬁxed i , i ∈ {0, 1, . . . , I} and j , j ∈ {0, 1, . . . , J}, as L → ∞ 1 2 1 2 (J) −1 L (i , j ; i , j ) = 1 +O(L ). 1 1 2 2 {i =i ,j =j } α 1 2 1 2 Proof. Via Lemma 1.3, it suﬃces to show that for every i ∈ {0, 1, . . . , J − 1} (1) −1 L (i , j ; i , j ) = 1 +O(L ). (2.13) i 1 1 2 2 {i =i ,j =j } 1 2 1 2 αq Indeed, by direct computation, under our scaling, m+i 1 + αq β m β m (1) 2 (1) 2 −2 −2 L (m, 0; m, 0) = = 1− +O(L ), L (m, 0; m− 1, 1) = +O(L ), i i αq αq 1 + αq L L i m αq + νq β (m− I ) β (I − m) 1 1 (1) (1) −2 −2 L (m, 1; m, 1) = = 1 + +O(L ), L (m, 1; m + 1, 0) = +O(L ), i i αq αq 1 + αq L L which implies (2.13). Theorem 2.5. Deﬁne H(x+1,y) H(x,y) H(x,y+1) H(x,y) Δ := q − q , Δ := q − q . x y Fix A, B > 0, under scaling (1.13), for any x ∈ [0, LA]∩ Z and y ∈ [0, LB]∩ Z and L > 1, h i E ξ(x + 1, y + 1) F (x, y) −1 −2 H(x,y) −2 H(x,y) = L (β + β )Δ Δ + JL (β − β )β q Δ + IL (β − β )β q Δ + R(x, y), 1 2 x y 2 1 2 x 1 2 1 y THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 13 where R(x, y) is a random ﬁeld with the uniform upper bound −4 |R(x, y)| ≤ CL , (2.14) for al l x ∈ [0, LA]∩ Z and y ∈ [0, LB]∩ Z, C is some constant that only depends on A, B. Proof. We only need to show that the random ﬁeld R(x, y) deﬁned via h i 2 −1 −2 H(x,y) −2 H(x,y) R(x, y) = E ξ(x+1, y+1) F (x, y) −L (β +β )Δ Δ −JL (β −β )β q Δ −IL (β −β )β q Δ 1 2 x y 2 1 2 x 1 2 1 y satisﬁes (2.14). Using same notation as in the proof of Theorem 2.3, ξ := ξ(x + 1, y + 1), F := σ H, h, v , and H := H (x, y), h := H (x, y + 1)− H (x, y), v := H (x, y)− H (x + 1, y). 2 2 It is clear that E ξ(x + 1, y + 1) |F (x, y) = E ξ |F . Our proof is divided into two steps. Step 1 (J = 1): When J = 1, h ∈ {0, 1}. We discuss the h = 0 and h = 1 case separately. If h = 0, h i h i α + ν 1 + αq ν + αq 2 H(x+1,y+1) H H−v H E ξ F = E q − q − q + q F 1 + α 1 + α 1 + α −I Referring to (2.8), we have (recall ν = q ) h i 1 + αq α + ν 1 + αq ν + αq 2 H−v H H−v H E ξ F = q − q − q + q 1 + α 1 + α 1 + α 1 + α α(1− q ) α + ν 1 + αq ν + αq H−v+1 H H−v H + q − q − q + q 1 + α 1 + α 1 + α 1 + α 2 −2v v v α(q − 1) q (1− q )(1 + αq ) 2H = q , (2.15) (1 + α) The second equality in the above display follows from a straightforward calculation. 1+αq Let b = and rewrite (2.15) as 1+α h i 2 −2v v v 2H E ξ F = (1− b)q (q − 1) − b + q + (b− 1)q q (2.16) β −β 1 2 H H Referring to scaling (1.13), we see that q = e is bounded, since for x ∈ [0, LA] and y ∈ [0, LB] |H| = |H (x, y)| ≤ L(A + B). In addition, β − β β 1 2 2 −2 −2 q = 1 + +O(L ), b = 1− +O(L ) (2.17) L L Using the expansion of q and b in (2.17), we have h i 2 2H 2 −3 −4 E ξ F = q β (β − β ) vL +O(L ). (2.18) 2 2 1 H(x,y+1) H(x,y) When h = 0, Δ = q − q = 0. Under scaling (1.13), v(β − β ) 2 1 H(x+1,y) H(x,y) H −v H −2 Δ = q − q = q (q − 1) = q +O(L ). Thereby, −1 −2 H −2 H L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ 1 2 x y 2 1 2 x 1 2 1 y −2 H = L (β − β )β q Δ , 2 1 2 x 2H 2 −3 −4 = q β (β − β ) vL +O(L ). (2.19) 2 2 1 It follows from (2.18) and (2.19) (note that J = 1) h i 2 −1 −2 H −2 H −4 R(x, y) = E ξ F − L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ = O(L ). 1 2 x y 2 1 2 x 1 2 1 y 14 YIER LIN −I If h = 1, H (x + 1, y + 1) is distributed as (2.9), then (recall ν = q ) h i 1− νq α + ν 1 + αq ν + αq 2 H−v H+1 H−v H E ξ F = q − q − q + q , 1 + α 1 + α 1 + α 1 + α α + νq α + ν 1 + αq ν + αq H+1−v H+1 H−v H + q − q − q + q , 1 + α 1 + α 1 + α 1 + α 2 −2(I+v) I v I v (q − 1) q (q − q )(αq + q ) 2H = q (1 + α) 1+αq Rewrite the RHS above as (recall b = ) 1+α h i 2 −2(I+v) I v I v 2H E ξ F = (q − b)q (q − q ) (−1 + b)q + q (q − b) q Using the expansion in (2.17), we deduce h i 2 2H 2 −3 −4 E ξ F = q (I − v)(β − β ) β L +O(L ). (2.20) 2 1 1 When h = 1, H −1 −2 H −1 −2 Δ = q (β − β )vL +O(L ) Δ = q (β − β )L +O(L ), x 2 1 y 1 2 which yields −1 −2 H −2 H L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ 1 2 x y 2 1 2 x 1 2 1 y 2H 2 −3 −4 = q (I − v)(β − β ) β L +O(L ). (2.21) 2 1 1 Combining (2.20) and (2.21) yields h i 2 −1 −2 H −2 H −4 R(x, y) = E ξ F − L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ = O(L ). 1 2 x y 2 1 2 x 1 2 1 y This concludes (2.14). Step 2 (general J ): Similar as what we did in Theorem 2.3, we apply fusion (see Figure 6). Recall H , H from (2.10) and (2.11) and deﬁne J−i J−i+1 J+1−i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 ξ := q − q − q + q , J−i J−i J−i 1 + αq 1 + αq 1 + αq J−i J−i+1 J+1−i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 = q − q − q − q . J−i J−i J+1−i 1 + αq 1 + αq 1 + αq By straightforward calculation, J J J−i J−i J−i J−i+1 J+1−i X X 1 + αq 1 + αq 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 ξ = q − q − q − q J−i J+1−i 1 + α 1 + α 1 + αq 1 + α 1 + αq i=1 i=1 J J 0 ν + α 1 + αq 0 ν + αq H H H H J 0 J 0 = q − q − q − q = ξ, (2.22) 1 + α 1 + α 1 + αq where the second equality follows from the telescoping property of the summation. By Theorem 2.3, ξ are martingale increments, so E ξ ξ |F = 0 for i 6= j. It follows from (2.22) that i i j J J h i h i h i J−i J−i X 2 X 2 1 + αq 1 + αq 2 2 E ξ F = E ξ F = E ξ F . (2.23) 1 + α 1 + α i=1 i=1 Using the J = 1 version of (2.16) proved in Step 1 for the i-th vertex counting from bottom (here, though the spectral parameter changes from α to αq , it does not matter under our scaling) h i 2 −1 i i −2 H i −2 H i E ξ F = L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ + R (x, y) (2.24) i−1 1 2 2 1 2 1 2 1 i i x y x y i H i H H 0 i−1 i−1 i i−1 where Δ = q − q and Δ = q − q and, also recall that F = σ H , H , H . By Step 1, there i i i+1 x y i exists constant C only depending on A, B such that −4 sup |R (x, y)| ≤ CL . (2.25) i∈{1,...,J} (x,y)∈[0,LA]×[0,LB] THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 15 h i 2 2 By conditioning, E ξ F = E E ξ |F F (note that here we are not using the tower property but instead i−1 i i the sequential update rule). Using (2.23) and (2.24), we get h i h J−i X 2 1 + αq 2 −1 i i −2 H i E ξ F = E L (β + β )Δ Δ + L (β − β )β q Δ 1 2 2 1 2 x y x 1 + α i=1 −2 H i + IL (β − β )β q Δ + R (x, y) F . 1 2 1 i J−i 1+αq Note that under our scaling, lim = 1, along with (2.25), L→∞ 1+α h i h i 2 −1 i i −2 H i −2 H i −4 E ξ F = E L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ F +O(L ). (2.26) 1 2 2 1 2 1 2 1 x y x y i=1 It is clear that J J X X i H H H H i i−1 J 0 Δ = q − q = q − q = Δ . i=1 i=1 Furthermore, by Lemma 2.4, i −1 P ∃ i such that Δ 6= Δ F = 1−O(L ). Hence, we can simplify (2.26) and get h i h i 2 −1 i −2 H −2 H i −4 E ξ F = E L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ F +O(L ), 1 2 x 2 1 2 x 1 2 1 y y i=1 h i −1 −2 H −2 H −4 = E L (β + β )Δ Δ + JL (β − β )β q Δ + IL (β − β )β q Δ F +O(L ), 1 2 x y 2 1 2 x 1 2 1 y −1 −2 H −2 H −4 = L (β + β )Δ Δ + JL (β − β )β q Δ + IL (β − β )β q Δ +O(L ). 1 2 x y 2 1 2 x 1 2 1 y The last line is because Δ and Δ and H are measurable with respect to F . x y Remark 2.6. The identity (1.10) which holds for stochastic six vertex model no long works for the SHS6V model. For example, consider I = 2 and J = 1. For an arbitrary vertex (x, y), if there exists three parameters γ , γ , γ such that (1.10) is true. When h = 0, referring to (2.15), we have 1 2 3 h i 2 −2v v v α(q − 1) q (1− q )(1 + αq ) 2 2H E ξ(x + 1, y + 1) F (x, y) = q (1 + α) Since Δ = 0, the right hand side of (1.10) reduces to H H H −v 2H γ Δ Δ + γ Δ q + γ Δ q = γ Δ q = γ (q − 1)q 1 x y 2 x 3 y 2 x 2 So for al l v ∈ {0, 1, . . . , I}, 2 −v −v v α(q − 1) q (q − 1)(1 + αq ) 2H −v 2H q = γ (q − 1)q (1 + α) −v 2H Canceling the factor (q − 1)q on both sides, we get 2 −v v α(q − 1) q (1 + αq ) = γ (1 + α) Since γ does not depend on v, so the previous equation could not hold for v = 1, 2 simultaneously. The following corollary is a direct consequence of Theorem 2.5. Corollary 2.7. Fix A, B > 0, there exists constant C s.t. for every x ∈ [0, LA]∩ Z, y ∈ [0, LB]∩ Z and L > 1 h i 2 −3 E ξ(x + 1, y + 1) F (x, y) ≤ CL . Proof. It is clear that there exists C such that for any x ∈ [0, LA]∩ Z and y ∈ [0, LB]∩ Z, (β −β )h 1 2 H(x+1,y) H(x,y) H(x,y) −1 |Δ | = q − q = q e − 1 ≤ CL . −1 H(x,y) Similarly, |Δ | ≤ CL . Referring to Theorem 2.5 (note that q is bounded), the corollary follows. y 16 YIER LIN 3. Proof of the main results Having established the four point relation, we move on proving Theorem 1.6 and Theorem 1.7. Corollary 1.9 follows from a straightforward argument once we proved Theorem 1.7. For the ensuing discussion, we will usually write C for constants, we might not generally specify when irrelevant terms are being absorbed into the constants. We might also write for example C (n) when we want to specify which parameter the constant depends on. Proof of Theorem 1.6. Given Theorem 2.3, our proof is akin to [BG19, Theorem 5.1]. We provide the detail for the sake of completeness. Recall q = q , to prove H (Lx, Ly) → h(x, y) uniformly in probability for x ∈ [0, A] H(Lx,Ly) h(x,y) and y ∈ [0, B], it suﬃces to show that q → q uniformly in probability. To this end, we write h i h i H(Lx,Ly) H(Lx,Ly) H(Lx,Ly) H(Lx,Ly) q = E q + q − E q . It suﬃces to show that as L → ∞, H(Lx,Ly) h(x,y) (i). E[q ] → q uniformly for (x, y) ∈ [0, A]× [0, B], H(Lx,Ly) H(Lx,Ly) (ii). q − E[q ] → 0 uniformly in probability for (x, y) ∈ [0, A]× [0, B]. We ﬁrst demonstrate (i). By Theorem 2.3, h i h i h i h i H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) E q − b E q − b E q + (b + b − 1)E q = 0, 1 2 1 2 α+ν 1+αq where b = , b = . Summing this equation over x = 0, 1, . . . , LX − 1 and y = 0, 1, . . . LY − 1 yields 1 2 1+α 1+α LX−1 LY−1 LX−1 h i h i h i X X X H(x,0) H(0,y) H(x,LY ) − (1− b ) E q − (1− b ) E q + (1− b ) E q 1 2 1 x=1 y=1 x=1 LY−1 h i h i h i h i h i H(LX,y) H(0,0) H(LX,0) H(0,LY ) H(LX,LY ) + (1− b ) E q + (b + b − 1)E q − b E q − b E q + E q = 0 2 1 2 2 1 y=1 (3.1) H(L·,L·) H(L·,L·) Since H is Lipschitz, the sequence of deterministic functions E[q ] = E[q ] ∈ C ([0, A]× [0, B]) is uniformly bounded and equi-continuous. By Arzela-Ascoli Theorem, it has a limit point q . Under scaling (1.13), when L → ∞, −1 −2 −1 −2 b = 1− β IL +O(L ), b = 1− β JL +O(L ). (3.2) 1 1 2 2 Combining this with (3.1) and taking the L → ∞ limit, q satisﬁes the integral equation Z Z Z Z X Y X Y e h(x,0) e h(0,y) H(x,Y ) H(X,y) − Iβ q dx− Jβ q + Iβ q dx + Jβ q dy 1 2 1 2 0 0 0 0 e h(0,0) e h(X,0) e h(0,Y ) e h(X,Y ) + q − q − q + q = 0 h H(Lx,Ly) In other words, any limit point q of E q as L → ∞ satisﬁes the telegraph equation ∂ ∂ ∂ e h(x,y) e h(x,y) e h(x,y) q + Iβ q + Jβ q = 0. 1 2 ∂x∂y ∂y ∂x e e h(x,0) χ(x) h(0,y) ψ(y) By our assumption on the boundary, we also know that q = q and q = q . This implies that h = h, which concludes (i). H(x,y) H(x,y) H(x,y) H(x,y) To verify (ii), we denote by U (x, y) = q − E q . Using Theorem 2.3, q and E q satisfy the discrete telegraph equation (1.5) with g given by ξ and 0 respectively, hence by linearity, U (x + 1, y + 1)− b U (x, y + 1)− b U (x + 1, y) + (b + b − 1)U (x, y) = ξ(x + 1, y + 1). 1 2 1 2 Summing over x = 0, 1, . . . , LX − 1 and y = 0, 1, . . . LY − 1, along with the fact U (x, 0) = U (0, y) = 0 yields LX−1 LY−1 LX LY X X XX U (LX, LY ) + (1− b ) U (x, LY ) + (1− b ) U (LX, y) = ξ(x, y). (3.3) 1 2 x=1 y=1 x=1 y=1 THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 17 Since ξ(x, y) is a martingale increment, using Corollary 2.7 LA LB LA LB h i XX XX 2 −1 E ξ(x, y) = E ξ(x, y) ≤ CABL . x=1 y=1 x=1 y=1 Applying Doob’s L maximal inequality, it is clear that LX LY XX sup ξ(x, y) → 0. (3.4) (X,Y )∈[0,A]×[0,B] x=1 y=1 Observing that U (L·, L·) are uniformly bounded and uniformly Lipschitz on [0, A]× [0, B]. Therefore, their law are tight, any subsequential limit U has continuous trajectories must solve the L = ∞ version of (3.3), which reads (the right hand side is zero by (3.4)) Z Z X Y e e e U (X, Y ) + Iβ U (x, Y )dx + Jβ U (X, y)dy = 0. 1 2 0 0 According to [BG19, Prop 4.1], the only solution to the above equation is given by U = 0, which implies (ii). We move on proving the functional CLT for the SHS6V model. The proof of Theorem 1.7 is composed of showing the ﬁnite dimensional weak convergence and demonstrating the tightness, which is formulated into the following two propositions. Denote by h i √ √ H(Lx,Ly) H(Lx,Ly) U (x, y) := L q − E q = LU (Lx, Ly). Proposition 3.1 (ﬁnite dimensional convergence). With the same setup as in Theorem 1.7, we have the weak convergence in ﬁnite dimension as L → ∞, U (x, y) ⇒ ϕ(x, y). Recall that we linearly interpolate H (x, y) for non-integer x, y, thus H is a function in C (R ), so is U (x, y). ≥0 Proposition 3.2 (tightness). For each ﬁxed A, B > 0 and n ∈ N, there is a constant C (only depends on n, A, B) such that for al l L > 1 and (X , Y ), (X , Y ) ∈ [0, LA]× [0, LB], 1 1 2 2 2n E U (X , Y )− U (X , Y ) ≤ C |X − X | +|Y − Y | . (3.5) L 1 1 L 2 2 1 2 1 2 Consequently, the sequence of random function U (·,·) ∈ C (R ) is tight. ≥0 Proof of Theorem 1.7. The proof is a direct combination of Proposition 3.1 and Proposition 3.2. We ﬁrst prove the ﬁnite dimensional weak convergence. H(x,y) H(x,y) Proof of Proposition 3.1. Recall that in the proof of Theorem 1.6, we set U (x, y) = q − E[q ]. As shown earlier, we have U (x + 1, y + 1)− b U (x, y + 1)− b U (x + 1, y) + (b + b − 1)U (x, y) = ξ(x + 1, y + 1) 1 2 1 2 Furthermore, since H (x, 0) and H (0, y) are deterministic, we have U (x, 0) = U (y, 0) = 0. By (1.6), one has X Y XX U (X, Y ) = R (X, Y ; x, y)ξ(x, y). (3.6) x=1 y=1 1+αq d α+ν Here R is deﬁned through (1.7) with b = , b = . 1 2 1+α 1+α We need to show that U (·,·) = LU (L·, L·) converges weakly to ϕ(·,·) (given by (1.15)) in ﬁnite dimension. As in the proof of [BG19, Theorem 6.1], we use the martingale central limit theorem [HH14, Section 3] for the martingale (note that U (X, Y ) = M (L XY )) L L d 2 M (t) := LR (LX, LY, x(i), y(i))ξ(x(i), y(i)), 1 ≤ t ≤ L XY (3.7) i=1 18 YIER LIN where we linearly order points in [1, LX ]× [1, LY ] by sequentially tracing the diagonals x + y = const (x(1), y(1)) := (1, 1), (x(2), y(2)) := (2, 1), (x(3), y(3)) := (1, 2), (x(4), y(4)) := (3, 1) . . . (3.8) Note that we will only deal with the one point convergence M (L XY ) ⇒ ϕ(X, Y ) for simplicity, the ﬁnite dimensional convergence can be proved by invoking multi-dimensional version of martingale CLT (see [ST19, Theorem 3.1]) for a multi-dimensional version of the martingale in (3.7). The key for the proof is to study the conditional variance of M (t) at t = L XY . We show that as L → ∞, it converges to the variance of ϕ (1.15) in probability. In other words, we need to prove LX−1 LY−1 h i X X d 2 2 L R (LX, LY, x + 1, y + 1) E ξ(x + 1, y + 1) F (x, y) x=0 y=0 Z Z X Y 2 h h h h h h → R (X, Y, x, y) (β + β )q q + J (β − β )β q q + I (β − β )β q q dxdy. (3.9) IJ 1 2 2 1 2 1 2 1 x y x y 0 0 where the RHS above is the variance of ϕ(X, Y ), see Remark 1.8. To prove this convergence, we ﬁrst use Theorem 2.5, LX−1 LY−1 h i X X d 2 2 L R (LX, LY, x + 1, y + 1) E ξ(x + 1, y + 1) F (x, y) x=0 y=0 LX−1 LY−1 X X d 2 −1 H(x,y) −1 H(x,y) = R (LX, LY, x + 1, y + 1) (β + β )Δ Δ + JL (β − β )β q Δ + IL (β − β )β q Δ 1 2 x y 2 1 2 x 1 2 1 y x=0 y=0 LX−1 LY−1 X X d 2 + L R (LX, LY, x + 1, y + 1) R(x, y). x=0 y=0 −4 d By (2.14), sup |R(x, y)| ≤ CL , together with the fact R is uniformly bounded in [0, LA] × x∈[0,LA],y∈[0,LB] [0, LB], we have almost surely, LX−1 LY−1 X X d 2 L R (LX, LY, x + 1, y + 1) R(x, y) → 0 x=0 y=0 uniformly in (x, y) ∈ [0, LA]× [0, LB]. As a result, to demonstrate (3.9), it suﬃces to prove that as L → ∞ Z Z LX−1 LY−1 X Y X X −1 d 2 H(x,y) 2 h h L R (LX, LY, x + 1, y + 1) q Δ → R (X, Y, x, y) q q dxdy (3.10) x IJ x 0 0 x=0 y=0 Z Z LX−1 LY−1 X Y X X −1 d 2 H(x,y) 2 h h L R (LX, LY, x + 1, y + 1) q Δ → R (X, Y, x, y) q q dxdy (3.11) y IJ 0 0 x=0 y=0 Z Z LX−1 LY−1 X Y X X d 2 2 h h R (LX, LY, x + 1, y + 1) Δ Δ → R (X, Y, x, y) q q dxdy (3.12) x y IJ x y 0 0 x=0 y=0 To demonstrate these approximations, as in the proof of [BG19, Theorem 6.1], we split the the interval [0, LX ]× [0, LY ] into squares such as [LX , L(X + θ)] × [LY , L(Y + θ)] (where θ is small) and apply the discrete to 0 0 0 0 continuous approximation in each square. We ﬁrst demonstrate (3.10), for x ∈ [LX , L(X + θ)] and y ∈ [LY , L(Y + θ)], it is not hard to see that 0 0 0 0 R (LX, LY, Lx, Ly) → R (X, Y, x, y) uniformly for 0 ≤ x ≤ X ≤ A and 0 ≤ y ≤ Y ≤ B (see [ST19, Eq 2.9] IJ for I = J = 1 case). Thus, d H(LX,LY ) h(X ,Y ) 0 0 R (LX, LY, x, y) = R (X, Y, X , Y ) +O(θ) + o(1), q = q +O(θ) + o(1). (3.13) IJ 0 0 THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 19 where o(1) represents the term converging to zero as L → ∞. Using these expansions, we have −1 d 2 H(x,y) L R (LX, LY, x + 1, y + 1) q Δ x∈[LX ,L(X +θ)] 0 0 y∈[LY ,L(Y +θ)] 0 0 −1 2 h(X ,Y ) H(L(X +θ),y) H(LX ,y) 3 2 0 0 0 0 = L R (X, Y, X , Y ) q × q − q +O(θ ) + θ o(1) (3.14) IJ 0 0 y∈[LY ,L(Y +θ)] 0 0 Using law of large number proved in Theorem 1.6, uniformly for y ∈ [Y , Y + θ] 0 0 0 0 0 0 H(L(X +θ),Ly ) H(LX ,Ly ) h(X +θ,y ) h(X ,y ) 0 0 0 0 q − q = q − q + o(1). Consequently, it follows from (3.14) −1 d 2 H(x,y) L R (LX, LY, x + 1, y + 1) q Δ x∈[LX ,L(X +θ)] 0 0 y∈[LY ,L(Y +θ)] 0 0 Y +θ −1 2 h(X ,Y ) h(X +θ,y) h(X ,y) 3 2 0 0 0 0 = L R (X, Y, X , Y ) q q − q dy + θo(1) +O(θ ) + θ o(1), IJ 0 0 −1 2 h(X0,Y0) h(X0,Y0) 2 3 2 = L R (X, Y, X , Y ) q q θ + θo(1) +O(θ ) + θ o(1). (3.15) IJ 0 0 h 1 Note that in the last line, we used the property that the solution q to the (1.14) is piecewise C (since we assume additionally the boundary χ and ψ are smooth). By (3.15), LX−1 LY−1 X X −1 d 2 H(x,y) L R (LX, LY, x + 1, y + 1) q Δ x=0 y=0 X X 2 h(θi,θj) h(θi,θj) 2 −1 = R (X, Y, θi, θj) q q θ + (1 + θ )o(1) +O(θ). (3.16) IJ 0≤i ≤X/θ 0≤j≤Y/θ By ﬁrst letting L → ∞ then θ → 0, we conclude the desired (3.10). The approximation for (3.11) is similar, we omit the detail. Things become more involved for (3.12), note that L(X +θ) L(Y +θ) 0 0 X X d 2 R (LX, LY, x + 1, y + 1) Δ Δ x y x=LX y=LY 0 0 L(X +θ) L(Y +θ) 0 0 X X d 3 = R (LX, LY, LX , Y ) Δ Δ +O(θ ), 0 0 x y x=LX y=LY 0 0 L(X +θ) L(Y +θ) 0 0 X X −2 2 2h(X ,Y ) 2 3 0 0 = L (log q) R (X, Y, X , Y )q ∇ H (x, y)∇ H (x, y) + o(1)O(θ ) +O(θ ), IJ 0 0 x y x=LX y=LY 0 0 (3.17) where we denote by ∇ H (x, y) := H (x + 1, y)−H (x, y),∇ H (x, y) := H (x, y + 1)−H (x, y). In the last equality, x y we used the approximation in (3.13) and H(x+1,y) H(x,y) −1 h(X ,Y ) −1 0 0 Δ = q − q = L ∇ H (x, y)q log q + L o(1), x x H(x,y+1) H(x,y) −1 h(X ,Y ) −1 0 0 Δ = q − q = L ∇ H (x, y)q log q + L o(1). y y Note that −∇ H (x, y),∇ H (x, y) indicate the number of lines entering into the vertex (x, y) from bottom and x y left. For a vertex associated with four tuple (i , j ; i , j ), we say this vertex is unusual if i 6= i or j 6= i . Let 1 1 2 2 1 2 1 2 denote the square [LX , LX + Lθ]× [LY , LY + Lθ] and suppose that there are respectively n and m lines 0 0 0 0 entering inside from bottom and left. Let C be the number of unusual vertices in the square. If C = 0, it is clear that L(X +θ) L(Y +θ) 0 0 X X ∇ H (x, y)∇ H (x, y) = −nm. x y x=LX y=LY 0 0 20 YIER LIN Each unusual vertex might change the LHS summation at most by 2IJθL. As an analogue of [BG19, Eq. 93], L(X +θ) L(Y +θ) 0 0 X X ∇ H (x, y)∇ H (x, y) + nm ≤ IJθL·C. x y x=LX y=LY 0 0 −1 It follows from Lemma 2.4 that the probability that a vertex is unusual is upper bounded by CL , where C is a constant. Thus, L(X +θ) L(Y +θ) 0 0 X X 3 2 ∇ H (x, y)∇ H (x, y) + nm ≤ const· θ L , (3.18) x y x=LX y=LY 0 0 with high probability as L → ∞. Noting that H L(X + θ), LY − H (LX , LY ) = −n, H LX , L(Y + Y ) − H (LX , LY ) = m. 0 0 0 0 0 0 0 0 Combining (3.17) and (3.18) (together with Theorem 2.3) yields L(X +θ) L(Y +θ) 0 0 X X d 2 R (LX, LY, x + 1, y + 1) Δ Δ x y x=LX y=LY 0 0 −2 2 2h(X ,Y ) 0 0 = L (log q) R (X, Y, X , Y )q H (L(X + θ), LY )− H (LX , LY ) H (LX , L(Y + θ) − H (LX , LY ) IJ 0 0 0 0 0 0 0 0 0 0 2 3 + o(1)O(θ ) +O(θ ) 2 2h(X ,Y ) 2 3 0 0 = R (X, Y, X , Y )(log q) q h(X + θ, Y )− h(X , Y ) h(X , Y + θ)− h(X , Y ) + o(1)O(θ ) +O(θ ) IJ 0 0 0 0 0 0 0 0 0 0 Using similar approximation as in (3.16), by ﬁrst letting L → ∞ then θ → 0, we demonstrate (3.12). Having proved (3.10)-(3.12), we simply obtain the desired (3.9). We conclude the theorem using martingale CLT [HH14, Section 3]. Recall that d 2 M (t) = L R LX, LY, x(i), y(i) ξ x(i), y(i) , t ∈ [1, L XY ], i=1 We want to show U (X, Y ) = M (L XY ) → ϕ(X, Y ) in law as L → ∞. By Theorem 2.3, M (t) is a martingale L L L with respect to the its own ﬁltration. The proof of Theorem 1.7 reduces to verify the following conditions for martingale CLT: (i). The conditional covariance of M (t) at t = L XY , which equals LX−1 LY−1 h i X X d 2 2 L R (LX, LY ; x + 1, y + 1) E ξ(x + 1, y + 1) F (x, y) , x=0 y=0 has the same L → ∞ behavior as its unconditional variance, in the sense that their ratio tends to 1 in probability. h i P 2 L XY (ii). The Lindeberg’s condition, i.e. lim E (M (i)− M (i− 1)) 1 = 0. L→∞ L L {(M (i)−M (i−1)) >} L L i=1 Using Corollary 2.7, it is clear that the conditional variance on the LHS of (3.9) is uniformly bounded. By the convergence in (3.9) together with dominated convergence theorem, we know that both the conditional and unconditional variance of M (t) at t = L XY converge to the RHS of (3.9) (which equals to variance of ϕ(X, Y ) given in Remark 1.8), this concludes (i). The Lindeberg’s condition (ii) follows directly from how ξ is deﬁned: By straightforward computation, there ex- −1 d ists constant C such that|ξ(x+1, y+1)| ≤ CL for all x ∈ [0, LA] and y ∈ [0, LB]. In addition, R (LX, LY, x, y) is uniformly bounded. So when L is large enough, n o n o d 2 2 M (i)− M (i− 1) > = LR (LX, LY, x(i), y(i)) ξ(x(i), y(i)) > = ∅, L L which implies that for every i ∈ [1, L XY ], h i E (M (i)− M (i− 1)) 1 = 0. L L {(M (i)−M (i−1)) >} L L Having veriﬁed (i) and (ii), we conclude our proof using the martingale central limit theorem. We move on proving Proposition 3.2. Before presenting our proof, we require the following result. THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 21 Lemma 3.3. Fixed A, B ≥ 0 and n, ` , . . . ` ∈ N, there exists constant C (only depends on A, B, n) such that 1 n for al l L > 1 and arbitrary distinct points (x , y ) ∈ [1, LA]× [1, LB], i = 1, . . . n, i i h i P Y n − (` +1) ` i i=1 E |ξ(x , y )| ≤ CL . i i i=1 Proof. It suﬃces to prove that for (x, y) ∈ [0, LA− 1]× [0, LB − 1], h i ` −`−1 E |ξ(x + 1, y + 1)| F (x, y) ≤ CL . (3.19) We ﬁrst ﬁnish the proof of the lemma by assuming (3.19). Consider the ordering (3.8) of integer points in [1, LA] × [1, LB], without loss of generality, we assume (x , y ) = (x(s ), y(s )) so that s < ··· < s . Recall i i i i 1 n that F (x, y) = σ H (i, j) : i ≤ x or j ≤ y , so ξ(x , y ) ∈ F (x − 1, y − 1) for i = 1, . . . , n− 1. By (3.19) and i i n n conditioning, n n−1 h i h i h i Y Y ` ` ` i i n E |ξ(x , y )| = E |ξ(x , y )| E |ξ(x , y )| F (x − 1, y − 1) i i i i n n n n i=1 i=1 n−1 h i −` −1 ` n i ≤ CL E |ξ(x , y )| . i i i=1 Iterating the above inequality, we conclude the lemma. We move on showing (3.19). Denote v, v to be the vertical input and output for the vertex (x, y) and h to be the horizontal input, i.e. v := H (x, y)− H (x + 1, y), v := H (x, y + 1)− H (x + 1, y + 1), h := H (x, y + 1)− H (x, y). It is evident that we can rewrite ξ(x + 1, y + 1) in (2.5) as H(x,y) h−v h −v ξ(x + 1, y + 1) = q q − b q − b q + b + b − 1 , (3.20) 1 2 1 2 1+αq α+ν recall b = and b = . Since q = q where q is ﬁxed, so for (x, y) ∈ [0, LA]× [0, LB], there exists C 1 2 1+α 1+α 1 H(x,y) such that ≤ q ≤ C . In addition, by (3.2), 0 0 h−v h −v h−v h −v h −v q − b q − b q + b + b − 1 = q − q − q + 1 + (1− b )(q − 1) + (1− b )(q − 1) 1 2 1 2 1 2 0 −1 −2 = ln q(v − v )L +O(L ) Referring to (3.20), we conclude that for ﬁxed A and B there exists a constant C such that for arbitrary L > 1, (x, y) ∈ [0, LA]× [0, LB], −2 0 0 |ξ(x + 1, y + 1)| ≤ CL if (h, v) = (h , v ) (3.21) −1 0 0 |ξ(x + 1, y + 1)| ≤ CL if (h, v) 6= (h , v ) Note that h i h i ` ` E |ξ(x + 1, y + 1)| F (x, y) = E |ξ(x + 1, y + 1)| σ(H (x, y), h, v) (J) 0 0 ` = L (h, v; h , v )|ξ(x + 1, y + 1)| (3.22) 0 0 0 0 (h ,v ):h +v =h+v 0 0 Using Lemma 2.4 and (3.21), we know that for each term in the summation: Either (h , v ) 6= (h, v), which implies (J) 0 0 −1 −1 0 0 L (h, v; h , v ) ≤ CL and |ξ(x + 1, y + 1)| ≤ CL ; Either (h, v) = (h , v ), which yields |ξ(x + 1, y + 1)| ≤ −2 −`−1 CL . Hence, the absolute value for each term in the summation (3.22) is upper bounded by CL . As the summation is ﬁnite, we conclude (3.19). Proof of Proposition 3.2. Using the Kolmogorov-Chentsov criterion, the tightness of U (·,·) follows directly from (3.5). To prove (3.5), it suﬃces to show that there exists constant C such that for X ∈ [0, LA] and 0 ≤ Y ≤ Y ≤ LB, 1 2 h i 2n E U (X, Y )− U (X, Y ) ≤ C|Y − Y | , (3.23) L 1 L 2 1 2 22 YIER LIN Since we linearly interpolate H (X, Y ) for non-integer X, Y and U (X, Y ) is expressed in terms of H (LX, LY ), −1 we can assume Y − Y ≥ L . Referring to (3.6), we know that 2 1 LX LY √ XX U (X, Y ) = L R (LX, LY, x, y)ξ(x, y), (3.24) x=1 y=1 which implies LX LY XX√ d d U (X, Y )− U (X, Y ) = L R (LX, LY , x, y)−R (LX, LY , x, y) ξ(x, y) L 2 L 1 1 2 x=1 y=1 LX LY X X + LR (LX, LY , x, y)ξ(x, y) x=1 y=LY +1 2n 2n−1 2n 2n Taking the n-th power of both sides in the above display and apply the inequality (a + b) ≤ 2 (a + b ) to the RHS, we have LY LX 1 h i h i XX√ 2n 2n 2n−1 d d E U (X Y )− U (X, Y ) ≤ 2 E L R (LX, LY , x, y)−R (LX, LY , x, y) ξ(x, y) L , 2 L 1 1 2 x=1 y=1 LX LY h 2 i X X √ 2n 2n−1 d + 2 E LR (LX, LY , x, y)ξ(x, y) (3.25) x=1 y=LY +1 Denote the ﬁrst and second term above (without the constant multiplier) by M and M respectively. We 1 2 proceed to upper bound M and M respectively. 1 2 For M , since ξ(x, y) is a martingale increment, by Burkholder–Davis–Gundy inequality, we have LX LY XX n d d 2 M ≤ C (n)L E R (LX, LY , x, y)−R (LX, LY , x, y) ξ(x, y) , 1 1 2 x=1 y=1 where the constant C (n) only depends on n. Under scaling (3.2), there exists a constant C such that for L > 1, X ∈ [0, LA] and Y , Y ∈ [0, LB] (one can see this from the expression of R in (1.7)), 1 2 d d R (LX, LY , x, y)−R (LX, LY , x, y) ≤ C|Y − Y |, 1 2 1 2 this implies LX LY XX n 2n n 2 M ≤ C (n)|Y − Y | · L E ξ(x, y) . (3.26) 1 1 2 x=1 y=1 h i P P LX LY n 1 2 We claim that for all L > 1, the term L E ξ(x, y) is uniformly upper bounded for (x, y) ∈ x=1 y=1 [0, LA]× [0, LB]. To see this, we expand the n-th power of the double summation in the expectation above. It is not hard to see that there exists a constant C such that `(λ) LX LY h i XX X X Y n 2 n 2λ L E ξ(x, y) ≤ CL E ξ(x , y ) i i x=1 y=1 i=1 λ`n (x ,y )∈[1,LX]×[1,LY ] i i 1 i=1,...,`(λ),(x ,y ) are distinct i i Here, the summation above is taken over the partition λ of n, that is to say, λ = (λ ≥ ··· ≥ λ ) ∈ Z with 1 s ≥1 λ = n, `(λ) = s is the length of the partition λ. We want to upper bound the right hand side in the above i=1 h i `(λ) 2λ display. By Lemma 3.3, we know that the E ξ(x , y ) can be upper bounded by a constant times i i i=1 −2n−`(λ) L . In addition, it is clear that # (x , y ) ∈ [1, LX ] × [1, LY ], i = 1, . . . , `(λ), (x , y ) are distinct ≤ i i 1 i i 2 `(λ) (L XY ) (#A denotes the number of elements in the set A). Consequently LX LY XX n X n 2 n 2 `(λ) −2n−`(λ) L E ξ(x, y) ≤ CL (L XY ) L ≤ C. x=1 y=1 λ`n Inserting the above upper bound into (3.26) implies 2n M ≤ C (n)|Y − Y | . (3.27) 1 2 1 THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 23 We proceed to upper bound M . Again, using Burkholder-Davis-Gundy inequality, one obtains LX LY X X n n d 2 2 M ≤ C (n)L E R (LX, LY , x, y) ξ(x, y) . 2 2 x=1 y=LY +1 Expanding the n-th power for the double summation and upper bounding the square of R by a constant, `(λ) h i X X Y n 2λ M ≤ C (n)L E ξ(x , y ) . 2 i i λ`n i=1 (x ,y )∈[1,LX]×(LY ,LY ] i i 1 2 i=1,...,`(λ),(x ,y ) are distinct i i Using Lemma 3.3 and by similar argument for upper bounding M , we have n 2 `(λ) −2n−`(λ) `(λ)−n `(λ) n M ≤ C (n)L (L X (Y − Y )) L ≤ C (n)L (Y − Y ) ≤ C (n)|Y − Y | (3.28) 2 2 1 2 1 2 1 λ`n −1 The last inequality in the above display is due to our assumption Y − Y ≥ L . 2 1 Referring to (3.25), we have h i 2n 2n−1 E U (X Y )− U (X, Y ) ≤ 2 (M + M ). L , 2 L 1 1 2 Combining (3.27) with (3.28), we conclude (3.23). Remark 3.4. It is worth remarking that the classical theory for martingale functional CLT, e.g. [Bro71, Section 6], might not be helpful for proving our tightness. In order to get the tightness, the classical theory requires U (X, Y ) to be a martingale in (X, Y ) in order to control (using martingale inequalities) the modulus sup |U (X , Y )− U (X , Y )|, L 1 1 L 2 2 |X −X |+|Y −Y |≤δ 1 2 1 2 for smal l δ > 0, and then apply the Arzela-Ascoli. See [Bil13, Theorem 7.3]. In our case, though ξ(x, y) is a martingale increment, U (X, Y ) fails to be a martingale due to dependence of R on X, Y in (3.24). Proof of Corol lary 1.9. It suﬃces to prove the weak convergence for arbitrary interval [0, A]× [0, B]. Note that H(x,y) H(x,y) U (x, y) = q − E q , then h i U (Lx, Ly) H(Lx,Ly) H(Lx,Ly) H (Lx, Ly) = L log q = L log E q + L log 1 + . (3.29) q q q H(Lx,Ly) E q Since H (x, y) is Lipschitz and q = q (where q is ﬁxed), there exists constant C such that for (x, y) ∈ [0, LA]× [0, LB], h i 1 1 H(Lx,Ly) H(Lx,Ly) ≤ q ≤ C, ≤ E q ≤ C. C C For the second term on the right hand side of (3.29), we taylor expand the function log (1 + x) around x = 0, h i LU (Lx, Ly) H(Lx,Ly) H (Lx, Ly) = L log E q + + Lr (x, y), H(Lx,Ly) log q· E q 2 H(Lx,Ly) 2 where |r (x, y)| ≤ CU (Lx, Ly) / E[q ] ≤ CU (Lx, Ly) . Consequently, since E U (Lx, Ly) = 0, h i H (Lx, Ly)− E H (Lx, Ly) LU (Lx, Ly) √ h i = + L r (x, y)− E r (x, y) . L L H(Lx,Ly) E q log q By Proposition 3.2, we know that U (·,·) = LU (L·, L·) is tight. Thus, for any ﬁxed A, B > 0, as L → ∞, sup L U (Lx, Ly) → 0 in probability. x∈[0,A]×[0,B] Since |r (x, y)| ≤ CU (Lx, Ly) , sup L r (x, y)− E r (x, y) → 0 in probability. L L (x,y)∈[0,A]×[0,B] 24 YIER LIN Therefore, we have the weak convergence in C ([0, A]× [0, B]), h i H (Lx, Ly)− E H (Lx, Ly) LU (Lx, Ly) ϕ(x, y) lim = lim = . H(Lx,Ly) h(x,y) L→∞ L→∞ E q log q q log q To get the second equality above, we apply Theorem 1.6 and Theorem 1.7 to the denominator and numerator ϕ(x,y) respectively. By straightforward computation, φ(x, y) := solves (1.17), which concludes the corollary. h(x,y) q log q References [BCG16] Alexei Borodin, Ivan Corwin, and Vadim Gorin. Stochastic six-vertex model. Duke Mathematical Journal, 165(3):563– 624, 2016. [BCPS15] Alexei Borodin, Ivan Corwin, Leonid Petrov, and Tomohiro Sasamoto. Spectral theory for interacting particle systems solvable by coordinate bethe ansatz. Communications in Mathematical Physics, 339(3):1167–1245, 2015. [BG18] Alexei Borodin and Vadim Gorin. A stochastic telegraph equation from the six-vertex model. arXiv preprint arXiv:1803.09137, 2018. [BG19] Alexei Borodin and Vadim Gorin. A stochastic telegraph equation from the six-vertex model. The Annals of Probability, 47(6):4137–4194, 2019. [Bil13] Patrick Billingsley. Convergence of probability measures. John Wiley & Sons, 2013. [Bor17] Alexei Borodin. On a family of symmetric rational functions. Advances in Mathematics, 306:973–1018, 2017. [Bor18] Alexei Borodin. Stochastic higher spin six vertex model and Macdonald measures. Journal of Mathematical Physics, 59(2):023301, 2018. [BP18] Alexei Borodin and Leonid Petrov. Higher spin six vertex model and symmetric rational functions. Selecta Mathematica, 24(2):751–874, 2018. [Bro71] Bruce M Brown. Martingale central limit theorems. The Annals of Mathematical Statistics, 42(1):59–66, 1971. [CGST20] Ivan Corwin, Promit Ghosal, Hao Shen, and Li-Cheng Tsai. Stochastic PDE limit of the six vertex model. Communica- tions in Mathematical Physics, pages 1–94, 2020. [CH08] Richard Courant and David Hilbert. Methods of Mathematical Physics: Partial Diﬀerential Equations. John Wiley & Sons, 2008. [Cor12] Ivan Corwin. The Kardar–Parisi–Zhang equation and universality class. Random matrices: Theory and applications, 1(01):1130001, 2012. [CP16] Ivan Corwin and Leonid Petrov. Stochastic higher spin vertex models on the line. Communications in Mathematical Physics, 343(2):651–700, 2016. [CT17] Ivan Corwin and Li-Cheng Tsai. KPZ equation limit of higher-spin exclusion processes. The Annals of Probability, 45(3):1771–1798, 2017. [GS92] Leh-Hun Gwa and Herbert Spohn. Six-vertex model, roughened surfaces, and an asymmetric spin hamiltonian. Physical review letters, 68(6):725, 1992. [HH14] Peter Hall and Christopher C Heyde. Martingale limit theory and its application. Academic press, 2014. [IMS20] Takashi Imamura, Matteo Mucciconi, and Tomohiro Sasamoto. Stationary stochastic Higher Spin Six Vertex Model and q-Whittaker measure. Probability Theory and Related Fields, pages 1–120, 2020. [KPZ86] Mehran Kardar, Giorgio Parisi, and Yi-Cheng Zhang. Dynamic scaling of growing interfaces. Physical Review Letters, 56(9):889, 1986. [KR87] Anatol N Kirillov and N Yu Reshetikhin. Exact solution of the integrable XXZ Heisenberg model with arbitrary spin. I. The ground state and the excitation spectrum. Journal of Physics A: Mathematical and General, 20(6):1565, 1987. [KRS81] PP Kulish, N Yu Reshetikhin, and EK Sklyanin. Yang-baxter equation and representation theory: I. Letters in Mathe- matical Physics, 5(5):393–403, 1981. [Kua18] Jeﬀrey Kuan. An Algebraic Construction of Duality Functions for the Stochastic U (A ) Vertex Model and Its Degen- erations. Communications in Mathematical Physics, 359(1):121–187, 2018. [Lin19] Yier Lin. Markov duality for stochastic six vertex model. Electronic Communications in Probability, 24, 2019. [Lin20] Yier Lin. KPZ equation limit of stochastic higher spin six vertex model. Mathematical Physics, Analysis and Geometry, 23(1):1, 2020. [Man14] Vladimir V Mangazeev. On the Yang–Baxter equation for the six-vertex model. Nuclear Physics B, 882:70–96, 2014. [ST19] Hao Shen and Li-Cheng Tsai. Stochastic telegraph equation limit for the stochastic six vertex model. Proceedings of the American Mathematical Society, 147(6):2685–2705, 2019. [TW94] Craig A Tracy and Harold Widom. Level-spacing distributions and the airy kernel. Communications in Mathematical Physics, 159(1):151–174, 1994. Y. Lin, Department of Mathematics, Columbia University, 2990 Broadway, New York, NY 10027 Email address: yl3609@columbia.edu http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematical Physics arXiv (Cornell University) http://www.deepdyve.com/lp/arxiv-cornell-university/the-stochastic-telegraph-equation-limit-of-the-stochastic-higher-spin-p6c6D2UWOT

Loading next page...

References (27)

L. Gwa, H. Spohn (1992)
Six-vertex model, roughened surfaces, and an asymmetric spin Hamiltonian.
Physical review letters, 68 6
An Algebraic Construction of Duality Functions for the Stochastic U q ( A 1 n ) Vertex Model and Its Degen - erations
R. Bass (2011)
Convergence of probability measures
10027 E-mail address: yl3609@columbia
R. Courant, D. Hilbert (1963)
Methods of Mathematical Physics II: Partial Di erential Equations
T. Imamura, Matteo Mucciconi, T. Sasamoto (2020)
Stationary stochastic Higher Spin Six Vertex Model and q-Whittaker measure
Probability Theory and Related Fields, 177
Hao Shen, Li-Cheng Tsai (2018)
Stochastic telegraph equation limit for the stochastic six vertex model
Proceedings of the American Mathematical Society
Ivan Corwin, L. Petrov (2015)
Stochastic Higher Spin Vertex Models on the Line
Communications in Mathematical Physics, 343
A. Borodin (2014)
On a family of symmetric rational functions
arXiv: Combinatorics
The KARDAR-PARISI-ZHANG (2011)
The Kardar-Parisi-Zhang Equation and Universality Class
A. Kirillov, N. Reshetikhin (1987)
Exact solution of the integrable XXZ Heisenberg model with arbitrary spin. I. The ground state and the excitation spectrum
Journal of Physics A, 20
Courant, Hilbert (1963)
Methods of Mathematical Physics, vol. II. Partial Differential Equations
Journal of Applied Mechanics, 30
(1992)
Mathematical Physics © Springer-Verlag 1994 Level-Spacing Distributions and the Airy Kernel
Ivan Corwin, Li-Cheng Tsai (2015)
KPZ equation limit of higher-spin exclusion processes
arXiv: Probability
A. Borodin (2016)
Stochastic higher spin six vertex model and Macdonald measures
Journal of Mathematical Physics, 59
V. Mangazeev (2014)
On the Yang–Baxter equation for the six-vertex model
Nuclear Physics, 882
A. Borodin, L. Petrov (2016)
Higher spin six vertex model and symmetric rational functions
Selecta Mathematica, 24
M. Kardar, G. Parisi, Yi-cheng Zhang (1986)
Dynamic scaling of growing interfaces.
Physical review letters, 56 9
A. Borodin, V. Gorin (2018)
A stochastic telegraph equation from the six-vertex model
The Annals of Probability
P. Kulish, N. Reshetikhin, E. Sklyanin (1981)
Yang-Baxter equation and representation theory: I
Letters in Mathematical Physics, 5
B. Brown (1971)
Martingale Central Limit Theorems
Annals of Mathematical Statistics, 42
A. Borodin, Ivan Corwin, L. Petrov, T. Sasamoto (2014)
Spectral Theory for Interacting Particle Systems Solvable by Coordinate Bethe Ansatz
Communications in Mathematical Physics, 339
Yier Lin (2019)
Markov duality for stochastic six vertex model
Electronic Communications in Probability
Ivan Corwin, Promit Ghosal, Hao Shen, Li-Cheng Tsai (2018)
Stochastic PDE Limit of the Six Vertex Model
Communications in Mathematical Physics, 375
A. Borodin, Ivan Corwin, V. Gorin (2014)
Stochastic six-vertex model
Duke Mathematical Journal, 165
P. Hall, E. Lukács, Z. Birnbaum, C. Heyde (1980)
Martingale Limit Theory and Its Application
Yier Lin (2019)
KPZ Equation Limit of Stochastic Higher Spin Six Vertex Model
Mathematical Physics, Analysis and Geometry, 23

ISSN: 1083-6489
eISSN: ARCH-3337
DOI: 10.1214/20-EJP552
Publisher site: See Article on Publisher Site

Abstract

THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL YIER LIN Abstract. In this paper, we prove that the stochastic telegraph equation arises as a scaling limit of the stochastic higher spin six vertex (SHS6V) model with general spin I/2,J/2. This extends results of Borodin and Gorin which focused on the I = J = 1 six vertex case and demonstrates the universality of the stochastic telegraph equation in this context. We also provide a functional extension of the central limit theorem obtained in [BG19, Theorem 6.1]. The main idea is to generalize the four point relation established in [BG19, Theorem 3.1], using fusion. 1. Introduction 1.1. Telegraph equation and stochastic telegraph equation. The telegraph equation is a hyperbolic PDE given by u (X, Y ) + β u (X, Y ) + β u (X, Y ) = f (X, Y ), XY 1 Y 2 X (1.1) u(X, 0) = χ(X ), u(0, Y ) = ψ(Y ), where the functions χ, ψ ∈ C satisfy χ(0) = ψ(0). When f is a deterministic function, the equation (1.1) is a classical object, see [CH08, Chapter V]. The stochastic versions of the telegraph equation were intensively studied in the last 50 years, we refer the reader to [BG19, Section 1.1] for a brief review. The solution theory of the telegraph equation goes back to [CH08], we present it in the way of [BG19, Section 4]. In fact, (1.1) admits a unique solution which reads Z Z Y X 0 0 u(X, Y ) = ψ(0)R(X, Y, 0, 0) + R(X, Y ; 0, y) ψ (y) + β ψ(y) dy + R(X, Y ; x, 0) χ (x) + β χ(x) dx 2 1 0 0 Z Z X Y + R(X, Y, x, y)f (x, y)dxdy. (1.2) 0 0 Here, R(X, Y, x, y) is the Riemann function deﬁned as 1 β − β z z 2 1 R(X, Y ; x, y) = exp (β − β ) − (X − x) + (Y − y) dz, (1.3) 1 2 2πi (z + β )(z + β ) z + β z + β −β 1 2 2 1 where the contour of the complex integration is a small circle in positive direction which only includes the pole at −β . When f is given by f (X, Y ) = θ(X, Y )η(X, Y ), where η is the space-time white noise with dirac delta correlation function and θ is a deterministic integrable function. By formula (1.2), the solution to the stochastic telegraph equation is a Gaussian ﬁeld with covariance function Z Z X ∧Y X ∧Y 1 1 2 2 Cov u(X , Y ), u(X , Y ) = R(X , Y , x, y)R(X , Y , x, y)θ(x, y)dxdy. (1.4) 1 1 2 2 1 1 2 2 0 0 [BG19, Section 4] identiﬁes the following discretization of the telegraph equation Φ(X + 1, Y + 1)− b Φ(X, Y + 1)− b Φ(X + 1, Y ) + (b + b − 1)Φ(X, Y ) = g(X + 1, Y + 1), 1 2 1 2 (1.5) Φ(X, 0) = χ(X ), Φ(0, Y ) = ψ(Y ), where χ(0) = ψ(0). The unique solution to (1.5) is given by [BG19, Theorem 4.7]: Y X X X d d d Φ(X, Y ) = ψ(0)R (X, Y ; 0, 0) + R (X, Y ; 0, y) ψ(y)− b ψ(y − 1) + R (X, Y ; x, 0) χ(x)− b χ(x− 1) 2 1 y=1 x=1 X Y XX + R (X, Y ; x, y)g(x, y). (1.6) x=1 y=1 arXiv:2005.00620v3 [math.PR] 19 Dec 2020 2 YIER LIN where the discrete Riemann function R equals (see [BG19, Eq. 45]) 1 (b − b )dz 2 1 R (X, Y ; x, y) = 2πi 1 (1 + b (1− b )z)(1 + b (1− b )z) − 2 1 1 2 b (1−b ) 2 1 X−x Y−y 1 + b (1− b )z 1 + b (1− b )z 1 1 2 2 × . (1.7) 1 + b (1− b )z 1 + b (1− b )z 2 1 1 2 Here, the contour is a small circle going in positive direction which only encircles the pole at − . b (1−b ) 2 1 In the ﬁrst version of the arxiv paper [BG18], Borodin and Gorin showed that under a special scaling regime where the weight of the corner type vertex goes to zero, the height function of the stochastic six vertex model converges to the telegraph equation. They also conjectured that the ﬂuctuation ﬁeld will converge to the stochastic telegraph equation with some heuristic arguments and proved this result under a special situation called low density boundary regime. The result for general boundary condition was later proved in [ST19] and [BG19] via two distinct approaches. This result comes as a surprise. Since from [GS92, BCG16] we know that the stochastic six vertex model belongs to the KPZ universality class. The one point ﬂuctuation of the models in this universality is governed by Tracy Widom distribution [TW94]. However, the solution to the stochastic telegraph equation does not lie in this universality (since it is a Gaussian ﬁeld). In addition,[CGST20] shows that under weakly asymmetric scaling (which is a diﬀerent scaling compared with the one in [BG19]), the stochastic six vertex model converges to the KPZ equation [KPZ86, Cor12], which is a parabolic stochastic PDE while the stochastic telegraph equation is hyperbolic! It is natural to ask if the stochastic telegraph equation also arises as a scaling limit of other probabilistic models. In this paper, we show that the stochastic higher spin six vertex (SHS6V) model, which is a higher spin generalization of the stochastic six vertex model, converges to the stochastic telegraph equation under certain scaling regime. This extends the universality of the stochastic telegraph equation. In addition, [Lin20] showed that under a diﬀerent scaling than the one considered in this paper, the SHS6V model converges to the KPZ equation. This tells us that the SHS6V model converges to two distinct types of stochastic PDE under various choice of scaling. 1.2. The SHS6V model. The SHS6V model is a four-parameter family of quantum integrable system ﬁrst in- troduced in [CP16] and has been intensely studied in recent years, from the perspective of symmetric polynomial [Bor17, Bor18], exact solvability [BCPS15, CP16, BP18], Markov duality [CP16, Kua18, Lin19] and scaling limit [CT17, IMS20, Lin20]. In particular, it is a higher spin generalization of stochastic six vertex model from spin parameter I = J = 1 to general I, J ∈ Z . In this paper, we discover a scaling regime for the SHS6V model ≥1 (which degenerates to the scaling in [BG19] when I = J = 1), under which we prove that: 1) the hydrodynamic limit of the SHS6V model is a telegraph equation; 2) the ﬂuctuation ﬁeld of the model converges to a stochastic telegraph equation. To explain our result with more detail, we start with a brief review of the SHS6V model. Deﬁnition 1.1 (J = 1 L-matrix). We deﬁne the J = 1 L-matrix to be a matrix with row and column indexed by Z ×{0, 1}. The element of the J = 1 L-matrix is speciﬁed by ≥0 m m 1 + αq α(1− q ) (1) (1) L (m, 0; m, 0) = , L (m, 0; m− 1, 1) = , α α 1 + α 1 + α m m α + νq 1− νq (1) (1) L (m, 1; m, 1) = , L (m, 1; m + 1, 0) = α α 1 + α 1 + α (1) and L (i , j ; i , j ) = 0 for al l other values of (i , j ), (i , j ) ∈ Z × {0, 1}. As a convention, throughout α 1 1 2 2 1 1 2 2 ≥0 (1) −I the paper, we set ν = q for some ﬁxed I ∈ Z . Note that L (I, 1; I + 1, 0) = 0, hence the J = 1 L-matrix ≥1 transfers the subspace {0, 1, . . . , I}×{0, 1} to itself and we wil l restrict ourselves on this subspace. (1) We call α the spectral parameter and in the notation of L , where the dependence on other parameters is not made explicit. It is clear from the deﬁnition that for ﬁxed i ∈ {0, 1, . . . , I} and j ∈ {0, 1}, 1 1 (1) L (i , j ; i , j ) = 1. 1 1 2 2 (i ,j )∈{0,1,...,I}×{0,1} 2 2 (1) Moreover, L is stochastic if we impose the following condition. (1) Lemma 1.2. L is stochastic if one of the fol lowing holds: α THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 3 −I • q ∈ (0, 1) and α < −q , −I • q > 1 and −q < α < 0. Proof. This follows from [CP16, Proposition 2.3], which can also be veriﬁed directly. (1) For an entry L (i , j ; i , j ), we interpret the four tuple (i , j , i , j ) as a vertex conﬁguration in the sense 1 1 2 2 1 1 2 2 that a vertex is associated with i input lines and j input lines coming from bottom and left, i output lines 1 1 2 (1) and j output lines ﬂowing to above and right, see Figure 1. The quantity L (i , i ; j , j ) gives the weight of 2 1 2 1 2 (1) the vertex conﬁguration. Note that for a vertex associated with L , we allow up to I number of vertical lines and up to one horizontal line. We say that the L-matrix is conservative in lines as it assigns zero weight to the (1) entry L (i , j ; i , j ) unless i + j = i + j . α 1 1 2 2 1 1 2 2 i i = 3 output j j j = 1 j = 0 1 2 1 2 input i = 2 Figure 1. Left panel: The vertex conﬁguration labeled by four tuple (i , j ; i , j ) (from 1 1 2 2 (1) bottom and then in the clockwise order) has weight L (i , j ; i , j ), which absorbs i ∈ α 1 1 2 2 1 {0, 1, . . . , I} input lines from bottom, j ∈ {0, 1} input line from left, and produces i ∈ 1 2 {0, 1, . . . , I} output lines to above, j ∈ {0, 1} output lines to right. Right panel: Visualization of the vertex conﬁguration (i , j ; i , j ) = (2, 1; 3, 0) in terms of lines. 1 1 2 2 We want to relax the restriction that the multiplicities of the horizontal line are bounded by 1, and instead, (J) consider multiplicities bounded by any ﬁxed J . This motivates us to deﬁne the L matrix, the construction of it follows the so-called fusion procedure, which was invented in a representation-theoretic context [KRS81, KR87] to produce higher-dimensional solutions of the Yang–Baxter equation from lower-dimensional ones. The explicit expression of general J L-matrix is derived separately in [Man14] and [CP16]: 2 2 2 2 2j −j 2j −j i +i 1 2 i (j −1)+i j 1 2 2 1 2 2 1 1 (J) − + + 4 4 4 2 L (i , j ; i , j ) =1 q 1 1 2 2 {i +j =i +j } α 1 1 2 2 (1.8) j −i j −j +i −1 1 2 2 1 2 −i −i J −1 2 1 ν α (−αν ; q) q ; q ,−αq ,−qνα j −i 2 1 × φ q, q . 4 3 1+j −i J+1−i −j J+1−j 2 1 2 2 ν, q , q (q; q) (−α; q) (q ; q) i i +j j −j 2 2 2 1 2 Here, φ is the regularized terminating basic hyper-geometric series deﬁned by 4 3 n r −n −n X Y (q ; q) q , a , . . . , a 1 r k k k φ q, z = z (a ; q) (b q ; q) . r+1 r i k i n−k b, . . . , b r (q; q) k=0 i=1 (J) (1) It is a simple exercise to see when J = 1, the expression of L matches with L in Deﬁnition 1.1. We will show α α (J) (J) momentarily that L is stochastic (Corollary 1.4). This allows us to view the matrix element L (i , j ; i , j ) α α 1 1 2 2 as a vertex conﬁguration in the manner that we described in J = 1 case. Note that now we allow up to J lines in the horizontal direction. Despite explicitness, the expression of the L-matrix above is too complicated to manipulate. For instance, using (J) (1.8) directly, it might be hard to demonstrate the stochasticity of L . To this end, we recall a probabilistic (J) derivation of L in [CP16] using the idea of fusion, which goes back to [KR87]. We start by introducing a few α 4 YIER LIN notations. ⊗J Deﬁne the stochastic matrix Ξ with rows and columns indexed by {0, 1} and {0, 1, . . . , J} such that 1 if h = h i=1 Ξ (h , . . . , h ), h = 1 J 0 else ⊗J and the stochastic matrix Λ with row and column indexed by {0, 1, . . . , J} and {0, 1} . The matrix element is given by  i−1 q if h = h i=1 Z (h) Λ h, (h , . . . , h ) = 1 J i:h =1 0 else (q,q) h(h−1)/2 J where Z (h) = q is the normalizing constant (it can be computed using q-binomial theorem). (q,q) (q,q) h J−h ⊗ J ⊗J We also deﬁne the matrix L with rows and columns indexed by {0, 1, . . . , I}×{0, 1} with matrix elements X Y (1) ⊗ J 0 0 0 0 L (v, h , . . . , h ; v , h , . . . , h ) = L (v , h ; v , h ). 1 J i−1 i−1 i i α 1 J i αq v ,v ,...,v 0 1 J i=1 v =v,v =v 0 J In terms of the right part of Figure 2, these matrix elements provide the transition probabilities from the lines coming into a column from bottom and left, to those leaving to the top and right. The following lemma allows us to decompose the vertex with horizontal spin J/2 (i.e. the vertex associated (J) with L ) in terms of a sequence of horizontal spin 1/2 vertices, see Figure 2 for visualization. Lemma 1.3. The fol lowing identity holds (J) 0 0 ⊗ J 0 0 0 0 0 0 L (v, h; v , h ) = Λ h; (h , h , . . . h ) L (v, h , . . . , h ; v , h , . . . , h ) Ξ (h , . . . , h ); h . 1 2 J 1 J α α 1 J 1 J (h ,...,h )∈{0,1} 1 J 0 0 J (h ,...,h )∈{0,1} 1 J Proof. This was shown in [CP16, Theorem 3.15]. (1) J−1 αq (J) α . (1) αq 0 h h h h 0 2 h (1) 0 0 Figure 2. Pictorial representation of the identity in Lemma 1.3. Fixing h, v, h , v , the weight (J) 0 0 of vertex conﬁguration on the left is given by L (v, h; v , h ). It is equal to the weight of the ⊗ J q 0 0 0 column on the right, which is the summation of all L (v, h , . . . , h ; v , h , . . . , h ), under the α 1 J 0 0 0 condition h +··· + h = h and h +··· + h = h , each term in the summation is reweighted 1 J by multiplying Λ h; (h , . . . , h ) . 1 J (J) Applying Lemma 1.3, we show that L is stochastic, under the following choice of parameters. (J) Corollary 1.4. The matrix L is stochastic if either of the fol lowing condition holds α THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 5 −I−J+1 • q ∈ [0, 1) and α < −q , −I−J+1 • q > 1 and −q < α < 0. (1) Proof. Note that under the range imposed on q, α, referring to Lemma 1.2, the matrix L is stochastic for αq (J) each i = 0, 1, . . . , J − 1. As the product of stochastic matrices is stochastic as well, the stochasticity of L follows directly from Lemma 1.3. 2 2 We proceed to deﬁne the SHS6V model on the ﬁrst quadrant Z . For each vertex (x, y) ∈ Z , we associate ≥0 ≥0 it with a four tuple (v , h , v , h ) ∈ Z such that v , h represent the number of lines entering x,y x,y x,y+1 x+1,y x,y x,y ≥0 into the vertex from bottom and left, v , h denote the number of lines ﬂowing from the vertex to above x,y+1 x+1,y and right. Note that conﬁgurations chosen for two neighboring vertices need to be compatible in the sense that the lines keep ﬂowing. For instance, v also represents the number of vertical input lines ﬂowing into x,y+1 (x, y + 1), h equals the number of horizontal lines entering into (x + 1, y) (see the right part of Figure 3). x,y+1 Deﬁnition 1.5. We deﬁne the SHS6V model to be a stochastic path ensemble on Z . The boundary condition ≥0 speciﬁed by {v } and {h } such that v ∈ {0, 1, . . . , I}, h ∈ {0, 1, . . . , J}. In other words, we x,0 x∈Z 0,y y∈Z x,0 0,y ≥0 ≥0 have h number of lines entering into the vertex (0, y) from the left boundary and v number of lines ﬂowing 0,y x,0 into the vertex (x, 0) from the bottom boundary. Sequential ly taking (x, y) to be (0, 0) → (1, 0) → (0, 1) → (2, 0) → (2, 1) . . . , for vertex at (x, y), given v , h as the number of vertical and horizontal input lines, we x,y x,y randomly choose the number of vertical and horizontal output lines (v , h ) ∈ {0, 1, . . . , I}×{0, 1, . . . , J} x,y+1 x+1,y (J) according to probability L (v , h ; ·,·). Proceeding with this sequential sampling, we get a col lection of paths x,y x,y going to the up-right direction and we cal l this the SHS6V model. We associate a height function H : Z → Z to the path ensemble, where the paths play a role as the level ≥0 lines of the height function (see Figure 3). Deﬁne for any x, y ∈ Z , ≥0 X X H (x, y) = h − v . 0,j−1 i−1,y j=1 i=1 Clearly, we have H (0, 0) = 0 and H (x, y)−H (x− 1, y) = −v . Since the vertex is conservative, we also have x−1,y H (x, y)− H (x, y − 1) = h . x,y−1 Graphically, when we move across i number of vertical lines from left to right, the height function will decrease by i. When we move across j number of horizontal lines, the height function will increase by j. We further extend H (x, y) to all (x, y) ∈ R by ﬁrst linearly interpolating the height function ﬁrst in the x-direction, then ≥0 in the y-direction. It is obvious that the resulting function is Lipschitz and monotone. For later use, we call I/2, J/2 the vertical and horizontal spin respectively. If a vertex is of horizontal spin 1/2, we call it a J = 1 vertex, otherwise we call it a general J vertex. 1.3. Four point relation. [BG19] shows that the stochastic six vertex model height function converges to a telegraph equation and its ﬂuctuation ﬁeld converges to a stochastic telegraph equation. The key observation is the following four point relation, which says that if we deﬁne S6V H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) ξ (x + 1, y + 1) = q − b q − b q + (b + b − 1)q , 1 2 1 2 α+ν 1+αq Here b , b are the weight of the six vertex model conﬁguration (in our notation b = , b = ). Then 1 2 1 2 1+α 1+α the conditional expectation and variance of ξ read h i S6V E ξ (x + 1, y + 1) F (x, y) = 0, (1.9) h i S6V 2 H(x,y) H(x,y) E ξ (x + 1, y + 1) F (x, y) = γ Δ Δ + γ q Δ + γ q Δ , (1.10) 1 x y 2 x 3 y H(x+1,y) H(x,y) where F (x, y) is a sigma algebra generated by {H (u, v) : u ≤ x or v ≤ y} and Δ := q − q , H(x,y+1) H(x,y) Δ := q − q . The parameters γ , i = 1, 2, 3 depend on b , b . y i 1 2 In our paper, we generalize the above relations to the SHS6V model. Deﬁne J J α + ν 1 + αq ν + αq S6SHV H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) ξ (x + 1, y + 1) = q − q − q + q , 1 + α 1 + α 1 + α 6 YIER LIN x;y+1 4 2 5 3 h = 1 0;3 4 2 2 1 1 H(x; y + 1) H(x + 1; y + 1) h = 2 0;2 2 1 1 0 (x; y) 1 h h x;y x+1;y h = 1 0;1 1 0 1 0 -1 H(x; y) H(x + 1; y) h = 1 0;0 -1 0 0 0 0 v = 0 v = 0 v = 0 v = 1 0;0 1;0 2;0 3;0 x;y Figure 3. Left: Illustration of the height function around a vertex (x, y), note that H (x, y + 1) = H (x, y) +h , H (x + 1, y) = H (x, y)−v and H (x + 1, y + 1) = H (x, y) +h −v = x,y x,y x,y x,y+1 H (x, y) − v + h . Right: Sampled stochastic path ensemble on a quadrant. The red x,y x+1,y number indicates the number lines entering into the boundary, the blue number represents the height at each vertex. We prove (respectively in Theorem 2.3 and Theorem 2.5) that h i SHS6V E ξ (x + 1, y + 1) F (x, y) = 0, (1.11) h i SHS6V 2 H(x,y) H(x,y) E ξ (x + 1, y + 1) F (x, y) = γ Δ Δ + γ q Δ + γ q Δ + R(x, y). (1.12) 1 x y 2 x 3 y SHS6V R(x, y) is an error term that is negligible under our scaling. From now on, we may also use ξ to denote ξ . Why does such a generalization exist? In the context of the stochastic six vertex model, (1.9) is related to the self-duality discovered in [CP16, Proposition 2.20], though it is more of a local relation than the way duality is generally stated (it is unclear to us how to prove (1.9) from the duality directly). In fact, [CP16, Corollary 3.3] shows that the SHS6V model with general I, J enjoys the same self-duality, so it is natural to expect that (1.11), as a generalized version of (1.9) holds. For the quadratic variation, the situation is more subtle for the SHS6V model. We do not come up with a simple reason why (1.12) holds, though this may be understandable from our proof, which is brieﬂy explained in the next paragraph. Here, we just emphasize that as shown in Remark 2.6, there exist no γ , i = 1, 2, 3 such that the identity without an error term holds for the SHS6V model. We also emphasize that it is only under our scaling (1.13) that R(x, y) is negligible. Let us explain the ideas and techniques used in proving (1.11) and (1.12). In [BG19], the authors prove (1.9) and (1.10) via a direct computation, which corresponds to enumerating all possible six vertex conﬁgurations. (J) In our case, the situation is more involved: when J is large, the expression of L is so complicated that it is hopeless to check these relations directly. Alternatively, we ﬁrst verify them directly for J = 1, in which case the L-matrix has a simple expression given by Deﬁnition 1.1. For general J , we use fusion, which allows us to decompose the general J vertex into a sequence of J = 1 vertices (see Figure 2). Repeatedly using the J = 1 version of (1.11) (where the spectral parameter α is replaced by αq in the expression of ξ), we get J identities. Summing up these identities in a clever way, we see a telescoping property and (1.11) follows. To prove (1.12), besides using fusion, we need to refer to the property of our scaling (1.13), which says that with a probability converging to 1, the lines entering into a vertex will keep ﬂowing in the same direction (see Lemma 2.4). In [CP16], the fusion was stated in a way that the spectral parameters progress geometrically by q from bottom to top when we decompose the general J vertex to a column of J = 1 vertices. It turns out that (Lemma 2.1) we can also reverse the direction and let the parameters progress geometrically by q from top to bottom (meanwhile we change the probability distribution assigned on the input lines from the left). We did not see this THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 7 result elsewhere. Note that it is only after this reversal of the spectral parameters that we obtain the telescoping property mentioned in the previous paragraph. 1.4. Stochastic telegraph equation as a scaling limit of the SHS6V model. Having established the four point relation, we are ready to talk about our result. We show that under our scaling, (i). (Hydrodynamic limit (or law of large numbers) – Theorem 1.6): The SHS6V model height function converges uniformly in probability to a telegraph equation. (ii). (Functional central limit theorem – Theorem 1.7 (also see Corollary 1.9)): The ﬂuctuation ﬁeld of the height function around its hydrodynamic limit (viewed as a random continuous function) converges weakly to a stochastic telegraph equation. Once we have proved the four point relation for the SHS6V model, the proof for the law of large numbers is akin to [BG19, Theorem 5.1]. For the functional central limit theorem, our proof breaks down into proving the ﬁnite dimensional weak convergence (Proposition 3.1) and tightness (Proposition 3.2). For ﬁnite dimensional convergence, the proof follows a similar idea as in [BG19, Theorem 6.1], subject to certain generalization. For the tightness, we rely on the Burkholder inequality and a careful control of joint moments of ξ at diﬀerent locations (Lemma 3.3). We remark that the proof of the tightness may not ﬁt to the regime of classical functional martingale CLT result (e.g. [Bro71, Section 6]), see Remark 3.4 for more discussion. To present our results, let us ﬁrst introduce our scaling. Fix I, J ∈ Z and positive β , β such that β 6= β , ≥1 1 2 1 2 we scale the parameter q, α in the way that β −β Jβ 1 2 1 + αq 2 L L q = e , = e , L → ∞. (1.13) 1 + α It is straightforward that as L → ∞, α and q always satisfy one of the conditions given in Corollary 1.4, thus (J) L is indeed stochastic. β −β 1 2 Theorem 1.6. Deﬁne q = e and ﬁx A, B > 0, consider two monotone Lipschitz functions χ and ψ. Suppose that the boundary for the SHS6V model is chosen in the way that as L → ∞, H (Lx, 0) → χ(x) and H (0, Ly) → ψ(y) uniformly in probability for x ∈ [0, A] and y ∈ [0, B], then as L → ∞, sup |H (Lx, Ly)− Lh(x, y)| → 0, x∈[0,A]×[0,B] h(x,y) where → means the convergence in probability. q is the unique solution to the telegraph equation ∂ ∂ ∂ h(x,y) h(x,y) h(x,y) q + Jβ q + Iβ q = 0, (1.14) 2 1 ∂x∂y ∂x ∂y h(x,0) χ(x) h(0,y) ψ(y) with the boundary condition speciﬁed by q = q and q = q . h(x,0) h(0,y) We remark that there is a typo in [BG19, Eq. 69] about the boundary condition, q , q should equal χ(x) ψ(y) q and q , instead of χ(x) and ψ(y). Having established the law of large number for the height function, we proceed to show the functional central limit theorem. As a convention, we endow the space C (R ) with the topology of uniform convergence over ≥0 compact subsets and use “ ⇒ ” to denote the weak convergence. Recall that we linearly extend H (x, y) for non-integer x, y, so H (x, y) ∈ C (R ). ≥0 Theorem 1.7. Assuming further that χ(x) and ψ(y) are piecewise C -smooth, we have the weak convergence as L → ∞, h i H(Lx,Ly) H(Lx,Ly) 2 L q − E q ⇒ ϕ(x, y) in C (R ), ≥0 where ϕ(x, y) is a random continuous function which solves the stochastic telegraph equation h h h h h h ϕ + Iβ ϕ + Jβ ϕ = η · (β + β )q q + J (β − β )β q q + I (β − β )β q q , (1.15) xy 1 y 2 x 1 2 2 1 2 1 2 1 x y x y h h(x,y) h h(x,y) Here, q := ∂ (q ) and q := ∂ (q ), the boundary of ϕ is given by zero. x y x y 8 YIER LIN Remark 1.8. By (1.4), it is clear that ϕ is a Gaussian ﬁeld with covariance function Z Z X ∧Y X ∧Y 1 1 2 2 Cov ϕ(X , Y ), ϕ(X , Y ) = R (X , Y , x, y)R (X , Y , x, y) 1 1 2 2 IJ 1 1 IJ 2 2 0 0 h h h h h h × (β + β )q q + J (β − β )β q q + I (β − β )β q q dxdy, 1 2 2 1 2 1 2 1 x y x y where R is the Riemann function in (1.3) with β and β replaced by Iβ and Jβ respectively, i.e. IJ 1 2 1 2 1 Jβ − Iβ z z 2 1 R (X, Y ; x, y) = exp (Iβ − Jβ ) − (X − x) + (Y − y) dz, IJ 1 2 2πi (z + Iβ )(z + Jβ ) z + Jβ z + Iβ 1 2 2 1 −Iβ (1.16) As a corollary of the previous results, we have the following. Corollary 1.9. As L → ∞, H (Lx, Ly)− E H (Lx, Ly) √ ⇒ φ(x, y) in C (R ), ≥0 ϕ(x,y) φ(x, y) is a Gaussian ﬁeld given by φ(x, y) := , which solves h(x,y) q log q φ + Iβ φ + Jβ φ + (β − β )(φ h + φ h ) = η · (β + β )h h − Jβ h + Iβ h . (1.17) xy 1 y 2 x 1 2 y x x y 1 2 x y 2 x 1 y The rest of the paper is organized as follows. In Section 2, we ﬁrst establish an identity (Lemma 2.1), which gives an alternative way to apply fusion. Then, we prove our four point relation (Theorem 2.3 and Theorem 2.5). We also discuss some properties of our scaling (Lemma 2.4). In Section 3, we ﬁrst use the four point relation to prove the law of large numbers (Theorem 1.6) and the ﬁnite dimensional version of the CLT (Proposition 3.1). Then we establish the tightness (Proposition 3.2) and improve our CLT to the functional level (Theorem 1.7). 1.5. Acknowledgment. The author wants to thank Ivan Corwin for many valuable comments on the paper; Vadim Gorin for helpful comments and discussion; and Shalin Parekh for an inspiring discussion about the tightness result. The author was supported by Ivan Corwin through the NSF grants DMS-1811143, DMS- 1664650 and also by the Minerva Foundation Summer Fellowship program. 2. Four point relation In this section, we prove the four point relation (1.11) and (1.12) that mentioned in Section 1.3. To begin with, we present a lemma that allows us to reverse the spectral parameters upside down when we decompose the general J vertex into a column of J = 1 vertices, see Figure 4 for visualization. The key for our proof is an identity that allows us to switch a pair of vertices with diﬀerent spectral parameters, see Figure 5. We do not ﬁnd such identity in the literature. It seems to us that this identity does not follow directly from the Yang-Baxter equation. Deﬁne the stochastic matrix Λ,  J−i q if h = h i=1 Z (h) Λ(h, (h , . . . , h )) := 1 J h =1 0 else and X Y (1) ⊗ J 0 0 0 0 e q L (v, h , . . . , h ; v , h , . . . , h ) := L (v , h ; v , h ). 1 J J−i i−1 i i α 1 J i αq v ,v ,...,v 0 1 J i=1 v =v,v =v 0 J ⊗ J i−1 J−i Note that comparing with the expression of Λ and L , the term q is replaced by q , which corresponds to reversing the spectral parameters upside down. THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 9 0 0 Lemma 2.1. For ﬁxed h, v, h , v , the fol lowing identity holds, ⊗ J 0 0 0 0 0 0 Λ(h; h , h , . . . h )L (v, h , . . . , h ; v , h , . . . , h ) Ξ(h , . . . , h ; h ) 1 2 J 1 J α 1 J 1 J (h ,...,h )∈{0,1} 1 J 0 0 J (h ,...,h )∈{0,1} 1 J ⊗ J 0 0 0 0 0 0 e q = Λ(h; h , h , . . . h )L (v, h , . . . , h ; v , h , . . . , h ) Ξ(h , . . . , h ; h ). (2.1) 1 2 J 1 J α 1 J 1 J (h ,...,h )∈{0,1} 1 J 0 0 J (h ,...,h )∈{0,1} 1 J Consequently, we have alternate expression for the general J vertex weight (J) 0 0 ⊗ J 0 0 0 0 0 0 e e q L (v, h; v , h ) = Λ(h; h , h , . . . h )L (v, h , . . . , h ; v , h , . . . , h ) Ξ(h , . . . , h ; h ). (2.2) 1 2 J 1 J α α 1 J 1 J (h ,...,h )∈{0,1} 1 J 0 0 J (h ,...,h )∈{0,1} 1 J Proof. By Lemma 1.3, it is clear that (2.1) implies (2.2). It suﬃces to prove (2.1), which says, graphically 0 0 v v Λ Λ (1) (1) L L J−1 αq 0 0 h h J h J h J J ( ( ) ) ! ! . . (1) . . (1) . . J−2 αq αq 0 0 0 h 0 h wt h = wt h h h 2 h 2 h 2 2 (1) (1) L J−1 L αq 0 0 h h 1 h 1 h 1 1 v v Figure 4. Pictorial representation of the identity (2.1). The weight (wt) of a diagram is given by a summation of products of L-matrices over h , . . . , h , with condition h + ··· + h = h 1 J 1 J 0 0 0 and h +··· + h = h . Each product on the left (resp. right) hand side in the summation is reweighted by Λ(h; h , . . . , h ) (resp. Λ(h; h , . . . , h )). 1 J 1 J When J = 1, the proof is trivial. When J = 2, the identity (2.1) reduces to Figure 5. Since h, h ∈ {0, 1, 2}, Λ Λ (1) (1) L L ( αq ( α ) ! ) ! 0 0 h h 2 h 2 h 2 2 (1) (1) 0 0 wt L h = wt L h α αq 0 0 h h 1 1 h h 1 1 v v Figure 5. Identity (2.1) when J = 2. there are nine cases in total. One can verify each case directly and here, we only show our veriﬁcation for h = 1 and h = 1, in which case the computation is more involved. The LHS in Figure 5 equals (1) (1) (1) (1) Λ 1; (1, 0) L (v, 1; v, 1)L (v, 0; v, 0) + L (v, 1; v + 1, 0)L (v + 1, 0; v, 1) α αq α αq (1) (1) (1) (1) + Λ 1; (0, 1) L (v, 0; v − 1, 1)L (v − 1, 1; v, 0) + L (v, 0; v, 0)L (v, 1; v, 1) α αq α αq v v+1 v v+1 v v−1 v v 1 α + νq 1 + αq 1− νq αq(1− q ) q α(1− q ) 1− νq 1 + αq αq + νq = + + + 1 + q 1 + α 1 + αq 1 + α 1 + αq 1 + q 1 + α 1 + αq 1 + α 1 + αq (2.3) 10 YIER LIN and the RHS equals (1) (1) (1) (1) Λ 1; (1, 0) L (v, 1; v, 1)L (v, 0; v, 0) + L (v, 1; v + 1, 0)L (v + 1, 0; v, 1) αq α αq α (1) (1) (1) (1) + Λ 1; (0, 1) L (v, 0; v − 1, 1)L (v − 1, 1; v, 0) + L (v, 0; v, 0)L (v, 1; v, 1) αq α αq α v v v v+1 v v−1 v+1 v q αq + νq 1 + αq 1− νq α(1− q ) 1 αq(1− q ) 1− νq 1 + αq α + νq = + + + 1 + q 1 + αq 1 + α 1 + αq 1 + α 1 + q 1 + αq 1 + α 1 + αq 1 + α (2.4) It is not hard to see directly that the RHS of (2.3) and (2.4) are both the sum of the following four terms (divided by a common denominator (1 + q)(1 + α)(1 + αq)) v v v v+1 v v−1 v+1 v q(αq + νq )(1 + αq ), qα(1− νq )(1− q ), αq(1− q )(1− νq ), (1 + αq )(α + νq ). For the veriﬁcation of other h, h ∈ {0, 1, 2}, we omit the details of our computation. For general J , we look at the column of vertices on the LHS of the equation illustrated in Figure 4. From bottom to top, we label the vertices from 1 to J . Sequentially for i = 1, . . . , J − 1, we apply the J = 2 identity (that we just veriﬁed) for the vertex i and i + 1 in that column. Then, the spectral parameters of the vertices J−1 2 J−1 (looking from bottom to top) change from (α, αq, . . . , αq ) to (αq, αq , . . . , αq , α), note that the vertex with spectral parameter α moves from bottom to top. The Λ also changes accordingly. Then we apply the J = 2 identity for i = 1, . . . , J− 2 to move the spectral parameter αq to the second top place. If we keep implementing J−1 J−2 this procedure, ﬁnally we get a column of vertices with spectral parameters (αq , αq , . . . , α). The left input lines are weighted by Λ. Remark 2.2. It turns out that fol lowing the same argument, the identities (2.1), (2.2) also hold when we replace the stochastic matrix Λ with  σ(i)−1 J q if h = h , i=1 Z (h) Λ h, (h , . . . , h ) := σ 1 J h =1 0 else, ⊗ J 0 0 0 and replace L (v, h , . . . , h ; v , h , . . . , h ) with α 1 J 1 J X Y (1) ⊗ J 0 0 0 0 L (v, h , . . . , h ; v , h , . . . , h ) := L (v , h ; v , h ). 1 J σ(i)−1 i−1 i i σ,α 1 J i αq v ,v ,...,v 0 1 J i=1 v =v,v =v 0 J where σ is an arbitrary permutation of {1, 2, . . . , J}. We do not include this generalization in the lemma since we are not going to use it. Theorem 2.3. Consider the SHS6V model associated with the height function H , deﬁne for x, y ∈ Z , ≥0 J J α + ν 1 + αq ν + αq H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) ξ(x + 1, y + 1) = q − q − q + q , (2.5) 1 + α 1 + α 1 + α then we have, h i E ξ(x + 1, y + 1) F (x, y) = 0, (2.6) where F (x, y) = σ H (i, j) : i ≤ x or j ≤ y . Proof. Since our model is homogeneous, i.e. every vertex is assigned with the same L-matrix, we suppress the dependence on x, y in our notation and denote by ξ := ξ(x + 1, y + 1), H := H (x, y), h := H (x, y + 1)− H (x, y), v := H (x, y)− H (x + 1, y). In addition, we let F := σ H (x, y), H (x, y + 1), H (x + 1, y) = σ H, h, v . By the sequential update rule speciﬁed in Deﬁnition 1.5, H (x + 1, y + 1) only depends on the information of H, h, v, so h i h i E ξ F (x, y) = E ξ F . THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 11 To prove (2.6), it suﬃces to show that h i E ξ F = 0. (2.7) We prove this identity in two steps: Step 1 (J = 1): We assume J = 1, in which case the vertex weight (1.8) reduces to the weights in Deﬁnition 1.1. Let us verify (2.7) directly, h i h i α + ν 1 + αq ν + αq H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) E ξ F = E q − q − q + q F , 1 + α 1 + α 1 + α h i α + ν 1 + αq ν + αq H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) = E q F − q − q + q , 1 + α 1 + α 1 + α h i α + ν 1 + αq ν + αq H(x+1,y+1) H+h H−v H = E q F − q − q + q . 1 + α 1 + α 1 + α Since J = 1, h is either 0 or 1, we discuss them respectively. If h = 0, i.e. H (x, y + 1) = H, by Deﬁnition 1.1, v v 1 + αq α(1− q ) P H (x + 1, y + 1) = H− v = ; P H (x + 1, y + 1) = H− v + 1 = . (2.8) 1 + α 1 + α Hence, h i v v 1 + αq α(1− q ) α + ν 1 + αq ν + αq H−v H−v+1 H H−v H E ξ F = q + q − q − q + q = 0. 1 + α 1 + α 1 + α 1 + α 1 + α If h = 1, i.e. H (x, y + 1) = H + 1, we have v v 1− νq α + νq P H (x + 1, y + 1) = H− v = ; P H (x + 1, y + 1) = H− v + 1 = , (2.9) 1 + α 1 + α which yields h i v v 1− νq α + νq α + ν 1 + αq ν + αq H−v H−v+1 H+1 H−v H E ξ F = q + q − q − q + q = 0. 1 + α 1 + α 1 + α 1 + α 1 + α Step 2 (General J ): Using fusion, we decompose the general J vertex with input (v, h) into a column of J = 1 vertices with input (v, h , . . . , h ), where (h , . . . h ) is weighted by Λ(h; h , . . . , h ), see Figure 6. Deﬁne 1 J 1 J 1 J H , H , i = 0, 1, . . . , J in the way that H = H (x, y), H = H (x + 1, y), (2.10) i i X X 0 0 0 H = H + h , H = H + h . (2.11) i 0 j i 0 j j=1 j=1 Since h = h +··· + h , H = H (x, y + 1). Furthermore, H = H (x + 1, y + 1) in law. It suﬃces to prove 1 J J h i J J 0 α + ν 1 + αq 0 ν + αq H H H H J 0 J 0 E q − q − q + q F = 0 1 + α 1 + α 1 + α This is equivalent to h i h i J J 0 0 α + ν 1 + αq ν + αq H H H H J 0 J 0 E q − q F = E q − q F . (2.12) 1 + α 1 + α 1 + α We deﬁne the sigma algebra F = σ H , H , H for i = 0, 1, . . . , J − 1. Since all the vertices are of horizontal i i i+1 spin 1/2 now, using the J = 1 version of (2.6) (proved in Step 1) for the i-th vertex (with the spectral parameter J−i αq ) looking from the bottom, we have h i J−i J+1−i J+1−i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 E q − q − q + q F J−i J−i J−i 1 + αq 1 + αq 1 + αq h J−i J+1−i J+1−i i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 = E E q − q − q + q F F = 0. i−1 J−i J−i J−i 1 + αq 1 + αq 1 + αq In other words, h i h i J−i J+1−i J+1−i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 E q − q F = E q − q F . J−i J−i J+1−i 1 + αq 1 + αq 1 + αq 12 YIER LIN Figure 6. Given H (x, y) = H , H (x + 1, y) = H , H (x, y + 1) = H . By fusion (the spectral 0 J parameters have been reversed upside down thanks to Lemma 2.1), we have the distributional identity H (x + 1, y + 1) = H . The advantage of utilizing fusion is that we can apply J = 1 version of (2.6) to each vertex in the column, where the heights around the i-th vertex are 0 0 e H , H , H , H . The horizontal input (h , . . . , h ) is weighted by Λ(h; h , . . . , h ). i−1 i 1 J 1 J i−1 i Iterating the above equation from i = J to i = 1, one concludes the desired (2.12). To prove relation (1.12), we need the following fact which says that under our scaling (1.13), it is unlikely that a vertex will change the direction of lines entering into it. More speciﬁcally, if a vertex has i vertical input lines and j horizontal input lines, with probability going to 1, it produces i vertical and j horizontal output lines. We use O(a) to denote some quantity bounded by a constant times a, when the scaling parameter L is large. Lemma 2.4. For any ﬁxed i , i ∈ {0, 1, . . . , I} and j , j ∈ {0, 1, . . . , J}, as L → ∞ 1 2 1 2 (J) −1 L (i , j ; i , j ) = 1 +O(L ). 1 1 2 2 {i =i ,j =j } α 1 2 1 2 Proof. Via Lemma 1.3, it suﬃces to show that for every i ∈ {0, 1, . . . , J − 1} (1) −1 L (i , j ; i , j ) = 1 +O(L ). (2.13) i 1 1 2 2 {i =i ,j =j } 1 2 1 2 αq Indeed, by direct computation, under our scaling, m+i 1 + αq β m β m (1) 2 (1) 2 −2 −2 L (m, 0; m, 0) = = 1− +O(L ), L (m, 0; m− 1, 1) = +O(L ), i i αq αq 1 + αq L L i m αq + νq β (m− I ) β (I − m) 1 1 (1) (1) −2 −2 L (m, 1; m, 1) = = 1 + +O(L ), L (m, 1; m + 1, 0) = +O(L ), i i αq αq 1 + αq L L which implies (2.13). Theorem 2.5. Deﬁne H(x+1,y) H(x,y) H(x,y+1) H(x,y) Δ := q − q , Δ := q − q . x y Fix A, B > 0, under scaling (1.13), for any x ∈ [0, LA]∩ Z and y ∈ [0, LB]∩ Z and L > 1, h i E ξ(x + 1, y + 1) F (x, y) −1 −2 H(x,y) −2 H(x,y) = L (β + β )Δ Δ + JL (β − β )β q Δ + IL (β − β )β q Δ + R(x, y), 1 2 x y 2 1 2 x 1 2 1 y THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 13 where R(x, y) is a random ﬁeld with the uniform upper bound −4 |R(x, y)| ≤ CL , (2.14) for al l x ∈ [0, LA]∩ Z and y ∈ [0, LB]∩ Z, C is some constant that only depends on A, B. Proof. We only need to show that the random ﬁeld R(x, y) deﬁned via h i 2 −1 −2 H(x,y) −2 H(x,y) R(x, y) = E ξ(x+1, y+1) F (x, y) −L (β +β )Δ Δ −JL (β −β )β q Δ −IL (β −β )β q Δ 1 2 x y 2 1 2 x 1 2 1 y satisﬁes (2.14). Using same notation as in the proof of Theorem 2.3, ξ := ξ(x + 1, y + 1), F := σ H, h, v , and H := H (x, y), h := H (x, y + 1)− H (x, y), v := H (x, y)− H (x + 1, y). 2 2 It is clear that E ξ(x + 1, y + 1) |F (x, y) = E ξ |F . Our proof is divided into two steps. Step 1 (J = 1): When J = 1, h ∈ {0, 1}. We discuss the h = 0 and h = 1 case separately. If h = 0, h i h i α + ν 1 + αq ν + αq 2 H(x+1,y+1) H H−v H E ξ F = E q − q − q + q F 1 + α 1 + α 1 + α −I Referring to (2.8), we have (recall ν = q ) h i 1 + αq α + ν 1 + αq ν + αq 2 H−v H H−v H E ξ F = q − q − q + q 1 + α 1 + α 1 + α 1 + α α(1− q ) α + ν 1 + αq ν + αq H−v+1 H H−v H + q − q − q + q 1 + α 1 + α 1 + α 1 + α 2 −2v v v α(q − 1) q (1− q )(1 + αq ) 2H = q , (2.15) (1 + α) The second equality in the above display follows from a straightforward calculation. 1+αq Let b = and rewrite (2.15) as 1+α h i 2 −2v v v 2H E ξ F = (1− b)q (q − 1) − b + q + (b− 1)q q (2.16) β −β 1 2 H H Referring to scaling (1.13), we see that q = e is bounded, since for x ∈ [0, LA] and y ∈ [0, LB] |H| = |H (x, y)| ≤ L(A + B). In addition, β − β β 1 2 2 −2 −2 q = 1 + +O(L ), b = 1− +O(L ) (2.17) L L Using the expansion of q and b in (2.17), we have h i 2 2H 2 −3 −4 E ξ F = q β (β − β ) vL +O(L ). (2.18) 2 2 1 H(x,y+1) H(x,y) When h = 0, Δ = q − q = 0. Under scaling (1.13), v(β − β ) 2 1 H(x+1,y) H(x,y) H −v H −2 Δ = q − q = q (q − 1) = q +O(L ). Thereby, −1 −2 H −2 H L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ 1 2 x y 2 1 2 x 1 2 1 y −2 H = L (β − β )β q Δ , 2 1 2 x 2H 2 −3 −4 = q β (β − β ) vL +O(L ). (2.19) 2 2 1 It follows from (2.18) and (2.19) (note that J = 1) h i 2 −1 −2 H −2 H −4 R(x, y) = E ξ F − L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ = O(L ). 1 2 x y 2 1 2 x 1 2 1 y 14 YIER LIN −I If h = 1, H (x + 1, y + 1) is distributed as (2.9), then (recall ν = q ) h i 1− νq α + ν 1 + αq ν + αq 2 H−v H+1 H−v H E ξ F = q − q − q + q , 1 + α 1 + α 1 + α 1 + α α + νq α + ν 1 + αq ν + αq H+1−v H+1 H−v H + q − q − q + q , 1 + α 1 + α 1 + α 1 + α 2 −2(I+v) I v I v (q − 1) q (q − q )(αq + q ) 2H = q (1 + α) 1+αq Rewrite the RHS above as (recall b = ) 1+α h i 2 −2(I+v) I v I v 2H E ξ F = (q − b)q (q − q ) (−1 + b)q + q (q − b) q Using the expansion in (2.17), we deduce h i 2 2H 2 −3 −4 E ξ F = q (I − v)(β − β ) β L +O(L ). (2.20) 2 1 1 When h = 1, H −1 −2 H −1 −2 Δ = q (β − β )vL +O(L ) Δ = q (β − β )L +O(L ), x 2 1 y 1 2 which yields −1 −2 H −2 H L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ 1 2 x y 2 1 2 x 1 2 1 y 2H 2 −3 −4 = q (I − v)(β − β ) β L +O(L ). (2.21) 2 1 1 Combining (2.20) and (2.21) yields h i 2 −1 −2 H −2 H −4 R(x, y) = E ξ F − L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ = O(L ). 1 2 x y 2 1 2 x 1 2 1 y This concludes (2.14). Step 2 (general J ): Similar as what we did in Theorem 2.3, we apply fusion (see Figure 6). Recall H , H from (2.10) and (2.11) and deﬁne J−i J−i+1 J+1−i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 ξ := q − q − q + q , J−i J−i J−i 1 + αq 1 + αq 1 + αq J−i J−i+1 J+1−i 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 = q − q − q − q . J−i J−i J+1−i 1 + αq 1 + αq 1 + αq By straightforward calculation, J J J−i J−i J−i J−i+1 J+1−i X X 1 + αq 1 + αq 0 ν + αq 1 + αq 0 ν + αq H H H H i i−1 i i−1 ξ = q − q − q − q J−i J+1−i 1 + α 1 + α 1 + αq 1 + α 1 + αq i=1 i=1 J J 0 ν + α 1 + αq 0 ν + αq H H H H J 0 J 0 = q − q − q − q = ξ, (2.22) 1 + α 1 + α 1 + αq where the second equality follows from the telescoping property of the summation. By Theorem 2.3, ξ are martingale increments, so E ξ ξ |F = 0 for i 6= j. It follows from (2.22) that i i j J J h i h i h i J−i J−i X 2 X 2 1 + αq 1 + αq 2 2 E ξ F = E ξ F = E ξ F . (2.23) 1 + α 1 + α i=1 i=1 Using the J = 1 version of (2.16) proved in Step 1 for the i-th vertex counting from bottom (here, though the spectral parameter changes from α to αq , it does not matter under our scaling) h i 2 −1 i i −2 H i −2 H i E ξ F = L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ + R (x, y) (2.24) i−1 1 2 2 1 2 1 2 1 i i x y x y i H i H H 0 i−1 i−1 i i−1 where Δ = q − q and Δ = q − q and, also recall that F = σ H , H , H . By Step 1, there i i i+1 x y i exists constant C only depending on A, B such that −4 sup |R (x, y)| ≤ CL . (2.25) i∈{1,...,J} (x,y)∈[0,LA]×[0,LB] THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 15 h i 2 2 By conditioning, E ξ F = E E ξ |F F (note that here we are not using the tower property but instead i−1 i i the sequential update rule). Using (2.23) and (2.24), we get h i h J−i X 2 1 + αq 2 −1 i i −2 H i E ξ F = E L (β + β )Δ Δ + L (β − β )β q Δ 1 2 2 1 2 x y x 1 + α i=1 −2 H i + IL (β − β )β q Δ + R (x, y) F . 1 2 1 i J−i 1+αq Note that under our scaling, lim = 1, along with (2.25), L→∞ 1+α h i h i 2 −1 i i −2 H i −2 H i −4 E ξ F = E L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ F +O(L ). (2.26) 1 2 2 1 2 1 2 1 x y x y i=1 It is clear that J J X X i H H H H i i−1 J 0 Δ = q − q = q − q = Δ . i=1 i=1 Furthermore, by Lemma 2.4, i −1 P ∃ i such that Δ 6= Δ F = 1−O(L ). Hence, we can simplify (2.26) and get h i h i 2 −1 i −2 H −2 H i −4 E ξ F = E L (β + β )Δ Δ + L (β − β )β q Δ + IL (β − β )β q Δ F +O(L ), 1 2 x 2 1 2 x 1 2 1 y y i=1 h i −1 −2 H −2 H −4 = E L (β + β )Δ Δ + JL (β − β )β q Δ + IL (β − β )β q Δ F +O(L ), 1 2 x y 2 1 2 x 1 2 1 y −1 −2 H −2 H −4 = L (β + β )Δ Δ + JL (β − β )β q Δ + IL (β − β )β q Δ +O(L ). 1 2 x y 2 1 2 x 1 2 1 y The last line is because Δ and Δ and H are measurable with respect to F . x y Remark 2.6. The identity (1.10) which holds for stochastic six vertex model no long works for the SHS6V model. For example, consider I = 2 and J = 1. For an arbitrary vertex (x, y), if there exists three parameters γ , γ , γ such that (1.10) is true. When h = 0, referring to (2.15), we have 1 2 3 h i 2 −2v v v α(q − 1) q (1− q )(1 + αq ) 2 2H E ξ(x + 1, y + 1) F (x, y) = q (1 + α) Since Δ = 0, the right hand side of (1.10) reduces to H H H −v 2H γ Δ Δ + γ Δ q + γ Δ q = γ Δ q = γ (q − 1)q 1 x y 2 x 3 y 2 x 2 So for al l v ∈ {0, 1, . . . , I}, 2 −v −v v α(q − 1) q (q − 1)(1 + αq ) 2H −v 2H q = γ (q − 1)q (1 + α) −v 2H Canceling the factor (q − 1)q on both sides, we get 2 −v v α(q − 1) q (1 + αq ) = γ (1 + α) Since γ does not depend on v, so the previous equation could not hold for v = 1, 2 simultaneously. The following corollary is a direct consequence of Theorem 2.5. Corollary 2.7. Fix A, B > 0, there exists constant C s.t. for every x ∈ [0, LA]∩ Z, y ∈ [0, LB]∩ Z and L > 1 h i 2 −3 E ξ(x + 1, y + 1) F (x, y) ≤ CL . Proof. It is clear that there exists C such that for any x ∈ [0, LA]∩ Z and y ∈ [0, LB]∩ Z, (β −β )h 1 2 H(x+1,y) H(x,y) H(x,y) −1 |Δ | = q − q = q e − 1 ≤ CL . −1 H(x,y) Similarly, |Δ | ≤ CL . Referring to Theorem 2.5 (note that q is bounded), the corollary follows. y 16 YIER LIN 3. Proof of the main results Having established the four point relation, we move on proving Theorem 1.6 and Theorem 1.7. Corollary 1.9 follows from a straightforward argument once we proved Theorem 1.7. For the ensuing discussion, we will usually write C for constants, we might not generally specify when irrelevant terms are being absorbed into the constants. We might also write for example C (n) when we want to specify which parameter the constant depends on. Proof of Theorem 1.6. Given Theorem 2.3, our proof is akin to [BG19, Theorem 5.1]. We provide the detail for the sake of completeness. Recall q = q , to prove H (Lx, Ly) → h(x, y) uniformly in probability for x ∈ [0, A] H(Lx,Ly) h(x,y) and y ∈ [0, B], it suﬃces to show that q → q uniformly in probability. To this end, we write h i h i H(Lx,Ly) H(Lx,Ly) H(Lx,Ly) H(Lx,Ly) q = E q + q − E q . It suﬃces to show that as L → ∞, H(Lx,Ly) h(x,y) (i). E[q ] → q uniformly for (x, y) ∈ [0, A]× [0, B], H(Lx,Ly) H(Lx,Ly) (ii). q − E[q ] → 0 uniformly in probability for (x, y) ∈ [0, A]× [0, B]. We ﬁrst demonstrate (i). By Theorem 2.3, h i h i h i h i H(x+1,y+1) H(x,y+1) H(x+1,y) H(x,y) E q − b E q − b E q + (b + b − 1)E q = 0, 1 2 1 2 α+ν 1+αq where b = , b = . Summing this equation over x = 0, 1, . . . , LX − 1 and y = 0, 1, . . . LY − 1 yields 1 2 1+α 1+α LX−1 LY−1 LX−1 h i h i h i X X X H(x,0) H(0,y) H(x,LY ) − (1− b ) E q − (1− b ) E q + (1− b ) E q 1 2 1 x=1 y=1 x=1 LY−1 h i h i h i h i h i H(LX,y) H(0,0) H(LX,0) H(0,LY ) H(LX,LY ) + (1− b ) E q + (b + b − 1)E q − b E q − b E q + E q = 0 2 1 2 2 1 y=1 (3.1) H(L·,L·) H(L·,L·) Since H is Lipschitz, the sequence of deterministic functions E[q ] = E[q ] ∈ C ([0, A]× [0, B]) is uniformly bounded and equi-continuous. By Arzela-Ascoli Theorem, it has a limit point q . Under scaling (1.13), when L → ∞, −1 −2 −1 −2 b = 1− β IL +O(L ), b = 1− β JL +O(L ). (3.2) 1 1 2 2 Combining this with (3.1) and taking the L → ∞ limit, q satisﬁes the integral equation Z Z Z Z X Y X Y e h(x,0) e h(0,y) H(x,Y ) H(X,y) − Iβ q dx− Jβ q + Iβ q dx + Jβ q dy 1 2 1 2 0 0 0 0 e h(0,0) e h(X,0) e h(0,Y ) e h(X,Y ) + q − q − q + q = 0 h H(Lx,Ly) In other words, any limit point q of E q as L → ∞ satisﬁes the telegraph equation ∂ ∂ ∂ e h(x,y) e h(x,y) e h(x,y) q + Iβ q + Jβ q = 0. 1 2 ∂x∂y ∂y ∂x e e h(x,0) χ(x) h(0,y) ψ(y) By our assumption on the boundary, we also know that q = q and q = q . This implies that h = h, which concludes (i). H(x,y) H(x,y) H(x,y) H(x,y) To verify (ii), we denote by U (x, y) = q − E q . Using Theorem 2.3, q and E q satisfy the discrete telegraph equation (1.5) with g given by ξ and 0 respectively, hence by linearity, U (x + 1, y + 1)− b U (x, y + 1)− b U (x + 1, y) + (b + b − 1)U (x, y) = ξ(x + 1, y + 1). 1 2 1 2 Summing over x = 0, 1, . . . , LX − 1 and y = 0, 1, . . . LY − 1, along with the fact U (x, 0) = U (0, y) = 0 yields LX−1 LY−1 LX LY X X XX U (LX, LY ) + (1− b ) U (x, LY ) + (1− b ) U (LX, y) = ξ(x, y). (3.3) 1 2 x=1 y=1 x=1 y=1 THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 17 Since ξ(x, y) is a martingale increment, using Corollary 2.7 LA LB LA LB h i XX XX 2 −1 E ξ(x, y) = E ξ(x, y) ≤ CABL . x=1 y=1 x=1 y=1 Applying Doob’s L maximal inequality, it is clear that LX LY XX sup ξ(x, y) → 0. (3.4) (X,Y )∈[0,A]×[0,B] x=1 y=1 Observing that U (L·, L·) are uniformly bounded and uniformly Lipschitz on [0, A]× [0, B]. Therefore, their law are tight, any subsequential limit U has continuous trajectories must solve the L = ∞ version of (3.3), which reads (the right hand side is zero by (3.4)) Z Z X Y e e e U (X, Y ) + Iβ U (x, Y )dx + Jβ U (X, y)dy = 0. 1 2 0 0 According to [BG19, Prop 4.1], the only solution to the above equation is given by U = 0, which implies (ii). We move on proving the functional CLT for the SHS6V model. The proof of Theorem 1.7 is composed of showing the ﬁnite dimensional weak convergence and demonstrating the tightness, which is formulated into the following two propositions. Denote by h i √ √ H(Lx,Ly) H(Lx,Ly) U (x, y) := L q − E q = LU (Lx, Ly). Proposition 3.1 (ﬁnite dimensional convergence). With the same setup as in Theorem 1.7, we have the weak convergence in ﬁnite dimension as L → ∞, U (x, y) ⇒ ϕ(x, y). Recall that we linearly interpolate H (x, y) for non-integer x, y, thus H is a function in C (R ), so is U (x, y). ≥0 Proposition 3.2 (tightness). For each ﬁxed A, B > 0 and n ∈ N, there is a constant C (only depends on n, A, B) such that for al l L > 1 and (X , Y ), (X , Y ) ∈ [0, LA]× [0, LB], 1 1 2 2 2n E U (X , Y )− U (X , Y ) ≤ C |X − X | +|Y − Y | . (3.5) L 1 1 L 2 2 1 2 1 2 Consequently, the sequence of random function U (·,·) ∈ C (R ) is tight. ≥0 Proof of Theorem 1.7. The proof is a direct combination of Proposition 3.1 and Proposition 3.2. We ﬁrst prove the ﬁnite dimensional weak convergence. H(x,y) H(x,y) Proof of Proposition 3.1. Recall that in the proof of Theorem 1.6, we set U (x, y) = q − E[q ]. As shown earlier, we have U (x + 1, y + 1)− b U (x, y + 1)− b U (x + 1, y) + (b + b − 1)U (x, y) = ξ(x + 1, y + 1) 1 2 1 2 Furthermore, since H (x, 0) and H (0, y) are deterministic, we have U (x, 0) = U (y, 0) = 0. By (1.6), one has X Y XX U (X, Y ) = R (X, Y ; x, y)ξ(x, y). (3.6) x=1 y=1 1+αq d α+ν Here R is deﬁned through (1.7) with b = , b = . 1 2 1+α 1+α We need to show that U (·,·) = LU (L·, L·) converges weakly to ϕ(·,·) (given by (1.15)) in ﬁnite dimension. As in the proof of [BG19, Theorem 6.1], we use the martingale central limit theorem [HH14, Section 3] for the martingale (note that U (X, Y ) = M (L XY )) L L d 2 M (t) := LR (LX, LY, x(i), y(i))ξ(x(i), y(i)), 1 ≤ t ≤ L XY (3.7) i=1 18 YIER LIN where we linearly order points in [1, LX ]× [1, LY ] by sequentially tracing the diagonals x + y = const (x(1), y(1)) := (1, 1), (x(2), y(2)) := (2, 1), (x(3), y(3)) := (1, 2), (x(4), y(4)) := (3, 1) . . . (3.8) Note that we will only deal with the one point convergence M (L XY ) ⇒ ϕ(X, Y ) for simplicity, the ﬁnite dimensional convergence can be proved by invoking multi-dimensional version of martingale CLT (see [ST19, Theorem 3.1]) for a multi-dimensional version of the martingale in (3.7). The key for the proof is to study the conditional variance of M (t) at t = L XY . We show that as L → ∞, it converges to the variance of ϕ (1.15) in probability. In other words, we need to prove LX−1 LY−1 h i X X d 2 2 L R (LX, LY, x + 1, y + 1) E ξ(x + 1, y + 1) F (x, y) x=0 y=0 Z Z X Y 2 h h h h h h → R (X, Y, x, y) (β + β )q q + J (β − β )β q q + I (β − β )β q q dxdy. (3.9) IJ 1 2 2 1 2 1 2 1 x y x y 0 0 where the RHS above is the variance of ϕ(X, Y ), see Remark 1.8. To prove this convergence, we ﬁrst use Theorem 2.5, LX−1 LY−1 h i X X d 2 2 L R (LX, LY, x + 1, y + 1) E ξ(x + 1, y + 1) F (x, y) x=0 y=0 LX−1 LY−1 X X d 2 −1 H(x,y) −1 H(x,y) = R (LX, LY, x + 1, y + 1) (β + β )Δ Δ + JL (β − β )β q Δ + IL (β − β )β q Δ 1 2 x y 2 1 2 x 1 2 1 y x=0 y=0 LX−1 LY−1 X X d 2 + L R (LX, LY, x + 1, y + 1) R(x, y). x=0 y=0 −4 d By (2.14), sup |R(x, y)| ≤ CL , together with the fact R is uniformly bounded in [0, LA] × x∈[0,LA],y∈[0,LB] [0, LB], we have almost surely, LX−1 LY−1 X X d 2 L R (LX, LY, x + 1, y + 1) R(x, y) → 0 x=0 y=0 uniformly in (x, y) ∈ [0, LA]× [0, LB]. As a result, to demonstrate (3.9), it suﬃces to prove that as L → ∞ Z Z LX−1 LY−1 X Y X X −1 d 2 H(x,y) 2 h h L R (LX, LY, x + 1, y + 1) q Δ → R (X, Y, x, y) q q dxdy (3.10) x IJ x 0 0 x=0 y=0 Z Z LX−1 LY−1 X Y X X −1 d 2 H(x,y) 2 h h L R (LX, LY, x + 1, y + 1) q Δ → R (X, Y, x, y) q q dxdy (3.11) y IJ 0 0 x=0 y=0 Z Z LX−1 LY−1 X Y X X d 2 2 h h R (LX, LY, x + 1, y + 1) Δ Δ → R (X, Y, x, y) q q dxdy (3.12) x y IJ x y 0 0 x=0 y=0 To demonstrate these approximations, as in the proof of [BG19, Theorem 6.1], we split the the interval [0, LX ]× [0, LY ] into squares such as [LX , L(X + θ)] × [LY , L(Y + θ)] (where θ is small) and apply the discrete to 0 0 0 0 continuous approximation in each square. We ﬁrst demonstrate (3.10), for x ∈ [LX , L(X + θ)] and y ∈ [LY , L(Y + θ)], it is not hard to see that 0 0 0 0 R (LX, LY, Lx, Ly) → R (X, Y, x, y) uniformly for 0 ≤ x ≤ X ≤ A and 0 ≤ y ≤ Y ≤ B (see [ST19, Eq 2.9] IJ for I = J = 1 case). Thus, d H(LX,LY ) h(X ,Y ) 0 0 R (LX, LY, x, y) = R (X, Y, X , Y ) +O(θ) + o(1), q = q +O(θ) + o(1). (3.13) IJ 0 0 THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 19 where o(1) represents the term converging to zero as L → ∞. Using these expansions, we have −1 d 2 H(x,y) L R (LX, LY, x + 1, y + 1) q Δ x∈[LX ,L(X +θ)] 0 0 y∈[LY ,L(Y +θ)] 0 0 −1 2 h(X ,Y ) H(L(X +θ),y) H(LX ,y) 3 2 0 0 0 0 = L R (X, Y, X , Y ) q × q − q +O(θ ) + θ o(1) (3.14) IJ 0 0 y∈[LY ,L(Y +θ)] 0 0 Using law of large number proved in Theorem 1.6, uniformly for y ∈ [Y , Y + θ] 0 0 0 0 0 0 H(L(X +θ),Ly ) H(LX ,Ly ) h(X +θ,y ) h(X ,y ) 0 0 0 0 q − q = q − q + o(1). Consequently, it follows from (3.14) −1 d 2 H(x,y) L R (LX, LY, x + 1, y + 1) q Δ x∈[LX ,L(X +θ)] 0 0 y∈[LY ,L(Y +θ)] 0 0 Y +θ −1 2 h(X ,Y ) h(X +θ,y) h(X ,y) 3 2 0 0 0 0 = L R (X, Y, X , Y ) q q − q dy + θo(1) +O(θ ) + θ o(1), IJ 0 0 −1 2 h(X0,Y0) h(X0,Y0) 2 3 2 = L R (X, Y, X , Y ) q q θ + θo(1) +O(θ ) + θ o(1). (3.15) IJ 0 0 h 1 Note that in the last line, we used the property that the solution q to the (1.14) is piecewise C (since we assume additionally the boundary χ and ψ are smooth). By (3.15), LX−1 LY−1 X X −1 d 2 H(x,y) L R (LX, LY, x + 1, y + 1) q Δ x=0 y=0 X X 2 h(θi,θj) h(θi,θj) 2 −1 = R (X, Y, θi, θj) q q θ + (1 + θ )o(1) +O(θ). (3.16) IJ 0≤i ≤X/θ 0≤j≤Y/θ By ﬁrst letting L → ∞ then θ → 0, we conclude the desired (3.10). The approximation for (3.11) is similar, we omit the detail. Things become more involved for (3.12), note that L(X +θ) L(Y +θ) 0 0 X X d 2 R (LX, LY, x + 1, y + 1) Δ Δ x y x=LX y=LY 0 0 L(X +θ) L(Y +θ) 0 0 X X d 3 = R (LX, LY, LX , Y ) Δ Δ +O(θ ), 0 0 x y x=LX y=LY 0 0 L(X +θ) L(Y +θ) 0 0 X X −2 2 2h(X ,Y ) 2 3 0 0 = L (log q) R (X, Y, X , Y )q ∇ H (x, y)∇ H (x, y) + o(1)O(θ ) +O(θ ), IJ 0 0 x y x=LX y=LY 0 0 (3.17) where we denote by ∇ H (x, y) := H (x + 1, y)−H (x, y),∇ H (x, y) := H (x, y + 1)−H (x, y). In the last equality, x y we used the approximation in (3.13) and H(x+1,y) H(x,y) −1 h(X ,Y ) −1 0 0 Δ = q − q = L ∇ H (x, y)q log q + L o(1), x x H(x,y+1) H(x,y) −1 h(X ,Y ) −1 0 0 Δ = q − q = L ∇ H (x, y)q log q + L o(1). y y Note that −∇ H (x, y),∇ H (x, y) indicate the number of lines entering into the vertex (x, y) from bottom and x y left. For a vertex associated with four tuple (i , j ; i , j ), we say this vertex is unusual if i 6= i or j 6= i . Let 1 1 2 2 1 2 1 2 denote the square [LX , LX + Lθ]× [LY , LY + Lθ] and suppose that there are respectively n and m lines 0 0 0 0 entering inside from bottom and left. Let C be the number of unusual vertices in the square. If C = 0, it is clear that L(X +θ) L(Y +θ) 0 0 X X ∇ H (x, y)∇ H (x, y) = −nm. x y x=LX y=LY 0 0 20 YIER LIN Each unusual vertex might change the LHS summation at most by 2IJθL. As an analogue of [BG19, Eq. 93], L(X +θ) L(Y +θ) 0 0 X X ∇ H (x, y)∇ H (x, y) + nm ≤ IJθL·C. x y x=LX y=LY 0 0 −1 It follows from Lemma 2.4 that the probability that a vertex is unusual is upper bounded by CL , where C is a constant. Thus, L(X +θ) L(Y +θ) 0 0 X X 3 2 ∇ H (x, y)∇ H (x, y) + nm ≤ const· θ L , (3.18) x y x=LX y=LY 0 0 with high probability as L → ∞. Noting that H L(X + θ), LY − H (LX , LY ) = −n, H LX , L(Y + Y ) − H (LX , LY ) = m. 0 0 0 0 0 0 0 0 Combining (3.17) and (3.18) (together with Theorem 2.3) yields L(X +θ) L(Y +θ) 0 0 X X d 2 R (LX, LY, x + 1, y + 1) Δ Δ x y x=LX y=LY 0 0 −2 2 2h(X ,Y ) 0 0 = L (log q) R (X, Y, X , Y )q H (L(X + θ), LY )− H (LX , LY ) H (LX , L(Y + θ) − H (LX , LY ) IJ 0 0 0 0 0 0 0 0 0 0 2 3 + o(1)O(θ ) +O(θ ) 2 2h(X ,Y ) 2 3 0 0 = R (X, Y, X , Y )(log q) q h(X + θ, Y )− h(X , Y ) h(X , Y + θ)− h(X , Y ) + o(1)O(θ ) +O(θ ) IJ 0 0 0 0 0 0 0 0 0 0 Using similar approximation as in (3.16), by ﬁrst letting L → ∞ then θ → 0, we demonstrate (3.12). Having proved (3.10)-(3.12), we simply obtain the desired (3.9). We conclude the theorem using martingale CLT [HH14, Section 3]. Recall that d 2 M (t) = L R LX, LY, x(i), y(i) ξ x(i), y(i) , t ∈ [1, L XY ], i=1 We want to show U (X, Y ) = M (L XY ) → ϕ(X, Y ) in law as L → ∞. By Theorem 2.3, M (t) is a martingale L L L with respect to the its own ﬁltration. The proof of Theorem 1.7 reduces to verify the following conditions for martingale CLT: (i). The conditional covariance of M (t) at t = L XY , which equals LX−1 LY−1 h i X X d 2 2 L R (LX, LY ; x + 1, y + 1) E ξ(x + 1, y + 1) F (x, y) , x=0 y=0 has the same L → ∞ behavior as its unconditional variance, in the sense that their ratio tends to 1 in probability. h i P 2 L XY (ii). The Lindeberg’s condition, i.e. lim E (M (i)− M (i− 1)) 1 = 0. L→∞ L L {(M (i)−M (i−1)) >} L L i=1 Using Corollary 2.7, it is clear that the conditional variance on the LHS of (3.9) is uniformly bounded. By the convergence in (3.9) together with dominated convergence theorem, we know that both the conditional and unconditional variance of M (t) at t = L XY converge to the RHS of (3.9) (which equals to variance of ϕ(X, Y ) given in Remark 1.8), this concludes (i). The Lindeberg’s condition (ii) follows directly from how ξ is deﬁned: By straightforward computation, there ex- −1 d ists constant C such that|ξ(x+1, y+1)| ≤ CL for all x ∈ [0, LA] and y ∈ [0, LB]. In addition, R (LX, LY, x, y) is uniformly bounded. So when L is large enough, n o n o d 2 2 M (i)− M (i− 1) > = LR (LX, LY, x(i), y(i)) ξ(x(i), y(i)) > = ∅, L L which implies that for every i ∈ [1, L XY ], h i E (M (i)− M (i− 1)) 1 = 0. L L {(M (i)−M (i−1)) >} L L Having veriﬁed (i) and (ii), we conclude our proof using the martingale central limit theorem. We move on proving Proposition 3.2. Before presenting our proof, we require the following result. THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 21 Lemma 3.3. Fixed A, B ≥ 0 and n, ` , . . . ` ∈ N, there exists constant C (only depends on A, B, n) such that 1 n for al l L > 1 and arbitrary distinct points (x , y ) ∈ [1, LA]× [1, LB], i = 1, . . . n, i i h i P Y n − (` +1) ` i i=1 E |ξ(x , y )| ≤ CL . i i i=1 Proof. It suﬃces to prove that for (x, y) ∈ [0, LA− 1]× [0, LB − 1], h i ` −`−1 E |ξ(x + 1, y + 1)| F (x, y) ≤ CL . (3.19) We ﬁrst ﬁnish the proof of the lemma by assuming (3.19). Consider the ordering (3.8) of integer points in [1, LA] × [1, LB], without loss of generality, we assume (x , y ) = (x(s ), y(s )) so that s < ··· < s . Recall i i i i 1 n that F (x, y) = σ H (i, j) : i ≤ x or j ≤ y , so ξ(x , y ) ∈ F (x − 1, y − 1) for i = 1, . . . , n− 1. By (3.19) and i i n n conditioning, n n−1 h i h i h i Y Y ` ` ` i i n E |ξ(x , y )| = E |ξ(x , y )| E |ξ(x , y )| F (x − 1, y − 1) i i i i n n n n i=1 i=1 n−1 h i −` −1 ` n i ≤ CL E |ξ(x , y )| . i i i=1 Iterating the above inequality, we conclude the lemma. We move on showing (3.19). Denote v, v to be the vertical input and output for the vertex (x, y) and h to be the horizontal input, i.e. v := H (x, y)− H (x + 1, y), v := H (x, y + 1)− H (x + 1, y + 1), h := H (x, y + 1)− H (x, y). It is evident that we can rewrite ξ(x + 1, y + 1) in (2.5) as H(x,y) h−v h −v ξ(x + 1, y + 1) = q q − b q − b q + b + b − 1 , (3.20) 1 2 1 2 1+αq α+ν recall b = and b = . Since q = q where q is ﬁxed, so for (x, y) ∈ [0, LA]× [0, LB], there exists C 1 2 1+α 1+α 1 H(x,y) such that ≤ q ≤ C . In addition, by (3.2), 0 0 h−v h −v h−v h −v h −v q − b q − b q + b + b − 1 = q − q − q + 1 + (1− b )(q − 1) + (1− b )(q − 1) 1 2 1 2 1 2 0 −1 −2 = ln q(v − v )L +O(L ) Referring to (3.20), we conclude that for ﬁxed A and B there exists a constant C such that for arbitrary L > 1, (x, y) ∈ [0, LA]× [0, LB], −2 0 0 |ξ(x + 1, y + 1)| ≤ CL if (h, v) = (h , v ) (3.21) −1 0 0 |ξ(x + 1, y + 1)| ≤ CL if (h, v) 6= (h , v ) Note that h i h i ` ` E |ξ(x + 1, y + 1)| F (x, y) = E |ξ(x + 1, y + 1)| σ(H (x, y), h, v) (J) 0 0 ` = L (h, v; h , v )|ξ(x + 1, y + 1)| (3.22) 0 0 0 0 (h ,v ):h +v =h+v 0 0 Using Lemma 2.4 and (3.21), we know that for each term in the summation: Either (h , v ) 6= (h, v), which implies (J) 0 0 −1 −1 0 0 L (h, v; h , v ) ≤ CL and |ξ(x + 1, y + 1)| ≤ CL ; Either (h, v) = (h , v ), which yields |ξ(x + 1, y + 1)| ≤ −2 −`−1 CL . Hence, the absolute value for each term in the summation (3.22) is upper bounded by CL . As the summation is ﬁnite, we conclude (3.19). Proof of Proposition 3.2. Using the Kolmogorov-Chentsov criterion, the tightness of U (·,·) follows directly from (3.5). To prove (3.5), it suﬃces to show that there exists constant C such that for X ∈ [0, LA] and 0 ≤ Y ≤ Y ≤ LB, 1 2 h i 2n E U (X, Y )− U (X, Y ) ≤ C|Y − Y | , (3.23) L 1 L 2 1 2 22 YIER LIN Since we linearly interpolate H (X, Y ) for non-integer X, Y and U (X, Y ) is expressed in terms of H (LX, LY ), −1 we can assume Y − Y ≥ L . Referring to (3.6), we know that 2 1 LX LY √ XX U (X, Y ) = L R (LX, LY, x, y)ξ(x, y), (3.24) x=1 y=1 which implies LX LY XX√ d d U (X, Y )− U (X, Y ) = L R (LX, LY , x, y)−R (LX, LY , x, y) ξ(x, y) L 2 L 1 1 2 x=1 y=1 LX LY X X + LR (LX, LY , x, y)ξ(x, y) x=1 y=LY +1 2n 2n−1 2n 2n Taking the n-th power of both sides in the above display and apply the inequality (a + b) ≤ 2 (a + b ) to the RHS, we have LY LX 1 h i h i XX√ 2n 2n 2n−1 d d E U (X Y )− U (X, Y ) ≤ 2 E L R (LX, LY , x, y)−R (LX, LY , x, y) ξ(x, y) L , 2 L 1 1 2 x=1 y=1 LX LY h 2 i X X √ 2n 2n−1 d + 2 E LR (LX, LY , x, y)ξ(x, y) (3.25) x=1 y=LY +1 Denote the ﬁrst and second term above (without the constant multiplier) by M and M respectively. We 1 2 proceed to upper bound M and M respectively. 1 2 For M , since ξ(x, y) is a martingale increment, by Burkholder–Davis–Gundy inequality, we have LX LY XX n d d 2 M ≤ C (n)L E R (LX, LY , x, y)−R (LX, LY , x, y) ξ(x, y) , 1 1 2 x=1 y=1 where the constant C (n) only depends on n. Under scaling (3.2), there exists a constant C such that for L > 1, X ∈ [0, LA] and Y , Y ∈ [0, LB] (one can see this from the expression of R in (1.7)), 1 2 d d R (LX, LY , x, y)−R (LX, LY , x, y) ≤ C|Y − Y |, 1 2 1 2 this implies LX LY XX n 2n n 2 M ≤ C (n)|Y − Y | · L E ξ(x, y) . (3.26) 1 1 2 x=1 y=1 h i P P LX LY n 1 2 We claim that for all L > 1, the term L E ξ(x, y) is uniformly upper bounded for (x, y) ∈ x=1 y=1 [0, LA]× [0, LB]. To see this, we expand the n-th power of the double summation in the expectation above. It is not hard to see that there exists a constant C such that `(λ) LX LY h i XX X X Y n 2 n 2λ L E ξ(x, y) ≤ CL E ξ(x , y ) i i x=1 y=1 i=1 λ`n (x ,y )∈[1,LX]×[1,LY ] i i 1 i=1,...,`(λ),(x ,y ) are distinct i i Here, the summation above is taken over the partition λ of n, that is to say, λ = (λ ≥ ··· ≥ λ ) ∈ Z with 1 s ≥1 λ = n, `(λ) = s is the length of the partition λ. We want to upper bound the right hand side in the above i=1 h i `(λ) 2λ display. By Lemma 3.3, we know that the E ξ(x , y ) can be upper bounded by a constant times i i i=1 −2n−`(λ) L . In addition, it is clear that # (x , y ) ∈ [1, LX ] × [1, LY ], i = 1, . . . , `(λ), (x , y ) are distinct ≤ i i 1 i i 2 `(λ) (L XY ) (#A denotes the number of elements in the set A). Consequently LX LY XX n X n 2 n 2 `(λ) −2n−`(λ) L E ξ(x, y) ≤ CL (L XY ) L ≤ C. x=1 y=1 λ`n Inserting the above upper bound into (3.26) implies 2n M ≤ C (n)|Y − Y | . (3.27) 1 2 1 THE STOCHASTIC TELEGRAPH EQUATION LIMIT OF THE STOCHASTIC HIGHER SPIN SIX VERTEX MODEL 23 We proceed to upper bound M . Again, using Burkholder-Davis-Gundy inequality, one obtains LX LY X X n n d 2 2 M ≤ C (n)L E R (LX, LY , x, y) ξ(x, y) . 2 2 x=1 y=LY +1 Expanding the n-th power for the double summation and upper bounding the square of R by a constant, `(λ) h i X X Y n 2λ M ≤ C (n)L E ξ(x , y ) . 2 i i λ`n i=1 (x ,y )∈[1,LX]×(LY ,LY ] i i 1 2 i=1,...,`(λ),(x ,y ) are distinct i i Using Lemma 3.3 and by similar argument for upper bounding M , we have n 2 `(λ) −2n−`(λ) `(λ)−n `(λ) n M ≤ C (n)L (L X (Y − Y )) L ≤ C (n)L (Y − Y ) ≤ C (n)|Y − Y | (3.28) 2 2 1 2 1 2 1 λ`n −1 The last inequality in the above display is due to our assumption Y − Y ≥ L . 2 1 Referring to (3.25), we have h i 2n 2n−1 E U (X Y )− U (X, Y ) ≤ 2 (M + M ). L , 2 L 1 1 2 Combining (3.27) with (3.28), we conclude (3.23). Remark 3.4. It is worth remarking that the classical theory for martingale functional CLT, e.g. [Bro71, Section 6], might not be helpful for proving our tightness. In order to get the tightness, the classical theory requires U (X, Y ) to be a martingale in (X, Y ) in order to control (using martingale inequalities) the modulus sup |U (X , Y )− U (X , Y )|, L 1 1 L 2 2 |X −X |+|Y −Y |≤δ 1 2 1 2 for smal l δ > 0, and then apply the Arzela-Ascoli. See [Bil13, Theorem 7.3]. In our case, though ξ(x, y) is a martingale increment, U (X, Y ) fails to be a martingale due to dependence of R on X, Y in (3.24). Proof of Corol lary 1.9. It suﬃces to prove the weak convergence for arbitrary interval [0, A]× [0, B]. Note that H(x,y) H(x,y) U (x, y) = q − E q , then h i U (Lx, Ly) H(Lx,Ly) H(Lx,Ly) H (Lx, Ly) = L log q = L log E q + L log 1 + . (3.29) q q q H(Lx,Ly) E q Since H (x, y) is Lipschitz and q = q (where q is ﬁxed), there exists constant C such that for (x, y) ∈ [0, LA]× [0, LB], h i 1 1 H(Lx,Ly) H(Lx,Ly) ≤ q ≤ C, ≤ E q ≤ C. C C For the second term on the right hand side of (3.29), we taylor expand the function log (1 + x) around x = 0, h i LU (Lx, Ly) H(Lx,Ly) H (Lx, Ly) = L log E q + + Lr (x, y), H(Lx,Ly) log q· E q 2 H(Lx,Ly) 2 where |r (x, y)| ≤ CU (Lx, Ly) / E[q ] ≤ CU (Lx, Ly) . Consequently, since E U (Lx, Ly) = 0, h i H (Lx, Ly)− E H (Lx, Ly) LU (Lx, Ly) √ h i = + L r (x, y)− E r (x, y) . L L H(Lx,Ly) E q log q By Proposition 3.2, we know that U (·,·) = LU (L·, L·) is tight. Thus, for any ﬁxed A, B > 0, as L → ∞, sup L U (Lx, Ly) → 0 in probability. x∈[0,A]×[0,B] Since |r (x, y)| ≤ CU (Lx, Ly) , sup L r (x, y)− E r (x, y) → 0 in probability. L L (x,y)∈[0,A]×[0,B] 24 YIER LIN Therefore, we have the weak convergence in C ([0, A]× [0, B]), h i H (Lx, Ly)− E H (Lx, Ly) LU (Lx, Ly) ϕ(x, y) lim = lim = . H(Lx,Ly) h(x,y) L→∞ L→∞ E q log q q log q To get the second equality above, we apply Theorem 1.6 and Theorem 1.7 to the denominator and numerator ϕ(x,y) respectively. By straightforward computation, φ(x, y) := solves (1.17), which concludes the corollary. h(x,y) q log q References [BCG16] Alexei Borodin, Ivan Corwin, and Vadim Gorin. Stochastic six-vertex model. Duke Mathematical Journal, 165(3):563– 624, 2016. [BCPS15] Alexei Borodin, Ivan Corwin, Leonid Petrov, and Tomohiro Sasamoto. Spectral theory for interacting particle systems solvable by coordinate bethe ansatz. Communications in Mathematical Physics, 339(3):1167–1245, 2015. [BG18] Alexei Borodin and Vadim Gorin. A stochastic telegraph equation from the six-vertex model. arXiv preprint arXiv:1803.09137, 2018. [BG19] Alexei Borodin and Vadim Gorin. A stochastic telegraph equation from the six-vertex model. The Annals of Probability, 47(6):4137–4194, 2019. [Bil13] Patrick Billingsley. Convergence of probability measures. John Wiley & Sons, 2013. [Bor17] Alexei Borodin. On a family of symmetric rational functions. Advances in Mathematics, 306:973–1018, 2017. [Bor18] Alexei Borodin. Stochastic higher spin six vertex model and Macdonald measures. Journal of Mathematical Physics, 59(2):023301, 2018. [BP18] Alexei Borodin and Leonid Petrov. Higher spin six vertex model and symmetric rational functions. Selecta Mathematica, 24(2):751–874, 2018. [Bro71] Bruce M Brown. Martingale central limit theorems. The Annals of Mathematical Statistics, 42(1):59–66, 1971. [CGST20] Ivan Corwin, Promit Ghosal, Hao Shen, and Li-Cheng Tsai. Stochastic PDE limit of the six vertex model. Communica- tions in Mathematical Physics, pages 1–94, 2020. [CH08] Richard Courant and David Hilbert. Methods of Mathematical Physics: Partial Diﬀerential Equations. John Wiley & Sons, 2008. [Cor12] Ivan Corwin. The Kardar–Parisi–Zhang equation and universality class. Random matrices: Theory and applications, 1(01):1130001, 2012. [CP16] Ivan Corwin and Leonid Petrov. Stochastic higher spin vertex models on the line. Communications in Mathematical Physics, 343(2):651–700, 2016. [CT17] Ivan Corwin and Li-Cheng Tsai. KPZ equation limit of higher-spin exclusion processes. The Annals of Probability, 45(3):1771–1798, 2017. [GS92] Leh-Hun Gwa and Herbert Spohn. Six-vertex model, roughened surfaces, and an asymmetric spin hamiltonian. Physical review letters, 68(6):725, 1992. [HH14] Peter Hall and Christopher C Heyde. Martingale limit theory and its application. Academic press, 2014. [IMS20] Takashi Imamura, Matteo Mucciconi, and Tomohiro Sasamoto. Stationary stochastic Higher Spin Six Vertex Model and q-Whittaker measure. Probability Theory and Related Fields, pages 1–120, 2020. [KPZ86] Mehran Kardar, Giorgio Parisi, and Yi-Cheng Zhang. Dynamic scaling of growing interfaces. Physical Review Letters, 56(9):889, 1986. [KR87] Anatol N Kirillov and N Yu Reshetikhin. Exact solution of the integrable XXZ Heisenberg model with arbitrary spin. I. The ground state and the excitation spectrum. Journal of Physics A: Mathematical and General, 20(6):1565, 1987. [KRS81] PP Kulish, N Yu Reshetikhin, and EK Sklyanin. Yang-baxter equation and representation theory: I. Letters in Mathe- matical Physics, 5(5):393–403, 1981. [Kua18] Jeﬀrey Kuan. An Algebraic Construction of Duality Functions for the Stochastic U (A ) Vertex Model and Its Degen- erations. Communications in Mathematical Physics, 359(1):121–187, 2018. [Lin19] Yier Lin. Markov duality for stochastic six vertex model. Electronic Communications in Probability, 24, 2019. [Lin20] Yier Lin. KPZ equation limit of stochastic higher spin six vertex model. Mathematical Physics, Analysis and Geometry, 23(1):1, 2020. [Man14] Vladimir V Mangazeev. On the Yang–Baxter equation for the six-vertex model. Nuclear Physics B, 882:70–96, 2014. [ST19] Hao Shen and Li-Cheng Tsai. Stochastic telegraph equation limit for the stochastic six vertex model. Proceedings of the American Mathematical Society, 147(6):2685–2705, 2019. [TW94] Craig A Tracy and Harold Widom. Level-spacing distributions and the airy kernel. Communications in Mathematical Physics, 159(1):151–174, 1994. Y. Lin, Department of Mathematics, Columbia University, 2990 Broadway, New York, NY 10027 Email address: yl3609@columbia.edu

Journal

Mathematical Physics – arXiv (Cornell University)

Published: May 1, 2020

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The stochastic telegraph equation limit of the stochastic higher spin six vertex model

The stochastic telegraph equation limit of the stochastic higher spin six vertex model

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The stochastic telegraph equation limit of the stochastic higher spin six vertex model

The stochastic telegraph equation limit of the stochastic higher spin six vertex model

References (27)

Abstract

Journal

Recommended Articles

There are no references for this article.

Our policy towards the use of cookies