{ "schema": "nsrl.production_atomic_harmonics.v1", "analysis_role": "proposal_only_calibration", "rank": 6, "vertices": 64, "walsh_normalization_denominator": 64, "analysis_source_sha256": "6b678aacbb8f7ffe695c1046e32c874d0c868418119455720d727ac658d15f15", "source_result_sha256": "7d7432057cfa2b86796abdcaf73604541699a9fed1a939a57ad94b42bf9ce7ca", "bindings": { "source_fnv64": "0xc19b8402483e9d33", "binary_fnv64": "0xfa0351bca0c5631e", "model_hash": "0xb10996e0707ab342", "tokenizer_hash": "0xf4fe71d93c438c1a", "token_stream_hash": "0xda195778ceb603ab", "source_index_hash": "0x75f51a06dd94fda8", "move_fingerprint": "0x48eccb62ab07b717", "manifest_hash": "0x2ce8888292aa6852" }, "source_population": { "proposal_source_cluster_hash": "0x9918fecc57ecd19f", "proposal_source_clusters": 1, "source_clustered_fold_estimation_available": false }, "q20": { "fractional_bits": 20, "aggregate": { "walsh_numerators": [ "111721475788", "144", "-16", "-44", "4", "24", "-8", "20", "132", "16", "12", "8", "-4", "0", "4", "0", "460", "-4", "-8", "0", "-4", "-4", "0", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "1896", "4", "-12", "8", "-24", "-12", "20", "0", "12", "-16", "-4", "-8", "20", "0", "-12", "0", "16", "-8", "-12", "-4", "24", "0", "-12", "4", "16", "0", "0", "0", "-8", "0", "0", "0" ], "energy_by_degree": [ "12481688152248670220944", "3844848", "4288", "2816", "432", "16", "0" ], "parseval_verified": true, "tails": [ { "retained_degree": 0, "residual_characters": 63, "maximum_pair_disagreements": 32, "tail_energy_numerator": "3852400", "residual_oscillation_numerator": "5504", "residual_denominator": 64, "residual_oscillation_ceil": "86", "spectral_regret_bound_ceil": "347", "surrogate_minimizers": [ 0, 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, 58, 59, 60, 61, 62, 63 ], "selected_minimizer": 0, "exact_gap": "84", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 1, "residual_characters": 57, "maximum_pair_disagreements": 31, "tail_energy_numerator": "7552", "residual_oscillation_numerator": "408", "residual_denominator": 64, "residual_oscillation_ceil": "7", "spectral_regret_bound_ceil": "16", "surrogate_minimizers": [ 61 ], "selected_minimizer": 61, "exact_gap": "4", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 2, "residual_characters": 42, "maximum_pair_disagreements": 26, "tail_energy_numerator": "3264", "residual_oscillation_numerator": "264", "residual_denominator": 64, "residual_oscillation_ceil": "5", "spectral_regret_bound_ceil": "10", "surrogate_minimizers": [ 63 ], "selected_minimizer": 63, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "448", "residual_oscillation_numerator": "96", "residual_denominator": 64, "residual_oscillation_ceil": "2", "spectral_regret_bound_ceil": "3", "surrogate_minimizers": [ 63 ], "selected_minimizer": 63, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 4, "residual_characters": 7, "maximum_pair_disagreements": 6, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "surrogate_minimizers": [ 63 ], "selected_minimizer": 63, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 5, "residual_characters": 1, "maximum_pair_disagreements": 1, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "surrogate_minimizers": [ 63 ], "selected_minimizer": 63, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true } ] }, "documents": [ { "document": 8, "walsh_numerators": [ "1738316320", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3021743628378342400", "5120", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 9, "walsh_numerators": [ "1750120696", "40", "-24", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "24", "8", "8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3062922450567524416", "3776", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 49, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 10, "walsh_numerators": [ "1748463808", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3057125687885860864", "2048", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 11, "walsh_numerators": [ "1753205104", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3073728136691650816", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 0, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 12, "walsh_numerators": [ "1736877440", "-16", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "-16", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3016743241580953600", "5632", "512", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 50, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 13, "walsh_numerators": [ "1749974288", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3062410008661106944", "1536", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 52, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 14, "walsh_numerators": [ "1755073400", "0", "0", "0", "8", "0", "0", "0", "-8", "0", "0", "0", "-8", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "40", "0", "0", "0", "-8", "0", "0", "0", "8", "0", "0", "0", "8", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3080282639387560000", "4032", "448", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 12 } }, { "document": 15, "walsh_numerators": [ "1730923016", "-8", "0", "0", "0", "0", "0", "0", "8", "8", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "8", "-8", "0", "0", "0", "0", "0", "0", "8", "8", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "2996094487318536256", "640", "128", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 56, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 16, "walsh_numerators": [ "1731198808", "-8", "0", "0", "8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "40", "8", "0", "0", "-8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "2997049312820620864", "1728", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 36, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 17, "walsh_numerators": [ "1745728536", "0", "0", "0", "0", "0", "0", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "40", "0", "0", "0", "0", "0", "0", "0", "8", "0", "0", "0", "0", "0", "0", "0", "8", "0", "0", "0", "0", "0", "0", "0", "8", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3047568121404703296", "1728", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 18, "walsh_numerators": [ "1751488064", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3067710438334468096", "0", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 0, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 64 } }, { "document": 19, "walsh_numerators": [ "1740899440", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3030730860192313600", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 16, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 20, "walsh_numerators": [ "1741454784", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3032664764716486656", "2048", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 21, "walsh_numerators": [ "1753250664", "24", "0", "0", "-8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-8", "8", "0", "0", "8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3073887890816440896", "3200", "128", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 53, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 22, "walsh_numerators": [ "1734465616", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3008370973086259456", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 23, "walsh_numerators": [ "1744978528", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3044950063181046784", "3584", "512", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 24, "walsh_numerators": [ "1754240000", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3077357977600000000", "768", "0", "256", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 52, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 25, "walsh_numerators": [ "1754545696", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3078430599352124416", "5120", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 26, "walsh_numerators": [ "1735014640", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3010275801014329600", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 27, "walsh_numerators": [ "1746098968", "0", "-24", "0", "0", "0", "0", "0", "0", "8", "0", "8", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "40", "0", "-8", "0", "0", "0", "0", "0", "0", "-8", "0", "-8", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3048861606050665024", "2432", "384", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 33, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 28, "walsh_numerators": [ "1740129936", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3028052194163364096", "512", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 16, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 48 } }, { "document": 29, "walsh_numerators": [ "1742506608", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3036329278923665664", "4608", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 30, "walsh_numerators": [ "1740931536", "-16", "8", "-8", "8", "-8", "0", "0", "16", "0", "16", "0", "0", "0", "0", "0", "64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "8", "8", "8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3030842613039319296", "4992", "512", "128", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 56, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 31, "walsh_numerators": [ "1750465584", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3064129760768461056", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 32, "walsh_numerators": [ "1761310752", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3102215565110805504", "5120", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 33, "walsh_numerators": [ "1755682272", "0", "16", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3082420240215081984", "3840", "0", "256", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 18, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 12 } }, { "document": 34, "walsh_numerators": [ "1741762096", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3033735199062313216", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 16, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 35, "walsh_numerators": [ "1735708240", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-80", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3012683094403897600", "6656", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 0, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 36, "walsh_numerators": [ "1734907948", "12", "4", "4", "4", "4", "-4", "12", "48", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "4", "4", "-4", "-4", "-4", "-4", "-12", "4", "16", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3009905588033570704", "4528", "64", "448", "176", "16", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "192", "residual_oscillation_numerator": "48", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "2", "selected_minimizer": 57, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 1 } }, { "document": 37, "walsh_numerators": [ "1746471048", "8", "0", "0", "0", "0", "0", "0", "-8", "-8", "0", "0", "0", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "8", "8", "0", "0", "0", "0", "0", "0", "-8", "-8", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3050161121502218304", "2176", "128", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 38, "walsh_numerators": [ "1733648992", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3005538827462616064", "2048", "1024", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 0, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 48 } }, { "document": 39, "walsh_numerators": [ "1749119576", "0", "-8", "0", "0", "0", "0", "0", "8", "0", "8", "0", "16", "0", "0", "0", "-48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "8", "0", "8", "0", "0", "0", "0", "0", "8", "0", "-8", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3059419291146419776", "3456", "640", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 40, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 40, "walsh_numerators": [ "1746915808", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3051714840240292864", "1024", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 0, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 41, "walsh_numerators": [ "1747679312", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3054382977592793344", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 33, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 42, "walsh_numerators": [ "1744316464", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3042639926581463296", "4608", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 43, "walsh_numerators": [ "1746710328", "0", "0", "0", "-8", "0", "0", "0", "8", "0", "0", "0", "8", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "8", "0", "0", "0", "8", "0", "0", "0", "-8", "0", "0", "0", "-8", "0", "0", "0" ], "energy_by_degree": [ "3050996969941867584", "2176", "128", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 40, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 44, "walsh_numerators": [ "1754191168", "0", "0", "0", "16", "0", "0", "0", "32", "0", "0", "0", "-16", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3077186653889204224", "2560", "512", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 44, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 45, "walsh_numerators": [ "1749483264", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3060691691016093696", "1024", "1024", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 46, "walsh_numerators": [ "1765543680", "16", "0", "0", "-32", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3117144485987942400", "2560", "512", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 49, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 47, "walsh_numerators": [ "1737029608", "0", "-8", "0", "16", "0", "0", "0", "24", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "40", "0", "-8", "0", "-16", "0", "0", "0", "-8", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3017271859068633664", "2496", "448", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 44, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 48, "walsh_numerators": [ "1737156304", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3017712024526940416", "512", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 8, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 48 } }, { "document": 49, "walsh_numerators": [ "1749770016", "16", "0", "0", "-8", "8", "-8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-8", "-8", "-8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3061695108892640256", "4928", "192", "192", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 49, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 50, "walsh_numerators": [ "1756729952", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3086100124253922304", "5120", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 51, "walsh_numerators": [ "1749389200", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3060362573076640000", "512", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 0, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 48 } }, { "document": 52, "walsh_numerators": [ "1743473024", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3039698185415704576", "2048", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 53, "walsh_numerators": [ "1751674312", "8", "-8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "40", "8", "-8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3068362895320673344", "2752", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 54, "walsh_numerators": [ "1745749264", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3047640492756541696", "512", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 16, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 48 } }, { "document": 55, "walsh_numerators": [ "1730106368", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "2993268044594151424", "4096", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 16, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 56, "walsh_numerators": [ "1751324512", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3067137546332038144", "1024", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 57, "walsh_numerators": [ "1758434976", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3092093564820120576", "5120", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 58, "walsh_numerators": [ "1738899472", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3023771373721878784", "512", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 0, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 48 } }, { "document": 59, "walsh_numerators": [ "1745257376", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "64", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3045923308482405376", "5120", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 60, "walsh_numerators": [ "1755541848", "8", "0", "0", "0", "0", "0", "0", "-8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "40", "-8", "0", "0", "0", "0", "0", "0", "8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3081927180079255104", "1728", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 33, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 61, "walsh_numerators": [ "1743480176", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3039723124104990976", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 62, "walsh_numerators": [ "1738216200", "24", "8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-24", "-8", "8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3021395557942440000", "2688", "640", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 51, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 63, "walsh_numerators": [ "1743962096", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3041403792284713216", "2560", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 32 } }, { "document": 64, "walsh_numerators": [ "1748912608", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3058695310421361664", "1280", "512", "256", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 65, "walsh_numerators": [ "1753389352", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "72", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "24", "0", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-8", "0", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3074374219706979904", "5824", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 66, "walsh_numerators": [ "1742996144", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3038035557998868736", "4608", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 67, "walsh_numerators": [ "1749220204", "-4", "0", "0", "-4", "-4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "44", "-4", "0", "0", "-4", "-4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "12", "-4", "0", "0", "-4", "-4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "12", "-4", "0", "0", "-4", "-4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3059771322081801616", "2112", "224", "64", "16", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 16, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 68, "walsh_numerators": [ "1746025580", "0", "4", "0", "-12", "0", "12", "0", "4", "0", "-4", "0", "-4", "0", "4", "0", "-48", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "36", "0", "12", "0", "-4", "0", "4", "0", "-4", "0", "4", "0", "4", "0", "-4", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3048605326014336400", "3776", "608", "64", "16", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 6 } }, { "document": 69, "walsh_numerators": [ "1737323712", "8", "8", "0", "16", "8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "8", "-8", "0", "0", "8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3018293680277458944", "640", "256", "128", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 38, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 70, "walsh_numerators": [ "1738385712", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3021984883685746944", "512", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 71, "walsh_numerators": [ "1745225344", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "3045811501339918336", "2048", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } } ] }, "q32": { "fractional_bits": 32, "aggregate": { "walsh_numerators": [ "457611164635720", "554238", "-66808", "-199014", "17716", "66030", "-16680", "65694", "496538", "65840", "48634", "34180", "-14682", "0", "16082", "0", "1841016", "14", "8", "2", "-16", "2", "-4", "2", "-2", "4", "-2", "0", "-2", "0", "2", "0", "8328716", "-22", "20", "14", "32", "10", "-4", "2", "-6", "-8", "-6", "-4", "-10", "0", "2", "0", "-20", "10", "-12", "-10", "-28", "-10", "8", "-2", "22", "4", "6", "0", "-2", "0", "2", "0" ], "energy_by_degree": [ "209407977999260034760299918400", "73315357032520", "51160491040", "5742606832", "352", "8", "0" ], "parseval_verified": true, "tails": [ { "retained_degree": 0, "residual_characters": 63, "maximum_pair_disagreements": 32, "tail_energy_numerator": "73372260130752", "residual_oscillation_numerator": "22810496", "residual_denominator": 64, "residual_oscillation_ceil": "356414", "spectral_regret_bound_ceil": "1514227", "surrogate_minimizers": [ 0, 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, 58, 59, 60, 61, 62, 63 ], "selected_minimizer": 0, "exact_gap": "352730", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 1, "residual_characters": 57, "maximum_pair_disagreements": 31, "tail_energy_numerator": "56903098232", "residual_oscillation_numerator": "861644", "residual_denominator": 64, "residual_oscillation_ceil": "13464", "spectral_regret_bound_ceil": "41505", "surrogate_minimizers": [ 61 ], "selected_minimizer": 61, "exact_gap": "6755", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 2, "residual_characters": 42, "maximum_pair_disagreements": 26, "tail_energy_numerator": "5742607192", "residual_oscillation_numerator": "231984", "residual_denominator": 64, "residual_oscillation_ceil": "3625", "spectral_regret_bound_ceil": "12076", "surrogate_minimizers": [ 59 ], "selected_minimizer": 59, "exact_gap": "2024", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "360", "residual_oscillation_numerator": "76", "residual_denominator": 64, "residual_oscillation_ceil": "2", "spectral_regret_bound_ceil": "3", "surrogate_minimizers": [ 63 ], "selected_minimizer": 63, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 4, "residual_characters": 7, "maximum_pair_disagreements": 6, "tail_energy_numerator": "8", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "surrogate_minimizers": [ 63 ], "selected_minimizer": 63, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true }, { "retained_degree": 5, "residual_characters": 1, "maximum_pair_disagreements": 1, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "surrogate_minimizers": [ 63 ], "selected_minimizer": 63, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true } ] }, "documents": [ { "document": 8, "walsh_numerators": [ "7120143451840", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "132544", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "121472", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50696442774780030399385600", "32323358720", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 9, "walsh_numerators": [ "7168494247688", "158632", "-91752", "-36776", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "138080", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "133176", "-8", "8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51387309779135945093345344", "70384474304", "1352474304", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 49, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 10, "walsh_numerators": [ "7161707926880", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-136832", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "131488", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51290060429935827426534400", "36012090368", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 11, "walsh_numerators": [ "7181128033264", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-185136", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "126832", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51568599830130084690493696", "50361694720", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 12, "walsh_numerators": [ "7114249903784", "-65232", "67000", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "257512", "0", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "126888", "16", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "8", "0", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50612551693490653257518656", "91157208512", "448", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 50, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 13, "walsh_numerators": [ "7167894786384", "0", "0", "0", "67904", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "126032", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "128560", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51378715668670928991795456", "37022691840", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 52, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 14, "walsh_numerators": [ "7188780545676", "0", "0", "0", "33436", "0", "0", "0", "-33436", "0", "0", "0", "-33436", "0", "0", "0", "197836", "0", "0", "0", "-4", "0", "0", "0", "4", "0", "0", "0", "4", "0", "0", "0", "133972", "0", "0", "0", "4", "0", "0", "0", "-4", "0", "0", "0", "-4", "0", "0", "0", "-12", "0", "0", "0", "4", "0", "0", "0", "-4", "0", "0", "0", "-4", "0", "0", "0" ], "energy_by_degree": [ "51678565733889728322296976", "59323511872", "1117966304", "64", "16", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 52, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 15, "walsh_numerators": [ "7089860700704", "-31984", "0", "0", "0", "0", "0", "0", "31984", "31984", "0", "0", "0", "0", "0", "0", "69360", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "130416", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50266124755387013866095616", "23865095168", "1022976512", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 56, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 16, "walsh_numerators": [ "7090990428264", "-31960", "0", "0", "31960", "31960", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-4960", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "140192", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "8", "8", "0", "0", "-8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50282145253731666130053696", "21721281664", "1021441664", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 36, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 17, "walsh_numerators": [ "7150504196352", "0", "0", "0", "0", "0", "0", "0", "-65120", "0", "0", "0", "0", "0", "0", "0", "-56224", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "132672", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51129710262047561370107904", "25003612160", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 18, "walsh_numerators": [ "7174094813360", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-2288", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "128784", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51467636391078853234489600", "16590553600", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 19, "walsh_numerators": [ "7130724048144", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "186224", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "117424", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50847225450779154829844736", "48467773952", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 20, "walsh_numerators": [ "7132998706240", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-122336", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "141280", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50879670543221513814937600", "34926135296", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 21, "walsh_numerators": [ "7181314785240", "101688", "0", "0", "-35096", "-35096", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "67488", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "137208", "-8", "0", "0", "8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51571282044706627321857600", "34952843968", "1231729344", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 49, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 22, "walsh_numerators": [ "7104370950272", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "197376", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "136960", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50472086599068680296873984", "57715326976", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 23, "walsh_numerators": [ "7147432218824", "67240", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-253336", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "131128", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51085787322683367819942976", "85894898880", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 33, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 24, "walsh_numerators": [ "7185366993768", "0", "0", "0", "63688", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "67960", "0", "0", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "132648", "0", "0", "0", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-8", "0", "0", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51629498835130585750837824", "26270214848", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 52, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 25, "walsh_numerators": [ "7186619272544", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "214816", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "131584", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51647496568500851752231936", "63460262912", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 26, "walsh_numerators": [ "7106619960576", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "66784", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "131872", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50504047264057227794251776", "21850327040", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 27, "walsh_numerators": [ "7152021220932", "1588", "-93812", "-228", "0", "0", "0", "0", "228", "34180", "228", "34180", "0", "0", "0", "0", "-61432", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "128460", "-4", "-12", "4", "0", "0", "0", "0", "-4", "-4", "-4", "-4", "0", "0", "0", "0", "8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51151407544661655954948624", "29079127296", "1168376672", "1168272512", "16", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 33, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 28, "walsh_numerators": [ "7127572482352", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "70768", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "129936", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50802289491181451351451904", "21891473920", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 29, "walsh_numerators": [ "7137306990176", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-187680", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "125504", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50941151072015192160510976", "50975036416", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 30, "walsh_numerators": [ "7130855422944", "-69176", "30728", "-33680", "35496", "-35496", "0", "0", "64408", "0", "64408", "0", "0", "0", "0", "0", "257192", "8", "0", "0", "-8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "129072", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-8", "0", "8", "0", "0", "0", "0", "0", "8", "0", "8", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50849099062929853121627136", "93945191488", "6542699072", "192", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 56, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 31, "walsh_numerators": [ "7169907072800", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "65888", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "127040", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51407567432587464499840000", "20480390144", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 32, "walsh_numerators": [ "7214328829792", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-271424", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "125280", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "52046540464368008106763264", "89366066176", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 33, "walsh_numerators": [ "7191274791552", "0", "71760", "0", "-136384", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "200976", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "133680", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51714433127611261050568704", "82011788032", "0", "256", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 50, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 34, "walsh_numerators": [ "7134257550208", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "213344", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "115488", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50897630792699853640843264", "58853140480", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 35, "walsh_numerators": [ "7109461105680", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-271504", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "137200", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50544437213176688128262400", "92538262016", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 36, "walsh_numerators": [ "7106182721546", "33694", "28334", "3794", "28334", "3794", "-1566", "33694", "197304", "0", "0", "0", "0", "0", "0", "0", "183894", "2", "2", "-2", "2", "-2", "-2", "2", "8", "0", "0", "0", "0", "0", "0", "0", "134790", "2", "2", "-2", "2", "-2", "-2", "2", "-8", "0", "0", "0", "0", "0", "0", "0", "-6", "-2", "-2", "2", "-2", "2", "2", "-2", "8", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50497832871998915372630116", "93655132500", "31241416", "1135285736", "20", "4", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "24", "residual_oscillation_numerator": "20", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 63, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 1 } }, { "document": 37, "walsh_numerators": [ "7153545340804", "34084", "0", "0", "0", "0", "0", "0", "-34084", "-34084", "0", "0", "0", "0", "0", "0", "-124708", "-4", "0", "0", "0", "0", "0", "0", "4", "4", "0", "0", "0", "0", "0", "0", "130948", "4", "0", "0", "0", "0", "0", "0", "-4", "-4", "0", "0", "0", "0", "0", "0", "-4", "-4", "0", "0", "0", "0", "0", "0", "4", "4", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51173210942938616507366416", "35022902080", "1161719136", "64", "16", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 33, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 38, "walsh_numerators": [ "7101026369632", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-124320", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "129728", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50424575502209021491815424", "32284816384", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 39, "walsh_numerators": [ "7164394056164", "0", "-33492", "0", "1948", "0", "4", "0", "35436", "0", "33492", "0", "68932", "0", "-4", "0", "-199088", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "135404", "0", "4", "0", "4", "0", "-4", "0", "4", "0", "-4", "0", "-4", "0", "4", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51328542191998052386394896", "60351493824", "5873335008", "64", "16", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 40, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 40, "walsh_numerators": [ "7155367265216", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-126432", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "128224", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51199280700124698883526656", "32426444800", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 41, "walsh_numerators": [ "7158494482976", "56224", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "124864", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51244043262797829553816576", "18752156672", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 33, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 42, "walsh_numerators": [ "7144720446208", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "213792", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "126848", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-32", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51047030254462642621579264", "61797434368", "1024", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 43, "walsh_numerators": [ "7154525683564", "0", "0", "0", "-32772", "0", "0", "0", "32772", "0", "0", "0", "32772", "0", "0", "0", "-127084", "0", "0", "0", "4", "0", "0", "0", "-4", "0", "0", "0", "-4", "0", "0", "0", "130612", "0", "0", "0", "4", "0", "0", "0", "-4", "0", "0", "0", "-4", "0", "0", "0", "12", "0", "0", "0", "-4", "0", "0", "0", "4", "0", "0", "0", "4", "0", "0", "0" ], "energy_by_degree": [ "51187237756776921459742096", "35357845568", "1074004192", "64", "16", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 40, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 44, "walsh_numerators": [ "7185167174432", "0", "0", "0", "64208", "0", "0", "0", "131520", "0", "0", "0", "-66864", "0", "0", "0", "-132848", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "133248", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51626627324535130714522624", "56823798272", "4470794752", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 44, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 45, "walsh_numerators": [ "7165883485280", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "7200", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "127936", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51349886124608639976678400", "16419460096", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 46, "walsh_numerators": [ "7231666907712", "64672", "0", "0", "-130240", "64672", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "114400", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "125728", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "52297006264096840325074944", "50039815168", "4182467584", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 49, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 47, "walsh_numerators": [ "7114873073600", "0", "-33408", "0", "69920", "0", "0", "0", "95776", "0", "-33408", "0", "0", "0", "0", "0", "-928", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "134944", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50621418853438311016960000", "33388687360", "1116094464", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 44, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 48, "walsh_numerators": [ "7115392012544", "0", "0", "0", "0", "0", "0", "0", "57424", "0", "0", "0", "0", "0", "0", "0", "-848", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "121408", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50628803492174954653351936", "18038137344", "512", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 40, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 49, "walsh_numerators": [ "7167057962912", "64224", "224", "-224", "-32000", "32000", "-32000", "32000", "0", "0", "0", "0", "0", "0", "0", "0", "196448", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "135456", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51366719843740307167519744", "62088916992", "2048050176", "1024000000", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 49, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 50, "walsh_numerators": [ "7195565671296", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "252864", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "136896", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51776165329933455118319616", "82680717312", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 51, "walsh_numerators": [ "7165498075264", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-69984", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "129952", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51344362666612088608669696", "21785282560", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 52, "walsh_numerators": [ "7141265571952", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "122736", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "128368", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50997673969146925689090304", "31542469120", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 53, "walsh_numerators": [ "7174857928552", "33720", "-33720", "-33720", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-141104", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "122704", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-8", "8", "-8", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51478586294905496336816704", "37240687232", "1137038464", "128", "64", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "64", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 54, "walsh_numerators": [ "7150588930096", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "12368", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "141584", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51130922047211457974569216", "20198996480", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 55, "walsh_numerators": [ "7086515741136", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "279920", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "121648", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50218705349368311362570496", "93153442304", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 56, "walsh_numerators": [ "7173425436880", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "6384", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "131024", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51458032498477018864134400", "17208044032", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 57, "walsh_numerators": [ "7202549678880", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-246848", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "128416", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51876721876734391118054400", "77424604160", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 58, "walsh_numerators": [ "7122532223196", "-1332", "1332", "1332", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-71220", "-4", "4", "4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "125556", "4", "-4", "-4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-12", "4", "-4", "-4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50730465270465354360454416", "20840145984", "1774432", "64", "16", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "16", "residual_oscillation_numerator": "8", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 34, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 59, "walsh_numerators": [ "7148574163520", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "131392", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "125504", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51102112571345667698790400", "33015111680", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 60, "walsh_numerators": [ "7190699375392", "33760", "0", "0", "0", "0", "0", "0", "-33760", "33760", "0", "0", "0", "0", "0", "0", "10944", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "121472", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51706157507262898935153664", "17154693120", "1139737600", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 49, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 61, "walsh_numerators": [ "7141294836256", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-63264", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "130176", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50998091938336609852097536", "20948124672", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 62, "walsh_numerators": [ "7119733634576", "98848", "34224", "-34224", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "72848", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "130432", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50690607027312779102699776", "33261547008", "1171282688", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 51, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 63, "walsh_numerators": [ "7143268652080", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "66896", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "132592", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51026287035788820088326400", "22055713280", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 64, "walsh_numerators": [ "7163545944200", "1352", "-1352", "-65288", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "58688", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "128632", "-8", "8", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51316390494664269513640000", "19994128576", "4262523072", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 65, "walsh_numerators": [ "7181882612408", "0", "-62344", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "268728", "0", "-8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "140808", "0", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "8", "0", "8", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51579437858408358755558464", "95928405184", "192", "64", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 8 } }, { "document": 66, "walsh_numerators": [ "7139312354032", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "204752", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "128656", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50969780888433937306657024", "58475747840", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 67, "walsh_numerators": [ "7164805805536", "-30992", "0", "0", "-30992", "-30992", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "193680", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "124592", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51334442231042369848247296", "54956116992", "960504320", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 4 } }, { "document": 68, "walsh_numerators": [ "7151720607134", "0", "17090", "0", "-49262", "0", "49262", "0", "16086", "0", "-16086", "0", "-16086", "0", "16086", "0", "-183358", "0", "-2", "0", "-2", "0", "2", "0", "2", "0", "-2", "0", "-2", "0", "2", "0", "127254", "0", "10", "0", "-6", "0", "6", "0", "-2", "0", "2", "0", "2", "0", "-2", "0", "2", "0", "-2", "0", "-2", "0", "2", "0", "2", "0", "-2", "0", "-2", "0", "2", "0" ], "energy_by_degree": [ "51147107642505109571693956", "52791308820", "2944263592", "258759464", "20", "4", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "24", "residual_oscillation_numerator": "20", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 42, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 69, "walsh_numerators": [ "7116077930232", "35188", "32380", "0", "67568", "35188", "-32380", "0", "0", "0", "0", "0", "0", "0", "0", "0", "5848", "-4", "4", "0", "0", "-4", "-4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "133344", "4", "4", "0", "8", "4", "-4", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-4", "-4", "0", "-8", "-4", "4", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50638565109134945059573824", "24666915808", "2286659872", "160", "32", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "32", "residual_oscillation_numerator": "16", "residual_denominator": 64, "residual_oscillation_ceil": "1", "spectral_regret_bound_ceil": "1", "selected_minimizer": 54, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 2 } }, { "document": 70, "walsh_numerators": [ "7120427995872", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-61792", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "135168", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "50700494844397746449040384", "22088639488", "0", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 32, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } }, { "document": 71, "walsh_numerators": [ "7148443048400", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "134032", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "137584", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "-16", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0", "0" ], "energy_by_degree": [ "51100238016218284742560000", "36893934080", "256", "0", "0", "0", "0" ], "parseval_verified": true, "cubic": { "retained_degree": 3, "residual_characters": 22, "maximum_pair_disagreements": 16, "tail_energy_numerator": "0", "residual_oscillation_numerator": "0", "residual_denominator": 64, "residual_oscillation_ceil": "0", "spectral_regret_bound_ceil": "0", "selected_minimizer": 48, "exact_gap": "0", "direct_oscillation_certificate_verified": true, "spectral_certificate_verified": true, "surrogate_minimizer_count": 16 } } ] }, "representation_concordance": { "both_zero": 10, "q20_zero_q32_nonzero": 12, "q20_nonzero_q32_zero": 0, "both_nonzero_sign_agree": 25, "both_nonzero_sign_disagree": 16 }, "limitations": { "source_clustered_stability_estimated": false, "pre_action_phase_features_available": false, "ramanujan_prediction_authorized": false }, "decision": { "optimizer_change_authorized": false, "paid_scaling_authorized": false } }