5 ms·

Interactive online quantum circuit simulator

48 points by ghosthamlet 8y ago

adamnemecek 8y ago
I get some of the parts but idk what others do. What’s the best resource on this? This is actually unusual compared with other quantum simulators as it’s a continuous variable quantum computer, not a digital one.
- krastanov 8y ago
  No, this is quite certainly a model/simulator for a digital quantum computer (implemented on top of a harmonic oscillator). It is becoming a pet peeve of mine, but on most HN posts about quantum computing somebody always mentions some misunderstood statement about continuous variables. Yes, there are many interesting ideas around the use of harmonic oscillators (the older name for the vague and misleading term "continuous variables") to store data, but most of the time it is just one of many ways to implement the same digital computer.
  - adamnemecek 8y ago
    From https://strawberryfields.readthedocs.io/en/latest/quantum_algorithms.html https://strawberryfields.readthedocs.io/en/latest/quantum_al... Here we will discuss several continuous-variable (CV) quantum algorithm examples that can be run with Strawberry Fields. > It is becoming a pet peeve of mine, but on most HN posts about quantum computing somebody always mentions some misunderstood statement about continuous variables. That someone is me. I’d love to hear what I misunderstand. > the time it is just one of many ways to implement the same digital computer. Yeah, what I’m talking about isn’t a digital computer.
    - krastanov 8y ago
      Admittedly, I overreacted and I will edit my previous post. The gist of my complaint is that digital vs continuous variables is a false distinction. One is just a system on top of which to implement the other. The useful computation you get out of the quantum oscillator, comes when you implement your digital logic on top of it.
      - adamnemecek 8y ago
        > One is just a system on top of which to implement the other. We fundamentally disagree on this point. A continuous variable computer is more powerful than a digital one. I know error correction is tricky but I’m still convinced that the analog computer is superior.
        6nf 8y ago
        If analog computers are superior why is everything digital
        adamnemecek 8y ago
        Around ww2 analog electric computers were pretty common however electricity suffers from something called rift, basically they get inaccurate over time. We developed digital computers as they fix the problem with rift. Photonics don’t suffer for rift so at some point we should revisit analog computing.
        krastanov 8y ago
        This is an incredibly strong statement that virtually nobody in the field agrees with. 1. Continuous variable (in the context of quantum computing) is frequently different from "analog". See bosonic codes for instance. 2. We stopped using classical analog computers because they suffer from noise (which is a fundamental problem, not just a technical issue). Noise is even worse in the case of quantum computing (the claim you make in a sibling comment that some analog systems do not have that problem is wrong/unsupported by any evidence). 3. The main point of disconnect is that noise is a fundamental issue stemming from the laws of physics and computational complexity. There is a large body of evidence that shows that the existence of a scalable analog computer (classical or quantum) will break many structures in computational complexity. A hunch is not enough of an argument to counter those. Presenting a hunch like that is extremely misleading to the people who are trying to get into the field. 4. A hunch is certainly a good thing to research, but do not present it as something of equivalent value to established facts or empirically supported conjectures.
  - jackfraser 8y ago
    > on most HN posts about quantum computing somebody always mentions some misunderstood statement about continuous variables. Well, the D-Wave quantum computer seems to be functionally an analogue machine, so while you're limited to some variety of floating point precision when specifying the values for qubit and connection bias, it's certainly not 0 and 1 when it hits the hardware.
- krastanov 8y ago
  If you are comfortable (mathematically) with the idea of "a gate" and "a qubit", then Wikipedia is surprisingly good at explaining what each new gate does. Otherwise the standards reference that starts from scratch (prerequisites being linear algebra and intro quantum mechanics) is Quantum Computation and Quantum Information by Nielsen and Chuang. It is a very thick book and it takes a sustained effort to read it, but stackexchange is always eager to help. Preskill's lecture notes are amazing as well. Regrettably, I do not know of a good book that does not have the prerequisites I mentioned.
  - amelius 8y ago
    With classical gates it is possible to make a complete characterization by enumerating the inputs and corresponding outputs (e.g. in table format). Would that be easy/possible here? How big would the table be?
    - krastanov 8y ago
      Something like that is possible. A quantum gate is a linear operation, therefore it can be represented as a matrix (it happens to be a unitary matrix). A gate acting on N qubits would be a square matrix of 2^N rows.
  - adamnemecek 8y ago
    Mike and Ike don’t mention for example homodynes afaik.
colordrops 8y ago
The company behind this is loaded with the most PhDs I've ever seen in a startup: https://www.xanadu.ai/about/ https://www.xanadu.ai/about/
- adamnemecek 8y ago
  Makes sense, it’s hard shit

