Showing 1–50 of 228 results for author: Życzkowski, K

Certifying nonlocal properties of noisy quantum operations

Authors: Albert Rico, Moisés Bermejo-Morán, Fereshte Shahbeigi, Karol Życzkowski

Abstract: We provide a unified framework to certify nonlocal properties of quantum channels from the correlations obtained in measurement protocols. Our approach gathers and extends fully- and semi-device independent methods for this purpose. We study the effect of different models of dephasing noise, some of which are shown to generate nonlocality and entanglement in special cases. In the extreme case of c… ▽ More We provide a unified framework to certify nonlocal properties of quantum channels from the correlations obtained in measurement protocols. Our approach gathers and extends fully- and semi-device independent methods for this purpose. We study the effect of different models of dephasing noise, some of which are shown to generate nonlocality and entanglement in special cases. In the extreme case of complete dephasing, the measurement protocols discussed yield particularly simple tests to certify nonlocality. These are based on the relations between bipartite quantum channels and their classical analogs: bipartite stochastic matrices defining conditional distributions. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Quantum Resource Theories beyond Convexity

Authors: Roberto Salazar, Jakub Czartowski, Ricard Ravell Rodríguez, Grzegorz Rajchel-Mieldzioć, Paweł Horodecki, Karol Życzkowski

Abstract: A class of quantum resource theories, based on non-convex star-shape sets, presented in this work captures the key quantum properties that cannot be studied by standard convex theories. We provide operational interpretations for a resource of this class and demonstrate its advantage to improve performance of correlated quantum discrimination tasks and testing of quantum combs. Proposed techniques… ▽ More A class of quantum resource theories, based on non-convex star-shape sets, presented in this work captures the key quantum properties that cannot be studied by standard convex theories. We provide operational interpretations for a resource of this class and demonstrate its advantage to improve performance of correlated quantum discrimination tasks and testing of quantum combs. Proposed techniques provide useful tools to describe quantum discord, total correlations in composite quantum systems and to estimate the degree of non-Markovianity of an analyzed quantum dynamics. Other applications include the problem of unistochasticity of a given bistochastic matrix, with relevance for quantization of classical dynamics and studies of violation of CP-symmetry in high energy physics. In all these cases, the non-linear witnesses introduced here outperform the standard linear witnesses. Importance of our findings for quantum information theory is also emphasized. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Comments: 40 pages, 18 figures

Distribution of Fidelity in Quantum State Transfer Protocols

Authors: Salvatore Lorenzo, Francesco Plastina, Tony J. G. Apollaro, Mirko Consiglio, Karol Życzkowski

Abstract: Quantum state transfer protocols are a major toolkit in many quantum information processing tasks, from quantum key distribution to quantum computation. To assess performance of a such a protocol, one often relies on the average fidelity between the input and the output states. Going beyond this scheme, we analyze the entire probability distribution of fidelity, providing a general framework to de… ▽ More Quantum state transfer protocols are a major toolkit in many quantum information processing tasks, from quantum key distribution to quantum computation. To assess performance of a such a protocol, one often relies on the average fidelity between the input and the output states. Going beyond this scheme, we analyze the entire probability distribution of fidelity, providing a general framework to derive it for the transfer of single- and two-qubit states. Starting from the delta-like shape of the fidelity distribution, characteristic to perfect transfer, we analyze its broadening and deformation due to realistic features of the process, including non-perfect read-out timing. Different models of quantum transfer, sharing the same value of the average fidelity, display different distributions of fidelity, providing thus additional information on the protocol, including the minimum fidelity. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Comments: 9 pages, 6 figures

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 retrieving information from quantum computers. 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 th… ▽ More Tomographic reconstruction of quantum states plays a fundamental role in benchmarking quantum systems and retrieving information from quantum computers. 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, that allow us to perform full quantum state tomography while considering only repeated application of a single unitary-based quantum device during the measurement stage process. This type of measurements significantly simplifies the complexity of the experimental setup required to retrieve the quantum state of a physical system. Additionally, we design feasible setup preparation procedure that produce well-approximated cyclic tight measurements, in every finite dimension. △ Less

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

Comments: 22 pages, 2 figures

Fidelity decay and error accumulation in quantum volume 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 7 June, 2024; v1 submitted 17 April, 2024; originally announced April 2024.

Comments: v2.Main: 5 pages and 4 figures. Appendices: 25 pages and 9 figures

Two-Unitary Complex Hadamard Matrices of Order $36$

Authors: Wojciech Bruzda, Karol Życzkowski

Abstract: A family of two-unitary complex Hadamard matrices (CHM) stemming from a particular matrix, of size $36$ is constructed. Every matrix in this orbit remains unitary after operations of partial transpose and reshuffling which makes it a distinguished subset of CHM. It provides a novel solution to the quantum version of the Euler problem, in which each field of the Graeco-Latin square of size six cont… ▽ More A family of two-unitary complex Hadamard matrices (CHM) stemming from a particular matrix, of size $36$ is constructed. Every matrix in this orbit remains unitary after operations of partial transpose and reshuffling which makes it a distinguished subset of CHM. It provides a novel solution to the quantum version of the Euler problem, in which each field of the Graeco-Latin square of size six contains a symmetric superposition of all $36$ officers with phases being multiples of sixth root of unity. This simplifies previously known solutions as all amplitudes of the superposition are equal and the set of phases consists of $6$ elements only. Multidimensional parameterization allows for more flexibility in a potential experimental realization. △ Less

