-
Approximating dynamical correlation functions with constant depth quantum circuits
Authors:
Reinis Irmejs,
Raul A. Santos
Abstract:
One of the most important quantities characterizing the microscopic properties of quantum systems are dynamical correlation functions. These correlations are obtained by time-evolving a perturbation of an eigenstate of the system, typically the ground state. In this work, we study approximations of these correlation functions that do not require time dynamics. We show that having access to a circu…
▽ More
One of the most important quantities characterizing the microscopic properties of quantum systems are dynamical correlation functions. These correlations are obtained by time-evolving a perturbation of an eigenstate of the system, typically the ground state. In this work, we study approximations of these correlation functions that do not require time dynamics. We show that having access to a circuit that prepares an eigenstate of the Hamiltonian, it is possible to approximate the dynamical correlation functions up to exponential accuracy in the complex frequency domain $ω=\Re(ω)+i\Im(ω)$, on a strip above the real line $\Im(ω)=0$. We achieve this by exploiting the continued fraction representation of the dynamical correlation functions as functions of frequency $ω$, where the level $k$ approximant can be obtained by measuring a weight $O(k)$ operator on the eigenstate of interest. In the complex $ω$ plane, we show how this approach allows to determine approximations to correlation functions with accuracy that increases exponentially with $k$.
We analyse two algorithms to generate the continuous fraction representation in scalar or matrix form, starting from either one or many initial operators. We prove that these algorithms generate an exponentially accurate approximation of the dynamical correlation functions on a region sufficiently far away from the real frequency axis. We present numerical evidence of these theoretical results through simulations of small lattice systems. We comment on the stability of these algorithms with respect to sampling noise in the context of quantum simulation using quantum computers.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
How pure can we go with adiabatic state manipulation?
Authors:
Raul A. Santos,
Alex Kamenev,
Yuval Gefen
Abstract:
Dissipative systems with decoherence free subspaces, a.k.a. dark spaces (DSs), can be used to protect quantum information. At the same time, dissipation is expected to give rise to coherent information degradation outside the DS. Employed to support quantum information platforms, DSs can be adiabatically modified in a way that resembles adiabatic control of coherent systems. Here we study the slow…
▽ More
Dissipative systems with decoherence free subspaces, a.k.a. dark spaces (DSs), can be used to protect quantum information. At the same time, dissipation is expected to give rise to coherent information degradation outside the DS. Employed to support quantum information platforms, DSs can be adiabatically modified in a way that resembles adiabatic control of coherent systems. Here we study the slow evolution of a purely dissipative system with a spectral gap $γ$, characterized by a strong symmetry, under a cyclic protocol with period $T$. Non-adiabatic corrections to the state evolution give rise to decoherence: the evolution within the instantaneous DS is described by a time-local effective Liouvillian operator that leads to purity degradation over a period, of order $1/γT$. We obtain a closed form of the latter to order $1/(γT)^2$. Our analysis underlines speed limitations in quantum information processing in the absence of corrective measures.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Unveiling quantum phase transitions from traps in variational quantum algorithms
Authors:
Chenfeng Cao,
Filippo Maria Gambetta,
Ashley Montanaro,
Raul A. Santos
Abstract:
Understanding quantum phase transitions in physical systems is fundamental to characterize their behaviour at small temperatures. Achieving this requires both accessing good approximations to the ground state and identifying order parameters to distinguish different phases. Addressing these challenges, our work introduces a hybrid algorithm that combines quantum optimization with classical machine…
▽ More
Understanding quantum phase transitions in physical systems is fundamental to characterize their behaviour at small temperatures. Achieving this requires both accessing good approximations to the ground state and identifying order parameters to distinguish different phases. Addressing these challenges, our work introduces a hybrid algorithm that combines quantum optimization with classical machine learning. This approach leverages the capability of near-term quantum computers to prepare locally trapped states through finite optimization. Specifically, we utilize LASSO for identifying conventional phase transitions and the Transformer model for topological transitions, applying these with a sliding window of Hamiltonian parameters to learn appropriate order parameters and estimate the critical points accurately. We verified the effectiveness of our method with numerical simulation and real-hardware experiments on Rigetti's Ankaa 9Q-1 quantum computer. Our protocol not only provides a robust framework for investigating quantum phase transitions using shallow quantum circuits but also significantly enhances efficiency and precision, opening new avenues in the integration of quantum computing and machine learning.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Efficient and practical Hamiltonian simulation from time-dependent product formulas
Authors:
Jan Lukas Bosse,
Andrew M. Childs,
Charles Derby,
Filippo Maria Gambetta,
Ashley Montanaro,
Raul A. Santos
Abstract:
In this work we propose an approach for implementing time-evolution of a quantum system using product formulas. The quantum algorithms we develop have provably better scaling (in terms of gate complexity and circuit depth) than a naive application of well-known Trotter formulas, for systems where the evolution is determined by a Hamiltonian with different energy scales (i.e., one part is "large" a…
▽ More
In this work we propose an approach for implementing time-evolution of a quantum system using product formulas. The quantum algorithms we develop have provably better scaling (in terms of gate complexity and circuit depth) than a naive application of well-known Trotter formulas, for systems where the evolution is determined by a Hamiltonian with different energy scales (i.e., one part is "large" and another part is "small"). Our algorithms generate a decomposition of the evolution operator into a product of simple unitaries that are directly implementable on a quantum computer. Although the theoretical scaling is suboptimal compared with state-of-the-art algorithms (e.g., quantum signal processing), the performance of the algorithms we propose is highly competitive in practice. We illustrate this via extensive numerical simulations for several models. For instance, in the strong-field regime of the 1D transverse-field Ising model, our algorithms achieve an improvement of one order of magnitude in both the system size and evolution time that can be simulated with a fixed budget of 1000 arbitrary 2-qubit gates, compared with standard Trotter formulas.
△ Less
Submitted 24 June, 2024; v1 submitted 13 March, 2024;
originally announced March 2024.
-
Enhancing density functional theory using the variational quantum eigensolver
Authors:
Evan Sheridan,
Lana Mineh,
Raul A. Santos,
Toby Cubitt
Abstract:
Quantum computers open up new avenues for modelling the physical properties of materials and molecules. Density Functional Theory (DFT) is the gold standard classical algorithm for predicting these properties, but relies on approximations of the unknown universal functional, limiting its general applicability for many fundamental and technologically relevant systems. In this work we develop a hybr…
▽ More
Quantum computers open up new avenues for modelling the physical properties of materials and molecules. Density Functional Theory (DFT) is the gold standard classical algorithm for predicting these properties, but relies on approximations of the unknown universal functional, limiting its general applicability for many fundamental and technologically relevant systems. In this work we develop a hybrid quantum/classical algorithm called quantum enhanced DFT (QEDFT) that systematically constructs quantum approximations of the universal functional using data obtained from a quantum computer.
We benchmark the QEDFT algorithm on the Fermi-Hubbard model, both numerically and on data from experiments on real quantum hardware. We find that QEDFT surpasses the quality of groundstate results obtained from Hartree-Fock DFT, as well as from direct application of conventional quantum algorithms such as VQE. Furthermore, we demonstrate that QEDFT works even when only noisy, low-depth quantum computation is available, by benchmarking the algorithm on data obtained from Google's quantum computer.
We further show how QEDFT also captures quintessential properties of strongly correlated Mott physics for large Fermi-Hubbard systems using functionals generated on much smaller system sizes. Our results indicate that QEDFT can be applied to realistic materials and molecular systems, and has the potential to outperform the direct application of either DFT or VQE alone, without the requirement of large scale or fully fault-tolerant quantum computers.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Quantum Counting on the Complete Bipartite Graph
Authors:
Gustavo A. Bezerra,
Raqueline A. M. Santos,
Renato Portugal
Abstract:
Quantum counting is a key quantum algorithm that aims to determine the number of marked elements in a database. This algorithm is based on the quantum phase estimation algorithm and uses the evolution operator of Grover's algorithm because its non-trivial eigenvalues are dependent on the number of marked elements. Since Grover's algorithm can be viewed as a quantum walk on a complete graph, a natu…
▽ More
Quantum counting is a key quantum algorithm that aims to determine the number of marked elements in a database. This algorithm is based on the quantum phase estimation algorithm and uses the evolution operator of Grover's algorithm because its non-trivial eigenvalues are dependent on the number of marked elements. Since Grover's algorithm can be viewed as a quantum walk on a complete graph, a natural way to extend quantum counting is to use the evolution operator of quantum-walk-based search on non-complete graphs instead of Grover's operator. In this paper, we explore this extension by analyzing the coined quantum walk on the complete bipartite graph with an arbitrary number of marked vertices. We show that some eigenvalues of the evolution operator depend on the number of marked vertices and using this fact we show that the quantum phase estimation can be used to obtain the number of marked vertices. The time complexity for estimating the number of marked vertices in the bipartite graph with our algorithm aligns closely with that of the original quantum counting algorithm.
△ Less
Submitted 8 December, 2023; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Towards near-term quantum simulation of materials
Authors:
Laura Clinton,
Toby Cubitt,
Brian Flynn,
Filippo Maria Gambetta,
Joel Klassen,
Ashley Montanaro,
Stephen Piddock,
Raul A. Santos,
Evan Sheridan
Abstract:
Simulation of materials is one of the most promising applications of quantum computers. On near-term hardware the crucial constraint on these simulations is circuit depth. Many quantum simulation algorithms rely on a layer of unitary evolutions generated by each term in a Hamiltonian. This appears in time-dynamics as a single Trotter step, and in variational quantum eigensolvers under the Hamilton…
▽ More
Simulation of materials is one of the most promising applications of quantum computers. On near-term hardware the crucial constraint on these simulations is circuit depth. Many quantum simulation algorithms rely on a layer of unitary evolutions generated by each term in a Hamiltonian. This appears in time-dynamics as a single Trotter step, and in variational quantum eigensolvers under the Hamiltonian variational ansatz as a single ansatz layer. We present a new quantum algorithm design for materials modelling where the depth of a layer is independent of the system size. This design takes advantage of the locality of materials in the Wannier basis and employs a tailored fermionic encoding that preserves locality. We analyse the circuit costs of this approach and present a compiler that transforms density functional theory data into quantum circuit instructions -- connecting the physics of the material to the simulation circuit. The compiler automatically optimises circuits at multiple levels, from the base gate level to optimisations derived from the physics of the specific target material. We present numerical results for materials spanning a wide structural and technological range. Our results demonstrate a reduction of many orders of magnitude in circuit depth over standard prior methods that do not consider the structure of the Hamiltonian. For example our results improve resource requirements for Strontium Vanadate (SrVO$_3$) from 864 to 180 qubits for a $3\times3\times3$ lattice, and the circuit depth of a single Trotter or variational layer from $7.5\times 10^8$ to depth $884$. Although this is still beyond current hardware, our results show that materials simulation may be feasible on quantum computers without necessarily requiring scalable, fault-tolerant quantum computers, provided quantum algorithm design incorporates understanding of the materials and applications.
△ Less
Submitted 10 November, 2022; v1 submitted 30 May, 2022;
originally announced May 2022.
-
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.
-
Observing ground-state properties of the Fermi-Hubbard model using a scalable algorithm on a quantum computer
Authors:
Stasja Stanisic,
Jan Lukas Bosse,
Filippo Maria Gambetta,
Raul A. Santos,
Wojciech Mruczkiewicz,
Thomas E. O'Brien,
Eric Ostby,
Ashley Montanaro
Abstract:
The famous, yet unsolved, Fermi-Hubbard model for strongly-correlated electronic systems is a prominent target for quantum computers. However, accurately representing the Fermi-Hubbard ground state for large instances may be beyond the reach of near-term quantum hardware. Here we show experimentally that an efficient, low-depth variational quantum algorithm with few parameters can reproduce import…
▽ More
The famous, yet unsolved, Fermi-Hubbard model for strongly-correlated electronic systems is a prominent target for quantum computers. However, accurately representing the Fermi-Hubbard ground state for large instances may be beyond the reach of near-term quantum hardware. Here we show experimentally that an efficient, low-depth variational quantum algorithm with few parameters can reproduce important qualitative features of medium-size instances of the Fermi-Hubbard model. We address 1x8 and 2x4 instances on 16 qubits on a superconducting quantum processor, substantially larger than previous work based on less scalable compression techniques, and going beyond the family of 1D Fermi-Hubbard instances, which are solvable classically. Consistent with predictions for the ground state, we observe the onset of the metal-insulator transition and Friedel oscillations in 1D, and antiferromagnetic order in both 1D and 2D. We use a variety of error-mitigation techniques, including symmetries of the Fermi-Hubbard model and a recently developed technique tailored to simulating fermionic systems. We also introduce a new variational optimisation algorithm based on iterative Bayesian updates of a local surrogate model. Our scalable approach is a first step to using near-term quantum computers to determine low-energy properties of strongly-correlated electronic systems that cannot be solved exactly by classical computers.
△ Less
Submitted 3 December, 2021;
originally announced December 2021.
-
Quantum state transfer on the complete bipartite graph
Authors:
R. A. M. Santos
Abstract:
Previously it was shown that (almost) perfect state transfer can be achieved on the complete bipartite graph by a discrete-time coined quantum walk based algorithm when both the sender and receiver vertices are in the same partition of the graph and when the sender and receiver are in opposite partitions of the same size. By changing the coin operator, we analyze the state transfer problem and we…
▽ More
Previously it was shown that (almost) perfect state transfer can be achieved on the complete bipartite graph by a discrete-time coined quantum walk based algorithm when both the sender and receiver vertices are in the same partition of the graph and when the sender and receiver are in opposite partitions of the same size. By changing the coin operator, we analyze the state transfer problem and we show that it is still possible to achieve state transfer with high fidelity even when the sender and receiver are in different partitions with different sizes. Moreover, it is also possible to use an active switch approach using lackadaisical quantum walks where the marked vertex is switched between the sender and receiver during the algorithm.
△ Less
Submitted 25 November, 2021;
originally announced November 2021.
-
Lackadaisical quantum walks on 2D grids with multiple marked vertices
Authors:
Nikolajs Nahimovs,
Raqueline A. M. Santos
Abstract:
Lackadaisical quantum walk (LQW) is a quantum analog of a classical lazy walk, where each vertex has a self-loop of weight $l$. For a regular $\sqrt{N}\times\sqrt{N}$ 2D grid LQW can find a single marked vertex with $O(1)$ probability in $O(\sqrt{N\log N})$ steps using $l = d/N$, where $d$ is the degree of the vertices of the grid. For multiple marked vertices, however, $l = d/N$ is not optimal as…
▽ More
Lackadaisical quantum walk (LQW) is a quantum analog of a classical lazy walk, where each vertex has a self-loop of weight $l$. For a regular $\sqrt{N}\times\sqrt{N}$ 2D grid LQW can find a single marked vertex with $O(1)$ probability in $O(\sqrt{N\log N})$ steps using $l = d/N$, where $d$ is the degree of the vertices of the grid. For multiple marked vertices, however, $l = d/N$ is not optimal as the success probability decreases with the increase of the number of marked vertices. In this paper, we numerically study search by LQW for different types of 2D grids -- triangular, rectangular and honeycomb -- with multiple marked vertices. We show that in all cases the weight $l = m\cdot d/N$, where $m$ is the number of marked vertices, still leads to $O(1)$ success probability.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Multidimensional dark space and its underlying symmetries: towards dissipation-protected qubits
Authors:
Raul A. Santos,
Fernando Iemini,
Alex Kamenev,
Yuval Gefen
Abstract:
Quantum systems are always subject to interactions with an environment, typically resulting in decoherence and distortion of quantum correlations. It has been recently shown that a controlled interaction with the environment may actually help to create a state, dubbed as {\em ``dark''}, which is immune to decoherence. To encode quantum information in the dark states, they need to span a space with…
▽ More
Quantum systems are always subject to interactions with an environment, typically resulting in decoherence and distortion of quantum correlations. It has been recently shown that a controlled interaction with the environment may actually help to create a state, dubbed as {\em ``dark''}, which is immune to decoherence. To encode quantum information in the dark states, they need to span a space with a dimensionality larger than one, so different orthogonal states act as a computational basis. We devise a symmetry-based conceptual framework to engineer such degenerate dark spaces (DDS), protected from decoherence by the environment. We illustrate this construction with a model protocol, inspired by the fractional quantum Hall effect, where the DDS basis is isomorphic to a set of degenerate Laughlin states. The long-time steady state of our driven-dissipative model exhibits thus all the characteristics of degenerate vacua of a unitary topological system. This approach offers new possibilities for storing, protecting and manipulating quantum information in open systems.
△ Less
Submitted 1 August, 2020; v1 submitted 1 February, 2020;
originally announced February 2020.
-
The role of tessellation intersection in staggered quantum walks
Authors:
Raqueline A. M. Santos
Abstract:
The staggered quantum walk (SQW) model is defined by partitioning the graph into cliques, which are called polygons. We analyze the role that the size of the polygon intersection plays on the dynamics of SQWs on graphs. We introduce two processes (intersection reduction and intersection expansion), that change the number of vertices in some intersection of polygons, and we compare the behavior of…
▽ More
The staggered quantum walk (SQW) model is defined by partitioning the graph into cliques, which are called polygons. We analyze the role that the size of the polygon intersection plays on the dynamics of SQWs on graphs. We introduce two processes (intersection reduction and intersection expansion), that change the number of vertices in some intersection of polygons, and we compare the behavior of the SQW on the reduced or expanded graph in relation to the SQW on the original graph. We describe how the eigenvectors and eigenvalues of the evolution operators relate to each other. This processes can help to establish the equivalence between SQWs on different graphs and to simplify the analysis of SQWs. We also show an example of a SQW on a graph that is not included in Szegedy's model, but which is equivalent to an instance of Szegedy's model after applying the intersection reduction.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
On the probability of finding marked connected components using quantum walks
Authors:
Nikolajs Nahimovs,
Raqueline A. M. Santos,
Kamil Khadiev
Abstract:
Finding a marked vertex in a graph can be a complicated task when using quantum walks. Recent results show that for two or more adjacent marked vertices search by quantum walk with Grover's coin may have no speed-up over classical exhaustive search. In this paper, we analyze the probability of finding a marked vertex for a set of connected components of marked vertices. We prove two upper bounds o…
▽ More
Finding a marked vertex in a graph can be a complicated task when using quantum walks. Recent results show that for two or more adjacent marked vertices search by quantum walk with Grover's coin may have no speed-up over classical exhaustive search. In this paper, we analyze the probability of finding a marked vertex for a set of connected components of marked vertices. We prove two upper bounds on the probability of finding a marked vertex and sketch further research directions.
△ Less
Submitted 14 May, 2018; v1 submitted 11 October, 2017;
originally announced October 2017.
-
Exceptional Quantum Walk Search on the Cycle
Authors:
Thomas G. Wong,
Raqueline A. M. Santos
Abstract:
Quantum walks are standard tools for searching graphs for marked vertices, and they often yield quadratic speedups over a classical random walk's hitting time. In some exceptional cases, however, the system only evolves by sign flips, staying in a uniform probability distribution for all time. We prove that the one-dimensional periodic lattice or cycle with any arrangement of marked vertices is su…
▽ More
Quantum walks are standard tools for searching graphs for marked vertices, and they often yield quadratic speedups over a classical random walk's hitting time. In some exceptional cases, however, the system only evolves by sign flips, staying in a uniform probability distribution for all time. We prove that the one-dimensional periodic lattice or cycle with any arrangement of marked vertices is such an exceptional configuration. Using this discovery, we construct a search problem where the quantum walk's random sampling yields an arbitrary speedup in query complexity over the classical random walk's hitting time. In this context, however, the mixing time to prepare the initial uniform state is a more suitable comparison than the hitting time, and then the speedup is roughly quadratic.
△ Less
Submitted 26 January, 2017; v1 submitted 19 October, 2016;
originally announced October 2016.
-
Adjacent vertices can be hard to find by quantum walks
Authors:
Nikolajs Nahimovs,
Raqueline A. M. Santos
Abstract:
Quantum walks have been useful for designing quantum algorithms that outperform their classical versions for a variety of search problems. Most of the papers, however, consider a search space containing a single marked element only. We show that if the search space contains more than one marked element, their placement may drastically affect the performance of the search. More specifically, we stu…
▽ More
Quantum walks have been useful for designing quantum algorithms that outperform their classical versions for a variety of search problems. Most of the papers, however, consider a search space containing a single marked element only. We show that if the search space contains more than one marked element, their placement may drastically affect the performance of the search. More specifically, we study search by quantum walks on general graphs and show a wide class of configurations of marked vertices, for which search by quantum walk needs $Ω(N)$ steps, that is, it has no speed-up over the classical exhaustive search. The demonstrated configurations occur for certain placements of two or more adjacent marked vertices. The analysis is done for the two-dimensional grid and hypercube, and then is generalized for any graph.
△ Less
Submitted 11 October, 2017; v1 submitted 18 May, 2016;
originally announced May 2016.
-
Szegedy's quantum walk with queries
Authors:
Raqueline A. M. Santos
Abstract:
When searching for a marked vertex in a graph, Szegedy's usual search operator is defined by using the transition probability matrix of the random walk with absorbing barriers at the marked vertices. Instead of using this operator, we analyze searching with Szegedy's quantum walk by using reflections around the marked vertices, that is, the standard form of quantum query. We show we can boost the…
▽ More
When searching for a marked vertex in a graph, Szegedy's usual search operator is defined by using the transition probability matrix of the random walk with absorbing barriers at the marked vertices. Instead of using this operator, we analyze searching with Szegedy's quantum walk by using reflections around the marked vertices, that is, the standard form of quantum query. We show we can boost the probability to 1 of finding a marked vertex in the complete graph. Numerical simulations suggests that the success probability can be improved for other graphs, like the two-dimensional grid. We also prove that, for a certain class of graphs, we can express Szegedy's search operator, obtained from the absorbing walk, using the standard query model.
△ Less
Submitted 12 April, 2016; v1 submitted 17 March, 2016;
originally announced March 2016.
-
Negativity in the Generalized Valence Bond Solid State
Authors:
Raul A. Santos,
V. Korepin
Abstract:
Using a graphical presentation of the spin $S$ one dimensional Valence Bond Solid (VBS) state, based on the representation theory of the $SU(2)$ Lie-algebra of spins, we compute the spectrum of a mixed state reduced density matrix. This mixed state of two blocks of spins $A$ and $B$ is obtained by tracing out the spins outside $A$ and $B$, in the pure VBS state density matrix. We find in particula…
▽ More
Using a graphical presentation of the spin $S$ one dimensional Valence Bond Solid (VBS) state, based on the representation theory of the $SU(2)$ Lie-algebra of spins, we compute the spectrum of a mixed state reduced density matrix. This mixed state of two blocks of spins $A$ and $B$ is obtained by tracing out the spins outside $A$ and $B$, in the pure VBS state density matrix. We find in particular that the negativity of the mixed state is non-zero only for adjacent subsystems. The method introduced here can be generalized to the computation of entanglement properties in Levin-Wen models, that possess a similar algebraic structure to the VBS state in the groundstate.
△ Less
Submitted 16 March, 2016;
originally announced March 2016.
-
The Staggered Quantum Walk Model
Authors:
R. Portugal,
R. A. M. Santos,
T. D. Fernandes,
D. N. Gonçalves
Abstract:
There are at least three models of discrete-time quantum walks (QWs) on graphs currently under active development. In this work we focus on the equivalence of two of them, known as Szegedy's and staggered QWs. We give a formal definition of the staggered model and discuss generalized versions for searching marked vertices. Using this formal definition, we prove that any instance of Szegedy's model…
▽ More
There are at least three models of discrete-time quantum walks (QWs) on graphs currently under active development. In this work we focus on the equivalence of two of them, known as Szegedy's and staggered QWs. We give a formal definition of the staggered model and discuss generalized versions for searching marked vertices. Using this formal definition, we prove that any instance of Szegedy's model is equivalent to an instance of the staggered model. On the other hand, we show that there are instances of the staggered model that cannot be cast into Szegedy's framework. Our analysis also works when there are marked vertices. We show that Szegedy's spatial search algorithms can be converted into search algorithms in staggered QWs. We take advantage of the similarity of those models to define the quantum hitting time in the staggered model and to describe a method to calculate the eigenvalues and eigenvectors of the evolution operator of staggered QWs.
△ Less
Submitted 27 July, 2015; v1 submitted 18 May, 2015;
originally announced May 2015.
-
Moments of Coinless Quantum Walks on Lattices
Authors:
Raqueline A. M. Santos,
Renato Portugal,
Stefan Boettcher
Abstract:
The properties of the coinless quantum walk model have not been as thoroughly analyzed as those of the coined model. Both evolve in discrete time steps but the former uses a smaller Hilbert space, which is spanned merely by the site basis. Besides, the evolution operator can be obtained using a process of lattice tessellation, which is very appealing. The moments of the probability distribution pl…
▽ More
The properties of the coinless quantum walk model have not been as thoroughly analyzed as those of the coined model. Both evolve in discrete time steps but the former uses a smaller Hilbert space, which is spanned merely by the site basis. Besides, the evolution operator can be obtained using a process of lattice tessellation, which is very appealing. The moments of the probability distribution play an important role in the context of quantum walks. The ballistic behavior of the mean square displacement indicates that quantum-walk-based algorithms are faster than random-walk-based ones. In this paper, we obtain analytical expressions for the moments of the coinless model on $d$-dimensional lattices. The mean square displacement for large times is explicitly calculated for the one- and two-dimensional lattices and, using optimization methods, the parameter values that give the largest spread are calculated and compared with the equivalent ones of the coined model. Although we have employed asymptotic methods, our approximations are accurate even for small numbers of time steps.
△ Less
Submitted 22 February, 2015;
originally announced February 2015.
-
Entanglement of a alternating bipartition in spin chains: Relation with classical integrable models
Authors:
Raul A. Santos
Abstract:
We study the entanglement properties of a class of ground states defined by matrix product states, which are generalizations of the valence bond solid (VBS) state in one dimension. It is shown that the transfer matrix of these states can be related to representations of the Temperley-Lieb algebra, allowing an exact computation of Renyi entropy. For an alternating bipartition, we find that the Reny…
▽ More
We study the entanglement properties of a class of ground states defined by matrix product states, which are generalizations of the valence bond solid (VBS) state in one dimension. It is shown that the transfer matrix of these states can be related to representations of the Temperley-Lieb algebra, allowing an exact computation of Renyi entropy. For an alternating bipartition, we find that the Renyi entropy can be mapped to an eight vertex model partition function on a rotated lattice. We also show that for the VBS state, the Renyi entropy of the alternating partition is described by a critical field theory with central charge $c=1$. The generalization to $SU(n)$ VBS and its connection with a dimerization transition in the entanglement Hamiltonian is discussed.
△ Less
Submitted 1 September, 2015; v1 submitted 7 August, 2014;
originally announced August 2014.
-
Bulk-Edge correspondence of entanglement spectrum in 2D spin ground states
Authors:
Raul A. Santos
Abstract:
General local spin $S$ ground states, described by a Valence Bond Solid (VBS) on a two dimensional lattice are studied. The norm of these ground states is mapped to a classical O(3) model on the same lattice. Using this quantum-to-classical map** we obtain the partial density matrix $ρ_{A}$ associated with a subsystem ${A}$ of the original ground state. We show that the entanglement spectrum of…
▽ More
General local spin $S$ ground states, described by a Valence Bond Solid (VBS) on a two dimensional lattice are studied. The norm of these ground states is mapped to a classical O(3) model on the same lattice. Using this quantum-to-classical map** we obtain the partial density matrix $ρ_{A}$ associated with a subsystem ${A}$ of the original ground state. We show that the entanglement spectrum of $ρ_{\rm A}$ in a translation invariant lattice is given by the spectrum of a quantum spin chain at the boundary of region $A$, with local Heisenberg type interactions between spin 1/2 particles.
△ Less
Submitted 4 December, 2012; v1 submitted 16 August, 2012;
originally announced August 2012.
-
Decoherence in Quantum Markov Chains
Authors:
Raqueline A. M. Santos,
Renato Portugal,
Marcelo D. Fragoso
Abstract:
It is known that under some assumptions the hitting time in quantum Markov chains is quadratically smaller than the hitting time in classical Markov chains. This work extends this result for decoherent quantum Markov chains. The decoherence is introduced using a percolation-like graph model, which allows us to define a decoherent quantum hitting time and to establish a decoherent-intensity range f…
▽ More
It is known that under some assumptions the hitting time in quantum Markov chains is quadratically smaller than the hitting time in classical Markov chains. This work extends this result for decoherent quantum Markov chains. The decoherence is introduced using a percolation-like graph model, which allows us to define a decoherent quantum hitting time and to establish a decoherent-intensity range for which the decoherent quantum hitting time is quadratically smaller than the the classical hitting time. The detection problem under decoherence is also solved with quadratic speedup in this range.
△ Less
Submitted 22 February, 2015; v1 submitted 27 April, 2012;
originally announced April 2012.
-
Quantum phase transition in a multicomponent anyonic Lieb-Liniger model
Authors:
Raul A. Santos,
Francis N. C. Paraan,
Vladimir E. Korepin
Abstract:
We study a one-dimensional multicomponent anyon model that reduces to a multicomponent Lieb-Liniger gas of impenetrable bosons (Tonks-Girardeau gas) for vanishing statistics parameter. At fixed component densities, the coordinate Bethe ansatz gives a family of quantum phase transitions at special values of the statistics parameter. We show that the ground state energy changes extensively between d…
▽ More
We study a one-dimensional multicomponent anyon model that reduces to a multicomponent Lieb-Liniger gas of impenetrable bosons (Tonks-Girardeau gas) for vanishing statistics parameter. At fixed component densities, the coordinate Bethe ansatz gives a family of quantum phase transitions at special values of the statistics parameter. We show that the ground state energy changes extensively between different phases. Special regimes are studied and a general classification for the transition points is given. An interpretation in terms of statistics of composite particles is proposed.
△ Less
Submitted 18 July, 2012; v1 submitted 18 April, 2012;
originally announced April 2012.
-
Entanglement spectra of q-deformed higher spin VBS states
Authors:
Raul A. Santos,
Francis N. C. Paraan,
Vladimir E. Korepin,
Andreas Klümper
Abstract:
We calculate the reduced density matrix of a block of integer spin-S's in a q-deformed valence-bond-solid (VBS) state. This matrix is diagonalized exactly for an infinitely long block in an infinitely long chain. We construct an effective Hamiltonian with the same spectrum as the logarithm of the density matrix. We also derive analytic expressions for the von Neumann and Rényi entanglement entropi…
▽ More
We calculate the reduced density matrix of a block of integer spin-S's in a q-deformed valence-bond-solid (VBS) state. This matrix is diagonalized exactly for an infinitely long block in an infinitely long chain. We construct an effective Hamiltonian with the same spectrum as the logarithm of the density matrix. We also derive analytic expressions for the von Neumann and Rényi entanglement entropies. For blocks of finite length, we calculate the eigenvalues of the reduced density matrix by perturbation theory and numerical diagonalization. These results enable us to describe the effects of finite-size corrections on the entanglement spectrum and entropy in this generalized VBS model.
△ Less
Submitted 12 April, 2012; v1 submitted 28 January, 2012;
originally announced January 2012.
-
Entanglement spectra of the q-deformed Affleck-Kennedy-Lieb-Tasaki model and matrix product states
Authors:
Raul A. Santos,
Francis N. C. Paraan,
Vladimir E. Korepin,
Andreas Klümper
Abstract:
We exactly calculate the reduced density matrix of matrix product states (MPS). Our compact result enables one to perform analytic studies of entanglement in MPS. In particular, we consider the MPS ground states of two anisotropic spin chains. One is a q-deformed Affleck-Kennedy-Lieb-Tasaki (AKLT) model and the other is a general spin-1 quantum antiferromagnet with nearest-neighbor interactions. O…
▽ More
We exactly calculate the reduced density matrix of matrix product states (MPS). Our compact result enables one to perform analytic studies of entanglement in MPS. In particular, we consider the MPS ground states of two anisotropic spin chains. One is a q-deformed Affleck-Kennedy-Lieb-Tasaki (AKLT) model and the other is a general spin-1 quantum antiferromagnet with nearest-neighbor interactions. Our analysis shows how anisotropy affects entanglement on different continuous parameter manifolds. We also construct an effective boundary spin model that describes a block of spins in the ground state of the q-deformed AKLT Hamiltonian. The temperature of this effective model is given in terms of the deformation parameter q.
△ Less
Submitted 14 May, 2012; v1 submitted 2 December, 2011;
originally announced December 2011.
-
Entanglement of disjoint blocks in the one dimensional Spin 1 VBS
Authors:
Raul A. Santos,
Vladimir Korepin
Abstract:
Starting with the valence bond solid (VBS) ground state of the 1D AKLT Hamiltonian, we make a partition of the system in 2 subsystems $A$ and $B$, where $A$ is a block of $L$ consecutive spins and $B$ is it's complement. In that setting we compute the partial transpose density matrix with respect to $A$, $ρ^{T_A}$. We obtain the spectrum of the transposed density matrix of the VBS pure system. Sub…
▽ More
Starting with the valence bond solid (VBS) ground state of the 1D AKLT Hamiltonian, we make a partition of the system in 2 subsystems $A$ and $B$, where $A$ is a block of $L$ consecutive spins and $B$ is it's complement. In that setting we compute the partial transpose density matrix with respect to $A$, $ρ^{T_A}$. We obtain the spectrum of the transposed density matrix of the VBS pure system. Subsequently we define two disjoint blocks, $A$ and $B$ containing $L_A$ and $L_B$ spins respectively, separated by $L$ sites. Tracing away the spins which do not belong to $A\cup B$, we find an expression for the reduced density matrix of the $A$ and $B$ blocks $ρ(A,B)$. With this expression (in the thermodynamic limit), we compute the entanglement spectrum and other several entanglement measures, as the purity $P={\rm tr}(ρ(A,B)^2)$, the negativity $\mathcal{N}$, and the mutual entropy.
△ Less
Submitted 14 October, 2011;
originally announced October 2011.
-
Negativity for two blocks in the one dimensional Spin 1 AKLT model
Authors:
Raul A. Santos,
V. Korepin,
Sougato Bose
Abstract:
In this paper we compute the entanglement, as quantified by negativity, between two blocks of length $L_A$ and $L_B$, separated by $L$ sites in the one dimensional spin-1 AKLT model. We took the model with two different boundary conditions. We consider the case of $N$ spins 1 in the bulk and one spin 1/2 at each boundary which constitute an unique ground state, and the case of just spins 1, even a…
▽ More
In this paper we compute the entanglement, as quantified by negativity, between two blocks of length $L_A$ and $L_B$, separated by $L$ sites in the one dimensional spin-1 AKLT model. We took the model with two different boundary conditions. We consider the case of $N$ spins 1 in the bulk and one spin 1/2 at each boundary which constitute an unique ground state, and the case of just spins 1, even at the end of the chain, where the degeneracy of the ground state is four. In both scenarios we made a partition consisting of two blocks $A$ and $B$, containing $L_A$ and $L_B$ sites respectively. The separation of these two blocks is $L$. In both cases we explicitly obtain the reduced density matrix of the blocks $A$ and $B$. We prove that the negativity in the first case vanishes identically for $L\geq 1$ while in the second scenario it may approach a constant value $N=1/2$ for each degenerate eigenstate depending on the way one constructs these eigenstates. However, as there is some freedom in constructing these eigenstates, vanishing entanglement is also possible in the latter case. Additionally, we also compute the entanglement between non-complementary blocks in the case of periodic boundary conditions for the spin-1 AKLT model for which there is a unique ground state. Even in this case, we find that the negativity of separated blocks of spins is zero.
△ Less
Submitted 22 September, 2011;
originally announced September 2011.
-
Quantum Hitting Time on the Complete Graph
Authors:
R. A. M. Santos,
R. Portugal
Abstract:
Quantum walks play an important role in the area of quantum algorithms. Many interesting problems can be reduced to searching marked states in a quantum Markov chain. In this context, the notion of quantum hitting time is very important, because it quantifies the running time of the algorithms. Markov chain-based algorithms are probabilistic, therefore the calculation of the success probability…
▽ More
Quantum walks play an important role in the area of quantum algorithms. Many interesting problems can be reduced to searching marked states in a quantum Markov chain. In this context, the notion of quantum hitting time is very important, because it quantifies the running time of the algorithms. Markov chain-based algorithms are probabilistic, therefore the calculation of the success probability is also required in the analysis of the computational complexity. Using Szegedy's definition of quantum hitting time, which is a natural extension of the definition of the classical hitting time, we present analytical expressions for the hitting time and success probability of the quantum walk on the complete graph.
△ Less
Submitted 7 December, 2009;
originally announced December 2009.
