Showing 1–50 of 99 results for author: Murao, M

Singular value transformation for unknown quantum channels

Authors: Ryotaro Niwa, Zane Marius Rossi, Philip Taranto, Mio Murao

Abstract: Given the ability to apply an unknown quantum channel acting on a $d$-dimensional system, we develop a quantum algorithm for transforming its singular values. The spectrum of a quantum channel as a superoperator is naturally tied to its Liouville representation, which is in general non-Hermitian. Our key contribution is an approximate block-encoding scheme for this representation in a Hermitized f… ▽ More Given the ability to apply an unknown quantum channel acting on a $d$-dimensional system, we develop a quantum algorithm for transforming its singular values. The spectrum of a quantum channel as a superoperator is naturally tied to its Liouville representation, which is in general non-Hermitian. Our key contribution is an approximate block-encoding scheme for this representation in a Hermitized form, given only black-box access to the channel; this immediately allows us to apply polynomial transformations to the channel's singular values by quantum singular value transformation (QSVT). We then demonstrate an $O(d^2/δ)$ upper bound and an $Ω(d/δ)$ lower bound for the query complexity of constructing a quantum channel that is $δ$-close in diamond norm to a block-encoding of the Hermitized Liouville representation. We show our method applies practically to the problem of learning the $q$-th singular value moments of unknown quantum channels for arbitrary $q>2, q\in \mathbb{R}$, which has implications for testing if a quantum channel is entanglement breaking. △ Less

Submitted 30 June, 2025; originally announced June 2025.

Comments: 5+14 pages, 6 figures

Higher-Order Quantum Operations

Authors: Philip Taranto, Simon Milz, Mio Murao, Marco Túlio Quintino, Kavan Modi

Abstract: An operational description of quantum phenomena concerns developing models that describe experimentally observed behaviour. $\textit{Higher-order quantum operations}\unicode{x2014}$quantum operations that transform quantum operations$\unicode{x2014}$are fundamental to modern quantum theory, extending beyond basic state preparations, evolutions, and measurements described by the Born rule. These op… ▽ More An operational description of quantum phenomena concerns developing models that describe experimentally observed behaviour. $\textit{Higher-order quantum operations}\unicode{x2014}$quantum operations that transform quantum operations$\unicode{x2014}$are fundamental to modern quantum theory, extending beyond basic state preparations, evolutions, and measurements described by the Born rule. These operations naturally emerge in quantum circuit architectures, correlated open dynamics, and investigations of quantum causality, to name but a few fields of application. This Review Article provides both a pedagogical introduction to the framework of higher-order quantum operations and a comprehensive survey of current literature, illustrated through physical examples. We conclude by identifying open problems and future research directions in this rapidly evolving field. △ Less

Submitted 12 March, 2025; originally announced March 2025.

Comments: 106 page Review Article (65 pages Tutorial, 41 pages Review) including 566 references. Comments welcome!

Exponential separation in quantum query complexity of the quantum switch with respect to simulations with standard quantum circuits

Authors: Hlér Kristjánsson, Tatsuki Odake, Satoshi Yoshida, Philip Taranto, Jessica Bavaresco, Marco Túlio Quintino, Mio Murao

Abstract: Quantum theory is consistent with a computational model permitting black-box operations to be applied in an indefinite causal order, going beyond the standard circuit model of computation. The quantum switch -- the simplest such example -- has been shown to provide numerous information-processing advantages. Here, we prove that the action of the quantum switch on two $n$-qubit quantum channels can… ▽ More Quantum theory is consistent with a computational model permitting black-box operations to be applied in an indefinite causal order, going beyond the standard circuit model of computation. The quantum switch -- the simplest such example -- has been shown to provide numerous information-processing advantages. Here, we prove that the action of the quantum switch on two $n$-qubit quantum channels cannot be simulated deterministically and exactly by any causally ordered quantum circuit that uses $M$ calls to one channel and one call to the other, if $M \leq \max(2, 2^n-1)$. This demonstrates an exponential separation in quantum query complexity of indefinite causal order compared to standard quantum circuits. △ Less

Submitted 1 October, 2024; v1 submitted 26 September, 2024; originally announced September 2024.

Comments: 23 pages, 3 figures

Can the quantum switch be deterministically simulated?

Authors: Jessica Bavaresco, Satoshi Yoshida, Tatsuki Odake, Hlér Kristjánsson, Philip Taranto, Mio Murao, Marco Túlio Quintino

Abstract: Higher-order transformations that act on a certain number of input quantum channels in an indefinite causal order - such as the quantum switch - cannot be described by standard quantum circuits that use the same number of calls of the input quantum channels. However, the question remains whether they can be simulated, i.e., whether their action on their input channels can be deterministically repr… ▽ More Higher-order transformations that act on a certain number of input quantum channels in an indefinite causal order - such as the quantum switch - cannot be described by standard quantum circuits that use the same number of calls of the input quantum channels. However, the question remains whether they can be simulated, i.e., whether their action on their input channels can be deterministically reproduced, for all arbitrary inputs, by a quantum circuit that uses a larger number of calls of the input channels. Here, we prove that when only one extra call of each input channel is available, the quantum switch cannot be simulated by any quantum circuit. We demonstrate that this result is robust by showing that, even when probabilistic and approximate simulations are considered, higher-order transformations that are close to the quantum switch can be at best simulated with a probability strictly less than one. This result stands in stark contrast with the known fact that, when the quantum switch acts exclusively on unitary channels, its action can be simulated. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 16 + 14 pages, 4 + 5 figures

Multicopy quantum state teleportation with application to storage and retrieval of quantum programs

Authors: Frédéric Grosshans, Michał Horodecki, Mio Murao, Tomasz Młynik, Marco Túlio Quintino, Michał Studziński, Satoshi Yoshida

Abstract: This work considers a teleportation task for Alice and Bob in a scenario where Bob cannot perform corrections. In particular, we analyse the task of \textit{multicopy state teleportation}, where Alice has $k$ identical copies of an arbitrary unknown $d$-dimensional qudit state $\vertψ\rangle$ to teleport a single copy of $\vertψ\rangle$ to Bob using a maximally entangled two-qudit state shared bet… ▽ More This work considers a teleportation task for Alice and Bob in a scenario where Bob cannot perform corrections. In particular, we analyse the task of \textit{multicopy state teleportation}, where Alice has $k$ identical copies of an arbitrary unknown $d$-dimensional qudit state $\vertψ\rangle$ to teleport a single copy of $\vertψ\rangle$ to Bob using a maximally entangled two-qudit state shared between Alice and Bob without Bob's correction. Alice may perform a joint measurement on her half of the entangled state and the $k$ copies of $\vertψ\rangle$. We prove that the maximal probability of success for teleporting the exact state $\vertψ\rangle$ to Bob is $p(d,k)=\frac{k}{d(k-1+d)}$ and present an explicit protocol to attain this performance. Then, by utilising $k$ copies of an arbitrary target state $\vertψ\rangle$, we show how the multicopy state teleportation protocol can be employed to enhance the success probability of storage and retrieval of quantum programs, which aims to universally retrieve the action of an arbitrary quantum channel that is stored in a state. Our proofs make use of group representation theory methods, which may find applications beyond the problems addressed in this work. △ Less

Submitted 16 September, 2024; originally announced September 2024.

Comments: 25 pages,3 figures. Comments are welcome

