Fidelity matters: the birth of entanglement in the mixing of Gaussian states

We address the interaction of two Gaussian states through bilinear exchange Hamiltonians and analyze the correlations exhibited by the resulting bipartite systems. We demonstrate that entanglement arises if and only if the fidelity between the two input Gaussian states falls under a threshold value depending only on their purities, first moments, and the strength of the coupling. Our result clarifies the role of quantum fluctuations (squeezing) as a prerequisite for entanglement generation and provides a tool to optimize the generation of entanglement in linear systems of interest for quantum technology.     

Quantum Fisher Information Gap for Systems with Nonlinear Hamiltonians

Quantum Fisher information(QFI) gap characterizes the stability of QFI to space directions. We study the QFI distributions and QFI gap for quantum states generated from nonlinear Hamiltonians for both spin and bosonic systems. We find that the same spin-squeezing parameter(or principle squeezing parameter) corresponds to two different values QFI gap, and the locations of all extreme points of the QFI are explicitly given.     

Measurement-Based Quantum Computation and Undecidable Logic

We establish a connection between measurement-based quantum computation and the field of mathematical logic. We show that the computational power of an important class of quantum states called graph states, representing resources for measurement-based quantum computation, is reflected in the expressive power of (classical) formal logic languages defined on the underlying mathematical graphs. In particular, we show that for all graph state resources which can yield a computational speed-up with respect to classical computation, the underlying graphs—describing the quantum correlations of the states—are associated with undecidable logic theories. Here undecidability is to be interpreted in a sense similar to Gödel’s incompleteness results, meaning that there exist propositions, expressible in the above classical formal logic, which cannot be proven or disproven.     

Action in Hamiltonian Models Constructed by Yang-Baxter Equation: Entanglement and Measures of Correlation

By using the quantum Yang-Baxterization approach, we investigate the dynamics of quantum entanglement under the actions of different Hamiltonians on the different two-qubit input states and analyze the effects of the Yang-Baxter operations on it. During any quantum process that takes place in a noisy environment, quantum correlations display behavior that does not increase. We point out that for two-qubit systems subject to actions of different Yang-Baxter operations the loss of correlations can be mitigated by the appropriate choice of the initial states and the Yang-Baxterization process. We show that in a noisy environment it possible to create the optimal conditions for performing any quantum information task.     

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.     

Dynamical generation of noiseless quantum subsystems

We combine dynamical decoupling and universal control methods for open quantum systems with coding procedures. By exploiting a general algebraic approach, we show how appropriate encodings of quantum states result in obtaining universal control over dynamically generated noise-protected subsystems with limited control resources. In particular, we provide a constructive scheme based on two-body Hamiltonians for performing universal quantum computation over large noiseless spaces which can be engineered in the presence of arbitrary linear quantum noise.     

Product-State Approximations to Quantum States

We show that for any many-body quantum state there exists an unentangled quantum state such that most of the two-body reduced density matrices are close to those of the original state. This is a statement about the monogamy of entanglement, which cannot be shared without limit in the same way as classical correlation. Our main application is to Hamiltonians that are sums of two-body terms. For such Hamiltonians we show that there exist product states with energy that is close to the ground-state energy whenever the interaction graph of the Hamiltonian has high degree. This proves the validity of mean-field theory and gives an explicitly bounded approximation error. If we allow states that are entangled within small clusters of systems but product across clusters then good approximations exist when the Hamiltonian satisfies one or more of the following properties: (1) high degree, (2) small expansion, or (3) a ground state where the blocks in the partition have sublinear entanglement. Previously this was known only in the case of small expansion or in the regime where the entanglement was close to zero. Our approximations allow an extensive error in energy, which is the scale considered by the quantum PCP (probabilistically checkable proof) and NLTS (no low-energy trivial-state) conjectures. Thus our results put restrictions on the possible Hamiltonians that could be used for a possible proof of the qPCP or NLTS conjectures. By contrast the classical PCP constructions are often based on constraint graphs with high degree. Likewise we show that the parallel repetition that is possible with classical constraint satisfaction problems cannot also be possible for quantum Hamiltonians, unless qPCP is false. The main technical tool behind our results is a collection of new classical and quantum de Finetti theorems which do not make any symmetry assumptions on the underlying states.     

Squeezed vacuum as a universal quantum probe

We address local quantum estimation of bilinear Hamiltonians probed by Gaussian states. We evaluate the relevant quantum Fisher information (QFI) and derive the ultimate bound on precision. Upon maximizing the QFI we found that single- and two-mode squeezed vacuum represent an optimal and universal class of probe states, achieving the so-called Heisenberg limit to precision in terms of the overall energy of the probe. We explicitly obtain the optimal observable based on the symmetric logarithmic derivative and also found that homodyne detection assisted by Bayesian analysis may achieve estimation of squeezing with near-optimal sensitivity in any working regime.     

Quantum teleportation of optical quantum gates

