arXiv subjects

Erkka Haapasalo

Publications and source records attributed to Erkka Haapasalo.

At least 19 recordsLinked to original sources

arXiv2026

Multivariate majorization of continuous statistical experiments

We derive sufficient and almost necessary conditions for large sample and catalytic majorization between finite statistical experiments over standard Borel sample spaces. This work generalizes previous results, on one hand, in the bivariate case and, on the other hand, in the multivariate discrete (or, rather, finite) case, i.e., matrix majorization. We derive multivariate generalizations of the bivariate Renyi relative entropies and show that inequalities involving these multivariate Renyi divergences characterize large-sample and catalytic majorization of finite statistical experiments. As our methods are real-algebraic in nature, this work demonstrates that large deviation techniques are not the only option available to derive conditions for large sample majorization even in the case of more general sample spaces of the experiments. We also show that all general multivariate divergences, i.e., multivariate extensive and monotone maps of finite statistical experiments, can be expressed through barycentres over the set of multivariate Renyi divergences. We also show that we may characterize the optimal conversion rate of a statistical experiment into another using the multivariate Renyi divergences.

math.ST↗

arXiv2026

Conditions for Large-Sample Majorization of Pairs of Flat States in Terms of $α$-z Relative Entropies

We offer the first operational interpretation of the $α$-z relative entropies, a measure of distinguishability between two quantum states introduced by Jakšić et al. and Audenaert and Datta. We show that these relative entropies appear when formulating conditions for large-sample or catalytic relative majorization of pairs of flat states and certain generalizations of them. Indeed, we show that such transformations exist if and only if all the $α$-z relative entropies for $α$<1 of the two pairs are ordered. In this setting, the $α$ and z parameters are truly independent from each other. These results also yield an expression for the optimal rate of converting one flat state pair into another. Our methods use real-algebraic techniques involving preordered semirings and certain monotone homomorphisms and derivations on them.

quant-ph↗

arXiv2026

A complete characterisation of conditional entropies

Entropies are fundamental measures of uncertainty with central importance in information theory and statistics and applications across all the quantitative sciences. Under a natural set of operational axioms, the most general form of entropy is captured by the family of Rényi entropies, parameterized by a real number $α$. Conditional entropy extends the notion of entropy by quantifying uncertainty from the viewpoint of an observer with access to potentially correlated side information. However, despite their significance and the emergence of various useful definitions, a complete characterization of measures of conditional entropy that satisfy a natural set of operational axioms has remained elusive. In this work, we provide a complete characterization of conditional entropy, defined through a set of axioms that are essential for any operationally meaningful definition: additivity for independent random variables, invariance under relabeling, and monotonicity under conditional mixing channels. We prove that the most general form of conditional entropy is captured by a family of measures that are exponential averages of Rényi entropies of the conditioned distribution and parameterized by a real parameter and a probability measure on the positive reals. Finally, we show that these quantities determine the rate of transformation under conditional mixing and provide a set of second laws of quantum thermodynamics with side information for states diagonal in the energy eigenbasis.

cs.IT↗

arXiv2026

Multivariate Rényi divergences characterise betting games with multiple lotteries

We provide an operational interpretation of the multivariate Rényi divergence in terms of economic-theoretic tasks based on betting, risk aversion, and multiple lotteries. We show that the multivariate Rényi divergence $D_{\underlineα}(\vec{P}_X)$ of probability distributions $\vec{P}_X =(p^{(0)}_X,\dots,p^{(d)}_X)$ and real-valued orders $\underlineα = (α_0, \dots, α_d)$ quantifies the economic-theoretic value that a rational agent assigns to $d$ lotteries with odds $o^{(k)}_X \propto (p_X^{(k)})^{-1}$ ($k=1,\dots,d$) on a random event described by $p^{(0)}_X$. In particular, when the odds are fair and the rational agent maximises over all betting strategies, the economic-theoretic value (the isoelastic certainty equivalent) that the agent assigns to the lotteries is exactly given by $w^{\mathrm{ICE}}_{\underline{R}}=\exp[D_{\underlineα}(\vec{P}_X)]$, where $\underline{R}=(R_1,\dots,R_d)$ is a risk-aversion vector with $R_k = 1+α_k/α_0$ being the risk-aversion parameter for lottery $k$. Furthermore, we introduce a new conditional multivariate Rényi divergence that characterises a generalised scenario where the agent uses side information. We prove that this new quantity satisfies a data processing inequality which can be interpreted as the increment in the economic-theoretic value provided by side information; crucially, such a data processing inequality is a consequence of the agent's economic-theoretically consistent risk-averse attitude towards every lottery and vice versa. Finally, we apply these results to the resource theory of informative measurements in general probabilistic theories (GPTs). By establishing quantitative connections between information theory, physics, and economics, our framework provides a novel operational foundation for quantum state betting games with multiple lotteries in the realm of quantum resource theories.

quant-ph↗

arXiv2025

Barycentric decompositions for extensive monotone divergences

