Related papers: A constructive method for decomposing real represe…
We give an algorithm for computing the irreducible admissible representations of a real reductive group with regular integral infinitesimal character. This algorithm has been implemented on a computer, as part of the Atlas of Lie Groups and…
$F-$Lie algebras are natural generalisations of Lie algebras (F=1) and Lie superalgebras (F=2). When $F>2$ not many finite-dimensional examples are known. In this paper we construct finite-dimensional $F-$Lie algebras $F>2$ by an inductive…
The Waring Problem over polynomial rings asks for how to decompose an homogeneous polynomial of degree $d$ as a finite sum of $d^{th}$ powers of linear forms. First, we give a constructive method to obtain a real Waring decomposition of any…
The Lie algebra version of the Krull-Schmidt Theorem is formulated and proved. This leads to a method for constructing the automorphisms of a direct sum of Lie algebras from the automorphisms of its indecomposable components. For…
In this paper, we discuss a method of constructing separable representations of the $C^*$-algebras associated to strongly connected row-finite $k$-graphs $\Lambda$. We begin by giving an alternative characterization of the…
We derive "numerical" criteria for the existence of embeddings of representations of finite dimensional algebras.
We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…
Local Fourier analysis is a strong and well-established tool for analyzing the convergence of numerical methods for partial differential equations. The key idea of local Fourier analysis is to represent the occurring functions in terms of a…
A way to construct (conjecturally all) simple finite dimensional modular Lie (super)algebras over algebraically closed fields of characteristic not 2 is offered. In characteristic 2, the method is supposed to give only simple Lie…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
The notion of double coset for semisimple finite dimensional Hopf algebras is introduced. This is done by considering an equivalence relation on the set of irreducible characters of the dual Hopf algebra. As an application formulae for the…
This paper describes a quantum algorithm for efficiently decomposing finite Abelian groups. Such a decomposition is needed in order to apply the Abelian hidden subgroup algorithm. Such a decomposition (assuming the Generalized Riemann…
This paper deals with the algorithmic aspects of solving feasibility problems of semidefinite programming (SDP), aka linear matrix inequalities (LMI). Since in some SDP instances all feasible solutions have irrational entries, numerical…
In this paper, we consider systems of algebraic and non-linear partial differential equations and inequations. We decompose these systems into so-called simple subsystems and thereby partition the set of solutions. For algebraic systems,…
Programming languages tend to evolve over time to use more and more concepts from theoretical computer science. Still, there is a gap between programming and pure mathematics. Not all theoretical results have realized their promising…
We present recent computer algebra methods that support the calculations of (multivariate) series solutions for (certain coupled systems of partial) linear differential equations. The summand of the series solutions may be built by…
This paper presents a novel algorithm for constructing a sum-of-squares (SOS) decomposition for positive semi-definite polynomials with rational coefficients. Unlike previous methods that typically yield SOS decompositions with…
In this work, we present a multiscale approach for the reliable coarse-scale approximation of spatial network models represented by a linear system of equations with respect to the nodes of a graph. The method is based on the ideas of the…
This article introduces a method, which starting from simple and quite general mathematical data, allows to construct linear algebras of operators which are, each of them, endowed with a bialgebra structure (coproduct and counity). Moreover…
The notion of quantum algebras is merged with that of Lie systems in order to establish a new formalism called Poisson-Hopf algebra deformations of Lie systems. The procedure can be naturally applied to Lie systems endowed with a symplectic…