arXiv++ Combinatorics

Using the Hodge-Riemann relations for matroid Chow rings, we establish a weighted inequality for flats of a loopless matroid. As applications, we prove the points-lines-planes conjecture and Brylawski's conjecture on the ultra-log-concavity of Whitney numbers of the first kind. We also characterize the cases of equality in both inequalities.

We study alternating Hamilton paths and cycles in the comparability graphs of finite posets. We prove that if a finite poset $P$ with at least two elements admits an alternating Hamilton path, then $P\times B_r$ admits an alternating Hamilton cycle for every $r\ge2$, where $B_r$ is the Boolean lattice. As a corollary, we settle a conjecture of Katona [Discrete Appl. Math., 2013]. Furthermore, we characterize the divisor lattices admitting alternating Hamilton paths and cycles.

We establish sharp projection inequalities for $k$-antichains under orders defined by open convex cones. For integers $n\geq2$ and $k\ge 1$, let $C\subsetneq\mathbb R^n$ be a nonempty open convex cone. A set $A\subseteq\mathbb R^n$ is a $k$-antichain with respect to the order $x\prec_C y\iff y-x\in C$ if it contains no chain $x^1\prec_C\cdots\prec_C x^{k+1}$. For every such set $A$ and every $v\in C$, we prove \[ \mathcal H^{n-1}(A) \leq k\frac{\|v\|}{α_C(v)} \mathcal H^{n-1}(P_v(A)), \] where $P_v$ is the orthogonal projection onto $v^\perp$, $\mathcal H^{n-1}$ denotes normalized Hausdorff outer measure, and $α_C(v)$ is the minimum of $\langleξ,v\rangle$ over unit vectors in the dual cone $C^*$. In particular, every weak antichain $A\subseteq\mathbb R^n$ satisfies $\mathcal H^{n-1}(A)\leq\mathcal H^{n-1}(Δ_i(A))$ for each $i$, where $Δ_i(x)=(x_j-x_i)_{j\ne i}$. This proves the skewed projection conjecture of Engel, Mitsis, Pelekis and Reiher. As an application, we recover the bound $\mathcal H^{n-1}(A)\leq kn$ for $k$-antichains in the unit cube under the coordinatewise order.

Fishburn's latent-subset conjecture, proposed in 1987 and revisited in 1988, asserts that for every dual intersecting family $\mathcal F\subseteq 2^{[n]}$, there exists $i\in[n]$ such that $|\mathcal F^L(i)|\geq|\mathcal F(i)|$. Here $\mathcal F^L$ is the family of the subsets of members of $\mathcal F$ that do not belong to $\mathcal F$. In this paper, we prove the conjecture using the recent weighted star inequality of Chang, Liu, and Liu.

The Delannoy numbers $d(n,k)$ count lattice paths from $(0,0)$ to $(n-k,k)$ using steps $(1,0),(0,1)$ and $(1,1)$. This paper introduces a graded poset $\mathcal{D}_n$ on the Delannoy paths ending on the line $x+y=n$, whose rank-generating function is the Delannoy polynomial $d_n(x)=\sum_{k=0}^n d(n,k)x^k$. We prove that $\\mathcal{D}_n$ is a self-dual lattice, which is call the Delannoy lattice. By establishing an explicit symmetric Boolean decomposition, we show that $\mathcal{D}_n$ is a symmetric Boolean order, thereby recovering the $γ$-positivity of $d_n(x)$. Such a decomposition is refined to a symmetric chain decomposition with the chain cover property, and is applied to determine all maximum antichains. We also investigate other combinatorial aspects of $\mathcal{D}_n$, including supersolvability, the Möbius number, characteristic polynomials, and zeta polynomials.

This paper studies the antichain polynomials of $[k]\times P$, where $P$ is a connected minuscule poset. We give a formula for the number of antichains, counted by size, of an arbitrary poset. Using this formula, we present necessary and sufficient conditions for the palindromicity of antichain polynomials for two infinite families of connected minuscule posets. We show that, for every connected minuscule poset $P$, if the antichain polynomial of $[k]\times P$ is palindromic, then it has only real and strictly negative zeros. This result, in particular, gives an affirmative answer to Ding-Dong's conjecture about $γ$-positivity of the antichain polynomial of $[k]\times P$. By constructing a bijection between antichains and labeled Dyck paths, we also give a layer-refined enumeration of the antichains in $[2]\times[m]\times[n]$. We establish a relation between such antichains and Clar covers of the hexagonal flakes $O(2,m,n)$, thus prove a conjectured determinantal formula for a family of Zhang-Zhang polynomials. Real-rootedness and stability results are also obtained when the shortest chain has length at most two. Finally, we present infinitely many connected Peck posets whose antichain polynomials are not unimodal, disproving the log-concavity conjecture of Ding and Dong.

Let \(\mathcal{B}_n\) be the Boolean lattice of all subsets of \([n]\) and let \(\mathcal{P}_{n;\ell,u}\) be the subposet of \(\mathcal{B}_n\) induced by the consecutive levels \(\ell,\ell+1,\ldots,u\). We determine $ν_{n;\ell,u}$, the maximum size of a family of pairwise disjoint maximal intervals in $\mathcal P_{n;\ell,u}$, whenever \(u\le ({n+\ell^2})/({\ell+1})\). This completely settles Engel's problem~[Combin. Probab. Comput., 1996]. The proof is constructive. We also record consequences for weakly cross-intersecting set-pair systems and discuss the three-level case.