arXiv++ Combinatorics

We count the number of compatible pairs of indexing systems for the cyclic group $C_{p^n}$. Building on work of Balchin--Barnes--Roitzheim, we show that this sequence of natural numbers is another family of Fuss--Catalan numbers. We count this two different ways: showing how the conditions of compatibility give natural recursive formulas for the number of admissible sets and using an enumeration of ways to extend indexing systems by conceptually simpler pieces.

Let $P$ be an arbitrary finite partially ordered set. It will be proved that the number of edges of the order polytope ${\mathcal O}(P)$ is equal to that of the chain polytope ${\mathcal C}(P)$. Furthermore, it will be shown that the degree sequence of the finite simple graph which is the $1$-skeleton of ${\mathcal O}(P)$ is equal to that of ${\mathcal C}(P)$ if and only if ${\mathcal O}(P)$ and ${\mathcal C}(P)$ are unimodularly equivalent.

Given two families $X$ and $Y$ of integral polytopes with nice combinatorial and algebraic properties, a natural way to generate new class of polytopes is to take the intersection $\mathcal{P}=\mathcal{P}_1\cap\mathcal{P}_2$, where $\mathcal{P}_1\in X$, $\mathcal{P}_2\in Y$. Two basic questions then arise: 1) when $\mathcal{P}$ is integral and 2) whether $\mathcal{P}$ inherits the "old type" from $\mathcal{P}_1, \mathcal{P}_2$ or has a "new type", that is, whether $\mathcal{P}$ is unimodularly equivalent to some polytope in $X\cup Y$ or not. In this paper, we focus on the families of order polytopes and chain polytopes and create a new class of polytopes following the above framework, which are named order-chain polytopes. In the study on their volumes, we discover a natural relation with Ehrenborg and Mahajan's results on maximizing descent statistics.

Edge polytopes is a class of interesting polytope with rich algebraic and combinatorial properties, which was introduced by Ohsugi and Hibi. In this papar, we follow a previous study on cutting edge polytopes by Hibi, Li and Zhang. Instead of focusing on the algeraic properties of the subpolytopes as the previous study, in this paper, we take a closer look on the graphs whose edge polytopes are decomposable. In particular, we answer two important questions raised in the previous study about 1) the relationship between type I and type II decomposable graphs and 2) description of decomposable graphs.

Cutting a polytope is a very natural way to produce new classes of interesting polytopes. Moreover, it has been very enlightening to explore which algebraic and combinatorial properties of the orignial polytope are hereditary to its subpolytopes obtained by a cut. In this work, we put our attention to all the seperating hyperplanes for some given polytope (integral and convex) and study the existence and classification of such hyperplanes. We prove the exitence of seperating hyperplanes for the order and chain polytopes for any finite posets that are not a single chain; prove there are no such hyperplanes for any Birkhoff polytopes. Moreover, we give a complete seperating hyperplane classification for the unit cube and its subpolytopes obtained by one cut, together with some partial classification results for order and chain polytopes.

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.

We study a certain family of discrete dynamical processes introduced by Novikoff, Kleinberg and Strogatz that we call flashcard games. We prove a number of results on the evolution of these games, an in particular we settle a conjecture of NKS on the frequency with which a given card appears. We introduce a number of generalizations and variations that we believe are of interest, and provide a large number of open questions and problems.

The problem when the order polytope and the chain polytope of a finite partially ordered set are unimodularly equivalent will be solved.

Recently, the second author studied an Eulerian statistic (called cover) in the context of convex polytopes, and proved an equal joint distribution of (cover,des) with (des,exc). In this paper, we present several direct bijective proofs that cover is Eulerian, and examine its generalizations and their Mahonian partners. We also present a quasi-symmetric function proof (suggested by Michelle Wachs) of the above equal joint distribution.

We study the problem of expanding the product of two Stanley symmetric functions $F_w\cdot F_u$ into Stanley symmetric functions in some natural way. Our approach is to consider a Stanley symmetric function as a stabilized Schubert polynomial $F_{w}=\lim_{n\to \infty}\mathfrak{S}_{1^{n}\times w}$, and study the behavior of the expansion of $\s_{1^n\times w}\cdot\s_{1^n\times u}$ into Schubert polynomials, as $n$ increases. We prove that this expansion stabilizes and thus we get a natural expansion for the product of two Stanley symmetric functions. In the case when one permutation is Grassmannian, we have a better understanding of this stability. We then study some other related stable properties, which provides a second proof of the main result.

