47 results for Svozil, K, Report

Physical versus Computational Complementarity I
Calude, C; Calude, E; Svozil, K; Yu, S (199606)
Report
The University of Auckland LibraryThe dichotomy between endophysical/intrinsic and exophysical/extrinsic perception concerns the question of how a modelmathematical, logical, computationaluniverse is perceived from inside or from outside, [71, 65, 66, 59, 60, 68, 67]. This distinction goes back in time at least to Archimedes, reported to have asked for a point outside the world from which one could move the earth. An exophysical perception is realized when the system is laid out and the experimenter peeps at the relevant features without changing the system. The information flows on a oneway road: from the system to the experimenter. An endophysical perception can be realized when the experimenter is part of the system under observation. In such a case one has a twoway informational flow; measurements and entities measured are interchangeable and any attempt to distinguish between them ends up as a convention. The general conception dominating the sciences is that the physical universe is perceivable only from inside. This view reduces the exophysical perception to a theoretical illusion. The more plausible perception, i.e. an endophysical one, suffers from a “selfreferential" disease as any intrinsic measurement causes uncontrolled, and maybe uncontrollable, “disturbances" to the entity intended to be measured. This paper, the first in a proposed series, discusses some limitations and tradeoffs between endophysical/intrinsic and exophysical/extrinsic perceptions, in both physical and computational contexts. We are building our work on Moore “gedanken" experiments [50] in which the universe is modeled by a finite deterministic automaton. A new type of computational complementarity, which mimics the state of quantum entanglement, is introduced and contrasted with Moore's computational complementarity. Computer simulations of both types of computational complementarity are developed for fourstates Moore automata.
View record details 
Interferometric Information Gain Versus InteractionFree Measurement
Krenn, G; Summhammer, J; Svozil, K (200002)
Report
The University of Auckland LibraryInteractionfree measurement schemes with ideal MachZehnder interferometers promised to distinguish absorptive samples with lower average absorption than simple transmission schemes. We show that this is only true for an ensemble of two kinds of samples, where one kind is highly absorptive and the other is highly transmissive. As soon as a third kind of sample with intermediate transmission is introduced, but no phase shift is permitted, the cost of information gain in terms of absorbed particles in the samples is higher in the interferometric scheme. We also investigate the general case of samples with a continuous range of transmission and phase shift values, such that an interferometer's ability to measure both sample characteristics can be exploited. With an interferometer the number of principally distinguishable samples increases linearly with the number of probe particles, but with a simple transmission setup it in creases as the square root. When wishing to distinguish twice as many samples from a continuous sample distribution with an interferometric scheme, the number of absorbed particles per sample only doubles, but it quadruples with a simple transmission scheme.
View record details 
A NonProbabilistic Model of Relativised Predictability in Physics
Abbott, AA; Calude, CS; Svozil, K (2015)
Report
The University of Auckland LibraryLittle effort has been devoted to studying generalised notions or models of (un)predictability, yet is an important concept throughout physics and plays a central role in quantum information theory, where key results rely on the supposed inherent unpredictability of measurement outcomes. In this paper we continue the programme started in developing a general, nonprobabilistic model of (un)predictability in physics. We present a more refined model that is capable of studying different degrees of “relativised” unpredictability. This model is based on the ability for an agent, acting via uniform, effective means, to predict correctly and reproducibly the outcome of an experiment using finite information extracted from the environment. We use this model to study further the degree of unpredictability certified by different quantum phenomena, showing that quantum complementarity guarantees a form of relativised unpredictability that is weaker than that guaranteed by KochenSpeckertype value indefiniteness. We exemplify further the difference between certification by complementarity and value indefiniteness by showing that, unlike value indefiniteness, complementarity is compatible with the production of computable sequences of bits.
View record details 
A Variant of the KochenSpecker Theorem Localising Value Indefiniteness (Revision1)
Abbott, AA; Calude, CS; Svozil, K (2015)
Report
The University of Auckland LibraryThe KochenSpecker theorem proves the inability to assign, simultaneously, noncontextual definite values to all (of a finite set of) quantum mechanical observables in a consistent manner. If one assumes that any definite values behave noncontextually, one can nonetheless only conclude that some observables (in this set) are value indefinite. In this paper we prove a variant of the KochenSpecker theorem showing that, under the same assumption of noncontextuality, if a single onedimensional projection observable is assigned the definite value 1, then no onedimensional projection observable that is incompatible (i.e., noncommuting) with this one can be assigned consistently a definite value. Unlike standard proofs of the KochenSpecker theorem, in order to localise and show the extent of value indefiniteness this result requires a constructive method of reduction between KochenSpecker sets. If a system is prepared in a pure state yi, then it is reasonable to assume that any value assignment (i.e., hidden variable model) for this system assigns the value 1 to the observable projecting onto the onedimensional linear subspace spanned by yi, and the value 0 to those projecting onto linear subspaces orthogonal to it. Our result can be interpreted, under this assumption, as showing that the outcome of a measurement of any other incompatible onedimensional projection observable cannot be determined in advance, thus formalising a notion of quantum randomness.
View record details 
The minmax Principle Generalizes Tsirelson's Bound
Filipp, S; Svozil, K (200404)
Report
The University of Auckland LibraryBounds on the norm of quantum operators associated with classical Belltype inequalities can be derived from their maximal eigenvalues. This quantitative method enables detailed predictions of the maximal violations of Belltype inequalities.
View record details 
Single Particle Interferometric Analogues of Multipartite Entanglement
Svozil, K (200401)
Report
The University of Auckland LibraryBased on research by Reck et al. [1] and Zukowski et al. [2], preparation and measurement configurations for the singlet states of two and three two and threestate particles are enumerated in terms of multiport interferometers.
View record details 
Proposed Direct Test of Quantum Contextuality
Svozil, K (200902)
Report
The University of Auckland LibraryQuantum contextually can be directly tested by an EinsteinPodolskyRosentype experiment of two spin one and higher particles in a singlet state. The two associated contexts are “interlinked” by a common observable.
View record details 
Quantum Randomness and Value Indefiniteness
Calude, C.S; Svozil, K (200611)
Report
The University of Auckland LibraryAs computability implies value definiteness, certain sequences of quantum outcomes cannot be computable.
View record details 
Solution of Problem No. 10769
Svozil, K (200002)
Report
The University of Auckland LibraryWe review previous solutions of problem nr. 10769 posed by Christian Blatter
View record details 
Embedding Quantum Universes into Classical Ones
Calude, C.S; Hertling, P.H; Svozil, K (199705)
Report
The University of Auckland LibraryDo the partial order and lattice operations of a quantum logic correspond to the logical implication and connectives of classical logic? Rephrased, how far might a classical understanding of quantum mechanics be, in principle, possible? A celebrated result by Kochen and Specker answers the above question in the negative. However, this answer is just one among different possible ones, not all negative. It is our aim to discuss the above question in terms of mappings of quantum worlds into classical ones, more specifically, in terms of embeddings of quantum logics into classical logics; depending upon the type of restrictions imposed on embeddings the question may get negative or positive answers.
View record details 
Communication Cost of Breaking the Bell Barrier
Svozil, K (200412)
Report
The University of Auckland LibraryAdaptive as well as nonadaptive, memoryless protocols are presented which give rise to stronger than quantum correlations at the cost of the exchange of a single classical bit.
View record details 
Quantum Scholasticism: On Quantum Contexts, Counterfactuals, and the Absurdities of Quantum Omniscience
Svozil, K (200902)
Report
The University of Auckland LibraryUnlike classical information, quantum knowledge is restricted to the outcome of measurements of maximal observables corresponding to single contexts.
View record details 
On the Unpredictability of Individual Quantum Measurement Outcomes
Abbott, AA; Calude, CS; Svozil, K (2014)
Report
The University of Auckland LibraryWe develop a general, nonprobabilistic model of prediction which is suitable for assessing the (un)predictability of individual physical events. We use this model to provide, for the first time, a rigorous proof of the unpredictability of a class of individual quantum measurement outcomes, a wellknown quantum attribute postulated or claimed for a long time. We prove that quantum indeterminism—formally modelled as value indefiniteness—is incompatible with the supposition of predictability: value indefinite observables are unpredictable. The proof makes essential use of a strengthened form of the KochenSpecker theorem proven previously to identify value indefinite observables. As a result, quantum unpredictability, like the KochenSpecker theorem, relies on three assumptions: compatibility with quantum mechanical predictions, noncontextuality, and the value definiteness of observables corresponding to the preparation basis of a quantum state. Finally, quantum unpredictability is used to prove that quantum randomness is "maximally incomputable" and to discuss a real model of hypercomputation whose computational power has yet to be determined. The paper ends with a further open problem.
View record details 
Quantum music
Putz, V; Svozil, K (2015)
Report
The University of Auckland LibraryWe consider ways of conceptualizing, rendering and perceiving quantum music, and quantum art in general. Thereby, we give particular emphasis to its nonclassical aspects, such as coherent superposition and entanglement.
View record details 
Logical Equivalence Between Generalized Urn Models and Finite Automata
Svozil, K (200202)
Report
The University of Auckland LibraryTo every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus. The converse is true as well.
View record details 
Quantum Theory Looks at Time Travel
Greenberger, D.M; Svozil, K (200506)
Report
The University of Auckland LibraryWe introduce a quantum mechanical model of time travel which includes two figurative beam splitters in order to induce feedback to earlier times. This leads to a unique solution to the paradox where one could kill one’s grandfather in that once the future has unfolded, it cannot change the past, and so the past becomes deterministic. On the other hand, looking forwards towards the future is completely probabilistic. This resolves the classical paradox in a philosophically satisfying manner.
View record details 
Science at the Crossroad Between Randomness and Determinism
Svozil, K (200005)
Report
The University of Auckland LibraryTime and again, man’s understanding of Nature is at the crossroad between total worldcomprehension and total randomness. It is suggested that not only are the preferences influenced by the theories and models of today, but also by the very personal subjective inclinations of the people involved. The second part deals with the principle of selfconsistency and its consequences for totally deterministic systems.
View record details 
Some Observations Concerning the Plasticity of Nonlocal Quantum Correlations Exceeding Classical Expectations
Svozil, K (200902)
Report
The University of Auckland LibraryThe quantum correlations of two or more entangled particles present the possibility of strongerthanclassical outcome coincidences. We review the standard cases of two and four twostate particles. We also investigate twopartite correlations of spin one and spin threehalf quanta in a state satisfying a uniqueness property in the sense that knowledge of an outcome of one particle observable entails the certainty that, if this observable were measured on the other particle(s) as well, the outcome of the measurement would be a unique function of the outcome of the measurement performed.
View record details 
Computational Universes
Svozil, K (200305)
Report
The University of Auckland LibrarySuspicions that the world might be some sort of a machine or algorithm existing “in the mind” of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern developments in physics and computer science have lent support to the thesis, but empirical evidence is needed before it can begin to replace our contemporary world view.
View record details 
Counterfactual Effect, the Halting Problem, and the Busy Beaver Function
Calude, C.S; Dinneen, Michael; Svozil, K (199907)
Report
The University of Auckland LibraryUsing the counterfactual effect, we demonstrate that with better than 50% chance we can determine whether an arbitrary universal Turing machine will halt on an arbitrarily given program. As an application we indicate a probabilistic method for computing the busy beaver function a classical uncomputable function. These results suggest a possibility of going beyond the Turing barrier.
View record details