Quantum Computers Are…

Quantum computers are

  • Blue versions of classical computers [1] [2] [3][4]
  • Blue or grey abstract patterns [1] [2][3][4][5][6]
  • A bunch of connectors [1][2]
  • Blurred out chips [1]
  • What goes inside the dilution fridge [1][2][3]
  • Closed dilution fridges [1]
  • Part of a flag [1]
  • A button near the enter key [1]
  • Icy cold really big atoms [1]

Quantum computers are so many things (and no I will not add “all at once” to the end of this sentence)!  I’d be excited to hear about even more things that are quantum computers.

Un-renunciation

Can pontiffs un-retire (un-renunciate)?  I mean, I retired from being a pontiff way before it was cool.  But now the sweet siren call of trying to figure out whether there is really a there there for noisy intermediate scale quantum devices has called me back.   I think it may be time to start doing a little bit of quantum pontificating again.  My goal, as always, will be to bring down the intellectual rigor among quantum computing blogs.  And to show you pictures of my dog Imma, of course.
Cue bad joke about unitary dynamics and quantum recurrences in 3, 2, 1, 0, 1, 2, 3, …
 

Seattle for QIPers

QIP 2017 is coming to Seattle, hosted by the QuArC group at Microsoft, January 16-20 (with tutorials on the 14th and 15th). If you have some spare moments, maybe you arrive early, or maybe you are planning for the afternoon off, here are some ideas for things to do around the wonderful city I call home.
Be a Tourist!

  • Take a trip up to the Seattle Center (approximately 1 mile walk from Hotel).  There you can take a ride to top of the Space Needle ($22), which has some great views when it is sunny (ha!).  Music or Star Trek fan?  Check out Paul Allen’s collection of toys and memorabilia Museum of Pop Culture ($30), which has two very geeky exhibits right now, Star Trek and Indie Game Revolution.  Or if you are secure in your ability to not knock over stuff worth more than it’s weight in gold, check out the Chihuly Garden and Glass ($22, combine with a trip to Space Needle for $36).  Kids and family in tow?  Can’t go wrong with the Pacific Science Center ($27.75 adults, $11.75 kids) and the Seattle Children’s Museum ($10.50).
  • Visit Pike’s Place Market (about 0.5 mile walk from Hotel).  See them toss fish!  Visit the original Starbucks (sssshhh it was actually the second).  Like your politics off the chart? Check out Left Bank Books which has a seriously eclectic collection of books.  While you’re at it, if you’re playing tourist, you might as well walk on down to the waterfront where you can take a ride on the Seattle Great Wheel ($13) or check out the Aquarium ($50 ouch) (we had a party there a few years back, yes we ate Sushi in front of the octopus.)
  • Architect buff on the cheap?  Check out the Seattle Central Library (a little over a half mile from Hotel).  Sculpture buff on the cheap?  Walk around the Olympic Sculpture Park (little over a mile from the Hotel).  These are in completely different directions from the Hotel.
  • Museums?  Seattle Art Museum has a nice collection ($25) but my favorite these days is the Museum of History and Industry (Little over 1 mile walk, $20).  The MoHaI is located in south Lake Union, a location that has been transformed dramatically in the last few years since Amazon relocated to the area.  Count the number of cranes!
  • So it turns out the Seattle you see today was built over the top of the Seattle that used to be, and, while I’ve never done it, everyone I know who has done it, loves the Seattle Underground Tour.  Note that if you combine this tour with reading about earthquakes in the PNW you might give yourself some anxiety issues.  Seattle is in the middle of boring a long tunnel under it’s downtown to replace the gigantic monstrosity of the viaduct, sadly I don’t think there are any tours of the tunnel boring machine, Big Bertha.

Be a Geek!

  • Ada’s Technical Books is in the Capital Hill Neighborhood (bus or Lyft).  It’s not as crazy as some university town bookstore, but has a good collection of non-standard science and tech books.
  • Elliot Bay Bookstore again in Capital Hill is no Powell’s but it’s still rather good.
  • Fantagraphics bookstore and gallery.  You’ll know if you want to go to this if you recognize the name.

See a Show!

