This is the annual report for SCREMS.
William Stein:
Purchased and maintain the SCREMS cluster. Do research on elliptic
curves and modular forms using the SCREMS hardware. Creating and
sharing databases, and designing, implementing, testing, and
distributing free open source software as part of Sage using this
hardware.
2008-2009:
* computed all newforms of weight 2 and gamma0 level up to 3200, of
prime level up to 10000, and of various other weights and
characters.
* Created the http://sagenb.org that runs on this hardware and
allows people to use the Sage software over the web. This
supports computational work by many thousands of people.
* computed several additional terms for the Sloane sequence A164783
* Computation of torsion subgroups of modular abelian varieties
using new algorithm
* Computation of modular degrees and congruence moduli for joint
paper with Ribet and Agashe
* Computation of database of Brandt modules
* Tables of p-adic L-series and p-adic regulators needed to apply
Iwasawa theory to verification of the Birch and Swinnerton-Dyer
conjecture in specific cases.
2009-2010:
* Computed newforms up to level 5500 and weight 2
* Greatly expanded the power of http://sagenb.org; now there are
over 32,000 users.
* Major finding: Carried out the first ever computational
verification of Kolyvagin's conjecture (for several dozens curves)
-- this was a major computational project requiring hundreds of
hours of CPU time, done with help from Jennifer Balakrishnan.
* Major finding: Jointly with Sheldon Kamienny and Michael Stoll,
carried out a new computational classification of primes p such
that there is an elliptic curve over a quartic field with a
torsion point over order p. This extends Mazur's classical result
over QQ to all quartic fields.
* Did substantial work porting Sage to Microsoft Windows on the
SCREMS hardware.
* Publications:
* Heegner Points on Rank Two Elliptic Curves, preprint,
http://wstein.org/papers/kolyconj2/
* Toward a Generalization of the Gross-Zagier Conjecture,
International Mathematics Research Notices 2010; doi: 10.1093/imrn/rnq075
Robert Miller:
2008-2010:
* Computational verification of the BSD formula for 16725 curves/QQ
of rank 0 and 1 of conductor up to 5000.
* Publication: his Ph.D. thesis
* Web resources:
- a database of codes: http://rlmiller.org/de_codes/
- Large databases of Heegner indexes and other BSD data... (not online yet)
Minh Nguyen:
* Used the SCREMS hardware for developing and testing software for
cryptography education. The code is now part of the Sage standard library.
* Wrote an undergraduate honours thesis as listed at:
http://www.sagemath.org/library-publications.html
The thesis explicitly acknowledges my use of the Sage cluster in
developing and testing the code described in the thesis itself.
Jennifer Balakrishnan:
2008-2010:
* Computational verification of Kolyvagin's conjecture for a rank 3 curve
* Computation of p-adic L-series of Jacobians of hyperelliptic modular curves
* Computation of p-adic regulators of curves using techniques based on Coleman integration
* Everything going into my PhD thesis (2011) has been done on sage.math!
- Single Coleman integrals from non-Weierstrass/Weierstrass points on
hyperelliptic curves
- Local p-adic heights for hyperelliptic curves via Coleman integration
- double Coleman integrals on hyperelliptic curves
- experiments with the Chabauty method
* Major finding: fixed subtle error in Kim's nonabelian Chabauty method;
computations led to appendix/erratum to his original JAMS article
* Publications:
* "Explicit Coleman integration for hyperelliptic curves," ANTS IX
Proceedings, Springer LNCS 6197 (with Robert Bradshaw and Kiran
Kedlaya); explicitly acknowledged NSF support
* Appendix and erratum to "Massey products for elliptic curves of
rank 1" by Minhyong Kim (with Kiran Kedlaya and Minhyong Kim),
to appear in JAMS, acknowledged William Stein (but not NSF
explicitly).
Andrey Novoseltsev:
2009-2010:
* Relations between mirror maps for local Calabi-Yau manifolds and
their compactifications. This work (joint with Matthew Ballard,
Adrian Clingher, Charles Doran, Jacob Lewis) is related to the
Hodge Conjecture.
* Geometric transitions leading to the missing class in Doran-Morgan
classification of real variation of Hodge structure coming from
one-parameter families of Calabi-Yau manifolds (joint work with
Charles Doran and Jacob Lewis).
* In addition, the base framework for toric varieties was developed
and is now posted on Sage Trac with plans to merge it in the near
future and considerably improve the functionality by the end of
the summer.
* Publications: Results of another one were posted on arXiv and
accepted for publication in Contemporary Mathematics Proceedings
of AMS during the last year:
* "Closed form expressions for Hodge numbers of complete
intersection Calabi-Yau threefolds in toric varieties,"
Charles F. Doran, Andrey Y. Novoseltsev, arXiv:0907.2701v1
[math.CO], NSF support acknowledged.
David Kirkby:
Technical support personnel.
2009-2010:
* Fully ported Sage to Solaris. This was a major undertaking that
indirectly resulted in the porting of a large amount of standard
open source mathematics software and libraries to Solaris, which
makes them available to a wider range of users.
Birne Binegar:
Running computations related to representation theory (the ATLAS project).
2008-2009:
* Computed the Kazhdan-Lusztig-Vogan polynomials for all simple
complex Lie algebras, with the exception of complex E8, viewed as
real Lie algebras up to real rank 16. Computed the
Kazhdan-Lusztig-Vogan polynomials for SL(10,C) (real rank 20).
* Computed the W-graph structure for the set of irreducible
admissible representations of regular integral infinititesimal
character for the real forms of the simple real Lie groups up to
rank 8.
* Computed the Weyl group representations carried by the W-cells of
irreducible admissible representations of regular infinitesimal
character of the exceptional real Lie groups.
* Computed the associated varieties of the annihilators of
irreducible admissible representations of the exceptional real Lie
groups.
* Enumerated the set of irreducible admissible representations of
regular integral infinitesimal character of the exceptional real
groups and determined exactly when two irreducible admissible
representations of regular infinitesimal character share the same
primitive ideal.
2009-2010:
* I've computed the Kazhdan-Lusztig-Vogan polynomials for real
forms G_R of simple complex Lie groups up to rank 8. From this
data I've also computed, for each real form G_R, I've computed
- the W-graph structure of the set G_R^ of equivalence classes of
irreducible admissible representations of G_R with regular
integral infinitesimal character
- the partitioning of G_R^ into cells of irreducible
representations sharing the same associated variety
- the partitioning of G_R^ cells into subcells of representations
sharing the same infinitiesimal character
- the cell representations of the Weyl group carried by the cells
of G_R^ (via the coherent continuation action)
* Websites:
- www.math.okstate.edu/~binegar/research.html
- http://lie.math.okstate.edu/UMRK/UMRK.html
* Databases:
* Constructed a PostgreSQL database UMRK (Unipotent Muffin
Research Kitchen) which houses all sorts of computational data
concerning simple Lie algebras, their subalgebras, their Weyl
groups, and their real forms. This data is accessible online
via simple web query forms (see the second link listed above).
Chuck Doran:
Running computations related to geometry, including Picard-Fuchs
equations, families of curves and surfaces, tropical varieties, toric
ideals, Fano compactifications, and K3 surfaces.
Findings:
* Computing Picard-Fuchs equations of families of curves and surfaces
* Computing normal forms for anticanonical hypersurfaces in toric
Fano varieties
* Computing elliptic fibrations on toric K3 surfaces
* Computing tropical varieties
* Finding equations for elliptic space curves using invariant theory
* Constructed list of toric Fano compactifications of several
3-dimensional orbifolds
* Searched for 4-dimensional toric Fano varieties with special
properties
* Extensively tested and experimented with closed-form formulas for
Hodge numbers of complete intersections in toric varieties
* Found all torically induced elliptic fibrations of toric K3 surfaces
Michael Rubinstein:
Running computations related to computing zeros of L-functions.
* Verify the Riemann Hypothesis for the first few hundred zeros for
all L-functions associated to the 1/2 million elliptic curves in
Cremona's database, and millions of zeros for the first few dozen
elliptic curves.
* Verify the moment conjecture for quadratic Dirichlet L-functions
for |d| < 10^10 (I will eventually get to 10^11). To get up to X
is an O(X^{3/2}) computation, so this would not have been possible
without a modern and powerful multicore machine.
* As a platform on which to develop and test code for computing with
L-functions. Compiling goes really quick on mod.math and allows me
to work more efficiently.
Robert Bradshaw:
2009-2010:
* The "trillion triangles" congruent number search that made good
use of the hardware (made the popular press, and featured on the
NSF website).
* Computational verification of the Birch and Swinnerton-Dyer conjecture
to 10,000 bits for a rank-2 curve.
* Wrote a Ph.D. thesis on L-functions, using these machines.
* Wrote paper on Coleman integration too:
http://www.ants9.org/accepted.html .
Randall Rathbun:
2009-2010:
* Finding perfect parallelepipeds, and corresponding with Clifford
Reiter on this. Dr. Richard K Guy is being kept informed about
this project, which is a number theory question in section D18 of
UPINT, Diophantine Equations. Reiter has published, but I will
probably write a paper to Experimental Mathematics or some other
internet journal. I don't think anyone else is working on this,
and Clifford has acknowledged that the computer power has left
him in the dust so he appreciates the searches.
Marshall Hampton:
2009-2010:
Working on proving finiteness of central configurations in the
five-body problem in a certain generic sense.
* Computing Groebner bases for a celestial mechanics problem. The
amount of RAM on the SCREMS-purchased hardware is crucial for this;
he doesn't have any other comparable resources I could do those on.
Already these computations have given me a (computer-assisted)
proof of the finiteness of central configurations in the five-body
problem in a certain generic sense.
Fredrik Johansson:
Developing the mpmath library, which is an open source Python library
for computing special functions (and much more), which is important
for computing with L-functions and modular forms. This work was funded
by my NSF FRG DMS-0757627.
* During both Summer 2009 and Summer 2010, Fredrik developed the
mpmath Python library. Much of the testing and computation took
place on the computer cluster that was purchased with the current
SCREMS grant: Fredrik writes "Using multiprocessing, the time for
the new torture test suite (about which see blog) dropped from 11
minutes to 28 seconds (which could be even less by partitioning
the tests into smaller pieces). This is very handy!"
Fredrik's salary during this time is paid for by the PI's NSF
FRG DMS-0757627.
Fredrik Strömberg:
Fredrik is the world's leading expert in large scale computations with
Maass forms. He has done many computational projects using the SCREMS
hardware, in connection with the PI's NSF FRG DMS-0757627.
* Computation of vector-valued Poincare series for the Weil
representation with application to convolution-type L-series for
Siegel modular forms of genus 2 (joint with Nathan Ryan and Nils
Skoruppa)
* Have also computed more than 1500 examples of Maass waveforms
(with eigenvalues and at least 1000 Fourier coefficients) for
Gamma_0(N) with square-free N up to 119 and with >20 examples for
all N except 51 and 77 (where I have 12 and 13 examples)
* Major finding: Disproved a conjecture of Andrianov (for genus 2
and even weights between 20 and 30) by proving that the
convolution-type L-series of two "interesting forms" (i.e. not in
the Maass Spezialshar) is linearly independent from the Spinor
L-functions (of all Siegel forms in of the same genus and weight).
Sourav Sen Gupta:
Graduate student helping with computational projects related to
research of Stein.
* Computed the congruence graphs associated to modular abelian
varieties of level up to 500 and made a database.
Jacob Lewis:
Graduate student helping with computational projects related to the
research of Doran.
Georg Weber:
Weber is a number theory Ph.D. who works at a bank in Germany, who
does computations related to Stein's research project using the SCREMS
hardware, and also contributes to the Sage project.
* Computations of matrices of Hecke operators T_p for 'massive'
primes p (p > 10^10), e.g. for level N=53, using an algorithm he
developed.
Tom Boothby:
Systems administer of the SCREMS cluster, which involves physically
organizing the hardware, maintaining the operating system, and
managing users. Runs computations in support of Stein's research
projects. Developing Sage software (e.g., release management).
2008-2009:
* Computed analytic order of Shafarevich-Tate group of a rank 2
elliptic curve to 10,000 bits of precision.
* Compiled tables of data about newforms of level up to 10,000.
2009-2010:
* Computed modular symbols of weight 2 for conductor up to 5000,
extending previous computation by thousands of conductors -- also,
computed 10k Fourier coefficients for all modular forms of
conductor up to 4800, with computation ongoing.
* Extended table of Birch and Swinnerton-Dyer quantities for modular
abelian varieties to conductor 300 (computation ongoing).
* Computed discriminants of Hecke algebras of weight 2 modular forms
for level up to 1000, and factored all but two particularly tough
ones, extending previous table whose conductor bound was 389.
* Computed component group of J0(N)(R) for N up to 1000, extending
previous table by 500.
* Implemented record-breaking algorithm to multiply matrices of
characteristic 3 to be included in Sage project.
* Implemented graph genus algorithm, greatly improving on previous
implementation in Sage.
Martin Albrecht:
Cryptography graduate student in London who frequently collaborates
with Stein on the Sage software, and makes extensive use of the SCREMS
hardware.
2008-2009:
* Experimentally verified the behaviour of algebraic-differential
cryptanalysis against the block cipher PRESENT.
* Broke the key predistribution scheme of Zhang et al. from MobiHoc
2007 for practical parameters
2009-2010:
* Developed, tested and benchmarked fastest dense matrix
decomposition over GF(2)
* Developed and tested algorithm for solving polynomial systems with
noise
* Experimentally verified an attack against "Perturbation Based"
crypto systems
* Experimentally verified hybrid attack strategies against block
ciphers
* Papers:
* Martin Albrecht and Clément Pernet. Efficient Decomposition of
Dense Matrices over GF(2), accepted for presentation at ECrypt
Workshop on Tools for Cryptanalysis 2010. available locally and
on bitbucket. 2010.
* Martin Albrecht and Carlos Cid. Cold Boot Key Recovery using
Polynomial System Solving with Noise (extended abstract)
accepted for presentation at 2nd International Conference on
Symbolic Computation and Cryptography. 2010.
* Martin Albrecht, Carlos Cid, Thomas Dullien, Jean-Charles
Faugère and Ludovic Perret. Algebraic Precomputations in
Differential Cryptanalysis accepted for presentation at ECrypt
Workshop on Tools for Cryptanalysis 2010. 2010.
* Martin Albrecht, Craig Gentry, Shai Halevi and Jonathan
Katz. Attacking Cryptographic Schemes Based on "Perturbation
Polynomials" in Proceedings of the 16th ACM Conference on
Computer and Communications Security. pre-print available at
http://eprint.iacr.org/2009/098. 2009.
* Martin Albrecht, Algorithmic Algebraic Techniques and their
Application to Block Cipher Cryptanalysis, PhD thesis,
submission date: July 2010
* Web sites:
* http://m4ri.sagemath.org and
* http://www.bitbucket.org/malb/algebraic_attacks
* Software:
* The M4RI library and http://www.bitbucket.org/malb/algebraic_attacks
Gonzalo Tornaria:
Mathematics researcher who has computed state-of-the-art
data about specific modular forms using cutting edge techniques that
push the SCREMS hardware to its limits. He also attends many of the
workshops related to this grant.
2008-2009:
* computed the 12 series for the weight 3/2 lift of 36A each to 10^10 places
* computed the congruent numbers up to 2e10, assuming BSD (this has
since been recently been pushed to 10^12).
Dan Drake:
Mathematics researcher doing combinatorics who frequently
contributes to the Sage project.
* counted binary matrices that square to zero to correct a mistake
in the Online Encyclopedia of Integer Sequences, sequence A001147
Mark Watkins:
Postdoc who is working on computations involving computing large
numbers of coefficients of modular forms in support of the number
theory research projects.
* Has done numerous computations using the SCREMS hardware that took
advantage of the huge RAM available on these computers. E.g., work
on the congruent number problem, tables of L-functions and data about
elliptic curves, etc.
Craig Citro
Postdoc working on computations involving databases of modular forms.
Ondrej Certik
Graduate student developing software and testing code for the
FEMhub open source finite element method library (http://femhub.org/).
-----
ACTIVITIES:
The goal of this project is to collect data about L-functions and
modular forms, compute new data about objects at the crossroads of
geometry and mathematical physics, compute data about representations
of Lie groups, and support the Sage mathematical software project.
All involved groups have carried out numerous substantial computations
on the SCREMS hardware, the Sage software project has undergone
massive growth and testing using this hardware, and public web pages,
databases, wikis, and interactive online computations.
FINDINGS:
We have obtained large new databases of modular forms, verified
predictions of the Generalized Riemann Hypothesis in many new cases,
computed new invariants of Lie groups, and developed and tested state
of the art algorithms in number theory and cryptography. Below we
give a long (but non-comprehensive) list of specific findings in
different areas. This SCREMS grant resulted in the purchase of a lot
of powerful computers, with about 180 users, many who are computing
things that aren't all reported.
[Here I copied all the findings bullet points from above for people.]
Training and Development:
Because the SCREMS-purchased computers are very high end, with
24-processing cores each, several people who have worked on the
project have become much more adept at parallel computing. Also,
general software engineering skills have been enhanced for dozens of
mathematicians, by working on the Sage math software system. Also,
the free open source software that we are developing on this hardware
is being used by thousands of mathematicians to help with their
research (we have about 5000 downloads of Sage per month).
Outreach:
The Sage project -- which is developed and hosted on this SCREMS
hardware -- does creative community outreach. For example, Stein has
given internal talks to Sun Microsystems and Boeing about the Sage
project, and recently ran many workshops on the use of Sage that used
the SCREMS hardware during the workshop -- e.g., one was in in
Barcelona, Spain and another was at a regional MAA meeting in
Washington State.
The public Sage notebook server (http://sagenb.org) is available to
anybody in the world to use, and provides the full power of Sage.
This SCREMS hardware is critically important to making that server
available.
Contributions within Discipline – What?
Using the SCREMS-funded hardware, we have computed data in number
theory, geometry, and representation that will provide a basis for
much future research. We have also developed much new software in
these research areas that will be used by researchers.
Contributions to Other Disciplines
The Sage software, which we develop and share using the SCREMS-funded
hardware, is a contribution to all areas of mathematics.
Much of the data we've computed about zeros of L-functions is of
potential relevance in physics (e.g., quantum dynamics), as is the
data about representations of Lie groups.
Contributions to Human Resource Development
Students who have contributed to the Sage project or worked on the
research computations that have been done on this hardware, have often
learned advanced software engineering techniques. Since so many
people contribute to the Sage project (at this point, over 200, mostly
grad students), we are in fact training a whole generation of
mathematicians to be significantly more sophisticated at mathematical
software engineering.
Contributions to Resources for Research and Education
The databases and wiki's that come out of this project are freely
available resources for students and researchers around the world.
==============================================
==============================================
Exactly what actually got submitted:
Project Reporting ANNUAL REPORT FOR AWARD # 0821725
U of Washington
SCREMS: The Computational Frontiers of Number Theory, Representation Theory, and Mathematical Physics
Participant Individuals:
CoPrincipal Investigator(s) : Birne T Binegar; Charles F Doran; Michael Rubinstein
Graduate student(s) : Fredrik Johansson
Other -- specify(s) : Georg S Weber
Graduate student(s) : Sourav Sen Gupta; Jacob Lewis
Senior personnel(s) : Marshall Hampton
Graduate student(s) : Tom Boothby; Martin Albrecht
Senior personnel(s) : Gonzalo Tornaria; Dan Drake; Mark Watkins
Post-doc(s) : Craig Citro
Partner Organizations:
Other collaborators:
There are dozens of people -- too numerous to list -- who make use of
the SCREMS hardware in various ways who were not listed above, and some
contribute directly to the SCREMS proposed project goals.
Activities and findings:
Research and Education Activities:
The goal of this project is to collect data about L-functions and modular
forms, compute new data about objects at the crossroads of geometry and
mathematical physics, compute data about representations of Lie groups,
and support the Sage mathematical software project.
All involved groups have carried out numerous substantial computations
on the SCREMS hardware, the Sage software project has undergone massive
growth and testing using this hardware, and public web pages, databases,
wikis, and interactive online computations.
Findings:
We have obtained large new databases of modular forms, verified predictions
of the Generalized Riemann Hypothesis in many new cases, computed new
invariants of Lie groups, and developed and tested state of the art algorithms
in number theory and cryptography. Below we give a long (but non-comprehensive)
list of specific findings in different areas. This SCREMS grant resulted
in the purchase of a lot of powerful computers, with about 180 users,
many who are computing things that aren't all reported.
STEIN:
* computed all newforms of weight 2 and gamma0 level up to 3200, of
prime level up to 10000, and of various other weights and
characters.
* Created the http://sagenb.org that runs on this hardware and
allows people to use the Sage software over the web. This
supports computational work by many thousands of people.
* computed several additional terms for the Sloane sequence A164783
* Computation of torsion subgroups of modular abelian varieties
using new algorithm
* Computation of modular degrees and congruence moduli for joint
paper with Ribet and Agashe
* Computation of database of Brandt modules
* Tables of p-adic L-series and p-adic regulators needed to apply
Iwasawa theory to verification of the Birch and Swinnerton-Dyer
conjecture in specific cases.
BINEGAR:
* Computed the Kazhdan-Lusztig-Vogan polynomials for all simple
complex Lie algebras, with the exception of complex E8, viewed as
real Lie algebras up to real rank 16. Computed the
Kazhdan-Lusztig-Vogan polynomials for SL(10,C) (real rank 20).
* Computed the W-graph structure for the set of irreducible
admissible representations of regular integral infinititesimal
character for the real forms of the simple real Lie groups up to
rank 8.
* Computed the Weyl group representations carried by the W-cells of
irreducible admissible representations of regular infinitesimal
character of the exceptional real Lie groups.
* Computed the associated varieties of the annihilators of
irreducible admissible representations of the exceptional real Lie
groups.
* Enumerated the set of irreducible admissible representations of
regular integral infinitesimal character of the exceptional real
groups and determined exactly when two irreducible admissible
representations of regular infinitesimal character share the same
primitive ideal.
DORAN/LEWIS:
* Computing Picard-Fuchs equations of families of curves and surfaces
* Computing normal forms for anticanonical hypersurfaces in toric
Fano varieties
* Computing elliptic fibrations on toric K3 surfaces
* Computing tropical varieties
* Finding equations for elliptic space curves using invariant theory
* Constructed list of toric Fano compactifications of several
3-dimensional orbifolds
* Searched for 4-dimensional toric Fano varieties with special
properties
* Extensively tested and experimented with closed-form formulas for
Hodge numbers of complete intersections in toric varieties
* Found all torically induced elliptic fibrations of toric K3 surfaces
RUBINSTEIN:
* Verify the Riemann Hypothesis for the first few hundred zeros for
all L-functions associated to the 1/2 million elliptic curves in
Cremona's database, and millions of zeros for the first few dozen
elliptic curves.
* Verify the moment conjecture for quadratic Dirichlet L-functions
for |d| < 10^10 (I will eventually get to 10^11). To get up to X
is an O(X^{3/2}) computation, so this would not have been possible
without a modern and powerful multicore machine.
* As a platform on which to develop and test code for computing with
L-functions. Compiling goes really quick on mod.math and allows me
to work more efficiently.
HAMPTON:
* Computing Groebner bases for a celestial mechanics problem. The
amount of RAM on the SCREMS-purchased hardware is crucial for this;
he doesn't have any other comparable resources I could do those on.
Already these computations have given me a (computer-assisted)
proof of the finiteness of central configurations in the five-body
problem in a certain generic sense.
JOHANSSON:
* During Summer 2009, Fredrik developed the mpmath Python library.
Much of the testing and computation took place on the computer
cluster that was purchased with the current SCREMS grant: Fredrik
writes 'Using multiprocessing, the time for the new torture test
suite (about which see blog) dropped from 11 minutes to 28 seconds
(which could be even less by partitioning the tests into smaller
pieces). This is very handy!'
GUPTA:
* Computed the congruence graphs associated to modular abelian
varieties of level up to 500 and made a database.
WEBER:
* Computations of matrices of Hecke operators T_p for 'massive'
primes p (p > 10^10), e.g. for level N=53, using an algorithm he
developed.
BOOTHBY:
* Computed analytic order of Shafarevich-Tate group of a rank 2
elliptic curve to 10,000 bits of precision.
* Compiled tables of data about newforms of level up to 10,000.
ALBRECHT:
* Experimentally verified the behaviour of algebraic-differential
cryptanalysis against the block cipher PRESENT.
* Broke the key predistribution scheme of Zhang et al. from MobiHoc
2007 for practical parameters
TORNARIA/HARVEY/BRADSHAW/WATKINS/HART:
* computed the 12 series for the weight 3/2 lift of 36A each to 10^10
places
* computed the congruent numbers up to 10^12, assuming BSD (this is
an major accomplishment that will likely lead to substantial publicity).
DRAKE:
* counted binary matrices that square to zero to correct a mistake
in the Online Encyclopedia of Integer Sequences, sequence A001147
Training and Development:
Because the SCREMS-purchased computers are very high end, with
24-processing cores each, several people who have worked on the
project have become much more adept at parallel computing. Also,
general software engineering skills have been enhanced for dozens of
mathematicians, by working on the Sage math software system. Also,
the free open source software that we are developing on this hardware
is being used by thousands of mathematicians to help with their
research (we have about 5000 downloads of Sage per month).
Outreach Activities:
The Sage project -- which is developed and hosted on this SCREMS
hardware -- does creative community outreach. For example, Stein has
given internal talks to Sun Microsystems and Boeing about the Sage
project, and recently ran many workshops on the use of Sage that used
the SCREMS hardware during the workshop -- e.g., one was in in
Barcelona, Spain and another was at a regional MAA meeting in
Washington State.
The public Sage notebook server (http://sagenb.org) is available to
anybody in the world to use, and provides the full power of Sage.
This SCREMS hardware is critically important to making that server
available.
Journal Publications:
Book(s) of other one-time publications(s):
Other Specific Products:
The hardware is valuable for hosting Cython, MPIR, M4RI, etc. as well as all the Sage stuff.
Contributions:
Contributions within Discipline:
Using the SCREMS-funded hardware, we have computed data in number
theory, geometry, and representation that will provide a basis for
much future research. We have also developed much new software in
these research areas that will be used by researchers.
Contributions to Other Disciplines:
The Sage software, which we develop and share using the SCREMS-funded
hardware, is a contribution to all areas of mathematics.
Much of the data we've computed about zeros of L-functions is of potential
relevance in physics (e.g., quantum dynamics), as is the data about representations
of Lie groups.
Contributions to Education and Human Resources:
Students who have contributed to the Sage project or worked on the
research computations that have been done on this hardware, have often
learned advanced software engineering techniques. Since so many
people contribute to the Sage project (at this point, over 200, mostly
grad students), we are in fact training a whole generation of
mathematicians to be significantly more sophisticated at mathematical
software engineering.
Contributions to Resources for Science and Technology:
The databases and wiki's that come out of this project are freely
available resources for students and researchers around the world.
*** 2009 - 2010 ***