Showing 1–50 of 94 results for author: Datta, N

Robustness of Fixed Points of Quantum Channels and Application to Approximate Quantum Markov Chains

Authors: Robert Salzmann, Bjarne Bergh, Nilanjana Datta

Abstract: Given a quantum channel and a state which satisfy a fixed point equation approximately (say, up to an error $\varepsilon$), can one find a new channel and a state, which are respectively close to the original ones, such that they satisfy an exact fixed point equation? It is interesting to ask this question for different choices of constraints on the structures of the original channel and state, an… ▽ More Given a quantum channel and a state which satisfy a fixed point equation approximately (say, up to an error $\varepsilon$), can one find a new channel and a state, which are respectively close to the original ones, such that they satisfy an exact fixed point equation? It is interesting to ask this question for different choices of constraints on the structures of the original channel and state, and requiring that these are also satisfied by the new channel and state. We affirmatively answer the above question, under fairly general assumptions on these structures, through a compactness argument. Additionally, for channels and states satisfying certain specific structures, we find explicit upper bounds on the distances between the pairs of channels (and states) in question. When these distances decay quickly (in a particular, desirable manner) as $\varepsilon\to 0$, we say that the original approximate fixed point equation is rapidly fixable. We establish rapid fixability, not only for general quantum channels, but also when the original and new channels are both required to be unitary, mixed unitary or unital. In contrast, for the case of bipartite quantum systems with channels acting trivially on one subsystem, we prove that approximate fixed point equations are not rapidly fixable. In this case, the distance to the closest channel (and state) which satisfy an exact fixed point equation can depend on the dimension of the quantum system in an undesirable way. We apply our results on approximate fixed point equations to the question of robustness of quantum Markov chains (QMC) and establish the following: For any tripartite quantum state, there exists a dimension-dependent upper bound on its distance to the set of QMCs, which decays to zero as the conditional mutual information of the state vanishes. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 71 pages

An invitation to the sample complexity of quantum hypothesis testing

Authors: Hao-Chung Cheng, Nilanjana Datta, Nana Liu, Theshani Nuradha, Robert Salzmann, Mark M. Wilde

Abstract: Quantum hypothesis testing (QHT) has been traditionally studied from the information-theoretic perspective, wherein one is interested in the optimal decay rate of error probabilities as a function of the number of samples of an unknown state. In this paper, we study the sample complexity of QHT, wherein the goal is to determine the minimum number of samples needed to reach a desired error probabil… ▽ More Quantum hypothesis testing (QHT) has been traditionally studied from the information-theoretic perspective, wherein one is interested in the optimal decay rate of error probabilities as a function of the number of samples of an unknown state. In this paper, we study the sample complexity of QHT, wherein the goal is to determine the minimum number of samples needed to reach a desired error probability. By making use of the wealth of knowledge that already exists in the literature on QHT, we characterize the sample complexity of binary QHT in the symmetric and asymmetric settings, and we provide bounds on the sample complexity of multiple QHT. In more detail, we prove that the sample complexity of symmetric binary QHT depends logarithmically on the inverse error probability and inversely on the negative logarithm of the fidelity. As a counterpart of the quantum Stein's lemma, we also find that the sample complexity of asymmetric binary QHT depends logarithmically on the inverse type II error probability and inversely on the quantum relative entropy, provided that the type II error probability is sufficiently small. We then provide lower and upper bounds on the sample complexity of multiple QHT, with it remaining an intriguing open question to improve these bounds. The final part of our paper outlines and reviews how sample complexity of QHT is relevant to a broad swathe of research areas and can enhance understanding of many fundamental concepts, including quantum algorithms for simulation and search, quantum learning and classification, and foundations of quantum mechanics. As such, we view our paper as an invitation to researchers coming from different communities to study and contribute to the problem of sample complexity of QHT, and we outline a number of open directions for future research. △ Less

Submitted 16 May, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: v3: 58 pages, 1 figure, correction to Corollary 10; see independent and concurrent work of Pensia, Jog, Loh at arXiv:2403.16981

Zero-error communication under discrete-time Markovian dynamics

Authors: Satvik Singh, Mizanur Rahaman, Nilanjana Datta

