{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:7A2VHNIS54ANBLGMF5VXPENACQ","short_pith_number":"pith:7A2VHNIS","canonical_record":{"source":{"id":"1107.3767","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2011-07-19T16:34:07Z","cross_cats_sorted":[],"title_canon_sha256":"b47b3b938acaef58198b83898d63cf5fff6179e31af5f1fde3939aeee778b1d8","abstract_canon_sha256":"cb69d77a8c6fb7f53ff710c8e826f96da3957c37b77eab849be99c0f1e0af652"},"schema_version":"1.0"},"canonical_sha256":"f83553b512ef00d0accc2f6b7791a0143a9fb0e1e5f29cae2ead5cb8d6752e0b","source":{"kind":"arxiv","id":"1107.3767","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3767","created_at":"2026-05-18T04:17:16Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3767v1","created_at":"2026-05-18T04:17:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3767","created_at":"2026-05-18T04:17:16Z"},{"alias_kind":"pith_short_12","alias_value":"7A2VHNIS54AN","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7A2VHNIS54ANBLGM","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7A2VHNIS","created_at":"2026-05-18T12:26:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:7A2VHNIS54ANBLGMF5VXPENACQ","target":"record","payload":{"canonical_record":{"source":{"id":"1107.3767","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2011-07-19T16:34:07Z","cross_cats_sorted":[],"title_canon_sha256":"b47b3b938acaef58198b83898d63cf5fff6179e31af5f1fde3939aeee778b1d8","abstract_canon_sha256":"cb69d77a8c6fb7f53ff710c8e826f96da3957c37b77eab849be99c0f1e0af652"},"schema_version":"1.0"},"canonical_sha256":"f83553b512ef00d0accc2f6b7791a0143a9fb0e1e5f29cae2ead5cb8d6752e0b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:17:16.024572Z","signature_b64":"OaXBuw2K86ZJgIeNkIRaIioG8Z0rnhEdKgxzAkGAAVGUMqV1bKunNQKiDLv396liQOy8Jbc/mwtvgbmpdtjsDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f83553b512ef00d0accc2f6b7791a0143a9fb0e1e5f29cae2ead5cb8d6752e0b","last_reissued_at":"2026-05-18T04:17:16.024037Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:17:16.024037Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.3767","source_version":1,"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:17:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qVXIQDhiaWceEUV0Ocx9h4b/qWVKAVqk4cCkReKsfkF3UB4pIo0PBJZiHZh0skCaeLQxUwxFIF6I/2RATbYJDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:53:17.033281Z"},"content_sha256":"55169c13a709eeabc80890ccdc0bac1b0a4406fa9e70286d90096bf31f4065a5","schema_version":"1.0","event_id":"sha256:55169c13a709eeabc80890ccdc0bac1b0a4406fa9e70286d90096bf31f4065a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:7A2VHNIS54ANBLGMF5VXPENACQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Computational Hardness of Enumerating Satisfying Spin-Assignments in Triangulations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Andrea Jim\\'enez, Marcos Kiwi","submitted_at":"2011-07-19T16:34:07Z","abstract_excerpt":"Satisfying spin-assignments in triangulations of a surface are states of minimum energy of the antiferromagnetic Ising model on triangulations which correspond (via geometric duality) to perfect matchings in cubic bridgeless graphs. In this work we show that it is NP-complete to decide whether or not a surface triangulation admits a satisfying spin-assignment, and that it is #P-complete to determine the number of such assignments. Both results are derived via an elaborate (and atypical) reduction that maps a Boolean formula in 3-conjunctive normal form into a triangulation of an orientable clo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3767","kind":"arxiv","version":1},"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:17:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z7vs9y3dZpW/SvhDG+qN29TxWmtOGZNeZeUTpZH6OVGgXeRWapIEqNguzAYIZIQjWBoA3CuuOT89L9TwsVMdDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T16:53:17.033648Z"},"content_sha256":"089b40a6fab2789e0d1585d17a07cadde411004b6d75d0b97c4b849550182401","schema_version":"1.0","event_id":"sha256:089b40a6fab2789e0d1585d17a07cadde411004b6d75d0b97c4b849550182401"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7A2VHNIS54ANBLGMF5VXPENACQ/bundle.json","state_url":"https://pith.science/pith/7A2VHNIS54ANBLGMF5VXPENACQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7A2VHNIS54ANBLGMF5VXPENACQ/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-30T16:53:17Z","links":{"resolver":"https://pith.science/pith/7A2VHNIS54ANBLGMF5VXPENACQ","bundle":"https://pith.science/pith/7A2VHNIS54ANBLGMF5VXPENACQ/bundle.json","state":"https://pith.science/pith/7A2VHNIS54ANBLGMF5VXPENACQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7A2VHNIS54ANBLGMF5VXPENACQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:7A2VHNIS54ANBLGMF5VXPENACQ","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":"cb69d77a8c6fb7f53ff710c8e826f96da3957c37b77eab849be99c0f1e0af652","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2011-07-19T16:34:07Z","title_canon_sha256":"b47b3b938acaef58198b83898d63cf5fff6179e31af5f1fde3939aeee778b1d8"},"schema_version":"1.0","source":{"id":"1107.3767","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.3767","created_at":"2026-05-18T04:17:16Z"},{"alias_kind":"arxiv_version","alias_value":"1107.3767v1","created_at":"2026-05-18T04:17:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.3767","created_at":"2026-05-18T04:17:16Z"},{"alias_kind":"pith_short_12","alias_value":"7A2VHNIS54AN","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7A2VHNIS54ANBLGM","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7A2VHNIS","created_at":"2026-05-18T12:26:22Z"}],"graph_snapshots":[{"event_id":"sha256:089b40a6fab2789e0d1585d17a07cadde411004b6d75d0b97c4b849550182401","target":"graph","created_at":"2026-05-18T04:17:16Z","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":"Satisfying spin-assignments in triangulations of a surface are states of minimum energy of the antiferromagnetic Ising model on triangulations which correspond (via geometric duality) to perfect matchings in cubic bridgeless graphs. In this work we show that it is NP-complete to decide whether or not a surface triangulation admits a satisfying spin-assignment, and that it is #P-complete to determine the number of such assignments. Both results are derived via an elaborate (and atypical) reduction that maps a Boolean formula in 3-conjunctive normal form into a triangulation of an orientable clo","authors_text":"Andrea Jim\\'enez, Marcos Kiwi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2011-07-19T16:34:07Z","title":"Computational Hardness of Enumerating Satisfying Spin-Assignments in Triangulations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.3767","kind":"arxiv","version":1},"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:55169c13a709eeabc80890ccdc0bac1b0a4406fa9e70286d90096bf31f4065a5","target":"record","created_at":"2026-05-18T04:17:16Z","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":"cb69d77a8c6fb7f53ff710c8e826f96da3957c37b77eab849be99c0f1e0af652","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2011-07-19T16:34:07Z","title_canon_sha256":"b47b3b938acaef58198b83898d63cf5fff6179e31af5f1fde3939aeee778b1d8"},"schema_version":"1.0","source":{"id":"1107.3767","kind":"arxiv","version":1}},"canonical_sha256":"f83553b512ef00d0accc2f6b7791a0143a9fb0e1e5f29cae2ead5cb8d6752e0b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f83553b512ef00d0accc2f6b7791a0143a9fb0e1e5f29cae2ead5cb8d6752e0b","first_computed_at":"2026-05-18T04:17:16.024037Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:17:16.024037Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OaXBuw2K86ZJgIeNkIRaIioG8Z0rnhEdKgxzAkGAAVGUMqV1bKunNQKiDLv396liQOy8Jbc/mwtvgbmpdtjsDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:17:16.024572Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.3767","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:55169c13a709eeabc80890ccdc0bac1b0a4406fa9e70286d90096bf31f4065a5","sha256:089b40a6fab2789e0d1585d17a07cadde411004b6d75d0b97c4b849550182401"],"state_sha256":"465773fd2701b7adc22d777c7b24fe1cdcccdf75504aa819dd461496c6ab1359"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rrCR8rxVe4MJK/BB9o9dMjWLJ4M3p6EpusgKB91gZNEZICYduqz2ztxIV8W4ok8lztOoxZ5Lxdu4UEPPwcPJCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T16:53:17.035834Z","bundle_sha256":"96909d94b6f3fef3f85c44f1629e4b35609981f063a5ff851c21db0ab703efb9"}}