Source author record

Karol Życzkowski

Karol Życzkowski appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

45works
18topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

45 published item(s)

preprint2023arXiv

Entangled States are Harder to Transfer than Product States

The distribution of entangled states is a key task of utmost importance for many quantum information processing protocols. A commonly adopted setup for distributing quantum states envisages the creation of the state in one location, which is then sent to (possibly different) distant receivers through some quantum channels. While it is undoubted and, perhaps, intuitively expected that the distribution of entangled quantum states is less efficient than that of product states, a thorough quantification of this inefficiency (namely, of the difference between the quantum-state transfer fidelity for entangled and factorized states) has not been performed. To this end, in this work, we consider $n$-independent amplitude-damping channels, acting in parallel, i.e., each, locally, on one part of an $n$-qubit state. We derive exact analytical results for the fidelity decrease, with respect to the case of product states, in the presence of entanglement in the initial state, for up to four qubits. Interestingly, we find that genuine multipartite entanglement has a more detrimental effect on the fidelity than two-qubit entanglement. Our results hint at the fact that, for larger $n$-qubit states, the difference in the average fidelity between product and entangled states increases with increasing single-qubit fidelity, thus making the latter a less trustworthy figure of merit.

preprint2022arXiv

Accessible maps in a group of classical or quantum channels

We study the problem of accessibility in a set of classical and quantum channels admitting a group structure. Group properties of the set of channels, and the structure of the closure of the analyzed group $G$ plays a pivotal role in this regard. The set of all convex combinations of the group elements contains a subset of channels that are accessible by a dynamical semigroup. We demonstrate that accessible channels are determined by probability vectors of weights of a convex combination of the group elements, which depend neither on the dimension of the space on which the channels act, nor on the specific representation of the group. Investigating geometric properties of the set $\mathcal{A}$ of accessible maps we show that this set is non-convex, but it enjoys the star-shape property with respect to the uniform mixture of all elements of the group. We demonstrate that the set $\mathcal{A}$ covers a positive volume in the polytope of all convex combinations of the elements of the group.

preprint2022arXiv

Encoding classical information into quantum resources

We introduce and analyse the problem of encoding classical information into different resources of a quantum state. More precisely, we consider a general class of communication scenarios characterised by encoding operations that commute with a unique resource destroying map and leave free states invariant. Our motivating example is given by encoding information into coherences of a quantum system with respect to a fixed basis (with unitaries diagonal in that basis as encodings and the decoherence channel as a resource destroying map), but the generality of the framework allows us to explore applications ranging from super-dense coding to thermodynamics. For any state, we find that the number of messages that can be encoded into it using such operations in a one-shot scenario is upper-bounded in terms of the information spectrum relative entropy between the given state and its version with erased resources. Furthermore, if the resource destroying map is the twirling channel over some unitary group, we find matching one-shot lower-bounds as well. In the asymptotic setting where we encode into many copies of the resource state, our bounds yield an operational interpretation of resource monotones such as the relative entropy of coherence and its corresponding relative entropy variance.

preprint2021arXiv

Algebraic and geometric structures inside the Birkhoff polytope

The Birkhoff polytope $\mathcal{B}_d$ consisting of all bistochastic matrices of order $d$ assists researchers from many areas, including combinatorics, statistical physics and quantum information. Its subset $\mathcal{U}_d$ of unistochastic matrices, determined by squared moduli of unitary matrices, is of a particular importance for quantum theory as classical dynamical systems described by unistochastic transition matrices can be quantised. In order to investigate the problem of unistochasticity we introduce the set $\mathcal{L}_d$ of bracelet matrices that forms a subset of $\mathcal{B}_d$, but a superset of $\mathcal{U}_d$. We prove that for every dimension $d$ this set contains the set of factorisable bistochastic matrices $\mathcal{F}_d$ and is closed under matrix multiplication by elements of $\mathcal{F}_d$. Moreover, we prove that both $\mathcal{L}_d$ and $\mathcal{F}_d$ are star-shaped with respect to the flat matrix. We also analyse the set of $d\times d$ unistochastic matrices arising from circulant unitary matrices, and show that their spectra lie inside $d$-hypocycloids on the complex plane. Finally, applying our results to small dimensions, we fully characterise the set of circulant unistochastic matrices of order $d\leq 4$, and prove that such matrices form a monoid for $d=3$.

