Abstract:Born in the intersection between quantum mechanics and general relativity, indefinite causal structure is the idea that in the continuum of time, some sets of events do not have an inherent causal order between them. Process matrices, introduced by Oreshkov, Costa and Brukner (Nature Communications, 2012), define quantum information processing with indefinite causal structure -- a generalization of the operations allowed in standard quantum information processing, and to date, are the most studied such generalization. Araujo et al. (Physical Review A, 2017) defined the computational complexity of process matrices, and showed that polynomial-time process matrix computation is equivalent to standard polynomial-time quantum computation with access to a weakening of post-selection Closed Timelike Curves (CTCs), that are restricted to be $\textit{linear}$. Araujo et al. accordingly defined the complexity class for efficient process matrix computation as $\mathbf{BQP}_{\ell CTC}$ (which trivially contains $\mathbf{BQP}$), and posed the open question of whether $\mathbf{BQP}_{\ell CTC}$ contains computational tasks that are outside $\mathbf{BQP}$. In this work we solve this open question under a widely believed hardness assumption, by showing that $\mathbf{NP} \subseteq \mathbf{BQP}_{\ell CTC}$. Our solution is captured by an even more restricted subset of process matrices that are purifiable (Araujo et al., Quantum, 2017), which (1) is conjectured more likely to be physical than arbitrary process matrices, and (2) is equivalent to polynomial-time quantum computation with access to $\textit{unitary}$ (which are in particular linear) post-selection CTCs. Conceptually, our work shows that the previously held belief, that non-linearity is what enables CTCs to solve $\mathbf{NP}$, is false, and raises the importance of understanding whether purifiable process matrices are physical or not.

Computability Theory of Closed Timelike Curves

Experimental Simulation of Closed Timelike Curves

Closed timelike curves via post-selection: theory and experimental demonstration

Quantum Computing with Time-travelling Quantum Gates

Quantum state tomography on closed timelike curves using weak measurements

Treating Time Travel Quantum Mechanically

Perfect state distinguishability and computational speedups with postselected closed timelike curves

Unitary Closed Timelike Curves can Solve all of NP

Closed timelike curves and causality violation

Replicating the Benefits of Deutschian Closed Timelike Curves Without Breaking Causality

Quantum avoidance of Gödel's closed timelike curves

On unorthodox qubits, with an application to the closed timelike curve problem

Reversible dynamics with closed time-like curves and freedom of choice

Toward a Universal Quantum Computer

Complex Geometry, Quantum Tunneling, and Time Machines.

A Relative Church-Turing-Deutsch Thesis from Special Relativity and Undecidability

Computational quantum-classical boundary of noisy commuting quantum circuits

Universal Quantum Computation with Gapped Boundaries

The Ginsburg--Sands theorem and computability theory

Quantum Computing Without Wavefunctions: Time-Dependent Density Functional Theory for Universal Quantum Computation

Topological Quantum Gates in Homotopy Type Theory