arXiv++ Combinatorics

We prove that the five-column recursive-line Zarankiewicz number satisfies $z_{RL}(m,5)=3m+5$ for every integer $m\ge 12$. The proof is based on an explicit $12\times5$ seed configuration combined with a recursive one-row extension scheme. The seed attains the five-column cell bound and contains no unoccupied cells. Two selected pairs in the seed are opened and replaced by parallel paths, ensuring that each inserted row increases the total number of augmented edges by three while preserving the required simple configuration. The main challenge lies in verifying the strengthened recursive-line condition ${\rm (RW3+)}$ uniformly across all extension lengths. To this end, we develop a distance-reducing rectangle lemma that transfers certified inner-product relations along extension paths, reducing relations between distant labels to those at smaller path distances. This confines the verification for arbitrarily long extensions to a finite collection of seed and interface certificates. The resulting construction successfully satisfies pair identification, preserves distinct selected-edge classes, and certifies the orthogonality of distinct edge representatives. Furthermore, combining this constructed lower bound with the parameter hierarchy yields $z_2(m,5)=z_{RL}(m,5)=3m+5$ throughout this range.

The $p$-spectral radius of a uniform hypergraph covers many important concepts, such as Lagrangian and spectral radius of the hypergraph, and is crucial for solving spectral extremal problems of hypergraphs. In this paper, we establish a spherically constrained maximization model and propose a first-order conjugate gradient algorithm to compute the $p$-spectral radius of a uniform hypergraph (CSRH). By the semialgebraic nature of the adjacency tensor of a uniform hypergraph, CSRH is globally convergent and obtains the global maximizer with a high probability. When computing the spectral radius of the adjacency tensor of a uniform hypergraph, CSRH stands out among existing approaches. Furthermore, CSRH is competent to calculate the $p$-spectral radius of a hypergraph with millions of vertices and to approximate the Lagrangian of a hypergraph. Finally, we show that the CSRH method is capable of ranking real-world data set based on solutions generated by the $p$-spectral radius model.

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.