The 10 biggest breakthroughs in physics over the past 25 years, according to us.

Making your way to the cutting edge of any field is a daunting challenge. But especially when the edge of the field is expanding; and even harder still when the rate of expansion is accelerating. John recently helped Physics World create a special 25th anniversary issue where they identified the five biggest breakthroughs in physics over the past 25 years, and also the five biggest open questions. In pure John fashion, at his group meeting on Wednesday night, he made us work before revealing the answers. The photo below shows our guesses, where the asterisks denote Physics World‘s selections. This is the blog post I wish I had when I was a fifteen year-old aspiring physicist–this is an attempt to survey and provide a tiny toehold on the edge (from my biased, incredibly naive, and still developing perspective.)

The IQI's

The IQI’s quantum information-biased guesses of Physics World’s 5 biggest breakthroughs over the past 25 years, and 5 biggest open problems. X’s denote Physics World’s selections. Somehow we ended up with 10 selections in each category…

The biggest breakthroughs of the past 25 years:

*Neutrino Mass: surprisingly, neutrinos have a nonzero mass, which provides a window into particle physics beyond the standard model. THE STANDARD MODEL has been getting a lot of attention recently. This is well deserved in my opinion, considering that the vast majority of its predictions have come true, most of which were made by the end of the 1960s. Last year’s discovery of the Higgs Boson is the feather in its cap. However, it’s boring when things work too perfectly, because then we don’t know what path to continue on. That’s where the neutrino mass comes in. First, what are neutrinos? Neutrinos are a fundamental particle that have the special property that they barely interact with other particles. There are four fundamental forces in nature: electromagnetism, gravity, strong (holds quarks together to create neutrons and protons), and weak (responsible for radioactivity and nuclear fusion.) We can design experiments which allow us to observe neutrinos. We have learned that they are electrically neutral, so they aren’t affected by electromagnetism. They are barely affected by the strong force, if at all. They have an extremely small mass, so gravity acts on them only subtly. The main way in which they interact with their environment is through the weak force. Here’s the amazing thing: only really clunky versions of the standard model can allow for a nonzero neutrino mass! Hence, when a small but nonzero mass was experimentally established in 1998, we gained one of our first toeholds into particle physics beyond the standard model. This is particularly important today, because to the best of my knowledge, the LHC hasn’t yet discovered any other new physics beyond the standard model. The mechanism behind the neutrino mass is not yet understood. Moreover, neutrinos have a bunch of other bizarre properties which we understand empirically, but not their theoretical origins. The strangest of which goes by the name neutrino oscillations. In one sentence: there are three different kinds of neutrinos, and they can spontaneously transmute themselves from one type to another. This happens because physics is formulated in the language of mathematics, and the math says that the eigenstates corresponding to ‘flavors’ are not the same as the eigenstates corresponding to ‘mass.’ Words, words, words. Maybe the Caltech particle theory people should have a blog?

Shor’s Algorithm: a quantum computer can factor N=1433301577 into 37811*37907 exponentially faster than a classical computer. This result from Peter Shor in 1994 is near and dear to our quantum hearts. It opened the floodgates showing that there are tasks a quantum computer could perform exponentially faster than a classical computer, and therefore that we should get BIG$$$ from the world over in order to advance our field!! The task here is factoring large numbers into their prime factors; the difficulty of which has been the basis for many cryptographic protocols. In one sentence, Shor’s algorithm achieves this exponential speed-up because there is a step in the factoring algorithm (period finding) which can be performed in parallel via the quantum Fourier transform.
Continue reading

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.

The cost and yield of moving from (quantum) state to (quantum) state

The countdown had begun.

In ten days, I’d move from Florida, where I’d spent the summer with family, to Caltech. Unfolded boxes leaned against my dresser, and suitcases yawned on the floor. I was working on a paper. Even if I’d turned around from my desk, I wouldn’t have seen the stacked books and folded sheets. I’d have seen Lorenz curves, because I’d drawn Lorenz curves all week, and the curves seemed imprinted on my eyeballs.

Using Lorenz curves, we illustrate how much we know about a quantum state. Say you have an electron, you’ll measure it using a magnet, and you can’t predict any measurement’s outcome. Whether you orient the magnet up-and-down, left-to-right, etc., you haven’t a clue what number you’ll read out. We represent this electron’s state by a straight line from (0, 0) to (1, 1).

