{"entities":{"Q6586417":{"pageid":14197573,"ns":120,"title":"Item:Q6586417","lastrevid":95587352,"modified":"2026-06-05T09:20:58Z","type":"item","id":"Q6586417","labels":{"en":{"language":"en","value":"Linear maps preserving inclusion and equality of the spectrum to fixed sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7895555"}},"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":"Q6586417$F3E514C8-1852-409A-BB46-0CE0968BB643","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97de7fdd48b7c15befad3a828564e656834ac607","datavalue":{"value":{"text":"Linear maps preserving inclusion and equality of the spectrum to fixed sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6586417$0C281B26-C0F1-4523-8631-00FE916520B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef8840aa6b9c030c0db04c3a77efa1aa30921202","datavalue":{"value":"10.1080/03081087.2023.2193384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586417$C2BD0FBC-412A-4A55-95EB-FEA2230CD81A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e831cdcd52f63179c5a9b60fd42900bccc08f17","datavalue":{"value":{"entity-type":"item","numeric-id":244882,"id":"Q244882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$3B7AEEE0-64F8-4AE7-AE1C-381654191B32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5bb6c466846d50006c9a8db95f51648b84107474","datavalue":{"value":{"entity-type":"item","numeric-id":2707079,"id":"Q2707079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$6D6D3744-2136-41F4-B1FE-D714D95139A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6586417$241B29CC-186E-4AAE-AFD5-142D98B0A3E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e968e089311b0c8f4109ab993fd9066c980be8ac","datavalue":{"value":"Let \\(n\\geq 2\\) be an integer and let \\(\\mathcal{M}_{n}\\) denote the set of \\(n\\times n\\) matrices over an algebraically closed field \\(\\mathbb{F}\\) of characteristic zero. For \\(T\\in \\mathcal{M}_{n}\\) we denote by \\(T^{t}\\), \\(\\mathrm{tr}(T)\\), and \\(\\sigma (T)\\) its transpose, trace, and spectrum, respectively. The \\(n\\times n\\) identity matrix is denoted by \\(I_{n}\\).\\N\\NMatrices having all their eigenvalues inside a fixed region \\(D\\) in the complex plane are usually called \\(D\\)-stable and sets of such matrices appear, as author pointed out, in, e.g., the theory of stability for dynamical systems. In [\\textit{A. Guterman} et al., Linear Algebra Appl. 315, No. 1--3, 61--81 (2000; Zbl 0964.15004)] the authors proved the following result on maps preserving \\(K\\)-stable matrices.\\N\\NLet \\(K\\subseteq \\mathbb{F}\\) be a proper non-empty subset and \\(\\Phi \\colon \\mathcal{M}_{n}\\rightarrow \\mathcal{M}_{n}\\) a bijective linear map such that \\(\\sigma (T)\\subseteq K\\) implies \\(\\sigma \\left( \\Phi (T)\\right) \\subseteq K\\) for every \\(T\\in \\mathcal{M}_{n}\\).\\N\\N\\begin{itemize}\\N\\item[(i)] If \\(K=\\{0\\}\\), there exist \\(c\\in \\mathbb{F}\\backslash \\{0\\}\\) and \\(U,V\\in \\mathcal{M}_{n}\\) with \\(U\\) invertible such that either\\N\\[\\N\\Phi (T)=cUTU^{-1}+\\left(\\mathrm{tr}(T)\\right) V\\qquad (T\\in \\mathcal{M}_{n}), \\tag{2}\\N\\]\\Nor\\N\\[\\N\\Phi (T)=cUT^{t}U^{-1}+\\left( \\mathrm{tr}(T)\\right) V\\qquad (T\\in \\mathcal{M}_{n}). \\tag{3}\\N\\]\\N\\N\\item[(ii)] If \\(K=\\mathbb{F}\\backslash \\{0\\}\\), there exist invertible matrices \\(U,V\\in \\mathcal{M}_{n}\\) such that either\\N\\[\\N\\Phi (T)=UTV\\qquad (T\\in \\mathcal{M}_{n}), \\tag{4}\\N\\]\\Nor\\N\\[\\N\\Phi (T)=UT^{t}V\\qquad (T\\in \\mathcal{M}_{n}). \\tag{5}\\N\\]\\N\\N\\item[(iii)] If \\(K\\neq \\{0\\}\\) and \\(K\\neq \\mathbb{F}\\backslash \\{0\\}\\), there exist \\(c,d\\in \\mathbb{F}\\backslash \\{0\\}\\) with \\(c\\neq 0\\) and an invertible \\(U\\in \\mathcal{M}_{n}\\) such that either\\N\\[\\N\\Phi (T)=cUTU^{-1}+d\\left( \\mathrm{tr}(T)\\right) I_{n}\\qquad (T\\in \\mathcal{M}_{n}), \\tag{6}\\N\\]\\Nor\\N\\[\\N\\Phi (T)=cUT^{t}U^{-1}+d\\left( \\mathrm{tr}(T)\\right) I_{n}\\qquad (T\\in \\mathcal{M} _{n}). \\tag{7}\\N\\]\\N\\N\\end{itemize}\\N\\NIn the paper under review, the author proves two main results. In the first part of the paper, he studies a variant of the problem considered in the statement of the above theorem. He proves the following result.\\N\\NLet \\(K_{1},K_{2}\\subseteq \\mathbb{F}\\) be two non-empty proper subsets and let \\(\\Phi \\colon \\mathcal{M}_{n}\\rightarrow \\mathcal{M}_{n}\\) be a linear map such that\\N\\[\\N\\sigma (T)\\subseteq K_{1}\\quad \\text{if and only if}\\quad \\sigma \\left( \\Phi (T)\\right) \\subseteq K_{2}\\quad \\text{for every }T\\in \\mathcal{M}_{n}. \\tag{\\(*\\)}\\N\\]\\NThen there exists a nonzero scalar \\(\\alpha \\) such that \\(K_{2}=\\alpha K_{1}\\). Moreover:\\N\\N\\begin{itemize}\\N\\item[(i)] If \\(K_{1}=\\{0\\}\\), then \\(K_{2}=\\{0\\}\\) as well, and there exist \\(c\\in \\mathbb{F}\\backslash \\{0\\}\\) and \\(U,V\\in \\mathcal{M}_{n}\\) with \\(U\\) invertible and \\(c+\\mathrm{tr}(V)\\neq 0\\) such that \\(\\Phi \\) is either of the form (2) or (3).\\N\\N\\item[(ii)] If \\(K_{1}=\\mathbb{F}\\backslash \\{0\\}\\), then \\(K_{2}=\\mathbb{F} \\backslash \\{0\\}\\) as well, and there exist invertible matrices \\(U,V\\in \\mathcal{M}_{n}\\) such that \\(\\Phi \\) is either of the form (4) or (5).\\N\\N\\item[(iii)] If \\(K_{1}\\neq \\{0\\}\\) and \\(K_{1}\\neq \\mathbb{F}\\backslash \\{0\\}\\), there exist \\(c,d\\in \\mathbb{F}\\backslash \\{0\\}\\) with \\(c\\neq 0\\) and \\(c+nd\\neq 0\\), and an invertible \\(U\\in \\mathcal{M}_{n}\\) such that \\(K_{2}=(c+nd)K_{1}\\) and \\(\\Phi \\) is either of the form (6) or (7).\\N\\end{itemize}\\N\\NIn the second part of the paper, the author considers the same type of preserver problem, but in this case equalities are used in (\\(*\\)). Also, since an \\(n\\times n\\) matrix has at most \\(n\\) distinct eigenvalues, some natural restrictions on the number of elements for the sets \\(K_{1}\\) and \\(K_{2}\\) are imposed. Namely, for \\(K_{1},K_{2}\\subseteq \\mathbb{F}\\) with \\(1\\leq \\left\\vert K_{j}\\right\\vert \\leq n\\) for \\(j=1,2\\), the author characterizes linear maps \\(\\Phi \\colon \\mathcal{M}_{n}\\rightarrow \\mathcal{M}_{n}\\) such that\\N\\[\\N\\sigma (T)=K_{1}\\quad \\text{if and only if}\\quad \\sigma \\left( \\Phi (T)\\right) =K_{2}\\quad \\text{for every }T\\in \\mathcal{M}_{n}.\\N\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q6586417$889014C5-F855-466D-8585-5A5542D240E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dc0eef07882c3712ebb581d70cdb26b1d60411b2","datavalue":{"value":{"entity-type":"item","numeric-id":306999,"id":"Q306999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$01C34BD6-7182-4973-8D92-082A406E0FD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f25891ef79664c7f171005621b56074b15978ba3","datavalue":{"value":"15A86","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586417$012A32B3-B901-4CED-AEF3-51C1FA1694EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e970d93ffc7c98d538ff001152bd6d8854b6c34c","datavalue":{"value":"15A04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586417$407B38A8-E39D-49EC-8153-BB2BFC971338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b353ca9fa5871b5d283994bd1f10d77c55504354","datavalue":{"value":"15A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586417$63B5F1AF-1B6D-42AC-9DCF-14DB4565C809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56cb628f65395dfa34fd3d28d27ba37f3e94cec7","datavalue":{"value":"47A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586417$658B5B6F-9C51-4C75-8884-AC607B89B397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c45f97a98a70cc627178f16930fe4a1ca52c7e9b","datavalue":{"value":"7895555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586417$7FAB7ECB-49EC-4DB8-9709-B708AFB75C7A","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":"Q6586417$0E6EAE6A-8893-4C16-A470-335BA26D6299","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8bee12af36588946c63e9fef085d1b35c4803d","datavalue":{"value":{"entity-type":"item","numeric-id":5243177,"id":"Q5243177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$D2FF10E5-6074-4BA7-8493-589C514AAA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ac7e229c33ea0763cf81c34b99348662ed70f3","datavalue":{"value":{"entity-type":"item","numeric-id":4015398,"id":"Q4015398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$0E95B143-1A77-459C-8E0F-8E1712F663BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3e640e21d1660f381e9ebdae295af11bd267ad","datavalue":{"value":{"entity-type":"item","numeric-id":4274548,"id":"Q4274548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$8F0D0230-2228-42BD-9A50-0BFCA26A8B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd7f084a770896f076554f971c415e225d3a7bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583717,"id":"Q1583717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$6924FAD5-A7FF-47FD-AA1B-BAF22763D253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc09ff3d559b2581b92c72c06a8635182357b09","datavalue":{"value":{"entity-type":"item","numeric-id":1145743,"id":"Q1145743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$5EAF14E3-0F1A-4270-9BC5-78CB7E6FA403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2bff30956099c9e3ef95630e5e76ba219414eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3257148,"id":"Q3257148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$F554E716-5540-445E-9907-FB2F5571242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de272868677402b83d826acc2974d61a4949015","datavalue":{"value":{"entity-type":"item","numeric-id":3745968,"id":"Q3745968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$0E286222-4CC8-4B57-987E-865D67663449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82806ca2a55a31f2637e1bc894f3ec6fbd87dc38","datavalue":{"value":{"entity-type":"item","numeric-id":3283906,"id":"Q3283906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586417$AE535CE5-BD7F-45E0-9D61-474A1E2FF876","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00cfe1263ad3a8035449df2f5b37a243d894d3fb","datavalue":{"value":{"entity-type":"item","numeric-id":6185987,"id":"Q6185987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb964b6983670e37d9a4af3ec933b69982fa9055","datavalue":{"value":{"amount":"+0.9027238488197328","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":"Q6586417$46D48126-4F5C-4566-8476-33FCDD860F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e7c6a2ac386dc89b6f982a243bef9c46c261845","datavalue":{"value":{"entity-type":"item","numeric-id":6104054,"id":"Q6104054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eac6037f30aa9e07e7a004d1b602adf6816d056","datavalue":{"value":{"amount":"+0.8435446619987488","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":"Q6586417$2C94EF79-1820-4017-8BD2-9FB84E773C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d65d15c5183e6c582ef430dcf645ba312018c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3420075,"id":"Q3420075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7992552c2de8be0533abd0353e9db39659d15989","datavalue":{"value":{"amount":"+0.8351207971572876","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":"Q6586417$8C49BB73-9235-4368-AF3B-D1D78427277A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b42038c5597c6338f3ba672b3387a8654ae8bc8c","datavalue":{"value":{"entity-type":"item","numeric-id":636229,"id":"Q636229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a3beda91ebe2bdb15062003444905f117e97d2","datavalue":{"value":{"amount":"+0.825887143611908","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":"Q6586417$F3A5F975-382A-4A92-91D0-EEA6E3A4517D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear maps preserving inclusion and equality of the spectrum to fixed sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_maps_preserving_inclusion_and_equality_of_the_spectrum_to_fixed_sets"}}}}}