{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:EZD3NW34IO27AUO7MNBFXLRFKT","short_pith_number":"pith:EZD3NW34","canonical_record":{"source":{"id":"1204.6445","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-04-29T00:22:39Z","cross_cats_sorted":[],"title_canon_sha256":"498c5d0d06db495a08875c519202c92b2e55e676ad4bde502d638b364f67fe59","abstract_canon_sha256":"e97f3f42629f370781720f81d524f166da72364a3d503ed7d8bb35bf6817d431"},"schema_version":"1.0"},"canonical_sha256":"2647b6db7c43b5f051df63425bae2554f574e0c02386cc14a20eb14d1a15e793","source":{"kind":"arxiv","id":"1204.6445","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6445","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6445v3","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6445","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"pith_short_12","alias_value":"EZD3NW34IO27","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EZD3NW34IO27AUO7","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EZD3NW34","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:EZD3NW34IO27AUO7MNBFXLRFKT","target":"record","payload":{"canonical_record":{"source":{"id":"1204.6445","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-04-29T00:22:39Z","cross_cats_sorted":[],"title_canon_sha256":"498c5d0d06db495a08875c519202c92b2e55e676ad4bde502d638b364f67fe59","abstract_canon_sha256":"e97f3f42629f370781720f81d524f166da72364a3d503ed7d8bb35bf6817d431"},"schema_version":"1.0"},"canonical_sha256":"2647b6db7c43b5f051df63425bae2554f574e0c02386cc14a20eb14d1a15e793","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:18.735477Z","signature_b64":"iqE47/jEXHAftUybBVv9PE+wRGyFzNaTEEo1O/g1oNI0RYl6qIvSMiOBogBZezms3TiKc/bzQ38YPFdaz2uWBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2647b6db7c43b5f051df63425bae2554f574e0c02386cc14a20eb14d1a15e793","last_reissued_at":"2026-05-18T00:26:18.734969Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:18.734969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1204.6445","source_version":3,"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":"a6Fs3KBZveUX7CG+Hl75WlILRHLEYSHgt7Gmc44hmuHlW286cnwpOigYWc6bRkbwhOT09TqGrJkABdOydnXDBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T21:54:39.177365Z"},"content_sha256":"ca3de6cc15c9e4ad4fa98b2b27f33062cc0693ce497103870f6e7519b8d54d75","schema_version":"1.0","event_id":"sha256:ca3de6cc15c9e4ad4fa98b2b27f33062cc0693ce497103870f6e7519b8d54d75"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:EZD3NW34IO27AUO7MNBFXLRFKT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Complete Dichotomy Rises from the Capture of Vanishing Signatures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Heng Guo, Jin-Yi Cai, Tyson Williams","submitted_at":"2012-04-29T00:22:39Z","abstract_excerpt":"We prove a complexity dichotomy theorem for Holant problems over an arbitrary set of complex-valued symmetric constraint functions F on Boolean variables. This extends and unifies all previous dichotomies for Holant problems on symmetric constraint functions (taking values without a finite modulus). We define and characterize all symmetric vanishing signatures. They turned out to be essential to the complete classification of Holant problems. The dichotomy theorem has an explicit tractability criterion expressible in terms of holographic transformations. A Holant problem defined by a set of co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6445","kind":"arxiv","version":3},"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":"OazOHCNFX37bRDpsHevifQxst/J8kcjATX/+o2NoiHT/HWOTQAQZ38my6dpq5yacpGi4ZGbukrmSH+PDn7+yDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T21:54:39.178009Z"},"content_sha256":"64d847e4d5b5d4e14ffbd5ea81285faa69667b85b95a1bd9dbc5f8661721101d","schema_version":"1.0","event_id":"sha256:64d847e4d5b5d4e14ffbd5ea81285faa69667b85b95a1bd9dbc5f8661721101d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EZD3NW34IO27AUO7MNBFXLRFKT/bundle.json","state_url":"https://pith.science/pith/EZD3NW34IO27AUO7MNBFXLRFKT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EZD3NW34IO27AUO7MNBFXLRFKT/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-23T21:54:39Z","links":{"resolver":"https://pith.science/pith/EZD3NW34IO27AUO7MNBFXLRFKT","bundle":"https://pith.science/pith/EZD3NW34IO27AUO7MNBFXLRFKT/bundle.json","state":"https://pith.science/pith/EZD3NW34IO27AUO7MNBFXLRFKT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EZD3NW34IO27AUO7MNBFXLRFKT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:EZD3NW34IO27AUO7MNBFXLRFKT","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":"e97f3f42629f370781720f81d524f166da72364a3d503ed7d8bb35bf6817d431","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-04-29T00:22:39Z","title_canon_sha256":"498c5d0d06db495a08875c519202c92b2e55e676ad4bde502d638b364f67fe59"},"schema_version":"1.0","source":{"id":"1204.6445","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6445","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6445v3","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6445","created_at":"2026-05-18T00:26:18Z"},{"alias_kind":"pith_short_12","alias_value":"EZD3NW34IO27","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"EZD3NW34IO27AUO7","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"EZD3NW34","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:64d847e4d5b5d4e14ffbd5ea81285faa69667b85b95a1bd9dbc5f8661721101d","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":"We prove a complexity dichotomy theorem for Holant problems over an arbitrary set of complex-valued symmetric constraint functions F on Boolean variables. This extends and unifies all previous dichotomies for Holant problems on symmetric constraint functions (taking values without a finite modulus). We define and characterize all symmetric vanishing signatures. They turned out to be essential to the complete classification of Holant problems. The dichotomy theorem has an explicit tractability criterion expressible in terms of holographic transformations. A Holant problem defined by a set of co","authors_text":"Heng Guo, Jin-Yi Cai, Tyson Williams","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-04-29T00:22:39Z","title":"A Complete Dichotomy Rises from the Capture of Vanishing Signatures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6445","kind":"arxiv","version":3},"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:ca3de6cc15c9e4ad4fa98b2b27f33062cc0693ce497103870f6e7519b8d54d75","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":"e97f3f42629f370781720f81d524f166da72364a3d503ed7d8bb35bf6817d431","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-04-29T00:22:39Z","title_canon_sha256":"498c5d0d06db495a08875c519202c92b2e55e676ad4bde502d638b364f67fe59"},"schema_version":"1.0","source":{"id":"1204.6445","kind":"arxiv","version":3}},"canonical_sha256":"2647b6db7c43b5f051df63425bae2554f574e0c02386cc14a20eb14d1a15e793","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2647b6db7c43b5f051df63425bae2554f574e0c02386cc14a20eb14d1a15e793","first_computed_at":"2026-05-18T00:26:18.734969Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:18.734969Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iqE47/jEXHAftUybBVv9PE+wRGyFzNaTEEo1O/g1oNI0RYl6qIvSMiOBogBZezms3TiKc/bzQ38YPFdaz2uWBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:18.735477Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.6445","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca3de6cc15c9e4ad4fa98b2b27f33062cc0693ce497103870f6e7519b8d54d75","sha256:64d847e4d5b5d4e14ffbd5ea81285faa69667b85b95a1bd9dbc5f8661721101d"],"state_sha256":"08da6484cde6bd9de69c4f90c68c247a6d9d33c9745000a7bf82b1fb708c623d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sRo24ildUAY3oZ4XWYwwFydc0vkEE9xYqFjJD+NbJyKCYLVMMMNNUmX9OQBkMUvbH/IgNGnFDyCo+D5XL0C7Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T21:54:39.180991Z","bundle_sha256":"650707c5c8e050a1494793990980a0dc709cf24250fa96ca81196fa47ac3a38c"}}