---
title: 'WLZZ Models: AI, Physics & Phenomenology'
url: https://www.emergentmind.com/topics/wlzz-models
type: topic
---

# WLZZ Models: AI, Physics & Phenomenology

The designation **WLZZ models** refers to several distinct objects in current research. In one usage, it denotes **language models enhanced with world models via embodied experience**, where simulator-generated interaction traces are used to finetune autoregressive transformers for physical reasoning and planning [2305.10626]. In mathematical physics, it denotes **Wang–Liu–Zhang–Zhao matrix models**, a family of partition functions defined by \(W\)-representations, Schur or Jack expansions, and associated commutative subalgebras of \(W_{1+\infty}\) [2507.05406]. A separate phenomenological usage applies the label to models in which the **\(W\) mass** and a heavy **\(Z^\prime\)** are jointly used to constrain \(b \rightarrow s \ell \ell\) anomalies [2205.12252]. In collider phenomenology, **WLZZ** is also used as shorthand for \(W^\pm ZZ\) production with leptonic decays at the LHC [1507.03693].

## 1. Terminological scope

The principal uses of the term are summarized below.

| Usage | Defining object | Representative source |
|---|---|---|
| Embodied AI | Language models finetuned with world-model experiences | [2305.10626] |
| Mathematical physics | Wang–Liu–Zhang–Zhao matrix-model partition functions | [2507.05406] |
| Flavor phenomenology | \(M_W\)- and \(Z^\prime\)-selected models for \(b \rightarrow s \ell \ell\) anomalies | [2205.12252] |
| Collider shorthand | \(W^\pm ZZ\) production with leptonic decays | [1507.03693] |

In the mathematical-physics literature, **WLZZ** stands for **Wang–Liu–Zhang–Zhao**; the corresponding models were introduced as new partition functions or \(\tau\)-functions defined by \(W\)-representations, organized into positive and negative branches, and later generalized to arbitrary integer rays, rational rays, cones, and \(\beta\)-deformations [2301.04107]. In the embodied-AI literature, the same label is used for language models that internalize embodied knowledge from a simulator rather than relying only on written text [2305.10626]. In phenomenological usage, the label is attached to constructions where \(M_W\) and a heavy \(Z^\prime\) are treated jointly in flavor fits [2205.12252]. A plausible implication is that any encyclopedia treatment must be explicitly disambiguating, because the term does not denote a single universally shared model class across disciplines.

## 2. Embodied-experience WLZZ models in machine learning

In the embodied-AI usage, WLZZ models are **language models enhanced with world models via embodied experience** [2305.10626]. The motivation is that language models trained only on written text lack embodied experiences needed for robust physical reasoning and planning, and therefore fail at tasks such as counting objects after a sequence of actions, tracking items manipulated by multiple agents, or writing multi-step plans that respect affordances and object state changes. The proposed remedy is to deploy an embodied agent in **VirtualHome**, a multi-agent 3D household simulator supporting atomic actions such as `Walk`, `Grab`, `Put`, `Open`, and `SwitchOn`, collect diverse embodied experiences, convert those traces into supervised tasks, and finetune the language model itself rather than prompting it task-by-task with a simulator [2305.10626].

The data pipeline has two sources. First, **goal-oriented planning** uses a Monte Carlo Tree Search planner over goal predicates such as \(ON(fork, table)\) or \(ON(plate, table)\), with reward shaping **\(+2\)** when a goal predicate is satisfied and **\(-0.1\)** per step. Second, **random exploration** logs single-agent or multi-agent trajectories containing occlusions, handoffs, distractors, and irrelevant actions. These traces are converted into supervised tasks: **plan generation**, **activity recognition**, **counting**, **object path tracking**, and **object location QA**. The multi-task supervised objective is written as
$$
L_V = \Sigma_{v\in V} \alpha_v \Sigma_{m=1}^M \log P(y_m \mid y_{<m}, x),
$$
with task weights chosen on held-out data as **1.0, 0.7, 1.0, 1.0** for plan generation, activity recognition, counting, and object tracking, respectively [2305.10626].

