Showing 1–24 of 24 results for author: Purser, D

The Power of Counting Steps in Quantitative Games

Authors: Sougata Bose, Rasmus Ibsen-Jensen, David Purser, Patrick Totzke, Pierre Vandenhove

Abstract: We study deterministic games of infinite duration played on graphs and focus on the strategy complexity of quantitative objectives. Such games are known to admit optimal memoryless strategies over finite graphs, but require infinite-memory strategies in general over infinite graphs. We provide new lower and upper bounds for the strategy complexity of mean-payoff and total-payoff objectives over… ▽ More We study deterministic games of infinite duration played on graphs and focus on the strategy complexity of quantitative objectives. Such games are known to admit optimal memoryless strategies over finite graphs, but require infinite-memory strategies in general over infinite graphs. We provide new lower and upper bounds for the strategy complexity of mean-payoff and total-payoff objectives over infinite graphs, focusing on whether step-counter strategies (sometimes called Markov strategies) suffice to implement winning strategies. In particular, we show that over finitely branching arenas, three variants of limsup mean-payoff and total-payoff objectives admit winning strategies that are based either on a step counter or on a step counter and an additional bit of memory. Conversely, we show that for certain liminf total-payoff objectives, strategies resorting to a step counter and finite memory are not sufficient. For step-counter strategies, this settles the case of all classical quantitative objectives up to the second level of the Borel hierarchy. △ Less

Submitted 25 June, 2024; originally announced June 2024.

Comments: Extended version of a CONCUR 2024 paper

Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata

Authors: Ismaël Jecker, Filip Mazowiecki, David Purser

Abstract: We study the determinisation and unambiguisation problems of weighted automata over the rational field: Given a weighted automaton, can we determine whether there exists an equivalent deterministic, respectively unambiguous, weighted automaton? Recent results by Bell and Smertnig show that the problem is decidable, however they do not provide any complexity bounds. We show that both problems are i… ▽ More We study the determinisation and unambiguisation problems of weighted automata over the rational field: Given a weighted automaton, can we determine whether there exists an equivalent deterministic, respectively unambiguous, weighted automaton? Recent results by Bell and Smertnig show that the problem is decidable, however they do not provide any complexity bounds. We show that both problems are in PSPACE for polynomially-ambiguous weighted automata. △ Less

Submitted 3 October, 2023; originally announced October 2023.

A high-resolution radio study of the L1551 IRS 5 and L1551 NE jets

Authors: A. Feeney-Johansson, S. J. D. Purser, T. P. Ray, C. Carrasco-González, A. Rodríguez-Kamenetzky, J. Eislöffel, J. Lim, R. Galván-Madrid, S. Lizano, L. F. Rodríguez, H. Shang, P. Ho, M. Hoare

Abstract: Using observations with e-MERLIN and the VLA, together with archival data from ALMA, we obtain high-resolution radio images of two binary YSOs: L1551 IRS 5 and L1551 NE, covering a wide range of frequencies from 5 - 336 GHz, and resolving emission from the radio jet on scales of only ~15 au. By comparing these observations to those from a previous epoch, it is shown that there is a high degree of… ▽ More Using observations with e-MERLIN and the VLA, together with archival data from ALMA, we obtain high-resolution radio images of two binary YSOs: L1551 IRS 5 and L1551 NE, covering a wide range of frequencies from 5 - 336 GHz, and resolving emission from the radio jet on scales of only ~15 au. By comparing these observations to those from a previous epoch, it is shown that there is a high degree of variability in the free-free emission from the jets of these sources. In particular, the northern component of L1551 IRS 5 shows a remarkable decline in flux density of a factor of ~5, suggesting that the free-free emission of this source has almost disappeared. By fitting the spectra of the sources, the ionised mass-loss rates of the jets are derived and it is shown that there is significant variability of up to a factor of ~6 on timescales of ~20 years. Using radiative transfer modelling, we also obtained a model image for the jet of the southern component of L1551 IRS 5 to help study the inner region of the ionised high-density jet. The findings favour the X-wind model launched from a very small innermost region. △ Less

Submitted 24 July, 2023; v1 submitted 24 July, 2023; originally announced July 2023.

Comments: 13 pages, 7 figures, accepted for publication in A&A

Journal ref: A&A 677, A97 (2023)

History-deterministic Vector Addition Systems

Authors: Sougata Bose, David Purser, Patrick Totzke

