{"entities":{"Q1323868":{"pageid":1334618,"ns":120,"title":"Item:Q1323868","lastrevid":70139262,"modified":"2026-04-13T12:42:35Z","type":"item","id":"Q1323868","labels":{"en":{"language":"en","value":"On algebraic numbers of small height: Linear forms in one logarithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584044"}},"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":"Q1323868$2B0A51BC-2EC5-427D-A9A9-B8C22AEC82D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2737140ddee5a55349c98ccc78210e3c695497e","datavalue":{"value":{"text":"On algebraic numbers of small height: Linear forms in one logarithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1323868$B82B0289-3451-4653-B808-DB7510895E41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32605db415810ee216e12d8655fd4def42d46f51","datavalue":{"value":"0801.11033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323868$B78FA281-388E-4858-B147-D881CA889F5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323868$7A9BA9E2-2C26-4FEE-BC2B-BAC5AFA83D17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27e26720c3a5ab9bcb71917b45ea4b2894dbb467","datavalue":{"value":{"time":"+1994-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1323868$EF9D4FA4-2423-485C-93EC-F83D06A217AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d646d7c518518128304defb4c7019e2ed1797fa8","datavalue":{"value":"The authors establish a lower bound for \\(|\\alpha -1|\\) where \\(\\alpha\\) is a complex algebraic number \\(\\neq 1\\). This lower bound is completely explicit in terms of the degree \\(D\\) of \\(\\alpha\\) and its Mahler measure \\(M(\\alpha)\\).   Given any number \\(\\mu>0\\) with \\(\\mu\\geq \\log M(\\alpha)\\), the authors prove  \\[ |\\alpha -1|\\geq \\exp \\Bigl\\{- \\bigl( \\textstyle{3\\over 2} \\sqrt{D\\mu \\log_ + (D/\\mu)}+ 2\\mu+ \\log_ + (D/\\mu) \\bigr) \\Bigr\\}, \\]  where \\(\\log_ + x= \\max\\{ \\log x,0\\}\\). From this inequality, they deduce  \\[ | \\alpha-1 |\\geq \\max \\{2, M(\\alpha) \\}^{-3 \\sqrt{D\\log D}}, \\]  which refines a result of \\textit{M. Mignotte} [Ann. Fac. Sci. Toulouse 1, 165-170 (1979; Zbl 0421.10022)] and improves on Liouville's inequality concerning the dependency in \\(D\\).   The above mentioned result follows from a more general theorem from which the authors also deduce an application to Lehmer's problem as well as the conjecture of \\textit{A. Schinzel} and \\textit{H. Zassenhaus} [Mich. Math. J. 12, 81-85 (1965; Zbl 0128.034)]. A corollary of this theorem which is sufficient for these applications is the following:   Let \\(E\\) be a number field of degree \\(D\\) over \\(\\mathbb{Q}\\), let \\(\\alpha_ 1, \\dots, \\alpha_ K\\) be distinct elements of \\(E\\) with \\(K\\geq 2\\), and let \\(G'\\) be a set of embeddings of \\(E\\) into \\(\\mathbb{C}\\). For each \\(\\sigma\\in G'\\), choose \\(\\phi_ \\sigma\\in i\\mathbb{R}\\) and determinations of \\(\\log (\\sigma\\alpha_ k)\\) for \\(k=1,\\dots, K\\). Then the average values  \\[ \\Lambda_ \\sigma= \\textstyle {1 \\over K} \\sum_{k=1}^ K |\\log (\\sigma \\alpha_ k)+ \\phi_ \\sigma| \\]  satisfy  \\[ - \\sum_{\\sigma\\in G'} \\log \\Lambda_ \\sigma \\leq {{2D} \\over K} \\sum_{k=1}^ K h(\\alpha_ k)+ {D\\over {K-1}} \\biggl( 2+\\log \\biggl( {{2K+1} \\over 4} \\biggr) \\biggr)+ {K\\over {K-1}} | G'|, \\]  where \\(h(\\beta)\\) stands for the absolute logarithmic Weil height of \\(\\beta\\) and \\(| G'|\\) denotes the cardinality of \\(G'\\). The method of proof uses the technique of interpolation determinants of \\textit{M. Laurent} [Acta Arith. 66, 181- 199 (1994; see the review below)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323868$3D347B9F-5112-4805-A752-B8B610731182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40403c8d2e7a94c90fbb74b962301e3fe3da68bd","datavalue":{"value":"11J86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323868$F53F708B-84E6-4309-8A25-05248A73D5B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f577a89570e03df9e9a717d134da0e299d8113","datavalue":{"value":"584044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323868$3CF248F2-F0C1-4ABB-8183-481762168FA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430c5906bd7676185aa48d2f7d031c02b441edbc","datavalue":{"value":"linear forms in logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323868$A4110A48-48DE-417C-8214-20C6C982BBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e737fe82138aa7456ffa893d3a86ae08e5ed4764","datavalue":{"value":"Mahler measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323868$FAFA9B85-1094-409E-8EE9-93C65ED70749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0378c51c2c332d2e3dbcf4869c0305deb0fb14c","datavalue":{"value":"height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323868$199AA6CA-7CF3-4ECE-9274-14E59C56BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9daa0d1a4d47defd80e32f58c16e3c9811c00ab8","datavalue":{"value":"interpolation determinants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323868$641AC68E-AB93-4E2B-8F4A-DDAA562568E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f43bf0f0ed97f42721f18513be8f4e02ef8d8c","datavalue":{"value":{"entity-type":"item","numeric-id":168882,"id":"Q168882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323868$75FF2398-0BD0-44B7-91E3-272616303A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c5fa69607d0bdcedd24f73dda7cae93a77d0018","datavalue":{"value":{"entity-type":"item","numeric-id":194752,"id":"Q194752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323868$AABA9742-7DFC-47D1-AB01-E9B8810B02AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e8f035dcda6761a7eaf09df4dd7573bd18f3d4aa","datavalue":{"value":{"entity-type":"item","numeric-id":284781,"id":"Q284781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323868$73BCD90A-049E-4E79-8682-0A1846202922","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":"Q1323868$0B098F25-2023-494A-AE96-974951FA5180","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e134050f0ca47ee85c71b959432b121ed636c4f","datavalue":{"value":"https://doi.org/10.1006/jnth.1994.1025","type":"string"},"datatype":"url"},"type":"statement","id":"Q1323868$69AD4875-F4A9-487B-9008-C42D2E5FA05E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"473bb03bf952b7ce4e465694abdc2a188de1bacd","datavalue":{"value":"W2041199067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323868$30C9B10E-334B-4C43-8FA3-FEFCC362C8B0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d27a531f4932c547b8695852b50621e9a590d8aa","datavalue":{"value":"Q57377782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323868$76B55503-DF60-44A3-BD36-47A9F83F6693","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a20c1e3485f70ebd1fd9922f9bfc9203674f9ddb","datavalue":{"value":"10.1006/JNTH.1994.1025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323868$6A47D762-9659-47AA-82E8-B0796B76325E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2bca9b1ca1e2befedd64849f077ced827e4f175","datavalue":{"value":{"entity-type":"item","numeric-id":4236670,"id":"Q4236670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9394ceabaa4c8abcec18fa6ff2dbb0afb98f036e","datavalue":{"value":{"amount":"+0.74383163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$F134D41D-22C0-4946-B203-658920D209C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0989cab7717ea6d722d80eb7ccefc7799c69ba78","datavalue":{"value":{"entity-type":"item","numeric-id":3360957,"id":"Q3360957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7175dc6fe8c61361083523042e3fba07673f1ea9","datavalue":{"value":{"amount":"+0.7276489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$D4C757BE-358D-41DD-B238-A2DABE8879DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16c4bb6f033e6dd8ea5113bb7e71b339bfaceed","datavalue":{"value":{"entity-type":"item","numeric-id":4864317,"id":"Q4864317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c2c100a7dd1727b5db610f075ddd83a17555b21","datavalue":{"value":{"amount":"+0.72646016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$15CF47C5-CDAA-4FFF-A305-7B1E5EF60292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17daf2134341066d8b89a1f6982d0acc2bacb9cb","datavalue":{"value":{"entity-type":"item","numeric-id":1358492,"id":"Q1358492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ef7c99816d4e3e22e2c70bf59d33f1f4810486","datavalue":{"value":{"amount":"+0.72355425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$418F651E-ADE4-4BEB-8697-34AD79EC6B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed2676a5e1efabcb202773a61507823fdafbf15","datavalue":{"value":{"entity-type":"item","numeric-id":5310161,"id":"Q5310161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf3d04a6fe5ec22338cfa2554420da689cc45ac","datavalue":{"value":{"amount":"+0.72253644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$74E62164-DFDF-4D8C-82CC-61111D45F0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb2d3b9e55bbd9840cd493aa2bf151259c5a38a","datavalue":{"value":{"entity-type":"item","numeric-id":3835549,"id":"Q3835549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a2f8f08793ec7691f8b708174b1997db17c993","datavalue":{"value":{"amount":"+0.72238696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$8C416CBC-76CA-4857-AABD-D8910FF872ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce3e2b056a0bcf799c829c078c28d241dbd2edd","datavalue":{"value":{"entity-type":"item","numeric-id":4786562,"id":"Q4786562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862aaa1bd914d317f9563865bffde8d4c5f684f4","datavalue":{"value":{"amount":"+0.71255803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$A117C20D-A405-4CD1-8381-39B38BE01AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2108c5b9a1d13fd6e173217579f59a857aa2c2cf","datavalue":{"value":{"entity-type":"item","numeric-id":3488249,"id":"Q3488249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2185abc742de302f80d6371250a00cce5416bcb2","datavalue":{"value":{"amount":"+0.70326793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$8B121E9A-3499-4B10-A110-500344E2D361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"058574ff7879ab7bddcdd9344e5f72cb6ef24f03","datavalue":{"value":{"entity-type":"item","numeric-id":1925181,"id":"Q1925181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcc9455a8e2fb6d8cd2eb31ad693b65e6150f8dd","datavalue":{"value":{"amount":"+0.70184284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$88116F77-50E2-4B9D-B55E-11170C219C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d53637e1f9695ede092d083942e9db78c8bc9af3","datavalue":{"value":{"entity-type":"item","numeric-id":1292621,"id":"Q1292621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f140b72ba941fd073250d2b9b583509bbde8cb66","datavalue":{"value":{"amount":"+0.69979507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1323868$681A2A86-F552-4852-AF3C-E3439F65FAF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On algebraic numbers of small height: Linear forms in one logarithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_algebraic_numbers_of_small_height:_Linear_forms_in_one_logarithm"}}}}}