Orthogonality conjecture for half-space six-vertex symmetric functions

About 10 years old · traced to

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>⋯>νn≥1\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 yj−1y_j^{-1}, j≥1j\geq1, and no other singularities of the integrand, such that q⋅Cq\cdot\mathcal C is disjoint from the interior of C\mathcal C.

Orthogonality conjecture. In the limit c→∞c\to\infty,

∮Cdw12πi⋯∮Cdwn2πi∏1≤i<j≤n[wj−wiqwj−wi1−qwiwj1−wiwj]∏i=1n[wi−awi(1−awi)1−qwi21−wi2yνi1−qwiyνi∏j−1νi−11−wiyj1−qwiyj]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.

References

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.