A linear independence measure for certain \(p\)-adic numbers (Q1179506)

La série \(\sum_{n\geq 0}q^{n(n-1)/2}z^ n\) définit une fonction analytique \(f\) dés que \(q\in\mathbb{Q}\), \(| q|_ p<1\) où \(|\cdot|_ p\) est la valeur absolue \(p\)-adique sur \(\mathbb{Q}\) usuelle. Les propriétés arithmétiques des valeurs de cette fonction ont été étudiées par plusieurs auteurs sous diverses conditions. Les AA. donnent une nouvelle mesure d'indépendance linéaire sur \(\mathbb{Q}\) de \(f(\gamma_ 1,\ldots,\gamma_ D)\) lorsque \(\gamma_ 1,\ldots,\gamma_ D\in\mathbb{Q}^*\) satisfont \(\gamma_ i/\gamma_ j\neq q^ n\) pour tout \(i\neq j\), \(n\in\mathbb{Z}\) et \[ 1+(\log| q|_ p)/\log\max H(q)<(2D+1-(1+4D^ 2)^{1/2})/2D \] où \(H(q)\) désigne la hauteur habituelle de \(q\). La méthode de démonstration utilise les approximants de Padé (de seconde espèce) du système de fonctions \((f(\gamma_ 1z),\ldots,f(\gamma_ Dz))\) déterminés par T. Stihl.