The four-color problem was first posed by Francis Guthrie in 1852. It remained unsolved for over a century. Although computer-assisted proofs emerged in last 50 years, they were somewhat the “machine-checkable proof”, which were hardly checked by human readers. In this paper, a novel method of rotation inspired by a rotation principle from Zhuan Falun book of Falun Dafa has been developed to prove the Four Color Theorem.
Cite as: Weiguo Xie. A Novel Method to Prove the Four Color Theorem. Authorea. October 04, 2022.
https://doi.org/10.22541/au.166490983.39190127/v1
Cite as: Weiguo Xie. A Systematic Rotation Method to Color the Historic Heawood Map by Four Colors. Authorea. November 24, 2022.
https://doi.org/10.22541/au.166931559.90016969/v1
Cite as: Weiguo Xie, Andrew Bowling, . To Color the Errera Map and its Variations Using Four Colors. Authorea, https://doi.org/10.22541/au.168787001.11288089/v1. (2023).
Cite as: Andrew Bowling, Weiguo Xie, Zonal labelings and Tait colorings from a new perspective, Aequationes mathematicae (2024). https://doi.org/10.1007/s00010-024-01037-5
Briggs, C., Watanabe, T., Seto, S., Xie, W., Bowling, A., Hirano, Y., Beachy, J., Kamiya, N., Weintraub, S., Proceedings of Ninth Annual Exchange of Mathematical Ideas (ASIN: B0CQWKB7R6). Publication date: December 23, 2023.
Cite as: Weiguo Xie. To Color the Historic Heawood Map with Four Colors Using a Systematic Rotation Method, In 54th Southeastern International Conference on Combinatorics, Graph Theory & Computing (2023).
https://www.math.fau.edu/combinatorics/abstracts/xie-w54.pdf
Cite as: Weiguo Xie, Andrew Bowling, An Effective Rotational Algorithm for Coloring Planar Graphs, In 1st International Mathematics Conclave (2023).
Cite as: Weiguo Xie, Andrew Bowling, Rotation Operation on the Errera Map and its Variations – Idea I, In EMI (Exchange of Mathematical Ideas) 2023 Conference, the University of Northern Iowa, August 11-13, (2023).
Cite as: Weiguo Xie, Andrew Bowling, Rotation Operation on the Errera Map and its Variations – Idea II, In EMI (Exchange of Mathematical Ideas) 2023 Conference, the University of Northern Iowa, August 11-13, (2023).
Cite as: Weiguo Xie, Andrew Bowling, A Novel Systematic Rotation Method to Color Planar Graphs, In The Kyoto University Research Institute for Mathematical Science (RIMS) workshop “Group, Algebra, Language and Related Areas in Computer Science” (2024).
Cite as: Weiguo Xie, Andrew Bowling, Novel Systematic Rotational Algorithms for Coloring Planar Graphs, In West Kobe Mathematics Seminar Workshop on Algebras, Geometries and Graphs, Kobe Economics and Business Campus, University of Hyogo (2024).
Cite as: Weiguo Xie, Andrew Bowling, An Enhanced Systematic Rotation Method for Coloring Plane Graphs, In 55th Southeastern International Conference on Combinatorics, Graph Theory & Computing (2024).
Cite as: Andrew Bowling, Weiguo Xie, Coloring, Cozonal Labelings, and Kempe Chains, In 55th Southeastern International Conference on Combinatorics, Graph Theory & Computing (2024).
Cite as: Weiguo Xie, Andrew Bowling, A Deterministic Rotation Method for Coloring Plane Graphs, In 30th British Combinatorial Conference (2024).
Cite as: Weiguo Xie, Andrew Bowling, Four Coloring Plane Graphs Using a Deterministic Algorithmic Approach, In MATHFEST, Indianapolis, Indiana (2024).
Cite as: Andrew Bowling, Weiguo Xie, The Four Color Theorem from a Labeling Perspective, In MATHFEST, Indianapolis, Indiana (2024).
Cite as: Weiguo Xie, Andrew Bowling, A Deterministic Rotation Method to Color Planar Graphs, In EMI (Exchange of Mathematical Ideas) 2024 Conference, the Embry-Riddle Aeronautical University - Prescott, Arizona (2024).
Video of the Seminar at Swenson College of Science and Engineering, University of Minnesota Duluth on October 6, 2022
PowerPoint presentation file: For the Truth of Science - My Journey on the Four Color Theorem
PowerPoint presentation file at the 54th Southeastern International Conference on Combinatorics, Graph Theory & Computing (2023): To Color the Historic Heawood Map with Four Colors Using a Systematic Rotation Method