arXiv++ Combinatorics

A descent $k$ of a permutation $π=π_{1}π_{2}\dotsπ_{n}$ is called a big descent if $π_{k}>π_{k+1}+1$; denote the number of big descents of $π$ by $\operatorname{bdes}(π)$. We study the distribution of the $\operatorname{bdes}$ statistic over permutations avoiding prescribed sets of length-three patterns. Specifically, we classify all pattern sets $Π\subseteq\mathfrak{S}_{3}$ of size 1 and 2 into $\operatorname{bdes}$-Wilf equivalence classes, and we derive a formula for the distribution of big descents for each of these classes. Our methods include generating function techniques along with various bijections involving objects such as Dyck paths and binary words. Several future directions of research are proposed, including conjectures concerning real-rootedness, log-concavity, and Schur positivity.

Given a partition $λ$, we write $e_j(λ)$ for the $j^{\textrm{th}}$ elementary symmetric polynomial $e_j$ evaluated at the parts of $λ$ and $e_jp_A(n)$ for the sum of $e_j(λ)$ as $λ$ ranges over the set of partitions of $n$ with parts in $A$. For $e_jp_A(n)$, we prove analogs of the classical formula for the partition function, $p(n)=1/n \sum_{k=0}^{n-1}σ_1(n-k)p(k)$, where $σ_1$ is the sum of divisors function. We prove several congruences for $e_2p_4(n)$, the sum of $e_2$ over the set of partitions of $n$ into four parts. Define the function $\textrm{pre}_j(λ)$ to be the multiset of monomials in $e_j(λ)$, which is itself a partition. If $\mathcal A$ is a set of partitions, we define $\textrm{pre}_j(\mathcal A)$ to be the set of partitions $\textrm{pre}_j(λ)$ as $λ$ ranges over $\mathcal A$. If $\mathcal P(n)$ is the set of all partitions of $n$, we conjecture that the number of odd partitions in $\textrm{pre}_2(\mathcal P(n))$ is at least the number of distinct partitions. We prove some results about $\textrm{pre}_2(\mathcal B(n))$, where $\mathcal B(n)$ is the set of binary partitions of $n$. We conclude with conjectures on the log-concavity of functions related to $e_jp(n)$, the sum of $e_j(λ)$ for all $λ\in \mathcal P(n)$.

Wagner (1992) proved that the Hadamard product of two Pólya frequency sequences that are interpolated by polynomials is again a Pólya frequency sequence. We study whether related combinatorial properties are preserved under Hadamard products. In particular, we show that ultra log-concavity, $γ$-positivity, and interlacing symmetric decompositions are preserved. Furthermore, we disprove a conjecture by Fischer and Kubitzke (2014) concerning the real-rootedness of Hadamard powers.

We provide a programmable recursive algorithm for the $\mathbb{S}_n$-representations on the cohomology of the moduli spaces $\overline{\mathcal M}_{0,n}$ of $n$-pointed stable curves of genus 0. As an application, we find explicit inductive and asymptotic formulas for the invariant part $H^*(\overline{\mathcal M}_{0,n}/\mathbb{S}_n)$ and prove that its Poincaré polynomial is asymptotically log-concave. Based on numerical computations with our algorithm, we further conjecture that the sequence $\{H^{2k}(\overline{\mathcal M}_{0,n})\}$ of $\mathbb{S}_n$-modules is equivariantly log-concave.

