SQuInT 2005

The schedule for the seventh annual SQuInT workshop is now online:

Friday Feb. 18
7:30-8:25 Breakfast (provided)
Session 1: Ion Traps
8:25-8:30 Welcome
8:30-9:00 Chiaverini, “Simple algorithms implemented in a scalable trapped-ion quantum processor”
9:00-9:30 Berkeland, “Quantum simulations with trapped strontium ions”
9:30-10:00 Morning Break (provided)
Tutorial:
10:00-11:00 Chuang, “Lessons from NMR for quantum computation”
Session 2: Quantum Information Theory
11:00-11:30 Bacon,”Optimal measurements for the dihedral hidden subgroup problem”
11:30-12:00 Gurvits, “Convex geometry of quantum entanglement”
12:00-2:00 Lunch (provided)
Invited Talk:
2:00-2:45 Steane, TBA
Session 3: Quantum Measurement and Signal Processing
2:45-3:15 Williams, “Quantum signal processing”
3:15-3:45 Afternoon break (provided)
3:45-4:15 Silberfarb, “Quantum state reconstruction via continuous measurement”
4:15-4:45 Geremia, “Optimal discrimination of optical coherent ctates using feedback control”
4:45-5:15 Hawley, “Nondemolition measurement of single spin state for quantum computation based on optically detected magnetic resonance”
6:00-7:30 Poster session
7:30- Dinner (on your own)
Saturday Feb. 19
7:30-8:30 Breakfast (provided)
Session 4: Quantum Communications 1
8:30-9:00 Hughes, “Quantum key distribution in optical fiber networks”
9:00 -9:30 Raymer, “Engineered pure-state single-photon wave-packets”
9:30-10:00 Morning Break (provided)
Tutorial:
10:00-11:00 Spekkens, TBA
Session 5: Fault Tolerance
11:00-11:30 Szkopek, “Threshold error penalty for fault tolerant computation with nearest neighbour communication”
11:30-12:00 Eastin, “Fault tolerance for restricted error models”
12:00-2:00 Lunch (provided)
Invited Talk:
2:00-2:45 Schoelkopf , TBA
Session 6: Solid State and Electronics
2:45-3:15 Gibbs, “Vacuum Rabi splitting with a single quantum dot in a photonic crystal nanocavity”
3:15-3:45 Goodkind, ” Progress fabricating qubits using electrons on helium”
3:45-4:15 Afternoon break (provided)
4:15-4:45 Waks, “Cavity-waveguide interaction in photonic crystals”
4:45-5:15 Guney, “Implementation of entanglement and quantum logic gate operations using three-dimensional photonic crystal single-mode cavity”
5:15-5:45 Yao, “Design of solid-state nanodot-cavity-waveguide system for quantum computation and quantum information processing”
7:00- Banquet
Sunday Feb. 20
7:30-8:30 Breakfast (provided)
Session 7: Cold atoms
8:30-9:00 Lev, “Magnetic microtraps for cavity QED, BECs, and atom optics”
9:00-9:30 Chou, “Storage time of a quantum memory in an ensemble of cold atoms”
Invited:
9:30-10:15 Molmer, TBA
10:15-10:45 Morning Break (provided)
Session 8: Quantum Communications 2
10:45-11:15 Sanders, “Remote entanglement distribution”
11:15-11:45 Wodkiewicz, “Fidelity of noisy quantum channels”
11:45-12:15 Spedalieri, “Exploiting the quantum Zeno effect to beat photon loss in linear
optical quantum information processors”

What I love about SQuInT is that (1) there are both theory and experiment talks and (2) having gone to all of the SQuInTs except the pre-SQuInTs, I get to witness the slow stead experimental progress in building a quantum computer.

Two Questions

Quantum theory is famous, if for nothing else, than for the various raging debates about the interpretation of quantum theory. One of the issues which has been bugging me in this debate for a while is that I think that sometimes the combatents are actually debating different questions. In particular I would like to make the distinction between (1) the reconcilliation of the classical world with the quantum world and (2) the consistency of post-quantum theories with the quantum world.
In the first question, we ask how it is that the classical world of probabilities arises from the quantum world of amplitudes. Once we say that quantum theory is describing what is going on, then this question I think is important. And I also think we have lots of good reasons to believe we understand at least a little about the transition from quantum to classical. It’s totaly consistent to hold the point of view that there is nothing mysterious about the quantum world, that’s just the way it works, and if we are unconfortable with it, it is because we never directly experience it. In this case, what needs to be explained is how our classical world emerges from quantum theory.
The second question is a different and more challenging question. It asks what kind of theories exist which can reproduce quantum theory (exactly, or perhaps in some appropriate limit.) Often this question gets bungled up with the first question. In other words, we think of finding a deeper theory as finding a classical theory. But the deeper theory need not have anything to do with the quantum/classical transition. In fact, perhaps one of the greatest biases in thinking about deeper theories is that we implicity try to give them classical properties. But this doesn’t have to be the way it works.
Now, when I hear the many debators in the great quantum interpretation wars, the conversation sounds kind of funny. Like, Alice: “Pizza is better than hamburgers!” Bob: “Vegans eat lettuce.” So if you see me laughing when a consistent historian meets a Bohmian realist, you’ll now know why.

