{"entities":{"Q848525":{"pageid":850373,"ns":120,"title":"Item:Q848525","lastrevid":64803033,"modified":"2026-04-11T22:19:50Z","type":"item","id":"Q848525","labels":{"en":{"language":"en","value":"Extreme lattices and vexillar designs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5677317"}},"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":"Q848525$9FAB020E-E02B-4FA7-9484-041E83CB7664","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8e74f9094013332149d9cbc72c8a4808df03554","datavalue":{"value":{"text":"Extreme lattices and vexillar designs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q848525$423AF345-E5DE-43BD-B1B8-3BA289B94ED7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed133506c755e9163193c4fbadc6d955619a3594","datavalue":{"value":"1220.11085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848525$9FE7D3F6-4F45-4F78-BC45-64102B8D648E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$3D6391AD-B860-47D2-875D-7432446B1D1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$3915FF03-48DB-4FA9-BC56-B2516E596245","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"355ea7e9fd14aaadfb5a5632e845e3bf053937d3","datavalue":{"value":{"time":"+2010-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q848525$1A1DF8B4-0F02-4EFC-B27B-48D5C124D6E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f2d34b29514bec5a088773dc86f88fabe114079","datavalue":{"value":"https://arxiv.org/abs/0812.2659","type":"string"},"datatype":"url"},"type":"statement","id":"Q848525$59C03344-CDE6-432E-A226-5D121356AA99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cca455ff9addbe6b16ab9ddc8ac9ea4826aa9eca","datavalue":{"value":"The author introduces the new notion of \\textit{vexillar design} for the \\textit{flag varieties} in the spirit of the already known \\textit{spherical designs}. He explains how the orbits of any flag under the action of a finite group can be a design and he shows that a lattice is locally optimum for the \\textit{general Hermite constant} when its minima form a \\textit{\\(4\\)-design}. As an application, the author proves the \\textit{extremality} of several new expected lattices (root lattice \\(E_8\\), Leech lattice \\(\\Lambda_{24}\\), Barnes-Wall lattices, Thompson-Smith lattices for instance) that were out of reach up to now.   The article is structured in the following way:   The introduction recalls the historical context with connection with some works of \\textit{P. Delsarte, J. M. Goethals, J. J. Seidel} [``Spherical codes and designs,'' Geom. Dedicata 6, 363--388 (1977; Zbl 0376.05015)], \\textit{B. Venkov} [R\u00e9seaux et designs sph\u00e9riques. R\u00e9seaux euclidiens, designs sph\u00e9riques et formes modulaires, Autour des travaux de Boris Venkov. Gen\u00e9ve: L'Enseignement Math\u00e9matique. Monogr. Enseign. Math. 37, 10--86 (2001; Zbl 1139.11320)] \\textit{W. Lempken, B. Schr\u00f6der, Pham Huu Tiep} [``Symmetric squares, spherical designs and lattice minima, with an appendix with C. Bachoc and Tiep,'' J. Algebra 240, No.1, 185--208 (2001; Zbl 1012.11054)], \\textit{C. Bachoc, R. Coulangeon, G. Nebe} [``Designs in Grassmannian spaces and lattices,'' J. Algebr. Comb. 16, No. 1, 5--19 (2002; Zbl 1035.05027)], and \\textit{C. Bachoc, E. Bannai, R. Coulangeon} [``Codes and Designs in Grassmannian spaces,'' Discrete Math. 277, No. 1-3, 15--28 (2004; Zbl 1040.05005)].  The author details or recalls, in the context of the field of rational numbers, the numerous definitions necessary for its reading : \\textit{general Hermite constant, flags, flag variety, tableaux, bitableaux, Schur functor, square integrable functions, zonal functions, spherical design, vexillar \\(t\\)-designs, minimal flag, \\(\\lambda\\)-perfect, \\(\\lambda\\)-eutactic, \\(\\lambda\\)-extreme lattices, \\(\\lambda\\)-strongly perfect lattices.} In particular, the \\textit{Hermite-invariant} of a full-rank \\(L\\) contained in \\(\\mathbb R^n\\) is defined by  \\[ \\gamma_{\\lambda,n}(L)=\\inf_{\\Lambda\\subset L}\\frac{\\det{(\\Lambda_1)}\\cdots \\det{(\\Lambda_{\\check{s}})}}{(\\det(L))^{\\frac{|\\lambda|}{n}}}, \\]  where \\(\\Lambda=(\\Lambda_1,\\dots,\\Lambda_{\\check{s}})\\) is a chain of nested sublattices of \\(L\\) satisfying the condition \\(rk(\\Lambda_i)=\\check{\\lambda}_i\\) for all \\(i=1,\\dots,\\check{s}\\). The \\textit{Hermite constant } \\(\\gamma_{\\lambda, n}\\) is defined by \\(\\gamma_{\\lambda,n}=\\sup_{L}{\\gamma_{\\lambda,n}(L)}\\), where the supremum is taken over all the full-rank lattices \\(L\\) of \\(\\mathbb R^n\\). A lattice is called \\textit{\\(\\lambda\\)-extreme} when it achieves a local maximum of \\(\\gamma_{\\lambda,n}(L)\\).   Section 1 recalls some notions on the flag variety. Section 2 recalls how the space of regular functions on the flag variety decomposes into orthogonal irreducible components under the action of the orthogonal group. Section 3 deals with the construction of some zonal functions of low degree, which allows to introduce in section 4 the notion of \\textit{vexillar design} which suits for the use of the general Hermite constant. In particular, the author gives some equivalent conditions for a finite set to be a design:\\textit{If a subgroup \\(G\\) of the orthogonal group \\(\\text{O}(n)\\) has no harmonic invariant of degree \\(d\\) for \\(1\\leq d\\leq t\\), then any finite \\(G\\)-orbit is a \\(t\\)-design.} Section 5 exhibits the link between \\(4\\)-lattices and extreme lattices. The last section describes some examples which benefit from this theory and shows that the root lattice \\(E_8\\), the Leech lattice \\(\\Lambda_{24}\\), the Barnes-Wall lattices, and the Thompson-Smith lattice are new \\(\\lambda\\)-extreme lattices for all \\(\\lambda\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q848525$DA730556-BDA1-4EDF-9C5C-CAB9D042E568","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":"Q848525$DE4817B8-5D90-4808-8908-2D99636503BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848525$1CE7210F-2B3B-430C-8F5E-DAC0E09BD3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afee3ea1d2c4e062a79086470208b2d631b88154","datavalue":{"value":"11H50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848525$03C804E1-6E2B-4C1E-B7CA-225C66729750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39bd362256b1969d62ff293affd21cf721be112c","datavalue":{"value":"5677317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848525$29CB66E2-6615-46BF-8B8C-14255D441ECA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc85bae11a31fd457cd4c048f448c7257323e4","datavalue":{"value":"design","type":"string"},"datatype":"string"},"type":"statement","id":"Q848525$333BFA8D-8C22-4162-8057-BB14CDB00DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b102ccc7925cbb2c9663c675dfea187db91f13","datavalue":{"value":"extreme lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q848525$54EAE052-1F42-4C55-A19A-0A75FBF2F937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"124d20cfbc66811fad8e9451742f896cbdef1990","datavalue":{"value":"Hermite constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q848525$7CC8C93D-A022-4FF8-AE39-51978D5CF7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f0bf981b3f748df55def1efdb1613fd067e000","datavalue":{"value":"vexillar design","type":"string"},"datatype":"string"},"type":"statement","id":"Q848525$F32F6AAA-7D4E-47C1-A6C0-9C76A4D2EDE9","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":"Q848525$1559196A-B366-440C-B694-DC7CAAB861C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac3482aa7941922cc479b44256eb49139c962ad3","datavalue":{"value":"W2964228445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848525$B857B149-0F92-4704-968B-507F3E38237F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe66a40e61add41ba19284fca18471909ccaa024","datavalue":{"value":{"entity-type":"item","numeric-id":2388605,"id":"Q2388605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$881294C5-563F-4C6E-94D5-36A325117AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b83fed5f683c08fc09db1254397d11aaa64ba2","datavalue":{"value":{"entity-type":"item","numeric-id":1426105,"id":"Q1426105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$02BD10CF-9978-46A6-9D6C-2B5EB4992674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0e68acf7432638bf49e0077b46d46a0d5fddf3","datavalue":{"value":{"entity-type":"item","numeric-id":1862267,"id":"Q1862267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$92CB81EE-D291-441C-A603-EFD2F44D3447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e42c9f9dc463d00ba2ce5323b411d304e4954dbb","datavalue":{"value":{"entity-type":"item","numeric-id":1188495,"id":"Q1188495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$9CEB183D-F6DA-44F8-924B-DF7F74D1248B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e497a70e57ba7e41510ba40ac9bbefb8f902cc05","datavalue":{"value":{"entity-type":"item","numeric-id":1140139,"id":"Q1140139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$6B8C4844-5FA6-4528-8CAF-1ED95D7DF40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acaa075c8fa37c63d9e924b3d16603f316a18440","datavalue":{"value":{"entity-type":"item","numeric-id":1233930,"id":"Q1233930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$492C8A61-3018-4B78-96EC-5E999F6B4154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b81b52b06fa931620fbfc4d297bd2857d96f07","datavalue":{"value":{"entity-type":"item","numeric-id":1245838,"id":"Q1245838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$0020BA58-EC06-4E47-B245-1DF36E9BEC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5415180a967c2ab79b0dd9a9d7057bc79bcd590","datavalue":{"value":{"entity-type":"item","numeric-id":3861411,"id":"Q3861411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$6FDA370D-4609-4A0C-B688-A2660EA656EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777fcd6eb2ed5ee098a1245269fff21b95cad4c5","datavalue":{"value":{"entity-type":"item","numeric-id":3129746,"id":"Q3129746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$693115C2-D705-42C4-BDB9-C3DACE208FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5088d4d7e4dd7fd85358ab2884849f6487dac0cf","datavalue":{"value":{"entity-type":"item","numeric-id":4777659,"id":"Q4777659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$A6524F26-5413-4F19-BE82-ACEDC693E274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31231f0772a799247a29102de9b3464079a518c","datavalue":{"value":{"entity-type":"item","numeric-id":1821171,"id":"Q1821171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$2E2709C4-5094-4EF2-AB61-C593C50B1AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388167fdb671bf0f4ddc413d745eb2f022492db1","datavalue":{"value":{"entity-type":"item","numeric-id":5938606,"id":"Q5938606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$C6137562-7427-4161-8057-9A2A77C5A879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec4a6f123513bf0b3167098b349b3c5cb0dea5f","datavalue":{"value":{"entity-type":"item","numeric-id":3629348,"id":"Q3629348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$97FC95F8-0950-45EC-81BD-86C357A78679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adc82e5a0882b7d2494c0b44bfe51b5a7a250ab","datavalue":{"value":{"entity-type":"item","numeric-id":855992,"id":"Q855992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$9EB22074-2D30-448C-AE06-5610E196428D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcb4b7346585558cfacf4f0ed3ae3d37eac3ab6","datavalue":{"value":{"entity-type":"item","numeric-id":4654210,"id":"Q4654210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$8B5C0841-8ED1-45C7-A2DE-8BAA96CB32AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d501cedbe30c288573cb7e20e810ea908228af30","datavalue":{"value":{"entity-type":"item","numeric-id":4948714,"id":"Q4948714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q848525$12D6919D-895A-4471-827F-F265A6C259C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e70cabd9a18d22a6d7edd38194bbf477937a1e2","datavalue":{"value":"10.1016/J.JALGEBRA.2009.09.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q848525$6EB59C67-4EA8-4AB7-B151-5D21F7D97B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fead84f29c4c60c4695a94c1a06d41dfbc98055","datavalue":{"value":{"entity-type":"item","numeric-id":2452331,"id":"Q2452331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae70cc43acb175e695ddc81ecb640c2dd8a8741f","datavalue":{"value":{"amount":"+0.7929798364639282","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":"Q848525$9F55FF37-FC16-4668-B8BF-472A01E3EEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd05da1ed8dc77d0b1759f6112a8d87486fe7597","datavalue":{"value":{"entity-type":"item","numeric-id":3602647,"id":"Q3602647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ee4a0640e1aee760dce70f17fd38dd2fe3811f","datavalue":{"value":{"amount":"+0.7837671041488647","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":"Q848525$08F860F8-64F7-4EC4-A061-20C87CCDBDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f365ae6d0b0c359aff6b24797a099d8a1b590e","datavalue":{"value":{"entity-type":"item","numeric-id":4654210,"id":"Q4654210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589ce482c5eb2adf8c03f0c860b106102df61235","datavalue":{"value":{"amount":"+0.7758550047874451","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":"Q848525$471D1377-148E-4D6F-8675-3CB1A5B7118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b81264527b613e7232a2cbade7fd32f5088b1a","datavalue":{"value":{"entity-type":"item","numeric-id":1434487,"id":"Q1434487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30cd46cd74a4af37e2cace3a462f2d67b667235b","datavalue":{"value":{"amount":"+0.7749339938163757","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":"Q848525$C077A163-6CF9-4434-BED1-4B4E39DB1EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4683b85dd6f2fa686ef953163846f67f27dbfe","datavalue":{"value":{"entity-type":"item","numeric-id":5938606,"id":"Q5938606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91afeeed8f9bdaf942af964c0ad89497dac6c129","datavalue":{"value":{"amount":"+0.7625721096992493","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":"Q848525$0E586015-20DA-4324-A834-B8103BB97374","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extreme lattices and vexillar designs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extreme_lattices_and_vexillar_designs"}}}}}