MIT-CTP/5278 Weak Measurement of Superconducting Qubit Reconciles Incompatible Operators Jonathan T. Monroe,1, ∗ Nicole Yunger Halpern,2, 3, 4, 5, 6, 7, 8, y Taeho Lee,1 and Kater W. Murch1, z 1Department of Physics, Washington University, St. Louis, MO 63130, USA 2ITAMP, Harvard-Smithsonian Center for Astrophysics, Cambridge, MA 02138, USA 3Department of Physics, Harvard University, Cambridge, MA 02138, USA 4Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA 5Center for Theoretical Physics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA 6Joint Center for Quantum Information and Computer Science, NIST and University of Maryland, College Park, MD 20742, USA 7Institute for Physical Science and Technology, University of Maryland, College Park, MD 20742, USA 8Institute for Quantum Information and Matter, California Institute of Technology, Pasadena, CA 91125, USA (Dated: March 15, 2021) Traditional uncertainty relations dictate a minimal amount of noise in incompatible projective quantum measurements. However, not all measurements are projective. Weak measurements are minimally invasive methods for obtaining partial state information without projection. Recently, weak measurements were shown to obey an uncertainty relation cast in terms of entropies. We experimentally test this entropic uncertainty relation with strong and weak measurements of a superconducting transmon qubit. A weak measurement, we find, can reconcile two strong measure- ments' incompatibility, via backaction on the state. Mathematically, a weak value|a preselected and postselected expectation value|lowers the uncertainty bound. Hence we provide experimental support for the physical interpretation of the weak value as a determinant of a weak measurement's ability to reconcile incompatible operations. Quantum measurements suffer from noise that lim- analogously, its precision metrology [1, 2], amplification [3, 4], and measurement-based feedback. The minimal amount of H(A)ρ + H(B)ρ > − log c: (2) noise achievable is lower-bounded in uncertainty rela- c denotes the maximum overlap between any eigen- tions. They highlight how quantum noise arises from states, jai and jbi, of the observables' eigenstates: c := disagreement between, or incompatibility of, quantum 2 maxa;b j hbjai j . Inequality (2) holds for every state ρ operations. Robertson proved [5] the most familiar un- and eliminates state dependence from the bound (RHS), certainty relation: the measurement statistics of two ob- as desired. servables, A and B, must have sufficiently large standard The uncertainty relations (1) and (2) concern only deviations, ∆A and ∆B, to obey projective, or strong, measurements of observables. 1 Weak measurements [10] operate at various measurement ∆A ∆B ≥ j h[A; B]i j: (1) 2 strengths. They have been explored recently in quantum optics [11], cavity quantum electrodynamics (QED) [12], Operator pairs with nonzero uncertainty bounds are said and circuit QED [13{16]. During a weak measurement, to disagree, or to be incompatible. Uncertainty relations the system of interest is coupled weakly to a detector, quantify the incompatibility. which is then projected [17]. The outcome provides par- Inequality (1) suffers from shortcomings [6]. For ex- tial information about the system of interest, without ample, the right-hand side (RHS) depends on a state, projecting the system. Weak measurements illuminate through an expectation value. Varying the state appears quantum dynamics, as in the tracking of the progress of arXiv:2008.09131v3 [quant-ph] 11 Mar 2021 to vary the disagreement between A and B. But the spontaneous emission [18, 19], the catching and reversing amount of disagreement should depend only on the op- of quantum jumps [20], and observations of noncommut- erators. This objection and others led to the develop- ing observables' dynamics [21]. ment of entropic uncertainty relations in quantum infor- An entropic uncertainty relation that governs weak mation theory [7]. The variances in Ineq. (1) give way measurements was proved recently [22]. The relation to entropies, which quantify the optimal efficiencies with quantifies the disagreement between a strong measure- which information-processing tasks can be performed [8]. ment and the composition of a weak measurement and An exemplary entropic uncertainty relation was proved another strong measurement. We show that the weak in [9]. Consider preparing a state ρ and measuring the measurement can, backacting on the state, reconcile the observable A. Let pa denote the probability of obtaining disagreement between the strong measurements. The the eigenvalue a. The probability distribution fpag has measurements are performed in a circuit-QED architec- a Shannon entropy H(A)ρ := −Σapa log2 pa equal to the ture, with a superconducting transmon qubit. detector's von Neumann entropy. If H(B)ρ is defined Our results reveal a physical significance of weak val- 2 ues. A weak value is a preselected and postselected ex- P P Qubit pectation value. Let I = λijiihij and F = fjfihfj ω σ i f q z /2 denote observables. We assume, throughout this paper, χσ that the eigenspaces are nondegenerate, as we will fo- za a I P(j|0), P(j|1) cus on a qubit. But this formalism, and the theory we I ... test [22], extend to degeneracies. Consider measuring I, obtaining outcome λi, measuring F , and obtaining out- Q Q j come f. Let A denote an observable that commutes with ω Detection Digitization neither I nor F . Which value can be retrodictively as- Cavity ca a cribed most reasonably to A, given the preselection on λi and the postselection on f? The weak value [23] FIG. 1. Our experimental setup involves a superconduct- ing transmon qubit coupled dispersively to a microwave cav- hfj A jii ity. The cavity's state is sketched in phase space, defined by Awv := : (3) hfjii quadratures I and Q. Coherent states probe the cavity, ac- quiring a phase shift (red and blue circles) dependent on the Awv can assume anomalous values, which lie outside the qubit's state. The transmitted-probe quadrature that con- operator's spectrum. Weak values' significance and util- tains qubit-state information is demodulated and digitized ity have been debated across theory and experiment [24{ into discrete measurement outcomes j. 29]. We demonstrate a new physical meaning of the weak value: As a contribution to the uncertainty bound for nondemolition measurements. The Jaynes-Cummings weak and strong measurements [22], Awv controls how much weak measurements reconcile incompatibility. Hamiltonian in the dispersive limit, This paper reports on an experimental test of the en- 1 H = = ! aya + ! σ + χayaσ ; (4) tropic uncertainty relation for weak and strong measure- JC ~ c 2 q z z ments [22]. We first introduce the experimental plat- y form and the dispersive measurements performed in cir- governs the measurement dynamics. a (a) denotes the cavity mode's creation (annihilation) operator, and cuit QED. We begin by quantifying two projective mea- y surements' incompatibility with entropies. Turning one σz denotes the Pauli z operator. The final term, χa aσz, measurement into a composition|a weak measurement represents the interaction. It effectively changes !c by an followed by a projective measurement|raises the over- amount ±χ = ∓2π(1:5 MHz) dependent on the qubit's all measurement's entropy by increasing the number of state. possible outcomes. But, under a natural normalization We prepare the cavity probe in a coherent state, whose scheme, the weak measurement reduces the sum of the phase shifts in accordance with the qubit's state. We per- two operations' entropies. The entropy sum was bounded form a homodyne measurement of the field’s Q quadra- in [22], whose theory we review and then test experimen- ture, using a Josephson parametric amplifier. The probe tally. We quantify how the weak measurement backacts state is continuous-variable. However, we discretize the on the state. Through the backaction, the weak value can possible measurement outcomes into bins labeled by j. lower the uncertainty bound, allowing the measurements Outcome j occurs with a probability calculated with a to agree more. In bridging entropic uncertainty relations positive operator-valued measure (POVM). POVMs rep- with weak measurements and superconducting qubits, resent general (not-necessarily-projective) measurements mathematically [8]. A POVM is a set of positive op- this work unites several subfields of quantum-information y physics, which can benefit from the synergy introduced erators Kj Kj > 0 that obey the normalization condi- P y here. For example, in addition to the fundamental contri- tion j Kj Kj = I. The Kraus operator Kj evolves bution to weak values mentioned above, this work paves y y the system-of-interest state: ρ 7! KjρKj =Tr(ρKj Kj). the path toward detecting quantum chaos with weak The denominator equals the measurement's probability measurements experimentally, being the first experiment of yielding j. to sprout from the considerable theoretical work on lever- Our setup measures the qubit observable A = σz, aging weak measurements to identify chaos [22, 49{56]. due to Eq. (4) and the measurement's homodyne na- ture [30]. We can effectively measure other observables A Experimental context.|We measure the entropic un- by rapidly rotating the qubit before and after the interac- certainty relation with a transmon superconducting tion. Our phase-sensitive homodyne scheme projectively qubit. The qubit couples to one mode of the electro- measures the cavity field along a specific quadrature [31]. magnetic field in a three-dimensional microwave cavity If the cavity measurement yields outcome j, the qubit (Fig. 1). The qubit frequency, !q=(2π) = 3:889 GHz, is state evolves under the Kraus operator [10] far detuned from the cavity frequency, !c=(2π) = 5:635 GHz, enabling a dispersive interaction. Dispersive inter- δt 1=4 δt K = exp − [jI − A]2 : (5) actions do not exchange energy, allowing for quantum- j 2πτ 4τ 3 ∗ (a) ρ decoherence timescales, T1 = 50 µs and T2 = 10 µs. z θρ The entropies H(I)ρ and H(F )ρ are defined as fol- x lows.