One-to-one Correspondence between Deterministic Port-Based Teleportation and Unitary Estimation

Authors: Satoshi Yoshida, Yuki Koizumi, Michał Studziński, Marco Túlio Quintino, Mio Murao

Abstract: Port-based teleportation is a variant of quantum teleportation, where the receiver can choose one of the ports in his part of the entangled state shared with the sender, but cannot apply other recovery operations. We show that the optimal fidelity of deterministic port-based teleportation (dPBT) using $N=n+1$ ports to teleport a $d$-dimensional state is equivalent to the optimal fidelity of $d$-di… ▽ More Port-based teleportation is a variant of quantum teleportation, where the receiver can choose one of the ports in his part of the entangled state shared with the sender, but cannot apply other recovery operations. We show that the optimal fidelity of deterministic port-based teleportation (dPBT) using $N=n+1$ ports to teleport a $d$-dimensional state is equivalent to the optimal fidelity of $d$-dimensional unitary estimation using $n$ calls of the input unitary operation. From any given dPBT, we can explicitly construct the corresponding unitary estimation protocol achieving the same optimal fidelity, and vice versa. Using the obtained one-to-one correspondence between dPBT and unitary estimation, we derive the asymptotic optimal fidelity of port-based teleportation given by $F = 1-Θ(d^4 N^{-2})$, which improves the previously known result given by $1-O(d^5 N^{-2}) \leq F \leq 1-Ω(d^2 N^{-2})$. We also show that the optimal fidelity of unitary estimation for the case $n\leq d-1$ is $F = {n+1 \over d^2}$, and this fidelity is equal to the optimal fidelity of unitary inversion with $n\leq d-1$ calls of the input unitary operation even if we allow indefinite causal order among the calls. △ Less

Submitted 21 August, 2024; originally announced August 2024.

Comments: 7+22 pages, 1+1 figures

Women for Quantum -- Manifesto of Values

Authors: Almut Beige, Ana Predojević, Anja Metelmann, Anna Sanpera, Chiara Macchiavello, Christiane P. Koch, Christine Silberhorn, Costanza Toninelli, Dagmar Bruß, Elisa Ercolessi, Elisabetta Paladino, Francesca Ferlaino, Giulia Ferrini, Gloria Platero, Ivette Fuentes, Kae Nemoto, Leticia Tarruell, Maria Bondani, Marilu Chiofalo, Marisa Pons, Milena D'Angelo, Mio Murao, Nicole Fabbri, Paola Verrucchi, Pascale Senellart-Mardon , et al. (8 additional authors not shown)

Abstract: Data show that the presence of women in quantum science is affected by a number of detriments and their percentage decreases even further for higher positions. Beyond data, from our shared personal experiences as female tenured quantum physics professors, we believe that the current model of scientific leadership, funding, and authority fails to represent many of us. It is time for a real change t… ▽ More Data show that the presence of women in quantum science is affected by a number of detriments and their percentage decreases even further for higher positions. Beyond data, from our shared personal experiences as female tenured quantum physics professors, we believe that the current model of scientific leadership, funding, and authority fails to represent many of us. It is time for a real change that calls for a different kind of force and for the participation of everyone. Women for quantum calls for a joint effort and aims with this initiative to contribute to such a transformation. △ Less

Submitted 4 July, 2024; v1 submitted 24 May, 2024; originally announced July 2024.

Quantum State Preparation via Free Binary Decision Diagram

Authors: Yu Tanaka, Hayata Yamasaki, Mio Murao

Abstract: Quantum state preparation (QSP) is a fundamental task in quantum computation to prepare a quantum state for a given classical description of the quantum state. The classical description of an $n$-qubit quantum state may have $\exp(O(n))$ parameters in general, which are inherently inefficient to prepare the corresponding state in the worst case. However, in many practical cases, we may be able to… ▽ More Quantum state preparation (QSP) is a fundamental task in quantum computation to prepare a quantum state for a given classical description of the quantum state. The classical description of an $n$-qubit quantum state may have $\exp(O(n))$ parameters in general, which are inherently inefficient to prepare the corresponding state in the worst case. However, in many practical cases, we may be able to employ suitable data structures for QSP. An ordered binary decision diagram (OBDD) and a free BDD (FBDD) are such data structures to represent the large-scale data in a compressed way. An efficient QSP for a subclass of OBDDs is known, but requires an $O(2^n)$-sized quantum circuit in general, while QSP based on FBDDs, which includes OBDDs as a special case, remains unexplored. We here construct a quantum algorithm for QSP when the classical description of a quantum state is given by an FBDD with weighted edges, and analyze the space, and time complexity of QSP in this setting. We provide a nontrivial example of an $n$-qubit state that can be represented by a weighted FBDD with $N=O(\mathrm{poly}(n))$ nodes rather than $\mathrm{exp}(O(n))$. We show that any quantum state represented by the weighted FBDD with $N$ nodes can be prepared by an $O(N)$-sized quantum circuit using $N$ ancillary qubits, exponentially improving the required circuit size for QSP compared to other BDD-based QSPs. We also provide another example of an $n$-qubit state that can be represented by a weighted FBDD with $N=O(n^2)$ nodes, and $O(n^2)$ ancillary qubits, but cannot be prepared efficiently by a QSP based on the amplitude amplification. These results provide techniques to employ FBDDs as a tool for broadening the possibility of efficient QSP. △ Less

Submitted 10 June, 2025; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: 19 pages with 1 table and 9 figures

Analytical lower bound on query complexity for transformations of unknown unitary operations

Authors: Tatsuki Odake, Satoshi Yoshida, Mio Murao

Abstract: Recent developments have revealed deterministic and exact protocols for performing complex conjugation, inversion, and transposition of a general $d$-dimensional unknown unitary operation using a finite number of queries to a black-box unitary operation. In this work, we establish analytical lower bounds for the query complexity of unitary inversion, transposition, and complex conjugation. Specifi… ▽ More Recent developments have revealed deterministic and exact protocols for performing complex conjugation, inversion, and transposition of a general $d$-dimensional unknown unitary operation using a finite number of queries to a black-box unitary operation. In this work, we establish analytical lower bounds for the query complexity of unitary inversion, transposition, and complex conjugation. Specifically, our lower bound of $d^2$ for unitary inversion demonstrates the asymptotic optimality of the deterministic exact inversion protocol, which operates with $O(d^2)$ queries. We introduce a novel framework utilizing differentiation to derive these lower bounds on query complexity for general differentiable functions $f: \mathrm{SU}(d)\to \mathrm{SU}(d)$. As a corollary, we prove that a catalytic protocol -- a new concept recently noted in the study of exact unitary inversion -- is impossible for unitary complex conjugation. Furthermore, we extend our framework to the probabilistic setting, where transformations must succeed with a certain probability, revealing a potential trade-off between the number of queries and the required success probability. △ Less

Submitted 28 November, 2024; v1 submitted 13 May, 2024; originally announced May 2024.

Comments: 19 pages, 6 figures

Robust Error Accumulation Suppression for Quantum Circuits

Authors: Tatsuki Odake, Philip Taranto, Nobuyuki Yoshioka, Toshinari Itoko, Kunal Sharma, Antonio Mezzacapo, Mio Murao

