Showing 1–50 of 153 results for author: Hibi, T

A special class of pure $O$-sequences

Authors: Tài Huy Hà, Takayuki Hibi, Fabrizio Zanello

Abstract: The pure $O$-sequences of the form $(1,a,a,\ldots)$ are classified. The pure $O$-sequences of the form $(1,a,a,\ldots)$ are classified. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 5 pages

MSC Class: Primary: 05E40; Secondary: 13D40; 13H10

Resolution and Betti numbers of Vertex cover ideals

Authors: Tài Huy Hà, Takayuki Hibi

Abstract: The vertex cover ideal $J(G)$ of a finite graph $G$ is studied. We characterize when a Cohen--Macaulay vertex cover ideal $J(G)$ has a Scarf minimal free resolution. Furthermore, by using both combinatorial and topological techniques, the graded Betti number $β_{i,i+j}(J(G))$, where $i$ and $j$ are the projective dimension and the regularity of $J(G)$, is computed, when $G$ is either a path or a c… ▽ More The vertex cover ideal $J(G)$ of a finite graph $G$ is studied. We characterize when a Cohen--Macaulay vertex cover ideal $J(G)$ has a Scarf minimal free resolution. Furthermore, by using both combinatorial and topological techniques, the graded Betti number $β_{i,i+j}(J(G))$, where $i$ and $j$ are the projective dimension and the regularity of $J(G)$, is computed, when $G$ is either a path or a cycle. △ Less

Submitted 3 April, 2024; v1 submitted 1 April, 2024; originally announced April 2024.

Scarf complexes of graphs and their powers

Authors: Sara Faridi, Tài Huy Hà, Takayuki Hibi, Susan Morey

Abstract: Every multigraded free resolution of a monomial ideal I contains the Scarf multidegrees of I. We say I has a Scarf resolution if the Scarf multidegrees are sufficient to describe a minimal free resolution of I. The main question of this paper is which graphs G have edge ideal I(G) with a Scarf resolution? We show that I(G) has a Scarf resolution if and only if G is a gap-free forest. We also class… ▽ More Every multigraded free resolution of a monomial ideal I contains the Scarf multidegrees of I. We say I has a Scarf resolution if the Scarf multidegrees are sufficient to describe a minimal free resolution of I. The main question of this paper is which graphs G have edge ideal I(G) with a Scarf resolution? We show that I(G) has a Scarf resolution if and only if G is a gap-free forest. We also classify connected graphs for which all powers of I(G) have Scarf resolutions. Along the way, we give a concrete description of the Scarf complex of any forest. For a general graph, we give a recursive construction for its Scarf complex based on Scarf complexes of induced subgraphs. △ Less

Submitted 8 March, 2024; originally announced March 2024.

A New Invariant of Lattice polytopes

Authors: Winfried Bruns, Takayuki Hibi

Abstract: The maximal degree of monomials belonging to the unique minimal system of monomial generators of the canonical module $ω(K[{\mathcal P}])$ of the toric ring $K[{\mathcal P}]$ defined by a lattice polytope ${\mathcal P}$ will be studied. It is shown that if ${\mathcal P}$ possesses an interior lattice point, then the maximal degree is at most ${\rm dim} {\mathcal P} - 1$, and that this bound is the… ▽ More The maximal degree of monomials belonging to the unique minimal system of monomial generators of the canonical module $ω(K[{\mathcal P}])$ of the toric ring $K[{\mathcal P}]$ defined by a lattice polytope ${\mathcal P}$ will be studied. It is shown that if ${\mathcal P}$ possesses an interior lattice point, then the maximal degree is at most ${\rm dim} {\mathcal P} - 1$, and that this bound is the best possible in general. △ Less

Submitted 13 February, 2024; v1 submitted 18 November, 2023; originally announced November 2023.

MSC Class: 52B20; 05E40

The reduced divisor class group and the torsion number

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: The reduced divisor class group of a normal Cohen--Macaulay graded domain together with its torsion number is introduced. They are studied in detail especially for normal affine semigroup rings. The reduced divisor class group of a normal Cohen--Macaulay graded domain together with its torsion number is introduced. They are studied in detail especially for normal affine semigroup rings. △ Less

Submitted 15 September, 2023; originally announced September 2023.

MSC Class: 13H10; 13D02; 05E40

Ideals with componentwise linear powers

Authors: Takayuki Hibi, Somayeh Moradi

Abstract: Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of $A$ are componentwise linear. Applying this result to the Rees ring $\mathcal{R}(I)$ of a graded ideal $I$ gives a criterion on $I$ to have componentwise linear… ▽ More Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of $A$ are componentwise linear. Applying this result to the Rees ring $\mathcal{R}(I)$ of a graded ideal $I$ gives a criterion on $I$ to have componentwise linear powers. Moreover, for any given graph $G$, a construction on $G$ is presented which produces graphs whose cover ideals $I_G$ have componentwise linear powers. This in particular implies that for any Cohen-Macaulay Cameron-Walker graph $G$ all powers of $I_G$ have linear resolutions. Moreover, forming a cone on special graphs like unmixed chordal graphs, path graphs and Cohen-Macaulay bipartite graphs produces cover ideals with componentwise linear powers. △ Less

Submitted 4 September, 2023; originally announced September 2023.

MSC Class: 13A02; 13P10; 05E40

Reflexive polytopes and discrete polymatroids

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: A classification of discrete polymatroids whose independence polytopes are reflexive will be presented. A classification of discrete polymatroids whose independence polytopes are reflexive will be presented. △ Less

