BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Karl Svozil appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Functional epistemology is about ways to access functional objects by using varieties of methods and procedures. Not all such means are equally capable of reproducing these functions in the desired consistency and resolution. Dyson's argument against the perturbative expansion of quantum field theoretic terms, in a radical form (never pursued by Dyson), is an example of epistemology taken as ontology.
A physicalistic argument can support the idea that cognition is an emergent property driven by dissipation. This argument suggests that cognition arises not from any fiat desire to understand the world, but rather because a certain type of cognition promotes dissipation, which is advantageous for agents seeking to increase the dissipation of resources, especially energy, in their favor. In other words, cognitive agents are better equipped to acquire physical resources and means, giving them an advantage in survival and reproduction. Similarly, the efficient use of computation can also serve as a means of dissipating energy for the computing agent. Efficiency, in this context, is not determined by moral or ethical principles, but rather by the ability to effectively aggregate resources. When used efficiently, computation becomes a powerful tool for dissipating energy and enhancing the survival and reproduction of the agent utilizing it.
Criteria and constructive methods for the completion of an incomplete basis of, or context in, a four-dimensional Hilbert space by (in)decomposable vectors are given.
The Householder transformation, allowing a rewrite of probabilities into expectations of dichotomic observables, is generalized in terms of its spectral decomposition. The dichotomy is modulated by allowing more than one negative eigenvalue or by abandoning binaries altogether, yielding generalized operator-valued arguments for contextuality. We also discuss a form of contextuality by the variation of the functional relations of the operators, in particular by additivity.
Measurements of a wide variety of aerial phenomena such as drones, birds, planes, and other aerial objects can in principle be obtained from open access radio detection and ranging equipment. Passive strategies involve existing cell towers as transmitters and cell phones as receivers. Another active possibility is the creation of a multistatic, possibly phased array, network of transmission and receiving stations by open-source realizations such as GNU radio. We also suggest provision of uncorrelated targets or anomalies from existing military sources.
We discuss representations and colorings of orthogonality hypergraphs in terms of their two-valued states interpretable as classical truth assignments. Such hypergraphs, if they allow for a faithful orthogonal representation, have quantum mechanical realizations in terms of intertwined contexts or maximal observables that are widely discussed as empirically testable criteria for contextuality. Reconstruction is possible for the class of perfectly separable hypergraphs. Colorings can be constructed from a minimal set of two-valued states. Some examples from exempt categories are presented that either cannot be reconstructed by two-valued states or whose two-valued states cannot yield a chromatic number that is equal to the maximal clique number.
The expression of human art, and supposedly sentient art in general, is modulated by the available rendition, receiving and communication techniques. The components or instruments of these techniques ultimately exhibit a physical, in particular, quantum layer, which in turn translates into physical and technological capacities to comprehend and utilize what is possible in our universe. In this sense, we can apply a sort of Church-Turing thesis to art, or at least to its rendition.
Classical evaluations of configurations of intertwined quantum contexts induce relations, such as true-implies-false, true-implies-true, but also nonseparability among the input and output terminals. When combined, these exploitable configurations (aka gadgets) deliver the strongest form of classical value indefiniteness. However, the choice of the respective configuration among all such collections, and thus the relation of its terminals, remains arbitrary and cannot be motivated by some superselection principle inherent to quantum or classical physics.
This is an elaboration about the "extra" advantage of the performance of quantized physical systems over classical ones; both in terms of single outcomes as well as probabilistic predictions. From a formal point of view, it is based upon entities related to (dual) vectors in (dual) Hilbert spaces, as compared to the Boolean algebra of subsets of a set and the additive measures they support.
In Itamar Pitowsky's reading of the Gleason and the Kochen-Specker theorems, in particular, his Logical Indeterminacy Principle, the emphasis is on the value indefiniteness of observables which are not within the preparation context. This is in stark contrast to the prevalent term {\em contextuality} used by many researchers in informal, heuristic yet omni-realistic and potentially misleading ways. This paper discusses both concepts and argues in favor of value indefiniteness in all but a continuum of contexts intertwining in the vector representing a single pure (prepared) state. Even more restrictively, and inspired by operationalism but not justified by Pitowsky's Logical Indeterminacy Principle or similar, one could identify with a "quantum state" a single quantum context -- aka the respective maximal observable, or, in terms of its spectral decomposition, the associated orthonormal basis - from the continuum of intertwining context, as per the associated maximal observable actually or implicitly measured.
The graphs induced by partition logics allow a dual probabilistic interpretation: a classical one for which probabilities lie on the convex hull of the dispersion-free weights, and another one, suggested independently from the quantum Born rule, in which probabilities are formed by the (absolute) square of the inner product of state vectors with the faithful orthogonal representations of the respective graph. Two immediate consequences are the demonstration that the logico-empirical structure of observables does not determine the type of probabilities alone, and that complementarity does not imply contextuality.
Quantum and classical models for delayed choice entanglement swapping by postselection of measurements are discussed.
Quantum computation is the suitable orthogonal encoding of possibly holistic functional properties into state vectors, followed by a projective measurement.
The claims made in a manifesto resulting in the European quantum technologies flagship initiative in quantum technology and similar enterprises are taken as starting point to critically review some potential quantum resources, such as coherent superposition and entanglement, and their potential usefulness for parallelism and communication. Claims of absolute, irreducible (non-epistemic) randomness are argued to be metaphysical. Cryptanalytic man-in-the-middle attacks on quantum cryptography are well known to be feasible, but hardly mentioned. If all of this is taken into account, a more sober perspective on quantum capacities emerges, but one that may be ethically more justified than the "hype and magic" that drives many current initiatives.
In the first part of this paper we analyze possible quantum computational capacities due to quantum queries associated with equi-partitions 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 (space-like separated) space-time regions; a property often referred to as "quantum nonlocality."
There exist limits of self-inspection due to self-referential paradoxes, incompleteness and fixed point theorems. As quantum mechanics dictates the exchange of discrete quanta, measurements and self-inspection of quantized systems are fundamentally limited.
Little 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 [1] developing a general, non-probabilistic 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 Kochen-Specker-type 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.
The Kochen-Specker 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 Kochen-Specker theorem showing that, under the same assumption of noncontextuality, if a single one-dimensional projection observable is assigned the definite value 1, then no one-dimensional projection observable that is incompatible (i.e., non-commuting) with this one can be assigned consistently a definite value. Unlike standard proofs of the Kochen-Specker theorem, in order to localise and show the extent of value indefiniteness this result requires a constructive method of reduction between Kochen-Specker sets. If a system is prepared in a pure state $|ψ\rangle$, 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 one-dimensional linear subspace spanned by $|ψ\rangle$, 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 one-dimensional projection observable cannot be determined in advance, thus formalising a notion of quantum randomness.
Some possible (re)sources of indeterminism and randomness encountered in physics are enumerated. These gaps in the physical laws, if they exist, could possibly be exploited for dualistic interfaces. We also speculate that physical laws and order could possibly emerge from primordial chaos by means resembling statistics and Ramsey theory.
We develop a general, non-probabilistic 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 well-known 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: measurements of value indefinite observables are unpredictable. The proof makes essential use of a strengthened form of the Kochen-Specker theorem proven previously to identify value indefinite observables. This form of quantum unpredictability, like the Kochen-Specker theorem, relies on three assumptions: compatibility with quantum mechanical predictions, non-contextuality, and the value definiteness of observables corresponding to the preparation basis of a quantum state. We explore the relation between unpredictability and incomputability and show that the unpredictability of individual measurements of a value indefinite quantum observable complements, and is independent of, the global strong incomputability of any sequence of outcomes of this particular quantum experiment. Finally, we discuss a real model of hypercomputation whose computational power has yet to be determined, as well as further open problems.
Compound interest as well as inflation grows exponentially with time, whereas other means to repay debt grow polynomially. For this and other, mostly political, reasons, debt without inflation is unsustainable. We suggest a discontinuous way to eliminate debt by nullifying it. This scenario is preferable to current central bank strategies of quantitative easing because it allows the disposal of debt without hyperinflation or bloated balance sheets.
We consider ways of conceptualizing, rendering and perceiving quantum music, and quantum art in general. Thereby, we give particular emphasis to its non-classical aspects, such as coherent superposition and entanglement.
Do the partial order and ortholattice operations of a quantum logic correspond to the logical implication and connectives of classical logic? Re-phrased, 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.
We present two geometric proofs of the Kochen-Specker theorem. A quite similar argument has been used by Cooke, Keane, and Moran, as well as by Kalmbach in her book to derive the Gleason theorem.
We propose a new mechanism for high-pitch perception by a system of multiple neurons capable of resolving frequencies higher than the frequency associated with the mean refractory period up to a multiple thereof.
We analyze the physical aspects and origins of currently proposed oracles for (absolute) randomness.
Rather than an a priori arena in which events take place, space-time is a construction of our mind making possible a particular kind of ordering of events. As quantum entanglement is a property of states independent of classical distances, the notion of space and time has to be revised to represent the holistic interconnection of quanta. We also speculate about various forms of reprogramming, or reconfiguring, the propagation of information for multipartite statistics and in quantum field theory.
Based on recent theorems about quantum value-indefiniteness it is conjectured that many issues of "Born's quantum mechanics" can be overcome by supposing that only a single pure state exists; and that the quantum evolution permutes this state.
Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do not allow us to identify where this breakdown occurs, nor the extent of it. It was recently shown [Phys. Rev. A 86, 062109 (2012)] that this breakdown does not occur everywhere; here we show that it is maximal in that it occurs almost everywhere, and thus prove that quantum indeterminacy--often referred to as contextuality or value indefiniteness--is a global property as is often assumed. In contrast to the Kochen-Specker theorem, we only assume the weaker non-contextuality condition that any potential value assignments that may exist are locally non-contextual. Under this assumption, we prove that once a single arbitrary observable is fixed to occur with certainty, almost (i.e. with Lebesgue measure one) all remaining observables are indeterminate.
Although various limits on the predicability of physical phenomena as well as on physical knowables are commonly established and accepted, we challenge their ultimate validity. More precisely, we claim that fundamental limits arise only from our limited imagination and fantasy. To illustrate this thesis we give evidence that the well-known Turing incomputability barrier can be trespassed via quantum indeterminacy. From this algorithmic viewpoint, the "fine tuning" of physical phenomena amounts to a "(re)programming" of the universe.
The Kochen-Specker theorem shows the impossibility for a hidden variable theory to consistently assign values to certain (finite) sets of observables in a way that is non-contextual and consistent with quantum mechanics. If we require non-contextuality, the consequence is that many observables must not have pre-existing definite values. However, the Kochen-Specker theorem does not allow one to determine which observables must be value indefinite. In this paper we present an improvement on the Kochen-Specker theorem which allows one to actually locate observables which are provably value indefinite. Various technical and subtle aspects relating to this formal proof and its connection to quantum mechanics are discussed. This result is then utilized for the proposal and certification of a dichotomic quantum random number generator operating in a three-dimensional Hilbert space.
This review is about the convenience, the benefits, as well as the destructive capacities of money. It deals with various aspects of money creation, with its value, and its appropriation. All sorts of money tend to get corrupted by eventually creating too much of them. In the long run, this renders money worthless and deprives people holding it. This misuse of money creation is inevitable and should come as no surprise. Abusive money creation comes in various forms. In the present fiat money system "suspended in free thought" and sustained merely by our belief in and our conditioning to it, money is conveniently created out of "thin air" by excessive government spending and speculative credit creation. Alas, any too tight money supply could ruin an economy by inviting all sorts of unfriendly takeovers, including wars or competition. Therefore the ambivalence of money as benefactor and destroyer should be accepted as destiny.
As has already been pointed out by Birkhoff and von Neumann, quantum logic can be formulated in terms of projective geometry. In three-dimensional Hilbert space, elementary logical propositions are associated with one-dimensional subspaces, corresponding to points of the projective plane. It is shown that, starting with three such propositions corresponding to some basis $\{{\vec u},{\vec v},{\vec w}\}$, successive application of the binary logical operation $(x,y)\mapsto (x\vee y)^\perp$ generates a set of elementary propositions which is countable infinite and dense in the projective plane if and only if no vector of the basis $\{{\vec u},{\vec v},{\vec w}\}$ is orthogonal to the other ones.
Physical entities are ultimately (re)constructed from elementary yes/no events, in particular clicks in detectors or measurement devices recording quanta. Recently, the interpretation of certain such clicks has given rise to unfounded claims which are neither necessary nor sufficient, although they are presented in that way. In particular, clicks can neither inductively support nor "(dis)prove" the Kochen-Specker theorem, which is a formal result that has a deductive proof by contradiction. More importantly, the alleged empirical evidence of quantum contextuality, which is "inferred" from violations of bounds of classical probabilities by quantum correlations, is based on highly nontrivial assumptions, in particular on physical omniscience.
The amount of contextuality is quantified in terms of the probability of the necessary violations of noncontextual assignments to counterfactual elements of physical reality.
Despite provable unknowables in recursion theory, indeterminism and randomness in physics is confined to conventions, subjective beliefs and preliminary evidence. The history of the issue is very briefly reviewed, and answers to five questions raised by Hector Zenil are presented.
Radiative corrections to the dispersion of neutrinos in nonstandard vacuum may give rise to "boosts" in their speed. This could explain recent experimental evidence by the OPERA collaboration, as well as the null result indicated by the supernova 1987A (SN 1987A) measurements of neutrino and photon arrival times.
A variety of physical unknowables are discussed. Provable lack of physical omniscience, omnipredictability and omnipotence is derived by reduction to problems which are known to be recursively unsolvable. "Chaotic" symbolic dynamical systems are unstable with respect to variations of initial states. Quantum unknowables include the random occurrence of single events, complementarity and value indefiniteness.
The indeterministic outcome of a measurement of an individual quantum is certified by the impossibility of the simultaneous, definite, deterministic pre-existence of all conceivable observables from physical conditions of that quantum alone. We discuss possible interpretations and consequences for quantum oracles.
In this highly speculative Letter it is argued that, under certain physical conditions, Maxwell's demon might be capable of breaking the second law of thermodynamics, thereby allowing a perpetual motion machine of the second kind, by accessing single particle capabilities.
In this paper we propose a quantum random number generator (QRNG) which utilizes an entangled photon pair in a Bell singlet state, and is certified explicitly by value indefiniteness. While "true randomness" is a mathematical impossibility, the certification by value indefiniteness ensures the quantum random bits are incomputable in the strongest sense. This is the first QRNG setup in which a physical principle (Kochen-Specker value indefiniteness) guarantees that no single quantum bit produced can be classically computed (reproduced and validated), the mathematical form of bitwise physical unpredictability. The effects of various experimental imperfections are discussed in detail, particularly those related to detector efficiencies, context alignment and temporal correlations between bits. The analysis is to a large extent relevant for the construction of any QRNG based on beam-splitters. By measuring the two entangled photons in maximally misaligned contexts and utilizing the fact that two rather than one bitstring are obtained, more efficient and robust unbiasing techniques can be applied. A robust and efficient procedure based on XORing the bitstrings together---essentially using one as a one-time-pad for the other---is proposed to extract random bits in the presence of experimental imperfections, as well as a more efficient modification of the von Neumann procedure for the same task. Some open problems are also discussed.
We propose to "boost" the speed of communication and computation by immersing the computing environment into a medium whose index of refraction is smaller than one, thereby trespassing the speed-of-light barrier.
In contrast with software-generated randomness (called pseudo-randomness), quantum randomness is provable incomputable, i.e.\ it is not exactly reproducible by any algorithm. We provide experimental evidence of incomputability --- an asymptotic property --- of quantum randomness by performing finite tests of randomness inspired by algorithmic information theory.
The quantum correlations of two or more entangled particles present the possibility of stronger-than-classical outcome coincidences. We investigate two-partite correlations of spin one, three-half and higher 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. We also investigate correlations of four spin one-half particles.
Proving the chaoticity of some dynamical systems is equivalent to solving the hardest problems in mathematics. Conversely, one argues that it is not unconceivable that classical physical systems may "compute the hard or even the incomputable" by measuring observables which correspond to computationally hard or even incomputable problems.
Two novel computing models based on an infinite tessellation of space-time are introduced. They consist of recursively coupled primitive building blocks. The first model is a scale-invariant generalization of cellular automata, whereas the second one utilizes self-similar Petri nets. Both models are capable of hypercomputations and can, for instance, "solve" the halting problem for Turing machines. These two models are closely related, as they exhibit a step-by-step equivalence for finite computations. On the other hand, they differ greatly for computations that involve an infinite number of building blocks: the first one shows indeterministic behavior whereas the second one halts. Both models are capable of challenging our understanding of computability, causality, and space-time.
As quantum parallelism allows the effective co-representation of classical mutually exclusive states, the diagonalization method of classical recursion theory has to be modified. Quantum diagonalization involves unitary operators whose eigenvalues are different from one.
We have recently introduced the two new computing models of self-similar cellular automata and self-similar Petri nets. Self-similar automata result from a progressive, infinite tessellation of space and time. Self-similar Petri nets consist of a potentially infinite sequence of coupled transitions with ever increasing firing rates. Both models are capable of hypercomputations and can, for instance, ``solve'' the halting problem for Turing machines. We survey the main definitions and propositions and add new results regarding the indeterminism of self-similar cellular automata.
We discuss concrete examples for frame functions and their associated density operators, as well as for non-Gleason type probability measures.
We 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.
For many-particle systems, quantum information in base n can be defined by partitioning the set of states according to the outcomes of n-ary (joint) observables. Thereby, k particles can carry k nits. With regards to the randomness of single outcomes, a context translation principle is proposed. Quantum randomness is related to the uncontrollable degrees of freedom of the measurement interface, thereby translating a mismatch between the state prepared and the state measured.
Due to the nonvanishing average photon population of the squeezed vacuum state, finite corrections to the scattering matrix are obtained. The lowest order contribution to the electron mass shift for a one mode squeezed vacuum state is given by $δm(Ω, s)/m=α(2/π)(Ω/m)^2\sinh^2(s)$, where $Ω$ and $s$ stand for the mode frequency and the squeeze parameter and $α$ for the fine structure constant, respectively.
The classical methods used by recursion theory and formal logic to block paradoxes do not work in quantum information theory. Since quantum information can exist as a coherent superposition of the classical ``yes'' and ``no'' states, certain tasks which are not conceivable in the classical setting can be performed in the quantum setting. Classical logical inconsistencies do not arise, since there exist fixed point states of the diagonalization operator. In particular, closed timelike curves need not be eliminated in the quantum setting, since they would not lead to any paradoxical outcome controllability. Quantum information theory can also be subjected to the treatment of inconsistent information in databases and expert systems. It is suggested that any two pieces of contradicting information are stored and processed as coherent superposition. In order to be tractable, this strategy requires quantum computation.
After an elementary derivation of Bell's inequality, several forms of expectation functions for two-valued observables are discussed. Special emphasis is given to hypothetical stronger-than quantum expectation functions which give rise to a maximal violation of Bell's inequality.