{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:WQPBEQCDVJWB5JPA3WFUICCRQ2","short_pith_number":"pith:WQPBEQCD","schema_version":"1.0","canonical_sha256":"b41e124043aa6c1ea5e0dd8b440851869c989fa17e1a13e60f49117cc2cee0af","source":{"kind":"arxiv","id":"2606.17757","version":1},"attestation_state":"computed","paper":{"title":"On surjunctive and injunctive subshifts of finite type","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Michel Coornaert, Tullio Ceccherini-Silberstein, Ville Salo","submitted_at":"2026-06-16T10:24:04Z","abstract_excerpt":"A dynamical system is said to be surjunctive if every injective endomorphism of the system is surjective and it is said to be injunctive if every surjective endomorphism is injective. An endomorphism of a dynamical system is called pre-injective if its restriction to every homoclinicity class of the phase space is injective. One says that a dynamical system has the Moore property if every surjective endomorphism of the system is pre-injective and that it has the Myhill property if every pre-injective endomorphism is surjective. We give characterisations of surjunctivity and injunctivity for $\\"},"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":"2606.17757","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2026-06-16T10:24:04Z","cross_cats_sorted":[],"title_canon_sha256":"6e046443b2b39929bea6791700924a25f3ea659119bf83ccb78334c24d15f3db","abstract_canon_sha256":"0a354b3bff26e1703558b912688300ad6610e67597f0ebcab98e7e901de0460e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:10:21.091716Z","signature_b64":"skMrAJkJlmmIVNfuc1ecPcHd/1ibe4HvHvay+Pj+N5rQkdU/z1mLKnJrhMIatAVuy0wkqSdfHcTn0DTj0xUhBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b41e124043aa6c1ea5e0dd8b440851869c989fa17e1a13e60f49117cc2cee0af","last_reissued_at":"2026-06-19T16:10:21.091380Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:10:21.091380Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On surjunctive and injunctive subshifts of finite type","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Michel Coornaert, Tullio Ceccherini-Silberstein, Ville Salo","submitted_at":"2026-06-16T10:24:04Z","abstract_excerpt":"A dynamical system is said to be surjunctive if every injective endomorphism of the system is surjective and it is said to be injunctive if every surjective endomorphism is injective. An endomorphism of a dynamical system is called pre-injective if its restriction to every homoclinicity class of the phase space is injective. One says that a dynamical system has the Moore property if every surjective endomorphism of the system is pre-injective and that it has the Myhill property if every pre-injective endomorphism is surjective. We give characterisations of surjunctivity and injunctivity for $\\"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.17757","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.17757/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2606.17757","created_at":"2026-06-19T16:10:21.091436+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.17757v1","created_at":"2026-06-19T16:10:21.091436+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.17757","created_at":"2026-06-19T16:10:21.091436+00:00"},{"alias_kind":"pith_short_12","alias_value":"WQPBEQCDVJWB","created_at":"2026-06-19T16:10:21.091436+00:00"},{"alias_kind":"pith_short_16","alias_value":"WQPBEQCDVJWB5JPA","created_at":"2026-06-19T16:10:21.091436+00:00"},{"alias_kind":"pith_short_8","alias_value":"WQPBEQCD","created_at":"2026-06-19T16:10:21.091436+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/WQPBEQCDVJWB5JPA3WFUICCRQ2","json":"https://pith.science/pith/WQPBEQCDVJWB5JPA3WFUICCRQ2.json","graph_json":"https://pith.science/api/pith-number/WQPBEQCDVJWB5JPA3WFUICCRQ2/graph.json","events_json":"https://pith.science/api/pith-number/WQPBEQCDVJWB5JPA3WFUICCRQ2/events.json","paper":"https://pith.science/paper/WQPBEQCD"},"agent_actions":{"view_html":"https://pith.science/pith/WQPBEQCDVJWB5JPA3WFUICCRQ2","download_json":"https://pith.science/pith/WQPBEQCDVJWB5JPA3WFUICCRQ2.json","view_paper":"https://pith.science/paper/WQPBEQCD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.17757&json=true","fetch_graph":"https://pith.science/api/pith-number/WQPBEQCDVJWB5JPA3WFUICCRQ2/graph.json","fetch_events":"https://pith.science/api/pith-number/WQPBEQCDVJWB5JPA3WFUICCRQ2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WQPBEQCDVJWB5JPA3WFUICCRQ2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WQPBEQCDVJWB5JPA3WFUICCRQ2/action/storage_attestation","attest_author":"https://pith.science/pith/WQPBEQCDVJWB5JPA3WFUICCRQ2/action/author_attestation","sign_citation":"https://pith.science/pith/WQPBEQCDVJWB5JPA3WFUICCRQ2/action/citation_signature","submit_replication":"https://pith.science/pith/WQPBEQCDVJWB5JPA3WFUICCRQ2/action/replication_record"}},"created_at":"2026-06-19T16:10:21.091436+00:00","updated_at":"2026-06-19T16:10:21.091436+00:00"}