arXiv++ Combinatorics

We exhibit a connected natural unit interval graph on $13$ vertices whose chromatic quasisymmetric function has an elementary-basis coefficient that is positive, palindromic, and unimodal, but not log-concave. For the Hessenberg function $h=(2,4,4,6,7,10,10,10,10,12,12,13,13)$ and $λ=(6,5,1,1)$, the coefficients of $q^5,q^6,q^7$ in $[e_λ]X_{G(h)}(\mathbf{x};q)$ are $1,6,38$; hence $6^2<1\cdot38$. This disproves Conjecture 5.3 of Abreu--Nigro and its later formulations by Tom and by Sagan--Tom. The calculation is certified by a standalone deterministic verifier using exact integer and rational arithmetic.

Dittert's conjecture asserts that, among nonnegative $n\times n$ matrices whose entries sum to $n$, the functional $φ(A)=\prod_{i=1}^n r_i+\prod_{j=1}^n c_j-\operatorname{per}(A)$ is uniquely maximized by the uniform matrix $J_n/n$. This paper proves the conjecture for $n=16$. The key observation is that, for a near-maximizer, the deficits of the row-sum and column-sum products satisfy a single joint constraint rather than two independent bounds. Combining this joint-deficit estimate with a Pinsker-type subset-sum bound yields a sharper scalar dilation to a doubly superstochastic matrix. The Knopp-Sinkhorn boundary lower bound for permanents then excludes maximizers with a zero entry, and Hwang's positive-support theorem identifies the unique maximizer. Together with Pang's result for $n\ge 17$ (arXiv:2606.01531), this establishes Dittert's conjecture for every $n\ge 16$.