Showing 1–50 of 105 results for author: Sokolowski, M

High-Time Resolution GPU Imager for FRB searches at low radio frequencies

Authors: M. Sokolowski, G. Aniruddha, C. Di Pietrantonio, C. Harris, D. C. Price, S. McSweeney, R. B. Wayth, N. D. R. Bhat

Abstract: Fast Radio Bursts (FRBs) are millisecond dispersed radio pulses of predominately extra-galactic origin. Although originally discovered at GHz frequencies, most FRBs have been detected between 400 to 800 MHz. Nevertheless, only a handful of FRBs were detected below 400 MHz. Searching for FRBs at low frequencies is computationally challenging due to increased dispersive delay that must be accounted… ▽ More Fast Radio Bursts (FRBs) are millisecond dispersed radio pulses of predominately extra-galactic origin. Although originally discovered at GHz frequencies, most FRBs have been detected between 400 to 800 MHz. Nevertheless, only a handful of FRBs were detected below 400 MHz. Searching for FRBs at low frequencies is computationally challenging due to increased dispersive delay that must be accounted for. However, the wide field of view (FoV) of low-frequency telescopes - such as the the Murchison Widefield Array (MWA), and prototype stations of the low-frequency Square Kilometre Array (SKA-Low) - makes them promising instruments to open a low-frequency window on FRB event rates, and constrain FRB emission models. The standard approach, inherited from high-frequencies, is to form multiple tied-array beams to tessellate the entire FoV and perform the search on the resulting time series. This approach, however, may not be optimal for low-frequency interferometers due to their large FoVs and high spatial resolutions leading to a large number of beams. Consequently, there are regions of parameter space in terms of number of antennas and resolution elements (pixels) where interferometric imaging is computationally more efficient. Here we present a new high-time resolution imager BLINK implemented on modern Graphical Processing Units (GPUs) and intended for radio astronomy. The main goal for this imager is to become part of a fully GPU-accelerated FRB search pipeline. We describe the imager and present its verification on real and simulated data processed to form all-sky and widefield images from the MWA and prototype SKA-Low stations. We also present and compare benchmarks of the GPU and CPU code executed on laptops, desktop computers, and Australian supercomputers. The code is publicly available at https://github.com/PaCER-BLINK-Project/imager and can be applied to data from any radio telescope. △ Less

Submitted 22 May, 2024; originally announced May 2024.

Comments: 19 pages, 9 figures, 6 tables. Accepted for publication in PASA

A Fast Radio Burst monitor with a Compact All-Sky Phased Array (CASPA)

Authors: R. Luo, R. D. Ekers, G. Hobbs, A. Dunning, C. W. James, M. E. Lower, V. Gupta, A. Zic, M. Sokolowski, C. Phillips, A. T. Deller, L. Staveley-Smith

Abstract: Fast Radio Bursts (FRBs) are short-duration radio transients that occur at random times in host galaxies distributed all over the sky. Large field of view instruments can play a critical role in the blind search for rare FRBs. We present a concept for an all-sky FRB monitor using a compact all-sky phased array (CASPA), which can efficiently achieve an extremely large field of view of $\sim10^4$ sq… ▽ More Fast Radio Bursts (FRBs) are short-duration radio transients that occur at random times in host galaxies distributed all over the sky. Large field of view instruments can play a critical role in the blind search for rare FRBs. We present a concept for an all-sky FRB monitor using a compact all-sky phased array (CASPA), which can efficiently achieve an extremely large field of view of $\sim10^4$ square degrees. Such a system would allow us to conduct a continuous, blind FRB search covering the entire southern sky. Using the measured FRB luminosity function, we investigate the detection rate for this all-sky phased array and compare the result to a number of other proposed large field-of-view instruments. We predict a rate of a few FRB detections per week and determine the dispersion measure and redshift distributions of these detectable FRBs. This instrument is optimal for detecting FRBs in the nearby Universe and for extending the high-end of the FRB luminosity function through finding ultraluminous events. Additionally, this instrument can be used to shadow the new gravitational-wave observing runs, detect high energy events triggered from Galactic magnetars and search for other bright, but currently unknown transient signals. △ Less

Submitted 12 May, 2024; originally announced May 2024.

Comments: Submitted to PASA, comments welcome

Almost-linear time parameterized algorithm for rankwidth via dynamic rankwidth

Authors: Tuukka Korhonen, Marek Sokołowski

Abstract: We give an algorithm that given a graph $G$ with $n$ vertices and $m$ edges and an integer $k$, in time $O_k(n^{1+o(1)}) + O(m)$ either outputs a rank decomposition of $G$ of width at most $k$ or determines that the rankwidth of $G$ is larger than $k$; the $O_k(\cdot)$-notation hides factors depending on $k$. Our algorithm returns also a $(2^{k+1}-1)$-expression for cliquewidth, yielding a… ▽ More We give an algorithm that given a graph $G$ with $n$ vertices and $m$ edges and an integer $k$, in time $O_k(n^{1+o(1)}) + O(m)$ either outputs a rank decomposition of $G$ of width at most $k$ or determines that the rankwidth of $G$ is larger than $k$; the $O_k(\cdot)$-notation hides factors depending on $k$. Our algorithm returns also a $(2^{k+1}-1)$-expression for cliquewidth, yielding a $(2^{k+1}-1)$-approximation algorithm for cliquewidth with the same running time. This improves upon the $O_k(n^2)$ time algorithm of Fomin and Korhonen [STOC 2022]. The main ingredient of our algorithm is a fully dynamic algorithm for maintaining rank decompositions of bounded width: We give a data structure that for a dynamic $n$-vertex graph $G$ that is updated by edge insertions and deletions maintains a rank decomposition of $G$ of width at most $4k$ under the promise that the rankwidth of $G$ never grows above $k$. The amortized running time of each update is $O_k(2^{\sqrt{\log n} \log \log n})$. The data structure furthermore can maintain whether $G$ satisfies some fixed ${\sf CMSO}_1$ property within the same running time. We also give a framework for performing ``dense'' edge updates inside a given set of vertices $X$, where the new edges inside $X$ are described by a given ${\sf CMSO}_1$ sentence and vertex labels, in amortized $O_k(|X| \cdot 2^{\sqrt{\log n} \log \log n})$ time. Our dynamic algorithm generalizes the dynamic treewidth algorithm of Korhonen, Majewski, Nadara, Pilipczuk, and Sokołowski [FOCS 2023]. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Elementary first-order model checking for sparse graphs

Authors: Jakub Gajarský, Michał Pilipczuk, Marek Sokołowski, Giannos Stamoulis, Szymon Toruńczyk

Abstract: It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, Siebertz, STOC 2014]. However, the dependency on the formula size is non-elementary, and in fact, this is unavoidable even for the class of all trees [Frick and Grohe, LICS 2002]. On the other hand, it is known that the d… ▽ More It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, Siebertz, STOC 2014]. However, the dependency on the formula size is non-elementary, and in fact, this is unavoidable even for the class of all trees [Frick and Grohe, LICS 2002]. On the other hand, it is known that the dependency is elementary for classes of bounded degree [Frick and Grohe, LICS 2002] as well as for classes of bounded pathwidth [Lampis, ICALP 2023]. In this paper we generalise these results and almost completely characterise subgraph-closed graph classes for which the model checking problem is fixed-parameter tractable with an elementary dependency on the formula size. Those are the graph classes for which there exists a number $d$ such that for every $r$, some tree of depth $d$ and size bounded by an elementary function of $r$ is avoided as an $({\leq} r)$-subdivision in all graphs in the class. In particular, this implies that if the class in question excludes a fixed tree as a topological minor, then first-order model checking for graphs in the class is fixed-parameter tractable with an elementary dependency on the formula size. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Comments: 44 pages

Calibration of an SKA-Low Prototype Station Using Holographic Techniques

Authors: Jishnu N. Thekkeppattu, Randall B. Wayth, Marcin Sokolowski

Abstract: Performance of digitally beamformed phased arrays relies on accurate calibration of the array by obtaining gains of each antenna in the array. The stations of the Square Kilometer Array-Low (SKA-Low) are such digital arrays, where the station calibration is currently performed using conventional interferometric techniques. An alternative calibration technique similar to holography of dish based te… ▽ More Performance of digitally beamformed phased arrays relies on accurate calibration of the array by obtaining gains of each antenna in the array. The stations of the Square Kilometer Array-Low (SKA-Low) are such digital arrays, where the station calibration is currently performed using conventional interferometric techniques. An alternative calibration technique similar to holography of dish based telescopes has been suggested in the past. In this paper, we develop a novel mathematical framework for holography employing tensors, which are multi-way data structures. Self-holography using a reference beam formed with the station under test itself and cross-holography using a different station to obtain the reference beam are unified under the same formalism. Besides, the relation between the two apparently distinct holographic approaches in the literature for phased arrays is shown, and we show that under certain conditions the two methods yield the same results. We test the various holographic techniques on an SKA-Low prototype station Aperture Array Verification System 2 (AAVS2) with the Sun as the calibrator. We perform self-holography of AAVS2 and cross-holography with simultaneous observations carried out with another station Engineering Development Array 2. We find the results from the holographic techniques to be consistent among themselves as well as with a more conventional calibration technique. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: Accepted version

Journal ref: Radio Science, Volume 59, Issue 1, January 2024

A commensal Fast Radio Burst search pipeline for the Murchison Widefield Array

Authors: M. Sokolowski, I. S. Morrison, D. Price, G. Sleap, B. Crosse, A. Williams, L. Williams, C. James, B. W. Meyers, S. McSweeney, N. D. R. Bhat, G. Anderson

Abstract: We present a demonstration version of a commensal pipeline for Fast Radio Burst (FRB) searches using a real-time incoherent beam from the Murchison Widefield Array (MWA). The main science target of the pipeline are bright nearby FRBs from the local Universe which are the best candidates to probe FRB progenitors and understand physical mechanisms powering these extremely energetic events. The new M… ▽ More We present a demonstration version of a commensal pipeline for Fast Radio Burst (FRB) searches using a real-time incoherent beam from the Murchison Widefield Array (MWA). The main science target of the pipeline are bright nearby FRBs from the local Universe which are the best candidates to probe FRB progenitors and understand physical mechanisms powering these extremely energetic events. The new MWA beamformer, known as the "MWAX multibeam beamformer", can form multiple incoherent and coherent beams commensally to any on-going MWA observations. One of the beams is currently used for FRB searches (tested in 10 kHz frequency resolution and time resolutions between 0.1 and 100 ms). A second beam is used for a Search for Extraterrestrial Intelligence (SETI). This paper focuses on the FRB search pipeline and its verification on selected known bright pulsars. The pipeline uses the FREDDA implementation of the Fast Dispersion Measure Transform algorithm (FDMT) for single pulse searches. Initially, it was tested during standard MWA observations, and more recently using dedicated observations of selected 11 bright pulsars. The pulsar PSR J0835-4510 (aka Vela) has been routinely used as the primary probe of the data quality because its folded profile was always detected in the frequency band 200 - 230 MHz with typical SNR >10. Similarly, the low DM pulsar PSR B0950+08 was always detected in folded profile in the frequency band 140 - 170 MHz, and so far has been the only object for which single pulses were detected. We present the estimated sensitivity of the search in the currently limited observing bandwidth of a single MWA coarse channel (1.28 MHz) and for the upgraded, future system with 12.8 MHz (10 channels) of bandwidth. Based on expected sensitivity and existing FRB rate measurements, we estimate an expected number of FRB detections to be between a few and a few tens per year. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: 22 pages, 12 figures, 4 tables. Accepted for publication in PASA

Exact Shortest Paths with Rational Weights on the Word RAM

Authors: Adam Karczmarz, Wojciech Nadara, Marek Sokołowski

