Computational difficulty of computing the density of states

We study the computational difficulty of computing the ground state degeneracy and the density of states for local Hamiltonians. We show that the difficulty of both problems is exactly captured by a class which we call #BQP, which is the counting version of the quantum complexity class quantum Merlin Arthur. We show that #BQP is not harder than its classical counting counterpart #P, which in turn implies that computing the ground state degeneracy or the density of states for classical Hamiltonians is just as hard as it is for quantum Hamiltonians.     

Quantum simulation of classical thermal states

We establish a connection between ground states of local quantum Hamiltonians and thermal states of classical spin systems. For any discrete classical statistical mechanical model in any spatial dimension, we find an associated quantum state such that the reduced density operator behaves as the thermal state of the classical system. We show that all these quantum states are unique ground states of a universal 5-body local quantum Hamiltonian acting on a (polynomially enlarged) qubit system on a 2D lattice. The only free parameters of the quantum Hamiltonian are coupling strengths of two-body interactions, which allow one to choose the type and dimension of the classical model as well as the interaction strength and temperature. This opens the possibility to study and simulate classical spin models in arbitrary dimension using a 2D quantum system.     

A two-dimensional isotropic quantum antiferromagnet with unique disordered ground state

We continue the study of valence-bond solid antiferromagnetic quantum Hamiltonians. These Hamiltonians are invariant under rotations in spin space. We prove that a particular two-dimensional model from this class (the spin-3/2 model on the hexagonal lattice) has a unique ground state in the infinite-volume limit and hence no Néel order. Moreover, all truncated correlation functions decay exponentially in this ground state. We also characterize all the finite-volume ground states of these models (in every dimension), and prove that the two-point correlation function of the spin-2 square lattice model with periodic boundary conditions has exponential decay.     

A Class of Asymmetric Gapped Hamiltonians on Quantum Spin Chains and its Characterization II

We give a characterization of the class of gapped Hamiltonians introduced in Part I (Ogata, A class of asymmetric gapped Hamiltonians on quantum spin chains and its classification I, 2015). The Hamiltonians in this class are given as MPS (Matrix product state) Hamiltonians. In Ogata (A class of asymmetric gapped Hamiltonians on quantum spin chains and its classification I, 2015), we list up properties of ground state structures of Hamiltonians in this class. In this Part II, we show the converse. Namely, if a (not necessarily MPS) Hamiltonian H satisfies five of the listed properties, there is a Hamiltonian H′ from the class by Ogata (A class of asymmetric gapped Hamiltonians on quantum spin chains and its classification I, 2015), satisfying the following: The ground state spaces of the two Hamiltonians on the infinite interval coincide. The spectral projections onto the ground state space of H on each finite intervals are approximated by that of H′ exponentially well, with respect to the interval size. The latter property has an application to the classification problem with open boundary conditions.     

Solving the Schrödinger equation by reduction to a first-order differential operator through a coherent states transform

The Legendre transform expresses dynamics of a classical system through first-order Hamiltonian equations. We consider coherent state transforms with a similar effect in quantum mechanics: they reduce certain quantum Hamiltonians to first-order partial differential operators. Therefore, the respective dynamics can be explicitly solved through a flow of points in extensions of the phase space. This generalises the geometric dynamics of a harmonic oscillator in the Fock space. We describe all Hamiltonians which are geometrised (in the above sense) by Gaussian and Airy beams and write down explicit solutions for such systems.     

A family of affine quantum group invariant integrable extensions of the Hubbard Hamiltonian

We construct a family of spin chain Hamiltonians, which have the affine quantum group symmetry . Their eigenvalues coincide with the eigenvalues of the usual spin chain Hamiltonians, but have the degeneracy of levels, corresponding to the affine . The space of states of these spin chains is formed by the tensor product of the fully reducible representations of the quantum group.

The fermionic representations of the constructed spin chain Hamiltonians show that we have obtained new extensions of the Hubbard Hamiltonians. All of them are integrable and have the affine quantum group symmetry. The exact ground state of such type of model is presented, exhibiting superconducting behavior via the η-pairing mechanism.     

Quantum simulation of time-dependent Hamiltonians and the convenient illusion of Hilbert space

We consider the manifold of all quantum many-body states that can be generated by arbitrary time-dependent local Hamiltonians in a time that scales polynomially in the system size, and show that it occupies an exponentially small volume in Hilbert space. This implies that the overwhelming majority of states in Hilbert space are not physical as they can only be produced after an exponentially long time. We establish this fact by making use of a time-dependent generalization of the Suzuki-Trotter expansion, followed by a well-known counting argument. This also demonstrates that a computational model based on arbitrarily rapidly changing Hamiltonians is no more powerful than the standard quantum circuit model.     

The cold atom Hubbard toolbox

We review recent theoretical advances in cold atom physics concentrating on strongly correlated cold atoms in optical lattices. We discuss recently developed quantum optical tools for manipulating atoms and show how they can be used to realize a wide range of many body Hamiltonians. Then, we describe connections and differences to condensed matter physics and present applications in the fields of quantum computing and quantum simulations. Finally, we explain how defects and atomic quantum dots can be introduced in a controlled way in optical lattice systems.     

