Related papers: Computing a holonomic submodule of the partial Wey…
The image of a polynomial map is a constructible set. While computing its closure is standard in computer algebra systems, a procedure for computing the constructible set itself is not. We provide a new algorithm, based on algebro-geometric…
In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the…
This paper computes the integral homology of real flag manifolds associated with split real forms of classical and exceptional semisimple Lie algebras. Using the cellular homology provided by the Bruhat decomposition, we introduce a unified…
We define global Weyl modules for twisted loop algebras and analyze their high- est weight spaces, which are in fact isomorphic to Laurent polynomial rings in finitely many variables. We are able to show that the global Weyl module is a…
An arbitrary proper parabolic subalgebra ${\mathfrak p}$ of a simple complex Lie algebra ${\mathfrak g}$ induces an embedding ${\mathfrak g}\hookrightarrow \mathbb W_n$, and more generally an embedding ${\mathfrak g}\hookrightarrow \mathbb…
Solving a system of $m$ multivariate quadratic equations in $n$ variables over finite fields (the MQ problem) is one of the important problems in the theory of computer science. The XL algorithm (XL for short) is a major approach for…
In this paper, we propose an incremental algorithm for computing cylindrical algebraic decompositions. The algorithm consists of two parts: computing a complex cylindrical tree and refining this complex tree into a cylindrical tree in real…
Symbolic integration deals with the evaluation of integrals in closed form. We present an overview of Risch's algorithm including recent developments. The algorithms discussed are suited for both indefinite and definite integration. They…
Let G be a semi-simple simply connected group over complex numbers. In this paper we give a geometric definition of the (dual) Weyl modules over the group G[t] and show that their characters form an eigen-function of the lattice version of…
In this article, we present a constructive procedure for determining all ideals of the Borel subalgebra of a complex semisimple Lie algebra from its root system or, equivalently, its Dynkin diagram. The proposed algorithmic approach has…
Symbolic computation, powered by modern computer algebra systems, has important applications in mathematical reasoning through exact deep computations. The efficiency of symbolic computation is largely constrained by such deep computations…
In this note we consider setups in which variational objectives for Bayesian neural networks can be computed in closed form. In particular we focus on single-layer networks in which the activation function is piecewise polynomial (e.g.…
We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new…
Submodular functions are set functions mapping every subset of some ground set of size $n$ into the real numbers and satisfying the diminishing returns property. Submodular minimization is an important field in discrete optimization theory…
We give an explicit upper bound for the algebraic degree and an explicit lower bound for the absolute value of the minimum of a polynomial function on a compact connected component of a basic closed semialgebraic set when this minimum is…
This paper first propose a concept of Weyl double-measure pseudo-almost automorphic functions and examines their fundamental characteristics. Subsequently, employing fixed point theorems, we systematically investigate the existence and…
We investigate the category of finite-dimensional representations of twisted hyper loop algebras, i.e., the hyperalgebras associated to twisted loop algebras over finite-dimensional simple Lie algebras. The main results are the…
We present microwave experiments on the symmetry reduced 5-disk billiard studying the transition from a closed to an open system. The measured microwave reflection signal is analyzed by means of the harmonic inversion and the counting…
We translate the operations of polarization and depolarization from monomial ideals in a polynomial ring to abstract simplicial complexes. As a result, we explicitly describe the relation between the Koszul simplicial complex of a monomial…
A Weyl-Heisenberg frame for L^2(R) is a frame consisting of translates and modulates of a fixed function. In this paper we give necessary and sufficient conditions for this family to form a tight WH-frame. This allows us to write down…