Showing 1–46 of 46 results for author: Soeda, A

Universal adjointation of isometry operations using transformation 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 develo** 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 develo** 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 convert 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 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 15 February, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: 65 pages, 6 figures. All codes are available at https://github.com/sy3104/isometry_adjointation

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)

Fast simulation for multi-photon, atomic-ensemble quantum model of linear optical systems addressing the curse of dimensionality

Authors: Junpei Oba, Seiji Kajita, Akihito Soeda

Abstract: Photons are elementary particles of light in quantum mechanics, whose dynamics can be difficult to gain detailed insights, especially in complex systems. Simulation is a promising tool to resolve this issue, but it must address the curse of dimensionality, namely, that the number of bases increases exponentially in the number of photons. Here we mitigate this dimensionality scaling by focusing on… ▽ More Photons are elementary particles of light in quantum mechanics, whose dynamics can be difficult to gain detailed insights, especially in complex systems. Simulation is a promising tool to resolve this issue, but it must address the curse of dimensionality, namely, that the number of bases increases exponentially in the number of photons. Here we mitigate this dimensionality scaling by focusing on optical systems composed of linear optical objects, modeled as an ensemble of two-level atoms. We decompose the time evolutionary operator on multiple photons into a group of time evolution operators acting on a single photon. Since the dimension of a single-photon time evolution operator is exponentially smaller than that of a multi-photon one in the number of photons, the decomposition enables the multi-photon simulations to be performed at a much lower computational cost. We apply this method to basic single- and multi-photon phenomena, such as Hong-Ou-Mandel interference and violation of the Bell-CHSH inequality, and confirm that the calculated properties are quantitatively comparable to the experimental results. Furthermore, our method visualizes the spatial propagation of photons hence provides insights that aid experiment designs for quantum-enabled technologies. △ Less

Submitted 20 February, 2024; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 18 pages, 6 figures, 1 table, published in Sci Rep

Journal ref: Scientific Reports 14, 3208 (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 kee** 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)

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)

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)

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)

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)

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

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

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)

Logically reversible measurements: Construction and application

Authors: Sunho Kim, Juncheng Wang, Asutosh Kumar, Akihito Soeda, Junde Wu

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

Submitted 8 November, 2017; v1 submitted 11 November, 2015; originally announced November 2015.

Journal ref: Physics Letters A 381, 2017, 3460-3464

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)

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)

Reply to Comment on "Contextuality in bosonic bunching"

Authors: Pawel Kurzynski, Akihito Soeda, Jayne Thompson, Dagomir Kaszlikowski

Abstract: This is a reply to arXiv:1409.7513 [Phys. Rev. Lett. 113, 138901 (2014)]. This is a reply to arXiv:1409.7513 [Phys. Rev. Lett. 113, 138901 (2014)]. △ Less

Submitted 29 September, 2014; originally announced September 2014.

Comments: Reply to arXiv:1409.7513 [Phys. Rev. Lett. 113, 138901 (2014)]. See also arXiv:1306.3700 and arXiv:1212.5502

Journal ref: Phys. Rev. Lett. 113, 138902 (2014)

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

Authors: Akihito Soeda, Seiseki Akibue, Mio Murao

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

Submitted 10 April, 2014; originally announced April 2014.

Comments: 13 pages, 2 figures; accepted for publication in a special issue of Journal of Physics A, "50 years of Bell's theorem"; almost published version

Journal ref: 2014 J. Phys. A: Math. Theor. 47 424036

Quantum algorithm for universal implementation of projective measurement of energy

Authors: Shojun Nakayama, Akihito Soeda, Mio Murao

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

Submitted 14 April, 2015; v1 submitted 11 October, 2013; originally announced October 2013.

Comments: 4 pages with 9-page supplemental, 4 figures. Comments welcome

Journal ref: Phys. Rev. Lett. 114, 190501 (2015)

Coherent states of composite bosons

Authors: Su-Yong Lee, Jayne Thompson, Pawel Kurzynski, Akihito Soeda, Dagomir Kaszlikowski