preprint2021arXiv

Genuinely quantum SudoQ and its cardinality

We expand the quantum variant of the popular game Sudoku by introducing the notion of cardinality of a quantum Sudoku (SudoQ), equal to the number of distinct vectors appearing in the pattern. Our considerations are focused on the genuinely quantum solutions, which are the solutions of size $N^2$ that have cardinality greater than $N^2$, and therefore cannot be reduced to classical counterparts by a unitary transformation. We find the complete parameterization of the genuinely quantum solutions of $4 \times 4$ SudoQ game and establish that in this case the admissible cardinalities are 4, 6, 8 and 16. In particular, a solution with the maximal cardinality equal to 16 is presented. Furthermore, the parametrization enabled us to prove a recent conjecture of Nechita and Pillet for this special dimension. In general, we proved that for any $N$ it is possible to find an $N^2 \times N^2$ SudoQ solution of cardinality $N^4$, which for a prime $N$ is related to a set of $N$ mutually unbiased bases of size $N^2$. Such a construction of $N^4$ different vectors of size $N$ yields a set of $N^3$ orthogonal measurements.

preprint2021arXiv

Optimal allocation of quantum resources

The optimal allocation of resources is a crucial task for their efficient use in a wide range of practical applications in science and engineering. This paper investigates the optimal allocation of resources in multipartite quantum systems. In particular, we show the relevance of proportional fairness and optimal reliability criteria for the application of quantum resources. Moreover, we present optimal allocation solutions for an arbitrary number of qudits using measurement incompatibility as an exemplary resource theory. Besides, we study the criterion of optimal equitability and demonstrate its relevance to scenarios involving several resource theories such as nonlocality vs local contextuality. Finally, we highlight the potential impact of our results for quantum networks and other multi-party quantum information processing, in particular to the future Quantum Internet.

preprint2021arXiv

Thirty-six entangled officers of Euler: Quantum solution to a classically impossible problem

The negative solution to the famous problem of $36$ officers of Euler implies that there are no two orthogonal Latin squares of order six. We show that the problem has a solution, provided the officers are entangled, and construct orthogonal quantum Latin squares of this size. As a consequence, we find an example of the long-elusive Absolutely Maximally Entangled state AME$(4,6)$ of four subsystems with six levels each, equivalently a $2$-unitary matrix of size $36$, which maximizes the entangling power among all bipartite unitary gates of this dimension, or a perfect tensor with four indices, each running from one to six. This special state deserves the appellation golden AME state as the golden ratio appears prominently in its elements. This result allows us to construct a pure nonadditive quhex quantum error detection code $(\!(3,6,2)\!)_6$, which saturates the Singleton bound and allows one to encode a $6$-level state into a triplet of such states.

preprint2021arXiv

Transition from order to chaos in reduced quantum dynamics

We study a damped kicked top dynamics of a large number of qubits ($N \rightarrow \infty$) and focus on an evolution of a reduced single-qubit subsystem. Each subsystem is subjected to the amplitude damping channel controlled by the damping constant $r\in [0,1]$, which plays the role of the single control parameter. In the parameter range for which the classical dynamics is chaotic, while varying $r$ we find the universal period-doubling behavior characteristic to one-dimensional maps: period-two dynamics starts at $r_1 \approx 0.3181$, while the next bifurcation occurs at $ r_2 \approx 0.5387$. In parallel with period-four oscillations observed for $r \leq r_3 \approx 0.5672$, we identify a secondary bifurcation diagram around $r\approx 0.544$, responsible for a small-scale chaotic dynamics inside the attractor. The doubling of the principal bifurcation tree continues until $r \leq r_{\infty} \sim 0.578$, which marks the onset of the full scale chaos interrupted by the windows of the oscillatory dynamics corresponding to the Sharkovsky order.

