descriptionComputer implementation of section 5 of my dissertation
homepage URLhttp://www.math.umd.edu/~sgilles
ownersgilles@umd.edu
last changeTue, 13 Apr 2021 00:58:14 +0000 (12 20:58 -0400)
content tags
add:
README
This is intended to be a readable implementation for section 5 of
https://arxiv.org/abs/2104.04941 , and to obtain numerical evidence.

You can construct Q for particular G, output the mutations defined by
section 5, and numerically verify that those mutations work. Perhaps
more relevantly, you can translate this implementation into whatever
system you'd prefer to actually work with.

Use it like

    s5 -g <group type> <command> [ -S <RNG seed> ] [ -f ]

where command is one of

    clav-quiver
    latex-quiver

    print-M

    print-murot
    print-muflip
    // print-muswap

    test-murot
    test-muflip
    // test-muswap

(muswap is currently unimplemented, because verifying it requires
transforming factorization coordinates between i and i^-1, which is
hard.)

The ‘-f’ flag is for “testing/printing Fast mutations”. It turns out
that much of the mutations for rotations and flips deal with permuting
vertices of the quiver, without applying any “interesting” rational
maps. If you are willing to incorporate these permutations into the
assignment maps between seed tori and Conf_k^*, then the mutations may
be shortened. This particular code does not benefit time-wise
significantly from this reduction, but you might find differently.

Examples:

    # Create the quiver for F4, and write it to QF4.clav
    s5 -g F4 clav-quiver > QF4.clav

    # Show the map M between Conf_3(G/N) and T_Q for E6
    s5 -g E6 print-M

    # Output murot for G2
    s5 -g G2 print-murot

    # Numerically check murot for B2, using seed 1 for the RNG
    s5 -g B2 test-murot -S 1

    # Numerically check muflip for E8, using the short mutation
    s5 -g E8 test-muflip -f
shortlog
2021-04-13 S. GillesPut reference to arXiv preprint in README.master
2021-03-15 S. GillesUpdate use of libquiver to handle std.option() for...
2021-02-19 S. GillesAlign Qdh with flip a bit better
2021-02-05 S. GillesAdjust muflip to agree with paper
2021-02-03 S. GillesMake it easier to adjust verification for positive...
2021-02-02 S. GillesAdjust murot definition to match paper; change ‘l’...
2020-12-14 S. GillesAdd bkl prediction (side tool)
2020-10-23 S. GillesRemove matrix{,-coords}.myr
2020-10-06 S. GillesInitial (split out from general work.git repo)
heads
3 years ago master