Searcharxiv⌕ Search

arXiv subjects

Akihito Soeda

Publications and source records attributed to Akihito Soeda.

At least 37 records · Page 2Linked to original sources
arXiv2021

Success-or-Draw: A Strategy Allowing Repeat-Until-Success in Quantum Computation

Repeat-until-success strategy is a standard method to obtain success with a probability which grows exponentially in the number of iterations. However, since quantum systems are disturbed after a quantum measurement, it is not straightforward how to perform repeat-until-success strategies in certain quantum algorithms. In this paper, we propose a new structure for probabilistic higher-order transformation named success-or-draw, which allows a repeat-until-success implementation. For that we provide a universal construction of success-or-draw structure which works for any probabilistic higher-order transformation on unitary operations. We then present a semidefinite programming approach to obtain optimal success-or-draw protocols and analyze in detail the problem of inverting a general unitary operation.

quant-ph↗
arXiv2020

Probabilistic exact universal quantum circuits for transforming unitary operations

This paper addresses the problem of designing universal quantum circuits to transform $k$ uses of a $d$-dimensional unitary input-operation into a unitary output-operation in a probabilistic heralded manner. Three classes of protocols are considered, parallel circuits, where the input-operations can be simultaneously, adaptive circuits, where sequential uses of the input-operations are allowed, and general protocols, where the use of the input-operations may be performed without a definite causal order. For these three classes, we develop a systematic semidefinite programming approach that finds a circuit which obtains the desired transformation with the maximal success probability. We then analyse in detail three particular transformations; unitary transposition, unitary complex conjugation, and unitary inversion. For unitary transposition and unitary inverse, we prove that for any fixed dimension $d$, adaptive circuits have an exponential improvement in terms of uses $k$ when compared to parallel ones. For unitary complex conjugation and unitary inversion we prove that if the number of uses $k$ is strictly smaller than $d-1$, the probability of success is necessarily zero. We also discuss the advantage of indefinite causal order protocols over causal ones and introduce the concept of delayed input-state quantum circuits.

quant-ph↗
arXiv2020

Reversing Unknown Quantum Transformations: Universal Quantum Circuit for Inverting General Unitary Operations

Given a quantum gate implementing a $d$-dimensional unitary operation $U_d$, without any specific description but $d$, and permitted to use $k$ times, we present a universal probabilistic heralded quantum circuit that implements the exact inverse $U_d^{-1}$, whose failure probability decays, exponentially in $k$. The protocol employs an adaptive strategy, proven necessary for the exponential performance. It requires $k\geq d-1$, proven necessary for exact implementation of $U_d^{-1}$ with quantum circuits. Moreover, even when quantum circuits with indefinite causal order are allowed, $k\geq d-1$ uses are required. We then present a finite set of linear and positive semidefinite constraints characterizing universal unitary inversion protocols and formulate a convex optimization problem whose solution is the maximum success probability for given $k$ and $d$. The optimal values are computed using semidefinite programming solvers for $k\leq 3$ when $d=2$ and $k\leq 2$ for $d=3$. With this numerical approach we show for the first time that indefinite causal order circuits provide an advantage over causally ordered ones in a task involving multiple uses of the same unitary operation.

quant-ph↗
arXiv2019

Complex conjugation supermap of unitary quantum maps and its universal implementation protocol

A complex conjugation of unitary quantum map is a second-order map (supermap) that maps a unitary operator $U$ to its complex conjugate $U^*$. First, we present a deterministic quantum protocol that universally implements the complex conjugation supermap when we are given a blackbox quantum circuit, guaranteed to implement some unitary operation, whose only known description is its dimension. We then discuss the complex conjugation supermap in the context of entanglement theory and derive a conjugation-based expression of the $G$-concurrence. Finally, we present a physical process involving identical fermions from which the complex conjugation protocol is derived as a simulation of the process using qudits.

quant-ph↗
arXiv2019

Robust controllability of two-qubit Hamiltonian dynamics

Quantum gates (unitary gates) on physical systems are usually implemented by controlling the Hamiltonian dynamics. When full descriptions of the Hamiltonians parameters is available, the set of implementable quantum gates is easily characterised by quantum control theory. In many real systems, however, the Hamiltonians may include unknown parameters due to the difficulty of precise measurements or instability of the system. In this paper, we consider the situation that some parameters of the Hamiltonian are unknown, but we still want to perform a robust control of a quantum gate irrespectively to the unknown parameters. The existence of such control was previously shown in single-qubit systems, and a constructive method was developed for two-qubit systems provided full single-qubit controls are available. We analytically investigate the robust controllability of two-qubit systems, and apply Lie algebraic approaches to handle the cases where only controlling one of the two qubits is allowed. We also use numerical approaches for these problems since our analytical approaches does not work in some systems.

quant-ph↗
arXiv2019

Implementing positive maps with multiple copies of an input state

