arXiv++ Combinatorics

For integer $k\geq2$ and prime power $q$, the algebraic bipartite graph $D(k,q)$ proposed by Lazebnik and Ustimenko (1995) is meaningful not only in extremal graph theory but also in coding theory and cryptography. This graph is $q$-regular, edge-transitive and of girth at least $k+4$. Its exact girth $g=g(D(k,q))$ was conjectured in 1995 to be $k+5$ for odd $k$ and $q\geq4$. This conjecture was shown to be valid in 2016 when $\frac{k+5}{2}|_p(q-1)$, where $p$ is the characteristic of $\mathbb{F}_q$ and $m|_pn$ means that $m$ divides $p^r n$ for some nonnegative integer $r$. In this paper, for $t\geq 1$ we prove that (a) $g(D(4t+2,q))=g(D(4t+1,q))$; (b) $g(D(4t+3,q))=4t+8$ if $g(D(2t,q))=2t+4$; (c) $g(D(8t,q))=8t+4$ if $g(D(4t-2,q))=4t+2$; (d) $g(D(2^{s+2}(2t-1)-5,q))=2^{s+2}(2t-1)$ if $p\geq 3$, $(2t-1)|_p(q-1)$ and $2^s\|(q-1)$. A simple upper bound for the girth of $D(k,q)$ is proposed in the end of this paper.

For integer $k\geq2$ and prime power $q$, the algebraic bipartite graph $D(k,q)$ proposed by Lazebnik and Ustimenko (1995) is meaningful not only in extremal graph theory but also in coding theory and cryptography. This graph is $q$-regular, edge-transitive and of girth at least $k+4$. For its exact girth $g=g(D(k,q))$, Füredi et al. (1995) conjectured $g=k+5$ for odd $k$ and $q\geq4$. This conjecture was shown to be valid in 2016 when $(k+5)/2$ is the product of an arbitrary factor of $q-1$ and an arbitrary power of the characteristic of $\mathbb{F}_q$. In this paper, we determine all the girth cycles of $D(k,q)$ for $3\leq k\leq 5$, $q>3$, and those for $3\leq k\leq8$, $q=3$.

For any field $\mathbb{F}$ and polynomials $f_{2},f_{3}\in\mathbb{F}[x,y]$, let $Γ_{\mathbb{F}}(f_{2},f_{3})$ denote the bipartite graph with vertex partition $P\cup L$, where $P$ and $L$ are two copies of $\mathbb{F}^{3}$, and $(p_{1},p_{2},p_{3})\in P$ is adjacent to $[l_{1},l_{2},l_{3}]\in L$ if and only if $p_{2}+l_{2}=f_{2}(p_{1},l_{1})$ and $p_{3}+l_{3}=f_{3}(p_{1},l_{1})$. The graph $Γ_{3}(\mathbb{F})=Γ_{\mathbb{F}}(xy,xy^{2})$ is known to be of girth eight. When $\mathbb{F}=\mathbb{F}_q$ is a finite field of odd size $q$ or $\mathbb{F}=\mathbb{F}_{\infty}$ is an algebraically closed field of characteristic zero, the graph $Γ_{3}(\mathbb{F})$ is conjectured to be the unique one with girth at least eight among those $Γ_{\mathbb{F}}(f_{2},f_{3})$ up to isomorphism. This conjecture has been confirmed for the case that both $f_{2},f_{3}$ are monomials over $\mathbb{F}_q$, and for the case that at least one of $f_{2},f_{3}$ is a monomial over $\mathbb{F}_{\infty}$. If one of $f_{2},f_{3}\in\mathbb{F}_q[x,y]$ is a monomial, it has also been proved the existence of a positive integer $M$ such that $G=Γ_{\mathbb{F}_{q^{M}}}(f_2,f_3)$ is isomorphic to $Γ_{3}(\mathbb{F}_{q^{M}})$ provided $G$ has girth at least eight. In this paper, these results are shown to be valid when the restriction on the polynomials $f_2,f_3$ is relaxed further to that one of them is the product of two univariate polynomials. Furthermore, all of such polynomials $f_2,f_3$ are characterized completely.

In this paper, we deal with a generalization $Γ(Ω,q)$ of the bipartite graphs $D(k,q)$ proposed by Lazebnik and Ustimenko, where $Ω$ is a set of binary sequences that are adopted to index the entries of the vertices. A few sufficient conditions on $Ω$ for $Γ(Ω,q)$ to admit a variety of automorphisms are proposed. A sufficient condition for $Γ(Ω,q)$ to be edge-transitive is proposed further. A lower bound of the number of the connected components of $Γ(Ω,q)$ is given by showing some invariants for the components. For $Γ(Ω,q)$, paths and cycles which contain vertices of some specified form are investigated in details. Some lower bounds for the girth of $Γ(Ω,q)$ are then shown. In particular, one can give very simple conditions on the index set $Ω$ so as to assure the generalized graphs $Γ(Ω,q)$ to be a family of graphs with large girth.