preprint2021arXiv

Universal witnesses of vanishing energy gap

Energy gap, the difference between the energy of the ground state of a given Hamiltonian and the energy of its first excited state, is a parameter of a critical importance in analysis of phase transitions and adiabatic quantum computation. We present a concrete technique to determine the upper bound for the energy gap of a Hamiltonian $H_0$ based on properties of the set of expectation values of $H_0$ and an additional auxiliary Hamiltonian $V$. This formalism can be applied to obtain an effective criterion of gaplessness, which we illustrate with a concrete example of the XY model -- a physical system with vanishing energy gap.

preprint2020arXiv

Average Weights and Power in Weighted Voting Games

We investigate a class of weighted voting games for which weights are randomly distributed over the standard probability simplex. We provide close-formed formulae for the expectation and density of the distribution of weight of the $k$-th largest player under the uniform distribution. We analyze the average voting power of the $k$-th largest player and its dependence on the quota, obtaining analytical and numerical results for small values of $n$ and a general theorem about the functional form of the relation between the average Penrose--Banzhaf power index and the quota for the uniform measure on the simplex. We also analyze the power of a collectivity to act (Coleman efficiency index) of random weighted voting games, obtaining analytical upper bounds therefor.

preprint2020arXiv

Separability gap and large deviation entanglement criterion

For a given Hamiltonian $H$ on a multipartite quantum system, one is interested in finding the energy $E_0$ of its ground state. In the separability approximation, arising as a natural consequence of measurement in a separable basis, one looks for the minimal expectation value $λ_{\rm min}^{\otimes}$ of $H$ among all product states. For several concrete model Hamiltonians, we investigate the difference $λ_{\rm min}^{\otimes}-E_0$, called separability gap, which vanishes if the ground state has a product structure. In the generic case of a random Hermitian matrix of the Gaussian orthogonal ensemble, we find explicit bounds for the size of the gap which depend on the number of subsystems and hold with probability one. This implies an effective entanglement criterion applicable for any multipartite quantum system: If an expectation value of a typical observable among a given state is sufficiently distant from the average value, the state is almost surely entangled.

preprint2019arXiv

Cut-resistant links and multipartite entanglement resistant to particle loss

In this work, we explore the space of quantum states composed of $N$ particles. To investigate the entanglement resistant to particles loss, we introduce the notion of $m$-resistant states. A quantum state is $m$-resistant if it remains entangled after losing an arbitrary subset of m particles, but becomes separable after losing a number of particles larger than $m$. We establish an analogy to the problem of designing a topological link consisting of $N$ rings such that, after cutting any $(m + 1)$ of them, the remaining rings become disconnected. We present a constructive solution to this problem, which allows us to exhibit several distinguished $N$-particles states with the desired property of entanglement resistance to a particle loss.

preprint2019arXiv

Iso-entangled mutually unbiased bases, symmetric quantum measurements and mixed-state designs

Discrete structures in Hilbert space play a crucial role in finding optimal schemes for quantum measurements. We solve the problem whether a complete set of five iso-entangled mutually unbiased bases exists in dimension four, providing an explicit analytical construction. The reduced density matrices of these $20$ pure states forming this generalized quantum measurement form a regular dodecahedron inscribed in a sphere of radius $\sqrt{3/20}$ located inside the Bloch ball of radius $1/2$. Such a set forms a mixed-state $2$-design --- a discrete set of quantum states with the property that the mean value of any quadratic function of density matrices is equal to the integral over the entire set of mixed states with respect to the flat Hilbert-Schmidt measure. We establish necessary and sufficient conditions mixed-state designs need to satisfy and present general methods to construct them. Furthermore, it is shown that partial traces of a projective design in a composite Hilbert space form a mixed-state design, while decoherence of elements of a projective design yields a design in the classical probability simplex. We identify a distinguished two-qubit orthogonal basis such that four reduced states are evenly distributed inside the Bloch ball and form a mixed-state $2$-design.

