Jump to content

Clebsch graph: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m r2.7.2+) (Robot: Adding es:Grafo de Clebsch
Clebsch did not discover the graph; Seidel named it; it has valency 10
Line 1: Line 1:
{{Infobox graph
{{Infobox graph
| name = Clebsch graph
| name = Folded 5-cube
| image = [[File:Clebsch Lombardi.svg|240px]]
| image = [[File:Clebsch Lombardi.svg|240px]]
| image_caption =
| image_caption =
| namesake = [[Alfred Clebsch]]
| vertices = 16
| vertices = 16
| edges = 40
| edges = 40
Line 10: Line 9:
| diameter = 2
| diameter = 2
| girth = 4
| girth = 4
| chromatic_number = 4<ref name="MathWorld" />
| chromatic_number = 4<ref>{{cite web|url=http://www.win.tue.nl/~aeb/graphs/Clebsch.html|title=Clebsch Graph}}</ref>
| chromatic_index = 5
| chromatic_index = 5
| fractional_chromatic_index =
| fractional_chromatic_index =
Line 16: Line 15:
}}
}}


In the [[mathematics|mathematical]] field of [[graph theory]], the '''Clebsch graph'''<ref name="MathWorld" /><ref>Brouwer et al. (1989) use name ''Clebsch graph'' for a different, but related graph.</ref> is an [[undirected graph]] with 16 vertices and 40 edges. It is named after [[Alfred Clebsch]], a German mathematician who discovered it in 1868. It is also known as the '''Greenwood&ndash;Gleason graph''' after the work of {{harvs|first1=Robert M.|last1=Greenwood|first2=Andrew M.|last2=Gleason|author2-link=Andrew Gleason|year=1955|txt}}, who used it to evaluate the [[Ramsey number]] ''R''(3,3,3)&nbsp;=&nbsp;17.<ref>{{citation|first=A.|last=Clebsch|authorlink=Alfred Clebsch|title=Ueber die Flächen vierter Ordnung, welche eine Doppelcurve zweiten Grades besitzen|journal=J. für Math.|volume=69|year=1868|pages=142–184}}.</ref><ref name="Cherowitzo">[http://www-math.ucdenver.edu/~wcherowi/courses/m6023/shilpa.pdf The Clebsch Graph on Bill Cherowitzo's home page]</ref><ref name="gg">{{citation
In the [[mathematics|mathematical]] field of [[graph theory]], the '''Clebsch graph''' is an [[undirected graph]] with 16 vertices and 80 edges. It was thus named by Seidel (1968)<ref>J. J. Seidel, Strongly regular graphs with (-1,1,0) adjacency matrix having eigenvalue 3, Lin. Alg. Appl. 1 (1968) 281-298.</ref> because of the relation to the configuration of 16 lines on the quartic surface discovered by the German mathematician [[Alfred Clebsch]]. It is the halved 5-cube, regular of valency 10.
Its complement, the folded 5-cube, which is regular of valency 5 and has no triangles, is also known as the '''Greenwood&ndash;Gleason graph''' after the work of {{harvs|first1=Robert M.|last1=Greenwood|first2=Andrew M.|last2=Gleason|author2-link=Andrew Gleason|year=1955|txt}}, who used it to evaluate the [[Ramsey number]] ''R''(3,3,3)&nbsp;=&nbsp;17.<ref>{{citation|first=A.|last=Clebsch|authorlink=Alfred Clebsch|title=Ueber die Flächen vierter Ordnung, welche eine Doppelcurve zweiten Grades besitzen|journal=J. für Math.|volume=69|year=1868|pages=142–184}}.</ref><ref name="Cherowitzo">[http://www-math.ucdenver.edu/~wcherowi/courses/m6023/shilpa.pdf The Clebsch Graph on Bill Cherowitzo's home page]</ref><ref name="gg">{{citation
| last1 = Greenwood | first1 = R. E.
| last1 = Greenwood | first1 = R. E.
| last2 = Gleason | first2 = A. M. | author2-link = Andrew Gleason
| last2 = Gleason | first2 = A. M. | author2-link = Andrew Gleason
Line 26: Line 27:
| volume = 7
| volume = 7
| year = 1955}}.</ref>
| year = 1955}}.</ref>

==Confusion==
Some authors, including the original author of this Wikipedia article, use the name ‘Clebsch graph’
for the complement of the Clesch graph as defined by Seidel. Let us here use Γ for the Clebsch graph, and Δ for its complement, in order to avoid saying many times ‘complement of’.


==Construction==
==Construction==
This graph is equivalent to the order-5 [[folded cube graph]]. It may be constructed by adding edges between opposite pairs of vertices in a 4-dimensional hypercube graph. (In an ''n''-dimensional hypercube, a pair of vertices are ''opposite'' if the shortest path between them has ''n'' edges.) Alternatively, it can be formed from a 5-dimensional hypercube graph by [[Vertex identification|identifying]] together (or contracting) every opposite pair of vertices.
The graph Δ is isomorphic to the order-5 [[folded cube graph]]. It may be constructed by adding edges between opposite pairs of vertices in a 4-dimensional hypercube graph. (In an ''n''-dimensional hypercube, a pair of vertices are ''opposite'' if the shortest path between them has ''n'' edges.) Alternatively, it can be formed from a 5-dimensional hypercube graph by [[Vertex identification|identifying]] together (or contracting) every opposite pair of vertices.


Another construction, leading to the same graph, is to create a vertex for each element of the [[finite field]] GF(16), and connect two vertices by an edge whenever the difference between the corresponding two field elements is a [[Cube (algebra)|perfect cube]].<ref>{{Cite web|title=Constructions and Characterizations of (Semi)partial Geometries|first=Frank|last=De Clerck|year=1997|series=Summer School on Finite Geometries|url=http://cage.ugent.be/~fdc/potenza.ps|page=6}}</ref>
Another construction, leading to the same graph, is to create a vertex for each element of the [[finite field]] GF(16), and connect two vertices by an edge whenever the difference between the corresponding two field elements is a [[Cube (algebra)|perfect cube]].<ref>{{Cite web|title=Constructions and Characterizations of (Semi)partial Geometries|first=Frank|last=De Clerck|year=1997|series=Summer School on Finite Geometries|url=http://cage.ugent.be/~fdc/potenza.ps|page=6}}</ref>


==Properties==
==Properties==
The Clebsch graph is a [[strongly regular graph]] of degree 5 with parameters <math>(v,k,\lambda,\mu) = (16, 5, 0, 2)</math>.<ref name="Godsil">{{cite journal|last=Godsil|first=C.D.|authorlink=Chris Godsil|year=1995|title=Problems in algebraic combinatorics|journal=[[Electronic Journal of Combinatorics]]|volume=2|pages=3|url=http://www.combinatorics.org/Volume_2/PDFFiles/v2i1f1.pdf|accessdate=2009-08-13}}</ref><ref>Peter J. Cameron [http://designtheory.org/library/preprints/srg.pdf Strongly regular graphs] on DesignTheory.org, 2001</ref>
The graph Γ is a [[strongly regular graph]] of degree 10 with parameters <math>(v,k,\lambda,\mu) = (16,10,6,6)</math>. Its complement Δ is strongly regular of degree 5 with parameters <math>(v,k,\lambda,\mu) = (16, 5, 0, 2)</math>.<ref name="Godsil">{{cite journal|last=Godsil|first=C.D.|authorlink=Chris Godsil|year=1995|title=Problems in algebraic combinatorics|journal=[[Electronic Journal of Combinatorics]]|volume=2|pages=3|url=http://www.combinatorics.org/Volume_2/PDFFiles/v2i1f1.pdf|accessdate=2009-08-13}}</ref><ref>Peter J. Cameron [http://designtheory.org/library/preprints/srg.pdf Strongly regular graphs] on DesignTheory.org, 2001</ref>.
Its complement is also a strongly regular graph.<ref name="MathWorld">{{cite web|url=http://mathworld.wolfram.com/ClebschGraph.html|title=Clebsch Graph.|last=Weisstein|first=Eric W.|publisher=From MathWorld--A Wolfram Web Resource|accessdate=2009-08-13}}</ref><ref name="Cherowitzo" />


The graph is [[Hamiltonian graph|hamiltonian]], [[Planar graph|non planar]] and [[eulerian graph|non eulerian]]. It is also both 5-[[k-vertex-connected graph|vertex-connected]] and 5-[[k-edge-connected graph|edge-connected]].
The graph Δ is [[Hamiltonian graph|hamiltonian]], [[Planar graph|non planar]] and [[eulerian graph|non eulerian]]. It is also both 5-[[k-vertex-connected graph|vertex-connected]] and 5-[[k-edge-connected graph|edge-connected]].


The [[induced subgraph|subgraph that is induced]] by the ten non-neighbors of any vertex in the Clebsch graph forms an [[graph isomorphism|isomorphic]] copy of the [[Petersen graph]].
The [[induced subgraph|subgraph that is induced]] by the ten non-neighbors of any vertex in Δ forms an [[graph isomorphism|isomorphic]] copy of the [[Petersen graph]].


The edges of the [[complete graph]] ''K''<sub>16</sub> may be partitioned into three disjoint copies of the Clebsch graph. Because the Clebsch graph is a [[triangle-free graph]], this shows that there is a triangle-free three-coloring of the edges of ''K''<sub>16</sub>; that is, that the [[Ramsey number]] ''R''(3,3,3) describing the minimum number of vertices in a complete graph without a triangle-free three-coloring is at least 17. {{harvtxt|Greenwood|Gleason|1955}} used this construction as part of their proof that ''R''(3,3,3)&nbsp;=&nbsp;17.<ref name="gg"/><ref>{{citation
The edges of the [[complete graph]] ''K''<sub>16</sub> may be partitioned into three disjoint copies of the graph Δ. Because Δ is a [[triangle-free graph]], this shows that there is a triangle-free three-coloring of the edges of ''K''<sub>16</sub>; that is, that the [[Ramsey number]] ''R''(3,3,3) describing the minimum number of vertices in a complete graph without a triangle-free three-coloring is at least 17. {{harvtxt|Greenwood|Gleason|1955}} used this construction as part of their proof that ''R''(3,3,3)&nbsp;=&nbsp;17.<ref name="gg"/><ref>{{citation
| last1 = Sun | first1 = Hugo S.
| last1 = Sun | first1 = Hugo S.
| last2 = Cohen | first2 = M. E.
| last2 = Cohen | first2 = M. E.
Line 52: Line 56:
| year = 1984}}.</ref>
| year = 1984}}.</ref>


The Clebsch graph is the [[Keller's conjecture|Keller graph]] of dimension two, part of a family of graphs used to find tilings of high-dimensional [[Euclidean space]]s by [[hypercube]]s no two of which meet face-to-face.
The graph Δ is the [[Keller's conjecture|Keller graph]] of dimension two, part of a family of graphs used to find tilings of high-dimensional [[Euclidean space]]s by [[hypercube]]s no two of which meet face-to-face.


===Algebraic properties===
===Algebraic properties===
The [[characteristic polynomial]] of the Clebsch graph is <math>(x+3)^5(x-1)^{10}(x-5)</math>. Therefore the Clebsch graph is an [[integral graph]]: its [[Spectral graph theory|spectrum]] consists entirely of integers.<ref name="Cherowitzo"/> The Clebsch graph is the only graph with this characteristic polynomial, making it a graph determined by its spectrum.
The [[characteristic polynomial]] of Δ is <math>(x+3)^5(x-1)^{10}(x-5)</math>. Therefore Δ is an [[integral graph]]: its [[Spectral graph theory|spectrum]] consists entirely of integers.<ref name="Cherowitzo"/> The graph Δ is the only graph with this characteristic polynomial, making it a graph determined by its spectrum.


The Clebsch graph is a [[Cayley graph]] with an automorphism group of order 1920, isomorphic to the [[Coxeter group]] <math>D_5</math>. As a Cayley graph, its automorphism group acts transitively on its vertices, making it [[vertex-transitive graph|vertex transitive]]. In fact, it is [[Symmetric graph|arc transitive]], hence [[edge-transitive graph|edge transitive]] and [[distance-transitive graph|distance transitive]].
The Clebsch graph is a [[Cayley graph]] with an automorphism group of order 1920, isomorphic to the [[Coxeter group]] <math>D_5</math>. As a Cayley graph, its automorphism group acts transitively on its vertices, making it [[vertex-transitive graph|vertex transitive]]. In fact, both Γ and Δ are [[Symmetric graph|arc transitive]], hence [[edge-transitive graph|edge transitive]] and [[distance-transitive graph|distance transitive]].


==Gallery==
==Gallery==
<gallery>
<gallery>
File:Clebsch graph hamiltonian.svg|The Clebsch graph is [[Hamiltonian graph|Hamiltonian]].
File:Clebsch graph hamiltonian.svg|The graph Δ is [[Hamiltonian graph|Hamiltonian]].
File:Complete coloring clebsch graph.svg|The [[achromatic number]] of the Clebsch graph is&nbsp;8.
File:Complete coloring clebsch graph.svg|The [[achromatic number]] of the graph Δ is&nbsp;8.
File:Clebsch graph 4COL.svg|The [[chromatic number]] of the Clebsch graph is&nbsp;4.
File:Clebsch graph 4COL.svg|The [[chromatic number]] of the graph Δ is&nbsp;4.
File:Clebsch_graph_5color_edge.svg|The [[chromatic index]] of the Clebsch graph is&nbsp;5.
File:Clebsch_graph_5color_edge.svg|The [[chromatic index]] of the graph Δ is&nbsp;5.
File:Clebsch hypercube.svg|Construction of the Clebsch graph from a [[hypercube graph]].
File:Clebsch hypercube.svg|Construction of the graph Δ from a [[hypercube graph]].
</gallery>
</gallery>



Revision as of 21:07, 18 October 2012

Folded 5-cube
Vertices16
Edges40
Radius2
Diameter2
Girth4
Automorphisms1920
Chromatic number4[1]
Chromatic index5
PropertiesStrongly regular
Hamiltonian
Triangle-free
Cayley graph
Vertex-transitive
Edge-transitive
Distance-transitive.
Table of graphs and parameters

In the mathematical field of graph theory, the Clebsch graph is an undirected graph with 16 vertices and 80 edges. It was thus named by Seidel (1968)[2] because of the relation to the configuration of 16 lines on the quartic surface discovered by the German mathematician Alfred Clebsch. It is the halved 5-cube, regular of valency 10.

Its complement, the folded 5-cube, which is regular of valency 5 and has no triangles, is also known as the Greenwood–Gleason graph after the work of Robert M. Greenwood and Andrew M. Gleason (1955), who used it to evaluate the Ramsey number R(3,3,3) = 17.[3][4][5]

Confusion

Some authors, including the original author of this Wikipedia article, use the name ‘Clebsch graph’ for the complement of the Clesch graph as defined by Seidel. Let us here use Γ for the Clebsch graph, and Δ for its complement, in order to avoid saying many times ‘complement of’.

Construction

The graph Δ is isomorphic to the order-5 folded cube graph. It may be constructed by adding edges between opposite pairs of vertices in a 4-dimensional hypercube graph. (In an n-dimensional hypercube, a pair of vertices are opposite if the shortest path between them has n edges.) Alternatively, it can be formed from a 5-dimensional hypercube graph by identifying together (or contracting) every opposite pair of vertices.

Another construction, leading to the same graph, is to create a vertex for each element of the finite field GF(16), and connect two vertices by an edge whenever the difference between the corresponding two field elements is a perfect cube.[6]

Properties

The graph Γ is a strongly regular graph of degree 10 with parameters . Its complement Δ is strongly regular of degree 5 with parameters .[7][8].

The graph Δ is hamiltonian, non planar and non eulerian. It is also both 5-vertex-connected and 5-edge-connected.

The subgraph that is induced by the ten non-neighbors of any vertex in Δ forms an isomorphic copy of the Petersen graph.

The edges of the complete graph K16 may be partitioned into three disjoint copies of the graph Δ. Because Δ is a triangle-free graph, this shows that there is a triangle-free three-coloring of the edges of K16; that is, that the Ramsey number R(3,3,3) describing the minimum number of vertices in a complete graph without a triangle-free three-coloring is at least 17. Greenwood & Gleason (1955) used this construction as part of their proof that R(3,3,3) = 17.[5][9]

The graph Δ is the Keller graph of dimension two, part of a family of graphs used to find tilings of high-dimensional Euclidean spaces by hypercubes no two of which meet face-to-face.

Algebraic properties

The characteristic polynomial of Δ is . Therefore Δ is an integral graph: its spectrum consists entirely of integers.[4] The graph Δ is the only graph with this characteristic polynomial, making it a graph determined by its spectrum.

The Clebsch graph is a Cayley graph with an automorphism group of order 1920, isomorphic to the Coxeter group . As a Cayley graph, its automorphism group acts transitively on its vertices, making it vertex transitive. In fact, both Γ and Δ are arc transitive, hence edge transitive and distance transitive.

References

  1. ^ "Clebsch Graph".
  2. ^ J. J. Seidel, Strongly regular graphs with (-1,1,0) adjacency matrix having eigenvalue 3, Lin. Alg. Appl. 1 (1968) 281-298.
  3. ^ Clebsch, A. (1868), "Ueber die Flächen vierter Ordnung, welche eine Doppelcurve zweiten Grades besitzen", J. für Math., 69: 142–184.
  4. ^ a b The Clebsch Graph on Bill Cherowitzo's home page
  5. ^ a b Greenwood, R. E.; Gleason, A. M. (1955), "Combinatorial relations and chromatic graphs", Canadian Journal of Mathematics, 7: 1–7, doi:10.4153/CJM-1955-001-4, MR 0067467.
  6. ^ De Clerck, Frank (1997). "Constructions and Characterizations of (Semi)partial Geometries". Summer School on Finite Geometries. p. 6.
  7. ^ Godsil, C.D. (1995). "Problems in algebraic combinatorics" (PDF). Electronic Journal of Combinatorics. 2: 3. Retrieved 2009-08-13.
  8. ^ Peter J. Cameron Strongly regular graphs on DesignTheory.org, 2001
  9. ^ Sun, Hugo S.; Cohen, M. E. (1984), "An easy proof of the Greenwood-Gleason evaluation of the Ramsey number R(3,3,3)" (PDF), The Fibonacci Quarterly, 22 (3): 235–238, MR 0765316.