Thanks, interesting idea but it seems the practical applicability is still far away.
> One of the most celebrated results in quantum computing is the development of a quantum algorithm for factorization that works in time polynomial in n. This algorithm, due to Peter Shor and known as Shor’s algorithm, runs in O (n3 log n) time and uses O (n2 log n log log n) gates. The first experimental implementation of this algorithm on a quantum computer was reported in 2001, when the number 15 was factored. The largest integer factored by Shor’s algorithm so far is 21.
Quantum supremacy, while a very interesting experiment and a milestone in quantum computing, proves hardly anything about usefulness of quantum computers.
It "only" proves that quantum computers are the best quantum computers, and classic ones can't efficiently simulate them. It say nothing about useful operations.
From a theoretical point of view, this is evidence that quantum computing is a more powerful model of computation. I think it would be hard to argue that a model of computation that can solve more problems is any less useful. Applications like quantum simulation do appear to be difficult on a classical computer yet efficiently computable on a quantum computer
They are programmable, that makes them drastically more intetesting than a single-parameter aerodynamic analog computer like the Boeing, from the point of view of Computational Complexity. It does not make them "useful" yet, but it is a big milestone. See https://scottaaronson.blog/?p=5460
Could you elaborate on your last paragraph? Proof of concepts that can not solve "useful" problems seem like an incredibly important milestones to me? Or is your frustration that they are occasionally presented by overly enthusiastic engineers as more than "useless" technology demonstrators (with this frustration I would agree).
The second half of the article I shared covers the parametrization question you raised.
A successful technology does not need to show theoretical supremacy. Its proponents can simply show the useful services and products it makes.
> Proof of concepts that can not solve "useful" problems seem like an incredibly important milestones to me?
Sure, just don't claim supremacy until you can back it up with an actually reasonable definition of computation.
> Or is your frustration that they are occasionally presented by overly enthusiastic engineers as more than "useless" technology demonstrators (with this frustration I would agree).
It is hard to find any news about quantum computing that is not way over exaggerated.
> The second half of the article I shared covers the parametrization question you raised.
His argument may apply to the teapot example, but for, say, a test flight to fine tune the auto pilot behavior, there are plenty of inputs that can be set. I'd argue the aerodynamic computer supremacy example still stands.
To your last point: I think I disagree, because your analog computer (like all analog computers) addresses one fixed-size instance of a problem, not the scalable family of problems. You can not make a computational complexity big-O statement about your analog computer, but you can do that about boson sampling and random circuit sampling. This is a crucial milestone in the creation of a physical realization of a computational device.
In your first paragraph, while I am sympathetic with your annoyance (pardon my imprecise choice of words), I disagree there too. Mostly because I can imagine the same argument used against Babbage, Lovelace, and Turing, who did their theory (and failed experiment) work decades to a century before a scalable classical computer existed.
> One of the most celebrated results in quantum computing is the development of a quantum algorithm for factorization that works in time polynomial in n. This algorithm, due to Peter Shor and known as Shor’s algorithm, runs in O (n3 log n) time and uses O (n2 log n log log n) gates. The first experimental implementation of this algorithm on a quantum computer was reported in 2001, when the number 15 was factored. The largest integer factored by Shor’s algorithm so far is 21.