Showing 1–50 of 80 results for author: North, P

Measuring data types

Authors: Lukas Mulder, Paige Randall North, Maximilien Péroux

Abstract: In this article, we combine Sweedler's classic theory of measuring coalgebras -- by which $k$-algebras are enriched in $k$-coalgebras for $k$ a field -- with the theory of W-types -- by which the categorical semantics of inductive data types in functional programming languages are understood. In our main theorem, we find that under some hypotheses, algebras of an endofunctor are enriched in coalge… ▽ More In this article, we combine Sweedler's classic theory of measuring coalgebras -- by which $k$-algebras are enriched in $k$-coalgebras for $k$ a field -- with the theory of W-types -- by which the categorical semantics of inductive data types in functional programming languages are understood. In our main theorem, we find that under some hypotheses, algebras of an endofunctor are enriched in coalgebras of the same endofunctor, and we find polynomial endofunctors provide many interesting examples of this phenomenon. We then generalize the notion of initial algebra of an endofunctor using this enrichment, thus generalizing the notion of W-type. This article is an extended version of arXiv:2303.16793, it adds expository introductions to the original theories of measuring coalgebras and W-types along with some improvements to the main theory and many explicitly worked examples. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 67 pages

MSC Class: Primary: 18C50; 68Q25; 16T15. Secondary: 18D20; 03B70

Polarimetry of the Ly-alpha envelope of the radio-quiet quasar SDSS J124020.91+145535.6

Authors: P. North, M. Hayes, M. Millon, A. Verhamme, M. Trebitsch, J. Blaizot, F. Courbin, D. Chelouche

Abstract: The radio-quiet quasar SDSS J1240+1455 lies at a redshift of z=3.11, is surrounded by a Ly-alpha blob (LAB), and is absorbed by a proximate damped Ly-alpha system. In order to better define the morphology of the blob and determine its emission mechanism, we gathered deep narrow-band images isolating the Ly-alpha line of this object in linearly polarized light. We provide a deep intensity image of… ▽ More The radio-quiet quasar SDSS J1240+1455 lies at a redshift of z=3.11, is surrounded by a Ly-alpha blob (LAB), and is absorbed by a proximate damped Ly-alpha system. In order to better define the morphology of the blob and determine its emission mechanism, we gathered deep narrow-band images isolating the Ly-alpha line of this object in linearly polarized light. We provide a deep intensity image of the blob, showing a filamentary structure extending up to 16'' (or ~122 physical kpc) in diameter. No significant polarization signal could be extracted from the data, but 95% probability upper limits were defined through simulations. They vary between ~3% in the central 0.75'' disk (after subtraction of the unpolarized quasar continuum) and ~10% in the 3.8-5.5'' annulus. The low polarization suggests that the Ly-alpha photons are emitted mostly in situ, by recombination and de-excitation in a gas largely ionized by the quasar ultraviolet light, rather than by a central source and scattered subsequently by neutral hydrogen gas. This blob shows no detectable polarization signal, contrary to LAB1, a brighter and more extended blob that is not related to the nearby active galactic nucleus (AGN) in any obvious way, and where a significant polarization signal of about 18% was detected. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Comments: 15 pages, 8 figures; accepted for publication in A&A

Insights From Univalent Foundations: A Case Study Using Double Categories

Authors: Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North

Abstract: Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional programming, and semantics. Certain objects naturally exhibit two classes of morphisms, leading to the concept of a double category, which has found applications… ▽ More Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional programming, and semantics. Certain objects naturally exhibit two classes of morphisms, leading to the concept of a double category, which has found applications in computing science (e.g., ornaments, profunctor optics, denotational semantics). The emergence of diverse categorical structures motivated a unified framework for category theory. However, unlike other mathematical objects, classification of categorical structures faces challenges due to various relevant equivalences. This poses significant challenges when pursuing the formalization of categories and restricts the applicability of powerful techniques, such as transport along equivalences. This work contends that univalent foundations offers a suitable framework for classifying different categorical structures based on desired notions of equivalences, and remedy the challenges when formalizing categories. The richer notion of equality in univalent foundations makes the equivalence of a categorical structure an inherent part of its structure. We concretely apply this analysis to double categorical structures. We characterize and formalize various definitions in Coq UniMath, including (pseudo) double categories and double bicategories, up to chosen equivalences. We also establish univalence principles, making chosen equivalences part of the double categorical structure, analyzing strict double setcategories (invariant under isomorphisms), pseudo double setcategories (invariant under isomorphisms), univalent pseudo double categories (invariant under vertical equivalences) and univalent double bicategories (invariant under gregarious equivalences). △ Less

Submitted 7 February, 2024; originally announced February 2024.

Report number: MPIM-Bonn-2024

Univalent Double Categories

Authors: Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North

Abstract: Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also "morphisms", which capture how different objects interact with each other. Category theory has found many applications in mathematics and in computer science, for examp… ▽ More Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also "morphisms", which capture how different objects interact with each other. Category theory has found many applications in mathematics and in computer science, for example in functional programming. Double categories are a natural generalization of categories which incorporate the data of two separate classes of morphisms, allowing a more nuanced representation of relationships and interactions between objects. Similar to category theory, double categories have been successfully applied to various situations in mathematics and computer science, in which objects naturally exhibit two types of morphisms. Examples include categories themselves, but also lenses, petri nets, and spans. While categories have already been formalized in a variety of proof assistants, double categories have received far less attention. In this paper we remedy this situation by presenting a formalization of double categories via the proof assistant Coq, relying on the Coq UniMath library. As part of this work we present two equivalent formalizations of the definition of a double category, an unfolded explicit definition and a second definition which exhibits excellent formal properties via 2-sided displayed categories. As an application of the formal approach we establish a notion of univalent double category along with a univalence principle: equivalences of univalent double categories coincide with their identities △ Less

Submitted 13 October, 2023; originally announced October 2023.

Report number: MPIM-Bonn-2024

Coinductive control of inductive data types

Authors: Paige Randall North, Maximilien Péroux

Abstract: We combine the theory of inductive data types with the theory of universal measurings. By doing so, we find that many categories of algebras of endofunctors are actually enriched in the corresponding category of coalgebras of the same endofunctor. The enrichment captures all possible partial algebra homomorphisms, defined by measuring coalgebras. Thus this enriched category carries more informatio… ▽ More We combine the theory of inductive data types with the theory of universal measurings. By doing so, we find that many categories of algebras of endofunctors are actually enriched in the corresponding category of coalgebras of the same endofunctor. The enrichment captures all possible partial algebra homomorphisms, defined by measuring coalgebras. Thus this enriched category carries more information than the usual category of algebras which captures only total algebra homomorphisms. We specify new algebras besides the initial one using a generalization of the notion of initial algebra. △ Less

Submitted 20 July, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: 22 pages, to appear in 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)

HD 213258: a new rapidly oscillating, super-slowly rotating, strongly magnetic Ap star in a spectroscopic binary

Authors: Gautier Mathys, Viktor Khalack, Oleksandr Kobzar, Francis LeBlanc, Pierre L. North

Abstract: We report about HD 213258, an Ap star that we recently identified as presenting a unique combination of rare, remarkable properties. Our study of this star is based on ESPaDOnS Stokes I and V data obtained at 7 epochs spanning a time interval slightly shorter than 2 years, on TESS data, and on radial velocity measurements from the CORAVEL data base. We confirm that HD 213258 is definitely an Ap st… ▽ More We report about HD 213258, an Ap star that we recently identified as presenting a unique combination of rare, remarkable properties. Our study of this star is based on ESPaDOnS Stokes I and V data obtained at 7 epochs spanning a time interval slightly shorter than 2 years, on TESS data, and on radial velocity measurements from the CORAVEL data base. We confirm that HD 213258 is definitely an Ap star. We found that, in its spectrum, the Fe II λ6149.2 Å line is resolved into its two magnetically split components. The mean magnetic field modulus of HD 213258, <B> ~ 3.8 kG does not show significant variations over ~2 years. Comparing our mean longitudinal field determinations with a couple of measurements from the literature, we show that the stellar rotation period must likely be of the order of 50 years, with a reversal of the field polarity. Moreover, HD 213258 is a rapidly oscillating Ap (roAp) star, in which high overtone pulsations with a period of 7.58 min are detected. Finally, we confirm that HD 213258 has a mean radial velocity exceeding (in absolute value) that of at least 99% of the Ap stars. The radial velocity shows low amplitude variations, which suggests that the star is a single-line spectroscopic binary. It is also a known astrometric binary. While its orbital elements remain to be determined, its orbital period likely is one of the shortest known for a binary roAp star. Its secondary is close to the borderline between stellar and substellar objects. There is a significant probability that it may be a brown dwarf. While most of the above-mentioned properties, taken in isolation, are observed in a small fraction of the whole population of Ap stars, the probability that a single star possesses all of them is extremely low. This makes HD 213258 an exceptionally interesting object that deserves to be studied in detail in the future. △ Less

Submitted 24 December, 2022; originally announced December 2022.

Comments: Accepted for publication in A&A; 6 pages, 4 figures

Journal ref: A&A 670, A72 (2023)

HD 60431, the CP2 star with the shortest rotational period -- Physical parameters and period analysis

Authors: Z. Mikulasek, E. Semenko, E. Paunzen, S. Huemmerich, P. L. North, K. Bernhard, J. Krticka, J. Janik

Abstract: CP2 stars show periodic photometric, spectroscopic, and magnetic variations with the rotational period. They are generally slow rotators, with rotational periods exceeding half a day, except for the late B-type star HD 60431, which has an unusually short rotational period of 0.4755 days. As slow rotation is deemed a necessary criterion for the establishment of chemical peculiarities, this characte… ▽ More CP2 stars show periodic photometric, spectroscopic, and magnetic variations with the rotational period. They are generally slow rotators, with rotational periods exceeding half a day, except for the late B-type star HD 60431, which has an unusually short rotational period of 0.4755 days. As slow rotation is deemed a necessary criterion for the establishment of chemical peculiarities, this characteristic renders HD 60431 a special object that might offer valuable insight into, and constraints on, the formation and evolution of CP2 stars. Our study aims at analysing the light variability, deriving atmospheric abundances, and determining detailed physical parameters of HD 60431 to confirm its status as the CP2 star with the shortest known rotational period, with special emphasis on the rotational period evolution. Photometric indices and high-resolution spectroscopy were employed to derive physical parameters, evolutionary status, and atmospheric abundances of our target star. A light variability study was carried out using combined sets of photometric data from ground- and space-based facilities. A circularly polarised spectrum was employed to check the presence of a longitudinal magnetic field in the star. With an age of only 10 Myr, HD 60431 is situated close to the zero-age main sequence and a member of the open cluster NGC 2547 in the Vela OB2 complex. We confirm its status as a classical late B-type CP2 star showing strong overabundances of Mg (1.8 dex), Si (1.9 dex), Ca (1.6 dex), Ti (2.2 dex), and Fe (1.8 dex). No conclusive evidence for the presence of a strong magnetic field was found in the available spectroscopic data. The available photometric time series data confirm the short rotational period and indicate a slight secular increase of the rotational period of P' = 7.5(6) ms/yr. HD 60431 is indeed the CP2 star with the shortest known rotational period. △ Less

