BZPEER

preprint2026arXiv

Elimination ideals of Plücker ideals and algebras with straightening laws

It is well known that the Plücker ideal defining the Grassmannian is generated by quadratic Plücker relations. These relations form a reverse lexicographic Gröbner basis and endow the Plücker algebra with the structure of an algebra with straightening laws (ASL). In this paper, we study quadratically generated projections of the Grassmannian of lines $\mathrm{Gr}(2,n)$ . We then combinatorially characterize the Gorenstein ASL subalgebras of the Plücker algebra of $\mathrm{Gr}(2,n)$ .

preprint2020arXiv

Gröbner bases of toric ideals associated with matroids

In 1980, White conjectured that the toric ideal of a matroid is generated by quadratic binomials corresponding to a symmetric exchange. In this paper, we compute Gröbner bases of toric ideals associated with matroids and show that, for every matroid on ground sets of size at most seven except for two matroids, Gröbner bases of toric ideals consist of quadratic binomials corresponding to a symmetric exchange.

preprint2020arXiv

Homological invariants of Cameron--Walker graphs

Let $G$ be a finite simple connected graph on $[n]$ and $R = K[x_1, \ldots, x_n]$ the polynomial ring in $n$ variables over a field $K$ . The edge ideal of $G$ is the ideal $I(G)$ of $R$ which is generated by those monomials $x_ix_j$ for which $\{i, j\}$ is an edge of $G$ . In the present paper, the possible tuples $(n, {\rm depth} (R/I(G)), {\rm reg} (R/I(G)), \dim R/I(G), {\rm deg} \ h(R/I(G)))$ , where ${\rm deg} \ h(R/I(G))$ is the degree of the $h$ -polynomial of $R/I(G)$ , arising from Cameron--Walker graphs on $[n]$ will be completely determined.

preprint2020arXiv

Max Min vertex cover and the size of Betti tables

Let $G$ be a finite simple graph on $n$ vertices, that contains no isolated vertices, and let $I(G) \subseteq S = K[x_1, \dots, x_n]$ be its edge ideal. In this paper, we study the pair of integers that measure the projective dimension and the regularity of $S/I(G)$ . We show that if the projective dimension of $S/I(G)$ attains its minimum value $2\sqrt{n}-2$ then, with only one exception, the its regularity must be 1. We also provide a full description for the spectrum of the projective dimension of $S/I(G)$ when the regularity attains its minimum value 1.

preprint2020arXiv

Regularity and h-polynomials of binomial edge ideals

Let $G$ be a finite simple graph on the vertex set $[n] = \{ 1, \ldots, n \}$ and $K[X, Y] = K[x_1, \ldots, x_n, y_1, \ldots, y_n]$ the polynomial ring in $2n$ variables over a field $K$ with each $\mathrm{deg} x_i = \mathrm{deg} y_j = 1$ . The binomial edge ideal of $G$ is the binomial ideal $J_G \subset K[X, Y]$ which is generated by those binomials $x_iy_j - x_jy_i$ for which $\{i, j\}$ is an edge of $G$ . The Hilbert series $H_{K[X, Y]/J_G}(λ)$ of $K[X, Y]/J_G$ is of the form $H_{K[X, Y]/J_G}(λ) = h_{K[X, Y]/J_G}(λ)/(1 - λ)^d$ , where $d = \mathrm{dim} K[X, Y]/J_G$ and where $h_{K[X, Y]/J_G}(λ) = h_0 + h_1λ+ h_2λ^2 + \cdots + h_sλ^s$ with each $h_i \in \mathbb{Z}$ and with $h_s \neq 0$ is the $h$ -polynomial of $K[X, Y]/J_G$ . It is known that, when $K[X, Y]/J_G$ is Cohen-Macaulay, one has $\mathrm{reg}(K[X, Y]/J_G) = \mathrm{deg} h_{K[X, Y]/J_G}(λ)$ , where $\mathrm{reg}(K[X, Y]/J_G)$ is the (Castelnuovo-Mumford) regularity of $K[X, Y]/J_G$ . In the present paper, given arbitrary integers $r$ and $s$ with $2 \leq r \leq s$ , a finite simple graph $G$ for which $\mathrm{reg}(K[X, Y]/J_G) = r$ and $\mathrm{deg} h_{K[X, Y]/J_G}(λ) = s$ will be constructed.

preprint2020arXiv

The $\mathcal{N}\mathcal{F}$ -Number of a Simplicial Complex

Let $Δ$ be a simplicial complex on $[n]$ . The $\mathcal{N}\mathcal{F}$ -complex of $Δ$ is the simplicial complex $δ_{\mathcal{N}\mathcal{F}}(Δ)$ on $[n]$ for which the facet ideal of $Δ$ is equal to the Stanley--Reisner ideal of $δ_{\mathcal{N}\mathcal{F}}(Δ)$ . Furthermore, for each $k = 2,3,\ldots$ \,, we introduce {\em $k^{th}$ $\mathcal{N}\mathcal{F}$ -complex} $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ)$ which is inductively defined by $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ) = δ_{\mathcal{N}\mathcal{F}}(δ^{(k-1)}_{\mathcal{N}\mathcal{F}}(Δ))$ with setting $δ^{(1)}_{\mathcal{N}\mathcal{F}}(Δ) = δ_{\mathcal{N}\mathcal{F}}(Δ)$ . One can set $δ^{(0)}_{\mathcal{N}\mathcal{F}}(Δ) = Δ$ . The $\mathcal{N}\mathcal{F}$ -number of $Δ$ is the smallest integer $k > 0$ for which $δ^{(k)}_{\mathcal{N}\mathcal{F}}(Δ) \simeq Δ$ . In the present paper we are especially interested in the $\mathcal{N}\mathcal{F}$ -number of a finite graph, which can be regraded as a simplicial complex of dimension one. It is shown that the $\mathcal{N}\mathcal{F}$ -number of the finite graph $K_n\coprod K_m$ on $[n + m]$ , which is the disjoint union of the complete graphs $K_n$ on $[n]$ and $K_m$ on $[m]$ , where $n \geq 2$ and $m \geq 2$ with $(n,m) \neq (2,2)$ , is equal to $n + m + 2$ . Its corollary says that the $\mathcal{N}\mathcal{F}$ -number of the complete bipartite graph $K_{n,m}$ on $[n+m]$ is also equal to $n + m + 2$ .