Submitted 8 May, 2024; v1 submitted 3 January, 2024; originally announced January 2024.

Comments: 13 pages, 1 figure

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

Rényi-Holevo inequality from $α$-$z$-Rényi relative entropies

Authors: Diego G. Bussandri, Grzegorz Rajchel-Mieldzioć, Pedro W. Lamberti, Karol Życzkowski

Abstract: We investigate bounds in the transmission of classical information through quantum systems. Our focus lies in the generalized Holevo theorem, which provides a single-letter Holevo-like inequality from arbitrary quantum distance measures. Through the introduction of the $α$-$z$-Rényi relative entropies, which comprise known relevant quantities such as the Rényi relative entropy and the sandwiched R… ▽ More We investigate bounds in the transmission of classical information through quantum systems. Our focus lies in the generalized Holevo theorem, which provides a single-letter Holevo-like inequality from arbitrary quantum distance measures. Through the introduction of the $α$-$z$-Rényi relative entropies, which comprise known relevant quantities such as the Rényi relative entropy and the sandwiched Rényi relative entropy, we establish the Holevo-Rényi inequality. This result leads to a quantum bound for the $α$-mutual information, suggesting new insights into communication channel performance and the fundamental limits for reliability functions in memoryless multi-letter communication channels. △ Less

Submitted 8 September, 2023; originally announced September 2023.

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_i=P_i^†\geq 0$ summing to identity, $\sum_iP_i=1\!\!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. From this perspective, we consider transformations of quantum… ▽ More A quantum measurement, often referred to as positive operator-valued measurement (POVM), is a set of positive operators $P_i=P_i^†\geq 0$ summing to identity, $\sum_iP_i=1\!\!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. From this perspective, we consider transformations of quantum measurements induced by blockwise stochastic matrices, in which each column defines a POVM. These transformations can be simulated with a sequence of two conditional measurements, and their input and output are always jointly measurable. Analyzing dynamics induced by blockwise bistochastic matrices, in which both columns and rows sum to the identity, we formulate an operator majorization relation between quantum measurements, which allows to establish a resource theory in the set of quantum measurements. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Iso-entangled bases and joint measurements

Authors: Flavio Del Santo, Jakub Czartowski, Karol Życzkowski, Nicolas Gisin

Abstract: While entanglement between distant parties has been extensively studied, entangled measurements have received relatively little attention despite their significance in understanding non-locality and their central role in quantum computation and networks. We present a systematic study of entangled measurements, providing a complete classification of all equivalence classes of iso-entangled bases fo… ▽ More While entanglement between distant parties has been extensively studied, entangled measurements have received relatively little attention despite their significance in understanding non-locality and their central role in quantum computation and networks. We present a systematic study of entangled measurements, providing a complete classification of all equivalence classes of iso-entangled bases for projective joint measurements on 2 qubits. The application of this classification to the triangular network reveals that the Elegant Joint Measurement, along with white noise, is the only measurement resulting in output permutation invariant probability distributions when the nodes are connected by Werner states. The paper concludes with a discussion of partial results in higher dimensions. △ Less

Submitted 13 July, 2023; originally announced July 2023.

Comments: 5 pages + appendices

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

Orthonormal bases of extreme quantumness

Authors: Marcin Rudziński, Adam Burchardt, Karol Życzkowski

Abstract: Spin anticoherent states acquired recently a lot of attention as the most "quantum" states. Some coherent and anticoherent spin states are known as optimal quantum rotosensors. In this work, we introduce a measure of quantumness for orthonormal bases of spin states, determined by the average anticoherence of individual vectors and the Wehrl entropy. In this way, we identify the most coherent and m… ▽ More Spin anticoherent states acquired recently a lot of attention as the most "quantum" states. Some coherent and anticoherent spin states are known as optimal quantum rotosensors. In this work, we introduce a measure of quantumness for orthonormal bases of spin states, determined by the average anticoherence of individual vectors and the Wehrl entropy. In this way, we identify the most coherent and most quantum states, which lead to orthogonal measurements of extreme quantumness. Their symmetries can be revealed using the Majorana stellar representation, which provides an intuitive geometrical representation of a pure state by points on a sphere. Results obtained lead to maximally (minimally) entangled bases in the $2j+1$ dimensional symmetric subspace of the $2^{2j}$ dimensional space of states of multipartite systems composed of $2j$ qubits. Some bases found are iso-coherent as they consist of all states of the same degree of spin-coherence. △ Less

Submitted 17 January, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: 21 pages, 12 figures

Journal ref: Quantum 8, 1234 (2024)

