{"entities":{"Q2222108":{"pageid":2232851,"ns":120,"title":"Item:Q2222108","lastrevid":71596059,"modified":"2026-04-13T23:17:44Z","type":"item","id":"Q2222108","labels":{"en":{"language":"en","value":"Expansive systems on lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7305096"}},"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":"Q2222108$7CF62CE9-F80C-4A48-B8A1-9E10A370C07A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fc2f315bdeed3cbaf6b8614e13dd53c3851745a","datavalue":{"value":{"text":"Expansive systems on lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2222108$AE6EBC31-C648-421B-BDC6-BA3FA76A2352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"105fe3df987860699453b38d1c361f7b305c928f","datavalue":{"value":"1466.37009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$E1C2DE46-F250-42B3-92D3-E5428C36AB97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"889aacc1613b82c938426c1b99fee089130bbe6d","datavalue":{"value":{"entity-type":"item","numeric-id":2012013,"id":"Q2012013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$A95923C8-840B-40CD-9C80-871C2D6CF548","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$F42CB091-ACC9-463C-9A8F-10FA0B5BD30A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4fdcf569a0845156edf00801a6025e0e3cf1d2e","datavalue":{"value":{"time":"+2021-02-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":"Q2222108$27D1BCAE-B83C-48EB-A5E6-A9EA9036806A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff2486ee7f3f0723b7a5dce8daa58dc8205aab37","datavalue":{"value":"https://arxiv.org/abs/1911.01549","type":"string"},"datatype":"url"},"type":"statement","id":"Q2222108$CDF3F13F-13DE-4AA7-AAEA-E4CF71D530E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb527755045e09b66aa871c976ddd26ffad1ed27","datavalue":{"value":"Fix a bounded, distributive lattice \\((\\mathscr{L},\\le)\\) with \\(0\\not=1\\). A cover of \\(\\mathscr L\\) is a finite subset \\(\\mathscr U\\subset\\mathscr L\\) such that \\(\\bigsqcup\\mathscr U=\\mathscr L\\). An automorphism \\(\\lambda:\\mathscr{L}\\to\\mathscr{L}\\) is expansive provided there is a cover \\(\\mathscr{U}\\) of \\(\\mathscr{L}\\) such that for every cover \\(\\mathscr{V}\\) there is \\(N\\in\\mathbb N\\) such that \\(\\bigwedge_{|n|\\le N}\\lambda^n\\mathscr U\\prec \\mathscr V\\): such a cover \\(\\mathscr U\\) is an expansivity cover for \\(\\lambda\\). A standard example is where \\((X,\\tau)\\) is a compact Hausdorff space and \\(\\mathscr L_X=\\tau\\) ordered by inclusion in which case a homeomorphism \\(h:X\\to X\\) induces an automorphism \\(\\lambda_h:\\mathscr L_X\\to\\mathscr L_X\\): then \\(\\lambda_h\\) is expansive if and only if \\(X\\) is metrisable and \\(h\\) expansive in the usual sense. For a cover \\(\\mathscr U\\) set \\(\\mathscr U^2=\\{u_1\\sqcup u_2\\ /\\ u_1,u_2\\in\\mathscr U \\mbox{ and } u_1\\sqcap u_2\\not=0\\}\\). Generalising results for compact metric spaces, it is shown that if \\(\\mathscr L\\) admits an expansive automorphism with an expansivity cover of the form \\(\\mathscr U^2\\) then \\(\\dim\\mathscr L\\) is finite and that if \\(\\mathscr L\\) admits a positively expansive automorphism then there is \\(N\\in\\mathbb N\\) such that every cover has a subcover with at most \\(N\\) elements. A notion of entropy for lattice morphisms is introduced and calculations for non-Hausdorff shifts are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2222108$9B5111BA-527C-40FC-A3EE-794085EB8DF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ddb2dc0c7f5e03843e68929af7ea40b78150281","datavalue":{"value":"37B02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$D6BAF8F5-C2D9-4C3F-A3C2-724BCD860A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"180ae4e47b05e8469b7d9bd450c0e7414ac7bc28","datavalue":{"value":"37B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$9F2B43A9-D2C9-4CC2-81F3-A72B372AA7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1714136505949107cd3083722ae413b3d7176426","datavalue":{"value":"37B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$38AE0B78-1C47-43DA-8C24-4FF58079FD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5b33f2aad96909ee0a1e7e4fd1b4726c86dfc8da","datavalue":{"value":"54C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$D055E1D0-5DD5-4DA2-96A9-CC19C6909A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"045858923c6c53fec7d40ee9640218b1e5f361bd","datavalue":{"value":"18F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$4227B618-D448-4035-BEFE-A4A5DB35A28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ac67041ee20e8e74704639c8c41ad82b802128c","datavalue":{"value":"57S05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$3AD7941D-1B8D-44C9-922F-169824014435","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27e762fa7bc0f1654554a64a380aa222fe455a78","datavalue":{"value":"7305096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$CF222BC6-91B6-4CE4-B255-B24C6C8796CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"704f2bc7691c578e9ce1d153f8436e6951296e83","datavalue":{"value":"expansive","type":"string"},"datatype":"string"},"type":"statement","id":"Q2222108$A83BF4DE-2AAB-40E7-B165-7998ED229AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9b6b92f6c775746affa56dd89f8f4834a74b77","datavalue":{"value":"positively expansive","type":"string"},"datatype":"string"},"type":"statement","id":"Q2222108$48CA8250-D626-4B5B-A314-30CA5EC4BF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2222108$16B21140-2A59-48C4-83D6-C351DCA84B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4768181659397122937393c61764e2f954409467","datavalue":{"value":"dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2222108$C1B70FB8-EA43-44A3-ADBD-C8B70F626704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2e069b1a2184cd3b0f52ffa83b5fcb89125e86","datavalue":{"value":"entropy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2222108$EEB64F7A-727C-48A3-A964-31992E69D3E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0a1d3774fb82025c54f21d93243cfaa9a69771d","datavalue":{"value":{"entity-type":"item","numeric-id":590038,"id":"Q590038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$75C801CE-A574-4F3F-B9E0-BAE64D6D3181","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":"Q2222108$9D552EE3-915E-4EE9-BAAA-720C46645DCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20e7f1047a18f44a533a688cdb6e789a0d9baf6b","datavalue":{"value":"W3115488563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$FE529BD9-AEB6-45AD-BEA5-E86A58034782","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee9763017d2b4e4fb75612eb6aeb65992e5eea","datavalue":{"value":{"entity-type":"item","numeric-id":284613,"id":"Q284613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$ABE00FB2-85AE-4E31-BB41-55E81D31FAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b601403727c31efb32c7d4d372b67f7516a242e6","datavalue":{"value":{"entity-type":"item","numeric-id":5333704,"id":"Q5333704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$CF05E116-C35D-4CD4-A99B-CBFEB8E8D8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74907ededa60f01ee478af5478576a59a1a6bceb","datavalue":{"value":{"entity-type":"item","numeric-id":2307606,"id":"Q2307606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$A332D45E-C848-42EB-B054-A2E65070EFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72b94d7eed72a0a658ec45e7759d13140430b5e","datavalue":{"value":{"entity-type":"item","numeric-id":774358,"id":"Q774358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$0F4D2FC7-CBC3-4809-8451-28FEBBCB3296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7355fa281a449094efbae11b02305fadb7b36fff","datavalue":{"value":{"entity-type":"item","numeric-id":3293847,"id":"Q3293847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$3CF9BE8A-B5C1-4A49-8429-CB6EEE10797A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$1FE6EA05-9F17-48B7-87D6-3873DA4EA325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4811f059a663230eaf73d6ed836ad71a875bb3","datavalue":{"value":{"entity-type":"item","numeric-id":5307921,"id":"Q5307921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$B185C5FC-2DF1-49B8-AF3C-D069724B7D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f36eb9959d966d8a2325071369a8dd16c6c58e","datavalue":{"value":{"entity-type":"item","numeric-id":3797871,"id":"Q3797871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$43F8B891-392F-46F4-BC69-557A6958813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb682e9c3d7115f38d53c00d3b26df1f4a1ef5f","datavalue":{"value":{"entity-type":"item","numeric-id":5566285,"id":"Q5566285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$63846232-DE46-43AE-B4E2-B4E33BB2342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63e6898131cd4dfb40ae309f11c4a96de8c99944","datavalue":{"value":{"entity-type":"item","numeric-id":4136187,"id":"Q4136187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$5C684D5F-A9B7-481C-BB02-C9DE75F19FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a618ca9074640a663993f74ec5d885f8e2370be","datavalue":{"value":{"entity-type":"item","numeric-id":3667577,"id":"Q3667577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$001B514C-DCAA-425F-A894-B20D8E013778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7bb7a4446a3340a1c39225c4e120cd305ede88","datavalue":{"value":{"entity-type":"item","numeric-id":1777814,"id":"Q1777814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$49E31997-1F65-4409-A0CB-21B3EBCCA68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5245172036aefbc7ae19dc47bfa47d76b5255424","datavalue":{"value":{"entity-type":"item","numeric-id":5799722,"id":"Q5799722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2222108$0CBABFC3-D82B-4BFD-B9A0-1E997B66A4B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"304a7c24f1b785d3fe082d6c0886b20cd574bbe8","datavalue":{"value":"10.1016/J.TOPOL.2020.107577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2222108$EE9A1475-C7DE-40BF-AF7D-458C7748D597","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e2d145d4489868edc0d9316bd87c315ef93358","datavalue":{"value":{"entity-type":"item","numeric-id":284613,"id":"Q284613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70daf5f51e6bc9652ca3cbff035b057a99a18dca","datavalue":{"value":{"amount":"+0.7844716906547546","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":"Q2222108$CEE2CDDD-A6FB-4656-996A-1088E4A46A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180340c09c7ea77a0f8c2db1308d5ab27889a7f4","datavalue":{"value":{"entity-type":"item","numeric-id":1755435,"id":"Q1755435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72eaeeb84e4452f1c35f49c9e73e7796ee89d9f4","datavalue":{"value":{"amount":"+0.7487446665763855","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":"Q2222108$288B3F5D-4BD9-4C82-86A5-2915166698BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b8a57de3a1b87c8ee20653e92251d28821380d","datavalue":{"value":{"entity-type":"item","numeric-id":2134982,"id":"Q2134982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbba4dbb0b634b0d1c2d12d062944ced4a5de15","datavalue":{"value":{"amount":"+0.7448854446411133","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":"Q2222108$0E03CA11-E084-4D33-A675-0D1262E21F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36897466d670e9c24934501a626d85aee26b1f2c","datavalue":{"value":{"entity-type":"item","numeric-id":765050,"id":"Q765050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5bc33f9071c1439918908838553b53d6878cb4","datavalue":{"value":{"amount":"+0.7398760318756104","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":"Q2222108$A1EB8B89-3340-45AC-9B56-C389A81C0FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1f18b1200f80183533cc1ee73ccf912975c8aa","datavalue":{"value":{"entity-type":"item","numeric-id":861941,"id":"Q861941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364abed09268f84bc612aaba463fab80f42cf5d3","datavalue":{"value":{"amount":"+0.7378593683242798","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":"Q2222108$F555D95C-0417-4C2F-9220-6D1AD8B68B5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expansive systems on lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expansive_systems_on_lattices"}}}}}