Showing 1–37 of 37 results for author: Ramsay, S

The past, present and future of observations of externally irradiated disks

Authors: Planet formation environments collaboration, Megan Allen, Rossella Anania, Morten Andersen, Mari-Liis Aru, Giulia Ballabio, Nicholas P. Ballering, Giacomo Beccari, Olivier Berné, Arjan Bik, Ryan Boyden, Gavin Coleman, Javiera Díaz-Berrios, Joseph W. Eatson, Jenny Frediani, Jan Forbrich, Katia Gkimisi, Javier R. Goicoechea, Saumya Gupta, Mario G. Guarcello, Thomas J. Haworth, William J. Henney, Andrea Isella, Dominika Itrich, Luke Keyte , et al. (29 additional authors not shown)

Abstract: Recent years have seen a surge of interest in the community studying the effect of ultraviolet radiation environment, predominantly set by OB stars, on protoplanetary disc evolution and planet formation. This is important because a significant fraction of planetary systems, potentially including our own, formed in close proximity to OB stars. This is a rapidly developing field, with a broad range… ▽ More Recent years have seen a surge of interest in the community studying the effect of ultraviolet radiation environment, predominantly set by OB stars, on protoplanetary disc evolution and planet formation. This is important because a significant fraction of planetary systems, potentially including our own, formed in close proximity to OB stars. This is a rapidly developing field, with a broad range of observations across many regions recently obtained or recently scheduled. In this paper, stimulated by a series of workshops on the topic, we take stock of the current and upcoming observations. We discuss how the community can build on this recent success with future observations to make progress in answering the big questions of the field, with the broad goal of disentangling how external photoevaporation contributes to shaping the observed (exo)planet population. Both existing and future instruments offer numerous opportunities to make progress towards this goal. △ Less

Submitted 1 May, 2025; v1 submitted 17 February, 2025; originally announced February 2025.

Comments: Published in the Open Journal of Astrophysics. Corresponding author Thomas Haworth

Evaluating the Performance and Robustness of LLMs in Materials Science Q&A and Property Predictions

Authors: Hongchen Wang, Kangming Li, Scott Ramsay, Yao Fehlis, Edward Kim, Jason Hattrick-Simpers

Abstract: Large Language Models (LLMs) have the potential to revolutionize scientific research, yet their robustness and reliability in domain-specific applications remain insufficiently explored. In this study, we evaluate the performance and robustness of LLMs for materials science, focusing on domain-specific question answering and materials property prediction across diverse real-world and adversarial c… ▽ More Large Language Models (LLMs) have the potential to revolutionize scientific research, yet their robustness and reliability in domain-specific applications remain insufficiently explored. In this study, we evaluate the performance and robustness of LLMs for materials science, focusing on domain-specific question answering and materials property prediction across diverse real-world and adversarial conditions. Three distinct datasets are used in this study: 1) a set of multiple-choice questions from undergraduate-level materials science courses, 2) a dataset including various steel compositions and yield strengths, and 3) a band gap dataset, containing textual descriptions of material crystal structures and band gap values. The performance of LLMs is assessed using various prompting strategies, including zero-shot chain-of-thought, expert prompting, and few-shot in-context learning. The robustness of these models is tested against various forms of 'noise', ranging from realistic disturbances to intentionally adversarial manipulations, to evaluate their resilience and reliability under real-world conditions. Additionally, the study showcases unique phenomena of LLMs during predictive tasks, such as mode collapse behavior when the proximity of prompt examples is altered and performance recovery from train/test mismatch. The findings aim to provide informed skepticism for the broad use of LLMs in materials science and to inspire advancements that enhance their robustness and reliability for practical applications. △ Less

Submitted 11 March, 2025; v1 submitted 22 September, 2024; originally announced September 2024.

The MICADO first light imager for the ELT: overview and current Status

Authors: E. Sturm, R. Davies, J. Alves, Y. Clénet, J. Kotilainen, A. Monna, H. Nicklas, J. -U. Pott, E. Tolstoy, B. Vulcani, J. Achren, S. Annadevara, H. Anwand-Heerwart, C. Arcidiacono, S. Barboza, L. Barl, P. Baudoz, R. Bender, N. Bezawada, F. Biondi, P. Bizenberger, A. Blin, A. Boné, P. Bonifacio, B. Borgo , et al. (129 additional authors not shown)

Abstract: MICADO is a first light instrument for the Extremely Large Telescope (ELT), set to start operating later this decade. It will provide diffraction limited imaging, astrometry, high contrast imaging, and long slit spectroscopy at near-infrared wavelengths. During the initial phase operations, adaptive optics (AO) correction will be provided by its own natural guide star wavefront sensor. In its fina… ▽ More MICADO is a first light instrument for the Extremely Large Telescope (ELT), set to start operating later this decade. It will provide diffraction limited imaging, astrometry, high contrast imaging, and long slit spectroscopy at near-infrared wavelengths. During the initial phase operations, adaptive optics (AO) correction will be provided by its own natural guide star wavefront sensor. In its final configuration, that AO system will be retained and complemented by the laser guide star multi-conjugate adaptive optics module MORFEO (formerly known as MAORY). Among many other things, MICADO will study exoplanets, distant galaxies and stars, and investigate black holes, such as Sagittarius A* at the centre of the Milky Way. After their final design phase, most components of MICADO have moved on to the manufacturing and assembly phase. Here we summarize the final design of the instrument and provide an overview about its current manufacturing status and the timeline. Some lessons learned from the final design review process will be presented in order to help future instrumentation projects to cope with the challenges arising from the substantial differences between projects for 8-10m class telescopes (e.g. ESO-VLT) and the next generation Extremely Large Telescopes (e.g. ESO-ELT). Finally, the expected performance will be discussed in the context of the current landscape of astronomical observatories and instruments. For instance, MICADO will have similar sensitivity as the James Webb Space Telescope (JWST), but with six times the spatial resolution. △ Less

Submitted 29 August, 2024; originally announced August 2024.

Comments: Proceedings of the SPIE, Volume 13096, id. 1309611 11 pp. (2024)

Illuminating evaporating protostellar outflows: ERIS/SPIFFIER reveals the dissociation and ionization of HH 900

Authors: Megan Reiter, Thomas J. Haworth, Carlo F. Manara, Suzanne Ramsay, Pamela D. Klaassen, Dominika Itrich, Anna F. McLeod

Abstract: Protostellar jets and outflows are signposts of active star formation. In H II regions, molecular tracers like CO only reveal embedded portions of the outflow. Outside the natal cloud, outflows are dissociated, ionized, and eventually completely ablated, leaving behind only the high-density jet core. Before this process is complete, there should be a phase where the outflow is partially molecular… ▽ More Protostellar jets and outflows are signposts of active star formation. In H II regions, molecular tracers like CO only reveal embedded portions of the outflow. Outside the natal cloud, outflows are dissociated, ionized, and eventually completely ablated, leaving behind only the high-density jet core. Before this process is complete, there should be a phase where the outflow is partially molecular and partially ionized. In this paper, we capture the HH 900 outflow while this process is in action. New observations from the ERIS/SPIFFIER near-IR integral field unit (IFU) spectrograph using the K-middle filter ($λ$=2.06-2.34 $μ$m) reveal H$_2$ emission from the dissociating outflow and Br-$γ$ tracing its ionized skin. Both lines trace the wide-angle outflow morphology but H$_2$ only extends $\sim$5000 au into the H II region while Br-$γ$ extends the full length of the outflow ($\sim$12,650 au), indicating rapid dissociation of the molecules. H$_2$ has higher velocities further from the driving source, consistent with a jet-driven outflow. Diagnostic line ratios indicate that photoexcitation, not just shocks, contributes to the excitation in the outflow. We argue that HH 900 is the first clear example of an evaporating molecular outflow and predict that a large column of neutral material that may be detectable with ALMA accompanies the dissociating molecules. Results from this study will help guide the interpretation of near-IR images of externally irradiated jets and outflows such as those obtained with the James Webb Space Telescope (JWST) in high-mass star-forming regions where these conditions may be common. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: MNRAS, accepted

Ill-Typed Programs Don't Evaluate

Authors: Steven Ramsay, Charlie Walpole

