{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:IVSKC7OEAKMFL2H4Z5IMKOKDO4","short_pith_number":"pith:IVSKC7OE","canonical_record":{"source":{"id":"1211.7178","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2012-11-30T08:16:28Z","cross_cats_sorted":[],"title_canon_sha256":"e95eecf1ea1f91183549302278827d8920472987a798bda913177bf50b8b4bc4","abstract_canon_sha256":"966d12217a8b188e30088d0cba51e237918dcc8fdb13ec3a199d4b797721e19a"},"schema_version":"1.0"},"canonical_sha256":"4564a17dc4029855e8fccf50c5394377068e5df1d3f7a269e74c2e879e1771a7","source":{"kind":"arxiv","id":"1211.7178","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.7178","created_at":"2026-05-18T03:30:25Z"},{"alias_kind":"arxiv_version","alias_value":"1211.7178v2","created_at":"2026-05-18T03:30:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.7178","created_at":"2026-05-18T03:30:25Z"},{"alias_kind":"pith_short_12","alias_value":"IVSKC7OEAKMF","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"IVSKC7OEAKMFL2H4","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"IVSKC7OE","created_at":"2026-05-18T12:27:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:IVSKC7OEAKMFL2H4Z5IMKOKDO4","target":"record","payload":{"canonical_record":{"source":{"id":"1211.7178","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2012-11-30T08:16:28Z","cross_cats_sorted":[],"title_canon_sha256":"e95eecf1ea1f91183549302278827d8920472987a798bda913177bf50b8b4bc4","abstract_canon_sha256":"966d12217a8b188e30088d0cba51e237918dcc8fdb13ec3a199d4b797721e19a"},"schema_version":"1.0"},"canonical_sha256":"4564a17dc4029855e8fccf50c5394377068e5df1d3f7a269e74c2e879e1771a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:30:25.332125Z","signature_b64":"sehEKWyT2i3Du1E0of14oEiP22htZyGCze+T6nskGjqbhLrSG5ogsfiBLL2DDZr50qw34ku8dnPkkJTBFHCXCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4564a17dc4029855e8fccf50c5394377068e5df1d3f7a269e74c2e879e1771a7","last_reissued_at":"2026-05-18T03:30:25.331334Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:30:25.331334Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.7178","source_version":2,"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-18T03:30:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RP0NNBT1fGkT+ziHEPOIJYFbXl+9/RfBTBuswP4aMpCkODXyc3Ab9CPRB0wROc2e1s3AxYUFQ8WYe9XC3GtvBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:13:30.166204Z"},"content_sha256":"32548b5242cb1d0a4e4a3b3eb5cab99e6aad8705ceef82d2bbee265b0478de6f","schema_version":"1.0","event_id":"sha256:32548b5242cb1d0a4e4a3b3eb5cab99e6aad8705ceef82d2bbee265b0478de6f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:IVSKC7OEAKMFL2H4Z5IMKOKDO4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Noninvadability implies noncoexistence for a class of cancellative systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.PR","authors_text":"Jan M. Swart","submitted_at":"2012-11-30T08:16:28Z","abstract_excerpt":"There exist a number of results proving that for certain classes of interacting particle systems in population genetics, mutual invadability of types implies coexistence. In this paper we prove a sort of converse statement for a class of one-dimensional cancellative systems that are used to model balancing selection. We say that a model exhibits strong interface tightness if started from a configuration where to the left of the origin all sites are of one type and to the right of the origin all sites are of the other type, the configuration as seen from the interface has an invariant law in wh"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.7178","kind":"arxiv","version":2},"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-18T03:30:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9MZFD4rCP0rGpaR+1BdEU2BPUoJO0Cz3/IyHwBrkU8q2tF59QVbKcQo/5DHdMjI4VNa6lq7afB71AyY+B4N/Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T12:13:30.166565Z"},"content_sha256":"97cc916f2f8951836d50ed498246bc5f7cd276623d97e25930753882bca726ba","schema_version":"1.0","event_id":"sha256:97cc916f2f8951836d50ed498246bc5f7cd276623d97e25930753882bca726ba"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IVSKC7OEAKMFL2H4Z5IMKOKDO4/bundle.json","state_url":"https://pith.science/pith/IVSKC7OEAKMFL2H4Z5IMKOKDO4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IVSKC7OEAKMFL2H4Z5IMKOKDO4/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-28T12:13:30Z","links":{"resolver":"https://pith.science/pith/IVSKC7OEAKMFL2H4Z5IMKOKDO4","bundle":"https://pith.science/pith/IVSKC7OEAKMFL2H4Z5IMKOKDO4/bundle.json","state":"https://pith.science/pith/IVSKC7OEAKMFL2H4Z5IMKOKDO4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IVSKC7OEAKMFL2H4Z5IMKOKDO4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:IVSKC7OEAKMFL2H4Z5IMKOKDO4","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":"966d12217a8b188e30088d0cba51e237918dcc8fdb13ec3a199d4b797721e19a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2012-11-30T08:16:28Z","title_canon_sha256":"e95eecf1ea1f91183549302278827d8920472987a798bda913177bf50b8b4bc4"},"schema_version":"1.0","source":{"id":"1211.7178","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.7178","created_at":"2026-05-18T03:30:25Z"},{"alias_kind":"arxiv_version","alias_value":"1211.7178v2","created_at":"2026-05-18T03:30:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.7178","created_at":"2026-05-18T03:30:25Z"},{"alias_kind":"pith_short_12","alias_value":"IVSKC7OEAKMF","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_16","alias_value":"IVSKC7OEAKMFL2H4","created_at":"2026-05-18T12:27:09Z"},{"alias_kind":"pith_short_8","alias_value":"IVSKC7OE","created_at":"2026-05-18T12:27:09Z"}],"graph_snapshots":[{"event_id":"sha256:97cc916f2f8951836d50ed498246bc5f7cd276623d97e25930753882bca726ba","target":"graph","created_at":"2026-05-18T03:30:25Z","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":"There exist a number of results proving that for certain classes of interacting particle systems in population genetics, mutual invadability of types implies coexistence. In this paper we prove a sort of converse statement for a class of one-dimensional cancellative systems that are used to model balancing selection. We say that a model exhibits strong interface tightness if started from a configuration where to the left of the origin all sites are of one type and to the right of the origin all sites are of the other type, the configuration as seen from the interface has an invariant law in wh","authors_text":"Jan M. Swart","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2012-11-30T08:16:28Z","title":"Noninvadability implies noncoexistence for a class of cancellative systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.7178","kind":"arxiv","version":2},"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:32548b5242cb1d0a4e4a3b3eb5cab99e6aad8705ceef82d2bbee265b0478de6f","target":"record","created_at":"2026-05-18T03:30:25Z","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":"966d12217a8b188e30088d0cba51e237918dcc8fdb13ec3a199d4b797721e19a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2012-11-30T08:16:28Z","title_canon_sha256":"e95eecf1ea1f91183549302278827d8920472987a798bda913177bf50b8b4bc4"},"schema_version":"1.0","source":{"id":"1211.7178","kind":"arxiv","version":2}},"canonical_sha256":"4564a17dc4029855e8fccf50c5394377068e5df1d3f7a269e74c2e879e1771a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4564a17dc4029855e8fccf50c5394377068e5df1d3f7a269e74c2e879e1771a7","first_computed_at":"2026-05-18T03:30:25.331334Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:30:25.331334Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sehEKWyT2i3Du1E0of14oEiP22htZyGCze+T6nskGjqbhLrSG5ogsfiBLL2DDZr50qw34ku8dnPkkJTBFHCXCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:30:25.332125Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.7178","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:32548b5242cb1d0a4e4a3b3eb5cab99e6aad8705ceef82d2bbee265b0478de6f","sha256:97cc916f2f8951836d50ed498246bc5f7cd276623d97e25930753882bca726ba"],"state_sha256":"5f6393b5cb15e12a192b455bc459b0bd5a94d7b095cae7ddb0e9929a38aff204"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7L4Lr16qImFMQkvI3U5izx0RXe8P25llM8Pg8YmK41fzr+/HNuCkIEoD1Yiyekv7XV70gLtxUOQafFO/mlZBAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T12:13:30.168608Z","bundle_sha256":"4ebe6199c4079220a03c8c83e9852f9f0961a1242cc832439e70276213259194"}}