arXiv subjects

Karol Zyczkowski

Publications and source records attributed to Karol Zyczkowski.

At least 55 records · Page 3Linked to original sources

arXiv2009

Davies maps for qubits and qutrits

We investigate the dynamics of an N -level quantum system weakly coupled to a thermal reservoir. For any fixed temperature of the bath there exists a natural reference state: the equilibrium state of the system. Among all quantum operations on the system one distinguishes Davies maps, they pre- serve the equilibrium state, satisfy the detailed balance condition and belong to a semi-group. A complete characterization of the three dimensional set of qubit Davies maps is given. We analyze these maps and find their mini- mum output entropy. A characterization of Davies maps for qutrits is also provided.

quant-ph↗

arXiv2009

Volume of the set of unistochastic matrices of order 3 and the mean Jarlskog invariant

A bistochastic matrix B of size N is called unistochastic if there exists a unitary U such that B_ij=|U_{ij}|^{2} for i,j=1,...,N. The set U_3 of all unistochastic matrices of order N=3 forms a proper subset of the Birkhoff polytope, which contains all bistochastic (doubly stochastic) matrices. We compute the volume of the set U_3 with respect to the flat (Lebesgue) measure and analytically evaluate the mean entropy of an unistochastic matrix of this order. We also analyze the Jarlskog invariant J, defined for any unitary matrix of order three, and derive its probability distribution for the ensemble of matrices distributed with respect to the Haar measure on U(3) and for the ensemble which generates the flat measure on the set of unistochastic matrices. For both measures the probability of finding |J| smaller than the value observed for the CKM matrix, which describes the violation of the CP parity, is shown to be small. Similar statistical reasoning may also be applied to the MNS matrix, which plays role in describing the neutrino oscillations. Some conjectures are made concerning analogous probability measures in the space of unitary matrices in higher dimensions.

math-ph↗

arXiv2009

Random Bures mixed states and the distribution of their purity

Ensembles of random density matrices determined by various probability measures are analysed. A simple and efficient algorithm to generate at random density matrices distributed according to the Bures measure is proposed. This procedure may serve as an initial step in performing Bayesian approach to quantum state estimation based on the Bures prior. We study the distribution of purity of random mixed states. The moments of the distribution of purity are determined for quantum states generated with respect to the Bures measure. This calculation serves as an exemplary application of the "deform-and-study" approach based on ideas of integrability theory. It is shown that Painlevé equation appeared as a part of the presented theory.

cond-mat.stat-mech↗

arXiv2009

Protected Subspaces in Quantum Information

In certain situations the state of a quantum system, after transmission through a quantum channel, can be perfectly restored. This can be done by 'coding' the state space of the system before transmission into a 'protected' part of a larger state space, and by applying a proper 'decoding' map afterwards. We investigate two kinds of protected subspaces: the error correction subspaces and the dark subspaces. In neither case information leaks out of the system, but in the second it is more difficult to restore the state. Recent results on higher rank numerical ranges of operators are used to construct examples. In particular, dark spaces are constructed for any map of rank 2, for a biased permutations channel and for certain separable maps acting on multipartite systems. Furthermore, error correction subspaces are provided for a class of three unitary noise models.

quant-ph↗

arXiv2009

Positive maps, positive polynomials and entanglement witnesses

We link the study of positive quantum maps, block positive operators, and entanglement witnesses with problems related to multivariate polynomials. For instance, we show how indecomposable block positive operators relate to biquadratic forms that are not sums of squares. Although the general problem of describing the set of positive maps remains open, in some particular cases we solve the corresponding polynomial inequalities and obtain explicit conditions for positivity.

math-ph↗

arXiv2009

Cones of positive maps and their duality relations

The structure of cones of positive and k-positive maps acting on a finite-dimensional Hilbert space is investigated. Special emphasis is given to their duality relations to the sets of superpositive and k-superpositive maps. We characterize k-positive and k-superpositive maps with regard to their properties under taking compositions. A number of results obtained for maps are also rephrased for the corresponding cones of block positive, k-block positive, separable and k-separable operators, due to the Jamiolkowski-Choi isomorphism. Generalizations to a situation where no such simple isomorphism is available are also made, employing the idea of mapping cones. As a side result to our discussion, we show that extreme entanglement witnesses, which are optimal, should be of special interest in entanglement studies.

quant-ph↗

arXiv2008

Entropy of a quantum error correction code

We define and investigate a notion of entropy for quantum error correcting codes. The entropy of a code for a given quantum channel has a number of equivalent realisations, such as through the coefficients associated with the Knill-Laflamme conditions and the entropy exchange computed with respect to any initial state supported on the code. In general the entropy of a code can be viewed as a measure of how close it is to the minimal entropy case, which is given by unitarily correctable codes (including decoherence-free subspaces), or the maximal entropy case, which from dynamical Choi matrix considerations corresponds to non-degenerate codes. We consider several examples, including a detailed analysis in the case of binary unitary channels, and we discuss an extension of the entropy to operator quantum error correcting subsystem codes.

quant-ph↗

arXiv2008

Quartic quantum theory: an extension of the standard quantum mechanics

We propose an extended quantum theory, in which the number K of parameters necessary to characterize a quantum state behaves as fourth power of the number N of distinguishable states. As the simplex of classical N-point probability distributions can be embedded inside a higher dimensional convex body of mixed quantum states, one can further increase the dimensionality constructing the set of extended quantum states. The embedding proposed corresponds to an assumption that the physical system described in N dimensional Hilbert space is coupled with an auxiliary subsystem of the same dimensionality. The extended theory works for simple quantum systems and is shown to be a non-trivial generalisation of the standard quantum theory for which K=N^2. Imposing certain restrictions on initial conditions and dynamics allowed in the quartic theory one obtains quadratic theory as a special case. By imposing even stronger constraints one arrives at the classical theory, for which K=N.

quant-ph↗

arXiv2008

Physical accessibility of non-completely positive maps

Maps that are not completely positive (CP) are often useful to describe the dynamics of open systems. An apparent violation of complete positivity can occur because there are prior correlations of the principal system with the environment, or if the applied transformation is correlated with the state of the system. We provide a physically motivated definition of accessible non-CP maps and derive two necessary conditions for a map to be accessible. We also show that entanglement between the system and the environment is not necessary to generate a non-CP dynamics. We describe two simple approximations that may be sufficient for some problems in process tomography, and then outline what these methods may be able to tell us in other situations where non-CP dynamics naturally arise.

quant-ph↗

arXiv2007

Geometry of sets of quantum maps: a generic positive map acting on a high-dimensional system is not completely positive

We investigate the set a) of positive, trace preserving maps acting on density matrices of size N, and a sequence of its nested subsets: the sets of maps which are b) decomposable, c) completely positive, d) extended by identity impose positive partial transpose and e) are superpositive. Working with the Hilbert-Schmidt (Euclidean) measure we derive tight explicit two-sided bounds for the volumes of all five sets. A sample consequence is the fact that, as N increases, a generic positive map becomes not decomposable and, a fortiori, not completely positive. Due to the Jamiolkowski isomorphism, the results obtained for quantum maps are closely connected to similar relations between the volume of the set of quantum states and the volumes of its subsets (such as states with positive partial transpose or separable states) or supersets. Our approach depends on systematic use of duality to derive quantitative estimates, and on various tools of classical convexity, high-dimensional probability and geometry of Banach spaces, some of which are not standard.

quant-ph↗

arXiv2007

Defect of a unitary matrix

We analyze properties of a map B = f(U) sending a unitary matrix U of size N into a doubly stochastic matrix defined by B_{i,j} = |U_{i,j}|^2. For any U we define its DEFECT, determined by the dimensionality of the space being the image Df(T_U Unitaries) of the space T_U Unitaries tangent to the manifold of unitary matrices Unitaries at U, under the tangent map Df corresponding to f. The defect, equal to zero for a generic unitary matrix, gives an upper bound for the dimensionality of a smooth orbit (a manifold) of inequivalent unitary matrices V mapped into the same image, f(V) = f(U) = B, stemming from U. We demonstrate several properties of the defect and prove an explicit formula for the defect of a Fourier matrix F_N of size N. In this way we obtain an upper bound for the dimensionality of a smooth orbit of inequivalent unitary complex Hadamard matrices stemming from F_N. It is equal to zero iff N is prime and coincides with the dimensionality of the known orbits if N is a power of a prime. Two constructions of these orbits are presented at the end of this work.

math.RA↗

arXiv2007

From a toy model to the double square root voting system