48 points by ghosthamlet 8y ago

I get some of the parts but idk what others do. What’s the best resource on this? This is actually unusual compared with other quantum simulators as it’s a continuous variable quantum computer, not a digital one.

krastanov 8y ago
No, this is quite certainly a model/simulator for a digital quantum computer (implemented on top of a harmonic oscillator). It is becoming a pet peeve of mine, but on most HN posts about quantum computing somebody always mentions some misunderstood statement about continuous variables. Yes, there are many interesting ideas around the use of harmonic oscillators (the older name for the vague and misleading term "continuous variables") to store data, but most of the time it is just one of many ways to implement the same digital computer.
- adamnemecek 8y ago
  From https://strawberryfields.readthedocs.io/en/latest/quantum_algorithms.html https://strawberryfields.readthedocs.io/en/latest/quantum_al... Here we will discuss several continuous-variable (CV) quantum algorithm examples that can be run with Strawberry Fields. > It is becoming a pet peeve of mine, but on most HN posts about quantum computing somebody always mentions some misunderstood statement about continuous variables. That someone is me. I’d love to hear what I misunderstand. > the time it is just one of many ways to implement the same digital computer. Yeah, what I’m talking about isn’t a digital computer.
  - krastanov 8y ago
    Admittedly, I overreacted and I will edit my previous post. The gist of my complaint is that digital vs continuous variables is a false distinction. One is just a system on top of which to implement the other. The useful computation you get out of the quantum oscillator, comes when you implement your digital logic on top of it.
    - adamnemecek 8y ago
      > One is just a system on top of which to implement the other. We fundamentally disagree on this point. A continuous variable computer is more powerful than a digital one. I know error correction is tricky but I’m still convinced that the analog computer is superior.
      - 6nf 8y ago
        If analog computers are superior why is everything digital
        adamnemecek 8y ago
        Around ww2 analog electric computers were pretty common however electricity suffers from something called rift, basically they get inaccurate over time. We developed digital computers as they fix the problem with rift. Photonics don’t suffer for rift so at some point we should revisit analog computing.
      - krastanov 8y ago
        This is an incredibly strong statement that virtually nobody in the field agrees with. 1. Continuous variable (in the context of quantum computing) is frequently different from "analog". See bosonic codes for instance. 2. We stopped using classical analog computers because they suffer from noise (which is a fundamental problem, not just a technical issue). Noise is even worse in the case of quantum computing (the claim you make in a sibling comment that some analog systems do not have that problem is wrong/unsupported by any evidence). 3. The main point of disconnect is that noise is a fundamental issue stemming from the laws of physics and computational complexity. There is a large body of evidence that shows that the existence of a scalable analog computer (classical or quantum) will break many structures in computational complexity. A hunch is not enough of an argument to counter those. Presenting a hunch like that is extremely misleading to the people who are trying to get into the field. 4. A hunch is certainly a good thing to research, but do not present it as something of equivalent value to established facts or empirically supported conjectures.
- jackfraser 8y ago
  > on most HN posts about quantum computing somebody always mentions some misunderstood statement about continuous variables. Well, the D-Wave quantum computer seems to be functionally an analogue machine, so while you're limited to some variety of floating point precision when specifying the values for qubit and connection bias, it's certainly not 0 and 1 when it hits the hardware.
krastanov 8y ago
If you are comfortable (mathematically) with the idea of "a gate" and "a qubit", then Wikipedia is surprisingly good at explaining what each new gate does. Otherwise the standards reference that starts from scratch (prerequisites being linear algebra and intro quantum mechanics) is Quantum Computation and Quantum Information by Nielsen and Chuang. It is a very thick book and it takes a sustained effort to read it, but stackexchange is always eager to help. Preskill's lecture notes are amazing as well. Regrettably, I do not know of a good book that does not have the prerequisites I mentioned.
- amelius 8y ago
  With classical gates it is possible to make a complete characterization by enumerating the inputs and corresponding outputs (e.g. in table format). Would that be easy/possible here? How big would the table be?
  - krastanov 8y ago
    Something like that is possible. A quantum gate is a linear operation, therefore it can be represented as a matrix (it happens to be a unitary matrix). A gate acting on N qubits would be a square matrix of 2^N rows.
- adamnemecek 8y ago
  Mike and Ike don’t mention for example homodynes afaik.

colordrops 8y ago

The company behind this is loaded with the most PhDs I've ever seen in a startup: https://www.xanadu.ai/about/ https://www.xanadu.ai/about/

adamnemecek 8y ago
Makes sense, it’s hard shit