{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:ZNNU4CKQD2MDL3QQMRDXOSJHIP","short_pith_number":"pith:ZNNU4CKQ","schema_version":"1.0","canonical_sha256":"cb5b4e09501e9835ee10644777492743eca76f3c68d1f9055e1a0289a081b4d6","source":{"kind":"arxiv","id":"1408.6695","version":1},"attestation_state":"computed","paper":{"title":"Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.FL"],"primary_cat":"math.DS","authors_text":"Ilkka T\\\"orm\\\"a, Ville Salo","submitted_at":"2014-08-28T12:15:12Z","abstract_excerpt":"In this article, we study countable sofic shifts of Cantor-Bendixson rank at most 2. We prove that their conjugacy problem is complete for GI, the complexity class of graph isomorphism, and that the existence problems of block maps, factor maps and embeddings are NP-complete."},"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":"1408.6695","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-08-28T12:15:12Z","cross_cats_sorted":["cs.CC","cs.FL"],"title_canon_sha256":"5878f6dda202fcdd22d7090ef198d44e870ae539a6a2f5ac7abda4cd022f5429","abstract_canon_sha256":"40687bcf78daa3c4a37faacadb59761a091fd41797c0cab99c997982daf968a7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:01.024658Z","signature_b64":"3R4yA7Tg691fLeACjW4igwdoKaWdH6mIBJ0YFYghgUfLNL1sMijmirFXzPHBCQl7w9JGVSAaIHF3kSo04KpsBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb5b4e09501e9835ee10644777492743eca76f3c68d1f9055e1a0289a081b4d6","last_reissued_at":"2026-05-18T02:44:01.024209Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:01.024209Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.FL"],"primary_cat":"math.DS","authors_text":"Ilkka T\\\"orm\\\"a, Ville Salo","submitted_at":"2014-08-28T12:15:12Z","abstract_excerpt":"In this article, we study countable sofic shifts of Cantor-Bendixson rank at most 2. We prove that their conjugacy problem is complete for GI, the complexity class of graph isomorphism, and that the existence problems of block maps, factor maps and embeddings are NP-complete."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.6695","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":""},"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":"1408.6695","created_at":"2026-05-18T02:44:01.024270+00:00"},{"alias_kind":"arxiv_version","alias_value":"1408.6695v1","created_at":"2026-05-18T02:44:01.024270+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.6695","created_at":"2026-05-18T02:44:01.024270+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZNNU4CKQD2MD","created_at":"2026-05-18T12:28:59.999130+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZNNU4CKQD2MDL3QQ","created_at":"2026-05-18T12:28:59.999130+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZNNU4CKQ","created_at":"2026-05-18T12:28:59.999130+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/ZNNU4CKQD2MDL3QQMRDXOSJHIP","json":"https://pith.science/pith/ZNNU4CKQD2MDL3QQMRDXOSJHIP.json","graph_json":"https://pith.science/api/pith-number/ZNNU4CKQD2MDL3QQMRDXOSJHIP/graph.json","events_json":"https://pith.science/api/pith-number/ZNNU4CKQD2MDL3QQMRDXOSJHIP/events.json","paper":"https://pith.science/paper/ZNNU4CKQ"},"agent_actions":{"view_html":"https://pith.science/pith/ZNNU4CKQD2MDL3QQMRDXOSJHIP","download_json":"https://pith.science/pith/ZNNU4CKQD2MDL3QQMRDXOSJHIP.json","view_paper":"https://pith.science/paper/ZNNU4CKQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1408.6695&json=true","fetch_graph":"https://pith.science/api/pith-number/ZNNU4CKQD2MDL3QQMRDXOSJHIP/graph.json","fetch_events":"https://pith.science/api/pith-number/ZNNU4CKQD2MDL3QQMRDXOSJHIP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZNNU4CKQD2MDL3QQMRDXOSJHIP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZNNU4CKQD2MDL3QQMRDXOSJHIP/action/storage_attestation","attest_author":"https://pith.science/pith/ZNNU4CKQD2MDL3QQMRDXOSJHIP/action/author_attestation","sign_citation":"https://pith.science/pith/ZNNU4CKQD2MDL3QQMRDXOSJHIP/action/citation_signature","submit_replication":"https://pith.science/pith/ZNNU4CKQD2MDL3QQMRDXOSJHIP/action/replication_record"}},"created_at":"2026-05-18T02:44:01.024270+00:00","updated_at":"2026-05-18T02:44:01.024270+00:00"}