We investigate systems of indirect voting based on the law of Penrose, in which each representative in the voting body receives the number of votes (voting weight) proportional to the square root of the population he or she represents. For a generic population distribution the quota required for the qualified majority can be set in such a way that the voting power of any state is proportional to its weight. For a specific distribution of population the optimal quota has to be computed numerically. We analyse a toy voting model for which the optimal quota can be estimated analytically as a function of the number of members of the voting body. This result, combined with the normal approximation technique, allows us to design a simple, efficient, and flexible voting system which can be easily adopted for varying weights and number of players.

physics.soc-ph↗

arXiv2007

Composition of quantum states and dynamical subadditivity

We introduce a composition of quantum states of a bipartite system which is based on the reshuffling of density matrices. This non-Abelian product is associative and stems from the composition of quantum maps acting on a simple quantum system. It induces a semi-group in the subset of states with maximally mixed partial traces. Subadditivity of the von Neumann entropy with respect to this product is proved. It is equivalent to subadditivity of the entropy of bistochastic maps with respect to their composition, where the entropy of a map is the entropy of the corresponding state under the Jamiolkowski isomorphism. Strong dynamical subadditivity of a concatenation of three bistochastic maps is established. Analogous bounds for the entropy of a composition are derived for general stochastic maps. In the classical case they lead to new bounds for the entropy of a product of two stochastic matrices.

quant-ph↗

arXiv2007

Mubs and Hadamards of Order Six

We report on a search for mutually unbiased bases (MUBs) in 6 dimensions. We find only triplets of MUBs, and thus do not come close to the theoretical upper bound 7. However, we point out that the natural habitat for sets of MUBs is the set of all complex Hadamard matrices of the given order, and we introduce a natural notion of distance between bases in Hilbert space. This allows us to draw a detailed map of where in the landscape the MUB triplets are situated. We use available tools, such as the theory of the discrete Fourier transform, to organise our results. Finally we present some evidence for the conjecture that there exists a four dimensional family of complex Hadamard matrices of order 6. If this conjecture is true the landscape in which one may search for MUBs is much larger than previously thought.

quant-ph↗

arXiv2007

Subnormalized states and trace-nonincreasing maps

We investigate the set of completely positive, trace-nonincreasing linear maps acting on the set M_N of mixed quantum states of size N. Extremal point of this set of maps are characterized and its volume with respect to the Hilbert-Schmidt (Euclidean) measure is computed explicitly for an arbitrary N. The spectra of partially reduced rescaled dynamical matrices associated with trace-nonincreasing completely positive maps belong to the N-cube inscribed in the set of subnormalized states of size N. As a by-product we derive the measure in M_N induced by partial trace of mixed quantum states distributed uniformly with respect to HS-measure in $M_{N^2}$.

quant-ph↗

arXiv2007

Higher-Rank Numerical Ranges of Unitary and Normal Matrices

We verify a conjecture on the structure of higher-rank numerical ranges for a wide class of unitary and normal matrices. Using analytic and geometric techniques, we show precisely how the higher-rank numerical ranges for a generic unitary matrix are given by complex polygons determined by the spectral structure of the matrix. We discuss applications of the results to quantum error correction, specifically to the problem of identification and construction of codes for binary unitary noise models.

quant-ph↗

arXiv2006

Distribution of G-concurrence of random pure states

Average entanglement of random pure states of an N x N composite system is analyzed. We compute the average value of the determinant D of the reduced state, which forms an entanglement monotone. Calculating higher moments of the determinant we characterize the probability distribution P(D). Similar results are obtained for the rescaled N-th root of the determinant, called G-concurrence. We show that in the limit $N\to\infty$ this quantity becomes concentrated at a single point G=1/e. The position of the concentration point changes if one consider an arbitrary N x K bipartite system, in the joint limit $N,K\to\infty$, K/N fixed.

quant-ph↗

arXiv2006

Penrose voting system and optimal quota

Systems of indirect voting based on the principle of qualified majority can be analysed using the methods of game theory. In particular, this applies to the voting system in the Council of the European Union, which was recently a subject of a vivid political discussion. The a priori voting power of a voter measures his potential influence over the decisions of the voting body under a given decision rule. We investigate a system based on the law of Penrose, in which each representative in the voting body receives the number of votes (the voting weight) proportional to the square root of the population he or she represents. Here we demonstrate that for a generic distribution of the population there exists an optimal quota for which the voting power of any state is proportional to its weight. The optimal quota is shown to decrease with the number of voting countries.

physics.soc-ph↗