Submitted 24 February, 2023; originally announced February 2023.

The divisor class group of a discrete polymatroid

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi, Ayesha Asloob Qureshi

Abstract: In this paper we introduce toric rings of multicomplexes. We show how to compute the divisor class group and the class of the canonical module when the toric ring is normal. In the special case that the multicomplex is a discrete polymatroid, its toric ring is studied deeply for several classes of polymatroids. In this paper we introduce toric rings of multicomplexes. We show how to compute the divisor class group and the class of the canonical module when the toric ring is normal. In the special case that the multicomplex is a discrete polymatroid, its toric ring is studied deeply for several classes of polymatroids. △ Less

Submitted 8 June, 2024; v1 submitted 24 February, 2023; originally announced February 2023.

MSC Class: 13A02; 13P10; 05E40

The minimal volume of a lattice polytope

Authors: Ichiro Sainose, Ginji Hamano, Tatsuo Emura, Takayuki Hibi

Abstract: Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c$ that to the interior of $\mathcal{P}$. It follows from a lower bound theorem of Ehrhart polynomials that, when $c > 0$, the volume of $\mathcal{P}$ is bigger than or equal to $(dc + (d-1)b - d^2 + 2)/d!$. In the present paper,… ▽ More Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c$ that to the interior of $\mathcal{P}$. It follows from a lower bound theorem of Ehrhart polynomials that, when $c > 0$, the volume of $\mathcal{P}$ is bigger than or equal to $(dc + (d-1)b - d^2 + 2)/d!$. In the present paper, via triangulations, a short and elementary proof of the minimal volume formula is given. △ Less

Submitted 22 January, 2023; originally announced January 2023.

Journal ref: Australasian J. Combin. 85 (2023), 159--163

Behaviour of the normalized depth function

Authors: Antonino Ficarra, Jürgen Herzog, Takayuki Hibi

Abstract: Let $I\subset S=K[x_1,\dots,x_n]$ be a squarefree monomial ideal, $K$ a field. The $k$th squarefree power $I^{[k]}$ of $I$ is the monomial ideal of $S$ generated by all squarefree monomials belonging to $I^k$. The biggest integer $k$ such that $I^{[k]}\ne(0)$ is called the monomial grade of $I$ and it is denoted by $ν(I)$. Let $d_k$ be the minimum degree of the monomials belonging to $I^{[k]}$. Th… ▽ More Let $I\subset S=K[x_1,\dots,x_n]$ be a squarefree monomial ideal, $K$ a field. The $k$th squarefree power $I^{[k]}$ of $I$ is the monomial ideal of $S$ generated by all squarefree monomials belonging to $I^k$. The biggest integer $k$ such that $I^{[k]}\ne(0)$ is called the monomial grade of $I$ and it is denoted by $ν(I)$. Let $d_k$ be the minimum degree of the monomials belonging to $I^{[k]}$. Then, $\text{depth}(S/I^{[k]})\ge d_k-1$ for all $1\le k\leν(I)$. The normalized depth function of $I$ is defined as $g_{I}(k)=\text{depth}(S/I^{[k]})-(d_k-1)$, $1\le k\leν(I)$. It is expected that $g_I(k)$ is a non-increasing function for any $I$. In this article we study the behaviour of $g_{I}(k)$ under various operations on monomial ideals. Our main result characterizes all cochordal graphs $G$ such that for the edge ideal $I(G)$ of $G$ we have $g_{I(G)}(1)=0$. They are precisely all cochordal graphs $G$ whose complementary graph $G^c$ is connected and has a cut vertex. As a far-reaching application, for given integers $1\le s<m$ we construct a graph $G$ such that $ν(I(G))=m$ and $g_{I(G)}(k)=0$ if and only if $k=s+1,\dots,m$. Finally, we show that any non-increasing function of non-negative integers is the normalized depth function of some squarefree monomial ideal. △ Less

Submitted 14 May, 2023; v1 submitted 1 October, 2022; originally announced October 2022.

Comments: This is the final version of our paper accepted for pubblication in the Electronic Journal of Combinatorics. Some minor changes and typos fixed, bybliography updated

MSC Class: 13C15; 05E40; 05C70

Toric rings arising from vertex cover ideals

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: We extend the sortability concept to monomial ideals which are not necessarily generated in one degree and as an application we obtain normal Cohen-Macaulay toric rings attached to vertex cover ideals of graphs. Moreover, we consider a construction on a graph called a clique multi-whiskering which always produces vertex cover ideals with componentwise linear powers. We extend the sortability concept to monomial ideals which are not necessarily generated in one degree and as an application we obtain normal Cohen-Macaulay toric rings attached to vertex cover ideals of graphs. Moreover, we consider a construction on a graph called a clique multi-whiskering which always produces vertex cover ideals with componentwise linear powers. △ Less

Submitted 22 September, 2022; originally announced September 2022.

MSC Class: 05E40; 13A02; 13P10

The normalized depth function of squarefree powers

Authors: Nursel Erey, Jürgen Herzog, Takayuki Hibi, Sara Saeedi Madani