Uniform_state

Say you know the electron’s state. Say you know that, if you orient the magnet up-and-down, you’ll read out +1. This state, we call “pure.” We represent it by a tented curve.

Pure_state

The more you know about a state, the more the state’s Lorenz curve deviates from the straight line.

Arbitrary_state

If Curve A fails to dip below Curve B, we know at least as much about State A as about State B. We can transform State A into State B by manipulating and/or discarding information.

Conversion_yield_part_1_arrow

By the time I’d drawn those figures, I’d listed the items that needed packing. A coauthor had moved from North America to Europe during the same time. If he could hop continents without impeding the paper, I could hop states. I unzipped the suitcases, packed a box, and returned to my desk.

Say Curve A dips below Curve B. We know too little about State A to transform it into State B. But we might combine State A with a state we know lots about. The latter state, C, might be pure. We have so much information about A + C, the amalgam can turn into B.

Yet more conversion costs Yet-more-conversion-costs-part-2

What’s the least amount of information we need about C to ensure that A + C can turn into B? That number, we call the “cost of transforming State A into State B.”

We call it that usually. But late in the evening, after I’d miscalculated two transformation costs and deleted four curves, days before my flight, I didn’t type the cost’s name into emails to coauthors. I typed “the cost of turning A into B” or “the cost of moving from state to state.”
Continue reading

The million dollar conjecture you’ve never heard of…

Curating a blog like this one and writing about imaginary stuff like Fermat’s Lost Theorem means that you get the occasional comment of the form: I have a really short proof of a famous open problem in math. Can you check it for me? Usually, the answer is no. But, about a week ago, a reader of the blog that had caught an omission in a proof contained within one of my previous posts, asked me to do just that: Check out a short proof of Beal’s Conjecture. Many of you probably haven’t heard of billionaire Mr. Beal and his $1,000,000 conjecture, so here it is:

Let a,b,c and x,y,z > 2 be positive integers satisfying a^x+b^y=c^z. Then, gcd(a,b,c) > 1; that is, the numbers a,b,c have a common factor.

After reading the “short proof” of the conjecture, I realized that this was a pretty cool conjecture! Also, the short proof was wrong, though the ideas within were non-trivial. But, partial progress had been made by others, so I thought I would take a crack at it on the 10 hour flight from Athens to Philadelphia. In particular, I convinced myself that if I could prove the conjecture for all even exponents x,y,z, then I could claim half the prize. Well, I didn’t quite get there, but I made some progress using knowledge found in these two blog posts: Redemption: Part I and Fermat’s Lost Theorem. In particular, one can show that the conjecture holds true for x=y=2n and z = 2k, for n \ge 3, k \ge 1. Moreover, the general case of even exponents can be reduced to the case of x=y=p \ge 3 and y=z=q \ge 3, for p,q primes. Which makes one wonder if the general case has a similar reduction, where two of the three exponents can be assumed equal.

The proof is pretty trivial, since most of the heavy lifting is done by Fermat’s Last Theorem (which itself has a rather elegant, short proof I wanted to post in the margins – alas, WordPress has a no-writing-on-margins policy). Moreover, it turns out that the general case of even exponents follows from a combination of results obtained by others over the past two decades (see the Partial Results section of the Wikipedia article on the conjecture linked above – in particular, the (n,n,2) case). So why am I even bothering to write about my efforts? Because it’s math! And math equals magic. Also, in case this proof is not known and in the off chance that some of the ideas can be used in the general case. Okay, here we go…

Proof. The idea is to assume that the numbers a,b,c have no common factor and then reach a contradiction. We begin by noting that a^{2m}+b^{2n}=c^{2k} is equivalent to (a^m)^2+(b^n)^2=(c^k)^2. In other words, the triplet (a^m,b^n,c^k) is a Pythagorean triple (sides of a right triangle), so we must have a^m=2rs, b^n=r^2-s^2, c^k =r^2+s^2, for some positive integers r,s with no common factors (otherwise, our assumption that a,b,c have no common factor would be violated). There are two cases to consider now:

