2,201 research outputs found
Generating Polynomials and Symmetric Tensor Decompositions
This paper studies symmetric tensor decompositions. For symmetric tensors,
there exist linear relations of recursive patterns among their entries. Such a
relation can be represented by a polynomial, which is called a generating
polynomial. The homogenization of a generating polynomial belongs to the apolar
ideal of the tensor. A symmetric tensor decomposition can be determined by a
set of generating polynomials, which can be represented by a matrix. We call it
a generating matrix. Generally, a symmetric tensor decomposition can be
determined by a generating matrix satisfying certain conditions. We
characterize the sets of such generating matrices and investigate their
properties (e.g., the existence, dimensions, nondefectiveness). Using these
properties, we propose methods for computing symmetric tensor decompositions.
Extensive examples are shown to demonstrate the efficiency of proposed methods.Comment: 35 page
Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification
In this paper, we are concerned with the problem of determining the existence
of multiple equilibria in economic models. We propose a general and complete
approach for identifying multiplicities of equilibria in semi-algebraic
economies, which may be expressed as semi-algebraic systems. The approach is
based on triangular decomposition and real solution classification, two
powerful tools of algebraic computation. Its effectiveness is illustrated by
two examples of application.Comment: 24 pages, 5 figure
Algorithmic Thomas Decomposition of Algebraic and Differential Systems
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, simplicity means triangularity, square-freeness and
non-vanishing initials. Differential simplicity extends algebraic simplicity
with involutivity. We build upon the constructive ideas of J. M. Thomas and
develop them into a new algorithm for disjoint decomposition. The given paper
is a revised version of a previous paper and includes the proofs of correctness
and termination of our decomposition algorithm. In addition, we illustrate the
algorithm with further instructive examples and describe its Maple
implementation together with an experimental comparison to some other
triangular decomposition algorithms.Comment: arXiv admin note: substantial text overlap with arXiv:1008.376
Thomas Decomposition of Algebraic and Differential Systems
In this paper we consider disjoint decomposition of algebraic and non-linear
partial differential systems of equations and inequations into so-called simple
subsystems. We exploit Thomas decomposition ideas and develop them into a new
algorithm. For algebraic systems simplicity means triangularity, squarefreeness
and non-vanishing initials. For differential systems the algorithm provides not
only algebraic simplicity but also involutivity. The algorithm has been
implemented in Maple
Basic Module Theory over Non-Commutative Rings with Computational Aspects of Operator Algebras
The present text surveys some relevant situations and results where basic
Module Theory interacts with computational aspects of operator algebras. We
tried to keep a balance between constructive and algebraic aspects.Comment: To appear in the Proceedings of the AADIOS 2012 conference, to be
published in Lecture Notes in Computer Scienc
Thomas decompositions of parametric nonlinear control systems
This paper presents an algorithmic method to study structural properties of
nonlinear control systems in dependence of parameters. The result consists of a
description of parameter configurations which cause different control-theoretic
behaviour of the system (in terms of observability, flatness, etc.). The
constructive symbolic method is based on the differential Thomas decomposition
into disjoint simple systems, in particular its elimination properties
The Differential Dimension Polynomial for Characterizable Differential Ideals
We generalize the differential dimension polynomial from prime differential
ideals to characterizable differential ideals. Its computation is algorithmic,
its degree and leading coefficient remain differential birational invariants,
and it decides equality of characterizable differential ideals contained in
each other
- …