Source author record

Akihito Soeda

Akihito Soeda appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2022arXiv

Comparison of unknown unitary channels with multiple uses

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.

preprint2020arXiv

Probabilistic exact universal quantum circuits for transforming unitary operations

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

preprint2020arXiv

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

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

preprint2015arXiv

Quantum algorithm for universal implementation of projective measurement of energy

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

preprint2014arXiv

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

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

preprint2013arXiv

Coherent states of composite bosons

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.

preprint2013arXiv

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

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.

preprint2013arXiv

Contextuality in bosonic bunching

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.

preprint2013arXiv

The relation between nonlocality and contextuality for a biphoton

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.

preprint2012arXiv

Bosonic bunching reveals strong contextual behaviour

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.

preprint2012arXiv

Experimental undecidability of macroscopic quantumness

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.

preprint2012arXiv

Generalized monogamy of contextual inequalities from the no-disturbance principle

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.

preprint2011arXiv

Entanglement cost of implementing controlled-unitary operations

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.

preprint2011arXiv

Particle addition and subtraction as a test of bosonic quality

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.

preprint2011arXiv

Quantum computation over the butterfly network

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.

preprint2010arXiv

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

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.

preprint2010arXiv

Delocalization power of global unitary operations on quantum information

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.