Oblivious Algorithmic Cooling Mária Kieferová (UTS) October 23, 2019 based on Novel Technique for Robust Optimal Algorithmic Cooling, Sadegh Raeisi, Mária Kieferová, Michele Mosca, PRL 2019 Overview • Cooling in a closed system • Heat bath algorithmic cooling • Oblivious implementation 1 Algorithmic Cooling Can We Extract One Good Qubit Out Of Many Dirty Ones? [Schulman, Vazirani (1998)] 2 Framework Obtain a single purified qubit using n qubits and logical operations. Each qubit is in a thermal state 0 1 ϵ 1 @e 0 A ρtherm = ϵ −ϵ e + e 0 e−ϵ / 1 where ϵ is the “polarization” ( T , typically very small). ”Cooling” refers to approximately extracting a qubit in state j0ih0j. ”Algorithmic” means that we are purifying a subsystem by applying logical operations. Assume that the density matrices of our states are always diagonal. 3 Result New method for algorithmic cooling: • uses heat bath and converges to the optimal state • repeated application of the same operation • easier implementation, more robustness • slow convergence in terms of the number of qubits [Raeisi et al. 2019] 4 Fundamental Questions • What are the physical limits of algorithmic cooling? • What are the required resources? • How do the assumptions about control affect the points above? 5 Closed System Cooling Apply unitaries on the system of qubits. temperature heat Cooling parts of the system heats up the rest. bath 6 Example: 3 Qubits 0 1 3ϵ Be ::::::: C B C B ϵ C B : e :::::: C B C B ϵ C B :: e ::::: C B C B −ϵ C 1 B ::: e :::: C ρ = B C Z B ϵ C B :::: e ::: C B C B −ϵ C B ::::: e :: C B C B −ϵ C @ :::::: e : A ::::::: e−3ϵ 1 n−2jnj j j Observe that ρn;n = Z e where n is the Hamming weight of n in binary. 7 Compression “Carry out a permutation of the computation basis states x 2 f0; 1gn such that states with low Hamming weight should be reordered with a long prefix of 0’s.” [Schulman, Vazirani (1998)] 8 Example: 3 Qubits Apply a unitary to order the diagonal elements 0 1 0 1 e3ϵ ::::::: e3ϵ ::::::: B C B C B C B C B : eϵ :::::: C B : eϵ :::::: C B C B C B C B C B :: eϵ ::::: C B :: eϵ ::::: C B C B C B C B C B ::: e−ϵ :::: C B ::: eϵ :::: C B C ! B C B C B − C B :::: eϵ ::: C B :::: e ϵ ::: C B C B C B − C B − C B ::::: e ϵ :: C B ::::: e ϵ :: C B C B C B − C B − C @ :::::: e ϵ : A @ :::::: e ϵ : A ::::::: e−3ϵ ::::::: e−3ϵ Compression is limited by Shannon bound. 9 Heat Bath Algorithmic Cooling (HBAC) Add a Heat Bath heat bath Allow parts of the system (the “reset” qubit) to interact with the heat bath ⊗ Oreset(ρ) = Trreset[ρ] ρtherm heat bath temperature [P. O. Boykin et al. (2002), Schulman et al. (2005)] 10 Example: 3 Qubits For a state with p1; p2;:::; p8 on the diagonal 0 1 (p + p )eϵ : : : : : : : B 1 2 C B − C B : (p + p )e ϵ : : : : : : C B 1 2 C B C B : : (p + p )eϵ : : : : : C B 3 4 C B − C 1 B : : : (p + p )e ϵ : : : : C B 3 4 C B C Z B : : : : (p + p )eϵ : : : C B 5 6 C B − C B : : : : : (p + p )e ϵ : : C B 5 6 C B ϵ C @ : : : : : : (p7 + p8)e : A −ϵ : : : : : : : (p7 + p8)e 11 The Partner Pairing Algorithm (PPA) heat bath compression heat bath reset heat bath compression heat bath reset heat bath compression heat bath temperature cold warm 12 Two Steps Compression Apply a unitary to re-order the diagonal elements. Reset Reset the hottest qubit to the original polarization. Simple scenario: only one qubit interacts with the heat bath (reset qubit), focus on the final polarization of only one qubit (target) 13 The Limitation of HBAC 1 There exists a maximum polarization ϵf < specified the number of qubits n and the heat bath polarization for HBAC schemes (with above assumptions). PPA achieves the maximum polarization in poly(n) steps. [Raeisi, Mosca (2014)] 14 Example: 3 Qubits [Park et al. (2016)] 15 Two Big Problems • What is the complexity of implementing the compression unitaries? How do we implement the compression as circuits? • We require perfect knowledge of the state at all times to apply the correct operations. Do we need to perform tomography to know the states? 16 Using the Correct Unitary is Important Using a unitary corresponding to a slightly different state does not lead to cooling 17 Oblivious Implementation Our Contribution Apply a fixed, state independent unitary in each round. • this unitary can be implemented with a polynomially-sized circuit • no need for tomography • some inherent robustness (conjectured) 18 The Compression Unitary 0 1 B 1 C B C B C B σx C B C O 2 B :: C requires (n ) elementary gates. Ufix = B : C B C B C @ σx A 1 shift-1 shift+1 19 Cooling as a Markov Chain Repeated application of the channel ( ) y ⊗ Ufix Trreset[ρ] ρtherm Ufix converges to the asymptotic state of PPA. We can analyze this map as a Markov chain on the probability vector diag(ρ) with a transfer matrix 0 1 ϵ ϵ ··· B e e 0 0 C B C B −ϵ ϵ ··· C B e 0 e 0 C B C 1 B −ϵ ··· C T = B 0 e 0 0 C : Z B C B :: : C @ 0 0 ··· : : A 0 0 ··· e−ϵ e−ϵ 20 Spectrum of T T is (mostly) translationary invariant and stochastic 0 1 eϵ eϵ 0 ··· 0 B C B −ϵ ϵ C B e 0 e ··· 0 C B C 1 B −ϵ C T = B 0 e 0 ··· 0 C : Z B C B : : C @ 0 0 ··· : : : A − − 0 0 ··· e ϵ e ϵ We analytically compute its spectrum using a wave-like ansatz. Unique +1 eigenvector is the asymptotic state / −2ϵ −4ϵ ⊗ diag(ρ) (1; e ; e ;::: ) ρtherm: ≪ 1 ≈ n−2 For ϵ 2n , the polarization of the first qubit is 2 ϵ. 21 Complexity The number of rounds of cooling is determined by the gap of T. − Number of rounds: O(2n) (polynomial for PPA) − Total complexity: O(n22n) + There are strategies that can improve the scaling. + Number of qubits is not a fixed parameter. 22 Open Questions • Robustness of cooling Can we handle imperfect gates? What is the noise threshold? • More efficient cooling algorithms Could we get a poly(n) algorithm? • Computational complexity of different cooling paradigms A lower cooling limit is possible for more complex interaction between the qubits and the heat-bath. What is the complexity? Can we cool without perfect knowledge about the state? 23 Conclusion • New heat bath algorithmic cooling method that converges to the optimal state. • Fixed operation in every round, no need to know the state, easier to implement. • Not efficient for a large number of qubits. 24 Thank you!.