Hastings' additivity counterexample via Dvoretzky's theorem

The goal of this note is to show that Hastings' counterexample to the additivity of minimal output von Neumann entropy can be readily deduced from a sharp version of Dvoretzky's theorem on almost spherical sections of convex bodies.Comment: 12 pages; v.2: added references, Appendix A expanded to make the paper essentially self-containe

Counterexamples to additivity of minimum output p-Renyi entropy for p close to 0

Complementing recent progress on the additivity conjecture of quantum information theory, showing that the minimum output p-Renyi entropies of channels are not generally additive for p>1, we demonstrate here by a careful random selection argument that also at p=0, and consequently for sufficiently small p, there exist counterexamples. An explicit construction of two channels from 4 to 3 dimensions is given, which have non-multiplicative minimum output rank; for this pair of channels, numerics strongly suggest that the p-Renyi entropy is non-additive for all p < 0.11. We conjecture however that violations of additivity exist for all p<1.Comment: 7 pages, revtex4; v2 added correct ref. [15]; v3 has more information on the numerical violation as well as 1 figure (2 graphs) - note that the explicit example was changed and the more conservative estimate of the bound up to which violations occur, additionally some other small issues are straightened ou

Counterexamples to the maximal p-norm multiplicativity conjecture for all p > 1

For all p > 1, we demonstrate the existence of quantum channels with non-multiplicative maximal output p-norms. Equivalently, for all p >1, the minimum output Renyi entropy of order p of a quantum channel is not additive. The violations found are large; in all cases, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot be proved as a consequence of any channel-independent guarantee of maximal p-norm multiplicativity. We also show that a class of channels previously studied in the context of approximate encryption lead to counterexamples for all p > 2.Comment: Merger of arXiv:0707.0402 and arXiv:0707.3291 containing new and improved analysis of counterexamples. 17 page

Faithful Squashed Entanglement

Squashed entanglement is a measure for the entanglement of bipartite quantum states. In this paper we present a lower bound for squashed entanglement in terms of a distance to the set of separable states. This implies that squashed entanglement is faithful, that is, strictly positive if and only if the state is entangled. We derive the bound on squashed entanglement from a bound on quantum conditional mutual information, which is used to define squashed entanglement and corresponds to the amount by which strong subadditivity of von Neumann entropy fails to be saturated. Our result therefore sheds light on the structure of states that almost satisfy strong subadditivity with equality. The proof is based on two recent results from quantum information theory: the operational interpretation of the quantum mutual information as the optimal rate for state redistribution and the interpretation of the regularised relative entropy of entanglement as an error exponent in hypothesis testing. The distance to the set of separable states is measured by the one-way LOCC norm, an operationally-motivated norm giving the optimal probability of distinguishing two bipartite quantum states, each shared by two parties, using any protocol formed by local quantum operations and one-directional classical communication between the parties. A similar result for the Frobenius or Euclidean norm follows immediately. The result has two applications in complexity theory. The first is a quasipolynomial-time algorithm solving the weak membership problem for the set of separable states in one-way LOCC or Euclidean norm. The second concerns quantum Merlin-Arthur games. Here we show that multiple provers are not more powerful than a single prover when the verifier is restricted to one-way LOCC operations thereby providing a new characterisation of the complexity class QMA.Comment: 24 pages, 1 figure, 1 table. Due to an error in the published version, claims have been weakened from the LOCC norm to the one-way LOCC nor

The 3-Band Hubbard-Model versus the 1-Band Model for the high-Tc Cuprates: Pairing Dynamics, Superconductivity and the Ground-State Phase Diagram

One central challenge in high-$T_c$ superconductivity (SC) is to derive a detailed understanding for the specific role of the $Cu$-$d_{x^2-y^2}$ and $O$-$p_{x,y}$ orbital degrees of freedom. In most theoretical studies an effective one-band Hubbard (1BH) or t-J model has been used. Here, the physics is that of doping into a Mott-insulator, whereas the actual high-$T_c$ cuprates are doped charge-transfer insulators. To shed light on the related question, where the material-dependent physics enters, we compare the competing magnetic and superconducting phases in the ground state, the single- and two-particle excitations and, in particular, the pairing interaction and its dynamics in the three-band Hubbard (3BH) and 1BH-models. Using a cluster embedding scheme, i.e. the variational cluster approach (VCA), we find which frequencies are relevant for pairing in the two models as a function of interaction strength and doping: in the 3BH-models the interaction in the low- to optimal-doping regime is dominated by retarded pairing due to low-energy spin fluctuations with surprisingly little influence of inter-band (p-d charge) fluctuations. On the other hand, in the 1BH-model, in addition a part comes from "high-energy" excited states (Hubbard band), which may be identified with a non-retarded contribution. We find these differences between a charge-transfer and a Mott insulator to be renormalized away for the ground-state phase diagram of the 3BH- and 1BH-models, which are in close overall agreement, i.e. are "universal". On the other hand, we expect the differences - and thus, the material dependence to show up in the "non-universal" finite-T phase diagram ($T_c$-values).Comment: 17 pages, 9 figure