Get Out and About!

  • We’ve a ton of snow right now.  Snoqualmie is closest, great for beginners or if you’re just craving a quick ski or board.  For the more serious, Baker, Crystal, and Stevens Pass are all recommended.  I like Crystal a bit more, on clear days the view of Mt. Rainier is spectacular.
  • Take a ferry over to Bainbridge Island.  This is one of my top recommendations in the summer, but even in the winter it’s a nice trip.  (Other summer recommendation is to rent a Kayak and kayak around Lake Union, but it’s too cold to do that this time of year.)
  • If you’re up for a nice stroll, head over to Discovery Park or take a walk on the Alki beach in West Seattle (both require a ride to get there from Hotel, though you could walk down and take the water taxi on weekdays.)  Closer by to the Hotel, head over to Myrtle Edwards Park.

Neighborhoods

  • Seattle is a city of neighborhoods, each of which, believes that they have their own style!  Each of these except Belltown or Downtown are a bus, cab, or rideshare away.  Really there is too much to cover here, but here are a few short notes:
    • Belltown: This is the neighborhood just north of downtown where the Hotel is located.  Used to be sketchy but now has lots of luxury condos.  Shorty’s is a dive with pinball and hot dogs.  People seem to love Tilikum Place Cafe though I have not been there.  If you want a traditional expensive steakhouse, El Gaucho is great, though I think the Metropolitan Grill in downtown is better (both pricey!)  Since this is a quantum conference, I would be remorse to not point out that Belltown is the site of Some Random Bar, which I believe has good crab nachos.  If you crave a sweet donut, Top Pot Donuts is literally just up the street from the hotel.
    • Fremont: Is still an eclectic neighborhood, though not quite as far out as it used to be.  It’s annual solstice parade is the only day it is legal to ride your bike nude in Seattle.   Tons of places to eat and drink here, I recommend Brouwers (great beer selection, frites), Revel (Korean fusion, no reservations), and Paseo (cuban sandwiches OMG delicious) but there are a ton more in the neighborhood.   Theo’s chocolate does factory tours and also supplies a great smell to the neighborhood (along with another smell from the nearby dispensaries!)  Also if you’re up this way you can see a huge troll under a bridge, a rocket ship, and a statue of Lenin (who sometimes gets dressed in drag).
    • Ballard: Originally a Scandinavian fishing community, these days it’s hip as Seattle hip gets.  Sunday year round farmer’s market.  When many people think of the Pacific Northwest they think of fish, but really I think where Seattle really shines is in shellfish.  The Walrus and the Carpenter is a great place to affirm this claim.
    • Capital Hill: East of downtown, Seattle’s most vibrant district.  Fancy restaurants: Altura, Poppy.
    • University District: Lots of cheap eats for UW students.  In the summer I recommend renting a kayak from Agua Verde, a Mexican restuarant/kayak rental joint
    • South Lake Union: Amazon land, totally transformed over the last few years. I’ve had good luck at re:public.  Shuffleboard at Brave Horse Tavern.

Morning Run
I’d probably head over to the Sculpture park and run up Myrtle Edwards Park: here is a mapmyrun route.
Seattle
Enjoy Seattle, it’s a fun town!  I recommend, generally, shellfish, thai food, and coffee.  Also you can play the fun people guessing game: “software engineer or not” (advanced players can score points for Amazon or Microsoft sub-genres).  Also: if you don’t want to look like a tourist, leave the umbrella at home.  You know it rains more every year in New York city, right?

5 Years!