Abstract: The depth of squarefree powers of a squarefree monomial ideal is introduced. Let $I$ be a squarefree monomial ideal of the polynomial ring $S=K[x_1,\ldots,x_n]$. The $k$-th squarefree power $I^{[k]}$ of $I$ is the ideal of $S$ generated by those squarefree monomials $u_1\cdots u_k$ with each $u_i\in G(I)$, where $G(I)$ is the unique minimal system of monomial generators of $I$. Let $d_k$ denote th… ▽ More The depth of squarefree powers of a squarefree monomial ideal is introduced. Let $I$ be a squarefree monomial ideal of the polynomial ring $S=K[x_1,\ldots,x_n]$. The $k$-th squarefree power $I^{[k]}$ of $I$ is the ideal of $S$ generated by those squarefree monomials $u_1\cdots u_k$ with each $u_i\in G(I)$, where $G(I)$ is the unique minimal system of monomial generators of $I$. Let $d_k$ denote the minimum degree of monomials belonging to $G(I^{[k]})$. One has $\operatorname{depth}(S/I^{[k]}) \geq d_k -1$. Setting $g_I(k) = \operatorname{depth}(S/I^{[k]}) - (d_k - 1)$, one calls $g_I(k)$ the normalized depth function of $I$. The computational experience strongly invites us to propose the conjecture that the normalized depth function is nonincreasing. In the present paper, especially the normalized depth function of the edge ideal of a finite simple graph is deeply studied. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Binomial ideals attached to finite collections of cells

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: We consider the ideal of inner $2$-minors $I_{\mathcal{P}}$ of a finite set of cells $\mathcal{P}$, which we call the cell ideal of $\mathcal{P}$. A nice interpretation for the height of an unmixed ideal $I_{\mathcal{P}}$, in terms of the number of cells of $\mathcal{P}$ is given. Moreover, the coordinate rings of cell ideals with isolated singularities are determined. We consider the ideal of inner $2$-minors $I_{\mathcal{P}}$ of a finite set of cells $\mathcal{P}$, which we call the cell ideal of $\mathcal{P}$. A nice interpretation for the height of an unmixed ideal $I_{\mathcal{P}}$, in terms of the number of cells of $\mathcal{P}$ is given. Moreover, the coordinate rings of cell ideals with isolated singularities are determined. △ Less

Submitted 8 June, 2024; v1 submitted 13 May, 2022; originally announced May 2022.

MSC Class: Primary 13F20; Secondary 05E40

Finite distributive lattices, polyominoes and ideals of König type

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: Finite distributive lattices whose join-meet ideals are of König type will be classified. Furthermore, a class of polyominoes whose polyomino ideals are of König type will be studied. Finite distributive lattices whose join-meet ideals are of König type will be classified. Furthermore, a class of polyominoes whose polyomino ideals are of König type will be studied. △ Less

Submitted 19 February, 2022; originally announced February 2022.

MSC Class: 13P10; 05E40

Rings of Teter type

Authors: Oleksandra Gasanova, Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: Let $R$ be a Cohen--Macaulay local $K$-algebra or a standard graded $K$-algebra over a field $K$ with a canonical module $ω_R$. The trace of $ω_R$ is the ideal $tr(ω_R)$ of $R$ which is the sum of those ideals $\varphi(ω_R)$ with $\varphi\in Hom_R(ω_R,R)$. The smallest number $s$ for which there exist $\varphi_1, \ldots, \varphi_s \in Hom_R(ω_R,R)$ with… ▽ More Let $R$ be a Cohen--Macaulay local $K$-algebra or a standard graded $K$-algebra over a field $K$ with a canonical module $ω_R$. The trace of $ω_R$ is the ideal $tr(ω_R)$ of $R$ which is the sum of those ideals $\varphi(ω_R)$ with $\varphi\in Hom_R(ω_R,R)$. The smallest number $s$ for which there exist $\varphi_1, \ldots, \varphi_s \in Hom_R(ω_R,R)$ with $tr(ω_R)=\varphi_1(ω_R) + \cdots + \varphi_s(ω_R)$ is called the Teter number of $R$. We say that $R$ is of Teter type if $s = 1$. It is shown that $R$ is not of Teter type if $R$ is generically Gorenstein. In the present paper, we focus especially on $0$-dimensional graded and monomial $K$-algebras and present various classes of such algebras which are of Teter type. △ Less

Submitted 14 December, 2021; v1 submitted 8 December, 2021; originally announced December 2021.

MSC Class: 13H10; 13M05

Stable set rings which are Gorenstein on the punctured spectrum

Authors: Takayuki Hibi, Dumitru I. Stamate

Abstract: The non-Gorenstein locus of stable set rings of finite simple perfect graphs is studied. We describe combinatorially those perfect graphs whose stable set rings are Gorenstein on the punctured spectrum. In addition, we show that, in general, for Cohen--Macaulay graded algebras, their Cohen--Macaulay type and residue are largely independent. The non-Gorenstein locus of stable set rings of finite simple perfect graphs is studied. We describe combinatorially those perfect graphs whose stable set rings are Gorenstein on the punctured spectrum. In addition, we show that, in general, for Cohen--Macaulay graded algebras, their Cohen--Macaulay type and residue are largely independent. △ Less

Submitted 29 November, 2021; v1 submitted 22 August, 2021; originally announced August 2021.

Comments: v2: added more details in the exposition. To appear in Collectanea Mathematica. 6 pages

MSC Class: 13H10; 05E40; 05C17; 05C69; 14M25; 06A11

Squarefree powers of edge ideals of forests

Authors: Nursel Erey, Takayuki Hibi