Abstract: We introduce two-sided type systems, which are sequent calculi for typing formulas. Two-sided type systems allow for hypothetical reasoning over the typing of compound program expressions, and the refutation of typing formulas. By incorporating a type of all values, these type systems support more refined notions of well-typing and ill-typing, guaranteeing both that well-typed programs don't go wr… ▽ More We introduce two-sided type systems, which are sequent calculi for typing formulas. Two-sided type systems allow for hypothetical reasoning over the typing of compound program expressions, and the refutation of typing formulas. By incorporating a type of all values, these type systems support more refined notions of well-typing and ill-typing, guaranteeing both that well-typed programs don't go wrong and that ill-typed programs don't evaluate - that is, reach a value. This makes two-sided type systems suitable for incorrectness reasoning in higher-order program verification, which we illustrate through an application to precise data-flow typing in a language with constructors and pattern matching. Finally, we investigate the internalisation of the meta-level negation in the system as a complement operator on types. This motivates an alternative semantics for the typing judgement, which guarantees that ill-typed programs don't evaluate, but in which well-typed programs may yet go wrong. △ Less

Submitted 20 October, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: Incorporating anonymous reviewer suggestions from POPL'24

To be or not to be polar: the ferroelectric and antiferroelectric nematic phases

Authors: Ewan Cruickshank, Paulina Rybak, Magdalena Majewska, Shona Ramsay, Cheng Wang, Chenhui Zhu, Rebecca Walker, John M. D. Storey, Corrie T. Imrie, Ewa Gorecka, Damian Pociecha

Abstract: We report the properties of two new series of compounds that show the ferroelectric nematic phase in which the length of a terminal chain is varied. The longer the terminal chain, the weaker the dipole-dipole interactions of the molecules are along the director, and thus the lower the temperature at which the axially ferroelectric nematic phase is formed. For homologues of intermediate chain lengt… ▽ More We report the properties of two new series of compounds that show the ferroelectric nematic phase in which the length of a terminal chain is varied. The longer the terminal chain, the weaker the dipole-dipole interactions of the molecules are along the director, and thus the lower the temperature at which the axially ferroelectric nematic phase is formed. For homologues of intermediate chain length, between the non-polar and ferroelectric nematic phases, there is a wide temperature range nematic phase with antiferroelectric character. The size of the antiparallel ferroelectric domains critically increases upon transition to the ferroelectric phase. In dielectric studies, both collective ("ferroelectric" and non-collective fluctuations are present, the "ferroelectric" mode softens weakly at the N-NX phase transition because the polar order in this phase is weak. The transition to the NF phase is characterized by a much stronger lowering of the mode relaxation frequency and an increase in its strength, typical critical behavior is observed. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Investigating the Impact of Metallicity on Star Formation in the Outer Galaxy. I. VLT/KMOS Survey of Young Stellar Objects in Canis Major

Authors: Dominika Itrich, Agata Karska, Marta Sewiło, Lars E. Kristensen, Gregory J. Herczeg, Suzanne Ramsay, William J. Fischer, Benoît Tabone, Will R. M. Rocha, Maciej Koprowski, Ngân Lê, Beata Deka-Szymankiewicz

Abstract: The effects of metallicity on the evolution of protoplanetary disks may be studied in the outer Galaxy where the metallicity is lower than in the solar neighbourhood. We present the VLT/KMOS integral field spectroscopy in the near-infrared of $\sim$120 candidate young stellar objects (YSOs) in the CMa-$\ell$224 star-forming region located at a Galactocentric distance of 9.1 kpc. We characterise th… ▽ More The effects of metallicity on the evolution of protoplanetary disks may be studied in the outer Galaxy where the metallicity is lower than in the solar neighbourhood. We present the VLT/KMOS integral field spectroscopy in the near-infrared of $\sim$120 candidate young stellar objects (YSOs) in the CMa-$\ell$224 star-forming region located at a Galactocentric distance of 9.1 kpc. We characterise the YSO accretion luminosities and accretion rates using the hydrogen Br$γ$ emission and find the median accretion luminosity of $\log{(L_{\rm acc})} = -0.82^{+0.80}_{-0.82} L_\odot$. Based on the measured accretion luminosities, we investigate the hypothesis of star formation history in the CMa-$\ell$224. Their median values suggest that Cluster C, where most of YSO candidates have been identified, might be the most evolved part of the region. The accretion luminosities are similar to those observed toward low-mass YSOs in the Perseus and Orion molecular clouds, and do not reveal the impact of lower metallicity. Similar studies in other outer Galaxy clouds covering a wide range of metallicities are critical to gain a complete picture of star formation in the Galaxy. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: Accepted for publication in APJS, 51 pages, 37 figures, 6 tables

Effect Handlers for Programmable Inference

Authors: Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay

Abstract: Inference algorithms for probabilistic programming are complex imperative programs with many moving parts. Efficient inference often requires customising an algorithm to a particular probabilistic model or problem, sometimes called inference programming. Most inference frameworks are implemented in languages that lack a disciplined approach to side effects, which can result in monolithic implement… ▽ More Inference algorithms for probabilistic programming are complex imperative programs with many moving parts. Efficient inference often requires customising an algorithm to a particular probabilistic model or problem, sometimes called inference programming. Most inference frameworks are implemented in languages that lack a disciplined approach to side effects, which can result in monolithic implementations where the structure of the algorithms is obscured and inference programming is hard. Functional programming with typed effects offers a more structured and modular foundation for programmable inference, with monad transformers being the primary structuring mechanism explored to date. This paper presents an alternative approach to inference programming based on algebraic effects. Using effect signatures to specify the key operations of the algorithms, and effect handlers to modularly interpret those operations for specific variants, we develop two abstract algorithms, or inference patterns, representing two important classes of inference: Metropolis-Hastings and particle filtering. We show how our approach reveals the algorithms' high-level structure, and makes it easy to tailor and recombine their parts into new variants. We implement the two inference patterns as a Haskell library, and discuss the pros and cons of algebraic effects vis-a-vis monad transformers as a structuring mechanism for modular imperative algorithm design. △ Less

Submitted 23 December, 2024; v1 submitted 2 March, 2023; originally announced March 2023.

Higher-Order MSL Horn Constraints

Authors: Jerome Jochems, Eddie Jones, Steven Ramsay

Abstract: The monadic shallow linear (MSL) class is a decidable fragment of first-order Horn clauses that was discovered and rediscovered around the turn of the century, with applications in static analysis and verification. We propose a new class of higher-order Horn constraints which extend MSL to higher-order logic and develop a resolution-based decision procedure. Higher-order MSL Horn constraints can q… ▽ More The monadic shallow linear (MSL) class is a decidable fragment of first-order Horn clauses that was discovered and rediscovered around the turn of the century, with applications in static analysis and verification. We propose a new class of higher-order Horn constraints which extend MSL to higher-order logic and develop a resolution-based decision procedure. Higher-order MSL Horn constraints can quite naturally capture the complex patterns of call and return that are possible in higher-order programs, which make them well suited to higher-order program verification. In fact, we show that the higher-order MSL satisfiability problem and the HORS model checking problem are interreducible, so that higher-order MSL can be seen as a constraint-based approach to higher-order model checking. Finally, we describe an implementation of our decision procedure and its application to verified socket programming. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: Revision of conditionally accepted submission to POPL 2023

NIR jets from a clustered region of massive star formation: Morphology and composition in the IRAS 18264-1152 region

Authors: A. R. Costa Silva, R. Fedriani, J. C. Tan, A. Caratti o Garatti, S. Ramsay, V. Rosero, G. Cosentino, P. Gorai, S. Leurini

Abstract: Massive stars form deeply embedded in their parental clouds, making it challenging to directly observe these stars and their immediate environments. It is known that accretion and ejection processes are intrinsically related, thus observing massive protostellar outflows can provide crucial information about the processes governing massive star formation close to the central engine. We aim to probe… ▽ More Massive stars form deeply embedded in their parental clouds, making it challenging to directly observe these stars and their immediate environments. It is known that accretion and ejection processes are intrinsically related, thus observing massive protostellar outflows can provide crucial information about the processes governing massive star formation close to the central engine. We aim to probe the IRAS 18264-1152 (G19.88-0.53) high-mass star-forming complex in the near infrared (NIR) through its molecular hydrogen (H2) jets to analyse the morphology and composition of the line emitting regions and to compare with other outflow tracers. We observed the H2 NIR jets via K-band (1.9-2.5um) observations obtained with the integral field units VLT/SINFONI and VLT/KMOS. SINFONI provides the highest NIR angular resolution achieved so far for the central region (~0.2''). We compared the geometry of the NIR outflows with that of the associated molecular outflow probed by CO (2-1) emission mapped with SMA. We identify nine point sources. Four of these display a rising continuum in the K-band and are BrG emitters, revealing that they are young, potentially jet-driving sources. The spectro-imaging analysis focusses on the H2 jets, for which we derived visual extinction, temperature, column density, area, and mass. The intensity, velocity, and excitation maps based on H2 emission strongly support the existence of a protostellar cluster, with at least two (and up to four) different large-scale outflows. The literature is in agreement with the outflow morphology found here. We derived a stellar density of ~4000 stars pc^-3. Our study reveals the presence of several outflows driven by young sources from a forming cluster of young, massive stars. The derived stellar number density together with the geometry of the outflows suggest that stars can form in a relatively ordered manner in this cluster. △ Less

Submitted 19 July, 2022; v1 submitted 8 December, 2021; originally announced December 2021.

Comments: 23 pages, 14 figures. Published in A&A. Updated to correct typos and match proofs

Journal ref: A&A 659, A23 (2022)

CycleQ: An Efficient Basis for Cyclic Equational Reasoning

Authors: Eddie Jones, C-. H. Luke Ong, Steven Ramsay

Abstract: We propose a new cyclic proof system for automated, equational reasoning about the behaviour of pure functional programs. The key to the system is the way in which cyclic proof and equational reasoning are mediated by the use of contextual substitution as a cut rule. We show that our system, although simple, already subsumes several of the approaches to implicit induction variously known as "induc… ▽ More We propose a new cyclic proof system for automated, equational reasoning about the behaviour of pure functional programs. The key to the system is the way in which cyclic proof and equational reasoning are mediated by the use of contextual substitution as a cut rule. We show that our system, although simple, already subsumes several of the approaches to implicit induction variously known as "inductionless induction", "rewriting induction", and "proof by consistency". By restricting the form of the traces, we show that global correctness in our system can be verified incrementally, taking advantage of the well-known size-change principle, which leads to an efficient implementation of proof search. Our CycleQ tool, accessible as a GHC plugin, shows promising results on a number of standard benchmarks. △ Less

Submitted 14 June, 2022; v1 submitted 24 November, 2021; originally announced November 2021.

Comments: Version accepted to PLDI'22

ACM Class: F.3.1

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses

Authors: Toby Cathcart Burn, Luke Ong, Steven Ramsay, Dominik Wagner

Abstract: We present initial limit Datalog, a new extensible class of constrained Horn clauses for which the satisfiability problem is decidable. The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types) of the first-order language limit Datalog$_Z$ (a fragment of Datalog modulo linear integer arithmetic), but can be instantiated with any suitable background theo… ▽ More We present initial limit Datalog, a new extensible class of constrained Horn clauses for which the satisfiability problem is decidable. The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types) of the first-order language limit Datalog$_Z$ (a fragment of Datalog modulo linear integer arithmetic), but can be instantiated with any suitable background theory. For example, the fragment is decidable over any countable well-quasi-order with a decidable first-order theory, such as natural number vectors under componentwise linear arithmetic, and words of a bounded, context-free language ordered by the subword relation. Formulas of initial limit Datalog have the property that, under some assumptions on the background theory, their satisfiability can be witnessed by a new kind of term model which we call entwined structures. Whilst the set of all models is typically uncountable, the set of all entwined structures is recursively enumerable, and model checking is decidable. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Comments: 18 pages. To be published in LICS 2021