Five years ago I (it’s me Dave Bacon former supposed pseudo-professor and one time quantum pontiff) jumped off the academic ship, swam to shore, and put on a new set of clothes as a software developer for Google. Can it really have been five years? Well I should probably update this blog so my mom knows what I’ve been up to.

  • I helped build and launch Google Domains. From quantum physics professor to builder of domain name registrar. I bet you wouldn’t have predicted that one! Along the way I was lucky to be surrounded by a team of software engineers who were gracious enough to tell me when I was doing silly things, and show me the craft that is a modern software development. I may now, in fact, be a real software developer. Though this just means that I know how much I still need to master.
  • We built a cabin! Well, we worked with wonderful architects and buiders to construct “New Caelifera” over in the Methow Valley (about 4 hours east of Seattle).
    New CaeliferaI have to say that this was one of the funnest things I’ve done in my life. Who knew a dumpy software engineer could also be an aesthete. Even cooler, the end result is an awesome weekend place that you have to drive through a National Park to get to. I’ve been super spoiled.
  • Lost: my sister, Catherine Bacon, and my dog, the Test Dog. Life is precious and we should cherish it!
  • Gained: a new puppy, Imma Dog Bacon. Imma dog? You’re a dog! Imma Dog!
    Imma Dog
  • Hobbies. arXiv:1605.03266. The difference between being a hobby scientist and a professional scientist is that when you’re a professional it’s “Fail. Fail. Fail. Fail. Fail. Fail. Fail. Fail. Fail. Success!” and when you’re a hobbiest it’s “Fffffffaaaaaiiiiiillllll. Fffffffaaaaaiiiiiillllll. Fffffffaaaaaiiiiiillllll. Fffffffaaaaaiiiiiillllll. Fffffffaaaaaiiiiiillllll. Fffffffaaaaaiiiiiillllll. Fffffffaaaaaiiiiiillllll. Fffffffaaaaaiiiiiillllll. Success?” Yes I’m that guy that reads your quantum computing papers at night after work for fun.

So maybe I’ll write another blog post in five years? Or maybe I should resurrect the Pontiff. I saw the Optimizer the other day, and he suggested that since it’s hard for me to blog about quantum computing stuff what with Google involved as it is, I could blog about stuff from the past. But I’m more of a promethean than a pastoralist. It didn’t occur to me until later that there is an alternative solution, one that is particularly appealing to a quantum dude like myself: maybe I should start blogging about an alternative universe? I’ve always liked Tlön, Uqbar, Orbis Tertius.

What If Papers Had APIs?

API is an abbreviation that stands for “Application Program Interface.” Roughly speaking an API is a specification of a software component in terms of the operations one can perform with that component. For example, a common kind of an API is the set of methods supported by a encapsulated bit of code a.k.a. a library (for example, a library could have the purpose of “drawing pretty stuff on the screen”, the API is then the set of commands like “draw a rectangle”, and specify how you pass parameters to this method, how rectangles overlay on each other, etc.) Importantly the API is supposed to specify how the library functions, but does this in a way that is independent of the inner workings of the library (though this wall is often broken in practice). Another common API is found when a service exposes remote calls that can be made to manipulate and perform operations on that service. For example, Twitter supports an API for reading and writing twitter data. This later example, of a service exposing a set of calls that can manipulate the data stored on a remote server, is particularly powerful, because it allows one to gain access to data through simple access to a communication network. (As an interesting aside, see this rant for why APIs are likely key to some of Amazon’s success.)
jdrzxAs you might guess, (see for example my latest flop Should Papers Have Unit Tests?), I like smooshing together disparate concepts and seeing what comes out the other side. When thinking about APIs then led me to consider the question “What if Papers had APIs”?
In normal settings academic papers are considered to be relatively static objects. Sure papers on the arXiv, for example, have versions (some more than others!) And there are efforts like Living Reviews in Relativity, where review articles are updated by the authors. But in general papers exist, as fixed “complete” works. In programming terms we would say that are “immutable”. So if we consider the question of exposing an API for papers, one might think that this might just be a read only API. And indeed this form of API exists for many journals, and also for the arXiv. These forms of “paper APIs” allow one to read information, mostly metadata, about a paper.
But what about a paper API that allows mutation? At first glance this heresy is rather disturbing: allowing calls from outside of a paper to change the content of the paper seems dangerous. It also isn’t clear what benefit could come from this. With, I think, one exception. Citations are the currency of academia (last I checked they were still, however not fungible with bitcoins). But citations really only go in one direction (with exceptions for simultaneous works): you cite a paper whose work you build upon (or whose work you demonstrate is wrong, etc). What if a paper exposed a reverse citation index. That is, if I put my paper on the arXiv, and then, when you write your paper showing how my paper is horribly wrong, you can make a call to my paper’s api that mutates my paper and adds to it links to your paper. Of course, this seems crazy: what is to stop rampant back spamming of citations, especially by *ahem* cranks? Here it seems that one could implement a simple approval system for the receiving paper. If this were done on some common system, then you could expose the mutated paper either A) with approved mutations or B) with unapproved mutations (or one could go ‘social’ on this problem and allow voting on the changes).
What benefit would such a system confer? In some ways it would make more accessible something that we all use: the “cited by” index of services like Google Scholar. One difference is that it could be possible to be more precise in the reverse citation: for example while Scholar provides a list of relevant papers, if the API could expose the ability to add links to specific locations in a paper, one could arguably get better reverse citations (because, frankly, the weakness of the cited by indices is their lack of specificity).
What else might a paper API expose? I’m not convinced this isn’t an interesting question to ponder. Thanks for reading another wacko mashup episode of the Quantum Pontiff!

