As of May 31, 2023, we have updated our Code of Conduct.

# Questions tagged [models]

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

10 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
241 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 ...
82 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 ... 52 views

### Does there exist a one-way quantum computer?

I'm wondering if we have managed to create a experimental version of a one-way computer and if so is there one available to "play with" as it is the case with circuit models which are ...
59 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 ...
56 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
47 views

### How to simulate $H(\theta) = B(\sin\theta S_1^x +\cos\theta S_1^z +\sin\theta S_2^x +\cos\theta S_2^z)+aS_2^zI_z$ on IBM Qiskit

I am trying to simulate this Hamiltonian on IBM Qiskit, for varying values of $\theta$: $H(\theta) = B(\sin\theta S_1^x +\cos\theta S_1^z +\sin\theta S_2^x +\cos\theta S_2^z)+aS_2^zI_z$ Where S is ...
1 vote
26 views

### What is the relation between the database made up of N elements and the index made up of a string length n in the query model?

I am working on a circuit model that contains a blackbox (query) and do not understand the relationship between what is in the black box and the way we get out the value of the element we index. The ...
1 vote
75 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