arXiv++ Combinatorics

In this paper we study odd unimodal and odd strongly unimodal sequences. We use $q$-series methods to find several fundamental generating functions. Employing the Euler--Maclaurin summation formula we obtain the asymptotic main term for both types of sequences. We also find families of congruences modulo $4$ for the number of odd strongly unimodal sequences.

This article provides a comprehensive exposition about inequalities that the coefficients of Ehrhart polynomials and $h^*$-polynomials satisfy under various assumptions. We pay particular attention to the properties of Ehrhart positivity as well as unimodality, log-concavity and real-rootedness for $h^*$-polynomials. We survey inequalities that arise when the polytope has different normality properties. We include statements previously unknown in the Ehrhart theory setting, as well as some original contributions in this topic. We address numerous variations of the conjecture asserting that IDP polytopes have a unimodal $h^*$-polynomial, and construct concrete examples that show that these variations of the conjecture are false. Explicit emphasis is put on polytopes arising within algebraic combinatorics. Furthermore, we describe and construct polytopes having pathological properties on their Ehrhart coefficients and roots, and we indicate for the first time a connection between the notions of Ehrhart positivity and $h^*$-real-rootedness. We investigate the log-concavity of the sequence of evaluations of an Ehrhart polynomial at the non-negative integers. We conjecture that IDP polytopes have a log-concave Ehrhart series. Many additional problems and challenges are proposed.

In this paper, we prove that the number of unimodal sequences of size $n$ is log-concave. These are coefficients of a mixed false modular form and have a Rademacher-type exact formula due to recent work of the second author and Nazaroglu on false theta functions. Log-concavity and higher Turán inequalities have been well-studied for (restricted) partitions and coefficients of weakly holomorphic modular forms, and analytic proofs generally require precise asymptotic series with error term. In this paper, we proceed from the exact formula for unimodal sequences to carry out this calculation. We expect our method applies to other exact formulas for coefficients of mixed mock/false modular objects.

The coefficients of the chain polynomial of a finite poset enumerate chains in the poset by their number of elements. It has been a challenging open problem to determine which posets have real-rooted chain polynomials. Two new classes of posets, namely those of all rank-selected subposets of Cohen-Macaulay simplicial posets and all noncrossing partition lattices associated to finite Coxeter groups, are shown to have this property. The first result generalizes one of Brenti and Welker. As a special case, the descent enumerator of permutations of the set $\{1, 2,\dots,n\}$ which have ascents at specified positions is shown to be real-rooted, hence log-concave and unimodal, and a good estimate for the location of the peak is deduced.

If $\mathfrak{g}$ is a Frobenius Lie algebra, then the spectrum of $\mathfrak{g}$ is an algebraic invariant equal to the multiset of eigenvalues corresponding to a particular operator acting on $\mathfrak{g}$. In the case of Frobenius seaweed subalgebras of $A_{n-1}=\mathfrak{sl}(n)$, or type-A seaweeds for short, it has been shown that the spectrum can be computed combinatorially using an attendant graph. With the aid of such graphs, it was further shown that the spectrum of a type-A seaweed consists of an unbroken sequence of integers centered at $\frac{1}{2}$. It has been conjectured that if the eigenvalues are arranged in increasing order, then the sequence of multiplicities forms a unimodal sequence about $\frac{1}{2}$. Here, we establish this conjecture for certain families of Frobenius type-A seaweeds by finding explicit formulas for their spectra; in fact, for some families we are able to show that the corresponding sequences of multiplicities form log-concave sequences. All arguments are combinatorial.

Recently, Glasby and Paseman considered the following sequence of binomial sums $\{2^{-r}\sum_{i=0}^{r}\binom{m}{i}\}_{r=0}^{m}$ and showed that this sequence is unimodal and attains its maximum value at $r=\lfloor\frac{m}{3}\rfloor+1$ for $m\in\mathbb{Z}_{\geq0}\setminus\{0,3,6,9,12\}$. They also analyzed the asymptotic behavior of the maximum value of the sequence as $m$ approaches infinity. In the present work, we generalize their results by considering the sequence $\{(1+a)^{-r}\sum_{i=0}^{r}\binom{m}{i}a^{i}\}_{r=0}^{m}$ for integers $a \geq 1$. We also consider a family of discrete probability distributions that naturally arises from this sequence.

