{"entities":{"Q971928":{"pageid":973776,"ns":120,"title":"Item:Q971928","lastrevid":50983067,"modified":"2026-01-16T02:01:12Z","type":"item","id":"Q971928","labels":{"en":{"language":"en","value":"Covering and packing in \\({\\mathbb Z^n}\\) and \\({\\mathbb R^n}\\). II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5708708"}},"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":"Q971928$2B2FB96A-98D4-4FC7-8503-3252368313A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6dac1a637b879f459a403c801af8f960a581dc0","datavalue":{"value":{"text":"Covering and packing in \\({\\mathbb Z^n}\\) and \\({\\mathbb R^n}\\). II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q971928$D932D8FC-0072-4043-93FA-7C7B494997DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39077ff6f1672a786348b90d66f225066b1532ea","datavalue":{"value":"1247.11093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971928$FA6B6ED3-4ABB-4B16-8396-54BD1A7F99EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c00e265ccf034de2dc84dcfa4329f66ce81aa216","datavalue":{"value":{"entity-type":"item","numeric-id":971927,"id":"Q971927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971928$BF10755B-9935-4554-AA3B-DBE6898DE957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d16ee84e56f50c869ec313789f166ad30e7c0bbf","datavalue":{"value":{"entity-type":"item","numeric-id":6480963,"id":"Q6480963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971928$290D0E39-DCEA-4A92-A87F-3752DB324A30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971928$F486FE52-F0FA-4D4D-B2B1-A108C0C69E2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca30e354967714e069ba1374b985a5b5e66b940","datavalue":{"value":{"time":"+2010-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q971928$F92B3E13-31D0-4EB4-B29F-DD0E8D8A1F66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc8883564ef0ec4f93bb05f7b6934eed938b45f8","datavalue":{"value":"In the present part (II), the authors deal with the group \\( G=\\mathbb Z^n\\) and examine the effect of linear transformations on minimal covering and maximal packing densities of finite sets \\(\\mathcal A\\subset \\mathbb Z^n\\). They show that the set of all densities for sets \\(\\mathcal A\\) of given cardinality is closed and they caracterize four-element sets \\(\\mathcal A\\subset \\mathbb Z^n\\) which are ''tiles'' see [\\textit{W. M. Schmidt} and \\textit{D. M. Tuller}, ``Covering and packings in \\(\\mathbb Z^n\\) and \\(\\mathbb R^n\\). I'', Monatsh. Math. 153, No. 3, 265--281 (2008; Zbl 1151.11029)] for the part (I).  {Definitions:} Let \\(\\mathbb G\\) be an additive group and \\(\\mathcal A\\) a finite non empty subset. A further subset \\(\\mathcal S\\) provides a \\textit{covering} if the sum \\(\\mathcal A+\\mathcal S=\\mathbb G\\). We say \\(\\mathcal S\\) provides a \\textit{packing} and write \\(\\mathcal A\\downarrow \\mathcal S\\) if group elements can be written in at most one way as \\(a+s\\) with \\(a\\in\\mathcal A, s\\in\\mathcal S\\). We say that \\(\\mathcal S\\) provides a \\textit{tiling} if both \\(\\mathcal A+\\mathcal S=\\mathbb G\\) and \\(\\mathcal A\\downarrow \\mathcal S\\). A set \\(\\mathcal A\\) is called a \\textit{tile} if there exists a set \\(\\mathcal S\\) with \\(\\mathcal A\\oplus \\mathcal S=\\mathbb G\\)  Let \\(\\Lambda\\subset \\mathbb Z^n\\) be a free \\(\\mathbb Z\\)-module of finite, positive rank \\(r\\). A subset \\(\\mathcal S\\subset \\Lambda\\) will be said \\textit{periodic} with period \\(q>0\\) if \\(\\mathcal S\\) is invariant under translation by elements \\(q{\\mathbf \\ell} \\) with \\(\\mathbf \\ell\\in\\Lambda\\). The \\textit{density } \\(d(S;\\Lambda)\\) of the set \\(\\mathcal S\\) is the number of its images in the quotient \\(\\Lambda/q\\Lambda\\) divided by \\(q^r\\). Given \\(\\mathcal A\\subset \\Lambda\\), the \\textit{minimal covering frequency} \\(c(\\mathcal A;\\Lambda)\\) is the infimum of \\(d(\\mathcal S;\\Lambda)\\) over periodic sets with \\(\\mathcal A+\\mathcal S=\\Lambda\\), and the \\textit{maximal packing frequency} \\(p(\\mathcal A;\\Lambda)\\) is the supremum of \\(d(\\mathcal S;\\Lambda)\\) over periodic sets \\(\\mathcal S\\) with \\(\\mathcal A\\downarrow \\mathcal S\\). The \\textit{minimum covering density} of \\(\\mathcal A\\subset \\Lambda\\) is \\(C(\\mathcal A;\\Lambda):=|\\mathcal A|c(\\mathcal A;\\Lambda)\\) and the \\textit{maximal packing density} is \\(P(\\mathcal A;\\Lambda):=|\\mathcal A|p(\\mathcal A;\\Lambda)\\).  Let \\(\\Gamma\\) be a submodule of \\(\\Lambda\\); a set \\(\\mathcal S\\subset \\Lambda\\) is called \\textit{\\(\\Gamma\\)-periodic} if \\(\\mathcal S+\\Gamma=\\mathcal S\\) and \\(\\mathcal S\\) is periodic. For a set \\(\\mathcal A\\subset \\Lambda\\), define \\(c_\\Gamma(\\mathcal A;\\Lambda)\\) to be the infimum \\(d(\\mathcal S;\\Lambda)\\) of \\(\\Gamma\\)-periodic sets with \\(\\mathcal A+\\mathcal S=\\Lambda\\). Similarly define \\(p_\\Gamma(\\mathcal A;\\Lambda)\\) in terms of \\(\\Gamma\\)-periodic sets.   Let \\(C(\\nu)\\) resp. \\(P(\\nu)\\) be the set of values \\(C(\\mathcal A)\\) (resp. \\(P(\\mathcal A)\\)) as \\(\\mathcal A\\) ranges through the sets of cardinality \\(|A|=\\nu+1\\) (and lying in arbitrary \\(\\Lambda\\)). Call a set \\(R\\subset \\mathbb R\\) \\textit{non ascending} (resp. \\textit{non descending}) if every non-empty subset has a maximal (resp. minimal) element.   Results: We give the statement of four of the seven theorems of the article:  Suppose that \\(\\Lambda\\subset \\Lambda'\\) are free \\(\\mathbb Z\\)-modules of finite rank. Then \\(\\mathcal A\\subset \\Lambda\\) has \\(c(\\mathcal A;\\Lambda)=c(\\mathcal A;\\Lambda')\\) and \\(p(\\mathcal A;\\Lambda)=p(\\mathcal A;\\Lambda')\\).   1) Let \\(T:\\Lambda\\rightarrow\\Lambda'\\) be a linear map with kernel \\(\\Gamma\\). Then \\(\\mathcal A\\subset \\Lambda\\) has \\(c(T(\\mathcal A);\\Lambda'))=c_\\Gamma(\\mathcal A;\\Lambda)\\) and if \\(T\\) is \\(1-1\\) on \\(\\mathcal A\\), then also \\(p(T(\\mathcal A);\\Lambda')=p_\\Gamma(\\mathcal A;\\Lambda)\\).   2) \\(C(\\nu)\\) is closed and non-ascending and \\(P(\\nu)\\) is closed and non-descending.   3) A set \\(\\mathcal A=\\{\\mathbf a_0,\\mathbf a_1,\\mathbf a_2,\\mathbf a_3\\}\\) of cardinality \\(4\\) is a tile precisely if there is no permutation \\(i,j,k,\\ell\\) of \\(0,1,2,3\\) with \\(u(\\mathbf a_i-\\mathbf a_j)=v(\\mathbf a_k-\\mathbf a_\\ell)\\) where \\(u,v\\) are integers of opposite parity. (See also [\\textit{M. Szegedy}, Algorithms to tile the infinite grid with finite clusters (1998) \\url{http:/www.cs.rutgers.edu/szegedy/}] used for this last result).","type":"string"},"datatype":"string"},"type":"statement","id":"Q971928$3778BCC5-88F6-44C9-A573-BDA38B00B87D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06822504524dcfdcaf085711ac017760fd2656bc","datavalue":{"value":{"entity-type":"item","numeric-id":589836,"id":"Q589836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971928$32D3AAC6-AB36-4EF7-BC16-7BA568BE9A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85da7279b9352590099d0fabfe1c6117f39d3af4","datavalue":{"value":"11H31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971928$409C3A80-F067-46FC-92E3-7946EF5501BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc918739208248f35fea9e5c33ece7f0619d7069","datavalue":{"value":"11B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971928$9D78A425-03C2-436A-8C17-9A515CDBFE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9000ea0c20db095574a7654c93ecaccd80d74522","datavalue":{"value":"52C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971928$7C5CC4B0-6699-43AF-90FA-74EAED868785","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2bd1354d864d6af6ba7524db6093a9f15a442f9","datavalue":{"value":"5708708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971928$CA377B1C-82AF-4752-8F2F-60D3E8341A3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f415e71694dcf05046ba26ec04933b5f4bb98496","datavalue":{"value":"lattice packings and coverings","type":"string"},"datatype":"string"},"type":"statement","id":"Q971928$479E271E-6FC1-4D43-B0C9-41EBD6F8D8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45a93793f4a72f8be27c6dfc9e5ef93bd9f24aa7","datavalue":{"value":"tiling in n dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q971928$031C5E6F-867B-4D4D-A7D4-BC1E97757E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d25444a154e506d2caf86a4e52f5686b70e491","datavalue":{"value":"densities","type":"string"},"datatype":"string"},"type":"statement","id":"Q971928$0DE1C364-5524-43D0-AF13-D0573DDBB07D","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":"Q971928$C48FB99E-9BAD-4C5C-97BD-1F094CFF768A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3963721f4e288fd6c9f73bcec5f4278dc384de5","datavalue":{"value":"https://doi.org/10.1007/s00605-009-0099-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q971928$FCF5FA7C-6D3B-4CAA-888D-E4E5419861D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0acf365083c6e8ad402bfe8eb0dae487a3fb33a7","datavalue":{"value":"W2064620507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971928$ACF5EB3E-7B7F-4A09-AD1D-28EF96C25C49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971928$61BE69C2-6D6E-4603-8265-E7AE786779EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb41d7372308e24a28453a00470947f4de2cd168","datavalue":{"value":{"entity-type":"item","numeric-id":1234309,"id":"Q1234309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971928$D42AAC80-C68F-4050-B7FD-0F386ECE2C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1aaf6a118020c04957e7c59050bd8d62c0fe3","datavalue":{"value":{"entity-type":"item","numeric-id":674564,"id":"Q674564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971928$4A74BE45-0492-48C3-A277-FEA99FBD34D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f28d32b6294f2a0cb95a71d4a37c7e32eb92202","datavalue":{"value":{"entity-type":"item","numeric-id":2482220,"id":"Q2482220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q971928$D9918BD6-E39E-43CE-81AD-042BA1D283EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7597a5d606452e8635e05cd239b9ea998d220375","datavalue":{"value":"10.1007/S00605-009-0099-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q971928$A116854E-2D63-4A9C-94BE-714156DE0FE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9de5f7393e0d07d981ae28f1e6ec0a56cba846","datavalue":{"value":{"entity-type":"item","numeric-id":2482220,"id":"Q2482220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d0155a99ae2c8629e5dc00f7dc1522af138149","datavalue":{"value":{"amount":"+0.900530219078064","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":"Q971928$E4C456AF-2991-4351-A103-E23DD83497CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f994df9e6a1f166bf8107ba7f5633f15bd2c43da","datavalue":{"value":{"entity-type":"item","numeric-id":5802221,"id":"Q5802221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"348d63f83e9005209a63a8c7750d6534392714b2","datavalue":{"value":{"amount":"+0.8799950480461121","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":"Q971928$83E042DC-3821-41F2-BA1D-F91A4175E982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7fdc0c2c58445cf8d47f1ca4f4b591a96de6d1","datavalue":{"value":{"entity-type":"item","numeric-id":3796318,"id":"Q3796318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa14a8dbabaa4cafe76424adef100755df9472c","datavalue":{"value":{"amount":"+0.7588268518447876","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":"Q971928$B2AA0525-410B-4C08-89FC-B33B98532A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9b5f6f0bff4548af5ab97f482d90d691ccb2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1080185,"id":"Q1080185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d42e895666e9cdc15c2acc00e85be4b9f02800a","datavalue":{"value":{"amount":"+0.7577159404754639","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":"Q971928$044FB54B-7044-4DA4-B533-B116BAD27F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e320f8a19f48f70aec5e4531b19376e7acc318","datavalue":{"value":{"entity-type":"item","numeric-id":5568974,"id":"Q5568974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb15d3415f5477e3278a82f0d0f13eb9611589a2","datavalue":{"value":{"amount":"+0.75492924451828","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":"Q971928$D7FAA1C3-2E02-4BFA-A34B-B44CFC12D612","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:971928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:971928"}}}}}