-
Earth Virtualization Engines -- A Technical Perspective
Authors:
Torsten Hoefler,
Bjorn Stevens,
Andreas F. Prein,
Johanna Baehr,
Thomas Schulthess,
Thomas F. Stocker,
John Taylor,
Daniel Klocke,
Pekka Manninen,
Piers M. Forster,
Tobias Kölling,
Nicolas Gruber,
Hartwig Anzt,
Claudia Frauen,
Florian Ziemen,
Milan Klöwer,
Karthik Kashinath,
Christoph Schär,
Oliver Fuhrer,
Bryan N. Lawrence
Abstract:
Participants of the Berlin Summit on Earth Virtualization Engines (EVEs) discussed ideas and concepts to improve our ability to cope with climate change. EVEs aim to provide interactive and accessible climate simulations and data for a wide range of users. They combine high-resolution physics-based models with machine learning techniques to improve the fidelity, efficiency, and interpretability of…
▽ More
Participants of the Berlin Summit on Earth Virtualization Engines (EVEs) discussed ideas and concepts to improve our ability to cope with climate change. EVEs aim to provide interactive and accessible climate simulations and data for a wide range of users. They combine high-resolution physics-based models with machine learning techniques to improve the fidelity, efficiency, and interpretability of climate projections. At their core, EVEs offer a federated data layer that enables simple and fast access to exabyte-sized climate data through simple interfaces. In this article, we summarize the technical challenges and opportunities for develo** EVEs, and argue that they are essential for addressing the consequences of climate change.
△ Less
Submitted 16 September, 2023;
originally announced September 2023.
-
On the minisymposium problem
Authors:
Peter Danziger,
Eric Mendelsohn,
Brett Stevens,
Tommaso Traetta
Abstract:
The generalized Oberwolfach problem asks for a factorization of the complete graph $K_v$ into prescribed $2$-factors and at most a $1$-factor. When all $2$-factors are pairwise isomorphic and $v$ is odd, we have the classic Oberwolfach problem, which was originally stated as a seating problem: given $v$ attendees at a conference with $t$ circular tables such that the $i$th table seats $a_i$ people…
▽ More
The generalized Oberwolfach problem asks for a factorization of the complete graph $K_v$ into prescribed $2$-factors and at most a $1$-factor. When all $2$-factors are pairwise isomorphic and $v$ is odd, we have the classic Oberwolfach problem, which was originally stated as a seating problem: given $v$ attendees at a conference with $t$ circular tables such that the $i$th table seats $a_i$ people and ${\sum_{i=1}^t a_i = v}$, find a seating arrangement over the $\frac{v-1}{2}$ days of the conference, so that every person sits next to each other person exactly once.
In this paper we introduce the related {\em minisymposium problem}, which requires a solution to the generalized Oberwolfach problem on $v$ vertices that contains a subsystem on $m$ vertices. That is, the decomposition restricted to the required $m$ vertices is a solution to the generalized Oberwolfach problem on $m$ vertices. In the seating context above, the larger conference contains a minisymposium of $m$ participants, and we also require that pairs of these $m$ participants be seated next to each other for $\left\lfloor\frac{m-1}{2}\right\rfloor$ of the days.
When the cycles are as long as possible, i.e.\ $v$, $m$ and $v-m$, a flexible method of Hilton and Johnson provides a solution. We use this result to provide further solutions when $v \equiv m \equiv 2 \pmod 4$ and all cycle lengths are even. In addition, we provide extensive results in the case where all cycle lengths are equal to $k$, solving all cases when $m\mid v$, except possibly when $k$ is odd and $v$ is even.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
The $q$-Analogue of Zero Forcing for Certain Families of Graphs
Authors:
Shaun Fallat,
Neha Joshi,
Roghayeh Maleki,
Karen Meagher,
Seyed Ahmad Mojallal,
Shahla Nasserasr,
Mahsa N. Shirazi,
Andriaherimanana Sarobidy Razafimahatratra,
Brett Stevens
Abstract:
Zero forcing is a combinatorial game played on a graph with the ultimate goal of changing the colour of all the vertices at minimal cost. Originally this game was conceived as a one player game, but later a two-player version was devised in-conjunction with studies on the inertia of a graph, and has become known as the $q$-analogue of zero forcing. In this paper, we study and compute the $q$-analo…
▽ More
Zero forcing is a combinatorial game played on a graph with the ultimate goal of changing the colour of all the vertices at minimal cost. Originally this game was conceived as a one player game, but later a two-player version was devised in-conjunction with studies on the inertia of a graph, and has become known as the $q$-analogue of zero forcing. In this paper, we study and compute the $q$-analogue zero forcing number for various families of graphs. We begin with by considering a concept of contraction associated with trees. We then significantly generalize an equation between this $q$-analogue of zero forcing and a corresponding nullity parameter for all threshold graphs. We close by studying the $q$-analogue of zero forcing for certain Kneser graphs, and a variety of cartesian products of structured graphs.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Some complementary Gray codes
Authors:
Adam Hoyt,
Brett Stevens
Abstract:
A complementary Gray code for binary n-tuples is one that, when all the tuples are complemented, is identical to itself; this is equivalent to the complement of the first half of the code being identical to the second half. We generalize the notion of complementary to q-ary n-tuples, fixed size combinations of an n-set and permutations and, in each case, construct complementary Gray codes. We rela…
▽ More
A complementary Gray code for binary n-tuples is one that, when all the tuples are complemented, is identical to itself; this is equivalent to the complement of the first half of the code being identical to the second half. We generalize the notion of complementary to q-ary n-tuples, fixed size combinations of an n-set and permutations and, in each case, construct complementary Gray codes. We relax, as weakly as possible, the notions of complementary to cases where necessary conditions for existence are violated and construct Gray codes within the weakened definitions: these include binary n-tuples when n is odd and Lee metric q-ary n-tuples when n is odd and q is even. Finally a lemma used in the construction for permutations offers the first known cyclic Gray code for the permutations of a particular family of multisets.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Sets of mutually orthogoval projective and affine planes
Authors:
Charles J. Colbourn,
Colin Ingalls,
Jonathan Jedwab,
Mark Saaltink,
Ken W. Smith,
Brett Stevens
Abstract:
A pair of planes, both projective or both affine, of the same order and on the same pointset are orthogoval if each line of one plane intersects each line of the other plane in at most two points. In this paper we prove new constructions for sets of mutually orthogoval planes, both projective and affine, and review known results that are equivalent to sets of more than two mutually orthogoval plan…
▽ More
A pair of planes, both projective or both affine, of the same order and on the same pointset are orthogoval if each line of one plane intersects each line of the other plane in at most two points. In this paper we prove new constructions for sets of mutually orthogoval planes, both projective and affine, and review known results that are equivalent to sets of more than two mutually orthogoval planes. We also discuss the connection between sets of mutually orthogoval planes and covering arrays.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Difference Methods for Double Change Covering Designs
Authors:
Amanda Lynn Chafee,
Brett Stevens
Abstract:
A \textbf{double change covering design} is a $v$-set $X$ and an ordered list $\mathcal{L}$ of $b$ blocks of size $k$ where every $t$-set must occur in at least one block. Each pair of consecutive blocks differs by exactly two elements. A double change covering design is circular when the first and last blocks also differ by two elements. We give a recursive construction that uses 1-factorizations…
▽ More
A \textbf{double change covering design} is a $v$-set $X$ and an ordered list $\mathcal{L}$ of $b$ blocks of size $k$ where every $t$-set must occur in at least one block. Each pair of consecutive blocks differs by exactly two elements. A double change covering design is circular when the first and last blocks also differ by two elements. We give a recursive construction that uses 1-factorizations and expansion sets to increase $v$ by $\frac{v+k-2}{k-2}$. We construct ${\rm CDCCD}(2k-2,k,k-1)$ and ${\rm CDCCD}(2k-1,k,k-2)$ from single change covering designs. We use difference methods to construct tight ${\rm CDCCD(4k-5,k,4k-5)$, five infinite families for any $k\geq 3$, minimum ${\rm CDCCD}(c(4k-6)+1,k,c^2(4k-6)+c)$ when $c\leq 5$ and ${\rm CDCCD}(61,4,366)$. Finally, from these, we use the recursion to construct twelve additional minimum CDCCD.
△ Less
Submitted 25 September, 2022;
originally announced September 2022.
-
Linear and Circular Single Change Covering Designs Re-visited
Authors:
Amanda Chafee,
Brett Stevens
Abstract:
A \textbf{single change covering design} is a $v$-set $X$ and an ordered list $\cL$ of $b$ blocks of size $k$ where every $t$-set must occur in at least one block. Each pair of consecutive blocks differs by exactly one element. A single change covering design is circular when the first and last blocks also differ by one element. A single change covering design is minimum if no other smaller design…
▽ More
A \textbf{single change covering design} is a $v$-set $X$ and an ordered list $\cL$ of $b$ blocks of size $k$ where every $t$-set must occur in at least one block. Each pair of consecutive blocks differs by exactly one element. A single change covering design is circular when the first and last blocks also differ by one element. A single change covering design is minimum if no other smaller design can be constructed for a given $v, k$.
In this paper we use a new recursive construction to solve the existence of circular \sccd($v,4,b$) for all $v$ and three residue classes of circular \sccd($v,5,b$) modulo 16. We solve the existence of three residue classes of \sccd$(v,5,b)$ modulo 16. We prove the existence of circular \sccd$(2c(k-1)+1,k,c^2(2k-2)+c)$, for all $c\geq 1, k\geq2 $, using difference methods.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Bounds on Covering Codes in RT spaces using Ordered Covering Arrays
Authors:
André Guerino Castoldi,
Emerson Luiz do Monte Carmelo,
Lucia Moura,
Daniel Panario,
Brett Stevens
Abstract:
In this work, constructions of ordered covering arrays are discussed and applied to obtain new upper bounds on covering codes in Rosenbloom-Tsfasman spaces (RT spaces), improving or extending some previous results.
In this work, constructions of ordered covering arrays are discussed and applied to obtain new upper bounds on covering codes in Rosenbloom-Tsfasman spaces (RT spaces), improving or extending some previous results.
△ Less
Submitted 30 July, 2022;
originally announced August 2022.
-
Ordered Covering Arrays and Upper Bounds on Covering Codes in NRT spaces
Authors:
André Guerino Castoldi,
Emerson L. Monte Carmelo,
Lucia Moura,
Daniel Panario,
Brett Stevens
Abstract:
This work shows several direct and recursive constructions of ordered covering arrays using projection, fusion, column augmentation, derivation, concatenation and cartesian product. Upper bounds on covering codes in NRT spaces are also obtained by improving a general upper bound. We explore the connection between ordered covering arrays and covering codes in NRT spaces, which generalize similar re…
▽ More
This work shows several direct and recursive constructions of ordered covering arrays using projection, fusion, column augmentation, derivation, concatenation and cartesian product. Upper bounds on covering codes in NRT spaces are also obtained by improving a general upper bound. We explore the connection between ordered covering arrays and covering codes in NRT spaces, which generalize similar results for the Hamming metric. Combining the new upper bounds for covering codes in NRT spaces and ordered covering arrays, we improve upper bounds on covering codes in NRT spaces for larger alphabets. We give tables comparing the new upper bounds for covering codes to existing ones.
△ Less
Submitted 31 July, 2022;
originally announced August 2022.
-
Ordered Orthogonal Array Construction Using LFSR Sequences
Authors:
André Guerino Castoldi,
Lucia Moura,
Daniel Panario,
Brett Stevens
Abstract:
We present a new construction of ordered orthogonal arrays (OOA) of strength $t$ with $(q + 1)t$ columns over a finite field $\mathbb{F}_{q}$ using linear feedback shift register sequences (LFSRs). OOAs are naturally related to $(t, m, s)$-nets, linear codes, and MDS codes. Our construction selects suitable columns from the array formed by all subintervals of length $\frac{q^{t}-1}{q-1}$ of an LFS…
▽ More
We present a new construction of ordered orthogonal arrays (OOA) of strength $t$ with $(q + 1)t$ columns over a finite field $\mathbb{F}_{q}$ using linear feedback shift register sequences (LFSRs). OOAs are naturally related to $(t, m, s)$-nets, linear codes, and MDS codes. Our construction selects suitable columns from the array formed by all subintervals of length $\frac{q^{t}-1}{q-1}$ of an LFSR sequence generated by a primitive polynomial of degree $t$ over $\mathbb{F}_{q}$. We prove properties about the relative positions of runs in an LFSR which guarantee that the constructed OOA has strength $t$. The set of parameters of our OOAs are the same as the ones given by Rosenbloom and Tsfasman (1997) and Skriganov (2002), but the constructed arrays are different. We experimentally verify that our OOAs are stronger than the Rosenbloom-Tsfasman-Skriganov OOAs in the sense that ours are "closer" to being a "full" orthogonal array. We also discuss how our OOA construction relates to previous techniques to build OOAs from a set of linearly independent vectors over $\mathbb{F}_{q}$, as well as to hypergraph homomorphisms.
△ Less
Submitted 30 July, 2022;
originally announced August 2022.
-
Radio spectra of narrow-line Seyfert 1 galaxies observed with ATCA and VLASS
Authors:
Sina Chen,
Jamie B. Stevens,
Philip G. Edwards,
Ari Laor,
Minfeng Gu,
Marco Berton,
Emilia Järvelä,
Preeti Kharb,
Ehud Behar,
Renzhi Su
Abstract:
We present radio spectral analyses for a sample of 29 radio-quiet (RQ) and three radio-loud (RL) narrow-line Seyfert 1 galaxies (NLS1s) detected with the Australia Telescope Compact Array at both 5.5 GHz and 9.0 GHz. The sample is characterized by L_bol/L_Edd > 0.15. The radio slopes in 25 of the 29 RQ NLS1s are steep (alpha_5.5-9.0 < -0.5), as found in earlier studies of RQ high L_bol/L_Edd AGN.…
▽ More
We present radio spectral analyses for a sample of 29 radio-quiet (RQ) and three radio-loud (RL) narrow-line Seyfert 1 galaxies (NLS1s) detected with the Australia Telescope Compact Array at both 5.5 GHz and 9.0 GHz. The sample is characterized by L_bol/L_Edd > 0.15. The radio slopes in 25 of the 29 RQ NLS1s are steep (alpha_5.5-9.0 < -0.5), as found in earlier studies of RQ high L_bol/L_Edd AGN. This steep radio emission may be related to AGN-driven outflows, which are likely more prevalent in high L_bol/L_Edd AGN. In two of the three RL NLS1s, the radio slopes are flat or inverted (alpha_5.5-9.0 > -0.5), indicating a compact optically-thick source, likely a relativistic jet. Archival data at 3.0 GHz, 1.4 GHz, and 0.843 GHz are also compiled, yielding a sample of 17 NLS1s detected in three bands or more. In nine objects, the radio spectra flatten at lower frequencies, with median slopes of alpha_5.5-9.0 = -1.21 +/- 0.17, flattening to alpha_3.0-5.5 = -0.97 +/- 0.27, and to alpha_1.4-3.0 = -0.63 +/- 0.16. A parabolic fit suggests a median spectral turnover of ~ 1 GHz, which implies synchrotron self-absorption in a source with a size of only a fraction of 1 pc, possibly a compact wind or a weak jet. Two objects show significant spectral steepening to alpha < -2 above 3 GHz or 5 GHz, which may suggest relic emission from past ejection of radio emitting plasma, of the order of a few years to a few decades ago. Finally, two objects present a single spectral slope consistent with star-forming activity.
△ Less
Submitted 22 February, 2022;
originally announced February 2022.
-
Comparing balanced $\mathbb{Z}_v$-sequences obtained from ElGamal function to random balanced sequences
Authors:
Daniel Panario,
Lucas Pandolfo Perin,
Brett Stevens
Abstract:
In this paper, we investigate the randomness properties of sequences in $\mathbb{Z}_v$ derived from permutations in $\mathbb{Z}_{p}^*$ using the remainder function modulo $v$, where $p$ is a prime integer. Motivated by earlier studies with a cryptographic focus we compare sequences constructed from the ElGamal function $x \to g^x$ for $x\in\mathbb{Z}_{>0}$ and $g$ a primitive element of…
▽ More
In this paper, we investigate the randomness properties of sequences in $\mathbb{Z}_v$ derived from permutations in $\mathbb{Z}_{p}^*$ using the remainder function modulo $v$, where $p$ is a prime integer. Motivated by earlier studies with a cryptographic focus we compare sequences constructed from the ElGamal function $x \to g^x$ for $x\in\mathbb{Z}_{>0}$ and $g$ a primitive element of $\mathbb{Z}_{p}^*$, to sequences constructed from random permutations of $\mathbb{Z}_{p}^*$. We prove that sequences obtained from ElGamal have maximal period and behave similarly to random permutations with respect to the balance and run properties of Golomb's postulates for pseudo-random sequences. Additionally we show that they behave similarly to random permutations for the tuple balance property. This requires some significant work determining properties of random balanced periodic sequences. In general, for these properties and excepting for very unlikely events, the ElGamal sequences behave the same as random balanced sequences.
△ Less
Submitted 22 December, 2021;
originally announced December 2021.
-
An Extension of the Erdős-Ko-Rado Theorem to uniform set partitions
Authors:
Karen Meagher,
Mahsa N. Shirazi,
Brett Stevens
Abstract:
A $(k,\ell)$-partition is a set partition which has $\ell$ blocks each of size $k$. Two uniform set partitions $P$ and $Q$ are said to be partially $t$-intersecting if there exist blocks $P_{i}$ in $P$ and $Q_{j}$ in $Q$ such that $\left| P_{i} \cap Q_{j} \right|\geq t$. In this paper we prove a version of the Erdős-Ko-Rado theorem for partially $2$-intersecting $(k,\ell)$-partitions. In particula…
▽ More
A $(k,\ell)$-partition is a set partition which has $\ell$ blocks each of size $k$. Two uniform set partitions $P$ and $Q$ are said to be partially $t$-intersecting if there exist blocks $P_{i}$ in $P$ and $Q_{j}$ in $Q$ such that $\left| P_{i} \cap Q_{j} \right|\geq t$. In this paper we prove a version of the Erdős-Ko-Rado theorem for partially $2$-intersecting $(k,\ell)$-partitions. In particular, we show for $\ell$ sufficiently large, the set of all $(k,\ell)$-partitions in which a block contains a fixed pair is the largest set of 2-partially intersecting $(k,\ell)$-partitions. For for $k=3$, we show this result holds for all $\ell$.
△ Less
Submitted 17 August, 2021;
originally announced August 2021.
-
On moist potential temperatures and their ability to characterize differences in the properties of air parcels
Authors:
Pascal Marquet,
Bjorn Stevens
Abstract:
A framework is introduced to compare moist `potential' temperatures. The equivalent potential temperature, $θ_e,$ the liquid water potential temperature, $θ_\ell,$ and the entropy potential temperature, $θ_s$, are all shown to be potential temperatures, in the sense that they measure the temperatures of certain reference state systems whose entropy is the same as that of the air-parcel. They only…
▽ More
A framework is introduced to compare moist `potential' temperatures. The equivalent potential temperature, $θ_e,$ the liquid water potential temperature, $θ_\ell,$ and the entropy potential temperature, $θ_s$, are all shown to be potential temperatures, in the sense that they measure the temperatures of certain reference state systems whose entropy is the same as that of the air-parcel. They only differ in the choice of reference state composition: $θ_\ell$ describes the temperature a condensate-free state, $θ_e$ a vapor-free state, and $θ_s$ a water-free state would require to have the same entropy as the given state. Although in this sense $θ_e,$ $θ_\ell,$ and $θ_s$ are all different flavors of the same thing, only $θ_\ell$ satisfies the stricter definition of a `potential temperature', as corresponding to a reference temperature accessible by an isentropic and closed transformation of a system in equilibrium; both $θ_e$ and $θ_\ell$ measure the `relative' enthalpy of an air parcel at their respective reference states; but only $θ_s$ measures air-parcel entropy. None mix linearly, but all do so approximately, and all reduce to the dry potential temperature, $θ$ in the limit as the water mass fraction goes to zero. As is well known, $θ$ does mix linearly and inherits all the favorable (entropic, enthalpic, and potential temperature) properties of its various -- but descriptively less rich -- moist counterparts. All, involve quite complex expressions, but admit relatively simple and useful approximations. Of the three moist `potential' temperatures, $θ_s$ is the least familiar, but the most well mixed in the broader tropics, a property that merits further study as a possible basis for constraining mixing processes.
△ Less
Submitted 24 November, 2021; v1 submitted 3 April, 2021;
originally announced April 2021.
-
The combinatorial game nofil played on Steiner Triple Systems
Authors:
Melissa A. Huggan,
Svenja Huntemann,
Brett Stevens
Abstract:
We introduce an impartial combinatorial game on Steiner triple systems called Nofil. Players move alternately, choosing points of the triple system. If a player is forced to fill a block on their turn, they lose. We explore the play of Nofil on all Steiner triple systems up to order 15 and a sampling for orders 19, 21, and 25. We determine the optimal strategies by computing the nim-values for eac…
▽ More
We introduce an impartial combinatorial game on Steiner triple systems called Nofil. Players move alternately, choosing points of the triple system. If a player is forced to fill a block on their turn, they lose. We explore the play of Nofil on all Steiner triple systems up to order 15 and a sampling for orders 19, 21, and 25. We determine the optimal strategies by computing the nim-values for each game and its subgames. The game Nofil can be thought of in terms of play on a corresponding hypergraph. As game play progresses, the hypergraph shrinks and will eventually be equivalent to playing the game Node Kayles on an isomorphic graph. Node Kayles is well studied and understood. Motivated by this, we study which Node Kayles positions can be reached, i.e. embedded into a Steiner triple system. We prove necessary conditions and sufficient conditions for the existence of such graph embeddings and conclude that the complexity of determining the outcome of the game Nofil on Steiner triple systems is PSPACE-complete.
△ Less
Submitted 24 March, 2021;
originally announced March 2021.
-
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares
Authors:
Noah Rubin,
Curtis Bright,
Kevin K. H. Cheung,
Brett Stevens
Abstract:
In this paper we provide results on using integer programming (IP) and constraint programming (CP) to search for sets of mutually orthogonal latin squares (MOLS). Both programming paradigms have previously successfully been used to search for MOLS, but solvers for IP and CP solvers have significantly improved in recent years and data on how modern IP and CP solvers perform on the MOLS problem is l…
▽ More
In this paper we provide results on using integer programming (IP) and constraint programming (CP) to search for sets of mutually orthogonal latin squares (MOLS). Both programming paradigms have previously successfully been used to search for MOLS, but solvers for IP and CP solvers have significantly improved in recent years and data on how modern IP and CP solvers perform on the MOLS problem is lacking. Using state-of-the-art solvers as black boxes we were able to quickly find pairs of MOLS (or prove their nonexistence) in all orders up to ten. Moreover, we improve the effectiveness of the solvers by formulating an extended symmetry breaking method as well as an improvement to the straightforward CP encoding. We also analyze the effectiveness of using CP and IP solvers to search for triples of MOLS, compare our timings to those which have been previously published, and estimate the running time of using this approach to resolve the longstanding open problem of determining the existence of a triple of MOLS of order ten.
△ Less
Submitted 19 March, 2021;
originally announced March 2021.
-
A SAT-based Resolution of Lam's Problem
Authors:
Curtis Bright,
Kevin K. H. Cheung,
Brett Stevens,
Ilias Kotsireas,
Vijay Ganesh
Abstract:
In 1989, computer searches by Lam, Thiel, and Swiercz experimentally resolved Lam's problem from projective geometry$\unicode{x2014}$the long-standing problem of determining if a projective plane of order ten exists. Both the original search and an independent verification in 2011 discovered no such projective plane. However, these searches were each performed using highly specialized custom-writt…
▽ More
In 1989, computer searches by Lam, Thiel, and Swiercz experimentally resolved Lam's problem from projective geometry$\unicode{x2014}$the long-standing problem of determining if a projective plane of order ten exists. Both the original search and an independent verification in 2011 discovered no such projective plane. However, these searches were each performed using highly specialized custom-written code and did not produce nonexistence certificates. In this paper, we resolve Lam's problem by translating the problem into Boolean logic and use satisfiability (SAT) solvers to produce nonexistence certificates that can be verified by a third party. Our work uncovered consistency issues in both previous searches$\unicode{x2014}$highlighting the difficulty of relying on special-purpose search code for nonexistence results.
△ Less
Submitted 8 December, 2020;
originally announced December 2020.
-
Bistatic Radar Observations of Near-Earth Asteroid (163899) 2003 SD220 from the Southern Hemisphere
Authors:
Shinji Horiuchi,
Blake Molyneux,
Jamie B. Stevens,
Graham Baines,
Craig Benson,
Zohair Abu-Shaban,
Jon D. Giorgini,
Lance A. M. Benner,
Shantanu P. Naidu,
Chris J. Phillips,
Philip G. Edwards,
Ed Kruzins,
Nick J. S. Stacy,
Martin A. Slade,
John E. Reynolds,
Joseph Lazio
Abstract:
We report results of Canberra-ATCA Doppler-only continuous wave (CW) radar observations of near-Earth asteroid (163899) 2003 SD220 at a receiving frequency of 7159 MHz (4.19 cm) on 2018 December 20, 21, and 22 during its close approach within 0.019 au (7.4 lunar distances). Echo power spectra provide evidence that the shape is significantly elongated, asymmetric, and has at least one relatively la…
▽ More
We report results of Canberra-ATCA Doppler-only continuous wave (CW) radar observations of near-Earth asteroid (163899) 2003 SD220 at a receiving frequency of 7159 MHz (4.19 cm) on 2018 December 20, 21, and 22 during its close approach within 0.019 au (7.4 lunar distances). Echo power spectra provide evidence that the shape is significantly elongated, asymmetric, and has at least one relatively large concavity. An average spectrum per track yields an OC (opposite sense of circular polarisation) radar cross section of 0.39, 0.27, and 0.25 km$^{2}$, respectively, with an uncertainty of 35 \%. Variations by roughly a factor of two in the limb-to-limb bandwidth over the three days indicate rotation of an elongated object. We obtain a circular polarization ratio of 0.21 $\pm$ 0.07 that is consistent with, but somewhat lower than, the average among other S-class near-Earth asteroids observed by radar.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
FiniteNet: A Fully Convolutional LSTM Network Architecture for Time-Dependent Partial Differential Equations
Authors:
Ben Stevens,
Tim Colonius
Abstract:
In this work, we present a machine learning approach for reducing the error when numerically solving time-dependent partial differential equations (PDE). We use a fully convolutional LSTM network to exploit the spatiotemporal dynamics of PDEs. The neural network serves to enhance finite-difference and finite-volume methods (FDM/FVM) that are commonly used to solve PDEs, allowing us to maintain gua…
▽ More
In this work, we present a machine learning approach for reducing the error when numerically solving time-dependent partial differential equations (PDE). We use a fully convolutional LSTM network to exploit the spatiotemporal dynamics of PDEs. The neural network serves to enhance finite-difference and finite-volume methods (FDM/FVM) that are commonly used to solve PDEs, allowing us to maintain guarantees on the order of convergence of our method. We train the network on simulation data, and show that our network can reduce error by a factor of 2 to 3 compared to the baseline algorithms. We demonstrate our method on three PDEs that each feature qualitatively different dynamics. We look at the linear advection equation, which propagates its initial conditions at a constant speed, the inviscid Burgers' equation, which develops shockwaves, and the Kuramoto-Sivashinsky (KS) equation, which is chaotic.
△ Less
Submitted 7 February, 2020;
originally announced February 2020.
-
Enhancement of shock-capturing methods via machine learning
Authors:
Ben Stevens,
Tim Colonius
Abstract:
In recent years, machine learning has been used to create data-driven solutions to problems for which an algorithmic solution is intractable, as well as fine-tuning existing algorithms. This research applies machine learning to the development of an improved finite-volume method for simulating PDEs with discontinuous solutions. Shock capturing methods make use of nonlinear switching functions that…
▽ More
In recent years, machine learning has been used to create data-driven solutions to problems for which an algorithmic solution is intractable, as well as fine-tuning existing algorithms. This research applies machine learning to the development of an improved finite-volume method for simulating PDEs with discontinuous solutions. Shock capturing methods make use of nonlinear switching functions that are not guaranteed to be optimal. Because data can be used to learn nonlinear relationships, we train a neural network to improve the results of a fifth-order WENO method. We post-process the outputs of the neural network to guarantee that the method is consistent. The training data consists of the exact map** between cell averages and interpolated values for a set of integrable functions that represent waveforms we would expect to see while simulating a PDE. We demonstrate our method on linear advection of a discontinuous function, the inviscid Burgers' equation, and the 1-D Euler equations. For the latter, we examine the Shu-Osher model problem for turbulence-shockwave interactions. We find that our method outperforms WENO in simulations where the numerical solution becomes overly diffused due to numerical viscosity.
△ Less
Submitted 6 February, 2020;
originally announced February 2020.
-
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
Authors:
Curtis Bright,
Kevin K. H. Cheung,
Brett Stevens,
Ilias Kotsireas,
Vijay Ganesh
Abstract:
In 1983, a computer search was performed for ovals in a projective plane of order ten. The search was exhaustive and negative, implying that such ovals do not exist. However, no nonexistence certificates were produced by this search, and to the best of our knowledge the search has never been independently verified. In this paper, we rerun the search for ovals in a projective plane of order ten and…
▽ More
In 1983, a computer search was performed for ovals in a projective plane of order ten. The search was exhaustive and negative, implying that such ovals do not exist. However, no nonexistence certificates were produced by this search, and to the best of our knowledge the search has never been independently verified. In this paper, we rerun the search for ovals in a projective plane of order ten and produce a collection of nonexistence certificates that, when taken together, imply that such ovals do not exist. Our search program uses the cube-and-conquer paradigm from the field of satisfiability (SAT) checking, coupled with a programmatic SAT solver and the nauty symbolic computation library for removing symmetries from the search.
△ Less
Submitted 30 May, 2020; v1 submitted 31 January, 2020;
originally announced January 2020.
-
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
Authors:
Curtis Bright,
Kevin K. H. Cheung,
Brett Stevens,
Ilias Kotsireas,
Vijay Ganesh
Abstract:
In the 1970s and 1980s, searches performed by L. Carter, C. Lam, L. Thiel, and S. Swiercz showed that projective planes of order ten with weight 16 codewords do not exist. These searches required highly specialized and optimized computer programs and required about 2,000 hours of computing time on mainframe and supermini computers. In 2011, these searches were verified by D. Roy using an optimized…
▽ More
In the 1970s and 1980s, searches performed by L. Carter, C. Lam, L. Thiel, and S. Swiercz showed that projective planes of order ten with weight 16 codewords do not exist. These searches required highly specialized and optimized computer programs and required about 2,000 hours of computing time on mainframe and supermini computers. In 2011, these searches were verified by D. Roy using an optimized C program and 16,000 hours on a cluster of desktop machines. We performed a verification of these searches by reducing the problem to the Boolean satisfiability problem (SAT). Our verification uses the cube-and-conquer SAT solving paradigm, symmetry breaking techniques using the computer algebra system Maple, and a result of Carter that there are ten nonisomorphic cases to check. Our searches completed in about 30 hours on a desktop machine and produced nonexistence proofs of about 1 terabyte in the DRAT (deletion resolution asymmetric tautology) format.
△ Less
Submitted 1 May, 2020; v1 submitted 31 January, 2020;
originally announced January 2020.
-
A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords
Authors:
Curtis Bright,
Kevin Cheung,
Brett Stevens,
Dominique Roy,
Ilias Kotsireas,
Vijay Ganesh
Abstract:
Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do not exist. In particular, we show that there exist no projective planes of order ten that generate codewords of weight fifteen, a result first shown in 1973 via an exhaustive computer search. We provide a simple satisfiab…
▽ More
Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do not exist. In particular, we show that there exist no projective planes of order ten that generate codewords of weight fifteen, a result first shown in 1973 via an exhaustive computer search. We provide a simple satisfiability (SAT) instance and a certificate of unsatisfiability that can be used to automatically verify this result for the first time. All previous demonstrations of this result have relied on search programs that are difficult or impossible to verify---in fact, our search found partial projective planes that were missed by previous searches due to previously undiscovered bugs. Furthermore, we show how the performance of the SAT solver can be dramatically increased by employing functionality from a computer algebra system (CAS). Our SAT+CAS search runs significantly faster than all other published searches verifying this result.
△ Less
Submitted 25 March, 2020; v1 submitted 10 November, 2019;
originally announced November 2019.
-
Combining crowd-sourcing and deep learning to explore the meso-scale organization of shallow convection
Authors:
Stephan Rasp,
Hauke Schulz,
Sandrine Bony,
Bjorn Stevens
Abstract:
Humans excel at detecting interesting patterns in images, for example those taken from satellites. This kind of anecdotal evidence can lead to the discovery of new phenomena. However, it is often difficult to gather enough data of subjective features for significant analysis. This paper presents an example of how two tools that have recently become accessible to a wide range of researchers, crowd-…
▽ More
Humans excel at detecting interesting patterns in images, for example those taken from satellites. This kind of anecdotal evidence can lead to the discovery of new phenomena. However, it is often difficult to gather enough data of subjective features for significant analysis. This paper presents an example of how two tools that have recently become accessible to a wide range of researchers, crowd-sourcing and deep learning, can be combined to explore satellite imagery at scale. In particular, the focus is on the organization of shallow cumulus convection in the trade wind regions. Shallow clouds play a large role in the Earth's radiation balance yet are poorly represented in climate models. For this project four subjective patterns of organization were defined: Sugar, Flower, Fish and Gravel. On cloud labeling days at two institutes, 67 scientists screened 10,000 satellite images on a crowd-sourcing platform and classified almost 50,000 mesoscale cloud clusters. This dataset is then used as a training dataset for deep learning algorithms that make it possible to automate the pattern detection and create global climatologies of the four patterns. Analysis of the geographical distribution and large-scale environmental conditions indicates that the four patterns have some overlap with established modes of organization, such as open and closed cellular convection, but also differ in important ways. The results and dataset from this project suggests promising research questions. Further, this study illustrates that crowd-sourcing and deep learning complement each other well for the exploration of image datasets.
△ Less
Submitted 21 April, 2020; v1 submitted 5 June, 2019;
originally announced June 2019.
-
Upper bounds on the sizes of variable strength covering arrays using the Lovász local lemma
Authors:
Lucia Moura,
Sebastian Raaphorst,
Brett Stevens
Abstract:
Covering arrays are generalizations of orthogonal arrays that have been widely studied and are used in software testing. The probabilistic method has been employed to derive upper bounds on the sizes of minimum covering arrays and give asymptotic upper bounds that are logarithmic on the number of columns of the array. This corresponds to test suites with a desired level of coverage of the paramete…
▽ More
Covering arrays are generalizations of orthogonal arrays that have been widely studied and are used in software testing. The probabilistic method has been employed to derive upper bounds on the sizes of minimum covering arrays and give asymptotic upper bounds that are logarithmic on the number of columns of the array. This corresponds to test suites with a desired level of coverage of the parameter space where we guarantee the number of test cases is logarithmic on the number of parameters of the system. In this paper, we study variable strength covering arrays, a generalization of covering arrays that uses a hypergraph to specify the sets of columns where coverage is required; (standard) covering arrays is the special case where coverage is required for all sets of columns of a fixed size $t$, its strength. We use the probabilistic method to obtain upper bounds on the number of rows of a variable strength covering array, given in terms of parameters of the hypergraph. We then compare this upper bound with another one given by a density-based greedy algorithm on different types of hypergraph such as $t$-designs, cyclic consecutive hypergraphs, planar triangulation hypergraphs, and a more specific hypergraph given by a clique of higher strength on top of a "base strength". The conclusions are dependent on the class of hypergraph, and we discuss specific characteristics of the hypergraphs which are more amenable to using different versions of the Lovász local lemma.
△ Less
Submitted 31 March, 2019; v1 submitted 16 January, 2019;
originally announced January 2019.
-
On the Structure of Small Strength-$2$ Covering Arrays
Authors:
Janne I. Kokkala,
Karen Meagher,
Reza Naserasr,
Kari J. Nurmela,
Patric R. J. Östergård,
Brett Stevens
Abstract:
A covering array $\rm{CA}(N;t,k,v)$ of strength $t$ is an $N \times k$ array of symbols from an alphabet of size $v$ such that in every $N \times t$ subarray, every $t$-tuple occurs in at least one row. A covering array is \emph{optimal} if it has the smallest possible $N$ for given $t$, $k$, and $v$, and \emph{uniform} if every symbol occurs $\lfloor N/v \rfloor$ or $\lceil N/v \rceil$ times in e…
▽ More
A covering array $\rm{CA}(N;t,k,v)$ of strength $t$ is an $N \times k$ array of symbols from an alphabet of size $v$ such that in every $N \times t$ subarray, every $t$-tuple occurs in at least one row. A covering array is \emph{optimal} if it has the smallest possible $N$ for given $t$, $k$, and $v$, and \emph{uniform} if every symbol occurs $\lfloor N/v \rfloor$ or $\lceil N/v \rceil$ times in every column. Prior to this paper the only known optimal covering arrays for $t=2$ were orthogonal arrays, covering arrays with $v=2$ constructed from Sperner's Theorem and the Erdős-Ko-Rado Theorem, and eleven other parameter sets with $v>2$ and $N > v^2$. In all these cases, there is a uniform covering array with the optimal size. It has been conjectured that there exists a uniform covering array of optimal size for all parameters. In this paper a new lower bound as well as structural constraints for small uniform strength-$2$ covering arrays are given. Moreover, covering arrays with small parameters are studied computationally. The size of an optimal strength-$2$ covering array with $v > 2$ and $N > v^2$ is now known for $21$ parameter sets. Our constructive results continue to support the conjecture.
△ Less
Submitted 27 June, 2019; v1 submitted 11 January, 2019;
originally announced January 2019.
-
Non-uniform covering array with symmetric forbidden edge constraints
Authors:
Brett Stevens
Abstract:
It has been conjectured that whenever an optimal covering array exists there is also a uniform covering array with the same parameters and this is true for all known optimal covering arrays. When used as a test suite, the application context may have pairs of parameters that must be avoided and Covering arrays avoiding forbidden edges (CAFE) are a generalization accommodating this requirement. We…
▽ More
It has been conjectured that whenever an optimal covering array exists there is also a uniform covering array with the same parameters and this is true for all known optimal covering arrays. When used as a test suite, the application context may have pairs of parameters that must be avoided and Covering arrays avoiding forbidden edges (CAFE) are a generalization accommodating this requirement. We prove that there is an arc-transitive, highly symmetric constraint graph where the unique optimal covering array avoiding forbidden edges is not uniform. This does not refute the conjecture but it does show that placing even highly symmetric constraints on covering arrays can force non-uniformity of optimal arrays.
△ Less
Submitted 8 January, 2019;
originally announced January 2019.
-
A general construction of Ordered Orthogonal Arrays using LFSRs
Authors:
Daniel Panario,
Mark Saaltink,
Brett Stevens,
Daniel Wevrick
Abstract:
In \cite{Castoldi}, $q^t \by (q+1)t$ ordered orthogonal arrays (OOAs) of strength $t$ over the alphabet $\FF_q$ were constructed using linear feedback shift register sequences (LFSRs) defined by {\em primitive} polynomials in $\FF_q[x]$. In this paper we extend this result to all polynomials in $\FF_q[x]$ which satisfy some fairly simple restrictions, restrictions that are automatically satisfied…
▽ More
In \cite{Castoldi}, $q^t \by (q+1)t$ ordered orthogonal arrays (OOAs) of strength $t$ over the alphabet $\FF_q$ were constructed using linear feedback shift register sequences (LFSRs) defined by {\em primitive} polynomials in $\FF_q[x]$. In this paper we extend this result to all polynomials in $\FF_q[x]$ which satisfy some fairly simple restrictions, restrictions that are automatically satisfied by primitive polynomials. While these restrictions sometimes reduce the number of columns produced from $(q+1)t$ to a smaller multiple of $t$, in many cases we still obtain the maximum number of columns in the constructed OOA when using non-primitive polynomials. For small values of $q$ and $t$, we generate OOAs in this manner for all permissible polynomials of degree $t$ in $\FF_q[x]$ and compare the results to the ones produced in \cite{Castoldi}, \cite{Rosenbloom} and \cite{Skriganov} showing how close the arrays are to being "full" orthogonal arrays. Unusually for finite fields, our arrays based on non-primitive irreducible and even reducible polynomials are closer to orthogonal arrays than those built from primitive polynomials.
△ Less
Submitted 8 January, 2019; v1 submitted 25 May, 2018;
originally announced May 2018.
-
On the algorithmic complexity of decomposing graphs into regular/irregular structures
Authors:
Arash Ahadi,
Ali Dehghan,
Mohammad-Reza Sadeghi,
Brett Stevens
Abstract:
A locally irregular graph is a graph whose adjacent vertices have distinct degrees, a regular graph is a graph where each vertex has the same degree and a locally regular graph is a graph where for every two adjacent vertices u, v, their degrees are equal. In this work, we study the set of all problems which are related to decomposition of graphs into regular, locally regular and/or locally irregu…
▽ More
A locally irregular graph is a graph whose adjacent vertices have distinct degrees, a regular graph is a graph where each vertex has the same degree and a locally regular graph is a graph where for every two adjacent vertices u, v, their degrees are equal. In this work, we study the set of all problems which are related to decomposition of graphs into regular, locally regular and/or locally irregular subgraphs and we present some polynomial time algorithms, NP-completeness results, lower bounds and upper bounds for them. Among our results, one of our lower bounds makes use of mutually orthogonal Latin squares which is relatively novel.
△ Less
Submitted 29 January, 2018; v1 submitted 25 January, 2018;
originally announced January 2018.
-
A note on Beckett-Gray codes and the relationship of Gray codes to data structures
Authors:
Mark Cooke,
Chris North,
Megan Dewar,
Brett Stevens
Abstract:
In this paper we introduce a natural mathematical structure derived from Samuel Beckett's play "Quad". We call this structure a binary Beckett-Gray code. We enumerate all codes for $n \leq 6$ and give examples for $n=7,8$. Beckett-Gray codes can be realized as successive states of a queue data structure. We show that the binary reflected Gray code can be realized as successive states of two stack…
▽ More
In this paper we introduce a natural mathematical structure derived from Samuel Beckett's play "Quad". We call this structure a binary Beckett-Gray code. We enumerate all codes for $n \leq 6$ and give examples for $n=7,8$. Beckett-Gray codes can be realized as successive states of a queue data structure. We show that the binary reflected Gray code can be realized as successive states of two stack data structures.
△ Less
Submitted 25 August, 2016; v1 submitted 21 August, 2016;
originally announced August 2016.
-
Locating Patterns in the De Bruijn Torus
Authors:
Victoria Horan,
Brett Stevens
Abstract:
The de Bruijn torus (or grid) problem looks to find an $n$-by-$m$ binary matrix in which every possible $j$-by-$k$ submatrix appears exactly once. The existence and construction of these binary matrices was determined in the 70's, with generalizations to $d$-ary matrices in the 80's and 90's. However, these constructions lacked efficient decoding methods, leading to new constructions in the early…
▽ More
The de Bruijn torus (or grid) problem looks to find an $n$-by-$m$ binary matrix in which every possible $j$-by-$k$ submatrix appears exactly once. The existence and construction of these binary matrices was determined in the 70's, with generalizations to $d$-ary matrices in the 80's and 90's. However, these constructions lacked efficient decoding methods, leading to new constructions in the early 2000's. The new constructions develop cross-shaped patterns (rather than rectangular), and rely on a concept known as a half de Bruijn sequence. In this paper, we further advance this construction beyond cross-shape patterns. Furthermore, we show results for universal cycle grids, based off of the one-dimensional universal cycles introduced by Chung, Diaconis, and Graham, in the 90's. These grids have many applications such as robotic vision, location detection, and projective touch-screen displays.
△ Less
Submitted 23 November, 2015; v1 submitted 15 May, 2015;
originally announced May 2015.
-
Asymptotic size of covering arrays: an application of entropy compression
Authors:
Nevena Francetić,
Brett Stevens
Abstract:
A covering array $CA(N; t,k,v)$ is an $N \times k$ array $A$ whose each cell takes a value for a $v$-set $V$ called an alphabet. Moreover, the set $V^t$ is contained in the set of rows of every $N \times t$ subarray of $A$. The parameter $N$ is called the size of an array and $CAN(t,k,v)$ denotes the smallest $N$ for which a $CA(N; t,k,v)$ exists. It is well known that…
▽ More
A covering array $CA(N; t,k,v)$ is an $N \times k$ array $A$ whose each cell takes a value for a $v$-set $V$ called an alphabet. Moreover, the set $V^t$ is contained in the set of rows of every $N \times t$ subarray of $A$. The parameter $N$ is called the size of an array and $CAN(t,k,v)$ denotes the smallest $N$ for which a $CA(N; t,k,v)$ exists. It is well known that $CAN(t,k,v) = {\rm Θ}(\log_2 k)$~\cite{godbole_bounds_1996}. In this paper we derive two upper bounds on $d(t,v)=\limsup_{k \rightarrow \infty} \frac{CAN(t,k,v)}{\log_2 k}$ using the algorithmic approach to the Lovász local lemma also known as entropy compression.
△ Less
Submitted 30 March, 2015;
originally announced March 2015.
-
A Digital-Receiver for the Murchison Widefield Array
Authors:
Thiagaraj Prabu,
K. S. Srivani,
D. Anish Roshi,
P. A. Kamini,
S. Madhavi,
David Emrich,
Brian Crosse,
Andrew J. Williams,
Mark Waterson,
Avinash A. Deshpande,
N. Udaya Shankar,
Ravi Subrahmanyan,
Frank H. Briggs,
Robert F. Goeke,
Steven J. Tingay,
Melanie Johnston-Hollitt,
Gopalakrishna M R,
Edward H. Morgan,
Joseph Pathikulangara,
John D. Bunton,
Grant Hampson,
Christopher Williams,
Stephen M. Ord,
Randall B. Wayth,
Deepak Kumar
, et al. (33 additional authors not shown)
Abstract:
An FPGA-based digital-receiver has been developed for a low-frequency imaging radio interferometer, the Murchison Widefield Array (MWA). The MWA, located at the Murchison Radio-astronomy Observatory (MRO) in Western Australia, consists of 128 dual-polarized aperture-array elements (tiles) operating between 80 and 300\,MHz, with a total processed bandwidth of 30.72 MHz for each polarization. Radio-…
▽ More
An FPGA-based digital-receiver has been developed for a low-frequency imaging radio interferometer, the Murchison Widefield Array (MWA). The MWA, located at the Murchison Radio-astronomy Observatory (MRO) in Western Australia, consists of 128 dual-polarized aperture-array elements (tiles) operating between 80 and 300\,MHz, with a total processed bandwidth of 30.72 MHz for each polarization. Radio-frequency signals from the tiles are amplified and band limited using analog signal conditioning units; sampled and channelized by digital-receivers. The signals from eight tiles are processed by a single digital-receiver, thus requiring 16 digital-receivers for the MWA. The main function of the digital-receivers is to digitize the broad-band signals from each tile, channelize them to form the sky-band, and transport it through optical fibers to a centrally located correlator for further processing. The digital-receiver firmware also implements functions to measure the signal power, perform power equalization across the band, detect interference-like events, and invoke diagnostic modes. The digital-receiver is controlled by high-level programs running on a single-board-computer. This paper presents the digital-receiver design, implementation, current status, and plans for future enhancements.
△ Less
Submitted 13 February, 2015;
originally announced February 2015.
-
A study of fundamental limitations to statistical detection of redshifted HI from the epoch of reionization
Authors:
Nithyanandan Thyagarajan,
N. Udaya Shankar,
Ravi Subrahmanyan,
Wayne Arcus,
Gianni Bernardi,
Judd D. Bowman,
Frank Briggs,
John D. Bunton,
Roger J. Cappallo,
Brian E. Corey,
Ludi deSouza,
David Emrich,
Bryan M. Gaensler,
Robert F. Goeke,
Lincoln J. Greenhill,
Bryna J. Hazelton,
David Herne,
Jacqueline N. Hewitt,
Melanie Johnston-Hollitt,
David L. Kaplan,
Justin C. Kasper,
Barton B. Kincaid,
Ronald Koenig,
Eric Kratzenberg,
Colin J. Lonsdale
, et al. (24 additional authors not shown)
Abstract:
In this paper we explore for the first time the relative magnitudes of three fundamental sources of uncertainty, namely, foreground contamination, thermal noise and sample variance in detecting the HI power spectrum from the Epoch of Reionization (EoR). We derive limits on the sensitivity of a Fourier synthesis telescope to detect EoR based on its array configuration and a statistical representati…
▽ More
In this paper we explore for the first time the relative magnitudes of three fundamental sources of uncertainty, namely, foreground contamination, thermal noise and sample variance in detecting the HI power spectrum from the Epoch of Reionization (EoR). We derive limits on the sensitivity of a Fourier synthesis telescope to detect EoR based on its array configuration and a statistical representation of images made by the instrument. We use the Murchison Widefield Array (MWA) configuration for our studies. Using a unified framework for estimating signal and noise components in the HI power spectrum, we derive an expression for and estimate the contamination from extragalactic point-like sources in three-dimensional k-space. Sensitivity for EoR HI power spectrum detection is estimated for different observing modes with MWA. With 1000 hours of observing on a single field using the 128-tile MWA, EoR detection is feasible (S/N > 1 for $k\lesssim 0.8$ Mpc$^{-1}$). Bandpass sha** and refinements to the EoR window are found to be effective in containing foreground contamination, which makes the instrument tolerant to imaging errors. We find that for a given observing time, observing many independent fields of view does not offer an advantage over a single field observation when thermal noise dominates over other uncertainties in the derived power spectrum.
△ Less
Submitted 7 September, 2013; v1 submitted 2 August, 2013;
originally announced August 2013.
-
Science with the Murchison Widefield Array
Authors:
Judd D. Bowman,
Iver Cairns,
David L. Kaplan,
Tara Murphy,
Divya Oberoi,
Lister Staveley-Smith,
Wayne Arcus,
David G. Barnes,
Gianni Bernardi,
Frank H. Briggs,
Shea Brown,
John D. Bunton,
Adam J. Burgasser,
Roger J. Cappallo,
Shami Chatterjee,
Brian E. Corey,
Anthea Coster,
Avinash Deshpande,
Ludi deSouza,
David Emrich,
Philip Erickson,
Robert F. Goeke,
B. M. Gaensler,
Lincoln J. Greenhill,
Lisa Harvey-Smith
, et al. (36 additional authors not shown)
Abstract:
Significant new opportunities for astrophysics and cosmology have been identified at low radio frequencies. The Murchison Widefield Array is the first telescope in the Southern Hemisphere designed specifically to explore the low-frequency astronomical sky between 80 and 300 MHz with arcminute angular resolution and high survey efficiency. The telescope will enable new advances along four key scien…
▽ More
Significant new opportunities for astrophysics and cosmology have been identified at low radio frequencies. The Murchison Widefield Array is the first telescope in the Southern Hemisphere designed specifically to explore the low-frequency astronomical sky between 80 and 300 MHz with arcminute angular resolution and high survey efficiency. The telescope will enable new advances along four key science themes, including searching for redshifted 21 cm emission from the epoch of reionisation in the early Universe; Galactic and extragalactic all-sky southern hemisphere surveys; time-domain astrophysics; and solar, heliospheric, and ionospheric science and space weather. The Murchison Widefield Array is located in Western Australia at the site of the planned Square Kilometre Array (SKA) low-band telescope and is the only low-frequency SKA precursor facility. In this paper, we review the performance properties of the Murchison Widefield Array and describe its primary scientific objectives.
△ Less
Submitted 21 February, 2013; v1 submitted 20 December, 2012;
originally announced December 2012.
-
Sequence variations of the 1-2-3 Conjecture and irregularity strength
Authors:
Ben Seamone,
Brett Stevens
Abstract:
Karonski, Luczak, and Thomason (2004) conjectured that, for any connected graph G on at least three vertices, there exists an edge weighting from {1,2,3} such that adjacent vertices receive different sums of incident edge weights. Bartnicki, Grytczuk, and Niwcyk (2009) made a stronger conjecture, that each edge's weight may be chosen from an arbitrary list of size 3 rather than {1,2,3}. We examine…
▽ More
Karonski, Luczak, and Thomason (2004) conjectured that, for any connected graph G on at least three vertices, there exists an edge weighting from {1,2,3} such that adjacent vertices receive different sums of incident edge weights. Bartnicki, Grytczuk, and Niwcyk (2009) made a stronger conjecture, that each edge's weight may be chosen from an arbitrary list of size 3 rather than {1,2,3}. We examine a variation of these conjectures, where each vertex is coloured with a sequence of edge weights. Such a colouring relies on an ordering of the graph's edges, and so two variations arise -- one where we may choose any ordering of the edges and one where the ordering is fixed. In the former case, we bound the list size required for any graph. In the latter, we obtain a bound on list sizes for graphs with sufficiently large minimum degree. We also extend our methods to a list variation of irregularity strength, where each vertex receives a distinct sequence of edge weights.
△ Less
Submitted 2 November, 2012;
originally announced November 2012.
-
Low Frequency Imaging of Fields at High Galactic Latitude with the Murchison Widefield Array 32-Element Prototype
Authors:
Christopher L. Williams,
Jacqueline N. Hewitt,
Alan M. Levine,
Angelica de Oliveira-Costa,
Judd D. Bowman,
Frank H. Briggs,
B. M. Gaensler,
Lars L. Hernquist,
Daniel A. Mitchell,
Miguel F. Morales,
Shiv K. Sethi,
Ravi Subrahmanyan,
Elaine M. Sadler,
Wayne Arcus,
David G. Barnes,
Gianni Bernardi,
John D. Bunton,
Roger C. Cappallo,
Brian W. Crosse,
Brian E. Corey,
Avinash Deshpande,
Ludi deSouza,
David Emrich,
Robert F. Goeke,
Lincoln J. Greenhill
, et al. (32 additional authors not shown)
Abstract:
The Murchison Widefield Array (MWA) is a new low-frequency, wide field-of-view radio interferometer under development at the Murchison Radio-astronomy Observatory (MRO) in Western Australia. We have used a 32-element MWA prototype interferometer (MWA-32T) to observe two 50-degree diameter fields in the southern sky in the 110 MHz to 200 MHz band in order to evaluate the performance of the MWA-32T,…
▽ More
The Murchison Widefield Array (MWA) is a new low-frequency, wide field-of-view radio interferometer under development at the Murchison Radio-astronomy Observatory (MRO) in Western Australia. We have used a 32-element MWA prototype interferometer (MWA-32T) to observe two 50-degree diameter fields in the southern sky in the 110 MHz to 200 MHz band in order to evaluate the performance of the MWA-32T, to develop techniques for epoch of reionization experiments, and to make measurements of astronomical foregrounds. We developed a calibration and imaging pipeline for the MWA-32T, and used it to produce ~15' angular resolution maps of the two fields. We perform a blind source extraction using these confusion-limited images, and detect 655 sources at high significance with an additional 871 lower significance source candidates. We compare these sources with existing low-frequency radio surveys in order to assess the MWA-32T system performance, wide field analysis algorithms, and catalog quality. Our source catalog is found to agree well with existing low-frequency surveys in these regions of the sky and with statistical distributions of point sources derived from Northern Hemisphere surveys; it represents one of the deepest surveys to date of this sky field in the 110 MHz to 200 MHz band.
△ Less
Submitted 26 March, 2012;
originally announced March 2012.
-
A note on packing spanning trees in graphs and bases in matroids
Authors:
Robert F. Bailey,
Mike Newman,
Brett Stevens
Abstract:
We consider the class of graphs for which the edge connectivity is equal to the maximum number of edge-disjoint spanning trees, and the natural generalization to matroids, where the cogirth is equal to the number of disjoint bases. We provide descriptions of such graphs and matroids, showing that such a graph (or matroid) has a unique decomposition. In the case of graphs, our results are relevant…
▽ More
We consider the class of graphs for which the edge connectivity is equal to the maximum number of edge-disjoint spanning trees, and the natural generalization to matroids, where the cogirth is equal to the number of disjoint bases. We provide descriptions of such graphs and matroids, showing that such a graph (or matroid) has a unique decomposition. In the case of graphs, our results are relevant for certain communication protocols.
△ Less
Submitted 7 February, 2014; v1 submitted 5 March, 2012;
originally announced March 2012.
-
Molecular CO(1-0) gas in the z~2 radio galaxy MRC 0152-209
Authors:
B. H. C. Emonts,
I. Feain,
M. Y. Mao,
R. P. Norris,
G. Miley,
R. D. Ekers,
M. Villar-Martin,
H. J. A. Rottgering,
E. M. Sadler,
G. Rees,
R. Morganti,
D. J. Saikia,
T. A. Oosterloo,
J. B. Stevens,
C. N. Tadhunter
Abstract:
We report the detection of molecular CO(1-0) gas in the high-z radio galaxy MRC 0152-209 (z = 1.92) with the Australia Telescope Compact Array Broadband Backend (ATCA/CABB). This is the third known detection of CO(1-0) in a high-z radio galaxy to date. CO(1-0) is the most robust tracer of the overall molecular gas content (including the wide-spread, low-density and subthermally excited component),…
▽ More
We report the detection of molecular CO(1-0) gas in the high-z radio galaxy MRC 0152-209 (z = 1.92) with the Australia Telescope Compact Array Broadband Backend (ATCA/CABB). This is the third known detection of CO(1-0) in a high-z radio galaxy to date. CO(1-0) is the most robust tracer of the overall molecular gas content (including the wide-spread, low-density and subthermally excited component), hence observations of CO(1-0) are crucial for studying galaxy evolution in the Early Universe. We derive L'(CO) = (6.6 +- 2.0) x 10^10 K km/s pc^2 for MRC 0152-209, which is comparable to that derived from CO(1-0) observations of several high-z submillimetre and starforming BzK galaxies. The CO(1-0) traces a total molecular hydrogen mass of M(H2) = 5 x 10^10 (alpha_x/0.8) Msun. MRC 0152-209 is an infra-red bright radio galaxy, in which a large reservoir of cold molecular gas has not (yet) been depleted by star formation or radio source feedback. Its compact radio source is reliably detected at 40 GHz and has a steep spectral index of alpha = -1.3 between 1.4 and 40 GHz (4-115 GHz in the galaxy's rest-frame). MRC 0152-209 is part of an ongoing systematic ATCA/CABB survey of CO(1-0) in high-z radio galaxies between 1.7 < z < 3.
△ Less
Submitted 4 May, 2011;
originally announced May 2011.
-
CO observations of high-z radio galaxies MRC 2104-242 and MRC 0943-242: spectral-line performance of the Compact Array Broadband Backend
Authors:
B. H. C. Emonts,
R. P. Norris,
I. Feain,
G. Miley,
E. M. Sadler,
M. Villar-Martin,
M. Y. Mao,
T. A. Oosterloo,
R. D. Ekers,
J. B. Stevens,
M. H. Wieringa,
K. E. K. Coppin,
C. N. Tadhunter
Abstract:
We present the first 7-millimetre observations of two high-redshift, Lya-bright radio galaxies (MRC 2104-242 and MRC 0943-242) performed with the 2 x 2 GHz instantaneous bandwidth of the Compact Array Broadband Backend (CABB) at the Australia Telescope Compact Array (ATCA). The aim was to search for 12CO(1-0) emission in these systems and test the millimetre capabilities of CABB for performing spe…
▽ More
We present the first 7-millimetre observations of two high-redshift, Lya-bright radio galaxies (MRC 2104-242 and MRC 0943-242) performed with the 2 x 2 GHz instantaneous bandwidth of the Compact Array Broadband Backend (CABB) at the Australia Telescope Compact Array (ATCA). The aim was to search for 12CO(1-0) emission in these systems and test the millimetre capabilities of CABB for performing spectral line observations at high redshifts. We show that the stable band and enhanced velocity coverage of CABB, combined with hybrid array configurations, provide the ATCA with excellent 7-mm capabilities that allow reliable searches for the ground transition of CO at high redshifts. In this paper we explicitly discuss the calibration procedures used to reach our results. We set a firm upper limit to the mass of molecular gas in MRC 2104-242 (z = 2.5) of M(H2) < 2 x 10^10 (alpha_x/0.8) M_sun. For MRC 0943-242 (z=2.9) we derive an upper limit of M(H2) < 6 x 10^10 (alpha_x/0.8) M_sun. We also find a tentative 3-sigma CO detection in the outer part of the giant Lya halo that surrounds MRC 0943-242. The 30-33 GHz radio continuum of MRC 2104-242 and MRC 0943-242 is reliably detected. Both radio sources show a spectral index of alpha ~ -1.5 between 1.4 and 30 GHz, with no evidence for spectral curvature within this range of frequencies.
△ Less
Submitted 29 March, 2011;
originally announced March 2011.
-
Uncoverings on graphs and network reliability
Authors:
Robert F. Bailey,
Brett Stevens
Abstract:
We propose a network protocol similar to the $k$-tree protocol of Itai and Rodeh [{\em Inform.\ and Comput.}\ {\bf 79} (1988), 43--59]. To do this, we define an {\em $t$-uncovering-by-bases} for a connected graph $G$ to be a collection $\mathcal{U}$ of spanning trees for $G$ such that any $t$-subset of edges of $G$ is disjoint from at least one tree in $\mathcal{U}$, where $t$ is some integer stri…
▽ More
We propose a network protocol similar to the $k$-tree protocol of Itai and Rodeh [{\em Inform.\ and Comput.}\ {\bf 79} (1988), 43--59]. To do this, we define an {\em $t$-uncovering-by-bases} for a connected graph $G$ to be a collection $\mathcal{U}$ of spanning trees for $G$ such that any $t$-subset of edges of $G$ is disjoint from at least one tree in $\mathcal{U}$, where $t$ is some integer strictly less than the edge connectivity of $G$. We construct examples of these for some infinite families of graphs. Many of these infinite families utilise factorisations or decompositions of graphs. In every case the size of the uncovering-by-bases is no larger than the number of edges in the graph and we conjecture that this may be true in general.
△ Less
Submitted 13 April, 2011; v1 submitted 13 December, 2010;
originally announced December 2010.
-
Packing spanning trees and the $k$-tree protocol
Authors:
Robert F. Bailey,
Brett Stevens
Abstract:
We provide a structural description of, and invariants for, maximum spanning tree-packable graphs, i.e. those graphs G for which the edge connectivity of G is equal to the maximum number of edge-disjoint spanning trees in G. These graphs are of interest for the k-tree protocol of Itai and Rodeh [Inform. and Comput. 79 (1988), 43-59].
We provide a structural description of, and invariants for, maximum spanning tree-packable graphs, i.e. those graphs G for which the edge connectivity of G is equal to the maximum number of edge-disjoint spanning trees in G. These graphs are of interest for the k-tree protocol of Itai and Rodeh [Inform. and Comput. 79 (1988), 43-59].
△ Less
Submitted 6 March, 2012; v1 submitted 11 December, 2010;
originally announced December 2010.
-
Head-Tail Galaxies: Beacons of High-Density Regions in Clusters
Authors:
Minnie Y. Mao,
Melanie Johnston-Hollitt,
Jamie B. Stevens,
Simon J. Wotherspoon
Abstract:
Using radio data at 1.4 GHz from the ATCA we identify five head-tail (HT) galaxies in the central region of the Horologium-Reticulum Supercluster (HRS). Physical parameters of the HT galaxies were determined along with substructure in the HRS to probe the relationship between environment and radio properties. Using a density enhancement technique applied to 582 spectroscopic measurements in the…
▽ More
Using radio data at 1.4 GHz from the ATCA we identify five head-tail (HT) galaxies in the central region of the Horologium-Reticulum Supercluster (HRS). Physical parameters of the HT galaxies were determined along with substructure in the HRS to probe the relationship between environment and radio properties. Using a density enhancement technique applied to 582 spectroscopic measurements in the 2 degree x 2 degree region about A3125/A3128, we find all five HT galaxies reside in regions of extremely high density (>100 galaxies/Mpc^3). In fact, the environments surrounding HT galaxies are statistically denser than those environments surrounding non-HT galaxies and among the densest environments in a cluster. Additionally, the HT galaxies are found in regions of enhanced X-ray emission and we show that the enhanced density continues out to substructure groups of 10 members. We propose that it is the high densities that allow ram pressure to bend the HT galaxies as opposed to previously proposed mechanisms relying on exceptionally high peculiar velocities.
△ Less
Submitted 27 October, 2008;
originally announced October 2008.
-
The HI Content of Compact Groups of Galaxies
Authors:
J. B. Stevens,
R. L. Webster,
D. G. Barnes,
D. J. Pisano,
M. J. Drinkwater
Abstract:
The HI content of Hickson Compact Groups in the southern hemisphere is measured using data from the HI Parkes All Sky Survey (HIPASS), and dedicated observations using the narrowband filter on the Multibeam instrument on the Parkes telescope. The expected HI mass of these groups was estimated using the luminosity, diameter and morphological types of the member galaxies, calibrated from published…
▽ More
The HI content of Hickson Compact Groups in the southern hemisphere is measured using data from the HI Parkes All Sky Survey (HIPASS), and dedicated observations using the narrowband filter on the Multibeam instrument on the Parkes telescope. The expected HI mass of these groups was estimated using the luminosity, diameter and morphological types of the member galaxies, calibrated from published data. Taking careful account of non-detection limits, the results show that the compact group population that has been detected by these observations has an HI content similar to that of galaxies in the reference field sample. The upper limits for the undetected groups lie within the normal range; improvement of these limits will require a large increase in sensitivity.
△ Less
Submitted 31 May, 2004;
originally announced June 2004.
-
Multiwavelength observations of the Be/X-ray binary 4U1145-619
Authors:
James B. Stevens,
Pablo Reig,
Malcolm J. Coe,
David H. Buckely,
Juan Fabregat,
Iain A. Steele
Abstract:
We report optical and infrared observations of the massive X-ray binary system 4U1145-619 (V801 Cen) which show that the circumstellar disc of the Be star component is in decline. Infrared J,H,K,L magnitudes of V801Cen have been monitored from 1993 March to 1996 April. H alpha spectra have been obtained throughout the same period. We find that both the infrared excess and the Balmer emission hav…
▽ More
We report optical and infrared observations of the massive X-ray binary system 4U1145-619 (V801 Cen) which show that the circumstellar disc of the Be star component is in decline. Infrared J,H,K,L magnitudes of V801Cen have been monitored from 1993 March to 1996 April. H alpha spectra have been obtained throughout the same period. We find that both the infrared excess and the Balmer emission have been in decline throughout the period of observations. A 13 year optical and X-ray history of the source has been collated, revealing a possible correlation between the optical and X-ray activity. In addition, we have used u,v,b,y,beta indices, corrected for both circumstellar and interstellar effects, to calculate the physical parameters of the underlying B star.
△ Less
Submitted 11 June, 1997;
originally announced June 1997.