files / problems / simon-ionization-excess / compute / q13 / certs / smallz.json

1.2 KB · on GitHub

{
  "status": "residue",
  "reason": "Lieb N_c<2Z+1 still excludes the most integers at Z=2..6. The q11 simplified envelope sits above 2Z+1 there. A leading coefficient >1 cannot bound N0(Z)-Z.",
  "rows": [
    {
      "Z": 2,
      "Lieb_2Z+1": 5,
      "Lieb_integer_Nc_le": 4,
      "q11_1.1010_3.934": 7.158529410286431,
      "Nam_1.22_3": 6.219763149684619,
      "q11_excludes_new_integer": false
    },
    {
      "Z": 3,
      "Lieb_2Z+1": 7,
      "Lieb_integer_Nc_le": 6,
      "q11_1.1010_3.934": 8.976809809589344,
      "Nam_1.22_3": 7.986748710922225,
      "q11_excludes_new_integer": false
    },
    {
      "Z": 4,
      "Lieb_2Z+1": 9,
      "Lieb_integer_Nc_le": 8,
      "q11_1.1010_3.934": 10.648835738442896,
      "Nam_1.22_3": 9.642203155904598,
      "q11_excludes_new_integer": false
    },
    {
      "Z": 5,
      "Lieb_2Z+1": 11,
      "Lieb_integer_Nc_le": 10,
      "q11_1.1010_3.934": 12.232045374226125,
      "Nam_1.22_3": 11.22992784003009,
      "q11_excludes_new_integer": false
    },
    {
      "Z": 6,
      "Lieb_2Z+1": 13,
      "Lieb_integer_Nc_le": 12,
      "q11_1.1010_3.934": 13.754552412201637,
      "Nam_1.22_3": 12.77136177849642,
      "q11_excludes_new_integer": false
    }
  ]
}