Abstract: Exact computation of shortest paths in weighted graphs has been traditionally studied in one of two settings. First, one can assume that the edge weights are real numbers and all the performed operations on reals (typically comparisons and additions) take constant time. Classical Dijkstra's and Bellman-Ford algorithms have been described in this setting. More efficient exact shortest paths algorit… ▽ More Exact computation of shortest paths in weighted graphs has been traditionally studied in one of two settings. First, one can assume that the edge weights are real numbers and all the performed operations on reals (typically comparisons and additions) take constant time. Classical Dijkstra's and Bellman-Ford algorithms have been described in this setting. More efficient exact shortest paths algorithms have been obtained for integer-weighted graphs. Integrality assumption not only enables faster algorithms but also allows implementing the aforementioned algorithms in a much more realistic word RAM model where only arithmetic operations on $O(\log{n})$-bit integers are performed in constant time. On the word RAM one can as efficiently exactly encode even \emph{rational-weighted} instances with $O(\log{n})$-bit numerators and denominators. However, the known exact real-weighted shortest paths algorithms, run on such a rational input, can easily encounter intermediate values of $Θ(n)$ bits if represented exactly. This leads to a factor-$Ω(n)$ slowdown on the word RAM. At the same time, the scaling algorithms suited for integer weights do not produce exact solutions for rational inputs without dramatically increasing their accuracy. In this paper, we design randomized exact single-source shortest paths algorithms for rational-weighted graphs on the word RAM. Most importantly, in the non-negative case, we obtain a near-linear time algorithm matching Dijkstra's algorithm running time up to polylogarithmic factors. In presence of negative weights, we give an $\tilde{O}(n^{2.5})$-time algorithm breaking through the best known strongly polynomial bound attained by Bellman-Ford for sufficiently dense graphs. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Fully dynamic approximation schemes on planar and apex-minor-free graphs

Authors: Tuukka Korhonen, Wojciech Nadara, Michał Pilipczuk, Marek Sokołowski