Should Papers Have Unit Tests?

Perhaps the greatest shock I’ve had in moving from the hallowed halls of academia to the workman depths of everyday software development is the amount of testing that is done when writing code. Likely I’ve written more test code than non-test code over the last three plus years at Google. The most common type of test I write is a “unit test”, in which a small portion of code is tested for correctness (hey Class, do you do what you say?). The second most common type is an “integration test”, which attempts to test that the units working together are functioning properly (hey Server, do you really do what you say?). Testing has many benefits: correctness of code, of course, but it is also important for ease of changing code (refactoring), supporting decoupled and simplified design (untestable code is often a sign that your units are too complicated, or that your units are too tightly coupled), and more.
Over the holiday break, I’ve been working on a paper (old habit, I know) with lots of details that I’d like to make sure I get correct. Throughout the entire paper writing process, one spends a lot of time checking and rechecking the correctness of the arguments. And so the thought came to my mind while writing this paper, “boy it sure would be easier to write this paper if I could write tests to verify my arguments.”
In a larger sense, all papers are a series of tests, small arguments convincing the reader of the veracity or likelihood of the given argument. And testing in a programming environment has a vital distinction that the tests are automated, with the added benefit that you can run them often as you change code and gain confidence that the contracts enforced by the tests have not been broken. But perhaps there would be a benefit to writing a separate argument section with “unit tests” for different portions of a main argument in a paper. Such unit test sections could be small, self-contained, and serve as supplemental reading that could be done to help a reader gain confidence in the claims of the main text.
I think some of the benefits for having a section of “unit tests” in a paper would be

  • Documenting limit tests A common trick of the trade in physics papers is to take a parameter to a limiting value to see how the equations behave. Often one can recover known results in such limits, or show that certain relations hold after you scale these. These types of arguments give you confidence in a result, but are often left out of papers. This is sort of kin to edge case testing by programmers.
  • Small examples When a paper gets abstract, one often spends a lot of time trying to ground oneself by working with small examples (unless you are Grothendieck, of course.) Often one writes a paper by interjecting these examples in the main flow of the paper, but these sort of more naturally fit in a unit testing section.
  • Alternative explanation testing When you read an experimental physics paper, you often wonder, am I really supposed to believe the effect that they are talking about. Often large portions of the paper are devoted to trying to settle such arguments, but when you listen to experimentalists grill each other you find that there is an even further depth to these arguments. “Did you consider that your laser is actually exciting X, and all you’re seeing is Y?” The amount of this that goes on is huge, and sadly, not documented for the greater community.
  • Combinatorial or property checks Often one finds oneself checking that a result works by doing something like counting instances to check that they sum to a total, or that a property holds before and after a transformation (an invariant). While these are useful for providing evidence that an argument is correct, they can often feel a bit out of place in a main argument.

Of course it would be wonderful if there we a way that these little “units” could be automatically executed. But the best path I can think of right now towards getting to that starts with the construction of an artificial mind. (Yeah, I think perhaps I’ve been at Google too long.)

Goodbye Professor Tombrello

