Linear forms in the logarithms of three positive rational numbers

Curtis D. Bennett; Josef Blass; A. M. W. Glass; David B. Meronk; Ray P. Steiner

Journal de théorie des nombres de Bordeaux (1997)

  • Volume: 9, Issue: 1, page 97-136
  • ISSN: 1246-7405

Abstract

top
In this paper we prove a lower bound for the linear dependence of three positive rational numbers under certain weak linear independence conditions on the coefficients of the linear forms. Let Λ = b 2 log α 2 - b 1 log α 1 - b 3 log α 3 0 with b 1 , b 2 , b 3 positive integers and α 1 , α 2 , α 3 positive multiplicatively independent rational numbers greater than 1 . Let α j 1 = α j 1 / α j 2 with α j 1 , α j 2 coprime positive integers ( j = 1 , 2 , 3 ) . Let α j max { α j 1 , e } and assume that gcd ( b 1 , b 2 , b 3 ) = 1 . Let b ' = b 2 log α 1 + b 1 log α 2 b 2 log α 3 + b 3 log α 2 and assume that B max { 10 , log b ' } . We prove that either { b 1 , b 2 , b 3 } is c 4 , B -linearly dependent over (with respect to a 1 , a 2 , a 3 ) or Λ > exp - C B 2 j = 1 3 log a j , where c 4 and C = c 1 c 2 log ρ + δ are given in the tables of Section 6. Here b 1 , b 2 , b 3 are said to be ( c , B ) -linearly dependent over if d 1 b 1 + d 2 b 2 + d 3 b 3 = 0 for some d 1 , d 2 , d 3 not all 0 with either (i) 0 < | d 2 | c B log a 2 min { log a 1 , log a 3 } , | d 1 | , | d 3 | c B log a 1 , log a 3 , or (ii) d 2 = 0 and | d 1 | c B log a 1 log a 2 and | d 3 | c B log a 2 log a 3 . In particular, we obtain c 4 < 9146 and C < 422 , 321 for all values of B 10 , and for B 100 we have c 4 5572 and C 260 , 690 . . More complete information is given in the tables in Section 6. We prove this theorem by modifying the methods of P. Philippon, M. Waldschmidt, G. Wüstholz, et al. In particular, using a combinatorial argument, we prove that either a certain algebraic variety has dimension 0 or b 1 , b 2 , b 3 are linearly dependent over where the dependence has small coefficients. This allows us to improve Philippon’s zero estimate, leading to the interpolation determinant being non-zero under weaker conditions.

How to cite

top

Bennett, Curtis D., et al. "Linear forms in the logarithms of three positive rational numbers." Journal de théorie des nombres de Bordeaux 9.1 (1997): 97-136. <http://eudml.org/doc/248016>.