An independent set in a graph is a collection of vertices that are not adjacent to each other. The cardinality of the largest independent set in $G$ is represented by $α(G)$. The independence polynomial of a graph $G = (V, E)$ was introduced by Gutman and Harary in 1983 and is defined as \[ I(G;x) = \sum_{k=0}^{α(G)}{s_k}x^{k}={s_0}+{s_1}x+{s_2}x^{2}+...+{s_{α(G)}}x^{α(G)}, \] where $s_k$ represents the number of independent sets in $G$ of size $k$. The conjecture made by Alavi, Malde, Schwenk, and Erdös in 1987 stated that the independence polynomials of trees are unimodal, and many researchers believed that this conjecture could be strengthened up to its corresponding log-concave version. However, in our paper, we present evidence that contradicts this assumption by introducing infinite families of trees whose independence polynomials are not log-concave.

In this paper, we study the connected blocks polytope, which, apart from its own merits, can be seen as the generalization of certain connectivity based or Eulerian subgraph polytopes. We provide a complete facet description of this polytope, characterize its edges and show that it is Hirsch. We also show that connected blocks polytopes admit a regular unimodular triangulation by constructing a squarefree Gröbner basis. In addition, we prove that the polytope is Gorenstein of index $2$ and that its $h^\ast$-vector is unimodal.

The objective of this paper is to prove that the polynomials $\prod_{k=0}^n(1+q^{3k+1})(1+q^{3k+2})$ are symmetric and unimodal for $n\geq 0$ by an analytical method.

