Diophantine equations are polynomial equations $F=0$, or systems of polynomial equations $F_1=\ldots=F_k=0$, where $F,F_1,\ldots,F_k$ are polynomials in either $\mathbb{Z}[X_1,\ldots,X_n]$ of $\mathbb{Q}[X_1,\ldots,X_n]$ of which it is asked to find solutions over $\mathbb{Z}$ or $\mathbb{Q}$. ...

learn more… | top users | synonyms

19
votes
0answers
402 views

Are there any integers which can't be written as a sum of two fourth powers minus a cube?

To be precise, I am asking: Does there exist an integer $k$ such that there do not exist (possibly negative) integers $x,y,z$ satisfying $x^4+y^4=z^3+k$? Heuristically the answer must be yes, in ...
16
votes
0answers
480 views

The lonely molecule

Suppose $n$ air molecules (infinitesimal points) are bouncing around in a unit $d$-dimensional cube, with perfectly elastic wall collisions. Let $k=n^{\frac{1}{d}}$. For example, in 3D, $d=3$, with ...
14
votes
0answers
453 views

Torsion points of abelian varieties in the perfect closure of a function field

The following is a problem, which was recently brought to my attention by H. Esnault and A. Langer. Let $K$ be the function field of a smooth curve over the algebraic closure $k$ of the finite field ...
12
votes
0answers
99 views

Rational inscribed realization of the regular dodecahedron

While it is clear that the regular dodecahedron $D$ cannot be realized with all integer coordinates, it is easy to find a polytope, which is combinatorially equivalent (face lattice isomorphic) to $D$ ...
12
votes
0answers
566 views

Why are solutions to $\sqrt[k]{x_1^k+x_2^k+x_3^k+x_4^k}$ for $k=2,3$ curiously smooth?

Given an integer solution $s_m$ to the system, $$x_1^2+x_2^2+\dots+x_n^2 = y^2$$ $$x_1^3+x_2^3+\dots+x_n^3 = z^3$$ and define the function, $$F(s_m) = x_1+x_2+\dots+x_n$$ For $n\geq3$, using an ...
12
votes
0answers
921 views

Effective proofs of Siegel's theorem using arithmetic geometry

This is a speculation and perhaps naive. The theorem of Siegel that There exist only finitely many integral points on a curve of genus $\geq 1$ over a number ring $\mathcal O_{K, S}$ where $S$ is ...
10
votes
0answers
1k views

Consecutive averages of sequence (or difference quotients of partial sums) always square

I proposed the following problem for the December 2013 USA IMO TST earlier this month: Let $a_1,a_2,a_3,\ldots$ be a sequence of integers, with the property that every consecutive group of $a_i$'s ...
10
votes
0answers
341 views

Growth of $n=n(k)$ for which there's a non-trivial solution to $x_1^k+\cdots+x_n^k=y^k$?

Walter Hayman just asked me the following question. What, if anything, is known about the growth of the function $n(k)$, where $k\geq1$ is an integer, and $n=n(k)\geq2$ is the smallest integer for ...
7
votes
0answers
214 views

Integer solutions of $x^2=4+8y^2+13z^2$

I have been looking for integer solutions of certain Diophantine equations, one of the simplest examples being $x^2=4+8y^2+13z^2$. The ideal answer would be a way to parametrize all the integer ...
7
votes
0answers
490 views

Diophantine $x^p+y^q=(x+y)^r$

Is the equation: $$x^p+y^q=(x+y)^r$$ in integers $x,y,z,p,q,r$ with $p \geq 2,q \geq 2, r \geq 2$ complete solved? For $(p,q,r)=(n,n,n+1)$ a parametrization is $t=1-s$ and $ ...
5
votes
0answers
217 views

When does the Lloyd polynomial have only integral roots?

For a $t$-error correcting code of length $n$ over the finite field $\mathbb{F}_q$, the Lloyd polynomial is given by $$ L_t(n,x):=\sum_{j=0}^t(-1)^j\binom{x-1}{j}\binom{n-x}{t-j}(q-1)^{t-j}. $$ A ...
4
votes
0answers
179 views

Monte Carlo variant of Hilbert's Tenth Problem

