{"entities":{"Q40311":{"pageid":40367,"ns":120,"title":"Item:Q40311","lastrevid":105427244,"modified":"2026-10-09T10:07:11Z","type":"item","id":"Q40311","labels":{"en":{"language":"en","value":"Perron Frobenius"}},"descriptions":{"en":{"language":"en","value":"AFP entry Perron_Frobenius"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"acf7d439b831891cd2ae8c7100a2f721c9a640be","datavalue":{"value":"28597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40311$34F67E35-D5D1-4769-9214-D5EF32030902","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":"Q40311$9BC7B82A-A37B-4E1D-B2AA-C33FA7AECF53","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"537568b1279d431a5f29e360f3162b280998c697","datavalue":{"value":"https://www.isa-afp.org/entries/Perron_Frobenius.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40311$CC33B01C-C94A-47F4-AFA2-22D0D1EEE8B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5dd818343d7a5b259737eac61518c19de74ecd35","datavalue":{"value":"15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40311$E32805F6-D31C-4842-B496-51596086ED0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40311$82D3A1E9-30FE-4771-B4AF-22AA43EF01CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40311$716FA421-494D-43C3-A632-CB5CE1F654FB","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":"Q40311$D5BFAADB-BDE2-4AEB-9E36-0BFEC6974BB1","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":"Q40311$6ADEC562-54A3-4599-BB73-B41A824BD4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7d1a8519018039436924ad678b461ed447b5bd71","datavalue":{"value":{"entity-type":"item","numeric-id":40310,"id":"Q40310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$4A78E002-1C74-4808-A276-DDC0B441F126","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":"Q40311$0236AE53-4717-4CA9-BA37-6366CEC847AC","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":"Q40311$5FC32228-F4F4-4375-8C91-083FB68036D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d55daeff7c4288ce44d22059c68add0e43c0b42","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$8EE0F19A-DEF8-48B6-B061-1C06A748F66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7434bcf5c727d2c07e931aea1694436d0b39cd53","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$3EA985EC-A94D-4583-B918-E997F6382451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b0435b216add8806b29897bbe9d39fefba5eae6","datavalue":{"value":{"entity-type":"item","numeric-id":17507,"id":"Q17507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$894D92BC-8E6C-451D-A48E-77DFC12B5C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3e9c336168e17650e6c38b2eaa0f70237b2e636e","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$25B143E9-27F0-46B7-9E98-49F4B28D29F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3a9edbd2c1b6a0c50c92b404a365a164e64c40f5","datavalue":{"value":{"entity-type":"item","numeric-id":53713,"id":"Q53713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$9DFD2AEB-2F31-466B-93E2-B93AC7618152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"206148fb4091bc526b4985eb7106f34e5f9739ba","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$65B2789C-3172-464E-9B24-02D858A18A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ae4293277921362844d52e659f53d4bb6a996ae8","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$F9FB5C37-57E5-4A13-814E-C1F19EBBB5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d6759b8dfb07be9f446b8d7ca7d3edd28f680e38","datavalue":{"value":{"entity-type":"item","numeric-id":55526,"id":"Q55526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$C3756A9F-9253-4D9B-BA06-2E079DD3950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$21B77654-C07A-409F-9A2C-362F16CF91C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$BC6B457F-6AE0-4AED-BC88-EF2AED0B0819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"b82152c1528c5be7e2040d1abd74977f4fe51817","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$86E159E4-7F71-47C7-9BC0-4F3354CAAB4A","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":"Q40311$D57E1310-9DDF-44E1-8BB9-CB8DC6791D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"914c9c33527696be944efdfa1211e2c8f38443d9","datavalue":{"value":{"entity-type":"item","numeric-id":18673,"id":"Q18673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$F3291FE1-66E0-4419-9D11-E9523C3E36FD","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":"Q40311$7B2ED3CB-2580-434D-8639-48F257134756","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2810014d9afc32aec8039ab9c00bbebe726f81b4","datavalue":{"value":"https://isa-afp.org/entries/Perron_Frobenius.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40311$DD6191FC-ACDC-43A2-AFB2-1AFB89669E51","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3ac7196df7cfbb13ec1a00e4eadbe8c75213209e","datavalue":{"value":"Jose Divas\u00f3n","type":"string"},"datatype":"string"},"type":"statement","id":"Q40311$3E611C83-E2CB-4621-AB95-8DD555EDDD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"f600fac1e146d3d5d9884f9ea84483e051cddbbf","datavalue":{"value":"Ond\u0159ej Kun\u010dar","type":"string"},"datatype":"string"},"type":"statement","id":"Q40311$91E6766C-DCC0-46BF-854A-72578BF450EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"3e961f1f2b2e533bd88ffdbcd178bd2ef2813f73","datavalue":{"value":"Ren\u00e9 Thiemann","type":"string"},"datatype":"string"},"type":"statement","id":"Q40311$860B5CFC-3265-40F0-8204-C1D3680AC248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"4e646f16cde9cfa1c19d0771a8f74ba7e8c772f6","datavalue":{"value":"Akihisa Yamada","type":"string"},"datatype":"string"},"type":"statement","id":"Q40311$1AE99292-FFE6-4130-A7B7-E4900D8BB5AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69cc222a82447d629439e55835691f361e6cc969","datavalue":{"value":"The spectral radius of a matrix A is the maximum norm of all eigenvalues of A. In previous work we already formalized that for a complex matrix A, the values in A n grow polynomially in n if and only if the spectral radius is at most one. One problem with the above characterization is the determination of all complex eigenvalues. In case A contains only non-negative real values, a simplification is possible with the help of the Perron\u2013Frobenius theorem, which tells us that it suffices to consider only the real eigenvalues of A, i.e., applying Sturm's method can decide the polynomial growth of A n . We formalize the Perron\u2013Frobenius theorem based on a proof via Brouwer's fixpoint theorem, which is available in the HOL multivariate analysis (HMA) library. Since the results on the spectral radius is based on matrices in the Jordan normal form (JNF) library, we further develop a connection which allows us to easily transfer theorems between HMA and JNF. With this connection we derive the combined result: if A is a non-negative real matrix, and no real eigenvalue of A is strictly larger than one, then A n is polynomially bounded in n.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40311$65B04416-C65C-4F4F-AEC7-1C430D3E9512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$B4B31749-DBA3-4E5A-BDE3-9E40B2352C57","rank":"normal"},{"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":"Q40311$9F24B7A6-0D11-4917-9ACD-C8C1F54D19C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f259479a384f8ecfe337d79512b22e03f359c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":5550483,"id":"Q5550483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$8F882468-2778-4475-86B7-CB73276E0911","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":"Q40311$0B41AC86-A5E7-4661-A2FE-5A15519F6530","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":"Q40311$17A5461C-4BA4-4B4D-96E7-167925B441D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094a19452f4a2cac731a8f91e8d3d9444cc1deea","datavalue":{"value":{"entity-type":"item","numeric-id":1491721,"id":"Q1491721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$E12CA4BE-F7FE-4744-8E41-9FF4D443E13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$508586D3-38DE-40C1-856F-06AD22D25744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5cab1513e2457c77b799379237c33e5461fd89","datavalue":{"value":{"entity-type":"item","numeric-id":2829259,"id":"Q2829259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$539D032E-8F82-4640-B0A9-9BE63894A4D9","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":"Q40311$B8725A5C-F924-4919-BE79-B0AB6B12180A","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":"Q40311$D73C88B1-A203-4087-9496-E6641ADC66F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36c2e18f41b2b9377b17a3da000b8b4c1215d883","datavalue":{"value":{"entity-type":"item","numeric-id":4779971,"id":"Q4779971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$B708D420-81D2-482C-8EE3-D493B4D903AF","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":"Q40311$993BDDDD-99D9-4D19-BE74-58C7625F7BD4","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"67e8a5ea879a7dc06c8ce830c1b61b9bb35cc48f","datavalue":{"value":{"entity-type":"item","numeric-id":7361432,"id":"Q7361432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$AE8D1F5D-1B3F-4A1C-964A-4F09B2C48619","rank":"normal"},{"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":"Q40311$6367354F-E84D-4F99-94C3-BCA2C55DCD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"a742c7e8ff41cac7f1c8f7dde8bbcf881157576c","datavalue":{"value":{"entity-type":"item","numeric-id":7361930,"id":"Q7361930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$6FFEDBA6-3678-4D46-A5CF-B2FE6A08D2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"902a200df68efe27ce065ea2c04682ea087ef202","datavalue":{"value":{"entity-type":"item","numeric-id":7361263,"id":"Q7361263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40311$46EC9476-85E4-4211-8B68-987A8727CEB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"206c3c6e81f9d9944e5def066a21d9c872111ac3","datavalue":{"value":{"time":"+2016-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40311$497D89A2-AD43-4F7D-8A87-29248097EE69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cfda767cfc92b3c6c52e5a1dee2a83a377ef91f","datavalue":{"value":{"text":"Perron-Frobenius Theorem for Spectral Radius Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40311$84702ADB-D568-4573-ACA7-52EB3CCE9848","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":"Q40311$2DC2FA28-2839-47CE-9CE2-87D06124E310","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":"Q40311$58CC0E35-9511-4812-AC8F-DE3FEEAE2BBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Perron Frobenius","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Perron_Frobenius"}}}}}