Showing 1–11 of 11 results for author: Titkos, T

Wasserstein distances and divergences of order $p$ by quantum channels

Authors: Gergely Bunth, József Pitrik, Tamás Titkos, Dániel Virosztek

Abstract: We introduce a non-quadratic generalization of the quantum mechanical optimal transport problem introduced in [De Palma and Trevisan, Ann. Henri Poincaré, {\bf 22} (2021), 3199-3234] where quantum channels realize the transport. Relying on this general machinery, we introduce $p$-Wasserstein distances and divergences and study their fundamental geometric properties. Finally, we prove triangle ineq… ▽ More We introduce a non-quadratic generalization of the quantum mechanical optimal transport problem introduced in [De Palma and Trevisan, Ann. Henri Poincaré, {\bf 22} (2021), 3199-3234] where quantum channels realize the transport. Relying on this general machinery, we introduce $p$-Wasserstein distances and divergences and study their fundamental geometric properties. Finally, we prove triangle inequality for quadratic Wasserstein divergences under the sole assumption that an arbitrary one of the states involved is pure, which is a generalization of our previous result in this direction. △ Less

Submitted 24 January, 2025; v1 submitted 14 January, 2025; originally announced January 2025.

Comments: 26 pages. v2: new references added

MSC Class: Primary: 49Q22; 81P16. Secondary: 81Q10

Isometric rigidity of the Wasserstein space over the plane with the maximum metric

Authors: Zoltán M. Balogh, Gergely Kiss, Tamás Titkos, Dániel Virosztek

Abstract: We study $p$-Wasserstein spaces over the branching spaces $\mathbb{R}^2$ and $[-1,1]^2$ equipped with the maximum norm metric. We show that these spaces are isometrically rigid for all $p\geq1,$ meaning that all isometries of these spaces are induced by isometries of the underlying space via the push-forward operation. This is in contrast to the case of the Euclidean metric since with that distanc… ▽ More We study $p$-Wasserstein spaces over the branching spaces $\mathbb{R}^2$ and $[-1,1]^2$ equipped with the maximum norm metric. We show that these spaces are isometrically rigid for all $p\geq1,$ meaning that all isometries of these spaces are induced by isometries of the underlying space via the push-forward operation. This is in contrast to the case of the Euclidean metric since with that distance the $2$-Wasserstein space over $\mathbb{R}^2$ is not rigid. Also, we highlight that the $1$-Wasserstein space is not rigid over the closed interval $[-1,1]$, while according to our result, its two-dimensional analog, the closed unit ball $[-1,1]^2$ with the more complicated geodesic structure is rigid. △ Less

Submitted 21 May, 2025; v1 submitted 11 November, 2024; originally announced November 2024.

Comments: 27 pages, 7 figures. v2: a gap in the proof of Proposition 3 (in the first version: Proposition 2) has been filled and some other proofs have been streamlined. v3: accepted manuscript version

MSC Class: Primary: 54E40; 46E27. Secondary: 60B05

On the metric property of quantum Wasserstein divergences

Authors: Gergely Bunth, József Pitrik, Tamás Titkos, Dániel Virosztek

Abstract: Quantum Wasserstein divergences are modified versions of quantum Wasserstein distances defined by channels, and they are conjectured to be genuine metrics on quantum state spaces by De Palma and Trevisan. We prove triangle inequality for quantum Wasserstein divergences for every quantum system described by a separable Hilbert space and any quadratic cost operator under the assumption that a partic… ▽ More Quantum Wasserstein divergences are modified versions of quantum Wasserstein distances defined by channels, and they are conjectured to be genuine metrics on quantum state spaces by De Palma and Trevisan. We prove triangle inequality for quantum Wasserstein divergences for every quantum system described by a separable Hilbert space and any quadratic cost operator under the assumption that a particular state involved is pure, and all the states have finite energy. We also provide strong numerical evidence suggesting that the triangle inequality holds in general, for an arbitrary choice of states. △ Less

Submitted 2 April, 2025; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: v2: main result extended to the infinite-dimensional setting + a new section concerning applications added. v3: accepted manuscript version. v4: a constant in Proposition 3 corrected + Corollary 4 and Remark 1 modified accordingly. 22 pages, 4 figures

