arXiv++ Combinatorics

For $n\ge6$, $m=\binom n2$, let the complete-graph incidence family on $K_n$ have the vertices of $K_n$ as columns, its edges as rows, and the incidence graph as one-edge graph. The universal cell bound of Löfberg and Qi gives $z_2(m,n)\le Z(n):=\lfloor n(n-1)(n+2)/4\rfloor$. We implement the nested one-factorization construction of that family and determine exactly what it certifies. For $n=2q$ with $q$ an odd prime, $q\ge5$, the construction has no hole and the cross-factor transfer equations apply verbatim, giving $z_2=z_{SL}=z_{RL}=Z(n)$; $n=6$ is settled by a separate cyclic witness. For odd $n=2p+1$ the near-perfect one-factorization yields Hamilton paths closed into odd cycles, and the transfer argument breaks: that scheme certifies only $R(G_p)\le Z(n)$. The orders $n=7,8,9,12,13,16,17,18,20,21$ are settled by explicit configurations of a different shape, each attaining the cell bound and satisfying $(\mathrm{RW}3^+)$, obtained from a larger configuration by deleting vertex stars and repairing the restricted grid. At each of these orders $z_2=z_{SL}=z_{RL}=Z(n)$; all remaining orders are conjectural. The first settled order $n=7$ is the only one whose grid has a hole, grounded by a zero-companion rule. Machine-readable configurations and a certificate checker accompany the paper.

Löfberg and Qi introduced the second order Zarankiewicz number \(z_2\), the recursive-line Zarankiewicz number \(z_{RL}\), and the signed Zarankiewicz number \(z_{SL}\) for doubly simple biquadratic forms. It was shown that \[ z_2(m,n)\ge z_{SL}(m,n)\ge z_{RL}(m,n) \] for all \(m\) and \(n\). However, there was no evidence that there exist particular \(m\) and \(n\) such that \(z_{SL}(m,n)>z_{RL}(m,n)\). The motivation for introducing \(z_{SL}\) was as follows: during the study of the exceptional case \(m=15\), \(n=6\), Löfberg and Qi showed that \[ z_2(15,6)=z_{SL}(15,6)=60, \] but the exact value of \(z_{RL}(15,6)\) was unknown then. In this paper we show that \[ z_{RL}(15,6)=60. \] This eliminates the motivation for introducing \(z_{SL}\). Whether \(z_{SL}(m,n)=z_{RL}(m,n)\) in general remains an open problem. Recently, Lebedev presented an explicit construction separating the augmented Zarankiewicz number \(z_A\) from the limited augmented Zarankiewicz number \(z_L\) at \(m=n=1893\). We hope that the separation problem for \(z_{SL}\) and \(z_{RL}\) can also be solved. We also present the exact values of \(z_{RL}(m,6)\) for \(6\le m\le 16\).

The recursive-line Zarankiewicz number maximizes the number of squares in a structured irreducible sum-of-squares representation encoded by an augmentation of an extremal $C_4$-free bipartite graph. We determine its four-column behavior under the strengthened recursive definition in the manuscript of Löfberg and Qi dated 9 September 2026. Combining AI-assisted discovery with exact certificate verification and finite exclusion computations, we determine eighteen of the nineteen values for $2\le m\le20$ and isolate the only unresolved case to $37\le\zr(14,4)\le38$. More significantly, we prove the first eventual exact formula in the four-column setting: \[ \zr(m,4)=\floor{\frac{5m+6}{2}}\qquad(m\ge15). \] The upper bound follows from the classical identity $z(m,4)=m+6$ and a sharp cell count. For the matching lower bound, we construct a two-row extension chain from an explicit $20\times4$ seed and derive the odd orders by a fixed deletion. Analytic propagation, together with two independently audited symbolic certificate tables, proves the construction for arbitrary chain length rather than merely for a finite computational range. Thus every extremal configuration has no holes when $m$ is even and exactly one hole when $m$ is odd, and the same exact formula holds for the second-order number $z_2(m,4)$.

The spectral theory of higher-order symmetric tensors is an important tool to reveal some important properties of a hypergraph via its adjacency tensor, Laplacian tensor, and signless Laplacian tensor. Owing to the sparsity of these tensors, we propose an efficient approach to calculate products of these tensors and any vectors. Using the state-of-the-art L-BFGS approach, we develop a first-order optimization algorithm for computing H- and Z-eigenvalues of these large scale sparse tensors (CEST). With the aid of the Kurdyka-Łojasiewicz property, we prove that the sequence of iterates generated by CEST converges to an eigenvector of the tensor.When CEST is started from multiple randomly initial points, the resulting best eigenvalue could touch the extreme eigenvalue with a high probability. Finally, numerical experiments on small hypergraphs show that CEST is efficient and promising. Moreover, CEST is capable of computing eigenvalues of tensors corresponding to a hypergraph with millions of vertices.