---
title: q-Racah Probability Measure
url: https://www.emergentmind.com/topics/q-racah-probability-measure
type: topic
---

# q-Racah Probability Measure

The q-Racah probability measure is, in its most standard sense, the normalized finite discrete orthogonality measure for the q-Racah polynomials on a q-quadratic lattice. In adjacent literatures, the same underlying weight appears as the one-body weight of the q-Racah orthogonal polynomial ensemble, as the squared ground-state vector of a finite Jacobi operator in discrete quantum mechanics, and as the endpoint spectral measure of certain exactly solvable XX spin chains. The central structural feature is finiteness: after the truncation \(\gamma=q^{-N-1}\), the measure is supported on \(N+1\) points, typically written either as lattice indices \(x=0,1,\dots,N\) or as spectral points \(q^{-x}+\gamma\delta q^{x+1}\) [1903.06159] [2512.12419] [1102.0812].

## 1. Finite q-Racah orthogonality measure

In the standard one-variable formulation, the q-Racah weight is a finite discrete weight on \(x=0,1,\dots,M\), with \(\gamma=q^{-M-1}\), quadratic-lattice variable
\[
\sigma(q^{-x})=q^{-x}+\gamma\delta q^{x+1},
\]
and one-body weight
\[
\omega^{\textup{qR}}(x)=\frac{(\alpha q,\beta\delta q,\gamma q,\gamma \delta q;q)_x}{(q,\alpha^{-1}\gamma \delta q, \beta^{-1}\gamma q, \delta q;q )_x}\,
\frac{1-\gamma\delta q^{2x+1}}{(\alpha \beta q)^{x}(1-\gamma\delta q)}.
\]
If \(P_n\) denotes the monic orthogonal polynomial of degree \(n\) in the variable \(\sigma(q^{-x})\), then
\[
\sum_{x=0}^M \omega^{\textup{qR}}(x)\,P_m\!\left(\sigma(q^{-x})\right)P_n\!\left(\sigma(q^{-x})\right)=c_n\,\delta_{mn}.
\]
This is the finite q-Racah orthogonality relation in the form used for the q-Racah ensemble [1903.06159].

A second standard parametrization is the discrete-quantum-mechanical one. There the support is again finite, \(x=0,1,\dots,N\), and the orthogonality weight is the squared ground-state vector
\[
\phi_0(x;\boldsymbol{\lambda})^2=
\frac{(a,b,c,d;q)_x}{(a^{-1}dq,b^{-1}dq,c^{-1}dq,q;q)_x\,\tilde d^{\,x}}
\frac{1-dq^{2x}}{1-d},
\qquad
\tilde d=abcd^{-1}q^{-1}.
\]
The associated q-Racah polynomials satisfy
\[
\sum_{x=0}^{N}\phi_0(x;\boldsymbol{\lambda})^2\,P_n(x;\boldsymbol{\lambda})P_m(x;\boldsymbol{\lambda})
=\frac{1}{d_n(\boldsymbol{\lambda})^2}\,\delta_{nm}.
\]
Since \(P_0(x;\boldsymbol{\lambda})=1\), normalization gives a genuine probability measure whenever the weight is nonnegative:
\[
\mathbb P(X=x)=d_0(\boldsymbol{\lambda})^2\,\phi_0(x;\boldsymbol{\lambda})^2.
\]
The same paper identifies this parametrization with conventional q-Racah notation through
\[
P_n(x;\boldsymbol{\lambda})
=
R_n\!\left(1+d+\eta(x;\boldsymbol{\lambda});\,aq^{-1},\,\tilde d a^{-1},\,cq^{-1},\,dc^{-1}\mid q\right),
\]
with
\[
\eta(x;\boldsymbol{\lambda})=(q^{-x}-1)(1-dq^x).
\]
This shows that the orthogonality measure is standard q-Racah in substance, even when written as \(\phi_0(x)^2\) [1102.0812].

| Object | Support | Weight data |
|---|---|---|
| Standard q-Racah orthogonality measure | \(x=0,\dots,M\) or \(\pi_x=\sigma(q^{-x})\) | \(\omega^{\textup{qR}}(x)\) |
| rdQM form | \(x=0,\dots,N\) | \(\phi_0(x;\boldsymbol{\lambda})^2\) |
| q-Racah ensemble | \(0\le \lambda_1<\cdots<\lambda_N\le M\) | Vandermonde\(^2\)\(\times\prod_i\omega^{\textup{qR}}(\lambda_i)\) |

