files / problems / simon-lieb-thirring / compute / q1 / opt_parametric.json
{
"note": "Parametric search for FHJN C_1. C_1_float_tcut1e6 is the same truncation as c1_functional.evaluate_c1 default / paper_replay. C_1_full_est adds the g\u22480 tail \u00bd\u221aa \u00b7 2\u00b7t_cut^{-1/2}. Published Lemma 11 claims C_1 <= 0.373556 (conservative). Paper second-pair float at t_cut=1e6 is ~0.371716.",
"published_C1": 0.373556,
"paper_second_float_tcut1e6": 0.37171594648351386,
"validation": {
"grid_fast_C1": 0.3735548092223397,
"grid_fine_C1": 0.3735546575377209,
"official": {
"C_1_float_tcut1e6": 0.3717159464835138,
"C_1_plus_err_tcut1e6": 0.3735547035561491,
"C_1_full_est": 0.37355470355523424,
"C_1_tail_added": 0.001838757071720446,
"a_quad": 3.381027568801949,
"A_g_tcut1e6": 0.20215609348314575,
"abs_err_est_1e6": 0.0018387570726353382,
"ratios_tcut1e6": {
"C_1": 0.3717159464835138,
"K_over_Kcl": 0.476531181754129,
"L_over_Lcl": 1.4486195369092492
},
"ratios_full_est": {
"C_1": 0.37355470355523424,
"K_over_Kcl": 0.47185144654853217,
"L_over_Lcl": 1.4557853834189909
},
"mu": 10.057026534424947,
"c0": 11.210403742361477
}
},
"families": {
"A": {
"family": "A",
"x": [
4.055295525553317,
0.27814272049262534,
0.31839679333692544,
1.1649053972605006,
6.200689745257155,
0.482136224760825,
1.5066015478078987
],
"C_1_grid": 0.37344639347394387,
"official": {
"C_1_float_tcut1e6": 0.3721561768570827,
"C_1_plus_err_tcut1e6": 0.3734464097833043,
"C_1_full_est": 0.3734464097826946,
"C_1_tail_added": 0.0012902329256119192,
"a_quad": 1.664701002333092,
"A_g_tcut1e6": 0.28844107871497704,
"abs_err_est_1e6": 0.0012902329262216203,
"ratios_tcut1e6": {
"C_1": 0.3721561768570827,
"K_over_Kcl": 0.475404453596318,
"L_over_Lcl": 1.4503351650008758
},
"ratios_full_est": {
"C_1": 0.3734464097826946,
"K_over_Kcl": 0.47212514569673847,
"L_over_Lcl": 1.4553633502075816
},
"mu": 7.465375152677811,
"c0": 5.266233298667548
},
"meta": {
"family": "A",
"alpha": 4.055295525553317,
"beta": 0.27814272049262534,
"gamma": 0.31839679333692544,
"delta": 1.1649053972605006,
"eps": 6.200689745257155,
"kappa": 0.482136224760825,
"T": 1.5066015478078987,
"mu": 7.465375152677811,
"C_1": 0.37344639347394387,
"C_1_trunc": 0.37340559273004503,
"a": 1.6647007298493204,
"A_g": 0.28944108976315586,
"I_core": 0.5788189339736242,
"I_small": 0.0,
"I_tail": 6.324555268750534e-05
},
"L_over_Lcl": 1.4553633502075816,
"seconds": 390.65662932395935
},
"B": {
"family": "B",
"x": [
4.052292297135973,
0.2782999981162943,
0.3895152477176153,
1.7415765056887673,
1.4863838691630686,
0.9959902075111607,
1.6823011676924182,
0.8916333810022292,
1.7142992972624504,
0.0,
1.035926997931088
],
"C_1_grid": 0.3734485124416792,
"official": {
"C_1_float_tcut1e6": 0.37238674870377203,
"C_1_plus_err_tcut1e6": 0.37357174734393955,
"C_1_full_est": 0.37357174734341614,
"C_1_tail_added": 0.0011849986396440925,
"a_quad": 1.4042217759583497,
"A_g_tcut1e6": 0.3142507816005732,
"abs_err_est_1e6": 0.001184998640167531,
"ratios_tcut1e6": {
"C_1": 0.37238674870377203,
"K_over_Kcl": 0.4748159205839071,
"L_over_Lcl": 1.451233729845713
},
"ratios_full_est": {
"C_1": 0.37357174734341614,
"K_over_Kcl": 0.4718083921542488,
"L_over_Lcl": 1.455851805009931
},
"mu": 7.455749157219402,
"c0": 4.4504394043285895
},
"meta": {
"family": "B",
"alpha": 4.052292297135973,
"beta": 0.2782999981162943,
"gamma": 0.3895152477176153,
"delta": 1.7415765056887673,
"eps": 1.4863838691630686,
"kappa": 0.9959902075111607,
"T": 1.6823011676924182,
"a": 1.5751870472143366,
"p": 1.7142992972624504,
"b": 0.0,
"q": 1.035926997931088,
"mu": 7.455749157219402,
"C_1": 0.3734485124416792,
"C_1_trunc": 0.37340882381581036,
"A_g": 0.29755322924933225,
"I_core": 0.5950432129459401,
"I_small": 0.0,
"I_tail": 6.324555272439531e-05
},
"L_over_Lcl": 1.455851805009931,
"seconds": 457.38343691825867
},
"C": {
"family": "C",
"x": [
10.0,
0.12415669465814515,
3.171793075413344,
0.41510503224005374,
0.33582752760650364,
3.4866781315476723,
0.33172803805996204,
1.221950682955854,
5.90089070679967,
0.44071398477638224,
1.75605277145381
],
"C_1_grid": 0.3728510160690905,
"official": {
"C_1_float_tcut1e6": 0.37164979671219267,
"C_1_plus_err_tcut1e6": 0.37285102025467765,
"C_1_full_est": 0.37285102025463895,
"C_1_tail_added": 0.001201223542446304,
"a_quad": 1.4429379989272477,
"A_g_tcut1e6": 0.3093927013412708,
"abs_err_est_1e6": 0.0012012235424849525,
"ratios_tcut1e6": {
"C_1": 0.37164979671219267,
"K_over_Kcl": 0.4767008319695221,
"L_over_Lcl": 1.4483617436883653
},
"ratios_full_est": {
"C_1": 0.37285102025463895,
"K_over_Kcl": 0.4736341816883657,
"L_over_Lcl": 1.4530430491535862
},
"c0": 4.5314698483365214,
"sigma": 0.4705420680154287
},
"meta": {
"family": "C",
"alpha1": 10.0,
"beta1": 0.12415669465814515,
"alpha2": 3.171793075413344,
"beta2": 0.41510503224005374,
"lam": 0.33582752760650364,
"r": 3.4866781315476723,
"sigma": 0.4705420680154287,
"gamma": 0.33172803805996204,
"delta": 1.221950682955854,
"eps": 5.90089070679967,
"kappa": 0.44071398477638224,
"T": 1.75605277145381,
"C_1": 0.3728510160690905,
"C_1_trunc": 0.37281303004817723,
"a": 1.4429377894892508,
"A_g": 0.31039272038314,
"I_core": 0.6207221952131788,
"I_small": 0.0,
"I_tail": 6.324555310114656e-05
},
"L_over_Lcl": 1.4530430491535862,
"seconds": 510.02295446395874
},
"D": {
"family": "D",
"x": [
3.9953404831800583,
0.2829244704538335,
1.2342001074916658,
1.2373042155894636,
0.2882710529838315,
1.129104495042014,
5.625178674042637,
0.5571017710290586,
1.0789201955295817,
5.154912653932154,
12.0,
4.855826930938818,
0.0
],
"C_1_grid": 0.3734485755000699,
"official": {
"C_1_float_tcut1e6": 0.3720222818786939,
"C_1_plus_err_tcut1e6": 0.37344855047528436,
"C_1_full_est": 0.37344855047518305,
"C_1_tail_added": 0.0014262685964891659,
"a_quad": 2.034242109331175,
"A_g_tcut1e6": 0.2608360604688668,
"abs_err_est_1e6": 0.0014262685965904364,
"ratios_tcut1e6": {
"C_1": 0.3720222818786939,
"K_over_Kcl": 0.47574672193390377,
"L_over_Lcl": 1.4498133609636186
},
"ratios_full_est": {
"C_1": 0.37344855047518305,
"K_over_Kcl": 0.4721197330536581,
"L_over_Lcl": 1.4553716927309266
},
"mu": 7.121988963464222,
"c0": 6.648344747602472
},
"meta": {
"family": "D",
"alpha": 3.9953404831800583,
"beta": 0.2829244704538335,
"T1": 1.2342001074916658,
"T2": 1.2373042155894636,
"g1": 0.2882710529838315,
"d1": 1.129104495042014,
"e1": 5.625178674042637,
"k1": 0.5571017710290586,
"g2": 1.0789201955295817,
"d2": 5.154912653932154,
"e2": 12.0,
"k2": 4.855826930938818,
"rho": 0.0,
"mu": 7.121988963464222,
"C_1": 0.3734485755000699,
"C_1_trunc": 0.3734034729596997,
"a": 2.034239179506942,
"A_g": 0.2618362665699331,
"I_core": 0.5236092875871551,
"I_small": 0.0,
"I_tail": 6.324555271111233e-05
},
"L_over_Lcl": 1.4553716927309266,
"seconds": 149.82201623916626
},
"C_fine": {
"family": "C",
"x": [
10.0,
0.12407029858669207,
3.1098633253095866,
0.42398483043480467,
0.34137878330732035,
3.468627509639189,
0.3241463918018236,
1.1879986551333654,
5.873979659038468,
0.46328892029699587,
1.664303282197964
],
"C_1_grid": 0.3728508533554662,
"official": {
"C_1_float_tcut1e6": 0.37162125296316323,
"C_1_plus_err_tcut1e6": 0.37285085871213525,
"C_1_full_est": 0.37285085871209755,
"C_1_tail_added": 0.0012296057489343403,
"a_quad": 1.5119302978123794,
"A_g_tcut1e6": 0.3022279728971953,
"abs_err_est_1e6": 0.0012296057489720048,
"ratios_tcut1e6": {
"C_1": 0.37162125296316323,
"K_over_Kcl": 0.4767740643337254,
"L_over_Lcl": 1.448250505435361
},
"ratios_full_est": {
"C_1": 0.37285085871209755,
"K_over_Kcl": 0.4736345921049394,
"L_over_Lcl": 1.4530424196038352
},
"c0": 4.76654466060232,
"sigma": 0.4702852849490257
},
"meta": {
"family": "C",
"alpha1": 10.0,
"beta1": 0.12407029858669207,
"alpha2": 3.1098633253095866,
"beta2": 0.42398483043480467,
"lam": 0.34137878330732035,
"r": 3.468627509639189,
"sigma": 0.4702852849490257,
"gamma": 0.3241463918018236,
"delta": 1.1879986551333654,
"eps": 5.873979659038468,
"kappa": 0.46328892029699587,
"T": 1.664303282197964,
"C_1": 0.3728508533554662,
"C_1_trunc": 0.3728119698106402,
"a": 1.511930063426132,
"A_g": 0.3032279920446998,
"I_core": 0.6063927385363048,
"I_small": 0.0,
"I_tail": 6.324555309479277e-05
},
"L_over_Lcl": 1.4530424196038352,
"seconds": 0.0
}
},
"best": {
"family": "C",
"parameters": {
"family": "C",
"alpha1": 10.0,
"beta1": 0.12407029858669207,
"alpha2": 3.1098633253095866,
"beta2": 0.42398483043480467,
"lam": 0.34137878330732035,
"r": 3.468627509639189,
"sigma": 0.4702852849490257,
"gamma": 0.3241463918018236,
"delta": 1.1879986551333654,
"eps": 5.873979659038468,
"kappa": 0.46328892029699587,
"T": 1.664303282197964,
"C_1": 0.3728508533554662,
"C_1_trunc": 0.3728119698106402,
"a": 1.511930063426132,
"A_g": 0.3032279920446998,
"I_core": 0.6063927385363048,
"I_small": 0.0,
"I_tail": 6.324555309479277e-05
},
"x": [
10.0,
0.12407029858669207,
3.1098633253095866,
0.42398483043480467,
0.34137878330732035,
3.468627509639189,
0.3241463918018236,
1.1879986551333654,
5.873979659038468,
0.46328892029699587,
1.664303282197964
],
"C_1": 0.37285085871209755,
"C_1_tcut1e6": 0.37162125296316323,
"C_1_plus_err_tcut1e6": 0.37285085871213525,
"C_1_grid": 0.3728508533554662,
"L_over_Lcl": 1.4530424196038352,
"L_over_Lcl_from_C1": 1.4530424196038352,
"beats_published_0.373556": true,
"beats_paper_float_0.37172": true
},
"seconds_total": 1816.3528685569763
}