{"entities":{"Q690430":{"pageid":692279,"ns":120,"title":"Item:Q690430","lastrevid":51603413,"modified":"2026-01-19T00:56:54Z","type":"item","id":"Q690430","labels":{"en":{"language":"en","value":"A higher-dimensional Kurzweil theorem for formal Laurent series over finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6110665"}},"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":"Q690430$BFCCBE9B-115D-4834-8B93-159D13419895","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a691be0d0d60f61d44797912b47f9c1df2a0e270","datavalue":{"value":{"text":"A higher-dimensional Kurzweil theorem for formal Laurent series over finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690430$9BE84C90-6CEB-456E-BAB9-A7D043C7F21B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"551ca290b38498355103c1f5d6395697b6447b84","datavalue":{"value":"1258.11074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690430$80AC2F4F-6E42-4382-8D19-F1BE45CDDA79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57849d5b2c5e4861214e72a1133faf04115fe139","datavalue":{"value":{"entity-type":"item","numeric-id":690429,"id":"Q690429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$AA2CF395-9648-4DF9-A1C1-AD0A9E93E22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e3f8c56e30c0aba636cc6b4967d0a526a6896f6","datavalue":{"value":{"entity-type":"item","numeric-id":270635,"id":"Q270635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$32E3B603-6BA4-490A-B8BA-E25334DD2B6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33122a93dfb64681be222c65bf841053fa198b88","datavalue":{"value":{"entity-type":"item","numeric-id":165874,"id":"Q165874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$E4A24CD6-A4AA-4F8A-9E1A-96692C452B25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e36ecb600c934bbc19d79b7ffc96af390338f1","datavalue":{"value":{"time":"+2012-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690430$399DF9F3-7EA7-46A7-B894-1651B5E7114F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3801aacdbbb1eec44cf76b9d2a1da8b16983b1c7","datavalue":{"value":"In [Acta Arith. 150, No. 2, 129--142 (2011; Zbl 1248.11050)], \\textit{D. H. Kim} and \\textit{H. Nakada} proved an analogue of \\textit{J. Kurzweil}'s theorem [Stud. Math. 15, 84--112 (1955; Zbl 0066.03702)] for \\textit{inhomogeneous Diophantine approximation} of \\textit{formal Laurent series} over finite fields, with use of continued fraction theory.  In this article, the authors generalize this result to \\textit{simultaneous Diophantine approximation} with a proof of different nature.  Let \\(\\mathbb F_q\\) be the finite field with \\(q\\) elements, \\(\\mathbb F_q[T]\\) the polynomial ring and \\(\\mathbb F_q((T^{-1})):=\\{ f= a_nT^n+a_{n-1} T^{n-1}+\\dots : a_i\\in \\mathbb F_q, n\\in \\mathbb Z\\}\\) the field of formal Laurent series. For a formal Laurent series \\(f=a_nT^n+a_{n-1}T^{n-1}+\\dots \\), we define its fractional part by \\(\\{ f\\} =a_{-1}T^{-1}+a_{-2}T^{-2}+\\dots,\\) and its valuation by \\(|f|=q^{\\deg f}\\) where \\(\\deg f\\) is the generalized degree function. Let us define \\(\\mathbb L :=\\{ f\\in \\mathbb F_q((T^{-1})) : |f|<1\\}\\).  Fix two non-negative integers \\(r\\) and \\(s\\). Denote by \\(\\mathbb F_q[T]^r\\) the \\(r\\)-th fold cartesian product of \\(\\mathbb F_q[T]\\) and by \\(\\mathbb F_q((T^{-1}))^r\\) the \\(r\\)-th dimensional vector space over \\(\\mathbb F_q((T^{-1}))\\). Let \\(\\mathbf f=(f_1,\\dots,f_r)\\in\\mathbb F_q((T^{-1}))^r\\) be a vector. Then define its fractional part by \\(\\{\\mathbf f\\}:= (\\{f_1\\},\\dots,\\{f_r\\})\\) and its \\textit{valuation } \\(\\| \\mathbf f\\| =q^{\\deg \\mathbf f }=\\max _{1\\leq i\\leq r}|f_i|\\), where \\(\\deg \\mathbf f=\\max_{1\\leq i\\leq r} \\deg f_i\\). Note that \\(\\|\\cdot\\| \\) satisfies the \\textit{ultra-metric} property. Let \\(\\mathbb L^r\\) denote the \\(r\\)-th fold Cartesian product of \\(\\mathbb L\\) equipped with the \\textit{product measure} of \\(\\mathbb L\\).  For \\(A\\in \\mathbb L^{r\\times s}\\) and \\(\\mathbf g\\in \\mathbb L^s\\), let us consider  \\[  \\|\\{ \\mathbf qA\\} -\\mathbf g\\| < \\frac{1}{q^{\\lfloor\\frac{nr}{s}\\rfloor+l_n}}, \\mathbf q\\in \\mathbb F_q[T]^r, \\deg \\mathbf q=n, \\tag{2} \\]  where \\(\\l_n\\) is a sequence of non-negative integers. In this article, the authors assume that \\(A\\) is fixed and \\(\\mathbf g\\) is random. \\(A\\in \\mathbb L^{r\\times s}\\) is said \\textit{badly approximable } if there exists a \\(c\\in\\mathbb N\\) such that for all \\(\\mathbf q\\in \\mathbb F_q[T]^r\\) with \\(\\deg \\mathbf q=n\\), we have \\(\\|\\{\\mathbf qA\\}\\|\\geq \\frac{1}{q^{\\lfloor\\frac{nr}{s}\\rfloor+c}}.\\) Let us define the set  \\[ \\begin{multlined} W_{r,s}=\\Big\\{ A\\in \\mathbb L^{r\\times s} :\\;\\forall\\;l_n\\text{ with } \\sum_{n=0}^\\infty q^{-l_n s}=\\infty, \\\\ (2) \\text{ has infinitely many solutions for almost all } \\mathbf g\\Big\\}.\\end{multlined} \\]  The authors prove the following: We have \\(W_{r,s}= \\{A\\in \\mathbb L^{r\\times s} : A \\text{ is badly approximable}\\}.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q690430$A1D2BA93-9F99-4954-8123-6C3D44E0B4C1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06822504524dcfdcaf085711ac017760fd2656bc","datavalue":{"value":{"entity-type":"item","numeric-id":589836,"id":"Q589836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$2E4ED6F3-7526-42F2-AE15-D8EE0C44AD1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"26fd5b8e1484001fcb30eeee2f4fec518210f686","datavalue":{"value":"11J61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690430$85B46433-041F-46F9-8EED-ACC1E985463C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a3e3178bafe5014139461c57fc5affffac3c3f6","datavalue":{"value":"11J83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690430$6182BC21-AA94-4A35-AE86-AC24DB3A0C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da309690fce81a6588dc9fe4f5c2553e7a5bde1d","datavalue":{"value":"11K60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690430$CFDE48B3-A56A-413E-AFF4-A1986A8C016F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08b566b9409c186bf1a6bc137c4070b8e9b0949f","datavalue":{"value":"6110665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690430$60E1EEF1-98DF-4F4C-BCAD-0F9CE9B35037","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23cabb3ed623a6876830dbbc65064048788fc8a","datavalue":{"value":"formal Laurent series","type":"string"},"datatype":"string"},"type":"statement","id":"Q690430$5A72EB7A-EF2E-4651-A346-84DA4EFEA1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b7c70f66a88bb665f7489bd1afc071d42aae407","datavalue":{"value":"metric theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q690430$5E9C4363-938B-4060-8B3B-7CD53574A3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560813561082b1239154a132a1a540e8680880c8","datavalue":{"value":"simultaneous Diophantine approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q690430$D7B0B779-F688-4221-9890-DD85C4364E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a171d6291b5e39dffc208c76c360d515496d31","datavalue":{"value":"Kurzweil's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q690430$2D3B6725-6EE5-49E1-ABDA-4D0A483CA4C9","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":"Q690430$7095AF12-1B15-4524-A529-EAE0660D8DA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b10526f8a898cf9699876c4937f1d8ee68fcce9d","datavalue":{"value":"https://doi.org/10.1016/j.ffa.2012.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q690430$88A063FC-8B98-4CAC-970F-5FFD8AA58072","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3399da05ed45564c52802d788c21c180f67d2913","datavalue":{"value":"W2001867429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690430$4B82D392-CF28-4126-A5B8-2A0469F6E4C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3f0016946dec9533950483f8454ab434927826","datavalue":{"value":{"entity-type":"item","numeric-id":3241280,"id":"Q3241280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$AA0DCE75-AF41-43EA-9335-32909F30A4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2cf02ebf9c014d8e8421fbb2851d6565b8979e","datavalue":{"value":{"entity-type":"item","numeric-id":3419070,"id":"Q3419070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$AEA6AF91-333E-4E00-9BD2-FC052AFF3A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdd9da04bd26f2f65c92a9e169c7f1f8eff3eec","datavalue":{"value":{"entity-type":"item","numeric-id":5306688,"id":"Q5306688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$52161D5A-488C-40C3-8BA9-27556457346D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2e29a2c8b72d4adae39d2fcfa943d6ed3f236a","datavalue":{"value":{"entity-type":"item","numeric-id":4769223,"id":"Q4769223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$E661BC20-F0BD-4384-95ED-76F1D20BF8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a6ad995f453e7b5ce45cd1e018d401ff26f75e","datavalue":{"value":{"entity-type":"item","numeric-id":3092378,"id":"Q3092378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$BA2A0F43-2BAF-4B29-B370-4C0266C30D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d07f1f18173dbf05824b45e5ab027a4cd61832","datavalue":{"value":{"entity-type":"item","numeric-id":3084233,"id":"Q3084233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$0E8BFE8F-3118-478A-8D06-89BBA0DF69B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712b839a302627dae6af0a53c34aa8fe76754c19","datavalue":{"value":{"entity-type":"item","numeric-id":5850612,"id":"Q5850612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$501B8E0E-12DA-4CF3-8EE8-7A5D5A2D0A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b722d31f713e8c336871317940990b02a90a74a6","datavalue":{"value":{"entity-type":"item","numeric-id":2426463,"id":"Q2426463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690430$ABB97C9A-665B-4F15-A3B2-17116319677B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"323ab51010519a59bf6d407ce79b10af5a4df262","datavalue":{"value":"10.1016/J.FFA.2012.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690430$1AC3473E-ACBD-4F41-B2A2-4F8B39C3D310","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46aa9ed6404b4538892dbe6d32f20b03aac32594","datavalue":{"value":{"entity-type":"item","numeric-id":1943465,"id":"Q1943465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a2637ba5166707340d266b64ada192cfe8cd52","datavalue":{"value":{"amount":"+0.8575271368026733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690430$5CEECB91-ACDA-4C34-8DEC-A1D51881172D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ead0e116f4f5c5fe977337d60e5b4d8ddce486","datavalue":{"value":{"entity-type":"item","numeric-id":2426463,"id":"Q2426463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fccf85f261aba19d121a4b22adf1a24cf456a9","datavalue":{"value":{"amount":"+0.8311652541160583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690430$8CB70748-5CB7-4E6E-9572-87389EEA99F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6bae8dd22dc9fb78b250a24fcbbda146ce749e","datavalue":{"value":{"entity-type":"item","numeric-id":3092378,"id":"Q3092378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca4d8c69a1e091405bad0bedacc8f5cfa8d5e5b","datavalue":{"value":{"amount":"+0.8231836557388306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690430$D29B61EC-B68F-42CF-AD4D-6614CDEAD539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd3660ab7c6cdf58fda7acf290f19204f3b142a","datavalue":{"value":{"entity-type":"item","numeric-id":700166,"id":"Q700166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a37f3f94143eafabdc78fb8f0c42a4dbd09d7d","datavalue":{"value":{"amount":"+0.7964031100273132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690430$42514F44-36BB-4125-BC3C-C9CC27EE76FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b41fb7f422e02549b5c40bcbb2fc2bc75ec964","datavalue":{"value":{"entity-type":"item","numeric-id":3079947,"id":"Q3079947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f855c6d738c4489b4f04333d7adfafc6a0472787","datavalue":{"value":{"amount":"+0.7958583235740662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q690430$66635E36-8849-4315-8AD9-277EE1EAC7D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:690430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:690430"}}}}}