quantum operations
play

Quantum operations acessible by Lindblad semigroups Karol - PowerPoint PPT Presentation

Quantum operations acessible by Lindblad semigroups Karol Zyczkowski Institute of Physics, Jagiellonian University, Cracow and Center for Theoretical Physics, PAS, Warsaw in collaboration with Zbigniew Pucha la (Gliwice), Lukasz


  1. Quantum operations acessible by Lindblad semigroups Karol ˙ Zyczkowski Institute of Physics, Jagiellonian University, Cracow and Center for Theoretical Physics, PAS, Warsaw in collaboration with Zbigniew Pucha� la (Gliwice), Lukasz Rudnicki (Elrangen / Warsaw), � Fereshte Shahbeigi (Mashhad) Symposium on Mathematical Physics, Toru´ n June 17, 2019 K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 1 / 23

  2. Mixed Quantum States Set M N of all mixed states of size N M N := { ρ : H N → H N ; ρ = ρ † , ρ ≥ 0 , Tr ρ = 1 } example: M 2 = B 3 ⊂ ❘ 3 - Bloch ball with all pure states at the boundary The set M N is compact and convex: ρ = � i a i | ψ i �� ψ i | where a i ≥ 0 and � i a i = 1. The set M N of mixed states has N 2 − 1 real dimensions, M N ⊂ ❘ N 2 − 1 . K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 2 / 23

  3. Quantum maps: evolution in discrete time steps Quantum operation: linear, completely positive trace preserving map positivity : Φ( ρ ) ≥ 0, ∀ ρ ∈ M N complete positivity : [Φ ⊗ ✶ K ]( σ ) ≥ 0, ∀ σ ∈ M KN and K = 2 , 3 , ... Enviromental form (interacting quantum system !) ρ ′ = Φ( ρ ) = Tr E [ U ( ρ ⊗ ω E ) U † ] . where ω E is an initial state of the environment while UU † = ✶ . Kraus form ρ ′ = Φ( ρ ) = � i A i ρ A † i , where the Kraus operators satisfy i A † � i A i = ✶ , which implies that the trace is preserved. K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 3 / 23

  4. Classical probabilistic dynamics & Markov chains Stochastic matrices Classical states : N -point probability distribution, p = { p 1 , . . . p N } , where p i ≥ 0 and � N i =1 p i = 1 Discrete dynamics : p ′ i = S ij p j , where S is a stochastic matrix of size N and maps the simplex of classical states into itself, S : ∆ N − 1 → ∆ N − 1 . Frobenius–Perron theorem Let S be a stochastic matrix : a) S ij ≥ 0 for i , j = 1 , . . . , N , b) � N i =1 S ij = 1 for all j = 1 , . . . , N . Then i) the spectrum { z i } N i =1 of S belongs to the unit disk, ii) the leading eigenvalue equals unity, z 1 = 1, iii) the corresponding eigenstate p inv is invariant, S p inv = p inv . K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 4 / 23

  5. Quantum stochastic maps (trace preserving, CP) Superoperator Φ : M N → M N A quantum operation can be described by a matrix Φ of size N 2 , ρ ′ = Φ ρ ′ ρ m µ = Φ m µ n ν ρ n ν . or The superoperator Φ can be expressed in terms of the Kraus operators A i , i A i ⊗ ¯ Φ = � A i . Dynamical Matrix D : Sudarshan et al. (1961) obtained by reshuffling of a 4–index matrix Φ is Hermitian, Φ =: Φ R . D Φ = D † D mn µν := Φ m µ n ν , so that Theorem of Choi (1975). A map Φ is completely positive (CP) if and only if the dynamical matrix D Φ is positive , D ≥ 0. K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 5 / 23

  6. Spectral properties of a superoperator Φ Quantum analogue of the Frobenious-Perron theorem Let Φ represent a stochastic quantum map, i.e. a’) Φ R ≥ 0; (Choi theorem) b’) Tr A Φ R = ✶ ⇔ � k Φ kk = δ ij . (trace preserving condition) ij Then i’) the spectrum { z i } N 2 i =1 of Φ belongs to the unit disk, ii’) the leading eigenvalue equals unity, z 1 = 1, iii’) the corresponding eigenstate (with N 2 components) forms a matrix ω of size N , which is positive, ω ≥ 0, normalized, Tr ω = 1, and is invariant under the action of the map, Φ( ω ) = ω . Classical case In the case of a diagonal dynamical matrix , D ij = d i δ ij reshaping its diagonal { d i } of length N 2 one obtains a matrix of size N , where S ij = D ii , jj of size N which is stochastic and recovers the standard F–P theorem. K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 6 / 23

  7. K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 7 / 23

  8. Spectra of One–Qubit Bistochastic Maps Consider one–qubit bistochastic map (Pauli channel + unitary evolution) in the Kraus form , ρ ′ = Φ( ρ ) = � 4 i =1 A i ρ A † i The evolution operator Φ = � 4 i =1 A i ⊗ A † i has spectrum with zero or two complex eigenvalues. In the latter case, { 1 , x , z , ¯ z } with real x ∈ [ − 1 , 1] the following bound holds | z | ≤ 1+ x la, ˙ Rudnicki, Pucha� Zyczkowski , Quantum 2 , (2018). 2 a) x = − 0 . 4 b) x = 0 . 4 Exemplary constraints for the position of complex eigenvalues z and ¯ z of a bistochastic map Φ with real eigenvalue x ( black dot ). K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 8 / 23

  9. Decoherence for quantum states and quantum maps Quantum states → classical states = diagonal matrices Decoherence of a state: ρ → ˜ ρ = diag ( ρ ) Quantum maps → classical maps = stochastic matrices Decoherence of a map: The Choi matrix becomes diagonal, D = diag ( D ) so that the map Φ = D R → ˜ D R → S D → ˜ i A i ρ A † where for any Kraus decomposition defining Φ( ρ ) = � i the corresponding classical map S is given by the Hadamard product , � A i ⊙ ¯ S = A i i i A † If a quantum map Φ is trace preserving, � i A i = ✶ then the classical map S is stochastic , � j S ij = 1 . i A i A † If additionally a quantum map Φ is unital, � i = ✶ then the classical map S is bistochastic , � j S ij = � i S ij = 1 . K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 9 / 23

  10. Unistochastic Maps defined by an interaction of the ancilla of the same dimension initially in the maximally mixed state, U ( ρ ⊗ 1 ρ ′ = Φ U ( ρ ) = Tr env � N ✶ N ) U † � Unistochastic maps are unital, Φ U ( ✶ ) = ✶ , hence bistochastic. Is every bistochastic map unistochastic ? No ! One–qubit bistochastic maps = Pauli channels, ρ ′ = Φ p ( ρ ) Φ p ( ρ ) = � 3 i =0 p i σ i ρσ i , where � p i = 1 while σ 0 = ✶ and remaining three σ i denote Pauli matrices. Let λ = ( λ 1 , λ 2 , λ 3 ) be the damping vector containing three axis of the ellipsoid - the image of the Bloch ball by a bistochastic map. Set B 2 of one-qubit bistochastic maps = regular tetrahedron with corners at λ = (1 , 1 , 1), (1 , − 1 , − 1), ( − 1 , 1 , − 1), ( − 1 , − 1 , 1) corresponding to σ i with i = 0 , . . . , 3. K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 10 / 23

  11. One Qubit Unistochastic Maps Unistochastic maps do satisfy following restrictions for the damping vector λ = ( λ 1 , λ 2 , λ 3 ) λ 1 λ 2 ≤ λ 3 , λ 2 λ 3 ≤ λ 1 , λ 3 λ 1 ≤ λ 2 . ( ∗ ) The set U 2 forms a (non-convex!) subset of the tetrahedron B 2 of s, K. ˙ bistochastic maps, Musz, Ku´ Z. , Phys. Rev. A 2012 Example: The following Pauli channel Φ p ( ρ ) = � 3 1 3 σ i ρσ i , i =1 of rank three is not unistochastic . K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 11 / 23

  12. K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 12 / 23

  13. Lindblad dynamics in continuous time a) closed system: von Neumann equation d ρ dt = − i [ H , ρ ] leads to unitary dynamics (= reversible, rigid rotation): ρ ′ = U ρ U † = e − iHt ρ e iHt b) open system (of size N )- interaction with environment described by Gorrini - Lindblad - Kossakowski - Sudarshan equation (1976) in terms of jump operators L j , N 2 − 1 d ρ j − 1 j L j ρ − 1 � � � L j ρ L † 2 L † 2 ρ L † = L ( ρ ) = j L j , dt j =1 leads to nonunitary Lindblad dynamics (= irreversible contraction) ρ ( t ) = e L t [ ρ (0)] = Λ t [ ρ (0)] and generates a dynamical semigroup , Λ s Λ t = Λ t + s . K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 13 / 23

  14. Lindblad operator some matrix algebra: A product of three matrices, Y = ABC , can also be written as Y = Ψ B , where superoperator reads Ψ = A ⊗ C T i) discrete time: superoperator Φ i A i ρ A † corresponding to an operation in Kraus form Φ( ρ ) = � i reads � A i ⊗ ¯ Φ = A i , i ii) continuous time: Lindblad operator reads L j ⊗ L j − 1 j L j ⊗ I − 1 � � L † � I ⊗ L T L = j L j . 2 2 j j j For a given operation Φ corresponding to { A j } one can take L j = A j to get L = Φ − ■ , but in general this semigroup does not lead to the map Φ. K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 14 / 23

  15. key issue : Fixing a certain set of quantum operations of size N find these operations Φ for which there exists a quantum semigroup Λ t = e t L such that Φ = Λ 1 = e L . In other words we look for a logarithm log Φ = L such that the entire trajectory Λ t = e t log Φ gives a proper quantum channel. related problems a1) classical analogue: for which stochastic matrix S ∈ S N there exists a define L c = log S and check if the entire trajectory Λ t = e t L c semigroup: belongs to the set S N of stochastic matrices of order N a2) which stochastic matrix S has a stochastic square root , S = S 2 2 , where S 2 ∈ S N . a3) ... has a stochastic root of order k : S = S k k where S k ∈ S N b1) which channel Φ is divisible so that there exist Ψ 1 and Ψ 2 � = ■ , so that Φ = Ψ 2 Ψ 1 , Wolf, Cirac (2008) b2) which stochastic transition matrix S is divisible , S = S 2 S 1 . K ˙ Z (IF UJ/CFT PAN ) Lindblad dynamics A June 17, 2019 15 / 23

Recommend


More recommend