Showing 1–50 of 54 results for author: Zyczkowski, K

Multipartite entanglement

Authors: Pawel Horodecki, Łukasz Rudnicki, Karol Życzkowski

Abstract: In this contribution we present a concise introduction to quantum entanglement in multipartite systems. After a brief comparison between bipartite systems and the simplest non-trivial multipartite scenario involving three parties, we review mathematically rigorous definitions of separability and entanglement between several subsystems, as well as their transformations and measures. In this contribution we present a concise introduction to quantum entanglement in multipartite systems. After a brief comparison between bipartite systems and the simplest non-trivial multipartite scenario involving three parties, we review mathematically rigorous definitions of separability and entanglement between several subsystems, as well as their transformations and measures. △ Less

Submitted 6 September, 2024; originally announced September 2024.

Comments: Multipartite Entanglement will be a chapter in Encyclopedia of Mathematical Physics 2nd edition

Cyclic measurements and simplified quantum state tomography

Authors: Victor Gonzalez Avella, Jakub Czartowski, Dardo Goyeneche, Karol Życzkowski

Abstract: Tomographic reconstruction of quantum states plays a fundamental role in benchmarking quantum systems and accessing information encoded in quantum-mechanical systems. Among the informationally complete sets of quantum measurements, the tight ones provide a linear reconstruction formula and minimize the propagation of statistical errors. However, implementing tight measurements in the lab is challe… ▽ More Tomographic reconstruction of quantum states plays a fundamental role in benchmarking quantum systems and accessing information encoded in quantum-mechanical systems. Among the informationally complete sets of quantum measurements, the tight ones provide a linear reconstruction formula and minimize the propagation of statistical errors. However, implementing tight measurements in the lab is challenging due to the high number of required measurement projections, involving a series of experimental setup preparations. In this work, we introduce the notion of cyclic tight measurements, which allow us to perform full quantum state tomography while considering only repeated application of a single unitary-based quantum device during the measurement stage. This type of measurement significantly simplifies the complexity of the experimental setup required to retrieve the quantum state of a physical system. Additionally, we design a feasible setup preparation procedure that produces well-approximated cyclic tight measurements in every finite dimension. △ Less

Submitted 30 May, 2025; v1 submitted 29 April, 2024; originally announced April 2024.

Comments: 26 pages, 2 figures

Fidelity decay and error accumulation in random quantum circuits

Authors: Nadir Samos Sáenz de Buruaga, Rafał Bistroń, Marcin Rudziński, Rodrigo Miguel Chinita Pereira, Karol Życzkowski, Pedro Ribeiro

Abstract: We present a comprehensive analysis of fidelity decay and error accumulation in faulty quantum circuit models. Our work devises an analytical bound for the average fidelity between desired and faulty output states, accounting for errors that may arise during the implementation of two-qubit gates and multi-qubit permutations. It is shown that fidelity decays exponentially with both circuit depth an… ▽ More We present a comprehensive analysis of fidelity decay and error accumulation in faulty quantum circuit models. Our work devises an analytical bound for the average fidelity between desired and faulty output states, accounting for errors that may arise during the implementation of two-qubit gates and multi-qubit permutations. It is shown that fidelity decays exponentially with both circuit depth and the number of qubits raised to an architecture-dependent power, and determine the decay rates as a function of the two types of errors. Furthermore, we establish a robust linear relationship between fidelity and the heavy output frequency used in Quantum Volume tests to benchmark quantum processors, under the considered errors protocol. These findings pave the way for predicting the behavior of fidelity in the presence of specific errors and offer insights into the best strategies for increasing Quantum Volume. △ Less

Submitted 30 May, 2025; v1 submitted 17 April, 2024; originally announced April 2024.

Comments: v4. Main: 11 pages and 4 figures + Appendices: 34 pages and 9 figures. SciPost resubmission with minor corrections

Quantum convolutional channels and multiparameter families of 2-unitary matrices

Authors: Rafał Bistroń, Jakub Czartowski, Karol Życzkowski

Abstract: Many alternative approaches to construct quantum channels with large entangling capacities were proposed in the past decade, resulting in multiple isolated gates. In this work, we put forward a novel one, inspired by convolution, which provides greater freedom of nonlocal parameters. Although quantum counterparts of convolution have been shown not to exist for pure states, several attempts with va… ▽ More Many alternative approaches to construct quantum channels with large entangling capacities were proposed in the past decade, resulting in multiple isolated gates. In this work, we put forward a novel one, inspired by convolution, which provides greater freedom of nonlocal parameters. Although quantum counterparts of convolution have been shown not to exist for pure states, several attempts with various degrees of rigorousness have been proposed for mixed states. In this work, we follow the approach based on coherifications of multi-stochastic operations and demonstrate a surprising connection to gates with high entangling power. In particular, we identify conditions necessary for the convolutional channels constructed using our method to possess maximal entangling power. Furthermore, we establish new, continuous classes of bipartite 2-unitary matrices of dimension $d^2$ for $d = 7$ and $d = 9$, with $2$ and $4$ free nonlocal parameters beyond simple phasing of matrix elements, corresponding to perfect tensors of rank $4$ or 4-partite absolutely maximally entangled states. △ Less

Submitted 6 May, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 22 pages, 7 figures

A new class of distances on complex projective spaces

Authors: Rafał Bistroń, Michał Eckstein, Shmuel Friedland, Tomasz Miller, Karol Życzkowski

Abstract: The complex projective space $\mathbb{P}(\mathbb{C}^n)$ can be interpreted as the space of all quantum pure states of size $n$. A distance on this space, interesting from the perspective of quantum physics, can be induced from a classical distance defined on the $n$-point probability simplex by the `earth mover problem'. We show that this construction leads to a quantity satisfying the triangle in… ▽ More The complex projective space $\mathbb{P}(\mathbb{C}^n)$ can be interpreted as the space of all quantum pure states of size $n$. A distance on this space, interesting from the perspective of quantum physics, can be induced from a classical distance defined on the $n$-point probability simplex by the `earth mover problem'. We show that this construction leads to a quantity satisfying the triangle inequality, which yields a true distance on complex projective space belonging to the family of quantum $2$-Wasserstein distances. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 31 pages

Discrete dynamics in the set of quantum measurements

Authors: Albert Rico, Karol Życzkowski

