Showing 51–100 of 386 results for author: Hill, A

Light curve fingerprints: an automated approach to the extraction of X-ray variability patterns with feature aggregation -- an example application to GRS 1915+105

Authors: Jakub K. Orwat-Kapola, Antony J. Bird, Adam B. Hill, Diego Altamirano, Daniela Huppenkothen

Abstract: Time series data mining is an important field of research in the era of "Big Data". Next generation astronomical surveys will generate data at unprecedented rates, creating the need for automated methods of data analysis. We propose a method of light curve characterisation that employs a pipeline consisting of a neural network with a Long-Short Term Memory Variational Autoencoder architecture and… ▽ More Time series data mining is an important field of research in the era of "Big Data". Next generation astronomical surveys will generate data at unprecedented rates, creating the need for automated methods of data analysis. We propose a method of light curve characterisation that employs a pipeline consisting of a neural network with a Long-Short Term Memory Variational Autoencoder architecture and a Gaussian mixture model. The pipeline performs extraction and aggregation of features from light curve segments into feature vectors of fixed length which we refer to as light curve "fingerprints". This representation can be readily used as input of down-stream machine learning algorithms. We demonstrate the proposed method on a data set of Rossi X-ray Timing Explorer observations of the galactic black hole X-ray binary GRS 1915+105, which was chosen because of its observed complex X-ray variability. We find that the proposed method can generate a representation that characterises the observations and reflects the presence of distinct classes of GRS 1915+105 X-ray flux variability. We find that this representation can be used to perform efficient classification of light curves. We also present how the representation can be used to quantify the similarity of different light curves, highlighting the problem of the popular classification system of GRS 1915+105 observations, which does not account for intermediate class behaviour. △ Less

Submitted 19 October, 2021; originally announced October 2021.

$E_k$-pushouts and $E_{k+1}$-tensors

Authors: Michael A. Hill, Tyler Lawson

Abstract: We prove a general result that relates certain pushouts of $E_k$-algebras to relative tensors over $E_{k+1}$-algebras. Specializations include a number of established results on classifying spaces, resolutions of modules, and (co)homology theories for ring spectra. The main results apply when the category in question has centralizers. Among our applications, we show that certain quotients of the… ▽ More We prove a general result that relates certain pushouts of $E_k$-algebras to relative tensors over $E_{k+1}$-algebras. Specializations include a number of established results on classifying spaces, resolutions of modules, and (co)homology theories for ring spectra. The main results apply when the category in question has centralizers. Among our applications, we show that certain quotients of the dual Steenrod algebra are realized as associative algebras over $HF_p \wedge HF_p$ by attaching single $E_1$-algebra relation, generalizing previous work at the prime $2$. We also construct a filtered $E_2$-algebra structure on the sphere spectrum, and the resulting spectral sequence for the stable homotopy groups of spheres has $E_1$-term isomorphic to a regrading of the $E_1$-term of the May spectral sequence. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: 26 pages, comments welcome

Controlling Resource Allocation using Blockchain-Based Delegation

Authors: Shantanu Pal, Ambrose Hill, Tahiry Rabehaja, Michael Hitchens

Abstract: Allocation of resources and their control over multiple organisations is challenging. This is especially true for a large-scale and dynamic system like the Internet of Things (IoT). One of the core issues in such a system is the provision of secure access control. In particular, transfer of access rights from one entity to another in a secure, flexible and fine-grained manner. In this paper, we pr… ▽ More Allocation of resources and their control over multiple organisations is challenging. This is especially true for a large-scale and dynamic system like the Internet of Things (IoT). One of the core issues in such a system is the provision of secure access control. In particular, transfer of access rights from one entity to another in a secure, flexible and fine-grained manner. In this paper, we present a multi-organisational delegation framework using blockchain. Our framework takes advantage of blockchain smart contracts to define the interactions and resource allocation between the consortium of organisations. We show the feasibility of our solution in a real-world scenario using the allocation of transportation credits in a multi-level organisational setting as a use-case. We provide proof of implementation of the proposed framework using the Hyperledger Fabric blockchain platform. Our results indicate that the proposed framework is efficient and can be used for city-wide transport, potentially even scale country-wide with a shared blockchain with complex access control rules. It also bestows better transparency to the delegation of access rights and control over the employees' transportation access for the organisations. △ Less

Submitted 3 October, 2021; originally announced October 2021.

A Unified Model for the Fan Region and the North Polar Spur: A bundle of filaments in the Local Galaxy

Authors: J. L. West, T. L. Landecker, B. M. Gaensler, T. Jaffe, A. S. Hill

Abstract: We present a simple, unified model that can explain two of the brightest, large-scale, diffuse, polarized radio features in the sky, the North Polar Spur (NPS) and the Fan Region, along with several other prominent loops. We suggest that they are long, magnetized, and parallel filamentary structures that surround the Local arm and/or Local Bubble, in which the Sun is embedded. We show this model i… ▽ More We present a simple, unified model that can explain two of the brightest, large-scale, diffuse, polarized radio features in the sky, the North Polar Spur (NPS) and the Fan Region, along with several other prominent loops. We suggest that they are long, magnetized, and parallel filamentary structures that surround the Local arm and/or Local Bubble, in which the Sun is embedded. We show this model is consistent with the large number of observational studies on these regions, and is able to resolve an apparent contradiction in the literature that suggests the high latitude portion of the NPS is nearby, while lower latitude portions are more distant. Understanding the contributions of this local emission is critical to develo** a complete model of the Galactic magnetic field. These very nearby structures also provide context to help understand similar non-thermal, filamentary structures that are increasingly being observed with modern radio telescopes. △ Less

Submitted 29 September, 2021; originally announced September 2021.

Comments: 21 pages, 13 figures, Accepted to ApJ

Distant probes of RM structure -- Where is the Faraday Rotation towards the Magellanic Leading Arm?

Authors: Seoyoung Lyla Jung, Naomi M. McClure-Griffiths, Alex S. Hill

Abstract: Faraday Rotation Measures (RM) should be interpreted with caution because there could be multiple magneto-ionized medium components that contribute to the net Faraday rotation along sight-lines. We introduce a simple test using Galactic diffuse polarised emission that evaluates whether structures evident in RM observations are associated with distant circumgalactic medium (CGM) or foreground inter… ▽ More Faraday Rotation Measures (RM) should be interpreted with caution because there could be multiple magneto-ionized medium components that contribute to the net Faraday rotation along sight-lines. We introduce a simple test using Galactic diffuse polarised emission that evaluates whether structures evident in RM observations are associated with distant circumgalactic medium (CGM) or foreground interstellar medium (ISM). We focus on the Magellanic Leading Arm region where a clear excess of RM was previously reported. There are two gaseous objects standing out in this direction: the distant Magellanic Leading Arm and the nearby Antlia supernova remnant (SNR). We recognized narrow depolarised filaments in the $2.3\,\rm GHz$ S-band Polarization All Sky Survey (S-PASS) image that overlaps with the reported RM excess. We suggest that there is a steep gradient in Faraday rotation in a foreground screen arising from the Antlia SNR. The estimated strength of the line-of-sight component of the magnetic field is $B_{\parallel}\sim 5\,\rmμG$, assuming that the excess of RM is entirely an outcome of the magnetized supernova shell. Our analysis indicates that the overlap between the RM excess and the Magellanic Leading Arm is only a remarkable coincidence. We suggest for future RM grid studies that checking Galactic diffuse polarisation maps is a convenient way to identify local Faraday screens. △ Less

Submitted 28 September, 2021; originally announced September 2021.

Comments: 15 pages, 9 figures, Accepted to MNRAS

Realization of arbitrary doubly-controlled quantum phase gates

Authors: Alexander D. Hill, Mark J. Hodson, Nicolas Didier, Matthew J. Reagor

Abstract: Develo** quantum computers for real-world applications requires understanding theoretical sources of quantum advantage and applying those insights to design more powerful machines. Toward that end, we introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems. By orchestrating coherent, multi-level control over three transmon qutrits, we sy… ▽ More Develo** quantum computers for real-world applications requires understanding theoretical sources of quantum advantage and applying those insights to design more powerful machines. Toward that end, we introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems. By orchestrating coherent, multi-level control over three transmon qutrits, we synthesize a family of deterministic, continuous-angle quantum phase gates acting in the natural three-qubit computational basis (CCPHASE$(θ)$). We estimate the process fidelity for this scheme via Cycle Benchmarking of $\mathcal{F}=87.1\pm0.8\%$, higher than reference two-qubit gate decompositions. CCPHASE$(θ)$ is anticipated to have broad experimental implications, and we report a blueprint demonstration for solving a class of binary constraint satisfaction problems whose construction is consistent with a path to quantum advantage. △ Less

Submitted 3 August, 2021; originally announced August 2021.

Comments: 12 pages, 10 figures

Neuromorphic scaling advantages for energy-efficient random walk computation

Authors: J. Darby Smith, Aaron J. Hill, Leah E. Reeder, Brian C. Franke, Richard B. Lehoucq, Ojas Parekh, William Severa, James B. Aimone

Abstract: Computing stands to be radically improved by neuromorphic computing (NMC) approaches inspired by the brain's incredible efficiency and capabilities. Most NMC research, which aims to replicate the brain's computational structure and architecture in man-made hardware, has focused on artificial intelligence; however, less explored is whether this brain-inspired hardware can provide value beyond cogni… ▽ More Computing stands to be radically improved by neuromorphic computing (NMC) approaches inspired by the brain's incredible efficiency and capabilities. Most NMC research, which aims to replicate the brain's computational structure and architecture in man-made hardware, has focused on artificial intelligence; however, less explored is whether this brain-inspired hardware can provide value beyond cognitive tasks. We demonstrate that high-degree parallelism and configurability of spiking neuromorphic architectures makes them well-suited to implement random walks via discrete time Markov chains. Such random walks are useful in Monte Carlo methods, which represent a fundamental computational tool for solving a wide range of numerical computing tasks. Additionally, we show how the mathematical basis for a probabilistic solution involving a class of stochastic differential equations can leverage those simulations to provide solutions for a range of broadly applicable computational tasks. Despite being in an early development stage, we find that NMC platforms, at a sufficient scale, can drastically reduce the energy demands of high-performance computing (HPC) platforms. △ Less

Submitted 27 July, 2021; originally announced July 2021.

Comments: Paper, figures, supplement

Report number: SAND2021-9085 O

Journal ref: Nature Electronics 2022

Sub-second periodicity in a fast radio burst

Authors: The CHIME/FRB Collaboration, Bridget C. Andersen, Kevin Bandura, Mohit Bhardwaj, P. J. Boyle, Charanjot Brar, Daniela Breitman, Tomas Cassanelli, Shami Chatterjee, Pragya Chawla, Jean-François Cliche, Davor Cubranic, Alice P. Curtin, Meiling Deng, Matt Dobbs, Fengqiu Adam Dong, Emmanuel Fonseca, B. M. Gaensler, Utkarsh Giri, Deborah C. Good, Alex S. Hill, Alexander Josephy, J. F. Kaczmarek, Zarif Kader, Joseph Kania , et al. (37 additional authors not shown)