Abstract: We present a robust error accumulation suppression (REAS) technique to manage errors in quantum computers. Our method reduces the accumulation of errors in any quantum circuit composed of single- or two-qubit gates expressed as $e^{-i σθ}$ for Pauli operators $σ$ and $θ\in [0,π)$, which forms a universal gate set. For coherent errors -- which include gate overrotation and crosstalk -- we demonstra… ▽ More We present a robust error accumulation suppression (REAS) technique to manage errors in quantum computers. Our method reduces the accumulation of errors in any quantum circuit composed of single- or two-qubit gates expressed as $e^{-i σθ}$ for Pauli operators $σ$ and $θ\in [0,π)$, which forms a universal gate set. For coherent errors -- which include gate overrotation and crosstalk -- we demonstrate a reduction of the error scaling in an $L$-depth circuit from $O(L)$ to $O(\sqrt{L})$. This asymptotic error suppression behavior can be proven in a regime where all gates -- including those constituting the error-suppressing protocol itself -- are noisy. Going beyond coherent errors, we derive the general form of decoherence noise that can be suppressed by REAS. Lastly, we experimentally demonstrate the effectiveness of our approach regarding realistic errors using 100-qubit circuits with up to 64 two-qubit gate layers on IBM Quantum processors. △ Less

Submitted 7 October, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: 10 + 13 pages, 7 figures

Universal adjointation of isometry operations using conversion of quantum supermaps

Authors: Satoshi Yoshida, Akihito Soeda, Mio Murao

Abstract: Identification of possible transformations of quantum objects including quantum states and quantum operations is indispensable in developing quantum algorithms. Universal transformations, defined as input-independent transformations, appear in various quantum applications. Such is the case for universal transformations of unitary operations. However, extending these transformations to non-unitary… ▽ More Identification of possible transformations of quantum objects including quantum states and quantum operations is indispensable in developing quantum algorithms. Universal transformations, defined as input-independent transformations, appear in various quantum applications. Such is the case for universal transformations of unitary operations. However, extending these transformations to non-unitary operations is nontrivial and largely unresolved. Addressing this, we introduce isometry adjointation protocols that transform an input isometry operation into its adjoint operation, which include both unitary operation and quantum state transformations. The paper details the construction of parallel and sequential isometry adjointation protocols, derived from unitary inversion protocols using quantum combs and the (dual) Clebsch-Gordan transforms, and achieving optimal approximation error. This error is shown to be independent of the output dimension of the isometry operation. In particular, we explicitly obtain an asymptotically optimal parallel protocol achieving an approximation error $ε= Θ(d^2/n)$, where $d$ is the input dimension of the isometry operation and $n$ is the number of calls of the isometry operation. The research also extends to isometry inversion and universal error detection, employing semidefinite programming to assess optimal performances. The findings suggest that the optimal performance of general protocols in isometry adjointation and universal error detection is not dependent on the output dimension, and that indefinite causal order protocols offer advantages over sequential ones in isometry inversion and universal error detection. △ Less

Submitted 18 May, 2025; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: 81 pages, 9 figures. Accepted in Quantum. All codes are available at https://github.com/sy3104/isometry_adjointation

Journal ref: Quantum 9, 1750 (2025)

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 keeping 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 keeping 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 time complexity of our algorithm is significantly reduced via said compilation technique compared to a na{ï}ve concatenation of the subroutines and outperforms similar methods based on the quantum singular value transformation. △ Less

Submitted 29 April, 2025; v1 submitted 14 December, 2023; originally announced December 2023.

Comments: 12+23 pages, 14 figures, close to published version. Note that a previous version of this article [v4] contains an algorithm to implement negative-time Hamiltonian dynamics without any auxilliary systems

Journal ref: Phys. Rev. Research 7, 013331 (2025)

Advantage of Quantum Machine Learning from General Computational Advantages

Authors: Hayata Yamasaki, Natsuto Isogai, Mio Murao

Abstract: An overarching milestone of quantum machine learning (QML) is to demonstrate the advantage of QML over all possible classical learning methods in accelerating a common type of learning task as represented by supervised learning with classical data. However, the provable advantages of QML in supervised learning have been known so far only for the learning tasks designed for using the advantage of s… ▽ More An overarching milestone of quantum machine learning (QML) is to demonstrate the advantage of QML over all possible classical learning methods in accelerating a common type of learning task as represented by supervised learning with classical data. However, the provable advantages of QML in supervised learning have been known so far only for the learning tasks designed for using the advantage of specific quantum algorithms, i.e., Shor's algorithms. Here we explicitly construct an unprecedentedly broader family of supervised learning tasks with classical data to offer the provable advantage of QML based on general quantum computational advantages, progressing beyond Shor's algorithms. Our learning task is feasibly achievable by executing a general class of functions that can be computed efficiently in polynomial time for a large fraction of inputs by arbitrary quantum algorithms but not by any classical algorithm. We prove the hardness of achieving this learning task for any possible polynomial-time classical learning method. We also clarify protocols for preparing the classical data to demonstrate this learning task in experiments. These results open routes to exploit a variety of quantum advantages in computing functions for the experimental demonstration of the advantage of QML. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 26 pages, 2 figures

Efficient decoding of stabilizer code by single-qubit local operations and classical communication

Authors: Koki Shiraishi, Hayata Yamasaki, Mio Murao

Abstract: We construct a protocol for extracting distributed one-qubit quantum information encoded in a stabilizer code of multiple qubits, only by single-qubit local operations and classical communication (LOCC) without global operations or entanglement resources. This protocol achieves efficient extraction within a polynomial time in terms of the number of physical qubits. We apply this protocol to a sett… ▽ More We construct a protocol for extracting distributed one-qubit quantum information encoded in a stabilizer code of multiple qubits, only by single-qubit local operations and classical communication (LOCC) without global operations or entanglement resources. This protocol achieves efficient extraction within a polynomial time in terms of the number of physical qubits. We apply this protocol to a setting of quantum information splitting where a subset of spatially separated parties cooperate by classical communication to extract quantum information shared among all the parties. For this task, our LOCC extraction protocol allows designing hierarchical information access structures among the parties, where the minimum number of parties required to cooperate depends on the location of extracting the shared quantum information. These results provide a fundamental building block of distributed quantum information processing that requires access to distributed quantum information encoded in the stabilizer codes. △ Less

Submitted 26 November, 2024; v1 submitted 27 August, 2023; originally announced August 2023.

Comments: 16 pages, 15 figures

Journal ref: Phys. Rev. A 110, 052617 (2024)

Characterising the Hierarchy of Multi-time Quantum Processes with Classical Memory

Authors: Philip Taranto, Marco Túlio Quintino, Mio Murao, Simon Milz

Abstract: Memory is the fundamental form of temporal complexity: when present but uncontrollable, it manifests as non-Markovian noise; conversely, if controllable, memory can be a powerful resource for information processing. Memory effects arise from/are transmitted via interactions between a system and its environment; as such, they can be either classical or quantum. From a practical standpoint, quantum… ▽ More Memory is the fundamental form of temporal complexity: when present but uncontrollable, it manifests as non-Markovian noise; conversely, if controllable, memory can be a powerful resource for information processing. Memory effects arise from/are transmitted via interactions between a system and its environment; as such, they can be either classical or quantum. From a practical standpoint, quantum processes with classical memory promise near-term applicability: they are more powerful than their memoryless counterpart, yet at the same time can be controlled over significant timeframes without being spoiled by decoherence. However, despite practical and foundational value, apart from simple two-time scenarios, the distinction between quantum and classical memory remains unexplored. Here, we analyse multi-time quantum processes with memory mechanisms that transmit only classical information forward in time. Complementing this analysis, we also study two related -- but simpler to characterise -- sets of processes that could also be considered to have classical memory from a structural perspective, and demonstrate that these lead to remarkably distinct phenomena in the multi-time setting. Subsequently, we systematically stratify the full hierarchy of memory effects in quantum mechanics, many levels of which collapse in the two-time setting, making our results genuinely multi-time phenomena. △ Less

