This is the talk page for discussing improvements to the Four color theorem article. This is not a forum for general discussion of the article's subject.
Four color theorem was a Mathematics good articles nominee, but did not meet the good article criteria at the time. There may be suggestions below for improving the article. Once these issues have been addressed, the article can be renominated. Editors may also seek a reassessment of the decision if they believe there was a mistake.
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
This article is within the scope of WikiProject Maps, a collaborative effort to improve the coverage of Maps and Cartography on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MapsWikipedia:WikiProject MapsTemplate:WikiProject MapsMaps
This article is within the scope of WikiProject Geography, a collaborative effort to improve the coverage of geography on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.GeographyWikipedia:WikiProject GeographyTemplate:WikiProject Geographygeography
This page has archives. Sections older than 90 days may be automatically archived by Lowercase sigmabot III when more than 4 sections are present.
Contradiction in proof section?
The last paragraph in Four color theorem#Proof by computer: 'They responded that the rumors were due to a "misinterpretation of [Schmidt's] results" and obliged with a detailed article' - without further comment it looks like Schmidt was wrong. But then we learn that their book later " explained and corrected the error discovered by Schmidt [...]", so Schmidt was right? Related question: Why was it "a rumor" years after the master thesis was published? --mfb (talk) 07:22, 16 May 2019 (UTC)[reply]
Requested move 22 August 2020
The following is a closed discussion of a requested move. Please do not modify it. Subsequent comments should be made in a new section on the talk page. Editors desiring to contest the closing decision should consider a move review after discussing it on the closer's talk page. No further edits should be made to this discussion.
Oppose on grounds given. Most of the scholarly, reliable sources don't punctuate this. See the references section, with titles like "The Four Color Theorem: History, Topological Foundations and Idea of Proof." There do appear to be a few sources that punctuate this, but we should follow the preponderance of the sources here. SnowFire (talk) 16:25, 22 August 2020 (UTC)[reply]
That would involve switching from American English to English English. As Appel is American and Haken taught in America I think color is the most appropriate spelling to use.--Salix alba (talk): 16:57, 22 August 2020 (UTC)[reply]
Oppose because this article tells about a theorm about four colors, which IMO the correct title should be Four colour theorm for more NPOV title. 182.1.13.112 (talk) 16:59, 22 August 2020 (UTC)[reply]
Oppose hypernated is not needed for that article and thw title should be remained as this, thought IMO, the correct title of Four color theorem shouldn't be color but Colour. 36.77.93.106 (talk) 23:54, 22 August 2020 (UTC)[reply]
Stop replying to this discussion repeatedly with many IPs. It's annoying and doesn't strengthen your position at all. --mfb (talk) 01:06, 26 August 2020 (UTC)[reply]
OP here. While I personally disagree on keeping the title without hyphenation, I respect the counterarguments and the current democratic consensus. This reminds me of the debate regarding air superiority fighter vs air-superiority fighter. It seems to be a matter of stylistic preference. Thanks for your input. Electricmaster (talk) 10:34, 26 August 2020 (UTC)[reply]
The discussion above is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.
Simple Proof
On a square grid start with a single square. Add a layer of squares around it so that it becomes a 3x3 square. Each square you add will touch at most 3 other squares, so will only require at most 4 colors to map it. Add layer after layer to infinity, similarly the criterion for 4 colors is met.
Is this what was said to be the proof?GuildCompounder (talk) 03:14, 15 December 2020 (UTC)[reply]
@GuildCompounder: Consider this ball. When you come to adding the last segment, it will touch five segments previously added. Does your method guarantee those five use no more than three colors? --CiaPan (talk) 15:47, 2 March 2021 (UTC)[reply]
The four color theorem only applies to planar maps/graphs. It's well-known (and discussed in the article) that other topologies can need more colors. I don't see the relevance to this section. --mfb (talk) 04:18, 3 March 2021 (UTC)[reply]
Sphere is equivalent to plane, actually. But McKay's original reply is correct -- building from layers of squares doesn't deal with any of the interesting maps. (And of course the observation that it sat unsolved for a century, and then required computer assistance, should be a good indication that any "simple" proof attempt is quite likely to be wrong!) Joule36e5 (talk) 05:47, 3 March 2021 (UTC)[reply]
A map of the ball's surface
@Mfb: Yes, other topologies can need more colors. But this is the same topology. If you exclude any point of a sphere (which may be an interior point of any "country" region, hence meaningless in map coloring), then the rest of the sphere is homeomorphic with a plane (see the Stereographic projection for an example of a continuous bijection between a punctured sphere and a plane), so any result of coloring a map on a sphere applies verbatim to a plane and vice versa. --CiaPan (talk) 10:46, 3 March 2021 (UTC)[reply]
@Mfb: I have added a planar map corresponding to the ball's surface structure. Hopefully it makes it clear how the 'planar' theorem applies to the ball. --CiaPan (talk) 18:54, 3 March 2021 (UTC)[reply]
So look closer. Can you apply the proposed algorithm to the ball? Can you color it the way described? If not, then the reasoning does not guarantee this particular map can be properly filled with four colors, hence it's not a proof of the theorem (as the theorem applies to all planar maps, to this particular one among them). --CiaPan (talk) 07:06, 4 March 2021 (UTC)[reply]
Of course you cannot, but why use a ball? The first reply already pointed out that the algorithm only works for specific maps - without needing to introduce a ball. --mfb (talk) 10:48, 5 March 2021 (UTC)[reply]
Nope, the first reply pointed out that User:GuildCompounderapplied the algorithm to a specific map, but User:McKay did not prove "that the algorithm only works for specific maps", i.e. the algorithm can't be applied to other kinds of maps. And it actually can, for example it works perfectly well also for hexagonal tiling, and for rhombitrihexagonal tiling, too. So I gave the ball as an example of another simple map, so OP can explain how their method applies to it, or try to strengthen their intended 'proof' by expanding the presented method so that it handles the ball, too. --CiaPan (talk) 18:37, 6 March 2021 (UTC)[reply]
It recently occurred to me that layers can be added inwards instead of outwards. Start for example with a 9x9 layer, add a 7x7...3x3. All the squares in the layers touch at most 3 other squares making them 4 colorable. The exception is the 1x1 centre square which touches 4 squares. However, if opposite sides of the centre square touch each other, that would separate the other opposite sides of the centre square which could then be the same colour. That is why what works out for the 2 dimensional map does not work for the 3 dimensional map (which has no limit to the number of colours required).GuildCompounder (talk) 17:59, 13 March 2021 (UTC)[reply]
Doesn't work, either. Assume two-'layers' honey-comb pattern. The central piece touches six outer pieces. No part of your proposal guarantees those six use three colors only. And if they use more, you can't color the central one. --CiaPan (talk) 21:13, 13 March 2021 (UTC)[reply]
While interesting, this discussion does not really conform to the purpose of a talk page, which is confined to discussions of how to improve the article. Paul August☎12:25, 14 March 2021 (UTC)[reply]
THe "opposites cutoff" theorem I mentioned above is valid for convex objects like spheres and cylinders, but is blown for toroids. We can visualize 6 colours for the toroid by applying a diagonal slash through the failed theorem rectangle. Then delete the original 5 colour region allowing a 2 colour loop to touch in 2 places when it only needs 1 connection. This allows a gap at the far end of the loop. Now the 3 five colour regions all touch each other, requiring 7 colours. GuildCompounder (talk) 20:43, 15 March 2021 (UTC)[reply]
