Off-diagonal mixed state phases in unitary evolution
Erik Sjöqvist, Stefan Filipp
备注：
To appear in "Foundations of probability and physics - 2", ed. by A. Khrennikov; series "Math. Modelling in Physics, Engineering and Cognitive Sciences'' Växjö Univ. Press (2003) - requires sprocl.sty
发表信息：
Foundations of probability and physics - 2, ed. by A. Khrennikov (Växjö Univ. Press, 2003), p. 545.
Off-diagonal mixed state phases based upon a concept of orthogonality adapted to unitary evolution and a proper normalisation condition are introduced. Some particular instances are analysed and parallel transport leading to the off-diagonal mixed state geometric phase is delineated. A complete experimental realisation of the off-diagonal mixed state geometric phases in the qubit case using polarisation-entangled two-photon interferometry is proposed.
We give a new quantum circuit approximation of quantum multiplexors based on the idea of complexity theory oracles. As an added bonus, our multiplexor approximation immediately gives a quantum circuit approximation of diagonal unitary matrices.
We classify, up to local unitary equivalence, the set of $n$-qubit states that is stabilized by the diagonal subgroup of the local unitary group. We exhibit a basis for this set, parameterized by diagrams of nonintersecting chords connecting pairs of points on a circle, and give a criterion for when the stabilizer is precisely the diagonal subgroup and not larger. This investigation is part of a larger program to partially classify entanglement type (local unitary equivalence class) via analysis of stabilizer structure.
We study efficient generations of random diagonal-unitary matrices, an ensemble of unitary matrices diagonal in a given basis with randomly distributed phases for their eigenvalues. Despite the simple algebraic structure, they cannot be achieved by quantum circuits composed of a few-qubit diagonal gates. We introduce diagonal-unitary $t$-designs and present two quantum circuits that implement diagonal-unitary $2$-designs with the computational basis in $N$-qubit systems. One is composed of single-qubit diagonal gates and controlled-phase gates with randomized phases, which achieves an exact di…
In the theory of quantum information, the mixed-unitary quantum channels, for any positive integer dimension $n$, are those linear maps that can be expressed as a convex combination of conjugations by $n\times n$ complex unitary matrices. We consider the mixed-unitary rank of any such channel, which is the minimum number of distinct unitary conjugations required for an expression of this form. We identify several new relationships between the mixed-unitary rank~$N$ and the Choi rank~$r$ of mixed-unitary channels, the Choi rank being equal to the minimum number of nonzero terms required for a K…
We investigate protocols for generating a state $t$-design by using a fixed separable initial state and a diagonal-unitary $t$-design in the computational basis, which is a $t$-design of an ensemble of diagonal unitary matrices with random phases as their eigenvalues. We first show that a diagonal-unitary $t$-design generates a $O(1/2^N)$-approximate state $t$-design, where $N$ is the number of qubits. We then discuss a way of improving the degree of approximation by exploiting non-diagonal gates after applying a diagonal-unitary $t$-design. We also show that it is necessary and sufficient to …
We extend the off-diagonal geometric phase [Phys. Rev. Lett. {\bf 85}, 3067 (2000)] to mixed quantal states. The nodal structure of this phase in the qubit (two-level) case is compared with that of the diagonal mixed state geometric phase [Phys. Rev. Lett. {\bf 85}, 2845 (2000)]. Extension to higher dimensional Hilbert spaces is delineated. A physical scenario for the off-diagonal mixed state geometric phase in polarization-entangled two-photon interferometry is proposed.
We study quantum tomography from a continuous measurement record obtained by measuring expectation values of a set of Hermitian operators obtained from unitary evolution of an initial observable. For this purpose, we consider the application of a random unitary, diagonal in a fixed basis at each time step and quantify the information gain in tomography using Fisher information of the measurement record and the Shannon entropy associated with the eigenvalues of covariance matrix of the estimation. Surprisingly, very high fidelity of reconstruction is obtained using random unitaries diagonal in …
For a positive integer $d$ and a unitary representation $ρ:G\rightarrow\mathrm{U}(d)$ of a compact group $G$, the twirling channel for this representation is the linear mapping $Φ: M_d\rightarrow M_d$ defined as $Φ(X)=\int_{G}\mathrm{d}μ(g)\,ρ(g)Xρ(g^{-1})$ for every $X\in M_d$, where $μ$ is the Haar measure on $G$. Such channels are examples of mixed-unitary channels, as they are in the convex hull of the set of unitary channels of a fixed size. By Carathéodory's theorem, these channels can always be expressed as a finite linear combination of unitary channels. We consider the mixed-unitary r…
We classify, up to local unitary equivalence, local unitary stabilizer Lie algebras for symmetric mixed states into six classes. These include the stabilizer types of the Werner states, the GHZ state and its generalizations, and Dicke states. For all but the zero algebra, we classify entanglement types (local unitary equivalence classes) of symmetric mixed states that have those stabilizers. We make use of the identification of symmetric density matrices with polynomials in three variables with real coefficients and apply the representation theory of SO(3) on this space of polynomials.
We consider the mixed states of the bipartite quantum system with the first party a qubit and the second a qutrit. The group of local unitary transformations of the system, ignoring the overall phase factor, is the direct product G of SU(2) and SU(3). We compute the simply graded Poincare series of the algebra of G-invariant polynomial functions on the set of mixed states of the system, and construct several low degree invariants.
We investigate the geometric phases and the Bargmann invariants associated with a multi-level quantum systems. In particular, we show that a full set of `gauge-invariant' objects for an $n$-level system consists of $n$ geometric phases and ${1/2}(n-1)(n-2)$ algebraically independent 4-vertex Bargmann invariants. In the process of establishing this result we develop a canonical form for U(n) matrices which is useful in its own right. We show that the recently discovered `off-diagonal' geometric phases [N. Manini and F. Pistolesi, Phys. Rev. Lett. 8, 3067 (2000)] can be completely analysed in te…
Off-diagonal geometric phases have been developed in order to provide information of the geometry of paths that connect noninterfering quantal states. We propose a kinematic approach to off-diagonal geometric phases for pure and mixed states. We further extend the mixed state concept proposed in [Phys. Rev. Lett. {\bf 90}, 050403 (2003)] to degenerate density operators. The first and second order off-diagonal geometric phases are analyzed for unitarily evolving pairs of pseudopure states.
Unitary $2$-designs are random unitaries simulating up to the second order statistical moments of the uniformly distributed random unitaries, often referred to as Haar random unitaries. They are used in a wide variety of theoretical and practical quantum information protocols, and also have been used to model the dynamics in complex quantum many-body systems. Here, we show that unitary $2$-designs can be approximately implemented by alternately repeating random unitaries diagonal in the Pauli-$Z$ basis and that in the Pauli-$X$ basis. We also provide a converse about the number of repetitions …
The nonlocal properties of arbitrary dimensional bipartite quantum systems are investigated. A complete set of invariants under local unitary transformations is presented. These invariants give rise to both sufficient and necessary conditions for the equivalence of quantum states under local unitary transformations: two density matrices are locally equivalent if and only if all these invariants have equal values.
We present computable criterion for completely classifying multi-qubit quantum states under local unitary operations. The criterion can be used to detect whether two quantum states in multi-qubit systems are local unitary equivalent or not. Once obtaining the positive answer, we are further able to compute the corresponding unitary operators precisely. Since the scheme is based on the mean values of some quantum mechanical observables, it supplies an experimental way to judge the local equivalence of quantum states.
The concept of off-diagonal geometric phases for mixed quantal states in unitary evolution is developed. We show that these phases arise from three basic ideas: (1) fulfillment of quantum parallel transport of a complete basis, (2) a concept of mixed state orthogonality adapted to unitary evolution, and (3) a normalization condition. We provide a method for computing the off-diagonal mixed state phases to any order for unitarities that divide the parallel transported basis of Hilbert space into two parts: one part where each basis vector undergoes cyclic evolution and one part where all basis …
Institute of Physics, Faculty of Physics, Astronomy and Informatics, Nicolaus Copernicus University（尼古拉·哥白尼大学物理、天文与信息学院物理研究所）；Tata Institute of Fundamental Research Hyderabad（塔塔基础研究所海得拉巴分所）；Institute for Quantum Studies, Chapman University（查普曼大学量子研究学院）；Department of Computer Science, Texas Tech University（德克萨斯理工大学计算机科学系）
We study bipartite unitary operators which stay invariant under the local actions of diagonal unitary and orthogonal groups. We investigate structural properties of these operators, arguing that the diagonal symmetry makes them suitable for analytical study. As a first application, we construct large new families of dual unitary gates in arbitrary finite dimensions, which are important toy models for entanglement spreading in quantum circuits. We then analyze the non-local nature of these invariant operators, both in discrete (operator Schmidt rank) and continuous (entangling power) settings. …
We introduce a generalization of the set of completely positive matrices that we call "pairwise completely positive" (PCP) matrices. These are pairs of matrices that share a joint decomposition so that one of them is necessarily positive semidefinite while the other one is necessarily entrywise non-negative. We explore basic properties of these matrix pairs and develop several testable necessary and sufficient conditions that help determine whether or not a pair is PCP. We then establish a connection with quantum entanglement by showing that determining whether or not a pair of matrices is pai…
The geometric phase for a pure quantal state undergoing an arbitrary evolution is a ``memory'' of the geometry of the path in the projective Hilbert space of the system. We find that Uhlmann's geometric phase for a mixed quantal state undergoing unitary evolution not only depends on the geometry of the path of the system alone but also on a constrained bi-local unitary evolution of the purified entangled state. We analyze this in general, illustrate it for the qubit case, and propose an experiment to test this effect. We also show that the mixed state geometric phase proposed recently in the c…
We analyze the asymptotic dynamics of quantum systems resulting from large numbers of iterations of random unitary operations. Although, in general, these quantum operations cannot be diagonalized it is shown that their resulting asymptotic dynamics is described by a diagonalizable superoperator. We prove that this asymptotic dynamics takes place in a typically low dimensional attractor space which is independent of the probability distribution of the unitary operations applied. This vector space is spanned by all eigenvectors of the unitary operations involved which are associated with eigenv…
The equivalence of multipartite quantum mixed states under local unitary transformations is studied. A criterion for the equivalence of non-degenerate mixed multipartite quantum states under local unitary transformations is presented.
Any unitary transformation of quantum computational networks is explicitly decomposed, in an exact and unified form, into a sequence of a limited number of one-qubit quantum gates and the two-qubit diagonal gates that have diagonal unitary representation in usual computational basis. This decomposition may be simplified greatly with the help of the properties of the finite-dimensional multiple-quantum operator algebra spaces of a quantum system and the specific properties of a given quantum algorithm. As elementary building blocks of quantum computation, the two-qubit diagonal gates and one-qu…
Floquet theory combined with the generalized Van Vleck nearly degenerate perturbation theory, has been widely employed for studying various two-level systems that are driven by external fields via the time-dependent longitudinal (i.e., diagonal) couplings. However, three-level systems strongly driven by the time-dependent transverse (i.e., off-diagonal) couplings have rarely been investigated, due to the breakdown of the traditional rotating wave approximation. Meanwhile, the conventional perturbation theory is not directly applicable, since a small parameter for the perturbed part is no longe…
Realizing non-unitary transformations on unitary-gate based quantum devices is critically important for simulating a variety of physical problems including open quantum systems and subnormalized quantum states. We present a dilation based algorithm to simulate non-unitary operations using probabilistic quantum computing with only one ancilla qubit. We utilize the singular-value decomposition (SVD) to decompose any general quantum operator into a product of two unitary operators and a diagonal non-unitary operator, which we show can be implemented by a diagonal unitary operator in a 1-qubit dil…
The unitary $ \mathrm{U}(d)$-equivalence relation between elements of the space $\mathfrak{P}_+\,$ of mixed states of $d$-dimensional quantum system defines the orbit space $ \mathfrak{P}_+/ \mathrm{U}(d)\,$ and provides its description in terms the ring $\mathbb{R}[\mathfrak{P}_+]^{\mathrm{U}(d)}\,$ of $\mathrm{U}(d)$-invariant polynomials. We prove that the semi-algebraic structure of $ \mathfrak{P}_+/ \mathrm{U}(d)\, $ is determined completely by two basic properties of density matrices, their semi-positivity and Hermicity. Particularly, it is shown that the Processi-Schwarz inequalities in…
In terms of the analysis of fixed point subgroup and tensor decomposability of certain matrices, we study the equivalence of of quantum bipartite mixed states under local unitary transformations. For non-degenerate case an operational criterion for the equivalence of two such mixed bipartite states under local unitary transformations is presented.
The optimal entanglement manipulation for a single copy of mixed states of two qubits is to transform it to a Bell diagonal state. In this paper we derive an explicit form of the local operation that can realize such a transformation. The result obtained is universal for arbitrary entangled two-qubit states and it discloses that the corresponding local filter is not unique for density matrices with rank $n=2$ and can be exclusively determined for that with $n=3$ and 4. As illustrations, a four-parameters family of mixed states are explored, the local filter as well as the transformation probab…
We analyze the geometric aspects of unitary evolution of general states for a multilevel quantum system by exploiting the structure of coadjoint orbits in the unitary group Lie algebra. Using the same method in the case of SU(3) we study the effect of degeneracies on geometric phases for three-level systems. This is shown to lead to a highly nontrivial generalization of the result for two-level systems in which degeneracy results in a "monopole" structure in parameter space. The rich structures that arise are related to the geometry of adjoint orbits in SU(3). The limiting case of a two-level …
We study the equivalence of quantum states under local unitary transformations by using the singular value decomposition. A complete set of invariants under local unitary transformations is presented for several classes of tripartite mixed states in KxMxN composite systems. Two density matrices in the same class are equivalent under local unitary transformations if and only if all these invariants have equal values for these density matrices.
A quantum channel is said to be a mixed-unitary channel if it can be expressed as a convex combination of unitary channels. We prove that, given the Choi representation of a quantum channel, it is NP-hard with respect to polynomial-time Turing reductions to determine whether or not that channel is a mixed-unitary channel. This hardness result holds even under the assumption that the channel is not within an inverse-polynomial distance (in the dimension of the space upon which it acts) of the boundary of the mixed-unitary channels.
Usually models for quantum computations deal with unitary gates on pure states. In this paper we generalize the usual model. We consider a model of quantum computations in which the state is an operator of density matrix and the gates are quantum operations, not necessarily unitary. A mixed state (operator of density matrix) of n two-level quantum systems is considered as an element of $4^{n}$-dimensional operator Hilbert space. Unitary quantum gates and nonunitary quantum operations for n-qubit system are considered as generalized quantum gates acting on mixed state. In this paper we study un…
In this paper, we work on a quantum walk whose system is manipulated by a five-diagonal unitary matrix, and present long-time limit distributions. The quantum walk launches off a location and delocalizes in distribution as its system is getting updated. The five-diagonal matrix contains a phase term and the quantum walk becomes a standard coined walk when the phase term is fixed at special values. Or, the phase term gives an effect on the quantum walk. As a result, we will see an explicit form of a long-time limit distribution for a quantum walk driven by the matrix, and thanks to the exact fo…
We investigate the equivalence of bipartite quantum mixed states under local unitary transformations by introducing representation classes from a geometrical approach. It is shown that two bipartite mixed states are equivalent under local unitary transformations if and only if they have the same representation class. Detailed examples are given on calculating representation classes.
The mixed states are important in quantum optics since they frequently appear in the decoherence problems. When one of the components of the system is prepared in the mixed state and the evolution operator of this system is not available, one cannot deduce the density matrix. We present analytical approach to accurately solve this problem. The approach can be applied on the condition that the Schrödinger's equation of the system is solvable with any arbitrary initial state. In deriving the solution we exploit the fact that any mixed state can be expressed in terms of a phase state. The approac…
Majorana Representation (MR) of symmetric $ N $-qubit pure states has been used successfully in entanglement classification. Generalization of this has been a long standing open problem due to the difficulties faced in the construction of a Majorana like geometric representation for symmetric mixed state. We have overcome this problem by developing a method of classifying local unitary (LU) equivalent classes of symmetric $N$-qubit mixed states based on the geometrical Multiaxial Representation (MAR) of the density matrix. In addition to the two parameters defined for the entanglement classifi…
State preparation is a process encoding the classical data into the quantum systems. Based on quantum phase estimation, we propose the specific quantum circuits for a deterministic state preparation algorithm and a probabilistic state preparation algorithm. To discuss the gate complexity in these algorithms, we decompose the diagonal unitary operators included in the phase estimation algorithms into the basic gates. Thus, we associate the state preparation problem with the decomposition problem of the diagonal unitary operators. We analyse the fidelities in the two algorithms and discuss the s…
We investigate the equivalence of quantum states under local unitary transformations. A complete set of invariants under local unitary transformations is presented for a class of mixed states. It is shown that two states in this class are locally equivalent if and only if all these invariants have equal values for them.
The accurate evaluation of diagonal unitary operators is often the most resource-intensive element of quantum algorithms such as real-space quantum simulation and Grover search. Efficient circuits have been demonstrated in some cases but generally require ancilla registers, which can dominate the qubit resources. In this paper, we point out a correspondence between Walsh functions and a basis for diagonal operators that gives a simple way to construct efficient circuits for diagonal unitaries without ancillas. This correspondence reduces the problem of constructing the minimal-depth circuit wi…
We investigate the equivalence of quantum mixed states under local unitary transformations. For a class of rank-two mixed states, a sufficient and necessary condition of local equivalence is obtained by giving a complete set of invariants under local unitary transformations, such that two states in this class are locally equivalent if and only if all these invariants have equal values for them.
We consider the problem of existence of the diagonal representation for operators in the space of a family of generalized coherent states associated with an unitary irreducible representation of a (compact) Lie group. We show that necessary and sufficient conditions for the possibility of such a representation can be obtained by combining Clebsch-Gordan theory and the reciprocity theorems associated with induced unitary group representation. Applications to several examples involving $SU(2),$ $SU(3),$ and the Heisenberg-Weyl group are presented, showing that there are simple examples of genera…
We consider the statistics of overlaps between a mixed state and its image under random unitary transformations. Choosing the transformations from the unitary group with its invariant (Haar) measure, the distribution of overlaps depends only on the eigenvalues of the mixed state. This allows one to estimate these eigenvalues from the overlap statistics. In the first part of this work, we present explicit results for qutrits, including a discussion of the expected uncertainties in the eigenvalue estimation. In the second part, we assume that the set of available unitary transformations is restr…
We study the local unitary equivalence for two and three-qubit mixed states by investigating the invariants under local unitary transformations. For two-qubit system, we prove that the determination of the local unitary equivalence of 2-qubits states only needs 14 or less invariants for arbitrary two-qubit states. Using the same method, we construct invariants for three-qubit mixed states. We prove that these invariants are sufficient to guarantee the LU equivalence of certain kind of three-qubit states. Also, we make a comparison with earlier works.
We derive necessary and sufficient conditions for local unitary (LU) operators to leave invariant the set of 1-qubit reduced density matrices of a multi-qubit state. LU operators with this property are tensor products of {\it cyclic local} operators, and form a subgroup, the centralizer subgroup of the set of reduced states, of the Lie group $SU(2)^{\otimes n}$. The dimension of this subgroup depends on the type of reduced density matrices. It is maximum when all reduced states are maximally mixed and it is minimum when none of them is maximally mixed. For any given multi-qubit state, pure or …
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 t…
We consider arbitrary mixed state in unitary evolution and provide a comprehensive description of corresponding geometric phase in which two different points of view prevailing currently can be unified. Introducing an ancillary system and considering the purification of given mixed state, we find that different results of mixed state geometric phase correspond to different choice of the representation of Hilbert space of the ancilla. Moreover we demonstrate that in order to obtain Uhlmann's geometric phase it is not necessary to resort to the unitary evolution of ancilla.
We study the local unitary equivalence of arbitrary dimensional multipartite quantum mixed states. We present a necessary and sufficient criterion of the local unitary equivalence for general multipartite states based on matrix realignment. The criterion is shown to be operational even for particularly degenerated states by detailed examples. Besides, explicit expressions of the local unitary operators are constructed for locally equivalent states. In complement to the criterion, an alternative approach based on partial transposition of matrices is also given, which makes the criterion more ef…
We generalize the concepts of Internal Time Superoperator, its associated non unitary similarity transformations and Liapounov variables, to quantum systems with diagonal singularity, and we give a constructive proof of the existence of these superoperators for systems with purely diagonal Hamiltonian having uniform absolutely continuous spectrum on the interval from zero to infinity.
Sinkhorn proved that every entry-wise positive matrix can be made doubly stochastic by multiplying with two diagonal matrices. In this note we prove a recently conjectured analogue for unitary matrices: every unitary can be decomposed into two diagonal unitaries and one whose row- and column sums are equal to one. The proof is non-constructive and based on a reformulation in terms of symplectic topology. As a corollary, we obtain a decomposition of unitary matrices into an interlaced product of unitary diagonal matrices and discrete Fourier transformations. This provides a new decomposition of…
We provide a physical prescription based on interferometry for introducing the total phase of a mixed state undergoing unitary evolution, which has been an elusive concept in the past. We define the parallel transport condition that provides a connection-form for obtaining the geometric phase for mixed states. The expression for the geometric phase for mixed state reduces to well known formulas in the pure state case when a system undergoes noncyclic and unitary quantum evolution.
We provide a graphical calculus for computing averages of tensor network diagrams with respect to the distribution of random vectors containing independent uniform complex phases. Our method exploits the order structure of the partially ordered set of uniform block permutations. A similar calculus is developed for random vectors consisting of independent uniform signs, based on the combinatorics of the partially ordered set of even partitions. We employ our method to extend some of the results by Johnston and MacLean on the family of local diagonal unitary invariant matrices. Furthermore, our …