Submitted 15 April, 2024; v1 submitted 21 July, 2023; originally announced July 2023.

Comments: 12.5+4.5 pages, 4 figures, 73 references; close to published version

Journal ref: Quantum 8, 1328 (2024)

Distributing circuits over heterogeneous, modular quantum computing network architectures

Authors: Pablo Andres-Martinez, Tim Forrer, Daniel Mills, Jun-Yi Wu, Luciana Henaut, Kentaro Yamamoto, Mio Murao, Ross Duncan

Abstract: We consider a heterogeneous network of quantum computing modules, sparsely connected via Bell states. Operations across these connections constitute a computational bottleneck and they are likely to add more noise to the computation than operations performed within a module. We introduce several techniques for transforming a given quantum circuit into one implementable on a network of the aforemen… ▽ More We consider a heterogeneous network of quantum computing modules, sparsely connected via Bell states. Operations across these connections constitute a computational bottleneck and they are likely to add more noise to the computation than operations performed within a module. We introduce several techniques for transforming a given quantum circuit into one implementable on a network of the aforementioned type, minimising the number of Bell states required to do so. We extend previous works on circuit distribution over fully connected networks to the case of heterogeneous networks. On the one hand, we extend the hypergraph approach of [Andres-Martinez & Heunen. 2019] to arbitrary network topologies. We additionally make use of Steiner trees to find efficient realisations of the entanglement sharing within the network, reusing already established connections as often as possible. On the other hand, we extend the embedding techniques of [Wu, et al. 2022] to networks with more than two modules. Furthermore, we discuss how these two seemingly incompatible approaches can be made to cooperate. Our proposal is implemented and benchmarked; the results confirming that, when orchestrated, the two approaches complement each other's weaknesses. △ Less

Submitted 10 July, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: 30 pages, 18 figures, comments welcome; v2 - Add link to experiment data; v3 - 31 pages, small updates to discussion and references

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.

Journal ref: Phys. Rev. Research 6, L012063 (2024)

Entanglement-efficient bipartite-distributed quantum computing

Authors: Jun-Yi Wu, Kosuke Matsui, Tim Forrer, Akihito Soeda, Pablo Andrés-Martínez, Daniel Mills, Luciana Henaut, Mio Murao

Abstract: In noisy intermediate-scale quantum computing, the limited scalability of a single quantum processing unit (QPU) can be extended through distributed quantum computing (DQC), in which one can implement global operations over two QPUs by entanglement-assisted local operations and classical communication. To facilitate this type of DQC in experiments, we need an entanglement-efficient protocol. To th… ▽ More In noisy intermediate-scale quantum computing, the limited scalability of a single quantum processing unit (QPU) can be extended through distributed quantum computing (DQC), in which one can implement global operations over two QPUs by entanglement-assisted local operations and classical communication. To facilitate this type of DQC in experiments, we need an entanglement-efficient protocol. To this end, we extend the protocol in [Eisert et. al., PRA, 62:052317(2000)] implementing each nonlocal controlled-unitary gate locally with one maximally entangled pair to a packing protocol, which can pack multiple nonlocal controlled-unitary gates locally using one maximally entangled pair. In particular, two types of packing processes are introduced as the building blocks, namely the distributing processes and embedding processes. Each distributing process distributes corresponding gates locally with one entangled pair. The efficiency of entanglement is then enhanced by embedding processes, which merge two non-sequential distributing processes and hence save the entanglement cost. We show that the structure of distributability and embeddability of a quantum circuit can be fully represented by the corresponding packing graphs and conflict graphs. Based on these graphs, we derive heuristic algorithms for finding an entanglement-efficient packing of distributing processes for a given quantum circuit to be implemented by two parties. These algorithms can determine the required number of local auxiliary qubits in the DQC. We apply these algorithms for bipartite DQC of unitary coupled-cluster circuits and find a significant reduction of entanglement cost through embeddings. This method can determine a constructive upper bound on the entanglement cost for the DQC of quantum circuits. △ Less

Submitted 28 November, 2023; v1 submitted 24 December, 2022; originally announced December 2022.

Comments: Published version: 30+10 pages, 22+2 figures, updated with numerical benchmarking of the packing algorithm

Journal ref: Quantum 7, 1196 (2023)

Reversing Unknown Qubit-Unitary Operation, Deterministically and Exactly

Authors: Satoshi Yoshida, Akihito Soeda, Mio Murao

Abstract: 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… ▽ More 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 $\textbf{6}$, 679 (2022)]. 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. △ Less

Submitted 7 September, 2023; v1 submitted 6 September, 2022; originally announced September 2022.

Comments: 6+20 pages, 2+4 figures. All codes are available at https://github.com/sy3104/deterministic_exact_unitary_inversion

Journal ref: Phys. Rev. Lett. 131, 120602 (2023)

Comparison of unknown unitary channels with multiple uses

Authors: Yutaka Hashimoto, Akihito Soeda, Mio Murao

Abstract: Comparison of quantum objects is a task to determine whether two unknown quantum objects are the same or different. It is one of the most basic information processing tasks for learning property of quantum objects, and comparison of quantum states, quantum channels, and quantum measurements have been investigated. In general, repeated uses of quantum objects improve the success probability of comp… ▽ More Comparison of quantum objects is a task to determine whether two unknown quantum objects are the same or different. It is one of the most basic information processing tasks for learning property of quantum objects, and comparison of quantum states, quantum channels, and quantum measurements have been investigated. In general, repeated uses of quantum objects improve the success probability of comparison. The optimal strategy of pure-state comparison, the comparison of quantum states for the case of multiple copies of each unknown pure state, is known, but the optimal strategy of unitary comparison, the comparison of quantum channels for the case of multiple uses of each unknown unitary channel, was not known due to the complication of the varieties of causal order structures among the uses of each unitary channel. In this paper, we investigate unitary comparison with multiple uses of unitary channels based on the quantum tester formalism. We obtain the optimal minimum-error and the optimal unambiguous strategies of unitary comparison of two unknown $d$-dimensional unitary channels $U_1$ and $U_2$ when $U_1$ can be used $N_1$ times and $U_2$ can be used $N_2$ times for $N_2 \ge (d-1)N_1$. These optimal strategies are implemented by parallel uses of the unitary channels, even though all sequential and adaptive strategies implementable by the quantum circuit model are considered. When the number of the smaller uses of the unitary channels $N_1$ is fixed, the optimal averaged success probability cannot be improved by adding more uses of $U_2$ than $N_2 = (d-1) N_1$. This feature is in contrast to the case of pure-state comparison, where adding more copies of the unknown pure states always improves the optimal averaged success probability. It highlights the difference between corresponding tasks for states and channels, which has been previously shown for quantum discrimination tasks. △ Less

Submitted 26 August, 2022; originally announced August 2022.

Transferring quantum information between a quantum system with limited control and a quantum computer

