{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2006:YLH2YI5HY7TT2RK7P2L2CSNDKQ","short_pith_number":"pith:YLH2YI5H","schema_version":"1.0","canonical_sha256":"c2cfac23a7c7e73d455f7e97a149a35414885fdd68bff2b830ced4d144c02dd1","source":{"kind":"arxiv","id":"cs/0612089","version":1},"attestation_state":"computed","paper":{"title":"On the time complexity of 2-tag systems and small universal Turing machines","license":"","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.CC","authors_text":"Damien Woods, Turlough Neary","submitted_at":"2006-12-19T15:59:45Z","abstract_excerpt":"We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing machines in polynomial time. This is an exponential improvement on the previously known simulation time overhead and improves a forty year old result in the area of small universal Turing machines."},"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":"cs/0612089","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.CC","submitted_at":"2006-12-19T15:59:45Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"ee663207ff408d6bac9b221b955260a72475e154c660ed6fd47146de737de834","abstract_canon_sha256":"7299785a9e0eaedbb6c4cb3489b2d5f8e42c6e3b9849678b232286c12c95e9b4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:26.588250Z","signature_b64":"jsoyo8HqMV+3JsD6I+ae8Nn4BPMKZcYAqLl65O14t3J4eLmCDbzLkYGQuoTk93l6LRwjESuHbMxxk4io3yA/Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c2cfac23a7c7e73d455f7e97a149a35414885fdd68bff2b830ced4d144c02dd1","last_reissued_at":"2026-05-18T00:58:26.587788Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:26.587788Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the time complexity of 2-tag systems and small universal Turing machines","license":"","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.CC","authors_text":"Damien Woods, Turlough Neary","submitted_at":"2006-12-19T15:59:45Z","abstract_excerpt":"We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing machines in polynomial time. This is an exponential improvement on the previously known simulation time overhead and improves a forty year old result in the area of small universal Turing machines."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0612089","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":"cs/0612089","created_at":"2026-05-18T00:58:26.587854+00:00"},{"alias_kind":"arxiv_version","alias_value":"cs/0612089v1","created_at":"2026-05-18T00:58:26.587854+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0612089","created_at":"2026-05-18T00:58:26.587854+00:00"},{"alias_kind":"pith_short_12","alias_value":"YLH2YI5HY7TT","created_at":"2026-05-18T12:25:54.717736+00:00"},{"alias_kind":"pith_short_16","alias_value":"YLH2YI5HY7TT2RK7","created_at":"2026-05-18T12:25:54.717736+00:00"},{"alias_kind":"pith_short_8","alias_value":"YLH2YI5H","created_at":"2026-05-18T12:25:54.717736+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/YLH2YI5HY7TT2RK7P2L2CSNDKQ","json":"https://pith.science/pith/YLH2YI5HY7TT2RK7P2L2CSNDKQ.json","graph_json":"https://pith.science/api/pith-number/YLH2YI5HY7TT2RK7P2L2CSNDKQ/graph.json","events_json":"https://pith.science/api/pith-number/YLH2YI5HY7TT2RK7P2L2CSNDKQ/events.json","paper":"https://pith.science/paper/YLH2YI5H"},"agent_actions":{"view_html":"https://pith.science/pith/YLH2YI5HY7TT2RK7P2L2CSNDKQ","download_json":"https://pith.science/pith/YLH2YI5HY7TT2RK7P2L2CSNDKQ.json","view_paper":"https://pith.science/paper/YLH2YI5H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=cs/0612089&json=true","fetch_graph":"https://pith.science/api/pith-number/YLH2YI5HY7TT2RK7P2L2CSNDKQ/graph.json","fetch_events":"https://pith.science/api/pith-number/YLH2YI5HY7TT2RK7P2L2CSNDKQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YLH2YI5HY7TT2RK7P2L2CSNDKQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YLH2YI5HY7TT2RK7P2L2CSNDKQ/action/storage_attestation","attest_author":"https://pith.science/pith/YLH2YI5HY7TT2RK7P2L2CSNDKQ/action/author_attestation","sign_citation":"https://pith.science/pith/YLH2YI5HY7TT2RK7P2L2CSNDKQ/action/citation_signature","submit_replication":"https://pith.science/pith/YLH2YI5HY7TT2RK7P2L2CSNDKQ/action/replication_record"}},"created_at":"2026-05-18T00:58:26.587854+00:00","updated_at":"2026-05-18T00:58:26.587854+00:00"}