Partial cubes are the graphs which can be embedded into hypercubes. The {\em cube polynomial} of a graph $G$ is a counting polynomial of induced hypercubes of $G$, which is defined as $C(G,x):=\sum_{i\geqslant 0}α_i(G)x^i$, where $α_i(G)$ is the number of induced $i$-cubes (hypercubes of dimension $i$) of $G$. The {\em clique polynomial} of $G$ is defined as $Cl(G,x):=\sum_{i\geqslant 0}a_i(G)x^i$, where $a_i(G)$ ($i\geqslant 1$) is the number of $i$-cliques in $G$ and $a_0(G)=1$. Equivalently, $Cl(G, x)$ is exactly the independence polynomial of the complement $\overline{G}$ of $G$. The {\em crossing graph} $G^{\#}$ of a partial cube $G$ is the graph whose vertices are corresponding to the $Θ$-classes of $G$, and two $Θ$-classes are adjacent in $G^{\#}$ if and only if they cross in $G$. In the present paper, we prove that for a partial cube $G$, $C(G,x)\leqslant Cl(G^{\#}, x+1)$ and the equality holds if and only if $G$ is a median graph. Since every graph can be represented as the crossing graph of a median graph [SIAM J. Discrete Math., 15 (2002) 235--251], the above necessary-and-sufficient result shows that the study on the cube polynomials of median graphs can be transformed to the one on the clique polynomials of general graphs (equivalently, on the independence polynomials of their complements). In addition, we disprove the conjecture that the cube polynomials of median graphs are unimodal.

We prove that the Ehrhart $h^*$-vector is unimodal for unimodular triangulations whose boundary is an induced subcomplex.

Let $ k, m, n $ be positive integers with $ k \geq 2 $. A $ k $-multiset of $ [n]_m $ is a collection of $ k $ integers from the set $ \{1, 2, \ldots, n\} $ in which the integers can appear more than once but at most $ m $ times. A family of such $ k $-multisets is called an intersecting family if every pair of $ k $-multisets from the family have non-empty intersection. A finite sequence of real numbers $\{a_1,a_2,\ldots,a_n\}$ is said to be unimodal if there is some $k\in \{1,2,\ldots,n\}$, such that $a_1\leq a_2\leq\ldots\leq a_{k-1}\leq a_k\geq a_{k+1}\geq \ldots\geq a_n$. Given $m,n,k$, denote $C_{k,l}$ as the coefficient of $x^k$ in the generating function $(\sum_{i=1}^mx^i)^l$, where $1\leq l\leq n$. In this paper, we first show that the sequence of $\{C_{k,1},C_{k,2},\ldots,C_{k,n}\}$ is unimodal. Then we use this as a tool to prove that the intersecting family in which every $ k $-multiset contains a fixed element attains the maximum cardinality for $ n \geq k + \lceil k/m\rceil $. In the special case when $m = 1$ and $m=\infty$, our result gives rise to the famous Erdős-Ko-Rado Theorem and an unbounded multiset version for this problem given by Meagher and Purdy, respectively. The main result in this paper can be viewed as a bounded multiset version of the Erdős-Ko-Rado Theorem.

The central question of knot theory is that of distinguishing links up to isotopy. The first polynomial invariant of links devised to help answer this question was the Alexander polynomial (1928). Almost a century after its introduction, it still presents us with tantalizing questions such as Fox's conjecture (1962) that the absolute values of the coefficients of the Alexander polynomial $Δ_L(t)$ of an alternating link $L$ are unimodal. Fox's conjecture remains open in general, with special cases settled by Hartley (1979) for two-bridged knots, by Murasugi (1985) for a family of alternating algebraic links, and by Ozsváth and Szabó (2003) for the case of genus $2$ alternating knots, among others. We settle Fox's conjecture for special alternating links. We do so by proving that a certain multivariate generalization of the Alexander polynomial of special alternating links is Lorentzian. As a consequence, we obtain that the absolute values of the coefficients of $Δ_L(t)$, where $L$ is a special alternating link, form a log-concave sequence with no internal zeros. In particular, they are unimodal.

Given a (finite) simplicial complex, we define its $i$-th Laplacian polytope as the convex hull of the columns of its $i$-th Laplacian matrix. This extends Laplacian simplices of finite simple graphs, as introduced by Braun and Meyer. After studying basic properties of these polytopes, we focus on the $d$-th Laplacian polytope of the boundary of a $(d+1)$-simplex $\partial(σ_{d+1})$. If $d$ is odd, then as for graphs, the $d$-th Laplacian polytope turns out to be a $(d+1)$-simplex in this case. If $d$ is even, we show that the $d$-th Laplacian polytope of $\partial(σ_{d+1})$ is combinatorially equivalent to a $d$-dimensional cyclic polytope on $d+2$ vertices. Moreover, we provide an explicit regular unimodular triangulation for the $d$-th Laplacian polytope of $\partial(σ_{d+1})$. This enables us to to compute the normalized volume and to show that the $h^\ast$-polynomial is real-rooted and unimodal, if $d$ is odd and even, respectively.

In this paper, we introduce polynomials (in $t$) of signed relative derangements that track the number of signed elements. The polynomials are clearly seen to be in a sense symmetric. Note that relative derangements are those without any signed elements, i.e., the evaluations of the polynomials at $t=0$. Also, the numbers of all signed relative derangements are given by the evaluations at $t=1$. Then the coefficients of the polynomials connect unsigned and signed relative derangements and show how putting elements with signs affects the formation of derangements. We first prove a recursion satisfied by these polynomials which results in a recursion satisfied by the coefficients. A combinatorial proof of the latter is provided next. We also show that the sequences of the coefficients are unimodal. Moreover, other results are obtained. For instance, a kind of dual of a relation between signed derangements and signed relative derangements previously proved by Chen and Zhang is presented.

We show that the number $A(n,m)$ of partitions with $m$ even parts and largest hook length $n$ is strongly unimodal with mode [(n-1)/4] for $n\ge 6$. We establish this result by induction, using a $5$-term recurrence due to Lin, Xiong and Yan, and two $4$-term recurrences obtained by Zeilberger's algorithm. The sequence $A(n,m)$ is not log-concave. Using Möbius transformation and the method of interlacing zeros, we obtain that every zero of every generating function $\sum_m A(n,m)z^m$ lies on the left half part of the circle |z-1|=2. Moreover, as a direct application of Wang and Zhang's characterization of root geometry of polynomial sequences that satisfy a recurrence of type $(1,1)$, we see that all these zeros are densely distributed on the half circle.

Let $A_{n,i,j}$ be the number of permutations on $[n]$ with $(i-1)$ descents and $(j-1)$ inverse descents.Carlitz, Roselle and Scoville in 1966 first revealed some combinatorial and arithmetic properties of $A_{n,i,j}$,which contain a recurrence of $A_{n,i,j}$.Using the idea of balls in boxes,Petersen gave a combinatorial interpretation for the generating function of $A_{n,i,j}$,and obtained the same recurrence of $A_{n,i,j}$ from its generating function.Subsequently, Petersen asked whether there is a visual way to understand this recurrence.In this paper,after observing the internal structures of permutation grids,we present a combinatorial proof for the recurrence of $A_{n,i,j}$.Let $I_{n,k}$ and $J_{n,k}$ be the number of involutions and fixed-point free involutions on $[n]$ with $k$ descents,respectively.With the help of algebraic method on generating functions,Guo and Zeng derived two recurrences of $I_{n,k}$ and $J_{2n,k}$ that play an essential role in the proof of their unimodal properties.Surprisingly,the constructive approach to the recurrence of $A_{n,i,j}$ is found to fuel the combinatorial interpretations of these two recurrences of $I_{n,k}$ and $J_{2n,k}$.

The trapezoidal Fox conjecture states that the coefficient sequence of the Alexander polynomial of an alternating knot is unimodal. We are motivated by a harder question, the strong Fox conjecture, which asks whether the coefficient sequence of the Alexander polynomial of alternating knots is actually log-concave. Our approach is to introduce a polynomial $Δ(t)$ associated to a Christoffel word and to prove that its coefficient sequence is log-concave. This implies the strong Fox conjecture for two-bridge knots.

Motivated by the work of Visontai and Dey-Sivasubramanian on the gamma-positivity of some polynomials, we find the commutative property of a pair of Eulerian operators. As an application, we show the bi-gamma-positivity of the descent polynomials on permutations of the multiset $\{1^{a_1},2^{a_2},\ldots,n^{a_n}\}$, where $0\leqslant a_i\leqslant 2$. Therefore, these descent polynomials are all alternatingly increasing, and so they are unimodal with modes in the middle.

The Ehrhart polynomial $\text{ehr}_P(n)$ of a lattice polytope $P$ counts the number of integer points in the $n$-th integral dilate of $P$. The $f^*$-vector of $P$, introduced by Felix Breuer in 2012, is the vector of coefficients of $\text{ehr}_P(n)$ with respect to the binomial coefficient basis $ \left\{\binom{n-1}{0},\binom{n-1}{1},...,\binom{n-1}{d}\right\}$, where $d = \dim P$. Similarly to $h/h^*$-vectors, the $f^*$-vector of $P$ coincides with the $f$-vector of its unimodular triangulations (if they exist). We present several inequalities that hold among the coefficients of $f^*$-vectors of polytopes. These inequalities resemble striking similarities with existing inequalities for the coefficients of $f$-vectors of simplicial polytopes; e.g., the first half of the $f^*$-coefficients increases and the last quarter decreases. Even though $f^*$-vectors of polytopes are not always unimodal, there are several families of polytopes that carry the unimodality property. We also show that for any polytope with a given Ehrhart $h^*$-vector, there is a polytope with the same $h^*$-vector whose $f^*$-vector is unimodal.