English
Related papers

Related papers: Completeness classes in algebraic complexity theor…

200 papers

Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…

Logic · Mathematics 2022-01-05 George Metcalfe , Luca Reggio

These notes provide a concise introduction to the representation theory of reductive algebraic groups in positive characteristic, with an emphasis on Lusztig's character formula and geometric representation theory. They are based on the…

Representation Theory · Mathematics 2020-05-01 Joshua Ciappara , Geordie Williamson

In this exposition we discuss the theory of algebraic extensions of valued fields. Our approach is mostly through Galois theory. Most of the results are well-known, but some are new. No previous knowledge on the theory of valuations is…

Commutative Algebra · Mathematics 2014-04-16 Michiel Kosters

We give a brief introduction to (upper) cluster algebras and their quantization using examples. Then we present several important families of bases for these algebras using topological models. We also discuss tropical properties of these…

Representation Theory · Mathematics 2021-11-19 Fan Qin

This paper aims to introduce the concept of nilpotency and capability in multiplicative Lie algebras. Also, we see the existence of covers of a multiplicative Lie algebra and thoroughly examine their relationships with capable and perfect…

Group Theory · Mathematics 2023-05-30 Amit Kumar , Mani Shankar Pandey , Sumit Kumar Upadhyay

One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In this paper, we propose an extension for this method to…

Symbolic Computation · Computer Science 2023-06-30 Philipp Bär , Jasper Nalbach , Erika Ábrahám , Christopher W. Brown

This is the first draft of a set of lecture notes developed for one-half of a seminar on two approaches to the notion of "Abelian", namely those of universal algebra, and of category theory. The half pertaining to the universal-algebraic…

Rings and Algebras · Mathematics 2013-09-04 Peter Ouwehand

This paper gives an overview of some basic properties of Leibniz algebras. Some of the results were known earlier, but in the article they are accompanied by new simple proofs. Some of the results are new. The article can be viewed as a…

Rings and Algebras · Mathematics 2013-03-04 V. V. Gorbatsevich

In combinatorics on words, a classical topic of study is the number of specific patterns appearing in infinite sequences. For instance, many works have been dedicated to studying the so-called factor complexity of infinite sequences, which…

Combinatorics · Mathematics 2024-10-04 Pierre Popoli , Jeffrey Shallit , Manon Stipulanti

We present a method for the implicitization problem that goes back to the work of Sederberg and Chen. The formalism we use, with approximation complexes as a key ingredient, is due to Jean-Pierre Jouanolou and was explained in details in…

Commutative Algebra · Mathematics 2007-05-23 Marc Chardin

We survey results in algebraic complexity theory, focusing on matrix multiplication. Our goals are (i.) to show how open questions in algebraic complexity theory are naturally posed as questions in geometry and representation theory, (ii.)…

Computational Complexity · Computer Science 2007-05-23 J. M. Landsberg

These lecture notes formed the basis of a mini-course on algebraic quantum field theory presented at the Bootstrap 2024 conference in Madrid. The goal of the notes is to explain the merits of algebraic quantum field theory to a broad…

High Energy Physics - Theory · Physics 2024-08-16 Jonathan Sorce

Weihrauch complexity is now an established and active part of mathematical logic. It can be seen as a computability-theoretic approach to classifying the uniform computational content of mathematical problems. This theory has become an…

Logic · Mathematics 2023-02-09 Vasco Brattka

In this paper we discuss large cardinals and compactness theorems in abelian group theory. More specifically, we generalize two classical compactness results for free abelian groups to the broader context of direct sums of cyclic groups.

Logic · Mathematics 2025-08-26 Filippo Calderoni , Ava Ostrem

We give a general notion of combinatory completeness with respect to a faithful cartesian club and use it systematically to obtain characterisations of a number of different kinds of applicative system. Each faithful cartesian club…

Category Theory · Mathematics 2026-02-10 Ivan Kuzmin , Chad Nester , Ülo Reimaa , Sam Speight

We study formal languages which are capable of fully expressing quantitative probabilistic reasoning and do-calculus reasoning for causal effects, from a computational complexity perspective. We focus on satisfiability problems whose…

Artificial Intelligence · Computer Science 2023-05-17 Benito van der Zander , Markus Bläser , Maciej Liśkiewicz

The authors of this article intend to present some results obtained in the study of biderivations of complete Lie algebras. Firstly they present a matricial approach to do this, which was a useful and explanatory tool not only in the study…

Rings and Algebras · Mathematics 2023-08-01 Alfonso Di Bartolo , Gianmarco La Rosa

This is a short review of the algebraic properties of Clifford algebras and spinors. Their use in the description of fundamental physics (elementary particles) is also summarized. Lecture given at the ICCA7 conference, Toulouse (23/05/2005)

Mathematical Physics · Physics 2018-09-12 Robert Coquereaux

These are lectures notes for the introductory graduate courses on geometric complexity theory (GCT) in the computer science department, the university of Chicago. Part I consists of the lecture notes for the course given by the first author…

Computational Complexity · Computer Science 2014-08-02 Ketan D. Mulmuley , Milind Sohoni

A finite-dimensional Lie algebra is called an A-algebra if all of its nilpotent subalgebras are abelian. These arise in the study of constant Yang-Mills potentials and have also been particularly important in relation to the problem of…

Rings and Algebras · Mathematics 2019-06-04 David A. Towers