arXiv++ Combinatorics

The recursive-line and signed Zarankiewicz numbers maximize the number of squares in augmentations of a maximum $C_4$-free base, subject to two sufficient irreducibility criteria. The count includes one square per base cell and one per selected pair of unused cells. We compare these parameters with the second-order number, which uses irreducibility itself. Every maximum $m\times n$ base admits a recursive-line augmentation with at least $mn/2-C\max(m,n)$ squares, for an absolute constant $C$. Combining this bound with a two-column extension of known fixed-width families, we show that all three parameters are asymptotically equivalent, uniformly as the larger dimension tends to infinity. For individual displays, a transfer graph shows that once the signed closure identifies every selected pair, the signed criterion is equivalent to irreducibility. We determine the second-order number for every six-column rectangle and give eventual exact formulas for all three numbers at widths seven, nine and eleven. We also prove signed and recursive-line equality at $8\times7$ and, together with earlier values, whenever the shorter side is at most six, except possibly at $14\times4$. The exact-value results are computer-assisted, using exhaustive enumeration, checked propositional refutations and symbolic certificates with a proved lifting argument for arbitrary lengths.

Santos asked when intersections of dilated Hadamard simplices with cubes are integral, smooth, or normal, in a prescribed affine lattice. We construct a nonintegral example in dimension eleven and prove that no smaller-dimensional example exists. We characterize smoothness completely and show that every smooth member of this family is normal. An explicit example in dimension fifteen shows that integrality alone does not imply normality. For Sylvester simplices of order at least sixteen, we establish a sharp uniform integrality bound and construct counterexamples immediately below it. We also obtain sufficient normality bounds for general Hadamard simplices and stronger bounds for the Sylvester family. The proofs use integer decomposition for boxes with separated corner cuts and rounding under three signed slab constraints. All numbered results have formal counterparts verified in Lean.

We study the augmented Zarankiewicz problem, in which disjoint pairs of cells are added to a binary matrix with no all-one $2\times2$ submatrix. The pairs must satisfy compatibility conditions, and the objective counts each original occupied cell and each added pair once. We show that starting with a maximum $C_4$-free matrix can lower the final optimum, answering a question of Qi, Cui, and Xu. Let ${z_A}(m,n)$ be the optimum over all $C_4$-free initial matrices, and ${z_L}(m,n)$ the optimum when the initial matrix must have the maximum number of occupied cells. As $n\to\infty$ with $n\le m=o(n^2)$, we prove \[ {z_A}(m,n)-{z_L}(m,n)\ge\left(\frac1{30}-o(1)\right)mn \] and determine the sharp second-order term: \[ {z_A}(m,n)=\frac{mn}{3}+\left(\frac1{\sqrt6}+o(1)\right)n\sqrt m. \] An explicit construction gives a separation at $m=n=1893$. We also find a sharp density threshold: when $n\to\infty$ and $m/n^2\to c>0$, the limited density ${z_L}(m,n)/(mn)$ tends to $1/3$ if and only if $c\ge1/12$. The proofs combine density and stability estimates, combinatorial constructions, and an exact polynomial certificate.

A quaternary Legendre pair of length $\ell$ is a pair of sequences over the fourth roots of unity whose periodic autocorrelations sum to $-2$ at every nonzero shift. Each such pair yields a quaternary Hadamard matrix of order $2\ell+2$ and a binary Hadamard matrix of order $4\ell+4$. Fourteen even lengths up to 100 remained open in the 2025 tables of Kotsireas, Koutschan and Winterhof and of Jedwab and Pender. We settle seven of them --- the four smallest open lengths, 42, 46, 52, and 58, together with 66, 72, and 80 --- and print every pair in full. Checking one takes a few lines of code and exact arithmetic over the Gaussian integers, so the main results can be confirmed without running any of our software. Each search writes a pair as four binary sequences under a Gray map, restricts to reflection-symmetric rows, imposes an exact spectral constraint at the midpoint frequency, and matches candidates meet-in-the-middle on their autocorrelation vectors; from length 52 onward, exact compression along divisor chains shrinks the search before any candidate is lifted. Everything is deterministic: no seed, heuristic stopping rule, or floating-point value enters an acceptance decision. At lengths 64, 70 and 76 the same machinery ran to exhaustion and found nothing: the reversible four-block queue built at each length contains no pair. These are exhaustions of a specific recorded queue, not nonexistence results, and the certificates do not by themselves establish that the queue captures every reversible object of its length. A closing section sorts every claim in the paper by what a reader must accept in order to believe it, and states exactly how far the accompanying artifacts support each one.