The finite-step realizability of the joint spectral radius of a pair of d×d matrices one of which being rank-one

We study the finite-step realizability of the joint/generalized spectral radius of a pair of real square matrices ${\mathrm{S}}_1$ and ${\mathrm{S}}_2$, one of which has rank 1, where $2?d<+\infty$. Let $\rho (A)$ denote the spectral radius of a square matrix A. Then we prove that there always exists a finite-length word $(i_1^1\text{,}\dots \text{,}{i}_m^1)\in \{1\text{,}2{\}}^m$, for some finite $m?1$, such that$\sqrt[m]{\rho \left({\mathrm{S}}_{i_1^1}?{\mathrm{S}}_{i_m^1}\right)}={\sup }_{n?1}\left\{{\displaystyle \underset{(i_1\text{,}\dots \text{,}{i}_n)\in \{1\text{,}2{\}}^n}{\max }}\sqrt[n]{\rho ({\mathrm{S}}_{i_1}?{\mathrm{S}}_{i_n})}\right\}\text{.}$In other words, there holds the spectral finiteness property for $\{{\mathrm{S}}_1\text{,}{\mathrm{S}}_2\}$. Explicit formula for computation of the joint spectral radius is derived. This implies that the stability of the switched system induced by $\{{\mathrm{S}}_1\text{,}{\mathrm{S}}_2\}$ is algorithmically decidable in this case.     

A satellite of the grand Furuta inequality and its application

The grand Furuta inequality has the following satellite (SGF;$t\in [0\text{,}1]$), given as a mean theoretic expression:$A?B>0\text{,}t\in [0\text{,}1]?A^{-r+t}{\#}_{\frac{1-t+r}{(p-t)s+r}}(A^t{?}_s{B}^p)?B\text{for}r?t\text{;}p\text{,}s?1\text{,}$where ${\#}_{\alpha }$ is the $\alpha$-geometric mean and ${?}_s$ ($s?[0\text{,}1]$) is a formal extension of ${\#}_{\alpha }$. It is shown that (SGF; $t\in [0\text{,}1]$) has the Löwner–Heinz property, i.e. (SGF; $t=1$) implies (SGF;t) for every $t\in [0\text{,}1]$. Furthermore, we show that a recent further extension of (GFI) by Furuta himself has also the Löwner–Heinz property.     

Matrix completion problems over integral domains: The case with a diagonal of prescribed blocks

Let $\mathfrak{R}$ be an arbitrary integral domain, let $\wedge =\{{\lambda }_1\text{,}\dots \text{,}{\lambda }_n\}$ be a multiset of elements of $\mathfrak{R}$, let $\sigma$ be a permutation of $\{1\text{,}\dots \text{,}k\}$ let $n_1\text{,}\dots \text{,}{n}_k$ be positive integers such that $n_1+?+n_k=n$, and for $r=1\text{,}\dots \text{,}k$ let $A_r\in {\mathfrak{R}}^{n_r\times n_{\sigma (r)}}$. We are interested in the problem of finding a block matrix $Q={\left[Q_{\mathit{rs}}\right]}_{r\text{,}s=1}^k\in {\mathfrak{R}}^{n\times n}$ with spectrum $\mathrm{\Lambda }$ and such that $Q_{r\sigma (r)}=A_r$ for $r=1\text{,}\dots \text{,}k$. Cravo and Silva completely characterized the existence of such a matrix when $\mathfrak{R}$ is a field. In this work we construct a solution matrix $Q$ that solves the problem when $\mathfrak{R}$ is an integral domain with two exceptions: (i) $k=2$; (ii) $k\ge 3$, $\sigma (r)=r$ and $n_r>n/2$ for some $r$.What makes this work quite unique in this area is that we consider the problem over the more general algebraic structure of integral domains, which includes the important case of integers. Furthermore, we provide an explicit and easy to implement finite step algorithm that constructs an specific solution matrix (we point out that Cravo and Silva’s proof is not constructive).