6,864 research outputs found
Universality and programmability of quantum computers
Manin, Feynman, and Deutsch have viewed quantum computing as a kind of
universal physical simulation procedure. Much of the writing about quantum
logic circuits and quantum Turing machines has shown how these machines can
simulate an arbitrary unitary transformation on a finite number of qubits. The
problem of universality has been addressed most famously in a paper by Deutsch,
and later by Bernstein and Vazirani as well as Kitaev and Solovay. The quantum
logic circuit model, developed by Feynman and Deutsch, has been more prominent
in the research literature than Deutsch's quantum Turing machines. Quantum
Turing machines form a class closely related to deterministic and probabilistic
Turing machines and one might hope to find a universal machine in this class. A
universal machine is the basis of a notion of programmability. The extent to
which universality has in fact been established by the pioneers in the field is
examined and this key notion in theoretical computer science is scrutinised in
quantum computing by distinguishing various connotations and concomitant
results and problems.Comment: 17 pages, expands on arXiv:0705.3077v1 [quant-ph
Coding-theorem Like Behaviour and Emergence of the Universal Distribution from Resource-bounded Algorithmic Probability
Previously referred to as `miraculous' in the scientific literature because
of its powerful properties and its wide application as optimal solution to the
problem of induction/inference, (approximations to) Algorithmic Probability
(AP) and the associated Universal Distribution are (or should be) of the
greatest importance in science. Here we investigate the emergence, the rates of
emergence and convergence, and the Coding-theorem like behaviour of AP in
Turing-subuniversal models of computation. We investigate empirical
distributions of computing models in the Chomsky hierarchy. We introduce
measures of algorithmic probability and algorithmic complexity based upon
resource-bounded computation, in contrast to previously thoroughly investigated
distributions produced from the output distribution of Turing machines. This
approach allows for numerical approximations to algorithmic
(Kolmogorov-Chaitin) complexity-based estimations at each of the levels of a
computational hierarchy. We demonstrate that all these estimations are
correlated in rank and that they converge both in rank and values as a function
of computational power, despite fundamental differences between computational
models. In the context of natural processes that operate below the Turing
universal level because of finite resources and physical degradation, the
investigation of natural biases stemming from algorithmic rules may shed light
on the distribution of outcomes. We show that up to 60\% of the
simplicity/complexity bias in distributions produced even by the weakest of the
computational models can be accounted for by Algorithmic Probability in its
approximation to the Universal Distribution.Comment: 27 pages main text, 39 pages including supplement. Online complexity
calculator: http://complexitycalculator.com
- …