Showing 1–3 of 3 results for author: Haapasalo, E

Matrix majorization in large samples

Authors: Muhammad Usman Farooq, Tobias Fritz, Erkka Haapasalo, Marco Tomamichel

Abstract: One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix majorization. Solving an open problem raised by Mu et al, we show that if certain monotones - namely multivariate extensions of Rényi divergences - are strictly o… ▽ More One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix majorization. Solving an open problem raised by Mu et al, we show that if certain monotones - namely multivariate extensions of Rényi divergences - are strictly ordered between the two tuples, then for sufficiently large $n$, there exists a stochastic matrix taking the $n$-fold Kronecker power of each input distribution to the $n$-fold Kronecker power of the corresponding output distribution. The same conditions, with non-strict ordering for the monotones, are also necessary for such matrix majorization in large samples. Our result also gives conditions for the existence of a sequence of statistical maps that asymptotically (with vanishing error) convert a single copy of each input distribution to the corresponding output distribution with the help of a catalyst that is returned unchanged. Allowing for transformation with arbitrarily small error, we find conditions that are both necessary and sufficient for such catalytic matrix majorization. We derive our results by building on a general algebraic theory of preordered semirings recently developed by one of the authors. This also allows us to recover various existing results on majorization in large samples and in the catalytic regime as well as relative majorization in a unified manner. △ Less

Submitted 8 January, 2024; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: 59 pages, 3 figures. Comparing to the earlier version, some typos and terminology were fixed and a further corollary (Corollary 46) was added

Journal ref: IEEE Transactions on Information Theory 70(5), 3118-3144 (2024)

Covariant KSGNS construction and quantum instruments

Authors: Erkka Haapasalo, Juha-Pekka Pellonpää

Abstract: We study positive kernels on $X\times X$, where $X$ is a set equipped with an action of a group, and taking values in the set of $\mathcal A$-sesquilinear forms on a (not necessarily Hilbert) module over a $C^*$-algebra $\mathcal A$. These maps are assumed to be covariant with respect to the group action on $X$ and a representation of the group in the set of invertible ($\mathcal A$-linear) module… ▽ More We study positive kernels on $X\times X$, where $X$ is a set equipped with an action of a group, and taking values in the set of $\mathcal A$-sesquilinear forms on a (not necessarily Hilbert) module over a $C^*$-algebra $\mathcal A$. These maps are assumed to be covariant with respect to the group action on $X$ and a representation of the group in the set of invertible ($\mathcal A$-linear) module maps. We find necessary and sufficient conditions for extremality of such kernels in certain convex subsets of positive covariant kernels. Our focus is mainly on a particular example of these kernels: a completely positive (CP) covariant map for which we obtain a covariant minimal dilation (or KSGNS construction). We determine the extreme points of the set of normalized covariant CP maps and, as a special case, study covariant quantum observables and instruments whose value space is a transitive space of a unimodular type-I group. As an example, we discuss the case of instruments that are covariant with respect to a square-integrable representation. △ Less

Submitted 14 March, 2016; v1 submitted 3 June, 2015; originally announced June 2015.

Comments: 43 pages. New version: especially Section 6 has been slightly extended for clarity. An appendix has also been added

Journal ref: 2 parts: Rep. Math. Phys. 83, 253-271 (2019); Rev. Math. Phys. 29, 1750020 (2017)

When do pieces determine the whole? Extremal marginals of a completely positive map

Authors: Erkka Haapasalo, Teiko Heinosaari, Juha-Pekka Pellonpää

Abstract: We will consider completely positive maps defined on tensor products of von Neumann algebras and taking values in the algebra of bounded operators on a Hilbert space and particularly certain convex subsets of the set of such maps. We show that when one of the marginal maps of such a map is an extremal point, then the marginals uniquely determine the map. We will further prove that when both of the… ▽ More We will consider completely positive maps defined on tensor products of von Neumann algebras and taking values in the algebra of bounded operators on a Hilbert space and particularly certain convex subsets of the set of such maps. We show that when one of the marginal maps of such a map is an extremal point, then the marginals uniquely determine the map. We will further prove that when both of the marginals are extremal, then the whole map is extremal. We show that this general result is the common source of several well-known results dealing with, e.g., jointly measurable observables. We also obtain new insight especially in the realm of quantum instruments and their marginal observables and channels. △ Less

Submitted 26 September, 2012; originally announced September 2012.

Journal ref: Rev. Math. Phys. 26, 1450002 (2014)