Abstract: A quantum measurement, often referred to as positive operator-valued measurement (POVM), is a set of positive operators $P_j=P_j^†\geq 0$ summing to identity, $\sum_jP_j=\mathbb{1}$. This can be seen as a generalization of a probability distribution of positive real numbers summing to unity, whose evolution is given by a stochastic matrix. We describe discrete transformations in the set of quantum… ▽ More A quantum measurement, often referred to as positive operator-valued measurement (POVM), is a set of positive operators $P_j=P_j^†\geq 0$ summing to identity, $\sum_jP_j=\mathbb{1}$. This can be seen as a generalization of a probability distribution of positive real numbers summing to unity, whose evolution is given by a stochastic matrix. We describe discrete transformations in the set of quantum measurements by {\em blockwise stochastic matrices}, composed of positive blocks that sum columnwise to identity, using the notion of {\em sequential product} of matrices. We show that such transformations correspond to a sequence of quantum measurements. Imposing additionally the dual condition that the sum of blocks in each row is equal to identity, we arrive at blockwise bistochastic matrices (also called {\em quantum magic squares}). Analyzing their dynamical properties, we formulate our main result: a quantum analog of the Ostrowski description of the classical Birkhoff polytope, which introduces the notion of majorization between quantum measurements. Our framework provides a dynamical characterization of the set of blockwise bistochastic matrices and establishes a resource theory in this set. △ Less

Submitted 27 December, 2024; v1 submitted 10 August, 2023; originally announced August 2023.

Journal ref: Journal of Physics A: Mathematical and Theoretical, vol. 57, num. 43, p. 435302 (2024)

Multi-Unitary Complex Hadamard Matrices

Authors: Wojciech Bruzda, Grzegorz Rajchel-Mieldzioć, Karol Życzkowski

