To understand the new result, start by picturing a quantum system such as a set of atoms. Each atom has a property, called spin, that is somewhat similar to the alignment of a magnet, in that it points along an axis. But unlike a magnet’s alignment, an atom’s spin can be in a state that’s a simultaneous mixture of different directions, a phenomenon known as superposition. Further, it may be impossible to describe the spin of one atom without taking into account the spins of other atoms from distant regions. When this happens, those interrelated atoms are said to be in a state of quantum entanglement. Entanglement is remarkable, but also fragile and easily disrupted by thermal interactions. The more heat in a system, the harder it is to entangle it.
Now imagine cooling down a bunch of atoms until they approach absolute zero. As the system gets cooler and the patterns of entanglement become more stable, its energy decreases. The lowest possible energy, or “ground energy,” provides a concise description of the complicated final state of the entire system. Or at least it would, if it could be computed.
Beginning in the late 1990s, researchers discovered that for certain systems, this ground energy could never be computed in any reasonable time frame.
However, physicists thought that an energy level close to the ground energy (but not quite there) should be easier to compute, as the system would be warmer and less entangled, and therefore simpler.
Computer scientists disagreed. According to the classical PCP theorem, energies close to the final state are just as difficult to compute as the final energy itself. And so the quantum version of the PCP theorem, if true, would say that the precursor energies to the ground energy would be just as hard to calculate as the ground energy. Since the classical PCP theorem is true, many researchers think the quantum version should be true too. “Surely, a quantum version must be true,” said Yuen.
The physical implications of such a theorem would be profound. It would mean that there are quantum systems that retain their entanglement at higher temperatures — totally contradicting physicists’ expectations. But no one could prove that any such systems exist.
In 2013, Michael Freedman and Matthew Hastings, both working at Microsoft Research’s Station Q in Santa Barbara, California, narrowed down the problem. They decided to look for systems whose lowest and nearly lowest energies are hard to calculate according to just one metric: the amount of circuitry it would take for a computer to simulate them. These quantum systems, if they could find them, would have to retain rich patterns of entanglement at all of their lowest energies. The existence of such systems wouldn’t prove the quantum PCP conjecture — there might be other hardness metrics to consider — but it would count as progress.
Computer scientists didn’t know of any such systems, but they knew where to go looking for them: in the area of study called quantum error correction, where researchers create recipes of entanglement that are designed to protect atoms from disturbance. Each recipe is known as a code, and there are many codes of both greater and lesser stature.
At the end of 2021, computer scientists made a major breakthrough in creating quantum error-correcting codes of an essentially ideal nature. Over the ensuing months, several other groups of researchers built on those results to create different versions.
The three authors of the new paper, who had been collaborating on related projects over the past two years, came together to prove that one of the new codes had all the properties needed to make a quantum system of the sort that Freedman and Hastings had hypothesized. In so doing, they proved the NLTS conjecture.
Their result demonstrates that entanglement is not necessarily as fragile and sensitive to temperature as physicists thought. And it supports the quantum PCP conjecture, suggesting that even away from the ground energy, a quantum system’s energy can remain virtually impossible to calculate.
“It tells us that the thing that seemed unlikely to be true is true,” said Isaac Kim of the University of California, Davis. “Albeit in some very weird system.”
Researchers believe that different technical tools will be needed to prove the full quantum PCP conjecture. However, they see reasons to be optimistic that the current result will bring them closer.
They are perhaps most intrigued by whether the newly discovered NLTS quantum systems — though possible in theory — can actually be created in nature, and what they would look like. According to the current result, they would require complex patterns of long-range entanglement that have never been produced in the laboratory, and which could only be built using astronomical numbers of atoms.
“These are highly engineered objects,” said Chinmay Nirkhe, a computer scientist at the University of California, Berkeley, and a co-author of the new paper along with Anurag Anshu of Harvard University and Nikolas Breuckmann of University College London.
“If you have the ability to couple really faraway qubits, I believe you could realize the system,” said Anshu. “But there’s another journey to take to really go to the low-energy spectrum.” Added Breuckmann, “Maybe there is some part of the universe which is NLTS. I don’t know.”
#Computer #Science #Proof #Lifts #Limits #Quantum #Entanglement #Quanta #Magazine