{"entities":{"Q2477072":{"pageid":2487815,"ns":120,"title":"Item:Q2477072","lastrevid":50305310,"modified":"2026-01-13T19:13:59Z","type":"item","id":"Q2477072","labels":{"en":{"language":"en","value":"Lehmer's problem for polynomials with odd coefficients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5248861"}},"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":"Q2477072$EC28D716-9720-4C38-AC9E-C45AD3909EB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f3b9128c9bba07af603497030300e4595c0b399","datavalue":{"value":{"text":"Lehmer's problem for polynomials with odd coefficients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2477072$89E86E1E-C239-4484-B55D-78F30DAF7579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a91a7966a5129c2e7b3a8488a8ee86e1057ac9ad","datavalue":{"value":"1172.11034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477072$D9A721E5-EC8B-4236-B755-B4CC672424C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bc54045efec787df710d5bd69e4579755ec0631","datavalue":{"value":{"entity-type":"item","numeric-id":2477071,"id":"Q2477071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477072$0C7A9EF6-E5AC-494A-919F-F161BBC17EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd197cd0d78144732fbca009039f99cfd86c101d","datavalue":{"value":{"entity-type":"item","numeric-id":543910,"id":"Q543910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477072$0AEEBABC-64D3-43A9-A2D6-504C50A39511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"180abfd07095698e9366d5e6985300cf0d047aba","datavalue":{"value":{"entity-type":"item","numeric-id":354141,"id":"Q354141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477072$E57A3702-9280-4A48-864E-98345A21FCF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2477072$543FE94C-DE1B-4511-BF2A-D3CBA584B049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2bb6064fe12f1f98326de21fadc6a9704c90a","datavalue":{"value":{"time":"+2008-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2477072$9187BD64-CF54-4F6E-BA08-613A71E56809","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"442daea6fce0be4e62a7afb8c9cf33b72ace0fe0","datavalue":{"value":"https://projecteuclid.org/euclid.annm/1200928840","type":"string"},"datatype":"url"},"type":"statement","id":"Q2477072$89E028B4-132A-48D0-A6C3-62C2892627B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb2497e5c793755536229e4b2fa53baf598394e9","datavalue":{"value":"Let \\(f\\in\\mathbb Z[x]\\) have odd coefficients, degree \\(n-1\\) and no cyclotomic factors. Then the authors show that the Mahler measure \\(M(f)\\) of \\(f\\) satisfies  \\[  \\log M(f)\\geq \\frac{\\log 5}{4}\\left(1-\\frac{1}{n}\\right). \\tag{*}  \\]  This solves the well-known problem of D.H. Lehmer in the case of irreducible polynomials with odd coefficients. The result is generalised to polynomials \\(f\\) (degree \\(n-1\\), no cyclotomic factors) whose coefficients are \\(\\equiv 1\\pmod{n}\\): in this case \\(\\log M(f)\\geq \\log(m/2)(1-1/n)\\). These results come from a more general theorem (Theorem 3.3) involving an auxiliary function \\(F\\). In the case of such \\(f\\) having odd coefficients (\\(m=2\\)) this states that if \\(F\\) has integer coefficients and \\(\\gcd(f(x),F(x^n))=1\\) then  \\[  \\log M(f)\\geq \\frac{\\nu(F)\\log 2-\\log\\|F\\|_\\infty}{\\deg F}\\left(1-\\frac{1}{n}\\right).  \\]  Here \\(\\|F\\|_\\infty=\\max_{|z|=1}|F(z)|\\) and \\(\\nu(F)\\) is the sum of the multiplicities of all factors of \\(F\\) that are \\(2^k\\)th cyclotomic polynomials for some \\(k\\). The corollary (*) is obtained by choosing \\(F(x)=(1+x^2)(1-x^2)^4\\), the condition that \\(f\\) has no cyclotomic factors being required to ensure that \\(\\gcd(f(x),F(x^n))=1\\). The proof makes use of upper and lower bounds for the (nonzero) resultant \\(\\text{Res}(f(x),F(x^n))\\).   Also, the conjecture of Schinzel and Zassenhaus is resolved for the case of polynomials \\(f\\) with odd coefficients (degree \\(n-1\\), at least one noncyclotomic factor). The authors show that such an \\(f\\) has a root of modulus greater than \\(1+\\log 3/n\\). They also give the lower bound \\(1+\\log(m-1)/n\\) for the largest root of \\(f\\) when \\(m>2\\) and the coefficients of \\(f\\) are all \\(\\equiv 1\\pmod n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477072$3E78DA11-7D23-49DD-A96D-172F3720A5E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53ff304ede5f0a1f725c80a383d917146ab28978","datavalue":{"value":"11R06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477072$D40EC426-3620-48C9-8AD3-14DB69FF22FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c87799adec94bf8b9b9eb5f19b936a1d5c6fca89","datavalue":{"value":"11C08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477072$2CBA77A9-C14C-45D8-9788-182CB15102ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"75b5ae7d63c4b2ff3513743a5ea9e7be306e24ac","datavalue":{"value":"11R09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477072$DD3C7833-683A-46DD-A6AD-A9AC77FA26AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64d6bf5a462ac6bbd6d226623e7465bfecdcaedf","datavalue":{"value":"5248861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477072$14F3034E-0762-4852-80A7-4BCFA5E9C28E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd1e2a7c521abc9d34a420f83f3c4121ce7307d","datavalue":{"value":"Lehmer's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477072$BA23C6AD-89D5-48EC-A16A-9D8745214AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2d29f548f3533bd51a28d2cd5a444b7846f485","datavalue":{"value":"Schinzel and Zassenhaus conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2477072$EDF3400E-6244-4BBA-A962-772FC1F73A8B","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":"Q2477072$584702C0-7906-4C34-BC83-08392D511158","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8d6e49fbb096f6c62b6e4d51f4870a41a69f576","datavalue":{"value":"W2137262237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477072$34926A19-1074-4243-B6AA-7E4622763713","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"943fba352b110f586446e32bec96eacb99a6e5b1","datavalue":{"value":"10.4007/ANNALS.2007.166.347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2477072$BDEB494E-921E-4063-A1A4-5AF7EE5016E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18cfd3e1aaeb5b8b12286c5bb04b48464bcc48c8","datavalue":{"value":{"entity-type":"item","numeric-id":5315185,"id":"Q5315185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad786ab33240ca23844c6e2d6deef8a74e990f24","datavalue":{"value":{"amount":"+0.8355550169944763","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":"Q2477072$82283231-41C2-4C6D-B089-0CE5F72BB453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b900865dc71526e7391aa4cfc72ab9126dc39c49","datavalue":{"value":{"entity-type":"item","numeric-id":3526558,"id":"Q3526558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f35b8984c473b6636908f7b64723fa96cf97bea","datavalue":{"value":{"amount":"+0.8301774263381958","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":"Q2477072$DA45F12A-1502-46ED-87FE-26A56BC2F71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc259987339bf4e1029c5e5dbec23ad3b376ed19","datavalue":{"value":{"entity-type":"item","numeric-id":3353116,"id":"Q3353116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c183c984cf2d7351be933830ebee82a4af0bf34","datavalue":{"value":{"amount":"+0.822393000125885","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":"Q2477072$DCE0A710-C89D-4633-9D74-5ACC3A53D68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07333c16930d0bed5af470430939693208533a70","datavalue":{"value":{"entity-type":"item","numeric-id":3710608,"id":"Q3710608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a999de15b3c1dd703e8e39c2b5b45e2d72d839df","datavalue":{"value":{"amount":"+0.8201742172241211","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":"Q2477072$2DBB0D80-9E66-4FBB-9A8F-856DBC5BBA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2eaf80df49ddd062bb423ad39575411b7837d14","datavalue":{"value":{"entity-type":"item","numeric-id":2717631,"id":"Q2717631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce4eca50974175fef9b9965747ba6b1241c04876","datavalue":{"value":{"amount":"+0.8086522221565247","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":"Q2477072$E3F15C8F-BD09-436B-A6B8-CA2CD528838D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2477072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2477072"}}}}}