The Goldberg–Coxeter construction or Goldberg–Coxeter operation (GC construction or GC operation) is a graph operation defined on regular polyhedral graphs with degree 3 or 4. It also applies to the dual graph of these graphs, i.e. graphs with triangular or quadrilateral "faces". The GC construction can be thought of as subdividing the faces of a polyhedron with a lattice of triangular, square, or hexagonal polygons, possibly skewed with regards to the original face: it is an extension of concepts introduced by the Goldberg polyhedra and geodesic polyhedra. The GC construction is primarily studied in organic chemistry for its application to fullerenes, but it has been applied to nanoparticles, computer-aided design, basket weaving, and the general study of graph theory and polyhedra. The Goldberg–Coxeter construction may be denoted as G C k , ℓ ( G 0 ) {\displaystyle GC_{k,\ell }(G_{0})} , where G 0 {\displaystyle G_{0}} is the graph being operated on, k {\displaystyle k} and l {\displaystyle l} are integers, k > 0 {\displaystyle k>0} , and ℓ ≥ 0 {\displaystyle \ell \geq 0} .
History Michael Goldberg introduced the Goldberg polyhedron in 1937. Buckminster Fuller coined the term "geodesic dome" in the 1940s, although he largely kept the mathematics behind the domes a trade secret. Geodesic domes are the geometric dual of (a section of) a Goldberg polyhedron: a full geodesic dome can be thought of as a geodesic polyhedron, dual to the Goldberg polyhedron. In 1962, Donald Caspar and Aaron Klug published an article on the geometry of viral capsids that applied and expanded upon concepts from Goldberg and Fuller. H.S.M. Coxeter published an article in 1971 covering much of the same information. Caspar and Klug were the first to publish the most general correct construction of a geodesic polyhedron, making the name "Goldberg–Coxeter construction" an instance of Stigler's law of eponymy. The discovery of Buckminsterfullerene in 1985 motivated research into other molecules with the structure of a Goldberg polyhedron. The terms "Goldberg–Coxeter fullerene" and "Goldberg–Coxeter construction" were introduced by Michel Deza in 2000. This is also the first time the degree 4 case was considered.
Construction This section largely follows Deza et al.'s two articles.
Master polygons
Regular lattices over the complex plane can be used to create "master polygons". In geodesic dome terminology, this is the "breakdown structure" or "principal polyhedral triangle" (PPT). The 4-regular case uses the square lattice over the Gaussian integers, and the 3-regular case uses triangular lattice over the Eisenstein integers. For convenience, an alternate parameterization of the Eisenstein integers is used, based on the sixth root of unity instead of the third. The usual definition of Eisenstein integers uses the element ω = 1 2 ( − 1 + i 3 ) = e 2 3 π i = u − 1 {\textstyle \omega ={\frac {1}{2}}\left(-1+i{\sqrt {3}}\right)=e^{{\frac {2}{3}}\pi i}=u-1} . A norm, t ( k , ℓ ) {\displaystyle t(k,\ell )} , is defined as the square of the absolute value of the complex number. For 3-regular graphs this norm is the T-number or triangulation number used in virology. The master polygon is an equilateral triangle or square laid over the lattice. The table to the right gives formulas for the vertices of the master polygons in the complex plane, and the gallery below shows the (3,2) master triangle and square. So that the polygon can be described by a single complex number, one vertex is fixed at 0. There are multiple numbers that can describe the same polygon: these are associates of each other: if x {\displaystyle x} and y {\displaystyle y} are associates, then x = u n y {\displaystyle x=u^{n}y} in the Eisensteins or x = i n y {\displaystyle x=i^{n}y} in the Gaussians for some integer n {\displaystyle n} . The set of elements that are associates of each other is an equivalence class, and the element of each equivalence class that has a > 0 {\displaystyle a>0} and b ≥ 0 {\displaystyle b\geq 0} is the normal form.
Master polygons, and the operator G C k , ℓ ( G 0 ) {\displaystyle GC_{k,\ell }\left(G_{0}\right)} , can be classified as follows:
Class I: ℓ = 0. {\displaystyle \ell =0.}
Class II: k = ℓ . {\displaystyle k=\ell .}
… excerpt ends here. Continue reading the full article.
