{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:DGYWOMEFS5NA2CKIWCDZ37G2ZT","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":"95fb90398812002d82678f6ff08097bfec1d7585c28339c1c5ad1073cdc9692e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-02T19:17:15Z","title_canon_sha256":"f4c36d3be810355ee9cd24579380b106edc247a7d74fd255ceb6230a537fcac7"},"schema_version":"1.0","source":{"id":"1705.01146","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.01146","created_at":"2026-05-18T00:45:05Z"},{"alias_kind":"arxiv_version","alias_value":"1705.01146v1","created_at":"2026-05-18T00:45:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.01146","created_at":"2026-05-18T00:45:05Z"},{"alias_kind":"pith_short_12","alias_value":"DGYWOMEFS5NA","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"DGYWOMEFS5NA2CKI","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"DGYWOMEF","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:f5203d38612b425941d4ac4e0bb9c7df276bf5e5c02cbc864517a27f36a10b75","target":"graph","created_at":"2026-05-18T00:45:05Z","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 consider the model of population protocols, which can be viewed as a sequence of random pairwise interactions of $n$ agents (nodes). We show population protocols for two problems: the leader election and the exact majority voting. The leader election starts with all agents in the same initial state and the goal is to converge to the (global) state when exactly one agent is in a distinct state $L$. The exact majority voting starts with each agent in one of the two distinct states $A$ or $B$ and the goal is to make all nodes know which of these two states was the initial majority state, even ","authors_text":"Andreas Bilke, Colin Cooper, Robert Elsaesser, Tomasz Radzik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-02T19:17:15Z","title":"Population protocols for leader election and exact majority with O(log^2 n) states and O(log^2 n) convergence time"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.01146","kind":"arxiv","version":1},"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:b83b681d6ee51105baeeda20a44b012a29c1bdba9e4d4b6e08a82499733d9a14","target":"record","created_at":"2026-05-18T00:45:05Z","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":"95fb90398812002d82678f6ff08097bfec1d7585c28339c1c5ad1073cdc9692e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-05-02T19:17:15Z","title_canon_sha256":"f4c36d3be810355ee9cd24579380b106edc247a7d74fd255ceb6230a537fcac7"},"schema_version":"1.0","source":{"id":"1705.01146","kind":"arxiv","version":1}},"canonical_sha256":"19b1673085975a0d0948b0879dfcdacce4c487d43f668e059f974c79e95452e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"19b1673085975a0d0948b0879dfcdacce4c487d43f668e059f974c79e95452e9","first_computed_at":"2026-05-18T00:45:05.806176Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:05.806176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hThU0n/LRNso+JAIJ2AFyEqrEG5hElodK1VRQLHEreweYZBphk8NnsNUhh8fn6EcbnZQVRdbdSxBMHP1ht2aAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:05.806693Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.01146","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b83b681d6ee51105baeeda20a44b012a29c1bdba9e4d4b6e08a82499733d9a14","sha256:f5203d38612b425941d4ac4e0bb9c7df276bf5e5c02cbc864517a27f36a10b75"],"state_sha256":"41cac8685281fea4c902432af6df61e66cdaa00f0274338d8ff3b378f177e861"}