Submitted 25 September, 2022; originally announced September 2022.

Comments: 13 pages, accepted for Astronomy & Astrophysics

Journal ref: A&A 668, A159 (2022)

Univalent foundations and the equivalence principle

Authors: Benedikt Ahrens, Paige Randall North

Abstract: In this paper, we explore the 'equivalence principle' (EP): roughly, statements about mathematical objects should be invariant under an appropriate notion of equivalence for the kinds of objects under consideration. In set theoretic foundations, EP may not always hold: for instance, the statement '1 \in N' is not invariant under isomorphism of sets. In univalent foundations, on the other hand, EP… ▽ More In this paper, we explore the 'equivalence principle' (EP): roughly, statements about mathematical objects should be invariant under an appropriate notion of equivalence for the kinds of objects under consideration. In set theoretic foundations, EP may not always hold: for instance, the statement '1 \in N' is not invariant under isomorphism of sets. In univalent foundations, on the other hand, EP has been proven for many mathematical structures. We first give an overview of earlier attempts at designing foundations that satisfy EP. We then describe how univalent foundations validates EP. △ Less

Submitted 3 February, 2022; originally announced February 2022.

Journal ref: In: Centrone S., Kant D., Sarikaya D. (eds) Reflections on the Foundations of Mathematics. Synthese Library (Studies in Epistemology, Logic, Methodology, and Philosophy of Science), vol 407. 2019. Springer, Cham

Bicategorical type theory: semantics and syntax

Authors: Benedikt Ahrens, Paige Randall North, Niels van der Weide

Abstract: We develop semantics and syntax for bicategorical type theory. Bicategorical type theory features contexts, types, terms, and directed reductions between terms. This type theory is naturally interpreted in a class of structured bicategories. We start by developing the semantics, in the form of comprehension bicategories. Examples of comprehension bicategories are plentiful; we study both specific… ▽ More We develop semantics and syntax for bicategorical type theory. Bicategorical type theory features contexts, types, terms, and directed reductions between terms. This type theory is naturally interpreted in a class of structured bicategories. We start by developing the semantics, in the form of comprehension bicategories. Examples of comprehension bicategories are plentiful; we study both specific examples as well as classes of examples constructed from other data. From the notion of comprehension bicategory, we extract the syntax of bicategorical type theory, that is, judgment forms and structural inference rules. We prove soundness of the rules by giving an interpretation in any comprehension bicategory. The semantic aspects of our work are fully checked in the Coq proof assistant, based on the UniMath library. △ Less

Submitted 12 October, 2023; v1 submitted 25 January, 2022; originally announced January 2022.

Comments: v2: final version for LICS 2022. v3: long version - for detailed log, see Section 1.5 Version History. v4: Final version to be published in MSCS

Journal ref: v2: Logic in Computer Science (LICS) 2022. v4: Mathematical Structures in Computer Science, CUP

Algebraic Presentations of Dependent Type Theories

Authors: Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North, Egbert Rijke

Abstract: C-systems were defined by Cartmell as models of generalized algebraic theories. B-systems were defined by Voevodsky in his quest to formulate and prove an initiality conjecture for type theories. They play a crucial role in Voevodsky's construction of a syntactic C-system from a term monad. In this work, we construct an equivalence between the category of C-systems and the category of B-systems, t… ▽ More C-systems were defined by Cartmell as models of generalized algebraic theories. B-systems were defined by Voevodsky in his quest to formulate and prove an initiality conjecture for type theories. They play a crucial role in Voevodsky's construction of a syntactic C-system from a term monad. In this work, we construct an equivalence between the category of C-systems and the category of B-systems, thus proving a conjecture by Voevodsky. We construct this equivalence as the restriction of an equivalence between more general structures, called CE-systems and E-systems, respectively. To this end, we identify C-systems and B-systems as "stratified" CE-systems and E-systems, respectively; that is, systems whose contexts are built iteratively via context extension, starting from the empty context. △ Less

Submitted 20 September, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: v2: changed title, added some examples

The Univalence Principle

Authors: Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

Abstract: The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a non-algebraic and space-based style, as well as models of higher-order theories such as topological spaces. In particular, we formulate a general definition of… ▽ More The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a non-algebraic and space-based style, as well as models of higher-order theories such as topological spaces. In particular, we formulate a general definition of indiscernibility for objects of any such structure, and a corresponding univalence condition that generalizes Rezk's completeness condition for Segal spaces and ensures that all equivalences of structures are levelwise equivalences. Our work builds on Makkai's First-Order Logic with Dependent Sorts, but is expressed in Voevodsky's Univalent Foundations (UF), extending previous work on the Structure Identity Principle and univalent categories in UF. This enables indistinguishability to be expressed simply as identification, and yields a formal theory that is interpretable in classical homotopy theory, but also in other higher topos models. It follows that Univalent Foundations is a fully equivalence-invariant foundation for higher-categorical mathematics, as intended by Voevodsky. △ Less

Submitted 29 August, 2022; v1 submitted 11 February, 2021; originally announced February 2021.

Comments: A short version of this book is available as arXiv:2004.06572. v2: added references and some details on morphisms of premonoidal categories; v3: added proof that exo-nat is sharp if cofibrant, improved presentation following advice from referee

MSC Class: 18N99; 03B38; 03G30; 55U35

Quantifying vegetation biophysical variables from imaging spectroscopy data: a review on retrieval methods

Authors: Jochem Verrelst, Zbyněk Malenovský, Christiaan Van der Tol, Gustau Camps-Valls, Jean-Philippe Gastellu-Etchegorry, Philip Lewis, Peter North, José Moreno

Abstract: An unprecedented spectroscopic data stream will soon become available with forthcoming Earth-observing satellite missions equipped with imaging spectroradiometers. This data stream will open up a vast array of opportunities to quantify a diversity of biochemical and structural vegetation properties. The processing requirements for such large data streams require reliable retrieval techniques enabl… ▽ More An unprecedented spectroscopic data stream will soon become available with forthcoming Earth-observing satellite missions equipped with imaging spectroradiometers. This data stream will open up a vast array of opportunities to quantify a diversity of biochemical and structural vegetation properties. The processing requirements for such large data streams require reliable retrieval techniques enabling the spatiotemporally explicit quantification of biophysical variables. With the aim of preparing for this new era of Earth observation, this review summarizes the state-of-the-art retrieval methods that have been applied in experimental imaging spectroscopy studies inferring all kinds of vegetation biophysical variables. Identified retrieval methods are categorized into: (1) parametric regression, including vegetation indices, shape indices, and spectral transformations; (2) non-parametric regression, including linear and non-linear machine learning regression algorithms; (3) physically-based, including inversion of radiative transfer models (RTMs) using numerical optimization and look-up-table approaches; and (4) hybrid regression methods, which combine RTM simulations with machine learning regression methods. For each of these categories, an overview of widely applied methods with application to mapping vegetation properties is given. In view of processing imaging spectroscopy data, a critical aspect involves the challenge of dealing with spectral multicollinearity. The ability to provide robust estimates, retrieval uncertainties, and acceptable retrieval processing speed are other important aspects in view of operational processing. Recommendations towards new-generation spectroscopy-based processing chains for the operational production of biophysical variables are given. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Journal ref: Surv Geophys 40, 589--629 (2019)

A Higher Structure Identity Principle

Authors: Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

Abstract: The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, identifications of structures coincide with isomorphisms. We prove a version of this principle for a wide range of higher-categorical structures, adapting FOLDS-signatures to specify a… ▽ More The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, identifications of structures coincide with isomorphisms. We prove a version of this principle for a wide range of higher-categorical structures, adapting FOLDS-signatures to specify a general class of structures, and using two-level type theory to treat all categorical dimensions uniformly. As in the previously known case of 1-categories (which is an instance of our theory), the structures themselves must satisfy a local univalence principle, stating that identifications coincide with "isomorphisms" between elements of the structure. Our main technical achievement is a definition of such isomorphisms, which we call "indiscernibilities", using only the dependency structure rather than any notion of composition. △ Less

Submitted 23 June, 2020; v1 submitted 14 April, 2020; originally announced April 2020.

Comments: Long version of publication in LICS 2020 (DOI: 10.1145/3373718.3394755); v2: added sections "Axioms and Theories" and "Version History", other minor changes; v3: added examples

Spectroscopic orbits of three dwarf barium stars

Authors: P. L. North, A. Jorissen, A. Escorza, B. Miszalski, J. Mikolajewska

Abstract: Barium stars are thought to result from binary evolution in systems wide enough to allow the more massive component to reach the asymptotic giant branch and eventually become a CO white dwarf. While Ba stars were initially known only among giant or subgiant stars, some were subsequently discovered also on the main sequence (and known as dwarf Ba stars). We provide here the orbital parameters of th… ▽ More Barium stars are thought to result from binary evolution in systems wide enough to allow the more massive component to reach the asymptotic giant branch and eventually become a CO white dwarf. While Ba stars were initially known only among giant or subgiant stars, some were subsequently discovered also on the main sequence (and known as dwarf Ba stars). We provide here the orbital parameters of three dwarf Ba stars, completing the sample of 27 orbits published recently by Escorza et al. with these three southern targets. We show that these new orbital parameters are consistent with those of other dwarf Ba stars. △ Less

Submitted 30 January, 2020; originally announced January 2020.

Comments: 15 pages, 5 figures, to be published in The Observatory

Homogeneity in the early chemical evolution of the Sextans dwarf Spheroidal galaxy

Authors: R. Lucchesi, C. Lardo, F. Primas, P. Jablonka, P. North, G. Battaglia, E. Starkenburg, V. Hill, M. Irwin, P. Francois, M. Shetrone, E. Tolstoy, K. Venn

