The h-vector form conjecture for odd cycle toric rings

About 7 years old · traced to

Let C2s+1C_{2s+1} be the cycle graph on 2s+12s+1 vertices, and let K[C2s+1]K[C_{2s+1}] denote its toric ring. Write its hh-vector as a sequence with entries h1,h2,…,hs−1h_1,h_2,\ldots,h_{s-1} appearing in the indicated positions. The h-vector form conjecture. The hh-vector of K[C2s+1]K[C_{2s+1}] is of the form

(1,h1,h2,h3,…,hi,…,hs−1,hs−1+(−1)s−1,…,hi+(−1)i,…,h3−1,h2+1,h1,1).(1, h_1, h_2, h_3, \ldots, h_i, \ldots, h_{s-1}, h_{s-1} + (-1)^{s-1}, \ldots, h_i + (-1)^{i}, \ldots, h_3 - 1, h_2 + 1, h_1, 1).

This conjectural form describes the asymmetry of the hh-vectors of toric rings of odd cycles. The preceding examples for C7C_7, C9C_9, and C11C_{11} provide computational evidence, but the supplied text does not state whether the conjecture has been proved or disproved.

References

Primary source

Takayuki Hibi and Akiyoshi Tsuchiya, “Odd cycles and Hilbert functions of their toric rings”, arXiv:1912.01212 (2019).

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.