Non-exponential one-body loss in a Bose-Einstein condensate

We have studied the decay of a Bose-Einstein condensate of metastable helium atoms in an optical dipole trap. In the regime where two- and three-body losses can be neglected we show that the Bose-Einstein condensate and the thermal cloud show fundamentally different decay characteristics. The total number of atoms decays exponentially with time constant tau; however, the thermal cloud decays exponentially with time constant (4/3)tau and the condensate decays much faster, and non-exponentially. We show that this behaviour, which should be present for all BECs in thermal equilibrium with a considerable thermal fraction, is due to a transfer of atoms from the condensate to the thermal cloud during its decay.Comment: The intuitive explanation of the atomic transfer effect has been correcte

Enhanced heat flow in the hydrodynamic-collisionless regime

We study the heat conduction of a cold, thermal cloud in a highly asymmetric trap. The cloud is axially hydrodynamic, but due to the asymmetric trap radially collisionless. By locally heating the cloud we excite a thermal dipole mode and measure its oscillation frequency and damping rate. We find an unexpectedly large heat conduction compared to the homogeneous case. The enhanced heat conduction in this regime is partially caused by atoms with a high angular momentum spiraling in trajectories around the core of the cloud. Since atoms in these trajectories are almost collisionless they strongly contribute to the heat transfer. We observe a second, oscillating hydrodynamic mode, which we identify as a standing wave sound mode.Comment: Sumitted to Phys. Rev. Letters, 4 pages, 4 figure

Designs of magnetic atom-trap lattices for quantum simulation experiments

We have designed and realized magnetic trapping geometries for ultracold atoms based on permanent magnetic films. Magnetic chip based experiments give a high level of control over trap barriers and geometric boundaries in a compact experimental setup. These structures can be used to study quantum spin physics in a wide range of energies and length scales. By introducing defects into a triangular lattice, kagome and hexagonal lattice structures can be created. Rectangular lattices and (quasi-)one-dimensional structures such as ladders and diamond chain trapping potentials have also been created. Quantum spin models can be studied in all these geometries with Rydberg atoms, which allow for controlled interactions over several micrometers. We also present some nonperiodic geometries where the length scales of the traps are varied over a wide range. These tapered structures offer another way to transport large numbers of atoms adiabatically into subwavelength traps and back.Comment: 9 pages, 10 figure

Transient but not genetic loss of miR-451 attenuates the development of pulmonary arterial hypertension

<b>Rationale:</b> MicroRNAs are small non-coding RNAs involved in the regulation of gene expression and have recently been implicated in the development of pulmonary arterial hypertension (PAH). Previous work established that miR-451 is up-regulated in rodent models of PAH.<p></p> <b>Objectives:</b> The role of miR-451 in the pulmonary circulation is unknown. We therefore sought to assess the involvement of miR-451 in the development of pulmonary arterial hypertension.<p></p> <b>Methods:</b> Silencing of miR-451 was performed in vivo using miR-451 knockout mice and an antimiR targeting mature miR-451 in rats. Coupled with exposure to hypoxia, indices of pulmonary arterial hypertension were assessed. The effect of modulating miR-451 on human pulmonary artery smooth muscle cell proliferation and migration was analysed.<p></p> <b>Measurements and Main Results:</b> We observed a reduction in systolic right ventricular pressure in hypoxic rats pre-treated with antimiR-451 compared to hypoxia alone (47.7 ± 1.36mmHg and 56.0 ± 2.03mmHg respectively, p<0.01). In miR-451 knockout mice following exposure to chronic hypoxia, no significant differences were observed compared to wild type hypoxic mice. In vitro analysis demonstrated that over-expression of miR-451 in human pulmonary artery smooth muscle cells promoted migration under serum-free conditions. No effect on cellular proliferation was observed.<p></p> <b>Conclusions:</b> Transient inhibition of miR-451 attenuated the development of pulmonary arterial hypertension in hypoxia exposed rats. Genetic deletion of miR-451 had no beneficial effect on indices of pulmonary arterial hypertension, potentially due to pathway redundancy compensating for the loss of miR-451.<p></p&gt

Educating spatial planners for the age of co-creation: the need to risk community, science and practice involvement in planning programmes and curricula [Editorial]

