Source author record

Erkka Haapasalo

Erkka Haapasalo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

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.

preprint2020arXiv

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.

preprint2018arXiv

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.

preprint2016arXiv

Covariant KSGNS construction and quantum instruments

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.

preprint2016arXiv

Saturation of repeated quantum measurements

We study sequential measurement scenarios where the system is repeatedly subjected to the same measurement process. We first provide examples of such repeated measurements where further repetitions of the measurement do not increase our knowledge on the system after some finite number of measurement steps. We also prove, however, that repeating the Lüders measurement of an unsharp two-outcome observable never saturates in this sense, and we characterize the observable measured in the limit of infinitely many repetitions. Our result implies that a repeated measurement can be used to correct the inherent noise of an unsharp observable.

preprint2015arXiv

Compatibility properties of extreme quantum observables

Recently a problem concerning the equivalence of joint measurability and coexistence of quantum observables was solved [15]. In this paper we generalize two known joint measurability results from sharp observables to the class of extreme observables and study relationships between coexistence, joint measurability, and post-processing of quantum observables when an extreme observable is involved. We also discuss another notion of compatibility and provide a counterexample separating this from the former notions.

preprint2015arXiv

Robustness of incompatibility for quantum devices

A robustness measure for incompatibility of quantum devices in the lines of the robustness of entanglement is proposed. The concept of general robustness measures is first introduced in general convex-geometric settings and these ideas are then applied to measure how incompatible a given pair of quantum devices is. The robustness of quantum incompatibility is calculated in three special cases: a pair of Fourier-coupled rank-1 sharp observables, a pair of decodable channels, where decodability means left-invertibility by a channel, and a pair consisting of a rank-1 sharp observable and a decodable channel.

preprint2014arXiv

Distance to boundary and minimum-error discrimination

We introduce the concept of boundariness capturing the most efficient way of expressing a given element of a convex set as a probability mixture of its boundary elements. In other words, this number measures (without the need of any explicit topology) how far the given element is from the boundary. It is shown that one of the elements from the boundary can be always chosen to be an extremal element. We focus on evaluation of this quantity for quantum sets of states, channels and observables. We show that boundariness is intimately related to (semi)norms that provide an operational interpretation of this quantity. In particular, the minimum error probability for discrimination of a pair of quantum devices is lower bounded by the boundariness of each of them. We proved that for states and observables this bound is saturated and conjectured this feature for channels. The boundariness is zero for infinite-dimensional quantum objects as in this case all the elements are boundary elements.

preprint2012arXiv

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

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.

preprint2011arXiv

Extreme Covariant Quantum Observables in the Case of an Abelian Symmetry Group and a Transitive Value Space

We represent quantum observables as POVMs (normalized positive operator valued measures) and consider convex sets of observables which are covariant with respect to a unitary representation of a locally compact Abelian symmetry group $G$. The value space of such observables is a transitive $G$-space. We characterize the extreme points of covariant observables and also determine the covariant extreme points of the larger set of all quantum observables. The results are applied to position, position difference and time observables.

preprint2011arXiv

Quantum measurements on finite dimensional systems: relabeling and mixing

Concentrating on finite dimensional systems, we show that one can limit to extremal rank-1 POVMs if two simple procedures of mixing and relabeling are permitted. We demonstrate that any finite outcome POVM can be obtained from extremal rank-1 POVMs with these two procedures. In particular, extremal POVMs with higher rank are just relabelings of extremal rank-1 POVMs and their structure is therefore clarified.

preprint2011arXiv

Weak vs. approximate values in quantum state determination

We generalize the concept of a weak value of a quantum observable to cover arbitrary real positive operator measures. We show that the definition is operationally meaningful in the sense that it can be understood within the quantum theory of sequential measurements. We then present a detailed analysis of the recent experiment of Lundeen et al. concerning the reconstruction of the state of a photon using weak measurements. We compare their method with the reconstruction method through informationally complete phase space measurements and show that it lacks the generality of the phase space method. In particular, a completely unknown state can never be reconstructed using the method of weak measurements.