arXiv++ Combinatorics

Let $f: {\Bbb R}^n \longrightarrow {\Bbb R}$ be a positive definite quadratic form and let $y \in {\Bbb R}^n$ be a point. We present a fully polynomial randomized approximation scheme (FPRAS) for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x)}$, provided the eigenvalues of $f$ lie in the interval roughly between $s$ and $e^{s}$ and for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x-y)}$, provided the eigenvalues of $f$ lie in the interval roughly between $e^{-s}$ and $s^{-1}$ for some $s \geq 3$. To compute the first sum, we represent it as the integral of an explicit log-concave function on ${\Bbb R}^n$, and to compute the second sum, we use the reciprocity relation for theta functions. We then apply our results to test the existence of many short integer vectors in a given subspace $L \subset {\Bbb R}^n$, to estimate the distance from a given point to a lattice, and to sample a random lattice point from the discrete Gaussian distribution.

We use the geometry of the stellahedral toric variety to study matroids. We identify the valuative group of matroids with the cohomology ring of the stellahedral toric variety, and show that valuative, homological, and numerical equivalence relations for matroids coincide. We establish a new log-concavity result for the Tutte polynomial of a matroid, answering a question of Wagner and Shapiro-Smirnov-Vaintrob on Postnikov-Shapiro algebras, and calculate the Chern-Schwartz-MacPherson classes of matroid Schubert cells. The central construction is the "augmented tautological classes of matroids," modeled after certain vector bundles on the stellahedral toric variety.

In the $1970$s, Nicolas proved that the partition function $p(n)$ is log-concave for $ n > 25$. In \cite{HNT21}, a precise conjecture on the log-concavity for the plane partition function $\func{pp}(n)$ for $n >11$ was stated. This was recently proven by Ono, Pujahari, and Rolen. In this paper, we provide a general picture. We associate to double sequences $\{g_d(n)\}_{d,n}$ with $g_d(1)=1$ and $$0 \leq g_{d}\left( n\right) - n^{d}\leq g_{1}\left( n\right) \left( n-1\right) ^{d-1}$$ polynomials $\{P_n^{g_d}(x)\}_{d,n}$ given by \begin{equation*} \sum_{n=0}^{\infty} P_n^{g_d}(x) \, q^n := \func{exp}\left( x \sum_{n=1}^{\infty} g_d(n) \frac{q^n}{n} \right) =\prod_{n=1}^{\infty} \left( 1 - q^n \right)^{-x f_d(n)}. \end{equation*} We recover $ p(n)= P_n^{σ_1}(1)$ and $\func{pp}\left( n\right) = P_n^{σ_2}(1)$, where $σ_d (n):= \sum_{\ell \mid n} \ell^d$ and $f_d(n)= n^{d-1}$. Let $n \geq 6$. Then the sequence $\{P_n^{σ_d}(1)\}_d$ is log-concave for almost all $d$ if and only if $n$ is divisible by $3$. Let $\func{id}(n)=n$. Then $P_n^{\func{id}}(x) = \frac{x}{n} L_{n-1}^{(1)}(-x)$, where $L_{n}^{\left( α\right) }\left( x\right) $ denotes the $α$-associated Laguerre polynomial. In this paper, we invest in Turán inequalities \begin{equation*} Δ_{n}^{g_d}(x) := \left( P_n^{g_d}(x) \right)^2 - P_{n-1}^{g_d}(x) \, P_{n+1}^{g_d}(x) \geq 0. \end{equation*} Let $n \geq 6$ and $0 \leq x < 2 - \frac{12}{n+4}$. Then $n$ is divisible by $3$ if and only if $Δ_{n}^{g_d}(x) \geq 0$ for almost all $d$. Let $n \geq 6$ and $n \not\equiv 2 \pmod{3}$. Then the condition on $x$ can be reduced to $x \geq 0$. We determine explicit bounds. As an analogue to Nicolas' result, we have for $g_1= \func{id}$ that $Δ_{n}^{\func{id}}(x) \geq 0$ for all $x \geq 0 $ and all $n$.

In this paper, we present monotone sequences of lower and upper bounds on the Perron value of a nonngeative matrix, and we study their strict monotonicity. Using those sequences, we provide two combinatorial applications. One is to improve bounds on Perron values of rooted trees in combinatorial settings, in order to find characteristic sets of trees. The other is to generate log-concave and log-convex sequences through the monotone sequences.

We obtain an asymptotic formula for Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ where $k=1$ or $2$. Based on this asymptotic formula, we derive that $Δ_k(n)$ satisfies the order $d$ Turán inequalities for $d\geq 1$ and for sufficiently large $n$ when $k=1$ and $ 2$ by using a general result of Griffin, Ono, Rolen and Zagier. We also show that Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ is log-concave for $n\geq 1$ when $k=1$ and $2$. This leads to $Δ_k(a)Δ_k(b)\geΔ_k(a+b)$ for $a,b\ge 1$ when $k=1$ and $ 2$.

