1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: % %
3: % A new algorithm to search for small nonzero $|x^3-y^2|$ values %
4: % %
5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6:
7:
8: \documentclass{amsart}
9: \input{psfig.sty}
10: \usepackage{amssymb}
11:
12:
13: \newtheorem{theorem}{Theorem}[section]
14: \newtheorem{lemma}[theorem]{Lemma}
15:
16: \theoremstyle{definition}
17: \newtheorem{definition}[theorem]{Definition}
18: \newtheorem{example}[theorem]{Example}
19: \newtheorem{xca}[theorem]{Exercise}
20:
21: \theoremstyle{remark}
22: \newtheorem{remark}[theorem]{Remark}
23:
24: \numberwithin{equation}{section}
25:
26: % Absolute value notation
27: \newcommand{\abs}[1]{\lvert#1\rvert}
28:
29: % Blank box placeholder for figures (to avoid requiring any
30: % particular graphics capabilities for printing this document).
31: \newcommand{\blankbox}[2]{%
32: \parbox{\columnwidth}{\centering
33: % Set fboxsep to 0 so that the actual size of the box will match the
34: % given measurements more closely.
35: \setlength{\fboxsep}{0pt}%
36: \fbox{\raisebox{0pt}[#2]{\hspace{#1}}}%
37: }%
38: }
39:
40: \def\Z{\mathbb{Z}}
41: \def\N{\mathbb{N}}
42:
43: \def\Hc{Hall's conjecture }
44:
45: \def\round#1{\left\lfloor#1\right\rceil}
46:
47:
48: \begin{document}
49:
50:
51: \title{A new algorithm to search for small nonzero $\abs{x^3-y^2}$ values}
52:
53: \author{I. Jim\'enez Calvo}
54: %\address{C.I.S.C, C/Serrano 144, 28006--Madrid. (Spain).}
55: %\email{ismaeljc@fdi.ucm.es}
56: \address{C/Virgen de las Vi\~nas 11, 28031--Madrid. (Spain).}
57: \email{ismaeljc@fdi.ucm.es,ijcalvo@gmail.com}
58:
59:
60: \author{J. Herranz}
61: \address{Dep. de Matem\`atica Aplicada IV,
62: Universitat Polit\`ecnica de Catalunya,
63: c/Jordi Girona, 1-3, 08034-Barcelona (Spain).}
64: \email{jherranz@ma4.upc.es}
65:
66: \author{G. S\'aez}
67: \address{Dep. de Matem\`atica Aplicada IV,
68: Universitat Polit\`ecnica de Catalunya,
69: c/Jordi Girona, 1-3, 08034-Barcelona (Spain).}
70: \email{german@ma4.upc.es}
71:
72: % General info
73: \subjclass{Primary 11Y50, 65A05; Secondary 11D25, 14H52}
74:
75:
76: \keywords{Hall's conjecture, Mordell's equation}
77:
78:
79:
80: \begin{abstract}
81: In relation to \Hc, a new algorithm is presented to search for small nonzero $k=\abs{x^3-y^2}$ values. Seventeen new values of $k<x^{1/2}$ are reported.
82: \end{abstract}
83:
84: \maketitle
85:
86:
87: \section{Hall's conjecture}
88: Dealing with natural numbers, the difference
89: \begin{equation}\label{Mordell}
90: k=x^3-y^2
91: \end{equation}
92: is zero when $x=t^2$ and $y= t^3$ but, in other cases, it seems difficult to achieve small absolute values. For a given $k\ne 0$, (\ref{Mordell}) known as Mordell's equation, is an elliptic curve and has only finitely many solutions in integers by Siegel's theorem. Therefore, for any $k \ne 0$, there are only finitely many solutions in $x$ (which is hence bounded). There is a proved bound due to A. Baker \cite{Baker} and improved by H. M. Stark \cite{Stark}, that places the size of $k$ above the order of $\log^c(x)$ for any $c < 1$.
93: A bound concerning the minimal growth rate of $|k|$ was found early by M. Hall \cite{BCHS,Hall} by means of a parametric family of the form
94: \begin{equation}\label{polynomial}
95: \begin{array}{rcl}
96: \vspace{1mm}
97: f(t) &=& \displaystyle \frac t 9 (t^9+6t^6+15t^3+12), \\
98: \vspace{1mm}
99: g(t) &=& \displaystyle \frac {t^{15}} {27} + \frac{t^{12}+4t^9+8t^6} 3 + \frac {5t^3+1} 2, \\
100: f^3(t) - g^2(t) &=& - \displaystyle \frac {3t^6+14t^3+27} {108},
101: \end{array}
102: \end{equation}
103: with $t$ congruent to 3 mod 6, which supplies infinitely many cases with $k < Cx^{3/5}$, where $C$ is a positive constant.
104:
105: H. Davenport \cite{Davenport}, pointed out that the degree of $f^3(t) - g^2(t)$ is always greater than the half of the degree of $f(t)$. This fact and experimental results for $x < 700.000$, prompted Marshall Hall \cite{Hall} to conjecture that $\abs k$ can not be less than $Cx^{1/2}$, for some constant $C$ whose tentative value was fixed to be $C=1/5$.
106: Later, L. V. Danilov \cite{Danilov} found a infinite family derived from the unbounded solutions of quadratic equations supplying values of $\abs k < 217 \sqrt 2 x^{1/2}$. N. D. Elkies \cite{Elkies} revised and improved the method reporting the Fermat-Pell family
107: \begin{equation}\label{Fermat-Pell}
108: (5^5t^2+3000t+719)^3-(5^3t^2-114t+26)(5^6t^2-5^3123t+3781)^2 = 27(2t-1),
109: \end{equation}
110: for $t$ such that $5^3t^2-114t+26$ is a perfect square. This family yields infinitely many solutions with $\abs k < 0.966\,x^{1/2}$.
111: Theoretical probabilistic considerations (see S. Lang \cite[p. 163]{Lang}) and the finding by computer search of smaller values of $\abs k$ as the present record found by Elkies \cite{Elkies} of $\abs k = 1/46.6\, x^{1/2}$ suggest that 1/2 is not the better exponent and the original conjecture was reformulated in a weaker way as follows: {\it For any exponent $e < 1/2$, a constant $C_e > 0$ exists such that $|x^3-y^2| > C_e x^e$}. \Hc is considered a particular case of the related and more general ABC conjecture \cite{Oesterle,Lang} and both seem hard to be proved or disproved. S. Mohit and M. R. Murty \cite{Mohit} show that Hall's conjecture implies that there are infinite many primes such that $a^{p-1} \not\equiv 1 \pmod {p^{16}}$ for any $a$.
112:
113:
114:
115: Since, at present, \Hc is neither proved nor disproved, it is worthy to enumerate the cases when $|k| < x^{1/2}$, what we address as {\it good examples of Hall's conjecture} borrowing notation used in ABC conjecture. Table 1, gathers the currently known examples (excluding the infinite Danilov-Elkies family) displaying the value of $x$ and $r=\sqrt x/k > 1$. The values of $y$ and $k$ are not displayed because $y$ can be calculated as the nearest integer to $x^{3/2}$. Items \#2, \#3, \#12 and \#13 correspond to (\ref{polynomial}) for $t=-3,3,-9$ and 9 respectively. Items \#4 and \#24 and \#43 correspond to the two first solutions of (\ref{Fermat-Pell}) which, in fact, yields infinitely many examples with $r > 1.035$. J. Gebel, A. Peth\"o and H.G. Zimmer \cite{GPZ} applied their own algorithm to compute the integral points on elliptic curves in all the cases of (\ref{Mordell}) with $|k| \le 100,000$. Their algorithm was able to find up to the item \#14 in table 1 and excludes the possibility of the existence of other cases with $\abs k \le 100,000$. N.D. Elkies \cite{Elkies} gives an extensive account on the subject and develops a lattice base reduction algorithm finding the next items up to \#26.
116:
117: In this paper we present a new algorithm that adds 17 new items to the table of the known {\it good examples of Hall's conjecture}. The algorithm has also found 704 cases with $\sqrt x/k \in (0,16]$ which turn out to be uniformly distributed in this range. The data also show that the number of cases for $x< X$ and $k \le n\sqrt x$ may be estimated as $0.80\,n\log(X)$. The algorithm was developed on an euristical approach, noticing the patterns (see Fig. 1) of the plots of solutions of (\ref{Mordell}) such that $\abs k$ is minimal for each $x$ value rather than using basis reduction algorithms, common in this kind of problems. The algorithm searches a family of polynomials that contain those minimal solutions. It has the drawback that it does not find all the cases in increasing order and we can not prove that the algorithm does not miss any solution. Nevertheless, it was able to find all the {\it good examples of \Hc} known before this work, including the first cases of the infinite Danilov-Elkies family (we conjeture that the new algorithm could also find the rest of cases, with enought time of computation).
118:
119: \section{Values of $k$ for $x$ near the square of a rational}
120: We consider the smallest $k$ satisfying (\ref{Mordell}) as a function of $x$. Using the notation $\round{x}=\left\lfloor x+ 1/2 \right\rfloor$, it is given by
121: \begin{equation}\label{k(x)}
122: k(x) = x^3 - \round{x^{3/2}}^2,
123: \end{equation}
124: where $y=\round{x^{3/2}}$. It is clear that $k(x)=0$ for $x=t^2$, $t$ integer.
125:
126: These expressions of $x$ and $y$ are somehow related with the
127: expressions given by N.D.Elkies in equations (38) and (40) of \cite{Elkies}, where
128: $x$ and $y$ are approximated by multiples of a square and a cube,
129: respectively. Specifically, he writes $x= 3\alpha ^2 + \beta$ and
130: $y=6\alpha ^3 +3\alpha\beta +\delta$. Then, Elkies argues that the
131: problem can be studied via lattice reduction. We use a different approach, maybe more heuristic and intuitive, which does not employ lattice reductions.
132:
133: Our method starts by allowing rational values for $t$ and considering values of $x$ for the integers close to $t^2$. We define
134: \begin{equation}\label{t}
135: t=a/b,\quad \alpha \equiv a^2 \pmod {b^2} \quad \mbox{with}\quad|\alpha| \le b^2/2 \quad \mbox{and}\quad x_0 = \lfloor t^2 \rceil = \frac {a^2 - \alpha} {b^2}.
136: \end{equation}
137: Function (\ref{k(x)}) for the integer values of $x$ near $x_0$, say for $x_0+i$, where $i=0, \pm 1, \pm 2, \cdots$, takes the form
138: \begin{equation}\label{k(x_0+i)}
139: k(x_0+i)= (x_0+i)^3-y^2,\quad y=\round{(x_0+i)^{3/2}}.
140: \end{equation}
141:
142: \begin{lemma}\label{lema}
143: Function (\ref{k(x)}) for integer values of the variable near $t^2$, $t$ rational, is equivalent to the equation,
144: \begin{equation}\label{k(C,i)}
145: k(x_0+i)= \frac {-2Ca^3+\frac 3 4(b^2i-\alpha)^2 a^2 - 3 (b^2i-\alpha)Ca - C^2 +(b^2i-\alpha)^3} {b^6},
146: \end{equation}
147: for appropriate values of $C$ and $i$ satisfying
148: \begin{equation}\label{C}
149: 2a^3 + 3{(b^2i-\alpha)a} + 2C \equiv 0 \pmod {2b^3}
150: \end{equation}
151: such that $\abs {k(x_0+i)} \le (x_0+i)^{3/2} + \frac 1 4$.
152: \end{lemma}
153: \begin{proof}
154: We note that, by the definition of $x_0$,
155: $$
156: (x_0+i)^3= \frac {a^6 +3(b^2i-\alpha)a^4+3(b^2i-\alpha)^2a^2+(b^2i-\alpha)^3} {b^6}.
157: $$
158: Let
159: $$
160: y^2 = \frac {a^6 +3(b^2i-\alpha)a^4 + p(a)} {b^6}=\left( \frac {a^3+Ba+C} {b^3}\right)^2
161: $$
162: for an appropriate third degree polynomial $p(a)$ and coefficients $B$ and $C$. Since $y$ must be an integer, the following two conditions must be fulfilled,
163: \begin{enumerate}
164: \item[(i)] $(a^3+Ba+C)^2=a^6+3(b^2i-\alpha) a^4 + p(a)$. \\
165: \item[(ii)] $ b^3 \mid a^3+Ba+C.$
166: \end{enumerate}
167: Expanding the square of the trinomial in (i) we can deduce that $B=3/2(b^2i-\alpha)$ and $p(a)$ takes the following expression on $C$,
168: $$
169: p(a)=2Ca^3+\frac 9 4 (b^2i-\alpha)^2a^2+3(b^2i-\alpha)Ca+C^2.
170: $$
171: The condition (ii) becomes now $a^3 + \frac 3 2(b^2i-\alpha) a + C \equiv 0 \pmod {b^3}$. Multiplying by 2, we have (\ref{C}).
172: Substituting the value of $(x_0+i)^3$ and $y^2$ in (\ref{k(x_0+i)}), we have (\ref{k(C,i)}) where values $C$ and $i$ must fulfill (\ref{C}). The condition $\abs {k(x_0+i)} \le (x_0+i)^{3/2} + 1/4$ easily follows from the bounds of (\ref{k(x)}).Note that $2C$ is only determined modulo $2b^3$ by (\ref{C}), so that we can take $\abs{2C} < b^3$ and the absolute value of the leading term of (\ref{k(C,i)}) is always smaller than $a^3/b^3 \approx x_0^{3/2}$, hence the bounds of (\ref{k(C,i)}) are the bounds of (\ref{k(x_0+i)}) for moderate $i$ values.
173: \end{proof}
174:
175: The allowed values of $C$ imposed by (\ref{C}) form a small set for a fixed $t$, due to the coefficient $b^2$ of $i$.
176: Fig. 1 depicts an example for $t=a/b=222272/15$. In this case five values are possible, all of them congruent mod ${3b^2}$ and for each one of the five $C$ values, the points split as integer points of five cubic polynomials. The number of polynomials and the values of $C$ depend from $b$, the parity of $a$ and whether 3 divides $b$ or not. The analysis is done in the next section.
177: \begin{figure}
178: \centerline{\psfig{figure=hall.eps,height=10cm}}
179: \caption{The polynomials for $t=222272/15$}
180: \end{figure}
181:
182:
183: \section{The geometry of $k(x)$}
184: From (\ref{C}), we obtain
185: $$
186: 3b^2ai \equiv 3 a \alpha - 2a^3 - 2C \pmod {2b^3}.
187: $$
188: Both sides of the equation must be divisible by $g=\gcd(3b^2a,2b^3)$ to be solvable in $i$. Note that, since the fraction $t$ is in its lowest terms, $\gcd(a,b)=1$, then
189: $$
190: g = c_1c_2b^2,\;
191: \left\{
192: \begin{tabular}{l}
193: $c_1 = 2$ if $a$ is even, $c_1=1$ otherwise; \\
194: $c_2 = 3$ if $3 | b$, $c_2=1$ otherwise. \\
195: \end{tabular} \right.
196: $$
197: Canceling by $g$, we obtain
198: \begin{equation}\label{ies}
199: \left( \frac {3a} {c_1c_2} \right) i \equiv\left( \frac {3a\alpha- 2a^3 -2C} {c_1c_2b^2} \right)
200: \pmod {\frac {2b} {c_1c_2}}.
201: \end{equation}
202: Since the right side of the equation must be an integer, we have that
203: $$
204: 3a\alpha- 2a^3 -2C \equiv 0 \pmod {c_1c_2b^2}.
205: $$
206: Note that $\alpha = a^2+rb^2$ for some integer $r$, then $3a\alpha \equiv 3a^3+ 3arb^2 \equiv 3a^3 \pmod {c_1c_2b^2}$ for any of the possible values of $c_1$ and $c_2$. Then,
207: \begin{equation}\label{C_0}
208: (2C) \equiv a^3 \pmod {c_1c_2b^2}\;
209: \left\{
210: \begin{tabular}{l}
211: $(2C) \equiv a^3 \pmod {c_2b^2}$, when $a$ is odd,\\
212: $C \equiv a^3/2 \pmod {c_2b^2}$, when $a$ is even,
213: \end{tabular} \right.
214: \end{equation}
215: The values of $C$ are of the form $C= C_0 + sc_2b^2$, for some integer $s$. Note that whenever $a$ is odd, $C$ may be a rational of the form $C=C'/2,\quad C'$ integer. For $a$ even, $C$ is always integral.
216:
217:
218:
219: For each value of $C$, the allowed values of $i$ are of the form $i = j + \omega b', \quad b'= 2b/(c_1c_2)$, where $\omega\in\Z$, being $j$ a solution of (\ref{ies}) for such $C$ value.
220: We have splited up the points $x_0+i$ into $b'$ classes of congruence. For each one, we can associate an unique value of $C$. For each one of the $b'$ couples $(j,C)$, we can substitute the value of $i$ in (\ref{k(C,i)}), getting a cubic polynomial in the variable $\omega$ that contains the family of points corresponding to a value $j$. The effective value of $C$ (out of the $b'$ significant possible values) must be chosen so that $k(x)$ is bounded as imposed by Lemma \ref{lema}.
221:
222: {\bf An example:}
223: We apply the theory to the case illustrated in fig.~1 where $a=222272$ and $b=15$. Then by (\ref{t}),
224: $$
225: \alpha=a^2 \mbox{ mod } b^2 = 109,\quad x_0=(a^2-\alpha)/b^2= 219577075.
226: $$
227: Since $a$ is even $c_1=2$ while $c_2=3$ because $3|b$. Applying (\ref{C_0}) we have that
228: $$
229: C_0 = a^3/2 \mbox{ mod } 3b^2 = 499, \mbox{ then } C= C_0 + 3b^2s = 499 + 675s, \quad s \in \Z.
230: $$
231: Applying (\ref{ies}) we guess that for $C=499$, $i \equiv 4\quad \mbox{mod } 5$, then $i = 4 + 5\omega$. That is, for $x = x_0 + 4 + 5\omega$, the values of $k(x)$ correspond to the points labeled as $P_4$ in the figure.
232:
233: \begin{theorem}
234: The integer points of $k(x) = x^3 - \round{x^{3/2}}^2$, for $x$ near the square of a rational $t=a/b$, are integer points of a set of polynomials
235: $$
236: P_j(x)=x^3-(\frac 3 2 t)^2x^2+(\frac 3 2 t^4- \frac {3C} {b^3}t)x+ \frac C {b^3}t^3- \frac {C^2} {b^6} - \frac 1 4 t^6.
237: $$
238: for $0 \le j < b'$, $b'=2b/\gcd(3a,2b)$ and a computable number $C$, provided $|P_j(x)| \le x^{3/2} + 1/4$ and $x=\round{t^2}~+~j+~\omega~b'$, $\omega\in\Z$.
239: \end{theorem}
240: \begin{proof}
241: We note that, for each $C$ value in (\ref{ies}), $i$ is in $Z_{b'}$, with $b'=2b/(c_1c_2)= 2b/\gcd(3a,2b)$. Then, we put $i= j +\omega b'$ and we have $b'$ cases of values $(C,j)$ for each $t$ value. We substitute $j+\omega b'$ for $i$ in (\ref{k(C,i)}). Then the term $(b^2i -\alpha)$ becomes $(b^2(j+\omega b')-\alpha)=b^2(b'\omega +j- \frac \alpha {b^2})$. We get a polynomial in $\omega$ for each $j$,
242: $$
243: P_j(\omega)=(b'\omega+j-\frac \alpha {b^2})^3+\frac 3 4 t^2(b'\omega+j-\frac \alpha {b^2})^2- \frac {3C}{b^3}t(b'\omega+j-\frac \alpha {b^2})- \frac {2C}{b^3}t^3-\frac {C^2}{b^6}.
244: $$
245: Recall than $x=x_0+j+b'\omega$. Let be $z=x-t^2$, then
246: \begin{equation}\label{z}
247: z=x_0+j+b'\omega - t^2=j+b'\omega - \frac \alpha {b^2}.
248: \end{equation}
249: as follows from (\ref{t}). Then
250: \begin{equation}\label{P_j(z)}
251: P_j(z)= z^3+\frac 3 4 t^2z^2-\frac {3C} {b^3}tz-\frac {2C} {b^3}t^3 - \frac {C^2} {b^6}.
252: \end{equation}
253: We can put the polynomial in function of $x$ by means of the variable change $z=x-t^2$, obtaining the polynomials $P_j(x)$ in the statement of the theorem.
254:
255:
256: As in Lemma 2.1, we must impose that $k(x)$ is bounded by $x^{3/2}+1/4$. We can compute $C$ by (\ref{C_0}).
257: \end{proof}
258:
259:
260:
261: We analyze the polynomial for $x$ near $t^2$, i.e. for $z \approx 0$. Note that, for small $z$, the cubic term is small compared with the quadratic one, then, it is locally approximated by a parabola with the vertex near $z=0$. The value of the polynomial at the vertex is therefore near
262: $$
263: P_j(z=0)\approx -\frac {2C}{b^3}t^3.
264: $$
265: Since the values of $C$ for some $t$ are equally spaced (they are of the form $C=C_0+sc_2b^2$ with $s$ integral), the vertices are also approximately equally spaced. Note that, for $C>0$, the value of the polynomial is negative in the vertex, but the polynomial grows until crossing $P_j(z)=0$. Recall that for integral $\omega$, the polynomials give $k(x)$. In this way, it is possible to find a small $k(x)$, selecting for each fixed $a/b$ the polynomial with lower positive $C$ value (the polynomial $P_4$ in the example of fig.~1) and calculating the value $\omega$ where the polynomial has its smallest absolute value. Nevertheless, better results can be achieved calculating the optimal value of $a$ for each value $b$, for which we can select an optimal polynomial. First, we can impose $C$ to be positive and small (say $C=1/2,1,3/2 \cdots$). We can also impose that the smallest value of the polynomial is for $\omega=0$, so the value of $z$ in (\ref{z}) is small and we can hope a small value of $P_j(z)$. Even more, if $j=0$, then $z=\alpha/b^2 \le 1/2$ which is the smallest value possible for $z$. We can approximate the value of $P_0$, for $\omega=0$ by taking only the terms in $t^3$ and $t^2$ in (\ref{P_j(z)}) getting
266: \begin{equation}\label{P_0}
267: P_0(\omega=0) \approx \frac 3 4 t^2 \frac {\alpha^2} {b^4} - \frac {2C} {b^3}t^3.
268: \end{equation}
269: Suppose that $a<O(b^{5/2})$, $\alpha < O(b^{5/4})$ and $C=O(1)$. Then $x\approx a^2/b^2 < O(b^3)$ and both terms of the approximation are smaller than $O(x^{1/2})$. Even if $a$ and $\alpha$ are above those bounds, the polynomial may have a small value if both terms are balanced.
270:
271: \section{The algorithm}
272: The algorithm runs over $b=2,3,4,\dots,$ and for small values of $C$ whose bounds will be discussed later. For each pair $(b,C)$, we must compute the values of $a$ (if any value exists) in (\ref{C}) corresponding to the polynomial $P_0$ (that is for $j=0$) whose smallest absolute value is for $\omega=0$. So, (\ref{C}) becomes
273: \begin{equation}\label{Cj0}
274: 2a^3 - 3\alpha + 2C \equiv 0 \pmod {2b^3}.
275: \end{equation}
276: First, we compute the value of $a$ modulo $b^2$ and then we lift to modulo $2b^3$. From (\ref{C_0}), we have that
277: \begin{equation}\label{a_0}
278: a \equiv (2C)^{1/3} \pmod {b^2}.
279: \end{equation}
280: Note that the equation is solvable only when $\gcd(2C,b)=1$ because $a$ and $b$ are coprime. The cube root may be computed, for example, using the algorithms described in \cite{German}.
281: Before lifting the solution of (\ref{a_0}) to modulo $2b^3$ in (\ref{C}), we must analyze the possible values of the variables whose constraints can be summarized as
282: \vskip 5mm
283: $
284: \gcd(2C,b)=1,\quad b
285: \left\{
286: \begin{tabular}{l}
287: even, $C$ rational, \\
288: odd, $\left\{ \begin{tabular}{l}
289: $C$ rational; \\
290: $C$ integer.
291: \end{tabular} \right.$
292: \end{tabular} \right.
293: $
294: \vskip 5mm
295: In fact, if $b$ is even, $a$ must be odd because $t$ is in its lower terms. Being $b$ even and $a$ odd, $\alpha$ must be odd, by the definition of $\alpha$ in (\ref{t}), what implies that $(2C)$ in (\ref{Cj0}) must be odd. Therefore, $C=C'/2$ for some odd integer $C'$. If $b$ is odd, $a$ can be even or odd, then $C$ may be rational or integer.
296:
297:
298: Let $a_0$ be a solution of (\ref{a_0}), then $a=a_0+kb^2$ for some integer $k$ that must fulfill (\ref{Cj0}). So, we have
299: $$
300: 2(a_0+kb^2)^3 - 3\alpha (a_0+kb^2) + 2C \equiv 0 \pmod {2b^3}.
301: $$
302: Expanding and neglecting the vanishing terms, we have
303: $$
304: 2a_0^3 + 6a_0^2kb^2 - 3\alpha a_0 - 3\alpha kb^2 + 2C \equiv 0 \pmod {2b^3}.
305: $$
306: Then
307: $$
308: 3b^2(2a_0^2 - \alpha )k \equiv - \left( 2a_0^3 - 3\alpha a_0 + 2C \right) \pmod {2b^3}.
309: $$
310: Let
311: $$
312: d = \gcd(3(2a_0^2 - \alpha ),2b).
313: $$
314: Then
315: \begin{equation}\label{k}
316: k \equiv - \left( \frac {3(2a_0^2 - \alpha )} d \right)^{-1} \left( \frac {2a_0^3 - 3\alpha a_0 + 2C} {db^2} \right) \pmod { \frac {2b} d}.
317: \end{equation}
318: Note that the possible values of $d$ may be $d=1$, $d=3$ if $ 3|b$, $d=2$ if $\alpha$ is even or $d=6$ if both conditions holds.
319: Let $k_0$ be a solution of the above equation, then $k=k_0+n2b/d$ for some integer $n$. Substituting the value of $k$ in $a=a_0+kb^2$, we have finally
320: $$
321: a = a_0 +k_0b^2 + n \frac {2b^3} d.
322: $$
323: Since we are looking for small values of $P_0$ in (\ref{P_0}), that is for $\omega=0$, we want that $a \approx (3\alpha^2)/(8C)$. Then
324: $$
325: n=\round{\frac d {2b^3}\left(\frac {3\alpha^2} {8C} -a_0-k_0b^2\right)}.
326: $$
327: Once the most appropriate values $a$ for each couple $(b,C)$ are computed, we can compute $x_0=(a^2-\alpha)/b^2$ expecting to find a small value of $k(x)$.
328:
329:
330:
331: \section{Results and conclusions}
332: The algorithm was programed as a PARI script and translated to C with the utility GP2C \cite{PARI2}. The executable was run in various computers during several periods being the total time of computation equivalent to about 1000 days in a AMD-64 3400+. The algorithm was able to find all the so far known items and the remaining 17 new items displayed in table 1 with $r = \sqrt{x}/k \ge 1$. Three items were found by Johan Bosman using the software of the authors.
333:
334: \begin{center}
335: \begin{tabular}{|l|l|r|l|r|l|} \hline
336: \# & \multicolumn{1}{c|} {$x$} &\multicolumn{1}{c|} {$r$} & \multicolumn{1}{c|}{$b$} & \multicolumn{1}{c|}{$C$} & Comments \\ \hline \hline
337: 1 & 2 & 1.41 & - & - & -\\
338: 2 & 5234 & 4.26 & 26 & 1/2 &H, GPZ, (\ref{polynomial})\\
339: 3 & 8158 & 3.76 & 28 & 1/2 &H, GPZ, (\ref{polynomial})\\
340: 4 & 93844 &1.03 & 53 & 1 &H, GPZ, (\ref{Fermat-Pell})\\
341: 5 & 367806 & 2.93 & 117 & 1/2 &H, GPZ \\
342: 6 & 421351 & 1.05 & 26 & 1/2 & H, GPZ\\
343: 7 & 720114 & 3.77 & 42 & 1/2 & H, GPZ \\
344: 8 & 939787 & 3.16 & 115 & 2 & H, GPZ\\
345: 9 & 28187351 & 4.87 & 159 & 5 & H, GPZ\\
346: 10 & 110781386 & 1.23 & 95 & 1/2 & H, GPZ\\
347: 11 & 154319269 & 1.08 & 228 & 1/2 & H, GPZ\\
348: 12 & 384242766 & 1.34 & 728 & 1/2 & H, GPZ, (\ref{polynomial})\\
349: 13 & 390620082 & 1.33 & 730 & 1/2 & H, GPZ, (\ref{polynomial})\\
350: 14 & 3790689201 & 2.20 & 1155 & 4 & GPZ\\
351: 15 & 65589428378 & 2.19 & 5235 & 17/2 & E \\
352: 16 & 952764389446 & 1.15 & 1448 & 5/2 & E \\
353: 17 & 12438517260105 & 1.27 & 13415 & 6 & E \\
354: 18 & 35495694227489 & 1.15 & 97266 & 1/2 & E \\
355: 19 & 53197086958290 & 1.66 & 13777 & 1 & E \\
356: 20 & 5853886516781223 & 46.60 & 137035 & 9 & E, !\\
357: 21 & 12813608766102806 & 1.30 & 6291 & 35/2 & E \\
358: 22 & 23415546067124892 & 1.46 & 1315447 & 32 & E, * \\
359: 23 & 38115991067861271 & 6.50 & 321346 & 1/2 & E \\
360: 24 & 322001299796379844 & 1.04 & 1313479 & 11 & E, (\ref{Fermat-Pell}) \\
361: 25 & 471477085999389882 & 1.38 & 3281374 & 95/2 & E \\
362: 26 & 810574762403977064 & 4.66 & 5346121 & 49/2 & E \\
363: 27 & 9870884617163518770 & 1.90 & 4928788 & 109/2 & JHS \\
364: 28 & 42532374580189966073 & 3.47 & 583876 & 9/2 & JHS\\
365: 29 & 51698891432429706382 & 1.75 & 19061951 & 29 & JHS \\
366: 30 & 44648329463517920535 & 1.79 & 11744301 & 13 & JHS \\
367: 31 & 231411667627225650649 & 3.71 & 11694866 & 347/2 & JHS \\
368: 32 & 601724682280310364065 & 1.88 & 7496613 & 13 & JHS \\
369: 33 & 4996798823245299750533 & 2.17 & 76010518 & 67/2 & JHS \\
370: 34 & 5592930378182848874404 & 1.38 & 93203798 & 139/2 & JHS \\
371: 35 & 14038790674256691230847 & 1.27 & 61769318 & 53/2 & JHS \\
372: 36 & 77148032713960680268604 & 10.18 & 184388019 & 4 & JB \\
373: 37 & 180179004295105849668818 & 5.65 & 292889921 & 45/2 & JB \\
374: 38 & 372193377967238474960883 & 1.33 & 2554989 & 4 & JHS \\
375: 39 & 664947779818324205678136 & 16.53 & 678534061 & 39.2 & JHS \\
376: 40 & 2028871373185892500636155 & 1.14 & 490670918 & 55/2 & JB \\
377: 41 & 37223900078734215181946587 & 1.87 & 530793746 & 1457/2 & JHS \\
378: 42 & 3690445383173227306376634720 & 1.51 & 685266726 & 1/2 & JHS \\
379: 43 & 1114592308630995805123571151844 & 1.04 & 52019836686 & 1475/2 & (\ref{Fermat-Pell}) \\
380: 44 & 6078673043126084065007902175846955 & 1.03 & 8144029787 & 3 & JHS \\
381:
382:
383: \hline
384: \end{tabular}
385: \end{center}
386: %\vskip -.2cm
387: \noindent{\bf Table 1: Good examples of \Hc}.\newline
388: {\bf H}; Found by M. Hall \cite{Hall}.
389: {\bf GPZ}: Found by J. Gebel, A. Peth\"o and H. G. Zimmer \cite{GPZ} with the elliptic curve method. \newline
390: {\bf E}: Found by N.D. Elkies with a lattice basis reduction algorithm.\newline
391: {\bf JHS}: Found by the authors of this paper.\newline
392: {\bf JB}: Found by Johan Bosman with the software of the authors.\newline
393: {\bf (\ref{polynomial})}: Items \#2,\#3,\#12 and \#13 correspond to the polynomial family for $t=-3,3,-9$ and 9 respectively in equation (\ref{polynomial}).\newline
394: {\bf (\ref{Fermat-Pell})}: The two first terms of the infinite Fermat-Pell family from equation (\ref{Fermat-Pell}).\newline
395: {\bf !}: Record of N.D. Elkies. \newline
396: {\bf *}: Obtained from \#20 scaling $(x,y,k)$ to $(2^2x,2^3y,2^6k)$.
397: \vskip .4cm
398:
399:
400: The value of the integer $b$ runs from 2 to a bound $B$ while for each value of $b$, values of $C$ from 1/2 to $b^u$ were checked. Experimentally, it was found that a good interval for $C$ correspond to $u=1/3$. With a shorter interval, for example $u=1/4$, the algorithm runs faster but can not find some items in the table. In the first case, for $1/2 \le C \le b^{1/3}$ the bound for $b$ reached was $B=6\cdot10^8$, while for $1/2 \le C \le b^{1/4}$ the bound was $B=5\cdot10^9$. Item \#42 and \#43 was found constraining the search to lower values of $C$. Although the used bounds for $C$ seem reasonable, it can not be proved that the algorithm can find all existing {\it good examples of Hall's conjecture}.
401:
402:
403: The exact complexity of the algorithm must be expressed only in function of the bound of $b$. For each $b$ value, we must factorize $b$ and, for each of the $b^u$ values of $C$, we must perform a cube root and other polynomial time operations. Suppose that the factorization of $b$ takes $O(b^v)$ operations. Then it takes $O(B^{ 1+\max \left\{u,v \right\}}\log^{O(1)}(B))$ operations to explore the $b\le B$ values. Since a simple trial division with a table of primes was used, the exponent $v$ must be under 0.35 in about half of the instances (see \cite{Knuth}). It is not possible to express the complexity as a fixed function of the bound of $x$, nevertheless a estimation can be performed. The value of $a$ is $O(b^\theta)$ for an variable exponent $\theta$ that is 2.5 in average (see the last paragraph in Section 3). Then, the corresponding value of $x$ is $x\approx a^2/b^2 = b^{2\theta-2}$. Since $\max\left\{u,v\right\}=0.35$, the complexity takes the form $O(X^{\frac {1.35} {2\theta-2}} \log^{O(1)}(X))$ for $x < X$. If we consider the average value $\theta=2.5$ we obtain an equivalent complexity of $O(X^{0.45})$ which coincides with the experimental average complexity.
404:
405:
406:
407: Another search was performed seeking for cases in which $k \le 16\sqrt{x}$ for $b < 12,500,000$. The algorithm discovered 704 cases whose analysis shows that the distribution of the values of $k/\sqrt x \in (0,16]$ is very close to a uniform distribution for this range of $k$ (the mean is 7.996 and the Kolmogorov-Smirnov test gives a confidence of 98.60\% to the hypothesis of a uniform distribution). This gives extra support to the possibility that the size of $k/\sqrt x$ may be arbitrarily small, and so the corresponding exponent in Hall's conjecture must be at most $1/2-\epsilon$. The data also support that the number of cases for $x< X$ and $k \le n\sqrt x$ may be estimated as $0.80\,n\log(X)$, somewhat less than the expected value $n\log(X)$.
408:
409:
410: \bibliographystyle{amsplain}
411: \begin{thebibliography}{10}
412:
413: \bibitem{Baker}
414: A. Baker,
415: \textit{ Contributions to the theory of diophantine equations. I. On the representation of integers by binary quadratic forms. II. The diophantine equation $y^2 = x^3 + k$.}
416: Philos. Trans. R. Soc. London, Ser. A
417: \textbf {263}, (1967-1968), 173--191 and 193--208.
418:
419: \bibitem{BCHS}
420: B.J. Birch, S. Chowla, M. Hall and A. Schinzel,
421: \textit{On the difference $x^3-y^2$.}
422: Norske Vid. Selsk. Forh.
423: \textbf {38} (1965), 65--69.
424:
425:
426: \bibitem{Danilov}
427: L.V. Danilov,
428: \textit{The Diophantine equation $x^3 - y^2 = k$ and Hall's conjecture.}
429: Math. Notes Acad. Sci. USSR
430: \textbf {32} (1982), 617--618.
431:
432:
433: \bibitem{Davenport}
434: H. Davenport,
435: \textit{The diophantine equation $y^2 - k = x^3$.}
436: Norske Vid. Selsk. Forh.
437: \textbf {38} (1965), 86--87.
438:
439: \bibitem{Elkies}
440: N.D. Elkies,
441: \textit{Rational points near curves and small nonzero $|x^3 - y^2|$ via lattice reduction.}
442: Pages 33--63 in Algorithmic Number Theory (Proceedings of ANTS-IV;W. Bosma, ed.; Berlin: Springer, 2000; LNCS 1838).
443:
444: \bibitem{GPZ}
445: J. Gebel, A. Peth\"o and H. G. Zimmer,
446: \textit{ On Mordell's equation.}
447: Compositio Math.
448: \textbf {110} (1998), 335-367.
449:
450: \bibitem{Hall}
451: M. Hall,
452: \textit{The Diophantine equation $x^3-y^2=k$.}
453: Computers in Number Theory (A. Atkin, B. Birch, eds.; Academic Press, 1971), pp. 173--198.
454:
455: \bibitem{Knuth}
456: D. E. Knuth and L. Trabb Pardo,
457: \textit{Analysis of a simple factorization algorithm.}
458: Theoretical Computer Sci.
459: \textbf {3} (1976) pp. 321--348.
460:
461: \bibitem{Lang}
462: S. Lang,
463: \textit{Conjectured diophantine estimates on elliptic curves.}
464: Arithmetic and Geometry, Volume dedicated to Shafarevich, Vol I, edited by M. Artin and J. Tate,
465: Birkhauser, 1983, pp. 155-171.
466:
467: %\bibitem{Lang2}
468: %S. Lang,
469: %\textit{Old and new conjectured diophantine inequalities.}
470: %Bull. Amer. Math. Soc.
471: %\textbf {23} (1990), 37--75.
472:
473: %\bibitem{LLL}
474: %A. K. Lenstra, H. W. Lenstra and L. Lov\'asz,
475: %\textit{Factoring polynomials with integer coefficients.}
476: %Mathematische Annalen
477: %\textbf {261} (1982) pp. 513--534.
478:
479: \bibitem{Mohit}
480: S. Mohit anb M. R. Murty,
481: \textit{ Wieferich primes and \Hc, }
482: Comptes Rendus del'Acad. Sciences (Canada)
483: \textbf {20} (1998), 29--32.
484:
485: %\bibitem{Niven}
486: %I. Niven, H. S. Zuckerman and H. L. Montgomery,
487: %\textit{An Introduction to the Theory of Numbers.}
488: %John Wiley \& Sons, Inc., New York, (1991).
489:
490: \bibitem{Oesterle}
491: J. Oesterl\'e,
492: \textit{Nouvelles approaches du ``th\'eor\'eme'' de Fermat.}
493: S\'em. Bourbaki 2/88, expos\'e \#694.
494:
495: \bibitem{German}
496: C. Padr\'o and G. S\'aez,
497: \textit{Taking cube roots on $\Z_m$.}
498: Appl. Math. Lett.
499: \textbf {15} (2002), 703--708.
500:
501: \bibitem{PARI2}
502: The PARI~Group. PARI/GP, Version 2.1.0, 2002, Bordeaux. Available from {\tt http://www.parigp-home.de/}.
503:
504: \bibitem{Stark}
505: H. M. Stark,
506: \textit{Effective estimates of solutions of some diophantine equations.}
507: Acta Arith.
508: \textbf {24}, (1973), 251--259.
509:
510: \end{thebibliography}
511: \end{document}.
512:
513:
514:
515:
516:
517: