Analysis improves lower bound for the argument of algebraic numbers with absolute value 1, suggesting implications for linear forms in logarithms.
We use Laurent’s (2008) lower bound for linear forms in two logarithms to give an improved lower bound for the argument of a power of a given algebraic number which has absolute value 1 but is not a root of unity.
No takes yet. Share an insight, caveat, or question.
Tomohiro Yamada (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: