arXiv++ Combinatorics

Let T be a topology on the finite set Xn. We consider the open polynomial associated with the topology T. Its coefficients are the cardinality of open sets of size j=0,...,n. J. Brown [4] asked when this polynomial has only real zeros. We prove that this polynomial has real zeros, only in the trivial case where T is the discrete topology. Then, we weaken Brown's question: for which topology this polynomial is log-concave, or at least unimodal? A partial answer is given. Precisely, we prove that if the topology has a large number of open sets, then its open polynomial is unimodal.

Given two graphs $G$ and $H$, assume that $\mathscr{C}=\{C_1,C_2,\ldots, C_q\}$ is a clique cover of $G$ and $U$ is a subset of $V(H)$. We introduce a new graph operation called the clique cover product, denoted by $G^{\mathscr{C}}\star H^U$, as follows: for each clique $C_i\in \mathscr{C}$, add a copy of the graph $H$ and join every vertex of $C_i$ to every vertex of $U$. We prove that the independence polynomial of $G^{\mathscr{C}}\star H^U$ $$I(G^{\mathscr{C}}\star H^U;x)=I^q(H;x)I(G;\frac{xI(H-U;x)}{I(H;x)}),$$ which generalizes some known results on independence polynomials of corona and rooted products of graphs obtained by Gutman and Rosenfeld, respectively. Based on this formula, we show that the clique cover product of some special graphs preserves symmetry, unimodality, log-concavity or reality of zeros of independence polynomials. As applications we derive several known facts in a unified manner and solve some unimodality conjectures and problems.

The aim of this paper is to develop analytic techniques to deal with certain monotonicity of combinatorial sequences. (1) A criterion for the monotonicity of the function $\sqrt[x]{f(x)}$ is given, which is a continuous analog for one result of Wang and Zhu. (2) The log-behavior of the functions $θ(x)=\sqrt[x]{2 ζ(x)Γ(x+1)}$ and $F(x)=\sqrt[x]{\frac{Γ(ax+b+1)}{Γ(c x+d+1)Γ(e x+f+1)}}$ is considered, where $ζ(x)$ and $Γ(x)$ are the Riemann zeta function and the Euler Gamma function, respectively. As consequences, the strict log-concavities of the function $θ(x)$ (a conjecture of Chen {\it et al.}) and $\{\sqrt[n]{z_n}\}$ for some combinatorial sequences (including the Bernoulli numbers, the Tangent numbers, the Catalan numbers, the Fuss-Catalan numbers and some Binomial coefficients) are demonstrated. In particular, this contains some results of Chen {\it et al.}, Luca and Stănică. (3). By researching logarithmically complete monotonicity of some functions, the infinite log-monotonicity of the sequence $\{\frac{(n_{0}+ia)!}{(k_0+ib)!(\overline{k_0}+i\overline{b})!}\}_{i\geq0}$ is proved. This generalizes two results of Chen {\it et al.} that both the Catalan numbers $\frac{1}{n+1}\binom{2n}{n}$ and central binomial coefficients $\binom{2n}{n}$ are infinitely log-monotonic and strengths one result of Su and Wang that $\binom{dn}{δn}$ is log-convex in $n$. (4) The asymptotically infinite log-monotonicity of derangement numbers is showed. (5)The logarithmically complete monotonicity of functions $1/\sqrt[x]{a ζ(x+b)Γ(x+c)}$ and $\sqrt[x]{ρ\prod_{i=1}^n\frac{Γ(x+a_i)}{Γ(x+b_i)}}$ is also obtained, which generalizes the results of Lee and Tepedelenlioǧlu, Qi and Li.

Littlewood Richardson coefficients are structure constants appearing in the representation theory of the general linear groups ($GL_n$). The main results of this paper are: 1. A strongly polynomial randomized approximation scheme for certain Littlewood-Richardson coefficients. 2. A proof of approximate log-concavity of certain Littlewood-Richardson coefficients.

We introduce the notion of infinitely log-monotonic sequences. By establishing a connection between completely monotonic functions and infinitely log-monotonic sequences, we show that the sequences of the Bernoulli numbers, the Catalan numbers and the central binomial coefficients are infinitely log-monotonic. In particular, if a sequence $\{a_n\}_{n\geq 0}$ is log-monotonic of order two, then it is ratio log-concave in the sense that the sequence $\{a_{n+1}/a_{n}\}_{n\geq 0}$ is log-concave. Furthermore, we prove that if a sequence $\{a_n\}_{n\geq k}$ is ratio log-concave, then the sequence $\{\sqrt[n]{a_n}\}_{n\geq k}$ is strictly log-concave subject to a certain initial condition. As consequences, we show that the sequences of the derangement numbers, the Motzkin numbers, the Fine numbers, the central Delannoy numbers, the numbers of tree-like polyhexes and the Domb numbers are ratio log-concave. For the case of the Domb numbers $D_n$, we confirm a conjecture of Sun on the log-concavity of the sequence $\{\sqrt[n]{D_n}\}_{n\geq 1}$.

