Showing 1–50 of 131 results for author: Willis, A

The Polarisation Sky Survey of the Universe's Magnetism (POSSUM): Science Goals and Survey Description

Authors: B. M. Gaensler, G. H. Heald, N. M. McClure-Griffiths, C. S. Anderson, C. L. Van Eck, J. L. West, A. J. M. Thomson, J. P. Leahy, L. Rudnick, Y. K. Ma, Takuya Akahori, G. Gürkan, T. L. Landecker, S. A. Mao, S. P. O'Sullivan, W. Raja, X. Sun, T. Vernstrom, Lerato Baidoo, Ettore Carretti, A. R. Taylor, A. G. Willis, Erik Osinga, J. D. Livingston, E. L. Alexander , et al. (35 additional authors not shown)

Abstract: The Australian SKA Pathfinder (ASKAP) offers powerful new capabilities for studying the polarised and magnetised Universe at radio wavelengths. In this paper, we introduce the Polarisation Sky Survey of the Universe's Magnetism (POSSUM), a groundbreaking survey with three primary objectives: (1) to create a comprehensive Faraday rotation measure (RM) grid of up to one million compact extragalactic… ▽ More The Australian SKA Pathfinder (ASKAP) offers powerful new capabilities for studying the polarised and magnetised Universe at radio wavelengths. In this paper, we introduce the Polarisation Sky Survey of the Universe's Magnetism (POSSUM), a groundbreaking survey with three primary objectives: (1) to create a comprehensive Faraday rotation measure (RM) grid of up to one million compact extragalactic sources across the southern ~50 per cent of the sky (20,630 deg$^2$); (2) to map the intrinsic polarisation and RM properties of a wide range of discrete extragalactic and Galactic objects over the same area; and (3) to contribute interferometric data with excellent surface brightness sensitivity, which can be combined with single-dish data to study the diffuse Galactic interstellar medium. Observations for the full POSSUM survey commenced in May 2023 and are expected to conclude by mid-2028. POSSUM will achieve an RM grid density of around 30-50 RMs per square degree with a median measurement uncertainty of ~1 rad m$^{-2}$. The survey operates primarily over a frequency range of 800-1088 MHz, with an angular resolution of 20'' and a typical RMS sensitivity in Stokes $Q$ or $U$ of 18 $μ$Jy beam$^{-1}$. Additionally, the survey will be supplemented by similar observations covering 1296-1440 MHz over 38 per cent of the sky. POSSUM will enable the discovery and detailed investigation of magnetised phenomena in a wide range of cosmic environments, as well as the interplay between these components. This paper reviews the current science case developed by the POSSUM Collaboration and provides an overview of POSSUM's observations, data processing, outputs, and its complementarity with other radio and multi-wavelength surveys, including future work with the SKA. [Abstract abridged] △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: Accepted for publication in PASA. 32 pages, 9 figures, 1 table

Reexploring Molecular Complexity with ALMA: Insights into chemical differentiation from the molecular composition of hot cores in Sgr B2(N2)

Authors: A. Belloche, R. T. Garrod, H. S. P. Müller, N. J. Morin, S. A. Willis, K. M. Menten

Abstract: We used ALMA to perform a line survey of the high-mass star forming region Sgr B2(N), called ReMoCA. We modeled under the assumption of LTE the spectra obtained toward the sources embedded in the secondary hot core Sgr B2(N2). We compared the chemical composition of these sources to that of sources from the literature and to predictions of the chemical kinetics model MAGICKAL. We detected up to 58… ▽ More We used ALMA to perform a line survey of the high-mass star forming region Sgr B2(N), called ReMoCA. We modeled under the assumption of LTE the spectra obtained toward the sources embedded in the secondary hot core Sgr B2(N2). We compared the chemical composition of these sources to that of sources from the literature and to predictions of the chemical kinetics model MAGICKAL. We detected up to 58 molecules toward Sgr B2(N2)'s hot cores, including up to 24 COMs, as well as many less abundant isotopologs. The compositions of some pairs of sources are well correlated, but differences also exist in particular for HNCO and NH2CHO. The abundances of series of homologous molecules drop by about one order of magnitude at each further step in complexity. The nondetection of radicals yields stringent constraints on the models. The comparison to the chemical models confirms previous evidence of a high cosmic-ray ionization rate in Sgr B2(N). The comparison to sources from the literature gives new insight into chemical differentiation. The composition of most hot cores of Sgr B2(N2) is tightly correlated to that of the hot core G31.41+0.31 and the hot corino IRAS 16293-2422B after normalizing the abundances by classes of molecules (O-, N-, O+N-, and S-bearing). There is no overall correlation between Sgr B2(N2) and the shocked region G+0.693-0.027 also located in Sgr B2, and even less with the cold starless core TMC-1. The class of N-bearing species reveals the largest variance among the four classes of molecules. The S-bearing class shows in contrast the smallest variance. These results imply that the class of N-bearing molecules reacts more sensitively to shocks, low-temperature gas phase chemistry after non-thermal desorption, or density. The abundance shifts observed between the N- and O-bearing molecules may indicate how violently and completely the ice mantles are desorbed. [abridged] △ Less

Submitted 6 May, 2025; originally announced May 2025.

Comments: Accepted for publication in Astronomy and Astrophysics

Optimal body force for heat transfer in turbulent vertical heated pipe flow

Authors: Shijun Chu, Elena Marensi, Ashley P. Willis

Abstract: As buoyancy can help drive a flow, the vertical heated-pipe arrangement is widely used in thermal engineering applications. However, buoyancy suppresses and can even laminarise turbulence in the flow, thereby seriously damaging the heat transfer, measured by the Nusselt number Nu. As buoyancy, measured by the parameter C, is increased, three flow regimes are possible: shear-driven turbulence, lami… ▽ More As buoyancy can help drive a flow, the vertical heated-pipe arrangement is widely used in thermal engineering applications. However, buoyancy suppresses and can even laminarise turbulence in the flow, thereby seriously damaging the heat transfer, measured by the Nusselt number Nu. As buoyancy, measured by the parameter C, is increased, three flow regimes are possible: shear-driven turbulence, laminarised flow, and convective turbulence. In Chu et al. (2024) we employed a variational optimisation method to investigate how the buoyancy changes the structure of the minimal flow perturbation that triggers turbulence. Here, we extend the method to find an optimal body force of limited magnitude that maximises heat transfer, and examine how time-dependence of the flow affects the optimisation in each of the three flow regimes. Optimisations are performed at Re = 3000, and the force is found to laminarise convective turbulence, or make it only weakly chaotic for C up to 8. Consistent with previous computations that assume steady flow, the optimal force induces streamwise-independent rolls, but at larger amplitude the force triggers time-dependent turbulent flow. Transition from the laminar streamwise-independent state to turbulent flow can either enhance Nu or reduce Nu. For highly chaotic flows, either shear turbulence at C = 1 or convective turbulence at C = 16, 32, optimisations place rolls closer to the wall than calculations with the steady flow assumption. At any given force amplitude, however, the enhanced Nu is only weakly dependent on the number of induced rolls. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Longitudinal vortices in unsteady Taylor-Couette flow: solution to a 60-year-old mystery

Authors: Ashley P. Willis, Michael J. Burin

Abstract: Applying a sufficiently rapid start-stop to the outer cylinder of the Couette-Taylor system, structures approximately aligned with the axis were recorded in the classic work of Coles (1965). These short-lived rolls are oriented perpendicular to the classic Taylor-vortex rolls. In this work we report numerical observation of this instability, guided by a more recent experimental observation. The in… ▽ More Applying a sufficiently rapid start-stop to the outer cylinder of the Couette-Taylor system, structures approximately aligned with the axis were recorded in the classic work of Coles (1965). These short-lived rolls are oriented perpendicular to the classic Taylor-vortex rolls. In this work we report numerical observation of this instability, guided by a more recent experimental observation. The instability is shown to be related to an inflection in the azimuthal velocity profile, a finding consistent with the experimental observations of its emergence during the deceleration phase. Despite the transient nature of start-stop experiments, we show that the instability can be linked to that of the oscillating boundary layer problem of Stokes. There are several reasons why the instability may have remained elusive, both for experimental observation and intrinsic to the idealized system. We look in more detail at dependence on the radius ratio for the Taylor-Couette system and find that, in the case where the size of the rolls scales with the gap width, for radius ratios any lower than that used by Coles, R_i/R_o=0.874, the instability is quickly overrun by axisymmetric rolls of Gortler type. △ Less

Submitted 19 March, 2025; originally announced March 2025.

Comments: 11 pages, 7 figures

Modelling the transition from shear-driven turbulence to convective turbulence in a vertical heated pipe

Authors: Shijun Chu, Elena Marensi, Ashley P. Willis

Abstract: Heated pipe flow is widely used in thermal engineering applications, but the presence of buoyancy force can cause intermittency, or multiple flow states at the same parameter values. Such changes in the flow lead to substantial changes in its heat transfer properties and thereby significant changes in the axial temperature gradient. We therefore introduce a model that features a time-dependent bac… ▽ More Heated pipe flow is widely used in thermal engineering applications, but the presence of buoyancy force can cause intermittency, or multiple flow states at the same parameter values. Such changes in the flow lead to substantial changes in its heat transfer properties and thereby significant changes in the axial temperature gradient. We therefore introduce a model that features a time-dependent background axial temperature gradient, and consider two temperature boundary conditions -- fixed temperature difference and fixed boundary heat flux. Direct numerical simulations (DNS) are based on the pseudo-spectral framework, and good agreement is achieved between present numerical results and experimental results. The code extends openpipeflow.org and is available at the website. The effect of the axially periodic domain on flow dynamics and heat transfer is examined, using pipes of length L=5D and L=25D. Provided that the flow is fully turbulent, results show close agreement for the mean flow and temperature profiles, and only slight differences in root-mean-square fluctuations. When the flow shows spatial intermittency, heat transfer tends to be overestimated using a short pipe, as shear turbulence fills the domain. This is particularly important when shear turbulence starts to be suppressed at intermediate buoyancy numbers. Finally, at such intermediate buoyancy numbers, we confirm that the decay of localised shear turbulence in the heated pipe flow follows a memoryless process, similar to that in isothermal flow. While isothermal flow then laminarises, convective turbulence in the heated flow can intermittently trigger bursts of shear-like turbulence. △ Less

