{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:4S6KG4HIHSQKARW324RAYLE6MU","short_pith_number":"pith:4S6KG4HI","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"},"canonical_sha256":"e4bca370e83ca0a046dbd7220c2c9e6531dc784bce6d069d503eec12942efcdf","source":{"kind":"arxiv","id":"1304.7185","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.7185","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"arxiv_version","alias_value":"1304.7185v2","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.7185","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"pith_short_12","alias_value":"4S6KG4HIHSQK","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4S6KG4HIHSQKARW3","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4S6KG4HI","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:4S6KG4HIHSQKARW324RAYLE6MU","target":"record","payload":{"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"},"canonical_sha256":"e4bca370e83ca0a046dbd7220c2c9e6531dc784bce6d069d503eec12942efcdf","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"},"source_kind":"arxiv","source_id":"1304.7185","source_version":2,"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-18T03:25:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VKjRZslasZ1gr3PsGJKmG7zJ5q0xiJXScoUai3GL766Jzs8Cx4Z0ubCJiuyrxJEqCJCLKprCAI8GgBEvAZWAAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T22:05:51.987591Z"},"content_sha256":"4f175168f1f034ebb87a62073f01b143c13f147ba90153464107d6c584cfde7e","schema_version":"1.0","event_id":"sha256:4f175168f1f034ebb87a62073f01b143c13f147ba90153464107d6c584cfde7e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:4S6KG4HIHSQKARW324RAYLE6MU","target":"graph","payload":{"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"},"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-18T03:25:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qBcFi0HJqt63DfwcEfZxMDK32wuP+00fuC5qp6D4ObZTw+zfXW2w3vqUkPPgYdMeJQ+75f+K5ZBdOXdHPzKrCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T22:05:51.987926Z"},"content_sha256":"92a34d583d0575ff00ed03954469a3531ff3f782f584041ec549149e90d207fb","schema_version":"1.0","event_id":"sha256:92a34d583d0575ff00ed03954469a3531ff3f782f584041ec549149e90d207fb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/bundle.json","state_url":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4S6KG4HIHSQKARW324RAYLE6MU/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-06-30T22:05:51Z","links":{"resolver":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU","bundle":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/bundle.json","state":"https://pith.science/pith/4S6KG4HIHSQKARW324RAYLE6MU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4S6KG4HIHSQKARW324RAYLE6MU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4S6KG4HIHSQKARW324RAYLE6MU","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":"6154fc295a64a760bf6a1c388fce736ea878010b5d58310c7d11ddde106d313c","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-04-26T14:34:20Z","title_canon_sha256":"636fd208155482a1e8da952c9ff7f685d3c65ae2c3a5a221fae6fc443d74b339"},"schema_version":"1.0","source":{"id":"1304.7185","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.7185","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"arxiv_version","alias_value":"1304.7185v2","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.7185","created_at":"2026-05-18T03:25:26Z"},{"alias_kind":"pith_short_12","alias_value":"4S6KG4HIHSQK","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4S6KG4HIHSQKARW3","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4S6KG4HI","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:92a34d583d0575ff00ed03954469a3531ff3f782f584041ec549149e90d207fb","target":"graph","created_at":"2026-05-18T03:25:26Z","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":"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","authors_text":"Guillaume Theyssier (LAMA), Nicolas Schabanel (LIAFA), Pablo Arrighi (LIG)","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-04-26T14:34:20Z","title":"Stochastic Cellular Automata: Correlations, Decidability and Simulations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.7185","kind":"arxiv","version":2},"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:4f175168f1f034ebb87a62073f01b143c13f147ba90153464107d6c584cfde7e","target":"record","created_at":"2026-05-18T03:25:26Z","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":"6154fc295a64a760bf6a1c388fce736ea878010b5d58310c7d11ddde106d313c","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2013-04-26T14:34:20Z","title_canon_sha256":"636fd208155482a1e8da952c9ff7f685d3c65ae2c3a5a221fae6fc443d74b339"},"schema_version":"1.0","source":{"id":"1304.7185","kind":"arxiv","version":2}},"canonical_sha256":"e4bca370e83ca0a046dbd7220c2c9e6531dc784bce6d069d503eec12942efcdf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4bca370e83ca0a046dbd7220c2c9e6531dc784bce6d069d503eec12942efcdf","first_computed_at":"2026-05-18T03:25:26.894241Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:25:26.894241Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0R5GRjWmBGU5PFps0vIlGZBAR8jPqyGqWLT74lf7u5HjkCpyVR0wF4f9cbWLBIEIxDEJ9cEXXY9GJnIYBP5kDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:25:26.895085Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.7185","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f175168f1f034ebb87a62073f01b143c13f147ba90153464107d6c584cfde7e","sha256:92a34d583d0575ff00ed03954469a3531ff3f782f584041ec549149e90d207fb"],"state_sha256":"08229f8e00c5f3e6ceab175121931791372161bf41271c16a308380b0df40d82"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Af+ibK1z6prLPoAtdYyHadmt1RXTDaH6ReiwGSw5LAu8rEGsFnQ6kVGj1HQU5h78E2Hfa1qJiRfCbJBP//w2Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T22:05:51.989811Z","bundle_sha256":"3b4298acb373c509ddf207a0ab4621622fcdaed425b8ae512faf56cc1f5b28c8"}}