Ruzsa’s genus-one problem

witness #2307

N
30,688
|A|
112
exponent log |A| / log N
0.4567
status
current record for this modulus
submitted by
Yongxi (Aaron) Lin
submitted at
2026-08-10 07:49:43 UTC

Elements (112)

0, 3, 7, 10, 35, 38, 42, 45, 175, 178, 182, 185, 210, 213, 217, 220, 875, 878, 882, 885, 910, 913, 917, 920, 1050, 1053, 1057, 1060, 1085, 1088, 1092, 1095, 4384, 4386, 4391, 4393, 4419, 4421, 4426, 4428, 4559, 4561, 4566, 4568, 4594, 4596, 4601, 4603, 5259, 5261, 5266, 5268, 5294, 5296, 5301, 5303, 5434, 5436, 5441, 5443, 5469, 5471, 5476, 5478, 13155, 13156, 13162, 13163, 13190, 13191, 13197, 13198, 13330, 13331, 13337, 13338, 13365, 13366, 13372, 13373, 14030, 14031, 14037, 14038, 14065, 14066, 14072, 14073, 14205, 14206, 14212, 14213, 14240, 14241, 14247, 14248, 26306, 26313, 26341, 26348, 26481, 26488, 26516, 26523, 27181, 27188, 27216, 27223, 27356, 27363, 27391, 27398

Commentary

Fourth-level instance of the 7-adic/base-5 family extracted from the N=1267 record. Use the exact core D={(0,0),(1,0),(6,2),(1,2),(0,3),(3,3),(3,4)} and T_4={sum eps_j 5^j: eps_j∈{0,1}, j=0..3}; at q=4384=7·5^4+9 this gives a full 112-point witness modulo 7q. The boundary validity follows from the same finite core check that gives the k=2 and k=3 exceptional rays.

last edited by Yongxi (Aaron) Lin at 2026-08-10 07:49:43 UTC · history

Log in to add commentary.