arXiv++ Combinatorics

We introduce the weak limited augmented Zarankiewicz number $z_{WL}(m,n)$ by relaxing the generalized cycle-free conditions previously used to establish lower bounds for the biquadratic sum-of-squares (SOS) rank. The key innovation is a recursive weakening of Condition~2: we define a dependency graph on nondegenerate 2-edges and require that it be acyclic, together with a technical condition that if a nondegenerate 2-edge has both opposite cells occupied by 1-edges, then the associated biquadratic form must decompose as a direct sum of independent blocks. We prove that these weak conditions suffice for irreducibility of the associated doubly simple biquadratic form, yielding the inequality chain $$ \operatorname{BSR}(m,n) \ge z_{WL}(m,n) \ge z_L(m,n) \ge z(m,n), $$ where $\operatorname{BSR}(m,n)$ is the maximum SOS rank among all $m\times n$ biquadratic forms, $z_L(m,n)$ is the limited augmented Zarankiewicz number, and $z(m,n)$ is the classical Zarankiewicz number. As a concrete application, we construct a $5 \times 3$ augmented graph with two 2-edges that satisfies the weak conditions but violates the original definition. This establishes $$ z_{WL}(5,3) \ge 10, $$ improving the previous limited augmented value \(z_L(5,3)=9\). Consequently, $$ \operatorname{BSR}(5,3) \ge 10. $$

The limited augmented Zarankiewicz number $z_L(m,n)$ corresponds to 2-edges $(i,j;k,l)$ in a $C_4$-free bipartite graph, each representing a square $(x_i y_j + x_k y_l)^2$. We introduce \emph{3-edges} $(i,j;k,l;p,q)$ representing $(x_i y_j + x_k y_l + x_p y_q)^2$, and define the numbers $z_{3L}(m,n)$ and $z_{3A}(m,n)$ by forbidding generalized $C_4$ cycles. We prove that for any 3-edge-augmented graph without such cycles, the corresponding doubly simple biquadratic form has SOS rank equal to the total number of edge contributions. As applications, we show $z_{3L}(5, 3) = 10$, $z_{3L}(6,4) \ge 16$ and $z_{3L}(5,5) \ge 16$, improving the known bounds $z_L(5, 3) = 9$, $z_L(6,4)=14$ and $z_L(5,5)=14$. The constructions in the $5 \times 5$ and $6 \times 4$ cases are naturally explained as 3-edges, providing a unified combinatorial framework for SOS rank lower bounds beyond the limited augmented Zarankiewicz number.

The limited augmented Zarankiewicz number $z_L(m,n)$ satisfies $\operatorname{BSR}(m,n) \ge z_L(m,n) \ge z(m,n)$, where $\operatorname{BSR}(m,n)$ is the maximum SOS rank of $m \times n$ biquadratic forms and $z(m,n)$ is the classical Zarankiewicz number. We determine the exact values of $z_L(m,n)$ for all $m,n \le 5$. In particular, we prove that $z_L(5,3) = 9$, $z_L(5,4) = 12$, and $z_L(5,5) = 14$, confirming that previously known lower bounds are tight. Moreover, by a lifting construction we obtain $z_L(6,5) \ge 17$, which is the first example where $z_L(m,n) \ge z(m,n) + 3$, demonstrating that the gap can grow with the dimensions. The analysis proceeds by enumerating all non-isomorphic extremal $C_4$-free graphs for each parameter set and systematically checking the admissible 2-edge augmentations. Our results reveal that the augmentability of a $C_4$-free graph depends critically on its specific structure, not merely on its edge count. These findings provide improved lower bounds for $\operatorname{BSR}(m,n)$ and offer a foundation for future investigations of larger parameters.

In this paper, we study dual quaternion and dual complex unit gain graphs and their spectral properties in a unified frame of dual unit gain graphs. Unit dual quaternions represent rigid movements in the 3D space, and have wide applications in robotics and computer graphics. Dual complex numbers found application in brain science recently. We establish the interlacing theorem for dual unit gain graphs, and show that the spectral radius of a dual unit gain graph is always not greater than the spectral radius of the underlying graph, and these two radii are equal if and only if the dual gain graph is balanced. By using the dual cosine functions, we establish the closed form of eigenvalues of adjacency and Laplacian matrices of dual complex and quaternion unit gain cycles. We then show the coefficient theorem holds for dual unit gain graphs. Similar results hold for the spectral radius of the Laplacian matrix of the dual unit gain graph too.