-
A survey for variable stars with small telescopes: IX -- Evolution of Spot Properties on YSOs in IC5070
Authors:
Carys Herbert,
Dirk Froebrich,
Siegfried Vanaverbeke,
Aleks Scholz,
Jochen Eislöffel,
Thomas Urtly,
Ivan L. Walton,
Klaas Wiersema,
Nick J. Quinn,
Georg Piehler,
Mario Morales Aimar,
Rafael Castillo García,
Tonny Vanmunster,
Francisco C. Soldán Alfaro,
Faustino García de la Cuesta,
Domenico Licchelli,
Alex Escartin Perez,
Esteban Fernández Mañanes,
Noelia Graciá Ribes,
José Luis Salto González,
Stephen R. L. Futcher,
Tim Nelson,
Shawn Dvorak,
Dawid Moździerski,
Krzysztof Kotysz
, et al. (23 additional authors not shown)
Abstract:
We present spot properties on 32 periodic young stellar objects in IC 5070. Long term, $\sim$5 yr, light curves in the $V$, $R$, and $I$-bands are obtained through the HOYS (Hunting Outbursting Young Stars) citizen science project. These are dissected into six months long slices, with 3 months oversampling, to measure 234 sets of amplitudes in all filters. We fit 180 of these with reliable spot so…
▽ More
We present spot properties on 32 periodic young stellar objects in IC 5070. Long term, $\sim$5 yr, light curves in the $V$, $R$, and $I$-bands are obtained through the HOYS (Hunting Outbursting Young Stars) citizen science project. These are dissected into six months long slices, with 3 months oversampling, to measure 234 sets of amplitudes in all filters. We fit 180 of these with reliable spot solutions. Two thirds of spot solutions are cold spots, the lowest is 2150 K below the stellar temperature. One third are warm spots that are above the stellar temperature by less than $\sim$2000 K. Cold and warm spots have maximum surface coverage values of 40 percent, although only 16 percent of warm spots are above 20 percent surface coverage as opposed to 60 percent of the cold spots. Warm spots are most likely caused by a combination of plages and low density accretion columns, most common on objects without inner disc excess emission in $K-W2$. Five small hot spot solutions have $<3$ percent coverage and are 3000 - 5000 K above the stellar temperature. These are attributed to accretion, and four of them occur on the same object. The majority of our objects are likely to be accreting. However, we observe very few accretion hot spots as either the accretion is not stable on our timescale or the photometry is dominated by other features. We do not identify cyclical spot behaviour on the targets. We additionally identify and discuss a number of objects that have interesting amplitudes, phase changes, or spot properties.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
A survey for variable young stars with small telescopes: VIII -- Properties of 1687 Gaia selected members in 21 nearby clusters
Authors:
Dirk Froebrich,
Aleks Scholz,
Justyn Campbell-White,
Siegfried Vanaverbeke,
Carys Herbert,
Jochen Eislöffel,
Thomas Urtly,
Timothy P. Long,
Ivan L. Walton,
Klaas Wiersema,
Nick J. Quinn,
Tony Rodda,
Juan-Luis González-Carballo,
Mario Morales Aimar,
Rafael Castillo García,
Francisco C. Soldán Alfaro,
Faustino García de la Cuesta,
Domenico Licchelli,
Alex Escartin Perez,
José Luis Salto González,
Marc Deldem,
Stephen R. L. Futcher,
Tim Nelson,
Shawn Dvorak,
Dawid Moździerski
, et al. (38 additional authors not shown)
Abstract:
The Hunting Outbursting Young Stars (HOYS) project performs long-term, optical, multi-filter, high cadence monitoring of 25 nearby young clusters and star forming regions. Utilising Gaia DR3 data we have identified about 17000 potential young stellar members in 45 coherent astrometric groups in these fields. Twenty one of them are clear young groups or clusters of stars within one kiloparsec and t…
▽ More
The Hunting Outbursting Young Stars (HOYS) project performs long-term, optical, multi-filter, high cadence monitoring of 25 nearby young clusters and star forming regions. Utilising Gaia DR3 data we have identified about 17000 potential young stellar members in 45 coherent astrometric groups in these fields. Twenty one of them are clear young groups or clusters of stars within one kiloparsec and they contain 9143 Gaia selected potential members. The cluster distances, proper motions and membership numbers are determined. We analyse long term (about 7yr) V, R, and I-band light curves from HOYS for 1687 of the potential cluster members. One quarter of the stars are variable in all three optical filters, and two thirds of these have light curves that are symmetric around the mean. Light curves affected by obscuration from circumstellar materials are more common than those affected by accretion bursts, by a factor of 2-4. The variability fraction in the clusters ranges from 10 to almost 100 percent, and correlates positively with the fraction of stars with detectable inner disks, indicating that a lot of variability is driven by the disk. About one in six variables shows detectable periodicity, mostly caused by magnetic spots. Two thirds of the periodic variables with disk excess emission are slow rotators, and amongst the stars without disk excess two thirds are fast rotators - in agreement with rotation being slowed down by the presence of a disk.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Reversible Two-Party Computations
Authors:
Martin Kutrib,
Andreas Malcher
Abstract:
Deterministic synchronous systems consisting of two finite automata running in opposite directions on a shared read-only input are studied with respect to their ability to perform reversible computations, which means that the automata are also backward deterministic and, thus, are able to uniquely step the computation back and forth. We study the computational capacity of such devices and obtain…
▽ More
Deterministic synchronous systems consisting of two finite automata running in opposite directions on a shared read-only input are studied with respect to their ability to perform reversible computations, which means that the automata are also backward deterministic and, thus, are able to uniquely step the computation back and forth. We study the computational capacity of such devices and obtain on the one hand that there are regular languages that cannot be accepted by such systems. On the other hand, such systems can accept even non-semilinear languages. Since the systems communicate by sending messages, we consider also systems where the number of messages sent during a computation is restricted. We obtain a finite hierarchy with respect to the allowed amount of communication inside the reversible classes and separations to general, not necessarily reversible, classes. Finally, we study closure properties and decidability questions and obtain that the questions of emptiness, finiteness, inclusion, and equivalence are not semidecidable if a superlogarithmic amount of communication is allowed.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
A survey for variable young stars with small telescopes: VI -- Analysis of the outbursting Be stars NSW284, Gaia19eyy, and VES263
Authors:
Dirk Froebrich,
Lynne A. Hillenbrand,
Carys Herbert,
Kishalay De,
Jochen Eislöffel,
Justyn Campbell-White,
Ruhee Kahar,
Franz-Josef Hambsch,
Thomas Urtly,
Adam Popowicz,
Krzysztof Bernacki,
Andrzej Malcher,
Slawomir Lasota,
Jerzy Fiolka,
Piotr Jozwik-Wabik,
Franky Dubois,
Ludwig Logie,
Steve Rau,
Mark Phillips,
George Fleming,
Rafael Gonzalez Farfán,
Francisco C. Soldán Alfaro,
Tim Nelson,
Stephen R. L. Futcher,
Samantha M. Rolfe
, et al. (22 additional authors not shown)
Abstract:
This paper is one in a series reporting results from small telescope observations of variable young stars. Here, we study the repeating outbursts of three likely Be stars based on long-term optical, near-infrared, and mid-infrared photometry for all three objects, along with follow-up spectra for two of the three. The sources are characterised as rare, truly regularly outbursting Be stars. We inte…
▽ More
This paper is one in a series reporting results from small telescope observations of variable young stars. Here, we study the repeating outbursts of three likely Be stars based on long-term optical, near-infrared, and mid-infrared photometry for all three objects, along with follow-up spectra for two of the three. The sources are characterised as rare, truly regularly outbursting Be stars. We interpret the photometric data within a framework for modelling light curve morphology, and find that the models correctly predict the burst shapes, including their larger amplitudes and later peaks towards longer wavelengths. We are thus able to infer the start and end times of mass loading into the circumstellar disks of these stars. The disk sizes are typically 3-6 times the areas of the central star. The disk temperatures are ~40%, and the disk luminosities are ~10% of those of the central Be star, respectively. The available spectroscopy is consistent with inside-out evolution of the disk. Higher excitation lines have larger velocity widths in their double-horned shaped emission profiles. Our observations and analysis support the decretion disk model for outbursting Be stars.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
ExoClock Project III: 450 new exoplanet ephemerides from ground and space observations
Authors:
A. Kokori,
A. Tsiaras,
B. Edwards,
A. Jones,
G. Pantelidou,
G. Tinetti,
L. Bewersdorff,
A. Iliadou,
Y. Jongen,
G. Lekkas,
A. Nastasi,
E. Poultourtzidis,
C. Sidiropoulos,
F. Walter,
A. Wünsche,
R. Abraham,
V. K. Agnihotri,
R. Albanesi,
E. Arce-Mansego,
D. Arnot,
M. Audejean,
C. Aumasson,
M. Bachschmidt,
G. Baj,
P. R. Barroy
, et al. (192 additional authors not shown)
Abstract:
The ExoClock project has been created with the aim of increasing the efficiency of the Ariel mission. It will achieve this by continuously monitoring and updating the ephemerides of Ariel candidates over an extended period, in order to produce a consistent catalogue of reliable and precise ephemerides. This work presents a homogenous catalogue of updated ephemerides for 450 planets, generated by t…
▽ More
The ExoClock project has been created with the aim of increasing the efficiency of the Ariel mission. It will achieve this by continuously monitoring and updating the ephemerides of Ariel candidates over an extended period, in order to produce a consistent catalogue of reliable and precise ephemerides. This work presents a homogenous catalogue of updated ephemerides for 450 planets, generated by the integration of $\sim$18000 data points from multiple sources. These sources include observations from ground-based telescopes (ExoClock network and ETD), mid-time values from the literature and light-curves from space telescopes (Kepler/K2 and TESS). With all the above, we manage to collect observations for half of the post-discovery years (median), with data that have a median uncertainty less than one minute. In comparison with literature, the ephemerides generated by the project are more precise and less biased. More than 40\% of the initial literature ephemerides had to be updated to reach the goals of the project, as they were either of low precision or drifting. Moreover, the integrated approach of the project enables both the monitoring of the majority of the Ariel candidates (95\%), and also the identification of missing data. The dedicated ExoClock network effectively supports this task by contributing additional observations when a gap in the data is identified. These results highlight the need for continuous monitoring to increase the observing coverage of the candidate planets. Finally, the extended observing coverage of planets allows us to detect trends (TTVs - Transit Timing Variations) for a sample of 19 planets. All products, data, and codes used in this work are open and accessible to the wider scientific community.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Reversible Computations of One-Way Counter Automata
Authors:
Martin Kutrib,
Andreas Malcher
Abstract:
Deterministic one-way time-bounded multi-counter automata are studied with respect to their ability to perform reversible computations, which means that the automata are also backward deterministic and, thus, are able to uniquely step the computation back and forth. We study the computational capacity of such devices and obtain separation results between irreversible and reversible k-counter autom…
▽ More
Deterministic one-way time-bounded multi-counter automata are studied with respect to their ability to perform reversible computations, which means that the automata are also backward deterministic and, thus, are able to uniquely step the computation back and forth. We study the computational capacity of such devices and obtain separation results between irreversible and reversible k-counter automata for superpolynomial time. For exponential time we obtain moreover an infinite and tight hierarchy with respect to the number of counters. This hierarchy is shown with Kolmogorov complexity and incompressibility arguments. In this way, on passing we can prove this hierarchy also for ordinary counter automata. This improves the known hierarchy for ordinary counter automata in the sense that here we consider a weaker acceptance condition. Then, it turns out that k+1 reversible counters are not better than k ordinary counters and vice versa. Finally, almost all usually studied decidability questions turn out to be undecidable and not even semidecidable for reversible multi-counter automata, if at least two counters are provided.
△ Less
Submitted 31 August, 2022;
originally announced August 2022.
-
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers
Authors:
Martin Kutrib,
Andreas Malcher,
Carlo Mereghetti,
Beatrice Palano
Abstract:
An iterated uniform finite-state transducer (IUFST) runs the same length-preserving transduction, starting with a sweep on the input string and then iteratively swee** on the output of the previous sweep. The IUFST accepts the input string by halting in an accepting state at the end of a sweep. We consider both the deterministic (IUFST) and nondeterministic (NIUFST) version of this device. We sh…
▽ More
An iterated uniform finite-state transducer (IUFST) runs the same length-preserving transduction, starting with a sweep on the input string and then iteratively swee** on the output of the previous sweep. The IUFST accepts the input string by halting in an accepting state at the end of a sweep. We consider both the deterministic (IUFST) and nondeterministic (NIUFST) version of this device. We show that constant sweep bounded IUFSTs and NIUFSTs accept all and only regular languages. We study the state complexity of removing nondeterminism as well as sweeps on constant sweep bounded NIUFSTs, the descriptional power of constant sweep bounded IUFSTs and NIUFSTs with respect to classical models of finite-state automata, and the computational complexity of several decidability questions. Then, we focus on non-constant sweep bounded devices, proving the existence of a proper infinite nonregular language hierarchy depending on the sweep complexity both in the deterministic and nondeterministic case. Though NIUFSTss are "one-way" devices we show that they characterize the class of context-sensitive languages, that is, the complexity class DSpace(lin). Finally, we show that the nondeterministic devices are more powerful than their deterministic variant for a sublinear number of sweeps that is at least logarithmic.
△ Less
Submitted 4 June, 2022; v1 submitted 31 May, 2022;
originally announced May 2022.
-
Input-Driven Double-Head Pushdown Automata
Authors:
Markus Holzer,
Martin Kutrib,
Andreas Malcher,
Matthias Wendlandt
Abstract:
We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in opposite directions on the common input tape. In every step one head is moved and the automaton decides on acceptance if the heads meet. Demanding the automaton t…
▽ More
We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in opposite directions on the common input tape. In every step one head is moved and the automaton decides on acceptance if the heads meet. Demanding the automaton to work input-driven it is required that every input symbol uniquely defines the action on the pushdown store (push, pop, state change). Normally this is modeled by a partition of the input alphabet and is called a signature. Since our automaton model works with two heads either both heads respect the same signature or each head owes its own signature. This results in two variants of input-driven double-head pushdown automata. The induced language families on input-driven double-head pushdown automata are studied from the perspectives of their language describing capability, their closure properties, and decision problems.
△ Less
Submitted 21 August, 2017;
originally announced August 2017.
-
A passive FPAA based RF scatter meteor detector
Authors:
Adam Popowicz,
Andrzej Malcher,
Krzysztof Bernacki,
Karol Fietkiewicz
Abstract:
In the article we present a hardware meteor detector. The detection principle is based on the electromagnetic wave reflection from the ionized meteor trail in the atmosphere. The detector uses the ANADIGM field programmable analogue array (FPAA), which is an attractive alternative for a typically used detecting equipment - a PC computer with dedicated software. We implement an analog signal path u…
▽ More
In the article we present a hardware meteor detector. The detection principle is based on the electromagnetic wave reflection from the ionized meteor trail in the atmosphere. The detector uses the ANADIGM field programmable analogue array (FPAA), which is an attractive alternative for a typically used detecting equipment - a PC computer with dedicated software. We implement an analog signal path using most of available FPAA resources to obtain precise audio signal detection. Our new detector was verified in collaboration with the Polish Fireball Network - the organization which monitors meteor activity in Poland. When compared with currently used signal processing PC software employing real radio meteor scatter signals, our low-cost detector proved to be more precise and reliable. Due to its cost and efficiency superiority over the current solution, the presented module is going to be implemented in the planned distributed detectors system.
△ Less
Submitted 10 May, 2015;
originally announced May 2015.
-
Measuring Communication in Parallel Communicating Finite Automata
Authors:
Henning Bordihn,
Martin Kutrib,
Andreas Malcher
Abstract:
Systems of deterministic finite automata communicating by sending their states upon request are investigated, when the amount of communication is restricted. The computational power and decidability properties are studied for the case of returning centralized systems, when the number of necessary communications during the computations of the system is bounded by a function depending on the length…
▽ More
Systems of deterministic finite automata communicating by sending their states upon request are investigated, when the amount of communication is restricted. The computational power and decidability properties are studied for the case of returning centralized systems, when the number of necessary communications during the computations of the system is bounded by a function depending on the length of the input. It is proved that an infinite hierarchy of language families exists, depending on the number of messages sent during their most economical recognitions. Moreover, several properties are shown to be not semi-decidable for the systems under consideration.
△ Less
Submitted 21 May, 2014;
originally announced May 2014.
-
Transductions Computed by One-Dimensional Cellular Automata
Authors:
Martin Kutrib,
Andreas Malcher
Abstract:
Cellular automata are investigated towards their ability to compute transductions, that is, to transform inputs into outputs. The families of transductions computed are classified with regard to the time allowed to process the input and to compute the output. Since there is a particular interest in fast transductions, we mainly focus on the time complexities real time and linear time. We fir…
▽ More
Cellular automata are investigated towards their ability to compute transductions, that is, to transform inputs into outputs. The families of transductions computed are classified with regard to the time allowed to process the input and to compute the output. Since there is a particular interest in fast transductions, we mainly focus on the time complexities real time and linear time. We first investigate the computational capabilities of cellular automaton transducers by comparing them to iterative array transducers, that is, we compare parallel input/output mode to sequential input/output mode of massively parallel machines. By direct simulations, it turns out that the parallel mode is not weaker than the sequential one. Moreover, with regard to certain time complexities cellular automaton transducers are even more powerful than iterative arrays. In the second part of the paper, the model in question is compared with the sequential devices single-valued finite state transducers and deterministic pushdown transducers. It turns out that both models can be simulated by cellular automaton transducers faster than by iterative array transducers.
△ Less
Submitted 13 August, 2012;
originally announced August 2012.
-
Remembering Chandra Kintala
Authors:
Martin Kappes,
Andreas Malcher,
Detlef Wotschke
Abstract:
With this contribution we would like to remember Chandra M. R. Kintala who passed away in November 2009. We will give short overviews of his CV and his contributions to the field of theoretical and applied computer science and, given the opportunity, will attempt to present the current state of limited nondeterminism and limited resources for machines. Finally, we will briefly touch on some resear…
▽ More
With this contribution we would like to remember Chandra M. R. Kintala who passed away in November 2009. We will give short overviews of his CV and his contributions to the field of theoretical and applied computer science and, given the opportunity, will attempt to present the current state of limited nondeterminism and limited resources for machines. Finally, we will briefly touch on some research topics which hopefully will be addressed in the not so distant future.
△ Less
Submitted 10 August, 2010;
originally announced August 2010.
-
Bounded Languages Meet Cellular Automata with Sparse Communication
Authors:
Martin Kutrib,
Andreas Malcher
Abstract:
Cellular automata are one-dimensional arrays of interconnected interacting finite automata. We investigate one of the weakest classes, the real-time one-way cellular automata, and impose an additional restriction on their inter-cell communication by bounding the number of allowed uses of the links between cells. Moreover, we consider the devices as acceptors for bounded languages in order to exp…
▽ More
Cellular automata are one-dimensional arrays of interconnected interacting finite automata. We investigate one of the weakest classes, the real-time one-way cellular automata, and impose an additional restriction on their inter-cell communication by bounding the number of allowed uses of the links between cells. Moreover, we consider the devices as acceptors for bounded languages in order to explore the borderline at which non-trivial decidability problems of cellular automata classes become decidable. It is shown that even devices with drastically reduced communication, that is, each two neighboring cells may communicate only constantly often, accept bounded languages that are not semilinear. If the number of communications is at least logarithmic in the length of the input, several problems are undecidable. The same result is obtained for classes where the total number of communications during a computation is linearly bounded.
△ Less
Submitted 29 July, 2009;
originally announced July 2009.
-
Multi-Head Finite Automata: Characterizations, Concepts and Open Problems
Authors:
Markus Holzer,
Martin Kutrib,
Andreas Malcher
Abstract:
Multi-head finite automata were introduced in (Rabin, 1964) and (Rosenberg, 1966). Since that time, a vast literature on computational and descriptional complexity issues on multi-head finite automata documenting the importance of these devices has been developed. Although multi-head finite automata are a simple concept, their computational behavior can be already very complex and leads to undec…
▽ More
Multi-head finite automata were introduced in (Rabin, 1964) and (Rosenberg, 1966). Since that time, a vast literature on computational and descriptional complexity issues on multi-head finite automata documenting the importance of these devices has been developed. Although multi-head finite automata are a simple concept, their computational behavior can be already very complex and leads to undecidable or even non-semi-decidable problems on these devices such as, for example, emptiness, finiteness, universality, equivalence, etc. These strong negative results trigger the study of subclasses and alternative characterizations of multi-head finite automata for a better understanding of the nature of non-recursive trade-offs and, thus, the borderline between decidable and undecidable problems. In the present paper, we tour a fragment of this literature.
△ Less
Submitted 17 June, 2009;
originally announced June 2009.
-
Descriptional complexity of bounded context-free languages
Authors:
Andreas Malcher,
Giovanni Pighizzini
Abstract:
Finite-turn pushdown automata (PDA) are investigated concerning their descriptional complexity. It is known that they accept exactly the class of ultralinear context-free languages. Furthermore, the increase in size when converting arbitrary PDAs accepting ultralinear languages to finite-turn PDAs cannot be bounded by any recursive function. The latter phenomenon is known as non-recursive trade-…
▽ More
Finite-turn pushdown automata (PDA) are investigated concerning their descriptional complexity. It is known that they accept exactly the class of ultralinear context-free languages. Furthermore, the increase in size when converting arbitrary PDAs accepting ultralinear languages to finite-turn PDAs cannot be bounded by any recursive function. The latter phenomenon is known as non-recursive trade-off. In this paper, finite-turn PDAs accepting bounded languages are considered. First, letter-bounded languages are studied. We prove that in this case the non-recursive trade-off is reduced to a recursive trade-off, more precisely, to an exponential trade-off. A conversion algorithm is presented and the optimality of the construction is shown by proving tight lower bounds. Furthermore, the question of reducing the number of turns of a given finite-turn PDA is studied. Again, a conversion algorithm is provided which shows that in this case the trade-off is at most polynomial. Finally, the more general case of word-bounded languages is investigated. We show how the results obtained for letter-bounded languages can be extended to word-bounded languages.
△ Less
Submitted 8 May, 2009; v1 submitted 7 May, 2009;
originally announced May 2009.