preprint2019arXiv

Trade--off relations for operation entropy of complementary quantum channels

The entropy of a quantum operation, defined as the von Neumann entropy of the corresponding Choi-Jamiołkowski state, characterizes the coupling of the principal system with the environment. For any quantum channel $Φ$ acting on a state of size $N$ one defines the complementary channel $\tilde Φ$, which sends the input state into the state of the environment after the operation. Making use of subadditivity of entropy we show that for any dimension $N$ the sum of both entropies, $S(Φ)+ S(\tilde Φ)$, is bounded from below. This result characterizes the trade-off between the information on the initial quantum state accessible to the principal system and the information leaking to the environment. For one qubit maps, $N=2$, we describe the interpolating family of depolarising maps, for which the sum of both entropies gives the lower boundary of the region allowed in the space spanned by both entropies.

preprint2018arXiv

Classification of joint numerical ranges of three hermitian matrices of size three

The joint numerical range $W(F)$ of three hermitian $3$-by-$3$ matrices $F=(F_1,F_2,F_3)$ is a convex and compact subset in $\mathbb{R}^3$. Generically we find that $W(F)$ is a three-dimensional oval. Assuming $\dim(W(F))=3$, every one- or two-dimensional face of $W(F)$ is a segment or a filled ellipse. We prove that only ten configurations of these segments and ellipses are possible. We identify a triple $F$ for each class and illustrate $W(F)$ using random matrices and dual varieties.

preprint2016arXiv

Distinguishability of generic quantum states

Properties of random mixed states of order $N$ distributed uniformly with respect to the Hilbert-Schmidt measure are investigated. We show that for large $N$, due to the concentration of measure, the trace distance between two random states tends to a fixed number ${\tilde D}=1/4+1/π$, which yields the Helstrom bound on their distinguishability. To arrive at this result we apply free random calculus and derive the symmetrized Marchenko--Pastur distribution, which is shown to describe numerical data for the model of two coupled quantum kicked tops. Asymptotic values for the fidelity, Bures and transmission distances between two random states are obtained. Analogous results for quantum relative entropy and Chernoff quantity provide other bounds on the distinguishablity of both states in a multiple measurement setup due to the quantum Sanov theorem.

preprint2016arXiv

Majorization entropic uncertainty relations for quantum operations

Majorization uncertainty relations are derived for arbitrary quantum operations acting on a finite-dimensional space. The basic idea is to consider submatrices of block matrices comprised of the corresponding Kraus operators. This is an extension of the previous formulation, which deals with submatrices of a unitary matrix relating orthogonal bases in which measurements are performed. Two classes of majorization relations are considered: one related to tensor product of probability vectors and another one related to their direct sum. We explicitly discuss an example of a pair of one-qubit operations, each of them represented by two Kraus operators. In the particular case of quantum maps describing orthogonal measurements the presented formulation reduces to earlier results derived for measurements in orthogonal bases. The presented approach allows us also to bound the entropy characterizing results of a single generalized measurement.

preprint2016arXiv

Operational approach to Bell inequalities: applications to qutrits

Bell inequalities can be studied both as constraints in the space of probability distributions and as expectation values of multipartite operators. The latter approach is particularly useful when considering outcomes as eigenvalues of unitary operators. This brings the possibility of exploiting the complex structure of the coefficients in the Bell operators. We investigate this avenue of though in the known case of two outcomes, and find new Bell inequalities for the cases of three outcomes and $n=3,4,5$ and $6$ parties. We find their corresponding classical bounds and their maximum violation in the case of qutrits. We further propose a novel way to generate Bell inequalities based on a mapping from maximally entangled states to Bell operators and produce examples for different outcomes and number of parties.

