{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:LHXR554DHMGVN6TCUWBS2NXRTK","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9dcd3168f63d6f00607e7af9dfb37dfb1a4b4501541c9f32b6e0ff65af4095fa","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-07-17T14:25:48Z","title_canon_sha256":"b0b23bed9881decc5e37e1f67ca38594768aab6d3268f11ed2c9e26838464d3d"},"schema_version":"1.0","source":{"id":"1707.05179","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05179","created_at":"2026-05-18T00:04:39Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05179v2","created_at":"2026-05-18T00:04:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05179","created_at":"2026-05-18T00:04:39Z"},{"alias_kind":"pith_short_12","alias_value":"LHXR554DHMGV","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LHXR554DHMGVN6TC","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LHXR554D","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:cf01c98d3d700f5958c28a68b0e123ab3a9951efd36f59a14e39fa85b3a03fd9","target":"graph","created_at":"2026-05-18T00:04:39Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"A 1978 theorem of Kozen states that two graphs on $n$ vertices are isomorphic if and only if there is a clique of size $n$ in the weak modular product between the two graphs. Restricting to bipartite graphs and considering complete bipartite subgraphs (bicliques) therein, we study the combinatorics of the weak modular product. We identify cases where isomorphism is tractable using this approach, which we call Isomorphism via Biclique Enumeration (IvBE). We find that IvBE is polynomial for bipartite $2K_2$-free graphs and quasi-polynomial for families of bipartite graphs, where the largest indu","authors_text":"Danial Dervovic, Simone Severini","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-07-17T14:25:48Z","title":"Weak Modular Product of Bipartite Graphs, Bicliques and Isomorphism"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05179","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:34dfdfa0445491de6c1ebe341bfd065b2cf6080f6149079cd8e0bfde21f7ffec","target":"record","created_at":"2026-05-18T00:04:39Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"9dcd3168f63d6f00607e7af9dfb37dfb1a4b4501541c9f32b6e0ff65af4095fa","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-07-17T14:25:48Z","title_canon_sha256":"b0b23bed9881decc5e37e1f67ca38594768aab6d3268f11ed2c9e26838464d3d"},"schema_version":"1.0","source":{"id":"1707.05179","kind":"arxiv","version":2}},"canonical_sha256":"59ef1ef7833b0d56fa62a5832d36f19a934a183f7720f040b5fea724b0204c20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"59ef1ef7833b0d56fa62a5832d36f19a934a183f7720f040b5fea724b0204c20","first_computed_at":"2026-05-18T00:04:39.973613Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:39.973613Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p9ne849Gvd6tD1e7HLUpa/DQbGyPL8scoY+VxRJXqQmQDBSte7pObhlq1R7/s1x00/UhxUxgkWYESgaatpBSBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:39.973998Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05179","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34dfdfa0445491de6c1ebe341bfd065b2cf6080f6149079cd8e0bfde21f7ffec","sha256:cf01c98d3d700f5958c28a68b0e123ab3a9951efd36f59a14e39fa85b3a03fd9"],"state_sha256":"c7fd874910ed930d0df2e5f7616a6fab81b8f2e1b01e1c9c038d8e077bccd2eb"}