---
title: Star–Star Relation in Lattice Models
url: https://www.emergentmind.com/topics/star-star-relation
type: topic
---

# Star–Star Relation in Lattice Models

Searching arXiv for recent and foundational papers on the star–star relation in integrable lattice models.
The star–star relation is a local functional equation for Boltzmann weights in integrable lattice models. In checkerboard edge-interaction and interaction-round-a-face (IRF) settings, it relates two different four-edge star configurations, is a sufficient integrability condition, and, after a suitable renormalization of IRF weights, yields a Yang–Baxter equation of IRF type [2412.21096]. In modern treatments it appears for multicomponent real spins, for mixed continuous/discrete spins built from lens elliptic or lens hyperbolic gamma functions, and within the Gauge/YBE correspondence, where it is identified with equalities of supersymmetric partition functions or indices under duality transformations [1504.07074][2508.19941].

## 1. Formal definition and local structure

In the general checkerboard setting, the star–star relation compares a black-centered star \(V^{(B)}\) and a white-centered star \(V^{(W)}\), each obtained by integrating over one internal spin. Its explicit form is
\[
W_{q'-q}(\mathbf{x}_d,\mathbf{x}_c)\,W_{q-q'}(\mathbf{x}_a,\mathbf{x}_b)\, V^{(B)}(\mathbf{x}_a,\mathbf{x}_b,\mathbf{x}_c,\mathbf{x}_d)
=
W_{p-p'}(\mathbf{x}_b,\mathbf{x}_d)\,W_{p'-p}(\mathbf{x}_c,\mathbf{x}_a)\, V^{(W)}(\mathbf{x}_a,\mathbf{x}_b,\mathbf{x}_c,\mathbf{x}_d).
\]
This equation relates the two star configurations up to extra edge factors between same-color vertices, and in the formulation of the model it is a sufficient integrability condition [2412.21096].

A renormalized IRF weight \(V(\mathbf{x}_a,\mathbf{x}_b,\mathbf{x}_c,\mathbf{x}_d)\) can be defined from \(V^{(B)}\) or equivalently from \(V^{(W)}\). By virtue of the star–star relation, this renormalized weight satisfies an IRF Yang–Baxter equation. In this sense, the star–star relation is an analogue of, and is equivalent after reinterpretation of weights to, a Yang–Baxter equation [2412.21096].

In contrast to the star–triangle relation, which involves three edges and three spins, the star–star relation involves two four-edge stars and six boundary spins plus two internal spins. In IRF language it can be rephrased as equality of partition functions of two small local configurations. That distinction is structurally important because some constructions start from star–star identities and only later derive star–triangle relations or reduced symmetries from them [2412.21096][2508.19941].

## 2. Lattice realizations and spin content

A representative multicomponent realization is an edge-interaction model on a checkerboard square lattice. Spins live on vertices and interactions sit on edges. Each spin at vertex \(i\) is an \(n\)-component real vector
\[
\mathbf{x}_i=\bigl((x_i)_1,\ldots,(x_i)_n\bigr)\in\mathbb{R}^n,
\qquad
\sum_{a=1}^n (x_i)_a=0,
\]
so there are \(n-1\) independent components. The case \(n=2\) is scalar. The lattice carries horizontal and vertical rapidity lines with parameters \((p,p')\) and \((q,q')\), and the four edge types carry weights \(W_{p-q'}\), \(W_{p'-q}\), \(W_{p-q}\), and \(W_{p'-q'}\) in the pattern fixed by the checkerboard construction [2412.21096].

From these edge weights one constructs the black-centered and white-centered IRF weights by integrating over an internal spin with a single-spin weight \(S(\mathbf{x}_i)\). The star–star relation then equates the two local configurations. This is the canonical IRF-style formulation of the relation in the multicomponent hyperbolic setting [2412.21096].

A distinct but closely related realization uses two-component spins
\[
\sigma_j=(x_j,m_j),\qquad x_j\in\mathbb{R},\quad m_j\in\mathbb{Z},
\]
or, in the main elliptic lens model,
\[
0\le x_j<\pi,\qquad m_j=0,1,\ldots,\lfloor r/2\rfloor.
\]
Here the weights are built from the lens elliptic gamma function, and the model belongs to the mixed discrete/continuous class emphasized in the Gauge/YBE correspondence [1504.07074].