Instrumentation for ESO's Extremely Large Telescope

Authors: Suzanne Ramsay, Michele Cirasuolo, Paola Amico, Nagaraja Naidu Bezawada, Patrick Caillier, Frederic Derie, Reinhold Dorn, Sebastian Egner, Elizabeth George, Frederic Gonte, Peter Hammersley, Christoph Haupt, Derek Ives, Gerd Jakob, Florian Kerber, Vincenzo Mainieri, Antonio Manescau, Sylvain Oberti, Celine Peroux, Oliver Pfuhl, Ulf Seemann, Ralf Siebenmorgen, Christian Schmid, Joel Vernet

Abstract: Design and construction of the instruments for ESO's Extremely Large Telescope (ELT) began in 2015. We present here a brief overview of the status of the ELT Instrumentation Plan. Dedicated articles on each instrument are presented elsewhere this volume. Design and construction of the instruments for ESO's Extremely Large Telescope (ELT) began in 2015. We present here a brief overview of the status of the ELT Instrumentation Plan. Dedicated articles on each instrument are presented elsewhere this volume. △ Less

Submitted 21 March, 2021; originally announced March 2021.

Comments: 4 pages, 3 figures

Journal ref: The Messenger, 2021, vol. 182, p. 3-6

KMOS study of the mass accretion rate from Class I to Class II in NGC 1333

Authors: Eleonora Fiorellino, Carlo Felice Manara, Brunella Nisini, Suzanne Ramsay, Simone Antoniucci, Teresa Giannini, Katia Biazzo, Juan Alcalà, Davide Fedele

Abstract: The mass accretion rate is the fundamental parameter to understand the process of mass assembly that results in the formation of a low-mass star. This parameter has been largely studied in Classical TTauri stars in star-forming regions with ages of 1-10Myr. However, little is known about the accretion properties of young stellar objects (YSOs) in younger regions and early stages of star formation,… ▽ More The mass accretion rate is the fundamental parameter to understand the process of mass assembly that results in the formation of a low-mass star. This parameter has been largely studied in Classical TTauri stars in star-forming regions with ages of 1-10Myr. However, little is known about the accretion properties of young stellar objects (YSOs) in younger regions and early stages of star formation, such as in the Class0/I phases. We present new NIR spectra of 17 ClassI/Flat and 35 ClassII sources located in the young (<1Myr) NGC1333 cluster, acquired with the KMOS instrument at the VLT. Our goal is to study whether the mass accretion rate evolves with age, as suggested by the widely adopted viscous evolution model, by comparing the properties of the NGC1333 members with samples of older regions. We measured the stellar parameters and accretion rates of our sample, finding a correlation between accretion and stellar luminosity, and between mass accretion rate and stellar mass. Both correlations are compatible within the errors with the older Lupus star-forming region, while only the latter is consistent with results from ChamaeleonI. The ClassI sample shows larger accretion luminosities with respect to the ClassII stars of the same cloud. However, the derived accretion rates are not sufficiently high to build up the inferred stellar masses, assuming steady accretion during the ClassI lifetime. This suggests that the sources are not in their main accretion phase and that most of their mass has already been accumulated during a previous stage and/or that the accretion is an episodic phenomenon. We show that some of the targets originally classified as Class I through Spitzer photometry are in fact evolved or low accreting objects. This evidence can have implications for the estimated protostellar phase lifetimes. Further observations are needed to determine if this is a general result. △ Less

Submitted 5 March, 2021; originally announced March 2021.

Journal ref: A&A 650, A43 (2021)

Verifying Liveness Properties of ML Programs

Authors: M. M. Lester, R. P. Neatherway, C. -H. L. Ong, S. J. Ramsay

Abstract: Higher-order recursion schemes are a higher-order analogue of Boolean Programs; they form a natural class of abstractions for functional programs. We present a new, efficient algorithm for checking CTL properties of the trees generated by higher-order recursion schemes, which is an extension of Kobayashi's intersection type-based model checking technique. We show that an implementation of this alg… ▽ More Higher-order recursion schemes are a higher-order analogue of Boolean Programs; they form a natural class of abstractions for functional programs. We present a new, efficient algorithm for checking CTL properties of the trees generated by higher-order recursion schemes, which is an extension of Kobayashi's intersection type-based model checking technique. We show that an implementation of this algorithm, THORS, performs well on a number of small examples and we demonstrate how it can be used to verify liveness properties of OCaml programs. Example properties include statements such as "all opened sockets are eventually closed" and "the lock is held until the file is closed". △ Less

Submitted 24 December, 2020; originally announced December 2020.

Comments: Peer-reviewed extended abstract presented at 2011 ACM SIGPLAN Workshop on ML. Full technical report archived at: https://ora.ox.ac.uk/objects/uuid:bf35bab8-b395-4f85-93bd-57ca0328a1d3

Detector Systems Engineering for Extremely Large Instruments

Authors: Elizabeth M. George, Naidu Bezawada, Derek Ives, Leander Mehrgan, Matteo Accardo, Domingo Alvarez, Martin Brinkmann, Ralf Conzelmann, Claudio Cumani, Mark Downing, Max Engelhardt, Marcus Haug, Joshua Hopgood, Christoph Geimer, Olaf Iwert, Barbara Klein, Christopher Mandla, Eric Müller, Suzanne Ramsay, Javier Reyes, Mathias Richerzhagen, Benoît Serra, Matthias Seidel, Jörg Stegmeier, Mirko Todorovic

