-
Intrinsic Cross Polarization Ratio maps from all-sky observations with the SKA-Low prototype station Aperture Array Verification System 2
Authors:
Giulia Macario,
Giuseppe Pupillo,
Gianni Bernardi,
Paola Di Ninni,
Giovanni Comoretto,
Pietro Bolli,
Andrea Mattana,
Jader Monari,
Federico Perini,
Marco Schiaffino,
Marcin Sokolowski,
Randall Wayth,
Jishnu N. Thekkeppattu
Abstract:
The low-frequency radio telescope of the Square Kilometre Array (SKA-Low), currently under construction in the remote Murchison shire in the Western Australia's outback, will observe the sky between 50 MHz and 350 MHz with unprecedented sensitivity and stringent requirements for polarization accuracy. In this work, we investigate the instrumental polarization purity of a SKA-Low prototype station…
▽ More
The low-frequency radio telescope of the Square Kilometre Array (SKA-Low), currently under construction in the remote Murchison shire in the Western Australia's outback, will observe the sky between 50 MHz and 350 MHz with unprecedented sensitivity and stringent requirements for polarization accuracy. In this work, we investigate the instrumental polarization purity of a SKA-Low prototype station by means of the Intrinsic Cross-Polarization Ratio (IXR) figure of merit. We derive all-sky experimental IXR maps using data from the Aperture Array Verification System 2 (AAVS2). The results are presented at three frequencies within the SKA-Low bandwidth (110, 160, and 230 MHz) with a quantitative comparison between observed and simulated all-sky IXR maps. Our findings show good agreement in IXR map distributions and promising consistency in their radial profiles, meeting SKA-Low's IXR specification overall. This study offers an empirical approach to verifying SKA-Low's polarization performance using all-sky observations from individual stations and will potentially support the telescope's early science commissioning phase.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
The Growing Impact of Unintended Starlink Broadband Emission on Radio Astronomy in the SKA-Low Frequency Range
Authors:
Dylan Grigg,
Steven Tingay,
Marcin Sokolowski
Abstract:
We present the largest survey to date characterising intended and unintended emission from Starlink satellites across the SKA-Low frequency range. This survey analyses ~76 million full sky images captured over ~29 days of observing with an SKA-Low prototype station - the Engineering Development Array 2 - at the site of SKA-Low. We report 112,534 individual detections of 1,806 unique Starlink satel…
▽ More
We present the largest survey to date characterising intended and unintended emission from Starlink satellites across the SKA-Low frequency range. This survey analyses ~76 million full sky images captured over ~29 days of observing with an SKA-Low prototype station - the Engineering Development Array 2 - at the site of SKA-Low. We report 112,534 individual detections of 1,806 unique Starlink satellites, some emitting broadband emission and others narrowband emission. Our analysis compares observations across different models of Starlink satellite, with 76% of all v2-mini Ku and 71% of all v2-mini Direct to Cell satellites identified. It is shown that in the worst cases, some datasets have a detectable Starlink satellite in ~30% of all images acquired. Emission from Starlink satellites is detected in primary and secondary frequency ranges protected by the International Telecommunication Union, with 13 satellites identified between 73.00 - 74.60 MHz and 703 identified between 150.05 - 153.00 MHz. We also detect the reflections of terrestrial FM radio off different models of Starlink satellites at 99.70 MHz. The polarisation of the broadband emission shows the flux density of two orthogonal polarisations is anti-correlated with temporally shifting spectral structure observed. We compare our results to previous EDA2 and LOFAR results and provide open public access to our final data products to assist in quantifying future changes in this emission.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
BLINK: an End-To-End GPU High Time Resolution Imaging Pipeline for Fast Radio Burst Searches with the Murchison Widefield Array
Authors:
Cristian Di Pietrantonio,
Marcin Sokolowski,
Christopher Harris,
Daniel Price,
Randall Wayth
Abstract:
Petabytes of archival high time resolution observations have been captured with the Murchison Widefield Array. The search for Fast Radio Bursts within these using established software has been limited by its inability to scale on supercomputing infrastructure, necessary to meet the associated computational and memory requirements. Hence, past searches used a coarse integration time, in the scale o…
▽ More
Petabytes of archival high time resolution observations have been captured with the Murchison Widefield Array. The search for Fast Radio Bursts within these using established software has been limited by its inability to scale on supercomputing infrastructure, necessary to meet the associated computational and memory requirements. Hence, past searches used a coarse integration time, in the scale of seconds, or analysed an insufficient number of hours of observations. This paper introduces BLINK, a novel radio interferometry imaging software for low-frequency FRB searches to be run on modern supercomputers. It is implemented as a suite of software libraries executing all computations on GPU, supporting both AMD and NVIDIA hardware vendors. These libraries are designed to interface with each other and to define the BLINK imaging pipeline as a single executable program. Expensive I/O operations between imaging stages are not necessary because the stages now share the same memory space and data representation. BLINK is the first imaging pipeline implementation able to fully run on GPUs as a single process, further supporting AMD hardware and enabling Australian researchers to take advantage of Pawsey's Setonix supercomputer. In the millisecond-scale time resolution imaging test case illustrated in this paper, representative of what is required for FRB searches, the BLINK imaging pipeline achieves a 3687x speedup compared to a traditional MWA imaging pipeline employing WSClean.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Fully dynamic biconnectivity in $\tilde{\mathcal{O}}(\log^2 n)$ time
Authors:
Jacob Holm,
Wojciech Nadara,
Eva Rotenberg,
Marek Sokołowski
Abstract:
We present a deterministic fully-dynamic data structure for maintaining information about the cut-vertices in a graph; i.e. the vertices whose removal would disconnect the graph. Our data structure supports insertion and deletion of edges, as well as queries to whether a pair of connected vertices are either biconnected, or can be separated by a cutvertex, and in the latter case we support access…
▽ More
We present a deterministic fully-dynamic data structure for maintaining information about the cut-vertices in a graph; i.e. the vertices whose removal would disconnect the graph. Our data structure supports insertion and deletion of edges, as well as queries to whether a pair of connected vertices are either biconnected, or can be separated by a cutvertex, and in the latter case we support access to separating cutvertices. All update operations are supported in amortized $O(\log^2 n \log^2 \log n)$ time, and queries take worst-case $O(\log n \log^2 \log n)$ time. Note that these time bounds match the current best for deterministic dynamic connectivity up to $\log \log n$ factors.
We obtain our improved running time by a series of reductions from the original problem into well-defined data structure problems. While we do apply the well-known techniques for improving running time of two-edge connectivity [STOC'00, SODA'18], these techniques alone do not lead to an update time of $\tilde{O}(\log^3 n)$, let alone the $\tilde{O}(\log^2 n)$ we give as a final result.
Our contributions include a formally defined transient expose operation, which can be thought of as a cheaper read-only expose operation on a top tree. For each vertex in the graph, we maintain a data structure over its neighbors, and in this data structure we apply biasing (twice) to save two $\tilde{O}(\log n)$ factors. One of these biasing techniques is a new biased disjoint sets data structure, which may be of independent interest. Moreover, in this neighborhood data structure, we facilitate that the vertex can select two VIP neighbors that get special treatment, corresponding to its potentially two neighbors on an exposed path, improving a $\log n$-time operation down to constant time. It is this combination of VIP neighbors with the transient expose that saves an $\tilde{O}(\log n)$-factor from another bottleneck.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
A Search for Low-frequency Radio Pulses from Long Gamma-ray Bursts with the Murchison Widefield Array
Authors:
Fan Xu,
G. E. Anderson,
Jun Tian,
B. W. Meyers,
S. J. Tingay,
Yong-Feng Huang,
Zi-Teng Wang,
B. Venville,
C. P. Lee,
A. Rowlinson,
P. Hancock,
A. Williams,
M. Sokolowski
Abstract:
It has been proposed that coherent radio emission could be emitted during or shortly following a gamma-ray burst (GRB). Here we present a low-frequency ($170-200$ MHz) search for radio pulses associated with long-duration GRBs using the Murchison Widefield Array (MWA). The MWA, with its rapid-response system, is capable of performing GRB follow-up observations within approximately $30$ seconds. Ou…
▽ More
It has been proposed that coherent radio emission could be emitted during or shortly following a gamma-ray burst (GRB). Here we present a low-frequency ($170-200$ MHz) search for radio pulses associated with long-duration GRBs using the Murchison Widefield Array (MWA). The MWA, with its rapid-response system, is capable of performing GRB follow-up observations within approximately $30$ seconds. Our single pulse search, with temporal and spectral resolutions of $100\ μ$s and $10$ kHz, covers dispersion measures up to $5000$ pc cm$^{-3}$. Two single pulse candidates are identified with significance greater than $6σ$, surviving a friends-of-friends analysis. We rule out random fluctuations as their origin at a confidence level of $97\%$ ($2.2σ$). We caution that radio frequency interference from digital TV (DTV) is most likely the origin of these pulses since the DTV frequency bands almost cover the entire observing frequency band. If they are astrophysical signals, we estimate the peak flux densities for our pulse candidates of $3.6\pm0.6$ Jy and $10.5\pm1.5$ Jy, with corresponding fluences of $431\pm74$ Jy ms and $211\pm37$ Jy ms, respectively. Based on these observations and the assumption of a magnetar origin for the pulse, we constrain the radio emission efficiency as $ε_{\rm{r}}\sim10^{-3}$ for both candidates, which is consistent with pulsar observations. Our results highlight the promising potential of new-generation radio telescopes like the MWA to probe the central engines of GRBs.
△ Less
Submitted 17 February, 2025;
originally announced February 2025.
-
Low rank MSO
Authors:
Mikołaj Bojańczyk,
Michał Pilipczuk,
Wojciech Przybyszewski,
Marek Sokołowski,
Giannos Stamoulis
Abstract:
We introduce a new logic for describing properties of graphs, which we call low rank MSO. This is the fragment of monadic second-order logic in which set quantification is restricted to vertex sets of bounded cutrank. We prove the following statements about the expressive power of low rank MSO.
- Over any class of graphs that is weakly sparse, low rank MSO has the same expressive power as separa…
▽ More
We introduce a new logic for describing properties of graphs, which we call low rank MSO. This is the fragment of monadic second-order logic in which set quantification is restricted to vertex sets of bounded cutrank. We prove the following statements about the expressive power of low rank MSO.
- Over any class of graphs that is weakly sparse, low rank MSO has the same expressive power as separator logic. This equivalence does not hold over all graphs.
- Over any class of graphs that has bounded VC dimension, low rank MSO has the same expressive power as flip-connectivity logic. This equivalence does not hold over all graphs.
- Over all graphs, low rank MSO has the same expressive power as flip-reachability logic.
Here, separator logic is an extension of first-order logic by basic predicates for checking connectivity, which was proposed by Bojańczyk [ArXiv 2107.13953] and by Schirrmacher, Siebertz, and Vigny [ACM ToCL 2023]. Flip-connectivity logic and flip-reachability logic are analogues of separator logic suited for non-sparse graphs, which we propose in this work. In particular, the last statement above implies that every property of undirected graphs expressible in low rank MSO can be decided in polynomial time.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
Enhanced detection and identification of satellites using an all-sky multi-frequency survey with prototype SKA-Low stations
Authors:
Dylan Grigg,
Steven Tingay,
Steve Prabu,
Marcin Sokolowski,
Balthasar Indermuehle
Abstract:
With the low Earth orbit environment becoming increasingly populated with artificial satellites, rockets, and debris, it is important to understand the effects they have on radio astronomy. In this work, we undertake a multi-frequency, multi-epoch survey with two SKA-Low station prototypes located at the SKA-Low site, to identify and characterise radio frequency emission from orbiting objects and…
▽ More
With the low Earth orbit environment becoming increasingly populated with artificial satellites, rockets, and debris, it is important to understand the effects they have on radio astronomy. In this work, we undertake a multi-frequency, multi-epoch survey with two SKA-Low station prototypes located at the SKA-Low site, to identify and characterise radio frequency emission from orbiting objects and consider their impact on radio astronomy observations. We identified 152 unique satellites across multiple passes in low and medium Earth orbits from 1.6 million full-sky images across 13 selected ${\approx}1$ MHz frequency bands in the SKA-Low frequency range, acquired over almost 20 days of data collection. Our algorithms significantly reduce the rate of satellite misidentification, compared to previous work, validated through simulations to be $<1\%$. Notably, multiple satellites were detected transmitting unintended electromagnetic radiation, as well as several decommissioned satellites likely transmitting when the Sun illuminates their solar panels. We test alternative methods of processing data, which will be deployed for a larger, more systematic survey at SKA-Low frequencies in the near future. The current work establishes a baseline for monitoring satellite transmissions, which will be repeated in future years to assess their evolving impact on radio astronomy observations.
△ Less
Submitted 18 December, 2024;
originally announced December 2024.
-
Probing magneto-ionic microstructure towards the Vela pulsar using a prototype SKA-Low station
Authors:
C. P. Lee,
N. D. R. Bhat,
M. Sokolowski,
B. W. Meyers,
A. Magro
Abstract:
The Vela pulsar (J0835-4510) is known to exhibit variations in Faraday rotation and dispersion on multi-decade timescales due to the changing sightline through the surrounding Vela supernova remnant and the Gum Nebula. Until now, variations in Faraday rotation towards Vela have not been studied on timescales less than around a decade. We present the results of a high-cadence observing campaign car…
▽ More
The Vela pulsar (J0835-4510) is known to exhibit variations in Faraday rotation and dispersion on multi-decade timescales due to the changing sightline through the surrounding Vela supernova remnant and the Gum Nebula. Until now, variations in Faraday rotation towards Vela have not been studied on timescales less than around a decade. We present the results of a high-cadence observing campaign carried out with the Aperture Array Verification System 2 (AAVS2), a prototype SKA-Low station, which received a significant bandwidth upgrade in 2022. We collected observations of the Vela pulsar and PSR J0630-2834 (a nearby pulsar located outside the Gum Nebula), spanning $\sim 1\,\mathrm{yr}$ and $\sim 0.3\,\mathrm{yr}$ respectively, and searched for linear trends in the rotation measure (RM) as a function of time. We do not detect any significant trends on this timescale ($\sim$months) for either pulsar, but the constraints could be greatly improved with more accurate ionospheric models. For the Vela pulsar, the combination of our data and historical data from the published literature have enabled us to model long-term correlated trends in RM and dispersion measure (DM) over the past two decades. We detect a change in DM of $\sim 0.3\,\mathrm{cm}^{-3}\,\mathrm{pc}$ which corresponds to a change in electron density of $\sim 10^5\,\mathrm{cm}^{-3}$ on a transverse length scale of $\sim$1-2 au. The apparent magnetic field strength in the time-varying region changes from $240^{+30}_{-20}\,μ\mathrm{G}$ to $-6.2^{+0.7}_{-0.9}\,μ\mathrm{G}$ over the time span of the data set. As well as providing an important validation of polarimetry, this work highlights the pulsar monitoring capabilities of SKA-Low stations, and the niche science opportunities they offer for high-precision polarimetry and probing the microstructure of the magneto-ionic interstellar medium.
△ Less
Submitted 1 November, 2024;
originally announced November 2024.
-
Half-integral Erdős-Pósa property for non-null $S$-$T$ paths
Authors:
Vera Chekan,
Colin Geniet,
Meike Hatzel,
Michał Pilipczuk,
Marek Sokołowski,
Michał T. Seweryn,
Marcin Witkowski
Abstract:
For a group $Γ$, a $Γ$-labelled graph is an undirected graph $G$ where every orientation of an edge is assigned an element of $Γ$ so that opposite orientations of the same edge are assigned inverse elements. A path in $G$ is non-null if the product of the labels along the path is not the neutral element of $Γ$. We prove that for every finite group $Γ$, non-null $S$-$T$ paths in $Γ$-labelled graphs…
▽ More
For a group $Γ$, a $Γ$-labelled graph is an undirected graph $G$ where every orientation of an edge is assigned an element of $Γ$ so that opposite orientations of the same edge are assigned inverse elements. A path in $G$ is non-null if the product of the labels along the path is not the neutral element of $Γ$. We prove that for every finite group $Γ$, non-null $S$-$T$ paths in $Γ$-labelled graphs exhibit the half-integral Erdős-Pósa property. More precisely, there is a function $f$, depending on $Γ$, such that for every $Γ$-labelled graph $G$, subsets of vertices $S$ and $T$, and integer $k$, one of the following objects exists: a family $\cal F$ consisting of $k$ non-null $S$-$T$ paths in $G$ such that every vertex of $G$ participates in at most two paths of $\cal F$; or a set $X$ consisting of at most $f(k)$ vertices that meets every non-null $S$-$T$ path in $G$. This in particular proves that in undirected graphs $S$-$T$ paths of odd length have the half-integral Erdős-Pósa property.
△ Less
Submitted 29 August, 2024;
originally announced August 2024.
-
Imaging pulsar census of the Galactic Plane using MWA VCS data
Authors:
S. Sett,
M. Sokolowski,
E. Lenc,
N. D. R. Bhat
Abstract:
Traditional pulsar surveys have primarily employed time-domain periodicity searches. However, these methods are susceptible to effects like scattering, eclipses and orbital motion. At lower radio frequencies (<= 300 MHz), factors such as dispersion measure and pulse broadening become more prominent, reducing the detection sensitivity. On the other hand, image domain searches for pulsars are not li…
▽ More
Traditional pulsar surveys have primarily employed time-domain periodicity searches. However, these methods are susceptible to effects like scattering, eclipses and orbital motion. At lower radio frequencies (<= 300 MHz), factors such as dispersion measure and pulse broadening become more prominent, reducing the detection sensitivity. On the other hand, image domain searches for pulsars are not limited by these effects and can extend the parameter space to regions inaccessible to traditional search techniques. Therefore, we have developed a pipeline to form 1-second full Stokes images from offline correlated high time-resolution data from the Murchison Widefield Array (MWA). This led to the development of image-based methodologies to identify new pulsar candidates. In this paper, we applied these methodologies to perform a low-frequency image-based pulsar census of the Galactic Plane ( 12 MWA observations, covering ~6000 deg^2 sky ). This work focuses on the detection of the known pulsar population which were present in the observed region of the sky using both image-based and beamformed methods. This resulted in the detection of 83 known pulsars, with 16 pulsars found only in Stokes I images but not in periodicity searches applied in beamformed data. Notably, for 14 pulsars these are the first reported low-frequency detections. This underscores the importance of image-based searches for pulsars that may be undetectable in time-series data, due to scattering and/or dispersive smearing at low frequencies. This highlights the importance of low-frequency flux density measurements in refining pulsar spectral models and investigating the spectral turnover of pulsars at low frequencies.
△ Less
Submitted 1 August, 2024; v1 submitted 18 July, 2024;
originally announced July 2024.
-
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.
-
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 1 November, 2024; v1 submitted 12 May, 2024;
originally announced May 2024.
-
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 27 May, 2025; v1 submitted 29 January, 2024;
originally announced January 2024.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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, ICALP 2023) and provides an efficient algorithm to compute Flipper's moves in a winning strategy.
△ Less
Submitted 13 March, 2025; v1 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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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 bootstrapping, 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.
-
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.
-
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.
-
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)$. If we additionally assume that the feedback vertex number of $G$ never exceeds $k$, this update time guarantee is worst-case.
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 27 January, 2025; v1 submitted 13 July, 2021;
originally announced July 2021.
-
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.
-
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.