Probing quench dynamics across a quantum phase transition into a 2D Ising antiferromagnet

Simulating the real-time evolution of quantum spin systems far out of equilibrium poses a major theoretical challenge, especially in more than one dimension. We experimentally explore the dynamics of a two-dimensional Ising spin system with transverse and longitudinal fields as we quench it across a quantum phase transition from a paramagnet to an antiferromagnet. We realize the system with a near unit-occupancy atomic array of over 200 atoms obtained by loading a spin-polarized band insulator of fermionic lithium into an optical lattice and induce short-range interactions by direct excitation to a low-lying Rydberg state. Using site-resolved microscopy, we probe the correlations in the system after a sudden quench from the paramagnetic state and compare our measurements to exact calculations in the regime where it is possible. We achieve many-body states with longer-range antiferromagnetic correlations by implementing a near-adiabatic quench and study the buildup of correlations as we cross the quantum phase transition at different rates

Quantifier-Free Interpolation of a Theory of Arrays

The use of interpolants in model checking is becoming an enabling technology to allow fast and robust verification of hardware and software. The application of encodings based on the theory of arrays, however, is limited by the impossibility of deriving quantifier- free interpolants in general. In this paper, we show that it is possible to obtain quantifier-free interpolants for a Skolemized version of the extensional theory of arrays. We prove this in two ways: (1) non-constructively, by using the model theoretic notion of amalgamation, which is known to be equivalent to admit quantifier-free interpolation for universal theories; and (2) constructively, by designing an interpolating procedure, based on solving equations between array updates. (Interestingly, rewriting techniques are used in the key steps of the solver and its proof of correctness.) To the best of our knowledge, this is the first successful attempt of computing quantifier- free interpolants for a variant of the theory of arrays with extensionality

A novel cell-free mitochondrial fusion assay amenable for high-throughput screenings of fusion modulators

Abstract Background Mitochondria are highly dynamic organelles whose morphology and position within the cell is tightly coupled to metabolic function. There is a limited list of essential proteins that regulate mitochondrial morphology and the mechanisms that govern mitochondrial dynamics are poorly understood. However, recent evidence indicates that the core machinery that governs mitochondrial dynamics is linked within complex intracellular signalling cascades, including apoptotic pathways, cell cycle transitions and nuclear factor kappa B activation. Given the emerging importance of mitochondrial plasticity in cell signalling pathways and metabolism, it is essential that we develop tools to quantitatively analyse the processes of fission and fusion. In terms of mitochondrial fusion, the field currently relies upon on semi-quantitative assays which, even under optimal conditions, are labour-intensive, low-throughput and require complex imaging techniques. Results In order to overcome these technical limitations, we have developed a new, highly quantitative cell-free assay for mitochondrial fusion in mammalian cells. This assay system has allowed us to establish the energetic requirements for mitochondrial fusion. In addition, our data reveal a dependence on active protein phosphorylation for mitochondrial fusion, confirming emerging evidence that mitochondrial fusion is tightly integrated within the global cellular response to signaling events. Indeed, we have shown that cytosol derived from cells stimulated with different triggers either enhance or inhibit the cell-free fusion reaction. Conclusions The adaptation of this system to high-throughput analysis will provide an unprecedented opportunity to identify and characterize novel regulatory factors. In addition, it provides a framework for a detailed mechanistic analysis of the process of mitochondrial fusion and the various axis of regulation that impinge upon this process in a wide range of cellular conditions. See Commentary: http://www.biomedcentral.com/1741-7007/8/9

CALM regulates clathrin-coated vesicle size and maturation by directly sensing and driving membrane curvature.

The size of endocytic clathrin-coated vesicles (CCVs) is remarkably uniform, suggesting that it is optimized to achieve the appropriate levels of cargo and lipid internalization. The three most abundant proteins in mammalian endocytic CCVs are clathrin and the two cargo-selecting, clathrin adaptors, CALM and AP2. Here we demonstrate that depletion of CALM causes a substantial increase in the ratio of "open" clathrin-coated pits (CCPs) to "necked"/"closed" CCVs and a doubling of CCP/CCV diameter, whereas AP2 depletion has opposite effects. Depletion of either adaptor, however, significantly inhibits endocytosis of transferrin and epidermal growth factor. The phenotypic effects of CALM depletion can be rescued by re-expression of wild-type CALM, but not with CALM that lacks a functional N-terminal, membrane-inserting, curvature-sensing/driving amphipathic helix, the existence and properties of which are demonstrated. CALM is thus a major factor in controlling CCV size and maturation and hence in determining the rates of endocytic cargo uptake.S.E.M. and D.J.O. are funded by a Wellcome Trust Fellowship (to D.J.O. no. 090909/Z). N.A.B. is funded by MRC grant MR/M010007/1, and S.H. is funded by a grant from the German Science Foundation (SFB 635, TP A3). D.S. and S.M. acknowledge financial support from the Lundbeck Foundation and the Danish Councils for Independent and Strategic Research. C.J.M. and F.P. were funded by the Fondation pour la Recherche Medicale.This is the final published version. It first appeared at http://www.cell.com/developmental-cell/fulltext/S1534-5807%2815%2900144-6

