Banwait–Huang · effective BSD twist families
arXiv metadata reports acceptance for ANTS XVII. Algorithms enumerate sufficient subfamilies, not all curves or twists satisfying BSD.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The 2026 eligible-family list retains Cremona curve 46a1; the discrepancy concerns four other base curves.
Passage ID: birch-and-swinnerton-dyer-conjecture:bsd-46a1-corroboration:v1
Source item: Section 2.7, v3 PDF page 13
Source record: arxiv-2601.16044@arxiv-v3
Banwait–Huang give sufficient-condition algorithms for BSD twist subfamilies and list eligible curves of conductor <500,000. Section 2.7 retains 46a1 but identifies a nonempty-prime-support gap for 62a1, 66b1, 105a1 and 141c1 in an earlier infinitude list.
Passage ID: birch-and-swinnerton-dyer-conjecture:bsd-effective-families-2026:v1
Source item: Lemma 2.18, Algorithms 1–2, Remark 2.20 and Section 2.7, v3 PDF pages 10–13
Source record: arxiv-2601.16044@arxiv-v3
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v17
History
Effective enumeration of sufficient twist subfamilies
Question
Birch and Swinnerton-Dyer conjecture
Research activity
2026 · effective families and an earlier-list caveat
Banwait–Huang give sufficient-condition algorithms for BSD twist subfamilies and list eligible curves of conductor <500,000. Section 2.7 retains 46a1 but identifies a nonempty-prime-support gap for 62a1, 66b1, 105a1 and 141c1 in an earlier infinitude list.
The authors do not characterize every BSD-satisfying twist. The flagged four curves are not disproved BSD cases. The code and dataset have not been executed or reproduced by OpenMath.
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External evidence linked; no OpenMath execution or independent reproduction is asserted.
Resource revision: arXiv:2601.16044v3
Code
No OpenMath execution recorded
External evidence linked; no OpenMath execution or independent reproduction is asserted.
Resource revision: 31fae20c8df3f1f0383f41112b914d4995d5809d
Dataset
No OpenMath execution recorded
External evidence linked; no OpenMath execution or independent reproduction is asserted.
Resource revision: 31fae20c8df3f1f0383f41112b914d4995d5809d
Recorded authorship
Barinder S. Banwait · Xiaoyu Huang
Barinder S. Banwait; Xiaoyu Huang
The cited work does not report AI involvement; this is not an assertion that no AI was used.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Banwait–Huang · effective BSD twist families
No upstream full text or code is republished by this record.
Source terms ↗