{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:GMUCINFVQOZBPZKS5LXUA4ZW56","short_pith_number":"pith:GMUCINFV","canonical_record":{"source":{"id":"2605.14369","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2026-05-14T04:48:38Z","cross_cats_sorted":[],"title_canon_sha256":"c6b59c3426ebb72cc4e677f81125f7632a045c90f15f85642e70a14b2bc1ab93","abstract_canon_sha256":"b1a100ce8c5479a902956b937016e65fc8a6ffeb5eaf8129fb597f24184117d4"},"schema_version":"1.0"},"canonical_sha256":"33282434b583b217e552eaef407336efa86cf418e386a9293bc067515166a474","source":{"kind":"arxiv","id":"2605.14369","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14369","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14369v1","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14369","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"pith_short_12","alias_value":"GMUCINFVQOZB","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"GMUCINFVQOZBPZKS","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"GMUCINFV","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:GMUCINFVQOZBPZKS5LXUA4ZW56","target":"record","payload":{"canonical_record":{"source":{"id":"2605.14369","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2026-05-14T04:48:38Z","cross_cats_sorted":[],"title_canon_sha256":"c6b59c3426ebb72cc4e677f81125f7632a045c90f15f85642e70a14b2bc1ab93","abstract_canon_sha256":"b1a100ce8c5479a902956b937016e65fc8a6ffeb5eaf8129fb597f24184117d4"},"schema_version":"1.0"},"canonical_sha256":"33282434b583b217e552eaef407336efa86cf418e386a9293bc067515166a474","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:07.850463Z","signature_b64":"6ARiqSfVU1xpX208wOH+gMtmJNI/CLCn10IFz99iVmJNlCCLoevabIr4XSbsIKMhXPo6gRx0UovLpH0n6PnnDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33282434b583b217e552eaef407336efa86cf418e386a9293bc067515166a474","last_reissued_at":"2026-05-17T23:39:07.849654Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:07.849654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.14369","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:39:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"foQ0QmjqbF4tDRPuFkUTr+sFfCfrkrMf80nKWK8E4UqWwqaLzMRO/a6sPpO1G7Ws5oAoxqOuEMPReBwt6UCGAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T21:13:39.627124Z"},"content_sha256":"20c519166a542bbfc43211169bf5a4b79ca75266570bc61abf45ecd36f1cb262","schema_version":"1.0","event_id":"sha256:20c519166a542bbfc43211169bf5a4b79ca75266570bc61abf45ecd36f1cb262"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:GMUCINFVQOZBPZKS5LXUA4ZW56","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A density version of quaternary Goldbach problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"If four subsets of primes satisfy underline delta(P1) + underline delta(P2) > 1 and underline delta(P3) + underline delta(P4) > 1, then every sufficiently large even n is the sum of one prime from each subset, and the bound is sharp.","cross_cats":[],"primary_cat":"math.NT","authors_text":"Meng Gao, Xiaoyang Hu","submitted_at":"2026-05-14T04:48:38Z","abstract_excerpt":"Let $\\mathcal{P}$ denote the set of all primes, and let $\\underline\\delta(P)$ denote the relative lower density of a subset $P$ in $\\mathcal{P}$. Suppose that $P_1, P_2, P_3, P_4$ are four subsets of primes with $\\underline\\delta(P_1)+\\underline\\delta(P_2)>1$ and $ \\underline\\delta(P_3)+\\underline\\delta(P_4)>1.$ Then for every sufficiently large even integer $n$, there exist primes $p_i \\in P_i$ $(i=1,2,3,4)$ such that $n=p_1+p_2+p_3+p_4$. The condition is the best possible."},"claims":{"count":3,"items":[{"kind":"strongest_claim","text":"Suppose that P1, P2, P3, P4 are four subsets of primes with underline delta(P1)+underline delta(P2)>1 and underline delta(P3)+underline delta(P4)>1. Then for every sufficiently large even integer n, there exist primes pi in Pi (i=1,2,3,4) such that n=p1+p2+p3+p4. The condition is the best possible.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The proof assumes that the density conditions are sufficient to apply some form of the circle method or sieve to control the singular series and minor arcs for the quaternary sum; if the analytic estimates fail at the stated density threshold, the representation claim would not hold.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"If four subsets of primes satisfy underline delta(P1) + underline delta(P2) > 1 and underline delta(P3) + underline delta(P4) > 1, then every sufficiently large even n is the sum of one prime from each subset, and the bound is sharp.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"}],"snapshot_sha256":"138ef339f75e568d1be8add0254b9abfd06120213d10b73f49942cd3bc683fb3"},"source":{"id":"2605.14369","kind":"arxiv","version":1},"verdict":{"id":"65f64709-5715-4520-a41a-5a99f25c779e","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T02:18:37.663348Z","strongest_claim":"Suppose that P1, P2, P3, P4 are four subsets of primes with underline delta(P1)+underline delta(P2)>1 and underline delta(P3)+underline delta(P4)>1. Then for every sufficiently large even integer n, there exist primes pi in Pi (i=1,2,3,4) such that n=p1+p2+p3+p4. The condition is the best possible.","one_line_summary":"If four subsets of primes satisfy underline delta(P1) + underline delta(P2) > 1 and underline delta(P3) + underline delta(P4) > 1, then every sufficiently large even n is the sum of one prime from each subset, and the bound is sharp.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The proof assumes that the density conditions are sufficient to apply some form of the circle method or sieve to control the singular series and minor arcs for the quaternary sum; if the analytic estimates fail at the stated density threshold, the representation claim would not hold.","pith_extraction_headline":""},"references":{"count":19,"sample":[{"doi":"","year":2025,"title":"A. Alsetri, X. C. Shao,Density versions of the binary Goldbach problem, Acta Arith.,218(2025), no. 3, 285–295","work_id":"4600952a-a237-488f-b051-3eaf81a3ea53","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"Gao,A density version of Waring-Goldbach problem, Int","work_id":"8327798e-a0eb-4084-b21f-00e2f848f265","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"Gao,On the representation of large even integers as the sum of eight primes from positive density sets, Bull","work_id":"19bac947-3460-46e9-aaae-4f3c870f0de3","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2005,"title":"Green,Roth’s theorem in the primes, Ann","work_id":"757d7150-9d83-4915-82db-7c7155c2732a","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2008,"title":"B. Green, T. Tao,The primes contain arbitrarily long arithmetic progressions, Ann. of Math. (2),167 (2008), no. 2, 481–547","work_id":"fb444c29-eaa8-4a47-ad8d-3b9a3ccf8588","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":19,"snapshot_sha256":"5ef6a963d5934d973a7fdf22eccbd0d4290456c8b662fbbe0420150df9db436c","internal_anchors":1},"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":"65f64709-5715-4520-a41a-5a99f25c779e"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:39:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"87cip5gL9fR6DFO3EUogcSh5aaZC3bA8Es8YMCNR1puWwNNqSQD2e18bvTJR6rGK8UI9mzas3Smx5p1095RvAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T21:13:39.627751Z"},"content_sha256":"ab55089d6ec8f34e0ada53e1fff467599f43adaa175f8a5b8e477ba1cc9ee1db","schema_version":"1.0","event_id":"sha256:ab55089d6ec8f34e0ada53e1fff467599f43adaa175f8a5b8e477ba1cc9ee1db"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GMUCINFVQOZBPZKS5LXUA4ZW56/bundle.json","state_url":"https://pith.science/pith/GMUCINFVQOZBPZKS5LXUA4ZW56/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GMUCINFVQOZBPZKS5LXUA4ZW56/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-19T21:13:39Z","links":{"resolver":"https://pith.science/pith/GMUCINFVQOZBPZKS5LXUA4ZW56","bundle":"https://pith.science/pith/GMUCINFVQOZBPZKS5LXUA4ZW56/bundle.json","state":"https://pith.science/pith/GMUCINFVQOZBPZKS5LXUA4ZW56/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GMUCINFVQOZBPZKS5LXUA4ZW56/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:GMUCINFVQOZBPZKS5LXUA4ZW56","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":"b1a100ce8c5479a902956b937016e65fc8a6ffeb5eaf8129fb597f24184117d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2026-05-14T04:48:38Z","title_canon_sha256":"c6b59c3426ebb72cc4e677f81125f7632a045c90f15f85642e70a14b2bc1ab93"},"schema_version":"1.0","source":{"id":"2605.14369","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.14369","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"arxiv_version","alias_value":"2605.14369v1","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.14369","created_at":"2026-05-17T23:39:07Z"},{"alias_kind":"pith_short_12","alias_value":"GMUCINFVQOZB","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"GMUCINFVQOZBPZKS","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"GMUCINFV","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:ab55089d6ec8f34e0ada53e1fff467599f43adaa175f8a5b8e477ba1cc9ee1db","target":"graph","created_at":"2026-05-17T23:39:07Z","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":3,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Suppose that P1, P2, P3, P4 are four subsets of primes with underline delta(P1)+underline delta(P2)>1 and underline delta(P3)+underline delta(P4)>1. Then for every sufficiently large even integer n, there exist primes pi in Pi (i=1,2,3,4) such that n=p1+p2+p3+p4. The condition is the best possible."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The proof assumes that the density conditions are sufficient to apply some form of the circle method or sieve to control the singular series and minor arcs for the quaternary sum; if the analytic estimates fail at the stated density threshold, the representation claim would not hold."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"If four subsets of primes satisfy underline delta(P1) + underline delta(P2) > 1 and underline delta(P3) + underline delta(P4) > 1, then every sufficiently large even n is the sum of one prime from each subset, and the bound is sharp."}],"snapshot_sha256":"138ef339f75e568d1be8add0254b9abfd06120213d10b73f49942cd3bc683fb3"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Let $\\mathcal{P}$ denote the set of all primes, and let $\\underline\\delta(P)$ denote the relative lower density of a subset $P$ in $\\mathcal{P}$. Suppose that $P_1, P_2, P_3, P_4$ are four subsets of primes with $\\underline\\delta(P_1)+\\underline\\delta(P_2)>1$ and $ \\underline\\delta(P_3)+\\underline\\delta(P_4)>1.$ Then for every sufficiently large even integer $n$, there exist primes $p_i \\in P_i$ $(i=1,2,3,4)$ such that $n=p_1+p_2+p_3+p_4$. The condition is the best possible.","authors_text":"Meng Gao, Xiaoyang Hu","cross_cats":[],"headline":"If four subsets of primes satisfy underline delta(P1) + underline delta(P2) > 1 and underline delta(P3) + underline delta(P4) > 1, then every sufficiently large even n is the sum of one prime from each subset, and the bound is sharp.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2026-05-14T04:48:38Z","title":"A density version of quaternary Goldbach problem"},"references":{"count":19,"internal_anchors":1,"resolved_work":19,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"A. Alsetri, X. C. Shao,Density versions of the binary Goldbach problem, Acta Arith.,218(2025), no. 3, 285–295","work_id":"4600952a-a237-488f-b051-3eaf81a3ea53","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Gao,A density version of Waring-Goldbach problem, Int","work_id":"8327798e-a0eb-4084-b21f-00e2f848f265","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Gao,On the representation of large even integers as the sum of eight primes from positive density sets, Bull","work_id":"19bac947-3460-46e9-aaae-4f3c870f0de3","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Green,Roth’s theorem in the primes, Ann","work_id":"757d7150-9d83-4915-82db-7c7155c2732a","year":2005},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"B. Green, T. Tao,The primes contain arbitrarily long arithmetic progressions, Ann. of Math. (2),167 (2008), no. 2, 481–547","work_id":"fb444c29-eaa8-4a47-ad8d-3b9a3ccf8588","year":2008}],"snapshot_sha256":"5ef6a963d5934d973a7fdf22eccbd0d4290456c8b662fbbe0420150df9db436c"},"source":{"id":"2605.14369","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T02:18:37.663348Z","id":"65f64709-5715-4520-a41a-5a99f25c779e","model_set":{"reader":"grok-4.3"},"one_line_summary":"If four subsets of primes satisfy underline delta(P1) + underline delta(P2) > 1 and underline delta(P3) + underline delta(P4) > 1, then every sufficiently large even n is the sum of one prime from each subset, and the bound is sharp.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"","strongest_claim":"Suppose that P1, P2, P3, P4 are four subsets of primes with underline delta(P1)+underline delta(P2)>1 and underline delta(P3)+underline delta(P4)>1. Then for every sufficiently large even integer n, there exist primes pi in Pi (i=1,2,3,4) such that n=p1+p2+p3+p4. The condition is the best possible.","weakest_assumption":"The proof assumes that the density conditions are sufficient to apply some form of the circle method or sieve to control the singular series and minor arcs for the quaternary sum; if the analytic estimates fail at the stated density threshold, the representation claim would not hold."}},"verdict_id":"65f64709-5715-4520-a41a-5a99f25c779e"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:20c519166a542bbfc43211169bf5a4b79ca75266570bc61abf45ecd36f1cb262","target":"record","created_at":"2026-05-17T23:39:07Z","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":"b1a100ce8c5479a902956b937016e65fc8a6ffeb5eaf8129fb597f24184117d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2026-05-14T04:48:38Z","title_canon_sha256":"c6b59c3426ebb72cc4e677f81125f7632a045c90f15f85642e70a14b2bc1ab93"},"schema_version":"1.0","source":{"id":"2605.14369","kind":"arxiv","version":1}},"canonical_sha256":"33282434b583b217e552eaef407336efa86cf418e386a9293bc067515166a474","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33282434b583b217e552eaef407336efa86cf418e386a9293bc067515166a474","first_computed_at":"2026-05-17T23:39:07.849654Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:07.849654Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6ARiqSfVU1xpX208wOH+gMtmJNI/CLCn10IFz99iVmJNlCCLoevabIr4XSbsIKMhXPo6gRx0UovLpH0n6PnnDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:07.850463Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.14369","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:20c519166a542bbfc43211169bf5a4b79ca75266570bc61abf45ecd36f1cb262","sha256:ab55089d6ec8f34e0ada53e1fff467599f43adaa175f8a5b8e477ba1cc9ee1db"],"state_sha256":"e2583bd75a645b37a3535b9ae845c0d4d4351587e2db6da2e1cd4bffeafcf25c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XqUU8xJUGUCsY+jb1hYkMtyNz+PL7QAR5S1yAfR3I59zSVEN0tiRau9X3MsZOPCrGFICs4zxDnmX0z12Or0mDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-19T21:13:39.630751Z","bundle_sha256":"a1436590ec9fb781606ac45f1476f131b345b5c0977b36dae5fbba3575a3d39f"}}