Showing 1–49 of 49 results for author: Ruskai, M

Yet Another Proof of the Joint Convexity of Relative Entropy

Authors: Mary Beth Ruskai

Abstract: The joint convexity of the map $(X,A) \mapsto X^* A^{-1} X$, an integral representation of operator convex functions, and an observation of Ando are used to obtain a simple proof of both the joint convexity of relative entropy and a trace convexity result of Lieb. The latter was the key ingredient in the original proof of the strong subadditivity of quantum entropy. The joint convexity of the map $(X,A) \mapsto X^* A^{-1} X$, an integral representation of operator convex functions, and an observation of Ando are used to obtain a simple proof of both the joint convexity of relative entropy and a trace convexity result of Lieb. The latter was the key ingredient in the original proof of the strong subadditivity of quantum entropy. △ Less

Submitted 18 July, 2022; v1 submitted 27 December, 2021; originally announced December 2021.

Comments: Added dedication to Derek W. Robinson. Added proof of the montonicity of relative entropy under partial traces and strong subadditivity of quantum entropy to v2. Added to v3, a section on generalizations of relative entropy and a remark (not in LMP version) proving the joint convexity of relative entropy using an integral representation for log x instead of operator convex functions

MSC Class: 94A17; 81P45; 94A15; 15 B99; 46N50; 47L07

Local Additivity Revisited

Authors: Mary Beth Ruskai, Jon T. Yard

Abstract: We make a number of simplifications in Gour and Friedland's proof of local additivity of minimum output entropy of a quantum channel. We follow them in reframing the question as one about entanglement entropy of bipartite states associated with a $d_B \times d_E $ matrix. We use a different approach to reduce the general case to that of a square positive definite matrix. We use the integral repres… ▽ More We make a number of simplifications in Gour and Friedland's proof of local additivity of minimum output entropy of a quantum channel. We follow them in reframing the question as one about entanglement entropy of bipartite states associated with a $d_B \times d_E $ matrix. We use a different approach to reduce the general case to that of a square positive definite matrix. We use the integral representation of the log to obtain expressions for the first and second derivatives of the entropy, and then exploit the modular operator and functional calculus to streamline the proof following their underlying strategy. We also extend this result to the maximum relative entropy with respect to a fixed reference state which has important implications for studying the superadditivity of the capacity of a quantum channel to transmit classical information. △ Less

Submitted 1 March, 2023; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: Final version to appear in J. Math. Phys

MSC Class: 81P17; 81P47; 46L07; 94A40; 15A99

Extreme Points and Factorizability for New Classes of Unital Quantum Channels

Authors: Uffe Haagerup, Magdalena Musat, Mary Beth Ruskai

Abstract: We introduce and study two new classes of unital quantum channels. The first class describes a 2-parameter family of channels given by completely positive (CP) maps $M_3({\bf C}) \mapsto M_3({\bf C})$ which are both unital and trace-preserving. Almost every member of this family is factorizable and extreme in the set of CP maps which are both unital and trace-preserving, but is not extreme in eith… ▽ More We introduce and study two new classes of unital quantum channels. The first class describes a 2-parameter family of channels given by completely positive (CP) maps $M_3({\bf C}) \mapsto M_3({\bf C})$ which are both unital and trace-preserving. Almost every member of this family is factorizable and extreme in the set of CP maps which are both unital and trace-preserving, but is not extreme in either the set of unital CP maps or the set of trace-preserving CP maps. We also study a large class of maps which generalize the Werner-Holevo channel for $d = 3$ in the sense that they are defined in terms of partial isometries of rank $d-1$. Moreover, we extend this to maps whose Kraus operators have the form $t |e_j \rangle \langle e_j | \oplus V $ with $V \in M_{d-1} ({\bf C}) $ unitary and $t \in (-1,1)$. We show that almost every map in this class is extreme in both the set of unital CP maps and the set of trace-preserving CP maps. We analyze in detail a particularly interesting subclass which is extreme unless $t = -1/(d-1)$. For $d = 3$, this includes a pair of channels which have a dual factorization in the sense that they can be obtained by taking the partial trace over different subspaces after using the same unitary conjugation in $M_3({\bf C}) \otimes M_3({\bf C})$. △ Less

Submitted 19 May, 2021; v1 submitted 5 June, 2020; originally announced June 2020.

Comments: Improved discussion of the question on factorizability when d = 4 and t = -1/3 in new Section 4.6.2

MSC Class: 46L10; 47L90; 81P45

Journal ref: Annales Henri Poincaré, 22(10), 3455-3496 (2021)

Contraction coefficients for noisy quantum channels

Authors: Fumio Hiai, Mary Beth Ruskai

Abstract: Generalized relative entropy, monotone Riemannian metrics, geodesic distance, and trace distance are all known to decrease under the action of quantum channels. We give some new bounds on, and relationships between, the maximal contraction for these quantities. Generalized relative entropy, monotone Riemannian metrics, geodesic distance, and trace distance are all known to decrease under the action of quantum channels. We give some new bounds on, and relationships between, the maximal contraction for these quantities. △ Less

Submitted 14 August, 2015; originally announced August 2015.

Comments: 40 pages

MSC Class: 46L60; 46L87; 15A63; 81P45; 53B50

Bounds on the Concavity of Quantum Entropy

Authors: Isaac H. Kim, Mary Beth Ruskai

Abstract: We give new upper and lower bounds on the concavity of quantum entropy. Comparisons are given with other results in the literature. We give new upper and lower bounds on the concavity of quantum entropy. Comparisons are given with other results in the literature. △ Less

Submitted 30 April, 2014; v1 submitted 23 April, 2014; originally announced April 2014.

Comments: 7 pages, fixed several errors

Journal ref: J. Math. Phys. 55, 092201 (2014)

The Quantum Entropy Cone of Stabiliser States

Authors: Noah Linden, František Matúš, Mary Beth Ruskai, Andreas Winter

Abstract: We investigate the universal linear inequalities that hold for the von Neumann entropies in a multi-party system, prepared in a stabiliser state. We demonstrate here that entropy vectors for stabiliser states satisfy, in addition to the classic inequalities, a type of linear rank inequalities associated with the combinatorial structure of normal subgroups of certain matrix groups. In the 4-party… ▽ More We investigate the universal linear inequalities that hold for the von Neumann entropies in a multi-party system, prepared in a stabiliser state. We demonstrate here that entropy vectors for stabiliser states satisfy, in addition to the classic inequalities, a type of linear rank inequalities associated with the combinatorial structure of normal subgroups of certain matrix groups. In the 4-party case, there is only one such inequality, the so-called Ingleton inequality. For these systems we show that strong subadditivity, weak monotonicity and Ingleton inequality exactly characterize the entropy cone for stabiliser states. △ Less

Submitted 2 July, 2013; v1 submitted 21 February, 2013; originally announced February 2013.