Abstract: We analyze the set of real and complex Hadamard matrices with additional symmetry constrains. In particular, we link the problem of existence of maximally entangled multipartite states of $2k$ subsystems with $d$ levels each to the set of complex Hadamard matrices of order $N=d^k$. To this end, we investigate possible subsets of such matrices which are, dual, strongly dual ($H=H^{\rm R}$ or… ▽ More We analyze the set of real and complex Hadamard matrices with additional symmetry constrains. In particular, we link the problem of existence of maximally entangled multipartite states of $2k$ subsystems with $d$ levels each to the set of complex Hadamard matrices of order $N=d^k$. To this end, we investigate possible subsets of such matrices which are, dual, strongly dual ($H=H^{\rm R}$ or $H=H^{\rmΓ}$), two-unitary ($H^R$ and $H^Γ$ are unitary), or $k$-unitary. Here $X^{\rm R}$ denotes reshuffling of a matrix $X$ describing a bipartite system, and $X^{\rm Γ}$ its partial transpose. Such matrices find several applications in quantum many-body theory, tensor networks and classification of multipartite quantum entanglement and imply a broad class of analytically solvable quantum models in $1+1$ dimensions. △ Less

Submitted 14 June, 2024; v1 submitted 30 May, 2023; originally announced June 2023.

Comments: 17 pages, no figures

MSC Class: 05B20; 51F25; 46N50

Random Lindblad operators obeying detailed balance

Authors: Wojciech Tarnowski, Dariusz Chruściński, Sergey Denisov, Karol Życzkowski

Abstract: We introduce different ensembles of random Lindblad operators $\cal L$, which satisfy quantum detailed balance condition with respect to the given stationary state $σ$ of size $N$, and investigate their spectral properties. Such operators are known as `Davies generators' and their eigenvalues are real; however, their spectral densities depend on $σ$. We propose different structured ensembles of ra… ▽ More We introduce different ensembles of random Lindblad operators $\cal L$, which satisfy quantum detailed balance condition with respect to the given stationary state $σ$ of size $N$, and investigate their spectral properties. Such operators are known as `Davies generators' and their eigenvalues are real; however, their spectral densities depend on $σ$. We propose different structured ensembles of random matrices, which allow us to tackle the problem analytically in the extreme cases of Davies generators corresponding to random $σ$ with a non-degenerate spectrum for the maximally mixed stationary state, $σ= \mathbf{1} /N$. Interestingly, in the latter case the density can be reasonably well approximated by integrating out the imaginary component of the spectral density characteristic to the ensemble of random unconstrained Lindblad operators. The case of asymptotic states with partially degenerated spectra is also addressed. Finally, we demonstrate that similar universal properties hold for the detailed balance-obeying Kolmogorov generators obtained by applying superdecoherence to an ensemble of random Davies generators. In this way we construct an ensemble of random classical generators with imposed detailed balance condition. △ Less

Submitted 6 April, 2023; originally announced April 2023.

Monotonicity of the quantum 2-Wasserstein distance

Authors: Rafał Bistroń, Michał Eckstein, Karol Życzkowski

Abstract: We study a quantum analogue of the 2-Wasserstein distance as a measure of proximity on the set $Ω_N$ of density matrices of dimension $N$. We show that such (semi-)distances do not induce Riemannian metrics on the tangent bundle of $Ω_N$ and are typically not unitary invariant. Nevertheless, we prove that for $N=2$ dimensional Hilbert space the quantum 2-Wasserstein distance (unique up to rescalin… ▽ More We study a quantum analogue of the 2-Wasserstein distance as a measure of proximity on the set $Ω_N$ of density matrices of dimension $N$. We show that such (semi-)distances do not induce Riemannian metrics on the tangent bundle of $Ω_N$ and are typically not unitary invariant. Nevertheless, we prove that for $N=2$ dimensional Hilbert space the quantum 2-Wasserstein distance (unique up to rescaling) is monotonous with respect to any single-qubit quantum operation and the solution of the quantum transport problem is essentially unique. Furthermore, for any $N \geq 3$ and the quantum cost matrix proportional to a projector we demonstrate the monotonicity under arbitrary mixed unitary channels. Finally, we provide numerical evidence which allows us to conjecture that the unitary invariant quantum 2-Wasserstein semi-distance is monotonous with respect to all CPTP maps in any dimension $N$. △ Less

Submitted 9 September, 2022; v1 submitted 15 April, 2022; originally announced April 2022.

Comments: 30 pages, 5 figures

Random generators of Markovian evolution: A quantum-classical transition by superdecoherence

Authors: W. Tarnowski, I. Yusipov, T. Laptyeva, S. Denisov, D. Chruściński, K. Życzkowski

Abstract: Continuous-time Markovian evolution appears to be manifestly different in classical and quantum worlds. We consider ensembles of random generators of $N$-dimensional Markovian evolution, quantum and classical ones, and evaluate their universal spectral properties. We then show how the two types of generators can be related by superdecoherence. In analogy with the mechanism of decoherence, which tr… ▽ More Continuous-time Markovian evolution appears to be manifestly different in classical and quantum worlds. We consider ensembles of random generators of $N$-dimensional Markovian evolution, quantum and classical ones, and evaluate their universal spectral properties. We then show how the two types of generators can be related by superdecoherence. In analogy with the mechanism of decoherence, which transforms a quantum state into a classical one, superdecoherence can be used to transform a Lindblad operator (generator of quantum evolution) into a Kolmogorov operator (generator of classical evolution). We inspect spectra of random Lindblad operators undergoing superdecoherence and demonstrate that, in the limit of complete superdecoherence, the resulting operators exhibit spectral density typical to random Kolmogorov operators. By gradually increasing strength of superdecoherence, we observe a sharp quantum-to-classical transition. Furthermore, we define an inverse procedure of supercoherification that is a generalization of the scheme used to construct a quantum state out of a classical one. Finally, we study microscopic correlation between neighbouring eigenvalues through the complex spacing ratios and observe the horse-shoe distribution, emblematic of the Ginibre universality class, for both types of random generators. Remarkably, it survives superdecoherence and supercoherification. △ Less

Submitted 8 June, 2021; v1 submitted 5 May, 2021; originally announced May 2021.

Journal ref: Phys. Rev. E 104, 034118 (2021)

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

Authors: Suhail Ahmad Rather, Adam Burchardt, Wojciech Bruzda, Grzegorz Rajchel-Mieldzioć, Arul Lakshminarayan, Karol Życzkowski

Abstract: 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 subsystem… ▽ More 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. △ Less

Submitted 6 August, 2021; v1 submitted 11 April, 2021; originally announced April 2021.

Comments: 14 pages, 12 figures

Journal ref: Phys. Rev. Lett. 128, 080507 (2022)

Symmetric Multiqudit States: Stars, Entanglement, Rotosensors

Authors: Chryssomalis Chryssomalakos, Louis Hanotel, Edgar Guzmán-González, Daniel Braun, Eduardo Serrano-Ensástiga, Karol Życzkowski

Abstract: A constellation of $N=d-1$ Majorana stars represents an arbitrary pure quantum state of dimension $d$ or a permutation-symmetric state of a system consisting of $n$ qubits. We generalize the latter construction to represent in a similar way an arbitrary symmetric pure state of $k$ subsystems with $d$ levels each. For $d\geq 3$, such states are equivalent, as far as rotations are concerned, to a co… ▽ More A constellation of $N=d-1$ Majorana stars represents an arbitrary pure quantum state of dimension $d$ or a permutation-symmetric state of a system consisting of $n$ qubits. We generalize the latter construction to represent in a similar way an arbitrary symmetric pure state of $k$ subsystems with $d$ levels each. For $d\geq 3$, such states are equivalent, as far as rotations are concerned, to a collection of various spin states, with definite relative complex weights. Following Majorana's lead, we introduce a multiconstellation, consisting of the Majorana constellations of the above spin states, augmented by an auxiliary, "spectator" constellation, encoding the complex weights. Examples of stellar representations of symmetric states of four qutrits, and two spin-$3/2$ systems, are presented. We revisit the Hermite and Murnaghan isomorphisms, which relate multipartite states of various spins, number of parties, and even symmetries. We show how the tools introduced can be used to analyze multipartite entanglement and to identify optimal quantum rotosensors, i.e., pure states which are maximally sensitive to rotations around a specified axis, or averaged over all axes. △ Less

Submitted 3 March, 2021; originally announced March 2021.

Journal ref: Phys. Rev. A 104, 012407 (2021)

Quantum Monge-Kantorovich problem and transport distance between density matrices

Authors: Shmuel Friedland, Michał Eckstein, Sam Cole, Karol Życzkowski

Abstract: A quantum version of the Monge--Kantorovich optimal transport problem is analyzed. The transport cost is minimized over the set of all bipartite coupling states $ρ^{AB}$, such that both of its reduced density matrices $ρ^A$ and $ρ^B$ of dimension $N$ are fixed. We show that, selecting the quantum cost matrix to be proportional to the projector on the antisymmetric subspace, the minimal transport c… ▽ More A quantum version of the Monge--Kantorovich optimal transport problem is analyzed. The transport cost is minimized over the set of all bipartite coupling states $ρ^{AB}$, such that both of its reduced density matrices $ρ^A$ and $ρ^B$ of dimension $N$ are fixed. We show that, selecting the quantum cost matrix to be proportional to the projector on the antisymmetric subspace, the minimal transport cost leads to a semidistance between $ρ^A$ and $ρ^B$, which is bounded from below by the rescaled Bures distance and from above by the root infidelity. In the single qubit case we provide a semi-analytic expression for the optimal transport cost between any two states and prove that its square root satisfies the triangle inequality and yields an analogue of the Wasserstein distance of order two on the set of density matrices. We introduce an associated measure of proximity of quantum states, called SWAP-fidelity, and discuss its properties and applications in quantum machine learning. △ Less

Submitted 27 September, 2021; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: 15 pages including appendices, 4 figures. Version v2 includes a new quantity, SWAP-fidelity, and some applications

MSC Class: 81P40; 90C22; 15A69

Algebraic and geometric structures inside the Birkhoff polytope

Authors: Grzegorz Rajchel-Mieldzioć, Kamil Korzekwa, Zbigniew Puchała, Karol Życzkowski

Abstract: 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 unist… ▽ More 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$. △ Less

Submitted 27 January, 2021; originally announced January 2021.

Journal ref: J. Math. Phys. 63, 012202 (2022)

Symmetries of quantum evolutions

Authors: Giulio Chiribella, Erik Aurell, Karol Życzkowski

Abstract: A cornerstone of quantum mechanics is the characterisation of symmetries provided by Wigner's theorem. Wigner's theorem establishes that every symmetry of the quantum state space must be either a unitary transformation, or an antiunitary transformation. Here we extend Wigner's theorem from quantum states to quantum evolutions, including both the deterministic evolution associated to the dynamics o… ▽ More A cornerstone of quantum mechanics is the characterisation of symmetries provided by Wigner's theorem. Wigner's theorem establishes that every symmetry of the quantum state space must be either a unitary transformation, or an antiunitary transformation. Here we extend Wigner's theorem from quantum states to quantum evolutions, including both the deterministic evolution associated to the dynamics of closed systems, and the stochastic evolutions associated to the outcomes of quantum measurements. We prove that every symmetry of the space of quantum evolutions can be decomposed into two state space symmetries that are either both unitary or both antiunitary. Building on this result, we show that it is impossible to extend the time reversal symmetry of unitary quantum dynamics to a symmetry of the full set of quantum evolutions. Our no-go theorem implies that any time symmetric formulation of quantum theory must either restrict the set of the allowed evolutions, or modify the operational interpretation of quantum states and processes. Here we propose a time symmetric formulation of quantum theory where the allowed quantum evolutions are restricted to a suitable set, which includes both unitary evolution and projective measurements, but excludes the deterministic preparation of pure states. The standard operational formulation of quantum theory can be retrieved from this time symmetric version by introducing an operation of conditioning on the outcomes of past experiments. △ Less

Submitted 8 June, 2021; v1 submitted 13 January, 2021; originally announced January 2021.

Comments: 11 + 11 pages, 1 figure, new results added, published version

Journal ref: Phys. Rev. Research 3, 033028 (2021)

Log-Convex set of Lindblad semigroups acting on $N$-level system

Authors: Fereshte Shahbeigi, David Amaro-Alcalá, Zbigniew Puchała, Karol Życzkowski

Abstract: We analyze the set ${\cal A}_N^Q$ of mixed unitary channels represented in the Weyl basis and accessible by a Lindblad semigroup acting on an $N$-level quantum system. General necessary and sufficient conditions for a mixed Weyl quantum channel of an arbitrary dimension to be accessible by a semigroup are established. The set ${\cal A}_N^Q$ is shown to be log--convex and star-shaped with respect t… ▽ More We analyze the set ${\cal A}_N^Q$ of mixed unitary channels represented in the Weyl basis and accessible by a Lindblad semigroup acting on an $N$-level quantum system. General necessary and sufficient conditions for a mixed Weyl quantum channel of an arbitrary dimension to be accessible by a semigroup are established. The set ${\cal A}_N^Q$ is shown to be log--convex and star-shaped with respect to the completely depolarizing channel. A decoherence supermap acting in the space of Lindblad operators transforms them into the space of Kolmogorov generators of classical semigroups. We show that for mixed Weyl channels the hyper-decoherence commutes with the dynamics, so that decohering a quantum accessible channel we obtain a bistochastic matrix form the set ${\cal A}_N^C$ of classical maps accessible by a semigroup. Focusing on $3$-level systems we investigate the geometry of the sets of quantum accessible maps, its classical counterpart and the support of their spectra. We demonstrate that the set ${\cal A}_3^Q$ is not included in the set ${\cal U}^Q_3$ of quantum unistochastic channels, although an analogous relation holds for $N=2$. The set of transition matrices obtained by hyper-decoherence of unistochastic channels of order $N\ge 3$ is shown to be larger than the set of unistochastic matrices of this order, and yields a motivation to introduce the larger sets of $k$-unistochastic matrices. △ Less

Submitted 26 March, 2020; originally announced March 2020.

Comments: 33 pages, 7 figures

Journal ref: J. Math. Phys. 62, 072105 (2021)

Tensor rank and entanglement of pure quantum states

Authors: Wojciech Bruzda, Shmuel Friedland, Karol Życzkowski

Abstract: The rank of a tensor is analyzed in context of quantum entanglement. A pure quantum state $\bf v$ of a composite system consisting of $d$ subsystems with $n$ levels each is viewed as a vector in the $d$-fold tensor product of $n$-dimensional Hilbert space and can be identified with a tensor with $d$ indices, each running from $1$ to $n$. We discuss the notions of the generic rank and the maximal r… ▽ More The rank of a tensor is analyzed in context of quantum entanglement. A pure quantum state $\bf v$ of a composite system consisting of $d$ subsystems with $n$ levels each is viewed as a vector in the $d$-fold tensor product of $n$-dimensional Hilbert space and can be identified with a tensor with $d$ indices, each running from $1$ to $n$. We discuss the notions of the generic rank and the maximal rank of a tensor and review results known for the low dimensions. Another variant of this notion, called the border rank of a tensor, is shown to be relevant for characterization of orbits of quantum states generated by the group of special linear transformations. A quantum state ${\bf v}$ is called {\sl entangled}, if it {\sl cannot} be written in the product form, ${\bf v} \ne {\bf v}_1 \otimes {\bf v}_2 \otimes \cdots \otimes {\bf v}_d$, what implies correlations between physical subsystems. A relation between various ranks and norms of a tensor and the entanglement of the corresponding quantum state is revealed.. △ Less

Submitted 14 March, 2022; v1 submitted 14 December, 2019; originally announced December 2019.

Comments: 63 pages

MSC Class: 14J99; 15A69; 65K10; 81P40; 90C27

Separability gap and large deviation entanglement criterion

Authors: Jakub Czartowski, Konrad Szymański, Bartłomiej Gardas, Yan V. Fyodorov, Karol Życzkowski

Abstract: 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 diffe… ▽ More 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. △ Less

Submitted 1 June, 2020; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: 8 pages total, 3 figures

Journal ref: Phys. Rev. A 100, 042326 (2019)

Universal spectra of random Lindblad operators

Authors: Sergey Denisov, Tetyana Laptyeva, Wojciech Tarnowski, Dariusz Chruściński, Karol Życzkowski

Abstract: To understand typical dynamics of an open quantum system in continuous time, we introduce an ensemble of random Lindblad operators, which generate Markovian completely positive evolution in the space of density matrices. Spectral properties of these operators, including the shape of the spectrum in the complex plane, are evaluated by using methods of free probabilities and explained with non-Hermi… ▽ More To understand typical dynamics of an open quantum system in continuous time, we introduce an ensemble of random Lindblad operators, which generate Markovian completely positive evolution in the space of density matrices. Spectral properties of these operators, including the shape of the spectrum in the complex plane, are evaluated by using methods of free probabilities and explained with non-Hermitian random matrix models. We also demonstrate universality of the spectral features. The notion of ensemble of random generators of Markovian qauntum evolution constitutes a step towards categorization of dissipative quantum chaos. △ Less

Submitted 17 May, 2019; v1 submitted 29 November, 2018; originally announced November 2018.

Comments: 6 pages, 4 figures + supplemental material

Journal ref: Phys. Rev. Lett. 123, 140403 (2019)

Application of Shemesh theorem to quantum channels

Authors: Michał Białończyk, Andrzej Jamiołkowski, Karol Życzkowski

Abstract: Completely positive maps are useful in modeling the discrete evolution of quantum systems. Spectral properties of operators associated with such maps are relevant for determining the asymptotic dynamics of quantum systems subjected to multiple interactions described by the same quantum channel. We discuss a connection between the properties of the peripheral spectrum of completely positive and tra… ▽ More Completely positive maps are useful in modeling the discrete evolution of quantum systems. Spectral properties of operators associated with such maps are relevant for determining the asymptotic dynamics of quantum systems subjected to multiple interactions described by the same quantum channel. We discuss a connection between the properties of the peripheral spectrum of completely positive and trace preserving map and the algebra generated by its Kraus operators $\mathcal{A}(A_1,\ldots A_K)$. By applying the Shemesh and Amitsur - Levitzki theorems to analyse the structure of the algebra $\mathcal{A}(A_1,\ldots A_K)$ one can predict the asymptotic dynamics for a class of operations. △ Less

Submitted 7 October, 2018; v1 submitted 7 November, 2017; originally announced November 2017.

Journal ref: Journal of Mathematical Physics 59, 102204 (2018)

On discrete structures in finite Hilbert spaces

Authors: Ingemar Bengtsson, Karol Zyczkowski

Abstract: We present a brief review of discrete structures in a finite Hilbert space, relevant for the theory of quantum information. Unitary operator bases, mutually unbiased bases, Clifford group and stabilizer states, discrete Wigner function, symmetric informationally complete measurements, projective and unitary t--designs are discussed. Some recent results in the field are covered and several importan… ▽ More We present a brief review of discrete structures in a finite Hilbert space, relevant for the theory of quantum information. Unitary operator bases, mutually unbiased bases, Clifford group and stabilizer states, discrete Wigner function, symmetric informationally complete measurements, projective and unitary t--designs are discussed. Some recent results in the field are covered and several important open questions are formulated. We advocate a geometric approach to the subject and emphasize numerous links to various mathematical problems. △ Less

Submitted 26 January, 2017; originally announced January 2017.

Comments: 30 pages with 5 figures. Preprint based on a new chapter written to the second edition of the book "Geometry of Quantum States. An introduction to Quantum Entanglement", CUP, Cambridge, to appear in 2017

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

Authors: Konrad Szymański, Stephan Weis, Karol Życzkowski

Abstract: 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… ▽ More 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. △ Less

Submitted 11 February, 2018; v1 submitted 20 March, 2016; originally announced March 2016.

Comments: 23 pages, 4 figures. This version includes some minor improvements which could not be taken into account in the proofs of the published version

MSC Class: 47A12 (Primary) 47L07; 52A20; 52A15; 52B05; 05C10 (Secondary)

Journal ref: Linear Algebra and its Applications 545 (2018) 148-173

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.

Comments: 23 pages, 1 figure

Journal ref: J. Math. Phys., Vol. 57 (2016): 032204

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.

Comments: 39 pages, 7 figures

Journal ref: Linear Algebra and its Applications, Volume 479, 15 August 2015, Pages 12-51, ISSN 0024-3795

Spectral density of generalized Wishart matrices and free multiplicative convolution

Authors: Wojciech Mlotkowski, Maciej A. Nowak, Karol A. Penson, Karol Zyczkowski

Abstract: We investigate the level density for several ensembles of positive random matrices of a Wishart--like structure, $W=XX^{\dagger}$, where $X$ stands for a nonhermitian random matrix. In particular, making use of the Cauchy transform, we study free multiplicative powers of the Marchenko-Pastur (MP) distribution, ${\rm MP}^{\boxtimes s}$, which for an integer $s$ yield Fuss-Catalan distributions corr… ▽ More We investigate the level density for several ensembles of positive random matrices of a Wishart--like structure, $W=XX^{\dagger}$, where $X$ stands for a nonhermitian random matrix. In particular, making use of the Cauchy transform, we study free multiplicative powers of the Marchenko-Pastur (MP) distribution, ${\rm MP}^{\boxtimes s}$, which for an integer $s$ yield Fuss-Catalan distributions corresponding to a product of $s$ independent square random matrices, $X=X_1\cdots X_s$. New formulae for the level densities are derived for $s=3$ and $s=1/3$. Moreover, the level density corresponding to the generalized Bures distribution, given by the free convolution of arcsine and MP distributions is obtained. We also explain the reason of such a curious convolution. The technique proposed here allows for the derivation of the level densities for several other cases. △ Less

Submitted 24 June, 2015; v1 submitted 4 July, 2014; originally announced July 2014.

Comments: 10 latex pages including 4 figures, Ver 4, minor improvements and references update

Journal ref: Phys. Rev. E 92, 012121 (2015)

Diagonal unitary entangling gates and contradiagonal quantum states

Authors: Arul Lakshminarayan, Zbigniew Puchała, Karol Życzkowski

Abstract: 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… ▽ More 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. △ Less

Submitted 4 July, 2014; originally announced July 2014.

Comments: 14 pages, 6 figures

Journal ref: Phys. Rev. A 90, 032303 (2014)

The accessibility of convex bodies and derandomization of the hit and run algorithm

Authors: Benoit Collins, Termeh Kousha, Rafał Kulik, Tomasz Szarek, Karol Życzkowski

Abstract: We introduce the concept of accessibility and prove that any convex body $X$ in $\mathbb R^d$ is accessible with relevant constants depending on $d$ only. This property leads to a new algorithm which may be considered as a natural derandomization of the hit and run algorithm applied to generate a sequence of random points covering $X$ uniformly. We prove stability of the Markov chain generated by… ▽ More We introduce the concept of accessibility and prove that any convex body $X$ in $\mathbb R^d$ is accessible with relevant constants depending on $d$ only. This property leads to a new algorithm which may be considered as a natural derandomization of the hit and run algorithm applied to generate a sequence of random points covering $X$ uniformly. We prove stability of the Markov chain generated by the proposed algorithm and provide its rate of convergence. △ Less

Submitted 18 September, 2016; v1 submitted 26 December, 2013; originally announced December 2013.

Comments: revised version, new title and abstract; 13 pages, 2 figures

MSC Class: 65C40; 60J05; 81P40; 81P45

Journal ref: J. Convex Anal. 24 (2017), no. 3, 903-916

Random unitary matrices associated to a graph

Authors: Paweł Kondratiuk, Karol Życzkowski

Abstract: 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 matri… ▽ More 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. △ Less

Submitted 14 November, 2013; originally announced November 2013.

Comments: 13 pages, 10 figures, 1 table

Journal ref: Acta Phys. Pol. A 124, 1098-1105 (2013)

Area law for random graph states

Authors: Benoit Collins, Ion Nechita, Karol Zyczkowski

Abstract: Random pure states of multi-partite quantum systems, associated with arbitrary graphs, are investigated. Each vertex of the graph represents a generic interaction between subsystems, described by a random unitary matrix distributed according to the Haar measure, while each edge of the graph represents a bi-partite, maximally entangled state. For any splitting of the graph into two parts we conside… ▽ More Random pure states of multi-partite quantum systems, associated with arbitrary graphs, are investigated. Each vertex of the graph represents a generic interaction between subsystems, described by a random unitary matrix distributed according to the Haar measure, while each edge of the graph represents a bi-partite, maximally entangled state. For any splitting of the graph into two parts we consider the corresponding partition of the quantum system and compute the average entropy of entanglement. First, in the special case where the partition does not "cross" any vertex of the graph, we show that the area law is satisfied exactly. In the general case, we show that the entropy of entanglement obeys an area law on average, this time with a correction term that depends on the topologies of the graph and of the partition. The results obtained are applied to the problem of distribution of quantum entanglement in a quantum network with prescribed topology. △ Less

Submitted 12 June, 2013; v1 submitted 4 February, 2013; originally announced February 2013.

Comments: v2: minor typos corrected

Journal ref: J. Phys. A: Math. Theor. 46 (2013), no. 30, 305302

Densities of the Raney distributions

Authors: Wojciech Mlotkowski, Karol A. Penson, Karol Zyczkowski

Abstract: We prove that if $p\ge 1$ and $0< r\le p$ then the sequence $\binom{mp+r}{m}\frac{r}{mp+r}$, $m=0,1,2,...$, is positive definite, more precisely, is the moment sequence of a probability measure $μ(p,r)$ with compact support contained in $[0,+\infty)$. This family of measures encompasses the multiplicative free powers of the Marchenko-Pastur distribution as well as the Wigner's semicircle distribut… ▽ More We prove that if $p\ge 1$ and $0< r\le p$ then the sequence $\binom{mp+r}{m}\frac{r}{mp+r}$, $m=0,1,2,...$, is positive definite, more precisely, is the moment sequence of a probability measure $μ(p,r)$ with compact support contained in $[0,+\infty)$. This family of measures encompasses the multiplicative free powers of the Marchenko-Pastur distribution as well as the Wigner's semicircle distribution centered at $x=2$. We show that if $p>1$ is a rational number, $0<r\le p$, then $μ(p,r)$ is absolutely continuous and its density $W_{p,r}(x)$ can be expressed in terms of the Meijer and the generalized hypergeometric functions. In some cases, including the multiplicative free square and the multiplicative free square root of the Marchenko-Pastur measure, $W_{p,r}(x)$ turns out to be an elementary function. △ Less

Submitted 30 November, 2012; originally announced November 2012.

Journal ref: Documenta Mathematica vol. 18 (2013), pp. 1573-1596, (24 pages)

Multiaccess quantum communication and product higher rank numerical range

Authors: Maciej Demianowicz, Paweł Horodecki, Karol Życzkowski

Abstract: 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… ▽ More 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. △ Less

Submitted 10 February, 2014; v1 submitted 1 September, 2012; originally announced September 2012.

Comments: 26 pages, 6 figures

Journal ref: Quant. Inf. Comp. 13, 0541-0566 (2013)

Joint numerical ranges, quantum maps, and joint numerical shadows

Authors: Eugene Gutkin, Karol Zyczkowski

Abstract: We associate with k hermitian N\times N matrices a probability measure on R^k. It is supported on the joint numerical range of the k-tuple of matrices. We call this measure the joint numerical shadow of these matrices. Let k=2. A pair of hermitian N\times N matrices defines a complex N\times N matrix. The joint numerical range and the joint numerical shadow of the pair of hermitian matrices coinci… ▽ More We associate with k hermitian N\times N matrices a probability measure on R^k. It is supported on the joint numerical range of the k-tuple of matrices. We call this measure the joint numerical shadow of these matrices. Let k=2. A pair of hermitian N\times N matrices defines a complex N\times N matrix. The joint numerical range and the joint numerical shadow of the pair of hermitian matrices coincide with the numerical range and the numerical shadow, respectively, of this complex matrix. We study relationships between the dynamics of quantum maps on the set of quantum states, on one hand, and the numerical ranges, on the other hand. In particular, we show that under the identity resolution assumption on Kraus operators defining the quantum map, the dynamics shrinks numerical ranges. △ Less

Submitted 12 October, 2012; v1 submitted 5 July, 2012; originally announced July 2012.

Comments: 12 latex pages, 3 figures in eps, revised version, several improvements

Journal ref: Lin. Alg. Appl. 438, 2394--2404 (2013)

Entropic trade-off relations for quantum operations

Authors: Wojciech Roga, Zbigniew Puchała, Łukasz Rudnicki, Karol Życzkowski

Abstract: 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 t… ▽ More 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. △ Less

Submitted 24 May, 2013; v1 submitted 12 June, 2012; originally announced June 2012.

Comments: 10 pages, 4 figures

Journal ref: Phys. Rev. A 87, 032308 (2013)

Extremal spacings between eigenphases of random unitary matrices and their tensor products

Authors: Marek Smaczynski, Tomasz Tkocz, Marek Kus, Karol Zyczkowski

Abstract: Extremal spacings between eigenvalues of random unitary matrices of size N pertaining to circular ensembles are investigated. Explicit probability distributions for the minimal spacing for various ensembles are derived for N = 4. We study ensembles of tensor product of k random unitary matrices of size n which describe independent evolution of a composite quantum system consisting of k subsystems.… ▽ More Extremal spacings between eigenvalues of random unitary matrices of size N pertaining to circular ensembles are investigated. Explicit probability distributions for the minimal spacing for various ensembles are derived for N = 4. We study ensembles of tensor product of k random unitary matrices of size n which describe independent evolution of a composite quantum system consisting of k subsystems. In the asymptotic case, as the total dimension N = n^k becomes large, the nearest neighbor distribution P(s) becomes Poissonian, but statistics of extreme spacings P(s_min) and P(s_max) reveal certain deviations from the Poissonian behavior. △ Less

Submitted 11 June, 2013; v1 submitted 13 April, 2012; originally announced April 2012.

Journal ref: Phys. Rev. E 88, 052902 (2013)

Barycentric measure of quantum entanglement

Authors: Wojciech Ganczarek, Marek Kuś, Karol Życzkowski

Abstract: 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… ▽ More 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. △ Less

Submitted 18 December, 2011; v1 submitted 2 December, 2011; originally announced December 2011.

Comments: 11 pages, 13 figures

Journal ref: Phys. Rev. A 85, 032314 (2012)

Induced Ginibre ensemble of random matrices and quantum operations

Authors: J. Fischmann, W. Bruzda, B. A. Khoruzhenko, H. -J. Sommers, K. Zyczkowski

Abstract: A generalisation of the Ginibre ensemble of non-Hermitian random square matrices is introduced. The corresponding probability measure is induced by the ensemble of rectangular Gaussian matrices via a quadratisation procedure. We derive the joint probability density of eigenvalues for such induced Ginibre ensemble and study various spectral correlation functions for complex and real matrices, and a… ▽ More A generalisation of the Ginibre ensemble of non-Hermitian random square matrices is introduced. The corresponding probability measure is induced by the ensemble of rectangular Gaussian matrices via a quadratisation procedure. We derive the joint probability density of eigenvalues for such induced Ginibre ensemble and study various spectral correlation functions for complex and real matrices, and analyse universal behaviour in the limit of large dimensions. In this limit the eigenvalues of the induced Ginibre ensemble cover uniformly a ring in the complex plane. The real induced Ginibre ensemble is shown to be useful to describe statistical properties of evolution operators associated with random quantum operations, for which the dimensions of the input state and the output state do differ. △ Less

Submitted 5 January, 2012; v1 submitted 25 July, 2011; originally announced July 2011.

Comments: 2nd version, 34 pages, 5 figures

Journal ref: J. Phys. A 45, 075203 (2012)

Composition of quantum operations and products of random matrices

Authors: Wojciech Roga, Marek Smaczynski, Karol Zyczkowski

Abstract: Spectral properties of evolution operators corresponding to random maps and quantized chaotic systems strongly interacting with an environment can be described by the ensemble of non-hermitian random matrices from the real Ginibre ensemble. We analyze evolution operators Psi=Psi_s...Psi_1 representing the composition of s random maps and demonstrate that their complex eigenvalues are asymptoticall… ▽ More Spectral properties of evolution operators corresponding to random maps and quantized chaotic systems strongly interacting with an environment can be described by the ensemble of non-hermitian random matrices from the real Ginibre ensemble. We analyze evolution operators Psi=Psi_s...Psi_1 representing the composition of s random maps and demonstrate that their complex eigenvalues are asymptotically described by the law of Burda et al. obtained for a product of s independent random complex Ginibre matrices. Numerical data support the conjecture that the same results are applicable to characterize the distribution of eigenvalues of the s-th power of a random Ginibre matrix. Squared singular values of Psi are shown to be described by the Fuss-Catalan distribution of order s. Results obtained for products of random Ginibre matrices are also capable to describe the s-step evolution operator for a model deterministic dynamical system - a generalized quantum baker map subjected to strong interaction with an environment. △ Less

Submitted 19 May, 2011; originally announced May 2011.

Comments: 19 pages, 7 figures

Journal ref: Acta Physica Polonica B, Vol. 42, 1123 (2011)

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.

Comments: 19 pages, 5 figures

Journal ref: J. Phys. A: Math. Theor. 44, 335301 (2011)

Product of Ginibre matrices: Fuss-Catalan and Raney distributions

Authors: Karol A. Penson, Karol Zyczkowski

Abstract: Squared singular values of a product of s square random Ginibre matrices are asymptotically characterized by probability distribution P_s(x), such that their moments are equal to the Fuss-Catalan numbers or order s. We find a representation of the Fuss--Catalan distributions P_s(x) in terms of a combination of s hypergeometric functions of the type sF_{s-1}. The explicit formula derived here is ex… ▽ More Squared singular values of a product of s square random Ginibre matrices are asymptotically characterized by probability distribution P_s(x), such that their moments are equal to the Fuss-Catalan numbers or order s. We find a representation of the Fuss--Catalan distributions P_s(x) in terms of a combination of s hypergeometric functions of the type sF_{s-1}. The explicit formula derived here is exact for an arbitrary positive integer s and for s=1 it reduces to the Marchenko--Pastur distribution. Using similar techniques, involving Mellin transform and the Meijer G-function, we find exact expressions for the Raney probability distributions, the moments of which are given by a two parameter generalization of the Fuss-Catalan numbers. These distributions can also be considered as a two parameter generalization of the Wigner semicircle law. △ Less

Submitted 5 May, 2011; v1 submitted 17 March, 2011; originally announced March 2011.

Comments: 10 pages including 7 figures, minor changes, figures improved

Journal ref: Phys. Rev. E 83, 061118 (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.

Comments: 37 pages, 8 figures

Journal ref: Linear Algebra Appl., Vol. 434, pp. 327-342, (2011)

Generating random density matrices

Authors: Karol Zyczkowski, Karol A. Penson, Ion Nechita, Benoit Collins

Abstract: We study various methods to generate ensembles of random density matrices of a fixed size N, obtained by partial trace of pure states on composite systems. Structured ensembles of random pure states, invariant with respect to local unitary transformations are introduced. To analyze statistical properties of quantum entanglement in bi-partite systems we analyze the distribution of Schmidt coefficie… ▽ More We study various methods to generate ensembles of random density matrices of a fixed size N, obtained by partial trace of pure states on composite systems. Structured ensembles of random pure states, invariant with respect to local unitary transformations are introduced. To analyze statistical properties of quantum entanglement in bi-partite systems we analyze the distribution of Schmidt coefficients of random pure states. Such a distribution is derived in the case of a superposition of k random maximally entangled states. For another ensemble, obtained by performing selective measurements in a maximally entangled basis on a multi--partite system, we show that this distribution is given by the Fuss-Catalan law and find the average entanglement entropy. A more general class of structured ensembles proposed, containing also the case of Bures, forms an extension of the standard ensemble of structureless random pure states, described asymptotically, as N \to \infty, by the Marchenko-Pastur distribution. △ Less

Submitted 18 March, 2011; v1 submitted 18 October, 2010; originally announced October 2010.

Comments: 13 pages in latex with 8 figures included

Journal ref: J. Math. Phys. 52 (2011), no. 6, 062201

How often is a random quantum state k-entangled?

Authors: Stanislaw J. Szarek, Elisabeth Werner, Karol Zyczkowski

Abstract: 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 smal… ▽ More 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. △ Less

Submitted 7 October, 2010; originally announced October 2010.

Comments: 19 pages in latex, 1 figure included

Journal ref: J. Phys. A 44, 045303 (2011)

Truncations of Random Orthogonal Matrices

Authors: Boris A. Khoruzhenko, Hans-Juergen Sommers, Karol Zyczkowski

Abstract: Statistical properties of non--symmetric real random matrices of size $M$, obtained as truncations of random orthogonal $N\times N$ matrices are investigated. We derive an exact formula for the density of eigenvalues which consists of two components: finite fraction of eigenvalues are real, while the remaining part of the spectrum is located inside the unit disk symmetrically with respect to the r… ▽ More Statistical properties of non--symmetric real random matrices of size $M$, obtained as truncations of random orthogonal $N\times N$ matrices are investigated. We derive an exact formula for the density of eigenvalues which consists of two components: finite fraction of eigenvalues are real, while the remaining part of the spectrum is located inside the unit disk symmetrically with respect to the real axis. In the case of strong non--orthogonality, $M/N=$const, the behavior typical to real Ginibre ensemble is found. In the case $M=N-L$ with fixed $L$, a universal distribution of resonance widths is recovered. △ Less

Submitted 20 October, 2010; v1 submitted 12 August, 2010; originally announced August 2010.

Comments: 4 pages, final revised version (one reference added, minor changes in Introduction)

Journal ref: Phys. Rev. E 82, 040106(R) (2010) [4 pages]

Random graph states, maximal flow and Fuss-Catalan distributions

Authors: Benoit Collins, Ion Nechita, Karol Zyczkowski

Abstract: For any graph consisting of $k$ vertices and $m$ edges we construct an ensemble of random pure quantum states which describe a system composed of $2m$ subsystems. Each edge of the graph represents a bi-partite, maximally entangled state. Each vertex represents a random unitary matrix generated according to the Haar measure, which describes the coupling between subsystems. Dividing all subsystems i… ▽ More For any graph consisting of $k$ vertices and $m$ edges we construct an ensemble of random pure quantum states which describe a system composed of $2m$ subsystems. Each edge of the graph represents a bi-partite, maximally entangled state. Each vertex represents a random unitary matrix generated according to the Haar measure, which describes the coupling between subsystems. Dividing all subsystems into two parts, one may study entanglement with respect to this partition. A general technique to derive an expression for the average entanglement entropy of random pure states associated to a given graph is presented. Our technique relies on Weingarten calculus and flow problems. We analyze statistical properties of spectra of such random density matrices and show for which cases they are described by the free Poissonian (Marchenko-Pastur) distribution. We derive a discrete family of generalized, Fuss-Catalan distributions and explicitly construct graphs which lead to ensembles of random states characterized by these novel distributions of eigenvalues. △ Less

Submitted 16 March, 2010; originally announced March 2010.

Comments: 37 pages, 24 figures

Journal ref: J. Phys. A: Math. Theor. 43 (2010), no. 27, 275303

Universality of spectra for interacting quantum chaotic systems

Authors: Wojciech Bruzda, Marek Smaczynski, Valerio Cappellini, Hans-Juergen Sommers, Karol Zyczkowski

Abstract: We analyze a model quantum dynamical system subjected to periodic interaction with an environment, which can describe quantum measurements. Under the condition of strong classical chaos and strong decoherence due to large coupling with the measurement device, the spectra of the evolution operator exhibit an universal behavior. A generic spectrum consists of a single eigenvalue equal to unity, whic… ▽ More We analyze a model quantum dynamical system subjected to periodic interaction with an environment, which can describe quantum measurements. Under the condition of strong classical chaos and strong decoherence due to large coupling with the measurement device, the spectra of the evolution operator exhibit an universal behavior. A generic spectrum consists of a single eigenvalue equal to unity, which corresponds to the invariant state of the system, while all other eigenvalues are contained in a disk in the complex plane. Its radius depends on the number of the Kraus measurement operators, and determines the speed with which an arbitrary initial state converges to the unique invariant state. These spectral properties are characteristic of an ensemble of random quantum maps, which in turn can be described by an ensemble of real random Ginibre matrices. This will be proven in the limit of large dimension. △ Less

Submitted 15 March, 2010; originally announced March 2010.

Comments: 11 pages, 10 figures

Journal ref: Phys. Rev. E 81, 066209 (2010)

Random Bures mixed states and the distribution of their purity

Authors: Vladimir Al. Osipov, Hans-Juergen Sommers, Karol Zyczkowski

Abstract: 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… ▽ More 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. △ Less

Submitted 28 September, 2009; originally announced September 2009.

Comments: 28 pages, 5 figures

Journal ref: J. Phys. A: Math. Theor. 43 055302 (2010)

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

Authors: Charles Dunkl, Karol Zyczkowski

Abstract: 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 eval… ▽ More 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. △ Less

Submitted 10 November, 2009; v1 submitted 1 September, 2009; originally announced September 2009.

Comments: 33 pages, 6 figures version 2 - misprints corrected, explicit formulae for phases provided

Journal ref: J.Math.Phys.50:123521,2009

Positive maps, positive polynomials and entanglement witnesses

Authors: Lukasz Skowronek, Karol Zyczkowski

Abstract: 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 corres… ▽ More 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. △ Less

Submitted 17 March, 2009; originally announced March 2009.

Comments: 17 pages, 1 figure

Journal ref: J. Phys. A: Math. Theor. 42 (2009) 325302

Random Bistochastic Matrices

Authors: V. Cappellini, H. -J. Sommers, W. Bruzda, K. Zyczkowski

Abstract: Ensembles of random stochastic and bistochastic matrices are investigated. While all columns of a random stochastic matrix can be chosen independently, the rows and columns of a bistochastic matrix have to be correlated. We evaluate the probability measure induced into the Birkhoff polytope of bistochastic matrices by applying the Sinkhorn algorithm to a given ensemble of random stochastic matri… ▽ More Ensembles of random stochastic and bistochastic matrices are investigated. While all columns of a random stochastic matrix can be chosen independently, the rows and columns of a bistochastic matrix have to be correlated. We evaluate the probability measure induced into the Birkhoff polytope of bistochastic matrices by applying the Sinkhorn algorithm to a given ensemble of random stochastic matrices. For matrices of order N=2 we derive explicit formulae for the probability distributions induced by random stochastic matrices with columns distributed according to the Dirichlet distribution. For arbitrary $N$ we construct an initial ensemble of stochastic matrices which allows one to generate random bistochastic matrices according to a distribution locally flat at the center of the Birkhoff polytope. The value of the probability density at this point enables us to obtain an estimation of the volume of the Birkhoff polytope, consistent with recent asymptotic results. △ Less

Submitted 24 August, 2009; v1 submitted 21 November, 2007; originally announced November 2007.

Comments: 22 pages, 4 figures

Journal ref: J. Phys. A: Math. Theor. 42 (2009) 365209

Subnormalized states and trace-nonincreasing maps

Authors: Valerio Cappellini, Hans-Juergen Sommers, Karol Zyczkowski

Abstract: 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-nonincreasin… ▽ More 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}$. △ Less

Submitted 1 June, 2007; v1 submitted 19 January, 2007; originally announced January 2007.

Comments: LaTeX, 21 pages, 4 Encapsuled PostScript figures, 1 table

Journal ref: J. Math. Phys. 48(5), 052110 (2007)