Authors: Ryosuke Sakai, Akihito Soeda, Mio Murao

Abstract: We consider a hybrid quantum system consisting of a qubit system continuously evolving according to its fixed own Hamiltonian and a quantum computer. The qubit system couples to a quantum computer through a fixed interaction Hamiltonian, which can only be switched on and off. We present quantum algorithms to approximately transfer quantum information between the qubit system with limited control a… ▽ More We consider a hybrid quantum system consisting of a qubit system continuously evolving according to its fixed own Hamiltonian and a quantum computer. The qubit system couples to a quantum computer through a fixed interaction Hamiltonian, which can only be switched on and off. We present quantum algorithms to approximately transfer quantum information between the qubit system with limited control and the quantum computer under this setting. Our algorithms are programmed by the gate sequences in a closed formula for a given interface interaction Hamiltonian. △ Less

Submitted 11 October, 2021; originally announced October 2021.

Comments: This preprint is based on the master thesis of Ryosuke Sakai submitted to the Department of Physics, Graduate School of Science, The University of Tokyo in 2016. The content of this preprint is submitted to a chapter in the book "Hybrid Quantum Systems", edited by Yoshiro Hirayama, Koji Ishibashi, and Kae Nemoto, and published by Springer-Nature

Universal construction of decoders from encoding black boxes

Authors: Satoshi Yoshida, Akihito Soeda, Mio Murao

Abstract: Isometry operations encode the quantum information of the input system to a larger output system, while the corresponding decoding operation would be an inverse operation of the encoding isometry operation. Given an encoding operation as a black box from a $d$-dimensional system to a $D$-dimensional system, we propose a universal protocol for isometry inversion that constructs a decoder from multi… ▽ More Isometry operations encode the quantum information of the input system to a larger output system, while the corresponding decoding operation would be an inverse operation of the encoding isometry operation. Given an encoding operation as a black box from a $d$-dimensional system to a $D$-dimensional system, we propose a universal protocol for isometry inversion that constructs a decoder from multiple calls of the encoding operation. This is a probabilistic but exact protocol whose success probability is independent of $D$. For a qubit ($d=2$) encoded in $n$ qubits, our protocol achieves an exponential improvement over any tomography-based or unitary-embedding method, which cannot avoid $D$-dependence. We present a quantum operation that converts multiple parallel calls of any given isometry operation to random parallelized unitary operations, each of dimension $d$. Applied to our setup, it universally compresses the encoded quantum information to a $D$-independent space, while keeping the initial quantum information intact. This compressing operation is combined with a unitary inversion protocol to complete the isometry inversion. We also discover a fundamental difference between our isometry inversion protocol and the known unitary inversion protocols by analyzing isometry complex conjugation and isometry transposition. General protocols including indefinite causal order are searched using semidefinite programming for any improvement in the success probability over the parallel protocols. We find a sequential "success-or-draw" protocol of universal isometry inversion for $d = 2$ and $D = 3$, thus whose success probability exponentially improves over parallel protocols in the number of calls of the input isometry operation for the said case. △ Less

Submitted 14 March, 2023; v1 submitted 1 October, 2021; originally announced October 2021.

Comments: 50 pages, 12 figures. Accepted in Quantum. All codes are available at https://github.com/sy3104/isometry_inversion

Journal ref: Quantum 7, 957 (2023)

The quantum switch is uniquely defined by its action on unitary operations

Authors: Qingxiuxiong Dong, Marco Túlio Quintino, Akihito Soeda, Mio Murao

Abstract: The quantum switch is a quantum process that creates a coherent control between different unitary operations, which is often described as a quantum process which transforms a pair of unitary operations $(U_1, U_2)$ into a controlled unitary operation that coherently applies them in different orders as… ▽ More The quantum switch is a quantum process that creates a coherent control between different unitary operations, which is often described as a quantum process which transforms a pair of unitary operations $(U_1, U_2)$ into a controlled unitary operation that coherently applies them in different orders as ${\vert {0} \rangle\!\langle {0} \vert} \otimes U_1 U_2 + {\vert {1} \rangle\!\langle {1} \vert} \otimes U_2 U_1$. This description, however, does not directly define its action on non-unitary operations. The action of the quantum switch on non-unitary operations is then chosen to be a ``natural'' extension of its action on unitary operations. In general, the action of a process on non-unitary operations is not uniquely determined by its action on unitary operations. It may be that there could be a set of inequivalent extensions of the quantum switch for non-unitary operations. We prove, however, that the natural extension is the only possibility for the quantum switch for the 2-slot case. In other words, contrary to the general case, the action of the quantum switch on non-unitary operations (as a linear and completely CP preserving supermap) is completely determined by its action on unitary operations. We also discuss the general problem of when the complete description of a quantum process is uniquely determined by its action on unitary operations and identify a set of single-slot processes which are completely defined by their action on unitary operations. △ Less

Submitted 6 November, 2023; v1 submitted 31 May, 2021; originally announced June 2021.

Comments: 24 pages, 2 figures. Typos corrected, published version

Report number: volume 7, page 1169

Journal ref: Quantum 7, 1169 (2023)

Unitary channel discrimination beyond group structures: Advantages of sequential and indefinite-causal-order strategies

Authors: Jessica Bavaresco, Mio Murao, Marco Túlio Quintino

Abstract: For minimum-error channel discrimination tasks that involve only unitary channels, we show that sequential strategies may outperform the parallel ones. Additionally, we show that general strategies that involve indefinite causal order are also advantageous for this task. However, for the task of discriminating a uniformly distributed set of unitary channels that forms a group, we show that paralle… ▽ More For minimum-error channel discrimination tasks that involve only unitary channels, we show that sequential strategies may outperform the parallel ones. Additionally, we show that general strategies that involve indefinite causal order are also advantageous for this task. However, for the task of discriminating a uniformly distributed set of unitary channels that forms a group, we show that parallel strategies are, indeed, optimal, even when compared to general strategies. We also show that strategies based on the quantum switch cannot outperform sequential strategies in the discrimination of unitary channels. Finally, we derive an absolute upper bound for the maximal probability of successfully discriminating any set of unitary channels with any number of copies for the most general strategies that are suitable for channel discrimination. Our bound is tight since it is saturated by sets of unitary channels forming a group k-design. △ Less

Submitted 13 May, 2022; v1 submitted 27 May, 2021; originally announced May 2021.

Comments: 10 + 14 pages, 4 figures. Code available at https://github.com/mtcq/unitary_channel_discrimination

Journal ref: J. Math. Phys. 63, 042203 (2022)

Optimal quantum discrimination of single-qubit unitary gates between two candidates

Authors: Akihito Soeda, Atsushi Shimbo, Mio Murao

Abstract: We analyze a discrimination problem of a single-qubit unitary gate with two candidates, where the candidates are not provided with their classical description, but their quantum sample is. More precisely, there are three unitary quantum gates -- one target and one sample for each of the two candidates -- whose classical description is unknown except for their dimension. The target gate is chosen e… ▽ More We analyze a discrimination problem of a single-qubit unitary gate with two candidates, where the candidates are not provided with their classical description, but their quantum sample is. More precisely, there are three unitary quantum gates -- one target and one sample for each of the two candidates -- whose classical description is unknown except for their dimension. The target gate is chosen equally among the candidates. We obtain the optimal protocol that maximizes the expected success probability, assuming the Haar distribution for the candidates. This problem is originally introduced in Hillery et al. (J. Mod. Opt. 2010), which provides a protocol achieving 7/8 in the expected success probability based on the ``unitary comparison" protocol of Andersson et al. (J. Phys. A 2003). The optimality of the protocol has been an open question since then. We prove the optimality of the comparison protocol, implying that only one of the two samples (one for each candidate) is needed to achieve an optimal discrimination. The optimization includes protocols outside the scope of quantum testers due to the dynamic ordering of the sample and target gates within a given protocol. △ Less