Abstract: The scientific detector systems for the ESO ELT first-light instruments, HARMONI, MICADO, and METIS, together will require 27 science detectors: seventeen 2.5 $μ$m cutoff H4RG-15 detectors, four 4K x 4K 231-84 CCDs, five 5.3 $μ$m cutoff H2RG detectors, and one 13.5 $μ$m cutoff GEOSNAP detector. This challenging program of scientific detector system development covers everything from designing and… ▽ More The scientific detector systems for the ESO ELT first-light instruments, HARMONI, MICADO, and METIS, together will require 27 science detectors: seventeen 2.5 $μ$m cutoff H4RG-15 detectors, four 4K x 4K 231-84 CCDs, five 5.3 $μ$m cutoff H2RG detectors, and one 13.5 $μ$m cutoff GEOSNAP detector. This challenging program of scientific detector system development covers everything from designing and producing state-of-the-art detector control and readout electronics, to developing new detector characterization techniques in the lab, to performance modeling and final system verification. We report briefly on the current design of these detector systems and developments underway to meet the challenging scientific performance goals of the ELT instruments. △ Less

Submitted 15 December, 2020; originally announced December 2020.

Comments: Proceedings of the SPIE Astronomical Telescopes and Instrumentation Conference 2020

Journal ref: Proc. SPIE 11454, X-Ray, Optical, and Infrared Detectors for Astronomy IX, 114541Y (13 December 2020)

Intensional Datatype Refinement

Authors: Eddie Jones, Steven Ramsay

Abstract: The pattern-match safety problem is to verify that a given functional program will never crash due to non-exhaustive patterns in its function definitions. We present a refinement type system that can be used to solve this problem. The system extends ML-style type systems with algebraic datatypes by a limited form of structural subtyping and environment-level intersection. We describe a fully autom… ▽ More The pattern-match safety problem is to verify that a given functional program will never crash due to non-exhaustive patterns in its function definitions. We present a refinement type system that can be used to solve this problem. The system extends ML-style type systems with algebraic datatypes by a limited form of structural subtyping and environment-level intersection. We describe a fully automatic, sound and complete type inference procedure for this system which, under reasonable assumptions, is worst-case linear-time in the program size. Compositionality is essential to obtaining this complexity guarantee. A prototype implementation for Haskell is able to analyse a selection of packages from the Hackage database in a few hundred milliseconds. △ Less

Submitted 25 November, 2020; v1 submitted 4 August, 2020; originally announced August 2020.

Comments: 26 pages plus bibliography and appendices. Tool available from https://github.com/bristolpl/intensional-datatys. [v2] fixed accidental unicode-related formatting issues in bibliography. [v3] Improvements incorporated, thanks to POPL 2021 reviewers

ACM Class: F.3.1

Bisimilarity in fresh-register automata

Authors: Andrzej S. Murawski, Steven J. Ramsay, Nikos Tzevelekos

Abstract: Register automata are a basic model of computation over infinite alphabets. Fresh-register automata extend register automata with the capability to generate fresh symbols in order to model computational scenarios involving name creation. This paper investigates the complexity of the bisimilarity problem for classes of register and fresh-register automata. We examine all main disciplines that have… ▽ More Register automata are a basic model of computation over infinite alphabets. Fresh-register automata extend register automata with the capability to generate fresh symbols in order to model computational scenarios involving name creation. This paper investigates the complexity of the bisimilarity problem for classes of register and fresh-register automata. We examine all main disciplines that have appeared in the literature: general register assignments; assignments where duplicate register values are disallowed; and assignments without duplicates in which registers cannot be empty. In the general case, we show that the problem is EXPTIME-complete. However, the absence of duplicate values in registers enables us to identify inherent symmetries inside the associated bisimulation relations, which can be used to establish a polynomial bound on the depth of Attacker-winning strategies. Furthermore, they enable a highly succinct representation of the corresponding bisimulations. By exploiting results from group theory and computational group theory, we can then show solvability in PSPACE and NP respectively for the latter two register disciplines. In each case, we find that freshness does not affect the complexity class of the problem. The results allow us to close a complexity gap for language equivalence of deterministic register automata. We show that deterministic language inequivalence for the no-duplicates fragment is NP-complete, which disproves an old conjecture of Sakamoto. Finally, we discover that, unlike in the finite-alphabet case, the addition of pushdown store makes bisimilarity undecidable, even in the case of visibly pushdown storage. △ Less

Submitted 5 February, 2025; v1 submitted 13 May, 2020; originally announced May 2020.

Journal ref: Logical Methods in Computer Science, Volume 21, Issue 1 (February 6, 2025) lmcs:6476

Defunctionalization of Higher-Order Constrained Horn Clauses

Authors: Long Pham, Steven J. Ramsay, C. -H. Luke Ong

Abstract: Building on the successes of satisfiability modulo theories (SMT), Bjørner et al. initiated a research programme advocating Horn constraints as a suitable basis for automatic program verification. The notion of first-order constrained Horn clauses has recently been extended to higher-order logic by Cathcart Burn et al. To exploit the remarkable efficiency of SMT solving, a natural approach to solv… ▽ More Building on the successes of satisfiability modulo theories (SMT), Bjørner et al. initiated a research programme advocating Horn constraints as a suitable basis for automatic program verification. The notion of first-order constrained Horn clauses has recently been extended to higher-order logic by Cathcart Burn et al. To exploit the remarkable efficiency of SMT solving, a natural approach to solve systems of higher-order Horn constraints is to reduce them to systems of first-order Horn constraints. This paper presents a defunctionalization algorithm to achieve the reduction. Given a well-sorted higher-order constrained Horn clause (HoCHC) problem instance, the defunctionalization algorithm constructs a first-order well-sorted constrained Horn clause problem. In addition to well-sortedness of the algorithm's output, we prove that if an input HoCHC is solvable, then the result of its defunctionalization is solvable. The converse also holds, which we prove using a recent result on the continuous semantics of HoCHC. To our knowledge, this defunctionalization algorithm is the first sound and complete reduction from systems of higher-order Horn constraints to systems of first-order Horn constraints. We have constructed DefMono, a prototype implementation of the defunctionalization algorithm. It first defunctionalizes an input HoCHC problem and then feeds the result into a backend SMT solver. We have evaluated the performance of DefMono empirically by comparison with two other higher-order verification tools. △ Less

Submitted 22 February, 2019; v1 submitted 8 October, 2018; originally announced October 2018.

Comments: Some minor typos are fixed

ACM Class: D.2.4; F.3.1; F.4.1

Feedback from massive stars at low metallicities: MUSE observations of N44 and N180 in the Large Magellanic Cloud

Authors: A. F. McLeod, J. E. Dale, C. J. Evans, A. Ginsburg, J. M. D. Kruijssen, E. W. Pellegrini, S. K. Ramsay, L. Testi

Abstract: We present MUSE integral field data of two HII region complexes in the Large Magellanic Cloud (LMC), N44 and N180. Both regions consist of a main superbubble and a number of smaller, more compact HII regions that formed on the edge of the superbubble. For a total of 11 HII regions, we systematically analyse the radiative and mechanical feedback from the massive O-type stars on the surrounding gas.… ▽ More We present MUSE integral field data of two HII region complexes in the Large Magellanic Cloud (LMC), N44 and N180. Both regions consist of a main superbubble and a number of smaller, more compact HII regions that formed on the edge of the superbubble. For a total of 11 HII regions, we systematically analyse the radiative and mechanical feedback from the massive O-type stars on the surrounding gas. We exploit the integral field property of the data and the coverage of the HeII$λ$5412 line to identify and classify the feedback-driving massive stars, and from the estimated spectral types and luminosity classes we determine the stellar radiative output in terms of the ionising photon flux $Q_{0}$. We characterise the HII regions in terms of their sizes, morphologies, ionisation structure, luminosity and kinematics, and derive oxygen abundances via emission line ratios. We analyse the role of different stellar feedback mechanisms for each region by measuring the direct radiation pressure, the pressure of the ionised gas, and the pressure of the shock-heated winds. We find that stellar winds and ionised gas are the main drivers of HII region expansion in our sample, while the direct radiation pressure is up to three orders of magnitude lower than the other terms. We relate the total pressure to the star formation rate per unit area, $Σ_{SFR}$, for each region and find that stellar feedback has a negative effect on star formation, and sets an upper limit to $Σ_{SFR}$ as a function of increasing pressure. △ Less

Submitted 2 October, 2018; originally announced October 2018.

Comments: Accepted for publication in MNRAS, 27 pages, 21 figures

Discovery of two embedded massive YSOs and an outflow in IRAS 18144-1723

Authors: W. P. Varricatt, J. G. A. Wouterloot, S. K. Ramsay, C. J. Davis

