File size: 2,188 Bytes
ea3a71e | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 | {
"all_gates_pass": true,
"arxiv": "2605.20696v1",
"gates": {
"all_outputs_finite": true,
"claim1_actual_feddpo_executed": true,
"claim1_inverse_S_terms_exact": true,
"claim1_partial_bound_multiple_E_S_R": true,
"claim2_full_participation_amplification_removed": true,
"claim2_residual_client_average_variance_preserved": true,
"claim3_stale_algorithm_executed": true,
"claim3_staleness_formula_exact": true,
"claim3_staleness_zero_at_q_zero": true,
"claim4_full_participation_sampling_variance_zero": true,
"claim4_lower_bound_scaling_exact": true,
"claim5_connectivity_factor_varies": true,
"claim5_decdpo_executed": true,
"claim5_four_symmetric_graphs": true,
"claim6_all_four_ablation_families": true,
"claim6_exact_N5_times_120_SHP_rows": true,
"destructive_identical_clients_reduce_participation_effect": true,
"destructive_label_corruption_worsens_clean_objective": true,
"destructive_no_mixing_increases_consensus_error": true,
"source_pins_verified": true
},
"headline": {
"clean_final_loss": 0.670980521644771,
"clients": 5,
"decdpo_algorithm_runs": 32,
"decdpo_topology_cells": 4,
"fed_ablation_cells": 9,
"fed_ablation_ranges": {
"local_steps": 0.0001053080043843886,
"participation": 1.7833669850922645e-07,
"staleness": 4.7174168747956885e-05
},
"fed_algorithm_runs": 72,
"identical_client_S1_to_S5_ratio": 1.0004384715044146,
"kappa_squared": 0.001157812224058244,
"label_corrupted_final_loss": 0.690625282427891,
"lower_bound_cells": 20,
"no_mix_to_mix_consensus_ratio": 575.6464809616402,
"pairs_per_client": 120,
"shp_pairs": 600,
"smoothness_L_bound": 0.04000000000000001,
"staleness_formula_cells": 15,
"theorem_5_1_formula_cells": 36,
"topology_consensus_range": 0.0005454370424672539,
"topology_factor_consensus_spearman": 1.0,
"zeta_squared": 0.039387909241610605
},
"openreview_id": "ljNZyrAlaa",
"paper": "Distributed Direct Preference Optimization",
"scope": "finite log-linear SHP mechanism audit plus exact source-formula reconstruction",
"seed": 20260721
}
|