{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:PW6RRSBGIFULH3PWNB5P5J2AGM","short_pith_number":"pith:PW6RRSBG","canonical_record":{"source":{"id":"1811.03547","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-11-08T16:52:31Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"b7a4a9c28b2e15f8b32a23af31ad33f9024f9befd90e7cab464fa95f32dd8457","abstract_canon_sha256":"90be58d15367b4cb49b45f40d41d7f383894b4018fa4d47e6eaf42cbcb4e27a2"},"schema_version":"1.0"},"canonical_sha256":"7dbd18c8264168b3edf6687afea740330115d8068bb7ba0e4c79589e3efd289e","source":{"kind":"arxiv","id":"1811.03547","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.03547","created_at":"2026-05-18T00:01:15Z"},{"alias_kind":"arxiv_version","alias_value":"1811.03547v1","created_at":"2026-05-18T00:01:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.03547","created_at":"2026-05-18T00:01:15Z"},{"alias_kind":"pith_short_12","alias_value":"PW6RRSBGIFUL","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PW6RRSBGIFULH3PW","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PW6RRSBG","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:PW6RRSBGIFULH3PWNB5P5J2AGM","target":"record","payload":{"canonical_record":{"source":{"id":"1811.03547","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-11-08T16:52:31Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"b7a4a9c28b2e15f8b32a23af31ad33f9024f9befd90e7cab464fa95f32dd8457","abstract_canon_sha256":"90be58d15367b4cb49b45f40d41d7f383894b4018fa4d47e6eaf42cbcb4e27a2"},"schema_version":"1.0"},"canonical_sha256":"7dbd18c8264168b3edf6687afea740330115d8068bb7ba0e4c79589e3efd289e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:01:15.774235Z","signature_b64":"lofRItTpWQWdqT1gUT6t9UQAuUa+sbS+ppRUcLH/XPRQC/UgoJ1mrFYZTIbhwh8jdAPaWUGEoeNGAFyQGjD/Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7dbd18c8264168b3edf6687afea740330115d8068bb7ba0e4c79589e3efd289e","last_reissued_at":"2026-05-18T00:01:15.773752Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:01:15.773752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.03547","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-18T00:01:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wLVqljCV2T7qLZJbhJ04eNH6mobUqf9bIEuYUaikgmnVS5RsGN0jJApSJ8TkFH3hOsvBkqUky68OLo/3Y98yCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:12:23.410624Z"},"content_sha256":"3f690adb150baf0f3711de09a98fe4ee44a73f0984663682c51d73daedee7bd4","schema_version":"1.0","event_id":"sha256:3f690adb150baf0f3711de09a98fe4ee44a73f0984663682c51d73daedee7bd4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:PW6RRSBGIFULH3PWNB5P5J2AGM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Erd\\H{o}s Covering Problem: the density of the uncovered set","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.NT","authors_text":"B\\'ela Bollob\\'as, Julian Sahasrabudhe, Marius Tiba, Paul Balister, Robert Morris","submitted_at":"2018-11-08T16:52:31Z","abstract_excerpt":"Since their introduction by Erd\\H{o}s in 1950, covering systems (that is, finite collections of arithmetic progressions that cover the integers) have been extensively studied, and numerous questions and conjectures have been posed regarding the existence of covering systems with various properties. In particular, Erd\\H{o}s asked if the moduli can be distinct and all arbitrarily large, Erd\\H{o}s and Selfridge asked if the moduli can be distinct and all odd, and Schinzel conjectured that in any covering system there exists a pair of moduli, one of which divides the other.\n  Another beautiful con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.03547","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-18T00:01:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"faRtWb9+4HSpBmLuzfuz6UI/jsPavWE256o30wyTnFpLBTKFVKHqMGoKj7myTuBXcUPsjKhHxQkaNoOj+vqZAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:12:23.410967Z"},"content_sha256":"7220ae39d9945d577b5d798bd85198292bd3e872073f20e9ce127927c3cefb02","schema_version":"1.0","event_id":"sha256:7220ae39d9945d577b5d798bd85198292bd3e872073f20e9ce127927c3cefb02"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PW6RRSBGIFULH3PWNB5P5J2AGM/bundle.json","state_url":"https://pith.science/pith/PW6RRSBGIFULH3PWNB5P5J2AGM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PW6RRSBGIFULH3PWNB5P5J2AGM/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-02T03:12:23Z","links":{"resolver":"https://pith.science/pith/PW6RRSBGIFULH3PWNB5P5J2AGM","bundle":"https://pith.science/pith/PW6RRSBGIFULH3PWNB5P5J2AGM/bundle.json","state":"https://pith.science/pith/PW6RRSBGIFULH3PWNB5P5J2AGM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PW6RRSBGIFULH3PWNB5P5J2AGM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PW6RRSBGIFULH3PWNB5P5J2AGM","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":"90be58d15367b4cb49b45f40d41d7f383894b4018fa4d47e6eaf42cbcb4e27a2","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-11-08T16:52:31Z","title_canon_sha256":"b7a4a9c28b2e15f8b32a23af31ad33f9024f9befd90e7cab464fa95f32dd8457"},"schema_version":"1.0","source":{"id":"1811.03547","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.03547","created_at":"2026-05-18T00:01:15Z"},{"alias_kind":"arxiv_version","alias_value":"1811.03547v1","created_at":"2026-05-18T00:01:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.03547","created_at":"2026-05-18T00:01:15Z"},{"alias_kind":"pith_short_12","alias_value":"PW6RRSBGIFUL","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PW6RRSBGIFULH3PW","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PW6RRSBG","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:7220ae39d9945d577b5d798bd85198292bd3e872073f20e9ce127927c3cefb02","target":"graph","created_at":"2026-05-18T00:01:15Z","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":"Since their introduction by Erd\\H{o}s in 1950, covering systems (that is, finite collections of arithmetic progressions that cover the integers) have been extensively studied, and numerous questions and conjectures have been posed regarding the existence of covering systems with various properties. In particular, Erd\\H{o}s asked if the moduli can be distinct and all arbitrarily large, Erd\\H{o}s and Selfridge asked if the moduli can be distinct and all odd, and Schinzel conjectured that in any covering system there exists a pair of moduli, one of which divides the other.\n  Another beautiful con","authors_text":"B\\'ela Bollob\\'as, Julian Sahasrabudhe, Marius Tiba, Paul Balister, Robert Morris","cross_cats":["math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-11-08T16:52:31Z","title":"On the Erd\\H{o}s Covering Problem: the density of the uncovered set"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.03547","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:3f690adb150baf0f3711de09a98fe4ee44a73f0984663682c51d73daedee7bd4","target":"record","created_at":"2026-05-18T00:01:15Z","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":"90be58d15367b4cb49b45f40d41d7f383894b4018fa4d47e6eaf42cbcb4e27a2","cross_cats_sorted":["math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2018-11-08T16:52:31Z","title_canon_sha256":"b7a4a9c28b2e15f8b32a23af31ad33f9024f9befd90e7cab464fa95f32dd8457"},"schema_version":"1.0","source":{"id":"1811.03547","kind":"arxiv","version":1}},"canonical_sha256":"7dbd18c8264168b3edf6687afea740330115d8068bb7ba0e4c79589e3efd289e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7dbd18c8264168b3edf6687afea740330115d8068bb7ba0e4c79589e3efd289e","first_computed_at":"2026-05-18T00:01:15.773752Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:01:15.773752Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lofRItTpWQWdqT1gUT6t9UQAuUa+sbS+ppRUcLH/XPRQC/UgoJ1mrFYZTIbhwh8jdAPaWUGEoeNGAFyQGjD/Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:01:15.774235Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.03547","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f690adb150baf0f3711de09a98fe4ee44a73f0984663682c51d73daedee7bd4","sha256:7220ae39d9945d577b5d798bd85198292bd3e872073f20e9ce127927c3cefb02"],"state_sha256":"f3e594f7092afb29cf325ec734b6a4129052641ce02dd5fe2b4ad89e3248bee3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s74JMXy+kRY0a3d1c+eRjTtOM/KU7aW0jE1KIIWA6A233+ZmAwxZJRJV5Mh8mWjye8gfTGLbDtObR5pLlFnSBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T03:12:23.412867Z","bundle_sha256":"1486238d69f05810cab8b452254d8fc49e3829f27bc3c92d4c6d7a8ab79416fe"}}