Submitted 14 January, 2025; originally announced January 2025.

Journal ref: Mathematics 2025, 13(2), 293

Influence of Photoemission Geometry on Timing and Efficiency in 4D Ultrafast Electron Microscopy

Authors: Simon A. Willis, David J. Flannigan

Abstract: Broader adoption of 4D ultrafast electron microscopy (UEM) for the study of chemical, materials, and quantum systems is being driven by development of new instruments as well as continuous improvement and characterization of existing technologies. Perhaps owing to the still-high barrier to entry, the full range of capabilities of laser-driven 4D UEM instruments has yet to be established, particula… ▽ More Broader adoption of 4D ultrafast electron microscopy (UEM) for the study of chemical, materials, and quantum systems is being driven by development of new instruments as well as continuous improvement and characterization of existing technologies. Perhaps owing to the still-high barrier to entry, the full range of capabilities of laser-driven 4D UEM instruments has yet to be established, particularly when operated at extremely low beam currents (~fA). Accordingly, with an eye on beam stability, we have conducted particle tracing simulations of unconventional off-axis photoemission geometries in a UEM equipped with a thermionic-emission gun. Specifically, we have explored the impact of experimentally adjustable parameters on the time-of-flight (TOF), the collection efficiency (CE), and the temporal width of ultrashort photoelectron packets. The adjustable parameters include the Wehnelt aperture diameter (DW), the cathode set-back position (Ztip), and the position of the femtosecond laser on the Wehnelt aperture surface relative to the optic axis (Rphoto). Notable findings include significant sensitivity of TOF to DW and Ztip, as well as non-intuitive responses of CE and temporal width to varying Rphoto. As a means to improve accessibility, practical implications and recommendations are emphasized wherever possible. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Laminarising turbulent pipe flow by linear and nonlinear optimisation

Authors: Shijun Chu, Ashley P. Willis, Elena Marensi

Abstract: It has been observed that flattening the mean velocity profile of pipe flow by body force can laminarise turbulence, a promising means to reduce frictional drag substantially. To explore whether there is a more efficient body force to eliminate turbulence, we consider time-independent active body forces with varying spatial dependencies. Results confirm that when using an active force, a flattened… ▽ More It has been observed that flattening the mean velocity profile of pipe flow by body force can laminarise turbulence, a promising means to reduce frictional drag substantially. To explore whether there is a more efficient body force to eliminate turbulence, we consider time-independent active body forces with varying spatial dependencies. Results confirm that when using an active force, a flattened forced laminar profile is needed to eliminate turbulence, and that a purely streamwise body force is best for laminarisation. While these results required an expensive nonlinear optimisation, it was also observed that the optimal forced profile exhibits reduced linear transient growth (TG). To determine whether the reduction of linear TG alone is a sufficient target for the laminarisation of turbulence, a linear Lagrange Multiplier technique is used to minimise TG of perturbations to the forced laminar profile. The optimal velocity profiles reveal that TG for each azimuthal wavenumber strongly depends on the radial velocity gradient at some specific radial interval. The optimal velocity profile obtained by minimising TG of perturbations of azimuthal wavenumber m = 1 is shown to be able to eliminate turbulence at Re = 2400, but a more effective reduction of TG, including perturbations of higher m, is needed for laminarisation at higher Reynolds number Re = 3000. The streaks formed with the flattened forced laminar profile reveal the mechanism of laminarisation: it is found that the lift-up mechanism in the more flattened forced laminar profile creates a lower streak (i.e. closer to the wall) that is more stable, so that turbulence is harder to maintain through streak instability. Further numerical experiments by disturbing a periodic orbit validated that the breakdown of turbulence self-sustaining mechanisms is mainly caused by suppression of the formation of streaks. △ Less

Submitted 25 October, 2024; originally announced October 2024.

Distances between Extension Spaces of Phylogenetic Trees

Authors: Maria Alejandra Valdez Cabrera, Amy D Willis

Abstract: Phylogenetic trees summarize evolutionary relationships between organisms, and tools to analyze collections of phylogenetic trees enable contrasts between different genes' ancestry. The BHV metric space has enabled the analysis of collections of trees that share a common set of leaves, but many genes are not shared, even between closely related species. BHV extension spaces represent trees with no… ▽ More Phylogenetic trees summarize evolutionary relationships between organisms, and tools to analyze collections of phylogenetic trees enable contrasts between different genes' ancestry. The BHV metric space has enabled the analysis of collections of trees that share a common set of leaves, but many genes are not shared, even between closely related species. BHV extension spaces represent trees with non-identical leaf sets in a common BHV space, but limited analytical tools exist for extension spaces. We define the distance between two phylogenetic trees with non-identical leaf sets as the shortest BHV distance between their extension spaces, and develop a reduced gradient algorithm to compute this distance. We study the scalability of our algorithm and apply it to analyze gene trees spanning multiple domains of life. Our distance and algorithm offer a fully general, interpretable approach to analyzing both ancient and recent evolutionary divergence. △ Less

Submitted 28 June, 2024; originally announced July 2024.

Relative Time-of-Flight Measurement in an Ultrafast Electron Microscope

Authors: Jialiang Chen, Simon A. Willis, David J. Flannigan

Abstract: Efforts to push the spatiotemporal imaging-resolution limits of femtosecond (fs) laser-driven ultrafast electron microscopes (UEMs) to the combined angstrom-fs range will benefit from stable sources capable of generating high bunch charges. Recent demonstration of unconventional off-axis photoemitting geometries are promising, but connections to the observed onset of structural dynamics are yet to… ▽ More Efforts to push the spatiotemporal imaging-resolution limits of femtosecond (fs) laser-driven ultrafast electron microscopes (UEMs) to the combined angstrom-fs range will benefit from stable sources capable of generating high bunch charges. Recent demonstration of unconventional off-axis photoemitting geometries are promising, but connections to the observed onset of structural dynamics are yet to be established. Here we use the in-situ photoexcitation of coherent phonons to quantify the relative time-of-flight (r-TOF) of photoelectron packets generated from the Ni Wehnelt aperture and from a Ta cathode set-back from the aperture plane. We further support the UEM experiments with particle-tracing simulations of the precise electron-gun architecture and photoemitting geometries. In this way, we measure discernable shifts in electron-packet TOF of tens of picoseconds for the two photoemitting surfaces. These shifts arise from the impact the Wehnelt-aperture off-axis orientation has on the electron-momentum distribution, which modifies both the collection efficiency and the temporal-packet distribution relative to on-axis emission. Future needs are identified; we expect this and other developments in UEM electron-gun configuration to expand the range of materials phenomena that can be directly imaged on scales commensurate with fundamental structural dynamics. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Wehnelt Photoemission in an Ultrafast Electron Microscope: Stability and Usability

Authors: Simon A. Willis, Wyatt A. Curtis, David J. Flannigan

Abstract: We tested and compared the stability and usability of three different cathode materials and configurations in a thermionic-based ultrafast electron microscope: (1) on-axis thermionic and photoemission from a 0.1-mm diameter LaB6 source with graphite guard ring, (2) off-axis photoemission from the Ni aperture surface of the Wehnelt electrode, and (3) on-axis thermionic and photoemission from a 0.2-… ▽ More We tested and compared the stability and usability of three different cathode materials and configurations in a thermionic-based ultrafast electron microscope: (1) on-axis thermionic and photoemission from a 0.1-mm diameter LaB6 source with graphite guard ring, (2) off-axis photoemission from the Ni aperture surface of the Wehnelt electrode, and (3) on-axis thermionic and photoemission from a 0.2-mm diameter polycrystalline Ta source. For each cathode type and configuration, we illustrate how the photoelectron beam-current stability is deleteriously impacted by simultaneous cooling of the source following thermionic heating. Further, we demonstrate usability via collection of parallel- and convergent-beam electron diffraction patterns and by formation of optimum probe size. We find that usability of the off-axis Ni Wehnelt-aperture photoemission is at least comparable to on-axis LaB6 thermionic emission, as well as to on-axis photoemission. However, the stability and achievable beam currents for off-axis photoemission from the Wehnelt aperture were superior to that of the other cathode types and configurations, regardless of the electron-emission mechanism. Beam-current stability for this configuration was found to be within 1% of the mean for 70 minutes (longest duration tested), and steady-state beam current was reached within the sampling-time resolution used here (~1 s) for 15 pA beam currents (i.e., 460 electrons per packet for a 200 kHz repetition rate). Repeatability and robustness of the steady-state condition was also found to be within 1% of the mean. We discuss the implications of these findings for UEM imaging and diffraction experiments, for pulsed-beam damage measurements, and for practical switching between optimum conventional TEM and UEM operation within the same instrument. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: 25 pages, 6 figures

Prototype Faraday rotation measure catalogs from the Polarisation Sky Survey of the Universe's Magnetism (POSSUM) pilot observations

Authors: S. Vanderwoude, J. L. West, B. M. Gaensler, L. Rudnick, C. L. Van Eck, A. J. M. Thomson, H. Andernach, C. S. Anderson, E. Carretti, G. H. Heald, J. P. Leahy, N. M. McClure-Griffiths, S. P. O'Sullivan, M. Tahani, A. G. Willis