| Setting | Spin variables | Functional input |
|---|---|---|
| Checkerboard hyperbolic model | \(\mathbf{x}_i\in\mathbb{R}^n,\ \sum_a (x_i)_a=0\) | Hyperbolic gamma function \(\Gamma_h\) |
| Two-component lens model | \(\sigma=(x,m)\) with continuous and discrete parts | Lens elliptic gamma function |
| Reduced two-spin symmetry | \(\sigma=(x,m)\) | Lens hyperbolic gamma, basic hypergeometric, or Euler gamma functions |

These realizations show that the term “star–star relation” does not denote a single scalar identity. Rather, it denotes a class of local relations whose common role is to encode integrability for IRF or multi-spin models, while the spin space and special-function input vary from elliptic to hyperbolic, trigonometric, and rational regimes [2412.21096][1504.07074][2508.19941].

## 3. Explicit special-function solutions

In the multicomponent hyperbolic solution, the crossing parameter is
\[
\eta_h = \frac{b+b^{-1}}{2},
\]
and the spins and rapidities satisfy
\[
\mathbf{x}_i\in\mathbb{R}^n,\quad \sum_{j=1}^n (x_i)_j=0,\qquad 0<p_a-q_b<\eta_h,\quad a,b=1,2.
\]
The single-site weight is
\[
S(\mathbf{x}_i) = \prod_{1\le a<b\le n} \Gamma_h(-i\eta_h + (x_i)_a-(x_i)_b)\,\Gamma_h(-i\eta_h - (x_i)_a+(x_i)_b),
\]
and the two-spin weight is
\[
W_{p-q}(\mathbf{x}_i,\mathbf{x}_j) = \prod_{a,b=1}^n \Gamma_h\Bigl((x_i)_a-(x_j)_b + i(p-q)\Bigr).
\]
These weights satisfy both inversion,
\[
W_{p-q}(\mathbf{x}_i,\mathbf{x}_j)\, W_{q-p}(\mathbf{x}_j,\mathbf{x}_i)=1,
\]
and crossing symmetry,
\[
W_{p-q}(\mathbf{x}_i,\mathbf{x}_j)=W_{\eta_h-(p-q)}(\mathbf{x}_i,\mathbf{x}_j),
\]
and the corresponding star–star relation is written as an identity between the two IRF-type integrals \(W^{(B)}\) and \(W^{(W)}\) [2412.21096].

In the two-component elliptic lens model, the weights are built from the lens elliptic gamma function \(\Phi_{r,m}(z)\). The edge Boltzmann weight has the explicit form
\[
W_\alpha(\sigma_i,\sigma_j) =
\frac{
e^{-\frac{2\alpha}{r}\big(\llbracket m_i-m_j\rrbracket_\pm + \llbracket m_i+m_j\rrbracket_\pm\big)}
}{
\kappa(\alpha)
}
\,
\frac{
\Phi_{r,m_i-m_j}(x_i-x_j+i\alpha)\,
\Phi_{r,m_i+m_j}(x_i+x_j+i\alpha)
}{
\Phi_{r,m_i-m_j}(x_i-x_j-i\alpha)\,
\Phi_{r,m_i+m_j}(x_i+x_j-i\alpha)
},
\]
with a corresponding single-spin weight \(S(\sigma_i)\). In this setting the weights satisfy spin reflection symmetry, are normalized so that the factor \(\mathcal{R}\) in the star–triangle relation equals \(1\), and are real and positive for \(p=q^*\) and \(0<\alpha<\eta\) [1504.07074].

The elliptic construction is tied to Yamazaki’s star–star relation, whose Boltzmann weights are built from the lens elliptic gamma function and arise in the Gauge/YBE correspondence from Seiberg duality of \(4\)-d \(\mathcal{N}=1\) quiver gauge theories. Kels’ construction starts from Yamazaki’s two-component star–star solution and extracts explicit edge weights suitable for an Ising-type lattice model [1504.07074].

