Researcher profile

Alejandro Varela

Alejandro Varela contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.FA math.OA math.DG math.MG math.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

8works

0followers

5topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

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.

preprint2020arXiv

Grassmann geometry of zero sets in reproducing kernel Hilbert spaces

Let $\mathcal{H}$ be a reproducing kernel Hilbert space of functions on a set $X$. We study the problem of finding a minimal geodesic of the Grassmann manifold of $\mathcal{H}$ that joins two subspaces consisting of functions which vanish on given finite subsets of $X$. We establish a necessary and sufficient condition for existence and uniqueness of geodesics, and we then analyze it in examples. We discuss the relation of the geodesic distance with other known metrics when the mentioned finite subsets are singletons. We find estimates on the upper and lower eigenvalues of the unique self-adjoint operators which define the minimal geodesics, which can be made more precise when the underlying space is the Hardy space. Also for the Hardy space we discuss the existence of geodesics joining subspaces of functions vanishing on infinite subsets of the disk, and we investigate when the product of projections onto this type of subspaces is compact.

preprint2014arXiv

Inequalities related to Bourin and Heinz means with a complex parameter

A conjecture posed by S. Hayajneh and F. Kittaneh claims that given $A,B$ positive matrices, $0\le t\le 1$, and any unitarily invariant norm it holds $|||A^tB^{1-t}+B^tA^{1-t}|||\le|||A^tB^{1-t}+A^{1-t}B^t|||$. Recently, R. Bhatia proved the inequality for the case of the Frobenius norm and for $t\in [1/4;3/4]$. In this paper, using complex methods we extend this result to complex values of the parameter $t=z$ in the strip $\{z \in {\mathbb C}: Re(z) \in [1/4;3/4]\}$. We give an elementary proof of the fact that equality holds for some $z$ in the strip if and only if $A$ and $B$ commute. We also show a counterexample to the general conjecture by exhibiting a pair of positive matrices such that the claim does not hold for the uniform norm. Finally, we give a counterexample for a related singular value inequality given by $s_j(A^tB^{1-t}+B^tA^{1-t})\le s_j(A+B)$, answering in the negative a question made by K. Audenaert and F. Kittaneh.

preprint2013arXiv

Best approximation by diagonal compact operators

We study the existence and characterization properties of compact Hermitian operators C on a separable Hilbert space H such that ||C|| is less or equal than || C + D ||, for all D in D(K(H)). This property is equivalent to || C || = min{||C+D||: D in D(K(H))} = dist (C,D(K(H))), where D(K(H)) denotes the space of compact diagonal operators in a fixed base of H and ||.|| is the operator norm. We also exhibit a positive trace class operator that fails to attain the minimum in a compact diagonal.

preprint2011arXiv

A characterization of Hermitian matrices with variable diagonal and smallest operator norm

We describe properties of a Hermitian square matrix M in M_n(C) equivalent to that of having minimal quotient norm in the following sense: ||M|| <= ||M+D|| for all real diagonal matrices D in M_n(C) and || || the operator norm. These matrices are related to some particular positive matrices with their range included in the eigenspaces of the eigenvalues +||M|| and -||M|| of M. We show how a constructive method can be used to obtain minimal matrices of any dimension relating this problem with majorization results in R^n.

preprint2011arXiv

Optimal paths for symmetric actions in the unitary group

Given a positive and unitarily invariant Lagrangian L defined in the algebra of Hermitian matrices, and a fixed interval $[a,b]\subset\mathbb R$, we study the action defined in the Lie group of $n\times n$ unitary matrices $\mathcal{U}(n)$ by $$ S(α)=\int_a^b L(\dotα(t))\,dt\,, $$ where $α:[a,b]\to\mathcal{U}(n)$ is a rectifiable curve. We prove that the one-parameter subgroups of $\mathcal{U}(n)$ are the optimal paths, provided the spectrum of the exponent is bounded by $π$. Moreover, if L is strictly convex, we prove that one-parameter subgroups are the unique optimal curves joining given endpoints. Finally, we also study the connection of these results with unitarily invariant metrics in $\mathcal{U}(n)$ as well as angular metrics in the Grassmann manifold

preprint2011arXiv

Short paths for symmetric norms in the unitary group

For a given symmetrically normed ideal I on an infinite dimensional Hilbert space H, we study the rectifiable distance in the classical Banach-Lie unitary group $$ U_I={u is a unitary operator in H, u-1\in I}. $$ We prove that one-parameter subgroups of U_I are short paths, provided the spectrum of the exponent is bounded by $π$, and that any two elements of U_I can be joined with a short path, thus obtaining a Hopf-Rinow theorem in this infinite dimensional setting, for a wide and relevant class of (non necessarily smooth) metrics. Then we prove that the one-parameter groups are the unique short paths joining given endpoints, provided the symmetric norm considered is strictly convex.

preprint2011arXiv

The left invariant metric in the general linear group

Left invariant metrics induced by the p-norms of the trace in the matrix algebra are studied on the general lineal group. By means of the Euler-Lagrange equations, existence and uniqueness of extremal paths for the length functional are established, and regularity properties of these extremal paths are obtained. Minimizing paths in the group are shown to have a velocity with constant singular values and multiplicity. In several special cases, these geodesic paths are computed explicitly. In particular the Riemannian geodesics, corresponding to the case p=2, are characterized as the product of two one-parameter groups. It is also shown that geodesics are one-parameter groups if and only if the initial velocity is a normal matrix. These results are further extended to the context of compact operators with p-summable spectrum, where a differential equation for the spectral projections of the velocity vector of an extremal path is obtained.

preprint2011arXiv

Thompson-type formulae

Let X and Y be two nxn Hermitian matrices. In the article "Proof of a conjectured exponential formula" (Linear and Multilinear Algebra (19) 1986, 187-197) R. C. Thompson proved that there exist two nxn unitary matrices U and V such that $$ e^{i X}e^{i Y}=e^{i (UXU^*+VBV^*)}. $$ In this note we consider extensions of this result to compact operators as well as to operators in an embeddable II$_1$ factor.

Alejandro Varela

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

8 published item(s)

Grassmann geometry of zero sets in reproducing kernel Hilbert spaces

Inequalities related to Bourin and Heinz means with a complex parameter

Best approximation by diagonal compact operators

A characterization of Hermitian matrices with variable diagonal and smallest operator norm

Optimal paths for symmetric actions in the unitary group

Short paths for symmetric norms in the unitary group

The left invariant metric in the general linear group

Thompson-type formulae