Tunable Supersolids of Rydberg Excitations Described by Quantum Evolutions on Graphs

We show that transient supersolid quantum states of Rydberg-excitations can be created dynamically from a Mott insulator of ground state atoms in a 2D optical-lattices by irradiating it with short laser pulses. The structure of these supersolids is tunable via the choice of laser parameters. We calculate first, second and fourth order correlation functions as well as the pressure to characterize the supersolid states. Our study is based on the development of a general theoretical tool for obtaining the dynamics of strongly interacting quantum systems whose initial state is accurately known. We show that this method allows to accurately approximate the evolution of quantum systems analytically with a number of operations growing polynomially.Comment: 2 figure

Evaluating Matrix Functions by Resummations on Graphs: the Method of Path-Sums

We introduce the method of path-sums which is a tool for exactly evaluating a function of a discrete matrix with possibly non-commuting entries, based on the closed-form resummation of infinite families of terms in the corresponding Taylor series. If the matrix is finite, our approach yields the exact result in a finite number of steps. We achieve this by combining a mapping between matrix powers and walks on a weighted directed graph with a universal graph-theoretic result on the structure of such walks. We present path-sum expressions for a matrix raised to a complex power, the matrix exponential, matrix inverse, and matrix logarithm. We show that the quasideterminants of a matrix can be naturally formulated in terms of a path-sum, and present examples of the application of the path-sum method. We show that obtaining the inversion height of a matrix inverse and of quasideterminants is an NP-complete problem.Comment: 23 pages, light version submitted to SIAM Journal on Matrix Analysis and Applications (SIMAX). A separate paper with the graph theoretic results is available at: arXiv:1202.5523v1. Results for matrices over division rings will be published separately as wel

Exact Inference on Gaussian Graphical Models of Arbitrary Topology using Path-Sums

We present the path-sum formulation for exact statistical inference of marginals on Gaussian graphical models of arbitrary topology. The path-sum formulation gives the covariance between each pair of variables as a branched continued fraction of finite depth and breadth. Our method originates from the closed-form resummation of infinite families of terms of the walk-sum representation of the covariance matrix. We prove that the path-sum formulation always exists for models whose covariance matrix is positive definite: i.e.~it is valid for both walk-summable and non-walk-summable graphical models of arbitrary topology. We show that for graphical models on trees the path-sum formulation is equivalent to Gaussian belief propagation. We also recover, as a corollary, an existing result that uses determinants to calculate the covariance matrix. We show that the path-sum formulation formulation is valid for arbitrary partitions of the inverse covariance matrix. We give detailed examples demonstrating our results

An Explicit Bound for Dynamical Localisation in an Interacting Many-Body System

We characterise and study dynamical localisation of a finite interacting quantum many-body system. We present explicit bounds on the disorder strength required for the onset of localisation of the dynamics of arbitrary ensemble of sites of the XYZ spin-1/2 model. We obtain these results using a novel form of the fractional moment criterion, which we establish, together with a generalisation of the self-avoiding walk representation of the system Green's functions, called path-sums. These techniques are not specific to the XYZ model and hold in a much more general setting. We further present bounds for two observable quantities in the localised regime: the magnetisation of any sublattice of the system as well as the linear magnetic response function of the system. We confirm our results through numerical simulations.Comment: 35 pages; 5 figure

Universal time-evolution of a Rydberg lattice gas with perfect blockade

We investigate the dynamics of a strongly interacting spin system that is motivated by current experimental realizations of strongly interacting Rydberg gases in lattices. In particular we are interested in the temporal evolution of quantities such as the density of Rydberg atoms and density-density correlations when the system is initialized in a fully polarized state without Rydberg excitations. We show that in the thermodynamic limit the expectation values of these observables converge at least logarithmically to universal functions and outline a method to obtain these functions. We prove that a finite one-dimensional system follows this universal behavior up to a given time. The length of this universal time period depends on the actual system size. This shows that already the study of small systems allows to make precise predictions about the thermodynamic limit provided that the observation time is sufficiently short. We discuss this for various observables and for systems with different dimensions, interaction ranges and boundary conditions.Comment: 16 pages, 3 figure