217 research outputs found
Generalized Binomial Edge Ideals
This paper studies a class of binomial ideals associated to graphs with
finite vertex sets. They generalize the binomial edge ideals, and they arise in
the study of conditional independence ideals. A Gr\"obner basis can be computed
by studying paths in the graph. Since these Gr\"obner bases are square-free,
generalized binomial edge ideals are radical. To find the primary decomposition
a combinatorial problem involving the connected components of subgraphs has to
be solved. The irreducible components of the solution variety are all rational.Comment: 6 pages. arXiv admin note: substantial text overlap with
arXiv:1110.133
Numerical Algebraic Geometry: A New Perspective on String and Gauge Theories
The interplay rich between algebraic geometry and string and gauge theories
has recently been immensely aided by advances in computational algebra.
However, these symbolic (Gr\"{o}bner) methods are severely limited by
algorithmic issues such as exponential space complexity and being highly
sequential. In this paper, we introduce a novel paradigm of numerical algebraic
geometry which in a plethora of situations overcomes these short-comings. Its
so-called 'embarrassing parallelizability' allows us to solve many problems and
extract physical information which elude the symbolic methods. We describe the
method and then use it to solve various problems arising from physics which
could not be otherwise solved.Comment: 36 page
Computing the canonical representation of constructible sets
Constructible sets are needed in many algorithms of Computer Algebra, particularly in the GröbnerCover and other algorithms for parametric polynomial systems. In this paper we review the canonical form ofconstructible sets and give algorithms for computing it.Peer ReviewedPostprint (author's final draft
On Computing the Elimination Ideal Using Resultants with Applications to Gr\"obner Bases
Resultants and Gr\"obner bases are crucial tools in studying polynomial
elimination theory. We investigate relations between the variety of the
resultant of two polynomials and the variety of the ideal they generate. Then
we focus on the bivariate case, in which the elimination ideal is principal. We
study - by means of elementary tools - the difference between the multiplicity
of the factors of the generator of the elimination ideal and the multiplicity
of the factors of the resultant.Comment: 7 page
A Direttissimo Algorithm for Equidimensional Decomposition
We describe a recursive algorithm that decomposes an algebraic set into
locally closed equidimensional sets, i.e. sets which each have irreducible
components of the same dimension. At the core of this algorithm, we combine
ideas from the theory of triangular sets, a.k.a. regular chains, with Gr\"obner
bases to encode and work with locally closed algebraic sets. Equipped with
this, our algorithm avoids projections of the algebraic sets that are
decomposed and certain genericity assumptions frequently made when decomposing
polynomial systems, such as assumptions about Noether position. This makes it
produce fine decompositions on more structured systems where ensuring
genericity assumptions often destroys the structure of the system at hand.
Practical experiments demonstrate its efficiency compared to state-of-the-art
implementations
- …