Abstract: We consider history-determinism, a restricted form of non-determinism, for Vector Addition Systems with States (VASS) when used as acceptors to recognise languages of finite words. History-determinism requires that the non-deterministic choices can be resolved on-the-fly; based on the past and without jeopardising acceptance of any possible continuation of the input word. Our results show that t… ▽ More We consider history-determinism, a restricted form of non-determinism, for Vector Addition Systems with States (VASS) when used as acceptors to recognise languages of finite words. History-determinism requires that the non-deterministic choices can be resolved on-the-fly; based on the past and without jeopardising acceptance of any possible continuation of the input word. Our results show that the history-deterministic (HD) VASS sit strictly between deterministic and non-deterministic VASS regardless of the number of counters. We compare the relative expressiveness of HD systems, and closure-properties of the induced language classes, with coverability and reachability semantics, and with and without $\varepsilon$-labelled transitions. Whereas in dimension 1, inclusion and regularity remain decidable, from dimension two onwards, HD-VASS with suitable resolver strategies, are essentially able to simulate 2-counter Minsky machines, leading to several undecidability results: It is undecidable whether a VASS is history-deterministic, or if a language equivalent history-deterministic VASS exists. Checking language inclusion between history-deterministic 2-VASS is also undecidable. △ Less

Submitted 10 July, 2023; v1 submitted 3 May, 2023; originally announced May 2023.

Comments: This is the full version of a paper published in CONCUR 2023

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

Authors: Laure Daviaud, David Purser, Marie Tcheng

Abstract: We show that the big-O problem for max-plus automata is decidable and PSPACE-complete. The big-O (or affine domination) problem asks whether, given two max-plus automata computing functions f and g, there exists a constant c such that f < cg+ c. This is a relaxation of the containment problem asking whether f < g, which is undecidable. Our decidability result uses Simon's forest factorisation theo… ▽ More We show that the big-O problem for max-plus automata is decidable and PSPACE-complete. The big-O (or affine domination) problem asks whether, given two max-plus automata computing functions f and g, there exists a constant c such that f < cg+ c. This is a relaxation of the containment problem asking whether f < g, which is undecidable. Our decidability result uses Simon's forest factorisation theorem, and relies on detecting specific elements, that we call witnesses, in a finite semigroup closed under two special operations: stabilisation and flattening. △ Less

Submitted 29 April, 2024; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: Version 2: adds section on Max-Plus automata with increasingly complex witnesses

Model Checking Linear Dynamical Systems under Floating-point Rounding

Authors: Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi

Abstract: We consider linear dynamical systems under floating-point rounding. In these systems, a matrix is repeatedly applied to a vector, but the numbers are rounded into floating-point representation after each step (i.e., stored as a fixed-precision mantissa and an exponent). The approach more faithfully models realistic implementations of linear loops, compared to the exact arbitrary-precision setting… ▽ More We consider linear dynamical systems under floating-point rounding. In these systems, a matrix is repeatedly applied to a vector, but the numbers are rounded into floating-point representation after each step (i.e., stored as a fixed-precision mantissa and an exponent). The approach more faithfully models realistic implementations of linear loops, compared to the exact arbitrary-precision setting often employed in the study of linear dynamical systems. Our results are twofold: We show that for non-negative matrices there is a special structure to the sequence of vectors generated by the system: the mantissas are periodic and the exponents grow linearly. We leverage this to show decidability of $ω$-regular temporal model checking against semialgebraic predicates. This contrasts with the unrounded setting, where even the non-negative case encompasses the long-standing open Skolem and Positivity problems. On the other hand, when negative numbers are allowed in the matrix, we show that the reachability problem is undecidable by encoding a two-counter machine. Again, this is in contrast with the unrounded setting where point-to-point reachability is known to be decidable in polynomial time. △ Less

Submitted 27 January, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: Long version of the TACAS 2023 paper

The boundedness and zero isolation problems for weighted automata over nonnegative rationals

Authors: Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland

Abstract: We consider linear cost-register automata (equivalent to weighted automata) over the semiring of nonnegative rationals, which generalise probabilistic automata. The two problems of boundedness and zero isolation ask whether there is a sequence of words that converge to infinity and to zero, respectively. In the general model both problems are undecidable so we focus on the copyless linear restrict… ▽ More We consider linear cost-register automata (equivalent to weighted automata) over the semiring of nonnegative rationals, which generalise probabilistic automata. The two problems of boundedness and zero isolation ask whether there is a sequence of words that converge to infinity and to zero, respectively. In the general model both problems are undecidable so we focus on the copyless linear restriction. There, we show that the boundedness problem is decidable. As for the zero isolation problem we need to further restrict the class. We obtain a model, where zero isolation becomes equivalent to universal coverability of orthant vector addition systems (OVAS), a new model in the VAS family interesting on its own. In standard VAS runs are considered only in the positive orthant, while in OVAS every orthant has its own set of vectors that can be applied in that orthant. Assuming Schanuel's conjecture is true, we prove decidability of universal coverability for three-dimensional OVAS, which implies decidability of zero isolation in a model with at most three independent registers. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: Full versions of the LICS 2022 paper

Skolem Meets Schanuel

Authors: Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell

