This paper contains minor changes to our paper published as Chapter 4 of Quo Vadis Quantum Mechanics?, ed. by A. Elitzur, S. Dolev and N. Kolenda, Springer Verlag, Berlin (2005). It is an expanded version of D.M. Greenberger and K. Svozil, in: Between Chance and Choice, ed. by H. Atmanspacher and R. Bishop, Imprint Academic, Thorverton England (2002), pp. 293-308. Two references added
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.
It is claimed in the above paper that, if time travel were possible, quantum propagation would prevent classic time travel paradoxes by establishing consistent loops; an example circuit is used to demonstrate such a loop. It is argued here that established loops are not the framework in which the classic paradoxes arise; rather they arise via the establishment of a concrete initial history in which no disturbing time travel is allowed and then disturbing that history via the launch of the time traveller. It is shown that, operated in this two-pass fashion, if the first forward evolution of the…
This paper discusses the quantum mechanics of closed timelike curves (CTC) and of other potential methods for time travel. We analyze a specific proposal for such quantum time travel, the quantum description of CTCs based on post-selected teleportation (P-CTCs). We compare the theory of P-CTCs to previously proposed quantum theories of time travel: the theory is physically inequivalent to Deutsch's theory of CTCs, but it is consistent with path-integral approaches (which are the best suited for analyzing quantum field theory in curved spacetime). We derive the dynamical equations that a chrono…
The quantum teleportation protocol can be used to probabilistically simulate a quantum circuit with backward-in-time connections. This allows us to analyze some conceptual problems of time travel in the context of physically realizable situations, to realize encrypted measurements of future states for which the decryption key becomes available only after the state is created, and to probabilistically realize a multistage quantum state processing within the time needed to complete only one stage. The probabilistic nature of the process resolves any paradox.
We consider quantum circuits with time travel designed for distinguishing specific nonorthogonal quantum states in two most popular models: Deutschs and postselected. We modify them by a presence of weakly coupled thermal environment. Using the Davies approximation we study how the thermal noise affects an ability of the circuits to distinguish nonorthogonal quantum states. We show that for purely dephasing environment a paradoxial power of such circuits remains preserved. We also present a physics based argument for conditions of validity of the maximum entropy rule introduced by David Deutsc…
Theory of computer calculations strongly depends on the nature of elements the computer is made of. Quantum interference allows to formulate the Shor factorization algorithm turned out to be more effective than any one written for classical computers. Similarly, quantum wave packet reduction allows to devise the Grover search algorithm which outperforms any classical one. In the present paper we argue that the quantum incoherent tunneling can be used for elaboration of new algorithms able to solve some NP-hard problems, such as the Traveling Salesman Problem, considered to be intractable in th…
The closed causal chains arising from backward time travel do not lead to paradoxes if they are self consistent. This raises the question as to how physics ensures that only self-consistent loops are possible. We show that, for one particular case at least, the condition of self consistency is ensured by the interference of quantum mechanical amplitudes associated with the loop. If this can be applied to all loops then we have a mechanism by which inconsistent loops eliminate themselves.
We consider an error model for quantum computing that consists of "contagious quantum germs" that can infect every output qubit when at least one input qubit is infected. Once a germ actively causes error, it continues to cause error indefinitely for every qubit it infects, with arbitrary quantum entanglement and correlation. Although this error model looks much worse than quasi-independent error, we show that it reduces to quasi-independent error with the technique of quantum teleportation. The construction, which was previously described by Knill, is that every quantum circuit can be convert…
It has long been assumed in physics that for information to travel between two parties in empty space, "Alice" and "Bob", physical particles have to travel between them. Here, using the "chained" quantum Zeno effect, we show how, in the ideal asymptotic limit, information can be transferred between Alice and Bob without any physical particles traveling between them.
General relativity predicts the existence of closed timelike curves (CTCs), along which an object could travel to its own past. A consequence of CTCs is the failure of determinism, even for classical systems: one initial condition can result in multiple evolutions. Here we introduce a new quantum formulation of a classic example, where a billiard ball can travel along two possible trajectories: one unperturbed and one, along a CTC, where it collides with its past self. Our model includes a vacuum state, allowing the ball to be present or absent on each trajectory, and a clock, which provides a…
The NP-complete problem of the travelling salesman (TSP) is considered in the framework of quantum adiabatic computation (QAC). We first derive a remarkable lower bound for the computation time for adiabatic algorithms in general as a function of the energy involved in the computation. Energy, and not just time and space, must thus be considered in the evaluation of algorithm complexity, in perfect accordance with the understanding that all computation is physical. We then propose, with oracular Hamiltonians, new quantum adiabatic algorithms of which not only the lower bound in time but also t…
Time it takes to travel from one position to another, devoid of any quantum mechanical description, has been modeled variously, especially for quantum tunneling. The model time, if universally valid, must be subluminal, must hold everywhere (inside and outside the tunneling region), must comprise interference effects, and must have a sensible classical limit. Here we show that the quantum travel time, hypothesized to emerge with the state vector, is a function of the probability density and probability current such that all the criteria above are fulfilled. We compute it inside and outside a r…
I argue that Deutsch's model for the behavior of systems traveling around closed timelike curves (CTCs) relies implicitly on a substantive metaphysical assumption. Deutsch is employing a version of quantum theory with a significantly supplemented ontology of parallel existent worlds, which differ in kind from the many worlds of the Everett interpretation. Standard Everett does not support the existence of multiple identical copies of the world, which the D-CTC model requires. This has been obscured because he often refers to the branching structure of Everett as a "multiverse", and describes q…
The fact that closed timelike curves (CTCs) are permitted by general relativity raises the question as to how quantum systems behave when time travel to the past occurs. Research into answering this question by utilising the quantum circuit formalism has given rise to two theories: Deutschian-CTCs (D-CTCs) and "postselected" CTCs (P-CTCs). In this paper the quantum circuit approach is thoroughly reviewed, and the strengths and shortcomings of D-CTCs and P-CTCs are presented in view of their non-linearity and time travel paradoxes. In particular, the "equivalent circuit model"---which aims to m…
The Hamiltonian approach can be used successfully to study the real-time evolution of a non-Abelian lattice gauge theory on the available noisy quantum computers. In this work, results from the real-time evolution of SU(2) pure gauge theory on IBM hardware are presented. The long real-time evolution spanning dozens of Trotter steps with hundreds of CNOT gates and the observation of a traveling excitation on the lattice were made possible by using a collection of error mitigation techniques. Self-mitigation is our novel tool, which consists of using the same physics circuit as a noise-mitigatio…
Quantum information processing requires fast manipulations of quantum systems in order to overcome dissipative effects. We propose a method to accelerate quantum dynamics and obtain a target state in a shorter time relative to unmodified dynamics, and apply the theory to a system consisting of two linearly coupled qubits. We extend the technique to accelerate quantum adiabatic evolution in order to rapidly generate a desired target state, thereby realizing a shortcut to adiabaticity. Further, we address experimental limitations to the rate of change of control parameters for quantum devices wh…
A ring resonator involves a scattering process where a part of the output is fed again into the input. The same formal structure is encountered in the problem of time travel in a neighborhood of a closed timelike curve (CTC). We know how to describe quantum optics of ring resonators, and the resulting description agrees with experiment. We can apply the same formal strategy to any looped quantum evolution, in particular to the time travel. The argument is in its essence a topological one and thus does not refer to any concrete geometry. It is shown that the resulting paradigm automatically rem…
A quantum model for Josephson-based metamaterials working in the Three-Wave Mixing (3WM) and Four-Wave Mixing (4WM) regimes at the single-photon level is presented. The transmission line taken into account, namely Traveling Wave Josephson Parametric Amplifier (TWJPA), is a bipole composed by a chain of rf-SQUIDs which can be biased by a DC current or a magnetic field in order to activate the 3WM or 4WM nonlinearities. The model exploits a Hamiltonian approach to analytically determine the time evolution of the system both in the Heisenberg and interaction pictures. The former returns the analy…
We extend the Keldysh technique to enable the computation of out-of-time order correlators. We show that the behavior of these correlators is described by equations that display initially an exponential instability which is followed by a linear propagation of the decoherence between two initially identically copies of the quantum many body systems with interactions. At large times the decoherence propagation (quantum butterfly effect) is described by a diffusion equation with non-linear dissipation known in the theory of combustion waves. The solution of this equation is a propagating non-line…
We analyze the dynamics of single photon transport in a single-mode waveguide coupled to a micro-optical resonator using a fully quantum mechanical model. We examine the propagation of a single-photon Gaussian packet through the system under various coupling conditions. We review the theory of single photon transport phenomena as applied to the system and we develop a discussion on the numerical technique we used to solve for dynamical behavior of the quantized field. To demonstrate our method and to establish robust single photon results, we study the process of adiabatically lowering or rais…
We show that optical tachyonic dispersion corresponding to superluminal (faster than-light) group velocities characterizes parametrically amplifying media. The turn-on of parametric amplification in finite media, followed by illumination by spectrally narrow probe wavepackets, can give rise to transient tachyonic wavepackets. In the stable (sub-threshold) operating regime of an optical phase conjugator it is possible to transmit probe pulses with a superluminally advanced peak, whereas conjugate reflection is always subluminal. In the unstable (above-threshold) regime, superluminal response oc…
Travel time optimization on multi-AGV routing by reverse annealing
Graduate School of Information Sciences, Tohoku University（东北大学信息科学研究科）；Sigma-i Co., Ltd.（Sigma-i有限公司）；Institute of Innovative Research, Tokyo Institute of Technology（东京工业大学创新研究院）