Abstract: The Polarisation Sky Survey of the Universe's Magnetism (POSSUM) will conduct a sensitive $\sim$1 GHz radio polarization survey covering 20 000 square degrees of the Southern sky with the Australian Square Kilometre Array Pathfinder (ASKAP). In anticipation of the full survey, we analyze pilot observations of low-band (800-1087 MHz), mid-band (1316-1439 MHz), and combined-band observations for an… ▽ More The Polarisation Sky Survey of the Universe's Magnetism (POSSUM) will conduct a sensitive $\sim$1 GHz radio polarization survey covering 20 000 square degrees of the Southern sky with the Australian Square Kilometre Array Pathfinder (ASKAP). In anticipation of the full survey, we analyze pilot observations of low-band (800-1087 MHz), mid-band (1316-1439 MHz), and combined-band observations for an extragalactic field and a Galactic-plane field (low-band only). Using the POSSUM processing pipeline, we produce prototype RM catalogs that are filtered to construct prototype RM grids. We assess typical RM grid densities and RM uncertainties and their dependence on frequency, bandwidth, and Galactic latitude. We present a median filter method for separating foreground diffuse emission from background components, and find that after application of the filter, 99.5% of measured RMs of simulated sources are within 3$σ$ of their true RM, with a typical loss of polarized intensity of 5% $\pm$ 5%. We find RM grid densities of 35.1, 30.6, 37.2, and 13.5 RMs per square degree and median uncertainties on RM measurements of 1.55, 12.82, 1.06, and 1.89 rad m$^{-2}$ for the median-filtered low-band, mid-band, combined-band, and Galactic observations, respectively. We estimate that the full POSSUM survey will produce an RM catalog of $\sim$775 000 RMs with median-filtered low-band observations and $\sim$877 000 RMs with median-filtered combined-band observations. We construct a structure function from the Galactic RM catalog, which shows a break at $0.7^{\circ}$, corresponding to a physical scale of 12-24 pc for the nearest spiral arm. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Comments: 51 pages, 19 figures, 5 tables

The minimal seed for transition to convective turbulence in heated pipe flow

Authors: Shijun Chu, Ashley P. Willis, Elena Marensi

Abstract: It is well known that buoyancy suppresses, and can even laminarise turbulence in upward heated pipe flow. Heat transfer seriously deteriorates in this case. Through a new DNS model, we confirm that the deteriorated heat transfer within convective turbulence is related to a lack of near-wall rolls, which leads to a weak mixing between the flow near the wall and centre of pipe. Having surveyed the f… ▽ More It is well known that buoyancy suppresses, and can even laminarise turbulence in upward heated pipe flow. Heat transfer seriously deteriorates in this case. Through a new DNS model, we confirm that the deteriorated heat transfer within convective turbulence is related to a lack of near-wall rolls, which leads to a weak mixing between the flow near the wall and centre of pipe. Having surveyed the fundamental properties of the system, we perform a nonlinear nonmodal stability analysis. it is found that, the minimal seed becomes thinner and closer to the wall, with increase of buoyancy number C. Most importantly, we show that the critical initial energy required to trigger shear-driven turbulence keeps increasing, implying that attempts to artificially trigger it may not be an efficient means to improve heat transfer at larger C. The new minimal seed, found at C=6, is localised in streamwise direction and is active in the centre of pipe. To find this branch of optimal, we took advantage of a window of linear stability. While the nonlinear optimal causes transition to convective turbulence directly at this and larger C, transition via the linear instability passes via a travelling wave or periodic orbit solutions. Detailed analysis of the periodic solution reveals three stages: growth of the unstable eigenfunction, the formation of streaks, and the decay of streaks due to suppression of the instability. Flow visualization at C up to 10 also show similar features, suggesting that convective turbulence is sustained by these three typical processes. △ Less

Submitted 23 July, 2024; v1 submitted 13 March, 2024; originally announced March 2024.

Unveiling Ancient Maya Settlements Using Aerial LiDAR Image Segmentation

Authors: Jincheng Zhang, William Ringle, Andrew R. Willis

Abstract: Manual identification of archaeological features in LiDAR imagery is labor-intensive, costly, and requires archaeological expertise. This paper shows how recent advancements in deep learning (DL) present efficient solutions for accurately segmenting archaeological structures in aerial LiDAR images using the YOLOv8 neural network. The proposed approach uses novel pre-processing of the raw LiDAR dat… ▽ More Manual identification of archaeological features in LiDAR imagery is labor-intensive, costly, and requires archaeological expertise. This paper shows how recent advancements in deep learning (DL) present efficient solutions for accurately segmenting archaeological structures in aerial LiDAR images using the YOLOv8 neural network. The proposed approach uses novel pre-processing of the raw LiDAR data and dataset augmentation methods to produce trained YOLOv8 networks to improve accuracy, precision, and recall for the segmentation of two important Maya structure types: annular structures and platforms. The results show an IoU performance of 0.842 for platforms and 0.809 for annular structures which outperform existing approaches. Further, analysis via domain experts considers the topological consistency of segmented regions and performance vs. area providing important insights. The approach automates time-consuming LiDAR image labeling which significantly accelerates accurate analysis of historical landscapes. △ Less

Submitted 8 March, 2024; originally announced March 2024.

Design and Flight Demonstration of a Quadrotor for Urban Mapping and Target Tracking Research

Authors: Collin Hague, Nick Kakavitsas, Jincheng Zhang, Chris Beam, Andrew Willis, Artur Wolek

Abstract: This paper describes the hardware design and flight demonstration of a small quadrotor with imaging sensors for urban mapping, hazard avoidance, and target tracking research. The vehicle is equipped with five cameras, including two pairs of fisheye stereo cameras that enable a nearly omnidirectional view and a two-axis gimbaled camera. An onboard NVIDIA Jetson Orin Nano computer running the Robot… ▽ More This paper describes the hardware design and flight demonstration of a small quadrotor with imaging sensors for urban mapping, hazard avoidance, and target tracking research. The vehicle is equipped with five cameras, including two pairs of fisheye stereo cameras that enable a nearly omnidirectional view and a two-axis gimbaled camera. An onboard NVIDIA Jetson Orin Nano computer running the Robot Operating System software is used for data collection. An autonomous tracking behavior was implemented to coordinate the motion of the quadrotor and gimbaled camera to track a moving GPS coordinate. The data collection system was demonstrated through a flight test that tracked a moving GPS-tagged vehicle through a series of roads and parking lots. A map of the environment was reconstructed from the collected images using the Direct Sparse Odometry (DSO) algorithm. The performance of the quadrotor was also characterized by acoustic noise, communication range, battery voltage in hover, and maximum speed tests. △ Less

Submitted 15 March, 2024; v1 submitted 20 February, 2024; originally announced February 2024.

Comments: 7 pages, 10 figures, To be presented at IEEE SoutheastCon 2024

Journal ref: SoutheastCon 2024, 559-564

Estimating Fold Changes from Partially Observed Outcomes with Applications in Microbial Metagenomics

Authors: David S Clausen, Sarah Teichman, Amy D Willis

Abstract: We consider the problem of estimating fold-changes in the expected value of a multivariate outcome observed with unknown sample-specific and category-specific perturbations. This challenge arises in high-throughput sequencing studies of the abundance of microbial taxa because microbes are systematically over- and under-detected relative to their true abundances. Our model admits a partially identi… ▽ More We consider the problem of estimating fold-changes in the expected value of a multivariate outcome observed with unknown sample-specific and category-specific perturbations. This challenge arises in high-throughput sequencing studies of the abundance of microbial taxa because microbes are systematically over- and under-detected relative to their true abundances. Our model admits a partially identifiable estimand, and we establish full identifiability by imposing interpretable parameter constraints. To reduce bias and guarantee the existence of estimators in the presence of sparse observations, we apply an asymptotically negligible and constraint-invariant penalty to our estimating function. We develop a fast coordinate descent algorithm for estimation, and an augmented Lagrangian algorithm for estimation under null hypotheses. We construct a model-robust score test and demonstrate valid inference even for small sample sizes and violated distributional assumptions. The flexibility of the approach and comparisons to related methods are illustrated through a meta-analysis of microbial associations with colorectal cancer. △ Less

Submitted 14 March, 2025; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: v2 includes clarified exposition, additional examples, expanded simulation study, and supporting theory; Dr Teichman contributed substantially to v2 and is now recognised as a coauthor

GPU-Accelerated 3D Polygon Visibility Volumes for Synergistic Perception and Navigation

Authors: Andrew Willis, Collin Hague, Artur Wolek, Kevin Brink

Abstract: UAV missions often require specific geometric constraints to be satisfied between ground locations and the vehicle location. Such requirements are typical for contexts where line-of-sight must be maintained between the vehicle location and the ground control location and are also important in surveillance applications where the UAV wishes to be able to sense, e.g., with a camera sensor, a specific… ▽ More UAV missions often require specific geometric constraints to be satisfied between ground locations and the vehicle location. Such requirements are typical for contexts where line-of-sight must be maintained between the vehicle location and the ground control location and are also important in surveillance applications where the UAV wishes to be able to sense, e.g., with a camera sensor, a specific region within a complex geometric environment. This problem is further complicated when the ground location is generalized to a convex 2D polygonal region. This article describes the theory and implementation of a system which can quickly calculate the 3D volume that encloses all 3D coordinates from which a 2D convex planar region can be entirely viewed; referred to as a visibility volume. The proposed approach computes visibility volumes using a combination of depth map computation using GPU-acceleration and geometric boolean operations. Solutions to this problem require complex 3D geometric analysis techniques that must execute using arbitrary precision arithmetic on a collection of discontinuous and non-analytic surfaces. Post-processing steps incorporate navigational constraints to further restrict the enclosed coordinates to include both visibility and navigation constraints. Integration of sensing visibility constraints with navigational constraints yields a range of navigable space where a vehicle will satisfy both perceptual sensing and navigational needs of the mission. This algorithm then provides a synergistic perception and navigation sensitive solution yielding a volume of coordinates in 3D that satisfy both the mission path and sensing needs. △ Less

Submitted 5 February, 2024; originally announced February 2024.

Cesium Tiles for High-realism Simulation and Comparing SLAM Results in Corresponding Virtual and Real-world Environments

Authors: Chris Beam, Jincheng Zhang, Nicholas Kakavitsas, Collin Hague, Artur Wolek, Andrew Willis

