Showing 1–8 of 8 results for author: Marquezino, F L

Fourier 1-norm and quantum speed-up

Authors: S. A. Grillo, F. L. Marquezino

Abstract: Understanding quantum speed-up over classical computing is fundamental for the development of efficient quantum algorithms. In this paper, we study such problem within the framework of the Quantum Query Model, which represents the probability of output $x \in \{0,1\}^n$ as a function $π(x)$. We present a classical simulation for output probabilities $π$, whose error depends on the Fourier $1$-norm… ▽ More Understanding quantum speed-up over classical computing is fundamental for the development of efficient quantum algorithms. In this paper, we study such problem within the framework of the Quantum Query Model, which represents the probability of output $x \in \{0,1\}^n$ as a function $π(x)$. We present a classical simulation for output probabilities $π$, whose error depends on the Fourier $1$-norm of $π$. Such dependence implies upper-bounds for the quotient between the number of queries applied by an optimal classical algorithm and our quantum algorithm, respectively. These upper-bounds show a strong relation between Fourier $1$-norm and quantum parallelism. We show applications to query complexity. △ Less

Submitted 19 October, 2018; v1 submitted 23 December, 2016; originally announced December 2016.

Comments: 16 pages, 1 figure, changed title, improved text, added applications

MSC Class: 81P68; 68Q12

Journal ref: Quantum Inf Process (2019) 18: 99

Quantum Query as a State Decomposition

Authors: S. A. Grillo, F. L. Marquezino

Abstract: The Quantum Query Model is a framework that allows us to express most known quantum algorithms. Algorithms represented by this model consist on a set of unitary operators acting over a finite Hilbert space, and a final measurement step consisting on a set of projectors. In this work, we prove that the application of these unitary operators before the measurement step is equivalent to decomposing a… ▽ More The Quantum Query Model is a framework that allows us to express most known quantum algorithms. Algorithms represented by this model consist on a set of unitary operators acting over a finite Hilbert space, and a final measurement step consisting on a set of projectors. In this work, we prove that the application of these unitary operators before the measurement step is equivalent to decomposing a unit vector into a sum of vectors and then inverting some of their relative phases. We also prove that the vectors of that sum must fulfill a list of properties and we call such vectors a Block Set. If we define the measurement step for the Block Set Formulation similarly to the Quantum Query Model, then we prove that both formulations give the same Gram matrix of output states, although the Block Set Formulation allows a much more explicit form. Therefore, the Block Set reformulation of the Quantum Query Model gives us an alternative interpretation on how quantum algorithms works. Finally, we apply our approach to the analysis and complexity of quantum exact algorithms. △ Less

Submitted 29 November, 2016; v1 submitted 24 February, 2016; originally announced February 2016.

Comments: 30 pages, 2 figures. In this version, we changed title, corrected typos, and added a new lower-bound result (Sec. 6)

Journal ref: Theoretical Computer Science (2018)

Cayley graphs and analysis of quantum cost for reversible circuit synthesis

Authors: A. C. Ribeiro, C. M. H. de Figueiredo, F. L. Marquezino, L. A. B. Kowada

Abstract: We propose the theory of Cayley graphs as a framework to analyse gate counts and quantum costs resulting from reversible circuit synthesis. Several methods have been proposed in the reversible logic synthesis literature by considering different libraries whose gates are associated to the generating sets of certain Cayley graphs. In a Cayley graph, the distance between two vertices corresponds to t… ▽ More We propose the theory of Cayley graphs as a framework to analyse gate counts and quantum costs resulting from reversible circuit synthesis. Several methods have been proposed in the reversible logic synthesis literature by considering different libraries whose gates are associated to the generating sets of certain Cayley graphs. In a Cayley graph, the distance between two vertices corresponds to the optimal circuit size. The lower bound for the diameter of Cayley graphs is also a lower bound for the worst case for any algorithm that uses the corresponding gate library. In this paper, we study two Cayley graphs on the Symmetric Group $S_{2^n}$: the first, denoted by $I_n$, is defined by a generating set associated to generalized Toffoli gates; and the second, the hypercube Cayley graph $H_n$, is defined by a generating set associated to multiple-control Toffoli gates. Those two Cayley graphs have degree $n2^{n-1}$ and order $2^n!$. Maslov, Dueck and Miller proposed a reversible circuit synthesis that we model by the Cayley graph $I_n$. We propose a synthesis algorithm based on the Cayley graph $H_n$ with upper bound of $(n-1)2^{n}+1$ multiple-control Toffoli gates. In addition, the diameter of the Cayley graph $H_n$ gives a lower bound of $n2^{n-1}$. △ Less

Submitted 14 September, 2012; originally announced September 2012.

Comments: IV Workshop-School on Quantum Computation and Information (WECIQ 2012), Fortaleza, Brazil

Mixing Times in Quantum Walks on Two-Dimensional Grids

Authors: F. L. Marquezino, R. Portugal, G. Abal

Abstract: Mixing properties of discrete-time quantum walks on two-dimensional grids with torus-like boundary conditions are analyzed, focusing on their connection to the complexity of the corresponding abstract search algorithm. In particular, an exact expression for the stationary distribution of the coherent walk over odd-sided lattices is obtained after solving the eigenproblem for the evolution operator… ▽ More Mixing properties of discrete-time quantum walks on two-dimensional grids with torus-like boundary conditions are analyzed, focusing on their connection to the complexity of the corresponding abstract search algorithm. In particular, an exact expression for the stationary distribution of the coherent walk over odd-sided lattices is obtained after solving the eigenproblem for the evolution operator for this particular graph. The limiting distribution and mixing time of a quantum walk with a coin operator modified as in the abstract search algorithm are obtained numerically. On the basis of these results, the relation between the mixing time of the modified walk and the running time of the corresponding abstract search algorithm is discussed. △ Less

