Watch out for geese! My summer in Waterloo

It’s the beginning of another summer, and I’m looking forward to outdoor barbecues, swimming in lakes and pools, and sharing my home-made ice cream with friends and family. One thing that I won’t encounter this summer, but I did last year, is a Canadian goose. In summer 2023, I ventured north from the University of Maryland – College Park to Waterloo, Canada, for a position at the University of Waterloo. The university houses the Institute for Quantum Computing (IQC), and the Perimeter Institute (PI) for Theoretical Physics is nearby. I spent my summer at these two institutions because I was accepted into the IQC’s Undergraduate School on Experimental Quantum Information Processing (USEQIP) and received an Undergraduate Research Award. I’ll detail my experiences in the program and the fun social activities I participated in along the way.

For my first two weeks in Waterloo, I participated in USEQIP. This program is an intense boot camp in quantum hardware. I learned about many quantum-computing platforms, including trapped ions, superconducting circuits, and nuclear magnetic resonance systems. There were interactive lab sessions where I built a low-temperature thermometer, assembled a quantum key distribution setup, and designed an experiment of the Quantum Zeno Effect using nuclear magnetic resonance systems. We also toured the IQC’s numerous research labs and their nano-fabrication clean room. I learned a lot from these two weeks, and I settled into life in goose-filled Waterloo, trying to avoid goose poop on my daily walks around campus.

I pour liquid nitrogen into a low-temperature container.

Once USEQIP ended, I began the work for my Undergraduate Research Award, joining Dr. Raymond Laflamme’s group. My job was to read Dr. Laflamme’s soon-to-be-published textbook about quantum hardware, which he co-wrote with graduate student Shayan Majidy and Dr. Chris Wilson. I read through the sections for clarity and equation errors. I also worked through the textbook’s exercises to ensure they were appropriate for the book. Additionally, I contributed figures to the book.

The most challenging part of this work was completing the exercises. I would become frustrated with the complex problems, sometimes toiling over a single problem for over three hours. My frustrations were aggravated when I asked Shayan for help, and my bitter labor was to him a simple trick I had not seen. I had to remind myself that I had been asked to test drive this textbook because I am the target audience for it. I offered an authentic undergraduate perspective on the material that would be valuable to the book’s development. Despite the challenges, I successfully completed my book review, and Shayan sent the textbook for publication at the beginning of August.

After, I moved on to another project. I worked on the quantum thermodynamics research that I conduct with Dr. Nicole Yunger Halpern. My work with Dr. Yunger Halpern concerns systems with noncommuting charges. I run numerical calculations on these systems to understand how they thermalize internally. I enjoyed working at both the IQC and the Perimeter Institute with their wonderful office views and free coffee.

Dr. Laflamme and I at the Perimeter Institute on my last day in Waterloo.

Midway through the summer, Dr. Laflamme’s former and current students celebrated his 60th birthday with a birthday conference. As one of his newest students, I had a wonderful time meeting many of his past students who’ve had exciting careers following their graduation from the group. During the birthday conference, we had six hours of talks daily, but these were not traditional research talks. The talks were on any topic the speaker wanted to share with the audience. I learned about how a senior data scientist at TD Bank uses machine learning, a museum exhibit organized by the University of Waterloo called Quantum: The Exhibition, and photonic quantum science at the Raman Research Institute. For the socializing portion, we played street hockey and enjoyed delicious sushi, sandwiches, and pastries. By coincidence, Dr. Laflamme’s birthday and mine are one day apart!

Outside of my work, I spent almost every weekend exploring Ontario. I beheld the majesty of Niagara Falls for the first time; I visited Canada’s wine country, Niagara on the Lake; I met with friends and family in Toronto; I stargazed with the hope of seeing the aurora borealis (unfortunately, the Northern Lights did not appear). I also joined a women’s ultimate frisbee team, PPF (sorry, we can’t tell you what it stands for), during my stay in Canada. I had a blast getting to play while sharpening my skills for the collegiate ultimate frisbee season. Finally, my summer would not have been great without the friendships that I formed with my fellow USEQIP undergraduates. We shared more than just meals; we shared our hopes and dreams, and I am so lucky to have met such inspiring people.

I spent my first weekend in Canada at Niagara Falls.

Though my summer in Waterloo has come to an end now, I’ll never forget the incredible experiences I had. 

Film noir and quantum thermo

The Noncommuting-Charges World Tour (Part 4 of 4)

This is the final part of a four-part series covering the recent Perspective on noncommuting charges. I’ve been posting one part every ~5 weeks leading up to my PhD thesis defence. You can find Part 1 here, Part 2 here, and Part 3 here.

In four months, I’ll embark on the adventure of a lifetime—fatherhood.

To prepare, I’ve been honing a quintessential father skill—storytelling. If my son inherits even a fraction of my tastes, he’ll soon develop a passion for film noir detective stories. And really, who can resist the allure of a hardboiled detective, a femme fatale, moody chiaroscuro lighting, and plot twists that leave you reeling? For the uninitiated, here’s a quick breakdown of the genre.

To sharpen my storytelling skills, I’ve decided to channel my inner noir writer and craft this final blog post—the opportunities for future work, as outlined in the Perspective—in that style.

I wouldn’t say film noir needs to be watched in black and white like how I wouldn’t say jazz needs to be listened to on vinyl. But it adds a charm that’s hard to replicate.

Theft at the Quantum Frontier

Under the dim light of a flickering bulb, private investigator Max Kelvin leaned back in his creaky chair, nursing a cigarette. The steady patter of rain against the window was interrupted by the creak of the office door. In walked trouble. Trouble with a capital T.

She was tall, moving with a confident stride that barely masked the worry lines etched into her face. Her dark hair was pulled back in a tight bun, and her eyes were as sharp as the edges of the papers she clutched in her gloved hand.

“Mr. Kelvin?” she asked, her voice a low, smoky whisper.

“That’s what the sign says,” Max replied, taking a long drag of his cigarette, the ember glowing a fiery red. “What can I do for you, Miss…?”

“Doctor,” she corrected, her tone firm, “Shayna Majidy. I need your help. Someone’s about to scoop my research.”

Max’s eyebrows arched. “Scooped? You mean someone stole your work?”

“Yes,” Shayna said, frustration seeping into her voice. “I’ve been working on noncommuting charge physics, a topic recently highlighted in a Perspective article. But someone has stolen my paper. We need to find who did it before they send it to the local rag, The Ark Hive.”

Max leaned forward, snuffing out his cigarette and grabbing his coat in one smooth motion. “Alright, Dr. Majidy, let’s see where your work might have wandered off to.”


They started their investigation with Joey “The Ant” Guzman, an experimental physicist whose lab was a tangled maze of gleaming equipment. Superconducting qubits, quantum dots, ultracold atoms, quantum optics, and optomechanics cluttered the room, each device buzzing with the hum of cutting-edge science. Joey earned his nickname due to his meticulous and industrious nature, much like an ant in its colony.

Guzman was a prime suspect, Shayna had whispered as they approached. His experiments could validate the predictions of noncommuting charges. “The first test of noncommuting-charge thermodynamics was performed with trapped ions,” she explained, her voice low and tense. “But there’s a lot more to explore—decreased entropy production rates, increased entanglement, to name a couple. There are many platforms to test these results, and Guzman knows them all. It’s a major opportunity for future work.”

Guzman looked up from his work as they entered, his expression guarded. “Can I help you?” he asked, wiping his hands on a rag.

Max stepped forward, his eyes scanning the room. “A rag? I guess you really are a quantum mechanic.” He paused for laughter, but only silence answered. “We’re investigating some missing research,” he said, his voice calm but edged with intensity. “You wouldn’t happen to know anything about noncommuting charges, would you?”

Guzman’s eyes narrowed, a flicker of suspicion crossing his face. “Almost everyone is interested in that right now,” he replied cautiously.

Shayna stepped forward, her eyes boring into Guzman’s. “So what’s stopping you from doing experimental tests? Do you have enough qubits? Long enough decoherence times?”

Guzman shifted uncomfortably but kept his silence. Max took another drag of his cigarette, the smoke curling around his thoughts. “Alright, Guzman,” he said finally. “If you think of anything that might help, you know where to find us.”

As they left the lab, Max turned to Shayna. “He’s hiding something,” he said quietly. “But whether it’s your work or how noisy and intermediate scale his hardware is, we need more to go on.”

Shayna nodded, her face set in grim determination. The rain had stopped, but the storm was just beginning.


I bless the night my mom picked up “Who Framed Roger Rabbit” at Blockbuster. That, along with the criminally underrated “Dog City,” likely ignited my love for the genre.

Their next stop was the dimly lit office of Alex “Last Piece” Lasek, a puzzle enthusiast with a sudden obsession with noncommuting charge physics. The room was a chaotic labyrinth, papers strewn haphazardly, each covered with intricate diagrams and cryptic scrawlings. The stale aroma of old coffee and ink permeated the air.

Lasek was hunched over his desk, scribbling furiously, his eyes darting across the page. He barely acknowledged their presence as they entered. “Noncommuting charges,” he muttered, his voice a gravelly whisper, “they present a fascinating puzzle. They hinder thermalization in some ways and enhance it in others.”

“Last Piece Lasek, I presume?” Max’s voice sliced through the dense silence.

Lasek blinked, finally lifting his gaze. “Yeah, that’s me,” he said, pushing his glasses up the bridge of his nose. “Who wants to know?”

“Max Kelvin, private eye,” Max replied, flicking his card onto the cluttered desk. “And this is Dr. Majidy. We’re investigating some missing research.”

Shayna stepped forward, her eyes sweeping the room like a hawk. “I’ve read your papers, Lasek,” she said, her tone a blend of admiration and suspicion. “You live for puzzles, and this one’s as tangled as they come. How do you plan to crack it?”

