Related papers: Diophantine Integrability

The problem of construction of integrable boundary conditions for the discrete Toda chain is considered. The restricted chains for properly chosen closure conditions are reduced to the well known discrete Painlev\'e equations $dP_{III}$,…

These notes represent an extended version of a talk I gave for the participants of the IMO 2009 and other interested people. We introduce diophantine equations and show evidence that it can be hard to solve them. Then we demonstrate how one…

Integrability of the differential constraints arising from the singularity analysis of two (1+1)-dimensional second-order evolution equations is studied. Two nonlinear ordinary differential equations are obtained in this way, which are…

Monograph "B. Grechuk, Polynomial Diophantine equations. A systematic approach" suggests solving Diophantine equations systematically in certain order. Many hundreds of the equations are left to the reader. Here, we provide complete…

The aim of this monograph is twofold: to explain various nonautonomous integrable systems (discrete Painlev\'e all the way up to the elliptic level, as well as generalizations \`a la Garnier) using an interpretation of difference and…

We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0,…

We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Problem was answered negatively by Yuri Matiyasevich, who showed…

Let f(n)=1 if n=1, 2^(2^(n-2)) if n \in {2,3,4,5}, (2+2^(2^(n-4)))^(2^(n-4)) if n \in {6,7,8,...}. We conjecture that if a system T \subseteq {x_i+1=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} has only finitely many solutions in positive…

Generalized symmetry integrability test for discrete equations on the square lattice is studied. Integrability conditions are discussed. A method for searching higher symmetries (including non-autonomous ones) for quad graph equations is…

This expository article written for the Notices of the American Mathematical Society provides an overview of transcendental functions arising as solutions of the discrete Painlev\'e equations, for which the developments of the last two…

We build on the perspective of the works \cite{Grieve:Noytaptim:fwd:orbits}, \cite{Matsuzawa:2023}, \cite{Grieve:qualitative:subspace}, \cite{Grieve:chow:approx}, \cite{Grieve:Divisorial:Instab:Vojta} (and others) and study the dynamical…

The construction and role of symmetries for difference equations are now well known. In this paper, the symmetry analysis of the discrete Painleve equations is considered. We assume that the characteristics depend on $n$ and $u_n$ only and…

We investigate self-similar solutions of the extended discrete KP hierarchy. It is shown that corresponding ansatzes lead to purely discrete equations with dependence on some number of parameters together with equations governing…

Let $A\subset \N_{+}$ and by $P_{A}(n)$ denotes the number of partitions of an integer $n$ into parts from the set $A$. The aim of this paper is to prove several result concerning the existence of integer solutions of Diophantine equations…

We introduce a class of recursions defined over the $d$-dimensional integer lattice. The discrete equations we study are interpreted as higher dimensional extensions to the discrete Toda lattice equation. We shall prove that the equations…

The main subject of the paper is the so-called Discrete Painlev\'e-1 Equation (DP1). Solutions of DP1 are classified under criterion of their behavior while argument tends to infinity. The Isomonodromic Deformations Method yields asymptotic…

We examine whether the Painleve property is necessary for the integrability of partial differential equations (PDEs). We show that in analogy to what happens in the case of ordinary differential equations (ODEs) there exists a class of…

Several integrability problems of differential equations are addressed by using the concept of $\mathcal{C}^{\infty}$-structure, a recent generalization of the notion of solvable structure. Specifically, the integration procedure associated…

We examine whether the Painlev\'e property is a necessary condition for the integrability of nonlinear ordinary differential equations. We show that for a large class of linearisable systems this is not the case. In the discrete domain, we…

The Lie point symmetries of ordinary differential equations (ODEs) that are candidates for having the Painlev\'e property are explored for ODEs of order $n =2, \dots ,5$. Among the 6 ODEs identifying the Painlev\'e transcendents only…