Orthogonality conjecture for half-space six-vertex symmetric functions

Let qq, aa, and Y=(y1,y2,)Y=(y_1,y_2,\dots) be the parameters of the half-space six-vertex model, and let FκF_{\kappa} be the associated symmetric function indexed by a finite subset κ\kappa. Fix a finite subset ν=ν1>>νn1\nu=\\{\nu_1>\cdots>\nu_n\geq 1\\} and a second finite subset κ\kappa with κn|\kappa|\leq n. Let C\mathcal C be a small positively oriented circle surrounding all points yj1y_j^{-1}, j1j\geq1, and no other singularities of the integrand, such that qCq\cdot\mathcal C is disjoint from the interior of C\mathcal C.

Orthogonality conjecture. In the limit cc\to\infty,

Cdw12πiCdwn2πi1i<jn[wjwiqwjwi1qwiwj1wiwj]i=1n[wiawi(1awi)1qwi21wi2yνi1qwiyνij1νi11wiyj1qwiyj]Fκ(w1,,wn)=δκ,ν.\oint_{\mathcal C}\frac{\mathrm{d}w_1}{2\pi\mathrm{i}}\cdots\oint_{\mathcal C}\frac{\mathrm{d}w_n}{2\pi\mathrm{i}}\prod_{1\leq i<j\leq n}\left[\frac{w_j-w_i}{qw_j-w_i}\frac{1-qw_iw_j}{1-w_iw_j}\right]\prod_{i=1}^{n}\left[\frac{w_i-a}{w_i(1-aw_i)}\frac{1-qw_i^2}{1-w_i^2}\frac{y_{\nu_i}}{1-qw_i y_{\nu_i}}\prod_{j-1}^{\nu_i-1}\frac{1-w_i y_j}{1-qw_i y_j}\right]F_{\kappa}(w_1,\dots,w_n)=\delta_{\kappa,\nu}.

This would provide an integral orthogonality relation for the symmetric functions arising from the half-space six-vertex model. The source presents it as conjectural evidence that these functions have orthogonality properties analogous to those of related multivariate rational functions; no resolution is supplied.

Sources & referencesView supporting material

Primary source

Alexandr Garbali, Jan de Gier, William Mead and Michael Wheeler, “Symmetric functions from the six-vertex model in half-space”, arXiv:2312.14348 (2024).

Additional references

2 papers in this index state this conjecture (2016–2023). The statement above is taken from the most recent of them; the others are arXiv:1606.05243.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.