Existence conjecture for Johnson statistics

At least 1 year old · documented by

Let L=Za−1\mathcal{L}=\mathbb{Z}^{a-1} be the weight lattice, let R\mathcal{R} be its root sublattice, and let T(x1,…,xa−1)=x1+2x2+⋯+(a−1)xa−1\mathsf{T}(x_1,\ldots,x_{a-1})=x_1+2x_2+\cdots+(a-1)x_{a-1}. A Johnson statistic is a function J:R→Z\mathsf{J}:\mathcal{R}\to\mathbb{Z} such that

J(x+ay)=J(x)+aT(y)\mathsf{J}(\mathbf{x}+a\mathbf{y})=\mathsf{J}(\mathbf{x})+a\mathsf{T}(\mathbf{y})

for x∈R\mathbf{x}\in\mathcal{R} and y∈L\mathbf{y}\in\mathcal{L}, and

Cat⁡(a,b)q=∑x∈R∩bΔqJ(x)\operatorname{Cat}(a,b)_q=\sum_{\mathbf{x}\in\mathcal{R}\cap b\Delta}q^{\mathsf{J}(\mathbf{x})}

for every b≥0b\geq0 coprime to aa. Johnson statistic existence conjecture. There exists at least one Johnson statistic for each value of aa. Such a statistic would provide a direct lattice-point generating-function interpretation of rational qq-Catalan numbers; the source presents the conjecture as open and gives indirect evidence.

References

Primary source

Drew Armstrong, “Lattice Points and Rational q-Catalan Numbers”, arXiv:2403.06318 (2026).

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.