arXiv++ Combinatorics

Let $\mathcal{K}_n$ be the simplex of nonnegative $n \times n$ matrices whose entries sum to $n$. For $A$ in $\mathcal{K}_n$, with row sums $r_1,\ldots,r_n$ and column sums $c_1,\ldots,c_n$, define $Φ(A)=\prod_{i=1}^n r_i+\prod_{j=1}^n c_j-\mathrm{per}(A)$. Dittert conjectured that $Φ$ is uniquely maximized by the uniform matrix $U_n=J_n/n$, with maximum $2-n!/n^n$. We prove the conjecture for every $n \geq 2$. Hwang's theorem already determines every positive maximizer, so the essential problem is to exclude maximizers on the boundary of $\mathcal{K}_n$. A reduction of Cheon and Wanless supplies two zero entries in distinct rows and columns. In order four, we classify all admissible support strata and exclude them by exact Karush-Kuhn-Tucker identities together with a Bernstein-form positivity certificate. For all $n \geq 5$, an attained-stratum averaging argument compresses a hypothetical boundary maximizer to a seven-parameter matrix with one multiplicity $m=n-2$. A symbolic odd-variable expansion, a cofactor identity at the two missing entries, and uniform coefficient inequalities then contradict the one-sided multiplier conditions. This argument is uniform in $m$ and uses no finite enumeration. We also give independent spectral proofs in dimensions 7 through 13 and prescribed-zero proofs in dimensions 14 and 15. Every dimension-dependent calculation is certified over the rationals and recorded explicitly in the appendices.

Let \(\cthreshold(n)\) be the largest integer \(q\) such that every loopless digraph on \(n\) vertices with at most \(q\) arcs is isomorphic to a spanning subdigraph of a self-complementary digraph of order \(n\). We prove that \(\cthreshold(6)=7\). The upper bound is witnessed by \[ \bK{3}\dunion (x\longrightarrow y\longrightarrow z), \] and follows from a direct argument with a self-complementing permutation. We also determine the complete eight-arc obstruction layer: it consists of five isomorphism classes, or three after converse digraphs are identified. All five are arc-minimal. Each nevertheless packs with an isomorphic copy of itself, so ordinary packing is strictly weaker than same-order self-complementary completion already at this first failure layer.

In Problem 4 of his 1988 paper on differential posets, Stanley asked whether the weighted $k$-multichain series of an arbitrary differential poset is always a rational multiple of the $k$th power of its rank series. We answer this question in the negative. Already for $k=2$, we construct a locally finite $1$-differential poset $P$ for which $M_{P,2}(q)/F_P(q)^2$ is not rational over any field of characteristic zero. The construction uses Wagner's crown reflection. At each sufficiently high rank there are two valid one-rank extensions with the same required Gram matrix and with new rank sizes differing by one. We show that the first quotient coefficient affected by that rank distinguishes the two choices. Choosing successively between them and diagonalizing against the rational power series produces the required poset. The same coefficient argument also yields continuum many distinct quotient series, of which continuum many are nonrational.

In Problem~6 of his 1988 paper on differential posets, Stanley asked for the least possible cardinality of a fixed rank of an $r$-differential poset and suggested that the minimum should be attained by $Y^r$, the $r$-fold Cartesian power of Young's lattice. We disprove the resulting universal coefficientwise lower bound. For every $r\geq 3$, we construct an infinite $r$-differential poset $P^{(r)}$ satisfying \[ \card{P^{(r)}_4} =\card{(Y^r)_4}-\left\lfloor\frac r3\right\rfloor. \] For $r=3$, the construction replaces thirteen rank-four lower-cover blocks of $Y^3$ by twelve blocks with the same point and pair incidence multiplicities, producing the initial rank sequence $1,3,9,22,50$ instead of $1,3,9,22,51$. A reflection extension then yields an infinite differential poset. The construction does not address the cases $r=1$ and $r=2$.