Abstract: Massive stars are rarely seen to form in isolation. It has been proposed that association with companions or clusters in the formative stages is vital to their mass accumulation. In this paper we study IRAS~18144-1723, a massive young stellar object (YSO) which had been perceived in early studies as a single source. In the CO(3-2) line, we detect an outflow aligned well with the outflow seen in H… ▽ More Massive stars are rarely seen to form in isolation. It has been proposed that association with companions or clusters in the formative stages is vital to their mass accumulation. In this paper we study IRAS~18144-1723, a massive young stellar object (YSO) which had been perceived in early studies as a single source. In the CO(3-2) line, we detect an outflow aligned well with the outflow seen in H$_2$ in this region. We show that there are at least two YSOs here, and that the outflow is most likely to be from a deeply embedded source detected in our infrared imaging. Using multi-wavelength observations, we study the outflow and the embedded source and derive their properties. We conclude that IRAS~18144 hosts an isolated cloud, in which at least two massive YSOs are being born. From our sub-mm observations, we derive the mass of the cloud and the core hosting the YSOs. △ Less

Submitted 1 August, 2018; originally announced August 2018.

Comments: 14 pages, 14 figures, accepted for publication in the Monthly Notices of the Royal Astronomical Society

The MICADO first light imager for the ELT: overview, operation, simulation

Authors: Richard Davies, João Alves, Yann Clénet, Florian Lang-Bardl, Harald Nicklas, Jörg-Uwe Pott, Roberto Ragazzoni, Eline Tolstoy, Paola Amico, Heiko Anwand-Heerwart, Santiago Barboza, Lothar Barl, Pierre Baudoz, Ralf Bender, Naidu Bezawada, Peter Bizenberger, Wilfried Boland, Piercarlo Bonifacio, Bruno Borgo, Tristan Buey, Frédéric Chapron, Fanny Chemla, Mathieu Cohen, Oliver Czoske, Vincent Deo , et al. (76 additional authors not shown)

Abstract: MICADO will enable the ELT to perform diffraction limited near-infrared observations at first light. The instrument's capabilities focus on imaging (including astrometric and high contrast) as well as single object spectroscopy. This contribution looks at how requirements from the observing modes have driven the instrument design and functionality. Using examples from specific science cases, and m… ▽ More MICADO will enable the ELT to perform diffraction limited near-infrared observations at first light. The instrument's capabilities focus on imaging (including astrometric and high contrast) as well as single object spectroscopy. This contribution looks at how requirements from the observing modes have driven the instrument design and functionality. Using examples from specific science cases, and making use of the data simulation tool, an outline is presented of what we can expect the instrument to achieve. △ Less

Submitted 26 July, 2018; originally announced July 2018.

Comments: Proc SPIE 10702. SPIE's copyright notice: "Copyright 2018 Society of PhotoOptical Instrumentation Engineers. One print or electronic copy may be made for personal use only. Systematic reproduction and distribution, duplication of any material in this paper for a fee or for commercial purposes, or modification of the content of the paper are prohibited."

Higher-Order Constrained Horn Clauses and Refinement Types

Authors: Toby Cathcart Burn, C. -H. Luke Ong, Steven J. Ramsay

Abstract: Motivated by applications in automated verification of higher-order functional programs, we develop a notion of constrained Horn clauses in higher-order logic and a decision problem concerning their satisfiability. We show that, although satisfiable systems of higher-order clauses do not generally have least models, there is a notion of canonical model obtained through a reduction to a problem con… ▽ More Motivated by applications in automated verification of higher-order functional programs, we develop a notion of constrained Horn clauses in higher-order logic and a decision problem concerning their satisfiability. We show that, although satisfiable systems of higher-order clauses do not generally have least models, there is a notion of canonical model obtained through a reduction to a problem concerning a kind of monotone logic program. Following work in higher-order program verification, we develop a refinement type system in order to reason about and automate the search for models. This provides a sound but incomplete method for solving the decision problem. Finally, we show that an extension of the decision problem in which refinement types are used directly as guards on existential quantifiers can be reduced to the original problem. This result can be used to show that properties of higher-order functions that are definable using refinement types are also expressible using higher-order constrained Horn clauses. △ Less

Submitted 1 August, 2017; v1 submitted 17 May, 2017; originally announced May 2017.

Comments: Completely rewritten Section 4.3 on the correspondence between models to improve the clarity of the exposition. Various other minor improvements

ACM Class: D.2.4; F.3.1; F.4.1

CRIRES-POP: a library of high resolution spectra from 1 to 5 microns II. Data reduction and the spectrum of the K giant 10 Leo

Authors: C. P. Nicholls, T. Lebzelter, A. Smette, B. Wolff, H. Hartman, H. -U. Käufl, N. Przybilla, S. Ramsay, S. Uttenthaler, G. M. Wahlgren, S. Bagnulo, G. A. J. Hussain, M. -F. Nieva, U. Seeman, A. Seifahrt

Abstract: Context. High resolution stellar spectral atlases are valuable resources to astronomy. They are rare in the $1 - 5\,μ$m region for historical reasons, but once available, high resolution atlases in this part of the spectrum will aid the study of a wide range of astrophysical phenomena. Aims. The aim of the CRIRES-POP project is to produce a high resolution near-infrared spectral library of stars a… ▽ More Context. High resolution stellar spectral atlases are valuable resources to astronomy. They are rare in the $1 - 5\,μ$m region for historical reasons, but once available, high resolution atlases in this part of the spectrum will aid the study of a wide range of astrophysical phenomena. Aims. The aim of the CRIRES-POP project is to produce a high resolution near-infrared spectral library of stars across the H-R diagram. The aim of this paper is to present the fully reduced spectrum of the K giant 10 Leo that will form the basis of the first atlas within the CRIRES-POP library, to provide a full description of the data reduction processes involved, and to provide an update on the CRIRES-POP project. Methods. All CRIRES-POP targets were observed with almost 200 different observational settings of CRIRES on the ESO Very Large Telescope, resulting in a basically complete coverage of its spectral range as accessible from the ground. We reduced the spectra of 10 Leo with the CRIRES pipeline, corrected the wavelength solution and removed telluric absorption with Molecfit, then resampled the spectra to a common wavelength scale, shifted them to rest wavelengths, flux normalised, and median combined them into one final data product. Results. We present the fully reduced, high resolution, near-infrared spectrum of 10 Leo. This is also the first complete spectrum from the CRIRES instrument. The spectrum is available online. Conclusions. The first CRIRES-POP spectrum has exceeded our quality expectations and will form the centre of a state-of-the-art stellar atlas. This first CRIRES-POP atlas will soon be available, and further atlases will follow. All CRIRES-POP data products will be freely and publicly available online. △ Less

Submitted 26 September, 2016; originally announced September 2016.

Comments: 12 pages, 12 figures, accepted to A&A

Journal ref: A&A 598, A79 (2017)

Connecting the dots: a correlation between ionising radiation and cloud mass-loss rate traced by optical integral field spectroscopy

Authors: A. F. McLeod, M. Gritschneder, J. E. Dale, A. Ginsburg, P. D. Klaassen, J. C. Mottram, T. Preibisch, S. Ramsay, M. Reiter, L. Testi

Abstract: We present an analysis of the effect of feedback from O- and B-type stars with data from the integral field spectrograph MUSE mounted on the Very Large Telescope of pillar-like structures in the Carina Nebular Complex, one of the most massive star-forming regions in the Galaxy. For the observed pillars, we compute gas electron densities and temperatures maps, produce integrated line and velocity m… ▽ More We present an analysis of the effect of feedback from O- and B-type stars with data from the integral field spectrograph MUSE mounted on the Very Large Telescope of pillar-like structures in the Carina Nebular Complex, one of the most massive star-forming regions in the Galaxy. For the observed pillars, we compute gas electron densities and temperatures maps, produce integrated line and velocity maps of the ionised gas, study the ionisation fronts at the pillar tips, analyse the properties of the single regions, and detect two ionised jets originating from two distinct pillar tips. For each pillar tip we determine the incident ionising photon flux $Q_\mathrm{0,pil}$ originating from the nearby massive O- and B-type stars and compute the mass-loss rate $\dot{M}$ of the pillar tips due to photo-evaporation caused by the incident ionising radiation. We combine the results of the Carina data set with archival MUSE data of a pillar in NGC 3603 and with previously published MUSE data of the Pillars of Creation in M16, and with a total of 10 analysed pillars, find tight correlations between the ionising photon flux and the electron density, the electron density and the distance from the ionising sources, and the ionising photon flux and the mass-loss rate. The combined MUSE data sets of pillars in regions with different physical conditions and stellar content therefore yield an empirical quantification of the feedback effects of ionising radiation. In agreement with models, we find that $\dot{M}\propto Q_\mathrm{0,pil}^{1/2}$. △ Less