Abstract: Fast radio bursts (FRBs) are millisecond-duration flashes of radio waves that are visible at distances of billions of light-years. The nature of their progenitors and their emission mechanism remain open astrophysical questions. Here we report the detection of the multi-component FRB 20191221A and the identification of a periodic separation of 216.8(1) ms between its components with a significance… ▽ More Fast radio bursts (FRBs) are millisecond-duration flashes of radio waves that are visible at distances of billions of light-years. The nature of their progenitors and their emission mechanism remain open astrophysical questions. Here we report the detection of the multi-component FRB 20191221A and the identification of a periodic separation of 216.8(1) ms between its components with a significance of 6.5 sigmas. The long (~3 s) duration and nine or more components forming the pulse profile make this source an outlier in the FRB population. Such short periodicity provides strong evidence for a neutron-star origin of the event. Moreover, our detection favours emission arising from the neutron-star magnetosphere, as opposed to emission regions located further away from the star, as predicted by some models. △ Less

Submitted 12 July, 2022; v1 submitted 18 July, 2021; originally announced July 2021.

Comments: Updated to conform to the accepted version

The Global Magneto-Ionic Medium Survey (GMIMS): The brightest polarized region in the Southern sky at 75cm and its implications for Radio Loop II

Authors: Alec J. M. Thomson, T. L. Landecker, N. M. McClure-Griffiths, John M. Dickey, J. L. Campbell, Ettore Carretti, S. E. Clark, Christoph Federrath, B. M. Gaensler, J. L. Han, Marijke Haverkorn, Alex. S. Hill, S. A. Mao, Anna Ordog, Luke Pratley, Wolfgang Reich, Cameron L. Van Eck, J. L. West, M. Wolleben

Abstract: Using the Global Magneto-Ionic Medium Survey (GMIMS) Low-Band South (LBS) southern sky polarization survey, covering 300 to 480 MHz at 81 arcmin resolution, we reveal the brightest region in the Southern polarized sky at these frequencies. The region, G150-50, covers nearly 20deg$^2$, near (l,b)~(150 deg,-50 deg). Using GMIMS-LBS and complementary data at higher frequencies (~0.6--30 GHz), we appl… ▽ More Using the Global Magneto-Ionic Medium Survey (GMIMS) Low-Band South (LBS) southern sky polarization survey, covering 300 to 480 MHz at 81 arcmin resolution, we reveal the brightest region in the Southern polarized sky at these frequencies. The region, G150-50, covers nearly 20deg$^2$, near (l,b)~(150 deg,-50 deg). Using GMIMS-LBS and complementary data at higher frequencies (~0.6--30 GHz), we apply Faraday tomography and Stokes QU-fitting techniques. We find that the magnetic field associated with G150-50 is both coherent and primarily in the plane of the sky, and indications that the region is associated with Radio Loop II. The Faraday depth spectra across G150-50 are broad and contain a large-scale spatial gradient. We model the magnetic field in the region as an expanding shell, and we can reproduce both the observed Faraday rotation and the synchrotron emission in the GMIMS-LBS band. Using QU-fitting, we find that the Faraday spectra are produced by several Faraday dispersive sources along the line-of-sight. Alternatively, polarization horizon effects that we cannot model are adding complexity to the high-frequency polarized spectra. The magnetic field structure of Loop II dominates a large fraction of the sky, and studies of the large-scale polarized sky will need to account for this object. Studies of G150-50 with high angular resolution could mitigate polarization horizon effects, and clarify the nature of G150-50. △ Less

Submitted 23 June, 2021; originally announced June 2021.

Comments: 25 pages, 14 figures. Accepted for publication in MNRAS

A Blockchain-Based Trust Management Framework with Verifiable Interactions

Authors: Shantanu Pal, Ambrose Hill, Tahiry Rabehaja, Michael Hitchens

Abstract: There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epistemic and Subjective Logic) and other mathematical models. The choice of trust metric will depend on context, circumstance and user requirements and there is no single best metric for use in all circumstances. Where diffe… ▽ More There has been tremendous interest in the development of formal trust models and metrics through the use of analytics (e.g., Belief Theory and Bayesian models), logics (e.g., Epistemic and Subjective Logic) and other mathematical models. The choice of trust metric will depend on context, circumstance and user requirements and there is no single best metric for use in all circumstances. Where different users require different trust metrics to be employed the trust score calculations should still be based on all available trust evidence. Trust is normally computed using past experiences but, in practice (especially in centralised systems), the validity and accuracy of these experiences are taken for granted. In this paper, we provide a formal framework and practical blockchain-based implementation that allows independent trust providers to implement different trust metrics in a distributed manner while still allowing all trust providers to base their calculations on a common set of trust evidence. Further, our design allows experiences to be provably linked to interactions without the need for a central authority. This leads to the notion of evidence-based trust with provable interactions. Leveraging blockchain allows the trust providers to offer their services in a competitive manner, charging fees while users are provided with payments for recording experiences. Performance details of the blockchain implementation are provided. △ Less

Submitted 9 June, 2021; originally announced June 2021.

The First CHIME/FRB Fast Radio Burst Catalog

Authors: The CHIME/FRB Collaboration, :, Mandana Amiri, Bridget C. Andersen, Kevin Bandura, Sabrina Berger, Mohit Bhardwaj, Michelle M. Boyce, P. J. Boyle, Charanjot Brar, Daniela Breitman, Tomas Cassanelli, Pragya Chawla, Tianyue Chen, J. -F. Cliche, Amanda Cook, Davor Cubranic, Alice P. Curtin, Meiling Deng, Matt Dobbs, Fengqiu, Dong, Gwendolyn Eadie, Mateus Fandino, Emmanuel Fonseca , et al. (52 additional authors not shown)

Abstract: We present a catalog of 536 fast radio bursts (FRBs) detected by the Canadian Hydrogen Intensity Map** Experiment Fast Radio Burst (CHIME/FRB) Project between 400 and 800 MHz from 2018 July 25 to 2019 July 1, including 62 bursts from 18 previously reported repeating sources. The catalog represents the first large sample, including bursts from repeaters and non-repeaters, observed in a single sur… ▽ More We present a catalog of 536 fast radio bursts (FRBs) detected by the Canadian Hydrogen Intensity Map** Experiment Fast Radio Burst (CHIME/FRB) Project between 400 and 800 MHz from 2018 July 25 to 2019 July 1, including 62 bursts from 18 previously reported repeating sources. The catalog represents the first large sample, including bursts from repeaters and non-repeaters, observed in a single survey with uniform selection effects. This facilitates comparative and absolute studies of the FRB population. We show that repeaters and apparent non-repeaters have sky locations and dispersion measures (DMs) that are consistent with being drawn from the same distribution. However, bursts from repeating sources differ from apparent non-repeaters in intrinsic temporal width and spectral bandwidth. Through injection of simulated events into our detection pipeline, we perform an absolute calibration of selection effects to account for systematic biases. We find evidence for a population of FRBs - comprising a large fraction of the overall population - with a scattering time at 600 MHz in excess of 10 ms, of which only a small fraction are observed by CHIME/FRB. We infer a power-law index for the cumulative fluence distribution of $α=-1.40\pm0.11(\textrm{stat.})^{+0.06}_{-0.09}(\textrm{sys.})$, consistent with the $-3/2$ expectation for a non-evolving population in Euclidean space. We find $α$ is steeper for high-DM events and shallower for low-DM events, which is what would be expected when DM is correlated with distance. We infer a sky rate of $[525\pm30(\textrm{stat.})^{+140}_{-130}({\textrm{sys.}})]/\textrm{sky}/\textrm{day}$ above a fluence of 5 Jy ms at 600 MHz, with scattering time at $600$ MHz under 10 ms, and DM above 100 pc cm$^{-3}$. △ Less

Submitted 31 January, 2023; v1 submitted 8 June, 2021; originally announced June 2021.

Comments: 67 pages, 27 figures, 5 tables. Published in ApJS and updated with changes reflected in an erratum (affecting the sky rate). Extended figures and data at https://www.chime-frb.ca/catalog

The Global Magneto-Ionic Medium Survey: A Faraday Depth Survey of the Northern Sky Covering 1280-1750 MHz

Authors: M. Wolleben, T. L. Landecker, K. A. Douglas, A. D. Gray, A. Ordog, J. M. Dickey, A. S. Hill, E. Carretti, J. C. Brown, B. M. Gaensler, J. L. Han, M. Haverkorn, R. Kothes, J. P. Leahy, N. McClure-Griffiths, D. McConnell, W. Reich, A. R. Taylor, A. J. M. Thomson, J. L. West

Abstract: The Galactic interstellar medium hosts a significant magnetic field, which can be probed through the synchrotron emission produced from its interaction with relativistic electrons. Linearly polarized synchrotron emission is generated throughout the Galaxy, and at longer wavelengths, modified along nearly every path by Faraday rotation in the intervening magneto-ionic medium. Full characterization… ▽ More The Galactic interstellar medium hosts a significant magnetic field, which can be probed through the synchrotron emission produced from its interaction with relativistic electrons. Linearly polarized synchrotron emission is generated throughout the Galaxy, and at longer wavelengths, modified along nearly every path by Faraday rotation in the intervening magneto-ionic medium. Full characterization of the polarized emission requires wideband observations with many frequency channels. We have surveyed polarized radio emission from the Northern sky over the the range 1280-1750 MHz, with channel width 236.8 kHz, using the John A. Galt Telescope (diameter 25.6 m) at the Dominion Radio Astrophysical Observatory, as part of the Global Magneto-Ionic Medium Survey. The survey covered 72% of the sky, declinations -30 to +87 degrees at all right ascensions. The intensity scale was absolutely calibrated, based on the flux density and spectral index of Cygnus A. Polarization angle was calibrated using the extended polarized emission of the Fan Region. Data are presented as brightness temperatures with angular resolution 40'. Sensitivity in Stokes Q and U is 45 mK rms in a 1.18 MHz band. We have applied rotation measure synthesis to the data to obtain a Faraday depth cube of resolution 150 radians per square metre and sensitivity 3 mK rms of polarized intensity. Features in Faraday depth up to a width of 110 radians per square metre are represented. The maximum detectable Faraday depth is +/- 20,000 radians per square metre. The survey data are available at the Canadian Astronomy Data Centre. △ Less

Submitted 24 July, 2021; v1 submitted 2 June, 2021; originally announced June 2021.

Comments: Accepted for publication in the Astronomical Journal

Free incomplete Tambara functors are almost never flat

Authors: Michael A. Hill, David Mehrle, J. D. Quigley

Abstract: Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tamb… ▽ More Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tambara functor is free as a Mackey functor. For solvable groups, we show that a free incomplete Tambara functor is flat as a Mackey functor precisely when these conditions hold. Our results imply that free incomplete Tambara functors are almost never flat as Mackey functors. However, we show that after suitable localizations, free incomplete Tambara functors are always free as Mackey functors. △ Less

Submitted 13 December, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: V2: added section 6.1 on the restriction functor V3: Updated according to referee report. Accepted version, to appear in IMRN

Actions You Can Handle: Dependent Types for AI Plans

Authors: Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick

Abstract: Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents. They comprise a number of searching algorithms that, given a set of specified properties, find a sequence of actions that satisfy these properties. Although AI planners are mature tools from the algorithmic and enginee… ▽ More Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents. They comprise a number of searching algorithms that, given a set of specified properties, find a sequence of actions that satisfy these properties. Although AI planners are mature tools from the algorithmic and engineering points of view, they have limitations as programming languages. Decidable and efficient automated search entails restrictions on the syntax of the language, prohibiting use of higher-order properties or recursion. This paper proposes a methodology for embedding plans produced by AI planners into dependently-typed language Agda, which enables users to reason about and verify more general and abstract properties of plans, and also provides a more holistic programming language infrastructure for modelling plan execution. △ Less

Submitted 20 July, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: 14 pages, 5 figures, Accepted to TyDe 2021

MSC Class: 68Q60; 03B38; 68T27; 03B70 ACM Class: D.3; F.3; F.4; I.2

Computationally Efficient Dynamic Traffic Optimization Of Railway Systems

Authors: Robin Vujanic, Andrew Hill

Abstract: In this paper we investigate real-time, dynamic traffic optimization in railway systems. In order to enable practical solution times, we operate the optimizer in a receding horizon fashion and with optimization horizons that are shorter than the full path to destinations, using a model predictive control (MPC) approach. We present new procedures to establish safe prediction horizons, providing for… ▽ More In this paper we investigate real-time, dynamic traffic optimization in railway systems. In order to enable practical solution times, we operate the optimizer in a receding horizon fashion and with optimization horizons that are shorter than the full path to destinations, using a model predictive control (MPC) approach. We present new procedures to establish safe prediction horizons, providing formal guarantees that the system is operated in a way that satisfies hard safety constraints despite the fact that not all future train interactions are taken into account, by characterizing the minimal required optimization horizons. We also show that any feasible solution to our proposed models is sufficient to maintain a safe, automated operation of the railway system, providing an upper bound on the computations strictly required. Additionally, we show that these minimal optimization horizons also characterize an upper bound on computations required to construct a feasible solution for any arbitrary optimization horizon, paving the way for anytime algorithms. Finally, our results enable systematic solution reuse, when previous schedules are available. We test our approach on a detailed simulation environment of a real-world railway system used for freight transport. △ Less

Submitted 9 May, 2021; originally announced May 2021.

On the all-India rainfall index and sub-India rainfall heterogeneity

Authors: Spencer A Hill, Adam H Sobel, Michela Biasutti, Mark A Cane

Abstract: We revisit long-standing controversies regarding relationships among the all-India rainfall index (AIRI), sub-India summer rainfall variations, El Niño-Southern Oscillation (ENSO), and the Indian Ocean Dipole (IOD) using 120-year sea surface temperature and high-resolution rainfall datasets. AIRI closely tracks with the spatial extent of wet anomalies and with the average across gridpoints in rain… ▽ More We revisit long-standing controversies regarding relationships among the all-India rainfall index (AIRI), sub-India summer rainfall variations, El Niño-Southern Oscillation (ENSO), and the Indian Ocean Dipole (IOD) using 120-year sea surface temperature and high-resolution rainfall datasets. AIRI closely tracks with the spatial extent of wet anomalies and with the average across gridpoints in rainy day count. The leading rainfall variability mode is a monopole associated primarily with rainy day count and ENSO. The second mode is a tripole with same-signed loadings in the high-rainfall Western Ghats and Central Monsoon Zone regions and opposite-signed loadings in Southeastern India between. The IOD projects onto this tripole and, as such, is weakly correlated with AIRI. However, when the linear influence of ENSO is removed, the IOD rainfall regressions become quasi-homogeneously more positive, making the ENSO-residual IOD and AIRI timeseries significantly correlated. △ Less

Submitted 11 October, 2021; v1 submitted 25 April, 2021; originally announced April 2021.

Comments: 21 pages, 4 figures, submitted to Geophysical Research Letters

Bi-incomplete Tambara functors

Authors: Andrew J. Blumberg, Michael A. Hill

Abstract: For an equivariant commutative ring spectrum $R$, $π_0 R$ has algebraic structure reflecting the presence of both additive transfers and multiplicative norms. The additive structure gives rise to a Mackey functor and the multiplicative structure yields the additional structure of a Tambara functor. If $R$ is an $N_\infty$ ring spectrum in the category of genuine $G$-spectra, then all possible addi… ▽ More For an equivariant commutative ring spectrum $R$, $π_0 R$ has algebraic structure reflecting the presence of both additive transfers and multiplicative norms. The additive structure gives rise to a Mackey functor and the multiplicative structure yields the additional structure of a Tambara functor. If $R$ is an $N_\infty$ ring spectrum in the category of genuine $G$-spectra, then all possible additive transfers are present and $π_0 R$ has the structure of an incomplete Tambara functor. However, if $R$ is an $N_\infty$ ring spectrum in a category of incomplete $G$-spectra, the situation is more subtle. In this paper, we study the algebraic theory of Tambara structures on incomplete Mackey functors, which we call bi-incomplete Tambara functors. Just as incomplete Tambara functors have compatibility conditions that control which systems of norms are possible, bi-incomplete Tambara functors have algebraic constraints arising from the possible interactions of transfers and norms. We give a complete description of the possible interactions between the additive and multiplicative structures. △ Less

Submitted 21 April, 2021; originally announced April 2021.

Quotient rings of $H\mathbb{F}_2 \wedge H\mathbb{F}_2$

Authors: Agnes Beaudry, Michael A. Hill, Tyler Lawson, XiaoLin Danny Shi, Mingcong Zeng

Abstract: We study modules over the commutative ring spectrum $H\mathbb F_2\wedge H\mathbb F_2$, whose coefficient groups are quotients of the dual Steenrod algebra by collections of the Milnor generators. We show that very few of these quotients admit algebra structures, but those that do can be constructed simply: killing a generator $ξ_k$ in the category of associative algebras freely kills the higher ge… ▽ More We study modules over the commutative ring spectrum $H\mathbb F_2\wedge H\mathbb F_2$, whose coefficient groups are quotients of the dual Steenrod algebra by collections of the Milnor generators. We show that very few of these quotients admit algebra structures, but those that do can be constructed simply: killing a generator $ξ_k$ in the category of associative algebras freely kills the higher generators $ξ_{k+n}$. Using new information about the conjugation operation in the dual Steenrod algebra, we also consider quotients by families of Milnor generators and their conjugates. This allows us to produce a family of associative $H\mathbb F_2\wedge H\mathbb F_2$-algebras whose coefficient rings are finite-dimensional and exhibit unexpected duality features. We then use these algebras to give detailed computations of the homotopy groups of several modules over this ring spectrum. △ Less

Submitted 26 March, 2021; originally announced March 2021.

MSC Class: 55S10; 55T25; 55P43

Minimum Scan Cover and Variants -- Theory and Experiments

Authors: Kevin Buchin, Sándor P. Fekete, Alexander Hill, Linda Kleist, Irina Kostitsyna, Dominik Krupke, Roel Lambers, Martijn Struijs

Abstract: We consider a spectrum of geometric optimization problems motivated by contexts such as satellite communication and astrophysics. In the problem Minimum Scan Cover with Angular Costs, we are given a graph $G$ that is embedded in Euclidean space. The edges of $G$ need to be scanned, i.e., probed from both of their vertices. In order to scan their edge, two vertices need to face each other; changing… ▽ More We consider a spectrum of geometric optimization problems motivated by contexts such as satellite communication and astrophysics. In the problem Minimum Scan Cover with Angular Costs, we are given a graph $G$ that is embedded in Euclidean space. The edges of $G$ need to be scanned, i.e., probed from both of their vertices. In order to scan their edge, two vertices need to face each other; changing the heading of a vertex incurs some cost in terms of energy or rotation time that is proportional to the corresponding rotation angle. Our goal is to compute schedules that minimize the following objective functions: (i) in Minimum Makespan Scan Cover (MSC-MS), this is the time until all edges are scanned; (ii) in Minimum Total Energy Scan Cover (MSC-TE), the sum of all rotation angles; (iii) in Minimum Bottleneck Energy Scan Cover (MSC-BE), the maximum total rotation angle at one vertex. Previous theoretical work on MSC-MS revealed a close connection to graph coloring and the cut cover problem, leading to hardness and approximability results. In this paper, we present polynomial-time algorithms for 1D instances of MSC-TE and MSC-BE, but NP-hardness proofs for bipartite 2D instances. For bipartite graphs in 2D, we also give 2-approximation algorithms for both MSC-TE and MSC-BE. Most importantly, we provide a comprehensive study of practical methods for all three problems. We compare three different mixed-integer programming and two constraint programming approaches, and show how to compute provably optimal solutions for geometric instances with up to 300 edges. Additionally, we compare the performance of different meta-heuristics for even larger instances. △ Less

Submitted 26 March, 2021; originally announced March 2021.

The morphology of star-forming gas and its alignment with galaxies and dark matter haloes in the EAGLE simulations

Authors: Alexander D. Hill, Robert A. Crain, Juliana Kwan, Ian G. McCarthy

Abstract: We present measurements of the morphology of star-forming gas in galaxies from the EAGLE simulations, and its alignment relative to stars and dark matter (DM). Imaging of such gas in the radio continuum enables weak lensing experiments that complement traditional optical approaches. Star-forming gas is typically more flattened than its associated stars and DM, particularly for present-day subhaloe… ▽ More We present measurements of the morphology of star-forming gas in galaxies from the EAGLE simulations, and its alignment relative to stars and dark matter (DM). Imaging of such gas in the radio continuum enables weak lensing experiments that complement traditional optical approaches. Star-forming gas is typically more flattened than its associated stars and DM, particularly for present-day subhaloes of total mass $\sim$$10^{ 12-12.5} \mathrm{M_{ \odot}}$, which preferentially host star-forming galaxies with rotationally-supported stellar discs. Such systems have oblate, spheroidal star-forming gas distributions, but in both less- and more-massive subhaloes the distributions tend to be prolate, and its morphology correlates positively and significantly with that of its host galaxy's stars, both in terms of sphericity and triaxiality. The minor axis of star-forming gas most commonly aligns with the minor axis of its host subhalo's DM, but often aligns more closely with one of the other two principal axes of the DM distribution in prolate subhaloes. Star-forming gas aligns with DM less strongly than is the case for stars, but its morphological minor axis aligns closely with its kinematic axis, affording a route to observational identification of the unsheared morphological axis. The projected ellipticities of star-forming gas in EAGLE are consistent with shapes inferred from high-fidelity radio continuum images, and they exhibit greater shape noise than is the case for images of the stars, owing to the greater characteristic flattening of star-forming gas with respect to stars. △ Less

Submitted 12 January, 2022; v1 submitted 26 February, 2021; originally announced February 2021.

Comments: 24 pages, 17 figures. Published in MNRAS

Overview of the Medium and High Frequency Telescopes of the LiteBIRD satellite mission

Authors: L. Montier, B. Mot, P. de Bernardis, B. Maffei, G. Pisano, F. Columbro, J. E. Gudmundsson, S. Henrot-Versillé, L. Lamagna, J. Montgomery, T. Prouvé, M. Russell, G. Savini, S. Stever, K. L. Thompson, M. Tsujimoto, C. Tucker, B. Westbrook, P. A. R. Ade, A. Adler, E. Allys, K. Arnold, D. Auguste, J. Aumont, R. Aurlien , et al. (212 additional authors not shown)