We study sets of divergences or dissimilarity measures in a generalized real-algebraic setting which includes the cases of classical and quantum multivariate divergences. We show that a special subset of divergences, the so-called test spectrum, characterizes the rest of the divergences through barycentres and that the extreme points of relevant convex subsets of general divergences are contained within the test spectrum. Only some special parts of the test spectrum may contain non-extreme elements. We are able to fully characterize the test spectrum in the case of classical multivariate divergences. The quantum case is much more varied, and we demonstrate that essentially all the bivariate and multivariate quantum divergences suggested previously in literature are within the test spectrum and extreme within the set of all quantum (multivariate) divergences. This suggests that the variability of quantum divergences is real since all the previously suggested divergences are independent of each other.

quant-ph↗

arXiv2025

Matrix Majorization in Large Samples with Varying Support Restrictions

We say that a matrix $P$ with non-negative entries majorizes another such matrix $Q$ if there is a stochastic matrix $T$ such that $Q=TP$. We study matrix majorization in large samples and in the catalytic regime in the case where the columns of the matrices need not have equal support, as has been assumed in earlier works. We focus on two cases: either there are no support restrictions (except for requiring a non-empty intersection for the supports) or the final column dominates the others. Using real-algebraic methods, we identify sufficient and almost necessary conditions for majorization in large samples or when using catalytic states under these support conditions. These conditions are given in terms of multivariate divergences that generalize the Rényi divergences. We notice that varying support conditions dramatically affect the relevant set of divergences. Our results find an application in the theory of catalytic state transformation in quantum thermodynamics.

math.ST↗

arXiv2024

Matrix majorization in large samples

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.

math.ST↗

arXiv2023

Barycentric decomposition for quantum instruments

We present a barycentric decomposition for quantum instruments whose output space is finite-dimensional and input space is separable. As a special case, we obtain a barycentric decomposition for channels between such spaces and for normalized positive-operator-valued measures in separable Hilbert spaces. This extends the known results by Ali and Chiribella et al. on decompositions of quantum measurements, and formalises the fact that every instrument between finite-dimensional Hilbert spaces can be represented using only finite-outcome instruments.

quant-ph↗

arXiv2023

Incompatible measurements in quantum information science

Some measurements in quantum mechanics disturb each other. This has puzzled physicists since the formulation of the theory, but only in recent decades has the incompatibility of measurements been analyzed in depth and detail, using the notion of joint measurability of generalized measurements. In this Colloquium joint measurability and incompatibility are reviewed from the perspective of quantum information science. The Colloquium starts by discussing the basic definitions and concepts. An overview on applications of incompatibility, such as in measurement uncertainty relations, the characterization of quantum correlations, or information processing tasks like quantum state discrimination, is then presented. Finally, emerging directions of research, such as a resource theory of incompatibility as well as other concepts to grasp the nature of measurements in quantum mechanics, are discussed.

quant-ph↗

arXiv2022

Retrievability of information in quantum and realistic hidden variable theories

We propose a generalisation of the Leggett-Garg conditions for macrorealistic behaviour. Our proposal relies on relaxing the postulate of non-invasive measurability with that of retrievability of information. This leads to a strictly broader class of hidden variable theories than those having a macrorealistic description. Crucially, whereas quantum mechanical tests of macrorealism require one to optimise over all possible state updates, for retrievability of information it suffices to use the basic Lüders state update, which is present in every quantum measurement. We show that in qubit systems the optimal retrieving protocols further relate to the fundamental precision limit of quantum theory given by Busch-Lahti-Werner error-disturbance uncertainty relations. We implement an optimal protocol using a photonic setting, and report an experimental violation of the proposed generalisation of macrorealism.

quant-ph↗

arXiv2022

Multi-armed quantum bandits: Exploration versus exploitation when learning properties of quantum states

We initiate the study of tradeoffs between exploration and exploitation in online learning of properties of quantum states. Given sequential oracle access to an unknown quantum state, in each round, we are tasked to choose an observable from a set of actions aiming to maximize its expectation value on the state (the reward). Information gained about the unknown state from previous rounds can be used to gradually improve the choice of action, thus reducing the gap between the reward and the maximal reward attainable with the given action set (the regret). We provide various information-theoretic lower bounds on the cumulative regret that an optimal learner must incur, and show that it scales at least as the square root of the number of rounds played. We also investigate the dependence of the cumulative regret on the number of available actions and the dimension of the underlying space. Moreover, we exhibit strategies that are optimal for bandits with a finite number of arms and general mixed states.

quant-ph↗

arXiv2021

Quantum marginal problem and incompatibility

One of the basic distinctions between classical and quantum mechanics is the existence of fundamentally incompatible quantities. Such quantities are present on all levels of quantum objects: states, measurements, quantum channels, and even higher order dynamics. In this manuscript, we show that two seemingly different aspects of quantum incompatibility: the quantum marginal problem of states and the incompatibility on the level of quantum channels are in many-to-one correspondence. Importantly, as incompatibility of measurements is a special case of the latter, it also forms an instance of the quantum marginal problem. The generality of the connection is harnessed by solving the marginal problem for Gaussian and Bell diagonal states, as well as for pure states under depolarizing noise. Furthermore, we derive entropic criteria for channel compatibility, and develop a converging hierarchy of semi-definite programs for quantifying the strength of quantum memories.

