{"entities":{"Q449673":{"pageid":451440,"ns":120,"title":"Item:Q449673","lastrevid":61912257,"modified":"2026-04-11T02:31:06Z","type":"item","id":"Q449673","labels":{"en":{"language":"en","value":"Pisot numbers, primitive matrices and beta-conjugates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075022"}},"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":"Q449673$38B3BB4E-5610-4A2A-92FC-C9F1DA6FECA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83df8a0188e010f3a07ca63cad0955b247a09a17","datavalue":{"value":{"text":"Pisot numbers, primitive matrices and beta-conjugates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q449673$19BA3342-EE7E-41BF-8E70-048870A22715","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db5f5510bf26f24f7ce33543c8dc8c79d3f4d6f5","datavalue":{"value":"1285.11131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449673$F3C5FC44-1454-4F4B-8884-0E80E9BBE6FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"638049ec0e1e24283ff65649fe239b7dcac2b5ab","datavalue":{"value":{"entity-type":"item","numeric-id":449672,"id":"Q449672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$1C85F26E-0156-44F3-8E04-470AE626A276","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":"Q449673$F499D7F7-8C89-4269-A244-6DA18A50B45F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84149e6dc3873f818774d0b131b454e3227c5f2","datavalue":{"value":{"time":"+2012-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q449673$AF0BFED9-2A44-49A2-AF4C-83C56B420617","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06822504524dcfdcaf085711ac017760fd2656bc","datavalue":{"value":{"entity-type":"item","numeric-id":589836,"id":"Q589836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$0A824A41-2ADC-4308-80E4-3AAA941DC7D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53ff304ede5f0a1f725c80a383d917146ab28978","datavalue":{"value":"11R06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449673$2A15D3E1-D959-4387-8351-2D6A6B78EB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449673$44737A5B-BCBC-4102-B570-F45530E2F59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b353ca9fa5871b5d283994bd1f10d77c55504354","datavalue":{"value":"15A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449673$CA3D819A-555C-4EF6-AFEE-AD8B4533D5C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bd7ba96ebd9bcd349b3b7c8ade61387e03bc3a6","datavalue":{"value":"6075022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449673$DB53A0B5-924C-47D6-A0D4-9BC0CF1657A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b339dc53bb688dfb900d314e16363739c5c95e","datavalue":{"value":"Pisot numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q449673$104D8E1B-FF39-4F3C-9E4A-2FD70A2425E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c7f00fd50b425f5b9ff1640ec6f0aa9186e1134","datavalue":{"value":"primitive matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q449673$5559C9B2-8CF0-434A-966B-4A4477FBA5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e8ce5d23116c63b589493352855d1773c89dfd","datavalue":{"value":"Parry polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q449673$6B500FA8-C0E6-43B5-82C5-BAFB89EF81E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38481310e3a6aaf7400f4087c3c0fb1d00cbdd5b","datavalue":{"value":"beta-conjugates","type":"string"},"datatype":"string"},"type":"statement","id":"Q449673$36CAA5D3-8560-4EC8-841A-D54211149193","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":"Q449673$DBC5D142-5AB0-4BE5-9786-26C30A7F12C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a118057b010e9cdb72e8d0ad425e4608dd0d413e","datavalue":{"value":"https://doi.org/10.5802/jtnb.788","type":"string"},"datatype":"url"},"type":"statement","id":"Q449673$95F80032-F24D-4F84-9D33-826FD9804603","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45de26b2b215ba90c17f15bc2b62cc82d4d07ac7","datavalue":{"value":"W2316947652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449673$91CB3C01-7186-44E5-8E6C-84459536E452","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$649464FC-52FA-4D57-8108-53EEF66AC450","rank":"normal"},{"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":"Q449673$7ECAEAC8-78C1-48A0-AD00-D1E6E0FDE250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632086c37d53e63617ac188007e493b9546aa9a3","datavalue":{"value":{"entity-type":"item","numeric-id":4135662,"id":"Q4135662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$11518434-C3C7-47AB-89DE-5E7353C9B111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d993a1e2687ee0438a96cb675a57df273b5ad0df","datavalue":{"value":{"entity-type":"item","numeric-id":3208756,"id":"Q3208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$6F7F46C8-142A-4A34-B819-B9BFDB9E0DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6185ea88920bacf02e3b45f6832e9baa1da0fc40","datavalue":{"value":{"entity-type":"item","numeric-id":4513304,"id":"Q4513304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$696EAB06-05AC-4F33-8146-2392911B7D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef71963c8c9f1d606902ad5eab0556de95d0f552","datavalue":{"value":{"entity-type":"item","numeric-id":4223569,"id":"Q4223569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$E5164EF4-1C83-42FC-B9B8-CFEA3006E1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85f9fb45e2a0a4bb3789ca509aba01a0727f43f","datavalue":{"value":{"entity-type":"item","numeric-id":3336421,"id":"Q3336421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$ADF68DBE-790C-476A-BA42-E2686898CFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ed4d295fd71e4e3533067a7c972036de558f3c","datavalue":{"value":{"entity-type":"item","numeric-id":3280235,"id":"Q3280235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$F48D9C6E-CFFD-4FB7-BA6B-16D2C28A9991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dace82d2972189b45e4b32e663e90163318b3db","datavalue":{"value":{"entity-type":"item","numeric-id":3246584,"id":"Q3246584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q449673$C0B47FC5-CFC4-4849-82BF-28A79B98837D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2721d17661c83967a163a87df521a0059077eea5","datavalue":{"value":"10.5802/JTNB.788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q449673$6F350343-3F44-4031-8837-6F5AF8E0853A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c147f3a916633a151ac9882ffa131f43b977bca","datavalue":{"value":"A subset \\(\\mathbb H\\) of \\(\\mathbb N\\) is relatively dense if there exists an integer \\(m\\) such that, for all \\(n\\in\\mathbb N\\), one at least of the numbers \\(n,n+1,\\dots,n+m\\) belongs to \\(\\mathbb H\\). A square matrix with all coefficient \\(\\geq 0\\) is said \\textit{positive}. A positive matrix is said \\textit{primitive} if there exists an integer \\(k\\) such that all the coefficients of \\(B^k\\) are \\(>0\\). Perron has proved that a primitive matrix has a positive eigenvalue strictly greater than the module of all its other eigenvalues (called the \\textit{dominant eigenvalue} of the matrix).NEWLINENEWLINENEWLINEA \\textit{Perron number} is an algebraic integer strictly greater than the module of all its conjugates. \\textit{D. A. Lind} [Ergodic Theory Dyn. Syst. 4, 283--300 (1984; Zbl 0546.58035)] has proved that: \\textit{Every Perron number is the dominant eigenvalue of a matrix \\(B\\) with coefficients in \\(\\mathbb N\\).} A \\textit{Pisot number} is a real algebraic integer \\(>1\\) whose all conjugates are of module \\(<1\\). The author proves:NEWLINENEWLINENEWLINELet \\(\\beta\\) be Pisot number of degree \\(d\\). There exists an integer \\(n_0\\) such that for every \\(n>n_0\\), we can find a primitive square matrix \\(B_n\\) of order \\(d\\), with coefficients in \\(\\mathbb N\\), whose \\(\\beta^n\\) is an eigenvalue.NEWLINENEWLINEThe only eigenvalues of \\(B_n\\) are then \\(\\beta^n\\) and its conjugates and they are simple.NEWLINENEWLINEIf the irreducible polynomial of \\(\\beta^n\\) has coefficients \\(\\geq 0\\), then we can chose for \\(B_n\\) its companion matrix. If not, we can find a matrix of form NEWLINE\\[NEWLINE\\left( \\begin{matrix} 1 & 0 & 0 & \\dots &\\cdot & 0& c_d\\\\ 1 & 0 & \\dots & \\dots&\\cdot &0 & b_{d-1}\\\\ 0 & 1 & \\dots& \\dots &\\cdot&\\cdot \\cdot& b_{d-2}\\\\ \\cdot & 0 & 1 & \\dots &\\cdot& \\cdot&\\cdot\\\\ \\cdot & \\cdot & \\dots & \\dots&\\cdot &\\cdot & \\cdot\\\\ 0 & \\cdot & \\cdot & \\dots&\\cdot &\\cdot& b_2\\\\ 0 & 0 & 0 & \\dots &0 & 1 &b_1 \\end{matrix} \\right)NEWLINE\\]NEWLINE Now, let \\(\\beta>1\\) be a real number \\(>1\\) and \\(\\beta=a_1/\\beta+a_2/\\beta^2+\\dots+a_n/\\beta^n+\\dots\\) be the \\(\\beta\\)-expansion of \\(\\beta\\). If the sequence \\((a_n)_{n\\geq 1}\\) is ultimately periodic of period \\(k\\) after the rank \\(n_0\\) ( i.e. for any \\(n\\geq n_0\\), we have \\(a_{n+k}=a_n\\)), then \\(\\beta\\) is called a \\textit{Parry number}; \\(\\beta\\) is then an algebraic integer, strictly dominant root of the \\textit{Parry polynomial}, NEWLINE\\[NEWLINEX^{n_0+k}-(a_1X^{n_0+k-1}+\\dots+a_{n_0+k})-(X^{n_0}-(a_1X^{n_0}+\\dots+a_0)),NEWLINE\\]NEWLINE where \\(n_0\\) and \\(k\\) are supposed minimum. There are two cases: either the degree of \\(\\beta\\) is equal to the degree of the Parry polynomial which is then the minimal polynomial of \\(\\beta\\) with \\(d=n_0+k\\), or it is strictly smaller and the Parry polynomial has other roots than the conjugates of \\(\\beta\\). These other roots are called \\textit{\\(\\beta\\)-conjugates} or \\textit{pirat conjugates} of \\(\\beta\\). It is known that Pisot numbers are Parry numbers (see [\\textit{A. Bertrand}, C. R. Acad. Sci., Paris, S\u00e9r. A 285, 419--421 (1977; Zbl 0362.10040); ibid. 289, 1--4 (1979; Zbl 0418.10049)]).NEWLINENEWLINEThe author proves: Let \\(\\beta\\) be a Pisot number of degree \\(d\\). Let \\(\\mathcal F_\\beta\\) be the set of integers \\(n\\) such that \\(\\beta^n\\) have no \\(\\beta\\)-conjugate (i.e. the minimal polynomial of \\(\\beta^n\\) and its Parry polynomial are the same). Then \\(\\mathcal F_\\beta\\) is relatively dense in \\([1,\\infty[\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q449673$85B29C4E-A8A2-4C0B-AD79-019155D4A1DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0932d0b1b7264e51cc57dc8d9b95787c44029f4","datavalue":{"value":{"entity-type":"item","numeric-id":4878586,"id":"Q4878586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f057bba459d92ca3feb165347d7db4a3528eebcb","datavalue":{"value":{"amount":"+0.8293063044548035","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":"Q449673$09014706-67FB-4CB5-B705-30C86DE2DC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc1083c4c2aa18d04f6e55003f9a3fdf222dbdc","datavalue":{"value":{"entity-type":"item","numeric-id":4991644,"id":"Q4991644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72f1713dcf0dd0e608809996d27d75563cfa835","datavalue":{"value":{"amount":"+0.8146888613700867","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":"Q449673$11440A7B-3205-4FD9-B978-07BD7CB2DBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889e7d83713ba705dffbea018dfeb89ac28ba6a7","datavalue":{"value":{"entity-type":"item","numeric-id":5477545,"id":"Q5477545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bc238f6dca5172a03b48ce70dcd0a382266072","datavalue":{"value":{"amount":"+0.7843015789985657","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":"Q449673$33FEEF73-CCB0-47F4-809B-2001D4722C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca28f8c0b22b6d7cde351b2e6950852e5d76f2f","datavalue":{"value":{"entity-type":"item","numeric-id":4545215,"id":"Q4545215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a52734c74a15da4231ee6c6a8ebee82cce4e85d","datavalue":{"value":{"amount":"+0.7689611315727234","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":"Q449673$76E58B7C-4996-4400-AAD8-47EB85081D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace88d3a2abb22eba2f4632de99a0b3e6d0f55a2","datavalue":{"value":{"entity-type":"item","numeric-id":5939261,"id":"Q5939261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e02af48187b051dcd2106645ec145c7135bcf44","datavalue":{"value":{"amount":"+0.7648149728775024","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":"Q449673$93175E44-4DF1-4AFA-9AF8-E85E103DC901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pisot numbers, primitive matrices and beta-conjugates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pisot_numbers,_primitive_matrices_and_beta-conjugates"}}}}}