BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Esteban Andruchow

Esteban Andruchow contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAmath.OAmath.DGmath.GRmath.MG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

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

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

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

8 published item(s)

preprint2022arXiv

The set of partial isometries as a quotient Finsler space

A known general program, designed to endow the quotient space ${\cal U}_{\cal A} / {\cal U}_{\cal B}$ of the unitary groups ${\cal U}_{\cal A}$, ${\cal U}_{\cal B}$ of the C$^*$ algebras ${\cal B}\subset{\cal A}$ with an invariant Finsler metric, is applied to obtain a metric for the space ${\cal I}({\cal H})$ of partial isometries of a Hilbert space ${\cal H}$. ${\cal I}({\cal H})$ is a quotient of the unitary group of ${\cal B}({\cal H})\times{\cal B}({\cal H})$, where ${\cal B}({\cal H})$ is the algebra of bounded linear operators in ${\cal H}$. Under this program, the solution of a linear best approximation problem leads to the computation of minimal geodesics in the quotient space. We find solutions of this best approximation problem, and study properties of the minimal geodesics obtained.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A note on geodesics of projections in the Calkin algebra

Let ${\cal C}({\cal H})={\cal B}({\cal H}) / {\cal K}({\cal H})$ be the Calkin algebra (${\cal B}({\cal H})$ the algebra of bounded operators on the Hilbert space ${\cal H}$, ${\cal K}({\cal H})$ the ideal of compact operators and $π:{\cal B}({\cal H})\to {\cal C}({\cal H})$ the quotient map), and ${\cal P}_{{\cal C}({\cal H})}$ the differentiable manifold of selfadjoint projections in ${\cal C}({\cal H})$. A projection $p$ in ${\cal C}({\cal H})$ can be lifted to a projection $P\in{\cal B}({\cal H})$: $π(P)=p$. We show that given $p,q \in {\cal P}_{{\cal C}({\cal H})}$, there exists a minimal geodesic of ${\cal P}_{{\cal C}({\cal H})}$ which joins $p$ and $q$ if and only there exist lifting projections $P$ and $Q$ such that either both $N(P-Q\pm 1)$ are finite dimensional, or both infinite dimensional. The minimal geodesic is unique if $p+q- 1$ has trivial anhihilator. Here the assertion that a geodesic is minimal means that it is shorter than any other piecewise smooth curve $γ(t) \in {\cal P}_{{\cal C}({\cal H})}$, $t \in I$, joining the same endpoints, where the length of $γ$ is measured by $\int_I \|\dotγ(t)\| d t$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Proper subspaces and compatibility

Let $\mathcal{E}$ be a Banach space contained in a Hilbert space $\mathcal{L}$. Assume that the inclusion is continuous with dense range. Following the terminology of Gohberg and Zambicki\vı, we say that a bounded operator on $\mathcal{E}$ is a proper operator if it admits an adjoint with respect to the inner product of $\mathcal{L}$. By a proper subspace $\mathcal{S}$ we mean a closed subspace of $\mathcal{E}$ which is the range of a proper projection. If there exists a proper projection which is also self-adjoint with respect to the inner product of $\mathcal{L}$, then $\mathcal{S}$ belongs to a well-known class of subspaces called compatible subspaces. We find equivalent conditions to describe proper subspaces. Then we prove a necessary and sufficient condition to ensure that a proper subspace is compatible. Each proper subspace $\mathcal{S}$ has a supplement $\mathcal{T}$ which is also a proper subspace. We give a characterization of the compatibility of both subspaces $\mathcal{S}$ and $\mathcal{T}$. Several examples are provided that illustrate different situations between proper and compatible subspaces.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The group of L^2 isometries on H^1_0

Let U be an open subset of R^n. Let L^2=L^2(U,dx) and H^1_0=H^1_0(U) be the standard Lebesgue and Sobolev spaces of complex-valued functions. The aim of this paper is to study the group G of invertible operators on H^1_0 which preserve the L^2-inner product. When U is bounded and the border $\partial U$ is smooth, this group acts as the intertwiner of the H^1_0 solutions of the non-homogeneous Helmholtz equation $u-Δu=f$, $u|_{\partial U}=0$. We show that G is a real Banach-Lie group, whose Lie algebra is (i times) the space of symmetrizable operators. We discuss the spectrum of operators belonging to G by means of examples. In particular, we give an example of an operator in G whose spectrum is not contained in the unit circle. We also study the one parameter subgroups of G. Curves of minimal length in G are considered. We introduce the subgroups G_p:=G \cap (I - B_p(H^1_0)), where B_p(H_0^1) is a Schatten ideal of operators on H_0^1. An invariant (weak) Finsler metric is defined by the p-norm of the Schatten ideal of operators of L^2. We prove that any pair of operators g_1,g_2 in G_p can be joined by a minimal curve of the form $a(t)=g_1 e^{itX}$, where X is a symmetrizable operator in B_p(H^1_0).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Smooth paths of conditional expectations

Let A be a von Neumann algebra with a finite trace $τ$, represented in $H=L^2(A,τ)$, and let $B_t\subset A$ be sub-algebras, for $t$ in an interval $I$. Let $E_t:A\to B_t$ be the unique $τ$-preserving conditional expectation. We say that the path $t\mapsto E_t$ is smooth if for every $a\in A$ and $v \in H$, the map $$ I\ni t\mapsto E_t(a)v\in H $$ is continuously differentiable. This condition implies the existence of the derivative operator $$ dE_t(a):H\to H, \ dE_t(a)v=\frac{d}{dt}E_t(a)v. $$ If this operator verifies the additional boundedness condition, $$ \int_J \|dE_t(a)\|_2^2 d t\le C_J\|a\|_2^2, $$ for any closed bounded sub-interval $J\subset I$, and $C_J>0$ a constant depending only on $J$, then the algebras $B_t$ are *-isomorphic. More precisely, there exists a curve $G_t:A\to A$, $t\in I$ of unital, *-preserving linear isomorphisms which intertwine the expectations, $$ G_t\circ E_0=E_t\circ G_t. $$ The curve $G_t$ is weakly continuously differentiable. Moreover, the intertwining property in particular implies that $G_t$ maps $B_0$ onto $B_t$. We show that this restriction is a multiplicative isomorphism.

0 citations0 reviewsNo code linkedOpen access