{"entities":{"Q2348255":{"pageid":2358998,"ns":120,"title":"Item:Q2348255","lastrevid":78829112,"modified":"2026-05-06T12:32:05Z","type":"item","id":"Q2348255","labels":{"en":{"language":"en","value":"On Martin-L\u00f6f (non-)convergence of Solomonoff's universal mixture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6444990"}},"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":"Q2348255$7CEB207F-52A4-48C7-9ED4-49A44DDDB594","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"903e7b4417a57a8998e3ab5a1326f00a35ae75fc","datavalue":{"value":{"text":"On Martin-L\u00f6f (non-)convergence of Solomonoff's universal mixture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2348255$B174C9C2-146E-4477-8F15-8C80E62AB352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a71b7964197fb4f2ddf99bf555b7370a234e899","datavalue":{"value":"1329.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348255$0BC5835E-5FA6-4E66-979E-9AE6B3C356C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebe1ce4ea0ab2e3df546c8079d707ad3d1365cf7","datavalue":{"value":{"entity-type":"item","numeric-id":391748,"id":"Q391748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$3D8700B3-ACF2-47FB-A9C8-F424581BF5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba4c13aaaa8f0764e6d2b5b9c9a7dab4cf5cdcdb","datavalue":{"value":{"entity-type":"item","numeric-id":208767,"id":"Q208767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$F3BA1E2F-AD68-4F4A-977B-D85DC9DCA755","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$1FBDE670-A544-4548-BD2D-BFC1A742B125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2348255$4C7222C8-3A31-47BC-B515-A90C1D62F8CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a436c549b84b2ec495c14affee7b69e2a41d4ea9","datavalue":{"value":"The paper investigates the convergence of Solomonoff\\({}^\\prime{}\\)s universal mixture on individual Martin-L\u00f6f random infinite strings. A universal mixture is defined as the infinite sum \\(M(x) = \\sum_{i=0}^{\\infty} w_i\\cdot \\nu_i(x)\\), \\(x\\in\\{0,1\\}^*,\\) where \\((w_i)_{i=0}^{\\infty}\\) is a lower semi-computable sequence of reals with \\(\\sum_{i=0}^{\\infty} w_i \\leq 1\\) and \\((\\nu_i)_{i=0}^{\\infty}\\) is an enumeration of lower semi-computable semi-measures. The main result is the following.  Let \\(M\\) be a universal mixture and define \\(M(b|x) = M(x)^{-1}\\sum_{i=0}^{\\infty} w_i\\cdot \\nu_i(xb)\\), \\(b\\in\\{0,1\\}\\). Then there is a Martin-L\u00f6f random infinite string \\(\\alpha\\in\\{0,1\\}^\\omega\\) and an \\(\\varepsilon>0\\) such that the set \\(D =\\{ n: |M(\\alpha_n|\\alpha_1\\cdots \\alpha_{n-1})- \\frac{1}{2}|>\\varepsilon\\}\\) has upper density \\(\\limsup_{n\\to\\infty} (D\\cap\\{1,\\dots,n\\})/n>0\\). This result also extends to the normalisation of universal mixtures.  Finally, it is shown that there is a non-random infinite string \\(\\alpha\\in\\{0,1\\}^\\omega\\) such that the sum \\((U(0|\\alpha_1\\cdots \\alpha_{n})- \\frac{1}{2})^2+ (U(1|\\alpha_1\\cdots \\alpha_{n})- \\frac{1}{2})^2\\) tends to \\(0\\) for all universal lower semi-computable semi-measures \\(U\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348255$C98C94EF-F837-41AC-B0CA-8BDD2CC2737C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"02bc07e7fdf69b7795d4694a59f3d739066e6204","datavalue":{"value":{"entity-type":"item","numeric-id":259038,"id":"Q259038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$6701CFD8-6CAE-4C53-97BF-255417901742","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348255$1CD2BE55-9E8A-461E-820B-EDEF8162BA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348255$57BFE8A1-360F-453B-8B71-D2EBE3EDA402","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb5860cc36409e0d1ab0db561089781657571a28","datavalue":{"value":"6444990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348255$71BBA5C9-E729-4C3F-9B2C-52E769FCF1E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25ca02e264e1b1d4122d78b9543ea01b1d79f25","datavalue":{"value":"Solomonoff induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348255$5F784190-B7AB-458E-A891-6E7DCD609D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348255$3130F401-AB4C-4CD3-9695-36F5D7682F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348255$2A48371B-F31D-4007-BACA-2B7CB867A784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828ee75dadfffbfa758e0bc7ac304dd1df45301a","datavalue":{"value":"semi-computable semi-measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2348255$364EB687-43F5-4528-9D64-F8235233BB83","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0b5939efb5287aed3001c91968ee01be9321d74d","datavalue":{"value":"Q58012191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348255$D41AF2A0-F781-4C6B-97F3-2A50B9E28A80","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":"Q2348255$A3410CFA-3612-4D7B-B8A5-E701B51A9545","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5f6ea9fdd4b99232e5a3833225788c34c4e76ab","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2348255$87392BA3-0B5A-45DE-AF00-EA11B388FDDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"649075cd055410024b36e4caa683f1987ab8f348","datavalue":{"value":"W2042260931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348255$50D75C28-2168-45E4-8EA0-B20DCA47BB20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a76e72aae88eeeb39a9e16d533b6f909d27a31","datavalue":{"value":{"entity-type":"item","numeric-id":4806962,"id":"Q4806962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$65593386-41DE-4196-8731-A4B1EF229238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85e857518710e996aec709ab479a0eeef85e3e6","datavalue":{"value":{"entity-type":"item","numeric-id":2382281,"id":"Q2382281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$8219EC67-528E-4FE2-A085-272091F69346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e8a1ae667148d8cccba95d09da874786a8ac3a","datavalue":{"value":{"entity-type":"item","numeric-id":5464497,"id":"Q5464497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$C71EB683-A1FE-4B61-AB9A-106F14084646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcea042ebb20e58faec198454d826811d6cd723","datavalue":{"value":{"entity-type":"item","numeric-id":2381581,"id":"Q2381581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$8C348F13-91E3-4817-A3C9-D2ED67142DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad1299f57f214c4c9659c7db19e25c6d0461799","datavalue":{"value":{"entity-type":"item","numeric-id":5900062,"id":"Q5900062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$3A6A215B-4C2E-4C03-AC7B-A73F125A6745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb06568540491b4e4dd3a7ff2ead4eda703f71e","datavalue":{"value":{"entity-type":"item","numeric-id":5656214,"id":"Q5656214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$C17641B0-9EF2-4F54-A434-DD6453ED3DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b109eab567bc196776eb0e7fe534c683900ae9","datavalue":{"value":{"entity-type":"item","numeric-id":400871,"id":"Q400871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$A2DE1384-78FF-490D-8290-0840238FBAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d022149ece595446a9644635af062a930e4f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5674429,"id":"Q5674429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$B88FF6E3-EC34-4A46-8ED3-81C371D0FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd90966b9067ac00a56c8a7f09654eba1818fed3","datavalue":{"value":{"entity-type":"item","numeric-id":4160129,"id":"Q4160129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$EF0E8277-3A7A-4194-8803-FAD5529D36B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bc3e587b1a45748e892d4a268d483eac7b19fb","datavalue":{"value":{"entity-type":"item","numeric-id":3790370,"id":"Q3790370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$0482AA3F-0BDD-4D07-A2FB-FCEAD82574C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90199eea16337c81edd107dcfda641e70c72fc44","datavalue":{"value":{"entity-type":"item","numeric-id":4836892,"id":"Q4836892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$402CB593-507C-4580-9686-427E5BCD5856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55cfc0ff9590d7beb1ccb038cddeb12787b6740f","datavalue":{"value":{"entity-type":"item","numeric-id":5626617,"id":"Q5626617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348255$1E7594A7-F6FC-437A-B69B-2804E8ABFC3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8a49490afbf0830e63d5a06bfc03952ad8ab7f7","datavalue":{"value":"10.1016/J.TCS.2014.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348255$146639F3-00DE-4D51-BB6B-2717BE635230","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"342d221b19b139156739f00182e8dfe01ab4438c","datavalue":{"value":"journals/tcs/LattimoreH15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348255$F853EAD1-25C9-47A7-8DD6-3F6844B83D38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fcc40f59198a9f870b88c2a340db2046c03ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4922128,"id":"Q4922128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a32f112ad3c1892095aba38a4a57cd00b42459f8","datavalue":{"value":{"amount":"+0.9874061942100524","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":"Q2348255$F08650DA-9F93-405F-B4E5-69A5E027BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1adb8b884c7498f18b7f89a2e1eb326a9078aba","datavalue":{"value":{"entity-type":"item","numeric-id":5464497,"id":"Q5464497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c424e682b1722bf591e21add64c2f6df0d39876","datavalue":{"value":{"amount":"+0.8476189374923706","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":"Q2348255$900F4E6E-A763-4752-9C5F-5A2C46DDF8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f02092f8dcc8deaf7f97443381f459760db2c14","datavalue":{"value":{"entity-type":"item","numeric-id":2381581,"id":"Q2381581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70de99ab4326329ae8203c8977a8021982cc7c0","datavalue":{"value":{"amount":"+0.841633677482605","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":"Q2348255$1CE45FCA-F187-44CD-8F51-720A83230F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d868745340a8bbe0770389f0b4f54f67abeddd1","datavalue":{"value":{"entity-type":"item","numeric-id":860822,"id":"Q860822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813ba8d9838363c9d49593acf0dfe2b3a23938b8","datavalue":{"value":{"amount":"+0.8362449407577515","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":"Q2348255$E663DBF8-FCFC-45F1-84D9-E4310FE3801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6ac6a95a389d92495ae03a4e1826cd9d3d9962","datavalue":{"value":{"entity-type":"item","numeric-id":5897395,"id":"Q5897395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ef2fe46a71812b255db72e2829c61fee5c0503","datavalue":{"value":{"amount":"+0.8191503286361694","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":"Q2348255$8C49AFE0-31FD-4C97-8CFE-9EE8BAF7AEBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Martin-L\u00f6f (non-)convergence of Solomonoff's universal mixture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Martin-L%C3%B6f_(non-)convergence_of_Solomonoff%27s_universal_mixture"}}}}}