The finite-step realizability of the joint spectral radius of a pair of \(d \times d\) matrices one of which being rank-one (Q445812): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Jun Liu / rank | |||
Property / author | |||
Property / author: Mingqing Xiao / rank | |||
Property / author | |||
Property / author: Jun Liu / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Mingqing Xiao / rank | |||
Normal rank | |||
Property / review text | |||
Let \(\mathbf{S}=\{S_1,\dots,S_K\}\subset\mathbb{R}^{d\times d}\), \(d,K\geq 2\), let \(\rho(A)\) denote the spectral radius of \(A\in\mathbb{R}^{d\times d}\), and denote \(\mathbb{K}=\{1,\dots,K\}\). The (generalized) spectral radius of~\(\mathbf{S}\) is defined by \[ \rho(\mathbf{S})=\limsup_{n\to\infty}\max_{(i_1,\dots,i_n)\in\mathbb{K}^n}\rho(S_{i_1}\cdots S_{i_n})^\frac{1}{n}. \] Motivated by \(\rho(A)=\rho(A^m)^\frac{1}{m}\) for all \(m\geq 1\), the spectral finiteness property (''sfp'' in the sequel) of~\(\mathbf{S}\) is defined as follows: There exists \((i_1^*,\dots,i_m^*)\in\mathbb{K}^m\) for some \(m\geq 1\) such that \[ \rho(\mathbf{S})=\rho(S_{i_1^*}\cdots S_{i_m^*})^\frac{1}{m}. \] Several authors disproved the conjecture that every~\(\mathbf{S}\) has the sfp. Finally \textit{K.~G.~Hare}, \textit{I.~D.~Morris}, \textit{N.~Sidorov} and \textit{J.~Theys} [Adv. Math.~226, 4667--4701 (2011; Zbl 1218.15005)] gave an explicit counterexample. \smallskip The present authors prove that if \(K=2\) and \(\mathrm{rank}\,S_1=1\) or \(\mathrm{rank}\,S_2=1\), then \(\mathbf{S}\) has the sfp. They also prove that under these assumptions \[ \rho(\mathbf{S})=\max_{l,m\in\mathbb{Z}_+}\rho(S_1^lS_2^m)^\frac{1}{l+m}, \] where \(\mathbb{Z}_+=\{0,1,2,\dots\}\). So the stability of the switched system induced by \(\{S_1,S_2\}\) is algorithmically decidable in this case. | |||
Property / review text: Let \(\mathbf{S}=\{S_1,\dots,S_K\}\subset\mathbb{R}^{d\times d}\), \(d,K\geq 2\), let \(\rho(A)\) denote the spectral radius of \(A\in\mathbb{R}^{d\times d}\), and denote \(\mathbb{K}=\{1,\dots,K\}\). The (generalized) spectral radius of~\(\mathbf{S}\) is defined by \[ \rho(\mathbf{S})=\limsup_{n\to\infty}\max_{(i_1,\dots,i_n)\in\mathbb{K}^n}\rho(S_{i_1}\cdots S_{i_n})^\frac{1}{n}. \] Motivated by \(\rho(A)=\rho(A^m)^\frac{1}{m}\) for all \(m\geq 1\), the spectral finiteness property (''sfp'' in the sequel) of~\(\mathbf{S}\) is defined as follows: There exists \((i_1^*,\dots,i_m^*)\in\mathbb{K}^m\) for some \(m\geq 1\) such that \[ \rho(\mathbf{S})=\rho(S_{i_1^*}\cdots S_{i_m^*})^\frac{1}{m}. \] Several authors disproved the conjecture that every~\(\mathbf{S}\) has the sfp. Finally \textit{K.~G.~Hare}, \textit{I.~D.~Morris}, \textit{N.~Sidorov} and \textit{J.~Theys} [Adv. Math.~226, 4667--4701 (2011; Zbl 1218.15005)] gave an explicit counterexample. \smallskip The present authors prove that if \(K=2\) and \(\mathrm{rank}\,S_1=1\) or \(\mathrm{rank}\,S_2=1\), then \(\mathbf{S}\) has the sfp. They also prove that under these assumptions \[ \rho(\mathbf{S})=\max_{l,m\in\mathbb{Z}_+}\rho(S_1^lS_2^m)^\frac{1}{l+m}, \] where \(\mathbb{Z}_+=\{0,1,2,\dots\}\). So the stability of the switched system induced by \(\{S_1,S_2\}\) is algorithmically decidable in this case. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A18 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 93D20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6072613 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
joint spectral radius | |||
Property / zbMATH Keywords: joint spectral radius / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
generalized spectral radius | |||
Property / zbMATH Keywords: generalized spectral radius / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
spectral finiteness property | |||
Property / zbMATH Keywords: spectral finiteness property / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
exponential stability | |||
Property / zbMATH Keywords: exponential stability / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jorma Kaarlo Merikoski / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.laa.2012.04.053 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963712539 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lyapunov indicator of discrete inclusions. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounded semigroups of matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Complexity of Computing the Capacity of Codes That Avoid Forbidden Difference Patterns / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Elementary Counterexample to the Finiteness Conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inequalities for numerical invariants of sets of matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterization of joint spectral radius via trace / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finiteness property of pairs of \(2\times 2\) sign-matrices via real extremal polytope norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extremal and Barabanov semi-norms of a semigroup generated by a bounded family of matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weakly Birkhoff recurrent switching signals, almost sure and partial stability of linear switched dynamical systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Gel'fand-type spectral radius formula and stability of linear constrained switching systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Criteria of Stabilizability for Switching-Control Systems with Solvable Linear Approximations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Periodically switched stability induces exponential stability of discrete-time linear switched systems in the sense of Markovian probabilities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Realization of joint spectral radius via ergodic theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sets of matrices all infinite products of which converge / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The generalized spectral-radius theorem: An analytic-geometric proof / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5658861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing the joint spectral radius / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complex Polytope Extremality Results for Families of Matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the zero-stability of variable stepsize multistep methods: The spectral radius approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the asymptotic properties of a family of matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algorithm for finding extremal polytope norms of matrix families / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finding Extremal Complex Polytope Norms for Families of Real Matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stability of discrete linear inclusion / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An explicit counterexample to the Lagarias-Wang finiteness conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the finiteness property for rational matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Counterexamples to the Complex Polytope Extremality Conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Structure of extremal trajectories of discrete linear systems and the finiteness conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The finiteness conjecture for the generalized spectral radius of a set of matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stability of switched systems: a Lie-algebraic condition / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An efficient lower bound for the generalized spectral radius of a set of matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Criteria for the stability of the finiteness property and for the uniqueness of Barabanov norms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duality results for the joint spectral radius and transient behavior / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Periodic motion and tests for absolute stability of nonlinear nonstationary systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3272731 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic stability and generalized Gelfand spectral radius formula / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stability Criteria for Switched and Hybrid Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The generalized spectral radius and extremal norms / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:09, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The finite-step realizability of the joint spectral radius of a pair of \(d \times d\) matrices one of which being rank-one |
scientific article |
Statements
The finite-step realizability of the joint spectral radius of a pair of \(d \times d\) matrices one of which being rank-one (English)
0 references
27 August 2012
0 references
Let \(\mathbf{S}=\{S_1,\dots,S_K\}\subset\mathbb{R}^{d\times d}\), \(d,K\geq 2\), let \(\rho(A)\) denote the spectral radius of \(A\in\mathbb{R}^{d\times d}\), and denote \(\mathbb{K}=\{1,\dots,K\}\). The (generalized) spectral radius of~\(\mathbf{S}\) is defined by \[ \rho(\mathbf{S})=\limsup_{n\to\infty}\max_{(i_1,\dots,i_n)\in\mathbb{K}^n}\rho(S_{i_1}\cdots S_{i_n})^\frac{1}{n}. \] Motivated by \(\rho(A)=\rho(A^m)^\frac{1}{m}\) for all \(m\geq 1\), the spectral finiteness property (''sfp'' in the sequel) of~\(\mathbf{S}\) is defined as follows: There exists \((i_1^*,\dots,i_m^*)\in\mathbb{K}^m\) for some \(m\geq 1\) such that \[ \rho(\mathbf{S})=\rho(S_{i_1^*}\cdots S_{i_m^*})^\frac{1}{m}. \] Several authors disproved the conjecture that every~\(\mathbf{S}\) has the sfp. Finally \textit{K.~G.~Hare}, \textit{I.~D.~Morris}, \textit{N.~Sidorov} and \textit{J.~Theys} [Adv. Math.~226, 4667--4701 (2011; Zbl 1218.15005)] gave an explicit counterexample. \smallskip The present authors prove that if \(K=2\) and \(\mathrm{rank}\,S_1=1\) or \(\mathrm{rank}\,S_2=1\), then \(\mathbf{S}\) has the sfp. They also prove that under these assumptions \[ \rho(\mathbf{S})=\max_{l,m\in\mathbb{Z}_+}\rho(S_1^lS_2^m)^\frac{1}{l+m}, \] where \(\mathbb{Z}_+=\{0,1,2,\dots\}\). So the stability of the switched system induced by \(\{S_1,S_2\}\) is algorithmically decidable in this case.
0 references
joint spectral radius
0 references
generalized spectral radius
0 references
spectral finiteness property
0 references
exponential stability
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references