In graph theory and polyhedral combinatorics, areas of mathematics, Kotzig's theorem is the statement that every polyhedral graph has an edge whose two endpoints have total degree at most 13. An extreme case is the triakis icosahedron, where no edge has smaller total degree. The result is named after Anton Kotzig, who published it in 1955 in the dual form that every convex polyhedron has two adjacent faces with a total of at most 13 sides.[1] It was named and popularized in the west in the 1970s by Branko Grünbaum.[2][3]
More generally, every planar graph of minimum degree at least three either has an edge of total degree at most 12, or at least 60 edges that (like the edges in the triakis icosahedron) connect vertices of degrees 3 and 10.[4] If all triangular faces of a polyhedron are vertex-disjoint, there exists an edge with smaller total degree, at most eight.[5] Generalizations of the theorem are also known for graph embeddings onto surfaces with higher genus.[6]
The theorem cannot be generalized to all planar graphs, as the complete bipartite graphs and have edges with unbounded total degree. However, for planar graphs with vertices of degree lower than three, variants of the theorem have been proven, showing that either there is an edge of bounded total degree or some other special kind of subgraph.[7]
References
- ↑ Kotzig, Anton (1955), "Contribution to the theory of Eulerian polyhedra", Matematicko-Fyzikálny Časopis, 5: 101–113, MR 0074837
- ↑ Grünbaum, Branko (1975), "Polytopal graphs", Studies in graph theory, Part II, MAA Studies in Mathematics, vol. 12, pp. 201–224, MR 0406868
- ↑ Grünbaum, Branko (1976), "New views on some old questions of combinatorial geometry", Colloquio Internazionale sulle Teorie Combinatorie (Rome, 1973), Tomo I, Atti dei Convegni Lincei, vol. 17, pp. 451–468, MR 0470861
- ↑ Borodin, O. V. (1990), "A generalization of Kotzig's theorem and prescribed edge coloring of planar graphs", Matematicheskie Zametki, 48 (6): 22–28, 160, doi:10.1007/BF01240258, MR 1102617, S2CID 120940639
- ↑ Borodin, Oleg V. (1992), "An extension of Kotzig's theorem on the minimum weight of edges in 3-polytopes", Mathematica Slovaca, 42 (4): 385–389, MR 1195032
- ↑ Zaks, Joseph (1983), "Extending Kotzig's theorem", Israel Journal of Mathematics, 45 (4): 281–296, doi:10.1007/BF02804013, hdl:10338.dmlcz/127504, MR 0720304
- ↑ Cole, Richard; Kowalik, Łukasz; Škrekovski, Riste (2007), "A generalization of Kotzig's theorem and its application", SIAM Journal on Discrete Mathematics, 21 (1): 93–106, CiteSeerX 10.1.1.227.3878, doi:10.1137/050646196, MR 2299697