Submitted 24 August, 2021; v1 submitted 15 March, 2021; originally announced March 2021.

Comments: 11 pages, 3 figures; effectively published version; title changed from ver. 1

Journal ref: Phys. Rev. A 104, 022422 (2021)

Strict hierarchy between parallel, sequential, and indefinite-causal-order strategies for channel discrimination

Authors: Jessica Bavaresco, Mio Murao, Marco Túlio Quintino

Abstract: We present an instance of a task of minimum-error discrimination of two qubit-qubit quantum channels for which a sequential strategy outperforms any parallel strategy. We then establish two new classes of strategies for channel discrimination that involve indefinite causal order and show that there exists a strict hierarchy among the performance of all four strategies. Our proof technique employs… ▽ More We present an instance of a task of minimum-error discrimination of two qubit-qubit quantum channels for which a sequential strategy outperforms any parallel strategy. We then establish two new classes of strategies for channel discrimination that involve indefinite causal order and show that there exists a strict hierarchy among the performance of all four strategies. Our proof technique employs a general method of computer-assisted proofs. We also provide a systematic method for finding pairs of channels that showcase this phenomenon, demonstrating that the hierarchy between the strategies is not exclusive to our main example. △ Less

Submitted 17 November, 2021; v1 submitted 16 November, 2020; originally announced November 2020.

Comments: 6 + 13 pages, 4 figures. Code available at https://github.com/mtcq/channel_discrimination

Journal ref: Phys. Rev. Lett. 127, 200504 (2021)

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

Authors: Qingxiuxiong Dong, Marco Túlio Quintino, Akihito Soeda, Mio Murao

Abstract: 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 transf… ▽ More 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. △ Less

Submitted 18 April, 2021; v1 submitted 2 November, 2020; originally announced November 2020.

Comments: 17 pages, 4 figures

Journal ref: Phys. Rev. Lett. 126, 150504 (2021)

Complementary properties of multiphoton quantum states in linear optics networks

Authors: Jun-Yi Wu, Mio Murao

Abstract: We have developed a theory for accessing quantum coherences in mutually unbiased bases associated with generalized Pauli operators in multiphoton multimode linear optics networks (LONs). We show a way to construct complementary Pauli measurements in multiphoton LONs and establish a theory for evaluation of their photonic measurement statistics without dealing with the computational complexity of B… ▽ More We have developed a theory for accessing quantum coherences in mutually unbiased bases associated with generalized Pauli operators in multiphoton multimode linear optics networks (LONs). We show a way to construct complementary Pauli measurements in multiphoton LONs and establish a theory for evaluation of their photonic measurement statistics without dealing with the computational complexity of Boson samplings. This theory extends characterization of complementary properties in single-photon LONs to multiphoton LONs employing convex-roof extension. It allows us to detect quantum properties such as entanglement using complementary Pauli measurements, which reveals the physical significance of entanglement between modes in bipartite multiphoton LONs. △ Less

Submitted 24 October, 2020; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 25 pages + list of notations and acronyms + references; 10 figures; published version

Journal ref: New J. Phys. 22 103054 (2020)

Consequences of preserving reversibility in quantum superchannels

Authors: Wataru Yokojima, Marco Túlio Quintino, Akihito Soeda, Mio Murao

Abstract: Similarly to quantum states, quantum operations can also be transformed by means of quantum superchannels, also known as process matrices. Quantum superchannels with multiple slots are deterministic transformations whichtake independent quantum operations as inputs. While they are enforced to respect the laws of quantum mechanics, the use of input operations may lack a definite causal order, and c… ▽ More Similarly to quantum states, quantum operations can also be transformed by means of quantum superchannels, also known as process matrices. Quantum superchannels with multiple slots are deterministic transformations whichtake independent quantum operations as inputs. While they are enforced to respect the laws of quantum mechanics, the use of input operations may lack a definite causal order, and characterizations of general superchannels in terms of quantum objects with a physical implementation have been missing. In this paper, we provide a mathematical characterization for pure superchannels with two slots (also known as bipartite pure processes), which are superchannels preserving the reversibility of quantum operations. We show that the reversibility preserving condition restricts all pure superchannels with two slots to be either a quantum circuit only consisting of unitary operations or a coherent superposition of two unitary quantum circuits where the two input operations are differently ordered. The latter may be seen as a generalization of the quantum switch, allowing a physical interpretation for pure two-slot superchannels. An immediate corollary is that purifiable bipartite processes cannot violate device-independent causal inequalities. △ Less

Submitted 27 April, 2021; v1 submitted 12 March, 2020; originally announced March 2020.

Comments: 59 pages, 22 figures. Many parts of the text and some figures were improved. The key ideas of the proofs for the main results are presented. Minor changes from v3 and v4

Journal ref: Quantum 5, 441 (2021)

Controlled quantum operations and combs, and their applications to universal controllization of divisible unitary operations

Authors: Qingxiuxiong Dong, Shojun Nakayama, Akihito Soeda, Mio Murao

Abstract: Unitary operations are a fundamental component of quantum algorithms, but they seem to be far more useful if given with a "quantum control" as a controlled unitary operation. However, quantum operations are not limited to unitary operations. Nevertheless, it is not a priori clear if a controlled form of these general deterministic quantum operations can be well-defined. To provide a novel tool in… ▽ More Unitary operations are a fundamental component of quantum algorithms, but they seem to be far more useful if given with a "quantum control" as a controlled unitary operation. However, quantum operations are not limited to unitary operations. Nevertheless, it is not a priori clear if a controlled form of these general deterministic quantum operations can be well-defined. To provide a novel tool in the toolbox for quantum programming, we propose a mathematically consistent definition of a controlled form of deterministic but non-unitary quantum operations and, more generally, of quantum combs. We propose a "neutralization" comb, which transforms a set of input quantum operations to the identity operation, and study its controlled form based on our definition. We propose two new quantum algorithms for universal controllization of divisible unitary operations utilizing the most coherently controlled neutralization combs. △ Less

Submitted 15 June, 2021; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: 22 pages, 13 figures

Probabilistic exact universal quantum circuits for transforming unitary operations

Authors: Marco Túlio Quintino, Qingxiuxiong Dong, Atsushi Shimbo, Akihito Soeda, Mio Murao

Abstract: 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, an… ▽ More 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. △ Less

Submitted 15 April, 2020; v1 submitted 3 September, 2019; originally announced September 2019.

Comments: Closer to the published version. Typos were corrected and more details on SDP methods are now provided. This paper includes results that were removed from the first version our previous work (arXiv:1810.06944). Matlab code to accompany this article can be found at https://github.com/mtcq/unitary_inverse

Journal ref: Phys. Rev. A 100, 062339 (2019)

Robust controllability of two-qubit Hamiltonian dynamics

Authors: Ryosuke Sakai, Akihito Soeda, Mio Murao, Daniel Burgarth

