arXiv subjects
Publications and source records attributed to K. Svozil.
We implemented the protocol of entanglement assisted orientation in the space proposed by Brukner et al (quant-ph/0603167). We used min-max principle to evaluate the optimal entangled state and the optimal direction of polarization measurements which violate the classical bound.
A new method is introduced to obtain a strong signal by the interference of weak signals in noisy channels. The method is based on the interference of 1/f noise from parallel channels. One realization of stochastic interference is the auditory nervous system. Stochastic interference may have broad potential applications in the information transmission by parallel noisy channels.
We demonstrate that the preparation of a very well localized atom beam is possible without physical interaction. The preparation is based on the selection of an adequate ensemble of atoms of an originally wide beam by means of information obtained with a neutron interferometer. In such a case the uncertainty relation can no longer be interpreted as a by-product of the interaction between the system and the preparation apparatus.
We compare the two approaches to the empirical logic of automata. The first, called partition logic (logic of microstatements), refers to experiments on individual automata. The second one, the logic of simulation (logic of macrostatements), deals with ensembles of automata.
Thought experiments about the physical nature of set theoretical counterexamples to the axiom of choice motivate the investigation of peculiar constructions, e.g. an infinite dimensional Hilbert space with a modular quantum logic. Applying a concept due to BENIOFF, we identify the intrinsically effective Hamiltonians with those observables of quantum theory which may coexist with a failure of the axiom of choice. Here a self adjoint operator is intrinsically effective, iff the Schroedinger equation of its generated semigroup is soluble by means of eigenfunction series expansions.
Are minds subject to laws of physics? Are the laws of physics computable? Are conscious thought processes computable? Currently there is little agreement as to what are the right answers to these questions. Penrose goes one step further and asserts that: {\it a radical new theory is indeed needed, and I am suggesting, moreover, that this theory, when it is found, will be of an essentially non-computational character.} The aim of this paper is three fold: 1) to examine the incompatibility between the hypothesis of strong determinism and computability, 2) to give new examples of uncomputable physical laws, and 3) to discuss the relevance of Gödel's Incompleteness Theorem in refuting the claim that an algorithmic theory---like strong AI---can provide an adequate theory of mind. Finally, we question the adequacy of the theory of computation to discuss physical laws and thought processes.
Quantum coherence allows the computation of an arbitrary number of distinct computational paths in parallel. Based on quantum parallelism it has been conjectured that exponential or even larger speedups of computations are possible. Here it is shown that, although in principle correct, any speedup is accompanied by an associated attenuation of detection rates. Thus, on the average, no effective speedup is obtained relative to classical (nondeterministic) devices.
The Hilbert space formalism of quantum mechanics is reviewed with emphasis on applications to quantum computing. Standard interferomeric techniques are used to construct a physical device capable of universal quantum computation. Some consequences for recursion theory and complexity theory are discussed.