Abstract: This article discusses the use of a simulated environment to predict algorithm results in the real world. Simulators are crucial in allowing researchers to test algorithms, sensor integration, and navigation systems without deploying expensive hardware. This article examines how the AirSim simulator, Unreal Engine, and Cesium plugin can be used to generate simulated digital twin models of real-wor… ▽ More This article discusses the use of a simulated environment to predict algorithm results in the real world. Simulators are crucial in allowing researchers to test algorithms, sensor integration, and navigation systems without deploying expensive hardware. This article examines how the AirSim simulator, Unreal Engine, and Cesium plugin can be used to generate simulated digital twin models of real-world locations. Several technical challenges in completing the analysis are discussed and the technical solutions are detailed in this article. Work investigates how to assess mapping results for a real-life experiment using Cesium Tiles provided by digital twins of the experimental location. This is accompanied by a description of a process for duplicating real-world flights in simulation. The performance of these methods is evaluated by analyzing real-life and experimental image telemetry with the Direct Sparse Odometry (DSO) mapping algorithm. Results indicate that Cesium Tiles environments can provide highly accurate models of ground truth geometry after careful alignment. Further, results from real-life and simulated telemetry analysis indicate that the virtual simulation results accurately predict real-life results. Findings indicate that the algorithm results in real life and in the simulated duplicate exhibited a high degree of similarity. This indicates that the use of Cesium Tiles environments as a virtual digital twin for real-life experiments will provide representative results for such algorithms. The impact of this can be significant, potentially allowing expansive virtual testing of robotic systems at specific deployment locations to develop solutions that are tailored to the environment and potentially outperforming solutions meant to work in completely generic environments. △ Less

Submitted 15 January, 2024; originally announced January 2024.

UAV-Borne Mapping Algorithms for Low-Altitude and High-Speed Drone Applications

Authors: Jincheng Zhang, Artur Wolek, Andrew R. Willis

Abstract: This article presents an analysis of current state-of-the-art sensors and how these sensors work with several mapping algorithms for UAV (Unmanned Aerial Vehicle) applications, focusing on low-altitude and high-speed scenarios. A new experimental construct is created using highly realistic environments made possible by integrating the AirSim simulator with Google 3D maps models using the Cesium Ti… ▽ More This article presents an analysis of current state-of-the-art sensors and how these sensors work with several mapping algorithms for UAV (Unmanned Aerial Vehicle) applications, focusing on low-altitude and high-speed scenarios. A new experimental construct is created using highly realistic environments made possible by integrating the AirSim simulator with Google 3D maps models using the Cesium Tiles plugin. Experiments are conducted in this high-realism simulated environment to evaluate the performance of three distinct mapping algorithms: (1) Direct Sparse Odometry (DSO), (2) Stereo DSO (SDSO), and (3) DSO Lite (DSOL). Experimental results evaluate algorithms based on their measured geometric accuracy and computational speed. The results provide valuable insights into the strengths and limitations of each algorithm. Findings quantify compromises in UAV algorithm selection, allowing researchers to find the mapping solution best suited to their application, which often requires a compromise between computational performance and the density and accuracy of geometric map estimates. Results indicate that for UAVs with restrictive computing resources, DSOL is the best option. For systems with payload capacity and modest compute resources, SDSO is the best option. If only one camera is available, DSO is the option to choose for applications that require dense mapping results. △ Less

Submitted 29 March, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

Journal ref: Sensors 24, no. 7: 2204

Embedded, micro-interdigitated flow fields in high areal-loading intercalation electrodes towards seawater desalination and beyond

Authors: Vu Q. Do, Erik R. Reale, Irwin C. Loud IV, Paul G. Rozzi, Haosen Tan, David A. Willis, Kyle C. Smith

Abstract: Faradaic deionization (FDI) is a promising technology for energy-efficient water desalination using porous electrodes containing redox-active materials. Herein, we demonstrate for the first time the capability of a symmetric FDI flow cell to produce freshwater (<17.1 mM NaCl) from concentrated brackish water (118mM), to produce effluent near freshwater salinity (19.1 mM) from influent with seawate… ▽ More Faradaic deionization (FDI) is a promising technology for energy-efficient water desalination using porous electrodes containing redox-active materials. Herein, we demonstrate for the first time the capability of a symmetric FDI flow cell to produce freshwater (<17.1 mM NaCl) from concentrated brackish water (118mM), to produce effluent near freshwater salinity (19.1 mM) from influent with seawater-level salinity (496 mM), and to reduce the salinity of hypersaline brine from 781 mM to 227 mM. These remarkable salt-removal levels were enabled by using flow-through electrodes with high areal-loading of nickel hexacyanoferrate (NiHCF) Prussian Blue analogue intercalation material. The pumping energy consumption due to flow-through electrodes was mitigated by embedding an interdigitated array of <100 $μ$m wide channels in the electrodes using laser micromachining. The micron-scale dimensions of the resulting embedded, micro-interdigitated flow fields (e$μ$-IDFFs) facilitate flow-through electrodes with high apparent permeability while minimizing active-material loss. Our modeling shows that these e$μ$-IDFFs are more suitable for our intercalation electrodes because they have >100X lower permeability compared to common redox-flow battery electrodes, for which millimetric flow-channel widths were used exclusively in the past. Total desalination thermodynamic energy efficiency (TEE) was improved by more than ten-fold relative to unpatterned electrodes: 40.0% TEE for brackish water, 11.7% TEE for hypersaline brine, and 7.4% TEE for seawater-salinity feeds. Water transport between diluate and brine streams and charge efficiency losses resulting from (electro)chemical effects are implicated as limiting energy efficiency and water recovery, motivating their investigation for enhancing future FDI performance. △ Less

Submitted 8 June, 2023; originally announced June 2023.

Comments: 70 pages, 23 figures. Energy Environ. Sci. (2023)

Photometric Correction for Infrared Sensors

Authors: Jincheng Zhang, Kevin Brink, Andrew R Willis

Abstract: Infrared thermography has been widely used in several domains to capture and measure temperature distributions across surfaces and objects. This methodology can be further expanded to 3D applications if the spatial distribution of the temperature distribution is available. Structure from Motion (SfM) is a photometric range imaging technique that makes it possible to obtain 3D renderings from a clo… ▽ More Infrared thermography has been widely used in several domains to capture and measure temperature distributions across surfaces and objects. This methodology can be further expanded to 3D applications if the spatial distribution of the temperature distribution is available. Structure from Motion (SfM) is a photometric range imaging technique that makes it possible to obtain 3D renderings from a cloud of 2D images. To explore the possibility of 3D reconstruction via SfM from infrared images, this article proposes a photometric correction model for infrared sensors based on temperature constancy. Photometric correction is accomplished by estimating the scene irradiance as the values from the solution to a differential equation for microbolometer pixel excitation with unknown coefficients and initial conditions. The model was integrated into an SfM framework and experimental evaluations demonstrate the contribution of the photometric correction for improving the estimates of both the camera motion and the scene structure. Further, experiments show that the reconstruction quality from the corrected infrared imagery achieves performance on par with state-of-the-art reconstruction using RGB sensors. △ Less

Submitted 12 January, 2024; v1 submitted 8 April, 2023; originally announced April 2023.

Groups with flat-rank greater than 1

Authors: George A. Willis

Abstract: A general method for finding subgroups of a totally disconnected, locally compact groups having flat-rank greater than 1 is described. This method uses the internal structure of the group, notably the Levi subgroup of a given flat group, in order to produce a new flat group that, under an additional hypothesis, has flat-rank one greater than that of the given group. A general method for finding subgroups of a totally disconnected, locally compact groups having flat-rank greater than 1 is described. This method uses the internal structure of the group, notably the Levi subgroup of a given flat group, in order to produce a new flat group that, under an additional hypothesis, has flat-rank one greater than that of the given group. △ Less

Submitted 25 February, 2023; originally announced February 2023.

MSC Class: 22D05

Planning Visual Inspection Tours for a 3D Dubins Airplane Model in an Urban Environment

Authors: Collin Hague, Andrew Willis, Dipankar Maity, Artur Wolek

Abstract: This paper investigates the problem of planning a minimum-length tour for a three-dimensional Dubins airplane model to visually inspect a series of targets located on the ground or exterior surface of objects in an urban environment. Objects are 2.5D extruded polygons representing buildings or other structures. A visibility volume defines the set of admissible (occlusion-free) viewing locations fo… ▽ More This paper investigates the problem of planning a minimum-length tour for a three-dimensional Dubins airplane model to visually inspect a series of targets located on the ground or exterior surface of objects in an urban environment. Objects are 2.5D extruded polygons representing buildings or other structures. A visibility volume defines the set of admissible (occlusion-free) viewing locations for each target that satisfy feasible airspace and imaging constraints. The Dubins traveling salesperson problem with neighborhoods (DTSPN) is extended to three dimensions with visibility volumes that are approximated by triangular meshes. Four sampling algorithms are proposed for sampling vehicle configurations within each visibility volume to define vertices of the underlying DTSPN. Additionally, a heuristic approach is proposed to improve computation time by approximating edge costs of the 3D Dubins airplane with a lower bound that is used to solve for a sequence of viewing locations. The viewing locations are then assigned pitch and heading angles based on their relative geometry. The proposed sampling methods and heuristics are compared through a Monte-Carlo experiment that simulates view planning tours over a realistic urban environment. △ Less

Submitted 12 January, 2023; originally announced January 2023.

Comments: 18 pages, 10 figures, Presented at 2023 SciTech Intelligent Systems in Guidance Navigation and Control conference

Report number: AIAA 2023-0108

Journal ref: Proc. AIAA SciTech 2023 Forum

Improved Pump Setpoint Selection Using a Calibrated Hydraulic Model of a High-Pressure Irrigation System

Authors: Ye Wang, Qi Zhao, Wenyan Wu, Ailsa Willis, Angus R. Simpson, Erik Weyer