Abstract: LiteBIRD is a JAXA-led Strategic Large-Class mission designed to search for the existence of the primordial gravitational waves produced during the inflationary phase of the Universe, through the measurements of their imprint onto the polarization of the cosmic microwave background (CMB). These measurements, requiring unprecedented sensitivity, will be performed over the full sky, at large angular… ▽ More LiteBIRD is a JAXA-led Strategic Large-Class mission designed to search for the existence of the primordial gravitational waves produced during the inflationary phase of the Universe, through the measurements of their imprint onto the polarization of the cosmic microwave background (CMB). These measurements, requiring unprecedented sensitivity, will be performed over the full sky, at large angular scales, and over 15 frequency bands from 34GHz to 448GHz. The LiteBIRD instruments consist of three telescopes, namely the Low-, Medium- and High-Frequency Telescope (respectively LFT, MFT and HFT). We present in this paper an overview of the design of the Medium-Frequency Telescope (89-224GHz) and the High-Frequency Telescope (166-448GHz), the so-called MHFT, under European responsibility, which are two cryogenic refractive telescopes cooled down to 5K. They include a continuous rotating half-wave plate as the first optical element, two high-density polyethylene (HDPE) lenses and more than three thousand transition-edge sensor (TES) detectors cooled to 100mK. We provide an overview of the concept design and the remaining specific challenges that we have to face in order to achieve the scientific goals of LiteBIRD. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: SPIE Conference

Journal ref: Proc. of SPIE Vol. 11443 14432G (2020)

LiteBIRD: JAXA's new strategic L-class mission for all-sky surveys of cosmic microwave background polarization

Authors: M. Hazumi, P. A. R. Ade, A. Adler, E. Allys, K. Arnold, D. Auguste, J. Aumont, R. Aurlien, J. Austermann, C. Baccigalupi, A. J. Banday, R. Banjeri, R. B. Barreiro, S. Basak, J. Beall, D. Beck, S. Beckman, J. Bermejo, P. de Bernardis, M. Bersanelli, J. Bonis, J. Borrill, F. Boulanger, S. Bounissou, M. Brilenkov , et al. (213 additional authors not shown)

Abstract: LiteBIRD, the Lite (Light) satellite for the study of B-mode polarization and Inflation from cosmic background Radiation Detection, is a space mission for primordial cosmology and fundamental physics. JAXA selected LiteBIRD in May 2019 as a strategic large-class (L-class) mission, with its expected launch in the late 2020s using JAXA's H3 rocket. LiteBIRD plans to map the cosmic microwave backgrou… ▽ More LiteBIRD, the Lite (Light) satellite for the study of B-mode polarization and Inflation from cosmic background Radiation Detection, is a space mission for primordial cosmology and fundamental physics. JAXA selected LiteBIRD in May 2019 as a strategic large-class (L-class) mission, with its expected launch in the late 2020s using JAXA's H3 rocket. LiteBIRD plans to map the cosmic microwave background (CMB) polarization over the full sky with unprecedented precision. Its main scientific objective is to carry out a definitive search for the signal from cosmic inflation, either making a discovery or ruling out well-motivated inflationary models. The measurements of LiteBIRD will also provide us with an insight into the quantum nature of gravity and other new physics beyond the standard models of particle physics and cosmology. To this end, LiteBIRD will perform full-sky surveys for three years at the Sun-Earth Lagrangian point L2 for 15 frequency bands between 34 and 448 GHz with three telescopes, to achieve a total sensitivity of 2.16 micro K-arcmin with a typical angular resolution of 0.5 deg. at 100GHz. We provide an overview of the LiteBIRD project, including scientific objectives, mission requirements, top-level system requirements, operation concept, and expected scientific outcomes. △ Less

Submitted 29 January, 2021; originally announced January 2021.

Comments: 20 pages, 9 figures

Journal ref: Proc. of SPIE Vol. 11443 114432F (2020)

Simons Observatory Small Aperture Telescope overview

Authors: Kenji Kiuchi, Shunsuke Adachi, Aamir M. Ali, Kam Arnold, Peter Ashton, Jason E. Austermann, Andrew Bazako, James A. Beall, Yuji Chinone, Gabriele Coppi, Kevin D. Crowley, Kevin T. Crowley, Simon Dicker, Bradley Dober, Shannon M. Duff, Giulio Fabbian, Nicholas Galitzki, Joseph E. Golec, Jon E. Gudmundsson, Kathleen Harrington, Masaya Hasegawa, Makoto Hattori, Charles A. Hill, Shuay-Pwu Patty Ho, Johannes Hubmayr , et al. (29 additional authors not shown)

Abstract: The Simons Observatory (SO) is a cosmic microwave background (CMB) experiment from the Atacama Desert in Chile comprising three small-aperture telescopes (SATs) and one large-aperture telescope (LAT). In total, SO will field over 60,000 transition-edge sensor (TES) bolometers in six spectral bands centered between 27 and 280 GHz in order to achieve the sensitivity necessary to measure or constrain… ▽ More The Simons Observatory (SO) is a cosmic microwave background (CMB) experiment from the Atacama Desert in Chile comprising three small-aperture telescopes (SATs) and one large-aperture telescope (LAT). In total, SO will field over 60,000 transition-edge sensor (TES) bolometers in six spectral bands centered between 27 and 280 GHz in order to achieve the sensitivity necessary to measure or constrain numerous cosmological quantities. In this work, we focus on the SATs which are optimized to search for primordial gravitational waves that are detected as parity-odd polarization patterns called a B-modes on degree scales in the CMB. Each SAT employs a single optics tube with TES arrays operating at 100 mK. The high throughput optics system has a 42 cm aperture and a 35-degree field of view coupled to a 36 cm diameter focal plane. The optics consist of three metamaterial anti-re ection coated silicon lenses. Cryogenic ring baffles with engineered blackbody absorbers are installed in the optics tube to minimize the stray light. The entire optics tube is cooled to 1 K. A cryogenic continuously rotating half-wave plate near the sky side of the aperture stop helps to minimize the effect of atmospheric uctuations. The telescope warm baffling consists of a forebaffle, an elevation stage mounted co-moving shield, and a fixed ground shield that together control the far side-lobes and mitigates ground-synchronous systematics. We present the status of the SAT development. △ Less

Submitted 28 January, 2021; originally announced January 2021.

Comments: 8 pages, 6 figures

Journal ref: Proc. SPIE 11445, Ground-based and Airborne Telescopes VIII, 114457L (18 December 2020)

Concept Design of Low Frequency Telescope for CMB B-mode Polarization satellite LiteBIRD

Authors: Y. Sekimoto, P. A. R. Ade, A. Adler, E. Allys, K. Arnold, D. Auguste, J. Aumont, R. Aurlien, J. Austermann, C. Baccigalupi, A. J. Banday, R. Banerji, R. B. Barreiro, S. Basak, J. Beall, D. Beck, S. Beckman, J. Bermejo, P. de Bernardis, M. Bersanelli, J. Bonis, J. Borrill, F. Boulanger, S. Bounissou, M. Brilenkov , et al. (212 additional authors not shown)

Abstract: LiteBIRD has been selected as JAXA's strategic large mission in the 2020s, to observe the cosmic microwave background (CMB) $B$-mode polarization over the full sky at large angular scales. The challenges of LiteBIRD are the wide field-of-view (FoV) and broadband capabilities of millimeter-wave polarization measurements, which are derived from the system requirements. The possible paths of stray li… ▽ More LiteBIRD has been selected as JAXA's strategic large mission in the 2020s, to observe the cosmic microwave background (CMB) $B$-mode polarization over the full sky at large angular scales. The challenges of LiteBIRD are the wide field-of-view (FoV) and broadband capabilities of millimeter-wave polarization measurements, which are derived from the system requirements. The possible paths of stray light increase with a wider FoV and the far sidelobe knowledge of $-56$ dB is a challenging optical requirement. A crossed-Dragone configuration was chosen for the low frequency telescope (LFT : 34--161 GHz), one of LiteBIRD's onboard telescopes. It has a wide field-of-view ($18^\circ \times 9^\circ$) with an aperture of 400 mm in diameter, corresponding to an angular resolution of about 30 arcminutes around 100 GHz. The focal ratio f/3.0 and the crossing angle of the optical axes of 90$^\circ$ are chosen after an extensive study of the stray light. The primary and secondary reflectors have rectangular shapes with serrations to reduce the diffraction pattern from the edges of the mirrors. The reflectors and structure are made of aluminum to proportionally contract from warm down to the operating temperature at $5\,$K. A 1/4 scaled model of the LFT has been developed to validate the wide field-of-view design and to demonstrate the reduced far sidelobes. A polarization modulation unit (PMU), realized with a half-wave plate (HWP) is placed in front of the aperture stop, the entrance pupil of this system. A large focal plane with approximately 1000 AlMn TES detectors and frequency multiplexing SQUID amplifiers is cooled to 100 mK. The lens and sinuous antennas have broadband capability. Performance specifications of the LFT and an outline of the proposed verification plan are presented. △ Less

Submitted 15 January, 2021; originally announced January 2021.

Comments: 21 pages, 14 figures

Journal ref: SPIE proceedings 1145310 (2020)

Symmetric and antisymmetric components of polar-amplified warming

Authors: Spencer A. Hill, Natalie J. Burls, Alexey Fedorov, Timothy M. Merlis

Abstract: CO$_2$-forced surface warming in general circulation models (GCMs) is initially polar-amplified in the Arctic but not Antarctic -- a largely hemispherically antisymmetric signal. Nevertheless, we show in CESM1 and eleven LongRunMIP GCMs that the hemispherically symmetric component of global-mean-normalized, zonal-mean warming ($T^*_\mathrm{sym}$) under 4\(\times\)CO$_2$ changes weakly or becomes m… ▽ More CO$_2$-forced surface warming in general circulation models (GCMs) is initially polar-amplified in the Arctic but not Antarctic -- a largely hemispherically antisymmetric signal. Nevertheless, we show in CESM1 and eleven LongRunMIP GCMs that the hemispherically symmetric component of global-mean-normalized, zonal-mean warming ($T^*_\mathrm{sym}$) under 4\(\times\)CO$_2$ changes weakly or becomes moderately more polar-amplified from the first decade to near-equilibrium. Conversely, the antisymmetric warming component ($T^*_\mathrm{asym}$) weakens with time in all models, moderately in some including FAMOUS but effectively vanishing in others including CESM1. We explore mechanisms underlying the robust $T^*_\mathrm{sym}$ behavior with a diffusive moist energy balance model (MEBM), which given radiative feedback parameter ($λ$) and ocean heat uptake ($\mathcal{O}$) fields diagnosed from CESM1 adequately reproduces the CESM1 $T^*_\mathrm{sym}$ and $T^*_\mathrm{asym}$ fields. In further MEBM simulations perturbing $λ$ and $\mathcal{O}$, $T^*_\mathrm{sym}$ is sensitive to their symmetric components only, and more to that of $λ$. A three-box, two-timescale model fitted to FAMOUS and CESM1 reveals a curiously short Antarctic fast-response timescale in FAMOUS. In additional CESM1 simulations spanning a broader range of forcings, $T^*_\mathrm{sym}$ changes modestly across 2-16\(\times\)CO$_2$, and $T^*_\mathrm{sym}$ in a Pliocene-like simulation is more polar-amplified but likewise approximately time-invariant. Determining the real-world relevance of these behaviors -- which imply that a surprising amount of information about near-equilibrium polar amplification emerges within decades -- merits further study. △ Less

