Related papers: Computing a holonomic submodule of the partial Wey…
We define global and local Weyl modules for Lie superalgebras of the form $\mathfrak{g} \otimes A$, where $A$ is an associative commutative unital $\mathbb{C}$-algebra and $\mathfrak{g}$ is a basic Lie superalgebra or $\mathfrak{sl}(n,n)$,…
The Weyl anomaly in the Holographic Renormalisation Group as implemented using Hamilton-Jacobi language is studied in detail. We investigate the breakdown of the descent equations in order to isolate the Weyl anomaly of the dual field…
A Gr\"obner basis computation for the Weyl algebra with respect to a tropical term order and by using a homogenization-dehomogenization technique is sufficiently sluggish. A significant number of reductions to zero occur. To improve the…
We propose an algebraic model of computation which formally relates symbolic listings, complexity of Boolean functions, and low depth arithmetic circuit complexity. In this model algorithms are arithmetic formula expressing symbolic…
In this paper we present an algorithmic procedure that transforms, if possible, a given system of ordinary or partial differential equations with radical dependencies in the unknown function and its derivatives into a system with polynomial…
A variety of problems emerged investigating electronic circuits, computer devices and cellular automata motivated a number of attempts to create a differential and integral calculus for Boolean functions. In the present article, we extend…
An algorithm for computing an analytic function of a matrix $A$ is described. The algorithm is intended for the case where $A$ has some close eigenvalues, and clusters (subsets) of close eigenvalues are separated from each other. This…
This work is concerned with extending the results of Calder\' on and Vaillancourt proving the boundedness of Weyl pseudo differential operators Op_h^{weyl} (F) in L^2(\R^n). We state conditions under which the norm of such operators has an…
This note presents the multivariate Hermite criterion: a practical and powerful algorithm for determining the number of distinct real and complex roots of a zero-dimensional system of polynomials in any finite number of variables. The final…
An algorithm is presented that formalizes different steps in a classical Supersymmetric (SUSY) calculation. Based on the algorithm Dill, a symbolic software package, that can perform the calculations, is developed in the Mathematica…
We prove a general estimate for the Weyl remainder of an elliptic, semiclassical pseudodifferential operator in terms of volumes of recurrence sets for the Hamilton flow of its principal symbol. This quantifies earlier results of Volovoy.…
Triangular decomposition is a classic, widely used and well-developed way to represent algebraic varieties with many applications. In particular, there exist sharp degree bounds for a single triangular set in terms of intrinsic data of the…
We propose a differential analog of the notion of integral closure of algebraic function fields. We present an algorithm for computing the integral closure of the algebra defined by a linear differential operator. Our algorithm is a direct…
We investigate weight modules for finite and infinite Weyl algebras, classifying all such simple modules. We also study the representation type of the blocks of locally-finite weight module categories and describe indecomposable modules in…
A monomial basis and a filtration of subalgebras for the universal enveloping algebra $U(g_l)$ of a complex simple Lie algebra $g_l$ of type $A_l$ is given in this note. In particular, a new multiplicity formula for the Weyl module…
The decomposition of representations of compact classical Lie groups into representations of finite subgroups is discussed. A Mathematica package is presented that can be used to compute these branching rules using the Weyl character…
Let V be a finite dimensional representation of the connected complex reductive group H. Denote by G the derived subgroup of H and assume that the categorical quotient of V by G is one dimensional. In this situation there exists a…
A function is differentially algebraic (or simply D-algebraic) if there is a polynomial relationship between some of its derivatives and the indeterminate variable. Many functions in the sciences, such as Mathieu functions, the Weierstrass…
Given a suitable ordering of the positive root system associated with a semisimple Lie algebra, there exists a natural correspondence between Verma modules and related polynomial algebras. With this, the Lie algebra action on a Verma module…
We consider the D-module defined as the push-forward of a rank one linear system on the complement of a central plane hyperplane arrangement, and calculate its decomposition series, using algebraic calculations in the Weyl algebra.