{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:TNO2UZQO56VZJHWMRH45X7J54T","short_pith_number":"pith:TNO2UZQO","canonical_record":{"source":{"id":"1312.6668","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-12-23T20:42:04Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"84652669bbf04eaa483d5143ea1fee9973c9915857dc46cdc94c3147b4af5cc5","abstract_canon_sha256":"203b8b98be041283c8879c13872230b2821cc8dfd68e2ba0b5078863a609f1be"},"schema_version":"1.0"},"canonical_sha256":"9b5daa660eefab949ecc89f9dbfd3de4c722f593584d9ef71f9b08c922e31c05","source":{"kind":"arxiv","id":"1312.6668","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6668","created_at":"2026-05-18T01:36:07Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6668v4","created_at":"2026-05-18T01:36:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6668","created_at":"2026-05-18T01:36:07Z"},{"alias_kind":"pith_short_12","alias_value":"TNO2UZQO56VZ","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TNO2UZQO56VZJHWM","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TNO2UZQO","created_at":"2026-05-18T12:28:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:TNO2UZQO56VZJHWMRH45X7J54T","target":"record","payload":{"canonical_record":{"source":{"id":"1312.6668","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-12-23T20:42:04Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"84652669bbf04eaa483d5143ea1fee9973c9915857dc46cdc94c3147b4af5cc5","abstract_canon_sha256":"203b8b98be041283c8879c13872230b2821cc8dfd68e2ba0b5078863a609f1be"},"schema_version":"1.0"},"canonical_sha256":"9b5daa660eefab949ecc89f9dbfd3de4c722f593584d9ef71f9b08c922e31c05","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:07.375033Z","signature_b64":"zNapHI66gTgsDYOZgd6JsjfN6HINM5fSZZr3F46NUFIknQj1YAOnj1j85jTi3MetOLeiqlJBmIZvjXmRKFzxDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9b5daa660eefab949ecc89f9dbfd3de4c722f593584d9ef71f9b08c922e31c05","last_reissued_at":"2026-05-18T01:36:07.374600Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:07.374600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.6668","source_version":4,"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-18T01:36:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3ngIO7xd7Iwmy8jyIMVp/RBehnJPUhfrSb1wTr5mrsTnEiGY/hLWbFOMXmirUPrf2QXiOlI9jk1ji/k1/diDCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T23:09:48.290753Z"},"content_sha256":"da029c7f076c8cc657c57b7baff5034ec0796219eb8b0f4f3203b6241cbd4e60","schema_version":"1.0","event_id":"sha256:da029c7f076c8cc657c57b7baff5034ec0796219eb8b0f4f3203b6241cbd4e60"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:TNO2UZQO56VZJHWMRH45X7J54T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A pumping lemma for non-cooperative self-assembly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"cs.CC","authors_text":"Damien Regnault, Pierre-\\'Etienne Meunier","submitted_at":"2013-12-23T20:42:04Z","abstract_excerpt":"We prove the computational weakness of a model of tile assembly that has so far resisted many attempts of formal analysis or positive constructions. Specifically, we prove that, in Winfree's abstract Tile Assembly Model, when restricted to use only noncooperative bindings, any long enough path that can grow in all terminal assemblies is pumpable, meaning that this path can be extended into an infinite, ultimately periodic path.\n  This result can be seen as a geometric generalization of the pumping lemma of finite state automata, and closes the question of what can be computed deterministically"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6668","kind":"arxiv","version":4},"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-18T01:36:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i4b4Vw8C+IhgscHDHWTS0RS+EvTlRUXtKPM5gT8jyNxSDOoW4xZ8nVAt9vTpyZP/tO+JehfKyPp/9qo+mwaJAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T23:09:48.291534Z"},"content_sha256":"79ea74be81a71e12816ebd7b9679c527c1467e7d092740bc9ae8296a050e6521","schema_version":"1.0","event_id":"sha256:79ea74be81a71e12816ebd7b9679c527c1467e7d092740bc9ae8296a050e6521"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TNO2UZQO56VZJHWMRH45X7J54T/bundle.json","state_url":"https://pith.science/pith/TNO2UZQO56VZJHWMRH45X7J54T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TNO2UZQO56VZJHWMRH45X7J54T/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-11T23:09:48Z","links":{"resolver":"https://pith.science/pith/TNO2UZQO56VZJHWMRH45X7J54T","bundle":"https://pith.science/pith/TNO2UZQO56VZJHWMRH45X7J54T/bundle.json","state":"https://pith.science/pith/TNO2UZQO56VZJHWMRH45X7J54T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TNO2UZQO56VZJHWMRH45X7J54T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:TNO2UZQO56VZJHWMRH45X7J54T","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":"203b8b98be041283c8879c13872230b2821cc8dfd68e2ba0b5078863a609f1be","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-12-23T20:42:04Z","title_canon_sha256":"84652669bbf04eaa483d5143ea1fee9973c9915857dc46cdc94c3147b4af5cc5"},"schema_version":"1.0","source":{"id":"1312.6668","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6668","created_at":"2026-05-18T01:36:07Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6668v4","created_at":"2026-05-18T01:36:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6668","created_at":"2026-05-18T01:36:07Z"},{"alias_kind":"pith_short_12","alias_value":"TNO2UZQO56VZ","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_16","alias_value":"TNO2UZQO56VZJHWM","created_at":"2026-05-18T12:28:02Z"},{"alias_kind":"pith_short_8","alias_value":"TNO2UZQO","created_at":"2026-05-18T12:28:02Z"}],"graph_snapshots":[{"event_id":"sha256:79ea74be81a71e12816ebd7b9679c527c1467e7d092740bc9ae8296a050e6521","target":"graph","created_at":"2026-05-18T01:36:07Z","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 prove the computational weakness of a model of tile assembly that has so far resisted many attempts of formal analysis or positive constructions. Specifically, we prove that, in Winfree's abstract Tile Assembly Model, when restricted to use only noncooperative bindings, any long enough path that can grow in all terminal assemblies is pumpable, meaning that this path can be extended into an infinite, ultimately periodic path.\n  This result can be seen as a geometric generalization of the pumping lemma of finite state automata, and closes the question of what can be computed deterministically","authors_text":"Damien Regnault, Pierre-\\'Etienne Meunier","cross_cats":["cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-12-23T20:42:04Z","title":"A pumping lemma for non-cooperative self-assembly"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6668","kind":"arxiv","version":4},"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:da029c7f076c8cc657c57b7baff5034ec0796219eb8b0f4f3203b6241cbd4e60","target":"record","created_at":"2026-05-18T01:36:07Z","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":"203b8b98be041283c8879c13872230b2821cc8dfd68e2ba0b5078863a609f1be","cross_cats_sorted":["cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2013-12-23T20:42:04Z","title_canon_sha256":"84652669bbf04eaa483d5143ea1fee9973c9915857dc46cdc94c3147b4af5cc5"},"schema_version":"1.0","source":{"id":"1312.6668","kind":"arxiv","version":4}},"canonical_sha256":"9b5daa660eefab949ecc89f9dbfd3de4c722f593584d9ef71f9b08c922e31c05","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9b5daa660eefab949ecc89f9dbfd3de4c722f593584d9ef71f9b08c922e31c05","first_computed_at":"2026-05-18T01:36:07.374600Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:07.374600Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zNapHI66gTgsDYOZgd6JsjfN6HINM5fSZZr3F46NUFIknQj1YAOnj1j85jTi3MetOLeiqlJBmIZvjXmRKFzxDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:07.375033Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.6668","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da029c7f076c8cc657c57b7baff5034ec0796219eb8b0f4f3203b6241cbd4e60","sha256:79ea74be81a71e12816ebd7b9679c527c1467e7d092740bc9ae8296a050e6521"],"state_sha256":"196c0816efd2798b6b3e53a0f9e49508e2fd2ffabc8b0eda7e628247735f2073"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pr1xrkpxDiaTcikmpHxwBWq6rOVDehFt+RAqnoxk5xRz+KZ6g/v7x/dNVIg4zgRXVhEsTRJBG/Ohmb3H7Jb6Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T23:09:48.296061Z","bundle_sha256":"a7301a1b36e90ac68b17f1f645ef7439398f6ac10c9c8fef2dd7142323210d68"}}