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

Commit Graph

  • 9bf4deac74 Prove intertwining-tree ⟺ Hamiltonian-dual; test the 6 Holton-McKay duals didericis 2026-05-21 20:59:13 -04:00
  • d7e83a45ac Extend disjunction-conjecture empirical table to n=12 didericis 2026-05-21 18:06:29 -04:00
  • c947ce75ff Add Even Level Graph Generators paper + extend Level Switching reachability didericis 2026-05-21 16:44:39 -04:00
  • 082ee31966 Add stress test and v_c rotation algorithm scaffolding didericis 2026-05-21 13:34:36 -04:00
  • 77093cb0b0 Extend Level Switching paper with d>=2 preprocessing analysis didericis 2026-05-20 23:20:06 -04:00
  • 7183dc1b67 Add Level Switching paper with surface-switch framework didericis 2026-05-20 23:08:22 -04:00
  • e8b2e47e44 Add contraction-lift proof-strategy sketch toward Conjecture 5.7 didericis 2026-05-20 13:47:38 -04:00
  • 81a9e1fef3 Extend algorithm to even faces, add simple-level-resolution conjecture didericis 2026-05-20 13:41:20 -04:00
  • db245eecea Prove outerplanarity and draft edge-flip resolution algorithm didericis 2026-05-20 01:20:27 -04:00
  • bd9c46d3e4 Add level resolutions of maximal planar graphs paper didericis 2026-05-19 23:35:01 -04:00
  • 5b0a5b290a Add labelled sequencing example figure didericis 2026-05-19 23:26:36 -04:00
  • 41bbe40c32 Frame the 4-coloring motivation and add an online greedy check didericis 2026-05-15 03:05:44 -04:00
  • dbb1cbcfe5 Implement quadrilateral sequencing on the extended deep embedding didericis 2026-05-15 02:44:48 -04:00
  • 83914a6a20 Draft quadrilateral sequencing section didericis 2026-05-15 02:04:21 -04:00
  • eb7e532382 Add Kempe-locked colored edge flip class survey script didericis 2026-05-14 15:47:20 -04:00
  • 53a9192f65 Drop flip-symmetry framing didericis 2026-05-14 03:22:33 -04:00
  • c2e909d5b2 Draft abstract and keywords didericis 2026-05-14 03:20:18 -04:00
  • 151f379384 Lead motivation with the flip-neighborhood claim, not flip-symmetry didericis 2026-05-14 03:19:21 -04:00
  • a856c628f2 Rename section 4: the section's content is the flip neighborhood didericis 2026-05-14 03:17:45 -04:00
  • 31dd217863 Justify non-triangulated step in Lemma 4.2 contraction proof didericis 2026-05-14 03:17:03 -04:00
  • 30f137aa06 Introduce flip neighborhood and contradiction target Thm 4.5 didericis 2026-05-14 03:15:12 -04:00
  • c59d2e95e1 Refocus paper on colored edge flip classes; drop frequency census didericis 2026-05-14 02:03:17 -04:00
  • 389fd56f07 Drop edge-deletion sections from flip-symmetry paper didericis 2026-05-14 00:55:23 -04:00
  • 6c7bd9e0db Add Kempe-chain structure of 4-colorings of edge-deletion subgraphs didericis 2026-05-14 00:31:40 -04:00
  • f6144b98b5 Add edge-deletion subgraph 4-colorability for a minimal counterexample didericis 2026-05-14 00:27:11 -04:00
  • bd409585ba Frame flip-asymmetry as first of further necessary properties didericis 2026-05-14 00:18:34 -04:00
  • 076137baaa Add min-degree-5 flip-symmetry census through n=26 didericis 2026-05-14 00:12:45 -04:00
  • 1749f702cf Add flip-symmetry paper with empirical density census through n=14 didericis 2026-05-13 23:56:38 -04:00
  • 256cbbf90a Complete n=28 census: 4 counterexamples among 1,204,737 min-deg-5 triangulations didericis 2026-05-09 16:16:58 -04:00
  • 4f2a703c12 Refute min-degree-5 plane diamond coloring conjecture at order 28 didericis 2026-05-09 15:45:51 -04:00
  • a0fc10f2fa Add Motivation section and restore diamond scaffold definition didericis 2026-05-09 13:50:43 -04:00
  • ad88a2a4c7 Add min-degree-5 conjecture and computational verification search didericis 2026-05-09 13:18:10 -04:00
  • b5a9030b98 Define plane diamond coloring directly via parity-separation didericis 2026-05-09 13:04:46 -04:00
  • 88031c9d73 Replace counterexample with minimal n=13 graph found by exhaustive search didericis 2026-05-09 12:52:30 -04:00
  • 2ae729db1e Refute plane diamond coloring conjecture with 16-vertex counterexample didericis 2026-05-09 12:40:42 -04:00
  • 9e86122818 Add diamond coloring conjecture, parity-separation reformulation, and counterexample search didericis 2026-05-09 12:31:33 -04:00
  • b7777cb45e Add plane diamond coloring paper with 2-colorability theorem didericis 2026-05-09 11:52:07 -04:00
  • 48eee027e1 tweak init_paper command in run.sh didericis 2026-05-09 11:34:58 -04:00
  • 927f9b7adb Simplify d=0 case in outerplanar lemma proof didericis 2026-04-25 05:22:25 -04:00
  • 5605e035d3 Add outerplanar lemma with Baker citation and relate depth levels to k-outerplanar graphs didericis 2026-04-25 04:39:28 -04:00
  • 47d260b1b9 Add neutral triangle definition and use up/down/neutral triangle terms in lemma didericis 2026-04-25 04:15:36 -04:00
  • fe423dc7ba Add level edge definition to plane depth sequencing paper didericis 2026-04-25 04:08:33 -04:00
  • 9107a72e0c Plot graph to graph.png in canonize_and_save_graph after setting planar positions didericis 2026-04-25 03:20:43 -04:00
  • 9e3e525a5b Replace plane_depth_labelling with plane_depth_sequencing paper and script, remove unused lib modules didericis 2026-04-24 21:10:06 -04:00
  • 49f456e467 Move plot_to_data_uri to lib/colored_graphs and rename to plot_colored_graph_to_data_uri didericis 2026-04-24 11:18:23 -04:00
  • 07ad553568 Move Operation, op_to_transform_id, and operation_sequence_id to lib/operations didericis 2026-04-21 21:23:28 -04:00
  • b343a61149 Move paper directories into papers/ didericis 2026-04-21 21:19:16 -04:00
  • 00825eeb59 Add Python cache files to .gitignore didericis 2026-04-21 21:18:24 -04:00
  • 79afc929bc Rename colored_pentagon_reduction to contractions and add example script didericis 2026-04-21 21:17:42 -04:00
  • a094250cc8 Move canonize_colored_graph and save_colored_graph to lib/colored_graphs didericis 2026-04-21 21:15:04 -04:00
  • 6ebafba103 Rename Operation fields for clarity and grouping didericis 2026-04-21 21:09:41 -04:00
  • 2cf51ecbb5 Move outer_face and get_embedding_from_pos to lib/planar_embedding didericis 2026-04-21 21:04:17 -04:00
  • 03f92494f1 Move tutte_embedding to lib, add bash completion, and fix NixOS setup didericis 2026-04-21 21:02:22 -04:00
  • 52ba816a90 Add get_embedding_from_pos to derive combinatorial embedding from vertex positions didericis 2026-04-21 12:42:10 -04:00
  • 92db9a5513 Rename Step/Op to ReduceOperation and steps/step to op_sequence/op didericis 2026-04-21 12:27:59 -04:00
  • 357cd74bed Extract save_operation_sequence function from main script body didericis 2026-04-21 12:13:19 -04:00
  • 737db34109 Add outer_face and tutte_embedding for improved graph visualization didericis 2026-04-21 03:05:18 -04:00
  • 9e4d17bd50 Remove unused step param from reduce function didericis 2026-04-21 01:47:08 -04:00
  • a4d51a6cfc Refactor canonize_colored_graph to return new objects instead of mutating inputs didericis 2026-04-21 01:43:52 -04:00
  • 54b33a7003 Add operation tracking, graph saving, and markdown output for pentagon reduction didericis 2026-04-21 01:36:22 -04:00
  • 156f76c395 Move data output to root data/ symlink and gitignore generated files didericis 2026-04-20 18:43:26 -04:00
  • 5a4022c49c chore: SAVEPOINT didericis 2026-04-20 17:00:04 -04:00
  • 6d977f5e35 chore: SAVEPOINT didericis 2026-04-20 16:32:27 -04:00
  • 4728c0b62a chore: SAVEPOINT didericis 2026-04-17 21:46:57 -04:00
  • a33020ab67 Add kempe proof fixed didericis 2026-04-17 01:15:02 -04:00
  • 2478ce5bae Update setup command didericis 2026-04-17 00:54:42 -04:00
  • fc277760af Add sage code didericis 2026-04-15 20:23:44 -04:00
  • c2298339ce Reorganize papers didericis 2026-04-15 19:34:59 -04:00
  • c233616b9a Add run.sh script for creating new papers didericis 2026-04-15 19:34:22 -04:00
  • 76b8619bd3 chore: SAVEPOINT didericis 2026-04-15 19:15:03 -04:00
  • ada26b6801 chore: SAVEPOINT didericis 2026-04-13 11:01:31 -04:00
  • 3098347da2 Initial commit didericis 2026-04-12 22:23:55 -04:00