Lasek shrugged, leaning back in his creaky chair. “It’s a tough nut,” he admitted, a sly smile playing at his lips. “But I’m no thief, Dr. Majidy. I’m more interested in solving the puzzle than in academic glory.”

As they exited Lasek’s shadowy lair, Max turned to Shayna. “He’s a riddle wrapped in an enigma, but he doesn’t strike me as a thief.”

Shayna nodded, her expression grim. “Then we keep digging. Time’s slipping away, and we’ve got to find the missing pieces before it’s too late.”


Their third stop was the office of Billy “Brass Knuckles,” a classical physicist infamous for his no-nonsense attitude and a knack for punching holes in established theories.

Max’s skepticism was palpable as they entered the office. “He’s a classical physicist; why would he give a damn about noncommuting charges?” he asked Shayna, raising an eyebrow.

Billy, overhearing Max’s question, let out a gravelly chuckle. “It’s not as crazy as it sounds,” he said, his eyes glinting with amusement. “Sure, the noncommutation of observables is at the core of quantum quirks like uncertainty, measurement disturbances, and the Einstein-Podolsky-Rosen paradox.”

Max nodded slowly, “Go on.”

“However,” Billy continued, leaning forward, “classical mechanics also deals with quantities that don’t commute, like rotations around different axes. So, how unique is noncommuting-charge thermodynamics to the quantum realm? What parts of this new physics can we find in classical systems?”

Shayna crossed her arms, a devious smile playing on her lips. “Wouldn’t you like to know?”

“Wouldn’t we all?” Billy retorted, his grin mirroring hers. “But I’m about to retire. I’m not the one sneaking around your work.”

Max studied Billy for a moment longer, then nodded. “Alright, Brass Knuckles. Thanks for your time.”

As they stepped out of the shadowy office and into the damp night air, Shayna turned to Max. “Another dead end?”

Max nodded and lit a cigarette, the smoke curling into the misty air. “Seems so. But the clock’s ticking, and we can’t afford to stop now.”


If you want contemporary takes on the genre, Sin City (2005), Memento (2000), and L.A. Confidential (1997) each deliver in their own distinct ways.

Their fourth suspect, Tony “Munchies” Munsoni, was a specialist in chaos theory and thermodynamics, with an insatiable appetite for both science and snacks.

“Another non-quantum physicist?” Max muttered to Shayna, raising an eyebrow.

Shayna nodded, a glint of excitement in her eyes. “The most thrilling discoveries often happen at the crossroads of different fields.”

Dr. Munson looked up from his desk as they entered, setting aside his bag of chips with a wry smile. “I’ve read the Perspective article,” he said, getting straight to the point. “I agree—every chaotic or thermodynamic phenomenon deserves another look under the lens of noncommuting charges.”

Max leaned against the doorframe, studying Munsoni closely.

“We’ve seen how they shake up the Eigenstate Thermalization Hypothesis, monitored quantum circuits, fluctuation relations, and Page curves,” Munson continued, his eyes alight with intellectual fervour. “There’s so much more to uncover. Think about their impact on diffusion coefficients, transport relations, thermalization times, out-of-time-ordered correlators, operator spreading, and quantum-complexity growth.”

Shayna leaned in, clearly intrigued. “Which avenue do you think holds the most promise?”

Munsoni’s enthusiasm dimmed slightly, his expression turning regretful. “I’d love to dive into this, but I’m swamped with other projects right now. Give me a few months, and then you can start grilling me.”

Max glanced at Shayna, then back at Munsoni. “Alright, Munchies. If you hear anything or stumble upon any unusual findings, keep us in the loop.”

As they stepped back into the dimly lit hallway, Max turned to Shayna. “I saw his calendar; he’s telling the truth. His schedule is too packed to be stealing your work.”

Shayna’s shoulders slumped slightly. “Maybe. But we’re not done yet. The clock’s ticking, and we’ve got to keep moving.”


Finally, they turned to a pair of researchers dabbling in the peripheries of quantum thermodynamics. One was Twitch Uppity, an expert on non-Abelian gauge theories. The other, Jada LeShock, specialized in hydrodynamics and heavy-ion collisions.

Max leaned against the doorframe, his voice casual but probing. “What exactly are non-Abelian gauge theories?” he asked (setting up the exposition for the Quantum Frontiers reader’s benefit).

Uppity looked up, his eyes showing the weary patience of someone who had explained this concept countless times. “Imagine different particles interacting, like magnets and electric charges,” he began, his voice steady. “We describe the rules for these interactions using mathematical objects called ‘fields.’ These rules are called field theories. Electromagnetism is one example. Gauge theories are a class of field theories where the laws of physics are invariant under certain local transformations. This means that a gauge theory includes more degrees of freedom than the physical system it represents. We can choose a ‘gauge’ to eliminate the extra degrees of freedom, making the math simpler.”

Max nodded slowly, his eyes fixed on Uppity. “Go on.”

“These transformations form what is called a gauge group,” Uppity continued, taking a sip of his coffee. “Electromagnetism is described by the gauge group U(1). Other interactions are described by more complex gauge groups. For instance, quantum chromodynamics, or QCD, uses an SU(3) symmetry and describes the strong force between particles in an atom. QCD is a non-Abelian gauge theory because its gauge group is noncommutative. This leads to many intriguing effects.”

“I see the noncommuting part,” Max stated, trying to keep up. “But, what’s the connection to noncommuting charges in quantum thermodynamics?”

“That’s the golden question,” Shayna interjected, excitement in her voice. “In QCD, particle physics uses non-Abelian groups, so it may exhibit phenomena related to noncommuting charges in thermodynamics.”

“May is the keyword,” Uppity replied. “In QCD, the symmetry is local, unlike the global symmetries described in the Perspective. An open question is how much noncommuting-charge quantum thermodynamics applies to non-Abelian gauge theories.”

Max turned his gaze to Jada. “How about you? What are hydrodynamics and heavy-ion collisions?” he asked, setting up more exposition.

Jada dropped her pencil and raised her head. “Hydrodynamics is the study of fluid motion and the forces acting on them,” she began. “We focus on large-scale properties, assuming that even if the fluid isn’t in equilibrium as a whole, small regions within it are. Hydrodynamics can explain systems in condensed matter and stages of heavy-ion collisions—collisions between large atomic nuclei at high speeds.”

“Where does the non-Abelian part come in?” Max asked, his curiosity piqued.

“Hydrodynamics researchers have identified specific effects caused by non-Abelian symmetries,” Jada answered. “These include non-Abelian contributions to conductivity, effects on entropy currents, and shortening neutralization times in heavy-ion collisions.”

“Are you looking for more effects due to non-Abelian symmetries?” Shayna asked, her interest clear. “A long-standing question is how heavy-ion collisions thermalize. Maybe the non-Abelian ETH would help explain this?”

Jada nodded, a faint smile playing on her lips. “That’s the hope. But as with all cutting-edge research, the answers are elusive.”

Max glanced at Shayna, his eyes thoughtful. “Let’s wrap this up. We’ve got some thinking to do.”


After hearing from each researcher, Max and Shayna found themselves back at the office. The dim light of the flickering bulb cast long shadows on the walls. Max poured himself a drink. He offered one to Shayna, who declined, her eyes darting around the room, betraying her nerves.

“So,” Max said, leaning back in his chair, the creak of the wood echoing in the silence. “Everyone seems to be minding their own business. Well…” Max paused, taking a slow sip of his drink, “almost everyone.”

Shayna’s eyes widened, a flicker of panic crossing her face. “I’m not sure who you’re referring to,” she said, her voice wavering slightly. “Did you figure out who stole my work?” She took a seat, her discomfort apparent.

Max stood up and began circling Shayna’s chair like a predator stalking its prey. His eyes were sharp, scrutinizing her every move. “I couldn’t help but notice all the questions you were asking and your eyes peeking onto their desks.”

Shayna sighed, her confident façade cracking under the pressure. “You’re good, Max. Too good… No one stole my work.” Shayna looked down, her voice barely above a whisper. “I read that Perspective article. It mentioned all these promising research avenues. I wanted to see what others were working on so I could get a jump on them.”

Max shook his head, a wry smile playing on his lips. “You tried to scoop the scoopers, huh?”

Shayna nodded, looking somewhat sheepish. “I guess I got a bit carried away.”

Max chuckled, pouring himself another drink. “Science is a tough game, Dr. Majidy. Just make sure next time you play fair.”

As Shayna left the office, Max watched the rain continue to fall outside. His thoughts lingered on the strange case, a world where the race for discovery was cutthroat and unforgiving. But even in the darkest corners of competition, integrity was a prize worth keeping…

That concludes my four-part series on our recent Perspective article. I hope you had as much fun reading them as I did writing them.

A classical foreshadow of John Preskill’s Bell Prize

Editor’s Note: This post was co-authored by Hsin-Yuan Huang (Robert) and Richard Kueng.

John Preskill, Richard P. Feynman Professor of Theoretical Physics at Caltech, has been named the 2024 John Stewart Bell Prize recipient. The prize honors John’s contributions in “the developments at the interface of efficient learning and processing of quantum information in quantum computation, and following upon long standing intellectual leadership in near-term quantum computing.” The committee cited John’s seminal work defining the concept of the NISQ (noisy intermediate-scale quantum) era, our joint work “Predicting Many Properties of a Quantum System from Very Few Measurements” proposing the classical shadow formalism, along with subsequent research that builds on classical shadows to develop new machine learning algorithms for processing information in the quantum world.

