Commit Graph

Select branches

Hide Pull Requests

master

split-medial-pigeonhole-programme

Mono Color

• f0fdae11d4 Add 2+2 color-split outerplanar survey and decomposition figure master didericis 2026-06-19 04:19:58 -04:00
• d9007c8697 Add bridge-derived census (n=6..10) to the disjunction section didericis 2026-06-19 02:27:49 -04:00
• b1d681f39e Add self-flip-neighbor survey and write-up didericis 2026-06-19 00:59:44 -04:00
• f54b66f857 Add double-contraction reductio strategy note didericis 2026-06-18 23:43:45 -04:00
• 5552e07803 Add force-first Heawood labelling to the medial tire dual-cut experiment didericis 2026-06-17 21:43:21 -04:00
• 163e453464 Reframe the constraint floor honestly as a conjecture didericis 2026-06-17 21:32:57 -04:00
• c482bc5633 Option 2 (direct transversal) clean form is dead too didericis 2026-06-17 21:13:35 -04:00
• c4339624ce Strategy A localization fails: local star-vs-fan domination is false didericis 2026-06-17 21:09:58 -04:00
• d7c93cf2c2 Test induction strategy for the irreducible lemma didericis 2026-06-17 20:35:49 -04:00
• 411ff7f465 Add the lower-bound proof programme to the note didericis 2026-06-17 20:27:36 -04:00
• 24a3d89d88 Pin the extremal irreducible disk (correcting the wheel claim) didericis 2026-06-17 20:14:52 -04:00
• bd8499a25b Isolate the irreducible case: reduces the floor proof to one lemma didericis 2026-06-17 20:08:00 -04:00
• 9f6328788c Test monotonicity lemma: degree-3 exact, but lemma is false at degree-4 didericis 2026-06-17 19:58:59 -04:00
• 1d981b4d01 Add the freedom-positive counting balance to the constraint floor didericis 2026-06-17 02:24:04 -04:00
• b70ea2c087 Back the 2^(n-2) floor with validated diverse-disk search didericis 2026-06-17 02:22:41 -04:00
• d2156f06ee Scaffold the 2^(n-2) constraint-floor proposition didericis 2026-06-17 02:14:52 -04:00
• 60c9f1d3a8 Add Heawood boundary-restriction experiments and findings note didericis 2026-06-17 02:12:54 -04:00
• 351ae0cdfe Account for the outer face in the Heawood face-sum identity didericis 2026-06-17 01:33:07 -04:00
• c5f81842c7 Run Heawood pigeonhole between nested connected tire clusters didericis 2026-06-17 01:10:30 -04:00
• 646cf9d12f Add connected tire clusters with two-cluster-per-vertex proposition didericis 2026-06-17 01:03:37 -04:00
• 251c453437 Add Heawood chain-pigeonhole programme to tire-dual paper didericis 2026-06-17 00:45:03 -04:00
• 851ca7fbed Scaffold Heawood restrictions on nested tire graph duals paper didericis 2026-06-17 00:31:48 -04:00
• af60c3b241 Draw source-dual cut on a valid straight-line embedding didericis 2026-06-16 03:59:22 -04:00
• 4ba9ce47d1 Add walk-distance labelling to source-dual cut didericis 2026-06-16 03:42:08 -04:00
• 696a6b3104 Add second full medial tire cut walk (seed 2) didericis 2026-06-15 21:56:30 -04:00
• 1e8bee04ce Handle compound medial tires in cut labelling didericis 2026-06-15 21:46:56 -04:00
• 37a7ff0b00 Update medial tire cut labelling didericis 2026-06-15 20:54:25 -04:00
• 9ef231655e Draw compound medial tires as separated cycles didericis 2026-06-15 16:42:37 -04:00
• d541aea526 Move medial tire drawing script into lib didericis 2026-06-15 16:25:33 -04:00
• 2a56322841 Define simple and compound medial tires didericis 2026-06-15 16:14:50 -04:00
• 51c9efa7f2 Stop splitting random medial treads into components didericis 2026-06-15 14:41:41 -04:00
• 464335082d Augment same-level faces before medial tire extraction didericis 2026-06-15 14:35:13 -04:00
• 5829938ab0 Add branching medial tire decomposition example didericis 2026-06-15 14:18:47 -04:00
• f537db9758 Draw random medial tire decompositions didericis 2026-06-15 14:11:27 -04:00
• 6ef1dc710c Extract medial tire decomposition helpers didericis 2026-06-15 14:05:17 -04:00
• b605931678 Treat each disjoint annular cycle as its own full medial tire graph didericis 2026-06-15 12:01:36 -04:00
• 7554582056 Draw tread 0 (the source cap) in the dual-cut experiment didericis 2026-06-15 11:06:49 -04:00
• 192d97a31d Regenerate funcD seed7 figures with the apex-cut model didericis 2026-06-15 10:52:28 -04:00
• 4e92dde36e Cut up-tooth apexes (except entry teeth) in the dual-cut experiment didericis 2026-06-15 10:50:56 -04:00
• 0a3d7b2615 Draw each full medial tire cut from the dual-cut experiment didericis 2026-06-15 10:37:42 -04:00
• 367b5adc71 Add source-dual cut experiment with chained entry points didericis 2026-06-15 10:33:15 -04:00
• 94d59ceaed Relabel medial comparison plots by walk depth didericis 2026-06-15 02:11:27 -04:00
• 24af5485d2 Add medial cut comparison plots didericis 2026-06-15 01:47:23 -04:00
• ea1ab0b986 Add source cap cut to medial tire figures didericis 2026-06-15 01:11:04 -04:00
• c64c720e5a Draw the whole medial graph with all tire cuts didericis 2026-06-15 00:07:00 -04:00
• 9d7cb7644e Draw a medial tire cut from a random n=20 graph didericis 2026-06-14 23:55:00 -04:00
• a22ca4b888 Add medial tire cut experiment and chaining section didericis 2026-06-14 23:46:49 -04:00
• b4ddc7da8b Add walk-depth labelling/cut script and worked example didericis 2026-06-14 22:00:52 -04:00
• 291f7e98c7 Add Medial Tire Cuts paper with walk-depth labelling and cut didericis 2026-06-14 21:39:03 -04:00
• d3fc4bfc4c Split medial pigeonhole programme into its own paper split-medial-pigeonhole-programme didericis 2026-06-14 21:08:06 -04:00
• b2439e4bac Walkthrough: show only the medial graph in panels C and D didericis 2026-06-13 00:20:25 -04:00
• 20e2cc94b4 Fix walkthrough figure to use verified planar embeddings didericis 2026-06-13 00:16:03 -04:00
• e7e8536559 Draw the minimal failing graph with a verified planar embedding didericis 2026-06-13 00:09:42 -04:00
• faf9e01139 Enumerate colour/tread phase over the residue graphs didericis 2026-06-13 00:03:49 -04:00
• 9d296eb9c8 Add worked walkthrough; factor explicit phase/colorder colouring didericis 2026-06-12 23:44:29 -04:00
• 2ff712b994 Sweep all diamond insertion sites; report first-match vs full sweep didericis 2026-06-12 23:08:17 -04:00
• c6e2c3e1a5 Add even-level-cycle colouring program harness didericis 2026-06-12 22:36:15 -04:00
• d547076cba Verify chain-pigeonhole exhaustively for n<=14 via R_T composition fixpoint didericis 2026-06-12 02:34:27 -04:00
• 28d3d55b92 Refute the regular uniform seam family at n=15 didericis 2026-06-12 01:57:13 -04:00
• 8b47af6036 n=14 branching case feasible with one regular uniform seam family didericis 2026-06-12 00:54:48 -04:00
• 2b016bc1ca Find smallest n admitting branching tiles (n=11 unrestricted, n=14 no-tri) didericis 2026-06-12 00:31:19 -04:00
• bacbdaaf26 No-separating-triangle restriction removes the chained-seam obstruction didericis 2026-06-12 00:21:26 -04:00
• 1aa76a5226 Plot the n=12 size-7 universal breaker tile didericis 2026-06-11 23:51:36 -04:00
• a724a50344 Track odd-size universal trend; the n=12 failure is sporadic, not a trend didericis 2026-06-11 23:40:48 -04:00
• b1100b41d9 Add chained-seam findings note (medial pigeonhole) didericis 2026-06-11 23:22:27 -04:00
• b656b6aed3 Add transfer-relation & uniform-family probes (chained-seam / pigeonhole) didericis 2026-06-11 23:16:27 -04:00
• aecbc5ed28 Add tile-overlap probe: per-tile interface subsets always glue didericis 2026-06-11 22:52:38 -04:00
• c56da7bb23 Add interface-admissibility probe; confirm parity characterization at n=12 didericis 2026-06-11 22:47:46 -04:00
• d094a310d8 Read up/down apex sequences off the un-deduped census didericis 2026-06-11 22:25:44 -04:00
• d8b5975f81 Add inner-face down-apex colour-sequence experiment (n=9 sweep) didericis 2026-06-11 21:19:35 -04:00
• d93e8d137a Add up-tooth apex colour-sequence experiment over n=9 up-teeth sweep didericis 2026-06-11 21:04:59 -04:00
• a4b3a6fb50 Draw per-graph Realized/Unrealized/Invalid colouring notes didericis 2026-06-11 17:58:41 -04:00
• dacef25cbb Add Realized/Unrealized/Invalid tire-colouring analysis didericis 2026-06-11 17:36:34 -04:00
• cf035243f6 Verify Remark 5.8 on genuine bite treads didericis 2026-06-11 16:46:53 -04:00
• 5bed8b4dfb Verify Remark 5.8 mechanism; correct it to level-cycle conservation didericis 2026-06-11 16:33:00 -04:00
• 79cbca8e00 Add Kempe-balanced colouring definition and validity classifier didericis 2026-06-11 16:00:10 -04:00
• 8cc94fb6b9 Add full medial tire graph generator and n=9 atlas didericis 2026-06-11 12:23:57 -04:00
• 4062e87c61 Add figures, Kempe-cycle section, and restriction experiments didericis 2026-06-11 01:16:05 -04:00
• 20fe6c24ca Add medial tire decomposition paper didericis 2026-06-08 15:34:53 -04:00
• 6400fdfc5e Move tire coloring transfer to restrictions paper didericis 2026-06-08 15:09:58 -04:00
• c27ad69024 Remove Codex hook configuration didericis 2026-06-08 15:01:36 -04:00
• 3910bc9fb7 Split three-colour restrictions into separate paper didericis 2026-06-08 14:56:13 -04:00
• d83703abd0 Add medial tire graph definition and color bound didericis 2026-06-08 14:44:35 -04:00
• a00bc70fec Add tire Kempe and D-reducibility experiments didericis 2026-06-08 14:24:32 -04:00
• 35d226f8f8 Add related-work section, refute floor-containment conjecture didericis 2026-06-03 00:09:58 -04:00
• 57f5c2839a Canonicalize tire symmetry and exhaust n=6 level-cycle supports didericis 2026-06-02 10:28:30 -04:00
• b175f0ab59 Refute inner-boundary conjecture with n=14 counterexample didericis 2026-06-01 21:57:05 -04:00
• 59410747ea Test inner-boundary conjecture on Holton-McKay duals didericis 2026-06-01 20:56:19 -04:00
• 88c74efd28 Add tire inner-boundary three-colour conjecture didericis 2026-06-01 15:29:34 -04:00
• 31186a1f8c Remove source check count from table didericis 2026-06-01 13:34:49 -04:00
• fdab1e2e33 Simplify level-cycle search table didericis 2026-06-01 13:33:29 -04:00
• 7e684e41a0 Add planar counterexample figure didericis 2026-06-01 13:10:45 -04:00
• 15fc7c3b8f Record level-cycle coloring conjectures didericis 2026-06-01 02:02:04 -04:00
• f71852efd2 Add tire chromatic transfer content didericis 2026-06-01 01:43:06 -04:00
• 236a3f8288 Add level-cycle coloring conjecture didericis 2026-06-01 01:41:11 -04:00
• 2bbd863643 coloring_nested_tire_graphs: rename induced tire graph C -> T_{C'} didericis 2026-06-01 00:18:04 -04:00
• 92f5efc3f1 coloring_nested_tire_graphs: notation cleanup pass didericis 2026-05-29 23:38:12 -04:00
• 454c79b289 README: refresh papers index didericis 2026-05-27 23:21:57 -04:00
• 4810121ec4 coloring_nested_tire_graphs: cycle sources, tire-tree decomposition, seam lemma didericis 2026-05-27 23:21:50 -04:00
• bfa8b8956d coloring_nested_tire_graphs: drop the universal-nesting block didericis 2026-05-27 04:39:49 -04:00