Partial Collapse and Uncollapse of a Wavefunction: Theory and Experiments (What Is “Inside” Collapse) Alexander Korotkov EE Dept
Total Page:16
File Type:pdf, Size:1020Kb
UCR, 5/06/10 Partial collapse and uncollapse of a wavefunction: theory and experiments (what is “inside” collapse) Alexander Korotkov EE dept. (& Physics), University of California, Riverside Outline: • Bayesian formalism for quantum measurement • Persistent Rabi oscillations (+ expt.) • Wavefunction uncollapse (+ expts.) Acknowledgements: Funding: Theory: R. Ruskov, A. Jordan, K. Keane Expt.: UCSB (J. Martinis, N. Katz et al.), Saclay (D. Esteve, P. Bertet et al.) Alexander Korotkov University of California, Riverside Quantum mechanics is weird… Niels Bohr: “If you are not confused by quantum physics then you haven’t really understood it” Richard Feynman: “I think I can safely say that nobody understands quantum mechanics” Weirdest part is quantum measurement Alexander Korotkov University of California, Riverside Quantum mechanics = Schrödinger equation (evolution) + collapse postulate (measurement) 2 1) Probability of measurement result pr =||〈ψψr 〉 | 2) Wavefunction after measurement = ψ r • State collapse follows from common sense • Does not follow from Schrödinger Eq. (contradicts) What is “inside” collapse? What if collapse is stopped half-way? Alexander Korotkov University of California, Riverside What is the evolution due to measurement? (What is “inside” collapse?) • controversial for last 80 years, many wrong answers, many correct answers • solid-state systems are more natural to answer this question Various approaches to non-projective (weak, continuous, partial, generalized, etc.) quantum measurements Names: Davies, Kraus, Holevo, Mensky, Caves, Knight, Plenio, Walls, Carmichael, Milburn, Wiseman, Gisin, Percival, Belavkin, etc. (very incomplete list) Key words: POVM, restricted path integral, quantum trajectories, quantum filtering, quantum jumps, stochastic master equation, etc. Our limited scope: solid-state qubit (simplest system, experimental setups) detector I(t), noise S Alexander Korotkov University of California, Riverside “Typical” setup: double-quantum-dot (DQD) qubit + quantum point contact (QPC) detector Gurvitz, 1997 |1Ò |1Ò H = H + H + H H |2Ò |2Ò QB DET INT e ε |2Ò |1Ò HH=+σ σ QB 2 ZX I(t) ΔI It()=+ I zt () +ξ () t I(t) 0 2 const + signal + noise Two levels of average detector current: I1 for qubit state |1〉, I2 for |2〉 Response: ΔI= I1 –I2 Detector noise: white, spectral density SI For low-transparency QPC †† †† HDET =++∑∑∑lrl Eaall l+ Eaarrr ,r Taa()rl aa l r †††† SeI= 2 HINT =Δ∑lr, T()() cc11 − cc 22 aarrll + aa I 5/38 Alexander Korotkov University of California, Riverside Bayesian formalism for DQD-QPC system Qubit evolution due to measurement (quantum back-action): HQB =0 ρ ()t |1Ò ψ ()tt= αβ ()|1〉+ ()|2 t 〉 or ij H e 1) |α(t)|2 and |β(t)|2 evolve as probabilities, |2Ò i.e. according to the Bayes rule (same for ρii) 2) phases of α(t) and β(t) do not change I(t) 1/2 (no dephasing!), ρij /(ρii ρjj) = const (A.K., 1998) 1 τ Bayes rule (1763, Laplace-1812): Itdt() τ ∫0 posterior prior measured probab. likelihood probability I1 I2 PA()(res|)ii P A PA(|res)i = So simple because: ∑k P(APkk ) (res | A ) 1) no entaglement at large QPC voltage 2) QPC happens to be an ideal detector 3) no Hamiltonian evolution of the qubit Alexander Korotkov University of California, Riverside Bayesian formalism for a single qubit Vg V H e • Time derivative of the quantum Bayes rule I(t) • Add unitary evolution of the qubit I(t) 2e • Add decoherence γ (if any) •• 2ΔI ρρ11=- 22 =-2ImHI ρρρ12 + 11 22 []It()- 0 SI • ΔI ρ 12 =+iiHερ12 ()()[] ρ11 - ρ 22+ ρ 12 ρ 11 - ρ 22 It() --I0γ ρ 12 SI 2 (A.K., 1998) γ =-ΓΔ()/4,ISI Γ−ensemble decoherence γ = 0 for QPC detector Averaging over result I(t) leads to conventional master equation with Γ Evolution of qubit wavefunction can be monitored if γ=0 (quantum-limited) Natural generalizations: • add classical back-action • entangled qubits Alexander Korotkov University of California, Riverside Assumptions needed for the Bayesian formalism: • Detector voltage is much larger than the qubit energies involved eV >> ÑΩ, eV >> ÑΓ, Ñ/eV << (1/Ω,1/Γ), Ω=(4H2+ε2)1/2 (no coherence in the detector, classical output, Markovian approximation) • Simpler if weak response, |ΔI | << I0, (coupling C ~ Γ/Ω is arbitrary) Derivations: 1) “logical”: via correspondence principle and comparison with decoherence approach (A.K., 1998) 2) “microscopic”: Schr. eq. + collapse of the detector (A.K., 2000) ρ n()t ij nt()k classical qubit detector pointer information quantum frequent n – number of electrons interaction quantum collapse passed through detector 3) from “quantum trajectory” formalism developed for quantum optics (Goan-Milburn, 2001; also: Wiseman, Sun, Oxtoby, etc.) 4) from POVM formalism (Jordan-A.K., 2006) 5) from Keldysh formalism (Wei-Nazarov, 2007) Alexander Korotkov University of California, Riverside Why not just use Schrödinger equation for the whole system? qubit detector information Impossible in principle! Technical reason: Outgoing information (measurement result) makes it an open system Philosophical reason: Random measurement result, but deterministic Schrödinger equation Einstein: God does not play dice Heisenberg: unavoidable quantum-classical boundary Alexander Korotkov University of California, Riverside Quantum limit for ensemble decoherence 2 “measurement time” (S/N=1) Γ = (ΔI) /4SI + γ 2 τ m =Δ2/()SI I ensemble single-qubit decoherence rate decoherence 1 Γτ m ≥ ~ information flow [bit/s] 2 A.K., 1998, 2000 S. Pilgram et al., 2002 2 γ ≥ 0 ⇒ Γ ≥ (ΔI) /4SI A. Clerk et al., 2002 D. Averin, 2000,2003 γ ()/4ΔIS2 η =-1 = I detector ideality (quantum efficiency) ΓΓ η ≤ 100% Translated into energy sensitivity: (ε ε )1/2 ≥ =/2 Danilov, Likharev, O BA Zorin, 1983 εO, εBA: sensitivities [J/Hz] limited by output noise and back-action Known since 1980s (Caves, Clarke, Likharev, Zorin, Vorontsov, Khalili, etc.) 2 1/2 2 2 (εO εBA - εO,BA ) ≥ =/2 ⇔ Γ ≥ (ΔI) /4SI + K SI/4 Quantum limits for measurement are due to quantum (informational) back-action 10/38 Alexander Korotkov University of California, Riverside POVM vs. Bayesian formalism General quantum measurement (POVM formalism) (Nielsen-Chuang, p. 85,100): † Measurement (Kraus) operator M ψ MMρ r ρ → rr M (any linear operator in H.S.) : ψ → or † r ||Mrψ || Tr(MMrrρ ) 2 † Probability : PMrr=||ψ || or PMMrrr= Tr(ρ ) † (People often prefer linear evolution Completeness : ∑r MMrr= 1 and non-normalized states) • POVM is essentially a projective measurement in an extended Hilbert space • Easy to derive: interaction with ancilla + projective measurement of ancilla • For extra decoherence: incoherent sum over subsets of results † Relation between POVM and decomposition MUMMrrrr= quantum Bayesian formalism: unitary Bayes Mathematically POVM and quantum Bayes are almost equivalent We focus not on the mathematical structures, but on particular setups and experimental consequences Alexander Korotkov University of California, Riverside Can we verify the Bayesian formalism experimentally? Direct way: partial control projective prepare measur. (rotation) measur. A.K.,1998 However, difficult: bandwidth, control, efficiency (expt. realized only for supercond. phase qubits) Tricks are needed for real experiments (proposals 1999-2010) Alexander Korotkov University of California, Riverside Non-decaying (persistent) Rabi oscillations excited - Relaxes to the ground state if left alone (low-T) left right - Becomes fully mixed if coupled to a high-T (non-equilibrium) environment ground - Oscillates persistently between left and right z if (weakly) measured continuously (measure left-right) to verify: stop& check z 1.0 |left〉 ρ11 0.5 |e〉 ••• |g〉 Reρ11 |right〉 0.0 Imρ11 -0.5 0 5 10 15 20 25 30 time A.K., PRB-1999 Direct experiment is difficult Alexander Korotkov University of California, Riverside Indirect experiment: spectrum of persistent Rabi oscillations A.K., LT’1999 C A.K.-Averin, 2000 qubit detector ΔI I(t) It()=+ I0 zt () +ξ () t z is Bloch 2 coordinate 12 (const + signal + noise) C=13 10 S (ω) Ω =2H amplifier noise fl higher pedestal, I 1 0 8 10 2 poor quantum efficiency, )/S CIHS=Δ()/ I ηÜ1 ω 6 0 ( but the peak is the same!!! I 012ω/Ω S 4 integral under the peak ‹ variance ‚z2Ú 3 2 1 How to distinguish experimentally 0 0.3 0.00.51.01.52.0 persistent from non-persistent? Easy! ω/Ω Ω - Rabi frequency perfect Rabi oscillations: ·z2Ò=·cos2Ò=1/2 peak-to-pedestal ratio = 4η≤4 imperfect (non-persistent): ·z2ÒÜ1/2 ΩΔ22()I Γ quantum (Bayesian) result: ·z2Ò =1 (!!!) SS()ω =+ I 0 ()ω 22222−Ω +Γ ω (demonstrated in Saclay expt.) Alexander Korotkov University of California, Riverside z |left〉 How to understand ·z2Ò =1? |e〉 ••• |g〉 qubit |right〉 ΔI It()=+ I0 zt () +ξ () t I(t) 2 detector First way (mathematical) We actually measure operator: z →σz (What does it mean? 2 2 Difficult to say…) z →σz =1 Second way (Bayesian) ΔΔII2 SS()ω =+ S()ωω + S () I ξξ 42zz ξ z quantum back-action changes z Equal contributions (for weak in accordance with the noise ξ coupling and η=1) “what you see is what you get”: observation becomes reality Can we explain it in a more reasonable way (without spooks/ghosts)? +1 z(t)? No (under assumptions of macrorealism; -1 Leggett-Garg, 1985) or some other z(t)? 15/38 Alexander Korotkov University of California, Riverside Leggett-Garg-type inequalities for continuous measurement of a qubit Ruskov-A.K.-Mizel, PRL-2006 qubit detector I(t) Jordan-A.K.-Büttiker, PRL-2006 Assumptions of macrorealism Leggett-Garg,1985 6 SI (ω) (similar to Leggett-Garg’85): 0 Kij = ·Qi QjÒ 4 0 )/S if Q = ±1, then 4S It()= I+Δ( I /2)() zt +ξ () t ω ≤ 0 ( 2 1+K +K +K ≥0 I |()|1,zt≤〈 ξ ()( t zt +〉τ )= 0 12 23 13 S K12+K23+K34 -K14 £2 0 012ω/Ω Then for correlation function quantum result violation KItIt()τ = 〈+〉 ()(τ ) 3 3 KKK()ττττ+−+≤Δ () ( ) ( I /2)2 (/2)ΔI 2 × 1212 2 2 and for area under narrow spectral peak π 2 [()Sf−≤ Sdf ] (8/)(/2)π 22 Δ I (/2)ΔI 2 × ∫ I 0 8 η is not important! Experimentally measurable violation (Saclay experiment) Alexander Korotkov University of California, Riverside Experiment with supercond.