Researcher profile

Brian Lins

Brian Lins contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
10works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

Convergence of iterates in nonlinear Perron-Frobenius theory

Let $C$ be a closed cone with nonempty interior $C^\circ$ in a Banach space. Let $f:C^\circ \rightarrow C^\circ$ be an order-preserving subhomogeneous function with a fixed point in $C^\circ$. We introduce a condition which guarantees that the iterates $f^k(x)$ converge to a fixed point for all $x \in C^\circ$. This condition generalizes the notion of type K order-preserving for maps on $\mathbb{R}^n_{>0}$. We also prove that when iterates converge to a fixed point, the rate of convergence is always R-linear in two special cases: for piecewise affine maps and also for order-preserving, homogeneous, analytic, multiplicatively convex functions on $\mathbb{R}^n_{>0}$. This later category includes the maps associated with the homogeneous eigenvalue problem for nonnegative tensors.

preprint2020arXiv

Numerical ranges encircled by analytic curves

Let $D$ be a bounded convex domain in $\mathbb{C}$ with a regular analytic boundary. Suppose that the numerical range $W(A)$ of a bounded linear operator $A$ is contained in $\overline{D}$. If $\overline{W(A)}$ intersects the boundary $\partial D$ at infinitely many points while the essential numerical range $W_\text{ess}(A)$ does not intersect $\partial D$, then $W(A) = \overline{D}$. This generalizes some infinite dimensional analogues of a result of Anderson.

preprint2020arXiv

The essential numerical range and a theorem of Simon on the absorption of eigenvalues

Let $A(t)$ be a holomorphic family of self-adjoint operators of type (B) on a complex Hilbert space $\mathcal{H}$. Kato-Rellich perturbation theory says that isolated eigenvalues of $A(t)$ will be analytic functions of $t$ as long as they remain below the minimum of the essential spectrum of $A(t)$. At a threshold value $t_0$ where one of these eigenvalue functions hits the essential spectrum, the corresponding point in the essential spectrum might or might not be an eigenvalue of $A(t_0)$. Our results generalize a theorem of Simon to give a sufficient condition for the minimum of the essential spectrum to be an eigenvalue of $A(t_0)$ based on the rate at which eigenvalues approach the essential spectrum. We also show that the rates at which the eigenvalues of $A(t)$ can approach the essential spectrum from below correspond to eigenvalues of a bounded self-adjoint operator. The key insight behind these results is the essential numerical range which was recently extended to unbounded operators by Bögli, Marletta, and Tretter.

preprint2016arXiv

Denjoy-Wolff theorems for Hilbert's and Thompson's metric spaces

We study the dynamics of fixed point free mappings on the interior of a normal, closed cone in a Banach space that are nonexpansive with respect to Hilbert's metric or Thompson's metric. We establish several Denjoy-Wolff type theorems that confirm conjectures by Karlsson and Nussbaum for an important class of nonexpansive mappings. We also extend and put into a broader perspective results by Gaubert and Vigeral concerning the linear escape rate of such nonexpansive mappings.

preprint2016arXiv

Detecting fixed points of nonexpansive maps by illuminating the unit ball

We give necessary and sufficient conditions for a nonexpansive map on a finite dimensional normed space to have a nonempty, bounded set of fixed points. Among other results we show that if $f : V \rightarrow V$ is a nonexpansive map on a finite dimensional normed space $V$, then the fixed point set of $f$ is nonempty and bounded if and only if there exist $w_1, \ldots , w_m$ in $V$ such that $\{f(w_i) - w_i : i = 1, \ldots, m \}$ illuminates the unit ball. This yields a numerical procedure for detecting fixed points of nonexpansive maps on finite dimensional spaces. We also discuss applications of this procedure to certain nonlinear eigenvalue problems arising in game theory and mathematical biology.

preprint2015arXiv

Continuous Selections of the Inverse Numerical Range Map

For a complex $n$-by-$n$ matrix $A$, the numerical range $F(A)$ is the range of the map $f_A(x) = x^*A x$ acting on the unit sphere in $\C^n$. We ask whether the multivalued inverse numerical range map $f_A^{-1}$ has a continuous single-valued selection defined on all or part of $F(A)$. We show that for a large class of matrices, $f_A^{-1}$ does have a continuous selection on $F(A)$. For other matrices, $f_A^{-1}$ has a continuous selection defined everywhere on $F(A)$ except in the vicinity of a finite number of exceptional points on the boundary of $F(A)$.

preprint2015arXiv

Inverse continuity on the boundary of the numerical range

Let $A \in M_n(\C)$. We consider the mapping $f_A(x)=x^*Ax$, defined on the unit sphere in $\C^n$. The map has a multi-valued inverse $f_A^{-1}$, and the continuity properties of $f_A^{-1}$ are considered in terms of the structure of the set of pre-images for points in the numerical range. It is shown that there may be only finitely many failures of continuity of $f_A^{-1}$, and conditions for where these failure occur are given. Additionally, we give a necessary and sufficient condition for weak inverse continuity to hold for $n=4$ and a sufficient condition for $n>4$.

preprint2013arXiv

Continuity properties of vectors realizing points in the classical field of values

For an $n$-by-$n$ matrix $A$, let $f_A$ be its "field of values generating function" defined as $f_A\colon x\mapsto x^*Ax$. We consider two natural versions of the continuity, which we call strong and weak, of $f_A^{-1}$ (which is of course multi-valued) on the field of values $F(A)$. The strong continuity holds, in particular, on the interior of $F(A)$, and at such points $z \in \partial F(A)$ which are either corner points, belong to the relative interior of flat portions of $\partial F(A)$, or whose preimage under $f_A$ is contained in a one-dimensional set. Consequently, $f_A^{-1}$ is continuous in this sense on the whole $F(A)$ for all normal, 2-by-2, and unitarily irreducible 3-by-3 matrices. Nevertheless, we show by example that the strong continuity of $f_A^{-1}$ fails at certain points of $\partial F(A)$ for some (unitarily reducible) 3-by-3 and (unitarily irreducible) 4-by-4 matrices. The weak continuity, in its turn, fails for some unitarily reducible 4-by-4 and untiarily irreducible 6-by-6 matrices.

preprint2012arXiv

Upper and lower bounds for the iterates of order-preserving homogeneous maps on cones

We define upper bound and lower bounds for order-preserving homogeneous of degree one maps on a proper closed cone in $\R^n$ in terms of the cone spectral radius. We also define weak upper and lower bounds for these maps. For a proper closed cone $C \subset \R^n$, we prove that any order-preserving homogeneous of degree one map $f: \inter C \rightarrow \inter C$ has a lower bound. If $C$ is polyhedral, we prove that the map $f$ has a weak upper bound. We give examples of weak upper bounds for certain order-preserving homogeneous of degree one maps defined on the interior of $\R^n_+$.

preprint2010arXiv

The critical exponent for continuous conventional powers of doubly nonnegative matrices

We prove that there exists an exponent beyond which all continuous conventional powers of n-by-n doubly nonnegative matrices are doubly nonnegative. We show that this critical exponent cannot be less than $n-2$ and we conjecture that it is always $n-2$ (as it is with Hadamard powering). We prove this conjecture when $n<6$ and in certain other special cases. We establish a quadratic bound for the critical exponent in general.