preprint2020arXiv

The regularity and $h$ -polynomial of Cameron-Walker graphs

Fix an integer $n \geq 1$ , and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$ . We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$ , the Castelnuovo-Mumford regularity, and $d = {\rm deg} h_{R/I(G)}(t)$ , the degree of the $h$ -polynomial, as we vary over all the connected graphs on $n$ vertices. In particular, we identify sets $A(n)$ and $B(n)$ such that $A(n) \subseteq \mathcal{RD}(n) \subseteq B(n)$ . When we restrict to the family of Cameron-Walker graphs on $n$ vertices, we can completely characterize all the possible $(r,d)$ .

preprint2020arXiv

The trace of the canonical module

The trace of the canonical module (the canonical trace) determines the non-Gorenstein locus of a local Cohen--Macaulay ring. We call a local Cohen--Macaulay ring nearly Gorenstein, if its canonical trace contains the maximal ideal. Similar definitions can be made for positively graded Cohen--Macaulay $K$ -algebras. We study the canonical trace for tensor products and Segre products of algebras, as well as of (squarefree) Veronese subalgebras. The results are used to classify the nearly Gorenstein Hibi rings. We study connections between the class of nearly Gorenstein rings and that of almost Gorenstein rings. We show that in dimension one, the former class includes the latter.

preprint2019arXiv

Classification of lattice polytopes with small volumes

In the frame of a classification of general square systems of polynomial equations solvable by radicals, Esterov and Gusev succeeded in classifying all spanning lattice polytopes whose normalized volumes are at most $4$ . In the present paper, we complete to classify all lattice polytopes whose normalized volumes are at most $4$ based on the known classification of their $δ$ -polynomials.

preprint2019arXiv

Gorenstein simplices with a given $δ$ -polynomial

To classify the lattice polytopes with a given $δ$ -polynomial is an important open problem in Ehrhart theory. A complete classification of the Gorenstein simplices whose normalized volumes are prime integers is known. In particular, their $δ$ -polynomials are of the form $1+t^k+\cdots+t^{(v-1)k}$ , where $k$ and $v$ are positive integers. In the present paper, a complete classification of the Gorenstein simplices with the above $δ$ -polynomials will be performed, when $v$ is either $p^2$ or $pq$ , where $p$ and $q$ are prime integers with $p \neq q$ . Moreover, we consider the number of Gorenstein simplices, up to unimodular equivalence, with the expected $δ$ -polynomial.

preprint2019arXiv

Integer decomposition property for Cayley sums of order and stable set polytopes

Lattice polytopes which possess the integer decomposition property (IDP for short) turn up in many fields of mathematics. It is known that if the Cayley sum of lattice polytopes possesses IDP, then so does their Minkowski sum. In this paper, the Cayley sum of the order polytope of a finite poset and the stable set polytope of a finite simple graph is studied. We show that the Cayley sum of an order polytope and the stable set polytope of a perfect graph possesses a regular unimodular triangulation and IDP, and hence so does their Minkowski sum. Moreover, it turns out that, for an order polytope and the stable set polytope of a graph, the following conditions are equivalent: (i) the Cayley sum is Gorenstein; (ii) the Minkowski sum is Gorenstein; (iii) the graph is perfect.

preprint2019arXiv

Odd cycles and Hilbert functions of their toric rings

Studying Hilbert functions of concrete examples of normal toric rings, it is demonstrated that, for each $1 \leq s \leq 5$ , an $O$ -sequence $(h_0, h_1, \ldots, h_{2s-1}) \in \mathbb{Z}_{\geq 0}^{2s}$ satisfying the properties that (i) $h_0 \leq h_1 \leq \cdots \leq h_{s-1}$ , (ii) $h_{2s-1} = h_0$ , $h_{2s-2} = h_1$ and (iii) $h_{2s - 1 - i} = h_i + (-1)^{i}$ , $2 \leq i \leq s - 1$ , can be the $h$ -vector of a Cohen--Macaulay standard $G$ -domain.

preprint2019arXiv

Regularity and $a$ -invariant of Cameron--Walker graphs

Let $S$ be the polynomial ring over a field $K$ and $I \subset S$ a homogeneous ideal. Let $h(S/I,λ)$ be the $h$ -polynomial of $S/I$ and $s = \mathrm{deg} h(S/I,λ)$ the degree of $h(S/I,λ)$ . It follows that the inequality $s - r \leq d - e$ , where $r = \mathrm{reg} (S/I)$ , $d = \dim S/I$ and $e = \mathrm{depth} S/I$ , is satisfied and, in addition, the equality $s - r = d - e$ holds if and only if $S/I$ has a unique extremal Betti number. We are interested in finding a natural class of finite simple graphs $G$ for which $S/I(G)$ , where $I(G)$ is the edge ideal of $G$ , satisfies $s - r = d - e$ . Let $a(S/I(G))$ denote the $a$ -invariant of $S/I$ , i.e., $a(S/I(G)) = s - d$ . One has $a(S/I(G)) \leq 0$ . In the present paper, by showing the fundamental fact that every Cameron--Walker graph $G$ satisfies $a(S/I(G)) = 0$ , a class of Cameron--Walker graphs $G$ for which $S/I(G)$ satisfies $s - r = d - e$ will be exhibited.

preprint2019arXiv

The depth of a reflexive polytope

Given arbitrary integers $d$ and $r$ with $d \geq 4$ and $1 \leq r \leq d + 1$ , a reflexive polytope $\mathcal{P} \subset \mathbb{R}^d$ of dimension $d$ with ${\rm depth} K[\mathcal{P}] = r$ for which its dual polytope $\mathcal{P}^\vee$ is normal will be constructed, where $K[\mathcal{P}]$ is the toric ring of $\mathcal{P}$ .

