files / problems / simon-lieb-thirring / compute / q3 / certs / covering_local.json
{
"analytic_constant_alpha3": {
"alpha": 3.0,
"L_local": 0.5773502691896258,
"ratio_over_classical": 2.720699046351327
},
"best_sample": {
"E0": -3.00000000000074,
"abs_E0": 3.00000000000074,
"integral": 5.196152422706632,
"L_upper_local": 0.5773502691897682,
"ratio_over_classical": 2.7206990463519976,
"alpha": 3.0,
"n_neg": 1,
"v_min": 3.0,
"v_max": 3.0,
"v_std": 0.0,
"tag": "constant depth=0.5",
"analytic_1_over_sqrt_alpha": 0.5773502691896258
},
"best_constant": {
"E0": -3.00000000000074,
"abs_E0": 3.00000000000074,
"integral": 5.196152422706632,
"L_upper_local": 0.5773502691897682,
"ratio_over_classical": 2.7206990463519976,
"alpha": 3.0,
"n_neg": 1,
"v_min": 3.0,
"v_max": 3.0,
"v_std": 0.0,
"tag": "constant depth=0.5",
"analytic_1_over_sqrt_alpha": 0.5773502691896258
},
"random_best": {
"E0": -3.008134343920681,
"abs_E0": 3.008134343920681,
"integral": 5.416198790124355,
"L_upper_local": 0.5553958524206263,
"ratio_over_classical": 2.617241294698321,
"alpha": 3.0,
"n_neg": 1,
"v_min": 1.207039335917259,
"v_max": 4.703441128491818,
"v_std": 0.9993084699640877,
"tag": "random-hist"
},
"beats_CCR": false,
"note": "A covering bound is an *upper* bound on L equal to the worst local ratio. The constant well already gives ~2.72 > 1.44655, and random histograms did not produce a larger local ratio. This handle cannot dent CCR at gamma=1 with the Poincar\u00e9 partition \u03b1\u22643.",
"samples": [
{
"E0": -3.00000000000074,
"abs_E0": 3.00000000000074,
"integral": 5.196152422706632,
"L_upper_local": 0.5773502691897682,
"ratio_over_classical": 2.7206990463519976,
"alpha": 3.0,
"n_neg": 1,
"v_min": 3.0,
"v_max": 3.0,
"v_std": 0.0,
"tag": "constant depth=0.5",
"analytic_1_over_sqrt_alpha": 0.5773502691896258
},
{
"E0": -3.00000000000074,
"abs_E0": 3.00000000000074,
"integral": 5.196152422706632,
"L_upper_local": 0.5773502691897682,
"ratio_over_classical": 2.7206990463519976,
"alpha": 3.0,
"n_neg": 1,
"v_min": 3.0,
"v_max": 3.0,
"v_std": 0.0,
"tag": "constant depth=1.0",
"analytic_1_over_sqrt_alpha": 0.5773502691896258
},
{
"E0": -3.00000000000074,
"abs_E0": 3.00000000000074,
"integral": 5.196152422706632,
"L_upper_local": 0.5773502691897682,
"ratio_over_classical": 2.7206990463519976,
"alpha": 3.0,
"n_neg": 1,
"v_min": 3.0,
"v_max": 3.0,
"v_std": 0.0,
"tag": "constant depth=3.0",
"analytic_1_over_sqrt_alpha": 0.5773502691896258
},
{
"E0": -3.00000000000074,
"abs_E0": 3.00000000000074,
"integral": 5.196152422706632,
"L_upper_local": 0.5773502691897682,
"ratio_over_classical": 2.7206990463519976,
"alpha": 3.0,
"n_neg": 1,
"v_min": 3.0,
"v_max": 3.0,
"v_std": 0.0,
"tag": "constant depth=9.0",
"analytic_1_over_sqrt_alpha": 0.5773502691896258
},
{
"E0": -3.086106552057748,
"abs_E0": 3.086106552057748,
"integral": 11.88560379090101,
"L_upper_local": 0.25965080162105925,
"ratio_over_classical": 1.2235755763071308,
"alpha": 2.9999999999999996,
"n_neg": 1,
"v_min": 2.016806722689075,
"v_max": 80.67226890756302,
"v_std": 8.738812998537176,
"tag": "mid-spike"
},
{
"E0": -3.2720786613213493,
"abs_E0": 3.2720786613213493,
"integral": 5.826172093790287,
"L_upper_local": 0.5616172348923285,
"ratio_over_classical": 2.6465588689007284,
"alpha": 2.9999999999999996,
"n_neg": 1,
"v_min": 0.14634146341463414,
"v_max": 5.853658536585365,
"v_std": 1.6682853707124323,
"tag": "linear-ramp"
},
{
"E0": -3.008134343920681,
"abs_E0": 3.008134343920681,
"integral": 5.416198790124355,
"L_upper_local": 0.5553958524206263,
"ratio_over_classical": 2.617241294698321,
"alpha": 3.0,
"n_neg": 1,
"v_min": 1.207039335917259,
"v_max": 4.703441128491818,
"v_std": 0.9993084699640877,
"tag": "random-hist"
}
]
}