The algebraic independence conjecture for logarithms

Let L\mathcal{L} be the Q\mathbb Q-vector space of logarithms of algebraic numbers:

L={λeλQ}.\mathcal{L}=\big\{\lambda\mid e^{\lambda}\in\overline{\mathbb Q}\big\}.

For n2n\geq 2, let LDnQ{\sf LD}_n^{\mathbb Q} denote the relation of nn elements of L\mathcal{L} being linearly dependent over Q\mathbb Q, and let ADn{\sf AD}^n denote the relation of their being algebraically dependent. The algebraic independence conjecture for logarithms. In L\mathcal{L},

LDnQ=ADnfor all n2.{\sf LD}_n^{\mathbb Q}={\sf AD}^n\qquad\text{for all }n\geq 2.

This conjecture says that every Q\mathbb Q-linearly independent subset of logarithms of algebraic numbers is algebraically independent. It contains Baker's theorem as a subcase, since LDnQLDnQADn{\sf LD}_n^{\mathbb Q}\subseteq {\sf LD}_n^{\overline{\mathbb Q}}\subseteq {\sf AD}^n, and is presented in the source as an important open problem in transcendental number theory.

Sources & referencesView supporting material

Primary source

T. M. Gendron, “Diophantine Approximation Groups, Kronecker Foliations and Independence”, arXiv:1201.2708 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.