@article{Bennett1997,
abstract = {In this paper we prove a lower bound for the linear dependence of three positive rational numbers under certain weak linear independence conditions on the coefficients of the linear forms. Let $\Lambda = b_2 \log \alpha _2 - b_1 \log \alpha _1 - b_3\log \alpha _3 \ne 0$ with $b_1, b_2, b_3$ positive integers and $\alpha _1, \alpha _2, \alpha _3$ positive multiplicatively independent rational numbers greater than $1$. Let $\alpha _\{j1\} = \alpha _\{j1\} / \alpha _\{j2\}$ with $\alpha _\{j1\}, \alpha _\{j2\}$ coprime positive integers $(j = 1, 2, 3)$. Let $\alpha _j \ge \text\{ max\} \lbrace \alpha _\{j1\}, e\rbrace $ and assume that gcd$(b_1, b_2, b_3) = 1.$ Let\begin\{equation*\}b^\{\prime \} = \left( \frac\{b\_2\}\{\log \alpha \_1\} + \frac\{b\_1\}\{\log \alpha \_2\} \right) \, \left( \frac\{b\_2\}\{\log \alpha \_3\} + \frac\{b\_3\}\{\log \alpha \_2\} \right) \end\{equation*\}and assume that $B \ge \text\{ max\} \lbrace 10, \log b^\{\prime \}\rbrace .$ We prove that either $\lbrace b_1, b_2, b_3\rbrace $ is $\left( c_4, B \right)$-linearly dependent over $\mathbb \{Z\}$ (with respect to $\left( a_1, a_2, a_3 \right)$) or\begin\{equation*\}\Lambda &gt; \exp \left\lbrace - CB^2 \left( \prod ^\{3\}\_\{j = 1\} \log a\_j \right) \right\rbrace , \end\{equation*\}where $c_4$ and $C = c_1 c_2 \log \rho + \delta $ are given in the tables of Section 6. Here $b_1, b_2, b_3$ are said to be $(c, B)$-linearly dependent over $\mathbb \{Z\}$ if $d_1b_1 + d_2b_2 + d_3b_3 = 0$ for some $d_1, d_2, d_3 \in \mathbb \{Z\}$ not all $0$ with either (i) $0 &lt; |d_2| \le cB \log a_2 \text\{ min\}\lbrace \log a_1, \log a_3 \rbrace , |d_1|, |d_3| \le cB \log a_1, \log a_3,$ or (ii) $d_2 = 0 \text\{ and \} |d_1| \le cB \log a_1 \log a_2 \text\{ and \} |d_3| \le cB \log a_2 \log a_3.$ In particular, we obtain $c_4 &lt; 9146$ and $C &lt; 422,321$ for all values of $B \ge 10$, and for $B \ge 100$ we have $c_4 \le 5572$ and $C \le 260,690.$. More complete information is given in the tables in Section 6. We prove this theorem by modifying the methods of P. Philippon, M. Waldschmidt, G. Wüstholz, et al. In particular, using a combinatorial argument, we prove that either a certain algebraic variety has dimension $0$ or $\left\lbrace b_1,b_2,b_3 \right\rbrace $ are linearly dependent over $\mathbb \{Z\}$ where the dependence has small coefficients. This allows us to improve Philippon’s zero estimate, leading to the interpolation determinant being non-zero under weaker conditions.},
author = {Bennett, Curtis D., Blass, Josef, Glass, A. M. W., Meronk, David B., Steiner, Ray P.},
journal = {Journal de théorie des nombres de Bordeaux},
keywords = {interpolation determinants; linear forms in three logarithms; zero estimates},
language = {eng},
number = {1},
pages = {97-136},
publisher = {Université Bordeaux I},
title = {Linear forms in the logarithms of three positive rational numbers},
url = {http://eudml.org/doc/248016},
volume = {9},
year = {1997},
}

TY - JOUR
AU - Bennett, Curtis D.
AU - Blass, Josef
AU - Glass, A. M. W.
AU - Meronk, David B.
AU - Steiner, Ray P.
TI - Linear forms in the logarithms of three positive rational numbers
JO - Journal de théorie des nombres de Bordeaux
PY - 1997
PB - Université Bordeaux I
VL - 9
IS - 1
SP - 97
EP - 136
AB - In this paper we prove a lower bound for the linear dependence of three positive rational numbers under certain weak linear independence conditions on the coefficients of the linear forms. Let $\Lambda = b_2 \log \alpha _2 - b_1 \log \alpha _1 - b_3\log \alpha _3 \ne 0$ with $b_1, b_2, b_3$ positive integers and $\alpha _1, \alpha _2, \alpha _3$ positive multiplicatively independent rational numbers greater than $1$. Let $\alpha _{j1} = \alpha _{j1} / \alpha _{j2}$ with $\alpha _{j1}, \alpha _{j2}$ coprime positive integers $(j = 1, 2, 3)$. Let $\alpha _j \ge \text{ max} \lbrace \alpha _{j1}, e\rbrace $ and assume that gcd$(b_1, b_2, b_3) = 1.$ Let\begin{equation*}b^{\prime } = \left( \frac{b_2}{\log \alpha _1} + \frac{b_1}{\log \alpha _2} \right) \, \left( \frac{b_2}{\log \alpha _3} + \frac{b_3}{\log \alpha _2} \right) \end{equation*}and assume that $B \ge \text{ max} \lbrace 10, \log b^{\prime }\rbrace .$ We prove that either $\lbrace b_1, b_2, b_3\rbrace $ is $\left( c_4, B \right)$-linearly dependent over $\mathbb {Z}$ (with respect to $\left( a_1, a_2, a_3 \right)$) or\begin{equation*}\Lambda &gt; \exp \left\lbrace - CB^2 \left( \prod ^{3}_{j = 1} \log a_j \right) \right\rbrace , \end{equation*}where $c_4$ and $C = c_1 c_2 \log \rho + \delta $ are given in the tables of Section 6. Here $b_1, b_2, b_3$ are said to be $(c, B)$-linearly dependent over $\mathbb {Z}$ if $d_1b_1 + d_2b_2 + d_3b_3 = 0$ for some $d_1, d_2, d_3 \in \mathbb {Z}$ not all $0$ with either (i) $0 &lt; |d_2| \le cB \log a_2 \text{ min}\lbrace \log a_1, \log a_3 \rbrace , |d_1|, |d_3| \le cB \log a_1, \log a_3,$ or (ii) $d_2 = 0 \text{ and } |d_1| \le cB \log a_1 \log a_2 \text{ and } |d_3| \le cB \log a_2 \log a_3.$ In particular, we obtain $c_4 &lt; 9146$ and $C &lt; 422,321$ for all values of $B \ge 10$, and for $B \ge 100$ we have $c_4 \le 5572$ and $C \le 260,690.$. More complete information is given in the tables in Section 6. We prove this theorem by modifying the methods of P. Philippon, M. Waldschmidt, G. Wüstholz, et al. In particular, using a combinatorial argument, we prove that either a certain algebraic variety has dimension $0$ or $\left\lbrace b_1,b_2,b_3 \right\rbrace $ are linearly dependent over $\mathbb {Z}$ where the dependence has small coefficients. This allows us to improve Philippon’s zero estimate, leading to the interpolation determinant being non-zero under weaker conditions.
LA - eng
KW - interpolation determinants; linear forms in three logarithms; zero estimates
UR - http://eudml.org/doc/248016
ER -

References

top
  1. [1] A. Baker, The theory of linear forms in logarithms, in Transcendence Theory: Advances and Applications" Academic Press, London (1977), 1-27. Zbl0361.10028MR498417
  2. [2] A. Baker and G. Wüstholz, Logarithmic forms and group varieties, J. reine angew. Math.442 (1993),19-62. Zbl0788.11026MR1234835
  3. [3] J. Blass, A.M.W. Glass, D.K. Manski, D.B. Meronk, and R.P. Steiner, Constants for lower bounds for linear forms in the logarithms of algebraic numbers I, II, Acta Arith.55 (1990), 1-22, corrigendum, ibid65 (1993). Zbl0709.11037MR1056110
  4. [4] D.W. Brownawell and D.W. Masser, Multiplicity estimates for analytic functions II, Duke Math. Journal47 (1980), 273-295. Zbl0461.10027MR575898
  5. [5] L. Denis, Lemmes des zéros et intersections., Approximations diophantiennes et nombres transcendants Luminy (1990), éd. P. Philippon, de Gruyter (1992), 99-104. Zbl0773.14001MR1176519
  6. [6] Dong Ping Ping, Minorations de combinaisons linéaires de logarithmes de nombres algébriques p-adiques, C. R. Acad. Sci. Paris, Sér.1315 (1992), 103-106. Zbl0774.11035
  7. [7] A.O. Gel'fond, Transcendental and algebraic numbers, (Russian). English trans.: Dover, New York (1960). Zbl0090.26103MR111736
  8. [8] A.M.W. Glass, D.B. Meronk, T. Okada, and R. Steiner, A small contribution to Catalan's equation, J. Number Theory47 (1994), 131-137. Zbl0796.11013MR1275758
  9. [9] R. Hartshorne, Algebraic Geometry, Graduate Texts in Math.52, Springer Verlag, Heidelberg, 1977. Zbl0367.14001MR463157
  10. [10] E. Kunz, Introduction to Commutative Algebra and Algebraic Geometry (German), English trans.: Birkhaüser, Boston (1985). Zbl0563.13001MR789602
  11. [11] M. Laurent, Sur quelques résultats récents de transcendance, Astérisque198-200 (1991), 209-230. Zbl0762.11027MR1144324
  12. [12] M. Laurent, Hauteurs de matrices d'interpolation, Approximations diophantiennes et nombres transcendants, Luminy (1990), éd. P. Philippon, de Gruyter (1992), 215-238. Zbl0773.11047MR1176532
  13. [13] M. Laurent, Linear forms in two logarithms and interpolation determinants, Acta Arith.LXVI (1994), 181-199, or Appendix to [33]. Zbl0801.11034MR1276987
  14. [14] M. Laurent, M. Mignotte, and Y.V. Nesterenko, Formes linéaires en deux logarithmes et determinants d'interpolation, J. Number Theory55 (1995), 285-321. Zbl0843.11036MR1366574
  15. [15] D.W. Masser, On polynomials and exponential polynomials in several variables, Inv. Math.63 (1981), 81-95. Zbl0436.32005MR608529
  16. [16] D.W. Masser and G. Wüstholz, Zero estimates on group varieties I, Inv. Math.64 (1981), 489-516. Zbl0467.10025MR632987
  17. [17] D.W. Masser and G. Wüstholz, Zero estimates on group varieties II, Inv. Math.80 (1985), 233-267. Zbl0564.10041MR788409
  18. [18] D.W. Masser and G. Wüstholz, Fields of large transcendence degree, Inv. Math.72 (1983), 407-464. Zbl0516.10027MR704399
  19. [19] M. Mignotte and M. Waldschmidt, Linear forms in two logarithms and Schneider's method III, Ann. Fac. Sci. Toulouse97 (1989), 43-75. Zbl0702.11044MR1425750
  20. [20] Y.V. Nesterenko, Estimates for the orders of zeros of functions of a certain class and their applications in the theory of transcendental numbers, Math. USSR Izv.11 (1977), 239-270. Zbl0378.10022
  21. [21] P. Philippon, Lemmes de zéros dans les groupes algébriques commutatifs, Bull. Soc. Math. France114 (1986), 355-383, et 115 (1987), 397-398. Zbl0617.14001MR878242
  22. [22] P. Philippon and M. Waldschmidt, Lower bounds for linear forms in logarithms, Chapter 18 of New Advances in Transcendence Theory, Proc. Conf. Durham (1986), ed. A. Baker, Cambridge Univ. Press, Cambridge (1988), 280-312. Zbl0659.10037MR972007
  23. [23] P. Philippon and M. Waldschmidt, Formes linéaires de logarithmes elliptiques et mesures de transcendance, Théorie des nombres, Proc. Conf. Québec City1987, de Gruyter, Berlin, (1989), 798-805. Zbl0692.10035MR1024604
  24. [24] A.J. van der Poorten, Linear forms in logarithms in the p-adic case, Transcendence Theory: Advances and Applications, Academic Press, London (1977), 29-57. Zbl0367.10034MR498418
  25. [25] E. Reyssat, Approximation algébrique de nombres liés aux fonctions elliptiques et exponentielle, Bull. Soc. Math. France108 (1980), 47-79. Zbl0432.10018MR603340
  26. [26] T. Shorey and R. Tijdeman, Exponential Diophantine Equations, Cambridge Tracts in Mathematics, No. 87, Cambridge Univ. Press, Cambridge (1986). Zbl0606.10011MR891406
  27. [27] D. Sinnou, Minorations de formes linéaires de logarithmes elliptiques., Publ. Math. de l'Univ. Pierre et Marie Curie, No. 106, Problèmes diophantiennes 1991-1992, exposé 3. 
  28. [28] N. Tzanakis and B.M.M. de Weger, On the practical solution of the Thue equation, J. Number Theory31 (1989), 99-132. Zbl0657.10014MR987566
  29. [29] M. Waldschmidt, A lower bound for linear forms in logarithms, Acta Arith.37 (1980), 257-283. Zbl0357.10017MR598881
  30. [30] M. Waldschmidt, Nouvelles méthodes pour minorer des combinaisons linéaires de logarithmes de nombres algébriques, Sém. Th. Nombres Bordeaux3 (1991), 129-185. Zbl0733.11020MR1116105
  31. [31] M. Waldschmidt, Nouvelles méthodes pour minorer des combinaisons linéaires de logarithmes de nombres algébriques II, Problèmes Diophantiens1989-1990, Publ. Univ. Pierre et Marie Curie (Paris VI) 93 (1991), 1-36. 
  32. [32] M. Waldschmidt, Minorations de combinaisons linéaires de logarithmes de nombres algébriques, Canadian J. Math45 (1993), 176-224. Zbl0774.11036MR1200327
  33. [33] M. Waldschmidt, Linear independence of logarithms of algebraic numbers, Matscience Lecture Notes, Madras (1992). Zbl0809.11038
  34. [34] G. Wüstholz, Recent progress in transcendence theory, Springer Lecture Notes in Math., Springer Verlag, Heidelberg, 1068 (1984), 280-296. Zbl0543.10024MR756102
  35. [35] G. Wüstholz, A new approach to Baker's theorem on linear forms in logarithms I, Lecture Notes in Math., Springer Verlag, Heidelberg1290 (1987), 189-202. Zbl0632.10033MR927562
  36. [36] G. Wüstholz, A new approach to Baker's theorem on linear forms in logarithms II, Lecture Notes in Math., Springer Verlag, Heidelberg1290 (1987), 203-211. Zbl0632.10033MR927562
  37. [37] G. Wüstholz, A new approach to Baker's theorem on linear forms in logarithms, III, Chapter 25 of New Advances in Transcendence Theory, Proc. Conf. Durham (1986), ed. A. Baker, Cambridge Univ. Press, Cambridge (1988), 399-410. Zbl0659.10036MR972014
  38. [38] Kunrui Yu., Linear forms in p-adic logarithms I., Acta Arith.53 (1989), 107-186. Zbl0699.10050MR1027200
  39. [39] Kunrui Yu, Linear forms in p-adic logarithms II, Compositio Math.74 (1990), 15-113. Zbl0723.11034MR1055245

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.