{"entities":{"Q891184":{"pageid":893032,"ns":120,"title":"Item:Q891184","lastrevid":65159022,"modified":"2026-04-12T00:43:05Z","type":"item","id":"Q891184","labels":{"en":{"language":"en","value":"The convergence of the generalised Selmer algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6509385"}},"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":"Q891184$27FBDACC-1DE3-42DC-AA63-648462312746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c8a836b814320f79754cf384e85f0cc95930f2a","datavalue":{"value":{"text":"The convergence of the generalised Selmer algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q891184$6785F85A-24C5-438E-B459-AD67DA4C945B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bd324e844c1c164cd5f1c45445db716aac4e8d7","datavalue":{"value":"1332.11072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$BA717E46-63A9-4219-9F1C-75C1A1C04C5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"227407ad7f6bc35e652e6bad4cf65b323f3a146e","datavalue":{"value":{"entity-type":"item","numeric-id":244617,"id":"Q244617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$4CBA0058-8CF9-4E2E-AEF2-6358545019DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4795e9a1a205330c0fb417205490ece5551b0","datavalue":{"value":{"entity-type":"item","numeric-id":1295295,"id":"Q1295295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$3AA78D74-D5D8-4F33-B20A-A204DD784F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c771e1f0ae713250d03999678cc2a86c2c2681c","datavalue":{"value":{"entity-type":"item","numeric-id":933162,"id":"Q933162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$086E43E7-3CEB-4868-A631-325AF668776F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$17361B1C-A2E2-426F-AD75-17490B014C2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"297f0407fe0411bc487575336ea9699ef4593706","datavalue":{"value":{"time":"+2015-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q891184$5E4F8FA2-43DA-4BCE-B694-FE6EAF3EA172","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4498b0f5c46e181a2c9aa95f4dee2c54e592e2d8","datavalue":{"value":"For positive integers \\(a,b\\) and \\(d=a+b\\), let \\(X_d\\) be the space of sorted \\(d\\)-tuples \\(\\vec x =(x_1,\\dots,x_d)\\) with \\(0\\leq x_1\\leq x_2 \\leq \\dots \\leq x_d\\). The map \\(F_{a,b}:X_d\\to X_d\\) is defined by  \\[  F_{a,b}(x_1,\\dots,x_a,x_{a+1},\\dots x_{a+b})=\\mathrm{sort}(x_1,\\dots,x_a,x_{a+1}-x_1,\\dots,x_{a+b}-x_1),  \\]  where the sorting rearranges the coordinates into increasing order. (\\textit{F. Schweiger} [Multidimensional continued fractions. Oxford: Oxford University Press (2000; Zbl 0981.11029)] has coined the term ``subtractive algorithm'' for maps like \\(F_{a,b}\\).) If we iterate \\(F_{a,b}\\) at an arbitrary initial point \\(\\vec x \\in X_d\\) then the limit \\(\\vec x^\\infty=\\lim_{k\\to \\infty}F_{a,b}^k(\\vec x)\\) exists by monotonicity and it is a fixed point of \\(F_{a,b}\\) by continuity. Therefore, the first coordinate of \\(\\vec x^\\infty\\) is equal to zero. How many more zero coordinates can we expect? The first main result of the paper concerns the number of zeroes in the limit \\(\\vec x^\\infty\\):  Theorem 1. Let \\(\\vec x^\\infty=\\lim_{k\\to \\infty}F_{a,b}^k(\\vec x)\\) for an ordered \\(d\\)-tuple \\(\\vec x\\in X_d\\). The ascending chain \\(\\mathcal P_1 \\subset \\mathcal P_2 \\subset \\dots \\subset \\mathcal P_d\\) is defined by  \\[  \\mathcal P_r=\\{\\vec x \\in X_d: \\vec x_r^\\infty >0\\}.  \\]  Then \\(\\mathcal P_1= \\emptyset\\) and \\(\\mathcal P_r\\) is a null set if \\(r \\leq a+1\\). The first element of the chain that has positive measure is \\(\\mathcal P_{a+2}\\). If \\(r \\leq \\min\\{d,2a\\}\\), then the complement of \\(\\mathcal P_r\\) in \\(X_d\\) has positive measure.  According to the authors' conjecture (supported by numerical experiments), the complement of \\(\\mathcal P_r\\) in \\(X_d\\) is a null set provided \\(r>2a\\).  Note that if \\(a=b=1\\) then the subtractive algorithm \\(F_{a,b}\\) is a homogeneous version of the Farey map. More generally, if \\(b=1\\), then the map \\(F_{a,b}\\) is known as Selmer's algorithm since it was first considered by Selmer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q891184$D9761EE2-485F-4DC0-9DEE-5F1D66B6ADA5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"645a301166fa22236f78e221a4e109b760f6860a","datavalue":{"value":{"entity-type":"item","numeric-id":480339,"id":"Q480339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$F30DEC40-8E37-43C4-865E-DD936560B799","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0befaa790b323ef6816b91ab2e2ed13fbfa3d847","datavalue":{"value":"11K50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$A01C28B5-9BAA-4BF4-8BC6-A377894715F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85bd8080c61b6e59488355ff592e0c47c617bea","datavalue":{"value":"11K55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$7476EE05-092C-4211-9EA3-D4B07595ECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08518d1ee9b719a5bbebfd311aced3e8ae1f0b5b","datavalue":{"value":"37A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$C5BD71B5-CC78-4C26-A97E-4549A4602A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3450a5db34e1a7725e1951d82618aef0cabbd7ba","datavalue":{"value":"28D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$294A0F59-D99E-414C-AC50-9BB4C192D182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ba0b5e49c7fa587cf8e405dcad41f6aec8922c","datavalue":{"value":"6509385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$5995392F-428E-458C-9695-778A2FC166A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c162e9c6bdf955e2b138ae43e64df0b354b7cc","datavalue":{"value":"Selmer algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q891184$3E6727D6-B0EF-4129-A9B8-71F9C4361042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf35cb0b476cbf9887662d7fac69322be130875","datavalue":{"value":"subtractive algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q891184$D7437AEC-B5E4-4165-A51D-753B761F6D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a8b2aec2d7d663116c5fbf98512ed45b082b95f","datavalue":{"value":"multidimensional continuous fractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q891184$3BB2955F-AA35-4089-BEC0-B846DFA14A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3936fd00a3ef9a45bc58e90e0d3f45fce42331c1","datavalue":{"value":"ergodic probability measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q891184$3B5D6674-7242-4EF2-8C72-65139FF7FA88","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":"Q891184$1E128966-DE8E-404D-9A15-6707C9F565A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68eb6a1281d817e4b7db19c338cd16b5c1e9d814","datavalue":{"value":"https://doi.org/10.1007/s11856-015-1237-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q891184$4ED20C81-1E12-48A9-9DE5-04D4B8BB9976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8c35e24762575b5e5e1a2f0a726d61114e75a2a","datavalue":{"value":"W2230778605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$B42B9C0A-A3DF-4E43-8588-6D91F9431CAF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"57847df342aa13e670ddc80bbd4ebd1ff2c10d76","datavalue":{"value":"Q59184739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$BF95B2F5-A5F0-4584-96C5-089AD87CEF7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bc99e3f7bbf43dc0e415b3a40405abf0a6b05e","datavalue":{"value":{"entity-type":"item","numeric-id":5936663,"id":"Q5936663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$E5244362-8F0D-40DB-9147-4068CB428D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a950328f3682f7c7aa652a5e648db0f7fa7d5448","datavalue":{"value":{"entity-type":"item","numeric-id":5259673,"id":"Q5259673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$6B8839DF-564F-4937-85F2-FB1DDC220D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510548ceb53457024e27ea79994e9a602e1cae73","datavalue":{"value":{"entity-type":"item","numeric-id":1758958,"id":"Q1758958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$058D6854-DE5F-4DF8-BB12-6E2877B714CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b9810c36441f1aa2324c0d5e8a36512b51d5c8","datavalue":{"value":{"entity-type":"item","numeric-id":4846521,"id":"Q4846521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$C3A9E2F6-9801-48E3-9BF5-EF0D0A11094F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4affcd19f5a48d3f0b5024aacd9dd119083a96c2","datavalue":{"value":{"entity-type":"item","numeric-id":3676213,"id":"Q3676213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$FF354DD0-F524-471A-8F01-E219F1B20219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ca733504e4b2006fb60597758cad0c2540bb12","datavalue":{"value":{"entity-type":"item","numeric-id":688961,"id":"Q688961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$0928B5EB-E0EB-40AB-B00F-57F0F72322A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b28596092bc51b17476053df8b762d878b3b98d","datavalue":{"value":{"entity-type":"item","numeric-id":3811492,"id":"Q3811492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$9C472B40-6D2E-4E3D-B68A-D842B41802B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001c0eac6011290ce7f1bb90a49003e914388dc9","datavalue":{"value":{"entity-type":"item","numeric-id":1826237,"id":"Q1826237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$3D7877B6-6769-4308-BCA7-418D82AFD603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4e900a1c075d0c386ba4ab777ff585aa501316","datavalue":{"value":{"entity-type":"item","numeric-id":714968,"id":"Q714968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$E6D32BDD-D908-438F-91AA-F4016B3CB2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6faf1564eeaf69fb80a4b57441e9ed251ddb8b26","datavalue":{"value":{"entity-type":"item","numeric-id":1895086,"id":"Q1895086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$E5CD5BF9-9339-4141-B8AB-6045AAD3EF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1beae45e27159831734d933dff04f0d94c20a473","datavalue":{"value":{"entity-type":"item","numeric-id":4501766,"id":"Q4501766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$43BE496F-0F51-4048-A653-49BD319B231D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3765d4ec428d86926fd10e271943257e11f90e8","datavalue":{"value":{"entity-type":"item","numeric-id":2882917,"id":"Q2882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$E806BB77-AA79-4ABC-BF1C-A177FF8B2C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd83fa193aba5380b25eef084e6ad63ca333f70e","datavalue":{"value":{"entity-type":"item","numeric-id":2444487,"id":"Q2444487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$AD02A727-65A4-4E9F-A7A4-D2A7E33893F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41869a64fa2e65724f5968182082b768474b9b9d","datavalue":{"value":{"entity-type":"item","numeric-id":3284687,"id":"Q3284687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$DC65B9CF-7A8D-4E14-B508-B39489EB01D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc4e0a744b733c7b355fd12effd76a23d9cf70b8","datavalue":{"value":{"entity-type":"item","numeric-id":1293979,"id":"Q1293979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q891184$0F53101C-CF08-48C9-BBAF-36AFCEEEC35D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a04c9ec717ae18bee9f2b995712f765aaccf5dc","datavalue":{"value":"10.1007/S11856-015-1237-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q891184$F856B68C-467D-43E9-86AC-091B2A0E7683","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd995d42c909b6a137649ba22494ecaba457e3f0","datavalue":{"value":{"entity-type":"item","numeric-id":2882725,"id":"Q2882725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66fb8efa78166094a2b718b1ce93b3b72eab0a6a","datavalue":{"value":{"amount":"+0.8294928073883057","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":"Q891184$76FA904F-DBF3-486B-BA36-127880C37ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417f6ebad7b64c8ec456872c5d5bedd9e1610ea4","datavalue":{"value":{"entity-type":"item","numeric-id":4811269,"id":"Q4811269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82d06bfaa30da8c2376a5a18bb0035304a1855c","datavalue":{"value":{"amount":"+0.8224242329597473","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":"Q891184$79127925-0D21-4CD0-94C4-D09987D78A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f26b148e325f722cfcae3bf1131a91aedc5e8dc","datavalue":{"value":{"entity-type":"item","numeric-id":2855591,"id":"Q2855591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d613a626721192ee17dc477b6d02c09f5fc863ba","datavalue":{"value":{"amount":"+0.8002507090568542","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":"Q891184$204F3760-52C7-44BB-924B-248836D5C586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4db4e76819179f5f008c64593d7d9389980216a","datavalue":{"value":{"entity-type":"item","numeric-id":5145102,"id":"Q5145102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e648ff4194facccea1b1c3bb941f3f035b3fa5","datavalue":{"value":{"amount":"+0.7853319048881531","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":"Q891184$4028A96F-C850-4B74-BDCB-4C3F48E78B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5259b59d2cb29c617bbbf4eea2e43db34708d3f5","datavalue":{"value":{"entity-type":"item","numeric-id":1758958,"id":"Q1758958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cc5afcc7c94ab37f5fc2fcce32e5df8d2b22de","datavalue":{"value":{"amount":"+0.7851941585540771","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":"Q891184$D56F5E55-450C-46C5-B1BB-2581B3EA9382","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The convergence of the generalised Selmer algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_convergence_of_the_generalised_Selmer_algorithm"}}}}}