The same family of constructions admits degenerations. The elliptic lens star–triangle relation contains the Bazhanov–Sergeev master solution as a special case; the hyperbolic multicomponent star–star relation is equivalent to hyperbolic hypergeometric integral identities for the \(A_n\) root system; and later work derives reduced flipping symmetries with lens hyperbolic gamma, basic hypergeometric, and Euler gamma functions [1504.07074][2412.21096][2508.19941].

## 4. Relation to the star–triangle relation and to flipping

For Ising-type models with discrete and continuous spins, the star–triangle relation takes the form
\[
\sum_{m_0} \int dx_0 \, S(\sigma_0)\,
W_{\eta-\alpha_i}(\sigma_i,\sigma_0)\,
W_{\eta-\alpha_j}(\sigma_j,\sigma_0)\,
W_{\eta-\alpha_k}(\sigma_0,\sigma_k)
=
\mathcal{R}(\alpha_i,\alpha_j,\alpha_k)\,
W_{\alpha_i}(\sigma_j,\sigma_k)\,
W_{\alpha_j}(\sigma_i,\sigma_k)\,
W_{\alpha_k}(\sigma_j,\sigma_i),
\]
with
\[
\alpha_i+\alpha_j+\alpha_k=\eta.
\]
In Kels’ two-component lens model, the normalization is chosen so that \(\mathcal{R}=1\), and the resulting star–triangle relation implies the corresponding two-component spin star–star relation of Yamazaki. The paper explicitly emphasizes that the former relation implies the latter, but the reverse is not true [1504.07074].

This implication is central to the role of the star–star relation in that work. Yamazaki’s construction produces a star–star relation in IRF language from gauge-theory duality, while Kels proves a star–triangle relation for the corresponding edge weights. The star–star relation then appears as a corollary of a stronger local identity [1504.07074].

A later reduction produces the flipping relation. In the lens hyperbolic setting, the flipping relation is
\[
\sum_{m_0}\int dx_0\; S(\sigma_0)\,
W_{\alpha_1,\beta_1}(\sigma_1,\sigma_0)\,
W_{\alpha_2,\beta_2}(\sigma_2,\sigma_0)
=
\sum_{m_0}\int dx_0\; S(\sigma_0)\,
W_{\alpha_2,\beta_2}(\sigma_1,\sigma_0)\,
W_{\alpha_1,\beta_1}(\sigma_2,\sigma_0).
\]
It exchanges the edge interactions of two outer spins with a centrally sited spin, and a certain limit of the lens hyperbolic gamma star–star relation yields this symmetry transformation. The same work obtains further solutions of the flipping relation in terms of the hyperbolic gamma, basic hypergeometric, and Euler gamma functions [2508.19941].

This hierarchy is structurally informative. The star–star relation can act as the primary IRF identity, the star–triangle relation can be extracted or proved in special cases, and the flipping relation can arise as a reduced symmetry obtained by sending selected fugacities or spins to infinity in the corresponding hyperbolic integral identity. A plausible implication is that these relations are best viewed as different local manifestations of the same integrable architecture rather than as isolated identities [1504.07074][2508.19941].

## 5. Quasi-classical expansion and multicomponent 5-point equations

The quasi-classical expansion of the hyperbolic multicomponent star–star relation is organized by
\[
\hbar = 2\pi b^2,
\]
together with the scaling
\[
\mathbf{x}_i\to \frac{\mathbf{x}_i}{\sqrt{2\pi\hbar}},
\qquad
p_j\to\frac{u_j}{\sqrt{2\pi\hbar}},
\qquad
q_j\to\frac{v_j}{\sqrt{2\pi\hbar}},
\quad j=1,2.
\]
Using the asymptotics of \(\Gamma_h\), one obtains
\[
\log S(\mathbf{x}_i)=-\frac{i}{\hbar}C(\mathbf{x}_i)+O(1),
\qquad
\log W_{p-q}(\mathbf{x}_i,\mathbf{x}_j) = -\frac{i}{\hbar}\mathcal{L}_{u-v}(\mathbf{x}_i,\mathbf{x}_j)+O(1),
\]
with explicit classical Lagrangians \(C\) and \(\mathcal{L}_{u-v}\) [2412.21096].

