Proposed timeline for major data decisions
This week (June 08 workshop):
- Make preliminary upload format (directories and readme.txt) and specifications for online form to handle uploads. (this is mostly done)
- Make preliminary decisions for citation format.
- Discuss expectations for Technical Reports and refereeing data
- Discuss timeline
- Decide on next workshop
Shortly after first workshop:
- Someone creates upload form and writes software to handle the upload (William and Mike: is that under control?)
- People upload data to the system
- At this point many problems will be noticed; these can be addressed at the next workshop.
Later (maybe at next workshop):
- Data management group is formed to oversee the data upload process (where things are stored, how to handle multiple versions, etc).
- Serious organizational work begins on the wiki.
- Various other committees are formed (Editorial, etc)
- We start looking like a real organization that people will take seriously.
Data upload format
During the workshop we will discuss the format of the uploaded data and metadata. A preliminary template of the readme.txt file is ready for discussion.
David Farmer prepared some notes for our discussion on the citation format.
Links to data
On this page we will collect links to data that we wish to share. The data will be processed and put into our archive according to certain rules for how to present the files that were decided last summer. Don't worry about that here. The purpose of this page is a first step towards collecting data that we want to share.
You can add a link just by typing in the url, for example:
http://pmmac03.math.uwaterloo.ca/~mrubinst/L_function_public/ZEROS/
which is a preliminary list of zeros of some L-functions.
You can also make it look prettier with a bit of formatting:
(edit this page to see how that's done).
Add your links or ideas below:
Ideas from Noam Elkies:
- John Voight's tables of totally real number fields up to some discriminant bound, and of Shimura curves of genus 0, 1, or 2 (without quotients by w-involutions);
John Jones' and David Roberts' tables of number fields with given Galois group and only one ramified prime -- and now that I look it up online, several of the other entries in John's publication list at http://hobbes.la.asu.edu/papers.html belong there too;
- Lassina Dembele's Hilbert modular forms and some associated elliptic curves (and higher abelian varieties?);
and for that matter the first few curves D y^2 = x^3 - x of rank 5 (my joint work with Tom Fisher, which Mark Watkins is helping to extend from D=10^8 to D=10^9). Remark: Are the "congruence numbers" in #2 the same as the "congruent numbers" associated with the curves Dy^2 = x^3 - x? In that case the theta series (which arises in Tunnell's criterion) should be way easier than a generic ternary theta series because it factors as a product of one-dimensional thetas (one of which has alternating +1 and -1 signs).
From David Farmer: After the first workshop I created two sample data sets to test the format of the data and meta-data. These examples illustrate some of the issues we need to address:
http://www.aimath.org/~farmer/testdata1/ (zeros of the derivative of the Riemann zeta-function)
http://www.aimath.org/~farmer/testdata2/maass/ (small eigenvalues for \Gamma_0(N))
Some data from Stefan Lemurell and David Farmer:
Some data from David Farmer, Sally Koutsoliotas and Stefan Lemurell:
Some data from Holger Then:
Some data from Fredrik Strömberg
A collection of some small eigenvalues (for newforms) on \Gamma_0(N) with N<=30 (plus N=37). Squere-free levels has eigenvalues up to R=10 while square-full levels contain very few eigenvalues. The directory misses a file that will explains exactly which involutions has which eigenvalue. This will be added later.
Some data from Gonzalo TornarÃa:
with Henri Darmon Traces of Stark-Heegner points for elliptic curves of prime conductor and rank 1 (Nov 2007)
Data about the central values of the L-series of (imaginary and real) quadratic twists of elliptic curves (Jan 2004).
Table of Ternary Quadratic Forms. (up to level=1000, but it could and should be extended much farther).
(WRT the Stark-Heegner points, the traces computed correspond to real quadratic twists in the same way traces of classical Heegner points correspond to imaginary quadratic twists)
Icosahedral modular forms (by Arnaud Jehanne and Nils Skoruppa):
Siegel Hecke eigenforms of degree 2 and of weight 20 to 32 on the full Siegel modular group which are not Maass forms or Klingen Eisenstein series (by Nils Skoruppa):
Siegel cusp forms of degree 2 and of weight \le 50 on the full Siegel modular group which are Maass forms; coefficients for all binary forms [a,b,c] such that b^2-4ac \le 1000 (by Nils Skoruppa):
Siegel cusp forms of degree 2 and of weight \le 50 on the full Siegel modular group which are Maass forms; coefficients for all binary forms [a,b,c] such that b^2-4ac \le 10000 (by Nils Skoruppa):
The extremal Siegel modular form of degree 2 in weight k = 36 (by Nils Skoruppa):