We are truly honored that our joint work on classical shadows played a role in John winning this prize. But as the citation implies, this is also a much-deserved “lifetime achievement” award. For the past two and a half decades, first at IQI and now at IQIM, John has cultivated a wonderful, world-class research environment at Caltech that celebrates intellectual freedom, while fostering collaborations between diverse groups of physicists, computer scientists, chemists, and mathematicians. John has said that his job is to shield young researchers from bureaucratic issues, teaching duties and the like, so that we can focus on what we love doing best. This extraordinary generosity of spirit has been responsible for seeding the world with some of the bests minds in the field of quantum information science and technology.

A cartoon depiction of John Preskill (Middle), Hsin-Yuan Huang (Left), and Richard Kueng (Right). [Credit: Chi-Yun Cheng]

It is in this environment that the two of us (Robert and Richard) met and first developed the rudimentary form of classical shadows — inspired by Scott Aaronson’s idea of shadow tomography. While the initial form of classical shadows is mathematically appealing and was appreciated by the theorists (it was a short plenary talk at the premier quantum information theory conference), it was deemed too abstract to be of practical use. As a result, when we submitted the initial version of classical shadows for publication, the paper was rejected. John not only recognized the conceptual beauty of our initial idea, but also pointed us towards a direction that blossomed into the classical shadows we know today. Applications range from enabling scientists to more efficiently understand engineered quantum devices, speeding up various near-term quantum algorithms, to teaching machines to learn and predict the behavior of quantum systems.

Congratulations John! Thank you for bringing this community together to do extraordinarily fun research and for guiding us throughout the journey.

Building a Koi pond with Lie algebras

When I was growing up, one of my favourite places was the shabby all-you-can-eat buffet near our house. We’d walk in, my mom would approach the hostess to explain that, despite my being abnormally large for my age, I qualified for kids-eat-free, and I would peel away to stare at the Koi pond. The display of different fish rolling over one another was bewitching. Ten-year-old me would have been giddy to build my own Koi pond, and now I finally have. However, I built one using Lie algebras.

The different fish swimming in the Koi pond are, in many ways, like charges being exchanged between subsystems. A “charge” is any globally conserved quantity. Examples of charges include energy, particles, electric charge, or angular momentum. Consider a system consisting of a cup of coffee in your office. The coffee will dynamically exchange charges with your office in the form of heat energy. Still, the total energy of the coffee and office is conserved (assuming your office walls are really well insulated). In this example, we had one type of charge (heat energy) and two subsystems (coffee and office). Consider now a closed system consisting of many subsystems and many different types of charges. The closed system is like the finite Koi pond with different charges like the different fish species. The charges can move around locally, but the total number of charges is globally fixed, like how the fish swim around but can’t escape the pond. Also, the presence of one type of charge can alter another’s movement, just as a big fish might block a little one’s path. 

Unfortunately, the Koi pond analogy reaches its limit when we move to quantum charges. Classically, charges commute. This means that we can simultaneously determine the amount of each charge in our system at each given moment. In quantum mechanics, this isn’t necessarily true. In other words, classically, I can count the number of glossy fish and matt fish. But, in quantum mechanics, I can’t.

So why does this matter? Subsystems exchanging charges are prevalent in thermodynamics. Quantum thermodynamics extends thermodynamics to include small systems and quantum effects. Noncommutation underlies many important quantum phenomena. Hence, studying the exchange of noncommuting charges is pivotal in understanding quantum thermodynamics. Consequently, noncommuting charges have emerged as a rapidly growing subfield of quantum thermodynamics. Many interesting results have been discovered from no longer assuming that charges commute (such as these). Until recently, most of these discoveries have been theoretical. Bridging these discoveries to experimental reality requires Hamiltonians (functions that tell you how your system evolves in time) that move charges locally but conserve them globally. Last year it was unknown whether these Hamiltonians exist, what they look like generally, how to build them, and for what charges you could find them.

Nicole Yunger Halpern (NIST physicist, my co-advisor, and Quantum Frontiers blogger) and I developed a prescription for building Koi ponds for noncommuting charges. Our prescription allows you to systematically build Hamiltonians that overtly move noncommuting charges between subsystems while conserving the charges globally. These Hamiltonians are built using Lie algebras, abstract mathematical tools that can describe many physical quantities (including everything in the standard model of particle physics and space-time metric). Our results were recently published in npj QI. We hope that our prescription will bolster the efforts to bridge the results of noncommuting charges to experimental reality.

In the end, a little group theory was all I needed for my Koi pond. Maybe I’ll build a treehouse next with calculus or a remote control car with combinatorics.

Balancing the tradeoff

So much to do, so little time. Tending to one task is inevitably at the cost of another, so how does one decide how to spend their time? In the first few years of my PhD, I balanced problem sets, literature reviews, and group meetings, but at the detriment to my hobbies. I have played drums my entire life, but I largely fell out of practice in graduate school. Recently, I made time to play with a group of musicians, even landing a couple gigs in downtown Austin, Texas, “live music capital of the world.” I have found attending to my non-physics interests makes my research hours more productive and less taxing. Finding the right balance of on- versus off-time has been key to my success as my PhD enters its final year.

Of course, life within physics is also full of tradeoffs. My day job is as an experimentalist. I use tightly focused laser beams, known as optical tweezers, to levitate micrometer-sized glass spheres. I monitor a single microsphere’s motion as it undergoes collisions with air molecules, and I study the system as an environmental sensor of temperature, fluid flow, and acoustic waves; however, by night I am a computational physicist. I code simulations of interacting qubits subject to kinetic constraints, so-called quantum cellular automata (QCA). My QCA work started a few years ago for my Master’s degree, but my interest in the subject persists. I recently co-authored one paper summarizing the work so far and another detailing an experimental implementation.

The author doing his part to “keep Austin weird” by playing the drums dressed as grackle (note the beak), the central-Texas bird notorious for overrunning grocery store parking lots.
Balancing research interests: Trapping a glass microsphere with optical tweezers.
Balancing research interests: Visualizing the time evolution of four different QCA rules.

QCA, the subject of this post, are themselves tradeoff-aware systems. To see what I mean, first consider their classical counterparts cellular automata. In their simplest construction, the system is a one-dimensional string of bits. Each bit takes a value of 0 or 1 (white or black). The bitstring changes in discrete time steps based on a simultaneously-applied local update rule: Each bit, along with its two nearest-neighbors, determine the next state of the central bit. Put another way, a bit either flips, i.e., changes 0 to 1 or 1 to 0, or remains unchanged over a timestep depending on the state of that bit’s local neighborhood. Thus, by choosing a particular rule, one encodes a trade off between activity (bit flips) and inactivity (bit remains unchanged). Despite their simple construction, cellular automata dynamics are diverse; they can produce fractals and encryption-quality random numbers. One rule even has the ability to run arbitrary computer algorithms, a property known as universal computation.

Classical cellular automata. Left: rule 90 producing the fractal Sierpiński’s triangle. Middle: rule 30 can be used to generate random numbers. Right: rule 110 is capable of universal computation.

In QCA, bits are promoted to qubits. Instead of being just 0 or 1 like a bit, a qubit can be a continuous mixture of both 0 and 1, a property called superposition. In QCA, a qubit’s two neighbors being 0 or 1 determine whether or not it changes. For example, when in an active neighborhood configuration, a qubit can be coded to change from 0 to “0 plus 1” or from 1 to “0 minus 1”. This is already a head-scratcher, but things get even weirder. If a qubit’s neighbors are in a superposition, then the center qubit can become entangled with those neighbors. Entanglement correlates qubits in a way that is not possible with classical bits.

Do QCA support the emergent complexity observed in their classical cousins? What are the effects of a continuous state space, superposition, and entanglement? My colleagues and I attacked these questions by re-examining many-body physics tools through the lens of complexity science. Singing the lead, we have a workhorse of quantum and solid-state physics: two-point correlations. Singing harmony we have the bread-and-butter of network analysis: complex-network measures. The duet between the two tells the story of structured correlations in QCA dynamics.

In a bit more detail, at each QCA timestep we calculate the mutual information between all qubits i and all other qubits j. Doing so reveals how much there is to learn about one qubit by measuring another, including effects of quantum entanglement. Visualizing each qubit as a node, the mutual information can be depicted as weighted links between nodes: the more correlated two qubits are, the more strongly they are linked. The collection of nodes and links makes a network. Some QCA form unstructured, randomly-linked networks while others are highly structured. 

Complex-network measures are designed to highlight certain structural patterns within a network. Historically, these measures have been used to study diverse networked-systems like friend groups on Facebook, biomolecule pathways in metabolism, and functional-connectivity in the brain. Remarkably, the most structured QCA networks we observed quantitatively resemble those of the complex systems just mentioned despite their simple construction and quantum unitary dynamics. 

Visualizing mutual information networks. Left: A Goldilocks-QCA generated network. Right: a random network.

What’s more, the particular QCA that generate the most complex networks are those that balance the activity-inactivity trade-off. From this observation, we formulate what we call the Goldilocks principle: QCA that generate the most complexity are those that change a qubit if and only if the qubit’s neighbors contain an equal number of 1’s and 0’s. The Goldilocks rules are neither too inactive nor too active, balancing the tradeoff to be “just right.”  We demonstrated the Goldilocks principle for QCA with nearest-neighbor constraints as well as QCA with nearest-and-next-nearest-neighbor constraints.

To my delight, the scientific conclusions of my QCA research resonate with broader lessons-learned from my time as a PhD student: Life is full of trade-offs, and finding the right balance is key to achieving that “just right” feeling.

The shape of MIP* = RE

There’s a famous parable about a group of blind men encountering an elephant for the very first time. The first blind man, who had his hand on the elephant’s side, said that it was like an enormous wall. The second blind man, wrapping his arms around the elephant’s leg, exclaimed that surely it was a gigantic tree trunk. The third, feeling the elephant’s tail, declared that it must be a thick rope. Vehement disagreement ensues, but after a while the blind men eventually come to realize that, while each person was partially correct, there is much more to the elephant than initially thought.