Abstract: We present the high-resolution spectroscopic analysis of two new extremely metal-poor stars (EMPS) candidates in the dwarf spheroidal galaxy Sextans. These targets were pre-selected from medium resolution spectra centered around the Ca II triplet in the near-infrared and followed-up at higher resolution with VLT/UVES. We confirm their low metallicities with [Fe/H]=-2.95 and [Fe/H]=-3.01, placing t… ▽ More We present the high-resolution spectroscopic analysis of two new extremely metal-poor stars (EMPS) candidates in the dwarf spheroidal galaxy Sextans. These targets were pre-selected from medium resolution spectra centered around the Ca II triplet in the near-infrared and followed-up at higher resolution with VLT/UVES. We confirm their low metallicities with [Fe/H]=-2.95 and [Fe/H]=-3.01, placing them among the most metal-poor stars known in Sextans. The abundances of 18 elements, including C, Na, the alpha-elements, Fe-peak, and neutron capture elements, are determined. In particular, we present the first measurements of Zn in a classical dwarf at extremely low metallicity. There has been previous hints of a large scatter in the abundance ratios of the Sextans stellar population around [Fe/H] -3 when compared to other galaxies. We took the opportunity of this work to re-analyse the full sample of EMPS and find a Milky-Way -like plateau and a normal dispersion at fixed metallicity. △ Less

Submitted 21 September, 2020; v1 submitted 29 January, 2020; originally announced January 2020.

Comments: Accepted for publication in A&A. 14 pages, 10 figures

Journal ref: A&A 644, A75 (2020)

The chemical evolution of the dwarf Spheroidal galaxy Sextans

Authors: R. Theler, P. Jablonka, R. Lucchesi, C. Lardo, P. North, M. Irwin, G. Battaglia, V. Hill, E. Tolstoy, K. Venn, A. Helmi, A. Kaufer, F. Primas, M. Shetrone

Abstract: We present the analysis of the FLAMES dataset targeting the central 25 arcmin region of the Sextans dSph. This dataset is the third major part of the high resolution spectroscopic section of the ESO large program 171.B-0588(A) obtained by the Dwarf galaxy Abundances and Radial-velocities Team (DART). Our sample is composed of red giant branch stars down to the level of the horizontal branch in Sex… ▽ More We present the analysis of the FLAMES dataset targeting the central 25 arcmin region of the Sextans dSph. This dataset is the third major part of the high resolution spectroscopic section of the ESO large program 171.B-0588(A) obtained by the Dwarf galaxy Abundances and Radial-velocities Team (DART). Our sample is composed of red giant branch stars down to the level of the horizontal branch in Sextans. It allows to address questions related to both stellar nucleosynthesis and galaxy evolution. We provide metallicities for 81 stars, which cover the wide [Fe/H]=$-$3.2 to $-$1.5 dex range. The abundances of 10 other elements are derived: Mg, Ca, Ti, Sc, Cr, Mn, Co, Ni, Ba, and Eu. Despite its small mass, Sextans is a chemically evolved system, with evidence for the contribution of core-collapse and Type Ia supernovae as well as low metallicity AGBs. This new FLAMES sample offers a sufficiently large number of stars with chemical abundances derived at high accuracy to firmly establish the existence of a plateau in [$α$/Fe] at $\sim 0.4$ dex, followed by a decrease above [Fe/H]$\sim-2$ dex. This is in stark similarity with the Fornax and Sculptor dSphs despite their very different masses and star formation histories. This suggests that these three galaxies had very similar star formation efficiencies in their early formation phases, probably driven by the early accretion of smaller galactic fragments, until the UV-background heating impacted them in different ways. The parallel between the Sculptor and Sextans dSph is also striking when considering Ba and Eu. Finally, as to the iron-peak elements, the decline of [Co/Fe] and [Ni/Fe] above [Fe/H]$\sim -2$ implies that the production yields of Ni and Co in SNeIa is lower than that of Fe. The decrease in [Ni/Fe] favours models of SNeIa based on the explosion of double degenerate sub-Chandrasekhar mass white dwarfs. △ Less

Submitted 9 June, 2020; v1 submitted 19 November, 2019; originally announced November 2019.

Comments: Accepted for publication in A&A. All tables included

The Pristine survey X: a large population of low-metallicity stars permeates the Galactic disk

Authors: Federico Sestito, Nicolas F. Martin, Else Starkenburg, Anke Arentsen, Rodrigo A. Ibata, Nicolas Longeard, Collin Kielty, Kristopher Youakim, Kim A. Venn, David S. Aguado, Raymond G. Carlberg, Jonay I. Gonzalez Hernandez, Vanessa Hill, Pascale Jablonka, Georges Kordopatis, Khyati Malhan, Julio F. Navarro, Ruben Sanchez-Janssen, Guillame Thomas, Eline Tolstoy, Thomas G. Wilson, Pedro Alonso Palicio, Spencer Bialek, Rafael Garcia-Dias, Romain Lucchesi , et al. (4 additional authors not shown)

Abstract: The orbits of the least chemically enriched stars open a window on the formation of our Galaxy when it was still in its infancy. The common picture is that these low-metallicity stars are distributed as an isotropic, pressure-supported component since these stars were either accreted from the early building blocks of the assembling Milky Way, or were later brought by the accretion of faint dwarf g… ▽ More The orbits of the least chemically enriched stars open a window on the formation of our Galaxy when it was still in its infancy. The common picture is that these low-metallicity stars are distributed as an isotropic, pressure-supported component since these stars were either accreted from the early building blocks of the assembling Milky Way, or were later brought by the accretion of faint dwarf galaxies. Combining the metallicities and radial velocities from the Pristine and LAMOST surveys and Gaia DR2 parallaxes and proper motions for an unprecedented large and unbiased sample of very metal-poor stars at $[Fe/H]\leq-2.5$ we show that this picture is incomplete. This sample shows strong statistical evidence (at the $5.0σ$ level) of asymmetry in their kinematics, favouring prograde motion. Moreover, we find that $31\%$ of the stars that currently reside in the disk do not venture outside of the disk plane throughout their orbit. The discovery of this population implies that a significant fraction of stars with iron abundances $[Fe/H]\leq-2.5$ formed within or concurrently with the Milky Way disk and that the history of the disk was quiet enough to allow them to retain their disk-like orbital properties. △ Less

Submitted 19 November, 2019; originally announced November 2019.

Comments: Submitted to MNRAS letter, 5 pages with 1 figure. Appendices A and B with 3 figures

A Hurewicz Model Structure for Directed Topology

Authors: Sanjeevi Krishnan, Paige Randall North

Abstract: This paper constructs an h-model structure for diagrams of streams, locally preordered spaces. Along the way, the paper extends some classical characterizations of Hurewicz fibrations and closed Hurewicz cofibrations. The usual characterization of classical closed Hurewicz cofibrations as inclusions of neighborhood deformation retracts extends. A characterization of classical Hurewicz fibrations a… ▽ More This paper constructs an h-model structure for diagrams of streams, locally preordered spaces. Along the way, the paper extends some classical characterizations of Hurewicz fibrations and closed Hurewicz cofibrations. The usual characterization of classical closed Hurewicz cofibrations as inclusions of neighborhood deformation retracts extends. A characterization of classical Hurewicz fibrations as algebras over a pointed Moore cocylinder endofunctor also extends. An immediate consequence is a long exact sequence for directed homotopy monoids, with applications to safety verifications for database protocols. △ Less

Submitted 2 February, 2021; v1 submitted 6 November, 2019; originally announced November 2019.

Comments: 18 pages. minor clarifications, typos, and fixes. updated abstract. reworded section 6.5 and conclusion a bit for clarity

MSC Class: 55P99; 06F30

Lithium in red giant stars: Constraining non-standard mixing with large surveys in the Gaia era

Authors: C. Charbonnel, N. Lagarde, G. Jasniewicz, P. North, M. Shetrone, J. Krugler Hollek, V. V. Smith, R. Smiljanic, A. Palacios, G. Ottoni

Abstract: Lithium is extensively known to be a good tracer of non-standard mixing processes occurring in stellar interiors. We present the results of a new large Lithium survey in red giant stars and combine it with surveys from the literature to probe the impact of rotation-induced mixing and thermohaline double-diffusive instability along stellar evolution. We determined the surface Li abundance for a sam… ▽ More Lithium is extensively known to be a good tracer of non-standard mixing processes occurring in stellar interiors. We present the results of a new large Lithium survey in red giant stars and combine it with surveys from the literature to probe the impact of rotation-induced mixing and thermohaline double-diffusive instability along stellar evolution. We determined the surface Li abundance for a sample of 829 giant stars with accurate Gaia parallaxes for a large sub-sample (810 stars) complemented with accurate Hipparcos parallaxes (19 stars). The spectra of our sample of northern and southern giant stars were obtained in three ground-based observatories (OHP, ESO-La Silla, Mc Donald). We determined the atmospheric parameters (Teff, log(g), [Fe/H]), and the Li abundance. We used Gaia parallaxes and photometry to determine the luminosity of our objects and we estimated the mass and evolution status of each sample star with a maximum-likelihood technique using stellar evolution models computed with the STAREVOL code. We compared the observed Li behaviour with predictions from stellar models, including rotation and thermohaline mixing. The same approach was used for stars from selected Li surveys from the literature. Rotation-induced mixing accounts nicely for the lithium behaviour in stars warmer than about 4200K, independently of the mass domain. For stars with masses lower than 2Msun thermohaline mixing leads to further Li depletion below the Teff of the RGB bump (about 4000K), and on the early AGB, as observed. Depending on the definition we adopt, we find between 0.8 and 2.2% of Li-rich giants in our new sample. Gaia puts a new spin on the understanding of mixing processes in stars, and our study confirms the importance of rotation-induced processes and of thermohaline mixing. However asteroseismology is required to definitively pinpoint the actual evolution status of Li-rich giants. △ Less

Submitted 29 October, 2019; v1 submitted 28 October, 2019; originally announced October 2019.

Comments: 16 pages, 18 figures, A&A, accepted for publication (new version with an additional reference)

Journal ref: A&A 633, A34 (2020)

Type-theoretic weak factorization systems

Authors: Paige Randall North

Abstract: This article presents three characterizations of the weak factorization systems on finitely complete categories that interpret intensional dependent type theory with Sigma-, Pi-, and Id-types. The first characterization is that the weak factorization system (L,R) has the properties that L is stable under pullback along R and that all maps to a terminal object are in R. We call such weak factorizat… ▽ More This article presents three characterizations of the weak factorization systems on finitely complete categories that interpret intensional dependent type theory with Sigma-, Pi-, and Id-types. The first characterization is that the weak factorization system (L,R) has the properties that L is stable under pullback along R and that all maps to a terminal object are in R. We call such weak factorization systems type-theoretic. The second is that the weak factorization system has an Id-presentation: roughly, it is generated by Id-types in the empty context. The third is that the weak factorization system (L, R) is generated by a Moore relation system, a generalization of the notion of Moore paths. △ Less

Submitted 1 June, 2019; originally announced June 2019.

MSC Class: 03B15; 18C50; 55U35 ACM Class: F.3.2

Barium & related stars and their white-dwarf companions II. Main-sequence and subgiant stars

