{"entities":{"Q1949399":{"pageid":1960141,"ns":120,"title":"Item:Q1949399","lastrevid":57630780,"modified":"2026-03-31T16:48:43Z","type":"item","id":"Q1949399","labels":{"en":{"language":"en","value":"On rotated \\(D_n\\)-lattices constructed via totally real number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6161242"}},"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":"Q1949399$C3AB853F-25AC-4426-89F1-146DF62CEA67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f3908f1cc85600ea770e2c7c9c3aa661e04dfe9","datavalue":{"value":{"text":"On rotated \\(D_n\\)-lattices constructed via totally real number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1949399$F3BBBCA1-5DD2-443F-B7EB-367B5AC01361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc74cb587d1b56ab58e0862763bb5197953e6e37","datavalue":{"value":"1294.11115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949399$A7A67CDF-8BD5-47B9-8446-C30FFC470BB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"085f29a578a5213e3b8b892c139078f3db9cf58c","datavalue":{"value":{"entity-type":"item","numeric-id":452373,"id":"Q452373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$A0F72AC8-5C93-4671-B5FE-38BB0495BA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d7713850b64f9658e8b2248f3e81868ddfaa5fb","datavalue":{"value":{"entity-type":"item","numeric-id":234305,"id":"Q234305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$F615A864-A5B0-4199-A40A-33793005BDC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$2CD990E4-E815-4FB3-AFDC-B4331D039AC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"020f9d6dd2cec505bf49233d68be86f4fa068ecc","datavalue":{"value":{"time":"+2013-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1949399$4AF63237-B8A0-41E3-BE66-2C64538A80FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"280713815f9cd457f40817eec7477ee2dcda5d46","datavalue":{"value":"https://arxiv.org/abs/1206.6149","type":"string"},"datatype":"url"},"type":"statement","id":"Q1949399$E0F9B8D3-20A6-4F86-A9CD-7A8000551AC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0801447bc65f15d5cc103edc61f3cbbc89845998","datavalue":{"value":"A lattice \\(\\Lambda\\) is a discrete additive subgroup of \\(\\mathbb R^n\\) considered as the standard real vector space. Equivalently, \\(\\Lambda\\subset \\mathbb R^n\\) is a lattice if and only if there are linearly independent vectors \\(v_1,\\dots,v_n\\in\\mathbb R^n\\) such that \\(\\Lambda = \\sum_{i=1}^m a_iv_i, a_i\\in\\mathbb Z\\).  For \\(n \\geq 3\\), the \\(n\\)-dimensional lattice \\(D_n\\) in \\(\\mathbb R^n\\) is  \\[ D_n = \\{(x_1,\\dots, x_n) \\in \\mathbb Z^n; \\sum_{i=1}^n x_i\\text{\\;is even\\;}\\}. \\]  A lattice \\(\\Lambda\\) has diversity \\(k \\leq n\\) if \\(k\\) is the maximum number such that for all \\(0\\not = \\mathbf y \\in \\Lambda\\), there are at least \\(k\\) nonzero coordinates, and \\textit{full diversity} if \\(k=n\\). Full diversity \\textit{rotated \\(D_n\\)-lattices} are obtained in [\\textit{G. C. Jorge} et al., J. Number Theory 132, No. 11, 2397--2406 (2012; Zbl 1272.11084)] using subfields of some cyclotomic fields, see also \\textit{E. Bayer-Fluckiger} et al. [IEEE Trans. Inf. Theory 50, No. 4, 702--714 (2004; Zbl 1182.94034)].  Let \\(K\\) be a totally real number field of degree \\(n = [K : \\mathbb Q]\\) and \\(\\mathcal O_K\\) its ring of integers. Let \\(\\{\\sigma_i\\}_{i=1}^n\\) be the real embeddings. The embedding \\(\\sigma_\\alpha : K \\rightarrow \\mathbb R^n\\) where  \\(\\sigma_\\alpha(x) =(\\sqrt{\\alpha_1}\\sigma_1(x),\\dots,\\sqrt{\\alpha_n}\\sigma_n(x))\\) is called the \\textit{twisted embedding}.  Let \\(\\zeta_n\\) denote the \\(n\\)th primitive root of unity. In this paper, considering the compositum \\(K_3\\) of the fields \\(\\mathbb Q(\\zeta_{2^r}+\\zeta_{2^r}^{-1})\\) and \\(\\mathbb Q(\\zeta_{p_1}+\\zeta_{p_1}^{-1})\\) and the compositum \\(K_4\\) of \\(\\mathbb Q(\\zeta_{p_1} + \\zeta_{p_1}^{-1})\\) and \\(\\mathbb Q(\\zeta_{p_2} + \\zeta_{p_2}^{-1})\\), where \\(p_1\\) and \\(p_2\\) are prime numbers with \\(p_1 \\not= p_2\\), the authors construct some new families of rotated \\(D_n\\)-lattices via free \\(\\mathbb Z\\)-modules of rank \\(n\\) that are not ideals.  Then they show that it is impossible to construct these lattices via fractional ideals of \\(\\mathcal O_{K_i}\\) the ring of integers of \\(K_i\\), for \\(i = 2, 3, 4\\).  Lastly, they present a necessary condition for constructing a rotated \\(D_n\\)-lattice via a totally real Galois extension \\(K/\\mathbb Q\\). These results are related to an open problem stated in [\\textit{E. Bayer-Fluckiger}, in: Algebraic geometry: Hirzebruch 70, Contemp. Math. 241, 69--84 (1999; Zbl 0951.11016)] p. 69: given a lattice \\(\\Lambda\\), is there a number field K such that it is possible to construct via \\(\\mathcal O_K\\)?  More precisely, we give an explicit example of their approach. Let us denote \\(e_0 = 1, e_i = \\zeta_{2^r}^i+\\zeta_{2^r}^{-i}\\) for \\(i=1,\\dots,2^{r-2}-1\\) and \\(b_i=\\zeta_p^i+\\zeta_p^{-i}\\) for \\(i=1,\\dots,\\frac{p-1}{2}\\).  The authors prove:  Consider \\(K = K_1K_2\\) the compositum of \\(K_1\\) and \\(K_2\\), where \\(K_1=\\mathbb Q(\\zeta_{2^r}+\\zeta_{2^r}^{-1})\\) and \\(K_2=\\mathbb Q(\\zeta_p+\\zeta_p^{-1})\\) for \\(r \\geq 3\\) and \\(p \\geq 5\\) prime. Let \\(n_1 = 2^{r-2}\\) and \\(n_2 = \\frac{p-1}{2}\\) . If \\(\\mathcal I\\) is the \\(\\mathbb Z\\)-submodule of \\(\\mathcal O_K\\) with \\(\\mathbb Z\\)-basis  \\[ \\gamma = \\{e_0b_1,\\dots, e_0b_{n_2-1}, 2e_0b_{n_2}, e_1b_1,\\dots, e_1b_{n_2},\\dots, e_{n_1-1}b_1,\\dots, e_{n_1-1}b_{n_2}\\}, \\]  then the lattice \\((\\sqrt{2^{r-1}p})^{-1}\\sigma_\\alpha(\\mathcal I)\\subseteq \\mathbb R^n\\), where \\(\\alpha = (2-e_1)(2-b_1)\\), is a rotated \\(D_n\\)-lattice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949399$F683DF98-20F4-4BEC-A5DE-3F2122A97302","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":"Q1949399$7FB04994-8DF3-4B26-AA93-B35F61AC2EE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949399$F846D9EF-F1FD-4302-9145-28C045000731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c58c91ba6ac947e2fd708917bdc5cad0e229b528","datavalue":{"value":"11R80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949399$E5DDD8B0-6C62-4DB8-B3B1-4E43A90F9F37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36ace550d7c0bd7cb00f3276063506963db6b284","datavalue":{"value":"6161242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949399$5C11A88A-4D36-45F0-A44F-3551C4C0AE7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bd71e54f50e2bbc04d66d9ee75f7cc02e71e4b8","datavalue":{"value":"\\(D_n\\)-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949399$DD4C7212-8A36-4E90-8356-237679E27344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aa724138617afcbd2c4324c3da10bc3fbe4794d","datavalue":{"value":"rotated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949399$EB4FADAB-583B-4A06-A150-5F4C65E1DBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a5c481879fbca3475d603898f57549d11d7d1df","datavalue":{"value":"full diversity lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949399$5982BAAB-F6D1-4834-A433-E9B0F97C57DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806d418c42a8fac7e5e1fe48323d7f92d74dd183","datavalue":{"value":"Galois extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949399$79AD345C-9A68-4AF4-B5D0-8BCD260C90AF","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":"Q1949399$EEDAA74B-4692-4271-9941-D44DBB7BC656","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19bc88aeaff8969974371c7cbe471114f9151d71","datavalue":{"value":"W1987327064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949399$7430C6B8-EE6E-489F-A12F-EF7A3E87393F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98c02c7c903e37958aeaa3982093d1d8fbdbc83","datavalue":{"value":{"entity-type":"item","numeric-id":3421934,"id":"Q3421934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$48273D2E-E45B-4F1F-A4A2-A0E2AAE05087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25833b324785fb6596a0d9650283236afed4332c","datavalue":{"value":{"entity-type":"item","numeric-id":4941082,"id":"Q4941082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$B26D523F-8A71-4D9D-B274-68A0583DADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a515f8d15712229bfc9b6338b3ce560d088c071","datavalue":{"value":{"entity-type":"item","numeric-id":4428499,"id":"Q4428499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$3081D6B6-D366-45CE-96C6-62398D92D887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcc141e7d6d65bb0d54371c2d02af7098d507e69","datavalue":{"value":{"entity-type":"item","numeric-id":3546544,"id":"Q3546544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$79654E75-4D99-4C98-BD33-C8B1ACC41C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41766df1028c18b6a58170d42a9c1dd196e6a669","datavalue":{"value":{"entity-type":"item","numeric-id":819852,"id":"Q819852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$53A01524-C488-413D-A086-E3AF3C527277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3cb134c2814e57c03a95904d964a5c65c9e1a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2490658,"id":"Q2490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$33668435-F53F-4CBB-A656-9715B11DA73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67fb5de41f51e9dec4f436b7150b8e255f475fb","datavalue":{"value":{"entity-type":"item","numeric-id":4885681,"id":"Q4885681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$E4B43CC9-A75E-41F9-AF13-05A2D2D8A836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7ea3c123694fff1c7f57dd324b0bea5a7c4af8","datavalue":{"value":{"entity-type":"item","numeric-id":452375,"id":"Q452375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$05A628BD-DB0A-407E-9E02-838DFE527175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae5f2dcfa8bf9795c9f64312f78da5be66ea9da","datavalue":{"value":{"entity-type":"item","numeric-id":4474478,"id":"Q4474478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$7310AA0F-A7FD-49F6-AC7E-7A499ECB1BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7210dd0063c20bab70607fcfa8991587a187e7af","datavalue":{"value":{"entity-type":"item","numeric-id":5906056,"id":"Q5906056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$62BCD06D-04CE-4ED1-88A3-A87D26321512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad8401dbfe3592b50558e3ce369d5b05f5dce16","datavalue":{"value":{"entity-type":"item","numeric-id":5618446,"id":"Q5618446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$05E6880F-07E6-4BFE-9CCD-5C077CDDD86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440814f65fe288fc5a65ecc04a6ca57ffe0ef2b8","datavalue":{"value":{"entity-type":"item","numeric-id":3813882,"id":"Q3813882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$74F1DC18-6D9C-4A50-84E9-30F7D2DA3CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d03ed71298ee9649c6d5be8aa186910c728ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3943047,"id":"Q3943047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949399$95C578F6-3CF6-457F-BD8A-111C0F88BE2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38644344f29ce10457805bb576d46f6adfe26302","datavalue":{"value":"10.1007/S00013-013-0501-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949399$2140D9F0-E7E4-430D-882D-2D091CD68178","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18850fe142106eb103bac3da6db5de64ff63ae1","datavalue":{"value":{"entity-type":"item","numeric-id":452375,"id":"Q452375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa745893ebde9de9be181920ae1c2a2c34e3396","datavalue":{"value":{"amount":"+0.9153830409049988","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":"Q1949399$5B52A830-6513-4071-A90A-F9AA819C4F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c15fd7ddce4aa23975b607fa41e27bc7b923f2","datavalue":{"value":{"entity-type":"item","numeric-id":3390311,"id":"Q3390311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0440be467b620a4d653a2da36a5cb579fd3af105","datavalue":{"value":{"amount":"+0.8865687847137451","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":"Q1949399$0DEC3427-60C4-4EEE-BB55-115E74167905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08748216077de81d7ef223b9c3d4cc21f7186d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4585775,"id":"Q4585775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22be2f54b6d2bd576dd2932ee8362519b71383c","datavalue":{"value":{"amount":"+0.8657636642456055","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":"Q1949399$A76D6157-A8D7-4372-89F0-6F947198F656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e21be531013ec1316c8e4f8ccb5c7883a0eb74","datavalue":{"value":{"entity-type":"item","numeric-id":2158231,"id":"Q2158231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaac0b425869aa80592d49c32128f7fa9f40369","datavalue":{"value":{"amount":"+0.8588039875030518","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":"Q1949399$23F724BC-C7D1-49A4-B443-10CCE7AFB9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f3bd40d44a7f1cbd9ef21ce4265264fb8d5025","datavalue":{"value":{"entity-type":"item","numeric-id":5453991,"id":"Q5453991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8702039dcc728a97fd0e9c030286226b9bf4593d","datavalue":{"value":{"amount":"+0.8562591671943665","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":"Q1949399$1ECECE71-4A7A-4F9A-99F9-560CD1ABE998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1949399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1949399"}}}}}