Spin-Charge Separation in the t−Jt-J Model: Magnetic and Transport Anomalies

A real spin-charge separation scheme is found based on a saddle-point state of the $t-J$ model. In the one-dimensional (1D) case, such a saddle-point reproduces the correct asymptotic correlations at the strong-coupling fixed-point of the model. In the two-dimensional (2D) case, the transverse gauge field confining spinon and holon is shown to be gapped at {\em finite doping} so that a spin-charge deconfinement is obtained for its first time in 2D. The gap in the gauge fluctuation disappears at half-filling limit, where a long-range antiferromagnetic order is recovered at zero temperature and spinons become confined. The most interesting features of spin dynamics and transport are exhibited at finite doping where exotic {\em residual} couplings between spin and charge degrees of freedom lead to systematic anomalies with regard to a Fermi-liquid system. In spin dynamics, a commensurate antiferromagnetic fluctuation with a small, doping-dependent energy scale is found, which is characterized in momentum space by a Gaussian peak at ($\pi/a$, $\pi/a$) with a doping-dependent width ($\propto \sqrt{\delta}$, $\delta$ is the doping concentration). This commensurate magnetic fluctuation contributes a non-Korringa behavior for the NMR spin-lattice relaxation rate. There also exits a characteristic temperature scale below which a pseudogap behavior appears in the spin dynamics. Furthermore, an incommensurate magnetic fluctuation is also obtained at a {\em finite} energy regime. In transport, a strong short-range phase interference leads to an effective holon Lagrangian which can give rise to a series of interesting phenomena including linear-$T$ resistivity and $T^2$ Hall-angle. We discuss the striking similarities of these theoretical features with those found in the high-$T_c$ cuprates and give aComment: 70 pages, RevTex, hard copies of 7 figures available upon request; minor revisions in the text and references have been made; To be published in July 1 issue of Phys. Rev. B52, (1995

Comments on Hastings' Additivity Counterexamples

Hastings recently provided a proof of the existence of channels which violate the additivity conjecture for minimal output entropy. In this paper we present an expanded version of Hastings' proof. In addition to a careful elucidation of the details of the proof, we also present bounds for the minimal dimensions needed to obtain a counterexample.Comment: 38 page

Weak multiplicativity for random quantum channels

It is known that random quantum channels exhibit significant violations of multiplicativity of maximum output p-norms for any p>1. In this work, we show that a weaker variant of multiplicativity nevertheless holds for these channels. For any constant p>1, given a random quantum channel N (i.e. a channel whose Stinespring representation corresponds to a random subspace S), we show that with high probability the maximum output p-norm of n copies of N decays exponentially with n. The proof is based on relaxing the maximum output infinity-norm of N to the operator norm of the partial transpose of the projector onto S, then calculating upper bounds on this quantity using ideas from random matrix theory.Comment: 21 pages; v2: corrections and additional remark

Unbounded violation of tripartite Bell inequalities

We prove that there are tripartite quantum states (constructed from random unitaries) that can lead to arbitrarily large violations of Bell inequalities for dichotomic observables. As a consequence these states can withstand an arbitrary amount of white noise before they admit a description within a local hidden variable model. This is in sharp contrast with the bipartite case, where all violations are bounded by Grothendieck's constant. We will discuss the possibility of determining the Hilbert space dimension from the obtained violation and comment on implications for communication complexity theory. Moreover, we show that the violation obtained from generalized GHZ states is always bounded so that, in contrast to many other contexts, GHZ states do in this case not lead to extremal quantum correlations. The results are based on tools from the theories of operator spaces and tensor norms which we exploit to prove the existence of bounded but not completely bounded trilinear forms from commutative C*-algebras.Comment: Substantial changes in the presentation to make the paper more accessible for a non-specialized reade

Stability of metallic stripes in the extended one-band Hubbard model

Based on an unrestricted Gutzwiller approximation (GA) we investigate the stripe orientation and periodicity in an extended one-band Hubbard model. A negative ratio between next-nearest and nearest neighbor hopping t'/t, as appropriate for cuprates, favors partially filled (metallic) stripes for both vertical and diagonal configurations. At around optimal doping diagonal stripes, site centered (SC) and bond centered (BC) vertical stripes become degenerate suggesting strong lateral and orientational fluctuations. We find that within the GA the resulting phase diagram is in agreement with experiment whereas it is not in the Hartree-Fock approximation due to a strong overestimation of the stripe filling. Results are in agreement with previous calculations within the three-band Hubbard model but with the role of SC and BC stripes interchanged.Comment: 10 pages, 8 figure