Talk:Herschel graph/GA1

GA Review
The edit link for this section can be used to add comments to the review.''

Reviewer: Kusma (talk · contribs) 14:06, 15 August 2023 (UTC)

Will review this soon! —Kusma (talk) 14:06, 15 August 2023 (UTC)

Content review

 * Lead: a bit on the short side; will comment later whether I think anything major is missing
 * Definition and properties: the description of the graph is a bit confusing. Each of the three pairs of degree-four vertices makes it sound like there are six degree-four vertices. Maybe better to say "for any two distinct degree-four vertices"?
 * Ok, copyedited. —David Eppstein (talk) 01:58, 17 August 2023 (UTC)
 * It would also be great to have a labeled illustration making it easier to follow the description. Or at least say that the three degree-four vertices are the blue ones in the middle, and the other two blue ones are the two degree-3 ones not belonging to the four-vertex cycles.
 * Rather than editing the image I added more text specifying the colors of the vertices. —David Eppstein (talk) 01:58, 17 August 2023 (UTC)
 * Polyhedron: I understand what you mean by all of the same symmetries as the underlying graph but in one case we have a permutation group and in the other case a subgroup of O(3); is it worth trying to explain this more?
 * Copyedited to "each graph automorphism corresponds to a symmetry of the polyhedron". —David Eppstein (talk) 02:00, 17 August 2023 (UTC)
 * I think it would be worth making the connection between the Lich's nemesis story and the fact that the graph supports a Hamiltonian path, but not cycle, more explicit.
 * Added more of an explanation for this story, including why it relates to the nonexistence of a Hamiltonian cycle.
 * Hamiltonicity: It is the smallest non-Hamiltonian polyhedral graph strictly speaking, you haven't said what a Hamiltonian graph is yet.
 * Added a sentence defining that term. —David Eppstein (talk) 01:09, 18 August 2023 (UTC)
 * Also, "the smallest non-Hamiltonian polyhedral graph by vertices" seems to be contradicted by "other polyhedral graphs with 11 vertices and no Hamiltonian cycles". It has the minimal number of vertices, yes, but as it is not unique with this property, it is not "the smallest".
 * Reworded to say that it has the smallest number of vertices rather than that it is "the" graph with the smallest number of vertices. —David Eppstein (talk) 01:09, 18 August 2023 (UTC)
 * every bipartite 3-regular polyhedral graph is Hamiltonian Explain what 3-regular means and link to Regular graph.
 * Ok, done. —David Eppstein (talk) 01:14, 18 August 2023 (UTC)
 * two vertices are adjacent in the medial graph whenever the corresponding edges of the Herschel graph are consecutive on one of its faces. here it might help to have defined the face of a planar graph, but perhaps the polyhedral picture is sufficient for it.
 * So far (and here) we're really only using faces of a polyhedral graph, for which I think it's ok to treat them in an intuitive way as being the same as the faces of the polyhedron. —David Eppstein (talk) 01:16, 18 August 2023 (UTC)
 * The article k-edge-connected graph has no information about being "essentially 6-edge-connected".
 * Moved "essentially" out of the wikilink and added a gloss.
 * History: In British English, "British astronomer Alexander Stewart Herschel" would like a "the". I think it is fine in American English though, but it is too long since I lived in the US so I am uncertain.
 * Sounds ok to me, but I reordered it as "Alexander Stewart Herschel, a British astronomer". —David Eppstein (talk) 01:21, 18 August 2023 (UTC)
 * Thanks for these comments! I am currently working through Talk:Cartesian tree/GA1 and spending a lot of time traveling this month but will try to move on to this one soon. —David Eppstein (talk) 17:26, 16 August 2023 (UTC)
 * I think I am happy with your responses. However, there are a bit many "howevers" in the History section; could you try to cut down a bit? (These are WP:WTW). —Kusma (talk) 10:17, 18 August 2023 (UTC)
 * Removed. —David Eppstein (talk) 16:23, 18 August 2023 (UTC)
 * I'll be travelling from middle of next week; should we not finish by then, my responses might also be delayed a bit. —Kusma (talk) 10:24, 18 August 2023 (UTC)

Comments on GA criteria

 * Prose/MoS: Fine, except perhaps "however".
 * References are nicely formatted (but Dover would live a location). Suggest archiving the web resources.
 * There are some slightly questionable sources, which are probably OK in practice but don't satisfy all of our rules, see below.
 * No issues with copyright, OR, broadness, focus, neutrality, stability.
 * Images are correctly licensed and very helpful.

Source checks

 * 1: Content checks out; this is an established blog by mathematicians so it barely passes I think (Christian Lawson-Perfect is a maths educator; I recently came across his name because he is the mathstodon.xyz admin).
 * 3a: Citation should use location (to prevent people from thinking "Dover" is a location). I don't see content about Steinitz' theorem in Coxeter p. 8 in the 1947 edition; as Dover usually just does photomechanical reproductions, I would expect the Dover edition to be the same.
 * Swapped to London/Methuen/1948 since I have easier access to that edition (which is I expect the same). He doesn't mention Steinitz but he certainly strongly suggests that this graph forms a polyhedron. —David Eppstein (talk) 16:29, 18 August 2023 (UTC)
 * Well, for the Herschel graph this is true, but the general statement of Steinitz' theorem is currently in the article and not supported by a reference. You could just add refs 5 or 8 from Steinitz's theorem. —Kusma (talk) 21:22, 18 August 2023 (UTC)
 * Ok, added Grünbaum since I think we don't need both, and reworded to clarify that Grünbaum is sourcing the general statement of Steinitz's theorem and not its specific application to this graph. —David Eppstein (talk) 09:41, 19 August 2023 (UTC)
 * 3b: Coxeter calls it something like the simplest example and isn't totally explicit about number of edges.
 * Replaced with [5] —David Eppstein (talk) 16:29, 18 August 2023 (UTC)
 * 6: I assume you haven't seen the original paper?
 * No, that's why I have the annotation "Reference from...". —David Eppstein (talk) 16:29, 18 August 2023 (UTC)
 * 7: is this Tait's comment that ends in a two line proof of the four colour theorem?
 * The bogus proof of the four color theorem is paragraph (15) of the cited work; the conjectured (but not incorrectly stated as proven) Hamiltonicity of cubic polyhedra is paragraph (16). Added more specific pointer to the reference. —David Eppstein (talk) 09:37, 19 August 2023 (UTC)
 * Thanks. For some reason I didn't see that before. —Kusma (talk) 10:24, 19 August 2023 (UTC)
 * 9: this is a user generated site; also, it should say "remains open as of 2011" or something. Might be better to just rephrase "A refinement of Tait's conjecture is Barnett's conjecture, which ..."
 * Šámal is an associate professor at Charles University; I think he can be counted as a "recognized expert" per WP:SPS. —David Eppstein (talk) 16:31, 18 August 2023 (UTC)
 * Fine. —Kusma (talk) 21:22, 18 August 2023 (UTC)
 * 13: ok