arXiv++ Combinatorics

Two families $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting if $A\cap B\ne \emptyset$ for any $A\in \mathcal{A}$ and $B\in \mathcal{B}$. We call $t$ families $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ pairwise cross-intersecting families if $\mathcal{A}_i$ and $\mathcal{A}_j$ are cross-intersecting when $1\le i<j \le t$. Additionally, if $\mathcal{A}_j\ne \emptyset$ for each $j\in [t]$, then we say that $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ are non-empty pairwise cross-intersecting. Let $\mathcal{A}_1\subset{[n]\choose k_1}, \mathcal{A}_2\subset{[n]\choose k_2}, \dots, \mathcal{A}_t\subset{[n]\choose k_t}$ be non-empty pairwise cross-intersecting families with $t\geq 2$, $k_1\geq k_2\geq \cdots \geq k_t$, $n\ge k_1+k_2$ and $d_1, d_2, \dots, d_t$ be positive numbers. In this paper, we give a sharp upper bound of $\sum_{j=1}^td_j|\mathcal{A}_j|$ and characterize the families $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ attaining the upper bound. Our results unifies results of Frankl and Tokushige [J. Combin. Theory Ser. A 61 (1992)], Shi, Frankl and Qian [Combinatorica 42 (2022)], Huang and Peng \cite{huangpeng}, and Zhang-Feng \cite{ZF2023}. Furthermore, our result can be applied in the treatment for some $n<k_1+k_2$ while all previous known results do not have such an application. In the proof, a result of Kruskal-Katona is applied to allow us to consider only families $\mathcal{A}_i$ whose elements are the first $|\mathcal{A}_i|$ elements in lexicographic order. We bound $\sum_{i=1}^t{|\mathcal{A}_i|}$ by a single variable function $g(R)$, where $R$ is the last element of $\mathcal{A}_1$ in lexicographic order. One crucial and challenge part is to verify that $-g(R)$ has unimodality. We think that the unimodality of functions in this paper are interesting in their own, in addition to the extremal result.

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.

We study lattice path matroid polytopes using their alcoved triangulation. We characterize Gorenstein lattice path matroid polytopes, yielding a new class of matroids satisfying the unimodality conjecture of de Loera, Haws, and K{ö}ppe. Further, we characterize matroids whose polytopes are order polytopes as a special class of lattice path matroids, called snakes. Finally, we give combinatorial interpretations of the volumes and $h^*$-vectors of lattice path matroids of rank $2$ based on their snake decomposition.

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

In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establish a closed form for the coefficients of these polynomials and then use cylindrical algebraic decomposition to identify exactly the range of coefficients where strict unimodality holds. This strategy allows us to tackle generalizations of the problem, e.g., to show unimodality with larger gaps or unimodality of related sequences. In particular, we present proofs of two additional cases of a conjecture by Stanley and Zanello.

The Eulerian transformation is the linear operator on polynomials in one variable with real coefficients which maps the powers of this variable to the corresponding Eulerian polynomials. The derangement transformation is defined similarly. Brändén and Jochemko have conjectured that the Eulerian transforms of a class of polynomials with nonnegative coefficients, which includes those having all their roots in the interval $[-1,0]$, have only real zeros. This conjecture is proven in this paper. More general transformations are introduced in the combinatorial-geometric context of uniform triangulations of simplicial complexes, where Eulerian and derangement transformations arise in the special case of barycentric subdivision, and are shown to have strong unimodality and gamma-positivity properties. General real-rootedness conjectures for these transformations, which unify various results and conjectures in the literature, are also proposed.

