{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:SOYTDBV75CBW5JF5PTL5ET4HZX","short_pith_number":"pith:SOYTDBV7","schema_version":"1.0","canonical_sha256":"93b13186bfe8836ea4bd7cd7d24f87cdfcd70123fc0a9ec3b6018ca3baf12e52","source":{"kind":"arxiv","id":"2605.13997","version":1},"attestation_state":"computed","paper":{"title":"HodgeCover: Higher-Order Topological Coverage Drives Compression of Sparse Mixture-of-Experts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Hodge decomposition of KL merge barriers on a 2-complex isolates the harmonic kernel that blocks joint merging of expert triples in sparse MoE layers.","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.LG","authors_text":"Christine Allen-Blanchette, Dongzhe Zheng, Tao Zhong","submitted_at":"2026-05-13T18:07:12Z","abstract_excerpt":"Sparse Mixture-of-Experts (MoE) layers route tokens through a handful of experts, and learning-free compression of these layers reduces inference cost without retraining. A subtle obstruction blocks every existing compressor in this family: three experts can each be pairwise compatible yet form an irreducible cycle when merged together, so any score that ranks experts on pairwise signals is structurally blind to which triples are jointly mergeable. We show the obstruction is a precise mathematical object, the harmonic kernel of the simplicial Laplacian on a 2-complex whose vertices are experts"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":true,"formal_links_present":true},"canonical_record":{"source":{"id":"2605.13997","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-13T18:07:12Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"74fa471528886affbcd1279ef6a0c91f0aeaa8274ffcf9e242c8722eafaa74f5","abstract_canon_sha256":"6f7c3bb7b66767c553622d267ffa75beaca3b62164c5f4e8576e4bdbd6279ae6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:13.191934Z","signature_b64":"hxMW5vuENC9yIqnU9Dzoz+hMEni1YawG3XyxPNE3EkcuF8GdyDhmfhhfljm5xsIlZVFctExIZDN1TrNVIG+nBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"93b13186bfe8836ea4bd7cd7d24f87cdfcd70123fc0a9ec3b6018ca3baf12e52","last_reissued_at":"2026-05-17T23:39:13.191504Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:13.191504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"HodgeCover: Higher-Order Topological Coverage Drives Compression of Sparse Mixture-of-Experts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Hodge decomposition of KL merge barriers on a 2-complex isolates the harmonic kernel that blocks joint merging of expert triples in sparse MoE layers.","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.LG","authors_text":"Christine Allen-Blanchette, Dongzhe Zheng, Tao Zhong","submitted_at":"2026-05-13T18:07:12Z","abstract_excerpt":"Sparse Mixture-of-Experts (MoE) layers route tokens through a handful of experts, and learning-free compression of these layers reduces inference cost without retraining. A subtle obstruction blocks every existing compressor in this family: three experts can each be pairwise compatible yet form an irreducible cycle when merged together, so any score that ranks experts on pairwise signals is structurally blind to which triples are jointly mergeable. We show the obstruction is a precise mathematical object, the harmonic kernel of the simplicial Laplacian on a 2-complex whose vertices are experts"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Hodge-decomposing the edge-barrier signal isolates the kernel exactly; HodgeCover greedily covers the harmonic-critical edges and triplet-critical triangles and leads on the aggressive-compression frontier of the hybrid axis while uniquely balancing retained mass across all four Hodge components.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the KL merge barriers placed on edges and faces of the 2-complex faithfully capture the joint mergeability of expert triples, so that the harmonic kernel of the resulting Laplacian precisely identifies the irreducible cycles that block compression.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"HodgeCover isolates the harmonic kernel of a simplicial Laplacian on an expert 2-complex to identify irreducible merge cycles and selects experts for aggressive compression, matching or exceeding baselines on open-weight MoE models.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Hodge decomposition of KL merge barriers on a 2-complex isolates the harmonic kernel that blocks joint merging of expert triples in sparse MoE layers.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"4ad27983920e615e03126c24bb618a3cf6eab7f94ab3f71567ae9cb91a6fb056"},"source":{"id":"2605.13997","kind":"arxiv","version":1},"verdict":{"id":"5a04fe97-c0d6-4f86-a890-40479884c6bf","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T05:50:13.544183Z","strongest_claim":"Hodge-decomposing the edge-barrier signal isolates the kernel exactly; HodgeCover greedily covers the harmonic-critical edges and triplet-critical triangles and leads on the aggressive-compression frontier of the hybrid axis while uniquely balancing retained mass across all four Hodge components.","one_line_summary":"HodgeCover isolates the harmonic kernel of a simplicial Laplacian on an expert 2-complex to identify irreducible merge cycles and selects experts for aggressive compression, matching or exceeding baselines on open-weight MoE models.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the KL merge barriers placed on edges and faces of the 2-complex faithfully capture the joint mergeability of expert triples, so that the harmonic kernel of the resulting Laplacian precisely identifies the irreducible cycles that block compression.","pith_extraction_headline":"Hodge decomposition of KL merge barriers on a 2-complex isolates the harmonic kernel that blocks joint merging of expert triples in sparse MoE layers."},"references":{"count":77,"sample":[{"doi":"","year":2006,"title":"Higher order learning with graphs","work_id":"b66043bb-4fd4-4aae-9047-85ba71993e86","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2021,"title":"Hypergraph convolution and hypergraph attention.Pattern Recognition, 110:107637, 2021","work_id":"315c3ed7-4cca-45ad-9ae3-c2b929ae799a","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2016,"title":"Higher-order organization of complex networks","work_id":"cc42189e-8fba-40f7-a06d-19df0ded5cd3","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2020,"title":"Piqa: Reasoning about physical common- sense in natural language","work_id":"8ae51e58-eba2-45db-b9d4-e021dd15caa0","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2021,"title":"Weisfeiler and lehman go topological: Message passing simplicial networks","work_id":"d5287113-416f-4ca2-92a1-c703edd9f757","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":77,"snapshot_sha256":"af685a0faeea48c3bd2559a2fc6d8a83796f5d397f8a3fe79482f6eddbf80b88","internal_anchors":16},"formal_canon":{"evidence_count":2,"snapshot_sha256":"d5cb47962e3670479749ed338d1642512334281a4dd20253155664ea3f096850"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2605.13997","created_at":"2026-05-17T23:39:13.191569+00:00"},{"alias_kind":"arxiv_version","alias_value":"2605.13997v1","created_at":"2026-05-17T23:39:13.191569+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13997","created_at":"2026-05-17T23:39:13.191569+00:00"},{"alias_kind":"pith_short_12","alias_value":"SOYTDBV75CBW","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_16","alias_value":"SOYTDBV75CBW5JF5","created_at":"2026-05-18T12:33:37.589309+00:00"},{"alias_kind":"pith_short_8","alias_value":"SOYTDBV7","created_at":"2026-05-18T12:33:37.589309+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX","json":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX.json","graph_json":"https://pith.science/api/pith-number/SOYTDBV75CBW5JF5PTL5ET4HZX/graph.json","events_json":"https://pith.science/api/pith-number/SOYTDBV75CBW5JF5PTL5ET4HZX/events.json","paper":"https://pith.science/paper/SOYTDBV7"},"agent_actions":{"view_html":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX","download_json":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX.json","view_paper":"https://pith.science/paper/SOYTDBV7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2605.13997&json=true","fetch_graph":"https://pith.science/api/pith-number/SOYTDBV75CBW5JF5PTL5ET4HZX/graph.json","fetch_events":"https://pith.science/api/pith-number/SOYTDBV75CBW5JF5PTL5ET4HZX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX/action/storage_attestation","attest_author":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX/action/author_attestation","sign_citation":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX/action/citation_signature","submit_replication":"https://pith.science/pith/SOYTDBV75CBW5JF5PTL5ET4HZX/action/replication_record"}},"created_at":"2026-05-17T23:39:13.191569+00:00","updated_at":"2026-05-17T23:39:13.191569+00:00"}