-
Quantum Simulated Annealing
Authors:
R. Somma,
S. Boixo,
H. Barnum
Abstract:
We develop a quantum algorithm to solve combinatorial optimization problems through quantum simulation of a classical annealing process. Our algorithm combines techniques from quantum walks, quantum phase estimation, and quantum Zeno effect. It can be viewed as a quantum analogue of the discrete-time Markov chain Monte Carlo implementation of classical simulated annealing. Our implementation sca…
▽ More
We develop a quantum algorithm to solve combinatorial optimization problems through quantum simulation of a classical annealing process. Our algorithm combines techniques from quantum walks, quantum phase estimation, and quantum Zeno effect. It can be viewed as a quantum analogue of the discrete-time Markov chain Monte Carlo implementation of classical simulated annealing. Our implementation scales with the inverse of the square root of the minimum spectral gap of the stochastic matrix used in the classical simulation. The quantum algorithm outperforms the classical one, which scales with the inverse of the gap.
△ Less
Submitted 6 December, 2007;
originally announced December 2007.
-
Parameter Estimation with Mixed-State Quantum Computation
Authors:
Rolando D. Somma,
Sergio Boixo
Abstract:
We present a quantum algorithm to estimate parameters at the quantum metrology limit using deterministic quantum computation with one bit. When the interactions occurring in a quantum system are described by a Hamiltonian $H= θH_0$, we estimate $θ$ by zooming in on previous estimations and by implementing an adaptive Bayesian procedure. The final result of the algorithm is an updated estimation…
▽ More
We present a quantum algorithm to estimate parameters at the quantum metrology limit using deterministic quantum computation with one bit. When the interactions occurring in a quantum system are described by a Hamiltonian $H= θH_0$, we estimate $θ$ by zooming in on previous estimations and by implementing an adaptive Bayesian procedure. The final result of the algorithm is an updated estimation of $θ$ whose variance has been decreased in proportion to the time of evolution under H. For the problem of estimating several parameters, we implement dynamical-decoupling techniques and use the results of single parameter estimation. The cases of discrete-time evolution and reference-frame alignment are also discussed within the adaptive approach.
△ Less
Submitted 15 April, 2008; v1 submitted 9 August, 2007;
originally announced August 2007.
-
A Quantum Approach to Classical Statistical Mechanics
Authors:
Rolando D. Somma,
Cristian D. Batista,
Gerardo Ortiz
Abstract:
We present a new approach to study the thermodynamic properties of $d$-dimensional classical systems by reducing the problem to the computation of ground state properties of a $d$-dimensional quantum model. This classical-to-quantum mapping allows us to deal with standard optimization methods, such as simulated and quantum annealing, on an equal basis. Consequently, we extend the quantum anneali…
▽ More
We present a new approach to study the thermodynamic properties of $d$-dimensional classical systems by reducing the problem to the computation of ground state properties of a $d$-dimensional quantum model. This classical-to-quantum mapping allows us to deal with standard optimization methods, such as simulated and quantum annealing, on an equal basis. Consequently, we extend the quantum annealing method to simulate classical systems at finite temperatures. Using the adiabatic theorem of quantum mechanics, we derive the rates to assure convergence to the optimal thermodynamic state. For simulated and quantum annealing, we obtain the asymptotic rates of $T(t) \approx (p N) /(k_B \log t)$ and $γ(t) \approx (Nt)^{-\bar{c}/N}$, for the temperature and magnetic field, respectively. Other annealing strategies, as well as their potential speed-up, are also discussed.
△ Less
Submitted 11 October, 2006; v1 submitted 27 September, 2006;
originally announced September 2006.
-
Optimal Quantum Measurements of Expectation Values of Observables
Authors:
Emanuel Knill,
Gerardo Ortiz,
Rolando D. Somma
Abstract:
Experimental characterizations of a quantum system involve the measurement of expectation values of observables for a preparable state |psi> of the quantum system. Such expectation values can be measured by repeatedly preparing |psi> and coupling the system to an apparatus. For this method, the precision of the measured value scales as 1/sqrt(N) for N repetitions of the experiment. For the probl…
▽ More
Experimental characterizations of a quantum system involve the measurement of expectation values of observables for a preparable state |psi> of the quantum system. Such expectation values can be measured by repeatedly preparing |psi> and coupling the system to an apparatus. For this method, the precision of the measured value scales as 1/sqrt(N) for N repetitions of the experiment. For the problem of estimating the parameter phi in an evolution exp(-i phi H), it is possible to achieve precision 1/N (the quantum metrology limit) provided that sufficient information about H and its spectrum is available. We consider the more general problem of estimating expectations of operators A with minimal prior knowledge of A. We give explicit algorithms that approach precision 1/N given a bound on the eigenvalues of A or on their tail distribution. These algorithms are particularly useful for simulating quantum systems on quantum computers because they enable efficient measurement of observables and correlation functions. Our algorithms are based on a method for efficiently measuring the complex overlap of |psi> and U|psi>, where U is an implementable unitary operator. We explicitly consider the issue of confidence levels in measuring observables and overlaps and show that, as expected, confidence levels can be improved exponentially with linear overhead. We further show that the algorithms given here can typically be parallelized with minimal increase in resource usage.
△ Less
Submitted 3 July, 2006;
originally announced July 2006.
-
Lower bounds for the fidelity of entangled state preparation
Authors:
R. D. Somma,
J. Chiaverini,
D. J. Berkeland
Abstract:
Estimating the fidelity of state preparation in multi-qubit systems is generally a time-consuming task. Nevertheless, this complexity can be reduced if the desired state can be characterized by certain symmetries measurable with the corresponding experimental setup. In this paper we give simple expressions to estimate the fidelity of multi-qubit state preparation for rotational-invariant, stabil…
▽ More
Estimating the fidelity of state preparation in multi-qubit systems is generally a time-consuming task. Nevertheless, this complexity can be reduced if the desired state can be characterized by certain symmetries measurable with the corresponding experimental setup. In this paper we give simple expressions to estimate the fidelity of multi-qubit state preparation for rotational-invariant, stabilizer, and generalized coherent states. We specifically discuss the cat, W-type, and generalized coherent states, and obtain efficiently measurable lower bounds for the fidelity. We use these techniques to estimate the fidelity of a quantum simulation of an Ising-like interacting model using two trapped ions. These results are directly applicable to experiments using fidelity-based entanglement witnesses, such as quantum simulations and quantum computation.
△ Less
Submitted 20 July, 2006; v1 submitted 2 June, 2006;
originally announced June 2006.
-
Efficient solvability of Hamiltonians and limits on the power of some quantum computational models
Authors:
Rolando Somma,
Howard Barnum,
Gerardo Ortiz,
Emanuel Knill
Abstract:
We consider quantum computational models defined via a Lie-algebraic theory. In these models, specified initial states are acted on by Lie-algebraic quantum gates and the expectation values of Lie algebra elements are measured at the end. We show that these models can be efficiently simulated on a classical computer in time polynomial in the dimension of the algebra, regardless of the dimension…
▽ More
We consider quantum computational models defined via a Lie-algebraic theory. In these models, specified initial states are acted on by Lie-algebraic quantum gates and the expectation values of Lie algebra elements are measured at the end. We show that these models can be efficiently simulated on a classical computer in time polynomial in the dimension of the algebra, regardless of the dimension of the Hilbert space where the algebra acts. Similar results hold for the computation of the expectation value of operators implemented by a gate-sequence. We introduce a Lie-algebraic notion of generalized mean-field Hamiltonians and show that they are efficiently ("exactly") solvable by means of a Jacobi-like diagonalization method. Our results generalize earlier ones on fermionic linear optics computation and provide insight into the source of the power of the conventional model of quantum computation.
△ Less
Submitted 4 January, 2006;
originally announced January 2006.
-
Quantum Computation, Complexity, and Many-Body Physics
Authors:
Rolando D. Somma
Abstract:
Recently developed quantum algorithms suggest that quantum computers can solve certain problems and perform certain tasks more efficiently than conventional computers. Among other reasons, this is due to the possibility of creating non-classical correlations, or quantum entanglement, which is a phenomena hard or impossible to reproduce by classical-information methods.
In this thesis I first i…
▽ More
Recently developed quantum algorithms suggest that quantum computers can solve certain problems and perform certain tasks more efficiently than conventional computers. Among other reasons, this is due to the possibility of creating non-classical correlations, or quantum entanglement, which is a phenomena hard or impossible to reproduce by classical-information methods.
In this thesis I first investigate the simulation of quantum systems on a quantum computer constructed of two-level quantum elements or qubits. For this purpose, I present algebra mappings that allow one to obtain physical properties and compute correlation functions of fermionic, anyonic, and bosonic systems with such a computer. The results obtained show that the complexity of preparing a quantum state which contains the desired information for the computation is crucial.
Second, I present a wide class of quantum computations, which could involve entangled states, that can be simulated with the same efficiency on both types of computers. The notion of generalized quantum entanglement then naturally emerges. This generalization of entanglement is based on the idea that entanglement is an observer-dependent concept, that is, relative to a set of preferred observables.
△ Less
Submitted 22 December, 2005;
originally announced December 2005.
-
Generalization of entanglement to convex operational theories: Entanglement relative to a subspace of observables
Authors:
Howard Barnum,
Gerardo Ortiz,
Rolando Somma,
Lorenza Viola
Abstract:
We define what it means for a state in a convex cone of states on a space of observables to be generalized-entangled relative to a subspace of the observables, in a general ordered linear spaces framework for operational theories. This extends the notion of ordinary entanglement in quantum information theory to a much more general framework. Some important special cases are described, in which t…
▽ More
We define what it means for a state in a convex cone of states on a space of observables to be generalized-entangled relative to a subspace of the observables, in a general ordered linear spaces framework for operational theories. This extends the notion of ordinary entanglement in quantum information theory to a much more general framework. Some important special cases are described, in which the distinguished observables are subspaces of the observables of a quantum system, leading to results like the identification of generalized unentangled states with Lie-group-theoretic coherent states when the special observables form an irreducibly represented Lie algebra. Some open problems, including that of generalizing the semigroup of local operations with classical communication to the convex cones setting, are discussed.
△ Less
Submitted 13 June, 2005;
originally announced June 2005.
-
Liquid state NMR simulations of quantum many-body problems
Authors:
C. Negrevergne,
R. Somma,
G. Ortiz,
E. Knill,
R. Laflamme
Abstract:
Recently developed quantum algorithms suggest that in principle, quantum computers can solve problems such as simulation of physical systems more efficiently than classical computers. Much remains to be done to implement these conceptual ideas into actual quantum computers. As a small-scale demonstration of their capability, we simulate a simple many-fermion problem, the Fano-Anderson model, usi…
▽ More
Recently developed quantum algorithms suggest that in principle, quantum computers can solve problems such as simulation of physical systems more efficiently than classical computers. Much remains to be done to implement these conceptual ideas into actual quantum computers. As a small-scale demonstration of their capability, we simulate a simple many-fermion problem, the Fano-Anderson model, using liquid state Nuclear Magnetic Resonance (NMR). We carefully designed our experiment so that the resource requirement would scale up polynomially with the size of the quantum system to be simulated. The experimental results allow us to assess the limits of the degree of quantum control attained in these kinds of experiments. The simulation of other physical systems, with different particle statistics, is also discussed.
△ Less
Submitted 13 October, 2004;
originally announced October 2004.
-
Exactly-Solvable Models Derived from a Generalized Gaudin Algebra
Authors:
G. Ortiz,
R. Somma,
J. Dukelsky,
S. Rombouts
Abstract:
We introduce a generalized Gaudin Lie algebra and a complete set of mutually commuting quantum invariants allowing the derivation of several families of exactly solvable Hamiltonians. Different Hamiltonians correspond to different representations of the generators of the algebra. The derived exactly-solvable generalized Gaudin models include the Bardeen-Cooper-Schrieffer, Suhl-Matthias-Walker, t…
▽ More
We introduce a generalized Gaudin Lie algebra and a complete set of mutually commuting quantum invariants allowing the derivation of several families of exactly solvable Hamiltonians. Different Hamiltonians correspond to different representations of the generators of the algebra. The derived exactly-solvable generalized Gaudin models include the Bardeen-Cooper-Schrieffer, Suhl-Matthias-Walker, the Lipkin-Meshkov-Glick, generalized Dicke, the Nuclear Interacting Boson Model, a new exactly-solvable Kondo-like impurity model, and many more that have not been exploited in the physics literature yet.
△ Less
Submitted 16 July, 2004;
originally announced July 2004.
-
Entanglement beyond subsystems
Authors:
Lorenza Viola,
Howard Barnum,
Emanuel Knill,
Gerardo Ortiz,
Rolando Somma
Abstract:
We present a notion of generalized entanglement which goes beyond the conventional definition based on quantum subsystems. This is accomplished by directly defining entanglement as a property of quantum states relative to a distinguished set of observables singled out by Physics. While recovering standard entanglement as a special case, our notion allows for substantially broader generality and…
▽ More
We present a notion of generalized entanglement which goes beyond the conventional definition based on quantum subsystems. This is accomplished by directly defining entanglement as a property of quantum states relative to a distinguished set of observables singled out by Physics. While recovering standard entanglement as a special case, our notion allows for substantially broader generality and flexibility, being applicable, in particular, to situations where existing tools are not directly useful.
△ Less
Submitted 4 March, 2004;
originally announced March 2004.
-
Entanglement as an Observer-Dependent Concept: An Application to Quantum Phase Transitions
Authors:
Gerardo Ortiz,
Rolando Somma,
Howard Barnum,
Emanuel Knill,
Lorenza Viola
Abstract:
This paper addresses the following main question: Do we have a theoretical understanding of entanglement applicable to a full variety of physical settings? It is clear that not only the assumption of distinguishability, but also the few-subsystem scenario, are too narrow to embrace all possible physical settings. In particular, the need to go beyond the traditional subsystem-based framework beco…
▽ More
This paper addresses the following main question: Do we have a theoretical understanding of entanglement applicable to a full variety of physical settings? It is clear that not only the assumption of distinguishability, but also the few-subsystem scenario, are too narrow to embrace all possible physical settings. In particular, the need to go beyond the traditional subsystem-based framework becomes manifest when one tries to apply the conventional concept of entanglement to the physics of matter, since the constituents of a quantum many-body system are indistinguishable particles. We shall discuss here a notion of generalized entanglement, which can be applied to any operator language (fermions, bosons, spins, etc.) used to describe a physical system and which includes the conventional entanglement settings introduced to date in a unified fashion. This is realized by noticing that entanglement is an observer-dependent concept, whose properties are determined by the expectations of a distinguished set of observables without reference to a preferred subsystem decomposition, i.e., it depends on the physically relevant point of view. This viewpoint depends in turn upon the relationship between different sets of observables that determine our ability to control the system of interest. Indeed, the extent to which entanglement is present depends on the observables used to measure a system and describe its states. This represents a most conspicuous advantage as will be highlighted by the condensed-matter application we will discuss.
△ Less
Submitted 30 November, 2004; v1 submitted 4 March, 2004;
originally announced March 2004.
-
Nature and Measure of Entanglement in Quantum Phase Transitions
Authors:
Rolando Somma,
Gerardo Ortiz,
Howard Barnum,
Emanuel Knill,
Lorenza Viola
Abstract:
Characterizing and quantifying quantum correlations in states of many-particle systems is at the core of a full understanding of phase transitions in matter. In this work, we continue our investigation of the notion of generalized entanglement [Barnum et al. Phys. Rev. A 68, 032308 (2003)] by focusing on a simple Lie-algebraic measure of purity of a quantum state relative to an observable set. F…
▽ More
Characterizing and quantifying quantum correlations in states of many-particle systems is at the core of a full understanding of phase transitions in matter. In this work, we continue our investigation of the notion of generalized entanglement [Barnum et al. Phys. Rev. A 68, 032308 (2003)] by focusing on a simple Lie-algebraic measure of purity of a quantum state relative to an observable set. For the algebra of local observables on multi-qubit systems, the resulting local purity measure is equivalent to a recently introduced global entanglement measure [Meyer and Wallach, J. Math. Phys. 43, 4273 (2002)]. In the condensed-matter setting, the notion of Lie-algebraic purity is exploited to identify and characterize the quantum phase transitions present in two exactly solvable models: the Lipkin-Meshkov-Glick model, and the spin-1/2 anisotropic XY model in a transverse magnetic field. For the latter, we argue that a natural fermionic observable-set arising after the Jordan-Wigner transformation, better characterizes the transition than alternative measures based on qubits. This illustrates the usefulness of going beyond the standard subsystem-based framework while providing a global disorder parameter for this model. Our results show how generalized entanglement leads to useful tools for distinguishing between the ordered and disordered phases in the case of broken symmetry quantum phase transitions. Additional implications and possible extensions of concepts to other systems of interest in condensed matter physics are also discussed.
△ Less
Submitted 30 November, 2004; v1 submitted 3 March, 2004;
originally announced March 2004.
-
A subsystem-independent generalization of entanglement
Authors:
Howard Barnum,
Emanuel Knill,
Gerardo Ortiz,
Rolando Somma,
Lorenza Viola
Abstract:
We introduce a generalization of entanglement based on the idea that entanglement is relative to a distinguished subspace of observables rather than a distinguished subsystem decomposition. A pure quantum state is entangled relative to such a subspace if its expectations are a proper mixture of those of other states. Many information-theoretic aspects of entanglement can be extended to the gener…
▽ More
We introduce a generalization of entanglement based on the idea that entanglement is relative to a distinguished subspace of observables rather than a distinguished subsystem decomposition. A pure quantum state is entangled relative to such a subspace if its expectations are a proper mixture of those of other states. Many information-theoretic aspects of entanglement can be extended to the general setting, suggesting new ways of measuring and classifying entanglement in multipartite systems. By going beyond the distinguishable-subsystem framework, generalized entanglement also provides novel tools for probing quantum correlations in interacting many-body systems.
△ Less
Submitted 5 May, 2003;
originally announced May 2003.
-
Quantum Simulations of Physics Problems
Authors:
Rolando Somma,
Gerardo Ortiz,
Emanuel Knill,
James Gubernatis
Abstract:
If a large Quantum Computer (QC) existed today, what type of physical problems could we efficiently simulate on it that we could not simulate on a classical Turing machine? In this paper we argue that a QC could solve some relevant physical "questions" more efficiently. The existence of one-to-one mappings between different algebras of observables or between different Hilbert spaces allow us to…
▽ More
If a large Quantum Computer (QC) existed today, what type of physical problems could we efficiently simulate on it that we could not simulate on a classical Turing machine? In this paper we argue that a QC could solve some relevant physical "questions" more efficiently. The existence of one-to-one mappings between different algebras of observables or between different Hilbert spaces allow us to represent and imitate any physical system by any other one (e.g., a bosonic system by a spin-1/2 system). We explain how these mappings can be performed showing quantum networks useful for the efficient evaluation of some physical properties, such as correlation functions and energy spectra.
△ Less
Submitted 9 April, 2003;
originally announced April 2003.
-
Introduction to NMR Quantum Information Processing
Authors:
R. Laflamme,
E. Knill,
D. G. Cory,
E. M. Fortunato,
T. Havel,
C. Miquel,
R. Martinez,
C. Negrevergne,
G. Ortiz,
M. A. Pravia,
Y. Sharf,
S. Sinha,
R. Somma,
L. Viola
Abstract:
After a general introduction to nuclear magnetic resonance (NMR), we give the basics of implementing quantum algorithms. We describe how qubits are realized and controlled with RF pulses, their internal interactions, and gradient fields. A peculiarity of NMR is that the internal interactions (given by the internal Hamiltonian) are always on. We discuss how they can be effectively turned off with…
▽ More
After a general introduction to nuclear magnetic resonance (NMR), we give the basics of implementing quantum algorithms. We describe how qubits are realized and controlled with RF pulses, their internal interactions, and gradient fields. A peculiarity of NMR is that the internal interactions (given by the internal Hamiltonian) are always on. We discuss how they can be effectively turned off with the help of a standard NMR method called ``refocusing''. Liquid state NMR experiments are done at room temperature, leading to an extremely mixed (that is, nearly random) initial state. Despite this high degree of randomness, it is possible to investigate QIP because the relaxation time (the time scale over which useful signal from a computation is lost) is sufficiently long. We explain how this feature leads to the crucial ability of simulating a pure (non-random) state by using ``pseudopure'' states. We discuss how the ``answer'' provided by a computation is obtained by measurement and how this measurement differs from the ideal, projective measurement of QIP. We then give implementations of some simple quantum algorithms with a typical experimental result. We conclude with a discussion of what we have learned from NMR QIP so far and what the prospects for future NMR QIP experiments are.
△ Less
Submitted 30 July, 2002;
originally announced July 2002.
-
Simulating Physical Phenomena by Quantum Networks
Authors:
R. Somma,
G. Ortiz,
J. E. Gubernatis,
E. Knill,
R. Laflamme
Abstract:
Physical systems, characterized by an ensemble of interacting elementary constituents, can be represented and studied by different algebras of observables or operators. For example, a fully polarized electronic system can be investigated by means of the algebra generated by the usual fermionic creation and annihilation operators, or by using the algebra of Pauli (spin-1/2) operators. The corresp…
▽ More
Physical systems, characterized by an ensemble of interacting elementary constituents, can be represented and studied by different algebras of observables or operators. For example, a fully polarized electronic system can be investigated by means of the algebra generated by the usual fermionic creation and annihilation operators, or by using the algebra of Pauli (spin-1/2) operators. The correspondence between the two algebras is given by the Jordan-Wigner isomorphism. As we previously noted similar one-to-one mappings enable one to represent any physical system in a quantum computer. In this paper we evolve and exploit this fundamental concept in quantum information processing to simulate generic physical phenomena by quantum networks. We give quantum circuits useful for the efficient evaluation of the physical properties (e.g, spectrum of observables or relevant correlation functions) of an arbitrary system with Hamiltonian $H$.
△ Less
Submitted 31 August, 2001;
originally announced August 2001.
-
Phase diagram of the XXZ chain with next-nearest-neighbor interactions
Authors:
R. D. Somma,
A. A. Aligia
Abstract:
We calculate the quantum phase diagram of the {\it XXZ} chain with nearest-neighbor (NN) $J_{1}$ and next-NN exchange $J_{2}$ with anisotropies $Δ_{1}$ and $Δ_{2}$ respectively. In particular we consider the case $Δ_{1}=-Δ_{2}$ to interpolate between the {\it XX} chain ($% Δ_{i}=0$) and the isotropic model with ferromagnetic $J_{2}$. For $% Δ_{1}<-1$, a ferromagnetic and two antiferromagnetic ph…
▽ More
We calculate the quantum phase diagram of the {\it XXZ} chain with nearest-neighbor (NN) $J_{1}$ and next-NN exchange $J_{2}$ with anisotropies $Δ_{1}$ and $Δ_{2}$ respectively. In particular we consider the case $Δ_{1}=-Δ_{2}$ to interpolate between the {\it XX} chain ($% Δ_{i}=0$) and the isotropic model with ferromagnetic $J_{2}$. For $% Δ_{1}<-1$, a ferromagnetic and two antiferromagnetic phases exist. For $| Δ_{i}| <1$, the boundary between the dimer and spin fluid phases is determined by the method of crossing of excitation spectra. For large $J_{2}/J_{1}$, this method seems to indicate the existence of a second spin fluid critical phase. However, an analysis of the spin stiffness and magnetic susceptibility for $Δ_{1}=Δ_{2}=1$ suggest that a small gap is present.
△ Less
Submitted 5 May, 2001;
originally announced May 2001.