arXiv++ Combinatorics

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 note, we give a rank function axiomatization for delta-matroids and study the corresponding rank generating function. We relate an evaluation of the rank generating function to the number of independent sets of the delta-matroid, and we prove a log-concavity result for that evaluation using the theory of Lorentzian polynomials.

Let $\mathcal{A}=\left(a_i\right)_{i=1}^\infty$ be a weakly increasing sequence of positive integers and let $k$ be a fixed positive integer. For an arbitrary integer $n$, the restricted partition $p_\mathcal{A}(n,k)$ enumerates all the partitions of $n$ whose parts belong to the multiset $\{a_1,a_2,\ldots,a_k\}$. In this paper we investigate some generalizations of the log-concavity of $p_\mathcal{A}(n,k)$. We deal with both some basic extensions like, for instance, the strong log-concavity and a more intriguing challenge that is the $r$-log-concavity of both quasi-polynomial-like functions in general, and the restricted partition function in particular. For each of the problems, we present an efficient solution.

For an integer $b \ge 1$, a $b$-matching (resp. $b$-edge cover) of a graph $G=(V,E)$ is a subset $S\subseteq E$ of edges such that every vertex is incident with at most (resp. at least) $b$ edges from $S$. We prove that for any $b \ge 1$ the simple Glauber dynamics for sampling (weighted) $b$-matchings and $b$-edge covers mixes in $O(n\log n)$ time on all $n$-vertex bounded-degree graphs. This significantly improves upon previous results which have worse running time and only work for $b$-matchings with $b \le 7$ and for $b$-edge covers with $b \le 2$. More generally, we prove spectral independence for a broad class of binary symmetric Holant problems with log-concave signatures, including $b$-matchings, $b$-edge covers, and antiferromagnetic $2$-spin edge models. We hence deduce optimal mixing time of the Glauber dynamics from spectral independence. The core of our proof is a recursive coupling inspired by (Chen and Zhang '23) which upper bounds the Wasserstein $W_1$ distance between distributions under different pinnings. Using a similar method, we also obtain the optimal $O(n\log n)$ mixing time of the Glauber dynamics for the hardcore model on $n$-vertex bounded-degree claw-free graphs, for any fugacity $λ$. This improves over previous works which have at least cubic dependence on $n$.

To prove log-concavity of the characteristic polynomials of matroids, Adiprasito-Huh-Katz proved the Kähler package (the hard Lefschetz theorem and the Hodge-Riemann bilinear relations) for their Chow rings. Amini-Piquerez generalized it to tropical cohomology of smooth projective tropical varieties. Their proofs were combinatorial. In this paper, we establish tropical Hodge theory except for regularity of solutions of Laplacian, and give a conditional proof of the Kähler package in the same way as compact Kähler manifolds.

We prove that the number $q(n)$ of partitions into distinct parts is log-concave for $n \geq 33$ and satisfies the higher order Turán inequalities for $n\geq 121$ conjectured by Craig and Pun. In doing so, we establish explicit error terms for $q(n)$ and for $q(n-1)q(n+1)/q(n)^2$ based on Chern's asymptotic formulas for $η$-quotients.

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.

We introduce an expressive subclass of non-negative almost submodular set functions, called strongly 2-coverage functions which include coverage and (sums of) matroid rank functions, and prove that the homogenization of the generating polynomial of any such function is completely log-concave, taking a step towards characterizing the coefficients of (homogeneous) completely log-concave polynomials. As a consequence we obtain that the "level sets" of any such function form an ultra-log concave sequence.

Given an integer $k\geq 3$ and an initial $k-1$ isolated vertices, an {\em antiregular $k$-hypergraph} is constructed by alternatively adding an isolated vertex (connected to no other vertices) or a dominating vertex (connected to every other $k-1$ vertices). Let $a_i$ be the number of independent sets of cardinality $i$ in a hypergraph $H$, then the {\em independence polynomial} of $H$ is defined as $I(H;x)=\sum_{i=0}^m a_i x^i$, where $m$ is the size of a maximum independent set. The main purpose of the present paper is to generalise some results of independence polynomials of antiregular graphs to the case of antiregular $k$-hypergraphs. In particular, we derive (semi-)closed formulas for the independence polynomials of antiregular $k$-hypergraphs and prove their log-concavity. Furthermore, we show that antiregular $k$-hypergraphs are {\em $T2$-threshold}, which means there exist a labeling $c$ of the vertex set and a threshold $τ$ such that for any vertex subset $S$ of cardinality $k$, $\sum_{i\in S}c(i)>τ$ if and only if $S$ is a hyperedge.

We expand on the remark by Andrews on the importance of infinite sums and products in combinatorics. Let $\{g_d(n)\}_{d\geq 0,n \geq 1}$ be the double sequences $σ_d(n)= \sum_{\ell \mid n} \ell^d$ or $ψ_d(n)= n^d$. We associate double sequences $\left\{ p^{g_{d} }\left( n\right) \right\}$ and $\left\{ q^{g_{d} }\left( n\right) \right\} $, defined as the coefficients of \begin{eqnarray*} \sum_{n=0}^{\infty} p^{g_{d} }\left( n\right) \, t^{n} & := & \prod_{n=1}^{\infty} \left( 1 - t^{n} \right)^{-\frac{ \sum_{\ell \mid n} μ(\ell) \, g_d(n/\ell) }{n} }, \\ \sum_{n=0}^{\infty} q^{g_{d} }\left( n\right) \, t^{n} & := & \frac{1}{1 - \sum_{n=1}^{\infty} g_d(n) \, t^{n} }. \end{eqnarray*} These coefficients are related to the number of partitions $\mathrm{p}\left( n\right) = p^{σ_{1 }}\left ( n\right) $, plane partitions $pp\left( n\right) = p^{σ_{2 }}\left( n\right) $ of $n$, and Fibonacci numbers $F_{2n} = q^{ψ_{1 }}\left( n\right) $. Let $n \geq 3$ and let $n \equiv 0 \pmod{3}$. Then the coefficients are log-concave at $n$ for almost all $d$ in the exponential and geometric cases. The coefficients are not log-concave for almost all $d$ in both cases, if $n \equiv 2 \pmod{3}$. Let $n\equiv 1 \pmod{3}$. Then the log-concave property flips for almost all $d$.

We investigate coordination numbers of the cubic lattices with emphases on their analytic behaviors, including the total positivity of the coordination matrices, the distribution of zeros of the coordination polynomials, the asymptotic normality of the coefficients of the coordination polynomials, the log-concavity and the log-convexity of the coordination numbers.

In this paper we develop a new geometric method to answer the log-concavity questions related to a nice class of combinatorial sequences arising from the Pascal triangle.

We introduce and study the r-Lah distribution whose definition involves r-Stirling numbers of both kinds. We compute its expectation and variance, show its log-concavity and prove limit theorems for this distribution. We use these results to prove threshold phenomena for convex cones generated by random walks and to analyze the probability of unique recovery of sparse monotone signals from linear measurements.

Motivated by the Lam--Pylyavskyy inequalities for Schur functions, we give a far reaching multivariate generalization of Fishburn's correlation inequality for the number of linear extensions of posets. We then give a multivariate generalization of the Daykin--Daykin--Paterson inequality proving log-concavity of the order polynomial of a poset. We also prove a multivariate $P$-partition version of the cross-product inequality by Brightwell--Felsner--Trotter. The proofs are based on a multivariate generalization of the Ahlswede--Daykin inequality.

Given a graph $G$, its genus polynomial is $Γ_G(x) = \sum_{k\geq 0} g_k(G)x^k$, where $g_k(G)$ is the number of 2-cell embeddings of $G$ in an orientable surface of genus $k$. The Log-Concavity Genus Distribution (LCGD) Conjecture states that the genus polynomial of every graph is log-concave. It was further conjectured by Stahl that the genus polynomial of every graph has only real roots, however this was later disproved. We identify several examples of cubic graphs whose genus polynomials, in addition to having at least one non-real root, have a quadratic factor that is non-log-concave when factored over the real numbers.

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.

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.

Stanley's inequalities for partially ordered sets establish important log-concavity relations for sequences of linear extensions counts. Their extremals however, i.e., the equality cases of these inequalities, were until now poorly understood with even conjectures lacking. In this work, we solve this problem by providing a complete characterization of the extremals of Stanley's inequalities. Our proof is based on building a new ``dictionary" between the combinatorics of partially ordered sets and the geometry of convex polytopes, which captures their extremal structures.

Recently, the higher order Turán inequalities for the Boros-Moll sequences $\{d_\ell(m)\}_{\ell=0}^m$ were obtained by Guo. In this paper, we show a different approach to this result. Our proof is based on a criterion derived by Hou and Li, which need only checking four simple inequalities related to sufficiently sharp bounds for $d_\ell(m)^2/(d_{\ell-1}(m)d_{\ell+1}(m))$. In order to do so, we adopt the upper bound given by Chen and Gu in studying the reverse ultra log-concavity of Boros-Moll polynomials, and establish a desired lower bound for $d_\ell(m)^2/(d_{\ell-1}(m)d_{\ell+1}(m))$ which also implies the log-concavity of $\{\ell! d_\ell(m)\}_{\ell=0}^m$ for $m\geq 2$. We also show a sharper lower bound for $d_\ell(m)^2/(d_{\ell-1}(m)d_{\ell+1}(m))$ which may be available for some deep results on inequalities of Boros-Moll sequences.

We formulate a series of conjectures on the stable tensor product of irreducible representations of symmetric groups, which are closely related to the reduced Kronecker coefficients. These conjectures are certain generalizations of Okounkov's conjecture on the log-concavity of the Littlewood--Richardson coefficients and the Schur log-concavity theorem of Lam--Postnikov--Pylyavskyy. We prove our conjectures in some special cases and discuss some implications of these conjectures.