Source author record

Anna Jencova

Anna Jencova 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

21works
9topics
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

21 published item(s)

preprint2020arXiv

Rényi relative entropies and noncommutative $L_p$-spaces

We propose an extension of the sandwiched Rényi relative $α$-entropy to normal positive functionals on arbitrary von Neumann algebras, for the values $α>1$. For this, we use Kosaki's definition of noncommutative $L_p$-spaces with respect to a state. We show that these extensions coincide with the previously defined Araki-Masuda divergences [M. Berta et al., Annales Henri Poincaré, 19:1843--1867, 2018] and prove some of their properties, in particular the data processing inequality with respect to positive normal unital maps. As a consequence, we obtain monotonicity of the Araki relative entropy with respect to such maps, extending the results of [A. Müller-Hermes and D. Reeb. Annales Henri Poincaré,18:1777--1788, 2017] to arbitrary von Neumann algebras. It is also shown that equality in data processing inequality characterizes sufficiency (reversibility) of quantum channels.

preprint2016arXiv

A projection and an effect in a synaptic algebra

We study a pair p,e consisting of a projection p (an idempotent) and an effect e (an element between 0 and 1) in a synaptic algebra (a generalization of the self-adjoint part of a von Neumann algebra). We show that some of Halmos's theory of two projections (or two subspaces), including a version of his CS-decomposition theorem, applieas on this settinh, and we introduce and study two candidates for a commutator for p and e.

preprint2016arXiv

Comparison of quantum channels and statistical experiments

For a pair of quantum channels with the same input space, we show that the possibility of approximation of one channel by post-processings of the other channel can be characterized by comparing the success probabilities for the two ensembles obtained as outputs for any ensemble on the input space coupled with an ancilla. This provides an operational interpretation to a natural extension of Le Cam's deficiency to quantum channels. In particular, we obtain a version of the randomization criterion for quantum statistical experiments. The proofs are based on some properties of the diamond norm and its dual, which are of independent interest.

preprint2016arXiv

Comparison of quantum channels and statistical experiments

For a pair of quantum channels with the same input space, we show that the possibility of approximation of one channel by post-processings of the other channel can be characterized by comparing the success probabilities for the two ensembles obtained as outputs for any ensemble on the input space coupled with an ancilla. This provides an operational interpretation to a natural extension of Le Cam's deficiency to quantum channels. In particular, we obtain a version of the randomization criterion for quantum statistical experiments. The proofs are based on some properties of the diamond norm and its dual, which are of independent interest.

preprint2016arXiv

Every synaptic algebra has the monotone square root property

A synaptic algebra is a common generalization of several ordered algebraic structures based on algebras of self-adjoint operators, including the self-adjoint part of an AW*-algebra. In this paper we prove that a synaptic algebra A has the monotone square property, i.e., if a and b are positive elements, then if a is less or equal than b, then the square root of a is less or equal than the square root of b.

preprint2016arXiv

Vector lattices in synaptic algebras

A synaptic algebra $A$ is a generalization of the self-adjoint part of a von Neumann algebra. We study a linear subspace $V$ of $A$ in regard to the question of when $V$ is a vector lattice. Our main theorem states that if $V$ contains the identity element of $A$ and is closed under the formation of both the absolute value and the carrier of its elements, then $V$ is a vector lattice if and only if the elements of $V$ commute pairwise.

preprint2015arXiv

Exploring boundaries of quantum convex structures: special role of unitary processes

We address the question of finding the most effective convex decompositions into boundary elements (so-called boundariness) for sets of quantum states, observables and channels. First we show that in general convex sets the boundariness essentially coincides with the question of the most distinguishable element, thus, providing an operational meaning for this concept. Unexpectedly, we discovered that for any interior point of the set of channels the optimal decomposition necessarily contains a unitary channel. In other words, for any given channel the best distinguishable one is some unitary channel. Further, we prove that boundariness is sub-multiplicative under composition of systems and explicitly evaluate its maximal value that is attained only for the most mixed elements of the considered convex structures.

preprint2015arXiv

On the convex structure of process POVMs

Measurements on quantum channels are described by so-called process operator valued measures, or process POVMs. We study implementing schemes of extremal process POVMs. As it turns out, the corresponding measurement must satisfy certain extremality property, which is stronger that the usual extremality given by the convex structure. This property motivates the introduction and investigation of the A-convex structure of POVMs, which generalizes both the usual convex and C*-convex structure. We show that extremal points and faces of the set of process POVMs are closely related to A-extremal points and A-faces of POVMs, for a certain subalgebra A. We give a characterization of A-extremal and A-pure POVMs in the Appendix.

preprint2014arXiv

Randomization theorems for quantum channels

The classical randomization criterion is an important result of statistical decision theory. Recently, a quantum analogue has been proposed, giving equivalent conditions for two sets of quantum states, ensuring existence of a quantum channel mapping one set close to the other, in $L_1$-distance. In the present paper, we extend these concepts in several ways. First, sets of states are replaced by channels and randomization is performed by either post- or pre-composition with another channel. The $L_1$-distance is replaced by the diamond norm. Secondly, the maps are not required to be completely positive, but positivity is given by an admissible family of convex cones. It is shown that the randomization theorems, generalizing both quantum and classical randomization criteria, can be proved in the framework of base section norms, including the diamond norm and its dual. The theory of such norms is developed in the Appendix.

preprint2013arXiv

Base norms and discrimination of generalized quantum channels

