Abstract:For any prime $p$ and real number and $\alpha$, the $p$-adic Littlewood Conjecture due to de Mathan and Teulié asserts that \[\inf_{|m|\ge1}|m|_p\cdot |m|\cdot |\left\langle\alpha m\right\rangle|=0.\] Above, $|m|$ is the usual absolute value, $|m|_p$ is the $p$-adic norm and $\left|\left\langle x\right\rangle\right|$ is the distance from $x\in\mathbb{R}$ to the nearest integer. Let $\mathbb{K}$ be a field and $p(t)\in\mathbb{K}[t]$ be an irreducible polynomial. This paper deals with the analogue of this conjecture over the field of formal Laurent series over $\mathbb{K}$, known as the $p(t)$-adic Littlewood Conjecture ($p(t)$-LC). The following results are established: (1) Any counterexample to $p(t)$-LC for the case $p(t)=t$ generates a counterexample when $p(t)$ is any irreducible polynomial. Since Adiceam, Nesharim and Lunnon proved the $p(t)$-LC is false when $p(t)=t$ and $\mathbb{K}$ has characteristic three, one obtains a disproof of the $p(t)$-LC over any such field for any choice of irreducible polynomial $p(t)$. (2) A Khintchine-type theorem for $p(t)$-adic multiplicative approximation is established, enabling one to determine the measure of the set of counterexamples to $p(t)$-LC with an additional monotonic growth function. (3) The Hausdorff dimension of the same set is shown to be maximal when $p(t)=t$ in the critical case where the growth function is $\log^2$. These goals are achieved by developing an extensive theory in combinatorics relating $p(t)$-LC to the properties of the so-called number wall of a sequence. This is an infinite array containing the determinant of every finite Toeplitz matrix generated by that sequence. The main novelty of this paper is creating a dictionary allowing one to transfer statements in Diophantine approximation in positive characteristic to combinatorics through the concept of a number wall, and conversely.

A Measure Theoretic Proof of $\mathfrak p=\mathfrak t$

Are $\mathfrak a$ and $\mathfrak d$ your cup of tea? Revisited

Maximal towers and ultrafilter bases in computability

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$

Realizing arbitrarily large spectra of $\mathfrak{a}_{\text{T}}$

The $p$-adic limits of class numbers in $\mathbb{Z}_p$-towers

Initial Tukey structure below a stable ordered-union ultrafilter

Remarks on $τ$-tilted versions of the second Brauer-Thrall Conjecture

On $p$-adic Transference Theorem

Proofs that Modify Proofs

Some simple theories from a Boolean algebra point of view

Convergent sequences in iterated ultrapowers as p -compact groups

Perverse Filtrations via Brylinski-Radon transformations

The Cantor–Bernstein theorem: how many proofs?

Measure theoretic aspects of the finite Hilbert transform

A ratio ergodic theorem via tiling and uniformly syndetic markers

Spectral theory of $p$-adic unitary operator

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem

Combinatorics on Number Walls and the $p(t)$-adic Littlewood Conjecture