didericis

didericis pushed to master at didericis/math-research

2026-06-19 01:02:29 -04:00

b1d681f39e Add self-flip-neighbor survey and write-up

f54b66f857 Add double-contraction reductio strategy note

5552e07803 Add force-first Heawood labelling to the medial tire dual-cut experiment

163e453464 Reframe the constraint floor honestly as a conjecture

c482bc5633 Option 2 (direct transversal) clean form is dead too

Compare 47 commits »

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-19 00:59:50 -04:00

b1d681f39e Add self-flip-neighbor survey and write-up

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-18 23:43:52 -04:00

f54b66f857 Add double-contraction reductio strategy note

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 21:43:24 -04:00

5552e07803 Add force-first Heawood labelling to the medial tire dual-cut experiment

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 21:33:01 -04:00

163e453464 Reframe the constraint floor honestly as a conjecture

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 21:13:37 -04:00

c482bc5633 Option 2 (direct transversal) clean form is dead too

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 21:10:02 -04:00

c4339624ce Strategy A localization fails: local star-vs-fan domination is false

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 20:35:54 -04:00

d7c93cf2c2 Test induction strategy for the irreducible lemma

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 20:27:40 -04:00

411ff7f465 Add the lower-bound proof programme to the note

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 20:14:54 -04:00

24a3d89d88 Pin the extremal irreducible disk (correcting the wheel claim)

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 20:08:03 -04:00

bd8499a25b Isolate the irreducible case: reduces the floor proof to one lemma

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 19:59:04 -04:00

9f6328788c Test monotonicity lemma: degree-3 exact, but lemma is false at degree-4

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 02:24:07 -04:00

1d981b4d01 Add the freedom-positive counting balance to the constraint floor

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 02:22:44 -04:00

b70ea2c087 Back the 2^(n-2) floor with validated diverse-disk search

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 02:14:55 -04:00

d2156f06ee Scaffold the 2^(n-2) constraint-floor proposition

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 02:12:58 -04:00

60c9f1d3a8 Add Heawood boundary-restriction experiments and findings note

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 01:33:10 -04:00

351ae0cdfe Account for the outer face in the Heawood face-sum identity

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 01:10:34 -04:00

c5f81842c7 Run Heawood pigeonhole between nested connected tire clusters

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 01:03:41 -04:00

646cf9d12f Add connected tire clusters with two-cluster-per-vertex proposition

didericis pushed to add-medial-tire-cuts at didericis/math-research

2026-06-17 00:45:07 -04:00

251c453437 Add Heawood chain-pigeonhole programme to tire-dual paper