| { |
| "claim1": { |
| "bound_fit_vs_p": { |
| "exponent": 1.304517823321537, |
| "r2": 0.9989755453723398 |
| }, |
| "omitted_b_squared_control_mismatches": 22, |
| "quadratic_fol_mismatches": 0, |
| "quadratic_fol_pairs": 323, |
| "sweep": [ |
| { |
| "M": 17, |
| "bound_proxy": 31.044097540985508, |
| "d": 8, |
| "empirical_pdim_lower": 1, |
| "measured_over_bound": 0.03221224255850134, |
| "p": 1, |
| "parameter_vectors": 5 |
| }, |
| { |
| "M": 17, |
| "bound_proxy": 73.17854997093013, |
| "d": 8, |
| "empirical_pdim_lower": 3, |
| "measured_over_bound": 0.04099561963432915, |
| "p": 2, |
| "parameter_vectors": 25 |
| }, |
| { |
| "M": 17, |
| "bound_proxy": 126.4033572898339, |
| "d": 8, |
| "empirical_pdim_lower": 3, |
| "measured_over_bound": 0.023733546832314063, |
| "p": 3, |
| "parameter_vectors": 125 |
| }, |
| { |
| "M": 17, |
| "bound_proxy": 190.71851949769678, |
| "d": 8, |
| "empirical_pdim_lower": 4, |
| "measured_over_bound": 0.020973317172002827, |
| "p": 4, |
| "parameter_vectors": 625 |
| } |
| ] |
| }, |
| "claim2": { |
| "complement_control": { |
| "complement_alpha": 15, |
| "original_alpha": 0, |
| "witness_mismatches": 4 |
| }, |
| "lower_bound_fit": { |
| "exponent": 1.0000000000000004, |
| "r2": 1.0 |
| }, |
| "sweep": [ |
| { |
| "B": 2, |
| "Delta_f": 8, |
| "K": 4, |
| "N": 4, |
| "all_label_vectors": 16, |
| "bound_proxy": 6.356107660695891, |
| "d": 2, |
| "label_vectors_tested": 16, |
| "max_abs_grid_error": 0.0, |
| "measured_over_bound": 0.6293159608882498, |
| "p": 1, |
| "witnesses_tested": 64, |
| "zero_selector_witnesses": 64 |
| }, |
| { |
| "B": 3, |
| "Delta_f": 16, |
| "K": 8, |
| "N": 18, |
| "all_label_vectors": 262144, |
| "bound_proxy": 41.58883083359672, |
| "d": 3, |
| "label_vectors_tested": 128, |
| "max_abs_grid_error": 0.0, |
| "measured_over_bound": 0.43280851226668904, |
| "p": 2, |
| "witnesses_tested": 2304, |
| "zero_selector_witnesses": 2304 |
| }, |
| { |
| "B": 4, |
| "Delta_f": 32, |
| "K": 16, |
| "N": 48, |
| "all_label_vectors": 281474976710656, |
| "bound_proxy": 144.07974744999936, |
| "d": 4, |
| "label_vectors_tested": 64, |
| "max_abs_grid_error": 0.0, |
| "measured_over_bound": 0.3331488349301671, |
| "p": 3, |
| "witnesses_tested": 3072, |
| "zero_selector_witnesses": 3072 |
| } |
| ] |
| }, |
| "claim3": { |
| "bound_fit_vs_d": { |
| "exponent": 1.9686269230607214, |
| "r2": 0.9994736374125038 |
| }, |
| "different_objectives": { |
| "train_stationarity_l2": 7.103475525610374e-16, |
| "validation_gradient_l2": 1.046047571477888 |
| }, |
| "one_block_control": { |
| "bilevel_loss": 0.49167149121785003, |
| "control_is_not_treatment": true, |
| "training_objective_at_validation_minimizer": 0.014152416868693906 |
| }, |
| "sweep": [ |
| { |
| "M_total": 10, |
| "bound_proxy": 52.536886562851954, |
| "d": 2, |
| "empirical_pdim_lower": 2, |
| "measured_over_bound": 0.038068491127796866, |
| "p": 2, |
| "parameter_vectors": 36 |
| }, |
| { |
| "M_total": 18, |
| "bound_proxy": 188.88000745064474, |
| "d": 4, |
| "empirical_pdim_lower": 2, |
| "measured_over_bound": 0.010588733169775048, |
| "p": 2, |
| "parameter_vectors": 36 |
| }, |
| { |
| "M_total": 34, |
| "bound_proxy": 748.7160832111642, |
| "d": 8, |
| "empirical_pdim_lower": 2, |
| "measured_over_bound": 0.0026712395323768272, |
| "p": 2, |
| "parameter_vectors": 36 |
| }, |
| { |
| "M_total": 50, |
| "bound_proxy": 1721.5165518372419, |
| "d": 12, |
| "empirical_pdim_lower": 2, |
| "measured_over_bound": 0.0011617663494815395, |
| "p": 2, |
| "parameter_vectors": 36 |
| }, |
| { |
| "M_total": 66, |
| "bound_proxy": 3131.4031537846577, |
| "d": 16, |
| "empirical_pdim_lower": 2, |
| "measured_over_bound": 0.000638691315611269, |
| "p": 2, |
| "parameter_vectors": 36 |
| } |
| ] |
| }, |
| "claim4": { |
| "bound_fit_vs_d": { |
| "exponent": 0.7350535400341762, |
| "r2": 0.9996436716595822 |
| }, |
| "sweep": [ |
| { |
| "active_sign_regions": 12, |
| "alpha_vectors": 25, |
| "bound_proxy": 14.33407575382444, |
| "d": 3, |
| "empirical_pdim_lower": 2, |
| "max_kkt_residual": 8.881784197001252e-16, |
| "measured_over_bound": 0.1395276566378118 |
| }, |
| { |
| "active_sign_regions": 23, |
| "alpha_vectors": 25, |
| "bound_proxy": 20.561106372245188, |
| "d": 5, |
| "empirical_pdim_lower": 2, |
| "max_kkt_residual": 1.0928757898653885e-15, |
| "measured_over_bound": 0.09727103025446818 |
| }, |
| { |
| "active_sign_regions": 37, |
| "alpha_vectors": 25, |
| "bound_proxy": 28.903717578961647, |
| "d": 8, |
| "empirical_pdim_lower": 2, |
| "max_kkt_residual": 1.3322676295501878e-15, |
| "measured_over_bound": 0.06919525125223872 |
| }, |
| { |
| "active_sign_regions": 45, |
| "alpha_vectors": 25, |
| "bound_proxy": 39.23899566477349, |
| "d": 12, |
| "empirical_pdim_lower": 2, |
| "max_kkt_residual": 3.3306690738754696e-15, |
| "measured_over_bound": 0.05096970414549842 |
| }, |
| { |
| "active_sign_regions": 75, |
| "alpha_vectors": 25, |
| "bound_proxy": 49.13978609221129, |
| "d": 16, |
| "empirical_pdim_lower": 2, |
| "max_kkt_residual": 1.5126788710517758e-15, |
| "measured_over_bound": 0.04070021786922272 |
| } |
| ], |
| "zero_alpha_control": { |
| "constant_control": "replacing alpha_1 sweep by alpha_1=0 removes l1 sign transitions", |
| "elastic_net_has_multiple_sign_regions": true |
| } |
| }, |
| "claim5": { |
| "bound_fit_vs_p": { |
| "exponent": 3.34274729743556, |
| "r2": 0.9997352340382949 |
| }, |
| "convergence_control": { |
| "bad_lift_exceeds_good": true, |
| "objective_drop_positive": true |
| }, |
| "sweep": [ |
| { |
| "active_group_patterns": 2, |
| "alpha_vectors": 3, |
| "bad_lift_residual": 12.500000000000002, |
| "bound_proxy": 59.63775959491201, |
| "d": 3, |
| "empirical_pdim_lower": 1, |
| "good_lift_residual": 1.7763568394002505e-15, |
| "max_kkt_residual": 1.7133413356425748e-16, |
| "measured_over_bound": 0.01676790018257686, |
| "median_objective_drop": 0.014051940750849437, |
| "p": 1 |
| }, |
| { |
| "active_group_patterns": 3, |
| "alpha_vectors": 9, |
| "bad_lift_residual": 13.25, |
| "bound_proxy": 568.0874359335462, |
| "d": 6, |
| "empirical_pdim_lower": 2, |
| "good_lift_residual": 0.0, |
| "max_kkt_residual": 6.843874359417885e-16, |
| "measured_over_bound": 0.003520584814049569, |
| "median_objective_drop": 0.18425986391919225, |
| "p": 2 |
| }, |
| { |
| "active_group_patterns": 5, |
| "alpha_vectors": 27, |
| "bad_lift_residual": 16.953125, |
| "bound_proxy": 2264.879458221645, |
| "d": 9, |
| "empirical_pdim_lower": 3, |
| "good_lift_residual": 1.1102230246251565e-16, |
| "max_kkt_residual": 7.517666163868695e-16, |
| "measured_over_bound": 0.0013245738041862776, |
| "median_objective_drop": 0.5098855547833234, |
| "p": 3 |
| }, |
| { |
| "active_group_patterns": 16, |
| "alpha_vectors": 81, |
| "bad_lift_residual": 19.101239669421485, |
| "bound_proxy": 6183.952844308453, |
| "d": 12, |
| "empirical_pdim_lower": 3, |
| "good_lift_residual": 1.7763568394002505e-15, |
| "max_kkt_residual": 9.058962220801628e-16, |
| "measured_over_bound": 0.0004851265971022274, |
| "median_objective_drop": 0.599335107713364, |
| "p": 4 |
| } |
| ] |
| }, |
| "claim6": { |
| "bound_fit_vs_d": { |
| "exponent": 2.3190164529229564, |
| "r2": 0.9990662412925517 |
| }, |
| "full_rank_negative_control": { |
| "control_breaks_full_rank": true, |
| "d": 4, |
| "expected_full_rank": 4, |
| "rank_after_duplicate_column": 3 |
| }, |
| "sweep": [ |
| { |
| "active_state_cap": 9, |
| "active_states_observed": 6, |
| "alpha_vectors": 12, |
| "bound_proxy": 5.780743515792329, |
| "d": 3, |
| "dual_solves": 120, |
| "empirical_pdim_lower": 1, |
| "measured_over_bound": 0.1729881281305968, |
| "p": 2, |
| "successful_dual_solves": 120 |
| }, |
| { |
| "active_state_cap": 27, |
| "active_states_observed": 4, |
| "alpha_vectors": 12, |
| "bound_proxy": 11.966952139692824, |
| "d": 4, |
| "dual_solves": 120, |
| "empirical_pdim_lower": 2, |
| "measured_over_bound": 0.16712693229266457, |
| "p": 3, |
| "successful_dual_solves": 120 |
| }, |
| { |
| "active_state_cap": 81, |
| "active_states_observed": 10, |
| "alpha_vectors": 12, |
| "bound_proxy": 20.350385340929535, |
| "d": 5, |
| "dual_solves": 120, |
| "empirical_pdim_lower": 1, |
| "measured_over_bound": 0.0491391186578054, |
| "p": 4, |
| "successful_dual_solves": 120 |
| }, |
| { |
| "active_state_cap": 243, |
| "active_states_observed": 9, |
| "alpha_vectors": 12, |
| "bound_proxy": 30.93104311950247, |
| "d": 6, |
| "dual_solves": 120, |
| "empirical_pdim_lower": 2, |
| "measured_over_bound": 0.06465995964872491, |
| "p": 5, |
| "successful_dual_solves": 120 |
| }, |
| { |
| "active_state_cap": 2187, |
| "active_states_observed": 15, |
| "alpha_vectors": 12, |
| "bound_proxy": 58.68403240865699, |
| "d": 8, |
| "dual_solves": 120, |
| "empirical_pdim_lower": 1, |
| "measured_over_bound": 0.01704041046525769, |
| "p": 7, |
| "successful_dual_solves": 120 |
| }, |
| { |
| "active_state_cap": 19683, |
| "active_states_observed": 14, |
| "alpha_vectors": 12, |
| "bound_proxy": 95.22592000715639, |
| "d": 10, |
| "dual_solves": 120, |
| "empirical_pdim_lower": 1, |
| "measured_over_bound": 0.010501342490834936, |
| "p": 9, |
| "successful_dual_solves": 120 |
| } |
| ] |
| }, |
| "seed": 2602024 |
| } |
|
|
