Consider the class of exp-log constants, which is constructed from the integers using the field operations, exponentiation and logarithm. Let be such an exp-log constant and let be its size as an expression. Witness conjectures attempt to give bounds for the number of decimal digits which need to be evaluated in order to test whether equals zero. For this purpose, it is convenient to assume that exponentials are only applied to arguments with absolute values bounded by . In that context, several witness conjectures have appeared in the literature and the strongest one states that it is possible to choose . In this paper we give a counterexample to this conjecture. We also extend it so as to cover similar, polynomial witness conjectures.

Keywords: witness conjecture, counterexample, zero testing, elementary constant, high precision fraud

A.M.S. subject classification: 11Y60, 68W30, 40-04

View: Html, TeXmacs, Pdf, BibTeX