Showing 1–28 of 28 results for author: Virosztek, D

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

Isometries of the qubit state space with respect to quantum Wasserstein distances

Authors: Richárd Simon, Dániel Virosztek

Abstract: In this paper we study isometries of quantum Wasserstein distances and divergences on the quantum bit state space. We describe isometries with respect to the symmetric quantum Wasserstein divergence $d_{sym}$, the divergence induced by all of the Pauli matrices. We also give a complete characterization of isometries with respect to $D_z$, the quantum Wasserstein distance corresponding to the singl… ▽ More In this paper we study isometries of quantum Wasserstein distances and divergences on the quantum bit state space. We describe isometries with respect to the symmetric quantum Wasserstein divergence $d_{sym}$, the divergence induced by all of the Pauli matrices. We also give a complete characterization of isometries with respect to $D_z$, the quantum Wasserstein distance corresponding to the single Pauli matrix $σ_z$. △ Less

Submitted 11 March, 2025; v1 submitted 19 August, 2024; originally announced August 2024.

Comments: v2: accepted manuscript version; final remarks added; 12 pages

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

Journal ref: Linear Algebra Appl. 714 (2025), 1-14

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

Limit theorems for empirical measures of interacting quantum systems in Wasserstein space

Authors: Lorenzo Portinale, Simone Rademacher, Dániel Virosztek

Abstract: We prove fundamental properties of empirical measures induced by measurements performed on quantum $N$-body systems. More precisely, we consider measurements performed on the ground state of an interacting, trapped Bose gase in the Gross--Pitaevskii regime, known to exhibit Bose--Einstein condensation. For the corresponding empirical measure, we prove a weak law of large numbers with limit induced… ▽ More We prove fundamental properties of empirical measures induced by measurements performed on quantum $N$-body systems. More precisely, we consider measurements performed on the ground state of an interacting, trapped Bose gase in the Gross--Pitaevskii regime, known to exhibit Bose--Einstein condensation. For the corresponding empirical measure, we prove a weak law of large numbers with limit induced by the condensate wave function and characterize the fluctuations around through an appropriate central limit theorem. △ Less

Submitted 1 December, 2023; originally announced December 2023.

MSC Class: 60F05 35Q40 81Q99 49Q22

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

The metric property of the quantum Jensen-Shannon divergence

Authors: Dániel Virosztek

Abstract: In this short note, we prove that the square root of the quantum Jensen-Shannon divergence is a true metric on the cone of positive matrices, and hence in particular on the quantum state space. In this short note, we prove that the square root of the quantum Jensen-Shannon divergence is a true metric on the cone of positive matrices, and hence in particular on the quantum state space. △ Less

Submitted 22 January, 2021; v1 submitted 23 October, 2019; originally announced October 2019.

Comments: v2: accepted manuscript version

MSC Class: Primary: 46N50. Secondary: 47N50; 81Q10

Journal ref: Advances in Mathematics 380 (2021), 107595

Quantum Hellinger distances revisited

Authors: József Pitrik, Dániel Virosztek

Abstract: This short note aims to study quantum Hellinger distances investigated recently by Bhatia et al. [Lett. Math. Phys. 109 (2019), 1777-1804] with a particular emphasis on barycenters. We introduce the family of generalized quantum Hellinger divergences, that are of the form $φ(A,B)=\mathrm{Tr} \left((1-c)A + c B - A σB \right),$ where $σ$ is an arbitrary Kubo-Ando mean, and $c \in (0,1)$ is the weig… ▽ More This short note aims to study quantum Hellinger distances investigated recently by Bhatia et al. [Lett. Math. Phys. 109 (2019), 1777-1804] with a particular emphasis on barycenters. We introduce the family of generalized quantum Hellinger divergences, that are of the form $φ(A,B)=\mathrm{Tr} \left((1-c)A + c B - A σB \right),$ where $σ$ is an arbitrary Kubo-Ando mean, and $c \in (0,1)$ is the weight of $σ.$ We note that these divergences belong to the family of maximal quantum $f$-divergences, and hence are jointly convex and satisfy the data processing inequality (DPI). We derive a characterization of the barycenter of finitely many positive definite operators for these generalized quantum Hellinger divergences. We note that the characterization of the barycenter as the weighted multivariate $1/2$-power mean, that was claimed in the work of Bhatia et al. mentioned above, is true in the case of commuting operators, but it is not correct in the general case. △ Less

