Live data from Hacker News

Scott’s Supreme Quantum Supremacy FAQ

scottaaronson.com

31–40 of 215 posts

Re: Scott’s Supreme Quantum Supremacy FAQ

#31

Earlier quoted context omitted.

"Programmable" in this context would mean that you can encode complex computational problems into your cat's behavior. The idea is to distinguish a cat that can only calculate cat behavior (which is of course a very easy problem) from a cat that could eventually be engineered to calculate whatever you want. If you can solve complex computational problems faster than a cat-sized computer by carefully arranging tins of…

Google's device is not encoding complex computational problems. Its just being told to arrange its qbits into a random series of gates. Could it do the Fizz Buzz algorithm? Or output the Fibonacci sequence? If not, then in what way is it programmable?

It's programmable in the same way an FPGA where you can specify how gates are connected is.

Note that the "random series of gates" is generated on a classical computer, and then the quantum processor is set to that configuration. It's not that you turn on the quantum processor and whatever random uninitialized state is it in.

Re: Scott’s Supreme Quantum Supremacy FAQ

#32
post #2

Preface: I know nothing about quantum computing. What exactly is a qubit? I'm not asking what does it mean, because I know there's superpositions and all that jazz, but as in...like, in an electronic circuit, what is a qubit? Is it made out of logic gates? Which ones? If we can make one qubit, can't we just make a bunch of them by copy and pasting circuits similar to how we used vacuum tubes in the 60s and 70s? How c…

Short answer, a qubit is a unit vector in a 2D complex Hilbert space. Now, that doesn't actually say much about why we care or how they're useful. In practical terms, you can think of qubits as complex unit vectors along two axes, with one axis corresponding to |0⟩ (the zero qubit) and one axis corresponding to |1⟩, or the one qubit. So for example, you could have a qubit called |+⟩, which is just shorthand for (|0⟩ + |1⟩)/sqrt(2).