Faster than Hermitian quantum mechanics

Given an initial quantum state |psi(I)> and a final quantum state |psi(F)>, there exist Hamiltonians H under which |psi(I)> evolves into |psi(F)>. Consider the following quantum brachistochrone problem: subject to the constraint that the difference between the largest and smallest eigenvalues of H is held fixed, which H achieves this transformation in the least time tau? For Hermitian Hamiltonians tau has a nonzero lower bound. However, among non-Hermitian PT-symmetric Hamiltonians satisfying the same energy constraint, tau can be made arbitrarily small without violating the time-energy uncertainty principle. This is because for such Hamiltonians the path from |psi(I)> to |psi(F)> can be made short. The mechanism described here is similar to that in general relativity in which the distance between two space-time points can be made small if they are connected by a wormhole. This result may have applications in quantum computing.     

Quantum Gibbs Samplers: The Commuting Case

We analyze the problem of preparing quantum Gibbs states of lattice spin Hamiltonians with local and commuting terms on a quantum computer and in nature. Our central result is an equivalence between the behavior of correlations in the Gibbs state and the mixing time of the semigroup which drives the system to thermal equilibrium (the Gibbs sampler). We introduce a framework for analyzing the correlation and mixing properties of quantum Gibbs states and quantum Gibbs samplers, which is rooted in the theory of non-commutative \({\mathbb{L}_p}\) spaces. We consider two distinct classes of Gibbs samplers, one of them being the well-studied Davies generator modelling the dynamics of a system due to weak-coupling with a large Markovian environment. We show that their spectral gap is independent of system size if, and only if, a certain strong form of clustering of correlations holds in the Gibbs state. Therefore every Gibbs state of a commuting Hamiltonian that satisfies clustering of correlations in this strong sense can be prepared efficiently on a quantum computer. As concrete applications of our formalism, we show that for every one-dimensional lattice system, or for systems in lattices of any dimension at temperatures above a certain threshold, the Gibbs samplers of commuting Hamiltonians are always gapped, giving an efficient way of preparing the associated Gibbs states on a quantum computer.     

Quantum computation based on magic-angle-spinning solid state nuclear magnetic resonance spectroscopy

Magic-angle spinning (MAS) solid state nuclear magnetic resonance (NMR) spectroscopy is shown to be a promising technique for implementing quantum computing. The theory underlying the principles of quantum computing with nuclear spin systems undergoing MAS is formulated in the framework of formalized quantum Floquet theory. The procedures for realizing state labeling, state transformation and coherence selection in Floquet space are given. It suggests that by this method, the largest number of qubits can easily surpass that achievable with other techniques. Unlike other modalities proposed for quantum computing, this method enables one to adjust the dimension of the working state space, meaning the number of qubits can be readily varied. The universality of quantum computing in Floquet space with solid state NMR is discussed and a demonstrative experimental implementation of Grover's search is given. Received 19 April 2001     

Shape invariant potentials in higher dimensions

In this paper we investigate the shape invariance property of a potential in one dimension. We show that a simple ansatz allows us to reconstruct all the known shape invariant potentials in one dimension. This ansatz can be easily extended to arrive at a large class of new shape invariant potentials in arbitrary dimensions. A reformulation of the shape invariance property and possible generalizations are proposed. These may lead to an important extension of the shape invariance property to Hamiltonians that are related to standard potential problems via space time transformations, which are found useful in path integral formulation of quantum mechanics.     

New family of models for incompressible quantum liquids in d>/=2

Through Haldane's construction, the fractional quantum Hall states on a two-sphere were shown to be the ground states of one-dimensional SU(2) spin Hamiltonians. In this Letter we generalize this construction to obtain a new class of SU(N) spin Hamiltonians. These Hamiltonians describe center-of-mass-position conserving pair hopping fermions in space dimension d>/=2.     

From quantum mechanics to classical statistical physics: Generalized Rokhsar-Kivelson Hamiltonians and the “Stochastic Matrix Form” decomposition

Quantum Hamiltonians that are fine-tuned to their so-called Rokhsar-Kivelson (RK) points, first presented in the context of quantum dimer models, are defined by their representations in preferred bases in which their ground state wave functions are intimately related to the partition functions of combinatorial problems of classical statistical physics. We show that all the known examples of quantum Hamiltonians, when fine-tuned to their RK points, belong to a larger class of real, symmetric, and irreducible matrices that admit what we dub a Stochastic Matrix Form (SMF) decomposition. Matrices that are SMF decomposable are shown to be in one-to-one correspondence with stochastic classical systems described by a Master equation of the matrix type, hence their name. It then follows that the equilibrium partition function of the stochastic classical system partly controls the zero-temperature quantum phase diagram, while the relaxation rates of the stochastic classical system coincide with the excitation spectrum of the quantum problem. Given a generic quantum Hamiltonian construed as an abstract operator defined on some Hilbert space, we prove that there exists a continuous manifold of bases in which the representation of the quantum Hamiltonian is SMF decomposable, i.e., there is a (continuous) manifold of distinct stochastic classical systems related to the same quantum problem. Finally, we illustrate with three examples of Hamiltonians fine-tuned to their RK points, the triangular quantum dimer model, the quantum eight-vertex model, and the quantum three-coloring model on the honeycomb lattice, how they can be understood within our framework, and how this allows for immediate generalizations, e.g., by adding non-trivial interactions to these models.     

