Existence conjecture for Johnson statistics

Let L=Za1\mathcal{L}=\mathbb{Z}^{a-1} be the weight lattice, let R\mathcal{R} be its root sublattice, and let T(x1,,xa1)=x1+2x2++(a1)xa1\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:RZ\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 xR\mathbf{x}\in\mathcal{R} and yL\mathbf{y}\in\mathcal{L}, and

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

for every b0b\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.

Sources & referencesView supporting material

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.