arXiv++ Combinatorics

For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite $\mathcal{R}$-module $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathcal{R}/π^{λ_i}\mathcal{R})^{ρ_i}$, where $\mathcal{R}$ is a discrete valuation ring, with maximal ideal generated by a uniformizing element $π$, having finite residue field ${\bf k}=\mathcal{R}/π\mathcal{R}\cong \mathbb{F}_q$, the number of orbits of pairs $n_{\underlineλ}(q)= \mid \mathcal{G}_{\underlineλ}\backslash \big(\mathcal{A}_{\underlineλ}\times \mathcal{A}_{\underlineλ}\big)\mid$ for the diagonal action of the automorphism group $\mathcal{G}_{\underlineλ}= Aut(\mathcal{A}_{\underlineλ})$, is a polynomial in $q$ with integer coefficients. Positivity conjecture states that these coefficients are in fact non-negative. In this article, we prove this conjecture.