6-blind-men-hans-1024x6541-1

Last month, Zhengfeng, Anand, Thomas, John and I posted MIP* = RE to arXiv. The paper feels very much like the elephant of the fable — and not just because of the number of pages! To a computer scientist, the paper is ostensibly about the complexity of interactive proofs. To a quantum physicist, it is talking about mathematical models of quantum entanglement. To the mathematician, there is a claimed resolution to a long-standing problem in operator algebras. Like the blind men of the parable, each are feeling a small part of a new phenomenon. How do the wall, the tree trunk, and the rope all fit together?

I’ll try to trace the outline of the elephant: it starts with a mystery in quantum complexity theory, curves through the mathematical foundations of quantum mechanics, and arrives at a deep question about operator algebras.

The rope: The complexity of nonlocal games

In 2004, computer scientists Cleve, Hoyer, Toner, and Watrous were thinking about a funny thing called nonlocal games. A nonlocal game G involves three parties: two cooperating players named Alice and Bob, and someone called the verifier. The verifier samples a pair of random questions (x,y) and sends x to Alice (who responds with answer a), and y to Bob (who responds with answer b). The verifier then uses some function D(x,y,a,b) that tells her whether the players win, based on their questions and answers.

All three parties know the rules of the game before it starts, and Alice and Bob’s goal is to maximize their probability of winning the game. The players aren’t allowed to communicate with each other during the game, so it’s a nontrivial task for them to coordinate an optimal strategy (i.e., how they should individually respond to the verifier’s questions) before the game starts.

The most famous example of a nonlocal game is the CHSH game (which has made several appearances on this blog already): in this game, the verifier sends a uniformly random bit x to Alice (who responds with a bit a) and a uniformly random bit y to Bob (who responds with a bit b). The players win if a \oplus b = x \wedge y (in other words, the sum of their answer bits is equal to the product of the input bits modulo 2).

What is Alice’s and Bob’s maximum winning probability? Well, it depends on what type of strategy they use. If they use a strategy that can be modeled by classical physics, then their winning probability cannot exceed 75\% (we call this the classical value of CHSH). On the other hand, if they use a strategy based on quantum physics, Alice and Bob can do better by sharing two quantum bits (qubits) that are entangled. During the game each player measures their own qubit (where the measurement depends on their received question) to obtain answers that win the CHSH game with probability \cos^2(\pi/8) \approx .854\ldots (we call this the quantum value of CHSH). So even though the entangled qubits don’t allow Alice and Bob to communicate with each other, entanglement gives them a way to win with higher probability! In technical terms, their responses are more correlated than what is possible classically.

The CHSH game comes from physics, and was originally formulated not as a game involving Alice and Bob, but rather as an experiment involving two spatially separated devices to test whether stronger-than-classical correlations exist in nature. These experiments are known as Bell tests, named after John Bell. In 1964, he proved that correlations from quantum entanglement cannot be explained by any “local hidden variable theory” — in other words, a classical theory of physics.1 He then showed that a Bell test, like the CHSH game, gives a simple statistical test for the presence of nonlocal correlations between separated systems. Since the 1960s, numerous Bell tests have been conducted experimentally, and the verdict is clear: nature does not behave classically.

Cleve, Hoyer, Toner and Watrous noticed that nonlocal games/Bell tests can be viewed as a kind of multiprover interactive proof. In complexity theory, interactive proofs are protocols where some provers are trying to convince a verifier of a solution to a long, difficult computation, and the verifier is trying to efficiently determine if the solution is correct. In a Bell test, one can think of the provers as instead trying to convince the verifier of a physical statement: that they possess quantum entanglement.

With the computational lens trained firmly on nonlocal games, it then becomes natural to ask about their complexity. Specifically, what is the complexity of approximating the optimal winning probability in a given nonlocal game G? In complexity-speak, this is phrased as a question about characterizing the class MIP* (pronounced “M-I-P star”). This is also a well-motivated question for an experimentalist conducting Bell tests: at the very least, they’d want to determine if (a) quantum players can do better than classical players, and (b) what can the best possible quantum strategy achieve?

Studying this question in the case of classical players led to some of the most important results in complexity theory, such as MIP = NEXP and the PCP Theorem. Indeed, the PCP Theorem says that it is NP-hard to approximate the classical value of a nonlocal game (i.e. the maximum winning probability of classical players) to within constant additive accuracy (say \pm \frac{1}{10}). Thus, assuming that P is not equal to NP, we shouldn’t expect a polynomial-time algorithm for this. However it is easy to see that there is a “brute force” algorithm for this problem: by taking exponential time to enumerate over all possible deterministic player strategies, one can exactly compute the classical value of nonlocal games.

When considering games with entangled players, however, it’s not even clear if there’s a similar “brute force” algorithm that solves this in any amount of time — forget polynomial time; even if we allow ourselves exponential, doubly-exponential, Ackermann function amount of time, we still don’t know how to solve this quantum value approximation problem. The problem is that there is no known upper bound on the amount of entanglement that is needed for players to play a nonlocal game. For example, for a given game G, does an optimal quantum strategy require one qubit, ten qubits, or 10^{10^{10}} qubits of entanglement? Without any upper bound, a “brute force” algorithm wouldn’t know how big of a quantum strategy to search for — it would keep enumerating over bigger and bigger strategies in hopes of finding a better one.

Thus approximating the quantum value may not even be solvable in principle! But could it really be uncomputable? Perhaps we just haven’t found the right mathematical tool to give an upper bound on the dimension — maybe we just need to come up with some clever variant of, say, Johnson-Lindenstrauss or some other dimension reduction technique.2

In 2008, there was promising progress towards an algorithmic solution for this problem. Two papers [DLTW, NPA] (appearing on arXiv on the same day!) showed that an algorithm based on semidefinite programming can produce a sequence of numbers that converge to something called the commuting operator value of a nonlocal game.3 If one could show that the commuting operator value and the quantum value of a nonlocal game coincide, then this would yield an algorithm for solving this approximation problem!

Asking whether this commuting operator and quantum values are the same, however, immediately brings us to the precipice of some deep mysteries in mathematical physics and operator algebras, far removed from computer science and complexity theory. This takes us to the next part of the elephant.

The tree: mathematical foundations of locality

The mystery about the quantum value versus the commuting operator value of nonlocal games has to do with two different ways of modeling Alice and Bob in quantum mechanics. As I mentioned earlier, quantum physics predicts that the maximum winning probability in, say, the CHSH game when Alice and Bob share entanglement is approximately 85%. As with any physical theory, these predictions are made using some mathematical framework — formal rules for modeling physical experiments like the CHSH game.

In a typical quantum information theory textbook, players in the CHSH game are usually modelled in the following way: Alice’s device is described a state space \mathcal{H}_A (all the possible states the device could be in), a particular state |\psi_A\rangle from \mathcal{H}_A, and a set of measurement operators \mathcal{M}_A (operations that can be performed by the device). It’s not necessary to know what these things are formally; the important feature is that these three things are enough to make any prediction about Alice’s device — when treated in isolation, at least. Similarly, Bob’s device can be described using its own state space \mathcal{H}_B, state |\psi_B\rangle, and measurement operators \mathcal{M}_B.

In the CHSH game though, one wants to make predictions about Alice’s and Bob’s devices together. Here the textbooks say that Alice and Bob are jointly described by the tensor product formalism, which is a natural mathematical way of “putting separate spaces together”. Their state space is denoted by \mathcal{H}_A \otimes \mathcal{H}_B. The joint state |\psi_{AB}\rangle describing the devices comes from this tensor product space. When Alice and Bob independently make their local measurements, this is described by a measurement operator from the tensor product of operators from \mathcal{M}_A and \mathcal{M}_B. The strange correlations of quantum mechanics arise when their joint state |\psi_{AB}\rangle is entangled, i.e. it cannot be written as a well-defined state on Alice’s side combined with a well-defined state on Bob’s side (even though the state space itself is two independent spaces combined together!)

The tensor product model works well; it satisfies natural properties you’d want from the CHSH experiment, such as the constraint that Alice and Bob can’t instantaneously signal to each other. Furthermore, predictions made in this model match up very accurately with experimental results!

This is the not the whole story, though. The tensor product formalism works very well in non-relativistic quantum mechanics, where things move slowly and energies are low. To describe more extreme physical scenarios — like when particles are being smashed together at near-light speeds in the Large Hadron Collider — physicists turn to the more powerful quantum field theory. However, the notion of spatiotemporal separation in relativistic settings gets especially tricky. In particular, when trying to describe quantum mechanical systems, it is no longer evident how to assign Alice and Bob their own independent state spaces, and thus it’s not clear how to put relativistic Alice and Bob in the tensor product framework!

In quantum field theory, locality is instead described using the commuting operator model. Instead of assigning Alice and Bob their own individual state spaces and then tensoring them together to get a combined space, the commuting operator model stipulates that there is just a single monolithic space \mathcal{H} for both Alice and Bob. Their joint state is described using a vector |\psi\rangle from \mathcal{H}, and Alice and Bob’s measurement operators both act on \mathcal{H}. The constraint that they can’t communicate is captured by the fact that Alice’s measurement operators commute with Bob’s operators. In other words, the order in which the players perform their measurements on the system does not matter: Alice measuring before Bob, or Bob measuring before Alice, both yield the same statistical outcomes. Locality is enforced through commutativity.

The commuting operator framework contains the tensor product framework as a special case4, so it’s more general. Could the commuting operator model allow for correlations that can’t be captured by the tensor product model, even approximately56? This question is known as Tsirelson’s problem, named after the late mathematician Boris Tsirelson.

