Efficient-ordering conjecture for powers of edge ideals

Let GG be a graph with edge ideal I(G)I(G). Suppose that, for some integer qNq\in\mathbb{N}, I(G)qI(G)^q has linear quotients with an ordering N(q):u1>>ur\mathcal N^{(q)}:u_1>\dots>u_r of its generators. Recursively construct the efficient ordering N(s)\mathcal N^{(s)} from N(q)\mathcal N^{(q)} as defined in the source. Efficient-ordering conjecture. Then I(G)sI(G)^s has linear quotients with the efficient ordering N(s)\mathcal N^{(s)} for every integer sqs\geq q. This is a refinement of the persistence conjecture because it specifies the ordering intended to provide linear quotients at every higher power; it remains open.

Sources & referencesView supporting material

Primary source

Nursel Erey, Sara Faridi, Tài Huy Hà, Takayuki Hibi, Selvi Kara and Susan Morey, “Gapfree graphs and powers of edge ideals with linear quotients”, arXiv:2412.06467 (2024).

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.