BZPEER

preprint2022arXiv

On the three graph invariants related to matching of finite simple graphs

Let $G$ be a finite simple graph on the vertex set $V(G)$ and let $\text{ind-match}(G)$ , $\text{min-match}(G)$ and $\text{match}(G)$ denote the induced matching number, the minimum matching number and the matching number of $G$ , respectively. It is known that the inequalities $\text{ind-match}(G) \leq \text{min-match}(G) \leq \text{match}(G) \leq 2\text{min-match}(G)$ and $\text{match}(G) \leq \left\lfloor |V(G)|/2 \right\rfloor$ hold in general. In the present paper, we determine the possible tuples $(p, q, r, n)$ with $\text{ind-match}(G) = p$ , $\text{min-match}(G) = q$ , $\text{match}(G) = r$ and $|V(G)| = n$ arising from connected simple graphs. As an application of this result, we also determine the possible tuples $(p', q, r, n)$ with ${\rm{reg}}(G) = p'$ , $\text{min-match}(G) = q$ , $\text{match}(G) = r$ and $|V(G)| = n$ arising from connected simple graphs, where $I(G)$ is the edge ideal of $G$ and ${\rm{reg}}(G) = {\rm{reg}}(K[V(G)]/I(G))$ is the Castelnuovo--Mumford regularity of the quotient ring $K[V(G)]/I(G)$ .

preprint2021arXiv

Inequalities of invariants on Stanley-Reisner rings of Cohen-Macaulay simplicial complexes

The goal of the present paper is the study of some algebraic invariants of Stanley-Reisner rings of Cohen-Macaulay simplicial complexes of dimension $d - 1$ . We prove that the inequality $d \leq \mathrm{reg}(Δ) \cdot \mathrm{type}(Δ)$ holds for any $(d-1)$ -dimensional Cohen-Macaulay simplicial complex $Δ$ satisfying $Δ=\mathrm{core}(Δ)$ , where $\mathrm{reg}(Δ)$ (resp. $\mathrm{type}(Δ)$ ) denotes the Castelnuovo-Mumford regularity (resp. Cohen-Macaulay type) of the Stanley-Reisner ring $\Bbbk[Δ]$ . Moreover, for any given integers $d,r,t$ satisfying $r,t \geq 2$ and $r \leq d \leq rt$ , we construct a Cohen-Macaulay simplicial complex $Δ(G)$ as an independent complex of a graph $G$ such that $\dim(Δ(G))=d-1$ , $\mathrm{reg}(Δ(G))=r$ and $\mathrm{type}(Δ(G))=t$ .

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

Matching numbers and dimension of edge ideals

Let $G$ be a finite simple graph on the vertex set $V(G) = \{x_{1}, \ldots, x_{n}\}$ and match $(G)$ , min-match $(G)$ and ind-match $(G)$ the matching number, minimum matching number and induced matching number of $G$ , respectively. Let $K[V(G)] = K[x_{1}, \ldots, x_{n}]$ denote the polynomial ring over a field $K$ and $I(G) \subset K[V(G)]$ the edge ideal of $G$ . The relationship between these graph-theoretic invariants and ring-theoretic invariants of the quotient ring $K[V(G)]/I(G)$ has been studied. In the present paper, we study the relationship between match $(G)$ , min-match $(G)$ , ind-match $(G)$ and $\dim K[V(G)]/I(G)$ .

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 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)$ .

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.

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.

preprint2016arXiv

Non-Koszul quadratic Gorenstein toric rings

Koszulness of Gorenstein quadratic algebras of small socle degree is studied. In this note, we construct non-Koszul Gorenstein quadratic toric ring such that its socle degree is more than 3 by using stable set polytopes.

preprint2016arXiv

Nonincreasing depth functions of monomial ideals