Criticality, the area law, and the computational power of projected entangled pair states

The projected entangled pair state (PEPS) representation of quantum states on two-dimensional lattices induces an entanglement based hierarchy in state space. We show that the lowest levels of this hierarchy exhibit a very rich structure including states with critical and topological properties. We prove, in particular, that coherent versions of thermal states of any local 2D classical spin model correspond to such PEPS, which are in turn ground states of local 2D quantum Hamiltonians. This correspondence maps thermal onto quantum fluctuations, and it allows us to analytically construct critical quantum models exhibiting a strict area law scaling of the entanglement entropy in the face of power law decaying correlations. Moreover, it enables us to show that there exist PEPS which can serve as computational resources for the solution of NP-hard problems.     

Classification of quantum phases and topology of logical operators in an exactly solved model of quantum codes

Searches for possible new quantum phases and classifications of quantum phases have been central problems in physics. Yet, they are indeed challenging problems due to the computational difficulties in analyzing quantum many-body systems and the lack of a general framework for classifications. While frustration-free Hamiltonians, which appear as fixed point Hamiltonians of renormalization group transformations, may serve as representatives of quantum phases, it is still difficult to analyze and classify quantum phases of arbitrary frustration-free Hamiltonians exhaustively. Here, we address these problems by sharpening our considerations to a certain subclass of frustration-free Hamiltonians, called stabilizer Hamiltonians, which have been actively studied in quantum information science. We propose a model of frustration-free Hamiltonians which covers a large class of physically realistic stabilizer Hamiltonians, constrained to only three physical conditions; the locality of interaction terms, translation symmetries and scale symmetries, meaning that the number of ground states does not grow with the system size. We show that quantum phases arising in two-dimensional models can be classified exactly through certain quantum coding theoretical operators, called logical operators, by proving that two models with topologically distinct shapes of logical operators are always separated by quantum phase transitions.     

A physical perspective on classical cloning

The celebrated quantum no-cloning theorem states that an arbitrary quantum state cannot be cloned perfectly. This raises questions about cloning of classical states, which have also attracted attention. Here, we present a physical approach to the classical cloning process showing how cloning can be realised using Hamiltonians. After writing down a canonical transformation that clones classical states, we show how this can be implemented by Hamiltonian evolution. We then propose an experiment using the tools of nonlinear optics to realise the ideas presented here. Finally, to understand the cloning process in a more realistic context, we introduce statistical mechanical noise to the system and study how this affects the cloning process. While most of our work deals with linear systems and harmonic oscillators, we give some examples of cloning maps on manifolds and show that any system whose configuration space is a group manifold admits a cloning canonical transformation.     

Measurement of ‘closeness’ and Distinguishability of the Quantum States in Yang-Baxter Systems

Under the actions of different Hamiltonians on the different two-qubit input states by using the quantum Yang-Baxterization approach, we investigate the behaviors of the fidelity and the trace distance as measures of ‘closeness’ and distinguishability of two quantum states. The results show that the fidelity that is the main figure of merit for any communication and computing process can be kept to high values depending on the choice of the initial states and the Hamiltonians constructed by the Yang-Baxter equation. On the other hand, by choosing the initial states and Yang-Baxter systems which are the various extensions of the Yang-Baxter equations for several matrices, these quantifiers can be adjusted as desired to achieve many quantum computing and computational tasks. Furthermore, to quantify the performance of quantum teleportation we examine the teleportation fidelity for the outputs that correspond to the different two-qubit X-type states under the actions of the different Hamiltonians. It is possible to obtain high fidelity to use the quantum teleportation process.

     

Quantum Brachistochrone problem and the geometry of the state space in pseudo-Hermitian quantum mechanics

A non-Hermitian operator with a real spectrum and a complete set of eigenvectors may serve as the Hamiltonian operator for a unitary quantum system provided that one makes an appropriate choice for the defining the inner product of physical Hilbert state. We study the consequences of such a choice for the representation of states in terms of projection operators and the geometry of the state space. This allows for a careful treatment of the quantum Brachistochrone problem and shows that it is indeed impossible to achieve faster unitary evolutions using PT-symmetric or other non-Hermitian Hamiltonians than those given by Hermitian Hamiltonians.     

Entanglement in non-Hermitian quantum theory

Entanglement is one of the key features of quantum world that has no classical counterpart. This arises due to the linear superposition principle and the tensor product structure of the Hilbert space when we deal with multiparticle systems. In this paper, we will introduce the notion of entanglement for quantum systems that are governed by non-Hermitian yet PT-symmetric Hamiltonians. We will show that maximally entangled states in usual quantum theory behave like non-maximally entangled states in PT-symmetric quantum theory. Furthermore, we will show how to create entanglement between two PT qubits using non-Hermitian Hamiltonians and discuss the entangling capability of such interaction Hamiltonians that are non-Hermitian in nature.