{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:U33ZAB4XXEQLYC7TJMDUISS3EL","short_pith_number":"pith:U33ZAB4X","canonical_record":{"source":{"id":"1810.10055","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2018-10-23T19:07:44Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"8f67153b6aaf620abfdbf7d0e8a52d54597ac3c32d4e81a786d9093c1fef5c74","abstract_canon_sha256":"b8a4b36f661a6664ffbbebbd04da746eea8f356b78bae4ccf3de39aad7ffd343"},"schema_version":"1.0"},"canonical_sha256":"a6f7900797b920bc0bf34b07444a5b22d50a8d02fb5cb76d9e7efa54e058b959","source":{"kind":"arxiv","id":"1810.10055","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.10055","created_at":"2026-05-17T23:54:39Z"},{"alias_kind":"arxiv_version","alias_value":"1810.10055v2","created_at":"2026-05-17T23:54:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.10055","created_at":"2026-05-17T23:54:39Z"},{"alias_kind":"pith_short_12","alias_value":"U33ZAB4XXEQL","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"U33ZAB4XXEQLYC7T","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"U33ZAB4X","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:U33ZAB4XXEQLYC7TJMDUISS3EL","target":"record","payload":{"canonical_record":{"source":{"id":"1810.10055","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2018-10-23T19:07:44Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"8f67153b6aaf620abfdbf7d0e8a52d54597ac3c32d4e81a786d9093c1fef5c74","abstract_canon_sha256":"b8a4b36f661a6664ffbbebbd04da746eea8f356b78bae4ccf3de39aad7ffd343"},"schema_version":"1.0"},"canonical_sha256":"a6f7900797b920bc0bf34b07444a5b22d50a8d02fb5cb76d9e7efa54e058b959","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:39.119697Z","signature_b64":"lcQ/U4mDee1FN3l2Bu2Vyu2plv/qDdgvD/yMulRjnTbGvdH+Ly1E2WDWBkiUd2dDAOJi9ZGRS9f5n8+/Zd3iBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a6f7900797b920bc0bf34b07444a5b22d50a8d02fb5cb76d9e7efa54e058b959","last_reissued_at":"2026-05-17T23:54:39.119127Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:39.119127Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.10055","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:54:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qk4h4xKddOZUg0qHx3DvU09l+QXIkP/0WR4B6eKHwzRRoc0UJaBx0ZF+tTH/m8IeAB/oEFAk79NzG1BfIOqXAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T03:05:31.581385Z"},"content_sha256":"763a804b7a1d35db513f867aa38ba7e6224c952c630b27f4bc80906a5620e7ab","schema_version":"1.0","event_id":"sha256:763a804b7a1d35db513f867aa38ba7e6224c952c630b27f4bc80906a5620e7ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:U33ZAB4XXEQLYC7TJMDUISS3EL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Explicit Boij-Soderberg theory of ideals from a graph isomorphism reduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.AC","authors_text":"Alexander Engstrom, Laura Jakobsson, Milo Orlich","submitted_at":"2018-10-23T19:07:44Z","abstract_excerpt":"In the origins of complexity theory Booth and Lueker showed that the question of whether two graphs are isomorphic or not can be reduced to the special case of chordal graphs. To prove that, they defined a transformation from graphs G to chordal graphs BL(G). The projective resolutions of the associated edge ideals is manageable and we investigate to what extent their Betti tables also tell non-isomorphic graphs apart. It turns out that the coefficients describing the decompositions of Betti tables into pure diagrams in Boij-Soderberg theory are much more explicit than the Betti tables themsel"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.10055","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:54:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b25i9ZtOGow5fRBOp5L8sQLjkOFog4UWQ35ZPRM/E6TirbF40H8RQdQRDmJG3k0VWRgcPmmurL5gS4JKnYD0Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T03:05:31.582177Z"},"content_sha256":"b16a4da14801dd041389df4607916269805ff032bb224153548a7a1260ccb506","schema_version":"1.0","event_id":"sha256:b16a4da14801dd041389df4607916269805ff032bb224153548a7a1260ccb506"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U33ZAB4XXEQLYC7TJMDUISS3EL/bundle.json","state_url":"https://pith.science/pith/U33ZAB4XXEQLYC7TJMDUISS3EL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U33ZAB4XXEQLYC7TJMDUISS3EL/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-12T03:05:31Z","links":{"resolver":"https://pith.science/pith/U33ZAB4XXEQLYC7TJMDUISS3EL","bundle":"https://pith.science/pith/U33ZAB4XXEQLYC7TJMDUISS3EL/bundle.json","state":"https://pith.science/pith/U33ZAB4XXEQLYC7TJMDUISS3EL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U33ZAB4XXEQLYC7TJMDUISS3EL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:U33ZAB4XXEQLYC7TJMDUISS3EL","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":"b8a4b36f661a6664ffbbebbd04da746eea8f356b78bae4ccf3de39aad7ffd343","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2018-10-23T19:07:44Z","title_canon_sha256":"8f67153b6aaf620abfdbf7d0e8a52d54597ac3c32d4e81a786d9093c1fef5c74"},"schema_version":"1.0","source":{"id":"1810.10055","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.10055","created_at":"2026-05-17T23:54:39Z"},{"alias_kind":"arxiv_version","alias_value":"1810.10055v2","created_at":"2026-05-17T23:54:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.10055","created_at":"2026-05-17T23:54:39Z"},{"alias_kind":"pith_short_12","alias_value":"U33ZAB4XXEQL","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"U33ZAB4XXEQLYC7T","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"U33ZAB4X","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:b16a4da14801dd041389df4607916269805ff032bb224153548a7a1260ccb506","target":"graph","created_at":"2026-05-17T23:54: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":"In the origins of complexity theory Booth and Lueker showed that the question of whether two graphs are isomorphic or not can be reduced to the special case of chordal graphs. To prove that, they defined a transformation from graphs G to chordal graphs BL(G). The projective resolutions of the associated edge ideals is manageable and we investigate to what extent their Betti tables also tell non-isomorphic graphs apart. It turns out that the coefficients describing the decompositions of Betti tables into pure diagrams in Boij-Soderberg theory are much more explicit than the Betti tables themsel","authors_text":"Alexander Engstrom, Laura Jakobsson, Milo Orlich","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2018-10-23T19:07:44Z","title":"Explicit Boij-Soderberg theory of ideals from a graph isomorphism reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.10055","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:763a804b7a1d35db513f867aa38ba7e6224c952c630b27f4bc80906a5620e7ab","target":"record","created_at":"2026-05-17T23:54: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":"b8a4b36f661a6664ffbbebbd04da746eea8f356b78bae4ccf3de39aad7ffd343","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AC","submitted_at":"2018-10-23T19:07:44Z","title_canon_sha256":"8f67153b6aaf620abfdbf7d0e8a52d54597ac3c32d4e81a786d9093c1fef5c74"},"schema_version":"1.0","source":{"id":"1810.10055","kind":"arxiv","version":2}},"canonical_sha256":"a6f7900797b920bc0bf34b07444a5b22d50a8d02fb5cb76d9e7efa54e058b959","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6f7900797b920bc0bf34b07444a5b22d50a8d02fb5cb76d9e7efa54e058b959","first_computed_at":"2026-05-17T23:54:39.119127Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:39.119127Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lcQ/U4mDee1FN3l2Bu2Vyu2plv/qDdgvD/yMulRjnTbGvdH+Ly1E2WDWBkiUd2dDAOJi9ZGRS9f5n8+/Zd3iBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:39.119697Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.10055","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:763a804b7a1d35db513f867aa38ba7e6224c952c630b27f4bc80906a5620e7ab","sha256:b16a4da14801dd041389df4607916269805ff032bb224153548a7a1260ccb506"],"state_sha256":"d907141ce7913102e32fbc9421db8d4523552aad30a2c224297e55d82e0bc937"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7oTo3ZtLrn2q35QZK9AeMrMDjwT/Mv+8oIS4QO0XdQ1U0Ur9UwoLThioQkToEKJgZuWbavvDSz+PFi+josLdDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T03:05:31.586990Z","bundle_sha256":"db41e08c600397a2456eed6e17ed0cfc8b509d9e61f9eb3716e348e08d95f08a"}}