{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:CGGTCR5MRYG4HGBA7U6B2HLTUJ","short_pith_number":"pith:CGGTCR5M","schema_version":"1.0","canonical_sha256":"118d3147ac8e0dc39820fd3c1d1d73a2524be566861af3d82ad9144a776c6b0a","source":{"kind":"arxiv","id":"1501.06831","version":2},"attestation_state":"computed","paper":{"title":"Aperiodic Subshifts of Finite Type on Groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.DS"],"primary_cat":"math.GR","authors_text":"Emmanuel Jeandel (CARTE)","submitted_at":"2015-01-27T17:32:26Z","abstract_excerpt":"In this note we prove the following results: \n  $\\bullet$ If a finitely presented group $G$ admits a strongly aperiodic SFT, then $G$ has decidable word problem. More generally, for f.g. groups that are not recursively presented, there exists a computable obstruction for them to admit strongly aperiodic SFTs. \n  $\\bullet$ On the positive side, we build strongly aperiodic SFTs on some new classes of groups. We show in particular that some particular monster groups admits strongly aperiodic SFTs for trivial reasons. Then, for a large class of group $G$, we show how to build strongly aperiodic SF"},"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":"1501.06831","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-01-27T17:32:26Z","cross_cats_sorted":["cs.DM","math.DS"],"title_canon_sha256":"4aa77f30cc5e16054c4146c971bbe2cdf335c4b33905248074026a5b59772022","abstract_canon_sha256":"519f568cabc1c19459eb331a3fb1e19442320889a686ea697c8907548a2e3c46"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:19.183892Z","signature_b64":"/XsJDEr+SljUI/UkZ5cNJFUiRoW6+ILtm//uQompAy/Rufw7EOZWBrrPE1Zxm7XjNLqY81AHsGJ87KxsTVWvDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"118d3147ac8e0dc39820fd3c1d1d73a2524be566861af3d82ad9144a776c6b0a","last_reissued_at":"2026-05-18T01:37:19.183116Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:19.183116Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Aperiodic Subshifts of Finite Type on Groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.DS"],"primary_cat":"math.GR","authors_text":"Emmanuel Jeandel (CARTE)","submitted_at":"2015-01-27T17:32:26Z","abstract_excerpt":"In this note we prove the following results: \n  $\\bullet$ If a finitely presented group $G$ admits a strongly aperiodic SFT, then $G$ has decidable word problem. More generally, for f.g. groups that are not recursively presented, there exists a computable obstruction for them to admit strongly aperiodic SFTs. \n  $\\bullet$ On the positive side, we build strongly aperiodic SFTs on some new classes of groups. We show in particular that some particular monster groups admits strongly aperiodic SFTs for trivial reasons. Then, for a large class of group $G$, we show how to build strongly aperiodic SF"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.06831","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":"1501.06831","created_at":"2026-05-18T01:37:19.183250+00:00"},{"alias_kind":"arxiv_version","alias_value":"1501.06831v2","created_at":"2026-05-18T01:37:19.183250+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.06831","created_at":"2026-05-18T01:37:19.183250+00:00"},{"alias_kind":"pith_short_12","alias_value":"CGGTCR5MRYG4","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_16","alias_value":"CGGTCR5MRYG4HGBA","created_at":"2026-05-18T12:29:14.074870+00:00"},{"alias_kind":"pith_short_8","alias_value":"CGGTCR5M","created_at":"2026-05-18T12:29:14.074870+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/CGGTCR5MRYG4HGBA7U6B2HLTUJ","json":"https://pith.science/pith/CGGTCR5MRYG4HGBA7U6B2HLTUJ.json","graph_json":"https://pith.science/api/pith-number/CGGTCR5MRYG4HGBA7U6B2HLTUJ/graph.json","events_json":"https://pith.science/api/pith-number/CGGTCR5MRYG4HGBA7U6B2HLTUJ/events.json","paper":"https://pith.science/paper/CGGTCR5M"},"agent_actions":{"view_html":"https://pith.science/pith/CGGTCR5MRYG4HGBA7U6B2HLTUJ","download_json":"https://pith.science/pith/CGGTCR5MRYG4HGBA7U6B2HLTUJ.json","view_paper":"https://pith.science/paper/CGGTCR5M","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1501.06831&json=true","fetch_graph":"https://pith.science/api/pith-number/CGGTCR5MRYG4HGBA7U6B2HLTUJ/graph.json","fetch_events":"https://pith.science/api/pith-number/CGGTCR5MRYG4HGBA7U6B2HLTUJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CGGTCR5MRYG4HGBA7U6B2HLTUJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CGGTCR5MRYG4HGBA7U6B2HLTUJ/action/storage_attestation","attest_author":"https://pith.science/pith/CGGTCR5MRYG4HGBA7U6B2HLTUJ/action/author_attestation","sign_citation":"https://pith.science/pith/CGGTCR5MRYG4HGBA7U6B2HLTUJ/action/citation_signature","submit_replication":"https://pith.science/pith/CGGTCR5MRYG4HGBA7U6B2HLTUJ/action/replication_record"}},"created_at":"2026-05-18T01:37:19.183250+00:00","updated_at":"2026-05-18T01:37:19.183250+00:00"}