{"entities":{"Q1587305":{"pageid":1598045,"ns":120,"title":"Item:Q1587305","lastrevid":72257937,"modified":"2026-04-14T03:41:41Z","type":"item","id":"Q1587305","labels":{"en":{"language":"en","value":"Some results on the Collatz problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1533014"}},"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":"Q1587305$8C17989D-C54C-4A17-96D7-4F60F9B7360F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c77cfc0f42bd98be670479b493b91341fb653b8","datavalue":{"value":{"text":"Some results on the Collatz problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1587305$EBA7D4AF-B625-443A-BCE1-0CCC20512DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaf9d7d8d93f29a09c6476f6bd74665df725f4b3","datavalue":{"value":"1003.11005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587305$CF6C3AF3-D076-4717-AFDC-E2003FDB4651","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb0440f4d24a09bc01fb2b6999ed5812e4a2e1e","datavalue":{"value":{"entity-type":"item","numeric-id":1037241,"id":"Q1037241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587305$F6F44EDE-3174-4AEB-893F-4B0F316B7631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2540178697b58dd136cb7ba48e7c917ff812943","datavalue":{"value":{"entity-type":"item","numeric-id":206766,"id":"Q206766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587305$7859E451-781F-444F-A93B-4AF49C49B7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ae55db63f388b2f9571e209585e88fa7abf0b1","datavalue":{"value":{"entity-type":"item","numeric-id":1587304,"id":"Q1587304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587305$B26E6874-540E-4CBE-898A-350B84EBB40A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587305$28772EEB-BD73-49C9-A0F2-A6AEC60E1889","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5631978044d343fa134e1c98a58038c0a9d719af","datavalue":{"value":{"time":"+2000-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1587305$33FF9D57-6671-41B7-9843-B5F30BEEA889","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a5450d1ea8a6e0b289182af1f27eeb4320704f59","datavalue":{"value":"The paper studies iterations of the Collatz function \\(f_{\\mathcal C}\\) given by \\(f_{\\mathcal C}(n)=n/2\\) for even integers \\(n\\) and \\(f_{\\mathcal C}(n)=3n+1\\) for odd \\(n\\). Several formulae (theorems 1.1, 2.2-4, 3.4) are given which describe infinite sets of starting integers whose \\(f_{\\mathcal C}\\)-iterates eventually reach \\(1\\). The method of proof relies on explicit formulae describing the \\(f_{\\mathcal C}\\)-iteration on numbers of special form, e.g.,  \\[ f_{\\mathcal C}^{(5k)}\\left(3^{2(m-k)}\\cdot 2^{3k}\\cdot s-5\\right) = 3^{2m}\\cdot s-5\\qquad\\text{for \\(k=0,1,\\ldots,m\\).} \\]     Given positive integers \\(k,y\\), the authors define the Collatz tree of the root \\(y\\) \\(A(y)=(V,E)\\) to consist of the set \\(V\\) of all positive integers whose \\(f_{\\mathcal C}\\)-iterates include \\(y\\) as set of vertices, and an edge from vertex \\(a\\in V\\) to vertex \\(b\\in V\\) whenever \\(a=f_{\\mathcal C}(b)\\); it is clear that \\(A(y)\\) is a tree if \\(y\\) is not \\(f_{\\mathcal C}\\)-cyclic. A characterisation of ``chain subtrees'' of such a Collatz tree (theorem 2.1) just records well-known results in another fashion.    In section 3, a strange conjecture (C) is formulated. Based on some facts concerning the arithmetics of prime residue classes modulo \\(3^k\\), it is claimed that conjecture (C) can be reformulated as: Let \\(g\\) be defined on the positive integers as \\(g(n)=n/2\\) for even \\(n\\) and \\(g(n)=3n-1\\) for odd \\(n\\). Show that, for any positive integer \\(n\\), there is an integer \\(k>0\\) such that \\(g^{(k)}(n)\\leq n\\). (This may be called ``finite stopping time conjecture for the \\(3n-1\\) function''.)    To state the results given in section 4, let \\(n\\) be a vertex of the Collatz tree \\(A(8)\\), i.e., a positive integer whose \\(f_{\\mathcal C}\\)-iterates eventually reach \\(1\\). Denote by \\(a_n\\) the number of \\((3x+1)\\)-steps and by \\(b_n\\) the number of \\((x/2)\\)-steps until 1 is reached. It is shown that the quotient \\({a_n\\over b_n}\\) doesn't have a limit for \\(n\\to\\infty\\) (theorem~4.3). Moreover, the following estimates are proved:    \\({n\\cdot 3^{a_n}\\over 2^{b_n}}\\leq 1\\) (theorem 4.4), \\({a_n\\over b_n}\\leq{\\log 2\\over\\log 3}\\) (theorem 4.5).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587305$39CE94E5-A31E-40D6-8781-1B5E52B8FDD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587305$FB28DD9C-8815-495D-A303-FD9094C991F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587305$0A6503FA-E7DC-463A-A4D8-E72D477AC3F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"421fc4cc51289afbc9fbdf3fd20a25f0dea3b3af","datavalue":{"value":"1533014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587305$906E5620-688F-4312-8587-FD65137042FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfec4e9d685de56efcfbfc0d64e349e0fa7ce024","datavalue":{"value":"\\(3n+1\\) problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587305$D7330817-32B3-46D1-B827-1C21E975BB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64c14a683fddfb2a7c98724fe45235d5ca5f3134","datavalue":{"value":"\\(3n+1\\) conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587305$80B46437-1F0F-4AE4-B2E6-80145C553902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b5300b7d4a6b56588a6b95da82895d1be89d65f","datavalue":{"value":"Collatz problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587305$2F1C0DA3-618B-4BB6-A7B3-3AC784D40CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a752335bcc04ee34f6d9c7983fcdb602065e478d","datavalue":{"value":"Collatz tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587305$6A77213F-45EF-4E95-82E4-EC5C4218FFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d24cf7a3da973fe07127a9428a7052c7e434358f","datavalue":{"value":"chain subtree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587305$179741A6-7491-42E4-90CA-6798F361564F","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":"Q1587305$BFB42A49-9261-4CED-BBFF-3178062E7B5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e3b4dbf4062b7dfa17de50bf2c8bb31c68f7980","datavalue":{"value":"https://doi.org/10.1007/s002360000039","type":"string"},"datatype":"url"},"type":"statement","id":"Q1587305$09E61E82-FFB0-460A-A017-3CAF421DE4C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1c9e6b355c9e71c61e014b5e786e12ffeea3e13","datavalue":{"value":"W2082603183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587305$8960ED6F-E7BD-4B1A-B87F-A201EBE99102","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5b47eec08c071389b46effbb7f69e8554560400","datavalue":{"value":"10.1007/S002360000039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587305$B7DA370A-B0DF-4849-BBD2-0519D6FF4F0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"916f5dc710f4e5ccfa8e693ada10803a797d9eca","datavalue":{"value":{"entity-type":"item","numeric-id":1059095,"id":"Q1059095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf5120888848e34dd4a1d3ed10a3c659ecf2c40","datavalue":{"value":{"amount":"+0.850662350654602","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":"Q1587305$D0D90D01-FCBF-4795-8993-8B169B19C73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b96f274b834477096fbd4929b5ac9f1f230f53e","datavalue":{"value":{"entity-type":"item","numeric-id":3488230,"id":"Q3488230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d1844db6e541176e8b5e118af48e94edbcc97d","datavalue":{"value":{"amount":"+0.8140639066696167","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":"Q1587305$8FB95E85-FB66-4105-AAC9-6F400475496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ff53cf81b45dd78a882f38dccabccda2c605c16","datavalue":{"value":{"entity-type":"item","numeric-id":4325740,"id":"Q4325740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a8fd34f4aa4e550d47147540a181e19f643af0","datavalue":{"value":{"amount":"+0.810981810092926","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":"Q1587305$819C05FA-E7FF-4E67-A980-BCADFC0BBB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cb7169821843f45b671db0580333b795c3a03c","datavalue":{"value":{"entity-type":"item","numeric-id":3680903,"id":"Q3680903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0643fb57d0a6e84a46ebd89ac763a6f9d3922974","datavalue":{"value":{"amount":"+0.8105766773223877","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":"Q1587305$30E20096-4DD6-451D-8089-3829867B1219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e0385c33abc70747e6d374dd2c636eee9a7076","datavalue":{"value":{"entity-type":"item","numeric-id":1386407,"id":"Q1386407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c51ecc1a64eb591c4051cabe9fd1ca1395a6d2","datavalue":{"value":{"amount":"+0.8082289695739746","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":"Q1587305$D4AB88D8-A248-4A9B-B039-22AE627F5469","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some results on the Collatz problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_results_on_the_Collatz_problem"}}}}}