Search papers, labs, and topics across Lattice.
This paper provides a direct separated-weight determinant argument to establish that the irrationality exponent of the logarithm of any positive rational number (excluding 1) is exactly 2. The proof relies on a novel moving-centre interpolation theorem and detailed analysis of parameter choices, denominator estimates, row translations, and analytic determinant bounds. The result implies that logarithms of positive rational numbers are transcendental numbers with a specific, minimal irrationality exponent.
Logarithms of positive rationals are provably transcendental with an irrationality exponent of exactly 2.
We present a direct separated-weight determinant argument for μ(log r) = 2 for every positive rational number r = 1. We first prove the moving-centre interpolation theorem used in the argument. We then fix an arbitrary r = a/b and give all parameter choices, denominator estimates, row translations, and analytic determinant bounds for that same argument. Rational linear combinations and rational affine changes follow as corollaries.Supplementary geometric extensions and an explicit finite-degree bound are collected in the appendices. This remains a research draft under audit; the reorganization does not constitute independent certification of its mathematical conclusions.