We introduce and study norms in the space of hermitian operators, obtained from base norms in positively generated subspaces. These norms are closely related to discrimination of so-called generalized quantum channels, including quantum states, channels and networks. We further introduce generalized quantum decision problems and show that the maximal average payoff of decision procedures is again given by these norms. We also study optimality of decision procedures, in particular, we obtain a necessary and sufficient condition under which an optimal 1-tester for discrimination of quantum channels exists, such that the input state is maximally entangled.

preprint2012arXiv

Comparison of quantum binary experiments

A quantum binary experiment consists of a pair of density operators on a finite dimensional Hilbert space. An experiment E is called ε-deficient with respect to another experiment F if, up to ε, its risk functions are not worse than the risk functions of F, with respect to all statistical decision problems. It is known in the theory of classical statistical experiments that 1. for pairs of probability distributions, one can restrict to testing problems in the definition of deficiency and 2. that 0-deficiency is a necessary and sufficient condition for existence of a stochastic mapping that maps one pair onto the other. We show that in the quantum case, the property 1. holds precisely if E consist of commuting densities. As for property 2., we show that if E is 0-deficient with respect to F, then there exists a completely positive mapping that maps E onto F, but it is not necessarily trace preserving.

preprint2012arXiv

Extremality conditions for generalized channels

A generalized channel is a completely positive map that preserves trace on a given subspace. We find conditions under which a generalized channel with respect to a positively generated subspace J is an extreme point in the set of all such generalized channels. As a special case, this yields extremality conditions for quantum protocols. In particular, we obtain new extremality conditions for quantum 1-testers with 2 outcomes, which correspond to yes/no measurements on the set of quantum channels.

preprint2012arXiv

Generalized channels: channels for convex subsets of the state space

Let $K$ be a convex subset of the state space of a finite dimensional $C^*$-algebra. We study the properties of channels on $K$, which are defined as affine maps from $K$ into the state space of another algebra, extending to completely positive maps on the subspace generated by $K$. We show that each such map is the restriction of a completely positive map on the whole algebra, called a generalized channel. We characterize the set of generalized channels and also the equivalence classes of generalized channels having the same value on $K$. Moreover, if $K$ contains the tracial state, the set of generalized channels forms again a convex subset of a multipartite state space, this leads to a definition of a generalized supermap, which is a generalized channel with respect to this subset. We prove a decomposition theorem for generalized supermaps and describe the equivalence classes. The set of generalized supermaps having the same value on equivalent generalized channels is also characterized. Special cases include quantum combs and process POVMs.

preprint2012arXiv

Reversibility conditions for quantum operations

We give a list of equivalent conditions for reversibility of the adjoint of a unital Schwarz map with respect to a set of quantum states. A large class of such conditions is given by preservation of distinguishability measures: f-divergences, L_1 -distance, quantum Chernoff and Hoeffding distances; here we summarize and extend the known results. Moreover, we prove a number of conditions in terms of the properties of a quantum Radon-Nikodym derivative and factorization of states in the given set. Finally, we show that reversibility is equivalent with preservation of a large class of quantum Fisher informations and χ^2-divergences.

preprint2010arXiv

A Unified Treatment of Convexity of Relative Entropy and Related Trace Functions, with Conditions for Equality

We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map (A,B) --> Tr K^* A^p K B^{1-p} Lieb's joint concavity for 0 < p < 1 and Ando's joint convexity for 1 < p < 2. This approach allows us to obtain conditions for equality in these cases, as well as conditions for equality in a number of inequalities which follow from them. These include the monotonicity under partial traces, and some Minkowski type matrix inequalities proved by Lieb and Carlen for mixed (p,q) norms. In all cases the equality conditions are independent of p; for extensions to three spaces they are identical to the conditions for equality in the strong subadditivity of relative entropy.

preprint2010arXiv

Quantum hypothesis testing and sufficient subalgebras

We introduce a new notion of a sufficient subalgebra for quantum states: a subalgebra is 2- sufficient for a pair of states $\{ρ_0,ρ_1\}$ if it contains all Bayes optimal tests of $ρ_0$ against $ρ_1$. In classical statistics, this corresponds to the usual definition of sufficiency. We show this correspondence in the quantum setting for some special cases. Furthermore, we show that sufficiency is equivalent to 2 - sufficiency, if the latter is required for $\{ρ_0^{\otimes n},ρ_1^{\otimes}\}$, for all $n$.

preprint2007arXiv

Local asymptotic normality in quantum statistics

The theory of local asymptotic normality for quantum statistical experiments is developed in the spirit of the classical result from mathematical statistics due to Le Cam. Roughly speaking, local asymptotic normality means that the family varphi_{θ_{0}+ u/\sqrt{n}}^{n} consisting of joint states of n identically prepared quantum systems approaches in a statistical sense a family of Gaussian state phi_{u} of an algebra of canonical commutation relations. The convergence holds for all "local parameters" u\in R^{m} such that theta=theta_{0}+ u/sqrt{n} parametrizes a neighborhood of a fixed point theta_{0}\in Theta\subset R^{m}. In order to prove the result we define weak and strong convergence of quantum statistical experiments which extend to the asymptotic framework the notion of quantum sufficiency introduces by Petz. Along the way we introduce the concept of canonical state of a statistical experiment, and investigate the relation between the two notions of convergence. For reader's convenience and completeness we review the relevant results of the classical as well as the quantum theory.