For some positive integer $m$, a real polynomial $P(x)=\sum\limits_{k=0}^ma_kx^k$ with $a_k\geqslant 0$ is called log-concave (resp. ultra log-concave) if $a_k^2\geqslant a_{k-1}a_{k+1}$ (resp. $a_k^2\geqslant \left(1+\frac{1}{k}\right)\left(1+\frac{1}{m-k}\right)\cdot$ $a_{k-1}a_{k+1}$) for all $1\leqslant k\leqslant m-1$. If $P(x)$ has only real roots, then it is called real-rooted. It is well-known that the conditions of log-concavity, ultra log-concavity and real-rootedness are ever-stronger. For a graph $G$, a dependent set is a set of vertices which is not independent, i.e., the set of vertices whose induced subgraph contains at least one edge. The dependence polynomial of $G$ is defined as $D(G, x):=\sum\limits_{k\geqslant 0}d_k(G)x^k$, where $d_k(G)$ is the number of dependent sets of size $k$ in $G$. Horrocks proved that $D(G, x)$ is log-concave for every graph $G$ [J. Combin. Theory, Ser. B, 84 (2002) 180--185]. In the present paper, we prove that, for a graph $G$, $D(G, x)$ is ultra log-concave if $G$ is $(K_2\cup 2K_1)$-free or contains an independent set of size $|V(G)|-2$, and give the characterization of graphs whose dependence polynomials are real-rooted. Finally, we focus more attention to the problems of log-concavity about independence systems and pose several conjectures closely related the famous Mason's Conjecture.

Okounkov [Oko03] conjectured the log-concavity about the structure constants for many interesting basis from representation theory. For the cluster algebra, Gross, Hacking, Keel, Kontsevich [GHKK18] introduced the atomic theta basis. We prove that the coefficients of the exponents of any cluster variable of type $A_n$ are log-concave. We show that the structure constants for theta basis of type $A_2$ are log-concave. As for larger generality, we conjecture that the log-concavity of the structure constants for theta basis of the cluster algebra.

This paper is a continuation of earlier work of Arslan \cite{Ars}, who introduced the Mahonian number of type $B$ by using a new statistic on the hyperoctahedral group $B_{n}$, in response to questions he suggested in his paper entitled "{\it A combinatorial interpretation of Mahonian numbers of type $B$}" published in arXiv:2404.05099v1. We first give the Knuth-Netto formula and generating function for the subdiagonals on or below the main diagonal of the Mahonian numbers of type $B$, then its combinatorial interpretations by lattice path/partition and tiling. Next, we propose a $q$-analogue of Mahonian numbers of type $B$ by using a new statistics on the permutations of the hyperoctahedral group $B_n$ that we introduced, then we study their basic properties and their combinatorial interpretations by lattice path/partition and tiling. Finally, we prove combinatorially that the $q$-analogue of Mahonian numbers of type $B$ form a strongly $q$-log-concave sequence of polynomials in $k$, which implies that the Mahonian numbers of type $B$ form a log-concave sequence in $k$ and therefore unimodal.

We consider infinite sequences of positive numbers. The connection between log-concavity and the Bessenrodt--Ono inequality had been in the focus of several papers. This has applications in the white noise distribution theory and combinatorics. We improve a recent result of Benfield and Roy and show that for the sequence of partition numbers $\{p(n)\}$ Nicolas' log-concavity result implies the result of Bessenrodt and Ono towards $p(n) \, p(m) > p(n+m)$. We provide several examples. Benfield and Roy gave a conjecture related to $\ell $-ary partition numbers. We prove part of this conjecture.

The \emph{Stanley--Yan} (SY) \emph{inequality} gives the ultra-log-concavity for the numbers of bases of a matroid which have given sizes of intersections with $k$ fixed disjoint sets. The inequality was proved by Stanley (1981) for regular matroids, and by Yan (2023) in full generality. In the original paper, Stanley asked for equality conditions of the SY~inequality, and proved total equality conditions for regular matroids in the case $k=0$. In this paper, we completely resolve Stanley's problem. First, we obtain an explicit description of the equality cases of the SY inequality for $k=0$, extending Stanley's results to general matroids and removing the ``total equality'' assumption. Second, for $k\ge 1$, we prove that the equality cases of the SY inequality cannot be described in a sense that they are not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level.

