First-Order Tests for Toricity

02/10/2020
by   Hamid Rahkooy, et al.
0

Motivated by problems arising with the symbolic analysis of steady state ideals in Chemical Reaction Network Theory, we consider the problem of testing whether the points in a complex or real variety with non-zero coordinates form a coset of a multiplicative group. That property corresponds to Shifted Toricity, a recent generalization of toricity of the corresponding polynomial ideal. The key idea is to take a geometric view on varieties rather than an algebraic view on ideals. Recently, corresponding coset tests have been proposed for complex and for real varieties. The former combine numerous techniques from commutative algorithmic algebra with Gröbner bases as the central algorithmic tool. The latter are based on interpreted first-order logic in real closed fields with real quantifier elimination techniques on the algorithmic side. Here we take a new logic approach to both theories, complex and real, and beyond. Besides alternative algorithms, our approach provides a unified view on theories of fields and helps to understand the relevance and interconnection of the rich existing literature in the area, which has been focusing on complex numbers, while from a scientific point of view the (positive) real numbers are clearly the relevant domain in chemical reaction network theory. We apply prototypical implementations of our new approach to a set of 129 models from the BioModels repository.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/09/2019

Efficiently and Effectively Recognizing Toricity of Steady State Varieties

We consider the problem of testing whether the points in a complex or re...
research
07/04/2021

Testing Binomiality of Chemical Reaction Networks Using Comprehensive Gröbner Systems

We consider the problem of binomiality of the steady state ideals of bio...
research
05/23/2021

Parametric Toricity of Steady State Varieties of Reaction Networks

We study real steady state varieties of the dynamics of chemical reactio...
research
09/14/2020

Decidability of the Multiplicative and Order Theory of Numbers

The ordered structures of natural, integer, rational and real numbers ar...
research
02/28/2020

A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks

Motivated by problems from Chemical Reaction Network Theory, we investig...
research
03/07/2019

An algorithmic approach to the existence of ideal objects in commutative algebra

The existence of ideal objects, such as maximal ideals in nonzero rings,...
research
03/21/2018

Groebner bases of reaction networks with intermediate species

In this work we consider the computation of Groebner bases of the steady...

Please sign up or login with your details

Forgot password? Click here to reset