Jason (jcreed) wrote,

A comment on r6's post over here got me reading Wikipedia a bit about the four-color theorem. Snarks and Planarity Criteria and Finite Minimal Obstruction Sets, oh my. Also there is an equivalent characterization of 4CT that I find remarkable, due to this guy. I may have read this in the past somewhere in John Baez's notes, but it's worth repeating:

Theorem (Kauffmann, 1990): Observe that the cross product of vectors in R^3 is not associative. However, for any two parenthesizations of the product of variables A1, ... , An, for instance (A1 x A2) x (A3 x A4) and A1 x ((A2 x A3) x A4), there is some assignment of the positive unit vectors {i,j,k} to the variables A1...An so that the two products are equal and nonzero.

Only known proof: by reduction from 4CT

Also: if you can prove this theorem simply, it would give a simple proof of 4CT

Tags: four color theorem, math

  • (no subject)

    More things to add to the "chord progressions that aren't cliches-I-already-know-about nonetheless covertly appearing in multiple places" file.…

  • (no subject)

    Consider the chord motion in Lights's "Cactus In The Valley" that happens around 49s in: v link goes here | F G C C | F G C C | F G Am D7 | F G…

  • (no subject)

    Cute little synth widget playground: https://blokdust.com/

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded