2,367 research outputs found
Toric Border Bases
We extend the theory and the algorithms of Border Bases to systems of Laurent
polynomial equations, defining "toric" roots. Instead of introducing new
variables and new relations to saturate by the variable inverses, we propose a
more efficient approach which works directly with the variables and their
inverse. We show that the commutation relations and the inversion relations
characterize toric border bases. We explicitly describe the first syzygy module
associated to a toric border basis in terms of these relations. Finally, a new
border basis algorithm for Laurent polynomials is described and a proof of its
termination is given for zero-dimensional toric ideals
Fast algorithm for border bases of Artinian Gorenstein algebras
Given a multi-index sequence , we present a new efficient algorithm
to compute generators of the linear recurrence relations between the terms of
. We transform this problem into an algebraic one, by identifying
multi-index sequences, multivariate formal power series and linear functionals
on the ring of multivariate polynomials. In this setting, the recurrence
relations are the elements of the kerne l\sigma of the Hankel operator
$H$\sigma associated to . We describe the correspondence between
multi-index sequences with a Hankel operator of finite rank and Artinian
Gorenstein Algebras. We show how the algebraic structure of the Artinian
Gorenstein algebra \sigma\sigma yields the
structure of the terms $\sigma\alpha N nAK[x 1 ,. .. , xnIHIA$ and the tables of multiplication by the variables in these
bases. It is an extension of Berlekamp-Massey-Sakata (BMS) algorithm, with
improved complexity bounds. We present applications of the method to different
problems such as the decomposition of functions into weighted sums of
exponential functions, sparse interpolation, fast decoding of algebraic codes,
computing the vanishing ideal of points, and tensor decomposition. Some
benchmarks illustrate the practical behavior of the algorithm
Gr\"obner Bases of Bihomogeneous Ideals generated by Polynomials of Bidegree (1,1): Algorithms and Complexity
Solving multihomogeneous systems, as a wide range of structured algebraic
systems occurring frequently in practical problems, is of first importance.
Experimentally, solving these systems with Gr\"obner bases algorithms seems to
be easier than solving homogeneous systems of the same degree. Nevertheless,
the reasons of this behaviour are not clear. In this paper, we focus on
bilinear systems (i.e. bihomogeneous systems where all equations have bidegree
(1,1)). Our goal is to provide a theoretical explanation of the aforementionned
experimental behaviour and to propose new techniques to speed up the Gr\"obner
basis computations by using the multihomogeneous structure of those systems.
The contributions are theoretical and practical. First, we adapt the classical
F5 criterion to avoid reductions to zero which occur when the input is a set of
bilinear polynomials. We also prove an explicit form of the Hilbert series of
bihomogeneous ideals generated by generic bilinear polynomials and give a new
upper bound on the degree of regularity of generic affine bilinear systems.
This leads to new complexity bounds for solving bilinear systems. We propose
also a variant of the F5 Algorithm dedicated to multihomogeneous systems which
exploits a structural property of the Macaulay matrix which occurs on such
inputs. Experimental results show that this variant requires less time and
memory than the classical homogeneous F5 Algorithm.Comment: 31 page
Stable normal forms for polynomial system solving
This paper describes and analyzes a method for computing border bases of a
zero-dimensional ideal . The criterion used in the computation involves
specific commutation polynomials and leads to an algorithm and an
implementation extending the one provided in [MT'05]. This general border basis
algorithm weakens the monomial ordering requirement for \grob bases
computations. It is up to date the most general setting for representing
quotient algebras, embedding into a single formalism Gr\"obner bases, Macaulay
bases and new representation that do not fit into the previous categories. With
this formalism we show how the syzygies of the border basis are generated by
commutation relations. We also show that our construction of normal form is
stable under small perturbations of the ideal, if the number of solutions
remains constant. This new feature for a symbolic algorithm has a huge impact
on the practical efficiency as it is illustrated by the experiments on
classical benchmark polynomial systems, at the end of the paper
Beyond Gr\"obner Bases: Basis Selection for Minimal Solvers
Many computer vision applications require robust estimation of the underlying
geometry, in terms of camera motion and 3D structure of the scene. These robust
methods often rely on running minimal solvers in a RANSAC framework. In this
paper we show how we can make polynomial solvers based on the action matrix
method faster, by careful selection of the monomial bases. These monomial bases
have traditionally been based on a Gr\"obner basis for the polynomial ideal.
Here we describe how we can enumerate all such bases in an efficient way. We
also show that going beyond Gr\"obner bases leads to more efficient solvers in
many cases. We present a novel basis sampling scheme that we evaluate on a
number of problems
Computational Methods for the Construction of a Class of Noetherian Operators
This paper presents some algorithmic techniques to compute explicitly the
noetherian operators associated to a class of ideals and modules over a
polynomial ring. The procedures we include in this work can be easily encoded
in computer algebra packages such as CoCoA and Singular
- …