preprint2018arXiv

Edge rings with $3$ -linear resolutions

It is shown that the edge ring of a finite connected simple graph with a $3$ -linear resolution is a hypersurface.

preprint2018arXiv

Reflexive polytopes arising from partially ordered sets and perfect graphs

Reflexive polytopes which have the integer decomposition property are of interest. Recently, some large classes of reflexive polytopes with integer decomposition property coming from the order polytopes and the chain polytopes of finite partially ordered sets are known. In the present paper, we will generalize this result. In fact, by virtue of the algebraic technique on Gröbner bases, new classes of reflexive polytopes with the integer decomposition property coming from the order polytopes of finite partially ordered sets and the stable set polytopes of perfect graphs will be introduced. Furthermore, the result will give a polyhedral characterization of perfect graphs. Finally, we will investigate the Ehrhart $δ$ -polynomials of these reflexive polytopes.

preprint2018arXiv

Reflexive polytopes arising from perfect graphs

Reflexive polytopes form one of the distinguished classes of lattice polytopes. Especially reflexive polytopes which possess the integer decomposition property are of interest. In the present paper, by virtue of the algebraic technique on Grönbner bases, a new class of reflexive polytopes which possess the integer decomposition property and which arise from perfect graphs will be presented. Furthermore, the Ehrhart $δ$ -polynomials of these polytopes will be studied.

preprint2017arXiv

Facets and volume of Gorenstein Fano polytopes

It is known that every integral convex polytope is unimodularly equivalent to a face of some Gorenstein Fano polytope. It is then reasonable to ask whether every normal polytope is unimodularly equivalent to a face of some normal Gorenstein Fano polytope. In the present paper, it is shown that, by giving new classes of normal Gorenstein Fano polytopes, each order polytope as well as each chain polytope of dimension $d$ is unimodularly equivalent to a facet of some normal Gorenstein Fano polytopes of dimension $d + 1$ . Furthermore, investigation on combinatorial properties, especially, Ehrhart polynomials and volume of these new polytopes will be achieved. Finally, some curious examples of Gorenstein Fano polytopes will be discovered.

preprint2017arXiv

Flat $δ$ -vectors and their Ehrhart polynomials

We call the $δ$ -vector of an integral convex polytope of dimension $d$ flat if the $δ$ -vector is of the form $(1,0,\ldots,0,a,\ldots,a,0,\ldots,0)$ , where $a \geq 1$ . In this paper, we give the complete characterization of possible flat $δ$ -vectors. Moreover, for an integral convex polytope $\mathcal{P} \subset \mathbb{R}^N$ of dimension $d$ , we let $i(\mathcal{P},n)=|n\mathcal{P} \cap \mathbb{Z}^N|$ and $\ i^*(\mathcal{P},n)=|n(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^N|.$ By this characterization, we show that for any $d \geq 1$ and for any $k,\ell \geq 0$ with $k+\ell \leq d-1$ , there exist integral convex polytopes $\mathcal{P}$ and $\mathcal{Q}$ of dimension $d$ such that (i) For $t=1,\ldots,k$ , we have $i(\mathcal{P},t)=i(\mathcal{Q},t),$ (ii) For $t=1,\ldots,\ell$ , we have $i^*(\mathcal{P},t)=i^*(\mathcal{Q},t)$ and (iii) $i(\mathcal{P},k+1) \neq i(\mathcal{Q},k+1)$ and $i^*(\mathcal{P},\ell+1)\neq i^*(\mathcal{Q},\ell+1).$

preprint2017arXiv

Laplacian Simplices Associated to Digraphs

We associate to a finite digraph $D$ a lattice polytope $P_D$ whose vertices are the rows of the Laplacian matrix of $D$ . This generalizes a construction introduced by Braun and the third author. As a consequence of the Matrix-Tree Theorem, we show that the normalized volume of $P_D$ equals the complexity of $D$ , and $P_D$ contains the origin in its relative interior if and only if $D$ is strongly connected. Interesting connections with other families of simplices are established and then used to describe reflexivity, $h^*$ -polynomial, and integer decomposition property of $P_D$ in these cases. We extend Braun and Meyer's study of cycles by considering cycle digraphs. In this setting we characterize reflexivity and show there are only four non-trivial reflexive Laplacian simplices having the integer decomposition property.

preprint2016arXiv

Depth stability of edge ideals

Let $G$ be a connected finite simple graph and let $I_G$ be the edge ideal of $G$ . The smallest number $k$ for which $\depth S/I_G^k$ stabilizes is denoted by $\dstab(I_G)$. We show that $\dstab(I_G)<\ell(I_G)$ where $\ell(I_G)$ denotes the analytic spread of $I$ . For trees we give a stronger upper bound for $\dstab(I_G)$. We also show for any two integers $1\leq a<b$ there exists a tree for which $\dstab(I_G)=a$ and $\ell(I_G)=b$ .

preprint2016arXiv

Ehrhart polynomials with negative coefficients

It is shown that, for each $d \geq 4$ , there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. Moreover, it is also shown that for each $d \geq 3$ and $1 \leq k \leq d-2$ , there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that the coefficient of $n^k$ of the Ehrhart polynomial $i(\mathcal{P},n)$ of $\mathcal{P}$ is negative and all its remaining coefficients are positive. Finally, we consider all the possible sign patterns of the coefficients of the Ehrhart polynomials of low dimensional integral convex polytopes.

preprint2016arXiv

Order-Chain Polytopes

Given two families $X$ and $Y$ of integral polytopes with nice combinatorial and algebraic properties, a natural way to generate new class of polytopes is to take the intersection $\mathcal{P}=\mathcal{P}_1\cap\mathcal{P}_2$ , where $\mathcal{P}_1\in X$ , $\mathcal{P}_2\in Y$ . Two basic questions then arise: 1) when $\mathcal{P}$ is integral and 2) whether $\mathcal{P}$ inherits the "old type" from $\mathcal{P}_1, \mathcal{P}_2$ or has a "new type", that is, whether $\mathcal{P}$ is unimodularly equivalent to some polytope in $X\cup Y$ or not. In this paper, we focus on the families of order polytopes and chain polytopes and create a new class of polytopes following the above framework, which are named order-chain polytopes. In the study on their volumes, we discover a natural relation with Ehrenborg and Mahajan's results on maximizing descent statistics.

