Effective difference elimination and nullstellensatz

DOI10.4171/JEMS/968zbMath1475.12012arXiv1712.01412MaRDI QIDQ783738

Alexey Ovchinnikov, G. A. Pogudin, Thomas J. Scanlon

Publication date: 4 August 2020

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1712.01412

zbMATH Keywords

difference equationseffective nullstellensatzelimination of unknowns

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Quantifier elimination, model completeness, and related topics (03C10) Difference algebra (12H10) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25)

Related Items

Difference Galois theory and dynamics, On the dimension of systems of algebraic difference equations, Elimination of unknowns for systems of algebraic differential-difference equations, SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY, New bounds and an efficient algorithm for sparse difference resultants, Rational solutions of first-order algebraic ordinary difference equations

Uses Software

• Bertini
• NesSomos
• DifferentialElimination
• SIAN

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Twisted Galois stratification
• Difference algebra and system identification
• Definability and fast quantifier elimination in algebraically closed fields
• Software for algebraic geometry. Papers of a workshop, Minneapolis, MN, USA, October 23--27, 2006
• A characteristic set method for ordinary difference polynomial systems
• Characteristic set method for differential-difference polynomial systems
• Bounds for the degrees in the Nullstellensatz
• A note on the axioms for differentially closed fields of characteristic zero
• Some discrete-time SI, SIR, and SIS epidemic models
• Direct twisted Galois stratification
• Difference Chow form
• On von Neumann regular rings with an automorphism
• Difference algebra
• Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
• On the effective Nullstellensatz
• Bezout-type theorems for differential fields
• Model theory of difference fields
• Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
• Sharp Effective Nullstellensatz
• Discrete May–Leonard Competition Models I
• Valuation theoretic and model theoretic aspects of local uniformization
• How to generate as many Somos-like miracles as you wish^†
• Coexistence of competing juvenile–adult structured populations
• Basic Algebraic Geometry 1
• Intersection of a correspondence with a graph of Frobenius
• Valued Fields
• Sparse difference resultant
• The Manin-Mumford conjecture and the model theory of difference fields