Abstract: This paper presents a case study of the operational management of the Robinvale high-pressure piped irrigation water delivery system (RVHPS) in Australia. Based on datasets available, improved pump setpoint selection using a calibrated hydraulic model is investigated. The first step was to implement pre-processing of measured flow and pressure data to identify errors in the data and possible fault… ▽ More This paper presents a case study of the operational management of the Robinvale high-pressure piped irrigation water delivery system (RVHPS) in Australia. Based on datasets available, improved pump setpoint selection using a calibrated hydraulic model is investigated. The first step was to implement pre-processing of measured flow and pressure data to identify errors in the data and possible faulty sensors. An EPANET hydraulic simulation model was updated with calibrated pipe roughness height values by using the processed pressure and flow data. Then, new pump setpoints were selected using the calibrated model given the actual measured demands such that the pressures in the network were minimized subject to required customer service standards. Based on a two-day simulation, it was estimated that 4.7% savings in pumping energy cost as well as 4.7% reduction in greenhouse gas emissions can be achieved by applying the new pump setpoints. △ Less

Submitted 25 August, 2022; originally announced August 2022.

Comments: 2nd IFAC Workshop on Control Methods for Water Resource Systems

Giant radio galaxies in the LoTSS Boötes deep field

Authors: Marco Simonte, Heinz Andernach, Marcus Brüggen, Dominik Schwarz, Isabella Prandoni, Anthony G. Willis

Abstract: Giant radio galaxies (GRGs) are radio galaxies that have projected linear extents of more than 700 kpc or 1 Mpc, depending on definition. We have carried out a careful visual inspection in search of GRGs of the Bootes LOFAR Deep Field (BLDF) image at 150 MHz. We identified 74 GRGs with a projected size larger than 0.7 Mpc of which 38 are larger than 1 Mpc. The resulting GRG sky density is about 2.… ▽ More Giant radio galaxies (GRGs) are radio galaxies that have projected linear extents of more than 700 kpc or 1 Mpc, depending on definition. We have carried out a careful visual inspection in search of GRGs of the Bootes LOFAR Deep Field (BLDF) image at 150 MHz. We identified 74 GRGs with a projected size larger than 0.7 Mpc of which 38 are larger than 1 Mpc. The resulting GRG sky density is about 2.8 (1.43) GRGs per square degree for GRGs with linear size larger than 0.7 (1) Mpc. We studied their radio properties and the accretion state of the host galaxies using deep optical and infrared survey data and determined flux densities for these GRGs from available survey images at both 54 MHz and 1.4 GHz to obtain integrated radio spectral indices. We show the location of the GRGs in the P-D diagram. The accretion mode onto the central black holes of the GRG hosts is radiatively inefficient suggesting that the central engines are not undergoing massive accretion at the time of the emission. Interestingly, 14 out of 35 GRGs for which optical spectra are available show a moderate star formation rate. Based on the number density of optical galaxies taken from the DESI DR9 photometric redshift catalogue, we found no significant differences between the environments of GRGs and other radio galaxies, at least for redshift up to z = 0.7. △ Less

Submitted 4 July, 2022; originally announced July 2022.

Comments: Accepted for publication in MNRAS. 23 pages, 16 figures, 3 tables

Modeling complex measurement error in microbiome experiments to estimate relative abundances and detection effects

Authors: David S Clausen, Amy D Willis

Abstract: Accurate estimates of microbial species abundances are needed to advance our understanding of the role that microbiomes play in human and environmental health. However, artificially constructed microbiomes demonstrate that intuitive estimators of microbial relative abundances are biased. To address this, we propose a semiparametric method to estimate relative abundances, species detection effects,… ▽ More Accurate estimates of microbial species abundances are needed to advance our understanding of the role that microbiomes play in human and environmental health. However, artificially constructed microbiomes demonstrate that intuitive estimators of microbial relative abundances are biased. To address this, we propose a semiparametric method to estimate relative abundances, species detection effects, and/or cross-sample contamination in microbiome experiments. We show that certain experimental designs result in identifiable model parameters, and we present consistent estimators and asymptotically valid inference procedures. Notably, our procedure can estimate relative abundances on the boundary of the simplex. We demonstrate the utility of the method for comparing experimental protocols, removing cross-sample contamination, and estimating species' detectability. △ Less

Submitted 14 March, 2025; v1 submitted 27 April, 2022; originally announced April 2022.

Comments: v2 includes detailed identifiability results, a complete proof of weak convergence, additional simulation results, and clarified exposition

Enabling faster and more reliable sonographic assessment of gestational age through machine learning

Authors: Chace Lee, Angelica Willis, Christina Chen, Marcin Sieniek, Akib Uddin, Jonny Wong, Rory Pilgrim, Katherine Chou, Daniel Tse, Shravya Shetty, Ryan G. Gomes

Abstract: Fetal ultrasounds are an essential part of prenatal care and can be used to estimate gestational age (GA). Accurate GA assessment is important for providing appropriate prenatal care throughout pregnancy and identifying complications such as fetal growth disorders. Since derivation of GA from manual fetal biometry measurements (head, abdomen, femur) are operator-dependent and time-consuming, there… ▽ More Fetal ultrasounds are an essential part of prenatal care and can be used to estimate gestational age (GA). Accurate GA assessment is important for providing appropriate prenatal care throughout pregnancy and identifying complications such as fetal growth disorders. Since derivation of GA from manual fetal biometry measurements (head, abdomen, femur) are operator-dependent and time-consuming, there have been a number of research efforts focused on using artificial intelligence (AI) models to estimate GA using standard biometry images, but there is still room to improve the accuracy and reliability of these AI systems for widescale adoption. To improve GA estimates, without significant change to provider workflows, we leverage AI to interpret standard plane ultrasound images as well as 'fly-to' ultrasound videos, which are 5-10s videos automatically recorded as part of the standard of care before the still image is captured. We developed and validated three AI models: an image model using standard plane images, a video model using fly-to videos, and an ensemble model (combining both image and video). All three were statistically superior to standard fetal biometry-based GA estimates derived by expert sonographers, the ensemble model has the lowest mean absolute error (MAE) compared to the clinical standard fetal biometry (mean difference: -1.51 $\pm$ 3.96 days, 95% CI [-1.9, -1.1]) on a test set that consisted of 404 participants. We showed that our models outperform standard biometry by a more substantial margin on fetuses that were small for GA. Our AI models have the potential to empower trained operators to estimate GA with higher accuracy while reducing the amount of time required and user variability in measurement acquisition. △ Less

Submitted 22 March, 2022; originally announced March 2022.

AI system for fetal ultrasound in low-resource settings

Authors: Ryan G. Gomes, Bellington Vwalika, Chace Lee, Angelica Willis, Marcin Sieniek, Joan T. Price, Christina Chen, Margaret P. Kasaro, James A. Taylor, Elizabeth M. Stringer, Scott Mayer McKinney, Ntazana Sindano, George E. Dahl, William Goodnight III, Justin Gilmer, Benjamin H. Chi, Charles Lau, Terry Spitz, T Saensuksopa, Kris Liu, Jonny Wong, Rory Pilgrim, Akib Uddin, Greg Corrado, Lily Peng , et al. (4 additional authors not shown)

Abstract: Despite considerable progress in maternal healthcare, maternal and perinatal deaths remain high in low-to-middle income countries. Fetal ultrasound is an important component of antenatal care, but shortage of adequately trained healthcare workers has limited its adoption. We developed and validated an artificial intelligence (AI) system that uses novice-acquired "blind sweep" ultrasound videos to… ▽ More Despite considerable progress in maternal healthcare, maternal and perinatal deaths remain high in low-to-middle income countries. Fetal ultrasound is an important component of antenatal care, but shortage of adequately trained healthcare workers has limited its adoption. We developed and validated an artificial intelligence (AI) system that uses novice-acquired "blind sweep" ultrasound videos to estimate gestational age (GA) and fetal malpresentation. We further addressed obstacles that may be encountered in low-resourced settings. Using a simplified sweep protocol with real-time AI feedback on sweep quality, we have demonstrated the generalization of model performance to minimally trained novice ultrasound operators using low cost ultrasound devices with on-device AI integration. The GA model was non-inferior to standard fetal biometry estimates with as few as two sweeps, and the fetal malpresentation model had high AUC-ROCs across operators and devices. Our AI models have the potential to assist in upleveling the capabilities of lightly trained ultrasound operators in low resource settings. △ Less

Submitted 18 March, 2022; originally announced March 2022.

ROS georegistration: Aerial Multi-spectral Image Simulator for the Robot Operating System

Authors: Andrew R. Willis, Kevin Brink, Kathleen Dipple

Abstract: This article describes a software package called ROS georegistration intended for use with the Robot Operating System (ROS) and the Gazebo 3D simulation environment. ROSgeoregistration provides tools for the simulation, test and deployment of aerial georegistration algorithms and is made available with a link provided in the paper. A model creation package is provided which downloads multi-spectra… ▽ More This article describes a software package called ROS georegistration intended for use with the Robot Operating System (ROS) and the Gazebo 3D simulation environment. ROSgeoregistration provides tools for the simulation, test and deployment of aerial georegistration algorithms and is made available with a link provided in the paper. A model creation package is provided which downloads multi-spectral images from the Google Earth Engine database and, if necessary, incorporates these images into a single, possibly very large, reference image. Additionally a Gazebo plugin which uses the real-time sensor pose and image formation model to generate simulated imagery using the specified reference image is provided along with related plugins for UAV relevant data. The novelty of this work is threefold: (1) this is the first system to link the massive multi-spectral imaging database of Google's Earth Engine to the Gazebo simulator, (2) this is the first example of a system that can simulate geospatially and radiometrically accurate imagery from multiple sensor views of the same terrain region, and (3) integration with other UAS tools creates a new holistic UAS simulation environment to support UAS system and subsystem development where real-world testing would generally be prohibitive. Sensed imagery and ground truth registration information is published to client applications which can receive imagery synchronously with telemetry from other payload sensors, e.g., IMU, GPS/GNSS, barometer, and windspeed sensor data. To highlight functionality, we demonstrate ROSgeoregistration for simulating Electro-Optical (EO) and Synthetic Aperture Radar (SAR) image sensors and an example use case for developing and evaluating image-based UAS position feedback, i.e., pose for image-based Guidance Navigation and Control (GNC) applications. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Homomorphic Images of Locally Compact Groups Acting on Trees and Buildings