Let $\mathcal{A}=(a_i)_{i=1}^\infty$ be a non-decreasing sequence of positive integers and let $k\in\mathbb{N}_+$ be fixed. The function $p_\mathcal{A}(n,k)$ counts the number of partitions of $n$ with parts in the multiset $\{a_1,a_2,\ldots,a_k\}$. We find out a new type of Bessenrodt-Ono inequality for the function $p_\mathcal{A}(n,k)$. Further, we discover when and under what conditions on $k$, $\{a_1,a_2,\ldots,a_k\}$ and $N\in\mathbb{N}_+$, the sequence $\left(p_\mathcal{A}(n,k)\right)_{n=N}^\infty$ is log-concave. Our proofs are based on the asymptotic behavior of $p_\mathcal{A}(n,k)$, in particular, we apply the results of Netto and Pólya-Szegö as well as the Almkavist's estimation.

Let $\overline{N}_2(a,c,n)$ be the number of overpartitions of $n$ whose the $M_2$-rank is congruent to $a$ modulo $c$. In this paper, we obtain the asymptotic formula of $\overline{N}_2(a,c,n)$ utilizing the Ingham Tauberian Theorem. As applications, we derive inequalities concerning with $\overline{N}_2(a,c,n)$ including its strict concavity and log-concavity.

Here we examine the number of ways to partition an integer $n$ into $k$th powers when $n$ is large. Simplified proofs of some asymptotic results of Wright are given using the saddle-point method, including exact formulas for the expansion coefficients. The convexity and log-concavity of these partitions is shown for large $n$, and the stronger conjectures of Ulas are proved. The asymptotics of Wright's generalized Bessel functions are also treated.

We study the $S_n$-equivariant log-concavity of the cohomology of flag varieties, also known as the coinvariant ring of $S_n$. Using the theory of representation stability, we give computer-assisted proofs of the equivariant log-concavity in low degrees and high degrees and conjecture that it holds for all degrees. Furthermore, we make a stronger unimodal conjecture which implies the equivariant log-concavity.

We show that the exterior algebra $Λ_{R}\left[α_{1}, \cdots, α_{n}\right]$, which is the cohomology of the torus $T=(S^{1})^{n}$, and the polynomial ring $\mathbb{R}\left[t_{1}, \ldots, t_{n}\right]$, which is the cohomology of the classifying space $B (S^{1})^{n}=\left(\mathbb{C} \mathbb{P}^{\infty}\right)^{n}$, are $S_{n}$-equivariantly log-concave. We do so by explicitly giving the $S_{n}$-representation maps on the appropriate sequences of tensor products of polynomials or exterior powers and proving that these maps satisfy the hard Lefschetz theorem. Furthermore, we prove that the whole Kähler package, including algebraic analogies of the Poincaré duality, hard Lefschetz, and Hodge-Riemann bilinear relations, holds on the corresponding sequences in an equivariant setting.

Let $\bar{p}(n)$ denote the overpartition function. In this paper, we study the asymptotic higher order $\log$-concavity property of the overpatition function in a similar framework done by Hou and Zhang for the partition function. This will enable us to move on further in order to prove $\log$-concavity of overpartitions, explicitly by studying the asymptotic expansion of the quotient $\bar{p}(n-1)\bar{p}(n+1)/\bar{p}(n)^2$ upto a certain order so that one can finally ends up with the phenomena of $2$-$\log$-concavity and higher order Turán property of $\bar{p}(n)$ by following a sort of unified approach.

In this paper, we use the analytic method of Odlyzko and Richmond to study the log-concavity of power series. If $f(z) = \sum_n a_nz^n$ is an infinite series with $a_n \geq 1$ and $a_0 + \cdots + a_n = O(n + 1)$ for all $n$, we prove that a super-polynomially long initial segment of $f^k(z)$ is log-concave. Furthermore, if there exists constants $C > 1$ and $α< 1$ such that $a_0 + \cdots + a_n = C(n + 1) - R_n$ where $0 \leq R_n \leq O((n + 1)^α)$, we show that an exponentially long initial segment of $f^k(z)$ is log-concave. This resolves a conjecture proposed by Letong Hong and the author, which implies another conjecture of Heim and Neuhauser that the Nekrasov-Okounkov polynomials $Q_n(z)$ are unimodal for sufficiently large $n$.

