{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:XLK4SZUXRNBCWBNJCEZBGKKH2Y","short_pith_number":"pith:XLK4SZUX","schema_version":"1.0","canonical_sha256":"bad5c966978b422b05a91132132947d62aeb3bc0601ed26752e9818a9cac228c","source":{"kind":"arxiv","id":"1610.07908","version":2},"attestation_state":"computed","paper":{"title":"A pumping lemma for non-cooperative self-assembly","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.CC","authors_text":"Damien Regnault, Pierre-\\'Etienne Meunier","submitted_at":"2016-10-25T15:00:20Z","abstract_excerpt":"We prove a result which strongly hints at 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 starting from the seed that can grow in all terminal assemblies is pumpable, meaning that this path can be extended into an infinite, ultimately periodic path. This result can be seen as a geometric generalization of the pumping lemma of finite state automata, and closes "},"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":"1610.07908","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2016-10-25T15:00:20Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"84652669bbf04eaa483d5143ea1fee9973c9915857dc46cdc94c3147b4af5cc5","abstract_canon_sha256":"7eeb81d98da1fc57a20c0c7ee985d21956191f563b8f50e22418bcd70e0dbd38"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:08.027656Z","signature_b64":"gxTJc703PK8G4katOlyEHr9+Je71S72O5zse8/N+e34sgw/I9HQRCo1ClyIw3ZUQ4nvLdYglYCkVKV1ZJn+ADg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bad5c966978b422b05a91132132947d62aeb3bc0601ed26752e9818a9cac228c","last_reissued_at":"2026-05-18T01:01:08.026994Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:08.026994Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"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.FL"],"primary_cat":"cs.CC","authors_text":"Damien Regnault, Pierre-\\'Etienne Meunier","submitted_at":"2016-10-25T15:00:20Z","abstract_excerpt":"We prove a result which strongly hints at 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 starting from the seed that can grow in all terminal assemblies is pumpable, meaning that this path can be extended into an infinite, ultimately periodic path. This result can be seen as a geometric generalization of the pumping lemma of finite state automata, and closes "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.07908","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":"1610.07908","created_at":"2026-05-18T01:01:08.027100+00:00"},{"alias_kind":"arxiv_version","alias_value":"1610.07908v2","created_at":"2026-05-18T01:01:08.027100+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.07908","created_at":"2026-05-18T01:01:08.027100+00:00"},{"alias_kind":"pith_short_12","alias_value":"XLK4SZUXRNBC","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_16","alias_value":"XLK4SZUXRNBCWBNJ","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_8","alias_value":"XLK4SZUX","created_at":"2026-05-18T12:30:51.357362+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/XLK4SZUXRNBCWBNJCEZBGKKH2Y","json":"https://pith.science/pith/XLK4SZUXRNBCWBNJCEZBGKKH2Y.json","graph_json":"https://pith.science/api/pith-number/XLK4SZUXRNBCWBNJCEZBGKKH2Y/graph.json","events_json":"https://pith.science/api/pith-number/XLK4SZUXRNBCWBNJCEZBGKKH2Y/events.json","paper":"https://pith.science/paper/XLK4SZUX"},"agent_actions":{"view_html":"https://pith.science/pith/XLK4SZUXRNBCWBNJCEZBGKKH2Y","download_json":"https://pith.science/pith/XLK4SZUXRNBCWBNJCEZBGKKH2Y.json","view_paper":"https://pith.science/paper/XLK4SZUX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1610.07908&json=true","fetch_graph":"https://pith.science/api/pith-number/XLK4SZUXRNBCWBNJCEZBGKKH2Y/graph.json","fetch_events":"https://pith.science/api/pith-number/XLK4SZUXRNBCWBNJCEZBGKKH2Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XLK4SZUXRNBCWBNJCEZBGKKH2Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XLK4SZUXRNBCWBNJCEZBGKKH2Y/action/storage_attestation","attest_author":"https://pith.science/pith/XLK4SZUXRNBCWBNJCEZBGKKH2Y/action/author_attestation","sign_citation":"https://pith.science/pith/XLK4SZUXRNBCWBNJCEZBGKKH2Y/action/citation_signature","submit_replication":"https://pith.science/pith/XLK4SZUXRNBCWBNJCEZBGKKH2Y/action/replication_record"}},"created_at":"2026-05-18T01:01:08.027100+00:00","updated_at":"2026-05-18T01:01:08.027100+00:00"}