Researcher profile

Koenraad M. R. Audenaert

Koenraad M. R. Audenaert contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
32works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

32 published item(s)

preprint2016arXiv

alpha-z-relative Renyi entropies

We consider a two-parameter family of Rényi relative entropies $D_{α,z}(ρ||σ)$ that are quantum generalisations of the classical Rényi divergence $D_α(p||q)$. This family includes many known relative entropies (or divergences) such as the quantum relative entropy, the recently defined quantum Rényi divergences, as well as the quantum Rényi relative entropies. All its members satisfy the quantum generalizations of Rényi's axioms for a divergence. We consider the range of the parameters $α,z$ for which the data processing inequality holds. We also investigate a variety of limiting cases for the two parameters, obtaining explicit formulas for each one of them.

preprint2014arXiv

On a Block Matrix Inequality quantifying the Monogamy of the Negativity of Entanglement

We convert a conjectured inequality from quantum information theory, due to He and Vidal, into a block matrix inequality and prove a special case. Given $n$ matrices $A_i$, $i=1,\ldots,n$, of the same size, let $Z_1$ and $Z_2$ be the block matrices $Z_1:=(A_jA_i^*)_{i,j=1}^n$ and $Z_2:=(A_j^*A_i)_{i,j=1}^n$. Then the conjectured inequality is \[ \left(||Z_1||_1-\trace Z_1\right)^2 + \left(||Z_2||_1-\trace Z_2\right)^2 \le \left(\sum_{i\neq j} ||A_i||_2 ||A_j||_2\right)^2. \] We prove this inequality for the already challenging case $n=2$ with $A_1$ equal to the identity matrix.

preprint2014arXiv

Quantum Skew Divergence

In this paper we study the quantum generalisation of the skew divergence, which is a dissimilarity measure between distributions introduced by L. Lee in the context of natural language processing. We provide an in-depth study of the quantum skew divergence, including its relation to other state distinguishability measures. Finally, we present a number of important applications: new continuity inequalities for the quantum Jensen-Shannon divergence and the Holevo information, and a new and short proof of Bravyi's Small Incremental Mixing conjecture.

preprint2014arXiv

Upper bounds on the error probabilities and asymptotic error exponents in quantum multiple state discrimination

We consider the multiple hypothesis testing problem for symmetric quantum state discrimination between r given states σ_1,...,σ_r. By splitting up the overall test into multiple binary tests in various ways we obtain a number of upper bounds on the optimal error probability in terms of the binary error probabilities. These upper bounds allow us to deduce various bounds on the asymptotic error rate, for which it has been hypothesised that it is given by the multi-hypothesis quantum Chernoff bound (or Chernoff divergence) C(σ_1,...,σ_r), as recently introduced by Nussbaum and Szkoła in analogy with Salikhov&#39;s classical multi-hypothesis Chernoff bound. This quantity is defined as the minimum of the pairwise binary Chernoff divergences min_{j<k}C(σ_j,σ_k). It was known already that the optimal asymptotic rate must lie between C/3 and C, and that for certain classes of sets of states the bound is actually achieved. It was known to be achieved, in particular, when the state pair that is closest together in Chernoff divergence is more than 6 times closer than the next closest pair. Our results improve on this in two ways. Firstly, we show that the optimal asymptotic rate must lie between C/2 and C. Secondly, we show that the Chernoff bound is already achieved when the closest state pair is more than 2 times closer than the next closest pair. We also show that the Chernoff bound is achieved when at least $r-2$ of the states are pure, improving on a previous result by Nussbaum and Szkoła. Finally, we indicate a number of potential pathways along which a proof (or disproof) may eventually be found that the multi-hypothesis quantum Chernoff bound is always achieved.

preprint2013arXiv

Comparisons between quantum state distinguishability measures

We provide a compendium of inequalities between several quantum state distinguishability measures. For each measure these inequalities consist of the sharpest possible upper and lower bounds in terms of another measure. Some of these inequalities are already known, but new or more general proofs are given, whereas other inequalities are new. We also supply cases of equality to show that all inequalities are indeed the sharpest possible.

preprint2013arXiv

On the asymmetry of the relative entropy

