{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:GYMD46YQS5TRZMUYV6JHF4NL75","short_pith_number":"pith:GYMD46YQ","canonical_record":{"source":{"id":"1004.3833","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2010-04-22T03:55:30Z","cross_cats_sorted":["math.IT"],"title_canon_sha256":"fcf3f3c7421eb455e7f6a3d5c6d944a6d71b14a2c48c01badd45910ca326c7a4","abstract_canon_sha256":"c21594f3f37c03b7b04d86616e87be0d3a7bb5140b9a5df84a54948d3b2b0d1a"},"schema_version":"1.0"},"canonical_sha256":"36183e7b1097671cb298af9272f1abff61b16ddbb16416a3f30c50f4f65bc7fa","source":{"kind":"arxiv","id":"1004.3833","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.3833","created_at":"2026-05-18T04:26:31Z"},{"alias_kind":"arxiv_version","alias_value":"1004.3833v3","created_at":"2026-05-18T04:26:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.3833","created_at":"2026-05-18T04:26:31Z"},{"alias_kind":"pith_short_12","alias_value":"GYMD46YQS5TR","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GYMD46YQS5TRZMUY","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GYMD46YQ","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:GYMD46YQS5TRZMUYV6JHF4NL75","target":"record","payload":{"canonical_record":{"source":{"id":"1004.3833","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2010-04-22T03:55:30Z","cross_cats_sorted":["math.IT"],"title_canon_sha256":"fcf3f3c7421eb455e7f6a3d5c6d944a6d71b14a2c48c01badd45910ca326c7a4","abstract_canon_sha256":"c21594f3f37c03b7b04d86616e87be0d3a7bb5140b9a5df84a54948d3b2b0d1a"},"schema_version":"1.0"},"canonical_sha256":"36183e7b1097671cb298af9272f1abff61b16ddbb16416a3f30c50f4f65bc7fa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:26:31.775066Z","signature_b64":"2w1dNgX0o/P80b2JilfzijsChVYw5abiBsHW4OBexsLRV1hodAA6W/00lHYpkuM0R1WItwypCykCjjKKcuJfBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"36183e7b1097671cb298af9272f1abff61b16ddbb16416a3f30c50f4f65bc7fa","last_reissued_at":"2026-05-18T04:26:31.774542Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:26:31.774542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1004.3833","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-18T04:26:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OykVZ03AWo6n0zTAxuA7/RE53W6gr0f+uMn70fKJbMlYqyjzygNJwa9ySpse9v/GnyRAh8UhoIjxUSBAMf7dCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:53:58.774502Z"},"content_sha256":"514a9efe95045e79f07248ac22c4bebff195502da64acfb4f9b6ef3d4f5a2b3e","schema_version":"1.0","event_id":"sha256:514a9efe95045e79f07248ac22c4bebff195502da64acfb4f9b6ef3d4f5a2b3e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:GYMD46YQS5TRZMUYV6JHF4NL75","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Normal Factor Graphs and Holographic Transformations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.IT"],"primary_cat":"cs.IT","authors_text":"Ali Al-Bashabsheh, Yongyi Mao","submitted_at":"2010-04-22T03:55:30Z","abstract_excerpt":"This paper stands at the intersection of two distinct lines of research. One line is \"holographic algorithms,\" a powerful approach introduced by Valiant for solving various counting problems in computer science; the other is \"normal factor graphs,\" an elegant framework proposed by Forney for representing codes defined on graphs. We introduce the notion of holographic transformations for normal factor graphs, and establish a very general theorem, called the generalized Holant theorem, which relates a normal factor graph to its holographic transformation. We show that the generalized Holant theo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.3833","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-18T04:26:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"irRGv9Q+QyOIuPc/39y2BpFkSH7HR2ejI7o7jfKvd0NZCm7P0rZxjq/Y0M4qWT0AVvgi9tppB3aYsZ+kW8i5BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:53:58.775155Z"},"content_sha256":"7c6a4e24589ba826f0272fa63af45e96b981ec84998640e65f7b47ead7a94835","schema_version":"1.0","event_id":"sha256:7c6a4e24589ba826f0272fa63af45e96b981ec84998640e65f7b47ead7a94835"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GYMD46YQS5TRZMUYV6JHF4NL75/bundle.json","state_url":"https://pith.science/pith/GYMD46YQS5TRZMUYV6JHF4NL75/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GYMD46YQS5TRZMUYV6JHF4NL75/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-05-25T21:53:58Z","links":{"resolver":"https://pith.science/pith/GYMD46YQS5TRZMUYV6JHF4NL75","bundle":"https://pith.science/pith/GYMD46YQS5TRZMUYV6JHF4NL75/bundle.json","state":"https://pith.science/pith/GYMD46YQS5TRZMUYV6JHF4NL75/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GYMD46YQS5TRZMUYV6JHF4NL75/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:GYMD46YQS5TRZMUYV6JHF4NL75","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":"c21594f3f37c03b7b04d86616e87be0d3a7bb5140b9a5df84a54948d3b2b0d1a","cross_cats_sorted":["math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2010-04-22T03:55:30Z","title_canon_sha256":"fcf3f3c7421eb455e7f6a3d5c6d944a6d71b14a2c48c01badd45910ca326c7a4"},"schema_version":"1.0","source":{"id":"1004.3833","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1004.3833","created_at":"2026-05-18T04:26:31Z"},{"alias_kind":"arxiv_version","alias_value":"1004.3833v3","created_at":"2026-05-18T04:26:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1004.3833","created_at":"2026-05-18T04:26:31Z"},{"alias_kind":"pith_short_12","alias_value":"GYMD46YQS5TR","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GYMD46YQS5TRZMUY","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GYMD46YQ","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:7c6a4e24589ba826f0272fa63af45e96b981ec84998640e65f7b47ead7a94835","target":"graph","created_at":"2026-05-18T04:26:31Z","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":"This paper stands at the intersection of two distinct lines of research. One line is \"holographic algorithms,\" a powerful approach introduced by Valiant for solving various counting problems in computer science; the other is \"normal factor graphs,\" an elegant framework proposed by Forney for representing codes defined on graphs. We introduce the notion of holographic transformations for normal factor graphs, and establish a very general theorem, called the generalized Holant theorem, which relates a normal factor graph to its holographic transformation. We show that the generalized Holant theo","authors_text":"Ali Al-Bashabsheh, Yongyi Mao","cross_cats":["math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2010-04-22T03:55:30Z","title":"Normal Factor Graphs and Holographic Transformations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1004.3833","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:514a9efe95045e79f07248ac22c4bebff195502da64acfb4f9b6ef3d4f5a2b3e","target":"record","created_at":"2026-05-18T04:26:31Z","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":"c21594f3f37c03b7b04d86616e87be0d3a7bb5140b9a5df84a54948d3b2b0d1a","cross_cats_sorted":["math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.IT","submitted_at":"2010-04-22T03:55:30Z","title_canon_sha256":"fcf3f3c7421eb455e7f6a3d5c6d944a6d71b14a2c48c01badd45910ca326c7a4"},"schema_version":"1.0","source":{"id":"1004.3833","kind":"arxiv","version":3}},"canonical_sha256":"36183e7b1097671cb298af9272f1abff61b16ddbb16416a3f30c50f4f65bc7fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"36183e7b1097671cb298af9272f1abff61b16ddbb16416a3f30c50f4f65bc7fa","first_computed_at":"2026-05-18T04:26:31.774542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:26:31.774542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2w1dNgX0o/P80b2JilfzijsChVYw5abiBsHW4OBexsLRV1hodAA6W/00lHYpkuM0R1WItwypCykCjjKKcuJfBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:26:31.775066Z","signed_message":"canonical_sha256_bytes"},"source_id":"1004.3833","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:514a9efe95045e79f07248ac22c4bebff195502da64acfb4f9b6ef3d4f5a2b3e","sha256:7c6a4e24589ba826f0272fa63af45e96b981ec84998640e65f7b47ead7a94835"],"state_sha256":"913a5f4d5657eaa52699f9fae4b3791f4e783b3e3909f204044f89cae5082d62"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HKdTSKU8j29YP6LoNqttJIMFEuwMWee88OKe8ppEQh6lykG9BOVoT5mqtX4GMyLW66h9sguE2dEEbGWieKT3Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:53:58.778359Z","bundle_sha256":"22fb374997df9ff2431b706dd73c40ed3f6d5b76f9f66c9107483ca4191a5553"}}