Reversing an unknown quantum evolution is of central importance to quantum information processing and fundamental physics, yet it remains a formidable challenge as conventional methods necessitate an infinite number of queries to fully characterize the quantum process. Here we introduce the Quantum Unitary Reversal Algorithm (QURA), a deterministic and exact approach to universally reverse arbitrary unknown unitary transformations using $\mathcal{O}(d^2)$ calls of the unitary, where $d$ is the system dimension. Our quantum algorithm resolves a fundamental problem of time-reversal simulations for closed quantum systems by confirming the feasibility of reversing any unitary evolution without knowing the exact process. The algorithm also provides the construction of a key oracle for unitary inversion in many quantum algorithm frameworks, such as quantum singular value transformation. It notably reveals a sharp boundary between the quantum and classical computing realms and unveils a quadratic quantum advantage in computational complexity for this foundational task.
Reversing an unknown quantum evolution is of central importance to quantum information processing and fundamental physics, yet it remains a formidable challenge as conventional methods necessitate an infinite number of queries to fully characterize the quantum process. Here we introduce the Quantum Unitary Reversal Algorithm (QURA), a deterministic and exact approach to universally reverse arbitrary unknown unitary transformations using O(d2) calls of the unitary, where d is the system dimension. Our quantum algorithm resolves a fundamental problem of time-reversal simulations for closed quantum systems by confirming the feasibility of reversing any unitary evolution without knowing the exact process. The algorithm also provides the construction of a key oracle for unitary inversion in many quantum algorithm frameworks, such as quantum singular value transformation. It notably reveals a sharp boundary between the quantum and classical computing realms and unveils a quadratic quantum advantage in computational complexity for this foundational task.
We report a deterministic and exact protocol to reverse any unknown qubit-unitary operation, which simulates the time inversion of a closed qubit system. To avoid known no-go results on universal deterministic exact unitary inversion, we consider the most general class of protocols transforming unknown unitary operations within the quantum circuit model, where the input unitary operation is called multiple times in sequence and fixed quantum circuits are inserted between the calls. In the proposed protocol, the input qubit-unitary operation is called 4 times to achieve the inverse operation, and the output state in an auxiliary system can be reused as a catalyst state in another run of the unitary inversion. We also present the simplification of the semidefinite programming for searching the optimal deterministic unitary inversion protocol for an arbitrary dimension presented by M. T. Quintino and D. Ebler [Quantum 6, 679 (2022)2521-327X10.22331/q-2022-03-31-679]. We show a method to reduce the large search space representing all possible protocols, which provides a useful tool for analyzing higher-order quantum transformations for unitary operations.
Access to the time-reverse U−1 of an unknown quantum unitary process U is widely assumed in quantum learning, metrology, and many-body physics. The fundamental task of unitary time-reversal dictates implementing U−1 to within diamond-norm error ε using black-box queries to the d-dimensional unitary U. Although the query complexity of this task has been extensively studied, existing lower bounds either hold only for the exact case (i.e., ε=0) or are suboptimal in d. This raises a central question: does approximation help reduce the query complexity of unitary time-reversal? We settle this question in the negative by establishing a robust and tight lower bound Ω((1−ε)d2) with explicit dependence on the error ε. This implies that unitary time-reversal retains optimal exponential hardness (in the number of qubits) even when constant error is allowed. Our bound applies to adaptive and coherent algorithms with unbounded ancillas and holds even when ε is an average-case distance error.
Undoing a unitary operation, i.e., reversing its action, is the task of canceling the effects of a unitary evolution on a quantum system, and it may be easily achieved when the unitary is known. Given a unitary operation without any specific description, however, it is a hard and challenging task to realize the inverse operation. Recently, a universal quantum circuit has been proposed [Phys. Rev. Lett. 123, 210502 (2019)] to undo an arbitrary unknown d-dimensional unitary U by implementing its inverse with a certain probability. In this paper, we report the experimental reversal of three single-qubit unitaries (d=2) by linear optical elements. The experimental results prove the feasibility of the reversing scheme, showing that the average fidelity of inverse unitaries is $F=0.9767\ifmmode\pm\else\textpm\fi{}0.0048$, in close agreement with the theoretical prediction.
Reversing unknown quantum dynamics is vital for quantum control and learning, yet full unitary inversion requires a resource-intensive O(d2) queries. Because many applications only require the reversed evolution for a given observable, a critical gap remains in understanding the minimal resources for such targeted reversal. Here, we address this by introducing shadow unitary inversion. We establish a lower bound showing the query complexity must scale at least linearly with system dimension for spectrally biased observables, with the constant determined by the observable’s spectral properties. For qubit case, we construct an explicit, deterministic three-query sequential protocol achieving exact shadow inversion and completely characterize all admissible channels, with numerical evidence suggesting optimality. For higher dimensions, we develop a semidefinite-programming formulation and introduce a representation-theoretic symmetry reduction that decomposes the optimization into invariant blocks, substantially reducing the problem size. Shadow unitary inversion thus offers a resource-efficient path to inverse-dynamics estimation for future quantum control, diagnostics, and learning tasks. Reversing unitary operations is crucial in quantum computing and control, yet remains a challenging task. The authors introduce shadow unitary inversion, achieving efficient inversion at the expectation value level with reduced query complexity, offering a promising approach for quantum error correction and information recovery.
Unknown unitary inversion is a fundamental primitive in quantum computing and physics. Although recent work has demonstrated that quantum algorithms can invert arbitrary unknown unitaries without accessing their classical descriptions, improving the efficiency of such protocols remains an open question. In this work, we present efficient quantum algorithms for inverting unitaries with specific Hamiltonian structures, achieving significant reductions in both ancilla qubit requirements and unitary query complexity. We identify cases where unitaries encoding exponentially many parameters can be inverted using only a single query. We further extend our framework to implement unitary complex conjugation and transposition operations, and develop modified protocols capable of inverting more general classes of Hamiltonians. We have also demonstrated the efficacy and robustness of our algorithms via numerical simulations under realistic noise conditions of superconducting quantum hardware. Our results establish more efficient protocols that improve the resources required for quantum unitary inversion when prior information about the quantum system is available, and provide practical methods for implementing these operations on near-term quantum devices.
In the quantum state distinguishing problem, an algorithm is given copies of a state ∣ψ⟩ or ∣φ⟩ separated by trace distance ε, and tasked with deciding which is the case. It is a standard result that Θ(ε−2) copies are required, while having access to a unitary state preparation oracle and its inverse improves this to Θ(ε−1) queries. We study the intermediate case with forward-only access, capturing scenarios where the oracle is a physical process that cannot be reversed. Tang and Wright recently showed that distinguishing a known state from an \emph{unknown} close state requires Ω(ε−2) forward queries in high dimension; we strengthen this result by proving the same bound even when both states are known, as in the state distinguishing setting. Moreover, our lower bound uses a direct hybrid argument, avoiding advanced compressed oracle techniques used in the prior work. In contrast, we give a dimension-independent algorithm solving a continuous-time variant of state distinguishing with only O(ε−1) total forward evolution time. The algorithm uses quantum Zeno dynamics to confine evolution to a known two-dimensional subspace. Thus, a quadratic advantage survives without inverse access for a natural continuous-time analogue of state distinguishing.