Effective difference elimination and nullstellensatz (Q783738): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(8 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: G. A. Pogudin / rank
Normal rank
 
Property / author
 
Property / author: Thomas J. Scanlon / rank
Normal rank
 
Property / author
 
Property / author: G. A. Pogudin / rank
 
Normal rank
Property / author
 
Property / author: Thomas J. Scanlon / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: NesSomos / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: SIAN / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: DifferentialElimination / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Bertini / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1712.01412 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some discrete-time SI, SIR, and SIS epidemic models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2872959 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bezout-type theorems for differential fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounds for the degrees in the Nullstellensatz / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory of difference fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5334359 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coexistence of competing juvenile–adult structured populations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients / rank
 
Normal rank
Property / cites work
 
Property / cites work: How to generate as many Somos-like miracles as you wish<sup>†</sup> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Valued Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4437766 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characteristic set method for differential-difference polynomial systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A characteristic set method for ordinary difference polynomial systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4002797 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definability and fast quantifier elimination in algebraically closed fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Manin-Mumford conjecture and the model theory of difference fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: On von Neumann regular rings with an automorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the effective Nullstellensatz / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sharp Effective Nullstellensatz / rank
 
Normal rank
Property / cites work
 
Property / cites work: Valuation theoretic and model theoretic aspects of local uniformization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Difference algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Difference Chow form / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sparse difference resultant / rank
 
Normal rank
Property / cites work
 
Property / cites work: Difference algebra and system identification / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on the axioms for differentially closed fields of characteristic zero / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discrete May–Leonard Competition Models I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Basic Algebraic Geometry 1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3225387 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Software for algebraic geometry. Papers of a workshop, Minneapolis, MN, USA, October 23--27, 2006 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Twisted Galois stratification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Direct twisted Galois stratification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intersection of a correspondence with a graph of Frobenius / rank
 
Normal rank

Latest revision as of 05:06, 23 July 2024

scientific article
Language Label Description Also known as
English
Effective difference elimination and nullstellensatz
scientific article

    Statements

    Effective difference elimination and nullstellensatz (English)
    0 references
    0 references
    0 references
    0 references
    4 August 2020
    0 references
    A sequence \((a_{j})_{j=0}^{\infty}\) of elements of a field \(K\) is said to be a solution of a difference equation with constant coefficients if there is a nonzero polynomial \(F(x_{0},\dots, x_{e})\in K[x_{0},\dots, x_{e}]\) such that for every natural number \(j\), one has \(F(a_{j}, a_{j+1},\dots, a_{j+e}) = 0\). This concept can be naturally generalized to systems of difference equations in several variables. The paper under review answers the following fundamental questions about sequence solutions of systems of ordinary difference equations: \begin{itemize} \item[(i)] Under what conditions does such a system have a sequence solution? \item[(ii)] Can these solutions be made sufficiently transparent to allow for efficient computation? \item[(iii)] Given a system of difference equations on \((n+m)\)-tuples of sequences, how does one eliminate some of the variables so as to deduce the consequences of these equations on the first \(n\) variables? \end{itemize} As the answers to these questions, the authors prove two strong results the first of which (Theorem 3.1 of the paper) can be viewed as effective difference Nullstellensatz; it reduces the problem of solvability of a system of difference equations to the problem of consistency of certain system of finitely many polynomial equations. The second main result of the paper (Theorem 3.4) is an effective difference elimination theorem; it reduces the question of existing/finding a consequence in the \(\mathbf{x}\)-variables of a system of difference equations in \(\mathbf{x}\) and \(\mathbf{u}\) (\(\mathbf{x}=(x_{1},\dots, x_{m})\) and \(\mathbf{u}=(u_{1},\dots, u_{r})\) are two sets of variables) to a question about a polynomial ideal in a polynomial ring in finitely many variables. Among other important results of the paper, one has to mention is a version of difference Nullstellensatz over an uncountable algebraically closed inversive difference field \(K\). It is shown that if \(F\) is a finite subset of the ring of difference polynomials \(K\{x_{1},\dots, x_{n}\}\), then the following statements are equivalent: \begin{itemize} \item[(i)] The system \(F=0\) has a solution in \(K^{\mathbb{Z}}\); \item[(ii)] \(F=0\) has a solution in \(K^{\mathbb{N}}\); \item[(iii)] \(F=0\) has finite partial solutions of length \(l\) for sufficiently large \(l\); \item[(iv)] The difference ideal \(J\) generated by \(F\) in \(K\{x_{1},\dots, x_{n}\}\) does not contain \(1\); \item[(v)] The reflexive closure of \(J\) in the inversive closure of \(K\{x_{1},\dots, x_{n}\}\) does not contain \(1\); \item[(vi)] \(F=0\) has a solution in some difference \(K\)-algebra. \end{itemize} The paper also contains a number of examples that illustrate applications of the obtained results and counterexamples that show one cannot have a coefficient-independent effective strong Nullstellensatz for systems of difference equations.
    0 references
    difference equations
    0 references
    effective nullstellensatz
    0 references
    elimination of unknowns
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references