{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:CUVNM7W4G5OSLDIEBCX7O5J3GA","short_pith_number":"pith:CUVNM7W4","canonical_record":{"source":{"id":"1307.7430","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-07-29T01:19:18Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"7ce3ddcb491f1e2bbe32211f8dc0770539c14e1ba54c32ea5df758916084f30d","abstract_canon_sha256":"9487240d5f2caf59b62ba101b276d36a193a0b4dd96c1fd33c867819c6c27239"},"schema_version":"1.0"},"canonical_sha256":"152ad67edc375d258d0408aff7753b301064649025b9cb87e903fd0fbe5d74f2","source":{"kind":"arxiv","id":"1307.7430","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.7430","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"arxiv_version","alias_value":"1307.7430v2","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.7430","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"pith_short_12","alias_value":"CUVNM7W4G5OS","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CUVNM7W4G5OSLDIE","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CUVNM7W4","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:CUVNM7W4G5OSLDIEBCX7O5J3GA","target":"record","payload":{"canonical_record":{"source":{"id":"1307.7430","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-07-29T01:19:18Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"7ce3ddcb491f1e2bbe32211f8dc0770539c14e1ba54c32ea5df758916084f30d","abstract_canon_sha256":"9487240d5f2caf59b62ba101b276d36a193a0b4dd96c1fd33c867819c6c27239"},"schema_version":"1.0"},"canonical_sha256":"152ad67edc375d258d0408aff7753b301064649025b9cb87e903fd0fbe5d74f2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:18.701758Z","signature_b64":"89phvP+9rtxfBgvq9X9lMLfgO2up5Bbb4DUfzixcUUnJgW0nwyLkun0JgQo3O7lF+satcMVjKyNlLzdYIIWQAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"152ad67edc375d258d0408aff7753b301064649025b9cb87e903fd0fbe5d74f2","last_reissued_at":"2026-05-18T00:26:18.701288Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:18.701288Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.7430","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-18T00:26:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T4QZzghIb5jOqK0RZPLrSPiU0/T4eR2lWfBBh/TUQba3w6uauD4WTP7YfZRY4TowSIGAWFebjS4f7JyjIDngAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T18:13:18.239711Z"},"content_sha256":"fb090b37a6386f296056394fefc938b0bd61416505f05fb4c17f079d985553b4","schema_version":"1.0","event_id":"sha256:fb090b37a6386f296056394fefc938b0bd61416505f05fb4c17f079d985553b4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:CUVNM7W4G5OSLDIEBCX7O5J3GA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Holographic Algorithms Beyond Matchgates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.DS","authors_text":"Heng Guo, Jin-Yi Cai, Tyson Williams","submitted_at":"2013-07-29T01:19:18Z","abstract_excerpt":"Holographic algorithms introduced by Valiant are composed of two ingredients: matchgates, which are gadgets realizing local constraint functions by weighted planar perfect matchings, and holographic reductions, which show equivalences among problems with different descriptions via certain basis transformations. In this paper, we replace matchgates in the paradigm above by the affine type and the product type constraint functions, which are known to be tractable in general (not necessarily planar) graphs. More specifically, we present polynomial-time algorithms to decide if a given counting pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.7430","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-18T00:26:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W8uoD/bVQwXgF+qML+8SYNUIzA5e4RbkTScvxpoql5ULu1y38biQu9LYajd4ShwFtNAJsVCHJ8KlEdAI2vbZCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T18:13:18.240059Z"},"content_sha256":"541f945e74ff92f99d36a941b14027eb6fe16f933f5bb829b7b6e0503c4bf203","schema_version":"1.0","event_id":"sha256:541f945e74ff92f99d36a941b14027eb6fe16f933f5bb829b7b6e0503c4bf203"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CUVNM7W4G5OSLDIEBCX7O5J3GA/bundle.json","state_url":"https://pith.science/pith/CUVNM7W4G5OSLDIEBCX7O5J3GA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CUVNM7W4G5OSLDIEBCX7O5J3GA/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-23T18:13:18Z","links":{"resolver":"https://pith.science/pith/CUVNM7W4G5OSLDIEBCX7O5J3GA","bundle":"https://pith.science/pith/CUVNM7W4G5OSLDIEBCX7O5J3GA/bundle.json","state":"https://pith.science/pith/CUVNM7W4G5OSLDIEBCX7O5J3GA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CUVNM7W4G5OSLDIEBCX7O5J3GA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CUVNM7W4G5OSLDIEBCX7O5J3GA","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":"9487240d5f2caf59b62ba101b276d36a193a0b4dd96c1fd33c867819c6c27239","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-07-29T01:19:18Z","title_canon_sha256":"7ce3ddcb491f1e2bbe32211f8dc0770539c14e1ba54c32ea5df758916084f30d"},"schema_version":"1.0","source":{"id":"1307.7430","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.7430","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"arxiv_version","alias_value":"1307.7430v2","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.7430","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"pith_short_12","alias_value":"CUVNM7W4G5OS","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CUVNM7W4G5OSLDIE","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CUVNM7W4","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:541f945e74ff92f99d36a941b14027eb6fe16f933f5bb829b7b6e0503c4bf203","target":"graph","created_at":"2026-05-18T00:26:18Z","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":"Holographic algorithms introduced by Valiant are composed of two ingredients: matchgates, which are gadgets realizing local constraint functions by weighted planar perfect matchings, and holographic reductions, which show equivalences among problems with different descriptions via certain basis transformations. In this paper, we replace matchgates in the paradigm above by the affine type and the product type constraint functions, which are known to be tractable in general (not necessarily planar) graphs. More specifically, we present polynomial-time algorithms to decide if a given counting pro","authors_text":"Heng Guo, Jin-Yi Cai, Tyson Williams","cross_cats":["cs.CC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-07-29T01:19:18Z","title":"Holographic Algorithms Beyond Matchgates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.7430","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:fb090b37a6386f296056394fefc938b0bd61416505f05fb4c17f079d985553b4","target":"record","created_at":"2026-05-18T00:26:18Z","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":"9487240d5f2caf59b62ba101b276d36a193a0b4dd96c1fd33c867819c6c27239","cross_cats_sorted":["cs.CC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2013-07-29T01:19:18Z","title_canon_sha256":"7ce3ddcb491f1e2bbe32211f8dc0770539c14e1ba54c32ea5df758916084f30d"},"schema_version":"1.0","source":{"id":"1307.7430","kind":"arxiv","version":2}},"canonical_sha256":"152ad67edc375d258d0408aff7753b301064649025b9cb87e903fd0fbe5d74f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"152ad67edc375d258d0408aff7753b301064649025b9cb87e903fd0fbe5d74f2","first_computed_at":"2026-05-18T00:26:18.701288Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:18.701288Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"89phvP+9rtxfBgvq9X9lMLfgO2up5Bbb4DUfzixcUUnJgW0nwyLkun0JgQo3O7lF+satcMVjKyNlLzdYIIWQAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:18.701758Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.7430","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fb090b37a6386f296056394fefc938b0bd61416505f05fb4c17f079d985553b4","sha256:541f945e74ff92f99d36a941b14027eb6fe16f933f5bb829b7b6e0503c4bf203"],"state_sha256":"3a9d0975be62e929cdb41bf003a7e024b5bc06467ca69333583d59fca3956f96"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KT//aF7iiRGxFDCpP9GztNIG5YkOdp7b0nH90ma1K9cqws9mMmsSbaN+YnknKIwqXGyd19aCi3qI+FX1YdLbCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T18:13:18.242096Z","bundle_sha256":"4f3ac71fcca600b4cf35c620b5786bf59a351995bdd41b52fcd57b5947d86146"}}