arXiv++ Combinatorics

We study two questions about the second-order Zarankiewicz numbers. The first is the recursive-line equality $z_2(m,n)=z_{RL}(m,n)$, known to hold in every computed case and conjectured in general. The second, here called \emph{overtake}, is the strict inequality $z_{2A}(m,n)>z_2(m,n)$ between the second-order augmented number and the second-order number. Both are governed by the number $H_{\mathrm{limited}}(m,n)$ of unoccupied cells in a limited extremal configuration. We prove that the first increase $z_2\to z_2+1$ already costs three unoccupied cells, forcing a unit of one-edge deficit, and the cell identity then bounds the excess $z_{2A}-z_2$ by $\lfloor(H_{\mathrm{limited}}-1)/2\rfloor$. In particular, when the recursive-line hole count is at most two, no overtake occurs. We conjecture the sharp budget $\lfloor H_{\mathrm{limited}}/3\rfloor$ and that $H_{\mathrm{limited}}\ge5$ is the threshold for an overtake. In the computed range $n\le7$, no overtake occurs at any order, the sole exception being the known case $(4,4)$. The recursive-line equality $z_2=z_{RL}$ is verified at every order in the range where both values are determined; the orders at which it remains unsettled are $(12,4)$ and $(14,4)$ at width four, $(11,5)$ at width five, and $(8,7)$ at width seven.

A connected $k$-uniform hypergraph with $n$ vertices and $m$ edges is called $r$-cyclic if $n=m(k-1)-r+1$. For $r=1$ or $2$, the hypergraph is simply called unicyclic or bicyclic. In this paper we investigate hypergraphs that attain larger spectral radii among all simple connected $k$-uniform unicyclic and bicyclic hypergraphs. Specifically, by using some edge operations, the formula on power hypergraph eigenvalues, the weighted incidence matrix and a result on linear unicyclic hypergraphs, we determined the first five hypergraphs with larger spectral radius among all unicyclic hypergraphs and the first three over all bicyclic hypergraphs.

Let $r\geq2$ and $r$ be even. An $r$-hypergraph $G$ on $n$ vertices is called odd-colorable if there exists a map $\varphi:[n]\rightarrow\lbrack r]$ such that for any edge $\{j_{1},j_{2},\cdots,j_{r}\}$ of $G$, we have $\varphi(j_{1})+\varphi(j_{2})+\cdot\cdot\cdot+\varphi(j_{r})\equiv r/2(\operatorname{mod}r).$ In this paper, we first determine that, if $r=2^{q}(2t+1)$ and $n\ge 2^{q}(2^{q}-1)r$, then the maximum chromatic number in the class of the odd-colorable $r$-hypergraphs on $n$ vertices is $2^q$, which answers a question raised by V. Nikiforov recently in [V. Nikiforov, Hypergraphs and hypermatrices with symmetric spectrum. Prinprint available in arXiv:1605.00709v2, 10 May, 2016]. We also study some applications of the symmetric spectral property of the odd-colorable $r$-graphs given in that same paper by V. Nikiforov. We show that the Laplacian spectrum and the signless Laplacian spectrum of an $r$-hypergraph $G$ are equal if and only if $G$ is odd-colorable, and then study some further applications of these spectral properties.