Case I: r is even. This implies that 2r=a_0^m and s=a_1^m, where a=a_0\cdot a_1 and a_0,a_1 have no factors in common. Moreover, since b^n=r^2-s^2=(r+s)(r-s) and r,s have no common factors, then r+s,r-s have no common factors either (why?) Hence, r+s = b_0^n, r-s=b_1^n, where b=b_0\cdot b_1 and b_0,b_1 have no factors in common. But, a_0^m = 2r = (r+s)+(r-s)=b_0^n+b_1^n, implying that a_0^m=b_0^n+b_1^n, where b_0,b_1,a_0 have no common factors.

Case II: s is even. This implies that 2s=a_1^m and r=a_0^m, where a=a_0\cdot a_1 and a_0,a_1 have no factors in common. As in Case I, r+s = b_0^n, r-s=b_1^n, where b=b_0\cdot b_1 and b_0,b_1 have no factors in common. But, a_1^m = 2s = (r+s)-(r-s)=b_0^n-b_1^n, implying that a_1^m+b_1^n=b_0^n, where b_0,b_1,a_1 have no common factors.

We have shown, then, that if Beal’s conjecture holds for the exponents (x,y,z)=(n,n,m) and (x,y,z)=(m,n,n), then it holds for (x,y,z)=(2m,2n,2k), for arbitrary k \ge 1. As it turns out, when m=n, Beal’s conjecture becomes Fermat’s Last Theorem, implying that the conjecture holds for all exponents (x,y,z)=(2n,2n,2k), with n\ge 3 and k\ge 1.

Open Problem: Are there any solutions to a^p+b^p= c\cdot (a+b)^q, for a,b,c positive integers and primes p,q\ge 3?

PS: If you find a mistake in the proof above, please let everyone know in the comments. I would really appreciate it!

Frontiers of Quantum Information Science

Just a few years ago, if you wanted to look for recent research articles about quantum entanglement, you would check out the quantum physics [quant-ph] archive at arXiv.org. Since 1994, quant-ph has been the central repository for papers about quantum computing and the broader field of quantum information science. But over the past few years there has been a notable change. Increasingly, exciting papers about quantum entanglement are found at the condensed matter [cond-mat] and high energy physics – theory [hep-th] archives.

I don’t know for sure, but that trend may have had something to do with an invitation I received a few months ago from David Gross, to organize the next Jerusalem Winter School in Theoretical Physics. David has been the General Director of the School for, well, I’m not sure how long, but it must be a long time. In the past, the topic of the school has rotated between particle physics, condensed matter physics, and astrophysics. Every year, a group of world-class scientists gives lectures on cutting-edge research for an enthusiastic audience of postdoctoral scholars and advanced graduate students.

David suggested that a good topic for the next school would be “quantum information, broadly envisaged — from quantum computing to strongly correlated electrons.” After some hesitation for family reasons, I embraced this opportunity to amplify David’s message: quantum information has arrived as a major subfield of physics, and its relevance to other areas of physics is becoming broadly appreciated.

I’m not good at organizing things myself, so I recruited two friends who are very good at it to help me: Michael Ben-Or and Patrick Hayden. As the local organizer at The Hebrew University, Michael has to do a lot of the hard work that I’m glad to avoid. We decided to call the school “Frontiers of Quantum Information Science,” and put together a slate of 10 lecturers, which I’m very excited about. The lectures will cover the core areas of quantum information, as well as some of the important ways in which quantum information relates to quantum matter, quantum field theory, and quantum gravity. Each lecturer will give three or four ninety-minute lectures, on these topics:

Scott Aaronson (MIT), Quantum complexity and quantum optics
David DiVincenzo (Aachen), Quantum computing with superconducting circuits
Daniel Harlow (Princeton), Black holes and quantum information
Michal Horodecki (Gdansk), Quantum information and thermodynamics
Stephen Jordan (NIST), Quantum algorithms
Rob Myers (Perimeter), Entanglement in quantum field theory
Renato Renner (ETH), Quantum foundations
Ady Stern (Weizmann), Topological quantum computing
Barbara Terhal (Aachen), Quantum error correction
Frank Verstraete (Vienna), Quantum information and quantum matter