A Large Influence

At QIP, I was struck by something odd about the invited speakers. First, of course, was their age. The group of speakers was much younger than in previous years. Many of the speakers are from the second generation of the quantum information science revolution (we must compete with string theory, no?) But then it struck me: most of the speakers have spent a considerable length of time at the Institute for Quantum Information at Caltech. In fact 12 of the 22 invited speakers are IQI alumni in some manner. Now that’s a pretty amazing track record for a single institute.

QIP 2005 Trip Report

First, Boston was cold. Actually it wasn’t too much colder than Santa Fe, but the extra wetness and windiness made it feel much colder. Except one strange night, where, after embibing some refreshments at the “Miracle of Science” bar (this is M.I.T. you know), the walk home at midnight was filled with a strong, probably 55 degree breeze. Very strange.
There were a lot of good talks at QIP, but, like any conference, the talks do not fully make up the content of the conference. I had a good time talking to various people about the hidden subgroup problem and I am more optimistic about the problem than I have been in a long time. Expect a lot of good work to be reported in the next six months.
My favorite talk of the conference was probably Oded Regev’s talk on a new public-key cryptosystem. While previous lattice based public-key cryptosystems (like the one by Ajtai and Dwork and an improvement of this system by Oded himself) were based on a problem called the unique shortest vector in a lattice problem, breaking the new cryptosystem is based on the hardness of the shortest vector problem. The funny thing is that it is based not on the classical hardness of the shortest vector problem, but is based on the quantum hardness of the shortest vector problem. One intersting offshoot of this is that there is a learning problem whose solution will lead to a quantum algorithm for certain shortest vector in a lattice problems.
Another very interesting and entertaining talk was given by Scott Aaronson (quantum computing’s younger clown.) Scott talked about a model of quantum computation in which you get to postselect on the measurement outcome. In other words, you get to perform a quantum measurement and, instead of getting one of say two outcomes, you get to always assume that you got only one of the two possible outcomes. Postselection is, as far as we know, not possible, but you know computer scientists: always talking about crazy complexity classes whose practical value is dubious. But just because there is no practical value doesn’t mean that this craziness cannot lead to some astoundingly nice results. And this is exactly what Scott was able to show. In particular he showed that the model of quantum computation with postselection, postBQP, is exactly equal to the complexity class PP. The class PP (called, unfortunately, “probabilistic polynomial time”) is the class of problems solvable by a non-deterministic Turing machine such that if the answer is yes then at least 1/2 of the paths accept and if the answer is no then less than 1/2 of the computational paths accept. A comparison with NP is that in NP, the answer is yes if at least one of the paths accept and if the answer is no then none of the paths accept. One of the trickier properties to establish about PP is that it is closed under intersection. This was done by Beigel, Reingold, and Spielman in 1991. What is really cute about Scott’s result is that he is able to obtain this proof in a very very simple way from the fact that postBQP=PP. The technique also produces a lot of other previous results in a nice clean manner. Amazing how a quantum model of computation, with a crazy extra assumption (postselection) can make things so much clearer!
QIP 2006 will be held in Paris and QIP 2007 will be held in Brisbane, Australia.

Two Quantum Tapas

Here is the talk i gave this morning at QIP 2005: Two Quantum Tapas.
In the talk I discuss Bell inequalities with communication for multipartite quantum correlations and also quantum error correcting subsystems.

Dihedral Hidden Subgroup Problem

Nothing like a little shameless self-promotion: quant-ph 0501044

Optimal measurements for the dihedral hidden subgroup problem
Dave Bacon, Andrew Childs, and Wim van Dam
We consider the dihedral hidden subgroup problem as the problem of distinguishing hidden subgroup states. We show that the optimal measurement for solving this problem is the so-called pretty good measurement. We then prove that the success probability of this measurement exhibits a sharp threshold as a function of the density nu=k/log N, where k is the number of copies of the hidden subgroup state and 2N is the order of the dihedral group. In particular, for nu<1 the optimal measurement (and hence any measurement) identifies the hidden subgroup with a probability that is exponentially small in log N, while for nu>1 the optimal measurement identifies the hidden subgroup with a probability of order unity. Thus the dihedral group provides an example of a group G for which Omega(log|G|) hidden subgroup states are necessary to solve the hidden subgroup problem. We also consider the optimal measurement for determining a single bit of the answer, and show that it exhibits the same threshold. Finally, we consider implementing the optimal measurement by a quantum circuit, and thereby establish further connections between the dihedral hidden subgroup problem and average case subset sum problems. In particular, we show that an efficient quantum algorithm for a restricted version of the optimal measurement would imply an efficient quantum algorithm for the subset sum problem, and conversely, that the ability to quantum sample from subset sum solutions allows one to implement the optimal measurement.