There is a simple but useful way to phrase this question using nonlocal games. What we call the “quantum value” of a nonlocal game G (denoted by \omega^* (G)) really refers to the supremum of success probabilities over tensor product strategies for Alice and Bob. If they use strategies from the more general commuting operator model, then we call their maximum success probability the commuting operator value of G (denoted by \omega^{co}(G)). Since tensor product strategies are a special case of commuting operator strategies, we have the relation \omega^* (G) \leq \omega^{co}(G) for all nonlocal games G.

Could there be a nonlocal game G whose tensor product value is different from its commuting operator value? With tongue-in-cheek: is there a game G that Alice and Bob could succeed at better if they were using quantum entanglement at near-light speeds? It is difficult to find even a plausible candidate game for which the quantum and commuting operator values may differ. The CHSH game, for example, has the same quantum and commuting operator value; this was proved by Tsirelson.

If the tensor product and the commuting operator models are the same (i.e., the “positive” resolution of Tsirelson’s problem), then as I mentioned earlier, this has unexpected ramifications: there would be an algorithm for approximating the quantum value of nonlocal games.

How does this algorithm work? It comes in two parts: a procedure to search from below, and one to search from above. The “search from below” algorithm computes a sequence of numbers \alpha_1,\alpha_2,\alpha_3,\ldots where \alpha_d is (approximately) the best winning probability when Alice and Bob use a d-qubit tensor product strategy. For fixed d, the number \alpha_d can be computed by enumerating over (a discretization of) the space of all possible d-qubit strategies. This takes a doubly-exponential amount of time in d — but at least this is still a finite time! This naive “brute force” algorithm will slowly plod along, computing a sequence of better and better winning probabilities. We’re guaranteed that in the limit as d goes to infinity, the sequence \{ \alpha_d\} converges to the quantum value \omega^* (G). Of course the issue is that the “search from below” procedure never knows how close it is to the true quantum value.

This is where the “search from above” comes in. This is an algorithm that computes a different sequence of numbers \beta_1,\beta_2,\beta_3,\ldots where each \beta_d is an upper bound on the commuting operator value \omega^{co}(G), and furthermore as d goes to infinity, \beta_d eventually converges to \omega^{co}(G). Furthermore, each \beta_d can be computed by a technique known as semidefinite optimization; this was shown by the two papers I mentioned.

Let’s put the pieces together. If the quantum and commuting operator values of a game G coincide (i.e. \omega^* (G) = \omega^{co}(G)), then we can run the “search from below” and “search from above” procedures in parallel, interleaving the computation of the \{\alpha_d\} and \{ \beta_d\}. Since both are guaranteed to converge to the quantum value, at some point the upper bound \beta_d will come within some \epsilon to the lower bound \alpha_d, and thus we would have homed in on (an approximation of) \omega^* (G). There we have it: an algorithm to approximate the quantum value of games.

All that remains to do, surely, is to solve Tsirelson’s problem in the affirmative (that commuting operator correlations can be approximated by tensor product correlations), and then we could put this pesky question about the quantum value to rest. Right?

The wall: Connes’ embedding problem

At the end of the 1920s, polymath extraordinaire John von Neumann formulated the first rigorous mathematical framework for the recently developed quantum mechanics. This framework, now familiar to physicists and quantum information theorists everywhere, posits that quantum states are vectors in a Hilbert space, and measurements are linear operators acting on those spaces. It didn’t take long for von Neumann to realize that there was a much deeper theory of operators on Hilbert spaces waiting to be discovered. With Francis Murray, in the 1930s he started to develop a theory of “rings of operators” — today these are called von Neumann algebras.

The theory of operator algebras has since flourished into a rich and beautiful area of mathematics. It remains inseparable from mathematical physics, but has established deep connections with subjects such as knot theory and group theory. One of the most important goals in operator algebras has been to provide a classification of von Neumann algebras. In their series of papers on the subject, Murray and von Neumann first showed that classifying von Neumann algebras reduces to understanding their factors, the atoms out of which all von Neumann algebras are built. Then, they showed that factors of von Neumann algebras come in one of three species: type I, type II, and type III. Type I factors were completely classified by Murray and von Neumann, and they made much progress on characterizing certain type II factors. However progress stalled until the 1970s, when Alain Connes provided a classification of type III factors (work for which he would later receive the Fields Medal). In the same 1976 classification paper, Connes makes a casual remark about something called type II_1 factors7:

We now construct an embedding of N into \mathcal{R}. Apparently such an embedding ought to exist for all II_1 factors.

This line, written in almost a throwaway manner, eventually came to be called “Connes’ embedding problem”: does every separable II_1 factor embed into an ultrapower of the hyperfinite II_1 factor? It seems that Connes surmises that it does (and thus this is also called “Connes’ embedding conjecture“). Since 1976, this problem has grown into a central question of operator algebras, with numerous equivalent formulations and consequences across mathematics.

In 2010, two papers (again appearing on the arXiv on the same day!) showed that the reach of Connes’ embedding conjecture extends back to the foundations of quantum mechanics. If Connes’ embedding problem has a positive answer (i.e. an embedding exists), then Tsirelson’s problem (i.e. whether commuting operator can be approximated by tensor product correlations) also has a positive answer! Later it was shown by Ozawa that Connes’ embedding problem is in fact equivalent to Tsirelson’s problem.

Remember that our approach to compute the value of nonlocal games hinged on obtaining a positive answer to Tsirelson’s problem. The sequence of papers [NPA, DLTW, Fritz, JNPPSW] together show that resolving — one way or another — whether this search-from-below, search-from-above algorithm works would essentially settle Connes’ embedding conjecture. What started as a funny question at the periphery of computer science and quantum information theory has morphed into an attack on one of the central problems in operator algebras.

MIP* = RE

We’ve now ended back where we started: the complexity of nonlocal games. Let’s take a step back and try to make sense of the elephant.

Even to a complexity theorist, “MIP* = RE” may appear esoteric. The complexity classes MIP* and RE refer to a bewildering grabbag of concepts: there’s Alice, Bob, Turing machines, verifiers, interactive proofs, quantum entanglement. What is the meaning of the equality of these two classes?

First, it says that the Halting problem has an interactive proof involving quantum entangled provers. In the Halting problem, you want to decide whether a Turing machine M, if you started running it, would eventually terminate with a well-defined answer, or if it would get stuck in an infinite loop. Alan Turing showed that this problem is undecidable: there is no algorithm that can solve this problem in general. Loosely speaking, the best thing you can do is to just flick on the power switch to M, and wait to see if it eventually stops. If M gets stuck in an infinite loop — well, you’re going to be waiting forever.

MIP* = RE shows with the help of all-powerful Alice and Bob, a time-limited verifier can run an interactive proof to “shortcut” the waiting. Given the Turing machine M‘s description (its “source code”), the verifier can efficiently compute a description of a nonlocal game G_M whose behavior reflects that of M. If M does eventually halt (which could happen after a million years), then there is a strategy for Alice and Bob that causes the verifier to accept with probability 1. In other words, \omega^* (G_M) = 1. If M gets stuck in an infinite loop, then no matter what strategy Alice and Bob use, the verifier always rejects with high probability, so \omega^* (G_M) is close to 0.

By playing this nonlocal game, the verifier can obtain statistical evidence that M is a Turing machine that eventually terminates. If the verifier plays G_M and the provers win, then the verifier should believe that it is likely that M halts. If they lose, then the verifier concludes there isn’t enough evidence that M halts8. The verifier never actually runs M in this game; she has offloaded the task to Alice and Bob, who we can assume are computational gods capable of performing million-year-long computations instantly. For them, the challenge is instead to convince the verifier that if she were to wait millions of years, she would witness the termination of M. Incredibly, the amount of work put in by the verifier in the interactive proof is independent of the time it takes for M to halt!

The fact that the Halting problem has an interactive proof seems borderline absurd: if the Halting problem is unsolvable, why should we expect it to be verifiable? Although complexity theory has taught us that there can be a large gap between the complexity of verification versus search, it has always been a difference of efficiency: if solutions to a problem can be efficiently verified, then solutions can also be found (albeit at drastically higher computational cost). MIP* = RE shows that, with quantum entanglement, there can be a chasm of computability between verifying solutions and finding them.

Now let’s turn to the non-complexity consequences of MIP* = RE. The fact that we can encode the Halting problem into nonlocal games also immediately tells us that there is no algorithm whatsoever to approximate the quantum value. Suppose there was an algorithm that could approximate \omega^* (G). Then, using the transformation from Turing machines to nonlocal games mentioned above, we could use this algorithm to solve the Halting problem, which is impossible.

Now the dominoes start to fall. This means that, in particular, the proposed “search-from-below”/”search-from-above” algorithm cannot succeed in approximating \omega^* (G). There must be a game G, then, for which the quantum value is different from the commuting operator value. But this implies Tsirelson’s problem has a negative answer, and therefore Connes’ embedding conjecture is false.

We’ve only sketched the barest of outlines of this elephant, and yet it is quite challenging to hold it in the mind’s eye all at once9. This story is intertwined with some of the most fundamental developments in the past century: modern quantum mechanics, operator algebras, and computability theory were birthed in the 1930s. Einstein, Podolsky and Rosen wrote their landmark paper questioning the nature of quantum entanglement in 1935, and John Bell discovered his famous test and inequality in 1964. Connes’ formulated his conjecture in the ’70s, Tsirelson made his contributions to the foundations of quantum mechanics in the ’80s, and about the same time computer scientists were inventing the theory of interactive proofs and probabilistically checkable proofs (PCPs).

We haven’t said anything about the proof of MIP* = RE yet (this may be the subject of future blog posts), but it is undeniably a product of complexity theory. The language of interactive proofs and Turing machines is not just convenient but necessary: at its heart MIP* = RE is the classical PCP Theorem, with the help of quantum entanglement, recursed to infinity.

