Related papers: Diophantine sets

An asymptotic formula for the number of prime solutions of a general diagonal system of Diophantine equations is established, contingent on the existence of an appropriate mean value bound and on local solvability. In conjunction with the…

We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed…

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 give conditions on the rational numbers a,b,c which imply that there are infinitely many triples (x,y,z) of rational numbers such that x+y+z=a+b+c and xyz=abc. We do the same for the equations x+y+z=a+b+c and x^3+y^3+z^3=a^3+b^3+c^3.…

We prove new parameterization theorems for sets definable in the structure $\mathbb{R}_{an}$ (i.e. for globally subanalytic sets) which are uniform for definable families of such sets. We treat both $C^r$-parameterization and (mild)…

We prove a conjecture due to Stephen Harrap on inhomogeneous linear Diophantine approximation related to ${\rm BAD}(\alpha,\beta)$ sets.

We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…

In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…

In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be…

Let R be a ring with the set of nilpotents Nil(R). We prove that the following are equivalent: (i) Nil(R) is additively closed, (ii) Nil(R) is multiplicatively closed and R satisfies Koethe's conjecture, (iii) Nil(R) is closed under the…

We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…

We investigate pairs of diagonal cubic equations with integral coefficients. For a class of such Diophantine systems with 11 or more variables, we are able to establish that the number of integral solutions in a large box is at least as…

Let f(1)=1, and let f(n+1)=2^{2^{f(n)}} for every positive integer n. We conjecture that if a system S \subseteq {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}} \cup {x_i+1=x_k: i,k \in {1,...,n}} has only finitely many solutions in non-negative…

Let $\alpha$ be a fixed quadratic irrational. Consider the Diophantine equation \[ y^a\ =\ q_{N_1} + \cdots + q_{N_K},\quad N_1 \geq \cdots \geq N_{K} \geq 0,\quad a, y \geq 2 \] where $(q_N)_{N\,\geq\,0}$ is the sequence of convergent…

For finite-dimensional algebras over a field, Koenig and Yang established a bijection between silting complexes and simple-minded collections in the bounded derived category, with further contributions by many authors in various settings.…

In this paper we give a description of all Pythagorean triples in the ring ${{\mathbb Z}}[\tau]$. We also consider triples in the Fibonacci model set which satisfy the Diophantine equations arising from Fermat's Last Theorem. Examples are…

Fix $d\in\mathbb N$, and let $S\subseteq\mathbb R^d$ be either a real-analytic manifold or the limit set of an iterated function system (for example, $S$ could be the Cantor set or the von Koch snowflake). An $extrinsic$ Diophantine…

The work lays the foundations of the theory of changeable sets. In author opinion, this theory, in the process of it's development and improvement, can become one of the tools of solving the sixth Hilbert problem least for physics of…

The study of Diophantine triples taking values in linear recurrence sequences is a variant of a problem going back to Diophantus of Alexandria which has been studied quite a lot in the past. The main questions are, as usual, about existence…

We study the ``imaginary" binary quadratic form equations ax^2+bxy+cy^2+g=0 over k[t] in rational function fields, showing that a condition with respect to the Artin reciprocity map, is the only obstruction to the local-global principle for…