Quantum gravity computers: On the theory of computation with indefinite causal structure
Lucien Hardy
备注：
24 pages. For proceedings of "Quantum Reality, Relativistic Causality, and Closing the Epistemic Circle: An International Conference in Honour of Abner Shimony"
A quantum gravity computer is one for which the particular effects of quantum gravity are relevant. In general relativity, causal structure is non-fixed. In quantum theory non-fixed quantities are subject to quantum uncertainty. It is therefore likely that, in a theory of quantum gravity, we will have indefinite causal structure. This means that there will be no matter of fact as to whether a particular interval is timelike or not. We study the implications of this for the theory of computation. Classical and quantum computations consist in ivolving the state of the computer through a sequence of time steps. This will, most likely, not be possible for a quantum gravity computer because the notion of a time step makes no sense if we have indefinite causal structure. We show that it is possible to set up a model for computation even in the absence of definite causal structure by using a certain framework (the causaloid formalism) that was developed for the purpose of correlating data taken in this type of situation. Corresponding to a physical theory is a causaloid, Lambda (this is a mathematical object containing information about the causal connections between different spacetime regions). A computer is given by the pair {Lambda, S} where S is a set of gates. Working within the causaloid formalism, we explore the question of whether universal quantum gravity computers are possible. We also examine whether a quantum gravity computer might be more powerful than a quantum (or classical) computer. In particular, we ask whether indefinite causal structure can be used as a computational resource.
We show that quantum indefinite causal structure generically reduce two-party correlations. For significant indefiniteness in the causal structure captured by some general conditions, the correlation is shown to be reduced down to zero. The result offers an operational model-independent ultraviolet regularization mechanism. It may be applied to various approaches of quantum gravity that allow quantum indefinite spacetime causal structure.
Indefinite causal structure is generically present in theories of quantum gravity admitting a path integral formulation. We show that summing over causal structures eliminates ultraviolet divergences of matter QFT and resolves spacetime singularities using the non-perturbative World Quantum Gravity approach. Independent information-theoretic and model-independent considerations suggest that the mechanism of ultraviolet regularization by indefinite causal structure also applies to other theories of quantum gravity.
Causal inequalities are bounds on correlations obtained when operations take place in a causal sequence, i.e. in which the background time or definite causal structure pre-exists such that every operation is either in the future, in the past or space-like separated from any other operation. Recently, a framework was developed where quantum theory is assumed to be valid in local laboratories, but where no reference is made to any global causal relations between the operations in the laboratories. The framework was shown to allow for correlations that violate a bipartite causal inequality. Here …
Quantum field theory (QFT) in classical spacetime has revealed interesting and puzzling aspects about gravitational systems, in particular black hole thermodynamics and its information processing. Although quantum gravitational effects may be relevant for a better understanding of these topics, a commonly accepted framework for studying QFT with quantum gravitational effects is missing. We present a theory for studying quantum fields in the presence of quantum indefinite causal structure. This theory incorporates quantum properties of spacetime causal structure in a model independent way, and …
An indefinite causal order, where the causes of events are not necessarily in past events, is predicted by the process matrix framework. A fundamental question is how these non-separable causal structures can be related to the thermodynamic phenomena. Here, we approach this problem by considering the existence of two cooperating local Maxwell's demons which try to exploit the presence of global correlations and indefinite causal order to optimize the extraction of work. Thus, we prove that it is possible to have a larger probability to lower the local energy to zero if causal inequalities are …
Quantum causality extends the conventional notion of fixed causal structure by allowing channels and operations to act in an indefinite causal order. The importance of such an indefinite causal order ranges from the foundational---e.g. towards a theory of quantum gravity---to the applied---e.g. for advantages in communication and computation. In this review, we will walk through the basic theory of indefinite causal order and focus on experiments that rely on a physically realisable indefinite causal ordered process---the quantum switch.
We show a method of describing processes with indefinite causal order (ICO) by a definite causal order. We do so by relabeling the processes that take place in the circuit in accordance with the basis of measurement of control qubit. Causal nonseparability is alleviated at a cost of nonlocality of the acting processes. This result highlights the key role of superposition in creating the paradox of ICO. We also draw attention to the issue of growing incompatibility of language in its current form (especially the logical structures it embodies) with the quantum logic.
Quantum Fisher information is the principal tool used to give the ultimate precision bound on the estimation of parameters for quantum channels. In this work, we present analytical expressions for the quantum Fisher information with three noisy channels for the case where the channels are in superposition of causal orders. We found that the quantum Fisher information increases as the number of causal orders increases for certain combinations. We also show that certain combinations of causal orders attain higher precision on bounds than others for the same number of causal orders. Based on our …
We propose a thermodynamic refrigeration cycle which uses Indefinite Causal Orders to achieve non-classical cooling. The cycle cools a cold reservoir while consuming purity in a control qubit. We first show that the application to an input state of two identical thermalizing channels of temperature $T$ in an indefinite causal order can result in an output state with a temperature not equal to $T$. We investigate the properties of the refrigeration cycle and show that thermodynamically, the result is compatible with unitary quantum mechanics in the circuit model but could not be achieved classi…
Recently, the possible existence of quantum processes with indefinite causal order has been extensively discussed, in particular using the formalism of process matrices. Here we give a new perspective on this question, by establishing a direct connection to the theory of multi-time quantum states. Specifically, we show that process matrices are equivalent to a particular class of pre- and post- selected quantum states. This offers a new conceptual point of view to the nature of process matrices. Our results also provide an explicit recipe to experimentally implement any process matrix in a pro…
Reconstructions of quantum theory usually implicitly assume that experimental events are ordered within a global causal structure. The process matrix framework accommodates quantum correlations that violate an inequality verified by all causally ordered correlations. Using a generalized probabilistic framework, we propose three principles constraining bipartite correlations to the quantum bound. Our approach highlights the role of a measure of dependence other than mutual information for an information-theoretic reconstruction of causal structures in quantum theory.
The communication power of indefinite causal order
QICI Quantum Information and Computation Initiative, School of Computing and Data Science, The University of Hong Kong（香港大学计算与数据科学学院量子信息与计算倡议）；Université Grenoble Alpes, CNRS, Grenoble INP, Institut Néel（格勒诺布尔阿尔卑斯大学）；Quantum Group, Department of Computer Science, University of Oxford（牛津大学计算机科学系量子研究组）；Perimeter Institute for Theoretical Physics（理论物理前沿研究所）
We provide an analysis of indefinite causal orders in relativistic quantum mechanics based on the electron-positron picture of Feynman involving negative energy electrons moving backward in time. We show that genuine implementations of the paradigmatic quantum switch, but here violating some causal inequalities and with a fixed temporal order, become possible in extreme external electromagnetic field conditions allowing the presence of closed time-like curves.
In quantum mechanics events can happen in no definite causal order: in practice this can be verified by measuring a causal witness, in the same way that an entanglement witness verifies entanglement. Indefinite causal order can be observed in a quantum switch, where two operations act in a quantum superposition of the two possible orders. Here we realise a photonic quantum switch, where polarisation coherently controls the order of two operations, $\hat{A}$ and $\hat{B}$, on the transverse spatial mode of the photons. Our setup avoids the limitations of earlier implementations: the operations …
Indefinite causal order with output-signalling instruments
Universidade Federal do Rio Grande do Norte（北里奥格兰德联邦大学）；International Institute of Physics, Federal University of Rio Grande do Norte（北里奥格兰德联邦大学国际物理研究所）；Technische Universität Wien（维也纳工业大学）；Università degli Studi di Pavia（帕维亚大学）
In all existing quantum walk models, the assumption about a pre-existing fixed background causal structure is always made and has been taken for granted. Nevertheless, in this work we will get rid of this tacit assumption especially by introducing indefinite causal order ways of coin tossing and investigate this modern scenario. We find that an ideal-shape and fast-spreading uniform distribution can be prepared with our new model. First we will show how an always-symmetrical instantaneous distribution appears in an indefinite causal order quantum walk, which then paves the way for deriving con…
The information bleaching refers to any physical process that removes quantum information from the initial state of the physical system. The no-hiding theorem proves that if information is lost from the initial system, then it cannot remain in the bipartite quantum correlation and must be found in the remainder of the Hilbert space. We show that when hiding map acts on the input state in the presence of indefinite causal order, then it is possible to hide quantum information in the correlation. One may ask, does it then violate the no-hiding theorem? We analyse this question and argue that in …
A quantum-controlled device may produce a scenario in which two general quantum operations can be performed in such a way that it is not possible to associate a definite order for the operations application. Such an indefinite causal order can be explored to produce nontrivial effects in quantum thermal devices. We investigate a measurement-powered thermal device that consists of generalized measurement channels with adjustable intensity parameters, where energy is exchanged with the apparatus in the form of work or heat. The measurement-based device can operate as a heat engine, a thermal acc…
Recent frameworks describing quantum mechanics in the absence of a global causal order admit the existence of causally indefinite processes, where it is impossible to ascribe causal order for events A and B. These frameworks even allow for processes that violate the so-called causal inequalities, which are analogous to Bell's inequalities. However, the physicality of these exotic processes is, in the general case, still under debate, bringing into question their foundational relevance. While it is known that causally indefinite processes can be probabilistically realised by means of a quantum …
Treating the time of an event as a quantum variable, we derive a scheme in which superpositions in time are used to perform operations in an indefinite causal order. We use some aspects of a recently developed space-time-symmetric formalism of events. We propose a specific implementation of the scheme and recover the Quantum SWITCH, where quantum operations are performed in an order which is entangled with the state of a control qubit. Our scheme does not rely on any exotic quantum gravitational effect, but instead on phenomena which are naturally fuzzy in time, such as the decay of an excited…
Charging efficiency bursts in a quantum battery with cyclic indefinite causal order
National Cheng Kung University（国立成功大学）；Center for Quantum Frontiers of Research and Technology, NCKU（国立成功大学量子前沿科技研究中心）；University of Rochester（罗切斯特大学）；National Center for Theoretical Sciences（国家理论科学中心）
We address the study of quantum metrology enhanced by indefinite causal order, demonstrating a quadratic advantage in the estimation of the product of two average displacements in a continuous variable system. We prove that no setup where the displacements are probed in a fixed order can have root-mean-square error vanishing faster than the Heisenberg limit 1/N, where N is the number of displacements contributing to the average. In stark contrast, we show that a setup that probes the displacements in a superposition of two alternative orders yields a root-mean-square error vanishing with super…
Investigating the role of causal order in quantum mechanics has recently revealed that the causal distribution of events may not be a-priori well-defined in quantum theory. While this has triggered a growing interest on the theoretical side, creating processes without a causal order is an experimental task. Here we report the first decisive demonstration of a process with an indefinite causal order. To do this, we quantify how incompatible our set-up is with a definite causal order by measuring a 'causal witness'. This mathematical object incorporates a series of measurements which are designe…
We present an instance of a task of minimum-error discrimination of two qubit-qubit quantum channels for which a sequential strategy outperforms any parallel strategy. We then establish two new classes of strategies for channel discrimination that involve indefinite causal order and show that there exists a strict hierarchy among the performance of all four strategies. Our proof technique employs a general method of computer-assisted proofs. We also provide a systematic method for finding pairs of channels that showcase this phenomenon, demonstrating that the hierarchy between the strategies i…
Operations performing on quantum batteries are extended to scenarios where we no longer force the existence of definite causal order of occurrence between distinct processes. In contrast to standard theories, the so called indefinite causal order is found to have the capability of accomplishing tasks that are not possible without it. Specifically, we show how this novel class of resource comes into play in quantum batteries by first, combining two static unitary chargers into a coherently superposed one to fully charge an empty battery even if in the presence of battery's local Hamiltonian. Th…
Spatial separation restricts the set of locally implementable quantum operations on distributed multipartite quantum systems. We propose that indefinite causal structure arising due to quantum superposition of different space-time geometries can be used as an independent universal resource for local implementation of any quantum operation on spatially distributed quantum systems. Consequently, all such quantum tasks that are not accomplishable by local operations and classical communication (LOCC) only also become locally accomplishable. We show that exploiting indefinite causal structure as t…
Quantum coherence is a prime resource in quantum computing and quantum communication. Quantum coherence of an arbitrary qubit state can be created at a remote location using maximally entangled state, local operation and classical communication. However, if there is a noisy channel acting on one side of the shared resource, then, it is not possible to create perfect quantum coherence remotely. Here, we present a method for the creation of quantum coherence at a remote location via the use of entangled state and indefinite causal order. We show this specifically for the superposition of two com…
Unambiguous arbitrary high-dimensional Bell states analyzer via indefinite causal order
School of Mathematics and Physics, University of Science and Technology Beijing（北京科技大学数学与物理学院）；Department of Mathematics and Physics, Shijiazhuang Tiedao University（石家庄铁道大学数学与物理系）
In quantum Shannon theory, transmission of information is enhanced by quantum features. Up to very recently, the trajectories of transmission remained fully classical. Recently, a new paradigm was proposed by playing quantum tricks on two completely depolarizing quantum channels i.e. using coherent control in space or time of the two quantum channels. We extend here this control to the transmission of information through a network of an arbitrary number $N$ of channels with arbitrary individual capacity i.e. information preservation characteristics in the case of indefinite causal order. We pr…
A switched quantum channel with indefinite causal order is studied for the fundamental metrological task of phase estimation on a qubit unitary operator affected by quantum thermal noise. Specific capabilities are reported in the switched channel with indefinite order, not accessible with conventional estimation approaches with definite order. Phase estimation can be performed by measuring the control qubit alone, although it does not actively interact with the unitary process -- only the probe qubit doing so. Also, phase estimation becomes possible with a fully depolarized input probe or with…
