WRSWorld Research StateContribute
WORLD RESEARCH STATE

Lin and Li with Hyra: claimed sharp unattained exponent for sumset-versus-difference growth

Reported result · significance if the exact claim is established

If verified · conditional significanceClaim scope and evidenceReported result · not independently verified.
If verified · reference score350,000Editorial revision range 180,000–600,000. Not a statistical interval. Included in rankings as an unverified reported result; excluded from achieved-science progress totals.

Provisional assessment of the stated contribution scope. Scientific evidence and contributor attribution are separate.

Scientific record data (JSON) · Challenge or correct a rating

What is claimed?

Constructed finite integer sets whose C(A)=log(|A+A|/|A|)/log(|A−A|/|A|) approaches 2, claiming that the universal sum-versus-difference exponent is exactly 2. The paper gives C(A_K)>2K/(K+3) for every positive even K. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.

Scientific scope

Source-claimed proof, not independently verified by WRS. Strict C(A)<2 for each finite integer set with |A|≥2 is inherited; the new claim is a family approaching the unattained supremum. The formal companion uses a base-39 variant rather than the paper's base-12 construction and depends on native_decide finite certificates; no Lean build or full proof audit was run.

Evidence state

The source reports this result. WRS has not independently reconstructed the complete argument or validated the reported evidence. The grade and score here express conditional significance; they do not certify correctness. The provisional value enters the main reference rankings with an unverified label, but not achieved-science progress totals.

Full scientific record · Challenge or correct this assessment