The switching-rook-polynomial conjecture for polyominoes

From papers

Let P\mathcal{P} be a collection of cells, let K[P]\mathbb{K}[\mathcal{P}] denote its coordinate ring, and let r(P)r(\mathcal{P}) be its rook number. Define the switching rook polynomial by

r~P(t):=j=0r(P)r~j(P)tj,\widetilde{r}_{\mathcal{P}}(t):=\sum_{j=0}^{r(\mathcal{P})}\widetilde{r}_j(\mathcal{P})t^j,

where r~0(P)=1\widetilde{r}_0(\mathcal{P})=1 and r~j(P)\widetilde{r}_j(\mathcal{P}) is the number of equivalence classes of jj-rook configurations under the switching equivalence relation.

Switching-rook-polynomial conjecture. The hh-polynomial of K[P]\mathbb{K}[\mathcal{P}] is equal to r~P(t)\widetilde{r}_{\mathcal{P}}(t), and its regularity is equal to r(P)r(\mathcal{P}).

This conjecture combines proposed formulas for the Hilbert series and regularity of coordinate rings of collections of cells. The formulas agree with known results in the thin case, but the assertion for arbitrary collections of cells remains open.

Progress summary

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

Sources & referencesView supporting material

Primary source

Hong Wang and Jin Guo, “A class of polyocollection ideals with quadratic Gröbner bases”, arXiv:2607.22108 (2026).

Additional references

3 papers in this index state this conjecture (2023–2026). The statement above is taken from the most recent of them; the others are arXiv:2511.22778, arXiv:2306.11467.

Solutions 0

No solutions have been posted yet.