Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that already a subcomplex defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem from the theory of Gröbner bases, whereas the Lyubeznik resolution is a consequence of Buchberger’s chain criterion. Finally, we relate Fröberg’s contractin...

We study blowups of affine n-space with center an arbitrary monomial ideal and call monomial ideals that render smooth blowups tame ideals. We give a combinatorial criterion to decide whether the blowup is smooth and apply this criterion to discuss a smoothing procedure proposed by Rosenberg, monomial building sets and permutohedra.

d-Monomial tests are statistical randomness tests based on Algebraic Normal Form representation of a Boolean function, and were first introduced by Filiol in 2002. We show that there are strong indications that the Gate Complexity of a Boolean function is related to a bias detectable in a d-Monomial test. We then discuss how to effectively apply d-Monomial tests in chosen-IV attacks against str...

Given a finite alphabet X and an ordering ≺ on the letters, the map σ≺ sends each monomial on X to the word that is the ordered product of the letter powers in the monomial. Motivated by a question on Gröbner bases, we characterize ideals I in the free commutative monoid (in terms of a generating set) such that the ideal 〈σ≺(I)〉 generated by σ≺(I) in the free monoid is finitely generated. Wheth...

There is a natural infinite graph whose vertices are the monomial ideals in a polynomial ring K[x1, . . . , xn]. The definition involves Gröbner bases or the action of the algebraic torus (K∗)n. We present algorithms for computing the (affine schemes representing) edges in this graph. We study the induced subgraphs on multigraded Hilbert schemes and on square-free monomial ideals. In the latter...

This paper presents a novel version of the five-point relative orientation algorithm given in Nistér (2004). The name of the algorithm arises from the fact that it can operate even on the minimal five point correspondences required for a finite number of solutions to relative orientation. For the minimal five correspondences the algorithm returns up to ten real solutions. The algorithm can also...

In 1996, in his study of Gröbner bases of toric ideals, Sturmfels introduced a sorting operator on pairs of monomials of degree d in n variables. This gave rise to the notion of sortable sets, namely sets B of monomials of degree d such that B×B is preserved by that operator. In this paper, we determine all lex-intervals or revlex-intervals of monomials which are sortable. The solution involves...

Given an ideal a in A[x1, . . . , xn] where A is a Noetherian integral domain, we propose an approach to compute the Krull dimension of A[x1, . . . , xn]/a, when the residue class ring is a free A-module. When A is a field, the Krull dimension of A[x1, . . . , xn]/a has several equivalent algorithmic definitions by which it can be computed. But this is not true in the case of arbitrary Noetheri...

This paper describes and analyzes a method for computing border bases of a zero-dimensional ideal I . The criterion used in the computation involves specific commutation polynomials and leads to an algorithm and an implementation extending the one provided in [29]. This general border basis algorithm weakens the monomial ordering requirement for Gröbner bases computations. It is up to date the ...

In the Generalized Minimal Residual Method (GMRES), the global all-to-all communication required in each iteration for orthogonalization and normalization of the Krylov base vectors is becoming a performance bottleneck on massively parallel machines. Long latencies, system noise and load imbalance cause these global reductions to become very costly global synchronizations. In this work, we prop...