Showing 1–37 of 37 results for author: Datta, N

Tight relations and equivalences between smooth relative entropies

Authors: Bartosz Regula, Ludovico Lami, Nilanjana Datta

Abstract: The precise one-shot characterisation of operational tasks in classical and quantum information theory relies on different forms of smooth entropic quantities. A particularly important connection is between the hypothesis testing relative entropy and the smoothed max-relative entropy, which together govern many operational settings. We first strengthen this connection into a type of equivalence: w… ▽ More The precise one-shot characterisation of operational tasks in classical and quantum information theory relies on different forms of smooth entropic quantities. A particularly important connection is between the hypothesis testing relative entropy and the smoothed max-relative entropy, which together govern many operational settings. We first strengthen this connection into a type of equivalence: we show that the hypothesis testing relative entropy is equivalent to a variant of the smooth max-relative entropy based on the information spectrum divergence, which can be alternatively understood as a measured smooth max-relative entropy. Furthermore, we improve a fundamental lemma due to Datta and Renner that connects the different variants of the smoothed max-relative entropy, introducing a modified proof technique based on matrix geometric means and a tightened gentle measurement lemma. We use the unveiled connections and tools to strictly improve on previously known one-shot bounds and duality relations between the smooth max-relative entropy and the hypothesis testing relative entropy, sharpening also bounds that connect the max-relative entropy with Rényi divergences. △ Less

Submitted 28 April, 2025; v1 submitted 21 January, 2025; originally announced January 2025.

Comments: 25+7 pages. v3: minor corrections

Optimal continuity bound for the von Neumann entropy under energy constraints

Authors: S. Becker, N. Datta, M. G. Jabbour, M. E. Shirokov

Abstract: Using techniques proposed in [Sason, IEEE Trans. Inf. Th. 59, 7118 (2013)] and [Becker, Datta and Jabbour, IEEE Trans. Inf. Th. 69, 4128 (2023)], and based on the results from the latter, we construct a globally optimal continuity bound for the von Neumann entropy. This bound applies to any state under energy constraints imposed by arbitrary Hamiltonians that satisfy the Gibbs hypothesis. This com… ▽ More Using techniques proposed in [Sason, IEEE Trans. Inf. Th. 59, 7118 (2013)] and [Becker, Datta and Jabbour, IEEE Trans. Inf. Th. 69, 4128 (2023)], and based on the results from the latter, we construct a globally optimal continuity bound for the von Neumann entropy. This bound applies to any state under energy constraints imposed by arbitrary Hamiltonians that satisfy the Gibbs hypothesis. This completely solves the problem of finding an optimal continuity bound for the von Neumann entropy in this setting, previously known only for pairs of states that are sufficiently close to each other. Our main technical result, a globally optimal semicontinuity bound for the von Neumann entropy under general energy constraints, leads to this continuity bound. To prove it, we also derive an optimal Fano-type inequality for random variables with a countably infinite alphabet and a general constraint, as well as optimal semicontinuity and continuity bounds for the Shannon entropy in the same setting. In doing so, we improve the results derived in [Becker, Datta and Jabbour, IEEE Trans. Inf. Th. 69, 4128 (2023)]. △ Less

Submitted 26 February, 2025; v1 submitted 3 October, 2024; originally announced October 2024.

Comments: 15 pages, any comments are still welcome

Continuity bounds for quantum entropies arising from a fundamental entropic inequality

Authors: Koenraad Audenaert, Bjarne Bergh, Nilanjana Datta, Michael G. Jabbour, Ángela Capel, Paul Gondolf

Abstract: We establish a tight upper bound for the difference in von Neumann entropies between two quantum states, $ρ_1$ and $ρ_2$. This bound is expressed in terms of the von Neumann entropies of the mutually orthogonal states derived from the Jordan-Hahn decomposition of the difference operator $(ρ_1 - ρ_2)$. This yields a novel entropic inequality that implies the well-known Audenaert-Fannes (AF) inequal… ▽ More We establish a tight upper bound for the difference in von Neumann entropies between two quantum states, $ρ_1$ and $ρ_2$. This bound is expressed in terms of the von Neumann entropies of the mutually orthogonal states derived from the Jordan-Hahn decomposition of the difference operator $(ρ_1 - ρ_2)$. This yields a novel entropic inequality that implies the well-known Audenaert-Fannes (AF) inequality. In fact, it also leads to a refinement of the AF inequality. We employ this inequality to obtain a uniform continuity bound for the quantum conditional entropy of two states whose marginals on the conditioning system coincide. We additionally use it to derive a continuity bound for the quantum relative entropy in both variables. Interestingly, the fundamental entropic inequality is also valid in infinite dimensions. △ Less

