β
Eldar SultanowEldar Sultanow
Capgemini Deutschland GmbH
Nuremberg, Germanyeldar.sultanow@capgemini.com,β
Anja JeschkeAnja Jeschke
Capgemini Deutschland GmbH
Hamburg, Germanyanja.jeschke@capgemini.com,Amir Darwish TfihaAmir Darwish Tfiha
Tishreen University
Science Fuculty
Syriaamirtfiha@tishreen.edu.sy,β
Madjid TehraniMadjid G. Tehrani
George Washington University
Washington, DC 20052, USAmadjid_tehrani@gwu.eduandβ
William J BuchananWilliam J Buchanan
Edinburgh Napier University
Edinburgh, UKb.buchanan@napier.ac.uk
Abstract.
We investigate a special family of elliptic curves, namely where are odd primes.Fix a line where and . We study sufficient conditions that and must satisfy so that there are infinitely many elliptic curves that intersect .As a result we obtained six conditions for and each ensuring that has rational points. Moreover we could compact these six conditions down to four conditions and provide a visualization of cases up to .
Key words and phrases:
Elliptic Curves, Rational Points
2010 Mathematics Subject Classification:
14H52
1. Introduction
The fact whether an elliptic curve has rational points or not has been occupying mathematicians for a fairly while. There are stringent conditions under which elliptic curves have definitely rational points.
2. Finding 60 cases
Let be a linear function of rational slope where and .Let be an elliptic curve where are fixed primes.We aim at finding sufficient conditions for and so that there are infinitely many elliptic curves intersecting .Inserting into leads to
This cubic function has two solutions that are non-trivial. They are given by
In order for to be rational, we need to be a square:
for some . This equation can be factored as .We want to find all possibilities of how to separate the factors of into the two factors and .Counting the number of cases boils down to computing the number of divisors of . For the divisor function with and prime, we have the identity , see [1, p.34]. If is prime, the number of cases is
If is not prime, the number of cases is greater.Table 1(a) shows the cases whereas Table 1(b) contains the reversed cases . Both tables present conditions for and .
Case | Condition | ||
1 | 1 | ||
2 | 2 | ||
3 | |||
4 | |||
5 | |||
6 | |||
7 | |||
8 | |||
9 | |||
10 | |||
11 | |||
12 | |||
13 | |||
14 | |||
15 | |||
16 | |||
17 | |||
18 | |||
19 | |||
20 | |||
21 | |||
22 | |||
23 | |||
24 | |||
25 | |||
26 | |||
27 | |||
28 | |||
29 | |||
30 |
Case | Condition | ||
31 | 1 | ||
32 | 2 | ||
33 | 4 | ||
34 | |||
35 | |||
36 | |||
37 | |||
38 | |||
39 | |||
40 | |||
41 | |||
42 | |||
43 | |||
44 | |||
45 | |||
46 | |||
47 | |||
48 | |||
49 | |||
50 | |||
51 | |||
52 | |||
53 | |||
54 | |||
55 | |||
56 | |||
57 | |||
58 | |||
59 | |||
60 |
3. Six conditions for to have rational points
The 60 cases in Table 1 reduce to only six different cases with solutions. These cases are shown in Table 2 and described in more detail in the following.All other cases are treated in the Appendix. Appendix A lists the cases that have no solution and Appendix B explains the cases exhibiting redundancy to one of these six cases.All elliptic curves will have the same structure. As an illustration, Figure 1 shows the sample elliptic curves of case 40 and 56 including their rational points.
Case | Condition | Samples | Resulting sample | Resulting rational points |
a, b, p, q | elliptic curve | on sample elliptic curve | ||
17 | ||||
26 | ||||
32 | ||||
40 | ||||
47 | ||||
56 |
3.1. Case 17:
With , case 8 is a special case of case 17. The square is even, because and are odd. Because , a has to be even. In other words, .According to Polignacβs conjecture (which isnβt proved), there are infinitely many cases of two consecutive prime numbers with difference n if n is even. [2, p. 295].Hence, Case 17 with describes a subset of Polignacβs conjecture.
3.2. Case 26:
Proving that this case has infinitely solutions is a difficult endeavor. A possible direction is to verify the conjecture that has infinitely many solutions, which corresponds to the theorem of Iwaniec and Frielander [3] that there are infinitely many primes of the form . Up to a big integer we have of the primes whose product is a semiprime of the form .One example is the curve , which is also listed in the LMFDB [4]. The value and the discriminant is .
In the case that or no solution exist [5, p.21]. Let us set and . If and we exactly obtain one solution for and one solution for [5, p.21]. If we now have these unique solutions and , then the product of both primes is .Consider , other integer solutions for do not exist, unless one of the four integers , , and is a perfect square.
3.3. Case 32:
If then . If then .
3.4. Case 40:
We note that if is odd then must be even. This is a similar problem as case 8 (which is case 17 with ), but not the same.If is even, then .This case can be transformed to the problem describing primes of the form which is extensively elaborated by David A. Cox [6].
3.5. Case 47:
Let us set and thus consider . It follows and . Using these two congruences we can approach a solution using Quadratic residue and the Chinese remainder theorem.
3.6. Case 56:
We can write which leads with to and . This is a special case of the prime gap problem. Setting , this is well known as the twin prime conjecture [7, 8].
![On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (5) On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (5)](https://i0.wp.com/arxiv.org/html/2401.00215v3/x1.png)
4. Considering being not prime
The six cases in section 3 are derived under the condition that is prime. If we consider that is not necessarily prime, we can reduce these six cases to four cases.The case 32 with prime will be a special case of case 26 with not prime.The case 40 with prime will be a special case of case 17 with not prime.
4.1. Case 17 with not prime:
Writing with prime and setting and leads to the modified case . The special case corresponds to the original case 17. The special case corresponds to case 40. Therefore this modified case makes the case 40 obsolete.
4.2. Case 26 with not prime:
Writing with prime and setting and leads to the modified case . The special case corresponds to the original case. The special case corresponds to case 32.
4.3. Case 47 with not prime:
Writing with prime and setting and leads to the modified case . The special case corresponds to the original case. The special case corresponds to case 10 which is impossible to satisfy. Moreover must be larger than .
4.4. Case 56 with not prime:
Writing with prime and setting and leads to the modified case . The special case corresponds to the original case. The special case corresponds to case 2 which is impossible to satisfy. Moreover must be larger than .
5. Visualize Patterns
Using the four cases presented in Section 4 we cover any curve where are odd primes.In Figure 2 we colorize each cell by red for case 4.1, green for case 4.2, blue for case 4.3 and yellow for case 4.4. The more curves covered by case 4.1 exist, the more intense is the color red. Analogously for the other colors. We unveiled the following patterns:
![On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (6) On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (6)](https://i0.wp.com/arxiv.org/html/2401.00215v3/x2.jpg)
![On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (7) On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (7)](https://i0.wp.com/arxiv.org/html/2401.00215v3/x3.png)
![On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (8) On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (8)](https://i0.wp.com/arxiv.org/html/2401.00215v3/x4.png)
![On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (9) On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (9)](https://i0.wp.com/arxiv.org/html/2401.00215v3/x5.png)
![On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (10) On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (10)](https://i0.wp.com/arxiv.org/html/2401.00215v3/x6.png)
![On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (11) On families of elliptic curves πΈ_{π,π}:π¦Β²=π₯Β³-πβ’πβ’π₯ that intersect the same line πΏ_{π,π}:π¦={π/π}β’π₯ of rational slope (11)](https://i0.wp.com/arxiv.org/html/2401.00215v3/x7.png)
6. Conclusion and Outlook
So far, we have inferred the conditions that two distinct odd primes must satisfy so that the elliptic curve can have rational points. There exist many curves that fulfill at least one of these conditions and therefore have rational points. However, the case , namely the elliptic curve has no other solution than .
Interesting directions for future research may include:
- β’
fixing a line and search for a family of curves where is a congruent number. Plot the pairs and explore a structure
- β’
fixing a curve and search for a family of lines that intersect this curve in rational points
- β’
taking a closer look at the visualized patterns and interpret these by drawing some conclusions about the distribution of prime numbers
7. Acknowledgements
We are grateful for the kind assistance and useful input from mathematics communities like the Stack Exchange Network or the MatheBoard Community. As an example let us mention Servaes and HAL 9000, for whose instant help in matters of number theory we are very grateful as for the help by many other pleasant people from the math communities.
We owe the graphical illustration of the patterns to Arty. He implemented the C++ programs that generate the needed data, which can be checked out on GitHub [9].
Appendix A Reasons for some cases to be unsatisfiable
In the following we provide (numbered) reasons for the unsatisfiability of conditions in Table 1:
- a)
Cases 1, 2, 3, 37, 53 and 54 are impossible to satisfy. This is due to the fact that is an integer requires the fractionβs numerator to be larger than the denominator.
- b)
These cases require to be even and as a consequence to be odd (since , and the fraction is reduced). Let us take for example case 4 with the equation that leads to when dividing it by and thus to the contradictory requirement is even. Another example is case 27 with . Also here must be even and therefore odd. But requires must be even.
- c)
Case 7 is unsolvable. We know that must be even and by substituting with we have to solve which is . Since is coprime with , we conclude that is a perfect square, which is impossible by an argument . Recall that if is a perfect square then or [5, p.21].
- d)
Case 31 is impossible to satisfy because the equation has no solution. The reason for this is that on the left side of the equation is an even number and on the right side is an odd number.
- e)
Cases 9, 10, 22 and 38 are unsatisfiable due to the assumed inequality .
- f)
Case 15 is unsatisfiable, since it requires leading to which violates the assumption .
- g)
Cases 9, 16, 30, 39, 46, 60 are unsatisfiable, since and are odd primes and the difference or sum of two even integers cannot be odd.
- h)
Case 55 is unsatisfiable, because it requires leading to the equation which has no solution.
Appendix B Reasons for some cases to be redundant
B.1. Case 8:
The integer can only accept the value , because p is an integer. The result is the equation , which is case 17 with .
B.2. Case 14:
We can rewrite this condition as . There are only two possible solutions and . Setting leads to which is a special case of case 46 and is impossible to satisfy due to reason g (Appendix A). Setting leads to which is a special case of case 47.
B.3. Case 21 and 51:
We can rewrite condition of case 21 as . There are only two possible solutions and . Setting leads to which is a special sub case of case 39. Setting leads to which is a special sub case of case 40.
Analoguously, we can rewrite condition of case 51 as . There are only two possible solutions and . Setting leads to which is a special sub case of case 9. Setting leads to which is a special sub case of case 10. Both cases are impossible to satisfy due to reason e (Appendix A).
B.4. Case 52:
The value of can only be to ensure that remains an integer. This leads to , which simultaneously goes for case 8, which is a special case of case 17.
B.5. Case 23:
It must be odd and must be even. Only solutions for exist, since the right-hand side of is an integer and the left-hand side is a fraction unless is . Setting boils the condition down to which is a special sub case of case 26.
B.6. Case 24:
Also here no solution exist for . The product can only be an integer when because the fraction is reduced (by assumption and are coprime). For this reason, case 24 is the same special case of case 26, just as case 23 does.
B.7. Case 25:
This case is identical with cases 23 and 24, since it provides only solutions for as well. The reason for this is analogous to both previous cases. Here is a fraction unless . For this reason, case 25 is the same special case of case 26, just as case 23 does.
B.8. Case 29 and Case 59:
In this case we get solutions if divides . Therefore only solutions exist if , as per assumption and are coprime. For Case 29, setting boils the condition down to which is a special sub case of case 26. For case 59, setting boils the condition down to which is a special sub case of case 56.
B.9. Case 44:
We can rewrite this condition as . There are only two possible solutions and . Setting leads to which is a special case of case 16 and is impossible to satisfy due to reason g (Appendix A). Setting leads to which is a special case of case 17.
B.10. Case 45:
See argumentation in B.4.
References
- [1]Reinhold Remmert and Peter Ullrich.Elementare Zahlentheorie.BirkhΓ€user, Basel, Switzerland, 3 edition, 2008.
- [2]O.Bordellès.Arithmetic Tales. Advanced Edition.Springer, 2020.
- [3]J.Friedlander and H.Iwaniec.Using a parity-sensitive sieve to count prime values of a polynomial.Proc. Natl. Acad. Sci. USA, 94(4):1054β1058, 1997.
- [4]LMFDBThe L-functions and ModularForms Database.Elliptic curve with lmfdb label 135200.bq1 (cremona label 135200o1).https://www.lmfdb.org/EllipticCurve/Q/135200/bq/1, 2021.
- [5]M.Aigner and G.M. Ziegler.Proofs from THE BOOK.Springer, 5 edition, 2014.
- [6]D.A. Cox.Primes of the Form .Wiley, 2 edition, 2013.
- [7]Fred Cohen and J.L. Selfridge.Not every number is the sum or difference of two prime powers.Mathematics of Computation, 29(129):79β81, 1975.
- [8]M.Ram Murty.The twin prime problem and generalizations (aprΓ¨s yitang zhang).Resonance, 18(8):712β731, 2013.
- [9]Eldar Sultanow.elliptic_curves.https://github.com/Sultanow/elliptic_curves/tree/master/cpp,2022.