The school will run from 30 December 2013 to 9 January 2014 at the Israel Institute for Advanced Studies at The Hebrew University in Jerusalem. If you are interested in attending, please visit the website for more information and fill out the registration form by November 1. I hope you can come — it’s going to be a lot of fun.

Rereading the first paragraph of this post, I got slightly nervous about whether the trend I described can be documented, so I have done a little bit of research. Going back to 2005, I plotted the number of papers with the word “entanglement” in the title on quant-ph, cond-mat, hep-th, and also the general relativity and quantum cosmology [gr-qc] archive. For 2013, I rescaled the data for the year up to now, taking into account that Sep. 22 is the 265th day of the year. I didn’t make any adjustment for papers being cross-listed on multiple archives.

Here is the data for quant-ph:quantph-plot-pdfIt’s remarkably flat. Here is the aggregated data for the other three archives:arxiv-plot-pdfIt’s pretty clear that something started to happen around 2010. I realize one could do a much more serious study of this issue, but since I was only willing to spend an hour on it, I feel vindicated.

Free Feynman!

Last Friday the 13th was a lucky day for those who love physics — The online html version of Volume 1 of the Feynman Lectures on Physics (FLP) was released! Now anyone with Internet access and a web browser can enjoy these unique lectures for free. They look beautiful.

Mike Gottlieb at Caltech on 20 September 2013. He's the one on the right.

Mike Gottlieb at Caltech on 20 September 2013. He’s the one on the right.

On the day of release, over 86,000 visitors viewed the website, and the Amazon sales rank of the paperback version of FLP leapt over the weekend from 67,000 to 12,000. My tweet about the release was retweeted over 150 times (my most retweets ever).

Free html versions of Volumes 2 and 3 are in preparation. Soon pdf versions of all three volumes will be offered for sale, each available in both desktop and tablet versions at a price comparable to the cost of the paperback editions. All these happy developments resulted from a lot of effort by many people. You can learn about some of the history and the people involved from Kip Thorne’s 2010 preface to the print edition.

A hero of the story is Mike Gottlieb, who spends most of his time in Costa Rica, but passed through Caltech yesterday for a brief visit. Mike entered the University of Maryland to study mathematics at age 15 and at age 16 began a career as a self-employed computer software consultant. In 1999, when Mike was 39,  a chance meeting with Feynman’s friend and co-author Ralph Leighton changed Mike’s life.

At Ralph’s suggestion, Mike read Feynman’s Lectures on Computation. Impressed by Feynman’s insights and engaging presentation style, Mike became eager to learn more about physics; again following Ralph’s suggestion, he decided to master the Feynman Lectures on Physics. Holed up at a rented farm in Costa Rica without a computer, he pored over the lectures for six months, painstakingly compiling a handwritten list of about 200 errata.

Kip’s preface picks up the story at that stage. I won’t repeat all that, except to note two pivotal developments. Rudi Pfeiffer was a postdoc at the University of Vienna in 2006 when, frustrated by the publisher’s resistance to correcting errata that he and others had found, he (later joined by Gottlieb) began converting FLP to LaTeX, the modern computer system for typesetting mathematics. Eventually, all the figures were redrawn in electronic form as scalable vector graphics, paving the way for a “New Millenium Edition” of FLP (published in 2011), as well as other electronically enhanced editions planned for the future. Except that, before all that could happen, Caltech’s Intellectual Property Counsel Adam Cochran had to untangle a thicket of conflicting publishing rights, which I have never been able to understand in detail and therefore will not attempt to explain.

Rudi Pfeiffer and Mike Gottlieb at Caltech in 2008.

Rudi Pfeiffer and Mike Gottlieb at Caltech in 2008.

The proposal to offer an html version for free has been enthusiastically pursued by Caltech and has received essential financial support from Carver Mead. The task of converting Volume 1 from LaTeX to html was carried out for a fee by Caltech alum Michael Hartl; Gottlieb is doing the conversion himself for the other volumes, which are already far along.

