Mjukvara för hantering av grassmanntal i Python och numeriskt bevis av CDSW-förmodan

Typ
Examensarbete för kandidatexamen
Program
Publicerad
2021
Författare
Golic, Alexandru
Hambraeus, David
Ismailov, Eli
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
I detta arbete presenteras mjukvara utvecklad i Python som genererar strukturkonstanterna för en godtycklig enkel kompakt liealgebra i Chevalley-basen. Dessutom presenteras mjukvara för att programmatiskt hantera polynom av grassmanntal. Mjukvaran används sedan i syfte att numeriskt bevisa en förmodan formulerad av Freddy Cachazo, Michael R. Douglas, Nathan Seiberg och Edward Witten, förkortad CDSW-förmodan, i [1]. Två olika metoder testades för att försöka bevisa förmodan, en baserad på projektion av ett polynom av grassmanntal på ett antal nollpolynom och en baserad på att hitta en specifik uppsättning grassmanntal som löser förmodan. Den första metoden fungerade och förmodan kunde numeriskt bevisas för den exceptionella gruppen G2 för första gången. Tidskomplexiteten för denna metod visades dock vara exponentiell och metoden kan ej användas för större grupper.
Beskrivning
Ämne/nyckelord
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material