RECENT ARTICLES

An untapped resource could provide the magic needed for quantum computation—and perhaps even open the door to time travel.

Questioning the symmetrization postulate of quantum mechanics and the notion that electrons are indistinguishable could reveal whether hypothetical new particles exist.

Does the ability to predict the future—perhaps with quantum help—define the fundamental difference between living and inanimate matter?

Watching particles fly through an interferometer might help to unveil higher-order weirdness behind quantum theory.

Is the simplest answer always the best? Connecting Medieval monks to computational complexity, using the branch of mathematics known as category theory.

FQXI ARTICLE

December 20, 2014

Video Article: The Quantum Linguist

Bob Coecke has developed a new visual language that could be used to spell out a theory of quantum gravity—and help us understand human speech.

FQXi Awardees: Bob Coecke

April 8, 2012

BOB COECKE

University of Oxford

Credit: Valerio Scarani

For most physicists, the answer is: mathematics. But Bob Coecke’s idea is more radical. Perhaps fittingly for the one-time artist, turned physicist, Coecke has developed a new graphical language to represent the mathematics of quantum processes. Onto this canvas he has been painting a picture of possible quantum theories, including some that extend beyond the version that we know and love and which may also encompass gravity. If the quest for quantum gravity wasn’t enough, Coecke is also applying this visual framework to probabilistic reasoning, linguistics, AI and cooking—underpinning a theory of

Coecke has taken an unconventional path

Coecke has no fear

about casting off

years of accepted

dogma.

about casting off

years of accepted

dogma.

- Prakash Panangaden

The way Coecke tells it, I could be fooled into thinking that his haphazard history makes him ill-suited to life as a physicist. But his laid-back nature belies the tremendous success of his diagrammatic framework of quantum theory, and in quantum foundations in general—possibly because of the varied roads he has taken. As Prakash Panangaden, a computer scientist at McGill University, in Montreal, Quebec, explains, "he has no fear about casting off years of accepted dogma and pursuing his ideas."

Tossing Out Syntactic Garbage