Bad metallic transport in a cold atom Fermi-Hubbard system

Charge transport is a revealing probe of the quantum properties of materials. Strong interactions can blur charge carriers resulting in a poorly understood "quantum soup". Here we study the conductivity of the Fermi-Hubbard model, a testing ground for strong interaction physics, in a clean quantum system - ultracold $^6$Li in a 2D optical lattice. We determine the charge diffusion constant in our system by measuring the relaxation of an imposed density modulation and modeling its decay hydrodynamically. The diffusion constant is converted to a resistivity, which exhibits a linear temperature dependence and exceeds the Mott-Ioffe-Regel limit, two characteristic signatures of a bad metal. The techniques we develop here may be applied to measurements of other transport quantities, including the optical conductivity and thermopower

Mitochondrial dynamics: quantifying mitochondrial fusion in vitro

Mitochondrial fusion is an essential process for preserving the integrity and stability of mitochondrial DNA; however, regulation of this process remains largely mysterious. In this issue of BMC Biology, Schauss and colleagues describe a simple, reliable, and robust novel assay that allows fusion of mammalian mitochondria to be quantified in vitro

Ultrafast transmission electron microscopy using a laser-driven field emitter: Femtosecond resolution with a high coherence electron beam

We present the development of the first ultrafast transmission electron microscope (UTEM) driven by localized photoemission from a field emitter cathode. We describe the implementation of the instrument, the photoemitter concept and the quantitative electron beam parameters achieved. Establishing a new source for ultrafast TEM, the Göttingen UTEM employs nano-localized linear photoemission from a Schottky emitter, which enables operation with freely tunable temporal structure, from continuous wave to femtosecond pulsed mode. Using this emission mechanism, we achieve record pulse properties in ultrafast electron microscopy of 9 Å focused beam diameter, 200 fs pulse duration and 0.6 eV energy width. We illustrate the possibility to conduct ultrafast imaging, diffraction, holography and spectroscopy with this instrument and also discuss opportunities to harness quantum coherent interactions between intense laser fields and free-electron beams

Potential link between caffeine consumption and pediatric depression: A case-control study

<p>Abstract</p> <p>Background</p> <p>Early-onset depressive disorders can have severe consequences both from developmental and functional aspects. The etiology of depressive disorders is complex and multi-factorial, with an intricate interaction among environmental factors and genetic predisposition. While data from studies on adults suggest that caffeine is fairly safe, effects of caffeine in children, who are in period of rapid brain development, are currently unknown. Furthermore, systematic research addressing the relationship between depressive symptoms in children and caffeine consumption is lacking.</p> <p>The present study examined the effects of caffeine consumption on depressed mood in children with depression and non-depressed participants.</p> <p>Methods</p> <p>Children and adolescents (n = 51) already enrolled in an ongoing longitudinal study, aged 9-12 years, were assessed for depressive symptoms with the Children Depressive Inventory (CDI). Psychopathological symptoms were assessed with the Child Behavioral Checklist (CBCL) and eating habits were assessed with the Nutrition-Behavior Inventory (NBI) <abbrgrp><abbr bid="B1">1</abbr></abbrgrp>. The children were compared to control children without psychopathology attending public schools in a Southern Brazilian city.</p> <p>Results</p> <p>Participants with CDI scores ≥ 15 (mean = 19; S.D. = 4) also had high NBI scores (mean = 52; S.D. = 19, p < 0.001) suggestive of a relationship between depressive symptoms and environmental factors, in this case nutrition/behavior. Additional linear regression adjusted statistical analysis, considering the factors of consumption of sweets and caffeine individually, showed that caffeine, but not sweets, was associated with depressive symptoms.</p> <p>Conclusions</p> <p>These findings indicate that depressed children consume more caffeinated drinks than non-depressed children. Nonetheless while a strong association between depressive symptoms and caffeine consumption among children was found, further research should investigate whether or not this association is due to a cause and effect relationship.</p