mirror of
https://github.com/allaunthefox/SilverSight.git
synced 2026-07-30 17:16:16 +00:00
4141597e89
Adds measured results from two CPU runs: 1. HN spectral database (run 019f2c52): Hoffman bound on 6 graphs. Tight for regular (path, cycle, complete), gap=1 for unit-distance (Moser spindle, Golomb graph). Pattern suggests spectral detection loses exactly 1 color for unit-distance graphs. 2. q-profile sweep (run 019f2d9c): Sweeps q = L₁/L₀ over coprime fractions. REFUTES the prediction that q < 1 (poloidal-dominated) is Sidon-favorable: q > 1 has 100% Sidon rate vs 40-60% for q < 1. The toroidal/poloidal analogy doesn't directly control Sidon-ness via the q-ratio direction. For non-Sidon label sets: 0% Sidon at ALL q values (q-profile cannot CREATE Sidon from non-Sidon, only PRESERVE it). All scripts, formal modules, and docs already committed to main. This commit adds the experiment artifact JSONs and EVALs.
1609 lines
31 KiB
JSON
1609 lines
31 KiB
JSON
{
|
|
"experiment": "crt_qprofile_sweep",
|
|
"timestamp": "2026-07-04T14:52:24Z",
|
|
"config": {
|
|
"L0_base": 7,
|
|
"max_q_num": 30,
|
|
"max_q_den": 20,
|
|
"label_sets": [
|
|
{
|
|
"name": "sidon_pow2",
|
|
"labels": [
|
|
1,
|
|
2,
|
|
4,
|
|
8,
|
|
16
|
|
],
|
|
"S": 32
|
|
},
|
|
{
|
|
"name": "sidon_singer5",
|
|
"labels": [
|
|
0,
|
|
1,
|
|
4,
|
|
14,
|
|
16
|
|
],
|
|
"S": 30
|
|
},
|
|
{
|
|
"name": "nonsidon_seq5",
|
|
"labels": [
|
|
0,
|
|
1,
|
|
2,
|
|
3,
|
|
4
|
|
],
|
|
"S": 5
|
|
}
|
|
]
|
|
},
|
|
"data": [
|
|
{
|
|
"q": "2/7",
|
|
"q_float": 0.2857142857142857,
|
|
"q_num": 2,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
2
|
|
],
|
|
"M": 14,
|
|
"L0": 7,
|
|
"L1": 2,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "3/7",
|
|
"q_float": 0.42857142857142855,
|
|
"q_num": 3,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
3
|
|
],
|
|
"M": 21,
|
|
"L0": 7,
|
|
"L1": 3,
|
|
"sidon_score": 0.933333,
|
|
"collisions": 1,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 14,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "4/7",
|
|
"q_float": 0.5714285714285714,
|
|
"q_num": 4,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
4
|
|
],
|
|
"M": 28,
|
|
"L0": 7,
|
|
"L1": 4,
|
|
"sidon_score": 0.933333,
|
|
"collisions": 1,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 14,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "5/7",
|
|
"q_float": 0.7142857142857143,
|
|
"q_num": 5,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
5
|
|
],
|
|
"M": 35,
|
|
"L0": 7,
|
|
"L1": 5,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "6/7",
|
|
"q_float": 0.8571428571428571,
|
|
"q_num": 6,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
6
|
|
],
|
|
"M": 42,
|
|
"L0": 7,
|
|
"L1": 6,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "8/7",
|
|
"q_float": 1.1428571428571428,
|
|
"q_num": 8,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
8
|
|
],
|
|
"M": 56,
|
|
"L0": 7,
|
|
"L1": 8,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "9/7",
|
|
"q_float": 1.2857142857142858,
|
|
"q_num": 9,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
9
|
|
],
|
|
"M": 63,
|
|
"L0": 7,
|
|
"L1": 9,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "10/7",
|
|
"q_float": 1.4285714285714286,
|
|
"q_num": 10,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
10
|
|
],
|
|
"M": 70,
|
|
"L0": 7,
|
|
"L1": 10,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "11/7",
|
|
"q_float": 1.5714285714285714,
|
|
"q_num": 11,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
11
|
|
],
|
|
"M": 77,
|
|
"L0": 7,
|
|
"L1": 11,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "12/7",
|
|
"q_float": 1.7142857142857142,
|
|
"q_num": 12,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
12
|
|
],
|
|
"M": 84,
|
|
"L0": 7,
|
|
"L1": 12,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "13/7",
|
|
"q_float": 1.8571428571428572,
|
|
"q_num": 13,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
13
|
|
],
|
|
"M": 91,
|
|
"L0": 7,
|
|
"L1": 13,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "15/7",
|
|
"q_float": 2.142857142857143,
|
|
"q_num": 15,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
15
|
|
],
|
|
"M": 105,
|
|
"L0": 7,
|
|
"L1": 15,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "16/7",
|
|
"q_float": 2.2857142857142856,
|
|
"q_num": 16,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
16
|
|
],
|
|
"M": 112,
|
|
"L0": 7,
|
|
"L1": 16,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "17/7",
|
|
"q_float": 2.4285714285714284,
|
|
"q_num": 17,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
17
|
|
],
|
|
"M": 119,
|
|
"L0": 7,
|
|
"L1": 17,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "18/7",
|
|
"q_float": 2.5714285714285716,
|
|
"q_num": 18,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
18
|
|
],
|
|
"M": 126,
|
|
"L0": 7,
|
|
"L1": 18,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "19/7",
|
|
"q_float": 2.7142857142857144,
|
|
"q_num": 19,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
19
|
|
],
|
|
"M": 133,
|
|
"L0": 7,
|
|
"L1": 19,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "20/7",
|
|
"q_float": 2.857142857142857,
|
|
"q_num": 20,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
20
|
|
],
|
|
"M": 140,
|
|
"L0": 7,
|
|
"L1": 20,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "22/7",
|
|
"q_float": 3.142857142857143,
|
|
"q_num": 22,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
22
|
|
],
|
|
"M": 154,
|
|
"L0": 7,
|
|
"L1": 22,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "23/7",
|
|
"q_float": 3.2857142857142856,
|
|
"q_num": 23,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
23
|
|
],
|
|
"M": 161,
|
|
"L0": 7,
|
|
"L1": 23,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "24/7",
|
|
"q_float": 3.4285714285714284,
|
|
"q_num": 24,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
24
|
|
],
|
|
"M": 168,
|
|
"L0": 7,
|
|
"L1": 24,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "25/7",
|
|
"q_float": 3.5714285714285716,
|
|
"q_num": 25,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
25
|
|
],
|
|
"M": 175,
|
|
"L0": 7,
|
|
"L1": 25,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "26/7",
|
|
"q_float": 3.7142857142857144,
|
|
"q_num": 26,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
26
|
|
],
|
|
"M": 182,
|
|
"L0": 7,
|
|
"L1": 26,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "27/7",
|
|
"q_float": 3.857142857142857,
|
|
"q_num": 27,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
27
|
|
],
|
|
"M": 189,
|
|
"L0": 7,
|
|
"L1": 27,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "29/7",
|
|
"q_float": 4.142857142857143,
|
|
"q_num": 29,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
29
|
|
],
|
|
"M": 203,
|
|
"L0": 7,
|
|
"L1": 29,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "30/7",
|
|
"q_float": 4.285714285714286,
|
|
"q_num": 30,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
30
|
|
],
|
|
"M": 210,
|
|
"L0": 7,
|
|
"L1": 30,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_pow2"
|
|
},
|
|
{
|
|
"q": "2/7",
|
|
"q_float": 0.2857142857142857,
|
|
"q_num": 2,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
2
|
|
],
|
|
"M": 14,
|
|
"L0": 7,
|
|
"L1": 2,
|
|
"sidon_score": 0.533333,
|
|
"collisions": 7,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 8,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "3/7",
|
|
"q_float": 0.42857142857142855,
|
|
"q_num": 3,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
3
|
|
],
|
|
"M": 21,
|
|
"L0": 7,
|
|
"L1": 3,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "4/7",
|
|
"q_float": 0.5714285714285714,
|
|
"q_num": 4,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
4
|
|
],
|
|
"M": 28,
|
|
"L0": 7,
|
|
"L1": 4,
|
|
"sidon_score": 0.8,
|
|
"collisions": 3,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 12,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "5/7",
|
|
"q_float": 0.7142857142857143,
|
|
"q_num": 5,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
5
|
|
],
|
|
"M": 35,
|
|
"L0": 7,
|
|
"L1": 5,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "6/7",
|
|
"q_float": 0.8571428571428571,
|
|
"q_num": 6,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
6
|
|
],
|
|
"M": 42,
|
|
"L0": 7,
|
|
"L1": 6,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "8/7",
|
|
"q_float": 1.1428571428571428,
|
|
"q_num": 8,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
8
|
|
],
|
|
"M": 56,
|
|
"L0": 7,
|
|
"L1": 8,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "9/7",
|
|
"q_float": 1.2857142857142858,
|
|
"q_num": 9,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
9
|
|
],
|
|
"M": 63,
|
|
"L0": 7,
|
|
"L1": 9,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "10/7",
|
|
"q_float": 1.4285714285714286,
|
|
"q_num": 10,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
10
|
|
],
|
|
"M": 70,
|
|
"L0": 7,
|
|
"L1": 10,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "11/7",
|
|
"q_float": 1.5714285714285714,
|
|
"q_num": 11,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
11
|
|
],
|
|
"M": 77,
|
|
"L0": 7,
|
|
"L1": 11,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "12/7",
|
|
"q_float": 1.7142857142857142,
|
|
"q_num": 12,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
12
|
|
],
|
|
"M": 84,
|
|
"L0": 7,
|
|
"L1": 12,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "13/7",
|
|
"q_float": 1.8571428571428572,
|
|
"q_num": 13,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
13
|
|
],
|
|
"M": 91,
|
|
"L0": 7,
|
|
"L1": 13,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "15/7",
|
|
"q_float": 2.142857142857143,
|
|
"q_num": 15,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
15
|
|
],
|
|
"M": 105,
|
|
"L0": 7,
|
|
"L1": 15,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "16/7",
|
|
"q_float": 2.2857142857142856,
|
|
"q_num": 16,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
16
|
|
],
|
|
"M": 112,
|
|
"L0": 7,
|
|
"L1": 16,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "17/7",
|
|
"q_float": 2.4285714285714284,
|
|
"q_num": 17,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
17
|
|
],
|
|
"M": 119,
|
|
"L0": 7,
|
|
"L1": 17,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "18/7",
|
|
"q_float": 2.5714285714285716,
|
|
"q_num": 18,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
18
|
|
],
|
|
"M": 126,
|
|
"L0": 7,
|
|
"L1": 18,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "19/7",
|
|
"q_float": 2.7142857142857144,
|
|
"q_num": 19,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
19
|
|
],
|
|
"M": 133,
|
|
"L0": 7,
|
|
"L1": 19,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "20/7",
|
|
"q_float": 2.857142857142857,
|
|
"q_num": 20,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
20
|
|
],
|
|
"M": 140,
|
|
"L0": 7,
|
|
"L1": 20,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "22/7",
|
|
"q_float": 3.142857142857143,
|
|
"q_num": 22,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
22
|
|
],
|
|
"M": 154,
|
|
"L0": 7,
|
|
"L1": 22,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "23/7",
|
|
"q_float": 3.2857142857142856,
|
|
"q_num": 23,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
23
|
|
],
|
|
"M": 161,
|
|
"L0": 7,
|
|
"L1": 23,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "24/7",
|
|
"q_float": 3.4285714285714284,
|
|
"q_num": 24,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
24
|
|
],
|
|
"M": 168,
|
|
"L0": 7,
|
|
"L1": 24,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "25/7",
|
|
"q_float": 3.5714285714285716,
|
|
"q_num": 25,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
25
|
|
],
|
|
"M": 175,
|
|
"L0": 7,
|
|
"L1": 25,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "26/7",
|
|
"q_float": 3.7142857142857144,
|
|
"q_num": 26,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
26
|
|
],
|
|
"M": 182,
|
|
"L0": 7,
|
|
"L1": 26,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "27/7",
|
|
"q_float": 3.857142857142857,
|
|
"q_num": 27,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
27
|
|
],
|
|
"M": 189,
|
|
"L0": 7,
|
|
"L1": 27,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "29/7",
|
|
"q_float": 4.142857142857143,
|
|
"q_num": 29,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
29
|
|
],
|
|
"M": 203,
|
|
"L0": 7,
|
|
"L1": 29,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "30/7",
|
|
"q_float": 4.285714285714286,
|
|
"q_num": 30,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
30
|
|
],
|
|
"M": 210,
|
|
"L0": 7,
|
|
"L1": 30,
|
|
"sidon_score": 1.0,
|
|
"collisions": 0,
|
|
"is_sidon": true,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 15,
|
|
"label_set": "sidon_singer5"
|
|
},
|
|
{
|
|
"q": "2/7",
|
|
"q_float": 0.2857142857142857,
|
|
"q_num": 2,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
2
|
|
],
|
|
"M": 14,
|
|
"L0": 7,
|
|
"L1": 2,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "3/7",
|
|
"q_float": 0.42857142857142855,
|
|
"q_num": 3,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
3
|
|
],
|
|
"M": 21,
|
|
"L0": 7,
|
|
"L1": 3,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "4/7",
|
|
"q_float": 0.5714285714285714,
|
|
"q_num": 4,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
4
|
|
],
|
|
"M": 28,
|
|
"L0": 7,
|
|
"L1": 4,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "5/7",
|
|
"q_float": 0.7142857142857143,
|
|
"q_num": 5,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
5
|
|
],
|
|
"M": 35,
|
|
"L0": 7,
|
|
"L1": 5,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "6/7",
|
|
"q_float": 0.8571428571428571,
|
|
"q_num": 6,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
6
|
|
],
|
|
"M": 42,
|
|
"L0": 7,
|
|
"L1": 6,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "8/7",
|
|
"q_float": 1.1428571428571428,
|
|
"q_num": 8,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
8
|
|
],
|
|
"M": 56,
|
|
"L0": 7,
|
|
"L1": 8,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "9/7",
|
|
"q_float": 1.2857142857142858,
|
|
"q_num": 9,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
9
|
|
],
|
|
"M": 63,
|
|
"L0": 7,
|
|
"L1": 9,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "10/7",
|
|
"q_float": 1.4285714285714286,
|
|
"q_num": 10,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
10
|
|
],
|
|
"M": 70,
|
|
"L0": 7,
|
|
"L1": 10,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "11/7",
|
|
"q_float": 1.5714285714285714,
|
|
"q_num": 11,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
11
|
|
],
|
|
"M": 77,
|
|
"L0": 7,
|
|
"L1": 11,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "12/7",
|
|
"q_float": 1.7142857142857142,
|
|
"q_num": 12,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
12
|
|
],
|
|
"M": 84,
|
|
"L0": 7,
|
|
"L1": 12,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "13/7",
|
|
"q_float": 1.8571428571428572,
|
|
"q_num": 13,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
13
|
|
],
|
|
"M": 91,
|
|
"L0": 7,
|
|
"L1": 13,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "15/7",
|
|
"q_float": 2.142857142857143,
|
|
"q_num": 15,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
15
|
|
],
|
|
"M": 105,
|
|
"L0": 7,
|
|
"L1": 15,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "16/7",
|
|
"q_float": 2.2857142857142856,
|
|
"q_num": 16,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
16
|
|
],
|
|
"M": 112,
|
|
"L0": 7,
|
|
"L1": 16,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "17/7",
|
|
"q_float": 2.4285714285714284,
|
|
"q_num": 17,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
17
|
|
],
|
|
"M": 119,
|
|
"L0": 7,
|
|
"L1": 17,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "18/7",
|
|
"q_float": 2.5714285714285716,
|
|
"q_num": 18,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
18
|
|
],
|
|
"M": 126,
|
|
"L0": 7,
|
|
"L1": 18,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "19/7",
|
|
"q_float": 2.7142857142857144,
|
|
"q_num": 19,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
19
|
|
],
|
|
"M": 133,
|
|
"L0": 7,
|
|
"L1": 19,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "20/7",
|
|
"q_float": 2.857142857142857,
|
|
"q_num": 20,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
20
|
|
],
|
|
"M": 140,
|
|
"L0": 7,
|
|
"L1": 20,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "22/7",
|
|
"q_float": 3.142857142857143,
|
|
"q_num": 22,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
22
|
|
],
|
|
"M": 154,
|
|
"L0": 7,
|
|
"L1": 22,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "23/7",
|
|
"q_float": 3.2857142857142856,
|
|
"q_num": 23,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
23
|
|
],
|
|
"M": 161,
|
|
"L0": 7,
|
|
"L1": 23,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "24/7",
|
|
"q_float": 3.4285714285714284,
|
|
"q_num": 24,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
24
|
|
],
|
|
"M": 168,
|
|
"L0": 7,
|
|
"L1": 24,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "25/7",
|
|
"q_float": 3.5714285714285716,
|
|
"q_num": 25,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
25
|
|
],
|
|
"M": 175,
|
|
"L0": 7,
|
|
"L1": 25,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "26/7",
|
|
"q_float": 3.7142857142857144,
|
|
"q_num": 26,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
26
|
|
],
|
|
"M": 182,
|
|
"L0": 7,
|
|
"L1": 26,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "27/7",
|
|
"q_float": 3.857142857142857,
|
|
"q_num": 27,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
27
|
|
],
|
|
"M": 189,
|
|
"L0": 7,
|
|
"L1": 27,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "29/7",
|
|
"q_float": 4.142857142857143,
|
|
"q_num": 29,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
29
|
|
],
|
|
"M": 203,
|
|
"L0": 7,
|
|
"L1": 29,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
},
|
|
{
|
|
"q": "30/7",
|
|
"q_float": 4.285714285714286,
|
|
"q_num": 30,
|
|
"q_den": 7,
|
|
"q_simple_rational": true,
|
|
"moduli": [
|
|
7,
|
|
30
|
|
],
|
|
"M": 210,
|
|
"L0": 7,
|
|
"L1": 30,
|
|
"sidon_score": 0.6,
|
|
"collisions": 6,
|
|
"is_sidon": false,
|
|
"total_pairs": 15,
|
|
"distinct_residues": 9,
|
|
"label_set": "nonsidon_seq5"
|
|
}
|
|
],
|
|
"summary": {
|
|
"sidon_pow2": {
|
|
"total_configs": 25,
|
|
"sidon_configs": 22,
|
|
"sidon_rate": 0.88,
|
|
"q_simple_rational_count": 25,
|
|
"q_simple_sidon": 22,
|
|
"q_not_simple_sidon": 0,
|
|
"q_lt1_total": 5,
|
|
"q_lt1_sidon": 2,
|
|
"q_lt1_sidon_rate": 0.4,
|
|
"q_gt1_total": 20,
|
|
"q_gt1_sidon": 20,
|
|
"q_gt1_sidon_rate": 1.0,
|
|
"best_q": "5/7",
|
|
"best_sidon_score": 1.0,
|
|
"best_moduli": [
|
|
7,
|
|
5
|
|
]
|
|
},
|
|
"sidon_singer5": {
|
|
"total_configs": 25,
|
|
"sidon_configs": 23,
|
|
"sidon_rate": 0.92,
|
|
"q_simple_rational_count": 25,
|
|
"q_simple_sidon": 23,
|
|
"q_not_simple_sidon": 0,
|
|
"q_lt1_total": 5,
|
|
"q_lt1_sidon": 3,
|
|
"q_lt1_sidon_rate": 0.6,
|
|
"q_gt1_total": 20,
|
|
"q_gt1_sidon": 20,
|
|
"q_gt1_sidon_rate": 1.0,
|
|
"best_q": "3/7",
|
|
"best_sidon_score": 1.0,
|
|
"best_moduli": [
|
|
7,
|
|
3
|
|
]
|
|
},
|
|
"nonsidon_seq5": {
|
|
"total_configs": 25,
|
|
"sidon_configs": 0,
|
|
"sidon_rate": 0.0,
|
|
"q_simple_rational_count": 25,
|
|
"q_simple_sidon": 0,
|
|
"q_not_simple_sidon": 0,
|
|
"q_lt1_total": 5,
|
|
"q_lt1_sidon": 0,
|
|
"q_lt1_sidon_rate": 0.0,
|
|
"q_gt1_total": 20,
|
|
"q_gt1_sidon": 0,
|
|
"q_gt1_sidon_rate": 0.0,
|
|
"best_q": "2/7",
|
|
"best_sidon_score": 0.6,
|
|
"best_moduli": [
|
|
7,
|
|
2
|
|
]
|
|
}
|
|
},
|
|
"sha256": "9e3c89352141e4d707215ef7b01b0eb1c70193d854774f7e2f4eaecd24fddfb4"
|
|
}
|