{"entities":{"Q6879285":{"pageid":20772268,"ns":120,"title":"Item:Q6879285","lastrevid":84216812,"modified":"2026-05-13T17:22:23Z","type":"item","id":"Q6879285","labels":{"en":{"language":"en","value":"Euclidean algorithms are Gaussian over imaginary quadratic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8140809"}},"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":"Q6879285$F66FFC95-400A-4BAB-A376-4F85CC7280EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4934a83c5fb8aa397207776d8413087d328a52fe","datavalue":{"value":{"text":"Euclidean algorithms are Gaussian over imaginary quadratic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6879285$573F5A6E-3CAE-4A44-ACEF-97ACEEA4C74B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04e42618da800ed36c247f2aee94295b6e404e81","datavalue":{"value":"10.1112/JLMS.70333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879285$818471DE-5B2A-41F0-BFDD-CEA4FA22C50D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b1e6c2fa567c380ab46a4b0c342907797402fa3","datavalue":{"value":{"entity-type":"item","numeric-id":1419700,"id":"Q1419700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$A8A1C034-BAD5-4439-9266-373BE673A9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c56d7467af78c83367fc4858826d19b30720e035","datavalue":{"value":{"entity-type":"item","numeric-id":2986344,"id":"Q2986344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$1CF3F1CB-4E17-4E48-8F76-6BDB1FE41FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2e94f9799ee6cb88905dbddea9baacba46dd84e","datavalue":{"value":{"entity-type":"item","numeric-id":405950,"id":"Q405950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$74400E8F-82C5-4F2F-8F47-16AAEBFBF6AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd06f03000a68ed41ca657843f37f844031b6943","datavalue":{"value":{"entity-type":"item","numeric-id":6536654,"id":"Q6536654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$3BE6E63C-7F07-4C73-9A7A-20C2287C0679","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8626ccbf071a020db90493816e8dc39228fc4cee","datavalue":{"value":{"time":"+2026-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6879285$EEBFCB9C-8A09-4D0F-A42C-8A9159DC1090","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14b1e2e72abf70ec4b5f1eed344989fe2862ef39","datavalue":{"value":"It is well known that the Euclidean algorithm can be recorded via a continued fraction (CF). That is \\( {a}/{b}:=[a_1,a_2, \\dots, a_{\\ell}]. \\) For a rational \\(x \\in [0,1]\\cap \\mathbb{Q}\\), we let \\(\\ell(x):=\\ell\\) and call it the length of the continued fraction of \\(x\\). Let \\(\\mathcal{O} \\subset \\mathbb{C}\\) be a discrete ring for which the field of fractions is Euclidean. It is one of the imaginary quadratic fields \\(K_d:=\\mathbb{Q}(\\sqrt{-d})\\) for \\(d=1,2,3,7,11\\). It is found a strict fundamental domain \\( I'_d \\subset \\{z \\in \\mathbb{C} : |z|\\leqslant 1\\}\\) of the translation action of \\(\\mathcal{O}_d\\) on \\(\\mathbb{C}\\) for such \\(K_d\\) and its ring of integers \\(\\mathcal{O}_d\\). An analogue of the Gauss map is defined. It is called the Hurwitz CF map or the nearest integer complex CF map. A dynamical framework for the statistical study of \\(K\\)-rational trajectories based on the transfer operator methods is presented.\\N\\NThe following theorem is one of the main results of the article.\\N\\N\\textbf{Theorem.} Let \\(c : \\mathcal{O} \\to \\mathbb{R}_{\\geqslant 0}\\) be bounded and not cohomologous to zero. The distribution of the total cost \\(C\\) on\\N\\[\\N\\Omega_N := \\left\\{\\frac{a}{b} \\in I : |b|^2 < N \\right\\}\\N\\]\\Nis asymptotically Gaussian, that is, there exist real numbers \\(\\mu(c), \\delta(c)>0\\) such that for any \\(u \\in \\mathbb{R}\\),\\N\\[\\N\\mathbb{P}_N \\left[\\frac{C-\\mu(c) \\log N}{\\delta(c)\\sqrt{\\log N}}\\leqslant u\\right]=\\frac{1}{\\sqrt{2\\pi}} \\int_{-\\infty}^u e^{-\\frac{t^2}{2}} dt +O\\left(\\frac{1}{\\sqrt{\\log N}} \\right)\\N\\]\\Nas \\(N \\to \\infty\\), where \\(\\mathbb{P}_N\\) denotes the uniform probability measure on \\(\\Omega_N\\).The expectation and variance satisfy\\N\\[\\N\\mathbb{E}_N [C|\\Omega_N]=\\mu(c) \\log N+\\mu_1(c)+ O(N^{-\\gamma}),\\N\\]\\N\\[\\N\\mathbb{V}_N [C|\\Omega_N]= \\delta(c) \\log N+\\delta_1(c)+O(N^{-\\gamma}),\\N\\]\\Nfor some \\( \\mu_1(c), \\delta_1(c)\\), and \\(\\gamma>0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879285$FF35E489-BFD3-4BC6-9B0B-34F07B9E4806","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":"Q6879285$A9DDB618-549E-45FF-8C24-7116D4277143","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5648d57cf9b82b961864414b7326649c4d02c6a2","datavalue":{"value":"11J70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879285$038D0271-771C-4E40-B76D-859723D52162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ded796ece5f27b2ecdda30dbaa787678fc66e6b6","datavalue":{"value":"37C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879285$525FAEE0-E51E-4346-9C6A-98749CFD1EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06501b652e368cc105ad78a5eac217e38c314cda","datavalue":{"value":"60F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879285$F2EC020F-9A7F-40E8-9A92-F8C9538710B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879285$93195327-271C-4011-82ED-B3C9C32C0ECC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93f96e37eaca2264ee00fca1dd01bab35c6141a7","datavalue":{"value":"8140809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879285$66CDE55C-5EFA-41EE-A4C5-6075155ECA92","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$3D670C0E-5458-47CB-ACF6-D678415FF175","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ad86bb53b74d37af3a4d36e8a96c2c4376ac4b1","datavalue":{"value":"continued fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879285$8548A780-6887-4E68-AB09-0409B5130A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87f0b6cc8cca3d50568cd940adc4f3cc51b078bf","datavalue":{"value":"central limit theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879285$32B752C9-EC15-4E54-906A-2144B34C9DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7e860b29030f7d7d7722a761fe9974d657a6c7","datavalue":{"value":"algebraic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879285$A4D24025-FE64-462F-AF45-2D407390B815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879285$AEE7B467-2365-43FA-8005-A2BA2CD0C74D","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":"Q6879285$8BC181C7-88F4-4170-9A6B-208D79764F8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f3c84fedec6be5b8f59fef93a6a8632cda3e40","datavalue":{"value":{"entity-type":"item","numeric-id":4101884,"id":"Q4101884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$435FF6DA-265F-4A5C-ABA4-E589304056EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce2fa1747dabd4b90c2cf7922fcb78ddbaf9cfd","datavalue":{"value":{"entity-type":"item","numeric-id":859795,"id":"Q859795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$338707D6-B8FC-4BA6-B6FC-53B1FD6CD53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df63bfcaba687ec47c013f5b6b41f3753b5e5dca","datavalue":{"value":{"entity-type":"item","numeric-id":4509266,"id":"Q4509266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$54659A6D-3E5E-4F0E-8BDA-E9240A74B33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7b100060c9a8066897db504896c86110cddf7e","datavalue":{"value":{"entity-type":"item","numeric-id":1771021,"id":"Q1771021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$07EA1AA7-1A42-4F2D-BD58-99E2DEE7806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152625b0d4f861d873318dde30cd61e3a1f59117","datavalue":{"value":{"entity-type":"item","numeric-id":4829910,"id":"Q4829910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$E0671222-1E78-4A29-9224-0F7639AFCD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f241f3580b98f2673ff58ecd85a862a4c9af1da","datavalue":{"value":{"entity-type":"item","numeric-id":6075048,"id":"Q6075048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$7EDBF146-9716-4657-A5EE-EE9F4641B7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab502dc07d8411705c43597d81e7cda96e00cc1","datavalue":{"value":{"entity-type":"item","numeric-id":1037614,"id":"Q1037614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$EC78E3CC-AE4D-4B32-8286-010C9E138A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba10e907c298a15d896f4a915ce0f8194b00131","datavalue":{"value":{"entity-type":"item","numeric-id":3840248,"id":"Q3840248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$F483D732-9364-4D54-BBE8-20613B04C024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056fb7f2e626c31077a01665e9f8d36f7a80ea28","datavalue":{"value":{"entity-type":"item","numeric-id":995979,"id":"Q995979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$2DE1D16B-1519-4E18-9F21-5C320E3CA0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7564cd12a68997aafd6e4d8b4a5281c4799115d","datavalue":{"value":{"entity-type":"item","numeric-id":6998684,"id":"Q6998684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$CBF475A8-62F6-4526-8FC8-5BEACC0220B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391194b299b22e8026045d9927496ab5b4a485f0","datavalue":{"value":{"entity-type":"item","numeric-id":5350322,"id":"Q5350322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$A4907C4B-5248-4B49-B8AB-14127CBAC58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043c32fbad51fcd2400ab45a54ca0d580b96d1c7","datavalue":{"value":{"entity-type":"item","numeric-id":5068150,"id":"Q5068150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$D6F366F1-F808-40F5-8018-6C327134825D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938e3a00aa7fbf90c6bc7f6e58364da41fdc69d6","datavalue":{"value":{"entity-type":"item","numeric-id":5039052,"id":"Q5039052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$CEF289C6-9271-48C1-AD15-E2B999E523FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2577e9b1d7c6376b35d1d7fde7e9965ca89ba0c4","datavalue":{"value":{"entity-type":"item","numeric-id":1128347,"id":"Q1128347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$51EE3B72-6E99-41BD-A0F5-FBC0D1D62E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621890c6767c99c1364307c54fc58f8ce4f9eb0a","datavalue":{"value":{"entity-type":"item","numeric-id":1757399,"id":"Q1757399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$B69B418A-94FD-400D-B58D-CB69A863CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcfbfaaad8bbbf8e47d4ecaad6e989e1e91c651","datavalue":{"value":{"entity-type":"item","numeric-id":2162783,"id":"Q2162783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$856E6F7D-EB27-495D-852D-86E8D03DED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376f6e7cec588e7f335e92b7847766b0aa8b189","datavalue":{"value":{"entity-type":"item","numeric-id":6077268,"id":"Q6077268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$F5DF96A5-4F37-4123-884F-D3819C0A4EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e317cfd3ce2fe016e71c49a5dc1c9588e38b74","datavalue":{"value":{"entity-type":"item","numeric-id":5947752,"id":"Q5947752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$90ED573B-C50D-4139-914D-2F3CF264BDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b15b479893e405d554784ff7398963ade2dfe0ec","datavalue":{"value":{"entity-type":"item","numeric-id":432595,"id":"Q432595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$943BDC9D-5AC9-4A53-9F05-CD90BFE0164D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1951b64e16cb813a368e272dae38d61495edd70c","datavalue":{"value":{"entity-type":"item","numeric-id":1536930,"id":"Q1536930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$7FAC73B6-BD31-4555-9341-6C84B4BDEA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7660064f0cb1d4bc14bad9055bd191c5d3972cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3874765,"id":"Q3874765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$EBE467F0-3069-46C2-B6D9-551FE813148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b9183f2c4e91bd0c840438536febe98e87259d","datavalue":{"value":{"entity-type":"item","numeric-id":1217731,"id":"Q1217731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$A9872BF1-09A0-451A-9E37-E4140C2F0B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0ae32e7b113ed670385c10b5887a09fb893ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5376582,"id":"Q5376582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$5E38E6AF-197C-46B2-B694-089BBD7C5D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0deaa04620f05cad924ba3e7fbbc58733e97b644","datavalue":{"value":{"entity-type":"item","numeric-id":6947358,"id":"Q6947358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$D81AA7D2-8E33-485F-A867-DE0959E8AF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2e7779fce73a12e9a2303228d8fcd746bdcb94","datavalue":{"value":{"entity-type":"item","numeric-id":4200292,"id":"Q4200292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$AA215AF4-5003-487F-987F-14A9C260C84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0e4ab48760bad83bbf762d333ac7393127017c","datavalue":{"value":{"entity-type":"item","numeric-id":3999409,"id":"Q3999409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$8D59FCFE-F74C-4338-BAA3-F1D200C5D2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5cf74e46fadd0dada8f7a311bda7b880e93d2e","datavalue":{"value":{"entity-type":"item","numeric-id":1086616,"id":"Q1086616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$D45BD7BA-5CFA-4102-9EE1-E88FCCC6FBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9b43bb259d051f6e312dbb5997a6b7ba416319","datavalue":{"value":{"entity-type":"item","numeric-id":3735790,"id":"Q3735790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879285$FCEF6087-5D20-4C42-9266-E2C083DBA666","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Euclidean algorithms are Gaussian over imaginary quadratic fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Euclidean_algorithms_are_Gaussian_over_imaginary_quadratic_fields"}}}}}