Submitted 9 December, 2024; v1 submitted 27 August, 2024; originally announced August 2024.

Comments: v3: Strengthened the main result, and significantly simplified the proof. v2: Extended results in multiple directions. 19 pages, 1 figure

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

Authors: Robert Salzmann, Bjarne Bergh, Nilanjana Datta

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

Submitted 2 May, 2024; originally announced May 2024.

Comments: 71 pages

Infinite Dimensional Asymmetric Quantum Channel Discrimination

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

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

Submitted 24 August, 2023; originally announced August 2023.

Comments: 39 pages, 2 figures, comments welcome

Composite Classical and Quantum Channel Discrimination

Authors: Bjarne Bergh, Nilanjana Datta, Robert Salzmann

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

Submitted 3 March, 2023; originally announced March 2023.

Comments: 29 pages, 1 figure, comments welcome

Classical shadow tomography for continuous variables quantum systems

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

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

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

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

Fully undistillable quantum states are separable

Authors: Satvik Singh, Nilanjana Datta

Abstract: Assume that Alice, Bob, and Charlie share a tripartite pure state $|ψ_{ABC}\rangle$. We prove that if Alice cannot distill entanglement with either Bob or Charlie using $|ψ_{ABC}\rangle$ and local operations with any one of the following configurations for classical communication: $(A\to B, A\leftrightarrow C), (A\leftrightarrow B, A\to C),$ and $(A\leftrightarrow B, A\leftrightarrow C)$, then the… ▽ More Assume that Alice, Bob, and Charlie share a tripartite pure state $|ψ_{ABC}\rangle$. We prove that if Alice cannot distill entanglement with either Bob or Charlie using $|ψ_{ABC}\rangle$ and local operations with any one of the following configurations for classical communication: $(A\to B, A\leftrightarrow C), (A\leftrightarrow B, A\to C),$ and $(A\leftrightarrow B, A\leftrightarrow C)$, then the same is also true for the other two configurations. Moreover, this happens precisely when the state is such that both its reductions on systems $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. To prove 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 23 October, 2024; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: v4: Closer to the published version

Journal ref: IEEE Transactions on Information Theory, vol. 69, no. 10, pp. 6564-6570, Oct. 2023

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

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

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

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

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

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

Total insecurity of communication via strong converse for quantum privacy amplification

Authors: Robert Salzmann, Nilanjana Datta

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

Submitted 22 February, 2022; originally announced February 2022.

Comments: 18 pages

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

Authors: Satvik Singh, Nilanjana Datta

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

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

Comments: Minor modifications with updated references

Journal ref: Quantum 6, 775 (2022)

Detecting positive quantum capacities of quantum channels

Authors: Satvik Singh, Nilanjana Datta

Abstract: Determining whether a noisy quantum channel can be used to reliably transmit quantum information at a non-zero rate is a challenging problem in quantum information theory. This is because it requires computation of the channel's coherent information for an unbounded number of copies of the channel. In this paper, we devise an elementary perturbative technique to solve this problem in a wide variet… ▽ More Determining whether a noisy quantum channel can be used to reliably transmit quantum information at a non-zero rate is a challenging problem in quantum information theory. This is because it requires computation of the channel's coherent information for an unbounded number of copies of the channel. In this paper, we devise an elementary perturbative technique to solve this problem in a wide variety of circumstances. Our analysis reveals that a channel's ability to transmit information is intimately connected to the relative sizes of its input, output, and environment spaces. We exploit this link to develop easy tests which can be used to detect positivity of quantum channel capacities simply by comparing the channels' input, output, and environment dimensions. Several noteworthy examples, such as the depolarizing and transpose-depolarizing channels (including the Werner-Holevo channel), dephasing channels, generalized Pauli channels, multi-level amplitude damping channels, and (conjugate) diagonal unitary covariant channels, serve to aptly exhibit the utility of our method. Notably, in all these examples, the coherent information of a single copy of the channel turns out to be positive. △ Less

Submitted 23 October, 2024; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: v2: Minor modifications with updated references. Closer to the published version

Journal ref: npj Quantum Inf 8, 50 (2022)

Interpolating between symmetric and asymmetric hypothesis testing

Authors: Robert Salzmann, Nilanjana Datta

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

Submitted 19 April, 2021; originally announced April 2021.

Comments: 17 pages, 2 figures

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

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

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

Submitted 19 November, 2024; v1 submitted 5 April, 2021; originally announced April 2021.

Comments: comments welcome. v3: Assumptions added in Theorems 2, 4 and 6

Journal ref: IEEE Trans. Inf. Th., vol. 69, no. 7, p. 4128-4144 (2023)

