-
A refinement of Reznick's Positivstellensatz with applications to quantum information theory
Authors:
Alexander Müller-Hermes,
Ion Nechita,
David Reeb
Abstract:
In his solution of Hilbert's 17th problem Artin showed that any positive definite polynomial in several variables can be written as the quotient of two sums of squares. Later Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables and gave explicit bounds on $N$. By using concepts from quantum information theory (such as pa…
▽ More
In his solution of Hilbert's 17th problem Artin showed that any positive definite polynomial in several variables can be written as the quotient of two sums of squares. Later Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables and gave explicit bounds on $N$. By using concepts from quantum information theory (such as partial traces, optimal cloning maps, and an identity due to Chiribella) we give simpler proofs and minor improvements of both real and complex versions of this result. Moreover, we discuss constructions of Hilbert identities using Gaussian integrals and we review an elementary method to construct complex spherical designs. Finally, we apply our results to give improved bounds for exponential quantum de Finetti theorems in the real and in the complex setting.
△ Less
Submitted 5 June, 2023; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Bounds on Information Combining With Quantum Side Information
Authors:
Christoph Hirche,
David Reeb
Abstract:
"Bounds on information combining" are entropic inequalities that determine how the information (entropy) of a set of random variables can change when these are combined in certain prescribed ways. Such bounds play an important role in classical information theory, particularly in coding and Shannon theory; entropy power inequalities are special instances of them. The arguably most elementary kind…
▽ More
"Bounds on information combining" are entropic inequalities that determine how the information (entropy) of a set of random variables can change when these are combined in certain prescribed ways. Such bounds play an important role in classical information theory, particularly in coding and Shannon theory; entropy power inequalities are special instances of them. The arguably most elementary kind of information combining is the addition of two binary random variables (a CNOT gate), and the resulting quantities play an important role in Belief propagation and Polar coding. We investigate this problem in the setting where quantum side information is available, which has been recognized as a hard setting for entropy power inequalities.
Our main technical result is a non-trivial, and close to optimal, lower bound on the combined entropy, which can be seen as an almost optimal "quantum Mrs. Gerber's Lemma". Our proof uses three main ingredients: (1) a new bound on the concavity of von Neumann entropy, which is tight in the regime of low pairwise state fidelities; (2) the quantitative improvement of strong subadditivity due to Fawzi-Renner, in which we manage to handle the minimization over recovery maps; (3) recent duality results on classical-quantum-channels due to Renes et al. We furthermore present conjectures on the optimal lower and upper bounds under quantum side information, supported by interesting analytical observations and strong numerical evidence.
We finally apply our bounds to Polar coding for binary-input classical-quantum channels, and show the following three results: (A) Even non-stationary channels polarize under the polar transform. (B) The blocklength required to approach the symmetric capacity scales at most sub-exponentially in the gap to capacity. (C) Under the aforementioned lower bound conjecture, a blocklength polynomial in the gap suffices.
△ Less
Submitted 24 August, 2017; v1 submitted 29 June, 2017;
originally announced June 2017.
-
Fundamental energy cost for quantum measurement
Authors:
Kais Abdelkhalek,
Yoshifumi Nakata,
David Reeb
Abstract:
Measurements and feedback are essential in the control of any device operating at the quantum scale and exploiting the features of quantum physics. As the number of quantum components grows, it becomes imperative to consider the energetic expense of such elementary operations. Here, we derive energy requirements for general quantum measurement, extending previous models and obtaining stronger boun…
▽ More
Measurements and feedback are essential in the control of any device operating at the quantum scale and exploiting the features of quantum physics. As the number of quantum components grows, it becomes imperative to consider the energetic expense of such elementary operations. Here, we derive energy requirements for general quantum measurement, extending previous models and obtaining stronger bounds in relevant situations, and then study two important classes of measurements in detail. One is the projective measurement, where we obtain the exact cost rather than a lower bound, and the other is the so-called inefficient measurement, in which we explicitly show that energy extraction is possible. As applications, we derive the energy-precision trade-off in quantum Zeno stabilisation schemes and the exact energy expense for quantum error correction. Our results constitute fundamental energetic limitations against which to benchmark implementations of future quantum devices as they grow in complexity.
△ Less
Submitted 10 September, 2018; v1 submitted 22 September, 2016;
originally announced September 2016.
-
Measurement Uncertainty for Finite Quantum Observables
Authors:
René Schwonnek,
David Reeb,
Reinhard F. Werner
Abstract:
Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification o…
▽ More
Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification of errors is based on an arbitrary cost function, which assigns a penalty to getting result $x$ rather than y, for any pair (x,y). This induces a notion of optimal transport cost for a pair of probability distributions, and we include an appendix with a short summary of optimal transport theory as needed in our context. There are then different ways to form an overall figure of merit from the comparison of distributions. We consider three, which are related to different physical testing scenarios. The most thorough test compares the transport distances between the marginals of a joint measurement and the reference observables for every input state. Less demanding is a test just on the states for which a "true value" is known in the sense that the reference observable yields a definite outcome. Finally, we can measure a deviation as a single expectation value by comparing the two observables on the two parts of a maximally entangled state. All three error quantities have the property that they vanish if and only if the tested observable is equal to the reference. The theory is illustrated with some characteristic examples.
△ Less
Submitted 1 April, 2016;
originally announced April 2016.
-
Monotonicity of the Quantum Relative Entropy Under Positive Maps
Authors:
Alexander Müller-Hermes,
David Reeb
Abstract:
We prove that the quantum relative entropy decreases monotonically under the application of any positive trace-preserving linear map, for underlying separable Hilbert spaces. This answers in the affirmative a natural question that has been open for a long time, as monotonicity had previously only been shown to hold under additional assumptions, such as complete positivity or Schwarz-positivity of…
▽ More
We prove that the quantum relative entropy decreases monotonically under the application of any positive trace-preserving linear map, for underlying separable Hilbert spaces. This answers in the affirmative a natural question that has been open for a long time, as monotonicity had previously only been shown to hold under additional assumptions, such as complete positivity or Schwarz-positivity of the adjoint map. The first step in our proof is to show monotonicity of the sandwiched Renyi divergences under positive trace-preserving maps, extending a proof of the data processing inequality by Beigi [J. Math. Phys. 54, 122202 (2013)] that is based on complex interpolation techniques. Our result calls into question several measures of non-Markovianity that have been proposed, as these would assess all positive trace-preserving time evolutions as Markovian.
△ Less
Submitted 11 April, 2017; v1 submitted 18 December, 2015;
originally announced December 2015.
-
Positivity of linear maps under tensor powers
Authors:
Alexander Müller-Hermes,
David Reeb,
Michael M. Wolf
Abstract:
We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with $n$ copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show that for every $n\in\mathbb{N}$ there exist non-trivial maps with this property and that for two-dimensional Hilbert spaces there is no non-trivial map for whi…
▽ More
We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with $n$ copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show that for every $n\in\mathbb{N}$ there exist non-trivial maps with this property and that for two-dimensional Hilbert spaces there is no non-trivial map for which this holds for all $n$. For higher dimensions we reduce the existence question of such non-trivial "tensor-stable positive maps" to a one-parameter family of maps and show that an affirmative answer would imply the existence of NPPT bound entanglement.
As an application we show that any tensor-stable positive map that is not completely positive yields an upper bound on the quantum channel capacity, which for the transposition map gives the well-known cb-norm bound. We furthermore show that the latter is an upper bound even for the LOCC-assisted quantum capacity, and that moreover it is a strong converse rate for this task.
△ Less
Submitted 20 December, 2015; v1 submitted 19 February, 2015;
originally announced February 2015.
-
Scalable Dissipative Preparation of Many-Body Entanglement
Authors:
Florentin Reiter,
David Reeb,
Anders S. Sørensen
Abstract:
We present a technique for the dissipative preparation of highly entangled multiparticle states of atoms coupled to common oscillator modes. By combining local spontaneous emission with coherent couplings we engineer many-body dissipation that drives the system from an arbitrary initial state into a Greenberger-Horne-Zeilinger state. We demonstrate that using our technique, highly entangled steady…
▽ More
We present a technique for the dissipative preparation of highly entangled multiparticle states of atoms coupled to common oscillator modes. By combining local spontaneous emission with coherent couplings we engineer many-body dissipation that drives the system from an arbitrary initial state into a Greenberger-Horne-Zeilinger state. We demonstrate that using our technique, highly entangled steady states can be prepared efficiently in a time that scales polynomially with the system size. Our protocol assumes generic couplings and will thus enable the dissipative production of multiparticle entanglement in a wide range of physical systems. As an example, we demonstrate the feasibility of our scheme in state-of-the-art trapped-ion systems.
△ Less
Submitted 9 September, 2016; v1 submitted 26 January, 2015;
originally announced January 2015.
-
Positive reduction from spectra
Authors:
Maria Anastasia Jivulescu,
Nicolae Lupa,
Ion Nechita,
David Reeb
Abstract:
We study the problem of whether all bipartite quantum states having a prescribed spectrum remain positive under the reduction map applied to one subsystem. We provide necessary and sufficient conditions, in the form of a family of linear inequalities, which the spectrum has to verify. Our conditions become explicit when one of the two subsystems is a qubit, as well as for further sets of states. F…
▽ More
We study the problem of whether all bipartite quantum states having a prescribed spectrum remain positive under the reduction map applied to one subsystem. We provide necessary and sufficient conditions, in the form of a family of linear inequalities, which the spectrum has to verify. Our conditions become explicit when one of the two subsystems is a qubit, as well as for further sets of states. Finally, we introduce a family of simple entanglement criteria for spectra, closely related to the reduction and positive partial transpose criteria, which also provide new insight into the set of spectra that guarantee separability or positivity of the partial transpose.
△ Less
Submitted 29 November, 2014; v1 submitted 5 June, 2014;
originally announced June 2014.
-
Quantum Subdivision Capacities and Continuous-time Quantum Coding
Authors:
Alexander Müller-Hermes,
David Reeb,
Michael M. Wolf
Abstract:
Quantum memories can be regarded as quantum channels that transmit information through time without moving it through space. Aiming at a reliable storage of information we may thus not only encode at the beginning and decode at the end, but also intervene during the transmission - a possibility not captured by the ordinary capacities in Quantum Shannon Theory. In this work we introduce capacities…
▽ More
Quantum memories can be regarded as quantum channels that transmit information through time without moving it through space. Aiming at a reliable storage of information we may thus not only encode at the beginning and decode at the end, but also intervene during the transmission - a possibility not captured by the ordinary capacities in Quantum Shannon Theory. In this work we introduce capacities that take this possibility into account and study them in particular for the transmission of quantum information via dynamical semigroups of Lindblad form. When the evolution is subdivided and supplemented by additional continuous semigroups acting on arbitrary block sizes, we show that the capacity of the ideal channel can be obtained in all cases. If the supplementary evolution is reversible, however, this is no longer the case. Upper and lower bounds for this scenario are proven. Finally, we provide a continuous coding scheme and simple examples showing that adding a purely dissipative term to a Liouvillian can sometimes increase the quantum capacity.
△ Less
Submitted 20 March, 2015; v1 submitted 10 October, 2013;
originally announced October 2013.
-
Coexistence does not imply joint measurability
Authors:
David Reeb,
Daniel Reitzner,
Michael M. Wolf
Abstract:
One of the hallmarks of quantum theory is the realization that distinct measurements cannot in general be performed simultaneously, in stark contrast to classical physics. In this context the notions of coexistence and joint measurability are employed to analyze the possibility of measuring together two general quantum observables, characterizing different degrees of compatibility between measurem…
▽ More
One of the hallmarks of quantum theory is the realization that distinct measurements cannot in general be performed simultaneously, in stark contrast to classical physics. In this context the notions of coexistence and joint measurability are employed to analyze the possibility of measuring together two general quantum observables, characterizing different degrees of compatibility between measurements. It is known that two jointly measurable observables are always coexistent, and that the converse holds for various classes of observables, including the case of observables with two outcomes. Here we resolve, in the negative, the open question whether this equivalence holds in general. Our resolution strengthens the notions of coexistence and joint measurability by showing that both are robust against small imperfections in the measurement setups.
△ Less
Submitted 25 November, 2013; v1 submitted 26 July, 2013;
originally announced July 2013.
-
Fault-ignorant Quantum Search
Authors:
Peter Vrana,
David Reeb,
Daniel Reitzner,
Michael M. Wolf
Abstract:
We investigate the problem of quantum searching on a noisy quantum computer. Taking a 'fault-ignorant' approach, we analyze quantum algorithms that solve the task for various different noise strengths, which are possibly unknown beforehand. We prove lower bounds on the runtime of such algorithms and thereby find that the quadratic speedup is necessarily lost (in our noise models). However, for low…
▽ More
We investigate the problem of quantum searching on a noisy quantum computer. Taking a 'fault-ignorant' approach, we analyze quantum algorithms that solve the task for various different noise strengths, which are possibly unknown beforehand. We prove lower bounds on the runtime of such algorithms and thereby find that the quadratic speedup is necessarily lost (in our noise models). However, for low but constant noise levels the algorithms we provide (based on Grover's algorithm) still outperform the best noiseless classical search algorithm.
△ Less
Submitted 25 July, 2014; v1 submitted 2 July, 2013;
originally announced July 2013.
-
An improved Landauer Principle with finite-size corrections
Authors:
David Reeb,
Michael M. Wolf
Abstract:
Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an im…
▽ More
Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an improved version of the Principle, which is formulated in terms of an equality rather than an inequality. The proof is based on quantum statistical mechanics concepts rather than on thermodynamic argumentation. From this equality version, we obtain explicit improvements of Landauer's bound that depend on the effective size of the thermal reservoir and reduce to Landauer's bound only for infinite-sized reservoirs.
△ Less
Submitted 11 October, 2014; v1 submitted 18 June, 2013;
originally announced June 2013.
-
Tight bound on relative entropy by entropy difference
Authors:
David Reeb,
Michael M. Wolf
Abstract:
We prove a lower bound on the relative entropy between two finite-dimensional states in terms of their entropy difference and the dimension of the underlying space. The inequality is tight in the sense that equality can be attained for any prescribed value of the entropy difference, both for quantum and classical systems. We outline implications for information theory and thermodynamics, such as a…
▽ More
We prove a lower bound on the relative entropy between two finite-dimensional states in terms of their entropy difference and the dimension of the underlying space. The inequality is tight in the sense that equality can be attained for any prescribed value of the entropy difference, both for quantum and classical systems. We outline implications for information theory and thermodynamics, such as a necessary condition for a process to be close to thermodynamic reversibility, or an easily computable lower bound on the classical channel capacity. Furthermore, we derive a tight upper bound, uniform for all states of a given dimension, on the variance of the surprisal, whose thermodynamic meaning is that of heat capacity.
△ Less
Submitted 13 March, 2015; v1 submitted 29 March, 2013;
originally announced April 2013.
-
Spectral convergence bounds for classical and quantum Markov processes
Authors:
Oleg Szehr,
David Reeb,
Michael M. Wolf
Abstract:
We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive conver…
▽ More
We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive convergence bounds that improve significantly upon known spectral bounds. The core technical observation is that power-boundedness of transition maps of Markov chains enables a Wiener algebra functional calculus in order to upper bound any norm of any holomorphic function of the transition map. Finally, we discuss how general detailed balance conditions for quantum Markov processes lead to spectral convergence bounds.
△ Less
Submitted 21 October, 2014; v1 submitted 21 January, 2013;
originally announced January 2013.
-
Extending quantum operations
Authors:
Teiko Heinosaari,
Maria A. Jivulescu,
David Reeb,
Michael M. Wolf
Abstract:
For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on quantum states are trace-preserving completely positive maps, but we also consider variants of these requirements. We generalize the definition of complete positivity…
▽ More
For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on quantum states are trace-preserving completely positive maps, but we also consider variants of these requirements. We generalize the definition of complete positivity to linear maps defined on arbitrary subspaces, then formulate this notion as a semidefinite program, and relate it by duality to approximative extensions of this map. This gives a characterization of the maps which can be approximated arbitrarily well as the restriction of a map that is completely positive on the whole algebra, also yielding the familiar extension theorems on operator spaces. For quantum channel extensions and extensions by probabilistic operations we obtain semidefinite characterizations, and we also elucidate the special case of Abelian in- or outputs. Finally, revisiting a theorem by Alberti and Uhlmann, we provide simpler and more widely applicable conditions for certain extension problems on qubits, and by using a semidefinite programming formulation we exhibit counterexamples to seemingly reasonable but false generalizations of the Alberti-Uhlmann theorem.
△ Less
Submitted 22 October, 2012; v1 submitted 3 May, 2012;
originally announced May 2012.
-
A Cutoff Phenomenon for Quantum Markov Chains
Authors:
Michael J. Kastoryano,
David Reeb,
Michael M. Wolf
Abstract:
We derive upper and lower bounds on the convergence behavior of certain classes of one-parameter quantum dynamical semigroups. The classes we consider consist of tensor product channels and of channels with commuting Liouvillians. We introduce the notion of Cutoff Phenomenon in the setting of quantum information theory, and show how it exemplifies the fact that the convergence of (quantum) stochas…
▽ More
We derive upper and lower bounds on the convergence behavior of certain classes of one-parameter quantum dynamical semigroups. The classes we consider consist of tensor product channels and of channels with commuting Liouvillians. We introduce the notion of Cutoff Phenomenon in the setting of quantum information theory, and show how it exemplifies the fact that the convergence of (quantum) stochastic processes is not solely governed by the spectral gap of the transition map. We apply the new methods to show that graph states can be prepared efficiently, albeit not in constant time, by dissipation, and give the exact scaling behavior of the time to stationarity.
△ Less
Submitted 10 November, 2011; v1 submitted 9 November, 2011;
originally announced November 2011.
-
Hilbert's projective metric in quantum information theory
Authors:
David Reeb,
Michael J. Kastoryano,
Michael M. Wolf
Abstract:
We introduce and apply Hilbert's projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or PPT operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under LOCC protocols or other cone-preserving operations. The results are formulated in…
▽ More
We introduce and apply Hilbert's projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or PPT operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under LOCC protocols or other cone-preserving operations. The results are formulated in terms of general cones and base norms and lead to contractivity bounds for quantum channels, for instance improving Ruskai's trace-norm contraction inequality. A new duality between distinguishability measures and base norms is provided. For two given pairs of quantum states we show that the contraction of Hilbert's projective metric is necessary and sufficient for the existence of a probabilistic quantum operation that maps one pair onto the other. Inequalities between Hilbert's projective metric and the Chernoff bound, the fidelity and various norms are proven.
△ Less
Submitted 15 August, 2011; v1 submitted 25 February, 2011;
originally announced February 2011.
-
Black holes, information and decoherence
Authors:
Stephen D. H. Hsu,
David Reeb
Abstract:
We investigate the experimental capabilities required to test whether black holes destroy information. We show that an experiment capable of illuminating the information puzzle must necessarily be able to detect or manipulate macroscopic superpositions (i.e., Everett branches). Hence, it could also address the fundamental question of decoherence versus wavefunction collapse.
We investigate the experimental capabilities required to test whether black holes destroy information. We show that an experiment capable of illuminating the information puzzle must necessarily be able to detect or manipulate macroscopic superpositions (i.e., Everett branches). Hence, it could also address the fundamental question of decoherence versus wavefunction collapse.
△ Less
Submitted 24 June, 2009; v1 submitted 12 March, 2009;
originally announced March 2009.
-
Self-Spin-Controlled Rotation of Spatial States of a Dirac Electron in a Cylindrical Potential via Spin-Orbit Interaction
Authors:
C. C. Leary,
D. Reeb,
M. G. Raymer
Abstract:
Solution of the Dirac equation predicts that when an electron with non-zero orbital angular momentum propagates in a cylindrically symmetric potential, its spin and orbital degrees of freedom interact, causing the electron's phase velocity to depend on whether its spin and orbital angular momenta vectors are oriented parallel or anti-parallel with respect to each other. This spin-orbit splitting…
▽ More
Solution of the Dirac equation predicts that when an electron with non-zero orbital angular momentum propagates in a cylindrically symmetric potential, its spin and orbital degrees of freedom interact, causing the electron's phase velocity to depend on whether its spin and orbital angular momenta vectors are oriented parallel or anti-parallel with respect to each other. This spin-orbit splitting of the electronic dispersion curves can result in a rotation of the electron's spatial state in a manner controlled by the electron's own spin z-component value. These effects persist at non-relativistic velocities. To clarify the physical origin of this effect, we compare solutions of the Dirac equation to perturbative predictions of the Schrodinger-Pauli equation with a spin-orbit term, using the standard Foldy-Wouthuysen Hamiltonian. This clearly shows that the origin of the effect is the familiar relativistic spin-orbit interaction.
△ Less
Submitted 25 May, 2009; v1 submitted 9 July, 2008;
originally announced July 2008.