{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:E36WB67MESXVAXZ7Z22J2M3KHV","short_pith_number":"pith:E36WB67M","canonical_record":{"source":{"id":"1104.3100","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-15T16:08:59Z","cross_cats_sorted":[],"title_canon_sha256":"1031ba354d4e7fc1fe4bd34b2f681b6505a218978ad636d9917bd6e00694c10f","abstract_canon_sha256":"207e6d0c75a69ea36bf1cdd16eda58445c669dc932e54faa0f24346927f325ca"},"schema_version":"1.0"},"canonical_sha256":"26fd60fbec24af505f3fceb49d336a3d6ac4e1cd16c610c5375e9e86a4d74fbc","source":{"kind":"arxiv","id":"1104.3100","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.3100","created_at":"2026-05-18T04:24:06Z"},{"alias_kind":"arxiv_version","alias_value":"1104.3100v1","created_at":"2026-05-18T04:24:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.3100","created_at":"2026-05-18T04:24:06Z"},{"alias_kind":"pith_short_12","alias_value":"E36WB67MESXV","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"E36WB67MESXVAXZ7","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"E36WB67M","created_at":"2026-05-18T12:26:26Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:E36WB67MESXVAXZ7Z22J2M3KHV","target":"record","payload":{"canonical_record":{"source":{"id":"1104.3100","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-15T16:08:59Z","cross_cats_sorted":[],"title_canon_sha256":"1031ba354d4e7fc1fe4bd34b2f681b6505a218978ad636d9917bd6e00694c10f","abstract_canon_sha256":"207e6d0c75a69ea36bf1cdd16eda58445c669dc932e54faa0f24346927f325ca"},"schema_version":"1.0"},"canonical_sha256":"26fd60fbec24af505f3fceb49d336a3d6ac4e1cd16c610c5375e9e86a4d74fbc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:24:06.597932Z","signature_b64":"83qnWuWCxIb189T4C5+ISJoi2v122yrYKZrQPDbLRcwXkrCHae0Ri6zE9S6QkcjLUNQhyWEslNSqXbrw7HiqDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26fd60fbec24af505f3fceb49d336a3d6ac4e1cd16c610c5375e9e86a4d74fbc","last_reissued_at":"2026-05-18T04:24:06.597183Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:24:06.597183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1104.3100","source_version":1,"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-18T04:24:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FcxELuSzkra0Egt02Fg7UTjz1li9QD6g/Rxp0uvVVQfnWSxlY0tIlKUQ3HuoYhpe3ypIga/xDapcoqkdROLgBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T23:58:24.922042Z"},"content_sha256":"a1f6b9aef6826bf2ccd1e44e1d13611910fcf72d85e1f22348d23d34189abd93","schema_version":"1.0","event_id":"sha256:a1f6b9aef6826bf2ccd1e44e1d13611910fcf72d85e1f22348d23d34189abd93"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:E36WB67MESXVAXZ7Z22J2M3KHV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On Stabilization in Herman's Algorithm","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Andrzej Murawski, James Worrell, Jo\\\"el Ouaknine, Lijun Zhang, Stefan Kiefer","submitted_at":"2011-04-15T16:08:59Z","abstract_excerpt":"Herman's algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics of the protocol very difficult to analyze. In this paper we study the expected time to stabilization in terms of the initial configuration. It is straightforward that the algorithm achieves stabilization almost surely from any initial configuration, and it is known that the worst-case expected time to stabilization (with respect to the initial configuration) is Theta(N^2). Our first contribution is to give an upper boun"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.3100","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"},"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-18T04:24:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n7PefUKZ7rug2e5B3QZ+YcWK32fGo4SFgUwxm38KmXSm32JMZsPm15guTWRSskwLSmz8zyHpfS8L9ikCZZzsDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-23T23:58:24.922703Z"},"content_sha256":"b15e3fe2017c32ccac6d6ea0aed491afcaee8033d1eb3be3cd2a4e615f60c7d2","schema_version":"1.0","event_id":"sha256:b15e3fe2017c32ccac6d6ea0aed491afcaee8033d1eb3be3cd2a4e615f60c7d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E36WB67MESXVAXZ7Z22J2M3KHV/bundle.json","state_url":"https://pith.science/pith/E36WB67MESXVAXZ7Z22J2M3KHV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E36WB67MESXVAXZ7Z22J2M3KHV/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-05-23T23:58:24Z","links":{"resolver":"https://pith.science/pith/E36WB67MESXVAXZ7Z22J2M3KHV","bundle":"https://pith.science/pith/E36WB67MESXVAXZ7Z22J2M3KHV/bundle.json","state":"https://pith.science/pith/E36WB67MESXVAXZ7Z22J2M3KHV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E36WB67MESXVAXZ7Z22J2M3KHV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:E36WB67MESXVAXZ7Z22J2M3KHV","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":"207e6d0c75a69ea36bf1cdd16eda58445c669dc932e54faa0f24346927f325ca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-15T16:08:59Z","title_canon_sha256":"1031ba354d4e7fc1fe4bd34b2f681b6505a218978ad636d9917bd6e00694c10f"},"schema_version":"1.0","source":{"id":"1104.3100","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1104.3100","created_at":"2026-05-18T04:24:06Z"},{"alias_kind":"arxiv_version","alias_value":"1104.3100v1","created_at":"2026-05-18T04:24:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1104.3100","created_at":"2026-05-18T04:24:06Z"},{"alias_kind":"pith_short_12","alias_value":"E36WB67MESXV","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_16","alias_value":"E36WB67MESXVAXZ7","created_at":"2026-05-18T12:26:26Z"},{"alias_kind":"pith_short_8","alias_value":"E36WB67M","created_at":"2026-05-18T12:26:26Z"}],"graph_snapshots":[{"event_id":"sha256:b15e3fe2017c32ccac6d6ea0aed491afcaee8033d1eb3be3cd2a4e615f60c7d2","target":"graph","created_at":"2026-05-18T04:24:06Z","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":"Herman's algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics of the protocol very difficult to analyze. In this paper we study the expected time to stabilization in terms of the initial configuration. It is straightforward that the algorithm achieves stabilization almost surely from any initial configuration, and it is known that the worst-case expected time to stabilization (with respect to the initial configuration) is Theta(N^2). Our first contribution is to give an upper boun","authors_text":"Andrzej Murawski, James Worrell, Jo\\\"el Ouaknine, Lijun Zhang, Stefan Kiefer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-15T16:08:59Z","title":"On Stabilization in Herman's Algorithm"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1104.3100","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:a1f6b9aef6826bf2ccd1e44e1d13611910fcf72d85e1f22348d23d34189abd93","target":"record","created_at":"2026-05-18T04:24:06Z","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":"207e6d0c75a69ea36bf1cdd16eda58445c669dc932e54faa0f24346927f325ca","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2011-04-15T16:08:59Z","title_canon_sha256":"1031ba354d4e7fc1fe4bd34b2f681b6505a218978ad636d9917bd6e00694c10f"},"schema_version":"1.0","source":{"id":"1104.3100","kind":"arxiv","version":1}},"canonical_sha256":"26fd60fbec24af505f3fceb49d336a3d6ac4e1cd16c610c5375e9e86a4d74fbc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26fd60fbec24af505f3fceb49d336a3d6ac4e1cd16c610c5375e9e86a4d74fbc","first_computed_at":"2026-05-18T04:24:06.597183Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:24:06.597183Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"83qnWuWCxIb189T4C5+ISJoi2v122yrYKZrQPDbLRcwXkrCHae0Ri6zE9S6QkcjLUNQhyWEslNSqXbrw7HiqDw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:24:06.597932Z","signed_message":"canonical_sha256_bytes"},"source_id":"1104.3100","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a1f6b9aef6826bf2ccd1e44e1d13611910fcf72d85e1f22348d23d34189abd93","sha256:b15e3fe2017c32ccac6d6ea0aed491afcaee8033d1eb3be3cd2a4e615f60c7d2"],"state_sha256":"166e94b33c715ff773105bdd977a6ef943076f60bd970108c180fc14ad08bc1c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fbvbESxSDYcI3Tt0wleGbK8y1mMAwxsyt6SV0YQ4zGMFUVNkvWwc3Dsuj5LvTTnapcQwCkIC729y5C2gFC+fDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-23T23:58:24.926197Z","bundle_sha256":"6e02e4da49bf9367ff6f8fc96a56259a7333f6484fcd262ae7e49267e1dc195c"}}