quant-ph↗

arXiv2020

An operational characterization of infinite-dimensional quantum resources

Recently, various non-classical properties of quantum states and channels have been characterized through an advantage they provide in specific quantum information tasks over their classical counterparts. Such advantage can be typically proven to be quantitative, in that larger amounts of quantum resources lead to better performance in the corresponding tasks. So far, these characterizations have been established only in the finite-dimensional setting. In this manuscript, we present a technique for extending the known results to the infinite-dimensional regime. The technique relies on approximating infinite-dimensional resource measures by their finite-dimensional counterparts. We give a sufficient condition for the approximation procedure to be tight, i.e. to match with established infinite-dimensional resource quantifiers, and another sufficient condition for the procedure to match with relevant extensions of these quantifiers. We show that various continuous variable quantum resources fall under these conditions, hence, giving them an operational interpretation through the advantage they can provide in so-called quantum games. Finally, we extend the interpretation to the max relative entropy in the infinite-dimensional setting.

quant-ph↗

arXiv2020

Optimal covariant quantum measurements

We discuss symmetric quantum measurements and the associated covariant observables modelled, respectively, as instruments and positive-operator-valued measures. The emphasis of this work are the optimality properties of the measurements, namely, extremality, informational completeness, and the rank-1 property which contrast the complementary class of (rank-1) projection-valued measures. The first half of this work concentrates solely on finite-outcome measurements symmetric w.r.t. finite groups where we derive exhaustive characterizations for the pointwise Kraus-operators of covariant instruments and necessary and sufficient extremality conditions using these Kraus-operators. We motivate the use of covariance methods by showing that observables covariant with respect to symmetric groups contain a family of representatives from both of the complementary optimality classes of observables and show that even a slight deviation from a rank-1 projection-valued measure can yield an extreme informationally complete rank-1 observable. The latter half of this work derives similar results for continuous measurements in (possibly) infinite dimensions. As an example we study covariant phase space instruments, their structure, and extremality properties.

quant-ph↗

arXiv2019

The Choi-Jamiolkowski isomorphism and covariant quantum channels

A generalization of the Choi-Jamiolkowski isomorphism for completely positive maps between operator algebras is introduced. Particular emphasis is placed on the case of normal unital completely positive maps defined between von Neumann algebras. This generalization is applied especially to the study of maps which are covariant under actions of a symmetry group. We highlight with the example of, e.g., phase-shift-covariant quantum channels the ease of this method in particular in the case of a compact symmetry group. We also discuss the case of channels which are covariant under actions of the Euclidean group of rigid motions in 3 dimensions.

quant-ph↗

arXiv2019

Compatibility of covariant quantum channels with emphasis on Weyl symmetry

Compatibility conditions of quantum channels featuring symmetry through covariance are studied. Compatibility here means the possibility of obtaining two or more channels through partial trace out of a broadcasting channel. We see that covariance conditions can be used to simplify compatibility conditions as the broadcasting channel can be assumed to be covariant in a particular way. A particular emphasis is on Weyl covariance and in determining compatibility conditions for Weyl-covariant channels. The concrete examples studied include the case of a non-compact continuous phase space and the case of a finite phase space.

quant-ph↗

arXiv2018

Effective methods for constructing extreme quantum observables

We study extreme points of the set of finite-outcome positive-operator-valued measures (POVMs) on finite-dimensional Hilbert spaces and particularly the possible ranks of the effects of an extreme POVM. We give results discussing ways of deducing new rank combinations of extreme POVMs from rank combinations of known extreme POVMs and, using these results, show ways to characterize rank combinations of extreme POVMs in low dimensions. We show that, when a rank combination together with a given dimension of the Hilbert space solve a particular packing problem, there is an extreme POVM on the Hilbert space with the given ranks. This geometric method is particularly effective for constructing extreme POVMs with desired rank combinations.

quant-ph↗

arXiv2017

The unavoidable information flow to environment in quantum measurements

One of the basic lessons of quantum theory is that one cannot obtain information on an unknown quantum state without disturbing it. Hence, by performing a certain measurement, we limit the other possible measurements that can be effectively implemented on the original input state. It has been recently shown that one can implement sequentially any device, either channel or observable, which is compatible with the first measurement [T. Heinosaari and T. Miyadera: Phys. Rev. A Vol 91 (2015), 022110]. In this work we prove that this can be done, apart from some special cases, only when the succeeding device is implemented on a larger system than just the input system. This means that some part of the still available quantum information has been flown to the environment and cannot be gathered by accessing the input system only. We characterize the size of the post-measurement system by determining the class of measurements for the observable in question that allow the subsequent realization of any measurement process compatible with the said observable. We also study the class of measurements that allow the subsequent realization of any observable jointly measurable with the first one and show that these two classes coincide when the first observable is extreme.

quant-ph↗