Questions tagged [models]

For questions on theoretical models of quantum computations. Such models may be realistically 'build' in real machines, but not necessarily.

6 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
12
votes
0answers
190 views

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 ...
7
votes
0answers
70 views

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 ...
3
votes
0answers
33 views

What type of tasks it is possible to solve on a quantum simulator?

In this article, the author claimed that researches from Harvard and MIT created 256 qubits quantum simulator. However, we are not talking about piece of software on a classical computer but actual ...
3
votes
0answers
51 views

Modeling building blocks for quantum computation

If I would design library for quantum computation I would naively consider a sequences of entangled qudits with unit length as a building blocks. I.e., unit length elements from $$\mathbb{C}^{d_{1}}\...
1
vote
0answers
51 views

Screening procedure in an iterative qubit coupled cluster (iQCC) ansatz

The paper Iterative Qubit Coupled Cluster approach with efficient screening of generators describes a new screening procedure for generators of the QCC ansatz. How does one get from defining the ...
1
vote
0answers
35 views

Can We Currently Import Quantum Datasets (Datasets Containing Quantum Data) Onto NISQ-era Quantum Computers?

I'm still investigating the TFQ whitepaper. In one section of the paper, the authors say this with respect to Quantum Datasets In general, [a quantum dataset] might come from a given black-box ...