files / problems / simon-ionization-excess / compute / q8 / certs / scan_compact.json
{
"note": "Predicted only. Face copositivity at target_suggest is required before quoting split_inv as a leading coefficient. printed_lead uses the notebook ceil-to-next-10^{-4}; 1.102041 prints as 1.1021.",
"q7_leading": 1.1021,
"fmin": 0.8941074569749823,
"best_split": {
"R": 10.0,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112207128892256,
"target_suggest": 0.91115,
"err_P_hi": 0.003692844163506504,
"gamma_pred": 0.9074571558364936,
"inv_pred": 1.1019804004721307,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9074571558364936,
"split_inv": 1.1019804004721307,
"printed_lead": 1.102,
"beats_1.1021_if_certified": true,
"cut_ge_gamma": true,
"note": "same n=33 matrix as q7; higher target than 0.9111",
"P_max_hi": 0.03487350532920953
},
"rows": [
{
"R": 9.0,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9118050172278175,
"target_suggest": 0.9117,
"err_P_hi": 0.0034204228991082295,
"gamma_pred": 0.9082795771008917,
"inv_pred": 1.100982588634072,
"cut_R_over_R1": 0.9,
"split_gamma": 0.9,
"split_inv": 1.1111111111111112,
"printed_lead": 1.1112,
"beats_1.1021_if_certified": false,
"cut_ge_gamma": false,
"note": "",
"P_max_hi": 0.03230088542023337
},
{
"R": 9.5,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9116229451220789,
"target_suggest": 0.9115,
"err_P_hi": 0.003504528692835872,
"gamma_pred": 0.9079954713071641,
"inv_pred": 1.1013270788238456,
"cut_R_over_R1": 0.9047619047619048,
"split_gamma": 0.9047619047619048,
"split_inv": 1.1052631578947367,
"printed_lead": 1.1053,
"beats_1.1021_if_certified": false,
"cut_ge_gamma": false,
"note": "",
"P_max_hi": 0.03309514147760062
},
{
"R": 9.8,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112905370148998,
"target_suggest": 0.9111,
"err_P_hi": 0.0036604693598265986,
"gamma_pred": 0.9074395306401735,
"inv_pred": 1.1020018042354047,
"cut_R_over_R1": 0.9074074074074074,
"split_gamma": 0.9074074074074074,
"split_inv": 1.1020408163265305,
"printed_lead": 1.1021,
"beats_1.1021_if_certified": false,
"cut_ge_gamma": false,
"note": "",
"P_max_hi": 0.034567772718063744
},
{
"R": 9.8,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9115186406984576,
"target_suggest": 0.9114,
"err_P_hi": 0.003552890536401019,
"gamma_pred": 0.9078471094635989,
"inv_pred": 1.1015070594770628,
"cut_R_over_R1": 0.9074074074074074,
"split_gamma": 0.9074074074074074,
"split_inv": 1.1020408163265305,
"printed_lead": 1.1021,
"beats_1.1021_if_certified": false,
"cut_ge_gamma": false,
"note": "",
"P_max_hi": 0.03355184826906677
},
{
"R": 9.9,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112553052141645,
"target_suggest": 0.9111,
"err_P_hi": 0.0036767386036302596,
"gamma_pred": 0.9074232613963698,
"inv_pred": 1.1020215620890856,
"cut_R_over_R1": 0.908256880733945,
"split_gamma": 0.9074232613963698,
"split_inv": 1.1020215620890856,
"printed_lead": 1.1021,
"beats_1.1021_if_certified": false,
"cut_ge_gamma": true,
"note": "",
"P_max_hi": 0.03472141190113462
},
{
"R": 9.9,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9114850039577025,
"target_suggest": 0.9113,
"err_P_hi": 0.0035686823720018023,
"gamma_pred": 0.9077313176279982,
"inv_pred": 1.1016475696939818,
"cut_R_over_R1": 0.908256880733945,
"split_gamma": 0.9077313176279982,
"split_inv": 1.1016475696939818,
"printed_lead": 1.1017,
"beats_1.1021_if_certified": true,
"cut_ge_gamma": true,
"note": "",
"P_max_hi": 0.033700979030777276
},
{
"R": 10.0,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112207128892256,
"target_suggest": 0.9111,
"err_P_hi": 0.003692844163506504,
"gamma_pred": 0.9074071558364936,
"inv_pred": 1.1020411218579709,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9074071558364936,
"split_inv": 1.1020411218579709,
"printed_lead": 1.1021,
"beats_1.1021_if_certified": false,
"cut_ge_gamma": true,
"note": "",
"P_max_hi": 0.03487350532920953
},
{
"R": 10.0,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9114518727717587,
"target_suggest": 0.9113,
"err_P_hi": 0.003584315336477774,
"gamma_pred": 0.9077156846635223,
"inv_pred": 1.1016665426142618,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9077156846635223,
"split_inv": 1.1016665426142618,
"printed_lead": 1.1017,
"beats_1.1021_if_certified": true,
"cut_ge_gamma": true,
"note": "",
"P_max_hi": 0.03384860948736455
},
{
"R": 10.0,
"n": 35,
"n_faces": 34359738367,
"slsqp_phi": 0.9116723740887986,
"target_suggest": 0.9115,
"err_P_hi": 0.0034819812474670606,
"gamma_pred": 0.908018018752533,
"inv_pred": 1.1012997312254167,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.908018018752533,
"split_inv": 1.1012997312254167,
"printed_lead": 1.1013,
"beats_1.1021_if_certified": true,
"cut_ge_gamma": true,
"note": "",
"P_max_hi": 0.03288221387453527
},
{
"R": 10.5,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9112911129059392,
"target_suggest": 0.9111,
"err_P_hi": 0.003660204585318439,
"gamma_pred": 0.9074397954146816,
"inv_pred": 1.1020014826912239,
"cut_R_over_R1": 0.9130434782608695,
"split_gamma": 0.9074397954146816,
"split_inv": 1.1020014826912239,
"printed_lead": 1.1021,
"beats_1.1021_if_certified": false,
"cut_ge_gamma": true,
"note": "",
"P_max_hi": 0.03456527231056954
},
{
"R": 11.0,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9111364924297515,
"target_suggest": 0.911,
"err_P_hi": 0.0037325592929662345,
"gamma_pred": 0.9072674407070338,
"inv_pred": 1.1022108312634913,
"cut_R_over_R1": 0.9166666666666666,
"split_gamma": 0.9072674407070338,
"split_inv": 1.1022108312634913,
"printed_lead": 1.1023,
"beats_1.1021_if_certified": false,
"cut_ge_gamma": true,
"note": "",
"P_max_hi": 0.035248556568184375
},
{
"R": 10.0,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112207128892256,
"target_suggest": 0.91115,
"err_P_hi": 0.003692844163506504,
"gamma_pred": 0.9074571558364936,
"inv_pred": 1.1019804004721307,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9074571558364936,
"split_inv": 1.1019804004721307,
"printed_lead": 1.102,
"beats_1.1021_if_certified": true,
"cut_ge_gamma": true,
"note": "same n=33 matrix as q7; higher target than 0.9111",
"P_max_hi": 0.03487350532920953
},
{
"R": 10.0,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112207128892256,
"target_suggest": 0.9112,
"err_P_hi": 0.003692844163506504,
"gamma_pred": 0.9075071558364936,
"inv_pred": 1.1019196857772997,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9075071558364936,
"split_inv": 1.1019196857772997,
"printed_lead": 1.102,
"beats_1.1021_if_certified": true,
"cut_ge_gamma": true,
"note": "same n=33 matrix as q7; higher target than 0.9111",
"P_max_hi": 0.03487350532920953
}
]
}