{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:UYYNRE2COPORKN63QSPQJ2M76N","short_pith_number":"pith:UYYNRE2C","canonical_record":{"source":{"id":"1412.2582","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-12-08T14:33:36Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"d58624f7c64b6d594a3c641655132f12ea2830b01c36213980b661239fe0c940","abstract_canon_sha256":"59a6360deb8a626b7e2d04d2489e4df4fcfca60273e7a62dfcd603309cc1c3bc"},"schema_version":"1.0"},"canonical_sha256":"a630d8934273dd1537db849f04e99ff3781e4a19a5e83b38e120ad9c27bc875f","source":{"kind":"arxiv","id":"1412.2582","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:UYYNRE2COPORKN63QSPQJ2M76N","target":"record","payload":{"canonical_record":{"source":{"id":"1412.2582","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2014-12-08T14:33:36Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"d58624f7c64b6d594a3c641655132f12ea2830b01c36213980b661239fe0c940","abstract_canon_sha256":"59a6360deb8a626b7e2d04d2489e4df4fcfca60273e7a62dfcd603309cc1c3bc"},"schema_version":"1.0"},"canonical_sha256":"a630d8934273dd1537db849f04e99ff3781e4a19a5e83b38e120ad9c27bc875f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:49.515703Z","signature_b64":"PailrWbjmyxZ7/dEKT3BEj3voyiroijLwnAMIK+e9cRwfFxRK6SeWK4DeXIAb7MieBBGj1XuyOii4e+0CWlUAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a630d8934273dd1537db849f04e99ff3781e4a19a5e83b38e120ad9c27bc875f","last_reissued_at":"2026-05-17T23:47:49.515119Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:49.515119Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.2582","source_version":3,"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-17T23:47:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lDVuLiMqta+7W72+ZbYKBOoB3hWh5X78wntOk/oNyZLWqC9PBun/acqekSa1y2YIu8fX4zeTc1p0luUcJkMhCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:27:28.518731Z"},"content_sha256":"7b6ee4e2cdd6505512544fbb267c5a0dbeba9fb6cbd37e2a2b0bad53c29d93e2","schema_version":"1.0","event_id":"sha256:7b6ee4e2cdd6505512544fbb267c5a0dbeba9fb6cbd37e2a2b0bad53c29d93e2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:UYYNRE2COPORKN63QSPQJ2M76N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A notion of effectiveness for subshifts on finitely generated groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"math.GR","authors_text":"Mathieu Sablik, Nathalie Aubrun, Sebasti\\'an Barbieri","submitted_at":"2014-12-08T14:33:36Z","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, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.2582","kind":"arxiv","version":3},"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-17T23:47:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9S0W20E1jCIYmKxUzVUEX6dtjCvmxkVVHZRjmweSOTJbpDOgHZxTzWUtEzMxUkOlN8Wjn/QV2ErF0mLunjN5AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T17:27:28.519433Z"},"content_sha256":"192788fa9205fecd156f805aa93a42f1660f3daaab3c2c38ac676d97006c15f2","schema_version":"1.0","event_id":"sha256:192788fa9205fecd156f805aa93a42f1660f3daaab3c2c38ac676d97006c15f2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UYYNRE2COPORKN63QSPQJ2M76N/bundle.json","state_url":"https://pith.science/pith/UYYNRE2COPORKN63QSPQJ2M76N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UYYNRE2COPORKN63QSPQJ2M76N/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-07T17:27:28Z","links":{"resolver":"https://pith.science/pith/UYYNRE2COPORKN63QSPQJ2M76N","bundle":"https://pith.science/pith/UYYNRE2COPORKN63QSPQJ2M76N/bundle.json","state":"https://pith.science/pith/UYYNRE2COPORKN63QSPQJ2M76N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UYYNRE2COPORKN63QSPQJ2M76N/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DLW2VJvnTe4vxX2gG7quMP9da4QESxdC+Bv1faK20dq+7RINb5T1goZUQ2+8bURDplq0zYappWOUMfzWP1IhAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T17:27:28.522977Z","bundle_sha256":"a74b65e97cf5fbdfdb13adc3a7794b007095c22cb1cbda098e6e0c919ed767c9"}}