-
History-Determinism vs Fair Simulation
Authors:
Udi Boker,
Thomas A. Henzinger,
Karoliina Lehtinen,
Aditya Prakash
Abstract:
An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracted particular attention for its applications in synthesis problems. An automaton $A$ is guidable with respect to a class $C$ of automata if it can fairly simulate every automaton in $C$ whose language is contained in that…
▽ More
An automaton is history-deterministic if its nondeterminism can be resolved on the fly, only using the prefix of the word read so far. This mild form of nondeterminism has attracted particular attention for its applications in synthesis problems. An automaton $A$ is guidable with respect to a class $C$ of automata if it can fairly simulate every automaton in $C$ whose language is contained in that of $A$. In other words, guidable automata are those for which inclusion and simulation coincide, making them particularly interesting for model-checking.
We study the connection between these two notions, and specifically the question of when they coincide. For classes of automata on which they do, deciding guidability, an otherwise challenging decision problem, reduces to deciding history-determinism, a problem that is starting to be well-understood for many classes.
We provide a selection of sufficient criteria for a class of automata to guarantee the coincidence of the notions, and use them to show that the notions coincide for the most common automata classes, among which are $ω$-regular automata and many infinite-state automata with safety and reachability acceptance conditions, including vector addition systems with states, one-counter nets, pushdown-, Parikh-, and timed-automata.
We also demonstrate that history-determinism and guidability do not always coincide, for example, for the classes of timed automata with a fixed number of clocks.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Light and colour of cirrus, translucent and opaque dust in the high-latitude area of LDN 1642
Authors:
K. Mattila,
P. Väisänen,
K. Lehtinen,
L. Haikala,
M. Haas
Abstract:
We have performed a 5-colour surface photometric study of the high-galactic-latitude area of dark nebula LDN 1642. Scattered light properties are presented of diffuse, translucent and opaque dust over the range of 3500 -- 5500 A. Far infrared absolute photometry at 200 um improves the precision of and provides a zero point to the extinction. The intensity of the scattered light depends on dust col…
▽ More
We have performed a 5-colour surface photometric study of the high-galactic-latitude area of dark nebula LDN 1642. Scattered light properties are presented of diffuse, translucent and opaque dust over the range of 3500 -- 5500 A. Far infrared absolute photometry at 200 um improves the precision of and provides a zero point to the extinction. The intensity of the scattered light depends on dust column density in a characteristic way: for optically thin dust the intensity first increases linearly, then turns to a saturation value; at still larger extinctions the intensity turns down to a slow decrease. The $A_V$ value of the saturated intensity maximum shifts in a systematic way, from $A_V\approx$ 1.5 mag at 3500 A, to $\sim 3$ mag at 5500 A. The intensity curves offer a straight-forward explanation for the behaviour of the scattered-light colours. At the intensity peak the colour agrees with the integrated starlight colour, while it is bluer at the low- and redder at the high-column-density side of the peak, respectively. These colour changes are a direct consequence of the wavelength dependence of the extinction. We have compared the colours of the LDN 1642 area with other relevant observational studies: high-latitude diffuse/translucent clouds, wide-field cirrus dust; and externally illuminated AGB-star envelopes. For extragalactic low-surface-brightness sources cirrus is an unwanted foreground contaminant. Our results for cirrus colours can help to distinguish cases where a diffuse plume or stream, apparently associated with a galaxy or a group or cluster, is more likely a local cirrus structure.
Keywords: ISM: dust, extinction -- ISM: clouds, individual LDN 1642 -- Galaxy: solar neighbourhood -- Astronomical instruments, methods and techniques: methods -- Physical data and processes: scattering
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism
Authors:
Antonio Casares,
Thomas Colcombet,
Nathanaël Fijalkow,
Karoliina Lehtinen
Abstract:
We study transformations of automata and games using Muller conditions into equivalent ones using parity or Rabin conditions. We present two transformations, one that turns a deterministic Muller automaton into an equivalent deterministic parity automaton, and another that provides an equivalent history-deterministic Rabin automaton. We show a strong optimality result: the obtained automata are mi…
▽ More
We study transformations of automata and games using Muller conditions into equivalent ones using parity or Rabin conditions. We present two transformations, one that turns a deterministic Muller automaton into an equivalent deterministic parity automaton, and another that provides an equivalent history-deterministic Rabin automaton. We show a strong optimality result: the obtained automata are minimal amongst those that can be derived from the original automaton by duplication of states. We introduce the notions of locally bijective morphisms and history-deterministic map**s to formalise the correctness and optimality of these transformations.
The proposed transformations are based on a novel structure, called the alternating cycle decomposition, inspired by and extending Zielonka trees. In addition to providing optimal transformations of automata, the alternating cycle decomposition offers fundamental information on their structure. We use this information to give crisp characterisations on the possibility of relabelling automata with different acceptance conditions and to perform a systematic study of a normal form for parity automata.
△ Less
Submitted 19 April, 2024; v1 submitted 7 May, 2023;
originally announced May 2023.
-
History-deterministic Timed Automata
Authors:
Sougata Bose,
Thomas A. Henzinger,
Karoliina Lehtinen,
Sven Schewe,
Patrick Totzke
Abstract:
We explore the notion of history-determinism in the context of timed automata (TA) over infinite timed words. History-deterministic (HD) automata are those in which nondeterminism can be resolved on the fly, based on the run constructed thus far. History-determinism is a robust property that admits different game-based characterisations, and HD specifications allow for game-based verification with…
▽ More
We explore the notion of history-determinism in the context of timed automata (TA) over infinite timed words. History-deterministic (HD) automata are those in which nondeterminism can be resolved on the fly, based on the run constructed thus far. History-determinism is a robust property that admits different game-based characterisations, and HD specifications allow for game-based verification without an expensive determinization step.
We show that the class of timed $ω$-languages recognised by HD timed automata strictly extends that of deterministic ones, and is strictly included in those recognised by fully non-deterministic TA.
For non-deterministic timed automata it is known that universality is already undecidable for safety/reachability TA. For history-deterministic TA with arbitrary parity acceptance, we show that timed universality, inclusion, and synthesis all remain decidable and are EXPTIME-complete.
For the subclass of TA with safety or reachability acceptance, one can decide (in EXPTIME) whether such an automaton is history-deterministic. If so, it can effectively determinized without introducing new automata states.
△ Less
Submitted 9 November, 2023; v1 submitted 6 April, 2023;
originally announced April 2023.
-
History-deterministic Parikh Automata
Authors:
Enzo Erlich,
Shibashis Guha,
Ismaël Jecker,
Karoliina Lehtinen,
Martin Zimmermann
Abstract:
Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run. Thereby, they preserve many of the desirable properties of finite automata. Deterministic Parikh automata are strictly weaker than nondeterministic ones, but enjoy better closure and algorithmic properties. This state of affairs motivates the study of intermediate…
▽ More
Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run. Thereby, they preserve many of the desirable properties of finite automata. Deterministic Parikh automata are strictly weaker than nondeterministic ones, but enjoy better closure and algorithmic properties. This state of affairs motivates the study of intermediate forms of nondeterminism. Here, we investigate history-deterministic Parikh automata, i.e., automata whose nondeterminism can be resolved on the fly. This restricted form of nondeterminism is well-suited for applications which classically call for determinism, e.g., solving games and composition. We show that history-deterministic Parikh automata are strictly more expressive than deterministic ones, incomparable to unambiguous ones, and enjoy almost all of the closure properties of deterministic automata.
△ Less
Submitted 31 August, 2023; v1 submitted 16 September, 2022;
originally announced September 2022.
-
Parikh Automata over Infinite Words
Authors:
Shibashis Guha,
Ismaël Jecker,
Karoliina Lehtinen,
Martin Zimmermann
Abstract:
Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run, thereby preserving many of the desirable algorithmic properties of finite automata. Here, we study the extension of the classical framework onto infinite inputs: We introduce reachability, safety, Büchi, and co-Büchi Parikh automata on infinite words and study exp…
▽ More
Parikh automata extend finite automata by counters that can be tested for membership in a semilinear set, but only at the end of a run, thereby preserving many of the desirable algorithmic properties of finite automata. Here, we study the extension of the classical framework onto infinite inputs: We introduce reachability, safety, Büchi, and co-Büchi Parikh automata on infinite words and study expressiveness, closure properties, and the complexity of verification problems.
We show that almost all classes of automata have pairwise incomparable expressiveness, both in the deterministic and the nondeterministic case; a result that sharply contrasts with the well-known hierarchy in the $ω$-regular setting. Furthermore, emptiness is shown decidable for Parikh automata with reachability or Büchi acceptance, but undecidable for safety and co-Büchi acceptance. Most importantly, we show decidability of model checking with specifications given by deterministic Parikh automata with safety or co-Büchi acceptance, but also undecidability for all other types of automata. Finally, solving games is undecidable for all types.
△ Less
Submitted 20 December, 2022; v1 submitted 15 July, 2022;
originally announced July 2022.
-
On the size of good-for-games Rabin automata and its link with the memory in Muller games
Authors:
Antonio Casares,
Thomas Colcombet,
Karoliina Lehtinen
Abstract:
In this paper, we look at good-for-games Rabin automata that recognise a Muller language (a language that is entirely characterised by the set of letters that appear infinitely often in each word). We establish that minimal such automata are exactly of the same size as the minimal memory required for winning Muller games that have this language as their winning condition. We show how to effectivel…
▽ More
In this paper, we look at good-for-games Rabin automata that recognise a Muller language (a language that is entirely characterised by the set of letters that appear infinitely often in each word). We establish that minimal such automata are exactly of the same size as the minimal memory required for winning Muller games that have this language as their winning condition. We show how to effectively construct such minimal automata. Finally, we establish that these automata can be exponentially more succinct than equivalent deterministic ones, thus proving as a consequence that chromatic memory for winning a Muller game can be exponentially larger than unconstrained memory.
△ Less
Submitted 29 April, 2022; v1 submitted 24 April, 2022;
originally announced April 2022.
-
On the Translation of Automata to Linear Temporal Logic
Authors:
Udi Boker,
Karoliina Lehtinen,
Salomon Sickert
Abstract:
While the complexity of translating future linear temporal logic (LTL) into automata on infinite words is well-understood, the size increase involved in turning automata back to LTL is not. In particular, there is no known elementary bound on the complexity of translating deterministic $ω$-regular automata to LTL. Our first contribution consists of tight bounds for LTL over a unary alphabet: alter…
▽ More
While the complexity of translating future linear temporal logic (LTL) into automata on infinite words is well-understood, the size increase involved in turning automata back to LTL is not. In particular, there is no known elementary bound on the complexity of translating deterministic $ω$-regular automata to LTL. Our first contribution consists of tight bounds for LTL over a unary alphabet: alternating, nondeterministic and deterministic automata can be exactly exponentially, quadratically and linearly more succinct, respectively, than any equivalent LTL formula. Our main contribution consists of a translation of general counter-free deterministic $ω$-regular automata into LTL formulas of double exponential temporal-nesting depth and triple exponential length, using an intermediate Krohn-Rhodes cascade decomposition of the automaton. To our knowledge, this is the first elementary bound on this translation. Furthermore, our translation preserves the acceptance condition of the automaton in the sense that it turns a loo**, weak, Büchi, coBüchi or Muller automaton into a formula that belongs to the matching class of the syntactic future hierarchy. In particular, it can be used to translate an LTL formula recognising a safety language to a formula belonging to the safety fragment of LTL (over both finite and infinite words).
△ Less
Submitted 8 May, 2022; v1 submitted 25 January, 2022;
originally announced January 2022.
-
Token Games and History-Deterministic Quantitative-Automata
Authors:
Udi Boker,
Karoliina Lehtinen
Abstract:
A nondeterministic automaton is history-deterministic if its nondeterminism can be resolved by only considering the prefix of the word read so far. Due to their good compositional properties, history-deterministic automata are useful in solving games and synthesis problems. Deciding whether a given nondeterministic automaton is history-deterministic (the HDness problem) is generally a difficult ta…
▽ More
A nondeterministic automaton is history-deterministic if its nondeterminism can be resolved by only considering the prefix of the word read so far. Due to their good compositional properties, history-deterministic automata are useful in solving games and synthesis problems. Deciding whether a given nondeterministic automaton is history-deterministic (the HDness problem) is generally a difficult task, which can involve an exponential procedure, or even be undecidable, as is the case for example with pushdown automata. Token games provide a PTime solution to the HDness problem of Büchi and coBüchi automata, and it is conjectured that 2-token games characterise HDness for all $ω$-regular automata.
We extend token games to the quantitative setting and analyse their potential to help deciding HDness of quantitative automata. In particular, we show that 1-token games characterise HDness for all quantitative (and Boolean) automata on finite words, as well as discounted-sum (DSum), Inf and Reachability automata on infinite words, and that 2-token games characterise HDness of LimInf and LimSup automata, as well as Sup automata on infinite words. Using these characterisations, we provide solutions to the HDness problem of Safety, Reachability, Inf and Sup automata on finite and infinite words in PTime, of DSum automata on finite and infinite words in NP$\cap$co-NP, of LimSup automata in quasipolynomial time, and of LimInf automata in exponential time, where the latter two are only polynomial for automata with a logarithmic number of weights.
△ Less
Submitted 2 November, 2023; v1 submitted 27 October, 2021;
originally announced October 2021.
-
History Determinism vs. Good for Gameness in Quantitative Automata
Authors:
Udi Boker,
Karoliina Lehtinen
Abstract:
Automata models between determinism and nondeterminism/alternations can retain some of the algorithmic properties of deterministic automata while enjoying some of the expressiveness and succinctness of nondeterminism. We study three closely related such models -- history determinism, good for gameness and determinisability by pruning -- on quantitative automata. While in the Boolean setting, histo…
▽ More
Automata models between determinism and nondeterminism/alternations can retain some of the algorithmic properties of deterministic automata while enjoying some of the expressiveness and succinctness of nondeterminism. We study three closely related such models -- history determinism, good for gameness and determinisability by pruning -- on quantitative automata. While in the Boolean setting, history determinism and good for gameness coincide, we show that this is no longer the case in the quantitative setting: good for gameness is broader than history determinism, and coincides with a relaxed version of it, defined with respect to thresholds. We further identify criteria in which history determinism, which is generally broader than determinisability by pruning, coincides with it, which we then apply to typical quantitative automata types. As a key application of good for games and history deterministic automata is synthesis, we clarify the relationship between the two notions and various quantitative synthesis problems. We show that good-for-games automata are central for "global" (classical) synthesis, while "local" (good-enough) synthesis reduces to deciding whether a nondeterministic automaton is history deterministic.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
Authors:
Shibashis Guha,
Ismaël Jecker,
Karoliina Lehtinen,
Martin Zimmermann
Abstract:
We study the expressiveness and succinctness of history-deterministic pushdown automata (HD-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of the input word. These are also known as good-for-games pushdown automata. We prove that HD-PDA recognise more languages than deterministic PDA (D…
▽ More
We study the expressiveness and succinctness of history-deterministic pushdown automata (HD-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of the input word. These are also known as good-for-games pushdown automata. We prove that HD-PDA recognise more languages than deterministic PDA (DPDA) but not all context-free languages (CFL). This class is orthogonal to unambiguous CFL. We further show that HD-PDA can be exponentially more succinct than DPDA, while PDA can be double-exponentially more succinct than HD-PDA. We also study HDness in visibly pushdown automata (VPA), which enjoy better closure properties than PDA, and for which we show that deciding HDness is ExpTime-complete. HD-VPA can be exponentially more succinct than deterministic VPA, while VPA can be exponentially more succinct than HD-VPA. Both of these lower bounds are tight. We then compare HD-PDA with PDA for which composition with games is well-behaved, i.e. good-for-games automata. We show that these two notions coincide, but only if we consider potentially infinitely branching games. Finally, we study the complexity of resolving nondeterminism in HD-PDA. Every HDPDA has a positional resolver, a function that resolves nondeterminism and that is only dependant on the current configuration. Pushdown transducers are sufficient to implement the resolvers of HD-VPA, but not those of HD-PDA. HD-PDA with finite-state resolvers are determinisable.
△ Less
Submitted 10 January, 2024; v1 submitted 6 May, 2021;
originally announced May 2021.
-
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
Authors:
Karoliina Lehtinen,
Paweł Parys,
Sven Schewe,
Dominik Wojtczak
Abstract:
Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity is exponential, while currently the state-of-the-art algorithms have quasipolynomial complexity. Here, we present a modification of Zielonka's classic algorithm that brings its complexity down to…
▽ More
Zielonka's classic recursive algorithm for solving parity games is perhaps the simplest among the many existing parity game algorithms. However, its complexity is exponential, while currently the state-of-the-art algorithms have quasipolynomial complexity. Here, we present a modification of Zielonka's classic algorithm that brings its complexity down to $n^{O\left(\log\left(1+\frac{d}{\log n}\right)\right)}$, for parity games of size $n$ with $d$ priorities, in line with previous quasipolynomial-time solutions.
△ Less
Submitted 11 January, 2022; v1 submitted 19 April, 2021;
originally announced April 2021.
-
On the Succinctness of Alternating Parity Good-for-Games Automata
Authors:
Udi Boker,
Denis Kuperberg,
Karoliina Lehtinen,
Michał Skrzypczak
Abstract:
We study alternating parity good-for-games (GFG) automata, i.e., alternating parity automata where both conjunctive and disjunctive choices can be resolved in an online manner, without knowledge of the suffix of the input word still to be read.
We show that they can be exponentially more succinct than both their nondeterministic and universal counterparts. Furthermore, we present a single expone…
▽ More
We study alternating parity good-for-games (GFG) automata, i.e., alternating parity automata where both conjunctive and disjunctive choices can be resolved in an online manner, without knowledge of the suffix of the input word still to be read.
We show that they can be exponentially more succinct than both their nondeterministic and universal counterparts. Furthermore, we present a single exponential determinisation procedure and an Exptime upper bound to the problem of recognising whether an alternating automaton is GFG. We also study the complexity of deciding "half-GFGness", a property specific to alternating automata that only requires nondeterministic choices to be resolved in an online manner. We show that this problem is PSpace-hard already for alternating automata on finite words.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
On Succinctness and Recognisability of Alternating Good-for-Games Automata
Authors:
Udi Boker,
Denis Kuperberg,
Karoliina Lehtinen,
Michał Skrzypczak
Abstract:
We study alternating good-for-games (GFG) automata, i.e., alternating automata where both conjunctive and disjunctive choices can be resolved in an online manner, without knowledge of the suffix of the input word still to be read. We show that they can be exponentially more succinct than both their nondeterministic and universal counterparts. Furthermore, we lift many results from nondeterministic…
▽ More
We study alternating good-for-games (GFG) automata, i.e., alternating automata where both conjunctive and disjunctive choices can be resolved in an online manner, without knowledge of the suffix of the input word still to be read. We show that they can be exponentially more succinct than both their nondeterministic and universal counterparts. Furthermore, we lift many results from nondeterministic parity GFG automata to alternating ones: a single exponential determinisation procedure, an Exptime upper bound to the GFGness problem, a PTime algorithm for the GFGness problem of weak automata, and a reduction from a positive solution to the $G_2$ conjecture to a PTime algorithm for the GFGness problem of parity automata with a fixed index. The $G_2$ conjecture states that a nondeterministic parity automaton A is GFG if and only if a token game, known as the $G_2$ game, played on A is won by the first player. So far, it had only been proved for Büchi automata; we provide further evidence for it by proving it for coBüchi automata. We also study the complexity of deciding "half-GFGness", a property specific to alternating automata that only requires nondeterministic choices to be resolved in an online manner. We show that this problem is strictly more difficult than GFGness check, already for alternating automata on finite words.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
Good-for-games $ω$-Pushdown Automata
Authors:
Karoliina Lehtinen,
Martin Zimmermann
Abstract:
We introduce good-for-games $ω$-pushdown automata ($ω$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the input processed so far. Good-for-gameness enables automata to be composed with games, trees, and other automata, applications which otherwise require deterministic automata. Our main results are that $ω$-GFG-PDA are more expressive than deterministic $ω$- pushdown a…
▽ More
We introduce good-for-games $ω$-pushdown automata ($ω$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the input processed so far. Good-for-gameness enables automata to be composed with games, trees, and other automata, applications which otherwise require deterministic automata. Our main results are that $ω$-GFG-PDA are more expressive than deterministic $ω$- pushdown automata and that solving infinite games with winning conditions specified by $ω$-GFG-PDA is EXPTIME-complete. Thus, we have identified a new class of $ω$-contextfree winning conditions for which solving games is decidable. It follows that the universality problem for $ω$-GFG-PDA is in EXPTIME as well. Moreover, we study closure properties of the class of languages recognized by $ω$-GFG- PDA and decidability of good-for-gameness of $ω$-pushdown automata and languages. Finally, we compare $ω$-GFG-PDA to $ω$-visibly PDA, study the resources necessary to resolve the nondeterminism in $ω$-GFG-PDA, and prove that the parity index hierarchy for $ω$-GFG-PDA is infinite.
This is a corrected version of the paper arXiv:2001.04392v6 published originally on January 7, 2022.
△ Less
Submitted 14 February, 2023; v1 submitted 13 January, 2020;
originally announced January 2020.
-
Good for Games Automata: From Nondeterminism to Alternation
Authors:
Udi Boker,
Karoliina Lehtinen
Abstract:
A word automaton recognizing a language $L$ is good for games (GFG) if its composition with any game with winning condition $L$ preserves the game's winner. While all deterministic automata are GFG, some nondeterministic automata are not. There are various other properties that are used in the literature for defining that a nondeterministic automaton is GFG, including "history-deterministic", "com…
▽ More
A word automaton recognizing a language $L$ is good for games (GFG) if its composition with any game with winning condition $L$ preserves the game's winner. While all deterministic automata are GFG, some nondeterministic automata are not. There are various other properties that are used in the literature for defining that a nondeterministic automaton is GFG, including "history-deterministic", "compliant with some letter game", "good for trees", and "good for composition with other automata". The equivalence of these properties has not been formally shown.
We generalize all of these definitions to alternating automata and show their equivalence. We further show that alternating GFG automata are as expressive as deterministic automata with the same acceptance conditions and indices. We then show that alternating GFG automata over finite words, and weak automata over infinite words, are not more succinct than deterministic automata, and that determinizing Büchi and co-Büchi alternating GFG automata involves a $2^{Θ(n)}$ state blow-up. We leave open the question of whether alternating GFG automata of stronger acceptance conditions allow for doubly-exponential succinctness compared to deterministic automata.
△ Less
Submitted 28 June, 2019; v1 submitted 27 June, 2019;
originally announced June 2019.
-
An Operational Guide to Monitorability
Authors:
Luca Aceto,
Antonis Achilleos,
Adrian Francalanza,
Anna Ingólfsdóttir,
Karoliina Lehtinen
Abstract:
Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum: the fewer monitor guarantees that are required, the more properties become monitorable. We present a mon…
▽ More
Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum: the fewer monitor guarantees that are required, the more properties become monitorable. We present a monitorability hierarchy and provide operational and syntactic characterisations for its levels. Existing monitorability definitions are mapped into our hierarchy, providing a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
Improving the complexity of Parys' recursive algorithm
Authors:
Karoliina Lehtinen,
Sven Schewe,
Dominik Wojtczak
Abstract:
Parys has recently proposed a quasi-polynomial version of Zielonka's recursive algorithm for solving parity games. In this brief note we suggest a variation of his algorithm that improves the complexity to meet the state-of-the-art complexity of broadly $2^{O((\log n)(\log c))}$, while providing polynomial bounds when the number of colours is logarithmic.
Parys has recently proposed a quasi-polynomial version of Zielonka's recursive algorithm for solving parity games. In this brief note we suggest a variation of his algorithm that improves the complexity to meet the state-of-the-art complexity of broadly $2^{O((\log n)(\log c))}$, while providing polynomial bounds when the number of colours is logarithmic.
△ Less
Submitted 5 June, 2019; v1 submitted 26 April, 2019;
originally announced April 2019.
-
Alternating Weak Automata from Universal Trees
Authors:
Laure Daviaud,
Marcin Jurdziński,
Karoliina Lehtinen
Abstract:
An improved translation from alternating parity automata on infinite words to alternating weak automata is given. The blow-up of the number of states is related to the size of the smallest universal ordered trees and hence it is quasi-polynomial, and only polynomial if the asymptotic number of priorities is logarithmic in the number of states. This is an exponential improvement on the translation…
▽ More
An improved translation from alternating parity automata on infinite words to alternating weak automata is given. The blow-up of the number of states is related to the size of the smallest universal ordered trees and hence it is quasi-polynomial, and only polynomial if the asymptotic number of priorities is logarithmic in the number of states. This is an exponential improvement on the translation of Kupferman and Vardi (2001) and a quasi-polynomial improvement on the translation of Boker and Lehtinen (2018). Any slightly better such translation would (if---like all presently known such translations---it is efficiently constructive) lead to algorithms for solving parity games that are asymptotically faster in the worst case than the current state of the art (Calude, Jain, Khoussainov, Li, and Stephan, 2017; Jurdziński and Lazić, 2017; and Fearnley, Jain, Schewe, Stephan, and Wojtczak, 2017), and hence it would yield a significant breakthrough.
△ Less
Submitted 4 July, 2019; v1 submitted 29 March, 2019;
originally announced March 2019.
-
Register Games
Authors:
Karoliina Lehtinen,
Udi Boker
Abstract:
The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. This article presents a third, independent approach to solving parity games in quasi-polynomial time, based on the notion of register game, a parameterised variant of a parity game. The analysis of register games leads to a quasi-polynomial algor…
▽ More
The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. This article presents a third, independent approach to solving parity games in quasi-polynomial time, based on the notion of register game, a parameterised variant of a parity game. The analysis of register games leads to a quasi-polynomial algorithm for parity games, a polynomial algorithm for restricted classes of parity games and a novel measure of complexity, the register index, which aims to capture the combined complexity of the priority assignement and the underlying game graph.
We further present a translation of alternating parity word automata into alternating weak automata with only a quasi-polynomial increase in size, based on register games; this improves on the previous exponential translation.
We also use register games to investigate the parity index hierarchy: while for words the index hierarchy of alternating parity automata collapses to the weak level, and for trees it is strict, for structures between trees and words, it collapses logarithmically, in the sense that any parity tree automaton of size n is equivalent, on these particular classes of structures, to an automaton with a number of priorities logarithmic in n.
△ Less
Submitted 18 May, 2020; v1 submitted 27 February, 2019;
originally announced February 2019.
-
The Cost of Monitoring Alone
Authors:
Luca Aceto,
Antonis Achilleos,
Adrian Francalanza,
Anna Ingólfsdóttir,
Karoliina Lehtinen
Abstract:
We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equivalent regular monitor, the cost of this transformation is a double-exponential blowup in the syntactic size of the monitors, and a triple-exponential blowup when the goal is a deterministic monitor. We show that these…
▽ More
We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equivalent regular monitor, the cost of this transformation is a double-exponential blowup in the syntactic size of the monitors, and a triple-exponential blowup when the goal is a deterministic monitor. We show that these bounds are tight and that they also hold for translations between corresponding fragments of Hennessy-Milner logic with recursion over infinite traces.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Adventures in Monitorability: From Branching to Linear Time and Back Again
Authors:
Luca Aceto,
Antonis Achilleos,
Adrian Francalanza,
Anna Ingólfsdóttir,
Karoliina Lehtinen
Abstract:
This paper establishes a comprehensive theory of runtime monitorability for Hennessy-Milner logic with recursion, a very expressive variant of the modal $μ$-calculus. It investigates the monitorability of that logic with a linear-time semantics and then compares the obtained results with ones that were previously presented in the literature for a branching-time setting. Our work establishes an exp…
▽ More
This paper establishes a comprehensive theory of runtime monitorability for Hennessy-Milner logic with recursion, a very expressive variant of the modal $μ$-calculus. It investigates the monitorability of that logic with a linear-time semantics and then compares the obtained results with ones that were previously presented in the literature for a branching-time setting. Our work establishes an expressiveness hierarchy of monitorable fragments of Hennessy-Milner logic with recursion in a linear-time setting and exactly identifies what kinds of guarantees can be given using runtime monitors for each fragment in the hierarchy. Each fragment is shown to be complete, in the sense that it can express all properties that can be monitored under the corresponding guarantees. The study is carried out using a principled approach to monitoring that connects the semantics of the logic and the operational semantics of monitors. The proposed framework supports the automatic, compositional synthesis of correct monitors from monitorable properties.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Optical and UV surface brightness of translucent dark nebulae: Dust albedo, radiation field and fluorescence emission by H2
Authors:
K. Mattila,
M. Haas,
L. K. Haikala,
Y-S. Jo,
K. Lehtinen,
Ch. Leinert,
P. Vaeisaenen
Abstract:
Photometry of the nebulae LDN1780, LDN1642 and LBN406 is used to derive scattering properties of dust and to investigate the presence of UV fluorescence emission by molecular hydrogen and the extended red emission (ERE). We used multi-wavelength optical photometry and imaging at ground-based telescopes and archival imaging and spectroscopic UV data from the spaceborn GALEX and SPEAR/FIMS instrumen…
▽ More
Photometry of the nebulae LDN1780, LDN1642 and LBN406 is used to derive scattering properties of dust and to investigate the presence of UV fluorescence emission by molecular hydrogen and the extended red emission (ERE). We used multi-wavelength optical photometry and imaging at ground-based telescopes and archival imaging and spectroscopic UV data from the spaceborn GALEX and SPEAR/FIMS instruments. We used Monte Carlo RT and both observational data and synthetic models for the ISRF in the solar neighbourhood. The line-of-sight extinctions through the clouds have been determined using near infrared excesses of background stars and the 200/250um far infrared emission by dust measured using the ISO and Herschel space observatories. The optical surface brightness of the target clouds can be explained in terms of scattered light. The dust albedo ranges from 0.58 at 3500A to 0.72 at 7500A. The SED of LDN1780 is explained in terms of optical depth and background scattered light effects instead of ERE. The FUV surface brightness of LDN 1780 cannot be explained by scattered light only. In LDN1780 H2 fluorescent emission in the wavelength range 1400A-1700A has been detected and analysed. Our albedo values agree with the predictions of the dust model of Weingartner and Draine and with the THEMIS CMM model for evolved core-mantle grains. The H2 fluorescent emission in LDN1780 shows a pronounced dichotomy with a preference for its southern side where enhanced illumination im**es from the Sco OB2 association and the O star zeta Oph. A good correlation is found between the H2 fluorescence and a previously mapped 21-cm excess emission. The H2 fluorescence emission in LDN1780 has been modelled using a PDR code; the resulting values for H2 column density and the total gas density are consistent with the estimates derived from CO observations and optical extinction along the line of sight.
△ Less
Submitted 16 June, 2018;
originally announced June 2018.
-
Digitization and astrometric calibration of Carte du Ciel photographic plates with Gaia~DR1
Authors:
K. Lehtinen,
T. Prusti,
J. de Bruijne,
U. Lammers,
C. F. Manara,
J. -U. Ness,
T. Markkanen,
M. Poutanen,
K. Muinonen
Abstract:
We want to study whether the astrometric and photometric accuracies obtained for the Carte du Ciel plates digitized with a commercial digital camera are high enough for scientific exploitation of the plates.
We use a digital camera Canon EOS~5Ds, with a 100mm macrolens for digitizing. We analyze six single-exposure plates and four triple-exposure plates from the Helsinki zone of Carte du Ciel (+…
▽ More
We want to study whether the astrometric and photometric accuracies obtained for the Carte du Ciel plates digitized with a commercial digital camera are high enough for scientific exploitation of the plates.
We use a digital camera Canon EOS~5Ds, with a 100mm macrolens for digitizing. We analyze six single-exposure plates and four triple-exposure plates from the Helsinki zone of Carte du Ciel (+39 degr < delta < 47 degr). Each plate is digitized using four images, with a significant central area being covered twice for quality control purposes. The astrometric calibration of the digitized images is done with the data from the Gaia TGAS (Tycho-Gaia Astrometric Solution) of the first Gaia data release (Gaia DR1), Tycho-2, HSOY (Hot Stuff for One Year), UCAC5 (USNO CCD Astrograph Catalog), and PMA catalogs.
The best astrometric accuracy is obtained with the UCAC5 reference stars. The astrometric accuracy for single-exposure plates is sigma(R.A.)=0.16" and sigma(Dec.)=0.15" expressed as a Gaussian deviation of the astrometric residuals. For triple-exposure plates the astrometric accuracy is sigma(R.A.)=0.12" and sigma(Dec.)=0.13". The 1-sigma uncertainty of photometric calibration is about 0.28 mag and 0.24 mag for single- and triple-exposure plates, respectively. We detect the photographic adjacency (Kostinsky) effect in the triple-exposure plates.
We show that accuracies at least of the level of scanning machines can be achieved with a digital camera, without any corrections for possible distortions caused by our instrumental setup. This method can be used to rapidly and inexpensively digitize and calibrate old photographic plates enabling their scientific exploitation.
△ Less
Submitted 22 May, 2018;
originally announced May 2018.
-
Radio interferometric observation of an asteroid occultation
Authors:
Jorma Harju,
Kimmo Lehtinen,
Jonathan Romney,
Leonid Petrov,
Mikael Granvik,
Karri Muinonen,
Uwe Bach,
Markku Poutanen
Abstract:
The occultation of the radio galaxy 0141+268 by the asteroid (372) Palma on 2017 May 15 was observed using six antennas of the Very Long Baseline Array (VLBA). The shadow of Palma crossed the VLBA station at Brewster, Washington. Owing to the wavelength used, and the size and the distance of the asteroid, a diffraction pattern in the Fraunhofer regime was observed. The measurement retrieves both t…
▽ More
The occultation of the radio galaxy 0141+268 by the asteroid (372) Palma on 2017 May 15 was observed using six antennas of the Very Long Baseline Array (VLBA). The shadow of Palma crossed the VLBA station at Brewster, Washington. Owing to the wavelength used, and the size and the distance of the asteroid, a diffraction pattern in the Fraunhofer regime was observed. The measurement retrieves both the amplitude and the phase of the diffracted electromagnetic wave. This is the first astronomical measurement of the phase shift caused by diffraction. The maximum phase shift is sensitive to the effective diameter of the asteroid. The bright spot at the shadow's center, the so called Arago--Poisson spot, is clearly detected in the amplitude time-series, and its strength is a good indicator of the closest angular distance between the center of the asteroid and the radio source. A sample of random shapes constructed using a Markov chain Monte Carlo algorithm suggests that the silhouette of Palma deviates from a perfect circle by 26+-13%. The best-fitting random shapes resemble each other, and we suggest their average approximates the shape of the silhouette at the time of the occultation. The effective diameter obtained for Palma, 192.1+-4.8 km, is in excellent agreement with recent estimates from thermal modeling of mid-infrared photometry. Finally, our computations show that because of the high positional accuracy, a single radio interferometric occultation measurement can reduce the long-term ephemeris uncertainty by an order of magnitude.
△ Less
Submitted 13 September, 2018; v1 submitted 16 April, 2018;
originally announced April 2018.
-
The Descriptive Complexity of Modal $μ$ Model-checking Games
Authors:
Karoliina Lehtinen
Abstract:
This paper revisits the well-established relationship between the modal mu calculus and parity games to show that it is even more robust than previously known. It addresses the question of whether the descriptive complexity of modal mu model-checking games, previously known to depend on the syntactic complexity of a formula, depends in fact on its semantic complexity. It shows that up to formulas…
▽ More
This paper revisits the well-established relationship between the modal mu calculus and parity games to show that it is even more robust than previously known. It addresses the question of whether the descriptive complexity of modal mu model-checking games, previously known to depend on the syntactic complexity of a formula, depends in fact on its semantic complexity. It shows that up to formulas of semantic co-Büchi complexity, the descriptive complexity of their model-checking games coincides exactly with their semantic complexity. Beyond co-Büchi, the descriptive complexity of the model-checking parity games of a formula is shown to be an upper bound on its semantic complexity; whether it is also a lower bound remains an open question.
△ Less
Submitted 7 September, 2017; v1 submitted 16 August, 2017;
originally announced August 2017.
-
Extragalactic background Light: a measurement at 400 nm using dark cloud shadow II. Spectroscopic separation of dark cloud's light, and results
Authors:
K. Mattila,
P. Väisänen,
K. Lehtinen,
G. von Appen-Schnur,
Ch. Leinert
Abstract:
In a project aimed at measuring the optical Extragalactic Background Light (EBL) we are using the shadow of a dark cloud.We have performed, with the ESO VLT/FORS, spectrophotometry of the surface brightness towards the high-galactic-latitude dark cloud Lynds 1642. A spectrum representing the difference between the opaque core of the cloud and several unobscured positions around the cloud was prese…
▽ More
In a project aimed at measuring the optical Extragalactic Background Light (EBL) we are using the shadow of a dark cloud.We have performed, with the ESO VLT/FORS, spectrophotometry of the surface brightness towards the high-galactic-latitude dark cloud Lynds 1642. A spectrum representing the difference between the opaque core of the cloud and several unobscured positions around the cloud was presented in Paper I (Mattila et al. 2017a). The topic of the present paper is the separation of the scattered starlight from the dark cloud itself which is the only remaining foreground component in this difference. While the scattered starlight spectrum has the characteristic Fraunhofer lines and the discontinuity at 400 nm, typical of integrated light of galaxies, the EBL spectrum is a smooth one without these features. As template for the scattered starlight we make use of the spectra at two semi-transparent positions. The resulting EBL intensity at 400 nm is $I_{\rm EBL} = 2.9\pm1.1$ $10^{-9}$ erg cm$^{-2}$s$^{-1}$sr$^{-1}$Å$^{-1}$, or $11.6\pm4.4$ nW m$^{-2}$sr$^{-1}$, which represents a 2.6$σ$ detection; the scaling uncertainty is +20%/-16%. At 520 nm we have set a 2$σ$ upper limit of $I_{\rm EBL} \le$4.5 $10^{-9}$ erg cm$^{-2}$s$^{-1}$sr$^{-1}$Å$^{-1}$ or $\le$23.4 nW m$^{-2}$sr$^{-1}$ +20%/-16%. Our EBL value at 400 nm is $\ge 2$ times as high as the integrated light of galaxies. No known diffuse light sources, such as light from Milky Way halo, intra-cluster or intra-group stars appear capable of explaining the observed EBL excess over the integrated light of galaxies.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
Extragalactic Background Light: a measurement at 400 nm using dark cloud shadow I. Low surface brightness spectrophotometry in the area of Lynds 1642
Authors:
K. Mattila,
K. Lehtinen,
P. Väisänen,
G. von Appen-Schnur,
Ch. Leinert
Abstract:
We present the method and observations for the measurement of the Extragalactic Background Light (EBL) utilizing the shadowing effect of a dark cloud. We measure the surface brightness difference between the opaque cloud core and its unobscured surroundings. In the difference the large atmospheric and Zodiacal light components are eliminated and the only remaining foreground component is the scatt…
▽ More
We present the method and observations for the measurement of the Extragalactic Background Light (EBL) utilizing the shadowing effect of a dark cloud. We measure the surface brightness difference between the opaque cloud core and its unobscured surroundings. In the difference the large atmospheric and Zodiacal light components are eliminated and the only remaining foreground component is the scattered starlight from the cloud itself. Although much smaller, its separation is the key problem in the method. For its separation we use spectroscopy. While the scattered starlight has the characteristic Fraunhofer lines and 400 nm discontinuity the EBL spectrum is smooth and without these features. Medium resolution spectrophotometry at $λ$ = 380 - 580 nm was performed with ${VLT}$/FORS at ESO of the surface brightness in and around the high-galactic-latitude dark cloud Lynds 1642. Besides the spectrum for the core with $A_V \ge 15$ mag, further spectra were obtained for intermediate-opacity cloud positions. They are used as proxy for the spectrum of the im**ing starlight spectrum and facilitate the separation of the scattered starlight (cf. Paper II, Mattila et al. 2017b). Our spectra reach a precision of $\sim 0.5$ $10^{-9}$ erg cm$^{-2}$s$^{-1}$sr$^{-1}$Å$^{-1}$ as required to measure an EBL intensity in range of $\sim$1 to a few times $10^{-9}$ erg cm$^{-2}$s$^{-1}$sr$^{-1}$Å$^{-1}$. Because all surface brightness components are measured using the same equipment the method does not require unusually high absolute calibration accuracy, a condition which has been a problem for some previous EBL projects
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
$Σ^μ_2$ is decidable for $Π^μ_2$
Authors:
Karoliina Lehtinen,
Sandra Quickert
Abstract:
Given a $Π^μ_2$ formula of the modal $μ$ calculus, it is decidable whether it is equivalent to a $Σ^μ_2$ formula.
Given a $Π^μ_2$ formula of the modal $μ$ calculus, it is decidable whether it is equivalent to a $Σ^μ_2$ formula.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
Disjunctive form and the modal $μ$ alternation hierarchy
Authors:
Karoliina Lehtinen
Abstract:
This paper studies the relationship between disjunctive form, a syntactic normal form for the modal mu calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation depth. However, tableau equivalence only preserves alternation depth for the disjunctive fragment: there are disjunctive formulas with arbitraril…
▽ More
This paper studies the relationship between disjunctive form, a syntactic normal form for the modal mu calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation depth. However, tableau equivalence only preserves alternation depth for the disjunctive fragment: there are disjunctive formulas with arbitrarily high alternation depth that are tableau equivalent to alternation-free non-disjunctive formulas. Conversely, there are non-disjunctive formulas of arbitrarily high alternation depth that are tableau equivalent to disjunctive formulas without alternations. This answers negatively the so far open question of whether disjunctive form preserves alternation depth. The classes of formulas studied here illustrate a previously undocumented type of avoidable syntactic complexity which may contribute to our understanding of why deciding the alternation hierarchy is still an open problem.
△ Less
Submitted 10 September, 2015;
originally announced September 2015.
-
Spectroscopy of diffuse light in dust clouds. Scattered light and the solar neighbourhood radiation field
Authors:
K. Lehtinen,
K. Mattila
Abstract:
The optical surface brightness of dark nebulae is mainly due to scattering of integrated starlight by classical dust grains. It contains information on the im**ing interstellar radiation field, cloud structure, and grain scattering properties. We have obtained spectra of the scattered light from 3500 to 9000 Angstrom in two globules, the Thumbprint Nebula and DC303.8-14.2.
We use observations…
▽ More
The optical surface brightness of dark nebulae is mainly due to scattering of integrated starlight by classical dust grains. It contains information on the im**ing interstellar radiation field, cloud structure, and grain scattering properties. We have obtained spectra of the scattered light from 3500 to 9000 Angstrom in two globules, the Thumbprint Nebula and DC303.8-14.2.
We use observations of the scattered light to study the im**ing integrated starlight spectrum as well as the scattered H-alpha and other line emissions from all over the sky. We search also for the presence of other than scattered light in the two globules.
We obtained long-slit spectra encompassing the whole globule plus adjacent sky in a one-slit setting, thus enabling efficient elimination of airglow and other foreground sky components. We calculated synthetic integrated starlight spectra for the solar neighbourhood using HIPPARCOS-based stellar distributions and the spectral library of Pickles.
Spectra are presented separately for the bright rims and dark cores of the globules. The continuum spectral energy distributions and absorption line spectra can be well modelled with the synthetic integrated starlight spectra. Emission lines of H-alpha + NII, H-beta, and SII are detected and are interpreted in terms of scattered light plus an in situ warm ionized medium component behind the globules. We detected an excess of emission over the wavelength range 5200-8000 Angstrom in DC303.8-14.2 but the nature of this emission remains open.
△ Less
Submitted 30 November, 2012;
originally announced November 2012.
-
Observations of 6 - 200 μm emission of the Ophiuchus cloud LDN 1688
Authors:
M. G. Rawlings,
M. Juvela,
K. Lehtinen,
K. Mattila,
D. Lemke
Abstract:
We examine two positions, ON1 and ON2, within the Ophiuchus cloud LDN 1688 using observations made with the ISOPHOT instrument aboard the ISO satellite. The data include mid-IR spectra (~6-12μm) and several photometric bands up to 200μm. The data probe the emission from molecular PAH-type species, transiently-heated Very Small Grains (VSGs), and large classical dust grains. We compare the observat…
▽ More
We examine two positions, ON1 and ON2, within the Ophiuchus cloud LDN 1688 using observations made with the ISOPHOT instrument aboard the ISO satellite. The data include mid-IR spectra (~6-12μm) and several photometric bands up to 200μm. The data probe the emission from molecular PAH-type species, transiently-heated Very Small Grains (VSGs), and large classical dust grains. We compare the observations to earlier studies, especially those carried out towards an isolated translucent cloud in Chamaeleon (Paper I). The spectra towards the two LDN 1688 positions are very similar to each other, in spite of position ON1 having a larger column density and probably being subjected to a stronger radiation field. The ratios of the mid-IR features are similar to those found in other diffuse and translucent clouds. Compared to paper I, the 7.7/11.3μm band ratios are lower, ~2.0, at both LDN 1688 positions. A continuum is detected in the ~10μm region. This is stronger towards the position ON1 but still lower than on any of the sightlines in Paper I. The far-infrared opacities are higher than for diffuse medium. The value of the position ON2, τ200/N(H) = 3.9 x 10^{-25} cm^2/H, is twice the value found for ON1. The radiation field of LDN 1688 is dominated by the two embedded B type double stars, ρ Oph AB and HD 147889, with an additional contribution from the Upper Sco OB association. The strong heating is reflected in the high colour temperature, ~24 K, of the large grain emission. Radiative transfer modelling confirms a high level of the radiation field and points to an increased abundance of PAH grains. However, when the hardening of the radiation field caused by the local B-stars is taken into account, the observations can be fitted with almost no change to the standard dust models. However, all the examined models underestimate the level of the mid-IR continuum.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Spectrophotometric measurement of the Extragalacic Background Light
Authors:
Kalevi Mattila,
Kimmo Lehtinen,
Petri Vaisanen,
Gerhard von Appen-Schnur,
Christoph Leinert
Abstract:
The Extragalactic Background Light (EBL) at UV, optical and NIR wavelengths consists of the integrated light of all unresolved galaxies along the line of sight plus any contributions by intergalactic matter including hypothetical decaying relic particles. The measurement of the EBL has turned out to be a tedious problem. This is because of the foreground components of the night sky brightness, muc…
▽ More
The Extragalactic Background Light (EBL) at UV, optical and NIR wavelengths consists of the integrated light of all unresolved galaxies along the line of sight plus any contributions by intergalactic matter including hypothetical decaying relic particles. The measurement of the EBL has turned out to be a tedious problem. This is because of the foreground components of the night sky brightness, much larger than the EBL itself: the Zodiacal Light (ZL), Integrated Starlight (ISL), Diffuse Galactic Light (DGL) and, for ground-based observations, the Airglow (AGL) and the tropospheric scattered light. We have been develo** a method for the EBL measurement which utilises the screening effect of a dark nebula on the EBL. A differential measurement in the direction of a high-latitude dark nebula and its surrounding area provides a signal that is due to two components only, i.e. the EBL and the diffusely scattered ISL from the cloud. We present a progress report of this method where we are now utilising intermediate resolution spectroscopy with ESO's VLT telescope. We detect and remove the scattered ISL component by using its characteristic Fraunhofer line spectral signature. In contrast to the ISL, in the EBL spectrum all spectral lines are washed out. We present a high quality spectrum representing the difference between an opaque position within our target cloud and several clear OFF positions around the cloud. We derive a preliminary EBL value at 400 nm and an upper limit to the EBL at 520 nm. These values are in the same range as the EBL lower limits derived from galaxy counts.
△ Less
Submitted 29 November, 2011;
originally announced November 2011.
-
Scattered H-alpha emission from a large translucent cloud G294-24
Authors:
K. Lehtinen,
M. Juvela,
K. Mattila
Abstract:
We study an undocumented large translucent cloud, detected by means of its enhanced radiation on the SHASSA (Southern H-Alpha Sky Survey Atlas) survey. We consider whether its excess surface brightness can be explained by light scattered off the dust grains in the cloud, or whether emission from in situ ionized gas is required. In addition, we aim to determine the temperature of dust, the mass of…
▽ More
We study an undocumented large translucent cloud, detected by means of its enhanced radiation on the SHASSA (Southern H-Alpha Sky Survey Atlas) survey. We consider whether its excess surface brightness can be explained by light scattered off the dust grains in the cloud, or whether emission from in situ ionized gas is required. In addition, we aim to determine the temperature of dust, the mass of the cloud, and its possible star formation activity. We compare the observed H-alpha surface brightness of the cloud with predictions of a radiative transfer model. We use the WHAM (Wisconsin H-Alpha Mapper) survey as a source for the Galactic H-alpha interstellar radiation field illuminating the cloud. Visual extinction through the cloud is derived using 2MASS J, H, and K band photometry. We use far-IR ISOSS (ISO Serendipitous Survey), IRAS, and DIRBE data to study the thermal emission of dust. The LAB (The Leiden/Argentine/Bonn Galactic HI Survey) is used to study 21cm HI emission associated with the cloud. Radiative transfer calculations of the Galactic diffuse H-alpha radiation indicate that the surface brightness of the cloud can be explained solely by radiation scattered off dust particles in the cloud. The maximum visual extinction through the cloud is about 1.2mag. The cloud is found to be associated with 21cm HI emission at a velocity of about -9 km/s. The total mass of the cloud is about 550-1000 solar masses. There is no sign of star formation in this cloud. The distance of the cloud is estimated from the Hipparcos data to be about 100 pc.
△ Less
Submitted 17 May, 2010;
originally announced May 2010.
-
Detection of 6 K gas in Ophiuchus D
Authors:
J. Harju,
M. Juvela,
S. Schlemmer,
L. K. Haikala,
K. Lehtinen,
K. Mattila
Abstract:
Cold cores in interstellar molecular clouds represent the very first phase in star formation. The physical conditions of these objects are studied in order to understand how molecular clouds evolve and how stellar masses are determined. The purpose of this study is to probe conditions in the dense, starless clump Ophichus D (Oph D). The ground-state (1(10)-1(11)) rotational transition of ortho-H…
▽ More
Cold cores in interstellar molecular clouds represent the very first phase in star formation. The physical conditions of these objects are studied in order to understand how molecular clouds evolve and how stellar masses are determined. The purpose of this study is to probe conditions in the dense, starless clump Ophichus D (Oph D). The ground-state (1(10)-1(11)) rotational transition of ortho-H2D+ was observed with APEX towards the density peak of Oph D. The width of the H2D+ line indicates that the kinetic temperature in the core is about 6 K. So far, this is the most direct evidence of such cold gas in molecular clouds. The observed H2D+ spectrum can be reproduced with a hydrostatic model with the temperature increasing from about 6 K in the centre to almost 10 K at the surface. The model is unstable against any increase in the external pressure, and the core is likely to form a low-mass star. The results suggest that an equilibrium configuration is a feasible intermediate stage of star formation even if the larger scale structure of the cloud is thought to be determined by turbulent fragmentation. In comparison with the isothermal case, the inward decrease in the temperature makes smaller, i.e. less massive, cores susceptible to externally triggered collapse.
△ Less
Submitted 13 February, 2008;
originally announced February 2008.
-
ISO far infrared observations of the high latitude cloud L1642. II. Correlated variations of far-infrared emissivity and temperature of "classical large" dust particles
Authors:
K. Lehtinen,
M. Juvela,
K. Mattila,
D. Lemke,
D. Russeil
Abstract:
Our aim is to compare the infrared properties of big, ``classical'' dust grains with visual extinction in the cloud L1642. In particular, we study the differences of grain emissivity between diffuse and dense regions in the cloud. The far-infrared properties of dust are based on large-scale 100um and 200um maps. Extinction through the cloud has been derived by using the star count method at B- a…
▽ More
Our aim is to compare the infrared properties of big, ``classical'' dust grains with visual extinction in the cloud L1642. In particular, we study the differences of grain emissivity between diffuse and dense regions in the cloud. The far-infrared properties of dust are based on large-scale 100um and 200um maps. Extinction through the cloud has been derived by using the star count method at B- and I-bands, and color excess method at J, H and Ks bands. Radiative transfer calculations have been used to study the effects of increasing absorption cross-section on the far-infrared emission and dust temperature. Dust emissivity, measured by the ratio of far-infrared optical depth to visual extinction, tau(far-IR)/A(V), increases with decreasing dust temperature in L1642. There is about two-fold increase of emissivity over the dust temperature range of 19K-14K. Radiative transfer calculations show that in order to explain the observed decrease of dust temperature towards the centre of L1642 an increase of absorption cross-section of dust at far-IR is necessary.This temperature decrease cannot be explained solely by the attenuation of interstellar radiation field. Increased absorption cross-section manifests itself also as an increased emissivity. We find that, due to temperature effects, the apparent value of optical depth tau(far-IR), derived from 100um and 200um intensities, is always lower than the true optical depth.
△ Less
Submitted 26 January, 2007;
originally announced January 2007.
-
A comparison of density structures of a star forming and a non-star-forming globule. DCld303.8-14.2 and Thumbprint Nebula
Authors:
J. Kainulainen,
K. Lehtinen,
P. Vaisanen,
L. Bronfman,
J. Knude
Abstract:
We present a study of radial density structure of the star forming globule, DCld303.8-14.2 (DC303), and a non-star forming globule, Thumbprint Nebula (TPN), using near-infrared data taken with the ISAAC instrument on the Very Large Telescope. We derive the extinction through the globules using the color excess technique and examine the radial density distribution using Bonnor-Ebert and power-law…
▽ More
We present a study of radial density structure of the star forming globule, DCld303.8-14.2 (DC303), and a non-star forming globule, Thumbprint Nebula (TPN), using near-infrared data taken with the ISAAC instrument on the Very Large Telescope. We derive the extinction through the globules using the color excess technique and examine the radial density distribution using Bonnor-Ebert and power-law models. The two globules have significantly different density structures. The extinction profile of DC303 is best fitted with a single power-law with an exponent p = 2.29 \pm 0.08. An unstable Bonnor-Ebert model with a dimensionless parameter ξ_max = 23 \pm 3 provides equally good fit to data. The extinction profile of TPN flattens at small radii, making the profile significantly different from the profile of DC303. We are unable to fit the Bonnor-Ebert model for TPN in a robust manner, but derive the lower limit ξ_max > 8 for the dimensionless outer edge. The density profile derived for TPN is typical compared to recently observed pre-protostellar globules, with high ξ_max value which could be interpreted as the presence of significant additional support or very slow contraction.
△ Less
Submitted 8 December, 2006;
originally announced December 2006.
-
Scattered H-alpha light from Galactic dust clouds
Authors:
K. Mattila,
M. Juvela,
K. Lehtinen
Abstract:
Bright emission nebulae, or HII regions, around hot stars are readily seen in H-alpha light. However, the all-pervasive faint H-alpha emission has only recently been detected and mapped over the whole sky. Mostly the H-alpha emission observed along a line of sight is produced by ionised gas in situ. There are, however, cases where all or most of the H-alpha radiation is due to scattering by elec…
▽ More
Bright emission nebulae, or HII regions, around hot stars are readily seen in H-alpha light. However, the all-pervasive faint H-alpha emission has only recently been detected and mapped over the whole sky. Mostly the H-alpha emission observed along a line of sight is produced by ionised gas in situ. There are, however, cases where all or most of the H-alpha radiation is due to scattering by electrons or dust particles which are illuminated by an H-alpha emitting source off the line of sight. Here we demonstrate that diffuse, translucent and dark dust clouds at high galactic latitudes are in many cases observed to have an excess of diffuse H-alpha surface brightness, i.e. they are brighter than the surrounding sky. We show that the majority of this excess surface brightness can be understood as light scattered off the interstellar dust grains. The source of incident photons is the general Galactic H-alpha background radiation im**ing on the dust clouds from all over the sky.
△ Less
Submitted 20 November, 2006; v1 submitted 9 October, 2006;
originally announced October 2006.
-
C18O (3-2) observations of the Cometary Globule CG 12: a cold core and a C18O hot spot
Authors:
L. K. Haikala,
M. Juvela,
J. Harju,
K. Lehtinen,
K. Mattila,
M. Dumke
Abstract:
The feasibility of observing the C18O (3-2) spectral line in cold clouds with the APEX telescope has been tested. As the line at 329.330 GHz lies in the wing of a strong atmospheric H2O absorption it can be observed only at high altitude observatories. Using the three lowest rotational levels instead of only two helps to narrow down the physical properties of dark clouds and globules. The centre…
▽ More
The feasibility of observing the C18O (3-2) spectral line in cold clouds with the APEX telescope has been tested. As the line at 329.330 GHz lies in the wing of a strong atmospheric H2O absorption it can be observed only at high altitude observatories. Using the three lowest rotational levels instead of only two helps to narrow down the physical properties of dark clouds and globules. The centres of two C18O maxima in the high latitude low mass star forming region CG 12 were mapped in C18O (3-2) and the data were analyzed together with spectral line data from the SEST. The T_MB(3-2)/T_MB(2-1) ratio in the northern C18O maximum, CG 12 N, is 0.8, and in the southern maximum, CG 12 S, ~2. CG 12 N is modelled as a 120'' diameter (0.4pc) cold core with a mass of 27 Msun. A small size maximum with a narrow, 0.8 kms-1, C18O (3-2) spectral line with a peak temperature of T_MB ~11 K was detected in CG 12 S. This maximum is modelled as a 60'' to 80'' diameter (~0.2pc) hot (80 K < Tex < 200 K) ~1.6 Msun clump. The source lies on the axis of a highly collimated bipolar molecular outflow near its driving source. This is the first detection of such a compact, warm object in a low mass star forming region.
△ Less
Submitted 6 June, 2006;
originally announced June 2006.
-
Detection of H2D+ in a massive prestellar core in Orion B
Authors:
J. Harju,
L. K. Haikala,
K. Lehtinen,
M. Juvela,
K. Mattila,
O. Miettinen,
M. Dumke,
R. Guesten,
L. -AA. Nyman
Abstract:
Aims. The purpose of this study is to examine the prediction that the deuterated H3+ ion, H2D+, can be found exclusively in the coldest regions of molecular cloud cores. This is also a feasibility study for the detection of the ground-state line of ortho-H2D+ at 372 GHz with APEX.
Methods. The 1(10)-1(11) transition of H2D+ at 372 GHz was searched towards selected positions in the massive star…
▽ More
Aims. The purpose of this study is to examine the prediction that the deuterated H3+ ion, H2D+, can be found exclusively in the coldest regions of molecular cloud cores. This is also a feasibility study for the detection of the ground-state line of ortho-H2D+ at 372 GHz with APEX.
Methods. The 1(10)-1(11) transition of H2D+ at 372 GHz was searched towards selected positions in the massive star forming cloud OriB9, in the dark cloud L183, and in the low- to intermediate mass star-forming cloud R CrA.
Results. The line was detected in cold, prestellar cores in the regions of OriB9 and L183, but only upper limits were obtained towards other locations which either have elevated temperatures or contain a newly born star. The H2D+ detection towards OriB9 is the first one in a massive star-forming region. The fractional ortho-H2D+ abundances (relative to H2) are estimated to be about 1.0E-10 in two cold cores in OriB9, and 3.0E-10 in the cold core of L183.
Conclusions. The H2D+ detection in OriB9 shows that also massive star forming regions contain very cold prestellar cores which probably have reached matured chemical composition characterized, e.g., by a high degree of deuterium fractionation. Besides as a tracer of the interior parts of prestellar cores, H2D+ may therefore be used to put contraints on the timescales related to massive star formation.
△ Less
Submitted 6 June, 2006;
originally announced June 2006.
-
Properties of dust in the high-latitude translucent cloud L1780 I: Spatially distinct dust populations and increased dust emissivity from ISO observations
Authors:
M. Ridderstad,
M. Juvela,
K. Lehtinen,
D. Lemke,
T. Liljestrom
Abstract:
We have analyzed the properties of dust in the high galactic latitude translucent cloud Lynds 1780 using ISOPHOT maps at 100 and 200 micrometers and raster scans at 60, 80, 100, 120, 150 and 200 micrometers. In far-infrared (FIR) emission, the cloud has a single core that coincides with the maxima of visual extinction and 200um optical depth. At the resolution of 3.0 arcmin, the maximum visual e…
▽ More
We have analyzed the properties of dust in the high galactic latitude translucent cloud Lynds 1780 using ISOPHOT maps at 100 and 200 micrometers and raster scans at 60, 80, 100, 120, 150 and 200 micrometers. In far-infrared (FIR) emission, the cloud has a single core that coincides with the maxima of visual extinction and 200um optical depth. At the resolution of 3.0 arcmin, the maximum visual extinction is 4.0 mag. At the cloud core, the minimum temperature and the maximum 200um optical depth are 14.9+/-0.4 K and 2.0+/-0.2x10^{-3}, respectively, at the resolution of 1.5 arcmin. The cloud mass is estimated to be 18M_{SUN}. The FIR observations, combined with IRAS observations, suggest the presence of different, spatially distinct dust grain populations in the cloud: the FIR core region is the realm of the "classical" large grains, whereas the very small grains and the PAHs have separate maxima on the Eastern side of the cold core, towards the "tail" of this cometary-shaped cloud. The color ratios indicate an overabundance of PAHs and VSGs in L1780. Our FIR observations combined with the optical extinction data indicate an increase of the emissivity of the big grain dust component in the cold core, suggesting grain coagulation or some other change in the properties of the large grains. Based on our observations, we also address the question, to what extent the 80um emission and even the 100um and the 120um emission contain a contribution from the small-grain component.
△ Less
Submitted 16 February, 2006; v1 submitted 28 November, 2005;
originally announced November 2005.
-
The ratio of N(C18O) and Av in Chamaeleon I and III-B using 2MASS and SEST
Authors:
J. Kainulainen,
K. Lehtinen,
J. Harju
Abstract:
We investigate the relationship between the C18O column density and the visual extinction in Chamaeleon I and in a part of the Chamaeleon III molecular cloud. The C18O column densities, N(C18O), are calculated from J=1-0 rotational line data observed with the SEST telescope. The visual extinctions, Av, are derived using JHK photometry from the 2MASS survey and the NICER color excess technique. I…
▽ More
We investigate the relationship between the C18O column density and the visual extinction in Chamaeleon I and in a part of the Chamaeleon III molecular cloud. The C18O column densities, N(C18O), are calculated from J=1-0 rotational line data observed with the SEST telescope. The visual extinctions, Av, are derived using JHK photometry from the 2MASS survey and the NICER color excess technique. In contrast with the previous results of Hayakawa et al. (2001), we find that the average N(C18O) / Av ratios are similar in Cha I and Cha III, and lie close to values derived for other clouds, i.e. N(C18O) ~ 2 x 10^14 cm^-2 (Av - 2). We find, however, clear deviations from this average relationship towards individual clumps. Larger than average N(C18O) / Av ratios can be found in clumps associated with the active star forming region in the northern part of Ch a I. On the other hand, some regions in the relatively quiescent southern part of Cha I show smaller than average N(C18O) / Av ratios and also very shallow proportionality between N(C18O) and Av. The shallow proportionality suggests that C18O is heavily depleted in these regions. As the degree of depletion is proportional to the gas density, these regions probably contain very dense, cold cores, which do not stand out in CO map**s. A comparison with the dust temperature map derived from the ISO data shows that the most prominent of the potentially depleted cores indeed coincides with a dust temperature minimum. It seems therefore feasible to use N(C18O) and Av data together for identifying old, dense cores in large scale map**s.
△ Less
Submitted 31 October, 2005; v1 submitted 12 October, 2005;
originally announced October 2005.
-
ISO observations of 3 - 200 micron emission by three dust populations in an isolated local translucent cloud
Authors:
M. G. Rawlings,
M. Juvela,
K. Mattila,
K. Lehtinen,
D. Lemke
Abstract:
We present ISOPHOT spectrophotometry of three positions within the isolated high latitude cirrus cloud G 300.2 - 16.8, spanning from the near- to far-infrared. The positions exhibit contrasting emission spectrum contributions from the UIBs, very small grains and large classical grains, and both semi-empirical and numerical models are presented. At all three positions, the UIB spectrum shapes are…
▽ More
We present ISOPHOT spectrophotometry of three positions within the isolated high latitude cirrus cloud G 300.2 - 16.8, spanning from the near- to far-infrared. The positions exhibit contrasting emission spectrum contributions from the UIBs, very small grains and large classical grains, and both semi-empirical and numerical models are presented. At all three positions, the UIB spectrum shapes are found to be similar, and the large grain emission may be fitted by an equilibrium temperature of ~17.5 K. The energy requirements of both the observed emission spectrum and optical scattered light are shown to be satisfied by the incident local ISRF. The FIR emissivity of dust in G 300.2 - 16.8 is found to be lower than in globules or dense clouds, and is even lower than model predictions for dust in the diffuse ISM. The results suggest physical differences in the ISM mixtures between positions within the cloud, possibly arising from grain coagulation processes.
△ Less
Submitted 2 November, 2004;
originally announced November 2004.
-
Morphology and kinematics of Lynds 1642
Authors:
D. Russeil,
M. Juvela,
K. Lehtinen,
K. Mattila,
P. Paatero
Abstract:
The high latitude translucent molecular cloud L1642 has been mapped in the J=1-0 and J=2-1 transitions of 12CO, 13CO and C18O using the SEST radio telescope. We have analysed the morphology and velocity structure of the cloud using the Positive Matrix Factorization (PMF) method. The results show that L1642 is composed of a main structure at radial velocity 0.2 km/s while the higher velocity comp…
▽ More
The high latitude translucent molecular cloud L1642 has been mapped in the J=1-0 and J=2-1 transitions of 12CO, 13CO and C18O using the SEST radio telescope. We have analysed the morphology and velocity structure of the cloud using the Positive Matrix Factorization (PMF) method. The results show that L1642 is composed of a main structure at radial velocity 0.2 km/s while the higher velocity components at ~0.5 and 1.0 km/s form an incomplete ring around it, suggesting an expanding shell structure. Fainter emission extends to the north with a still higher velocity of up to 1.6 km/s. Such a velocity structure suggests an elongated morphology in the line of sight direction. The physical properties of the cloud have been investigated assuming LTE conditions, but non-LTE radiative transfer models are also constructed for the 13CO observations. We confirm that L1642 follows an r^-1 density distribution in its outer parts while the distribution is considerably flatter in the core. The cloud is close to virial equilibrium. In an Appendix the PMF results are compared with the view obtained through the analysis of channel maps and by the use of Principal Component Analysis (PCA). Both PMF and PCA present the observations as a linear combination of basic spectral shapes that are extracted from the data. Comparison of the methods shows that the PMF method in particular is able to produce a presentation of the complex velocity that is both compact and easily interpreted.
△ Less
Submitted 9 September, 2003;
originally announced September 2003.
-
Unidentified Infrared Bands in the Interstellar Medium across the Galaxy
Authors:
J. Kahanpaa,
K. Mattila,
K. Lehtinen,
C. Leinert,
D. Lemke
Abstract:
We present a set of 6-12 micron ISOPHOT-S spectra of the general interstellar medium of the Milky Way. This part of the spectrum is dominated by a series of strong, wide emission features commonly called the Unidentified Infrared Bands. The sampled area covers the inner Milky Way from l = -60 degr to +60 degr with a ten-degree step in galactic longitude and nominal latitudes 0,+-1 degr. For each…
▽ More
We present a set of 6-12 micron ISOPHOT-S spectra of the general interstellar medium of the Milky Way. This part of the spectrum is dominated by a series of strong, wide emission features commonly called the Unidentified Infrared Bands. The sampled area covers the inner Milky Way from l = -60 degr to +60 degr with a ten-degree step in galactic longitude and nominal latitudes 0,+-1 degr. For each grid position the actual observed direction was selected from IRAS 100 micron maps to minimize contamination by point sources and molecular clouds. All spectra were found to display the same spectral features. Band ratios are independent of band strength and Galactic coordinates. A comparison of total observed flux in band features and IRAS 100 micron emission, a tracer for large interstellar dust grains, shows high correlation at large as well as small 1-arcmin scales. This implies a strong connection between large dust grains and the elusive band carriers; the evolutionary history and heating energy source of these populations must be strongly linked. The average mid-infrared spectrum of the Milky Way is found to be similar to the average spectrum of spiral galaxy NGC 891 and the spectra of other spirals. The common spectrum can therefore be used as a template for the 6-12 micron emission of late-type spiral galaxies. Finally, we show that interstellar extinction only weakly influences the observed features even at lambda = 10 microns, where the silicate absorption feature is strongest.
△ Less
Submitted 10 May, 2003;
originally announced May 2003.
-
Centimetre continuum emission from young stellar objects in Cederblad 110
Authors:
K. Lehtinen,
J. Harju,
S. Kontinen,
James L. Higdon
Abstract:
The low-mass star formation region associated with the reflection nebula Cederblad 110 in the Chamaeleon I cloud was mapped with the Australian Telescope Compact Array (ATCA) at 6 and 3.5cm. Altogether 11 sources were detected, three of which are previously known low mass young stellar objects associated with the nebula: the illuminating star IRS2 (Class III, Einstein X-ray source CHX7), the bri…
▽ More
The low-mass star formation region associated with the reflection nebula Cederblad 110 in the Chamaeleon I cloud was mapped with the Australian Telescope Compact Array (ATCA) at 6 and 3.5cm. Altogether 11 sources were detected, three of which are previously known low mass young stellar objects associated with the nebula: the illuminating star IRS2 (Class III, Einstein X-ray source CHX7), the brightest far-infrared source IRS4 (Class I), and the weak X-ray source CHX10a (Class III). The other young stellar objects in the region, including the Class 0 protostar candidate Cha-MMS1, were not detected. The radio spectral index of IRS4 (alpha = 1.7 +/- 0.3) is consistent with optically thick free-free emission arising from a dense ionized region, probably a jet-induced shock occurring in the circumstellar material. As the only Class I protostar with a 'thermal jet' IRS4 is the strongest candidate for the central source of the molecular outflow found previously in the region. The emission from IRS2 has a flat spectrum (alpha = 0.05 +/- 0.05) but shows no sign of polarization, and therefore its origin is likely to be optically thin free-free emission either from ionized wind or a collimated jet. The strongest source detected in this survey is a new compact object with a steep negative spectral index (-1.1) and a weak linear polarization (about 2 %), which probably represents a background radio galaxy.
△ Less
Submitted 20 February, 2003;
originally announced February 2003.
-
Far infrared observations of pre-protostellar sources in Lynds 183
Authors:
K. Lehtinen,
K. Mattila,
D. Lemke,
M. Juvela,
T. Prusti,
R. Laureijs
Abstract:
Using ISOPHOT maps at 100 and 200um and raster scans at 100, 120, 150 and 200um we have detected four unresolved far-infrared sources in the high latitude molecular cloud L183. Two of the sources are identified with 1.3mm continuum sources found by Ward-Thompson et al. and are located near the temperature minimum and the coincident column density maximum of dust distribution. For these two sourc…
▽ More
Using ISOPHOT maps at 100 and 200um and raster scans at 100, 120, 150 and 200um we have detected four unresolved far-infrared sources in the high latitude molecular cloud L183. Two of the sources are identified with 1.3mm continuum sources found by Ward-Thompson et al. and are located near the temperature minimum and the coincident column density maximum of dust distribution. For these two sources, the ISO observations have enabled us to derive temperatures (about 8.3 K) and masses (about 1.4 and 2.4 solar masses). They are found to have masses greater than or comparable to their virial masses and are thus expected to undergo gravitational collapse. We classify them as pre-protostellar sources. The two new sources are good candidates for pre-protostellar sources or protostars within L183.
△ Less
Submitted 30 September, 2002;
originally announced September 2002.
-
Far-infrared and molecular line observations of Lynds 183 - studies of cold gas and dust
Authors:
M. Juvela,
K. Mattila,
K. Lehtinen,
D. Lemke,
R. Laureijs,
T. Prusti
Abstract:
We have mapped the dark cloud L183 in the far-infrared at 100um and 200um with the ISOPHOT photometer aboard the ISO satellite. The observations make it possible for the first time to study the properties of the large dust grains in L183 without confusion from smaller grains. The observations show clear colour temperature variations which are likely to be caused by changes in the emission proper…
▽ More
We have mapped the dark cloud L183 in the far-infrared at 100um and 200um with the ISOPHOT photometer aboard the ISO satellite. The observations make it possible for the first time to study the properties of the large dust grains in L183 without confusion from smaller grains. The observations show clear colour temperature variations which are likely to be caused by changes in the emission properties of the dust particles. In the cloud core the far-infrared colour temperature drops below 12K. The data allow a new determination of the cloud mass and the mass distribution. The mass within a radius of 10 arcmin from the cloud centre is 25 Msun. We have mapped the cloud in several molecular lines including DCO+(2-1) and H13CO+(1-0). These species are believed to be tracers of cold and dense molecular material and we detect a strong anticorrelation between the DCO+ emission and the dust colour temperatures. In particular, the DCO+(2-1) emission is not detected towards the maximum of the 100um emission where the colour temperature rises above 15K. The H13CO+ emission follows the DCO+ distribution but CO isotopes show strong emission even towards the 100um peak. A comparison of the DCO+ and C18O maps shows sharp variations in the relative intensities of the species. Morphologically the 200um dust emission traces the distribution of dense molecular material as seen e.g. in C18O lines. A comparison with dust column density shows that C18O is depleted by a factor of 1.5 in the cloud core. We present results of R- and B-band starcounts. The extinction is much better correlated with the 200um than with the 100um emission. Based on the 200um correlation at low extinction values we deduce a value of ~17mag for the visual extinction towards the cloud centre.
△ Less
Submitted 12 November, 2001;
originally announced November 2001.
-
Detection of widely distributed UIR band emission in the disk of NGC 891
Authors:
K. Mattila,
K. Lehtinen,
D. Lemke
Abstract:
The spectrum of the unidentified infrared (UIR) emission bands between 5.9 and 11.7 [micro]m has been observed for the first time in the disk of an external galaxy. We have used the low-resolution spectrometer of the ISOPHOT instrument aboard ISO. The UIR bands at 6.2, 7.7 and 11.3 [micro]m have absolute intensities which are similar to the values observed for the diffuse emission of our own Gal…
▽ More
The spectrum of the unidentified infrared (UIR) emission bands between 5.9 and 11.7 [micro]m has been observed for the first time in the disk of an external galaxy. We have used the low-resolution spectrometer of the ISOPHOT instrument aboard ISO. The UIR bands at 6.2, 7.7 and 11.3 [micro]m have absolute intensities which are similar to the values observed for the diffuse emission of our own Galaxy. The UIR bands between 5.9 and 11.7 [micro]m contribute ~9% of the total IR radiation of NGC 891. The intensity ratios and band widths in the NGC 891 disk emissions are similar to the diffuse emission of the Milky Way, pointing to a common carrier for the UIR bands in the two galaxies. However, there are some notable variations of the band ratios along the major axis of the galaxy.
△ Less
Submitted 18 December, 1998;
originally announced December 1998.