Aside from the pending html editions of Volumes 2 and 3, and the pdf editions of all three volumes, there is another very exciting longer-term project in the works — the html will provide the basis for a Multimedia Edition of FLP. Audio for every one of Feynman’s lectures was recorded, and has been digitally enhanced by Ralph Leighton. In addition, the blackboards were photographed for almost all of the lectures. The audio and photos will be embedded in the Multimedia Edition, possibly accompanied by some additional animations and “Ken Burns style” movies. The audio in particular is great fun, bringing to life Feynman the consummate performer. For the impatient, a multimedia version of six of the lectures is already available as an iBook. To see a quick preview, watch Adam’s TEDxCaltech talk.

Mike Gottlieb has now devoted 13 years of his life to enhancing FLP and bringing the lectures to a broader audience, receiving little monetary compensation. I asked him yesterday about his motivation, and his answer surprised me somewhat. Mike wants to be able to look back at his life feeling that he has made a bigger contribution to the world than merely writing code and making money. He would love to have a role in solving the great open problems in physics, in particular the problem of reconciling general relativity with quantum mechanics, but feels it is beyond his ability to solve those problems himself. Instead, Mike feels he can best facilitate progress in physics by inspiring other very talented young people to become physicists and work on the most important problems. In Mike’s view, there is no better way of inspiring students to pursue physics than broadening access to the Feynman Lectures on Physics!

The complementarity (not incompatibility) of reason and rhyme

Shortly after learning of the Institute for Quantum Information and Matter, I learned of its poetry.

I’d been eating lunch with a fellow QI student at the Perimeter Institute for Theoretical Physics. Perimeter’s faculty includes Daniel Gottesman, who earned his PhD at what became Caltech’s IQIM. Perhaps as Daniel passed our table, I wondered whether a liberal-arts enthusiast like me could fit in at Caltech.

“Have you seen Daniel Gottesman’s website?” my friend replied. “He’s written a sonnet.”

Quill

He could have written equations with that quill.

Digesting this news with my chicken wrap, I found the website after lunch. The sonnet concerned quantum error correction, the fixing of mistakes made during computations by quantum systems. After reading Daniel’s sonnet, I found John Preskill’s verses about Daniel. Then I found more verses of John’s.

To my Perimeter friend: You win. I’ll fit in, no doubt.

Exhibit A: the latest edition of The Quantum Times, the newsletter for the American Physical Society’s QI group. On page 10, my enthusiasm for QI bubbles over into verse. Don’t worry if you haven’t heard all the terms in the poem. Consider them guidebook entries, landmarks to visit during a Wikipedia trek.

If you know the jargon, listen to it with a newcomer’s ear. Does anyone other than me empathize with frustrated lattices? Or describe speeches accidentally as “monotonic” instead of as “monotonous”? Hearing jargon outside its natural habitat highlights how not to explain research to nonexperts. Examining names for mathematical objects can reveal properties that we never realized those objects had. Inviting us to poke fun at ourselves, the confrontation of jargon sprinkles whimsy onto the meringue of physics.

No matter your familiarity with physics or poetry: Enjoy. And fifty points if you persuade Physical Review Letters to publish this poem’s sequel.

Quantum information

By Nicole Yunger Halpern

If “CHSH” rings a bell,
you know QI’s fared, lately, well.
Such promise does this field portend!
In Neumark fashion, let’s extend
this quantum-information spring:
dilation, growth, this taking wing.

We span the space of physics types
from spin to hypersurface hype,
from neutron-beam experiment
to Bohm and Einstein’s discontent,
from records of a photon’s path
to algebra and other math
that’s more abstract and less applied—
of platforms’ details, purified.

We function as a refuge, too,
if lattices can frustrate you.
If gravity has got your goat,
momentum cutoffs cut your throat:
Forget regimes renormalized;
our states are (mostly) unit-sized.
Velocities stay mostly fixed;
results, at worst, look somewhat mixed.

Though factions I do not condone,
the action that most stirs my bones
is more a spook than Popov ghosts; 1
more at-a-distance, less quark-close.

This field’s a tot—cacophonous—
like cosine, not monotonous.
Cacophony enlivens thought:
We’ve learned from noise what discord’s not.

So take a chance on wave collapse;
enthuse about the CP maps;
in place of “part” and “piece,” say “bit”;
employ, as yardstick, Hilbert-Schmidt;
choose quantum as your nesting place,
of all the fields in physics space.