To preserve general language capability, the method combines **EWC** and **LoRA**. The EWC term is
$$
L(\theta) = L_{\text{new}}(\theta) + (\lambda/2) \Sigma_i F_i (\theta_i-\theta_i^*)^2,
$$
while LoRA uses
$$
W = W_0 + (\alpha/r)AB.
$$
The paper further uses an **EWC-LoRA** form in which the Fisher-weighted regularizer acts on the low-rank delta \(h_i = \theta_i-\theta_i^*\) [2305.10626]. The implementation details given are **AdamW**, **Int8 inference/training optimization**, learning rate **\(8\times 10^{-5}\)**, batch size **20**, LoRA rank **8**, and LoRA scaling coefficient **32**, with experiments on **GPT-Neo-1.3B**, **GPT-J-6B**, **OPT-13B**, and **LLaMA-13B** [2305.10626].

The empirical results are unusually strong on embodied tasks. The scope is **18 downstream tasks in total**, with **64.28%** average improvement over base LMs. Representative numbers include **GPT-J plan generation Rouge-L 34.31 \(\rightarrow\) 51.23**, **GPT-J counting accuracy 30.41% \(\rightarrow\) 67.01%**, **GPT-J object path tracking LCS 33.86 \(\rightarrow\) 98.67**, surpassing **ChatGPT 59.53**, **LLaMA-13B object location QA 79.0% vs ChatGPT 67.5% vs base 28.5%**, and **LLaMA-13B counting 79.38% vs ChatGPT 66.49% vs base 29.38%** [2305.10626]. General language ability is largely preserved: Pile perplexity changes only from **3.443 to 3.537** for GPT-J, **4.120 to 4.193** for GPT-Neo, **4.077 to 4.358** for OPT-13B, and **3.036 to 3.069** for LLaMA-13B [2305.10626]. This suggests that the proposal is not merely simulator-assisted prompting, but a form of embodied finetuning intended to internalize object permanence, tracking, and physically grounded planning.

## 3. Wang–Liu–Zhang–Zhao matrix models

In mathematical physics, WLZZ models are a class of matrix-model partition functions originally defined via **\(W\)-representations**—that is, as \(\tau\)-functions annihilated by families of \(W\)/Virasoro-type constraint operators [2507.05406]. In the simplest instances, they are generated by commutative subalgebras of the \(W_{1+\infty}\) algebra, and admit \(\beta\)- and \(q,t\)-deformations realized by commutative subalgebras of the affine Yangian of \(\mathfrak{gl}(1)\) and of the Ding–Iohara–Miki or elliptic Hall algebra, respectively [2507.05406]. The operator formulation distinguishes three branches,
$$
Z^{(+)}(N;\bar p,p)=\exp\Big(\sum_{k>0}\frac{\bar p_k}{k}\,\hat W_k\Big)\cdot 1,
$$
$$
Z^{(0)}(N;p)=\exp(\hat W_0)\cdot e^{\beta p_1},
$$
$$
Z^{(-)}(N;\bar p,p,g)=\exp\Big(\sum_{k>0}\frac{\bar p_k}{k}\,\hat W_{-k}\Big)\cdot \exp\Big(\sum_k\frac{g_k p_k}{k}\Big),
$$
with \(\hat W_0\) the cut-and-join generator and higher \(\hat W_n\) produced recursively by commutators [2507.05406].

A central realization is the interpolating two-matrix integral
$$
Z(N;\bar p,p,g)
=\int[dX\,dY]\exp\Big(-\mathrm{Tr}\,X Y+\mathrm{Tr}\,Y\Lambda+\sum_{k\ge1}\frac{g_k}{k}\mathrm{Tr}\,X^k+\sum_{k\ge1}\frac{\bar p_k}{k}\mathrm{Tr}\,Y^k\Big),
$$
with \(p_k=\mathrm{Tr}\,\Lambda^k\) and normalization \(Z(N;0,0,0)=1\) [2507.05406]. A closely related formulation presents the same object as the interpolating two-matrix model
$$
Z(N;\bar p;\,p;\,g)=\int dX\,dY\;\exp\!\Big(
\mathrm{Tr}(XY)-\mathrm{Tr}(Y\Lambda)+\sum_{k\ge1} g_k\,\mathrm{Tr}(X^k)+\sum_{k\ge1} \bar p_k\,\mathrm{Tr}(Y^k)
\Big),
$$
with \(X\) Hermitian, \(Y\) anti-Hermitian, and \(p_k=\mathrm{Tr}\,\Lambda^k\), understood as a formal power series in the times [2301.04107]. Specializations recover the positive branch, the negative branch, and the \(m=2\) one-matrix reduction after integrating out the auxiliary matrix [2301.04107].