preprint2015arXiv

Absolutely Maximally Entangled states, combinatorial designs and multi-unitary matrices

Absolutely Maximally Entangled (AME) states are those multipartite quantum states that carry absolute maximum entanglement in all possible partitions. AME states are known to play a relevant role in multipartite teleportation, in quantum secret sharing and they provide the basis novel tensor networks related to holography. We present alternative constructions of AME states and show their link with combinatorial designs. We also analyze a key property of AME, namely their relation to tensors that can be understood as unitary transformations in every of its bi-partitions. We call this property multi-unitarity.

preprint2015arXiv

Asymptotic entropic uncertainty relations

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.

preprint2015arXiv

Certainty relations, mutual entanglement and non-displacable manifolds

We derive explicit bounds for the average entropy characterizing measurements of a pure quantum state of size $N$ in $L$ orthogonal bases. Lower bounds lead to novel entropic uncertainty relations, while upper bounds allow us to formulate universal certainty relations. For $L=2$ the maximal average entropy saturates at $\log N$ as there exists a mutually coherent state, but certainty relations are shown to be nontrivial for $L \ge 3$ measurements. In the case of a prime power dimension, $N=p^k$, and the number of measurements $L=N+1$, the upper bound for the average entropy becomes minimal for a collection of mutually unbiased bases. Analogous approach is used to study entanglement with respect to $L$ different splittings of a composite system, linked by bi-partite quantum gates. We show that for any two-qubit unitary gate $U\in \mathcal{U}(4)$ there exist states being mutually separable or mutually entangled with respect to both splittings (related by $U$) of the composite system. The latter statement follows from the fact that the real projective space $\mathbb{R}P^{3}\subset\mathbb{C}P^{3}$ is non-displacable. For $L=3$ splittings the maximal sum of $L$ entanglement entropies is conjectured to achieve its minimum for a collection of three mutually entangled bases, formed by two mutually entangling gates.

preprint2015arXiv

Method for universal detection of two-photon polarization entanglement

Detecting and quantifying quantum entanglement of a given unknown state poses problems that are fundamentally important for quantum information processing. Surprisingly, no direct (i.e., without quantum tomography) universal experimental implementation of a necessary and sufficient test of entanglement has been designed even for a general two-qubit state. Here we propose an experimental method for detecting a collective universal witness, which is a necessary and sufficient test of two-photon polarization entanglement. It allows us to detect entanglement for any two-qubit mixed state and to establish tight upper and lower bounds on its amount. A different element of this method is the sequential character of its main components, which allows us to obtain relatively complicated information about quantum correlations with the help of simple linear-optical elements. As such, this proposal realizes a universal two-qubit entanglement test within the present state of the art of quantum optics. We show the optimality of our setup with respect to the minimal number of measured quantities.

preprint2015arXiv

Minimal Renyi-Ingarden-Urbanik entropy of multipartite quantum states

We study the entanglement of a pure state of a composite quantum system consisting of several subsystems with $d$ levels each. It can be described by the Rényi-Ingarden-Urbanik entropy $S_q$ of a decomposition of the state in a product basis, minimized over all local unitary transformations. In the case $q=0$ this quantity becomes a function of the rank of the tensor representing the state, while in the limit $q \to \infty$ the entropy becomes related to the overlap with the closest separable state and the geometric measure of entanglement. For any bipartite system the entropy $S_1$ coincides with the standard entanglement entropy. We analyze the distribution of the minimal entropy for random states of three and four-qubit systems. In the former case the distributions of $3$-tangle is studied and some of its moments are evaluated, while in the latter case we analyze the distribution of the hyperdeterminant. The behavior of the maximum overlap of a three-qudit system with the closest separable state is also investigated in the asymptotic limit.

preprint2015arXiv

Time reversals of irreversible quantum maps

