Related papers: A Finite State Model for Time Travel
Despite various parallels between quantum states and ordinary information, quantum no-go-theorems have convinced many that there is no realistic framework that might underly quantum theory, no reality that quantum states can represent…
It has often been suggested that retrocausality offers a solution to some of the puzzles of quantum mechanics: e.g., that it allows a Lorentz-invariant explanation of Bell correlations, and other manifestations of quantum nonlocality,…
We give a counter example to show that determinism as such is in contradiction to quantum mechanics. More precisely, we consider a simple quantum system and its environment, including the measurement device, and make the assumption that the…
While quantum computers are expected to yield considerable advantages over classical devices, the precise features of quantum theory enabling these advantages remain unclear. Contextuality--the denial of a notion of classical physical…
According to quantum mechanics, statements about the future made by sentient beings like us are, in general, neither true nor false; they must satisfy a many-valued logic. I propose that the truth value of such a statement should be…
Modern physics is founded on two mainstays: mathematical modelling and empirical verification. These two assumptions are prerequisite for the objectivity of scientific discourse. Here we show, however, that they are contradictory, leading…
Prediction is the making of statements, usually probabilistic, about future events based on current information. Retrodiction is the making of statements about past events based on current information. We present the foundations of quantum…
In this paper, we introduce a time-continuous production model that enables random machine failures, where the failure probability depends historically on the production itself. This bidirectional relationship between historical failure…
There are good reasons to believe that we are classical algorithms run on (effectively) classical machines. However, the fact that a physical state of a system in a universe described by a classical deterministic model doesn't contain any…
A qualification is suggested for the counterfactual reasoning involved in some aspects of time-symmetric quantum theory (which involves ensembles selected by both the initial and final states). The qualification is that the counterfactual…
Physics takes for granted that interacting physical systems with no common history are independent, before their interaction. This principle is time-asymmetric, for no such restriction applies to systems with no common future, after an…
Recently it has been pointed out that an outstanding application of an IBM quantum computer is to reverse the arrow of time [Lesovik et al. Sci. Rep. 9, 1 (2019)]. The issue of the consequences of the reversal of the arrow of time on the…
Various verification techniques for temporal properties transform temporal verification to safety verification. For infinite-state systems, these transformations are inherently imprecise. That is, for some instances, the temporal property…
Although there is no consensus regarding the "reality" of the past of a quantum particle, in situations where there is only one trajectory with nonvanishing quantum wave of the particle between its emission and detection points, it seems…
We describe a method to axiomatize computations in deterministic Turing machines. When applied to computations in non-deterministic Turing machines, this method may produce contradictory (and therefore trivial) theories, considering…
John Wheeler devised a gedanken experiment in which a piece of apparatus can be altered just before the arrival of particle, and this ``delayed choice'' can, seemingly, alter the quantum state of the particle at a much earlier time, long…
The Braess paradox describes the counterintuitive situation that the addition of new roads to road networks can lead to higher travel times for all network users. Recently we could show that user optima leading to the paradox exist in…
Constructor theory asserts that the laws of physics are expressible as specifications of which transformations of physical systems can or cannot be brought about with unbounded accuracy by devices capable of operating in a cycle…
Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous endomaps of the discrete time scale, or time warps, can be…
We start with the idea that open quantum systems can be used to represent financial markets by modelling events from the external environment and their impact on the market price. We show how to characterize distinct orbits of the time…