{"entities":{"Q4253162":{"pageid":6282763,"ns":120,"title":"Item:Q4253162","lastrevid":108477899,"modified":"2026-11-06T15:29:24Z","type":"item","id":"Q4253162","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1321948"}},"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":"Q4253162$A1046161-6251-4029-96C3-F367F7CFB225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd753a069a0db5460b13ed4aae426a8569ee37ac","datavalue":{"value":"0974.11016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4253162$01A023DF-A605-41C9-8C76-C8CF777F7A4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0da7e678e95d21075e1d6f5e6c41cf7ecaa480ba","datavalue":{"value":{"entity-type":"item","numeric-id":168537,"id":"Q168537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4253162$7358B163-5981-43C8-ADDC-62CB908F333B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd43b7556960d36e19e31bfdf153901cadf12bc7","datavalue":{"value":{"time":"+2001-12-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":"Q4253162$D0405776-4575-445A-81E7-52A62D5C3D3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111aa0d521548ce9bf404704c7ad9cfc95d17aa9","datavalue":{"value":"11E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4253162$A3723F1F-6764-45F8-A71C-FB0DB9269EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f3a770aca53115fb3ca1a8111091a579be311da","datavalue":{"value":"11H55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4253162$200F1B91-289D-4899-A911-5729D6356CDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39c092f79eee1c591c0a80b6164bb817cd7655cb","datavalue":{"value":"1321948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4253162$36AC62BA-510E-41F5-BF34-552216EA80F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ff6ce019711bdf2b63c83da3d75e7f1c4f609a","datavalue":{"value":"quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4253162$DA6BECEB-8EEF-403E-90EF-436AC1462BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0040e843dc3c8ef1b7ecccba37aecec0f008ef54","datavalue":{"value":"Hermite's constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4253162$AA2ABAA9-24E2-4004-9D07-CCBA8911DB80","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":"Q4253162$44891CF8-4460-4B57-BD70-3C37E838ED57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3577d9060caa8d594c3e27e177099b8924ef5f8b","datavalue":{"value":{"entity-type":"item","numeric-id":1590910,"id":"Q1590910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1252dc64ebd85f6b1c1f4057f009f95c67ac930","datavalue":{"value":{"amount":"+0.8381016850471497","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":"Q4253162$F027497B-787F-42F0-BAE3-E8AC2126D423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06b796ba3f98a4360f1ec84e41955fefddc44a4","datavalue":{"value":{"entity-type":"item","numeric-id":4948714,"id":"Q4948714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd02b877c80a05171a86704e55ce971abe21222c","datavalue":{"value":{"amount":"+0.8234664797782898","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":"Q4253162$722FCEA4-A0EB-40C1-AB9E-21839926A6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bff1fcf61c467b94c9ed3e923fc1818165313b0","datavalue":{"value":{"entity-type":"item","numeric-id":1411607,"id":"Q1411607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d8432f69cc3eff14fbb6b838220bc90614c325","datavalue":{"value":{"amount":"+0.8204382061958313","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":"Q4253162$ADF11D66-BBED-4097-BA22-851ED860715C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0be9f196ad40c2dad241ca8a2592219840a8e402","datavalue":{"value":"Let \\(k\\) be an algebraic number field and \\({\\mathbb A}_k\\) the ring of adeles of \\(k\\). Denote by \\(M_k\\) the set of places of \\(k\\). For \\(v\\in M_k\\) choose an absolute value \\(|\\cdot |_v\\) such that \\(|\\cdot |_v\\) extends the standard absolute value on \\({\\mathbb Q}\\) if \\(v\\) is archimedean, and the \\(p\\)-adic absolute value if \\(v\\) lies above the prime \\(p\\). Then if \\(l=[k:{\\mathbb Q}]\\) and \\(l_v=[k_v:{\\mathbb Q}_p]\\) with \\({\\mathbb Q}_p={\\mathbb R}\\) if \\(v\\) is archimedean, define the normalized absolute value \\(||\\cdot ||_v=|\\cdot |_v^{l_v/l}\\). Finally, for \\({\\mathbf x}=(x_1 ,\\ldots , x_m)\\in k_v^m\\) define the local height \\(H_v({\\mathbf x})=(\\sum_{i=1}^m |x_i|_v^2)^{1/2l}\\) if \\(v\\) is archimedean and \\(H_v({\\mathbf x})=(\\max_{i=1}^m |x_i|_v)^{1/l}\\) if \\(v\\) is non-archimedean. Given a matrix \\(g\\in GL(m,{\\mathbb A}_k)\\) define the twisted height of \\({\\mathbf x}=(x_1,\\ldots ,x_m)\\in k^m\\) by \\(H_g({\\mathbf x})=\\prod_{v\\in M_k}H_v( g_v{\\mathbf x})\\), where \\(g_v\\) is the local component of \\(g\\) at \\(v\\). We write \\(H\\) for \\(H_g\\) if \\(g\\) is the identity. Define \\(||\\text{ det } g||_{\\mathbb A}=\\prod_{v\\in M_k}||\\text{ det } g_v||_v\\). Denote by \\(Gr (m,d,k)\\) the collection of \\(d\\)-dimensional linear subspaces of \\(k^m\\). Given \\({\\mathcal A}\\in Gr(m,d,k)\\), define \\(H_g({\\mathcal A})=\\prod_{v\\in M_k} (g_v{\\mathbf a}_1\\wedge\\cdots \\wedge g_v{\\mathbf a}_d)\\) where \\({\\mathbf a}_1,\\ldots ,{\\mathbf a}_d\\) is a basis of \\({\\mathcal A}\\); this is independent of the choice of the basis. J. Thunder introduced the generalized Hermite constant \\[ \\gamma_{m,d}(k)=\\max_{g\\in GL(m,{\\mathbb A}_k)}\\min_{{\\mathcal A}\\in Gr(m,d,k)} H_g({\\mathcal A})^2/||\\text{ det} g||_{{\\mathbb A}}^{d/m} \\] and gave explicit upper and lower bounds for this quantity. Now let \\(F=\\sum_{i=1}^m\\sum_{j=1}^m f_{ij}X_iX_j\\) with \\((f_{ij})\\) a symmetric non-singular matrix with entries in \\(k\\) be a bilinear form. Let \\(H(F)\\) be the height of the coefficient vector \\((f_{ij}:1\\leq i,j\\leq m)\\). Let \\(n\\) be the largest integer for which \\(k^m\\) has an \\(n\\)-dimensional linear totally isotropic subspace \\(U\\), i.e. with \\(F(U,U)=0\\). Let \\(O_F (k)\\) be the orthogonal group of \\(F\\), i.e. the group of transformations \\(g\\in GL(m,k)\\) with \\(F(g{\\mathbf x},g{\\mathbf y})=F({\\mathbf x},{\\mathbf y})\\) for \\({\\mathbf x},{\\mathbf y}\\in k^n\\) and \\(O_F({\\mathbb A}_k)=O_F(k)\\otimes_k {\\mathbb A}_k\\). The main result of the author is as follows: Let \\(1\\leq d\\leq n\\). Then for each \\(g\\in O_F({\\mathbb A}_k)\\) there is a \\(d\\)-dimensional totally isotropic subspace \\({\\mathcal X}_g\\) of \\(k^m\\) such that \\[ H_g({\\mathcal X}_g)^2\\leq \\gamma_{m-d,1}(k)^{m-d}(2H(F))^{m-d}. \\] This is an abstraction and slight improvement of a result by \\textit{J. Vaaler} [Trans. Am. Math. Soc. 302, 281-296 (1987; Zbl 0617.10015)], which in turn was a generalization of \\textit{H. P. Schlickewei}'s corresponding result over \\({\\mathbb Q}\\) [Monatsh. Math. 100, 35-45 (1985; Zbl 0564.10012)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4253162$EDD71E25-5DE8-4FD2-BC40-EE526E43951B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4253162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4253162"}}}}}