## Abstract

In general relativity, closed timelike curves can break causality with remarkable and unsettling consequences. At the classical level, they induce causal paradoxes disturbing enough to motivate conjectures that explicitly prevent their existence. At the quantum level such problems can be resolved through the Deutschian formalism, however this induces radical benefits—from cloning unknown quantum states to solving problems intractable to quantum computers. Instinctively, one expects these benefits to vanish if causality is respected. Here we show that in harnessing entanglement, we can efficiently solve NP-complete problems and clone arbitrary quantum states—even when all time-travelling systems are completely isolated from the past. Thus, the many defining benefits of Deutschian closed timelike curves can still be harnessed, even when causality is preserved. Our results unveil a subtle interplay between entanglement and general relativity, and significantly improve the potential of probing the radical effects that may exist at the interface between relativity and quantum theory.

## Introduction

Causality aligns with our natural sense of reality. We expect there to be a natural chronology to our reality—two events should not be simultaneous causes for each other. The breaking of causality defies classical logic, resulting in causal paradoxes with no simple solution—the iconic example being the case where a man travels back in time to kill his own grandfather. Thus, physical predictions that break causality face intense scrutiny—often considered to be theoretical artifacts that are likely suppressed once we gain a more complete understanding of reality—motivating various chronology protection conjectures.^{1}

Nevertheless, causality breaking theories are consistent with current scientific knowledge. Closed timelike curves (CTCs) are valid solutions of Einstein’s equations in general relativity.^{2,3,4} Meanwhile, Deutsch put forward a model of CTCs, such that in the quantum regime, the resulting causal paradoxes always have self-consistent solutions.^{5} This resolution, however, has radical operational consequences. Many foundational constraints of quantum theory break. Non-orthogonal quantum states can be perfectly distinguished, the uncertainty principle can be violated, and arbitrary unknown quantum states can be cloned to any fixed fidelity.^{6,7,8} In harnessing these effects, many problems thought to be intractable for standard quantum computers now field efficient solutions.^{9,10,11,12} Though radical, these effects seem somewhat rationalized in the context of requiring broken causality—the sentiment being that they are curiosities that will vanish once causality is imposed.

What happens, however, if causality is not strictly broken? In this context, Pienaar *et al.* considered a special case of Deutschian CTCs known as open timelike curves^{13} (OTCs). Consider a particle that travels back in time with respect to a chronology-respecting observer, but is completely isolated from anything that can affect its own causal past during the time-traveling process (See Figure 1). While the time-traveling particle has the potential to break causality, its complete isolation ensures that causality never actually breaks. Nevertheless, such OTCs can violate uncertainty principles between position and momentum. This opens a remarkable possibility—could the many other radical effects of CTCs stand independent from the breaking of causality?

Here, we demonstrate that OTCs are remarkably powerful, and can replicate many defining operational benefits of Deutschian CTCs. In sending a particle back in time—even when it interacts with nothing in its causal past—we can clone arbitrary quantum states to any fixed accuracy, and thus violate any uncertainty principle. Meanwhile, they also grant quantum processors additional computational power, allowing efficient solution of NP-complete problems. Our results hint that the remarkable power of Deutschian CTCs may survive the censorship of chronology protection. This drastically improves the potential of harnessing such power via alternative effects—such as certain models of gravitational time dilation.^{13} Thus, we open the possibility of testing the many radical protocols that harness CTCs in significantly less controversial settings.

## Results

## Framework

In general relativity, causality can be violated due to the presence of spacetime wormholes that facilitate closed timelike curves (See Figure 1). This can lead to physical processes where a system *A*, starting out in a state *ρ*^{(in)}, interacts with a second system $A\prime $ in state *ρ*_{CTC} via a unitary *U*. System *A* then enters the wormhole and becomes system $A\prime $. The Deutschian model, resolves potential paradoxes by enforcing temporal self-consistency conditions.^{5,14}
$$\begin{array}{}\text{(1)}& {\rho}_{\mathrm{CTC}}={\mathrm{Tr}}_{\ne A}\left[U({\rho}^{(\text{in})}\otimes {\rho}_{\mathrm{CTC}}){U}^{\u2020}\right],\end{array}$$
where Tr_{≠A} represents tracing over everything apart from system *A*. Given a solution for *ρ*_{CTC}, the final output of the process is given by
$$\begin{array}{}\text{(2)}& {\rho}^{(\text{out})}={\mathrm{Tr}}_{A}\left[U({\rho}^{(\text{in})}\otimes {\rho}_{\mathrm{CTC}}){U}^{\u2020}\right].\end{array}$$

