{"entities":{"Q6908137":{"pageid":20948677,"ns":120,"title":"Item:Q6908137","lastrevid":84164987,"modified":"2026-05-12T20:27:23Z","type":"item","id":"Q6908137","labels":{"en":{"language":"en","value":"On the minimal denominator problem in function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8113849"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$C1CB5E3E-3F7E-463D-870A-23ECC8FBBD8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f6efbf5651143db9b1dfcc579d23ef1384bb5f6","datavalue":{"value":{"text":"On the minimal denominator problem in function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6908137$7A548C69-D141-4528-A9A3-E04D1451257C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"413f5a9713ca14460eadd5c949909baf65355396","datavalue":{"value":"10.1016/J.JNT.2025.08.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908137$55249371-7EAF-4D85-9042-D94A75EFDED6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c18c9593d800b71afbc2e804dac881798c060386","datavalue":{"value":{"entity-type":"item","numeric-id":6428528,"id":"Q6428528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$10AA5F42-CA16-4BCF-A83B-CADF2164126A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$199212C4-243D-4219-B0A1-E003262BF696","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91a038f19cf3fc844d7c3fb11200ffb5487a4cb4","datavalue":{"value":{"time":"+2025-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6908137$603271AA-3C8A-498B-A63D-15F64D3771C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"063789c530a1d5d1f7173bbe89d0169a9fd2682f","datavalue":{"value":"Let \\(\\mathcal{R}=\\mathbb{F}_q[x]\\) the ring of polynomials over the finite field \\(\\mathbb{F}_q\\) with \\(q\\) elements where \\(q=p^r\\) with \\(p\\) a prime and \\(r\\in \\mathbb{N}\\). Let \\(\\mathcal{K}\\) be the field of fractions of \\(\\mathcal{R}\\). Define an absolute value on \\(\\mathcal{K}\\) by \\(\\bigg|\\frac fg\\bigg|=q^{\\deg(f)-\\deg(g)}\\) where \\(f,g\\in \\mathcal{R}\\) and \\(g\\neq 0\\). Then the completion of \\(\\mathcal{K}\\) with respect to \\(\\mid \\cdot \\mid\\) is \\(\\mathcal{K}_{\\infty}=\\{\\underset{n=-N}{\\overset{\\infty}{\\sum}}a_nx^{-n}: a_n\\in \\mathbb{F}_q\\}\\). On \\(\\mathcal{K}_{\\infty}^n\\) define the supremum norm as \\(\\parallel (v_1,v_2,\\cdots,v_n)\\parallel=\\max_{i=1,2,\\cdots,n}\\mid v_i\\mid\\). The author studies the problem on minimal denominator in function fields, that is, the following quantity.\\N\\[\\N\\deg_{\\min}(\\boldsymbol{\\alpha},\\delta)=\\min\\bigg\\{d: \\text{ exists } \\frac{\\boldsymbol{P}}{Q}, \\deg(Q)=d,\\bigg|\\bigg|\\boldsymbol{\\alpha}-\\frac{\\boldsymbol{P}}{Q}\\bigg|\\bigg|<\\delta\\bigg\\},\\N\\]\\Nwhere \\(\\boldsymbol{\\alpha}=(\\alpha_1,\\cdots,\\alpha_n)\\in \\mathcal{K}_{\\infty}^n\\) and \\(\\boldsymbol{P}=(P_1,\\cdots,P_n)\\in \\mathcal{R}^n\\). We say that \\(Q\\) is a minimal denominator for \\(\\boldsymbol{\\alpha}\\) if \\(\\deg(Q)=\\deg_{\\min}(\\boldsymbol{\\alpha},\\delta)\\) and \\(\\bigg|\\bigg| \\boldsymbol{\\alpha}-\\frac{\\boldsymbol{P}}{Q}\\bigg|\\bigg|<\\delta\\). Let \\(\\boldsymbol{\\mathfrak{m}}=\\{\\alpha\\in \\mathcal{K}_{\\infty}: \\mid \\alpha\\mid\\leq q^{-1}\\}\\). One can write any \\(\\alpha\\in \\mathcal{K}_{\\infty}\\) as \\(\\alpha=[\\alpha]+\\{\\alpha\\}\\) where \\([\\alpha]\\in \\mathcal{R}\\) and \\(\\{\\alpha\\}\\in \\boldsymbol{\\mathfrak{m}}\\). Similarly for \\(\\boldsymbol{\\alpha}=(\\alpha_1,\\cdots,\\alpha_n)\\in \\mathcal{K}_{\\infty}^n\\) one can write \\(\\boldsymbol{\\alpha}=[\\boldsymbol{\\alpha}]+\\{\\boldsymbol{\\alpha}\\}\\) where \\([\\boldsymbol{\\alpha}]=(\\alpha_1,\\cdots,\\alpha_n)\\) and \\(\\{\\boldsymbol{\\alpha}\\}=(\\{\\alpha_1\\},\\cdots,\\{\\alpha_n\\})\\). If \\(Q\\) is a minimal denominator for \\(\\boldsymbol{\\alpha}\\) then it is also a minimal denominator for \\(\\{\\boldsymbol{\\alpha}\\}\\). So it suffices to assume that \\(\\boldsymbol{\\alpha}\\in \\boldsymbol{\\mathfrak{m}}^n\\).\\N\\NThe author proves the theorem that for \\(n=1\\) the probability\\N\\[\\N\\mathbb{P}(\\deg_{\\min}(\\alpha,q^{-1})=d)=\\begin{cases} \\frac 1q & \\text{ if }d=0,\\\\\\N\\frac{q-1}{q} & \\text{ if }d=1, \\end{cases}\\N\\]\\Nand for every \\(k\\geq2\\)\\N\\[\\N\\mathbb{P}(\\deg_{\\min}(\\alpha,q^{-k})=d)=\\begin{cases} q^{-k} & \\text{ if }d=0,\\\\\\N\\frac{q-1}{q^{k-2d+1}} & \\text{ if } d\\leq \\lceil \\frac k2\\rceil, d\\in \\mathbb{N},\\\\\\N0 & \\text{ else.} \\end{cases}\\N\\]\\NThe author also gives a precise value for \\(\\mathbb{E}[\\deg_{\\min}(\\bullet,q^{-k})]\\).\\N\\NThe author shows that for every \\(\\boldsymbol{\\alpha}\\in \\boldsymbol{\\mathfrak{m}}^n\\) and for every \\(k\\geq 1\\), there exists a unique monic polynomial \\(Q\\in\\mathcal{R}\\), such that \\(\\deg(Q)=\\deg_{\\min}(\\boldsymbol{\\alpha},q^{-k})\\) and \\(\\parallel Q\\boldsymbol{\\alpha}\\parallel <q^{-k}\\). This unique monic polynomial is denoted by \\(Q_{\\min}(\\boldsymbol{\\alpha},q^{-k})\\). For \\(n=1\\), then the author calculates for a monic polynomial \\(Q\\) with \\(\\deg(Q)\\leq \\lceil \\frac k2\\rceil\\) the probability of \\(Q_{\\min}(\\alpha,q^{-k})=Q\\) for every \\(k\\geq 1\\). In particular, the author shows that if \\(Q\\) is an irreducible monic polynomial of degree \\(d\\), then \\(\\mathbb{P}(Q_{\\min}(\\alpha,q^{-k})=Q)=\\frac{q^d-1}{q^k}\\). In higher dimensions for \\(n\\in \\mathbb{N}\\), for \\(Q\\in \\mathcal{R}\\), the author also shows that \\(Q_{\\min}(\\boldsymbol{\\alpha},q^{-k})=Q\\) if and only if for every \\(1\\leq i\\leq n,\\ Q_{\\min}(\\alpha_i,q^{-k})\\) divides \\(Q\\) and there exists \\(1\\leq i\\leq n\\) such that \\(Q_{\\min}(\\alpha_i,q^{-k})=Q\\). Further the author also shows that for \\(n,k\\in \\mathbb{N}, \\boldsymbol{\\alpha}\\in \\boldsymbol{\\mathfrak{m}}^n\\), \\(\\deg_{\\min}(\\boldsymbol{\\alpha},q^{-k})\\leq \\frac{nk}{n+1}\\). Moreover for every \\(d\\leq \\frac{nk}{n+1}\\), the author gives an upper bound for the probability:\\N\\[\\N\\mathbb{P}(\\deg_{\\min}(\\boldsymbol{\\alpha},q^{-k})\\leq d)\\leq q^{-kn-(n+1)d}.\\N\\]\\NThen the author discusses a \\(P\\)-adic invariant of the minimal denominator problem, which is motivated by the \\(P\\)-adic Littlewood conjecture. Let \\(P\\in \\mathcal{R}\\) be an irreducible polynomial and \\(\\alpha\\in \\boldsymbol{\\mathfrak{m}}\\) and let \\(k\\geq 1\\). Define \\(\\deg_{\\min, P}(\\alpha,q^{-k})=\\inf_{m\\geq 0}\\deg_{\\min}(P^m\\alpha,q^{-k})\\). The author shows the following result: For every irreducible \\(P\\in \\mathcal{R}\\) and for \\(1\\leq d\\leq \\lceil\\frac k2\\rceil\\),\\N\\[\\N\\dim_{H}\\{\\alpha\\in \\mathfrak{m}: \\deg_{\\min,P}(\\alpha,q^{-k})\\geq d\\}=\\frac{\\log_q(\\mid P\\mid^k-\\mid P\\mid^{2(d-1)})}{k\\deg(P)}\\N\\]\\Nwhere \\(\\dim_H(E)\\) is the Hausdorff dimension of \\(E\\subseteq \\mathcal{K}_{\\infty}^n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6908137$C68B890A-8ABE-4BA6-B809-3BF1D96C9FAF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"61e74f98ad93aacc70a1d797132e5279dd7100fc","datavalue":{"value":{"entity-type":"item","numeric-id":1621933,"id":"Q1621933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$7C8C81ED-B231-4A45-8FC7-CB050219D2D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4408999b780a76f850dec6c535b2536e7dfb88c","datavalue":{"value":"11J04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908137$7F5F9708-1E0B-495A-923B-696FE76575FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b5f1bf093847d8704e0deaa12f0bdb6f8ef633b5","datavalue":{"value":"11J13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908137$4A66F66D-CE21-4CB1-8C65-BCEF000C2071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"26fd5b8e1484001fcb30eeee2f4fec518210f686","datavalue":{"value":"11J61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908137$98F23367-AAC6-4FCB-B821-BB1EB89E0417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87b0ab5e703f4e942c8ccee589970cd968831af1","datavalue":{"value":"8113849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6908137$7C7D5676-BFF7-4F5F-B237-7CF9BF9721DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4938f51f8527bba37de5fed83e61341d4a7c1f07","datavalue":{"value":"minimal denominators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6908137$B8F862EE-EA48-4D2A-9F50-4F11BB210544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70032e71995505ba6babffe0368734bd3ce03d6f","datavalue":{"value":"function fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6908137$0FAAF5BA-82FA-42C9-BA63-1FF8C56167D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a05efc87855e633754ee0bacc3c29e0f2a2ffa","datavalue":{"value":"Hankel matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6908137$8AFCD121-1BCF-4A33-972F-40E3D34DC882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57c1b53391692c18a737204d8e89bef7a05df1a1","datavalue":{"value":"Diophantine approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6908137$45EDF8A0-9BEA-43B0-B1FD-2284E1511691","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$1E9ED2AA-20EF-43F4-9C8A-957A500B829F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8602f66822f26e2ab255a03742d3873e0769e6ff","datavalue":{"value":{"entity-type":"item","numeric-id":821485,"id":"Q821485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$0A24F582-7292-4E62-A4B0-1F6937CE98EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e05771936338075115c1976bc605335013b93bba","datavalue":{"value":{"entity-type":"item","numeric-id":7019139,"id":"Q7019139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$D2DD9849-A103-493F-8E97-8BDBCBCDB521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c383311786ad4d9d918e70cda7e73c74df73f93","datavalue":{"value":{"entity-type":"item","numeric-id":6536728,"id":"Q6536728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$D2EB2F18-3D15-46D7-BE28-2E705FBA3162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b694496d7c3d99ec9098e28c042619510d62541","datavalue":{"value":{"entity-type":"item","numeric-id":1489074,"id":"Q1489074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$446CEAC6-14AF-4770-B734-9186B33F26B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8983a1752c34be921786c637051ba32b3d49c67a","datavalue":{"value":{"entity-type":"item","numeric-id":5376525,"id":"Q5376525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$FE84F786-029A-4734-8EC0-E8B8026C89DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060cef124b98e5ff7ef92b9c72a545adc164ca28","datavalue":{"value":{"entity-type":"item","numeric-id":2669189,"id":"Q2669189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$15C61EFF-7731-43D6-898F-6A0B8DF41374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838f12fe8853b94863d127844fbd9c25382a65d8","datavalue":{"value":{"entity-type":"item","numeric-id":4145781,"id":"Q4145781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$2C15AEB8-4083-459E-8635-85BB2BCE1BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16313516017a7a997f30e2be4940fadd021c0835","datavalue":{"value":{"entity-type":"item","numeric-id":5625271,"id":"Q5625271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$8F9611A0-1BBD-4FFE-A051-41E3E2DE7F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e21591cc82111c0d1b2483bdddffa19d32a18c","datavalue":{"value":{"entity-type":"item","numeric-id":706207,"id":"Q706207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$42A7FA33-5A63-47F2-AAB7-1E5FA5DCAF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f17c725cfbba94bda332bcf1b9f1a67e7ec467","datavalue":{"value":{"entity-type":"item","numeric-id":5292409,"id":"Q5292409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$DE1D675D-04F9-4534-BC3F-B4A0DA8D0007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edfe51e69a2f388c35306634c57903c8987da6f9","datavalue":{"value":{"entity-type":"item","numeric-id":3995301,"id":"Q3995301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$6DEF6C17-1CD5-4D58-9040-ABCED87B465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2692b241ceb95c2e905e0871c5ef76f4f91c6019","datavalue":{"value":{"entity-type":"item","numeric-id":2431247,"id":"Q2431247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$B1B1AA62-7D7F-4D5D-9904-A93EB3A5CF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3e7a688aaa9bac84965339eb1d70bee821977b","datavalue":{"value":{"entity-type":"item","numeric-id":5272504,"id":"Q5272504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$E1A16EBF-E4A9-44B7-B505-C4AB609F1617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fb6f7606c9f5f31c2b687878332f694e41b29a","datavalue":{"value":{"entity-type":"item","numeric-id":6614895,"id":"Q6614895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$D5FF1A3F-01AD-4266-B758-68AAAB4FE9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bc32b6582c8c5bb5c589e5da36d3801b35a1cf","datavalue":{"value":{"entity-type":"item","numeric-id":2127376,"id":"Q2127376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$A9F5D2FD-B662-4EF4-982E-8A5C84DF8A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c92c96b07ee484ed7508e90b6c4dc98c794076","datavalue":{"value":{"entity-type":"item","numeric-id":2846966,"id":"Q2846966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6908137$1B8C641D-62F4-46A1-9A63-E0AA576E9951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the minimal denominator problem in function fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_minimal_denominator_problem_in_function_fields"}}}}}