BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Tamás Titkos contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The aim of this paper is to prove that the $p$-Wasserstein space $\mathcal{W}_p(X)$ is isometrically rigid for all $p\geq 1$ whenever $X$ is a countable graph metric space. As a consequence, we obtain that for every countable group $H$ and any $p\geq 1$ there exists a $p$-Wasserstein space whose isometry group is isomorphic to $H$.
Recently Kloeckner described the structure of the isometry group of the quadratic Wasserstein space $\mathcal{W}_2\left(\mathbb{R}^n\right)$. It turned out that the case of the real line is exceptional in the sense that there exists an exotic isometry flow. Following this line of investigation, we compute $\mathrm{Isom}\left(\mathcal{W}_p(\mathbb{R})\right)$, the isometry group of the Wasserstein space $\mathcal{W}_p(\mathbb{R})$ for all $p \in [1, \infty)\setminus\{2\}$. We show that $\mathcal{W}_2(\mathbb{R})$ is also exceptional regarding the parameter $p$: $\mathcal{W}_p(\mathbb{R})$ is isometrically rigid if and only if $p\neq 2$. Regarding the underlying space, we prove that the exceptionality of $p=2$ disappears if we replace $\mathbb{R}$ by the compact interval $[0,1]$. Surprisingly, in that case, $\mathcal{W}_p\left([0,1]\right)$ is isometrically rigid if and only if $p\neq1$. Moreover, $\mathcal{W}_1\left([0,1]\right)$ admits isometries that split mass, and $\mathrm{Isom}\left(\mathcal{W}_1\left([0,1]\right)\right)$ cannot be embedded into $\mathrm{Isom}\left(\mathcal{W}_1(\mathbb{R})\right).$
The goal of this paper is to develop the theory of Schur complementation in the context of operators acting on anti-dual pairs. As a byproduct, we obtain a natural generalization of the parallel sum and parallel difference, as well as the Lebesgue-type decomposition. To demonstrate how this operator approach works in application, we derive the corresponding results for operators acting on rigged Hilbert spaces, and for representable functionals of ${}^{*}$-algebras.
The aim of this paper is to develop an approach to obtain self-adjoint extensions of symmetric operators acting on anti-dual pairs. The main advantage of such a result is that it can be applied for structures not carrying a Hilbert space structure or a normable topology. In fact, we will show how hermitian extensions of linear functionals of involutive algebras can be governed by means of their induced operators. As an operator theoretic application, we provide a direct generalization of Parrott's theorem on contractive completion of $2$ by $2$ block operator-valued matrices. To exhibit the applicability in noncommutative integration, we characterize hermitian extendibility of symmetric functionals defined on a left ideal of a $C^{*}$-algebra.
Several Lebesgue-type decomposition theorems in analysis have a strong relation to the operation called: parallel sum. The aim of this paper is to investigate this relation from a new point of view. Namely, using a natural generalization of Arlinskii's approach (which identifies the singular part as a fixed point of a single-variable map) we prove the existence of a Lebesgue-type decomposition for nonnegative sesquilinear forms. As applications, we also show that how this approach can be used to derive analogous results for representable functionals, nonnegative finitely additive measures, and positive definite operator functions. The focus is on the fact that each theorem can be proved with the same completely elementary method.
The main purpose of this paper is to investigate some natural problems regarding the order structure of representable functionals on $^*$-algebras. We describe the extreme points of order intervals, and give a nontrivial sufficient condition to decide whether or not the infimum of two representable functionals exists. To this aim we offer a suitable approach to the Lebesgue decomposition theory, which is in complete analogy with the one developed by Ando in the context of positive operators. This tight analogy allows to invoke Ando's results to characterize uniqueness of the decomposition, and solve the infimum problem over certain operator algebras.
The main purpose of this paper is to present a decomposition theorem for nonnegative sesquilinear forms. The key notion is the short of a form to a linear subspace. This is a generalization of the well-known operator short defined by M. G. Krein. A decomposition of a form into a shorted part and a singular part (with respect to an other form) will be called short-type decomposition. As applications, we present some analogous results for bounded positive operators acting on a Hilbert space; for additive set functions on a ring of sets; and for representable positive functionals on a $\ast$-algebra.
The aim of this short note is to present an elementary, self-contained, and direct proof for the classical Lebesgue decomposition theorem.
Due to the fundamental works of T. Ando, W. Szymański, F. H. Szafraniec, and many others it is well known that sesquilinear forms play an important role in dilation theory. The crucial fact is that every positive definite operator function induces a sesquilinear form in a natural way. The purpose of this survey-like paper is to apply some recent results of Z. Sebestyén, Zs. Tarcsay, and the author for such functions. While most of the results are not new, the paper's main contribution is the unified discussion from the viewpoint of sesquilinear forms.