arXiv ScienceSearch

arXiv · 1903.05183

Singularities of Base Polynomials and Gau-Wu Numbers

Abstract

In 2013, Gau and Wu introduced a unitary invariant, denoted by $k(A)$, of an $n\times n$ matrix $A$, which counts the maximal number of orthonormal vectors $\textbf x_j$ such that the scalar products $\langle A\textbf x_j,\textbf x_j\rangle$ lie on the boundary of the numerical range $W(A)$. We refer to $k(A)$ as the Gau--Wu number of the matrix $A$. In this paper we take an algebraic geometric approach and consider the effect of the singularities of the base curve, whose dual is the boundary generating curve, to classify $k(A)$. This continues the work of Wang and Wu classifying the Gau-Wu numbers for $3\times 3$ matrices. Our focus on singularities is inspired by Chien and Nakazato, who classified $W(A)$ for $4\times 4$ unitarily irreducible $A$ with irreducible base curve according to singularities of that curve. When $A$ is a unitarily irreducible $n\times n$ matrix, we give necessary conditions for $k(A) = 2$, characterize $k(A) = n$, and apply these results to the case of unitarily irreducible $4\times 4$ matrices. However, we show that knowledge of the singularities is not sufficient to determine $k(A)$ by giving examples of unitarily irreducible matrices whose base curves have the same types of singularities but different $k(A)$. In addition, we extend Chien and Nakazato's classification to consider unitarily irreducible $A$ with reducible base curve and show that we can find corresponding matrices with identical base curve but different $k(A)$. Finally, we use the recently-proved Lax Conjecture to give a new proof of a theorem of Helton and Spitkovsky, generalizing their result in the process.

Explore related subjects

Keep this discovery

BibTeXRIS

Kristin A. Camenga, Louis Deaett, Patrick X. Rault, Tsvetanka Sendova, Ilya M. Spitkovsky, Rebekah B. Johnson Yates. 2019-03-12. Singularities of Base Polynomials and Gau-Wu Numbers. https://arxiv.org/abs/1903.05183

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Typical dynamical properties of operators on $\ell_p$

We investigate the typical dynamical properties of hypercyclic operators in $\mathcal{L}_M(X)$, the set of all bounded linear operators on $X$ whose norms are at most $M$, when $X=\ell_p$, $1< p<\infty$. We show that, with respect to SOT$^*$, a typical operator $T\in \mathcal{L}_M(X)$ is weakly mixing, is weakly disjoint from a given hypercyclic operator $S$, is not topologically ergodic, and satisfies $(T,T^2,\dotsc,T^k)$ is disjoint hypercyclic for any $k\geq 2$. We also study the typical dynamical properties for the concrete family $\mathcal{M}=\{I+B_w\in \mathcal{L}(X)\colon w\in c_0(\mathbb{Z})\}$, endowed with the norm topology, where $B_w$ is a bilateral weighted backward shift.

math.FA

A bi-Lipschitz characterization of strong minimum-attainment for Lipschitz maps

We completely characterize the denseness of strongly minimum-attaining Lipschitz functions, a minimum analogue for strongly norm-attaining Lipschitz functions, in terms of bi-Lipschitz embeddings. More precisely, our main result shows that the set of strongly minimum-attaining Lipschitz functions defined on a complete metric space $M$ fails the denseness if and only if $M$ is bi-Lipschitz equivalent to a subset of $\mathbb{R}$ with positive Lebesgue measure, or equivalently, if $M$ admits a bi-Lipschitz embedding into $\mathbb{R}$ and $M$ has positive 1-dimensional Hausdorff measure. As a consequence, we provide an isometric characterization of the pure 1-unrectifiability of $M$ in terms of strongly minimum-attaining Lipschitz maps defined on bi-Lipschitz copies of closed subsets of $M$. Several counterexamples showing that the main result cannot be naturally extended to the vector-valued setting are also presented.

math.FA

On weak dominance of t-conorms over t-norms

The weak dominance of aggregation operators, particularly between triangular norms (t-norms) and triangular conorms (t-conorms), has attracted considerable attention in aggregation operator theory. While several characterizations have been obtained for Archimedean and continuous cases, a general criterion for continuous t-conorms over continuous t-norms remains to be fully clarified. In this paper, we provide a complete characterization of a continuous t-conorm weakly dominating a continuous t-norm. We first reduce the problem for ordinal sum operators to that for their single Archimedean components, and then express the weak dominance condition entirely in terms of the additive generators of these components. Our approach covers both strict and nilpotent cases uniformly, and recovers the known results for Archimedean operators as a special case.

math.FA