{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "lin-hyra-claimed-near-quadratic-hadamard-count-2026",
    "title": "Lin with Hyra: claimed corrected partial-Hadamard asymptotics above the quadratic scale",
    "summary": "Claimed a uniform asymptotic count of n-by-m sign matrices with orthogonal rows when m is divisible by four and m/[n² log(2πm)]→∞, retaining the essential exp[−n(n−1)(2n−1)/(24m)] correction to the standard main term. 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. The result covers each fixed power-law regime m/n^(2+η)→∞ with η>0, not the endpoint m/n²→∞. The supplied Lean counting assembly assumes the unformalized analytic row estimate hstep; the exponent module proves a sufficient-regime bridge, not impossibility of the counting formula at smaller exponents.",
    "area": "Mathematics",
    "topic": "Mathematics",
    "year": 2026,
    "lane": "AI",
    "result": "CANDIDATE_PROOF",
    "package_id": "lin-hyra-claimed-near-quadratic-hadamard-count-2026",
    "target": {
      "record_id": "urn:uuid:cc82a534-8d46-46bf-aa7f-3cf431b61043",
      "version": 1,
      "content_hash": "sha256:d5a78d94801c302587c1a9a972cff4c350eecad29ad277743f001efdcc449196"
    },
    "humans": [
      "Haowei Lin"
    ],
    "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": "UNKNOWN",
        "role": "Source-reported proof-strategy development and initial detailed mathematical draft; subsequent human audit and repairs; the exact underlying model identifier is unknown",
        "assurance": "SOURCE_REPORTED",
        "source": "cur20261017-hyra-partial-hadamard"
      }
    ],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "cur20261017-hyra-partial-hadamard",
        "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",
        "date": "2026",
        "kind": "PRIMARY_RESEARCH_MANUSCRIPT",
        "access": "WEB_READ",
        "checked_on": "2026-10-17"
      },
      {
        "id": "cur20261017-hyra-pinned-results",
        "title": "Hyra Results: original artifact index and source-reported agent provenance",
        "url": "https://raw.githubusercontent.com/Tencent-Hunyuan/Hyra-results/09b2d2e3c362c67a78f544c836bd8e4b54a05527/README.md",
        "date": "2026-08-19",
        "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:cc82a534-8d46-46bf-aa7f-3cf431b61043",
        "version": 1,
        "content_hash": "sha256:d5a78d94801c302587c1a9a972cff4c350eecad29ad277743f001efdcc449196"
      },
      "edition": "ratings-e039106f30dec177"
    },
    "conditional_rating": {
      "id": "lin-hyra-claimed-near-quadratic-hadamard-count-2026",
      "target": {
        "record_id": "urn:uuid:cc82a534-8d46-46bf-aa7f-3cf431b61043",
        "version": 1,
        "content_hash": "sha256:d5a78d94801c302587c1a9a972cff4c350eecad29ad277743f001efdcc449196"
      },
      "band": "A",
      "modifier": "+",
      "points": "220000",
      "range": {
        "lower": "120000",
        "upper": "400000"
      },
      "status": "CONDITIONAL_IF_VERIFIED",
      "counts_as_achieved": false,
      "scientific_correctness_certified": false,
      "scope": "Source-claimed proof, not independently verified by WRS. The result covers each fixed power-law regime m/n^(2+η)→∞ with η>0, not the endpoint m/n²→∞. The supplied Lean counting assembly assumes the unformalized analytic row estimate hstep; the exponent module proves a sufficient-regime bridge, not impossibility of the counting formula at smaller exponents."
    }
  },
  "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": "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"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Hyra Results: original artifact index and source-reported agent provenance",
            "url": "https://raw.githubusercontent.com/Tencent-Hunyuan/Hyra-results/09b2d2e3c362c67a78f544c836bd8e4b54a05527/README.md"
          }
        }
      ],
      "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. The result covers each fixed power-law regime m/n^(2+η)→∞ with η>0, not the endpoint m/n²→∞. The supplied Lean counting assembly assumes the unformalized analytic row estimate hstep; the exponent module proves a sufficient-regime bridge, not impossibility of the counting formula at smaller exponents.",
        "domain": "Enumerative combinatorics and AI-assisted proof discovery"
      },
      "sources": [
        {
          "citation": "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"
        },
        {
          "citation": "Hyra Results: original artifact index and source-reported agent provenance",
          "url": "https://raw.githubusercontent.com/Tencent-Hunyuan/Hyra-results/09b2d2e3c362c67a78f544c836bd8e4b54a05527/README.md"
        }
      ],
      "statement": "# Lin with Hyra: claimed corrected partial-Hadamard asymptotics above the quadratic scale\n\n## Count patterns that cancel\n\nImagine a table filled only with plus ones and minus ones. We want different rows to cancel when multiplied entry by entry and added. This zero total is called orthogonality. The question is how many such tables exist for a chosen number of rows and columns. The paper claims a counting formula that reaches substantially narrower tables than earlier asymptotic results, while retaining a correction that becomes essential there.\n\n## A small table you can check\n\nUse the rows (1, 1, 1, 1) and (1, 1, -1, -1). Their dot product is 1 + 1 - 1 - 1 = 0. Changing the last minus sign to a plus sign makes the dot product two and breaks the condition. This classroom example teaches the constraint only. A large-table asymptotic formula is an approximation in a specified limit; it is not automatically an exact count for this two-row example.\n\n## Moving below the cubic scale\n\nLet n be the number of rows and m the number of columns. The new claim requires m to be divisible by four and m divided by n squared times log(2 pi m) to tend to infinity. For example, take n = k squared and m = 4k to the fifth power. Then m/n cubed tends to zero, while the new required ratio tends to infinity. That exhibits a regime below the cubic scale without reaching the quadratic endpoint.\n\n## The correction is part of the result\n\nThe formula includes an exponential correction involving n(n-1)(2n-1)/(24m). Below the cubic scale, dropping it can change the predicted count enormously. This is why saying only that the old formula now works for smaller tables would lose the contribution. The counting assembly in the supplied Lean material assumes an analytic row estimate called hstep. Checking the assembly does not independently supply that missing analytic proof, and WRS has not replayed the formalization.\n\n## A useful first contribution\n\nAsk your assistant to verify the toy dot products and the two ratios in the k example. Keep elementary checks separate from the manuscript claim. A more advanced reader can compare the near-quadratic statement with Davis's cubic-regime theorem, preserving the correction and quantifiers. Record exactly which lemma is established by which source. The printed human author is Haowei Lin; source-reported Hyra assistance does not replace that authorship.\n\n## Scientific scope\n\nSource-claimed proof, not independently verified by WRS. The result covers each fixed power-law regime m/n^(2+η)→∞ with η>0, not the endpoint m/n²→∞. The supplied Lean counting assembly assumes the unformalized analytic row estimate hstep; the exponent module proves a sufficient-regime bridge, not impossibility of the counting formula at smaller exponents.\n\n## Sources for this explanation\n\n- [claimed corrected partial-Hadamard asymptotics above the quadratic scale](https://raw.githubusercontent.com/Tencent-Hunyuan/Hyra-results/09b2d2e3c362c67a78f544c836bd8e4b54a05527/AI4Science/partial_hadamard_counting/manuscript.pdf): Original abstract, main stated result and evidence boundaries; full proof not independently reconstructed by WRS.\n- [Hyra Results: original artifact index and source-reported agent provenance](https://raw.githubusercontent.com/Tencent-Hunyuan/Hyra-results/09b2d2e3c362c67a78f544c836bd8e4b54a05527/README.md): Original abstract, main stated result and evidence boundaries; full proof not independently reconstructed by WRS.\n",
      "summary": "Claimed a uniform asymptotic count of n-by-m sign matrices with orthogonal rows when m is divisible by four and m/[n² log(2πm)]→∞, retaining the essential exp[−n(n−1)(2n−1)/(24m)] correction to the standard main term. Reported result; not independently verified by WRS. Ranked using a provisional grade and reference estimate for the exact claimed result.",
      "title": "Lin with Hyra: claimed corrected partial-Hadamard asymptotics above the quadratic scale"
    },
    "record_id": "urn:uuid:cc82a534-8d46-46bf-aa7f-3cf431b61043",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:cc82a534-8d46-46bf-aa7f-3cf431b61043",
      "version": 1,
      "content_hash": "sha256:d5a78d94801c302587c1a9a972cff4c350eecad29ad277743f001efdcc449196"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:08f129f552b7016550d213fba5477d0ad02c69010217e2665a32afc977eb936f"
  },
  "target": {
    "record_id": "urn:uuid:cc82a534-8d46-46bf-aa7f-3cf431b61043",
    "version": 1,
    "content_hash": "sha256:d5a78d94801c302587c1a9a972cff4c350eecad29ad277743f001efdcc449196"
  },
  "published_grade": null,
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "lin-hyra-claimed-near-quadratic-hadamard-count-2026",
    "target": {
      "record_id": "urn:uuid:cc82a534-8d46-46bf-aa7f-3cf431b61043",
      "version": 1,
      "content_hash": "sha256:d5a78d94801c302587c1a9a972cff4c350eecad29ad277743f001efdcc449196"
    },
    "sections": [
      {
        "title": "Count patterns that cancel",
        "text": "Imagine a table filled only with plus ones and minus ones. We want different rows to cancel when multiplied entry by entry and added. This zero total is called orthogonality. The question is how many such tables exist for a chosen number of rows and columns. The paper claims a counting formula that reaches substantially narrower tables than earlier asymptotic results, while retaining a correction that becomes essential there."
      },
      {
        "title": "A small table you can check",
        "text": "Use the rows (1, 1, 1, 1) and (1, 1, -1, -1). Their dot product is 1 + 1 - 1 - 1 = 0. Changing the last minus sign to a plus sign makes the dot product two and breaks the condition. This classroom example teaches the constraint only. A large-table asymptotic formula is an approximation in a specified limit; it is not automatically an exact count for this two-row example."
      },
      {
        "title": "Moving below the cubic scale",
        "text": "Let n be the number of rows and m the number of columns. The new claim requires m to be divisible by four and m divided by n squared times log(2 pi m) to tend to infinity. For example, take n = k squared and m = 4k to the fifth power. Then m/n cubed tends to zero, while the new required ratio tends to infinity. That exhibits a regime below the cubic scale without reaching the quadratic endpoint."
      },
      {
        "title": "The correction is part of the result",
        "text": "The formula includes an exponential correction involving n(n-1)(2n-1)/(24m). Below the cubic scale, dropping it can change the predicted count enormously. This is why saying only that the old formula now works for smaller tables would lose the contribution. The counting assembly in the supplied Lean material assumes an analytic row estimate called hstep. Checking the assembly does not independently supply that missing analytic proof, and WRS has not replayed the formalization."
      },
      {
        "title": "A useful first contribution",
        "text": "Ask your assistant to verify the toy dot products and the two ratios in the k example. Keep elementary checks separate from the manuscript claim. A more advanced reader can compare the near-quadratic statement with Davis's cubic-regime theorem, preserving the correction and quantifiers. Record exactly which lemma is established by which source. The printed human author is Haowei Lin; source-reported Hyra assistance does not replace that authorship."
      }
    ],
    "references": [
      {
        "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",
        "locator": "Original abstract, main stated result and evidence boundaries; full proof not independently reconstructed by WRS."
      },
      {
        "title": "Hyra Results: original artifact index and source-reported agent provenance",
        "url": "https://raw.githubusercontent.com/Tencent-Hunyuan/Hyra-results/09b2d2e3c362c67a78f544c836bd8e4b54a05527/README.md",
        "locator": "Original abstract, main stated result and evidence boundaries; full proof not independently reconstructed by WRS."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}