Submitted 28 March, 2022; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 18 pages, 9 figures, revised for Journal of Climate

Solsticial Hadley Cell ascending edge theory from supercriticality

Authors: Spencer A. Hill, Simona Bordoni, Jonathan L. Mitchell

Abstract: How far the Hadley circulation's ascending branch extends into the summer hemisphere is a fundamental but incompletely understood characteristic of Earth's climate. Here, we present a predictive, analytical theory for this ascending edge latitude based on the extent of supercritical forcing. Supercriticality sets the minimum extent of a large-scale circulation based on the angular momentum and abs… ▽ More How far the Hadley circulation's ascending branch extends into the summer hemisphere is a fundamental but incompletely understood characteristic of Earth's climate. Here, we present a predictive, analytical theory for this ascending edge latitude based on the extent of supercritical forcing. Supercriticality sets the minimum extent of a large-scale circulation based on the angular momentum and absolute vorticity distributions of the hypothetical state were the circulation absent. We explicitly simulate this latitude-by-latitude radiative-convective equilibrium (RCE) state. Its depth-averaged temperature profile is suitably captured by a simple analytical approximation that increases linearly with $\sin\varphi$, where $\varphi$ is latitude, from the winter to the summer pole. This, in turn, yields a one-third power-law scaling of the supercritical forcing extent with the thermal Rossby number. In moist and dry idealized GCM simulations under solsticial forcing performed with a wide range of planetary rotation rates, the ascending edge latitudes largely behave according to this scaling. △ Less

Submitted 2 March, 2021; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: 15 pages, 7 figures, revised for Journal of the Atmospheric Sciences

Journal ref: Journal of the Atmospheric Sciences 2021

Porting the microphysics model CASIM to GPU and KNL Cray machines

Authors: Nick Brown, Alexandr Nigay, Michèle Weiland, Adrian Hill, Ben Shipway

Abstract: CASIM is a microphysics scheme which calculates the interaction between moisture droplets in the atmosphere and forms a critical part of weather and climate modelling codes. However the calculations involved are computationally intensive and so investigating whether CASIM can take advantage of novel hardware architectures and the likely increase in performance this might afford makes sense. In t… ▽ More CASIM is a microphysics scheme which calculates the interaction between moisture droplets in the atmosphere and forms a critical part of weather and climate modelling codes. However the calculations involved are computationally intensive and so investigating whether CASIM can take advantage of novel hardware architectures and the likely increase in performance this might afford makes sense. In this paper we present work done in porting CASIM to GPUs via the directive driven OpenACC and also modifying CASIM to take advantage of the Knights Landing (KNL) processor using OpenMP. Due to the design, models extracting out specific computational kernels for offload to the GPU proved suboptimal and instead the entire scheme was ported over to the GPU. We consider the suitability and maturity of OpenACC for this approach as well as important optimisations that were identified. Enabling CASIM to take advantage of the KNL was significantly easier, but still required careful experimentation to understand the best design and configuration. The performance of both versions of CASIM, in comparison to the latest generation of CPUs is discussed, before identifying lessons learnt about the suitability of CASIM and other similar models for these architectures. The result of this work are versions of CASIM which show promising performance benefits when utilising both GPUs and KNLs and enable the communities to take advantage of these technologies, in addition to general techniques that can be applied to other similar weather and climate models. △ Less

Submitted 28 October, 2020; originally announced October 2020.

Comments: Presented at CUG 2017

In-situ data analytics for highly scalable cloud modelling on Cray machines

Authors: Nick Brown, Michèle Weiland, Adrian Hill, Ben Shipway

Abstract: MONC is a highly scalable modelling tool for the investigation of atmospheric flows, turbulence and cloud microphysics. Typical simulations produce very large amounts of raw data which must then be analysed for scientific investigation. For performance and scalability reasons this analysis and subsequent writing to disk should be performed in-situ on the data as it is generated however one does no… ▽ More MONC is a highly scalable modelling tool for the investigation of atmospheric flows, turbulence and cloud microphysics. Typical simulations produce very large amounts of raw data which must then be analysed for scientific investigation. For performance and scalability reasons this analysis and subsequent writing to disk should be performed in-situ on the data as it is generated however one does not wish to pause the computation whilst analysis is carried out. In this paper we present the analytics approach of MONC, where cores of a node are shared between computation and data analytics. By asynchronously sending their data to an analytics core, the computational cores can run continuously without having to pause for data writing or analysis. We describe our IO server framework and analytics workflow, which is highly asynchronous, along with solutions to challenges that this approach raises and the performance implications of some common configuration choices. The result of this work is a highly scalable analytics approach and we illustrate on up to 32768 computational cores of a Cray XC30 that there is minimal performance impact on the runtime when enabling data analytics in MONC and also investigate the performance and suitability of our approach on the KNL. △ Less

Submitted 27 October, 2020; originally announced October 2020.

Comments: This is the pre-peer reviewed version of the following article: Leveraging MPI RMA to optimise halo-swap** communications in MONC on Cray machines, which has been published in final form at https://doi.org/10.1002/cpe.4331

Journal ref: In Concurrency and Computation: Practice and Experience 30, no. 1 (2018): e4331

The Catalogue for Astrophysical Turbulence Simulations (CATS)

Authors: B. Burkhart, S. Appel, S. Bialy, J. Cho, A. J. Christensen, D. Collins, C. Federrath, D. Fielding, D. Finkbeiner, A. S. Hill, J. C. Ibanez-Mejia, M. R. Krumholz, A. Lazarian, M. Li, P. Mocz, M. -M. Mac Low, J. Naiman, S. K. N. Portillo, B. Shane, Z. Slepian, Y. Yuan

Abstract: Turbulence is a key process in many fields of astrophysics. Advances in numerical simulations of fluids over the last several decades have revolutionized our understanding of turbulence and related processes such as star formation and cosmic ray propagation. However, data from numerical simulations of astrophysical turbulence are often not made public. We introduce a new simulation-oriented databa… ▽ More Turbulence is a key process in many fields of astrophysics. Advances in numerical simulations of fluids over the last several decades have revolutionized our understanding of turbulence and related processes such as star formation and cosmic ray propagation. However, data from numerical simulations of astrophysical turbulence are often not made public. We introduce a new simulation-oriented database for the astronomical community: The Catalogue for Astrophysical Turbulence Simulations (CATS), located at www.mhdturbulence.com. CATS includes magnetohydrodynamic (MHD) turbulent box simulation data products generated by the public codes athena++, arepo, enzo, and flash. CATS also includes several synthetic observational data sets, such as turbulent HI data cubes. We also include measured power spectra and 3-point correlation functions from some of these data. We discuss the importance of open source statistical and visualization tools for the analysis of turbulence simulations such as those found in CATS. △ Less

Submitted 21 October, 2020; originally announced October 2020.

Comments: Accepted to ApJ

A directive based hybrid Met Office NERC Cloud model

Authors: Nick Brown, Angus Lepper, Michèle Weiland, Adrian Hill, Ben Shipway, Chris Maynard

Abstract: Large Eddy Simulation is a critical modelling tool for the investigation of atmospheric flows, turbulence and cloud microphysics. The models used by the UK atmospheric research community are homogeneous and the latest model, MONC, is designed to run on substantial HPC systems with very high CPU core counts. In order to future proof these codes it is worth investigating other technologies and archi… ▽ More Large Eddy Simulation is a critical modelling tool for the investigation of atmospheric flows, turbulence and cloud microphysics. The models used by the UK atmospheric research community are homogeneous and the latest model, MONC, is designed to run on substantial HPC systems with very high CPU core counts. In order to future proof these codes it is worth investigating other technologies and architectures which might support the communities running their codes at the exa-scale. In this paper we present a hybrid version of MONC, where the most computationally intensive aspect is offloaded to the GPU while the rest of the functionality runs concurrently on the CPU. Developed using the directive driven OpenACC, we consider the suitability and maturity of this technology to modern Fortran scientific codes as well general software engineering techniques which aid this type of porting work. The performance of our hybrid model at scale is compared against the CPU version before considering other tuning options and making a comparison between the energy usage of the homo- and hetero-geneous versions. The result of this work is a promising hybrid model that shows performance benefits of our approach when the GPU has a significant computational workload which can not only be applied to the MONC model but also other weather and climate simulations in use by the community. △ Less

Submitted 27 September, 2020; originally announced September 2020.

A highly scalable Met Office NERC Cloud model

Authors: Nick Brown, Michèle Weiland, Adrian Hill, Ben Shipway, Chris Maynard, Thomas Allen, Mike Rezny

Abstract: Large Eddy Simulation is a critical modelling tool for scientists investigating atmospheric flows, turbulence and cloud microphysics. Within the UK, the principal LES model used by the atmospheric research community is the Met Office Large Eddy Model (LEM). The LEM was originally developed in the late 1980s using computational techniques and assumptions of the time, which means that the it does no… ▽ More Large Eddy Simulation is a critical modelling tool for scientists investigating atmospheric flows, turbulence and cloud microphysics. Within the UK, the principal LES model used by the atmospheric research community is the Met Office Large Eddy Model (LEM). The LEM was originally developed in the late 1980s using computational techniques and assumptions of the time, which means that the it does not scale beyond 512 cores. In this paper we present the Met Office NERC Cloud model, MONC, which is a re-write of the existing LEM. We discuss the software engineering and architectural decisions made in order to develop a flexible, extensible model which the community can easily customise for their own needs. The scalability of MONC is evaluated, along with numerous additional customisations made to further improve performance at large core counts. The result of this work is a model which delivers to the community significant new scientific modelling capability that takes advantage of the current and future generation HPC machines. △ Less

Submitted 27 September, 2020; originally announced September 2020.

A cryogenic continuously rotating half-wave plate for the POLARBEAR-2b cosmic microwave background receiver

Authors: C. A. Hill, A. Kusaka, P. Ashton, P. Barton, T. Adkins, K. Arnold, B. Bixler, S. Ganjam, A. T. Lee, F. Matsuda, T. Matsumura, Y. Sakurai, R. Tat, Y. Zhou

Abstract: We present the design and laboratory evaluation of a cryogenic continuously rotating half-wave plate (CHWP) for the POLARBEAR-2b (PB-2b) cosmic microwave background (CMB) receiver, the second installment of the Simons Array. PB-2b will observe at 5,200 m elevation in the Atacama Desert of Chile in two frequency bands centered at 90 and 150 GHz. In order to suppress atmospheric 1/f noise and mitiga… ▽ More We present the design and laboratory evaluation of a cryogenic continuously rotating half-wave plate (CHWP) for the POLARBEAR-2b (PB-2b) cosmic microwave background (CMB) receiver, the second installment of the Simons Array. PB-2b will observe at 5,200 m elevation in the Atacama Desert of Chile in two frequency bands centered at 90 and 150 GHz. In order to suppress atmospheric 1/f noise and mitigate systematic effects that arise when differencing orthogonal detectors, PB-2b modulates linear sky polarization using a CHWP rotating at 2 Hz. The CHWP has a 440 mm clear aperture diameter and is cooled to $\approx$ 50 K in the PB-2b receiver cryostat. It consists of a low-friction superconducting magnetic bearing (SMB) and a low-torque synchronous electromagnetic motor, which together dissipate < 2 W. During cooldown, a grip-and-release mechanism centers the rotor to < 0.5 mm, and during continuous rotation, an incremental optical encoder measures the rotor angle with a noise level of 0.1 $\mathrm{μrad / \sqrt{Hz}}$. We discuss the experimental requirements for the PB-2b CHWP, the designs of its various subsystems, and the results of its evaluation in the laboratory. The presented CHWP has been deployed to Chile and is expected to see first light on PB-2b in 2020 or 2021. △ Less