Comments: 15 pages, uses lipics.cls (http://www.dagstuhl.de/en/publications/lipics). V2 is the final TQC 2013 proceedings version, it has numerous corrections, updated references, and a new co-author

Journal ref: in: Proc. 8th TQC Guelph, LIPICS vol. 22, pp. 270-284, 2013

Families of completely positive maps associated with monotone metrics

Authors: Fumio Hiai, Hideki Kosaki, Denes Petz, Mary Beth Ruskai

Abstract: An operator convex function on (0,\infty) which satisfies the symmetry condition k(1/x) = x k(x) can be used to define a type of non-commutative multiplication by a positive definite matrix (or its inverse) using the primitive concepts of left and right multiplication and the functional calculus. The operators for the inverse can be used to define quadratic forms associated with Riemannian metrics… ▽ More An operator convex function on (0,\infty) which satisfies the symmetry condition k(1/x) = x k(x) can be used to define a type of non-commutative multiplication by a positive definite matrix (or its inverse) using the primitive concepts of left and right multiplication and the functional calculus. The operators for the inverse can be used to define quadratic forms associated with Riemannian metrics which contract under the action of completely positive trace-preserving maps. We study the question of when these operators define maps which are also completely positive (CP). Although A --> D^{-1/2} A D^{-1/2} is the only case for which both the map and its inverse are CP, there are several well-known one parameter families for which either the map or its inverse is CP. We present a complete analysis of the behavior of these families, as well as the behavior of lines connecting an extreme point with the smallest one and some results for geometric bridges between these points. Our primary tool is an order relation based on the concept of positive definite functions. Although some results can be obtained from known properties, we also prove new results based on the positivity of the Fourier transforms of certain functions. Concrete computations of certain Fourier transforms not only yield new examples of positive definite functions, but also examples in the much stronger class of infinitely divisible functions. △ Less

Submitted 9 June, 2013; v1 submitted 6 December, 2012; originally announced December 2012.

Comments: Final version to appear in Lin Alg. Appl. Links to preprints added

MSC Class: 15A63; 15A60; 42A82; 46L60; 46L87; 26E05

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

Remarks on on Kim's Strong Subadditivity Matrix Inequality: Extensions and Equality Conditions

Authors: Mary Beth Ruskai

Abstract: We describe recent work of Kim in arXiv:1210.5190 to show that operator convex functions associated with quasi-entropies can be used to prove a large class of new matrix inequalities in the tri-partite and bi-partite setting by taking a judiciously chosen partial trace over all but one of the spaces. We give some additional examples in both settings. Furthermore, we observe that the equality condi… ▽ More We describe recent work of Kim in arXiv:1210.5190 to show that operator convex functions associated with quasi-entropies can be used to prove a large class of new matrix inequalities in the tri-partite and bi-partite setting by taking a judiciously chosen partial trace over all but one of the spaces. We give some additional examples in both settings. Furthermore, we observe that the equality conditions for all the new inequalities are essentially the same as those for strong subadditivity. △ Less

Submitted 31 October, 2012; originally announced November 2012.

Comments: Kim's remarkable strengthening in arXiv:1210.5190 of strong subadditvity of quantum entropy to a matrix inequality was posted very close to the 40th anniversary of the actual proof of SSA

Comment on some results of Erdahl and the convex structure of reduced density matrices

Authors: Jianxin Chen, Zhengfeng Ji, Mary Beth Ruskai, Bei Zeng, Duan-Lu Zhou

Abstract: In J. Math. Phys. 13, 1608-1621 (1972), Erdahl considered the convex structure of the set of $N$-representable 2-body reduced density matrices in the case of fermions. Some of these results have a straightforward extension to the $m$-body setting and to the more general quantum marginal problem. We describe these extensions, but can not resolve a problem in the proof of Erdahl's claim that every e… ▽ More In J. Math. Phys. 13, 1608-1621 (1972), Erdahl considered the convex structure of the set of $N$-representable 2-body reduced density matrices in the case of fermions. Some of these results have a straightforward extension to the $m$-body setting and to the more general quantum marginal problem. We describe these extensions, but can not resolve a problem in the proof of Erdahl's claim that every extreme point is exposed in finite dimensions. Nevertheless, we can show that when $2m \geq N$ every extreme point of the set of $N$-representable $m$-body reduced density matrices has a unique pre-image in both the symmetric and anti-symmetric setting. Moreover, this extends to the quantum marginal setting for a pair of complementary $m$-body and $(N-m)$-body reduced density matrices. △ Less

Submitted 16 May, 2012; originally announced May 2012.

Comments: 19 pages, 0 figures. Comments are welcome

Principle of Maximum Entropy and Ground Spaces of Local Hamiltonians

Authors: Jianxin Chen, Zhengfeng Ji, Mary Beth Ruskai, Bei Zeng, Duanlu Zhou

Abstract: The structure of the ground spaces of quantum systems consisting of local interactions is of fundamental importance to different areas of physics. In this Letter, we present a necessary and sufficient condition for a subspace to be the ground space of a k-local Hamiltonian. Our analysis are motivated by the concept of irreducible correlations studied by [Linden et al., PRL 89, 277906] and [Zhou, P… ▽ More The structure of the ground spaces of quantum systems consisting of local interactions is of fundamental importance to different areas of physics. In this Letter, we present a necessary and sufficient condition for a subspace to be the ground space of a k-local Hamiltonian. Our analysis are motivated by the concept of irreducible correlations studied by [Linden et al., PRL 89, 277906] and [Zhou, PRL 101, 180505], which is in turn based on the principle of maximum entropy. It establishes a better understanding of the ground spaces of local Hamiltonians and builds an intimate link of ground spaces to the correlations of quantum states. △ Less

Submitted 17 May, 2012; v1 submitted 13 October, 2010; originally announced October 2010.

Comments: This paper has been withdrawn by the author due to a crucial error in proof of "only if" part. We explain this problem in detail in arXiv:1205.3682

Quantum codes give counterexamples to the unique pre-image conjecture of the N-representability problem

Authors: Samuel A. Ocko, Xie Chen, Bei Zeng, Beni Yoshida, Zhengfeng Ji, Mary Beth Ruskai, Isaac L. Chuang

Abstract: It is well known that the ground state energy of many-particle Hamiltonians involving only 2-body interactions can be obtained using constrained optimizations over density matrices which arise from reducing an N-particle state. While determining which 2-particle density matrices are "N- representable" is a computationally hard problem, all known extreme N-representable 2-particle reduced density m… ▽ More It is well known that the ground state energy of many-particle Hamiltonians involving only 2-body interactions can be obtained using constrained optimizations over density matrices which arise from reducing an N-particle state. While determining which 2-particle density matrices are "N- representable" is a computationally hard problem, all known extreme N-representable 2-particle reduced density matrices arise from a unique N-particle pre-image, satisfying a conjecture established in 1972. We present explicit counterexamples to this conjecture through giving Hamiltonians with 2-body interactions which have degenerate ground states that cannot be distinguished by any 2-body operator. We relate the existence of such counterexamples to quantum error correction codes and topologically ordered spin systems. △ Less

Submitted 14 March, 2011; v1 submitted 13 October, 2010; originally announced October 2010.

Comments: 4 pages, 1 figure

Journal ref: Phys. Rev. Lett. 106, 110501 (2011)

The $χ^2$-divergence and Mixing times of quantum Markov processes

Authors: K. Temme, M. J. Kastoryano, M. B. Ruskai, M. M. Wolf, F. Verstraete

Abstract: We introduce quantum versions of the $χ^2$-divergence, provide a detailed analysis of their properties, and apply them in the investigation of mixing times of quantum Markov processes. An approach similar to the one presented in [1-3] for classical Markov chains is taken to bound the trace-distance from the steady state of a quantum processes. A strict spectral bound to the convergence rate can be… ▽ More We introduce quantum versions of the $χ^2$-divergence, provide a detailed analysis of their properties, and apply them in the investigation of mixing times of quantum Markov processes. An approach similar to the one presented in [1-3] for classical Markov chains is taken to bound the trace-distance from the steady state of a quantum processes. A strict spectral bound to the convergence rate can be given for time-discrete as well as for time-continuous quantum Markov processes. Furthermore the contractive behavior of the $χ^2$-divergence under the action of a completely positive map is investigated and contrasted to the contraction of the trace norm. In this context we analyse different versions of quantum detailed balance and, finally, give a geometric conductance bound to the convergence rate for unital quantum Markov processes. △ Less

Submitted 5 April, 2024; v1 submitted 13 May, 2010; originally announced May 2010.

Comments: Proposition 6 of the older arxiv version has been removed in the published version as it is in error

Journal ref: J. Math. Phys. 51, 122201 (2010)

The bosonic minimum output entropy conjecture and Lagrangian minimization

Authors: S. Lloyd, V. Giovannetti, L. Maccone, N. J. Cerf, S. Guha, R. Garcia-Patron, S. Mitter, S. Pirandola, M. B. Ruskai, J. H. Shapiro, H. Yuan

Abstract: We introduce a new form for the bosonic channel minimal output entropy conjecture, namely that among states with equal input entropy, the thermal states are the ones that have slightest increase in entropy when sent through a infinitesimal thermalizing channel. We then detail a strategy to prove the conjecture through variational techniques. This would lead to the calculation of the classical capa… ▽ More We introduce a new form for the bosonic channel minimal output entropy conjecture, namely that among states with equal input entropy, the thermal states are the ones that have slightest increase in entropy when sent through a infinitesimal thermalizing channel. We then detail a strategy to prove the conjecture through variational techniques. This would lead to the calculation of the classical capacity of a communication channel subject to thermal noise. Our strategy detects input thermal ensembles as possible solutions for the optimal encoding of the channel, lending support to the conjecture. However, it does not seem to be able to exclude the possibility that other input ensembles can attain the channel capacity. △ Less

Submitted 18 August, 2010; v1 submitted 15 June, 2009; originally announced June 2009.

Comments: Here we detail the progress in attacking the minimum output entropy conjecture with an infinitesimal thermalizing map approach. In particular, we give the details on why we could not complete the proof of the conjecture with this strategy

A Unified Treatment of Convexity of Relative Entropy and Related Trace Functions, with Conditions for Equality

Authors: Anna Jencova, Mary Beth Ruskai

Abstract: We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map (A,B) --> Tr K^* A^p K B^{1-p} Lieb's joint concavity for 0 < p < 1 and Ando's joint convexity for 1 < p < 2. This approach allows us to obtain conditions for… ▽ More We introduce a generalization of relative entropy derived from the Wigner-Yanase-Dyson entropy and give a simple, self-contained proof that it is convex. Moreover, special cases yield the joint convexity of relative entropy, and for the map (A,B) --> Tr K^* A^p K B^{1-p} Lieb's joint concavity for 0 < p < 1 and Ando's joint convexity for 1 < p < 2. This approach allows us to obtain conditions for equality in these cases, as well as conditions for equality in a number of inequalities which follow from them. These include the monotonicity under partial traces, and some Minkowski type matrix inequalities proved by Lieb and Carlen for mixed (p,q) norms. In all cases the equality conditions are independent of p; for extensions to three spaces they are identical to the conditions for equality in the strong subadditivity of relative entropy. △ Less

Submitted 29 July, 2010; v1 submitted 16 March, 2009; originally announced March 2009.

Comments: Final version to appear in Rev. Math. Phys. with many typos and minor errors corrected

MSC Class: 15A39; 81P45;

Bipartite states of low rank are almost surely entangled

Authors: Mary Beth Ruskai, Elisabeth M. Werner

Abstract: We show that a bipartite state on a tensor product of two matrix algebras is almost surely entangled if its rank is not greater than that of one of its reduced density matrices. We show that a bipartite state on a tensor product of two matrix algebras is almost surely entangled if its rank is not greater than that of one of its reduced density matrices. △ Less

Submitted 1 December, 2008; originally announced December 2008.

Qubit channels with small correlations

Authors: Filippo Caruso, Vittorio Giovannetti, Chiara Macchiavello, Mary Beth Ruskai

Abstract: We introduce a class of quantum channels with correlations acting on pairs of qubits, where the correlation takes the form of a shift operator onto a maximally entangled state. We optimise the output purity and show that below a certain threshold the optimum is achieved by partially entangled states whose degree of entanglement increases monotonically with the correlation parameter. Above this t… ▽ More We introduce a class of quantum channels with correlations acting on pairs of qubits, where the correlation takes the form of a shift operator onto a maximally entangled state. We optimise the output purity and show that below a certain threshold the optimum is achieved by partially entangled states whose degree of entanglement increases monotonically with the correlation parameter. Above this threshold, the optimum is achieved by the maximally entangled state characterizing the shift. Although, a full analysis can only be done for the 2-norm, both numerical and heuristic arguments indicate that this behavior and the optimal inputs are independent of p>1 when the optimal output purity is measured using the p-norm. △ Less

Submitted 13 May, 2008; v1 submitted 21 March, 2008; originally announced March 2008.

Comments: 11 pages, 4 figures, 2 tables

Journal ref: Physical Review A 77, 052323 (2008)

The structure of degradable quantum channels

Authors: Toby S. Cubitt, Mary-Beth Ruskai, Graeme Smith

Abstract: Degradable quantum channels are among the only channels whose quantum and private classical capacities are known. As such, determining the structure of these channels is a pressing open question in quantum information theory. We give a comprehensive review of what is currently known about the structure of degradable quantum channels, including a number of new results as well as alternate proofs… ▽ More Degradable quantum channels are among the only channels whose quantum and private classical capacities are known. As such, determining the structure of these channels is a pressing open question in quantum information theory. We give a comprehensive review of what is currently known about the structure of degradable quantum channels, including a number of new results as well as alternate proofs of some known results. In the case of qubits, we provide a complete characterization of all degradable channels with two dimensional output, give a new proof that a qubit channel with two Kraus operators is either degradable or anti-degradable and present a complete description of anti-degradable unital qubit channels with a new proof. For higher output dimensions we explore the relationship between the output and environment dimensions ($d_B$ and $d_E$ respectively) of degradable channels. For several broad classes of channels we show that they can be modeled with a environment that is "small" in the sense $d_E \leq d_B$. Perhaps surprisingly, we also present examples of degradable channels with ``large'' environments, in the sense that the minimal dimension $d_E > d_B$. Indeed, one can have $d_E > \tfrac{1}{4} d_B^2$. In the case of channels with diagonal Kraus operators, we describe the subclass which are complements of entanglement breaking channels. We also obtain a number of results for channels in the convex hull of conjugations with generalized Pauli matrices. However, a number of open questions remain about these channels and the more general case of random unitary channels. △ Less

Submitted 16 February, 2008; v1 submitted 10 February, 2008; originally announced February 2008.

Comments: 42 pages, 3 figures, Web and paper abstract differ; (v2 contains only minor typo corrections)

Journal ref: J. Math. Phys. 49, 102104 (2008)

Some Open Problems in Quantum Information Theory

Authors: Mary Beth Ruskai

Abstract: Some open questions in quantum information theory (QIT) are described. Most of them were presented in Banff during the BIRS workshop on Operator Structures in QIT 11-16 February 2007. New material has been added in view of the recent counter-examples to p-norm multiplicativity. Some open questions in quantum information theory (QIT) are described. Most of them were presented in Banff during the BIRS workshop on Operator Structures in QIT 11-16 February 2007. New material has been added in view of the recent counter-examples to p-norm multiplicativity. △ Less

Submitted 14 August, 2007; originally announced August 2007.

Connecting N-representability to Weyl's problem: The one particle density matrix for N = 3 and R = 6

Authors: Mary Beth Ruskai

Abstract: An analytic proof is given of the necessity of the Borland-Dennis conditions for 3-representability of a one particle density matrix with rank 6. This may shed some light on Klyachko's recent use of Schubert calculus to find general conditions for N-representability. An analytic proof is given of the necessity of the Borland-Dennis conditions for 3-representability of a one particle density matrix with rank 6. This may shed some light on Klyachko's recent use of Schubert calculus to find general conditions for N-representability. △ Less

Submitted 13 June, 2007; originally announced June 2007.

Journal ref: J. Phys. A 40, F961-F967 (2007)

Pauli Diagonal Channels Constant on Axes

Authors: M. Nathanson, M. B. Ruskai

Abstract: We define and study the properties of channels which are analogous to unital qubit channels in several ways. A full treatment can be given only when the dimension d is a prime power, in which case each of the (d+1) mutually unbiased bases (MUB) defines an axis. Along each axis the channel looks like a depolarizing channel, but the degree of depolarization depends on the axis. When d is not a pri… ▽ More We define and study the properties of channels which are analogous to unital qubit channels in several ways. A full treatment can be given only when the dimension d is a prime power, in which case each of the (d+1) mutually unbiased bases (MUB) defines an axis. Along each axis the channel looks like a depolarizing channel, but the degree of depolarization depends on the axis. When d is not a prime power, some of our results still hold, particularly in the case of channels with one symmetry axis. We describe the convex structure of this class of channels and the subclass of entanglement breaking channels. We find new bound entangled states for d = 3. For these channels, we show that the multiplicativity conjecture for maximal output p-norm holds for p=2. We also find channels with behavior not exhibited by unital qubit channels, including two pairs of orthogonal bases with equal output entropy in the absence of symmetry. This provides new numerical evidence for the additivity of minimal output entropy. △ Less

Submitted 9 November, 2006; originally announced November 2006.

Journal ref: J. Phys. A: Math. Theor. 40 (2007) 8171-8204.

Improved Gap Estimates for Simulating Quantum Circuits by Adiabatic Evolution

Authors: Percy Deift, Mary Beth Ruskai, Wolfgang Spitzer

Abstract: We use elementary variational arguments to prove, and improve on, gap estimates which arise in simulating quantum circuits by adiabatic evolution. We use elementary variational arguments to prove, and improve on, gap estimates which arise in simulating quantum circuits by adiabatic evolution. △ Less

Submitted 17 May, 2006; originally announced May 2006.

Journal ref: Quantum Inf. Process 6, 121-125 (2007)

Another Short and Elementary Proof of Strong Subadditivity of Quantum Entropy

Authors: Mary Beth Ruskai

Abstract: A short and elementary proof of the joint convexity of relative entropy is presented, using nothing beyond linear algebra. The key ingredients are an easily verified integral representation and the strategy used to prove the Cauchy-Schwarz inequality in elementary courses. Several consequences are proved in a way which allow an elementary proof of strong subadditivity in a few more lines. Some… ▽ More A short and elementary proof of the joint convexity of relative entropy is presented, using nothing beyond linear algebra. The key ingredients are an easily verified integral representation and the strategy used to prove the Cauchy-Schwarz inequality in elementary courses. Several consequences are proved in a way which allow an elementary proof of strong subadditivity in a few more lines. Some expository material on Schwarz inequalities for operators and the Holevo bound for partial measurements is also included. △ Less

Submitted 27 April, 2006; originally announced April 2006.

Comments: The proof given here is short and more elementary that in either quant-ph/0404126 or quant-ph/0408130. The style is intended to be suitable to classroom presentation. For a Much More Complicated approach, see Section 6 of quant-ph/0506196

Journal ref: Reports on Mathematical Physics 60, 1-12 (2007).

Bounds for the adiabatic approximation with applications to quantum computation

Authors: Sabine Jansen, Mary-Beth Ruskai, Ruedi Seiler

Abstract: We present straightforward proofs of estimates used in the adiabatic approximation. The gap dependence is analyzed explicitly. We apply the result to interpolating Hamiltonians of interest in quantum computing. We present straightforward proofs of estimates used in the adiabatic approximation. The gap dependence is analyzed explicitly. We apply the result to interpolating Hamiltonians of interest in quantum computing. △ Less

Submitted 8 November, 2007; v1 submitted 20 March, 2006; originally announced March 2006.

Comments: 15 pages, one figure. Two comments added in Secs. 2 and 5

Journal ref: J. Math. Phys. 48, 102111 (2007)

Comment on "Stronger subadditivity of entropy" by Lieb and Seiringer math-ph/0412009

Authors: Mary Beth Ruskai

Abstract: We show how recent results of Lieb and Seiringer [math-ph/0412009; Phys. Rev. A 71, 062329 (2005)] can be obtained from repeated use of the monotonicity of relative entropy under partial traces, and explain how to use their approach to obtain tighter bounds in many situations. We show how recent results of Lieb and Seiringer [math-ph/0412009; Phys. Rev. A 71, 062329 (2005)] can be obtained from repeated use of the monotonicity of relative entropy under partial traces, and explain how to use their approach to obtain tighter bounds in many situations. △ Less

Submitted 4 April, 2006; v1 submitted 8 March, 2006; originally announced March 2006.

Comments: math-ph/0412009 appeared in Phys. Rev. A 71, 062329 (2005). In v. 3 typos are corrected and a paragraph added which shows that the "sandwich" property (13) [which is (9) in LS] holds for any CPT map restricted to a subsystem

Journal ref: Phys.Rev. A 74, 026303 (2006)

Contractivity of positive and trace preserving maps under $L_p$ norms

Authors: David Perez-Garcia, Michael M. Wolf, Denes Petz, Mary Beth Ruskai

Abstract: We provide a complete picture of contractivity of trace preserving positive maps with respect to $p$-norms. We show that for $p>1$ contractivity holds in general if and only if the map is unital. When the domain is restricted to the traceless subspace of Hermitian matrices, then contractivity is shown to hold in the case of qubits for arbitrary $p\geq 1$ and in the case of qutrits if and only if… ▽ More We provide a complete picture of contractivity of trace preserving positive maps with respect to $p$-norms. We show that for $p>1$ contractivity holds in general if and only if the map is unital. When the domain is restricted to the traceless subspace of Hermitian matrices, then contractivity is shown to hold in the case of qubits for arbitrary $p\geq 1$ and in the case of qutrits if and only if $p=1,\infty$. In all non-contractive cases best possible bounds on the $p$-norms are derived. △ Less

Submitted 30 January, 2006; originally announced January 2006.

Journal ref: J. Math. Phys. 47, 083506 (2006)

Properties of Conjugate Channels with Applications to Additivity and Multiplicativity

Authors: Christopher King, Keiji Matsumoto, Michael Nathanson, Mary Beth Ruskai

Abstract: Quantum channels can be described via a unitary coupling of system and environment, followed by a trace over the environment state space. Taking the trace instead over the system state space produces a different mapping which we call the conjugate channel. We explore the properties of conjugate channels and describe several different methods of construction. In general, conjugate channels map M_… ▽ More Quantum channels can be described via a unitary coupling of system and environment, followed by a trace over the environment state space. Taking the trace instead over the system state space produces a different mapping which we call the conjugate channel. We explore the properties of conjugate channels and describe several different methods of construction. In general, conjugate channels map M_d to M_d' with d < d', and different constructions may differ by conjugation with a partial isometry. We show that a channel and its conjugate have the same minimal output entropy and maximal output p-norm. It then follows that the additivity and multiplicativity conjectures for these measures of optimal output purity hold for a product of channels if and only if they also hold for the product of their conjugates. This allows us to reduce these conjectures to the special case of maps taking M_d to M_d' with a minimal representation of dimension at most d. We find explicit expressions for the conjugates for a number of well-known examples, including entanglement-breaking channels, unital qubit channels, the depolarizing channel, and a subclass of random unitary channels. For the entanglement-breaking channels, channels this yields a new class of channels for which additivity and multiplicativity of optimal output purity can be established. For random unitary channels using the generalized Pauli matrices, we obtain a new formulation of the multiplicativity conjecture. The conjugate of the completely noisy channel plays a special role and suggests a mechanism for using noise to transmit information. △ Less

Submitted 25 March, 2006; v1 submitted 19 September, 2005; originally announced September 2005.

Comments: Final version to appear in Markov Processes and Related Fields special issue in memory of John T. Lewis

Journal ref: Markov Process and Related Fields 13, 391-423 (2007)

Multiplicativity of completely bounded p-norms implies a new additivity result

Authors: Igor Devetak, Marius Junge, Christopher King, Mary Beth Ruskai

Abstract: We prove additivity of the minimal conditional entropy associated with a quantum channel Phi, represented by a completely positive (CP), trace-preserving map, when the infimum of S(gamma_{12}) - S(gamma_1) is restricted to states of the form gamma_{12} = (I \ot Phi)(| psi >< psi |). We show that this follows from multiplicativity of the completely bounded norm of Phi considered as a map from L_1… ▽ More We prove additivity of the minimal conditional entropy associated with a quantum channel Phi, represented by a completely positive (CP), trace-preserving map, when the infimum of S(gamma_{12}) - S(gamma_1) is restricted to states of the form gamma_{12} = (I \ot Phi)(| psi >< psi |). We show that this follows from multiplicativity of the completely bounded norm of Phi considered as a map from L_1 -> L_p for L_p spaces defined by the Schatten p-norm on matrices; we also give an independent proof based on entropy inequalities. Several related multiplicativity results are discussed and proved. In particular, we show that both the usual L_1 -> L_p norm of a CP map and the corresponding completely bounded norm are achieved for positive semi-definite matrices. Physical interpretations are considered, and a new proof of strong subadditivity is presented. △ Less

Submitted 23 January, 2006; v1 submitted 23 June, 2005; originally announced June 2005.

Comments: Final version for Commun. Math. Physics. Section 5.2 of previous version deleted in view of the results in quant-ph/0601071 Other changes minor

Journal ref: Commun. Math. Phys. 266, 37-63 (2006)

Maximal output purity and capacity for asymmetric unital qudit channels

Authors: Nilanjana Datta, Mary Beth Ruskai

Abstract: We consider generalizations of depolarizing channels to maps in which the identity channel is replaced by a convex combinations of unitary conjugations. We show that one can construct unital channels of this type for which the input which achieves maximal output purity is unique. We give conditions under which multiplicativity of the maximal p-norm and additivity of the minimal output entropy.… ▽ More We consider generalizations of depolarizing channels to maps in which the identity channel is replaced by a convex combinations of unitary conjugations. We show that one can construct unital channels of this type for which the input which achieves maximal output purity is unique. We give conditions under which multiplicativity of the maximal p-norm and additivity of the minimal output entropy. We also show that the Holevo capacity need not equal log d - the minimal entropy as one might expect for a convex combination of unitary conjugations. Conversely, we give examples for which this condition holds, but the channel has no evident covariance properties. △ Less

Submitted 15 September, 2005; v1 submitted 8 May, 2005; originally announced May 2005.

Comments: Added a few references in v4. Previously added a section on numerical studies giving evidence for additivity of channel capacity, and comments on the relationship to quant-ph/0412133 and quant-ph/0505022

Journal ref: J. Phys. A: Math. Gen. 3, 9785-9802 (2005)

Multiplicativity properties of entrywise positive maps

Authors: Christopher King, Michael Nathanson, Mary Beth Ruskai

Abstract: Multiplicativity of certain maximal p -> q norms of a tensor product of linear maps on matrix algebras is proved in situations in which the condition of complete positivity (CP) is either augmented by, or replaced by, the requirement that the entries of a matrix representative of the map are non-negative (EP). In particular, for integer t, multiplicativity holds for the maximal 2 -> 2t norm of a… ▽ More Multiplicativity of certain maximal p -> q norms of a tensor product of linear maps on matrix algebras is proved in situations in which the condition of complete positivity (CP) is either augmented by, or replaced by, the requirement that the entries of a matrix representative of the map are non-negative (EP). In particular, for integer t, multiplicativity holds for the maximal 2 -> 2t norm of a product of two maps, whenever one of the pair is EP; for the maximal 1 -> t norm for pairs of CP maps when one of them is also EP; and for the maximal 1 -> 2t norm for the product of an EP and a 2-positive map. Similar results are shown in the infinite-dimensional setting of convolution operators on L^2(R), with the pointwise positivity of an integral kernel replacing entrywise positivity of a matrix. These results apply in particular to Gaussian bosonic channels. △ Less

Submitted 18 November, 2004; v1 submitted 26 September, 2004; originally announced September 2004.

Comments: results extended to some infinite dimensional cases, including the Gaussian bosonic channel

Journal ref: Lin. Alg. Appl. 404, 367-379 (2005).

Conditions for the multiplicativity of maximal l_p-norms of channels for fixed integer p

Authors: Vittorio Giovannetti, Seth Lloyd, Mary Beth Ruskai

Abstract: We introduce a condition for memoryless quantum channels which, when satisfied guarantees the multiplicativity of the maximal l_p-norm with p a fixed integer. By applying the condition to qubit channels, it can be shown that it is not a necessary condition, although some known results for qubits can be recovered. When applied to the Werner-Holevo channel, which is known to violate multiplicativi… ▽ More We introduce a condition for memoryless quantum channels which, when satisfied guarantees the multiplicativity of the maximal l_p-norm with p a fixed integer. By applying the condition to qubit channels, it can be shown that it is not a necessary condition, although some known results for qubits can be recovered. When applied to the Werner-Holevo channel, which is known to violate multiplicativity when p is large relative to the dimension d, the condition suggests that multiplicativity holds when $d \geqslant 2^{p-1}$. This conjecture is proved explicitly for p=2, 3, 4. Finally, a new class of channels is considered which generalizes the depolarizing channel to maps which are combinations of the identity channel and a noisy one whose image is an arbitrary density matrix. It is shown that these channels are multiplicative for p = 2. △ Less

Submitted 7 March, 2005; v1 submitted 16 August, 2004; originally announced August 2004.

Comments: 20 pages: new material added including additional details supporting the conjecture that the Werner-Holevo channel is multiplicative for all p when d > 2^{p-1}; typos corrected. To appear on JMP

Journal ref: J. Math. Phys. 46, 042105 (2005)

Lieb's simple proof of concavity of Tr A^p K^* B^(1-p) K and remarks on related inequalities

Authors: Mary Beth Ruskai

Abstract: A simple, self-contained proof is presented for the concavity of the map (A,B) --> Tr(A^p K^* B^(1-p) K). The author makes no claim to originality; this note gives Lieb's original argument in its simplest, rather than its most general, form. A sketch of the chain of implications from this result to concavity of A --> Tr e^[K + log(A)] is then presented. An independent elementary proof is given f… ▽ More A simple, self-contained proof is presented for the concavity of the map (A,B) --> Tr(A^p K^* B^(1-p) K). The author makes no claim to originality; this note gives Lieb's original argument in its simplest, rather than its most general, form. A sketch of the chain of implications from this result to concavity of A --> Tr e^[K + log(A)] is then presented. An independent elementary proof is given for the joint convexity of the map (A,B,X) --> Tr \int X^* (A+ uI)^{-1} X (B+ uI)^{-1} du which plays a key role in entropy inequalities. △ Less

Submitted 27 April, 2006; v1 submitted 21 April, 2004; originally announced April 2004.

Comments: Version 3 contains Appendix C, which corrects some flaws in the presentation of the proof of the main theorem

Journal ref: International Jour. Quant. Info 3, 570--590 (2005); erratum 4, 747-748 (2006)

Qubit Channels Which Require Four Inputs to Achieve Capacity: Implications for Additivity Conjectures

Authors: Masahito Hayashi, Hiroshi Imai, Keiji Matsumoto, Mary Beth Ruskai, Toshiyuki Shimono

Abstract: An example is given of a qubit quantum channel which requires four inputs to maximize the Holevo capacity. The example is one of a family of channels which are related to 3-state channels. The capacity of the product channel is studied and numerical evidence presented which strongly suggests additivity. The numerical evidence also supports a conjecture about the concavity of output entropy as a… ▽ More An example is given of a qubit quantum channel which requires four inputs to maximize the Holevo capacity. The example is one of a family of channels which are related to 3-state channels. The capacity of the product channel is studied and numerical evidence presented which strongly suggests additivity. The numerical evidence also supports a conjecture about the concavity of output entropy as a function of entanglement parameters. However, an example is presented which shows that for some channels this conjecture does not hold for all input states. A numerical algorithm for finding the capacity and optimal inputs is presented and its relation to a relative entropy optimization discussed. △ Less

Submitted 26 August, 2004; v1 submitted 24 March, 2004; originally announced March 2004.

Comments: 19 pages, 15 figures. several typos corrected in v2

Journal ref: Quantum Inf. Comput. 5, 13--31 (2005)

Comments on multiplicativity of maximal p-norms when p = 2

Authors: Christopher King, Mary Beth Ruskai

Abstract: We consider the maximal p-norm associated with a completely positive map and the question of its multiplicativity under tensor products. We give a condition under which this multiplicativity holds when p = 2, and we describe some maps which satisfy our condition. This class includes maps for which multiplicativity is known to fail for large p. Our work raises some questions of independent inte… ▽ More We consider the maximal p-norm associated with a completely positive map and the question of its multiplicativity under tensor products. We give a condition under which this multiplicativity holds when p = 2, and we describe some maps which satisfy our condition. This class includes maps for which multiplicativity is known to fail for large p. Our work raises some questions of independent interest in matrix theory; these are discussed in two appendices. △ Less

Submitted 7 January, 2004; originally announced January 2004.

Comments: 16 pages. For the Festschrift in honor of A. Holevo's 60th birthday

Report number: Quantum Information, Statistics and Probability ed. by O. Hirota, pp. 102-114 (Rinton Press, 2004)

Journal ref: Quantum Inf. Comput. 4, 500-512 (2004)

One-dimensional models for atoms in strong magnetic fields, II: Anti-Symmetry in the Landau Levels

Authors: Raymond Brummelhuis, Mary Beth Ruskai

Abstract: Electrons in strong magnetic fields can be described by one-dimensional models in which the Coulomb potential and interactions are replaced by regularizations associated with the lowest Landau band. For a large class of models of these type, we show that the maximum number of electrons that can be bound is less than a Z + Z f(Z). The function f(Z) represents a small non-linear growth which is qu… ▽ More Electrons in strong magnetic fields can be described by one-dimensional models in which the Coulomb potential and interactions are replaced by regularizations associated with the lowest Landau band. For a large class of models of these type, we show that the maximum number of electrons that can be bound is less than a Z + Z f(Z). The function f(Z) represents a small non-linear growth which is quadratic in log Z when the magnetic field strength grows polynomially with the nuclear charge Z. In contrast to earlier work, the models considered here include those arising from realistic cases in which the full trial wave function for N-electrons is the product of an N-electron trial function in one-dimension and an antisymmetric product of states in the lowest Landau level. △ Less

Submitted 13 November, 2003; v1 submitted 28 August, 2003; originally announced August 2003.

Comments: Submitted to special issue of J. Stat. Phys. in honor of E. Lieb's 70th birthday. (latex, 25 pages)

MSC Class: 81Q05; 81V45

Journal ref: J. Stat. Phys. 116, 547-570 (2004)

Permutationally Invariant Codes for Quantum Error Correction

Authors: Harriet Pollatsek, Mary Beth Ruskai

Abstract: A permutationally invariant n-bit code for quantum error correction can be realized as a subspace stabilized by the non-Abelian group S_n. The code corresponds to bases for the trivial representation, and all other irreducible representations, both those of higher dimension and orthogonal bases for the trivial representation, are available for error correction. A number of new (non-additive) b… ▽ More A permutationally invariant n-bit code for quantum error correction can be realized as a subspace stabilized by the non-Abelian group S_n. The code corresponds to bases for the trivial representation, and all other irreducible representations, both those of higher dimension and orthogonal bases for the trivial representation, are available for error correction. A number of new (non-additive) binary codes are obtained, including two new 7-bit codes and a large family of new 9-bit codes. It is shown that the degeneracy arising from permutational symmetry facilitates the correction of certain types of two-bit errors. The correction of two-bit errors of the same type is considered in detail, but is shown not to be compatible with single-bit error correction using 9-bit codes. △ Less

Submitted 20 July, 2004; v1 submitted 24 April, 2003; originally announced April 2003.

Comments: Final version to appear in Lin. Alg. Appl. differs from version 2 only in minor reorganization of section 5.4

Journal ref: Lin. Alg. Appl. 392, 255--288 (2004)

Some Bipartite States do not Arise from Channels

Authors: Mary Beth Ruskai

Abstract: It is well-known that the action of a quantum channel on a state can be represented, using an auxiliary space, as the partial trace of an associated bipartite state. Recently, it was observed that for the bipartite state associated with the optimal average input of the channel, the entanglement of formation is simply the entropy of the reduced density matrix minus the Holevo capacity. It is natu… ▽ More It is well-known that the action of a quantum channel on a state can be represented, using an auxiliary space, as the partial trace of an associated bipartite state. Recently, it was observed that for the bipartite state associated with the optimal average input of the channel, the entanglement of formation is simply the entropy of the reduced density matrix minus the Holevo capacity. It is natural to ask if every bipartite state can be associated with some channel in this way. We show that the answer is negative. △ Less

Submitted 16 April, 2003; v1 submitted 24 March, 2003; originally announced March 2003.

Comments: 7 pages; minor typos corrected. To appear in special issue of the IBM Journal of Research and Development for Charles Bennett's 60th birthday

Journal ref: IBM Journal of Research and Development 48, 111-114 (2004)

Qubit Entanglement Breaking Channels

Authors: Mary Beth Ruskai

Abstract: This paper continues the study of stochastic maps, or channels, which break entanglement. We give a detailed description of entanglement-breaking qubit channels, and show that such maps are precisely the convex hull of those known as classical-quantum channels. We also review the complete positivity conditions in a canonical parameterization and show how they lead to entanglement-breaking condit… ▽ More This paper continues the study of stochastic maps, or channels, which break entanglement. We give a detailed description of entanglement-breaking qubit channels, and show that such maps are precisely the convex hull of those known as classical-quantum channels. We also review the complete positivity conditions in a canonical parameterization and show how they lead to entanglement-breaking conditions. △ Less

Submitted 4 June, 2003; v1 submitted 4 February, 2003; originally announced February 2003.

Comments: Contains main results from section 2 of quant-ph/0207100 Version 2 corrects minor typos. Final version to appear in Rev. Math. Phys

Journal ref: Rev. Math. Phys. 15, 643-662 (2003)

General Entanglement Breaking Channels

Authors: Michael Horodecki, Peter W. Shor, Mary Beth Ruskai

Abstract: This paper studies the class of stochastic maps, or channels, whose action (when tensored with the identity) on an entangled state always yields a separable state. Such maps have a canonical form introduced by Holevo. Such maps are called entanglement breaking, and can always be written in a canonical form introduced by Holevo. Some special classes of these maps are considered and several equiva… ▽ More This paper studies the class of stochastic maps, or channels, whose action (when tensored with the identity) on an entangled state always yields a separable state. Such maps have a canonical form introduced by Holevo. Such maps are called entanglement breaking, and can always be written in a canonical form introduced by Holevo. Some special classes of these maps are considered and several equivalent characterizations given. Since the set of entanglement-breaking trace-preserving maps is convex, it can be described by its extreme points. The only extreme points of the set of completely positive trace preserving maps which are also entanglement breaking are those known as classical quantum or CQ. However, for d > 2 the set of entanglement breaking maps has additional extreme points which are not extreme CQ maps. △ Less

Submitted 4 June, 2003; v1 submitted 4 February, 2003; originally announced February 2003.

Comments: This paper extends the results in section 3 of quant-ph/0207100, and gives a counter-example to the conjecture that all extreme points are CQ. Final version to appear in Rev. Math. Phys

Journal ref: Rev. Math. Phys 15, 629--641 (2003)

Entanglement Breaking Channels

Authors: Mary Beth Ruskai

Abstract: This paper has been removed and is superceded by a pair of papers on stochastic maps, or channels, which break entanglement (EBT). quant-ph/0302031 General Entanglement Breaking Channels by Michael Horodecki, Peter W. Shor and Mary Beth Ruskai includes the results originally in section 3, as well as a number of new results about the extreme points. (The remarks in previously in section 3 about "… ▽ More This paper has been removed and is superceded by a pair of papers on stochastic maps, or channels, which break entanglement (EBT). quant-ph/0302031 General Entanglement Breaking Channels by Michael Horodecki, Peter W. Shor and Mary Beth Ruskai includes the results originally in section 3, as well as a number of new results about the extreme points. (The remarks in previously in section 3 about "sign change condition" are incorrect and have been omitted from quant-ph/0302031.) The new paper contains a to the conjecture that all extreme points of EBT maps are CQ when d > 2. quant-ph/0302032 Qubit Entanglement Breaking Channels by Mary Beth Ruskai contains the results oroginally in section 2. The main result is that for qubits, EBT maps are precisely the convex hull of those known as classical-quantum channels. The complete positivity conditions in a canonical parameterization are reviewed and used to formulate EBT constraints. △ Less

Submitted 4 February, 2003; v1 submitted 17 July, 2002; originally announced July 2002.

Inequalities for Quantum Entropy: A Review with Conditions for Equality

Authors: Mary Beth Ruskai

Abstract: This paper presents self-contained proofs of the strong subadditivity inequality for quantum entropy and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein's inequality and one of Lieb's less well-known concave trace functions, allows one to obtain condit… ▽ More This paper presents self-contained proofs of the strong subadditivity inequality for quantum entropy and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein's inequality and one of Lieb's less well-known concave trace functions, allows one to obtain conditions for equality. Using the fact that the Holevo bound on the accessible information in a quantum ensemble can be obtained as a consequence of the monotonicity of relative entropy, we show that equality can be attained for that bound only when the states in the ensemble commute. The paper concludes with an Appendix giving a short description of Epstein's elegant proof of the relevant concavity theorem of Lieb. △ Less

Submitted 19 May, 2002; v1 submitted 12 May, 2002; originally announced May 2002.

Comments: 28 pages, latex Added reference to M.J.W. Hall, "Quantum Information and Correlation Bounds" Phys. Rev. A, 55, pp 100--112 (1997)

Journal ref: J. Math. Phys. 43, 4358-4375 (2002); erratum 46, 019901 (2005).

Comments on Adiabatic Quantum Algorithms

Authors: Mary Beth Ruskai

Abstract: Recently a method for adiabatic quantum computation has been proposed and there has been considerable speculation about its efficiency for NP-complete problems. Heuristic arguments in its favor are based on the unproven assumption of an eigenvalue gap. We show that, even without the assumption of an eigenvalue gap, other standard arguments can be used to show that a large class of Hamiltonians… ▽ More Recently a method for adiabatic quantum computation has been proposed and there has been considerable speculation about its efficiency for NP-complete problems. Heuristic arguments in its favor are based on the unproven assumption of an eigenvalue gap. We show that, even without the assumption of an eigenvalue gap, other standard arguments can be used to show that a large class of Hamiltonians proposed for adiabatic quantum computation have unique ground states. We also discuss some of the issues which arise in trying to analyze the behavior of the eigenvalue gap. In particular, we propose several mechanisms for modifying to final Hamiltonian to perform an adiabatic search with efficiency comparable to that for 3-SAT. We also propose the use of randomly defined final Hamiltonians as a mechanism for analyzing the generic spectral behavior of the interpolating Hamiltonians associated with problems which lack sufficent structure to be amenable to efficient classical algorithms. △ Less

Submitted 13 June, 2002; v1 submitted 25 March, 2002; originally announced March 2002.

Comments: Converted to AMSlatex format. 10 pages. To appear in Proceedings of the QMath-8 conference to be published by the AMS in its Contemporary Matheamtics (CONM) book series

Journal ref: Contemporary Mathematics 307, 265--274 (AMS Press, 2002)

Qubit Channels Can Require More Than Two Inputs to Achieve Capacity

Authors: Christopher King, Michael Nathanson, Mary Beth Ruskai

Abstract: We give examples of qubit channels that require three input states in order to achieve the Holevo capacity. We give examples of qubit channels that require three input states in order to achieve the Holevo capacity. △ Less

Submitted 17 September, 2001; originally announced September 2001.

Comments: RevTex, 5 page, 4 figuress

Journal ref: Phys. Rev. Lett. 88, 057901 (2002)

An Analysis of Completely-Positive Trace-Preserving Maps on 2x2 Matrices

Authors: Mary Beth Ruskai, Stanislaw Szarek, Elisabeth Werner

Abstract: We give a useful new characterization of the set of all completely positive, trace-preserving (i.e., stochastic) maps from 2x2 matrices to 2x2 matrices. These conditions allow one to easily check any trace-preserving map for complete positivity. We also determine explicitly all extreme points of this set, and give a useful parameterization after reduction to a certain canonical form. This allows… ▽ More We give a useful new characterization of the set of all completely positive, trace-preserving (i.e., stochastic) maps from 2x2 matrices to 2x2 matrices. These conditions allow one to easily check any trace-preserving map for complete positivity. We also determine explicitly all extreme points of this set, and give a useful parameterization after reduction to a certain canonical form. This allows a detailed examination of an important class of non-unital extreme points which can be characterized as having exactly two images on the Bloch sphere. We also discuss a number of related issues about the images and the geometry of the set of stochastic maps, and show that any stochastic map on 2x2 matrices can be written as a convex combination of two "generalized" extreme points. △ Less

Submitted 2 November, 2001; v1 submitted 31 December, 2000; originally announced January 2001.

Comments: A significantly expanded version of quant-ph/0005004. 34 pages, 3 figures Final version accepted for publication in Lin. Alg. Appl

Journal ref: Lin. Alg. Appl. 347, 159--187 (2002)

Pauli Exchange and Quantum Error Correction

Authors: M. B. Ruskai

Abstract: In many physically realistic models of quantum computation, Pauli exchange interactions cause a special type of two-qubit errors, called exchange errors, to occur as a first order effect of couplings within the computer. We discuss the physical mechanisms behind exchange errors and codes designed to explicitly deal with them. In many physically realistic models of quantum computation, Pauli exchange interactions cause a special type of two-qubit errors, called exchange errors, to occur as a first order effect of couplings within the computer. We discuss the physical mechanisms behind exchange errors and codes designed to explicitly deal with them. △ Less

Submitted 1 June, 2000; originally announced June 2000.

Comments: Expanded version of quant-ph/9906114 for Proceedings of special session at Jan., 2000 AMS meeting. Includes more background on spatial wave functions, and a proof (by H. Pollatsek) that the permutationally invariant 9-bit code is non-additive

A Characterization of Completely-Positive Trace-Preserving Maps on 2x2 Matrices

Authors: M. B. Ruskai, E. Werner, S. Szarek

Abstract: This paper has been superseded by quant-ph/0101003. This paper has been superseded by quant-ph/0101003. △ Less

Submitted 2 January, 2001; v1 submitted 29 April, 2000; originally announced May 2000.

Comments: Superseded by quant-ph/0101003

Capacity of Quantum Channels Using Product Measurements

Authors: C. King, M. B. Ruskai

Abstract: The capacity of a quantum channel for transmission of classical information depends in principle on whether product states or entangled states are used at the input, and whether product or entangled measurements are used at the output. We show that when product measurements are used, the capacity of the channel is achieved with product input states, so that entangled inputs do not increase capac… ▽ More The capacity of a quantum channel for transmission of classical information depends in principle on whether product states or entangled states are used at the input, and whether product or entangled measurements are used at the output. We show that when product measurements are used, the capacity of the channel is achieved with product input states, so that entangled inputs do not increase capacity. We show that this result continues to hold if sequential measurements are allowed, whereby the choice of successive measurements may depend on the results of previous measurements. We also present a new simplified expression which gives an upper bound for the Shannon capacity of a channel, and which bears a striking resemblance to the well-known Holevo bound. △ Less

Submitted 6 August, 2000; v1 submitted 13 April, 2000; originally announced April 2000.

Comments: Revision with minor corrections and expanded discussion clarifying several points. latex, 19 pages

Journal ref: J. Math. Phys. 42, 87-98 (2001)

Minimal Entropy of States Emerging from Noisy Quantum Channels

Authors: C. King, M. B. Ruskai

Abstract: In this paper, we consider the minimal entropy of qubit states transmitted through two uses of a noisy quantum channel, which is modeled by the action of a completely positive trace-preserving (or stochastic) map. We provide strong support for the conjecture that this minimal entropy is additive, namely that the minimum entropy can be achieved when product states are transmitted. Explicitly, we… ▽ More In this paper, we consider the minimal entropy of qubit states transmitted through two uses of a noisy quantum channel, which is modeled by the action of a completely positive trace-preserving (or stochastic) map. We provide strong support for the conjecture that this minimal entropy is additive, namely that the minimum entropy can be achieved when product states are transmitted. Explicitly, we prove that for a tensor product of two unital stochastic maps on qubit states, using an entanglement that involves only states which emerge with minimal entropy cannot decrease the entropy below the minimum achievable using product states. We give a separate argument, based on the geometry of the image of the set of density matrices under stochastic maps, which suggests that the minimal entropy conjecture holds for non-unital as well as for unital maps. We also show that the maximal norm of the output states is multiplicative for most product maps on $n$-qubit states, including all those for which at least one map is unital. For the class of {\it unital} channels on ${\bf C}^2$, we show that additivity of minimal entropy implies that the Holevo capacity of the channel is {\it additive} over two inputs, achievable with orthogonal states, and equal to the Shannon capacity. This implies that superadditivity of the capacity is possible only for non-unital channels. △ Less

Submitted 2 August, 2000; v1 submitted 17 November, 1999; originally announced November 1999.

Comments: LATEX file; 44 pages, 7 figures; references added, typos corrected; extended discussion of additivity for minimal entropy vs capacity

Journal ref: IEEE Trans. Info. Theory, 47, 192-209 (2001)

Pauli Exchange Errors in Quantum Computation

Authors: Mary Beth Ruskai

Abstract: In many physically realistic models of quantum computation, Pauli exchange interactions cause a subset of two-qubit errors to occur as a first order effect of couplings within the computer, even in the absence of interactions with the computer's environment. We give an explicit 9-qubit code that corrects both Pauli exchange errors and all one-qubit errors. In many physically realistic models of quantum computation, Pauli exchange interactions cause a subset of two-qubit errors to occur as a first order effect of couplings within the computer, even in the absence of interactions with the computer's environment. We give an explicit 9-qubit code that corrects both Pauli exchange errors and all one-qubit errors. △ Less

Submitted 1 June, 2000; v1 submitted 29 June, 1999; originally announced June 1999.

Comments: Final version accepted for publication in Phys. Rev. Lett

Journal ref: Phys.Rev.Lett.85:194-197,2000

Monotone Riemannian Metrics and Relative Entropy on Non-Commutative Probability Spaces

Authors: Andrew Lesniewski, Mary Beth Ruskai

Abstract: We use the relative modular operator to define a generalized relative entropy for any convex operator function g on the positive real line satisfying g(1) = 0. We show that these convex operator functions can be partitioned into convex subsets each of which defines a unique symmetrized relative entropy, a unique family (parameterized by density matrices) of continuous monotone Riemannian metrics… ▽ More We use the relative modular operator to define a generalized relative entropy for any convex operator function g on the positive real line satisfying g(1) = 0. We show that these convex operator functions can be partitioned into convex subsets each of which defines a unique symmetrized relative entropy, a unique family (parameterized by density matrices) of continuous monotone Riemannian metrics, a unique geodesic distance on the space of density matrices, and a unique monotone operator function satisfying certain symmetry and normalization conditions. We describe these objects explicitly in several important special cases, including the familiar logarithmic relative entropy. The relative entropies, Riemannian metrics, and geodesic distances obtained by our procedure all contract under completely positive, trace-preserving maps. We then define and study the maximal contraction associated with these quantities. △ Less

Submitted 30 August, 1998; originally announced August 1998.

Comments: 33 pages. Connections to Quantum Information Theory

MSC Class: 47D45 (primary) 94A17; 82B10; 53B20 (Secondary)

Journal ref: J. Math. Phys., 40, 5702-5724 (1999)