Smith-normal-form Cayley positional encoding / results.json

✓✓ Beats tuned baseline

Raw ⬇ ZIP
 1[
 2  {
 3    "name": "C5",
 4    "vertices": 5,
 5    "edges": 5,
 6    "classes": 5,
 7    "cycle_rank": 1,
 8    "snf_torsion": [],
 9    "free_rank": 4,
10    "path_checks": 1,
11    "path_failures": 0,
12    "edge_checks": 5,
13    "edge_failures": 0,
14    "raw_dim": 5,
15    "quotient_dim": 4,
16    "compression_ratio": 1.25
17  },
18  {
19    "name": "C6",
20    "vertices": 6,
21    "edges": 6,
22    "classes": 3,
23    "cycle_rank": 1,
24    "snf_torsion": [
25      2
26    ],
27    "free_rank": 2,
28    "path_checks": 1,
29    "path_failures": 0,
30    "edge_checks": 6,
31    "edge_failures": 0,
32    "raw_dim": 3,
33    "quotient_dim": 3,
34    "compression_ratio": 1.0
35  },
36  {
37    "name": "Torus3",
38    "vertices": 9,
39    "edges": 18,
40    "classes": 1,
41    "cycle_rank": 10,
42    "snf_torsion": [
43      3
44    ],
45    "free_rank": 0,
46    "path_checks": 10,
47    "path_failures": 0,
48    "edge_checks": 18,
49    "edge_failures": 0,
50    "raw_dim": 1,
51    "quotient_dim": 1,
52    "compression_ratio": 1.0
53  },
54  {
55    "name": "Petersen",
56    "vertices": 10,
57    "edges": 15,
58    "classes": 5,
59    "cycle_rank": 6,
60    "snf_torsion": [
61      2,
62      2,
63      2,
64      2
65    ],
66    "free_rank": 0,
67    "path_checks": 6,
68    "path_failures": 0,
69    "edge_checks": 15,
70    "edge_failures": 0,
71    "raw_dim": 5,
72    "quotient_dim": 4,
73    "compression_ratio": 1.25
74  }
75]