{"entities":{"Q7026249":{"pageid":21660393,"ns":120,"title":"Item:Q7026249","lastrevid":77541044,"modified":"2026-05-05T02:17:03Z","type":"item","id":"Q7026249","labels":{"en":{"language":"en","value":"Integral zeros of quadratic polynomials avoiding sublattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7985619"}},"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":"Q7026249$201DD98F-5015-44A4-BE8C-00EBED543AC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09067d160708e06998ad5adf9bd000c0524aef75","datavalue":{"value":{"text":"Integral zeros of quadratic polynomials avoiding sublattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7026249$F34DA789-1AE1-48D1-95A2-8CAC3D6A904C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a67a4659c3c8aa11db3a10019f890865f2369b1","datavalue":{"value":"10.1007/S11139-024-00991-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7026249$F41BB979-B380-408F-BDE0-E776A422636F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"258a19a23b97090dca119b65616adf3e48139218","datavalue":{"value":{"entity-type":"item","numeric-id":274715,"id":"Q274715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$14262D17-70EC-417F-A610-C08C20D19394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3132c855a74c1cbab72ef7c4f91e1f29a0bdf7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3179274,"id":"Q3179274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$F9928FDF-79F2-401C-BC48-B5142B4A5BEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08c25da5813a64bb58b545e5a473febdb94089f7","datavalue":{"value":{"entity-type":"item","numeric-id":175895,"id":"Q175895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$7DD4D868-EFA0-44A4-9688-8D8757178E23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fdd41e2e7e9c5354d37665f52805b49c7a4c84","datavalue":{"value":{"time":"+2025-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7026249$CA8FB317-37C1-4F4D-A1E6-F6D954C52AA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3953fb8e20af988be1c7c543cacd4c5adc271934","datavalue":{"value":"Let \\(Q(\\textbf{x})=Q(x_1,\\ldots,x_n)=\\sum_{1 \\le i,j\\le n} f_{ij}x_ix_j+\\sum_{i=1}^n l_ix_i+t\\) be a quadratic polynomial in \\(n\\ge 2\\) variables, where \\(f_{ij},l_i,t\\) are integers. For a given vector \\(\\textbf{z}=(z_1,\\ldots,z_n)^\\top\\in\\mathbb{Z}^n\\), let \\(|\\textbf{z}|=\\max_{1\\le i \\le n}|z_i|\\) and \\(\\|\\textbf{z}\\|=(z_1^2+\\cdots+z_n^2)^{1/2}\\). The present work establishes the bounds on the least integer solution to \\(Q(\\textbf{z})=0\\) in terms of \\(|Q|=\\max\\{|f_{ij}|,|l_i|,|t|\\}\\), with the additional restriction that \\(\\textbf{z}\\) avoids a union of finitely many sublattices of \\(\\mathbb{Z}^n\\). \\par\\N\\NSpecifically, it is shown (in Theorem 1.1) that given a rank-\\(k\\) sublattice \\(\\Lambda\\) of \\(\\mathbb{Z}^n\\), where \\(2\\le k \\le n\\), a finite collection of proper sublattices \\(\\Omega_1,\\ldots,\\Omega_m\\subset \\Lambda\\), each of finite index in \\(\\Lambda\\), and letting \\(\\Omega = \\bigcap_{i=1}^m\\Omega_i\\), for a regular integral quadratic polynomial \\(Q\\) in \\(n\\) variables such that there exists \\(\\textbf{z}\\in \\Lambda \\setminus \\left( \\bigcup_{i=1}^m\\Omega_i \\right)\\) satisfying \\(Q(\\textbf{z})=0\\), then there exists such a \\(\\textbf{z}\\) satisfying\\N\\[\\N|\\textbf{z}| \\ll\\begin{cases} \\det(\\Omega)(2408(\\det(\\Omega))^2|Q|)^{860n^2(\\det(\\Omega))^2|Q|}& \\text{if }k=2, \\\\\\N\\det(\\Omega)^{2\\rho(k)+1}|Q|^{\\rho(k)} & \\text{if }k\\ge 3, \\end{cases}\\N\\]\\Nwhere \\(\\rho(k)\\) equals \\(2100\\), \\(84\\), or \\(5k+19+74/(k-4)\\), for \\(k=3, 4\\), or \\(\\ge 5\\), and the implied constants depend only on \\(n\\) and \\(k\\) and are effectively computable. The proof uses the Hermite inequality for the lattice bases and a result of \\textit{R. Dietmann} [Proc. Lond. Math. Soc. (3) 86, No. 3, 545--582 (2003; Zbl 1036.11009)]. \\par\\N\\NThe remaining results in the paper concern the distribution of angles among the vectors in \\(\\mathbb{Z}^n\\). \\textit{K. Yamamoto} proved in [Int. J. Number Theory 21, No. 1, 113--132 (2025; Zbl 1565.11081)] that for all \\(n \\ge 2\\), \\(n \\ne 3\\), the set of attainable angles\\N\\[\\N\\Theta_n = \\{\\angle(\\textbf{z}, \\textbf{w}) : \\textbf{z}, \\textbf{w} \\in \\mathbb{Z}^n\\}\\N\\]\\Ncoincides with the set\\N\\[\\N\\Theta_n(\\textbf{z}) = \\{\\angle(\\textbf{z}, \\textbf{w}) : \\textbf{w} \\in \\mathbb{Z}^n\\}\\N\\]\\Nfor any nonzero \\(\\textbf{z} \\in \\mathbb{Z}^n\\), where \\(\\angle(\\textbf{z}, \\textbf{w}) = \\arccos\\dfrac{\\textbf{z}^\\top\\textbf{w}}{\\|\\textbf{z}\\|\\|\\textbf{w}\\|}\\). In Corollaries 3.3 and 3.4 it is shown that for a given \\(\\textbf{0}\\not=\\textbf{z}\\in \\mathbb{Z}^n\\), \\(n\\ge 5\\), and a fixed angle \\(\\theta \\in \\Theta_n\\), where \\(\\tan^2 \\theta =q/p \\in \\mathbb{Q}\\), there exists \\(\\textbf{w}\\in \\mathbb{Z}^n\\) such that \\(\\angle(\\textbf{z},\\textbf{w})=\\theta\\) and\\N\\[\\N|\\textbf{w}|\\ll(2(p+q)\\|\\textbf{z}\\|^2)^{(n-1)/2}.\\N\\]\\NIf the vector \\(\\textbf{w}\\) avoids a finite union of proper sublattices of finite index in \\(\\mathbb{Z}^n\\), then combining this condition with Theorem 1.1 demonstrates that there exists such a vector \\(\\textbf{w}\\) satisfying\\N\\[\\N|\\textbf{w}|\\ll \\det(\\Omega)^{2\\rho(n)+1}(2(p+q)\\|\\textbf{z}\\|^2)^{\\rho(n)}.\\N\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q7026249$13FF97CC-D9C1-4C06-9432-90CC940543E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2940e42d152195388787e24452a45c6ae32ab21a","datavalue":{"value":{"entity-type":"item","numeric-id":897550,"id":"Q897550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$437E378A-F1CB-4808-A23F-F40F7EB15C89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111aa0d521548ce9bf404704c7ad9cfc95d17aa9","datavalue":{"value":"11E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7026249$63554A78-88F6-4AD6-97EC-8CE5682AB557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"732c2501ca31f5ceeef797f80b885d9dde0d046f","datavalue":{"value":"11H06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7026249$6AB90B74-5241-4452-A7F3-77E323D8B299","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b686398f796570fe99377fe7daee75b14a119e5","datavalue":{"value":"7985619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7026249$AA013A37-7DE5-4D44-82B2-9B30FFF635EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7ff6ce019711bdf2b63c83da3d75e7f1c4f609a","datavalue":{"value":"quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q7026249$B1928AF5-1421-460B-87E4-76D346C40609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q7026249$081E1797-487B-4C86-BF0E-8032FF673E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef07eb83535a489ac46bd0260c9385de83e89ae1","datavalue":{"value":"lattice angles","type":"string"},"datatype":"string"},"type":"statement","id":"Q7026249$40FB9E7A-4A2D-436C-8B94-7FB493F0A357","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":"Q7026249$119044B9-5A47-4107-8CD1-C3E61646C465","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da98d83333a4041ba9356afb37323237aa80e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3259120,"id":"Q3259120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$48097D91-8C06-41E8-977D-5CE55E1B5820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34968c551454bb802df13f2263050e98c53f33dd","datavalue":{"value":{"entity-type":"item","numeric-id":5848294,"id":"Q5848294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$1DA7FFC8-9313-4E06-B9F7-5F56D33F97BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b58fa67202575a971e472065d0ce3518d3d99d2","datavalue":{"value":{"entity-type":"item","numeric-id":4177654,"id":"Q4177654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$E802D660-446F-46BD-943E-55BED548F20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4466e4873cb5caadf7a1edba86a78a8ad5c1c0de","datavalue":{"value":{"entity-type":"item","numeric-id":2631682,"id":"Q2631682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$17CC6768-49C2-47C7-BDA7-9FDF34A2E1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e707dcb494a64479b4561b579da23b0b7cb041e5","datavalue":{"value":{"entity-type":"item","numeric-id":4432685,"id":"Q4432685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$E64F6E73-D55C-4A14-A08A-21863157B7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9696a3518c4c50221935b06b8a69661af5ca3853","datavalue":{"value":{"entity-type":"item","numeric-id":2494351,"id":"Q2494351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$C385EB4A-D20B-4067-8C4D-FADD9D6C6FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51e6dc71dd35b26e7edfbacbd3e3f33cfdfa86d2","datavalue":{"value":{"entity-type":"item","numeric-id":482383,"id":"Q482383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$58935AB3-532D-4058-A51A-2665935C170B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce35e6a9d1b59e0541ef6954033fc7f664bce4a4","datavalue":{"value":{"entity-type":"item","numeric-id":3484910,"id":"Q3484910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$86A47CB6-F099-4EB2-B341-21EC3282EF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8053fa69dded4a57889cb605f13c20237cc64a","datavalue":{"value":{"entity-type":"item","numeric-id":4789130,"id":"Q4789130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$8947ACF2-26B3-4DBD-AE80-AC53814506A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75987a4ff40c5556cb54805ec30c5ba25d71fe23","datavalue":{"value":{"entity-type":"item","numeric-id":4354188,"id":"Q4354188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7026249$0F8D296C-7C46-41E7-A935-428BC096FCF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integral zeros of quadratic polynomials avoiding sublattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integral_zeros_of_quadratic_polynomials_avoiding_sublattices"}}}}}