preprint2016arXiv

The numbers of edges of the order polytope and the chain poyltope of a finite partially ordered set

Let $P$ be an arbitrary finite partially ordered set. It will be proved that the number of edges of the order polytope ${\mathcal O}(P)$ is equal to that of the chain polytope ${\mathcal C}(P)$ . Furthermore, it will be shown that the degree sequence of the finite simple graph which is the $1$ -skeleton of ${\mathcal O}(P)$ is equal to that of ${\mathcal C}(P)$ if and only if ${\mathcal O}(P)$ and ${\mathcal C}(P)$ are unimodularly equivalent.

preprint2015arXiv

Centrally symmetric configurations of order polytopes

It is shown that the toric ideal of the centrally symmetric configuration of the order polytope of a finite partially ordered set possesses a squarefree quadratic initial ideal. It then follows that the convex polytope arising from the centrally symmetric configuration of an order polytope is a normal Gorenstein Fano polytope.

preprint2015arXiv

Dominating induced matchings of finite graphs and regularity of edge ideals

The regularity of an edge ideal of a finite simple graph $G$ is at least the induced matching number of $G$ and is at most the minimum matching number of $G$ . If $G$ possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of $G$ is equal to the minimum matching number of $G$ . In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied.

preprint2015arXiv

Facets of the r-stable n,k-hypersimplex

Let $k, n$ and $r$ be positive integers with $k < n$ and $r\leq\lfloor\frac{n}{k}\rfloor$ . We determine the facets of the $r$ -stable $n,k$ -hypersimplex. As a result, it turns out that the $r$ -stable $n,k$ -hypersimplex has exactly $2n$ facets for every $r<\lfloor\frac{n}{k}\rfloor$ . We then utilize the equations of the facets to study when the $r$ -stable hypersimplex is Gorenstein. For every $k>0$ we identify an infinite collection of Gorenstein $r$ -stable hypersimplices, consequently expanding the collection of $r$ -stable hypersimplices known to have unimodal Ehrhart $δ$ -vectors.

preprint2015arXiv

Gorenstein Fano polytopes arising from order polytopes and chain polytopes

Richard Stanley introduced the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ arising from a finite partially ordered set $P$ , and showed that the Ehrhart polynomial of $\mathcal{O}(P)$ is equal to that of $\mathcal{C}(P)$ . In addition, the unimodular equivalence problem of $\mathcal{O}(P)$ and $\mathcal{C}(P)$ was studied by the first author and Nan Li. In the present paper, three integral convex polytopes $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$ , $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ and $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ , where $P$ and $Q$ are partially ordered sets with $| P | = | Q |$ , will be studied. First, it will be shown that the Ehrhart polynomial of $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ coincides with that of $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ . Furthermore, when $P$ and $Q$ possess a common linear extension, it will be proved that these three convex polytopes have the same Ehrhart polynomial. Second, the problem of characterizing partially ordered sets $P$ and $Q$ for which $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$ or $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ or $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ is a smooth Fano polytope will be solved. Finally, when these three polytopes are smooth Fano polytopes, the unimodular equivalence problem of these three polytopes will be discussed.

preprint2015arXiv

Isotonian Algebras

To a pair $P$ and $Q$ of finite posets we attach the toric ring $K[P,Q]$ whose generators are in bijection to the isotone maps from $P$ to $Q$ . This class of algebras, called isotonian, are natural generalizations of the so-called Hibi rings. We determine the Krull dimension of these algebras and for particular classes of posets $P$ and $Q$ we show that $K[P,Q]$ is normal and that their defining ideal admits a quadratic Gröbner basis.

preprint2015arXiv

Nonsimple polyominoes and prime ideals

It is known that the polyomino ideal of a simple polyomino is a prime ideal. A new class of nonsimple polyominoes $\Pc$ for which the polyomino ideal $I_{\Pc}$ is a prime ideal will be presented.

preprint2015arXiv

Quadratic Gröbner bases arising from partially ordered sets

The order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ associated to a partially ordered set $P$ are studied. In this paper, we introduce the convex polytope $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ which is the convex hull of $\mathcal{O}(P) \cup (-\mathcal{C}(Q))$ , where both $P$ and $Q$ are partially ordered sets with $|P|=|Q|=d$ . It will be shown that $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ is a normal and Gorenstein Fano polytope by using the theory of reverse lexicographic squarefree initial ideals of toric ideals.

preprint2015arXiv

Quadratic Gröbner bases of twinned order polytopes

Let $P$ and $Q$ be finite partially ordered sets on $[d] = \{1, \ldots, d\}$ , and $\mathcal{O}(P) \subset \mathbb{R}^{d}$ and $\mathcal{O}(Q) \subset \mathbb{R}^{d}$ their order polytopes. The twinned order polytope of $P$ and $Q$ is the convex polytope $Δ(P,-Q) \subset \mathbb{R}^{d}$ which is the convex hull of $\mathcal{O}(P) \cup (- \mathcal{O}(Q))$ . It follows that the origin of $\mathbb{R}^{d}$ belongs to the interior of $Δ(P,-Q)$ if and only if $P$ and $Q$ possess a common linear extension. It will be proved that, when the origin of $\mathbb{R}^{d}$ belongs to the interior of $Δ(P,-Q)$ , the toric ideal of $Δ(P,-Q)$ possesses a quadratic Gröbner basis with respect to a reverse lexicographic order for which the variable corresponding to the origin is smallest. Thus in particular if $P$ and $Q$ possess a common linear extension, then the twinned order polytope $Δ(P,-Q)$ is a normal Gorenstein Fano polytope.

preprint2014arXiv