The many radical effects of CTCs rely on using specific self-interactions *U* to break causality in different ways.^{6,7,9,10,11}

Note that since the effects of CTCs are non-linear, many conventional assumptions of linear quantum mechanics break. One consequence is that different unravellings of a density operator give different predictions, and therefore must be treated very carefully. While the above analysis does not assume *ρ*^{(in)} is pure, these conditions *only* apply to mixed inputs if *ρ*^{(in)} represents one partition of a larger composite system that is pure. In cases where the input state is deterministically prepared in a pure state, shot-by-shot, but the particular state may change shot-by-shot, there remains some ambiguity. The conventional view is taken by Bacon,^{10} Brun *et al.*^{6} and Pienaar *et al.*^{13}—that sub-ensembles of identical input states should be treated as pure. Others argue that if this sequence is truly random, then the randomness must always be treated as if it arose from the purification of an entangled quantum state.^{15} The former view, which we adopt here, is supported by studies of CTCs in the context of information flow.^{14} Also note that if the sequence of input states were chosen via a pseudo random number generator, then both perspectives agree.

In OTCs, causality is preserved. The unitary *U* is the identity—such that the time-travelling system does not interact with its causal past. Any observer in the frame of reference of the time travelling system can assign a valid chronology to all the events they witness. Meanwhile, to any outside observer, all events involving interactions with the time travelling system will occur in causal sequence. From an operational standpoint, there is no breaking of causality. If all information were classical, this entire procedure would only have the effect of desynchronizing a time traveller’s clock with that of an observer.

To observe non-trivial effects we must introduce an ancilla. Suppose we have access to a bipartite system *AB* in state *ρ*_{
AB}, where only one bipartition is sent through the OTC (see Figure 2). The self-consistency relations requires ${\rho}_{CTC}={\mathrm{Tr}}_{\ne A}[{\rho}_{AB}^{(\text{in})}\otimes {\rho}_{CTC}]={\rho}_{A}$, and as a consequence
$$\begin{array}{}\text{(3)}& {\rho}^{(\text{out})}={\mathrm{Tr}}_{\ne A}\left[{\rho}_{AB}^{(\text{in})}\right]\otimes {\mathrm{Tr}}_{A}\left[{\rho}_{AB}^{(\text{in})}\right]={\rho}_{A}\otimes {\rho}_{B}\end{array}$$
Thus, the OTC acts as a *universal decorrelator* on *A*—in sending a system *A* though an OTC, we erase all quantum correlations between *A* and the rest of the universe (and in particular, *B*). The resulting state, *ρ*_{
A}⊗*ρ*_{
B} fields identical local statistics with respect to the input *ρ*_{
AB}, but none of its bipartite correlations. While this operation appears similar to trivial decoherence, it is non-linear, and shown to be impossible to synthesize with standard quantum dynamics.^{16} This decoherence ensures that the Deutschian formalism remains consistent with special relativity. If quantum correlations between *A* and *B* were preserved, the capacity for OTCs to clone quantum states (as we show in following sections) would allow for superluminal signalling via Herbert’s protocol.^{17}

One way to understand this effect is through the monogamy of entanglement^{14}—a particle and its past self cannot be simultaneously entangled with the same external ancilla. While OTCs produce nontrivial dynamics when the input appears completely classical (e.g., when ${\rho}_{AB}^{(\text{in})}=(\phantom{\rule{.1em}{0ex}}|00\u3009\phantom{\rule{.1em}{0ex}}\u300800|+|11\u3009\phantom{\rule{.1em}{0ex}}\u300811|\phantom{\rule{.1em}{0ex}}\mathrm{)/2}$), this only occurs if this mixedness as being intrinsic—i.e., it arises from entanglement with some other system. If the input is deterministically prepared in either state $|00\u3009\phantom{\rule{.1em}{0ex}}$ or $\phantom{\rule{.1em}{0ex}}|11\u3009\phantom{\rule{.1em}{0ex}}$ according to some classical sequence, then the OTC will have no effect (for other viewpoints, see Bennett *et al.*^{15}).

