## Abstract

The p-adic Littlewood conjecture due to De Mathan and Teulié asserts that for any prime number p and any real number a, the equation j_{m}inf _{j≥1}jmj jmj_{p} ||hmai|| D 0 holds. Herejmj istheusualabsolutevalueoftheintegerm, jmj_{p} isitsp-adicabsolute value, and jhxij denotes the distance from a real number x to the set of integers. This still-open conjecture stands as a variant of the well-known Littlewood conjecture. In the same way as the latter, it admits a natural counterpart over the field of formal Laurent series K..t-^{1}// of a ground field K. This is the so-called t-adic Littlewood conjecture (t-LC). It is known that t-LC fails when the ground field K is infinite. The present article is concerned with the much more difficult case when this field is finite. More precisely, a fully explicit counterexample is provided to show that t-LC does not hold in the case that K is a finite field with characteristic 3. Generalizations to fields with characteristic other than 3 are also discussed. The proof is computer-assisted. It reduces to showing that an infinite matrix encoding Hankel determinants of the paperfolding sequence over F_{3}, the so-called number wall of this sequence, can be obtained as a 2-dimensional automatic tiling satisfying a finite number of suitable local constraints.

Original language | English |
---|---|

Pages (from-to) | 2371-2419 |

Number of pages | 49 |

Journal | Duke Mathematical Journal |

Volume | 170 |

Issue number | 10 |

DOIs | |

State | Published - 15 Jul 2021 |

Externally published | Yes |

## All Science Journal Classification (ASJC) codes

- General Mathematics