For every finite simple connected graph $G = (V,E)$, we introduce an invariant, its blowup-polynomial $p_G(\{ n_v : v \in V \})$. This is obtained by dividing the determinant of the distance matrix of its blowup graph $G[{\bf n}]$ (containing $n_v$ copies of $v$) by an exponential factor. We show that $p_G({\bf n})$ is indeed a polynomial function in the sizes $n_v$, which is moreover multi-affine and real-stable. This associates a hitherto unexplored delta-matroid to each graph $G$; and we provide a second unexplored one for each tree. As another consequence, we obtain a new characterization of complete multipartite graphs, via the homogenization at $-1$ of $p_G$ being completely/strongly log-concave, i.e., Lorentzian. (These results extend to weighted graphs.) Finally, we show $p_G$ is indeed a graph invariant, i.e., $p_G$ and its symmetries (in the variables ${\bf n}$) recover $G$ and its isometries, respectively.

For any graph, we show that the graded permutation representation of the graph automorphism group given by matchings is strongly equivariantly log-concave. The proof gives a family of equivariant injections inspired by a combinatorial map of Kratthenthaler and reduces to the hard Lefschetz theorem.

In the $1970$s Nicolas proved that the coefficients $p_d(n)$ defined by the generating function \begin{equation*} \sum_{n=0}^{\infty} p_d(n) \, q^n = \prod_{n=1}^{\infty} \left( 1- q^n\right)^{-n^{d-1}} \end{equation*} are log-concave for $d=1$. Recently, Ono, Pujahari, and Rolen have extended the result to $d=2$. Note that $p_1(n)=p(n)$ is the partition function and $p_2(n)=\func{pp}\left( n\right) $ is the number of plane partitions. In this paper, we invest in properties for $p_d(n)$ for general $d$. Let $n \geq 6$. Then $p_d(n)$ is almost log-concave for $n$ divisible by $3$ and almost strictly log-convex otherwise.

Heim, Neuhauser, and Tröger recently established some inequalities for MacMahon's plane partition function $\mathrm{PL}(n)$ that generalize known results for Euler's partition function $p(n)$. They also conjectured that $\mathrm{PL}(n)$ is log-concave for all $n\geq 12.$ We prove this conjecture. Moreover, for every $d\geq 1$, we prove their speculation that $\mathrm{PL}(n)$ satisfies the degree $d$ Turán inequality for sufficiently large $n$. The case where $d=2$ is the case of log-concavity.

In recent years, the log-concavity of $\{\sqrt[n]{S_n}\}_{n\geq 1}$ have been received a lot of attention. Very recently, Sun posed the following conjecture in his new book: the sequences $\{\sqrt[n]{a_n}\}_{n\geq 2}$ and $\{ \sqrt[n]{b_n}\}_{n\geq 1}$ are log-concave, where \[ a_n:= \frac{1}{n}\sum_{k=0}^{n-1} \frac{{n-1\choose k}^2{n+k\choose k}^2 }{4k^2-1} \] and \[ b_n:= \frac{1}{n^3}\sum_{k=0}^{n-1} (3k^2+3k+1){n-1\choose k}^2 {n+k\choose k}^2. \] In this paper, two methods, semi-automatic and analytic methods, are used to confirm Sun's conjecture. The semi-automatic method relies on a criterion on the log-concavity of $\{\sqrt[n]{S_n}\}_{n\geq 1}$ given by us and a mathematica package due to Hou and Zhang, while the analytic method relies on a result due to Xia.

$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.

Let $N_k(m,n)$ denote the number of partitions of $n$ with Garvan $k$-rank $m$. It is well-known that Andrews-Garvan-Dyson's crank and Dyson's rank are the $k$-rank for $k=1$ and $k=2$, respectively. In this paper, we prove that the sequence $\{N_k(m,n)\}_{|m|\le n-k-71}$ is log-concave for all sufficiently large $n$ and each integer $k$. In particular, we partially solve the log-concavity conjecture for Andrews-Garvan-Dyson's crank and Dyson's rank, which was independently proposed by Bringmann-Jennings-Shaffer-Mahlburg and Ji-Zang.

We study combinatorial inequalities for various classes of set systems: matroids, polymatroids, poset antimatroids, and interval greedoids. We prove log-concavity inequalities for counting certain weighted feasible words, which generalize and extend several previous results establishing Mason conjectures for the numbers of independent sets of matroids. Notably, we prove matching equality conditions for both earlier inequalities and our extensions. In contrast with much of the previous work, our proofs are combinatorial and employ nothing but linear algebra. We use the language formulation of greedoids which allows a linear algebraic setup, which in turn can be analyzed recursively. The underlying non-commutative nature of matrices associated with greedoids allows us to proceed beyond polymatroids and prove the equality conditions. As further application of our tools, we rederive both Stanley's inequality on the number of certain linear extensions, and its equality conditions, which we then also extend to the weighted case.