arxiv: v1 [quant-ph] 24 Nov 2017

Transcription

1 Efficient quantum circuit for singular value thresholding Bojia Duan, Jiabin Yuan, Ying Liu, Dan Li College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, No.29 Jiangjun Avenue, Nanjing, China. arxiv: v1 [quant-ph] 24 Nov 2017 (Dated: November 27, 2017) Abstract Singular value thresholding (SVT) operation is a fundamental core module in many mathematical models in computer vision and machine learning, particularly for many nuclear norm minimizingbased problems. We presented a quantum SVT (QSVT) algorithm which was used as a subroutine to address an image classification problem. This algorithm runs in O [log (pq)], an exponential speed improvement over the classical algorithm which runs in O [poly (pq)]. In this study, we investigate this algorithm and design a scalable quantum circuit for QSVT. In the circuit design, we introduce an adjustable parameter α to ensure the high probability of obtaining the final result and the high fidelity of actual and ideal final states. We also show that the value of α can be computed ahead of implementing the quantum circuit when the inputs of the QSVT algorithm, i.e. matrix A and constant τ, are given. In addition, we propose a small-scale quantum circuit for QSVT. We numerically simulate and demonstrate the performance of this circuit, verifying its capability to solve the intended SVT. The quantum circuit for QSVT implies a tempting possibility for experimental realization on a quantum computer. 1

2 I. INTRODUCTION Quantum computing has been shown to perform significantly better than classical computing at certain computational tasks, especially in the emerging interdisciplinary field of quantum machine learning [1 4]. To show its superiority, remarkable quantum algorithms help a range of classical algorithms achieve a speedup increase [5 12]. Shor s algorithm for factoring and Grover s algorithm for search are typical algorithms which can achieve exponential and quadratic speed increase, respectively [5, 6]. In 2009, Harrow, Hassidim, and Lloyd (HHL) proposed an algorithm for solving linear systems of equations [10]. This algorithm offers an exponential speed over its classical counterparts by calculating the expectation value of an operator associated with the solution of the linear equation under certain circumstances. Considering that a linear system is the centre of various areas in science and engineering, the HHL algorithm guarantees widespread applications [13 15]. Inspired by the idea of the HHL algorithm, other fruitful quantum machine learning algorithms are proposed [16 20]. Moreover, experimentalists aim to implement the HHL algorithm on a quantum computer. Therefore, research on the numerical theoretical simulation and experimental realization of the algorithm is emerging recently [21 24]. In many mathematical models in computer vision and machine learning, there is a fundamental core module known as singular value thresholding (SVT). In particular, the SVT method has been widely adopted to solve many nuclear norm minimizing (NNM)-based problems, such as matrix completion, matrix denoising and robust principle component analysis (RPCA). Therefore, the SVT method can be applied to many applications, such as image extraction, image colorization, image denoising, image inpainting and motion capture date recovery. However, NNM usually requires the iterative application of singular value decomposition (SVD) for SVT and the computational cost of SVD may be too expensive to handle data with high dimension, e.g. high-resolution images. In order to speed up the process of SVT, we proposed a quantum SVT (QSVT) algorithm that can execute the SVT operator exponentially faster than its classical counterparts. The QSVT algorithm is used as a subroutine to accelerate an image classifier SMM [25]. In this article, we conduct further specific discussion regarding the algorithm and design a quantum circuit for QSVT which can be applied on a universal quantum computer. Ref. [25] shows that the QSVT algorithm is based on the HHL algorithm which consists of two core 2

