files / problems / simon-ionization-excess / compute / q2 / certs / aspect_try.json
{
"status": "residue",
"is_new_bound": false,
"beats_1.1185_in_HPS_theorem": false,
"reason": "No lift of the aspect-\u22644 compact \u03b3 to every radial probability. Geometric t0-chains stay above compact \u03b3 in this scan but that is a search, not a lower bound. The withdrawn h(D_L,D_R) lift remains withdrawn.",
"fmin": 0.8941074569749823,
"b3": 1.1184337992027067,
"t0": 0.5960716379833215,
"compact_gamma_R4": 0.901924285641075,
"compact_inv_R4": 1.1087405183786732,
"power_law_n35_Q": 0.9206784549690469,
"power_law_n35_inv": 1.08615553519564,
"equilibrium_power_law": {
"tag": "power-\u03b1=-2-n=3.5-64atoms",
"Q": 0.9206784549690469,
"D": 3.5,
"I": 3.222374592391664,
"max_rel_err": 0.001871545074167334,
"holds_at_1e-3": false,
"points": [
{
"r": 1.009835262072988,
"V": 2.080990304774076,
"rhs": 2.080626167279032,
"rel_err": 0.0001750134170042924
},
{
"r": 1.0297969347474056,
"V": 2.1004565093193337,
"rhs": 2.0993686350793728,
"rel_err": 0.0005181911465109597
},
{
"r": 1.0501531949262668,
"V": 2.1205465434385964,
"rhs": 2.1188594007325015,
"rel_err": 0.000796250428655946
},
{
"r": 1.0709118425219941,
"V": 2.1412963923438126,
"rhs": 2.1391283402228645,
"rel_err": 0.0010135212928469237
},
{
"r": 1.0920808316298793,
"V": 2.1627433045016886,
"rhs": 2.1602065223412796,
"rel_err": 0.0011743239056882203
},
{
"r": 1.1136682735758565,
"V": 2.1849258390540283,
"rhs": 2.1821262563080372,
"rel_err": 0.0012829609367918326
},
{
"r": 1.1356824400245207,
"V": 2.207883914628608,
"rhs": 2.2049211412973686,
"rel_err": 0.0013437094305766828
},
{
"r": 1.158131766148582,
"V": 2.2316588595684475,
"rhs": 2.228626117939185,
"rel_err": 0.0013608122084053176
},
{
"r": 1.181024853860974,
"V": 2.256293463606659,
"rhs": 2.2532775218770453,
"rel_err": 0.0013384688305510938
},
{
"r": 1.2043704751108493,
"V": 2.281832031013198,
"rhs": 2.278913139464432,
"rel_err": 0.001280826152703498
},
{
"r": 1.2281775752447301,
"V": 2.3083204352389544,
"rhs": 2.305572265684721,
"rel_err": 0.0011919685169430709
},
{
"r": 1.2524552764340984,
"V": 2.3358061750813794,
"rhs": 2.3332957643836165,
"rel_err": 0.0010759076222066914
},
{
"r": 1.2772128811707386,
"V": 2.3643384323947005,
"rhs": 2.362126130906384,
"rel_err": 0.0009365721243123216
},
{
"r": 1.302459875831178,
"V": 2.3939681313661216,
"rhs": 2.3921075572358905,
"rel_err": 0.0007777970202899336
},
{
"r": 1.3282059343115815,
"V": 2.424747999377876,
"rhs": 2.423285999731299,
"rel_err": 0.0006033128762924048
},
{
"r": 1.354460921734501,
"V": 2.4567326294729614,
"rhs": 2.4557092495712434,
"rel_err": 0.0004167349623725846
},
{
"r": 1.3812348982288967,
"V": 2.489978544440335,
"rhs": 2.48942700600947,
"rel_err": 0.0002215523610588142
},
{
"r": 1.4085381227848786,
"V": 2.524544262532848,
"rhs": 2.524490952555228,
"rel_err": 2.111711969730621e-05
},
{
"r": 1.4363810571846463,
"V": 2.560490364828632,
"rhs": 2.5609548361951826,
"rel_err": 0.00018136648096487592
},
{
"r": 1.4647743700111313,
"V": 2.597879564243508,
"rhs": 2.598874549778278,
"rel_err": 0.0003828524677555595
},
{
"r": 1.4937289407358811,
"V": 2.6367767761988374,
"rhs": 2.638308217689845,
"rel_err": 0.0005804634503047796
},
{
"r": 1.5232558638877476,
"V": 2.677249190945447,
"rhs": 2.679316284946265,
"rel_err": 0.0007715005549854566
},
{
"r": 1.5533664533039813,
"V": 2.719366347540287,
"rhs": 2.7219616098467614,
"rel_err": 0.0009534529425711951
},
{
"r": 1.5840722464653554,
"V": 2.763200209468005,
"rhs": 2.7663095603243395,
"rel_err": 0.0011240068360136451
},
{
"r": 1.615385008916985,
"V": 2.808825241894748,
"rhs": 2.8124281141435605,
"rel_err": 0.001281053987013553
},
{
"r": 1.6473167387765346,
"V": 2.856318490536139,
"rhs": 2.8603879630987405,
"rel_err": 0.001422699513178204
},
{
"r": 1.6798796713315376,
"V": 2.905759662115503,
"rhs": 2.9102626213722824,
"rel_err": 0.0015472690415327735
},
{
"r": 1.7130862837275944,
"V": 2.9572312063820254,
"rhs": 2.962128538219252,
"rel_err": 0.0016533150989358734
},
{
"r": 1.7469492997492446,
"V": 3.010818399651519,
"rhs": 3.0160652151509084,
"rel_err": 0.0017396226955015994
},
{
"r": 1.7814816946953393,
"V": 3.066609429824862,
"rhs": 3.072155327796818,
"rel_err": 0.0018052140533965945
},
{
"r": 1.8166967003507914,
"V": 3.1246954828308393,
"rhs": 3.130484852632343,
"rel_err": 0.0018493524402890995
},
{
"r": 1.8526078100566,
"V": 3.1851708304311526,
"rhs": 3.191143198765765,
"rel_err": 0.0018715450741672705
},
{
"r": 1.8892287838800972,
"V": 3.2481329193154815,
"rhs": 3.2542233449870324,
"rel_err": 0.001871545074167334
},
{
"r": 1.9265736538873963,
"V": 3.3136824614039564,
"rhs": 3.3198219822882247,
"rel_err": 0.0018493524402885438
},
{
"r": 1.9646567295200605,
"V": 3.3819235252627347,
"rhs": 3.3880396620741746,
"rel_err": 0.001805214053396186
},
{
"r": 2.0034926030780555,
"V": 3.4529636285260126,
"rhs": 3.458980950290445,
"rel_err": 0.0017396226955014326
},
{
"r": 2.043096155311084,
"V": 3.5269138312042094,
"rhs": 3.5327545877048983,
"rel_err": 0.001653315098936253
},
{
"r": 2.0834825611204435,
"V": 3.603888829743486,
"rhs": 3.609473656588551,
"rel_err": 0.0015472690415320957
},
{
"r": 2.1246672953736008,
"V": 3.684007051685933,
"rhs": 3.6892557540512096,
"rel_err": 0.0014226995131776568
},
{
"r": 2.1666661388336963,
"V": 3.7673907507627913,
"rhs": 3.7722231722975668,
"rel_err": 0.001281053987013226
},
{
"r": 2.209495184206264,
"V": 3.854166102234544,
"rhs": 3.8585030860800793,
"rel_err": 0.0011240068360140088
},
{
"r": 2.2531708423054755,
"V": 3.944463298272008,
"rhs": 3.9482277476359333,
"rel_err": 0.000953452942571393
},
{
"r": 2.2977098483422767,
"V": 4.0384166431510735,
"rhs": 4.0415346894069435,
"rel_err": 0.0007715005549853441
},
{
"r": 2.3431292683368214,
"V": 4.136164648010755,
"rhs": 4.138566934853078,
"rel_err": 0.0005804634503048426
},
{
"r": 2.3894465056576615,
"V": 4.23785012489939,
"rhs": 4.239473217682764,
"rel_err": 0.0003828524677555384
},
{
"r": 2.4366793076901994,
"V": 4.343620279807147,
"rhs": 4.344408209836038,
"rel_err": 0.00018136648096446747
},
{
"r": 2.4848457726369566,
"V": 4.453626804354307,
"rhs": 4.453532758569967,
"rel_err": 2.1117119697552093e-05
},
{
"r": 2.5339643564522683,
"V": 4.568025965773927,
"rhs": 4.567014133009771,
"rel_err": 0.00022155236105861868
},
{
"r": 2.584053879914052,
"V": 4.686978694794304,
"rhs": 4.685026280543564,
"rel_err": 0.00041673496237317636
},
{
"r": 2.635133535835371,
"V": 4.810650670991096,
"rhs": 4.807750093453719,
"rel_err": 0.0006033128762925585
},
{
"r": 2.6872228964185476,
"V": 4.939212405140697,
"rhs": 4.93537368619356,
"rel_err": 0.0007777970202896683
},
{
"r": 2.740341920754648,
"V": 5.072839318065409,
"rhs": 5.068092683734394,
"rel_err": 0.0009365721243119923
},
{
"r": 2.794510962471212,
"V": 5.211711815416931,
"rhs": 5.206110521424877,
"rel_err": 0.0010759076222070481
},
{
"r": 2.8497507775311566,
"V": 5.3560153577974985,
"rhs": 5.3496387568223485,
"rel_err": 0.0011919685169429434
},
{
"r": 2.9060825321858403,
"V": 5.505940525567322,
"rhs": 5.498897393974086,
"rel_err": 0.0012808261527036979
},
{
"r": 2.963527811085344,
"V": 5.661683077632783,
"rhs": 5.6541152206456085,
"rel_err": 0.0013384688305503457
},
{
"r": 3.022108625549063,
"V": 5.823444003451616,
"rhs": 5.815530159012884,
"rel_err": 0.0013608122084050602
},
{
"r": 3.08184742199979,
"V": 5.991429567429135,
"rhs": 5.983389630356012,
"rel_err": 0.001343709430576536
},
{
"r": 3.142767090564514,
"V": 6.165851344812814,
"rhs": 6.157950934313408,
"rel_err": 0.0012829609367920587
},
{
"r": 3.204890973845237,
"V": 6.346926248121178,
"rhs": 6.339481643277803,
"rel_err": 0.0011743239056885642
},
{
"r": 3.2682428758631628,
"V": 6.534876543066551,
"rhs": 6.5282600125386,
"rel_err": 0.0010135212928473112
},
{
"r": 3.332847071179688,
"V": 6.729929852849476,
"rhs": 6.724575406799282,
"rel_err": 0.0007962504286560337
},
{
"r": 3.398728314197692,
"V": 6.932319149615191,
"rhs": 6.928728743723621,
"rel_err": 0.0005181911465104588
},
{
"r": 3.465911848646686,
"V": 7.142282731769023,
"rhs": 7.141032955190597,
"rel_err": 0.00017501341700399813
}
]
},
"t0_chains": [
{
"k": 1,
"equal_m_Q": 1.0,
"equal_m_aspect": 1.0,
"equal_z_Q": 1.0,
"equal_z_aspect": 1.0,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0,
"equal_z_inv": 1.0
},
{
"k": 2,
"equal_m_Q": 0.9470537284874913,
"equal_m_aspect": 1.67765069880406,
"equal_z_Q": 0.9470537284874913,
"equal_z_aspect": 1.67765069880406,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0559063017439017,
"equal_z_inv": 1.0559063017439017
},
{
"k": 3,
"equal_m_Q": 0.9379263179805126,
"equal_m_aspect": 2.8145118671977505,
"equal_z_Q": 0.9379263179805125,
"equal_z_aspect": 2.8145118671977505,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0661818320154837,
"equal_z_inv": 1.0661818320154837
},
{
"k": 4,
"equal_m_Q": 0.9413189050685365,
"equal_m_aspect": 4.721767800796626,
"equal_z_Q": 0.9413189050685364,
"equal_z_aspect": 4.721767800796626,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0623392291554912,
"equal_z_inv": 1.0623392291554912
},
{
"k": 5,
"equal_m_Q": 0.9479386621099046,
"equal_m_aspect": 7.921477050596969,
"equal_z_Q": 0.9479386621099044,
"equal_z_aspect": 7.921477050596969,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0549205765847953,
"equal_z_inv": 1.0549205765847955
},
{
"k": 6,
"equal_m_Q": 0.9545580288872928,
"equal_m_aspect": 13.289471509494328,
"equal_z_Q": 0.954558028887293,
"equal_z_aspect": 13.289471509494328,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.047605247389389,
"equal_z_inv": 1.0476052473893889
},
{
"k": 7,
"equal_m_Q": 0.9602491339943094,
"equal_m_aspect": 22.295091164639807,
"equal_z_Q": 0.9602491339943093,
"equal_z_aspect": 22.295091164639807,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0413964091176426,
"equal_z_inv": 1.0413964091176429
},
{
"k": 8,
"equal_m_Q": 0.9649134535935113,
"equal_m_aspect": 37.403375272258195,
"equal_z_Q": 0.9649134535935114,
"equal_z_aspect": 37.403375272258195,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0363623766212609,
"equal_z_inv": 1.0363623766212606
},
{
"k": 9,
"equal_m_Q": 0.9686979342958915,
"equal_m_aspect": 62.749798663134456,
"equal_z_Q": 0.9686979342958912,
"equal_z_aspect": 62.749798663134456,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0323135464584847,
"equal_z_inv": 1.032313546458485
},
{
"k": 10,
"equal_m_Q": 0.9717859248897691,
"equal_m_aspect": 105.27224357702158,
"equal_z_Q": 0.9717859248897689,
"equal_z_aspect": 105.27224357702158,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0290332205762613,
"equal_z_inv": 1.0290332205762616
},
{
"k": 11,
"equal_m_Q": 0.9743353376602761,
"equal_m_aspect": 176.61005300166147,
"equal_z_Q": 0.9743353376602756,
"equal_z_aspect": 176.61005300166147,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0263406871820473,
"equal_z_inv": 1.026340687182048
},
{
"k": 12,
"equal_m_Q": 0.9764684004741279,
"equal_m_aspect": 296.28997883405947,
"equal_z_Q": 0.9764684004741275,
"equal_z_aspect": 296.28997883405947,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0240986800130412,
"equal_z_inv": 1.0240986800130416
},
{
"k": 13,
"equal_m_Q": 0.9782764672223052,
"equal_m_aspect": 497.07109003959994,
"equal_z_Q": 0.9782764672223055,
"equal_z_aspect": 497.07109003959994,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0222059238932488,
"equal_z_inv": 1.0222059238932484
},
{
"k": 14,
"equal_m_Q": 0.9798274035793063,
"equal_m_aspect": 833.9116615602306,
"equal_z_Q": 0.9798274035793064,
"equal_z_aspect": 833.9116615602306,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0205879079795108,
"equal_z_inv": 1.0205879079795106
},
{
"k": 15,
"equal_m_Q": 0.9811719744916305,
"equal_m_aspect": 1399.0124817573758,
"equal_z_Q": 0.9811719744916312,
"equal_z_aspect": 1399.0124817573758,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0191893225630755,
"equal_z_inv": 1.0191893225630746
},
{
"k": 16,
"equal_m_Q": 0.9823486292221693,
"equal_m_aspect": 2347.0542676558634,
"equal_z_Q": 0.9823486292221691,
"equal_z_aspect": 2347.0542676558634,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0179685401422174,
"equal_z_inv": 1.0179685401422174
},
{
"k": 17,
"equal_m_Q": 0.9833869103135324,
"equal_m_aspect": 3937.537232263911,
"equal_z_Q": 0.9833869103135318,
"equal_z_aspect": 3937.537232263911,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0168937470208657,
"equal_z_inv": 1.0168937470208663
},
{
"k": 18,
"equal_m_Q": 0.98430984722999,
"equal_m_aspect": 6605.812089274554,
"equal_z_Q": 0.9843098472299898,
"equal_z_aspect": 6605.812089274554,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0159402578508836,
"equal_z_inv": 1.0159402578508838
},
{
"k": 19,
"equal_m_Q": 0.9851356402568734,
"equal_m_aspect": 11082.245267739763,
"equal_z_Q": 0.9851356402568748,
"equal_z_aspect": 11082.245267739763,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0150886427571038,
"equal_z_inv": 1.0150886427571022
},
{
"k": 20,
"equal_m_Q": 0.985878856636145,
"equal_m_aspect": 18592.1365177416,
"equal_z_Q": 0.9858788566361459,
"equal_z_aspect": 18592.1365177416,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0143234062367834,
"equal_z_inv": 1.0143234062367823
},
{
"k": 21,
"equal_m_Q": 0.9865512914587887,
"equal_m_aspect": 31191.110821249677,
"equal_z_Q": 0.9865512914587895,
"equal_z_aspect": 31191.110821249677,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0136320418995397,
"equal_z_inv": 1.013632041899539
},
{
"k": 22,
"equal_m_Q": 0.9871625961865514,
"equal_m_aspect": 52327.7888657444,
"equal_z_Q": 0.9871625961865519,
"equal_z_aspect": 52327.7888657444,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0130043458524867,
"equal_z_inv": 1.0130043458524862
},
{
"k": 23,
"equal_m_Q": 0.987720744104818,
"equal_m_aspect": 87787.7515574874,
"equal_z_Q": 0.9877207441048192,
"equal_z_aspect": 87787.7515574874,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0124319105055455,
"equal_z_inv": 1.0124319105055444
},
{
"k": 24,
"equal_m_Q": 0.98823237974081,
"equal_m_aspect": 147277.18274685592,
"equal_z_Q": 0.9882323797408114,
"equal_z_aspect": 147277.18274685592,
"equal_m_below_compact": false,
"equal_z_below_compact": false,
"equal_m_inv": 1.0119077460933594,
"equal_z_inv": 1.011907746093358
}
],
"t0_chain_min_equal_m_Q": 0.9379263179805126,
"t0_chain_min_equal_z_Q": 0.9379263179805125,
"any_chain_below_compact": false,
"below_compact": [],
"k_atomic_opt": [
{
"k": 2,
"Q": 0.9432997272205953,
"aspect": 1.7807749372140407,
"radii": [
1.0,
1.7807749372140407
],
"masses": [
0.6403853352407264,
0.35961466475927356
],
"equilibrium_max_rel_err": 3.219377509945267e-07,
"inv": 1.0601084375869274
},
{
"k": 3,
"Q": 0.9310344827636453,
"aspect": 2.2500190149719232,
"radii": [
1.0,
2.2500190149719232,
1.5000063232852252
],
"masses": [
0.46551870370070997,
0.2068963049365707,
0.32758499136271946
],
"equilibrium_max_rel_err": 3.4597826242739903e-07,
"inv": 1.0740740740682775
},
{
"k": 4,
"Q": 0.9265301853956726,
"aspect": 2.5523690040042024,
"radii": [
1.854967368240712,
1.37596552179426,
2.5523690040042024,
1.0
],
"masses": [
0.2101399534216137,
0.28329436099739186,
0.14259922212832613,
0.3639664634526683
],
"equilibrium_max_rel_err": 1.1491619443368968e-07,
"inv": 1.0792956514125358
},
{
"k": 5,
"Q": 0.9244006294490803,
"aspect": 2.761184850774797,
"radii": [
1.0,
2.1179301500998338,
1.3037215671608446,
1.6616862344740464,
2.761184850774797
],
"masses": [
0.29817006574097416,
0.15132575657542444,
0.24583587305940824,
0.19668068737303612,
0.10798761725115706
],
"equilibrium_max_rel_err": 1.1685235771671058e-07,
"inv": 1.0817820414033847
},
{
"k": 6,
"Q": 0.9232307844581592,
"aspect": 2.913359871416808,
"radii": [
1.8871052268055883,
2.319961557207525,
1.543824249248174,
2.913359871416808,
1.2557746075059502,
1.0
],
"masses": [
0.14779821618584926,
0.11683721548862015,
0.1806624028716379,
0.08658877089766435,
0.21585235829528895,
0.2522610362609393
],
"equilibrium_max_rel_err": 1.9315394127971784e-07,
"inv": 1.0831527900002775
}
],
"truncation_power_alpha_m2": [
{
"Q_full": 0.9211443837714258,
"Q_trunc": 0.9211443837714258,
"aspect_full": 3.8861277646144226,
"truncated": false,
"Q_increased": false,
"n": 4.0,
"alpha": -2.0
},
{
"Q_full": 0.9267008090743243,
"Q_trunc": 0.9214020306969617,
"aspect_full": 5.780158745650013,
"truncated": true,
"Q_increased": false,
"Q_decreased": true,
"n": 6.0,
"alpha": -2.0
},
{
"Q_full": 0.932973630620418,
"Q_trunc": 0.921515139336277,
"aspect_full": 7.6608262455885905,
"truncated": true,
"Q_increased": false,
"Q_decreased": true,
"n": 8.0,
"alpha": -2.0
},
{
"Q_full": 0.943113367795106,
"Q_trunc": 0.9213152242297367,
"aspect_full": 11.394579515770893,
"truncated": true,
"Q_increased": false,
"Q_decreased": true,
"n": 12.0,
"alpha": -2.0
},
{
"Q_full": 0.9558718866815704,
"Q_trunc": 0.92166207890741,
"aspect_full": 18.789931813022115,
"truncated": true,
"Q_increased": false,
"Q_decreased": true,
"n": 20.0,
"alpha": -2.0
},
{
"Q_full": 0.9705980888510506,
"Q_trunc": 0.921975822736133,
"aspect_full": 37.04108858610879,
"truncated": true,
"Q_increased": false,
"Q_decreased": true,
"n": 40.0,
"alpha": -2.0
},
{
"Q_full": 0.981394856899672,
"Q_trunc": 0.9220948373287527,
"aspect_full": 73.02007571379706,
"truncated": true,
"Q_increased": false,
"Q_decreased": true,
"n": 80.0,
"alpha": -2.0
}
],
"truncation_t0_chain16": {
"Q_full": 0.9823486292221693,
"Q_trunc": 0.9379263179805126,
"aspect_full": 2347.0542676558634,
"truncated": true,
"Q_increased": false,
"Q_decreased": true
},
"truncation_can_increase_Q": false,
"random_atomic_min_Q": 0.9304279244788176,
"random_below_compact": [],
"note_on_equilibrium": "For a probability-constrained critical point, V(r)=(Q/2)(r\u00b2+D) on the support. A one-point measure satisfies it with Q=1. A discrete k-atomic local min is only approximately critical (Nelder\u2013Mead). The identity is not used as a bound."
}