Openness conjecture for extremal norms and characteristic words

From papers

Let r,dNr,d \in \mathbb{N}, let Ir(Kd)\mathcal{I}_r(\mathbb{K}^d) be the ambient class of rr-tuples under consideration, and let Ωrn\Omega_r^n denote the words of length nn. For ω^Ωrn\hat \omega \in \Omega_r^n, define Uω^Ir(Kd)\mathcal{U}_{\hat\omega} \subset \mathcal{I}_r(\mathbb{K}^d) to be the set of all rr-tuples A=(A1,,Ar)\mathcal{A}=(A_1,\ldots,A_r) for which there exists an extremal norm A|\cdot|_{\mathcal{A}} satisfying

AωnAω1A<ϱ(A)n\|A_{\omega_n}\cdots A_{\omega_1}\|_{\mathcal{A}}<\varrho(\mathcal{A})^n

whenever ω^(ω1,,ωn)\hat\omega \nsim (\omega_1,\ldots,\omega_n). Openness conjecture. The set Uω^\mathcal{U}_{\hat\omega} is an open subset of Ir(Kd)\mathcal{I}_r(\mathbb{K}^d). This proposed generalisation would make a condition involving extremal norms and characteristic words more broadly useful, but the supplied source gives no resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Ian D. Morris, “Criteria for the stability of the finiteness property and for the uniqueness of Barabanov norms”, arXiv:0909.2800 (2009).

Solutions 0

No solutions have been posted yet.