{"entities":{"Q2845878":{"pageid":2856598,"ns":120,"title":"Item:Q2845878","lastrevid":51814031,"modified":"2026-01-20T04:33:46Z","type":"item","id":"Q2845878","labels":{"en":{"language":"en","value":"Martin-L\u00f6f random points satisfy Birkhoff's ergodic theorem for effectively closed sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6204068"}},"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":"Q2845878$152BA3C5-FB40-4631-81BC-AAB810A1AE21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f20b400cb49207447ee7ffeebb8e19fb27af3148","datavalue":{"value":"1298.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845878$84C45888-FAD3-48E9-A1A1-E9C149F28A6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"235cc0f326992be834486922c3d19de46d6416e9","datavalue":{"value":"10.1090/S0002-9939-2012-11179-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845878$6056A827-B972-49BB-A202-C16B396A1729","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9163e4b1c30abe9858d0cc0679b93b0b20c5b530","datavalue":{"value":{"entity-type":"item","numeric-id":540404,"id":"Q540404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$DBFCC52A-51E2-42AC-B250-80C0F4E1AAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8aa819e8a26b7e07cf0d79026024c3692da5103","datavalue":{"value":{"entity-type":"item","numeric-id":277527,"id":"Q277527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$4B987343-E8DD-49B3-826B-6CF93E7AFEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"302de52cd79b694f710a98c295d3804f924d6528","datavalue":{"value":{"entity-type":"item","numeric-id":375817,"id":"Q375817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$30466313-6990-4A7E-B875-F78309721328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b07e9bf28fa59d18d72d0bd8b490fe790edf85","datavalue":{"value":{"entity-type":"item","numeric-id":306577,"id":"Q306577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$B9E5647D-3E41-4790-8436-1D5C0C05DB28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$A19C72CB-DEA5-4723-8732-8982302D05D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e34069258b6841c35df8129c5b317ed7d0c7403e","datavalue":{"value":{"time":"+2013-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845878$5B0B71F5-434A-4F19-8416-983C4AB20C1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845878$26488AEE-A24E-4EF3-8E9B-2EFD297536E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3450a5db34e1a7725e1951d82618aef0cabbd7ba","datavalue":{"value":"28D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845878$2B86FF80-1E60-4957-AEB9-0A7EBE183E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f065ada9426fe1453f6e03a3bb1081b808e12f5f","datavalue":{"value":"37A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845878$033C359D-CD3E-44A8-A370-FC13A3027F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"97bf85d83b207d40f5cd1e5761ad8330c8b05c5c","datavalue":{"value":"37A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845878$0A4EEFBE-7428-4930-A1C4-A0B66E06AD80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00e4fa5e10c05a19aa84b8ba442b1052f9d24e12","datavalue":{"value":"6204068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845878$AF68EE57-60ED-4DD3-8CC4-DA2BDAF3341E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52b401075361f8bde91dd38a1a28a543fed8777","datavalue":{"value":"Martin-L\u00f6f randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845878$8627F059-C91B-4948-8A49-6EE84A223D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb7b8493ae37f2c992687023d46f97593cf9dbc","datavalue":{"value":"ergodic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845878$72A45233-6868-46BA-A1F2-AEF44338974D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e51ac5d99df0a14690a8edf196e2368d59a744","datavalue":{"value":"computable probability space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845878$4B999C00-493C-425C-9752-E9F7EC76845B","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":"Q2845878$EFB70CC6-236F-4EA0-857C-96282B72D053","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b2f90b32b96354f17e7ea8c3d8e4e6b80f4943","datavalue":{"value":{"entity-type":"item","numeric-id":418118,"id":"Q418118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$E79D3E0A-FD60-44D7-B4D0-F30526FEFAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb241275e18fae6b591da2c7b03e23f02caa8de5","datavalue":{"value":{"entity-type":"item","numeric-id":3576190,"id":"Q3576190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$323D0175-4810-45E3-94DB-56705B6FC086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18872907873d532d9bd31e91884dafea5e6f8901","datavalue":{"value":{"entity-type":"item","numeric-id":537913,"id":"Q537913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$C96D4139-FC03-42B7-93A9-7D1395611A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e87889481920ef2eb60a2ee0d262ca6690aba6","datavalue":{"value":{"entity-type":"item","numeric-id":3274377,"id":"Q3274377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$7FF13551-E82B-46B9-840D-0D964073F4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46566aa4a308a834c13eed04f323f80b2bdabfc","datavalue":{"value":{"entity-type":"item","numeric-id":2389335,"id":"Q2389335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$5B7D5A24-76D1-456F-86AC-99444130ACC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f71c65f6603cecb67d9b8266a9670a9f8a421e","datavalue":{"value":{"entity-type":"item","numeric-id":3758821,"id":"Q3758821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845878$297EF8B0-4A92-4640-AB92-0B0DD13DD1E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3083c17b947f8586b80c968b132f9cfeeeaca21","datavalue":{"value":"https://doi.org/10.1090/s0002-9939-2012-11179-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845878$8D9A8C54-7D25-4EEE-B1BE-8583523A81BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"513b5bbc1126ffc9ef7a386d89a919fa1732fa82","datavalue":{"value":"W2082158498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845878$1F0BE2B3-91DC-477F-8A36-9B276A7A9119","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cffce5a176bea0b12be58765080a69a3ffb85012","datavalue":{"value":{"text":"Martin-L\u00f6f random points satisfy Birkhoff's ergodic theorem for effectively closed sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845878$8FD44E31-20C1-45B8-9F67-14B9BF9DA349","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e2916f6a0d34ed03f38f9c503f6bb2dafea84800","datavalue":{"value":"The main result of this paper (Theorem \\(7\\)) is a link between ergodic theory and algorithmic randomness, namely that for \\((X,\\mu)\\) a probability space and \\(T:X\\rightarrow X\\) a computable, measure-preserving transformation, every Poincar\u00e9 point with respect to the \\(\\Pi_{1}^{0}\\)-subsets of \\(X\\) is also a Birkhoff point for \\(T\\) with respect to the \\(\\Pi_{1}^{0}\\)-subsets of \\(X\\). Here, \\(x\\in X\\) is a Poincar\u00e9 point of \\(T\\) with respect to a set \\(Y\\subseteq\\mathfrak{P}(X)\\) of measurable subsets of \\(X\\) when the sequence \\(\\{T^{i}(x) \\mid i\\in\\omega\\}\\) of iterated applications of \\(T\\) to \\(x\\) has infinite intersection with each element of \\(Y\\) of positive measure; it is a Birkhoff point when it appears in each element of \\(Y\\) `appropriately often', i.e. when the asymptotic density of the set of \\(n\\) for which \\(T^{n}(x)\\in E\\) is equal to the measure of \\(E\\) for each \\(E\\in Y\\). Quite obviously, every Birkhoff point is a Poincar\u00e9 point, but it is a pleasant surprise that in the special circumstances of this paper, the converse holds as well. A nice consequence of this is Theorem \\(6\\), a new characterization of the Martin-L\u00f6f random elements \\(x\\) of \\(X\\) as the Birkhoff points for \\(T\\) with respect to the \\(\\Pi_{1}^{0}\\)-subsets of \\(X\\) whenever \\(T\\) is computable and ergodic. This neatly complements the earlier characterization of Schnorr random points as Birkhoff points for computable ergodic transformations with respect to \\(\\Pi_{1}^{0}\\)-sets of computable measure by Gacs, Hoyrup and Rojas.NEWLINENEWLINE The paper is carefully written and, especially with respect to its length of \\(6\\) pages, pleasantly self-contained. Accordingly, it should be accessible to anyone who understands the result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2845878$048640EA-37D9-4336-94E3-722CCD17FB6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc272c203a09a3829d27cfd97b9ba1764c7309c7","datavalue":{"value":{"entity-type":"item","numeric-id":418118,"id":"Q418118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6846e91070eb3d743d65a787baee9b6edbe9602f","datavalue":{"value":{"amount":"+0.8884546756744385","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":"Q2845878$B8BBACE8-DA37-4DA3-8498-0499EADE9C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"194d77a1f2744cd9009e381887fe70b8f781af25","datavalue":{"value":{"entity-type":"item","numeric-id":1275009,"id":"Q1275009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c591185fc0423e79da2479192003f3f532629f","datavalue":{"value":{"amount":"+0.8564468622207642","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":"Q2845878$392658B6-AD5E-466F-9D64-0871A3714F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66165e868c6f17a8e4f04f6b2eb97409b1ca9dba","datavalue":{"value":{"entity-type":"item","numeric-id":2801859,"id":"Q2801859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec7e0c1a165e20affb2c4455e6477c5a9a578e3","datavalue":{"value":{"amount":"+0.8431997895240784","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":"Q2845878$071AA108-E138-4E3C-8038-24E1F6AA94B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2970e3dfb5fb4c605aa04a0a155486d6344845","datavalue":{"value":{"entity-type":"item","numeric-id":5043603,"id":"Q5043603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33b82cbe6f781b64b5ef14e894e6d344b31b790","datavalue":{"value":{"amount":"+0.8225085139274597","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":"Q2845878$F2B43247-5E9F-4431-9AEC-86E32FDDD4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874d4d13e27bce0ad5a0d3cb6dba09372cbc0566","datavalue":{"value":{"entity-type":"item","numeric-id":3638062,"id":"Q3638062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96af8fa4fe918af9e19383d28577210e2d7f701","datavalue":{"value":{"amount":"+0.8127844333648682","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":"Q2845878$68388097-EF61-4880-9846-7BF074E200EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845878"}}}}}