files / problems / kissing-5d / compute / q7 / dual_more.json

2.8 KB · on GitHub

{
  "delsarte_deg12": {
    "numerical": 46.336869215638316,
    "trials": [
      {
        "den": 100,
        "certified": false,
        "bound": "927/20",
        "float_bound": 46.35,
        "error": null
      },
      {
        "den": 1000,
        "certified": false,
        "bound": "46337/1000",
        "float_bound": 46.337,
        "error": null
      },
      {
        "den": 10000,
        "certified": false,
        "bound": "463369/10000",
        "float_bound": 46.3369,
        "error": null
      }
    ]
  },
  "delsarte_deg14": {
    "numerical": 46.336869215638316,
    "trials": [
      {
        "den": 1000,
        "certified": false,
        "bound": "46337/1000",
        "float_bound": 46.337,
        "error": null
      },
      {
        "den": 10000,
        "certified": false,
        "bound": "463369/10000",
        "float_bound": 46.3369,
        "error": null
      }
    ]
  },
  "n_certified_half_q2": 50,
  "n_certified_half2_q2": 0,
  "ansatz_certified": [
    {
      "q": [
        "1",
        "1",
        "2",
        "2"
      ],
      "deg_q": 3,
      "power": 1,
      "c_k_nonneg": true,
      "unrestricted": true,
      "certified": true,
      "bound": "630",
      "float_bound": 630.0
    },
    {
      "q": [
        "1",
        "1",
        "3",
        "3"
      ],
      "deg_q": 3,
      "power": 1,
      "c_k_nonneg": true,
      "unrestricted": true,
      "certified": true,
      "bound": "140",
      "float_bound": 140.0
    },
    {
      "q": [
        "1",
        "1",
        "3",
        "5/2"
      ],
      "deg_q": 3,
      "power": 1,
      "c_k_nonneg": true,
      "unrestricted": true,
      "certified": true,
      "bound": "3375/13",
      "float_bound": 259.61538461538464
    },
    {
      "q": [
        "1",
        "1",
        "3",
        "8/3"
      ],
      "deg_q": 3,
      "power": 1,
      "c_k_nonneg": true,
      "unrestricted": true,
      "certified": true,
      "bound": "55545/283",
      "float_bound": 196.27208480565372
    },
    {
      "q": [
        "1",
        "1",
        "5/2",
        "2"
      ],
      "deg_q": 3,
      "power": 1,
      "c_k_nonneg": true,
      "unrestricted": true,
      "certified": true,
      "bound": "17745/11",
      "float_bound": 1613.1818181818182
    },
    {
      "q": [
        "1",
        "1",
        "5/2",
        "5/2"
      ],
      "deg_q": 3,
      "power": 1,
      "c_k_nonneg": true,
      "unrestricted": true,
      "certified": true,
      "bound": "3430/17",
      "float_bound": 201.76470588235293
    }
  ],
  "comment": "1-point continuum Delsarte cannot go below Odlyzko\u2013Sloane ~46.34.  Exact (t-1/2)^p q^2 duals that certify sit above 44.  No certified unrestricted dual below 44.",
  "best_certified": "221991/3733",
  "best_certified_float": 59.4671845700509,
  "best_certified_source": "half_q2",
  "below_44": false
}