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

Gabriel Larotonda

Gabriel Larotonda 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
10works
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

10 published item(s)

preprint2015arXiv

Young's (in)equality for compact operators

If $a,b$ are $n\times n$ matrices, Ando proved that Young's inequality is valid for their singular values: if $p>1$ and $1/p+1/q=1$, then $$ λ_k|ab^*|\le λ_k( \frac1p |a|^p+\frac 1q |b|^q ) \, \textit{ for all }k. $$ Later, this result was extended for the singular values of a pair of compact operators acting on a Hilbert space by Erlijman, Farenick and Zeng. In this paper we prove that if $a,b$ are compact operators, then equality holds in Young's inequality if and only if $|a|^p=|b|^q$, obtaining a complete characterization of such $a,b$ in relation to other (operator norm) Young inequalities.

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

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

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

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

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
preprint2008arXiv

Manifolds of semi-negative curvature

The notion of nonpositive curvature in Alexandrov&#39;s sense is extended to include p-uniformly convex Banach spaces. Infinite dimensional manifolds of semi-negative curvature with a p-uniformly convex tangent norm fall in this class on nonpositively curved spaces, and several well-known results, such as existence and uniqueness of best approximations from convex closed sets, or the Bruhat-Tits fixed point theorem, are shown to hold in this setting, without dimension restrictions. Homogeneous spaces G/K of Banach-Lie groups of semi-negative curvature are also studied, explicit estimates on the geodesic distance and sectional curvature are obtained. A characterization of convex homogeneous submanifolds is given in terms of the Banach-Lie algebras. A splitting theorem via convex expansive submanifolds is proven, inducing the corresponding splitting of the Banach-Lie group G. Finally, these notions are used to study the structure of the classical Banach-Lie groups of bounded linear operators acting on a Hilbert space, and the splittings induced by conditional expectations in such setting.

0 citations0 reviewsNo code linkedOpen access