{"entities":{"Q6943830":{"pageid":21166566,"ns":120,"title":"Item:Q6943830","lastrevid":84096821,"modified":"2026-05-09T23:25:04Z","type":"item","id":"Q6943830","labels":{"en":{"language":"en","value":"On the recurrence formula for fixed points of the Josephus function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8079146"}},"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":"Q6943830$CD0FED93-93CB-48F9-BAE7-4D45AA63F969","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36ecc52206c3fc5241f7b319101f5c8842fb57a0","datavalue":{"value":{"text":"On the recurrence formula for fixed points of the Josephus function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6943830$B5A022BD-7BF0-4444-8CCB-CA7222451AA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e71e83a4f638318c33d1dff94ffa2cab527860b0","datavalue":{"value":{"entity-type":"item","numeric-id":6431025,"id":"Q6431025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$C46889DB-92A7-4A59-BFFC-3213E4C9B624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a345263605ddd5dd208bdd9a0ff5920035d9cdd4","datavalue":{"value":{"entity-type":"item","numeric-id":2089472,"id":"Q2089472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$5A852A85-CDA3-47E1-9C70-8E48FA915079","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7156ae6288d1cd7ff602ff259046eb2abb40ec71","datavalue":{"value":{"entity-type":"item","numeric-id":2882724,"id":"Q2882724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$AD6EE4F9-F78A-4DE9-94C8-9631E7C43479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c757b9b7db25e8670dea572b24907796ea9667b","datavalue":{"value":{"time":"+2025-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6943830$64A0BDA4-8653-42E2-8C56-EBD261F255EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e5560a76c575c275b53e8da9983918a04e54a79","datavalue":{"value":"https://math.colgate.edu/~integers/y115/y115.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6943830$0132257A-C665-4F76-B522-D64882B7016A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0d6c0a201527621f42f8deb8edd932090abb73f1","datavalue":{"value":"The Josephus function, denoted by \\( J_k ( n ) \\), can be defined as the position of the last survivor among \\( n \\) people arranged in a circle when every \\( k \\)-th person is eliminated repeatedly.\\N\\NIt is well known that \\N\\[\\NJ_2 ( n ) = 2 ( n - 2^{\\lfloor \\log_2 ( n ) \\rfloor} ) + 1,\\N\\]\\Nbut a general closed-form expression for \\( J_k ( n ) \\) has not yet been found (the existence of such an expression is however guaranteed by Mazzanti's theorem, since \\( J_k ( n ) \\) is clearly a bivariate Kalm\u00e1r elementary function).\\N\\NIn this article, the authors give recurrence formulas for the extremal points and the fixed points of \\( J_3 ( n ) \\) (see Lemma 1 and Theorem 2). However, the main contribution can be written as \\N\\[\\NJ_3 ( n ) = 3 n + 1 - ( 2 / 3 )^{m - t} ( 3 / 2 )^m ( 3 f + 2 ),\\N\\]\\Nwhere \\( f \\) is the least fixed point that upper-bounds \\( n \\) (i.e., the least integer \\( f \\geq n \\) such that \\( J_3 ( f ) = f \\)), \\( m \\) is the dyadic valuation of \\( 3 f + 2 \\), and \\N\\[\\Nt = \\lceil \\log_{3 / 2} ( ( 2 n + 1 ) / ( 3 f + 2 ) ) \\rceil\\N\\]\\N(see Theorem 3). This identity provides a faster method for computing \\( J_3 ( n ) \\) than the extremal algorithm introduced in the authors' previous work, [J. Integer Seq. 27, No. 3, Article 24.3.8, 20 p. (2024; Zbl 1541.11026)], as it seems to require approximately half the iterations (see Subsection 2.1). Furthermore, it clearly simplifies to \\N\\[\\NJ_3 ( n ) = 3 n + 1 - ( 3 f + 2 ) ( 3 / 2 )^t\\N\\]\\N(in particular, the value \\( m \\) is no longer necessary), although it is unclear whether the authors were aware of this fact.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943830$C5E6446B-B356-43FB-A977-050C2B339C92","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1f49b5f070abe0a0988c994eed578dd76dbdf1ec","datavalue":{"value":{"entity-type":"item","numeric-id":5058215,"id":"Q5058215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$EE77AF06-FC49-4606-986B-CDC660F973AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7648e264a01e1ac608cc86dbe77496edbcddb05a","datavalue":{"value":"11Y55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943830$3F57394C-6ACB-4F41-8328-8BD3CB104B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943830$C542503D-DDF4-4FFF-AE08-A9D9FC7CBF6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9453b302d7c3fd7aa2e99c2a1fb7ae38d1ac74cc","datavalue":{"value":"8079146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6943830$421545A6-61F5-4DB0-B6A9-C43363FC7956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a4f6f9bf6c39ed31dfc700b16d287c7d192d445","datavalue":{"value":"integer sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943830$4D3229D6-7FAF-4573-880B-06854EB0D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cecb70334d895c8e5a143c6e64b0f2a656c4095","datavalue":{"value":"difference equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943830$2985F065-0578-467A-AFBF-1116516C3E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed1e9f244858f5fe75e3327a576f063324f1a6a2","datavalue":{"value":"closed form","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943830$8A3338A1-9F4D-4736-BED0-6EAC1F17F92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16a842bb749b81c2201604baf4beb912b70f420","datavalue":{"value":"explicit formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943830$6D3EBD1F-C932-4BF8-8497-F8E6DAFC97E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c5b8c6b026275d151fe047ce644a8c8280b6975","datavalue":{"value":"arithmetic term","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943830$5392C379-0950-4D66-8A90-6ABD59ED5558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd69d7dd601ad7e565fe4087eeaa2231a056cf80","datavalue":{"value":"Kalmar elementary function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6943830$915B157C-59CD-4681-824A-C256E9CA57AF","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":"Q6943830$AC808E1B-6D03-4DE5-9F3F-4722E13BADD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5e873888e9dca29abb14ef4a7fb8150175a5f2","datavalue":{"value":{"entity-type":"item","numeric-id":411832,"id":"Q411832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$16F07FAE-DECF-4189-A4A4-0A58D4E485E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a59f134fabcabbce6f257b5f33dc6418794f2e","datavalue":{"value":{"entity-type":"item","numeric-id":6431026,"id":"Q6431026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$0FE62B4C-0E00-48C8-B432-FE9ADB526607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425c295ee2382157266b722e4024d8ea5ad5f185","datavalue":{"value":{"entity-type":"item","numeric-id":1501117,"id":"Q1501117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$0E4EE365-BF26-4A99-9F9C-448BC53AAE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7571df634a7ca8a6a013e5835fecb839285e3def","datavalue":{"value":{"entity-type":"item","numeric-id":2043387,"id":"Q2043387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$9CFC7411-061F-4824-913C-D5FE3F83F99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d35973b4b7ed35c6af7d84e043fe58c0dd9324","datavalue":{"value":{"entity-type":"item","numeric-id":3469105,"id":"Q3469105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$7E554958-9742-4FD4-B3A8-445457E94AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$6E86243D-C56C-4C12-A359-A45E54B606E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd3468eb85e3b63fff93981f0d3fc2a55351a6b","datavalue":{"value":{"entity-type":"item","numeric-id":1388988,"id":"Q1388988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$D02CB7F3-7878-4ABD-9A51-FEE84B8EF299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d622f91ec506b5fbddb494c25c052a3291de3df9","datavalue":{"value":{"entity-type":"item","numeric-id":4166710,"id":"Q4166710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$9B049BA5-EBD1-46A0-9C65-020B568C4A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$A9DDC644-8F74-4F29-A7B8-B9A1621A88DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d69dd101cdf0dbd1af9cf92f3c97d42448b678","datavalue":{"value":{"entity-type":"item","numeric-id":3976908,"id":"Q3976908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$5F95CBB3-3341-4CBF-BFB0-2357491882F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cec74c4264f8deaaf758fab2a1d78feb1549d74","datavalue":{"value":{"entity-type":"item","numeric-id":6016566,"id":"Q6016566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$5923DA6F-9A52-4F29-9C35-12071A7683B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d43fbbef093a2f8e0b3979bcd4287fd7de8562f","datavalue":{"value":{"entity-type":"item","numeric-id":1881433,"id":"Q1881433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$AED914EC-35F4-4161-B337-A34F43E4E003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efaba994ff26a203a6c16bc8ad5025a732d000a","datavalue":{"value":{"entity-type":"item","numeric-id":962983,"id":"Q962983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$D9C0B500-B6EF-4804-A8C4-2C99C48A88BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bce088c6de1c3341be6568788fc76be11204973","datavalue":{"value":{"entity-type":"item","numeric-id":1718802,"id":"Q1718802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6943830$A474AFD5-4784-4BE2-AEBE-1001E745E151","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the recurrence formula for fixed points of the Josephus function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_recurrence_formula_for_fixed_points_of_the_Josephus_function"}}}}}