Abstract: We present a systematic analysis on coherent states of composite bosons consisting of two distinguishable particles. By defining an effective composite boson (coboson) annihilation operator, we derive its eigenstate and commutator. Depending on the elementary particles comprising the composite particles, we gauge the resemblance between this eigenstate and traditional coherent states through typic… ▽ More We present a systematic analysis on coherent states of composite bosons consisting of two distinguishable particles. By defining an effective composite boson (coboson) annihilation operator, we derive its eigenstate and commutator. Depending on the elementary particles comprising the composite particles, we gauge the resemblance between this eigenstate and traditional coherent states through typical measures of nonclassicality, such as quadrature variances and Mandel's Q parameter. Furthermore, we show that the eigenstate of the coboson annihilation operator is useful in estimating the maximum eigenvalue of the coboson number operator. △ Less

Submitted 5 December, 2013; v1 submitted 18 September, 2013; originally announced September 2013.

Comments: Published version, 4 pages, 1 figure

Journal ref: Phys. Rev. A 88, 063602 (2013)

Contextuality in bosonic bunching

Authors: Pawel Kurzynski, Akihito Soeda, Jayne Thompson, Dagomir Kaszlikowski

Abstract: We show that under certain assumptions one can derive a variant of Specker's non-contextual inequality for a system of three indistinguishable bosonic particles. The inequality states that the sum of probabilities of three pairwise exclusive events is bounded by one. This inequality cannot be violated using standard quantum mechanical projectors. On the other hand, due to bosonic properties this b… ▽ More We show that under certain assumptions one can derive a variant of Specker's non-contextual inequality for a system of three indistinguishable bosonic particles. The inequality states that the sum of probabilities of three pairwise exclusive events is bounded by one. This inequality cannot be violated using standard quantum mechanical projectors. On the other hand, due to bosonic properties this bound is violated up to 3/2. We also argue that the violation of this inequality can be considered as a test of bosonic nature. △ Less

Submitted 16 June, 2013; originally announced June 2013.

Comments: 4 pages, 1 figure, extended version of arXiv:1211.6907, discussion includes response to arXiv:1212.5502

Recent advances in contextuality tests

Authors: Jayne Thompson, Pawel Kurzynski, Su-Yong Lee, Akihito Soeda, Dagomir Kaszlikowski

Abstract: Our everyday experiences support the hypothesis that physical systems exist independently of the act of observation. Concordant theories are characterized by the objective realism assumption whereby the act of measurement simply reveals preexisting well defined elements of reality. In stark contrast quantum mechanics portrays a world in which reality loses its objectivity and is in fact created by… ▽ More Our everyday experiences support the hypothesis that physical systems exist independently of the act of observation. Concordant theories are characterized by the objective realism assumption whereby the act of measurement simply reveals preexisting well defined elements of reality. In stark contrast quantum mechanics portrays a world in which reality loses its objectivity and is in fact created by observation. Quantum contextuality as first discovered by Bell [Rev. Mod. Phys. 38, 447 (1966)] and Kochen-Specker [J. Math. Mech. 17, 59 (1967)] captures aspects of this philosophical clash between classical and quantum descriptions of the world. Here we briefly summarize some of the more recent advances in the field of quantum contextuality. We approach quantum contextuality through its close relation to Bell type nonlocal scenarios and highlight some of the rapidly develo** tests and experimental implementations. △ Less

Submitted 4 April, 2013; originally announced April 2013.

Comments: 45 pages, 8 figures

Unified approach to contextuality, non-locality, and temporal correlations

Authors: M. Markiewicz, P. Kurzynski, J. Thompson, S. -Y. Lee, A. Soeda, T. Paterek, D. Kaszlikowski

