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

Decoherence on Staggered Quantum Walks

Authors: R. A. M. Santos, F. L. Marquezino

Abstract: Decoherence phenomenon has been widely studied in different types of quantum walks. In this work we show how to model decoherence inspired by percolation on staggered quantum walks. Two models of unitary noise are described: breaking polygons and breaking vertices. The evolution operators subject to these noises are obtained and the equivalence to the coined quantum walk model is presented. Furthe… ▽ More Decoherence phenomenon has been widely studied in different types of quantum walks. In this work we show how to model decoherence inspired by percolation on staggered quantum walks. Two models of unitary noise are described: breaking polygons and breaking vertices. The evolution operators subject to these noises are obtained and the equivalence to the coined quantum walk model is presented. Further, we numerically analyze the effect of these decoherence models on the two-dimensional grid of $4$-cliques. We examine how these perturbations affect the quantum walk based search algorithm in this graph and how expanding the tessellations intersection can make it more robust against decoherence. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: 17 pages, 14 figures

Journal ref: Phys. Rev. A 105, 032452 (2022)

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)

Thermodynamics of N-dimensional quantum walks

Authors: Alejandro Romanelli, Raul Donangelo, Renato Portugal, Franklin L. Marquezino

Abstract: The entanglement between the position and coin state of a $N$-dimensional quantum walker is shown to lead to a thermodynamic theory. The entropy, in this thermodynamics, is associated to the reduced density operator for the evolution of chirality, taking a partial trace over positions. From the asymptotic reduced density matrix it is possible to define thermodynamic quantities, such as the asympto… ▽ More The entanglement between the position and coin state of a $N$-dimensional quantum walker is shown to lead to a thermodynamic theory. The entropy, in this thermodynamics, is associated to the reduced density operator for the evolution of chirality, taking a partial trace over positions. From the asymptotic reduced density matrix it is possible to define thermodynamic quantities, such as the asymptotic entanglement entropy, temperature, Helmholz free energy, etc. We study in detail the case of a $2$-dimensional quantum walk, in the case of two different initial conditions: a non-separable coin-position initial state, and a separable one. The resulting entanglement temperature is presented as function of the parameters of the system and those of the initial conditions. △ Less

Submitted 22 August, 2014; originally announced August 2014.

Comments: 10 pages, 4 figs

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

Spatial Search Algorithms on Hanoi Networks

Authors: Franklin L. Marquezino, Renato Portugal, Stefan Boettcher

Abstract: We use the abstract search algorithm and its extension due to Tulsi to analyze a spatial quantum search algorithm that finds a marked vertex in Hanoi networks of degree 4 faster than classical algorithms. We also analyze the effect of using non-Groverian coins that take advantage of the small world structure of the Hanoi networks. We obtain the scaling of the total cost of the algorithm as a funct… ▽ More We use the abstract search algorithm and its extension due to Tulsi to analyze a spatial quantum search algorithm that finds a marked vertex in Hanoi networks of degree 4 faster than classical algorithms. We also analyze the effect of using non-Groverian coins that take advantage of the small world structure of the Hanoi networks. We obtain the scaling of the total cost of the algorithm as a function of the number of vertices. We show that Tulsi's technique plays an important role to speed up the searching algorithm. We can improve the algorithm's efficiency by choosing a non-Groverian coin if we do not implement Tulsi's method. Our conclusion is based on numerical implementations. △ Less

Submitted 13 September, 2012; originally announced September 2012.

Comments: 6 pages, 6 figures

Journal ref: Phys. Rev. A 87, 012329 (2013)

Quantum Search Algorithms on Hierarchical Networks

Authors: F. L. Marquezino, R. Portugal, S. Boettcher