Submitted 10 September, 2020; v1 submitted 8 September, 2020; originally announced September 2020.

Comments: PREPRINT. Submitted to Review of Scientific Instruments, September 2020. v2 updates refs 41-42

The Dynamics, Destruction, and Survival of Supernova-Formed Dust Grains

Authors: Jonathan D. Slavin, Eli Dwek, Mordecai-Mark Mac Low, Alex S. Hill

Abstract: Observations have demonstrated that supernovae efficiently produce dust. This is consistent with the hypothesis that supernovae and asymptotic giant branch stars are the primary producers of dust in the Universe. However, there has been a longstanding question of how much of the dust detected in the interiors of young supernova remnants can escape into the interstellar medium. We present new hydro… ▽ More Observations have demonstrated that supernovae efficiently produce dust. This is consistent with the hypothesis that supernovae and asymptotic giant branch stars are the primary producers of dust in the Universe. However, there has been a longstanding question of how much of the dust detected in the interiors of young supernova remnants can escape into the interstellar medium. We present new hydrodynamical calculations of the evolution of dust grains that were formed in dense ejecta clumps within a Cas A-like remnant. We follow the dynamics of the grains as they decouple from the gas after their clump is hit by the reverse shock. They are subsequently subject to destruction by thermal and kinetic sputtering as they traverse the remnant. Grains that are large enough ($\sim 0.25\,μ$m for silicates and $\sim 0.1\,μ$m for carbonaceous grains) escape into the interstellar medium while smaller grains get trapped and destroyed. However, grains that reach the interstellar medium still have high velocities, and are subject to further destruction as they are slowed down. We find that for initial grain size distributions that include large ($\sim 0.25 - 0.5\,μ$m) grains, 10--20\% of silicate grains can survive, while 30--50\% of carbonaceous grains survive even when the initial size distribution cuts off at smaller ($0.25\,μ$m) sizes. For a 19 M$_{\odot}$ star similar to the progenitor of Cas A, up to 0.1 M$_{\odot}$ of dust can survive if the dust grains formed are large. Thus we show that supernovae under the right conditions can be significant sources of interstellar dust. △ Less

Submitted 3 September, 2020; originally announced September 2020.

Comments: 22 pages, 8 figures, accepted for publication in ApJ

The CHIME Pulsar Project: System Overview

Authors: CHIME/Pulsar Collaboration, M. Amiri, K. M. Bandura, P. J. Boyle, C. Brar, J. F. Cliche, K. Crowter, D. Cubranic, P. B. Demorest, N. T. Denman, M. Dobbs, F. Q. Dong, M. Fandino, E. Fonseca, D. C. Good, M. Halpern, A. S. Hill, C. Höfer, V. M. Kaspi, T. L. Landecker, C. Leung, H. -H. Lin, J. Luo, K. W. Masui, J. W. McKee , et al. (20 additional authors not shown)

Abstract: We present the design, implementation and performance of a digital backend constructed for the Canadian Hydrogen Intensity Map** Experiment (CHIME) that uses accelerated computing to observe radio pulsars and transient radio sources. When operating, the CHIME correlator outputs 10 independent streams of beamformed data for the CHIME/Pulsar backend that digitally track specified celestial positio… ▽ More We present the design, implementation and performance of a digital backend constructed for the Canadian Hydrogen Intensity Map** Experiment (CHIME) that uses accelerated computing to observe radio pulsars and transient radio sources. When operating, the CHIME correlator outputs 10 independent streams of beamformed data for the CHIME/Pulsar backend that digitally track specified celestial positions. Each of these independent streams are processed by the CHIME/Pulsar backend system which can coherently dedisperse, in real-time, up to dispersion measure values of 2500 pc/cm$^{-3}$ . The tracking beams and real-time analysis system are autonomously controlled by a priority-based algorithm that schedules both known sources and positions of interest for observation with observing cadences as small as one day. Given the distribution of known pulsars and radio-transient sources, the CHIME/Pulsar system can monitor up to 900 positions once per sidereal day and observe all sources with declinations greater than $-20^\circ$ once every $\sim$2 weeks. We also discuss the science program enabled through the current modes of data acquisition for CHIME/Pulsar that centers on timing and searching experiments. △ Less

Submitted 10 June, 2021; v1 submitted 13 August, 2020; originally announced August 2020.

Comments: 18 pages, 9 figures, 1 table. Submitted to ApJS

Investigating the Product Profiles and Structural Relationships of New Levansucrases with Conventional and Non-Conventional Substrates

Authors: Andrea Hill, Salwa Karboune, Tarun Narwani, Alexandre de Brevern

Abstract: The synthesis of complex oligosaccharides is desired for their potential as prebiotics, and their role in the pharmaceutical and food industry. Levansucrase (LS, EC 2.4.1.10), a fructosyl-transferase, can catalyze the synthesis of these compounds. LS acquires a fructosyl residue from a donor molecule and performs a non-Lenoir transfer to an acceptor molecule, via $β$-(2$\to$6)-glycosidic linkages.… ▽ More The synthesis of complex oligosaccharides is desired for their potential as prebiotics, and their role in the pharmaceutical and food industry. Levansucrase (LS, EC 2.4.1.10), a fructosyl-transferase, can catalyze the synthesis of these compounds. LS acquires a fructosyl residue from a donor molecule and performs a non-Lenoir transfer to an acceptor molecule, via $β$-(2$\to$6)-glycosidic linkages. Genome mining was used to uncover new LS enzymes with increased transfructosylating activity and wider acceptor promiscuity, with an initial screening revealing five LS enzymes. The product profiles and activities of these enzymes were examined after their incubation with sucrose. Alternate acceptor molecules were also incubated with the enzymes to study their consumption. LSs from Gluconobacter oxydans and Novosphingobium aromaticivorans synthesized fructooligosaccharides (FOSs) with up to 13 units in length. Alignment of their amino acid sequences and substrate docking with homology models identified structural elements causing differences in their product spectra. Raffinose, over sucrose, was the preferred donor molecule for the LS from Vibrio natriegens, N. aromaticivorans, and Paraburkolderia graminis. The LSs examined were found to have wide acceptor promiscuity, utilizing monosaccharides, disaccharides, and two alcohols to a high degree. △ Less

Submitted 11 August, 2020; originally announced August 2020.

Journal ref: International Journal of Molecular Sciences, MDPI, 2020, 21 (15), pp.5402

Proof-Carrying Plans: a Resource Logic for AI Planning

Authors: Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick

Abstract: Recent trends in AI verification and Explainable AI have raised the question of whether AI planning techniques can be verified. In this paper, we present a novel resource logic, the Proof Carrying Plans (PCP) logic that can be used to verify plans produced by AI planners. The PCP logic takes inspiration from existing resource logics (such as Linear logic and Separation logic) as well as Hoare logi… ▽ More Recent trends in AI verification and Explainable AI have raised the question of whether AI planning techniques can be verified. In this paper, we present a novel resource logic, the Proof Carrying Plans (PCP) logic that can be used to verify plans produced by AI planners. The PCP logic takes inspiration from existing resource logics (such as Linear logic and Separation logic) as well as Hoare logic when it comes to modelling states and resource-aware plan execution. It also capitalises on the Curry-Howard approach to logics, in its treatment of plans as functions and plan pre- and post-conditions as types. This paper presents two main results. From the theoretical perspective, we show that the PCP logic is sound relative to the standard possible world semantics used in AI planning. From the practical perspective, we present a complete Agda formalisation of the PCP logic and of its soundness proof. Moreover, we showcase the Curry-Howard, or functional, value of this implementation by supplementing it with the library that parses AI plans into Agda's proofs automatically. We provide evaluation of this library and the resulting Agda functions. △ Less

Submitted 27 October, 2020; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: PPDP 2020, 13 pages, 9 figures

MSC Class: 68Q60; 03B38; 68T27; 03B70 ACM Class: F.0; D.3; F.3; F.4; I.2

In-beam $γ$-ray spectroscopy at the proton dripline: $^{40}$Sc

Authors: A. Gade, D. Weisshaar, B. A. Brown, J. A. Tostevin, D. Bazin, K. Brown, R. J. Charity, P. J. Farris, A. M. Hill, J. Li, B. Longfellow, W. Reviol, D. Rhodes

Abstract: We report on the first in-beam $γ$-ray spectroscopy of the proton-dripline nucleus $^{40}$Sc using two-nucleon pickup onto an intermediate-energy rare-isotope beam of $^{38}$Ca. The $^{9}$Be($^{38}$Ca,$^{40}$Sc$+γ$)X reaction at 60.9 MeV/nucleon mid-target energy selectively populates states in $^{40}$Sc for which the transferred proton and neutron couple to high orbital angular momentum. In turn,… ▽ More We report on the first in-beam $γ$-ray spectroscopy of the proton-dripline nucleus $^{40}$Sc using two-nucleon pickup onto an intermediate-energy rare-isotope beam of $^{38}$Ca. The $^{9}$Be($^{38}$Ca,$^{40}$Sc$+γ$)X reaction at 60.9 MeV/nucleon mid-target energy selectively populates states in $^{40}$Sc for which the transferred proton and neutron couple to high orbital angular momentum. In turn, due to angular-momentum selection rules in proton emission and the nuclear structure and energetics of $^{39}$Ca, such states in $^{40}$Sc then exhibit $γ$-decay branches although they are well above the proton separation energy. This work uniquely complements results from particle spectroscopy following charge-exchange reactions on $^{40}$Ca as well as $^{40}$Ti EC/$β^+$ decay which both display very different selectivities. The population and $γ$-ray decay of the previously known first $(5^-)$ state at 892 keV and the observation of a new level at 2744 keV are discussed in comparison to the mirror nucleus and shell-model calculations. On the experimental side, this work shows that high-resolution in-beam $γ$-ray spectroscopy is possible with new generation Ge arrays for reactions induced by rare-isotope beams on the level of a few $μ$b of cross section. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: Accepted for publication in Phys. Lett. B

Journal ref: Phys. Lett. B 808, 135637 (2020)

Multi-nucleon transfer in the interaction of 977 MeV and 1143 MeV $^{204}$Hg with $^{208}$Pb

Authors: V. V. Desai, A. Pica, W. Loveland, J. S. Barrett, Department of Chemistry, Oregon State University, Corvallis, Oregon 97331 USA, E. A. McCutchan, National Nuclear Data Center, Brookhaven National Laboratory, Upton, New York 11973, USA, S. Zhu, M. P. Carpenter, J. P. Greene, T. Lauritsen, Physics Division, Argonne National Laboratory, Argonne, Illinois 60439 USA, R. V. F. Janssens, Department of Physics, Astronomy , et al. (16 additional authors not shown)