Abstract: Let $I(G)^{[k]}$ denote the $k$th squarefree power of the edge ideal of $G$. When $G$ is a forest, we provide a sharp upper bound for the regularity of $I(G)^{[k]}$ in terms of the $k$-admissable matching number of $G$. For any positive integer $k$, we classify all forests $G$ such that $I(G)^{[k]}$ has linear resolution. We also give a combinatorial formula for the regularity of $I(G)^{[2]}$ for… ▽ More Let $I(G)^{[k]}$ denote the $k$th squarefree power of the edge ideal of $G$. When $G$ is a forest, we provide a sharp upper bound for the regularity of $I(G)^{[k]}$ in terms of the $k$-admissable matching number of $G$. For any positive integer $k$, we classify all forests $G$ such that $I(G)^{[k]}$ has linear resolution. We also give a combinatorial formula for the regularity of $I(G)^{[2]}$ for any forest $G$. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: to appear in Electronic Journal of Combinatorics

Journal ref: The Electronic Journal of Combinatorics, 28(2) (2021), P2.32

Nearly Gorenstein rings arising from finite graphs

Authors: Takayuki Hibi, Dumitru I. Stamate

Abstract: The classification of complete multipartite graphs whose edge rings are nearly Gorenstein as well as that of finite perfect graphs whose stable set rings are nearly Gorenstein is achieved. The classification of complete multipartite graphs whose edge rings are nearly Gorenstein as well as that of finite perfect graphs whose stable set rings are nearly Gorenstein is achieved. △ Less

Submitted 20 July, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

Comments: v3: fixed one misprint in the proof of Lemma 2.1; v2: minor edits, some details added. To appear in the Electronic Journal of Combinatorics. 10 pages

MSC Class: 13H10; 05E40; 05C17 (Primary) 05C69; 14M25 (Secondary)

Journal ref: Electronic Journal of Combinatorics 28 (3) (2021), P3.28. 11 pages

Diameter and connectivity of finite simple graphs

Authors: Takayuki Hibi, Sara Saeedi Madani

Abstract: Let $G$ be a finite simple non-complete connected graph on $\{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. Being motivated by the computation of the depth of the binomial edge ideal of $G$, the possible sequences $(n, q, f, d)$ of integers for which there is a finite simple non-complete c… ▽ More Let $G$ be a finite simple non-complete connected graph on $\{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. Being motivated by the computation of the depth of the binomial edge ideal of $G$, the possible sequences $(n, q, f, d)$ of integers for which there is a finite simple non-complete connected graph $G$ on $\{1, \ldots, n\}$ with $q = κ(G), f = f(G), d = \mathrm{diam}(G)$ satisfying $f + d = n + 2 - q$ will be determined. Furthermore, finite simple non-complete connected graphs $G$ on $\{1, \ldots, n\}$ satisfying $f(G) + \mathrm{diam}(G) = n + 2 - κ(G)$ will be classified. △ Less

Submitted 26 March, 2021; originally announced March 2021.

Comments: 10 pages, 8 figures

MSC Class: Primary 05E40; Secondary 05C75

Graded ideals of König type

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: Inspired by the notion of König graphs we introduce graded ideals of König type with respect to a monomial order $<$. It is shown that if $I$ is of König type, then the Cohen--Macaulay property of $\ini_<(I)$ does not depend on the characteristic of the base field. This happens to be the case also for $I$ itself when $I$ is a binomial edge ideal. Attached to an ideal of König type is a sequence of… ▽ More Inspired by the notion of König graphs we introduce graded ideals of König type with respect to a monomial order $<$. It is shown that if $I$ is of König type, then the Cohen--Macaulay property of $\ini_<(I)$ does not depend on the characteristic of the base field. This happens to be the case also for $I$ itself when $I$ is a binomial edge ideal. Attached to an ideal of König type is a sequence of linear forms, whose elements are variables or differences of variables. This sequence is a system of parameters for $\ini_<(I)$, and is a potential system of parameters for $I$ itself. We study in detail the ideals of König type among the edge ideals, binomial edge ideals and the toric ideal of a Hibi ring and use the König property to determine explicitly their canonical module. △ Less

Submitted 13 March, 2021; originally announced March 2021.

MSC Class: 13H10; 13C15

The size of Betti tables of edge ideals arising from bipartite graphs

Authors: Nursel Erey, Takayuki Hibi

Abstract: Let $\operatorname{pd}(I(G))$ and $\operatorname{reg}(I(G))$ respectively denote the projective dimension and the regularity of the edge ideal $I(G)$ of a graph $G$. For any positive integer $n$, we determine all pairs $(\operatorname{pd}(I(G)),\, \operatorname{reg}(I(G)))$ as $G$ ranges over all connected bipartite graphs on $n$ vertices. Let $\operatorname{pd}(I(G))$ and $\operatorname{reg}(I(G))$ respectively denote the projective dimension and the regularity of the edge ideal $I(G)$ of a graph $G$. For any positive integer $n$, we determine all pairs $(\operatorname{pd}(I(G)),\, \operatorname{reg}(I(G)))$ as $G$ ranges over all connected bipartite graphs on $n$ vertices. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Comments: 12 pages

Journal ref: Proc. Amer. Math. Soc. 150 (2022), no. 12, 5073-5083

Toric Codes from Order Polytopes

Authors: Mahir Bilen Can, Takayuki Hibi

Abstract: In this article we investigate a class of linear error correcting codes in relation with the order polytopes. In particular we consider the order polytopes of tree posets and bipartite posets. We calculate the parameters of the associated toric variety codes. In this article we investigate a class of linear error correcting codes in relation with the order polytopes. In particular we consider the order polytopes of tree posets and bipartite posets. We calculate the parameters of the associated toric variety codes. △ Less

Submitted 27 July, 2021; v1 submitted 6 February, 2021; originally announced February 2021.

Comments: To appear in Discrete and Computational Geometry

Componentwise linear powers and the $x$-condition

Authors: Jürgen Herzog, Takayuki Hibi, Somayeh Moradi

Abstract: Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gröbner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded components $A_k$ of $A$ have linear quotients and with additional assumptions are componentwise linear. A typical example of such an algebra is the Rees ring… ▽ More Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gröbner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded components $A_k$ of $A$ have linear quotients and with additional assumptions are componentwise linear. A typical example of such an algebra is the Rees ring $R(I)$ of a graded ideal or the symmetric algebra $Sym(M)$ of a module $M$. We apply our criterion to study certain symmetric algebras and the powers of vertex cover ideals of certain classes of graphs. △ Less

Submitted 22 October, 2020; originally announced October 2020.

MSC Class: 05E40; 13A02

Canonical trace ideal and residue for numerical semigroup rings

Authors: Jürgen Herzog, Takayuki Hibi, Dumitru I. Stamate

Abstract: For a numerical semigroup ring $K[H]$ we study the trace of its canonical ideal. The colength of this ideal is called the residue of $H$. This invariant measures how far is $H$ from being symmetric, i.e. $K[H]$ from being a Gorenstein ring. We remark that the canonical trace ideal contains the conductor ideal, and we study bounds for the residue. For $3$-generated numerical semigroups we give ex… ▽ More For a numerical semigroup ring $K[H]$ we study the trace of its canonical ideal. The colength of this ideal is called the residue of $H$. This invariant measures how far is $H$ from being symmetric, i.e. $K[H]$ from being a Gorenstein ring. We remark that the canonical trace ideal contains the conductor ideal, and we study bounds for the residue. For $3$-generated numerical semigroups we give explicit formulas for the canonical trace ideal and the residue of $H$. Thus, in this setting we can classify those whose residue is at most one (the nearly-Gorenstein ones), and we show the eventual periodic behaviour of the residue in a shifted family. △ Less

Submitted 4 August, 2020; originally announced August 2020.

Comments: 16 pages; this paper contains most of the results related to numerical semigroups from the initial version of our paper arXiv:1612.02723 [math.AC]

MSC Class: 13H10; 20M10; 20M25; 13D02; 05E40

Journal ref: Semigroup Forum 103 (2021), 550-566

Homological invariants of Cameron--Walker graphs

Authors: Takayuki Hibi, Hiroju Kanno, Kyouko Kimura, Kazunori Matsuda, Adam Van Tuyl

Abstract: 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)))$,… ▽ More 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. △ Less