The matrix-model realization is accompanied by a pronounced **superintegrability** structure. If all \(x\)- and \(y\)-contours pass through the origin, the partition function equals the Schur expansion
$$
Z(N;\bar p,p,g)=\sum_{R,Q}\frac{\xi_R(N)}{\xi_Q(N)}\,S_{R/Q}\{\bar p\}\,S_R\{g\}\,S_Q\{p\},
$$
with
$$
\xi_R(N)=\prod_{(i,j)\in R}(N+j-i),
$$
while the interpolating WLZZ models more generally appear as **skew hypergeometric \(\tau\)-functions** built from skew Schur functions \(S_{R/Q}\) and content factors \(\prod_{(i,j)\in R/Q}f(j-i)\) [2507.05406]. This places WLZZ matrix models at the intersection of two-matrix integrals, cut-and-join operators, Schur expansions, and 2D Toda integrability.

## 4. Spectral curves, commutative rays, and generalized \( \widetilde W \) algebras

A major strand of the WLZZ literature studies the hidden integrable structure behind these partition functions. The guiding statement is that the relevant Hamiltonians lie on **integer slope rays** in \(W_{1+\infty}\), and that each ray gives a commuting family. The resulting many-body systems include the **rational Calogero model** as the simplest example, while higher rays produce additional integrable systems that had “escaped attention in the past” [2303.05273]. The same framework was then extended to rational rays \((p,q)\), cones, one-body differential operators on a circle, matrix and eigenvalue realizations, bosonic time variables, and \(\beta\)-deformations, with integer rays surviving the \(\beta\)-deformation while rational rays generally do not [2306.06623].

On the spectral side, the key observation is that the spectral curve can be extracted directly from the part of the \(W\)-operator that is linear in time variables, denoted \(\widehat W_{\mathrm{spec}}\) [2210.09993]. In the negative branch one obtains the family
$$
y^{|m|}-zy+N=0,
$$
while the boundary case \(m=0\) yields Lambert or higher Lambert curves, and positive-branch examples produce small-\(N\) algebraic curves such as
$$
(ZY_m)^{1/m}-Z^{m-2}y_m^{\,m-1}-1=0
$$
or, with multiple couplings,
$$
y=\sum_{k=2}^\infty g_k\,\frac{z^{k+1}}{\big(1+z^{\frac{2m-1}{m-1}}y\big)^{\,k-1}}.
$$
The paper emphasizes that for \(m\ge 0\) the relation between topological and \(1/N\) expansions is broken, and that positive-branch WLZZ models are naturally small-\(N\) rather than large-\(N\) objects [2210.09993].

The Ward-identity side is organized by **generalized \( \widetilde W \) algebras**. Each integer ray is associated with a family \(W(m,n)\), and the WLZZ partition functions \(Z^{(m)}\) satisfy generalized Ward identities
$$
W(m,n)\,Z^{(m)} = (n+k)\,\frac{\partial Z^{(m)}}{\partial p_{n+k}},
$$
or equivalently
$$
\Sigma_{k=0}^\infty p_k W(m,n)_{k-n} Z^{(m)} = 0
$$
[2311.17738]. A later formulation expresses the ray Hamiltonians as
$$
H_n^{(m)}=\operatorname{tr}\big((\Lambda\partial_\Lambda)^m\Lambda\big)^n,\qquad
H_{-n}^{(-m)}=\operatorname{tr}\big(\Lambda^{-1}(\Lambda\partial_\Lambda)^m\big)^n,
$$
with partition functions
$$
Z^{(m)}_n(\mathbf p)=\exp\!\left(\frac{1}{n}H_n^{(m)}\right)\cdot 1,
$$
and conjectural full Ward identities
$$
\widetilde W^{(m,n)}_k\,Z^{(m)}_n=(k+n)\,\frac{\partial Z^{(m)}_n}{\partial p_{k+n}}
$$
for \(k+n\ge 1\) [2406.13624]. The vertical ray acts diagonally on Schur functions and yields hypergeometric KP/Toda \(\tau\)-functions, while the \(m=1\) and vertical families coincide with the rational and trigonometric Calogero–Sutherland Hamiltonians, respectively [2311.17738]. This suggests that the phrase “WLZZ models” in this literature denotes not just a family of partition functions, but an entire operator-theoretic infrastructure linking \(W_{1+\infty}\), cut-and-join recursions, generalized Ward identities, and Calogero-type commuting Hamiltonians.

