{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:S4HS2DUSIE5NXXLQVZKYTJG6TK","short_pith_number":"pith:S4HS2DUS","schema_version":"1.0","canonical_sha256":"970f2d0e92413adbdd70ae5589a4de9a9c2cbc17db1cd706b9c35fd19e2898be","source":{"kind":"arxiv","id":"1608.02282","version":2},"attestation_state":"computed","paper":{"title":"Computing the Independence Polynomial: from the Tree Threshold down to the Roots","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DM","math.CO","math.PR"],"primary_cat":"cs.DS","authors_text":"Jan Vondr\\'ak, Nicholas J. A. Harvey, Piyush Srivastava","submitted_at":"2016-08-07T23:49:42Z","abstract_excerpt":"We study an algorithm for approximating the multivariate independence polynomial $Z(\\mathbf{z})$, with negative and complex arguments, an object that has strong connections to combinatorics and to statistical physics. In particular, the independence polynomial with negative arguments, $Z(-\\mathbf{p})$, determines the Shearer region, the maximal region of probabilities to which the Lovasz Local Lemma (LLL) can be extended (Shearer 1985). In statistical physics, complex zeros of the independence polynomial relate to existence of phase transitions.\n  Our main result is a deterministic algorithm t"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1608.02282","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2016-08-07T23:49:42Z","cross_cats_sorted":["cs.CC","cs.DM","math.CO","math.PR"],"title_canon_sha256":"b664ff2ec20251b4a9aee113aa0591e1f5d5a32055fec903e2fef8ef1626d000","abstract_canon_sha256":"318acb83ca2116c33c975afa4b03d396df3d1ae05f3d5cf87b0a52ba321dcc62"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:48.888917Z","signature_b64":"9692cep+Y8XzoF7x6VigMwm+EZxUCPvH8iBPOVpllUYnHfa9YOAmFLhSfvavksFtGgs4XzgwhRQQWNrNqOQzAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"970f2d0e92413adbdd70ae5589a4de9a9c2cbc17db1cd706b9c35fd19e2898be","last_reissued_at":"2026-05-18T00:30:48.888369Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:48.888369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computing the Independence Polynomial: from the Tree Threshold down to the Roots","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DM","math.CO","math.PR"],"primary_cat":"cs.DS","authors_text":"Jan Vondr\\'ak, Nicholas J. A. Harvey, Piyush Srivastava","submitted_at":"2016-08-07T23:49:42Z","abstract_excerpt":"We study an algorithm for approximating the multivariate independence polynomial $Z(\\mathbf{z})$, with negative and complex arguments, an object that has strong connections to combinatorics and to statistical physics. In particular, the independence polynomial with negative arguments, $Z(-\\mathbf{p})$, determines the Shearer region, the maximal region of probabilities to which the Lovasz Local Lemma (LLL) can be extended (Shearer 1985). In statistical physics, complex zeros of the independence polynomial relate to existence of phase transitions.\n  Our main result is a deterministic algorithm t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.02282","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1608.02282","created_at":"2026-05-18T00:30:48.888458+00:00"},{"alias_kind":"arxiv_version","alias_value":"1608.02282v2","created_at":"2026-05-18T00:30:48.888458+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.02282","created_at":"2026-05-18T00:30:48.888458+00:00"},{"alias_kind":"pith_short_12","alias_value":"S4HS2DUSIE5N","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_16","alias_value":"S4HS2DUSIE5NXXLQ","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_8","alias_value":"S4HS2DUS","created_at":"2026-05-18T12:30:41.710351+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK","json":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK.json","graph_json":"https://pith.science/api/pith-number/S4HS2DUSIE5NXXLQVZKYTJG6TK/graph.json","events_json":"https://pith.science/api/pith-number/S4HS2DUSIE5NXXLQVZKYTJG6TK/events.json","paper":"https://pith.science/paper/S4HS2DUS"},"agent_actions":{"view_html":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK","download_json":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK.json","view_paper":"https://pith.science/paper/S4HS2DUS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1608.02282&json=true","fetch_graph":"https://pith.science/api/pith-number/S4HS2DUSIE5NXXLQVZKYTJG6TK/graph.json","fetch_events":"https://pith.science/api/pith-number/S4HS2DUSIE5NXXLQVZKYTJG6TK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK/action/storage_attestation","attest_author":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK/action/author_attestation","sign_citation":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK/action/citation_signature","submit_replication":"https://pith.science/pith/S4HS2DUSIE5NXXLQVZKYTJG6TK/action/replication_record"}},"created_at":"2026-05-18T00:30:48.888458+00:00","updated_at":"2026-05-18T00:30:48.888458+00:00"}