Rigorous proof or refutation of the general-rank basic hypergeometric sum/integral identity and multi-spin IRF Yang-Baxter solution of Gahramanov and Jafarzade

Gahramanov and Jafarzade conjectured a higher-rank basic hypergeometric sum/integral identity - the transformation property of the three-dimensional superconformal index of $SU(n)$ super-QCD with $2n$ flavor pairs under Aharony-Seiberg duality - and, from it, a multi-spin solution of the interaction-round-a-face (IRF) Yang-Baxter equation, equivalently of the star-star relation, for arbitrary component number $n$. Only the univariate case $n=2$, the $W(E_7)$ transformation of the V-function, is proven; the authors state explicitly that they 'just conjecture the solution' without carrying out detailed computations, and the normalizing function $k_n$ is specified only for $n=2$. The open problem is to complete the formulation (explicit normalizer, product ranges, measure, contours, and convergence conventions for $n>2$) and then rigorously prove the transformation identity and the Yang-Baxter equation for general $n$, or to produce an explicit counterexample, thereby establishing or refuting the conjectured family of integrable lattice models with discrete and continuous spins.

Background

Two-dimensional lattice models of statistical mechanics are called integrable, or exactly solvable, when their transfer matrices commute; this commutativity is guaranteed by the Yang-Baxter equation (YBE), a functional equation for the Boltzmann weights of the model. In edge-interaction ('Ising-type') models, spins sit on lattice sites and interact along edges through weights $\mathcal{W}_\alpha(\sigma_i,\sigma_j)$, and the YBE reduces to the star-triangle relation, an identity between a sum/integral over a central spin and a product of three edge weights. In interaction-round-a-face (IRF, or face) models the four spins surrounding an elementary square interact through a face weight $\mathbb{R}$, and the face-type YBE can be rewritten as a star-star relation for edge weights. In models with discrete and continuous spin, each spin variable is a pair $\sigma=(x,m)$ with a continuous component $0\le x<1$ and a discrete component $m\in\mathbb{Z}$, so every spin summation becomes a combined sum over integers and contour integral.