Submitted 11 August, 2020; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 26 pages, 9 figures; revised and corrected

MSC Class: 13D02; 13D40; 05C70; 05E40

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

Authors: Takayuki Hibi, Hasan Mahmood

Abstract: 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}… ▽ More 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$. △ Less

Submitted 3 May, 2020; originally announced May 2020.

Comments: 7 Pages

MSC Class: 13F55; 05E45

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

Authors: Takayuki Hibi, Kyouko Kimura, Kazunori Matsuda, Adam Van Tuyl

Abstract: 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… ▽ More 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)$. △ Less

Submitted 16 March, 2020; originally announced March 2020.

Comments: 15 pages; comments welcomed

MSC Class: 13D02; 13D40; 05C70; 05E40

Max Min vertex cover and the size of Betti tables

Authors: Huy Tai Ha, Takayuki Hibi

Abstract: 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… ▽ More 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. △ Less

Submitted 15 April, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: 14 pages; restructure and rewrite the introduction to highlight our main algebraic results

MSC Class: 05C70; 05E40; 13D02

Gröbner bases of toric ideals associated with matroids

Authors: Ken-ichi Hayase, Takayuki Hibi, Koyo Katsuno, Kazuki Shibata

Abstract: 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 symmetri… ▽ More 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. △ Less

Submitted 27 April, 2020; v1 submitted 31 January, 2020; originally announced January 2020.

Comments: 4 pages

Odd cycles and Hilbert functions of their toric rings

Authors: Takayuki Hibi, Akiyoshi Tsuchiya

Abstract: 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$-v… ▽ More 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. △ Less

Submitted 16 December, 2019; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: 4 pages

MSC Class: 13A02; 13H10

Journal ref: Mathematics 8 (2020), 22

The regularity of edge rings and matching numbers

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: Let $K[G]$ denote the edge ring of a finite connected simple graph $G$ on $[d]$ and $\mat(G)$ the matching number of $G$. It is shown that $\reg(K[G]) \leq \mat(G)$ if $G$ is non-bipartite and $K[G]$ is normal, and that $\reg(K[G]) \leq \mat(G) - 1$ if $G$ is bipartite. Let $K[G]$ denote the edge ring of a finite connected simple graph $G$ on $[d]$ and $\mat(G)$ the matching number of $G$. It is shown that $\reg(K[G]) \leq \mat(G)$ if $G$ is non-bipartite and $K[G]$ is normal, and that $\reg(K[G]) \leq \mat(G) - 1$ if $G$ is bipartite. △ Less

Submitted 22 November, 2019; originally announced November 2019.

Matchings and squarefree powers of edge ideals

Authors: Nursel Erey, Jürgen Herzog, Takayuki Hibi, Sara Saeedi Madani

Abstract: Squarefree powers of edge ideals are intimately related to matchings of the underlying graph. In this paper we give bounds for the regularity of squarefree powers of edge ideals, and we consider the question of when such powers are linearly related or have linear resolution. We also consider the so-called squarefree Ratliff property. Squarefree powers of edge ideals are intimately related to matchings of the underlying graph. In this paper we give bounds for the regularity of squarefree powers of edge ideals, and we consider the question of when such powers are linearly related or have linear resolution. We also consider the so-called squarefree Ratliff property. △ Less