1 With apologies to Ludvig Faddeev.

Graphene gets serious

Imagine one marshmallow, 100 pieces of dried spaghetti, and a roll of masking tape lying on a large table. Next to the supplies are directions that read: “Elevate the marshmallow as high as possible using only the spaghetti and masking tape.” What was the first question that popped into your head? My assumption is your response had a disposition towards either “how can I do this?” or “why should I do this?” More precisely, your response probably could be whittled down to either a “how” or a “why.” If your first instinct was to ask yourself “how”, maybe an argument could be made that you are a natural problem solver, and that you welcome and genuinely are intrigued by challenges. If you asked “why”, then maybe you are someone who needs some good ‘ole fashioned incentive or a good extrinsic motive to perform well. Now imagine you were competing against three other people and the prize for the highest marshmallow was $100,000. Would the money motivate you to create a better structure, or would your relentless ambition towards excellence have been enough incentive for you to have placed your best foot forward from the outset? Undoubtedly, the money will make you think twice about your initial design ensuring your best effort, but my wish is to see more people performing at higher levels, not only due to monetary incentive, but also out of the sake of doing your best.

Chen-Chih Hsu & Benjamin Fackrell

Chen-Chih Hsu & Benjamin Fackrell

As humans, we are all naturally great problem solvers when compared, to say, any other known form of life on our planet. That is not to say, however, all humans choose to exercise those talents. Nonetheless, people do possess the ability to solve extremely complex problems, and I often wonder what makes some individuals face challenges head on with great heroism, while others whimper away with not as much as a grain of genuine interest or desire. I believe the reasons for different responses are connected with the way we individually have been taught to approach problems, and the amount of respect we have learned to award such methods. The attitude individuals possess when faced with a challenge can be shaped with encouragement from teachers and parents alike. When given an opportunity to educate students (of any age) regarding their attitude when faced with a problem, in that moment, we must teach absolute fearlessness. Attack the problem and take no prisoners, metaphorically speaking. Unfortunately, the prevailing attitude from the many students I work with daily is one of apathy and a play-it-safe approach with very little risk of making mistakes. For many students, forfeiting has greater power in protecting one’s reputation with peers and themselves than a courageous attempt that could end, in what they believe to be, an embarrassing mistake. I am always looking to instill a sense of honor, embracing a philosophy that a whole-hearted attempt merits infinitely more respect than a forfeit, and not to plan to fail, but prepare to stay the course in the case of an unfortunate event. My advice? Treat a failure like a fart; understand it’s sure to happen, try to find the humor in it, and keep moving forward. Mistakes can often indicate progress because if you are not making mistakes, per Albert Einstein, you must not be trying something new, consequently, you are not learning.
Continue reading

What’s inside a black hole?

I have a multiple choice question for you.

What’s inside a black hole?

(A) An unlimited amount of stuff.
(B) Nothing at all.
(C) A huge but finite amount of stuff, which is also outside the black hole.
(D) None of the above.

The first three answers all seem absurd, boosting the credibility of (D). Yet … at the “Rapid Response Workshop” on black holes I attended last week at the KITP in Santa Barbara (and which continues this week), most participants were advocating some version of (A), (B), or (C), with varying degrees of conviction.

When physicists get together to talk about black holes, someone is bound to draw a cartoon like this one:

Penrose diagram depicting the causal structure of a black hole spacetime.

Part of a Penrose diagram depicting the causal structure of a black hole spacetime.

I’m sure I’ve drawn and contemplated some version of this diagram hundreds of times over the past 25 years in the privacy of my office, and many times in public discussions (including at least five times during the talk I gave at the KITP). This picture vividly captures the defining property of a black hole, found by solving Einstein’s classical field equations for gravitation: once you go inside there is no way out. Instead you are unavoidably drawn to the dreaded singularity, where known laws of physics break down (and the picture can no longer be trusted). If taken seriously, the picture says that whatever falls into a black hole is gone forever, at least from the perspective of observers who stay outside.

But for nearly 40 years now, we have known that black holes can shed their mass by emitting radiation, and presumably this process continues until the black hole disappears completely. If we choose to, we can maintain the black hole for as long as we please by feeding it new stuff at the same rate that radiation carries energy away. What I mean by option (A) is that  the radiation is completely featureless, carrying no information about what kind of stuff fell in. That means we can hide as much information as we please inside a black hole of a given mass.