## 2. Recurrence, Jacobi matrices, and spectral meaning

The finite q-Racah measure is equivalently the spectral measure of a finite Jacobi matrix. In the recurrence normalization used for q-Racah-type XX chains,
\[
\lambda_x R_n(x)=A_nR_{n+1}(x)+B_nR_n(x)+C_nR_{n-1}(x),
\qquad
\lambda_x=q^{-x}+\gamma\delta q^{x+1},
\]
with
\[
A_n=\frac{(1-\alpha q^{n+1})(1-\alpha\beta q^{n+1})(1-\beta\delta q^{n+1})(1-\gamma q^{n+1})}{(1-\alpha\beta q^{2n+1})(1-\alpha\beta q^{2n+2})},
\]
\[
C_n=\frac{q(1-q^{n})(1-\beta q^{n})(\gamma-\alpha\beta q^{n})(\delta-\alpha q^{n})}{(1-\alpha\beta q^{2n})(1-\alpha\beta q^{2n+1})},
\qquad
B_n=-A_n-C_n+1+\gamma\delta q.
\]
Under the finite truncation
\[
0<q<1,\qquad \gamma=q^{-N-1},
\]
the support becomes
\[
\lambda_x=q^{-x}+\delta q^{x-N},\qquad x=0,1,\dots,N.
\]
This is the finite q-Racah lattice underlying the measure [2512.12419].

In discrete quantum mechanics, the same structure is encoded by a tridiagonal Hamiltonian
\[
\mathcal{H}_{x,y}
=
-\sqrt{B(x)D(x+1)}\,\delta_{x+1,y}
-\sqrt{B(x-1)D(x)}\,\delta_{x-1,y}
+(B(x)+D(x))\delta_{x,y},
\]
with eigenvectors \(\phi_n(x)=\phi_0(x)P_n(x)\). The orthogonality measure is therefore exactly the square of the ground state, and the q-Racah polynomials are the polynomial part of the eigenbasis [1102.0812].

This spectral interpretation becomes especially concrete in the inhomogeneous XX chain of q-Racah type. There the one-excitation Hamiltonian is a Jacobi matrix with entries
\[
J_n=\mu\sqrt{A_{n-1}C_n},\qquad b_n=\mu B_n,
\]
and spectrum
\[
\epsilon_x=\mu\lambda_x=\mu\bigl(q^{-x}+\delta q^{x-N}\bigr),\qquad x=0,1,\dots,N.
\]
The endpoint spectral measure is
\[
\mu_{e_0}=\sum_{s=0}^N \pi_s\,\delta_{\epsilon_s},
\qquad
\pi_s=\bigl|\langle e_0,\psi_s\rangle\bigr|^2,
\]
and these \(\pi_s\) are exactly the normalized q-Racah orthogonality weights. In this sense, the q-Racah probability measure is the physically relevant probability distribution of endpoint spectral mass in the one-excitation sector [2512.12419].

## 3. Positivity and normalization regimes

The finite q-Racah measure is algebraically defined by orthogonality, but positivity is parameter-dependent. For the q-Racah ensemble, a concrete admissibility regime is
\[
M \geq N-1 \geq 0,\qquad 1>q>0,\qquad \alpha,\beta>0,\qquad \delta \geq 0,
\]
\[
\gamma=q^{-M-1},\qquad 1>\beta\delta,\qquad \beta\geq \gamma,\qquad \alpha\geq \gamma.
\]
Under these hypotheses the q-Racah ensemble weights are nonnegative on the whole configuration space [1903.06159].

In the rdQM parametrization, a positive range used for the ordinary q-Racah system is
\[
a=q^{-N},\qquad 0<ab<d<1,\qquad qd<c<1.
\]
The corresponding finite weight \(\phi_0(x;\boldsymbol{\lambda})^2\) is then positive on \(x=0,1,\dots,N\) [1102.0812].

