arXiv++ Combinatorics

In this paper, we discuss the adjacency matrices of finite undirected simple graphs over a finite prime field $\mathbb{F}_p$. We apply symmetric (row and column) elementary transformations to the adjacency matrix over $\mathbb{F}_p$ in order to get a direct sum decomposition by other adjacency matrices. In this paper, we give a complete description of the direct sum decomposition of the adjacency matrix of any graph over $\mathbb{F}_p$ for any odd prime $p$. Our key tool is quadratic residues of $\mathbb{F}_p$.

Edge ideals of finite simple graphs $G$ on $n$ vertices are the ideals $I(G)$ of the polynomial ring $S$ in $n$ variables generated by the quadratic monomials associated with the edges of $G$. In this paper, we consider the possible pairs of dimensions and depths of $S/I(G)$ for connected graphs with a fixed number of vertices. We discuss such pairs in the case where dimension is relatively large. As a corollary, we completely determine the pairs for connected graphs with small number of vertices. We also study the possible pairs for connected chordal graphs.

The $g$-fan of a finite dimensional algebra is a fan in its real Grothendieck group defined by tilting theory. We give a classification of complete $g$-fans of rank 2. More explicitly, our first main result asserts that every complete sign-coherent fan of rank 2 is a $g$-fan of some finite dimensional algebra. Our proof is based on three fundamental results, Gluing Theorem, Rotation Theorem and Subdivision Theorem, which realize basic operations on fans in the level of finite dimensional algebras. For each of 16 convex sign-coherent fans $Σ$ of rank 2, our second main result gives a characterization of algebras $A$ of rank 2 satisfying $Σ(A)=Σ$. As a by-product of our method, we prove that for each positive integer $N$, there exists a finite dimensional algebra $A$ of rank 2 such that the Hasse quiver of the poset of 2-term silting complexes of $A$ has precisely $N$ connected components.

We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example its Ehrhart polynomial. For a fixed Young diagram, we show that all restricted chain-order polytopes are related by a sequence of combinatorial mutations. Since the property of giving rise to the period collapse phenomenon is invariant under combinatorial mutations, we provide a large class of rational polytopes that give rise to period collapse.

We study the equivariant Ehrhart theory of families of polytopes that are invariant under a non-trivial action of the group with order two. We study families of polytopes whose equivariant $H^*$-polynomial both succeed and fail to be effective, in particular, the symmetric edge polytopes of cycles and the rational cross-polytope. The latter provides a counterexample to the effectiveness conjecture if the requirement that the vertices of the polytope have integral coordinates is loosened to allow rational coordinates. Moreover, we exhibit such a counterexample whose Ehrhart function has period one and coincides with the Ehrhart function of a lattice polytope.

The Gelfand-Tsetlin and the Feigin-Fourier-Littelmann-Vinberg polytopes for the Grassmannians are defined, from the perspective of representation theory, to parametrize certain bases for highest weight irreducible modules. These polytopes are Newton-Okounkov bodies for the Grassmannian and, in particular, the GT-polytope is an example of a string polytope. The polytopes admit a combinatorial description as the Stanley's order and chain polytopes of a certain poset, as shown by Ardila, Bliem and Salaza. We prove that these polytopes occur among matching field polytopes. Moreover, we show that they are related by a sequence of combinatorial mutations that passes only through matching field polytopes. As a result, we obtain a family of matching fields that give rise to toric degenerations for the Grassmannians. Moreover, all polytopes in the family are Newton-Okounkov bodies for the Grassmannians.

Two vertex colorings of a graph are Kempe equivalent if they can be transformed into each other by a sequence of switchings of two colors of vertices. It is PSPACE-complete to determine whether two given vertex $k$-colorings of a graph are Kempe equivalent for any fixed $k\geq 3$, and it is easy to see that every two vertex colorings of any bipartite graph are Kempe equivalent. In this paper, we consider Kempe equivalence of {\it almost} bipartite graphs which can be obtained from a bipartite graph by adding several edges to connect two vertices in the same partite set. We give a conjecture of Kempe equivalence of such graphs, and we prove several partial solutions and best possibility of the conjecture, but it is more lately proved by Cranston and Feghali that this conjecture is false in general.