Abstract: 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… ▽ More 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. △ Less

Submitted 14 August, 2019; v1 submitted 22 March, 2019; originally announced March 2019.

Comments: 8 pages, 5 figures

Journal ref: Phys. Rev. A 100, 042305 (2019)

Spread quantum information in one-shot quantum state merging

Authors: Hayata Yamasaki, Mio Murao

Abstract: We prove the difference between the minimal entanglement costs in quantum state merging under one-way and two-way communication in a one-shot scenario, whereas they have been known to coincide asymptotically. While the minimal entanglement cost in state merging under one-way communication is conventionally interpreted to characterize partial quantum information conditioned by quantum side informat… ▽ More We prove the difference between the minimal entanglement costs in quantum state merging under one-way and two-way communication in a one-shot scenario, whereas they have been known to coincide asymptotically. While the minimal entanglement cost in state merging under one-way communication is conventionally interpreted to characterize partial quantum information conditioned by quantum side information, we introduce a notion of spread quantum information evaluated by the corresponding cost under two-way communication. Spread quantum information quantitatively characterizes how nonlocally one-shot quantum information is spread, and it cannot be interpreted as partial quantum information. △ Less

Submitted 9 April, 2019; v1 submitted 8 March, 2019; originally announced March 2019.

Comments: 14 pages, 1 figure, 1 table

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

Authors: Eyuri Wakakuwa, Akihito Soeda, Mio Murao

Abstract: 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… ▽ More 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. △ Less

Submitted 22 October, 2018; v1 submitted 19 October, 2018; originally announced October 2018.

Comments: 9 pages, 5 figures. Most of the results in this paper are the same as those in arXiv:1608.07461. In the current version, however, we compare two-round protocols to a three-round one, not to a four-round one as in the previous version. Presentations are improved

Journal ref: Phys. Rev. Lett. 122, 190502 (2019)

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

Authors: Marco Túlio Quintino, Qingxiuxiong Dong, Atsushi Shimbo, Akihito Soeda, Mio Murao

Abstract: 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 perfo… ▽ More 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. △ Less

Submitted 15 April, 2020; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: Closer to the published version. This version slightly improves the text and provides more details on the proof of Theorem 2. Part of the technical methods are presented at arXiv:1909.01366. Matlab code to accompany this article can be found at https://github.com/mtcq/unitary_inverse

Journal ref: Phys. Rev. Lett. 123, 210502 (2019)

Implementing positive maps with multiple copies of an input state

Authors: Qingxiuxiong Dong, Marco Túlio Quintino, Akihito Soeda, Mio Murao

Abstract: 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… ▽ More 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. △ Less

Submitted 31 May, 2019; v1 submitted 17 August, 2018; originally announced August 2018.

Comments: 12 pages

Journal ref: Phys. Rev. A 99, 052352 (2019)

Multipartite entanglement outperforming bipartite entanglement under limited quantum system sizes

Authors: Hayata Yamasaki, Alexander Pirker, Mio Murao, Wolfgang Dür, Barbara Kraus

Abstract: Multipartite quantum entanglement serves as a resource for spatially separated parties performing distributed quantum information processing. Any multipartite entangled state can be generated from appropriately distributed bipartite entangled states by local operations and classical communication (LOCC), and in this sense, any distributed process based on shared multipartite entanglement and LOCC… ▽ More Multipartite quantum entanglement serves as a resource for spatially separated parties performing distributed quantum information processing. Any multipartite entangled state can be generated from appropriately distributed bipartite entangled states by local operations and classical communication (LOCC), and in this sense, any distributed process based on shared multipartite entanglement and LOCC is simulatable by using only bipartite entangled states and LOCC. We show here that this reduction scenario does not hold when there exists a limitation on the size of the local quantum system of each party. Under such a limitation, we prove that there exists a set of multipartite quantum states such that these states in the set cannot be prepared from any distribution of bipartite entanglement while the states can be prepared from a common resource state exhibiting multipartite entanglement. We also show that temporal uses of bipartite quantum communication resources within a limitation of local system sizes are sufficient for preparing this common resource state exhibiting multipartite entanglement, yet there also exist other states exhibiting multipartite entanglement which cannot be prepared even in this setting. Hence, when the local quantum system sizes are limited, multipartite entanglement is an indispensable resource without which certain processes still cannot be accomplished. △ Less

Submitted 16 November, 2018; v1 submitted 31 July, 2018; originally announced August 2018.