Tristochastic operations and convolutions of quantum states

Authors: Rafał Bistroń, Wojciech Śmiałek, Karol Życzkowski

Abstract: The notion of convolution of two probability vectors, corresponding to a coincidence experiment can be extended for a family of binary operations determined by (tri)stochastic tensors, to describe Markov chains of a higher order. The problem of associativity, commutativity and the existence of neutral elements and inverses is analyzed for such operations. For a more general setup of multi-stochast… ▽ More The notion of convolution of two probability vectors, corresponding to a coincidence experiment can be extended for a family of binary operations determined by (tri)stochastic tensors, to describe Markov chains of a higher order. The problem of associativity, commutativity and the existence of neutral elements and inverses is analyzed for such operations. For a more general setup of multi-stochastic tensors, we present the characterization of their probability eigenvectors. Similar results are obtained for the quantum case: we analyze tristochastic channels, which induce binary operations defined in the space of quantum states. Studying coherifications of tristochastic tensors we propose a quantum analogue of the convolution of probability vectors defined for two arbitrary density matrices of the same size. Possible applications of this notion to construct schemes of error mitigation or building blocks in quantum convolutional neural networks are discussed. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 38 pages, 3 figures

Transmission distance in the space of quantum channels

Authors: Diego G. Bussandri, Pedro W. Lamberti, Karol Życzkowski

Abstract: We analyze two ways to obtain distinguishability measures between quantum maps by employing the square root of the quantum Jensen-Shannon divergence, which forms a true distance in the space of density operators. The arising measures are the transmission distance between quantum channels and the entropic channel divergence. We investigate their mathematical properties and discuss their physical me… ▽ More We analyze two ways to obtain distinguishability measures between quantum maps by employing the square root of the quantum Jensen-Shannon divergence, which forms a true distance in the space of density operators. The arising measures are the transmission distance between quantum channels and the entropic channel divergence. We investigate their mathematical properties and discuss their physical meaning. Additionally, we establish a chain rule for the entropic channel divergence, which implies the amortization collapse, a relevant result with potential applications in the field of discrimination of quantum channels and converse bounds. Finally, we analyze the distinguishability between two given Pauli channels and study exemplary Hamiltonian dynamics under decoherence. △ Less

Submitted 24 April, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

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.

Minimal-noise estimation of noncommuting rotations of a spin

Authors: Jakub Czartowski, Karol Życzkowski, Daniel Braun

Abstract: We propose an analogue of $\text{SU}(1,1)$ interferometry to measure rotation of a spin by using two-spin squeezed states. Attainability of the Heisenberg limit for the estimation of the rotation angle is demonstrated for maximal squeezing. For a specific direction and strength an advantage in sensitivity for all equatorial rotation axes (and hence non-commuting rotations) over the classical bound… ▽ More We propose an analogue of $\text{SU}(1,1)$ interferometry to measure rotation of a spin by using two-spin squeezed states. Attainability of the Heisenberg limit for the estimation of the rotation angle is demonstrated for maximal squeezing. For a specific direction and strength an advantage in sensitivity for all equatorial rotation axes (and hence non-commuting rotations) over the classical bound is shown in terms of quadratic scaling of the single-parameter quantum Fisher information for the corresponding rotation angles. Our results provide a method for measuring magnetic fields in any direction in the $x$-$y$-plane with the same optimized initial state. △ Less

Submitted 16 April, 2024; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: 30 pages + title page + abstract, 11 figures

Journal ref: Quantum 8, 1341 (2024)

Matrix logistic map: fractal spectral distributions and transfer of chaos

Authors: Łukasz Pawela, Karol Życzkowski

Abstract: The standard logistic map, $x'=ax(1-x)$, serves as a paradigmatic model to demonstrate how apparently simple non-linear equations lead to complex and chaotic dynamics. In this work we introduce and investigate its matrix analogue defined for an arbitrary matrix $X$ of a given order $N$. We show that for an arbitrary initial ensemble of hermitian random matrices with a continuous level density supp… ▽ More The standard logistic map, $x'=ax(1-x)$, serves as a paradigmatic model to demonstrate how apparently simple non-linear equations lead to complex and chaotic dynamics. In this work we introduce and investigate its matrix analogue defined for an arbitrary matrix $X$ of a given order $N$. We show that for an arbitrary initial ensemble of hermitian random matrices with a continuous level density supported on the interval $[0,1]$, the asymptotic level density converges to the invariant measure of the logistic map. Depending on the parameter $a$ the constructed measure may be either singular, fractal or described by a continuous density. In a broader class of the map multiplication by a scalar logistic parameter $a$ is replaced by transforming $aX(\mathbb{I}-X)$ into $BX(\mathbb{I}-X)B^{\dagger}$, where $A=BB^{\dagger}$ is a fixed positive matrix of order $N$. This approach generalizes the known model of coupled logistic maps, and allows us to study the transition to chaos in complex networks and multidimensional systems. In particular, associating the matrix $B$ with a given graph we demonstrate the gradual transfer of chaos between subsystems corresponding to vertices of a graph and coupled according to its edges. △ Less