Let $k \in \mathbb{N}$. Given an algorithm $\mathcal{A}$ which takes as argument a polynomial $P \in \mathbb{Z}[x_1,\dots,x_k]$ and either returns true or false, we say that $\mathcal{A}$ works for ...
4
votes
0answers
109 views

Integers in a given box that can be represented by a polynomial

Suppose that $F(x_1, \cdots, x_n) \in \mathbb{Z}[x_1, \cdots, x_n]$ is a polynomial of degree $d$, and examine the quantity $$\displaystyle N(F;X, B) = \# \{(x_1, \cdots, x_n) \in \mathbb{Z}^n | -X ...
4
votes
0answers
110 views

Curves on hypersurfaces generated by diagonal sums

This is related to an earlier question of mine ((Non-)Existence of curves of low degree on affine and projective varieties). It seems that the question is too difficult for specific surfaces, although ...
4
votes
0answers
244 views

Counting Special Rational Points on Cubic Surfaces

A paper of Heath-Brown gives an heuristic argument for the density of rational points on two cubic surfaces: $x^3+y^3+z^3=kw^3,k=2,3$, say, the number of rational points of height less than $N$ on ...
4
votes
0answers
328 views

$a^5+b^5=c^5+d^5$ and polynomial identities

No nontrivial integer solutions to $$ a^5+b^5=c^5+d^5 \qquad (1)$$ are known. (1) has infinitely many solutions in an extension of $\mathbb{Z}$ (root of $9-15x+37x^2 $ ) resulting from genus 0 curve ...
4
votes
0answers
247 views

Expressions of $tanh$ type whose continued fractions have two shifts per period

This is a follow-up of another thread about quasi periodic continued fractions, a.k.a. Hurwitz fractions, with some linear shifts. I seem to have found the pattern of a subclass of them, as given ...
4
votes
0answers
306 views

A question on M. Mignotte's Paper: “Petho's Cubics”

I have been reading the paper "Petho's Cubics" by M. Mignotte (appeared in Publ. Math. Debrecen, 56/3-4 (2000)) unfortunately I don't understand section 4 of the paper. I am hoping someone could help ...
3
votes
0answers
74 views

Low height integer points on a rank variety

Let $M_i$ be fixed rectangular matrices with integer coefficients less than $n$. Consider the variety defined by the condition $$ \mathrm{rank}(\lambda_1M_1 + \lambda_2M_2 + ... + \lambda_kM_k) = 1. ...
3
votes
0answers
190 views

Diophantine equations and the numbers $4,7,8$

Consider the diophantine equation $$ x^n+y^n+z^n=k\cdot xyz, $$ where $n,x,y,z$ are positive integers. Now consider $k\in\left\{4,7,8\right\}$. It is well-known or easily provable that for $n=1$ and ...
3
votes
0answers
257 views

On 7th and 8th powers for $x_1^k+x_2^k+x_3^k+x_4^k = y_1^k+y_2^k+y_3^k+y_4^k$

The Diophantine equation, $$x_1^k+x_2^k+x_3^k = y_1^k+y_2^k+y_3^k\tag1$$ for either $k=5$ or $6$ is quite well explored, and it has long been known that it has an infinite number of primitive ...
3
votes
0answers
153 views

A question on a paper by Ribet

I'm reading the article On the equation $a^p + 2^\alpha b^p + c^p = 0$ by Ribet (http://math.berkeley.edu/~ribet/Articles/acta.pdf), but I'm having trouble understanding his proof of Theorem 3. For ...
3
votes
0answers
302 views

Integer solutions of $ z^3 y^2 = x(x-1)(x+1)$

According to a conjecture there are no three consecutive powerful numbers. Necessary condition for this is integer solution of $$ z^3 y^2 = x(x-1)(x+1) \qquad (1) $$ What are integer solutions ...
3
votes
0answers
224 views

Ternary form related to identity for abc conjecture

Consider the identity: $$ \begin{aligned} f_1 &= 4 (4 x + z) \cdot z^{3} \\ f &= x^{4} + 4 x^{3} y + 6 x^{2} y^{2} + 4 x y^{3} + y^{4} + 4 x^{3} z + 12 x^{2} y z + 12 x y^{2} z + 4 y^{3} z + ...
3
votes
0answers
144 views