The quantum relative entropy $S(ρ||σ)$ is a widely used dissimilarity measure between quantum states, but it has the peculiarity of being asymmetric in its arguments. We quantify the amount of asymmetry by providing a sharp upper bound in terms of two parameters: the trace norm distance between the two states, and the smallest of the smallest eigenvalues of both states. The bound is essentially the asymmetry between two binary distributions governed by these two parameters.

preprint2013arXiv

Quantitative entanglement witnesses

Entanglement witnesses provide tools to detect entanglement in experimental situations without the need of having full tomographic knowledge about the state. If one estimates in an experiment an expectation value smaller than zero, one can directly infer that the state has been entangled, or specifically multi-partite entangled, in the first place. In this article, we emphasize that all these tests - based on the very same data - give rise to quantitative estimates in terms of entanglement measures: &#34;If a test is strongly violated, one can also infer that the state was quantitatively very much entangled&#34;. We consider various measures of entanglement, including the negativity, the entanglement of formation, and the robustness of entanglement, in the bipartite and multipartite setting. As examples, we discuss several experiments in the context of quantum state preparation that have recently been performed.

preprint2012arXiv

An Araki-Lieb-Thirring inequality for geometrically concave and geometrically convex functions

For positive definite matrices $A$ and $B$, the Araki-Lieb-Thirring inequality amounts to an eigenvalue log-submajorisation relation for fractional powers $$λ(A^t B^t) \prec_{w(\log)} λ^t(AB), \quad 0<t\le 1,$$ while for $t\ge1$, the reversed inequality holds. In this paper I generalise this inequality, replacing the fractional powers $x^t$ by a larger class of functions. Namely, a continuous, non-negative, geometrically concave function $f$ with domain $\dom(f)=[0,x_0)$ for some positive $x_0$ (possibly infinity) satisfies $$λ(f(A) f(B)) \prec_{w(\log)} f^2(λ^{1/2}(AB)),$$ for all positive semidefinite $A$ and $B$ with spectrum in $\dom(f)$, if and only if $0\le xf&#39;(x)\le f(x)$ for all $x\in\dom(f)$. The reversed inequality holds for continuous, non-negative, geometrically convex functions if and only if they satisfy $xf&#39;(x)\ge f(x)$ for all $x\in\dom(f)$. As an application I derive a complementary inequality to the Golden-Thompson inequality.

preprint2012arXiv

Quantum state discrimination bounds for finite sample size

In the problem of quantum state discrimination, one has to determine by measurements the state of a quantum system, based on the a priori side information that the true state is one of two given and completely known states, rho or sigma. In general, it is not possible to decide the identity of the true state with certainty, and the optimal measurement strategy depends on whether the two possible errors (mistaking rho for sigma, or the other way around) are treated as of equal importance or not. Results on the quantum Chernoff and Hoeffding bounds and the quantum Stein&#39;s lemma show that, if several copies of the system are available then the optimal error probabilities decay exponentially in the number of copies, and the decay rate is given by a certain statistical distance between rho and sigma (the Chernoff distance, the Hoeffding distances, and the relative entropy, respectively). While these results provide a complete solution to the asymptotic problem, they are not completely satisfying from a practical point of view. Indeed, in realistic scenarios one has access only to finitely many copies of a system, and therefore it is desirable to have bounds on the error probabilities for finite sample size. In this paper we provide finite-size bounds on the so-called Stein errors, the Chernoff errors, the Hoeffding errors and the mixed error probabilities related to the Chernoff and the Hoeffding errors.

preprint2011arXiv

A Characterisation of Anti-Lowner Functions

According to a celebrated result by Löwner, a real-valued function $f$ is operator monotone if and only if its Löwner matrix, which is the matrix of divided differences $L_f=(\frac{f(x_i)-f(x_j)}{x_i-x_j})_{i,j=1}^N$, is positive semidefinite for every integer $N>0$ and any choice of $x_1,x_2,...,x_N$. In this paper we answer a question of R. Bhatia, who asked for a characterisation of real-valued functions $g$ defined on $(0,+\infty)$ for which the matrix of divided sums $K_g=(\frac{g(x_i)+g(x_j)}{x_i+x_j})_{i,j=1}^N$, which we call its anti-Löwner matrix, is positive semidefinite for every integer $N>0$ and any choice of $x_1,x_2,...,x_N\in(0,+\infty)$. Such functions, which we call anti-Löwner functions, have applications in the theory of Lyapunov-type equations.