Abstract: We highlight the existence of a joint probability distribution as the common underpinning assumption behind Bell-type, contextuality, and Leggett-Garg-type tests. We then present a procedure to translate contextual scenarios into temporal Leggett-Garg-type and spatial Bell-type ones. To demonstrate the generality of this approach we construct a family of spatial Bell-type inequalities. We show tha… ▽ More We highlight the existence of a joint probability distribution as the common underpinning assumption behind Bell-type, contextuality, and Leggett-Garg-type tests. We then present a procedure to translate contextual scenarios into temporal Leggett-Garg-type and spatial Bell-type ones. To demonstrate the generality of this approach we construct a family of spatial Bell-type inequalities. We show that in Leggett-Garg scenario a necessary condition for contextuality in time is given by a violation of consistency conditions in Consistent Histories approach to quantum mechanics. △ Less

Submitted 21 January, 2014; v1 submitted 14 February, 2013; originally announced February 2013.

Comments: 6 pages, 1 figure

Journal ref: Phys. Rev. A 89, 042109 (2014)

Hidden variable problem for a family of continuously many spin 1 measurements

Authors: Pawel Kurzynski, Akihito Soeda, Bartlomiej Bzdega, Dagomir Kaszlikowski

Abstract: We study a continuous set of spin 1 measurements and show that for a special family of measurements parametrized by a single variable $θ$ the possibility of hidden-variable description is a discontinuous property. We study a continuous set of spin 1 measurements and show that for a special family of measurements parametrized by a single variable $θ$ the possibility of hidden-variable description is a discontinuous property. △ Less

Submitted 4 December, 2012; originally announced December 2012.

Comments: 4+ pages, comments welcome

Journal ref: Phys. Rev. A 87, 022127 (2013)

Bosonic bunching reveals strong contextual behaviour

Authors: Pawel Kurzynski, Akihito Soeda, Jayne Thompson, Dagomir Kaszlikowski

Abstract: We show that violation of Klyachko-Can-Binicioglu-Shumovsky [Phys. Rev. Lett. {\bf 101}, 020403 (2008)] pentagram-like inequality can exceed $\sqrt{5}$ provided that exclusive events do not have to be comeasurable and that one uses bosonic systems which exhibit bunching effects. We also show that in this case one can find three pairwise exclusive events whose sum of probabilities is 3/2. We show that violation of Klyachko-Can-Binicioglu-Shumovsky [Phys. Rev. Lett. {\bf 101}, 020403 (2008)] pentagram-like inequality can exceed $\sqrt{5}$ provided that exclusive events do not have to be comeasurable and that one uses bosonic systems which exhibit bunching effects. We also show that in this case one can find three pairwise exclusive events whose sum of probabilities is 3/2. △ Less

Submitted 29 November, 2012; originally announced November 2012.

Comments: 2 pages, 2 figures, comments welcome

The relation between nonlocality and contextuality for a biphoton

Authors: Akihito Soeda, Pawel Kurzynski, Ravishankar Ramanathan, Kavan Modi, Dagomir Kaszlikowski

Abstract: We investigate the set of qutrit states in terms of symmetric states of two qubits that violate the minimal contextual inequality, namely the Klyachko-Can-Binicoglu-Shumovsky (KCBS) inequality. The physical system that provides a natural framework for this problem is a biphoton which consists of two photons in the same spatio-temporal mode and whose effective polarization behaves as a three-level… ▽ More We investigate the set of qutrit states in terms of symmetric states of two qubits that violate the minimal contextual inequality, namely the Klyachko-Can-Binicoglu-Shumovsky (KCBS) inequality. The physical system that provides a natural framework for this problem is a biphoton which consists of two photons in the same spatio-temporal mode and whose effective polarization behaves as a three-level quantum system. The relationship between the KCBS contextual inequality and the Clauser-Horne-Shimony-Holt (CHSH) inequality is investigated. We find that every biphotonic state that is contextual with respect to KCBS is nonlocal as per the CHSH test when the two photons are apart, but the converse is not true. △ Less

Submitted 26 February, 2013; v1 submitted 9 July, 2012; originally announced July 2012.

Comments: Close to the published version

Journal ref: Phys. Rev. A 87, 022120 (2013)

Generalized monogamy of contextual inequalities from the no-disturbance principle

Authors: Ravishankar Ramanathan, Akihito Soeda, Pawel Kurzynski, Dagomir Kaszlikowski

