{"entities":{"Q7361432":{"pageid":31519835,"ns":120,"title":"Item:Q7361432","lastrevid":105423593,"modified":"2026-10-08T13:45:26Z","type":"item","id":"Q7361432","labels":{"en":{"language":"en","value":"Matrices, Jordan Normal Forms, and Spectral Radius Theory"}},"descriptions":{"en":{"language":"en","value":"AFP entry Jordan_Normal_Form"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4848f484bd9b1b52c121bfbccc39eca7944b30a6","datavalue":{"value":"https://isa-afp.org/entries/Jordan_Normal_Form.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361432$63E6F06A-8C12-438D-9491-4F754F1E4D50","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361432$D2735444-B2DD-4BEE-8ACD-2B224B5781B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e646f16cde9cfa1c19d0771a8f74ba7e8c772f6","datavalue":{"value":"Akihisa Yamada","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361432$DDFB4B43-246A-40E8-8337-13E0E990C18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"82465ac3274d3d0397e8b9a376568cb6edebce12","datavalue":{"value":"Alexander Bentkamp","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361432$F87EBBEC-0747-49FE-8DF6-A2CD00DC9AB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d429faec54128dadaf82771bc2f0bf70497e923","datavalue":{"value":"Matrix interpretations are useful as measure functions in termination proving. In order to use these interpretations also for complexity analysis, the growth rate of matrix powers has to examined. Here, we formalized a central result of spectral radius theory, namely that the growth rate is polynomially bounded if and only if the spectral radius of a matrix is at most one. To formally prove this result we first studied the growth rates of matrices in Jordan normal form, and prove the result that every complex matrix has a Jordan normal form using a constructive prove via Schur decomposition. The whole development is based on a new abstract type for matrices, which is also executable by a suitable setup of the code generator. It completely subsumes our former AFP-entry on executable matrices, and its main advantage is its close connection to the HMA-representation which allowed us to easily adapt existing proofs on determinants. All the results have been applied to improve CeTA, our certifier to validate termination and complexity proof certificates.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361432$8D7DE221-EFE2-43B0-A89E-688877A5F229","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae2d2158e3c465c93233b4442630df5c29733e","datavalue":{"value":{"entity-type":"item","numeric-id":3522019,"id":"Q3522019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$53C07979-3BD3-49B9-BE6F-6FA259A65E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$B8476501-4ED2-4437-97A7-9002E3AADD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8140e4105e9a133f88717f08d7a9ce19bb1f9cab","datavalue":{"value":{"entity-type":"item","numeric-id":5277869,"id":"Q5277869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$CF28CBFD-70FF-48C6-9058-9525FD68F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53d3fc5ef0eaf03448b2958c7b38baf170d7b9b","datavalue":{"value":{"entity-type":"item","numeric-id":928655,"id":"Q928655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$5301998B-03EE-41A2-B965-8BBCB4FE2473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73402f4152dc1b0c6384814fa1868f011d7bebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3421016,"id":"Q3421016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$D04800D2-C906-4E59-A779-823350BEF047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97132178938a086d46887cf71f3c6653c803319d","datavalue":{"value":{"entity-type":"item","numeric-id":3582701,"id":"Q3582701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$32BF45EC-9374-4FAE-9414-4554625F9060","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e463a3f76b72914d69100f109f02e2f624263f82","datavalue":{"value":{"time":"+2015-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361432$3209EC52-DC85-4044-B8E6-09AE7C17D8A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123afbbc70d0a5f8538393609af6256fd1c4ad5a","datavalue":{"value":{"text":"Matrices, Jordan Normal Forms, and Spectral Radius Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361432$F1007038-41FF-40F9-BE86-87E08C61F945","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$E5E8FECB-4EEA-4EB5-9B17-0F8E9E6ABE46","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"0c9c9f0c4eee9c4734b6223c2dd6a0c94c9a6581","datavalue":{"value":{"entity-type":"item","numeric-id":7361085,"id":"Q7361085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$F6E5E3B2-E048-4F68-9AB3-794AA0EA746B","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$E39A7BEB-6133-427C-900C-DDF01BF9FCB3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$2553321E-EA21-46FF-A514-29C05A028DD6","rank":"normal"}],"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"5355158009845552479dafdd55a9c863d6ae2c66","datavalue":{"value":"28566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361432$F89398F4-318D-409A-80AC-66521634E927","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361432$18FD8804-4FB6-4AB5-86CB-861B4F5BF238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62b7e192ddad84e0999f497c95811da22d169570","datavalue":{"value":"13.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361432$A55DF0B1-CC61-4AC5-AAE7-48D771A61815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"467910eb92f3fefb5ab991704afbc9c141aad063","datavalue":{"value":"65.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361432$26ECAD36-3039-43C6-8A6A-BF748CE04824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361432$286EBF52-ACF8-45D8-963F-B5BFFDE9C8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d686bfe0ad6b5389dbe234187d1c022fa609f87","datavalue":{"value":"81.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361432$0684091C-1107-4621-8F7E-1A1B89B80701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89107e9c93cd6c803fd02a890f7a831dced41c0b","datavalue":{"value":"15.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7361432$A5D94CA8-9568-40E7-87AD-9A4E05BC48F4","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$507D74CA-620A-421F-96FB-C6C1B24A72E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$E3C6AE2B-DAEE-40F4-9688-8AEBF222FDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$303904E8-B121-4F9A-BC22-98B766016134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$0DB10DA5-AE73-4E0A-A3F8-E1E5096A4079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9f7773444cba07bf64d0a42509b5f6e8b2964659","datavalue":{"value":{"entity-type":"item","numeric-id":43939,"id":"Q43939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$55FEBB4F-71AE-4341-81EF-2400CFD44F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ddce7f60e5a9eba6b63bd9ac700107ef640a956","datavalue":{"value":{"entity-type":"item","numeric-id":43937,"id":"Q43937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$F369C9FE-DC77-4DAB-9F72-7E4585EBA756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"70b75326d8bd1b90cadb4857a0373726cf5a6a2a","datavalue":{"value":{"entity-type":"item","numeric-id":43936,"id":"Q43936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$B5576DF6-76F7-451A-920F-7444698940B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f5375f24574ef8a96b8521c09c1111611c438e4c","datavalue":{"value":{"entity-type":"item","numeric-id":43935,"id":"Q43935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$DF8E91A0-6FDA-4024-8A6B-EE9558CF9C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$F3FF9EF4-88BA-45AF-B57D-0283717C89D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1ad6e65d83fff7ea708bae2e85cf167fa7c715e4","datavalue":{"value":{"entity-type":"item","numeric-id":32088,"id":"Q32088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$6FA6A0A8-E60F-4B2A-ABA2-AA12A66F2F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$FEBE1341-1B17-4699-8882-A101D6E3F3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$B7894311-F9A6-48A7-A35B-712BFF713732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9e81311cdb14c7070472842e51d5af84de1387ea","datavalue":{"value":{"entity-type":"item","numeric-id":43938,"id":"Q43938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$53EBC523-9CB0-4CE4-A5F0-C4E53150A749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8dde418bf28e22fefe1976bd953eb7c8ec5b548d","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$27171C05-CB70-47AA-AA48-E4CE20548952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$32418D33-A8C2-4A8A-BEC5-A9CF58502336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3835edb366b99827fd38bd45a5150add1be2e6f5","datavalue":{"value":{"entity-type":"item","numeric-id":19383,"id":"Q19383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$1FBDAA55-46C4-4E52-81D5-5CF67FB3F31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a073d1e3162db58b1a890386d8dbe9eebb4637c","datavalue":{"value":{"entity-type":"item","numeric-id":40373,"id":"Q40373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361432$25A6CF9D-841E-41F1-B86E-AEECD22FFE87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matrices, Jordan Normal Forms, and Spectral Radius Theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matrices,_Jordan_Normal_Forms,_and_Spectral_Radius_Theory"}}}}}