3 subroutines, namely, phase estimation and controlled rotation. Phase estimation outputs the eigenvalues of input matrix A and decompose the input vector ψ A0 in the eigenbasis of A. Innovating and implementing controlled rotation are the key of HHL-based algorithms. Herein, we add an important missing piece to the algorithm by developing the detailed circuit of the controlled rotation via the theoretical function in Ref. [25]. Specifically, we divide the controlled rotation into two unitary operations. The first unitary operation is U σ,τ, which is used to compute the function of the eigenvalues of A. By implementing the Newton iteration method, these function values can be stored in the quantum basis states. The second unitary operation is R y, which is used to extract the values in the quantum basis state to the corresponding amplitudes of the basis states. Implementing R y directly affects the probability of obtaining the final result and the fidelity of actual and ideal final states. To improve probability and fidelity, we introduce a parameter α in R y, which can be computed ahead of quantum circuit implementation. Moreover, we present an example of a small-scale circuit for the algorithm and execute the numerical simulation of the example. The result shows the capability of the quantum computer to solve the intended SVT, and the performance of the algorithm is discussed. In detail, our work has two major contributions. First, we design a quantum circuit for QSVT algorithm, which provides a possibility for implementing the algorithm on a quantum computer. Second, by introducing the parameter α, which can be computed ahead of implementing the quantum circuit, in the circuit design of controlled rotation, high probability and high fidelity can be obtained. Our work based on the QSVT algorithm may also inspire the circuit design of other HHL-based algorithms. The remainder of the paper is organized as follows: We give a brief overview of QSVT algorithm in Sec. II. Sec. III puts forward the quantum circuit for QSVT and analyzes the probability and fidelity. We propose an example in Sec. IV, and present our conclusions in Sec. V. II. REVIEW OF QSVT In this section, we briefly review the QSVT problem and the key procedure of QSVT algorithm. More detailed information can be found in Ref. [25]. 3