Symmetric distinguishability as a quantum resource

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

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

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

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

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

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

Authors: Bjarne Bergh, Robert Salzmann, Nilanjana Datta

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

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

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

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

Quantum Zeno effect for open quantum systems

Authors: Simon Becker, Nilanjana Datta, Robert Salzmann

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

Submitted 8 October, 2020; originally announced October 2020.

Comments: 45 pages

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

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

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

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

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

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

Convergence rates for the quantum central limit theorem

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

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

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

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

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

Convexity and Operational Interpretation of the Quantum Information Bottleneck Function

Authors: Nilanjana Datta, Christoph Hirche, Andreas Winter

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

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

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

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

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

Authors: Simon Becker, Nilanjana Datta

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

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

Comments: 51 pages

Quantum reverse hypercontractivity: its tensorization and application to strong converses

Authors: Salman Beigi, Nilanjana Datta, Cambyse Rouzé

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

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

Comments: 36 pages

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

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

Authors: Cambyse Rouzé, Nilanjana Datta

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

Submitted 21 September, 2017; originally announced September 2017.

Comments: 29 pages, 2 figures

Tight uniform continuity bound for a family of entropies

Authors: Eric P. Hanson, Nilanjana Datta

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

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

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

Maximum and minimum entropy states yielding local continuity bounds

Authors: Eric P. Hanson, Nilanjana Datta

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

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

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

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

Concentration of quantum states from quantum functional and transportation cost inequalities

Authors: Cambyse Rouzé, Nilanjana Datta

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

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

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

Contractivity properties of a quantum diffusion semigroup

Authors: Nilanjana Datta, Yan Pautrat, Cambyse Rouze

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

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

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

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

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

Authors: Felix Leditzky, Cambyse Rouzé, Nilanjana Datta

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

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

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

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

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

Authors: Nilanjana Datta, Yan Pautrat, Cambyse Rouzé

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

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

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

Entropy power inequalities for qudits

Authors: Koenraad Audenaert, Nilanjana Datta, Maris Ozols

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

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

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

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

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

Authors: Nilanjana Datta, Mark M. Wilde

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

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

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

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

Generalized relative entropies and the capacity of classical-quantum channels

Authors: Milan Mosonyi, Nilanjana Datta

Abstract: We provide lower and upper bounds on the information transmission capacity of one single use of a classical-quantum channel. The lower bound is expressed in terms of the Hoeffding capacity, that we define similarly to the Holevo capacity, but replacing the relative entropy with the Hoeffding distance. Similarly, our upper bound is in terms of a quantity obtained by replacing the relative entropy… ▽ More We provide lower and upper bounds on the information transmission capacity of one single use of a classical-quantum channel. The lower bound is expressed in terms of the Hoeffding capacity, that we define similarly to the Holevo capacity, but replacing the relative entropy with the Hoeffding distance. Similarly, our upper bound is in terms of a quantity obtained by replacing the relative entropy with the recently introduced max-relative entropy in the definition of the divergence radius of a channel. △ Less

Submitted 24 July, 2009; v1 submitted 20 October, 2008; originally announced October 2008.

Comments: Published version

Journal ref: J. Math. Phys. 50, 072104 (2009)

Instability of interfaces in the antiferromagnetic XXZ chain at zero temperature

Authors: Nilanjana Datta, Tom Kennedy

Abstract: For the antiferromagnetic, highly anisotropic XZ and XXZ quantum spin chains, we impose periodic boundary conditions on chains with an odd number of sites to force an interface (or kink) into the chain. We prove that the energy of the interface depends on the momentum of the state. This shows that at zero temperature the interface in such chains is not stable. This is in contrast to the ferromag… ▽ More For the antiferromagnetic, highly anisotropic XZ and XXZ quantum spin chains, we impose periodic boundary conditions on chains with an odd number of sites to force an interface (or kink) into the chain. We prove that the energy of the interface depends on the momentum of the state. This shows that at zero temperature the interface in such chains is not stable. This is in contrast to the ferromagnetic XXZ chain for which the existence of localized interface ground states has been proven for any amount of anisotropy in the Ising-like regime. △ Less

Submitted 17 January, 2003; v1 submitted 18 August, 2002; originally announced August 2002.

Comments: 38 pages

Data compression limit for an information source of interacting qubits

Authors: Nilanjana Datta, Yuri Suhov