Valid transformations between quantum states are necessarily described by completely positive maps, instead of just positive maps. Positive but not completely positive maps such as the transposition map cannot be implemented due to the existence of entanglement in composite quantum systems, but there are classes of states for which the positivity is guaranteed, e.g., states not correlated to other systems. In this paper, we introduce the concept of N-copy extension of maps to quantitatively analyze the difference between positive maps and completely positive maps. We consider implementations of the action of positive but not completely positive maps on uncorrelated states by allowing an extra resource of consuming multiple copies of the input state and characterize the positive maps in terms of implementability with multiple copies. We show that by consuming multiple copies, the set of implementable positive maps becomes larger, and almost all positive maps are implementable with finite copies of an input state. The number of copies of the input state required to implement a positive map quantifies the degree by which a positive map violates complete positivity. We then analyze the optimal N-copy implementability of a noisy version of the transposition map.

quant-ph↗
arXiv2018

A Four-Round LOCC Protocol Outperforms All Two-Round Protocols in Reducing the Entanglement Cost for A Distributed Quantum Information Processing

We prove that there is a trade-off relation between the entanglement cost and the number of rounds of communication, for two distant parties to accomplish a bidirectional quantum information task by local operations and classical communication (LOCC). We consider an implementation of a class of two-qubit controlled-unitary gate by LOCC assisted by shared entanglement, in an information theoretical scenario of asymptotically many input pairs and vanishingly small error. We prove the trade-off relation by showing that one ebit of entanglement per pair is necessary to be consumed for implementing the unitary by any two-round protocol, whereas the entanglement cost by a four-round protocol is strictly smaller than one ebit per pair.

quant-ph↗
arXiv2018

Complexity of causal order structure in distributed quantum information processing and its trade-off with entanglement

We prove a trade-off relation between the entanglement cost and classical communication complexity of causal order structure of a protocol in distributed quantum information processing. We consider an implementation of a class of two-qubit unitary gates by local operations and classical communication (LOCC) assisted with shared entanglement, in an information theoretical scenario of asymptotically many input pairs and vanishingly small error. We prove the trade-off relation by showing that (i) one ebit of entanglement per pair is necessary for implementing the unitary by any two-round protocol, and that (ii) the entanglement cost by a three-round protocol is strictly smaller than one ebit per pair. We also provide an example of bipartite unitary gates for which there is no such trade-off.

quant-ph↗
arXiv2018

Equivalence determination of unitary operations

We study equivalence determination of unitary operations, a task analogous to quantum state discrimination. The candidate states are replaced by unitary operations given as a quantum sample, i.e., a black-box device implementing a candidate unitary operation, and the discrimination target becomes another black-box. The task is an instance of higher-order quantum computation with the black-boxes as input. The optimal error probability is calculated by semidefinite programs. Arbitrary quantum operations applied between the black-boxes in a general protocol provide advantages over protocols restricted to parallelized use of the black-boxes. We provide a numerical proof of such an advantage. In contrast, a parallelized scheme is analytically shown to exhibit the optimal performance of general schemes for a particular number of quantum samples of the candidates. We find examples of finite-sample equivalence determination that achieve the same performance as when a classical description of the candidates are provided, although an exact classical description cannot be obtained from finite quantum samples.

quant-ph↗
arXiv2018

The Cost of Randomness for Converting a Tripartite Quantum State to be Approximately Recoverable

We introduce and analyze a task in which a tripartite quantum state is transformed to an approximately recoverable state by a randomizing operation on one of the three subsystems. We consider cases where the initial state is a tensor product of $n$ copies of a tripartite state $ρ^{ABC}$, and is transformed by a random unitary operation on $A^n$ to another state which is approximately recoverable from its reduced state on $A^nB^n$ (Case 1) or $B^nC^n$ (Case 2). We analyze the minimum cost of randomness per copy required for the task in an asymptotic limit of infinite copies and vanishingly small error of recovery, mainly focusing on the case of pure states. We prove that the minimum cost in Case 1 is equal to the Markovianizing cost of the state, for which a single-letter formula is known. With an additional requirement on the convergence speed of the recovery error, we prove that the minimum cost in Case 2 is also equal to the Markovianizing cost. Our results have an application for distributed quantum computation.

quant-ph↗
arXiv2018

A Coding Theorem for Bipartite Unitaries in Distributed Quantum Computation

We analyze implementations of bipartite unitaries by means of local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in quantum Shannon theory to study an asymptotic scenario, in which two distant parties perform the same bipartite unitary on infinitely many pairs of inputs. We analyze minimum cost of entanglement and classical communication per copy. For two-round LOCC protocols, we derive a single-letter formula for the minimum cost of entanglement and classical communication, under an additional requirement that the error converges to zero faster than $1/n^4$, where $n$ is the number of input pairs. The formula is given by the "Markovianizing cost" of a tripartite state associated with the unitary, which can be computed by a finite-step algorithm. We also derive a lower bound on the minimum cost of resources, which applies for protocols with arbitrary number of rounds.

