All Functions $$g: \mathbb{N} \rightarrow \mathbb{N}$$ Which have a Single-Fold Diophantine Representation are Dominated by a Limit-Computable Function $$f: \mathbb{N}\setminus \{0\} \rightarrow \mathbb{N}$$ Which is Implemented in MuPAD and Whose Computability is an Open Problem

Abstract

Let E_n={x_k=1, x_i+x_j=x_k, x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}. For any integer n \geq 2214, we define a system T \subseteq E_n which has a unique integer solution (a_1,...,a_n). We prove that the numbers a_1,...,a_n are positive and max(a_1,...,a_n)>2^(2^n). For a positive integer n, let f(n) denote the smallest non-negative integer b such that for each system S \subseteq E_n with a unique solution in non-negative integers x_1,...,x_n, this solution belongs to [0,b]^n. We prove that if a function g:N-->N has a single-fold Diophantine representation, then f dominates g. We present a MuPAD code which takes as input a positive integer n, performs an infinite loop, returns a non-negative integer on each iteration, and returns f(n) on each sufficiently high iteration.