{"entities":{"Q311145":{"pageid":312912,"ns":120,"title":"Item:Q311145","lastrevid":77771252,"modified":"2026-05-06T10:01:10Z","type":"item","id":"Q311145","labels":{"en":{"language":"en","value":"Effective estimates on integral quadratic forms: Masser's conjecture, generators of orthogonal groups, and bounds in reduction theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6630851"}},"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":"Q311145$E6E73C78-859E-4BE8-8CAB-EC49F118EF50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0bb08a985bfe25e8bcfbe8f3b57c12bfb692686","datavalue":{"value":{"text":"Effective estimates on integral quadratic forms: Masser's conjecture, generators of orthogonal groups, and bounds in reduction theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q311145$CF744D10-67BD-4CF0-B05A-05E51DBC77CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58032eced6a873c9a64ffb155fb1d76267ce9f88","datavalue":{"value":"1356.11020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$972FE377-78BB-4097-8F89-4669FF6378F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c8c8e51f87ddb0c1f742d444f41b0a2fb4e5d2","datavalue":{"value":{"entity-type":"item","numeric-id":311143,"id":"Q311143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$3E00A52F-9AC3-4516-8A8A-663C9C3762D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff4380f45c4e9841317023970da1b81ee3638e65","datavalue":{"value":{"entity-type":"item","numeric-id":311144,"id":"Q311144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$9E31287F-0A11-4513-BB2B-50326F6AD4A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9f7ed99dde37a1ed2b712f0eb37bcc96b8743b93","datavalue":{"value":{"entity-type":"item","numeric-id":172246,"id":"Q172246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$1F866B4F-9409-455B-B498-A8A344A4C8B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q311145$7FD33C2D-34F6-481D-8623-8539AA761D8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd55ac6dfc9b85af24b39a4064036ecca7a3c25c","datavalue":{"value":"Consider two integral quadratic forms \\(Q_A\\), \\(Q_B\\) over \\(\\mathbb{Z}\\) of rank \\(n\\) given by symmetric matrices \\(A\\), \\(B\\in\\mathbb{Z}^{n\\times n}\\). They are called equivalent if there exists \\(\\gamma\\in\\mathrm{GL}_n(\\mathbb{Z})\\) such that \\(A=\\gamma^tB\\gamma\\). If the forms are equivalent, it is an important algorithmic question whether one can find such \\(\\gamma\\) such that \\(\\|\\gamma\\|\\), the maximum of the absolute values of the coefficients of \\(\\gamma\\), can be kept below an effective bound.  In [Nachr. Akad. Wiss. G\u00f6tt., II. Math.-Phys. Kl. 1972, 21--46 (1972; Zbl 0252.10019)], \\textit{C. L. Siegel} showed that for nonsingular equivalent forms as above, there exists a nonnegative function \\(F_n=F_n(A,B)\\) such that there always exists such \\(\\gamma\\) with \\(\\|\\gamma\\|<F_n(A,B)\\). Since then, efforts have been undertaken to make such an \\(F_n\\) explicit. Siegel's arguments can be used to find such \\(F_n\\) that is essentially exponential in \\(\\|A\\|\\), \\(\\|B\\|\\), and it can be shown that in the indefinite rank \\(n=2\\) case, one cannot do better than exponential bounds. In the definite case, the authors point out that it is not too hard to show that one can achieve  \\[ \\|\\gamma\\|<2(4n)^{(n-1)/2}\\|A\\|^{1/2}\\|B\\|^{(n-1)/2}. \\]   So the hard case is rank \\(\\geq 3\\) and indefinite.  The present paper constitutes an important contribution to this and related problems. The first main theorem states that for \\(n\\geq 3\\) and nonsingular forms as above, one can find a bound  \\[ \\|\\gamma\\|<C_n|\\det B|^{-2f_1(n)/n}\\|A\\|^{f_2(n)}\\|B\\|^{f_3(n)}, \\]  where \\(C_n>0\\) is a constant and the \\(f_i(n)\\) are explicitly given polynomials of degree \\(3\\) of the shape \\(\\frac{13}{40}n^3+\\ldots\\) while still keeping the determinant of a given transformation. If the forms are indefinite and anisotropic, the authors show that one can obtain  \\[ \\|\\gamma\\|<C_n|\\det B|^{f(n)/n}\\|A\\|^{1/2}\\|B\\|^{(n-1)/2} \\]  with \\(f(n)\\) quadratic of shape \\(\\frac{13}{10}n^2+\\ldots\\). This settles a conjecture by \\textit{D. W. Masser} posed in [in: A panorama in number theory or The view from Baker's garden. Based on a conference in honor of Alan Baker's 60th birthday, Z\u00fcrich, Switzerland, 1999. Cambridge: Cambridge University Press, 247--259 (2002; Zbl 1066.11014)]. Previously, this conjecture was known to hold only in the case \\(n=3\\) and some special higher rank cases due to \\textit{R. Dietmann} [Proc. Lond. Math. Soc. (3) 86, No. 3, 545--582 (2003; Zbl 1036.11009)].  The proof of Masser's conjecture in the present paper is reduced to a study of the quantitative behavior of the translates in \\(\\mathrm{SL}_n(\\mathbb{R})\\backslash\\mathrm{SL}_n(\\mathbb{Z})\\) and uses methods from homogeneous dynamics, arithmetic groups and the spectral theory of automorphic representations. Several related theorems are also proved. For example, it is shown that the orthogonal group \\(\\mathbf O_{Q_B}(\\mathbb{Z})\\) for \\(Q_B\\) nonsingular and of rank \\(\\geq 3\\) is generated by those \\(\\gamma\\in\\mathbf O_{Q_B}(\\mathbb{Z})\\) with \\(\\gamma<C_n|\\det B|^{n^6}\\|B\\|^{3n^4}\\) for some constant \\(C_n>0\\) (Theorem 2), thus also giving a new proof that \\(\\mathbf O_{Q_B}(\\mathbb{Z})\\) is finitely generated. Theorem 3 states that any nonsingular indefinite integral form \\(Q_A\\) of rank \\(\\geq 3\\) is equivalent to a form \\(Q_B\\) with \\(\\|B\\|<C_n\\|A\\|^{1/n}\\). The final main theorem (Theorem 4) concerns representations of one nonsingular integral quadratic form \\(Q_A\\) of rank \\(m\\) by another such form \\(Q_B\\) of rank \\(n\\geq m\\) with \\(n\\geq 3\\), i.e., the case when there exists \\(\\tau_0\\in\\mathbb{Z}^{n\\times m}\\) with \\(\\tau_0^tB\\tau_0=A\\). If this holds, then it is shown that one can find such \\(\\tau\\) with \\(\\tau^tB\\tau=A\\) and \\(\\|\\tau\\|<C_n|\\det A|^{n^4}|\\det B|^{n^3}\\|A\\|^{n^3}\\|B\\|^{n^3}\\) for some constant \\(C_n>0\\). If \\(\\tau_0\\) is primitive, i.e., if the greatest common divisor of its maximal minors is \\(1\\), the \\(\\tau\\) can also be chosen primitive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q311145$1B237F8F-8F67-4363-951F-5B6F7AA6719B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad152bbc66653a400e4df4d9269c6b66781cf33c","datavalue":{"value":{"entity-type":"item","numeric-id":185831,"id":"Q185831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$9BADC767-B423-4E48-9B0A-7A644B0C1F97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111aa0d521548ce9bf404704c7ad9cfc95d17aa9","datavalue":{"value":"11E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$EF818272-62F8-472B-9D22-3CFC47F941A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f3a770aca53115fb3ca1a8111091a579be311da","datavalue":{"value":"11H55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$73C08EBD-98C9-4CEC-AEC1-7D867C7EA9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b9f351762966264a713f43859c3b37672710f069","datavalue":{"value":"11H56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$77EA8AAF-BB3E-4681-9703-A746B6E66E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf1b8bf3afafa2d8d1dba1bb10a9c139d923c8b","datavalue":{"value":"20G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$18B65B31-A5DC-422E-BE92-BEC65025B3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08518d1ee9b719a5bbebfd311aced3e8ae1f0b5b","datavalue":{"value":"37A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$569703FD-5C91-450E-A404-BCDC668C5125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19f3e194d27628237147bf170101930d46538f5b","datavalue":{"value":"6630851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$C79B91B8-01C8-4BFC-AB10-623FAAEC34CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dfa13fa68db29805b8b6c9763385e44e8cce19","datavalue":{"value":"integral quadratic form","type":"string"},"datatype":"string"},"type":"statement","id":"Q311145$BD030E51-A8B2-40CC-B239-AC77330CFFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"800e5112f6f440d51d2ce0ac1d7a331ef731417b","datavalue":{"value":"integral orthogonal group","type":"string"},"datatype":"string"},"type":"statement","id":"Q311145$E9CC94E1-6F8D-452A-8E3F-EF42BA94546A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"022f24be4cdb42358b9eed2714cb837aa842e006","datavalue":{"value":"reduction theory of integral quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q311145$E94286DF-27A6-4ECA-828E-55A60178F1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d477a5c575776fe1f3f708987202b894f758a3","datavalue":{"value":"representations of integral quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q311145$B893EAB6-BEFA-44A0-B208-7B68240AB865","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ce4f25f43148423ee607d4d0614b3163d23742fd","datavalue":{"value":"Q123359806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$52107CE7-2A40-44C7-86E7-E58888C45D51","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":"Q311145$D9F3830C-4DBE-451E-BF19-921AC3CA760B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e53863ecd4991e7bc166bde735bc3dec632c0e8","datavalue":{"value":"https://doi.org/10.1007/s00039-016-0379-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q311145$18072DF3-8859-4D75-9185-B0959C051014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f8c25502a15c8a61196248b36e84de5cc65f40c","datavalue":{"value":"W2513126632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$558D5833-CCDB-4B31-9819-2F655B602C67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf306631a6115d04bc2499bbcdff1f98591f677","datavalue":{"value":{"entity-type":"item","numeric-id":640796,"id":"Q640796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$5741C26C-EF3E-4B0B-9D23-F658EB65E8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510f9b99b8eed3bc4a98bcf8651659b1b5ff7044","datavalue":{"value":{"entity-type":"item","numeric-id":1955770,"id":"Q1955770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$5A352B06-E39F-48EE-8622-19615C334AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634d53db85efc7398490a43fd62e6ee0923f5e8f","datavalue":{"value":{"entity-type":"item","numeric-id":788758,"id":"Q788758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$DCC8D361-DB01-4950-95A8-C3DB0B1153B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4dcb38256829a87bc33a629b60d5f4cbcb2d73","datavalue":{"value":{"entity-type":"item","numeric-id":775785,"id":"Q775785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$50144454-7CBC-4CFE-9A30-BBDCB4C2B56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb87455a5061c71166c55520912d917c1566ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1191354,"id":"Q1191354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$D2FB6CF3-1693-4B71-AE05-272D34AD5252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef7736d1fd8f85535e9e79d2572e00187c90f6f","datavalue":{"value":{"entity-type":"item","numeric-id":1080197,"id":"Q1080197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$1BB5BAD2-EC4E-4331-AC6D-DFAF5FCE193E","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":"Q311145$F6B035BA-8500-4EB4-9906-B7B0D941F7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7e2e97c20d2abc0f9a209eb0226efbd5e45b6d","datavalue":{"value":{"entity-type":"item","numeric-id":5611106,"id":"Q5611106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$FA52EFE4-CD11-4D7F-8BC4-CE9A781A3B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ae3f0e2e38cdb0ddf8a655470bc01f408fb9c9","datavalue":{"value":{"entity-type":"item","numeric-id":1401470,"id":"Q1401470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$A3A823E4-9CB5-4551-A084-40A61179B5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f7c961880f85b343b68aee76728ffb96b3b355","datavalue":{"value":{"entity-type":"item","numeric-id":4219187,"id":"Q4219187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$7CEFEF05-E055-4BB4-AD7B-29F13172B18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c80a20df8593c227e2bd8d068d5309fdb6f771","datavalue":{"value":{"entity-type":"item","numeric-id":3207222,"id":"Q3207222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$1F77A604-517D-4CF0-AFB1-433A31EAFE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36f5137e1991c019a6f02d6617195231ef7538e","datavalue":{"value":{"entity-type":"item","numeric-id":3735963,"id":"Q3735963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$FB716576-AD20-47CA-B896-A49596263C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc997e9b1f1195fab827d6e38737f5abfed571f7","datavalue":{"value":{"entity-type":"item","numeric-id":1824046,"id":"Q1824046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$695814B6-4B8E-46DB-AC81-22A639311792","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":"Q311145$7EDFA343-60C5-4C77-B1B7-E15DA65239CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebc74ac0154b3f1ca4fb74eafd8313f0de5bf20","datavalue":{"value":{"entity-type":"item","numeric-id":5434681,"id":"Q5434681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$88CC86D6-6ACB-44E9-833C-69D8CB17ACB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13f13f51b39eea2bd6d27a7a7cccaa9e9425f17","datavalue":{"value":{"entity-type":"item","numeric-id":1312803,"id":"Q1312803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$1D1E5E71-6B1B-42FA-8028-B24E9A17ACAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9e2a339140286f26f21cd7a88c9b22ddb0a6508","datavalue":{"value":{"entity-type":"item","numeric-id":1022340,"id":"Q1022340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$26119405-D1CA-4F8B-A0C5-74C45A5BA1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9cd51cf4955a62eeb4a5bb72987711b17217b9c","datavalue":{"value":{"entity-type":"item","numeric-id":2475973,"id":"Q2475973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$0D30368D-423E-4208-B1EC-74E21431D510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff69d2524e6618171f3d438364d31bcb2727ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":1130225,"id":"Q1130225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$FC4CD29B-BE84-4810-AAB5-50097B8BF03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf71fc27cc168e250a7bd47104908b598e4a04a","datavalue":{"value":{"entity-type":"item","numeric-id":3503617,"id":"Q3503617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$C7B68664-871F-4203-AED8-767B2696E1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cacd38e1b4f6b06ef672f93778c17e064a6ebfb","datavalue":{"value":{"entity-type":"item","numeric-id":5167416,"id":"Q5167416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$75795A15-4E99-4FCC-820E-DA8417210DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462c28170ae8bdb69b3d4043719ab3891c33e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1150699,"id":"Q1150699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$4A725E53-8988-4664-8871-19229392B179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb82ee4f954ddef104543f9ad769df522c102cf","datavalue":{"value":{"entity-type":"item","numeric-id":3846490,"id":"Q3846490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$6216A464-3330-4E68-ADEC-34D5DF2D7175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89cfcdd3724aee67f1b9737e487f345a6f1a066","datavalue":{"value":{"entity-type":"item","numeric-id":4942333,"id":"Q4942333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$4889F88C-EEE4-4F08-9AC7-73D9274BE26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d4112dd5ba46d6ad35c850dc9c346d9cb24449","datavalue":{"value":{"entity-type":"item","numeric-id":4369470,"id":"Q4369470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$27BC8F41-C83E-4728-9AF7-FCF76CF390C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afad6e8c464c4d9a70858b6c9aca4a5eb92a1b9b","datavalue":{"value":{"entity-type":"item","numeric-id":1189485,"id":"Q1189485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$6DDB419C-C8C1-4A93-85F0-826F2AC68077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2384cb5dea27823600019cc7bc02ca1d72abedb3","datavalue":{"value":{"entity-type":"item","numeric-id":2552169,"id":"Q2552169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$77C5571D-9BA0-4FFE-A7C1-0D7FAFC7567B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede4be6462739a642adf78e7376f26ec3417b4e2","datavalue":{"value":{"entity-type":"item","numeric-id":4780400,"id":"Q4780400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$F0B88D18-BC6C-4EED-B419-3A576E712F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7201822528a70d1e83efbf44f44c651d748e57fd","datavalue":{"value":{"entity-type":"item","numeric-id":4867127,"id":"Q4867127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$47E4F9B6-13F3-4929-A6DF-9A5FB12B1711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c966f57b016041d74abf246771745ff309665a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1273516,"id":"Q1273516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$B6183060-0711-4073-82D0-E55288EB394F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"617203b86b55208edbcd2f946815c98f89e70e4d","datavalue":{"value":{"entity-type":"item","numeric-id":767488,"id":"Q767488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$90F5A93B-3B0E-4E1B-BF47-8228CB8D467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689ef1066defdef00fa7448298901b5b3bf0fe57","datavalue":{"value":{"entity-type":"item","numeric-id":2898924,"id":"Q2898924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$267504F6-24BC-443C-B33B-78B0D1B53DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95ea441943f938d88a8397e358bc66e803ee6ca","datavalue":{"value":{"entity-type":"item","numeric-id":3491653,"id":"Q3491653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$29F14C6E-ACFB-44FD-8716-C34ECB833A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398e0195a3a21fcd16a2f6eb9049a4904f31f42a","datavalue":{"value":{"entity-type":"item","numeric-id":3890763,"id":"Q3890763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$F758BB4C-79BE-4CA9-9821-600F8CE83978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aad7a6598bbce19558d96773d04e0f567f2e2c0","datavalue":{"value":{"entity-type":"item","numeric-id":4867106,"id":"Q4867106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$AF41642C-A403-4797-8077-24BAFB7F8A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8e07376c6e389f5160259aa5ca13a336e1d6d0a","datavalue":{"value":{"entity-type":"item","numeric-id":476512,"id":"Q476512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$5E80E74A-1E07-46E7-BF0A-CAF296886476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f592744476012bccc7b3ffe61e4298169b150d3d","datavalue":{"value":{"entity-type":"item","numeric-id":5673586,"id":"Q5673586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$F1ADDD6F-77AF-47BB-BFAE-1071F391A1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265463a01d12e4fad3b9fcfa8ef7321b56aca89","datavalue":{"value":{"entity-type":"item","numeric-id":3997989,"id":"Q3997989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$3971BE44-7F6F-4AAA-A8C7-F3194BA5CD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b734a06bf2108962f1929a0a36b8a5317072a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703402,"id":"Q5703402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$75333667-03E6-4679-922A-5E013447E37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ba36e65dbecf586e0f516b7ebd04e0ba33747e","datavalue":{"value":{"entity-type":"item","numeric-id":4428504,"id":"Q4428504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$C0FA06A4-01A2-483D-B7A6-CCE673191AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4250a73a85ed563e15e8288c210ed40072d1ee7","datavalue":{"value":{"entity-type":"item","numeric-id":2344499,"id":"Q2344499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$32B6004C-4F3E-4B35-AF32-5B16D9814A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3bdbe617b91f33b4bb1bc2a249171b97206405","datavalue":{"value":{"entity-type":"item","numeric-id":5527398,"id":"Q5527398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$C5A364CA-6022-45EF-98F3-D309559F91AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec3fa90820bd0b5c44013cc40b4426a08e62051","datavalue":{"value":{"entity-type":"item","numeric-id":3027953,"id":"Q3027953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$AF5C9CAD-739D-4846-BBC8-5BA9093324D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0947b3608bd3b72f14f83714548392d9c4101a4c","datavalue":{"value":{"entity-type":"item","numeric-id":2882747,"id":"Q2882747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$E27ACDC5-92D1-4CD0-B8E7-3D1967632890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c416a668f90505151fdcba3cbfa1982443f8630f","datavalue":{"value":{"entity-type":"item","numeric-id":1847926,"id":"Q1847926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$5D9D59FC-8BAD-4117-9A73-F05CEFB6C187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7b3ac485a753e872408449ad1cb89d4a608ddf8","datavalue":{"value":{"entity-type":"item","numeric-id":3254378,"id":"Q3254378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$817B4173-32DA-4ABF-A073-E61FAB05F501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac299d1695630bb0025d30ee3df17e424441911e","datavalue":{"value":{"entity-type":"item","numeric-id":4002684,"id":"Q4002684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$C3329BFF-13FF-4C75-BC02-FD2A22B48C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456b011752ff81cab023e7c855d597aaabca9b6d","datavalue":{"value":{"entity-type":"item","numeric-id":909806,"id":"Q909806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$5F00F7B3-20E7-477E-85A8-41795C320554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b2c230777beef083c292211f4e608da1a52002","datavalue":{"value":{"entity-type":"item","numeric-id":3409184,"id":"Q3409184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$4DF417EB-2227-4817-9966-0D39112F4297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a594028be074d9d588a3bdb8e07df6f476d57645","datavalue":{"value":{"entity-type":"item","numeric-id":5652739,"id":"Q5652739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$2ACE9C06-8C74-442F-9E1D-71F7E400D753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$EB28AC50-4279-44DB-95EE-9ED717FB510F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6a475d733900b88950eb8ac935fcbc1597c7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5397111,"id":"Q5397111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$EF91A0FD-EE4D-4BC5-91FB-ADA56A0C8F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2614ee836517ce9113d6cddde1a33ce655ca46c","datavalue":{"value":{"entity-type":"item","numeric-id":5517939,"id":"Q5517939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$BCBACBFA-D725-49FB-A1B0-5BB35A8DBBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df02d763f6e647886d25ad95de8ad12145e4ac23","datavalue":{"value":{"entity-type":"item","numeric-id":1589984,"id":"Q1589984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$89D152D3-A0FF-4BCB-8DAC-BF030B648E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e408e68f918910cdea35092a4fc2df509d5b2caa","datavalue":{"value":{"entity-type":"item","numeric-id":5665241,"id":"Q5665241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$A8C04FC4-EE6D-4384-8101-1F91673A762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b80a821b44bd6803e511b437a190149e14b5ab7","datavalue":{"value":{"entity-type":"item","numeric-id":5603911,"id":"Q5603911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$43A66982-A088-46D0-83EE-EFC811E0551A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c010da11ed26cfe2aa01bb4dfa0408a05a2dd6b2","datavalue":{"value":{"entity-type":"item","numeric-id":3242245,"id":"Q3242245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q311145$EC61B48E-318D-472A-B1F6-B1D831AAFC6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e538f7ff9c595c035f9b375fc5a820d6fc8a60dc","datavalue":{"value":"10.1007/S00039-016-0379-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q311145$5D6EBA4C-9BAA-4581-841E-0FFCF7C805C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b91910a718ef1a786954e26ac39a392930c3d6","datavalue":{"value":{"entity-type":"item","numeric-id":5107804,"id":"Q5107804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ac0e161893f71400691e1531c8b2297f6a8084","datavalue":{"value":{"amount":"+0.8676583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$DE3D033B-F672-4ECC-B505-E9DE064C53E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d923108ffde7a229dcf5276eb3b0bce41ebf1a","datavalue":{"value":{"entity-type":"item","numeric-id":2043078,"id":"Q2043078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e8ab377bc2616ccb5fffe35d7c61b4b9e31bcc","datavalue":{"value":{"amount":"+0.865849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$BE3B350C-5300-4150-97F4-C9F417CE6AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a21004362884c0eb8ce0de8ac7a2f7746ba628","datavalue":{"value":{"entity-type":"item","numeric-id":4665004,"id":"Q4665004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31c08d9a6279eb2e10699cb75b614ad166dba497","datavalue":{"value":{"amount":"+0.86406815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$2B9D311B-6986-4972-991F-25044F7E60B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147e01dfa296c86bc3be3cd5037fa049f21cf1cf","datavalue":{"value":{"entity-type":"item","numeric-id":541159,"id":"Q541159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23170fc17e1b05a73c4862880ce91b8ab31f8b84","datavalue":{"value":{"amount":"+0.8621685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$9169E6ED-C350-4DE9-9453-02D8E0CC74CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6375f7e920b0e5e880167f7c2241f10ff9959f9f","datavalue":{"value":{"entity-type":"item","numeric-id":2696064,"id":"Q2696064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040f4438d7717f1a077c96d5a4cd4c5e9fdf0792","datavalue":{"value":{"amount":"+0.8613791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$2125FA1C-33AE-4DC9-9C97-BEC1E2A1D66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e6c4b0488a17b9ed2fcbc56d074eae0d62baa0","datavalue":{"value":{"entity-type":"item","numeric-id":2254989,"id":"Q2254989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11710f02c3861daaee98486a95e0bb19bb679cf","datavalue":{"value":{"amount":"+0.86110824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$906D5073-EC22-4171-8ADD-E6F34D127026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b63a36c402827f085c697124c162e6a6e7fbe5b","datavalue":{"value":{"entity-type":"item","numeric-id":502993,"id":"Q502993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01915d0d94fc11d59baf9e3e3a77b6abc841809f","datavalue":{"value":{"amount":"+0.8603108","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$988DCAEB-AD26-49F3-8A2A-559E647A2B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7a923b75cd0c3a53a424bb2816f897711738fb","datavalue":{"value":{"entity-type":"item","numeric-id":1066191,"id":"Q1066191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194da2dce6d146bebc08b3dabdbc933740559ac6","datavalue":{"value":{"amount":"+0.85957795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$980B9B6C-C9FA-4C7B-92B7-C3F2F5985337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77932eefb0da26bc5bdf76ab2887d3163ea123c2","datavalue":{"value":{"entity-type":"item","numeric-id":5651298,"id":"Q5651298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d30c9ca42ff75b02a14fb8baebcf9d5d93a8f1","datavalue":{"value":{"amount":"+0.858425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$16486A3E-DAB2-455C-BE6F-FA20C1909EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69421b5cfe064ecb78174f38d460b1861691ce48","datavalue":{"value":{"entity-type":"item","numeric-id":5463294,"id":"Q5463294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf3c7360a7b2da999ec3a540a6a2772553ba9de","datavalue":{"value":{"amount":"+0.85810906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q311145$AD11E023-83F8-477E-86D5-B9B92F150A7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective estimates on integral quadratic forms: Masser's conjecture, generators of orthogonal groups, and bounds in reduction theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_estimates_on_integral_quadratic_forms:_Masser%27s_conjecture,_generators_of_orthogonal_groups,_and_bounds_in_reduction_theory"}}}}}