Submitted 10 March, 2023; originally announced March 2023.

Entangled States are Harder to Transfer than Product States

Authors: Tony J. G. Apollaro, Salvatore Lorenzo, Francesco Plastina, Mirko Consiglio, Karol Życzkowski

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

Submitted 11 January, 2023; originally announced January 2023.

Comments: Contribution to the Entropy Special Issue of IQIS22 (Italian Quantum Information Science) conference, Palermo (Italy) 12-16 September 2022

Journal ref: Entropy 2023, 25(1), 46

Operation fidelity explored by numerical range of Kraus operators

Authors: Igor Chełstowski, Grzegorz Rajchel-Mieldzioć, Karol Życzkowski

Abstract: Present-day quantum devices require precise implementation of desired quantum channels. To characterize the quality of implementation one uses the average operation fidelity $F$, defined as the fidelity between an initial pure state and its image with respect to the analyzed operation, averaged over an ensemble of pure states. We analyze statistical properties of the operation fidelity for low-dim… ▽ More Present-day quantum devices require precise implementation of desired quantum channels. To characterize the quality of implementation one uses the average operation fidelity $F$, defined as the fidelity between an initial pure state and its image with respect to the analyzed operation, averaged over an ensemble of pure states. We analyze statistical properties of the operation fidelity for low-dimensional channels and study its extreme values and probability distribution, both of which can be used for statistical channel discrimination. These results are obtained with help of the joint numerical range of the set of Kraus operators representing a channel. Analytic expressions for the density $P\left(F\right)$ are derived in some particular cases including unitary and mixed unitary channels as well as quantum maps represented by commuting Kraus operators. Measured distributions of operation fidelity can be used to distinguish between two quantum operations. △ Less

Submitted 15 March, 2024; v1 submitted 20 December, 2022; originally announced December 2022.

Comments: 14 pages, 5 figures, updated section on probabilistic channel discrimination

Report number: Phys. Rev. A 108, 022409 (2023) MSC Class: 47A12 47A12

Quantum version of the Euler's problem: a geometric perspective

Authors: Karol Zyczkowski

Abstract: The classical combinatorial problem of $36$ officers has no solution, as there are no Graeco-Latin squares of order six. The situation changes if one works in a quantum setup and allows for superpositions of classical objects and admits entangled states. We analyze the recently found solution to the quantum version of the Euler's problem from a geometric point of view. The notion of a non-displace… ▽ More The classical combinatorial problem of $36$ officers has no solution, as there are no Graeco-Latin squares of order six. The situation changes if one works in a quantum setup and allows for superpositions of classical objects and admits entangled states. We analyze the recently found solution to the quantum version of the Euler's problem from a geometric point of view. The notion of a non-displaceable manifold embedded in a larger space is recalled. This property implies that any two copies of such a manifold, like two great circles on a sphere, do intersect. Existence of a quantum Graeco-Latin square of size six, equivalent to a maximally entangled state of four subsystems with d=6 levels each, implies that three copies of the manifold U(36)/U(1) of maximally entangled states of the $36\times 36$ system, embedded in the complex projective space ${C}P^{36\times 36 -1}$, do intersect simultaneously at a certain point. △ Less

Submitted 23 December, 2022; v1 submitted 7 December, 2022; originally announced December 2022.

Comments: 15 pages with 9 figures, additional references added

Bogdan Mielnik, geometry and quanta

Authors: Ingemar Bengtsson, Karol Zyczkowski

Abstract: We review selected achievements of the late Bogdan Mielnik in the field of theoretical physics, with an emphasis on his attempts to go beyond quantum mechanics. Some of his original views on the problems of contemporary society and organization of science are also recalled. We review selected achievements of the late Bogdan Mielnik in the field of theoretical physics, with an emphasis on his attempts to go beyond quantum mechanics. Some of his original views on the problems of contemporary society and organization of science are also recalled. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 7 pages, 3 figures

Journal ref: Postepy Fizyki 73 (2022) p. 11

Geometric structure of thermal cones

Authors: A. de Oliveira Junior, Jakub Czartowski, Karol Życzkowski, Kamil Korzekwa

Abstract: The second law of thermodynamics imposes a fundamental asymmetry in the flow of events. The so-called thermodynamic arrow of time introduces an ordering that divides the system's state space into past, future and incomparable regions. In this work, we analyse the structure of the resulting thermal cones, i.e., sets of states that a given state can thermodynamically evolve to (the future thermal co… ▽ More The second law of thermodynamics imposes a fundamental asymmetry in the flow of events. The so-called thermodynamic arrow of time introduces an ordering that divides the system's state space into past, future and incomparable regions. In this work, we analyse the structure of the resulting thermal cones, i.e., sets of states that a given state can thermodynamically evolve to (the future thermal cone) or evolve from (the past thermal cone). Specifically, for a $d$-dimensional classical state of a system interacting with a heat bath, we find explicit construction of the past thermal cone and the incomparable region. Moreover, we provide a detailed analysis of their behaviour based on thermodynamic monotones given by the volumes of thermal cones. Results obtained apply also to other majorisation-based resource theories (such as that of entanglement and coherence), since the partial ordering describing allowed state transformations is then the opposite of the thermodynamic order in the infinite temperature limit. Finally, we also generalise the construction of thermal cones to account for probabilistic transformations. △ Less