Submitted 29 July, 2016; originally announced August 2016.

Comments: Accepted for publication in MNRAS, 36 pages, 30 figures

MICADO: first light imager for the E-ELT

Authors: R. Davies, J. Schubert, M. Hartl, J. Alves, Y. Clénet, F. Lang-Bardl, H. Nicklas, J. -U. Pott, R. Ragazzoni, E. Tolstoy, T. Agocs, H. Anwand-Heerwart, S. Barboza, P. Baudoz, R. Bender, P. Bizenberger, A. Boccaletti, W. Boland, P. Bonifacio, F. Briegel, T. Buey, F. Chapron, M. Cohen, O. Czoske, S. Dreizler , et al. (59 additional authors not shown)

Abstract: MICADO will equip the E-ELT with a first light capability for diffraction limited imaging at near-infrared wavelengths. The instrument's observing modes focus on various flavours of imaging, including astrometric, high contrast, and time resolved. There is also a single object spectroscopic mode optimised for wavelength coverage at moderately high resolution. This contribution provides an overview… ▽ More MICADO will equip the E-ELT with a first light capability for diffraction limited imaging at near-infrared wavelengths. The instrument's observing modes focus on various flavours of imaging, including astrometric, high contrast, and time resolved. There is also a single object spectroscopic mode optimised for wavelength coverage at moderately high resolution. This contribution provides an overview of the key functionality of the instrument, outlining the scientific rationale for its observing modes. The interface between MICADO and the adaptive optics system MAORY that feeds it is summarised. The design of the instrument is discussed, focussing on the optics and mechanisms inside the cryostat, together with a brief overview of the other key sub-systems. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Comments: to appear in Ground-based and Airborne Instrumentation for Astronomy VI, eds. Evans C., Simard L., Takami H., Proc. SPIE vol. 9908 id 73; 2016

A nebular analysis of the central Orion Nebula with MUSE

Authors: A. F. Mc Leod, P. M. Weilbacher, A. Ginsburg, J. E. Dale, S. Ramsay, L. Testi

Abstract: A nebular analysis of the central Orion Nebula and its main structures is presented. We exploit MUSE integral field observations in the wavelength range 4595-9366 Å to produce the first O, S and N ionic and total abundance maps of a region spanning 6' x 5' with a spatial resolution of 0.2". We use the S$_{23}$ ( = ([SII]$λ$6717,31+[SIII]$λ$9068)/H$β$) parameter, together with [OII]/[OIII] as an in… ▽ More A nebular analysis of the central Orion Nebula and its main structures is presented. We exploit MUSE integral field observations in the wavelength range 4595-9366 Å to produce the first O, S and N ionic and total abundance maps of a region spanning 6' x 5' with a spatial resolution of 0.2". We use the S$_{23}$ ( = ([SII]$λ$6717,31+[SIII]$λ$9068)/H$β$) parameter, together with [OII]/[OIII] as an indicator of the degree of ionisation, to distinguish between the various small-scale structures. The only Orion Bullet covered by MUSE is HH 201, which shows a double component in the [FeII]$λ$8617 line throughout indicating an expansion, and we discuss a scenario in which this object is undergoing a disruptive event. We separate the proplyds located south of the Bright Bar into four categories depending on their S$_{23}$ values, propose the utility of the S$_{23}$ parameter as an indicator of the shock-contribution to the excitation of line-emitting atoms, and show that the MUSE data is able to identify the proplyds associated with disks and microjets. We compute the second order structure function for the H$α$, [OIII]$λ$5007, [SII]$λ$6731 and [OI]$λ$6300 emission lines to analyse the turbulent velocity field of the region covered with MUSE. We find that the spectral and spatial resolution of MUSE is not able to faithfully reproduce the structure functions of previous works. △ Less

Submitted 9 December, 2015; v1 submitted 5 November, 2015; originally announced November 2015.

Comments: 34 pages, 31 figures, published in MNRAS, added missing citation

Journal ref: MNRAS, 455, 4057 (2016)

The Pillars of Creation revisited with MUSE: gas kinematics and high-mass stellar feedback traced by optical spectroscopy

Authors: A. F. Mc Leod, J. E. Dale, A. Ginsburg, B. Ercolano, M. Gritschneder, S. Ramsay, L. Testi

Abstract: Integral field unit (IFU) data of the iconic Pillars of Creation in M16 are presented. The ionisation structure of the pillars was studied in great detail over almost the entire visible wavelength range, and maps of the relevant physical parameters, e.g. extinction, electron density, electron temperature, line-of-sight velocity of the ionised and neutral gas are shown. In agreement with previous a… ▽ More Integral field unit (IFU) data of the iconic Pillars of Creation in M16 are presented. The ionisation structure of the pillars was studied in great detail over almost the entire visible wavelength range, and maps of the relevant physical parameters, e.g. extinction, electron density, electron temperature, line-of-sight velocity of the ionised and neutral gas are shown. In agreement with previous authors, we find that the pillar tips are being ionised and photo-evaporated by the massive members of the nearby cluster NGC 6611. They display a stratified ionisation structure where the emission lines peak in a descending order according to their ionisation energies. The IFU data allowed us to analyse the kinematics of the photo-evaporative flow in terms of the stratified ionisation structure, and we find that, in agreement with simulations, the photo-evaporative flow is traced by a blueshift in the position-velocity profile. The gas kinematics and ionisation structure have allowed us to produce a sketch of the 3D geometry of the Pillars, positioning the pillars with respect to the ionising cluster stars. We use a novel method to detect a previously unknown bipolar outflow at the tip of the middle pillar and suggest that it has an embedded protostar as its driving source. Furthermore we identify a candidate outflow in the leftmost pillar. With the derived physical parameters and ionic abundances, we estimate a mass loss rate due to the photo-evaporative flow of 70 M$_{\odot}$ Myr$^{-1}$ which yields an expected lifetime of approximately 3 Myr. △ Less

Submitted 13 April, 2015; originally announced April 2015.

Comments: 25 pages, 21 figures, appendix 10 pages and 10 figures, MNRAS in press

The Software Package for Astronomical Reductions with KMOS: SPARK

Authors: Richard Davies, Alex Agudo Berbel, Erich Wiezorrek, Michele Cirasuolo, Natascha M. Foerster Schreiber, Yves Jung, Bernard Muschielok, Thomas Ott, Suzanne Ramsay, Joerg Schlichter, Ray Sharples, Michael Wegner

Abstract: KMOS is a multi-object near-infrared integral field spectrometer with 24 deployable cryogenic pick-off arms. Inevitably, data processing is a complex task that requires careful calibration and quality control. In this paper we describe all the steps involved in producing science-quality data products from the raw observations. In particular, we focus on the following issues: (i) the calibration sc… ▽ More KMOS is a multi-object near-infrared integral field spectrometer with 24 deployable cryogenic pick-off arms. Inevitably, data processing is a complex task that requires careful calibration and quality control. In this paper we describe all the steps involved in producing science-quality data products from the raw observations. In particular, we focus on the following issues: (i) the calibration scheme which produces maps of the spatial and spectral locations of all illuminated pixels on the detectors; (ii) our concept of minimising the number of interpolations, to the limiting case of a single reconstruction that simultaneously uses raw data from multiple exposures; (iii) a comparison of the various interpolation methods implemented, and an assessment of the performance of true 3D interpolation schemes; (iv) the way in which instrumental flexure is measured and compensated. We finish by presenting some examples of data processed using the pipeline. △ Less

Submitted 30 August, 2013; originally announced August 2013.

Comments: accepted for publication in A&A

GASPS - a Herschel survey of gas and dust in Protoplanetary Disks: Summary and Initial Statistics

Authors: W. R. F. Dent, W. F. Thi, I. Kamp, J. P. Williams, F. Menard, S. Andrews, D. Ardila, G. Aresu, J-C. Augereau, D. Barrado y Navascues, S. Brittain, A. Carmona, D. Ciardi, W. Danchi, J. Donaldson, G. Duchene, C. Eiroa, D. Fedele, C. Grady, I. de Gregorio-Molsalvo, C. Howard, N. Huelamo, A. Krivov, J. Lebreton, R. Liseau , et al. (25 additional authors not shown)