Algebraic study on Cameron-Walker graphs

Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$ , where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$ . Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$ . It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$ , where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of $S/I(G)$ . Cameron and Walker succeeded in classifying the finite connected simple graphs $G$ with $im(G) = m(G)$ . We say that a finite connected simple graph $G$ is a Cameron-Walker graph if $im(G) = m(G)$ and if $G$ is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph $G$ is unmixed if and only if $G$ is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.

preprint2014arXiv

Cutting convex polytopes by hyperplanes

Cutting a polytope is a very natural way to produce new classes of interesting polytopes. Moreover, it has been very enlightening to explore which algebraic and combinatorial properties of the orignial polytope are hereditary to its subpolytopes obtained by a cut. In this work, we put our attention to all the seperating hyperplanes for some given polytope (integral and convex) and study the existence and classification of such hyperplanes. We prove the exitence of seperating hyperplanes for the order and chain polytopes for any finite posets that are not a single chain; prove there are no such hyperplanes for any Birkhoff polytopes. Moreover, we give a complete seperating hyperplane classification for the unit cube and its subpolytopes obtained by one cut, together with some partial classification results for order and chain polytopes.

preprint2014arXiv

Integer decomposition property of free sums of convex polytopes

Let $\mathcal{P} \subset \mathbb{R}^{d}$ and $\mathcal{Q} \subset \mathbb{R}^e$ be integral convex polytopes of dimension $d$ and $e$ which contain the origin of $\mathbb{R}^{d}$ and $\mathbb{R}^e$ , respectively. In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of $\mathcal{P}$ and $\mathcal{Q}$ to possess the integer decomposition property will be presented.

preprint2014arXiv

Linearly related polyominoes

We classify all convex polyomino ideals which are linearly related or have a linear resolution. Convex stack polyominoes whose ideals are extremal Gorenstein are also classified. In addition, we characterize, in combinatorial terms, the distributive lattices whose join-meet ideals are extremal Gorenstein or have a linear resolution.

preprint2014arXiv

Pfaffian Systems of A-Hypergeometric Equations I: Bases of Twisted Cohomology Groups

This is the third revision. We study bases of Pfaffian systems for $A$ -hypergeometric system. Gröbner deformations give bases. These bases also give those for twisted cohomology groups. For hypergeometric system associated to a class of order polytopes, these bases have a combinatorial description. The size of the bases associated to a subclass of the order polytopes have the growth rate of the polynomial order. Bases associated to two chain posets and bouquets are studied.

preprint2014arXiv

Pseudo-Gorenstein and level Hibi rings

We introduce pseudo-Gorenstein rings and characterize those Hibi rings attached to a finite distributive lattice L which are pseudo-Gorenstein. The characterization is given in terms of the poset of join-irreducible elements of L. We also present a necessary condition for Hibi rings to be level. Special attention is given to planar and hyper-planar lattices. Finally the pseudo-Goresntein and level property of Hibi rings and generalized Hibi rings is compared with each other.

preprint2014arXiv

Simplicial complexes of whisker type

Let $I\subset K[x_1,\ldots,x_n]$ be a zero-dimensional monomial ideal, and $Δ(I)$ be the simplicial complex whose Stanley--Reisner ideal is the polarization of $I$ . It follows from a result of Soleyman Jahan that $Δ(I)$ is shellable. We give a new short proof of this fact by providing an explicit shelling. Moreover, we show that $Δ(I)$ is even vertex decomposable. The ideal $L(I)$ , which is defined to be the Stanley--Reisner ideal of the Alexander dual of $Δ(I)$ , has a linear resolution which is cellular and supported on a regular CW-complex. All powers of $L(I)$ have a linear resolution. We compute $\mathrm{depth}\ L(I)^k$ and show that $\mathrm{depth}\ L(I)^k=n$ for all $k\geq n$ .

preprint2014arXiv

Strongly Koszul edge rings

We classify the finite connected simple graphs whose edge rings are strongly Koszul. From the classification, it follows that if the edge ring is strongly Koszul, then its toric ideal possesses a quadratic Gröbner basis.

preprint2014arXiv

The face ideal of a simplicial complex

Given a simplicial complex we associate to it a squarefree monomial ideal which we call the face ideal of the simplicial complex, and show that it has linear quotients. It turns out that its Alexander dual is a whisker complex. We apply this construction in particular to chain and antichain ideals of a finite partially ordered set. We also introduce so-called higher dimensional whisker complexes and show that their independence complexes are shellable.

preprint2014arXiv

The face vector of a half-open hypersimplex

The half-open hypersimplex $Δ'_{n,k}$ consists of those $x = (x_{1}, \ldots, x_{n}) \in[0,1]^n$ with $k-1<x_1+\cdots+x_n\le k$ , where $0 < k \leq n$ . The $f$ -vector of a half-open hypersimplex and related generating functions are explicitly studied.

preprint2013arXiv

A Koszul filtration for the second squarefree Veronese subring

The second squarefree Veronese subring in $n$ variables is the edge ring of the complete graph with $n$ vertices. It is proved that every second squarefree Veronese subring possesses a Koszul filtration.

preprint2013arXiv

Bounding the socles of powers of squarefree monomial ideals

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I\subset S$ a squarefree monomial ideal. In the present paper we are interested in the monomials $u \in S$ belonging to the socle $\Soc(S/I^{k})$ of $S/I^{k}$ , i.e., $u \not\in I^{k}$ and $ux_{i} \in I^{k}$ for $1 \leq i \leq n$ . We prove that if a monomial $x_1^{a_1}\cdots x_n^{a_n}$ belongs to $\Soc(S/I^{k})$, then $a_i\leq k-1$ for all $1 \leq i \leq n$ . We then discuss squarefree monomial ideals $I \subset S$ for which $x_{[n]}^{k-1} \in \Soc(S/I^{k})$, where $x_{[n]} = x_{1}x_{2}\cdots x_{n}$ . Furthermore, we give a combinatorial characterization of finite graphs $G$ on $[n] = \{1, \ldots, n\}$ for which $\depth S/(I_{G})^{2}=0$, where $I_{G}$ is the edge ideal of $G$ .

