English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  First-Order Tests for Toricity

Rahkooy, H., & Sturm, T. (2020). First-Order Tests for Toricity. Retrieved from https://arxiv.org/abs/2002.03586.

Item is

Files

show Files
hide Files
:
arXiv:2002.03586.pdf (Preprint), 512KB
Name:
arXiv:2002.03586.pdf
Description:
File downloaded from arXiv at 2021-02-23 14:02
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
Copyright Date:
-
Copyright Info:
-

Locators

show

Creators

show
hide
 Creators:
Rahkooy, Hamid1, Author           
Sturm, Thomas2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: Computer Science, Symbolic Computation, cs.SC,Quantitative Biology, Molecular Networks, q-bio.MN
 Abstract: 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\"obner 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.

Details

show
hide
Language(s): eng - English
 Dates: 2020-02-102020
 Publication Status: Published online
 Pages: 15 p.
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: arXiv: 2002.03586
URI: https://arxiv.org/abs/2002.03586
BibTex Citekey: Rahkooy2002.03586
 Degree: -

Event

show

Legal Case

show

Project information

show

Source

show