Comments: 11 pages, 6 figures, published in Physical Review A (Editors' Suggestion)

Journal ref: Phys. Rev. A 98, 052313 (2018)

Distributed Encoding and Decoding of Quantum Information over Networks

Authors: Hayata Yamasaki, Mio Murao

Abstract: Encoding and decoding quantum information in a multipartite quantum system are indispensable for quantum error correction and also play crucial roles in multiparty tasks in distributed quantum information processing such as quantum secret sharing. To quantitatively characterize nonlocal properties of multipartite quantum transformations for encoding and decoding, we analyze entanglement costs of e… ▽ More Encoding and decoding quantum information in a multipartite quantum system are indispensable for quantum error correction and also play crucial roles in multiparty tasks in distributed quantum information processing such as quantum secret sharing. To quantitatively characterize nonlocal properties of multipartite quantum transformations for encoding and decoding, we analyze entanglement costs of encoding and decoding quantum information in a multipartite quantum system distributed among spatially separated parties connected by a network. This analysis generalizes previous studies of entanglement costs for preparing bipartite and multipartite quantum states and implementing bipartite quantum transformations by entanglement-assisted local operations and classical communication (LOCC). We identify conditions for the parties being able to encode or decode quantum information in the distributed quantum system deterministically and exactly, when inter-party quantum communication is restricted to a tree-topology network. In our analysis, we reduce the multiparty tasks of implementing the encoding and decoding to sequential applications of one-shot zero-error quantum state splitting and merging for two parties. While encoding and decoding are inverse tasks of each other, our results suggest that a quantitative difference in entanglement cost between encoding and decoding arises due to the difference between quantum state merging and splitting. △ Less

Submitted 1 April, 2019; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: 25 pages, 4 figures

Journal ref: Adv. Quantum Technol. 2019, 2, 1800066

Quantum State Merging for Arbitrarily Small-Dimensional Systems

Authors: Hayata Yamasaki, Mio Murao

Abstract: Recent advances in quantum technology facilitate the realization of information processing using quantum computers at least on the small and intermediate scales of up to several dozens of qubits. We investigate entanglement cost required for one-shot quantum state merging, aiming at quantum state transformation on these scales. In contrast to existing coding algorithms achieving nearly optimal app… ▽ More Recent advances in quantum technology facilitate the realization of information processing using quantum computers at least on the small and intermediate scales of up to several dozens of qubits. We investigate entanglement cost required for one-shot quantum state merging, aiming at quantum state transformation on these scales. In contrast to existing coding algorithms achieving nearly optimal approximate quantum state merging on a large scale, we construct algorithms for exact quantum state merging so that the algorithms are applicable to any given state of an arbitrarily small-dimensional system. In the algorithms, entanglement cost can be reduced depending on a structure of the given state derived from the Koashi-Imoto decomposition. We also provide improved converse bounds for exact quantum state merging achievable for qubits but not necessarily achievable in general. As for approximate quantum state merging, we obtain algorithms and improved converse bounds by applying smoothing to those for exact state merging. Our results are applicable to distributed quantum information processing and multipartite entanglement transformation on small and intermediate scales. △ Less

Submitted 14 June, 2019; v1 submitted 18 June, 2018; originally announced June 2018.

Comments: 23 pages, 2 figures

Journal ref: IEEE Transactions on Information Theory ( Volume: 65 , Issue: 6 , Pages: 3950 - 3972 , June 2019 )

Equivalence determination of unitary operations

Authors: Atsushi Shimbo, Akihito Soeda, Mio Murao

Abstract: 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… ▽ More 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. △ Less

Submitted 30 March, 2018; originally announced March 2018.

Comments: 17 pages with 9 pages of supplemental material

Journeys from Quantum Optics to Quantum Technology

Authors: Stephen M. Barnett, Almut Beige, Artur Ekert, Barry M. Garraway, Christoph H. Keitel, Viv Kendon, Manfred Lein, Gerard J. Milburn, Hector M. Moya-Cessa, Mio Murao, Jiannis K. Pachos, G. Massimo Palma, Emmanuel Paspalakis, Simon J. D. Phoenix, Bernard Piraux, Martin B. Plenio, Barry C. Sanders, Jason Twamley, A. Vidiella-Barranco, M. S. Kim

Abstract: Sir Peter Knight is a pioneer in quantum optics which has now grown to an important branch of modern physics to study the foundations and applications of quantum physics. He is leading an effort to develop new technologies from quantum mechanics. In this collection of essays, we recall the time we were working with him as a postdoc or a PhD student and look at how the time with him has influenced… ▽ More Sir Peter Knight is a pioneer in quantum optics which has now grown to an important branch of modern physics to study the foundations and applications of quantum physics. He is leading an effort to develop new technologies from quantum mechanics. In this collection of essays, we recall the time we were working with him as a postdoc or a PhD student and look at how the time with him has influenced our research. △ Less

Submitted 9 July, 2017; originally announced July 2017.

Journal ref: Progress in Quantum Electronics 54:19-45 (Aug 2017)

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

Authors: Jisho Miyazaki, Akihito Soeda, Mio Murao

Abstract: 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 t… ▽ More 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. △ Less

Submitted 5 September, 2019; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: ver.5: published version, 5 pages, 2 figures, double-column

Journal ref: Phys. Rev. Research 1, 013007 (2019)

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

Authors: Hayata Yamasaki, Akihito Soeda, Mio Murao

Abstract: 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 con… ▽ More 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. △ Less

Submitted 20 September, 2017; v1 submitted 28 April, 2017; originally announced May 2017.

Comments: 19 pages, 7 figures, published version

Journal ref: Phys. Rev. A 96, 032330 (2017)

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

Authors: Yuichiro Matsuzaki, Shojun Nakayama, Akihito Soeda, Mio Murao, Shiro Saito

Abstract: 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 meas… ▽ More 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. △ Less

Submitted 12 November, 2016; originally announced November 2016.

Journal ref: Phys. Rev. A 95, 062106 (2017)

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

Authors: Eyuri Wakakuwa, Akihito Soeda, Mio Murao

Abstract: 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… ▽ More 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. △ Less

Submitted 29 October, 2018; v1 submitted 26 August, 2016; originally announced August 2016.

Comments: Superseded by improved results in arXiv:1810.08447

Entanglement-assisted classical communication can simulate classical communication without causal order

Authors: Seiseki Akibue, Masaki Owari, Go Kato, Mio Murao

Abstract: Phenomena induced by the existence of entanglement, such as nonlocal correlations, exhibit characteristic properties of quantum mechanics distinguishing from classical theories. When entanglement is accompanied by classical communication, it enhances the power of quantum operations jointly performed by two spatially separated parties. Such a power has been analyzed by the gap between the performan… ▽ More Phenomena induced by the existence of entanglement, such as nonlocal correlations, exhibit characteristic properties of quantum mechanics distinguishing from classical theories. When entanglement is accompanied by classical communication, it enhances the power of quantum operations jointly performed by two spatially separated parties. Such a power has been analyzed by the gap between the performances of joint quantum operations implementable by local operations at each party connected by classical communication with and without the assistance of entanglement. In this work, we present a new formulation for joint quantum operations connected by classical communication beyond special relativistic causal order but without entanglement and still within quantum mechanics. Using the formulation, we show that entanglement assisting classical communication necessary for implementing a class of joint quantum operations called separable maps can be interpreted to simulate "classical communication" not respecting causal order. Our results reveal a new counter-intuitive aspect of entanglement related to spacetime. △ Less

Submitted 27 December, 2017; v1 submitted 29 February, 2016; originally announced February 2016.

Journal ref: Phys. Rev. A 96, 062331 (2017)

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

Authors: Eyuri Wakakuwa, Akihito Soeda, Mio Murao

Abstract: 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 f… ▽ More 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. △ Less

Submitted 23 March, 2018; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: 12 pages, 2 figures

Journal ref: IEEE Trans. Inf. Theory, vol.63, no.8, pp.5360 - 5371 (2017)

A Coding Theorem for Bipartite Unitaries in Distributed Quantum Computation

Authors: Eyuri Wakakuwa, Akihito Soeda, Mio Murao

Abstract: 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 classi… ▽ More 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. △ Less

Submitted 23 March, 2018; v1 submitted 17 May, 2015; originally announced May 2015.

Comments: 32 pages, 8 figures

Journal ref: IEEE Trans. Inf. Theory, vol.63, no.8, pp.5372 - 5403 (2017)

Information-theoretical analysis of topological entanglement entropy and multipartite correlations

Authors: Kohtaro Kato, Fabian Furrer, Mio murao

Abstract: A special feature of the ground state in a topologically ordered phase is the existence of large scale correlations depending only on the topology of the regions. These correlations can be detected by the topological entanglement entropy or by a measure called irreducible correlation. We show that these two measures coincide for states obeying an area law and having zero-correlation length. Moreov… ▽ More A special feature of the ground state in a topologically ordered phase is the existence of large scale correlations depending only on the topology of the regions. These correlations can be detected by the topological entanglement entropy or by a measure called irreducible correlation. We show that these two measures coincide for states obeying an area law and having zero-correlation length. Moreover, we provide an operational meaning for these measures by proving its equivalence to the optimal rate of a particular class of secret sharing protocols. This establishes an information-theoretical approach to multipartite correlations in topologically ordered systems. △ Less

Submitted 8 January, 2016; v1 submitted 7 May, 2015; originally announced May 2015.

Comments: 13 pages, 4 figures included, article submitted to Physical Review A. v2: The title is changed. A result for Kitaev-Preskill type configuration is added. The partial results for systems with finite correlation length are improved

Journal ref: Phys. Rev. A 93, 022317 (2016)

Markovianizing Cost of Tripartite Quantum States

Authors: Eyuri Wakakuwa, Akihito Soeda, Mio Murao

Abstract: 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, usin… ▽ More 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. △ Less

Submitted 7 December, 2016; v1 submitted 22 April, 2015; originally announced April 2015.

Comments: 19 pages, 6 figures. Definition 6 is added; the statements of Theorem 1, Theorem 7, Lemma 11, Lemma 12, and Remark in the end of Section II are modified; and the proofs in Appendix B-C and B-D are modified. The main results are unchanged

Journal ref: IEEE Trans. Inf. Theory, vol.63, no.2, pp.1280 - 1298 (2017)