Submitted 28 July, 2020; v1 submitted 25 March, 2019; originally announced March 2019.

Comments: v2: Section 4 on the commutative case, and Subsection 5.2 on a possible measure of non-commutativity added, as well as references to the maximal quantum $f$-divergence literature; v3: Section 4 on the commutative case improved, and the proposed measure of non-commutativiy changed accordingly; v4: accepted manuscript version

MSC Class: 47A64 (Primary); 15A24; 81Q10 (Secondary)

Journal ref: Lett. Math. Phys. 110 (2020), 2039-2052

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)

Maps on probability measures preserving certain distances --- a survey and some new results

Authors: Dániel Virosztek

Abstract: Borel probability measures living on metric spaces are fundamental mathematical objects. There are several meaningful distance functions that make the collection of the probability measures living on a certain space a metric space. We are interested in the description of the structure of the isometries of such metric spaces. We overview some of the recent results of the topic and we also provide s… ▽ More Borel probability measures living on metric spaces are fundamental mathematical objects. There are several meaningful distance functions that make the collection of the probability measures living on a certain space a metric space. We are interested in the description of the structure of the isometries of such metric spaces. We overview some of the recent results of the topic and we also provide some new ones concerning the Wasserstein distance. More specifically, we consider the space of all Borel probability measures on the unit sphere of a Euclidean space endowed with the Wasserstein metric $W_p$ for arbitrary $p \geq 1,$ and we show that the action of a Wasserstein isometry on the set of the Dirac measures is induced by an isometry of the underlying unit sphere. △ Less

Submitted 19 March, 2018; v1 submitted 9 February, 2018; originally announced February 2018.

Comments: v2: improved presentation, title changed v3: accepted manuscript version

MSC Class: 46E27; 54E40

Journal ref: Acta Sci. Math. (Szeged) 84 (2018), 65-80

Jointly convex quantum Jensen divergences

Authors: Dániel Virosztek

Abstract: We investigate the quantum Jensen divergences from the viewpoint of joint convexity. It turns out that the set of the functions which generate jointly convex quantum Jensen divergences on positive matrices coincides with the Matrix Entropy Class which has been introduced by Chen and Tropp quite recently in [Electron. J. Probab. 19 (2014), 1-30]. We investigate the quantum Jensen divergences from the viewpoint of joint convexity. It turns out that the set of the functions which generate jointly convex quantum Jensen divergences on positive matrices coincides with the Matrix Entropy Class which has been introduced by Chen and Tropp quite recently in [Electron. J. Probab. 19 (2014), 1-30]. △ Less

Submitted 8 March, 2018; v1 submitted 14 December, 2017; originally announced December 2017.

Comments: v2: accepted manuscript version

MSC Class: Primary: 15B57; 47A60

Journal ref: Linear Algebra Appl. 576 (2019), 67-78

Characterizations of centrality by local convexity of certain functions on $C^*$-algebras

Authors: Dániel Virosztek

Abstract: We provide a function class which is useful to distinguish central and non-central elements of a $C^*$-algebra in the following sense: for each element $f$ of this function class, a self-adjoint element $a$ of a $C^*$-algebra is central if and only if $f$ is locally convex at $a.$ We provide a function class which is useful to distinguish central and non-central elements of a $C^*$-algebra in the following sense: for each element $f$ of this function class, a self-adjoint element $a$ of a $C^*$-algebra is central if and only if $f$ is locally convex at $a.$ △ Less

Submitted 15 February, 2018; v1 submitted 11 September, 2017; originally announced September 2017.

Comments: v2: accepted version (minor changes compared to v1)