Authors: A. Escorza, D. Karinkuzhi, A. Jorissen, L. Siess, H. Van Winckel, D. Pourbaix, C. Johnston, B. Miszalski, G-M. Oomen, M. Abdul-Masih, H. M. J. Boffin, P. North, R. Manick, S. Shetye, J. Mikołajewska

Abstract: Barium (Ba) dwarfs and CH subgiants are the less-evolved analogues of Ba and CH giants. They are F- to G-type main-sequence stars polluted with heavy elements by a binary companion when the latter was on the Asymptotic Giant Branch (AGB). This companion is now a white dwarf that in most cases cannot be directly detected. We present a large systematic study of 60 objects classified as Ba dwarfs or… ▽ More Barium (Ba) dwarfs and CH subgiants are the less-evolved analogues of Ba and CH giants. They are F- to G-type main-sequence stars polluted with heavy elements by a binary companion when the latter was on the Asymptotic Giant Branch (AGB). This companion is now a white dwarf that in most cases cannot be directly detected. We present a large systematic study of 60 objects classified as Ba dwarfs or CH subgiants. Combining radial-velocity measurements from HERMES and SALT high-resolution spectra with radial-velocity data from CORAVEL and CORALIE, we determine the orbital parameters of 27 systems. We also derive their masses by comparing their location in the Hertzsprung-Russell diagram with evolutionary models. We confirm that Ba dwarfs and CH subgiants are not at different evolutionary stages and have similar metallicities, despite their different names. Additionally, Ba giants appear significantly more massive than their main-sequence analogues. This is likely due to observational biases against the detection of hotter main-sequence post-mass-transfer objects. Combining our spectroscopic orbits with the Hipparcos astrometric data, we derive the orbital inclinations and the mass of the WD companion for four systems. Since this cannot be done for all systems in our sample yet (but should be with upcoming Gaia data releases), we also analyse the mass-function distribution of our binaries. We can model this distribution with very narrow mass distributions for the two components and random orbital orientation on the sky. Finally, based on BINSTAR evolutionary models, we suggest that the orbital evolution of low-mass Ba systems can be affected by a second phase of interaction along the Red Giant Branch of the Ba star, impacting on the eccentricities and periods of the giants. △ Less

Submitted 8 April, 2019; originally announced April 2019.

Comments: Accepted for publication in A&A on the 5th of April, 2019

Journal ref: A&A 626, A128 (2019)

Identity types and weak factorization systems in Cauchy complete categories

Authors: Paige Randall North

Abstract: It has been known that categorical interpretations of dependent type theory with Sigma- and Id-types induce weak factorization systems. When one has a weak factorization system (L, R) on a category C in hand, it is then natural to ask whether or not (L, R) harbors an interpretation of dependent type theory with Sigma- and Id- (and possibly Pi-) types. Using the framework of display map categories… ▽ More It has been known that categorical interpretations of dependent type theory with Sigma- and Id-types induce weak factorization systems. When one has a weak factorization system (L, R) on a category C in hand, it is then natural to ask whether or not (L, R) harbors an interpretation of dependent type theory with Sigma- and Id- (and possibly Pi-) types. Using the framework of display map categories to phrase this question more precisely, one would ask whether or not there exists a class D of morphisms of C such that the retract closure of D is the class R and the pair (C, D) forms a display map category modeling Sigma- and Id- (and possibly Pi-) types. In this paper, we show, with the hypothesis that C is Cauchy complete, that there exists such a class D if and only if (C,R) itself forms a display map category modeling Sigma- and Id- (and possibly Pi-) types. Thus, we reduce the search space of our original question from a potentially proper class to a singleton. △ Less

Submitted 11 January, 2019; originally announced January 2019.

Comments: 14 pages

Towards a directed homotopy type theory

Authors: Paige Randall North

Abstract: In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former for Martin-Löf type theory which is roughly analogous to the identity type former originally introduced by Martin-Löf. The homomorphism type former is meant to capture the notions… ▽ More In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former for Martin-Löf type theory which is roughly analogous to the identity type former originally introduced by Martin-Löf. The homomorphism type former is meant to capture the notions of morphism (from the theory of categories) and directed path (from directed homotopy theory) just as the identity type former is known to capture the notions of isomorphism (from the theory of groupoids) and path (from homotopy theory). Our main result is an interpretation of these homomorphism types into Cat, the category of small categories. There, the interpretation of each homomorphism type hom(a,b) is indeed the set of morphisms between the objects a and b of a category C. We end the paper with an analysis of the interpretation in Cat with which we argue that our homomorphism types are indeed the directed version of Martin-Löf's identity types. △ Less

Submitted 27 July, 2018; originally announced July 2018.

What is the Milky Way outer halo made of? High resolution spectroscopy of distant red giants

Authors: G. Battaglia, P. North, P. Jablonka, M. Shetrone, D. Minniti, M. Díaz, E. Starkenburg, M. Savoy

Abstract: In a framework where galaxies form hierarchically, extended stellar haloes are predicted to be an ubiquitous feature around Milky Way-like galaxies and to consist mainly of the shredded stellar component of smaller galactic systems. The type of accreted stellar systems are expected to vary according to the specific accretion and merging history of a given galaxy, and so is the fraction of stars fo… ▽ More In a framework where galaxies form hierarchically, extended stellar haloes are predicted to be an ubiquitous feature around Milky Way-like galaxies and to consist mainly of the shredded stellar component of smaller galactic systems. The type of accreted stellar systems are expected to vary according to the specific accretion and merging history of a given galaxy, and so is the fraction of stars formed in-situ versus accreted. Analysis of the chemical properties of Milky Way halo stars out to large Galactocentric radii can provide important insights into the properties of the environment in which the stars that contributed to the build-up of different regions of the Milky Way stellar halo formed. In this work we focus on the outer regions of the Milky Way stellar halo, by determining chemical abundances of halo stars with large present-day Galactocentric distances, $>$15 kpc. The data-set we acquired consists of high resolution HET/HRS, Magellan/MIKE and VLT/UVES spectra for 28 red giant branch stars covering a wide metallicity range, $-3.1 \lesssim$[Fe/H]$\lesssim -0.6$. We show that the ratio of $α$-elements over Fe as a function of [Fe/H] for our sample of outer halo stars is not dissimilar from the pattern shown by MW halo stars from solar neighborhood samples. On the other hand, significant differences appear at [Fe/H]$\gtrsim -1.5$ when considering chemical abundance ratios such as [Ba/Fe], [Na/Fe], [Ni/Fe], [Eu/Fe], [Ba/Y]. Qualitatively, this type of chemical abundance trends are observed in massive dwarf galaxies, such as Sagittarius and the Large Magellanic Cloud. This appears to suggest a larger contribution in the outer halo of stars formed in an environment with high initial star formation rate and already polluted by asymptotic giant branch stars with respect to inner halo samples. △ Less

Submitted 3 October, 2017; originally announced October 2017.

Comments: Accepted for publication in A&A

Journal ref: A&A 608, A145 (2017)

The formation of the Milky Way halo and its dwarf satellites; a NLTE-1D abundance analysis. II. Early chemical enrichment

Authors: L. Mashonkina, P. Jablonka, T. Sitnova, Yu. Pakhomov, P. North

Abstract: We present the non-local thermodynamic equilibrium (NLTE) abundances of up to 10 chemical species in a sample of 59 very metal-poor (VMP, -4 < [Fe/H] < -2) stars in seven dwarf spheroidal galaxies (dSphs) and in the Milky Way (MW) halo. Our results are based on high-resolution spectroscopic datasets and homogeneous and accurate atmospheric parameters determined in PaperI. We show that once the NLT… ▽ More We present the non-local thermodynamic equilibrium (NLTE) abundances of up to 10 chemical species in a sample of 59 very metal-poor (VMP, -4 < [Fe/H] < -2) stars in seven dwarf spheroidal galaxies (dSphs) and in the Milky Way (MW) halo. Our results are based on high-resolution spectroscopic datasets and homogeneous and accurate atmospheric parameters determined in PaperI. We show that once the NLTE effects are properly taken into account, all massive galaxies in our sample, that is, the MW halo and the classical dSphs Sculptor, Ursa Minor, Sextans, and Fornax, reveal a similar plateau at [alpha/Fe] ~ 0.3 for each of the alpha-process elements: Mg, Ca, and Ti. We put on a firm ground the evidence for a decline in alpha/Fe with increasing metallicity in the BootesI ultra-faint dwarf galaxy (UFD), that is most probably due to the ejecta of type Ia supernovae. For Na/Fe, Na/Mg, and Al/Mg, the MW halo and all dSphs reveal indistinguishable trends with metallicity, suggesting that the processes of Na and Al synthesis are identical in all systems, independent of their mass. The dichotomy in the [Sr/Ba] versus [Ba/H] diagram is observed in the classical dSphs, similarly to the MW halo, calling for two different nucleosynthesis channels for Sr. We show that Sr in the massive galaxies is well correlated with Mg suggesting a strong link to massive stars and that its production is essentially independent of Ba, for most of the [Ba/H] range. Our three UFDs: BootesI, UMaII, and LeoIV are depleted in Sr and Ba relative to Fe and Mg, with very similar ratios of [Sr/Mg] ~ -1.3 and [Ba/Mg] ~ -1 on the entire range of their Mg abundances. The subsolar Sr/Ba ratios of Bootes I and UMa II indicate a common r-process origin of their neutron-capture elements. Sculptor remains the classical dSph, in which the evidence for inhomogeneous mixing in the early evolution stage, at [Fe/H] < -2, is the strongest. △ Less

Submitted 25 September, 2017; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: 29 pages, 5 tables, 9 figures, accepted for publication in A&A

MUSE-inspired view of the quasar Q2059-360, its Lyman alpha blob, and its neighborhood

Authors: P. L. North, R. A. Marino, C. Gorgoni, M. Hayes, D. Sluse, D. Chelouche, A. Verhamme, S. Cantalupo, F. Courbin

