493 research outputs found
Effective Physical Processes and Active Information in Quantum Computing
The recent debate on hypercomputation has arisen new questions both on the
computational abilities of quantum systems and the Church-Turing Thesis role in
Physics. We propose here the idea of "effective physical process" as the
essentially physical notion of computation. By using the Bohm and Hiley active
information concept we analyze the differences between the standard form
(quantum gates) and the non-standard one (adiabatic and morphogenetic) of
Quantum Computing, and we point out how its Super-Turing potentialities derive
from an incomputable information source in accordance with Bell's constraints.
On condition that we give up the formal concept of "universality", the
possibility to realize quantum oracles is reachable. In this way computation is
led back to the logic of physical world.Comment: 10 pages; Added references for sections 2 and
Calibrating the complexity of Delta 2 sets via their changes
The computational complexity of a Delta 2 set will be calibrated by the
amount of changes needed for any of its computable approximations. Firstly, we
study Martin-Loef random sets, where we quantify the changes of initial
segments. Secondly, we look at c.e. sets, where we quantify the overall amount
of changes by obedience to cost functions. Finally, we combine the two
settings. The discussions lead to three basic principles on how complexity and
changes relate
On Logical Depth and the Running Time of Shortest Programs
The logical depth with significance of a finite binary string is the
shortest running time of a binary program for that can be compressed by at
most bits. There is another definition of logical depth. We give two
theorems about the quantitative relation between these versions: the first
theorem concerns a variation of a known fact with a new proof, the second
theorem and its proof are new. We select the above version of logical depth and
show the following. There is an infinite sequence of strings of increasing
length such that for each there is a such that the logical depth of the
th string as a function of is incomputable (it rises faster than any
computable function) but with replaced by the resuling function is
computable. Hence the maximal gap between the logical depths resulting from
incrementing appropriate 's by 1 rises faster than any computable function.
All functions mentioned are upper bounded by the Busy Beaver function. Since
for every string its logical depth is nonincreasing in , the minimal
computation time of the shortest programs for the sequence of strings as a
function of rises faster than any computable function but not so fast as
the Busy Beaver function.Comment: 12 pages LaTex (this supercedes arXiv:1301.4451
- …