MSC Class: 46L05

Journal ref: Oper. Theory Adv. Appl. 268 (2018), 487-494

Maps on positive definite operators preserving the quantum $χ_α^2$-divergence

Authors: Hong-Yi Chen, György Pál Gehér, Chih-Neng Liu, Lajos Molnár, Dániel Virosztek, Ngai-Ching Wong

Abstract: We describe the structure of all bijective maps on the cone of positive definite operators acting on a finite and at least two-dimensional complex Hilbert space which preserve the quantum $χ_α^2$-divergence for some $α\in [0,1]$. We prove that any such transformation is necessarily implemented by either a unitary or an antiunitary operator. Similar results concerning maps on the cone of positive s… ▽ More We describe the structure of all bijective maps on the cone of positive definite operators acting on a finite and at least two-dimensional complex Hilbert space which preserve the quantum $χ_α^2$-divergence for some $α\in [0,1]$. We prove that any such transformation is necessarily implemented by either a unitary or an antiunitary operator. Similar results concerning maps on the cone of positive semidefinite operators as well as on the set of all density operators are also derived. △ Less

Submitted 10 January, 2017; originally announced January 2017.

MSC Class: Primary: 46N50; 47B49

Journal ref: Lett. Math. Phys. 107(12) (2017), 2267-2290

Connections between centrality and local monotonicity of certain functions on $C^*$-algebras

Authors: Dániel Virosztek

Abstract: We introduce a quite large class of functions (including the exponential function and the power functions with exponent greater than one), and show that for any element $f$ of this function class, a self-adjoint element $a$ of a $C^*$-algebra is central if and only if $a \leq b$ implies $f(a) \leq f(b).$ That is, we characterize centrality by local monotonicity of certain functions on $C^*$-algebr… ▽ More We introduce a quite large class of functions (including the exponential function and the power functions with exponent greater than one), and show that for any element $f$ of this function class, a self-adjoint element $a$ of a $C^*$-algebra is central if and only if $a \leq b$ implies $f(a) \leq f(b).$ That is, we characterize centrality by local monotonicity of certain functions on $C^*$-algebras. Numerous former results (including works of Ogasawara, Pedersen, Wu, and Molnár) are apparent consequences of our result. △ Less

Submitted 12 April, 2017; v1 submitted 18 August, 2016; originally announced August 2016.

Comments: v2: major revision, stronger result, title changed. v3: minor improvements. v4: published version

MSC Class: Primary: 46L05

Journal ref: J. Math. Anal. Appl. 453 (2017), 221-226

Quantum $f$-divergence preserving maps on positive semidefinite operators acting on finite dimensional Hilbert spaces

Authors: Dániel Virosztek

Abstract: We determine the structure of all bijections on the cone of positive semidefinite operators which preserve the quantum $f$-divergence for an arbitrary strictly convex function $f$ defined on the positive halfline. It turns out that any such transformation is implemented by either a unitary or an antiunitary operator. We determine the structure of all bijections on the cone of positive semidefinite operators which preserve the quantum $f$-divergence for an arbitrary strictly convex function $f$ defined on the positive halfline. It turns out that any such transformation is implemented by either a unitary or an antiunitary operator. △ Less

Submitted 18 March, 2016; v1 submitted 22 February, 2016; originally announced February 2016.

Comments: v2: some typos corrected v3: improved presentation and some new references v4: accepted manuscript version

MSC Class: 47B49; 46N50 (Primary)

Journal ref: Linear Algebra Appl. 501 (2016), 242-253

Maps on quantum states preserving Bregman and Jensen divergences

Authors: Dániel Virosztek

Abstract: We describe the structure of the bijective transformations on the set of density operators which preserve the Bregman $f$-divergence for an arbitrary differentiable strictly convex function $f.$ Furthermore, we determine the preservers of the Jensen $f$-divergence in the case when the generating function $f$ belongs to a recently introduced function class called Matrix Entropy Class. We describe the structure of the bijective transformations on the set of density operators which preserve the Bregman $f$-divergence for an arbitrary differentiable strictly convex function $f.$ Furthermore, we determine the preservers of the Jensen $f$-divergence in the case when the generating function $f$ belongs to a recently introduced function class called Matrix Entropy Class. △ Less

