{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:UYYNRE2COPORKN63QSPQJ2M76N","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":"59a6360deb8a626b7e2d04d2489e4df4fcfca60273e7a62dfcd603309cc1c3bc","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-12-08T14:33:36Z","title_canon_sha256":"d58624f7c64b6d594a3c641655132f12ea2830b01c36213980b661239fe0c940"},"schema_version":"1.0","source":{"id":"1412.2582","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.2582","created_at":"2026-05-17T23:47:49Z"},{"alias_kind":"arxiv_version","alias_value":"1412.2582v3","created_at":"2026-05-17T23:47:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.2582","created_at":"2026-05-17T23:47:49Z"},{"alias_kind":"pith_short_12","alias_value":"UYYNRE2COPOR","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_16","alias_value":"UYYNRE2COPORKN63","created_at":"2026-05-18T12:28:52Z"},{"alias_kind":"pith_short_8","alias_value":"UYYNRE2C","created_at":"2026-05-18T12:28:52Z"}],"graph_snapshots":[{"event_id":"sha256:192788fa9205fecd156f805aa93a42f1660f3daaab3c2c38ac676d97006c15f2","target":"graph","created_at":"2026-05-17T23:47:49Z","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 generalize the classical definition of effectively closed subshift to finitely generated groups. We study classical stability properties of this class and then extend this notion by allowing the usage of an oracle to the word problem of a group. This new class of subshifts forms a conjugacy class that contains all sofic subshifts. Motivated by the question of whether there exists a group where the class of sofic subshifts coincides with that of effective subshifts, we show that the inclusion is strict for several groups, including recursively presented groups with undecidable word problem, ","authors_text":"Mathieu Sablik, Nathalie Aubrun, Sebasti\\'an Barbieri","cross_cats":["math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-12-08T14:33:36Z","title":"A notion of effectiveness for subshifts on finitely generated groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.2582","kind":"arxiv","version":3},"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:7b6ee4e2cdd6505512544fbb267c5a0dbeba9fb6cbd37e2a2b0bad53c29d93e2","target":"record","created_at":"2026-05-17T23:47:49Z","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":"59a6360deb8a626b7e2d04d2489e4df4fcfca60273e7a62dfcd603309cc1c3bc","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-12-08T14:33:36Z","title_canon_sha256":"d58624f7c64b6d594a3c641655132f12ea2830b01c36213980b661239fe0c940"},"schema_version":"1.0","source":{"id":"1412.2582","kind":"arxiv","version":3}},"canonical_sha256":"a630d8934273dd1537db849f04e99ff3781e4a19a5e83b38e120ad9c27bc875f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a630d8934273dd1537db849f04e99ff3781e4a19a5e83b38e120ad9c27bc875f","first_computed_at":"2026-05-17T23:47:49.515119Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:49.515119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PailrWbjmyxZ7/dEKT3BEj3voyiroijLwnAMIK+e9cRwfFxRK6SeWK4DeXIAb7MieBBGj1XuyOii4e+0CWlUAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:49.515703Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.2582","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7b6ee4e2cdd6505512544fbb267c5a0dbeba9fb6cbd37e2a2b0bad53c29d93e2","sha256:192788fa9205fecd156f805aa93a42f1660f3daaab3c2c38ac676d97006c15f2"],"state_sha256":"66e90297f61555873f42e1ed152463e019f650edb4820a14ec6ce3a717d17169"}