Strengthening weak measurements for qubit tomography and multitime correlators
Justin Dressel
Schmid College of Science and Technology
Institute for Quantum Studies
Chapman University
January 16, 2019
Justin Dressel (PI)
José Raúl Gonzales Alonso (postdoc)
Razieh Mohseninia (postdoc)
Shiva Barzili (grad student)
Lucas Burns (grad student, spring 2019)
Amy Lam (undergrad)
Luis Pedro García-Pintos (postdoc - now at UMB)
Taylor Lee Patti (undergrad - now at Harvard)
William Parker (undergrad - now at U Oregon)
Aaron Grisez (undergrad - founder of Qhord.com)
Chapman Crew
Outline
-
Strengthening Weak Value Tomography
- Weak Value Tutorial
- Weak Value Tomography
- Strong Weak Values with Neutrons
-
Strengthening Qubit Correlator Measurements
- Weakly Measured Correlators
- Generalized Qubit Measurements
- Strongly Measured Correlators
What is a Weak Value?
Roughly, it is a conditioned expectation value under weak detector coupling that can have surprising properties
Aharonov, Albert, Vaidman (AAV), PRL 1988
What is a Conditioned Expectation Value?
A conditioned expectation value is the conditioned response of an indirectly coupled and properly calibrated meter
Pang, Dressel, Brun, PRL 113, 030401 (2014)
The detector response is encapsulated in the "measurement operator", which is a partial matrix element of the interaction propagator
Pang, Dressel, Brun, PRL 113, 030401 (2014)
What is a Conditioned Expectation Value?
What is a Weak Value?
Weak values appears as the key complex system parameters that characterize the detector response. Generally all infinite orders \((A^n)_w\) are needed, but for weaker coupling the first order suffices
Pang, Dressel, Brun, PRL 113, 030401 (2014)
Kofman, Ashab, Nori, Physics Reports 520, 43 (2012)
Dressel, Jordan, PRL 109, 230402 (2012)
Detector parameters:
System parameter:
Pang, Dressel, Brun, PRL 113, 030401 (2014)
What is a Weak Value?
Typically, only the linear response regime is considered, where the weak value is directly proportional to the detector response
What is a Weak Value?
Even keeping only the first-order weak value, the nonlinear expression is remarkably accurate even for moderately large coupling strengths
Example: Sagnac Interferometer
Prototype experiment: Howell lab, Rochester
PRL 102, 173601 (2009)
Ultra-sensitive to beam deflection: ~560 femto-radians of tilt detected
Weak Value Analysis
Angular tilt (transverse momentum) amplified by large weak value.
Weak value regime
Dark port has single lobe that approximates displaced a Gaussian centered at:
Tiny beam deflections can be distinguished, but with low output intensity.
Exact Collimated Analysis
Original profile of beam becomes modulated.
JD et al., PRA 88 , 023801 (2013)
Collimated Dark Port Profiles
Left: Wavefront tilt mechanism producing spatial modulation
Right : Asymmetric dark port profiles in different regimes
Dashed envelope: input beam intensity
Solid curve:
dark port intensity
Top right:
weak value regime
Middle right:
double lobe regime
Bottom right:
misaligned regime
Weak Value Tomography
Measurable weak values
Determining these also determines the state, up to a simple renormalization
Unnormalized initial state:
Arbitrary constant, in terms of unbiased "postselection" basis
Unknown state:
Dressel, et al. RMP 86, 307 (2014)
Task: Measure the path state of a neutron inside a neutron interferometer using its coupled spin freedom as a probe
Denkmayr, Dressel, et al. PRL 118, 010402 (2017)
- Spin-up neutrons preselected by silicon crystal Bragg condition of interferometer
- DC coil (ST1) rotates spin to +X (initial spin state prepared at this point)
- Sapphire slab (PS) phase shifts relative paths (initial path state prepared at this point)
- Helmholtz coils (HCs) perform path-dependent spin rotations by tunable angle alpha
- After interferometer, DC coil (ST2) and CoTi supermirror (A) spin-polarizes neutrons
- Only neutrons at O-Det are analyzed (postselection completed here)
- Measuring average spin response allows determination of path weak values, and thus the intermediate path state inside the interferometer
Denkmayr, Dressel, et al. PRL 118, 010402 (2017)
Expressions exact for any relative spin-splitting angle alpha
Usual linear response regime when alpha small
Angle alpha selected here
Spin measurement axis selected here
Arbitrary-strength Path Weak Values
Relative phase of path state varied, keeping relative magnitudes the same (only imaginary weak value nonzero)
Weak (left) and Strong (right) measurements compared
Different-looking responses yield same weak value reconstructions
Denkmayr, Dressel, et al. Physica B (2018)
Same Weak Values : Stronger has better accuracy and precision
Denkmayr, Dressel, et al. Physica B (2018)
Outline
-
Strengthening Weak Value Tomography
- Weak Value Tutorial
- Weak Value Tomography
- Strong Weak Values with Neutrons
-
Strengthening Qubit Correlator Measurements
- Weakly Measured Correlators
- Generalized Qubit Measurements
- Strongly Measured Correlators
Recall Weak Measurement
What happens when you make several weak measurements in a row?
Pang, Dressel, Brun, PRL 113, 030401 (2014)
Crude idea : measurement operator approximately linearizes in weak measurement regime (linear response regime)
Post-interaction system state couples to anticommutator to linear order in coupling:
Sequences of measurements create nested anticommutator terms to lowest order in the joint couplings
-
Benefit : Isolating such a nested commutator term gives access to interesting temporal correlation information that is sensitive to coherence (e.g., quasiprobability characterizations of the dynamics : Yunger Halpern, Swingle, Dressel PRA 9, 042105 (2018))
-
Problem : Isolating this term means subtracting away unwanted terms, including the higher-order coupling terms, which is difficult in practice with realistic measurements
- Miracle : For qubits, this term can be isolated exactly with any measurement strengths g (Dressel, et al. PRA 98, 012032 (2018) )
Arbitrary Strength Qubit Measurements
Informative Measurement:
Non-Informative Measurement:
Dressel, et al. PRA 98, 012032 (2018)
Generalized spectral decomposition
(Works for observables A that square to the identity)
Arbitrary Strength Qubit Measurements
Informative Measurement:
White, Mutus, Dressel, et al. npj Quantum Information 2, 15022 (2016)
Generalized spectral decomposition
Generalized measurement method already used experimentally with superconducting qubits (Google)
Arbitrary Strength Qubit Measurements
Informative Measurement:
White, Mutus, Dressel, et al. npj Quantum Information 2, 15022 (2016)
Arbitrary Strength Qubit Measurements
Informative Measurement:
Dressel, et al. PRA 98, 012032 (2018)
Useful corollaries:
Anticommutators isolated perfectly for any coupling strength
Nested anticommutator averages can be measured directly for any coupling strength
Arbitrary Strength Qubit Measurements
Non-Informative Measurement:
Dressel, et al. PRA 98, 012032 (2018)
Useful corollaries:
Commutators also isolated perfectly for any coupling strength
Nested commutator averages can also be measured directly for any coupling strength
Arbitrary Strength Qubit Measurements
Dressel, et al. PRA 98, 012032 (2018)
Why does this work? What about state collapse?
(Lindblad) decoherence terms from the measurement cancel in the average
Any marginalization of results exposes the collapse-based disturbance
Strongly Measured 2-Point Correlator
Dressel, et al. PRA 98, 012032 (2018)
2-point temporal qubit correlators may be directly measured using any measurement strength
These are common theoretical objects that are usually inaccessible in measurements directly
Bracketing measurement by unitary evolutions probes a Heisenberg-evolved operator
The final unitary may be omitted as inconsequential to the measured average
Strongly Measured 4-Point Correlator
Dressel, et al. PRA 98, 012032 (2018)
4-point temporal qubit out-of-time-ordered correlators may be directly measured using any measurement strength
These are recently explored theoretical objects connected with information scrambling and chaos
(one reversed evolution needed)
Conclusions
- Weak values are better when made strong
- Nested (anti)commutators are accessible for qubits at any strength
- 2- and 4-point qubit correlators can be directly measured
- Follow-up research in the works:
- Measuring qubit quasiprobabilities strongly with multiple setups
- Measuring qutrit correlators with arbitrary strength
- Investigation of out-of-time-ordered correlators experimentally
Thank you!
Superconducting Qubits:
Review and recent results
Superconducting Qubits
Mesoscopic quantum coherence of collective charge motion at \(\mu\)m scale
EM Fields produced by charge motion described by Circuit QED
Lowest levels of anharmonic oscillator potentials treated as artificial atoms
Typical Transmon Parameters
Microwave Measurement
Note : Without a quantum-limited amplifier, this doesn't work!
The Josephson Parametric Amplifier (JPA) and Traveling Wave Parametric Amplifier (TWPA) boost signal enough for later HEMTs in the readout chain to resolve the information.
"3D Transmon"
Cavity mode:
Detuned (dispersive) regime (RWA):
X-X Coupling:
Korotkov group, Phys. Rev. A 92, 012325 (2015)
Martinis group, Phys. Rev. Lett. 117, 190503 (2016)
2D planar chip schematic
Bus acts as Purcell filter, coupled to traveling wave parametric amplifier (TWPA)
Similar parameters:
v1
v3
Coming soon: two-layer design of 20+ qubits
separated from control circuitry
(similar to Google Bristlecone + IBM Q)
Now on v8+
UCB 2D planar chip
Multiplexed 10 qubit control and readout
Single shot "projective" readout :
typical quantum computing goal
Microwave Measurement
A Brief Tour of Recent Results
Individual quantum state trajectories filtered from the readout are verified via spot checking predicted subensembles with tomography
Approach:
- Perform a random tomographic pulse at the end of each data run
- Spot check subensembles of data to verify tomography of final state
Quantum Trajectories
Murch et al., Nature 502, 211 (2013)
Monitored Rabi Drive
JD and Siddiqi Group, Nature 511, 570 (2014)
Partial collapses compete with unitary dynamics
Ensemble-averaging the stochastic evolution recovers the usual Lindblad dynamics
Conditioned State Dynamics
JD and Siddiqi Group, Nature 511, 570 (2014)
Experimental most probable path matches ODE solution derived from stochastic path integral
JD and Jordan Group, PRA 88, 042110 (2013)
Tracking Drifting Parameters
Maximum likelihood techniques allow extraction of parameters drifts from stochastic records with reasonable precision
JD and Jordan Group, PRA 95, 012314 (2017)
Feedback State Stabilization
Linear feedback (with very small temporal delays) can stabilize the qubit state to targeted regions of the Bloch sphere.
JD and Jordan Group, PRA 96, 022311 (2017)
- Symmetrically detuned pumps
- Beats stroboscopically measure rotating qubit
- Yields displacement coupling
- Allows tunable measurement axis
- Multiple cavity modes = multiple observables
Displacement coupling:
Siddiqi group, Nature 538, 491 (2016)
Stroboscopic Displacement Coupling
Rotating frame:
Incoherent Zeno-Dragging Qubit Gate
Idea : use time-varying measurement axes to drag the quantum state around the Bloch sphere using the quantum Zeno effect
The record tracks the state well in this regime, so can be used as a herald for high-fidelity gates
Non-unitary gate
(measurement-based)
Stroboscopic displacement coupling can be time-varying
JD, Siddiqi group, PRL 120, 020505 (2018)
Jumps : Faster drag speeds allow trajectories to jump to the opposite pole, decreasing ensemble-averaged dragging fidelity
Jump-axis : Dragging dynamics causes lag of actual Zeno-pinned behind the measurement axis by a fixed angle
JD, Siddiqi group, PRL 120, 020505 (2018)
Pinned to poles : Other than the jumps, state remain pinned to lagged measurement poles
Incoherent Zeno-Dragging Qubit Gate
State collapses to jump-axis
JD, Siddiqi group, PRL 120, 020505 (2018)
Incoherent Zeno-Dragging Qubit Gate
Post-selecting on trajectories with an average readout with a value >1 keeps only trajectories that did not jump, heralding a reasonably high-fidelity dragging gate for that subset
Alternatively, the jump may be observed, then corrected later
JD, Siddiqi group, PRL 120, 020505 (2018)
Incoherent Zeno-Dragging Qubit Gate
Siddiqi group, Nature 538, 491 (2016)
4 pumps, symmetrically detuned from 2 resonator modes
2 simultaneous noncommuting observables
Partial collapses compete with each other, preventing full collapse to a stationary state
If observables are maximally non-commuting, creates persistent phase-diffusion in Bloch sphere
Noncommuting Observable Measurement
Siddiqi group, Nature 538, 491 (2016)
State purifies, but diffuses randomly
Basins of attraction if measurement axes are nearly aligned
Noncommuting Observable Measurement
Siddiqi group, Nature 538, 491 (2016)
State disturbance can be measured
Result agrees with the lower bound set by the Maccone-Pati relation involving the sum of variances:
Uncertainty relation forces the random state diffusion when measuring incompatible axes
Noncommuting Observable Measurement
Circuit Quantum Electrodynamics
Ideas:
- Size scale of device (\(\mu\)m) is smaller than the characteristic wavelength of superconducting Cooper pairs:
quantum coherence is relevant to the motion
- Cooper pairs (bosons) condense into
collective charge motion that is well described by an effective "center of charge", much like rigid bodies are described by an effective center of mass in classical mechanics
- Collective charge motion along superconducting wires can be described by the
currents and voltages it produces, which are then easily related to measurable capacitances, inductances, and impedances
- Quantization of the conjugate variables of flux and charge follows from the usual quantization of the electromagnetic field
How do we model collective mesoscopic quantum coherence?
Circuit QED (Technical Details)
Definitions:
- Map hardware into a circuit of nodes
connected by branches (e.g., capacitor, inductor, etc.)
- Define voltage and current for each branch via EM fields,
as well as the flux and charge stored in each element:
- Define ground node and tree of active nodes connecting both capacitors and inductors - the fluxes to ground are the dynamical circuit variables
Vool, U., and Devoret, M. (2017) . doi: 10.1002/cta.2359.
Branches \(b\in\mathcal{B}\) in path connecting node \(n\) to ground through capacitors
charge conjugate to node flux \(\phi_n\)
(\(+1\) capacitive, \(-1\) inductive)
- Primary circuit elements:
capacitor, inductor, and Josephson junction
Vool, U., and Devoret, M. (2017) . doi: 10.1002/cta.2359.
"Kinetic" energy:
"Potential" energy:
- Canonical quantization : (equivalent to quantizing \(\vec{E},\vec{B}\) )
Circuit QED (Technical Details)
(An)harmonic Oscillators
- Resonator:
Vool, U., and Devoret, M. (2017) . doi: 10.1002/cta.2359.
- Transmon:
Josephson junction shunted by large capacitance:
\(E_J/E_C \sim 100, \; E_J = \frac{(\hbar/2e)^2}{L_J}, \; E_C = \frac{e^2}{2C_J} \)
Qubit - Resonator Coupling
- Resonator + Transmon:
Vool, U., and Devoret, M. (2017) . doi: 10.1002/cta.2359.
Dispersive approximation, including rotating-wave approx (RWA):
Resonator frequency depends
on transmon energy levels
Transmission Line Coupling
- Resonator + Transmon + Transmission Line:
Vool, U. , and Devoret, M. ( 2017 ) . doi: 10.1002/cta.2359 .
(OUT: to amplifier and detector)
(IN: from signal generator)
Campagne-Ibarcq, P., Ph.D. thesis ( 2017 ) .