The height–rank conjecture for non-simple polyominoes

About 4 years old · traced to

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.

References

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.