We study the construct ion of auxiliary functions likely to aid in obtaining improved irrationality measures for cubic irrationalities and thence for arbitrary algebraic numbers. Specifically, we note that the construction of curves with singularities appropri ately prescribed for our purpose leads to a simultaneous Pade approximation problem. The first step towards an explicit construction appears to be the evaluation of certain determinants. Our main task here is the computation of an example determinant, which turns out indeed to be a product of a small number of factors each to high multiplicity—whence the adjective ‘powerful’. Our evaluation confirms a computational conjecture of Bombieri, Hunt and van der Poorten.
[2]
Enrico Bombieri,et al.
On Siegel's lemma
,
1983
.
[3]
Enrico Bombieri,et al.
Effective measures of irrationality for cubic extensions of number fields
,
1996
.
[4]
Doron Zeilberger.
Reverend Charles to the aid of Major Percy and Fields-Medalist Enrico
,
1995
.
[5]
Alfred J. van der Poorten,et al.
Determinants in the Study of Thue's Method and Curves with Prescribed Singularities
,
1995,
Exp. Math..
[6]
A. Poorten.
Generalised simultaneous approximation of functions
,
1991,
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.
[7]
C. Krattenthaler.
ADVANCED DETERMINANT CALCULUS
,
1999,
math/9902004.