Abstract: In this paper we demonstrate that the property of monogamy of Bell violations seen for no-signaling correlations in composite systems can be generalized to the monogamy of contextuality in single systems obeying the Gleason property of no-disturbance. We show how one can construct monogamies for contextual inequalities by using the graph-theoretic technique of vertex decomposition of a graph repre… ▽ More In this paper we demonstrate that the property of monogamy of Bell violations seen for no-signaling correlations in composite systems can be generalized to the monogamy of contextuality in single systems obeying the Gleason property of no-disturbance. We show how one can construct monogamies for contextual inequalities by using the graph-theoretic technique of vertex decomposition of a graph representing a set of measurements into subgraphs of suitable independence numbers that themselves admit a joint probability distribution. After establishing that all the subgraphs that are chordal graphs admit a joint probability distribution, we formulate a precise graph-theoretic condition that gives rise to the monogamy of contextuality. We also show how such monogamies arise within quantum theory for a single four-dimensional system and interpret violation of these relations in terms of a violation of causality. These monogamies can be tested with current experimental techniques. △ Less

Submitted 17 September, 2012; v1 submitted 27 January, 2012; originally announced January 2012.

Comments: 7 pages, 3 figures

Journal ref: Phys. Rev. Lett. 109, 050404 (2012)

Experimental undecidability of macroscopic quantumness

Authors: Pawel Kurzynski, Akihito Soeda, Ravishankar Ramanathan, Andrzej Grudka, Jayne Thompson, Dagomir Kaszlikowski

Abstract: Quantum mechanics marks a radical departure from the classical understanding of Nature, fostering an inherent randomness which forbids a deterministic description; yet the most fundamental departure arises from something different. As shown by Bell [1] and Kochen-Specker [2], quantum mechanics portrays a picture of the world in which reality loses its objectivity and is in fact created by observat… ▽ More Quantum mechanics marks a radical departure from the classical understanding of Nature, fostering an inherent randomness which forbids a deterministic description; yet the most fundamental departure arises from something different. As shown by Bell [1] and Kochen-Specker [2], quantum mechanics portrays a picture of the world in which reality loses its objectivity and is in fact created by observation. Quantum mechanics predicts phenomena which cannot be explained by any theory with objective realism, although our everyday experience supports the hypothesis that macroscopic objects, despite being made of quantum particles, exist independently of the act of observation; in this paper we identify this behavior as classical. Here we show that this seemingly obvious classical behavior of the macroscopic world cannot be experimentally tested and belongs to the realm of ontology similar to the dispute on the interpretations of quantum mechanics [3,4]. For small systems such as a single photon [5] or a pair [6], it has been experimentally proven that a classical description cannot be sustained. Recently, there have also been experiments that claim to have demonstrated quantum behavior of relatively large objects such as interference of fullerenes [7], the violation of Leggett-Garg inequality in Josephson junction [8], and interference between two condensed clouds of atoms [9], which suggest that there is no limit to the size of the system on which the quantum-versus-classical question can be tested. These behaviors, however, are not sufficient to refute classical description in the sense of objective reality. Our findings show that once we reach the regime where an Avogadro number of particles is present, the quantum-versus-classical question cannot be answered experimentally. △ Less

Submitted 25 January, 2012; v1 submitted 11 November, 2011; originally announced November 2011.

Comments: 10 pages, 2 figures. This is a new version of the paper with significant changes in the title, its content and conclusions

Journal ref: Physics Letters A, Volume 377, Issue 40, Pages 2856-2859 (2013)

Particle addition and subtraction as a test of bosonic quality

Authors: Pawel Kurzynski, Ravishankar Ramanathan, Akihito Soeda, Tan Kok Chuan, Dagomir Kaszlikowski

Abstract: We propose a test to measure the bosonic quality of particles with respect to physical operations of single-particle addition and subtraction. We apply our test to investigate bosonic properties of composite particles made of an even number of fermions and suggest its experimental implementation. Furthermore, we discuss features of the processes of particle addition and subtraction in terms of opt… ▽ More We propose a test to measure the bosonic quality of particles with respect to physical operations of single-particle addition and subtraction. We apply our test to investigate bosonic properties of composite particles made of an even number of fermions and suggest its experimental implementation. Furthermore, we discuss features of the processes of particle addition and subtraction in terms of optimal quantum operations. △ Less

