{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:WXR6QHLYWDKFTG4MFBQMYSL6SS","short_pith_number":"pith:WXR6QHLY","schema_version":"1.0","canonical_sha256":"b5e3e81d78b0d4599b8c2860cc497e949c01448d2721076f8a707aca87bb5d7c","source":{"kind":"arxiv","id":"1311.3062","version":1},"attestation_state":"computed","paper":{"title":"Ants: Mobile Finite State Machines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.DC","authors_text":"Jara Uitto, Roger Wattenhofer, Tobias Langner, Yuval Emek","submitted_at":"2013-11-13T09:54:35Z","abstract_excerpt":"Consider the Ants Nearby Treasure Search (ANTS) problem introduced by Feinerman, Korman, Lotker, and Sereni (PODC 2012), where $n$ mobile agents, initially placed at the origin of an infinite grid, collaboratively search for an adversarially hidden treasure. In this paper, the model of Feinerman et al. is adapted such that the agents are controlled by a (randomized) finite state machine: they possess a constant-size memory and are able to communicate with each other through constant-size messages. Despite the restriction to constant-size memory, we show that their collaborative performance rem"},"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":"1311.3062","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-11-13T09:54:35Z","cross_cats_sorted":["cs.MA"],"title_canon_sha256":"cceff830a8ecc9536c7f68a5071b97cdf1d0a9862e215535c239aaf29734cb1c","abstract_canon_sha256":"fb7bd80bc06fd4632d06ebe1a134d0d7355e75df7f9ab28355497871a9698519"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:07:13.247711Z","signature_b64":"0mL3a+907AmMTF/Fy10Bsyypg8pwLiI7yP+PiteamMPsfI9Rijql0Y5fKKvjfHQ+WTRmt72uvWD61u3ktFw1Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5e3e81d78b0d4599b8c2860cc497e949c01448d2721076f8a707aca87bb5d7c","last_reissued_at":"2026-05-18T03:07:13.247048Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:07:13.247048Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Ants: Mobile Finite State Machines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA"],"primary_cat":"cs.DC","authors_text":"Jara Uitto, Roger Wattenhofer, Tobias Langner, Yuval Emek","submitted_at":"2013-11-13T09:54:35Z","abstract_excerpt":"Consider the Ants Nearby Treasure Search (ANTS) problem introduced by Feinerman, Korman, Lotker, and Sereni (PODC 2012), where $n$ mobile agents, initially placed at the origin of an infinite grid, collaboratively search for an adversarially hidden treasure. In this paper, the model of Feinerman et al. is adapted such that the agents are controlled by a (randomized) finite state machine: they possess a constant-size memory and are able to communicate with each other through constant-size messages. Despite the restriction to constant-size memory, we show that their collaborative performance rem"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.3062","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":"1311.3062","created_at":"2026-05-18T03:07:13.247175+00:00"},{"alias_kind":"arxiv_version","alias_value":"1311.3062v1","created_at":"2026-05-18T03:07:13.247175+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.3062","created_at":"2026-05-18T03:07:13.247175+00:00"},{"alias_kind":"pith_short_12","alias_value":"WXR6QHLYWDKF","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_16","alias_value":"WXR6QHLYWDKFTG4M","created_at":"2026-05-18T12:28:06.772260+00:00"},{"alias_kind":"pith_short_8","alias_value":"WXR6QHLY","created_at":"2026-05-18T12:28:06.772260+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/WXR6QHLYWDKFTG4MFBQMYSL6SS","json":"https://pith.science/pith/WXR6QHLYWDKFTG4MFBQMYSL6SS.json","graph_json":"https://pith.science/api/pith-number/WXR6QHLYWDKFTG4MFBQMYSL6SS/graph.json","events_json":"https://pith.science/api/pith-number/WXR6QHLYWDKFTG4MFBQMYSL6SS/events.json","paper":"https://pith.science/paper/WXR6QHLY"},"agent_actions":{"view_html":"https://pith.science/pith/WXR6QHLYWDKFTG4MFBQMYSL6SS","download_json":"https://pith.science/pith/WXR6QHLYWDKFTG4MFBQMYSL6SS.json","view_paper":"https://pith.science/paper/WXR6QHLY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1311.3062&json=true","fetch_graph":"https://pith.science/api/pith-number/WXR6QHLYWDKFTG4MFBQMYSL6SS/graph.json","fetch_events":"https://pith.science/api/pith-number/WXR6QHLYWDKFTG4MFBQMYSL6SS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WXR6QHLYWDKFTG4MFBQMYSL6SS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WXR6QHLYWDKFTG4MFBQMYSL6SS/action/storage_attestation","attest_author":"https://pith.science/pith/WXR6QHLYWDKFTG4MFBQMYSL6SS/action/author_attestation","sign_citation":"https://pith.science/pith/WXR6QHLYWDKFTG4MFBQMYSL6SS/action/citation_signature","submit_replication":"https://pith.science/pith/WXR6QHLYWDKFTG4MFBQMYSL6SS/action/replication_record"}},"created_at":"2026-05-18T03:07:13.247175+00:00","updated_at":"2026-05-18T03:07:13.247175+00:00"}