We consider the ensemble of curves {γα, N: α∈(0, 1], N∈ℕ} obtained by linearly interpolating the values of the normalized theta sum N−1/2∑n=0N'−1exp(πin2α), 0≤N'<N. We prove the existence of limiting finite-dimensional distributions for such curves as N→∞, when α is distributed according to any probability measure λ, absolutely continuous w.r.t. the Lebesgue measure on [0, 1]. Our Main Theorem generalizes a result by Marklof [Duke Math. J.97 (1999) 127–153] and Jurkat and van Horne [Duke...

In this paper we prove a lower bound for the linear dependence of three positive rational numbers under certain weak linear independence conditions on the coefficients of the linear forms. Let $\Lambda =b_{2}log{\alpha }_2-b_{1}log{\alpha }_1-b_{3}log{\alpha }_3\ne 0$ with $b_1,b_2,b_3$ positive integers and ${\alpha }_1,{\alpha }_2,{\alpha }_3$ positive multiplicatively independent rational numbers greater than $1$. Let ${\alpha }_{j1}={\alpha }_{j1}/{\alpha }_{j2}$ with ${\alpha }_{j1},{\alpha }_{j2}$ coprime positive integers $(j=1,2,3)$. Let ${\alpha }_j\ge \text{max}\{{\alpha }_{j1},e\}$ and assume that gcd$(b_1,b_2,b_3)=1.$ Let$$b^{\text{'}}=\left(\frac{b_2}{log{\alpha }_1}+\frac{b_1}{log{\alpha }_2}\right)\left(\frac{b_2}{log{\alpha }_3}+\frac{b_3}{log{\alpha }_2}\right)$$and assume that $B\ge \text{max}\{10,log{b}^{\text{'}}\}.$ We prove that either $\{b_1,b_2,b_3\}$ is $\left(c_4,B\right)$-linearly dependent over $\mathbb{Z}$ (with respect to $\left(a_1,a_2,a_3\right)$) or$$\Lambda \>exp\left\{-C{B}^2\left(\prod _{j=1}^{3}log{a}_j\right)\right\},$$where $c_4$ and $C=c_1{c}_{2}log\rho +\delta$ are given in the tables...

1. Introduction. Our aim is to test numerically the new method of interpolation determinants (cf. [2], [6]) in the context of linear forms in two logarithms. In the recent years, M. Mignotte and M. Waldschmidt have used Schneider's construction in a series of papers [3]-[5] to get lower bounds for such a linear form with rational integer coefficients. They got relatively precise results with a numerical constant around a few hundreds. Here we take up Schneider's method again in the framework...