Let be the cycle of length and let be its cut ideal. We show that has a quadratic Gröbner basis with respect to an explicit weight order. Since the defining configuration consists of -vectors, the initial monomials of such a basis are automatically squarefree. As the cut polytope of a cycle is the parity polytope, the result gives a regular unimodular flag triangulation of this classical polytope. Together with the known tree case and the clique-sum theorem for cut ideals, the cycle result also yields a quadratic Gröbner basis for the cut ideal of every connected ring graph with at least one edge, thereby supplying the missing cycle input and establishing the result for connected ring graphs.

生成讲解博客的中文版本

生成AI智能校验的中文版本