{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:4S6KG4HIHSQKARW324RAYLE6MU","short_pith_number":"pith:4S6KG4HI","schema_version":"1.0","canonical_sha256":"e4bca370e83ca0a046dbd7220c2c9e6531dc784bce6d069d503eec12942efcdf","source":{"kind":"arxiv","id":"1304.7185","version":2},"attestation_state":"computed","paper":{"title":"Stochastic Cellular Automata: Correlations, Decidability and Simulations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.DM","authors_text":"Guillaume Theyssier (LAMA), Nicolas Schabanel (LIAFA), Pablo Arrighi (LIG)","submitted_at":"2013-04-26T14:34:20Z","abstract_excerpt":"This paper introduces a simple formalism for dealing with deterministic, non- deterministic and stochastic cellular automata in an unified and composable manner. This formalism allows for local probabilistic correlations, a feature which is not present in usual definitions. We show that this feature allows for strictly more behaviors (for instance, number conserving stochastic cellular automata require these local probabilistic correlations). We also show that several problems which are deceptively simple in the usual definitions, become undecidable when we allow for local probabilistic correl"},"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":"1304.7185","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-04-26T14:34:20Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"636fd208155482a1e8da952c9ff7f685d3c65ae2c3a5a221fae6fc443d74b339","abstract_canon_sha256":"6154fc295a64a760bf6a1c388fce736ea878010b5d58310c7d11ddde106d313c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:25:26.895085Z","signature_b64":"0R5GRjWmBGU5PFps0vIlGZBAR8jPqyGqWLT74lf7u5HjkCpyVR0wF4f9cbWLBIEIxDEJ9cEXXY9GJnIYBP5kDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4bca370e83ca0a046dbd7220c2c9e6531dc784bce6d069d503eec12942efcdf","last_reissued_at":"2026-05-18T03:25:26.894241Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:25:26.894241Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Stochastic Cellular Automata: Correlations, Decidability and Simulations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.DM","authors_text":"Guillaume Theyssier (LAMA), Nicolas Schabanel (LIAFA), Pablo Arrighi (LIG)","submitted_at":"2013-04-26T14:34:20Z","abstract_excerpt":"This paper introduces a simple formalism for dealing with deterministic, non- deterministic and stochastic cellular automata in an unified and composable manner. This formalism allows for local probabilistic correlations, a feature which is not present in usual definitions. We show that this feature allows for strictly more behaviors (for instance, number conserving stochastic cellular automata require these local probabilistic correlations). We also show that several problems which are deceptively simple in the usual definitions, become undecidable when we allow for local probabilistic correl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.7185","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":"1304.7185","created_at":"2026-05-18T03:25:26.894371+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.7185v2","created_at":"2026-05-18T03:25:26.894371+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.7185","created_at":"2026-05-18T03:25:26.894371+00:00"},{"alias_kind":"pith_short_12","alias_value":"4S6KG4HIHSQK","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_16","alias_value":"4S6KG4HIHSQKARW3","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_8","alias_value":"4S6KG4HI","created_at":"2026-05-18T12:27:34.582898+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/4S6KG4HIHSQKARW324RAYLE6MU","json":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU.json","graph_json":"https://pith.science/api/pith-number/4S6KG4HIHSQKARW324RAYLE6MU/graph.json","events_json":"https://pith.science/api/pith-number/4S6KG4HIHSQKARW324RAYLE6MU/events.json","paper":"https://pith.science/paper/4S6KG4HI"},"agent_actions":{"view_html":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU","download_json":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU.json","view_paper":"https://pith.science/paper/4S6KG4HI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.7185&json=true","fetch_graph":"https://pith.science/api/pith-number/4S6KG4HIHSQKARW324RAYLE6MU/graph.json","fetch_events":"https://pith.science/api/pith-number/4S6KG4HIHSQKARW324RAYLE6MU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/action/storage_attestation","attest_author":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/action/author_attestation","sign_citation":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/action/citation_signature","submit_replication":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/action/replication_record"}},"created_at":"2026-05-18T03:25:26.894371+00:00","updated_at":"2026-05-18T03:25:26.894371+00:00"}