Quantum systems engineering

Abstract:

We examine the use of string diagrams and the mathematics of category theory in the description of quantum states by tensor networks. This approach lead to a unification of several ideas, as well as several results and methods that have not previously appeared in either side of the literature. Our approach enabled the development of a tensor network framework allowing a solution to the quantum decomposition problem which has several appealing features. Specifically, given an n-body quantum state ψ, we present a new and general method to factor |ψ into a tensor network of clearly defined building blocks. We use the solution to expose a previously unknown and large class of quantum states which we prove can be sampled efficiently and exactly. This general framework of categorical tensor network states, where a combination of generic and algebraically defined tensors appear, enhances the theory of tensor network states. © 2011 Author(s).

Abstract:

Quantum entanglement in the motion of macroscopic solid bodies has implications both for quantum technologies and foundational studies of the boundary between the quantum and classical worlds. Entanglement is usually fragile in room-temperature solids, owing to strong interactions both internally and with the noisy environment. We generated motional entanglement between vibrational states of two spatially separated, millimeter-sized diamonds at room temperature. By measuring strong nonclassical correlations between Raman-scattered photons, we showed that the quantum state of the diamonds has positive concurrence with 98% probability. Our results show that entanglement can persist in the classical context of moving macroscopic solids in ambient conditions.

Abstract:

Motivated by a recent experiment [J. Catani et al., arXiv:1106.0828v1 preprint, 2011], we study breathing oscillations in the width of a harmonically trapped impurity interacting with a separately trapped Bose gas. We provide an intuitive physical picture of such dynamics at zero temperature, using a time-dependent variational approach. In the Gross-Pitaevskii regime we obtain breathing oscillations whose amplitudes are suppressed by self trapping, due to interactions with the Bose gas. Introducing phonons in the Bose gas leads to the damping of breathing oscillations and non-Markovian dynamics of the width of the impurity, the degree of which can be engineered through controllable parameters. Our results reproduce the main features of the impurity dynamics observed by Catani et al. despite experimental thermal effects, and are supported by simulations of the system in the Gross-Pitaevskii regime. Moreover, we predict novel effects at lower temperatures due to self-trapping and the inhomogeneity of the trapped Bose gas.

Abstract:

Using near-exact numerical simulations, we study the propagation of an impurity through a one-dimensional Bose lattice gas for varying bosonic interaction strengths and filling factors at zero temperature. The impurity is coupled to the Bose gas and confined to a separate tilted lattice. The precise nature of the transport of the impurity is specific to the excitation spectrum of the Bose gas, which allows one to measure properties of the Bose gas nondestructively, in principle, by observing the impurity; here we focus on the spatial and momentum distributions of the impurity as well as its reduced density matrix. For instance, we show it is possible to determine whether the Bose gas is commensurately filled as well as the bandwidth and gap in its excitation spectrum. Moreover, we show that the impurity acts as a witness to the crossover of its environment from the weakly to the strongly interacting regime, i.e., from a superfluid to a Mott insulator or Tonks-Girardeau lattice gas, and the effects on the impurity in both of these strongly interacting regimes are clearly distinguishable. Finally, we find that the spatial coherence of the impurity is related to its propagation through the Bose gas.

Abstract:

We adapt the bialgebra and Hopf relations to expose internal structure in the ground state of a Hamiltonian with $Z_2$ topological order. Its tensor network description allows for exact contraction through simple diagrammatic rewrite rules. The contraction property does not depend on specifics such as geometry, but rather originates from the non-trivial algebraic properties of the constituent tensors. We then generalise the resulting tensor network from a spin-1/2 lattice to a class of exactly contractible states on spin-S degrees of freedom, yielding the most efficient tensor network description of finite Abelian lattice gauge theories. We gain a new perspective on these states as examples of two-dimensional quantum states with algebraically contractible tensor network representations. The introduction of local perturbations to the network is shown to reduce the von Neumann entropy of string-like regions, creating an unentangled sub-system within the bulk in a certain limit. We also show how perturbations induce finite-range correlations in this system. This class of tensor networks is readily translated onto any lattice, and we differentiate between the physical consequences of bipartite and non-bipartite lattices on the properties of the corresponding quantum states. We explicitly show this on the hexagonal, square, kagome and triangular lattices.