-
Asymptotic entropic uncertainty relations
Authors:
Radosław Adamczak,
Rafał Latała,
Zbigniew Puchała,
Karol Życzkowski
Abstract:
We analyze entropic uncertainty relations for two orthogonal measurements on a $N$-dimensional Hilbert space, performed in two generic bases. It is assumed that the unitary matrix $U$ relating both bases is distributed according to the Haar measure on the unitary group. We provide lower bounds on the average Shannon entropy of probability distributions related to both measurements. The bounds are…
▽ More
We analyze entropic uncertainty relations for two orthogonal measurements on a $N$-dimensional Hilbert space, performed in two generic bases. It is assumed that the unitary matrix $U$ relating both bases is distributed according to the Haar measure on the unitary group. We provide lower bounds on the average Shannon entropy of probability distributions related to both measurements. The bounds are stronger than these obtained with use of the entropic uncertainty relation by Maassen and Uffink, and they are optimal up to additive constants. We also analyze the case of a large number of measurements and obtain strong entropic uncertainty relations which hold with high probability with respect to the random choice of bases. The lower bounds we obtain are optimal up to additive constants and allow us to establish the conjecture by Wehner and Winter on the asymptotic behavior of constants in entropic uncertainty relations as the dimension tends to infinity. As a tool we develop estimates on the maximum operator norm of a submatrix of a fixed size of a random unitary matrix distributed according to the Haar measure, which are of an independent interest.
△ Less
Submitted 26 October, 2015; v1 submitted 22 December, 2014;
originally announced December 2014.
-
Real numerical shadow and generalized B-splines
Authors:
Charles F. Dunkl,
Piotr Gawron,
Łukasz Pawela,
Zbigniew Puchała,
Karol Życzkowski
Abstract:
Restricted numerical shadow $P^X_A(z)$ of an operator $A$ of order $N$ is a probability distribution supported on the numerical range $W_X(A)$ restricted to a certain subset $X$ of the set of all pure states - normalized, one-dimensional vectors in ${\mathbb C}^N$. Its value at point $z \in {\mathbb C}$ equals to the probability that the inner product $< u |A| u >$ is equal to $z$, where $u$ stand…
▽ More
Restricted numerical shadow $P^X_A(z)$ of an operator $A$ of order $N$ is a probability distribution supported on the numerical range $W_X(A)$ restricted to a certain subset $X$ of the set of all pure states - normalized, one-dimensional vectors in ${\mathbb C}^N$. Its value at point $z \in {\mathbb C}$ equals to the probability that the inner product $< u |A| u >$ is equal to $z$, where $u$ stands for a random complex vector from the set $X$ distributed according to the natural measure on this set, induced by the unitarily invariant Fubini-Study measure. For a Hermitian operator $A$ of order $N$ we derive an explicit formula for its shadow restricted to real states, $P^{\mathbb R}_A(x)$, show relation of this density to the Dirichlet distribution and demonstrate that it forms a generalization of the $B$-spline. Furthermore, for operators acting on a space with tensor product structure, ${\cal H}_A \otimes {\cal H}_B$, we analyze the shadow restricted to the set of maximally entangled states and derive distributions for operators of order N=4.
△ Less
Submitted 17 September, 2014;
originally announced September 2014.
-
Restricted numerical shadow and geometry of quantum entanglement
Authors:
Zbigniew Puchała,
Jarosław Adam Miszczak,
Piotr Gawron,
Charles F. Dunkl,
John A. Holbrook,
Karol Życzkowski
Abstract:
The restricted numerical range $W_R(A)$ of an operator $A$ acting on a $D$-dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset $R$ of the of set of pure quantum states of dimension $D$. One considers for instance the set of real states, or in the case of composite spaces, the set of product states and…
▽ More
The restricted numerical range $W_R(A)$ of an operator $A$ acting on a $D$-dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset $R$ of the of set of pure quantum states of dimension $D$. One considers for instance the set of real states, or in the case of composite spaces, the set of product states and the set of maximally entangled states. Combining the operator theory with a probabilistic approach we introduce the restricted numerical shadow of $A$ -- a normalized probability distribution on the complex plane supported in $W_R(A)$. Its value at point $z \in {\mathbbm C}$ is equal to the probability that the expectation value $< ψ|A|ψ>$ is equal to $z$, where $|ψ>$ represents a random quantum state in subset $R$ distributed according to the natural measure on this set, induced by the unitarily invariant Fubini--Study measure. Studying restricted shadows of operators of a fixed size $D=N_A N_B$ we analyse the geometry of sets of separable and maximally entangled states of the $N_A \times N_B$ composite quantum system. Investigating trajectories formed by evolving quantum states projected into the plane of the shadow we study the dynamics of quantum entanglement. A similar analysis extended for operators on $D=2^3$ dimensional Hilbert space allows us to investigate the structure of the orbits of $GHZ$ and $W$ quantum states of a three--qubit system.
△ Less
Submitted 4 October, 2012; v1 submitted 12 January, 2012;
originally announced January 2012.
-
Numerical shadow and geometry of quantum states
Authors:
Charles F. Dunkl,
Piotr Gawron,
John A. Holbrook,
Jarosław A. Miszczak,
Zbigniew Puchała,
Karol Życzkowski
Abstract:
The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distributio…
▽ More
The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distribution supported on its numerical range W(A), induced by the unitarily invariant Fubini-Study measure on the complex projective manifold CP^(N-1). We define generalized, mixed-states shadows of A and demonstrate their usefulness to analyse the structure of the set of quantum states and unitary dynamics therein.
△ Less
Submitted 14 April, 2011;
originally announced April 2011.
-
Numerical shadows: measures and densities on the numerical range
Authors:
Charles F. Dunkl,
Piotr Gawron,
John A. Holbrook,
Zbigniew Puchała,
Karol Życzkowski
Abstract:
For any operator $M$ acting on an $N$-dimensional Hilbert space $H_N$ we introduce its numerical shadow, which is a probability measure on the complex plane supported by the numerical range of $M$. The shadow of $M$ at point $z$ is defined as the probability that the inner product $(Mu,u)$ is equal to $z$, where $u$ stands for a random complex vector from $H_N$, satisfying $||u||=1$. In the case o…
▽ More
For any operator $M$ acting on an $N$-dimensional Hilbert space $H_N$ we introduce its numerical shadow, which is a probability measure on the complex plane supported by the numerical range of $M$. The shadow of $M$ at point $z$ is defined as the probability that the inner product $(Mu,u)$ is equal to $z$, where $u$ stands for a random complex vector from $H_N$, satisfying $||u||=1$. In the case of N=2 the numerical shadow of a non-normal operator can be interpreted as a shadow of a hollow sphere projected on a plane. A similar interpretation is provided also for higher dimensions. For a hermitian $M$ its numerical shadow forms a probability distribution on the real axis which is shown to be a one dimensional $B$-spline. In the case of a normal $M$ the numerical shadow corresponds to a shadow of a transparent solid simplex in $R^{N-1}$ onto the complex plane. Numerical shadow is found explicitly for Jordan matrices $J_N$, direct sums of matrices and in all cases where the shadow is rotation invariant. Results concerning the moments of shadow measures play an important role. A general technique to study numerical shadow via the Cartesian decomposition is described, and a link of the numerical shadow of an operator to its higher-rank numerical range is emphasized.
△ Less
Submitted 20 October, 2010;
originally announced October 2010.
-
Product numerical range in a space with tensor product structure
Authors:
Zbigniew Puchała,
Piotr Gawron,
Jarosław Adam Miszczak,
Łukasz Skowronek,
Man-Duen Choi,
Karol Życzkowski
Abstract:
We study operators acting on a tensor product Hilbert space and investigate their product numerical range, product numerical radius and separable numerical range. Concrete bounds for the product numerical range for Hermitian operators are derived. Product numerical range of a non-Hermitian operator forms a subset of the standard numerical range containing the barycenter of the spectrum. While the…
▽ More
We study operators acting on a tensor product Hilbert space and investigate their product numerical range, product numerical radius and separable numerical range. Concrete bounds for the product numerical range for Hermitian operators are derived. Product numerical range of a non-Hermitian operator forms a subset of the standard numerical range containing the barycenter of the spectrum. While the latter set is convex, the product range needs not to be convex nor simply connected. The product numerical range of a tensor product is equal to the Minkowski product of numerical ranges of individual factors.
△ Less
Submitted 20 August, 2010;
originally announced August 2010.
-
Stationary states of two-level open quantum systems
Authors:
Bartlomiej Gardas,
Zbigniew Puchala
Abstract:
A problem of finding stationary states of open quantum systems is addressed. We focus our attention on a generic type of open system: a qubit coupled to its environment. We apply the theory of block operator matrices and find stationary states of two--level open quantum systems under certain conditions applied both on the qubit and the surrounding.
A problem of finding stationary states of open quantum systems is addressed. We focus our attention on a generic type of open system: a qubit coupled to its environment. We apply the theory of block operator matrices and find stationary states of two--level open quantum systems under certain conditions applied both on the qubit and the surrounding.
△ Less
Submitted 22 March, 2011; v1 submitted 16 June, 2010;
originally announced June 2010.
-
Restricted numerical range: a versatile tool in the theory of quantum information
Authors:
Piotr Gawron,
Zbigniew Puchała,
Jarosław Adam Miszczak,
Łukasz Skowronek,
Karol Życzkowski
Abstract:
Numerical range of a Hermitian operator X is defined as the set of all possible expectation values of this observable among a normalized quantum state. We analyze a modification of this definition in which the expectation value is taken among a certain subset of the set of all quantum states. One considers for instance the set of real states, the set of product states, separable states, or the set…
▽ More
Numerical range of a Hermitian operator X is defined as the set of all possible expectation values of this observable among a normalized quantum state. We analyze a modification of this definition in which the expectation value is taken among a certain subset of the set of all quantum states. One considers for instance the set of real states, the set of product states, separable states, or the set of maximally entangled states. We show exemplary applications of these algebraic tools in the theory of quantum information: analysis of k-positive maps and entanglement witnesses, as well as study of the minimal output entropy of a quantum channel. Product numerical range of a unitary operator is used to solve the problem of local distinguishability of a family of two unitary gates.
△ Less
Submitted 20 August, 2010; v1 submitted 22 May, 2009;
originally announced May 2009.
-
The exact asymptotic of the collision time tail distribution for independent Brownian particles with different drifts
Authors:
Zbigniew Puchała,
Tomasz Rolski
Abstract:
In this note we consider the time of the collision $τ$ for $n$ independent Brownian motions $X^1_t,...,X_t^n$ with drifts $a_1,...,a_n$, each starting from $x=(x_1,...,x_n)$, where $x_1<...<x_n$. We show the exact asymptotics of $P_x(τ>t) = C h(x)t^{-α}e^{-γt}(1 + o(1))$ as $t\to\infty$ and identify $C,h(x),α,γ$ in terms of the drifts.
In this note we consider the time of the collision $τ$ for $n$ independent Brownian motions $X^1_t,...,X_t^n$ with drifts $a_1,...,a_n$, each starting from $x=(x_1,...,x_n)$, where $x_1<...<x_n$. We show the exact asymptotics of $P_x(τ>t) = C h(x)t^{-α}e^{-γt}(1 + o(1))$ as $t\to\infty$ and identify $C,h(x),α,γ$ in terms of the drifts.
△ Less
Submitted 2 April, 2007;
originally announced April 2007.