The equivariant motivic Chern class of a Schubert cell in a `complete' flag manifold $X=G/B$ is an element in the equivariant K theory ring of $X$ to which one adjoins a formal parameter $y$. In this paper we prove several `folklore results' about the motivic Chern classes, including finding specializations at $y=-1$ and $y=0$; the coefficient of the top power of $y$; how to obtain Chern-Schwartz-MacPherson (CSM) classes as leading terms of motivic classes; divisibility properties of the Schubert expansion of motivic Chern classes. We collect several conjectures about the positivity, unimodality, and log concavity of CSM and motivic Chern classes of Schubert cells, including a conjectural positivity of structure constants of the multiplication of Poincaré duals of CSM classes. In addition, we prove a `star duality' for the motivic Chern classes. We utilize the motivic Chern transformation to define two equivariant variants of the Hirzebruch transformation, which appear naturally in the Grothendieck-Hirzebruch-Riemann-Roch formalism. We utilize the Demazure-Lusztig recursions from the motivic Chern class theory to find similar recursions giving the Hirzebruch classes of Schubert cells, their Poincar{é} duals, and their Segre versions. We explain the functoriality properties needed to extend the results to `partial' flag manifolds $G/P$.

We study the Hilbert series of four objects arising in the Chow-theoretic and Kazhdan-Lusztig framework of matroids. These are, respectively, the Hilbert series of the Chow ring, the augmented Chow ring, the intersection cohomology module, and its stalk at the empty flat. We develop a parallelism between the Kazhdan-Lusztig polynomial of a matroid and the Hilbert series of its Chow ring. This extends to a parallelism between the $Z$-polynomial of a matroid and the Hilbert series of its augmented Chow ring. This suggests to bring ideas from one framework to the other. Our two main motivations are the real-rootedness conjecture for all of these polynomials, and the problem of computing them. We provide several intrinsic definitions of these invariants; also, by leveraging that they are valuations under matroid polytope subdivisions, we deduce a fast way for computing them for a large class of matroids. Uniform matroids are a case of combinatorial interest; we link the resulting polynomials with certain real-rooted families such as the (binomial) Eulerian polynomials, and we settle a conjecture of Hameister, Rao, and Simpson. Furthermore, we prove the real-rootedness of the Hilbert series of the augmented Chow rings of uniform matroids via a result of Haglund and Zhang; and in addition, we prove a version of a conjecture of Gedeon in the Chow setting: uniform matroids maximize coefficient-wisely these polynomials for matroids with fixed rank and size. By relying on the nonnegativity of the Kazhdan-Lusztig polynomials and the semi-small decompositions of Braden, Huh, Matherne, Proudfoot, and Wang, we strengthen the unimodality of the Hilbert series of Chow rings, augmented Chow rings, and intersection cohomologies to $γ$-positivity, a property for palindromic polynomials that lies between unimodality and real-rootedness; this settles a conjecture of Ferroni, Nasr, and Vecchi.

We introduce a class of polytopes that we call chainlink polytopes and which allow us to construct infinite families of pairs of non isomorphic rational polytopes with the same Ehrhart quasi-polynomial. Our construction is based on circular fence posets, which admit a non-obvious and non-trivial symmetry in their rank sequences that turns out to be reflected in the polytope level. We introduce the related class of chainlink posets and show that they exhibit the same symmetry properties. We further prove an outstanding conjecture on the unimodality of circular rank polynomials.

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.

We study semigroup algebras arising from lattice polytopes, compute their volume polynomials (particularizing work of Hochster), and establish strong Lefschetz properties (generalizing work of the first three authors). This resolves several conjectures concerning unimodality properties of the $h^\ast$-polynomial of lattice polytopes arising within Ehrhart theory.

Recently, much attention has been given to various inequalities among partition functions. For example, Nicolas, {and later DeSavlvo--Pak,} proved that $p(n)$ is eventually log-concave, and Ji--Zang showed that the cranks are eventually unimodal. This has led to a flurry of recent activity generalizing such results in different directions. At the same time, Stanton recently made deep conjectures on the positivity of certain polynomials associated to ranks and cranks of partitions, with the ultimate goal of pointing the way to ``deeper'' structure refining ranks and cranks. These have been shown to be robust in recent works, which have identified further infinite families of such conjectures in the case of colored partitions. In this paper, we employ the Circle Method to prove unimodality for ranks. As a corollary, we prove Stanton's original conjecture. This points to future study of the positive, integral coefficients Stanton conjectured to exist, hinting at new combinatorial structure yet to be uncovered.

An enumerative theory of triangulations of simplicial complexes has been developed by Stanley. A key role in his theory is played by the local $h$-polynomial of a triangulation of a simplex. This paper develops a parallel theory, in which the role of the local $h$-polynomial is played by a simpler invariant, namely the theta polynomial. This allows one to deduce unimodality and gamma-positivity properties of $h$-polynomials of triangulations of simplicial complexes from corresponding properties of theta polynomials, which are studied here in some detail. To mention one concrete application, the $h$-polynomial of the antiprism triangulation of any simplicial homology sphere is shown to be gamma-positive, thus confirming Gal's conjecture in a new special case.

Graham and Lovász conjectured in 1978 that the sequence of normalized coefficients of the distance characteristic polynomial of a tree of order $n$ is unimodal with the maximum value occurring at $\lfloor\frac{n}{2}\rfloor$. In this paper we investigate this problem for block graphs. In particular, we prove the unimodality part and we establish the peak for several extremal cases of uniform block graphs with small diameter.

As is well-known, a generalization of the classical concept of the factorial $n!$ for a real number $x\in {\mathbb R}$ is the value of Euler's gamma function $Γ(1+x)$. In this connection, the notion of a binomial coefficient naturally arose for admissible values of the real arguments. By elementary means, it is proved a number of properties of binomial coefficients $\binom{r}α$ of real arguments $r,\,α\in {\mathbb R}$ such as analogs of unimodality, symmetry, Pascal's triangle, etc. for classical binomial coefficients. The asymptotic behavior of such generalized binomial coefficients of a special form is established.

We present a formula for a generalisation of the Eulerian polynomial, namely the generating polynomial of the joint distribution of major index and descent statistic over the set of signed multiset permutations. It has a description in terms of the $h^*$-polynomial of a certain polytope. Moreover, we associate a family of polytopes to (generalised) Eulerian polynomials of types $\mathsf{A}$ and $\mathsf{B}$. Using this connection, properties of the generalised Eulerian numbers of types $\mathsf{A}$ and $\mathsf{B}$, such as palindromicity and unimodality, are reflected in certain properties of the associated polytope. We also present results on generalising the connection between descent polynomials and polytopes to coloured (multiset) permutations.

This work highlights the existence of partial symmetries in large families of iterated plethystic coefficients. The plethystic coefficients involved come from the expansion in the Schur basis of iterated plethysms of Schur functions indexed by one-row partitions. The partial symmetries are described in terms of an involution on partitions, the flip involution, that generalizes the ubiquitous $ω$ involution. Schur-positive symmetric functions possessing this partial symmetry are termed flip-symmetric. The operation of taking plethysm with $s_λ$ preserves flip-symmetry, provided that $λ$ is a partition of two. Explicit formulas for the iterated plethysms $s_2\circ s_b\circ s_a$ and $s_c\circ s_2\circ s_a$, with $a,$ $b,$ and $c$ $\ge$ $2$ allow us to show that these two families of iterated plethysms are flip-symmetric. The article concludes with some observations, remarks, and open questions on the unimodality and asymptotic normality of certain flip-symmetric sequences of iterated plethystic coefficients.

We prove a conjecture of Morier-Genoud and Ovsienko that says that rank polynomials of the distributive lattices of lower ideals of fence posets are unimodal. We do this by introducing a related class of circular fence posets and proving a stronger version of the conjecture due to McConville, Sagan and Smyth. We show that the rank polynomials of circular fence posets are symmetric and conjecture that unimodality holds except in some particular cases. We also apply the recent work of Elizalde, Plante, Roby and Sagan on rowmotion on fences and show many of their homomesy results hold for the circular case as well.

$q$-Kaplansky numbers were considered by Chen and Rota. We find that $q$-Kaplansky numbers are connected to the symmetric differences of Gaussian polynomials introduced by Reiner and Stanton. Based on the work of Reiner and Stanton, we establish the unimodality of $q$-Kaplansky numbers. We also show that $q$-Kaplansky numbers are the generating functions for the inversion number and the major index of two special kinds of $(0,1)$-sequences. Furthermore, we show that $q$-Kaplansky numbers are strongly $q$-log-concave.

In this article we make several contributions of independent interest. First, we introduce the notion of stressed hyperplane of a matroid, essentially a type of cyclic flat that permits to transition from a given matroid into another with more bases. Second, we prove that the framework provided by the stressed hyperplanes allows one to write very concise closed formulas for the Kazhdan--Lusztig, inverse Kazhdan--Lusztig and $Z$-polynomials of all paving matroids, a class which is conjectured to predominate among matroids. Third, noticing the palindromicity of the $Z$-polynomial, we address its $γ$-positivity, a midpoint between unimodality and real-rootedness. To this end, we introduce the \emph{$γ$-polynomial} associated to it, we study some of its basic properties and we find closed expressions for it in the case of paving matroids. Also, we prove that it has positive coefficients in many interesting cases, particularly in the large family of sparse paving matroids, and other smaller classes such as projective geometries, thagomizer matroids and other particular graphs. Our last contribution consists of providing explicit combinatorial interpretations for the coefficients of many of the polynomials addressed in this article by enumerating fillings in certain Young tableaux and skew Young tableaux.