## 5. \(\beta\)-deformations, \(\beta\)-ensembles, and phase structure

The \(\beta\)-deformed WLZZ models replace Schur technology by Jack-polynomial technology and admit a two-\(\beta\)-ensemble realization [2403.05965]. The central partition function is
$$
Z^{(\beta)}(N; \bar p, p, g)
= \int[dx\,dy] \Delta(x)^{2\beta}\Delta(y)^{2\beta} I_\beta(x,-y) I_\beta(\lambda,y)
\exp\!\Big(\sum_k g_k \sum_j x_j^k + \sum_k \bar p_k \sum_j y_j^k\Big),
$$
with \(p_k=\sum_j \lambda_j^k\), \(I_\beta\) the \(\beta\)-deformed HCIZ kernel, and normalization \(Z^{(\beta)}(N;0,0,0)=1\) [2403.05965]. The same object equals the Jack expansion
$$
Z^{(\beta)}(N; \bar p, p, g)=\sum_{R,P}\xi_R^{(\beta)}(N)^{-1}J_{R/P}\{\bar p_k\}J_R\{g_k\}J_P\{p_k\},
$$
with Jack norms and \(\xi_R^{(\beta)}(N)\) determined explicitly by partition data [2403.05965]. The \(\beta\)-deformed HCIZ kernel is governed by Dunkl operators
$$
\hat D_{j,y}=\frac{\partial}{\partial y_j}+\beta\sum_{k\neq j}\frac{1}{y_j-y_k}(1-P_{jk}),
$$
and satisfies the key identity
$$
(-\beta)^{-m}\sum_j y_j^m \hat D_{j,y}^n I_\beta(x,-y)
=
(-\beta)^{-n}\sum_j x_j^n \hat D_{j,x}^m I_\beta(x,-y),
$$
which underlies the \(\beta\)-deformed Ward identities [2403.05965].

Direct evaluation of these \(\beta\)-ensemble integrals shows that more than one contour choice is possible [2404.18843]. In particular, the scalar product with \(x\in \mathbb R\), \(y\in i\mathbb R\) is equal to the scalar product with \(x,y\in [0,\infty)\), and the proof uses a Macdonald-conjecture-type integral transform together with Jack orthogonality [2404.18843]. This contour ambiguity becomes still richer in the cubic two-matrix theory. For the **unshifted** cubic WLZZ model, the solution space of the Ward identities is a **single point** in the graded power-series ansatz, and the integral is nonzero only if all \(x\)- and \(y\)-contours pass through the origin; otherwise it vanishes [2507.05406]. For **shifted** models, obtained for example by \(p_m\to p_m+\alpha^m\), the single master equation acquires extra lower-grading operators, the number of free parameters increases, and nonperturbative phases are encoded by **Lefschetz thimbles** [2507.05406].

The explicit \(N=1\), \(m=2\) example makes the phase structure concrete. The model
$$
Z_{3,2}(p)=\iint dx\,dy\,\exp\Big(-xy+\frac{\alpha^2}{2}y^2+\frac{x^3}{3}+\sum_k\frac{p_k}{k}y^k\Big)
$$
has a two-dimensional solution space parameterized by contour weights \((\beta_1,\beta_2)\), with two saddle contributions \(F^{(x_1,y_1)}\) and \(F^{(x_2,y_2)}\); the second saddle is exponentially suppressed as \(\alpha\to 0\), exhibiting a Stokes phenomenon [2507.05406]. A plausible implication is that \(\beta\)-deformation and contour choice are not auxiliary technicalities but part of the nonperturbative definition of the WLZZ matrix-model series.

## 6. \(M_W\)- and \(Z^\prime\)-selected WLZZ models in flavor phenomenology