Submitted 15 August, 2011; originally announced August 2011.

Comments: 5 pages

Journal ref: New Journal of Physics 14, 093047 (2012)

Comparing globalness of bipartite unitary operations: delocalization power, entanglement cost, and entangling power

Authors: Akihito Soeda, Mio Murao

Abstract: We compare three different characterizations of the globalness of bipartite unitary operations, namely, delocalization power, entanglement cost, and entangling power, to investigate global properties of unitary operations. We show that the globalness of the same unitary operation depends on whether input states are given by unknown states representing pieces of quantum information, or a set of kno… ▽ More We compare three different characterizations of the globalness of bipartite unitary operations, namely, delocalization power, entanglement cost, and entangling power, to investigate global properties of unitary operations. We show that the globalness of the same unitary operation depends on whether input states are given by unknown states representing pieces of quantum information, or a set of known states for the characterization. We extend our analysis on the delocalization power in two ways. First, we show that the delocalization power differs whether the global operation is applied on one piece or two pieces of quantum information. Second, by introducing a new task called LOCC one-piece relocation, we prove that the controlled-unitary operations do not have the delocalization power strong enough to relocate one of two pieces of quantum information by adding LOCC. △ Less

Submitted 21 May, 2013; v1 submitted 21 October, 2010; originally announced October 2010.

Comments: presentation improved & definitions of new concepts clarified, 16 pages

Journal ref: Math. Struct. in Comp. Science (2013), vol. 23, pp. 454-470

Quantum computation over the butterfly network

Authors: Akihito Soeda, Yoshiyuki Kinjo, Peter S. Turner, Mio Murao

Abstract: In order to investigate distributed quantum computation under restricted network resources, we introduce a quantum computation task over the butterfly network where both quantum and classical communications are limited. We consider deterministically performing a two-qubit global unitary operation on two unknown inputs given at different nodes, with outputs at two distinct nodes. By using a particu… ▽ More In order to investigate distributed quantum computation under restricted network resources, we introduce a quantum computation task over the butterfly network where both quantum and classical communications are limited. We consider deterministically performing a two-qubit global unitary operation on two unknown inputs given at different nodes, with outputs at two distinct nodes. By using a particular resource setting introduced by M. Hayashi [Phys. Rev. A \textbf{76}, 040301(R) (2007)], which is capable of performing a swap operation by adding two maximally entangled qubits (ebits) between the two input nodes, we show that unitary operations can be performed without adding any entanglement resource, if and only if the unitary operations are locally unitary equivalent to controlled unitary operations. Our protocol is optimal in the sense that the unitary operations cannot be implemented if we relax the specifications of any of the channels. We also construct protocols for performing controlled traceless unitary operations with a 1-ebit resource and for performing global Clifford operations with a 2-ebit resource. △ Less

Submitted 14 July, 2011; v1 submitted 20 October, 2010; originally announced October 2010.

Comments: 12 pages, 12 figures, the second version has been significantly expanded, and author ordering changed and the third version is a minor revision of the previous version

Journal ref: Phys. Rev. A 84, 012333 (2011)

Entanglement cost of implementing controlled-unitary operations

Authors: Akihito Soeda, Peter S. Turner, Mio Murao

Abstract: We investigate the minimum entanglement cost of the deterministic implementation of two-qubit controlled-unitary operations using local operations and classical communication (LOCC). We show that any such operation can be implemented by a three-turn LOCC protocol, which requires at least 1 ebit of entanglement when the resource is given by a bipartite entangled state with Schmidt number 2. Our res… ▽ More We investigate the minimum entanglement cost of the deterministic implementation of two-qubit controlled-unitary operations using local operations and classical communication (LOCC). We show that any such operation can be implemented by a three-turn LOCC protocol, which requires at least 1 ebit of entanglement when the resource is given by a bipartite entangled state with Schmidt number 2. Our result implies that there is a gap between the minimum entanglement cost and the entangling power of controlled-unitary operations. This gap arises due to the requirement of implementing the operations while oblivious to the identity of the inputs. △ Less

