Abstact:Biregular ({r, m}; g)-cages are graphs of girth g that contain vertices of degrees r and m and are of the smallest order among all such graphs. We show that for every r ≥ 3 and every odd g = 2t + 1 ≥ 3, there exists an integer m 0 such that for every even m ≥ m 0 , the biregular ({r, m}, g)-cage is of order equal to a natural lower bound analogous to the well-known Moore bound. In addition, when r is odd, the restriction on the parity of m can be removed, and there exists an integer m 0 such that a biregular ({r, m}, g)-cage of order equal to this lower bound exists for all m ≥ m 0 . This is in stark contrast to the result classifying all cages of degree k and girth g whose order is equal to the Moore bound. C 2015 Wiley Periodicals, Inc. J. Graph Theory 81: 50-56, 2016Lemma 1.1. The only ({r, m}; g)-cages of even girth g whose order is equal to (1) are the ({2, m}; g)-cages and the ({r, m}; 4)-cages.Proof. The fact that the order of ({2, m}; g)-cages and of ({r, m}; 4)-cages is equal to (1) was proved in [4]. The necessity portion of the lemma follows from [12] which contains a stronger lower bound than (1) for the order of the ({r, m}, 6)-cages and from [1] which contains a stronger lower bound on the order of the ({r, m}, 2k)-cages, k ≥ 4.Except for the biregular cages covered by Lemma 1.1, all known results suggest the existence of significantly many parameter sets ({r, m}; g) for which there exists a ({r, m}; g)-graph of order equal to the lower bound (1) -a dramatic difference when compared to the case of cages. In our article, we confirm the above observation by
Journal of Graph Theory