4 A. QSVT problem SVT is an algorithm based on the SVD of a matrix. Suppose the input of the SVT is a low-rank matrix A 0 R p q with singular value decomposition A 0 = k=1 σ ku k v T k, where r min (p, q) is the rank of A 0, and σ k (σ 1 > > σ r > 0) are just the singular values of A 0, with u k and v k being the left and right singular vectors. SVT solves the problem S = D τ (A 0 ) := k=1 (σ k τ) + u k v T k, where (σ k τ) + = max (σ k τ, 0) and τ (0, σ 1 ) [26]. The vectorization of the matrices A 0 and S are vec(a T 0 ) = k=1 σ ku k v k and vec(s T ) = k=1 (σ k τ) + u k v k, which vary as the quantum states ψ A0 = 1/ N 1 k=1 σ k u k v k and ψ S = 1/ N 2 k=1 (σ k τ) + u k v k respectively, where N 1 = k=1 σ2 k and N 2 = k=1 (σ k τ) 2 +. Therefore, the QSVT algorithm solves the transformed problem vec(st ) = D τ ( vec(a T 0 ) ) [25]. B. QSVT algorithm Let A = A 0 A 0, therefore A = k=1 σ2 k u ku T k. The QSVT algorithm is now shown as follows [25]: Input. A quantum state ψ A0, a unitary e iat 0, and a constant τ. Output. A quantum state ψ S. Algorithm. S = QSV T (A 0, τ). The procedure of the algorithm can be illustrated as a sequence of the unitary operations: U QSV T = ( I a U P E) (UcR I B) (I a U P E ), (1) where U P E and U cr are the unitary operations of phase estimation and controlled rotation, which are shown in Eqs. (2) and (3), respectively, and U P E U P E. represents the inverse of Eq. (1) shows that the QSVT algorithm consists of two core subroutines, namely, U P E and U cr. (1) The first core subroutine U P E is presented as follows: ) ( U P E = U P E (A) = (F T T 1 ) IB τ τ=0 τ C e iaτt 0/T (H t I B), (2) where register C stores the estimated eigenvalues of an Hermite matrix A, register B stores the input state ψ A0, F T is the inverse quantum Fourier transform, and T 1 τ=0 τ τ C e iaτt 0/T 4

5 is the conditional Hamiltonian evolution [10]. eigenspace the quantum algorithm implements on. The Hermite matrix A determines which Note that A = A 0 A 0, where u k are the eigenvectors of A and the corresponding eigenvalues are λ k = σk 2. By taking a partial trace of ψ A0 ψ A0, the density matrix that represents A can be obtained [27]: tr 2 ( ψ A0 ψ A0 ) = 1/N 1 k=1 σ2 k u k u k = A/trA. (2) The second core subroutine U cr aims to extract and then reassign the proportion of each eigenstate in the superposition ψ A0 = 1/ N 1 k=1 σ k u k v k. In particular, U cr helps change the probability amplitude of each basic state u k v k from σ k to (σ k τ) + via a transformation (σ k τ) + = σ k follows: if z > τ: otherwise do nothing. 0 z ( σ 2 k τ) σ 2 k + γ ( z τ) z 1 +. Without loss of generality, U cr is defined as 1 γ2 ( z τ) 2 z 0 z ; (3) III. QSVT CIRCUIT In this section, we further study the QSVT algorithm [25] based on the quantum circuit model. It provides the ability for the quantum computer to solve many NNM-based problems. Firstly, we describe the overview model of quantum circuit for QSVT. Secondly, we investigate in depth the realization of controlled rotation via quantum circuit. In particular, we introduce an adjustable parameter α in the controlled rotation step and demonstrate that the value of α can be computed ahead of implementing the quantum circuit to ensure high probability and high fidelity readout. The overview of the circuit for solving QSVT is shown in Fig 1. We omit the ancilla τ in the following register presentation because it remains the same during the procedure of the quantum circuit. (1) Prepare the quantum registers in the state ψ 1 = 0 0 L 0 C ψ A0 B, (4) where the input matrix A 0 has been prepared quantum mechanically as a quantum state ψ A0 stored in the quantum register B. 5

6 FIG. 1: Overview of the quantum circuit for solving the transformed SVT. Wires with / represent the groups of qubits. The norms of the quantum states are omitted for convenience. (2) Perform the unitary operation U P E (A) on the state 0 C ψ A0 B. Recall ψ A0 = 1/ N 1 k=1 σ k u k v k where u k are the eigenstates of A and σ 2 k are the corresponding eigenvalues. As shown in Ref. [25], we have the state ψ 2 = 1 N1 0 0 L r σ k σ 2 C k uk v k B. (5) k=1 (3) The unitary U σ,τ converts the eigenvalues σk 2 stored in the register C to the intermediate result y k stored in the register L, where y k = (1 τ/σ k ) + [0, 1). The state is now ψ 3 = 1 N1 0 r σ k y k L σ k 2 C uk v k B. (6) k=1 According to the ideas of Ref. [28], Newton iteration can be used to realize U σ,τ (see Sec. III A). (4) To realize R: 0 y k (y k y 2k 0 ) y k, i.e., to extract the value of y k in register L to the amplitude of the ancilla qubit, we introduce a unitary R y with parameter α (see Sec. III B) to approximate R: R y 0 y k = [sin(y k α) 1 + cos(y k α) 0 ] y k, 0 < y k < 1. (7) Subsequently, R y is applied to the ancilla qubit on the top of the circuit and controlled by the register L. We obtain the state ψ 4 = 1 N1 r σ k [sin (y k α) 1 + cos (y k α) 0 ] y k L σ k 2 C uk v k B. (8) k=1 6

7 (5) Uncompute the registers L, C and B, and remove the register L and C, we have ψ 5 = 1 r σ k [sin (y k α) 1 + cos (y k α) 0 ] u k v k B. (9) N1 k=1 (6) Measure the top ancilla bit. If the result returns to 1, then the register B of the system collapses to the state final state where N α = k=1 σ k 2 sin 2 (y k α). ψŝ = 1 Nα r σ k sin (y k α) u k v k B, (10) k=1 In summary, the procedure of the quantum circuit can be illustrated as follows: ( ) (I Ũ QSV T = I ala U a P E U σ,τ I B) ( R y I acb) ( I a U σ,τ I B) ( ) I ala U P E. (11) A. Computation of U σ,τ We deal with the computation of the function of the eigenvalues of A : y k = (1 τ/σ k ) + [0, 1). Here we use Newton iteration to compute y k = 1 τ/ σ 2 k if σ k > τ. The initial approximation is selected as 1/2 such that y (0) k y k we design the iteration step as: y (i+1) = σ2 k shown in Fig 2 computes y (i) k k = 1/2 2 m = 2 m 1. To obtain the final state ( y (i) 2τ 2 τ σ 2 k y (i+1) k 1. The quantum circuit 2 ) 3 k y(i) k τ σk 2. This circuit involves quantum circuits for addition and multiplication which have been studied [29, 30]. Quantum circuits for division can be implemented by the inverse of the multiplication. FIG. 2: Quantum circuit of each iterative step of the Newton method. B. Computation of R y A sequence of rotations about the y axis can be used to implement the unitary R y [28], where R y (2θ) 0 = sin θ 1 + cos θ 0. Here we introduce a parameter α, which can be 7

8 used to improve the probability and accuracy of obtaining the final state. Assume that we have obtained a d-qubit state y k = θ. Consider the binary representation of θ: θ = 0.θ 1 θ d = d j=1 θ j 2 j, (θ j {0, 1}), there is R y (2αθ) = e iαθy = d e iy αθ j/2 j = j=1 d j=1 R θ j y ( 2 1 j α ) ( / = R θ 1 y (α) R θ 2 y (α/2) R ) θ d y α 2 d 1. where Y is the Pauli Y operator. The quantum circuit of R y is shown in Fig. 3. (12) FIG. 3: Quantum circuit of the unitary R y. C. Probability and fidelity analysis We now analyze the probability of obtaining the final result and the fidelity of the ideal and actual outputs. Eqs. (1) and (11) show that the quantum circuit Ũ QSV T is a unitary approximation of the quantum algorithm U QSV T. Without loss of generality, we assume that there is no error in any step of U QSV T and Ũ QSV T. Therefore, the unitary R y in Ũ QSV T dominates the probability and the fidelity in the quantum circuit. We now analyze how to compute the parameter α in R y to ensure high probability and high fidelity readout. The probability of obtaining the final result ψŝ in Eq. (10) can be calculated via Eq. (9): P (α) = N α N 1 = k=1 σ k 2 sin 2 (y k α) k=1 σ k 2. (13) The fidelity of the actual and ideal final results can be calculated via the inner product of the output ψŝ and the theoretical output ψ S = 1/ N 2 k=1 (σ k τ) + u k v k = 1/ N 2 k=1 σ ky k u k v k : 8

9 1 N2 N α k=1 σ2 ky k sin (y k α) F (α) = ψŝ ψ S = k=1 = σ2 k y k sin (y k α) r k=1 σ2 k y2 k k=1 σ k 2 sin 2 (y k α) To ensure high probability and high fidelity, we introduce function G of α: Nα G(α) = 1 P (α) F (α) = N 1 N2 N α k=1 σ2 ky k sin (y k α) k=1 = σ2 k y k sin (y k α) k=1 σ k 2, k=1 σ2 k y2 k. (14) (15) and to find α that maximizes G(α), i.e. to solve the problem arg max G (α). This problem α is transformed to solve the following equation: G (α) = k=1 σ2 k y2 k cos (y kα) k=1 σ k 2 = 0. (16) k=1 σ2 k y2 k A series of methods, such as gradient descent, Newton s method, evolutionary algorithms, can be used to solve Eq. (16). Given that the problem to be solved is not convex, these iterative algorithms can only output locally optimal solution. Tayler s series can also be used to solve this problem and obtain an approximate solution. Instead of using the aforementioned methods, we select an intuitive method to compute an approximate solution α for this problem. As σ 1 > σ 2 > > σ r > 0, we denote σ 1 Cσ 2, for C > 1. Recall that y k = (1 τ/σ k ) +, y 1 > y 2 y r. The period of the cos (y k α) are 2π/y k, thereby satisfying 2π/y 1 < 2π/y 2 2π/y r. We now consider the case that the value α satisfies y 1 α [0, π/2], therefore, cos (y 1 α) < cos (y 2 α) cos (y r α). Eq. (16) shows that k=1 σ2 k y2 k cos (y kα) = 0. Therefore, σ1y cos (y 1 α) = σ2y cos (y 2 α) σry 2 r 2 cos (y r α) C 2 σ2y cos (y 1 α) ( σ2y C ) [ cos (y 1 α) σ2y C 2 cos (y 1 α) + cos (y 2 α) ] (17) σ 2 3y 2 3 cos (y 3 α) σ 2 ry 2 r cos (y r α) 0, and considering cos (y 1 α) [0, 1], we obtain the approximate solution α = π 2y 1 = π 2(1 τ/σ 1 ). Although the approximate solution is not the optimal solution, it has two advantages. Firstly, it has simpler expression and can be computed more efficiently compared with iterative algorithms. Secondly, this intuitive solution is only based on the maximized 9

10 singular value of A 0, i.e. priori knowledge of A 0 is only the maximum singular value σ 1 instead of all singular values of A 0 compared with Tayler s series method (see Appendix A). The following experiments shows that α is possibly a good solution to ensure high probability and fidelity. Recall that the applications of SVT are mainly based on videos or pictures. Thus, we select 120 different inputs of matrix A 0, which are derived from random pictures. Fig. 4 shows that the x axis represents the 120 inputs. Fig. 4(a) and (b) show the probability and the fidelity in terms of different α, which are obtained by Tayler s method (in blue dashed line) and our intuitive method (in red + ), respectively. The numerical results show that our intuitive method works well as the Tayler s method. The probability is almost the same in terms of α obtained by our method and Tayler s method. Moreover, fidelity performs slightly better when our method is used instead of the Tayler s method. Both methods can help output the high probability and high fidelity in the context of the 120 different random inputs. (a)probability (b)fidelity FIG. 4: Probability and fidelity based on the solutions obtained by Tayler s method and our method IV. EXAMPLE In this section, we design and implement a numerical simulation experiment of a smallscale QSVT circuit and analyze the results. The purpose for this example is to illustrate the algorithm and for potential experimental implementation using currently available resource. 10

11 We demonstrate a proof-of-principle experiment of the QSVT algorithm. This simple quantum circuit solves a meaningful instance of the problem, that is, to perform the SVT on a 2 3 dimension matrix A 0. For the numerical example, we select different inputs of A 0 all satisfying that the singular values of A 0 are σ 1 = 2, σ 2 = 1. Matrix A 0 is selected such that the eigenvalues of A are 4 and 1, which can be exactly encoded with three qubits in register C. Without loss of generality, let τ = 1/2. This allows us to optimize the subroutine U σ,τ (in Fig 1) without involving register L and ancilla qubits τ. The input state of register B is a normalized quantum state ψ A0. FIG. 5: Example quantum circuit for solving the SVT. U represents the inverse of all the operations before of R y. Each simplified unitary e iat 0/2 j (j = 1, 2, 3) in the figure represents the operation e iat 0/2 j I n. The initial quantum system is 0000b. Phase estimation generates the states that encodes the eigenvalues of A in register C, and subsequently, the system is in the superposition : 1 5 ( u 1 v u 2 v 2 ). The mapping of the operator U σ,τ is: 100 C 110 C and 001 C 100 C where the outputs 110 and 100 can be interpreted as the encodings 2 3 (1 τ/σ 1 ) = 6 and 2 3 (1 τ/σ 2 ) = 4 respectively. After the U σ,τ operator, the system becomes 1 5 ( u 1 v u 2 v 2 ). Then we use 2 3 (1 τ/σ k ) in register C as the control register to execute a sequence of Pauli Y rotations R y on the ancilla qubit 0 with α = π = Take the inverse of all the operations before R 2/(1 τ/σ 1 ) y, measure the ancilla qubit to be 1, the system now becomes where N α = The theoretical result is as follows: 1 Nα 1000 ( u 1 v u 2 v 2 ), (18) 1 2 (σ k τ) 1000 u k v k = (3 u 1 v 1 + u 2 v 2 ). (19) N2 k=

12 We then compute the probability and the fidelity according to the Eqs. (13) and (14). The probability of measuring the ancilla qubit to be 1 is P (α) = , and the fidelity is F (α) = Our results may motivate experimentalists to verify this result by implementing the quantum circuit with capability of addressing 6 or more qubits and execute basic quantum gates on their setups. V. CONCLUSIONS Nowadays, the quantum circuit model is the most popular and developed model for universal quantum computation. We further investigated the QSVT algorithm which we proposed in Ref. [25] by providing the possibility to implement the algorithm on a quantum computer via the circuit model. The scalable quantum circuit is presented, in which the key subroutine of the controlled rotation is designed by introducing an adjustable parameter α. We provided two methods to compute the value of α to ensure high probability and high fidelity readout and conducted numerical experiments. The numerical results show that under different inputs, our method can output high probability and high fidelity in one iteration of the quantum circuit. Furthermore, we present a small-scale circuit as an example to verify the algorithm. We hope that our research motivates experimentalists to conduct new investigations in quantum computation. Appendix A: Tayler s series method Using Tayler s series method to solve Eq. (16), we have G (α) = 0 k=1 σ2 k (y 2k y4 k α2 2! + y6 k α4 4! + ( 1) n y 2n+2 k α 2n + o ( y 2n+3 k α 2n+1)) = 0. (2n)! (A1) If the 2-order approximation is selected, then 12

13 k=1 σ2 k (y 2k y4 k α2 + o ( y 5 2 kα 3)) = 0 ) (y 2k y4 k α2 2 0 α 2 k=1 σ2 k k=1 σ2 k y2 k k=1 σ2 k y4 k If the 4-order approximation is selected, then k=1 σ2 k (y 2k y4 k α2 + y6 k α4 + o ( y 7 2 4! kα 5)) = 0 ) r k=1 σ2 k (y 2k y4 k α2 + y6 k α4 b b 0 α 2 4ac, 2 4! 2a where a = 1 r 24 k=1 σ2 k y6 k, b = 1 r 2 k=1 σ2 k y4 k, c = k=1 σ2 k y2 k.. (A2) (A3) ACKNOWLEDGMENTS We would like to thank Patrick Rebentrost, Maria Schuld, Shengyu Zhang and Chaohua Yu for helpful discussions. This work was supported by the Funding of National Natural Science Foundation of China (Grants No and No ), the Jiangsu Innovation Program for Graduate Education (Grant No.KYLX ), and the Fundamental Research Funds for the Central Universities. [1] M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition (Cambridge University Press, 2010) pp [2] G. Sentís, J. Calsamiglia, R. M. Tapia, and E. Bagan, Scientific Reports 2, 708 (2012). [3] M. Schuld, I. Sinayskiy, and F. Petruccione, Contemporary Physics 56, 172 (2014). [4] P. Wittek, Quantum machine learning what quantum computing means to data mining (Elsevier (Singapore) Pte Ltd., 2014). [5] P. Shor, in Symposium on Foundations of Computer Science. IEEE Computer Society (1994) pp [6] L. K. Grover, Phys. Rev. Lett. 79, 325 (1997). [7] C. Durr and P. Hoyer, Computer Science (1996). [8] G. Brassard, P. Hoyer, M. Mosca, and A. Tapp, Quantum Computation & Information 5494, 53 (2000). 13

14 [9] V. Giovannetti, S. Lloyd, and L. Maccone, Phys. Rev. Lett. 100, (2008). [10] A. W. Harrow, A. Hassidim, and S. Lloyd, Phys. Rev. Lett. 103, (2009). [11] L. Y, Y. J, D. B, and D. Li, arxiv: v3 (2017). [12] D. Li, M. Gettrick, G. M., J. F., Xu, and Q. Wen, Phys. Rev. A 93, (2016). [13] S. Lloyd, M. Mohseni, and P. Rebentrost, Nature Physics 10, 108 (2014). [14] P. Rebentrost, A. Steffens, and S. Lloyd, arxiv: (2016). [15] P. Rebentrost, M. Mohseni, and S. Lloyd, Phys. Rev. Lett. 113, (2014). [16] Y. Liu and S. Zhang, Theoretical Computer Science 9130, 204 (2016). [17] M. Schuld, I. Sinayskiy, and F. Petruccione, Phys.Rev.A 94 (2016). [18] J. Adcock, E. Allen, M. Day, S. Frick, J. Hinchliff, M. Johnson, S. Morleyshort, S. Pallister, A. Price, and S. Stanisic, arxiv: (2015). [19] B. Qi, Z. Hou, L. Li, D. Dong, G. Xiang, and G. Guo, Scientific Reports 3, 3496 (2013). [20] C.-H. Yu, F. Gao, Q.-L. Wang, and Q.-Y. Wen, Phys. Rev. A 94, (2016). [21] Y. Cao, A. Daskin, S. Frankel, and S. Kais, Molecular Physics 110, 1675 (2012). [22] J. Pan, Y. Cao, X. Yao, and e. Zhaokai Li, Phys. Rev. A 89, 1150 (2013). [23] X.-D. Cai, C. Weedbrook, Z.-E. Su, and e. M.-C. Chen, Phys. Rev. Lett. 110, (2013). [24] B. Stefanie, I. Kassal, and e. Martin Ringbauer, Scientific Reports 4, 6115 (2014). [25] B. Duan, J. Yuan, Y. Liu, and D. Li., Phys. Rev. A. 96, (2017). [26] J. F. Cai, E. J. Candes, and Z. Shen, Siam Journal on Optimization 20, 1956 (2008). [27] M. Schuld, I. Sinayskiy, and F. Petruccione, arxiv: (2016). [28] Y. Cao, A. Papageorgiou, I. Petras, J. Traub, and S. Kais, New Journal of Physics 15(2) (2012). [29] V. V. Vedral, A. Barenco, and A. Ekert, Phys. Rev. A. 54, 147 (1996). [30] A. Parent, M. Roetteler, and M. Mosca, arxiv preprint (2017). 14