{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:E4MXDBTOZUW6G3L2CONNA23TS3","short_pith_number":"pith:E4MXDBTO","schema_version":"1.0","canonical_sha256":"271971866ecd2de36d7a139ad06b7396e29c8cd096d8b67fa3869edbe687eb5e","source":{"kind":"arxiv","id":"1907.06748","version":1},"attestation_state":"computed","paper":{"title":"Designing Perfect Simulation Algorithms using Local Correctness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.PR","stat.CO"],"primary_cat":"cs.DS","authors_text":"Mark Huber","submitted_at":"2019-07-15T20:46:43Z","abstract_excerpt":"Consider a randomized algorithm that draws samples exactly from a distribution using recursion. Such an algorithm is called a perfect simulation, and here a variety of methods for building this type of algorithm are shown to derive from the same result: the Fundamental Theorem of Perfect Simulation (FTPS). The FTPS gives two necessary and sufficient conditions for the output of a recursive probabilistic algorithm to come exactly from the desired distribution. First, the algorithm must terminate with probability 1. Second, the algorithm must be locally correct, which means that if the recursive"},"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":"1907.06748","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2019-07-15T20:46:43Z","cross_cats_sorted":["math.PR","stat.CO"],"title_canon_sha256":"91c792529cd59879f33ccea97c0f9b6b57a439ed6100dd89321b4a98bc2c8a97","abstract_canon_sha256":"dbb04c229f6808b9e173445a66f9f746fa3a3c756314e38d6e69255f7595d1d7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:29.292514Z","signature_b64":"No44zxTcogqykVxupUdM9Runhd6lKGGJ0Plpl8EWQVpwTfx12GYBgIw9biIkcEi7la7Oam9Uf3FqXmkWD/bNDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"271971866ecd2de36d7a139ad06b7396e29c8cd096d8b67fa3869edbe687eb5e","last_reissued_at":"2026-05-17T23:40:29.291912Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:29.291912Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Designing Perfect Simulation Algorithms using Local Correctness","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.PR","stat.CO"],"primary_cat":"cs.DS","authors_text":"Mark Huber","submitted_at":"2019-07-15T20:46:43Z","abstract_excerpt":"Consider a randomized algorithm that draws samples exactly from a distribution using recursion. Such an algorithm is called a perfect simulation, and here a variety of methods for building this type of algorithm are shown to derive from the same result: the Fundamental Theorem of Perfect Simulation (FTPS). The FTPS gives two necessary and sufficient conditions for the output of a recursive probabilistic algorithm to come exactly from the desired distribution. First, the algorithm must terminate with probability 1. Second, the algorithm must be locally correct, which means that if the recursive"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.06748","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1907.06748","created_at":"2026-05-17T23:40:29.291983+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.06748v1","created_at":"2026-05-17T23:40:29.291983+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.06748","created_at":"2026-05-17T23:40:29.291983+00:00"},{"alias_kind":"pith_short_12","alias_value":"E4MXDBTOZUW6","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_16","alias_value":"E4MXDBTOZUW6G3L2","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_8","alias_value":"E4MXDBTO","created_at":"2026-05-18T12:33:15.570797+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/E4MXDBTOZUW6G3L2CONNA23TS3","json":"https://pith.science/pith/E4MXDBTOZUW6G3L2CONNA23TS3.json","graph_json":"https://pith.science/api/pith-number/E4MXDBTOZUW6G3L2CONNA23TS3/graph.json","events_json":"https://pith.science/api/pith-number/E4MXDBTOZUW6G3L2CONNA23TS3/events.json","paper":"https://pith.science/paper/E4MXDBTO"},"agent_actions":{"view_html":"https://pith.science/pith/E4MXDBTOZUW6G3L2CONNA23TS3","download_json":"https://pith.science/pith/E4MXDBTOZUW6G3L2CONNA23TS3.json","view_paper":"https://pith.science/paper/E4MXDBTO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.06748&json=true","fetch_graph":"https://pith.science/api/pith-number/E4MXDBTOZUW6G3L2CONNA23TS3/graph.json","fetch_events":"https://pith.science/api/pith-number/E4MXDBTOZUW6G3L2CONNA23TS3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E4MXDBTOZUW6G3L2CONNA23TS3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E4MXDBTOZUW6G3L2CONNA23TS3/action/storage_attestation","attest_author":"https://pith.science/pith/E4MXDBTOZUW6G3L2CONNA23TS3/action/author_attestation","sign_citation":"https://pith.science/pith/E4MXDBTOZUW6G3L2CONNA23TS3/action/citation_signature","submit_replication":"https://pith.science/pith/E4MXDBTOZUW6G3L2CONNA23TS3/action/replication_record"}},"created_at":"2026-05-17T23:40:29.291983+00:00","updated_at":"2026-05-17T23:40:29.291983+00:00"}