| Frontiers of reality in Schubert calculus |
Goal: Use large-scale computation to study questions in the Schubert calculus,
with a focus on generalizations of the Shapiro conjecture.
|
 |
Advisor:
Frank
Sottile
Postdocs:
Chris
Hillar, Zach
Teitler
Graduate Students: Corey
Irving, Abraham
Martin del Campo, Nick Hein
Emeritus Members:
Luis Garcia-Puente, Sam Houston State University,
Jim Ruffo, SUNY-Oneonta
Team
Calendar (created by Abraham)
|
 |
General
Meeting time: Friday
10-12, Milner 317
|
 |
Downloads:
Database
with very few G(6,3) problems. Works with new singcomputer.pl
code (April 11, 2008)
Database
with G(6,3) problems for new project (update Mar
31, 2008)
Large
Database with old project (update October
15, 2007)
Basic dynamic first
page of old site
Preliminary dynamic second
page of old site
(You must rename all the
above PHP files by adding ".php")
OVERLAP
NUMBER (from Frank's site)
New versions of
indivproblemview.php (add .php)
problemview.php (add .php)
schubert.lib
singcomputer.pl (add .pl)
points.master
(2) Single Computer
Program Manager
Download the following ZIP file: secantprojectmar26.zip
Unzip the file into the directory that you would
like to start computations in.
You should find a file singcomputermar26.pl.
You will need to change the database code at the
beginning and also the link to singular: it is
/sw/bin/Singular, and you will need to change
it to just Singular.
Next, load the database file
AllG36ExpProject_dump01.04.2008.sql
into your mySQL database (into a blank new dbase
called ExpProject dbase).
You will also find a directory ExpProject.
This is a perl module with special functions that
the main perl file will use. To activate it, you
need to go into the directory and type
perl Makefile.PL
make
make install
You might need to use sudo if
the permissions are not correct.
To run the code,
simply type:
singcomputermar26.pl -n1
The -n1 signifies that you would
like to run 1 pass through the algorithm. If you
type -n0 then this will run through
the entire database.
IMPORTANT: To reset ("flush") the database
to its initial state before making another computation,
you should try and run the file as:
singcomputermar26.pl -n1 -f
If you would like to see the temporary files (e.g.
the program will not delete them when it is done),
use the -dd option.
If you would like to send the visual MAPLE and
SINGULAR output to
/dev/null then use the option -dn
as in
singcomputermar26.pl -n1 -dn
Finally, if you would like to see the results
of all the computations, you should use the PHP
files located in the putinlocahostwebdir
directory. As the folder name says, to access
them, you need to put these php files (all three
of them) into your localhost web directory. Then
you simply go to your localhost through a browser
and try to access problemview.php.
---------------
WHAT TO DO NEXT
----------------
Well, this is where everyone else is going to
need to get involved. I
cannot keep maintaining such a large project alone.
People are going to need to step up to the plate
here and learn what is going on.
1. Getting a full featured PHP display for the
data (instead of the crude
one I have going).
2. Filling the database with all of the PROBLEMS
that we would like to
compute
3. Tweaking the design of the computation
4. Eventually working on being able to use necklace
information (for
non-grassmanian problems).
5. Getting this all to work on the CalcLab computers
6. Writing up a document that describes all aspects
of this code
(Note: to get Perl to work with the MySQL database,
you might need to install the DBI-1.54
module for Perl. )
(3) SINGULAR code to compute Schubert problems
4l.tgz
(4) Some PERL assignments for people
permwalking
| nextperm.perl
(lex walking through perms)
new
crossing number algorithm in Perl
|
 |
Working:
(1) Real Root Speed testing.
Some comparisons with largeish polynomials (on
my MAC laptop).
57-2637.sing
| 3m20.295s
57.2637.maple
| 5s
57-2638.sing
| 3m22.769s
57.2638.maple
| 8s
As we can see, Maple kicks SINGULAR's behind
on this.
(2) Testing of the secant conjecture using both
maple and singular
(maple script) secant.maple
(shell script to use with above) secantshell
(3) Luis's code to compute the
eliminant using linear algebra | charpolycode.sing
|
 |

|
| Chris
Hillar |
|
> Events
|
 |
| Quick References: |
 |
> Important Books |
 |
> Important Articles
| |
Sottile. The conjectures of Shapiro and Shapiro
(web article) |
|
| |
Sottile, Real Schubert Calculus: Polynomial systems and a conjecture of Shapiro and
Shapiro, Experimental Mathematics, 9, No. 2 (2000), 161-182. |
|
| |
Sottile. Enumerative Real Algebraic Geometry
(web article) |
|
| |
Ruffo, Sivan, Soprunova, Sottile, Experimentation and conjectures in the real Schubert
calculus for flag manifolds, Experimental Mathematics, 15, No. 2 (2006), 199-221. |
| |
|
| |
|
| |
|
|
|
|