Coecke is currently pursuing his ideas with the help of an FQXi grant of over $111,000. His new graphical language is based on category theory, a branch of mathematics that allows you to describe collections of objects and how they change—or map—from one set to another. For example, if you had a set of positive integers (1, 2, 3, 4) and a set of negative integers (-1, -2, -3, -4) then you could draw an arrow to represent how the sets are linked (in this case the arrow represents the

"It’s a much more natural way to write things," says Coecke. "It cuts out a lot of syntactic garbage in the usual models of maths. Going to the more complicated stuff is still sort of rationally manageable." That means you can go on to describe the relations between different, and complicated, quantum processes in a clear and simple way—an especially useful trick when you want to represent some of the strange features of quantum theory, such as entanglement, nonlocality and teleportation.

In Coecke’s scheme, quantum mechanical processes are signified as boxes. If processes interact, they are connected by wires. The diagrams provide a clear, visual way to see at a glance how things change in a system, as time progresses across the diagram, depicted by the changing connectivity of the boxes. Difficult quantum calculations can be reduced to simple changes to the picture, retaining quantitative information. "We saw that quantum teleportation is nothing more than sort of yanking a line" for instance, says Coecke.

QUANTUM TELEPORTATION

Pictures are worth a thousand math symbols in Coecke’s framework.

To understand the advantage of the scheme, Coecke refers to a common example encountered by computer programmers. "If someone gave you a computer program written in zeroes and ones, there’s no way you could see what it does," he notes. But if, instead, someone gave you a pictorial flow chart representing the algorithm you are hoping to recreate, you would immediately understand what the program does. "For us, these diagrams are a high-level language to reason about physics," says Coecke.

This novel application of category theory has impressed mathematicians and physicists alike. "Bob Coecke’s work has done a lot to get the quantum foundations community interacting with category theorists," says FQXi member John Baez, a mathematician at the Centre for Quantum Technologies, in Singapore. "We’re learning a lot of new things about both subjects thanks to this interaction."

The diagrammatic approach does more than just simplify how physicists manipulate the math of quantum theory. It can also be applied to other theories too, including alternatives to quantum physics that nature does not employ. It may seem strange that physicists would want to investigate nature’s rejects. But over the past decade, quantum theorists have been trying to understand the strangeness of quantum theory by looking at alternatives theories that share some, but not all, of its spooky features and could conceivably fit in with the other laws of physics that we have. Yet nature passed over those in favor of the version of quantum theory that we observe. The question perplexing physicists is, why? They hope that by understanding the answer they may uncover why quantum theory has the features that it does. (See "Why Did Nature Choose Quantum Theory?")

Rob Spekkens, of the Perimeter Institute (PI) in Ontario, Canada, is one such theorist who has developed a workable alternative to quantum theory. "People have been trying to focus on a mathematical framework to describe alternatives to quantum theory because once you have a landscape of theories—many possibilities for the way the world could be—then you’ve got a richer context in which to talk about what’s special about quantum theory," Spekkens says.

Upon meeting him, Coecke immediately made an impression on Spekkens—and not just because his diagrammatic framework was pretty much the only one capable of describing Spekkens’ alternative accurately. Spekkens recalls how, on Coecke’s first extended visit to PI, he wasn’t satisfied with the heat of the chilli sauce provided in the bistro, so he went to the shops to buy himself a bottle and thereafter brought it with him to every meal. "We keep it for him now and he reclaims it every time he’s here for a visit," says Spekkens.

Spacetime Canvas

Another long-term advantage of exploring the quantum landscape is to search for quantum theories that could stretch into a theory of quantum gravity, the Holy Grail for many foundational physicists hoping to incorporate Einstein’s general relativity, according to which gravity manifests because of the way that heavy objects warp spacetime. Current mathematical formalisms of quantum theory are incompatible with gravity, so it’s likely that we need a new mathematical framework to contain the two. Coecke’s canvas could be just what’s needed because it can describe the geometry of spacetime simply through the topology of the diagram, which mathematically tracks how surfaces are stretched and deformed. "This is very much ongoing," adds Coecke, emphasizing that any progress towards a quantum theory of gravity will be slow. But a good place to start is by investigating those quantum theories in the landscape that

Coecke describes his quantum graphics in this FQXi video:

Panangaden says Coecke’s graphical framework has had quite significant impact already. Though it’s not the dominant paradigm in quantum foundations, its influence is growing. "The most important thing is how it has focussed attention on quantum processes, and how one combines them to get more complex processes," Panangaden says.

That impact is reflected by the growth of Coecke’s research group and his professional success since he, in his words, got his head down and tried to "do something with my life that actually worked out!" When he started his postdoc position at Oxford University ten years ago he was the only person doing research in quantum logic. Now a professor, his research group has ballooned to 35, and counting. "I’ve got 20 PhD students at the moment, that’s actually a bit too many," he laughs. Coecke’s conceptual stance on quantum theory has also been attracting a lot of interest from the ’big-guns’—for example the US navy—because by creating a framework for putting together quantum processes you are essentially modeling a quantum computer.

Why is Coecke so good at what he does? Panangaden puts it down to his "intellectual boldness that allows him to go where others would hesitate." Indeed, Coecke is most proud of how his diagrammatic approach can be applied to other parts of our daily reality, such as linguistic processes—an arena that few quantum physicists would dare to enter.

Language Processing

Surprisingly, the way words interact to make up a sentence is similar to the way quantum processes interact. Google takes no notice of the order of words on a page, but actually the ordering can completely change a sentence’s meaning. Coecke has used his graphical approach to connect individual words in a sentence so their meaning can be extracted according to both the content of each word and its positioning. This is quite an achievement: most models of human language either focus on individual words or grammatical rules, not both. "Our categorical model blows away the existing language processing models," says Coecke.

Coecke is now working on a linguistics model with Mehrnoosh Sadrzadeh, Ed Grefenstette and Dimitri Kartsaklis in his group, and linguists Stephen Pulman at Oxford and Stephen Clark of Cambridge University. They are testing it with samples from the British National Corpus—a 100 million word collection of written and spoken British English. The team plans to incorporate language processing tasks to calculate the meaning of sentences, for example to include words that are ambiguous—such as ’Mars’ which might refer to the planet, a Roman god, or the chocolate bar, among other things. They also need to untangle compound types—when two words are joined together, such as sandpaper.

"I’m looking forward to seeing what comes out of his research group in the next few years," says Spekkens.

The fact that Coecke’s high-level approach to understanding quantum information has such power when applied to other diverse fields, including linguistics, may point to a higher truth: that there are structures common to all layers of reality. "I used to think that physics was the only real deal, the foundation of everything," says Coecke. "I think that perspective is very naïve now."

While mulling over that philosophical issue, Coecke’s also getting back into music, tempted by the growing experimental music scene in Oxford. He’s even building his own studio. Let’s hope quantum theory maintains its attraction—and the canteen its chilli sauce.

Comment on this Article

Please read the important Introduction that governs your participation in this community. Inappropriate language will not be tolerated and posts containing such language will be deleted. Otherwise, this is a free speech Forum and all are welcome!

Recent Comments

read all article comments

Please read the important Introduction that governs your participation in this community. Inappropriate language will not be tolerated and posts containing such language will be deleted. Otherwise, this is a free speech Forum and all are welcome!

Recent Comments

DR. EDWARD SIEGEL wrote on November 6, 2013

COECKE'S VERY INTERESTING QUANTUM-LINGUISTICS/SEMANTICS SEEMS TO FOLLOW ON EDWARD MACKINNON'S CALL FOR AND JACK AND IAN STEWART'S[THE COLLAPSE OF CHAOS: DISCOVERING SIMPLICITY IN A "COMPLEX" WORLD, PENGUIN(1994)] CALL FOR WITHOUT IMPLIMENTATION OF "COMPLI-CITY"(BOTTOM UP MANY TO FEW INDUCTION) AND "SIMPLE-XITY"(TOP-DOWM FEW TO MANY DEDUCTION) BOTH SIMULTANEOUSLY AUTOMATICALLY VIA EDWARD SIEGEL'S[SYMPOSIUM ON FRACTALS..., MRS FALL MEETING, BOSTON(1989)-5-SEMINAL-PAPERS!!!-ATTACHED HEREIN]...

COECKE'S VERY INTERESTING QUANTUM-LINGUISTICS/SEMANTICS SEEMS TO FOLLOW ON EDWARD MACKINNON'S CALL FOR AND JACK AND IAN STEWART'S[THE COLLAPSE OF CHAOS: DISCOVERING SIMPLICITY IN A "COMPLEX" WORLD, PENGUIN(1994)] CALL FOR WITHOUT IMPLIMENTATION OF "COMPLI-CITY"(BOTTOM UP MANY TO FEW INDUCTION) AND "SIMPLE-XITY"(TOP-DOWM FEW TO MANY DEDUCTION) BOTH SIMULTANEOUSLY AUTOMATICALLY VIA EDWARD SIEGEL'S[SYMPOSIUM ON FRACTALS..., MRS FALL MEETING, BOSTON(1989)-5-SEMINAL-PAPERS!!!-ATTACHED HEREIN]...

ANONYMOUS wrote on November 6, 2013

MUCH-HYPED TRENDY "QUANTUM-COMPUTING" IS ALIVE AND WELL AND IN ANN AI HAS BEEN FOR SOME 34 YEARS NOW!!!

EDWARD SIEGEL(1980)WITH CHARLES ROSEN(RIP)CEO OF MACHINE-INTELLIGENCE(ATHERTON, CA)AND CALTECH CONSULTANT RICHARD FEYNMAN(RIP)AND VESKO MARINOV AND ADOLPH SMITH OF EXXON ENTERPRISES/A.I. AND H.P.'S IRWIN WUNDERMAN(RIP)[THE INVENTOR OF THE CALCULATOR]

(1) EUREKA: TRIVIALLY NOTICED THAT IN ARTIFICIAL NEURAL-NETWORKS(ANN) ARTIFICIAL-INTELLIGNCE(A.I.) THE BY-ROTE ON-NODE SWITCHING...

MUCH-HYPED TRENDY "QUANTUM-COMPUTING" IS ALIVE AND WELL AND IN ANN AI HAS BEEN FOR SOME 34 YEARS NOW!!!

EDWARD SIEGEL(1980)WITH CHARLES ROSEN(RIP)CEO OF MACHINE-INTELLIGENCE(ATHERTON, CA)AND CALTECH CONSULTANT RICHARD FEYNMAN(RIP)AND VESKO MARINOV AND ADOLPH SMITH OF EXXON ENTERPRISES/A.I. AND H.P.'S IRWIN WUNDERMAN(RIP)[THE INVENTOR OF THE CALCULATOR]

(1) EUREKA: TRIVIALLY NOTICED THAT IN ARTIFICIAL NEURAL-NETWORKS(ANN) ARTIFICIAL-INTELLIGNCE(A.I.) THE BY-ROTE ON-NODE SWITCHING...

GEORGINA PARRY wrote on November 3, 2012

Hi Po,

I think this pictorial language is different, not a substitute but something additional. It seems to me this language isn't about spatial or topological relations but about sequences of events and relations within and between those. The information transfer and alteration rather than locations and actions in space.I agree that how objects and data spreads through space is also important and quaternion (and some will argue Octonian )algebra can be useful for thinking about and...

Hi Po,

I think this pictorial language is different, not a substitute but something additional. It seems to me this language isn't about spatial or topological relations but about sequences of events and relations within and between those. The information transfer and alteration rather than locations and actions in space.I agree that how objects and data spreads through space is also important and quaternion (and some will argue Octonian )algebra can be useful for thinking about and...

read all article comments