48 results for Svozil, K, Report

Randomness Relative to Cantor Expansions
Calude, C.S; Staiger, L; Svozil, K (200304)
Report
The University of Auckland LibraryImagine a sequence in which the first letter comes from a binary alphabet, the second letter can be chosen on an alphabet with 10 elements, the third letter can be chosen on an alphabet with 3 elements and so on. Such sequences occur in various physical contexts, in which the coding of experimental outcome varies with scale. When can such a sequence be called random? In this paper we offer a solution to the above question using the approach to randomness proposed by Algorithmic Information Theory.
View record details 
Quantum Queries Associated with EquiPartitioning of States and Multipartite Relational Encoding Across SpaceTime
Svozil, K (2015)
Report
The University of Auckland LibraryIn the first part of this paper we analyze possible quantum computational capacities due to quantum queries associated with equipartitions of pure orthogonal states. Special emphasis is given to the parity of product states and to functional parity. The second part is dedicated to a critical review of the relational encoding of multipartite states across (spacelike separated) spacetime regions; a property often referred to as “quantum nonlocality.”
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 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 
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 
On Coloring the Rational Quantum Sphere
Havlicek, H; Krenn, G; Summhammer, J; Svozil, K (200002)
Report
The University of Auckland LibraryWe discuss types of colorings of the rational quantum sphere similar to the one suggested recently by Meyer [1], in particular the consequences for the KochenSpecker theorem and for the correlation functions of entangled subsystems.
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 
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 
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 
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 
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 
nary Quantum Information Defined by State Partitions
Svozil, K (200205)
Report
The University of Auckland LibraryWe define a measure of quantum information which is based on state partitions. Properties of this measure for entangled manyparticle states are discussed. k particles specify k “nits” in such a way that k mutually commuting measurements of nary observables are necessary to determine the information.
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 
Aesthetic Complexity
Svozil, K (200804)
Report
The University of Auckland LibraryAesthetics, among other criteria, can be statistically examined in terms of the complexity required for creating and decrypting a work of art. We propose three laws of aesthetic complexity. According to the first law of aesthetic complexity, too condensed encoding makes a decryption of a work of art impossible and is perceived as chaotic by the untrained mind, whereas too regular structures are perceived as monotonous, too orderly and not very stimulating. Thus a necessary condition for an artistic form or design to appear appealing is its complexity to lie within a bracket between monotony and chaos. According to the second law of aesthetic complexity, due to human predisposition, this bracket is invariably based on natural forms; with rather limited plasticity. The third law of aesthetic complexity states that aesthetic complexity trends are dominated by the available resources, and thus also by cost and scarcity.
View record details 
KochenSpecker Theorem Revisited and Strong Incomputability of Quantum Randomness
Abbott, A.A; Calude, C.S.; Conder, J.; Svozil, K (2012)
Report
The University of Auckland LibraryWe present a stronger variant of the KochenSpecker theorem in which some quantum observables are identiﬁed to be provably value indeﬁnite. This result is utilised for the construction and certiﬁcation of a dichotomic quantum random number generator operating in a threedimensional Hilbert space.
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 
Bertlmann's chocolate balls and quantum type cryptography
Svozil, K (200903)
Report
The University of Auckland LibrarySome quantum cryptographic protocols can be implemented with specially prepared chocolate balls, others protected by value indefiniteness cannot. Similarities and differences of cryptography with quanta and chocolate are discussed. Motivated by these considerations it is proposed to certify quantum random number generators and quantum cryptographic protocols by value indefiniteness. This feature, which derives itself from Belland KochenSpecker type arguments, is only present in systems with three or more mutually exclusive outcomes.
View record details