A Prolog assisted search for new simple Lie algebras

DOI10.1090/MCOM/3889arXiv2207.01094MaRDI QIDQ6203472FDOQ6203472

George W. Stagg, David Cushing, David I. Stewart

Publication date: 28 February 2024

Published in: Mathematics of Computation (Search for Journal in Brave)

Abstract: We describe some recent computer investigations with the `Constraint Logic Programming over Finite Domains' -- CLP(FD) -- library in the Prolog programming environment to search for new simple Lie algebras over the field $GF(2)$ of $2$ elements. Motivated by a paper of Grishkov et. al., we specifically look for those with a `thin decomposition', and we settle one of their conjectures. We extrapolate from our results the existence of two new infinite families of simple Lie algebras, in addition to finding seven new sporadic examples in dimension $31$. We also better contextualise some previously discovered simple algebras, putting them into families which do not seem to have ever appeared in the literature, and give an updated table of those currently known.

Full work available at URL: https://arxiv.org/abs/2207.01094

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Simple, semisimple, reductive (super)algebras (17B20) Computational methods for problems pertaining to nonassociative rings and algebras (17-08)

Cites Work

• SWI-Prolog
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simple Lie algebras over fields of positive characteristic. II: Classifying the absolute toral rank two case
• Simple Lie algebras over fields of positive characteristic. I: Structure theory
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Simple Lie algebras over fields of positive characteristic. III: Completion of the classification
• On sentences which are true of direct unions of algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some new simple Lie algebras in characteristic 2
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inductive synthesis of functional programs. Universal planning, folding of finite programs, and schema abstraction by analogical reasoning.
• Foundations of programming languages
• On simple 15-dimensional Lie algebras in characteristic 2
• SICStus Prolog -- the first 25 years

Cited In (1)

• On the Drinfeld double of the restricted Jordan plane in characteristic 2

This page was built for publication: A Prolog assisted search for new simple Lie algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203472)