Submitted 27 October, 2011; v1 submitted 6 August, 2010; originally announced August 2010.

Comments: 5 pages + 13 pages of appendix, comments welcome (published version)

Journal ref: Physical Review Letters 107, 180501 (2011)

Classification of delocalization power of global unitary operations in terms of LOCC one-piece relocalization

Authors: Akihito Soeda, Mio Murao

Abstract: We study how two pieces of localized quantum information can be delocalized across a composite Hilbert space when a global unitary operation is applied. We classify the delocalization power of global unitary operations on quantum information by investigating the possibility of relocalizing one piece of the quantum information without using any global quantum resource. We show that one-piece relo… ▽ More We study how two pieces of localized quantum information can be delocalized across a composite Hilbert space when a global unitary operation is applied. We classify the delocalization power of global unitary operations on quantum information by investigating the possibility of relocalizing one piece of the quantum information without using any global quantum resource. We show that one-piece relocalization is possible if and only if the global unitary operation is local unitary equivalent of a controlled-unitary operation. The delocalization power turns out to reveal different aspect of the non-local properties of global unitary operations characterized by their entangling power. △ Less

Submitted 7 June, 2010; originally announced June 2010.

Journal ref: EPTCS 26, 2010, pp. 117-126

Delocalization power of global unitary operations on quantum information

Authors: Akihito Soeda, Mio Murao

Abstract: We investigate how originally localized two pieces of quantum information represented by a tensor product of two unknown qudit states are delocalized by performing two-qudit global unitary operations. To characterize the delocalization power of global unitary operations on quantum information, we analyze the necessary and sufficient condition to deterministically relocalize one of the two pieces… ▽ More We investigate how originally localized two pieces of quantum information represented by a tensor product of two unknown qudit states are delocalized by performing two-qudit global unitary operations. To characterize the delocalization power of global unitary operations on quantum information, we analyze the necessary and sufficient condition to deterministically relocalize one of the two pieces of quantum information to its original Hilbert space by using only LOCC. We prove that this LOCC one-piece relocalization is possible if and only if the global unitary operation is local unitary equivalent to a controlled-unitary operation. The delocalization power and the entangling power characterize different non-local properties of global unitary operations. △ Less

Submitted 13 April, 2010; originally announced April 2010.

Comments: 14 pages, 1 figure

Journal ref: New J. Phys. 12 (2010) 093013

Critical Accretion Rate for Triggered Star Formation

Authors: Tomoyuki Hanawa, Akihito Soeda

Abstract: We have reexamined the similarity solution for a self-gravitating isothermal gas sphere and examined implication to star formation in a turbulent cloud. When parameters are adequately chosen, the similarity solution expresses an accreting isothermal gas sphere bounded by a spherical shock wave. The mass and radius of the sphere increases in proportion to the time, while the central density decre… ▽ More We have reexamined the similarity solution for a self-gravitating isothermal gas sphere and examined implication to star formation in a turbulent cloud. When parameters are adequately chosen, the similarity solution expresses an accreting isothermal gas sphere bounded by a spherical shock wave. The mass and radius of the sphere increases in proportion to the time, while the central density decreases in proportion to the inverse square of time. The similarity solution is specified by the accretion rate and the infall velocity. The accretion rate has an upper limit for a given infall velocity. When the accretion rate is below the upper limit, there exist a pair of similarity solutions for a given set of the accretion rate and infall velocity. One of them is confirmed to be unstable against a spherical perturbation. This means that the gas sphere collapses to initiate star formation only when the accretion rate is larger than the upper limit. We have also examined stability of the similarity solution against non-spherical perturbation. Non-spherical perturbations are found to be damped. △ Less

Submitted 1 June, 2008; originally announced June 2008.

Comments: 20 pages, 7 figures, accepted for publication in the Astrophysical Journal, part 1