Abstract: The radio-quiet quasar Q2059-360 at redshift $z=3.08$ is known to be close to a small Lyman $α$ blob (LAB) and to be absorbed by a proximate damped Ly$α$ (PDLA) system. Here, we present the Multi Unit Spectroscopic Explorer (MUSE) integral field spectroscopy follow-up of this quasi-stellar object (QSO). Our primary goal is to characterize this LAB in detail by mapping it both spatially and spect… ▽ More The radio-quiet quasar Q2059-360 at redshift $z=3.08$ is known to be close to a small Lyman $α$ blob (LAB) and to be absorbed by a proximate damped Ly$α$ (PDLA) system. Here, we present the Multi Unit Spectroscopic Explorer (MUSE) integral field spectroscopy follow-up of this quasi-stellar object (QSO). Our primary goal is to characterize this LAB in detail by mapping it both spatially and spectrally using the Ly$α$ line, and by looking for high-ionization lines to constrain the emission mechanism. Combining the high sensitivity of the MUSE integral field spectrograph mounted on the Yepun telescope at ESO-VLT with the natural coronagraph provided by the PDLA, we map the LAB down to the QSO position, after robust subtraction of QSO light in the spectral domain. In addition to confirming earlier results for the small bright component of the LAB, we unveil a faint filamentary emission protruding to the south over about 80 pkpc (physical kpc); this results in a total size of about 120 pkpc. We derive the velocity field of the LAB (assuming no transfer effects) and map the Ly$α$ line width. Upper limits are set to the flux of the N V $λ1238-1242$, C IV $λ1548-1551$, He II $λ1640$, and C III] $λ1548-1551$ lines. We have discovered two probable Ly$α$ emitters at the same redshift as the LAB and at projected distances of 265 kpc and 207 kpc from the QSO; their Ly$α$ luminosities might well be enhanced by the QSO radiation. We also find an emission line galaxy at $z=0.33$ near the line of sight to the QSO. This LAB shares the same general characteristics as the 17 others surrounding radio-quiet QSOs presented previously. However, there are indications that it may be centered on the PDLA galaxy rather than on the QSO. △ Less

Submitted 16 May, 2017; originally announced May 2017.

Comments: Accepted for publication in Astronomy & Astrophysics; 16 pages, 19 figures

The formation of the Milky Way halo and its dwarf satellites, a NLTE-1D abundance analysis. I. Homogeneous set of atmospheric parameters

Authors: L. Mashonkina, P. Jablonka, Yu. Pakhomov, T. Sitnova, P. North

Abstract: We present a homogeneous set of accurate atmospheric parameters for a complete sample of very and extremely metal-poor stars in the dwarf spheroidal galaxies (dSphs) Sculptor, Ursa Minor, Sextans, Fornax, Boötes I, Ursa Major II, and Leo IV. We also deliver a Milky Way (MW) comparison sample of giant stars covering the -4 < [Fe/H] < -1.7 metallicity range. We show that, in the [Fe/H] > -3.5 regime… ▽ More We present a homogeneous set of accurate atmospheric parameters for a complete sample of very and extremely metal-poor stars in the dwarf spheroidal galaxies (dSphs) Sculptor, Ursa Minor, Sextans, Fornax, Boötes I, Ursa Major II, and Leo IV. We also deliver a Milky Way (MW) comparison sample of giant stars covering the -4 < [Fe/H] < -1.7 metallicity range. We show that, in the [Fe/H] > -3.5 regime, the non-local thermodynamic equilibrium (NLTE) calculations with non-spectroscopic effective temperature (Teff) and surface gravity (log~g) based on the photometric methods and known distance provide consistent abundances of the Fe I and Fe II lines. This justifies the Fe I/Fe II ionisation equilibrium method to determine log g for the MW halo giants with unknown distance. The atmospheric parameters of the dSphs and MW stars were checked with independent methods. In the [Fe/H] > -3.5 regime, the Ti I/Ti II ionisation equilibrium is fulfilled in the NLTE calculations. In the log~g - Teff plane, all the stars sit on the giant branch of the evolutionary tracks corresponding to [Fe/H] = -2 to -4, in line with their metallicities. For some of the most metal-poor stars of our sample, we hardly achieve consistent NLTE abundances from the two ionisation stages for both iron and titanium. We suggest that this is a consequence of the uncertainty in the Teff-colour relation at those metallicities. The results of these work provide the base for a detailed abundance analysis presented in a companion paper. △ Less

Submitted 2 May, 2017; v1 submitted 25 April, 2017; originally announced April 2017.

Comments: 25 pages, 7 tables, 7 figures, A&A, accepted

Journal ref: A&A 604, A129 (2017)

The early days of the Sculptor dwarf spheroidal galaxy

Authors: P. Jablonka, P. North, L. Mashonkina, V. Hill, Y. Revaz, M. Shetrone, E. Starkenburg, M. Irwin, E. Tolstoy, G. Battaglia, K. Venn, A. Helmi, F. Primas, P. Francois

Abstract: We present the high resolution spectroscopic study of five -3.9<=[Fe/H]<=-2.5 stars in the Local Group dwarf spheroidal, Sculptor, thereby doubling the number of stars with comparable observations in this metallicity range. We carry out a detailed analysis of the chemical abundances of alpha, iron peak, light and heavy elements, and draw comparisons with the Milky Way halo and the ultra faint dwar… ▽ More We present the high resolution spectroscopic study of five -3.9<=[Fe/H]<=-2.5 stars in the Local Group dwarf spheroidal, Sculptor, thereby doubling the number of stars with comparable observations in this metallicity range. We carry out a detailed analysis of the chemical abundances of alpha, iron peak, light and heavy elements, and draw comparisons with the Milky Way halo and the ultra faint dwarf stellar populations. We show that the bulk of the Sculptor metal-poor stars follows the same trends in abundance ratios versus metallicity as the Milky Way stars. This suggests similar early conditions of star formation and a high degree of homogeneity of the interstellar medium. We find an outlier to this main regime, which seems to miss the products of the most massive of the TypeII supernovae. In addition to its value to help refining galaxy formation models, this star provides clues to the production of cobalt and zinc. Two of our sample stars have low odd-to-even barium isotope abundance ratios, suggestive of a fair proportion of s-process; we discuss the implication for the nucleosynthetic origin of the neutron capture elements. △ Less

Submitted 4 January, 2016; v1 submitted 29 June, 2015; originally announced June 2015.

Comments: Replacement after language edition

One-Bit Compressive Sensing with Partial Support

Authors: Phillip North, Deanna Needell

Abstract: The Compressive Sensing framework maintains relevance even when the available measurements are subject to extreme quantization, as is exemplified by the so-called one-bit compressed sensing framework which aims to recover a signal from measurements reduced to only their sign-bit. In applications, it is often the case that we have some knowledge of the structure of the signal beforehand, and thus w… ▽ More The Compressive Sensing framework maintains relevance even when the available measurements are subject to extreme quantization, as is exemplified by the so-called one-bit compressed sensing framework which aims to recover a signal from measurements reduced to only their sign-bit. In applications, it is often the case that we have some knowledge of the structure of the signal beforehand, and thus would like to leverage it to attain more accurate and efficient recovery. This work explores avenues for incorporating such partial-support information into the one-bit setting. Experimental results demonstrate that newly proposed methods of this work yield improved signal recovery even for varying levels of accuracy in the prior information. This work is thus the first to provide recovery mechanisms that efficiently use prior signal information in the one-bit reconstruction setting. △ Less

Submitted 2 June, 2015; originally announced June 2015.

The Gaia Mission, Binary Stars and Exoplanets

Authors: Laurent Eyer, Lorenzo Rimoldini, Berry Holl, Pierre North, Shay Zucker, Dafydd W. Evans, Dimitri Pourbaix, Simon T. Hodgkin, William Thuillot, Nami Mowlavi, Benoit Carry

Abstract: On the 19th of December 2013, the Gaia spacecraft was successfully launched by a Soyuz rocket from French Guiana and started its amazing journey to map and characterise one billion celestial objects with its one billion pixel camera. In this presentation, we briefly review the general aims of the mission and describe what has happened since launch, including the Ecliptic Pole scanning mode. We als… ▽ More On the 19th of December 2013, the Gaia spacecraft was successfully launched by a Soyuz rocket from French Guiana and started its amazing journey to map and characterise one billion celestial objects with its one billion pixel camera. In this presentation, we briefly review the general aims of the mission and describe what has happened since launch, including the Ecliptic Pole scanning mode. We also focus especially on binary stars, starting with some basic observational aspects, and then turning to the remarkable harvest that Gaia is expected to yield for these objects. △ Less

Submitted 12 February, 2015; originally announced February 2015.

Comments: 15 pages, 8 figures. LIVING TOGETHER PLANETS, HOST STARS and BINARIES, Proceedings of a Proceedings of a Conference held in held at Litomyšl, Czech Republic. Edited by Slavek M. Rucinski, Guillermo Torres and Miloslav Zejda. Astronomical Society of the Pacific, Conference Series, 2015

Properties and nature of Be stars 30. Reliable physical properties of a semi-detached B9.5e+G8III binary BR CMi = HD 61273 compared to those of other well studied semi-detached emission-line binaries

Authors: P. Harmanec, P. Koubský, J. A. Nemravová, F. Royer, D. Briot, P. North, P. Lampens, Y. Frémat, S. Yang, H. Božić, L. Kotková, P. Škoda, M. Šlechta, D. Korčáková, M. Wolf, P. Zasche

Abstract: Reliable determination of the basic physical properties of hot emission-line binaries with Roche-lobe filling secondaries is important for developing the theory of mass exchange in binaries. It is a very hard task, however, which is complicated by the presence of circumstellar matter in these systems. So far, only a small number of systems with accurate values of component masses, radii, and other… ▽ More Reliable determination of the basic physical properties of hot emission-line binaries with Roche-lobe filling secondaries is important for developing the theory of mass exchange in binaries. It is a very hard task, however, which is complicated by the presence of circumstellar matter in these systems. So far, only a small number of systems with accurate values of component masses, radii, and other properties are known. Here, we report the first detailed study of a new representative of this class of binaries, BR CMi, based on the analysis of radial velocities and multichannel photometry from several observatories, and compare its physical properties with those for other well-studied systems. BR CMi is an ellipsoidal variable seen under an intermediate orbital inclination of ~51 degrees, and it has an orbital period of 12.919059(15) d and a circular orbit. We used the disentangled component spectra to estimate the effective temperatures 9500(200) K and 4655(50) K by comparing them with model spectra. They correspond to spectral types B9.5e and G8III. We also used the disentangled spectra of both binary components as templates for the 2-D cross-correlation to obtain accurate RVs and a reliable orbital solution. Some evidence of a secular period increase at a rate of 1.1+/-0.5 s per year was found. This, together with a very low mass ratio of 0.06 and a normal mass and radius of the mass gaining component, indicates that BR CMi is in a slow phase of the mass exchange after the mass-ratio reversal. It thus belongs to a still poorly populated subgroup of Be stars for which the origin of Balmer emission lines is safely explained as a consequence of mass transfer between the binary components. △ Less

Submitted 19 November, 2014; originally announced November 2014.

Comments: 17 pages, 5 figures, accepted for publication in Astronomy and Astrophysics. appears in Astronomy and Astrophysics 2014

Journal ref: A&A 573, A107 (2015)

Multiplicity of A-type and related stars

Authors: Pierre L. North