Abstract: The "abstract search algorithm" is a well known quantum method to find a marked vertex in a graph. It has been applied with success to searching algorithms for the hypercube and the two-dimensional grid. In this work we provide an example for which that method fails to provide the best algorithm in terms of time complexity. We analyze search algorithms in degree-3 hierarchical networks using quant… ▽ More The "abstract search algorithm" is a well known quantum method to find a marked vertex in a graph. It has been applied with success to searching algorithms for the hypercube and the two-dimensional grid. In this work we provide an example for which that method fails to provide the best algorithm in terms of time complexity. We analyze search algorithms in degree-3 hierarchical networks using quantum walks driven by non-groverian coins. Our conclusions are based on numerical simulations, but the hierarchical structures of the graphs seems to allow analytical results. △ Less

Submitted 2 May, 2012; originally announced May 2012.

Comments: IEEE Information Theory Workshop 2011

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)

Mixing Times in Quantum Walks on the Hypercube

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

Abstract: The mixing time of a discrete-time quantum walk on the hypercube is considered. The mean probability distribution of a Markov chain on a hypercube is known to mix to a uniform distribution in time O(n log n). We show that the mean probability distribution of a discrete-time quantum walk on a hypercube mixes to a (generally non-uniform) distribution pi(x) in time O(n) and the stationary distribut… ▽ More The mixing time of a discrete-time quantum walk on the hypercube is considered. The mean probability distribution of a Markov chain on a hypercube is known to mix to a uniform distribution in time O(n log n). We show that the mean probability distribution of a discrete-time quantum walk on a hypercube mixes to a (generally non-uniform) distribution pi(x) in time O(n) and the stationary distribution is determined by the initial state of the walk. An explicit expression for pi(x) is derived for the particular case of a symmetric walk. These results are consistent with those obtained previously for a continuous-time quantum walk. The effect of decoherence due to randomly breaking links between connected sites in the hypercube is also considered. We find that the probability distribution mixes to the uniform distribution as expected. However, the mixing time has a minimum at a critical decoherence rate $p \approx 0.1$. A similar effect was previously reported for the QW on the N-cycle with decoherence from repeated measurements of position. A controlled amount of decoherence helps to obtain--and preserve--a uniform distribution over the $2^n$ sites of the hypercube in the shortest possible time. △ Less

Submitted 19 December, 2007; v1 submitted 4 December, 2007; originally announced December 2007.

Comments: REVTeX, 9 pages, with small corrections

Journal ref: Phys. Rev. A 77, 042312 (2008)

An Introduction to Logical Operations on Classical and Quantum Bits

Authors: F. L. Marquezino, R. R. Mello Junior

Abstract: This article is a short review on the concept of information. We show the strong relation between Information Theory and Physics, and the differences between classical and quantum information, with emphasis in their manipulation through logical gates. This paper is intended to be read by non-specialists and undergraduate students of Computer Science, Mathematics and Physics, with knowledge in Li… ▽ More This article is a short review on the concept of information. We show the strong relation between Information Theory and Physics, and the differences between classical and quantum information, with emphasis in their manipulation through logical gates. This paper is intended to be read by non-specialists and undergraduate students of Computer Science, Mathematics and Physics, with knowledge in Linear Algebra and Quantum Mechanics. △ Less

Submitted 28 April, 2004; originally announced April 2004.

Comments: 12 pages, 3 figures, introductory review

Considerations on Classical and Quantum Bits

Authors: F. L. Marquezino, R. R. Mello Junior

Abstract: This article is a short review on the concept of information. We show the strong relation between Information Theory and Physics, beginning by the concept of bit and its representation with classical physical systems, and then going to the concept of quantum bit (the so-called ``qubit'') and exposing some differences and similarities. This paper is intended to be read by non-specialists and unde… ▽ More This article is a short review on the concept of information. We show the strong relation between Information Theory and Physics, beginning by the concept of bit and its representation with classical physical systems, and then going to the concept of quantum bit (the so-called ``qubit'') and exposing some differences and similarities. This paper is intended to be read by non-specialists and undergraduate students of Computer Science, Mathematics and Physics, with knowledge of Linear Algebra and Quantum Mechanics. △ Less

Submitted 28 April, 2004; originally announced April 2004.

Comments: 13 pages, 1 figure, introductory review