Abstract: A system of interacting qubits can be viewed as a non-i.i.d quantum information source. A possible model of such a source is provided by a quantum spin system, in which spin-1/2 particles located at sites of a lattice interact with each other. We establish the limit for the compression of information from such a source and show that asymptotically it is given by the von Neumann entropy rate. Our… ▽ More A system of interacting qubits can be viewed as a non-i.i.d quantum information source. A possible model of such a source is provided by a quantum spin system, in which spin-1/2 particles located at sites of a lattice interact with each other. We establish the limit for the compression of information from such a source and show that asymptotically it is given by the von Neumann entropy rate. Our result can be viewed as a quantum analog of Shannon's noiseless coding theorem for a class of non - i.i.d. quantum information sources. △ Less

Submitted 9 August, 2002; v1 submitted 11 July, 2002; originally announced July 2002.

Comments: 22 pages, LaTex file ; Theorem 2 modified

Expansions for one quasiparticle states in spin 1/2 systems

Authors: Nilanjana Datta, Tom Kennedy

Abstract: Convergent expansions of the wavefunctions for the ground state and low-lying excited states of quantum transverse Ising systems are obtained. These expansions are employed to prove that the dispersion relation for a single quasi-particle has a convergent expansion. Convergent expansions of the wavefunctions for the ground state and low-lying excited states of quantum transverse Ising systems are obtained. These expansions are employed to prove that the dispersion relation for a single quasi-particle has a convergent expansion. △ Less

Submitted 17 January, 2003; v1 submitted 11 April, 2001; originally announced April 2001.

Comments: 22 pages

Journal ref: J. Stat. Phys., vol. 108, 2002, pages 373-399

Effective Hamiltonians and Phase Diagrams for Tight-Binding Models

Authors: Nilanjana Datta, Roberto Fernandez, Juerg Froehlich

Abstract: We present rigorous results for several variants of the Hubbard model in the strong-coupling regime. We establish a mathematically controlled perturbation expansion which shows how previously proposed effective interactions are, in fact, leading-order terms of well defined (volume-independent) unitarily equivalent interactions. In addition, in the very asymmetric (Falicov-Kimball) regime, we are… ▽ More We present rigorous results for several variants of the Hubbard model in the strong-coupling regime. We establish a mathematically controlled perturbation expansion which shows how previously proposed effective interactions are, in fact, leading-order terms of well defined (volume-independent) unitarily equivalent interactions. In addition, in the very asymmetric (Falicov-Kimball) regime, we are able to apply recently developed phase-diagram technology (quantum Pirogov-Sinai theory) to conclude that the zero-temperature phase diagrams obtained for the leading classical part remain valid, except for thin excluded regions and small deformations, for the full-fledged quantum interaction at zero or small temperature. Moreover, the phase diagram is stable upon the addition of arbitrary, but sufficiently small, further quantum terms that do not break the ground-states symmetries. This generalizes and unifies a number of previous results on the subject; in particular published results on the zero-temperature phase diagram of the Falikov-Kimball model (with and without magnetic flux) are extended to small temperatures and/or small ionic hopping. We give explicit expressions for the first few orders, in the hopping amplitude, of these equivalent interactions, and we describe the resulting phase diagram. Our approach, however, yields algorithms to compute arbitrary high orders. △ Less

Submitted 4 September, 1998; originally announced September 1998.

Comments: 62 pages, Latex. 7 .eps figures

Rigidity of interfaces in the Falicov-Kimball model

Authors: Nilanjana Datta, Alain Messager, Bruno Nachtergaele

Abstract: We analyze the thermodynamic properties of interfaces in the three-dimensional Falicov Kimball model, which can be viewed as a primitive quantum lattice model of crystalline matter. In the strong coupling limit, the ionic subsystem of this model is governed by the Hamiltonian of an effective classical spin model whose leading part is the Ising Hamiltonian. We prove that the 100 interface in this… ▽ More We analyze the thermodynamic properties of interfaces in the three-dimensional Falicov Kimball model, which can be viewed as a primitive quantum lattice model of crystalline matter. In the strong coupling limit, the ionic subsystem of this model is governed by the Hamiltonian of an effective classical spin model whose leading part is the Ising Hamiltonian. We prove that the 100 interface in this model, at half-filling, is rigid, as in the three-dimensional Ising model. However, despite the above similarities with the Ising model, the thermodynamic properties of its 111 interface are very different. We prove that even though this interface is expected to be unstable for the Ising model, it is stable for the Falicov Kimball model at sufficiently low temperatures. This rigidity results from a phenomenon of "ground state selection" and is a consequence of the Fermi statistics of the electrons in the model. △ Less

Submitted 10 September, 1999; v1 submitted 8 April, 1998; originally announced April 1998.

Comments: 79 pages, 9 figures included as ps-files, appendix added in revision

Report number: CPT-XXX-98 MSC Class: 82B10; 82B24

Journal ref: J. Stat. Phys., 99 (2000) 461-555