{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:O7XRMCBNBPSWIRPUSVQ3FGGDX4","short_pith_number":"pith:O7XRMCBN","canonical_record":{"source":{"id":"1202.3167","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-14T22:35:23Z","cross_cats_sorted":[],"title_canon_sha256":"55e4eefcf90bf89ce5b46f3c5197be9a99bc4afbb22b95e95737d34b637aac8d","abstract_canon_sha256":"8c5e24d8b83df8732b516dad1a28f3d489086121c9d917b21781dca35275bc78"},"schema_version":"1.0"},"canonical_sha256":"77ef16082d0be56445f49561b298c3bf370ad616ae9af9170d782a1748ac5623","source":{"kind":"arxiv","id":"1202.3167","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3167","created_at":"2026-05-18T02:50:43Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3167v6","created_at":"2026-05-18T02:50:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3167","created_at":"2026-05-18T02:50:43Z"},{"alias_kind":"pith_short_12","alias_value":"O7XRMCBNBPSW","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"O7XRMCBNBPSWIRPU","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"O7XRMCBN","created_at":"2026-05-18T12:27:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:O7XRMCBNBPSWIRPUSVQ3FGGDX4","target":"record","payload":{"canonical_record":{"source":{"id":"1202.3167","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-14T22:35:23Z","cross_cats_sorted":[],"title_canon_sha256":"55e4eefcf90bf89ce5b46f3c5197be9a99bc4afbb22b95e95737d34b637aac8d","abstract_canon_sha256":"8c5e24d8b83df8732b516dad1a28f3d489086121c9d917b21781dca35275bc78"},"schema_version":"1.0"},"canonical_sha256":"77ef16082d0be56445f49561b298c3bf370ad616ae9af9170d782a1748ac5623","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:43.426159Z","signature_b64":"A5LRStXxRD7vE4bFkQS9DTDYsF3jIfRcGJXHdQormMCg99I6XshfaQ+wmSIo8uMaC4xfiKhT9MWv26mR6hiMCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77ef16082d0be56445f49561b298c3bf370ad616ae9af9170d782a1748ac5623","last_reissued_at":"2026-05-18T02:50:43.425495Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:43.425495Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.3167","source_version":6,"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-18T02:50:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GoHEVwCWU7NparXqktxxsarSG31a2dAQyYvikvESonigT7GB7nUVgbLa2H4JVkBpilM99GxX3xsMBtb7nSBhAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T21:58:20.991756Z"},"content_sha256":"3d75c5e5fa10ac433e5a6e159b3404d99fc81028ff339d75ed4d128eb9dd25c2","schema_version":"1.0","event_id":"sha256:3d75c5e5fa10ac433e5a6e159b3404d99fc81028ff339d75ed4d128eb9dd25c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:O7XRMCBNBPSWIRPUSVQ3FGGDX4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"How to decide consensus? A combinatorial necessary and sufficient condition and a proof that consensus is decidable but NP-hard","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alex Olshevsky, Vincent Blondel","submitted_at":"2012-02-14T22:35:23Z","abstract_excerpt":"A set of stochastic matrices ${\\cal P}$ is a consensus set if for every sequence of matrices $P(1), P(2), \\ldots$ whose elements belong to ${\\cal P}$ and every initial state $x(0)$, the sequence of states defined by $x(t) = P(t) P(t-1) \\cdots P(1) x(0)$ converges to a vector whose entries are all identical. In this paper, we introduce an \"avoiding set condition\" for compact sets of matrices and prove in our main theorem that this explicit combinatorial condition is both necessary and sufficient for consensus. We show that several of the conditions for consensus proposed in the literature can b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3167","kind":"arxiv","version":6},"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-18T02:50:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kQpxzA5/6woUydTfTIhNSagznq08ct3NNoyg3ELn4NcZMrXfrbMaDXrzoGnEEhetKTnfOUkESdHspKwviGAjCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-21T21:58:20.992092Z"},"content_sha256":"d08b88da8b14746de9f13c46da0acc11b4c03b20afc07828788d882afe57c043","schema_version":"1.0","event_id":"sha256:d08b88da8b14746de9f13c46da0acc11b4c03b20afc07828788d882afe57c043"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O7XRMCBNBPSWIRPUSVQ3FGGDX4/bundle.json","state_url":"https://pith.science/pith/O7XRMCBNBPSWIRPUSVQ3FGGDX4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O7XRMCBNBPSWIRPUSVQ3FGGDX4/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-07-21T21:58:20Z","links":{"resolver":"https://pith.science/pith/O7XRMCBNBPSWIRPUSVQ3FGGDX4","bundle":"https://pith.science/pith/O7XRMCBNBPSWIRPUSVQ3FGGDX4/bundle.json","state":"https://pith.science/pith/O7XRMCBNBPSWIRPUSVQ3FGGDX4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O7XRMCBNBPSWIRPUSVQ3FGGDX4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:O7XRMCBNBPSWIRPUSVQ3FGGDX4","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":"8c5e24d8b83df8732b516dad1a28f3d489086121c9d917b21781dca35275bc78","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-14T22:35:23Z","title_canon_sha256":"55e4eefcf90bf89ce5b46f3c5197be9a99bc4afbb22b95e95737d34b637aac8d"},"schema_version":"1.0","source":{"id":"1202.3167","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3167","created_at":"2026-05-18T02:50:43Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3167v6","created_at":"2026-05-18T02:50:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3167","created_at":"2026-05-18T02:50:43Z"},{"alias_kind":"pith_short_12","alias_value":"O7XRMCBNBPSW","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"O7XRMCBNBPSWIRPU","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"O7XRMCBN","created_at":"2026-05-18T12:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:d08b88da8b14746de9f13c46da0acc11b4c03b20afc07828788d882afe57c043","target":"graph","created_at":"2026-05-18T02:50:43Z","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":"A set of stochastic matrices ${\\cal P}$ is a consensus set if for every sequence of matrices $P(1), P(2), \\ldots$ whose elements belong to ${\\cal P}$ and every initial state $x(0)$, the sequence of states defined by $x(t) = P(t) P(t-1) \\cdots P(1) x(0)$ converges to a vector whose entries are all identical. In this paper, we introduce an \"avoiding set condition\" for compact sets of matrices and prove in our main theorem that this explicit combinatorial condition is both necessary and sufficient for consensus. We show that several of the conditions for consensus proposed in the literature can b","authors_text":"Alex Olshevsky, Vincent Blondel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-14T22:35:23Z","title":"How to decide consensus? A combinatorial necessary and sufficient condition and a proof that consensus is decidable but NP-hard"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3167","kind":"arxiv","version":6},"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:3d75c5e5fa10ac433e5a6e159b3404d99fc81028ff339d75ed4d128eb9dd25c2","target":"record","created_at":"2026-05-18T02:50:43Z","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":"8c5e24d8b83df8732b516dad1a28f3d489086121c9d917b21781dca35275bc78","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-14T22:35:23Z","title_canon_sha256":"55e4eefcf90bf89ce5b46f3c5197be9a99bc4afbb22b95e95737d34b637aac8d"},"schema_version":"1.0","source":{"id":"1202.3167","kind":"arxiv","version":6}},"canonical_sha256":"77ef16082d0be56445f49561b298c3bf370ad616ae9af9170d782a1748ac5623","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77ef16082d0be56445f49561b298c3bf370ad616ae9af9170d782a1748ac5623","first_computed_at":"2026-05-18T02:50:43.425495Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:43.425495Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A5LRStXxRD7vE4bFkQS9DTDYsF3jIfRcGJXHdQormMCg99I6XshfaQ+wmSIo8uMaC4xfiKhT9MWv26mR6hiMCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:43.426159Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3167","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3d75c5e5fa10ac433e5a6e159b3404d99fc81028ff339d75ed4d128eb9dd25c2","sha256:d08b88da8b14746de9f13c46da0acc11b4c03b20afc07828788d882afe57c043"],"state_sha256":"37982f89faeb97928e0039a59d8add03c85b234739f68933bcd6b5c6d9b4d283"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nS9ABwDxLDeTT0ZEDnWPDpToyHIHsMRvY2K0pFUByWqu+N6T6Jff6BSBSthc0doDvAgVlN4ErYNOcQmQvzD1Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-21T21:58:20.995256Z","bundle_sha256":"19cb3b55952f233dd9c890d8d0ddebd152d1ac0aefc53104cfd0cef60e8bb815"}}