files / problems / simon-ionization-excess / compute / q11 / certs / scan_compact.json

4.2 KB · on GitHub

{
  "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.10120 prints as 1.1012. An n=34 or n=35 higher-target probe is not an n=36 dent.",
  "q10_leading": 1.1013,
  "fmin": 0.8941074569749823,
  "best_split": {
    "R": 10.0,
    "n": 36,
    "n_faces": 68719476735,
    "slsqp_phi": 0.9118806284070254,
    "target_suggest": 0.9117,
    "err_P_hi": 0.003385326403690433,
    "gamma_pred": 0.9083146735963096,
    "inv_pred": 1.1009400476166247,
    "cut_R_over_R1": 0.9090909090909091,
    "split_gamma": 0.9083146735963096,
    "split_inv": 1.1009400476166247,
    "printed_lead": "1.1010",
    "beats_1.1013_if_certified": true,
    "cut_ge_gamma": true,
    "note": "",
    "P_max_hi": 0.031969450416264256
  },
  "rows": [
    {
      "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.1013_if_certified": false,
      "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.1013_if_certified": false,
      "cut_ge_gamma": true,
      "note": "",
      "P_max_hi": 0.03288221387453527
    },
    {
      "R": 10.0,
      "n": 36,
      "n_faces": 68719476735,
      "slsqp_phi": 0.9118806284070254,
      "target_suggest": 0.9117,
      "err_P_hi": 0.003385326403690433,
      "gamma_pred": 0.9083146735963096,
      "inv_pred": 1.1009400476166247,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9083146735963096,
      "split_inv": 1.1009400476166247,
      "printed_lead": "1.1010",
      "beats_1.1013_if_certified": true,
      "cut_ge_gamma": true,
      "note": "",
      "P_max_hi": 0.031969450416264256
    },
    {
      "R": 10.0,
      "n": 34,
      "n_faces": 17179869183,
      "slsqp_phi": 0.9114518727717587,
      "target_suggest": 0.9114,
      "err_P_hi": 0.003584315336477774,
      "gamma_pred": 0.9078156846635222,
      "inv_pred": 1.1015451890662646,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9078156846635222,
      "split_inv": 1.1015451890662646,
      "printed_lead": "1.1016",
      "beats_1.1013_if_certified": false,
      "cut_ge_gamma": true,
      "note": "optional probe on the n=34 matrix; not an n=36 dent",
      "P_max_hi": 0.03384860948736455
    },
    {
      "R": 10.0,
      "n": 35,
      "n_faces": 34359738367,
      "slsqp_phi": 0.9116723740887986,
      "target_suggest": 0.9116,
      "err_P_hi": 0.0034819812474670606,
      "gamma_pred": 0.908118018752533,
      "inv_pred": 1.1011784584713822,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.908118018752533,
      "split_inv": 1.1011784584713822,
      "printed_lead": "1.1012",
      "beats_1.1013_if_certified": true,
      "cut_ge_gamma": true,
      "note": "optional probe on the n=35 matrix; not an n=36 dent",
      "P_max_hi": 0.03288221387453527
    },
    {
      "R": 10.0,
      "n": 36,
      "n_faces": 68719476735,
      "slsqp_phi": 0.9118806284070254,
      "target_suggest": 0.9117,
      "err_P_hi": 0.003385326403690433,
      "gamma_pred": 0.9083146735963096,
      "inv_pred": 1.1009400476166247,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9083146735963096,
      "split_inv": 1.1009400476166247,
      "printed_lead": "1.1010",
      "beats_1.1013_if_certified": true,
      "cut_ge_gamma": true,
      "note": "primary leftover: n=36 mid-radius bins at aspect 10",
      "P_max_hi": 0.031969450416264256
    }
  ]
}