Submitted 1 July, 2016; v1 submitted 25 January, 2016; originally announced January 2016.

Comments: v2: published version

MSC Class: Primary: 47B49; 46L30

Journal ref: Lett. Math. Phys. 106(9) (2016), 1217-1234

Maps on positive definite matrices preserving Bregman and Jensen divergences

Authors: Lajos Molnár, József Pitrik, Dániel Virosztek

Abstract: In this paper we determine those bijective maps of the set of all positive definite $n\times n$ complex matrices which preserve a given Bregman divergence corresponding to a differentiable convex function that satisfies certain conditions. We cover the cases of the most important Bregman divergences and present the precise structure of the mentioned transformations. Similar results concerning Jens… ▽ More In this paper we determine those bijective maps of the set of all positive definite $n\times n$ complex matrices which preserve a given Bregman divergence corresponding to a differentiable convex function that satisfies certain conditions. We cover the cases of the most important Bregman divergences and present the precise structure of the mentioned transformations. Similar results concerning Jensen divergences and their preservers are also given. △ Less

Submitted 8 September, 2015; originally announced September 2015.

MSC Class: Primary: 47B49; 15B48

Journal ref: Linear Algebra Appl. 495 (2016), 174-189

On algebraic endomorphisms of the Einstein gyrogroup

Authors: Lajos Molnár, Dániel Virosztek

Abstract: We describe the structure of all continuous algebraic endomorphisms of the open unit ball $\mathbf{B}$ of $\mathbb{R}^3$ equipped with the Einstein velocity addition. We show that any nonzero such transformation originates from an orthogonal linear transformation on $\mathbb{R}^3$. We describe the structure of all continuous algebraic endomorphisms of the open unit ball $\mathbf{B}$ of $\mathbb{R}^3$ equipped with the Einstein velocity addition. We show that any nonzero such transformation originates from an orthogonal linear transformation on $\mathbb{R}^3$. △ Less

Submitted 20 June, 2015; originally announced June 2015.

Journal ref: J. Math. Phys. 56, 082302 (2015)

On a problem of Bauschke and Borwein

Authors: Dániel Virosztek

Abstract: Consider a differentiable convex function $f: \mathbb{R}^n \supset \mathrm{dom} f \rightarrow \mathbb{R}.$ The induced spectral function $F$ is given by $F=f \circ λ,$ where $λ: \mathbf{M}_n^{sa} \rightarrow \mathbb{R}^{n}$ is the eigenvalue map. Let us denote by $D_f$ and $D_F$ the Bregman distances associated with $f$ and $F,$ respectively. In the paper "Joint and separate convexity of the Bregm… ▽ More Consider a differentiable convex function $f: \mathbb{R}^n \supset \mathrm{dom} f \rightarrow \mathbb{R}.$ The induced spectral function $F$ is given by $F=f \circ λ,$ where $λ: \mathbf{M}_n^{sa} \rightarrow \mathbb{R}^{n}$ is the eigenvalue map. Let us denote by $D_f$ and $D_F$ the Bregman distances associated with $f$ and $F,$ respectively. In the paper "Joint and separate convexity of the Bregman distance" written by H. Bauschke and J. Borwein the following open problem has been suggested. "Is $D_f$ jointly convex if and only if $D_F$ is?" In this short note we provide a negative answer to this question. △ Less

Submitted 3 August, 2015; v1 submitted 5 December, 2014; originally announced December 2014.

Comments: This paper has been withdrawn by the author because a gap has been observed in the proof of a cited theorem which was an essential ingredient of our argument

MSC Class: 15B57; 46N10

On the joint convexity of the Bregman divergence of matrices

Authors: József Pitrik, Dániel Virosztek