preprint2011arXiv

Continuity bounds on the quantum relative entropy - II

The quantum relative entropy is frequently used as a distance measure between two quantum states, and inequalities relating it to other distance measures are important mathematical tools in many areas of quantum information theory. We have derived many such inequalities in our previous work (K.M.R. Audenaert and J. Eisert, J. Math. Phys. 46, 102104 (2005)). The present paper is a follow-up on this, and provides sharp upper bounds on the relative entropy in terms of the trace norm distance and of the smallest eigenvalues of both states concerned. The results obtained here are more general than the corresponding one from our previous work, and also corrects a mistake in one of its proofs. As a by-product, we obtain a sharp upper bound on the regularised relative entropy introduced by Lendi, Farhadmotamed and van Wonderen.

preprint2011arXiv

On norm sub-additivity and super-additivity inequalities for concave and convex functions

Sub-additive and super-additive inequalities for concave and convex functions have been generalized to the case of matrices by several authors over a period of time. These lead to some interesting inequalities for matrices, which in some cases coincide with, and in other cases are at variance with the corresponding inequalities for real numbers. We survey some of these matrix inequalities and do further investigations into these. We introduce the novel notion of dominated majorization between the spectra of two Hermitian matrices $B$ and $C$, dominated by a third Hermitian matrix $A$. Based on an explicit formula for the gradient of the sum of the $k$ largest eigenvalues of a Hermitian matrix, we show that under certain conditions dominated majorization reduces to a linear majorization-like relation between the diagonal elements of $B$ and $C$ in a certain basis. We use this notion as a tool to give new, elementary proofs for the sub-additivity inequality for non-negative concave functions first proved by Bourin and Uchiyama and the corresponding super-additivity inequality for non-negative convex functions first proven by Kosem. Finally, we present counterexamples to some conjectures that Ando&#39;s inequality for operator convex functions could more generally hold, e.g.\ for ordinary convex, non-negative functions.

preprint2011arXiv

Telescopic Relative Entropy

We introduce the telescopic relative entropy (TRE), which is a new regularisation of the relative entropy related to smoothing, to overcome the problem that the relative entropy between pure states is either zero or infinity and therefore useless as a distance measure in this case. We study basic properties of this quantity, and find interesting relationships between the TRE and the trace norm distance. We then exploit the same techniques to obtain a new and shorter proof of a lower bound on the relative Renyi entropies in terms of the trace norm distance, $\traceρ^{1-p}σ^p \ge 1-(||ρ-σ||_1)/2$.

preprint2011arXiv

Telescopic Relative Entropy--II Triangle inequalities

In previous work (see arxiv:1102.3040), we have defined the telescopic relative entropy (TRE), which is a regularisation of the quantum relative entropy $S(ρ||σ)=\traceρ(\logρ-\logσ)$, by replacing the second argument $σ$ by a convex combination of the first and the second argument, $τ=aρ+(1-a)σ$ and dividing the result by $-\log a$. We also explored some basic properties of the TRE. In this follow-up paper we state and prove two upper bounds on the variation of the TRE when either the first or the second argument changes. These bounds are close in spirit to a triangle inequality. For the ordinary relative entropy no such bounds are possible due to the fact that the variation could be infinite.

preprint2010arXiv

In-betweenness: a geometric monotonicity property for operator means

We introduce the notions of in-betweenness and monotonicity with respect to a metric, for operator means. These notions can be seen as generalising their natural counterpart for scalar means, and as a relaxation of the notion of geodesity. We exhibit two classes of non-trivial means that are monotonic with respect to the Euclidean metric. We also show that all Kubo-Ando means are monotonic with respect to the trace metric, which is the natural metric for the geometric mean.

preprint2009arXiv

Quantum Tomographic Reconstruction with Error Bars: a Kalman Filter Approach

