back to indexScott Aaronson: What is a Quantum Computer? | AI Podcast Clips
Chapters
0:0
0:18 What Is Quantum Computing
0:45 What Does Quantum Mechanics Say about the World
2:12 Quantum Superposition
3:43 Double Slit Experiment
5:9 What a Quantum Computer Is
11:24 Error Corrected Quantum Computers
12:16 Decoherence
14:57 Theory of Quantum Error Correction and Quantum Fault Tolerance
00:00:10.920 |
So there's this broad and deep aspect to quantum computing 00:00:14.880 |
that represents more than just the quantum computer. 00:00:22.280 |
- Yeah, so it's a proposal for a new type of computation, 00:00:27.760 |
or let's say a new way to harness nature to do computation 00:00:31.720 |
that is based on the principles of quantum mechanics. 00:00:34.800 |
Okay, now the principles of quantum mechanics 00:00:42.640 |
You know, what's new is how we wanna use them. 00:00:45.680 |
Okay, so what does quantum mechanics say about the world? 00:00:50.240 |
You know, the physicists, I think, over the generations, 00:00:53.120 |
you know, convinced people that that is an unbelievably 00:01:07.080 |
if you do what we do in quantum information theory 00:01:12.440 |
So the way that we think about quantum mechanics 00:01:20.280 |
So, you know, you might say there was a 30% chance 00:01:25.320 |
that it was going to snow today or something. 00:01:27.640 |
You would never say that there was a negative 30% chance, 00:01:32.440 |
Much less would you say that there was, you know, 00:01:34.280 |
an I% chance, you know, square root of minus 1% chance. 00:01:38.760 |
Now, the central discovery that sort of quantum mechanics 00:01:43.760 |
made is that fundamentally the world is described by, 00:01:48.960 |
or, you know, the sort of, let's say the possibilities 00:01:56.840 |
are described using numbers called amplitudes, okay, 00:02:09.520 |
In fact, they can even be complex numbers, okay? 00:02:12.360 |
And if you've heard of a quantum superposition, 00:02:20.360 |
one of these complex numbers to every possible 00:02:28.280 |
So for example, you might say that an electron 00:02:34.360 |
and some other amplitude for being there, right? 00:02:47.160 |
That happens by taking their squared absolute value, okay? 00:02:50.200 |
And then, you know, you can say either the electron 00:03:19.360 |
and that are, you know, alien to our everyday experience. 00:03:27.480 |
you know, or assuming that they're not lying to you, 00:03:40.720 |
is that they can interfere with each other, okay? 00:03:52.400 |
and you find that there, you know, on a second screen, 00:03:59.880 |
you know, after it passes through the first screen. 00:04:07.280 |
then the electron can appear in that place, okay? 00:04:12.880 |
that the electron could take to get somewhere, 00:04:15.400 |
you can increase the chance that it gets there, okay? 00:04:20.000 |
Well, it's because, you know, as we would say now, 00:04:23.440 |
the electron has a superposition state, okay? 00:04:26.480 |
It has some amplitude for reaching this point 00:04:40.400 |
then, you know, I have to add them all up, right? 00:04:45.480 |
that the electron could have taken to reach this point. 00:05:01.060 |
then the amplitude is positive or it's negative 00:05:05.160 |
Okay, so that is sort of the one trick of quantum mechanics. 00:05:08.760 |
And now I can tell you what a quantum computer is, okay? 00:05:11.760 |
A quantum computer is a computer that tries to exploit, 00:05:23.800 |
in order to solve certain problems much faster 00:05:29.120 |
So it's the basic building block of a quantum computer 00:05:34.800 |
That just means a bit that has some amplitude 00:05:37.200 |
for being zero and some other amplitude for being one. 00:05:40.720 |
So it's a superposition of zero and one states, right? 00:05:49.580 |
the rules of quantum mechanics are completely unequivocal 00:05:55.320 |
I don't just need amplitudes for each qubit separately. 00:06:00.960 |
for every possible setting of all thousand of those bits. 00:06:12.480 |
let's say in the memory of a conventional computer, 00:06:15.280 |
if I had to write down two to the 1000 complex numbers, 00:06:18.600 |
that would not fit within the entire observable universe. 00:06:22.240 |
Okay, and yet, you know, quantum mechanics is unequivocal 00:06:25.720 |
that if these qubits can all interact with each other, 00:06:28.720 |
and in some sense, I need two to the 1000 parameters, 00:06:32.880 |
you know, amplitudes to describe what is going on. 00:06:41.040 |
about quantum computing go off the rails is that they say, 00:06:46.800 |
and then they say, oh, so the way a quantum computer works 00:06:49.520 |
is just by trying every possible answer in parallel. 00:06:52.760 |
So, you know, that sounds too good to be true. 00:06:55.920 |
And unfortunately, it kind of is too good to be true. 00:07:05.880 |
you know, even if there were two to the 1000 of them, 00:07:13.080 |
you've got at some point, you've got to look at it 00:07:43.160 |
And you try to do it so that for each wrong answer, 00:07:46.240 |
some of the paths leading to that wrong answer 00:07:55.160 |
Okay, whereas all the paths leading to the right answer 00:08:00.340 |
should have amplitudes pointing the same direction. 00:08:17.920 |
that you've painted is information contained? 00:08:21.360 |
- Oh, well, information is at the core of everything 00:08:30.000 |
Since, you know, Claude Shannon's paper in 1948, 00:08:43.360 |
- So that's the basic element of information. 00:08:45.120 |
is that the basic unit of quantum information is the qubit, 00:08:54.480 |
manipulated in a superposition of zero and one states. 00:09:11.640 |
There is, you know, superconducting quantum computing 00:09:16.160 |
because of Google's quantum supremacy experiment, right? 00:09:29.000 |
one representing a zero, another representing a one, 00:09:35.080 |
above absolute zero, like a hundredth of a degree, 00:09:57.840 |
or it could be in a superposition of the two spin states. 00:10:02.240 |
But see, just like in the classical world, right, 00:10:07.500 |
without having any idea of what a transistor is, right, 00:10:15.040 |
even that the machine uses electricity, right? 00:10:19.680 |
It's sort of the same with quantum computing, right? 00:10:26.020 |
and yet all of those systems will lead to the same logic, 00:10:31.940 |
and how you measure them, how you change them over time. 00:10:36.140 |
And so, you know, the subject of how qubits behave 00:10:46.420 |
- So the physical design implementation of a qubit 00:10:50.200 |
does not interfere with that next level of abstraction 00:11:10.080 |
And so sort of the qubits are very far from perfect, 00:11:15.080 |
and so the lower level sort of does affect the higher levels, 00:11:18.680 |
and we sort of have to think about all of them at once. 00:11:23.920 |
is to what are called error-corrected quantum computers, 00:11:29.280 |
like perfect abstract qubits for as long as we want them to. 00:11:33.520 |
And in that future, you know, a future that we can already, 00:11:37.920 |
you know, sort of prove theorems about or think about today, 00:11:44.240 |
really does become decoupled from the hardware. 00:11:46.700 |
- So if noise is currently like the biggest problem 00:11:57.780 |
can you just maybe describe what does it mean 00:12:04.420 |
So yeah, so the problem is even a little more specific 00:12:09.980 |
if you're trying to actually build a quantum computer, 00:12:18.460 |
Okay, and this was recognized from the very beginning, 00:12:21.020 |
you know, when people first started thinking about this 00:12:27.740 |
the unwanted interaction between, you know, your qubits, 00:12:44.700 |
that's in a superposition of zero and one states 00:12:46.940 |
to ask it, you know, are you zero or are you one? 00:12:49.460 |
Well, now I force it to make up its mind, right? 00:12:51.860 |
And now probabilistically it chooses one or the other, 00:12:55.620 |
and now, you know, it's no longer a superposition, 00:12:59.780 |
there's just there's some probability that I get a zero 00:13:03.960 |
And now the trouble is that it doesn't have to be me 00:13:11.060 |
In fact, it doesn't have to be any conscious entity, 00:13:13.700 |
any kind of interaction with the external world 00:13:18.940 |
that leaks out the information about whether this qubit 00:13:22.940 |
was a zero or a one, sort of that causes the zeroness 00:13:27.100 |
or the oneness of the qubit to be recorded in, you know, 00:13:30.940 |
the radiation in the room, in the molecules of the air, 00:13:35.180 |
in the wires that are connected to my device, any of that. 00:13:42.740 |
it is as if that qubit has been measured, okay? 00:13:45.780 |
It is, you know, the state has now collapsed. 00:13:49.860 |
You know, another way to say it is that it's become 00:13:54.100 |
But, you know, from the perspective of someone 00:13:58.180 |
it is as though it has lost its quantum state. 00:14:01.480 |
And so what this means is that if I want to do 00:14:04.460 |
a quantum computation, I have to keep the qubits 00:14:08.300 |
sort of fanatically well isolated from their environment. 00:14:12.180 |
But then at the same time, they can't be perfectly isolated 00:14:17.260 |
I need to make them interact with each other, for one thing, 00:14:20.540 |
and not only that, but in a precisely choreographed way. 00:14:24.460 |
Okay, and, you know, that is such a staggering problem, 00:14:27.660 |
right, how do I isolate these qubits from the whole universe 00:14:33.500 |
I mean, you know, there were distinguished physicists 00:14:36.180 |
and computer scientists in the '90s who said, 00:14:41.740 |
The laws of physics will just never let you control qubits 00:14:45.260 |
to the degree of accuracy that you're talking about. 00:14:52.300 |
was a profound discovery in the mid to late '90s, 00:14:56.900 |
which was called the theory of quantum error correction 00:15:02.300 |
And the upshot of that theory is that if I want to build 00:15:09.380 |
to an arbitrary number of as many qubits as I want, 00:15:12.940 |
you know, and doing as much on them as I want, 00:15:24.700 |
And even if every qubit is sort of leaking its state 00:15:35.140 |
I can sort of encode the information that I care about 00:15:39.780 |
in very clever ways across the collective states 00:15:43.060 |
of multiple qubits, okay, in such a way that even if, 00:15:46.580 |
you know, a small percentage of my qubits leak, 00:16:00.100 |
And so, you know, you can build a reliable quantum computer 00:16:21.380 |
that are not perfectly reliable, but reliable enough 00:16:25.300 |
that you can then use these error-correcting codes 00:16:30.900 |
that are even more reliable than they are, right? 00:16:37.420 |
And then once you reach that sort of crossover point, 00:16:51.740 |
So long story short, we are not at that break-even point yet. 00:17:01.020 |
- But the key ingredient there is the more qubits, 00:17:06.780 |
the larger the computation you can do, right? 00:17:09.820 |
I mean, qubits are what constitute the memory 00:17:15.060 |
- But also for the, sorry, for the error-correcting mechanism. 00:17:24.980 |
And that is actually one of the biggest practical problems 00:17:35.140 |
and you look at, you know, what would it take 00:17:45.260 |
the most famous application people talk about, right? 00:17:52.660 |
Well, what that would take would be thousands of, 00:17:58.800 |
but now with the known error-correcting codes, 00:18:01.220 |
each of those logical qubits would need to be encoded itself 00:18:10.580 |
And in some sense, that is the reason why quantum computers 00:18:15.580 |
It's because of these immense overheads involved. 00:18:18.540 |
- So that overhead is additive or multiplicative? 00:18:22.180 |
I mean, it's like you take the number of logical qubits 00:18:26.580 |
that you need in your abstract quantum circuit, 00:18:31.440 |
So, you know, there's a lot of work on, you know, 00:18:34.620 |
trying to invent better error-correcting codes. 00:18:38.900 |
In the meantime, we are now in what physicist John Preskill 00:18:43.900 |
called the noisy intermediate scale quantum or NISQ era. 00:18:51.760 |
we're now entering the very early vacuum tube era 00:18:56.480 |
The quantum computer analog of the transistor 00:19:01.200 |
That would be like true error correction, right? 00:19:03.780 |
Where, you know, we are not, or something else 00:19:10.100 |
And, but where we are now, let's say as of a few months ago, 00:19:14.860 |
you know, as of Google's announcement of quantum supremacy, 00:19:20.420 |
where even with a non-error-corrected quantum computer, 00:19:33.320 |
Now, will we in this noisy era be able to do something 00:19:42.380 |
People are going to be racing over the next decade 00:19:45.180 |
to try to do that by people, I mean, Google, IBM, 00:19:49.260 |
you know, a bunch of startup companies, you know-- 00:20:11.060 |
So how do we get to where we are now with the CPU? 00:20:23.820 |
that are needed on the computer science side? 00:20:32.380 |
just sheer investment and excitement is needed? 00:20:35.820 |
- So, you know, those are excellent questions. 00:20:39.860 |
- Well, no, no, my guess would be all of the above. 00:20:55.100 |
this is what, you know, error correction would look like. 00:20:58.100 |
You know, we do not have the hardware that is at that level. 00:21:03.140 |
so you could just, you know, try to power through, 00:21:11.260 |
on some quantum computing Manhattan project, right, 00:21:21.220 |
as it was envisioned back in the '90s, right? 00:21:27.140 |
is that there will be further theoretical breakthroughs