For q-Racah spin chains, positivity is reformulated in Jacobi-matrix language. The physically relevant condition is
\[
A_{n-1}C_n>0,
\]
so that \(J_n=\mu\sqrt{A_{n-1}C_n}\) is real. In the first persymmetric q-Racah regime,
\[
\alpha\beta q^{N+1}=-1,\qquad \delta=\alpha^2 q^{N+1},
\]
the paper states that positivity of \(J_n^2\) requires
\[
\alpha^2 q^{2n}<1,\qquad 1\le n\le N.
\]
This does not change the nature of the measure; it restricts the admissible parameter set [2512.12419].

A recurrent point in the literature is that many papers present the orthogonality weight rather than a normalized probability law. The probability measure is then obtained by dividing by total mass. In the ordinary q-Racah case this normalization is immediate because \(P_0\equiv1\), and in the rdQM notation it is encoded by the factor \(d_0(\boldsymbol{\lambda})^2\) [1102.0812].

## 4. Orthogonal polynomial ensembles and integrable probability

The q-Racah probability measure also appears as the one-body input of a discrete orthogonal polynomial ensemble. On ordered \(N\)-tuples
\[
\mathfrak{X}^N=\{(\lambda_1,\dots,\lambda_N)\in\mathbb Z^N:0\le \lambda_1<\cdots<\lambda_N\le M\},
\]
the q-Racah ensemble is
\[
\mathbb{P}^{\textup{qR}}(\lambda_1,\dots,\lambda_N)
=
\frac{1}{Z(N,M,\alpha,\beta,\gamma,\delta,q)}
\prod_{1\le i<j\le N}
\left(\sigma(q^{-\lambda_i})-\sigma(q^{-\lambda_j})\right)^2
\prod_{i=1}^{N}\omega^{\textup{qR}}(\lambda_i),
\]
with
\[
\sigma(z)=z+\gamma\delta q z^{-1}.
\]
Thus the pair interaction is the squared Vandermonde in the quadratic-lattice variable, not directly in \(\lambda\). The orthogonal polynomials associated with this weight are the q-Racah orthogonal polynomials [1903.06159].

A distinguished observable is the one-interval gap probability
\[
D_s=\operatorname{Prob}\!\left(\max\{\pi_i\}_{i=1}^N<\pi_s\right)=\det(1-K_s),
\]
where \(\pi_x=\sigma(q^{-x})\). In this setting the q-Racah ensemble is linked to the discrete Painlevé equation
\[
q\text{-}P\!\left(E_7^{(1)}/A_1^{(1)}\right),
\]
and the same analysis yields a Lax pair with an additional involutive symmetry structure [1903.06159].

A geometrically richer probabilistic realization arises from q-Racah weighted lozenge tilings of a hexagon. For each fixed vertical slice, the white-particle coordinates form a q-Racah ensemble with weight
\[
\prod_{1\le i<j\le \mathbf a}\bigl(\nu(y_i)-\nu(y_j)\bigr)^2\prod_{j=1}^{\mathbf a}w(y_j),
\qquad
\nu(y)=\mathbf q^{-y}+\gamma\delta \mathbf q^{y+1}.
\]
In the scaling regime
\[
\mathbf a=n,\qquad \mathbf b=nb,\qquad \mathbf c=nc,\qquad \mathbf q=q^{1/n},
\]
the height function concentrates near a deterministic limit shape, and global fluctuations are described by the Gaussian Free Field. The analysis is driven by the asymptotics of the explicitly known q-Racah recurrence coefficients [2311.13407].

## 5. Exceptional, multi-indexed, and multivariate extensions

The ordinary q-Racah weight admits several deformations that preserve finite orthogonality but modify the measure. For the exceptional \(X_\ell\) q-Racah family, the support becomes
\[
x=0,1,\dots,N-\ell,
\]
and the orthogonality weight is
\[
\psi_\ell(x;\boldsymbol{\lambda})^2
=
\phi_0(x;\boldsymbol{\lambda}+\ell\boldsymbol{\delta})^2
\frac{\xi_\ell(1;\boldsymbol{\lambda})}{\xi_\ell(x;\boldsymbol{\lambda})\xi_\ell(x+1;\boldsymbol{\lambda})}.
\]
The deforming polynomial \(\xi_\ell\) is positive on the relevant lattice in the admissible range, and the exceptional family remains a complete orthogonal system even though its lowest-degree member has degree \(\ell\), not degree \(0\) [1102.0812].

