Measurement-Induced Phase Transitions in the Dynamics of Entanglement

We define dynamical universality classes for many-body systems whose unitary evolution is punctuated by projective measurements. In cases where such measurements occur randomly at a finite rate $p$ for each degree of freedom, we show that the system has two dynamical phases: `entangling' and `disentangling'. The former occurs for $p$ smaller than a critical rate $p_c$, and is characterized by volume-law entanglement in the steady-state and `ballistic' entanglement growth after a quench. By contrast, for $p > p_c$ the system can sustain only area-law entanglement. At $p = p_c$ the steady state is scale-invariant and, in 1+1D, the entanglement grows logarithmically after a quench. To obtain a simple heuristic picture for the entangling-disentangling transition, we first construct a toy model that describes the zeroth R\'{e}nyi entropy in discrete time. We solve this model exactly by mapping it to an optimization problem in classical percolation. The generic entangling-disentangling transition can be diagnosed using the von Neumann entropy and higher R\'{e}nyi entropies, and it shares many qualitative features with the toy problem. We study the generic transition numerically in quantum spin chains, and show that the phenomenology of the two phases is similar to that of the toy model, but with distinct `quantum' critical exponents, which we calculate numerically in $1+1$D. We examine two different cases for the unitary dynamics: Floquet dynamics for a nonintegrable Ising model, and random circuit dynamics. We obtain compatible universal properties in each case, indicating that the entangling-disentangling phase transition is generic for projectively measured many-body systems. We discuss the significance of this transition for numerical calculations of quantum observables in many-body systems.Comment: 17+4 pages, 16 figures; updated discussion and results for mutual information; graphics error fixe

Advances in the design and development of oncolytic measles viruses.

A successful oncolytic virus is one that selectively propagates and destroys cancerous tissue without causing excessive damage to the normal surrounding tissue. Oncolytic measles virus (MV) is one such virus that exhibits this characteristic and thus has rapidly emerged as a potentially useful anticancer modality. Derivatives of the Edmonston MV vaccine strain possess a remarkable safety record in humans. Promising results in preclinical animal models and evidence of biological activity in early phase trials contribute to the enthusiasm. Genetic modifications have enabled MV to evolve from a vaccine agent to a potential anticancer therapy. Specifically, alterations of the MV genome have led to improved tumor selectivity and delivery, therapeutic potency, and immune system modulation. In this article, we will review the advancements that have been made in the design and development of MV that have led to its use as a cancer therapy. In addition, we will discuss the evidence supporting its use, as well as the challenges associated with MV as a potential cancer therapeutic

Three-dimensional coating and rimming flow : a ring of fluid on a rotating horizontal cylinder

The steady three-dimensional flow of a thin, slowly varying ring of Newtonian fluid on either the outside or the inside of a uniformly rotating large horizontal cylinder is investigated. Specifically, we study “full-ring” solutions, corresponding to a ring of continuous, finite and non-zero thickness that extends all the way around the cylinder. In particular, it is found that there is a critical solution corresponding to either a critical load above which no full-ring solution exists (if the rotation speed is prescribed) or a critical rotation speed below which no full-ring solution exists (if the load is prescribed). We describe the behaviour of the critical solution and, in particular, show that the critical flux, the critical load, the critical semi-width and the critical ring profile are all increasing functions of the rotation speed. In the limit of small rotation speed, the critical flux is small and the critical ring is narrow and thin, leading to a small critical load. In the limit of large rotation speed, the critical flux is large and the critical ring is wide on the upper half of the cylinder and thick on the lower half of the cylinder, leading to a large critical load. We also describe the behaviour of the non-critical full-ring solution, and, in particular, show that the semi-width and the ring profile are increasing functions of the load but, in general, non-monotonic functions of the rotation speed. In the limit of large rotation speed, the ring approaches a limiting non-uniform shape, whereas in the limit of small load, the ring is narrow and thin with a uniform parabolic profile. Finally, we show that, while for most values of the rotation speed and the load the azimuthal velocity is in the same direction as the rotation of the cylinder, there is a region of parameter space close to the critical solution for sufficiently small rotation speed in which backflow occurs in a small region on the upward-moving side of the cylinder

Formal Compiler Implementation in a Logical Framework

The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the use of higher-order abstract syntax and term rewriting in a logical framework. All program transformations, from parsing to code generation, are cleanly isolated and specified as term rewrites. This has several advantages. The correctness of the compiler depends solely on a small set of rewrite rules that are written in the language of formal mathematics. In addition, the logical framework guarantees the preservation of scoping, and it automates many frequently-occurring tasks including substitution and rewriting strategies. As we show, compiler development in a logical framework can be easier than in a general-purpose language like ML, in part because of automation, and also because the framework provides extensive support for examination, validation, and debugging of the compiler transformations. The paper is organized around a case study, using the MetaPRL logical framework to compile an ML-like language to Intel x86 assembly. We also present a scoped formalization of x86 assembly in which all registers are immutable

Why Don't Country Elevators Pay Less for Low Quality Wheat? Information, Producer Preferences and Prospect Theory

Previous research found that country elevators that are the first in their area to grade wheat and pay quality-adjusted prices would receive above-normal profits at the expense of their competitors. Because of spatial monopsony, these early-adopting elevators would pass on to producers only 70% of the quality-based price differentials received from next-in-line buyers. If competing elevators also adopted these practices, profits for all elevators would return to near normal, and elevators would pass on to producers nearly all price differentials received from next-in-line buyers. However, that research could not explain why more elevators were not becoming "early adopters" by paying quality-adjusted prices. More recent research found that producers' risk aversion and lack of information about the quality of their wheat could explain more of the failure of country elevators to pass on premiums and discounts. If producers are risk averse, an elevator that imposes discounts for lower quality wheat, even while paying a higher price for high quality wheat, risks losing business if producers believe that a competing elevator may be more likely to pay them a higher price net of discounts. However, even more important is the level of information producers have about the quality of their wheat before selling it to an elevator. Still, these explanations account for only part of elevators' apparent reluctance to pay quality-adjusted prices. Since inconsistencies have been observed between expected utility and individuals' behavior, this research considers the case where producers' preferences can be more appropriately modeled by prospect theory, and whether such preferences can explain more of elevators' reluctance to pay quality-adjusted prices. A simulation model is used to measure the effects of risk-averse producers (in both expected utility and prospect theory frameworks) and limited quality information on profits that can be earned by an elevator that pays quality-adjusted prices. Results indicate that prospect theory helps to explain part, but not all, of the reluctance to pay quality-adjusted prices.Crop Production/Industries, Demand and Price Analysis,

Cooling a single atom in an optical tweezer to its quantum ground state

We report cooling of a single neutral atom to its three-dimensional vibrational ground state in an optical tweezer. After employing Raman sideband cooling for tens of milliseconds, we measure via sideband spectroscopy a three-dimensional ground-state occupation of ~90%. We further observe coherent control of the spin and motional state of the trapped atom. Our demonstration shows that an optical tweezer, formed simply by a tightly focused beam of light, creates sufficient confinement for efficient sideband cooling. This source of ground-state neutral atoms will be instrumental in numerous quantum simulation and logic applications that require a versatile platform for storing and manipulating ultracold single neutral atoms. For example, these results will improve current optical tweezer experiments studying atom-photon coupling and Rydberg quantum logic gates, and could provide new opportunities such as rapid production of single dipolar molecules or quantum simulation in tweezer arrays.Comment: Updated intro, titl