arXiv subjects

Tsuyoshi Sasaki Usuda

Publications and source records attributed to Tsuyoshi Sasaki Usuda.

11 recordsLinked to original sources

arXiv2021

Quantum Algorithms based on the Block-Encoding Framework for Matrix Functions by Contour Integrals

The matrix functions can be defined by Cauchy's integral formula and can be approximated by the linear combination of inverses of shifted matrices using a quadrature formula. In this paper, we show a concrete construction of a framework to implement the linear combination of the inverses on quantum computers and propose a quantum algorithm for matrix functions based on the framework. Compared with the previous study [S. Takahira, A. Ohashi, T. Sogabe, and T.S. Usuda, Quant. Inf. Comput., 20, 1&2, 14--36, (Feb. 2020)] that proposed a quantum algorithm to compute a quantum state for the matrix function based on the circular contour centered at the origin, the quantum algorithm in the present paper can be applied to a more general contour. Moreover, the algorithm is described by the block-encoding framework. Similarly to the previous study, the algorithm can be applied even if the input matrix is not a Hermitian or normal matrix.

quant-ph↗

arXiv2021

Quantum algorithm for matrix functions by Cauchy's integral formula

For matrix $A$, vector $\boldsymbol{b}$ and function $f$, the computation of vector $f(A)\boldsymbol{b}$ arises in many scientific computing applications. We consider the problem of obtaining quantum state $\lvert f \rangle$ corresponding to vector $f(A)\boldsymbol{b}$. There is a quantum algorithm to compute state $\lvert f \rangle$ using eigenvalue estimation that uses phase estimation and Hamiltonian simulation $\mathrm{e}^{\mathrm{\bf i} A t}$. However, the algorithm based on eigenvalue estimation needs $\textrm{poly}(1/ε)$ runtime, where $ε$ is the desired accuracy of the output state. Moreover, if matrix $A$ is not Hermitian, $\mathrm{e}^{\mathrm{\bf i} A t}$ is not unitary and we cannot run eigenvalue estimation. In this paper, we propose a quantum algorithm that uses Cauchy's integral formula and the trapezoidal rule as an approach that avoids eigenvalue estimation. We show that the runtime of the algorithm is $\mathrm{poly}(\log(1/ε))$ and the algorithm outputs state $\lvert f \rangle$ even if $A$ is not Hermitian.

quant-ph↗

arXiv2019

Local unambiguous discrimination of symmetric ternary states

We investigate unambiguous discrimination between given quantum states with a sequential measurement, which is restricted to local measurements and one-way classical communication. If the given states are binary or those each of whose individual systems is two-dimensional, then it is in some cases known whether a sequential measurement achieves a globally optimal unambiguous measurement. In contrast, for more than two states each of whose individual systems is more than two-dimensional, the problem becomes extremely complicated. This paper focuses on symmetric ternary pure states each of whose individual systems is three-dimensional, which include phase shift keyed (PSK) optical coherent states and a lifted version of "double trine" states. We provide a necessary and sufficient condition for an optimal sequential measurement to be globally optimal for the bipartite case. A sufficient condition of global optimality for multipartite states is also presented. One can easily judge whether these conditions hold for given states. Some examples are given, which demonstrate that, despite the restriction to local measurements and one-way classical communication, a sequential measurement can be globally optimal in quite a few cases.

quant-ph↗

arXiv2017

Optimal discrimination of optical coherent states cannot always be realized by interfering with coherent light, photon counting, and feedback

It is well known that a minimum error quantum measurement for arbitrary binary optical coherent states can be realized by a receiver that comprises interfering with a coherent reference light, photon counting, and feedback control. We show that, for ternary optical coherent states, a minimum error measurement cannot always be realized by such a receiver. The problem of finding an upper bound on the maximum success probability of such a receiver can be formulated as a convex programming. We derive its dual problem and numerically find the upper bound. At least for ternary phase-shift keyed coherent states, this bound does not reach that of a minimum error measurement.

quant-ph↗

arXiv2017

Upper and Lower Bounds on Optimal Success Probability of Quantum State Discrimination with and without Inconclusive Results

We propose upper and lower bounds on the maximum success probability for discriminating given quantum states. The proposed upper bound is obtained from a suboptimal solution to the dual problem of the corresponding optimal state discrimination problem. We also give a necessary and sufficient condition for the upper bound to achieve the maximum success probability; the proposed lower bound can be obtained from this condition. It is derived that a slightly modified version of the proposed upper bound is tighter than that proposed by Qiu et al. [Phys. Rev. A 81, 042329 (2010)]. Moreover, we propose upper and lower bounds on the maximum success probability with a fixed rate of inconclusive results. The performance of the proposed bounds are evaluated through numerical experiments.

