On a matrix inequality related to the distillability problem

We investigate the distillability problem in quantum information in \bbC^d\ox\bbC^d. A special case of the problem has been reduced to proving a matrix inequality when $d=4$. We investigate the inequality for two families of non-normal matrices. We prove the inequality for the first family with $d=4$ and two special cases of the second family with $d\ge4$. We also prove the inequality for all normal matrices with $d>4$.Comment: 19 pages, comments are welcom

Harmonic measure for biased random walk in a supercritical Galton-Watson tree

We consider random walks $\lambda$-biased towards the root on a Galton-Watson tree, whose offspring distribution $(p_k)_{k\geq 1}$ is non-degenerate and has finite mean $m>1$. In the transient regime $0<\lambda<m$, the loop-erased trajectory of the biased random walk defines the $\lambda$-harmonic ray, whose law is the $\lambda$-harmonic measure on the boundary of the Galton-Watson tree. We answer a question of Lyons, Pemantle and Peres by showing that the $\lambda$-harmonic measure has a.s. strictly larger Hausdorff dimension than the visibility measure, which is the harmonic measure corresponding to the simple forward random walk. We also prove that the average number of children of the vertices along the $\lambda$-harmonic ray is a.s. bounded below by $m$ and bounded above by $m^{-1}\sum k^2 p_k$. Moreover, at least for $0<\lambda \leq 1$, the average number of children of the vertices along the $\lambda$-harmonic ray is a.s. strictly larger than that of the $\lambda$-biased random walk trajectory. We observe that the latter is not monotone in the bias parameter $\lambda$.Comment: revised version, accepted for publication in Bernoulli Journal. 18 pages, 1 figur