{"entities":{"Q6591606":{"pageid":14202763,"ns":120,"title":"Item:Q6591606","lastrevid":103593167,"modified":"2026-06-06T07:41:45Z","type":"item","id":"Q6591606","labels":{"en":{"language":"en","value":"An upper bound on the number of classes of perfect unary forms in totally real number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7900421"}},"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":"Q6591606$1B61EF2D-10A6-4BF9-9011-C50E8F40BDB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8da7f68e8b399fda1599c0fd5111f1b212eca551","datavalue":{"value":{"text":"An upper bound on the number of classes of perfect unary forms in totally real number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6591606$0004EA31-B311-4659-A430-C4A85E1B0752","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2807c21410d1f9d10492d4d3ac9b3646d6b7ce91","datavalue":{"value":{"entity-type":"item","numeric-id":5103202,"id":"Q5103202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$0662E693-494E-4077-8F76-4C1282F484EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7935578a94faee4b54755587016eb011a3f8eb18","datavalue":{"value":{"entity-type":"item","numeric-id":2154557,"id":"Q2154557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$41EF5896-95C0-405D-87A5-A188CF10903F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a035c107b10f77b626decca899281cb6367c70f2","datavalue":{"value":{"entity-type":"item","numeric-id":2789365,"id":"Q2789365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$A991B134-8275-45C0-AE71-311D1679FDD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb302d03576a285f1f06085fb508f4d96fa60d9a","datavalue":{"value":{"time":"+2024-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6591606$A86C7336-A3BE-444F-BC7A-73F7B9A4A285","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"006e28a909c7245b410b0ffc7d4075b5f343ef40","datavalue":{"value":"Let \\(K\\) be a totally real number field of degree \\(r\\) and let \\(\\omega_1, \\ldots, \\omega_r\\) be a basis in the ring of algebraic integers \\(\\mathcal{O}_K\\) in \\(K\\). For each totally positive \\(a\\in K\\) (denoted by \\(a\\in K_{>>0}\\)) one can associate the positive definite rational quadratic form\\N\\[\\N\\mathrm{Tr}_{K/\\mathbb{Q}} ax^2 = \\mathrm{Tr}_{K/\\mathbb{Q}} a(x_1\\omega_1+\\ldots + x_r\\omega_r)^2\\N\\]\\Nof \\(m\\) variables. Denote by \\(\\mu(a)=\\min \\{\\mathrm{Tr}_{K/\\mathbb{Q}} av^2 \\ | \\ 0\\ne v\\in \\mathcal{O}_K \\}\\) and \\(\\mathcal{M}(a)= \\{v\\in \\mathcal{O}_K \\ | \\ \\mathrm{Tr}_{K/\\mathbb{Q}} av^2 = \\mu(a)\\}\\) the minimum and the set of minimal vectors respectively. A unary quadratic form \\(ax^2\\) (\\(a\\in K\\) is totally positive) is called perfect, if the system of linear equations \\(\\mathrm{Tr}_{K/\\mathbb{Q}} av^2 = \\mu(a)\\), \\(v\\in \\mathcal{M}(a)\\), yields a unique solution \\(a\\) (see [\\textit{M. Koecher}, Math. Ann. 141, 384--432 (1960; Zbl 0095.25301)]).\\N\\NUsing the volumetric argument (see [\\textit{W. P. J. van Woerden}, Adv. Math. 365, Article ID 107031, 12 p. (2020; Zbl 1444.11150)]) the authors obtained an upper bound for the number of unary perfect forms (up to equivalence and scaling) (see Theorem 1). This upper bound depends on the covering radius of the log unit lattice in the infinity norm and additive Hermite-Humbert number\\N\\[\\N\\gamma_K=\\sup_{a\\in K_{>>0} } \\frac{\\mu(a)}{\\mathrm{Nm}_{K/\\mathbb{Q}}(a)^{1/[K\\colon \\mathbb{Q}]}}.\\N\\]\\NMoreover, the obtained upper bound was simplified under the assumption that \\(K\\) is a Galois extension of prime degree (Theorem 2) or \\(K\\) is a maximal totally real subfield of a cyclotomic field (Theorem 3). In both cases neither covering radius nor \\(\\gamma_K\\) were used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6591606$879B8D99-F947-435E-A0BA-A137A71C9D56","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":"Q6591606$F48A0C82-F9A8-42F0-A1DC-B3B5610691A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591606$F7D90C8B-1387-4E49-95C9-BB33EC7A0713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afee3ea1d2c4e062a79086470208b2d631b88154","datavalue":{"value":"11H50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591606$6B008F44-1080-4471-A72C-E35E4EAA7E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f3a770aca53115fb3ca1a8111091a579be311da","datavalue":{"value":"11H55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591606$03761EF0-A111-4EA4-AE2C-EADC70827C5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f68dd540c44766fe01d28c3297146dfe756bae03","datavalue":{"value":"7900421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591606$22662817-68F7-490F-ACFF-D8C5268F4E38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6591606$A3F2757F-427B-4DEE-9604-705CA9A321AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ff6ce019711bdf2b63c83da3d75e7f1c4f609a","datavalue":{"value":"quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6591606$C0FF9E5F-3AD6-4C01-B545-FB9C950621C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ccd72ee769aea579506b637a66106e4c3e3faf","datavalue":{"value":"perfect forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6591606$903F6382-EA07-4AA0-BAC9-7AA91E1C652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31f05892de74483da68ff6d982b8fdcf6a8ae433","datavalue":{"value":"number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6591606$184C253D-9665-4413-AF4C-D944834D5CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43514e3024dd1d79f6fde4c95e1b4a06505614df","datavalue":{"value":"trace forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6591606$55F0C78F-4BB7-496C-AE88-D0AE8D15E056","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":"Q6591606$AE2CD28C-9F75-42B4-9152-A228529323A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aeaebe7c90d4b8651a1c940735dccd6169b89c","datavalue":{"value":{"entity-type":"item","numeric-id":1355192,"id":"Q1355192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$812F4E2E-678D-4AFC-8AA9-ACB1ADFBF414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f27c24a3bd9c96c6b7ee872ebfc7d60360cc169","datavalue":{"value":{"entity-type":"item","numeric-id":1439352,"id":"Q1439352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$515C239A-29D7-4ACC-8D2D-CF3E077E7ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2144a70c7bf45f4e77fa4fa7639b8960abe5025","datavalue":{"value":{"entity-type":"item","numeric-id":5739215,"id":"Q5739215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$E0396CA0-4347-4FC2-9C1E-0800B39EEDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4749d8b4780d9bf3553fd9e67f44d7fd2a446e","datavalue":{"value":{"entity-type":"item","numeric-id":2168669,"id":"Q2168669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$0D31DE20-FAE4-487E-8D8A-C383A5741750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2bcd2c7685c3e9dc865d41ee0991b72acaab9ce","datavalue":{"value":{"entity-type":"item","numeric-id":4017065,"id":"Q4017065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$CA22259C-06BF-407C-8B50-845F1B51FDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c749d5bcfb7c6a1a6e590b18300e1ed6232381a4","datavalue":{"value":{"entity-type":"item","numeric-id":772930,"id":"Q772930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$BFB559C9-820F-4832-A9D3-3AED8B30B9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e186eafad61b79a460cf9beeaf3cc5643379f667","datavalue":{"value":{"entity-type":"item","numeric-id":3377604,"id":"Q3377604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$C0EC8090-6958-4DC3-9686-E81E9E657111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b67dc74168ab45469d9259a01bddc3c2663d45","datavalue":{"value":{"entity-type":"item","numeric-id":6121264,"id":"Q6121264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$E3B86436-B8E9-47C1-9C10-2DF61EF534B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43791bb3aa6d1808174c320d6a92f3566d3077e3","datavalue":{"value":{"entity-type":"item","numeric-id":4254917,"id":"Q4254917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$26A8403B-0C95-4E50-9901-CD19D1FD9A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8374ecb2749318c407f7db74431b96d4ba2e3341","datavalue":{"value":{"entity-type":"item","numeric-id":2308288,"id":"Q2308288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$FC3A03C2-FF49-48C5-8701-D612646D09AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b17f7b2d01079fff4268f4972d783e8ba852b1","datavalue":{"value":{"entity-type":"item","numeric-id":2448544,"id":"Q2448544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6591606$B31E9192-5ED0-48BC-BB6D-BBE30D89AD3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4260d144912d2b1aff4cf4468e04c00c1638f94","datavalue":{"value":"10.1142/S1793042124501008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6591606$1E4D8036-DDD3-45F3-A56D-9C7BDBD63872","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef2c52cf22ed77ffb153a4915eda1facf61c075","datavalue":{"value":{"entity-type":"item","numeric-id":2448544,"id":"Q2448544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3fc9c6dae90537472ead71f54c12acb821c84e","datavalue":{"value":{"amount":"+0.857365608215332","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":"Q6591606$57E34E65-0615-4F03-9383-6177F330C1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea110043d4ea546a524fa376100269e09823a56","datavalue":{"value":{"entity-type":"item","numeric-id":6121264,"id":"Q6121264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5b05ec426b965a47c903a6293c0a69ee1fcc748","datavalue":{"value":{"amount":"+0.8041703104972839","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":"Q6591606$AB1D2DE0-20C0-4F90-9ED8-E0419BA290E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d4a316ee1285cebf06897ca163a9913b0efbd1","datavalue":{"value":{"entity-type":"item","numeric-id":5387602,"id":"Q5387602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0347c8780f7fbc9cd3a306e42cf4bb5564965f55","datavalue":{"value":{"amount":"+0.7821283340454102","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":"Q6591606$9772E38F-43FB-4E2C-9A05-B51B38D79644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2278df5dc20c95ef10363690cd41162451d58eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2308288,"id":"Q2308288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751b213ac9b8defb3de00236caa5575cd8e2fedb","datavalue":{"value":{"amount":"+0.7713144421577454","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":"Q6591606$B4A05174-AC3D-43F2-85E2-D285599A5D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b20e704355d07c5648d381c8034ac15bda524b8","datavalue":{"value":{"entity-type":"item","numeric-id":4409707,"id":"Q4409707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b569a0c7972b5f6beeb5bfec8c1952cffd16de19","datavalue":{"value":{"amount":"+0.7618129253387451","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":"Q6591606$467634AC-4690-4C50-80D5-0AD72F625050","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An upper bound on the number of classes of perfect unary forms in totally real number fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_upper_bound_on_the_number_of_classes_of_perfect_unary_forms_in_totally_real_number_fields"}}}}}