Abstract: The origin of chemically peculiar stars remains enigmatic, especially regarding their frequency among their "normal" peers. In addition to magnetic fields and rotation, multiplicity may shed light on the question. We mention the main surveys of the three kinds performed so far of intermediate mass stars, either normal or chemically peculiar, magnetic or not: imaging, spectroscopic, and photometric… ▽ More The origin of chemically peculiar stars remains enigmatic, especially regarding their frequency among their "normal" peers. In addition to magnetic fields and rotation, multiplicity may shed light on the question. We mention the main surveys of the three kinds performed so far of intermediate mass stars, either normal or chemically peculiar, magnetic or not: imaging, spectroscopic, and photometric. We also consider the mulitiplicity of red giant stars, since many of them are descendants of A-type stars, through Mermilliod's radial velocity monitoring of open cluster members. We briefly review the orbital properties of binary systems hosting chemically peculiar stars. Some specific objects of special interest are mentioned as deserving further study. Finally, we recall that some binary systems composed of A-type stars are progenitors of Type Ia supernovae, and evoke the potentialities of future surveys like Gaia. △ Less

Submitted 29 September, 2013; originally announced September 2013.

Comments: 10 pages; invited review, to appear in the proceedings of the conference "Putting A stars into context: evolution, environment, and related stars"

The Gaia mission

Authors: L. Eyer, B. Holl, D. Pourbaix, N. Mowlavi, C. Siopis, F. Barblan, D. W. Evans, P. North

Abstract: Gaia is a very ambitious mission of the European Space Agency. At the heart of Gaia lie the measurements of the positions, distances, space motions, brightnesses and astrophysical parameters of stars, which represent fundamental pillars of modern astronomical knowledge. We provide a brief description of the Gaia mission with an emphasis on binary stars. In particular, we summarize results of simul… ▽ More Gaia is a very ambitious mission of the European Space Agency. At the heart of Gaia lie the measurements of the positions, distances, space motions, brightnesses and astrophysical parameters of stars, which represent fundamental pillars of modern astronomical knowledge. We provide a brief description of the Gaia mission with an emphasis on binary stars. In particular, we summarize results of simulations, which estimate the number of binary stars to be processed to several tens of millions. We also report on the catalogue release scenarios. In the current proposal, the first results for binary stars will be available in 2017 (for a launch in 2013). △ Less

Submitted 1 March, 2013; originally announced March 2013.

Comments: 12 pages, 3 figures. Proceedings of the XIth Hvar Astrophysical Colloquium

Spectroscopy of extended Lyα envelopes around z=4.5 quasars

Authors: P. L. North, F. Courbin, A. Eigenbrod, D. Chelouche

Abstract: What are the frequency, shape, kinematics, and luminosity of Lyα envelopes surrounding radio-quiet quasars at high redshift, and is the luminosity of these envelopes related to that of the quasar or not? As a first step towards answering these questions, we have searched for Lyα envelopes around six radio-quiet quasars at z~4.5, using deep spectra taken with the FORS2 spectrograph attached to the… ▽ More What are the frequency, shape, kinematics, and luminosity of Lyα envelopes surrounding radio-quiet quasars at high redshift, and is the luminosity of these envelopes related to that of the quasar or not? As a first step towards answering these questions, we have searched for Lyα envelopes around six radio-quiet quasars at z~4.5, using deep spectra taken with the FORS2 spectrograph attached to the UT1 of the Very Large Telescope (VLT). Using the multi-slit mode allows us to observe several point spread function stars simultaneously with the quasar, and to remove the point-like emission from the quasar, unveiling the faint underlying Lyα envelope with unprecedented depth. An envelope is detected around four of the six quasars, which suggests that these envelopes are very frequent. Their diameter varies in the range 26<d<64 kpc, their surface brightness in the range 3x10^{-19}<μ<2x10^{-17} erg/s/cm^2/arcsec^2, and their luminosity in the range 10^{42}<L(Lyα)<10^{44} erg/s. Their shape may be strongly asymmetric. The Lyα emission line full width at half maximum (FWHM) is 900<FWHM<2200 km/s and its luminosity correlates with that of the broad line region (BLR) of the quasar, with the notable exception of BR2237-0607, the brightest object in our sample. The same holds for the relation between the envelope Lyα luminosity and the ionizing luminosity of the quasar. While the deep slit spectroscopy presented in this paper is very efficient at detecting very faint Lyα envelopes, narrow-band imaging is now needed to measure accurately their spatial extent, radial luminosity profile, and total luminosity. These observables are crucial to help us discriminate between the three possible radiation processes responsible for the envelope emission: (i) cold accretion, (ii) fluorescence induced by the quasar, and (iii) scattering of the BLR photons by cool gas. △ Less

Submitted 17 May, 2012; originally announced May 2012.

Comments: 10 pages, 5 figures, accepted for publication in Astronomy & Astrophysics

Manganese in dwarf spheroidal galaxies

Authors: P. North, G. Cescutti, P. Jablonka, V. Hill, M. Shetrone, B. Letarte, B. Lemasle, K. A. Venn, G. Battaglia, E. Tolstoy, M. J. Irwin, F. Primas, P. François