Planners are often billed as leaders and change agents of the (un)built environment. It is, however, important to recognize that they are in reality only one of many players in a sea of actors involved in shaping future developments and projects. Plans and interventions today are co-created and in fact co-evolve relying as much on the input, cooperation and actions of inhabitants, users, developers, politicians as on expert planners and a wide variety of other professions. In this introductory section, we, as editors of this special issue, posit that planners therefore require skills for co-creation drawing on science and working with other disciplines. In turn, planning programmes and curricula need to incorporate learning and teaching approaches that prepare students in higher education for working in co-creation settings by purposefully exposing them to learning environments that involve community, science and practice. The collection of papers, which were presented initially at the 2014 Association of European Schools of Planning congress in Utrecht hereafter showcase curriculum developments and pedagogical research of planning educators from different world regions that in the round shed light on a variety of issues and challenges of embedding learning and teaching for co-creation and co-evolution. In particular, we elaborate on the tensions of employing transformational yet high-risk pedagogies in higher education settings that are becoming increasingly risk-averse and streamlined and we suggest an agenda for planning curriculum developmentAccepted Author ManuscriptSpatial Planning and Strateg

Twistor theory on a finite graph

We show how the description of a shear-free ray congruence in Minkowski space as an evolving family of semi-conformal mappings can naturally be formulated on a finite graph. For this, we introduce the notion of holomorphic function on a graph. On a regular coloured graph of degree three, we recover the space-time picture. In the spirit of twistor theory, where a light ray is the more fundamental object from which space-time points should be derived, the line graph, whose points are the edges of the original graph, should be considered as the basic object. The Penrose twistor correspondence is discussed in this context

On the Equivalence among Problems of Bounded Width

In this paper, we introduce a methodology, called decomposition-based reductions, for showing the equivalence among various problems of bounded-width. First, we show that the following are equivalent for any $\alpha > 0$: * SAT can be solved in $O^*(2^{\alpha \mathrm{tw}})$ time, * 3-SAT can be solved in $O^*(2^{\alpha \mathrm{tw}})$ time, * Max 2-SAT can be solved in $O^*(2^{\alpha \mathrm{tw}})$ time, * Independent Set can be solved in $O^*(2^{\alpha \mathrm{tw}})$ time, and * Independent Set can be solved in $O^*(2^{\alpha \mathrm{cw}})$ time, where tw and cw are the tree-width and clique-width of the instance, respectively. Then, we introduce a new parameterized complexity class EPNL, which includes Set Cover and Directed Hamiltonicity, and show that SAT, 3-SAT, Max 2-SAT, and Independent Set parameterized by path-width are EPNL-complete. This implies that if one of these EPNL-complete problems can be solved in $O^*(c^k)$ time, then any problem in EPNL can be solved in $O^*(c^k)$ time.Comment: accepted to ESA 201

Families with infants: a general approach to solve hard partition problems

We introduce a general approach for solving partition problems where the goal is to represent a given set as a union (either disjoint or not) of subsets satisfying certain properties. Many NP-hard problems can be naturally stated as such partition problems. We show that if one can find a large enough system of so-called families with infants for a given problem, then this problem can be solved faster than by a straightforward algorithm. We use this approach to improve known bounds for several NP-hard problems as well as to simplify the proofs of several known results. For the chromatic number problem we present an algorithm with $O^*((2-\varepsilon(d))^n)$ time and exponential space for graphs of average degree $d$. This improves the algorithm by Bj\"{o}rklund et al. [Theory Comput. Syst. 2010] that works for graphs of bounded maximum (as opposed to average) degree and closes an open problem stated by Cygan and Pilipczuk [ICALP 2013]. For the traveling salesman problem we give an algorithm working in $O^*((2-\varepsilon(d))^n)$ time and polynomial space for graphs of average degree $d$. The previously known results of this kind is a polyspace algorithm by Bj\"{o}rklund et al. [ICALP 2008] for graphs of bounded maximum degree and an exponential space algorithm for bounded average degree by Cygan and Pilipczuk [ICALP 2013]. For counting perfect matching in graphs of average degree~$d$ we present an algorithm with running time $O^*((2-\varepsilon(d))^{n/2})$ and polynomial space. Recent algorithms of this kind due to Cygan, Pilipczuk [ICALP 2013] and Izumi, Wadayama [FOCS 2012] (for bipartite graphs only) use exponential space.Comment: 18 pages, a revised version of this paper is available at http://arxiv.org/abs/1410.220