{"id":"arxiv/2605.26865","url":"https://arxiv.org/abs/2605.26865","tags":["math.AC","math.CO"],"score":0,"title":"A palindromicity criterion for the $h$-polynomials of bipartite edge rings","domain":"math.AC","source":"arxiv","authors":["Yuta Hatasa"],"reviews":0,"subject":"math.AC","summary":"We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\\mathbb{k}[G];t)=h_0+h_1t+\\cdots+h_st^s$. We prove that if $\\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$, then $\\Bbbk[G]$ is Gorenstein. Equivalently, under these assumptions the $h$-polynomial of $\\Bbbk[G]$ is palindromic. The proof treats the $2$-connected case first by translating the numerical condition $h_1=h_{s-1}$ into a tight-separation condition for non-edges, and then passes to arbitrary bipartite graphs using the block decomposition. We also…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-26","reactions":{}}