Abstract: Consider an open quantum system with (discrete-time) Markovian dynamics. Our task is to store information in the system in such a way that it can be retrieved perfectly, even after the system is left to evolve for an arbitrarily long time. We show that this is impossible for classical (resp. quantum) information precisely when the dynamics is mixing (resp. asymptotically entanglement breaking). Fu… ▽ More Consider an open quantum system with (discrete-time) Markovian dynamics. Our task is to store information in the system in such a way that it can be retrieved perfectly, even after the system is left to evolve for an arbitrarily long time. We show that this is impossible for classical (resp. quantum) information precisely when the dynamics is mixing (resp. asymptotically entanglement breaking). Furthermore, we provide tight universal upper bounds on the minimum time after which any such dynamics `scrambles' the encoded information beyond the point of perfect retrieval. On the other hand, for dynamics that are not of this kind, we show that information must be encoded inside the peripheral space associated with the dynamics in order for it to be perfectly recoverable at any time in the future. This allows us to derive explicit formulas for the maximum amount of information that can be protected from noise in terms of the structure of the peripheral space of the dynamics. △ Less

Submitted 2 July, 2024; v1 submitted 28 February, 2024; originally announced February 2024.

Comments: Updated version. Comments are welcome

Coupled cluster theory based on quantum electrodynamics: Physical aspects of closed shell and multi-reference open shell methods

Authors: Sambhu N. Datta

Abstract: Electrodynamical coupled cluster (CC) methodologies have been formulated employing standard QED Hamiltonian that is written in Coulomb gauge while using the DF and the MCDF pictures of the matter field for closed-shell and open-shell cases respectively. The general methodology employs a radiative cluster, pure matter clusters and their pair modifications, and a number state distribution of photons… ▽ More Electrodynamical coupled cluster (CC) methodologies have been formulated employing standard QED Hamiltonian that is written in Coulomb gauge while using the DF and the MCDF pictures of the matter field for closed-shell and open-shell cases respectively. The general methodology employs a radiative cluster, pure matter clusters and their pair modifications, and a number state distribution of photons in thermal equilibrium. The closed-shell treatment relies on the customary CC approach. For open shells, QED and electron correlation through CC are treated on the same footing. An averaging over the radiation state is done to generate Lamb, Breit and hyperfine interactions from the radiative cluster. Because of the thermal distribution, it leaves a residual transverse interaction that may modify the static correlation in open shells. Dynamical correlation effects are determined next by using the exponential matter cluster in traditional ways of single- and multi-reference CC. When the matter cluster is extended to include de-excitations to negative-energy levels, vacuum polarization effects are generated from the pair part of Coulomb interaction. The dynamical correlation energy includes relativistic corrections as well as QED contributions, namely, Lamb, Breit, hyperfine and pair energy. This work has three novelties: (i) QED interactions (Lamb, Breit and hyperfine) are obtained from a single procedure based on the radiative cluster; (ii) pair energy is determined from an extended matter cluster formalism; and (iii) additional correlation energy can be had from radiative effects and pair terms, while the option for higher order pair energy in high-Z atoms is kept open. The open-shell formalism has one more novelty in finding an additional static correlation in certain cases when the radiation is not isotropic. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 25 pages, 1 Figure Lecture given in 18th Theoretical Chemistry Symposium held at I.I.T. Madras, Chennai, India during December 7-10, 2023

Tightening continuity bounds on entropies and bounds on quantum capacities

Authors: Michael G. Jabbour, Nilanjana Datta

Abstract: Uniform continuity bounds on entropies are generally expressed in terms of a single distance measure between a pair of probability distributions or quantum states, typically, the total variation distance or trace distance. However, if an additional distance measure between the probability distributions or states is known, then the continuity bounds can be significantly strengthened. Here, we prove… ▽ More Uniform continuity bounds on entropies are generally expressed in terms of a single distance measure between a pair of probability distributions or quantum states, typically, the total variation distance or trace distance. However, if an additional distance measure between the probability distributions or states is known, then the continuity bounds can be significantly strengthened. Here, we prove a tight uniform continuity bound for the Shannon entropy in terms of both the local- and total variation distances, sharpening an inequality proven in [I. Sason, IEEE Trans. Inf. Th., 59, 7118 (2013)]. We also obtain a uniform continuity bound for the von Neumann entropy in terms of both the operator norm- and trace distances. The bound is tight when the quotient of the trace distance by the operator norm distance is an integer. We then apply our results to compute upper bounds on the quantum- and private classical capacities of channels. We begin by refining the concept of approximate degradable channels, namely, $\varepsilon$-degradable channels, which are, by definition, $\varepsilon$-close in diamond norm to their complementary channel when composed with a degrading channel. To this end, we introduce the notion of $(\varepsilon,ν)$-degradable channels; these are $\varepsilon$-degradable channels that are, in addition, $ν$-close in completely bounded spectral norm to their complementary channel, when composed with the same degrading channel. This allows us to derive improved upper bounds to the quantum- and private classical capacities of such channels. Moreover, these bounds can be further improved by considering certain unstabilized versions of the above norms. We show that upper bounds on the latter can be efficiently expressed as semidefinite programs. We illustrate our results by obtaining a new upper bound on the quantum capacity of the qubit depolarizing channel. △ Less

Submitted 2 November, 2023; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 34 pages, 5 figures. v2: Removed Lemma 3 (which was already known), added some references, improved presentation and removed some calculation details

Infinite Dimensional Asymmetric Quantum Channel Discrimination

Authors: Bjarne Bergh, Jan Kochanowski, Robert Salzmann, Nilanjana Datta

Abstract: We study asymmetric binary channel discrimination, for qantum channels acting on separable Hilbert spaces. We establish quantum Stein's lemma for channels for both adaptive and parallel strategies, and show that under finiteness of the geometric Rényi divergence between the two channels for some $α> 1$, adaptive strategies offer no asymptotic advantage over parallel ones. One major step in our arg… ▽ More We study asymmetric binary channel discrimination, for qantum channels acting on separable Hilbert spaces. We establish quantum Stein's lemma for channels for both adaptive and parallel strategies, and show that under finiteness of the geometric Rényi divergence between the two channels for some $α> 1$, adaptive strategies offer no asymptotic advantage over parallel ones. One major step in our argument is to demonstrate that the geometric Rényi divergence satisfies a chain rule and is additive for channels also in infinite dimensions. These results may be of independent interest. Furthermore, we not only show asymptotic equivalence of parallel and adaptive strategies, but explicitly construct a parallel strategy which approximates a given adaptive $n$-shot strategy, and give an explicit bound on the difference between the discrimination errors for these two strategies. This extends the finite dimensional result from [B. Bergh et al., arxiv:2206.08350]. Finally, this also allows us to conclude, that the chain rule for the Umegaki relative entropy in infinite dimensions, recently shown in [O. Fawzi, L. Gao, and M. Rahaman, arxiv:2212.14700v2] given finiteness of the max divergence between the two channels, also holds under the weaker condition of finiteness of the geometric Rényi divergence. We give explicit examples of channels which show that these two finiteness conditions are not equivalent. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Comments: 39 pages, 2 figures, comments welcome

Composite Classical and Quantum Channel Discrimination

Authors: Bjarne Bergh, Nilanjana Datta, Robert Salzmann

Abstract: We study the problem of binary composite channel discrimination in the asymmetric setting, where the hypotheses are given by fairly arbitrary sets of channels, and samples do not have to be identically distributed. In the case of quantum channels we prove: (i) a characterization of the Stein exponent for parallel channel discrimination strategies and (ii) an upper bound on the Stein exponent for a… ▽ More We study the problem of binary composite channel discrimination in the asymmetric setting, where the hypotheses are given by fairly arbitrary sets of channels, and samples do not have to be identically distributed. In the case of quantum channels we prove: (i) a characterization of the Stein exponent for parallel channel discrimination strategies and (ii) an upper bound on the Stein exponent for adaptive channel discrimination strategies. We further show that already for classical channels this upper bound can sometimes be achieved and be strictly larger than what is possible with parallel strategies. Hence, there can be an advantage of adaptive channel discrimination strategies with composite hypotheses for classical channels, unlike in the case of simple hypotheses. Moreover, we show that classically this advantage can only exist if the sets of channels corresponding to the hypotheses are non-convex. As a consequence of our more general treatment, which is not limited to the composite i.i.d. setting, we also obtain a generalization of previous composite state discrimination results. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: 29 pages, 1 figure, comments welcome

Classical shadow tomography for continuous variables quantum systems

Authors: Simon Becker, Nilanjana Datta, Ludovico Lami, Cambyse Rouzé

Abstract: In this article we develop a continuous variable (CV) shadow tomography scheme with wide ranging applications in quantum optics. Our work is motivated by the increasing experimental and technological relevance of CV systems in quantum information, quantum communication, quantum sensing, quantum simulations, quantum computing and error correction. We introduce two experimentally realisable schemes… ▽ More In this article we develop a continuous variable (CV) shadow tomography scheme with wide ranging applications in quantum optics. Our work is motivated by the increasing experimental and technological relevance of CV systems in quantum information, quantum communication, quantum sensing, quantum simulations, quantum computing and error correction. We introduce two experimentally realisable schemes for obtaining classical shadows of CV (possibly non-Gaussian) quantum states using only randomised Gaussian unitaries and easily implementable Gaussian measurements such as homodyne and heterodyne detection. For both schemes, we show that $N=O\big(\operatorname{poly}\big(\frac{1}ε,\log\big(\frac{1}δ\big),M_n^{r+α},\log(m)\big)\big)$ samples of an unknown $m$-mode state $ρ$ suffice to learn the expected value of any $r$-local polynomial in the canonical observables of degree $α$, both with high probability $1-δ$ and accuracy $ε$, as long as the state $ρ$ has moments of order $n>α$ bounded by $M_n$. By simultaneously truncating states and operators in energy and phase space, we are able to overcome new mathematical challenges that arise due to the infinite-dimensionality of CV systems. We also provide a scheme to learn nonlinear functionals of the state, such as entropies over any small number of modes, by leveraging recent energy-constrained entropic continuity bounds. Finally, we provide numerical evidence of the efficiency of our protocols in the case of CV states of relevance in quantum information theory, including ground states of quadratic Hamiltonians of many-body systems and cat qubit states. We expect our scheme to provide good recovery in learning relevant states of 2D materials and photonic crystals. △ Less

Submitted 1 March, 2023; v1 submitted 14 November, 2022; originally announced November 2022.

Journal ref: IEEE Trans. Inf. Theory 70(5), 3427-3452 (2024)

Fully undistillable quantum states are separable

Authors: Satvik Singh, Nilanjana Datta

Abstract: Assume that Alice, Bob, and Charlie share a tripartite pure state $|ψ_{ABC}\rangle$. We prove that if Alice cannot distill entanglement with either Bob or Charlie using $|ψ_{ABC}\rangle$ and local operations with any one of the following configurations for classical communication: $(A\to B, A\leftrightarrow C), (A\leftrightarrow B, A\to C),$ and $(A\leftrightarrow B, A\leftrightarrow C)$, then the… ▽ More Assume that Alice, Bob, and Charlie share a tripartite pure state $|ψ_{ABC}\rangle$. We prove that if Alice cannot distill entanglement with either Bob or Charlie using $|ψ_{ABC}\rangle$ and local operations with any one of the following configurations for classical communication: $(A\to B, A\leftrightarrow C), (A\leftrightarrow B, A\to C),$ and $(A\leftrightarrow B, A\leftrightarrow C)$, then the same is also true for the other two configurations. Moreover, this happens precisely when the state is such that both its reductions $ρ_{AB}$ and $ρ_{AC}$ are separable, which is further equivalent to the reductions being PPT. This, in particular, implies that any NPT bipartite state is such that either the state itself or its complement is 2-way distillable. In proving these results, we first obtain an explicit lower bound on the 2-way distillable entanglement of low rank bipartite states. Furthermore, we show that even though not all low rank states are 1-way distillable, a randomly sampled low rank state will almost surely be 1-way distillable. △ Less

Submitted 11 January, 2023; v1 submitted 11 July, 2022; originally announced July 2022.

Parallelization of Adaptive Quantum Channel Discrimination in the Non-Asymptotic Regime

Authors: Bjarne Bergh, Nilanjana Datta, Robert Salzmann, Mark M. Wilde

Abstract: We investigate the performance of parallel and adaptive quantum channel discrimination strategies for a finite number of channel uses. It has recently been shown that, in the asymmetric setting with asymptotically vanishing type I error probability, adaptive strategies are asymptotically not more powerful than parallel ones. We extend this result to the non-asymptotic regime with finitely many cha… ▽ More We investigate the performance of parallel and adaptive quantum channel discrimination strategies for a finite number of channel uses. It has recently been shown that, in the asymmetric setting with asymptotically vanishing type I error probability, adaptive strategies are asymptotically not more powerful than parallel ones. We extend this result to the non-asymptotic regime with finitely many channel uses, by explicitly constructing a parallel strategy for any given adaptive strategy, and bounding the difference in their performances, measured in terms of the decay rate of the type II error probability per channel use. We further show that all parallel strategies can be optimized over in time polynomial in the number of channel uses, and hence our result can also be used to obtain a poly-time-computable asymptotically tight upper bound on the performance of general adaptive strategies. △ Less

Submitted 16 January, 2024; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: v2: Accepted Version. Changes to v1: Added an entire section on computability of n-shot exponents, reworked the example section, and added many remarks and clarifications. 21 pages, 3 figures

Journal ref: IEEE Transactions on Information Theory, Volume 70, Issue 4, Pages 2617--2636, April 2024

Ergodic theory of diagonal orthogonal covariant quantum channels

Authors: Satvik Singh, Nilanjana Datta, Ion Nechita

Abstract: We analyze the ergodic properties of quantum channels that are covariant with respect to diagonal orthogonal transformations. We prove that the ergodic behaviour of a channel in this class is essentially governed by a classical stochastic matrix. This allows us to exploit tools from classical ergodic theory to study quantum ergodicity of such channels. As an application of our analysis, we study d… ▽ More We analyze the ergodic properties of quantum channels that are covariant with respect to diagonal orthogonal transformations. We prove that the ergodic behaviour of a channel in this class is essentially governed by a classical stochastic matrix. This allows us to exploit tools from classical ergodic theory to study quantum ergodicity of such channels. As an application of our analysis, we study dual unitary brickwork circuits which have recently been proposed as minimal models of quantum chaos in many-body systems. Upon imposing a local diagonal orthogonal invariance symmetry on these circuits, the long-term behaviour of spatio-temporal correlations between local observables in such circuits is completely determined by the ergodic properties of a channel that is covariant under diagonal orthogonal transformations. We utilize this fact to show that such symmetric dual unitary circuits exhibit a rich variety of ergodic behaviours, thus emphasizing their importance. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Total insecurity of communication via strong converse for quantum privacy amplification

Authors: Robert Salzmann, Nilanjana Datta

Abstract: Quantum privacy amplification is a central task in quantum cryptography. Given shared randomness, which is initially correlated with a quantum system held by an eavesdropper, the goal is to extract uniform randomness which is decoupled from the latter. The optimal rate for this task is known to satisfy the strong converse property and we provide a lower bound on the corresponding strong converse e… ▽ More Quantum privacy amplification is a central task in quantum cryptography. Given shared randomness, which is initially correlated with a quantum system held by an eavesdropper, the goal is to extract uniform randomness which is decoupled from the latter. The optimal rate for this task is known to satisfy the strong converse property and we provide a lower bound on the corresponding strong converse exponent. In the strong converse region, the distance of the final state of the protocol from the desired decoupled state converges exponentially fast to its maximal value, in the asymptotic limit. We show that this necessarily leads to totally insecure communication by establishing that the eavesdropper can infer any sent messages with certainty, when given very limited extra information. In fact, we prove that in the strong converse region, the eavesdropper has an exponential advantage in inferring the sent message correctly, compared to the achievability region. Additionally we establish the following technical result, which is central to our proofs, and is of independent interest: the smoothing parameter for the smoothed max-relative entropy satisfies the strong converse property. △ Less

Submitted 22 February, 2022; originally announced February 2022.

Comments: 18 pages

Coherent information of a quantum channel or its complement is generically positive

Authors: Satvik Singh, Nilanjana Datta

Abstract: The task of determining whether a given quantum channel has positive capacity to transmit quantum information is a fundamental open problem in quantum information theory. In general, the coherent information needs to be computed for an unbounded number of copies of a channel in order to detect a positive value of its quantum capacity. However, in this Letter, we show that the coherent information… ▽ More The task of determining whether a given quantum channel has positive capacity to transmit quantum information is a fundamental open problem in quantum information theory. In general, the coherent information needs to be computed for an unbounded number of copies of a channel in order to detect a positive value of its quantum capacity. However, in this Letter, we show that the coherent information of a single copy of a randomly selected channel is positive almost surely if the channel's output space is larger than its environment. Hence, in this case, a single copy of the channel typically suffices to determine positivity of its quantum capacity. Put differently, channels with zero coherent information have measure zero in the subset of channels for which the output space is larger than the environment. On the other hand, if the environment is larger than the channel's output space, identical results hold for the channel's complement. △ Less

Submitted 3 August, 2022; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: Minor modifications with updated references

Journal ref: Quantum 6, 775 (2022)

Detecting positive quantum capacities of quantum channels

Authors: Satvik Singh, Nilanjana Datta

Abstract: Using elementary techniques from analytic perturbation theory of Hermitian matrices, we devise a simple strategy to detect positive quantum capacities of quantum channels and their complements. Several noteworthy examples, such as the depolarizing and transpose-depolarizing channels (including the Werner-Holevo channel), dephasing channels, generalized Pauli channels, multi-level amplitude damping… ▽ More Using elementary techniques from analytic perturbation theory of Hermitian matrices, we devise a simple strategy to detect positive quantum capacities of quantum channels and their complements. Several noteworthy examples, such as the depolarizing and transpose-depolarizing channels (including the Werner-Holevo channel), dephasing channels, generalized Pauli channels, multi-level amplitude damping channels, and (conjugate) diagonal unitary covariant channels, serve to aptly exhibit the utility of our method. Our main result leads to simplified proofs of certain existing structure theorems for the class of degradable quantum channels, and an extension of their applicability to the larger class of more capable quantum channels. △ Less

Submitted 13 May, 2021; originally announced May 2021.

Interpolating between symmetric and asymmetric hypothesis testing

Authors: Robert Salzmann, Nilanjana Datta

Abstract: The task of binary quantum hypothesis testing is to determine the state of a quantum system via measurements on it, given the side information that it is in one of two possible states, say $ρ$ and $σ$. This task is generally studied in either the symmetric setting, in which the two possible errors incurred in the task (the so-called type I and type II errors) are treated on an equal footing, or th… ▽ More The task of binary quantum hypothesis testing is to determine the state of a quantum system via measurements on it, given the side information that it is in one of two possible states, say $ρ$ and $σ$. This task is generally studied in either the symmetric setting, in which the two possible errors incurred in the task (the so-called type I and type II errors) are treated on an equal footing, or the asymmetric setting in which one minimizes the type II error probability under the constraint that the corresponding type I error probability is below a given threshold. Here we define a one-parameter family of binary quantum hypothesis testing tasks, which we call $s$-hypothesis testing, and in which the relative significance of the two errors are weighted by a parameter $s$. In particular, $s$-hypothesis testing interpolates continuously between the regimes of symmetric and asymmetric hypothesis testing. Moreover, if arbitrarily many identical copies of the system are assumed to be available, then the minimal error probability of $s$-hypothesis testing is shown to decay exponentially in the number of copies, with a decay rate given by a quantum divergence which we denote as $ξ_s(ρ\|σ)$, and which satisfies a host of interesting properties. Moreover, this one-parameter family of divergences interpolates continuously between the corresponding decay rates for symmetric hypothesis testing (the quantum Chernoff divergence) for $s = 1$, and asymmetric hypothesis testing (the Umegaki relative entropy) for $s = 0$. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Comments: 17 pages, 2 figures

From Classical to Quantum: Uniform Continuity Bounds on Entropies in Infinite Dimensions

Authors: Simon Becker, Nilanjana Datta, Michael G. Jabbour

Abstract: We prove a variety of new and refined uniform continuity bounds for entropies of both classical random variables on an infinite state space and of quantum states of infinite-dimensional systems. We obtain the first tight continuity estimate on the Shannon entropy of random variables with a countably infinite alphabet. The proof relies on a new mean-constrained Fano-type inequality and the notion o… ▽ More We prove a variety of new and refined uniform continuity bounds for entropies of both classical random variables on an infinite state space and of quantum states of infinite-dimensional systems. We obtain the first tight continuity estimate on the Shannon entropy of random variables with a countably infinite alphabet. The proof relies on a new mean-constrained Fano-type inequality and the notion of maximal coupling of random variables. We then employ this classical result to derive the first tight energy-constrained continuity bound for the von Neumann entropy of states of infinite-dimensional quantum systems, when the Hamiltonian is the number operator, which is arguably the most relevant Hamiltonian in the study of infinite-dimensional quantum systems in the context of quantum information theory. The above scheme works only for Shannon- and von Neumann entropies. Hence, to deal with more general entropies, e.g. $α$-Rényi and $α$-Tsallis entropies, with $α\in (0,1)$, for which continuity bounds are known only for finite-dimensional systems, we develop a novel approximation scheme which relies on recent results on operator Hölder continuous functions and the equivalence of all Schatten norms in special spectral subspaces of the Hamiltonian. This approach is, as we show, motivated by continuity bounds for $α$-Rényi and $α$-Tsallis entropies of random variables that follow from the Hölder continuity of the entropy functionals. Bounds for $α>1$ are provided, too. Finally, we settle an open problem on related approximation questions posed in the recent works by Shirokov on the so-called Finite-dimensional Approximation (FA) property. △ Less

Submitted 17 July, 2023; v1 submitted 5 April, 2021; originally announced April 2021.

Comments: comments welcome

Journal ref: IEEE Transactions on Information Theory, vol. 69, no. 7, pp. 4128-4144, July 2023

Symmetric distinguishability as a quantum resource

Authors: Robert Salzmann, Nilanjana Datta, Gilad Gour, Xin Wang, Mark M. Wilde

Abstract: We develop a resource theory of symmetric distinguishability, the fundamental objects of which are elementary quantum information sources, i.e., sources that emit one of two possible quantum states with given prior probabilities. Such a source can be represented by a classical-quantum state of a composite system $XA$, corresponding to an ensemble of two quantum states, with $X$ being classical and… ▽ More We develop a resource theory of symmetric distinguishability, the fundamental objects of which are elementary quantum information sources, i.e., sources that emit one of two possible quantum states with given prior probabilities. Such a source can be represented by a classical-quantum state of a composite system $XA$, corresponding to an ensemble of two quantum states, with $X$ being classical and $A$ being quantum. We study the resource theory for two different classes of free operations: $(i)$ ${\rm{CPTP}}_A$, which consists of quantum channels acting only on $A$, and $(ii)$ conditional doubly stochastic (CDS) maps acting on $XA$. We introduce the notion of symmetric distinguishability of an elementary source and prove that it is a monotone under both these classes of free operations. We study the tasks of distillation and dilution of symmetric distinguishability, both in the one-shot and asymptotic regimes. We prove that in the asymptotic regime, the optimal rate of converting one elementary source to another is equal to the ratio of their quantum Chernoff divergences, under both these classes of free operations. This imparts a new operational interpretation to the quantum Chernoff divergence. We also obtain interesting operational interpretations of the Thompson metric, in the context of the dilution of symmetric distinguishability. △ Less

Submitted 20 August, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: 59 pages main text + 25 pages of appendices, 4 figures

Journal ref: New Journal of Physics, Volume 23, Article No. 083016, August 2021

The $α\to 1$ Limit of the Sharp Quantum Rényi Divergence

Authors: Bjarne Bergh, Robert Salzmann, Nilanjana Datta

Abstract: Fawzi and Fawzi recently defined the sharp Rényi divergence, $D_α^\#$, for $α\in (1, \infty)$, as an additional quantum Rényi divergence with nice mathematical properties and applications in quantum channel discrimination and quantum communication. One of their open questions was the limit $α \to 1$ of this divergence. By finding a new expression of the sharp divergence in terms of a minimization… ▽ More Fawzi and Fawzi recently defined the sharp Rényi divergence, $D_α^\#$, for $α\in (1, \infty)$, as an additional quantum Rényi divergence with nice mathematical properties and applications in quantum channel discrimination and quantum communication. One of their open questions was the limit $α \to 1$ of this divergence. By finding a new expression of the sharp divergence in terms of a minimization of the geometric Rényi divergence, we show that this limit is equal to the Belavkin-Staszewski relative entropy. Analogous minimizations of arbitrary generalized divergences lead to a new family of generalized divergences that we call kringel divergences, and for which we prove various properties including the data-processing inequality. △ Less

Submitted 8 March, 2021; v1 submitted 12 February, 2021; originally announced February 2021.

Comments: 11 pages, no figures. v3: Fixed a typo in Lemma 3 and simplified the argument in Lemma 11. v2: Restructured the proof of the main result and added clarifications to improve readability

Journal ref: J. Math. Phys. 62, 092205 (2021)

Quantum Zeno effect for open quantum systems

Authors: Simon Becker, Nilanjana Datta, Robert Salzmann

Abstract: We prove the quantum Zeno effect in open quantum systems whose evolution, governed by quantum dynamical semigroups, is repeatedly and frequently interrupted by the action of a quantum operation. For the case of a quantum dynamical semigroup with a bounded generator, our analysis leads to a refinement of existing results and extends them to a larger class of quantum operations. We also prove the ex… ▽ More We prove the quantum Zeno effect in open quantum systems whose evolution, governed by quantum dynamical semigroups, is repeatedly and frequently interrupted by the action of a quantum operation. For the case of a quantum dynamical semigroup with a bounded generator, our analysis leads to a refinement of existing results and extends them to a larger class of quantum operations. We also prove the existence of a novel strong quantum Zeno limit for quantum operations for which a certain spectral gap assumption, which all previous results relied on, is lifted. The quantum operations are instead required to satisfy a weaker property of strong power-convergence. In addition, we establish, for the first time, the existence of a quantum Zeno limit for the case of unbounded generators. We also provide a variety of physically interesting examples of quantum operations to which our results apply. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Comments: 45 pages

A tight uniform continuity bound for the Arimoto-Rényi conditional entropy and its extension to classical-quantum states

Authors: Michael G. Jabbour, Nilanjana Datta

Abstract: We prove a tight uniform continuity bound for Arimoto's version of the conditional $α$-Rényi entropy, for the range $α\in [0, 1)$. This definition of the conditional Rényi entropy is the most natural one among the multiple forms which exist in the literature, since it satisfies two desirable properties of a conditional entropy, namely, the fact that conditioning reduces entropy, and that the assoc… ▽ More We prove a tight uniform continuity bound for Arimoto's version of the conditional $α$-Rényi entropy, for the range $α\in [0, 1)$. This definition of the conditional Rényi entropy is the most natural one among the multiple forms which exist in the literature, since it satisfies two desirable properties of a conditional entropy, namely, the fact that conditioning reduces entropy, and that the associated reduction in uncertainty cannot exceed the information gained by conditioning. Furthermore, it has found interesting applications in various information theoretic tasks such as guessing with side information and sequential decoding. This conditional entropy reduces to the conditional Shannon entropy in the limit $α\to 1$, and this in turn allows us to recover the recently obtained tight uniform continuity bound for the latter from our result. Finally, we apply our result to obtain a tight uniform continuity bound for the conditional $α$-Rényi entropy of a classical-quantum state, for $α$ in the same range as above. This again yields the corresponding known bound for the conditional entropy of the state in the limit $α\to 1$. △ Less

Submitted 26 March, 2022; v1 submitted 9 July, 2020; originally announced July 2020.

Comments: 23 pages. Changes in v2: new references added and minor corrections to existing references. Changes in v3: last version as published, minor corrections, Appendix 3 added with figures in order to illustrate the steps of the proof of Theorem 1

Journal ref: IEEE Trans. Inf. Th., vol. 68, no. 4, p. 2169-2181 (2022)

Energy-constrained discrimination of unitaries, quantum speed limits and a Gaussian Solovay-Kitaev theorem

Authors: Simon Becker, Nilanjana Datta, Ludovico Lami, Cambyse Rouzé

Abstract: We investigate the energy-constrained (EC) diamond norm distance between unitary channels acting on possibly infinite-dimensional quantum systems, and establish a number of results. Firstly, we prove that optimal EC discrimination between two unitary channels does not require the use of any entanglement. Extending a result by Acín, we also show that a finite number of parallel queries suffices to… ▽ More We investigate the energy-constrained (EC) diamond norm distance between unitary channels acting on possibly infinite-dimensional quantum systems, and establish a number of results. Firstly, we prove that optimal EC discrimination between two unitary channels does not require the use of any entanglement. Extending a result by Acín, we also show that a finite number of parallel queries suffices to achieve zero error discrimination even in this EC setting. Secondly, we employ EC diamond norms to study a novel type of quantum speed limits, which apply to pairs of quantum dynamical semigroups. We expect these results to be relevant for benchmarking internal dynamics of quantum devices. Thirdly, we establish a version of the Solovay--Kitaev theorem that applies to the group of Gaussian unitaries over a finite number of modes, with the approximation error being measured with respect to the EC diamond norm relative to the photon number Hamiltonian. △ Less

Submitted 13 May, 2021; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: 24 pages, no figures. In v2 we added the estimates in Eq. (3) and (4), and improved Thm 6. In v3, which is close to the published version, we improved the overall presentation (e.g. of the proof of Thm 3 in the SM)

Journal ref: Phys. Rev. Lett. 126, 190504 (2021)

Guesswork with Quantum Side Information

Authors: Eric P. Hanson, Vishal Katariya, Nilanjana Datta, Mark M. Wilde

Abstract: What is the minimum number of guesses needed on average to correctly guess a realization of a random variable? The answer to this question led to the introduction of the notion of a quantity called guesswork by Massey in 1994, which can be viewed as an alternate security criterion to entropy. In this paper, we consider the guesswork in the presence of quantum side information, and show that a gene… ▽ More What is the minimum number of guesses needed on average to correctly guess a realization of a random variable? The answer to this question led to the introduction of the notion of a quantity called guesswork by Massey in 1994, which can be viewed as an alternate security criterion to entropy. In this paper, we consider the guesswork in the presence of quantum side information, and show that a general sequential guessing strategy is equivalent to performing a single measurement and choosing a guessing strategy from the outcome. We use this result to deduce entropic one-shot and asymptotic bounds on the guesswork in the presence of quantum side information, and to formulate a semi-definite program (SDP) to calculate the quantity. We evaluate the guesswork for a simple example involving the BB84 states, both numerically and analytically, and prove a continuity result that certifies the security of slightly imperfect key states when the guesswork is used as the security criterion. △ Less

Submitted 23 December, 2021; v1 submitted 10 January, 2020; originally announced January 2020.

Comments: v3: 17 pages, 2 figures, final version published in IEEE Transactions on Information Theory

Journal ref: IEEE Transactions on Information Theory, vol. 68, no. 1, pages 322--338, January 2022

Convergence rates for the quantum central limit theorem

Authors: Simon Becker, Nilanjana Datta, Ludovico Lami, Cambyse Rouzé

Abstract: Various quantum analogues of the central limit theorem, which is one of the cornerstones of probability theory, are known in the literature. One such analogue, due to Cushen and Hudson, is of particular relevance for quantum optics. It implies that the state in any single output arm of an $n$-splitter, which is fed with $n$ copies of a centred state $ρ$ with finite second moments, converges to the… ▽ More Various quantum analogues of the central limit theorem, which is one of the cornerstones of probability theory, are known in the literature. One such analogue, due to Cushen and Hudson, is of particular relevance for quantum optics. It implies that the state in any single output arm of an $n$-splitter, which is fed with $n$ copies of a centred state $ρ$ with finite second moments, converges to the Gaussian state with the same first and second moments as $ρ$. Here we exploit the phase space formalism to carry out a refined analysis of the rate of convergence in this quantum central limit theorem. For instance, we prove that the convergence takes place at a rate $\mathcal{O}\left(n^{-1/2}\right)$ in the Hilbert--Schmidt norm whenever the third moments of $ρ$ are finite. Trace norm or relative entropy bounds can be obtained by leveraging the energy boundedness of the state. Via analytical and numerical examples we show that our results are tight in many respects. An extension of our proof techniques to the non-i.i.d. setting is used to analyse a new model of a lossy optical fibre, where a given $m$-mode state enters a cascade of $n$ beam splitters of equal transmissivities $λ^{1/n}$ fed with an arbitrary (but fixed) environment state. Assuming that the latter has finite third moments, and ignoring unitaries, we show that the effective channel converges in diamond norm to a simple thermal attenuator, with a rate $\mathcal{O}\Big(n^{-\frac{1}{2(m+1)}}\Big)$. This allows us to establish bounds on the classical and quantum capacities of the cascade channel. Along the way, we derive several results that may be of independent interest. For example, we prove that any quantum characteristic function $χ_ρ$ is uniformly bounded by some $η_ρ<1$ outside of any neighbourhood of the origin; also, $η_ρ$ can be made to depend only on the energy of the state $ρ$. △ Less

Submitted 24 February, 2020; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: 52 pages, 4 figures. The presentation in v2 has been improved extensively; the proofs in Sections VI and VIII have been re-written, although their mathematical content is almost unchanged; the statement of Corollary 13 has been slightly modified; we added a Remark on p.41

Journal ref: Commun. Math. Phys. 383, 223-279 (2021)

Universal proofs of entropic continuity bounds via majorization flow

Authors: Eric P. Hanson, Nilanjana Datta

Abstract: We introduce a notion of majorization flow, and demonstrate it to be a powerful tool for deriving simple and universal proofs of continuity bounds for entropic functions relevant in information theory. In particular, for the case of the alpha-Rényi entropy, whose connections to thermodynamics are discussed in this article, majorization flow yields a Lipschitz continuity bound for the case alpha >… ▽ More We introduce a notion of majorization flow, and demonstrate it to be a powerful tool for deriving simple and universal proofs of continuity bounds for entropic functions relevant in information theory. In particular, for the case of the alpha-Rényi entropy, whose connections to thermodynamics are discussed in this article, majorization flow yields a Lipschitz continuity bound for the case alpha > 1, thus resolving an open problem and providing a substantial improvement over previously known bounds. △ Less

Submitted 22 July, 2021; v1 submitted 16 September, 2019; originally announced September 2019.

Comments: 29 pages; v2: added Cor. 3.2, Section 7, shortened some proofs, minor fixes; v3: added Section 6.2, minor fixes

Strong Converse for Classical-Quantum Degraded Broadcast Channels

Authors: Hao-Chung Cheng, Nilanjana Datta, Cambyse Rouzé

Abstract: We consider the transmission of classical information through a degraded broadcast channel, whose outputs are two quantum systems, with the state of one being a degraded version of the other. Yard et al. proved that the capacity region of such a channel is contained in a region characterized by certain entropic quantities. We prove that this region satisfies the strong converse property, that is,… ▽ More We consider the transmission of classical information through a degraded broadcast channel, whose outputs are two quantum systems, with the state of one being a degraded version of the other. Yard et al. proved that the capacity region of such a channel is contained in a region characterized by certain entropic quantities. We prove that this region satisfies the strong converse property, that is, the maximal probability of error incurred in transmitting information at rates lying outside this region converges to one exponentially in the number of uses of the channel. In establishing this result, we prove a second-order Fano-type inequality, which might be of independent interest. A powerful analytical tool which we employ in our proofs is the tensorization property of the quantum reverse hypercontractivity for the quantum depolarizing semigroup. △ Less

Submitted 2 May, 2019; originally announced May 2019.

Strong converse bounds in quantum network information theory: distributed hypothesis testing and source coding

Authors: Hao-Chung Cheng, Nilanjana Datta, Cambyse Rouzé

Abstract: We consider a distributed quantum hypothesis testing problem with communication constraints, in which the two hypotheses correspond to two different states of a bipartite quantum system, multiple identical copies of which are shared between Alice and Bob. They are allowed to perform local operations on their respective systems and send quantum information to Charlie at limited rates. By doing meas… ▽ More We consider a distributed quantum hypothesis testing problem with communication constraints, in which the two hypotheses correspond to two different states of a bipartite quantum system, multiple identical copies of which are shared between Alice and Bob. They are allowed to perform local operations on their respective systems and send quantum information to Charlie at limited rates. By doing measurements on the systems that he receives, Charlie needs to infer which of the two different states the original bipartite state was in, that is, which of the two hypotheses is true. We prove that the Stein exponent for this problem is given by a regularized quantum relative entropy. The latter reduces to a single letter formula when the alternative hypothesis consists of the products of the marginals of the null hypothesis, and there is no rate constraint imposed on Bob. Our proof relies on certain properties of the so-called quantum information bottleneck function. The second part of this paper concerns the general problem of finding finite blocklength strong converse bounds in quantum network information theory. In the classical case, the analogue of this problem has been reformulated in terms of the so-called image size characterization problem. Here, we extend this problem to the classical-quantum setting and prove a second order strong converse bound for it. As a by-product, we obtain a similar bound for the Stein exponent for distributed hypothesis testing in the special case in which the bipartite system is a classical-quantum system, as well as for the task of quantum source coding with compressed classical side information. Our proofs use a recently developed tool from quantum functional inequalities, namely, the tensorization property of reverse hypercontractivity for the quantum depolarizing semigroup. △ Less

Submitted 2 May, 2019; originally announced May 2019.

A Coupled Cluster Theory Based on Quantum Electrodynamics

Authors: Sambhu N. Datta

Abstract: An electrodynamical coupled cluster (CC) methodology starting from a covariant formalism and an equal time approximation, and finally based on the Dirac-Fock picture of the electron and positron fields and Coulomb gauge, is given here. The formalism first leads to different physical interactions from the use of an exponential cluster operator for radiative effects. Lamb, Breit and hyperfine intera… ▽ More An electrodynamical coupled cluster (CC) methodology starting from a covariant formalism and an equal time approximation, and finally based on the Dirac-Fock picture of the electron and positron fields and Coulomb gauge, is given here. The formalism first leads to different physical interactions from the use of an exponential cluster operator for radiative effects. Lamb, Breit and hyperfine interactions are obtained. Next, relativistic many-body effects are determined using the matter cluster in a way familiar from the nonrelativistic CC. This step can be nontrivial. By allowing the matter cluster to deviate from its traditional excitation-only form, vacuum polarization effects are generated using the pair part of Coulomb interaction. The resulting ground state correlation energy includes both relativistic and QED corrections, the latter including contributions from Lamb, Breit, hyperfine and vacuum polarization effects. The many-electron part of the theory is explicitly formulated for closed shell species. The conservatism of the second step indicates that extensions to multireference and state-specific cases are possible. To illustrate the CC approach, expressions are derived for relativistic and QED corrections to the orbital energies, configuration energies and the ground state correlation energy in a minimal basis calculation on noninteracting H2 molecules. Size-consistency is maintained at every step. Because spinors of nonzero orbital angular momentum are absent, the spin-orbit interaction and Lamb shift corrections vanish in this example. However, one finds the kinetic energy correction, Darwin terms and corrections to the two-electron interaction in relativistic energy values through order mc2a4Z4, and Breit interaction energy and hyperfine splitting of levels as QED effects through the same order. Pair energies are explicitly shown through the lowest possible orders. △ Less

Submitted 29 April, 2019; v1 submitted 8 April, 2019; originally announced April 2019.

Comments: 1 Appendix, 22 Pages

Convexity and Operational Interpretation of the Quantum Information Bottleneck Function

Authors: Nilanjana Datta, Christoph Hirche, Andreas Winter

Abstract: In classical information theory, the information bottleneck method (IBM) can be regarded as a method of lossy data compression which focusses on preserving meaningful (or relevant) information. As such it has recently gained a lot of attention, primarily for its applications in machine learning and neural networks. A quantum analogue of the IBM has recently been defined, and an attempt at providin… ▽ More In classical information theory, the information bottleneck method (IBM) can be regarded as a method of lossy data compression which focusses on preserving meaningful (or relevant) information. As such it has recently gained a lot of attention, primarily for its applications in machine learning and neural networks. A quantum analogue of the IBM has recently been defined, and an attempt at providing an operational interpretation of the so-called quantum IB function as an optimal rate of an information-theoretic task, has recently been made by Salek et al. However, the interpretation given in that paper has a couple of drawbacks; firstly its proof is based on a conjecture that the quantum IB function is convex, and secondly, the expression for the rate function involves certain entropic quantities which occur explicitly in the very definition of the underlying information-theoretic task, thus making the latter somewhat contrived. We overcome both of these drawbacks by first proving the convexity of the quantum IB function, and then giving an alternative operational interpretation of it as the optimal rate of a bona fide information-theoretic task, namely that of quantum source coding with quantum side information at the decoder, and relate the quantum IB function to the rate region of this task. We similarly show that the related privacy funnel function is convex (both in the classical and quantum case). However, we comment that it is unlikely that the quantum privacy funnel function can characterize the optimal asymptotic rate of an information theoretic task, since even its classical version lacks a certain additivity property which turns out to be essential. △ Less

Submitted 22 March, 2019; v1 submitted 8 October, 2018; originally announced October 2018.

Comments: 17 pages, 7 figures; v2: improved presentation and explanations, one new figure; v3: Restructured manuscript. Theorem 2 has been found previously in work by Hsieh and Watanabe; it is now correctly attributed

Journal ref: Proc. ISIT 2019, 7-12 July 2019, Paris, pp. 1157-1161

Convergence rates for quantum evolution & entropic continuity bounds in infinite dimensions

Authors: Simon Becker, Nilanjana Datta

Abstract: By extending the concept of energy-constrained diamond norms, we obtain continuity bounds on the dynamics of both closed and open quantum systems in infinite-dimensions, which are stronger than previously known bounds. We extensively discuss applications of our theory to quantum speed limits, attenuator and amplifier channels, the quantum Boltzmann equation, and quantum Brownian motion. Next, we o… ▽ More By extending the concept of energy-constrained diamond norms, we obtain continuity bounds on the dynamics of both closed and open quantum systems in infinite-dimensions, which are stronger than previously known bounds. We extensively discuss applications of our theory to quantum speed limits, attenuator and amplifier channels, the quantum Boltzmann equation, and quantum Brownian motion. Next, we obtain explicit log-Lipschitz continuity bounds for entropies of infinite-dimensional quantum systems, and classical capacities of infinite-dimensional quantum channels under energy-constraints. These bounds are determined by the high energy spectrum of the underlying Hamiltonian and can be evaluated using Weyl's law. △ Less

Submitted 11 October, 2018; v1 submitted 1 October, 2018; originally announced October 2018.

Comments: 51 pages

Duality between source coding with quantum side information and c-q channel coding

Authors: Hao-Chung Cheng, Eric P. Hanson, Nilanjana Datta, Min-Hsiu Hsieh

Abstract: In this paper, we establish an interesting duality between two different quantum information-processing tasks, namely, classical source coding with quantum side information, and channel coding over c-q channels. The duality relates the optimal error exponents of these two tasks, generalizing the classical results of Ahlswede and Dueck. We establish duality both at the operational level and at the… ▽ More In this paper, we establish an interesting duality between two different quantum information-processing tasks, namely, classical source coding with quantum side information, and channel coding over c-q channels. The duality relates the optimal error exponents of these two tasks, generalizing the classical results of Ahlswede and Dueck. We establish duality both at the operational level and at the level of the entropic quantities characterizing these exponents. For the latter, the duality is given by an exact relation, whereas for the former, duality manifests itself in the following sense: an optimal coding strategy for one task can be used to construct an optimal coding strategy for the other task. Along the way, we derive a bound on the error exponent for c-q channel coding with constant composition codes which might be of independent interest. △ Less

Submitted 28 September, 2018; originally announced September 2018.

Comments: 35 pages

Quantum reverse hypercontractivity: its tensorization and application to strong converses

Authors: Salman Beigi, Nilanjana Datta, Cambyse Rouzé

Abstract: In this paper we develop the theory of quantum reverse hypercontractivity inequalities and show how they can be derived from log-Sobolev inequalities. Next we prove a generalization of the Stroock-Varopoulos inequality in the non-commutative setting which allows us to derive quantum hypercontractivity and reverse hypercontractivity inequalities solely from $2$-log-Sobolev and $1$-log-Sobolev inequ… ▽ More In this paper we develop the theory of quantum reverse hypercontractivity inequalities and show how they can be derived from log-Sobolev inequalities. Next we prove a generalization of the Stroock-Varopoulos inequality in the non-commutative setting which allows us to derive quantum hypercontractivity and reverse hypercontractivity inequalities solely from $2$-log-Sobolev and $1$-log-Sobolev inequalities respectively. We then prove some tensorization-type results providing us with tools to prove hypercontractivity and reverse hypercontractivity not only for certain quantum superoperators but also for their tensor powers. Finally as an application of these results, we generalize a recent technique for proving strong converse bounds in information theory via reverse hypercontractivity inequalities to the quantum setting. We prove strong converse bounds for the problems of quantum hypothesis testing and classical-quantum channel coding based on the quantum reverse hypercontractivity inequalities that we derive. △ Less

Submitted 1 June, 2020; v1 submitted 26 April, 2018; originally announced April 2018.

Comments: 36 pages

Journal ref: Communications in Mathematical Physics 376(2), 753-794 (2020)

Non-Asymptotic Classical Data Compression with Quantum Side Information

Authors: Hao-Chung Cheng, Eric P. Hanson, Nilanjana Datta, Min-Hsiu Hsieh

Abstract: In this paper, we analyze classical data compression with quantum side information (also known as the classical-quantum Slepian-Wolf protocol) in the so-called large and moderate deviation regimes. In the non-asymptotic setting, the protocol involves compressing classical sequences of finite length $n$ and decoding them with the assistance of quantum side information. In the large deviation regime… ▽ More In this paper, we analyze classical data compression with quantum side information (also known as the classical-quantum Slepian-Wolf protocol) in the so-called large and moderate deviation regimes. In the non-asymptotic setting, the protocol involves compressing classical sequences of finite length $n$ and decoding them with the assistance of quantum side information. In the large deviation regime, the compression rate is fixed, and we obtain bounds on the error exponent function, which characterizes the minimal probability of error as a function of the rate. Devetak and Winter showed that the asymptotic data compression limit for this protocol is given by a conditional entropy. For any protocol with a rate below this quantity, the probability of error converges to one asymptotically and its speed of convergence is given by the strong converse exponent function. We obtain finite blocklength bounds on this function, and determine exactly its asymptotic value. In the moderate deviation regime for the compression rate, the latter is no longer considered to be fixed. It is allowed to depend on the blocklength $n$, but assumed to decay slowly to the asymptotic data compression limit. Starting from a rate above this limit, we determine the speed of convergence of the error probability to zero and show that it is given in terms of the conditional information variance. Our results complement earlier results obtained by Tomamichel and Hayashi, in which they analyzed the so-called small deviation regime of this protocol. △ Less

Submitted 26 March, 2018; v1 submitted 20 March, 2018; originally announced March 2018.

Comments: 45 pages, 3 figures; v2 added reference [23] (prior work on strong converse exponent lower bounds); v3 fixed typos and added comparisons with reference [23]

Relating relative entropy, optimal transport and Fisher information: a quantum HWI inequality

Authors: Cambyse Rouzé, Nilanjana Datta

Abstract: Quantum Markov semigroups characterize the time evolution of an important class of open quantum systems. Studying convergence properties of such a semigroup, and determining concentration properties of its invariant state, have been the focus of much research. Quantum versions of functional inequalities (like the modified logarithmic Sobolev and Poincaré inequalities) and the so-called transportat… ▽ More Quantum Markov semigroups characterize the time evolution of an important class of open quantum systems. Studying convergence properties of such a semigroup, and determining concentration properties of its invariant state, have been the focus of much research. Quantum versions of functional inequalities (like the modified logarithmic Sobolev and Poincaré inequalities) and the so-called transportation cost inequalities, have proved to be essential for this purpose. Classical functional and transportation cost inequalities are seen to arise from a single geometric inequality, called the Ricci lower bound, via an inequality which interpolates between them. The latter is called the HWI-inequality, where the letters I, W and H are, respectively, acronyms for the Fisher information (arising in the modified logarithmic Sobolev inequality), the so-called Wasserstein distance (arising in the transportation cost inequality) and the relative entropy (or Boltzmann H function) arising in both. Hence, classically, all the above inequalities and the implications between them form a remarkable picture which relates elements from diverse mathematical fields, such as Riemannian geometry, information theory, optimal transport theory, Markov processes, concentration of measure, and convexity theory. Here we consider a quantum version of the Ricci lower bound introduced by Carlen and Maas, and prove that it implies a quantum HWI inequality from which the quantum functional and transportation cost inequalities follow. Our results hence establish that the unifying picture of the classical setting carries over to the quantum one. △ Less

Submitted 21 September, 2017; originally announced September 2017.

Comments: 29 pages, 2 figures

A Review of the Min-Max Approach to the Solution of Relativistic Electron Wave Equation

Authors: Sambhu Nath Datta

Abstract: The variation problem associated with the solution of Dirac's relativistic electron equation is reviewed here. Derivation of the min-max theorem is discussed. A new observation is that the spurious roots of negative energy satisfy a max-min theorem. The min-max principle (MMP) for solution of Dirac equation, extendable to the Dirac-Fock case, is concisely reviewed. MMP for two-electron Dirac-Coulo… ▽ More The variation problem associated with the solution of Dirac's relativistic electron equation is reviewed here. Derivation of the min-max theorem is discussed. A new observation is that the spurious roots of negative energy satisfy a max-min theorem. The min-max principle (MMP) for solution of Dirac equation, extendable to the Dirac-Fock case, is concisely reviewed. MMP for two-electron Dirac-Coulomb equation is discussed. The min-max theorem is physically interpreted for both Dirac and Dirac-Coulomb problems. Applications of MMP are collated in tables. Associated theoretical and computational developments are outlined. Limitations of MMP are spelt out and recent mathematical developments are discussed. △ Less

Submitted 19 September, 2017; originally announced September 2017.

Comments: 24 pages, 5 figures. To be submitted to a peer reviewed international journal. This article presents a review of the work on the derivation of min-max theorems for relativistic electron equations that were published by the author and others in several journals

Petz recovery versus matrix reconstruction

Authors: Milan Holzäpfel, Marcus Cramer, Nilanjana Datta, Martin B. Plenio

Abstract: The reconstruction of the state of a multipartite quantum mechanical system represents a fundamental task in quantum information science. At its most basic, it concerns a state of a bipartite quantum system whose subsystems are subjected to local operations. We compare two different methods for obtaining the original state from the state resulting from the action of these operations. The first met… ▽ More The reconstruction of the state of a multipartite quantum mechanical system represents a fundamental task in quantum information science. At its most basic, it concerns a state of a bipartite quantum system whose subsystems are subjected to local operations. We compare two different methods for obtaining the original state from the state resulting from the action of these operations. The first method involves quantum operations called Petz recovery maps, acting locally on the two subsystems. The second method is called matrix (or state) reconstruction and involves local, linear maps which are not necessarily completely positive. Moreover, we compare the quantities on which the maps employed in the two methods depend. We show that any state which admits Petz recovery also admits state reconstruction. However, the latter is successful for a strictly larger set of states. We also compare these methods in the context of a finite spin chain. Here, the state of a finite spin chain is reconstructed from the reduced states of a few neighbouring spins. In this setting, state reconstruction is the same as the MPO (i.e. matrix product operator) reconstruction proposed by Baumgratz et al. in [Phys. Rev. Lett. 111, 020401 (2013)]. Finally, we generalize both these methods so that they employ long-range measurements instead of relying solely on short-range correlations embodied in such local reduced states. Long-range measurements enable the reconstruction of states which cannot be reconstructed from measurements of local few-body observables alone and hereby we improve existing methods for quantum state tomography of quantum many-body systems. △ Less

Submitted 13 September, 2017; originally announced September 2017.

Comments: 52 pages, 3 figures

Journal ref: J. of Math. Phys. 59, 042201 (2018)

Approaches for approximate additivity of the Holevo information of quantum channels

Authors: Felix Leditzky, Eneet Kaur, Nilanjana Datta, Mark M. Wilde

Abstract: We study quantum channels that are close to another channel with weakly additive Holevo information and derive upper bounds on their classical capacity. Examples of channels with weakly additive Holevo information are entanglement-breaking channels, unital qubit channels, and Hadamard channels. Related to the method of approximate degradability, we define approximation parameters for each class ab… ▽ More We study quantum channels that are close to another channel with weakly additive Holevo information and derive upper bounds on their classical capacity. Examples of channels with weakly additive Holevo information are entanglement-breaking channels, unital qubit channels, and Hadamard channels. Related to the method of approximate degradability, we define approximation parameters for each class above that measure how close an arbitrary channel is to satisfying the respective property. This gives us upper bounds on the classical capacity in terms of functions of the approximation parameters, as well as an outer bound on the dynamic capacity region of a quantum channel. Since these parameters are defined in terms of the diamond distance, the upper bounds can be computed efficiently using semidefinite programming (SDP). We exhibit the usefulness of our method with two example channels: a convex mixture of amplitude damping and depolarizing noise, and a composition of amplitude damping and dephasing noise. For both channels, our bounds perform well in certain regimes of the noise parameters in comparison to a recently derived SDP upper bound on the classical capacity. Along the way, we define the notion of a generalized channel divergence (which includes the diamond distance as an example), and we prove that for jointly covariant channels these quantities are maximized by purifications of a state invariant under the covariance group. This latter result may be of independent interest. △ Less

Submitted 22 August, 2020; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: 23 pages, 5 figures, comments welcome! v2: added proof of capacity bound for eps-Hadamard channels, and bounds on the triple trade-off region for eps-close Hadamard channels; v3: corrected minor issue in Figure 1, updated references

Journal ref: Physical Review A, vol. 97, no. 1, page 012332, January 2018

Tight uniform continuity bound for a family of entropies

Authors: Eric P. Hanson, Nilanjana Datta

Abstract: We prove a tight uniform continuity bound for a family of entropies which includes the von Neumann entropy, the Tsallis entropy and the $α$-Rényi entropy, $S_α$, for $α\in (0,1)$. We establish necessary and sufficient conditions for equality in the continuity bound and prove that these conditions are the same for every member of the family. Our result builds on recent work in which we constructed… ▽ More We prove a tight uniform continuity bound for a family of entropies which includes the von Neumann entropy, the Tsallis entropy and the $α$-Rényi entropy, $S_α$, for $α\in (0,1)$. We establish necessary and sufficient conditions for equality in the continuity bound and prove that these conditions are the same for every member of the family. Our result builds on recent work in which we constructed a state which was majorized by every state in a neighbourhood ($\varepsilon$-ball) of a given state, and thus was the minimal state in majorization order in the $\varepsilon$-ball. This minimal state satisfies a particular semigroup property, which we exploit to prove our bound. △ Less

Submitted 20 July, 2017; v1 submitted 13 July, 2017; originally announced July 2017.

Comments: 16 pages, 4 figures. v2: added missing definition of Tsallis entropy, corrected minor typos

Maximum and minimum entropy states yielding local continuity bounds

Authors: Eric P. Hanson, Nilanjana Datta

Abstract: Given an arbitrary quantum state ($σ$), we obtain an explicit construction of a state $ρ^*_\varepsilon(σ)$ (resp. $ρ_{*,\varepsilon}(σ)$) which has the maximum (resp. minimum) entropy among all states which lie in a specified neighbourhood ($\varepsilon$-ball) of $σ$. Computing the entropy of these states leads to a local strengthening of the continuity bound of the von Neumann entropy, i.e., the… ▽ More Given an arbitrary quantum state ($σ$), we obtain an explicit construction of a state $ρ^*_\varepsilon(σ)$ (resp. $ρ_{*,\varepsilon}(σ)$) which has the maximum (resp. minimum) entropy among all states which lie in a specified neighbourhood ($\varepsilon$-ball) of $σ$. Computing the entropy of these states leads to a local strengthening of the continuity bound of the von Neumann entropy, i.e., the Audenaert-Fannes inequality. Our bound is local in the sense that it depends on the spectrum of $σ$. The states $ρ^*_\varepsilon(σ)$ and $ρ_{*,\varepsilon}(σ)$ depend only on the geometry of the $\varepsilon$-ball and are in fact optimizers for a larger class of entropies. These include the Rényi entropy and the min- and max- entropies. This allows us to obtain local continuity bounds for these quantities as well. In obtaining this bound, we first derive a more general result which may be of independent interest, namely a necessary and sufficient condition under which a state maximizes a concave and Gâteaux-differentiable function in an $\varepsilon$-ball around a given state $σ$. Examples of such a function include the von Neumann entropy, and the conditional entropy of bipartite states. Our proofs employ tools from the theory of convex optimization under non-differentiable constraints, in particular Fermat's Rule, and majorization theory. △ Less

Submitted 21 September, 2017; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 38 pages; v2: added an application, streamlined proofs of Lem. 6.8-6.11, corrected typos, corrected figure 1, updated the style of figure 2

Journal ref: Journal of Mathematical Physics 59, no. 4 (April 1, 2018): 042204

Concentration of quantum states from quantum functional and transportation cost inequalities

Authors: Cambyse Rouzé, Nilanjana Datta

Abstract: Quantum functional inequalities (e.g. the logarithmic Sobolev- and Poincaré inequalities) have found widespread application in the study of the behavior of primitive quantum Markov semigroups. The classical counterparts of these inequalities are related to each other via a so-called transportation cost inequality of order 2 (TC2). The latter inequality relies on the notion of a metric on the set o… ▽ More Quantum functional inequalities (e.g. the logarithmic Sobolev- and Poincaré inequalities) have found widespread application in the study of the behavior of primitive quantum Markov semigroups. The classical counterparts of these inequalities are related to each other via a so-called transportation cost inequality of order 2 (TC2). The latter inequality relies on the notion of a metric on the set of probability distributions called the Wasserstein distance of order 2. (TC2) in turn implies a transportation cost inequality of order 1 (TC1). In this paper, we introduce quantum generalizations of the inequalities (TC1) and (TC2), making use of appropriate quantum versions of the Wasserstein distances, one recently defined by Carlen and Maas and the other defined by us. We establish that these inequalities are related to each other, and to the quantum modified logarithmic Sobolev- and Poincaré inequalities, as in the classical case. We also show that these inequalities imply certain concentration-type results for the invariant state of the underlying semigroup. We consider the example of the depolarizing semigroup to derive concentration inequalities for any finite dimensional full-rank quantum state. These inequalities are then applied to derive upper bounds on the error probabilities occurring in the setting of finite blocklength quantum parameter estimation. △ Less

Submitted 10 October, 2017; v1 submitted 7 April, 2017; originally announced April 2017.

Comments: 38 pages, 2 figures. v2: minor typos corrected, examples + section on parameter estimation added

Useful states and entanglement distillation

Authors: Felix Leditzky, Nilanjana Datta, Graeme Smith

Abstract: We derive general upper bounds on the distillable entanglement of a mixed state under one-way and two-way LOCC. In both cases, the upper bound is based on a convex decomposition of the state into 'useful' and 'useless' quantum states. By 'useful', we mean a state whose distillable entanglement is non-negative and equal to its coherent information (and thus given by a single-letter, tractable formu… ▽ More We derive general upper bounds on the distillable entanglement of a mixed state under one-way and two-way LOCC. In both cases, the upper bound is based on a convex decomposition of the state into 'useful' and 'useless' quantum states. By 'useful', we mean a state whose distillable entanglement is non-negative and equal to its coherent information (and thus given by a single-letter, tractable formula). On the other hand, 'useless' states are undistillable, i.e., their distillable entanglement is zero. We prove that in both settings the distillable entanglement is convex on such decompositions. Hence, an upper bound on the distillable entanglement is obtained from the contributions of the useful states alone, being equal to the convex combination of their coherent informations. Optimizing over all such decompositions of the input state yields our upper bound. The useful and useless states are given by degradable and antidegradable states in the one-way LOCC setting, and by maximally correlated and PPT states in the two-way LOCC setting, respectively. We also illustrate how our method can be extended to quantum channels. Interpreting our upper bound as a convex roof extension, we show that it reduces to a particularly simple, non-convex optimization problem for the classes of isotropic states and Werner states. In the one-way LOCC setting, this non-convex optimization yields an upper bound on the quantum capacity of the qubit depolarizing channel that is strictly tighter than previously known bounds for large values of the depolarizing parameter. In the two-way LOCC setting, the non-convex optimization achieves the PPT-relative entropy of entanglement for both isotropic and Werner states. △ Less

Submitted 13 November, 2017; v1 submitted 11 January, 2017; originally announced January 2017.

Comments: 36 pages, 4 figures, 2 tables, comments welcome. v2: title change, includes new results about entanglement distillation under two-way LOCC and distillable entanglement of states with symmetries. v3: references updated. v4: accepted for publication in IEEE Transactions on Information Theory, added comparison to SDP bound from arXiv:1601.07940

Journal ref: IEEE Transactions on Information Theory, vol. 64, no. 7, pp. 4689-4708, July 2018

Finite blocklength and moderate deviation analysis of hypothesis testing of correlated quantum states and application to classical-quantum channels with memory

Authors: Cambyse Rouze, Nilanjana Datta

Abstract: Martingale concentration inequalities constitute a powerful mathematical tool in the analysis of problems in a wide variety of fields ranging from probability and statistics to information theory and machine learning. Here we apply techniques borrowed from this field to quantum hypothesis testing, which is the problem of discriminating quantum states belonging to two different sequences… ▽ More Martingale concentration inequalities constitute a powerful mathematical tool in the analysis of problems in a wide variety of fields ranging from probability and statistics to information theory and machine learning. Here we apply techniques borrowed from this field to quantum hypothesis testing, which is the problem of discriminating quantum states belonging to two different sequences $\{ρ_n\}_{n}$ and $\{σ_n\}_n$. We obtain upper bounds on the finite blocklength type II Stein- and Hoeffding errors, which, for i.i.d. states, are in general tighter than the corresponding bounds obtained by Audenaert, Mosonyi and Verstraete [Journal of Mathematical Physics, 53(12), 2012]. We also derive finite blocklength bounds and moderate deviation results for pairs of sequences of correlated states satisfying a (non-homogeneous) factorization property. Examples of such sequences include Gibbs states of spin chains with translation-invariant finite range interaction, as well as finitely correlated quantum states. We apply our results to find bounds on the capacity of a certain class of classical-quantum channels with memory, which satisfy a so-called channel factorization property- both in the finite blocklength and moderate deviation regimes. △ Less

Submitted 5 March, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Comments: 47 pages, 1 figure. This paper supersedes our previous paper (arXiv:1612.01464), in which hypothesis testing of sequences of correlated states, and analysis of classical-quantum channels with memory, were not done

Structure of irreducibly covariant quantum channels for finite groups

Authors: Marek Mozrzymas, Michał Studziński, Nilanjana Datta

Abstract: We obtain an explicit characterization of linear maps, in particular, quantum channels, which are covariant with respect to an irreducible representation ($U$) of a finite group ($G$), whenever $U \otimes U^c$ is simply reducible (with $U^c$ being the contragradient representation). Using the theory of group representations, we obtain the spectral decomposition of any such linear map. The eigenval… ▽ More We obtain an explicit characterization of linear maps, in particular, quantum channels, which are covariant with respect to an irreducible representation ($U$) of a finite group ($G$), whenever $U \otimes U^c$ is simply reducible (with $U^c$ being the contragradient representation). Using the theory of group representations, we obtain the spectral decomposition of any such linear map. The eigenvalues and orthogonal projections arising in this decomposition are expressed entirely in terms of representation characteristics of the group $G$. This in turn yields necessary and sufficient conditions on the eigenvalues of any such linear map for it to be a quantum channel. We also obtain a wide class of quantum channels which are irreducibly covariant by construction. For two-dimensional irrreducible representations of the symmetric group $S(3)$, and the quaternion group $Q$, we also characterize quantum channels which are both irreducibly covariant and entanglement breaking. △ Less

Submitted 25 May, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: 43 pages, 3 figures

Journal ref: Journal of Mathematical Physics 58, 052204 (2017)

Contractivity properties of a quantum diffusion semigroup

Authors: Nilanjana Datta, Yan Pautrat, Cambyse Rouze

Abstract: We consider a quantum generalization of the classical heat equation, and study contractivity properties of its associated semigroup. We prove a Nash inequality and a logarithmic Sobolev inequality. The former leads to an ultracontractivity result. This in turn implies that the largest eigenvalue and the purity of a state with positive Wigner function, evolving under the action of the semigroup, de… ▽ More We consider a quantum generalization of the classical heat equation, and study contractivity properties of its associated semigroup. We prove a Nash inequality and a logarithmic Sobolev inequality. The former leads to an ultracontractivity result. This in turn implies that the largest eigenvalue and the purity of a state with positive Wigner function, evolving under the action of the semigroup, decrease at least inverse polynomially in time, while its entropy increases at least logarithmically in time. △ Less

Submitted 28 April, 2017; v1 submitted 14 July, 2016; originally announced July 2016.

Comments: The results of this paper were presented at the "48th Symposium on Mathematical Physics; Gorini-Kossakowski-Lindblad-Sudarshan Master Equation - 40 Years After", held in Torun, Poland (June 10-12, 2016). v2: minor typos and proof of Theorem 7 corrected. v3, v4: minor typos corrected and overall presentation improved. v5: Published version. v6: metadata modified

Journal ref: Journal of Mathematical Physics 58, 012205 (2017)

Data processing for the sandwiched Rényi divergence: a condition for equality

Authors: Felix Leditzky, Cambyse Rouzé, Nilanjana Datta

Abstract: The $α$-sandwiched Rényi divergence satisfies the data processing inequality, i.e. monotonicity under quantum operations, for $α\geq 1/2$. In this article, we derive a necessary and sufficient algebraic condition for equality in the data processing inequality for the $α$-sandwiched Rényi divergence for all $α\geq 1/2$. For the range $α\in [1/2,1)$, our result provides the only condition for equali… ▽ More The $α$-sandwiched Rényi divergence satisfies the data processing inequality, i.e. monotonicity under quantum operations, for $α\geq 1/2$. In this article, we derive a necessary and sufficient algebraic condition for equality in the data processing inequality for the $α$-sandwiched Rényi divergence for all $α\geq 1/2$. For the range $α\in [1/2,1)$, our result provides the only condition for equality obtained thus far. To prove our result, we first consider the special case of partial trace, and derive a condition for equality based on the original proof of the data processing inequality by Frank and Lieb [J. Math. Phys. 54.12 (2013), p. 122201] using a strict convexity/concavity argument. We then generalize to arbitrary quantum operations via the Stinespring Representation Theorem. As applications of our condition for equality in the data processing inequality, we deduce conditions for equality in various entropic inequalities. We formulate a Rényi version of the Araki-Lieb inequality and analyze the case of equality, generalizing a result by Carlen and Lieb [Lett. Math. Phys. 101.1 (2012), pp. 1-11] about equality in the original Araki-Lieb inequality. Furthermore, we prove a general lower bound on a Rényi version of the entanglement of formation, and observe that it is attained by states saturating the Rényi version of the Araki-Lieb inequality. Finally, we prove that the known upper bound on the entanglement fidelity in terms of the usual fidelity is saturated only by pure states. △ Less

Submitted 15 November, 2016; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: 17 pages, no figures, comments welcome! v4: published version in Letters in Mathematical Physics

Journal ref: Letters in Mathematical Physics 107 (1), pp. 61-80, 2017

Second-order asymptotics for quantum hypothesis testing in settings beyond i.i.d. - quantum lattice systems and more

Authors: Nilanjana Datta, Yan Pautrat, Cambyse Rouzé

Abstract: Quantum Stein's Lemma is a cornerstone of quantum statistics and concerns the problem of correctly identifying a quantum state, given the knowledge that it is one of two specific states ($ρ$ or $σ$). It was originally derived in the asymptotic i.i.d. setting, in which arbitrarily many (say, $n$) identical copies of the state ($ρ^{\otimes n}$ or $σ^{\otimes n}$) are considered to be available. In t… ▽ More Quantum Stein's Lemma is a cornerstone of quantum statistics and concerns the problem of correctly identifying a quantum state, given the knowledge that it is one of two specific states ($ρ$ or $σ$). It was originally derived in the asymptotic i.i.d. setting, in which arbitrarily many (say, $n$) identical copies of the state ($ρ^{\otimes n}$ or $σ^{\otimes n}$) are considered to be available. In this setting, the lemma states that, for any given upper bound on the probability $α_n$ of erroneously inferring the state to be $σ$, the probability $β_n$ of erroneously inferring the state to be $ρ$ decays exponentially in $n$, with the rate of decay converging to the relative entropy of the two states. The second order asymptotics for quantum hypothesis testing, which establishes the speed of convergence of this rate of decay to its limiting value, was derived in the i.i.d. setting independently by Tomamichel and Hayashi, and Li. We extend this result to settings beyond i.i.d.. Examples of these include Gibbs states of quantum spin systems (with finite-range, translation-invariant interactions) at high temperatures. △ Less

Submitted 11 March, 2016; v1 submitted 15 October, 2015; originally announced October 2015.

Comments: 34 pages and 2 figures. Version 4: a new proposition, Proposition 1, (and its proof) added and the proof of Equation (3.4) corrected using it

Strong converse theorems using Rényi entropies

Authors: Felix Leditzky, Mark M. Wilde, Nilanjana Datta

Abstract: We use a Rényi entropy method to prove strong converse theorems for certain information-theoretic tasks which involve local operations and quantum or classical communication between two parties. These include state redistribution, coherent state merging, quantum state splitting, measurement compression with quantum side information, randomness extraction against quantum side information, and data… ▽ More We use a Rényi entropy method to prove strong converse theorems for certain information-theoretic tasks which involve local operations and quantum or classical communication between two parties. These include state redistribution, coherent state merging, quantum state splitting, measurement compression with quantum side information, randomness extraction against quantum side information, and data compression with quantum side information. The method we employ in proving these results extends ideas developed by Sharma [arXiv:1404.5940], which he used to give a new proof of the strong converse theorem for state merging. For state redistribution, we prove the strong converse property for the boundary of the entire achievable rate region in the $(e,q)$-plane, where $e$ and $q$ denote the entanglement cost and quantum communication cost, respectively. In the case of measurement compression with quantum side information, we prove a strong converse theorem for the classical communication cost, which is a new result extending the previously known weak converse. For the remaining tasks, we provide new proofs for strong converse theorems previously established using smooth entropies. For each task, we obtain the strong converse theorem from explicit bounds on the figure of merit of the task in terms of a Rényi generalization of the optimal rate. Hence, we identify candidates for the strong converse exponents for each task discussed in this paper. To prove our results, we establish various new entropic inequalities, which might be of independent interest. These involve conditional entropies and mutual information derived from the sandwiched Rényi divergence. In particular, we obtain novel bounds relating these quantities, as well as the Rényi conditional mutual information, to the fidelity of two quantum states. △ Less

Submitted 9 August, 2016; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: 40 pages, 5 figures; v4: Accepted for publication in Journal of Mathematical Physics

Journal ref: J. Math. Phys. 57, 082202 (2016)

Decoding quantum information via the Petz recovery map

Authors: Salman Beigi, Nilanjana Datta, Felix Leditzky

Abstract: We obtain a lower bound on the maximum number of qubits, $Q^{n, \varepsilon}({\mathcal{N}})$, which can be transmitted over $n$ uses of a quantum channel $\mathcal{N}$, for a given non-zero error threshold $\varepsilon$. To obtain our result, we first derive a bound on the one-shot entanglement transmission capacity of the channel, and then compute its asymptotic expansion up to the second order.… ▽ More We obtain a lower bound on the maximum number of qubits, $Q^{n, \varepsilon}({\mathcal{N}})$, which can be transmitted over $n$ uses of a quantum channel $\mathcal{N}$, for a given non-zero error threshold $\varepsilon$. To obtain our result, we first derive a bound on the one-shot entanglement transmission capacity of the channel, and then compute its asymptotic expansion up to the second order. In our method to prove this achievability bound, the decoding map, used by the receiver on the output of the channel, is chosen to be the {\em{Petz recovery map}} (also known as the {\em{transpose channel}}). Our result, in particular, shows that this choice of the decoder can be used to establish the coherent information as an achievable rate for quantum information transmission. Applying our achievability bound to the 50-50 erasure channel (which has zero quantum capacity), we find that there is a sharp error threshold above which $Q^{n, \varepsilon}({\mathcal{N}})$ scales as $\sqrt{n}$. △ Less

Submitted 9 January, 2017; v1 submitted 17 April, 2015; originally announced April 2015.

Comments: 33 pages

Journal ref: J. Math. Phys. 57(8), 082203 (2016)

Entropy power inequalities for qudits

Authors: Koenraad Audenaert, Nilanjana Datta, Maris Ozols

Abstract: Shannon's entropy power inequality (EPI) can be viewed as a statement of concavity of an entropic function of a continuous random variable under a scaled addition rule: $$f(\sqrt{a}\,X + \sqrt{1-a}\,Y) \ge a f(X) + (1-a) f(Y) \quad \forall \, a \in [0,1].$$ Here, $X$ and $Y$ are continuous random variables and the function $f$ is either the differential entropy or the entropy power. König and Smit… ▽ More Shannon's entropy power inequality (EPI) can be viewed as a statement of concavity of an entropic function of a continuous random variable under a scaled addition rule: $$f(\sqrt{a}\,X + \sqrt{1-a}\,Y) \ge a f(X) + (1-a) f(Y) \quad \forall \, a \in [0,1].$$ Here, $X$ and $Y$ are continuous random variables and the function $f$ is either the differential entropy or the entropy power. König and Smith [arXiv:1205.3409] and De Palma, Mari, and Giovannetti [arXiv:1402.0404] obtained quantum analogues of these inequalities for continuous-variable quantum systems, where $X$ and $Y$ are replaced by bosonic fields and the addition rule is the action of a beamsplitter with transmissivity $a$ on those fields. In this paper, we similarly establish a class of EPI analogues for $d$-level quantum systems (i.e. qudits). The underlying addition rule for which these inequalities hold is given by a quantum channel that depends on the parameter $a \in [0,1]$ and acts like a finite-dimensional analogue of a beamsplitter with transmissivity $a$, converting a two-qudit product state into a single qudit state. We refer to this channel as a partial swap channel because of the particular way its output interpolates between the states of the two qudits in the input as $a$ is changed from zero to one. We obtain analogues of Shannon's EPI, not only for the von Neumann entropy and the entropy power for the output of such channels, but for a much larger class of functions as well. This class includes the Rényi entropies and the subentropy. We also prove a qudit analogue of the entropy photon number inequality (EPnI). Finally, for the subclass of partial swap channels for which one of the qudit states in the input is fixed, our EPIs and EPnI yield lower bounds on the minimum output entropy and upper bounds on the Holevo capacity. △ Less

Submitted 18 April, 2016; v1 submitted 13 March, 2015; originally announced March 2015.

Comments: 33 pages, 8 figures, 1 table, journal version

Journal ref: J. Math. Phys. 57, 052202 (2016)

Quantum Markov chains, sufficiency of quantum channels, and Renyi information measures

Authors: Nilanjana Datta, Mark M. Wilde

Abstract: A short quantum Markov chain is a tripartite state $ρ_{ABC}$ such that system $A$ can be recovered perfectly by acting on system $C$ of the reduced state $ρ_{BC}$. Such states have conditional mutual information $I(A;B|C)$ equal to zero and are the only states with this property. A quantum channel $\mathcal{N}$ is sufficient for two states $ρ$ and $σ$ if there exists a recovery channel using which… ▽ More A short quantum Markov chain is a tripartite state $ρ_{ABC}$ such that system $A$ can be recovered perfectly by acting on system $C$ of the reduced state $ρ_{BC}$. Such states have conditional mutual information $I(A;B|C)$ equal to zero and are the only states with this property. A quantum channel $\mathcal{N}$ is sufficient for two states $ρ$ and $σ$ if there exists a recovery channel using which one can perfectly recover $ρ$ from $\mathcal{N}(ρ)$ and $σ$ from $\mathcal{N}(σ)$. The relative entropy difference $D(ρ\Vertσ)-D(\mathcal{N}(ρ)\Vert\mathcal{N}(σ))$ is equal to zero if and only if $\mathcal{N}$ is sufficient for $ρ$ and $σ$. In this paper, we show that these properties extend to Renyi generalizations of these information measures which were proposed in [Berta et al., J. Math. Phys. 56, 022205, (2015)] and [Seshadreesan et al., J. Phys. A 48, 395303, (2015)], thus providing an alternate characterization of short quantum Markov chains and sufficient quantum channels. These results give further support to these quantities as being legitimate Renyi generalizations of the conditional mutual information and the relative entropy difference. Along the way, we solve some open questions of Ruskai and Zhang, regarding the trace of particular matrices that arise in the study of monotonicity of relative entropy under quantum operations and strong subadditivity of the von Neumann entropy. △ Less

Submitted 4 October, 2015; v1 submitted 22 January, 2015; originally announced January 2015.

Comments: v4: 26 pages, 1 figure; reorganized and one open question solved with Choi's inequality (at the suggestion of an anonymous referee)

Journal ref: Journal of Physics A vol. 48, no. 50, page 505301, November 2015

An upper bound on the second order asymptotic expansion for the quantum communication cost of state redistribution

Authors: Nilanjana Datta, Min-Hsiu Hsieh, Jonathan Oppenheim

Abstract: State redistribution is the protocol in which, given an arbitrary tripartite quantum state, with two of the subsystems initially being with Alice and one being with Bob, the goal is for Alice to send one of her subsystems to Bob, possibly with the help of prior shared entanglement. We derive an upper bound on the second order asymptotic expansion for the quantum communication cost of achieving sta… ▽ More State redistribution is the protocol in which, given an arbitrary tripartite quantum state, with two of the subsystems initially being with Alice and one being with Bob, the goal is for Alice to send one of her subsystems to Bob, possibly with the help of prior shared entanglement. We derive an upper bound on the second order asymptotic expansion for the quantum communication cost of achieving state redistribution with a given finite accuracy. In proving our result, we also obtain an upper bound on the quantum communication cost of this protocol in the one-shot setting, by using the protocol of coherent state merging as a primitive. △ Less

Submitted 15 September, 2014; originally announced September 2014.

Comments: 11 pages, 1 figure

Journal ref: Journal of Mathematical Physics 57, 052203 (2016)