didericis/math-research
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 35218f2191 coloring_nested_tire_graphs: state Tait correspondence on partial tire dual; cite Tait 1880 didericis 2026-05-25 18:48:10 -04:00
  • e212ada649 coloring_nested_tire_graphs: add figure of partial tire dual didericis 2026-05-25 18:37:19 -04:00
  • e4216ec7a2 coloring_nested_tire_graphs: add Definition 1.7 (Partial tire dual) + structure proposition didericis 2026-05-25 18:00:05 -04:00
  • c2961b1833 coloring_nested_tire_graphs: prove no level-d pinches (Prop 1.7) didericis 2026-05-25 17:04:13 -04:00
  • 78afa9aeeb coloring_nested_tire_graphs: drop (R1) — empirically all "pinches" are cut-vertices of O, already accommodated didericis 2026-05-25 16:37:48 -04:00
  • 717c8cf5ea coloring_nested_tire_graphs: relax Def 1.5 to allow non-simple inner-boundary walks; drop (R2) didericis 2026-05-25 16:26:21 -04:00
  • 1ac80aa5cf coloring_nested_tire_graphs: simplify Lemma 1.7 by requiring S on the outer face didericis 2026-05-25 15:36:26 -04:00
  • 688b944f95 coloring_nested_tire_graphs: firm up Lemma 1.7 with explicit manifold/boundary hypotheses didericis 2026-05-25 15:31:59 -04:00
  • 47a87a4c2b plane_depth_sequencing: generalise Lemma 2.6 to arbitrary outer-face source; tighten the citation in coloring_nested_tire_graphs didericis 2026-05-25 15:24:08 -04:00
  • a61bdcfd69 coloring_nested_tire_graphs: prove Lemma 1.7 using Lemma 2.6 of plane_depth_sequencing didericis 2026-05-25 15:17:28 -04:00
  • b4fece08bc coloring_nested_tire_graphs: extend Def 1.5 with degenerate boundaries; add tire-component lemma + example figure didericis 2026-05-25 15:04:04 -04:00
  • c0e71e2d25 coloring_nested_tire_graphs: actually apply the title + tire definition edits didericis 2026-05-25 14:32:12 -04:00
  • 6ca0c6dd15 nested_level_duals → coloring_nested_tire_graphs: rename + retitle + tire definition didericis 2026-05-25 14:28:22 -04:00
  • 04dd72076b remove kempe_proof_fixed and kempe_style_search_for_smaller_contradiction didericis 2026-05-25 13:46:14 -04:00
  • 74030a5b8f face_mono: extend Conjecture 5.26 to n_G ≤ 22 didericis 2026-05-25 12:27:58 -04:00
  • d36c2513cc face_monochromatic_pairs: fix Conjecture 5.26 (strengthening) coverage claim didericis 2026-05-25 08:40:01 -04:00
  • 00229fa460 face_monochromatic_pairs: extend empirical results to n=21 didericis 2026-05-25 08:35:51 -04:00
  • 4ceae9c68a face_monochromatic_pairs: rename check_conj_3_8_scaled → check_conj_final_scaled; add n=21-24 test didericis 2026-05-25 08:01:29 -04:00
  • b20c8122da face_monochromatic_pairs: write final status summary in COMMENTARY.md didericis 2026-05-25 07:49:42 -04:00
  • 2d8c679691 face_monochromatic_pairs: investigate (|S|, # pent F_k) joint distribution didericis 2026-05-25 07:47:26 -04:00
  • e8d3d9e5d0 face_monochromatic_pairs: stronger structural regularity at |S|=8 didericis 2026-05-25 07:37:12 -04:00
  • b2aa14cefa face_monochromatic_pairs: write up strengthened Lemma for G'-pentagon fallback didericis 2026-05-25 07:23:31 -04:00
  • 85497c38f2 face_monochromatic_pairs: verify G'-pentagon fallback empirically on bad colourings didericis 2026-05-25 07:22:00 -04:00
  • 246b8914e7 face_monochromatic_pairs: refine S-cycle analysis; G'-pentagon fallback needs strengthening didericis 2026-05-25 06:57:20 -04:00
  • bc3b440f36 face_monochromatic_pairs: characterize S-vertices in bad colourings; refined pigeonhole didericis 2026-05-25 06:43:17 -04:00
  • 8451aee239 face_monochromatic_pairs: lessons from structural-proof attempts didericis 2026-05-25 06:17:24 -04:00
  • fd4b89a39e face_monochromatic_pairs: try winding-number approach (option 4) — does not yield contradiction didericis 2026-05-25 06:10:54 -04:00
  • 36be3e14cb face_monochromatic_pairs: sanity-check on G'-pentagon fallback — pigeonhole stops at |S|=1 didericis 2026-05-25 05:49:12 -04:00
  • 2f82f6e0bc face_monochromatic_pairs: add G'-pentagon fallback to close the gap empirically didericis 2026-05-25 05:32:23 -04:00
  • 873c2ccdbd face_monochromatic_pairs: retract n_i = 6 lemma as empirically false didericis 2026-05-25 05:10:48 -04:00
  • 07124b6c95 face_monochromatic_pairs: honest audit of partial proof — flag n_i = 6 gap didericis 2026-05-25 04:53:48 -04:00
  • b27b401eb1 face_monochromatic_pairs: extend structural proof of Conj 5.1 to cover the F_outer case didericis 2026-05-25 04:41:37 -04:00
  • 25cb109ab7 face_monochromatic_pairs: empirical check on flank-adjacent neighbour degrees didericis 2026-05-25 04:36:32 -04:00
  • d87b94d3b3 face_monochromatic_pairs: partial structural proof of Conjecture (Deciding face) didericis 2026-05-25 04:29:47 -04:00
  • d7e9b6af2f face_monochromatic_pairs: reduce Conj 5.1 to a "deciding face" conjecture didericis 2026-05-25 04:12:09 -04:00
  • 9103fa7068 face_monochromatic_pairs: confirm C28 counterexample to 5.5 does not lift to 5.1 didericis 2026-05-25 03:53:13 -04:00
  • 1305006b50 face_monochromatic_pairs: 28-vertex C28 fullerene is the smallest counterexample to Conj 5.5 (face-length ≥ 5 form) didericis 2026-05-25 03:44:41 -04:00
  • 10a53e9de1 face_monochromatic_pairs: strengthen Conj 5.5 to face-length ≥ 5, find 28-vertex counterexample didericis 2026-05-25 03:42:08 -04:00
  • 3aec31b3ac face_monochromatic_pairs: search for smallest cubic plane counterexample to Conjecture 5.5 didericis 2026-05-25 03:31:48 -04:00
  • 0d5aebbff7 face_monochromatic_pairs: record graph6 + invariants of Conj-5.5 counterexample; drop partial proof attempt didericis 2026-05-25 03:13:01 -04:00
  • 6eb85d220c face_monochromatic_pairs: fix Remark 5.6 formatting didericis 2026-05-25 02:58:16 -04:00
  • cc81b804db face_monochromatic_pairs: embed counterexample figure into paper didericis 2026-05-25 02:56:27 -04:00
  • 34141322ce face_monochromatic_pairs: explicit counterexample to Conjecture 5.5 didericis 2026-05-25 02:55:35 -04:00
  • d28896be12 face_monochromatic_pairs: demote Theorem 5.5 to a (disproved) Conjecture didericis 2026-05-25 02:21:13 -04:00
  • 626a837a06 face_monochromatic_pairs: Theorem 5.5 Step 4 closes Case A (lune face contradiction) didericis 2026-05-25 02:12:33 -04:00
  • a36271a2cf face_monochromatic_pairs: extend Theorem 5.5 proof attempt with Step 2 + Step 3 didericis 2026-05-25 02:00:23 -04:00
  • 43986f15db face_monochromatic_pairs: add Theorem 5.5 (constant Heawood on edge-sharing Kempe cycles is impossible) didericis 2026-05-25 01:23:37 -04:00
  • e5f9023d2b face_monochromatic_pairs: add COMMENTARY.md (proof-state summary) didericis 2026-05-25 00:57:50 -04:00
  • e6880371ff face_monochromatic_pairs: minimum-flip and minority-location diagnostics didericis 2026-05-25 00:53:55 -04:00
  • 33b51b675b face_monochromatic_pairs: per-cycle refinement + Corollary 5.4 didericis 2026-05-25 00:43:35 -04:00
  • a29d145cec face_monochromatic_pairs: cycle-side splits and shared-vertex transitions didericis 2026-05-25 00:32:07 -04:00
  • 703b523161 face_monochromatic_pairs: empirical near-proof of Conjecture 5.1 via Lemma 5.3 didericis 2026-05-25 00:21:52 -04:00
  • d659bf40d5 face_monochromatic_pairs: instrument K_b cap K_c size and per-cycle flip counts didericis 2026-05-25 00:00:08 -04:00
  • cebe6e5dbd face_monochromatic_pairs: confirm Lemma A biconditional empirically didericis 2026-05-24 23:54:20 -04:00
  • b72c38b8ce face_monochromatic_pairs: diagnostic scripts for Path 4 (Heawood constancy on V(K_b) U V(K_c)) didericis 2026-05-24 23:18:52 -04:00
  • cfc53dcbe2 face_monochromatic_pairs: add Lemma 5.3 (constancy on both Kempe cycles) didericis 2026-05-24 22:45:26 -04:00
  • 037d987c7d face_monochromatic_pairs: reframe Lemma 5.2 as a non-existence result didericis 2026-05-24 22:31:10 -04:00
  • d99f8e23b3 face_monochromatic_pairs: Heawood numbers, Lemma 5.2 + diagram didericis 2026-05-24 21:54:30 -04:00
  • 41227c6a0f papers: rename folders and retitle didericis 2026-05-24 15:04:15 -04:00
  • 3d1b1eb4a3 dual_decomposition: verify strengthened conjecture on 6 Holton-McKay duals didericis 2026-05-24 14:45:56 -04:00
  • 2158c54117 dual_decomposition: abstract + intro, rename to "edge suppression", bib didericis 2026-05-24 14:35:35 -04:00
  • b6f2ee8d6e dual_decomposition: extend strengthened conjecture table to n=20 didericis 2026-05-24 14:16:10 -04:00
  • 83e9dba8ac dual_decomposition: split iterated reduction into companion paper didericis 2026-05-24 14:07:08 -04:00
  • 440ec9cc86 dual_decomposition: move strengthened conjecture into Section 4 + 4CT implication didericis 2026-05-24 13:43:09 -04:00
  • 753af5ffae dual_decomposition: 4-edge-face criterion, Conj 3.8, cubic contraction theorem didericis 2026-05-24 13:28:15 -04:00
  • 464c524fa1 dual_decomposition: Conj 3.6 (face/Kempe witness) and constructive lift didericis 2026-05-24 11:27:50 -04:00
  • 03dcd7c2fa dual_decomposition: swap algorithm trace to n=14 + final-graph conjecture didericis 2026-05-23 13:20:32 -04:00
  • c987259c14 dual_decomposition: iterated-reduction algorithm + Kempe/chord-apex search didericis 2026-05-23 12:40:38 -04:00
  • 192ad33bd2 dual_decomposition: Kempe-cycle lemma through the spike didericis 2026-05-23 02:41:46 -04:00
  • 409dea565a dual_decomposition: chord-apex proof + diagrams didericis 2026-05-23 02:31:54 -04:00
  • 0303225f39 dual_decomposition: pentagonal externals lemma + edge naming didericis 2026-05-22 20:22:00 -04:00
  • 20f19f0869 even_level: extend to n=25 -- second internally-6-connected core, also bridge-derived didericis 2026-05-22 20:13:24 -04:00
  • 1791b68f4a dual_decomposition: reduced-dual definition, verification, and step figures didericis 2026-05-22 18:50:38 -04:00
  • bd8526eb11 dual_decomposition: trim to the minimal-counterexample section didericis 2026-05-22 18:28:32 -04:00
  • b2eb7ef3cb dual_decomposition: scaffold paper + fill in minimal-counterexample step didericis 2026-05-22 17:56:24 -04:00
  • 36ed7bac38 even_level: add "Toward a characterization of bridge-derived graphs" didericis 2026-05-22 17:41:13 -04:00
  • 435f055d82 nested_level_duals: scaffold paper (shelved for alternative approach) didericis 2026-05-22 17:36:11 -04:00
  • 09b91e889b even_level: title/abstract/intro -- frame conjecture as stronger than the 4CT didericis 2026-05-22 16:22:15 -04:00
  • b45c3d5510 even_level: extend conjecture test to the cyclically-5-connected case (n=24) didericis 2026-05-22 13:06:47 -04:00
  • 4693f63208 Add small-n ELG enumeration table to even_level_graph_generators didericis 2026-05-22 12:24:07 -04:00
  • 8fde9494d8 Add small-n ELG counting experiment (iso, rooted) didericis 2026-05-22 12:20:18 -04:00
  • dcb4316eca Add Tutte-dual bridge-derivability test; rebuild artifacts didericis 2026-05-22 12:09:13 -04:00
  • 9995972336 Add Holton-McKay (1988) reference paper to research/ didericis 2026-05-22 11:47:57 -04:00
  • 5675207ae0 Write abstract and introduction around the constructive 4-coloring motivation didericis 2026-05-22 11:34:07 -04:00
  • 9ff6c17bb7 Update LaTeX build artifacts didericis 2026-05-22 11:28:18 -04:00
  • 005cbba53b Remove the Empirical status subsection (small-n table) didericis 2026-05-22 11:27:55 -04:00
  • b86df526ec Keep only the resulting-duals figure at n=21 didericis 2026-05-22 11:26:11 -04:00
  • b3998fbdb3 Redraw n=21 witness figures as crossing-free planar graphs didericis 2026-05-22 11:23:36 -04:00
  • 7034f21ad8 Add diagrams of the six witness Even Level Graphs and their bridge switches didericis 2026-05-22 11:16:33 -04:00
  • 09400cf9ae Add per-dual summary table for the six Holton-McKay duals at n=21 didericis 2026-05-22 11:13:04 -04:00
  • 5f6a04571c Confirm duals 1,2 are Even Level Graphs outright; archive all six witnesses didericis 2026-05-22 11:11:25 -04:00
  • 6f0d036e44 Restate conjecture with "bridge-derived"; update empirical table and n=21 didericis 2026-05-22 11:05:04 -04:00
  • 0c13758a2e Save and verify explicit bridge-derived witnesses for the four duals didericis 2026-05-22 11:00:16 -04:00
  • 30f28a60d6 level_resolutions: add n=7 missing-isomorphism figures, rebuild PDF didericis 2026-05-22 10:54:07 -04:00
  • 984655fd3d Resolve n=21 boundary: all four open Holton-McKay duals are bridge-derived didericis 2026-05-22 10:50:13 -04:00
  • ad3f95fa39 Move root experiment scripts into their papers' experiments/ folders didericis 2026-05-22 10:40:39 -04:00
  • 1a71658349 Small-n bridge-derivability probe: classification + invariant search didericis 2026-05-22 10:03:04 -04:00
  • b3b7b8cf26 Optimize bridge-orbit engine (int-bitmask states, ~5x faster); measure feasibility didericis 2026-05-22 02:10:52 -04:00
  • 79bfd8e588 Update level_resolutions paper: extend to n=12, add exploratory experiments didericis 2026-05-22 00:45:45 -04:00
  • bb144f069e Add bridge switch / bridge-derived level graph; set up exhaustive test didericis 2026-05-22 00:09:19 -04:00