A separate usage of the term appears in flavor phenomenology, where WLZZ denotes models in which the \(W\) mass and a heavy \(Z^\prime\) are jointly used to explain the \(b \rightarrow s \ell \ell\) anomalies [2205.12252]. The gauge extension is
$$
U(1)_X,\qquad X=s\,Y_3+t\,(B_3-L_3),
$$
with \(s\in\mathbb N\), \(t\in\mathbb Z\), and anomaly freedom ensured by the inclusion of a right-handed neutrino \(\nu_3\) [2205.12252]. After the standard permutation that assigns the non-zero left-handed lepton charge to the second family, the charges are
$$
X_{q_3}=s+t,\quad X_{u_3}=4s+t,\quad X_{d_3}=-2s+t,\quad
X_{\ell_2}=-3s-3t,\quad X_H=3s,
$$
with all other fermions uncharged [2205.12252]. The Higgs charge \(X_H=3s\) induces tree-level \(Z\)–\(Z^\prime\) mass mixing,
$$
\sin\alpha_z=\frac{2X_H g_X}{g/c_w}\frac{M_Z^2}{M_{Z^\prime}^2},
$$
and therefore a positive shift in
$$
\rho_0 \approx 1 + \frac{4 X_H^2 g_X^2}{g^2 + g'^2}\frac{M_Z^2}{M_{Z^\prime}^2},
$$
which raises \(M_W\) [2205.12252].

Flavor violation is introduced through a single left-handed down-quark mixing angle \(\theta_{sb}\), giving
$$
g_{bs}^L \approx -\frac{1}{2}g_X X_{q_3}\sin 2\theta_{sb},
$$
and generating the Wilson coefficients \(C_9^{\mu\mu}\), \(C_{10}^{\mu\mu}\), and \(C_{10}^{ee}\) required by the global \(b\to s\mu\mu\) fits [2205.12252]. Including the CDF II \(M_W\) value
$$
M_W = 80.4133 \pm 0.0080\ \mathrm{GeV},
$$
the paper performs a two-parameter global fit to **277 observables** using **smelli**, **flavio**, and **wilson**, and finds that the original \(Y_3\) model \((s,t)=(1,0)\) is somewhat disfavoured, while the generalized models prefer
$$
-5 < t/s < -2
$$
with global \(p\)-values above **0.05** [2205.12252]. A concrete example is \(s=1\), \(t=-3\), which yields a global \(p\)-value of **0.12**, compared with the Standard Model value \(5\times 10^{-6}\) [2205.12252]. In this usage, WLZZ does not denote a matrix model or a language-model architecture, but a flavor-gauge construction selected simultaneously by electroweak precision data and semileptonic \(B\)-anomaly observables.

## 7. \(W^\pm ZZ\) collider usage

In collider phenomenology, **WLZZ** is also used as shorthand for **\(W^\pm ZZ\) production**, not for a standalone model class [1507.03693]. The process
$$
pp \to W^\pm ZZ
$$
with subsequent leptonic decays probes both the \(WWZ\) triple gauge coupling and the \(WWZZ\) quartic gauge coupling. The cited calculation evaluates **NLO QCD + NLO EW** corrections at the **14 TeV LHC**, using an improved narrow width approximation that retains off-shell contributions and spin correlations through **MadSpin**, with **NNPDF2.3QED** PDFs, a mixed \(G_\mu/\alpha(0)\) electroweak scheme, and the scale choice
$$
\mu_R=\mu_F=\mu_0=\tfrac12 M_W + M_Z
$$
[1507.03693].

The numerical results are sizable. In the jet-veto event selection scheme with \(p_{T,\mathrm{jet}}^{\mathrm{cut}}=50\ \mathrm{GeV}\), the **NLO QCD+EW relative corrections** to the integrated cross section are **20.5%** for \(W^+ZZ\) and **31.1%** for \(W^-ZZ\), while the **genuine NLO EW relative corrections** are **\(-5.42\%\)** and **\(-4.58\%\)**, respectively [1507.03693]. The inclusive corrections are much larger, with \(K\)-factors of approximately **2.56** for \(W^+ZZ\) and **2.87** for \(W^-ZZ\), driven largely by real light-quark emission and \(qg\) channels [1507.03693]. The study also emphasizes that the LO scale uncertainty, about **1.6%**, is artificially small because \(\alpha_s\) does not enter the LO matrix elements, whereas NLO results provide more realistic uncertainty bands [1507.03693].

This collider usage is terminologically distinct from the AI, matrix-model, and flavor-phenomenology usages. It nevertheless illustrates how the same four-letter label can denote either a model family or a physical production channel depending on disciplinary context.

Source: https://www.emergentmind.com/topics/wlzz-models