Abstract: A previous study of symmetric collisions of massive nuclei has shown that current models of multi-nucleon transfer (MNT) reactions do not adequately describe the transfer product yields. To gain further insight into this problem, we have measured the yields of MNT products in the interaction of 977 (E/A = 4.79 MeV) and 1143 MeV (E/A = 5.60 MeV) $^{204}$Hg with $^{208}$Pb. We find that the yield of… ▽ More A previous study of symmetric collisions of massive nuclei has shown that current models of multi-nucleon transfer (MNT) reactions do not adequately describe the transfer product yields. To gain further insight into this problem, we have measured the yields of MNT products in the interaction of 977 (E/A = 4.79 MeV) and 1143 MeV (E/A = 5.60 MeV) $^{204}$Hg with $^{208}$Pb. We find that the yield of multi-nucleon transfer products are similar in these two reactions and are substantially lower than those observed in the reaction of 1257 MeV (E/A = 6.16 MeV) $^{204}$Hg + $^{198}$Pt. We compare our measurements with the predictions of the GRAZING-F, di-nuclear systems (DNS) and improved quantum molecular dynamics (ImQMD) models. For the observed isotopes of the elements Au, Hg, Tl, Pb and Bi, the measured values of the MNT cross sections are orders of magnitude larger than the predicted values. Furthermore, the various models predict the formation of nuclides near the N=126 shell, which are not observed. △ Less

Submitted 13 July, 2020; originally announced July 2020.

Comments: 11 figures. arXiv admin note: text overlap with arXiv:1505.00257

Journal ref: Physical Review C 101, 034612 (2020)

Threshold Logic with Current-Driven Magnetic Domain Walls

Authors: Xuan Hu, Brighton A. Hill, Felipe Garcia-Sanchez, Joseph S. Friedman

Abstract: The recent demonstration of current-driven magnetic domain wall logic [Z. Luo et al., Nature 579:214] was based on a three-input logic gate that was identified as a reconfigurable NAND/NOR function. We reinterpret this logic gate as a minority gate within the context of threshold logic, enabling a domain wall threshold logic paradigm in which the device count can be reduced by 80%. Furthermore, by… ▽ More The recent demonstration of current-driven magnetic domain wall logic [Z. Luo et al., Nature 579:214] was based on a three-input logic gate that was identified as a reconfigurable NAND/NOR function. We reinterpret this logic gate as a minority gate within the context of threshold logic, enabling a domain wall threshold logic paradigm in which the device count can be reduced by 80%. Furthermore, by extending the logic gate to more than three inputs of non-equal weight, an 87% reduction in device count can be achieved. △ Less

Submitted 10 July, 2020; v1 submitted 1 July, 2020; originally announced July 2020.

Solving a steady-state PDE using spiking networks and neuromorphic hardware

Authors: J. Darby Smith, William Severa, Aaron J. Hill, Leah Reeder, Brian Franke, Richard B. Lehoucq, Ojas D. Parekh, James B. Aimone

Abstract: The widely parallel, spiking neural networks of neuromorphic processors can enable computationally powerful formulations. While recent interest has focused on primarily machine learning tasks, the space of appropriate applications is wide and continually expanding. Here, we leverage the parallel and event-driven structure to solve a steady state heat equation using a random walk method. The random… ▽ More The widely parallel, spiking neural networks of neuromorphic processors can enable computationally powerful formulations. While recent interest has focused on primarily machine learning tasks, the space of appropriate applications is wide and continually expanding. Here, we leverage the parallel and event-driven structure to solve a steady state heat equation using a random walk method. The random walk can be executed fully within a spiking neural network using stochastic neuron behavior, and we provide results from both IBM TrueNorth and Intel Loihi implementations. Additionally, we position this algorithm as a potential scalable benchmark for neuromorphic systems. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: Submitted to 2020 International Conference on Neuromorphic Systems (2020 ICONS)

Report number: SAND2020-5296 O

Transchromatic extensions in motivic and Real bordism

Authors: Agnes Beaudry, Michael A. Hill, XiaoLin Danny Shi, Mingcong Zeng

Abstract: We show a number of Toda brackets in the homotopy of the motivic bordism spectrum $MGL$ and of the Real bordism spectrum $MU_{\mathbb R}$. These brackets are "red-shifting" in the sense that while the terms in the bracket will be of some chromatic height $n$, the bracket itself will be of chromatic height $(n+1)$. Using these, we deduce a family of exotic multiplications in the… ▽ More We show a number of Toda brackets in the homotopy of the motivic bordism spectrum $MGL$ and of the Real bordism spectrum $MU_{\mathbb R}$. These brackets are "red-shifting" in the sense that while the terms in the bracket will be of some chromatic height $n$, the bracket itself will be of chromatic height $(n+1)$. Using these, we deduce a family of exotic multiplications in the $π_{(\ast,\ast)}MGL$-module structure of the motivic Morava $K$-theories, including non-trivial multiplications by $2$. These in turn imply the analogous family of exotic multiplications in the $π_{\star}MU_\mathbb R$-module structure on the Real Morava $K$-theories. △ Less

Submitted 14 September, 2021; v1 submitted 21 May, 2020; originally announced May 2020.

A bright millisecond-duration radio burst from a Galactic magnetar

Authors: The CHIME/FRB Collaboration, :, B. C. Andersen, K. M. Bandura, M. Bhardwaj, A. Bij, M. M. Boyce, P. J. Boyle, C. Brar, T. Cassanelli, P. Chawla, T. Chen, J. -F. Cliche, A. Cook, D. Cubranic, A. P. Curtin, N. T. Denman, M. Dobbs, F. Q. Dong, M. Fandino, E. Fonseca, B. M. Gaensler, U. Giri, D. C. Good, M. Halpern , et al. (47 additional authors not shown)

Abstract: Magnetars are highly magnetized young neutron stars that occasionally produce enormous bursts and flares of X-rays and gamma-rays. Of the approximately thirty magnetars currently known in our Galaxy and Magellanic Clouds, five have exhibited transient radio pulsations. Fast radio bursts (FRBs) are millisecond-duration bursts of radio waves arriving from cosmological distances. Some have been seen… ▽ More Magnetars are highly magnetized young neutron stars that occasionally produce enormous bursts and flares of X-rays and gamma-rays. Of the approximately thirty magnetars currently known in our Galaxy and Magellanic Clouds, five have exhibited transient radio pulsations. Fast radio bursts (FRBs) are millisecond-duration bursts of radio waves arriving from cosmological distances. Some have been seen to repeat. A leading model for repeating FRBs is that they are extragalactic magnetars, powered by their intense magnetic fields. However, a challenge to this model has been that FRBs must have radio luminosities many orders of magnitude larger than those seen from known Galactic magnetars. Here we report the detection of an extremely intense radio burst from the Galactic magnetar SGR 1935+2154 using the Canadian Hydrogen Intensity Map** Experiment (CHIME) FRB project. The fluence of this two-component bright radio burst and the estimated distance to SGR 1935+2154 together imply a 400-800 MHz burst energy of $\sim 3 \times 10^{34}$ erg, which is three orders of magnitude brighter than those of any radio-emitting magnetar detected thus far. Such a burst coming from a nearby galaxy would be indistinguishable from a typical FRB. This event thus bridges a large fraction of the radio energy gap between the population of Galactic magnetars and FRBs, strongly supporting the notion that magnetars are the origin of at least some FRBs. △ Less

Submitted 15 June, 2020; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: Submitted to Nature. This version: Geocentric arrival time corrected

Probing a Set of Trajectories to Maximize Captured Information

Authors: Sándor P. Fekete, Alexander Hill, Dominik Krupke, Tyler Mayer, Joseph S. B. Mitchell, Ojas Parekh, Cynthia A. Phillips

Abstract: We study a trajectory analysis problem we call the Trajectory Capture Problem (TCP), in which, for a given input set ${\cal T}$ of trajectories in the plane, and an integer $k\geq 2$, we seek to compute a set of $k$ points (``portals'') to maximize the total weight of all subtrajectories of ${\cal T}$ between pairs of portals. This problem naturally arises in trajectory analysis and summarization.… ▽ More We study a trajectory analysis problem we call the Trajectory Capture Problem (TCP), in which, for a given input set ${\cal T}$ of trajectories in the plane, and an integer $k\geq 2$, we seek to compute a set of $k$ points (``portals'') to maximize the total weight of all subtrajectories of ${\cal T}$ between pairs of portals. This problem naturally arises in trajectory analysis and summarization. We show that the TCP is NP-hard (even in very special cases) and give some first approximation results. Our main focus is on attacking the TCP with practical algorithm-engineering approaches, including integer linear programming (to solve instances to provable optimality) and local search methods. We study the integrality gap arising from such approaches. We analyze our methods on different classes of data, including benchmark instances that we generate. Our goal is to understand the best performing heuristics, based on both solution time and solution quality. We demonstrate that we are able to compute provably optimal solutions for real-world instances. △ Less

Submitted 7 April, 2020; originally announced April 2020.

A Global Fireball Observatory

Authors: H. A. R. Devillepoix, M. Cupák, P. A. Bland, E. K. Sansom, M. C. Towner, R. M. Howie, B. A. D. Hartig, T. Jansen-Sturgeon, P. M. Shober, S. L. Anderson, G. K. Benedix, D. Busan, R. Sayers, P. Jenniskens, J. Albers, C. D. K. Herd, P. J. A. Hill, P. G. Brown, Z. Krzeminski, G. R. Osinski, H. Chennaoui Aoudjehane, Z. Benkhaldoun, A. Jabiri, M. Guennoun, A. Barka , et al. (24 additional authors not shown)

Abstract: The world's meteorite collections contain a very rich picture of what the early Solar System would have been made of, however the lack of spatial context with respect to their parent population for these samples is an issue. The asteroid population is equally as rich in surface mineralogies, and map** these two populations (meteorites and asteroids) together is a major challenge for planetary sc… ▽ More The world's meteorite collections contain a very rich picture of what the early Solar System would have been made of, however the lack of spatial context with respect to their parent population for these samples is an issue. The asteroid population is equally as rich in surface mineralogies, and map** these two populations (meteorites and asteroids) together is a major challenge for planetary science. Directly probing asteroids achieves this at a high cost. Observing meteorite falls and calculating their pre-atmospheric orbit on the other hand, is a cheaper way to approach the problem. The Global Fireball Observatory (GFO) collaboration was established in 2017 and brings together multiple institutions (from Australia, USA, Canada, Morocco, Saudi Arabia, the UK, and Argentina) to maximise the area for fireball observation time and therefore meteorite recoveries. The members have a choice to operate independently, but they can also choose to work in a fully collaborative manner with other GFO partners. This efficient approach leverages the experience gained from the Desert Fireball Network (DFN) pathfinder project in Australia. The state-of-the art technology (DFN camera systems and data reduction) and experience of the support teams is shared between all partners, freeing up time for science investigations and meteorite searching. With all networks combined together, the GFO collaboration already covers 0.6% of the Earth's surface for meteorite recovery as of mid-2019, and aims to reach 2% in the early 2020s. We estimate that after 5 years of operation, the GFO will have observed a fireball from virtually every meteorite type. This combined effort will bring new, fresh, extra-terrestrial material to the labs, yielding new insights about the formation of the Solar System. △ Less