Abstract: The classic technique of Baker [J. ACM '94] is the most fundamental approach for designing approximation schemes on planar, or more generally topologically-constrained graphs, and it has been applied in a myriad of different variants and settings throughout the last 30 years. In this work we propose a dynamic variant of Baker's technique, where instead of finding an approximate solution in a given… ▽ More The classic technique of Baker [J. ACM '94] is the most fundamental approach for designing approximation schemes on planar, or more generally topologically-constrained graphs, and it has been applied in a myriad of different variants and settings throughout the last 30 years. In this work we propose a dynamic variant of Baker's technique, where instead of finding an approximate solution in a given static graph, the task is to design a data structure for maintaining an approximate solution in a fully dynamic graph, that is, a graph that is changing over time by edge deletions and edge insertions. Specifically, we address the two most basic problems -- Maximum Weight Independent Set and Minimum Weight Dominating Set -- and we prove the following: for a fully dynamic $n$-vertex planar graph $G$, one can: * maintain a $(1-\varepsilon)$-approximation of the maximum weight of an independent set in $G$ with amortized update time $f(\varepsilon)\cdot n^{o(1)}$; and, * under the additional assumption that the maximum degree of the graph is bounded at all times by a constant, also maintain a $(1+\varepsilon)$-approximation of the minimum weight of a dominating set in $G$ with amortized update time $f(\varepsilon)\cdot n^{o(1)}$. In both cases, $f(\varepsilon)$ is doubly-exponential in $\mathrm{poly}(1/\varepsilon)$ and the data structure can be initialized in time $f(\varepsilon)\cdot n^{1+o(1)}$. All our results in fact hold in the larger generality of any graph class that excludes a fixed apex-graph as a minor. △ Less

Submitted 31 October, 2023; originally announced October 2023.

Comments: 37 pages, accepted to SODA '24

MWA rapid follow-up of gravitational wave transients: prospects for detecting prompt radio counterparts

Authors: J. Tian, G. E. Anderson, A. J. Cooper, K. Gourdji, M. Sokolowski, A. Rowlinson, A. Williams, G. Sleap, D. Dobie, D. L. Kaplan, Tara Murphy, S. J. Tingay, F. H. Panther, P. D. Lasky, A. Bahramian, J. C. A. Miller-Jones, C. W. James, B. W. Meyers, S. J. McSweeney, P. J. Hancock

Abstract: We present and evaluate the prospects for detecting coherent radio counterparts to gravitational wave (GW) events using Murchison Widefield Array (MWA) triggered observations. The MWA rapid-response system, combined with its buffering mode ($\sim4$ minutes negative latency), enables us to catch any radio signals produced from seconds prior to hours after a binary neutron star (BNS) merger. The lar… ▽ More We present and evaluate the prospects for detecting coherent radio counterparts to gravitational wave (GW) events using Murchison Widefield Array (MWA) triggered observations. The MWA rapid-response system, combined with its buffering mode ($\sim4$ minutes negative latency), enables us to catch any radio signals produced from seconds prior to hours after a binary neutron star (BNS) merger. The large field of view of the MWA ($\sim1000\,\text{deg}^2$ at 120\,MHz) and its location under the high sensitivity sky region of the LIGO-Virgo-KAGRA (LVK) detector network, forecast a high chance of being on-target for a GW event. We consider three observing configurations for the MWA to follow up GW BNS merger events, including a single dipole per tile, the full array, and four sub-arrays. We then perform a population synthesis of BNS systems to predict the radio detectable fraction of GW events using these configurations. We find that the configuration with four sub-arrays is the best compromise between sky coverage and sensitivity as it is capable of placing meaningful constraints on the radio emission from 12.6\% of GW BNS detections. Based on the timescales of four BNS merger coherent radio emission models, we propose an observing strategy that involves triggering the buffering mode to target coherent signals emitted prior to, during or shortly following the merger, which is then followed by continued recording for up to three hours to target later time post-merger emission. We expect MWA to trigger on $\sim5\text{--}22$ BNS merger events during the LVK O4 observing run, which could potentially result in two detections of predicted coherent emission. △ Less

Submitted 28 September, 2023; originally announced September 2023.

Comments: Accepted for publication in PASA

Detection of intended and unintended emissions from Starlink satellites in the SKA-Low frequency range, at the SKA-Low site, with an SKA-Low station analog

Authors: Dylan Grigg, Steven Tingay, Marcin Sokolowski, Randall Wayth, Balthasar Indermuehle, Steve Prabu

Abstract: Intended and unintended radio emissions from satellites can interfere with sensitive radio telescopes in the frequency ranges of key experiments in astrophysics and cosmology. We detect strong intended and unintended electromagnetic radiation from Starlink satellites at the site of the future SKA-Low facility in Western Australia, using an SKA-low prototype station known as the Engineering Develop… ▽ More Intended and unintended radio emissions from satellites can interfere with sensitive radio telescopes in the frequency ranges of key experiments in astrophysics and cosmology. We detect strong intended and unintended electromagnetic radiation from Starlink satellites at the site of the future SKA-Low facility in Western Australia, using an SKA-low prototype station known as the Engineering Development Array version 2 (EDA2). We aim to show that Starlink satellites are easily detectable utilising a configuration of low frequency radio antennas representative of an SKA-Low 'station' and that our results complement similar findings with the LOFAR telescope. Utilising the EDA2 at frequencies of 137.5 MHz and 159.4 MHz, we detect trains of Starlink satellites on 2023-03-17/18 and 2021-11-16/17, respectively, via the formation of all-sky images with a frequency resolution of 0.926 MHz and a time resolution of 2 s. Time differencing techniques are utilised to isolate and characterise the transmissions from Starlink and other satellites. We observe Starlink satellites reaching intensities of $10^6$ Jy/beam, with the detected transmissions exhibiting a range of behaviours, from periodic bursts to steady transmission. The results are notable because they demonstrate that Starlink satellites are detected in the SKA-Low frequency range, transmitting both intentionally and unintentionally. Follow-up work and discussion are needed to identify the cause of this unintentional radiation as it has the potential to interfere with SKA-Low science. Our results indicate that both intended and unintended radiation from Starlink satellites will be detrimental to key SKA science goals without mitigation. Continued conversation with SpaceX could potentially result in future mitigations which the EDA2 instrument could efficiently monitor and characterise at the SKA-Low site. △ Less

Submitted 27 September, 2023; originally announced September 2023.

Journal ref: A&A 678, L6 (2023)

Sparse Graphs of Twin-width 2 Have Bounded Tree-width

Authors: Benjamin Bergougnoux, Jakub Gajarský, Grzegorz Guśpiel, Petr Hliněný, Filip Pokrývka, Marek Sokołowski

Abstract: Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a… ▽ More Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS 2020]. Very briefly, its essence is a gradual reduction (a contraction sequence) of the given graph down to a single vertex while maintaining limited difference of neighbourhoods of the vertices, and it can be seen as widely generalizing several other traditional structural parameters. Having such a sequence at hand allows to solve many otherwise hard problems efficiently. Our paper focuses on a comparison of twin-width to the more traditional tree-width on sparse graphs. Namely, we prove that if a graph $G$ of twin-width at most $2$ contains no $K_{t,t}$ subgraph for some integer $t$, then the tree-width of $G$ is bounded by a polynomial function of $t$. As a consequence, for any sparse graph class $\mathcal{C}$ we obtain a polynomial time algorithm which for any input graph $G \in \mathcal{C}$ either outputs a contraction sequence of width at most $c$ (where $c$ depends only on $\mathcal{C}$), or correctly outputs that $G$ has twin-width more than $2$. On the other hand, we present an easy example of a graph class of twin-width $3$ with unbounded tree-width, showing that our result cannot be extended to higher values of twin-width. △ Less

Submitted 4 July, 2023; originally announced July 2023.

MSC Class: 05C75; 68R10

Detecting Points in Integer Cones of Polytopes is Double-Exponentially Hard

Authors: Łukasz Kowalik, Alexandra Lassota, Konrad Majewski, Michał Pilipczuk, Marek Sokołowski

Abstract: Let $d$ be a positive integer. For a finite set $X \subseteq \mathbb{R}^d$, we define its integer cone as the set $\mathsf{IntCone}(X) := \{ \sum_{x \in X} λ_x \cdot x \mid λ_x \in \mathbb{Z}_{\geq 0} \} \subseteq \mathbb{R}^d$. Goemans and Rothvoss showed that, given two polytopes $\mathcal{P}, \mathcal{Q} \subseteq \mathbb{R}^d$ with $\mathcal{P}$ being bounded, one can decide whether… ▽ More Let $d$ be a positive integer. For a finite set $X \subseteq \mathbb{R}^d$, we define its integer cone as the set $\mathsf{IntCone}(X) := \{ \sum_{x \in X} λ_x \cdot x \mid λ_x \in \mathbb{Z}_{\geq 0} \} \subseteq \mathbb{R}^d$. Goemans and Rothvoss showed that, given two polytopes $\mathcal{P}, \mathcal{Q} \subseteq \mathbb{R}^d$ with $\mathcal{P}$ being bounded, one can decide whether $\mathsf{IntCone}(\mathcal{P} \cap \mathbb{Z}^d)$ intersects $\mathcal{Q}$ in time $\mathsf{enc}(\mathcal{P})^{2^{\mathcal{O}(d)}} \cdot \mathsf{enc}(\mathcal{Q})^{\mathcal{O}(1)}$ [J. ACM 2020], where $\mathsf{enc}(\cdot)$ denotes the number of bits required to encode a polytope through a system of linear inequalities. This result is the cornerstone of their XP algorithm for BIN PACKING parameterized by the number of different item sizes. We complement their result by providing a conditional lower bound. In particular, we prove that, unless the ETH fails, there is no algorithm which, given a bounded polytope $\mathcal{P} \subseteq \mathbb{R}^d$ and a point $q \in \mathbb{Z}^d$, decides whether $q \in \mathsf{IntCone}(\mathcal{P} \cap \mathbb{Z}^d)$ in time $\mathsf{enc}(\mathcal{P}, q)^{2^{o(d)}}$. Note that this does not rule out the existence of a fixed-parameter tractable algorithm for the problem, but shows that dependence of the running time on the parameter $d$ must be at least doubly-exponential. △ Less

Submitted 1 July, 2023; originally announced July 2023.

Dynamic treewidth

Authors: Tuukka Korhonen, Konrad Majewski, Wojciech Nadara, Michał Pilipczuk, Marek Sokołowski

Abstract: We present a data structure that for a dynamic graph $G$ that is updated by edge insertions and deletions, maintains a tree decomposition of $G$ of width at most $6k+5$ under the promise that the treewidth of $G$ never grows above $k$. The amortized update time is ${\cal O}_k(2^{\sqrt{\log n}\log\log n})$, where $n$ is the vertex count of $G$ and the ${\cal O}_k(\cdot)$ notation hides factors depe… ▽ More We present a data structure that for a dynamic graph $G$ that is updated by edge insertions and deletions, maintains a tree decomposition of $G$ of width at most $6k+5$ under the promise that the treewidth of $G$ never grows above $k$. The amortized update time is ${\cal O}_k(2^{\sqrt{\log n}\log\log n})$, where $n$ is the vertex count of $G$ and the ${\cal O}_k(\cdot)$ notation hides factors depending on $k$. In addition, we also obtain the dynamic variant of Courcelle's Theorem: for any fixed property $\varphi$ expressible in the $\mathsf{CMSO}_2$ logic, the data structure can maintain whether $G$ satisfies $\varphi$ within the same time complexity bounds. To a large extent, this answers a question posed by Bodlaender [WG 1993]. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: 80 pages, 2 figures

The Southern-sky MWA Rapid Two-metre (SMART) pulsar survey -- II. Survey status, pulsar census, and first pulsar discoveries

Authors: N. D. R. Bhat, N. A. Swainston, S. J. McSweeney, M. Xue, B. W. Meyers, S. Kudale, S. Dai, S. E. Tremblay, W. van Straten, R. M. Shannon, K. R. Smith, M. Sokolowski, S. M. Ord, G. Sleap, A. Williams, P. J. Hancock, R. Lange, J. Tocknell, M. Johnston-Hollitt, D. L. Kaplan, S. J. Tingay, M. Walker

Abstract: In Paper I, we presented an overview of the Southern-sky MWA Rapid Two-metre (SMART) survey, including the survey design and search pipeline. While the combination of MWA's large field-of-view and the voltage capture system brings a survey speed of ~450 square degrees per hour, the survey progression relies on the availability of compact configuration of the Phase II array. Over the past few years… ▽ More In Paper I, we presented an overview of the Southern-sky MWA Rapid Two-metre (SMART) survey, including the survey design and search pipeline. While the combination of MWA's large field-of-view and the voltage capture system brings a survey speed of ~450 square degrees per hour, the survey progression relies on the availability of compact configuration of the Phase II array. Over the past few years, by taking advantage of multiple windows of opportunity when the compact configuration was available, we have advanced the survey to 75% completion. To date, about 10% of the data collected thus far have been processed for a first-pass search, where 10 minutes of observation is processed for dispersion measures out to 250 ${\rm pc\,cm^{-3}}$, to realise a shallow survey for long-period pulsars. The ongoing analysis has led to two new pulsar discoveries, as well as an independent discovery and a rediscovery of a previously incorrectly characterised pulsar, all from ~3% of the data for which candidate scrutiny is completed. Here we describe the strategies for further detailed follow-up including improved sky localisation and convergence to timing solution, and illustrate them using example pulsar discoveries. The processing has also led to re-detection of 120 pulsars in the SMART observing band, bringing the total number of pulsars detected to date with the MWA to 180, and these are used to assess the search sensitivity of current processing pipelines. The planned second-pass (deep survey) processing is expected to yield a three-fold increase in sensitivity for long-period pulsars, and a substantial improvement to millisecond pulsars by adopting optimal de-dispersion plans. The SMART survey will complement the highly successful Parkes High Time Resolution Universe survey at 1.2-1.5 GHz, and inform future large survey efforts such as those planned with the low-frequency Square Kilometre Array. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: 22 pages, 9 figures, 7 tables, Accepted for publication in PASA

The Southern-sky MWA Rapid Two-metre (SMART) pulsar survey -- I. Survey design and processing pipeline

Authors: N. D. R. Bhat, N. A. Swainston, S. J. McSweeney, M. Xue, B. W. Meyers, S. Kudale, S. Dai, S. E. Tremblay, W. van Straten, R. M. Shannon, K. R. Smith, M. Sokolowski, S. M. Ord, G. Sleap, A. Williams, P. J. Hancock, R. Lange, J. Tocknell, M. Johnston-Hollitt, D. L. Kaplan, S. J. Tingay, M. Walker

Abstract: We present an overview of the Southern-sky MWA Rapid Two-metre (SMART) pulsar survey that exploits the MWA's large field of view and voltage capture system to survey the sky south of 30 degree in declination for pulsars and fast transients in the 140-170 MHz band. The survey is enabled by the advent of the Phase II MWA's compact configuration, which offers an enormous efficiency in beam-forming an… ▽ More We present an overview of the Southern-sky MWA Rapid Two-metre (SMART) pulsar survey that exploits the MWA's large field of view and voltage capture system to survey the sky south of 30 degree in declination for pulsars and fast transients in the 140-170 MHz band. The survey is enabled by the advent of the Phase II MWA's compact configuration, which offers an enormous efficiency in beam-forming and processing costs, thereby making an all-sky survey of this magnitude tractable with the MWA. Even with the long dwell times of the survey (4800 s), data collection can be completed in < 100 hours of telescope time, while still retaining the ability to reach a limiting sensitivity of ~2-3 mJy. Each observation is processed to generate ~5000-8000 tied-array beams that tessellate the full ~610 square degree field of view, which are then processed to search for pulsars. The voltage-capture recording allows a multitude of post hoc processing options including the reprocessing of data for higher time resolution. Due to the substantial computational cost in pulsar searches at low frequencies, processing is undertaken in multiple passes: in the first pass, a shallow survey is performed, where 10 minutes of each observation is processed, reaching about one-third of the full search sensitivity. Here we present the system overview and initial results. Further details including first pulsar discoveries and a census of low-frequency detections are presented in a companion paper. Future plans include deeper searches to reach the full sensitivity and acceleration searches to target binary and millisecond pulsars. Simulation analysis forecasts ~300 new pulsars upon the completion of full processing. The SMART survey will also generate a complete digital record of the low-frequency sky, which will serve as a valuable reference for future pulsar searches planned with the low-frequency Square Kilometre Array. △ Less

Submitted 23 February, 2023; originally announced February 2023.

Comments: 22 pages, 12 figures, 2 tables, Accepted for publication in PASA

Flipper games for monadically stable graph classes

Authors: Jakub Gajarský, Nikolas Mählmann, Rose McCarty, Pierre Ohlmann, Michał Pilipczuk, Wojciech Przybyszewski, Sebastian Siebertz, Marek Sokołowski, Szymon Toruńczyk

Abstract: A class of graphs $\mathscr{C}$ is monadically stable if for any unary expansion $\widehat{\mathscr{C}}$ of $\mathscr{C}$, one cannot interpret, in first-order logic, arbitrarily long linear orders in graphs from $\widehat{\mathscr{C}}$. It is known that nowhere dense graph classes are monadically stable; these encompass most of the studied concepts of sparsity in graphs, including graph classes t… ▽ More A class of graphs $\mathscr{C}$ is monadically stable if for any unary expansion $\widehat{\mathscr{C}}$ of $\mathscr{C}$, one cannot interpret, in first-order logic, arbitrarily long linear orders in graphs from $\widehat{\mathscr{C}}$. It is known that nowhere dense graph classes are monadically stable; these encompass most of the studied concepts of sparsity in graphs, including graph classes that exclude a fixed topological minor. On the other hand, monadic stability is a property expressed in purely model-theoretic terms and hence it is also suited for capturing structure in dense graphs. For several years, it has been suspected that one can create a structure theory for monadically stable graph classes that mirrors the theory of nowhere dense graph classes in the dense setting. In this work we provide a step in this direction by giving a characterization of monadic stability through the Flipper game: a game on a graph played by Flipper, who in each round can complement the edge relation between any pair of vertex subsets, and Connector, who in each round localizes the game to a ball of bounded radius. This is an analog of the Splitter game, which characterizes nowhere dense classes of graphs (Grohe, Kreutzer, and Siebertz, J.ACM'17). We give two different proofs of our main result. The first proof uses tools from model theory, and it exposes an additional property of monadically stable graph classes that is close in spirit to definability of types. Also, as a byproduct, we give an alternative proof of the recent result of Braunfeld and Laskowski (arXiv 2209.05120) that monadic stability for graph classes coincides with existential monadic stability. The second proof relies on the recently introduced notion of flip-wideness (Dreier, Mählmann, Siebertz, and Toruńczyk, arXiv 2206.13765) and provides an efficient algorithm to compute Flipper's moves in a winning strategy. △ Less

Submitted 31 January, 2023; originally announced January 2023.

Simpler and faster algorithms for detours in planar digraphs

Authors: Meike Hatzel, Konrad Majewski, Michał Pilipczuk, Marek Sokołowski

Abstract: In the directed detour problem one is given a digraph $G$ and a pair of vertices $s$ and~$t$, and the task is to decide whether there is a directed simple path from $s$ to $t$ in $G$ whose length is larger than $\mathsf{dist}_{G}(s,t)$. The more general parameterized variant, directed long detour, asks for a simple $s$-to-$t$ path of length at least $\mathsf{dist}_{G}(s,t)+k$, for a given paramete… ▽ More In the directed detour problem one is given a digraph $G$ and a pair of vertices $s$ and~$t$, and the task is to decide whether there is a directed simple path from $s$ to $t$ in $G$ whose length is larger than $\mathsf{dist}_{G}(s,t)$. The more general parameterized variant, directed long detour, asks for a simple $s$-to-$t$ path of length at least $\mathsf{dist}_{G}(s,t)+k$, for a given parameter $k$. Surprisingly, it is still unknown whether directed detour is polynomial-time solvable on general digraphs. However, for planar digraphs, Wu and Wang~[Networks, '15] proposed an $\mathcal{O}(n^3)$-time algorithm for directed detour, while Fomin et al.~[STACS 2022] gave a $2^{\mathcal{O}(k)}\cdot n^{\mathcal{O}(1)}$-time fpt algorithm for directed long detour. The algorithm of Wu and Wang relies on a nontrivial analysis of how short detours may look like in a plane embedding, while the algorithm of Fomin et al.~is based on a reduction to the $§$-disjoint paths problem on planar digraphs. This latter problem is solvable in polynomial time using the algebraic machinery of Schrijver~[SIAM~J.~Comp.,~'94], but the degree of the obtained polynomial factor is huge. In this paper we propose two simple algorithms: we show how to solve, in planar digraphs, directed detour in time $\mathcal{O}(n^2)$ and directed long detour in time $2^{\mathcal{O}(k)}\cdot n^4 \log n$. In both cases, the idea is to reduce to the $2$-disjoint paths problem in a planar digraph, and to observe that the obtained instances of this problem have a certain topological structure that makes them amenable to a direct greedy strategy. △ Less

Submitted 6 January, 2023; originally announced January 2023.

Image-based searches for pulsar candidates using MWA VCS data

Authors: S. Sett, N. D. R. Bhat, M. Sokolowski, E. Lenc

Abstract: Pulsars have proven instrumental in exploring a wide variety of physics. Pulsars at low radio frequencies is crucial to further our understanding of spectral properties and emission mechanisms.The Murchison Widefield Array Voltage Capture System (MWA-VCS) has been routinely used to study and discover pulsars at low frequencies, offering the unique opportunity of recording complex voltages ,which c… ▽ More Pulsars have proven instrumental in exploring a wide variety of physics. Pulsars at low radio frequencies is crucial to further our understanding of spectral properties and emission mechanisms.The Murchison Widefield Array Voltage Capture System (MWA-VCS) has been routinely used to study and discover pulsars at low frequencies, offering the unique opportunity of recording complex voltages ,which can be off-line beamformed or imaged at millisecond time resolution.Devising imaged-based methods for finding pulsar candidates, which can be verified in beamformed data, can accelerate the complete process and lead to more pulsar detections by reducing the number of tied-array beams required, increasing compute resource efficiency.Despite a factor of ~4 loss in sensitivity, searching for pulsar candidates in images from the MWA-VCS, we can explore a larger parameter space, potentially leading to discoveries of pulsars missed by high-frequency surveys such as pulsars obscured in high-time resolution timeseries data by propagation effects.Image-based searches are also essential to probing parts of parameter space inaccessible to traditional beamformed searches with the MWA.In this paper we describe the innovative approach and capability of dual-processing MWA VCS data, i.e. finding pulsar candidates in these images, and verifying by forming tied-array beam.We developed and tested image-based methods of finding pulsar candidates, based on pulsar properties such as spectral index, polarisation and variability.The efficiency of these methodologies has been verified on known pulsars, and the main limitations explained in terms of sensitivity and low-frequency spectral turnover of some pulsars.No candidates were confirmed to be a new pulsar.This new capability will now be applied to multiple observations to accelerate pulsar discoveries with MWA and speed up future searches with the SKA-Low. △ Less

Submitted 13 December, 2022; originally announced December 2022.

Comments: 12 pages, 9 figures, accepted for publication in Publications of the Astronomical Society of Australia (PASA)

A targeted search for repeating fast radio bursts with the MWA

Authors: J. Tian, G. E. Anderson, P. J. Hancock, J. C. A. Miller-Jones, M. Sokolowski, C. W. James, N. D. R. Bhat, N. A. Swainston, D. Ung, B. W. Meyers

Abstract: We present a targeted search for low-frequency (144--215\,MHz) FRB emission from five repeating FRBs using 23.3\,hr of archival data taken with the Murchison Widefield Array (MWA) Voltage Capture System (VCS) between 2014 September and 2020 May. This is the first time that the MWA VCS has been used to search for FRB signals from known repeaters, which enables much more sensitive FRB searches than… ▽ More We present a targeted search for low-frequency (144--215\,MHz) FRB emission from five repeating FRBs using 23.3\,hr of archival data taken with the Murchison Widefield Array (MWA) Voltage Capture System (VCS) between 2014 September and 2020 May. This is the first time that the MWA VCS has been used to search for FRB signals from known repeaters, which enables much more sensitive FRB searches than previously performed with the standard MWA correlator mode. We performed a standard single pulse search with a temporal and spectral resolution of $400\,μ$s and 10\,kHz, respectively, over a $100\,\text{pc}\,\text{cm}^{-3}$ dispersion measure (DM) range centred at the known DM of each studied repeating FRB. No FRBs exceeding a $6σ$ threshold were detected. The fluence upper limits in the range of 32--1175\,Jy\,ms and 36--488\,Jy\,ms derived from 10 observations of FRB 20190711A and four observations of FRB 20201124A respectively, allow us to constrain the spectral indices of their bursts to $\gtrsim-1$ if these two repeaters were active during the MWA observations. If free-free absorption is responsible for our non-detection, we can constrain the size of the absorbing medium in terms of the electron temperature $T$ to $<1.00\times(T/10^4\text{K})^{-1.35}\,\text{pc}$, $<0.92\times(T/10^4\text{K})^{-1.35}\,\text{pc}$ and $<[0.22\text{--}2.50]\times(T/10^4\text{K})^{-1.35}\,\text{pc}$ for FRB 20190117A, 20190711A, and 20201124A, respectively. However, given that the activities of these repeaters are not well characterised, our non-detections could also suggest they were inactive during the MWA observations. △ Less

Submitted 21 November, 2022; originally announced November 2022.

Comments: Accepted for publication in MNRAS

Spectral analysis of 22 radio pulsars using SKA-Low precursor stations

Authors: C. P. Lee, N. D. R. Bhat, M. Sokolowski, N. A. Swainston, D. Ung, A. Magro, R. Chiello

Abstract: We present the first observational study of pulsars performed with the second-generation precursor stations to the low-frequency component of the Square Kilometre Array (SKA-Low): the Aperture Array Verification System 2 (AAVS2) and the Engineering Development Array 2 (EDA2). Using the SKA-Low stations, we have observed 100 southern-sky pulsars between 70-350 MHz, including follow-up observations… ▽ More We present the first observational study of pulsars performed with the second-generation precursor stations to the low-frequency component of the Square Kilometre Array (SKA-Low): the Aperture Array Verification System 2 (AAVS2) and the Engineering Development Array 2 (EDA2). Using the SKA-Low stations, we have observed 100 southern-sky pulsars between 70-350 MHz, including follow-up observations at multiple frequencies for a selected sample of bright pulsars. These observations have yielded detections of 22 pulsars, including the lowest-frequency detections ever published for 6 pulsars, despite the modest sensitivity of initial system where the recording bandwidth is limited to ~1 MHz. By comparing simultaneous flux density measurements obtained with the SKA-Low stations and performing rigorous electromagnetic simulations, we verify the accuracy of the SKA-Low sensitivity simulation code presented in Sokolowski et al. (2022). Furthermore, we perform model fits to the radio spectra of the detected pulsars using the method developed by Jankowski et al. (2018), including 9 pulsars which were not fitted in the original work. We robustly classify the spectra into 5 morphological classes and find that all but one pulsar exhibit deviations from simple power-law behaviour. These findings suggest that pulsars with well-determined spectra are more likely to show spectral flattening or turn-over than average. Our work demonstrates how SKA-Low stations can be meaningfully used for scientifically useful measurements and analysis of pulsar radio spectra, which are important inputs for informing pulsar surveys and science planned with the SKA-Low. △ Less

Submitted 15 August, 2022; originally announced August 2022.

Comments: 16 pages, 6 figures, 4 tables, accepted for publication in PASA

DUG Insight: A software package for big-data analysis and visualisation, and its demonstration for passive radar space situational awareness using radio telescopes

Authors: Dylan Grigg, Steven Tingay, Marcin Sokolowski, Randall Wayth

Abstract: As the demand for software to support the processing and analysis of massive radio astronomy datasets increases in the era of the SKA, we demonstrate the interactive workflow building, data mining, processing, and visualisation capabilities of DUG Insight. We test the performance and flexibility of DUG Insight by processing almost 68,000 full sky radio images produced from the Engineering Developm… ▽ More As the demand for software to support the processing and analysis of massive radio astronomy datasets increases in the era of the SKA, we demonstrate the interactive workflow building, data mining, processing, and visualisation capabilities of DUG Insight. We test the performance and flexibility of DUG Insight by processing almost 68,000 full sky radio images produced from the Engineering Development Array (EDA2) over the course of a three day period. The goal of the processing was to passively detect and identify known Resident Space Objects (RSOs: satellites and debris in orbit) and investigate how radio interferometry could be used to passively monitor aircraft traffic. These signals are observable due to both terrestrial FM radio signals reflected back to Earth and out-of-band transmission from RSOs. This surveillance of the low Earth orbit and airspace environment is useful as a contribution to space situational awareness and aircraft tracking technology. From the observations, we made 40 detections of 19 unique RSOs within a range of 1,500 km from the EDA2. This is a significant improvement on a previously published study of the same dataset and showcases the flexible features of DUG Insight that allow the processing of complex datasets at scale. Future enhancements of our DUG Insight workflow will aim to realise real-time acquisition, detect unknown RSOs, and continue to process data from SKA-relevant facilities. △ Less

Submitted 12 July, 2022; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 19 Pages, 11 figures, 2 tables

Establishing the Capabilities of the Murchison Widefield Array as a Passive Radar for the Surveillance of Space

Authors: Brendan Hennessy, Robert Young, Steven Tingay, Ashley Summers, Daniel Gustainis, Brian Crosse, Marcin Sokolowski

Abstract: This paper describes the use of the Murchison Widefield Array, a low-frequency radio telescope at a radio-quiet Western Australian site, as a radar receiver forming part of a continent-spanning multistatic radar network for the surveillance of space. This paper details the system geometry employed, the orbit-specific radar signal processing, and the orbit determination algorithms necessary to ensu… ▽ More This paper describes the use of the Murchison Widefield Array, a low-frequency radio telescope at a radio-quiet Western Australian site, as a radar receiver forming part of a continent-spanning multistatic radar network for the surveillance of space. This paper details the system geometry employed, the orbit-specific radar signal processing, and the orbit determination algorithms necessary to ensure resident space objects are detected, tracked, and propagated. Finally, the paper includes the results processed after a short collection campaign utilising several FM radio transmitters across the country, up to a maximum baseline distance of over 2500 km. The results demonstrate the Murchison Widefield Array is able to provide widefield and persistent coverage of objects in low Earth orbit. △ Less

Submitted 6 June, 2022; originally announced June 2022.

Journal ref: Remote Sensing, 2022, 14(11), 2571

System equivalent flux density of Stokes I, Q, U, V of a polarimetric interferometer

Authors: A. T. Sutinjo, D. C. X. Ung, M. Sokolowski

Abstract: We present the system equivalent flux density (SEFD) expressions for all four Stokes parameters: I, Q, U, V. The expressions were derived based on our derivation of SEFD I (for Stokes I) and subsequent extensions of that work to phased array and multipole interferometers. The key to the derivation of the SEFD Q, U, V expressions is to recognize that the noisy estimates of Q, U, V can be written as… ▽ More We present the system equivalent flux density (SEFD) expressions for all four Stokes parameters: I, Q, U, V. The expressions were derived based on our derivation of SEFD I (for Stokes I) and subsequent extensions of that work to phased array and multipole interferometers. The key to the derivation of the SEFD Q, U, V expressions is to recognize that the noisy estimates of Q, U, V can be written as the trace of a matrix product. This shows that the SEFD I is a special case, where the general case involves a diagonal or anti-diagonal 2x2 matrix interposed in the matrix multiplication. Following this step, the relation between the SEFD for I and Q, U, V becomes immediately evident. We present example calculations for a crossed dipole based on the formulas derived and the comparison between simulation and observation using the Murchison Widefield Array (MWA). △ Less

Submitted 31 May, 2022; originally announced May 2022.

Comments: 6 pages, 4 figures. Accepted for publication in A&A on 25 May 2022

Journal ref: A&A 664, A102 (2022)

High time resolution search for prompt radio emission from the long GRB 210419A with the Murchison Widefield Array

Authors: J. Tian, G. E. Anderson, P. J. Hancock, J. C. A. Miller-Jones, M. Sokolowski, N. A. Swainston, A. Rowlinson, A. Williams, D. L. Kaplan, N. Hurley-Walker, J. Morgan, N. D. R. Bhat, D. Ung, S. Tingay, K. W. Bannister, M. E. Bell, B. W. Meyers, M. Walker

Abstract: We present a low-frequency (170\textendash200\,MHz) search for prompt radio emission associated with the long GRB 210419A using the rapid-response mode of the Murchison Widefield Array (MWA), triggering observations with the Voltage Capture System (VCS) for the first time. The MWA began observing GRB 210419A within 89\,s of its detection by \textit{Swift}, enabling us to capture any dispersion del… ▽ More We present a low-frequency (170\textendash200\,MHz) search for prompt radio emission associated with the long GRB 210419A using the rapid-response mode of the Murchison Widefield Array (MWA), triggering observations with the Voltage Capture System (VCS) for the first time. The MWA began observing GRB 210419A within 89\,s of its detection by \textit{Swift}, enabling us to capture any dispersion delayed signal emitted by this GRB for a typical range of redshifts. We conducted a standard single pulse search with a temporal and spectral resolution of $100\,\upmu$s and 10\,kHz over a broad range of dispersion measures from 1 to $5000\,\text{pc}\,\text{cm}^{-3}$, but none were detected. However, fluence upper limits of $77\text{--}224$\,Jy\,ms derived over a pulse width of $0.5\text{--}10$\,ms and a redshift of $0.6<z<4$ are some of the most stringent at low radio frequencies. We compared these fluence limits to the GRB jet-interstellar medium (ISM) interaction model, placing constraints on the fraction of magnetic energy ($ε_{\text{B}}\lesssim[0.05 \text{--} 0.1]$). We also searched for signals during the X-ray flaring activity of GRB 210419A on minute timescales in the image domain and found no emission, resulting in an intensity upper limit of $0.57\,\text{Jy}\,\text{beam}^{-1}$, corresponding to a constraint of $ε_{\text{B}}\lesssim10^{-3}$. Our non-detection could imply that GRB 210419A was at a high redshift, there was not enough magnetic energy for low-frequency emission, or that the radio waves did not escape from the GRB environment. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Comments: Accepted for publication in MNRAS

What is the SKA-Low Sensitivity for Your Favourite Radio Source ?

Authors: M. Sokolowski, S. J. Tingay, D. B. Davidson, R. B. Wayth, D. Ung, J. W. Broderick, B. Juswardy, M. Kovaleva, G. Macario, G. Pupillo, A. Sutinjo

Abstract: The SKA will be the largest radio astronomy observatory ever built, providing unprecedented sensitivity over a very broad frequency (50 MHz to 15.3 GHz). The SKA-Low (50 - 350 MHz), will be built at the MRO in Western Australia. It will consist of 512 stations each composed of 256 dual-polarised antennas, and the sensitivity of an individual station is pivotal to the performance of the entire SKA-… ▽ More The SKA will be the largest radio astronomy observatory ever built, providing unprecedented sensitivity over a very broad frequency (50 MHz to 15.3 GHz). The SKA-Low (50 - 350 MHz), will be built at the MRO in Western Australia. It will consist of 512 stations each composed of 256 dual-polarised antennas, and the sensitivity of an individual station is pivotal to the performance of the entire SKA-Low telescope. The answer to the question in the title is, it depends. The sensitivity of a low frequency array, such as an SKA-Low station, depends strongly on the pointing direction of the digitally formed station beam and the local sidereal time (LST), and is different for the two orthogonal polarisations of the antennas. The accurate prediction of the SKA-Low sensitivity in an arbitrary direction in the sky is crucial for future observation planning. We present here a sensitivity calculator for the SKA-Low radio telescope, using a database of pre-computed sensitivity values for two realisations of an SKA-Low station architecture. One realisation uses the log-periodic antennas selected for SKA-Low. The second uses a known benchmark, in the form of the bowtie dipoles of the MWA. Data collected by both stations (deployed at the MRO in 2019) were used to measure their sensitivity at selected frequencies and over at least 24 h intervals, and were compared to the predictions described in this paper. The sensitivity values stored in the SQLite database were pre-computed for the X, Y and Stokes I polarisations in 10 MHz frequency steps, 0.5 hour LST intervals, and 5 degree resolution in pointing directions. The database allows users to estimate the sensitivity of SKA-Low for their favourite object using interactive web-based or command line interface, which can also calculate the sensitivity for arbitrary pointing directions, frequencies, and times without interpolations. △ Less

Submitted 12 April, 2022; originally announced April 2022.

Comments: 15 pages, 17 figures, Accepted for publication in PASA

MWA Tied-Array Processing IV: A Multi-Pixel Beamformer for Pulsar Surveys and Ionospheric Corrected Localisation

Authors: N. A. Swainston, N. D. R. Bhat, I. S. Morrison, S. J. McSweeney, S. M. Ord, S. E. Tremblay, M. Sokolowski

Abstract: The Murchison Widefield Array (MWA) is a low-frequency aperture array capable of high-time and frequency resolution astronomy applications such as pulsar studies. The large field-of-view of the MWA (hundreds of square degrees) can also be exploited to attain fast survey speeds for all-sky pulsar search applications, but to maximise sensitivity requires forming thousands of tied-array beams from ea… ▽ More The Murchison Widefield Array (MWA) is a low-frequency aperture array capable of high-time and frequency resolution astronomy applications such as pulsar studies. The large field-of-view of the MWA (hundreds of square degrees) can also be exploited to attain fast survey speeds for all-sky pulsar search applications, but to maximise sensitivity requires forming thousands of tied-array beams from each voltage-capture observation. The necessity of using calibration solutions that are separated from the target observation both temporally and spatially makes pulsar observations vulnerable to uncorrected, frequency-dependent positional offsets due to the ionosphere. These offsets may be large enough to move the source away from the centre of the tied-array beam, incurring sensitivity drops of $\sim$30-50\% in Phase II extended array configuration. We analyse these offsets in pulsar observations and develop a method for mitigating them, improving both the source position accuracy and the sensitivity. This analysis prompted the development of a multi-pixel beamforming functionality that can generate dozens of tied-array beams simultaneously, which runs a factor of ten times faster compared to the original single-pixel version. This enhancement makes it feasible to observe multiple pulsars within the vast field of view of the MWA and supports the ongoing large-scale pulsar survey efforts with the MWA. We explore the extent to which ionospheric offset correction will be necessary for the MWA Phase III and the low-frequency Square Kilometre Array (SKA-Low). △ Less

Submitted 29 March, 2022; v1 submitted 26 March, 2022; originally announced March 2022.

Comments: 10 pages, 5 figures

Max Weight Independent Set in graphs with no long claws: An analog of the Gyárfás' path argument

Authors: Konrad Majewski, Tomáš Masařík, Jana Novotná, Karolina Okrasa, Marcin Pilipczuk, Paweł Rzążewski, Marek Sokołowski

Abstract: We revisit recent developments for the Maximum Weight Independent Set problem in graphs excluding a subdivided claw $S_{t,t,t}$ as an induced subgraph [Chudnovsky, Pilipczuk, Pilipczuk, Thomassé, SODA 2020] and provide a subexponential-time algorithm with improved running time $2^{\mathcal{O}(\sqrt{n}\log n)}$ and a quasipolynomial-time approximation scheme with improved running time… ▽ More We revisit recent developments for the Maximum Weight Independent Set problem in graphs excluding a subdivided claw $S_{t,t,t}$ as an induced subgraph [Chudnovsky, Pilipczuk, Pilipczuk, Thomassé, SODA 2020] and provide a subexponential-time algorithm with improved running time $2^{\mathcal{O}(\sqrt{n}\log n)}$ and a quasipolynomial-time approximation scheme with improved running time $2^{\mathcal{O}(\varepsilon^{-1} \log^{5} n)}$. The Gyárfás' path argument, a powerful tool that is the main building block for many algorithms in $P_t$-free graphs, ensures that given an $n$-vertex $P_t$-free graph, in polynomial time we can find a set $P$ of at most $t-1$ vertices, such that every connected component of $G-N[P]$ has at most $n/2$ vertices. Our main technical contribution is an analog of this result for $S_{t,t,t}$-free graphs: given an $n$-vertex $S_{t,t,t}$-free graph, in polynomial time we can find a set $P$ of $\mathcal{O}(t \log n)$ vertices and an extended strip decomposition (an appropriate analog of the decomposition into connected components) of $G-N[P]$ such that every particle (an appropriate analog of a connected component to recurse on) of the said extended strip decomposition has at most $n/2$ vertices. △ Less

Submitted 9 March, 2022; originally announced March 2022.

Comments: 19 pages, 2 figures

Graphs of bounded twin-width are quasi-polynomially $χ$-bounded

Authors: Michał Pilipczuk, Marek Sokołowski

Abstract: We prove that for every $t\in \mathbb{N}$ there is a constant $γ_t$ such that every graph with twin-width at most $t$ and clique number $ω$ has chromatic number bounded by $2^{γ_t \log^{4t+3} ω}$. In other words, we prove that graph classes of bounded twin-width are quasi-polynomially $χ$-bounded. This provides a significant step towards resolving the question of Bonnet et al. [ICALP 2021] about w… ▽ More We prove that for every $t\in \mathbb{N}$ there is a constant $γ_t$ such that every graph with twin-width at most $t$ and clique number $ω$ has chromatic number bounded by $2^{γ_t \log^{4t+3} ω}$. In other words, we prove that graph classes of bounded twin-width are quasi-polynomially $χ$-bounded. This provides a significant step towards resolving the question of Bonnet et al. [ICALP 2021] about whether they are polynomially $χ$-bounded. △ Less

Submitted 15 February, 2022; originally announced February 2022.

Comments: 21 pages, 2 figures

Trajectory, recovery, and orbital history of the Madura Cave meteorite

Authors: Hadrien A. R. Devillepoix, Eleanor K. Sansom, Patrick Shober, Seamus L. Anderson, Martin C. Towner, Anthony Lagain, Martin Cupák, Philip A. Bland, Robert M. Howie, Trent Jansen-Sturgeon, Benjamin A. D. Hartig, Marcin Sokolowski, Gretchen Benedix, Lucy Forman

Abstract: On the 19th June 2020 at 20:05:07 UTC, a fireball lasting 5.5 s was observed above Western Australia by three Desert Fireball Network observatories. The meteoroid entered the atmosphere with a speed of $14.00 \pm 0.17$ km s$^{-1}$ and followed a $58^{\circ}$ slope trajectory from a height of 75 km down to 18.6 km. Despite the poor angle of triangulated planes between observatories (29$^{\circ}$) a… ▽ More On the 19th June 2020 at 20:05:07 UTC, a fireball lasting 5.5 s was observed above Western Australia by three Desert Fireball Network observatories. The meteoroid entered the atmosphere with a speed of $14.00 \pm 0.17$ km s$^{-1}$ and followed a $58^{\circ}$ slope trajectory from a height of 75 km down to 18.6 km. Despite the poor angle of triangulated planes between observatories (29$^{\circ}$) and the large distance from the observatories, a well constrained kilo-size main mass was predicted to have fallen just South of Madura in Western Australia. However, the search area was predicted to be large due to the trajectory uncertainties. Fortunately, the rock was rapidly recovered along the access track during a reconnaissance trip. The 1.072 kg meteorite called Madura Cave was classified as an L5 ordinary chondrite. The calculated orbit is of Aten type (mostly contained within the Earth's orbit), the second time only a meteorite is observed on such an orbit after Bunburra Rockhole. Dynamical modelling shows that Madura Cave has been in near-Earth space for a very long time. The NEO dynamical lifetime for the progenitor meteoroid is predicted to be $\sim87$ Myr. This peculiar orbit also points to a delivery from the main asteroid belt via the $\nu6$ resonance, and therefore an origin in the inner belt. This result contributes to drawing a picture for the existence of a present-day L chondrite parent body in the inner belt. △ Less

Submitted 14 February, 2022; originally announced February 2022.

System equivalent flux density of a low-frequency polarimetric phased array interferometer

Authors: A. T. Sutinjo, D. C. X. Ung, M. Sokolowski, M. Kovaleva, S. McSweeney

Abstract: This paper extends the treatment of system equivalent flux density (SEFD) in Sutinjo, A. T. et al. (2021) (Paper I) to interferometric phased array telescopes. The objective is to develop an SEFD formula involving only the most fundamental assumptions and one that is readily applicable to phased array interferometer radio observations. Then, we aimed at comparing the resultant SEFD expression agai… ▽ More This paper extends the treatment of system equivalent flux density (SEFD) in Sutinjo, A. T. et al. (2021) (Paper I) to interferometric phased array telescopes. The objective is to develop an SEFD formula involving only the most fundamental assumptions and one that is readily applicable to phased array interferometer radio observations. Then, we aimed at comparing the resultant SEFD expression against the often-used root-mean-square (RMS) SEFD approximation, SEFDrmsI = (1/2)(SEFD^2_XX + SEFD^2_YY)^(1/2) to study the inaccuracy of the SEFDrms. We take into account all mutual coupling and noise coupling within an array environment (intra-array coupling). This intra-array noise coupling is included in the SEFD expression through the realized noise resistance of the array, which accounts for the system noise. No assumption is made regarding the polarization (or lack thereof) of the sky nor the orthogonality of the antenna elements. The fundamental noise assumption is that, in phasor representation, the real and imaginary components of a given noise source are independent and equally distributed (iid) with zero mean. Noise sources that are mutually correlated and non-iid among themselves are allowed, provided the real and imaginary components of each noise source are iid. The system noise is uncorrelated between array entities separated by a baseline distance, which in the case of the Murchison Widefield Array (MWA) is typically tens of wavelengths or greater. By comparing the resulting SEFD formula to the SEFD_I^rms approximation, we proved that SEFD_I^rms always underestimates the SEFD, which leads to an overestimation of array sensitivity. △ Less

Submitted 31 January, 2022; originally announced January 2022.

Comments: Accepted for publication in Astronomy & Astrophysics (30 Jan. 2022). 15 pages

Journal ref: A&A 660, A134 (2022)

The Engineering Development Array 2: design, performance and lessons from an SKA-Low prototype station

Authors: Randall Wayth, Marcin Sokolowski, Jess Broderick, Steven J. Tingay, Raunaq Bhushan, Tom Booler, Riccardo Chiello, David B. Davidson, David Emrich, Budi Juswardy, David Kenney, Giulia Macario, Alessio Magro, Andrea Mattana, David Minchin, Jader Monari, Andrew McPhail, Federico Perini, Giuseppe Pupillo, Marco Schiaffino, Ravi Subrahmanya, Andre van Es, Mia Walker, Mark Waterson

Abstract: We present the Engineering Development Array 2, which is one of two instruments built as a second generation prototype station for the future Square Kilometre Array Low Frequency Array. The array is comprised of 256 dual-polarization dipole antennas that can work as a phased array or as a standalone interferometer. We describe the design of the array and the details of design changes from previous… ▽ More We present the Engineering Development Array 2, which is one of two instruments built as a second generation prototype station for the future Square Kilometre Array Low Frequency Array. The array is comprised of 256 dual-polarization dipole antennas that can work as a phased array or as a standalone interferometer. We describe the design of the array and the details of design changes from previous generation instruments, as well as the motivation for the changes. Using the array as an imaging interferometer, we measure the sensitivity of the array at five frequencies ranging from 70 to 320 MHz. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Comments: To appear in SPIE JATIS special section on SKA Observatory

Early-time Searches for Coherent Radio Emission from Short GRBs with the Murchison Widefield Array

Authors: J. Tian, G. E. Anderson, P. J. Hancock, J. C. A. Miller-Jones, M. Sokolowski, A. Rowlinson, A. Williams, J. Morgan, N. Hurley-Walker, D. L. Kaplan, Tara Murphy, S. J. Tingay, M. Johnston-Hollitt, K. W. Bannister, M. E. Bell, B. W. Meyers

Abstract: Here we present a low frequency (170-200MHz) search for coherent radio emission associated with nine short GRBs detected by the Swift and/or Fermi satellites using the Murchison Widefield Array (MWA) rapid-response observing mode. The MWA began observing these events within 30 to 60s of their high-energy detection, enabling us to capture any dispersion delayed signals emitted by short GRBs for a t… ▽ More Here we present a low frequency (170-200MHz) search for coherent radio emission associated with nine short GRBs detected by the Swift and/or Fermi satellites using the Murchison Widefield Array (MWA) rapid-response observing mode. The MWA began observing these events within 30 to 60s of their high-energy detection, enabling us to capture any dispersion delayed signals emitted by short GRBs for a typical range of redshifts. We conducted transient searches at the GRB positions on timescales of 5s, 30s and 2min, resulting in the most constraining flux density limits on any associated transient of 0.42, 0.29, and 0.084Jy, respectively. We also searched for dispersed signals at a temporal and spectral resolution of 0.5s and 1.28MHz but none were detected. However, the fluence limit of 80-100Jy ms derived for GRB 190627A is the most stringent to date for a short GRB. We compared the fluence and persistent emission limits to short GRB coherent emission models, placing constraints on key parameters including the radio emission efficiency of the nearly merged neutron stars ($\lesssim10^{-4}$), the fraction of magnetic energy in the GRB jet ($\lesssim2\times10^{-4}$), and the radio emission efficiency of the magnetar remnant ($\lesssim10^{-3}$). Comparing the limits derived for our full GRB sample to the same emission models, we demonstrate that our 30-min flux density limits were sensitive enough to theoretically detect the persistent radio emission from magnetar remnants up to a redshift of $z\sim0.6$. Our non-detection of this emission could imply that some GRBs in the sample were not genuinely short or did not result from a binary neutron star merger, the GRBs were at high redshifts, these mergers formed atypical magnetars, the radiation beams of the magnetar remnants were pointing away from Earth, or the majority did not form magnetars but rather collapse directly into black holes. △ Less

Submitted 29 November, 2021; originally announced November 2021.

Comments: Accepted for publication in PASA

Compact representation for matrices of bounded twin-width

Authors: Michał Pilipczuk, Marek Sokołowski, Anna Zych-Pawlewicz

Abstract: For every fixed $d \in \mathbb{N}$, we design a data structure that represents a binary $n \times n$ matrix that is $d$-twin-ordered. The data structure occupies $O_d(n)$ bits, which is the least one could hope for, and can be queried for entries of the matrix in time $O_d(\log \log n)$ per query. For every fixed $d \in \mathbb{N}$, we design a data structure that represents a binary $n \times n$ matrix that is $d$-twin-ordered. The data structure occupies $O_d(n)$ bits, which is the least one could hope for, and can be queried for entries of the matrix in time $O_d(\log \log n)$ per query. △ Less

Submitted 15 October, 2021; originally announced October 2021.

Comments: 24 pages, 2 figures

The Aperture Array Verification System 1: System overview and early commissioning results

Authors: P. Benthem, R. Wayth, E. de Lera Acedo, K. Zarb Adami, M. Alderighi, C. Belli, P. Bolli, T. Booler, J. Borg, J. W. Broderick, S. Chiarucci, R. Chiello, L. Ciani, G. Comoretto, B. Crosse, D. Davidson, A. DeMarco, D. Emrich, A. van Es, D. Fierro, A. Faulkner, M. Gerbers, N. Razavi-Ghods, P. Hall, L. Horsley , et al. (29 additional authors not shown)

Abstract: The design and development process for the Square Kilometre Array (SKA) radio telescope, the Low Frequency Aperture Array component, was progressed during the SKA pre-construction phase by an international consortium, with the goal of meeting requirements for a critical design review. As part of the development process a full-sized prototype SKA Low station was deployed, the Aperture Array Verific… ▽ More The design and development process for the Square Kilometre Array (SKA) radio telescope, the Low Frequency Aperture Array component, was progressed during the SKA pre-construction phase by an international consortium, with the goal of meeting requirements for a critical design review. As part of the development process a full-sized prototype SKA Low station was deployed, the Aperture Array Verification System 1 (AAVS1). We provide a system overview and describe the commissioning results of AAVS1, which is a low frequency radio telescope with 256 dual-polarisation log-periodic dipole antennas working as a phased array. A detailed system description is provided, including an in-depth overview of relevant sub-systems, ranging from hardware, firmware, software, calibration,and control sub-systems. Early commissioning results cover initial bootstrap**, array calibration, stability testing, beam-forming,and on-sky sensitivity validation. Lessons learned are presented, along with future developments. △ Less

Submitted 7 October, 2021; originally announced October 2021.

Journal ref: A&A 655, A5 (2021)

Characterization of the SKA1-Low prototype station Aperture Array Verification System 2

Authors: Giulia Macario, Giuseppe Pupillo, Gianni Bernardi, Pietro Bolli, Paola Di Ninni, Giovanni Comoretto, Andrea Mattana, Jader Monari, Federico Perini, Marco Schiaffino, Marcin Sokolowski, Randall Wayth, Jess Broderick, Mark Waterson, Maria Grazia Labate, Riccardo Chiello, Alessio Magro, Tom Booler, Raunaq Bhushan

Abstract: The low frequency component of the Square Kilometre Array (SKA1-Low) will be an aperture phased array located at the Murchison Radio-astronomy Observatory (MRO) site in Western Australia. It will be composed of 512 stations, each of them consisting of 256 log-periodic dual polarized antennas, and will operate in the low frequency range (50 MHz - 350 MHz) of the SKA bandwidth. The Aperture Array Ve… ▽ More The low frequency component of the Square Kilometre Array (SKA1-Low) will be an aperture phased array located at the Murchison Radio-astronomy Observatory (MRO) site in Western Australia. It will be composed of 512 stations, each of them consisting of 256 log-periodic dual polarized antennas, and will operate in the low frequency range (50 MHz - 350 MHz) of the SKA bandwidth. The Aperture Array Verification System 2 (AAVS2), operational since late 2019, is the last full-size engineering prototype station deployed at the MRO site before the start of the SKA1-Low construction phase. The aim of this paper is to characterize the station performance through commissioning observations at six different frequencies (55, 70, 110, 160, 230 and 320 MHz) collected during its first year of activities. We describe the calibration procedure, present the resulting all-sky images and their analysis, and discuss the station calibratability and system stability. Using the difference imaging method, we also derive estimates of the SKA1-Low sensitivity for the same frequencies, and compare them to those obtained through electromagnetic simulations across the entire telescope bandwidth, finding good agreement (within $\leq 13%$). Moreover, our estimates exceed the SKA1-Low requirements at all the considered frequencies, by up to a factor of $\sim$2.3. Our results are very promising and allow an initial validation of the AAVS2 prototype station performance, which is an important step towards the upcoming SKA-Low telescope construction and science. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: 20 pages, 9 figures; submitted to JATIS - SKA Observatory Special Section

A broadband radio view of transient jet ejecta in the black hole candidate X-ray binary MAXI J1535-571

Authors: J. Chauhan, J. C. A. Miller-Jones, G. E. Anderson, A. Paduano, M. Sokolowski, C. Flynn, P. J. Hancock, N. Hurley-Walker, D. L. Kaplan, T. D. Russell, A. Bahramian, S. W. Duchesne, D. Altamirano, S. Croft, H. A. Krimm, G. R. Sivakoff, R. Soria, C. M. Trott, R. B. Wayth, V. Gupta, M. Johnston-Hollitt, S. J. Tingay

Abstract: We present a broadband radio study of the transient jets ejected from the black hole candidate X-ray binary MAXI J1535-571, which underwent a prolonged outburst beginning on 2 September 2017. We monitored MAXI J1535-571 with the Murchison Widefield Array (MWA) at frequencies from 119 to 186 MHz over six epochs from 20 September to 14 October 2017. The source was quasi-simultaneously observed over… ▽ More We present a broadband radio study of the transient jets ejected from the black hole candidate X-ray binary MAXI J1535-571, which underwent a prolonged outburst beginning on 2 September 2017. We monitored MAXI J1535-571 with the Murchison Widefield Array (MWA) at frequencies from 119 to 186 MHz over six epochs from 20 September to 14 October 2017. The source was quasi-simultaneously observed over the frequency range 0.84-19 GHz by UTMOST (the upgraded Molonglo Observatory Synthesis Telescope), the Australian Square Kilometre Array Pathfinder, the Australia Telescope Compact Array (ATCA), and the Australian Long Baseline Array (LBA). Using the LBA observations from 23 September 2017, we measured the source size to be $34\pm1$ mas. During the brightest radio flare on 21 September 2017, the source was detected down to 119 MHz by the MWA, and the radio spectrum indicates a turnover between 250 and 500 MHz, which is most likely due to synchrotron self-absorption (SSA). By fitting the radio spectrum with a SSA model and using the LBA size measurement, we determined various physical parameters of the jet knot (identified in ATCA data), including the jet opening angle (= $4.5\pm1.2^{\circ}$) and the magnetic field strength (= $104^{+80}_{-78}$ mG). Our fitted magnetic field strength agrees reasonably well with that inferred from the standard equipartition approach, suggesting the jet knot to be close to equipartition. Our study highlights the capabilities of the Australian suite of radio telescopes to jointly probe radio jets in black hole X-ray binaries (BH-XRBs) via simultaneous observations over a broad frequency range, and with differing angular resolutions. This suite allows us to determine the physical properties of XRB jets. Finally, our study emphasizes the potential contributions that can be made by the low-frequency part of the Square Kilometre Array (SKA-Low) in the study of BH-XRBs. △ Less

Submitted 27 July, 2021; originally announced July 2021.

Comments: This article has been accepted for publication in PASA. This article has 16 pages, 7 figures and 1 table

Maintaining $\mathsf{CMSO}_2$ properties on dynamic structures with bounded feedback vertex number

Authors: Konrad Majewski, Michał Pilipczuk, Marek Sokołowski

Abstract: Let $\varphi$ be a sentence of $\mathsf{CMSO}_2$ (monadic second-order logic with quantification over edge subsets and counting modular predicates) over the signature of graphs. We present a dynamic data structure that for a given graph $G$ that is updated by edge insertions and edge deletions, maintains whether $\varphi$ is satisfied in $G$. The data structure is required to correctly report the… ▽ More Let $\varphi$ be a sentence of $\mathsf{CMSO}_2$ (monadic second-order logic with quantification over edge subsets and counting modular predicates) over the signature of graphs. We present a dynamic data structure that for a given graph $G$ that is updated by edge insertions and edge deletions, maintains whether $\varphi$ is satisfied in $G$. The data structure is required to correctly report the outcome only when the feedback vertex number of $G$ does not exceed a fixed constant $k$, otherwise it reports that the feedback vertex number is too large. With this assumption, we guarantee amortized update time ${\cal O}_{\varphi,k}(\log n)$. By combining this result with a classic theorem of Erdős and Pósa, we give a fully dynamic data structure that maintains whether a graph contains a packing of $k$ vertex-disjoint cycles with amortized update time ${\cal O}_{k}(\log n)$. Our data structure also works in a larger generality of relational structures over binary signatures. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Comments: 80 pages, 5 figures

Determining 4-edge-connected components in linear time

Authors: Wojciech Nadara, Mateusz Radecki, Marcin Smulewicz, Marek Sokołowski

Abstract: In this work, we present the first linear time deterministic algorithm computing the 4-edge-connected components of an undirected graph. First, we show an algorithm listing all 3-edge-cuts in a given 3-edge-connected graph, and then we use the output of this algorithm in order to determine the 4-edge-connected components of the graph. In this work, we present the first linear time deterministic algorithm computing the 4-edge-connected components of an undirected graph. First, we show an algorithm listing all 3-edge-cuts in a given 3-edge-connected graph, and then we use the output of this algorithm in order to determine the 4-edge-connected components of the graph. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Murchison Widefield Array rapid-response observations of the short GRB 180805A

Authors: G. E. Anderson, P. J. Hancock, A. Rowlinson, M. Sokolowski, A. Williams, J. Tian, J. C. A. Miller-Jones, N. Hurley-Walker, K. W. Bannister, M. E. Bell, C. W. James, D. L. Kaplan, Tara Murphy, S. J. Tingay, B. W. Meyers, M. Johnston-Hollitt, R. B. Wayth

Abstract: Here we present stringent low-frequency 185MHz limits on coherent radio emission associated with a short gamma-ray burst (SGRB). Our observations of the short GRB 180805A were taken with the upgraded Murchison Widefield Array (MWA) rapid-response system, which triggered within 20s of receiving the transient alert from Swift, corresponding to 83.7s post-burst. The SGRB was observed for 30m, resulti… ▽ More Here we present stringent low-frequency 185MHz limits on coherent radio emission associated with a short gamma-ray burst (SGRB). Our observations of the short GRB 180805A were taken with the upgraded Murchison Widefield Array (MWA) rapid-response system, which triggered within 20s of receiving the transient alert from Swift, corresponding to 83.7s post-burst. The SGRB was observed for 30m, resulting in a 3sigma persistent flux density upper-limit of 40.2mJy/beam. Transient searches were conducted at the Swift position of this GRB on 0.5s, 5s, 30s, and 2m timescales, resulting in 3sigma limits of 570-1830, 270-630, 200-420, and 100-200mJy/beam, respectively. We also performed a dedispersion search for prompt signals at the position of the SGRB with a temporal and spectral resolution of 0.5s and 1.28MHz, resulting in a 6sigma fluence upper-limit range from 570Jyms at DM=3000pc/cm^3 (z~2.5) to 1750Jyms at DM=200pc/cm^3 (z~0.1). We compare the fluence prompt emission limit and the persistent upper-limit to SGRB coherent emission models assuming the merger resulted in a stable magnetar. Our observations were not sensitive enough to detect prompt emission associated with the alignment of magnetic fields of a binary neutron star just prior to the merger, from the interaction between the relativistic jet and the interstellar medium or persistent pulsar-like emission from the spin-down of the magnetar. However, in the case of a more powerful SGRB (a gamma-ray fluence an order of magnitude higher than GRB 180805A and/or a brighter X-ray counterpart), our MWA observations may be sensitive enough to detect coherent radio emission from the jet-ISM interaction and/or the magnetar remnant. Finally, we demonstrate that of all current low-frequency radio telescopes, only the MWA has the sensitivity and response times capable of probing prompt emission models associated with the initial SGRB merger event. △ Less

Submitted 30 April, 2021; originally announced April 2021.

Comments: 20 pages, 11 figures, accepted for publication in PASA

Discovery of a steep-spectrum low-luminosity pulsar with the Murchison Widefield Array

Authors: N. A. Swainston, N. D. R. Bhat, M. Sokolowski, S. J. McSweeney, S. Kudale, S. Dai, K. R. Smith, I. S. Morrison, R. M. Shannon, W. van Straten, M. Xue, S. M. Ord, S. E. Tremblay, B. W. Meyers, A. Williams, G. Sleap, M. Johnston-Hollitt, D. L. Kaplan, S. J. Tingay, R. B. Wayth

Abstract: We report the discovery of the first new pulsar with the Murchison Widefield Array (MWA), PSR J0036$-$1033, a long-period (0.9 s) nonrecycled pulsar with a dispersion measure (DM) of 23.1 ${\rm pc\,cm^{-3}}$. It was found after processing only a small fraction ($\sim$1%) of data from an ongoing all-sky pulsar survey. Follow-up observations have been made with the MWA, the upgraded Giant Metrewave… ▽ More We report the discovery of the first new pulsar with the Murchison Widefield Array (MWA), PSR J0036$-$1033, a long-period (0.9 s) nonrecycled pulsar with a dispersion measure (DM) of 23.1 ${\rm pc\,cm^{-3}}$. It was found after processing only a small fraction ($\sim$1%) of data from an ongoing all-sky pulsar survey. Follow-up observations have been made with the MWA, the upgraded Giant Metrewave Radio Telescope (uGMRT), and the Parkes 64 m telescopes, spanning a frequency range from $\sim$150 MHz to 4 GHz. The pulsar is faint, with an estimated flux density ($S$) of $\sim$1 mJy at 400 MHz and a spectrum $S(ν)\,\propto\,ν^{-2.0 \pm 0.2}$, where $ν$ is frequency. The DM-derived distance implies that it is also a low-luminosity source ($\sim$ 0.1 ${\rm mJy\,kpc^2}$ at 1400 MHz). The analysis of archival MWA observations reveals that the pulsar's mean flux density varies by up to a factor of $\sim$5-6 on timescales of several weeks to months. By combining MWA and uGMRT data, the pulsar position was determined to arcsecond precision. We also report on polarization properties detected in the MWA and Parkes bands. The pulsar's nondetection in previous pulsar and continuum imaging surveys, the observed high variability, and its detection in a small fraction of the survey data searched to date, all hint at a larger population of pulsars that await discovery in the southern hemisphere, with the MWA and the future low-frequency Square Kilometre Array. △ Less

Submitted 20 April, 2021; originally announced April 2021.

Comments: 12 pages, 6 figures, 2 tables, Accepted for publication in The ApJ Letters

A Southern-Hemisphere all-sky radio transient monitor for SKA-Low prototype stations

Authors: M. Sokolowski, R. B. Wayth, N. D. R. Bhat, D. Price, J. W. Broderick, G. Bernardi, P. Bolli, R. Chiello, G. Comoretto, B. Crosse, D. B. Davidson, G. Macario, A. Magro, A. Mattana, D. Minchin, A. McPhail, J. Monari, F. Perini, G. Pupillo, G. Sleap, S. Tingay, D. Ung, A. Williams

Abstract: We present the first southern-hemisphere all-sky imager and radio-transient monitoring system implemented on two prototype stations of the low-frequency component of the Square Kilometre Array. Since its deployment the system has been used for real-time monitoring of the recorded commissioning data. Additionally, a transient searching algorithm has been executed on the resulting all-sky images. It… ▽ More We present the first southern-hemisphere all-sky imager and radio-transient monitoring system implemented on two prototype stations of the low-frequency component of the Square Kilometre Array. Since its deployment the system has been used for real-time monitoring of the recorded commissioning data. Additionally, a transient searching algorithm has been executed on the resulting all-sky images. It uses a difference imaging technique, and has enabled identification of a wide variety of transient classes, ranging from human-made radio-frequency interference to genuine astrophysical events. Observations at the frequency 159.4 MHz and higher in a single coarse channel (0.926 MHz) were made with 2s time resolution, and multiple nights were analysed. Despite having modest sensitivity (~few Jy/beam), using a single coarse channel and 2-s imaging, the system detected bright transients from PSR B0950+08, proving that it can be used to detect bright transients of an astrophysical origin. The unusual, extreme activity of the pulsar PSR B0950+08 (up to ~155 Jy/beam) was initially detected in a "blind" search in the 2020-04-10/11 data and later assigned to this specific pulsar. The limitations of our data, however, prevent use from making firm conclusions of the effect being due to a combination of refractive and diffractive scintillation or intrinsic emission mechanisms. The system can routinely collect data over many days without interruptions; the large amount of recorded data at 159.4 and 229.7 MHz allowed us to determine a preliminary transient surface density upper limit of $1.32 \times 10^{-9} \text{deg}^{-2}$ for a timescale and limiting flux density of 2s and 42 Jy, respectively. We plan to extend the observing bandwidth to tens of MHz and improve time resolution to tens of milliseconds in order to increase the sensitivity and enable detections of Fast Radio Bursts below 300 MHz. △ Less

Submitted 7 April, 2021; originally announced April 2021.

Comments: 22 pages, 11 figures, 3 tables, Accepted for publication in PASA

Imaging at 300 MHz With the MWA

Authors: J. H. Cook, N. Seymour, M. Sokolowski

Abstract: At relatively high frequencies, highly sensitive grating sidelobes occur in the primary beam patterns of low frequency aperture arrays (LFAA) such as the Murchison Widefield Array (MWA). This occurs when the observing wavelength becomes comparable to the dipole separation for LFAA tiles, which for the MWA occurs at approximately 300 MHz. The presence of these grating sidelobes has made calibration… ▽ More At relatively high frequencies, highly sensitive grating sidelobes occur in the primary beam patterns of low frequency aperture arrays (LFAA) such as the Murchison Widefield Array (MWA). This occurs when the observing wavelength becomes comparable to the dipole separation for LFAA tiles, which for the MWA occurs at approximately 300 MHz. The presence of these grating sidelobes has made calibration and image processing for 300 MHz MWA observations difficult. This work presents a new calibration and imaging strategy which employs existing techniques to process two example 300 MHz MWA observations. Observations are initially calibrated using a new 300 MHz sky-model which has been interpolated from low frequency and high frequency all-sky surveys. Using this 300 MHz model in conjunction with the accurate MWA tile primary beam model, we perform sky-model calibration for the two example observations. After initial calibration a self-calibration loop is performed by all-sky imaging each observation with WSCLEAN. Using the output all-sky image we mask the main lobe of the image. Using this masked image we perform a sky-subtraction by estimating the masked image visibilities using WSCLEAN. We then image the main lobe of the observations with WSCLEAN. This results in high dynamic range images of the two example observation main lobes. These images have a resolution of 2.4 arcminutes, with a maximum sensitivity of 31 mJy/beam. The calibration and imaging strategy demonstrated in this work, opens the door to performing science at 300 MHz with the MWA, which was previously an inaccessible domain. With this paper we release the code described below and the cross-matched catalogue along with the code to produce a sky-model in the range 70-1400 MHz. △ Less

Submitted 2 April, 2021; originally announced April 2021.

Holographic Calibration of Phased Array Telescopes

Authors: U. Kiefner, R. B. Wayth, D. B. Davidson, M. Sokolowski

Abstract: In radio astronomy, holography is a commonly used technique to create an image of the electric field distribution in the aperture of a dish antenna. The image is used to detect imperfections in the reflector surface. Similarly, holography can be applied to phased array telescopes, in order to measure the complex gains of the receive paths of individual antennas. In this paper, a holographic techni… ▽ More In radio astronomy, holography is a commonly used technique to create an image of the electric field distribution in the aperture of a dish antenna. The image is used to detect imperfections in the reflector surface. Similarly, holography can be applied to phased array telescopes, in order to measure the complex gains of the receive paths of individual antennas. In this paper, a holographic technique is suggested to calibrate the digital beamformer of a phased array telescope. The effectiveness of the technique was demonstrated by applying it on data from the Engineering Development Array 2, one of the prototype stations of the low frequency component of the Square Kilometre Array. The calibration method is very quick and requires few resources. In contrast to holography for dish antennas, it works without a reference antenna. We demonstrate the utility of this technique for initial station commissioning and verification as well as for routine station calibration. △ Less

Submitted 23 March, 2021; originally announced March 2021.

Comments: 14 pages, 10 figures. Accepted for publication in Radio Science

Bounds on half graph orders in powers of sparse graphs

Authors: Marek Sokołowski

Abstract: Half graphs and their variants, such as ladders, semi-ladders and co-matchings, are combinatorial objects that encode total orders in graphs. Works by Adler and Adler (Eur. J. Comb.; 2014) and Fabiański et al. (STACS; 2019) prove that in the powers of sparse graphs, one cannot find arbitrarily large objects of this kind. However, these proofs either are non-constructive, or provide only loose uppe… ▽ More Half graphs and their variants, such as ladders, semi-ladders and co-matchings, are combinatorial objects that encode total orders in graphs. Works by Adler and Adler (Eur. J. Comb.; 2014) and Fabiański et al. (STACS; 2019) prove that in the powers of sparse graphs, one cannot find arbitrarily large objects of this kind. However, these proofs either are non-constructive, or provide only loose upper bounds on the orders of half graphs and semi-ladders. In this work we provide nearly tight asymptotic lower and upper bounds on the maximum order of half graphs, parameterized on the distance, in the following classes of sparse graphs: planar graphs, graphs with bounded maximum degree, graphs with bounded pathwidth or treewidth, and graphs excluding a fixed clique as a minor. The most significant part of our work is the upper bound for planar graphs. Here, we employ techniques of structural graph theory to analyze semi-ladders in planar graphs through the notion of cages, which expose a topological structure in semi-ladders. As an essential building block of this proof, we also state and prove a new structural result, yielding a fully polynomial bound on the neighborhood complexity in the class of planar graphs. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Comments: 83 pages, 32 figures

Sensitivity of a Low-Frequency Polarimetric Radio Interferometer

Authors: A. T. Sutinjo, M. Sokolowski, M. Kovaleva, D. C. X. Ung, J. W. Broderick, R. B. Wayth, D. B. Davidson, S. J. Tingay

Abstract: Aims: This paper aims to derive an expression for the sensitivity of a polarimetric radio interferometer that is valid for all-sky observations of arbitrarily polarized sources, with neither a restriction on FoV nor with any a priori assumption regarding the polarization state of the source. We verify the resulting formula with an all-sky observation using the Murchison Widefield Array (MWA) teles… ▽ More Aims: This paper aims to derive an expression for the sensitivity of a polarimetric radio interferometer that is valid for all-sky observations of arbitrarily polarized sources, with neither a restriction on FoV nor with any a priori assumption regarding the polarization state of the source. We verify the resulting formula with an all-sky observation using the Murchison Widefield Array (MWA) telescope. Methods: The sensitivity expression is developed from first principles by applying the concept of System Equivalent Flux Density (SEFD) to a polarimetric radio interferometer not by computing $A_e/T_{sys}$. The SEFD is calculated from the standard deviation of the noisy flux density estimate for a target source due to system noise. Results: The SEFD for a polarimetric radio interferometer is generally not $1/\sqrt{2}$ of a single-polarized interferometer as is often assumed for narrow FoV. This assumption can lead to significant errors for a dual-polarized dipole based system, which is common in low-frequency radio astronomy: up to $\sim 15\%$ for a zenith angle (ZA) coverage of $45^\circ$, and up to $\sim45\%$ for $60^\circ$ coverage. The worst case errors occur in the diagonal planes of the dipole for very wide FoV. This is demonstrated through theory, simulation and observations. Furthermore, using the resulting formulation, calculation of the off-zenith sensitivity is straightforward and unambiguous. Conclusions: For wide FoV observations pertinent to low-frequency radio interferometer such as the SKA-Low, the narrow FoV and the single-polarized sensitivity expressions are not correct and should be replaced by the formula derived in this paper. △ Less

Submitted 14 December, 2020; originally announced December 2020.

Comments: 12 pages, 12 figures

Journal ref: A&A 646, A143 (2021)

The All-Sky SignAl Short-Spacing INterferometer (ASSASSIN) I: Global sky measurements with the Engineering Development Array-2

Authors: B. McKinley, C. M. Trott, M. Sokolowski, R. B. Wayth, A. Sutinjo, N. Patra, J. Nambissan T., D. C. X. Ung

Abstract: Aiming to fill a crucial gap in our observational knowledge of the early Universe, experiments around the world continue to attempt to verify the claimed detection of the redshifted 21-cm signal from Cosmic Dawn by the EDGES experiment. This sky-averaged or 'global' signal from neutral hydrogen should be detectable at low radio frequencies (50-200 MHz), but is difficult to measure due to bright fo… ▽ More Aiming to fill a crucial gap in our observational knowledge of the early Universe, experiments around the world continue to attempt to verify the claimed detection of the redshifted 21-cm signal from Cosmic Dawn by the EDGES experiment. This sky-averaged or 'global' signal from neutral hydrogen should be detectable at low radio frequencies (50-200 MHz), but is difficult to measure due to bright foreground emission and difficulties in reaching the required levels of instrumental-calibration precision. In this paper we outline our progress toward using a novel new method to measure the global redshifted 21-cm signal. Motivated by the need to use alternative methods with very different systematic errors to EDGES for an independent result, we employ an array of closely-spaced antennas to measure the global sky signal interferometrically, rather than using the conventional approach with a single antenna. We use simulations to demonstrate our newly-developed methods and show that, for an idealised instrument, a 21-cm signal could theoretically be extracted from the visibilities of an array of closely-spaced dipoles. We verify that our signal-extraction methods work on real data using observations made with a Square Kilometre-Array-like prototype; the Engineering Development Array-2. Finally, we use the lessons learned in both our simulations and observations to lay out a clear plan for future work, which will ultimately lead to a new global redshifted 21-cm instrument: the All-Sky SignAl Short-Spacing INterferometer (ASSASSIN). △ Less

Submitted 13 September, 2020; originally announced September 2020.

Comments: 18 pages, 13 figures

A survey of spatially and temporally resolved radio frequency interference in the FM band at the Murchison Radio-astronomy Observatory

Authors: Steven Tingay, Marcin Sokolowski, Randall Wayth, Daniel Ung

Abstract: We present the first survey of radio frequency interference (RFI) at the future site of the low frequency Square Kilometre Array (SKA), the Murchison Radio-astronomy Observatory (MRO), that both temporally and spatially resolves the RFI. The survey is conducted in a 1 MHz frequency range within the FM band, designed to encompass the closest and strongest FM transmitters to the MRO (located in Gera… ▽ More We present the first survey of radio frequency interference (RFI) at the future site of the low frequency Square Kilometre Array (SKA), the Murchison Radio-astronomy Observatory (MRO), that both temporally and spatially resolves the RFI. The survey is conducted in a 1 MHz frequency range within the FM band, designed to encompass the closest and strongest FM transmitters to the MRO (located in Geraldton, approximately 300 km distant). Conducted over approximately three days using the second iteration of the Engineering Development Array in an all-sky imaging mode, we find a range of RFI signals. We are able to categorise the signals into: those received directly from the transmitters, from their horizon locations; reflections from aircraft (occupying approximately 13% of the observation duration); reflections from objects in Earth orbit; and reflections from meteor ionisation trails. In total we analyse 33,994 images at 7.92 s time resolution in both polarisations with angular resolution of approximately 3.5 deg., detecting approximately forty thousand RFI events. This detailed breakdown of RFI in the MRO environment will enable future detailed analyses of the likely impacts of RFI on key science at low radio frequencies with the SKA. △ Less

Submitted 13 August, 2020; originally announced August 2020.

Comments: Accepted for publication in PASA. 15 pages, 16 figures

Limits on the flux of nuclearites and other heavy compact objects from the "Pi of the Sky" project

Authors: Lech Wiktor Piotrowski, Katarzyna Małek, Lech Mankiewicz, Marcin Sokołowski, Grzegorz Wrochna, Adam Zadrożny, Aleksander Filip Żarnecki

Abstract: Many theories predict the existence of very heavy compact objects, that in terms of sizes would belong to the realms of nuclear or atomic physics, but in terms of masses could extend to the macroscopic world, reaching kilograms, tonnes or more. If they exist, it is likely that they reach our planet with high speeds and cross the atmosphere. Due to their high mass to size ratio and huge energy, in… ▽ More Many theories predict the existence of very heavy compact objects, that in terms of sizes would belong to the realms of nuclear or atomic physics, but in terms of masses could extend to the macroscopic world, reaching kilograms, tonnes or more. If they exist, it is likely that they reach our planet with high speeds and cross the atmosphere. Due to their high mass to size ratio and huge energy, in many cases, they would leave behind a trail in the form of sound and seismic waves, etches, or light in transparent media. Here we show results of a search for such objects in visual photographs of the sky taken by the "Pi of the Sky" experiment, illustrated with the most stringent limits on the isotropic flux of incoming so-called nuclearites, spanning between $5.4\cdot10^{-20}$ and $2.2\cdot10^{-21}\ \mathrm{cm}^{-2} \mathrm{s}^{-1} \mathrm{sr}^{-1}$ for masses between 100 g and 100 kg. In addition we establish a directional flux limit under an assumption of static "sea" of nuclearites in the Galaxy, which spans between $1.5\cdot10^{-18}$ and $2.1\cdot10^{-19}\ \mathrm{cm}^{-2} \mathrm{s}^{-1}$ in the same mass range. The general nature of the limits presented should allow one to constrain many specific models predicting the existence of heavy compact objects and both particle physics and astrophysical processes leading to their creation, and their sources. △ Less

Submitted 3 August, 2020; originally announced August 2020.

Comments: 10 pages, 11 figures, accepted for publication in PRL at https://journals.aps.org/prl/accepted/1a07bY3aA8c1d967c75808b86c43042b081e1c533

Calibration database for the Murchison Widefield Array All-Sky Virtual Observatory

Authors: M. Sokolowski, C. H. Jordan, G. Sleap, A. Williams, R. B. Wayth, M. Walker, D. Pallot, A. Offringa, N. Hurley-Walker, T. M. O. Franzen, M. Johnston-Hollitt, D. L. Kaplan, D. Kenney, S. J. Tingay

Abstract: We present a calibration component for the Murchison Widefield Array All-Sky Virtual Observatory (MWA ASVO) utilising a newly developed PostgreSQL database of calibration solutions. Since its inauguration in 2013, the MWA has recorded over thirty-four petabytes of data archived at the Pawsey Supercomputing Centre. According to the MWA Data Access policy, data become publicly available eighteen mon… ▽ More We present a calibration component for the Murchison Widefield Array All-Sky Virtual Observatory (MWA ASVO) utilising a newly developed PostgreSQL database of calibration solutions. Since its inauguration in 2013, the MWA has recorded over thirty-four petabytes of data archived at the Pawsey Supercomputing Centre. According to the MWA Data Access policy, data become publicly available eighteen months after collection. Therefore, most of the archival data are now available to the public. Access to public data was provided in 2017 via the MWA ASVO interface, which allowed researchers worldwide to download MWA uncalibrated data in standard radio astronomy data formats (CASA measurement sets or UV FITS files). The addition of the MWA ASVO calibration feature opens a new, powerful avenue for researchers without a detailed knowledge of the MWA telescope and data processing to download calibrated visibility data and create images using standard radio-astronomy software packages. In order to populate the database with calibration solutions from the last six years we developed fully automated pipelines. A near-real-time pipeline has been used to process new calibration observations as soon as they are collected and upload calibration solutions to the database, which enables monitoring of the interferometric performance of the telescope. Based on this database we present an analysis of the stability of the MWA calibration solutions over long time intervals. △ Less

Submitted 5 May, 2020; originally announced May 2020.

Comments: 12 pages, 9 figures, Accepted for publication in PASA

Noise Temperature of Phased Array Radio Telescope: The Murchison Widefield Array and the Engineering Development Array

Authors: Daniel C. X. Ung, Marcin Sokolowski, Adrian T. Sutinjo, David B. Davidson

Abstract: This paper presents a framework to compute the receiver noise temperature (Trcv) of two low-frequency radio telescopes, the Murchison Widefield Array (MWA) and the Engineering Development Array (EDA). The MWA was selected because it is the only operational low-frequency Square Kilometre Array (SKA) precursor at the Murchison Radio-astronomy Observatory, while the EDA was selected because it mimics… ▽ More This paper presents a framework to compute the receiver noise temperature (Trcv) of two low-frequency radio telescopes, the Murchison Widefield Array (MWA) and the Engineering Development Array (EDA). The MWA was selected because it is the only operational low-frequency Square Kilometre Array (SKA) precursor at the Murchison Radio-astronomy Observatory, while the EDA was selected because it mimics the proposed SKA-Low station size and configuration. It will demonstrated that the use of an existing power wave based framework for noise characterization of multiport amplifiers is sufficiently general to evaluate Trcv of phased arrays. The calculation of Trcv was done using a combination of measured noise parameters of the low-noise amplifier (LNA) and simulated S-parameters of the arrays. The calculated values were compared to measured results obtained via astronomical observation and both results are found to be in agreement. Such verification is lacking in current literature. It was shown that the receiver noise temperatures of both arrays are lower when compared to a single isolated element. This is caused by the increase in mutual coupling within the array which is discussed in depth in this paper. △ Less

Submitted 11 March, 2020; originally announced March 2020.

Comments: IEEE Trans. Antennas. Propagat., accepted, 6 Mar. 2020. 10 pages, 13 figures