-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Phonon Frequency and its Modification by Magnon-Phonon Coupling from All-Temperature Theory of Magnon
Authors:
Sambhu N. Datta
Abstract:
The all-temperature magnon (ATM) theory [J. Phys. Condens. Matter 21, 336003/1-14, 2009] has been used to analyze the temperature dependence of magnetization as well as the internal energy components of a mono-domain ferromagnetic solid. The critical exponents have been in better agreement with experiment than their mean-field theory and critical phenomenon theory counterparts, and unlike in the l…
▽ More
The all-temperature magnon (ATM) theory [J. Phys. Condens. Matter 21, 336003/1-14, 2009] has been used to analyze the temperature dependence of magnetization as well as the internal energy components of a mono-domain ferromagnetic solid. The critical exponents have been in better agreement with experiment than their mean-field theory and critical phenomenon theory counterparts, and unlike in the latter theories, vary from one ferromagnet to another. Expressions have been derived for the thermally averaged spin-center force constants and their break-up in terms of the base-line related (solid) and exchange-cum-field mediated (magnetic) components. These components give rise to expressions for phonon frequencies and their modifications by magnon-phonon coupling. The derived expressions are suitable for a correct quantum chemical evaluation of the involved properties. A detailed numerical calculation using spin configurations at varying crystal geometries is hardly possible even today and beyond the scope of the present work. The focus here is on the correctness and explaining the trends of properties. It has been shown that the frequency modification by magnon-phonon interaction can be negative for certain phonon branches near the ferromagnetic transition temperature. Also, the ratio of frequency modification and phonon frequency is approximately proportional to the ratio of curvatures of the involved energy surfaces.
△ Less
Submitted 29 June, 2023; v1 submitted 23 June, 2023;
originally announced June 2023.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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 dam**…
▽ 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 dam** 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Updating structured matrix pencils with no spillover effect on unmeasured spectral data and deflating pair
Authors:
Bibhas Adhikari,
Biswa Nath Datta,
Tinku Ganai,
Michael Karow
Abstract:
This paper is devoted to the study of perturbations of a matrix pencil, structured or unstructured, such that a perturbed pencil will reproduce a given deflating pair while maintaining the invariance of the complementary deflating pair. If the latter is unknown, it is referred to as no spillover updating. The specific structures considered in this paper include symmetric, Hermitian, $\star$-even,…
▽ More
This paper is devoted to the study of perturbations of a matrix pencil, structured or unstructured, such that a perturbed pencil will reproduce a given deflating pair while maintaining the invariance of the complementary deflating pair. If the latter is unknown, it is referred to as no spillover updating. The specific structures considered in this paper include symmetric, Hermitian, $\star$-even, $\star$-odd and $\star$-skew-Hamiltonian/Hamiltonian pencils. This study is motivated by the well-known Finite Element Model Updating Problem in structural dynamics, where the given deflating pair represents a set of given eigenpairs and the complementary deflating pair represents the remaining larger set of eigenpairs. Analytical expressions of structure preserving no spillover updating are determined for deflating pairs of structured matrix pencils. Besides, parametric representations of all possible unstructured perturbations are obtained when the complementary deflating pair of a given unstructured pencil is known. In addition, parametric expressions are obtained for structured updating with certain desirable structures which relate to existing results on structure preservation of a symmetric positive definite or semi definite matrix pencil.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
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.
-
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.
-
A continuity bound for the expected number of connected components of a random graph: a model for epidemics
Authors:
Koenraad Audenaert,
Eric P. Hanson,
Nilanjana Datta
Abstract:
We consider a stochastic network model for epidemics, based on a random graph proposed by Ross [Journal of Applied Probability, 18, 309-315 (1981)]. Members of a population occupy nodes of the graph, with each member being in contact with those who occupy nodes which are connected to his or her node via edges. We prove that the expected number of people who need to be infected initially in order f…
▽ More
We consider a stochastic network model for epidemics, based on a random graph proposed by Ross [Journal of Applied Probability, 18, 309-315 (1981)]. Members of a population occupy nodes of the graph, with each member being in contact with those who occupy nodes which are connected to his or her node via edges. We prove that the expected number of people who need to be infected initially in order for the epidemic to spread to the entire population, which is given by the expected number of connected components of the random graph, is Lipschitz continuous in the underlying probability distribution of the random graph. We also obtain explicit bounds on the associated Lipschitz constant. We prove this continuity bound via a technique called majorization flow, which provides a general way to obtain tight continuity bounds for Schur concave functions. To establish bounds on the optimal Lipschitz constant we employ properties of the Mills ratio.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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 dam** and depolarizing noise, and a composition of amplitude dam** 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Robust Partial Quadratic Eigenvalue Assignment Problem: Spectrum Sensitivity Approach
Authors:
José Mário Araújo,
Carlos Eduardo Trabuco Dórea,
Luiz Marcos Garcia Gonçalves,
João Batista da Paz Carvalho,
Biswa Nath Datta
Abstract:
We propose an optimization approach to the solution of the partial quadratic eigenvalue assignment problem (PQEVAP) for active vibration control design with robustness (RPQEVAP). The proposed cost function is based on the concept of sensitivities over the sum and the product of the closed-loop eigenvalues, introduced recently in our paper. Explicit gradient formula for the solutions using state fe…
▽ More
We propose an optimization approach to the solution of the partial quadratic eigenvalue assignment problem (PQEVAP) for active vibration control design with robustness (RPQEVAP). The proposed cost function is based on the concept of sensitivities over the sum and the product of the closed-loop eigenvalues, introduced recently in our paper. Explicit gradient formula for the solutions using state feedback and derivative feedback are derived as functions of a free parameter. These formulas are then used to build algorithms to solve RPQEVAP in a numerically efficient way, with no need to compute new eigenvectors, for both state feedback and state-derivative feedback designs. Numerical experiments are carried out in order to demonstrate the effectiveness of the algorithms and to compare the proposed method with other methods in the literature, thus showing its effectiveness.
△ Less
Submitted 5 November, 2016; v1 submitted 17 September, 2016;
originally announced September 2016.
-
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.
-
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.
-
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.
-
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.