|
Size: 1169
Comment:
|
Size: 6440
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| I am a graduate student at the University of Southern California. | I was a Program in Computing Assistant Adjunct Professor in the Department of Mathematics at UCLA (2007-2011) and am a SAGEvangelist (2005-). |
| Line 3: | Line 3: |
| http://www-scf.usc.edu/~burhanud | - http://www-scf.usc.edu/~burhanud |
| Line 5: | Line 5: |
| http://sage.math.washington.edu/home/burhanud | - http://www.math.ucla.edu/people/pages/burhanud.shtml - http://sage.math.washington.edu/home/burhanud |
| Line 7: | Line 9: |
| Some of the stuff I am working on wrt to SAGE are: | === Papers === |
| Line 9: | Line 11: |
| * Editing the SAGE programming guide in time for the release of sage-2.0 | http://sage.math.washington.edu/home/burhanud/papers |
| Line 11: | Line 13: |
| * Wrapping Denis Simon's 2-descent | 1. Deciding whether the p-torsion group of the Q_p-rational points of an elliptic curve is non-trivial. ANTS VI Poster Abstracts. SIGSAM Bulletin, Volume 38, Number 3 September 2004 Issue 149. |
| Line 13: | Line 16: |
| * Dekinking some SAGE tab completion kinks | Abstract: This note describes an algorithm to decide whether an elliptic curve over Q_p has a non-trivial p-torsion part (# E(Q_p)[p] is not equal to 1) under certain assumptions. |
| Line 15: | Line 18: |
| * SAGE + Parallel http://sage.math.washington.edu/msri07 | http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.elliptic.curve.p-adic.torsion.pdf |
| Line 17: | Line 20: |
| * Mestre's method of graphs project which started at the MSRI Computing with Modular Forms workshop. | 2. Elliptic curve torsion points and division polynomials Computational Aspects of Algebraic Curves, T. Shaska (Ed.), Lecture Notes Series on Computing, 13 (2005), 13--37, World Scientific. Abstract: We present two algorithms - p-adic and l-adic - to determine E(Q)_{tors} the group of rational torsion points on an elliptic curve. Another algorithm we introduce is one which decides whether an elliptic curve over Q_p has a non-trivial p-torsion part and this comes into play in the p-adic torsion computation procedure. We also make some remarks about the discriminant of the m-division polynomial of an elliptic curve and the information it reveals about torsion points. http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.elliptic.curve.rational.torsion.pdf 3. Some computational problems motivated by the Birch and Swinnerton-Dyer conjecture, Ph.D. dissertation, University of Southern California, 2007. Abstract: This dissertation revolves around the BSD (Birch and Swinnerton-Dyer) conjecture for elliptic curves defined over the rational numbers, a famous problem that has been open for over forty years and one of the seven Millennium Prize problems. The BSD conjecture is considered to be the first nontrivial number theoretic problem put forth as a result of explicit machine computation --- in the late '50s at Cambridge University. The BSD conjecture relates the rank of the Mordell-Weil group, the group of rational points of an elliptic curve, a quantity which seems to be difficult to pin down, to the order of vanishing of the L-function of the elliptic curve at its central point. We make algorithmic and theoretical advances with regards to some of the terms appearing in the BSD formula, namely the sizes of the torsion subgroup and the Shafarevich-Tate group. Firstly, we introduce an algorithm to compute elliptic curve torsion subgroup. The randomized version of this procedure runs in expected time which is essentially linear in the number of bits required to write down the equation of the elliptic curve. Next, we discuss a conjecture of Hindry, who proposed a Brauer-Siegel type formula for elliptic curves. Driven by a suggestion of Hindry, we prove assuming standard conjectures that there are infinitely many elliptic curves with Shafarevich-Tate group of size about as large as the square root of the minimal discriminant of the curve. This improves on a result of de Weger. Thirdly, we consider certain quartic twists of an elliptic curve. We establish a reduction between the problem of factoring integers of a certain form and the problem of computing rational points on these twists. We illustrate that the size of Shafarevich-Tate group of these curves will make it computationally expensive to factor integers by computing rational points via the Heegner point method. Finally, we sketch existing algorithms that compute the quantities appearing in the BSD formula and introduce strategies to parallelize them. http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.dissertation.pdf 4. On projectively rational lifts of mod $7$ Galois representations, with Luis Dieulefait. JP Journal of Algebra, Number Theory and Applications, Volume 20, Issue 1, 109 -- 119, February 2011. Abstract: http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.mod.7.galois.representations.pdf 5. Elliptic curves with large Shafarevich-Tate group Abstract: We show that there exist infinitely many elliptic curves with Shafarevich-Tate group of order essentially as large as the the square root of the minimal discriminant assuming certain conjectures. This improves on a result of de Weger. http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.elliptic.curve.large.sha.pdf === Stuff I have worked/am working/plan to work on wrt to SAGE === * Doctoral dissertation [[http://www.sagemath.org/files/thesis/burhanuddin-thesis-2007.pdf]] * On the reducibility of Hecke polynomials over ZZ [[http://sage.math.washington.edu/home/burhanud/heckered/heckered.pdf]] * Mestre's method of graphs project which started at the [[http://modular.math.washington.edu/msri06|MSRI Computing with Modular Forms]] workshop. |
| Line 21: | Line 69: |
| slides from my talk http://sage.math.washington.edu/home/burhanud/msri_talk.pdf and | code http://sage.math.washington.edu/home/burhanud/SSMod/ssmod.py.txt |
| Line 23: | Line 71: |
| pictures from the conference http://sage.math.washington.edu/home/burhanud/msri06 and | slides http://sage.math.washington.edu/home/burhanud/msri_talk.pdf |
| Line 25: | Line 73: |
| code http://sage.math.washington.edu/home/burhanud/SSMod/ssmod.py.txt | pictures http://sage.math.washington.edu/home/burhanud/msri06 |
| Line 33: | Line 81: |
| * Thesis et al | |
| Line 35: | Line 82: |
| Research Statement http://sage.math.washington.edu/home/burhanud/job_app/ | * My research is pretty SAGEy Research Statement http://sage.math.washington.edu/home/burhanud/app11/restat11/iftikhar.burhanuddin.restat11.pdf === Old Stuff === * [[Talks| Make wikipage about Talks related to SAGE (plan)]] * Editing the SAGE programming guide in time for the release of sage-2.0 http://modular.math.washington.edu/sage/doc/html/prog/index.html * Editing the SAGE reference manual (and build process?) in time for the release of sage-2.0 (plan) http://sage.math.washington.edu/sage/doc/html/ref/index.html * Wrapping Denis Simon's 2-descent (plan) * Dekinking some SAGE tab completion kinks (plan) * SAGE + Parallel, The Problem Book (plan) http://sage.math.washington.edu/msri07 * [[http://modular.math.washington.edu/sage/apps/|Example Scripts]] CategoryHomepage |
I was a Program in Computing Assistant Adjunct Professor in the Department of Mathematics at UCLA (2007-2011) and am a SAGEvangelist (2005-).
Papers
http://sage.math.washington.edu/home/burhanud/papers
1. Deciding whether the p-torsion group of the Q_p-rational points of an elliptic curve is non-trivial. ANTS VI Poster Abstracts. SIGSAM Bulletin, Volume 38, Number 3 September 2004 Issue 149.
Abstract: This note describes an algorithm to decide whether an elliptic curve over Q_p has a non-trivial p-torsion part (# E(Q_p)[p] is not equal to 1) under certain assumptions.
http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.elliptic.curve.p-adic.torsion.pdf
2. Elliptic curve torsion points and division polynomials Computational Aspects of Algebraic Curves, T. Shaska (Ed.), Lecture Notes Series on Computing, 13 (2005), 13--37, World Scientific.
Abstract: We present two algorithms - p-adic and l-adic - to determine E(Q)_{tors} the group of rational torsion points on an elliptic curve. Another algorithm we introduce is one which decides whether an elliptic curve over Q_p has a non-trivial p-torsion part and this comes into play in the p-adic torsion computation procedure. We also make some remarks about the discriminant of the m-division polynomial of an elliptic curve and the information it reveals about torsion points.
http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.elliptic.curve.rational.torsion.pdf
3. Some computational problems motivated by the Birch and Swinnerton-Dyer conjecture, Ph.D. dissertation, University of Southern California, 2007.
Abstract: This dissertation revolves around the BSD (Birch and Swinnerton-Dyer) conjecture for elliptic curves defined over the rational numbers, a famous problem that has been open for over forty years and one of the seven Millennium Prize problems. The BSD conjecture is considered to be the first nontrivial number theoretic problem put forth as a result of explicit machine computation --- in the late '50s at Cambridge University. The BSD conjecture relates the rank of the Mordell-Weil group, the group of rational points of an elliptic curve, a quantity which seems to be difficult to pin down, to the order of vanishing of the L-function of the elliptic curve at its central point.
We make algorithmic and theoretical advances with regards to some of the terms appearing in the BSD formula, namely the sizes of the torsion subgroup and the Shafarevich-Tate group.
Firstly, we introduce an algorithm to compute elliptic curve torsion subgroup. The randomized version of this procedure runs in expected time which is essentially linear in the number of bits required to write down the equation of the elliptic curve.
Next, we discuss a conjecture of Hindry, who proposed a Brauer-Siegel type formula for elliptic curves. Driven by a suggestion of Hindry, we prove assuming standard conjectures that there are infinitely many elliptic curves with Shafarevich-Tate group of size about as large as the square root of the minimal discriminant of the curve. This improves on a result of de Weger.
Thirdly, we consider certain quartic twists of an elliptic curve. We establish a reduction between the problem of factoring integers of a certain form and the problem of computing rational points on these twists. We illustrate that the size of Shafarevich-Tate group of these curves will make it computationally expensive to factor integers by computing rational points via the Heegner point method.
Finally, we sketch existing algorithms that compute the quantities appearing in the BSD formula and introduce strategies to parallelize them.
http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.dissertation.pdf
4. On projectively rational lifts of mod 7 Galois representations, with Luis Dieulefait. JP Journal of Algebra, Number Theory and Applications, Volume 20, Issue 1, 109 -- 119, February 2011.
Abstract:
http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.mod.7.galois.representations.pdf
5. Elliptic curves with large Shafarevich-Tate group
Abstract: We show that there exist infinitely many elliptic curves with Shafarevich-Tate group of order essentially as large as the the square root of the minimal discriminant assuming certain conjectures. This improves on a result of de Weger.
http://sage.math.washington.edu/home/burhanud/papers/burhanuddin.elliptic.curve.large.sha.pdf
Stuff I have worked/am working/plan to work on wrt to SAGE
* Doctoral dissertation http://www.sagemath.org/files/thesis/burhanuddin-thesis-2007.pdf
* On the reducibility of Hecke polynomials over ZZ http://sage.math.washington.edu/home/burhanud/heckered/heckered.pdf
* Mestre's method of graphs project which started at the MSRI Computing with Modular Forms workshop.
- Check out:
* Implementing asymptotically fast elliptic curve rational torsion computation algorithms.
kurrently kludgey kode http://sage.math.washington.edu/home/burhanud/tor/tor.py.txt
algorithms http://modular.math.washington.edu/home/burhanud/volume.pdf
* My research is pretty SAGEy
Research Statement http://sage.math.washington.edu/home/burhanud/app11/restat11/iftikhar.burhanuddin.restat11.pdf
Old Stuff
* Make wikipage about Talks related to SAGE (plan)
* Editing the SAGE programming guide in time for the release of sage-2.0
* Editing the SAGE reference manual (and build process?) in time for the release of sage-2.0 (plan)
* Wrapping Denis Simon's 2-descent (plan)
* Dekinking some SAGE tab completion kinks (plan)
* SAGE + Parallel, The Problem Book (plan)