quant-ph↗
arXiv2017

Logically reversible measurements: Construction and application

We show that for any von Neumann measurement, we can construct a logically reversible measurement such that Shannon entropies and quantum discords induced by the two measurements have compact connections. In particular, we prove that quantum discord for the logically reversible measurement is never less than that for the von Neumann measurement.

quant-ph↗
arXiv2017

Graph-associated entanglement cost of a multipartite state in exact and finite-block-length approximate constructions

We introduce and analyze graph-associated entanglement cost, a generalization of the entanglement cost of quantum states to multipartite settings. We identify a necessary and sufficient condition for any multipartite entangled state to be constructible when quantum communication between the multiple parties is restricted to a quantum network represented by a tree. The condition for exact state construction is expressed in terms of the Schmidt ranks of the state defined with respect to edges of the tree. We also study approximate state construction and provide a second-order asymptotic analysis.

quant-ph↗
arXiv2016

Markovianizing Cost of Tripartite Quantum States

We introduce and analyze a task that we call Markovianization, in which a tripartite quantum state is transformed to a quantum Markov chain by a randomizing operation on one of the three subsystems. We consider cases where the initial state is the tensor product of $n$ copies of a tripartite state $ρ^{ABC}$, and is transformed to a quantum Markov chain conditioned by $B^n$ with a small error, using a random unitary operation on $A^n$. In an asymptotic limit of infinite copies and vanishingly small error, we analyze the Markovianizing cost, that is, the minimum cost of randomness per copy required for Markovianization. For tripartite pure states, we derive a single-letter formula for the Markovianizing costs. Counterintuitively, the Markovianizing cost is not a continuous function of states, and can be arbitrarily large even if the state is close to a quantum Markov chain. Our results have an application in analyzing the cost of resources for simulating a bipartite unitary gate by local operations and classical communication.

quant-ph↗
arXiv2016

Projective measurement of energy on an ensemble of qubits with unknown frequencies

In projective measurements of energy, a target system is projected to an eigenstate of the system Hamiltonian, and the measurement outcomes provide the information of corresponding eigen-energies. Recently, it has been shown that such a measurement can be in principle realized without detailed knowledge of the Hamiltonian by using probe qubits. However, in the previous approach for the energy measurement, the necessary size of the dimension for the probe increases as we increase the dimension of the target system, and also individual addresibility of every qubit is required, which may not be possible for many experimental settings with large systems. Here, we show that a single probe qubit is sufficient to perform such a projective measurement of energy if the target system is composed of non-interacting qubits whose resonant frequencies are unknown. Moreover, our scheme requires only global manipulations where every qubit is subjected to the same control fields. These results indicate the feasibility of our energy projection protocols.

quant-ph↗
arXiv2015

Quantum algorithm for universal implementation of projective measurement of energy

A projective measurement of energy (PME) on a quantum system is a quantum measurement, determined by the Hamiltonian of the system. PME protocols exist when the Hamiltonian is given in advance. Unknown Hamiltonians can be identified by quantum tomography, but the time cost to achieve a given accuracy increases exponentially with the size of the quantum system. In this letter, we improve the time cost by adapting quantum phase estimation, an algorithm designed for computational problems, to measurements on physical systems. We present a PME protocol without quantum tomography for Hamiltonians whose dimension and energy scale are given but otherwise unknown. Our protocol implements a PME to arbitrary accuracy without any dimension dependence on its time cost. We also show that another computational quantum algorithm may be used for efficient estimation of the energy scale. These algorithms show that computational quantum algorithms have applications beyond their original context with suitable modifications.

quant-ph↗
arXiv2014

Two-party LOCC convertibility of quadpartite states and Kraus-Cirac number of two-qubit unitaries

Nonlocal properties (globalness) of a non-separable unitary determine how the unitary affects the entanglement properties of a quantum state. We apply a given two-qubit unitary on a quadpartite system including two reference systems and analyze its "LOCC partial invertibility" under two-party LOCC. A decomposition given by Kraus and Cirac for two-qubit unitaries shows that the globalness is completely characterized by three parameters. Our analysis shows that the number of non-zero parameters (the Kraus-Cirac number) has an operational significance when converting entanglement properties of multipartite states. All two-qubit unitaries have the Kraus-Cirac number at most 3, while those with at most 1 or 2 are equivalent, up to local unitaries, to a controlled-unitary or matchgate, respectively. The presented operational framework distinguishes the untaries with the Kraus-Cirac number 2 and 3, which was not possible by the known measure of the operator Schmidt decomposition. We also analyze how the Kraus-Cirac number changes when two or more two-qubit unitaries are applied sequentially.

quant-ph↗