files / problems / simon-ionization-excess / compute / q11 / 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 q10 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,
      "q10_1.1013_3.935": 7.160389331336326,
      "Nam_1.22_3": 6.219763149684619,
      "q10_excludes_new_integer": false
    },
    {
      "Z": 3,
      "Lieb_2Z+1": 7,
      "Lieb_integer_Nc_le": 6,
      "q10_1.1013_3.935": 8.979152059159652,
      "Nam_1.22_3": 7.986748710922225,
      "q10_excludes_new_integer": false
    },
    {
      "Z": 4,
      "Lieb_2Z+1": 9,
      "Lieb_integer_Nc_le": 8,
      "q10_1.1013_3.935": 10.651623139494864,
      "Nam_1.22_3": 9.642203155904598,
      "q10_excludes_new_integer": false
    },
    {
      "Z": 5,
      "Lieb_2Z+1": 11,
      "Lieb_integer_Nc_le": 10,
      "q10_1.1013_3.935": 12.235255350172803,
      "Nam_1.22_3": 11.22992784003009,
      "q10_excludes_new_integer": false
    },
    {
      "Z": 6,
      "Lieb_2Z+1": 13,
      "Lieb_integer_Nc_le": 12,
      "q10_1.1013_3.935": 13.758169532794469,
      "Nam_1.22_3": 12.77136177849642,
      "q10_excludes_new_integer": false
    }
  ]
}