preprint2013arXiv

Ehrhart polynomials with negative coefficients

It is shown that, for each $d \geq 4$ , there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative.

preprint2013arXiv

Integer decomposition property of dilated polytopes

Let $\mathcal{P} \subset \mathbb{R}^N$ be an integral convex polytope of dimension $d$ and write $k \mathcal{P}$ , where $k = 1, 2, \ldots$ , for dilations of $\mathcal{P}$ . We say that $\mathcal{P}$ possesses the integer decomposition property if, for any integer $k = 1, 2, \ldots$ and for any $α\in k \mathcal{P} \cap \mathbb{Z}^N$ , there exist $α_{1}, \ldots, α_k$ belonging to $\mathcal{P} \cap \mathbb{Z}^N$ such that $α= α_1 + \cdots + α_k$ . A fundamental question is to determine the integers $k > 0$ for which the dilated polytope $k\mathcal{P}$ possesses the integer decomposition property. In the present paper, combinatorial invariants related to the integer decomposition property of dilated polytopes will be proposed and studied.

preprint2013arXiv

Koszul binomial edge ideals

It is shown that if the binomial edge ideal of a graph $G$ defines a Koszul algebra, then $G$ must be chordal and claw free. A converse of this statement is proved for a class of chordal and claw free graphs.

preprint2013arXiv

Linear flags and Koszul filtrations

We show that the graded maximal ideal of a graded $K$ -algebra $R$ has linear quotients for a suitable choice and order of its generators if the defining ideal of $R$ has a quadratic Gröbner basis with respect to the reverse lexicographic order, and show that this linear quotient property for algebras defined by binomial edge ideals characterizes closed graphs. Furthermore, for algebras defined by binomial edge ideals attached to a closed graph and for join-meet rings attached to a finite distributive lattice we present explicit Koszul filtrations.

preprint2013arXiv

Many toric ideals generated by quadratic binomials possess no quadratic Gröbner bases

Let $G$ be a finite connected simple graph and $I_{G}$ the toric ideal of the edge ring $K[G]$ of $G$ . In the present paper, we study finite graphs $G$ with the property that $I_{G}$ is generated by quadratic binomials and $I_{G}$ possesses no quadratic Gröbner basis. First, we give a nontrivial infinite series of finite graphs with the above property. Second, we implement a combinatorial characterization for $I_{G}$ to be generated by quadratic binomials and, by means of the computer search, we classify the finite graphs $G$ with the above property, up to 8 vertices.

preprint2013arXiv

Markov chain Monte Carlo methods for the regular two-level fractional factorial designs and cut ideals

It is known that a Markov basis of the binary graph model of a graph $G$ corresponds to a set of binomial generators of cut ideals $I_{\widehat{G}}$ of the suspension $\widehat{G}$ of $G$ . In this paper, we give another application of cut ideals to statistics. We show that a set of binomial generators of cut ideals is a Markov basis of some regular two-level fractional factorial design. As application, we give a Markov basis of degree 2 for designs defined by at most two relations.

preprint2013arXiv

Polarization of Koszul cycles with applications to powers of edge ideals of whisker graphs

In this paper, we introduced the polarization of Koszul cycles and use it to study the depth function of powers of edge ideals of whisker graphs.

preprint2012arXiv

Chain polytopes and algebras with straightening laws

It will be shown that the toric ring of the chain polytope of a finite partially ordered set is an algebra with straightening laws on a finite distributive lattice. Thus in particular every chain polytope possesses a regular unimodular triangulation arising from a flag complex.

preprint2012arXiv

Determinantal Facet Ideals

We consider ideals generated by general sets of $m$ -minors of an $m\times n$ -matrix of indeterminates. The generators are identified with the facets of an $(m-1)$ -dimensional pure simplicial complex. The ideal generated by the minors corresponding to the facets of such a complex is called a determinantal facet ideal. Given a pure simplicial complex $Δ$ , we discuss the question when the generating minors of its determinantal facet ideal $J_Δ$ form a Gröbner basis and when $J_Δ$ is a prime ideal.

preprint2012arXiv

Edge rings satisfying Serre's condition R_1

A combinatorial criterion for the edge ring of a finite connected graph to satisfy Serre's condition R_1 is studied.

preprint2012arXiv

Monomial ideals whose depth function has any given number of strict local maxima

We construct monomial ideals with the property that their depth function has any given number of strict local maxima.

preprint2012arXiv

Separating hyperplanes of edge polytopes

Let $G$ be a finite connected simple graph with $d$ vertices and let $\Pc_G \subset \RR^d$ be the edge polytope of $G$ . We call $\Pc_G$ \emph{decomposable} if $\Pc_G$ decomposes into integral polytopes $\Pc_{G^+}$ and $\Pc_{G^-}$ via a hyperplane. In this paper, we explore various aspects of decomposition of $\Pc_G$: we give an algorithm deciding the decomposability of $\Pc_G$, we prove that $\Pc_G$ is normal if and only if both $\Pc_{G^+}$ and $\Pc_{G^-}$ are normal, and we also study how a condition on the toric ideal of $\Pc_G$ (namely, the ideal being generated by quadratic binomials) behaves under decomposition.

preprint2012arXiv

The binomial edge ideal of a pair of graphs

We introduce a class of ideals generated by a set of 2-minors of $m\times n$ -matrix of indeterminates indexed by a pair of graphs. This class of ideals is a natural common generalization of binomial edge ideals and ideals generated by adjacent minors. We determine the minimal prime ideals of such ideals and give a lower bound for their degree of nilpotency. In some special cases we compute their Gröbner basis and characterize unmixedness and Cohen--Macaulayness.

preprint2012arXiv

The join-meet ideal of a finite lattice

Radical binomial ideals associated with finite lattices are studied. Gröbner basis theory turns out to be an efficient tool in this investigation.

preprint2012arXiv

Toric ideals and their circuits

