Biregular graph
{{Graph families defined by their automorphisms}}
In graph-theoretic mathematics, a biregular graph{{citation
| last1 = Scheinerman | first1 = Edward R. | authorlink = Ed Scheinerman
| last2 = Ullman | first2 = Daniel H.
| isbn = 0-471-17864-0
| location = New York
| mr = 1481157
| page = 137
| publisher = John Wiley & Sons Inc.
| series = Wiley-Interscience Series in Discrete Mathematics and Optimization
| title = Fractional graph theory
| year = 1997}}. or semiregular bipartite graph{{citation
| last1 = Dehmer | first1 = Matthias
| last2 = Emmert-Streib | first2 = Frank
| isbn = 9783527627998
| page = 149
| publisher = John Wiley & Sons
| title = Analysis of Complex Networks: From Biology to Linguistics
| url = https://books.google.com/books?id=l9zURPH2GiUC&pg=PA149
| year = 2009}}. is a bipartite graph for which every two vertices on the same side of the given bipartition have the same degree as each other. If the degree of the vertices in is and the degree of the vertices in is , then the graph is said to be -biregular.
File:Rhombicdodecahedron.jpg is biregular.]]
Example
Every complete bipartite graph is -biregular.
The rhombic dodecahedron is another example; it is (3,4)-biregular.{{citation
|last = Réti
|first = Tamás
|journal = MATCH Commun. Math. Comput. Chem.
|pages = 169–188
|title = On the relationships between the first and second Zagreb indices
|url = http://www.pmf.kg.ac.rs/match/electronic_versions/match68/n1/match68n1_169-188.pdf
|volume = 68
|year = 2012
|access-date = 2012-09-02
|archive-url = https://web.archive.org/web/20170829145123/http://www.pmf.kg.ac.rs/match/electronic_versions/match68/n1/match68n1_169-188.pdf
|archive-date = 2017-08-29
|url-status = dead
}}.
Vertex counts
An -biregular graph must satisfy the equation . This follows from a simple double counting argument: the number of endpoints of edges in is , the number of endpoints of edges in is , and each edge contributes the same amount (one) to both numbers.
Symmetry
Every regular bipartite graph is also biregular.
Every edge-transitive graph (disallowing graphs with isolated vertices) that is not also vertex-transitive must be biregular.{{citation
| last1 = Lauri | first1 = Josef
| last2 = Scapellato | first2 = Raffaele
| isbn = 9780521529037
| pages = 20–21
| publisher = Cambridge University Press
| series = London Mathematical Society Student Texts
| title = Topics in Graph Automorphisms and Reconstruction
| url = https://books.google.com/books?id=hsymFm0E0uIC&pg=PA20
| year = 2003}}. In particular every edge-transitive graph is either regular or biregular.
Configurations
The Levi graphs of geometric configurations are biregular; a biregular graph is the Levi graph of an (abstract) configuration if and only if its girth is at least six.{{citation
| last = Gropp | first = Harald
| editor1-last = Colbourn | editor1-first = Charles J.
| editor2-last = Dinitz | editor2-first = Jeffrey H.
| contribution = VI.7 Configurations
| edition = Second
| pages = 353–355
| publisher = Chapman & Hall/CRC, Boca Raton, Florida
| series = Discrete Mathematics and its Applications (Boca Raton)
| title = Handbook of combinatorial designs
| year = 2007}}.
References
{{reflist}}