Submitted 25 September, 2019; originally announced September 2019.

Comments: 21 pages, 6 figures

Depth of an initial ideal

Authors: Takayuki Hibi, Akiyoshi Tsuchiya

Abstract: Given an arbitrary integer $d>0$, we construct a homogeneous ideal $I$ of the polynomial ring $S = K[x_1, \ldots, x_{3d}]$ in $3d$ variables over a filed $K$ for which $S/I$ is a Cohen--Macaulay ring of dimension $d$ with the property that, for each of the integers $0 \leq r \leq d$, there exists a monomial order $<_r$ on $S$ with ${\rm depth} (S/{\rm in}_{<_r}(I)) = r$, where ${\rm in}_{<_r}(I)$… ▽ More Given an arbitrary integer $d>0$, we construct a homogeneous ideal $I$ of the polynomial ring $S = K[x_1, \ldots, x_{3d}]$ in $3d$ variables over a filed $K$ for which $S/I$ is a Cohen--Macaulay ring of dimension $d$ with the property that, for each of the integers $0 \leq r \leq d$, there exists a monomial order $<_r$ on $S$ with ${\rm depth} (S/{\rm in}_{<_r}(I)) = r$, where ${\rm in}_{<_r}(I)$ is the initial ideal of $I$ with respect to $<_r$. △ Less

Submitted 1 August, 2019; v1 submitted 29 July, 2019; originally announced July 2019.

Comments: 4 pages

MSC Class: 13P10

Gorenstein graphic matroids

Authors: Takayuki Hibi, Michał Lasoń, Kazunori Matsuda, Mateusz Michałek, Martin Vodička

Abstract: The toric variety of a matroid is projectively normal, and therefore it is Cohen-Macaulay. We provide a complete graph-theoretic classification when the toric variety of a graphic matroid is Gorenstein. The toric variety of a matroid is projectively normal, and therefore it is Cohen-Macaulay. We provide a complete graph-theoretic classification when the toric variety of a graphic matroid is Gorenstein. △ Less

Submitted 14 May, 2019; originally announced May 2019.

MSC Class: 05B35; 05C75; 13H10; 14M25

Journal ref: Israel Journal of Mathematics 243 (2021), no. 1, 1-26

Matching numbers and the regularity of the Rees algebra of an edge ideal

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: The regularity of the Rees ring of the edge ideal of a finite simple graph is studied. We show that the matching number is a lower and matching number~$+1$ is an upper bound of the regularity, if the Rees algebra is normal. In general the induced matching number is a lower bound for the regularity, which can be shown by applying the squarefree divisor complex. The regularity of the Rees ring of the edge ideal of a finite simple graph is studied. We show that the matching number is a lower and matching number~$+1$ is an upper bound of the regularity, if the Rees algebra is normal. In general the induced matching number is a lower bound for the regularity, which can be shown by applying the squarefree divisor complex. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Induced matching numbers of finite graphs and edge ideals

Authors: Takayuki Hibi, Hiroju Kanno, Kazunori Matsuda

Abstract: Let $G$ be a finite simple graph on the vertex set $V(G) = \{x_1, \ldots, x_n\}$ and $I(G) \subset K[V(G)]$ its edge ideal, where $K[V(G)]$ is the polynomial ring in $x_1, \ldots, x_n$ over a field $K$ with each ${\rm deg} x_i = 1$ and where $I(G)$ is generated by those squarefree quadratic monomials $x_ix_j$ for which $\{x_i, x_j\}$ is an edge of $G$. In the present paper, given integers… ▽ More Let $G$ be a finite simple graph on the vertex set $V(G) = \{x_1, \ldots, x_n\}$ and $I(G) \subset K[V(G)]$ its edge ideal, where $K[V(G)]$ is the polynomial ring in $x_1, \ldots, x_n$ over a field $K$ with each ${\rm deg} x_i = 1$ and where $I(G)$ is generated by those squarefree quadratic monomials $x_ix_j$ for which $\{x_i, x_j\}$ is an edge of $G$. In the present paper, given integers $1 \leq a \leq r$ and $s \geq 1$, the existence of a finite connected simple graph $G = G(a, r, d)$ with ${\rm im}(G) = a$, ${\rm reg}(R/I(G)) = r$ and ${\rm deg} h_{K[V(G)]/I(G)} (λ) = s$, where ${\rm im}(G)$ is the induced matching number of $G$ and where $h_{K[V(G)]/I(G)} (λ)$ is the $h$-polynomial of $K[V(G)]/I(G)$. △ Less

Submitted 27 February, 2019; originally announced February 2019.

Comments: 11 pages

MSC Class: 05C69; 05C70; 05E40; 13D40; 13H10

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

Authors: Takayuki Hibi, Kyouko Kimura, Kazunori Matsuda, Akiyoshi Tsuchiya

Abstract: 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… ▽ More 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. △ Less

Submitted 31 January, 2019; v1 submitted 6 January, 2019; originally announced January 2019.

Comments: 25 pages, 8 figures

MSC Class: 05E40; 13H10

Journal ref: Journal of Algebra 584 (2021), 215--242

Extremal Betti numbers of edge ideals

Authors: Takayuki Hibi, Kyouko Kimura, Kazunori Matsuda