Profile of a Quantum Theorist

Nature (433, 8 (2005)) has an article profiling four young theorists, and among these theorists is quantum computing’s Dorit Aharonov:

A theorist of errors
Growing up on Einstein Street in Haifa, Israel, Dorit Aharonov was perhaps destined to study physics. But she pursued other interests before finally settling on quantum computation. Haim Watzman reports.
To enter Dorit Aharonov’s office is to experience a sudden transition between order and disorder. The corridors of the computer-science building at the Hebrew University of Jerusalem are stark, white and neat. Aharonov’s office is a jumble of red-and-orange patterned cushions, article reprints and wicker furniture. It’s an appropriate setting for a theorist who has proved that when disorder reaches a certain level, the physics of the quantum realm switches into the classical domain of the world we see every day.
Aharonov devotes herself to the theory behind quantum computers. As-yet unbuilt, these machines would harness the power of quantum mechanics to perform tasks that defeat conventional computers — such as factoring large numbers. Aharonov, now 34, has already made important contributions to this goal by showing that a quantum computer could perform reliably and accurately despite a ‘noisy’ environment.
Physics runs strong in Aharonov’s family. Her uncle, Yakir Aharonov, is a physicist at Tel Aviv University, and her father is a mathematician who taught her the beauty of numbers when she was little. She later chose physics and mathematics for her undergraduate studies, but the quantum world did not initially capture her imagination. She wanted instead to use physics to study the brain.
A chance encounter
“I wanted to solve the problem of consciousness,” she recalls. But she began to think that the problem was still beyond the reach of today’s science. “Then, one day, at a wedding, a friend asked me for advice about what direction to take in the study of the brain. I advised him to check out what people in computer science were doing,” she says.
Realizing she should take her own advice, Aharonov went to the Hebrew University’s computer-science building to find someone to talk to. She was directed to Michael Ben-Or and, as she knocked on his door, she says that she had a strong feeling something important was going to happen. It did. Ben-Or told her about quantum computation. “It fascinated me. It was mathematics, physics and philosophy all in one package,” she says.
Back then, in 1994, the problem facing theorists such as Ben-Or was how to prevent a quantum computer from crashing. All computers make errors when they operate, but quantum computers are more susceptible to failure. This is because the quantum states on which calculations depend are very delicate: complex phenomena, such as the spin states of atomic nuclei, can store quantum information but this data can easily be lost if the particles interact with their surroundings. A computer can never be perfectly isolated from its environment, so there will always be ‘noise’ in the system and, inevitably, errors will arise. Moreover, correcting such errors is almost as difficult as doing the calculation in the first place. So will it ever be possible to do a reliable quantum calculation?
“That was the problem I posed to Dorit,” says Ben-Or, who became Aharonov’s dissertation supervisor and later her collaborator. Working with Ben-Or, Aharonov proved that at a constant but low level of system noise, a quantum computer can still produce accurate results1.
“I consider her to be one of the most outstanding young people in this field,” says Peter Zoller, a theoretical physicist at the University of Innsbruck, Austria. Zoller wants to build a quantum computer, and he says that Aharonov has been instrumental in laying the theoretical foundations on which a real machine could be constructed. As well as her work on error tolerance, he cites an important proof2 Aharonov developed with Oded Regev and others while working at the University of California, Berkeley. The proof showed that two existing models for quantum computing are actually equivalent and, as a result, made writing quantum algorithms easier.
While at Berkeley, Aharonov extended her work on computers to address a fundamental puzzle presented by quantum mechanics — why its laws are evident in the world of elementary particles, but not in everyday life. At what point does the world switch from looking quantum to looking classical? Is it simply a matter of scale?
Aharonov showed that for many noisy quantum systems, there is a level of noise above which a transition to classical behaviour is inevitable. Such transitions are much sharper than expected from other theories that predict a gradual shift away from quantum behaviour3.
Ben-Or says that what sets Aharonov apart is her boldness. As a graduate student she was not shy about contacting leading figures in the field to discuss their work, he recalls. Zeph Landau, a mathematician at the City College of New York who collaborated with Aharonov on the model equivalence paper, says that she is focused but not single-minded, finding time to discuss other pursuits.
Aharonov says that balancing life and work is essential to her research. Like many theorists, she says that she has her best ideas when not thinking about work at all. Her daily yoga session is particularly rewarding, she says: “It disperses the fog. My intuition becomes sharper. When there is less struggle, ideas become clear.”
Eastern ideas about the interconnectedness of everything also influence her work. For instance, Aharonov is not fixated on the actual construction of a quantum computer. “The most interesting thing that might come out of an attempt to build one is the discovery that we can’t do it,” she says. By failing, she adds, we might discover some entirely new physics.
HAIM WATZMAN
Haim Watzman is a freelancer based in Jerusalem, Israel.
References
1. Aharonov, D. & Ben-Or, M. Preprint at http://xxx.lanl.gov/quant-ph/9611025 (1996).
2. Aharonov, D. et al. Preprint at http://xxx.lanl.gov/quant-ph/0405098, (2004).
3. Aharonov, D. Phys. Rev. A 62, 062311 (2000).

