# Proof of a conjecture on monomial graphs

Preprint · Xiang-dong Hou, Stephen D. Lappano, Felix Lazebnik

- Archive id: arxiv:1507.05306
- Published: 2015-07-19
- arXiv: https://arxiv.org/abs/1507.05306
- Source URL: https://arxiv.org/abs/1507.05306
- PDF: https://arxiv.org/pdf/1507.05306
- Provenance: arxiv

## Abstract

Let $e$ be a positive integer, $p$ be an odd prime, $q=p^{e}$, and $\\Bbb F\_q$ be the finite field of $q$ elements. Let $f,g \\in \\Bbb F\_q \[X,Y\]$. The graph $G=G\_q(f,g)$ is a bipartite graph with vertex partitions $P=\\Bbb F\_q^3$ and $L=\\Bbb F\_q^3$, and edges defined as follows: a vertex $(p)=(p\_1,p\_2,p\_3)\\in P$ is adjacent to a vertex $\[l\] = \[l\_1,l\_2,l\_3\]\\in L$ if and only if $p\_2 + l\_2 = f(p\_1,l\_1)$ and $p\_3 + l\_3 = g(p\_1,l\_1)$. Motivated by some questions in finite geometry and extremal graph theory, Dmytrenko, Lazebnik and Williford conjectured in 2007 that if $f$ and $g$ are both monomials and $G$ has no cycle of length less than eight, then $G$ is isomorphic to the graph $G\_q(XY,XY^2)$. They proved several instances of the conjecture by reducing it to the property of polynomials $A\_k= X^k\[(X+1)^k - X^k\]$ and $B\_k= \[(X+1)^{2k} - 1\] X^{q-1-k} - 2X^{q-1}$ being permutation polynomials of $\\Bbb F\_q$. In this paper we prove the conjecture by obtaining new results on the polynomials $A\_k$ and $B\_k$, which are also of interest on their own.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.