Effective Lang-Weil bounds for del Pezzo surfaces

Let $X$ be variety in $\mathbb{P}^N$ over $\mathbb{F}_q$ of dimension $n$ and degree $d$. By the Lang-Weil bounds $ |\# X(\mathbb{F}_q) - q^n| \le (d-1)(d-2)q^{n-1/2} + Cq^{n-1}$for a constant $C$ ...
3
votes
0answers
285 views

quasi periodic continued fractions and powers of e, tanh, tan

It is well known that some transcendental numbers like e.g. rational multiples of $e^{2/n}$ with $n\in\mathbb N $, when written as regular continued fractions (R.C.F.), yield what can be called a ...
3
votes
0answers
96 views

Weak classes of diophantine functions

From a well-known work(s) by Putnam, Davis, Robinson and Matiyasevich, we know that every partially recursive function is diophantine. Now it seems a natural question to ask: can we say something ...
3
votes
0answers
1k views

0,1 solution to system of linear integer equations.

I have the following problem: $A x = b$ where $A, b$ - $m \times n$-maxtrix and $m$-vector of nonnegative intgers (respectivelly). $x \in \{0,1\}^n $ - vector of binary variables, which need to be ...
3
votes
0answers
338 views

The surface $ x^2 y^2 + 1 = (x^2 + y^2) z^2 $

Hi, I'm trying to find all rational points on the surface of the title, in connection with the Euler Brick (AKA Rational Box) problem. This surface is equivalent to $ x^2 z^2 - 1 = (x^2 - z^2) y^2 $, ...
3
votes
0answers
379 views

Asymptotics related to the Erdos--Moser diophantine equation

I share the authorship of this question with Pieter Moree. In our recent joint work with Y. Gallot (arXiv:0907.1356 [math.NT]) we attack the Erdős--Moser diophantine equation $$ ...
2
votes
0answers
235 views

A problem on Hecke operators

I have a problem that is related to page 11 in http://www.cims.nyu.edu/~venkatesh/research/ml.pdf Fix $m\in\Bbb N$. Pick $(a,b)\in\Bbb Z_p^2$ randomly such that $m<a,b<2m$ with $a,b$ ...
2
votes
0answers
135 views

Bounds for an Egyptian Fraction Inequality

Question: If $A\geq B>0$ are rational and $x_{1}\leq x_{2}\leq \cdots \leq x_{n}$ are integers such that $A\geq \sum_{j=1}^{n}\frac{1}{x_{j}}\geq B$, then what is an upper bound on $x_{j}$ in terms ...
2
votes
0answers
105 views

Logarithmic bound for Diophantine equation

Let $a_1 \geq a_2 \geq a_3$ be given positive integers and let $N(a_1,a_2,a_3)$ be the number of solutions $(x_1,x_2,x_3)$ of the equation $$\dfrac{a_1}{x_1}+\dfrac{a_2}{x_2}+\dfrac{a_3}{x_3} = ...
2
votes
0answers
144 views

Number of solutions to pentagonal-pentagonal numbers

Continuing the investigation from this question on CGSE about pentagonal-pentagonal numbers: Defining $p(n)$ as the $n$th pentagonal number (a positive integer of the form $n(3n−1)/2,\ n\geq 1$), and ...
2
votes
0answers
113 views

Additive combinatorics and a Diophantine equation

Let $(n_k)_{1 \leq k \leq N}$ be a sequence of distinct positive integers. For $v \in \mathbb{Z}$ set $$ A_N(v) = \# \Big\{ (k,\ell) \in \{1, \dots, N\}^2, ~k \neq \ell:\quad n_k - n_\ell = v \Big\}. ...
2
votes
0answers
94 views

Possible argument against Height bound hypothesis

From this paper. $f(x,y)$ is polynomial with integer coefficients. $s(f)$ is its size, the sum of the logarithms of the absolute values of the nonzero coefficients, defined on p. 6. From p. 7. ...
2
votes
0answers
124 views

Egyptian fractions similar to Erdos-Straus conjecture