In a previous paper, Mihoubi et al. introduced the $(r_{1},...,r_{p}) $-Stirling numbers and the $(r_{1},...,r_{p}) $-Bell polynomials and gave some of their combinatorial and algebraic properties. These numbers and polynomials generalize, respectively, the $r$-Stirling numbers of the second kind introduced by Broder and the $r$-Bell polynomials introduced by Mező. In this paper, we prove that the $(r_{1},...,r_{p}) $-Stirling numbers of the second kind are log-concave. We also give generating functions and generalized recurrences related to the $(r_{1},...,r_{p}) $-Bell polynomials.

D. Uminsky and K. Yeats [6] studied the properties of the log- operator L on the subset of the finite symmetric sequences and prove the existence of an infinite region R, bounded by parametrically de- fined hypersurfaces such that any sequence corresponding a point of R is infinitely log concave. We study the properties of a new operator L_r and redefine the hypersurfaces which generalizes the one defined by Uminsky and Yeats [6]. We show that any sequence corresponding a point of the region R, bounded by the new generalized parametrically defined r-factor hypersurfaces, is Generalized r-factor infinitely log concave. We also give an improved value of r_0 found by McNamara and Sagan [4] as the log-concavity criterion using the new log-operator.

Polynomial sequence ${P_m}_{m\geq0}$ is $q$-logarithmically concave if $P_{m}^2-P_{m+1}P_{m-1}$ is a polynomial with nonnegative coefficients for any $m\geq{1}$. We introduce an analogue of this notion for formal power series whose coefficients are nonnegative continuous functions of parameter. Four types of such power series are considered where parameter dependence is expressed by a ratio of gamma functions. We prove six theorems stating various forms of $q$-logarithmic concavity and convexity of these series. The main motivating examples for these investigations are hypergeometric functions. In the last section of the paper we present new inequalities for the Kummer function, the ratio of the Gauss functions and the generalized hypergeometric function obtained as direct applications of the general theorems.

For a graph $G$ and a positive integer $k$, the {\em graphical Stirling number} $S(G,k)$ is the number of partitions of the vertex set of $G$ into $k$ non-empty independent sets. Equivalently it is the number of proper colorings of $G$ that use exactly $k$ colors, with two colorings identified if they differ only on the names of the colors. If $G$ is the empty graph on $n$ vertices then $S(G,k)$ reduces to $S(n,k)$, the familiar Stirling number of the second kind. In this note we first consider Stirling numbers of forests. We show that if $(F^{c(n)}_n)_{n\geq 0}$ is any sequence of forests with $F^{c(n)}_n$ having $n$ vertices and $c(n)=o(\sqrt{n/\log n})$ components, and if $X^{c(n)}_n$ is a random variable that takes value $k$ with probability proportional to $S(F^{c(n)}_n,k)$ (that is, $X^{c(n)}_n$ is the number of classes in a uniformly chosen partition of $F^{c(n)}_n$ into non-empty independent sets), then $X^{c(n)}_n$ is asymptotically normal, meaning that suitably normalized it tends in distribution to the standard normal. This generalizes a seminal result of Harper on the ordinary Stirling numbers. Along the way we give recurrences for calculating the generating functions of the sequences $(S(F^c_n,k))_{k \geq 0}$, show that these functions have all real zeroes, and exhibit three different interlacing patterns between the zeroes of pairs of consecutive generating functions. We next consider Stirling numbers of cycles. We establish asymptotic normality for the number of classes in a uniformly chosen partition of $C_n$ (the cycle on $n$ vertices) into non-empty independent sets. We give a recurrence for calculating the generating function of the sequence $(S(C_n,k))_{k \geq 0}$, and use this to give a direct proof of a log-concavity result that had previously only been arrived at in a very indirect way.

Let $i_t(G)$ denote the number of independent sets of size $t$ in a graph $G$. Levit and Mandrescu have conjectured that for all bipartite $G$ the sequence $(i_t(G))_{t \geq 0}$ (the {\em independent set sequence} of $G$) is unimodal. We provide evidence for this conjecture by showing that is true for almost all equibipartite graphs. Specifically, we consider the random equibipartite graph $G(n,n,p)$, and show that for any fixed $p\in(0,1]$ its independent set sequence is almost surely unimodal, and moreover almost surely log-concave except perhaps for a vanishingly small initial segment of the sequence. We obtain similar results for $p=\tildeΩ(n^{-1/2})$. We also consider the problem of estimating $i(G)=\sum_{t \geq 0} i_t(G)$ for $G$ in various families. We give a sharp upper bound on the number of independent sets in an $n$-vertex graph with minimum degree $δ$, for all fixed $δ$ and sufficiently large $n$. Specifically, we show that the maximum is achieved uniquely by $K_{δ, n-δ}$, the complete bipartite graph with $δ$ vertices in one partition class and $n-δ$ in the other. We also present a weighted generalization: for all fixed $x>0$ and $δ>0$, as long as $n=n(x,δ)$ is large enough, if $G$ is a graph on $n$ vertices with minimum degree $δ$ then $\sum_{t \geq 0} i_t(G)x^t \leq \sum_{t \geq 0} i_t(K_{δ, n-δ})x^t$ with equality if and only if $G=K_{δ, n-δ}$.