Measuring a qubit in a basis collapses it to one of the basis vectors (e.g Schrödinger's cat must be alive or dead once we open the box) with probability equal to its inner product with that basis vector. This is why we need a Hilbert space and not just any old vector space.

Finally, to answer your question about gates, a quantum gate is basically a unitary matrix, i.e. a matrix that preserves the norm of its inputs. You can feed qubits into these matrices by themselves or, more often, many at once, by using something called the tensor product of the qubits - this is where the math gets slightly more involved.

The long and short of it is that we can induce correlation patterns between qubits using these gates (aka quantum entanglement) and orchestrate circuits of interference patterns where the wrong answers cancel each other out and the right answer gets reinforced so that we measure it at the end - unfortunately, this is where my knowledge breaks down as a beginner. My apologies if I accidentally handwaved anything important but hopefully you get the gist.

Re: Scott’s Supreme Quantum Supremacy FAQ

#33

I posted this on scott's blog, still awaiting moderation: "I’m trying to understand the chain of inference from Google’s leaked result of quantum supremacy to theoretical computer-science “hardness” of the computation. Computing the exact probabilities of a random quantum circuit is proven hard, but computing the exact probability of a random algorithm is also an open problem, so what you really care about is approxi…

- Cross-entropy is used for roughly estimating the fidelity (see arXiv:1608.00263), which is independent of the problem they're solving. You're confusing it with the overall distribution of the readout states, which is the hard problem.

- CZ is a perfect entangler. No, iSWAP and CZ do not form a universal set. They typically combine virtual Z rotations (which has a continuous angle parameter) with an additional one-qubit gate, such as a X or Y gate (or their square root, which they mention in the paper) which gives a universal set. Although they don't make use of continuous Z rotations in that particular experiment, the device is capable of doing that, and is a (noisy) universal quantum computer.

Re: Scott’s Supreme Quantum Supremacy FAQ

#34
post #2

Preface: I know nothing about quantum computing. What exactly is a qubit? I'm not asking what does it mean, because I know there's superpositions and all that jazz, but as in...like, in an electronic circuit, what is a qubit? Is it made out of logic gates? Which ones? If we can make one qubit, can't we just make a bunch of them by copy and pasting circuits similar to how we used vacuum tubes in the 60s and 70s? How c…

TL;DR: A quantum computer is a device that uses the measurement of quantum properties to do computation. There are many ways to implement one depending on the type of entangled particles being used, from crystals to make entangled photons and superconducting mounds to entangle electrons. This is the same for binary computers, which can made from electrical devices (transistors), values with air pressure or balls falling down wooden ramps.

Longer version

An observation about quantum behavior is that there are only certain properties that you can measure for the really, really small. These include things like mass (total energy), charge (intrinsic amount of electromagnetic strength), and spin (willingness to change direction in the presence of an electromagnetic field). It turns out that when you measure these properties, the measurements behave in non-intuitive ways.

The act of measuring the spin of a particle (which could be in any direction) is really the act of asking, "is this particle aligned with my detector?" The result will always be either aligned up or aligned down. It will be randomly about 50/50 up and down, also. This is not that surprising because the spin must align one direction or the other. The crazy part comes with the fact that you can entangle two particles.

Entangle particles can be sent off through different detectors and one thing will always be true: while any particular outcome is random, the detectors will always generated opposite results. The temptation is to say, "well, they were generated from the same source, so they have just opposite starting positions." Long story short, this has been proven not possible. Instead, there is some fundamental behavior is quantum mechanics that says that there are certain types of activities with entangles particles that have a correlation that is true as long as the entangle particles are not disrupted. In this case, particles sent to separate detectors will always have opposite results.

A quantum computer uses these correlation truths about measurements to do computations. A qubit is the concept of a quantum bit: an entity that represents one unit of entanglement. Just like a bit, quantum computers have many different ways to implement entanglement. You can entangle photons, electrons, and whole atoms. Each of these systems require specific implementations to achieve, like like electronic or mechanical computers.

Remember that one detail about "if they are not disrupted?" Yeah, turns out that it takes a hell of a lot to create an environment that doesn't destroy the coherence of the entanglement. You have to design something that allows you to setup the particles into starting state, be able to hold those particles in an entangled state with no disruptions and have a detector to determine the final state. Quantum mechanically, these are generally opposite goals.

Re: Scott’s Supreme Quantum Supremacy FAQ

#35
post #25
post #2

Preface: I know nothing about quantum computing. What exactly is a qubit? I'm not asking what does it mean, because I know there's superpositions and all that jazz, but as in...like, in an electronic circuit, what is a qubit? Is it made out of logic gates? Which ones? If we can make one qubit, can't we just make a bunch of them by copy and pasting circuits similar to how we used vacuum tubes in the 60s and 70s? How c…

Essentially, they use superconducting electronics to create a quantum circuit. It's not the same logic gates as a traditional computer chip and not based on the same physics. The details are difficult & messy. There are several reasons it doesn't scale easily to more qubits, but you can imagine that you don't want the chip to be large (must be cooled to 25mK!) but the qubits should be spaced quite far apart so they d…

Holy hell.

> > In a superconducting circuit, conduction electrons condense into a macroscopic quantum state, such that currents and voltages behave quantum mechanically [2, 30]. Our processor uses transmon qubits [6], which can be thought of as nonlinear superconducting resonators at 5 to 7 GHz. The qubit is encoded as the two lowest quantum eigenstates of the resonant circuit. Each transmon has two controls: a microwave drive to excite the qubit, and a magnetic flux control to tune the frequency. Each qubit is connected to a linear resonator used to read out the qubit state [5].

I understand most of the words in isolation – and I know that they are valid, even if combining them in a useful manner to understand exactly what they are describing is eluding me.

But if there was ever a paragraph that sounded like pure technobabble, this is it. Replace the technobabble found in the star trek matter transporter with quantum lingo, and it would sound very similar.

Re: Scott’s Supreme Quantum Supremacy FAQ

#36

Earlier quoted context omitted.

"Programmable" in this context would mean that you can encode complex computational problems into your cat's behavior. The idea is to distinguish a cat that can only calculate cat behavior (which is of course a very easy problem) from a cat that could eventually be engineered to calculate whatever you want. If you can solve complex computational problems faster than a cat-sized computer by carefully arranging tins of…

Google's device is not encoding complex computational problems. Its just being told to arrange its qbits into a random series of gates. Could it do the Fizz Buzz algorithm? Or output the Fibonacci sequence? If not, then in what way is it programmable?

> Its just being told to arrange its qbits into a random series of gates.

It's not told to arrange its qubits into a random series of gates. It is told to arrange them in a specific order that was chosen at random.

It is programmable. But it is as if you had to program malbolge[0], except worse so due to the hardware constraints and lack of error correction.

[0] https://en.wikipedia.org/wiki/Malbolge

Re: Scott’s Supreme Quantum Supremacy FAQ

#37
post #2

Preface: I know nothing about quantum computing. What exactly is a qubit? I'm not asking what does it mean, because I know there's superpositions and all that jazz, but as in...like, in an electronic circuit, what is a qubit? Is it made out of logic gates? Which ones? If we can make one qubit, can't we just make a bunch of them by copy and pasting circuits similar to how we used vacuum tubes in the 60s and 70s? How c…

> What exactly is a qubit? A bit is like a boolean type, has the values of true and false. Or you treat those values as 0 or 1, then gather a bunch of bits to build useful numbers. A qubit is like a pair such that these numbers MUST satisfy the following constraints: pair.left^2 + pair.right^2 = 1 pair.left and pair.right can be any complex number Why such a composite type with weird constraints you may ask? Because…

> A qubit has the storage capacity of 2 complex numbers, which corresponds to 4 floats, which is at least 16*8 bits of information if we are conservative about our assumptions.

The fourth float would seem to be almost totally determined by the first three. If I'm visualizing correctly, there are at most 2 values it could possibly be.

Re: Scott’s Supreme Quantum Supremacy FAQ

#38

Earlier quoted context omitted.

> What exactly is a qubit? A bit is like a boolean type, has the values of true and false. Or you treat those values as 0 or 1, then gather a bunch of bits to build useful numbers. A qubit is like a pair such that these numbers MUST satisfy the following constraints: pair.left^2 + pair.right^2 = 1 pair.left and pair.right can be any complex number Why such a composite type with weird constraints you may ask? Because…

> A qubit has the storage capacity of 2 complex numbers, which corresponds to 4 floats, which is at least 16*8 bits of information if we are conservative about our assumptions. The fourth float would seem to be almost totally determined by the first three. If I'm visualizing correctly, there are at most 2 values it could possibly be.

Yes, the constraints reduce the capacity from the ideal limit of 4 real numbers.

(a + bi) type of complex numbers are indistinguishable from (b + ai) ones. Deciding the value of b immediately reduces the number of possible values for a to 2, which is a and -a respectively. Luckily, the real number line is continuous. We can accept such sacrifices without too much precision loss.

Also I should note that my calculations assumed a pair of maximally entangled particles per quantum circuit element since that's the most straightforward way to harvest quantum information with minimum number of objects.

Re: Scott’s Supreme Quantum Supremacy FAQ

#39
post #2

Preface: I know nothing about quantum computing. What exactly is a qubit? I'm not asking what does it mean, because I know there's superpositions and all that jazz, but as in...like, in an electronic circuit, what is a qubit? Is it made out of logic gates? Which ones? If we can make one qubit, can't we just make a bunch of them by copy and pasting circuits similar to how we used vacuum tubes in the 60s and 70s? How c…

Physicists here. In practice, a qubit is a two-level physical system. It can be spin state of an electron, polarization of a photon, lowest two energy states of an atom or an electron in quantum dot/well trap potential, the charge state (called charge qubit) -- whether you have 0 or 1 electrons in it, etc etc (if you have 3 levels, it's called qutrit, and for d levels qudit). This experiment uses charge qubits (a special variant which has some robustness against charge noise by design [by operating at a voltage level which is insensitive to 1st order fluctuations in the electric field, called "sweet spot"], called transmon).

The main problem is achieving full control of these systems, which is extremely hard, because there are certain things (some random/stochastic) that you can't control at all and you have to fight+race against their influence:

- qubits are tiny, and the energy splitting between these two states are typically minuscule: this means even a small vibration from a sneeze miles away can make the qubit flip.

- qubits do not live in vacuum, they are typically hosted in solid-state systems and the qubits are coupled to their hosting environment, which have their own moving parts (two-level fluctuators which lead to charge noise, phonons which also couple to electrons typically via spin-orbit coupling, spinful defects in the material which have their own dynamics, etc etc) that you can't really control. it's extremely difficult to achieve full control of a qubit in the presence of things that you can't control and random in nature.

- if the qubit is the lowest two-levels of a system with higher energy levels, one also needs to worry leakage errors to those higher states

- there are ways of suppressing the influence of such unwanted interactions (dynamically corrected gates + quantum error correction codes) given that their strength is below certain thresholds. going below those thresholds is again an enormous engineering/material science problem (extremely low temperatures, isolation from vibrations, low/high-pass filters for the classical circuitry which is used to control/drive the qubits via electric/magnetic fields, design of the device itself which typically hosts two-level fluctuators, etc etc). this problem becomes harder in general as you increase the number of qubits though.

- to do anything non-trivial, you need to have more than one-qubit and have controllable couplings between those (so you can't put them apart too far which makes it impossible to couple them). this doesn't work perfectly in practice, you can't completely control or turn off their couplings (a problem called cross-talk) which again leads to errors. so it doesn't work quite like modular classical circuit elements which you can "copy & paste" because the abstractions from the low-level, nitty-gritty physics of the underlying material fail for all these qubits.

Re: Scott’s Supreme Quantum Supremacy FAQ

#40

If it goes well, the history of quantum computing will be divided up in to three eras: the era of twisty philosophical arguments that it's working ("the molecule is simulating itself"), the era of academic arguments that it's working ("we can solve this one carefully constructed problem") and the era of practical arguments ("Amazon is selling QC time for $20/kilogate-bit, what do you mean it's not possible?"). Quantu…

I really enjoy seeing comments on here that fit the 3rd kind.

"Thing is ridiculous, that could never work because of reasons A, B and C."

"What are you talking about, here is project that does thing, it functions perfectly."

Nothing like reality proving someones baseless naysaying wrong immediately.

Post reply on HN