MSC Class: Primary: 49Q22; 81P16. Secondary: 81Q10

Journal ref: Phys. Rev. A 110 (2024), 022211

Isometric rigidity of Wasserstein spaces over Euclidean spheres

Authors: György Pál Gehér, Aranka Hrušková, Tamás Titkos, Dániel Virosztek

Abstract: We study the structure of isometries of the quadratic Wasserstein space $\mathcal{W}_2\left(\mathbb{S}^n,\|\cdot\|\right)$ over the sphere endowed with the distance inherited from the norm of $\mathbb{R}^{n+1}$. We prove that $\mathcal{W}_2\left(\mathbb{S}^n,\|\cdot\|\right)$ is isometrically rigid, meaning that its isometry group is isomorphic to that of $\left(\mathbb{S}^n,\|\cdot\|\right)$. Thi… ▽ More We study the structure of isometries of the quadratic Wasserstein space $\mathcal{W}_2\left(\mathbb{S}^n,\|\cdot\|\right)$ over the sphere endowed with the distance inherited from the norm of $\mathbb{R}^{n+1}$. We prove that $\mathcal{W}_2\left(\mathbb{S}^n,\|\cdot\|\right)$ is isometrically rigid, meaning that its isometry group is isomorphic to that of $\left(\mathbb{S}^n,\|\cdot\|\right)$. This is in striking contrast to the non-rigidity of its ambient space $\mathcal{W}_2\left(\mathbb{R}^n,\|\cdot\|\right)$ but in line with the rigidity of the geodesic space $\mathcal{W}_2\left(\mathbb{S}^n,\sphericalangle\right)$. One of the key steps of the proof is the use of mean squared error functions to mimic displacement interpolation in $\mathcal{W}_2\left(\mathbb{S}^n,\|\cdot\|\right)$. A major difficulty in proving rigidity for quadratic Wasserstein spaces is that one cannot use the Wasserstein potential technique. To illustrate its general power, we use it to prove isometric rigidity of $\mathcal{W}_p\left(\mathbb{S}^1, \|\cdot\|\right)$ for $1 \leq p<2.$ △ Less

Submitted 9 September, 2024; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: v2: accepted manuscript version; 16 pages, 1 figure

MSC Class: 54E40; 46E27 (Primary) 60A10; 60B05 (Secondary)

Journal ref: J. Math. Anal. Appl. 542 (2025), 128810

Isometric rigidity of the Wasserstein space $\mathcal{W}_1(\mathbf{G})$ over Carnot groups

Authors: Zoltán M. Balogh, Tamás Titkos, Dániel Virosztek

