The h-vector form conjecture for odd cycle toric rings

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,,hs1h_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,,hs1,hs1+(1)s1,,hi+(1)i,,h31,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.

Sources & referencesView supporting material

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.