In this paper, we study toric ideals generated by circuits. For toric ideals which have squarefree quadratic initial ideals, a sufficient condition to be generated by circuits is given. In particular, squarefree Veronese subrings, the second Veronese subrings and configurations arising from root systems satisfy the condition. In addition, we study toric ideals of finite graphs and characterize the graphs whose toric ideals are generated by circuits u -v such that either u or v is squarefree. There exists several classes of graphs whose toric ideals satisfy this condition and whose toric rings are nonnormal.

preprint2012arXiv

Toric ideals of finite graphs and adjacent 2-minors

We study the problem when an ideal generated by adjacent 2-minors is the toric ideal of a finite graph.

preprint2012arXiv

Toric rings arising from cyclic polytopes

In the present paper, we consider the problem when the toric ring arising from an integral cyclic polytope is Cohen-Macaulay by discussing Serre's condition and we give a complete characterization when that is Gorenstein. Moreover, we study the normality of the other semigroup ring arising from an integral cyclic polytope but generated only with its vertices.

preprint2012arXiv

Unimodular equivalence of order and chain polytopes

The problem when the order polytope and the chain polytope of a finite partially ordered set are unimodularly equivalent will be solved.

preprint2011arXiv

Centrally symmetric configurations of integer matrices

The concept of centrally symmetric configurations of integer matrices is introduced. We study the problem when the toric ring of a centrally symmetric configuration is normal as well as is Gorenstein. In addition, Gröbner bases of toric ideals of centrally symmetric configurations will be discussed. Special attentions will be given to centrally symmetric configurations of unimodular matrices and those of incidence matrices of finite graphs.

preprint2011arXiv

Cohen-Macaulay binomial edge ideals

We study the depth of classes of binomial edge ideals and classify all closed graphs whose binomial edge ideal is Cohen--Macaulay.

preprint2011arXiv

Depth of initial ideals of normal edge rings

Let $G$ be a finite graph on the vertex set $[d] = \{1, ..., d \}$ with the edges $e_1, ..., e_n$ and $K[\tb] = K[t_1, ..., t_d]$ the polynomial ring in $d$ variables over a field $K$ . The edge ring of $G$ is the semigroup ring $K[G]$ which is generated by those monomials $\tb^e = t_it_j$ such that $e = \{i, j\}$ is an edge of $G$ . Let $K[\xb] = K[x_1, ..., x_n]$ be the polynomial ring in $n$ variables over $K$ and define the surjective homomorphism $π: K[\xb] \to K[G]$ by setting $π(x_i) = \tb^{e_i}$ for $i = 1, ..., n$ . The toric ideal $I_G$ of $G$ is the kernel of $π$ . It will be proved that, given integers $f$ and $d$ with $6 \leq f \leq d$ , there exist a finite connected nonbipartite graph $G$ on $[d]$ together with a reverse lexicographic order $<_{\rev}$ on $K[\xb]$ and a lexicographic order $<_{\lex}$ on $K[\xb]$ such that (i) $K[G]$ is normal, (ii) $\depth K[\xb]/\ini_{<_{\rev}}(I_G) = f$ and (iii) $K[\xb]/\ini_{<_{\lex}}(I_G)$ is Cohen--Macaulay, where $\ini_{<_{\rev}}(I_G)$ (resp.\ $\ini_{<_{\lex}}(I_G)$) is the initial ideal of $I_G$ with respect to $<_{\rev}$ (resp.\ $<_{\lex}$) and where $\depth K[\xb]/\ini_{<_{\rev}}(I_G)$ is the depth of $K[\xb]/\ini_{<_{\rev}}(I_G)$.

preprint2011arXiv

Finite lattices and Gröbner bases

Gröbner bases of binomial ideals arising from finite lattices will be studied. In terms of Gröbner bases and initial ideals, a characterization of finite distributive lattices as well as planar distributive lattices will be given.

preprint2011arXiv

Hermite normal forms and $δ$ -vector

Let $δ(\Pc) = (δ_0, δ_1,..., δ_d)$ be the $δ$ -vector of an integral polytope $\Pc \subset \RR^N$ of dimension $d$ . Following the previous work of characterizing the $δ$ -vectors with $\sum_{i=0}^d δ_i \leq 3$ , the possible $δ$ -vectors with $\sum_{i=0}^d δ_i = 4$ will be classified. And each possible $δ$ -vectors can be obtained by simplices. We get this result by studying the problem of classifying the possible integral simplices with a given $δ$ -vector $(δ_0, δ_1,..., δ_d)$ , where $\sum_{i=0}^d δ_i \leq 4$ , by means of Hermite normal forms of square matrices.

preprint2011arXiv

Ideals generated by adjacent 2-minors

Ideals generated by adjacent 2-minors are studied. First, the problem when such an ideal is a prime ideal as well as the problem when such an ideal possesses a quadratic Gröbner basis is solved. Second, we describe explicitly a primary decomposition of the radical ideal of an ideal generated by adjacent 2-minors, and challenge the question of classifying all ideals generated by adjacent 2-minors which are radical ideals. Finally, we discuss connectedness of contingency tables in algebraic statistics.

preprint2010arXiv

Depth of edge rings arising from finite graphs

Let $G$ be a finite graph and $K[G]$ the edge ring of $G$ . Based on the technique of Gröbner bases and initial ideals, it will be proved that, given integers $f$ and $d$ with $7 \leq f \leq d$ , there exists a finite graph $G$ on $[d]={1,...,d}$ with $\depth K[G] = f$ and with $\Krull-dim K[G] = d$.

preprint2010arXiv

Roots of Ehrhart polynomials arising from graphs

