Openness conjecture for extremal norms and characteristic words

About 17 years old · traced to

Let r,d∈Nr,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ωn⋯Aω1∥A<ϱ(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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.