{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:DRKPQGSHWFPYKRI3GVUVKITC4N","short_pith_number":"pith:DRKPQGSH","schema_version":"1.0","canonical_sha256":"1c54f81a47b15f85451b3569552262e370836f0a6ab9adcd8202ab70611616ec","source":{"kind":"arxiv","id":"1012.3686","version":2},"attestation_state":"computed","paper":{"title":"Exact Covering Systems in Number Fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Yingpu Deng, Yupeng Jiang","submitted_at":"2010-12-16T17:19:40Z","abstract_excerpt":"It is well known that in an exact covering system in $\\mathbb{Z}$, the biggest modulus must be repeated. Very recently, Kim gave an analogous result for certain quadratic fields, and Kim also conjectured that it must hold in any algebraic number field. In this paper, we prove Kim's conjecture. In other words, we prove that exact covering systems in any algebraic number field must have repeated moduli."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1012.3686","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-12-16T17:19:40Z","cross_cats_sorted":[],"title_canon_sha256":"65da40c3b269ac8dbe80d3b61c2791524c51108d08bef728ff1fc242fa5c3f85","abstract_canon_sha256":"8c9cce098a81f7fc0f39afea4b44f2357a696df8d6584dcdb398b414e7a6a746"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:36:06.703811Z","signature_b64":"rXs3lhXwEwAoulryu0URa6SywMUEQUH1Nb0Dgb/TpqcL5Qvmmk+cNhei2IKa0hjzi4D010w7xabyWChJYdqVDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c54f81a47b15f85451b3569552262e370836f0a6ab9adcd8202ab70611616ec","last_reissued_at":"2026-05-18T03:36:06.703332Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:36:06.703332Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Exact Covering Systems in Number Fields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Yingpu Deng, Yupeng Jiang","submitted_at":"2010-12-16T17:19:40Z","abstract_excerpt":"It is well known that in an exact covering system in $\\mathbb{Z}$, the biggest modulus must be repeated. Very recently, Kim gave an analogous result for certain quadratic fields, and Kim also conjectured that it must hold in any algebraic number field. In this paper, we prove Kim's conjecture. In other words, we prove that exact covering systems in any algebraic number field must have repeated moduli."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1012.3686","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1012.3686","created_at":"2026-05-18T03:36:06.703401+00:00"},{"alias_kind":"arxiv_version","alias_value":"1012.3686v2","created_at":"2026-05-18T03:36:06.703401+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1012.3686","created_at":"2026-05-18T03:36:06.703401+00:00"},{"alias_kind":"pith_short_12","alias_value":"DRKPQGSHWFPY","created_at":"2026-05-18T12:26:06.534383+00:00"},{"alias_kind":"pith_short_16","alias_value":"DRKPQGSHWFPYKRI3","created_at":"2026-05-18T12:26:06.534383+00:00"},{"alias_kind":"pith_short_8","alias_value":"DRKPQGSH","created_at":"2026-05-18T12:26:06.534383+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N","json":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N.json","graph_json":"https://pith.science/api/pith-number/DRKPQGSHWFPYKRI3GVUVKITC4N/graph.json","events_json":"https://pith.science/api/pith-number/DRKPQGSHWFPYKRI3GVUVKITC4N/events.json","paper":"https://pith.science/paper/DRKPQGSH"},"agent_actions":{"view_html":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N","download_json":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N.json","view_paper":"https://pith.science/paper/DRKPQGSH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1012.3686&json=true","fetch_graph":"https://pith.science/api/pith-number/DRKPQGSHWFPYKRI3GVUVKITC4N/graph.json","fetch_events":"https://pith.science/api/pith-number/DRKPQGSHWFPYKRI3GVUVKITC4N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N/action/storage_attestation","attest_author":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N/action/author_attestation","sign_citation":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N/action/citation_signature","submit_replication":"https://pith.science/pith/DRKPQGSHWFPYKRI3GVUVKITC4N/action/replication_record"}},"created_at":"2026-05-18T03:36:06.703401+00:00","updated_at":"2026-05-18T03:36:06.703401+00:00"}