pith:GMUCINFV
A density version of quaternary Goldbach problem
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.
arxiv:2605.14369 v1 · 2026-05-14 · math.NT
Add to your LaTeX paper
\usepackage{pith}
\pithnumber{GMUCINFVQOZBPZKS5LXUA4ZW56}
Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge
Record completeness
Claims
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.
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.
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.
References
Receipt and verification
| First computed | 2026-05-17T23:39:07.849654Z |
|---|---|
| Builder | pith-number-builder-2026-05-17-v1 |
| Signature | Pith Ed25519
(pith-v1-2026-05) · public key |
| Schema | pith-number/v1.0 |
Canonical hash
33282434b583b217e552eaef407336efa86cf418e386a9293bc067515166a474
Aliases
· · · · ·Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/GMUCINFVQOZBPZKS5LXUA4ZW56 \
| jq -c '.canonical_record' \
| python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 33282434b583b217e552eaef407336efa86cf418e386a9293bc067515166a474
Canonical record JSON
{
"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
}
}