Abstract: Given integers $r$ and $b$ with $1 \leq b \leq r$, a finite simple connected graph $G$ for which ${\rm reg}(S/I(G)) = r$ and the number of extremal Betti numbers of $S/I(G)$ is equal to $b$ will be constructed. Given integers $r$ and $b$ with $1 \leq b \leq r$, a finite simple connected graph $G$ for which ${\rm reg}(S/I(G)) = r$ and the number of extremal Betti numbers of $S/I(G)$ is equal to $b$ will be constructed. △ Less

Submitted 14 March, 2019; v1 submitted 21 October, 2018; originally announced October 2018.

Comments: 7 pages

MSC Class: 05E40; 13H10

Regularity and $h$-polynomials of edge ideals

Authors: Takayuki Hibi, Kazunori Matsuda, Adam Van Tuyl

Abstract: For any two integers $d,r \geq 1$, we show that there exists an edge ideal $I(G)$ such that the ${\rm reg}\left(R/I(G)\right)$, the Castelnuovo-Mumford regularity of $R/I(G)$, is $r$, and ${\rm deg} (h_{R/I(G)}(t))$, the degree of the $h$-polynomial of $R/I(G)$, is $d$. Additionally, if $G$ is a graph on $n$ vertices, we show that ${\rm reg}\left(R/I(G)\right) + {\rm deg} (h_{R/I(G)}(t)) \leq n$. For any two integers $d,r \geq 1$, we show that there exists an edge ideal $I(G)$ such that the ${\rm reg}\left(R/I(G)\right)$, the Castelnuovo-Mumford regularity of $R/I(G)$, is $r$, and ${\rm deg} (h_{R/I(G)}(t))$, the degree of the $h$-polynomial of $R/I(G)$, is $d$. Additionally, if $G$ is a graph on $n$ vertices, we show that ${\rm reg}\left(R/I(G)\right) + {\rm deg} (h_{R/I(G)}(t)) \leq n$. △ Less

Submitted 16 October, 2018; originally announced October 2018.

Comments: 10 pages; comments welcomed

MSC Class: 13D02; 13D40; 05C69; 05C70; 05E40

An upper bound for the regularity of powers of edge ideals

Authors: Jürgen Herzog, Takayuki Hibi

Abstract: For a finite simple graph $G$ we give an upper bound for the regularity of the powers of the edge ideal $I(G)$. For a finite simple graph $G$ we give an upper bound for the regularity of the powers of the edge ideal $I(G)$. △ Less

Submitted 15 October, 2018; originally announced October 2018.

Levelness of toric rings arising from order and chain polytopes

Authors: Takayuki Hibi, Akihiro Higashitani

Abstract: Let $K[\mathcal{O}(P)]$ denote the toric ring of the order polytope $\mathcal{O}(P)$ of a finite partially ordered set $P$ and $K[\mathcal{C}(P)]$ that of the chain polytope $\mathcal{C}(P)$. It will be shown that $β_{p, p+j}(K[\mathcal{O}(P)]) = β_{p, p+j}(K[\mathcal{C}(P)])$ for all $j \geq 0$, where $p$ is the projective dimension of $K[\mathcal{O}(P)]$ (and that of $K[\mathcal{C}(P)]$). In par… ▽ More Let $K[\mathcal{O}(P)]$ denote the toric ring of the order polytope $\mathcal{O}(P)$ of a finite partially ordered set $P$ and $K[\mathcal{C}(P)]$ that of the chain polytope $\mathcal{C}(P)$. It will be shown that $β_{p, p+j}(K[\mathcal{O}(P)]) = β_{p, p+j}(K[\mathcal{C}(P)])$ for all $j \geq 0$, where $p$ is the projective dimension of $K[\mathcal{O}(P)]$ (and that of $K[\mathcal{C}(P)]$). In particular, $K[\mathcal{O}(P)]$ is level if and only if $K[\mathcal{C}(P)]$ is level. △ Less

Submitted 23 December, 2018; v1 submitted 22 September, 2018; originally announced September 2018.

Comments: There was a gap in the proof of the main theorem

Regularity and h-polynomials of binomial edge ideals

Authors: Takayuki Hibi, Kazunori Matsuda

Abstract: 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 ed… ▽ More 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. △ Less

Submitted 26 August, 2020; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: 6 pages. Conjecture 0.1 has been deleted. A counterexample of Conjecture 0.1 were given in arXiv:1906.05510

MSC Class: 05E40; 13H10

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

Authors: Takayuki Hibi, Hidefumi Ohsugi, Akiyoshi Tsuchiya

Abstract: 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 orde… ▽ More 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. △ Less

Submitted 3 April, 2019; v1 submitted 16 July, 2018; originally announced July 2018.

Comments: 13 pages, 2 figures

MSC Class: 13P10; 52B20

Journal ref: Michigan Mathematical Journal 69 (2020), 765--778

Lexsegment ideals and their h-polynomials

Authors: Takayuki Hibi, Kazunori Matsuda

Abstract: Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\mathrm{deg}\ x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form $h_{S/I}(λ)/(1 - λ)^d$, where $h_{S/I}(λ) = h_0 + h_1λ+ h_2λ^2 + \cdots + h_sλ^s$ with $h_s \neq 0$ is the $h$-polynomial of $S/I$. Given arbitrary integers… ▽ More Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\mathrm{deg}\ x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form $h_{S/I}(λ)/(1 - λ)^d$, where $h_{S/I}(λ) = h_0 + h_1λ+ h_2λ^2 + \cdots + h_sλ^s$ with $h_s \neq 0$ is the $h$-polynomial of $S/I$. Given arbitrary integers $r \geq 1$ and $s \geq 1$, a lexsegment ideal $I$ of $S = K[x_1, \ldots, x_n]$, where $n \leq \max\{r, s\} + 2$, satisfying $\mathrm{reg}(S/I) = r$ and $ \mathrm{deg}\ h_{S/I}(λ) = s$ will be constructed. △ Less