Abstract: The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros of a linear recurrence sequence is the union of a finite set and finitely many arithmetic progressions. The corresponding computational question, the Skolem Problem, asks to determine whether a given linear recurrence sequence has a zero term. Although the Skolem-Mahler-Lech Theorem is almost 90 years old, decidability of the S… ▽ More The celebrated Skolem-Mahler-Lech Theorem states that the set of zeros of a linear recurrence sequence is the union of a finite set and finitely many arithmetic progressions. The corresponding computational question, the Skolem Problem, asks to determine whether a given linear recurrence sequence has a zero term. Although the Skolem-Mahler-Lech Theorem is almost 90 years old, decidability of the Skolem Problem remains open. The main contribution of this paper is an algorithm to solve the Skolem Problem for simple linear recurrence sequences (those with simple characteristic roots). Whenever the algorithm terminates, it produces a stand-alone certificate that its output is correct -- a set of zeros together with a collection of witnesses that no further zeros exist. We give a proof that the algorithm always terminates assuming two classical number-theoretic conjectures: the Skolem Conjecture (also known as the Exponential Local-Global Principle) and the $p$-adic Schanuel Conjecture. Preliminary experiments with an implementation of this algorithm within the tool \textsc{Skolem} point to the practical applicability of this method. △ Less

Submitted 28 April, 2022; originally announced April 2022.

ACM Class: G.2.0; F.4.0

Detection of coherent low-frequency radio bursts from weak-line TTauri stars

Authors: A. Feeney-Johansson, S. J. D. Purser, T. P. Ray, A. A. Vidotto, J. Eislöffel, J. R. Callingham, T. W. Shimwell, H. K. Vedantham, G. Hallinan, C. Tasse

Abstract: In recent years, thanks to new facilities such as LOFAR capable of sensitive observations, much work has been done on the detection of stellar radio emission at low frequencies. Such emission has commonly been shown to be coherent emission, generally attributed to electron-cyclotron maser emission, and has usually been detected from main-sequence M dwarfs. Here we report the first detection of coh… ▽ More In recent years, thanks to new facilities such as LOFAR capable of sensitive observations, much work has been done on the detection of stellar radio emission at low frequencies. Such emission has commonly been shown to be coherent emission, generally attributed to electron-cyclotron maser emission, and has usually been detected from main-sequence M dwarfs. Here we report the first detection of coherent emission at low frequencies from T Tauri stars, which are known to be associated with high levels of stellar activity. Using LOFAR, we have detected several bright radio bursts at 150 MHz from two weak-line T Tauri stars: KPNO-Tau 14 and LkCa 4. All of the bursts have high brightness temperatures ($10^{13} - 10^{14}\ \mathrm{K}$) and high circular polarization fractions (60 - 90 \%), indicating that they must be due to a coherent emission mechanism. This could be either plasma emission or electron-cyclotron maser (ECM) emission. Due to the exceptionally high brightness temperatures seen in at least one of the bursts ($\geq 10^{14}\ \mathrm{K}$), and the high circular polarization levels, it seems unlikely that plasma emission could be the source and so ECM is favoured as the most likely emission mechanism. Assuming this is the case, the required magnetic field in the emission regions would be 40 - 70 G. We determine that the most likely method of generating ECM emission is plasma co-rotation breakdown in the stellar magnetosphere. There remains the possibility, however, it could be due to an interaction with an orbiting exoplanet. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Comments: 16 pages, 9 figures, accepted for publication in A&A

Journal ref: A&A 653, A101 (2021)

Porous Invariants

Authors: Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell

Abstract: We introduce the notion of porous invariants for multipath (or branching/nondeterministic) affine loops over the integers; these invariants are not necessarily convex, and can in fact contain infinitely many 'holes'. Nevertheless, we show that in many cases such invariants can be automatically synthesised, and moreover can be used to settle (non-)reachability questions for various interesting clas… ▽ More We introduce the notion of porous invariants for multipath (or branching/nondeterministic) affine loops over the integers; these invariants are not necessarily convex, and can in fact contain infinitely many 'holes'. Nevertheless, we show that in many cases such invariants can be automatically synthesised, and moreover can be used to settle (non-)reachability questions for various interesting classes of affine loops and target sets. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Comments: Full version of paper to appear at CAV 2021

The Orbit Problem for Parametric Linear Dynamical Systems

Authors: Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Abstract: We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or more parameters. More precisely, consider a $d$-dimensional square matrix $M$ whose entries are algebraic functions in one or more real variables. Given initial and target vectors $u,v\in \mathbb{Q}^d$, the parametric poi… ▽ More We study a parametric version of the Kannan-Lipton Orbit Problem for linear dynamical systems. We show decidability in the case of one parameter and Skolem-hardness with two or more parameters. More precisely, consider a $d$-dimensional square matrix $M$ whose entries are algebraic functions in one or more real variables. Given initial and target vectors $u,v\in \mathbb{Q}^d$, the parametric point-to-point orbit problem asks whether there exist values of the parameters giving rise to a concrete matrix $N \in \mathbb{R}^{d\times d}$, and a positive integer $n\in \mathbb{N}$, such that $N^nu = v$. We show decidability for the case in which $M$ depends only upon a single parameter, and we exhibit a reduction from the well-known Skolem Problem for linear recurrence sequences, suggesting intractability in the case of two or more parameters. △ Less

Submitted 13 August, 2021; v1 submitted 21 April, 2021; originally announced April 2021.

