On bipartite graphs of defect at most 4

We consider the bipartite version of the degree/diameter problem, namely, given natural numbers {\Delta} \geq 2 and D \geq 2, find the maximum number Nb({\Delta},D) of vertices in a bipartite graph of maximum degree {\Delta} and diameter D. In this context, the Moore bipartite bound Mb({\Delta},D) represents an upper bound for Nb({\Delta},D). Bipartite graphs of maximum degree {\Delta}, diameter D and order Mb({\Delta},D), called Moore bipartite graphs, have turned out to be very rare. Therefore, it is very interesting to investigate bipartite graphs of maximum degree {\Delta} \geq 2, diameter D \geq 2 and order Mb({\Delta},D) - \epsilon with small \epsilon > 0, that is, bipartite ({\Delta},D,-\epsilon)-graphs. The parameter \epsilon is called the defect. This paper considers bipartite graphs of defect at most 4, and presents all the known such graphs. Bipartite graphs of defect 2 have been studied in the past; if {\Delta} \geq 3 and D \geq 3, they may only exist for D = 3. However, when \epsilon > 2 bipartite ({\Delta},D,-\epsilon)-graphs represent a wide unexplored area. The main results of the paper include several necessary conditions for the existence of bipartite $(\Delta,d,-4)$-graphs; the complete catalogue of bipartite (3,D,-\epsilon)-graphs with D \geq 2 and 0 \leq \epsilon \leq 4; the complete catalogue of bipartite ({\Delta},D,-\epsilon)-graphs with {\Delta} \geq 2, 5 \leq D \leq 187 (D /= 6) and 0 \leq \epsilon \leq 4; and a non-existence proof of all bipartite ({\Delta},D,-4)-graphs with {\Delta} \geq 3 and odd D \geq 7. Finally, we conjecture that there are no bipartite graphs of defect 4 for {\Delta} \geq 3 and D \geq 5, and comment on some implications of our results for upper bounds of Nb({\Delta},D).Comment: 25 pages, 14 Postscript figure

On large bipartite graphs of diameter 3

We consider the bipartite version of the {\it degree/diameter problem}, namely, given natural numbers $d\ge2$ and $D\ge2$, find the maximum number $\N^b(d,D)$ of vertices in a bipartite graph of maximum degree $d$ and diameter $D$. In this context, the bipartite Moore bound \M^b(d,D) represents a general upper bound for $\N^b(d,D)$. Bipartite graphs of order \M^b(d,D) are very rare, and determining $\N^b(d,D)$ still remains an open problem for most $(d,D)$ pairs. This paper is a follow-up to our earlier paper \cite{FPV12}, where a study on bipartite $(d,D,-4)$-graphs (that is, bipartite graphs of order \M^b(d,D)-4) was carried out. Here we first present some structural properties of bipartite $(d,3,-4)$-graphs, and later prove there are no bipartite $(7,3,-4)$-graphs. This result implies that the known bipartite $(7,3,-6)$-graph is optimal, and therefore $\N^b(7,3)=80$. Our approach also bears a proof of the uniqueness of the known bipartite $(5,3,-4)$-graph, and the non-existence of bipartite $(6,3,-4)$-graphs. In addition, we discover three new largest known bipartite (and also vertex-transitive) graphs of degree 11, diameter 3 and order 190, result which improves by 4 vertices the previous lower bound for $\N^b(11,3)$

A family of mixed graphs with large order and diameter 2

A mixed regular graph is a connected simple graph in which each vertex has both a fixed outdegree (the same indegree) and a fixed undirected degree. A mixed regular graphs is said to be optimal if there is not a mixed regular graph with the same parameters and bigger order. We present a construction that provides mixed graphs of undirected degree qq, directed degree View the MathML sourceq-12 and order 2q22q2, for qq being an odd prime power. Since the Moore bound for a mixed graph with these parameters is equal to View the MathML source9q2-4q+34 the defect of these mixed graphs is View the MathML source(q-22)2-14. In particular we obtain a known mixed Moore graph of order 1818, undirected degree 33 and directed degree 11 called Bosák’s graph and a new mixed graph of order 5050, undirected degree 55 and directed degree 22, which is proved to be optimal.Peer ReviewedPostprint (author's final draft

On graphs of defect at most 2

In this paper we consider the degree/diameter problem, namely, given natural numbers {\Delta} \geq 2 and D \geq 1, find the maximum number N({\Delta},D) of vertices in a graph of maximum degree {\Delta} and diameter D. In this context, the Moore bound M({\Delta},D) represents an upper bound for N({\Delta},D). Graphs of maximum degree {\Delta}, diameter D and order M({\Delta},D), called Moore graphs, turned out to be very rare. Therefore, it is very interesting to investigate graphs of maximum degree {\Delta} \geq 2, diameter D \geq 1 and order M({\Delta},D) - {\epsilon} with small {\epsilon} > 0, that is, ({\Delta},D,-{\epsilon})-graphs. The parameter {\epsilon} is called the defect. Graphs of defect 1 exist only for {\Delta} = 2. When {\epsilon} > 1, ({\Delta},D,-{\epsilon})-graphs represent a wide unexplored area. This paper focuses on graphs of defect 2. Building on the approaches developed in [11] we obtain several new important results on this family of graphs. First, we prove that the girth of a ({\Delta},D,-2)-graph with {\Delta} \geq 4 and D \geq 4 is 2D. Second, and most important, we prove the non-existence of ({\Delta},D,-2)-graphs with even {\Delta} \geq 4 and D \geq 4; this outcome, together with a proof on the non-existence of (4, 3,-2)-graphs (also provided in the paper), allows us to complete the catalogue of (4,D,-{\epsilon})-graphs with D \geq 2 and 0 \leq {\epsilon} \leq 2. Such a catalogue is only the second census of ({\Delta},D,-2)-graphs known at present, the first being the one of (3,D,-{\epsilon})-graphs with D \geq 2 and 0 \leq {\epsilon} \leq 2 [14]. Other results of this paper include necessary conditions for the existence of ({\Delta},D,-2)-graphs with odd {\Delta} \geq 5 and D \geq 4, and the non-existence of ({\Delta},D,-2)-graphs with odd {\Delta} \geq 5 and D \geq 5 such that {\Delta} \equiv 0, 2 (mod D).Comment: 22 pages, 11 Postscript figure