Submitted 13 December, 2022; v1 submitted 5 July, 2022; originally announced July 2022.

Comments: 22 pages, 16 figures. Published version

Journal ref: Phys. Rev. E 106, 064109 (2022)

Quantum transfer of interacting qubits

Authors: Tony J. G. Apollaro, Salvatore Lorenzo, Francesco Plastina, Mirko Consiglio, Karol Życzkowski

Abstract: The transfer of quantum information between different locations is key to many quantum information processing tasks. Whereas, the transfer of a single qubit state has been extensively investigated, the transfer of a many-body system configuration has insofar remained elusive. We address the problem of transferring the state of n interacting qubits. Both the exponentially increasing Hilbert space d… ▽ More The transfer of quantum information between different locations is key to many quantum information processing tasks. Whereas, the transfer of a single qubit state has been extensively investigated, the transfer of a many-body system configuration has insofar remained elusive. We address the problem of transferring the state of n interacting qubits. Both the exponentially increasing Hilbert space dimension, and the presence of interactions significantly scale-up the complexity of achieving high-fidelity transfer. By employing tools from random matrix theory and using the formalism of quantum dynamical maps, we derive a general expression for the average and the variance of the fidelity of an arbitrary quantum state transfer protocol for n interacting qubits. Finally, by adopting a weak-coupling scheme in a spin chain, we obtain the explicit conditions for high-fidelity transfer of 3 and 4 interacting qubits. △ Less

Submitted 3 May, 2022; originally announced May 2022.

Comments: 24 pages, comments welcome

Journal ref: New J. Phys. 24 083025 (2022)

Three favorite dimensions of Andrzej Kossakowski: along his path to a scientific discovery

Authors: Karol Zyczkowski

Abstract: Some achievements of the late Andrzej Kossakowski in the field of statistical physics and quantum theory are presented. We recall his attempt to find an analytical solution of the 3-dimensional Ising model and present a problem concerning the set of positive maps. Some achievements of the late Andrzej Kossakowski in the field of statistical physics and quantum theory are presented. We recall his attempt to find an analytical solution of the 3-dimensional Ising model and present a problem concerning the set of positive maps. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Comments: 5 pages including 3 figures; submission to a special issue of 'Open Systems and Information Dynamics' devoted to the memory of Andrzej Kossakowski

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

9 $\times$ 4 = 6 $\times$ 6: Understanding the quantum solution to the Euler's problem of 36 officers

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

Abstract: The famous combinatorial problem of Euler concerns an arrangement of $36$ officers from six different regiments in a $6 \times 6$ square array. Each regiment consists of six officers each belonging to one of six ranks. The problem, originating from Saint Petersburg, requires that each row and each column of the array contains only one officer of a given rank and given regiment. Euler observed that… ▽ More The famous combinatorial problem of Euler concerns an arrangement of $36$ officers from six different regiments in a $6 \times 6$ square array. Each regiment consists of six officers each belonging to one of six ranks. The problem, originating from Saint Petersburg, requires that each row and each column of the array contains only one officer of a given rank and given regiment. Euler observed that such a configuration does not exist. In recent work, we constructed a solution to a quantum version of this problem assuming that the officers correspond to quantum states and can be entangled. In this paper, we explain the solution which is based on a partition of 36 officers into nine groups, each with four elements. The corresponding quantum states are locally equivalent to maximally entangled two-qubit states, hence each officer is entangled with at most three out of his $35$ colleagues. The entire quantum combinatorial design involves $9$ Bell bases in nine complementary $4$-dimensional subspaces. △ Less

Submitted 22 July, 2022; v1 submitted 14 April, 2022; originally announced April 2022.

Comments: 26 pages

Accessible maps in a group of classical or quantum channels

Authors: Koorosh Sadri, Fereshte Shahbeigi, Zbigniew Puchała, Karol Życzkowski

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

Submitted 29 January, 2022; originally announced January 2022.

Comments: 25 pages, 6 figures

Transition from order to chaos in reduced quantum dynamics

Authors: Waldemar Kłobus, Paweł Kurzyński, Marek Kuś, Wiesław Laskowski, Robert Przybycień, Karol Życzkowski

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

Submitted 26 November, 2021; originally announced November 2021.

Comments: 10 pages, 8 figures

Dephasing superchannels

Authors: Zbigniew Puchała, Kamil Korzekwa, Roberto Salazar, Paweł Horodecki, Karol Życzkowski