What is going on in this proof? What parts of it are fundamental, and which parts are unnecessary? What is the core of it that relates to Connes’ embedding conjecture? Are there other consequences of this uncomputability result? These are questions to be explored in the coming days and months, and the answers we find will be fascinating.

Acknowledgments. Thanks to William Slofstra and Thomas Vidick for helpful feedback on this post.


  1. This is why quantum correlations are called “nonlocal”, and why we call the CHSH game a “nonlocal game”: it is a test for nonlocal behavior. 
  2. A reasonable hope would be that, for every nonlocal game G, there is a generic upper bound on the number of qubits needed to approximate the optimal quantum strategy (e.g., a game G with Q possible questions and A possible answers would require at most, say, 2^{O(Q \cdot A)} qubits to play optimally). 
  3. In those papers, they called it the field theoretic value
  4. The space \mathcal{H} can be broken down into the tensor product \mathcal{H}_A \otimes \mathcal{H}_B, and Alice’s measurements only act on the \mathcal{H}_A space and Bob’s measurements only act on the \mathcal{H}_B space. In this case, Alice’s measurements clearly commute with Bob’s. 
  5. In a breakthrough work in 2017, Slofstra showed that the tensor product framework is not exactly the same as the commuting operator framework; he shows that there is a nonlocal game G where players using commuting operator strategies can win with probability 1, but when they use a tensor-product strategy they can only win with probability strictly less than 1. However the perfect commuting operator strategy can be approximated by tensor-product strategies arbitrarily well, so the quantum values and the commuting operator values of G are the same. 
  6. The commuting operator model is motivated by attempts to develop a rigorous mathematical framework for quantum field theory from first principles (see, for example algebraic quantum field theory (AQFT)). In the “vanilla” version of AQFT, tensor product decompositions between casually independent systems do not exist a priori, but mathematical physicists often consider AQFTs augmented with an additional “split property”, which does imply tensor product decompositions. Thus in such AQFTs, Tsirelson’s problem has an affirmative answer. 
  7. Type II_1 is pronounced “type two one”. 
  8. This is not the same as evidence that M loops forever! 
  9. At least, speaking for myself. 

The entangled fabric of space

We live in the information revolution. We translate everything into vast sequences of ones and zeroes. From our personal email to our work documents, from our heart rates to our credit rates, from our preferred movies to our movie preferences, all things information are represented using this minimal {0,1} alphabet which our digital helpers “understand” and process. Many of us physicists are now taking this information revolution at heart and embracing the “It from qubit” motto. Our dream: to understand space, time and gravity as emergent features in a world made of information – quantum information.

Over the past two years, I have been obsessively trying to understand this profound perspective more rigorously. Recently, John Preskill and I have taken a further step in this direction in the recent paper: quantum code properties from holographic geometries. In it, we make progress in interpreting features of the holographic approach to quantum gravity in the terms of quantum information constructs. 

In this post I would like to present some context for this work through analogies which hopefully help intuitively convey the general ideas. While still containing some technical content, this post is not likely to satisfy those readers seeking a precise in-depth presentation. To you I can only recommend the masterfully delivered lecture notes on gravity and entanglement by Mark Van Raamsdonk.  

Entanglement as a cat’s cradle

Cats-cradle

A cat’s cradle serves as a crude metaphor for quantum mechanical entanglement. The full image provides a complete description of the string and how it is laced in a stable configuration around the two hands. However, this lacing does not describe a stable configuration of half the string on one hand. The string would become disentangled and fall if we were to suddenly remove one of the hands or cut through the middle.

Of all the concepts needed to explain emergent spacetime, maybe the most difficult is that of quantum entanglement. While the word seems to convey some kind of string wound up in a complicated way, it is actually a quality which may describe information in quantum mechanical systems. In particular, it applies to a system for which we have a complete description as a whole, but are only capable of describing certain statistical properties of its parts. In other words, our knowledge of the whole loses predictive power when we are only concerned with the parts. Entanglement entropy is a measure of information which quantifies this.

While our metaphor for entanglement is quite crude, it will serve the purpose of this post. Namely, to illustrate one of the driving premises for the holographic approach to quantum gravity, that the very structure of spacetime is emergent and built up from entanglement entropy.

Knit and crochet your way into the manifolds

But let us bring back our metaphors and try to convey the content of this identification. For this, we resort to the unlikely worlds of knitting and crochet. Indeed, by a planned combination of individual loops and stitches, these traditional crafts are capable of approximating any kind of surface (2D Riemannian surface would be the technical term).

Here I have presented some examples with uniform curvature R: flat in green, positive curvature (ball) in yellow and negative curvature (coral reef) in purple. While actual practitioners may be more interested in getting the shape right on hats and socks for loved ones, for us the point is that if we take a step back, these objects built of simple loops, hooks and stitches could end up looking a lot like the smooth surfaces that a physicist might like to use to describe 2D space. This is cute, but can we push this metaphor even further?

Well, first of all, although the pictures above are only representing 2D surfaces, we can expect that a similar approach should allow approximating 3D and even higher dimensional objects (again the technical term is Riemannian manifolds). It would just make things much harder to present in a picture. These woolen structures are, in fact, quite reminiscent of tensor networks, a modern mathematical construct widely used in the field of quantum information. There too, we combine basic building blocks (tensors) through simple operations (tensor index contraction) to build a more complex composite object. In the tensor network world, the structure of the network (how its nodes are connected to other nodes) generically defines the entanglement structure of the resulting object.

PentagonTensorNetwork

This regular tensor network layout was used to describe hyperbolic space which is similar to the purple crochet. However, they apriori look quite dissimilar due to the use of the Poincaré disk model where tensors further from the center look smaller. Another difference is that the high degree of regularity is achieved at the expense of having very few tensors per curvature radius (as compared to its purple crochet cousin). However, planarity and regularity don’t seem to be essential so the crochet probably provides a better intuitive picture.

Roughly speaking, tensor networks are ingenious ways of encoding (quantum) inputs into (quantum) outputs. In particular, if you enter some input at the boundary of your tensor network, the tensors do the work of processing that information throughout the network so that if you ask for an output at any one of the nodes in the bulk of the tensor network, you get the right encoded answer. In other words, the information we input into the tensor network begins its journey at the dangling edges found at the boundary of the network and travels through the bulk edges by exploiting them as information bridges between the nodes of the network.

In the figure representing the cat’s cradle, these dangling input edges can be though of as the fingers holding the wool. Now, if we partition these edges into two disjoint sets (say, the fingers on the left hand and the fingers on the right hand, respectively), there will be some amount of entanglement between them. How much? In general, we cannot say, but under certain assumptions we find that it is proportional to the minimum cut through the network. Imagine you had an incredible number of fingers holding your wool structure. Now separate these fingers arbitrarily into two subsets L and R (we may call them left hand and right hand, although there is nothing right or left handy about them). By pulling left hand and right hand apart, the wool might stretch until at some point it breaks. How many threads will break? Well, the question is analogous to the entanglement one. We might expect, however, that a minimal number of threads break such that each hand can go its own way. This is what we call the minimal cut. In tensor networks, entanglement entropy is always bounded above by such a minimal cut and it has been confirmed that under certain conditions entanglement also reaches, or approximates, this bound. In this respect, our wool analogy seems to be working out.

Holography

Holography, in the context of black holes, was sparked by a profound observation of Jacob Bekenstein and Stephen Hawking, which identified the surface area of a black hole horizon (in Planck units) with its entropy, or information content:BHentropyF1

S_{BH} = \frac{k A_{BH}}{4\ell_p^2} .

Here, S_{BH} is the entropy associated to the black hole, A_{BH} is its horizon area, \ell_p is the Planck length and k is Boltzmann’s constant.
Why is this equation such a big deal? Well, there are many reasons, but let me emphasize one. For theoretical physicists, it is common to get rid of physical units by relating them through universal constants. For example, the theory of special relativity allows us to identify units of distance with units of time through the equation d=ct using the speed of light c. General relativity further allows us to identify mass and energy through the famous E=mc^2. By considering the Bekenstein-Hawking entropy, units of area are being swept away altogether! They are being identified with dimensionless units of information (one square meter is roughly 1.4\times10^{69} bits according to the Bousso bound).

Initially, the identification of area and information was proposed to reconcile black holes with the laws of thermodynamics. However, this has turned out to be the main hint leading to the holographic principle, wherein states that describe a certain volume of space in a theory of quantum gravity can also be thought of as being represented at the lower dimensional boundary of the given volume. This idea, put forth by Gerard ‘t Hooft, was later given a more precise interpretation by Leonard Susskind and subsequently by Juan Maldacena through the celebrated AdS/CFT correspondence. I will not dwell in the details of the AdS/CFT correspondence as I am not an expert myself. However, this correspondence gave S. Ryu and T. Takayanagi  (RT) a setting to vastly generalize the identification of area as an information quantity. They proposed identifying the area of minimal surfaces on the bulk (remember the minimal cut?) with entanglement entropy in the boundary theory.

Roughly speaking, if we were to split the boundary into two regions, left L and right R it should be possible to also partition the bulk in a way that each piece of the bulk has either L or R in its boundary. Ryu and Takayanagi proposed that the area of the smallest surface \chi_R=\chi_L which splits the bulk in this way would be proportional to the entanglement entropy between the two parts

S_L = S_R = \frac{|\chi_L|}{4G} =\frac{|\chi_R|}{4G}.