Let $\{a_i\}_{i=1}^\ell$ be a strongly unimodal positive integer sequence with peak position $k$. The rank of such sequence is defined to be $\ell-2k+1$. Let $u(m,n)$ denote the number of sequences $\{a_i\}_{i=1}^\ell$ with rank $m$ and $\sum_{i=1}^{\ell} a_i=n$. Bringmann, Jennings-Shaffer, Mahlburg and Rhoades conjectured that $\{u(m,n)\}_m$ is strongly log-concave for any fixed $n$. Motivated by this conjecture, in this paper we prove the strongly unimodality of $\{u(m,n)\}_m$, that is $u(m,n)>u(m+1,n)$ for $m\ge 0$ and $n\ge \max\{6,{m+2\choose 2}\}$. This result gives supportive evidence for the above conjecture. Moreover, we find a combinatorial interpretation of $u(m,n)$, which leads to a new combinatorial interpretation of ${\rm ospt}(n)$. Furthermore, using this new combinatorial interpretation, a lower bound and an asymptotic formula on ${\rm ospt}(n)$ will be presented.

Colored multiset Eulerian polynomials are a common generalization of MacMahon's multiset Eulerian polynomials and the colored Eulerian polynomials, both of which are known to satisfy well-studied distributional properties including real-rootedness, log-concavity and unimodality. The symmetric colored multiset Eulerian polynomials are characterized and used to prove sufficient conditions for a colored multiset Eulerian polynomial to be self-interlacing. The latter property implies the aforementioned distributional properties as well as others, including the alternatingly increasing property and bi-$γ$-positivity. To derive these results, multivariate generalizations of an identity due to MacMahon are deduced. The results are applied to a pair of questions, both previously studied in several special cases, that are seen to admit more general answers when framed in the context of colored multiset Eulerian polynomials. The first question pertains to $s$-Eulerian polynomials, and the second to interpretations of $γ$-coefficients.

Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity result in the more general setting of valuated discrete polymatroids, or equivalently, M-convex functions. Our approach is via the construction of a generic extension of a valuated matroid or M-convex function, so that the bases of the extension are related to the independent sets of the original matroid. We also provide a similar log-concavity result for valuated bimatroids, which, we believe, might be of independent interest.

Unimodality of the normalized coefficients of the characteristic polynomial of distance matrices of trees are known and bounds on the location of its peak (the largest coefficient) are also known. Recently, an extension of these results to distance matrices of block graphs was given. In this work, we extend these results to two additional distance-type matrices associated with trees: the Min-4PC matrix and the 2-Steiner distance matrix. We show that the sequences of coefficients of the characteristic polynomials of these matrices are both unimodal and log-concave. Moreover, we find the peak location for the coefficients of the characteristic polynomials of the Min-4PC matrix of any tree on $n$ vertices. Further, we show that the Min-4PC matrix of any tree on $n$ vertices is isometrically embeddable in $\mathbb{R}^{n-1}$ equipped with the $\ell_1$ norm.

The Boros-Moll sequences $\{d_\ell(m)\}_{\ell=0}^m$ arise in the study of evaluation of a quartic integral. After the infinite log-concavity conjecture of the sequence $\{d_\ell(m)\}_{\ell=0}^m$ was proposed by Boros and Moll, a lot of interesting inequalities on $d_\ell(m)$ were obtained, although the conjecture is still open. Since $d_\ell(m)$ has two parameters, it is natural to consider the properties for the sequences $\{d_\ell(m)\}_{m\ge \ell}$, which are called the \emph{transposed Boros-Moll sequences} here. In this paper, we mainly prove the extended reverse ultra log-concavity of the transposed Boros-Moll sequences $\{d_\ell(m)\}_{m\ge \ell}$, and hence give an upper bound for the ratio ${d_\ell^2(m)}/{(d_\ell(m-1)d_\ell(m+1))}$. A lower bound for this ratio is also established which implies a result stronger than the log-concavity of the sequences $\{d_\ell(m)\}_{m\ge \ell}$. As a consequence, we also show that the transposed Boros-Moll sequences possess a stronger log-concave property than the Boros-Moll sequences do. At last, we propose some conjectures on the Boros-Moll sequences and their transposes.

