{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "lin-li-hyra-claimed-sharp-sum-difference-exponent-2026",
    "title": "Lin and Li with Hyra: claimed sharp unattained exponent for sumset-versus-difference growth",
    "summary": "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.",
    "boundary": "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.",
    "area": "Mathematics",
    "topic": "Mathematics",
    "year": 2026,
    "lane": "AI",
    "result": "CANDIDATE_PROOF",
    "package_id": "lin-li-hyra-claimed-sharp-sum-difference-exponent-2026",
    "target": {
      "record_id": "urn:uuid:a11b1fc7-b8c3-47c7-ad02-10af6979c4bd",
      "version": 1,
      "content_hash": "sha256:2f129a64d32833b56f8bffaaf34506992bc1bbe077c1b5fd2be2e5267cf8c852"
    },
    "humans": [
      "Haowei Lin",
      "Shanda Li"
    ],
    "human_identities": [
      {
        "author_position": 0,
        "source_name": "Haowei Lin",
        "person_id": "haowei-lin-pku-tencent",
        "display_name": "Haowei Lin",
        "status": "SOURCE_LINKED_IDENTITY",
        "sources": [
          {
            "title": "claimed corrected partial-Hadamard asymptotics above the quadratic scale",
            "url": "https://raw.githubusercontent.com/Tencent-Hunyuan/Hyra-results/09b2d2e3c362c67a78f544c836bd8e4b54a05527/AI4Science/partial_hadamard_counting/manuscript.pdf"
          },
          {
            "title": "Settling the Optimal Exponent Relating Sumsets and Difference Sets",
            "url": "https://raw.githubusercontent.com/linhaowei1/sum-diff-proof/f53f84223b48457ac922836b661227309d9340c3/paper/settling-the-optimal-exponent.pdf"
          }
        ]
      }
    ],
    "authors_complete": true,
    "human_role_note": "Named source authors and agent execution are recorded separately; individual effort shares are unknown.",
    "agents": [
      {
        "provider": "Tencent",
        "product": "Hyra",
        "model": "Hy3",
        "role": "Source-reported finite-set search and natural-language construction/proof proposals; humans subsequently checked and prepared the argument",
        "assurance": "SOURCE_REPORTED",
        "source": "cur20261017-hyra-sum-diff-paper"
      },
      {
        "provider": "OpenAI",
        "product": "GPT",
        "model": "GPT-5.6 Sol",
        "role": "Source-reported heuristic exploration judging and conversion of natural-language proofs to Lean; neither judging nor translation alone certifies correctness",
        "assurance": "SOURCE_REPORTED",
        "source": "cur20261017-hyra-sum-diff-paper"
      }
    ],
    "related": [
      "alphaevolve"
    ],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261017-hyra-sum-diff-paper",
        "title": "Settling the Optimal Exponent Relating Sumsets and Difference Sets",
        "url": "https://raw.githubusercontent.com/linhaowei1/sum-diff-proof/f53f84223b48457ac922836b661227309d9340c3/paper/settling-the-optimal-exponent.pdf",
        "date": "2026-07",
        "kind": "PRIMARY_RESEARCH_MANUSCRIPT",
        "access": "WEB_READ",
        "checked_on": "2026-10-17"
      },
      {
        "id": "cur20261017-hyra-sum-diff-formal",
        "title": "Sum-difference sharp-supremum formal companion at pinned commit",
        "url": "https://github.com/linhaowei1/sum-diff-proof/tree/f53f84223b48457ac922836b661227309d9340c3",
        "date": "2026-07-30",
        "kind": "PRIMARY_RESEARCH_ACCOUNT",
        "access": "WEB_READ",
        "checked_on": "2026-10-17"
      }
    ],
    "geography": null,
    "points": null,
    "published_grade": null,
    "assessment_disposition": {
      "status": "CLAIM_UNVERIFIED",
      "label": "Reported result · unverified",
      "reason": "Provisional grade and reference score included in rankings; scientific correctness has not been independently established.",
      "target": {
        "record_id": "urn:uuid:a11b1fc7-b8c3-47c7-ad02-10af6979c4bd",
        "version": 1,
        "content_hash": "sha256:2f129a64d32833b56f8bffaaf34506992bc1bbe077c1b5fd2be2e5267cf8c852"
      },
      "edition": "ratings-e039106f30dec177"
    },
    "conditional_rating": {
      "id": "lin-li-hyra-claimed-sharp-sum-difference-exponent-2026",
      "target": {
        "record_id": "urn:uuid:a11b1fc7-b8c3-47c7-ad02-10af6979c4bd",
        "version": 1,
        "content_hash": "sha256:2f129a64d32833b56f8bffaaf34506992bc1bbe077c1b5fd2be2e5267cf8c852"
      },
      "band": "S",
      "modifier": "-",
      "points": "350000",
      "range": {
        "lower": "180000",
        "upper": "600000"
      },
      "status": "CONDITIONAL_IF_VERIFIED",
      "counts_as_achieved": false,
      "scientific_correctness_certified": false,
      "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."
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-22T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Settling the Optimal Exponent Relating Sumsets and Difference Sets",
            "url": "https://raw.githubusercontent.com/linhaowei1/sum-diff-proof/f53f84223b48457ac922836b661227309d9340c3/paper/settling-the-optimal-exponent.pdf"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Sum-difference sharp-supremum formal companion at pinned commit",
            "url": "https://github.com/linhaowei1/sum-diff-proof/tree/f53f84223b48457ac922836b661227309d9340c3"
          }
        }
      ],
      "origin": "AGENT_NATIVE",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "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.",
        "domain": "AI-assisted additive combinatorics"
      },
      "sources": [
        {
          "citation": "Settling the Optimal Exponent Relating Sumsets and Difference Sets",
          "url": "https://raw.githubusercontent.com/linhaowei1/sum-diff-proof/f53f84223b48457ac922836b661227309d9340c3/paper/settling-the-optimal-exponent.pdf"
        },
        {
          "citation": "Sum-difference sharp-supremum formal companion at pinned commit",
          "url": "https://github.com/linhaowei1/sum-diff-proof/tree/f53f84223b48457ac922836b661227309d9340c3"
        }
      ],
      "statement": "# Lin and Li with Hyra: claimed sharp unattained exponent for sumset-versus-difference growth\n\n## How much variety can addition create?\n\nTake a small collection of integers. Add every possible pair, then count distinct answers. Now subtract every possible pair and count those answers. A long-standing question asks how differently these two counts can grow. The paper claims an explicit family that settles the best universal exponent connecting them. The important change is the limiting boundary across a family, rather than one impressive finite example.\n\n## Try three integers first\n\nFor the classroom set A = {0, 1, 3}, the distinct sums are {0, 1, 2, 3, 4, 6}; there are six. The distinct differences are {-3, -2, -1, 0, 1, 2, 3}; there are seven. Dividing each count by the three original elements gives 2 and 7/3. Counting repeated pairs would answer a different question: we count the distinct values produced, not how often they occur.\n\n## Why approaching two matters\n\nWrite sigma for the sum count divided by the size of A, and delta for the corresponding difference count. Classical inequalities imply log(sigma)/log(delta) cannot exceed two for the integer sets under discussion. The new claimed construction makes that ratio approach two as its parameter grows. That would prevent replacing two by any smaller universal exponent. It does not say every set has ratio two, or that any finite set attains the limiting value.\n\n## A bound you can inspect\n\nThe manuscript states a ratio greater than 2K/(K+3) for every positive even K. At K = 30 this threshold is 20/11; at K = 300 it is 200/101. These are consequences of the claimed theorem, not independently constructed WRS examples. The older finite-set upper inequality remains inherited. The formal companion uses a different integer base from the manuscript and includes native finite certificates; WRS has not built it.\n\n## What could you check next?\n\nStart by checking the six sums and seven differences by hand or with a short program. Then compare the exact statement of the manuscript with the formal companion: which construction, assumptions and finite certificates are used? Human authors Lin and Li, Hyra construction assistance, and the separately reported judging or translation tools retain distinct roles. A successful example check would improve the reading record without establishing the complete asymptotic proof.\n\n## Scientific scope\n\nSource-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.\n\n## Sources for this explanation\n\n- [Settling the Optimal Exponent Relating Sumsets and Difference Sets](https://raw.githubusercontent.com/linhaowei1/sum-diff-proof/f53f84223b48457ac922836b661227309d9340c3/paper/settling-the-optimal-exponent.pdf): Original abstract, main stated result and evidence boundaries; full proof not independently reconstructed by WRS.\n- [Sum-difference sharp-supremum formal companion at pinned commit](https://github.com/linhaowei1/sum-diff-proof/tree/f53f84223b48457ac922836b661227309d9340c3): Original abstract, main stated result and evidence boundaries; full proof not independently reconstructed by WRS.\n",
      "summary": "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.",
      "title": "Lin and Li with Hyra: claimed sharp unattained exponent for sumset-versus-difference growth"
    },
    "record_id": "urn:uuid:a11b1fc7-b8c3-47c7-ad02-10af6979c4bd",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:a11b1fc7-b8c3-47c7-ad02-10af6979c4bd",
      "version": 1,
      "content_hash": "sha256:2f129a64d32833b56f8bffaaf34506992bc1bbe077c1b5fd2be2e5267cf8c852"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:13d98692445f905c43efa49b6fe81999a36178e91db416bd91959b3a4717c204"
  },
  "target": {
    "record_id": "urn:uuid:a11b1fc7-b8c3-47c7-ad02-10af6979c4bd",
    "version": 1,
    "content_hash": "sha256:2f129a64d32833b56f8bffaaf34506992bc1bbe077c1b5fd2be2e5267cf8c852"
  },
  "published_grade": null,
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "lin-li-hyra-claimed-sharp-sum-difference-exponent-2026",
    "target": {
      "record_id": "urn:uuid:a11b1fc7-b8c3-47c7-ad02-10af6979c4bd",
      "version": 1,
      "content_hash": "sha256:2f129a64d32833b56f8bffaaf34506992bc1bbe077c1b5fd2be2e5267cf8c852"
    },
    "sections": [
      {
        "title": "How much variety can addition create?",
        "text": "Take a small collection of integers. Add every possible pair, then count distinct answers. Now subtract every possible pair and count those answers. A long-standing question asks how differently these two counts can grow. The paper claims an explicit family that settles the best universal exponent connecting them. The important change is the limiting boundary across a family, rather than one impressive finite example."
      },
      {
        "title": "Try three integers first",
        "text": "For the classroom set A = {0, 1, 3}, the distinct sums are {0, 1, 2, 3, 4, 6}; there are six. The distinct differences are {-3, -2, -1, 0, 1, 2, 3}; there are seven. Dividing each count by the three original elements gives 2 and 7/3. Counting repeated pairs would answer a different question: we count the distinct values produced, not how often they occur."
      },
      {
        "title": "Why approaching two matters",
        "text": "Write sigma for the sum count divided by the size of A, and delta for the corresponding difference count. Classical inequalities imply log(sigma)/log(delta) cannot exceed two for the integer sets under discussion. The new claimed construction makes that ratio approach two as its parameter grows. That would prevent replacing two by any smaller universal exponent. It does not say every set has ratio two, or that any finite set attains the limiting value."
      },
      {
        "title": "A bound you can inspect",
        "text": "The manuscript states a ratio greater than 2K/(K+3) for every positive even K. At K = 30 this threshold is 20/11; at K = 300 it is 200/101. These are consequences of the claimed theorem, not independently constructed WRS examples. The older finite-set upper inequality remains inherited. The formal companion uses a different integer base from the manuscript and includes native finite certificates; WRS has not built it."
      },
      {
        "title": "What could you check next?",
        "text": "Start by checking the six sums and seven differences by hand or with a short program. Then compare the exact statement of the manuscript with the formal companion: which construction, assumptions and finite certificates are used? Human authors Lin and Li, Hyra construction assistance, and the separately reported judging or translation tools retain distinct roles. A successful example check would improve the reading record without establishing the complete asymptotic proof."
      }
    ],
    "references": [
      {
        "title": "Settling the Optimal Exponent Relating Sumsets and Difference Sets",
        "url": "https://raw.githubusercontent.com/linhaowei1/sum-diff-proof/f53f84223b48457ac922836b661227309d9340c3/paper/settling-the-optimal-exponent.pdf",
        "locator": "Original abstract, main stated result and evidence boundaries; full proof not independently reconstructed by WRS."
      },
      {
        "title": "Sum-difference sharp-supremum formal companion at pinned commit",
        "url": "https://github.com/linhaowei1/sum-diff-proof/tree/f53f84223b48457ac922836b661227309d9340c3",
        "locator": "Original abstract, main stated result and evidence boundaries; full proof not independently reconstructed by WRS."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}