## OTC enhanced measurement

We first introduce *OTC enhanced measurement*, a procedure that harnesses OTCs to measure an arbitrary observable $\stackrel{\u02c6}{O}$ to any fixed precision. Specifically, given an unknown qudit (*d* dimensional quantum system) in state *ρ*, we can determine $\u3008\stackrel{\u02c6}{O}\u3009=\mathrm{Tr}\left[\stackrel{\u02c6}{O}\rho \right]$ to any desired accuracy *δ*>0 with negligible failure probability. This protocol functions as a building block for more sophisticated applications of OTCs, such as the efficient solution of NP-complete problems and cloning of unknown quantum states.

The protocol is illustrated in Figure 3. Let $|\phantom{\rule{.2em}{0ex}}j\u3009:j\mathrm{=0,1,}\dots ,d-1$ denote a basis that diagonalizes $\stackrel{\u02c6}{O}$. On this basis, we introduce the two qudit controlled addition operator, ${C}_{+}\phantom{\rule{.1em}{0ex}}|i\u3009|\phantom{\rule{.2em}{0ex}}j\u3009=|i\u3009|j+i\u3009\phantom{\rule{.1em}{0ex}}$, where addition is done modulo *d*. We then

Prepare

*N*identical ancillary states in an eigenstates of $\stackrel{\u02c6}{O}$, say $|0\u3009\phantom{\rule{.1em}{0ex}}$.2. Apply the

*C*_{+}operations*N*times, each controlled on*ρ*and targeting a fresh ancilla state. This correlates*ρ*with each of the*N*ancillaries.Pass each of the ancillaries through an OTC to destroy all correlations in this

*N*+1-partite system.

