The algebraic independence conjecture for logarithms

About 14 years old · traced to

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 n≥2n\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 n≥2.{\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 LDnQ⊆LDnQ‾⊆ADn{\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.

References

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.