We introduce the notion of time reversal in open quantum systems as represented by linear quantum operations, and a related generalization of classical entropy production in the environment. This functional is the ratio of the probability to observe a transition between two states under the forward and the time reversed dynamics, and leads, as in the classical case, to fluctuation relations as tautological identities. As in classical dynamics in contact with a heat bath, time reversal is not unique, and we discuss several possibilities. For any bistochastic map its dual map preserves the trace and describes a legitimate dynamics reversed in time, in that case the entropy production in the environment vanishes. For a generic stochastic map we construct a simple quantum operation which can be interpreted as a time reversal. For instance, the decaying channel, which sends the excited state into the ground state with a certain probability, can be reversed into the channel transforming the ground state into the excited state with the same probability.

preprint2014arXiv

Diagonal unitary entangling gates and contradiagonal quantum states

Nonlocal properties of an ensemble of diagonal random unitary matrices of order $N^2$ are investigated. The average Schmidt strength of such a bipartite diagonal quantum gate is shown to scale as $\log N$, in contrast to the $\log N^2$ behavior characteristic to random unitary gates. Entangling power of a diagonal gate $U$ is related to the von Neumann entropy of an auxiliary quantum state $ρ=AA^{\dagger}/N^2$, where the square matrix $A$ is obtained by reshaping the vector of diagonal elements of $U$ of length $N^2$ into a square matrix of order $N$. This fact provides a motivation to study the ensemble of non-hermitian unimodular matrices $A$, with all entries of the same modulus and random phases and the ensemble of quantum states $ρ$, such that all their diagonal entries are equal to $1/N$. Such a state is contradiagonal with respect to the computational basis, in sense that among all unitary equivalent states it maximizes the entropy copied to the environment due to the coarse graining process. The first four moments of the squared singular values of the unimodular ensemble are derived, based on which we conjecture a connection to a recently studied combinatorial object called the "Borel triangle". This allows us to find exactly the mean von Neumann entropy for random phase density matrices and the average entanglement for the corresponding ensemble of bipartite pure states.

preprint2014arXiv

Jarzynski equality for quantum stochastic maps

Jarzynski equality and related fluctuation theorems can be formulated for various setups. Such an equality was recently derived for nonunitary quantum evolutions described by unital quantum operations, i.e., for completely positive, trace-preserving maps, which preserve the maximally mixed state. We analyze here a more general case of arbitrary quantum operations on finite systems and derive the corresponding form of the Jarzynski equality. It contains a correction term due to nonunitality of the quantum map. Bounds for the relative size of this correction term are established and they are applied for exemplary systems subjected to quantum channels acting on a finite-dimensional Hilbert space.

preprint2014arXiv

Multiaccess quantum communication and product higher rank numerical range

In the present paper we initiate the study of the product higher rank numerical range. The latter, being a variant of the higher rank numerical range [M.--D. Choi {\it et al.}, Rep. Math. Phys. {\bf 58}, 77 (2006); Lin. Alg. Appl. {\bf 418}, 828 (2006)], is a natural tool for studying construction of quantum error correction codes for multiple access channels. We review properties of this set and relate it to other numerical ranges, which were recently introduced in the literature. Further, the concept is applied to the construction of codes for bi--unitary two--access channels with a hermitian noise model. Analytical techniques for both outerbounding the product higher rank numerical range and determining its exact shape are developed for this case. Finally, the reverse problem of constructing a noise model for a given product range is considered.

preprint2014arXiv

Numerical range for random matrices

We analyze the numerical range of high-dimensional random matrices, obtaining limit results and corresponding quantitative estimates in the non-limit case. For a large class of random matrices their numerical range is shown to converge to a disc. In particular, numerical range of complex Ginibre matrix almost surely converges to the disk of radius $\sqrt{2}$. Since the spectrum of non-hermitian random matrices from the Ginibre ensemble lives asymptotically in a neighborhood of the unit disk, it follows that the outer belt of width $\sqrt{2}-1$ containing no eigenvalues can be seen as a quantification the non-normality of the complex Ginibre random matrix. We also show that the numerical range of upper triangular Gaussian matrices converges to the same disk of radius $\sqrt{2}$, while all eigenvalues are equal to zero and we prove that the operator norm of such matrices converges to $\sqrt{2e}$.

