It has long been a mystery why pure
math can reveal so much about the nature of the physical world.
Antimatter was discovered in Paul
Dirac’s equations before being detected in cosmic rays. Quarks appeared in
symbols sketched out on a napkin by Murray Gell-Mann several years before they
were confirmed experimentally. Einstein’s equations for gravity suggested the
universe was expanding a decade before Edwin Hubble provided the proof.
Einstein’s math also predicted gravitational waves a full century before
behemoth apparatuses detected those waves (which were produced by collisions of
black holes — also first inferred from Einstein’s math).
Nobel laureate physicist Eugene
Wigner alluded to math’s mysterious power as the “unreasonable effectiveness of
mathematics in the natural sciences.” Somehow, Wigner said, math devised to
explain known phenomena contains clues to phenomena not yet experienced — the
math gives more out than was put in. “The enormous usefulness of mathematics in
the natural sciences is something bordering on the mysterious and … there is no
rational explanation for it,” Wigner wrote in 1960.
But maybe there’s a new clue to what
that explanation might be. Perhaps math’s peculiar power to describe the
physical world has something to do with the fact that the physical world also
has something to say about mathematics.
At least that’s a conceivable
implication of a new paper that has startled the interrelated worlds of math,
computer science and quantum physics.
In an enormously complicated 165-page
paper, computer scientist Zhengfeng Ji and colleagues present a result that penetrates
to the heart of deep questions about math, computing and their connection to
reality. It’s about a procedure for verifying the solutions to very complex
mathematical propositions, even some that are believed to be impossible to solve.
In essence, the new finding boils down to demonstrating a vast gulf between
infinite and almost infinite, with huge implications for certain high-profile
math problems. Seeing into that gulf, it turns out, requires the mysterious
power of quantum physics.
Everybody involved has long known that
some math problems are too hard to solve (at least without unlimited time), but
a proposed solution could be rather easily verified. Suppose someone claims to
have the answer to such a very hard problem. Their proof is much too long to
check line by line. Can you verify the answer merely by asking that person (the
“prover”) some questions? Sometimes, yes. But for very complicated proofs, probably
not. If there are two provers, though, both in possession of the proof, asking
each of them some questions might allow you to verify that the proof is correct
(at least with very high probability). There’s a catch, though — the provers
must be kept separate, so they can’t communicate and therefore collude on how
to answer your questions. (This approach is called MIP, for multiprover
interactive proof.)
Verifying a proof without actually
seeing it is not that strange a concept. Many examples exist for how a prover
can convince you that they know the answer to a problem without actually
telling you the answer. A standard method for coding secret messages, for
example, relies on using a very large number (perhaps hundreds of digits long)
to encode the message. It can be decoded only by someone who knows the prime
factors that, when multiplied together, produce the very large number. It’s
impossible to figure out those prime numbers (within the lifetime of the
universe) even with an army of supercomputers. So if someone can decode your
message, they’ve proved to you that they know the primes, without needing to
tell you what they are.
Someday, though, calculating those
primes might be feasible, with a future-generation quantum computer. Today’s
quantum computers are relatively rudimentary, but in principle, an advanced
model could crack codes by calculating the prime factors for enormously big
numbers.
That power stems, at least in part,
from the weird phenomenon known as quantum entanglement. And it turns out that,
similarly, quantum entanglement boosts the power of MIP provers. By sharing an
infinite amount of quantum entanglement, MIP provers can verify vastly more
complicated proofs than nonquantum MIP provers.
It is obligatory to say that
entanglement is what Einstein called “spooky action at a distance.” But it’s
not action at a distance, and it just seems spooky. Quantum particles (say
photons, particles of light) from a common origin (say, both spit out by a
single atom) share a quantum connection that links the results of certain
measurements made on the particles even if they are far apart. It may be
mysterious, but it’s not magic. It’s physics.
Say two provers share a supply of
entangled photon pairs. They can convince a verifier that they have a valid proof
for some problems. But for a large category of extremely complicated problems,
this method works only if the supply of such entangled particles is infinite. A
large amount of entanglement is not enough. It has to be literally unlimited. A
huge but finite amount of entanglement can’t even approximate the power of an
infinite amount of entanglement.
As Emily Conover explains in her report for Science News, this discovery proves false a couple of widely
believed mathematical conjectures. One, known as Tsirelson’s problem,
specifically suggested that a sufficient amount of entanglement could
approximate what you could do with an infinite amount. Tsirelson’s problem was
mathematically equivalent to another open problem, known as Connes’ embedding conjecture,
which has to do with the algebra of operators, the kinds of mathematical
expressions that are used in quantum mechanics to represent quantities that can
be observed.
Refuting the Connes conjecture, and showing
that MIP plus entanglement could be used to verify immensely complicated proofs,
stunned many in the mathematical community. (One expert, upon hearing the news,
compared his feces to bricks.) But the new work isn’t likely to make any
immediate impact in the everyday world. For one thing, all-knowing provers do
not exist, and if they did they would probably have to be future super-AI
quantum computers with unlimited computing capability (not to mention an
unfathomable supply of energy). Nobody knows how to do that in even Star
Trek’s century.
Still, pursuit of this discovery quite
possibly will turn up deeper implications for math, computer science and
quantum physics.
It probably won’t shed any light on
controversies over the best way to interpret quantum mechanics, as computer
science theorist Scott Aaronson notes
in his blog about the new finding.
But perhaps it could provide some sort of clues regarding the nature of
infinity. That might be good for something, perhaps illuminating whether
infinity plays a meaningful role in reality or is a mere mathematical
idealization.
On another level, the new work raises an interesting point about the relationship between math and the physical world. The existence of quantum entanglement, a (surprising) physical phenomenon, somehow allows mathematicians to solve problems that seem to be strictly mathematical. Wondering why physics helps out math might be just as entertaining as contemplating math’s unreasonable effectiveness in helping out physics. Maybe even one will someday explain the other.