Abstract: This paper aims to study isometries of the $1$-Wasserstein space $\mathcal{W}_1(\mathbf{G})$ over Carnot groups endowed with horizontally strictly convex norms. Well-known examples of horizontally strictly convex norms on Carnot groups are the Heisenberg group $\mathbb{H}^n$ endowed with the Heisenberg-Korányi norm, or with the Naor-Lee norm; and $H$-type Iwasawa groups endowed with a Korányi-type… ▽ More This paper aims to study isometries of the $1$-Wasserstein space $\mathcal{W}_1(\mathbf{G})$ over Carnot groups endowed with horizontally strictly convex norms. Well-known examples of horizontally strictly convex norms on Carnot groups are the Heisenberg group $\mathbb{H}^n$ endowed with the Heisenberg-Korányi norm, or with the Naor-Lee norm; and $H$-type Iwasawa groups endowed with a Korányi-type norm. We prove that on a general Carnot group there always exists a horizontally strictly convex norm. The main result of the paper says that if $(\mathbf{G},N_{\mathbf{G}})$ is a Carnot group where $N_{\mathbf{G}}$ is a horizontally strictly convex norm on $\mathbf{G}$, then the Wasserstein space $\mathcal{W}_1(\mathbf{G})$ is isometrically rigid. That is, for every isometry $Φ:\mathcal{W}_1(\mathbf{G})\to\mathcal{W}_1(\mathbf{G})$ there exists an isometry $ψ:\mathbf{G}\to \mathbf{G}$ such that $Φ=ψ_{\#}$. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: 20 pages. arXiv admin note: text overlap with arXiv:2303.15095

MSC Class: 46E27; 49Q22; 54E40

Isometries and isometric embeddings of Wasserstein spaces over the Heisenberg group

Authors: Zoltán M. Balogh, Tamás Titkos, Dániel Virosztek

Abstract: Our purpose in this paper is to study isometries and isometric embeddings of the $p$-Wasserstein space $\mathcal{W}_p(\mathbb{H}^n)$ over the Heisenberg group $\mathbb{H}^n$ for all $p>1$ and for all $n\geq 1$. First, we create a link between optimal transport maps in the Euclidean space $\mathbb{R}^{2n}$ and the Heisenberg group $\mathbb{H}^n$. Then we use this link to understand isometric embedd… ▽ More Our purpose in this paper is to study isometries and isometric embeddings of the $p$-Wasserstein space $\mathcal{W}_p(\mathbb{H}^n)$ over the Heisenberg group $\mathbb{H}^n$ for all $p>1$ and for all $n\geq 1$. First, we create a link between optimal transport maps in the Euclidean space $\mathbb{R}^{2n}$ and the Heisenberg group $\mathbb{H}^n$. Then we use this link to understand isometric embeddings of $\mathbb{R}$ and $\mathbb{R}_+$ into $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$. That is, we characterize complete geodesics and geodesic rays in the Wasserstein space. Using these results we determine the metric rank of $\mathcal{W}_p(\mathbb{H}^n)$. Namely, we show that $\mathbb{R}^k$ can be embedded isometrically into $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$ if and only if $k\leq n$. As a consequence, we conclude that $\mathcal{W}_p(\mathbb{R}^k)$ and $\mathcal{W}_p(\mathbb{H}^k)$ can be embedded isometrically into $\mathcal{W}_p(\mathbb{H}^n)$ if and only if $k\leq n$. In the second part of the paper, we study the isometry group of $\mathcal{W}_p(\mathbb{H}^n)$ for $p>1$. We find that these spaces are all isometrically rigid meaning that for every isometry $Φ:\mathcal{W}_p(\mathbb{H}^n)\to\mathcal{W}_p(\mathbb{H}^n)$ there exists a $ψ:\mathbb{H}^n\to\mathbb{H}^n$ such that $Φ=ψ_{\#}$. △ Less

Submitted 28 March, 2025; v1 submitted 27 March, 2023; originally announced March 2023.

Comments: 31 pages. v4: Manuscript thoroughly revised, proofs of Propositions 3.3. and 3.6. substantially improved

MSC Class: 46E27; 49Q22; 54E40

Quantum Wasserstein isometries on the qubit state space

Authors: György Pál Gehér, József Pitrik, Tamás Titkos, Dániel Virosztek

Abstract: We describe Wasserstein isometries of the quantum bit state space with respect to distinguished cost operators. We derive a Wigner-type result for the cost operator involving all the Pauli matrices: in this case, the isometry group consists of unitary or anti-unitary conjugations. In the Bloch sphere model, this means that the isometry group coincides with the classical symmetry group… ▽ More We describe Wasserstein isometries of the quantum bit state space with respect to distinguished cost operators. We derive a Wigner-type result for the cost operator involving all the Pauli matrices: in this case, the isometry group consists of unitary or anti-unitary conjugations. In the Bloch sphere model, this means that the isometry group coincides with the classical symmetry group $\mathbf{O}(3).$ On the other hand, for the cost generated by the qubit "clock" and "shift" operators, we discovered non-surjective and non-injective isometries as well, beyond the regular ones. This phenomenon mirrors certain surprising properties of the quantum Wasserstein distance. △ Less

Submitted 28 October, 2022; v1 submitted 29 April, 2022; originally announced April 2022.

Comments: 18 pages, 3 figures. v2: new references added, v3: minor changes

MSC Class: Primary: 49Q22; 81Q99. Secondary: 54E40

Journal ref: J. Math. Anal. Appl. 522 (2023), 126955

Isometric rigidity of Wasserstein tori and spheres

Authors: György Pál Gehér, Tamás Titkos, Dániel Virosztek

Abstract: We prove isometric rigidity for $p$-Wasserstein spaces over finite-dimensional tori and spheres for all $p$. We present a unified approach to proving rigidity that relies on the robust method of recovering measures from their Wasserstein potentials. We prove isometric rigidity for $p$-Wasserstein spaces over finite-dimensional tori and spheres for all $p$. We present a unified approach to proving rigidity that relies on the robust method of recovering measures from their Wasserstein potentials. △ Less

Submitted 8 March, 2022; originally announced March 2022.

MSC Class: Primary: 54E40 Secondary: 46E27; 54E70

Journal ref: Mathematika 69 (2023), 20-32

The isometry group of Wasserstein spaces: the Hilbertian case

Authors: György Pál Gehér, Tamás Titkos, Dániel Virosztek

Abstract: Motivated by Kloeckner's result on the isometry group of the quadratic Wasserstein space $\mathcal{W}_2\left(\mathbb{R}^n\right)$, we describe the isometry group $\mathrm{Isom}\left(\mathcal{W}_p (E)\right)$ for all parameters $0 < p < \infty$ and for all separable real Hilbert spaces $E.$ In particular, we show that $\mathcal{W}_p(X)$ is isometrically rigid for all Polish space $X$ whenever… ▽ More Motivated by Kloeckner's result on the isometry group of the quadratic Wasserstein space $\mathcal{W}_2\left(\mathbb{R}^n\right)$, we describe the isometry group $\mathrm{Isom}\left(\mathcal{W}_p (E)\right)$ for all parameters $0 < p < \infty$ and for all separable real Hilbert spaces $E.$ In particular, we show that $\mathcal{W}_p(X)$ is isometrically rigid for all Polish space $X$ whenever $0<p<1$. This is a consequence of our more general result: we prove that $\mathcal{W}_1(X)$ is isometrically rigid if $X$ is a complete separable metric space that satisfies the strict triangle inequality. Furthermore, we show that this latter rigidity result does not generalise to parameters $p>1$, by solving Kloeckner's problem affirmatively on the existence of mass-splitting isometries. △ Less

Submitted 15 December, 2021; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: 30 pages, 2 figures. v2: minor changes

MSC Class: Primary: 54E40; 46E27; Secondary: 60A10; 60B05

Journal ref: J. London Math. Soc. 106 (2022), 3865-3894

Isometric study of Wasserstein spaces --- the real line

Authors: György Pál Gehér, Tamás Titkos, Dániel Virosztek

Abstract: 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… ▽ More 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).$ △ Less

Submitted 3 February, 2020; originally announced February 2020.

Comments: 32 pages, 7 figures. Accepted for publication in Trans. Amer. Math. Soc

MSC Class: Primary: 54E40; 46E27. Secondary: 60A10; 60B05

Journal ref: Trans. Amer. Math. Soc. 373 (2020), 5855-5883

On isometric embeddings of Wasserstein spaces -- the discrete case

Authors: György Pál Gehér, Tamás Titkos, Dániel Virosztek

Abstract: The aim of this short paper is to offer a complete characterization of all (not necessarily surjective) isometric embeddings of the Wasserstein space $\mathcal{W}_p(\mathcal{X})$, where $\mathcal{X}$ is a countable discrete metric space and $0<p<\infty$ is any parameter value. Roughly speaking, we will prove that any isometric embedding can be described by a special kind of… ▽ More The aim of this short paper is to offer a complete characterization of all (not necessarily surjective) isometric embeddings of the Wasserstein space $\mathcal{W}_p(\mathcal{X})$, where $\mathcal{X}$ is a countable discrete metric space and $0<p<\infty$ is any parameter value. Roughly speaking, we will prove that any isometric embedding can be described by a special kind of $\mathcal{X}\times(0,1]$-indexed family of nonnegative finite measures. Our result implies that a typical non-surjective isometric embedding of $\mathcal{W}_p(\mathcal{X})$ splits mass and does not preserve the shape of measures. In order to stress that the lack of surjectivity is what makes things challenging, we will prove alternatively that $\mathcal{W}_p(\mathcal{X})$ is isometrically rigid for all $0<p<\infty$. △ Less

Submitted 22 August, 2019; v1 submitted 4 September, 2018; originally announced September 2018.

Comments: 11 pages, 1 figure

MSC Class: 54E40; 46E27; 60A10; 60B05

Journal ref: Journal of Mathematical Analysis and Applications (2019)