Abstract: We characterise a class of environmental noises that decrease coherent properties of quantum channels by introducing and analysing the properties of dephasing superchannels. These are defined as superchannels that affect only non-classical properties of a quantum channel $\mathcal{E}$, i.e., they leave invariant the transition probabilities induced by $\mathcal{E}$ in the distinguished basis. We p… ▽ More We characterise a class of environmental noises that decrease coherent properties of quantum channels by introducing and analysing the properties of dephasing superchannels. These are defined as superchannels that affect only non-classical properties of a quantum channel $\mathcal{E}$, i.e., they leave invariant the transition probabilities induced by $\mathcal{E}$ in the distinguished basis. We prove that such superchannels $Ξ_C$ form a particular subclass of Schur-product supermaps that act on the Jamiolkowski state $J(\mathcal{E})$ of a channel $\mathcal{E}$ via a Schur product, $J'=J\circ C$. We also find physical realizations of general $Ξ_C$ through a pre- and post-processing employing dephasing channels with memory, and show that memory plays a non-trivial role for quantum systems of dimension $d>2$. Moreover, we prove that coherence generating power of a general quantum channel is a monotone under dephasing superchannels. Finally, we analyse the effect dephasing noise can have on a quantum channel $\mathcal{E}$ by investigating the number of distinguishable channels that $\mathcal{E}$ can be mapped to by a family of dephasing superchannels. More precisely, we upper bound this number in terms of hypothesis testing channel divergence between $\mathcal{E}$ and its fully dephased version, and also relate it to the robustness of coherence of $\mathcal{E}$. △ Less

Submitted 13 December, 2021; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 13 pages, 1 figure. Published version

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

Confident entanglement detection via separable numerical range

Authors: Timo Simnacher, Jakub Czartowski, Konrad Szymański, Karol Życzkowski

Abstract: We investigate the joint (separable) numerical range of multiple measurements, i.e., the regions of expectation values accessible with (separable) quantum states for given observables. This not only enables efficient entanglement detection, but also sheds light on the geometry of the set of quantum states. More precisely, in an experiment, if the confidence region for the obtained data and the sep… ▽ More We investigate the joint (separable) numerical range of multiple measurements, i.e., the regions of expectation values accessible with (separable) quantum states for given observables. This not only enables efficient entanglement detection, but also sheds light on the geometry of the set of quantum states. More precisely, in an experiment, if the confidence region for the obtained data and the separable numerical range are disjoint, entanglement is reliably detected. Generically, the success of such an experiment is more likely the smaller the separable numerical range is compared to the standard numerical range of the observables measured. We quantify this relation using the ratio between these two volumes and show that it cannot be arbitrarily small, giving analytical bounds for any number of particles, local dimensions as well as number of measurements. Moreover, we explicitly compute the volume of separable and standard numerical range for two locally traceless two-qubit product observables, which are of particular interest as they are easier to measure in practice. Furthermore, we consider typical volume ratios for generic observables and extreme instances. △ Less

Submitted 9 July, 2021; originally announced July 2021.

Comments: 21 pages, 8 figures, 4 tables

MSC Class: 47A12

Genuinely quantum SudoQ and its cardinality

Authors: Jerzy Paczos, Marcin Wierzbiński, Grzegorz Rajchel-Mieldzioć, Adam Burchardt, Karol Życzkowski

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

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

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

Entanglement in highly symmetric multipartite quantum states

Authors: Adam Burchardt, Jakub Czartowski, Karol Życzkowski

Abstract: We present a construction of genuinely entangled multipartite quantum states based on the group theory. Analyzed states resemble the Dicke states, whereas the interactions occur only between specific subsystems related by the action of the selected group. The states constructed by this technique exhibit desired symmetry properties and form a natural resource for less-symmetric quantum informationa… ▽ More We present a construction of genuinely entangled multipartite quantum states based on the group theory. Analyzed states resemble the Dicke states, whereas the interactions occur only between specific subsystems related by the action of the selected group. The states constructed by this technique exhibit desired symmetry properties and form a natural resource for less-symmetric quantum informational tasks. We propose quantum circuits efficiently generating such states, which in general have smaller complexity than the circuits necessary to create fully symmetric entangled states. △ Less

Submitted 3 June, 2021; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 22 pages, 16 figures

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

Quantum Optimal Transport

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

