All code
Download the complete source archive.
Project information
- Article
- Inequalities Characterizing Distinguished Unipotent Orbits
- Authors
- Alexander Bertoloni Meli, Teruhisa Koshikawa, and Jonathan Leake
- arXiv
- arXiv:2409.06006
This page collects the code and exceptional-group data used for the computer checks in the paper. The data files give, for each non-distinguished rho in each exceptional type, a Weyl group element whose associated score is non-positive.
Resources
Code
Scripts for checking rho-positivity and producing the non-positivity data.
Check positivity of a single rho
Parallel script for testing positivity for one rho.
Check distinguished rho for E8
Specialized script for the E8 distinguished-rho check.
Compute non-positivity data
Script used to generate the exceptional-type non-positivity files.
Non-positivity data
The readme explains the format of the files. Each data file begins with the relevant Dynkin diagram and node labels, followed by entries for non-distinguished rho values.
Data archive and readme
Download all exceptional-type data together, or read the format guide first.
Exceptional types
Individual non-positivity data files by type.
In the data files, the Weyl group element is represented both as a product of simple reflections and as a matrix; the score is given as a weighted sum of simple roots.