-
Quantum Algorithms based on the Block-Encoding Framework for Matrix Functions by Contour Integrals
Authors:
Souichi Takahira,
Asuka Ohashi,
Tomohiro Sogabe,
Tsuyoshi Sasaki Usuda
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 June, 2021; v1 submitted 15 June, 2021;
originally announced June 2021.
-
Quantum algorithm for matrix functions by Cauchy's integral formula
Authors:
Souichi Takahira,
Asuka Ohashi,
Tomohiro Sogabe,
Tsuyoshi Sasaki Usuda
Abstract:
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 Hamil…
▽ More
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.
△ Less
Submitted 15 June, 2021;
originally announced June 2021.
-
Local unambiguous discrimination of symmetric ternary states
Authors:
Kenji Nakahira,
Kentaro Kato,
Tsuyoshi Sasaki Usuda
Abstract:
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 contra…
▽ More
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.
△ Less
Submitted 15 February, 2019; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Generalized bipartite quantum state discrimination problems with sequential measurements
Authors:
Kenji Nakahira,
Kentaro Kato,
Tsuyoshi Sasaki Usuda
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 15 July, 2017;
originally announced July 2017.
-
Optimal discrimination of optical coherent states cannot always be realized by interfering with coherent light, photon counting, and feedback
Authors:
Kenji Nakahira,
Kentaro Kato,
Tsuyoshi Sasaki Usuda
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 17 July, 2017; v1 submitted 7 June, 2017;
originally announced June 2017.
-
Upper and Lower Bounds on Optimal Success Probability of Quantum State Discrimination with and without Inconclusive Results
Authors:
Kenji Nakahira,
Tsuyoshi Sasaki Usuda,
Kentaro Kato
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 16 July, 2017; v1 submitted 22 January, 2016;
originally announced January 2016.
-
Finding optimal solutions for generalized quantum state discrimination problems
Authors:
Kenji Nakahira,
Tsuyoshi Sasaki Usuda,
Kentaro Kato
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 18 October, 2015;
originally announced October 2015.
-
Optimal quantum state discrimination with confidentiality
Authors:
Kenji Nakahira,
Tsuyoshi Sasaki Usuda,
Kentaro Kato
Abstract:
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 stea…
▽ More
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.
△ Less
Submitted 27 June, 2015; v1 submitted 18 March, 2015;
originally announced March 2015.
-
Optimal discrimination of quantum states on a two-dimensional Hilbert space by local operations and classical communication
Authors:
Kenji Nakahira,
Tsuyoshi Sasaki Usuda
Abstract:
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…
▽ More
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.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.
-
Generalized quantum state discrimination problems
Authors:
Kenji Nakahira,
Kentaro Kato,
Tsuyoshi Sasaki Usuda
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 20 June, 2015; v1 submitted 23 January, 2015;
originally announced January 2015.
-
Quantum stream cipher based on optical communications
Authors:
Osamu Hirota,
Kentaro Kato,
Masaki Sohma,
Tsuyoshi S. Usuda,
Katsuyoshi Harasawa
Abstract:
In 2000, an attractive new quantum cryptography was discovered by H.P.Yuen based on quantum communication theory. It is applicable to direct encryption, for example quantum stream cipher based on Yuen protocol(Y-00), with high speeds and for long distance by sophisticated optical devices which can work under the average photon number per signal light pulse:$<n> = 1000 \sim 10000$. In addition, i…
▽ More
In 2000, an attractive new quantum cryptography was discovered by H.P.Yuen based on quantum communication theory. It is applicable to direct encryption, for example quantum stream cipher based on Yuen protocol(Y-00), with high speeds and for long distance by sophisticated optical devices which can work under the average photon number per signal light pulse:$<n> = 1000 \sim 10000$. In addition, it may provide information-theoretic security against known/chosen plaintext attack, which has no classical analogue. That is, one can provide secure communication, even the system has $H(K) << H(X)$.
In this paper, first, we give a brief review on the general logic of Yuen's theory. Then, we show concrete security analysis of quantum stream cipher to quantum individual measurement attacks. Especially by showing the analysis of Lo-Ko known plaintext attack, the feature of Y-00 is clarified. In addition, we give a simple experimental result on the advantage distillation by scheme consisting of intensity modulation/direct detection optical communication.
△ Less
Submitted 8 July, 2004;
originally announced July 2004.
-
Quantum key distribution with unconditional security for all optical fiber network
Authors:
Osamu Hirota,
Kentaro Kato,
Masaki Shoma,
Tsuyoshi Sasaki Usuda
Abstract:
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 analys…
▽ More
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.
△ Less
Submitted 1 August, 2003;
originally announced August 2003.