Geodesic
SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
Forum of Mathematics, Sigma, Tome 8 (2020)

Voir la notice de l'article provenant de la source Cambridge University Press

We study solutions of difference equations in the rings of sequences and, more generally, solutions of equations with a monoid action in the ring of sequences indexed by the monoid. This framework includes, for example, difference equations on grids (for example, standard difference schemes) and difference equations in functions on words. On the universality side, we prove a version of strong Nullstellensatz for such difference equations under the assumption that the cardinality of the ground field is greater than the cardinality of the monoid and construct an example showing that this assumption cannot be omitted. On the undecidability side, we show that the following problems are undecidable: 
@article{10_1017_fms_2020_14,
     author = {GLEB POGUDIN and THOMAS SCANLON and MICHAEL WIBMER},
     title = {SOLVING {DIFFERENCE} {EQUATIONS} {IN} {SEQUENCES:} {UNIVERSALITY} {AND} {UNDECIDABILITY}},
     journal = {Forum of Mathematics, Sigma},
     publisher = {mathdoc},
     volume = {8},
     year = {2020},
     doi = {10.1017/fms.2020.14},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2020.14/}
}
TY  - JOUR
AU  - GLEB POGUDIN
AU  - THOMAS SCANLON
AU  - MICHAEL WIBMER
TI  - SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
JO  - Forum of Mathematics, Sigma
PY  - 2020
VL  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fms.2020.14/
DO  - 10.1017/fms.2020.14
LA  - en
ID  - 10_1017_fms_2020_14
ER  - 
%0 Journal Article
%A GLEB POGUDIN
%A THOMAS SCANLON
%A MICHAEL WIBMER
%T SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY
%J Forum of Mathematics, Sigma
%D 2020
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.1017/fms.2020.14/
%R 10.1017/fms.2020.14
%G en
%F 10_1017_fms_2020_14
GLEB POGUDIN; THOMAS SCANLON; MICHAEL WIBMER. SOLVING DIFFERENCE EQUATIONS IN SEQUENCES: UNIVERSALITY AND UNDECIDABILITY. Forum of Mathematics, Sigma, Tome 8 (2020). doi: 10.1017/fms.2020.14

Cité par Sources :