-
An activity transition in FRB 20201124A: methodological rigor, detection of frequency-dependent cessation, and a geometric magnetar model
Authors:
A. V. Bilous,
J. van Leeuwen,
Y. Maan,
I. Pastor-Marazuela,
L. C. Oostrum,
K. M. Rajwade,
Y. Y. Wang
Abstract:
We report detections of fast radio bursts (FRBs) from the repeating source FRB 20201124A with Apertif/WSRT and GMRT, and measurements of basic burst properties, especially the dispersion measure (DM) and fluence. Based on comparisons of these properties with previously published larger samples, we argue that the excess DM reported earlier for pulses with integrated signal to noise ratio…
▽ More
We report detections of fast radio bursts (FRBs) from the repeating source FRB 20201124A with Apertif/WSRT and GMRT, and measurements of basic burst properties, especially the dispersion measure (DM) and fluence. Based on comparisons of these properties with previously published larger samples, we argue that the excess DM reported earlier for pulses with integrated signal to noise ratio $\lesssim 1000$ is due to incompletely accounting for the so-called sad trombone effect, even when using structure-maximizing DM algorithms. Our investigations of fluence distributions next lead us to advise against formal power-law fitting, especially dissuading the use of the least-square method, and we demonstrate the large biases involved. A maximum likelihood estimator (MLE) provides a much more accurate estimate of the power law and we provide accessible code for direct inclusion in future research. Our GMRT observations were fortuitously scheduled around the end of the activity cycle as recorded by FAST. We detected several bursts (one of them very strong) at 400/600 MHz, a few hours after sensitive FAST non-detections already showed the 1.3 GHz FRB emission to have ceased. After FRB 20180916B, this is a second example of a frequency-dependent activity window identified in a repeating FRB source. Since numerous efforts have so-far failed to determine a spin period for FRB 20201124A, we conjecture it to be an ultra-long period magnetar, with a period on the scale of months, and with a very wide, highly irregular duty cycle. Assuming the emission comes from closed field lines, we use radius-to-frequency map** and polarization information from other studies to constrain the magnetospheric geometry and location of the emission region. Our initial findings are consistent with a possible connection between FRBs and crustal motion events.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Transformer models for astrophysical time series and the GRB prompt-afterglow relation
Authors:
Oliver M. Boersma,
Eliot H. Ayache,
Joeri van Leeuwen
Abstract:
Transformer models have recently become very successful in the natural language domain. Their value as sequence-to-sequence translators there, also makes them a highly interesting technique for learning relationships between astrophysical time series. Our aim is investigate how well such a transformer neural network can establish causal temporal relations between different channels of a single-sou…
▽ More
Transformer models have recently become very successful in the natural language domain. Their value as sequence-to-sequence translators there, also makes them a highly interesting technique for learning relationships between astrophysical time series. Our aim is investigate how well such a transformer neural network can establish causal temporal relations between different channels of a single-source signal. We thus apply a transformer model to the two phases of Gamma-Ray Bursts (GRBs), reconstructing one phase from the other. GRBs are unique instances where a single process and event produces two distinct time variable phenomena: the prompt emission and the afterglow. We here investigate if a transformer model can predict the afterglow flux from the prompt emission. If successful, such a predictive scheme might then be distilled to the most important underlying physics drivers in the future. We combine the transformer model with a novel dense neural network setup to directly estimate the starting value of the prediction. We find that the transformer model can, in some instances, successfully predict different phases of canonical afterglows, including the plateau phase. Hence it is a useful and promising new astrophysical analysis technique. For the GRB test case, the method marginally exceeds the baseline model overall, but still achieves accurate recovery of the prompt-afterglow fluence-fluence correlation in reconstructed light curves. Despite this progress, we conclude that consistent improvement over the baseline model is not yet achieved for the GRB case. We discuss the future improvements in data and modeling that are required to identify new physical-relation parameters or new insights into the single process driving both GRB phases.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Comprehensive analysis of the Apertif Fast Radio Burst sample: similarities with young, energetic neutron stars
Authors:
Inés Pastor-Marazuela,
Joeri van Leeuwen,
Anna Bilous,
Liam Connor,
Yogesh Maan,
Leon Oostrum,
Emily Petroff,
Dany Vohl,
Kelley M. Hess,
Emanuela Orrù,
Alessio Sclocco,
Yuyang Wang
Abstract:
Understanding the origin of fast radio bursts (FRBs) has become the main science driver of recent dedicated FRB surveys. Between July 2019 and February 2022, we carried out ALERT, an FRB survey at 1370 MHz using the Apertif instrument installed at the Westerbork Synthesis Radio Telescope (WSRT). Here we report the detection of 18 new FRBs, and we study the properties of the entire 24 burst sample…
▽ More
Understanding the origin of fast radio bursts (FRBs) has become the main science driver of recent dedicated FRB surveys. Between July 2019 and February 2022, we carried out ALERT, an FRB survey at 1370 MHz using the Apertif instrument installed at the Westerbork Synthesis Radio Telescope (WSRT). Here we report the detection of 18 new FRBs, and we study the properties of the entire 24 burst sample detected during the survey. For five bursts, we identify host galaxy candidates with >50% probability association. We observe an average linear polarisation fraction of $\sim$43% and an average circular polarisation fraction consistent with 0%. A third of the FRBs display multiple components. The sample next reveals a population of highly scattered bursts, which is most likely to have been produced in the immediate circumburst environment. Furthermore, two FRBs show evidence for high rotation measures, reaching |RM|>$10^3$ rad m$^{-2}$ in the source reference frames. Together, the scattering and rotation measures ALERT finds prove that a large fraction of FRBs are embedded in complex media such as star forming regions or supernova remnants. Through the discovery of the third most dispersed FRB so far, we show that one-off FRBs can emit at frequencies in excess of 6 GHz. Finally, we determine an FRB all-sky rate of $459^{+208}_{-155}$ sky$^{-1}$ day$^{-1}$ above a fluence limit of 4.1 Jy ms, and a fluence cumulative distribution with a power law index $γ=-1.23\pm0.06\pm0.2$, which is roughly consistent with the Euclidean Universe predictions. Through the high resolution in time, frequency, polarisation and localisation that ALERT featured, we were able to determine the morphological complexity, polarisation, local scattering and magnetic environment, and high-frequency luminosity of FRBs. We find all these strongly resemble those seen in young, energetic, highly magnetised neutron stars.
△ Less
Submitted 1 June, 2024;
originally announced June 2024.
-
A Needle in a Cosmic Haystack: A Review of FRB Search Techniques
Authors:
Kaustubh Rajwade,
Joeri van Leeuwen
Abstract:
Ephemeral Fast Radio Bursts (FRBs) must be powered by some of the most energetic processes in the Universe. That makes them highly interesting in their own right and as precise probes for estimating cosmological parameters. This field thus poses a unique challenge: FRBs must be detected promptly and immediately localised and studied based only on that single millisecond-duration flash. The problem…
▽ More
Ephemeral Fast Radio Bursts (FRBs) must be powered by some of the most energetic processes in the Universe. That makes them highly interesting in their own right and as precise probes for estimating cosmological parameters. This field thus poses a unique challenge: FRBs must be detected promptly and immediately localised and studied based only on that single millisecond-duration flash. The problem is that the burst occurrence is highly unpredictable and that their distance strongly suppresses their brightness. Since the discovery of FRBs in single-dish archival data in 2007, detection software has evolved tremendously. Pipelines now detect bursts in real-time within a matter of seconds, operate on interferometers, buffer high-time and frequency resolution data, and issue real-time alerts to other observatories for rapid multi-wavelength follow-up. In this paper, we review the components that comprise a FRB search software pipeline, we discuss the proven techniques that were adopted from pulsar searches, we highlight newer, more efficient techniques for detecting FRBs, and we conclude by discussing the proposed novel future methodologies that may power the search for FRBs in the era of big data astronomy.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Uncertainty Quantification for Deep Learning
Authors:
Peter Jan van Leeuwen,
J. Christine Chiu,
C. Kevin Yang
Abstract:
A complete and statistically consistent uncertainty quantification for deep learning is provided, including the sources of uncertainty arising from (1) the new input data, (2) the training and testing data (3) the weight vectors of the neural network, and (4) the neural network because it is not a perfect predictor. Using Bayes Theorem and conditional probability densities, we demonstrate how each…
▽ More
A complete and statistically consistent uncertainty quantification for deep learning is provided, including the sources of uncertainty arising from (1) the new input data, (2) the training and testing data (3) the weight vectors of the neural network, and (4) the neural network because it is not a perfect predictor. Using Bayes Theorem and conditional probability densities, we demonstrate how each uncertainty source can be systematically quantified. We also introduce a fast and practical way to incorporate and combine all sources of errors for the first time. For illustration, the new method is applied to quantify errors in cloud autoconversion rates, predicted from an artificial neural network that was trained by aircraft cloud probe measurements in the Azores and the stochastic collection equation formulated as a two-moment bin model. For this specific example, the output uncertainty arising from uncertainty in the training and testing data is dominant, followed by uncertainty in the input data, in the trained neural network, and uncertainty in the weights. We discuss the usefulness of the methodology for machine learning practice, and how, through inclusion of uncertainty in the training data, the new methodology is less sensitive to input data that falls outside of the training data set.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
Birth and Evolution of Fast Radio Bursts: Strong Population-Based Evidence for a Neutron-Star Origin
Authors:
Yuyang Wang,
Joeri van Leeuwen
Abstract:
While the appeal of their extraordinary radio luminosity to our curiosity is undiminished, the nature of fast radio bursts (FRBs) has remained unclear. The challenge has been due in part to small sample sizes and limited understanding of telescope selection effects. We here present the first inclusion of the entire set of one-off FRBs from CHIME/FRB Catalog 1 in frbpoppy. Where previous work had t…
▽ More
While the appeal of their extraordinary radio luminosity to our curiosity is undiminished, the nature of fast radio bursts (FRBs) has remained unclear. The challenge has been due in part to small sample sizes and limited understanding of telescope selection effects. We here present the first inclusion of the entire set of one-off FRBs from CHIME/FRB Catalog 1 in frbpoppy. Where previous work had to curate this data set, and fit for few model parameters, we have developed full multi-dimensional Markov chain Monte Carlo (MCMC) capabilities for frbpoppy -- the comprehensive, open-science FRB population synthesis code -- that allow us to include all one-off CHIME bursts. Through the combination of these two advances we now find the best description of the real, underlying FRB population, with higher confidence than before. We show that $4\pm3\times10^{3}$ one-off FRBs go off every second between Earth and $z$=1; and we provide a mock catalog based on our best model, for straight-forward inclusion in other studies. We investigate CHIME side-lobe detection fractions, and FRB luminosity characteristics, to show that some bright, local FRBs are still being missed. We find strong evidence that FRB birth rates evolve with the star formation rate of the Universe, even with a hint of a short (0.1$-$1 Gyr) delay time. The preferred contribution of the hosts to the FRB dispersion agrees with a progenitor birth location in the host disk. This population-based evidence solidly aligns with magnetar-like burst sources, and we conclude FRBs are emitted by neutron stars.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Dynamics of nano-scale assemblies of amphiphilic PEG-PDMS-PEG copolymers
Authors:
Sudipta Gupta,
Rasangi M. Perera,
Christopher J. Van Leeuwen,
Tianyu Li,
Laura Stingaciu,
Markus Bleuel,
Kunlun Hong,
Gerald J. Schneider
Abstract:
Micelles and vesicles are promising candidates in targeted drug/gene delivery, bioreactors, and templates for nanoparticle synthesis. We investigated the morphology and dynamics of PEG-PDMS-PEG triblock copolymer nano-scale assemblies regarding the membrane dynamics because the molecular dynamics of the membrane govern mechanical properties like the stability of a membrane. We studied the structur…
▽ More
Micelles and vesicles are promising candidates in targeted drug/gene delivery, bioreactors, and templates for nanoparticle synthesis. We investigated the morphology and dynamics of PEG-PDMS-PEG triblock copolymer nano-scale assemblies regarding the membrane dynamics because the molecular dynamics of the membrane govern mechanical properties like the stability of a membrane. We studied the structure by cryogenic transmission electron microscopy, small-angle neutron scattering, and the dynamics by dynamic light scattering and neutron spin echo spectroscopy. We changed the length of the hydrophilic block to obtain micellar and vesicular systems. The vesicle has a membrane rigidity, $κ_η= 16 \pm 2 k_B T$, the same order of magnitude as the corresponding liposome value but one order of magnitude higher than polymeric interfaces in microemulsions. Hence, the height-height fluctuations of polymers in a polymersome seem much less than those measured for surfactants at an oil-water interface. Therefore, the polymersome is substantially more stable. The value is very close to liposomes, indicating a similar stability.
△ Less
Submitted 29 March, 2024;
originally announced April 2024.
-
The Complexity of Diameter on H-free graphs
Authors:
Jelle J. Oostveen,
Daniël Paulusma,
Erik Jan van Leeuwen
Abstract:
The intensively studied Diameter problem is to find the diameter of a given connected graph. We investigate, for the first time in a structured manner, the complexity of Diameter for H-free graphs, that is, graphs that do not contain a fixed graph H as an induced subgraph. We first show that if H is not a linear forest with small components, then Diameter cannot be solved in subquadratic time for…
▽ More
The intensively studied Diameter problem is to find the diameter of a given connected graph. We investigate, for the first time in a structured manner, the complexity of Diameter for H-free graphs, that is, graphs that do not contain a fixed graph H as an induced subgraph. We first show that if H is not a linear forest with small components, then Diameter cannot be solved in subquadratic time for H-free graphs under SETH. For some small linear forests, we do show linear-time algorithms for solving Diameter. For other linear forests H, we make progress towards linear-time algorithms by considering specific diameter values. If H is a linear forest, the maximum value of the diameter of any graph in a connected H-free graph class is some constant dmax dependent only on H. We give linear-time algorithms for deciding if a connected H-free graph has diameter dmax, for several linear forests H. In contrast, for one such linear forest H, Diameter cannot be solved in subquadratic time for H-free graphs under SETH. Moreover, we even show that, for several other linear forests H, one cannot decide in subquadratic time if a connected H-free graph has diameter dmax under SETH.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
The Radiation Balance for a semi-gray Atmosphere
Authors:
J. M. J. van Leeuwen
Abstract:
The equations governing the radiation balance are discussed and exactly solved for the model of the semi-gray atmosphere, i.e. an atmosphere that has regions of transparant frequencies and regions with the same absorption coefficient.
The equations governing the radiation balance are discussed and exactly solved for the model of the semi-gray atmosphere, i.e. an atmosphere that has regions of transparant frequencies and regions with the same absorption coefficient.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
The Green Bank North Celestial Cap Survey IX: Timing Follow-up for 128 Pulsars
Authors:
A. E. McEwen,
J. K. Swiggum,
D. L. Kaplan,
C. M. Tan,
B. W. Meyers,
E. Fonseca,
G. Y. Agazie,
P. Chawla,
K. Crowter,
M. E. DeCesar,
T. Dolch,
F. A. Dong,
W. Fiore,
E. Fonseca,
D. C. Good,
A. G. Istrate,
V. M. Kaspi,
V. I. Kondratiev,
J. van Leeuwen,
L. Levin,
E. F. Lewis,
R. S. Lynch,
K. W. Masui,
J. W. McKee,
M. A. McLaughlin
, et al. (6 additional authors not shown)
Abstract:
The Green Bank North Celestial Cap survey is one of the largest and most sensitive searches for pulsars and transient radio objects. Observations for the survey have finished; priorities have shifted toward long-term monitoring of its discoveries. In this study, we have developed a pipeline to handle large datasets of archival observations and connect them to recent, high-cadence observations take…
▽ More
The Green Bank North Celestial Cap survey is one of the largest and most sensitive searches for pulsars and transient radio objects. Observations for the survey have finished; priorities have shifted toward long-term monitoring of its discoveries. In this study, we have developed a pipeline to handle large datasets of archival observations and connect them to recent, high-cadence observations taken using the Canadian Hydrogen Intensity Map** Experiment (CHIME) telescope. This pipeline handles data for 128 pulsars and has produced measurements of spin, positional, and orbital parameters that connect data over observation gaps as large as 2000 days. We have also measured glitches in the timing residuals for five of the pulsars included and proper motion for 19 sources (13 new). We include updates to orbital parameters for 19 pulsars, including 9 previously unpublished binaries. For two of these binaries, we provide updated measurements of post-Keplerian binary parameters, which result in much more precise estimates of the total masses of both systems. For PSR J0509+3801, the much improved measurement of the Einstein delay yields much improved mass measurements for the pulsar and its companion, 1.399(6)\Msun and 1.412(6)\Msun, respectively. For this system, we have also obtained a measurement of the orbital decay due to the emission of gravitational waves: $\dot{P}_{\rm B} = -1.37(7)\times10^{-12}$, which is in agreement with the rate predicted by general relativity for these masses.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Topology of Pulsar Profiles (ToPP). I. Graph theory method and classification of the EPN
Authors:
D. Vohl,
J. van Leeuwen,
Y. Maan
Abstract:
Some of the most important information on a radio pulsar is derived from its average pulse profile. Many early pulsar studies were necessarily based on only few such profiles. There, discrete profile components were linked to emission mechanism models for individual stars through human interpretation. For the population as a whole, profiles morphology must reflect the geometry and overall evolutio…
▽ More
Some of the most important information on a radio pulsar is derived from its average pulse profile. Many early pulsar studies were necessarily based on only few such profiles. There, discrete profile components were linked to emission mechanism models for individual stars through human interpretation. For the population as a whole, profiles morphology must reflect the geometry and overall evolution of the radio emitting regions. The problem, however, is that this population is becoming too large for intensive studies of all sources individually. Moreover, connecting profiles from a large collection of pulsars rapidly becomes cumbersome. In this article, we present ToPP, the first-ever unsupervised method to sort pulsars by profile-shape similarity, using graph topology. We apply ToPP to the publicly available European Pulsar Network profile database, providing the first organised visual overview of multi-frequency profiles representing 90 individual pulsars. We find discrete evolutionary tracks, varying from simple, single component profiles at all frequencies, towards diverse mixtures of more complex profiles with frequency evolution. The profile evolution is continuous, extending out to millisecond pulsars, and does not fall in sharp classes. We interpret the profiles as a mixture of pulsar core/cone emission type, spin-down energetics, and the line-of-sight impact angle towards the magnetic axis. We show how ToPP can systematically classify sources into the Rankin empirical profile scheme. ToPP forms one of the key unsupervised methods that will be essential to explore upcoming pulsar census data such as expected by the Square Kilometer Array.
△ Less
Submitted 16 May, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
A MeerKAT view of the double pulsar eclipses -- Geodetic precession of pulsar B and system geometry
Authors:
M. E. Lower,
M. Kramer,
R. M. Shannon,
R. P. Breton,
N. Wex,
S. Johnston,
M. Bailes,
S. Buchner,
H. Hu,
V. Venkatraman Krishnan,
V. A. Blackmon,
F. Camilo,
D. J. Champion,
P. C. C. Freire,
M. Geyer,
A. Karastergiou,
J. van Leeuwen,
M. A. McLaughlin,
D. J. Reardon,
I. H. Stairs
Abstract:
The double pulsar system, PSR J0737$-$3039A/B, consists of two neutron stars bound together in a highly relativistic orbit that is viewed nearly edge-on from the Earth. This alignment results in brief radio eclipses of the fast-rotating pulsar A when it passes behind the toroidal magnetosphere of the slow-rotating pulsar B. The morphology of these eclipses is strongly dependent on the geometric or…
▽ More
The double pulsar system, PSR J0737$-$3039A/B, consists of two neutron stars bound together in a highly relativistic orbit that is viewed nearly edge-on from the Earth. This alignment results in brief radio eclipses of the fast-rotating pulsar A when it passes behind the toroidal magnetosphere of the slow-rotating pulsar B. The morphology of these eclipses is strongly dependent on the geometric orientation and rotation phase of pulsar B, and their time-evolution can be used to constrain the geodetic precession rate of the pulsar. We demonstrate a Bayesian inference framework for modelling eclipse light-curves obtained with MeerKAT between 2019-2023. Using a hierarchical inference approach, we obtained a precession rate of $Ω_{\rm SO}^{\rm B} = {5.16^{\circ}}^{+0.32^{\circ}}_{-0.34^{\circ}}$ yr$^{-1}$ for pulsar B, consistent with predictions from General Relativity to a relative uncertainty of 6.5%. This updated measurement provides a 6.1% test of relativistic spin-orbit coupling in the strong-field regime. We show that a simultaneous fit to all of our observed eclipses can in principle return a $\sim$1.5% test of spin-orbit coupling. However, systematic effects introduced by the current geometric orientation of pulsar B along with inconsistencies between the observed and predicted eclipse light curves result in difficult to quantify uncertainties. Assuming the validity of General Relativity, we definitively show that the spin-axis of pulsar B is misaligned from the total angular momentum vector by $40.6^{\circ} \pm 0.1^{\circ}$ and that the orbit of the system is inclined by approximately $90.5^{\circ}$ from the direction of our line of sight. Our measured geometry for pulsar B suggests the largely empty emission cone contains an elongated horseshoe shaped beam centered on the magnetic axis, and that it may not be re-detected as a radio pulsar until early-2035.
△ Less
Submitted 1 February, 2024; v1 submitted 10 November, 2023;
originally announced November 2023.
-
Separator Theorem and Algorithms for Planar Hyperbolic Graphs
Authors:
Sándor Kisfaludi-Bak,
Jana Masaříková,
Erik Jan van Leeuwen,
Bartosz Walczak,
Karol Węgrzycki
Abstract:
The hyperbolicity of a graph, informally, measures how close a graph is (metrically) to a tree. Hence, it is intuitively similar to treewidth, but the measures are formally incomparable. Motivated by the broad study of algorithms and separators on planar graphs and their relation to treewidth, we initiate the study of planar graphs of bounded hyperbolicity.
Our main technical contribution is a n…
▽ More
The hyperbolicity of a graph, informally, measures how close a graph is (metrically) to a tree. Hence, it is intuitively similar to treewidth, but the measures are formally incomparable. Motivated by the broad study of algorithms and separators on planar graphs and their relation to treewidth, we initiate the study of planar graphs of bounded hyperbolicity.
Our main technical contribution is a novel balanced separator theorem for planar $δ$-hyperbolic graphs that is substantially stronger than the classic planar separator theorem. For any fixed $δ\geq 0$, we can find balanced separator that induces either a single geodesic (shortest) path or a single geodesic cycle in the graph.
An important advantage of our separator is that the union of our separator (vertex set $Z$) with any subset of the connected components of $G - Z$ induces again a planar $δ$-hyperbolic graph, which would not be guaranteed with an arbitrary separator. Our construction runs in near-linear time and guarantees that size of separator is $\mathrm{poly}(δ) \cdot \log n$. As an application of our separator theorem and its strong properties, we obtain two novel approximation schemes on planar $δ$-hyperbolic graphs. We prove that Maximum Independent Set and the Traveling Salesperson problem have a near-linear time FPTAS for any constant $δ$, running in $n\, \mathrm{polylog}(n) \cdot 2^{\mathcal{O}(δ^2)} \cdot \varepsilon^{-\mathcal{O}(δ)}$ time.
We also show that our approximation scheme for Maximum Independent Set has essentially the best possible running time under the Exponential Time Hypothesis (ETH). This immediately follows from our third contribution: we prove that Maximum Independent Set has no $n^{o(δ)}$-time algorithm on planar $δ$-hyperbolic graphs, unless ETH fails.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Quantum Evolution as a Square Root of the Master Equation
Authors:
J. M. J. van Leeuwen
Abstract:
The analogy between the quantum evolution and that of the master equation is explored. By stressing the stochastic nature of quantum evolution a number of conceptual difficulties in the interpretation of quantum mechanics are avoided.
The analogy between the quantum evolution and that of the master equation is explored. By stressing the stochastic nature of quantum evolution a number of conceptual difficulties in the interpretation of quantum mechanics are avoided.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
The Parameterised Complexity of Integer Multicommodity Flow
Authors:
Hans L. Bodlaender,
Isja Mannens,
Jelle J. Oostveen,
Sukanya Pandey,
Erik Jan van Leeuwen
Abstract:
The Integer Multicommodity Flow problem has been studied extensively in the literature. However, from a parameterised perspective, mostly special cases, such as the Disjoint Paths problem, have been considered. Therefore, we investigate the parameterised complexity of the general Integer Multicommodity Flow problem. We show that the decision version of this problem on directed graphs for a constan…
▽ More
The Integer Multicommodity Flow problem has been studied extensively in the literature. However, from a parameterised perspective, mostly special cases, such as the Disjoint Paths problem, have been considered. Therefore, we investigate the parameterised complexity of the general Integer Multicommodity Flow problem. We show that the decision version of this problem on directed graphs for a constant number of commodities, when the capacities are given in unary, is XNLP-complete with pathwidth as parameter and XALP-complete with treewidth as parameter. When the capacities are given in binary, the problem is NP-complete even for graphs of pathwidth at most 13. We give related results for undirected graphs. These results imply that the problem is unlikely to be fixed-parameter tractable by these parameters.
In contrast, we show that the problem does become fixed-parameter tractable when weighted tree partition width (a variant of tree partition width for edge weighted graphs) is used as parameter.
△ Less
Submitted 23 October, 2023; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Computing Subset Vertex Covers in $H$-Free Graphs
Authors:
Nick Brettell,
Jelle J. Oostveen,
Sukanya Pandey,
Daniël Paulusma,
Erik Jan van Leeuwen
Abstract:
We consider a natural generalization of Vertex Cover: the Subset Vertex Cover problem, which is to decide for a graph $G=(V,E)$, a subset $T \subseteq V$ and integer $k$, if $V$ has a subset $S$ of size at most $k$, such that $S$ contains at least one end-vertex of every edge incident to a vertex of $T$. A graph is $H$-free if it does not contain $H$ as an induced subgraph. We solve two open probl…
▽ More
We consider a natural generalization of Vertex Cover: the Subset Vertex Cover problem, which is to decide for a graph $G=(V,E)$, a subset $T \subseteq V$ and integer $k$, if $V$ has a subset $S$ of size at most $k$, such that $S$ contains at least one end-vertex of every edge incident to a vertex of $T$. A graph is $H$-free if it does not contain $H$ as an induced subgraph. We solve two open problems from the literature by proving that Subset Vertex Cover is NP-complete on subcubic (claw,diamond)-free planar graphs and on $2$-unipolar graphs, a subclass of $2P_3$-free weakly chordal graphs. Our results show for the first time that Subset Vertex Cover is computationally harder than Vertex Cover (under P $\neq$ NP). We also prove new polynomial time results. We first give a dichotomy on graphs where $G[T]$ is $H$-free. Namely, we show that Subset Vertex Cover is polynomial-time solvable on graphs $G$, for which $G[T]$ is $H$-free, if $H = sP_1 + tP_2$ and NP-complete otherwise. Moreover, we prove that Subset Vertex Cover is polynomial-time solvable for $(sP_1 + P_2 + P_3)$-free graphs and bounded mim-width graphs. By combining our new results with known results we obtain a partial complexity classification for Subset Vertex Cover on $H$-free graphs.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth
Authors:
Benjamin Bergougnoux,
Vera Chekan,
Robert Ganian,
Mamadou Moustapha Kanté,
Matthias Mnich,
Sang-il Oum,
Michał Pilipczuk,
Erik Jan van Leeuwen
Abstract:
Dynamic programming on various graph decompositions is one of the most fundamental techniques used in parameterized complexity. Unfortunately, even if we consider concepts as simple as path or tree decompositions, such dynamic programming uses space that is exponential in the decomposition's width, and there are good reasons to believe that this is necessary. However, it has been shown that in gra…
▽ More
Dynamic programming on various graph decompositions is one of the most fundamental techniques used in parameterized complexity. Unfortunately, even if we consider concepts as simple as path or tree decompositions, such dynamic programming uses space that is exponential in the decomposition's width, and there are good reasons to believe that this is necessary. However, it has been shown that in graphs of low treedepth it is possible to design algorithms which achieve polynomial space complexity without requiring worse time complexity than their counterparts working on tree decompositions of bounded width. Here, treedepth is a graph parameter that, intuitively speaking, takes into account both the depth and the width of a tree decomposition of the graph, rather than the width alone.
Motivated by the above, we consider graphs that admit clique expressions with bounded depth and label count, or equivalently, graphs of low shrubdepth (sd). Here, sd is a bounded-depth analogue of cliquewidth, in the same way as td is a bounded-depth analogue of treewidth. We show that also in this setting, bounding the depth of the decomposition is a deciding factor for improving the space complexity. Precisely, we prove that on $n$-vertex graphs equipped with a tree-model (a decomposition notion underlying sd) of depth $d$ and using $k$ labels, we can solve
- Independent Set in time $2^{O(dk)}\cdot n^{O(1)}$ using $O(dk^2\log n)$ space;
- Max Cut in time $n^{O(dk)}$ using $O(dk\log n)$ space; and
- Dominating Set in time $2^{O(dk)}\cdot n^{O(1)}$ using $n^{O(1)}$ space via a randomized algorithm.
We also establish a lower bound, conditional on a certain assumption about the complexity of Longest Common Subsequence, which shows that at least in the case of IS the exponent of the parametric factor in the time complexity has to grow with $d$ if one wishes to keep the space complexity polynomial.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Apertif 1.4 GHz continuum observations of the Boötes field and their combined view with LOFAR
Authors:
A. M. Kutkin,
T. A. Oosterloo,
R. Morganti,
A. R. Offringa,
E. A. K. Adams,
B. Adebahr,
H. Dénes,
K. M. Hess,
J. M. van der Hulst,
W. J. G. de Blok,
A. Bozkurt,
W. A. van Cappellen,
A. W. Gunst,
H. A. Holties,
J. van Leeuwen,
G. M. Loose,
L. C. Oostrum,
D. Vohl,
S. J. Wijnholds,
J. Ziemke
Abstract:
We present a new image of a 26.5 square degree region in the Boötes constellation obtained at 1.4 GHz using the Aperture Tile in Focus (Apertif) system on the Westerbork Synthesis Radio Telescope. We use a newly developed processing pipeline which includes direction-dependent self-calibration which provides a significant improvement of the quality of the images compared to those released as part o…
▽ More
We present a new image of a 26.5 square degree region in the Boötes constellation obtained at 1.4 GHz using the Aperture Tile in Focus (Apertif) system on the Westerbork Synthesis Radio Telescope. We use a newly developed processing pipeline which includes direction-dependent self-calibration which provides a significant improvement of the quality of the images compared to those released as part of the Apertif first data release. For the Boötes region, we mosaic 187 Apertif images and extract a source catalog. The mosaic image has an angular resolution of 27${\times}$11.5 arcseconds and a median background noise of 40 $μ$Jy/beam. The catalog has 8994 sources and is complete down to the 0.3 mJy level. We combine the Apertif image with LOFAR images of the Boötes field at 54 and 150 MHz to study spectral properties of the sources. We find a spectral flattening towards low flux density sources. Using the spectral index limits from Apertif non-detections we derive that up to 9 percent of the sources have ultra-steep spectra with a slope steeper than -1.2. Steepening of the spectral index with increasing redshift is also seen in the data showing a different dependency for the low-frequency spectral index and the high frequency one. This can be explained by a population of sources having concave radio spectra with a turnover frequency around the LOFAR band. Additionally, we discuss cases of individual extended sources with an interesting resolved spectral structure. With the improved pipeline, we aim to continue processing data from the Apertif wide-area surveys and release the improved 1.4 GHz images of several famous fields.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
The Green Bank North Celestial Cap Survey. VIII. 21 New Pulsar Timing Solutions
Authors:
William Fiore,
Lina Levin,
Maura A. McLaughlin,
Akash Anumarlapudi,
David L. Kaplan,
Joseph K. Swiggum,
Gabriella Y. Agazie,
Robert Bavisotto,
Pragya Chawla,
Megan E. DeCesar,
Timothy Dolch,
Emmanuel Fonseca,
Victoria M. Kaspi,
Zachary Komassa,
Vlad I. Kondratiev,
Joeri van Leeuwen,
Evan F. Lewis,
Ryan S. Lynch,
Alexander E. McEwen,
Rusty Mundorf,
Hind Al Noori,
Emilie Parent,
Ziggy Pleunis,
Scott M. Ransom,
Xavier Siemens
, et al. (4 additional authors not shown)
Abstract:
We present timing solutions for 21 pulsars discovered in 350 MHz surveys using the Green Bank Telescope (GBT). All were discovered in the Green Bank North Celestial Cap pulsar survey, with the exception of PSR J0957-0619, which was found in the GBT 350 MHz Drift-scan pulsar survey. The majority of our timing observations were made with the GBT at 820 MHz. With a spin period of 37 ms and a 528-day…
▽ More
We present timing solutions for 21 pulsars discovered in 350 MHz surveys using the Green Bank Telescope (GBT). All were discovered in the Green Bank North Celestial Cap pulsar survey, with the exception of PSR J0957-0619, which was found in the GBT 350 MHz Drift-scan pulsar survey. The majority of our timing observations were made with the GBT at 820 MHz. With a spin period of 37 ms and a 528-day orbit, PSR J0032+6946 joins a small group of five other mildly recycled wide binary pulsars, for which the duration of recycling through accretion is limited by the length of the companion's giant phase. PSRs J0141+6303 and J1327+3423 are new disrupted recycled pulsars. We incorporate Arecibo observations from the NANOGrav pulsar timing array into our analysis of the latter. We also observed PSR J1327+3423 with the Long Wavelength Array, and our data suggest a frequency-dependent dispersion measure. PSR J0957-0619 was discovered as a rotating radio transient, but is a nulling pulsar at 820 MHz. PSR J1239+3239 is a new millisecond pulsar (MSP) in a 4-day orbit with a low-mass companion. Four of our pulsars already have published timing solutions, which we update in this work: the recycled wide binary PSR J0214+5222, the non-eclipsing black widow PSR J0636+5128, the disrupted recycled pulsar J1434+7257, and the eclipsing binary MSP J1816+4510, which is in an 8.7 hr orbit with a redback-mass companion.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
Noise calibration for the stochastic rotating shallow water model
Authors:
Dan Crisan,
Oana Lang,
Alexander Lobbe,
Peter Jan van Leeuwen,
Roland Potthast
Abstract:
Stochastic partial differential equations have been used in a variety of contexts to model the evolution of uncertain dynamical systems. In recent years, their applications to geophysical fluid dynamics has increased massively. For a judicious usage in modelling fluid evolution, one needs to calibrate the amplitude of the noise to data. In this paper we address this requirement for the stochastic…
▽ More
Stochastic partial differential equations have been used in a variety of contexts to model the evolution of uncertain dynamical systems. In recent years, their applications to geophysical fluid dynamics has increased massively. For a judicious usage in modelling fluid evolution, one needs to calibrate the amplitude of the noise to data. In this paper we address this requirement for the stochastic rotating shallow water (SRSW) model. This work is a continuation of [LvLCP23], where a data assimilation methodology has been introduced for the SRSW model. The noise used in [LvLCP23] was introduced as an arbitrary random phase shift in the Fourier space. This is not necessarily consistent with the uncertainty induced by a model reduction procedure. In this paper, we introduce a new method of noise calibration of the SRSW model which is compatible with the model reduction technique. The method is generic and can be applied to arbitrary stochastic parametrizations. It is also agnostic as to the source of data (real or synthetic). It is based on a principal component analysis technique to generate the eigenvectors and the eigenvalues of the covariance matrix of the stochastic parametrization. For SRSW model covered in this paper, we calibrate the noise by using the elevation variable of the model, as this is an observable easily obtainable in practical application, and use synthetic data as input for the calibration procedure.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem
Authors:
Hans L. Bodlaender,
Matthew Johnson,
Barnaby Martin,
Jelle J. Oostveen,
Sukanya Pandey,
Daniel Paulusma,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of many problems on $H$-subgraph-free graphs. However, in contrast to e.g. the related Steiner Tree problem, Steiner Forest falls outside this framework. Hence, the…
▽ More
We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of many problems on $H$-subgraph-free graphs. However, in contrast to e.g. the related Steiner Tree problem, Steiner Forest falls outside this framework. Hence, the complexity of Steiner Forest on $H$-subgraph-free graphs remained tantalizingly open. In this paper, we make significant progress towards determining the complexity of Steiner Forest on $H$-subgraph-free graphs. Our main results are four novel polynomial-time algorithms for different excluded graphs $H$ that are central to further understand its complexity. Along the way, we study the complexity of Steiner Forest for graphs with a small $c$-deletion set, that is, a small set $S$ of vertices such that each component of $G-S$ has size at most $c$. Using this parameter, we give two noteworthy algorithms that we later employ as subroutines. First, we prove Steiner Forest is FPT parameterized by $|S|$ when $c=1$ (i.e. the vertex cover number). Second, we prove Steiner Forest is polynomial-time solvable for graphs with a 2-deletion set of size at most 2. The latter result is tight, as the problem is NP-complete for graphs with a 3-deletion set of size 2.
△ Less
Submitted 15 October, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Complexity Framework for Forbidden Subgraphs III: When Problems are Tractable on Subcubic Graphs
Authors:
Matthew Johnson,
Barnaby Martin,
Sukanya Pandey,
Daniël Paulusma,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of $\mathcal{H}$-subgraph-free graphs. We continue this work an…
▽ More
For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity is determined on classes of $\mathcal{H}$-subgraph-free graphs. We continue this work and focus on problems that have polynomial-time solutions on classes that have bounded treewidth or maximum degree at most~$3$ and examine their complexity on $H$-subgraph-free graph classes where $H$ is a connected graph. With this approach, we obtain comprehensive classifications for (Independent) Feedback Vertex Set, Connected Vertex Cover, Colouring and Matching Cut. This resolves a number of open problems.
We highlight that, to establish that Independent Feedback Vertex Set belongs to this collection of problems, we first show that it can be solved in polynomial time on graphs of maximum degree $3$. We demonstrate that, with the exception of the complete graph on four vertices, each graph in this class has a minimum size feedback vertex set that is also an independent set.
△ Less
Submitted 1 May, 2023;
originally announced May 2023.
-
New upper limits on low-frequency radio emission from isolated neutron stars with LOFAR
Authors:
Inés Pastor-Marazuela,
Samayra M. Straal,
Joeri van Leeuwen,
Vlad I. Kondratiev
Abstract:
Neutron stars that show X-ray and $γ$-ray pulsed emission must, somewhere in the magnetosphere, generate electron-positron pairs. Such pairs are also required for radio emission, but then why do a number of these sources appear radio quiet? Here, we carried out a deep radio search towards four such neutron stars that are isolated X-ray/$γ$-ray pulsars but for which no radio pulsations have been de…
▽ More
Neutron stars that show X-ray and $γ$-ray pulsed emission must, somewhere in the magnetosphere, generate electron-positron pairs. Such pairs are also required for radio emission, but then why do a number of these sources appear radio quiet? Here, we carried out a deep radio search towards four such neutron stars that are isolated X-ray/$γ$-ray pulsars but for which no radio pulsations have been detected yet. These sources are 1RXS J141256.0+792204 (Calvera), PSR J1958+2846, PSR J1932+1916 and SGR J1907+0919. Searching at lower radio frequencies, where the radio beam is thought to be wider, increases the chances of detecting these sources, compared to the earlier higher-frequency searches. We thus carried a search for periodic and single-pulse radio emission with the LOFAR radio telescope at 150 MHz. We used the known periods, and searched a wide range of dispersion measures, as the distances are not well constrained. We did not detect pulsed emission from any of the four sources. However, we put very constraining upper limits on the radio flux density at 150 MHz, of $\lesssim$1.4 mJy.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
An interference detection strategy for Apertif based on AOFlagger 3
Authors:
A. R. Offringa,
B. Adebahr,
A. Kutkin,
E. A. K. Adams,
T. A. Oosterloo,
J. M. van der Hulst,
H. Dénes,
C. G. Bassa,
D. L. Lucero,
W. J. G. Blok,
K. M. Hess,
J. van Leeuwen,
G. M. Loose,
Y. Maan,
L. C. Oostrum,
E. Orrú,
D. Vohl,
J. Ziemke
Abstract:
Context. Apertif is a multi-beam receiver system for the Westerbork Synthesis Radio Telescope that operates at 1.1-1.5 GHz, which overlaps with various radio services, resulting in contamination of astronomical signals with radio-frequency interference (RFI). Aims. We analyze approaches to mitigate Apertif interference and design an automated detection procedure for its imaging mode. Using this ap…
▽ More
Context. Apertif is a multi-beam receiver system for the Westerbork Synthesis Radio Telescope that operates at 1.1-1.5 GHz, which overlaps with various radio services, resulting in contamination of astronomical signals with radio-frequency interference (RFI). Aims. We analyze approaches to mitigate Apertif interference and design an automated detection procedure for its imaging mode. Using this approach, we present long-term RFI detection results of over 300 Apertif observations. Methods. Our approach is based on the AOFlagger detection approach. We introduce several new features, including ways to deal with ranges of invalid data (e.g. caused by shadowing) in both the SumThreshold and scale-invariant rank operator steps; pre-calibration bandpass calibration; auto-correlation flagging; and HI flagging avoidance. These methods are implemented in a new framework that uses the Lua language for scripting, which is new in AOFlagger version 3. Results. Our approach removes RFI fully automatically, and is robust and effective enough for further calibration and (continuum) imaging of these data. Analysis of 304 observations show an average of 11.1% of lost data due to RFI with a large spread. We observe 14.6% RFI in auto-correlations. Computationally, AOFlagger achieves a throughput of 370 MB/s on a single computing node. Compared to published machine learning results, the method is one to two orders of magnitude faster.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
DeepGlow: an efficient neural-network emulator of physical afterglow models for gamma-ray bursts and gravitational-wave events
Authors:
Oliver M. Boersma,
Joeri van Leeuwen
Abstract:
Gamma-ray bursts (GRBs) and double neutron-star merger gravitational wave events are followed by afterglows that shine from X-rays to radio, and these broadband transients are generally interpreted using analytical models. Such models are relatively fast to execute, and thus easily allow estimates of the energy and geometry parameters of the blast wave, through many trial-and-error model calculati…
▽ More
Gamma-ray bursts (GRBs) and double neutron-star merger gravitational wave events are followed by afterglows that shine from X-rays to radio, and these broadband transients are generally interpreted using analytical models. Such models are relatively fast to execute, and thus easily allow estimates of the energy and geometry parameters of the blast wave, through many trial-and-error model calculations. One problem, however, is that such analytical models do not capture the underlying physical processes as well as more realistic relativistic numerical hydrodynamic (RHD) simulations do. Ideally, those simulations are used for parameter estimation instead, but their computational cost makes this intractable. To this end, we present DeepGlow, a highly efficient neural network architecture trained to emulate a computationally costly RHD-based model of GRB afterglows, to within a few percent accuracy. As a first scientific application, we compare both the emulator and a different analytical model calibrated to RHD simulations, to estimate the parameters of a broadband GRB afterglow. We find consistent results between these two models, and also give further evidence for a stellar wind progenitor environment around this GRB source. DeepGlow fuses simulations that are otherwise too complex to execute over all parameters, to real broadband data of current and future GRB afterglows.
△ Less
Submitted 12 July, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
The Green Bank North Celestial Cap Survey. VII. 12 New Pulsar Timing Solutions
Authors:
Joseph K. Swiggum,
Ziggy Pleunis,
Emilie Parent,
David L. Kaplan,
Maura A. McLaughlin,
Ingrid H. Stairs,
Renée Spiewak,
Gabriella Y. Agazie,
Pragya Chawla,
Megan E. DeCesar,
Timothy Dolch,
William Fiore,
Emmanuel Fonseca,
Alina G. Istrate,
Victoria M. Kaspi,
Vlad I. Kondratiev,
Joeri van Leeuwen,
Lina Levin,
Evan F. Lewis,
Ryan S. Lynch,
Alex E. McEwen,
Hind Al Noori,
Scott M. Ransom,
Xavier Siemens,
Mayuresh Surnis
Abstract:
We present timing solutions for 12 pulsars discovered in the Green Bank North Celestial Cap (GBNCC) 350 MHz pulsar survey, including six millisecond pulsars (MSPs), a double neutron star (DNS) system, and a pulsar orbiting a massive white dwarf companion. Timing solutions presented here include 350 and 820 MHz Green Bank Telescope data from initial confirmation and follow-up as well as a dedicated…
▽ More
We present timing solutions for 12 pulsars discovered in the Green Bank North Celestial Cap (GBNCC) 350 MHz pulsar survey, including six millisecond pulsars (MSPs), a double neutron star (DNS) system, and a pulsar orbiting a massive white dwarf companion. Timing solutions presented here include 350 and 820 MHz Green Bank Telescope data from initial confirmation and follow-up as well as a dedicated timing campaign spanning one year. PSR J1122$-$3546 is an isolated MSP, PSRs J1221$-$0633 and J1317$-$0157 are MSPs in black widow systems and regularly exhibit eclipses, and PSRs J2022+2534 and J2039$-$3616 are MSPs that can be timed with high precision and have been included in pulsar timing array experiments seeking to detect low-frequency gravitational waves. PSRs J1221$-$0633 and J2039$-$3616 have Fermi Large Area Telescope $γ$-ray counterparts and also exhibit significant $γ$-ray pulsations. We measure proper motion for three of the MSPs in this sample and estimate their space velocities, which are typical compared to those of other MSPs. We have detected the advance of periastron for PSR J1018$-$1523 and therefore measure the total mass of the double neutron star system, $m_{\rm tot}=2.3\pm0.3$ M$_{\odot}$. Long-term pulsar timing with data spanning more than one year is critical for classifying recycled pulsars, carrying out detailed astrometry studies, and shedding light on the wealth of information in these systems post-discovery.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs
Authors:
Vadim Lozin,
Barnaby Martin,
Sukanya Pandey,
Daniel Paulusma,
Mark Siggers,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal H}$-subgraph-free graphs (for finite sets ${\cal H}$) for problems that are solvable in polynomial time on graph classes of bounded treewidth, NP-complete on subcub…
▽ More
For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal H}$-subgraph-free graphs (for finite sets ${\cal H}$) for problems that are solvable in polynomial time on graph classes of bounded treewidth, NP-complete on subcubic graphs, and whose NP-hardness is preserved under edge subdivision. While a lot of problems satisfy these conditions, there are also many problems that do not satisfy all three conditions and for which the complexity in ${\cal H}$-subgraph-free graphs is unknown. We study problems for which only the first two conditions of the framework hold (they are solvable in polynomial time on classes of bounded treewidth and NP-complete on subcubic graphs, but NP-hardness is not preserved under edge subdivision). In particular, we make inroads into the classification of the complexity of four such problems: Hamilton Cycle, $k$-Induced Disjoint Paths, $C_5$-Colouring and Star $3$-Colouring. Although we do not complete the classifications, we show that the boundary between polynomial time and NP-complete differs among our problems and also from problems that do satisfy all three conditions of the framework, in particular when we forbid certain subdivisions of the ``H''-graph (the graph that looks like the letter ``H''). Hence, we exhibit a rich complexity landscape among problems for ${\cal H}$-subgraph-free graph classes.
△ Less
Submitted 4 May, 2024; v1 submitted 25 November, 2022;
originally announced November 2022.
-
Complexity Framework For Forbidden Subgraphs I: The Framework
Authors:
Matthew Johnson,
Barnaby Martin,
Jelle J. Oostveen,
Sukanya Pandey,
Daniël Paulusma,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be explained by some common problem conditions. We propose such conditions for $HH$-subgraph-free graphs. For a set of graphs $HH$, a graph $G$ is $HH$-subgraph-fr…
▽ More
For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be explained by some common problem conditions. We propose such conditions for $HH$-subgraph-free graphs. For a set of graphs $HH$, a graph $G$ is $HH$-subgraph-free if $G$ does not contain any of graph from $H$ as a subgraph. Our conditions are easy to state. A graph problem must be efficiently solvable on graphs of bounded treewidth, computationally hard on subcubic graphs, and computational hardness must be preserved under edge subdivision of subcubic graphs. Our meta-classification says that if a graph problem satisfies all three conditions, then for every finite set $HH$, it is ``efficiently solvable'' on $HH$-subgraph-free graphs if $HH$ contains a disjoint union of one or more paths and subdivided claws, and is ``computationally hard'' otherwise. We illustrate the broad applicability of our meta-classification by obtaining a dichotomy between polynomial-time solvability and NP-completeness for many well-known partitioning, covering and packing problems, network design problems and width parameter problems. For other problems, we obtain a dichotomy between almost-linear-time solvability and having no subquadratic-time algorithm (conditioned on some hardness hypotheses). The proposed framework thus gives a simple pathway to determine the complexity of graph problems on $HH$-subgraph-free graphs. This is confirmed even more by the fact that along the way, we uncover and resolve several open questions from the literature.
△ Less
Submitted 20 July, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Edge Multiway Cut and Node Multiway Cut are NP-complete on subcubic graphs
Authors:
Matthew Johnson,
Barnaby Martin,
Siani Smith,
Sukanya Pandey,
Daniel Paulusma,
Erik Jan van Leeuwen
Abstract:
We show that Edge Multiway Cut (also called Multiterminal Cut) and Node Multiway Cut are NP-complete on graphs of maximum degree $3$ (also known as subcubic graphs). This improves on a previous degree bound of $11$. Our NP-completeness result holds even for subcubic graphs that are planar.
We show that Edge Multiway Cut (also called Multiterminal Cut) and Node Multiway Cut are NP-complete on graphs of maximum degree $3$ (also known as subcubic graphs). This improves on a previous degree bound of $11$. Our NP-completeness result holds even for subcubic graphs that are planar.
△ Less
Submitted 9 February, 2024; v1 submitted 22 November, 2022;
originally announced November 2022.
-
First release of Apertif imaging survey data
Authors:
Elizabeth A. K. Adams,
B. Adebahr,
W. J. G. de Blok,
H. Denes,
K. M. Hess,
J. M. van der Hulst,
A. Kutkin,
D. M. Lucero,
R. Morganti,
V. A. Moss,
T. A. Oosterloo,
E. Orru,
R. Schulz,
A. S. van Amesfoort,
A. Berger,
O. M. Boersma,
M. Bouwhuis,
R. van den Brink,
W. A. van Cappellen,
L. Connor,
A. H. W. M. Coolen,
S. Damstra,
G. N. J. van Diepen,
T. J. Dijkema,
N. Ebbendorf
, et al. (34 additional authors not shown)
Abstract:
(Abridged) Apertif is a phased-array feed system for WSRT, providing forty instantaneous beams over 300 MHz of bandwidth. A dedicated survey program started on 1 July 2019, with the last observations taken on 28 February 2022. We describe the release of data products from the first year of survey operations, through 30 June 2020. We focus on defining quality control metrics for the processed data…
▽ More
(Abridged) Apertif is a phased-array feed system for WSRT, providing forty instantaneous beams over 300 MHz of bandwidth. A dedicated survey program started on 1 July 2019, with the last observations taken on 28 February 2022. We describe the release of data products from the first year of survey operations, through 30 June 2020. We focus on defining quality control metrics for the processed data products. The Apertif imaging pipeline, Apercal, automatically produces non-primary beam corrected continuum images, polarization images and cubes, and uncleaned spectral line and dirty beam cubes for each beam of an Apertif imaging observation. For this release, processed data products are considered on a beam-by-beam basis within an observation. We validate the continuum images by using metrics that identify deviations from Gaussian noise in the residual images. If the continuum image passes validation, we release all processed data products for a given beam. We apply further validation to the polarization and line data products. We release all raw observational data from the first year of survey observations, for a total of 221 observations of 160 independent target fields, covering approximately one thousand square degrees of sky. Images and cubes are released on a per beam basis, and 3374 beams are released. The median noise in the continuum images is 41.4 uJy/bm, with a slightly lower median noise of 36.9 uJy/bm in the Stokes V polarization image. The median angular resolution is 11.6"/sin(Dec). The median noise for all line cubes, with a spectral resolution of 36.6 kHz, is 1.6 mJy/bm, corresponding to a 3-sigma HI column density sensitivity of 1.8 x 10^20 atoms cm^-2 over 20 km/s (for a median angular resolution of 24" x 15"). We also provide primary beam images for each individual Apertif compound beam. The data are made accessible using a Virtual Observatory interface.
△ Less
Submitted 22 November, 2022; v1 submitted 10 August, 2022;
originally announced August 2022.
-
Continuum source catalog for the first APERTIF data release
Authors:
A. M. Kutkin,
T. A. Oosterloo,
R. Morganti,
E. A. K. Adams,
M. Mancini,
B. Adebahr,
W. J. G. de Blok,
H. Dénes,
K. M. Hess,
J. M. van der Hulst,
D. M. Lucero,
V. A. Moss,
A. Berger,
R. van den Brink,
W. A. van Cappellen,
L. Connor,
S. Damstra,
G. M. Loose,
J. van Leeuwen,
Y. Maan,
A'. Mika,
M. J. Norden,
A. R. Offringa,
L. C. Oostrum,
D. van der Schuur
, et al. (3 additional authors not shown)
Abstract:
The first data release of Apertif survey contains 3074 radio continuum images covering a thousand square degrees of the sky. The observations were performed during August 2019 to July 2020. The continuum images were produced at a central frequency 1355 MHz with the bandwidth of $\sim$150 MHz and angular resolution reaching 10". In this work we introduce and apply a new method to obtain a primary b…
▽ More
The first data release of Apertif survey contains 3074 radio continuum images covering a thousand square degrees of the sky. The observations were performed during August 2019 to July 2020. The continuum images were produced at a central frequency 1355 MHz with the bandwidth of $\sim$150 MHz and angular resolution reaching 10". In this work we introduce and apply a new method to obtain a primary beam model using a machine learning approach, Gaussian process regression. The primary beam models obtained with this method are published along with the data products for the first Apertif data release. We apply the method to the continuum images, mosaic them and extract the source catalog. The catalog contains 249672 radio sources many of which are detected for the first time at these frequencies. We cross-match the coordinates with the NVSS, LOFAR/DR1/value-added and LOFAR/DR2 catalogs resulting in 44523, 22825 and 152824 common sources respectively. The first sample provides a unique opportunity to detect long term transient sources which have significantly changed their flux density for the last 25 years. The second and the third ones combined together provide information about spectral properties of the sources as well as the redshift estimates.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
Extension of the Uhlenbeck-Ford Model with an Attraction
Authors:
J. M. J. van Leeuwen
Abstract:
The Uhlenbeck-Ford model for soft repulsion, which has only a repulsive interaction, is extended by inclusion of an attraction. This extension still allows an analytical evaluation of the virial coefficients. The integrals over the graph contributions are reduced to a combinatorial problem. We have calculated the virial coefficients to order 6 in the density. A link is made between this model and…
▽ More
The Uhlenbeck-Ford model for soft repulsion, which has only a repulsive interaction, is extended by inclusion of an attraction. This extension still allows an analytical evaluation of the virial coefficients. The integrals over the graph contributions are reduced to a combinatorial problem. We have calculated the virial coefficients to order 6 in the density. A link is made between this model and more common interactions, like the 12-6 Lennard-Jones potential.
△ Less
Submitted 21 July, 2022;
originally announced July 2022.
-
Parameterized Complexity of Streaming Diameter and Connectivity Problems
Authors:
Jelle J. Oostveen,
Erik Jan van Leeuwen
Abstract:
We initiate the investigation of the parameterized complexity of Diameter and Connectivity in the streaming paradigm. On the positive end, we show that knowing a vertex cover of size $k$ allows for algorithms in the Adjacency List (AL) streaming model whose number of passes is constant and memory is $O(\log n)$ for any fixed $k$. Underlying these algorithms is a method to execute a breadth-first s…
▽ More
We initiate the investigation of the parameterized complexity of Diameter and Connectivity in the streaming paradigm. On the positive end, we show that knowing a vertex cover of size $k$ allows for algorithms in the Adjacency List (AL) streaming model whose number of passes is constant and memory is $O(\log n)$ for any fixed $k$. Underlying these algorithms is a method to execute a breadth-first search in $O(k)$ passes and $O(k \log n)$ bits of memory. On the negative end, we show that many other parameters lead to lower bounds in the AL model, where $Ω(n/p)$ bits of memory is needed for any $p$-pass algorithm even for constant parameter values. In particular, this holds for graphs with a known modulator (deletion set) of constant size to a graph that has no induced subgraph isomorphic to a fixed graph $H$, for most $H$. For some cases, we can also show one-pass, $Ω(n \log n)$ bits of memory lower bounds. We also prove a much stronger $Ω(n^2/p)$ lower bound for Diameter on bipartite graphs.
Finally, using the insights we developed into streaming parameterized graph exploration algorithms, we show a new streaming kernelization algorithm for computing a vertex cover of size $k$. This yields a kernel of $2k$ vertices (with $O(k^2)$ edges) produced as a stream in $\text{poly}(k)$ passes and only $O(k \log n)$ bits of memory.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Particle Filtering and Gaussian Mixtures -- On a Localized Mixture Coefficients Particle Filter (LMCPF) for global NWP
Authors:
Anne Rojahn,
Nora Schenk,
Peter Jan van Leeuwen,
Roland Potthast
Abstract:
In a global numerical weather prediction (NWP) modeling framework we study the implementation of Gaussian uncertainty of individual particles into the assimilation step of a localized adaptive particle filter (LAPF). We obtain a local representation of the prior distribution as a mixture of basis functions. In the assimilation step, the filter calculates the individual weight coefficients and new…
▽ More
In a global numerical weather prediction (NWP) modeling framework we study the implementation of Gaussian uncertainty of individual particles into the assimilation step of a localized adaptive particle filter (LAPF). We obtain a local representation of the prior distribution as a mixture of basis functions. In the assimilation step, the filter calculates the individual weight coefficients and new particle locations. It can be viewed as a combination of the LAPF and a localized version of a Gaussian mixture filter, i.e., a Localized Mixture Coefficients Particle Filter (LMCPF).
Here, we investigate the feasibility of the LMCPF within a global operational framework and evaluate the relationship between prior and posterior distributions and observations. Our simulations are carried out in a standard pre-operational experimental set-up with the full global observing system, 52 km global resolution and $10^6$ model variables. Statistics of particle movement in the assimilation step are calculated. The mixture approach is able to deal with the discrepancy between prior distributions and observation location in a real-world framework and to pull the particles towards the observations in a much better way than the pure LAPF. This shows that using Gaussian uncertainty can be an important tool to improve the analysis and forecast quality in a particle filter framework.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Seeing the forest and the trees: a radio investigation of the ULIRG Mrk 273
Authors:
Pranav Kukreti,
Raffaella Morganti,
Marco Bondi,
Tom Oosterloo,
Clive Tadhunter,
Leah K. Morabito,
E. A. K. Adams,
B. Adebahr,
W. J. G. de Blok,
F. de Gasperin,
A. Drabent,
K. M. Hess,
M. V. Ivashina,
A. Kutkin,
Á. M. Mika,
Leon Oostrum,
T. W. Shimwell,
J. M. van der Hulst,
Joeri van Leeuwen,
R. J. van Weeren,
Dany Vohl,
J. Ziemke
Abstract:
Galaxy mergers have been observed to trigger nuclear activity by feeding gas to the central supermassive black hole. One such class of objects are Ultra Luminous InfraRed Galaxies (ULIRGs), which are mostly late stage major mergers of gas-rich galaxies. Recently, large-scale ($\sim$100 kpc) radio continuum emission has been detected in a select number of ULIRGs, all of which also harbour powerful…
▽ More
Galaxy mergers have been observed to trigger nuclear activity by feeding gas to the central supermassive black hole. One such class of objects are Ultra Luminous InfraRed Galaxies (ULIRGs), which are mostly late stage major mergers of gas-rich galaxies. Recently, large-scale ($\sim$100 kpc) radio continuum emission has been detected in a select number of ULIRGs, all of which also harbour powerful Active Galactic Nuclei (AGN). This hints at the presence of large-scale radio emission being evidence for nuclear activity. Exploring the origin of this radio emission and its link to nuclear activity requires high sensitivity multi-frequency data. We present such an analysis of the ULIRG Mrk 273. Using the International LOFAR telescope (ILT), we detected spectacular large-scale arcs in this system. This detection includes, for the first time, a giant $\sim$190 kpc arc in the north. We propose these arcs are fuelled by a low power radio AGN triggered by the merger. We also identified a bright $\sim$45 kpc radio ridge, which is likely related to the ionised gas nebula in that region. We combined this with high sensitivity data from APERture Tile In Focus (Apertif) and archival data from the Very Large Array (VLA) to explore the spectral properties. The ILT simultaneously allowed us to probe the nucleus at a resolution of $\sim$0.3 arcsec, where we detected three components, and, for the first time, diffuse emission around these components. Combining this with archival high frequency VLA images of the nucleus allowed us to detect absorption in one component, and a steep spectrum radio AGN in another. We then extrapolate from this case study to the importance of investigating the presence of radio emission in more ULIRGs and what it can tell us about the link between mergers and the presence of radio activity.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
MeerKAT observations of the reversing drifting subpulses in PSR J1750-3503
Authors:
Andrzej Szary,
Joeri van Leeuwen,
Geoff Wright,
Patrick Weltevrede,
Crispin H. Agar,
Caterina Tiburzi,
Yogesh Maan,
Michael J. Keith
Abstract:
We present an analysis of the subpulse drift in PSR J1750-3503, which is characterized by abrupt transitions of drift direction. As the pulsar does not exhibit other mode changes or clear nulling, it is an ideal candidate system for studying the phenomenon of drift direction change. For $\sim 80\%$ of the time the subpulses are characterized by positive drift - from early to later longitudes - whi…
▽ More
We present an analysis of the subpulse drift in PSR J1750-3503, which is characterized by abrupt transitions of drift direction. As the pulsar does not exhibit other mode changes or clear nulling, it is an ideal candidate system for studying the phenomenon of drift direction change. For $\sim 80\%$ of the time the subpulses are characterized by positive drift - from early to later longitudes - while the drift direction is negative in the other $\sim 20\%$. The subpulse separation for single pulses with positive drift, $P_2=(18.8\pm 0.1)^{\circ}$, is higher then for single pulses with negative drift, $P_2=(17.5\pm 0.2)^{\circ}$. When the drift is stable, the measured repetition time of the drift pattern is $P_3^{\rm obs}=(43.5 \pm 0.4) P$, where $P$ is pulsar period. We show that the observed data can be reproduced by a carousel models with subpulse rotation around the magnetic axis using purely dipolar configuration of surface magnetic field. The observed drift characteristics can be modeled assuming that the actual repetition time $P_3<2P$, such that we observe its aliased value. A small variation in $P_3$, of the order of $6\%$ (or less assuming higher alias orders), is enough to reproduce the characteristic drift direction changes we observe.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
The Apertif Radio Transient System (ARTS): Design, Commissioning, Data Release, and Detection of the first 5 Fast Radio Bursts
Authors:
Joeri van Leeuwen,
Eric Kooistra,
Leon Oostrum,
Liam Connor,
J. E. Hargreaves,
Yogesh Maan,
Inés Pastor-Marazuela,
Emily Petroff,
Daniel van der Schuur,
Alessio Sclocco,
Samayra M. Straal,
Dany Vohl,
Stefan J. Wijnholds,
Elizabeth A. K. Adams,
Björn Adebahr,
Jisk Attema,
Cees Bassa,
Jeanette E. Bast,
Anna Bilous,
W. J. G. de Blok,
Oliver M. Boersma,
Wim A. van Cappellen,
Arthur H. W. M. Coolen,
Sieds Damstra,
Helga Dénes
, et al. (27 additional authors not shown)
Abstract:
Fast Radio Bursts must be powered by uniquely energetic emission mechanisms. This requirement has eliminated a number of possible source types, but several remain. Identifying the physical nature of Fast Radio Burst (FRB) emitters arguably requires good localisation of more detections, and broadband studies enabled by real-time alerting. We here present the Apertif Radio Transient System (ARTS), a…
▽ More
Fast Radio Bursts must be powered by uniquely energetic emission mechanisms. This requirement has eliminated a number of possible source types, but several remain. Identifying the physical nature of Fast Radio Burst (FRB) emitters arguably requires good localisation of more detections, and broadband studies enabled by real-time alerting. We here present the Apertif Radio Transient System (ARTS), a supercomputing radio-telescope instrument that performs real-time FRB detection and localisation on the Westerbork Synthesis Radio Telescope (WSRT) interferometer. It reaches coherent-addition sensitivity over the entire field of the view of the primary dish beam. After commissioning results verified the system performed as planned, we initiated the Apertif FRB survey (ALERT). Over the first 5 weeks we observed at design sensitivity in 2019, we detected 5 new FRBs, and interferometrically localised each of these to 0.4--10 sq. arcmin. All detections are broad band and very narrow, of order 1 ms duration, and unscattered. Dispersion measures are generally high. Only through the very high time and frequency resolution of ARTS are these hard-to-find FRBs detected, producing an unbiased view of the intrinsic population properties. Most localisation regions are small enough to rule out the presence of associated persistent radio sources. Three FRBs cut through the halos of M31 and M33. We demonstrate that Apertif can localise one-off FRBs with an accuracy that maps magneto-ionic material along well-defined lines of sight. The rate of 1 every ~7 days next ensures a considerable number of new sources are detected for such study. The combination of detection rate and localisation accuracy exemplified by the 5 first ARTS FRBs thus marks a new phase in which a growing number of bursts can be used to probe our Universe.
△ Less
Submitted 1 February, 2023; v1 submitted 24 May, 2022;
originally announced May 2022.
-
Characterising the Apertif primary beam response
Authors:
H. Dénes,
K. M. Hess,
E. A. K. Adams,
A. Kutkin,
R. Morganti,
J. M. van der Hulst,
T. A. Oosterloo,
V. A. Moss,
B. Adebahr,
W. J. G. de Blok,
M. V. Ivashina,
A. H. W. M. Coolen,
S. Damstra,
B. Hut,
G. M. Loose,
D. M. Lucero,
Y. Maan,
Á. Mika,
M. J. Norden,
L. C. Oostrum,
D. J. Pisano,
R. Smits,
W. A. van Cappellen,
R. van den Brink,
D. van der Schuur
, et al. (5 additional authors not shown)
Abstract:
Context. Phased Array Feeds (PAFs) are multi element receivers in the focal plane of a telescope that make it possible to form simultaneously multiple beams on the sky by combining the complex gains of the individual antenna elements. Recently the Westerbork Synthesis Radio Telescope (WSRT) was upgraded with PAF receivers and carried out several observing programs including two imaging surveys and…
▽ More
Context. Phased Array Feeds (PAFs) are multi element receivers in the focal plane of a telescope that make it possible to form simultaneously multiple beams on the sky by combining the complex gains of the individual antenna elements. Recently the Westerbork Synthesis Radio Telescope (WSRT) was upgraded with PAF receivers and carried out several observing programs including two imaging surveys and a time domain survey. The Apertif imaging surveys use a configuration, where 40 partially overlap** compound beams (CBs) are simultaneously formed on the sky and arranged in an approximately rectangular shape. Aims. This manuscript aims to characterise the response of the 40 Apertif CBs to create frequency-resolved, I, XX and YY polarization empirical beam shapes. The measured CB maps can be used for image deconvolution, primary beam correction and mosaicing of Apertif imaging data. Methods. We use drift scan measurements to measure the response of each of the 40 CBs of Apertif. We derive beam maps for all individual beams in I, XX and YY polarisation in 10 or 18 frequency bins over the same bandwidth as the Apertif imaging surveys. We sample the main lobe of the beams and the side lobes up to a radius of 0.6 degrees from the beam centres. In addition, we derive beam maps for each individual WSRT dish as well. Results. We present the frequency and time dependence of the beam shapes and sizes. We compare the compound beam shapes derived with the drift scan method to beam shapes derived with an independent method using a Gaussian Process Regression comparison between the Apertif continuum images and the NRAO VLA Sky Survey (NVSS) catalogue. We find a good agreement between the beam shapes derived with the two independent methods.
△ Less
Submitted 2 August, 2022; v1 submitted 19 May, 2022;
originally announced May 2022.
-
The Apertif science verification campaign - Characteristics of polarised radio sources
Authors:
B. Adebahr,
A. Berger,
E. A. K. Adams,
K. M. Hess,
W. J. G. de Blok,
H. Dénes,
V. A. Moss,
R. Schulz,
J. M. van der Hulst,
L. Connor,
S. Damstra,
B. Hut,
M. V. Ivashina,
G. M. Loose,
Y. Maan,
A. Mika,
H. Mulder,
M. J. Norden,
L. C. Oostrum,
E. Orrú,
M. Ruiter,
R. Smits,
W. A. van Cappellen,
J. van Leeuwen,
N. J. Vermaas
, et al. (2 additional authors not shown)
Abstract:
We analyse five early science datasets from the APERture Tile in Focus (Apertif) phased array feed system to verify the polarisation capabilities of Apertif in view of future larger data releases. We aim to characterise the source population of the polarised sky in the L-Band using polarised source information in combination with IR and optical data. We use automatic routines to generate full fiel…
▽ More
We analyse five early science datasets from the APERture Tile in Focus (Apertif) phased array feed system to verify the polarisation capabilities of Apertif in view of future larger data releases. We aim to characterise the source population of the polarised sky in the L-Band using polarised source information in combination with IR and optical data. We use automatic routines to generate full field-of-view Q- and U-cubes and perform RM-Synthesis, source finding, and cross-matching with published radio, optical, and IR data to generate polarised source catalogues. SED-fitting routines were used to determine photometric redshifts, star-formation rates, and galaxy masses. IR colour information was used to classify sources as AGN or star-forming-dominated and early- or late-type. We surveyed an area of 56deg$^2$ and detected 1357 polarised source components in 1170 sources. The fraction of polarised sources is 10.57% with a median fractional polarisation of 4.70$\pm$0.14%. We confirmed the reliability of the Apertif measurements by comparing them with polarised cross-identified NVSS sources. Average RMs of the individual fields lie within the error of the best Milky Way foreground measurements. All of our polarised sources were found to be dominated by AGN activity in the radio regime with most of them being radio-loud (79%) and of the FRII class (87%). The host galaxies of our polarised source sample are dominated by intermediate disc and star-forming disc galaxies. The contribution of star formation to the radio emission is on the order of a few percent for $\approx$10% of the polarised sources while for $\approx$90% it is completely dominated by the AGN. We do not see any change in fractional polarisation for different star-formation rates of the AGN host galaxies.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Tone generation in an open-end organ pipe: How a resonating sphere of air stops the pipe
Authors:
Bernhardt H. Edskes,
David T. Heider,
Johan L. van Leeuwen,
Bernhard U. Seeber,
J. Leo van Hemmen
Abstract:
According to the classical Helmholtz picture, an organ pipe while generating its eigentone has two anti-nodes at the two open ends of a cylinder, the anti-nodes being taken as boundary condition for the corresponding sound. Since 1860 it is also known that according to the classical picture the pipe actually sounds lower, which is to say that the pipe so-to-speak sounds longer than it is, a long-s…
▽ More
According to the classical Helmholtz picture, an organ pipe while generating its eigentone has two anti-nodes at the two open ends of a cylinder, the anti-nodes being taken as boundary condition for the corresponding sound. Since 1860 it is also known that according to the classical picture the pipe actually sounds lower, which is to say that the pipe so-to-speak sounds longer than it is, a long-standing enigma. As for the pipe's end, we have resolved this acoustic enigma by detailing the physics of the airflow at the pipe's open end and showing that the boundary condition is actually the pipe's acoustically resonating vortical sphere (PARVS). The PARVS geometry entails a sound-radiating hemisphere based on the pipe's open end and enclosing a vortex ring. In this way we obtain not only a physical explanation of sound radiation from the organ-pipe's open end, in particular, of its puzzling dependence upon the pipe's radius, but also an appreciation of it as realization of the sound of the flute, mankind's oldest musical instrument.
△ Less
Submitted 6 April, 2022; v1 submitted 28 March, 2022;
originally announced March 2022.
-
Few Induced Disjoint Paths for $H$-Free Graphs
Authors:
Barnaby Martin,
Daniël Paulusma,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
Paths $P^1,\ldots,P^k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P^i$ and $P^j$ have neither common vertices nor adjacent vertices. For a fixed integer $k$, the $k$-Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P^i$ such that each $P^i$ starts from $s_i$ and ends at $t_i$. Wherea…
▽ More
Paths $P^1,\ldots,P^k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P^i$ and $P^j$ have neither common vertices nor adjacent vertices. For a fixed integer $k$, the $k$-Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P^i$ such that each $P^i$ starts from $s_i$ and ends at $t_i$. Whereas the non-induced version is well-known to be polynomial-time solvable for every fixed integer $k$, a classical result from the literature states that even $2$-Induced Disjoint Paths is NP-complete. We prove new complexity results for $k$-Induced Disjoint Paths if the input is restricted to $H$-free graphs, that is, graphs without a fixed graph $H$ as an induced subgraph. We compare our results with a complexity dichotomy for Induced Disjoint Paths, the variant where $k$ is part of the input.
△ Less
Submitted 13 June, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
Induced Disjoint Paths and Connected Subgraphs for $H$-Free Graphs
Authors:
Barnaby Martin,
Daniël Paulusma,
Siani Smith,
Erik Jan van Leeuwen
Abstract:
Paths $P_1,\ldots, P_k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P_i$ and $P_j$ have neither common vertices nor adjacent vertices. The Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P_i$ such that each $P_i$ starts from $s_i$ and ends at $t_i$. This is a classical graph problem…
▽ More
Paths $P_1,\ldots, P_k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P_i$ and $P_j$ have neither common vertices nor adjacent vertices. The Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P_i$ such that each $P_i$ starts from $s_i$ and ends at $t_i$. This is a classical graph problem that is NP-complete even for $k=2$. We introduce a natural generalization, Induced Disjoint Connected Subgraphs: instead of connecting pairs of terminals, we must connect sets of terminals. We give almost-complete dichotomies of the computational complexity of both problems for H-free graphs, that is, graphs that do not contain some fixed graph H as an induced subgraph. Finally, we give a complete classification of the complexity of the second problem if the number k of terminal sets is fixed, that is, not part of the input.
△ Less
Submitted 17 July, 2022; v1 submitted 23 February, 2022;
originally announced February 2022.
-
A fast radio burst with sub-millisecond quasi-periodic structure
Authors:
Inés Pastor-Marazuela,
Joeri van Leeuwen,
Anna Bilous,
Liam Connor,
Yogesh Maan,
Leon Oostrum,
Emily Petroff,
Samayra Straal,
Dany Vohl,
E. A. K. Adams,
B. Adebahr,
Jisk Attema,
Oliver M. Boersma,
R. van den Brink,
W. A. van Cappellen,
A. H. W. M. Coolen,
S. Damstra,
H. Dénes,
K. M. Hess,
J. M. van der Hulst,
B. Hut,
A. Kutkin,
G. Marcel Loose,
D. M. Lucero,
Á. Mika
, et al. (9 additional authors not shown)
Abstract:
Fast radio bursts (FRBs) are extragalactic radio transients of extraordinary luminosity. Studying the diverse temporal and spectral behaviour recently observed in a number of FRBs may help determine the nature of the entire class. For example, a fast spinning or highly magnetised neutron star might generate the rotation-powered acceleration required to explain the bright emission. Periodic, sub-se…
▽ More
Fast radio bursts (FRBs) are extragalactic radio transients of extraordinary luminosity. Studying the diverse temporal and spectral behaviour recently observed in a number of FRBs may help determine the nature of the entire class. For example, a fast spinning or highly magnetised neutron star might generate the rotation-powered acceleration required to explain the bright emission. Periodic, sub-second components, suggesting such rotation, were recently reported in one FRB, and potentially in two more. Here we report the discovery of FRB 20201020A with Apertif, an FRB showing five components regularly spaced by 0.415 ms. This sub-millisecond structure in FRB 20201020A carries important clues about the progenitor of this FRB specifically, and potentially about that of FRBs in general. We thus contrast its features to the predictions of the main FRB source models. We perform a timing analysis of the FRB 20201020A components to determine the significance of the periodicity. We compare these against the timing properties of the previously reported CHIME FRBs with sub-second quasi-periodic components, and against two Apertif bursts from repeating FRB 20180916B that show complex time-frequency structure. We find the periodicity of FRB 20201020A to be marginally significant at 2.5$σ$. Its repeating subcomponents cannot be explained as a pulsar rotation since the required spin rate of over 2 kHz exceeds the limits set by typical neutron star equations of state and observations. The fast periodicity is also in conflict with a compact object merger scenario. These quasi-periodic components could, however, be caused by equidistant emitting regions in the magnetosphere of a magnetar. The sub-millisecond spacing of the components in FRB 20201020A, the smallest observed so far in a one-off FRB, may rule out both neutron-star rotation and binary mergers as the direct source of quasi-periodic FRBs.
△ Less
Submitted 16 February, 2022;
originally announced February 2022.
-
Investigating the detection rates and inference of gravitational-wave and radio emission from black hole neutron star mergers
Authors:
Oliver M. Boersma,
Joeri van Leeuwen
Abstract:
Black hole neutron star (BHNS) mergers have recently been detected through their gravitational-wave (GW) emission. BHNS mergers could also produce electromagnetic (EM) emission as a short gamma-ray burst (sGRB), and/or an sGRB afterglow upon interaction with the circummerger medium. Here, we make predictions for the expected detection rates with the Square Kilometre Array Phase 1 (SKA1) of sGRB ra…
▽ More
Black hole neutron star (BHNS) mergers have recently been detected through their gravitational-wave (GW) emission. BHNS mergers could also produce electromagnetic (EM) emission as a short gamma-ray burst (sGRB), and/or an sGRB afterglow upon interaction with the circummerger medium. Here, we make predictions for the expected detection rates with the Square Kilometre Array Phase 1 (SKA1) of sGRB radio afterglows associated with BHNS mergers. We also investigate the benefits of a multimessenger analysis in inferring the properties of the merging binary. We simulate a population of BHNS mergers and estimate their sGRB afterglow flux to obtain the detection rates with SKA1. We investigate how this rate depends on the GW detector sensitivity, the primary black hole (BH) spin, and the neutron star equation of state. We then perform a multimessenger Bayesian inference study on a fiducial BHNS merger. We simulate its sGRB afterglow and GW emission and take systematic errors into account. The expected rates of a combined GW and radio detection with the current generation GW detectors are likely low. Due to the much increased sensitivity of future GW detectors like the Einstein Telescope, the chances of an sGRB localisation and radio detection increase substantially. The unknown distribution of the BH spin has a big influence on the detection rates, however, and it is a large source of uncertainty. Furthermore, for our fiducial BHNS merger we are able to infer both the binary source parameters as well as the parameters of the sGRB afterglow simultaneously when combining the GW and radio data. The radio data provides useful extra information on the binary parameters such as the mass ratio but this is limited by the systematic errors involved. A better understanding of the systematics will further increase the amount of information on the binary parameters that can be extracted from this radio data.
△ Less
Submitted 19 September, 2022; v1 submitted 4 February, 2022;
originally announced February 2022.
-
Bayesian Inference for Fluid Dynamics: A Case Study for the Stochastic Rotating Shallow Water Model
Authors:
Peter Jan van Leeuwen,
Dan Crisan,
Oana Lang,
Roland Potthast
Abstract:
In this work, we use a tempering-based adaptive particle filter to infer from a partially observed stochastic rotating shallow water (SRSW) model which has been derived using the Stochastic Advection by Lie Transport (SALT) approach. The methodology we present here validates the applicability of tempering and sample regeneration via a Metropolis-Hastings algorithm to high-dimensional models used i…
▽ More
In this work, we use a tempering-based adaptive particle filter to infer from a partially observed stochastic rotating shallow water (SRSW) model which has been derived using the Stochastic Advection by Lie Transport (SALT) approach. The methodology we present here validates the applicability of tempering and sample regeneration via a Metropolis-Hastings algorithm to high-dimensional models used in stochastic fluid dynamics. The methodology is first tested on the Lorenz '63 model with both full and partial observations. Then we discuss the efficiency of the particle filter the SALT-SRSW model.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
Apercal -- The Apertif Calibration Pipeline
Authors:
B. Adebahr,
R. Schulz,
T. J. Dijkema,
V. A. Moss,
A. R. Offringa,
A. Kutkin,
J. M. van der Hulst,
B. S. Frank,
N. P. E. Vilchez,
J. Verstappen,
E. K. Adams,
W. J. G. de Blok,
H. Denes,
K. M. Hess,
D. Lucero,
R. Morganti,
T. Oosterloo,
D. -J. Pisano,
M. V. Ivashina,
W. A. van Cappellen,
L. D. Connor,
A. H. W. M. Coolen,
S. Damstra,
G. M. Loose,
Y. Maan
, et al. (11 additional authors not shown)
Abstract:
Apertif (APERture Tile In Focus) is one of the Square Kilometre Array (SKA) pathfinder facilities. The Apertif project is an upgrade to the 50-year-old Westerbork Synthesis Radio Telescope (WSRT) using phased-array feed technology. The new receivers create 40 individual beams on the sky, achieving an instantaneous sky coverage of 6.5 square degrees. The primary goal of the Apertif Imaging Survey i…
▽ More
Apertif (APERture Tile In Focus) is one of the Square Kilometre Array (SKA) pathfinder facilities. The Apertif project is an upgrade to the 50-year-old Westerbork Synthesis Radio Telescope (WSRT) using phased-array feed technology. The new receivers create 40 individual beams on the sky, achieving an instantaneous sky coverage of 6.5 square degrees. The primary goal of the Apertif Imaging Survey is to perform a wide survey of 3500 square degrees (AWES) and a medium deep survey of 350 square degrees (AMES) of neutral atomic hydrogen (up to a redshift of 0.26), radio continuum emission and polarisation. Each survey pointing yields 4.6 TB of correlated data. The goal of Apercal is to process this data and fully automatically generate science ready data products for the astronomical community while kee** up with the survey observations. We make use of common astronomical software packages in combination with Python based routines and parallelisation. We use an object oriented module-based approach to ensure easy adaptation of the pipeline. A Jupyter notebook based framework allows user interaction and execution of individual modules as well as a full automatic processing of a complete survey observation. If nothing interrupts processing, we are able to reduce a single pointing survey observation on our five node cluster with 24 physical cores and 256 GB of memory each within 24h kee** up with the speed of the surveys. The quality of the generated images is sufficient for scientific usage for 44 % of the recorded data products with single images reaching dynamic ranges of several thousands. Future improvements will increase this percentage to over 80 %. Our design allowed development of the pipeline in parallel to the commissioning of the Apertif system.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Streaming Deletion Problems Parameterized by Vertex Cover
Authors:
Jelle J. Oostveen,
Erik Jan van Leeuwen
Abstract:
Streaming is a model where an input graph is provided one edge at a time, instead of being able to inspect it at will. In this work, we take a parameterized approach by assuming a vertex cover of the graph is given, building on work of Bishnu et al. [COCOON 2020]. We show the further potency of combining this parameter with the Adjacency List streaming model to obtain results for vertex deletion p…
▽ More
Streaming is a model where an input graph is provided one edge at a time, instead of being able to inspect it at will. In this work, we take a parameterized approach by assuming a vertex cover of the graph is given, building on work of Bishnu et al. [COCOON 2020]. We show the further potency of combining this parameter with the Adjacency List streaming model to obtain results for vertex deletion problems. This includes kernels, parameterized algorithms, and lower bounds for the problems of Pi-free Deletion, H-free Deletion, and the more specific forms of Cluster Vertex Deletion and Odd Cycle Transversal. We focus on the complexity in terms of the number of passes over the input stream, and the memory used. This leads to a pass/memory trade-off, where a different algorithm might be favourable depending on the context and instance. We also discuss implications for parameterized complexity in the non-streaming setting.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
The Parameterized Complexity of the Survivable Network Design Problem
Authors:
Andreas Emil Feldmann,
Anish Mukherjee,
Erik Jan van Leeuwen
Abstract:
For the well-known Survivable Network Design Problem (SNDP) we are given an undirected graph $G$ with edge costs, a set $R$ of terminal vertices, and an integer demand $d_{s,t}$ for every terminal pair $s,t\in R$. The task is to compute a subgraph $H$ of $G$ of minimum cost, such that there are at least $d_{s,t}$ disjoint paths between $s$ and $t$ in $H$. If the paths are required to be edge-disjo…
▽ More
For the well-known Survivable Network Design Problem (SNDP) we are given an undirected graph $G$ with edge costs, a set $R$ of terminal vertices, and an integer demand $d_{s,t}$ for every terminal pair $s,t\in R$. The task is to compute a subgraph $H$ of $G$ of minimum cost, such that there are at least $d_{s,t}$ disjoint paths between $s$ and $t$ in $H$. If the paths are required to be edge-disjoint we obtain the edge-connectivity variant (EC-SNDP), while internally vertex-disjoint paths result in the vertex-connectivity variant (VC-SNDP). Another important case is the element-connectivity variant (LC-SNDP), where the paths are disjoint on edges and non-terminals.
In this work we shed light on the parameterized complexity of the above problems. We consider several natural parameters, which include the solution size $\ell$, the sum of demands $D$, the number of terminals $k$, and the maximum demand $d_\max$. Using simple, elegant arguments, we prove the following results.
- We give a complete picture of the parameterized tractability of the three variants w.r.t. parameter $\ell$: both EC-SNDP and LC-SNDP are FPT, while VC-SNDP is W[1]-hard.
- We identify some special cases of VC-SNDP that are FPT:
* when $d_\max\leq 3$ for parameter $\ell$,
* on locally bounded treewidth graphs (e.g., planar graphs) for parameter $\ell$, and
* on graphs of treewidth $tw$ for parameter $tw+D$.
- The well-known Directed Steiner Tree (DST) problem can be seen as single-source EC-SNDP with $d_\max=1$ on directed graphs, and is FPT parameterized by $k$ [Dreyfus & Wagner 1971]. We show that in contrast, the 2-DST problem, where $d_\max=2$, is W[1]-hard, even when parameterized by $\ell$.
△ Less
Submitted 8 November, 2022; v1 submitted 3 November, 2021;
originally announced November 2021.
-
Apertif, Phased Array Feeds for the Westerbork Synthesis Radio Telescope
Authors:
W. A. van Cappellen,
T. A. Oosterloo,
M. A. W. Verheijen,
E. A. K. Adams,
B. Adebahr,
R. Braun,
K. M. Hess,
H. Holties,
J. M. van der Hulst,
B. Hut,
E. Kooistra,
J. van Leeuwen,
G. M. Loose,
R. Morganti,
V. A. Moss,
E. Orrú,
M. Ruiter,
A. P. Schoenmakers,
N. J. Vermaas,
S. J. Wijnholds,
A. S. van Amesfoort,
M. J. Arts,
J. J. Attema,
L. Bakker,
C. G. Bassa
, et al. (65 additional authors not shown)
Abstract:
We describe the APERture Tile In Focus (Apertif) system, a phased array feed (PAF) upgrade of the Westerbork Synthesis Radio Telescope which has transformed this telescope into a high-sensitivity, wide field-of-view L-band imaging and transient survey instrument. Using novel PAF technology, up to 40 partially overlap** beams can be formed on the sky simultaneously, significantly increasing the s…
▽ More
We describe the APERture Tile In Focus (Apertif) system, a phased array feed (PAF) upgrade of the Westerbork Synthesis Radio Telescope which has transformed this telescope into a high-sensitivity, wide field-of-view L-band imaging and transient survey instrument. Using novel PAF technology, up to 40 partially overlap** beams can be formed on the sky simultaneously, significantly increasing the survey speed of the telescope. With this upgraded instrument, an imaging survey covering an area of 2300 deg2 is being performed which will deliver both continuum and spectral line data sets, of which the first data has been publicly released. In addition, a time domain transient and pulsar survey covering 15,000 deg2 is in progress. An overview of the Apertif science drivers, hardware and software of the upgraded telescope is presented, along with its key performance characteristics.
△ Less
Submitted 30 September, 2021; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Dual-frequency single-pulse study of PSR B0950+08
Authors:
A. V. Bilous,
J. M. Griessmeier,
T. Pennucci,
Z. Wu,
L. Bondonneau,
V. Kondratiev,
J. van Leeuwen,
Y. Maan,
L. Connor,
L. C. Oostrum,
E. Petroff,
J. P. W. Verbiest,
D. Vohl,
J. W. McKee,
G. Shaifullah,
G. Theureau,
O. M. Ulyanov,
B. Cecconi,
A. H. Coolen,
S. Corbel,
S. Damstra,
H. Denes,
J. N. Girard,
B. Hut,
M. Ivashina
, et al. (11 additional authors not shown)
Abstract:
PSR B0950+08 is a bright non-recycled pulsar whose single-pulse fluence variability is reportedly large. Based on observations at two widely separated frequencies, 55 MHz (NenuFAR) and 1.4 GHz (Westerbork Synthesis Radio Telescope), we review the properties of these single pulses. We conclude that they are more similar to ordinary pulses of radio emission than to a special kind of short and bright…
▽ More
PSR B0950+08 is a bright non-recycled pulsar whose single-pulse fluence variability is reportedly large. Based on observations at two widely separated frequencies, 55 MHz (NenuFAR) and 1.4 GHz (Westerbork Synthesis Radio Telescope), we review the properties of these single pulses. We conclude that they are more similar to ordinary pulses of radio emission than to a special kind of short and bright Giant Pulses, observed from only a handful of pulsars. We argue that temporal variation of properties of interstellar medium along the line of sight to this nearby pulsar, namely the fluctuating size of decorrelation bandwidth of diffractive scintillation makes important contribution to observed single-pulse fluence variability. We further present interesting structures in the low-frequency single-pulse spectra that resemble the "sad trombones" seen in Fast Radio Bursts (FRBs); although for PSR B0950+08 the upward frequency drift is also routinely present. We explain these spectral features with radius-to-frequency map**, similar to the model developed by Wang et al. (2019) for FRBs. Finally, we speculate that microsecond-scale fluence variability of the general pulsar population remains poorly known, and that its further study may bring important clues about the nature of FRBs.
△ Less
Submitted 26 November, 2021; v1 submitted 17 September, 2021;
originally announced September 2021.