preprint2014arXiv

Real numerical shadow and generalized B-splines

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.

preprint2014arXiv

Strong Majorization Entropic Uncertainty Relations

We analyze entropic uncertainty relations in a finite dimensional Hilbert space and derive several strong bounds for the sum of two entropies obtained in projective measurements with respect to any two orthogonal bases. We improve the recent bounds by Coles and Piani, which are known to be stronger than the well known result of Maassen and Uffink. Furthermore, we find a novel bound based on majorization techniques, which also happens to be stronger than the recent results involving largest singular values of submatrices of the unitary matrix connecting both bases. The first set of new bounds give better results for unitary matrices close to the Fourier matrix, while the second one provides a significant improvement in the opposite sectors. Some results derived admit generalization to arbitrary mixed states, so that corresponding bounds are increased by the von Neumann entropy of the measured state. The majorization approach is finally extended to the case of several measurements.

preprint2013arXiv

Better Late than Never: Information Retrieval from Black Holes

We show that, in order to preserve the equivalence principle until late times in unitarily evaporating black holes, the thermodynamic entropy of a black hole must be primarily entropy of entanglement across the event horizon. For such black holes, we show that the information entering a black hole becomes encoded in correlations within a tripartite quantum state, the quantum analogue of a one-time pad, and is only decoded into the outgoing radiation very late in the evaporation. This behavior generically describes the unitary evaporation of highly entangled black holes and requires no specially designed evolution. Our work suggests the existence of a matter-field sum rule for any fundamental theory.

preprint2013arXiv

Entropic trade-off relations for quantum operations

Spectral properties of an arbitrary matrix can be characterized by the entropy of its rescaled singular values. Any quantum operation can be described by the associated dynamical matrix or by the corresponding superoperator. The entropy of the dynamical matrix describes the degree of decoherence introduced by the map, while the entropy of the superoperator characterizes the a priori knowledge of the receiver of the outcome of a quantum channel Phi. We prove that for any map acting on a N--dimensional quantum system the sum of both entropies is not smaller than ln N. For any bistochastic map this lower bound reads 2 ln N. We investigate also the corresponding Rényi entropies, providing an upper bound for their sum and analyze entanglement of the bi-partite quantum state associated with the channel.

preprint2013arXiv

Majorization entropic uncertainty relations

Entropic uncertainty relations in a finite dimensional Hilbert space are investigated. Making use of the majorization technique we derive explicit lower bounds for the sum of Rényi entropies describing probability distributions associated with a given pure state expanded in eigenbases of two observables. Obtained bounds are expressed in terms of the largest singular values of submatrices of the unitary rotation matrix. Numerical simulations show that for a generic unitary matrix of size N = 5 our bound is stronger than the well known result of Maassen and Uffink (MU) with a probability larger than 98%. We also show that the bounds investigated are invariant under the dephasing and permutation operations. Finally, we derive a classical analogue of the MU uncertainty relation, which is formulated for stochastic transition matrices.

preprint2013arXiv

Random unitary matrices associated to a graph

We analyze composed quantum systems consisting of $k$ subsystems, each described by states in the $n$-dimensional Hilbert space. Interaction between subsystems can be represented by a graph, with vertices corresponding to individual subsystems and edges denoting a generic interaction, modeled by random unitary matrices of order $n^2$. The global evolution operator is represented by a unitary matrix of size $N=n^k$. We investigate statistical properties of such matrices and show that they display spectral properties characteristic to Haar random unitary matrices provided the corresponding graph is connected. Thus basing on random unitary matrices of a small size $n^2$ one can construct a fair approximation of large random unitary matrices of size $n^{k}$. Graph--structured random unitary matrices investigated here allow one to define the corresponding structured ensembles of random pure states.

