{"entities":{"Q2407608":{"pageid":2418351,"ns":120,"title":"Item:Q2407608","lastrevid":52921199,"modified":"2026-01-23T19:48:13Z","type":"item","id":"Q2407608","labels":{"en":{"language":"en","value":"The Doeblin-Lenstra conjecture for a complex continued fraction algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6787086"}},"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":"Q2407608$B12B36C1-4B4E-42FC-A9FD-935D382525D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44ed203106668420dd1d56c39159f4defa08fcd2","datavalue":{"value":{"text":"The Doeblin-Lenstra conjecture for a complex continued fraction algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2407608$C97CA1F1-186C-462F-A4C1-605F3AD6D70D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51abf16c1b8e6e84c26dfb379c3899629bfe4aa9","datavalue":{"value":"1388.11055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407608$0EEE6536-24F8-4D91-A4E7-FA3126C90D32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a5106d7af158c5f733308b3b36d5a65643b1c42","datavalue":{"value":{"entity-type":"item","numeric-id":294083,"id":"Q294083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407608$8B957605-F424-4AA4-BECF-8E8B0803F525","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e81735ffae0dc240f9c7908f9071cba228792fc1","datavalue":{"value":{"entity-type":"item","numeric-id":172432,"id":"Q172432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407608$6E2596D6-3271-40A7-8159-3C3A2DB9E10C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695616c5b4ef01d1f1677c41fec2326bc5390a4e","datavalue":{"value":{"time":"+2017-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2407608$0F46D65D-563C-4E15-8597-BF69AA31A2F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe0603547d8664281a7e64acc0c6ef342f35ab53","datavalue":{"value":"https://projecteuclid.org/euclid.tjm/1502179214","type":"string"},"datatype":"url"},"type":"statement","id":"Q2407608$5AB32F7F-0A18-494C-B7EB-20D79EFC9AB7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9074b89334f86cdd70dbb924f01781cabac572f5","datavalue":{"value":"The transformation of Tanaka \\(T\\) is determined as follows: \\(T(0)=0\\) and  \\[  T(z):=\\frac{1}{z}-\\left[\\frac{1}{z}\\right]_T,  \\]  where  \\[  [z]_T:=\\left\\lfloor \\lambda+\\frac{1}{2}\\right\\rfloor \\alpha +\\left\\lfloor \\mu+\\frac{1}{2} \\right\\rfloor \\bar{\\alpha}\\quad \\text{for} \\quad z=\\lambda \\alpha+\\mu \\bar{\\alpha} \\quad \\text{with} \\quad \\alpha:=1+i. \\]  Each \\(z \\in X:=\\{z=\\lambda\\alpha+\\mu\\bar{\\alpha} : -\\tfrac{1}{2} \\leq \\alpha,\\mu < \\tfrac{1}{2} \\}\\) has a unique complex continued fraction expansion  \\[  z=a_0+\\frac{1}{a_1}{+}\\frac{1}{a_2}{+}\\frac{1}{a_3+T^3 z}=[a_0,a_1,a_2,a_3+T^3 z] \\qquad \\text{with} \\quad a_n:=\\left\\lfloor \\frac{1}{T^n z} \\right\\rfloor_T  \\]  as long as \\(T^n (z) \\neq 0\\). Let be given \\(z=[a_0,a_1,a_2,\\dots]\\) and define sequences of Gaussian integers \\(p_n\\) and \\(q_n\\) by  \\[  p_{-1}=\\alpha,\\; p_0=0 \\quad \\text{and} \\quad p_{n+1}=a_{n+1} p_n+p_{n-1} \\quad \\text{for} \\; n\\geq 1,  \\]   \\[  q_{-1}=0,\\; q_0=\\alpha \\quad \\text{and} \\quad q_{n+1}=a_{n+1} q_n+q_{n-1} \\quad \\text{for} \\; n\\geq 1,  \\]  From the representation  \\[  z=\\frac{p_n+p_{n-1}T^n z}{q_n+q_{n-1}T^n z}  \\]  follows that the so-called convergents \\(\\frac{p_n}{q_n}\\) converge to \\(z\\) as \\(n \\to \\infty\\). The approximation coefficients  \\[  \\theta_n:=\\theta_n(z):=|q_n|^2 \\left| z-\\frac{p_n}{q_n}\\right|  \\]  are examined in this paper. The following main result is proved in the article.  Theorem. For \\(x >0\\) define  \\[  l(x):=\\lim_{N \\to \\infty} \\frac{1}{N} \\sharp \\{n \\leq N: \\theta_n(z)\\leq x\\}.  \\]  Then, for almost all \\(z\\), the distribution function \\(l(x)\\) exist and is given by  \\[  l(x)=\\lim_{N \\to \\infty} \\frac{1}{N} \\sum_{n \\leq N} \\chi_{A_x}(\\mathbf{T}^n(z,0))=  \\]   \\[  =\\mu(A_x)=\\frac{1}{G} \\iint_{A_x} \\frac{d \\lambda(u,v)}{|1+uv|^4},  \\]  where \\(\\mathbf{T}\\) is defined in paper, \\(\\lambda\\) is the Lebesgue measure, \\(\\chi_{A_x}\\) is characteristic function of the set  \\[  A_x:= \\left\\{ (u,v)\\in X \\times Y: \\left|\\frac{1}{u}+v \\right|\\geq \\frac{1}{x} \\right\\},  \\]  and the normalizing constant  \\[  G:=4\\pi \\sum_{n=0}^\\infty \\frac{(-1)^n}{(2n+1)^2}  \\]  equals \\(4\\pi\\) times the Catalan constant.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407608$846B18BD-92B2-4888-888F-9530802E2D73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a02b6451421b7c62c8833d07cf80546c33864bd5","datavalue":{"value":{"entity-type":"item","numeric-id":590236,"id":"Q590236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2407608$91F33C20-D0B5-42F6-83CE-26845BBEADB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0befaa790b323ef6816b91ab2e2ed13fbfa3d847","datavalue":{"value":"11K50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407608$8D148C3F-AAEE-4330-A3FA-F3EF5CFD4A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"91cb6986ddcf41bae6dd85a43f71829d301a1aed","datavalue":{"value":"37A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407608$98694323-80CD-47DA-A745-24240B4F560B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32a5ab8c419d2e53312826133bc84a0e98cbca7f","datavalue":{"value":"6787086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407608$943CC120-C8E4-4DBF-AAB5-328F275850AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4333b6bdc88915417e721d53024f212d45fd4cc1","datavalue":{"value":"continued fraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407608$840D630E-BE69-40B4-AE0E-AB302D8D7F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca90f9fe303e255adb03a3853e7fbca58c2e433","datavalue":{"value":"approximation constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407608$FBE8D666-D219-43CB-980E-C5A7B96AE842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7672f902efa608260711ea2b9433a1cdeeba2e3e","datavalue":{"value":"Doeblin-Lenstra conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2407608$7E3CD240-6213-4A81-A2BF-D91B2D9BEC60","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":"Q2407608$D5A4F46A-C618-407D-AC3B-2A393A2D99DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec5eea55edf2a6fb673829a691515cf07d39bef3","datavalue":{"value":"W2744072397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407608$4ACAFC5E-64FD-4F38-85CA-5ECFB58FEF63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"86c98b1cff60fdad6132528fab82b674e3aed007","datavalue":{"value":"Q123125679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407608$AE5CADD4-D978-413D-8B9C-A0204FA082DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72693582076de0b00284befc70c682e0473ef8d6","datavalue":{"value":"10.3836/TJM/1502179214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2407608$9428C113-DA5E-4FB2-AFFC-D3D1306465DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0604053094be699b10943d7edacbb27caac0f46","datavalue":{"value":{"entity-type":"item","numeric-id":4602326,"id":"Q4602326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451dd505db6cf66692cc2daadc2d7c68589c27c8","datavalue":{"value":{"amount":"+0.7777677178382874","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":"Q2407608$8F3F0892-B22D-4FFC-BD80-D92D80830F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"829fcaca76f3cf7e8e92aec8aba4a6567588e780","datavalue":{"value":{"entity-type":"item","numeric-id":4273560,"id":"Q4273560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a76cf220b9d6a896dd31ae915b17c7083920ecb","datavalue":{"value":{"amount":"+0.7521238327026367","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":"Q2407608$1B608911-4A13-46DD-BFD6-C39AC7C4DF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d350bfa1725d04b4ab3d53980ac2595a5ad82f","datavalue":{"value":{"entity-type":"item","numeric-id":2406616,"id":"Q2406616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efa93dd9be16b73783d944341c991b275320b06","datavalue":{"value":{"amount":"+0.7498024106025696","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":"Q2407608$29775BEF-2CF1-45B1-AAF1-7D9F6449ACEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b0247d5a9bbd2ee7eb06c6674dc44e025f7e51","datavalue":{"value":{"entity-type":"item","numeric-id":5146469,"id":"Q5146469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cc1753d9c674fb6df4239c1af4ece1c5ac3e56","datavalue":{"value":{"amount":"+0.7424677014350891","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":"Q2407608$5AFACAF4-A4AD-4452-846C-DCA73C14F71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d145c2f3330cc9ee4a55219811e784b1a394fa","datavalue":{"value":{"entity-type":"item","numeric-id":3360958,"id":"Q3360958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1807e8c09a4804143e8ce11b0aff2486cb08af29","datavalue":{"value":{"amount":"+0.7332583665847778","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":"Q2407608$B48AE66A-4F7B-4964-A0D2-3FA2B0822701","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2407608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2407608"}}}}}