The $h$-vectors of homogeneous rings are one of the most important invariants that often reflect ring-theoretic properties. On the other hand, there are few examples of edge rings of graphs whose $h$-vectors are explicitly computed. In this paper, we compute the $h$-vector of a special family of graphs, by using the technique of initial ideals and the associated simplicial complex.

For a finite dimensional algebra $A$ over a field $k$, the 2-term silting complexes of $A$ gives a simplicial complex $Δ(A)$ called the $g$-simplicial complex. We give tilting theoretic interpretations of the $h$-vectors and Dehn-Sommerville equations of $Δ(A)$. Using $g$-vectors of 2-term silting complexes, $Δ(A)$ gives a nonsingular fan $Σ(A)$ in the real Grothendieck group $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-fan. We give several basic properties of $Σ(A)$ including sign-coherence, sign decomposition, idempotent reductions, Jasso reductions, pairwise positivity and a connection with Newton polytopes of $A$-modules. Moreover, $Σ(A)$ gives a (possibly infinite and non-convex) polytope $P(A)$ in $K_0(\mathsf{proj} A)_{\mathbb{R}}$ called the $g$-polytope of $A$. We call $A$ $g$-convex if $P(A)$ is convex. In this case, we show that it is a reflexive polytope, and that the dual polytope is given by the 2-term simple minded collections of $A$. There are precisely 7 convex $g$-polyogons up to isomorphism. We give a classification of algebras whose $g$-polytopes are smooth Fano. We study $g$-fans and $g$-polytopes of two important classes of algebras. We show that the $g$-fan of a classical or generalized preprojective algebra is given by the Coxeter fan. It is $g$-convex if and only if it is of type $A$ or $B$, and in this case, its $g$-polytope is the dual polytope of the short root polytope. Moreover we classify Brauer graph algebras which are $g$-convex, and describe their $g$-polytopes as the root polytopes of type $A$ or $C$.

In this paper, we study the root distributions of Ehrhart polynomials of free sums of certain reflexive polytopes. We investigate cases where the roots of the Ehrhart polynomials of the free sums of $A_d^\vee$'s or $A_d$'s lie on the canonical line $\mathrm{Re}(z)=-\frac{1}{2}$ on the complex plane $\mathbb{C}$, where $A_d$ denotes the root polytope of type A of dimension $d$ and $A_d^\vee$ denotes its polar dual. For example, it is proved that $A_m^\vee \oplus A_n^\vee$ with $\min\{m,n\} \leq 1$ or $m+n \leq 7$, $A_2^\vee \oplus (A_1^\vee)^{\oplus n}$ and $A_3^\vee \oplus (A_1^\vee)^{\oplus n}$ for any $n$ satisfy this property. We also perform computational experiments for other types of free sums of $A_n^\vee$'s or $A_n$'s.

The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.

The noncommutative projective scheme $\operatorname{\mathsf{Proj_{nc}}} S$ of a $(\pm 1)$-skew polynomial algebra $S$ in $n$ variables is considered to be a $(\pm 1)$-skew projective space of dimension $n-1$. In this paper, using combinatorial methods, we give a classification theorem for $(\pm 1)$-skew projective spaces. Specifically, among other equivalences, we prove that $(\pm 1)$-skew projective spaces $\operatorname{\mathsf{Proj_{nc}}} S$ and $\operatorname{\mathsf{Proj_{nc}}} S'$ are isomorphic if and only if certain graphs associated to $S$ and $S'$ are switching (or mutation) equivalent. We also discuss invariants of $(\pm 1)$-skew projective spaces from a combinatorial point of view.