Authors: Max Carter, George A. Willis

Abstract: We study analogues of Cartan decompositions of Lie groups for totally disconnected locally compact groups. It is shown using these decompositions that a large class of totally disconnected locally compact groups acting on trees and buildings have the property that every continuous homomorphic image of the group is closed. We study analogues of Cartan decompositions of Lie groups for totally disconnected locally compact groups. It is shown using these decompositions that a large class of totally disconnected locally compact groups acting on trees and buildings have the property that every continuous homomorphic image of the group is closed. △ Less

Submitted 22 December, 2021; originally announced December 2021.

Comments: 15 pages

MSC Class: Primary: 20E08; 22D05; Secondary: 05C63; 22F50

Journal ref: Monatshefte für Mathematik, 200, (2023), 507-522

Discovery of 178 Giant Radio Galaxies in 1059 deg$^2$ of the Rapid ASKAP Continuum Survey at 888 MHz

Authors: Heinz Andernach, Eric F. Jiménez-Andrade, Anthony G. Willis

Abstract: We report the results of a visual inspection of images of the Rapid ASKAP Continuum Survey (RACS) in search of extended radio galaxies (ERG) that reach or exceed linear sizes on the order of one Megaparsec. We searched a contiguous area of 1059deg$^2$ from RA$_{\rm J}$=20$^h$20$^m$ to 06$^h$20$^m$, and $-50^{\circ}<\rm{Dec}_J<-40^{\circ}$, which is covered by deep multi-band optical images of the… ▽ More We report the results of a visual inspection of images of the Rapid ASKAP Continuum Survey (RACS) in search of extended radio galaxies (ERG) that reach or exceed linear sizes on the order of one Megaparsec. We searched a contiguous area of 1059deg$^2$ from RA$_{\rm J}$=20$^h$20$^m$ to 06$^h$20$^m$, and $-50^{\circ}<\rm{Dec}_J<-40^{\circ}$, which is covered by deep multi-band optical images of the Dark Energy Survey (DES), and in which previously only three ERGs larger than 1Mpc had been reported. For over 1800 radio galaxy candidates inspected, our search in optical and infrared images resulted in hosts for 1440 ERG, for which spectroscopic and photometric redshifts from various references were used to convert their largest angular size (LAS) to projected linear size (LLS). This resulted in 178 newly discovered giant radio sources (GRS) with LLS$>$1Mpc, of which 18 exceed 2Mpc and the largest one is 3.4Mpc. Their redshifts range from 0.02 to $\sim$2.0, but only 10 of the 178 new GRS have spectroscopic redshifts. For the 146 host galaxies the median $r$-band magnitude and redshift are 20.9 and 0.64, while for the 32 quasars or candidates these are 19.7 and 0.75. Merging the six most recent large compilations of GRS results in 458 GRS larger than 1Mpc, so we were able to increase this number by $\sim39\%$ to now 636. △ Less

Submitted 16 November, 2021; originally announced November 2021.

Comments: 27 pages, 8 figures, two tables. Published in Galaxies, vol. 9, 99, special issue with contributions from the conference "A New Window on the Radio Emission from Galaxies, Galaxy Clusters and Cosmic Web: Current Status and Perspectives" see https://www.mdpi.com/journal/galaxies/special_issues/nonthermal_galaxycluster. An ASCII version of Table 2 is included

A totally disconnected invitation to locally compact groups

Authors: Pierre-Emmanuel Caprace, George A. Willis

Abstract: We present a selection of results contributing to a structure theory of totally disconnected locally compact groups. We present a selection of results contributing to a structure theory of totally disconnected locally compact groups. △ Less

Submitted 12 October, 2021; originally announced October 2021.

Comments: Prepared for the proceedings of the ICM2022 (25 pages)

MSC Class: 22D05; 20E32; 20E15; 37B05; 43A07

Volumetric Procedural Models for Shape Representation

Authors: Andrew Willis, Prashant Ganesh, Kyle Volle, Jincheng Zhang, Kevin Brink

Abstract: This article describes a volumetric approach for procedural shape modeling and a new Procedural Shape Modeling Language (PSML) that facilitates the specification of these models. PSML provides programmers the ability to describe shapes in terms of their 3D elements where each element may be a semantic group of 3D objects, e.g., a brick wall, or an indivisible object, e.g., an individual brick. Mod… ▽ More This article describes a volumetric approach for procedural shape modeling and a new Procedural Shape Modeling Language (PSML) that facilitates the specification of these models. PSML provides programmers the ability to describe shapes in terms of their 3D elements where each element may be a semantic group of 3D objects, e.g., a brick wall, or an indivisible object, e.g., an individual brick. Modeling shapes in this manner facilitates the creation of models that more closely approximate the organization and structure of their real-world counterparts. As such, users may query these models for volumetric information such as the number, position, orientation and volume of 3D elements which cannot be provided using surface based model-building techniques. PSML also provides a number of new language-specific capabilities that allow for a rich variety of context-sensitive behaviors and post-processing functions. These capabilities include an object-oriented approach for model design, methods for querying the model for component-based information and the ability to access model elements and components to perform Boolean operations on the model parts. PSML is open-source and includes freely available tutorial videos, demonstration code and an integrated development environment to support writing PSML programs. △ Less

Submitted 22 March, 2021; originally announced March 2021.

Real-Time Surface Fitting to RGBD Sensor Data

Authors: John Papadakis, Andrew R. Willis

Abstract: This article describes novel approaches to quickly estimate planar surfaces from RGBD sensor data. The approach manipulates the standard algebraic fitting equations into a form that allows many of the needed regression variables to be computed directly from the camera calibration information. As such, much of the computational burden required by a standard algebraic surface fit can be pre-computed… ▽ More This article describes novel approaches to quickly estimate planar surfaces from RGBD sensor data. The approach manipulates the standard algebraic fitting equations into a form that allows many of the needed regression variables to be computed directly from the camera calibration information. As such, much of the computational burden required by a standard algebraic surface fit can be pre-computed. This provides a significant time and resource savings, especially when many surface fits are being performed which is often the case when RGBD point-cloud data is being analyzed for normal estimation, curvature estimation, polygonization or 3D segmentation applications. Using an integral image implementation, the proposed approaches show a significant increase in performance compared to the standard algebraic fitting approaches. △ Less

Submitted 11 March, 2021; originally announced March 2021.

Structure-From-Motion and RGBD Depth Fusion

Authors: Akash Chandrashekar, John Papadakis, Andrew Willis, Jamie Gantert

Abstract: This article describes a technique to augment a typical RGBD sensor by integrating depth estimates obtained via Structure-from-Motion (SfM) with sensor depth measurements. Limitations in the RGBD depth sensing technology prevent capturing depth measurements in four important contexts: (1) distant surfaces (>5m), (2) dark surfaces, (3) brightly lit indoor scenes and (4) sunlit outdoor scenes. SfM t… ▽ More This article describes a technique to augment a typical RGBD sensor by integrating depth estimates obtained via Structure-from-Motion (SfM) with sensor depth measurements. Limitations in the RGBD depth sensing technology prevent capturing depth measurements in four important contexts: (1) distant surfaces (>5m), (2) dark surfaces, (3) brightly lit indoor scenes and (4) sunlit outdoor scenes. SfM technology computes depth via multi-view reconstruction from the RGB image sequence alone. As such, SfM depth estimates do not suffer the same limitations and may be computed in all four of the previously listed circumstances. This work describes a novel fusion of RGBD depth data and SfM-estimated depths to generate an improved depth stream that may be processed by one of many important downstream applications such as robotic localization and mapping, as well as object recognition and tracking. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Real-Time RGBD Odometry for Fused-State Navigation Systems

Authors: Andrew R. Willis, Kevin M. Brink

Abstract: This article describes an algorithm that provides visual odometry estimates from sequential pairs of RGBD images. The key contribution of this article on RGBD odometry is that it provides both an odometry estimate and a covariance for the odometry parameters in real-time via a representative covariance matrix. Accurate, real-time parameter covariance is essential to effectively fuse odometry measu… ▽ More This article describes an algorithm that provides visual odometry estimates from sequential pairs of RGBD images. The key contribution of this article on RGBD odometry is that it provides both an odometry estimate and a covariance for the odometry parameters in real-time via a representative covariance matrix. Accurate, real-time parameter covariance is essential to effectively fuse odometry measurements into most navigation systems. To date, this topic has seen little treatment in research which limits the impact existing RGBD odometry approaches have for localization in these systems. Covariance estimates are obtained via a statistical perturbation approach motivated by real-world models of RGBD sensor measurement noise. Results discuss the accuracy of our RGBD odometry approach with respect to ground truth obtained from a motion capture system and characterizes the suitability of this approach for estimating the true RGBD odometry parameter uncertainty. △ Less

Submitted 10 March, 2021; originally announced March 2021.

A System for 3D Reconstruction Of Comminuted Tibial Plafond Bone Fractures

Authors: Pengcheng Liu, Nathan Hewitt, Waseem Shadid, Andrew Willis

Abstract: High energy impacts at joint locations often generate highly fragmented, or comminuted, bone fractures. Current approaches for treatment require physicians to decide how to classify the fracture within a hierarchy fracture severity categories. Each category then provides a best-practice treatment scenario to obtain the best possible prognosis for the patient. This article identifies shortcomings a… ▽ More High energy impacts at joint locations often generate highly fragmented, or comminuted, bone fractures. Current approaches for treatment require physicians to decide how to classify the fracture within a hierarchy fracture severity categories. Each category then provides a best-practice treatment scenario to obtain the best possible prognosis for the patient. This article identifies shortcomings associated with qualitative-only evaluation of fracture severity and provides new quantitative metrics that serve to address these shortcomings. We propose a system to semi-automatically extract quantitative metrics that are major indicators of fracture severity. These include: (i) fracture surface area, i.e., how much surface area was generated when the bone broke apart, and (ii) dispersion, i.e., how far the fragments have rotated and translated from their original anatomic positions. This article describes new computational tools to extract these metrics by computationally reconstructing 3D bone anatomy from CT images with a focus on tibial plafond fracture cases where difficult qualitative fracture severity cases are more prevalent. Reconstruction is accomplished within a single system that integrates several novel algorithms that identify, extract and piece-together fractured fragments in a virtual environment. Doing so provides objective quantitative measures for these fracture severity indicators. The availability of such measures provides new tools for fracture severity assessment which may lead to improved fracture treatment. This paper describes the system, the underlying algorithms and the metrics of the reconstruction results by quantitatively analyzing six clinical tibial plafond fracture cases. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: Elsevier Journal of Computerized Medical Imaging and Graphics

