-
Analytical lower bound on the number of queries to a black-box unitary operation in deterministic exact transformations of unknown unitary operations
Authors:
Tatsuki Odake,
Satoshi Yoshida,
Mio Murao
Abstract:
Several counter-intuitive go-theorems have recently been shown for transformations of unknown unitary operations; deterministic and exact complex conjugation, inversion, and transposition of a general $d$-dimensional unknown unitary operation are implementable with a finite number of queries of the black-box unitary operation. However, the minimum numbers of the required queries are not known exce…
▽ More
Several counter-intuitive go-theorems have recently been shown for transformations of unknown unitary operations; deterministic and exact complex conjugation, inversion, and transposition of a general $d$-dimensional unknown unitary operation are implementable with a finite number of queries of the black-box unitary operation. However, the minimum numbers of the required queries are not known except for $d=2$ unitary inversion and unitary transposition (numerical) and unitary conjugation (analytic). In this work, we derive complementary no-go theorems for deterministic and exact implementations of inversion and transposition of a $d$-dimensional unknown unitary operation under certain numbers of queries. The obtained no-go theorem indicates that the analytical lower bound of the number of queries for unitary inversion is $d^2$ and that for unitary transposition is $4$ for $d=2$ and $d+3$ for $d \geq 3$. We have developed a new framework that utilizes differentiation to obtain the analytical lower bounds on the number of queries to the black-box unitary operation required to implement a transformation given by a general differentiable function map** a unitary operation to another unitary operation, which reproduces the lower bound of the number of queries for unitary complex conjugation $d-1$. As a corollary, we show the relationship between the tightness of the lower bounds and the existence of optimal catalytic transformations, which is a new aspect recently identified in the study of deterministic and exact unitary inversion. Furthermore, we extend our framework to the probabilistic setting where the transformation is required to succeed with a certain probability, thereby showing a possible tradeoff relation between query numbers and the required success probability.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Robust Error Accumulation Suppression
Authors:
Tatsuki Odake,
Philip Taranto,
Nobuyuki Yoshioka,
Toshinari Itoko,
Kunal Sharma,
Antonio Mezzacapo,
Mio Murao
Abstract:
We present an advanced quantum error suppression technique, which we dub robust error accumulation suppression (REAS). Our method reduces the accumulation of errors in any circuit composed of single- or two-qubit gates expressed as $e^{-i σθ}$ for Pauli operators $σ$ and $θ\in [0,π)$; since such gates form a universal gate set, our results apply to a strictly larger class of circuits than those co…
▽ More
We present an advanced quantum error suppression technique, which we dub robust error accumulation suppression (REAS). Our method reduces the accumulation of errors in any circuit composed of single- or two-qubit gates expressed as $e^{-i σθ}$ for Pauli operators $σ$ and $θ\in [0,π)$; since such gates form a universal gate set, our results apply to a strictly larger class of circuits than those comprising only Clifford gates, thereby generalizing previous results. In the case of coherent errors -- which include crosstalk -- we demonstrate a reduction of the error scaling in an $L$-depth circuit from $O(L)$ to $O(\sqrt{L})$. Crucially, REAS makes no assumption on the cleanness of the error-suppressing protocol itself and is, therefore, truly robust, applying to situations in which the newly inserted gates have non-negligible coherent noise. Furthermore, we show that REAS can also suppress certain types of decoherence noise by transforming some gates to be robust against such noise, which is verified by the demonstration of the quadratic suppression of error scaling in the numerical simulation. Our results, therefore, present an advanced, robust method of error suppression that can be used in conjunction with error correction as a viable path toward fault-tolerant quantum computation.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Universal algorithm for transforming Hamiltonian eigenvalues
Authors:
Tatsuki Odake,
Hlér Kristjánsson,
Philip Taranto,
Mio Murao
Abstract:
Manipulating Hamiltonians governing physical systems has found a broad range of applications, from quantum chemistry to semiconductor design. In this work, we provide a new way of manipulating Hamiltonians, by transforming their eigenvalues while kee** their eigenstates unchanged. We develop a universal algorithm that deterministically implements any desired (suitably differentiable) function on…
▽ More
Manipulating Hamiltonians governing physical systems has found a broad range of applications, from quantum chemistry to semiconductor design. In this work, we provide a new way of manipulating Hamiltonians, by transforming their eigenvalues while kee** their eigenstates unchanged. We develop a universal algorithm that deterministically implements any desired (suitably differentiable) function on the eigenvalues of any unknown Hamiltonian, whose positive-time and negative-time dynamics are given as a black box. Our algorithm uses correlated randomness to efficiently combine two subroutines -- namely controlization and Fourier series simulation -- exemplifying a general compilation procedure that we develop. The runtime of our algorithm is significantly reduced using compilation compared to a naïve concatenation of the subroutines and outperforms similar methods based on the quantum singular value transformation. Finally, to circumvent the need for the negative-time dynamics, we present a universal algorithm to transform positive-time to negative-time dynamics without adding an auxiliary qubit, which could also be of standalone interest.
△ Less
Submitted 15 February, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Higher-order quantum transformations of Hamiltonian dynamics
Authors:
Tatsuki Odake,
Hlér Kristjánsson,
Akihito Soeda,
Mio Murao
Abstract:
We present a quantum algorithm to achieve higher-order transformations of Hamiltonian dynamics. Namely, the algorithm takes as input a finite number of queries to a black-box seed Hamiltonian dynamics to simulate a desired Hamiltonian. Our algorithm efficiently simulates linear transformations of any seed Hamiltonian with a bounded energy range consisting of a polynomial number of terms in system…
▽ More
We present a quantum algorithm to achieve higher-order transformations of Hamiltonian dynamics. Namely, the algorithm takes as input a finite number of queries to a black-box seed Hamiltonian dynamics to simulate a desired Hamiltonian. Our algorithm efficiently simulates linear transformations of any seed Hamiltonian with a bounded energy range consisting of a polynomial number of terms in system size, making use of only controlled-Pauli gates and time-correlated randomness. This algorithm is an instance of quantum functional programming, where the desired function is specified as a concatenation of higher-order quantum transformations. By way of example, we demonstrate the simulation of negative time-evolution and time-reversal, and perform a Hamiltonian learning task.
△ Less
Submitted 14 November, 2023; v1 submitted 17 March, 2023;
originally announced March 2023.
