{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T06:30:30Z","timestamp":1787639430751,"version":"build-2736575974"},"reference-count":24,"publisher":"American Mathematical Society (AMS)","issue":"360","license":[{"start":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T00:00:00Z","timestamp":1782259200000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"

\n De Mathan and Teuli\u00e9 [Monatsh. Math. 143 (2004), pp.\u00a0229\u2013245] stated the\n \n \n \n p<\/mml:mi>\n p<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n adic Littlewood Conjecture<\/italic>\n (\n \n \n \n p<\/mml:mi>\n p<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ) in analogy with the classical Littlewood Conjecture. Given a field\n \n \n \n \n K<\/mml:mi>\n <\/mml:mrow>\n \\mathbb {K}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and an irreducible polynomial\n \n \n \n \n p<\/mml:mi>\n (<\/mml:mo>\n t<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n p(t)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n with coefficients in\n \n \n \n \n K<\/mml:mi>\n <\/mml:mrow>\n \\mathbb {K}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ,\n \n \n \n p<\/mml:mi>\n p<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n admits a natural analogue over function fields, abbreviated to\n \n \n \n \n p<\/mml:mi>\n (<\/mml:mo>\n t<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n p(t)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n (and to\n \n \n \n t<\/mml:mi>\n t<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n when\n \n \n \n \n p<\/mml:mi>\n (<\/mml:mo>\n t<\/mml:mi>\n )<\/mml:mo>\n =<\/mml:mo>\n t<\/mml:mi>\n <\/mml:mrow>\n p(t)=t<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n ).\n <\/p>\n

\n In this paper, an explicit counterexample to\n \n \n \n \n p<\/mml:mi>\n (<\/mml:mo>\n t<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n p(t)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n is found over fields of characteristic 5. Furthermore, an infinite family of Laurent series is described that is conjectured to disprove\n \n \n \n \n p<\/mml:mi>\n (<\/mml:mo>\n t<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n p(t)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n 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.\u00a02371\u20132419] in which they conjecture\n \n \n \n t<\/mml:mi>\n t<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n does not hold over all fields of characteristic\n \n \n \n \n p<\/mml:mi>\n \n \u2261\n \n <\/mml:mo>\n 3<\/mml:mn>\n \n mod<\/mml:mi>\n \n \n 4<\/mml:mn>\n <\/mml:mrow>\n p\\equiv 3\\mod 4<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and prove this in the case\n \n \n \n \n p<\/mml:mi>\n =<\/mml:mo>\n 3<\/mml:mn>\n <\/mml:mrow>\n p=3<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . Supported by computational evidence, this provides a complete picture on how\n \n \n \n \n p<\/mml:mi>\n (<\/mml:mo>\n t<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n p(t)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n is expected to behave over all fields with characteristic not equal to 2. Furthermore, the counterexample to\n \n \n \n t<\/mml:mi>\n t<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -\n \n \n \n \n L<\/mml:mi>\n C<\/mml:mi>\n <\/mml:mrow>\n LC<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n 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.\n <\/p>\n

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.<\/p>","DOI":"10.1090\/mcom\/4104","type":"journal-article","created":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T11:50:07Z","timestamp":1750765807000},"page":"1961-1986","source":"Crossref","is-referenced-by-count":8,"title":["Counterexamples to the \ud835\udc5d(\ud835\udc61)-adic Littlewood conjecture over small finite fields"],"prefix":"10.1090","volume":"95","author":[{"given":"Samuel","family":"Garrett","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steven","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"14","published-online":{"date-parts":[[2025,6,24]]},"reference":[{"issue":"10","key":"1","doi-asserted-by":"publisher","first-page":"2371","DOI":"10.1215\/00127094-2020-0077","article-title":"On the \ud835\udc61-adic Littlewood conjecture","volume":"170","author":"Adiceam, Faustin","year":"2021","journal-title":"Duke Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0012-7094","issn-type":"print"},{"issue":"1","key":"2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5802\/aif.1609","article-title":"Hankel determinants of the Thue-Morse sequence","volume":"48","author":"Allouche, J.-P.","year":"1998","journal-title":"Ann. Inst. Fourier (Grenoble)","ISSN":"https:\/\/id.crossref.org\/issn\/0373-0956","issn-type":"print"},{"issue":"1","key":"3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.5802\/jtnb.82","article-title":"Sous-suites polynomiales de certaines suites automatiques","volume":"5","author":"Allouche, Jean-Paul","year":"1993","journal-title":"J. Th\\'{e}or. Nombres Bordeaux","ISSN":"https:\/\/id.crossref.org\/issn\/1246-7405","issn-type":"print"},{"key":"4","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546563","volume-title":"Automatic sequences","author":"Allouche, Jean-Paul","year":"2003","ISBN":"https:\/\/id.crossref.org\/isbn\/0521823323"},{"issue":"11","key":"5","doi-asserted-by":"publisher","first-page":"4527","DOI":"10.1090\/proc\/15475","article-title":"On \ud835\udc61-adic Littlewood conjecture for certain infinite products","volume":"149","author":"Badziahin, D.","year":"2021","journal-title":"Proc. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9939","issn-type":"print"},{"issue":"9","key":"6","doi-asserted-by":"publisher","first-page":"1647","DOI":"10.1112\/S0010437X15007393","article-title":"On the complexity of a putative counterexample to the \ud835\udc5d-adic Littlewood conjecture","volume":"151","author":"Badziahin, Dmitry","year":"2015","journal-title":"Compos. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-437X","issn-type":"print"},{"key":"7","isbn-type":"print","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1063\/1.2841906","article-title":"On a mixed Littlewood conjecture in fields of power series","author":"Bugeaud, Yann","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9780735404953"},{"key":"8","isbn-type":"print","first-page":"105","article-title":"Multiplicative Diophantine approximation","author":"Bugeaud, Yann","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9782856293034"},{"key":"9","first-page":"5","article-title":"Around the Littlewood conjecture in Diophantine approximation","author":"Bugeaud, Yann","year":"2014"},{"key":"10","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4072-3","volume-title":"The book of numbers","author":"Conway, John H.","year":"1996","ISBN":"https:\/\/id.crossref.org\/isbn\/038797993X"},{"key":"11","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/BF01706087","article-title":"Uniform tag sequences","volume":"6","author":"Cobham, Alan","year":"1972","journal-title":"Math. Systems Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5661","issn-type":"print"},{"issue":"3","key":"12","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1112\/S0010437X07002801","article-title":"Measure rigidity and \ud835\udc5d-adic Littlewood-type problems","volume":"143","author":"Einsiedler, Manfred","year":"2007","journal-title":"Compos. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0010-437X","issn-type":"print"},{"issue":"2","key":"13","doi-asserted-by":"publisher","first-page":"513","DOI":"10.4007\/annals.2006.164.513","article-title":"Invariant measures and the set of exceptions to Littlewood\u2019s conjecture","volume":"164","author":"Einsiedler, Manfred","year":"2006","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"issue":"1","key":"14","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1215\/00127094-2019-0038","article-title":"Diagonal actions in positive characteristic","volume":"169","author":"Einsiedler, Manfred","year":"2020","journal-title":"Duke Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0012-7094","issn-type":"print"},{"issue":"1","key":"15","first-page":"Article 01.1.1, 38","article-title":"The number-wall algorithm: an LFSR cookbook","volume":"4","author":"Lunnon, W. F.","year":"2001","journal-title":"J. Integer Seq."},{"key":"16","doi-asserted-by":"publisher","first-page":"130","DOI":"10.4204\/EPTCS.1.13","article-title":"The Pagoda sequence: a ramble through linear complexity, number walls, D0L sequences, finite state automata, and aperiodic tilings","author":"Lunnon, Fred","year":"2009"},{"key":"17","unstructured":"[Lun17] F. Lunnon, Dragon wall tiling program and data, 2017, \\url{https:\/\/github.com\/FredLunnon\/dragon_{w}all\/}, Last accessed 08\/04\/2025."},{"issue":"3","key":"18","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s00605-003-0199-y","article-title":"Probl\u00e8mes diophantiens simultan\u00e9s","volume":"143","author":"de Mathan, Bernard","year":"2004","journal-title":"Monatsh. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0026-9255","issn-type":"print"},{"key":"19","unstructured":"[Nes] E. Nesharim, t-adic Littlewood in \ud835\udd3d_{\ud835\udd62}((\\frac{1}\ud835\udd65)), number wall, \\url{https:\/\/cocalc.com\/share\/public_{p}aths\/08de347bd272dd9a28a08531aecf5c6f3573f85e}, Last accessed 08\/04\/2025."},{"key":"20","unstructured":"[oM] University of Manchester, CSF3 Documentation, \\url{https:\/\/ri.itservices.manchester.ac.uk\/csf3\/}, Last accessed 08\/04\/2025"},{"key":"21","isbn-type":"print","first-page":"127","article-title":"An introduction to Littlewood\u2019s conjecture","author":"Queff\u00e9lec, Martine","year":"2009","ISBN":"https:\/\/id.crossref.org\/isbn\/9782856293034"},{"key":"22","unstructured":"[RG] S. Garrett and S. Robertson Number Wall Code, \\url{https:\/\/github.com\/Steven-Robertson2229\/Counterexamples_{t}o_{t}he_{p}-t-_{a}dic_{L}ittlewood_{C}onjecture_{O}ver_{S}mall_{F}inite_{F}ields}, Last accessed 18\/03\/2024."},{"key":"23","unstructured":"[Rob23] S. Robertson, Combinatorics on Number Walls and the \ud835\udc5d(\ud835\udc61)-adic Littlewood Conjecture, 2023, eprint 2307.00955"},{"issue":"1","key":"24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5802\/jtnb.1","article-title":"Quelles tuiles! (Pavages ap\u00e9riodiques du plan et automates bidimensionnels)","volume":"1","author":"Salon, Olivier","year":"1989","journal-title":"S\\'{e}m. Th\\'{e}or. Nombres Bordeaux (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0989-5558","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2026-95-360\/S0025-5718-2025-04104-8\/S0025-5718-2025-04104-8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T06:05:08Z","timestamp":1776837908000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2026-95-360\/S0025-5718-2025-04104-8\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,24]]},"references-count":24,"journal-issue":{"issue":"360","published-print":{"date-parts":[[2026,7]]}},"alternative-id":["S0025-5718-2025-04104-8"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/4104","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2025,6,24]]}}}