This morning I awoke to the horrible news that Caltech Physics Professor Tom Tombrello had passed away. Professor Tombrello was my undergraduate advisor, my research advisor, a mentor, and, most importantly a friend. His impact on me, from my career to the way I try to live my life, was profound.
Because life is surreal, just a few days ago I wrote this post that describes the event that led Professor Tombrello and I down entwined paths, my enrollment in his class Physics 11. Physics 11 was a class about how to create value in the world, disguised as a class about how to do “physics” research as an undergraduate. Indeed, in my own life, Professor Tombrello’s roll was to make me think really really hard about what it meant to create. Sometimes this creation was in research, trying to figure out a new approach or even a new problem. Sometimes this creation was in a new career, moving to Google to be given the opportunity to build high impact creations. I might even say that this creation extends into the far reaches of Washington state, where we helped bring about the creation of a house most unusual.
There are many stories I remember about Professor Tombrello. From the slightly amusing like the time after the Northridge earthquake when an aftershock shook our class while he was practicing his own special brand of teach, and we all just sort of sat still until we heard this assistant, Michelle, shout out “That’s it! I’m outta here!” and go storming out. To the time I talked with him following the loss of one of his family members, and could see the profound sadness even in a man who push optimistically forward at full speed.
Some portraits:

After one visit to Professor Tombrello, I actually recorded my thoughts on our conversation:

This blog post is for me, not for you. Brought to you by a trip down memory lane visiting my adviser at Caltech.
Do something new. Do something exciting. Excel. Whether the path follows your momentum is not relevant.
Don’t dwell. Don’t get stuck. Don’t put blinders on.
Consider how the problem will be solved, not how you are going to solve it.
Remember Feynman: solve problems.
Nothing is not interesting, but some things are boring.
Dyson’s driving lesson: forced intense conversation to learn what the other has to say.
Avoid confirmatory sources of news, except as a reminder of the base. Keep your ear close to the brains: their hushed obsessions are the next big news.
Learn something new everyday but also remember to forget the things not worth knowing.
Technically they can do it or they can’t, but you can sure help them do it better when they can.
Create. Create. Create.
Write a book, listen to Sandra Tsing Loh, investigate Willow Garage, and watch Jeff Bezos to understand how to be a merchant.
Create. Create. Create.

So tonight, I’ll have a glass of red wine to remember my professor, think of his family, and the students to whom he meant so much. And tomorrow I’ll pick myself up, and try to figure out just what I can create next.

Sailing Stones: Mystery No More

My first research project, my first research paper, was on a perplexing phenomenon: the sliding rocks of Death Valley’s Racetrack playa. Racetrack playa is a large desolate dry lake bed that has one distinguishing feature above and beyond its amazing flatness. At the south end of the playa are a large number of large rocks (one man size and smaller), and behind these rocks, if you visit in the summer, are long tracks caked into the dried earth of the playa. Apparently these rocks, during the winter months, move and leave these long tracks. I say apparently, because, for many many years, no one had ever seen these rocks move. Until now! The following video makes me extremely happy

This is a shot of one of the playa stones actually moving! This is the end result of a large study that sought to understand the mechanism behind the sliding stones, published recently in PloS one:

In 1993, fresh out of Yreka High School, I found myself surrounded by 200+ geniuses taking Caltech’s first year physics class, Physics 1 (med schools sometimes ask students at Caltech to verify that they know Calculus because the transcripts have just these low numerical course indicators on them, and of course Physics 1 couldn’t actually be physics with calculus, could it?) It would be a lie to say that this wasn’t intimidating: some of the TAs in the class where full physics professors! I remember a test where the average score was 0.5 out of 10 and perhaps it didn’t help that my roommate studied with a Nobel prize winner as a high school student. Or that another freshman in my class was just finishing a paper with his parents on black holes (or that his dad is one of the founders of the theory of inflation!) At times I considered transferring, because that is what all Caltech students do when they realized how hard Caltech is going to be, and also because it wasn’t clear to me what being a physics major got you.

One day in Physics 1 it was announced that there was a class that you could gain entrance to that was structured to teach you not physics, but how to do creative research. Creativity: now this was something I truly valued! It was called Physics 11 and it was run by one Professor Tom Tombrello (I’d later see his schedule on the whiteboard with the abbreviation T2). The only catch was that you had to get accepted into the class and to do this you had to do you best at solving a toy research problem, what the class termed a “hurdle”. The students from the previous class then helped select the new Physics 11 students based upon their performance on the hurdles. The first hurdle also caught my eye: it was a problem based upon the old song Mairzy Doats which my father had weekly sung while showering in the morning. So I set about working on the problem. I don’t remember much of my solution, except that it was long and involved lots of differential equations of increasing complexity. Did I mention that it was long? Really long. I handed in the hurdle, then promptly ran out of time to work on the second hurdle.