We show that a universal set of gates for quantum computation with optics can be quantum teleported through the use of EPR entangled states, homodyne detection, and linear optics and squeezing operations conditioned on measurement outcomes. This scheme may be used for fault-tolerant quantum computation in any optical scheme (qubit or continuous-variable). The teleportation of nondeterministic nonlinear gates employed in linear optics quantum computation is discussed.     

All-optical generation of states for "Encoding a qubit in an oscillator"

Most quantum computation schemes propose encoding qubits in two-level systems. Others exploit the use of an infinite-dimensional system. In "Encoding a qubit in an oscillator" [Phys. Rev. A 64, 012310 (2001)], Gottesman, Kitaev, and Preskill (GKP) combined these approaches when they proposed a fault-tolerant quantum computation scheme in which a qubit is encoded in the continuous position and momentum degrees of freedom of an oscillator. One advantage of this scheme is that it can be performed by use of relatively simple linear optical devices, squeezing, and homodyne detection. However, we lack a practical method to prepare the initial GKP states. Here we propose the generation of an approximate GKP state by using superpositions of optical coherent states (sometimes called "Schr?dinger cat states"), squeezing, linear optical devices, and homodyne detection.     

How to decompose arbitrary continuous-variable quantum operations

We present a general, systematic, and efficient method for decomposing any given exponential operator of bosonic mode operators, describing an arbitrary multimode Hamiltonian evolution, into a set of universal unitary gates. Although our approach is mainly oriented towards continuous-variable quantum computation, it may be used more generally whenever quantum states are to be transformed deterministically, e.g., in quantum control, discrete-variable quantum computation, or Hamiltonian simulation. We illustrate our scheme by presenting decompositions for various nonlinear Hamiltonians including quartic Kerr interactions. Finally, we conclude with two potential experiments utilizing offline-prepared optical cubic states and homodyne detections, in which quantum information is processed optically or in an atomic memory using quadratic light-atom interactions.     

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.     

One-step generation of high-quality squeezed and EPR states in cavity QED

We show how to generate bilinear (quadratic) Hamiltonians in cavity quantum electrodynamics (QED) through the interaction of a single driven three-level atom with two (one) cavity modes. With this scheme it is possible to generate one-mode mesoscopic squeezed superpositions, two-mode entanglements, and two-mode squeezed vacuum states (such the original EPR state), without the need for Ramsey zones and external parametric amplification. The degree of squeezing achieved is up to 99% with currently feasible experimental parameters and the errors due to dissipative mechanisms become practically negligible.     

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.     

Observable measure of bipartite quantum correlations

We introduce a measure Q of bipartite quantum correlations for arbitrary two-qubit states, expressed as a state-independent function of the density matrix elements. The amount of quantum correlations can be quantified experimentally by measuring the expectation value of a small set of observables on up to four copies of the state, without the need for a full tomography. We extend the measure to 2×d systems, providing its explicit form in terms of observables and applying it to the relevant class of multiqubit states employed in the deterministic quantum computation with one quantum bit model. The number of required measurements to determine Q in our scheme does not increase with d. Our results provide an experimentally friendly framework to estimate quantitatively the degree of general quantum correlations in composite systems.     

Quantum Systems Connected by a Time-Dependent Canonical Transformation

We study both classical and quantum relation between two Hamiltoniansystems which are mutually connected by time-dependent canonical transformation. One is ordinary conservative system and the other istime-dependent Hamiltonian system. The quantum unitary operatorrelevant to classical canonical transformation between the two systems are obtained through rigorous evaluation. With the aid of the unitary operator, we have derived quantum states of the time-dependent Hamiltonian system through transforming the quantum states of the conservative system. The invariant operators of the two systems are presented and the relation between them are addressed. We showed that there exist numerous Hamiltonians, which gives the same classical equation of motion. Though it is impossible to distinguish the systems described by these Hamiltonians within the realm of classical mechanics, they can be distinguishable quantum mechanically.     

Quantum glassiness in strongly correlated clean systems: an example of topological overprotection

This Letter presents solvable examples of quantum many-body Hamiltonians of systems that are unable to reach their ground states as the environment temperature is lowered to absolute zero. These examples, three-dimensional generalizations of quantum Hamiltonians proposed for topological quantum computing, (1) have no quenched disorder, (2) have solely local interactions, (3) have an exactly solvable spectrum, (4) have topologically ordered ground states, and (5) have slow dynamical relaxation rates akin to those of strong structural glasses.     

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.     

Spin squeezing and quantum correlations

We discuss the notion of spin squeezing considering two mutually exclusive classes of spin-s states, namely, oriented and non-oriented states. Our analysis shows that the oriented states are not squeezed while non-oriented states exhibit squeezing. We also present a new scheme for construction of spin-s states using 2s spinors oriented along different axes. Taking the case of s=1, we show that the ‘non-oriented’ nature and hence squeezing arise from the intrinsic quantum correlations that exist among the spinors in the coupled state.