If only my coauthors and I had quarreled.
I was working with Tony Bartolotta, a PhD student in theoretical physics at Caltech, and Jason Pollack, a postdoc in cosmology at the University of British Columbia. They acted as the souls of consideration. We missed out on dozens of opportunities to bicker—about the paper’s focus, who undertook which tasks, which journal to submit to, and more. Bickering would have spiced up the story behind our paper, because the paper concerns disagreement.
Quantum observables can disagree. Observables are measurable properties, such as position and momentum. Suppose that you’ve measured a quantum particle’s position and obtained an outcome . If you measure the position immediately afterward, you’ll obtain again. Suppose that, instead of measuring the position again, you measure the momentum. All the possible outcomes have equal probabilities of obtaining. You can’t predict the outcome.
The particle’s position can have a well-defined value, or the momentum can have a well-defined value, but the observables can’t have well-defined values simultaneously. Furthermore, if you measure the position, you randomize the outcome of a momentum measurement. Position and momentum disagree.
How should we quantify the disagreement of two quantum observables, and ? The question splits physicists into two camps. Pure quantum information (QI) theorists use uncertainty relations, whereas condensed-matter and high-energy physicists prefer out-of-time-ordered correlators. Let’s meet the camps in turn.
Heisenberg intuited an uncertainty relation that Robertson formalized during the 1920s,
.
Imagine preparing a quantum state and measuring , then repeating this protocol in many trials. Each trial has some probability of yielding the outcome . Different trials will yield different ’s. We quantify the spread in values with the standard deviation . We define analogously. denotes Planck’s constant, a number that characterizes our universe as the electron’s mass does.
denotes the observables’ commutator. The numbers that we use in daily life commute: . Quantum numbers, or operators, represent and . Operators don’t necessarily commute. The commutator represents how little and resemble 7 and 5.
Robertson’s uncertainty relation means, “If you can predict an measurement’s outcome precisely, you can’t predict a measurement’s outcome precisely, and vice versa. The uncertainties must multiply to at least some number. The number depends on how much fails to commute with .” The higher an uncertainty bound (the greater the inequality’s right-hand side), the more the operators disagree.
Heisenberg and Robertson explored operator disagreement during the 1920s. They wouldn’t have seen eye to eye with today’s QI theorists. For instance, QI theorists consider how we can apply quantum phenomena, such as operator disagreement, to information processing. Information processing includes cryptography. Quantum cryptography benefits from operator disagreement: An eavesdropper must observe, or measure, a message. The eavesdropper’s measurement of one observable can “disturb” a disagreeing observable. The message’s sender and intended recipient can detect the disturbance and so detect the eavesdropper.
How efficiently can one perform an information-processing task? The answer usually depends on an entropy , a property of quantum states and of probability distributions. Uncertainty relations cry out for recasting in terms of entropies. So QI theorists have devised entropic uncertainty relations, such as
The entropy quantifies the difficulty of predicting the outcome of an measurement. is defined analogously. is called the overlap. It quantifies your ability to predict what happens if you prepare your system with a well-defined value, then measure . For further analysis, check out this paper. Entropic uncertainty relations have blossomed within QI theory over the past few years.
Pure QI theorists, we’ve seen, quantify operator disagreement with entropic uncertainty relations. Physicists at the intersection of condensed matter and high-energy physics prefer out-of-time-ordered correlators (OTOCs). I’ve blogged about OTOCs so many times, Quantum Frontiers regulars will be able to guess the next two paragraphs.
Consider a quantum many-body system, such as a chain of qubits. Imagine poking one end of the system, such as by flipping the first qubit upside-down. Let the operator represent the poke. Suppose that the system evolves chaotically for a time afterward, the qubits interacting. Information about the poke spreads through many-body entanglement, or scrambles.
Imagine measuring an observable of a few qubits far from the qubits. A little information about migrates into the qubits. But measuring reveals almost nothing about , because most of the information about has spread across the system. disagrees with , in a sense. Actually, disagrees with . The represents the time evolution.
The OTOC’s smallness reflects how much disagrees with at any instant . At early times , the operators agree, and the OTOC . At late times, the operators disagree loads, and the OTOC .
Different camps of physicists, we’ve seen, quantify operator disagreement with different measures: Today’s pure QI theorists use entropic uncertainty relations. Condensed-matter and high-energy physicists use OTOCs. Trust physicists to disagree about what “quantum operator disagreement” means.
I want peace on Earth. I conjectured, in 2016 or so, that one could reconcile the two notions of quantum operator disagreement. One must be able to prove an entropic uncertainty relation for scrambling, wouldn’t you think?
You might try substituting for the in Ineq. , and for the . You’d expect the uncertainty bound to tighten—the inequality’s right-hand side to grow—when the system scrambles. Scrambling—the condensed-matter and high-energy-physics notion of disagreement—would coincide with a high uncertainty bound—the pure-QI-theory notion of disagreement. The two notions of operator disagreement would agree. But the bound I’ve described doesn’t reflect scrambling. Nor do similar bounds that I tried constructing. I banged my head against the problem for about a year.
The sky brightened when Jason and Tony developed an interest in the conjecture. Their energy and conversation enabled us to prove an entropic uncertainty relation for scrambling, published this month.1 We tested the relation in computer simulations of a qubit chain. Our bound tightens when the system scrambles, as expected: The uncertainty relation reflects the same operator disagreement as the OTOC. We reconciled two notions of quantum operator disagreement.
As Quantum Frontiers regulars will anticipate, our uncertainty relation involves weak measurements and quasiprobability distributions: I’ve been studying their roles in scrambling over the past three years, with colleagues for whose collaborations I have the utmost gratitude. I’m grateful to have collaborated with Tony and Jason. Harmony helps when you’re tackling (quantum operator) disagreement—even if squabbling would spice up your paper’s backstory.
1Thanks to Communications Physics for publishing the paper. For pedagogical formatting, read the arXiv version.