Source author record

Brian Lins

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
7topics
4close collaborators

Published work

10 publications

preprint2022arXiv

Convergence of iterates in nonlinear Perron-Frobenius theory

Let CC be a closed cone with nonempty interior C∘C^\circ in a Banach space. Let f:C∘→C∘f:C^\circ \rightarrow C^\circ be an order-preserving subhomogeneous function with a fixed point in C∘C^\circ. We introduce a condition which guarantees that the iterates fk(x)f^k(x) converge to a fixed point for all x∈C∘x \in C^\circ. This condition generalizes the notion of type K order-preserving for maps on R>0n\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 R>0n\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 DD be a bounded convex domain in C\mathbb{C} with a regular analytic boundary. Suppose that the numerical range W(A)W(A) of a bounded linear operator AA is contained in D‾\overline{D}. If W(A)‾\overline{W(A)} intersects the boundary ∂D\partial D at infinitely many points while the essential numerical range Wess(A)W_\text{ess}(A) does not intersect ∂D\partial D, then W(A)=D‾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)A(t) be a holomorphic family of self-adjoint operators of type (B) on a complex Hilbert space H\mathcal{H}. Kato-Rellich perturbation theory says that isolated eigenvalues of A(t)A(t) will be analytic functions of tt as long as they remain below the minimum of the essential spectrum of A(t)A(t). At a threshold value t0t_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(t0)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(t0)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)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→Vf : V \rightarrow V is a nonexpansive map on a finite dimensional normed space VV, then the fixed point set of ff is nonempty and bounded if and only if there exist w1,…,wmw_1, \ldots , w_m in VV such that {f(wi)−wi:i=1,…,m}\{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 nn-by-nn matrix AA, the numerical range F(A)F(A) is the range of the map fA(x)=x∗Axf_A(x) = x^*A x acting on the unit sphere in $\C^n$. We ask whether the multivalued inverse numerical range map fA−1f_A^{-1} has a continuous single-valued selection defined on all or part of F(A)F(A). We show that for a large class of matrices, fA−1f_A^{-1} does have a continuous selection on F(A)F(A). For other matrices, fA−1f_A^{-1} has a continuous selection defined everywhere on F(A)F(A) except in the vicinity of a finite number of exceptional points on the boundary of F(A)F(A).

preprint2015arXiv

Inverse continuity on the boundary of the numerical range

Let $A \in M_n(\C)$. We consider the mapping fA(x)=x∗Axf_A(x)=x^*Ax, defined on the unit sphere in $\C^n$. The map has a multi-valued inverse fA−1f_A^{-1}, and the continuity properties of fA−1f_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 fA−1f_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=4n=4 and a sufficient condition for n>4n>4.

preprint2013arXiv

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

For an nn-by-nn matrix AA, let fAf_A be its "field of values generating function" defined as fA ⁣:x↦x∗Axf_A\colon x\mapsto x^*Ax. We consider two natural versions of the continuity, which we call strong and weak, of fA−1f_A^{-1} (which is of course multi-valued) on the field of values F(A)F(A). The strong continuity holds, in particular, on the interior of F(A)F(A), and at such points z∈∂F(A)z \in \partial F(A) which are either corner points, belong to the relative interior of flat portions of ∂F(A)\partial F(A), or whose preimage under fAf_A is contained in a one-dimensional set. Consequently, fA−1f_A^{-1} is continuous in this sense on the whole F(A)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 fA−1f_A^{-1} fails at certain points of ∂F(A)\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 Rn\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⊂RnC \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 CC is polyhedral, we prove that the map ff 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\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−2n-2 and we conjecture that it is always n−2n-2 (as it is with Hadamard powering). We prove this conjecture when n<6n<6 and in certain other special cases. We establish a quadratic bound for the critical exponent in general.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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