| { | |
| "certificate_slopes": { | |
| "fixed_point_certificate_slope_vs_sigma": 0.2601412726061046, | |
| "interpretation": "a target fixed-point accuracy delta therefore needs sigma = rho - 1 ~ delta^4, which is Theorem 3.5.", | |
| "predicted_fixed_point_slope": 0.25, | |
| "predicted_vi_slope": 0.5, | |
| "vi_certificate_slope_vs_sigma": 0.5101412691616523 | |
| }, | |
| "claim": "Theorem 3.5 phase transition", | |
| "cut_validity_mechanism": { | |
| "theta_0": [ | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.0, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 1e-06, | |
| "sigma_hypo": 9.999999999177334e-07 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 0.0001, | |
| "sigma_hypo": 9.999999999998899e-05 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 0.001, | |
| "sigma_hypo": 0.0009999999999998899 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 0.01, | |
| "sigma_hypo": 0.010000000000000009 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 0.05, | |
| "sigma_hypo": 0.050000000000000044 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 0.1, | |
| "sigma_hypo": 0.10000000000000009 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 0.3, | |
| "sigma_hypo": 0.30000000000000004 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 0.5, | |
| "sigma_hypo": 0.5 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 1.0, | |
| "sigma_hypo": 1.0 | |
| } | |
| ], | |
| "theta_30": [ | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.0, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 1e-06, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.0001, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.001, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.01, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.05, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.1, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.782652210175146, | |
| "sigma": 0.3, | |
| "sigma_hypo": 0.12583302491977033 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 0.5, | |
| "sigma_hypo": 0.299038105676658 | |
| }, | |
| { | |
| "invalid_cut_fraction": 1.0, | |
| "sigma": 1.0, | |
| "sigma_hypo": 0.7320508075688774 | |
| } | |
| ], | |
| "theta_60": [ | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.0, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 1e-06, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.0001, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.001, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.01, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.05, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.1, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.3, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.5, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 1.0, | |
| "sigma_hypo": 2.220446049250313e-16 | |
| } | |
| ], | |
| "theta_90": [ | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.0, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 1e-06, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.0001, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.001, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.01, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.05, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.1, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.3, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 0.5, | |
| "sigma_hypo": 0.0 | |
| }, | |
| { | |
| "invalid_cut_fraction": 0.0, | |
| "sigma": 1.0, | |
| "sigma_hypo": 0.0 | |
| } | |
| ] | |
| }, | |
| "ellipsoid_scaling": { | |
| "C": 2.0342970523960076, | |
| "R2": 0.9920623668132444, | |
| "exponent_a_in_d": 1.9570976912065459, | |
| "exponent_b_in_log_1_over_eps": 0.9934265592727064, | |
| "measurements": [ | |
| { | |
| "d": 2, | |
| "eps": 0.01, | |
| "final_gap": 0.007513686894428698, | |
| "invalid_cuts": 0, | |
| "iterations": 23, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 0.01, | |
| "final_gap": 0.009864796592265204, | |
| "invalid_cuts": 0, | |
| "iterations": 29, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 0.01, | |
| "final_gap": 0.008763435210285393, | |
| "invalid_cuts": 0, | |
| "iterations": 42, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 0.001, | |
| "final_gap": 0.0009193643446917853, | |
| "invalid_cuts": 0, | |
| "iterations": 38, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 0.001, | |
| "final_gap": 0.00085582860539162, | |
| "invalid_cuts": 0, | |
| "iterations": 41, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 0.001, | |
| "final_gap": 0.0009259208050885395, | |
| "invalid_cuts": 0, | |
| "iterations": 53, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 0.0001, | |
| "final_gap": 8.993358057277694e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 71, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 0.0001, | |
| "final_gap": 9.518533856200632e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 78, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 0.0001, | |
| "final_gap": 8.65367312096692e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 72, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-05, | |
| "final_gap": 8.392122452774324e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 92, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-05, | |
| "final_gap": 9.71906071690455e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 91, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-05, | |
| "final_gap": 8.641392348598098e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 70, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-06, | |
| "final_gap": 7.860951543194097e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 112, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-06, | |
| "final_gap": 8.135256412449392e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 108, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-06, | |
| "final_gap": 9.094849551536678e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 94, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-07, | |
| "final_gap": 8.680173907000533e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 85, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-07, | |
| "final_gap": 9.85081463504491e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 126, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-07, | |
| "final_gap": 8.036097665461928e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 119, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-08, | |
| "final_gap": 9.312785489511724e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 136, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-08, | |
| "final_gap": 9.236415563380629e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 138, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 2, | |
| "eps": 1e-08, | |
| "final_gap": 8.66846530316713e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 149, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.01, | |
| "final_gap": 0.009873343541163435, | |
| "invalid_cuts": 0, | |
| "iterations": 144, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.01, | |
| "final_gap": 0.00883813237115721, | |
| "invalid_cuts": 0, | |
| "iterations": 132, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.01, | |
| "final_gap": 0.009592395215248293, | |
| "invalid_cuts": 0, | |
| "iterations": 145, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.001, | |
| "final_gap": 0.0009999002595440063, | |
| "invalid_cuts": 0, | |
| "iterations": 232, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.001, | |
| "final_gap": 0.0009696670057402171, | |
| "invalid_cuts": 0, | |
| "iterations": 212, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.001, | |
| "final_gap": 0.0009294282023007223, | |
| "invalid_cuts": 0, | |
| "iterations": 222, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.0001, | |
| "final_gap": 9.677168996549957e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 302, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.0001, | |
| "final_gap": 9.925211043886785e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 299, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 0.0001, | |
| "final_gap": 9.610146176175854e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 286, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-05, | |
| "final_gap": 9.602649548692737e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 379, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-05, | |
| "final_gap": 9.58457171862724e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 373, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-05, | |
| "final_gap": 8.734598682384027e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 372, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-06, | |
| "final_gap": 9.383767306606288e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 411, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-06, | |
| "final_gap": 9.51800745932903e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 418, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-06, | |
| "final_gap": 8.923061092814013e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 422, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-07, | |
| "final_gap": 9.975361720287779e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 486, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-07, | |
| "final_gap": 9.757239914992802e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 486, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-07, | |
| "final_gap": 9.643221746134326e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 530, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-08, | |
| "final_gap": 8.83252127800523e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 594, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-08, | |
| "final_gap": 9.972477702266061e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 556, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 4, | |
| "eps": 1e-08, | |
| "final_gap": 9.551451696796903e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 592, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.01, | |
| "final_gap": 0.008850797165969369, | |
| "invalid_cuts": 0, | |
| "iterations": 524, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.01, | |
| "final_gap": 0.009550939627275273, | |
| "invalid_cuts": 0, | |
| "iterations": 569, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.01, | |
| "final_gap": 0.00971090359325432, | |
| "invalid_cuts": 0, | |
| "iterations": 566, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.001, | |
| "final_gap": 0.0009859697223529864, | |
| "invalid_cuts": 0, | |
| "iterations": 864, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.001, | |
| "final_gap": 0.0009112752943110193, | |
| "invalid_cuts": 0, | |
| "iterations": 883, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.001, | |
| "final_gap": 0.0009868373426225264, | |
| "invalid_cuts": 0, | |
| "iterations": 854, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.0001, | |
| "final_gap": 9.463849912961681e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 1145, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.0001, | |
| "final_gap": 9.926094760144647e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 1179, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 0.0001, | |
| "final_gap": 9.578983585324762e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 1108, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-05, | |
| "final_gap": 9.757489228453445e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 1445, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-05, | |
| "final_gap": 9.843587787792194e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 1389, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-05, | |
| "final_gap": 9.735705328819099e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 1451, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-06, | |
| "final_gap": 9.78998494903905e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 1741, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-06, | |
| "final_gap": 9.865711252655626e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 1752, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-06, | |
| "final_gap": 9.883960269476536e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 1750, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-07, | |
| "final_gap": 9.947542371153214e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 2043, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-07, | |
| "final_gap": 9.158587516983899e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 2081, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-07, | |
| "final_gap": 9.955444799792771e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 2041, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-08, | |
| "final_gap": 9.713385337651377e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 2322, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-08, | |
| "final_gap": 9.725855962467799e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 2312, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 8, | |
| "eps": 1e-08, | |
| "final_gap": 9.824880874135082e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 2348, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.01, | |
| "final_gap": 0.009496685224220477, | |
| "invalid_cuts": 0, | |
| "iterations": 2354, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.01, | |
| "final_gap": 0.009979062629467909, | |
| "invalid_cuts": 0, | |
| "iterations": 2236, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.01, | |
| "final_gap": 0.009836009937661688, | |
| "invalid_cuts": 0, | |
| "iterations": 2401, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.001, | |
| "final_gap": 0.0009971906631380772, | |
| "invalid_cuts": 0, | |
| "iterations": 3404, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.001, | |
| "final_gap": 0.000997711081085181, | |
| "invalid_cuts": 0, | |
| "iterations": 3581, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.001, | |
| "final_gap": 0.0009718956699993058, | |
| "invalid_cuts": 0, | |
| "iterations": 3389, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.0001, | |
| "final_gap": 9.524064004774465e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 4778, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.0001, | |
| "final_gap": 9.932409509664693e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 4606, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 0.0001, | |
| "final_gap": 9.363416069433734e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 4650, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-05, | |
| "final_gap": 9.74174130077723e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 5733, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-05, | |
| "final_gap": 9.915034614108887e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 5875, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-05, | |
| "final_gap": 9.949170252903361e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 5658, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-06, | |
| "final_gap": 9.617412961177595e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 7028, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-06, | |
| "final_gap": 9.747600811839316e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 7063, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-06, | |
| "final_gap": 9.401891450935734e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 7028, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-07, | |
| "final_gap": 9.962493775248303e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 8008, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-07, | |
| "final_gap": 9.707820624992993e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 8137, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-07, | |
| "final_gap": 9.859297346725844e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 8218, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-08, | |
| "final_gap": 9.961062459973396e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 9425, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-08, | |
| "final_gap": 9.577953965840065e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 9386, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 16, | |
| "eps": 1e-08, | |
| "final_gap": 9.422559791461037e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 9287, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.01, | |
| "final_gap": 0.009823588481790123, | |
| "invalid_cuts": 0, | |
| "iterations": 9155, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.01, | |
| "final_gap": 0.009915145932538144, | |
| "invalid_cuts": 0, | |
| "iterations": 9370, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.01, | |
| "final_gap": 0.009893149480561303, | |
| "invalid_cuts": 0, | |
| "iterations": 5612, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.001, | |
| "final_gap": 0.0009888594526292294, | |
| "invalid_cuts": 0, | |
| "iterations": 14068, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.001, | |
| "final_gap": 0.0009808819212085013, | |
| "invalid_cuts": 0, | |
| "iterations": 8207, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.001, | |
| "final_gap": 0.0009938790861898188, | |
| "invalid_cuts": 0, | |
| "iterations": 10332, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.0001, | |
| "final_gap": 9.950519272225455e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 12774, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.0001, | |
| "final_gap": 9.927426094240127e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 18929, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 0.0001, | |
| "final_gap": 9.85789235420265e-05, | |
| "invalid_cuts": 0, | |
| "iterations": 18598, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-05, | |
| "final_gap": 9.905716650298779e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 23512, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-05, | |
| "final_gap": 9.896886346573532e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 23084, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-05, | |
| "final_gap": 9.998676200523304e-06, | |
| "invalid_cuts": 0, | |
| "iterations": 18240, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-06, | |
| "final_gap": 9.685202664815437e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 27707, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-06, | |
| "final_gap": 9.734799147742307e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 28050, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-06, | |
| "final_gap": 9.944194727939948e-07, | |
| "invalid_cuts": 0, | |
| "iterations": 14250, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-07, | |
| "final_gap": 9.611482475944104e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 33161, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-07, | |
| "final_gap": 9.902112718673806e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 13523, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-07, | |
| "final_gap": 9.800685005223464e-08, | |
| "invalid_cuts": 0, | |
| "iterations": 17486, | |
| "reached": true, | |
| "trial": 2 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-08, | |
| "final_gap": 9.335916734132255e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 18214, | |
| "reached": true, | |
| "trial": 0 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-08, | |
| "final_gap": 9.890735292518083e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 37470, | |
| "reached": true, | |
| "trial": 1 | |
| }, | |
| { | |
| "d": 32, | |
| "eps": 1e-08, | |
| "final_gap": 9.890719961797023e-09, | |
| "invalid_cuts": 0, | |
| "iterations": 22574, | |
| "reached": true, | |
| "trial": 2 | |
| } | |
| ], | |
| "model": "iterations = C * d^a * (log(1/eps))^b", | |
| "n_reached_target": 105, | |
| "n_runs": 105, | |
| "predicted_a": 2.0, | |
| "predicted_b": 1.0, | |
| "total_invalid_cuts_on_monotone_instances": 0 | |
| }, | |
| "exponent": { | |
| "exponent_is_one_quarter": true, | |
| "inverted_eps_as_function_of_target_delta": [ | |
| "delta**4/(8*D**2*(D**2 + 1))" | |
| ], | |
| "inverted_exponent_is_4": true, | |
| "limit_eps_prime_over_eps_to_the_quarter": "2**(3/4)*sqrt(D)*(D**2 + 1)**(1/4)", | |
| "prop_D6_formula": "sqrt(2)*sqrt(D)*(sigma + 2)**(1/4)*(D**2*(sigma**2/2 + sigma) + epsilon)**(1/4)" | |
| }, | |
| "hypomonotonicity_modulus": { | |
| "note": "1/2(||u||^2-||w||^2+||u-w||^2) = <u,u-w>, whose minimum over ||w|| <= (1+sigma)||u|| is exactly -sigma||u||^2, so F = id - T is exactly sigma-hypomonotone. The paper's sigma+sigma^2/2 is valid but loose by sigma^2/2.", | |
| "sweep": [ | |
| { | |
| "empirical_reaches_exact_within": 0.0, | |
| "empirical_worst_modulus": -0.0, | |
| "exact_worst_modulus": 0.0, | |
| "paper_bound_sigma_plus_sigma_sq_over_2": 0.0, | |
| "paper_bound_valid": true, | |
| "sigma": 0.0 | |
| }, | |
| { | |
| "empirical_reaches_exact_within": 1.1018204577883939e-17, | |
| "empirical_worst_modulus": 9.999999999998899e-05, | |
| "exact_worst_modulus": 0.0001, | |
| "paper_bound_sigma_plus_sigma_sq_over_2": 0.000100005, | |
| "paper_bound_valid": true, | |
| "sigma": 0.0001 | |
| }, | |
| { | |
| "empirical_reaches_exact_within": 8.673617379884035e-18, | |
| "empirical_worst_modulus": 0.010000000000000009, | |
| "exact_worst_modulus": 0.01, | |
| "paper_bound_sigma_plus_sigma_sq_over_2": 0.01005, | |
| "paper_bound_valid": true, | |
| "sigma": 0.01 | |
| }, | |
| { | |
| "empirical_reaches_exact_within": 8.326672684688674e-17, | |
| "empirical_worst_modulus": 0.10000000000000009, | |
| "exact_worst_modulus": 0.1, | |
| "paper_bound_sigma_plus_sigma_sq_over_2": 0.10500000000000001, | |
| "paper_bound_valid": true, | |
| "sigma": 0.1 | |
| }, | |
| { | |
| "empirical_reaches_exact_within": 0.0, | |
| "empirical_worst_modulus": 0.5, | |
| "exact_worst_modulus": 0.5, | |
| "paper_bound_sigma_plus_sigma_sq_over_2": 0.625, | |
| "paper_bound_valid": true, | |
| "sigma": 0.5 | |
| }, | |
| { | |
| "empirical_reaches_exact_within": 0.0, | |
| "empirical_worst_modulus": 1.0, | |
| "exact_worst_modulus": 1.0, | |
| "paper_bound_sigma_plus_sigma_sq_over_2": 1.5, | |
| "paper_bound_valid": true, | |
| "sigma": 1.0 | |
| } | |
| ] | |
| }, | |
| "identity_11": { | |
| "simplifies_to": "<u, u - w>", | |
| "statement": "<F(x)-F(x'),x-x'> = 1/2(||u||^2 - ||T(x)-T(x')||^2 + ||u-(T(x)-T(x'))||^2)", | |
| "symbolically_exact": true | |
| }, | |
| "nonlinear_family": [ | |
| { | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "empirical_rho": 1.0000000000000047, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 1188, | |
| "rrm_best_fixed_point_gap": 0.5486168953196341, | |
| "sigma": 0.0, | |
| "sine_amplitude": 0.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "empirical_rho": 1.1733322947945743, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 1200, | |
| "rrm_best_fixed_point_gap": 0.4658488316485936, | |
| "sigma": 0.0, | |
| "sine_amplitude": 0.02 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 1.3877787807814457e-17, | |
| "ellipsoid_vi_gap": 1.2597211909349009e-17, | |
| "empirical_rho": 1.4149295956859713, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.4125207492606019, | |
| "sigma": 0.0, | |
| "sine_amplitude": 0.05 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 1.5515838457795457e-17, | |
| "ellipsoid_vi_gap": 1.4533862997312983e-17, | |
| "empirical_rho": 1.001000000000011, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.4918327286483748, | |
| "sigma": 0.001, | |
| "sine_amplitude": 0.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 1.962615573354719e-17, | |
| "ellipsoid_vi_gap": 2.170568661668792e-17, | |
| "empirical_rho": 1.167678867312345, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.49215939692767297, | |
| "sigma": 0.001, | |
| "sine_amplitude": 0.02 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 1.5899003276961254e-17, | |
| "ellipsoid_vi_gap": 1.4119001571387954e-17, | |
| "empirical_rho": 1.4078073434623337, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.5835357643001946, | |
| "sigma": 0.001, | |
| "sine_amplitude": 0.05 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 9.813077866773595e-18, | |
| "ellipsoid_vi_gap": 9.135432598129835e-18, | |
| "empirical_rho": 1.0100000000000058, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.6370402242852717, | |
| "sigma": 0.01, | |
| "sine_amplitude": 0.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "empirical_rho": 1.1811754154215244, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 1228, | |
| "rrm_best_fixed_point_gap": 0.3293351657453038, | |
| "sigma": 0.01, | |
| "sine_amplitude": 0.02 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 6.938893903907228e-18, | |
| "ellipsoid_vi_gap": 6.972933591518466e-18, | |
| "empirical_rho": 1.4105987307796337, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.5760105187369159, | |
| "sigma": 0.01, | |
| "sine_amplitude": 0.05 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 3.671717528720129e-17, | |
| "ellipsoid_vi_gap": 2.999334855378579e-17, | |
| "empirical_rho": 1.0500000000000134, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.8474070391864117, | |
| "sigma": 0.05, | |
| "sine_amplitude": 0.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 2.7755575615628914e-17, | |
| "ellipsoid_vi_gap": 2.2260334241355883e-17, | |
| "empirical_rho": 1.21979690339983, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.12693168870571175, | |
| "sigma": 0.05, | |
| "sine_amplitude": 0.02 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 2.8609792490763984e-17, | |
| "ellipsoid_vi_gap": 2.37576584546031e-17, | |
| "empirical_rho": 1.487024227373826, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.5981050339671539, | |
| "sigma": 0.05, | |
| "sine_amplitude": 0.05 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 7.757919228897728e-18, | |
| "ellipsoid_vi_gap": 7.551152767520064e-18, | |
| "empirical_rho": 1.1000000000000092, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.4461708586983306, | |
| "sigma": 0.1, | |
| "sine_amplitude": 0.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "empirical_rho": 1.2645931993781656, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 1192, | |
| "rrm_best_fixed_point_gap": 0.42564653552672244, | |
| "sigma": 0.1, | |
| "sine_amplitude": 0.02 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 1.3877787807814457e-17, | |
| "ellipsoid_vi_gap": 1.5536157432454987e-17, | |
| "empirical_rho": 1.5320251410889218, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.4169463674714682, | |
| "sigma": 0.1, | |
| "sine_amplitude": 0.05 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 4.3885418357208765e-17, | |
| "ellipsoid_vi_gap": 3.580453587754861e-17, | |
| "empirical_rho": 1.3000000000000114, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.7074382504968345, | |
| "sigma": 0.3, | |
| "sine_amplitude": 0.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 2.844708701658144e-17, | |
| "ellipsoid_vi_gap": 3.3251952606352814e-17, | |
| "empirical_rho": 1.4647647439428129, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.593847088347883, | |
| "sigma": 0.3, | |
| "sine_amplitude": 0.02 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 6.938893903907228e-18, | |
| "ellipsoid_vi_gap": 7.297101740759585e-18, | |
| "empirical_rho": 1.7207931106659298, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.7000222024323874, | |
| "sigma": 0.3, | |
| "sine_amplitude": 0.05 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 1.5515838457795457e-17, | |
| "ellipsoid_vi_gap": 1.4808106689941332e-17, | |
| "empirical_rho": 1.500000000000015, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.795872385554874, | |
| "sigma": 0.5, | |
| "sine_amplitude": 0.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 4.0608835428777945e-17, | |
| "ellipsoid_vi_gap": 3.985084166773977e-17, | |
| "empirical_rho": 1.6600642322251289, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.9113045409575841, | |
| "sigma": 0.5, | |
| "sine_amplitude": 0.02 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 3.642919299551295e-17, | |
| "ellipsoid_vi_gap": 3.922988150900716e-17, | |
| "empirical_rho": 1.9238765856874596, | |
| "invalid_cut_fraction": 0.0, | |
| "iterations": 8000, | |
| "rrm_best_fixed_point_gap": 0.5384053975774464, | |
| "sigma": 0.5, | |
| "sine_amplitude": 0.05 | |
| } | |
| ], | |
| "phase_transition": [ | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 0, | |
| "dist_to_true_fixed_point": 0.3380212598632838, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1, | |
| "prop_D5_vi_certificate": 5.65685424949238e-06, | |
| "prop_D6_fixed_point_certificate": 0.002378414230005442, | |
| "rho": 1.0, | |
| "rrm_best_fixed_point_gap": 0.0, | |
| "sigma": 0.0, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 4950, | |
| "dist_to_true_fixed_point": 1.417554164412994, | |
| "ellipsoid_fixed_point_gap": 1.4175541643038533e-06, | |
| "ellipsoid_vi_gap": -4.235164736271502e-22, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 4950, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 0.01131371274115999, | |
| "prop_D6_fixed_point_certificate": 0.10636595117824352, | |
| "rho": 1.000001, | |
| "rrm_best_fixed_point_gap": 4.1926393994153944e-07, | |
| "sigma": 1e-06, | |
| "sigma_hypomonotone": 9.999999999177334e-07, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 336, | |
| "dist_to_true_fixed_point": 1.4007961283141546, | |
| "ellipsoid_fixed_point_gap": 0.0001400796128314683, | |
| "ellipsoid_vi_gap": -5.421010862427522e-20, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 336, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 0.11313991352303655, | |
| "prop_D6_fixed_point_certificate": 0.33636697517074776, | |
| "rho": 1.0001, | |
| "rrm_best_fixed_point_gap": 7.660335072922942e-05, | |
| "sigma": 0.0001, | |
| "sigma_hypomonotone": 9.999999999998899e-05, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5261, | |
| "dist_to_true_fixed_point": 1.4048281218660632, | |
| "ellipsoid_fixed_point_gap": 0.0014048281218659163, | |
| "ellipsoid_vi_gap": -4.336808689942018e-19, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 5261, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 0.35786030798623353, | |
| "prop_D6_fixed_point_certificate": 0.5982890287167965, | |
| "rho": 1.001, | |
| "rrm_best_fixed_point_gap": 0.0006236004737433874, | |
| "sigma": 0.001, | |
| "sigma_hypomonotone": 0.0009999999999998899, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 294, | |
| "dist_to_true_fixed_point": 1.4048186206053357, | |
| "ellipsoid_fixed_point_gap": 0.014048186206053345, | |
| "ellipsoid_vi_gap": -3.469446951953614e-18, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 294, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 1.134195750314804, | |
| "prop_D6_fixed_point_certificate": 1.0663150116931255, | |
| "rho": 1.01, | |
| "rrm_best_fixed_point_gap": 0.0019306957450067196, | |
| "sigma": 0.01, | |
| "sigma_hypomonotone": 0.010000000000000009, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5546, | |
| "dist_to_true_fixed_point": 1.21349955436443, | |
| "ellipsoid_fixed_point_gap": 0.06067497771822154, | |
| "ellipsoid_vi_gap": 9.020562075079397e-17, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 5546, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 2.561249694979544, | |
| "prop_D6_fixed_point_certificate": 1.6103004941141872, | |
| "rho": 1.05, | |
| "rrm_best_fixed_point_gap": 0.016117658262606683, | |
| "sigma": 0.05, | |
| "sigma_hypomonotone": 0.050000000000000044, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 4927, | |
| "dist_to_true_fixed_point": 1.4027940262317016, | |
| "ellipsoid_fixed_point_gap": 0.14027940262317015, | |
| "ellipsoid_vi_gap": -5.551115123125783e-17, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 4927, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 3.6660605559692563, | |
| "prop_D6_fixed_point_certificate": 1.9381935409561448, | |
| "rho": 1.1, | |
| "rrm_best_fixed_point_gap": 0.022158483305556517, | |
| "sigma": 0.1, | |
| "sigma_hypomonotone": 0.10000000000000009, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5669, | |
| "dist_to_true_fixed_point": 1.20063822702874, | |
| "ellipsoid_fixed_point_gap": 0.36019146810862196, | |
| "ellipsoid_vi_gap": 1.1168677094275381e-11, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 5669, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 6.64529909033723, | |
| "prop_D6_fixed_point_certificate": 2.669511070781357, | |
| "rho": 1.3, | |
| "rrm_best_fixed_point_gap": 0.19046829225449233, | |
| "sigma": 0.3, | |
| "sigma_hypomonotone": 0.30000000000000004, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5726, | |
| "dist_to_true_fixed_point": 1.1551825316874518, | |
| "ellipsoid_fixed_point_gap": 0.5775912658437258, | |
| "ellipsoid_vi_gap": 2.358739648045116e-09, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 5726, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 8.944271910001396, | |
| "prop_D6_fixed_point_certificate": 3.1622776601686957, | |
| "rho": 1.5, | |
| "rrm_best_fixed_point_gap": 0.18270259808012304, | |
| "sigma": 0.5, | |
| "sigma_hypomonotone": 0.5, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 327, | |
| "dist_to_true_fixed_point": 1.2147015706405886, | |
| "ellipsoid_fixed_point_gap": 1.2147015706405886, | |
| "ellipsoid_vi_gap": -2.220446049250313e-16, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 327, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 13.856406460552751, | |
| "prop_D6_fixed_point_certificate": 4.119534287814407, | |
| "rho": 2.0, | |
| "rrm_best_fixed_point_gap": 0.22663179619319868, | |
| "sigma": 1.0, | |
| "sigma_hypomonotone": 1.0, | |
| "theta_deg": 0.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 1194, | |
| "dist_to_true_fixed_point": 2.8609792490763984e-17, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1196, | |
| "prop_D5_vi_certificate": 5.65685424949238e-06, | |
| "prop_D6_fixed_point_certificate": 0.002378414230005442, | |
| "rho": 1.0, | |
| "rrm_best_fixed_point_gap": 0.07850042851290696, | |
| "sigma": 0.0, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5999, | |
| "dist_to_true_fixed_point": 3.1140581556135944e-17, | |
| "ellipsoid_fixed_point_gap": 1.3877787807814457e-17, | |
| "ellipsoid_vi_gap": 1.3960661385877122e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.656855663705766e-06, | |
| "prop_D6_fixed_point_certificate": 0.10636595117824352, | |
| "rho": 1.000001, | |
| "rrm_best_fixed_point_gap": 0.30380350791513977, | |
| "sigma": 1e-06, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5999, | |
| "dist_to_true_fixed_point": 3.642919299551295e-17, | |
| "ellipsoid_fixed_point_gap": 1.411962612463446e-17, | |
| "ellipsoid_vi_gap": 1.2492948189666634e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.6569956690808955e-06, | |
| "prop_D6_fixed_point_certificate": 0.33636697517074776, | |
| "rho": 1.0001, | |
| "rrm_best_fixed_point_gap": 0.2529448691662676, | |
| "sigma": 0.0001, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 1194, | |
| "dist_to_true_fixed_point": 5.818439421673296e-18, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1196, | |
| "prop_D5_vi_certificate": 5.658268286322238e-06, | |
| "prop_D6_fixed_point_certificate": 0.5982890287167965, | |
| "rho": 1.001, | |
| "rrm_best_fixed_point_gap": 0.26038577747666497, | |
| "sigma": 0.001, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5998, | |
| "dist_to_true_fixed_point": 6.206335383118183e-17, | |
| "ellipsoid_fixed_point_gap": 6.206335383118183e-17, | |
| "ellipsoid_vi_gap": 4.283015479231991e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.67097875150313e-06, | |
| "prop_D6_fixed_point_certificate": 1.0663150116931255, | |
| "rho": 1.01, | |
| "rrm_best_fixed_point_gap": 0.18633668213170987, | |
| "sigma": 0.01, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5998, | |
| "dist_to_true_fixed_point": 8.694409141350492e-17, | |
| "ellipsoid_fixed_point_gap": 5.763878168445254e-17, | |
| "ellipsoid_vi_gap": 3.991436358681874e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.727128425310541e-06, | |
| "prop_D6_fixed_point_certificate": 1.6103004941141872, | |
| "rho": 1.05, | |
| "rrm_best_fixed_point_gap": 0.1368495705279956, | |
| "sigma": 0.05, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5998, | |
| "dist_to_true_fixed_point": 6.206335383118183e-17, | |
| "ellipsoid_fixed_point_gap": 2.7755575615628914e-17, | |
| "ellipsoid_vi_gap": 2.4791363724904873e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.796550698475775e-06, | |
| "prop_D6_fixed_point_certificate": 1.9381935409561448, | |
| "rho": 1.1, | |
| "rrm_best_fixed_point_gap": 0.13363712960477106, | |
| "sigma": 0.1, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5995, | |
| "dist_to_true_fixed_point": 5.238750013840908e-17, | |
| "ellipsoid_fixed_point_gap": 3.1031676915590914e-17, | |
| "ellipsoid_vi_gap": 3.254110848294634e-17, | |
| "invalid_cut_fraction": 0.782652210175146, | |
| "invalid_cuts": 4692, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 4.303791499158271, | |
| "prop_D6_fixed_point_certificate": 2.669511070781357, | |
| "rho": 1.3, | |
| "rrm_best_fixed_point_gap": 0.2631338070690091, | |
| "sigma": 0.3, | |
| "sigma_hypomonotone": 0.12583302491977033, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5989, | |
| "dist_to_true_fixed_point": 0.02001127594860271, | |
| "ellipsoid_fixed_point_gap": 0.016157463932009397, | |
| "ellipsoid_vi_gap": 0.020868738949993818, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 5989, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 6.917087313913659, | |
| "prop_D6_fixed_point_certificate": 3.1622776601686957, | |
| "rho": 1.5, | |
| "rrm_best_fixed_point_gap": 0.4320064145799271, | |
| "sigma": 0.5, | |
| "sigma_hypomonotone": 0.299038105676658, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5975, | |
| "dist_to_true_fixed_point": 0.7218393678074101, | |
| "ellipsoid_fixed_point_gap": 0.8945853996247274, | |
| "ellipsoid_vi_gap": 0.15823845593677255, | |
| "invalid_cut_fraction": 1.0, | |
| "invalid_cuts": 5975, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 11.855536894349092, | |
| "prop_D6_fixed_point_certificate": 4.119534287814407, | |
| "rho": 2.0, | |
| "rrm_best_fixed_point_gap": 0.747450804939299, | |
| "sigma": 1.0, | |
| "sigma_hypomonotone": 0.7320508075688774, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 1218, | |
| "dist_to_true_fixed_point": 9.813077866773595e-18, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1219, | |
| "prop_D5_vi_certificate": 5.65685424949238e-06, | |
| "prop_D6_fixed_point_certificate": 0.002378414230005442, | |
| "rho": 1.0, | |
| "rrm_best_fixed_point_gap": 0.42332872368209773, | |
| "sigma": 0.0, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 5.8129441592325584e-18, | |
| "ellipsoid_fixed_point_gap": 3.755101785848501e-18, | |
| "ellipsoid_vi_gap": 3.659403395973073e-18, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.656855663705766e-06, | |
| "prop_D6_fixed_point_certificate": 0.10636595117824352, | |
| "rho": 1.000001, | |
| "rrm_best_fixed_point_gap": 0.29352200337041257, | |
| "sigma": 1e-06, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 4.163336342344337e-17, | |
| "ellipsoid_fixed_point_gap": 2.8609792490763984e-17, | |
| "ellipsoid_vi_gap": 2.2737071893824934e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.6569956690808955e-06, | |
| "prop_D6_fixed_point_certificate": 0.33636697517074776, | |
| "rho": 1.0001, | |
| "rrm_best_fixed_point_gap": 0.4528069490709258, | |
| "sigma": 0.0001, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 2.0816681711721685e-17, | |
| "ellipsoid_fixed_point_gap": 1.3877787807814457e-17, | |
| "ellipsoid_vi_gap": 1.2597519914296945e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.658268286322238e-06, | |
| "prop_D6_fixed_point_certificate": 0.5982890287167965, | |
| "rho": 1.001, | |
| "rrm_best_fixed_point_gap": 0.5109524300583371, | |
| "sigma": 0.001, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 3605, | |
| "dist_to_true_fixed_point": 3.3993498887762956e-17, | |
| "ellipsoid_fixed_point_gap": 1.3877787807814457e-17, | |
| "ellipsoid_vi_gap": 1.2611699254477365e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.67097875150313e-06, | |
| "prop_D6_fixed_point_certificate": 1.0663150116931255, | |
| "rho": 1.01, | |
| "rrm_best_fixed_point_gap": 0.6136555492615617, | |
| "sigma": 0.01, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 1175, | |
| "dist_to_true_fixed_point": 1.962615573354719e-17, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1176, | |
| "prop_D5_vi_certificate": 5.727128425310541e-06, | |
| "prop_D6_fixed_point_certificate": 1.6103004941141872, | |
| "rho": 1.05, | |
| "rrm_best_fixed_point_gap": 0.4100023889608436, | |
| "sigma": 0.05, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 4.8074067159589095e-17, | |
| "ellipsoid_fixed_point_gap": 4.8074067159589095e-17, | |
| "ellipsoid_vi_gap": 3.153094322862143e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.796550698475775e-06, | |
| "prop_D6_fixed_point_certificate": 1.9381935409561448, | |
| "rho": 1.1, | |
| "rrm_best_fixed_point_gap": 0.5195959896831268, | |
| "sigma": 0.1, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5999, | |
| "dist_to_true_fixed_point": 4.163336342344337e-17, | |
| "ellipsoid_fixed_point_gap": 3.925231146709438e-17, | |
| "ellipsoid_vi_gap": 2.834142030535567e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 6.0663003552412405e-06, | |
| "prop_D6_fixed_point_certificate": 2.669511070781357, | |
| "rho": 1.3, | |
| "rrm_best_fixed_point_gap": 0.670805773968434, | |
| "sigma": 0.3, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5999, | |
| "dist_to_true_fixed_point": 7.376145397762941e-17, | |
| "ellipsoid_fixed_point_gap": 8.441528768080324e-17, | |
| "ellipsoid_vi_gap": 6.100562370094755e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 6.324555320336758e-06, | |
| "prop_D6_fixed_point_certificate": 3.1622776601686957, | |
| "rho": 1.5, | |
| "rrm_best_fixed_point_gap": 0.1408841294552274, | |
| "sigma": 0.5, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5996, | |
| "dist_to_true_fixed_point": 1.5899003276961254e-17, | |
| "ellipsoid_fixed_point_gap": 2.42861286636753e-17, | |
| "ellipsoid_vi_gap": 2.4647327652441877e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 6.931279287703361e-06, | |
| "prop_D6_fixed_point_certificate": 4.119534287814407, | |
| "rho": 2.0, | |
| "rrm_best_fixed_point_gap": 0.6020061389654301, | |
| "sigma": 1.0, | |
| "sigma_hypomonotone": 2.220446049250313e-16, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 1165, | |
| "dist_to_true_fixed_point": 0.0, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1166, | |
| "prop_D5_vi_certificate": 5.65685424949238e-06, | |
| "prop_D6_fixed_point_certificate": 0.002378414230005442, | |
| "rho": 1.0, | |
| "rrm_best_fixed_point_gap": 0.18555057715214393, | |
| "sigma": 0.0, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 1180, | |
| "dist_to_true_fixed_point": 0.0, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1181, | |
| "prop_D5_vi_certificate": 5.656855663705766e-06, | |
| "prop_D6_fixed_point_certificate": 0.10636595117824352, | |
| "rho": 1.000001, | |
| "rrm_best_fixed_point_gap": 0.8036469186429082, | |
| "sigma": 1e-06, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 6.938893903907228e-18, | |
| "ellipsoid_fixed_point_gap": 6.938893903907228e-18, | |
| "ellipsoid_vi_gap": 7.340851821292302e-18, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.6569956690808955e-06, | |
| "prop_D6_fixed_point_certificate": 0.33636697517074776, | |
| "rho": 1.0001, | |
| "rrm_best_fixed_point_gap": 0.4871767734484496, | |
| "sigma": 0.0001, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 2.7755575615628914e-17, | |
| "ellipsoid_fixed_point_gap": 6.206335383118183e-17, | |
| "ellipsoid_vi_gap": 5.190000910297549e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.658268286322238e-06, | |
| "prop_D6_fixed_point_certificate": 0.5982890287167965, | |
| "rho": 1.001, | |
| "rrm_best_fixed_point_gap": 0.7347788298305543, | |
| "sigma": 0.001, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 1164, | |
| "dist_to_true_fixed_point": 0.0, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1165, | |
| "prop_D5_vi_certificate": 5.67097875150313e-06, | |
| "prop_D6_fixed_point_certificate": 1.0663150116931255, | |
| "rho": 1.01, | |
| "rrm_best_fixed_point_gap": 0.6988080611045018, | |
| "sigma": 0.01, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 1193, | |
| "dist_to_true_fixed_point": 0.0, | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_vi_gap": 0.0, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 1194, | |
| "prop_D5_vi_certificate": 5.727128425310541e-06, | |
| "prop_D6_fixed_point_certificate": 1.6103004941141872, | |
| "rho": 1.05, | |
| "rrm_best_fixed_point_gap": 0.6756995874148783, | |
| "sigma": 0.05, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 2.7755575615628914e-17, | |
| "ellipsoid_fixed_point_gap": 3.925231146709438e-17, | |
| "ellipsoid_vi_gap": 2.7805085663703574e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 5.796550698475775e-06, | |
| "prop_D6_fixed_point_certificate": 1.9381935409561448, | |
| "rho": 1.1, | |
| "rrm_best_fixed_point_gap": 0.48916707801636466, | |
| "sigma": 0.1, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 1.4304896245381992e-17, | |
| "ellipsoid_fixed_point_gap": 3.122502256758253e-17, | |
| "ellipsoid_vi_gap": 2.5480386746742422e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 6.0663003552412405e-06, | |
| "prop_D6_fixed_point_certificate": 2.669511070781357, | |
| "rho": 1.3, | |
| "rrm_best_fixed_point_gap": 0.5657909492503868, | |
| "sigma": 0.3, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 6000, | |
| "dist_to_true_fixed_point": 4.163336342344337e-17, | |
| "ellipsoid_fixed_point_gap": 6.938893903907228e-17, | |
| "ellipsoid_vi_gap": 5.0501341028579316e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 6.324555320336758e-06, | |
| "prop_D6_fixed_point_certificate": 3.1622776601686957, | |
| "rho": 1.5, | |
| "rrm_best_fixed_point_gap": 0.8176845987849028, | |
| "sigma": 0.5, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "achieved_within_fp_certificate": true, | |
| "achieved_within_vi_certificate": true, | |
| "cuts_applied": 5999, | |
| "dist_to_true_fixed_point": 6.206335383118183e-17, | |
| "ellipsoid_fixed_point_gap": 1.3877787807814457e-16, | |
| "ellipsoid_vi_gap": 8.424577142543477e-17, | |
| "invalid_cut_fraction": 0.0, | |
| "invalid_cuts": 0, | |
| "iterations": 6000, | |
| "prop_D5_vi_certificate": 6.928203230275509e-06, | |
| "prop_D6_fixed_point_certificate": 4.119534287814407, | |
| "rho": 2.0, | |
| "rrm_best_fixed_point_gap": 1.106161660281863, | |
| "sigma": 1.0, | |
| "sigma_hypomonotone": 0.0, | |
| "theta_deg": 90.0 | |
| } | |
| ], | |
| "rrm_vs_ellipsoid": [ | |
| { | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_iterations": 1185, | |
| "ellipsoid_vi_gap": 0.0, | |
| "rho": 1.0, | |
| "rrm_best_fixed_point_gap_5000_iters": 0.7891409864506319, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 1.5515838457795457e-17, | |
| "ellipsoid_iterations": 6000, | |
| "ellipsoid_vi_gap": 1.7242560174613738e-17, | |
| "rho": 1.01, | |
| "rrm_best_fixed_point_gap_5000_iters": 0.5686723611719948, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 3.98609107286759e-17, | |
| "ellipsoid_iterations": 6000, | |
| "ellipsoid_vi_gap": 3.199765841368453e-17, | |
| "rho": 1.1, | |
| "rrm_best_fixed_point_gap_5000_iters": 0.704515817521501, | |
| "theta_deg": 90.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 0.0, | |
| "ellipsoid_iterations": 1579, | |
| "ellipsoid_vi_gap": 0.0, | |
| "rho": 1.0, | |
| "rrm_best_fixed_point_gap_5000_iters": 0.505900154949151, | |
| "theta_deg": 60.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 6.359601310784502e-17, | |
| "ellipsoid_iterations": 6000, | |
| "ellipsoid_vi_gap": 4.0615382019801613e-17, | |
| "rho": 1.01, | |
| "rrm_best_fixed_point_gap_5000_iters": 0.2706007639566733, | |
| "theta_deg": 30.0 | |
| }, | |
| { | |
| "ellipsoid_fixed_point_gap": 0.012277504260441063, | |
| "ellipsoid_iterations": 6000, | |
| "ellipsoid_vi_gap": 5.204170427930421e-18, | |
| "rho": 1.01, | |
| "rrm_best_fixed_point_gap_5000_iters": 0.003933668887609777, | |
| "theta_deg": 0.0 | |
| } | |
| ], | |
| "seed": 20260725, | |
| "verdict": { | |
| "certificates_hold": true, | |
| "eps_quarter_exponent_confirmed": true, | |
| "identity_exact": true, | |
| "paper_constant_loose_by": "sigma^2/2 (the exact modulus is sigma)", | |
| "poly_d_log_eps_confirmed": true | |
| } | |
| } |
Xet Storage Details
- Size:
- 62.9 kB
- Xet hash:
- b021c96345e75464cfc3fd495f4a60315ee85389bde1138b68d0b5b9be7e31ac
·
Xet efficiently stores files, intelligently splitting them into unique chunks and accelerating uploads and downloads. More info.