{"entities":{"Q804954":{"pageid":806802,"ns":120,"title":"Item:Q804954","lastrevid":64470723,"modified":"2026-04-11T20:06:08Z","type":"item","id":"Q804954","labels":{"en":{"language":"en","value":"Effectiveness of an affine invariant for indecomposable integral polytopes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4203168"}},"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":"Q804954$60ED91C9-1D8C-4F03-BB6C-CB89301A9A87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e2a6f90f35d5373a9165733bd6c21b1b38a53d8","datavalue":{"value":{"text":"Effectiveness of an affine invariant for indecomposable integral polytopes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804954$55B4D95E-32C0-428F-AEBC-0220E43CAD6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"417e823f0dc63362b3e7161d1d38d578f380d15d","datavalue":{"value":"0728.52009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804954$A3755569-82A5-48DC-81BA-FEC6A3C637C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eb7a0bcb5c78d574ea861c5022881596c2a6720","datavalue":{"value":"10.1016/0022-4049(90)90083-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804954$94280C59-EED3-464B-95BB-38976F136AE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804954$9A162A3E-D8AF-4507-9838-CEE7AE76C227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q804954$6FDA9890-25A2-48FB-A095-D509E98BB792","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9d957e90d2edc86e9be007808f83feb59a11a71","datavalue":{"value":"An integral polytope K is a compact, convex polytope all of whose vertices lie in \\({\\mathbb{Z}}^ d\\). Translation by some \\(z\\in {\\mathbb{Z}}^ d\\), or application of \\(M\\in GL(d,{\\mathbb{Z}})\\) (the group of \\(d\\times d\\) matrices with integer entries having \\(\\det =\\pm 1)\\) yields a map of \\({\\mathbb{Z}}^ d\\) to itself. Such maps generate the group AGL(d,\\({\\mathbb{Z}})\\) of translations acting on integral polytopes K. K is projectively faithful if the group generated by \\(K\\cap {\\mathbb{Z}}^ d-K\\cap {\\mathbb{Z}}^ d\\) is the standard copy of \\({\\mathbb{Z}}^ d\\) inside \\({\\mathbb{R}}^ d\\). K is indecomposable if \\(K=K_ 1+K_ 2\\), \\(K_ i\\) real, implies that one summand must equal \\(\\lambda K+z\\), where \\(\\lambda\\in {\\mathbb{R}}\\), \\(z\\in {\\mathbb{R}}^ d\\). Denote the Laurent polynomial ring in the variables \\(\\{x_ i: i=1,2,...,d\\}\\), with \\(x^ w=x_ 1^{w(1)}\\cdot x_ 2^{w(2)}\\cdot...\\cdot x_ d^{w(d)}\\) for monomials, by \\({\\mathbb{R}}[x_ i^{\\pm 1}]\\). Denote the set of Laurent polynomials with no negative coefficients by \\({\\mathbb{R}}[x_ i^{\\pm 1}]^+\\). If K is projectively faithful, set \\(P=\\Sigma \\lambda_ wx^ w\\) in \\({\\mathbb{R}}[x_ i^{\\pm 1}]\\), with \\(w\\in K\\cap {\\mathbb{Z}}^ d\\), \\(\\lambda_ w\\in {\\mathbb{R}}\\). Define \\(R_ p\\) as the real algebra generated by \\(\\{x^ w/P:\\) \\(w\\in K\\cap {\\mathbb{Z}}^ d\\}\\), with the positive cone \\(R^+_ p\\) generated additively and multiplicatively by the same set of rational functions. Let U denote the set of elements in \\(R_ p\\) that are bounded below (away from zero) as functions on \\((R^ d)^{++}\\). Define \\(R_ k\\) to be \\(R_ p[U^{-1}].\\)    The author's main new result is that K, \\(K'\\) projectively faithful indecomposable integral polytopes and \\(R_ K\\cong R_{K'}\\) together imply that there exist positive integers m and n such that mK and \\(nK'\\) are AGL(d,\\({\\mathbb{Z}})\\)-equivalent. Regarding the fine structure of \\(R_ K\\), for indecomposable K, he proves: if \\(t<t'\\) are positive integers and K is an integral polytope such that tK is projectively faithful, and if \\(R_{tK}\\neq R_{t'K}\\), then \\((R^+_{t'K}\\cap R_{tK})\\setminus R^+_{tK}\\neq \\emptyset.\\) This gives insight into certain order- theoretic random walk problems. Moreover, if \\(\\phi (R_{t'K})\\subseteq R_{tK}\\) for some automorphism \\(\\phi\\) of \\(R_{dK}\\), the \\(R_{tK}=R_{t'K}\\). Examples of integral polytopes of dimension \\(\\geq 5\\) with very strange properties are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804954$25873D4B-588E-4FBA-8489-882DB3FBFE4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b01ad1b16eab7f86b2e20d189e8d8d07f644af25","datavalue":{"value":"52B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804954$689DB8BD-D3DF-4A46-9F40-C985AF037C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804954$A782EEDF-7E4C-44A7-A710-99D9BF4994DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0e26a1a640a27280d621943b28ca60fe0dc367e","datavalue":{"value":"4203168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804954$C57B1A97-FD0E-48BE-B2A9-B740F4486E81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f1f1c7e8b57777eb5d9e8db74b104eb01141a6a","datavalue":{"value":"lattice polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q804954$E650FD9B-D856-4BBA-8410-6A885BB8466F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ee980e6edfffd3196a9c64c7032bc2d9c54b4d","datavalue":{"value":"affine equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q804954$0244B210-ECD5-4962-B478-A705899EABA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9601299b86dda6ca34d10c8f1919b4c8989efd71","datavalue":{"value":"indecomposable integral polytopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q804954$49D2D2CF-8D37-4688-929E-6BE4B7E1FEEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0aeca4489e7676987dea72a09e532fd5befe9cc","datavalue":{"value":{"entity-type":"item","numeric-id":1108553,"id":"Q1108553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804954$D3CEB7C6-285C-4F37-ADA2-11CFCDB14379","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":"Q804954$840F0E28-B7D3-4DE4-B4AF-836B964C185E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3df309a25f114f6ed4c1cbd2d0d11756162e579","datavalue":{"value":{"entity-type":"item","numeric-id":3688926,"id":"Q3688926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804954$D4960EE3-8455-4208-A7B6-297FE38CDE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4675971f49a98a58200161dc86a67f2c3c783ac","datavalue":{"value":{"entity-type":"item","numeric-id":1081835,"id":"Q1081835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804954$1266CE8E-4008-4BE2-9492-71263E52BB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca21d4217d5463acbaa0074b8df6d72d39729ae","datavalue":{"value":{"entity-type":"item","numeric-id":3744392,"id":"Q3744392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804954$E608E9EF-5F10-41AC-8577-D3012E46DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18544a53f087a21413d3f1fc7a0b650f7df73f57","datavalue":{"value":{"entity-type":"item","numeric-id":1108554,"id":"Q1108554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804954$1C68A0F7-7433-4A61-BEC0-561DF0EDA5CC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"abf6686f1d43fa0052c18051f772d8b57eb3cbc1","datavalue":{"value":"Q126340170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804954$A7C4E0C2-4BD2-4C18-85DE-B58FD327DE4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6446ca5a0165a4c2356bfb116493176915394e","datavalue":{"value":{"entity-type":"item","numeric-id":5423506,"id":"Q5423506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50bbf1b90e2fe5cc0ac8b6cfd4ce7097d2b1a590","datavalue":{"value":{"amount":"+0.7876036763191223","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":"Q804954$504F6C26-B5C9-42CC-AF43-30C148CB75F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8136714239692d7f2ed6a2ccaaaa9d549189ff0","datavalue":{"value":{"entity-type":"item","numeric-id":2664122,"id":"Q2664122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f064d544aa1ad880846d064f86987b970f5eb698","datavalue":{"value":{"amount":"+0.7606843113899231","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":"Q804954$D79D1269-1BE9-49EC-B41C-7F20B6409EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9824dfc6e53a8aee9b02a2750175290bcf59d51","datavalue":{"value":{"entity-type":"item","numeric-id":3170438,"id":"Q3170438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc487df2236c3087fe8d3ebbec6b4b96a0756f55","datavalue":{"value":{"amount":"+0.7585898637771606","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":"Q804954$85AAB053-8B99-44E9-8488-130B0CB75A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4571164f2e6e080381e026aea4ee2d5eb69294ac","datavalue":{"value":{"entity-type":"item","numeric-id":3399380,"id":"Q3399380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a4c96a5e8311569c983da0d501514f871c61f3","datavalue":{"value":{"amount":"+0.7494864463806152","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":"Q804954$80DF376F-CD74-4D8B-899B-C0F6E548312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f214cad63a05d7e81792b35e4736869290218a3","datavalue":{"value":{"entity-type":"item","numeric-id":470953,"id":"Q470953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67420824d86119891fec9ba430f771887f23c252","datavalue":{"value":{"amount":"+0.7439993619918823","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":"Q804954$A631D00C-F217-4AD5-9D2D-B2C66F978AE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effectiveness of an affine invariant for indecomposable integral polytopes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effectiveness_of_an_affine_invariant_for_indecomposable_integral_polytopes"}}}}}