{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-2601.16044","versions":[{"work":{"authors":["Barinder S. Banwait","Xiaoyu Huang"],"kind":"research_paper","publication":"accepted","publication_note":"arXiv metadata reports acceptance for ANTS XVII. Algorithms enumerate sufficient subfamilies, not all curves or twists satisfying BSD.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Paper PDF · v3","url":"https://arxiv.org/pdf/2601.16044v3","version":"arXiv:2601.16044v3","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."},{"kind":"code","title":"Sage algorithms · pinned commit","url":"https://github.com/cocoxhuang/ants_xvii/tree/31fae20c8df3f1f0383f41112b914d4995d5809d/ants_xvii/infinite_bsd","version":"31fae20c8df3f1f0383f41112b914d4995d5809d","assessment":"not_executed","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."},{"kind":"dataset","title":"Eligible curve labels · pinned file","url":"https://github.com/cocoxhuang/ants_xvii/blob/31fae20c8df3f1f0383f41112b914d4995d5809d/ants_xvii/infinite_bsd/output/ec_labels_500k.txt","version":"31fae20c8df3f1f0383f41112b914d4995d5809d","assessment":"not_executed","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-2601.16044@arxiv-v3","source_id":"arxiv-2601.16044","title":"Banwait–Huang · effective BSD twist families","owner":"Barinder S. Banwait; Xiaoyu Huang","url":"https://arxiv.org/abs/2601.16044v3","subject_scope":"Banwait–Huang · effective BSD twist families","revision":"arxiv-v3","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2026-06-04","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2601.16044v3","attribution":"Barinder S. Banwait; Xiaoyu Huang","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}],"entries":[{"id":"birch-and-swinnerton-dyer-conjecture:bsd-46a1-corroboration:v1","source_version_id":"arxiv-2601.16044@arxiv-v3","item_id":"Section 2.7, v3 PDF page 13","url":"https://arxiv.org/abs/2601.16044v3","wording":"The 2026 eligible-family list retains Cremona curve 46a1; the discrepancy concerns four other base curves.","wording_kind":"paraphrase","locator":"Section 2.7, v3 PDF page 13","supersedes":null},{"id":"birch-and-swinnerton-dyer-conjecture:bsd-effective-families-2026:v1","source_version_id":"arxiv-2601.16044@arxiv-v3","item_id":"Lemma 2.18, Algorithms 1–2, Remark 2.20 and Section 2.7, v3 PDF pages 10–13","url":"https://arxiv.org/abs/2601.16044v3","wording":"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.","wording_kind":"paraphrase","locator":"Lemma 2.18, Algorithms 1–2, Remark 2.20 and Section 2.7, v3 PDF pages 10–13","supersedes":null}],"problems":[{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17}],"selected_version_id":"arxiv-2601.16044@arxiv-v3","available_versions":[{"id":"arxiv-2601.16044@arxiv-v3","revision":"arxiv-v3","observed_on":"2026-10-10","title":"Banwait–Huang · effective BSD twist families","publication":"accepted","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-1c23036463da94532592","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-46a1-corroboration:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"Effective enumeration of sufficient twist subfamilies","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3a4b9c2f4290449151ce","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-46a1-corroboration:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-090eed1310ebc14403a8","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-46a1-corroboration:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"statement","title":"Full BSD in a specified infinite twist family","claim":{"id":"claim-bsd-46a1-quadratic-twists","version":2,"slug":"bsd-46a1-quadratic-twists","title":"Full BSD in a specified infinite twist family"},"fragment":"claim-bsd-46a1-quadratic-twists","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4b7c7ee610eaa85161f2","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-effective-families-2026:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"activity","title":"2026 · effective families and an earlier-list caveat","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"bsd-effective-families-2026","title":"2026 · effective families and an earlier-list caveat","kind":"source_correction","source_entry_ids":["birch-and-swinnerton-dyer-conjecture:bsd-effective-families-2026:v1"],"summary":"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.","limitation":"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.","related_claim_ids":["claim-bsd-46a1-quadratic-twists"]}},{"id":"source-use-8906e69bb05f074afa9b","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-effective-families-2026:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"milestone","title":"Effective enumeration of sufficient twist subfamilies","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f6028154029acc325937","entry_id":"birch-and-swinnerton-dyer-conjecture:bsd-effective-families-2026:v1","problem":{"slug":"birch-and-swinnerton-dyer-conjecture","title":"Birch and Swinnerton-Dyer conjecture","publication_version":17},"kind":"question","title":"Birch and Swinnerton-Dyer conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}