{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:K3RVDW5TPJGCNQFOEVFAGLR77J","short_pith_number":"pith:K3RVDW5T","schema_version":"1.0","canonical_sha256":"56e351dbb37a4c26c0ae254a032e3ffa49f858aa028df1ca9b7c2a5f14fe9038","source":{"kind":"arxiv","id":"2503.00485","version":1},"attestation_state":"computed","paper":{"title":"Homomorphism Expressivity of Spectral Invariant Graph Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Bohang Zhang, Haggai Maron, Jingchu Gai, Liwei Wang, Yiheng Du","submitted_at":"2025-03-01T13:23:49Z","abstract_excerpt":"Graph spectra are an important class of structural features on graphs that have shown promising results in enhancing Graph Neural Networks (GNNs). Despite their widespread practical use, the theoretical understanding of the power of spectral invariants -- particularly their contribution to GNNs -- remains incomplete. In this paper, we address this fundamental question through the lens of homomorphism expressivity, providing a comprehensive and quantitative analysis of the expressive power of spectral invariants. Specifically, we prove that spectral invariant GNNs can homomorphism-count exactly"},"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":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2503.00485","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-03-01T13:23:49Z","cross_cats_sorted":[],"title_canon_sha256":"30a7782c02b49d9c7abc6c4d40f232340acacb615223a3c28a90f9f898024f20","abstract_canon_sha256":"83fba0e7c1c96caaa9873b68bd8b914fffae48f86c9a9370a7a80778c51f2464"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:22:23.840798Z","signature_b64":"SZGesnvkuS930qd3PLtIki5IHepu1XfYXRgw6UWS/b9jbDHfQbKETLVpBcnDcqDz33mIIoPq3OqTrjNrl7J3Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56e351dbb37a4c26c0ae254a032e3ffa49f858aa028df1ca9b7c2a5f14fe9038","last_reissued_at":"2026-07-05T10:22:23.840377Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:22:23.840377Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Homomorphism Expressivity of Spectral Invariant Graph Neural Networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Bohang Zhang, Haggai Maron, Jingchu Gai, Liwei Wang, Yiheng Du","submitted_at":"2025-03-01T13:23:49Z","abstract_excerpt":"Graph spectra are an important class of structural features on graphs that have shown promising results in enhancing Graph Neural Networks (GNNs). Despite their widespread practical use, the theoretical understanding of the power of spectral invariants -- particularly their contribution to GNNs -- remains incomplete. In this paper, we address this fundamental question through the lens of homomorphism expressivity, providing a comprehensive and quantitative analysis of the expressive power of spectral invariants. Specifically, we prove that spectral invariant GNNs can homomorphism-count exactly"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.00485","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2503.00485/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"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":"2503.00485","created_at":"2026-07-05T10:22:23.840435+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.00485v1","created_at":"2026-07-05T10:22:23.840435+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.00485","created_at":"2026-07-05T10:22:23.840435+00:00"},{"alias_kind":"pith_short_12","alias_value":"K3RVDW5TPJGC","created_at":"2026-07-05T10:22:23.840435+00:00"},{"alias_kind":"pith_short_16","alias_value":"K3RVDW5TPJGCNQFO","created_at":"2026-07-05T10:22:23.840435+00:00"},{"alias_kind":"pith_short_8","alias_value":"K3RVDW5T","created_at":"2026-07-05T10:22:23.840435+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J","json":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J.json","graph_json":"https://pith.science/api/pith-number/K3RVDW5TPJGCNQFOEVFAGLR77J/graph.json","events_json":"https://pith.science/api/pith-number/K3RVDW5TPJGCNQFOEVFAGLR77J/events.json","paper":"https://pith.science/paper/K3RVDW5T"},"agent_actions":{"view_html":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J","download_json":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J.json","view_paper":"https://pith.science/paper/K3RVDW5T","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.00485&json=true","fetch_graph":"https://pith.science/api/pith-number/K3RVDW5TPJGCNQFOEVFAGLR77J/graph.json","fetch_events":"https://pith.science/api/pith-number/K3RVDW5TPJGCNQFOEVFAGLR77J/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J/action/storage_attestation","attest_author":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J/action/author_attestation","sign_citation":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J/action/citation_signature","submit_replication":"https://pith.science/pith/K3RVDW5TPJGCNQFOEVFAGLR77J/action/replication_record"}},"created_at":"2026-07-05T10:22:23.840435+00:00","updated_at":"2026-07-05T10:22:23.840435+00:00"}