Abstract: We provide manganese abundances (corrected for the effect of the hyperfine structure) for a large number of stars in the dwarf spheroidal galaxies Sculptor and Fornax, and for a smaller number in the Carina and Sextans dSph galaxies. Abundances had already been determined for a number of other elements in these galaxies, including alpha and iron-peak ones, which allowed us to build [Mn/Fe] and [Mn… ▽ More We provide manganese abundances (corrected for the effect of the hyperfine structure) for a large number of stars in the dwarf spheroidal galaxies Sculptor and Fornax, and for a smaller number in the Carina and Sextans dSph galaxies. Abundances had already been determined for a number of other elements in these galaxies, including alpha and iron-peak ones, which allowed us to build [Mn/Fe] and [Mn/alpha] versus [Fe/H] diagrams. The Mn abundances imply sub-solar [Mn/Fe] ratios for the stars in all four galaxies examined. In Sculptor, [Mn/Fe] stays roughly constant between [Fe/H]\sim -1.8 and -1.4 and decreases at higher iron abundance. In Fornax, [Mn/Fe] does not vary in any significant way with [Fe/H]. The relation between [Mn/alpha] and [Fe/H] for the dSph galaxies is clearly systematically offset from that for the Milky Way, which reflects the different star formation histories of the respective galaxies. The [Mn/alpha] behavior can be interpreted as a result of the metal-dependent Mn yields of type II and type Ia supernovae. We also computed chemical evolution models for star formation histories matching those determined empirically for Sculptor, Fornax, and Carina, and for the Mn yields of SNe Ia, which were assumed to be either constant or variable with metallicity. The observed [Mn/Fe] versus [Fe/H] relation in Sculptor, Fornax, and Carina can be reproduced only by the chemical evolution models that include a metallicity-dependent Mn yield from the SNe Ia. △ Less

Submitted 27 March, 2012; v1 submitted 20 March, 2012; originally announced March 2012.

Comments: 19 pages, 10 figures, accepted for publication in Astronomy & Astrophysics

The impact of Gaia and LSST on binary stars and exo-planets

Authors: L. Eyer, P. Dubath, N. Mowlavi, P. North, A. Triaud, F. Barblan, C. Siopis, L. Guy, B. Tingley, S. Zucker, D. W. Evans, L. Wyrzykowski, M. Suveges, Z. Ivezic

Abstract: Two upcoming large scale surveys, the ESA Gaia and LSST projects, will bring a new era in astronomy. The number of binary systems that will be observed and detected by these projects is enormous, estimations range from millions for Gaia to several tens of millions for LSST. We review some tools that should be developed and also what can be gained from these missions on the subject of binaries and… ▽ More Two upcoming large scale surveys, the ESA Gaia and LSST projects, will bring a new era in astronomy. The number of binary systems that will be observed and detected by these projects is enormous, estimations range from millions for Gaia to several tens of millions for LSST. We review some tools that should be developed and also what can be gained from these missions on the subject of binaries and exoplanets from the astrometry, photometry, radial velocity and their alert systems. △ Less

Submitted 24 January, 2012; originally announced January 2012.

Comments: 8 pages, 2 figures, Proceedings of the IAU Symposium No. 282: From Interacting Binaries to Exoplanets: Essential Modeling Tools. Tatranska Lomnica, Slovakia

Extremely metal-poor stars in classical dwarf spheroidal galaxies: Fornax, Sculptor and Sextans

Authors: M. Tafelmeyer, P. Jablonka, V. Hill, M. Shetrone, E. Tolstoy, M. J. Irwin, G. Battaglia, A. Helmi, E. Starkenburg, K. A. Venn, T. Abel, P. Francois, A. Kaufer, P. North, F. Primas, T. Szeifert

Abstract: We present the results of a dedicated search for extremely metal-poor stars in the Fornax, Sculptor and Sextans dSphs. Five stars were selected from two earlier VLT/Giraffe and HET/HRS surveys and subsequently followed up at high spectroscopic resolution with VLT/UVES. All of them turned out to have [Fe/H] <= -3 and three stars are below [Fe/H] -3.5. This constitutes the first evidence that the cl… ▽ More We present the results of a dedicated search for extremely metal-poor stars in the Fornax, Sculptor and Sextans dSphs. Five stars were selected from two earlier VLT/Giraffe and HET/HRS surveys and subsequently followed up at high spectroscopic resolution with VLT/UVES. All of them turned out to have [Fe/H] <= -3 and three stars are below [Fe/H] -3.5. This constitutes the first evidence that the classical dSphs Fornax and Sextans join Sculptor in containing extremely metal-poor stars and suggests that all of the classical dSphs contain extremely metal-poor stars. One giant in Sculptor at [Fe/H]=-3.96 +- 0.10 is the most metal-poor star ever observed in an external galaxy. We carried out a detailed analysis of the chemical abundances of the alpha, iron peak, and the heavy elements, and we performed a comparison with the Milky Way halo and the ultra faint dwarf stellar populations. Carbon, barium and strontium show distinct features characterized by the early stages of galaxy formation and can constrain the origin of their nucleosynthesis. △ Less

Submitted 16 December, 2010; v1 submitted 22 August, 2010; originally announced August 2010.

Comments: In A&A. This version corrects a few typographical errors in the coordinates of some of our stars (Table 1)

VLT multi-object spectroscopy of 33 eclipsing binaries in the Small Magellanic Cloud. New distance and depth of the SMC, and a record-breaking apsidal motion

Authors: P. L. North, R. Gauderon, F. Barblan, F. Royer

Abstract: Aim: Our purpose is to provide reliable stellar parameters for a significant sample of eclipsing binaries, which are representative of a whole dwarf and metal-poor galaxy. We also aim at providing a new estimate of the mean distance to the SMC and of its depth along the line of sight for the observed field of view. Method: We use radial velocity curves obtained with the ESO FLAMES facility at the… ▽ More Aim: Our purpose is to provide reliable stellar parameters for a significant sample of eclipsing binaries, which are representative of a whole dwarf and metal-poor galaxy. We also aim at providing a new estimate of the mean distance to the SMC and of its depth along the line of sight for the observed field of view. Method: We use radial velocity curves obtained with the ESO FLAMES facility at the VLT and light curves from the OGLE-II photometric survey. The radial velocities were obtained by least-squares fits of the observed spectra to synthetic ones, excluding the hydrogen Balmer lines. Results: Our sample contains 23 detached, 9 semi-detached and 1 overcontact systems. Most detached systems have properties consistent with stellar evolution calculations from single-star models at the standard SMC metallicity Z = 0.004, though they tend to be slightly overluminous. The few exceptions are probably due to third light contribution or insufficient signal-to-noise ratio. The mass ratios are consistent with a flat distribution, both for detached and semi-detached/contact binaries. A mass-luminosity relation valid from ~4 to ~18 Msol is derived. The uncertainties are in the +-2 to +-11% range for the masses, in the +-2 to +-5% range for the radii and in the +-1 to +-6% range for the effective temperatures. The average distance modulus is 19.11+-0.03 (66.4+-0.9 kpc). The moduli derived from the V and from the I data are consistent within 0.01 mag. The 2-sigma depth of the SMC is, for our field, of 0.25 mag or 7.6 kpc under the assumption of a gaussian distribution of stars along the line of sight. Three systems show significant apsidal motion, one of them with an apsidal period of 7.6 years, the shortest known to date for a detached system with main sequence stars. △ Less

Submitted 24 May, 2010; originally announced May 2010.

Comments: 61 pages, 41 figures; accepted for publication in Astronomy & Astrophysics

Pushing the limit of instrument capabilities

Authors: Denis V. Shulyak, Werner W. Weiss, Gautier Mathys, Laurent Eyer, Alexander F. Kholtygin, Oleg Kochukhov, Pierre North, Sergey N. Fabrika, Tatyana E. Burlakova

Abstract: Chemically Peculiar (CP) stars have been subject of systematic research since more than 50 years. With the discovery of pulsation of some of the cool CP stars, the availability of advanced spectropolarimetric instrumentation and high signal- to-noise, high resolution spectroscopy, a new era of CP star research emerged about 20 years ago. Together with the success in ground-based observations, ne… ▽ More Chemically Peculiar (CP) stars have been subject of systematic research since more than 50 years. With the discovery of pulsation of some of the cool CP stars, the availability of advanced spectropolarimetric instrumentation and high signal- to-noise, high resolution spectroscopy, a new era of CP star research emerged about 20 years ago. Together with the success in ground-based observations, new space projects are developed that will greatly benefit for future investigations of these unique objects. In this contribution we will give an overview of some interesting results obtained recently from ground-based observations and discuss on future outstanding Gaia space mission and its impact on CP star research. △ Less

Submitted 1 March, 2010; originally announced March 2010.

Comments: Joint Discussion 04, Secsion 1, To appear in Highlights of Astronomy, Proc. of the XXVIIth IAU General Assembly, Rio de Janeiro, Brazil, August 2009, 9 pages

CNONa and 12C/13C in giants of 10 open clusters

Authors: R. Smiljanic, R. Gauderon, P. North, B. Barbuy, C. Charbonnel, N. Mowlavi

Abstract: Evolved low-mass stars of a wide range of metallicity bear signatures of a non-standard mixing event in their surface abundances of Li, C, and N, and in their 12C/13C ratio. A Na overabundance has also been reported in some giants of open clusters but remains controversial. The cause of the extra-mixing has been attributed to thermohaline convection that should take place after the RGB bump for… ▽ More Evolved low-mass stars of a wide range of metallicity bear signatures of a non-standard mixing event in their surface abundances of Li, C, and N, and in their 12C/13C ratio. A Na overabundance has also been reported in some giants of open clusters but remains controversial. The cause of the extra-mixing has been attributed to thermohaline convection that should take place after the RGB bump for low-mass stars and on the early-AGB for more massive objects. To track the occurrence of this process over a wide mass range, we derive in a homogeneous way the abundances of C, N, O, and Na, as well as the 12C/13C ratio in a sample of 31 giants of 10 open clusters with turn-off masses from 1.7 to 3.1 Msun. A group of first ascent red giants with M/Msun \leq 2.5 exhibits lower [N/C] ratios than those measured in clump giants of the same mass range, suggesting an additional increase in the [N/C] ratio after the first dredge-up. The sodium abundances corrected from NLTE are found to be about solar. [Na/Fe] shows a slight increase of 0.10 dex as a function of stellar mass in the 1.8 to 3.2 Msun range covered by our sample, in agreement with standard first dredge-up predictions. Our results do not support previous claims of sodium overabundances as high as +0.60 dex. An anti-correlation between 12C/13C and turn-off mass is identified and interpreted as being caused by a post-bump thermohaline mixing. Moreover, we find low 12C/13C ratios in a few intermediate-mass early-AGB stars, confirming that an extra-mixing process also operates in stars that do not experienced the RGB bump. In this case, the extra-mixing possibly acts on the early-AGB, in agreement with theoretical expectations for thermohaline mixing. [abridged] △ Less

Submitted 21 May, 2009; v1 submitted 9 October, 2008; originally announced October 2008.

Comments: A&A accepted, revised version

Chemically peculiar stars and their temperature calibration

Authors: M. Netopil, E. Paunzen, H. M. Maitzen, P. North, S. Hubrig

Abstract: The determination of effective temperature for chemically peculiar (CP) stars by means of photometry is a sophisticated task due to their abnormal colours. Standard calibrations for normal stars lead to erroneous results and, in most cases corrections are necessary. In order to specify appropriate corrections, direct temperature determinations for 176 objects of the different subgroups were coll… ▽ More The determination of effective temperature for chemically peculiar (CP) stars by means of photometry is a sophisticated task due to their abnormal colours. Standard calibrations for normal stars lead to erroneous results and, in most cases corrections are necessary. In order to specify appropriate corrections, direct temperature determinations for 176 objects of the different subgroups were collected from the literature. This much larger sample than in previous studies therefore allows a more accurate investigation, mostly based on average temperatures. For the three main photometric systems (UBV, Geneva, Stromgren uvbybeta), methods to determine effective temperature are presented together with a comparison with former results. Based on the compiled data we provide evidence that He (CP4) objects also need a considerable correction, not noticed in former investigations due to their small number. Additionally, a new relation for the bolometric correction and the capability of standard calibrations to deduce interstellar reddening for magnetic CP stars are shown. △ Less

Submitted 30 September, 2008; originally announced September 2008.

Comments: 15 pages, 8 figures, accepted by A&A

New distance and depth estimates from observations of eclipsing binaries in the SMC

Authors: Pierre L. North, Romain Gauderon, Frederic Royer

Abstract: A sample of 33 eclipsing binaries observed in a field of the SMC with FLAMES@VLT is presented. The radial velocity curves obtained, together with existing OGLE light curves, allowed the determination of all stellar and orbital parameters of these binary systems. The mean distance modulus of the observed part of the SMC is 19.05, based on the 26 most reliable systems. Assuming an average error of… ▽ More A sample of 33 eclipsing binaries observed in a field of the SMC with FLAMES@VLT is presented. The radial velocity curves obtained, together with existing OGLE light curves, allowed the determination of all stellar and orbital parameters of these binary systems. The mean distance modulus of the observed part of the SMC is 19.05, based on the 26 most reliable systems. Assuming an average error of 0.1 mag on the distance modulus to an individual system, and a gaussian distribution of the distance moduli, we obtain a 2-sigma depth of 0.36 mag or 10.6 kpc. Some results on the kinematics of the binary stars and of the H II gas are also given. △ Less

Submitted 16 September, 2008; originally announced September 2008.

Comments: 6 pages, 4 figures, Proc. IAU Symp. No 256, The Magellanic System: Stars, Gas and Galaxies, eds. Jacco Th. van Loon & Joana M. Oliveira

The evolution of Ap stars

Authors: P. North, J. Babel, D. Erspamer

Abstract: The many peculiarities of Ap stars (not only chemical ones, but also magnetic field and slow rotation) may vary during the main-sequence evolution of these stars. We review here briefly the evidences found in the last thirty years for such evolution, with an emphasis on the more recent research. The position in the HR diagram of low mass Ap stars with a significant surface magnetic field (as mea… ▽ More The many peculiarities of Ap stars (not only chemical ones, but also magnetic field and slow rotation) may vary during the main-sequence evolution of these stars. We review here briefly the evidences found in the last thirty years for such evolution, with an emphasis on the more recent research. The position in the HR diagram of low mass Ap stars with a significant surface magnetic field (as measured by us) is reviewed as well. △ Less

Submitted 4 April, 2008; originally announced April 2008.

Comments: 11 pages, 6 figures

Journal ref: Contrib.Astron.Obs.Skalnate Pleso 38:375-384,2008

Deep optical spectroscopy of extended Lyman alpha emission around three radio-quiet z=4.5 quasars

Authors: F. Courbin, P. North, A. Eigenbrod, D. Chelouche

Abstract: We report the first results of a spectroscopic search for Lyman alpha, envelopes around three z=4.5 radio-quiet quasars. Our observational strategy uses the FORS2 spectrograph attached to the UT1 of the Very Large Telescope (VLT) in the multi-slit mode. This allows us to observe simultaneously the quasars and several PSF stars. The spectra of the latter are used to remove the point-like quasar f… ▽ More We report the first results of a spectroscopic search for Lyman alpha, envelopes around three z=4.5 radio-quiet quasars. Our observational strategy uses the FORS2 spectrograph attached to the UT1 of the Very Large Telescope (VLT) in the multi-slit mode. This allows us to observe simultaneously the quasars and several PSF stars. The spectra of the latter are used to remove the point-like quasar from the data, and to unveil the faint underlying Lyman alpha, envelopes associated with the quasars with unprecedented depth. We clearly detect an envelope around two of the three quasars. These envelopes measure respectively 10" and 13" in extent (i.e. 67 kpc and 87 kpc). This is 5 to 10 times larger than predicted by the models of Haiman & Rees (2001) and up to 100 times fainter. Our observations better agree with models involing a clumpy envelope as in Alam & Miralda-Escude (2002) or Chelouche et al. (2008). We find that the brighter quasars also have the brighter envelopes but that the extend of the envelopes does not depend on the quasar luminosity. Although our results are based on only two objects with a detected Lyman alpha, envelope, the quality of the spatial deblending of the spectra lends considerable hope to estimate the luminosity function and surface brightness profiles of high redshift Lyman alpha, envelopes down to F= 2-3 10^{-21} erg/s/cm^2/A. We find that the best strategy to carry out such a project is to obtain both narrow-band images and deep slit-spectra. △ Less

Submitted 17 March, 2008; originally announced March 2008.

Comments: 8 pages, 5 figures, submitted to A&A

Improved parameters for the transiting planet HD 17156b: a high-density giant planet with a very eccentric orbit

Authors: M. Gillon, A. H. M. J. Triaud, M. Mayor, D. Queloz, S. Udry, P. North

Abstract: We report high-precision transit photometry for the recently detected planet HD 17156b. Using these new data with previously published transit photometry and radial velocity measurements, we perform a combined analysis based on a Markov Chain Monte Carlo approach. The resulting mass M_p = 3.09 (+0.22-0.17) M_Jup and radius R_p = 1.23 (+0.17-0.20) R_Jup for the planet places it at the outer edge… ▽ More We report high-precision transit photometry for the recently detected planet HD 17156b. Using these new data with previously published transit photometry and radial velocity measurements, we perform a combined analysis based on a Markov Chain Monte Carlo approach. The resulting mass M_p = 3.09 (+0.22-0.17) M_Jup and radius R_p = 1.23 (+0.17-0.20) R_Jup for the planet places it at the outer edge of the density distribution of known transiting planets with rho_p = 1.66 (+1.37-0.60) rho_Jup. The obtained transit ephemeris is T_tr = 2454438.48271 (+0.00077-0.00057) + N x 21.21747 (+0.00070-0.00067) BJD. The derived plausible tidal circularization time scales for HD 17156b are larger than the age of the host star. The measured high orbital eccentricity e = 0.6719 (+0.0052-0.0063) can thus not be interpreted as the clear sign of the presence of another body in the system. △ Less

Submitted 6 May, 2008; v1 submitted 12 December, 2007; originally announced December 2007.

Comments: 6 pages, 3 figures, 1 table. Accepted for publication in A&A

Magnetic fields in massive stars

Authors: S. Hubrig, M. Schoeller, M. Briquet, M. A. Pogodin, R. V. Yudin, J. F. Gonzalez, T. Morel, P. De Cat, R. Ignace, P. North, G. Mathys, G. J. Peters

Abstract: We review the recent discoveries of magnetic fields in different types of massive stars and briefly discuss strategies for spectropolarimetric observations to be carried out in the future. We review the recent discoveries of magnetic fields in different types of massive stars and briefly discuss strategies for spectropolarimetric observations to be carried out in the future. △ Less

Submitted 2 December, 2007; originally announced December 2007.

Comments: 6 pages, 5 figures, contribution presented at the CP/AP Workshop, Vienna, Austria in September 2007

Report number: CP/AP-Hubrig-001

Journal ref: Contrib.Astron.Obs.Skalnate Pleso 38:223-228,2008

Evolution of Magnetic Fields in Stars Across the Upper Main Sequence: II. Observed distribution of the magnetic field geometry

Authors: S. Hubrig, P. North, M. Schoeller

Abstract: We re-discuss the evolutionary state of upper main sequence magnetic stars using a sample of Ap and Bp stars with accurate Hipparcos parallaxes and definitely determined longitudinal magnetic fields. We confirm our previous results obtained from the study of Ap and Bp stars with accurate measurements of the mean magnetic field modulus and mean quadratic magnetic fields that magnetic stars of mas… ▽ More We re-discuss the evolutionary state of upper main sequence magnetic stars using a sample of Ap and Bp stars with accurate Hipparcos parallaxes and definitely determined longitudinal magnetic fields. We confirm our previous results obtained from the study of Ap and Bp stars with accurate measurements of the mean magnetic field modulus and mean quadratic magnetic fields that magnetic stars of mass M < 3 M_sun are concentrated towards the centre of the main-sequence band. In contrast, stars with masses M > 3 M_sun seem to be concentrated closer to the ZAMS. The study of a few known members of nearby open clusters with accurate Hipparcos parallaxes confirms these conclusions. Stronger magnetic fields tend to be found in hotter, younger and more massive stars, as well as in stars with shorter rotation periods. No evidence is found for any loss of angular momentum during the main-sequence life. The magnetic flux remains constant over the stellar life time on the main sequence. An excess of stars with large obliquities beta is detected in both higher and lower mass stars. The obliquity angle distribution as inferred from the distribution of r-values appears random at the time magnetic stars become observable on the H-R diagram. After quite a short time spent on the main sequence, the obliquity angle beta tends to reach values close to either 90 deg or 0 deg for M < 3 M_sun. The evolution of the obliquity angle beta seems to be somewhat different for low and high mass stars. While we find a strong hint for an increase of beta with the elapsed time on the main sequence for stars with M > 3 M_sun, no similar trend is found for stars with M < 3 M_sun. However, the predominance of high values of beta at advanced ages in these stars is notable. △ Less

Submitted 11 April, 2007; originally announced April 2007.

Comments: 16 pages, 22 figures, 5 tables, accepted for publication in AN

On the co-existence of chemically peculiar Bp stars, slowly pulsating B stars and constant B stars in the same part of the H-R diagram

Authors: M. Briquet, S. Hubrig, P. De Cat, C. Aerts, P. North, M. Scholler

Abstract: Aims. In order to better model massive B-type stars, we need to understand the physical processes taking place in slowly pulsating B (SPB) stars, chemically peculiar Bp stars, and non-pulsating normal B stars co-existing in the same part of the H-R diagram. Methods. We carry out a comparative study between samples of confirmed and well-studied SPB stars and a sample of well-studied Bp stars wi… ▽ More Aims. In order to better model massive B-type stars, we need to understand the physical processes taking place in slowly pulsating B (SPB) stars, chemically peculiar Bp stars, and non-pulsating normal B stars co-existing in the same part of the H-R diagram. Methods. We carry out a comparative study between samples of confirmed and well-studied SPB stars and a sample of well-studied Bp stars with known periods and magnetic field strengths. We determine their evolutionary state using accurate HIPPARCOS parallaxes and Geneva photometry. We discuss the occurrence and strengths of magnetic fields as well as the occurrence of stellar pulsation among both groups. Further, we make a comparison of Geneva photometric variability for both kinds of stars. Results. The group of Bp stars is significantly younger than the group of SPB stars. Longitudinal magnetic fields in SPB stars are weaker than those of Bp stars, suggesting that the magnetic field strength is an important factor for B type stars to become chemically peculiar. The strongest magnetic fields appear in young Bp stars, indicating a magnetic field decay in stars at advanced ages. Rotation periods of Bp and pulsation periods of SPB stars are of the same order and the behaviour of Geneva photometric variability of some Bp stars cannot be distinguished from the variability of SPB stars, illustrating the difficulty to interpret the observed variability of the order of days for B-type stars. We consider the possibility that pulsation could be responsible for the variability among chemically peculiar stars. In particular, we show that a non-linear pulsation model is not excluded by photometry for the Bp star HD175362. △ Less

Submitted 5 February, 2007; originally announced February 2007.

Comments: Accepted for publication in Astronomy & Astrophysics on 29/01/2007, 8 pages, 9 figures

Analysis of the eclipsing binaries in the LMC discovered by OGLE: Period distribution and frequency of the short-period binaries

Authors: Tsevi Mazeh, Omer Tamuz, Pierre North

Abstract: We review the results of our analysis of the OGLE LMC eclipsing binaries (Mazeh, Tamuz & North 2006), using EBAS -- Eclipsing Binary Automated Solver, an automated algorithm to fit lightcurves of eclipsing binaries (Tamuz, Mazeh & North 2006). After being corrected for observational selection effects, the set of detected eclipsing binaries yielded the period distribution and the frequency of a… ▽ More We review the results of our analysis of the OGLE LMC eclipsing binaries (Mazeh, Tamuz & North 2006), using EBAS -- Eclipsing Binary Automated Solver, an automated algorithm to fit lightcurves of eclipsing binaries (Tamuz, Mazeh & North 2006). After being corrected for observational selection effects, the set of detected eclipsing binaries yielded the period distribution and the frequency of all LMC short-period binaries, and not just the eclipsing systems. Somewhat surprisingly, the period distribution is consistent with a flat distribution in log P between 2 and 10 days. The total number of binaries with periods shorter than 10 days in the LMC was estimated to be about 5000. This figure led us to suggest that (0.7 +- 0.4)% of the main-sequence A- and B-type stars are found in binaries with periods shorter than 10 days. This frequency is substantially smaller than the fraction of binaries found by small Galactic radial-velocity surveys of B stars. △ Less

Submitted 15 November, 2006; originally announced November 2006.

Comments: 6 pages, 2 figures, submitted to Conference Proceedings of IAU Symp. 240

VLT/GIRAFFE spectroscopic observations of the metal-poor blue compact dwarf galaxy SBS 0335-052E

Authors: Y. Izotov, D. Schaerer, A. Blecha, F. Royer, N. Guseva, P. North

Abstract: We present two-dimensional spectroscopy of the extremely metal-deficient blue compact dwarf (BCD) galaxy SBS 0335-052E aiming to studyphysical conditions, element abundances and kinematical properties of the ionised gas in this galaxy. Observations were obtained in the spectral range 3620-9400A with the imaging spectrograph GIRAFFE installed on the UT2 of the Very Large Telescope (VLT). These ob… ▽ More We present two-dimensional spectroscopy of the extremely metal-deficient blue compact dwarf (BCD) galaxy SBS 0335-052E aiming to studyphysical conditions, element abundances and kinematical properties of the ionised gas in this galaxy. Observations were obtained in the spectral range 3620-9400A with the imaging spectrograph GIRAFFE installed on the UT2 of the Very Large Telescope (VLT). These observations are the first ones carried out so far with GIRAFFE in the ARGUS mode which allows to obtain simultaneously 308 spectra covering a 11.4"x7.3" region. We produced images of SBS 0335-052E in the continuum and in emission lines of different stages of excitation. We find that while the maximum of emission in the majority of lines, including the strong lines Hbeta 4861A, Halpha 6563A, [OIII] 4363,5007A, [OII] 3726,3729A, coincides with the youngest south-eastern star clusters 1 and 2, the emission of HeII 4686A line is offset to the more evolved north-west clusters 4,5. This suggests that hard ionising radiation responsible for the HeII 4686A emission is not related to the most massive youngest stars, but rather is connected with fast radiative shocks. This conclusion is supported by the kinematical properties of the ionised gas from the different emission lines as the velocity dispersion in the HeII 4686A line is systematically higher, by ~50%-100%, than that in other lines. The variations of the emission line profiles suggest the presence of an ionised gas outflow in the direction perpendicular to the galaxy disk. (abridged) △ Less

Submitted 9 August, 2006; originally announced August 2006.

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

Journal ref: A&A, 2006, 459, 71