{"entities":{"Q2199496":{"pageid":2210239,"ns":120,"title":"Item:Q2199496","lastrevid":57786042,"modified":"2026-04-02T12:52:32Z","type":"item","id":"Q2199496","labels":{"en":{"language":"en","value":"A necessary and sufficient condition for an algebraic integer to be a Salem number"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7246521"}},"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":"Q2199496$14E58FB9-1425-4D39-9EB4-83A29031AB3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a24f5c5402db4c1cba944e3e91751b1b093824d2","datavalue":{"value":{"text":"A necessary and sufficient condition for an algebraic integer to be a Salem number","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2199496$052D4A8A-0EC2-4C58-A510-580370F36798","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afc99741160c0c7f8ca129371296bb1185cc53f3","datavalue":{"value":"1453.11135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199496$6285F212-CA08-4BDE-BE65-1713BC8A1876","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e2556ef0e2089210ec433404031a5326a45a4e","datavalue":{"value":{"entity-type":"item","numeric-id":282849,"id":"Q282849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$B2801977-960D-4F1D-B2AF-A4ECA8DD4551","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$97C14FB6-890A-4AAF-9572-39F91EAC708F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e7f9373818ac2c3374d4c29cd76a7b411d60b6","datavalue":{"value":{"time":"+2020-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2199496$634993FE-A3EB-4972-9AAF-0807834FA464","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"701022a0b0147ea34054315cdcd438a17ac293b5","datavalue":{"value":"https://arxiv.org/abs/1706.01767","type":"string"},"datatype":"url"},"type":"statement","id":"Q2199496$BA3F8D7E-83AC-4388-B1B0-FC5D3C20C3F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca6b3c27faf4aa3daf50ca3fe5a60b3a2f17053e","datavalue":{"value":"A Salem number is a real algebraic integer greater than \\(1\\) whose other conjugates lie in the closed unit disc, with at least one on the boundary. Then, the (normalized) minimal polynomial \\(P_{\\alpha}(x)=\\sum_{k=0}^{d}a_{k}x^{k}\\) of a Salem number \\(\\alpha \\) is reciprocal, i.e., \\(a_{k}=a_{d-k}\\) for all \\(0\\leq k<d/2\\) (or equivalently, \\(P_{\\alpha}(x)=x^{d}P_{\\alpha }(1/x)),\\) and has two real roots, namely \\(\\alpha \\) and \\(1/\\alpha ,\\) and \\((d-2)\\) roots with modulus \\(1;\\) thus \\(d\\) is even and \\(d\\geq 4.\\)  There is no known general rule for testing whether a reciprocal polynomial with rational integer coefficients is irreducible. In the paper under review, the author shows that a real algebraic integer \\(\\theta >1\\) of degree \\(d\\) is a Salem number if and only if there is a natural number \\(n\\) such that the minimal polynomial \\(P_{\\theta ^{n}}(x)\\) of \\(\\theta ^{n}\\) is of the form \\(x^{d}+b_{d-1}x^{d-1}+\\cdot \\cdot \\cdot +b_{1}x+1,\\) where \\(b_{k}=b_{d-k}\\) for all \\(\\ 0<k<d/2,\\) and  \\[ 2(d-2)\\left\\vert b_{1}\\right\\vert >d(2+\\sum_{k=2}^{d-2}\\left\\vert b_{k}\\right\\vert ).\\tag{*} \\] The direct implication in this equivalence follows from a theorem of C. Pisot, saying that if \\(e^{\\pm i2\\pi \\omega _{1}},\\ldots,e^{\\pm i2\\pi \\omega_{d/2-1}}\\) are the conjugates with modulus \\(1\\) of a Salem number then the numbers \\(1,\\omega _{1},\\ldots,\\omega _{d-2}\\) are \\(\\mathbb{Q}\\)-linearly independent (see for instance [\\textit{R. Salem}, Algebraic numbers and Fourier analysis. Reprint. Orig. publ. 1963 by Heath, Boston. Belmont, California: Wadsworth International Group, a Division of Wadsworth, Inc (1983; Zbl 0505.00033)]), while the implication inverse is a corollary of a result of \\textit{R. S. Vieira} [Ramanujan J. 42, No. 2, 363--369 (2017; Zbl 1422.30013)], asserting that the reciprocal polynomial \\(P_{\\theta ^{n}}\\) has exactly \\((d-2)\\) roots with modulus \\(1,\\) when its coefficients satisfy (*).   Also, for a given Salem number \\(\\alpha ,\\) with degree \\(4\\) or \\(6\\) (resp. \\(8\\) or \\(10),\\) the probability that the coefficients of the minimal polynomial of an arbitrary power of \\(\\alpha \\) satisfy (*) is determined (resp. is approximated) in the second part of the present manuscript.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199496$8B31FA9A-E78E-424C-9016-7976EAE0C1FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53ff304ede5f0a1f725c80a383d917146ab28978","datavalue":{"value":"11R06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199496$81D7713F-23C0-44EE-9DF5-355E2F9509E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9cf30409c08d8794814df406302eff616099c6f","datavalue":{"value":"12D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199496$88B93167-5EDB-4B52-AB10-BF9E14F48B45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45e9b97b00b87a9e3b6da6c493a590bbfaa3c84f","datavalue":{"value":"7246521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199496$E9575F19-AA11-4A86-AB2C-610A467D520A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24af474b0ba392bec0c1341c360f5c96d47eae2","datavalue":{"value":"special algebraic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199496$821243AC-917A-4A21-8A35-DABDB535ACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b475c7e088c1ca88b214b8aa172fdd1b53cbcb4","datavalue":{"value":"Salem numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199496$C6A6794C-7D5E-42FC-9842-36930C965D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f8a536dac39a7aa3d0823961b82ed097aaf84f","datavalue":{"value":"reciprocal polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199496$7F05DBC9-939E-4004-A1B5-5B12A5F24B28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c054f65eaebd0435abc7043851148372e935bca7","datavalue":{"value":{"entity-type":"item","numeric-id":386395,"id":"Q386395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$A3545114-87F9-4CB9-9D2B-2B0A4C93B539","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":"Q2199496$E6DFDF47-EA4D-46EB-B865-086B179B81B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae7d264297a8a37422f1fa2cb38b960712085ee1","datavalue":{"value":"W2623552968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199496$4F07D13F-CFE6-4DEC-883C-EE4DC5B89A58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"002d63df407f7041e17706087a822bbcfb4de21d","datavalue":{"value":{"entity-type":"item","numeric-id":4038523,"id":"Q4038523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$989CD08E-CF32-451C-9217-FA2B6FA6E33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570787d8c3797b23e215bd734559b5ab2bbaea02","datavalue":{"value":{"entity-type":"item","numeric-id":2904676,"id":"Q2904676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$C9FC5D71-EC67-44C9-B38D-782DEE8F369C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfcbf98c78411c0c462c8d7ef0027f9b15d5f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":3023601,"id":"Q3023601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$45A648B6-882E-4C05-A3B1-B089B237EC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92497ce35c8f71a8b34e24c560cdef79eee975db","datavalue":{"value":{"entity-type":"item","numeric-id":3222981,"id":"Q3222981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$42FC6D3B-1C74-418A-96C0-E1DEC98594BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fb796594aa32d99f4e818726f7bf89a9fc8d31","datavalue":{"value":{"entity-type":"item","numeric-id":3765876,"id":"Q3765876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$29A97DD7-2B2E-409C-ABB9-4A481CE300B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aac230f319c540b6eab6a4de86fd268cd930a68","datavalue":{"value":{"entity-type":"item","numeric-id":5255530,"id":"Q5255530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$85CD84C5-991C-49FF-AC6F-FDB6F30B44E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f839ed98a746620e424ebe093988a9ec72849a3f","datavalue":{"value":{"entity-type":"item","numeric-id":282850,"id":"Q282850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$F63C010B-7D91-4C67-89E1-5A3005EB9515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608c76a18f825c3f3c34c0be16fd48379ae35458","datavalue":{"value":{"entity-type":"item","numeric-id":513363,"id":"Q513363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$0BAA412C-AFBD-4E5D-8CBB-275F2647959E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540da1fcc833c02ee12b27fa18ff56d6d2ef9a32","datavalue":{"value":{"entity-type":"item","numeric-id":2506380,"id":"Q2506380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$DF33ECBE-E279-480F-8A73-2D99242AA936","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a96194066867f768c4b509199b4ba2c094e65a01","datavalue":{"value":"10.5802/JTNB.1076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199496$BEA077BA-8F56-425E-A458-F5C7544F0A1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5e3b05aea2248caac4a2edf3c550049ca3c769","datavalue":{"value":{"entity-type":"item","numeric-id":2040289,"id":"Q2040289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2879b455f9b7ff8bbb00c7d733f0ea34802fb2cc","datavalue":{"value":{"amount":"+0.7884382605552673","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":"Q2199496$4D6D9396-B374-4DD9-A5C3-FC7200F52112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5ab7110af39ae766feadacb402bed01079163c","datavalue":{"value":{"entity-type":"item","numeric-id":3298870,"id":"Q3298870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd94525c1d8a878ee33a76607906cb989dc471b","datavalue":{"value":{"amount":"+0.7857971787452698","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":"Q2199496$E252D0A4-5D23-4D1D-8C34-4FBD4B391485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c92b1fcbe5e1e32b96094283bbc365d7f55d966","datavalue":{"value":{"entity-type":"item","numeric-id":1345285,"id":"Q1345285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d91910f990199e76cfc28e7424cf2397ee0c534","datavalue":{"value":{"amount":"+0.7609383463859558","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":"Q2199496$C9F9B0BD-BBEE-455B-92C8-90B999F56CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a8b86db0d72d38445adee907312614519d8901","datavalue":{"value":{"entity-type":"item","numeric-id":5947048,"id":"Q5947048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb25db495c18f5571bc64865a932ec13332e185b","datavalue":{"value":{"amount":"+0.7578291296958923","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":"Q2199496$55514620-7186-46C5-987A-28D1D826B374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0aa69b30f7ecb1ef27644ce5e8d9cf796e3886","datavalue":{"value":{"entity-type":"item","numeric-id":784715,"id":"Q784715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e14a785100842a70dd88e44883b8a54d8d2c2d","datavalue":{"value":{"amount":"+0.7563872933387756","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":"Q2199496$3D86F361-C81B-4C75-839A-200F0C4E1E54","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199496$4B54D9C2-2A15-48C1-A922-CCA169859FD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2199496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2199496"}}}}}