Source author record

Hidefumi Ohsugi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.CO math.ST Statistics Theory Applications

Catalog footprint

Research overview

20works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Symmetric edge polytopes and matching generating polynomials

Symmetric edge polytopes $\mathcal{A}_G$ of type A are lattice polytopes arising from the root system $A_n$ and finite simple graphs $G$ . There is a connection between $\mathcal{A}_G$ and the Kuramoto synchronization model in physics. In particular, the normalized volume of $\mathcal {A}_G$ plays a central role. In the present paper, we focus on a particular class of graphs. In fact, for any cactus graph $G$ , we give a formula for the $h^*$ -polynomial of $\mathcal{A}_{\widehat{G}}$ by using matching generating polynomials, where $\widehat{G}$ is the suspension of $G$ . This gives also a formula for the normalized volume of $\mathcal{A}_{\widehat{G}}$ . Moreover, via the chemical graph theory, we show that for any cactus graph $G$ , the $h^*$ -polynomial of $\mathcal{A}_{\widehat{G}}$ is real-rooted. Finally, we extend the discussion to symmetric edge polytopes of type $B$ , which are lattice polytopes arising from the root system $B_n$ and finite simple graphs.

preprint2020arXiv

Edge rings with $q$ -linear resolutions

In the present paper, we give a complete classification of connected simple graphs whose edge rings have a $q$ -linear resolution with $q \geq 2$ . In particular, we show that the edge ring of a finite connected simple graph with a $q$ -linear resolution, where $q \geq 3$ , is a hypersurface, which was conjectured by Hibi, Matsuda, and Tsuchiya.

preprint2020arXiv

Enriched order polytopes and Enriched Hibi rings

Stanley introduced two classes of lattice polytopes associated to posets, which are called the order polytope ${\mathcal O}_P$ and the chain polytope ${\mathcal C}_P$ of a poset $P$ . It is known that, given a poset $P$ , the Ehrhart polynomials of ${\mathcal O}_P$ and ${\mathcal C}_P$ are equal to the order polynomial of $P$ that counts the $P$ -partitions. In this paper, we introduce the enriched order polytope of a poset $P$ and show that it is a reflexive polytope whose Ehrhart polynomial is equal to that of the enriched chain polytope of $P$ and the left enriched order polynomial of $P$ that counts the left enriched $P$ -partitions, by using the theory of Gröbner bases. The toric rings of enriched order polytopes are called enriched Hibi rings. It turns out that enriched Hibi rings are normal, Gorenstein, and Koszul. The above result implies the existence of a bijection between the lattice points in the dilations of ${\mathcal O}^{(e)}_P$ and ${\mathcal C}^{(e)}_P$ . Towards such a bijection, we give the facet representations of enriched order and chain polytopes.

preprint2020arXiv

Reflexive polytopes arising from bipartite graphs with $γ$ -positivity associated to interior polynomials

In this paper, we introduce polytopes ${\mathcal B}_G$ arising from root systems $B_n$ and finite graphs $G$ , and study their combinatorial and algebraic properties. In particular, it is shown that ${\mathcal B}_G$ is reflexive if and only if $G$ is bipartite. Moreover, in the case, ${\mathcal B}_G$ has a regular unimodular triangulation. This implies that the $h^*$ -polynomial of ${\mathcal B}_G$ is palindromic and unimodal when $G$ is bipartite. Furthermore, we discuss stronger properties, namely the $γ$ -positivity and the real-rootedness of the $h^*$ -polynomials. In fact, if $G$ is bipartite, then the $h^*$ -polynomial of ${\mathcal B}_G$ is $γ$ -positive and its $γ$ -polynomial is given by an interior polynomial (a version of the Tutte polynomial for a hypergraph). The $h^*$ -polynomial is real-rooted if and only if the corresponding interior polynomial is real-rooted. From a counterexample to Neggers--Stanley conjecture, we construct a bipartite graph $G$ whose $h^*$ -polynomial is not real-rooted but $γ$ -positive, and coincides with the $h$ -polynomial of a flag triangulation of a sphere.

preprint2020arXiv

The $h^*$ -polynomials of locally anti-blocking lattice polytopes and their $γ$ -positivity

A lattice polytope $\mathcal{P} \subset \mathbb{R}^d$ is called a locally anti-blocking polytope if for any closed orthant $\mathbb{R}^d_{\varepsilon}$ in $\mathbb{R}^d$ , $\mathcal{P} \cap \mathbb{R}^d_{\varepsilon}$ is unimodularly equivalent to an anti-blocking polytope by reflections of coordinate hyperplanes. In the present paper, we give a formula for the $h^*$ -polynomials of locally anti-blocking lattice polytopes. In particular, we discuss the $γ$ -positivity of the $h^*$ -polynomials of locally anti-blocking reflexive polytopes.