Comments: Full version of the paper appearing at CONCUR 2021

A Galactic survey of radio jets from massive protostars

Authors: S. J. D. Purser, S. L. Lumsden, M. G. Hoare, S. Kurtz

Abstract: In conjunction with a previous southern-hemisphere work, we present the largest radio survey of jets from massive protostars to date with high-resolution, ($\sim 0.04^{\prime\prime}$) VLA observations towards two subsamples of massive star-forming regions of different evolutionary statuses: 48 infrared-bright, massive YSOs and 8 IRDCs containing 16 luminous (${\rm L_{bol}}>10^3\,{\rm L_\odot}$) co… ▽ More In conjunction with a previous southern-hemisphere work, we present the largest radio survey of jets from massive protostars to date with high-resolution, ($\sim 0.04^{\prime\prime}$) VLA observations towards two subsamples of massive star-forming regions of different evolutionary statuses: 48 infrared-bright, massive YSOs and 8 IRDCs containing 16 luminous (${\rm L_{bol}}>10^3\,{\rm L_\odot}$) cores. For $94\%$ of the MYSO sample we detect thermal radio ($α\geq -0.1$ whereby $S_ν\propto ν^α$) sources coincident with the protostar, of which $84\%$ (13 jets and 25 candidates) are jet-like. Radio luminosity is found to scale with ${\rm L_{bol}}$ similarly to the low-mass case supporting a common mechanism for jet production across all masses. Associated radio lobes tracing shocks are seen towards $52\%$ of jet-like objects and are preferentially detected towards jets of higher radio and bolometric luminosities, resulting from our sensitivity limitations. We find jet mass loss rate scales with bolometric luminosity as $\dot{m}_{\rm jet} \propto {\rm L_{bol}}^{0.9\pm0.2}$, thereby discarding radiative, line-driving mechanisms as the dominant jet-launching process. Calculated momenta show that the majority of jets are mechanically capable of driving the massive, molecular outflow phenomena since $p_{\rm jet}>p_{\rm outflow}$. Finally, from their physical extent we show that the radio emission can not originate from small, optically-thick \textsc{Hii} regions. Towards the IRDC cores, we observe increasing incidence rates/radio fluxes with age using the proxy of increasing luminosity-to-mass $\left( \frac{L}{M} \right)$ and decreasing infrared flux ratios $\left(\frac{S_{70 \rm μm}}{S_{24 \rm μm}}\right)$. Cores with $\frac{L}{M}<40\,{\rm L_{sol}}{\rm M_{sol}}^{-1}$ are not detected above ($5.8{\rm GHz}$) radio luminosities of $\sim1{\rm mJy\,kpc}^2$. △ Less

Submitted 16 March, 2021; originally announced March 2021.

Comments: To be published in MNRAS. 20 pages main text (4 tables, 14 figures), 90 pages appendices (6 tables, 66 figures)

A Multi-Epoch Study of Radio Continuum Emission from MassiveProtostars

Authors: W. O. Obonyo, S. L. Lumsden, M. G. Hoare, S. E. Kurtz, S. J. D Purser

Abstract: We report the results of the Jansky Very Large Array (JVLA) observation of five massive protostars at 6 and 22.2 GHz. The aim of the study was to compare their current fluxes and positions with previous observations to search for evidence of variability. Most of the observed sources present the morphologies of a thermal core, hosting the protostar and exhibiting no proper motion, and associated no… ▽ More We report the results of the Jansky Very Large Array (JVLA) observation of five massive protostars at 6 and 22.2 GHz. The aim of the study was to compare their current fluxes and positions with previous observations to search for evidence of variability. Most of the observed sources present the morphologies of a thermal core, hosting the protostar and exhibiting no proper motion, and associated non-thermal radio lobes that are characterised by proper motions and located away from the thermal core. Some of the protostars drive jets whose lobes have dissimilar displacement vectors, implying precession of the jets or the presence of multiple jet drivers. The jets of the protostars were found to have proper motions that lie in the range 170$ \leq v \leq $650 kms$^{-1}$, and precessions of periods 40$\leq p \leq$50 years and angles 2$\leq α\leq$10$^\circ$, assuming that their velocities $v=$500 kms$^{-1}$. The core of one of the sources, S255 NIRS 3, which was in outburst at the time of our observations, showed a significant change in flux compared to the other sources. Its spectral index decreased during the outburst, consistent with the model of an expanding gas bubble. Modelling the emission of the outburst as that of a new non-thermal lobe that is emerging from a thermal core whose emission enshrouds that of the lobe also has the potential to account for the increase in flux and a decrease in the spectral index of the source's outburst. △ Less

Submitted 23 December, 2020; originally announced December 2020.

Comments: 16 pages, 15 figures

Reachability in Dynamical Systems with Rounding

Authors: Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland

