files / problems / simon-ionization-excess / compute / q4 / certs / reweight_gap.json

1.2 KB · on GitHub

{
  "not_a_lower_bound": true,
  "rows": [
    {
      "R": 4,
      "n": 18,
      "q": 1.080059738892306,
      "P": 0.03848915365043329,
      "phi": 0.9104292161366284,
      "P_bound": 0.9063535017777034,
      "reweighted_min": 0.9103544971513317,
      "slack": 0.004000995373628302,
      "s_min": 0.9258823662637649,
      "s_max": 1.0799848626568476,
      "mu_entropy": 2.742390107368146
    },
    {
      "R": 8,
      "n": 20,
      "q": 1.109569472067845,
      "P": 0.05193925752084511,
      "phi": 0.9077332752177663,
      "P_bound": 0.9022332951560527,
      "reweighted_min": 0.9080220777736704,
      "slack": 0.005788782617617727,
      "s_min": 0.903559640882395,
      "s_max": 1.1095687486983623,
      "mu_entropy": 2.296227179597748
    },
    {
      "R": 12,
      "n": 22,
      "q": 1.1195762911579943,
      "P": 0.056415186212837774,
      "phi": 0.9069245919372402,
      "P_bound": 0.9009506444039329,
      "reweighted_min": 0.9076606767703262,
      "slack": 0.006710032366393337,
      "s_min": 0.8931950492521478,
      "s_max": 1.1195762906913878,
      "mu_entropy": 2.0399191192285993
    }
  ],
  "note": "Positive slack means the TV error P(1-fmin) is pessimistic on this grid. Slack is not a certificate."
}