19
$\begingroup$

I saw that there are many "applications" questions in Mathoverflow; so hopefully this is an appropriate question. I was rather surprised that there were only five questions at Mathoverflow so far with the tag diophantine-approximation, while there are almost 900 questions on number theory overall. It is my intention to promote the important subject a little bit by asking one more question.

Question:

What are some striking applications of Baker's theorem on lower bounds for linear forms on logarithms of algebraic numbers?

If, for example, I were in a discussion with a person who has no experience with diophantic approximation, to impress upon the person the importance of Baker's theorem I would cite the following two examples:

  1. Giving effective bounds for solutions of (most of the time exponential) diophantine equations under favorable condition. For example, Tijdeman's work on the Catalan conjecture, or giving effective bounds for Siegel's theorem, Fermat's last theorem, Falting's theorem, etc., in certain cases.

  2. Transcendence results which are significant improvements over Gelfond-Schneider. In particular, the theorem that if $\alpha_1, \ldots, \alpha_n$ are $\mathbb{Q}$-linearly independent, then their exponentials are algebraically independent over $\mathbb Q$. I would cite the expose of Waldschmidt for more details.

These are, to me, quite compelling reasons to study Baker's theorem. But as I do not know much more on the subject, I would run out of arguments after these two. I would appreciate any more striking examples of the power of Bakers' theorem. This is 1. for my own enlightenment, 2., for future use if such an argument as I hypothesized above actually happens, 3. To promote the subject of diophantine approximation in this forum, especially in the form of Baker's theorem.

Improve this question
$\endgroup$
5
  • $\begingroup$ I don't think "I want to promote X" is an appropriate question (indeed, it isn't a question at all) but the embedded "Tell me what theorem Y is good for" question seems fine. $\endgroup$
    – JSE
    Jul 27, 2010 at 20:17
  • $\begingroup$ @JSE: I didn't say that the question was "I want to promote Baker's theorem". I specifically highlighted the question and the rest was background and motivation, which MO seems to require before answering a question. $\endgroup$
    – Anweshi
    Jul 27, 2010 at 21:06
  • 1
    $\begingroup$ Anweshi, all applications of Baker's (and not only!) estimates for linear forms in logs are quite striking. What strikes me more is that certain diophantine equations cannot be "finalised" (ie, reduced to a finite amount of solutions) using Baker. $\endgroup$
    – Wadim Zudilin
    Jul 27, 2010 at 22:13
  • $\begingroup$ @Wadim: Aha! You are more surprised when Baker's theorem fails to settle a diophantine equation! I was under the impression that Baker's theorem is mainly good for exponential diophantine equations and also that for fixed diophantine equations of low degree Baker may not always work. Anyway the original question could be phrased again as: Are there important applications of Baker's theorem besides bounding the solutions of diophantine equations, and results on transcendence? Are you aware of any besides these two? $\endgroup$
    – Anweshi
    Jul 27, 2010 at 22:32
  • $\begingroup$ Anweshi, I think that the only ones I have in mind are these two, no surprise. :-) I'll post an example of applications in diophantine approximations. An exponential diophantine equation where Baker's theorem is of no help is presented in mathoverflow.net/questions/25661. $\endgroup$
    – Wadim Zudilin
    Jul 27, 2010 at 23:16

4 Answers 4

Reset to default
13
$\begingroup$

A quantitative example of applications of linear forms in logarithms is the following result from [S.D. Adhikari, N. Saradha, T.N. Shorey, and R.Tijdeman, Transcendental infinite sums, Indag. Math. (N.S.) 12:1 (2001) 1--14; Theorem 4 and Corollary 4.1] which is cited in many other articles.

Theorem. Let $P(x)$ and $Q(x)$ be two polynomials with algebraic coefficients such that $Q(x)$ has simple rational zeros and no others. Let $\alpha$ be an algebraic number. Then, assuming the convergence of the series $$ S=\sum_{n=1}^\infty\frac{P(n)}{Q(n)}\alpha^n, $$ the number $S$ defined by it is either rational or transcendental. Furthermore, if all zeros of $Q(x)$ lie in $-1\le x<0$, then either $S=0$ or $S$ is transcendental.

The theorem gives an elegant criterion for deciding whether a number of this particular form is transcendental or not (like continued fractions allow us to decide whether a given number is from a quadratic field or not). However it is not applicable for the sums like $$ \zeta(3)=\sum_{n=1}\frac1{n^3}, $$ as factorisation of the denominator polynomial, $Q(x)=x^3$, involves multiple rational zeros.

Improve this answer
$\endgroup$
2
12
$\begingroup$

Surely the most striking application was the solution of the class number one problem.

Improve this answer
$\endgroup$
5
  • $\begingroup$ Oh, yes! I had forgotten it as my mind was full of the work of Heegner, Dorian Goldfeld, etc! Surely, it is the most striking. $\endgroup$
    – Anweshi
    Jul 28, 2010 at 11:11
  • 4
    $\begingroup$ Except that it was unneeded there, as pointed out in the aftermath by Stark. You only needed two logs, and then its just Gelfond (and effective) which is much simpler. Similar to other historical cases, what is the bottleneck is not always the first to seem to be the crux in retrospect. ams.org/journals/proc/1969-021-01/S0002-9939-1969-0237461-X/… $\endgroup$
    – Junkie
    Jul 28, 2010 at 12:29
  • $\begingroup$ @Junkie. Thanks. I didn't know that it could be obtained using merely Gelfond-Schneider. But it seems the case that Baker's theorem got its fame firstly through this achievement, if I am not mistaken. $\endgroup$
    – Anweshi
    Jul 28, 2010 at 12:31
  • 1
    $\begingroup$ @Junkie, my reading of the Stark paper is that one also needs a result on L-functions that was only published (by Stark) in 1968/69. But perhaps this result, too, could have been proved by Gelfond and Linnik in 1949. Anyway, thanks for the pointer to Stark's paper. $\endgroup$
    – Gerry Myerson
    Jul 29, 2010 at 6:14
  • 1
    $\begingroup$ I agree with Gerry. The last sentence of Stark's states: "Gelfond and Linnik's idea coupled with Gelfond's effective theorem on linear forms in two logarithms would have settled the class-number one problem in 1949 had only the expansion in (2) been available with characters to nonprime moduli." But this expansion was not available, it was proved by Stark in the 1960s. $\endgroup$
    – Micah Milinovich
    Jul 30, 2010 at 17:38
7
$\begingroup$

Brumer's proof of Leopoldt's conjecture for abelian extensions of Q.

Improve this answer
$\endgroup$
2
$\begingroup$

This recent result Root separation for trinomials by Koiran also uses Baker's Theorem. In my PhD thesis, we use this result to demonstrate a polynomial time algorithm to isolate real roots of integer trinomials.

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.