For multi-indexed q-Racah polynomials, the deformed weight is
\[
w_{\mathcal D}(x)
=
\frac{\Xi_{\mathcal D}(1;\boldsymbol{\lambda})}
{\Xi_{\mathcal D}(x;\boldsymbol{\lambda})\Xi_{\mathcal D}(x+1;\boldsymbol{\lambda})}
\,\phi_0(x;\boldsymbol{\lambda}+M\boldsymbol{\delta})^2,
\qquad x=0,\dots,N.
\]
The same framework also produces dual multi-indexed q-Racah polynomials, whose dual orthogonality measure lives on the degree lattice and has weights proportional to \(d_{\mathcal D,n}(\boldsymbol{\lambda})^2\Xi_{\mathcal D}(1;\boldsymbol{\lambda})\). In this dualized form the polynomials are ordinary orthogonal polynomials and Krall-type [1804.10352] [1805.00345].

Multivariate q-Racah measures are equally standard. The Gasper–Rahman multivariate q-Racah polynomials are orthogonal on the simplex
\[
W_M=\{y\in\mathbb N^s:0\le y_1\le y_2\le \cdots \le y_s\le M\}
\]
with respect to a discrete weight \(\chi^{(\beta)}(y)\). The same weight appears representation-theoretically as the measure induced by squared overlap coefficients between two orthonormal coupling bases for positive-discrete series representations of \(su_q(1,1)\) [1702.04626].

A different multivariate direction is provided by bivariate Griffiths polynomials of q-Racah type. There the univariate building block is the normalized q-Racah weight
\[
w^{(qR)}_N(x;c_1,c_2,c_3)=\Omega(x;c_3,c_2,c_1;N),
\]
the Tratnik polynomials have a genuine orthogonality weight on the triangular lattice \(x,y\ge0\), \(x+y\le N\), while the new Griffiths family is generally biorthogonal rather than orthogonal. Accordingly, it does not come with a single canonical probability measure in full generality [2407.17016].

## 6. Related but distinct uses of the term

The phrase “q-Racah probability measure” is not used uniformly. In the q-Racah XX-chain paper, the recurrence coefficients, spectral grid, and Jacobi data are given explicitly, but the paper does not write an orthogonality sum with weights \(w_s\) and does not explicitly use the phrase “q-Racah probability measure.” The measure is inferred from standard finite q-Racah orthogonality theory. The same paper also separates standard q-Racah from para q-Racah: its second persymmetric regime no longer uses the standard q-Racah measure directly, but passes to para q-Racah by a limiting procedure [2512.12419].

An even sharper distinction is provided by the “q-Racah probability distribution”
\[
P_{n,m,k,l;q}
\]
introduced for Grassmannians over \(\mathbb F_q\). This is a finite probability distribution on \(\{0,1,\dots,m\}\) whose probability mass function is expressed by a single q-Racah polynomial and whose cumulative distribution function is expressed by a terminating \({}_4\phi_3\). The paper proves positivity by representation-theoretic arguments, and explicitly notes that the q-Racah parameters in the pmf lie outside the usual orthogonality region. This is therefore a probabilistic object encoded by q-Racah polynomials, but not the same as the normalized q-Racah orthogonality weight [2311.09992].

A neighboring but distinct family is the q-generalized para-Racah system. Its orthogonality measure is supported on a q-quadratic bi-lattice rather than on the single q-Racah lattice. Only in the special persymmetric case
\[
\alpha=\frac12,\qquad c=aq^{1/2},
\]
does the bi-lattice collapse to a single lattice, and the polynomials reduce to monic q-Racah polynomials with base \(q^{1/2}\). This boundary case clarifies that para-q-Racah and q-Racah measures are related but not identical objects [1708.03368].

In summary, the most stable meaning of the q-Racah probability measure is the normalized finite discrete orthogonality weight of the q-Racah polynomials. Around that core lie several compatible reinterpretations—Jacobi spectral measures, orthogonal polynomial ensembles, multivariate overlap measures, and deformed exceptional or multi-indexed weights—as well as distinct probabilistic distributions merely expressed in q-Racah functions.

Source: https://www.emergentmind.com/topics/q-racah-probability-measure