Suppression of turbulence and travelling waves in a vertical heated pipe

Authors: Elena Marensi, Shuisheng He, Ashley P. Willis

Abstract: Turbulence in the flow of fluid through a pipe can be suppressed by buoyancy forces. As the suppression of turbulence leads to severe heat transfer deterioration, this is an important and undesirable phenomenon in both heating and cooling applications. Vertical flow is often considered, as the axial buoyancy force can help drive the flow. With heating measured by the buoyancy parameter $C$, our DN… ▽ More Turbulence in the flow of fluid through a pipe can be suppressed by buoyancy forces. As the suppression of turbulence leads to severe heat transfer deterioration, this is an important and undesirable phenomenon in both heating and cooling applications. Vertical flow is often considered, as the axial buoyancy force can help drive the flow. With heating measured by the buoyancy parameter $C$, our DNS show that shear-driven turbulence may either be completely laminarised or transitions to a relatively quiescent convection-driven state. Buoyancy forces cause a flattening of the base flow profile, which in isothermal pipe flow has recently been linked to complete suppression of turbulence (Kühnen et al. Nat. Phys., 2018), and the flattened laminar base profile has enhanced nonlinear stability (Marensi et al. JFM, 2019). In agreement with these findings, the nonlinear lower-branch travelling-wave solution analysed here, which is believed to mediate transition to turbulence in isothermal pipe flow, is shown to be suppressed by buoyancy. A linear instability of the laminar base flow is responsible for the appearance of the relatively quiescent convection driven state for $C\gtrsim 4$ across the range of Reynolds numbers considered. In the suppression of turbulence, however, i.e. in the transition from turbulence, we find clearer association with the analysis of He et al. (JFM, 2016) than with the above dynamical systems approach, which describes better the transition to turbulence. The laminarisation criterion He et al. propose, based on an apparent Reynolds number of the flow as measured by its driving pressure gradient, is found to capture the critical $C=C_{cr}(Re)$ above which the flow will be laminarised or switch to the convection-driven type. Our analysis suggests that it is the weakened rolls, rather than the streaks, which appear to be critical for laminarisation. △ Less

Submitted 8 June, 2021; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: 30 pages, 21 figures

Journal ref: J. Fluid Mech. 919 (2021) A17

Scale Groups

Authors: George A. Willis

Abstract: Closed subgroups of the group of isometries of the regular tree $\treeq$ that fix an end of the tree and are vertex-transitive are shown to correspond, on one hand, to self-replicating groups acting on rooted trees and, on the other hand, to elements of totally disconnected, locally compact groups having positive scale. Closed subgroups of the group of isometries of the regular tree $\treeq$ that fix an end of the tree and are vertex-transitive are shown to correspond, on one hand, to self-replicating groups acting on rooted trees and, on the other hand, to elements of totally disconnected, locally compact groups having positive scale. △ Less

Submitted 30 September, 2024; v1 submitted 12 August, 2020; originally announced August 2020.

MSC Class: 22D05

Designing a minimal baffle to destabilise turbulence in pipe flows

Authors: Elena Marensi, Zijing Ding, Ashley P. Willis, Rich R. Kerswell