Abstract: We analyze a quantum version of the Monge--Kantorovich optimal transport problem. The quantum transport cost related to a Hermitian cost matrix $C$ is minimized over the set of all bipartite coupling states $ρ^{AB}$ with fixed reduced density matrices $ρ^A$ and $ρ^B$ of size $m$ and $n$. The minimum quantum optimal transport cost $\rT^Q_{C}(ρ^A,ρ^B)$ can be efficiently computed using semidefinite… ▽ More We analyze a quantum version of the Monge--Kantorovich optimal transport problem. The quantum transport cost related to a Hermitian cost matrix $C$ is minimized over the set of all bipartite coupling states $ρ^{AB}$ with fixed reduced density matrices $ρ^A$ and $ρ^B$ of size $m$ and $n$. The minimum quantum optimal transport cost $\rT^Q_{C}(ρ^A,ρ^B)$ can be efficiently computed using semidefinite programming. In the case $m=n$ the cost $\rT^Q_{C}$ gives a semidistance if and only if $C$ is positive semidefinite and vanishes exactly on the subspace of symmetric matrices. Furthermore, if $C$ satisfies the above conditions, then $\sqrt{\rT^Q_{C}}$ induces a quantum analogue of the Wasserstein-2 distance. Taking the quantum cost matrix $C^Q$ to be the projector on the antisymmetric subspace, we provide a semi-analytic expression for $\rT^Q_{C^Q}$ for any pair of single-qubit states and show that its square root yields a transport distance on the Bloch ball. Numerical simulations suggest that this property holds also in higher dimensions. Assuming that the cost matrix suffers decoherence and that the density matrices become diagonal, we study the quantum-to-classical transition of the Earth mover's distance, propose a continuous family of interpolating distances, and demonstrate that the quantum transport is cheaper than the classical one. Furthermore, we introduce a related quantity -- the SWAP-fidelity -- and compare its properties with the standard Uhlmann--Jozsa fidelity. We also discuss the quantum optimal transport for general $d$-partite systems. △ Less

Submitted 12 July, 2022; v1 submitted 14 May, 2021; originally announced May 2021.

Comments: A detailed and expanded version of most mathematical results in arXiv:2102.07787: "Quantum Monge-Kantorovich problem and transport distance between density matrices". 61 pages

MSC Class: 81P40; 90C22; 15A69

Journal ref: Math Phys Anal Geom 26, 14 (2023)

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)

Universal witnesses of vanishing energy gap

Authors: Konrad Szymański, Karol Życzkowski

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

Submitted 28 April, 2021; originally announced April 2021.

Comments: 7 pages, 4 figures

MSC Class: 47A12

Quasi-inversion of quantum and classical channels in finite dimensions

Authors: Fereshte Shahbeigi, Koorosh Sadri, Morteza Moradi, Karol Życzkowski, Vahid Karimipour

Abstract: We introduce the concept of quasi-inverse of quantum and classical channels, prove general properties of these inverses and determine them for a large class of channels acting in an arbitrary finite dimension. Therefore we extend the previous results of [1] to arbitrary dimensional channels and to the classical domain. We demonstrate how application of the proposed scheme can increase on the avera… ▽ More We introduce the concept of quasi-inverse of quantum and classical channels, prove general properties of these inverses and determine them for a large class of channels acting in an arbitrary finite dimension. Therefore we extend the previous results of [1] to arbitrary dimensional channels and to the classical domain. We demonstrate how application of the proposed scheme can increase on the average the fidelity between a given random pure state and its image transformed by the quantum channel followed by its quasi-inversion. △ Less

Submitted 17 June, 2021; v1 submitted 13 April, 2021; originally announced April 2021.

Comments: 39 pages, 10 figures

Journal ref: J. Phys. A: Math. Theor. 54, 345301 (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)

Perfect quantum-state synchronization

Authors: Jakub Czartowski, Ronny Müller, Karol Zyczkowski, Daniel Braun

Abstract: We investigate the most general mechanisms that lead to perfect synchronization of the quantum states of all subsystems of an open quantum system starting from an arbitrary initial state. We provide a necessary and sufficient condition for such "quantum-state synchronization", prove tight lower bounds on the dimension of the environment's Hilbert space in two main classes of quantum-state synchron… ▽ More We investigate the most general mechanisms that lead to perfect synchronization of the quantum states of all subsystems of an open quantum system starting from an arbitrary initial state. We provide a necessary and sufficient condition for such "quantum-state synchronization", prove tight lower bounds on the dimension of the environment's Hilbert space in two main classes of quantum-state synchronizers, and give an analytical solution for their construction. The functioning of the found quantum-state synchronizer of two qubits is demonstrated experimentally on an IBM quantum computer and we show that the remaining asynchronicity is a sensitive measure of the quantum computer's imperfection. △ Less

Submitted 21 June, 2021; v1 submitted 2 March, 2021; originally announced March 2021.

Comments: 10 pages, 4 figures

Journal ref: Phys. Rev. A 104, 012410 (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)

Generating random quantum channels

Authors: Ryszard Kukulski, Ion Nechita, Łukasz Pawela, Zbigniew Puchała, Karol Życzkowski

Abstract: Several techniques of generating random quantum channels, which act on the set of $d$-dimensional quantum states, are investigated. We present three approaches to the problem of sampling of quantum channels and show under which conditions they become mathematically equivalent, and lead to the uniform, Lebesgue measure on the convex set of quantum operations. We compare their advantages and computa… ▽ More Several techniques of generating random quantum channels, which act on the set of $d$-dimensional quantum states, are investigated. We present three approaches to the problem of sampling of quantum channels and show under which conditions they become mathematically equivalent, and lead to the uniform, Lebesgue measure on the convex set of quantum operations. We compare their advantages and computational complexity and demonstrate which of them is particularly suitable for numerical investigations. Additional results focus on the spectral gap and other spectral properties of random quantum channels and their invariant states. We compute mean values of several quantities characterizing a given quantum channel, including its unitarity, the average output purity and the $2$-norm coherence of a channel, averaged over the entire set of the quantum channels with respect to the uniform measure. An ensemble of classical stochastic matrices obtained due to super-decoherence of random quantum stochastic maps is analyzed and their spectral properties are studied using the Bloch representation of a classical probability vector. △ Less

