For questions on theoretical models of quantum computations. Such models may be realistically 'build' in real machines, but not necessarily.
Questions tagged [computational-models]
57 questions
63
votes
7 answers
What are the models of quantum computation?
It seems that quantum computing is often taken to mean the quantum circuit method of computation, where a register of qubits is acted on by a circuit of quantum gates and measured at the output (and possibly at some intermediate steps). Quantum…
Kiro
- 2,025
- 17
- 24
30
votes
2 answers
What is the difference between quantum annealing and adiabatic quantum computation models?
From what I understood, there seems to be a difference between quantum annealing and adiabatic quantum computation models but the only thing I found on this subject implies some strange results (see below).
My question is the following: what is…
Adrien Suau
- 5,172
- 22
- 58
26
votes
2 answers
Why can't quantum annealing be described by a gate model?
This is a question I was inspired to ask based on this question, which notes that quantum annealing is an entirely different model for computation than the usual circuit model. I've heard this before, and it's my understanding that the gate-model…
Emily Tyhurst
- 1,127
- 10
- 16
20
votes
2 answers
How does topological quantum computing differ from other models of quantum computing?
I've heard the term Topological Quantum Computer a few times now and know that it is equivalent to quantum computers using circuits with respect to some polynomial-time reduction.
However, it is totally unclear to me how such a quantum computer…
dtell
- 522
- 3
- 12
18
votes
2 answers
In a Quantum Turing Machine, how is the decision to move along the memory tape made?
Let, for a Quantum Turing machine (QTM), the state set be $Q$, and the alphabet of symbols be $\sum=\{0,1\}$, which appear at the tape head. Then, as per my understanding, at any given time while the QTM is calculating, the qubit that appears at its…
Prem
- 233
- 1
- 8
13
votes
0 answers
Does the Curry-Howard correspondence have a quantum-specific type system?
In Wikipedia we can read that
the Curry–Howard correspondence is a correspondence between formal proof calculi and type systems for models of computation. In particular, it splits into two correspondences. One at the level of formulas and types…
fr_andres
- 774
- 7
- 17
13
votes
4 answers
Who built the first quantum computer using at least two qubits?
In my previous question I asked who invented a quantum computer using qubits.
As a follow-up to this question I want to ask who built the first quantum computer using at least two qubits.
During my research I have discovered that in 1998, Jonathan…
User that hates AI
- 1,067
- 1
- 14
- 28
10
votes
3 answers
What is the simplest algorithm to demonstrate intuitively quantum speed-up?
What's the simplest algorithm (like Deutsch's algorithm and Grover's Algorithm) for intuitively demonstrating quantum speed-up? And can this algorithm be explained intuitively?
Ideally this would be also illustrate clear how quantum interference is…
Steven Sagona
- 1,149
- 7
- 17
9
votes
1 answer
What good references would you recommend to understand the (continuous-variable) CV model of computation?
If you have good references about the CV model that are understandable from a computer science background, that would be great. If they include numerical examples, that would even be better.
cnada
- 4,802
- 1
- 9
- 22
9
votes
1 answer
Where can I find example circuits to learn from?
I'm relatively new to quantum computing and my goal is to learn how to implement algorithms that I read in papers. While I have found many circuit snippets I have yet to find a repository of examples on GitHub or other places where I would go to…
ChrisBartlett
- 93
- 6
8
votes
1 answer
Correspondence between the Topological model and Quantum Circuit model
For example, given the $R$ & $F$ gates and Toric codes for a given problem, how to convert this code into the conventional circuit model and vice versa.
From the literature developed, it seems that they tackle fairly different kinds of problems for…
user5438
8
votes
1 answer
What are the fundamental differences between trapped ion quantum computers and other architectures?
There are many different ways to build quantum computers, such as superconducting qubits, quantum dots, and ion traps.
What I would like to understand is why some universities and research organizations have chosen to study trapped ion quantum…
Riz-waan
- 203
- 1
- 9
7
votes
2 answers
What are the pros/cons of Trapped Ion Qubits, Superconducting Qubits and Si Spin Qubits?
Among available qubit technologies for universal quantum computing these 3 come up as promising. NV centers and Majorana qubits also underway but relatively new.
I find superconducting qubits and Trapped Ion qubits very hard to scale. Also…
mando
- 355
- 3
- 11
7
votes
1 answer
Are ladder operators ever extensively used in any model of quantum computation?
Computer scientists and others who are interested in learning more about quantum computation might be exposed, or re-exposed, to various concepts and classes of matrices from linear algebra. For example because of familiarity with truth-tables,…
Mark Spinelli
- 15,378
- 3
- 26
- 83
6
votes
2 answers
What exactly are "quantum rotors"?
The Wikipedia entry on the subject is rather short. I am also curious about generalizations of quantum rotors in n-dimensions. An introductory explanation with at least one resource for further reading would be greatly appreciated.
user820789
- 3,440
- 13
- 43