preprint2019arXiv

Enriched chain polytopes

Stanley introduced a lattice polytope $\mathcal{C}_P$ arising from a finite poset $P$ , which is called the chain polytope of $P$ . The geometric structure of $\mathcal{C}_P$ has good relations with the combinatorial structure of $P$ . In particular, the Ehrhart polynomial of $\mathcal{C}_P$ is given by the order polynomial of $P$ . In the present paper, associated to $P$ , we introduce a lattice polytope $\mathcal{E}_{P}$ , which is called the enriched chain polytope of $P$ , and investigate geometric and combinatorial properties of this polytope. By virtue of the algebraic technique on Gröbner bases, we see that $\mathcal{E}_P$ is a reflexive polytope with a flag regular unimodular triangulation. Moreover, the $h^*$ -polynomial of $\mathcal{E}_P$ is equal to the $h$ -polynomial of a flag triangulation of a sphere. On the other hand, by showing that the Ehrhart polynomial of $\mathcal{E}_P$ coincides with the left enriched order polynomial of $P$ , it follows from works of Stembridge and Petersen that the $h^*$ -polynomial of $\mathcal{E}_P$ is $γ$ -positive. Stronger, we prove that the $γ$ -polynomial of $\mathcal{E}_P$ is equal to the $f$ -polynomial of a flag simplicial complex.

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

Nef-partitions arising from unimodular configurations

Reflexive polytopes have been studied from viewpoints of combinatorics, commutative algebra and algebraic geometry. A nef-partition of a reflexive polytope $\mathcal{P}$ is a decomposition $\mathcal{P}=\mathcal{P}_1+\cdots+\mathcal{P}_r$ such that each $\mathcal{P}_i$ is a lattice polytope containing the origin. Batyrev and van Straten gave a combinatorial method for explicit constructions of mirror pairs of Calabi-Yau complete intersections obtained from nef-partitions. In the present paper, by means of Gröbner basis techniques, we give a large family of nef-partitions arising from unimodular configurations.

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.

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 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

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

Roots of the Ehrhart polynomial of hypersimplices

The Ehrhart polynomial of the $d$ -th hypersimplex $Δ(d,n)$ of order $n$ is studied. By computational experiments and a known result for $d=2$ , we conjecture that the real part of every roots of the Ehrhart polynomial of $Δ(d,n)$ is negative and larger than $- \frac{n}{d}$ if $n \geq 2d$ . In this paper, we show that the conjecture is true when $d=3$ and that every root $a$ of the Ehrhart polynomial of $Δ(d,n)$ satisfies $-\frac{n}{d} < {\rm Re} (a) < 1$ if $4 \leq d \ll n$ .

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.

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.

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

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Hidefumi Ohsugi

Research overview

Is this your work?

20 publications

Symmetric edge polytopes and matching generating polynomials

Edge rings with $q$ -linear resolutions

Enriched order polytopes and Enriched Hibi rings

Reflexive polytopes arising from bipartite graphs with $γ$ -positivity associated to interior polynomials

The $h^*$ -polynomials of locally anti-blocking lattice polytopes and their $γ$ -positivity

Enriched chain polytopes

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

Nef-partitions arising from unimodular configurations

Centrally symmetric configurations of order polytopes

Strongly Koszul edge rings

The face vector of a half-open hypersimplex

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

Roots of the Ehrhart polynomial of hypersimplices

Toric ideals and their circuits

Toric ideals of finite graphs and adjacent 2-minors

Centrally symmetric configurations of integer matrices

Roots of Ehrhart polynomials arising from graphs

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

Hidefumi Ohsugi

Research overview

Is this your work?

20 publications

Symmetric edge polytopes and matching generating polynomials

Edge rings with qqq-linear resolutions

Enriched order polytopes and Enriched Hibi rings

Reflexive polytopes arising from bipartite graphs with γγγ-positivity associated to interior polynomials

The h∗h^*h∗-polynomials of locally anti-blocking lattice polytopes and their γγγ-positivity

Enriched chain polytopes

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

Nef-partitions arising from unimodular configurations

Centrally symmetric configurations of order polytopes

Strongly Koszul edge rings

The face vector of a half-open hypersimplex

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

Roots of the Ehrhart polynomial of hypersimplices

Toric ideals and their circuits

Toric ideals of finite graphs and adjacent 2-minors

Centrally symmetric configurations of integer matrices

Roots of Ehrhart polynomials arising from graphs

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

Edge rings with $q$ -linear resolutions

Reflexive polytopes arising from bipartite graphs with $γ$ -positivity associated to interior polynomials

The $h^*$ -polynomials of locally anti-blocking lattice polytopes and their $γ$ -positivity