---
title: Ohsugi–Tsuchiya Conjecture
url: https://www.emergentmind.com/topics/ohsugi-tsuchiya-conjecture
type: topic
---

# Ohsugi–Tsuchiya Conjecture

The Ohsugi–Tsuchiya Conjecture refers to two central conjectures in the combinatorial theory of lattice polytopes: the γ-nonnegativity conjecture for the symmetric edge polytope (SEP) and the Ehrhart-equivalence conjecture between enriched poset polytopes. Both conjectures illuminate deep combinatorial, algebraic, and geometric properties of polytopes associated to combinatorial objects such as graphs, posets, and regular matroids.

## 1. Symmetric Edge Polytopes and the γ-Vector

Let $G$ be a finite simple graph with vertex set of size $n$, and define the symmetric edge polytope (SEP) by
$$
\Sigma(G) = \mathrm{conv}\left\{ \pm(e_i - e_j) \mid ij \in E(G) \right\} \subset \R^n,
$$
where $e_i$ denotes the $i$th standard basis vector. The Ehrhart function $L_{\Sigma(G)}(m) = |m\,\Sigma(G)\cap \Z^n|$ has generating function
$$
E(\Sigma(G); t) = \sum_{m\ge0} L_{\Sigma(G)}(m)t^m = \frac{h_0^* + h_1^* t + \cdots + h_d^* t^d}{(1-t)^n},
$$
where $d = \dim \Sigma(G) = n-1$. The $h^*$-polynomial $h^*(\Sigma(G); t) = \sum_{i=0}^d h_i^* t^i$ is symmetric ($h_i^* = h_{d-i}^*$) due to reflexivity and can be written as
$$
h^*(\Sigma(G); t) = \sum_{i=0}^{\lfloor d/2 \rfloor} \gamma_i t^i (1+t)^{d-2i},
$$
where $\gamma = (\gamma_0, \gamma_1, \ldots)$ is called the γ-vector.

The Ohsugi–Tsuchiya Conjecture posits that for every finite graph $G$, this γ-vector is entrywise nonnegative:
$$
\gamma_i \ge 0 \quad\text{for all } i.
$$

## 2. Known Results and Extensions

Prior to recent work, γ-nonnegativity was established for various graph classes:
- Complete graphs $K_n$, via flag, unimodular, anti-blocking triangulations and Gal's theorem.
- Complete bipartite graphs $K_{p,q}$, encompassing trees and star graphs.
- Even cycles $C_{2r}$.
- Broader graph families admitting “locally anti-blocking” decompositions, as demonstrated by Ohsugi–Tsuchiya (2021), covering chordal and certain bipartite graphs.

Additionally, extensive computation on small graphs found no counterexamples to γ-nonnegativity. However, there was no explicit combinatorial formula for general γ-vectors, nor a universal proof mechanism outside known triangulation results [2401.03383].

## 3. Extension to Regular Matroids and Generalized SEPs

The notion of SEPs extends naturally to regular matroids—matroids representable by totally unimodular matrices. Given a regular matroid $M$ with ground set $E$ and rank $r$ represented by a matrix $A \in \Z^{r \times |E|}$ (with columns $a_e$), the generalized SEP is
$$
\Sigma(M) = \mathrm{conv}\left\{ \pm a_e \mid e \in E \right\} \subset \R^r,
$$
well-defined up to unimodular equivalence and of dimension $r$. In the case where $M$ is graphic, $\Sigma(M)$ coincides with the standard SEP. The $h^*$-polynomial retains the reflective symmetry, allowing a γ-vector expansion in this broader setting [2401.03383].

## 4. Combinatorial and Gröbner Basis Techniques

Unimodular triangulations of $\Sigma(G)$ in the graphical setting are constructed by “cones over” oriented spanning trees. Kálmán–Tóthmérész (2023) provided an interpretation where $h_i^*$ counts spanning trees with $i$ active edges, extendable to “basis” objects in regular matroids.