We build upon the work by Bessenrodt and Ono, as well as Beckwith and Bessenrodt concerning the combined additive and multiplicative behavior of the $k$-regular partition functions $p_k(n)$. Our focus is on addressing the solutions of the Bessenrodt--Ono inequality \begin{equation*} p_k(a) \, p_k(b) > p_k(a+b). \end{equation*} We determine the sets $E_k$ and $F_k$ consisting of all pairs $(a,b)$, where we have equality or the opposite inequality. Bessenrodt and Ono previously determined the exception sets $E_{\infty}$ and $F_{\infty}$ for the partition function $p(n)$. We prove by induction that $E_k=E_{\infty}$ and $F_k=F_{\infty}$ if and only if $k \geq 10$. Beckwith and Bessenrodt used analytic methods to consider $2 \leq k \leq 6$, while Alanazi, Gagola, and Munagi studied the case $k=2$ using combinatorial methods. Finally, we present a precise and comprehensive conjecture on the log-concavity of the $k$-regular partition function extending previous speculations by Craig and Pun. The case $k=2$ was recently proven by Dong and Ji.

In this paper, we introduce the concept of the over-Mahonian number, which counts the overlined permutations of length $n$ with $k$ inversions, allowing the first elements associated with the inversions to be independently overlined or not. We explore its properties and combinatorial interpretations through lattice paths, overpartitions, and tilings, and provide a combinatorial proof demonstrating that these numbers form a log-concave and unimodal sequence.

For a graph $G$, and a nonnegative integer $g$, let $a_g(G)$ be the number of $2$-cell embeddings of $G$ in an orientable surface of genus $g$ (counted up to the combinatorial homeomorphism equivalence). In 1989, Gross, Robbins, and Tucker [Genus distributions for bouquets of circles, J. Combin. Theory Ser. B 47 (1989), 292-306] proposed a conjecture that the sequence $a_0(G),a_1(G),a_2(G),\dots$ is log-concave for every graph $G$. This conjecture is reminiscent to the Heron-Rota-Welsh Log Concavity Conjecture that was recently resolved in the affirmative by June Huh et al., except that it is closer to the notion of $Δ$-matroids than to the usual matroids. In this short paper, we disprove the Log Concavity Conjecture of Gross, Robbins, and Tucker by providing examples that show strong deviation from log-concavity at multiple terms of their genus sequences.

We study the multivariate independence polynomials of graphs and the log-concavity of the coefficients of their univariate restrictions. Let $R_{W_4}$ be the operator defined on simple and undirected graphs which replaces each edge with a caterpillar of size $4$. We prove that all graphs in the image of $R_{W_4}$ are what we call pre-Lorentzian, that is, their multivariate independence polynomial becomes Lorentzian after appropriate manipulations. In particular, as pre-Lorentzian graphs have log-concave (and therefore unimodal) independence sequences, our result makes progress on a conjecture of Alavi, Malde, Schwenk and Erdős which asks if the independence sequence of trees or forests is unimodal.

Real-stable, Lorentzian, and log-concave polynomials are well-studied classes of polynomials, and have been powerful tools in resolving several conjectures. We show that the problems of deciding whether a polynomial of fixed degree is real stable or log concave are coNP-hard. On the other hand, while all homogeneous real-stable polynomials are Lorentzian and all Lorentzian polynomials are log concave on the positive orthant, the problem of deciding whether a polynomial of fixed degree is Lorentzian can be solved in polynomial time.

We survey some of the mechanisms used to prove that naturally defined sequences in combinatorics are log-concave. Among these mechanisms are Alexandrov's inequality for mixed discriminants, the Alexandrov Fenchel inequality for mixed volumes, Lorentzian polynomials, and the Hard Lefschetz theorem. We use these mechanisms to prove some new log-concavity and extremal results related to partially ordered sets and matroids. We present joint work with Ramon van Handel and Xinmeng Zeng to give a complete characterization for the extremals of the Kahn-Saks inequality. We extend Stanley's inequality for regular matroids to arbitrary matroids using the technology of Lorentzian polynomials. As a result, we provide a new proof of the weakest Mason conjecture. We also prove necessary and sufficient conditions for the Gorenstein ring associated to the basis generating polynomial of a matroid to satisfy Hodge-Riemann relations of degree one on the facets of the positive orthant.