The height–rank conjecture for non-simple polyominoes

Let P\mathcal{P} be a non-simple polyomino, let IPI_{\mathcal{P}} be its polyomino ideal, and let rank(P)\operatorname{rank}(\mathcal{P}) denote the rank of P\mathcal{P}.

Height–rank conjecture. One should have

ht(IP)=rank(P).\operatorname{ht}(I_{\mathcal{P}})=\operatorname{rank}(\mathcal{P}).

The equality is known for simple polyominoes, while the paper proves it for closed path polyominoes and conjectures it for all non-simple polyominoes.

Sources & referencesView supporting material

Primary source

Rodica Dinu and Francesco Navarra, “Non-simple polyominoes of Kőnig type and their canonical module”, arXiv:2210.12665 (2025).

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.