Table of Contents
Fetching ...

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

Steven Robertson

TL;DR

The paper develops a function-field analogue of the Littlewood-type problems via P(t)-adic Littlewood Conjecture and proves a transference principle from counterexamples to t-LC to counterexamples for any irreducible P(t). It introduces number walls as a powerful combinatorial dictionary linking Diophantine approximation in positive characteristic to Toeplitz/Hankel determinants, and uses this framework to establish a Khintchine-type result and a Hausdorff-dimension computation for sets of counterexamples with a log^2-growth function. A substantial portion is devoted to building a rigorous combinatorial theory on number walls, including finite walls, blade structures, and expansive window-growth lemmas, to control measure-theoretic and dimensional properties. The results show that P(t)-LC is false in broad settings (infinite fields or certain characteristics) and provide precise metric characterizations of counterexample sets, highlighting the central role of the wall-based combinatorics in understanding function-field Diophantine phenomena.

Abstract

For any prime $p$ and real number and $α$, the $p$-adic Littlewood Conjecture due to de Mathan and Teulié asserts that \[\inf_{|m|\ge1}|m|_p\cdot |m|\cdot |\left\langleα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 $P(t)$-LC is knwon to be false when $P(t)=t$ and $\mathbb{K}$ has characteristic 0,3,5,7 and 11, 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 $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 in the case $P(t)=t$. (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.

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

TL;DR

The paper develops a function-field analogue of the Littlewood-type problems via P(t)-adic Littlewood Conjecture and proves a transference principle from counterexamples to t-LC to counterexamples for any irreducible P(t). It introduces number walls as a powerful combinatorial dictionary linking Diophantine approximation in positive characteristic to Toeplitz/Hankel determinants, and uses this framework to establish a Khintchine-type result and a Hausdorff-dimension computation for sets of counterexamples with a log^2-growth function. A substantial portion is devoted to building a rigorous combinatorial theory on number walls, including finite walls, blade structures, and expansive window-growth lemmas, to control measure-theoretic and dimensional properties. The results show that P(t)-LC is false in broad settings (infinite fields or certain characteristics) and provide precise metric characterizations of counterexample sets, highlighting the central role of the wall-based combinatorics in understanding function-field Diophantine phenomena.

Abstract

For any prime and real number and , the -adic Littlewood Conjecture due to de Mathan and Teulié asserts that Above, is the usual absolute value, is the -adic norm and is the distance from to the nearest integer. Let be a field and be an irreducible polynomial. This paper deals with the analogue of this conjecture over the field of formal Laurent series over , known as the -adic Littlewood Conjecture (-LC). The following results are established: (1) Any counterexample to -LC for the case generates a counterexample when is any irreducible polynomial. Since -LC is knwon to be false when and has characteristic 0,3,5,7 and 11, one obtains a disproof of the -LC over any such field for any choice of irreducible polynomial . (2) A Khintchine-type theorem for -adic multiplicative approximation is established, enabling one to determine the measure of the set of counterexamples to -LC with an additional monotonic growth function in the case . (3) The Hausdorff dimension of the same set is shown to be maximal when in the critical case where the growth function is . These goals are achieved by developing an extensive theory in combinatorics relating -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.
Paper Structure (25 sections, 24 theorems, 149 equations, 43 figures)

This paper contains 25 sections, 24 theorems, 149 equations, 43 figures.

Key Result

Theorem 1.1.1

Let $l$ be a natural number, let $\mathbb{K}$ be a field and let $P(t)\in{\mathbb{K}}[t]$ be an irreducible polynomial of degree $d(P)$. Additionally, define a Laurent series and let $q=2$ if $\mathbb{K}$ is infinite and let $q$ be the cardinality of $\mathbb{K}$ otherwise. Assume that Then the Laurent series $\Theta(P(t))\in{\mathbb{K}}(\!(P(t)^{-1})\!)\subset{\mathbb{K}}\left(\!\left(t^{-1}\righ

Figures (43)

  • Figure 1: Illustration of a window in a number wall. The window is in red and the inner frame is in blue.
  • Figure 2: Each dot represents an entry in a number wall. The finite sequence (light green dots) that generates the finite number wall (whole picture) is on row zero. Each dot represents an entry in the finite number wall, with the dark green dots being those that are known explicitly and the black dots being those that are still variables.
  • Figure 3: Left: The number wall of a sequence of length 25 generated uniformly and randomly over $\mathbb{F}_5$. The zero entries are coloured in red, with the nonzero values assigned a shade of grey, with 1 being the darkest and 4 being the lightest. The top row (red) has index $-2$. Right: A blank dot diagram.
  • Figure 4: The two by two window above is complete, as the inner frame (denoted by the circles with crosses) is fully defined.
  • Figure 5: Two examples of closed windows. Left: at least two entries of each side of the inner frame are known, and therefore all four of the ratios of the geometric sequences comprising the inner frame are calculable. Right: all four ratios of the inner frames are calculable by Theorem \ref{['ratio ratio']}.
  • ...and 38 more figures

Theorems & Definitions (67)

  • Conjecture 1.0.1: $\mathbf{p}$-LC, de Mathan and Teulié, 2004
  • Conjecture 1.0.2: $\mathbf{P(t)}$-adic Littlewood Conjecture, de Mathan and Teulié, 2004
  • Theorem 1.1.1: Transference between $P(t)$-LC and $t$-LC
  • Corollary 1.1.2
  • Theorem 1.1.3
  • Theorem 1.1.4
  • Theorem 1.1.5
  • Lemma 2.0.1
  • proof : Proof of Lemma \ref{['lemma4']}
  • proof : Completion of the proof of Theorem \ref{['mainresult']}.
  • ...and 57 more