相关论文: Local Gr\"obner fan: polyhedral and computational …
We demonstrate a method to parallelize the computation of a Gr\"obner basis for a homogenous ideal in a multigraded polynomial ring. Our method uses anti-chains in the lattice $\mathbb N^k$ to separate mutually independent S-polynomials for…
Non-commutative Gr\"obner bases of two-sided ideals are not necessarily finite. Motivated by this, we provide a closed-form description of a finite and reduced Gr\"obner bases for the two-sided ideal used in the construction of Wangs…
Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of polynomials that automatically generates a Gr\"obner basis…
We introduce the Bergman fan of a polymatroid and prove that the Chow ring of the Bergman fan is isomorphic to the Chow ring of the polymatroid. Using the Bergman fan, we establish the K\"ahler package for the Chow ring of the polymatroid,…
Scattering diagrams arose in the context of mirror symmetry, Donaldson-Thomas theory, and integrable systems. We show that a consistent scattering diagram with minimal support cuts the ambient space into a complete fan. A special class of…
An algorithm to generate a minimal comprehensive Gr\"obner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gr\"obner\, system is presented. A basis of a parametric polynomial ideal is a comprehensive…
In commutative algebra, the theory of Gr\"obner bases enables one to compute in any finitely generated algebra over a given computable field. For non-finitely generated algebras however, other methods have to be pursued. For instance, it…
In this paper, we construct a local ring $A$ such that the kernel of the map $G_0(A)\subq \to G_0(\hat{A})\subq$ is not zero, where $\hat{A}$ is the comletion of $A$ with respect to the maximal ideal, and $G_0()\subq$ is the Grothendieck…
N.C.Leung and V.Reiner showed that certain convexity conditions on a complete rational simplicial fan determine the sign of the signature of the Poincar\'e pairing on the cohomology of the associated toric variety. The purpose of the…
Border bases can be considered to be the natural extension of Gr\"obner bases that have several advantages. Unfortunately, to date the classical border basis algorithm relies on (degree-compatible) term orderings and implicitly on reduced…
The algebraic method provides useful techniques to identify models in designs and to understand aliasing of polynomial models. The present note surveys the topic of Gr\"obner bases in experimental design and then describes the notion of…
This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.
We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a…
Normal complexes are orthogonal truncations of polyhedral fans. In this paper, we develop the study of mixed volumes for normal complexes. Our main result is a sufficiency condition that ensures when the mixed volumes of normal complexes…
Applications of harmonic analysis on finite groups are introduced to measure partition problems, with equipartitions obtained as the vanishing of prescribed Fourier transforms. For elementary abelian groups $Z_p^k$, $p$ an odd prime,…
Ambrose and Singer characterized connected, simply-connected and complete homogeneous Riemannian manifolds as Riemannian manifolds admitting a metric connection such that its curvature and torsion are parallel. The aim of this paper is to…
Unifying approaches by amongst others Archimedes, Kepler, Goldberg, Caspar and Klug, Coxeter, and Conway, and extending on a previous formalisation of the concept of local symmetry preserving (lsp) operations, we introduce a formal…
Equipartition theory, beginning with the classical ham sandwich theorem, seeks the fair division of finite point sets in $\mathbb{R}^d$ by the full-dimensional regions determined by a prescribed geometric dissection of $\mathbb{R}^d$. Here…
A fan is an arcwise-connected continuum, which is hereditarily unicoherent and has exactly one ramification point. Many of the known examples of fans were constructed as 1-dimensional continua that are unions of arcs which intersect in…
In the present work we give a description a computer algebra algorithm of construction of a toric variety given its fan. The algorithm provides us as well with a construction of an integral representation in $\mathbb{C}^d$, associated with…