Abstract: We consider reachability in dynamical systems with discrete linear updates, but with fixed digital precision, i.e., such that values of the system are rounded at each step. Given a matrix $M \in \mathbb{Q}^{d \times d}$, an initial vector $x\in\mathbb{Q}^{d}$, a granularity $g\in \mathbb{Q}_+$ and a rounding operation $[\cdot]$ projecting a vector of $\mathbb{Q}^{d}$ onto another vector whose ever… ▽ More We consider reachability in dynamical systems with discrete linear updates, but with fixed digital precision, i.e., such that values of the system are rounded at each step. Given a matrix $M \in \mathbb{Q}^{d \times d}$, an initial vector $x\in\mathbb{Q}^{d}$, a granularity $g\in \mathbb{Q}_+$ and a rounding operation $[\cdot]$ projecting a vector of $\mathbb{Q}^{d}$ onto another vector whose every entry is a multiple of $g$, we are interested in the behaviour of the orbit $\mathcal{O}={<}[x], [M[x]],[M[M[x]]],\dots{>}$, i.e., the trajectory of a linear dynamical system in which the state is rounded after each step. For arbitrary rounding functions with bounded effect, we show that the complexity of deciding point-to-point reachability---whether a given target $y \in\mathbb{Q}^{d}$ belongs to $\mathcal{O}$---is PSPACE-complete for hyperbolic systems (when no eigenvalue of $M$ has modulus one). We also establish decidability without any restrictions on eigenvalues for several natural classes of rounding functions. △ Less

Submitted 28 September, 2020; originally announced September 2020.

Comments: To appear at FSTTCS'20

The Big-O Problem

Authors: Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser

Abstract: Given two weighted automata, we consider the problem of whether one is big-O of the other, i.e., if the weight of every finite word in the first is not greater than some constant multiple of the weight in the second. We show that the problem is undecidable, even for the instantiation of weighted automata as labelled Markov chains. Moreover, even when it is known that one weighted automaton is bi… ▽ More Given two weighted automata, we consider the problem of whether one is big-O of the other, i.e., if the weight of every finite word in the first is not greater than some constant multiple of the weight in the second. We show that the problem is undecidable, even for the instantiation of weighted automata as labelled Markov chains. Moreover, even when it is known that one weighted automaton is big-O of another, the problem of finding or approximating the associated constant is also undecidable. Our positive results show that the big-O problem is polynomial-time solvable for unambiguous automata, coNP-complete for unlabelled weighted automata (i.e., when the alphabet is a single character) and decidable, subject to Schanuel's conjecture, when the language is bounded (i.e., a subset of $w_1^*\dots w_m^*$ for some finite words $w_1,\dots,w_m$) or when the automaton has finite ambiguity. On labelled Markov chains, the problem can be restated as a ratio total variation distance, which, instead of finding the maximum difference between the probabilities of any two events, finds the maximum ratio between the probabilities of any two events. The problem is related to $\varepsilon$-differential privacy, for which the optimal constant of the big-O notation is exactly $\exp(\varepsilon)$. △ Less

Submitted 14 March, 2022; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: Extended version of the CONCUR 2020 paper "The Big-O Problem for Labelled Markov Chains and Weighted Automata": https://doi.org/10.4230/LIPIcs.CONCUR.2020.41

Journal ref: Logical Methods in Computer Science, Volume 18, Issue 1 (March 15, 2022) lmcs:7343

The Complexity of Verifying Loop-Free Programs as Differentially Private

Authors: Marco Gaboardi, Kobbi Nissim, David Purser

