arXiv++ Combinatorics

For positive integers $s,t,u,v$, we define a bipartite graph $Γ_{\mathbb{R}}(X^s Y^t,X^u Y^v)$ where each partite set is a copy of $\mathbb{R}^3$, and a vertex $(a_1,a_2,a_3)$ in the first partite set is adjacent to a vertex $[x_1,x_2,x_3]$ in the second partite set if and only if \[ a_2 + x_2 = a_1^s x_1^t \quad \text{and} \quad a_3+x_3=a_1^ux_1^v. \] In this paper, we classify all such graphs according to girth.

We present an example of a result in graph theory that is used to obtain a result in another branch of mathematics. More precisely, we show that the isomorphism of certain directed graphs implies that some trinomials over finite fields have the same number of roots.

Let $p$ be a prime, $e$ a positive integer, $q = p^e$, and let $\mathbb{F}_q$ denote the finite field of $q$ elements. Let $f_i : \mathbb{F}_q^2\to\mathbb{F}_q$ be arbitrary functions, where $1\le i\le l$, $i$ and $l$ are integers. The digraph $D = D(q;\bf{f})$, where ${\bf f}=(f_1,\dotso,f_l) : \mathbb{F}_q^2\to\mathbb{F}_q^l$, is defined as follows. The vertex set of $D$ is $\mathbb{F}_q^{l+1}$. There is an arc from a vertex ${\bf x} = (x_1,\dotso,x_{l+1})$ to a vertex ${\bf y} = (y_1,\dotso,y_{l+1})$ if $ x_i + y_i = f_{i-1}(x_1,y_1) $ for all $i$, $2\le i \le l+1$. In this paper we study the strong connectivity of $D$ and completely describe its strong components. The digraphs $D$ are directed analogues of some algebraically defined graphs, which have been studied extensively and have many applications.

Let $p$ be a prime, $e$ a positive integer, $q = p^e$, and let $\mathbb{F}_q$ denote the finite field of $q$ elements. Let $f_i : \mathbb{F}_q^2\to\mathbb{F}_q$ be arbitrary functions, where $1\le i\le l$, $i$ and $l$ are integers. The digraph $D = D(q;\bf{f})$, where ${\bf f}=(f_1,\dotso,f_l) : \mathbb{F}_q^2\to\mathbb{F}_q^l$, is defined as follows. The vertex set of $D$ is $\mathbb{F}_q^{l+1}$. There is an arc from a vertex ${\bf x} = (x_1,\dotso,x_{l+1})$ to a vertex ${\bf y} = (y_1,\dotso,y_{l+1})$ if $ x_i + y_i = f_{i-1}(x_1,y_1) $ for all $i$, $2\le i \le l+1$. In this paper we study the diameter of $D(q; {\bf f})$ in the special case of monomial digraphs $D(q; m,n)$: ${\bf f} = f_1$ and $f_1(x,y) = x^m y^n$ for some nonnegative integers $m$ and $n$.

Let $p$ be a prime $e$ be a positive integer, $q = p^e$, and let $\mathbb{F}_q$ denote the finite field of $q$ elements. Let $m,n$, $1\le m,n\le q-1$, be integers. The monomial digraph $D= D(q;m,n)$ is defined as follows: the vertex set of $D$ is $\mathbb{F}_q^2$, and $((x_1,x_2),(y_1,y_2))$ is an arc in $D$ if $ x_2 + y_2 = x_1^m y_1^n $. In this note we study the question of isomorphism of monomial digraphs $D(q;m_1,n_1)$ and $D(q;m_2,n_2)$. Several necessary conditions and several sufficient conditions for the isomorphism are found. We conjecture that one simple sufficient condition is also a necessary one.