8 papers · 1 filter
Second derivatives of -adic -functions and the Shafarevich--Tate group of rank-two CM elliptic curves
Barinder S. Banwait
For an elliptic curve of rank two with complex multiplication, Coates, Liang and Sujatha gave a criterion for the vanishing of at a goo…
Decision trees, Frobenius traces, and Weierstrass coefficients of elliptic curves
Barinder S. Banwait, Xiaoyu Huang, Kyu-Hwan Lee +3
We investigate the extent to which the reduced minimal Weierstrass coefficients of an elliptic curve over may be computed from it's Frobenius traces. Decision tree mod…
A formal proof of the Ramanujan--Nagell theorem in Lean 4
Barinder S. Banwait
We present a complete formalization, in the Lean interactive theorem prover with the Mathlib library, of the Ramanujan--Nagell theorem: the only integer solutions to the Diophantin…
On the Visibility category of the Shafarevich--Tate group
Barinder S. Banwait, Jerson Caro, Shiva Chidambaram
Given an elliptic curve over $\Q$ and a nontrivial element of its Shafarevich--Tate group $\Sha(E)$, we introduce the \textbf{Visualization category} $\V(E; σ)$ of abelian…
On the Identification of Elliptic Curves That Admit Infinitely Many Twists Satisfying the Birch-Swinnerton-Dyer Conjecture
Barinder S. Banwait, Xiaoyu Huang
Recent work of Burungale-Skinner-Tian-Wan established the first infinite families of quadratic twists of non-CM elliptic curves over for which the strong Birch-Swinner…
Machine Learning Approaches to the Shafarevich-Tate Group of Elliptic Curves
Angelica Babei, Barinder S. Banwait, AJ Fong +2
We train machine learning models to predict the order of the Shafarevich-Tate group of an elliptic curve over . Building on earlier work of He, Lee, and Oliver, we show…