Because I’d not handed in the second hurdle, I sort of expected that I’d not get selected into the class. Plus I wasn’t even in the advanced section of physics 1 (the one TAed by the professors, now those kids were well prepared and smart!) But one late night I went to my mailbox, opened it, and found…nothing. I closed it, and then, for some strange reason, thought: hey maybe there is something stuck in there. So I returned and opened the box, dug deep, and pulled out an invitation to join physics 11! This story doesn’t mean much to you, but I can still smell, feel, and hear Caltech when I think of this event. Also I’ve always been under the impression that being accepted to this class was a mistake and really the invitation I got was meant for another student in a mailbox next to mine. But that’s a story for another session on the couch.

So I enrolled in Physics 11. It’s not much of a stretch to say that it was the inspiration for me to go to graduate school, to do a postdoc, and to become a pseudo-professor. Creative research is an amazing drug, and also, I believe, one of the great endeavors of humanity. My small contribution to the racetrack playa story was published in the Journal of Geology:

The basic mystery was what caused these rocks to move. Was it the wind? It seemed hard to get enough force to move the rocks. Was it ice? When you placed stakes around the rocks, some of the rocks moved out of the stakes and some did not. In the above paper we pointed out that a moving layer of water would mean that there was more wind down low that one would normally get because the boundary layer was moving. We also looked for the effect of said boundary layer on the rocks motion and found a small effect.

The answer, however, as to why the rocks moved, turned out to be even more wonderful. Ice sheets dislodged and bashing the rocks forward. A sort of combination of the two competing previous hypothesis! This short documentary explains it nicely

So, another mystery solved! We know more about how the world works, not on a level of fundamental physics, but on a level of, “because it is interesting”, and “because it is fun”, and isn’t that enough? Arthur C. Clarke, who famously gave airtime to these rocks, would, I think, have been very please with this turn of events

Two Cultures in One of the Cultures

This makes no senseA long time ago in a mental universe far far away I gave a talk to a theory seminar about quantum algorithms. An excerpt from the abstract:

Quantum computers can outperform their classical brethren at a variety of algorithmic tasks….[yadda yadda yadaa deleted]… This talk will assume no prior knowledge of quantum theory…

The other day I was looking at recent or forthcoming interesting quantum talks and I stumbled upon one by a living pontiff:

In this talk, I’ll describe connections between the unique games conjecture (or more precisely, the closely relatedly problem of small-set expansion) and the quantum separability problem… [amazing stuff deleted]…The talk will not assume any knowledge of quantum mechanics, or for that matter, of the unique games conjecture or the Lasserre hierarchy….

And another for a talk to kick off a program at the Simons institute on Hamiltonian complexity (looks totally fantastic, wish I could be a fly on the wall at that one!):

The title of this talk is the name of a program being hosted this semester at the Simons Institute for the Theory of Computing….[description of field of Hamiltonian complexity deleted…] No prior knowledge of quantum mechanics or quantum computation will be assumed.

Talks are tricky. Tailoring your talk to your audience is probably one of the trickier sub-trickinesses of giving a talk. But remind me again, why are we apologizing to theoretical computer scientists / mathematicians (which are likely the audiences for the three talks I linked to) for their ignorance of quantum theory? Imagine theoretical computer science talks coming along with a disclaimer, “no prior knowledge of the PCP theorem is assumed”, “no prior knowledge of polynomial-time approximation schemes is assumed”, etc. Why is it still considered necessary, decades after Shor’s algorithm and error correction showed that quantum computing is indeed a fascinating and important idea in computer science, to apologize to an audience for a large gap in their basic knowledge of the universe?
As a counter argument, I’d love to hear from a non-quantum computing person who was swayed to attend a talk because it said that no prior knowledge of quantum theory is assumed. Has that ever worked? (Or similar claims of a cross cultural prereq swaying you to bravely go where none of your kind has gone before.)