Abstract: We characterize the functions for which the corresponding Bregman divergence is jointly convex on matrices. As an application of this characterization, we derive a sharp inequality for the quantum Tsallis entropy of a tripartite state, which can be considered as a generalization of the strong subadditivity of the von Neumann entropy. (In general, the strong subadditivity of the Tsallis entropy fai… ▽ More We characterize the functions for which the corresponding Bregman divergence is jointly convex on matrices. As an application of this characterization, we derive a sharp inequality for the quantum Tsallis entropy of a tripartite state, which can be considered as a generalization of the strong subadditivity of the von Neumann entropy. (In general, the strong subadditivity of the Tsallis entropy fails for quantum states, but it holds for classical states.) Furthermore, we show that the joint convexity of the Bregman divergence does not imply the monotonicity under stochastic maps, but every monotone Bregman divergence is jointly convex. △ Less

Submitted 23 April, 2015; v1 submitted 30 May, 2014; originally announced May 2014.

Comments: v2: some new results about the relation of joint convexity and monotonicity under stochastic maps has been added and the proof of the main theorem has been changed essentially v3: some typos corrected v4: essentially the published version

MSC Class: 46N50; 81Q10

Journal ref: Lett. Math. Phys. 105(5) (2015), 675-692

Some inequalities for quantum Tsallis entropy related to the strong subadditivity

Authors: Dénes Petz, Dániel Virosztek

Abstract: In this paper we investigate the inequality $S_q(ρ_{123})+S_q(ρ_2)\leq S_q(ρ_{12})+S_q(ρ_{23}) \, (*)$ where $ρ_{123}$ is a state on a finite dimensional Hilbert space $\mathcal{H}_1\otimes \mathcal{H}_2\otimes \mathcal{H}_3,$ and $S_q$ is the Tsallis entropy. It is well-known that the strong subadditivity of the von Neumnann entropy can be derived from the monotonicity of the Umegaki relative ent… ▽ More In this paper we investigate the inequality $S_q(ρ_{123})+S_q(ρ_2)\leq S_q(ρ_{12})+S_q(ρ_{23}) \, (*)$ where $ρ_{123}$ is a state on a finite dimensional Hilbert space $\mathcal{H}_1\otimes \mathcal{H}_2\otimes \mathcal{H}_3,$ and $S_q$ is the Tsallis entropy. It is well-known that the strong subadditivity of the von Neumnann entropy can be derived from the monotonicity of the Umegaki relative entropy. Now, we present an equivalent form of $(*)$, which is an inequality of relative quasi-entropies. We derive an inequality of the form $S_q(ρ_{123})+S_q(ρ_2)\leq S_q(ρ_{12})+S_q(ρ_{23})+f_q(ρ_{123})$, where $f_1(ρ_{123})=0$. Such a result can be considered as a generalization of the strong subadditivity of the von Neumnann entropy. One can see that $(*)$ does not hold in general (a picturesque example is included in this paper), but we give a sufficient condition for this inequality, as well. △ Less

Submitted 23 April, 2015; v1 submitted 27 March, 2014; originally announced March 2014.

Comments: v2: the introductory part reorganized v3: the published version

Journal ref: Math. Inequal. Appl. 18(2) (2015), 555-568

Pauli channel tomography with unknown channel directions

Authors: Dániel Virosztek, László Ruppert, Katalin M. Hangos

Abstract: In this paper we estimate the parameters of the qubit Pauli channel using the channel matrix formalism. The main novelty of this work is that we do not assume the directions of the Pauli channel to be known, but they are determined through the tomography process, too. The results show that for optimally estimating the contraction parameters and the channel matrix we should have input qubits and me… ▽ More In this paper we estimate the parameters of the qubit Pauli channel using the channel matrix formalism. The main novelty of this work is that we do not assume the directions of the Pauli channel to be known, but they are determined through the tomography process, too. The results show that for optimally estimating the contraction parameters and the channel matrix we should have input qubits and measurements in the channel directions. However, for optimally estimating the channel directions, we should use different tomography conditions. △ Less

Submitted 16 April, 2013; originally announced April 2013.