Year: 2025
Type: preprint
Abstract: The invariant polytope algorithm was a breakthrough in the joint spectral radius computation, allowing to find the exact value of the joint spectral radius for most matrix families~\cite{GP2013,GP2016}. This algorithm found many applications in problems of functional analysis, approximation theory, combinatorics, etc. In this paper we propose a modification of the invariant polytope algorithm enlarging the class of problems to which it is applicable. Precisely, we introduce mixed numeric and symbolic computations. A further minor modification of augmenting the input set with additional matrices speeds up the algorithm in certain cases. With this modifications we are able to automatically prove the finiteness conjecture for all pairs of binary $3\times 3$ matrices and sign $2\times 2$ matrices.
Source: arXiv (Cornell University)
Author: Mejstrik, Thomas
Language: English
Topic: Matrix Theory and Algorithms
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4415199750
Cites:
Cited by:
Related to: