{"entities":{"Q2308288":{"pageid":2319031,"ns":120,"title":"Item:Q2308288","lastrevid":57835152,"modified":"2026-04-02T17:55:13Z","type":"item","id":"Q2308288","labels":{"en":{"language":"en","value":"An upper bound on the number of perfect quadratic forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7184838"}},"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":"Q2308288$4E482657-2BBB-418D-BC95-D7F65D4FCD49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30c526271a6198cfe702d4f56f08bbf9f6b97e39","datavalue":{"value":{"text":"An upper bound on the number of perfect quadratic forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2308288$1DDBE844-5843-4E9C-8419-C89BBCF2C3F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f99c8e3d54da48fcca5057afe3c8ddc4c417112","datavalue":{"value":"1444.11150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2308288$753312FC-B31C-4FDF-B3C9-F909DD4BD8A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da30f80bfbf4b8665a27bfd0e94d38b37dd0bc24","datavalue":{"value":{"entity-type":"item","numeric-id":1692155,"id":"Q1692155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$BD43056F-7F17-4AFD-BA66-7D1F2147A783","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$AE813D10-251A-41C8-889A-CC14DEC62C2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd3630e05975afdb259b29d18d30bdf474d1aa0c","datavalue":{"value":{"time":"+2020-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2308288$986BB104-0615-4C24-867F-023F5E605FD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a32b7a6824221bbba179574f88ab1e4dc085a137","datavalue":{"value":"https://arxiv.org/abs/1901.04807","type":"string"},"datatype":"url"},"type":"statement","id":"Q2308288$7DFA8A61-149E-476F-8000-94ACA339A795","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"822ff22662d2abc685ecd1e8e5b6a10cf36c5c7f","datavalue":{"value":"A positive definite quadratic form $\\mathcal Q$ of $d$ variables is called \\textit{perfect} if $\\{xx^{t} \\ |\\ x\\in {\\mathbb Z}^{d}\\), $\\mathcal Q(x) = \\min(\\mathcal{Q}) \\} $ spans the vector  space $ \\mathbb{R}^{d(d+1)/2} $ (here  $ \\min(\\mathcal{Q}) = \\min \\{\\mathcal{Q}(x) \\ | \\ 0\\ne x \\in {\\mathbb Z}^{d} \\} $). Two positive quadratic forms $ \\mathcal{Q},\\mathcal{Q'} $ of $ d $ variables are called \\textit{similar}, if there exist $ M\\in\\mathrm{GL}_d({\\mathbb Z}) $ and $ \\lambda\\in {\\mathbb R}_{>0} $ such that $ \\mathcal{Q}'(x) = \\lambda^2 \\mathcal{Q}(Mx) $ for all $ x\\in {\\mathbb Z}^{d} $ (if $ \\lambda =1 $, then $ \\mathcal{Q} $ and $ \\mathcal{Q}' $ are called \\textit{arithmetically equivalent}). \\textit{R. Bacher} showed that the number $ p_d $ of non-similar perfect positive definite quadratic forms of $ d $ variables satisfies  $$ e^{d^{1-\\varepsilon}} < p_d < e^{d^{3+\\varepsilon}} $$ for arbitrary small positive $ \\varepsilon $ (see [J. Th\u00e9or. Nombres Bordx. 30, No. 3, 917--945 (2018; Zbl 1443.11132)]). Denote by $ Q\\in {\\mathbb R}^{d\\times d} $ the matrix associated to the positive definite quadratic form $ \\mathcal{Q} $. Furthermore, let  $$  \\mathcal{S}_{\\geqslant 0}^{d} = \\{Q \\in {\\mathbb R}^{d\\times d} \\colon\\mathcal{Q}\\text{ is positive semidefinite} \\}.  $$  In this paper, the author proves the following upper bound  $ p_d \\leqslant e^{d^2 \\log(d)} $ (Theorem 3.1). The proof bases on the Voronoi's first reduction theory (see [\\textit{G. Vorono\\\"{i}}, J. Reine Angew. Math. 133, 97--178 (1908; JFM 38.0261.01)]) and on the volumetric argument applied to the set  $ \\{ Q \\in \\mathcal{S}_{\\geqslant 0}^{d} \\colon\\mathrm{Tr}(Q)\\leqslant 1 \\} $. Moreover, the author shows (Lemma 3.3) that if $ \\mathcal{Q} $ is a perfect quadratic form, then  there exists a quadratic form $ \\mathcal{Q}' $, such that $ \\mathcal{Q}' $ arithmetically equivalent to  $ \\mathcal{Q} $ and $ \\{x^{t}x \\ |\\ x\\in {\\mathbb Z}^{d},\\ \\ \\mathcal{Q}'(x) = \\min(\\mathcal{Q}') \\} \\subseteq (0,d^3(d+7)/8] $. Moreover, if $ \\mathcal{Q} $ is an integral primitive perfect quadratic form of $ d $ variables, then   $ \\min(\\mathcal{Q})\\leqslant  2^{-(n+d/2)}\\cdot (d^3(d+7))^{n/2} $ where $ n = d(d+1)/2 $ (Theorem 4.1).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2308288$2DC72D7C-2A96-46D0-A79E-F3635E5DFA90","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"65f6b819b9333fd802201973fb13b99386c37c4c","datavalue":{"value":{"entity-type":"item","numeric-id":738796,"id":"Q738796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$23F3CE36-1CFB-4F23-892B-F38BF4E42ACC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f3a770aca53115fb3ca1a8111091a579be311da","datavalue":{"value":"11H55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2308288$BB9FE2DC-F07A-4EF9-9CA9-9775C679185C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2308288$C90B8895-0CFA-4D4F-AB07-860FD9D9B7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afee3ea1d2c4e062a79086470208b2d631b88154","datavalue":{"value":"11H50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2308288$F2420D19-5330-4097-87D9-3D55C82D32E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af759f9edd836a49d9d151968baa4c6ea5edd8f0","datavalue":{"value":"7184838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2308288$88A1FC47-9693-4F18-B0D1-F6C355CF6325","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbd727ff11d1f25a939fc1057fb048061b2a5d5c","datavalue":{"value":"perfect quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2308288$651EE8AD-ADE4-4A3B-B96F-333B90DC19CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9868b28a46db092d9f83243025fbaa2845712e","datavalue":{"value":"Voronoi' first reduction theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2308288$F1D1926B-FE0E-44A7-99FD-0A2BAE3EC5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781461930c55d6d35077acdade9a49f0d88f3225","datavalue":{"value":"minimum of positive definite quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2308288$DA0BE9BB-8161-482F-B167-210FA2CF569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65b24d107ca1acc28b09ec3c61976e979151fa71","datavalue":{"value":"equivalent quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2308288$7C15C193-DEFC-419D-BCAA-2EF5415D23CA","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":"Q2308288$D3B1203E-B7A7-421E-98D9-324F49744658","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70a7c709623fa9e70d1df52eb5a0942ea8161c71","datavalue":{"value":"W2909269497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2308288$8BDA2977-859A-49AC-9B66-43EE8F74A090","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eab0e0e1e291cef958694130032311b496da853","datavalue":{"value":{"entity-type":"item","numeric-id":3242248,"id":"Q3242248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$2EF16150-054A-42CE-B6B7-D68FCA3031B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60d3938e492be2247541b41f08b998eeb72af32","datavalue":{"value":{"entity-type":"item","numeric-id":1210512,"id":"Q1210512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$6EC56F7E-81A3-4FDD-83E8-E60E62996A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a23ed90de9ea3bf7ca6aa3b92470a156256217b","datavalue":{"value":{"entity-type":"item","numeric-id":3432119,"id":"Q3432119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$8ACCE5AF-6F02-43B2-96DB-1A1BECBC7F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2483cb50c58ae2143841340994d717c9ed8124b0","datavalue":{"value":{"entity-type":"item","numeric-id":4933682,"id":"Q4933682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$526A2BC6-8CFE-47AA-B3CF-08B3FBFF1BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4578d46e240eca0099dfeff04f081420537ea0b4","datavalue":{"value":{"entity-type":"item","numeric-id":3302473,"id":"Q3302473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$55A63F5E-5E52-4B96-958A-43A7BA876F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adcb567a3d047d3d3408878a54d0dcb3c7ae8452","datavalue":{"value":{"entity-type":"item","numeric-id":5223374,"id":"Q5223374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$41A29865-3625-4285-9D89-C3EB3F634691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba8394390a6d59952f33324c5c063f119bd5d68","datavalue":{"value":{"entity-type":"item","numeric-id":757465,"id":"Q757465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$F3651EA7-9483-4866-8C79-3BC7FD262D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c5626a150394f2bd87219771777620a536db517","datavalue":{"value":{"entity-type":"item","numeric-id":1318081,"id":"Q1318081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2308288$5493F632-662F-405A-906A-9C59D89F44D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2a174d4e3a6e89af89a437b6967abb190b9a05f","datavalue":{"value":"10.1016/J.AIM.2020.107031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2308288$A2ECD4B3-67C7-4F62-900E-3242A4496867","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4778c240433a1078bee004acfc757e9a224aa663","datavalue":{"value":{"entity-type":"item","numeric-id":5852634,"id":"Q5852634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b543c3ca5d04d642c1dab93b70b9ec1797af68","datavalue":{"value":{"amount":"+0.7912639379501343","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":"Q2308288$4AD66D97-E0DC-479C-9576-D89D178ED3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0f79294961bd58cc17b1097a5101e34fe74c2e","datavalue":{"value":{"entity-type":"item","numeric-id":5223374,"id":"Q5223374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ca122826df30bf9ee41be4a0fdc69fc2018739","datavalue":{"value":{"amount":"+0.7880760431289673","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":"Q2308288$5F048A6B-933E-4916-9BE3-85A9CBA29B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f083f71191ff95fb921afd7a27b4c093ab5321c","datavalue":{"value":{"entity-type":"item","numeric-id":4663076,"id":"Q4663076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7d5fe5cbc4ab692ff61f2ad364ebd24483b932","datavalue":{"value":{"amount":"+0.7739925384521484","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":"Q2308288$357D000A-DA93-4F3F-BE2D-ADD6E7590628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcdf7fc97e25ab5dd460f4c724395f792227826e","datavalue":{"value":{"entity-type":"item","numeric-id":2857909,"id":"Q2857909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967abd651b10af40f40123511c8765d386b75551","datavalue":{"value":{"amount":"+0.7736523151397705","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":"Q2308288$1F609AB7-B4AF-4A69-9D3E-FBC8058477C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57278517ce82d985211e47d1c2c45b9d7e5230cb","datavalue":{"value":{"entity-type":"item","numeric-id":4001957,"id":"Q4001957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea38242222566397e7df86cfaa3839ef1b4bbcdf","datavalue":{"value":{"amount":"+0.7714799046516418","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":"Q2308288$3CCF455F-D861-4A8F-941A-BE15BCCF252C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2308288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2308288"}}}}}