On the other hand, the beautiful theory of black hole thermodynamics indicates that the entropy of a black hole is determined by its mass. For all other systems we know of besides black holes, the entropy of the system quantifies how much information we can hide in the system. If (A) is the right answer, then black holes would be fundamentally different in this respect, able to hide an unlimited amount of information even though their entropy is finite. Maybe that’s possible, but it would be rather disgusting, a reason to dislike answer (A).

There is another way to argue that (A) is not the right answer, based on what we call AdS/CFT duality. AdS just describes a consistent way to put a black hole in a “bottle,” so we can regard the black hole together with the radiation outside it as a closed system. Now, in gravitation it is crucial to focus on properties of spacetime that do not depend on the observer’s viewpoint; otherwise we can easily get very confused. The best way to be sure we have a solid way of describing things is to pay attention to what happens at the boundary of the spacetime, the walls of the bottle — that’s what CFT refers to. AdS/CFT provides us with tools for describing what happens when a black hole forms and evaporates, phrased entirely in terms of what happens on the walls of the bottle. If we can describe the physics perfectly by sticking to the walls of the bottle, always staying far away from the black hole, there doesn’t seem to be anyplace to hide an unlimited amount of stuff.

At the KITP, both Bill Unruh and Bob Wald argued forcefully for (A). They acknowledge the challenge of understanding the meaning of black hole entropy and of explaining why the AdS/CFT argument is wrong. But neither is willing to disavow the powerful message conveyed by that telling diagram of the black hole spacetime. As Bill said: “There is all that stuff that fell in and it crashed into the singularity and that’s it. Bye-bye.”

Adherents of (B) and (C) like to think about black hole physics from the perspective of an observer who stays outside the black hole. From that viewpoint, they say, the black hole behaves like any other system with a temperature and a finite entropy. Stuff falling in sticks to the black hole’s outer edge and gets rapidly mixed in with other stuff the black hole absorbed previously. For a black hole of a given mass, though, there is a limit to how much stuff it can hold. Eventually, what fell in comes out again, but in a form so highly scrambled as to be nearly unrecognizable.

Where the (B) and (C) camps differ concerns what happens to a brave observer who falls into a black hole. According to (C), an observer falling in crosses from the outside to the inside of a black hole peacefully, which poses a puzzle I discussed here. The puzzle arises because an uneventful crossing implies strong quantum entanglement between the region A just inside the black hole and region B just outside. On the other hand, as information leaks out of a black hole, region B should be strongly  entangled with the radiation system R emitted by the black hole long ago. Entanglement can’t be shared, so it does not make sense for B to be entangled with both A and R. What’s going on? Answer (C) resolves the puzzle by positing that A and R are not really different systems, but rather two ways to describe the same system, as I discussed here.That seems pretty crazy, because R could be far, far away from the black hole.

Answer (B) resolves the puzzle differently, by positing that region A does not actually exist, because the black hole has no interior. An observer who attempts to fall in gets a very rude surprise, striking a seething “firewall” at the last moment before passing to the inside. That seems pretty crazy, because no firewall is predicted by Einstein’s trusty equations, which are normally very successful at describing spacetime geometry.

At the workshop, Don Marolf and Raphael Bousso gave some new arguments supporting (B). Both acknowledge that we still lack a concrete picture of how firewalls are created as black holes form, but Bousso insisted that “It is time to constrain and construct the dynamics of firewalls.” Joe Polchinski emphasized that, while AdS/CFT provides a very satisfactory description of physics outside a black hole, it has not yet been able to tell us enough about the black hole interior to settle whether there are firewalls or not, at least for generic black holes formed from collapsing matter.

Lenny Susskind, Juan Maldacena, Ted Jacobson, and I all offered different perspectives on how (C) could turn out to be the right answer. We all told different stories, but perhaps each of us had at least part of the right answer. I’m not at KITP this week, but there have been further talks supporting (C) by Raju, Nomura, and the Verlindes.