Submitted 12 June, 2020; v1 submitted 2 April, 2020; originally announced April 2020.

Comments: Accepted in PSS. 19 pages, 9 figures

Initial results from the New Horizons exploration of 2014 MU69, a small Kuiper Belt Object

Authors: S. A. Stern, H. A. Weaver, J. R. Spencer, C. B. Olkin, G. R. Gladstone, W. M. Grundy, J. M. Moore, D. P. Cruikshank, H. A. Elliott, W. B. McKinnon, J. Wm. Parker, A. J. Verbiscer, L. A. Young, D. A. Aguilar, J. M. Albers, T. Andert, J. P. Andrews, F. Bagenal, M. E. Banks, B. A. Bauer, J. A. Bauman, K. E. Bechtold, C. B. Beddingfield, N. Behrooz, K. B. Beisser , et al. (180 additional authors not shown)

Abstract: The Kuiper Belt is a distant region of the Solar System. On 1 January 2019, the New Horizons spacecraft flew close to (486958) 2014 MU69, a Cold Classical Kuiper Belt Object, a class of objects that have never been heated by the Sun and are therefore well preserved since their formation. Here we describe initial results from these encounter observations. MU69 is a bi-lobed contact binary with a fl… ▽ More The Kuiper Belt is a distant region of the Solar System. On 1 January 2019, the New Horizons spacecraft flew close to (486958) 2014 MU69, a Cold Classical Kuiper Belt Object, a class of objects that have never been heated by the Sun and are therefore well preserved since their formation. Here we describe initial results from these encounter observations. MU69 is a bi-lobed contact binary with a flattened shape, discrete geological units, and noticeable albedo heterogeneity. However, there is little surface color and compositional heterogeneity. No evidence for satellites, ring or dust structures, gas coma, or solar wind interactions was detected. By origin MU69 appears consistent with pebble cloud collapse followed by a low velocity merger of its two lobes. △ Less

Submitted 2 April, 2020; originally announced April 2020.

Comments: 43 pages, 8 figure

Journal ref: Science 364, eaaw9771 (2019)

Magnetic Field Morphology in Interstellar Clouds with the Velocity Gradient Technique

Authors: Yue Hu, Ka Ho Yuen, Victor Lazarian, Ka Wai Ho, Robert A. Benjamin, Alex S. Hill, Felix J. Lockman, Paul F. Goldsmith, Alex Lazarian

Abstract: Magnetic fields, while ubiquitous in many astrophysical environments, are challenging to measure observationally. Based on the properties of anisotropy of eddies in magnetized turbulence, the Velocity Gradient Technique is a method synergistic to dust polarimetry that is capable of tracing plane-of-the-sky magnetic field, measuring the magnetization of interstellar media and estimating the fractio… ▽ More Magnetic fields, while ubiquitous in many astrophysical environments, are challenging to measure observationally. Based on the properties of anisotropy of eddies in magnetized turbulence, the Velocity Gradient Technique is a method synergistic to dust polarimetry that is capable of tracing plane-of-the-sky magnetic field, measuring the magnetization of interstellar media and estimating the fraction of gravitational collapsing gas in molecular clouds using spectral line observations. In this paper, we apply this technique to five low-mass star-forming molecular clouds in the Gould Belt and compare the results to the magnetic-field orientation obtained from polarized dust emission. We find the estimates of magnetic field orientations and magnetization for both methods are statistically similar. We estimate the fraction of collapsing gas in the selected clouds. By means of the Velocity Gradient Technique, we also present the plane-of-the-sky magnetic field orientation and magnetization of the Smith cloud, for which dust polarimetry data are unavailable. △ Less

Submitted 23 February, 2020; originally announced February 2020.

Comments: 14 pages, 8 figures

Journal ref: 2019NatAs...3..776H

Periodic activity from a fast radio burst source

Authors: The CHIME/FRB Collaboration, M. Amiri, B. C. Andersen, K. M. Bandura, M. Bhardwaj, P. J. Boyle, C. Brar, P. Chawla, T. Chen, J. F. Cliche, D. Cubranic, M. Deng, N. T. Denman, M. Dobbs, F. Q. Dong, M. Fandino, E. Fonseca, B. M. Gaensler, U. Giri, D. C. Good, M. Halpern, J. W. T. Hessels, A. S. Hill, C. Höfer, A. Josephy , et al. (48 additional authors not shown)

Abstract: Fast radio bursts (FRBs) are bright, millisecond-duration radio transients originating from extragalactic distances. Their origin is unknown. Some FRB sources emit repeat bursts, ruling out cataclysmic origins for those events. Despite searches for periodicity in repeat burst arrival times on time scales from milliseconds to many days, these bursts have hitherto been observed to appear sporadicall… ▽ More Fast radio bursts (FRBs) are bright, millisecond-duration radio transients originating from extragalactic distances. Their origin is unknown. Some FRB sources emit repeat bursts, ruling out cataclysmic origins for those events. Despite searches for periodicity in repeat burst arrival times on time scales from milliseconds to many days, these bursts have hitherto been observed to appear sporadically, and though clustered, without a regular pattern. Here we report the detection of a $16.35\pm0.15$ day periodicity (or possibly a higher-frequency alias of that periodicity) from a repeating FRB 180916.J0158+65 detected by the Canadian Hydrogen Intensity Map** Experiment Fast Radio Burst Project (CHIME/FRB). In 38 bursts recorded from September 16th, 2018 through February 4th, 2020, we find that all bursts arrive in a 5-day phase window, and 50% of the bursts arrive in a 0.6-day phase window. Our results suggest a mechanism for periodic modulation either of the burst emission itself, or through external amplification or absorption, and disfavour models invoking purely sporadic processes. △ Less

Submitted 18 June, 2020; v1 submitted 28 January, 2020; originally announced January 2020.

Journal ref: Nature, Volume 582, page 351--355 (2020)

Models of Lubin-Tate spectra via Real bordism theory

Authors: Agnes Beaudry, Michael A. Hill, XiaoLin Danny Shi, Mingcong Zeng

Abstract: We study certain formal group laws equipped with an action of the cyclic group of order a power of $2$. We construct $C_{2^n}$-equivariant Real oriented models of Lubin-Tate spectra $E_h$ at heights $h=2^{n-1}m$ and give explicit formulas of the $C_{2^n}$-action on their coefficient rings. Our construction utilizes equivariant formal group laws associated with the norms of the Real bordism theory… ▽ More We study certain formal group laws equipped with an action of the cyclic group of order a power of $2$. We construct $C_{2^n}$-equivariant Real oriented models of Lubin-Tate spectra $E_h$ at heights $h=2^{n-1}m$ and give explicit formulas of the $C_{2^n}$-action on their coefficient rings. Our construction utilizes equivariant formal group laws associated with the norms of the Real bordism theory $MU_{\mathbb{R}}$, and our work examines the height of the formal group laws of the Hill-Hopkins-Ravenel norms of $MU_{\mathbb{R}}$. △ Less

Submitted 25 November, 2021; v1 submitted 22 January, 2020; originally announced January 2020.

Comments: Minor changes. Accepted version

Small Aperture Telescopes for the Simons Observatory

Authors: Aamir M. Ali, Shunsuke Adachi, Kam Arnold, Peter Ashton, Andrew Bazarko, Yuji Chinone, Gabriele Coppi, Lance Corbett, Kevin D Crowley, Kevin T Crowley, Mark Devlin, Simon Dicker, Shannon Duff, Chris Ellis, Nicholas Galitzki, Neil Goeckner-Wald, Kathleen Harrington, Erin Healy, Charles A Hill, Shuay-Pwu Patty Ho, Johannes Hubmayr, Brian Keating, Kenji Kiuchi, Akito Kusaka, Adrian T Lee , et al. (27 additional authors not shown)

Abstract: The Simons Observatory (SO) is an upcoming cosmic microwave background (CMB) experiment located on Cerro Toco, Chile, that will map the microwave sky in temperature and polarization in six frequency bands spanning 27 to 285 GHz. SO will consist of one 6-meter Large Aperture Telescope (LAT) fielding $\sim$30,000 detectors and an array of three 0.42-meter Small Aperture Telescopes (SATs) fielding an… ▽ More The Simons Observatory (SO) is an upcoming cosmic microwave background (CMB) experiment located on Cerro Toco, Chile, that will map the microwave sky in temperature and polarization in six frequency bands spanning 27 to 285 GHz. SO will consist of one 6-meter Large Aperture Telescope (LAT) fielding $\sim$30,000 detectors and an array of three 0.42-meter Small Aperture Telescopes (SATs) fielding an additional 30,000 detectors. This synergy will allow for the extremely sensitive characterization of the CMB over angular scales ranging from an arcmin to tens of degrees, enabling a wide range of scientific output. Here we focus on the SATs targeting degree angular scales with successive dichroic instruments observing at Mid-Frequency (MF: 93/145 GHz), Ultra-High-Frequency (UHF: 225/285 GHz), and Low-Frequency (LF: 27/39 GHz). The three SATs will be able to map $\sim$10% of the sky to a noise level of 2 $μ$K-arcmin when combining 93 and 145 GHz. The multiple frequency bands will allow the CMB to be separated from galactic foregrounds (primarily synchrotron and dust), with the primary science goal of characterizing the primordial tensor-to-scalar ratio, $r$, at a target level of $σ\left(r\right) \approx 0.003$. △ Less

Submitted 23 January, 2020; v1 submitted 21 January, 2020; originally announced January 2020.

Printed high-mobility p-type buffer layers on perovskite photovoltaics for efficient semi-transparent devices

Authors: Robert A. Jagt, Tahmida N. Huq, Sam A. Hill, Maung Thway, Tianyuan Liu, Mari Napari, Bart Roose, Krzysztof Gałkowsk, Weiwei Li, Serena Fen Lin, Samuel D. Stranks, Judith L. MacManus-Driscoll, Robert L. Z. Hoye

Abstract: Perovskite solar cells (PSCs) with transparent electrodes can be integrated with existing solar panels in tandem configurations to increase the power conversion efficiency. A critical layer in semi-transparent PSCs is the inorganic buffer layer, which protects the PSC against damage when the transparent electrode is sputtered on top. The development of n-i-p structured semi-transparent PSCs has be… ▽ More Perovskite solar cells (PSCs) with transparent electrodes can be integrated with existing solar panels in tandem configurations to increase the power conversion efficiency. A critical layer in semi-transparent PSCs is the inorganic buffer layer, which protects the PSC against damage when the transparent electrode is sputtered on top. The development of n-i-p structured semi-transparent PSCs has been hampered by the lack of suitable p-type buffer layers. In this work we develop a p-type CuOx buffer layer, which can be grown uniformly over the perovskite device without damaging the perovskite or organic charge transport layers, can be grown using industrially scalable techniques and has high hole mobility (4.3 +/- 2 cm2 V-1 s-1), high transmittance (>95%), and a suitable ionisation potential for hole extraction (5.3 +/- 0.2 eV). Semi-transparent PSCs with efficiencies up to 16.7% are achieved using the CuOx buffer layer. Our work demonstrates a new approach to integrate PSCs into tandem configurations, as well as enable the development of other devices that need high quality p-type layers. △ Less

Submitted 21 January, 2020; originally announced January 2020.