quant-ph↗

arXiv2017

Generalized bipartite quantum state discrimination problems with sequential measurements

We investigate an optimization problem of finding quantum sequential measurements, which forms a wide class of state discrimination problems with the restriction that only sequential measurements are allowed. Sequential measurements from Alice to Bob on a bipartite system are considered. Using the fact that the optimization problem can be formulated as a problem with only Alice's measurement and is convex programming, we derive its dual problem and necessary and sufficient conditions for an optimal solution. In the problem we address, the output of Alice's measurement can be infinite or continuous, while sequential measurements with a finite number of outcomes are considered. It is shown that there exists an optimal sequential measurement in which Alice's measurement with a finite number of outcomes as long as a solution exists. We also show that if the problem has a certain symmetry, then there exists an optimal solution with the same type of symmetry. A minimax version of the problem is considered, and necessary and sufficient conditions for a minimax solution are derived. An example in which our results can be used to obtain an analytical expression for an optimal sequential measurement is finally provided.

quant-ph↗

arXiv2015

Finding optimal solutions for generalized quantum state discrimination problems

We try to find an optimal quantum measurement for generalized quantum state discrimination problems, which include the problem of finding an optimal measurement maximizing the average correct probability with and without a fixed rate of inconclusive results and the problem of finding an optimal measurement in the Neyman-Pearson strategy. We propose an approach in which the optimal measurement is obtained by solving a modified version of the original problem. In particular, the modified problem can be reduced to one of finding a minimum error measurement for a certain state set, which is relatively easy to solve. We clarify the relationship between optimal solutions to the original and modified problems, with which one can obtain an optimal solution to the original problem in some cases. Moreover, as an example of application of our approach, we present an algorithm for numerically obtaining optimal solutions to generalized quantum state discrimination problems.

quant-ph↗

arXiv2015

Optimal quantum state discrimination with confidentiality

We investigate quantum state discrimination with confidentiality. $N$ observers share a given quantum state belonging to a finite set of known states. The observers want to determine the state as accurately as possible and send a discrimination result to a receiver. However, the observers are not allowed to get any information about which state was given. $N-1$ or fewer observers might try to steal the information, but if $N$ observers coexist, the honest ones will keep the dishonest ones from doing anything wrong. Assume that the state set has a certain symmetry, or more precisely, is Abelian geometrically uniform; this letter describes the case of three linearly independent cyclic pure states as a special case. We propose a protocol that realizes any optimal inconclusive measurement, which is a generalized version of a minimum-error measurement and an optimal unambiguous measurement, for such a state set and ensures that any combined state of $N-1$ or fewer observers has absolutely no information about the given state. Our protocol provides a method of performing a quantum measurement securely, which could be useful in quantum information applications.

quant-ph↗

arXiv2015

Generalized quantum state discrimination problems

We address a broad class of optimization problems of finding quantum measurements, which includes the problems of finding an optimal measurement in the Bayes criterion and a measurement maximizing the average success probability with a fixed rate of inconclusive results. Our approach can deal with any problem in which each of the objective and constraint functions is formulated by the sum of the traces of the multiplication of a Hermitian operator and a detection operator. We first derive dual problems and necessary and sufficient conditions for an optimal measurement. We also consider the minimax version of these problems and provide necessary and sufficient conditions for a minimax solution. Finally, for optimization problem having a certain symmetry, there exists an optimal solution with the same symmetry. Examples are shown to illustrate how our results can be used.

quant-ph↗

arXiv2015

Optimal discrimination of quantum states on a two-dimensional Hilbert space by local operations and classical communication

We study the discrimination of multipartite quantum states by local operations and classical communication. We derive that any optimal discrimination of quantum states spanning a two-dimensional Hilbert space in which each party's space is finite dimensional is possible by local operations and one-way classical communication, regardless of the optimality criterion used and how entangled the states are.

quant-ph↗

arXiv2003

Quantum key distribution with unconditional security for all optical fiber network

In this paper, we present an efficient implementation method of physical layer of Y-00 which can support a secure communication and a quantum key distribution (more generally key expansion) by IMDD(intensity modulation/direct detection) or FSK(frequency shift keying)optical fiber communication network. Although the general proof of the security is not yet given, a brief sketch of security analysis is shown, which involve an entanglement attack.

quant-ph↗