The gauge/YBE correspondence connects such integrability conditions with supersymmetric gauge dynamics: the superconformal index of a three-dimensional $\mathcal{N}=2$ gauge theory (a protected, exactly computable twisted partition function on $S^2\times S^1$, reducible by path-integral localization to a finite matrix integral) is a sum over discrete magnetic fluxes $m_k\in\mathbb{Z}$ and a contour integral over gauge fugacities $z_k$, and the equality of indices for a dual pair of theories becomes an integral identity readable as a star-triangle or star-star relation. The integrands are built from the q-Pochhammer symbol $(z;q)_\infty:=\prod_{i\ge 0}(1-zq^i)$, the basic building block of basic hypergeometric (q-deformed hypergeometric) functions. For super-QCD with gauge group $SU(n)$ and flavor group $SU(2n)\times SU(2n)$, the index is the sum/integral $\mathcal{I}(\{t_j\},\{s_j\})$ of eq. (3.1) of the source paper, and the expected index equality with its Aharony-Seiberg dual (the three-dimensional analogue of Seiberg's four-dimensional infrared duality between gauge theories with different matter content but the same low-energy physics, here an $SU(n)$ theory coupled to $(2n)^2$ mesons) yields the transformation of eq. (3.2): $\mathcal{I}(\{t_j\},\{s_j\})$ equals a product of $(2n)^2$ q-Pochhammer pairs times $\mathcal{I}(\{\tilde t_j\},\{\tilde s_j\})$, under the balancing conditions $\prod_{j=1}^{2n}s_jt_j=q^n$ and $\sum_{j=1}^{2n}(\tau_j+\kappa_j)=0$, with the tilde maps of eqs. (3.3)-(3.4).

For $n=2$ this is the known $W(E_7)$ transformation property (invariance under the Weyl group of the exceptional root system $E_7$) of the V-function of Gahramanov and Spiridonov (a univariate basic hypergeometric sum/integral), derived via q-Bailey chains (iterative applications of a q-hypergeometric summation identity that map the function to a transformed one), and the univariate basic hypergeometric sum/integral identities encoding three-dimensional dualities have rigorous proofs by Gahramanov and Rosengren. Repeating, in this three-dimensional-index setting, the construction that Bazhanov and Sergeev and Bazhanov, Kels and Sergeev carried out for the elliptic gamma function (a doubly q-deformed generalization of the q-Pochhammer symbol governing four-dimensional supersymmetric indices), Gahramanov and Jafarzade conjectured from the transformation (3.2) a face weight $\mathbb{R}$ (their eq. (3.7)) - essentially $\mathcal{I}$ multiplied by the inverse square root of the prefactor and normalized by a factor $\varrho$ built from self-interaction terms $\mathbb{S}$ and a normalizing function $k_n$ - as a multi-spin solution of the face YBE (3.6) and the star-star relation (3.15) for arbitrary component number $n$. They state explicitly that this is a conjecture whose detailed verification was not carried out; notably, the normalizer $k_n$ is specified only for $n=2$. The multivariate elliptic analogues of the needed transformation (those governing supersymmetric indices on the four-dimensional lens spaces $S^3/\mathbb{Z}_r$) have since been proven rigorously by Kels and Yamazaki for the $A_n$ and $BC_n$ root systems, which makes the basic hypergeometric (three-dimensional) case a well-defined remaining gap.

Problem Statement

Prove or refute, for general component number $n$, the conjecture of Gahramanov and Jafarzade. Its two requested results form a single scientific objective: the transformation identity below is exactly the analytic content of the star-star relation, so establishing both establishes the conjectured multi-spin solution of the Yang-Baxter equation, while a counterexample to either at any fixed $n\ge 3$ refutes it.

(1) The basic hypergeometric sum/integral identity. Let $|q|<1$ and let $t_j$, $s_j$ ($j=1,\ldots,2n$) be complex parameters carrying discrete shifts $\tau_j$, $\kappa_j$. Define

$$\mathcal{I}(\{t_j\},\{s_j\})=\sum_{m_1,\ldots,m_n\in\mathbb{Z}}\oint\prod_{k=1}^{n}\prod_{j=1}^{2n}\frac{\Big(q^{1+\frac{\tau_j+m_k}{2}}\frac{1}{t_jz_k};q\Big)_\infty}{\Big(q^{\frac{\tau_j+m_k}{2}}t_jz_k;q\Big)_\infty}\frac{\Big(q^{1+\frac{\kappa_j-m_k}{2}}\frac{z_k}{s_j};q\Big)_\infty}{\Big(q^{\frac{m_k-\kappa_j}{2}}\frac{s_j}{z_k};q\Big)_\infty}\times\frac{\Big(q^{\frac{m_k-m_j}{2}}\frac{z_j}{z_k};q\Big)_\infty}{\Big(q^{1+\frac{m_j-m_k}{2}}\frac{z_k}{z_j};q\Big)_\infty}\prod_{k=1}^{n-1}\frac{dz_k}{z_k},$$

where the last pair factor runs over $1\le j\ne k\le n$ and the remaining gauge fugacity is fixed by $\prod_{k=1}^{n}z_k=1$ (the source writes $n$ gauge fugacities but only $n-1$ differentials; making the implicit product ranges, the constraint, the contours, and the convergence of the flux sums explicit is part of the task, and the case $n=2$ reduces to the known V-function transformation). Prove, or disprove, that under the balancing conditions $\prod_{j=1}^{2n}s_jt_j=q^n$ and $\sum_{j=1}^{2n}(\tau_j+\kappa_j)=0$,

$$\mathcal{I}(\{t_j\},\{s_j\})=\prod_{j,k=1}^{2n}\frac{\Big(q^{1+\frac{\tau_j+\kappa_k}{2}}\frac{1}{t_js_k};q\Big)_\infty}{\Big(q^{\frac{\tau_j+\kappa_k}{2}}t_js_k;q\Big)_\infty}\,\mathcal{I}(\{\tilde t_j\},\{\tilde s_j\}),$$

with $\tilde t_j=(\prod_{j=1}^{2n}t_j)^{1/n}t_j^{-1}$, $\tilde s_j=(\prod_{j=1}^{2n}s_j)^{1/n}s_j^{-1}$, $\tilde\tau_j=\frac{1}{n}\sum_{j=1}^{2n}\tau_j-\tau_j$, and $\tilde\kappa_j=\frac{1}{n}\sum_{j=1}^{2n}\kappa_j-\kappa_j$.

(2) The multi-spin Yang-Baxter solution. Under the parametrization of eqs. (3.8)-(3.12) of the source - spectral parameters $(\boldsymbol{u}|\boldsymbol{U})=(u,u'|U,U')$ with $\eta$ a crossing parameter, and spins $\boldsymbol{a}=(a_1,\ldots,a_n)$, $\boldsymbol{A}=(A_1,\ldots,A_n)$, etc., each spin carrying $n$ continuous and $n$ discrete components, with $t_j=q^{-2(u-v)-2ic_j}$, $t_{n+j}=q^{-2(u'-v')-2ib_j}$, $\tau_j=-2(U-V)-2iC_j$, $\tau_{n+j}=-2(U'-V')-2iB_j$, $s_j=q^{2(u'-v-\eta)+2ia_j}$, $s_{n+j}=q^{2(u-v'-\eta)+2id_j}$, $\kappa_j=2(U'-V-\eta)+2iA_j$, $\kappa_{n+j}=2(U-V'-\eta)+2iD_j$, and $j=1,\ldots,n$ - and with the normalizing function $k_n$ completed for $n>2$ (it is given only for $n=2$, where $k(\alpha)=\exp(-\sum_{\ell\ne 0}e^{4\alpha\ell}/(\ell(q^{\ell}-q^{-\ell})))$), prove, or disprove, that the face weights

$$\mathbb{R}_{\boldsymbol{u|U}\,\boldsymbol{v|V}}\binom{\boldsymbol{a|A}\quad\boldsymbol{b|B}}{\boldsymbol{c|C}\quad\boldsymbol{d|D}} =\varrho\left(\prod_{j,k=1}^{2n}\frac{\Big(q^{1+\frac{\tau_j+\kappa_k}{2}}\frac{1}{t_js_k};q\Big)_\infty}{\Big(q^{\frac{\tau_j+\kappa_k}{2}}t_js_k;q\Big)_\infty}\right)^{-1/2}\mathcal{I}(\{t_i\},\{s_i\}),$$

with $\varrho=\sqrt{\mathbb{S}(\boldsymbol{c|C})\,\mathbb{S}(\boldsymbol{b|B})}/[k_n(\eta-u+v)\,k_n(\eta-u'+v')\,k_n(u'-v)\,k_n(u-v')]$ and $\mathbb{S}(\boldsymbol{x|X})=\frac{1}{2}\left(\prod_{1\le j\ne k\le n}\frac{\Big(q^{1+\frac{X_j-X_k}{2}}\frac{z_k}{z_j};q\Big)_\infty}{\Big(q^{\frac{X_k-X_j}{2}}\frac{z_j}{z_k};q\Big)_\infty}\right)^{-1}$ with $z_j=q^{2ix_j}$ (eq. (3.14) of the source), satisfy the multi-spin IRF Yang-Baxter equation (3.6) - the face-type Yang-Baxter equation for multi-component spins, in which each side is a sum over the intermediate discrete spin $\boldsymbol{H}$ and an integral over the intermediate continuous spin $\boldsymbol{h}$ of a product of three face weights, with the spectral-parameter pairs $(\boldsymbol{u|U},\boldsymbol{v|V})$, $(\boldsymbol{u|U},\boldsymbol{w|W})$, $(\boldsymbol{v|V},\boldsymbol{w|W})$ combined in the two different orders displayed in the source - equivalently, that the underlying edge Boltzmann weights satisfy the star-star relation (3.15).

The answer must retain the source's generality: all $n$, generic continuous and discrete spins, and generic spectral parameters. A valid resolution is either a rigorous proof of (1) and (2) for every $n$ after fixing the precise formulation, or an explicit counterexample at any fixed $n\ge 3$: a certified numerical mismatch of the two sides of the transformation, or an exact mismatch of coefficients in the fugacity power-series expansion, at explicit parameters satisfying the balancing conditions. The $q\to 1$ degenerations and the quantum-algebraic interpretation of the solution, mentioned in the source as further directions, are not part of the problem.

References

1. Ilmar Gahramanov and Shahriyar Jafarzade, "Comments on the multi-spin solution to the Yang-Baxter equation and basic hypergeometric sum/integral identity", Modern Physics Letters A 34 (2019) 1950140, arXiv:1710.09106, DOI 10.1142/S0217732319501402, https://arxiv.org/abs/1710.09106
2. Ilmar Gahramanov and V. P. Spiridonov, "The star-triangle relation and 3d superconformal indices", Journal of High Energy Physics 08 (2015) 040, arXiv:1505.00765, DOI 10.1007/JHEP08(2015)040, https://arxiv.org/abs/1505.00765
3. Ilmar Gahramanov and Hjalmar Rosengren, "Basic hypergeometry of supersymmetric dualities", Nuclear Physics B 913 (2016) 747-768, arXiv:1606.08185, DOI 10.1016/j.nuclphysb.2016.10.004, https://arxiv.org/abs/1606.08185
4. Vladimir V. Bazhanov and Sergey M. Sergeev, "Elliptic gamma-function and multi-spin solutions of the Yang-Baxter equation", Nuclear Physics B 856 (2012) 475-496, arXiv:1106.5874, DOI 10.1016/j.nuclphysb.2011.10.032, https://arxiv.org/abs/1106.5874
5. Vladimir V. Bazhanov, Andrew P. Kels and Sergey M. Sergeev, "Comment on star-star relations in statistical mechanics and elliptic gamma-function identities", Journal of Physics A: Mathematical and Theoretical 46 (2013) 152001, arXiv:1301.5775, DOI 10.1088/1751-8113/46/15/152001, https://arxiv.org/abs/1301.5775
6. Masahito Yamazaki, "New Integrable Models from the Gauge/YBE Correspondence", Journal of Statistical Physics 154 (2014) 895-911, arXiv:1307.1128, DOI 10.1007/s10955-013-0884-8, https://arxiv.org/abs/1307.1128
7. Andrew P. Kels and Masahito Yamazaki, "Elliptic Hypergeometric Sum/Integral Transformations and Supersymmetric Lens Index", SIGMA 14 (2018) 013, arXiv:1704.03159, DOI 10.3842/SIGMA.2018.013, https://arxiv.org/abs/1704.03159
8. Ilmar Gahramanov and Shahriyar Jafarzade, "Integrable Lattice Spin Models from Supersymmetric Dualities", Physics of Particles and Nuclei Letters 15 (2018) 650-667, arXiv:1712.09651, DOI 10.1134/S1547477118060079, https://arxiv.org/abs/1712.09651
9. Masahito Yamazaki, "Integrability as duality: The Gauge/YBE correspondence", Physics Reports 859 (2020) 1-20, arXiv:1808.04374, DOI 10.1016/j.physrep.2020.01.006, https://arxiv.org/abs/1808.04374
10. Andrew P. Kels, "Extended Z-Invariance for Integrable Vector and Face Models and Multi-component Integrable Quad Equations", Journal of Statistical Physics 176 (2019) 1375-1408, arXiv:1812.10893, DOI 10.1007/s10955-019-02346-9, https://arxiv.org/abs/1812.10893
11. Ege Eren, Ilmar Gahramanov, Shahriyar Jafarzade and Gonenc Mogol, "Gamma function solutions to the star-triangle equation", Nuclear Physics B 963 (2021) 115283, arXiv:1912.12271, DOI 10.1016/j.nuclphysb.2020.115283, https://arxiv.org/abs/1912.12271
12. Erdal Catak, Ilmar Gahramanov and Mustafa Mullahasanoglu, "Hyperbolic and trigonometric hypergeometric solutions to the star-star equation", The European Physical Journal C 82 (2022) 789, arXiv:2107.06880, DOI 10.1140/epjc/s10052-022-10661-x, https://arxiv.org/abs/2107.06880
13. Mustafa Mullahasanoglu, "The star-square relation and the generalized star-triangle relation from 3d supersymmetric dualities I", The European Physical Journal Plus 139 (2024) 643, arXiv:2306.13581, DOI 10.1140/epjp/s13360-024-05444-0, https://arxiv.org/abs/2306.13581
14. Ilmar Gahramanov, "Integrability from supersymmetric duality: a short review", Analysis and Mathematical Physics 16 (2026) 98, arXiv:2201.00351, DOI 10.1007/s13324-026-01224-4, https://arxiv.org/abs/2201.00351