We prove two conjectures of Brändén on the real-rootedness of polynomials $Q_n(x)$ and $R_n(x)$ which are related to the Boros-Moll polynomials $P_n(x)$. In fact, we show that both $Q_n(x)$ and $R_n(x)$ form Sturm sequences. The first conjecture implies the 2-log-concavity of $P_n(x)$, and the second conjecture implies the 3-log-concavity of $P_n(x)$.

In this note we prove positivity of Maclaurin coefficients of polynomials written in terms of rising factorials and arbitrary log-concave sequences. These polynomials arise naturally when studying log-concavity of rising factorial series. We propose several conjectures concerning zeros and coefficients of a generalized form of those polynomials. We also consider polynomials whose generating functions are higher order Toeplitz determinants formed by rising factorial series. We make three conjectures about these polynomials. All proposed conjectures are supported by numerical evidence.

Let M be a matroid on E, representable over a field of characteristic zero. We show that h-vectors of the following simplicial complexes are log-concave: 1. The matroid complex of independent subsets of E. 2. The broken circuit complex of $M$ relative to an ordering of E. The first implies a conjecture of Colbourn on the reliability polynomial of a graph, and the second implies a conjecture of Hoggar on the chromatic polynomial of a graph. The proof is based on the geometric formula for the characteristic polynomial of Denham, Garrousian, and Schulze.

Ordinary polytopes are known as a non-simplicial generalization of the cyclic polytopes. The face vectors of ordinary polytopes are shown to be log-concave.

We study the linear map sending the numerator of the rational function representing the Hilbert series of a module to that of its r-th Veronese submodule. We show that the asymptotic behaviour as r tends to infinity depends on the multidegree of the module and the underlying positively multigraded polynomial ring. More importantly, we give a polyhedral description for the asymptotic polynomial and prove that the coefficients are log-concave. In particular, we extend some results by Beck-Stapledon and Diaconis-Fulman beyond the standard graded situation.

It is well-known that the coordinator polynomials of the classical root lattice of type $A_n$ and those of type $C_n$ are real-rooted. They can be obtained, either by the Aissen-Schoenberg-Whitney theorem, or from their recurrence relations. In this paper, we develop a trigonometric substitution approach which can be used to establish the real-rootedness of coordinator polynomials of type $D_n$. We also find the coordinator polynomials of type $B_n$ are not real-rooted in general. As a conclusion, we obtain that all coordinator polynomials of Weyl group lattices are log-concave.

We show that f-vectors of matroid complexes of realisable matroids are log-concave. This was conjectured by Mason in 1972. Our proof uses the recent result by Huh and Katz who showed that the coefficients of the characteristic polynomial of a realisable matroid form a log-concave sequence. We also discuss the relationship between log-concavity of f-vectors and h-vectors of matroids. In the last section we explain the connection between zonotopal algebra and f-vectors and characteristic polynomials of matroids.

In a recent paper, the first author proved the log-concavity of the coefficients of the characteristic polynomial of a matroid realizable over a field of characteristic 0, answering a long-standing conjecture of Read in graph theory. We extend the proof to all realizable matroids, making progress towards a more general conjecture of Rota-Heron-Welsh. Our proof follows from an identification of the coefficients of the reduced characteristic polynomial as answers to particular intersection problems on a toric variety. The log-concavity then follows from an inequality of Hodge type.

The chromatic polynomial is a well studied object in graph theory. There are many results and conjectures about the log-concavity of the chromatic polynomial and other polynomials related to it. The location of the roots of these polynomials has also been well studied. One famous result due to A. Sokal and C. Borgs provides a bound on the absolute value of the roots of the chromatic polynomial in terms of the highest degree of the graph. We use this result to prove a modification of a log-concavity conjecture due to F. Brenti. The original conjecture of Brenti was that the chromatic polynomial is log-concave on the natural numbers. This was disproved by Paul Seymour by presenting a counter example. We show that the chromatic polynomial $P_G(q)$ of graph $G$ is in fact log-concave for all $q > CΔ+ 1$ for an explicit constant $C < 10$, where $Δ$ denotes the highest degree of $G$. We also provide an example which shows that the result is not true for constants $C$ smaller than 1.

The Boros-Moll polynomials $P_m(a)$ arise in the evaluation of a quartic integral. It has been conjectured by Boros and Moll that these polynomials are infinitely log-concave. In this paper, we show that $P_m(a)$ is 2-log-concave for any $m\geq 2$. Let $d_i(m)$ be the coefficient of $a^i$ in $P_m(a)$. We also show that the sequence $\{i (i+1)(d_i^{\,2}(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ is log-concave. This leads another proof of Moll's minimum conjecture.