I had a fun week at the KITP. If you watch the videos of the talks, you might get an occasional glimpse of me typing furiously on my laptop. It looks like I’m doing my email, but actually that’s how I take notes, which helps me to pay attention. Every once in a while I was inspired to tweet.

I have felt for a while that ideas from quantum information can help us to grasp the mysteries of quantum gravity, so I appreciated that quantum information concepts came up in many of the talks. Susskind invoked quantum error-correcting codes in discussing how sensitively the state of the Hawking radiation depends on the information it encodes, and Maldacena used tensor networks to explain how to build spacetime geometry from quantum entanglement. Scott Aaronson proposed the appropriate acronym HARD for HAwking Radiation Decoding, and argued (following Harlow and Hayden) that this task is as hard as inverting an injective one-way function, something we don’t expect quantum computers to be able to do.

In the organizational session that launched the meeting, Polchinski remarked regarding firewalls that “Nobody has the slightest idea what is going on,” and Gary Horowitz commented that “I’m still getting over the shock over how little we’ve learned in the past 30 years.” I guess that’s fair. Understanding what’s inside black holes has turned out to be remarkably subtle, making the problem more and more tantalizing. Maybe the current state of confusion regarding black hole information means that we’re on the verge of important discoveries about quantum gravity, or maybe not. In any case, invigorating discussions like what I heard last week are bound to facilitate progress.

The Most Awesome Animation About Quantum Computers You Will Ever See

by Jorge Cham

You might think the title is a little exaggerated, but if there’s one thing I’ve learned from Theoretical Physicists so far, it’s to be bold with my conjectures about reality.

Welcome to the second installment of our series of animations about Quantum Information! After an auspicious start describing doing the impossible, this week we take a step back to talk in general terms about what makes the Quantum World different and how these differences can be used to build Quantum Computers.

In this video, I interviewed John Preskill and Spiros Michalakis. John is the co-Director of the Institute for Quantum Information and Matter. He’s known for many things, including making (and winning) bets with Stephen Hawking. Spiros hails from Greece, and probably never thought he’d see himself drawn in a Faustian devil outfit in the name of science (although, he’s so motivated about outreach, he’d probably do it).

img_faust

In preparation to make this video, I thought I’d do what any serious writer would do to exhaustively research a complex topic like this: read the Wikipedia page and call it a day. But then, while visiting the local library with my son, I stumbled upon a small section of books about Quantum Physics aimed at a general audience.

I thought, “Great! I’ll read these books and learn that way!” When I opened the books, though, they were mostly all text. I’m not against text, but when you’re a busy* cartoonist on a deadline trying to learn one of the most complex topics humans have ever devised, a few figures would help. On the other hand, fewer graphics mean more job security for busy cartoonists, so I can’t really complain. (*=Not really).

img_god

In particular, I started to read “The Quantum Story: A History in 40 Moments” by Jim Baggott. First, telling a story in 40 moments sounds a lot like telling a story with comics, and second, I thought it would be great to learn about these concepts from the point of view of how they came up with them. So, I eagerly opened the book and here is what it says in the Preface:

“Nobody really understands how Quantum Theory actually works.”

“Niels Bohr claimed that anybody who is not shocked by the theory has not understood it… Richard Feynman went further: he claimed that nobody understands it.”

One page in, and it’s already telling me to give up.

It’s a fascinating read, I highly recommend the book. Baggott makes the claim that,

“The reality of Scientific Endeavor is profoundly messy, often illogical, deeply emotional, and driven by the individual personalities involved as they sleepwalk their way to a temporary scientific truth.”

I’m glad this history was recorded. I hope in a way that these videos help record a quantum of the developing story, as we humans try to create pockets of quantum weirdness that can scale up. As John says in the video, it is very exciting.

Now, if you’ll excuse me, I need to sleepwalk back to bed.

img_leaking

Watch the second installment of this series:

Jorge Cham is the creator of Piled Higher and Deeper (www.phdcomics.com).

CREDITS:

Featuring: John Preskill and Spiros Michalakis

Produced in Partnership with the Institute for Quantum Information and Matter (http://iqim.caltech.edu) at Caltech with funding provided by the National Science Foundation.

Animation Assistance: Meg Rosenburg
Transcription: Noel Dilworth