preprint2012arXiv

Collectibility for Mixed Quantum States

Bounds analogous to entropic uncertainty relations allow one to design practical tests to detect quantum entanglement by a collective measurement performed on several copies of the state analyzed. This approach, initially worked out for pure states only [Phys. Rev. Lett. 107, 150502 (2011)], is extended here for mixed quantum states. We define collectibility for any mixed states of a multipartite system. Deriving bounds for collectibility for positive partially transposed states of given purity provides a new insight into the structure of entangled quantum states. In case of two qubits the application of complementary measurements and coincidence based detections leads to a new test of entanglement of pseudopure states.

preprint2012arXiv

Restricted numerical shadow and geometry of quantum entanglement

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.

preprint2011arXiv

Barycentric measure of quantum entanglement

Majorana representation of quantum states by a constellation of n 'stars' (points on the sphere) can be used to describe any pure state of a simple system of dimension n+1 or a permutation symmetric pure state of a composite system consisting of n qubits. We analyze the variance of the distribution of the stars, which can serve as a measure of the degree of non-coherence for simple systems, or an entanglement measure for composed systems. Dynamics of the Majorana points induced by a unitary dynamics of the pure state is investigated.

preprint2011arXiv

Collective Uncertainty Entanglement Test

For a given pure state of a composite quantum system we analyze the product of its projections onto a set of locally orthogonal separable pure states. We derive a bound for this product analogous to the entropic uncertainty relations. For bipartite systems the bound is saturated for maximally entangled states and it allows us to construct a family of entanglement measures, we shall call collectibility. As these quantities are experimentally accessible, the approach advocated contributes to the task of experimental quantification of quantum entanglement, while for a three-qubit system it is capable to identify the genuine three-party entanglement.

preprint2011arXiv

Geometry of the set of mixed quantum states: An apophatic approach

The set of quantum states consists of density matrices of order $N$, which are hermitian, positive and normalized by the trace condition. We analyze the structure of this set in the framework of the Euclidean geometry naturally arising in the space of hermitian matrices. For N=2 this set is the Bloch ball, embedded in $\mathbb R^3$. For $N \geq 3$ this set of dimensionality $N^2-1$ has a much richer structure. We study its properties and at first advocate an apophatic approach, which concentrates on characteristics not possessed by this set. We also apply more constructive techniques and analyze two dimensional cross-sections and projections of the set of quantum states. They are dual to each other. At the end we make some remarks on certain dimension dependent properties.

preprint2011arXiv

Numerical shadow and geometry of quantum states

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.

preprint2010arXiv

Numerical shadows: measures and densities on the numerical range

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.

preprint2010arXiv

Product numerical range in a space with tensor product structure

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.

preprint2010arXiv

Restricted numerical range: a versatile tool in the theory of quantum information

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.

preprint1996arXiv

Nonuniversality in level dynamics

Statistical properties of parametric motion in ensembles of Hermitian banded random matrices are studied. We analyze the distribution of level velocities and level curvatures as well as their correlation functions in the crossover regime between three universality classes. It is shown that the statistical properties of level dynamics are in general non-universal and strongly depend on the way in which the parametric dynamics is introduced.

preprint1996arXiv

Secular determinants of random unitary matrices

We consider the characteristic polynomials of random unitary matrices $U$ drawn from various circular ensembles. In particular, the statistics of the coefficients of these polynomials are studied. The variances of these ``secular coefficients'' are given explicitly for arbitrary dimension and continued analytically to arbitrary values of the level repulsion exponent $β$. The latter secular coefficients are related to the traces of powers of $U$ by Newton's well-known formulae. While the traces tend to have Gaussian distributions and to be statistically independent among one another in the limit as the matrix dimension grows large, the secular coefficients exhibit strong mutual correlations due to Newton's mixing of traces to coefficients. These results might become relevant for current efforts at combining semiclassics and random-matrix theory in quantum treatments of classically chaotic dynamics.