Counterexamples to the 𝑝(𝑡)-adic Littlewood conjecture over small finite fields

Source abstract

De Mathan and Teulié [Monatsh. Math. 143 (2004), pp. 229–245] stated the p p - adic Littlewood Conjecture ( p p - L C LC ) in analogy with the classical Littlewood Conjecture. Given a field K \mathbb {K} and an irreducible polynomial p ( t ) p(t) with coefficients in K \mathbb {K} , p p - L C LC admits a natural analogue over function fields, abbreviated to p ( t ) p(t) - L C LC (and to t t - L C LC when p ( t ) = t p(t)=t ). In this paper, an explicit counterexample to p ( t ) p(t) - L C LC is found over fields of characteristic 5. Furthermore, an infinite family of Laurent series is described that is conjectured to disprove p ( t ) p(t) - L C LC over all fields of odd characteristic. This fills a gap left by a breakthrough paper from Adiceam, Nesharim and Lunnon [Duke Math. J. 170 (2021), pp. 2371–2419] in which they conjecture t t - L C LC does not hold over all fields of characteristic p ≡ 3 mod 4 p\equiv 3\mod 4 and prove this in the case p = 3 p=3 . Supported by computational evidence, this provides a complete picture on how p ( t ) p(t) - L C LC is expected to behave over all fields with characteristic not equal to 2. Furthermore, the counterexample to t t - L C LC over fields of characteristic 3 found by Adiceam, Nesharim and Lunnon is proven to also hold over fields of characteristic 7 and 11, which provides further evidence to the aforementioned conjecture. Following previous work in this area, these results are achieved by building upon combinatorial arguments and are computer assisted. A new feature of the present work is the development of an efficient algorithm (implemented in Python) that combines the theory of automatic sequences with Diophantine approximation over function fields. This algorithm is expected to be useful for further research around Littlewood-type conjectures over function fields.