Submitted 23 June, 2010; originally announced June 2010.

Comments: 11 pages

Journal ref: Physical Review A, v. 82, p. 042341, 2010

Obtaining the Quantum Fourier Transform from the Classical FFT with QR Decomposition

Authors: F. L. Marquezino, R. Portugal, F. D. Sasse

Abstract: We present the detailed process of converting the classical Fourier Transform algorithm into the quantum one by using QR decomposition. This provides an example of a technique for building quantum algorithms using classical ones. The Quantum Fourier Transform is one of the most important quantum subroutines known at present, used in most algorithms that have exponential speed up compared to the cl… ▽ More We present the detailed process of converting the classical Fourier Transform algorithm into the quantum one by using QR decomposition. This provides an example of a technique for building quantum algorithms using classical ones. The Quantum Fourier Transform is one of the most important quantum subroutines known at present, used in most algorithms that have exponential speed up compared to the classical ones. We briefly review Fast Fourier Transform and then make explicit all the steps that led to the quantum formulation of the algorithm, generalizing Coppersmith's work. △ Less

Submitted 20 May, 2010; originally announced May 2010.

Comments: 12 pages, 1 figure (generated within LaTeX). To appear in Journal of Computational and Applied Mathematics

MSC Class: 81-08 (Primary); 65T50; 68W40 (Secondary)

Journal ref: Journal of Computational and Applied Mathematics, v. 235, p. 74-81, 2010

Spatial search in a honeycomb network

Authors: G. Abal, R. Donangelo, F. L. Marquezino, R. Portugal

Abstract: The spatial search problem consists in minimizing the number of steps required to find a given site in a network, under the restriction that only oracle queries or translations to neighboring sites are allowed. In this paper, a quantum algorithm for the spatial search problem on a honeycomb lattice with $N$ sites and torus-like boundary conditions. The search algorithm is based on a modified quant… ▽ More The spatial search problem consists in minimizing the number of steps required to find a given site in a network, under the restriction that only oracle queries or translations to neighboring sites are allowed. In this paper, a quantum algorithm for the spatial search problem on a honeycomb lattice with $N$ sites and torus-like boundary conditions. The search algorithm is based on a modified quantum walk on a hexagonal lattice and the general framework proposed by Ambainis, Kempe and Rivosh is used to show that the time complexity of this quantum search algorithm is $O(\sqrt{N \log N})$. △ Less

Submitted 28 May, 2010; v1 submitted 7 January, 2010; originally announced January 2010.

Comments: 10 pages, 2 figures; Minor typos corrected, one Reference added. accepted in Math. Structures in Computer Science, special volume on Quantum Computing

Journal ref: Mathematical Structures in Computer Science, v. 20, p. 999-1009, 2010

Decoherence in Search Algorithms

Authors: G. Abal, R. Donangelo, F. L. Marquezino, A. C. Oliveira, R. Portugal

Abstract: Recently several quantum search algorithms based on quantum walks were proposed. Those algorithms differ from Grover's algorithm in many aspects. The goal is to find a marked vertex in a graph faster than classical algorithms. Since the implementation of those new algorithms in quantum computers or in other quantum devices is error-prone, it is important to analyze their robustness under decoher… ▽ More Recently several quantum search algorithms based on quantum walks were proposed. Those algorithms differ from Grover's algorithm in many aspects. The goal is to find a marked vertex in a graph faster than classical algorithms. Since the implementation of those new algorithms in quantum computers or in other quantum devices is error-prone, it is important to analyze their robustness under decoherence. In this work we analyze the impact of decoherence on quantum search algorithms implemented on two-dimensional grids and on hypercubes. △ Less

Submitted 8 December, 2009; originally announced December 2009.

Comments: 14 pages, presented at 36th Seminar on Software and Hardware (SEMISH), XXIX Brazilian Computer Society Congress, Bento Concalves, Brazil

Journal ref: Proceedings of the XXIX Brazilian Computer Society Congress (SEMISH), 2009, pages 293-306

The QWalk Simulator of Quantum Walks

Authors: F. L. Marquezino, R. Portugal

Abstract: Several research groups are giving special attention to quantum walks recently, because this research area have been used with success in the development of new efficient quantum algorithms. A general simulator of quantum walks is very important for the development of this area, since it allows the researchers to focus on the mathematical and physical aspects of the research instead of deviating… ▽ More Several research groups are giving special attention to quantum walks recently, because this research area have been used with success in the development of new efficient quantum algorithms. A general simulator of quantum walks is very important for the development of this area, since it allows the researchers to focus on the mathematical and physical aspects of the research instead of deviating the efforts to the implementation of specific numerical simulations. In this paper we present QWalk, a quantum walk simulator for one- and two-dimensional lattices. Finite two-dimensional lattices with generic topologies can be used. Decoherence can be simulated by performing measurements or by breaking links of the lattice. We use examples to explain the usage of the software and to show some recent results of the literature that are easily reproduced by the simulator. △ Less

Submitted 24 March, 2008; originally announced March 2008.

Comments: 21 pages, 11 figures. Accepted in Computer Physics Communications. Simulator can be downloaded from http://qubit.lncc.br/qwalk

Journal ref: Computer Physics Communications, Volume 179, Issue 5, Pages 359-369. (2008)