It is known that the Erdos-Straus conjecture is about writing $4/n$ as three unit fractions. My question is whether it is known that if $a>4$ $$ \frac an=\frac1{x_1}+\frac1{x_2}+\cdots+\frac1{x_k} ...
2
votes
0answers
185 views

Can estimate upper bound of $|p_{i}|$ or $|q_{i}|?$

when I Find the diophantine-equation rational points $$2y^2=x^6-x^2+2$$ I using Faltings's theorem showed that there are only finitely many solutions,if we assmue that ...
2
votes
0answers
217 views

Diophantine equations over cyclotomic fields

Let $\mathbb{Q}^{\text{ab}}$ be the compositum of all finite abelian extensions of $\mathbb{Q}$. Explicitly, $\mathbb{Q}^{\text{ab}}$ is the field obtained from $\mathbb{Q}$ by adjoining all roots of ...
2
votes
0answers
144 views

n-ary quadratic forms with $S$-integer values

Let $Q(x_1,\ldots,x_n):=x_1^2+\cdots+x_n^2$ be an $n$-ary quadratic form. Given a finite set of (rational) primes $S$ is there an algorithm or theorem that describes all solutions to ...
2
votes
0answers
133 views

What is the general feeling for Hilbert's 10th problem for Q?

We know that Hilbert's 10th problem for $\mathbb{Z}$ is undecidable. I was wondering whether there is a strong opinion in the mathematical community on the decidability of Hilbert's 10th for ...
2
votes
0answers
116 views

Congruences of binary forms

Suppose $f(x,y) \in \mathbb{Z}[x,y]$ is a binary form (that is, homogeneous polynomial in two variables). Further suppose that $f$ is irreducible over $\mathbb{Z}$ and has no fixed prime divisor. Let ...
2
votes
0answers
86 views

Is there any track for proving $D=NP$, besides showing that $D$ has polynomial-bounded universal quantifiers?

Background By the MRDP theorem, every for every recursively enumerable set $S$, there exists a Diophantine polynomial $p$ such that $$x \in S \iff \exists y_1, \dots, y_n \in \mathbb{N} \text{ such ...
2
votes
0answers
241 views

Algorithm for solutions to quadratic forms over number fields

Are there any know (preferably implemented) algorithms to find solutions to quadratic forms over number fields (or global fields)? I am especially interested in the quaternary case. There exist some ...
2
votes
0answers
147 views

Reference for original paper (but translated to English) of Matiyasevich's proof of Fibonacci relation being Diophantine?

Hello. I am a maths undergraduate. I am doing a project about history of mathematics. I am looking for the original solution to Hilbert's 10th problem, or at least the theorems that is accessible to ...
2
votes
0answers
218 views

Hurwitz integers and $F_4$

The Hurwitz integers are $$ \mathcal H= \{a+bi+cj+dk:a,b,c,d\in\mathbb Z\;\text{ or } \;a,b,c,d\in \tfrac12+\mathbb Z\}. $$ I want to know if there is a formula, for $m\in\mathbb Z$, for the number ...
2
votes
0answers
196 views

is exponential diophantine over Qp

Thanks to Matiyasevic, we all know that exponential is diophantine over the integers. Also, thanks to transcendental number theory, we know that exponential is not diophantine over the rationals. So ...
2
votes
0answers
313 views

Prove a parametrization function is surjective

As a starting note, I would like to say that I haven't (yet) taken courses in Set Theory, so some higher-level notation may be lost on me (and I may not write everything conventionally), but I'll do ...
1
vote
0answers
121 views

how to solve this symmetrical equation in number theory

i just have no idea about this equation, i would thank you to you to give me some suggestions on this. $$m_{1}m_{2}m_{3}+2^{\alpha-s-t}m_{1}+2^{\alpha-\gamma-t}m_{2}+2^{\alpha-\gamma ...
1
vote
0answers
152 views

System of diophantine equations related to Ozanam's problem

Could you please help with finding of general solution of diophantine system for rational a, b, c, d $(a^2+b^2)(c^2+d^2)=A^2$ $(a^2-b^2)(c^2-d^2)=B^2$ for some rational A and B. This is related ...