SabaPivot's picture
download
raw
17.1 kB
{
"gamma": 0.1,
"seed": 20260725,
"theorem": "3.11",
"lemma_random_trials": 4000000,
"lemma_violations": 0,
"lemma_grid_violations": 0,
"lemma_holds": true,
"worst_case_table": [
{
"d_gamma": 2,
"n": 2,
"n_over_d": 1.0,
"worst_E_loss": 0.29701531526874037,
"n_L_over_d": 0.29701531526874037,
"argmax_point_mass": 0.2593882201637557
},
{
"d_gamma": 2,
"n": 4,
"n_over_d": 2.0,
"worst_E_loss": 0.15995710666884547,
"n_L_over_d": 0.31991421333769093,
"argmax_point_mass": 0.1465490684624363
},
{
"d_gamma": 2,
"n": 10,
"n_over_d": 5.0,
"worst_E_loss": 0.06709749181365726,
"n_L_over_d": 0.3354874590682863,
"argmax_point_mass": 0.06368072118489988
},
{
"d_gamma": 2,
"n": 20,
"n_over_d": 10.0,
"worst_E_loss": 0.034103290692079624,
"n_L_over_d": 0.34103290692079624,
"argmax_point_mass": 0.032712438688129966
},
{
"d_gamma": 2,
"n": 100,
"n_over_d": 50.0,
"worst_E_loss": 0.006912140494135477,
"n_L_over_d": 0.34560702470677385,
"argmax_point_mass": 0.006704867702489228
},
{
"d_gamma": 2,
"n": 200,
"n_over_d": 100.0,
"worst_E_loss": 0.003461881837063878,
"n_L_over_d": 0.34618818370638776,
"argmax_point_mass": 0.0033550142666452336
},
{
"d_gamma": 2,
"n": 1000,
"n_over_d": 500.0,
"worst_E_loss": 0.0006933077176608586,
"n_L_over_d": 0.34665385883042926,
"argmax_point_mass": 0.000672041312216593
},
{
"d_gamma": 2,
"n": 2000,
"n_over_d": 1000.0,
"worst_E_loss": 0.00034671249027790383,
"n_L_over_d": 0.34671249027790385,
"argmax_point_mass": 0.0003362792959247466
},
{
"d_gamma": 4,
"n": 4,
"n_over_d": 1.0,
"worst_E_loss": 0.31991430795805775,
"n_L_over_d": 0.31991430795805775,
"argmax_point_mass": 0.14693334594180582
},
{
"d_gamma": 4,
"n": 8,
"n_over_d": 2.0,
"worst_E_loss": 0.1663922190982126,
"n_L_over_d": 0.3327844381964252,
"argmax_point_mass": 0.07842530780853664
},
{
"d_gamma": 4,
"n": 20,
"n_over_d": 5.0,
"worst_E_loss": 0.06820653367441719,
"n_L_over_d": 0.34103266837208596,
"argmax_point_mass": 0.0327458389295688
},
{
"d_gamma": 4,
"n": 40,
"n_over_d": 10.0,
"worst_E_loss": 0.03438770467256673,
"n_L_over_d": 0.3438770467256673,
"argmax_point_mass": 0.01657849119747231
},
{
"d_gamma": 4,
"n": 200,
"n_over_d": 50.0,
"worst_E_loss": 0.006923764262813843,
"n_L_over_d": 0.34618821314069215,
"argmax_point_mass": 0.0033553378791740763
},
{
"d_gamma": 4,
"n": 400,
"n_over_d": 100.0,
"worst_E_loss": 0.0034647916646720098,
"n_L_over_d": 0.34647916646720095,
"argmax_point_mass": 0.0016829672859329204
},
{
"d_gamma": 4,
"n": 2000,
"n_over_d": 500.0,
"worst_E_loss": 0.0006934252771991115,
"n_L_over_d": 0.34671263859955576,
"argmax_point_mass": 0.00033640902706690614
},
{
"d_gamma": 4,
"n": 4000,
"n_over_d": 1000.0,
"worst_E_loss": 0.0003467417898541491,
"n_L_over_d": 0.3467417898541491,
"argmax_point_mass": 0.0001682121000756485
},
{
"d_gamma": 8,
"n": 8,
"n_over_d": 1.0,
"worst_E_loss": 0.33278439370780616,
"n_L_over_d": 0.33278439370780616,
"argmax_point_mass": 0.07838937048022118
},
{
"d_gamma": 8,
"n": 16,
"n_over_d": 2.0,
"worst_E_loss": 0.1698144318242713,
"n_L_over_d": 0.3396288636485426,
"argmax_point_mass": 0.04062176986975435
},
{
"d_gamma": 8,
"n": 40,
"n_over_d": 5.0,
"worst_E_loss": 0.06877544264410045,
"n_L_over_d": 0.34387721322050224,
"argmax_point_mass": 0.01659672006409456
},
{
"d_gamma": 8,
"n": 80,
"n_over_d": 10.0,
"worst_E_loss": 0.03453178005715689,
"n_L_over_d": 0.3453178005715689,
"argmax_point_mass": 0.00835176896863774
},
{
"d_gamma": 8,
"n": 400,
"n_over_d": 50.0,
"worst_E_loss": 0.0069295870499986876,
"n_L_over_d": 0.3464793524999344,
"argmax_point_mass": 0.0016821947754045539
},
{
"d_gamma": 8,
"n": 800,
"n_over_d": 100.0,
"worst_E_loss": 0.003466251640070529,
"n_L_over_d": 0.3466251640070529,
"argmax_point_mass": 0.0008415567171727733
},
{
"d_gamma": 8,
"n": 4000,
"n_over_d": 500.0,
"worst_E_loss": 0.0006934833039494932,
"n_L_over_d": 0.3467416519747466,
"argmax_point_mass": 0.00016851249398728524
},
{
"d_gamma": 8,
"n": 8000,
"n_over_d": 1000.0,
"worst_E_loss": 0.00034675604429475866,
"n_L_over_d": 0.34675604429475865,
"argmax_point_mass": 8.405521649594145e-05
},
{
"d_gamma": 16,
"n": 16,
"n_over_d": 1.0,
"worst_E_loss": 0.33962884317453335,
"n_L_over_d": 0.33962884317453335,
"argmax_point_mass": 0.0406250515567103
},
{
"d_gamma": 16,
"n": 32,
"n_over_d": 2.0,
"worst_E_loss": 0.17158072147358536,
"n_L_over_d": 0.3431614429471707,
"argmax_point_mass": 0.020652508938813575
},
{
"d_gamma": 16,
"n": 80,
"n_over_d": 5.0,
"worst_E_loss": 0.06906353157139633,
"n_L_over_d": 0.34531765785698165,
"argmax_point_mass": 0.008348574312260377
},
{
"d_gamma": 16,
"n": 160,
"n_over_d": 10.0,
"worst_E_loss": 0.034604271055663244,
"n_L_over_d": 0.34604271055663244,
"argmax_point_mass": 0.0041975331207105265
},
{
"d_gamma": 16,
"n": 800,
"n_over_d": 50.0,
"worst_E_loss": 0.006932503799365646,
"n_L_over_d": 0.3466251899682823,
"argmax_point_mass": 0.0008414321374811856
},
{
"d_gamma": 16,
"n": 1600,
"n_over_d": 100.0,
"worst_E_loss": 0.0034669814062004323,
"n_L_over_d": 0.3466981406200432,
"argmax_point_mass": 0.0004207289244264521
},
{
"d_gamma": 16,
"n": 8000,
"n_over_d": 500.0,
"worst_E_loss": 0.0006935127158900396,
"n_L_over_d": 0.3467563579450198,
"argmax_point_mass": 8.41062101486523e-05
},
{
"d_gamma": 16,
"n": 16000,
"n_over_d": 1000.0,
"worst_E_loss": 0.00034676365296365546,
"n_L_over_d": 0.34676365296365547,
"argmax_point_mass": 4.205439007755852e-05
},
{
"d_gamma": 32,
"n": 32,
"n_over_d": 1.0,
"worst_E_loss": 0.3431614693930798,
"n_L_over_d": 0.3431614693930798,
"argmax_point_mass": 0.020654327597740014
},
{
"d_gamma": 32,
"n": 64,
"n_over_d": 2.0,
"worst_E_loss": 0.1724782665753538,
"n_L_over_d": 0.3449565331507076,
"argmax_point_mass": 0.010429819104791016
},
{
"d_gamma": 32,
"n": 160,
"n_over_d": 5.0,
"worst_E_loss": 0.06920858235296756,
"n_L_over_d": 0.3460429117648378,
"argmax_point_mass": 0.004194025461883104
},
{
"d_gamma": 32,
"n": 320,
"n_over_d": 10.0,
"worst_E_loss": 0.03464065750402433,
"n_L_over_d": 0.3464065750402433,
"argmax_point_mass": 0.0021014777551911627
},
{
"d_gamma": 32,
"n": 1600,
"n_over_d": 50.0,
"worst_E_loss": 0.006933956418933816,
"n_L_over_d": 0.3466978209466908,
"argmax_point_mass": 0.0004212353707571203
},
{
"d_gamma": 32,
"n": 3200,
"n_over_d": 100.0,
"worst_E_loss": 0.0034673455355053767,
"n_L_over_d": 0.34673455355053767,
"argmax_point_mass": 0.00021052058702171909
},
{
"d_gamma": 32,
"n": 16000,
"n_over_d": 500.0,
"worst_E_loss": 0.0006935276098452974,
"n_L_over_d": 0.3467638049226487,
"argmax_point_mass": 4.2089194369594634e-05
},
{
"d_gamma": 32,
"n": 32000,
"n_over_d": 1000.0,
"worst_E_loss": 0.000346767404750135,
"n_L_over_d": 0.346767404750135,
"argmax_point_mass": 2.1034895265400766e-05
},
{
"d_gamma": 64,
"n": 64,
"n_over_d": 1.0,
"worst_E_loss": 0.3449562071747043,
"n_L_over_d": 0.3449562071747043,
"argmax_point_mass": 0.01043960954973445
},
{
"d_gamma": 64,
"n": 128,
"n_over_d": 2.0,
"worst_E_loss": 0.1729306026998665,
"n_L_over_d": 0.345861205399733,
"argmax_point_mass": 0.005233004893381321
},
{
"d_gamma": 64,
"n": 320,
"n_over_d": 5.0,
"worst_E_loss": 0.06928132229239582,
"n_L_over_d": 0.3464066114619791,
"argmax_point_mass": 0.002100564611617468
},
{
"d_gamma": 64,
"n": 640,
"n_over_d": 10.0,
"worst_E_loss": 0.03465885916338408,
"n_L_over_d": 0.34658859163384076,
"argmax_point_mass": 0.0010503987887716933
},
{
"d_gamma": 64,
"n": 3200,
"n_over_d": 50.0,
"worst_E_loss": 0.006934691728234353,
"n_L_over_d": 0.3467345864117176,
"argmax_point_mass": 0.00021033355709627994
},
{
"d_gamma": 64,
"n": 6400,
"n_over_d": 100.0,
"worst_E_loss": 0.0034675283108579888,
"n_L_over_d": 0.34675283108579885,
"argmax_point_mass": 0.00010517844221028338
},
{
"d_gamma": 64,
"n": 32000,
"n_over_d": 500.0,
"worst_E_loss": 0.0006935346160210624,
"n_L_over_d": 0.3467673080105312,
"argmax_point_mass": 2.1061101856185413e-05
},
{
"d_gamma": 64,
"n": 64000,
"n_over_d": 1000.0,
"worst_E_loss": 0.00034676909232932824,
"n_L_over_d": 0.34676909232932823,
"argmax_point_mass": 1.0531718832918783e-05
},
{
"d_gamma": 128,
"n": 128,
"n_over_d": 1.0,
"worst_E_loss": 0.34586114857675293,
"n_L_over_d": 0.34586114857675293,
"argmax_point_mass": 0.00524224791798122
},
{
"d_gamma": 128,
"n": 256,
"n_over_d": 2.0,
"worst_E_loss": 0.17315773437231213,
"n_L_over_d": 0.34631546874462427,
"argmax_point_mass": 0.0026225533259832162
},
{
"d_gamma": 128,
"n": 640,
"n_over_d": 5.0,
"worst_E_loss": 0.06931774527336756,
"n_L_over_d": 0.3465887263668378,
"argmax_point_mass": 0.0010508977293455766
},
{
"d_gamma": 128,
"n": 1280,
"n_over_d": 10.0,
"worst_E_loss": 0.0346679887227455,
"n_L_over_d": 0.346679887227455,
"argmax_point_mass": 0.00052573540559005
},
{
"d_gamma": 128,
"n": 6400,
"n_over_d": 50.0,
"worst_E_loss": 0.0069350557458542576,
"n_L_over_d": 0.34675278729271286,
"argmax_point_mass": 0.00010515663551981263
},
{
"d_gamma": 128,
"n": 12800,
"n_over_d": 100.0,
"worst_E_loss": 0.003467619799985388,
"n_L_over_d": 0.3467619799985388,
"argmax_point_mass": 5.260699008258486e-05
},
{
"d_gamma": 128,
"n": 64000,
"n_over_d": 500.0,
"worst_E_loss": 0.0006935385564206824,
"n_L_over_d": 0.3467692782103412,
"argmax_point_mass": 1.0522354064588934e-05
},
{
"d_gamma": 128,
"n": 128000,
"n_over_d": 1000.0,
"worst_E_loss": 0.00034677012177882985,
"n_L_over_d": 0.3467701217788298,
"argmax_point_mass": 5.264046088817505e-06
}
],
"n_L_over_d_max": 0.3467701217788298,
"n_L_over_d_min": 0.29701531526874037,
"fits": {
"log_L_vs_log_n_at_d8": {
"slope": -0.9954453202601332,
"r2": 0.9999874840922762
},
"log_L_vs_log_n_at_d32": {
"slope": -0.998846064158327,
"r2": 0.9999991921030532
},
"log_L_vs_log_n_at_d128": {
"slope": -0.9997104817692551,
"r2": 0.99999994906163
},
"log_L_vs_log_d_at_n_5000": {
"slope": 1.0000000377788516,
"r2": 0.9999999999999228
},
"log_L_vs_log_d_at_n_20000": {
"slope": 1.0000002176754264,
"r2": 0.9999999999999386
},
"log_L_vs_log_d_at_n_100000": {
"slope": 1.0000001288910425,
"r2": 0.9999999999999694
}
},
"d_exponent_mean": 1.000000128115107,
"sample_complexity": [
{
"d_gamma": 8,
"eps": 0.1,
"n_eps": 28,
"n_eps_over_d_over_eps": 0.35
},
{
"d_gamma": 8,
"eps": 0.05,
"n_eps": 56,
"n_eps_over_d_over_eps": 0.35
},
{
"d_gamma": 8,
"eps": 0.02,
"n_eps": 139,
"n_eps_over_d_over_eps": 0.3475
},
{
"d_gamma": 8,
"eps": 0.01,
"n_eps": 278,
"n_eps_over_d_over_eps": 0.3475
},
{
"d_gamma": 8,
"eps": 0.005,
"n_eps": 555,
"n_eps_over_d_over_eps": 0.346875
},
{
"d_gamma": 32,
"eps": 0.1,
"n_eps": 111,
"n_eps_over_d_over_eps": 0.346875
},
{
"d_gamma": 32,
"eps": 0.05,
"n_eps": 222,
"n_eps_over_d_over_eps": 0.346875
},
{
"d_gamma": 32,
"eps": 0.02,
"n_eps": 555,
"n_eps_over_d_over_eps": 0.346875
},
{
"d_gamma": 32,
"eps": 0.01,
"n_eps": 1110,
"n_eps_over_d_over_eps": 0.346875
},
{
"d_gamma": 32,
"eps": 0.005,
"n_eps": 2219,
"n_eps_over_d_over_eps": 0.34671875
},
{
"d_gamma": 128,
"eps": 0.1,
"n_eps": 444,
"n_eps_over_d_over_eps": 0.346875
},
{
"d_gamma": 128,
"eps": 0.05,
"n_eps": 888,
"n_eps_over_d_over_eps": 0.346875
},
{
"d_gamma": 128,
"eps": 0.02,
"n_eps": 2219,
"n_eps_over_d_over_eps": 0.34671875
},
{
"d_gamma": 128,
"eps": 0.01,
"n_eps": 4439,
"n_eps_over_d_over_eps": 0.346796875
},
{
"d_gamma": 128,
"eps": 0.005,
"n_eps": 8878,
"n_eps_over_d_over_eps": 0.346796875
}
],
"sample_complexity_constant_mean": 0.34734374999999995,
"sample_complexity_constant_cv": 0.003071911976892476,
"monte_carlo": [
{
"d_gamma": 8,
"n": 40,
"point_mass_u": 0.01659672006409456,
"analytic_median3": 0.06877544264410045,
"mc_median3": 0.06876021122554374,
"mc_stderr": 0.00035586428796423623,
"mc_single_interpolator": 0.06800506046262746,
"rel_err": 0.0002214659473080712
},
{
"d_gamma": 8,
"n": 200,
"point_mass_u": 0.0033526994457588792,
"analytic_median3": 0.013847513822736508,
"mc_median3": 0.013832399738339695,
"mc_stderr": 7.33278999209303e-05,
"mc_single_interpolator": 0.01375780217567156,
"rel_err": 0.0010914655576654084
},
{
"d_gamma": 12,
"n": 120,
"point_mass_u": 0.005583544785395762,
"analytic_median3": 0.034580087715888885,
"mc_median3": 0.034518869749512945,
"mc_stderr": 0.00015180605111041038,
"mc_single_interpolator": 0.034196420038156344,
"rel_err": 0.0017703242073562303
},
{
"d_gamma": 32,
"n": 160,
"point_mass_u": 0.004194025461883104,
"analytic_median3": 0.06920858235296756,
"mc_median3": 0.06949814742249945,
"mc_stderr": 0.00018144148665138378,
"mc_single_interpolator": 0.06860167448002193,
"rel_err": 0.004183947419340105
},
{
"d_gamma": 32,
"n": 800,
"point_mass_u": 0.0008406807381315467,
"analytic_median3": 0.01386500512492784,
"mc_median3": 0.013821842185805292,
"mc_stderr": 3.7286146822824774e-05,
"mc_single_interpolator": 0.013742608026236393,
"rel_err": 0.0031130849742670276
},
{
"d_gamma": 128,
"n": 640,
"point_mass_u": 0.0010508977293455766,
"analytic_median3": 0.06931774527336756,
"mc_median3": 0.06921580259675238,
"mc_stderr": 9.108452596721075e-05,
"mc_single_interpolator": 0.06848936954134226,
"rel_err": 0.0014706577112853004
}
],
"mc_max_rel_err": 0.004183947419340105,
"comparison": [
{
"d_gamma": 8,
"n": 800,
"median_of_3": 0.003466251640070529,
"single_interpolator_same_profile": 0.0034329187755339037,
"single_interpolator_worst_profile": 0.003676496762698608
},
{
"d_gamma": 32,
"n": 3200,
"median_of_3": 0.0034673455355053767,
"single_interpolator_same_profile": 0.003434348608423187,
"single_interpolator_worst_profile": 0.0036782155013219855
},
{
"d_gamma": 128,
"n": 12800,
"median_of_3": 0.003467619799985388,
"single_interpolator_same_profile": 0.0034340379082438695,
"single_interpolator_worst_profile": 0.0036786504871012594
}
],
"boundary_infinite_dgamma_median3_loss": 0.873655,
"verdict": "verified"
}

Xet Storage Details

Size:
17.1 kB
·
Xet hash:
e1da94aec24f52e3fc41e93d034c9c66fda89b70a2b65af7cb951253dd685509

Xet efficiently stores files, intelligently splitting them into unique chunks and accelerating uploads and downloads. More info.