This results in *N*+1 uncorrelated qudits, each in state ${\rho}_{\mathrm{diag}}={\sum}_{i\mathrm{=1}}^{d}{\rho}_{ii}\phantom{\rule{.1em}{0ex}}|i\u3009\phantom{\rule{.1em}{0ex}}\u3008i|\phantom{\rule{.1em}{0ex}}$, where *ρ*_{
ii} are the diagonal elements of *ρ* in the $\stackrel{\u02c6}{O}$ basis. Thus, each qudit exhibits identical statistics to *ρ* when measured in the $\stackrel{\u02c6}{O}$ basis. In taking the mean of these measurements, we obtain an estimate for $\u3008\stackrel{\u02c6}{O}\u3009$. By the central limit theorem, the error of our estimate scales linearly with $\mathrm{1/}\sqrt{N}$. In particular, provided the eigenvalues of $\stackrel{\u02c6}{O}$ are bounded, Hoeffding’s bound implies we can estimate $\stackrel{\u02c6}{O}$ to any desired accuracy *δ* and error rate *ϵ* using *O*[1/*δ*^{2}log(1/*ϵ*)] OTCs (see methods for details).

We note this technique shares similarities with the proposal of Brun *et al.* to use closed timelike curves to perform the same task.^{7} Both protocols operate by harnessing spacetime wormholes to create many ‘clones’ of *ρ* with respect to the eigenbasis of $\stackrel{\u02c6}{O}$—each of which is measured to give a statistically independent estimate of $\u3008\stackrel{\u02c6}{O}\u3009$. The key difference is that in Brun *et al.*, each of these clones were trapped within a closed timelike curve, and reading out information from them required direct interaction with each clone. Our proposal shows that the use of CTCs is not compulsory. A comparison between the two methods indicate the use of OTCs incurs no overhead in the number of times a spacetime wormhole is used (see methods). Hence OTCs—at least for this purpose—are as powerful as CTCs.

## Solving NP-complete problems

We take inspiration from Bacon,^{10} who devised an efficient algorithm to solve the boolean satisfaction problem—a known NP-complete problem—using CTCs. We modify this algorithm to preserve causality—without losing efficiency. In the causality breaking algorithm, the key role of CTCs is to implement the non-linear map *S* that maps an input qubit in state *ρ*(*n*_{
z}) to an output state $\rho ({n}_{z}^{2})$, where $\rho ({n}_{z})=\frac{1}{2}\left(I+{n}_{z}{\sigma}_{z}\right)$ and ${\sigma}_{z}=\phantom{\rule{.1em}{0ex}}|0\u3009\phantom{\rule{.1em}{0ex}}\u30080|\phantom{\rule{.1em}{0ex}}-\phantom{\rule{.1em}{0ex}}|1\u3009\phantom{\rule{.1em}{0ex}}\u30081|\phantom{\rule{.1em}{0ex}}$ denotes the Pauli *Z* matrix (see methods for details).

This non-linear map can be replicated without breaking causality (see Figure 4). Consider a special case of OTC enhanced measurement, with *σ*_{
z} as the observable of interest and a single ancilla. For the input qubit *ρ* with matrix elements *ρ*_{
ij}, application of the enhanced measurement protocol outputs two uncorrelated qubits, each in state ${\rho}_{\mathrm{diag}}={\rho}_{00}\phantom{\rule{.1em}{0ex}}|0\u3009\phantom{\rule{.1em}{0ex}}\u30080|+{\rho}_{11}\phantom{\rule{.1em}{0ex}}|1\u3009\phantom{\rule{.1em}{0ex}}\u30081|\phantom{\rule{.1em}{0ex}}$. Instead of measuring each in *σ*_{
z} directly, we apply a further *C*_{+} gate controlled on the ancilla. After discarding the ancilla, the input qubit is now transformed to *S*(*ρ*) as required.

In generating *S*(*ρ*) using only OTCs, we can translate Bacon’s algorithm into one that does not break causality. We note that as each call of *S*(*ρ*) only takes one OTC, the translation from CTCs to OTCs incurs no overhead on the number of times a particle needs to be sent through a spacetime wormhole. Thus, for the purpose of solving NP-complete problems, an OTC, together with one bit of entanglement, is at least as powerful as a CTC.

## Cloning with OTCs

Given an unknown input *ρ*, OTCs allow us to generate an unlimited number of clones to arbitrary fidelity. Our approach harnesses OTC enhanced measurements as a subroutine, which allows us to accurately determine Tr[*M*_{
i}*ρ*], for any observable *M*_{i}. First, observe that this remains possible even if we are supplied with
$$\begin{array}{}\text{(4)}& \rho \prime =s\rho +\frac{1-s}{d}I,\end{array}$$
a very noisy version of *ρ*. Here *I* is the *d*-dimensional identity matrix, and *s* is some fixed parameter such that 0<*s*<1.

This observation, together with an imperfect quantum cloner, forms the basis of our OTC enhanced cloning protocol (Figure 5). In conventional quantum theory, a unknown quantum state *ρ* can be cloned if we are given sufficiently many copies to perform accurate tomography.^{18} One way to do this, is to use a set of *O*(*d*^{2}) informationally-complete measurements {*M*_{i}}, whose expectation values Tr[*M*_{i}*ρ*] have a one-to-one correspondence with the classical matrix description of *ρ*. If there is only a single copy of *ρ*, this option is no longer available. Recently, Brun *et al.* demonstrated that closed timelike curves circumvent this restriction, and allow the estimation of each $\u3008{M}_{i}\u3009$ to any desired accuracy.^{7}

OTC enhancement measurements can replicate this effect while preserving causality. We use standard methods to construct *O*(*d*^{2}) imperfect clones in the form of equation (4), where *s* scales as 1/*d* for an optimal cloner.^{19} Each clone is passed through an OTC to remove all entanglement between clones. An OTC enhanced measurement is then performed on each clone with respect to a different *M*_{i}. The outcomes of these measurements determine the density matrix of *ρ*. In methods, we show that by using $O({d}^{4}/{\delta}_{c}^{2}\mathrm{log}\mathrm{1/}{\mathit{\epsilon}}_{c})$ OTCs, we can ensure that each $\u3008{M}_{i}\u3009$ is obtained to an accuracy of *δ*_{c} with failure probability *ϵ*_{c}.

## A simple example

We illustrate these ideas by cloning a qubit. Here, the Pauli operators *σ*_{k}, *k*=*x*, *y*, *z* form an informationally-complete set—any *ρ* is uniquely defined by the expectation values *n*_{k}=Tr[*σ*_{k}*ρ*]. To determine *n*_{x}, *n*_{y} and *n*_{z}, we first apply a universal 1-to-3 quantum cloner^{20} to obtain three imperfect clones of *ρ*, each in state $\rho \prime =(I+s\overrightarrow{n}\cdot \overrightarrow{\sigma}\mathrm{)/2}$ with *s*=5/9. All quantum correlations between these three imperfect clones may be erased by applying OTCs.

An OTC enhanced measurement of *σ*_{z} is then performed on one such imperfect clone. To do this, we first initialize *N* fresh ancilla qubits in state $\phantom{\rule{.1em}{0ex}}|0\u3009\phantom{\rule{.1em}{0ex}}$, and apply a CNOT gate between each ancilla and the imperfect clone (with the clone as the control qubit). In erasing the resulting correlations by sending each ancilla through an OTC, we obtain *N*+1 qubits, each in the state (*I*+*sn*_{z}*σ*_{z})/2. Provided *N* is sufficiently large, measurement of these qubits allows *n*_{z} to be determined to any desired accuracy with negligible error. Repetition of this process with *σ*_{x} and *σ*_{y} on the two remaining imperfect clones then yields complete information about *ρ*.

## Discussion

Here, we demonstrated that the many defining operational benefits of Deutschian closed timelike curves can be retained—without sacrificing causality. Our approach was to consider open timelike curves, where physical systems may travel back in time, but do not interact with themselves, or any other system in their past light-cone. In harnessing these open timelike curves, we developed methods to efficiently solve NP-complete problems, and clone unknown quantum states to arbitrary fidelity. Other radical effects commonly attributed to CTCs come as natural consequences, such as distinguishing non-orthogonal states,^{6} the capacity to communicate more than a bit of information in a single qubit and the breaking of non-entanglement based cryptographic schemes.^{8}

More generally, our results imply that any non-linear quantum map that makes use of CTCs can also be synthesized using only open timelike curves. This follows from the reasoning of Brun *et al.*,^{6} which argued that if any two quantum states can be distinguished, then one can effectively implement any map between two quantum states. Related to this is the question of whether OTC enhanced computation has equal computational power to their CTC counterparts. Indeed, while we have shown OTCs can solve NP-complete problems, it remains an open question whether they can mimic CTCs capacity to efficiently solve problems in PSPACE.^{11}

The preservation of causality can also significantly increase the likelihood for us to test theories of quantum gravity motivated by the Deutschian formalism. For instance, from the perspective of a chronology-respecting observer, a particle sent through an OTC exhibits nothing more than time delay. Thus, in order to reconcile quantum field theory with non-hyperbolic spacetimes, gravitational time-dilation has been conjectured to share similar operational effects as OTCs.^{21} If true, this suggests that some operational consequences of Deutschian CTCs may be observable without the need for spacetime wormholes, and the exotic benefits of quantum processing in the general relativistic regime may be tested much sooner than previously expected.

Beyond the Deutschian framework, the present results also impact our understanding of general non-linear quantum theory. All protocols discussed require only a single non-linear operator—the universal decorrelator that erases the correlations between two quantum systems while leaving local statistics of each unchanged. Provided a non-linear quantum theory can realize this operation, all of our results and the corresponding consequences apply. For example, it immediately follows that such a theory can also clone unknown quantum states—and thus behaves more like a classical probability theory where different density operators correspond to different points in the state space, and every point is perfectly distinguishable.^{6} There already exist models of gravitational decoherence that satisfy these conditions,^{21} and it would be exciting to see if this is true for other attempts to reconcile quantum theory with time travel,^{22,23,24} or more general non-linear candidate theories of quantum gravity.^{25,26}

## Methods

## Scaling analysis

Execution of the OTC-enhanced measurement with *N* ancillaries (and therefore *N* uses of the OTC) to estimate $\u3008\stackrel{\u02c6}{O}\u3009$ gives an output ${O}_{\mathrm{est}}={\sum}_{k}{O}_{k}/(N+\mathrm{1)}$. We define the measurement as being successful if the estimate achieves a desired accuracy of *δ* (i.e., $|{O}_{\mathrm{est}}-\stackrel{\u02c6}{O}|<\delta $). Application of Hoeffding’s inequality^{27} gives failure probability *p*_{f} that obeys
$$\begin{array}{}\text{(5)}& {p}_{f}\le 2\mathrm{exp}\left[\frac{-\mathrm{2(}N+\mathrm{1)}{\delta}^{2}}{{({O}_{\mathrm{max}}-{O}_{\mathrm{min}})}^{2}}\right].\end{array}$$
Here *O*_{max} and *O*_{min} are the respective maximum and minimum eigenvalues of $\stackrel{\u02c6}{O}$. Therefore,
$$\begin{array}{}\text{(6)}& N>\frac{{({O}_{\mathrm{max}}-{O}_{\mathrm{min}})}^{2}}{2{\delta}^{2}}\mathrm{log}\frac{2}{\mathit{\epsilon}},\end{array}$$
OTC applications ensures a failure probability of no more than *ϵ*. Provided $\stackrel{\u02c6}{O}$ is bounded, this scales as *O*[1/*δ*^{2}log(1/*ϵ*)].

Brun *et al.*^{7} previously showed that one can also estimate $\u3008\stackrel{\u02c6}{O}\u3009$ to arbitrary accuracy with CTCs. In his protocol, one also creates *N*+1 copies of *ρ*_{diag} with *N* uses of the CTC system. Comparing between these two protocols, we note that the classical information retrieved from measurements are statistically identical to our protocol. Thus, to achieve the same level of accuracy, the numbers of spacetime wormholes required by the two protocols coincide.

In OTC assisted cloning, we need to make *d*^{2} informationally complete measurements, each to a desired accuracy *δ*>0 with negligible failure probability *ϵ*>0. Recall this is achieved via a 1→*d*^{2} universal cloner, whose imperfect copies are to be decorrelated via the use of OTCs (Figure 5). For each of the *d*^{2} copies, we apply an OTC enhanced measurement. To ensure this measurement is within accuracy *δ*, an extra *O*(*d*^{2}) overhead is required to compensate for the noise within the imperfect copies. The total number of OTCs required is then of order
$$\begin{array}{}\text{(7)}& N>O\left[{d}^{4}\left(\frac{1}{2{\delta}^{2}}\mathrm{log}\frac{2}{\mathit{\epsilon}}\right)\right],\end{array}$$
where *O*_{max}–*O*_{min}=1 for members of the informationally complete basis.

## Solving NP-complete problems

Here we outline explicitly how a non-linear map that takes *ρ*(*n*_{z}) to $\rho \left({n}_{z}^{2}\right)$ allows the efficient solution of NP-complete problems. Specifically we study the satisfaction problem: Given a Boolean function *f*: {0, 1}^{n}→{0, 1}, specified in conjunctive normal form, does there exist a satisfying assignment (∃*b*|*f*(*b*)=1)*?* This problem is known to be NP-complete.

Bacon^{10} showed that this problem can be efficiently solved if when given an input qubit $\rho =(I+\overrightarrow{n}\cdot \overrightarrow{\sigma}\mathrm{)/2}$, we can synthesize a quantum gate *S* such that $S(\rho )=\frac{1}{2}\left(I+{n}_{z}^{2}{\sigma}_{z}\right)$. Here $\overrightarrow{n}$ denotes the Bloch sphere vector, and $\overrightarrow{\sigma}$ is a three-component vector of Pauli matrices. In Figure 4 we demonstrated how this gate can be synthesized using OTCs. With this established, the satisfaction problem is efficiently solved as follows:

Prepare

*n*ancillary qubits in the state $\mathrm{1/}\sqrt{{2}^{n}}{\sum}_{i\mathrm{=0}}^{{2}^{n}-1}\phantom{\rule{.1em}{0ex}}|i\u3009\phantom{\rule{.1em}{0ex}}$ and a target qubit in state $\phantom{\rule{.1em}{0ex}}|0\u3009\phantom{\rule{.1em}{0ex}}$.Apply the unitary $$\begin{array}{}\text{(8)}& {U}_{f}=\sum _{i\mathrm{=0}}^{{2}^{n}-1}\phantom{\rule{.1em}{0ex}}|i\u3009\phantom{\rule{.1em}{0ex}}\u3008i|\phantom{\rule{.1em}{0ex}}\otimes {\sigma}_{x}^{f(i)},\end{array}$$ on this system (with the last qubit representing the target). Tracing out the ancillary qubits leaves the target in $$\begin{array}{}\text{(9)}& \rho =\frac{1}{2}\left[1+\left(1-\frac{s}{{2}^{n-1}}\right){\sigma}_{z}\right],\end{array}$$ where

*s*is the number of*x*satisfying*f*(*x*)=1.Apply

*S*to the target via the use of OTCs (Figure 4). Repeat this step*p*times to get $$\begin{array}{}\text{(10)}& {\rho}_{p}=\frac{1}{2}\left[1+{\left(1-\frac{s}{{2}^{n-1}}\right)}^{{2}^{p}}{\sigma}_{z}\right],\end{array}$$

Notice that, we could easily check the case of *s*=2^{n}. Thus we only need to distinguish between *s*=0 and 0<*s*<2^{n}. With the limit of *p*→∞, the two output states corresponding to the cases of *s*=0 and 0<*s*<2^{n} are ${\rho}_{p}=\phantom{\rule{.1em}{0ex}}|0\u3009\phantom{\rule{.1em}{0ex}}\u30080|\phantom{\rule{.1em}{0ex}}$ and *ρ*_{p}→*I*/2, respectively. By performing measurement in the *σ*_{z} basis, one can distinguish the two types of output states $|0\u3009\phantom{\rule{.1em}{0ex}}\u30080|\phantom{\rule{.1em}{0ex}}$ and *I*/2, that is, the case of *s*=0 and 0<*s*<2^{n}, with failure probability being 1/2. By repeating these steps more times, say, *q*, the failing probability exponentially decays. For finite *p* and *q* that are polynomial in *n*, the probability of failure is given by^{10}
$$\begin{array}{}\text{(11)}& {P}_{\mathrm{fail}}=\frac{1}{{2}^{q}}{\left[1+{\left(1-\frac{s}{{2}^{n-1}}\right)}^{{2}^{p}}\right]}^{q}.\end{array}$$

## References

- 1.
Hawking, S. W. Chronology protection conjecture.

*Phys. Rev. D.***46**, 603–611 (1992). - 2.
Gödel, K. An example of a new type of cosmological solutions of Einstein’s field equations of gravitation.

*Rev. Mod. Phys.***21**, 447–450 (1949). - 3.
Morris, M. S., Thorne, K. S. & Yurtsever, U. Wormholes, time machines, and the weak energy condition.

*Phys. Rev. Lett.***61**, 1446–1449 (1988). - 4.
Gott, J. R. Closed timelike curves produced by pairs of moving cosmic strings: exact solutions.

*Phys. Rev. Lett.***66**, 1126–1129 (1991). - 5.
Deutsch, D. Quantum mechanics near closed timelike lines.

*Phys. Rev. D.***44**, 3197 (1991). - 6.
Brun, T. A., Harrington, J. & Wilde, M. M. Localized closed timelike curves can perfectly distinguish quantum states.

*Phys. Rev. Lett.***102**, 210402 (2009). - 7.
Brun, T. A., Wilde, M. M. & Winter, A. Quantum state cloning using Deutschian closed timelike curves.

*Phys. Rev. Lett.***111**, 190401 (2013). - 8.
Ahn, D., Myers, C. R., Ralph, T. C. & Mann, R. B. Quantum-state cloning in the presence of a closed timelike curve.

*Phys. Rev. A.***88**, 022332 (2013). - 9.
Brun, T. A. Computers with closed timelike curves can solve hard problems efficiently.

*Found. Phys. Lett.***16**, 245–253 (2003). - 10.
Bacon, D. Quantum computational complexity in the presence of closed timelike curves.

*Phys. Rev. A***70**, 032309 (2004). - 11.
Aaronson, S. & Watrous, J. Closed timelike curves make quantum and classical computing equivalent.

*Proc. R. Soc. A***465**, 631–647 (2009). - 12.
Aaronson, S. Guest column: NP-complete problems and physical reality.

*ACM SIGACT News***36**, 30–52 (2005). - 13.
Pienaar, J. L., Ralph, T. C. & Myers, C. R. Open timelike curves violate Heisenberg uncertainty principle.

*Phys. Rev. Lett.***110**, 060501 (2013). - 14.
Ralph, T. & Myers, C. Information flow of quantum states interacting with closed timelike curves.

*Phys. Rev. A.***82**, 062330 (2010). - 15.
Bennett, C. H., Leung, D., Smith, G. & Smolin, A. J. Can closed timelike curves or nonlinear quantum mechanics improve quantum state discrimination or help solve hard problems?

*Phys. Rev. Lett.***103**, 170502 (2009). - 16.
Terno, D. R. Nonlinear operations in quantum-information theory.

*Phys. Rev. A.***59**, 3320–3324 (1999). - 17.
Herbert, N. FLASH—a superluminal communicator based upon a new kind of quantum measurement.

*Foundations of Physics.***12**, 1171–1179 (1982). - 18.
Thew, R. T., Nemoto, K., White, A. G. & Munro, W. J. Qudit quantum-state tomography.

*Phys. Rev. A.***66**, 012303 (2002). - 19.
Werner, R. F. Optimal cloning of pure states.

*Phys. Rev. A.***58**, 1827–1832 (1998). - 20.
Scarani, V., Iblisdir, S., Gisin, N. & Acín, A. Quantum cloning.

*Rev. Mod. Phys.***77**, 1225–1256 (2005). - 21.
Ralph, T. C., Milburn, G. J. & Downes, T. Quantum connectivity of space-time and gravitationally induced decorrelation of entanglement.

*Phys. Rev. A.***79**, 022121 (2009). - 22.
Lloyd, S.

*et al.*Closed timelike curves via postselection: theory and experimental test of consistency.*Phys. Rev. Lett.***106**, 040403 (2011). - 23.
Greenberger, D. M. & Svozil, K. Quantum theory looks at time travel.

*In Quo Vadis Quantum Mechanics?*(Springer Verlag, Heidelberg, Germany, 2005). - 24.
Allen, J. M. A. Treating time travel quantum mechanically.

*Phys. Rev. A.***90**, 042107 (2014). - 25.
Hawking, S. Quantum coherence and closed timelike curves.

*Phys. Rev. D.***52**, 5681 (1995). - 26.
Rosenberg, S. Testing causality violation on spacetimes with closed timelike curves.

*Phys. Rev. D.***57**, 3365 (1998). - 27.
Hoeffding, W. Probability inequalities for sums of bounded random variables.

*J. Am. Stat. Assoc.***58**, 13–30 (1963).

## Acknowledgements

We thank D. Terno and M. Wilde for helpful discussions. The research is supported by the National Basic Research Program of China Grant 2011CBA00300, 2011CBA00302, the National Natural Science Foundation of China Grant 11450110058, 61033001, 61361136003, the 1000 talents program of China, the National Research Foundation and Ministry of Education in Singapore, the Tier 3 MOE2012-T3-1-009 Grant ‘Random numbers from quantum processes’, and the Australian Research Council Centre of Excellence for Quantum Computation and Communication Technology Project number CE110001027 and the John Templeton Foundation grant 54914,‘Occam’s Quantum Mechanical Razor: Can Quantum theory admit the Simplest Understanding of Reality?’

## Author information

## Affiliations

### Center for Quantum Information, Institute for Interdisciplinary Information Sciences, Tsinghua University, Beijing, China

- Xiao Yuan
- & Mile Gu

### Centre for Quantum Computation and Communication Technology, Department of Quantum Science, The Australian National University, Canberra, ACT, Australia

- Syed M Assad
- , Jing Yan Haw
- & Ping Koy Lam

### Centre for Quantum Technologies, National University of Singapore, Singapore, Singapore

- Jayne Thompson
- , Vlatko Vedral
- & Mile Gu

### Clarendon Laboratories, Oxford University, UK

- Vlatko Vedral

### Centre for Quantum Computation and Communication Technology School of Mathematics and Physics, University of Queensland, St Lucia, Queensland, Australia

- Timothy C Ralph

### QKD Corp., Toronto, Canada

- Christian Weedbrook

## Authors

### Search for Xiao Yuan in:

### Search for Syed M Assad in:

### Search for Jayne Thompson in:

### Search for Jing Yan Haw in:

### Search for Vlatko Vedral in:

### Search for Timothy C Ralph in:

### Search for Ping Koy Lam in:

### Search for Christian Weedbrook in:

### Search for Mile Gu in:

## Competing interests

The authors declare no conflict of interest.

## Corresponding author

Correspondence to Mile Gu.

This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/