In the regular matroid framework, the associated toric ideal $I_{\Sigma(M)}$ in the coordinate ring $K[x_1^{\pm1}, \dots, x_r^{\pm1}, z]$ has a reduced Gröbner basis governed by the circuits of $M$, with square-free leading monomials corresponding to faces of a regular unimodular triangulation. Counting “active” elements in these bases reconstructs the $h^*$-vector and, thus, the γ-vector [2401.03383].

## 5. Counterexamples outside the Graphical Case and Near-Positivity

Explicit counterexamples occur for generalized SEPs:
- For the cographic matroid $M^*(K_{3,n})$, which is regular but non-graphic when $n\ge4$, direct computation for $M = M^*(K_{3,6})$ yields a γ-vector $\gamma(\Sigma(M)) = (1, 16, 124, 596, 914, -148)$, thereby violating γ-nonnegativity.
- These negative entries persist for higher dimensions via direct sums with loop-coloop matroids.

However, *nearly* γ-nonnegative behavior appears: by deleting two elements from $M^*(K_{3,n+1})$, one obtains a graphic matroid for which the ordinary SEP recovers nonnegativity. The explicit computation for the special graph $\Gamma(n+1) \subset \R^{2n+1}$ exhibits γ-polynomials with manifestly nonnegative coefficients, via a closed-form expansion provided in the data.

## 6. The Enriched Poset Polytope Conjecture and Bijective Proof

An independent line of research by Ohsugi and Tsuchiya concerns Ehrhart-equivalence between the **enriched order polytope** $\mathcal{O}^+(P)$ and the **enriched chain polytope** $\mathcal{C}^+(P)$, defined for a finite poset $P$ as the convex hulls of integer functions on $P$ obeying specific filter and antichain constraints, respectively.

The Ohsugi–Tsuchiya Conjecture in this context states that their Ehrhart polynomials coincide. Okada and Tsuchiya constructed a piecewise-linear bijection—the enriched transfer map $\Theta^+$—inductively on the poset order, with explicit inverse, restricting to a bijection between $\mathcal{O}^+(P)$ and $\mathcal{C}^+(P)$ that preserves lattice points for all positive dilations:
$$
\Theta^+\left(m\,\mathcal{O}^+(P) \cap \Z^P\right) = m\,\mathcal{C}^+(P)\cap\Z^P, \quad \forall m\ge 0.
$$
This bijection provides a combinatorial (triangulation-based) proof of the Ehrhart-equivalence conjecture. Both polytopes admit canonical unimodular triangulations, and the bijection $\Theta^+$ transports the triangulation of $\mathcal{O}^+(P)$ onto that of $\mathcal{C}^+(P)$ face-by-face [2003.12271].

## 7. Implications, Conditions, and Open Problems

For SEPs, the existence of negative γ-entries in the regular matroid setting underscores the necessity of the graphic hypothesis for the Ohsugi–Tsuchiya γ-nonnegativity conjecture. The fact that simple deletions can restore nonnegativity suggests that the obstructions reside in the extra flexibility of non-graphic matroids, particularly their expanded circuit structure.

In the realm of enriched poset polytopes, the existence of a canonical bijection and compatible triangulations situates these objects within the broader context of mirror symmetry, mutation-equivalence, and Gröbner degenerations of Hibi rings.

Open questions include:
- Whether there exists a purely combinatorial, triangulation-free explanation of γ-nonnegativity in SEPs, potentially relating γ-coefficients to explicit counts of flagged combinatorial structures;
- Whether the $h^*$-polynomial of SEP exhibits real-rootedness or stability properties, which would imply γ-nonnegativity;
- Whether there exist non-graphic regular matroids whose SEPs are γ-nonnegative, or whether such behavior is strictly forbidden by circuit structure.

The Ohsugi–Tsuchiya Conjecture continues to frame research into the intersection of combinatorics, discrete geometry, and commutative algebra, with known results robust in the graph-SEP case, but delicately sensitive to generalizations beyond graphic matroids [2401.03383][2003.12271].

Source: https://www.emergentmind.com/topics/ohsugi-tsuchiya-conjecture