Substituting these expansions into the star–star relation and applying a saddle-point analysis produces \(n-1\) component equations for the internal spin. In multiplicative variables, the central rational function is
\[
A_a(\mathbf{y}_f;\mathbf{y}_i,\mathbf{y}_j,\mathbf{y}_k,\mathbf{y}_l;\boldsymbol{\alpha},\boldsymbol{\beta})
=
\frac{\phi_a(\mathbf{y}_f,\mathbf{y}_i;\alpha_2,\beta_1)\,\phi_a(\mathbf{y}_f,\mathbf{y}_l;\alpha_1,\beta_2)}
{\phi_a(\mathbf{y}_f,\mathbf{y}_j;\alpha_2,\beta_2)\,\phi_a(\mathbf{y}_f,\mathbf{y}_k;\alpha_1,\beta_1)},
\]
and the quasi-classical equations are
\[
A_a(\mathbf{y}_f;\mathbf{y}_i,\mathbf{y}_j,\mathbf{y}_k,\mathbf{y}_l;\boldsymbol{\alpha},\boldsymbol{\beta})=1,
\qquad
a=1,\ldots,n-1.
\]
These are \(n-1\)-component 5-point difference equations on a plus-shaped stencil [2412.21096].

For \(n=2\), the system reduces to scalar equations. The paper identifies the scalar reduction of the hyperbolic system with the multiplicative four-leg form of the 5-point equation \(A3_{(1)}\), and the rational degeneration with \(A2_{(1;0)}\). For general \(n\), the equations are \(n-1\)-component extensions of these scalar 5-point equations [2412.21096].

At the level of multidimensional consistency, the quasi-classical limit of the IRF Yang–Baxter equation yields a system of \(14\) multicomponent 5-point equations on a face-centered cubic cell, providing consistency-around-a-face-centered-cube (CAFCC). Numerical verification of CAFCC is reported for \(n=3,4,5\). This establishes a direct bridge from the star–star relation to multicomponent discrete integrable systems with a variational structure [2412.21096].

## 6. Gauge/YBE correspondence, scope, and terminology

Within the Gauge/YBE correspondence, the star–star relation is identified with equalities of supersymmetric partition functions or indices. Yamazaki’s star–star relation arises from the Gauge/YBE correspondence by translating Seiberg duality of \(4\)-d \(\mathcal{N}=1\) supersymmetric indices into an IRF-type functional identity. Kels’ star–triangle relation implies Seiberg duality for the \(4\)-d \(\mathcal{N}=1\) \(S^1\times S^3/\mathbb{Z}_r\) index of the \(SU(2)\) quiver gauge theory, and therefore also the corresponding two-component star–star relation [1504.07074].

In the lens hyperbolic setting, the same theme reappears for \(3\)-d \(\mathcal{N}=2\) supersymmetric gauge theories on \(S^3_b/\mathbb{Z}_r\). The star–star relation is realized as an identity between partition functions built from lens hyperbolic gamma functions, and the flipping relation appears as a reduced star–star relation obtained by a limit that decouples part of the original configuration [2508.19941].

The mathematical significance of these identities is standard across the cited works. They guarantee commutativity of transfer matrices and hence integrability; in IRF language they give a Yang–Baxter equation for renormalized face weights; and in gauge-theoretic language they encode duality transformations of localized partition functions [2412.21096][1504.07074].

The phrase “star–star relation” also has unrelated uses outside integrable lattice models. In astrophysical literature, the phrase may refer broadly to empirical relations among stellar variables such as the mass–luminosity, mass–radius, and mass–effective temperature relations, or to star-formation scaling relations. Those usages concern statistical relations among stellar or galactic observables and are conceptually distinct from the Yang–Baxter-type meaning discussed here [2402.07947][1210.0549].

Taken in its integrable-model sense, the star–star relation is therefore best understood as a local IRF identity with several tightly connected realizations: elliptic and hyperbolic special-function solutions, reductions to star–triangle and flipping relations, quasi-classical limits yielding multicomponent 5-point equations, and gauge-theoretic interpretations through supersymmetric dualities [2412.21096][1504.07074][2508.19941].

Source: https://www.emergentmind.com/topics/star-star-relation