I first heard Dorit speak at the QIP conference in Chicago in 1999. What I remember most about the talk was that all of the sudden the little I knew about quantum error correcting codes crystalized perfectly for me during her talk.

Asher Peres, 1934-2005

Sad news comes from via Lance Fortnow’s Computational Complexity:

Asher Peres, 1934-2005
By Netanel Lindner, Petra Scudo and Danny Terno via Christopher Fuchs
Quantum information science lost one of its founding fathers. Asher Peres died on Sunday, January 1, 2005. He was 70 years old.
A distinguished professor at the Department of Physics, Technion – Israel Institute of Technology, Asher described himself as “the cat who walks by himself”. His well-known independence in thought and research is the best demonstration of this attitude. Asher will be missed by all of us not only as a great scientist but especially as a wonderful person. He was a surprisingly warm and unpretentious man of stubborn integrity, with old-world grace and a pungent sense of humor. He was a loving husband to his wife Aviva, a father to his two daughters Lydia and Naomi, and a proud grandfather of six. Asher was a demanding but inspiring teacher. Many physicists considered him not only a valued colleague but also a dear friend and a mentor.
Asher’s scientific work is too vast to review, while its highlights are well-known. One of the six fathers of quantum teleportation, he made fundamental contributions to the definition and characterization of quantum entanglement, helping to promote it from the realm of philosophy to the world of physics. The importance of his contributions to other research areas cannot be overestimated. Starting his career as a graduate student of Nathan Rosen, he established the physicality of gravitational waves and provided a textbook example of a strong gravitational wave with his PP-wave. Asher was also able to point out some of the signatures of quantum chaos, paving the way to many more developments. All of these contributions are marked by a surprising simplicity and unbeatable originality.
Of all his publications, Asher was most proud of his book Quantum Theory: Concepts and Methods. The book is an example of Asher’s scientific style: an uncompromising and deep understanding of the fundamental issues expressed in a form which is as simple and accessible as possible. It took Asher six years to carefully weave the threads of his book together. The great quality of the work is acknowledged by anyone acquainted with the final result.
In a favorite anecdote, Asher told about a reporter who had interviewed him on quantum teleportation. “Can you teleport only the body, or also the spirit?” the reporter had asked. “Only the spirit,” was Asher’s reply. Our community has been privileged to know him and have been touched by his spirit.
I am the cat who walks by himself is a charming twelve-page autobiography covering his life from his birth in the village Beaulieu-sur-Dordogne in France until his meeting with Aviva on a train to Haifa. The rest of his story is in his formal CV.

Asher’s book, besides being a classic on foundational issues, profoundly influence much of the style of today’s quantum information science. One passage in particular was a favorite of mine which I accidentally quoted to Murray Gell-Mann the other day:

This mental prcoess can be repeated indefinitely. Some authors state that the last stage in this chain of measurements involves “consciousness,” or the “intellectual inner life” of the observer, by virtue of the “principle of psychophysical parallelism.”[3,4] Other authors introduce a wave function for the whole Universe[5]. In this book, I shall refrain from using concepts that I do not understand.
[3] J. von Neumann, Mathematische Grundlagen der Quantenmechanik, Springer, Berlin (1932) p. 223; transl. by E.T. Beyer: Mathematical Foundations of Quantum Mechanics, Princeton Univ. Press (1955) p. 418
[4] E.P. Wigner, Symmetries and Reflections, Indiana Univ. Press, Bloomington (1967)

Among all the papers which Asher wrote, I think my favorite would have to be a paper he wrote with Wootters: “Optimal Detection of Quantum Information,” Phys. Rev. Lett. 66, 1119-1122 (1991):

Two quantum systems are identically prepared in different locations. An observer’s task is to determine their state. A simple example shows that a pair of measurements of the von Neumann type is less effective than a sequence of nonorthogonal probability-operator measures, alternating between the two quantum systems. However, the most efficient set of operations of that type that we were able to design falls short of a single combined measurement, performed on both system together.

Connections

When you are bored, you do silly things. Today I discovered that on quant-ph, I am a coauthor with 18 people who are in turn coauthors with 295 more people.