{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:7H4N77ORHXNL6MJIJGHX6ROAEX","short_pith_number":"pith:7H4N77OR","canonical_record":{"source":{"id":"1602.08063","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-02-25T20:02:10Z","cross_cats_sorted":[],"title_canon_sha256":"b44648401e50ad71ac6c46e32c710f48319e1482c91803f9078c553be7f85d8d","abstract_canon_sha256":"5282ef6ef156fd43dd112e03bd12309bc438cc4612087672695f2751974fc4c9"},"schema_version":"1.0"},"canonical_sha256":"f9f8dffdd13ddabf3128498f7f45c025c6a485a92406adafe3e709c7770b3dde","source":{"kind":"arxiv","id":"1602.08063","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.08063","created_at":"2026-05-18T01:19:57Z"},{"alias_kind":"arxiv_version","alias_value":"1602.08063v1","created_at":"2026-05-18T01:19:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.08063","created_at":"2026-05-18T01:19:57Z"},{"alias_kind":"pith_short_12","alias_value":"7H4N77ORHXNL","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"7H4N77ORHXNL6MJI","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"7H4N77OR","created_at":"2026-05-18T12:30:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:7H4N77ORHXNL6MJIJGHX6ROAEX","target":"record","payload":{"canonical_record":{"source":{"id":"1602.08063","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-02-25T20:02:10Z","cross_cats_sorted":[],"title_canon_sha256":"b44648401e50ad71ac6c46e32c710f48319e1482c91803f9078c553be7f85d8d","abstract_canon_sha256":"5282ef6ef156fd43dd112e03bd12309bc438cc4612087672695f2751974fc4c9"},"schema_version":"1.0"},"canonical_sha256":"f9f8dffdd13ddabf3128498f7f45c025c6a485a92406adafe3e709c7770b3dde","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:57.862881Z","signature_b64":"Jfvp867/yvDfUndAQWop9YoVI+tJ5QO02s4UhFsXZQcXbJZJd9Mq5dJ8K0iaeCs4QOq4uWpgZoA3xkEsaC9jBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f9f8dffdd13ddabf3128498f7f45c025c6a485a92406adafe3e709c7770b3dde","last_reissued_at":"2026-05-18T01:19:57.862100Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:57.862100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.08063","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-18T01:19:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GQg+kWfO2Qimnvro1t0ORHm7jKYQ9EmnTXWAFbIUne9xRZUlC0nB+nA/7Qnqzg7iae4fCTkPfG/EekSohO1qAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:43:46.302188Z"},"content_sha256":"8f89bbd5772b3566f78c914b04f88f29bd9e928a110252e7962cc757bd93e260","schema_version":"1.0","event_id":"sha256:8f89bbd5772b3566f78c914b04f88f29bd9e928a110252e7962cc757bd93e260"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:7H4N77ORHXNL6MJIJGHX6ROAEX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Bounds for the No-Show Paradox via SAT Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Christian Geist, Dominik Peters, Felix Brandt","submitted_at":"2016-02-25T20:02:10Z","abstract_excerpt":"Voting rules allow multiple agents to aggregate their preferences in order to reach joint decisions. Perhaps one of the most important desirable properties in this context is Condorcet-consistency, which requires that a voting rule should return an alternative that is preferred to any other alternative by some majority of voters. Another desirable property is participation, which requires that no voter should be worse off by joining an electorate. A seminal result in social choice theory by Moulin (1998) has shown that Condorcet-consistency and participation are incompatible whenever there are"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.08063","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-18T01:19:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WheuEoUFNp1igqs8XPVptUjBku6bi1CS50A/1KriKTrIqgoEK0rXMRrOY4hDmspxc0x7GKC84WWb78ClguHCBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T14:43:46.302830Z"},"content_sha256":"89ab681704c158a0c384800cc989abd170df039831ef6bc75875ca032194a229","schema_version":"1.0","event_id":"sha256:89ab681704c158a0c384800cc989abd170df039831ef6bc75875ca032194a229"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7H4N77ORHXNL6MJIJGHX6ROAEX/bundle.json","state_url":"https://pith.science/pith/7H4N77ORHXNL6MJIJGHX6ROAEX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7H4N77ORHXNL6MJIJGHX6ROAEX/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-27T14:43:46Z","links":{"resolver":"https://pith.science/pith/7H4N77ORHXNL6MJIJGHX6ROAEX","bundle":"https://pith.science/pith/7H4N77ORHXNL6MJIJGHX6ROAEX/bundle.json","state":"https://pith.science/pith/7H4N77ORHXNL6MJIJGHX6ROAEX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7H4N77ORHXNL6MJIJGHX6ROAEX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:7H4N77ORHXNL6MJIJGHX6ROAEX","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":"5282ef6ef156fd43dd112e03bd12309bc438cc4612087672695f2751974fc4c9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-02-25T20:02:10Z","title_canon_sha256":"b44648401e50ad71ac6c46e32c710f48319e1482c91803f9078c553be7f85d8d"},"schema_version":"1.0","source":{"id":"1602.08063","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.08063","created_at":"2026-05-18T01:19:57Z"},{"alias_kind":"arxiv_version","alias_value":"1602.08063v1","created_at":"2026-05-18T01:19:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.08063","created_at":"2026-05-18T01:19:57Z"},{"alias_kind":"pith_short_12","alias_value":"7H4N77ORHXNL","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_16","alias_value":"7H4N77ORHXNL6MJI","created_at":"2026-05-18T12:30:04Z"},{"alias_kind":"pith_short_8","alias_value":"7H4N77OR","created_at":"2026-05-18T12:30:04Z"}],"graph_snapshots":[{"event_id":"sha256:89ab681704c158a0c384800cc989abd170df039831ef6bc75875ca032194a229","target":"graph","created_at":"2026-05-18T01:19:57Z","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":"Voting rules allow multiple agents to aggregate their preferences in order to reach joint decisions. Perhaps one of the most important desirable properties in this context is Condorcet-consistency, which requires that a voting rule should return an alternative that is preferred to any other alternative by some majority of voters. Another desirable property is participation, which requires that no voter should be worse off by joining an electorate. A seminal result in social choice theory by Moulin (1998) has shown that Condorcet-consistency and participation are incompatible whenever there are","authors_text":"Christian Geist, Dominik Peters, Felix Brandt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-02-25T20:02:10Z","title":"Optimal Bounds for the No-Show Paradox via SAT Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.08063","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:8f89bbd5772b3566f78c914b04f88f29bd9e928a110252e7962cc757bd93e260","target":"record","created_at":"2026-05-18T01:19:57Z","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":"5282ef6ef156fd43dd112e03bd12309bc438cc4612087672695f2751974fc4c9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2016-02-25T20:02:10Z","title_canon_sha256":"b44648401e50ad71ac6c46e32c710f48319e1482c91803f9078c553be7f85d8d"},"schema_version":"1.0","source":{"id":"1602.08063","kind":"arxiv","version":1}},"canonical_sha256":"f9f8dffdd13ddabf3128498f7f45c025c6a485a92406adafe3e709c7770b3dde","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f9f8dffdd13ddabf3128498f7f45c025c6a485a92406adafe3e709c7770b3dde","first_computed_at":"2026-05-18T01:19:57.862100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:57.862100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jfvp867/yvDfUndAQWop9YoVI+tJ5QO02s4UhFsXZQcXbJZJd9Mq5dJ8K0iaeCs4QOq4uWpgZoA3xkEsaC9jBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:57.862881Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.08063","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f89bbd5772b3566f78c914b04f88f29bd9e928a110252e7962cc757bd93e260","sha256:89ab681704c158a0c384800cc989abd170df039831ef6bc75875ca032194a229"],"state_sha256":"85dc8088aee56521505a2649f34e0c9dc73208e90e36753a29c61b9145483b39"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CbX4u4k9U852pOnJSTe8R5MzuvmaSvhbtHv+MQTF1yCYK8JXDFSRuE1MSqC2QlgMx35cHuNmnc1NwHPjj43XCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T14:43:46.306216Z","bundle_sha256":"5e6dafdbfe0019b32f16f5699f5850de6878326097730964e8e408117af3f509"}}