Results 1  10
of
12
Algebraic Algorithms for Sampling from Conditional Distributions
 Annals of Statistics
, 1995
"... We construct Markov chain algorithms for sampling from discrete exponential families conditional on a sufficient statistic. Examples include generating tables with fixed row and column sums and higher dimensional analogs. The algorithms involve finding bases for associated polynomial ideals and so a ..."
Abstract

Cited by 192 (16 self)
 Add to MetaCart
We construct Markov chain algorithms for sampling from discrete exponential families conditional on a sufficient statistic. Examples include generating tables with fixed row and column sums and higher dimensional analogs. The algorithms involve finding bases for associated polynomial ideals and so an excursion into computational algebraic geometry.
Gröbner Bases for Binomials with Parametric Exponents
 Technische Universität München
, 2004
"... We study the uniformity of Buchberger algorithms for computing Grobner bases with respect to a natural number parameter k in the exponents of the input polynomials. The problem is motivated by positive results of T. Takahashi on special exponential parameter series of polynomial sets in singular ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
We study the uniformity of Buchberger algorithms for computing Grobner bases with respect to a natural number parameter k in the exponents of the input polynomials. The problem is motivated by positive results of T. Takahashi on special exponential parameter series of polynomial sets in singularity theory. For arbitrary input sets uniformity is in general impossible. By way of contrast we show that the Buchberger algorithm is indeed uniform up to a finite case distinction on the exponential parameter k for inputs consisting of monomials and binomials only. Under this hypothesis the case distinction is algorithmic and partitions the parameter range into Presburger sets. In each case the Buchberger algorithm is uniform and can be described explicitly and algorithmically. In the course of the algorithm the exponential parameter k enters also the coe#cients as exponent. Thus the uniformity in k is established with respect to parametric exponents in both terms and coe#cients. These results are obtained as a consequence of a much more general theorem concerning Buchberger algorithms for sets of monomials and binomials with arbitrary parametric coe#cients and exponents, generalizing the construction of Grobner systems.
An Optimal Algorithm for Constructing the Reduced Gröbner Basis of Binomial Ideals
 J. SYMBOLIC COMPUT
, 1996
"... In this paper, we present an optimal, exponential space algorithm for generating the reduced Gröbner basis of binomial ideals. We make use of the close relationship between commutative semigroups and pure difference binomial ideals. Based on the algorithm for the uniform word problem in commutative ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
In this paper, we present an optimal, exponential space algorithm for generating the reduced Gröbner basis of binomial ideals. We make use of the close relationship between commutative semigroups and pure difference binomial ideals. Based on the algorithm for the uniform word problem in commutative semigroups exhibited by Mayr and Meyer we first derive an exponential space algorithm for constructing the reduced Gröbner basis of a pure difference binomial ideal. In addition to some applications to finitely presented commutative semigroups, this algorithm is then extended to an exponential space algorithm for generating the reduced Gröbner basis of binomial ideals in general.
Groebner Basis Under Composition II
 In Proceedings of ISSAC 96 (International Symposium on Symbolic and Algebraic Computation
, 1996
"... Composition is an operation of replacing variables in a polynomial with other polynomials. The main question of this paper is: When does composition commute with Groebner basis computation (possibly under different term orderings)? We prove that this happens if the leading terms of the composition p ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
Composition is an operation of replacing variables in a polynomial with other polynomials. The main question of this paper is: When does composition commute with Groebner basis computation (possibly under different term orderings)? We prove that this happens if the leading terms of the composition polynomials form "permuted powering". This is a sequel to another paper where we dealt with a more restricted question (that required same term ordering).
Gröbner Bases, Invariant Theory and Equivariant Dynamics
, 1996
"... This paper is about algorithmic invariant theory as it is required within equivariant ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
This paper is about algorithmic invariant theory as it is required within equivariant
ORDERINGS OF MONOMIAL IDEALS
, 2003
"... We study the set of monomial ideals in a polynomial ring as an ordered set, with the ordering given by reverse inclusion. We give a short proof of the fact that every antichain of monomial ideals is finite. Then we investigate ordinal invariants for the complexity of this ordered set. In particular ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
We study the set of monomial ideals in a polynomial ring as an ordered set, with the ordering given by reverse inclusion. We give a short proof of the fact that every antichain of monomial ideals is finite. Then we investigate ordinal invariants for the complexity of this ordered set. In particular, we give an interpretation of the height function in terms of the HilbertSamuel polynomial, and we compute upper and lower bounds on the maximal order type.
Optimal Gröbner Base Algorithms for Binomial Ideals
, 1996
"... Little is known about upper complexity bounds for the normal form algorithms which transform a given polynomial ideal basis into a Gröbner basis. In this paper ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Little is known about upper complexity bounds for the normal form algorithms which transform a given polynomial ideal basis into a Gröbner basis. In this paper
The Complexity of the Equivalence Problem for Commutative Semigroups
 INSTITUT FUR INFORMATIK, TECHNISCHE UNIVERSITAT MUNCHEN
, 1996
"... In this paper, optimal decision procedures for the equivalence, subword, and finite enumeration problems for commutative semigroups are obtained. These procedures ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
In this paper, optimal decision procedures for the equivalence, subword, and finite enumeration problems for commutative semigroups are obtained. These procedures
On the Relation Between Gröbner and Pommaret Bases
 AAECC
, 1998
"... Abstract. The reduced Pommaret basis and the reduced Gröbner basis of an ideal I with respect to a fixed admissible term order ≺ differ in general. A necessary and sufficient criterion for the coincidence of these bases is given. ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. The reduced Pommaret basis and the reduced Gröbner basis of an ideal I with respect to a fixed admissible term order ≺ differ in general. A necessary and sufficient criterion for the coincidence of these bases is given.