Submitted 19 May, 2021; v1 submitted 5 November, 2020; originally announced November 2020.

Comments: 29 pages, 7 figures

Bipartite quantum measurements with optimal single-sided distinguishability

Authors: Jakub Czartowski, Karol Życzkowski

Abstract: We analyse orthogonal bases in a composite $N\times N$ Hilbert space describing a bipartite quantum system and look for a basis with optimal single-sided mutual state distinguishability. This condition implies that in each subsystem the $N^2$ reduced states form a regular simplex of a maximal edge length, defined with respect to the trace distance. In the case $N=2$ of a two-qubit system our solut… ▽ More We analyse orthogonal bases in a composite $N\times N$ Hilbert space describing a bipartite quantum system and look for a basis with optimal single-sided mutual state distinguishability. This condition implies that in each subsystem the $N^2$ reduced states form a regular simplex of a maximal edge length, defined with respect to the trace distance. In the case $N=2$ of a two-qubit system our solution coincides with the elegant joint measurement introduced by Gisin. We derive explicit expressions of an analogous constellation for $N=3$ and provide a general construction of $N^2$ states forming such an optimal basis in ${\cal H}_N \otimes {\cal H}_N$. Our construction is valid for all dimensions for which a symmetric informationally complete (SIC) generalized measurement is known. Furthermore, we show that the one-party measurement that distinguishes the states of an optimal basis of the composite system leads to a local quantum state tomography with a linear reconstruction formula. Finally, we test the introduced tomographical scheme on a complete set of three mutually unbiased bases for a single qubit using two different IBM machines. △ Less

Submitted 23 April, 2021; v1 submitted 28 October, 2020; originally announced October 2020.

Comments: 14 + 9 pages, 9 figures

Journal ref: Quantum 5, 442 (2021)

Optimal allocation of quantum resources

Authors: Roberto Salazar, Tanmoy Biswas, Jakub Czartowski, Karol Życzkowski, Paweł Horodecki

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

Submitted 8 March, 2021; v1 submitted 29 June, 2020; originally announced June 2020.

Journal ref: Quantum 5, 407 (2021)

Local hidden variable values without optimization procedures

Authors: Dardo Goyeneche, Wojciech Bruzda, Ondřej Turek, Daniel Alsina, Karol Życzkowski

Abstract: The problem of computing the local hidden variable (LHV) value of a Bell inequality plays a central role in the study of quantum nonlocality. In particular, this problem is the first step towards characterizing the LHV polytope of a given scenario. In this work, we establish a relation between the LHV value of bipartite Bell inequalities and the mathematical notion of excess of a matrix. Inspired… ▽ More The problem of computing the local hidden variable (LHV) value of a Bell inequality plays a central role in the study of quantum nonlocality. In particular, this problem is the first step towards characterizing the LHV polytope of a given scenario. In this work, we establish a relation between the LHV value of bipartite Bell inequalities and the mathematical notion of excess of a matrix. Inspired by the well developed theory of excess, we derive several results that directly impact the field of quantum nonlocality. We show infinite families of bipartite Bell inequalities for which the LHV value can be computed exactly, without needing to solve any optimization problem, for any number of measurement settings. We also find tight Bell inequalities for a large number of measurement settings. △ Less

Submitted 26 January, 2023; v1 submitted 1 April, 2020; originally announced April 2020.

Comments: 14 pages. Comments are very welcome! Accepted in Quantum (January 9, 2023)

Journal ref: Quantum 7, 911 (2023)

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)

Five open problems in quantum information

Authors: Paweł Horodecki, Łukasz Rudnicki, Karol Życzkowski

Abstract: We identify five selected open problems in the theory of quantum information, which are rather simple to formulate, were well-studied in the literature, but are technically not easy. As these problems enjoy diverse mathematical connections, they offer a huge breakthrough potential. The first four concern existence of certain objects relevant for quantum information, namely a family of symmetric in… ▽ More We identify five selected open problems in the theory of quantum information, which are rather simple to formulate, were well-studied in the literature, but are technically not easy. As these problems enjoy diverse mathematical connections, they offer a huge breakthrough potential. The first four concern existence of certain objects relevant for quantum information, namely a family of symmetric informationally complete generalized measurements in an infinite sequence of dimensions, mutually unbiased bases in dimension six, absolutely maximally entangled states for four subsystems with six levels each and bound entangled states with negative partial transpose. The fifth problem requires checking whether a certain state of a two-ququart system is 2-copy distillable. An award for solving each of them is announced. △ Less

Submitted 21 December, 2020; v1 submitted 8 February, 2020; originally announced February 2020.

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