The p(t)p(t)-adic Littlewood Conjecture over finite fields

At least 2 years old · documented by

Let Fq\mathcal{F}_q be a finite field, let Fq((t−1))\mathcal{F}_q((t^{-1})) be the field of formal Laurent series, and let ∣Θ(t)∣=qdeg⁡(Θ(t))|\Theta(t)|=q^{\deg(\Theta(t))} be the norm. For an irreducible polynomial p(t)∈Fq[t]p(t)\in\mathbb{F}_q[t], define ∣N(t)∣p(t)=∣p(t)∣−νp(t)(N(t))|N(t)|_{p(t)}=|p(t)|^{-\nu_{p(t)}(N(t))}. Let ∣⟨⋅⟩∣|\langle\cdot\rangle| denote the distance to the nearest polynomial in Fq[t]\mathcal{F}_q[t]. The p(t)p(t)-adic Littlewood Conjecture. For every Θ(t)∈Fq((t−1))\mathcal{\Theta}(t)\in\mathbb{F}_q((t^{-1})) and every irreducible p(t)∈Fq[t]p(t)\in\mathbb{F}_q[t],

inf⁡N(t)∈Fq[t]\{0}∣N(t)∣⋅∣N(t)∣p(t)⋅∣⟨N(t)Θ(t)⟩∣=0.\inf_{N(t)\in\mathbb{F}_q[t]\backslash\{0\}}|N(t)|\cdot |N(t)|_{p(t)}\cdot |\langle N(t)\Theta(t)\rangle|=0.

The paper studies this function-field analogue over finite fields; the supplied status is unknown, and the introduction describes explicit counterexamples in odd characteristic.

References

Primary source

Samuel Garrett and Steven Robertson, “Counterexamples to the p(t)-adic Littlewood Conjecture Over Small Finite Fields”, arXiv:2405.14454 (2025).

Additional references

2 papers in this index state this conjecture (2023–2024). The statement above is taken from the most recent of them; the others are arXiv:2307.00955.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.