Abstract: Motivated by the results of recent experiments (Kühnen et al., Flow Turb. Combust., vol. 100, 2018, pp. 919-943), we consider the problem of designing a baffle (an obstacle to the flow) to relaminarise turbulence in pipe flows. Modelling the baffle as a spatial distribution of linear drag $\mathbf{f}(\mathbf{x},t)=-χ(\mathbf{x})\mathbf{u}_{tot}(\mathbf{x},t)$ within the flow ($\mathbf{u}_{tot}$ is… ▽ More Motivated by the results of recent experiments (Kühnen et al., Flow Turb. Combust., vol. 100, 2018, pp. 919-943), we consider the problem of designing a baffle (an obstacle to the flow) to relaminarise turbulence in pipe flows. Modelling the baffle as a spatial distribution of linear drag $\mathbf{f}(\mathbf{x},t)=-χ(\mathbf{x})\mathbf{u}_{tot}(\mathbf{x},t)$ within the flow ($\mathbf{u}_{tot}$ is the total velocity field and $χ\ge 0$ a scalar field), two different optimisation problems are considered to design $χ$ at a Reynolds number $Re=3000$. In the first, the smallest baffle defined in terms of a $L_1 $ norm of $χ$ is sought which minimises the viscous dissipation rate of the flow. In the second, a baffle which minimises the total energy consumption of the flow is treated. Both problems indicate that the baffle should be axisymmetric and radially localised near the pipe wall, but struggle to predict the optimal streamwise extent. A manual search finds an optimal baffle one radius long which is then used to study how the amplitude for relaminarisation varies with $Re$ up to $15\,000$. Large stress reduction is found at the pipe wall, but at the expense of an increased pressure drop across the baffle. Estimates are then made of the break even point downstream of the baffle where the stress reduction at the wall due to the relaminarised flow compensates for the extra drag produced by the baffle. △ Less

Submitted 21 June, 2020; originally announced June 2020.

Comments: 32 pages, 24 figures

Journal ref: J. Fluid Mech. 900 (2020) A31

Locally pro-p contraction groups are nilpotent

Authors: Helge Glockner, George A. Willis

Abstract: The authors have shown previously that every locally pro-p contraction group decomposes into the direct product of a p-adic analytic factor and a torsion factor. It has long been known that p-adic analytic contraction groups are nilpotent. We show here that the torsion factor is nilpotent too, and hence that every locally pro-p contraction group is nilpotent. The authors have shown previously that every locally pro-p contraction group decomposes into the direct product of a p-adic analytic factor and a torsion factor. It has long been known that p-adic analytic contraction groups are nilpotent. We show here that the torsion factor is nilpotent too, and hence that every locally pro-p contraction group is nilpotent. △ Less

Submitted 9 August, 2020; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: 24 pages, LaTeX

MSC Class: 22D05 (Primary) 20E22; 20E36; 20F18; 20J06 (Secondary)

Maplets: An Efficient Approach for Cooperative SLAM Map Building Under Communication and Computation Constraints

Authors: Kevin M. Brink, Jincheng Zhang, Andrew R. Willis, Ryan E. Sherrill, Jamie L. Godwin

Abstract: This article introduces an approach to facilitate cooperative exploration and mapping of large-scale, near-ground, underground, or indoor spaces via a novel integration framework for locally-dense agent map data. The effort targets limited Size, Weight, and Power (SWaP) agents with an emphasis on limiting required communications and redundant processing. The approach uses a unique organization of… ▽ More This article introduces an approach to facilitate cooperative exploration and mapping of large-scale, near-ground, underground, or indoor spaces via a novel integration framework for locally-dense agent map data. The effort targets limited Size, Weight, and Power (SWaP) agents with an emphasis on limiting required communications and redundant processing. The approach uses a unique organization of batch optimization engines to enable a highly efficient two-tier optimization structure. Tier I consist of agents that create and potentially share local maplets (local maps, limited in size) which are generated using Simultaneous Localization and Mapping (SLAM) map-building software and then marginalized to a more compact parameterization. Maplets are generated in an overlapping manner and used to estimate the transform and uncertainty between those overlapping maplets, providing accurate and compact odometry or delta-pose representation between maplet's local frames. The delta poses can be shared between agents, and in cases where maplets have salient features (for loop closures), the compact representation of the maplet can also be shared. The second optimization tier consists of a global optimizer that seeks to optimize those maplet-to-maplet transformations, including any loop closures identified. This can provide an accurate global "skeleton"' of the traversed space without operating on the high-density point cloud. This compact version of the map data allows for scalable, cooperative exploration with limited communication requirements where most of the individual maplets, or low fidelity renderings, are only shared if desired. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Compute-Bound and Low-Bandwidth Distributed 3D Graph-SLAM

Authors: Jincheng Zhang, Andrew R. Willis, Jamie Godwin

Abstract: This article describes a new approach for distributed 3D SLAM map building. The key contribution of this article is the creation of a distributed graph-SLAM map-building architecture responsive to bandwidth and computational needs of the robotic platform. Responsiveness is afforded by the integration of a 3D point cloud to plane cloud compression algorithm that approximates dense 3D point cloud us… ▽ More This article describes a new approach for distributed 3D SLAM map building. The key contribution of this article is the creation of a distributed graph-SLAM map-building architecture responsive to bandwidth and computational needs of the robotic platform. Responsiveness is afforded by the integration of a 3D point cloud to plane cloud compression algorithm that approximates dense 3D point cloud using local planar patches. Compute bound platforms may restrict the computational duration of the compression algorithm and low-bandwidth platforms can restrict the size of the compression result. The backbone of the approach is an ultra-fast adaptive 3D compression algorithm that transforms swaths of 3D planar surface data into planar patches attributed with image textures. Our approach uses DVO SLAM, a leading algorithm for 3D mapping, and extends it by computationally isolating map integration tasks from local Guidance, Navigation, and Control tasks and includes an addition of a network protocol to share the compressed plane clouds. The joint effect of these contributions allows agents with 3D sensing capabilities to calculate and communicate compressed map information commensurate with their onboard computational resources and communication channel capacities. This opens SLAM mapping to new categories of robotic platforms that may have computational and memory limits that prohibit other SLAM solutions. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Hardware-Accelerated SAR Simulation with NVIDIA-RTX Technology

Authors: Andrew R. Willis, Md Sajjad Hossain, Jamie Godwin

Abstract: Synthetic Aperture Radar (SAR) is a critical sensing technology that is notably independent of the sensor-to-target distance and has numerous cross-cutting applications, e.g., target recognition, mapping, surveillance, oceanography, geology, forestry (biomass, deforestation), disaster monitoring (volcano eruptions, oil spills, flooding), and infrastructure tracking (urban growth, structure mapping… ▽ More Synthetic Aperture Radar (SAR) is a critical sensing technology that is notably independent of the sensor-to-target distance and has numerous cross-cutting applications, e.g., target recognition, mapping, surveillance, oceanography, geology, forestry (biomass, deforestation), disaster monitoring (volcano eruptions, oil spills, flooding), and infrastructure tracking (urban growth, structure mapping). SAR uses a high-power antenna to illuminate target locations with electromagnetic radiation, e.g., 10GHz radio waves, and illuminated surface backscatter is sensed by the antenna which is then used to generate images of structures. Real SAR data is difficult and costly to produce and, for research, lacks a reliable source ground truth. This article proposes a open source SAR simulator to compute phase histories for arbitrary 3D scenes using newly available ray-tracing hardware made available commercially through the NVIDIA's RTX graphics cards series. The OptiX GPU ray tracing library for NVIDIA GPUs is used to calculate SAR phase histories at unprecedented computational speeds. The simulation results are validated against existing SAR simulation code for spotlight SAR illumination of point targets. The computational performance of this approach provides orders of magnitude speed increases over CPU simulation. An additional order of magnitude of GPU acceleration when simulations are run on RTX GPUs which include hardware specifically to accelerate OptiX ray tracing. The article describes the OptiX simulator structure, processing framework and calculations that afford execution on massively parallel GPU computation device. The shortcoming of the OptiX library's restriction to single precision float representation is discussed and modifications of sensitive calculations are proposed to reduce truncation error thereby increasing the simulation accuracy under this constraint. △ Less

Submitted 19 May, 2020; originally announced May 2020.

Comments: 17 pages, 7 figures, Algorithms for Synthetic Aperture Radar Imagery XXVII, SPIE Defense + Commercial Sensing 2020

Decomposition Theorems for Automorphism Groups of Trees

Authors: Max Carter, George A. Willis

Abstract: Motivated by the Bruhat and Cartan decompositions of general linear groups over local fields, double cosets of the group of label preserving automorphisms of a label-regular tree over the fixator of an end of the tree and over maximal compact open subgroups are enumerated. This enumeration is used to show that every continuous homomorphism from the automorphism group of a label-regular tree has cl… ▽ More Motivated by the Bruhat and Cartan decompositions of general linear groups over local fields, double cosets of the group of label preserving automorphisms of a label-regular tree over the fixator of an end of the tree and over maximal compact open subgroups are enumerated. This enumeration is used to show that every continuous homomorphism from the automorphism group of a label-regular tree has closed range. △ Less

Submitted 20 March, 2020; originally announced March 2020.

MSC Class: 20E08; 22D05

Journal ref: Bull. Aust. Math. Soc. 103 (2021) 104-112

On free products of graphs

Authors: Max Carter, Stephan Tornier, George A. Willis

Abstract: We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free product to be as large as possible, and we give sufficient criteria for it to be non-discrete. Finally, we transfer Tits' classification of automorphisms of trees and… ▽ More We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free product to be as large as possible, and we give sufficient criteria for it to be non-discrete. Finally, we transfer Tits' classification of automorphisms of trees and simplicity criterion to free products of graphs. △ Less

Submitted 28 September, 2021; v1 submitted 24 February, 2020; originally announced February 2020.

Comments: 18 pages

MSC Class: 05C25; 22D05

Journal ref: AUSTRALASIAN JOURNAL OF COMBINATORICS 78.1 (2020): 154-176

Upper edge of chaos and the energetics of transition in pipe flow

Authors: Nazmi Burak Budanur, Elena Marensi, Ashley P. Willis, Björn Hof

Abstract: In the past two decades, our understanding of the transition to turbulence in shear flows with linearly stable laminar solutions has greatly improved. Regarding the susceptibility of the laminar flow, two concepts have been particularly useful: the edge states and the minimal seeds. In this nonlinear picture of the transition, the basin boundary of turbulence is set by the edge state's stable mani… ▽ More In the past two decades, our understanding of the transition to turbulence in shear flows with linearly stable laminar solutions has greatly improved. Regarding the susceptibility of the laminar flow, two concepts have been particularly useful: the edge states and the minimal seeds. In this nonlinear picture of the transition, the basin boundary of turbulence is set by the edge state's stable manifold and this manifold comes closest in energy to the laminar equilibrium at the minimal seed. We begin this paper by presenting numerical experiments in which three-dimensional perturbations are too energetic to trigger turbulence in pipe flow but they do lead to turbulence when their amplitude is reduced. We show that this seemingly counter-intuitive observation is in fact consistent with the fully nonlinear description of the transition mediated by the edge state. In order to understand the physical mechanisms behind this process, we measure the turbulent kinetic energy production and dissipation rates as a function of the radial coordinate. Our main observation is that the transition to turbulence relies on the energy amplification away from the wall, as opposed to the turbulence itself, whose energy is predominantly produced near the wall. This observation is further supported by the similar analyses on the minimal seeds and the edge states. Furthermore, we show that the time-evolution of production-over-dissipation curves provide a clear distinction between the different initial amplification stages of the transition to turbulence from the minimal seed. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: Under review for publication in Physical Review Fluids

Topologically simple, totally disconnected, locally compact infinite matrix groups

Authors: Peter Groenhout, Colin D. Reid, George A. Willis

Abstract: Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group topology and are topologically simple. Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group topology and are topologically simple. △ Less

Submitted 14 December, 2019; v1 submitted 22 November, 2019; originally announced November 2019.

MutualNet: Adaptive ConvNet via Mutual Learning from Network Width and Resolution

Authors: Taojiannan Yang, Sijie Zhu, Chen Chen, Shen Yan, Mi Zhang, Andrew Willis

Abstract: We propose the width-resolution mutual learning method (MutualNet) to train a network that is executable at dynamic resource constraints to achieve adaptive accuracy-efficiency trade-offs at runtime. Our method trains a cohort of sub-networks with different widths using different input resolutions to mutually learn multi-scale representations for each sub-network. It achieves consistently better I… ▽ More We propose the width-resolution mutual learning method (MutualNet) to train a network that is executable at dynamic resource constraints to achieve adaptive accuracy-efficiency trade-offs at runtime. Our method trains a cohort of sub-networks with different widths using different input resolutions to mutually learn multi-scale representations for each sub-network. It achieves consistently better ImageNet top-1 accuracy over the state-of-the-art adaptive network US-Net under different computation constraints, and outperforms the best compound scaled MobileNet in EfficientNet by 1.5%. The superiority of our method is also validated on COCO object detection and instance segmentation as well as transfer learning. Surprisingly, the training strategy of MutualNet can also boost the performance of a single network, which substantially outperforms the powerful AutoAugmentation in both efficiency (GPU search hours: 15000 vs. 0) and accuracy (ImageNet: 77.6% vs. 78.6%). Code is available at \url{https://github.com/taoyang1122/MutualNet}. △ Less

Submitted 23 March, 2020; v1 submitted 27 September, 2019; originally announced September 2019.

Equilibria, periodic orbits and computing them

Authors: Ashley P. Willis

Abstract: In this short exposition, we describe equilibria and periodic orbits in terms of the flow map, Φ, and discuss the essentials of the Jacobian-free Newton-Krylov (JFNK) method that can be used to find them. This method requires little more than calls to an existing time stepping code, which Φ can be considered to represent. Fortran90 / MATLAB code is available to try it out for yourself, where, in t… ▽ More In this short exposition, we describe equilibria and periodic orbits in terms of the flow map, Φ, and discuss the essentials of the Jacobian-free Newton-Krylov (JFNK) method that can be used to find them. This method requires little more than calls to an existing time stepping code, which Φ can be considered to represent. Fortran90 / MATLAB code is available to try it out for yourself, where, in the template/example the method is applied to the Lorenz system. This code is problem-independent and can be applied to large systems, having initially been developed to find periodic orbits in simulations of pipe flow. △ Less

Submitted 10 September, 2019; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: EPSRC Summer School on Modal decompositions in fluid mechanics. DAMTP, Cambridge, 5-8 August 2019. 16 pages. (v2: references added, hyperlinks corrected)

Estimation of cell lineage trees by maximum-likelihood phylogenetics

Authors: Jean Feng, William S DeWitt III, Aaron McKenna, Noah Simon, Amy Willis, Frederick A Matsen IV

Abstract: CRISPR technology has enabled large-scale cell lineage tracing for complex multicellular organisms by mutating synthetic genomic barcodes during organismal development. However, these sophisticated biological tools currently use ad-hoc and outmoded computational methods to reconstruct the cell lineage tree from the mutated barcodes. Because these methods are agnostic to the biological mechanism, t… ▽ More CRISPR technology has enabled large-scale cell lineage tracing for complex multicellular organisms by mutating synthetic genomic barcodes during organismal development. However, these sophisticated biological tools currently use ad-hoc and outmoded computational methods to reconstruct the cell lineage tree from the mutated barcodes. Because these methods are agnostic to the biological mechanism, they are unable to take full advantage of the data's structure. We propose a statistical model for the mutation process and develop a procedure to estimate the tree topology, branch lengths, and mutation parameters by iteratively applying penalized maximum likelihood estimation. In contrast to existing techniques, our method estimates time along each branch, rather than number of mutation events, thus providing a detailed account of tissue-type differentiation. Via simulations, we demonstrate that our method is substantially more accurate than existing approaches. Our reconstructed trees also better recapitulate known aspects of zebrafish development and reproduce similar results across fish replicates. △ Less

Submitted 29 March, 2019; originally announced April 2019.