Abstract: GASPS is a far-infrared line and continuum survey of protoplanetary and young debris disks using PACS on the Herschel Space Observatory. The survey includes [OI] at 63 microns, as well as 70, 100 and 160um continuum, with the brightest objects also studied in [OI]145um, [CII]157um, H2O and CO. Targets included T Tauri stars and debris disks in 7 nearby young associations, and a sample of isolated… ▽ More GASPS is a far-infrared line and continuum survey of protoplanetary and young debris disks using PACS on the Herschel Space Observatory. The survey includes [OI] at 63 microns, as well as 70, 100 and 160um continuum, with the brightest objects also studied in [OI]145um, [CII]157um, H2O and CO. Targets included T Tauri stars and debris disks in 7 nearby young associations, and a sample of isolated Herbig AeBe stars. The aim was to study the global gas and dust content in a wide disk sample, systemically comparing the results with models. In this paper we review the main aims, target selection and observing strategy. We show initial results, including line identifications, sources detected, and a first statistical study. [OI]63um was the brightest line in most objects, by a factor of ~10. Detection rates were 49%, including 100% of HAeBe stars and 43% of T Tauri stars. Comparison with published dust masses show a dust threshold for [OI]63um detection of ~1e-5 M_solar. Normalising to 140pc distance, 32% with mass 1e-6 - 1e-5 M_solar, and a small number with lower mass were also detected. This is consistent with moderate UV excess and disk flaring. In most cases, continuum and line emission is spatially and spectrally unresolved, suggesting disk emission. ~10 objects were resolved, likely from outflows. Detection rates in [OI]145um, [CII]157um and CO J=18-17 were 20-40%, but [CII] was not correlated with disk mass, suggesting it arises instead from a compact envelope. [OI] detection rates in T Tauri associations of ages 0.3-4Myr were ~50%. ~2 stars were detectable in associations of 5-20Myr, with no detections in associations of age >20Myr. Comparing with the total number of young stars, and assuming a ISM-like gas/dust ratio, this indicates that ~18% of stars retain a gas-rich disk of total mass >1M_Jupiter for 1-4Myr, 1-7% keep such disks for 5-10Myr, and none remain beyond 10-20Myr. △ Less

Submitted 2 June, 2013; originally announced June 2013.

Comments: Accepted for PASP

Star formation in the luminous YSO IRAS 18345-0641

Authors: Watson P. Varricatt, Holly S. Thomas, Chris J. Davis, Suzanne Ramsay, Malcolm J. Currie

Abstract: Aims: We aim to understand the star formation associated with the luminous young stellar object (YSO) IRAS 18345-0641 and to address the complications arising from unresolved multiplicity in interpreting the observations of massive star-forming regions. Methods: New infrared imaging data at sub-arcsec spatial resolution are obtained for IRAS 18345-0641. The new data are used along with mid- and… ▽ More Aims: We aim to understand the star formation associated with the luminous young stellar object (YSO) IRAS 18345-0641 and to address the complications arising from unresolved multiplicity in interpreting the observations of massive star-forming regions. Methods: New infrared imaging data at sub-arcsec spatial resolution are obtained for IRAS 18345-0641. The new data are used along with mid- and far-IR imaging data, and CO (J=3-2) spectral line maps downloaded from archives to identify the YSO and study the properties of the outflow. Available radiative-transfer models are used to analyze the spectral energy distribution (SED) of the YSO. Results: Previous tentative detection of an outflow in the H_2 (1-0) S1 line (2.122 micron) is confirmed through new and deeper observations. The outflow appears to be associated with a YSO discovered at infrared wavelengths. At high angular resolution, we see that the YSO is probably a binary. The CO (3--2) lines also reveal a well defined outflow. Nevertheless, the direction of the outflow deduced from the H_2 image does not agree with that mapped in CO. In addition, the age of the YSO obtained from the SED analysis is far lower than the dynamical time of the outflow. We conclude that this is probably caused by the contributions from a companion. High-angular-resolution observations at mid-IR through mm wavelengths are required to properly understand the complex picture of the star formation happening in this system, and generally in massive star forming regions, which are located at large distances from us. △ Less

Submitted 15 April, 2013; originally announced April 2013.

Comments: 11 pages, 11 figures, accepted for publication in Astronomy and Astrophysics

CRIRES-POP: A library of high resolution spectra in the near-infrared

Authors: T. Lebzelter, A. Seifahrt, S. Uttenthaler, S. Ramsay, H. Hartman, M. -F. Nieva, N. Przybilla, A. Smette, G. M. Wahlgren, B. Wolff, G. A. J. Hussain, H. U. Kaeufl, U. Seemann

Abstract: New instrumental capabilities and the wealth of astrophysical information extractable from the near-infrared wavelength region have led to a growing interest in the field of high resolution spectroscopy at 1-5 mu. We aim to provide a library of observed high-resolution and high signal-to-noise-ratio near-infrared spectra of stars of various types throughout the Hertzsprung-Russell diagram. This is… ▽ More New instrumental capabilities and the wealth of astrophysical information extractable from the near-infrared wavelength region have led to a growing interest in the field of high resolution spectroscopy at 1-5 mu. We aim to provide a library of observed high-resolution and high signal-to-noise-ratio near-infrared spectra of stars of various types throughout the Hertzsprung-Russell diagram. This is needed for the exploration of spectral features in this wavelength range and for comparison of reference targets with observations and models. High quality spectra were obtained using the CRIRES near-infrared spectrograph at ESO's VLT covering the range from 0.97 to 5.3 mu at high spectral resolution. Accurate wavelength calibration and correction for of telluric lines were performed by fitting synthetic transmission spectra for the Earth's atmosphere to each spectrum individually. We describe the observational strategy and the current status and content of the library which includes 13 objects. The first examples of finally reduced spectra are presented. This publication will serve as a reference paper to introduce the library to the community and explore the extensive amount of material. △ Less

Submitted 20 February, 2012; originally announced February 2012.

Comments: accepted for publication in A&A; see also the project webpage http://www.univie.ac.at/crirespop

Gas in Protoplanetary Discs (GASPS) 1. First results

Authors: G. S. Mathews, W. R. F. Dent, J. P. Williams, C. D. Howard, G. Meeus, B. Riaz, A. Roberge, G. Sandell, B. Vandenbussche, G. Duchêne, I. Kamp, F. Ménard, B. Montesinos, C. Pinte, W. F. Thi, P. Woitke, J. M. Alacid, S. M. Andrews, D. R. Ardila, G. Aresu, J. C. Augereau, D. Barrado, S. Brittain, D. R. Ciardi, W. Danchi , et al. (28 additional authors not shown)

Abstract: Context - Circumstellar discs are ubiquitous around young stars, but rapidly dissipate their gas and dust on timescales of a few Myr. The Herschel space observatory allows for the study of the warm disc atmosphere, using far-infrared spectroscopy to measure gas content and excitation conditions, and far-IR photometry to constrain the dust distribution. Aims - We aim to detect and characterize the… ▽ More Context - Circumstellar discs are ubiquitous around young stars, but rapidly dissipate their gas and dust on timescales of a few Myr. The Herschel space observatory allows for the study of the warm disc atmosphere, using far-infrared spectroscopy to measure gas content and excitation conditions, and far-IR photometry to constrain the dust distribution. Aims - We aim to detect and characterize the gas content of circumstellar discs in four targets as part of the Herschel science demonstration phase. Methods - We carried out sensitive medium resolution spectroscopy and high sensitivity photometry at lambda ~60-190 micron using the Photodetector Array Camera and Spectrometer instrument on the Herschel space observatory. Results - We detect [OI] 63 micron emission from the young stars HD 169142, TW Hydrae, and RECX 15, but not HD 181327. No other lines, including [CII] 158 and [OI] 145, are significantly detected. All four stars are detected in photometry at 70 and 160 micron. Extensive models are presented in associated papers. △ Less

Submitted 20 May, 2010; originally announced May 2010.

Comments: Comments: 5 pages, 2 Postscript figures, accepted for publication in the A&A Herschel special issue

Herschel-PACS observation of the 10 Myr old T Tauri disk TW Hya: Constraining the disk gas mass

Authors: W. F. Thi, G. Mathews, F. Ménard, P. Woitke, G. Meeus, P. Riviere-Marichalar, C. Pinte, C. D. Howard, A. Roberge, G. Sandell, I. Pascucci, B. Riaz, C. A. Grady, W. R. F. Dent, I. Kamp, G. Duchêne, J. C. Augereau, E. Pantin, B. Vandenbussche, I. Tilling, J. P. Williams, C. Eiroa, D. Barrado, J. M. Alacid, S. Andrews , et al. (27 additional authors not shown)