Abstract: We study the problem of verifying differential privacy for loop-free programs with probabilistic choice. Programs in this class can be seen as randomized Boolean circuits, which we will use as a formal model to answer two different questions: first, deciding whether a program satisfies a prescribed level of privacy; second, approximating the privacy parameters a program realizes. We show that the… ▽ More We study the problem of verifying differential privacy for loop-free programs with probabilistic choice. Programs in this class can be seen as randomized Boolean circuits, which we will use as a formal model to answer two different questions: first, deciding whether a program satisfies a prescribed level of privacy; second, approximating the privacy parameters a program realizes. We show that the problem of deciding whether a program satisfies $\varepsilon$-differential privacy is $coNP^{\#P}$-complete. In fact, this is the case when either the input domain or the output range of the program is large. Further, we show that deciding whether a program is $(\varepsilon,δ)$-differentially private is $coNP^{\#P}$-hard, and in $coNP^{\#P}$ for small output domains, but always in $coNP^{\#P^{\#P}}$. Finally, we show that the problem of approximating the level of differential privacy is both $NP$-hard and $coNP$-hard. These results complement previous results by Murtagh and Vadhan showing that deciding the optimal composition of differentially private components is $\#P$-complete, and that approximating the optimal composition of differentially private components is in $P$. △ Less

Submitted 29 June, 2020; v1 submitted 8 November, 2019; originally announced November 2019.

Journal ref: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Volume 168 of LIPIcs, pages 129:1-129:17. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2020

The first detection of a low-frequency turnover in nonthermal emission from the jet of a young star

Authors: Anton Feeney-Johansson, Simon J. D. Purser, Tom P. Ray, Jochen Eislöffel, Matthias Hoeft, Alexander Drabent, Rachael E. Ainsworth

Abstract: Radio emission in jets from young stellar objects (YSOs) in the form of nonthermal emission has been seen toward several YSOs. Thought to be synchrotron emission from strong shocks in the jet, it could provide valuable information about the magnetic field in the jet. Here we report on the detection of synchrotron emission in two emission knots in the jet of the low-mass YSO DG Tau A at 152 MHz usi… ▽ More Radio emission in jets from young stellar objects (YSOs) in the form of nonthermal emission has been seen toward several YSOs. Thought to be synchrotron emission from strong shocks in the jet, it could provide valuable information about the magnetic field in the jet. Here we report on the detection of synchrotron emission in two emission knots in the jet of the low-mass YSO DG Tau A at 152 MHz using the Low-Frequency Array (LOFAR), the first time nonthermal emission has been observed in a YSO jet at such low frequencies. In one of the knots, a low-frequency turnover in its spectrum is clearly seen compared to higher frequencies. This is the first time such a turnover has been seen in nonthermal emission in a YSO jet. We consider several possible mechanisms for the turnover and fit models for each of these to the spectrum. Based on the physical parameters predicted by each model, the Razin effect appears to be the most likely explanation for the turnover. From the Razin effect fit, we can obtain an estimate for the magnetic field strength within the emission knot of $\sim 20\ μ\mathrm{G}$. If the Razin effect is the correct mechanism, this is the first time the magnetic field strength along a YSO jet has been measured based on a low-frequency turnover in nonthermal emission. △ Less

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

Comments: 11 pages, 2 figures, accepted for publication in ApJ Letters

Journal ref: The Astrophysical Journal Letters, Volume 885, Number 1, L7, 2019

Measuring the ionisation fraction in a jet from a massive protostar

Authors: R. Fedriani, A. Caratti o Garatti, S. J. D. Purser, A. Sanna, J. C. Tan, R. Garcia-Lopez, T. P. Ray, D. Coffey, B. Stecklum, M. Hoare

Abstract: It is important to determine if massive stars form via disc accretion, like their low-mass counterparts. Theory and observation indicate that protostellar jets are a natural consequence of accretion discs and are likely to be crucial for removing angular momentum during the collapse. However, massive protostars are typically rarer, more distant and more dust enshrouded, making observational studie… ▽ More It is important to determine if massive stars form via disc accretion, like their low-mass counterparts. Theory and observation indicate that protostellar jets are a natural consequence of accretion discs and are likely to be crucial for removing angular momentum during the collapse. However, massive protostars are typically rarer, more distant and more dust enshrouded, making observational studies of their jets more challenging. A fundamental question is whether the degree of ionisation in jets is similar across the mass spectrum. Here we determine an ionisation fraction of $\sim5-12\%$ in the jet from the massive protostar G35.20-0.74N, based on spatially coincident infrared and radio emission. This is similar to the values found in jets from lower-mass young stars, implying a unified mechanism of shock ionisation applies in jets across most of the protostellar mass spectrum, up to at least $\sim10$ solar masses. △ Less

Submitted 14 August, 2019; originally announced August 2019.

Comments: Published in Nature Communications. This is author's version. Full article is available here https://rdcu.be/bN6ps . 10 pages, 4 Figures, including methods and references

Journal ref: Nature Communications, 2019, https://www.nature.com/articles/s41467-019-11595-x

A search for non-thermal radio emission from jets of massive young stellar objects

Authors: W. O. Obonyo, S. L. Lumsden, M. G. Hoare, S. J. D. Purser, S. E. Kurtz, K. G. Johnston

Abstract: Massive young stellar objects (MYSOs) have recently been shown to drive jets whose particles can interact with either the magnetic fields of the jet or ambient medium to emit non-thermal radiation. We report a search for non-thermal radio emission from a sample of 15 MYSOs to establish the prevalence of the emission in the objects. We used their spectra across the L-, C- and Q-bands along with spe… ▽ More Massive young stellar objects (MYSOs) have recently been shown to drive jets whose particles can interact with either the magnetic fields of the jet or ambient medium to emit non-thermal radiation. We report a search for non-thermal radio emission from a sample of 15 MYSOs to establish the prevalence of the emission in the objects. We used their spectra across the L-, C- and Q-bands along with spectral index maps to characterise their emission. We find that about 50% of the sources show evidence for non-thermal emission with 40% showing clear non-thermal lobes, especially sources of higher bolometric luminosity. The common or IRAS names of the sources that manifest non-thermal lobes are; V645Cyg, IRAS 22134+5834, NGC 7538 IRS 9, IRAS 23262+640, AFGL 402d and AFGL 490. All the central cores of the sources are thermal with corresponding mass-loss rates that lie in the range 3X10^{-7} to 7X10^{-6} solar masses per year. Given the presence of non-thermal lobes in some of the sources and the evidence of non-thermal emission from some spectral index maps, it seems that magnetic fields play a significant role in the jets of massive protostars. Also noted is that some of the sources show evidence of binarity and variability. △ Less

Submitted 11 April, 2019; v1 submitted 9 April, 2019; originally announced April 2019.

Comments: Accepted for publication in MNRAS

MSC Class: Astronomy and Astrophysics

Journal ref: MNRAS, 2019

Investigating the temporal domain of massive ionized jets - I. A pilot study

Authors: S. J. D. Purser, S. L. Lumsden, M. G. Hoare, N. Cunningham

Abstract: We present sensitive ($σ<10{\rm μJy \, beam^{-1}}$), radio continuum observations using the Australian telescope compact array (ATCA) at frequencies of $6$ and $9$ GHz towards 4 MYSOs. From a previous, less sensitive work, these objects are known to harbour ionized jets associated with radio lobes, which result from shock processes. In comparison with that work, further emission components are det… ▽ More We present sensitive ($σ<10{\rm μJy \, beam^{-1}}$), radio continuum observations using the Australian telescope compact array (ATCA) at frequencies of $6$ and $9$ GHz towards 4 MYSOs. From a previous, less sensitive work, these objects are known to harbour ionized jets associated with radio lobes, which result from shock processes. In comparison with that work, further emission components are detected towards each MYSO. These include extended, direct, thermal emission from the ionized jet's stream, new radio lobes indicative of shocks close ($<10^5\, {\rm au}$) to the MYSO, 3 radio Herbig-Haro objects separated by up to $3.8 {\rm pc}$ from the jet's launching site and an IR-dark source coincident with CH$_3$OH maser emission. No significant, integrated flux variability is detected towards any jets or shocked lobes, and only one proper motion is observed ($1806\pm596\,{\rm km \, s^{-1}}$ parallel to the jet axis of G310.1420+00.7583A). Evidence for precession is detected in all four MYSOs with precession-periods and angles ranging from $66-15480 \, {\rm yr}$ and $6-36 ^\circ$ respectively. Should precession be the result of the influence from a binary companion, we infer orbital radii of $30-1800\, {\rm au} $. △ Less

Submitted 26 September, 2018; originally announced September 2018.

Journal ref: Monthly Notices of the Royal Astronomical Society, Volume 475, Issue 1, p.2-19, 2018

Constraining the nature of DG Tau A's thermal and non-thermal radio emission

Authors: S. J. D. Purser, R. E. Ainsworth, T. P. Ray, D. A. Green, A. M. Taylor, A. M. M. Scaife

Abstract: DG Tau A, a class-II young stellar object (YSO) displays both thermal, and non-thermal, radio emission associated with its bipolar jet. To investigate the nature of this emission, we present sensitive ($σ\sim2\,μ{\rm Jy \,beam^{-1}}$), Karl G.\ Jansky Very Large Array (VLA) $6$ and $10\,{\rm GHz}$ observations. Over $3.81\,{\rm yr}$, no proper motion is observed towards the non-thermal radio knot… ▽ More DG Tau A, a class-II young stellar object (YSO) displays both thermal, and non-thermal, radio emission associated with its bipolar jet. To investigate the nature of this emission, we present sensitive ($σ\sim2\,μ{\rm Jy \,beam^{-1}}$), Karl G.\ Jansky Very Large Array (VLA) $6$ and $10\,{\rm GHz}$ observations. Over $3.81\,{\rm yr}$, no proper motion is observed towards the non-thermal radio knot C, previously thought to be a bowshock. Its quasi-static nature, spatially-resolved variability and offset from the central jet axis supports a scenario whereby it is instead a stationary shock driven into the surrounding medium by the jet. Towards the internal working surface, knot A, we derive an inclination-corrected, absolute velocity of $258\pm23\, {\rm km\,s^{-1}}$. DG Tau A's receding counterjet displays a spatially-resolved increase in flux density, indicating a variable mass loss event, the first time such an event has been observed in the counterjet. For this ejection, we measure an ionised mass loss rate of $(3.7\pm1.0) \times 10^{-8}\, {\rm M_\odot\, yr^{-1}}$ during the event. A contemporaneous ejection in the approaching jet isn't seen, showing it to be an asymmetric process. Finally, using radiative transfer modelling, we find that the extent of the radio emission can only be explained with the presence of shocks, and therefore reionisation, in the flow. Our modelling highlights the need to consider the relative angular size of optically thick, and thin, radio emission from a jet, to the synthesised beam, when deriving its physical conditions from its spectral index. △ Less

Submitted 26 September, 2018; originally announced September 2018.

Bisimilarity Distances for Approximate Differential Privacy

Authors: Dmitry Chistikov, Andrzej S. Murawski, David Purser

Abstract: Differential privacy is a widely studied notion of privacy for various models of computation. Technically, it is based on measuring differences between probability distributions. We study $ε,δ$-differential privacy in the setting of labelled Markov chains. While the exact differences relevant to $ε,δ$-differential privacy are not computable in this framework, we propose a computable bisimilarity d… ▽ More Differential privacy is a widely studied notion of privacy for various models of computation. Technically, it is based on measuring differences between probability distributions. We study $ε,δ$-differential privacy in the setting of labelled Markov chains. While the exact differences relevant to $ε,δ$-differential privacy are not computable in this framework, we propose a computable bisimilarity distance that yields a sound technique for measuring $δ$, the parameter that quantifies deviation from pure differential privacy. We show this bisimilarity distance is always rational, the associated threshold problem is in NP, and the distance can be computed exactly with polynomially many calls to an NP oracle. △ Less

Submitted 13 September, 2018; v1 submitted 26 July, 2018; originally announced July 2018.

Comments: To appear International Symposium on Automated Technology for Verification and Analysis // October 7-10, 2018

Gravitational instabilities in a protosolar-like disc II: continuum emission and mass estimates

Authors: M. G. Evans, J. D. Ilee, T. W. Hartquist, P. Caselli, L. Szucs, S. J. D. Purser, A. C. Boley, R. H. Durisen, J. M. C. Rawlings

Abstract: Gravitational instabilities (GIs) are most likely a fundamental process during the early stages of protoplanetary disc formation. Recently, there have been detections of spiral features in young, embedded objects that appear consistent with GI-driven structure. It is crucial to perform hydrodynamic and radiative transfer simulations of gravitationally unstable discs in order to assess the validity… ▽ More Gravitational instabilities (GIs) are most likely a fundamental process during the early stages of protoplanetary disc formation. Recently, there have been detections of spiral features in young, embedded objects that appear consistent with GI-driven structure. It is crucial to perform hydrodynamic and radiative transfer simulations of gravitationally unstable discs in order to assess the validity of GIs in such objects, and constrain optimal targets for future observations. We utilise the radiative transfer code LIME to produce continuum emission maps of a $0.17\,\mathrm{M}_{\odot}$ self-gravitating protosolar-like disc. We note the limitations of using LIME as is and explore methods to improve upon the default gridding. We use CASA to produce synthetic observations of 270 continuum emission maps generated across different frequencies, inclinations and dust opacities. We find that the spiral structure of our protosolar-like disc model is distinguishable across the majority of our parameter space after 1 hour of observation, and is especially prominent at 230$\,$GHz due to the favourable combination of angular resolution and sensitivity. Disc mass derived from the observations is sensitive to the assumed dust opacities and temperatures, and therefore can be underestimated by a factor of at least 30 at 850$\,$GHz and 2.5 at 90$\,$GHz. As a result, this effect could retrospectively validate GIs in discs previously thought not massive enough to be gravitationally unstable, which could have a significant impact on the understanding of the formation and evolution of protoplanetary discs. △ Less

Submitted 1 June, 2017; originally announced June 2017.

Comments: Accepted for publication in MNRAS; 22 pages, 24 figures and 1 table

A search for ionized jets towards massive young stellar objects

Authors: S. J. D. Purser, S. L. Lumsden, M. G. Hoare, J. S. Urquhart, N. Cunningham, C. R. Purcell, K. J. Brooks, G. Garay, A. E. Gúzman, M. A. Voronkov

Abstract: Radio continuum observations using the Australia telescope compact array at 5.5, 9.0, 17.0 and 22.8 GHz have detected free-free emission associated with 45 of 49 massive young stellar objects and HII regions. Of these, 26 sources are classified as ionized jets (12 of which are candidates), 2 as ambiguous jets or disc winds, 1 as a disc-wind, 14 as HII regions and 2 were unable to be categorised. C… ▽ More Radio continuum observations using the Australia telescope compact array at 5.5, 9.0, 17.0 and 22.8 GHz have detected free-free emission associated with 45 of 49 massive young stellar objects and HII regions. Of these, 26 sources are classified as ionized jets (12 of which are candidates), 2 as ambiguous jets or disc winds, 1 as a disc-wind, 14 as HII regions and 2 were unable to be categorised. Classification as ionized jets is based upon morphology, radio flux and spectral index, in conjunction with previous observational results at other wavelengths. Radio-luminosity and momentum are found to scale with bolometric luminosity in the same way as low-mass jets, indicating a common mechanism for jet production across all masses. In 13 of the jets, we see associated non-thermal/optically-thin lobes resulting from shocks either internal to the jet and/or at working surfaces. Ten jets display non-thermal (synchrotron emission) spectra in their lobes, with an average spectral index of -0.55 consistent with Fermi acceleration in shocks. This shows that magnetic fields are present, in agreement with models of jet formation incorporating magnetic fields. Since the production of collimated radio jets is associated with accretion processes, the results presented in this paper support the picture of disc-mediated accretion for the formation of massive stars with an upper-limit on the jet phase lasting approximately $6.5 \times 10^4 yr$. Typical mass loss rates in the jet are found to be $1.4 \times 10^{-5} M_\odot yr^{-1}$ with associated momentum rates of the order $(1-2) \times 10^{-2} M_\odot km s^{-1} yr^{-1}$. △ Less

Submitted 4 May, 2016; originally announced May 2016.