{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:SYLFCSRP2C6Y7KFEURFWYXATI4","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":"f62842a3af38e1b4b3688fcd22ab010ce13a0a5c7c02934eb16cdeef31d14521","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2012-07-16T02:35:37Z","title_canon_sha256":"d71187d7ce3a68a8da07455498611aa8b51996730b2866f1cbffdf621759b554"},"schema_version":"1.0","source":{"id":"1207.3564","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.3564","created_at":"2026-05-18T03:51:00Z"},{"alias_kind":"arxiv_version","alias_value":"1207.3564v1","created_at":"2026-05-18T03:51:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.3564","created_at":"2026-05-18T03:51:00Z"},{"alias_kind":"pith_short_12","alias_value":"SYLFCSRP2C6Y","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"SYLFCSRP2C6Y7KFE","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"SYLFCSRP","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:7b13b8a5694434f860d574b98f80e07fa7b4736af810bfd7e1d114875426cb56","target":"graph","created_at":"2026-05-18T03:51:00Z","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 show for a broad class of counting problems, correlation decay (strong spatial mixing) implies FPTAS on planar graphs. The framework for the counting problems considered by us is the Holant problems with arbitrary constant-size domain and symmetric constraint functions. We define a notion of regularity on the constraint functions, which covers a wide range of natural and important counting problems, including all multi-state spin systems, counting graph homomorphisms, counting weighted matchings or perfect matchings, the subgraphs world problem transformed from the ferromagnetic Ising model","authors_text":"Chihao Zhang, Yitong Yin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2012-07-16T02:35:37Z","title":"Approximate Counting via Correlation Decay on Planar Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.3564","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:db035667389c9123e7dce414c780c7f7d8237c01b4606c98a5e3e135824cdc0f","target":"record","created_at":"2026-05-18T03:51:00Z","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":"f62842a3af38e1b4b3688fcd22ab010ce13a0a5c7c02934eb16cdeef31d14521","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2012-07-16T02:35:37Z","title_canon_sha256":"d71187d7ce3a68a8da07455498611aa8b51996730b2866f1cbffdf621759b554"},"schema_version":"1.0","source":{"id":"1207.3564","kind":"arxiv","version":1}},"canonical_sha256":"9616514a2fd0bd8fa8a4a44b6c5c134719927dc6948d90c7f8c58f7c3d3df635","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9616514a2fd0bd8fa8a4a44b6c5c134719927dc6948d90c7f8c58f7c3d3df635","first_computed_at":"2026-05-18T03:51:00.752477Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:51:00.752477Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"P4EbiCE3NGB8hKnzzE+S+jbD4fIw5MTUrHZrMQVTS7C+PUmYiwSMiLd/ag3JZyFxVcFw71/Q2PGXnRRTg79XAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:51:00.753211Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.3564","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:db035667389c9123e7dce414c780c7f7d8237c01b4606c98a5e3e135824cdc0f","sha256:7b13b8a5694434f860d574b98f80e07fa7b4736af810bfd7e1d114875426cb56"],"state_sha256":"6606a64d750d642635fe1e465c64d08114bb141216d49e4c08944a0565075f3a"}