Given a nonincreasing function $f : \mathbb{Z}_{\geq 0} \setminus \{ 0 \} \to \mathbb{Z}_{\geq 0}$ such that (i) $f(k) - f(k+1) \leq 1$ for all $k \geq 1$ and (ii) if $a = f(1)$ and $b = \lim_{k \to \infty} f(k)$ , then $|f^{-1}(a)| \leq |f^{-1}(a-1)| \leq \cdots \leq |f^{-1}(b+1)|$ , a system of generators of a monomial ideal $I \subset K[x_1, \ldots, x_n]$ for which ${\rm depth} S/I^k = f(k)$ for all $k \geq 1$ is explicitly described. Furthermore, we give a characterization of triplets of integers $(n,d,r)$ with $n > 0$ , $d \geq 0$ and $r > 0$ with the properties that there exists a monomial ideal $I \subset S = K[x_1, \ldots, x_n]$ for which $\lim_{k \to \infty} {\rm depth} S/I^k = d$ and ${\rm dstab}(I) = r$ , where ${\rm dstab}(I)$ is the smallest integer $k_0 \geq 1$ with ${\rm depth} S/I^{k_0} = {\rm depth} S/I^{k_0+1} = {\rm depth} S/I^{k_0+2} = \cdots$ .

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

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

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

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.

preprint2013arXiv

Strong Koszulness of toric rings associated with stable set polytopes of trivially perfect graphs

We give necessary and sufficient conditions for strong Koszulness of toric rings associated with the stable set polytope of graphs.

preprint2012arXiv

Diagonal F-thresholds and F-pure thresholds of Hibi rings

Hibi rings are a kind of graded toric ring on a finite distributive lattice $D = J(P)$ , where $P$ is a partially ordered set. In this paper, we compute diagonal F-thresholds and F-pure thresholds of Hibi rings.

preprint2012arXiv

Regularity bounds for binomial edge ideals

We show that the Castelnuovo-Mumford regularity of the binomial edge ideal of a graph is bounded below by the length of its longest induced path and bounded above by the number of its vertices.

Kazunori Matsuda

Research overview

Is this your work?

18 publications

On the three graph invariants related to matching of finite simple graphs

Inequalities of invariants on Stanley-Reisner rings of Cohen-Macaulay simplicial complexes

Homological invariants of Cameron--Walker graphs

Matching numbers and dimension of edge ideals

Regularity and h-polynomials of binomial edge ideals

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

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

Edge rings with $3$ -linear resolutions

Non-Koszul quadratic Gorenstein toric rings

Nonincreasing depth functions of monomial ideals

Centrally symmetric configurations of order polytopes

Gorenstein Fano polytopes arising from order polytopes and chain polytopes

Quadratic Gröbner bases arising from partially ordered sets

Quadratic Gröbner bases of twinned order polytopes

Strongly Koszul edge rings

Strong Koszulness of toric rings associated with stable set polytopes of trivially perfect graphs

Diagonal F-thresholds and F-pure thresholds of Hibi rings

Regularity bounds for binomial edge ideals

See the researcher in context

Building this map preview

Kazunori Matsuda

Research overview

Is this your work?

18 publications

On the three graph invariants related to matching of finite simple graphs

Inequalities of invariants on Stanley-Reisner rings of Cohen-Macaulay simplicial complexes

Homological invariants of Cameron--Walker graphs

Matching numbers and dimension of edge ideals

Regularity and h-polynomials of binomial edge ideals

The regularity and hhh-polynomial of Cameron-Walker graphs

Regularity and aaa-invariant of Cameron--Walker graphs

Edge rings with 333-linear resolutions

Non-Koszul quadratic Gorenstein toric rings

Nonincreasing depth functions of monomial ideals

Centrally symmetric configurations of order polytopes

Gorenstein Fano polytopes arising from order polytopes and chain polytopes

Quadratic Gröbner bases arising from partially ordered sets

Quadratic Gröbner bases of twinned order polytopes

Strongly Koszul edge rings

Strong Koszulness of toric rings associated with stable set polytopes of trivially perfect graphs

Diagonal F-thresholds and F-pure thresholds of Hibi rings

Regularity bounds for binomial edge ideals

See the researcher in context

Building this map preview

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

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

Edge rings with $3$ -linear resolutions