It turns out that some quantum field theory states admit such a geometric interpretation. Many high energy theory colleagues have ideas about when this is possible and what are the necessary conditions. By far the best studied setting for this holographic duality is AdS/CFT, where Ryu and Takayanagi first checked their proposal. Here, the entanglement features of  the lowest energy state of a conformal field theory are matched to surfaces in a hyperbolic space (like the purple crochet and the tensor network presented). However, other geometries have been shown to match the RT prediction with respect to the entanglement properties of different states. The key point here is that the boundary states do not have any geometry per se. They just manifest different amounts of entanglement when partitioned in different ways.

Emergence

The holographic program suggests that bulk geometry emerges from the entanglement properties of the boundary state. Spacetime materializes from the information structure of the boundary instead of being a fundamental structure as in general relativity. Am I saying that we should strip everything physical, including space in favor of ones and zeros? Well, first of all, it is not just me who is pushing this approach. Secondly, no one is claiming that we should start making all our physical reasoning in terms of ones and zeros.

Let me give an example. We know that the sea is composed mostly of water molecules. The observation of waves that travel, superpose and break can be labeled as an emergent phenomenon. However, to a surfer, a wave is much more real than the water molecules composing it and the fact that it is emergent is of no practical consequence when trying to predict where a wave will break. A proficient physicist, armed with tools from statistical mechanics (there are more than 10^{25} molecules per liter), could probably derive a macroscopic model for waves from the microscopic theory of particles. In the process of learning what the surfer already understood, he would identify elements of the  microscopic theory which become irrelevant for such questions. Such details could be whether the sea has an odd or even number of molecules or the presence of a few fish.

In the case of holography, each square meter corresponds to 1.4\times10^{69} bits of entanglement. We don’t even have words to describe anything close to this outrageously large exponent which leaves plenty of room for emergence. Even taking all the information on the internet – estimated at 10^{22} bits (10 zettabits) – we can’t even match the area equivalent of the smallest known particle. The fact that there are so many orders of magnitude makes it difficult to extrapolate our understanding of the geometric domain to the information domain and vice versa. This is precisely the realm where techniques such as those from statistical mechanics successfully get rid of irrelevant details.

High energy theorists and people with a background in general relativity tend to picture things in a continuum language. For example, part of their daily butter are Riemannian or Lorentzian manifolds which are respectively used to describe space and spacetime. In contrast, most of information theory is usually applied to deal with discrete elements such as bits, elementary circuit gates, etc. Nevertheless, I believe it is fruitful to straddle this cultural divide to the benefit of both parties. In a way, the convergence we are seeking is analogous to the one achieved by the kinetic theory of gases, which allowed the unification of thermodynamics with classical mechanics.

So what did we do?

The remarkable success of the geometric RT prediction to different bulk geometries such as the BTZ black holes and the generality of the entanglement result for its random tensor network cousins emboldened us to take the RT prescription beyond its usual domain of application. We considered applying it to arbitrary Riemannian manifolds that are space-like and that can be approximated by a smoothly knit fabric.

Furthermore, we went on to consider the implications that such assumptions would have when the corresponding geometries are interpreted as error-correcting codes. In fact, our work elaborates on the perspective of A. Almheiri, X. Dong and D. Harlow (ADH) where quantum error-correcting code properties of AdS/CFT were laid out; it is hard to overemphasize the influence of this work. Our work considers general geometries and identifies properties a code associated to a specific holographic geometry should satisfy.

In the cat cradle/fabric metaphor for holography, the fingers at the boundary constitute the boundary theory without gravity and the resulted fabric represents a bulk geometry in the corresponding bulk gravitational theory. Bulk observables may be represented in different ways on the boundary, but not arbitrarily. This raises the question of which parts of the bulk correspond to which parts of the boundary. In general, there is not a one to one mapping. However, if we partition the boundary in two parts L and R, we expect to be able to split the bulk into two corresponding regions  {\mathcal E}[L]  and  {\mathcal E}[R]. This is the content of the entanglement wedge hypothesis, which is our other main assumption.  In our metaphor, one could imagine that we pull the left fingers up and the right fingers down (taking care not to get hurt). At some point, the fabric breaks through \chi_R into two pieces. In the setting we are concerned with, these pieces maintain part of the original structure, which tells us which bulk information was available in one piece of the boundary and which part was available in the other.

Although we do not produce new explicit examples of such codes, we worked our way towards developing a language which translates between the holographic/geometric perspective and the coding theory perspective. We specifically build upon the language of operator algebra quantum error correction (OAQEC) which allows individually focusing on different parts of the logical message. In doing so we identified several coding theoretic bounds and quantities, some of which we found to be applicable beyond the context of holography. A particularly noteworthy one is a strengthening of the quantum Singleton bound, which defines a trade-off between how much logical information can be packed in a code, how much physical space is used for encoding this information and how well-protected the information is from erasures.

One of the central observations of ADH highlights how quantum codes have properties from both classical error-correcting codes and secret sharing schemes. On the one hand, logical encoded information should be protected from loss of small parts of the carrier, a property quantified by the code distance. On the other hand, the logical encoded information should not become accessible until a sufficiently large part of the carrier is available to us. This is quantified by the threshold of a corresponding secret sharing scheme. We call this quantity price as it identifies how much of the carrier we would need before someone could reconstruct the message faithfully. In general, it is hard to balance these two competing requirements; a statement which can be made rigorous. This kind of complementarity has long been recognized in quantum cryptography. However, we found that according to holographic predictions, codes admitting a geometric interpretation achieve a remarkable optimality in the trade-off between these features.

Our exploration of alternative geometries is rewarded by the following guidelines

CantorWedge

In uberholography, bulk observables are accessible in a Cantor type fractal shaped subregion of the boundary. This is illustrated on the Poincare disc presentation of negatively curved bulk.

  • Hyperbolic geometries predict a fixed polynomial scaling for code distance. This is illustrated by a feature we call uberholography. We use this name because there is an excess of holography wherein bulk observables can be represented on intricate subsets of the boundary which have fractal dimension even smaller than the boundary itself.
  • Hyperbolic geometries suggest the possibility of decoding procedures which are local on the boundary geometry. This property may be connected to the locality of the corresponding boundary field theory.
  • Flat and positive curvature geometries may lead to codes with better parameters in terms of distance and rates (ratio of logical information to physical information). A hemisphere reaches optimum parameters, saturating coding bounds.

    729px-Cantor_set_in_seven_iterations.svg

    Seven iterations of a ternary Cantor set (dark line) on the unit interval. Each iteration is obtained by punching holes from the previous one and the set obtained in the limit is a fractal.

Current day quantum computers are far from the number of qubits required to invoke an emergent geometry. Nevertheless, it is exhilarating to take a step back and consider how the properties of the codes, and information in general, may be interpreted geometrically. On the other hand, I find that the quantum code language we adapt to the context of holography might eventually serve as a useful tool in distinguishing which boundary features are relevant or irrelevant for the emergent properties of the holographic dual. Ours is but one contribution in a very active field. However, the one thing I am certain about is that these are exciting times to be doing physics.

Quantum Chess

Two years ago, as a graduate student in Physics at USC,  I began work on a game whose mechanics were based on quantum mechanics. When I had a playable version ready, my graduate adviser, Todd Brun, put me in contact with IQIM’s Spiros Michalakis, who had already worked with Google to design qCraft, a mod introducing quantum mechanics into Minecraft. Spiros must have seen potential in my clunky prototype and our initial meeting turned into weekly brainstorming lunches at Caltech’s Chandler cafeteria. More than a year later, the game had evolved into Quantum Chess and we began talking about including a video showing some gameplay at an upcoming Caltech event celebrating Feynman’s quantum legacy. The next few months were a whirlwind. Somehow this video turned into a Quantum Chess battle for the future of humanity, between Stephen Hawking and Paul Rudd. And it was being narrated by Keanu Reeves! The video, called Anyone Can Quantum, and directed by Alex Winter, premiered at Caltech’s One Entangled Evening on January 26, 2016 and has since gone viral. If you haven’t watched it, now would be a good time to do so (if you are at work, be prepared to laugh quietly).

So, what exactly is Quantum Chess and how does it make use of quantum physics? It is a modern take on the centuries-old game of strategy that endows each chess piece with quantum powers. You don’t need to know quantum mechanics to play the game. On the other hand, understanding the rules of chess might help [1].  But if you already know the basics of regular chess, you can just start playing. Over time, your brain will get used to some of the strange quantum behavior of the chess pieces and the battles you wage in Quantum Chess will make regular chess look like tic-tac-toe [2].

Quantum ChessIn this post, I will discuss the concept of quantum superposition and how it plays a part in the game. There will be more posts to follow that will discuss entanglement, interference, and quantum measurement [3].

In quantum chess, players have the ability to perform quantum moves in addition to the standard chess moves. Each time a player chooses to move a piece, they can indicate whether they want to perform a standard move, or a quantum move. A quantum move creates a superposition of boards. If any of you ever saw Star Trek 3D Chess, you can think of this in a similar way.

Star Trek 3D Chess

There are multiple boards on which pieces exist. However, in Quantum Chess, the number of possible boards is not fixed, it can increase or decrease. All possible boards exist in a superposition. The player is presented with a single board that represents the entire superposition. In Quantum Chess, any individual move will act on all boards at the same time.  Each time a player makes a quantum move, the number of possible boards present in the superposition doubles. Let’s look at some pictures that might clarify things.

The Quantum Chess board begins in the same configuration as standard chess.

InitialConfigAll pawns move the same as they would in standard chess, but all other pieces get a choice of two movement types, standard or quantum. Standard moves act exactly as they would in standard chess. However, quantum moves, create superpositions. Let’s look at an example of a quantum move for the white queen.

QueenQuantumMoveIn this diagram, we see what happens when we perform a quantum move of the white queen from D1 to D3. We get two possible boards. On one board the queen did not move at all. On the other, the queen did move. Each board has a 50% chance of “existence”. Showing every possible board, though, would get quite complicated after just a few moves. So, the player view of the game is a single board. After the same quantum queen move, the player sees this:

PlayerViewQQD1D3The teal colored “fill” of each queen shows the probability of finding the queen in that space; the same queen, existing in different locations on the board. The queen is in a superposition of being in two places at once. On their next turn, the player can choose to move any one of their pieces.   

So, let’s talk about moving the queen, again. You may be wondering, “What happens if I want to move a piece that is in a superposition?” The queen exists in two spaces. You choose which of those two positions you would like to move from, and you can perform the same standard or quantum moves from that space. Let’s look at trying to perform a standard move, instead of a quantum move, on the queen that now exists in a superposition. The result would be as follows:

StandardSuperpositionQueenMoveThe move acts on all boards in the superposition. On any board where the queen is in space D3, it will be moved to B5. On any board where the queen is still in space D1, it will not be moved. There is a 50% chance that the queen is still in space D1 and a 50% chance that it is now located in B5. The player view, as illustrated below, would again be a 50/50 superposition of the queen’s position. This was just an example of a standard move on a piece in a superposition, but a quantum move would work similarly.

PlayerViewQueenMove

Some of you might have noticed the quantum move basically gives you a 50% chance to pass your turn. Not a very exciting thing to do for most players. That’s why I’ve given the quantum move an added bonus. With a quantum move, you can choose a target space that is up to two standard moves away! For example, the queen could choose a target that is forward two spaces and then left two spaces. Normally, this would take two turns: The first turn to move from D1 to D3 and the second turn to move from D3 to B3. A quantum move gives you a 50% chance to move from D1 to B3 in a single turn!

Let’s look at a quantum queen move from D1 to B3.

QQD1B3Just like the previous quantum move we looked at, we get a 50% probability that the move was successful and a 50% probability that nothing happened. As a player, we would see the board below.

QuantumQueenD1toB3There is a 50% chance the queen completed two standard moves in one turn! Don’t worry though, things are not just random. The fact that the board is a superposition of boards and that movement is unitary (just a fancy word for how quantum things evolve) can lead to some interesting effects. I’ll end this post here. Now, I hope I’ve given you some idea of how superposition is present in Quantum Chess. In the next post I’ll go into entanglement and a bit more on the quantum move!

Notes:

[1] For those who would like to know more about chess, here is a good link.

[2] If you would like to see a public release of Quantum Chess (and get a copy of the game), consider supporting the Kickstarter campaign.

[3] I am going to be describing aspects of the game in terms of probability and multiple board states. For those with a scientific or technical understanding of how quantum mechanics works, this may not appear to be very quantum. I plan to go into a more technical description of the quantum aspects of the game in a later post. Also, a reminder to the non-scientific audience. You don’t need to know quantum mechanics to play this game. In fact, you don’t even need to know what I’m going to be describing here to play! These posts are just for those with an interest in how concepts like superposition, entanglement, and interference can be related to how the game works.

IQIM Presents …”my father”

Debaleena Nandi at Caltech

Debaleena Nandi at Caltech

Following the IQIM teaser, which was made with the intent of creating a wider perspective of the scientist, to highlight the normalcy behind the perception of brilliance and to celebrate the common human struggles to achieve greatness, we decided to do individual vignettes of some of the characters you saw in the video.

We start with Debaleena Nandi, a grad student in Prof Jim Eisenstein’s lab, whose journey from Jadavpur University in West Bengal, India to the graduate school and research facility at the Indian institute of Science, Bangalore, to Caltech has seen many obstacles. We focus on the essentials of an environment needed to manifest the quest for “the truth” as Debaleena says. We start with her days as a child when her double-shift working father sat by her through the days and nights that she pursued her homework.

She highlights what she feels is the only way to growth; working on what is lacking, to develop that missing tool in your skill set, that asset that others might have by birth but you need to inspire by hard work.

Debaleena’s motto: to realize and face your shortcomings is the only way to achievement.

As we build Debaleena up, we also build up the identity of Caltech through its breathtaking architecture that oscillates from Spanish to Goth to modern. Both Debaleena and Caltech are revealed slowly, bit by bit.

This series is about dissecting high achievers, seeing the day to day steps, the bit by bit that adds up to the more often than not, overwhelming, impressive presence of Caltech’s science. We attempt to break it down in smaller vignettes that help us appreciate the amount of discipline, intent and passion that goes into making cutting edge researchers.

Presenting the emotional alongside the rational is something this series aspires to achieve. It honors and celebrates human limitations surrounding limitless boundaries, discoveries and possibilities.

Stay tuned for more vignettes in the IQIM Presents “My _______” Series.

But for now, here is the video. Watch, like and share!

(C) Parveen Shah Production 2014

 

Can a game teach kids quantum mechanics?

Five months ago, I received an email and then a phone call from Google’s Creative Lab Executive Producer, Lorraine Yurshansky. Lo, as she prefers to be called, is not your average thirty year-old. She has produced award-winning short films like Peter at the End (starring Napoleon Dynamite, aka Jon Heder), launched the wildly popular Maker Camp on Google+ and had time to run a couple of New York marathons as a warm-up to all of that. So why was she interested in talking to a quantum physicist?

You may remember reading about Google’s recent collaboration with NASA and D-Wave, on using NASA’s supercomputing facilities along with a D-Wave Two machine to solve optimization problems relevant to both Google (Glass, for example) and NASA (analysis of massive data sets). It was natural for Google, then, to want to promote this new collaboration through a short video about quantum computers. The video appeared last week on Google’s YouTube channel:

This is a very exciting collaboration in my view. Google has opened its doors to quantum computation and this has some powerful consequences. And it is all because of D-Wave. But, let me put my perspective in context, before Scott Aaronson unleashes the hounds of BQP on me.

Two years ago, together with Science magazine’s 2010 Breakthrough of the Year winner, Aaron O’ Connell, we decided to ask Google Ventures for $10,000,000 dollars to start a quantum computing company based on technology Aaron had developed as a graduate student at John Martini’s group at UCSB. The idea we pitched was that a hand-picked team of top experimentalists and theorists from around the world, would prototype new designs to achieve longer coherence times and greater connectivity between superconducting qubits, faster than in any academic environment. Google didn’t bite. At the time, I thought the reason behind the rejection was this: Google wants a real quantum computer now, not just a 10 year plan of how to make one based on superconducting X-mon qubits that may or may not work.

I was partially wrong. The reason for the rejection was not a lack of proof that our efforts would pay off eventually – it was a lack of any prototype on which Google could run algorithms relevant to their work. In other words, Aaron and I didn’t have something that Google could use right-away. But D-Wave did and Google was already dating D-Wave One for at least three years, before marrying D-Wave Two this May. Quantum computation has much to offer Google, so I am excited to see this relationship blossom (whether it be D-Wave or Pivit Inc that builds the first quantum computer). Which brings me back to that phone call five months ago…

Lorraine: Hi Spiro. Have you heard of Google’s collaboration with NASA on the new Quantum Artificial Intelligence Lab?

Me: Yes. It is all over the news!

Lo: Indeed. Can you help us design a mod for Minecraft to get kids excited about quantum mechanics and quantum computers?

Me: Minecraft? What is Minecraft? Is it like Warcraft or Starcraft?

Lo: (Omg, he doesn’t know Minecraft!?! How old is this guy?) Ahh, yeah, it is a game where you build cool structures by mining different kinds of blocks in this sandbox world. It is popular with kids.

Me: Oh, okay. Let me check out the game and see what I can come up with.

After looking at the game I realized three things:
1. The game has a fan base in the tens of millions.
2. There is an annual convention (Minecon) devoted to this game alone.
3. I had no idea how to incorporate quantum mechanics within Minecraft.

Lo and I decided that it would be better to bring some outside help, if we were to design a new mod for Minecraft. Enter E-Line Media and TeacherGaming, two companies dedicated to making games which focus on balancing the educational aspect with gameplay (which influences how addictive the game is). Over the next three months, producers, writers, game designers and coder-extraordinaire Dan200, came together to create a mod for Minecraft. But, we quickly came to a crossroads: Make a quantum simulator based on Dan200’s popular ComputerCraft mod, or focus on gameplay and a high-level representation of quantum mechanics within Minecraft?

The answer was not so easy at first, especially because I kept pushing for more authenticity (I asked Dan200 to create Hadamard and CNOT gates, but thankfully he and Scot Bayless – a legend in the gaming world – ignored me.) In the end, I would like to think that we went with the best of both worlds, given the time constraints we were operating under (a group of us are attending Minecon 2013 to showcase the new mod in two weeks) and the young audience we are trying to engage. For example, we decided that to prepare a pair of entangled qubits within Minecraft, you would use the Essence of Entanglement, an object crafted using the Essence of Superposition (Hadamard gate, yay!) and Quantum Dust placed in a CNOT configuration on a crafting table (don’t ask for more details). And when it came to Quantum Teleportation within the game, two entangled quantum computers would need to be placed at different parts of the world, each one with four surrounding pylons representing an encoding/decoding mechanism. Of course, on top of each pylon made of obsidian (and its far-away partner), you would need to place a crystal, as the required classical side-channel. As an authorized quantum mechanic, I allowed myself to bend quantum mechanics, but I could not bring myself to mess with Special Relativity.

As the mod launched two days ago, I am not sure how successful it will be. All I know is that the team behind its development is full of superstars, dedicated to making sure that John Preskill wins this bet (50 years from now):

The plan for the future is to upload a variety of posts and educational resources on qcraft.org discussing the science behind the high-level concepts presented within the game, at a level that middle-schoolers can appreciate. So, if you play Minecraft (or you have kids over the age of 10), download qCraft now and start building. It’s a free addition to Minecraft.