Submitted 13 July, 2018; v1 submitted 8 July, 2018; originally announced July 2018.

Comments: 4 pages

MSC Class: 05E40; 13H10

On the regularity of join-meet ideals of modular lattices

Authors: Rodica Dinu, Viviana Ene, Takayuki Hibi

Abstract: We study join-meet ideals associated with modular non-distributive lattices. We give a lower bound for the regularity and show that they are not linearly related. We study join-meet ideals associated with modular non-distributive lattices. We give a lower bound for the regularity and show that they are not linearly related. △ Less

Submitted 15 February, 2019; v1 submitted 13 June, 2018; originally announced June 2018.

The depth of a reflexive polytope

Authors: Takayuki Hibi, Akiyoshi Tsuchiya

Abstract: 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}$. 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}$. △ Less

Submitted 14 April, 2019; v1 submitted 31 May, 2018; originally announced May 2018.

Comments: 7 pages, to appear in Archiv der Mathematik

MSC Class: 13H10; 52B20

Journal ref: Archiv der Mathematik 113(2019), 265--272

The number of $4$-cycles and the cyclomatic number of a finite simple graph

Authors: Takayuki Hibi, Aki Mori, Hidefumi Ohsugi

Abstract: Let $G$ be a finite connected simple graph with $n$ vertices and $m$ edges. We show that, when $G$ is not bipartite, the number of $4$-cycles contained in $G$ is at most $\binom{m-n+1}{2}$. We further provide a short combinatorial proof of the bound $\binom{m-n+2}{2}$ which holds for bipartite graphs. Let $G$ be a finite connected simple graph with $n$ vertices and $m$ edges. We show that, when $G$ is not bipartite, the number of $4$-cycles contained in $G$ is at most $\binom{m-n+1}{2}$. We further provide a short combinatorial proof of the bound $\binom{m-n+2}{2}$ which holds for bipartite graphs. △ Less

Submitted 2 November, 2022; v1 submitted 18 January, 2018; originally announced January 2018.

Comments: 19 pages, writings are improved

MSC Class: 05C30

The relevance of Freiman's theorem for combinatorial commutative algebra

Authors: Jürgen Herzog, Takayuki Hibi, Guangjun Zhu

Abstract: Freiman's theorem gives a lower bound for the cardinality of the doubling of a finite set in $\RR^n$. In this paper we give an interpretation of his theorem for monomial ideals and their fiber cones. We call a quasi-equigenerated monomial ideal a Freiman ideal, if the set of its exponent vectors achieves Freiman's lower bound for its doubling. Algebraic characterizations of Freiman ideals are give… ▽ More Freiman's theorem gives a lower bound for the cardinality of the doubling of a finite set in $\RR^n$. In this paper we give an interpretation of his theorem for monomial ideals and their fiber cones. We call a quasi-equigenerated monomial ideal a Freiman ideal, if the set of its exponent vectors achieves Freiman's lower bound for its doubling. Algebraic characterizations of Freiman ideals are given, and finite simple graphs are classified whose edge ideals or matroidal ideals of its cycle matroids are Freiman ideals. △ Less

Submitted 16 January, 2018; originally announced January 2018.

MSC Class: 13C99 (Primary); 13A15; 13E15; 13H05; 13H10 (Secondary)

Edge rings with $3$-linear resolutions

Authors: Takayuki Hibi, Kazunori Matsuda, Akiyoshi Tsuchiya

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

Submitted 10 September, 2018; v1 submitted 10 December, 2017; originally announced December 2017.

Comments: 8 pages, to appear in Proceedings of the American Mathematical Society

MSC Class: 05E40; 13H10; 52B20

Journal ref: Proceedings of the American Mathematical Society 147(2019), 3225--3232

Regularity and $h$-polynomials of monomial ideals

Authors: Takayuki Hibi, Kazunori Matsuda

Abstract: Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $°x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form $h_{S/I}(λ)/(1 - λ)^d$, where $h_{S/I}(λ) = h_0 + h_1λ+ h_2λ^2 + \cdots + h_sλ^s$ with $h_s \neq 0$ is the $h$-polynomial of $S/I$. It is known that, when $S/I$ is Cohen--Macaulay… ▽ More Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $°x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form $h_{S/I}(λ)/(1 - λ)^d$, where $h_{S/I}(λ) = h_0 + h_1λ+ h_2λ^2 + \cdots + h_sλ^s$ with $h_s \neq 0$ is the $h$-polynomial of $S/I$. It is known that, when $S/I$ is Cohen--Macaulay, one has $\reg(S/I) = °h_{S/I}(λ)$, where $\reg(S/I)$ is the (Castelnuovo--Mumford) regularity of $S/I$. In the present paper, given arbitrary integers $r$ and $s$ with $r \geq 1$ and $s \geq 1$, a monomial ideal $I$ of $S = K[x_1, \ldots, x_n]$ with $n \gg 0$ for which $\reg(S/I) = r$ and $°h_{S/I}(λ) = s$ will be constructed. Furthermore, we give a class of edge ideals $I \subset S$ of Cameron--Walker graphs with $\reg(S/I) = °h_{S/I}(λ)$ for which $S/I$ is not Cohen--Macaulay. △ Less

Submitted 6 November, 2017; originally announced November 2017.

Comments: 11 pages

MSC Class: 05E40; 13H10