Several polytopes arise from finite graphs. For edge and symmetric edge polytopes, in particular, exhaustive computation of the Ehrhart polynomials not merely supports the conjecture of Beck {\it et al.}\ that all roots $α$ of Ehrhart polynomials of polytopes of dimension $D$ satisfy $-D \le \Re(α) \le D - 1$ , but also reveals some interesting phenomena for each type of polytope. Here we present two new conjectures: (1) the roots of the Ehrhart polynomial of an edge polytope for a complete multipartite graph of order $d$ lie in the circle $|z+\tfrac{d}{4}| \le \tfrac{d}{4}$ or are negative integers, and (2) a Gorenstein Fano polytope of dimension $D$ has the roots of its Ehrhart polynomial in the narrower strip $-\tfrac{D}{2} \leq \Re(α) \leq \tfrac{D}{2}-1$ . Some rigorous results to support them are obtained as well as for the original conjecture. The root distribution of Ehrhart polynomials of each type of polytope is plotted in figures.

preprint2010arXiv

Smooth Fano polytopes arising from finite partially ordered sets

Gorenstein Fano polytopes arising from finite partially ordered sets will be introduced. Then we study the problem which partially ordered sets yield smooth Fano polytopes.

preprint2010arXiv

Toric rings and ideals of nested configurations

The toric ring together with the toric ideal arising from a nested configuration is studied, with particular attention given to the algebraic study of normality of the toric ring as well as the Gröbner bases of the toric ideal. One of the combinatorial applications of these algebraic findings leads to insights on smooth $3 \times 3$ transportation polytopes.

preprint2008arXiv

Markov basis and Groebner basis of Segre-Veronese configuration for testing independence in group-wise selections

We consider testing independence in group-wise selections with some restrictions on combinations of choices. We present models for frequency data of selections for which it is easy to perform conditional tests by Markov chain Monte Carlo (MCMC) methods. When the restrictions on the combinations can be described in terms of a Segre-Veronese configuration, an explicit form of a Gröbner basis consisting of moves of degree two is readily available for performing a Markov chain. We illustrate our setting with the National Center Test for university entrance examinations in Japan. We also apply our method to testing independence hypotheses involving genotypes at more than one locus or haplotypes of alleles on the same chromosome.

Takayuki Hibi

Research overview

Is this your work?

73 publications

Elimination ideals of Plücker ideals and algebras with straightening laws

Gröbner bases of toric ideals associated with matroids

Homological invariants of Cameron--Walker graphs

Max Min vertex cover and the size of Betti tables

Regularity and h-polynomials of binomial edge ideals

The NF\mathcal{N}\mathcal{F}NF-Number of a Simplicial Complex

The regularity and hhh-polynomial of Cameron-Walker graphs

The trace of the canonical module

Classification of lattice polytopes with small volumes

Gorenstein simplices with a given δδδ-polynomial

Integer decomposition property for Cayley sums of order and stable set polytopes

Odd cycles and Hilbert functions of their toric rings

Regularity and aaa-invariant of Cameron--Walker graphs

The depth of a reflexive polytope

Edge rings with 333-linear resolutions

Reflexive polytopes arising from partially ordered sets and perfect graphs

Reflexive polytopes arising from perfect graphs

Facets and volume of Gorenstein Fano polytopes

Flat δδδ-vectors and their Ehrhart polynomials

Laplacian Simplices Associated to Digraphs

Depth stability of edge ideals

Ehrhart polynomials with negative coefficients

Order-Chain Polytopes

The numbers of edges of the order polytope and the chain poyltope of a finite partially ordered set

Centrally symmetric configurations of order polytopes

Dominating induced matchings of finite graphs and regularity of edge ideals

Facets of the r-stable n,k-hypersimplex

Gorenstein Fano polytopes arising from order polytopes and chain polytopes

Isotonian Algebras

Nonsimple polyominoes and prime ideals

Quadratic Gröbner bases arising from partially ordered sets

Quadratic Gröbner bases of twinned order polytopes

Algebraic study on Cameron-Walker graphs

Cutting convex polytopes by hyperplanes

Integer decomposition property of free sums of convex polytopes

Linearly related polyominoes

Pfaffian Systems of A-Hypergeometric Equations I: Bases of Twisted Cohomology Groups

Pseudo-Gorenstein and level Hibi rings

Simplicial complexes of whisker type

Strongly Koszul edge rings

The face ideal of a simplicial complex

The face vector of a half-open hypersimplex

A Koszul filtration for the second squarefree Veronese subring

Bounding the socles of powers of squarefree monomial ideals

Ehrhart polynomials with negative coefficients

Integer decomposition property of dilated polytopes

Koszul binomial edge ideals

Linear flags and Koszul filtrations

Many toric ideals generated by quadratic binomials possess no quadratic Gröbner bases

Markov chain Monte Carlo methods for the regular two-level fractional factorial designs and cut ideals

Polarization of Koszul cycles with applications to powers of edge ideals of whisker graphs

Chain polytopes and algebras with straightening laws

Determinantal Facet Ideals

Edge rings satisfying Serre's condition R_1

Monomial ideals whose depth function has any given number of strict local maxima

Separating hyperplanes of edge polytopes

The binomial edge ideal of a pair of graphs

The join-meet ideal of a finite lattice

Toric ideals and their circuits

Toric ideals of finite graphs and adjacent 2-minors

Toric rings arising from cyclic polytopes

Unimodular equivalence of order and chain polytopes

Centrally symmetric configurations of integer matrices

Cohen-Macaulay binomial edge ideals

Depth of initial ideals of normal edge rings

Finite lattices and Gröbner bases

Hermite normal forms and δδδ-vector

Ideals generated by adjacent 2-minors

Depth of edge rings arising from finite graphs

Roots of Ehrhart polynomials arising from graphs

Smooth Fano polytopes arising from finite partially ordered sets

Toric rings and ideals of nested configurations

Markov basis and Groebner basis of Segre-Veronese configuration for testing independence in group-wise selections

See the researcher in context

Building this map preview

The $\mathcal{N}\mathcal{F}$ -Number of a Simplicial Complex

The regularity and $h$ -polynomial of Cameron-Walker graphs

Gorenstein simplices with a given $δ$ -polynomial

Regularity and $a$ -invariant of Cameron--Walker graphs

Edge rings with $3$ -linear resolutions

Flat $δ$ -vectors and their Ehrhart polynomials

Hermite normal forms and $δ$ -vector