The Investigation of Nonlinear Polynomial Control Systems

The paper considers methods for estimating stability using Lyapunov functions, which are used for nonlinear polynomial control systems. The apparatus of the Gro¨bner basis method is used to assess the stability of a dynamical system. A description of the Gro¨bner basis method is given. To apply the method, the canonical relations of the nonlinear system are approximated by polynomials of the components of the state and control vectors. To calculate the Gro¨bner basis, the Buchberger algorithm is used, which is implemented in symbolic computation programs for solving systems of nonlinear polynomial equations. The use of the Gro¨bner basis for finding solutions of a nonlinear system of polynomial equations is considered, similar to the application of the Gauss method for solving a system of linear equations. The equilibrium states of a nonlinear polynomial system are determined as solutions of a nonlinear system of polynomial equations. An example of determining the equilibrium states of a nonlinear polynomial system using the Gro¨bner basis method is given. An example of finding the critical points of a nonlinear polynomial system using the Gro¨bner basis method and the Wolfram Mathematica application software is given. The Wolfram Mathematica program uses the function of determining the reduced Gro¨bner basis. The application of the Gro¨bner basis method for estimating the attraction domain of a nonlinear dynamic system with respect to the equilibrium point is considered. To determine the scalar potential, the vector field of the dynamic system is decomposed into gradient and vortex components. For the gradient component, the scalar potential and the Lyapunov function in polynomial form are determined by applying the homotopy operator. The use of Gro¨bner bases in the gradient method for finding the Lyapunov function of a nonlinear dynamical system is considered. The coordination of input-output signals of the system based on the construction of Gro¨bner bases is considered.

Commutative von Neumann regular rings are 1-Gröbner

Let R be a commutative von Neumann regular ring. We show that every finitely generated ideal I in the ring of polynomials R[X] has a strong Gr?bner basis. We prove this result using only the defining property of a von Neumann regular ring.

A Mathematica module for Conformal Geometric Algebra and Origami Folding

We implemented a Mathematica module of CGA which includes functions to denote CGA elements and compute several operations in CGA. We can draw the figure in 3D space which is corresponding to a CGA element. Our draw function is using Gr\"{o}bner Basis for simplifying equations of figures. It can be used for any dimensional figures. One of our motivations is to realize 3D origami system using our own CGA Library. We follow the 2D computational origami system E-Origami-System developed by Ida et.al. and formulated simple fold operations in 3D by using CGA points and motions. Then, we proved some geometric theorems about origami properties by computing CGA equation formulas.

Signed polyomino tilings by n-in-line polyominoes and Gröbner bases

Conway and Lagarias observed that a triangular region T(m) in a hexagonal lattice admits a signed tiling by three-in-line polyominoes (tribones) if and only if m 2 {9d?1, 9d}d2N. We apply the theory of Gr?bner bases over integers to show that T(m) admits a signed tiling by n-in-line polyominoes (n-bones) if and only if m 2 {dn2 ? 1, dn2}d2N. Explicit description of the Gr?bner basis allows us to calculate the ?Gr?bner discrete volume? of a lattice region by applying the division algorithm to its ?Newton polynomial?. Among immediate consequences is a description of the tile homology group for the n-in-line polyomino.

On the Connectivity of Fiber Graphs

We consider the connectivity of fiber graphs with respect to Gro ̈bner basis and Graver basis moves. First, we present a sequence of fiber graphs using moves from a Gro ̈bner basis and prove that their edge-connectivity is lowest possible and can have an arbitrarily large distance from the minimal degree. We then show that graph-theoretic properties of fiber graphs do not depend on the size of the right-hand side. This provides a counterexample to a conjecture of Engstro ̈m on the node-connectivity of fiber graphs. Our main result shows that the edge-connectivity in all fiber graphs of this counterexample is best possible if we use moves from Graver basis instead.