How often is a random quantum state k-entangled?

The set of trace preserving, positive maps acting on density matrices of size d forms a convex body. We investigate its nested subsets consisting of k-positive maps, where k=2,...,d. Working with the measure induced by the Hilbert-Schmidt distance we derive asymptotically tight bounds for the volumes of these sets. Our results strongly suggest that the inner set of (k+1)-positive maps forms a small fraction of the outer set of k-positive maps. These results are related to analogous bounds for the relative volume of the sets of k-entangled states describing a bipartite d X d system.Comment: 19 pages in latex, 1 figure include

Non-additivity of Renyi entropy and Dvoretzky's Theorem

The goal of this note is to show that the analysis of the minimum output p-Renyi entropy of a typical quantum channel essentially amounts to applying Milman's version of Dvoretzky's Theorem about almost Euclidean sections of high-dimensional convex bodies. This conceptually simplifies the (nonconstructive) argument by Hayden-Winter disproving the additivity conjecture for the minimal output p-Renyi entropy (for p>1).Comment: 8 pages, LaTeX; v2: added and updated references, minor editorial changes, no content change

Monotone graph limits and quasimonotone graphs

The recent theory of graph limits gives a powerful framework for understanding the properties of suitable (convergent) sequences $(G_n)$ of graphs in terms of a limiting object which may be represented by a symmetric function $W$ on $[0,1]$, i.e., a kernel or graphon. In this context it is natural to wish to relate specific properties of the sequence to specific properties of the kernel. Here we show that the kernel is monotone (i.e., increasing in both variables) if and only if the sequence satisfies a `quasi-monotonicity' property defined by a certain functional tending to zero. As a tool we prove an inequality relating the cut and $L^1$ norms of kernels of the form $W_1-W_2$ with $W_1$ and $W_2$ monotone that may be of interest in its own right; no such inequality holds for general kernels.Comment: 38 page

Electronic stress tensor analysis of hydrogenated palladium clusters

We study the chemical bonds of small palladium clusters Pd_n (n=2-9) saturated by hydrogen atoms using electronic stress tensor. Our calculation includes bond orders which are recently proposed based on the stress tensor. It is shown that our bond orders can classify the different types of chemical bonds in those clusters. In particular, we discuss Pd-H bonds associated with the H atoms with high coordination numbers and the difference of H-H bonds in the different Pd clusters from viewpoint of the electronic stress tensor. The notion of "pseudo-spindle structure" is proposed as the region between two atoms where the largest eigenvalue of the electronic stress tensor is negative and corresponding eigenvectors forming a pattern which connects them.Comment: 22 pages, 13 figures, published online, Theoretical Chemistry Account

Advances in delimiting the Hilbert-Schmidt separability probability of real two-qubit systems

We seek to derive the probability--expressed in terms of the Hilbert-Schmidt (Euclidean or flat) metric--that a generic (nine-dimensional) real two-qubit system is separable, by implementing the well-known Peres-Horodecki test on the partial transposes (PT's) of the associated 4 x 4 density matrices). But the full implementation of the test--requiring that the determinant of the PT be nonnegative for separability to hold--appears to be, at least presently, computationally intractable. So, we have previously implemented--using the auxiliary concept of a diagonal-entry-parameterized separability function (DESF)--the weaker implied test of nonnegativity of the six 2 x 2 principal minors of the PT. This yielded an exact upper bound on the separability probability of 1024/{135 pi^2} =0.76854$. Here, we piece together (reflection-symmetric) results obtained by requiring that each of the four 3 x 3 principal minors of the PT, in turn, be nonnegative, giving an improved/reduced upper bound of 22/35 = 0.628571. Then, we conclude that a still further improved upper bound of 1129/2100 = 0.537619 can be found by similarly piecing together the (reflection-symmetric) results of enforcing the simultaneous nonnegativity of certain pairs of the four 3 x 3 principal minors. In deriving our improved upper bounds, we rely repeatedly upon the use of certain integrals over cubes that arise. Finally, we apply an independence assumption to a pair of DESF's that comes close to reproducing our numerical estimate of the true separability function.Comment: 16 pages, 9 figures, a few inadvertent misstatements made near the end are correcte

Sample-Optimal Tomography of Quantum States

© 1963-2012 IEEE. It is a fundamental problem to decide how many copies of an unknown mixed quantum state are necessary and sufficient to determine the state. Previously, it was known only that estimating states to error \epsilon in trace distance required O(dr^{2}/\epsilon ^{2}) copies for a d -dimensional density matrix of rank r. Here, we give a theoretical measurement scheme (POVM) that requires O (dr/ \delta) \ln ~(d/\delta) copies to estimate \rho to error \delta in infidelity, and a matching lower bound up to logarithmic factors. This implies O((dr / \epsilon ^{2}) \ln ~(d/\epsilon)) copies suffice to achieve error \epsilon in trace distance. We also prove that for independent (product) measurements, \Omega (dr^{2}/\delta ^{2}) / \ln (1/\delta) copies are necessary in order to achieve error \delta in infidelity. For fixed d , our measurement can be implemented on a quantum computer in time polynomial in n