On Pappus Configurations in Hall Planes
As the finite Hall planes are Non-Desarguesian, the Pappus Theorem does not hold in them. In this paper we state and prove some weaker versions of Pappus's Theorem in Hall planes.
Discover
Research tools
Network
Opportunities
Account
Source author record
Felix Lazebnik appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
As the finite Hall planes are Non-Desarguesian, the Pappus Theorem does not hold in them. In this paper we state and prove some weaker versions of Pappus's Theorem in Hall planes.
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.
Let $q=p^e$, where $p$ is a prime and $e\geq 1$ is an integer. For $m\geq 1$, let $P$ and $L$ be two copies of the $(m+1)$-dimensional vector spaces over the finite field $\mathbb{F}_q$. Consider the bipartite graph $W_m(q)$ with partite sets $P$ and $L$ defined as follows: a point $(p)=(p_1,p_2,\ldots,p_{m+1})\in P$ is adjacent to a line $[l]=[l_1,l_2,\ldots,l_{m+1}]\in L$ if and only if the following $m$ equalities hold: $l_{i+1} + p_{i+1}=l_{i}p_1$ for $i=1,\ldots, m$. We call the graphs $W_m(q)$ Wenger graphs. In this paper, we determine all distinct eigenvalues of the adjacency matrix of $W_m(q)$ and their multiplicities. We also survey results on Wenger graphs.
We define and study embeddings of cycles in finite affine and projective planes. We show that for all $k$, $3\le k\le q^2$, a $k$-cycle can be embedded in any affine plane of order $q$. We also prove a similar result for finite projective planes: for all $k$, $3\le k\le q^2+q+1$, a $k$-cycle can be embedded in any projective plane of order $q$.
Let $k\ge 1$ be an odd integer, $t=\lfloor {{k+2}\over 4}\rfloor$, and $q$ be a prime power. We construct a bipartite, $q$-regular, edge-transitive graph $C\!D(k,q)$ of order $v \le 2q^{k-t+1}$ and girth $g \ge k+5$. If $e$ is the the number of edges of $C\!D(k,q)$, then $e =Ω(v^{1+ {1\over {k-t+1}}})$. These graphs provide the best known asymptotic lower bound for the greatest number of edges in graphs of order $v$ and girth at least $g$, $ g\ge 5$, $g \not= 11,12$. For $g\ge 24$, this represents a slight improvement on bounds established by Margulis and Lubotzky, Phillips, Sarnak; for $5\le g\le 23$, $g\not= 11,12$, it improves on or ties existing bounds.