Related papers: Hilbert's tenth problem via additive combinatorics

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the…

Elliptic curves over finite fields with predefined conditions in the order are practically constructed using the theory of complex multiplication. The stage with longest calculations in this method reconstructs some polynomial with integer…

Using variational methods, we establish the existence of infinitely many solutions to an elliptic problem driven by a Choquard term and a singular nonlinearity. We further show that if the problem has a positive solution, then it is bounded…

We show that the decidability of an amplification of Hilbert's Tenth Problem in three variables implies the existence of uncomputably large integral points on certain algebraic curves. We obtain this as a corollary of a new positive…

Given an elliptic curve $E/\mathbb{Q}$, it is a conjecture of Goldfeld that asymptotically half of its quadratic twists will have rank zero and half will have rank one. Nevertheless, higher rank twists do occur: subject to the parity…

Using the technique of formative processes, I solve the decidability problem of MLS with unordered cartesian product in the positive. Moreover I give a pure combinatorial description of the satisfiable MLS with unordered cartesian…

Let $E$ be an elliptic curve over a quartic field $K$. By the Mordell-Weil theorem, $E(K)$ is a finitely generated group. We determine all the possibilities for the torsion group $E(K)_{tor}$ where $K$ ranges over all quartic fields $K$ and…

We solve an infinite family of twisted polynomial problems that are cubic generalizations of Hubbard's twisted rabbit problem. We show how the result of twisting by a power of a certain Dehn twist depends on the 9-adic expansion of the…

Let $G$ be a commutative connected algebraic group over a number field $K$, let $A$ be a finitely generated and torsion-free subgroup of $G(K)$ of rank $r>0$ and, for $n>1$, let $K(n^{-1}A)$ be the smallest extension of $K$ inside an…

Let $E/\mathbb{Q}(T)$ be a non-isotrivial elliptic curve of rank $r$. A theorem due to Silverman implies that the rank $r_t$ of the specialization $E_t/\mathbb{Q}$ is at least $r$ for all but finitely many $t \in \mathbb{Q}$. Moreover, it…

It is known that Hilbert's Tenth Problem over the Gaussian ring $\mathbb Z[i]=\{a+bi:\ a,b\in\mathbb Z\}$ is undecidable. In this paper we obtain the following further result: There is no algorithm to decide whether an arbitrarily given…

For a given elliptic curve E in short Weierstrass form, we show that almost all quadratic twists E_D have no integral points, as D ranges over square-free integers ordered by size. Our result is conditional on a weak form of the Hall-Lang…

For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely generated, as well. Our main results are algorithms to…

In this paper, by using the theory of elliptic curves, we discuss several Diophantine equations related with the so-called figurate primes. Meanwhile, we raise several conjectures related with figurate primes and Hilbert's 8th problem,…

We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…

We develop a new general method for computing the decomposition type of the normal bundle to a projective rational curve. This method is then used to detect and explain an example of a Hilbert scheme that parametrizes all the rational…

Recall that the Hilbert (Riemann-Hilbert) boundary value problem was recently solved in \cite{R1} for arbitrary measurable coefficients and for arbitrary measurable boundary data in terms of nontangential limits and principal asymptotic…

If $E$ is an elliptic curve defined over a quadratic field $K$, and the $j$-invariant of $E$ is not 0 or 1728, then $E(\mathbf{Q}^{\ab})$ has infinite rank. If $E$ is an elliptic curve in Legendre form, $y^2 = x(x-1)(x-\lambda)$, where…

A common optimization problem is the minimization of a symmetric positive definite quadratic form $< x,Tx >$ under linear constrains. The solution to this problem may be given using the Moore-Penrose inverse matrix. In this work we extend…

We find new examples of complex surfaces with countably many non-isomorphic algebraic structures. Here is one such example: take an elliptic curve $E$ in $\mathbb P^2$ and blow up nine general points on $E$. Then the complement $M$ of the…