{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CPR5UW522CRVGMQZW24BRF3QQW","short_pith_number":"pith:CPR5UW52","canonical_record":{"source":{"id":"1712.03456","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-12-10T00:23:36Z","cross_cats_sorted":[],"title_canon_sha256":"0b2e8705f5f10de42fbff7428f1d1b01a634f380d9f4c8f8f2c32704c7fa5771","abstract_canon_sha256":"c2942adcd10e7a13d463df47e455756a8a9f43efb877608f89c5750057c1c9f6"},"schema_version":"1.0"},"canonical_sha256":"13e3da5bbad0a3533219b6b8189770859e13d151ad0f47ec70254e0a0e33ac5d","source":{"kind":"arxiv","id":"1712.03456","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.03456","created_at":"2026-05-17T23:53:09Z"},{"alias_kind":"arxiv_version","alias_value":"1712.03456v1","created_at":"2026-05-17T23:53:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.03456","created_at":"2026-05-17T23:53:09Z"},{"alias_kind":"pith_short_12","alias_value":"CPR5UW522CRV","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CPR5UW522CRVGMQZ","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CPR5UW52","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CPR5UW522CRVGMQZW24BRF3QQW","target":"record","payload":{"canonical_record":{"source":{"id":"1712.03456","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-12-10T00:23:36Z","cross_cats_sorted":[],"title_canon_sha256":"0b2e8705f5f10de42fbff7428f1d1b01a634f380d9f4c8f8f2c32704c7fa5771","abstract_canon_sha256":"c2942adcd10e7a13d463df47e455756a8a9f43efb877608f89c5750057c1c9f6"},"schema_version":"1.0"},"canonical_sha256":"13e3da5bbad0a3533219b6b8189770859e13d151ad0f47ec70254e0a0e33ac5d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:09.762392Z","signature_b64":"TVoyNNqDS3zpMsgGUjeyNjnba8Sx/l+5Hk6pSv1JEJ4zQdrG1lidxDpBKpzRAv58MJ0S2vXNstko7pFqqmDnAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13e3da5bbad0a3533219b6b8189770859e13d151ad0f47ec70254e0a0e33ac5d","last_reissued_at":"2026-05-17T23:53:09.761891Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:09.761891Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.03456","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-17T23:53:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9V6ozIs5yJrkgXlBEU8ix5uxFEAo8YrCpOYxPhx81gpY8y7IIDCQdBsFSJkkrg46Pcs7T6lF8mzuAzNbm6vWDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T14:34:44.317615Z"},"content_sha256":"792fcd066f90ec8dd60a43050e15f8f5a1d9bfd3307d40fcb631c22b9898a6f5","schema_version":"1.0","event_id":"sha256:792fcd066f90ec8dd60a43050e15f8f5a1d9bfd3307d40fcb631c22b9898a6f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CPR5UW522CRVGMQZW24BRF3QQW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the generalized Erd\\H{o}s--Kneser conjecture: proofs and reductions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Ethan Coldren, Florian Frick, Jai Aslam, Linus Setiabrata, Shuli Chen","submitted_at":"2017-12-10T00:23:36Z","abstract_excerpt":"Alon, Frankl, and Lov\\'asz proved a conjecture of Erd\\H{o}s that one needs at least $\\lceil \\frac{n-r(k-1)}{r-1} \\rceil$ colors to color the $k$-subsets of $\\{1, \\dots, n\\}$ such that any $r$ of the $k$-subsets that have the same color are not pairwise disjoint. A generalization of this problem where one requires $s$-wise instead of pairwise intersections was considered by Sarkaria. He claimed a proof of a generalized Erd\\H{o}s--Kneser conjecture establishing a lower bound for the number of colors that reduces to Erd\\H{o}s' original conjecture for ${s = 2}$. Lange and Ziegler pointed out that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.03456","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-17T23:53:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wRfaPfT2oS+V9dt2FHlUuDVPfqm/693I7vhJnkRsX7ogEnk8e2Wy7rFuS94/B6Q++JsUfvxaClNhehiOfYqHBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T14:34:44.317962Z"},"content_sha256":"a41d6b4e6fbc2110d651f04561f4e2c5c8b48572310677e17ac91220a0a69482","schema_version":"1.0","event_id":"sha256:a41d6b4e6fbc2110d651f04561f4e2c5c8b48572310677e17ac91220a0a69482"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CPR5UW522CRVGMQZW24BRF3QQW/bundle.json","state_url":"https://pith.science/pith/CPR5UW522CRVGMQZW24BRF3QQW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CPR5UW522CRVGMQZW24BRF3QQW/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-06-22T14:34:44Z","links":{"resolver":"https://pith.science/pith/CPR5UW522CRVGMQZW24BRF3QQW","bundle":"https://pith.science/pith/CPR5UW522CRVGMQZW24BRF3QQW/bundle.json","state":"https://pith.science/pith/CPR5UW522CRVGMQZW24BRF3QQW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CPR5UW522CRVGMQZW24BRF3QQW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CPR5UW522CRVGMQZW24BRF3QQW","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":"c2942adcd10e7a13d463df47e455756a8a9f43efb877608f89c5750057c1c9f6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-12-10T00:23:36Z","title_canon_sha256":"0b2e8705f5f10de42fbff7428f1d1b01a634f380d9f4c8f8f2c32704c7fa5771"},"schema_version":"1.0","source":{"id":"1712.03456","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.03456","created_at":"2026-05-17T23:53:09Z"},{"alias_kind":"arxiv_version","alias_value":"1712.03456v1","created_at":"2026-05-17T23:53:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.03456","created_at":"2026-05-17T23:53:09Z"},{"alias_kind":"pith_short_12","alias_value":"CPR5UW522CRV","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CPR5UW522CRVGMQZ","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CPR5UW52","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:a41d6b4e6fbc2110d651f04561f4e2c5c8b48572310677e17ac91220a0a69482","target":"graph","created_at":"2026-05-17T23:53:09Z","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":"Alon, Frankl, and Lov\\'asz proved a conjecture of Erd\\H{o}s that one needs at least $\\lceil \\frac{n-r(k-1)}{r-1} \\rceil$ colors to color the $k$-subsets of $\\{1, \\dots, n\\}$ such that any $r$ of the $k$-subsets that have the same color are not pairwise disjoint. A generalization of this problem where one requires $s$-wise instead of pairwise intersections was considered by Sarkaria. He claimed a proof of a generalized Erd\\H{o}s--Kneser conjecture establishing a lower bound for the number of colors that reduces to Erd\\H{o}s' original conjecture for ${s = 2}$. Lange and Ziegler pointed out that ","authors_text":"Ethan Coldren, Florian Frick, Jai Aslam, Linus Setiabrata, Shuli Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-12-10T00:23:36Z","title":"On the generalized Erd\\H{o}s--Kneser conjecture: proofs and reductions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.03456","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:792fcd066f90ec8dd60a43050e15f8f5a1d9bfd3307d40fcb631c22b9898a6f5","target":"record","created_at":"2026-05-17T23:53:09Z","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":"c2942adcd10e7a13d463df47e455756a8a9f43efb877608f89c5750057c1c9f6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2017-12-10T00:23:36Z","title_canon_sha256":"0b2e8705f5f10de42fbff7428f1d1b01a634f380d9f4c8f8f2c32704c7fa5771"},"schema_version":"1.0","source":{"id":"1712.03456","kind":"arxiv","version":1}},"canonical_sha256":"13e3da5bbad0a3533219b6b8189770859e13d151ad0f47ec70254e0a0e33ac5d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"13e3da5bbad0a3533219b6b8189770859e13d151ad0f47ec70254e0a0e33ac5d","first_computed_at":"2026-05-17T23:53:09.761891Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:53:09.761891Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"TVoyNNqDS3zpMsgGUjeyNjnba8Sx/l+5Hk6pSv1JEJ4zQdrG1lidxDpBKpzRAv58MJ0S2vXNstko7pFqqmDnAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:53:09.762392Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.03456","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:792fcd066f90ec8dd60a43050e15f8f5a1d9bfd3307d40fcb631c22b9898a6f5","sha256:a41d6b4e6fbc2110d651f04561f4e2c5c8b48572310677e17ac91220a0a69482"],"state_sha256":"c8bbb478075659564d3aed844b16d576452e4492775d2b4e6784e68ad11952b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ebZnKUSvbWULmMmLwTUcPe7TiSuKn/BTKyFI54lopNB5/6m/uFxdIvKjlbiYOkNVE7ed21jvSRijBC2/YhxyDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T14:34:44.319872Z","bundle_sha256":"4b9a39f651554471a99a91435772e523ac69b6ce8407f525fe7adb3dd65d5f07"}}