It will be shown that the toric ring of the chain polytope of a finite partially ordered set is an algebra with straightening laws on a finite distributive lattice. Thus in particular every chain polytope possesses a regular unimodular triangulation arising from a flag complex.

Let $G$ be a finite connected simple graph with $d$ vertices and let $\Pc_G \subset \RR^d$ be the edge polytope of $G$. We call $\Pc_G$ \emph{decomposable} if $\Pc_G$ decomposes into integral polytopes $\Pc_{G^+}$ and $\Pc_{G^-}$ via a hyperplane. In this paper, we explore various aspects of decomposition of $\Pc_G$: we give an algorithm deciding the decomposability of $\Pc_G$, we prove that $\Pc_G$ is normal if and only if both $\Pc_{G^+}$ and $\Pc_{G^-}$ are normal, and we also study how a condition on the toric ideal of $\Pc_G$ (namely, the ideal being generated by quadratic binomials) behaves under decomposition.

We consider the Ehrhart $h^*$-vector for the hypersimplex. It is well-known that the sum of the $h_i^*$ is the normalized volume which equals an Eulerian numbers. The main result is a proof of a conjecture by R. Stanley which gives an interpretation of the $h^*_i$ coefficients in terms of descents and excedances. Our proof is geometric using a careful book-keeping of a shelling of a unimodular triangulation. We generalize this result to other closely related polytopes.

We provide a general, unified, framework for external zonotopal algebra. The approach is critically based on employing simultaneously the two dual algebraic constructs and invokes the underlying matroidal and geometric structures in an essential way. This general theory makes zonotopal algebra an applicable tool for a larger class of polytopes.

Let $δ(\Pc) = (δ_0, δ_1,..., δ_d)$ be the $δ$-vector of an integral polytope $\Pc \subset \RR^N$ of dimension $d$. Following the previous work of characterizing the $δ$-vectors with $\sum_{i=0}^d δ_i \leq 3$, the possible $δ$-vectors with $\sum_{i=0}^d δ_i = 4$ will be classified. And each possible $δ$-vectors can be obtained by simplices. We get this result by studying the problem of classifying the possible integral simplices with a given $δ$-vector $(δ_0, δ_1,..., δ_d)$, where $\sum_{i=0}^d δ_i \leq 4$, by means of Hermite normal forms of square matrices.

Let $P$ be a polytope with rational vertices. A classical theorem of Ehrhart states that the number of lattice points in the dilations $P(n) = nP$ is a quasi-polynomial in $n$. We generalize this theorem by allowing the vertices of P(n) to be arbitrary rational functions in $n$. In this case we prove that the number of lattice points in P(n) is a quasi-polynomial for $n$ sufficiently large. Our work was motivated by a conjecture of Ehrhart on the number of solutions to parametrized linear Diophantine equations whose coefficients are polynomials in $n$, and we explain how these two problems are related.

Let A(n) be a $k\times s$ matrix and $m(n)$ be a $k$ dimensional vector, where all entries of A(n) and $m(n)$ are integer-valued polynomials in $n$. Suppose that $$t(m(n)|A(n))=#\{x\in\mathbb{Z}_{+}^{s}\mid A(n)x=m(n)\}$$ is finite for each $n\in \mathbb{N}$, where $Z_+$ is the set of nonnegative integers. This paper conjectures that $t(m(n)|A(n))$ is an integer-valued quasi-polynomial in $n$ for $n$ sufficiently large and verifies the conjecture in several cases.

Suppose that $a_1(n),a_2(n),...,a_s(n),m(n)$ are integer-valued polynomials in $n$ with positive leading coefficients. This paper presents Popoviciu type formulas for the generalized restricted partition function $$p_{A(n)}(m(n)):=#\{(x_1,...,x_s)\in \mathbb{Z}^{s}: all x_j\geqslant 0, x_1a_1(n)+...+x_sa_s(n)=m(n) \}$$ when $s=2$ or 3. In either case, the formula implies that the function is an integer-valued quasi-polynomial. The main result is proved by a reciprocity law for a class of fractional part sums and the theory of generalized Euclidean division.