We present a novel quantum tomographic reconstruction method based on Bayesian inference via the Kalman filter update equations. The method not only yields the maximum likelihood/optimal Bayesian reconstruction, but also a covariance matrix expressing the measurement uncertainties in a complete way. From this covariance matrix the error bars on any derived quantity can be easily calculated. This is a first step towards the broader goal of devising an omnibus reconstruction method that could be adapted to any tomographic setup with little effort and that treats measurement uncertainties in a statistically well-founded way. In this first part we restrict ourselves to the important subclass of tomography based on measurements with discrete outcomes (as opposed to continuous ones), and we also ignore any measurement imperfections (dark counts, less than unit detector efficiency, etc.), which will be treated in a follow-up paper. We illustrate our general theory on real tomography experiments of quantum optical information processing elements.

preprint2009arXiv

Variance bounds, with an application to norm bounds for commutators

Murthy and Sethi (Sankhya Ser B \textbf{27}, 201--210 (1965)) gave a sharp upper bound on the variance of a real random variable in terms of the range of values of that variable. We generalise this bound to the complex case and, more importantly, to the matrix case. In doing so, we make contact with several geometrical and matrix analytical concepts, such as the numerical range, and introduce the new concept of radius of a matrix. We also give a new and simplified proof for a sharp upper bound on the Frobenius norm of commutators recently proven by Böttcher and Wenzel (Lin.\ Alg. Appl. \textbf{429} (2008) 1864--1885) and point out that at the heart of this proof lies exactly the matrix version of the variance we have introduced. As an immediate application of our variance bounds we obtain stronger versions of Böttcher and Wenzel&#39;s upper bound.

preprint2007arXiv

On a Norm Compression Inequality for 2XN Partitioned Block Matrices

We conjecture the following so-called norm compression inequality for $2\times N$ partitioned block matrices and the Schatten $p$-norms: for $p\ge 2$, $$ ||({array}{cccc} A_1 & A_2 & ... & A_N B_1 & B_2 & >... & B_N {array})||_p \le ||({array}{cccc} ||A_1||_p & ||A_2||_p & ... & ||A_N||_p \ ||B_1||_p & ||B_2||_p & ... & ||B_N||_p {array})||_p $$ while for $1\le p\le 2$ the ordering of the inequality is reversed. This inequality includes Hanner&#39;s inequality for matrices as a special case. We prove several special cases of this inequality and give examples for $3\times 3$ and larger partitionings where it does not hold.

preprint2007arXiv

On Random Unitary Channels

In this article we provide necessary and sufficient conditions for a completely positive trace-preserving (CPT) map to be decomposable into a convex combination of unitary maps. Additionally, we set out to define a proper distance measure between a given CPT map and the set of random unitary maps, and methods for calculating it. In this way one could determine whether non-classical error mechanisms such as spontaneous decay or photon loss dominate over classical uncertainties, for example in a phase parameter. The present paper is a step towards achieving this goal.

preprint2007arXiv

On the Araki-Lieb-Thirring inequality

We prove an inequality that complements the famous Araki-Lieb-Thirring (ALT) inequality for positive matrices $A$ and $B$, by giving a lower bound on the quantity $\trace[A^r B^r A^r]^q$ in terms of $\trace[ABA]^{rq}$ for $0\le r\le 1$ and $q\ge0$, whereas the ALT inequality gives an upper bound. The bound contains certain norms of $A$ and $B$ as additional ingredients and is therefore of a different nature than the Kantorovich type inequality obtained by Bourin (\textit{Math. Inequal. Appl.} \textbf{8}(2005) pp. 373--378) and others. Secondly, we also prove a generalisation of the ALT inequality to general matrices.

preprint2005arXiv

A Note on the p->q norms of Completely Positive Maps

King and Ruskai asked whether the $p\to q$ norm of a completely positive map $Φ$, acting between Schatten $p$ and $q$ classes of self-adjoint operators, $||Φ||_{p\to q} = \max_{A=A^*} \frac{||Φ(A)||_q}{||A||_p}$, is equal to the $p\to q$ norm of that map when acting between Schatten classes of general, not necessarily self-adjoint, operators. The first proof has been given by Watrous. We give an alternative proof of this statement.