It is known that the homogeneous coordinate ring of a Grassmannian has a cluster structure, which is induced from the combinatorial structure of a plabic graph. A plabic graph is a certain bipartite graph described on the disk, and there is a family of plabic graphs giving a cluster structure of the same Grassmannian. Such plabic graphs are related by the operation called square move which can be considered as the mutation in cluster theory. By using a plabic graph, we also obtain the Newton--Okounkov polytope which gives a toric degeneration of the Grassmannian. The purposes of this article is to survey these phenomena and observe the behavior of Newton--Okounkov polytopes under the operation called the combinatorial mutation of polytopes. In particular, we reinterpret some operations defined for Newton--Okounkov polytopes using the combinatorial mutation.

In this paper, we study the Ehrhart polynomial of the dual of the root polytope of type C of dimension $d$, denoted by $C_d^*$. We prove that the roots of the Ehrhart polynomial of $C_d^*$ have the same real part $-1/2$, and we also prove that the Ehrhart polynomials of $C_d^*$ for $d=1,2,\cdots$ has the interlacing property.

In this paper, we investigate the ratio of the numbers of odd and even cycles in outerplanar graphs. We verify that the ratio generally diverges to infinity as the order of a graph diverges to infinity. We also give sharp estimations of the ratio for several classes of outerplanar graphs, and obtain a constant upper bound of the ratio for some of them. Furthermore, we consider similar problems in graphs with some pairs of forbidden subgraphs/minors, and propose a challenging problem concerning claw-free graphs.

Given an integral hyperplane arrangement, Kamiya-Takemura-Terao (2008 & 2011) introduced the notion of characteristic quasi-polynomial, which enumerates the cardinality of the complement of the arrangement modulo a positive integer. The most popular candidate for period of the characteristic quasi-polynomials is the lcm period. In this paper, we initiate a study of period collapse in characteristic quasi-polynomials stemming from the concept of period collapse in the theory of Ehrhart quasi-polynomials. We say that period collapse occurs in a characteristic quasi-polynomial when the minimum period is strictly less than the lcm period. Our first main result is that in the non-central case, with regard to period collapse anything is possible: period collapse occurs in any dimension $\ge 1$, occurs for any value of the lcm period $\ge 2$, and the minimum period when it is not the lcm period can be any proper divisor of the lcm period. Our second main result states that in the central case, however, no period collapse is possible in any dimension, that is, the lcm period is always the minimum period.

Levelness and almost Gorensteinness are well-studied properties on graded rings as a generalized notion of Gorensteinness. In the present paper, we study those properties for the edge rings of the complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$ with $1 \leq r_1 \leq \cdots \leq r_n$. We give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is level in terms of $n$ and $r_1,\ldots,r_n$. Similarly, we also give the complete characterization of which $\Bbbk[K_{r_1,\ldots,r_n}]$ is almost Gorenstein in terms of $n$ and $r_1,\ldots,r_n$.

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

The first goal of the present paper is to study the class groups of the edge rings of complete multipartite graphs, denoted by $\Bbbk[K_{r_1,\ldots,r_n}]$, where $1 \leq r_1 \leq \cdots \leq r_n$. More concretely, we prove that the class group of $\Bbbk[K_{r_1,\ldots,r_n}]$ is isomorphic to $\mathbb{Z}^n$ if $n =3$ with $r_1 \geq 2$ or $n \geq 4$, while it turns out that the excluded cases can be deduced into Hibi rings. The second goal is to investigate the special class of divisorial ideals of $\Bbbk[K_{r_1,\ldots,r_n}]$, called conic divisorial ideals. We describe conic divisorial ideals for certain $K_{r_1,\ldots,r_n}$ including all cases where $\Bbbk[K_{r_1,\ldots,r_n}]$ is Gorenstein. Finally, we give a non-commutative crepant resolution (NCCR) of $\Bbbk[K_{r_1,\ldots,r_n}]$ in the case where it is Gorenstein.

In the present paper, we prove that the toric ideals of certain $s$-block diagonal matching fields have quadratic Gröbner bases. Thus, in particular, those are quadratically generated. By using this result, we provide a new family of toric degenerations of Grassmannians.