Abstract: Planets are formed in disks around young stars. With an age of ~10 Myr, TW Hya is one of the nearest T Tauri stars that is still surrounded by a relatively massive disk. In addition a large number of molecules has been found in the TW Hya disk, making TW Hya the perfect test case in a large survey of disks with Herschel-PACS to directly study their gaseous component. We aim to constrain the gas an… ▽ More Planets are formed in disks around young stars. With an age of ~10 Myr, TW Hya is one of the nearest T Tauri stars that is still surrounded by a relatively massive disk. In addition a large number of molecules has been found in the TW Hya disk, making TW Hya the perfect test case in a large survey of disks with Herschel-PACS to directly study their gaseous component. We aim to constrain the gas and dust mass of the circumstellar disk around TW Hya. We observed the fine-structure lines of [OI] and [CII] as part of the Open-time large program GASPS. We complement this with continuum data and ground-based 12CO 3-2 and 13CO 3-2 observations. We simultaneously model the continuum and the line fluxes with the 3D Monte-Carlo code MCFOST and the thermo-chemical code ProDiMo to derive the gas and dust masses. We detect the [OI] line at 63 micron. The other lines that were observed, [OI] at 145 micron and [CII] at 157 micron, are not detected. No extended emission has been found. Preliminary modeling of the photometric and line data assuming [12CO]/[13CO]=69 suggests a dust mass for grains with radius < 1 mm of ~1.9 times 10^-4 Msun (total solid mass of 3 times 10^-3 Msun) and a gas mass of (0.5--5) times 10^-3 Msun. The gas-to-dust mass may be lower than the standard interstellar value of 100. △ Less

Submitted 20 May, 2010; originally announced May 2010.

Comments: 6 pages, 6 figures, accepted for publication in the A&A Herschel special issue

Gas in the protoplanetary disc of HD 169142: Herschel's view

Authors: G. Meeus, C. Pinte, P. Woitke, B. Montesinos, I. Mendigutía, P. Riviere-Marichalar, C. Eiroa, G. S. Mathews, B. Vandenbussche, C. D. Howard, A. Roberge, G. Sandell, G. Duchêne, F. Ménard, C. A. Grady, W. R. F. Dent, I. Kamp, J. C. Augereau, W. F. Thi, I. Tilling, J. M. Alacid, S. Andrews, D. R. Ardila, G. Aresu, D. Barrado , et al. (28 additional authors not shown)

Abstract: In an effort to simultaneously study the gas and dust components of the disc surrounding the young Herbig Ae star HD 169142, we present far-IR observations obtained with the PACS instrument onboard the Herschel Space Observatory. This work is part of the Open Time Key Project GASPS, which is aimed at studying the evolution of protoplanetary discs. To constrain the gas properties in the outer disc,… ▽ More In an effort to simultaneously study the gas and dust components of the disc surrounding the young Herbig Ae star HD 169142, we present far-IR observations obtained with the PACS instrument onboard the Herschel Space Observatory. This work is part of the Open Time Key Project GASPS, which is aimed at studying the evolution of protoplanetary discs. To constrain the gas properties in the outer disc, we observed the star at several key gas-lines, including [OI] 63.2 and 145.5 micron, [CII] 157.7 micron, CO 72.8 and 90.2 micron, and o-H2O 78.7 and 179.5 micron. We only detect the [OI] 63.2 micron line in our spectra, and derive upper limits for the other lines. We complement our data set with PACS photometry and 12/13CO data obtained with the Submillimeter Array. Furthermore, we derive accurate stellar parameters from optical spectra and UV to mm photometry. We model the dust continuum with the 3D radiative transfer code MCFOST and use this model as an input to analyse the gas lines with the thermo-chemical code ProDiMo. Our dataset is consistent with a simple model in which the gas and dust are well-mixed in a disc with a continuous structure between 20 and 200 AU, but this is not a unique solution. Our modelling effort allows us to constrain the gas-to-dust mass ratio as well as the relative abundance of the PAHs in the disc by simultaneously fitting the lines of several species that originate in different regions. Our results are inconsistent with a gas-poor disc with a large UV excess; a gas mass of 5.0 +/- 2.0 times 10^(-3) Msun is still present in this disc, in agreement with earlier CO observations. △ Less

Submitted 20 May, 2010; originally announced May 2010.

Comments: 5 pages, 3 Postscript figures, accepted for publication in the A&A Herschel special issue

The Herschel view of Gas in Protoplanetary Systems (GASPS). First comparisons with a large grid of models

Authors: C. Pinte, P. Woitke, F. Menard, G. Duchene, I. Kamp, G. Meeus, G. S. Mathews, C. D. Howard, C. A. Grady, W. -F. Thi, I. Tilling, J. -C. Augereau, W. R. F. Dent, J. M. Alacid, S. Andrews, D. R. Ardila, G. Aresu, D. Barrado, S. Brittain, D. R. Ciardi, W. Danchi, C. Eiroa, D. Fedele, I. de Gregorio-Monsalvo, A. Heras , et al. (27 additional authors not shown)

Abstract: The Herschel GASPS Key Program is a survey of the gas phase of protoplanetary discs, targeting 240 objects which cover a large range of ages, spectral types, and disc properties. To interpret this large quantity of data and initiate self-consistent analyses of the gas and dust properties of protoplanetary discs, we have combined the capabilities of the radiative transfer code MCFOST with the gas t… ▽ More The Herschel GASPS Key Program is a survey of the gas phase of protoplanetary discs, targeting 240 objects which cover a large range of ages, spectral types, and disc properties. To interpret this large quantity of data and initiate self-consistent analyses of the gas and dust properties of protoplanetary discs, we have combined the capabilities of the radiative transfer code MCFOST with the gas thermal balance and chemistry code ProDiMo to compute a grid of 300 000 disc models (DENT). We present a comparison of the first Herschel/GASPS line and continuum data with the predictions from the DENT grid of models. Our objective is to test some of the main trends already identified in the DENT grid, as well as to define better empirical diagnostics to estimate the total gas mass of protoplanetary discs. Photospheric UV radiation appears to be the dominant gas-heating mechanism for Herbig stars, whereas UV excess and/or X-rays emission dominates for T Tauri stars. The DENT grid reveals the complexity in the analysis of far-IR lines and the difficulty to invert these observations into physical quantities. The combination of Herschel line observations with continuum data and/or with rotational lines in the (sub-)millimetre regime, in particular CO lines, is required for a detailed characterisation of the physical and chemical properties of circumstellar discs. △ Less

Submitted 20 May, 2010; originally announced May 2010.

Comments: 5 pages, 4 figures, accepted for publication in the A&A Herschel special issue

A near IR imaging survey of intermediate and high-mass young stellar outflow candidates

Authors: Watson P. Varricatt, Christopher J. Davis, Suzanne Ramsay, Stephen P. Todd

Abstract: We have carried out a near-infrared imaging survey of luminous young stellar outflow candidates using the United Kingdom Infrared Telescope. Observations were obtained in the broad band K (2.2 mu) and through narrow band filters at the wavelengths of H_2 v=1--0 S(1) (2.1218 mu) and Br gamma (2.166 mu) lines. Fifty regions were imaged with a field of view of 2.2 X 2.2 arcmin^2. Several young embe… ▽ More We have carried out a near-infrared imaging survey of luminous young stellar outflow candidates using the United Kingdom Infrared Telescope. Observations were obtained in the broad band K (2.2 mu) and through narrow band filters at the wavelengths of H_2 v=1--0 S(1) (2.1218 mu) and Br gamma (2.166 mu) lines. Fifty regions were imaged with a field of view of 2.2 X 2.2 arcmin^2. Several young embedded clusters are unveiled in our near-infrared images. 76% of the objects exhibit H_2 emission and 50% or more of the objects exhibit aligned H_2 emission features suggesting collimated outflows, many of which are new detections. These observations suggest that disk accretion is probably the leading mechanism in the formation of stars, at least up to late O spectral types. The young stellar objects responsible for many of these outflows are positively identified in our images based on their locations with respect to the outflow lobes, 2MASS colours and association with MSX, IRAS, millimetre and radio sources. The close association of molecular outflows detected in CO with the H_2 emission features produced by shock excitation by jets from the young stellar objects suggests that the outflows from these objects are jet-driven. Towards strong radio emitting sources, H_2 jets were either not detected or were weak when detected, implying that most of the accretion happens in the pre-UCHII phase; accretion and outflows are probably weak when the YSO has advanced to its UCHII stage. △ Less

Submitted 15 January, 2010; originally announced January 2010.

Comments: 64 pages, 53 figures, Accepted for publication in the MNRAS

Journal ref: MNRAS 404 (2010) 661-720