arXiv++ Combinatorics

Let \(S\) be a smooth projective complex surface with irregularity \(q=h^{1,0}(S)\) and geometric genus \(g=h^{2,0}(S)\), and let \(S^{[n]}\) denote its Hilbert scheme of \(n\) points. We prove that, for every \(n\ge0\), the sequence \[ \left(h^{p,0}\bigl(S^{[n]}\bigr)\right)_{p=0}^{2n} \] is log-concave if and only if \(g\le\binom{q+1}{2}\). Moreover, log-concavity of all these sequences is already equivalent to log-concavity of the sequence for \(n=2\). We also prove that these sequences are unimodal for every \(n\ge0\) if and only if \(q\ge1\) or \(g=0\), and that this condition is already detected by the sequence for \(n=1\).

We introduce zero-sum inverse realization of property (P) of a graph $G$, obtained by imposing an additional condition \( \mathbf{1}^{\top}A^{-1}\mathbf{1}=0, \) on a matrix $A\in S(G)$ realizing property (P), where $\mathbf{1}$ is the all-ones vector. We prove that every graph of order at least three having property (P) admits such a zero-sum inverse realization. As applications, we prove that property~(P) is preserved under the join of two graphs of order at least $3$ and, more generally, under the $H$-join of a family of graphs of order at least $3$, where $H$ is arbitrary. Consequently, we obtain sufficient conditions for cographs and lexicographic products of graphs to possess property~(P). Throughout the paper, many examples are given.

In recent years, there has been extensive work on inequalities among partition functions. In particular, Nicolas, and independently DeSalvo--Pak, proved that the partition function $p(n)$ is eventually log-concave. Inspired by this and other results, Chern--Fu--Tang first conjectured log-concavity of $k$-coloured partitions. Three of the authors and Tripp later proved this conjecture by introducing recursive sequences and a strict inequality for fractional partition functions, giving explicit errors. In this paper, we show that the log-concavity is, in fact, strict for $k\geq 2$. We shed further light on this phenomenon by utilizing Hardy--Littlewood--Pólya's notion of majorizing. We prove that for partitions $\bm{a},\bm{b}$ of $n\in\N$, if $\bm b$ majorizes $\bm a$, then $p_k(\bm{b})>p_k(\bm{a})$. Numerical calculations indicate that our result is sharp.