-
Model-assisted estimation of domain totals, areas, and densities in two-stage sample survey designs
Authors:
Hans-Erik Andersen,
Göran Ståhl,
Bruce D. Cook,
Douglas C. Morton,
Andrew O. Finley
Abstract:
Model-assisted, two-stage forest survey sampling designs provide a means to combine airborne remote sensing data, collected in a sampling mode, with field plot data to increase the precision of national forest inventory estimates, while maintaining important properties of design-based inventories, such as unbiased estimation and quantification of uncertainty. In this study, we present a comprehens…
▽ More
Model-assisted, two-stage forest survey sampling designs provide a means to combine airborne remote sensing data, collected in a sampling mode, with field plot data to increase the precision of national forest inventory estimates, while maintaining important properties of design-based inventories, such as unbiased estimation and quantification of uncertainty. In this study, we present a comprehensive set of model-assisted estimators for domain-level attributes in a two-stage sampling design, including new estimators for densities, and compare the performance of these estimators with standard poststratified estimators. Simulation was used to assess the statistical properties (bias, variability) of these estimators, with both simple random and systematic sampling configurations, and indicated that 1) all estimators were generally unbiased. and 2) the use of lidar in a sampling mode increased the precision of the estimators at all assessed field sampling intensities, with particularly marked increases in precision at lower field sampling intensities. Variance estimators are generally unbiased for model-assisted estimators without poststratification, while model-assisted estimators with poststratification were increasingly biased as field sampling intensity decreased. In general, these results indicate that airborne remote sensing, collected in a sampling mode, can be used to increase the efficiency of national forest inventories.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Partitioning Strategies for Distributed SMT Solving
Authors:
Amalee Wilson,
Andres Noetzli,
Andrew Reynolds,
Byron Cook,
Cesare Tinelli,
Clark Barrett
Abstract:
For many users of Satisfiability Modulo Theories (SMT) solvers, the solver's performance is the main bottleneck in their application. One promising approach for improving performance is to leverage the increasing availability of parallel and cloud computing. However, despite many efforts, the best parallel approach to date consists of running a portfolio of solvers, meaning that performance is sti…
▽ More
For many users of Satisfiability Modulo Theories (SMT) solvers, the solver's performance is the main bottleneck in their application. One promising approach for improving performance is to leverage the increasing availability of parallel and cloud computing. However, despite many efforts, the best parallel approach to date consists of running a portfolio of solvers, meaning that performance is still limited by the best possible sequential performance. In this paper, we revisit divide-and-conquer approaches to parallel SMT, in which a challenging problem is partitioned into several subproblems. We introduce several new partitioning strategies and evaluate their performance, both alone as well as within portfolios, on a large set of difficult SMT benchmarks. We show that hybrid portfolios that include our new strategies can significantly outperform traditional portfolios for parallel SMT.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Models to support forest inventory and small area estimation using sparsely sampled LiDAR: A case study involving G-LiHT LiDAR in Tanana, Alaska
Authors:
Andrew O. Finley,
Hans-Erik Andersen,
Chad Babcock,
Bruce D. Cook,
Douglas C. Morton,
Sudipto Banerjee
Abstract:
A two-stage hierarchical Bayesian model is developed and implemented to estimate forest biomass density and total given sparsely sampled LiDAR and georeferenced forest inventory plot measurements. The model is motivated by the United States Department of Agriculture (USDA) Forest Service Forest Inventory and Analysis (FIA) objective to provide biomass estimates for the remote Tanana Inventory Unit…
▽ More
A two-stage hierarchical Bayesian model is developed and implemented to estimate forest biomass density and total given sparsely sampled LiDAR and georeferenced forest inventory plot measurements. The model is motivated by the United States Department of Agriculture (USDA) Forest Service Forest Inventory and Analysis (FIA) objective to provide biomass estimates for the remote Tanana Inventory Unit (TIU) in interior Alaska. The proposed model yields stratum-level biomass estimates for arbitrarily sized areas. Model-based estimates are compared with the TIU FIA design-based post-stratified estimates. Model-based small area estimates (SAEs) for two experimental forests within the TIU are compared with each forest's design-based estimates generated using a dense network of independent inventory plots. Model parameter estimates and biomass predictions are informed using FIA plot measurements, LiDAR data that are spatially aligned with a subset of the FIA plots, and complete coverage remotely detected data used to define landuse/landcover stratum and percent forest canopy cover. Results support a model-based approach to estimating forest variables when inventory data are sparse or resources limit collection of enough data to achieve desired accuracy and precision using design-based methods.
△ Less
Submitted 31 January, 2024; v1 submitted 13 February, 2023;
originally announced February 2023.
-
ARcode: HPC Application Recognition Through Image-encoded Monitoring Data
Authors:
Jie Li,
Brandon Cook,
Yong Chen
Abstract:
Knowing HPC applications of jobs and analyzing their performance behavior play important roles in system management and optimizations. The existing approaches detect and identify HPC applications through machine learning models. However, these approaches rely heavily on the manually extracted features from resource utilization data to achieve high prediction accuracy. In this study, we propose an…
▽ More
Knowing HPC applications of jobs and analyzing their performance behavior play important roles in system management and optimizations. The existing approaches detect and identify HPC applications through machine learning models. However, these approaches rely heavily on the manually extracted features from resource utilization data to achieve high prediction accuracy. In this study, we propose an innovative application recognition method, ARcode, which encodes job monitoring data into images and leverages the automatic feature learning capability of convolutional neural networks to detect and identify applications. Our extensive evaluations based on the dataset collected from a large-scale production HPC system show that ARcode outperforms the state-of-the-art methodology by up to 18.87% in terms of accuracy at high confidence thresholds. For some specific applications (BerkeleyGW and e3sm), ARcode outperforms by over 20% at a confidence threshold of 0.8.
△ Less
Submitted 20 January, 2023;
originally announced January 2023.
-
Parallelized computational 3D video microscopy of freely moving organisms at multiple gigapixels per second
Authors:
Kevin C. Zhou,
Mark Harfouche,
Colin L. Cooke,
Jaehee Park,
Pavan C. Konda,
Lucas Kreiss,
Kanghyun Kim,
Joakim Jönsson,
Jed Doman,
Paul Reamey,
Veton Saliu,
Clare B. Cook,
Maxwell Zheng,
Jack P. Bechtel,
Aurélien Bègue,
Matthew McCarroll,
Jennifer Bagwell,
Gregor Horstmeyer,
Michel Bagnat,
Roarke Horstmeyer
Abstract:
To study the behavior of freely moving model organisms such as zebrafish (Danio rerio) and fruit flies (Drosophila) across multiple spatial scales, it would be ideal to use a light microscope that can resolve 3D information over a wide field of view (FOV) at high speed and high spatial resolution. However, it is challenging to design an optical instrument to achieve all of these properties simulta…
▽ More
To study the behavior of freely moving model organisms such as zebrafish (Danio rerio) and fruit flies (Drosophila) across multiple spatial scales, it would be ideal to use a light microscope that can resolve 3D information over a wide field of view (FOV) at high speed and high spatial resolution. However, it is challenging to design an optical instrument to achieve all of these properties simultaneously. Existing techniques for large-FOV microscopic imaging and for 3D image measurement typically require many sequential image snapshots, thus compromising speed and throughput. Here, we present 3D-RAPID, a computational microscope based on a synchronized array of 54 cameras that can capture high-speed 3D topographic videos over a 135-cm^2 area, achieving up to 230 frames per second at throughputs exceeding 5 gigapixels (GPs) per second. 3D-RAPID features a 3D reconstruction algorithm that, for each synchronized temporal snapshot, simultaneously fuses all 54 images seamlessly into a globally-consistent composite that includes a coregistered 3D height map. The self-supervised 3D reconstruction algorithm itself trains a spatiotemporally-compressed convolutional neural network (CNN) that maps raw photometric images to 3D topography, using stereo overlap redundancy and ray-propagation physics as the only supervision mechanism. As a result, our end-to-end 3D reconstruction algorithm is robust to generalization errors and scales to arbitrarily long videos from arbitrarily sized camera arrays. The scalable hardware and software design of 3D-RAPID addresses a longstanding problem in the field of behavioral imaging, enabling parallelized 3D observation of large collections of freely moving organisms at high spatiotemporal throughputs, which we demonstrate in ants (Pogonomyrmex barbatus), fruit flies, and zebrafish larvae.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Analyzing Resource Utilization in an HPC System: A Case Study of NERSC Perlmutter
Authors:
Jie Li,
George Michelogiannakis,
Brandon Cook,
Dulanya Cooray,
Yong Chen
Abstract:
Resource demands of HPC applications vary significantly. However, it is common for HPC systems to primarily assign resources on a per-node basis to prevent interference from co-located workloads. This gap between the coarse-grained resource allocation and the varying resource demands can lead to HPC resources being not fully utilized. In this study, we analyze the resource usage and application be…
▽ More
Resource demands of HPC applications vary significantly. However, it is common for HPC systems to primarily assign resources on a per-node basis to prevent interference from co-located workloads. This gap between the coarse-grained resource allocation and the varying resource demands can lead to HPC resources being not fully utilized. In this study, we analyze the resource usage and application behavior of NERSC's Perlmutter, a state-of-the-art open-science HPC system with both CPU-only and GPU-accelerated nodes. Our one-month usage analysis reveals that CPUs are commonly not fully utilized, especially for GPU-enabled jobs. Also, around 64% of both CPU and GPU-enabled jobs used 50% or less of the available host memory capacity. Additionally, about 50% of GPU-enabled jobs used up to 25% of the GPU memory, and the memory capacity was not fully utilized in some ways for all jobs. While our study comes early in Perlmutter's lifetime thus policies and application workload may change, it provides valuable insights on performance characterization, application behavior, and motivates systems with more fine-grain resource allocation.
△ Less
Submitted 12 March, 2023; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Efficient Intra-Rack Resource Disaggregation for HPC Using Co-Packaged DWDM Photonics
Authors:
George Michelogiannakis,
Yehia Arafa,
Brandon Cook,
Liang Yuan Dai,
Abdel Hameed Badawy,
Madeleine Glick,
Yuyang Wang,
Keren Bergman,
John Shalf
Abstract:
The diversity of workload requirements and increasing hardware heterogeneity in emerging high performance computing (HPC) systems motivate resource disaggregation. Resource disaggregation allows compute and memory resources to be allocated individually as required to each workload. However, it is unclear how to efficiently realize this capability and cost-effectively meet the stringent bandwidth a…
▽ More
The diversity of workload requirements and increasing hardware heterogeneity in emerging high performance computing (HPC) systems motivate resource disaggregation. Resource disaggregation allows compute and memory resources to be allocated individually as required to each workload. However, it is unclear how to efficiently realize this capability and cost-effectively meet the stringent bandwidth and latency requirements of HPC applications. To that end, we describe how modern photonics can be co-designed with modern HPC racks to implement flexible intra-rack resource disaggregation and fully meet the bit error rate (BER) and high escape bandwidth of all chip types in modern HPC racks. Our photonic-based disaggregated rack provides an average application speedup of 11% (46% maximum) for 25 CPU and 61% for 24 GPU benchmarks compared to a similar system that instead uses modern electronic switches for disaggregation. Using observed resource usage from a production system, we estimate that an iso-performance intra-rack disaggregated HPC system using photonics would require 4x fewer memory modules and 2x fewer NICs than a non-disaggregated baseline.
△ Less
Submitted 17 July, 2023; v1 submitted 9 January, 2023;
originally announced January 2023.
-
New total transmission modes of the Kerr geometry with Schwarzschild limit frequencies at complex infinity
Authors:
Gregory B. Cook,
Suhan Lu
Abstract:
In addition to the well-known quasinormal modes, the gravitational modes of the Kerr geometry also include sets of total-transmission modes. Each mode can be considered as an element of a sequence of modes parameterized by the angular momentum of the black hole. One family of gravitational total-transmission modes of Kerr have been known for some time. Modes in this family connect to a Schwarzschi…
▽ More
In addition to the well-known quasinormal modes, the gravitational modes of the Kerr geometry also include sets of total-transmission modes. Each mode can be considered as an element of a sequence of modes parameterized by the angular momentum of the black hole. One family of gravitational total-transmission modes of Kerr have been known for some time. Modes in this family connect to a Schwarzschild limit where the mode frequency is finite and purely imaginary. Recently, what was thought to be an additional branch of this original family of modes was discovered. However, this new branch is actually a part of one of two entirely new families of total-transmission modes. Modes in these new families, surprisingly, connect to a Schwarzschild limit where the mode frequencies exist at complex infinity. We have numerically constructed full sets of sequences of gravitational total-transmission modes for harmonic indices $\ell=[2,8]$. Using these numerical sequences, we have been able to construct analytic asymptotic expansions for the mode frequencies and their associated separation constants. The asymptotic expansion for the separation constant used in constructing the total-transmission modes seems to be valid for general complex values of the oblateness parameter.
△ Less
Submitted 29 January, 2023; v1 submitted 27 November, 2022;
originally announced November 2022.
-
Quantifying and correcting geolocation error in spaceborne LiDAR forest canopy observations using high spatial accuracy ALS: A Bayesian model approach
Authors:
Elliot S. Shannon,
Andrew O. Finley,
Daniel J. Hayes,
Sylvia N. Noralez,
Aaron R. Weiskittel,
Bruce D. Cook,
Chad Babcock
Abstract:
Geolocation error in spaceborne sampling light detection and ranging (LiDAR) measurements of forest structure can compromise forest attribute estimates and degrade integration with georeferenced field measurements or other remotely sensed data. Data integration is especially problematic when geolocation error is not well quantified. We propose a general model that uses airborne laser scanning (ALS…
▽ More
Geolocation error in spaceborne sampling light detection and ranging (LiDAR) measurements of forest structure can compromise forest attribute estimates and degrade integration with georeferenced field measurements or other remotely sensed data. Data integration is especially problematic when geolocation error is not well quantified. We propose a general model that uses airborne laser scanning (ALS) data to quantify and correct geolocation error in spaceborne sampling LiDAR. To illustrate the model, LiDAR data from NASA Goddard's LiDAR Hyperspectral & Thermal Imager (G-LiHT) was used with a subset of LiDAR data from NASA's Global Ecosystem Dynamics Investigation (GEDI). The model accommodates multiple canopy height metrics derived from a simulated GEDI footprint kernel using spatially coincident G-LiHT, and incorporates both additive and multiplicative map** between the canopy height metrics generated from both datasets. A Bayesian implementation provides probabilistic uncertainty quantification in both parameter and geolocation error estimates. Results show a systematic geolocation error of 9.62 m in the southwest direction. In addition, estimated geolocation errors within GEDI footprints were highly variable, with results showing a ~0.45 probability the true footprint center is within 20 m. Estimating and correcting geolocation error via the model outlined here can help inform subsequent efforts to integrate spaceborne LiDAR data, like GEDI, with other georeferenced data.
△ Less
Submitted 23 August, 2023; v1 submitted 23 September, 2022;
originally announced September 2022.
-
Understanding solutions of the angular Teukolsky equation in the prolate asymptotic limit
Authors:
Daniel J. Vickers,
Gregory B. Cook
Abstract:
Solutions to the Angular Teukolsky Equation have been used to solve various applied problems in physics and are extremely important to black-hole physics, particularly in computing quasinormal modes and in the extreme-mass-ratio inspiral problem. The eigenfunctions of this equation, known as spin-weighted spheroidal functions, are essentially generalizations of both the spin-weighted spherical har…
▽ More
Solutions to the Angular Teukolsky Equation have been used to solve various applied problems in physics and are extremely important to black-hole physics, particularly in computing quasinormal modes and in the extreme-mass-ratio inspiral problem. The eigenfunctions of this equation, known as spin-weighted spheroidal functions, are essentially generalizations of both the spin-weighted spherical harmonics and the scalar spheroidal harmonics. While the latter functions are quite well understood analytically, the spin-weighted spheroidal harmonics are only known analytically in the spherical and oblate asymptotic limits. Attempts to understand them in the prolate asymptotic limit have met limited success. Here, we make use of a high-accuracy numerical solution scheme to extensively explore the space of possible prolate solutions and extract analytic asymptotic expansions for the eigenvalues in the prolate asymptotic limit. Somewhat surprisingly, we find two classes of asymptotic behavior. The behavior of one class, referred to as "normal", is in agreement with the leading-order behavior derived analytically in prior work. The second class of solutions was not previously predicted, but solutions in this class are responsible for unexplained behavior seen in previous numerical prolate solutions during the transition to asymptotic behavior. The behavior of solutions in this "anomalous" class is more complicated than that of solutions in the normal class, with the anomalous class separating into different types based on the behavior of the eigenvalues at different asymptotic orders. We explore the question of when anomalous solutions appear and find necessary, but not sufficient conditions for their existence. It is our hope that this extensive numerical investigation of the prolate solutions will inspire and inform new analytic investigations into these important functions.
△ Less
Submitted 17 November, 2022; v1 submitted 12 August, 2022;
originally announced August 2022.
-
A decoupling interpretation of an old argument for Vinogradov's Mean Value Theorem
Authors:
Brian Cook,
Kevin Hughes,
Zane Kun Li,
Akshat Mudgal,
Olivier Robert,
Po-Lam Yung
Abstract:
We interpret into decoupling language a refinement of a 1973 argument due to Karatsuba on Vinogradov's mean value theorem. The main goal of our argument is to answer what precisely does solution counting in older partial progress on Vinogradov's mean value theorem correspond to in Fourier decoupling theory.
We interpret into decoupling language a refinement of a 1973 argument due to Karatsuba on Vinogradov's mean value theorem. The main goal of our argument is to answer what precisely does solution counting in older partial progress on Vinogradov's mean value theorem correspond to in Fourier decoupling theory.
△ Less
Submitted 12 October, 2023; v1 submitted 3 July, 2022;
originally announced July 2022.
-
Tracing Milky Way substructure with an RR Lyrae hierarchical clustering forest
Authors:
Brian T. Cook,
Deborah F. Woods,
Jessica D. Ruprecht,
Jacob Varey,
Radha Mastandrea,
Kaylee de Soto,
Jacob F. Harburg,
Umaa Rebbapragada,
Ashish A. Mahabal
Abstract:
RR Lyrae variable stars have long been reliable standard candles used to discern structure in the Local Group. With this in mind, we present a routine to identify grou**s containing a statistically significant number of RR Lyrae variables in the Milky Way environment. RR Lyrae variable grou**s, or substructures, with potential Galactic archaeology applications are found using a forest of agglo…
▽ More
RR Lyrae variable stars have long been reliable standard candles used to discern structure in the Local Group. With this in mind, we present a routine to identify grou**s containing a statistically significant number of RR Lyrae variables in the Milky Way environment. RR Lyrae variable grou**s, or substructures, with potential Galactic archaeology applications are found using a forest of agglomerative, hierarchical clustering trees, whose leaves are Milky Way RR Lyrae variables. Each grou** is validated by ensuring that the internal RR Lyrae variable proper motions are sufficiently correlated. Photometric information was collected from the Gaia second data release and proper motions from the (early) third data release. After applying this routine to the catalogue of 91234 variables, we are able to report sixteen unique RR Lyrae substructures with physical sizes of less than 1 kpc. Five of these substructures are in close proximity to Milky Way globular clusters with previously known tidal tails and/or a potential connection to Galactic merger events. One candidate substructure is in the neighbourhood of the Large Magellanic Cloud but is more distant (and older) than known satellites of the dwarf galaxy. Our study ends with a discussion of ways in which future surveys could be applied to the discovery of Milky Way stellar streams.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
Accelerating quantum many-body configuration interaction with directives
Authors:
Brandon Cook,
Patrick J. Fasano,
Pieter Maris,
Chao Yang,
Dossay Oryspayev
Abstract:
Many-Fermion Dynamics-nuclear, or MFDn, is a configuration interaction (CI) code for nuclear structure calculations. It is a platform-independent Fortran 90 code using a hybrid MPI+X programming model. For CPU platforms the application has a robust and optimized OpenMP implementation for shared memory parallelism. As part of the NESAP application readiness program for NERSC's latest Perlmutter sys…
▽ More
Many-Fermion Dynamics-nuclear, or MFDn, is a configuration interaction (CI) code for nuclear structure calculations. It is a platform-independent Fortran 90 code using a hybrid MPI+X programming model. For CPU platforms the application has a robust and optimized OpenMP implementation for shared memory parallelism. As part of the NESAP application readiness program for NERSC's latest Perlmutter system, MFDn has been updated to take advantage of accelerators. The current mainline GPU port is based on OpenACC. In this work we describe some of the key challenges of creating an efficient GPU implementation. Additionally, we compare the support of OpenMP and OpenACC on AMD and NVIDIA GPUs.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Accelerating an Iterative Eigensolver for Nuclear Structure Configuration Interaction Calculations on GPUs using OpenACC
Authors:
Pieter Maris,
Chao Yang,
Dossay Oryspayev,
Brandon Cook
Abstract:
To accelerate the solution of large eigenvalue problems arising from many-body calculations in nuclear physics on distributed-memory parallel systems equipped with general-purpose Graphic Processing Units (GPUs), we modified a previously developed hybrid MPI/OpenMP implementation of an eigensolver written in FORTRAN 90 by using an OpenACC directives based programming model. Such an approach requir…
▽ More
To accelerate the solution of large eigenvalue problems arising from many-body calculations in nuclear physics on distributed-memory parallel systems equipped with general-purpose Graphic Processing Units (GPUs), we modified a previously developed hybrid MPI/OpenMP implementation of an eigensolver written in FORTRAN 90 by using an OpenACC directives based programming model. Such an approach requires making minimal changes to the original code and enables a smooth migration of large-scale nuclear structure simulations from a distributed-memory many-core CPU system to a distributed GPU system. However, in order to make the OpenACC based eigensolver run efficiently on GPUs, we need to take into account the architectural differences between a many-core CPU and a GPU device. Consequently, the optimal way to insert OpenACC directives may be different from the original way of inserting OpenMP directives. We point out these differences in the implementation of sparse matrix-matrix multiplications (SpMM), which constitutes the main cost of the eigensolver, as well as other differences in the preconditioning step and dense linear algebra operations. We compare the performance of the OpenACC based implementation executed on multiple GPUs with the performance on distributed-memory many-core CPUs, and demonstrate significant speedup achieved on GPUs compared to the on-node performance of a many-core CPU. We also show that the overall performance improvement of the eigensolver on multiple GPUs is more modest due to the communication overhead among different MPI ranks.
△ Less
Submitted 1 September, 2021;
originally announced September 2021.
-
Multi-facet Contextual Bandits: A Neural Network Perspective
Authors:
Yikun Ban,
**grui He,
Curtiss B. Cook
Abstract:
Contextual multi-armed bandit has shown to be an effective tool in recommender systems. In this paper, we study a novel problem of multi-facet bandits involving a group of bandits, each characterizing the users' needs from one unique aspect. In each round, for the given user, we need to select one arm from each bandit, such that the combination of all arms maximizes the final reward. This problem…
▽ More
Contextual multi-armed bandit has shown to be an effective tool in recommender systems. In this paper, we study a novel problem of multi-facet bandits involving a group of bandits, each characterizing the users' needs from one unique aspect. In each round, for the given user, we need to select one arm from each bandit, such that the combination of all arms maximizes the final reward. This problem can find immediate applications in E-commerce, healthcare, etc. To address this problem, we propose a novel algorithm, named MuFasa, which utilizes an assembled neural network to jointly learn the underlying reward functions of multiple bandits. It estimates an Upper Confidence Bound (UCB) linked with the expected reward to balance between exploitation and exploration. Under mild assumptions, we provide the regret analysis of MuFasa. It can achieve the near-optimal $\widetilde{ \mathcal{O}}((K+1)\sqrt{T})$ regret bound where $K$ is the number of bandits and $T$ is the number of played rounds. Furthermore, we conduct extensive experiments to show that MuFasa outperforms strong baselines on real-world data sets.
△ Less
Submitted 30 June, 2021; v1 submitted 6 June, 2021;
originally announced June 2021.
-
Neural Field Models: A mathematical overview and unifying framework
Authors:
Blake J. Cook,
Andre D. H. Peterson,
Wessel Woldman,
John R. Terry
Abstract:
Mathematical modelling of the macroscopic electrical activity of the brain is highly non-trivial and requires a detailed understanding of not only the associated mathematical techniques, but also the underlying physiology and anatomy. Neural field theory is a population-level approach to modelling the non-linear dynamics of large populations of neurons, while maintaining a degree of mathematical t…
▽ More
Mathematical modelling of the macroscopic electrical activity of the brain is highly non-trivial and requires a detailed understanding of not only the associated mathematical techniques, but also the underlying physiology and anatomy. Neural field theory is a population-level approach to modelling the non-linear dynamics of large populations of neurons, while maintaining a degree of mathematical tractability. This class of models provides a solid theoretical perspective on fundamental processes of neural tissue such as state transitions between different brain activities as observed during epilepsy or sleep. Various anatomical, physiological, and mathematical assumptions are essential for deriving a minimal set of equations that strike a balance between biophysical realism and mathematical tractability. However, these assumptions are not always made explicit throughout the literature. Even though neural field models (NFMs) first appeared in the literature in the early 1970's, the relationships between them have not been systematically addressed. This may partially be explained by the fact that the inter-dependencies between these models are often implicit and non-trivial. Herein we provide a review of key stages of the history and development of neural field theory and contemporary uses of this branch of mathematical neuroscience. First, the principles of the theory are summarised throughout a discussion of the pioneering models by Wilson and Cowan, Amari and Nunez. Upon thorough review of these models, we then present a unified mathematical framework in which all neural field models can be derived by applying different assumptions. We then use this framework to i) derive contemporary models by Robinson, Jansen and Rit, Wendling, Liley, and Steyn-Ross, and ii) make explicit the many significant inherited assumptions that exist in the current literature.
△ Less
Submitted 16 March, 2022; v1 submitted 18 March, 2021;
originally announced March 2021.
-
Multilinear maximal operators associated to simplices
Authors:
Brian Cook,
Neil Lyall,
Akos Magyar
Abstract:
We establish $L^{p_1}\times\cdots\times L^{p_k}\to L^r$ and $\ell^{p_1}\times\cdots\times \ell^{p_k}\to \ell^r$ type bounds for multilinear maximal operators associated to averages over isometric copies of a given non-degenerate $k$-simplex in both the continuous and discrete settings. These provide natural extensions of $L^p\to L^p$ and $\ell^p\to \ell^p$ bounds for Stein's spherical maximal oper…
▽ More
We establish $L^{p_1}\times\cdots\times L^{p_k}\to L^r$ and $\ell^{p_1}\times\cdots\times \ell^{p_k}\to \ell^r$ type bounds for multilinear maximal operators associated to averages over isometric copies of a given non-degenerate $k$-simplex in both the continuous and discrete settings. These provide natural extensions of $L^p\to L^p$ and $\ell^p\to \ell^p$ bounds for Stein's spherical maximal operator and the discrete spherical maximal operator, with each of these results serving as a key ingredient of the respective proofs.
△ Less
Submitted 31 August, 2020; v1 submitted 28 June, 2020;
originally announced June 2020.
-
Poisson Learning: Graph Based Semi-Supervised Learning At Very Low Label Rates
Authors:
Jeff Calder,
Brendan Cook,
Matthew Thorpe,
Dejan Slepcev
Abstract:
We propose a new framework, called Poisson learning, for graph based semi-supervised learning at very low label rates. Poisson learning is motivated by the need to address the degeneracy of Laplacian semi-supervised learning in this regime. The method replaces the assignment of label values at training points with the placement of sources and sinks, and solves the resulting Poisson equation on the…
▽ More
We propose a new framework, called Poisson learning, for graph based semi-supervised learning at very low label rates. Poisson learning is motivated by the need to address the degeneracy of Laplacian semi-supervised learning in this regime. The method replaces the assignment of label values at training points with the placement of sources and sinks, and solves the resulting Poisson equation on the graph. The outcomes are provably more stable and informative than those of Laplacian learning. Poisson learning is efficient and simple to implement, and we present numerical experiments showing the method is superior to other recent approaches to semi-supervised learning at low label rates on MNIST, FashionMNIST, and Cifar-10. We also propose a graph-cut enhancement of Poisson learning, called Poisson MBO, that gives higher accuracy and can incorporate prior knowledge of relative class sizes.
△ Less
Submitted 14 August, 2020; v1 submitted 19 June, 2020;
originally announced June 2020.
-
Rates of convergence for the continuum limit of nondominated sorting
Authors:
Brendan Cook,
Jeff Calder
Abstract:
Nondominated sorting is a discrete process that sorts points in Euclidean space according to the coordinatewise partial order, and is used to rank feasible solutions to multiobjective optimization problems. It was previously shown that nondominated sorting of random points has a Hamilton-Jacobi equation continuum limit. We prove quantitative error estimates for the convergence of nondominated sort…
▽ More
Nondominated sorting is a discrete process that sorts points in Euclidean space according to the coordinatewise partial order, and is used to rank feasible solutions to multiobjective optimization problems. It was previously shown that nondominated sorting of random points has a Hamilton-Jacobi equation continuum limit. We prove quantitative error estimates for the convergence of nondominated sorting to its continuum limit Hamilton-Jacobi equation. Our proof uses the maximum principle and viscosity solution machinery, along with new semiconvexity estimates for domains with corner singularities.
△ Less
Submitted 17 May, 2022; v1 submitted 10 June, 2020;
originally announced June 2020.
-
Measuring Star Formation Histories, Distances, and Metallicities with Pixel Color-Magnitude Diagrams II: Applications to Nearby Elliptical Galaxies
Authors:
B. A. Cook,
Charlie Conroy,
Pieter van Dokkum
Abstract:
We present spatially-resolved measurements of star formation histories (SFHs), metallicities, and distances in three nearby elliptical galaxies and the bulge of M31 derived using the pixel color-magnitude diagram (pCMD) technique. We compute pCMDs from archival $\textit{HST}$ photometry of M87, M49, NGC 3377 and M31, and fit the data using the new code $\texttt{PCMDPy}$. We measure distances to ea…
▽ More
We present spatially-resolved measurements of star formation histories (SFHs), metallicities, and distances in three nearby elliptical galaxies and the bulge of M31 derived using the pixel color-magnitude diagram (pCMD) technique. We compute pCMDs from archival $\textit{HST}$ photometry of M87, M49, NGC 3377 and M31, and fit the data using the new code $\texttt{PCMDPy}$. We measure distances to each system that are accurate to $\sim 10\%$. The recovered non-parametric SFHs place reasonable ($\pm 1$ dex) constraints on the recent (< 2 Gyr) star formation in M31 and NGC 3377, both of which show evidence of inside-out growth. The SFHs in M87 and M49 are constrained only at the oldest ages. The pCMD technique is a promising new avenue for studying the evolutionary history of the nearby universe, and is highly complementary to existing stellar population modeling techniques.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
Aspects of multimode Kerr ring-down fitting
Authors:
Gregory B. Cook
Abstract:
A black hole that is ringing down to quiescence emits gravitational radiation of a very specific nature that can inform us of its mass and angular momentum, test the no-hair theorem for black holes, and perhaps even give us additional information about its progenitor system. This paper provides a detailed description of, and investigation into the behavior of, multimode fitting of the ring-down si…
▽ More
A black hole that is ringing down to quiescence emits gravitational radiation of a very specific nature that can inform us of its mass and angular momentum, test the no-hair theorem for black holes, and perhaps even give us additional information about its progenitor system. This paper provides a detailed description of, and investigation into the behavior of, multimode fitting of the ring-down signal provided by numerical simulations. We find that there are at least three well-motivated multimode fitting schemes that can be used. These methods are tested against a specific numerical simulation to allow for comparison to prior work.
△ Less
Submitted 30 June, 2020; v1 submitted 17 April, 2020;
originally announced April 2020.
-
Supercritical discrete restriction estimates for forms in many variables
Authors:
Brian Cook,
Kevin Hughes,
Eyvindur Palsson
Abstract:
We prove discrete restriction estimates for a broad class of hypersurfaces and varieties of intermediate codimension. For our result about hypersurfaces, we use Bourgain's arithmetic version of the Tomas--Stein method and Magyar's decomposition of Birch's hypersurfaces. For our result about varieties of higher codimension, we use the even moment method and works of Birch and Schmidt.
We prove discrete restriction estimates for a broad class of hypersurfaces and varieties of intermediate codimension. For our result about hypersurfaces, we use Bourgain's arithmetic version of the Tomas--Stein method and Magyar's decomposition of Birch's hypersurfaces. For our result about varieties of higher codimension, we use the even moment method and works of Birch and Schmidt.
△ Less
Submitted 5 April, 2020;
originally announced April 2020.
-
Climates of Warm Earth-Like Planets III: Fractional Habitability from a Water Cycle Perspective
Authors:
Anthony D. Del Genio,
M. J. Way,
Nancy Y. Kiang,
Igor Aleinov,
Michael J. Puma,
Benjamin Cook
Abstract:
The habitable fraction of a planet's surface is important for the detectability of surface biosignatures. The extent and distribution of habitable areas is influenced by external parameters that control the planet's climate, atmospheric circulation, and hydrological cycle. We explore these issues using the ROCKE-3D General Circulation Model, focusing on terrestrial water fluxes and thus the potent…
▽ More
The habitable fraction of a planet's surface is important for the detectability of surface biosignatures. The extent and distribution of habitable areas is influenced by external parameters that control the planet's climate, atmospheric circulation, and hydrological cycle. We explore these issues using the ROCKE-3D General Circulation Model, focusing on terrestrial water fluxes and thus the potential for the existence of complex life on land. Habitability is examined as a function of insolation and planet rotation for an Earth-like world with zero obliquity and eccentricity orbiting the Sun. We assess fractional habitability using an aridity index that measures the net supply of water to the land. Earth-like planets become ``superhabitable'' (a larger habitable surface area than Earth) as insolation and day-length increase because their climates become more equable, reminiscent of past warm periods on Earth when complex life was abundant and widespread. The most slowly rotating, most highly irradiated planets, though, occupy a hydrological regime unlike any on Earth, with extremely warm, humid conditions at high latitudes but little rain and subsurface water storage. Clouds increasingly obscure the surface as insolation increases, but visibility improves for modest increases in rotation period. Thus, moderately slowly rotating rocky planets with insolation near or somewhat greater than modern Earth's appear to be promising targets for surface characterization by a future direct imaging mission.
△ Less
Submitted 8 October, 2019;
originally announced October 2019.
-
Conjugate Nearest Neighbor Gaussian Process Models for Efficient Statistical Interpolation of Large Spatial Data
Authors:
Shinichiro Shirota,
Andrew O. Finley,
Bruce D. Cook,
Sudipto Banerjee
Abstract:
A key challenge in spatial statistics is the analysis for massive spatially-referenced data sets. Such analyses often proceed from Gaussian process specifications that can produce rich and robust inference, but involve dense covariance matrices that lack computationally exploitable structures. The matrix computations required for fitting such models involve floating point operations in cubic order…
▽ More
A key challenge in spatial statistics is the analysis for massive spatially-referenced data sets. Such analyses often proceed from Gaussian process specifications that can produce rich and robust inference, but involve dense covariance matrices that lack computationally exploitable structures. The matrix computations required for fitting such models involve floating point operations in cubic order of the number of spatial locations and dynamic memory storage in quadratic order. Recent developments in spatial statistics offer a variety of massively scalable approaches. Bayesian inference and hierarchical models, in particular, have gained popularity due to their richness and flexibility in accommodating spatial processes. Our current contribution is to provide computationally efficient exact algorithms for spatial interpolation of massive data sets using scalable spatial processes. We combine low-rank Gaussian processes with efficient sparse approximations. Following recent work by [1], we model the low-rank process using a Gaussian predictive process (GPP) and the residual process as a sparsity-inducing nearest-neighbor Gaussian process (NNGP). A key contribution here is to implement these models using exact conjugate Bayesian modeling to avoid expensive iterative algorithms. Through the simulation studies, we evaluate performance of the proposed approach and the robustness of our models, especially for long range prediction. We implement our approaches for remotely sensed light detection and ranging (LiDAR) data collected over the US Forest Service Tanana Inventory Unit (TIU) in a remote portion of Interior Alaska.
△ Less
Submitted 23 July, 2019;
originally announced July 2019.
-
Bounds for Lacunary maximal functions given by Birch--Magyar averages
Authors:
Brian Cook,
Kevin Hughes
Abstract:
We obtain positive and negative results concerning lacunary discrete maximal operators defined by dilations of sufficiently nonsingular hypersurfaces arising from Diophantine equations in many variables. Our negative results show that this problem differs substantially from that of lacunary discrete maximal operators defined along a nonsingular hypersurface. Our positive results are improvements o…
▽ More
We obtain positive and negative results concerning lacunary discrete maximal operators defined by dilations of sufficiently nonsingular hypersurfaces arising from Diophantine equations in many variables. Our negative results show that this problem differs substantially from that of lacunary discrete maximal operators defined along a nonsingular hypersurface. Our positive results are improvements over bounds for the corresponding full maximal functions which were initially studied by Magyar.
In order to obtain positive results, we use an interpolation technique of the second author to reduce problem to a maximal function of main terms. The main terms take the shape of those introduced in work of the first author, which is a more localized version of the main terms that appear in work of Magyar. The main ingredient of this paper is a new bound on the main terms near $\ell^1$. For our negative results we generalize an argument of Zienkiewicz.
△ Less
Submitted 22 May, 2019;
originally announced May 2019.
-
Time variability in the bipolar scattered light nebula of L1527 IRS: A possible warped inner disk
Authors:
Brian T. Cook,
John J. Tobin,
Michael F. Skrutskie,
Matthew J. Nelson
Abstract:
Context. The bipolar outflows associated with low-mass protostars create cavities in the infalling envelope. These cavities are illuminated by the central protostar and inner disk, creating a bipolar scattered light nebula at near-infrared and mid-infrared wavelengths. The variability of the scattered light nebula in both total intensity and intensity as a function of position in the scattered lig…
▽ More
Context. The bipolar outflows associated with low-mass protostars create cavities in the infalling envelope. These cavities are illuminated by the central protostar and inner disk, creating a bipolar scattered light nebula at near-infrared and mid-infrared wavelengths. The variability of the scattered light nebula in both total intensity and intensity as a function of position in the scattered light nebula can provide important insights into the structure of the inner disk that cannot be spatially resolved. Aims. We aim to determine the likelihood that a warped inner disk is the origin of the surface brightness variability in the bipolar scattered light nebula associated with L1527 IRS. Methods. We present results from near-IR imaging conducted over the course of seven years, with periods of monthly cadence monitoring. We used Monte Carlo radiative transfer models to interpret the observations. Results. We find a time varying, asymmetrical brightness in the scattered light nebulae within the outflow cavities of the protostar. Starting in 2007, the surface brightnesses of the eastern and western outflow cavities were roughly symmetric. Then, in 2009, the surface brightnesses of the cavities were found to be asymmetric, with a substantial increase in surface brightness and a larger increase in the eastern outflow cavity. More regular monitoring was conducted from 2011 to 2014, revealing a rotating pattern of surface brightness variability in addition to a slow change of the eastern and western outflow cavities toward symmetry, but still not as symmetric as observed in 2007. We find that an inner disk warp is a feasible mechanism to produce the rotating pattern of surface brightness variability.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Measuring Star-Formation Histories, Distances, and Metallicities with Pixel Color-Magnitude Diagrams I: Model Definition and Mock Tests
Authors:
B. A. Cook,
Charlie Conroy,
Pieter van Dokkum,
Joshua S. Speagle
Abstract:
We present a comprehensive study of the applications of the pixel color-magnitude diagram (pCMD) technique for measuring star formation histories (SFHs) and other stellar population parameters of galaxies, and demonstrate that the technique can also constrain distances. SFHs have previously been measured through either the modeling of resolved-star CMDs or of integrated-light SEDs, yet neither app…
▽ More
We present a comprehensive study of the applications of the pixel color-magnitude diagram (pCMD) technique for measuring star formation histories (SFHs) and other stellar population parameters of galaxies, and demonstrate that the technique can also constrain distances. SFHs have previously been measured through either the modeling of resolved-star CMDs or of integrated-light SEDs, yet neither approach can easily be applied to galaxies in the "semi-resolved regime". The pCMD technique has previously been shown to have the potential to measure stellar populations and star formation histories in semi-resolved galaxies. Here we present Pixel Color-Magnitude Diagrams with Python (pcmdpy), a GPU-accelerated package that makes significant computational improvements to the original code and including more realistic physical models. These advances include the simultaneous fitting of distance, modeling a Gaussian metallicity-distribution function, and an observationally-motivated dust model. GPU-acceleration allows these more realistic models to be fit roughly 7x faster than the simpler models in the original code. We present results from a suite of mock tests, showing that with proper model assumptions, the code can simultaneously recover SFH, [Fe/H], distance, and dust extinction. Our results suggest the code, applied to observations with HST-like resolution, should constrain these properties with high precision within 10 Mpc and can be applied to systems out to as far as 100 Mpc. pCMDs open a new window to studying the stellar populations of many galaxies that cannot be readily studied through other means.
△ Less
Submitted 29 March, 2019;
originally announced April 2019.
-
ACRONYM: Acronym CReatiON for You and Me
Authors:
B. A Cook
Abstract:
Each year, countless hours of productive research time is spent brainstorming creative acronyms for surveys, simulations, codes, and conferences. We present ACRONYM, a command-line program developed specifically to assist astronomers in identifying the best acronyms for ongoing projects. The code returns all approximately-English-language words that appear within an input string of text, regardles…
▽ More
Each year, countless hours of productive research time is spent brainstorming creative acronyms for surveys, simulations, codes, and conferences. We present ACRONYM, a command-line program developed specifically to assist astronomers in identifying the best acronyms for ongoing projects. The code returns all approximately-English-language words that appear within an input string of text, regardless of whether the letters occur at the beginning of the component words (in true astronomer fashion).
△ Less
Submitted 28 March, 2019;
originally announced March 2019.
-
Prediction of Silicate Glasses' Stiffness by High-Throughput Molecular Dynamics Simulations and Machine Learning
Authors:
Kai Yang,
Xinyi Xu,
Benjamin Yang,
Brian Cook,
Herbert Ramos,
Mathieu Bauchy
Abstract:
The development by machine learning of models predicting materials' properties usually requires the use of a large number of consistent data for training. However, quality experimental datasets are not always available or self-consistent. Here, as an alternative route, we combine machine learning with high-throughput molecular dynamics simulations to predict the Young's modulus of silicate glasses…
▽ More
The development by machine learning of models predicting materials' properties usually requires the use of a large number of consistent data for training. However, quality experimental datasets are not always available or self-consistent. Here, as an alternative route, we combine machine learning with high-throughput molecular dynamics simulations to predict the Young's modulus of silicate glasses. We demonstrate that this combined approach offers excellent predictions over the entire compositional domain. By comparing the performance of select machine learning algorithms, we discuss the nature of the balance between accuracy, simplicity, and interpretability in machine learning.
△ Less
Submitted 27 January, 2019;
originally announced January 2019.
-
Optimizing the Union of Intersections LASSO ($UoI_{LASSO}$) and Vector Autoregressive ($UoI_{VAR}$) Algorithms for Improved Statistical Estimation at Scale
Authors:
Mahesh Balasubramanian,
Trevor Ruiz,
Brandon Cook,
Sharmodeep Bhattacharyya,
Prabhat,
Aviral Shrivastava,
Kristofer Bouchard
Abstract:
The analysis of scientific data of increasing size and complexity requires statistical machine learning methods that are both interpretable and predictive. Union of Intersections (UoI), a recently developed framework, is a two-step approach that separates model selection and model estimation. A linear regression algorithm based on UoI, $UoI_{LASSO}$, simultaneously achieves low false positives and…
▽ More
The analysis of scientific data of increasing size and complexity requires statistical machine learning methods that are both interpretable and predictive. Union of Intersections (UoI), a recently developed framework, is a two-step approach that separates model selection and model estimation. A linear regression algorithm based on UoI, $UoI_{LASSO}$, simultaneously achieves low false positives and low false negative feature selection as well as low bias and low variance estimates. Together, these qualities make the results both predictive and interpretable. In this paper, we optimize the $UoI_{LASSO}$ algorithm for single-node execution on NERSC's Cori Knights Landing, a Xeon Phi based supercomputer. We then scale $UoI_{LASSO}$ to execute on cores ranging from 68-278,528 cores on a range of dataset sizes demonstrating the weak and strong scaling of the implementation. We also implement a variant of $UoI_{LASSO}$, $UoI_{VAR}$ for vector autoregressive models, to analyze high dimensional time-series data. We perform single node optimization and multi-node scaling experiments for $UoI_{VAR}$ to demonstrate the effectiveness of the algorithm for weak and strong scaling. Our implementations enable to use estimate the largest VAR model (1000 nodes) we are aware of, and apply it to large neurophysiology data 192 nodes).
△ Less
Submitted 21 August, 2018;
originally announced August 2018.
-
A note on discrete spherical averages over sparse sequences
Authors:
Brian Cook
Abstract:
This note presents an example of an increasing sequence $(λ_l)_{l=1}^\infty$ such that the maximal operators associated to normalized discrete spherical convolution averages \[ \sup_{l\geq 1}\frac{1}{r(λ_l)}\left|\sum_{|x|^2=λ_l}f(y-x)\right|\] for functions $f:\mathbb{Z}^n\to\mathbb{C}^n$ are bounded on $\ell^p$ for all $p>1$ when the ambient dimension $n$ is at least five.
This note presents an example of an increasing sequence $(λ_l)_{l=1}^\infty$ such that the maximal operators associated to normalized discrete spherical convolution averages \[ \sup_{l\geq 1}\frac{1}{r(λ_l)}\left|\sum_{|x|^2=λ_l}f(y-x)\right|\] for functions $f:\mathbb{Z}^n\to\mathbb{C}^n$ are bounded on $\ell^p$ for all $p>1$ when the ambient dimension $n$ is at least five.
△ Less
Submitted 18 September, 2018; v1 submitted 11 August, 2018;
originally announced August 2018.
-
Discrete multilinear spherical averages
Authors:
Brian Cook
Abstract:
In this note we give a characterization of $\ell^{p}\times ...\times \ell^{p}\to\ell^q$ boundedness of maximal operators associated to multilinear convolution averages over spheres in $\mathbb{Z}^n$.
In this note we give a characterization of $\ell^{p}\times ...\times \ell^{p}\to\ell^q$ boundedness of maximal operators associated to multilinear convolution averages over spheres in $\mathbb{Z}^n$.
△ Less
Submitted 5 August, 2018;
originally announced August 2018.
-
An unknown branch of the total-transmission modes for the Kerr-geometry
Authors:
Gregory B. Cook,
Luke S. Annichiarico,
Daniel J. Vickers
Abstract:
The gravitational modes of the Kerr geometry include both quasinormal modes and total-transmission modes. Sequences of these modes are parameterized by the angular momentum of the black hole. The quasinormal and total-transmission modes are usually distinct, having mode frequencies that are different at any given value of the angular momentum. But a discrete and countably infinite subset of the le…
▽ More
The gravitational modes of the Kerr geometry include both quasinormal modes and total-transmission modes. Sequences of these modes are parameterized by the angular momentum of the black hole. The quasinormal and total-transmission modes are usually distinct, having mode frequencies that are different at any given value of the angular momentum. But a discrete and countably infinite subset of the left-total-transmission modes are simultaneously quasinormal modes. Most of these special modes exist along previously unknown branches of the gravitational total-transmission modes. In this paper, we give detailed plots of the total-transmission modes for harmonic indices $\ell=[2,7]$, with special emphasis given to the $m=0$ modes which all contain previously unknown branches. All of these unknown branches have purely imaginary mode frequencies. We find that as we approach the Schwarzschild limit along these new branches, the mode frequencies approach $-i\infty$ in stark contrast to the finite mode frequency obtained in the Schwarzschild limit along the previously known branches. We explain when and why, at certain frequencies, the left-total-transmission modes are simultaneously quasinormal modes. At these same frequencies, the right-total-transmission modes are missing. We also derive analytic expressions for the asymptotic behavior of the total-transmission mode frequencies, and for the values of the angular momentum at which the modes are simultaneously quasinormal modes.
△ Less
Submitted 9 January, 2019; v1 submitted 2 August, 2018;
originally announced August 2018.
-
Spatial Factor Models for High-Dimensional and Large Spatial Data: An Application in Forest Variable Map**
Authors:
Daniel Taylor-Rodriguez,
Andrew O. Finley,
Abhirup Datta,
Chad Babcock,
Hans-Erik Andersen,
Bruce D. Cook,
Douglas C. Morton,
Sudipto Banerjee
Abstract:
Gathering information about forest variables is an expensive and arduous activity. As such, directly collecting the data required to produce high-resolution maps over large spatial domains is infeasible. Next generation collection initiatives of remotely sensed Light Detection and Ranging (LiDAR) data are specifically aimed at producing complete-coverage maps over large spatial domains. Given that…
▽ More
Gathering information about forest variables is an expensive and arduous activity. As such, directly collecting the data required to produce high-resolution maps over large spatial domains is infeasible. Next generation collection initiatives of remotely sensed Light Detection and Ranging (LiDAR) data are specifically aimed at producing complete-coverage maps over large spatial domains. Given that LiDAR data and forest characteristics are often strongly correlated, it is possible to make use of the former to model, predict, and map forest variables over regions of interest. This entails dealing with the high-dimensional ($\sim$$10^2$) spatially dependent LiDAR outcomes over a large number of locations (~10^5-10^6). With this in mind, we develop the Spatial Factor Nearest Neighbor Gaussian Process (SF-NNGP) model, and embed it in a two-stage approach that connects the spatial structure found in LiDAR signals with forest variables. We provide a simulation experiment that demonstrates inferential and predictive performance of the SF-NNGP, and use the two-stage modeling strategy to generate complete-coverage maps of forest variables with associated uncertainty over a large region of boreal forests in interior Alaska.
△ Less
Submitted 8 November, 2018; v1 submitted 6 January, 2018;
originally announced January 2018.
-
Maximal Function Inequalities and a Theorem of Birch
Authors:
Brian Cook
Abstract:
In this paper we prove an analogue of the discrete spherical maximal theorem of Magyar, Stein, and Wainger, an analogue which concerns maximal functions associated to homogenous algebraic surfaces. Let $\mathfrak{p}$ be a homogenous polynomial in $n$ variables with integer coefficients of degree $d>1$. The maximal functions we consider are defined by \[ A_*f(y)=\sup_{N\geq1}\left|\frac{1}{r(N)}\su…
▽ More
In this paper we prove an analogue of the discrete spherical maximal theorem of Magyar, Stein, and Wainger, an analogue which concerns maximal functions associated to homogenous algebraic surfaces. Let $\mathfrak{p}$ be a homogenous polynomial in $n$ variables with integer coefficients of degree $d>1$. The maximal functions we consider are defined by \[ A_*f(y)=\sup_{N\geq1}\left|\frac{1}{r(N)}\sum_{\mathfrak{p}(x)=0;\,x\in[N]^n}f(y-x)\right|\] for functions $f:\mathbb{Z}^n\to\mathbb{C}$, where $[N]=\{-N,-N+1,...,N\}$ and $r(N)$ represents the number of integral points on the surface defined by $\mathfrak{p}(x)=0$ inside the $n$-cube $[N]^n.$ It is shown here that the operators $A_*$ are bounded on $\ell^p$ in the optimal range $p>1$ under certain regularity assumptions on the polynomial $\mathfrak{p}$.
△ Less
Submitted 4 December, 2017; v1 submitted 12 November, 2017;
originally announced November 2017.
-
Improved $\ell^p$-Boundedness for Integral $k$-Spherical Maximal Functions
Authors:
Theresa C. Anderson,
Brian Cook,
Kevin Hughes,
Angel Kumchev
Abstract:
We improve the range of $\ell^p(\mathbb Z^d)$-boundedness of the integral $k$-spherical maximal functions introduced by Magyar. The previously best known bounds for the full $k$-spherical maximal function require the dimension $d$ to grow at least cubicly with the degree $k$. Combining ideas from our prior work with recent advances in the theory of Weyl sums by Bourgain, Demeter, and Guth and by W…
▽ More
We improve the range of $\ell^p(\mathbb Z^d)$-boundedness of the integral $k$-spherical maximal functions introduced by Magyar. The previously best known bounds for the full $k$-spherical maximal function require the dimension $d$ to grow at least cubicly with the degree $k$. Combining ideas from our prior work with recent advances in the theory of Weyl sums by Bourgain, Demeter, and Guth and by Wooley, we reduce this cubic bound to a quadratic one. As an application, we deduce improved bounds in the ergodic Waring--Goldbach problem.
△ Less
Submitted 30 May, 2018; v1 submitted 26 July, 2017;
originally announced July 2017.
-
Geostatistical estimation of forest biomass in interior Alaska combining Landsat-derived tree cover, sampled airborne lidar and field observations
Authors:
Chad Babcock,
Andrew O. Finley,
Hans-Erik Andersen,
Robert Pattison,
Bruce D. Cook,
Douglas C. Morton,
Michael Alonzo,
Ross Nelson,
Timothy Gregoire,
Liviu Ene,
Terje Gobakken,
Erik Næsset
Abstract:
The goal of this research was to develop and examine the performance of a geostatistical coregionalization modeling approach for combining field inventory measurements, strip samples of airborne lidar and Landsat-based remote sensing data products to predict aboveground biomass (AGB) in interior Alaska's Tanana Valley. The proposed modeling strategy facilitates pixel-level map** of AGB density p…
▽ More
The goal of this research was to develop and examine the performance of a geostatistical coregionalization modeling approach for combining field inventory measurements, strip samples of airborne lidar and Landsat-based remote sensing data products to predict aboveground biomass (AGB) in interior Alaska's Tanana Valley. The proposed modeling strategy facilitates pixel-level map** of AGB density predictions across the entire spatial domain. Additionally, the coregionalization framework allows for statistically sound estimation of total AGB for arbitrary areal units within the study area---a key advance to support diverse management objectives in interior Alaska. This research focuses on appropriate characterization of prediction uncertainty in the form of posterior predictive coverage intervals and standard deviations. Using the framework detailed here, it is possible to quantify estimation uncertainty for any spatial extent, ranging from pixel-level predictions of AGB density to estimates of AGB stocks for the full domain. The lidar-informed coregionalization models consistently outperformed their counterpart lidar-free models in terms of point-level predictive performance and total AGB precision. Additionally, the inclusion of Landsat-derived forest cover as a covariate further improved estimation precision in regions with lower lidar sampling intensity. Our findings also demonstrate that model-based approaches that do not explicitly account for residual spatial dependence can grossly underestimate uncertainty, resulting in falsely precise estimates of AGB. On the other hand, in a geostatistical setting, residual spatial structure can be modeled within a Bayesian hierarchical framework to obtain statistically defensible assessments of uncertainty for AGB estimates.
△ Less
Submitted 20 December, 2017; v1 submitted 9 May, 2017;
originally announced May 2017.
-
On the ergodic Waring--Goldbach problem
Authors:
Theresa C. Anderson,
Brian Cook,
Kevin Hughes,
Angel Kumchev
Abstract:
We prove an asymptotic formula for the Fourier transform of the arithmetic surface measure associated to the Waring--Goldbach problem and provide several applications, including bounds for discrete spherical maximal functions along the primes and distribution results such as ergodic theorems.
We prove an asymptotic formula for the Fourier transform of the arithmetic surface measure associated to the Waring--Goldbach problem and provide several applications, including bounds for discrete spherical maximal functions along the primes and distribution results such as ergodic theorems.
△ Less
Submitted 7 August, 2019; v1 submitted 8 March, 2017;
originally announced March 2017.
-
Efficient algorithms for Bayesian Nearest Neighbor Gaussian Processes
Authors:
Andrew O. Finley,
Abhirup Datta,
Bruce C. Cook,
Douglas C. Morton,
Hans E. Andersen,
Sudipto Banerjee
Abstract:
We consider alternate formulations of recently proposed hierarchical Nearest Neighbor Gaussian Process (NNGP) models (Datta et al., 2016a) for improved convergence, faster computing time, and more robust and reproducible Bayesian inference. Algorithms are defined that improve CPU memory management and exploit existing high-performance numerical linear algebra libraries. Computational and inferenti…
▽ More
We consider alternate formulations of recently proposed hierarchical Nearest Neighbor Gaussian Process (NNGP) models (Datta et al., 2016a) for improved convergence, faster computing time, and more robust and reproducible Bayesian inference. Algorithms are defined that improve CPU memory management and exploit existing high-performance numerical linear algebra libraries. Computational and inferential benefits are assessed for alternate NNGP specifications using simulated datasets and remotely sensed light detection and ranging (LiDAR) data collected over the US Forest Service Tanana Inventory Unit (TIU) in a remote portion of Interior Alaska. The resulting data product is the first statistically robust map of forest canopy for the TIU.
△ Less
Submitted 2 March, 2018; v1 submitted 1 February, 2017;
originally announced February 2017.
-
The information content of stellar halos: Stellar population gradients and accretion histories in early-type Illustris galaxies
Authors:
B. A. Cook,
C. Conroy,
A. Pillepich,
V. Rodriguez-Gomez,
L. Hernquist
Abstract:
Long dynamical timescales in the outskirts of galaxies preserve the information content of their accretion histories, for example in the form of stellar population gradients. We present a detailed analysis of the stellar halo properties of a statistically representative sample of early-type galaxies from the Illustris simulation and show that stellar population gradients at large radii can indeed…
▽ More
Long dynamical timescales in the outskirts of galaxies preserve the information content of their accretion histories, for example in the form of stellar population gradients. We present a detailed analysis of the stellar halo properties of a statistically representative sample of early-type galaxies from the Illustris simulation and show that stellar population gradients at large radii can indeed be used to infer basic properties of galactic accretion histories. We measure metallicity, age, and surface-brightness profiles in quiescent Illustris galaxies ranging from $\mathrm{M}_\star = 10^{10} - 2\times 10^{12}\;\mathrm{M}_\odot$ and show that they are in reasonable agreement with observations. At fixed mass, galaxies that accreted little of their stellar halo material tend to have steeper metallicity and surface-brightness profiles between 2 - 4 effective radii (R$_e$) than those with larger accreted fractions. Profiles of metallicity and surface-brightness in the stellar halo typically flatten from z = 1 to the present. This suggests that the accretion of stars into the stellar halo tends to flatten metallicity and surface-brightness profiles, a picture which is supported by the tight correlation between the two gradients in the stellar halo. We find no statistical evidence of additional information content related to accretion histories in stellar halo metallicity profiles beyond what is contained in surface-brightness profiles. Age gradients in the stellar halo do not appear to be sensitive to galactic accretion histories, and none of the stellar population gradients studied are strongly correlated with the mean merger mass-ratio. Future observations that reach large radii outside galaxies will have the best potential to constrain galactic accretion histories.
△ Less
Submitted 30 September, 2016;
originally announced October 2016.
-
Extremely Red Quasars in BOSS
Authors:
Fred Hamann,
Nadia L. Zakamska,
Nicholas Ross,
Isabelle Paris,
Rachael M. Alexandroff,
Carolin Villforth,
Gordon T. Richards,
Hanna Herbst,
W. Niel Brandt,
Ben Cook,
Kelly D. Denney,
Jenny E. Greene,
Donald P. Schneider,
Michael A. Strauss
Abstract:
Red quasars are candidate young objects in an early transition stage of massive galaxy evolution. Our team recently discovered a population of extremely red quasars (ERQs) in the Baryon Oscillation Spectroscopic Survey (BOSS) that has a suite of peculiar emission-line properties including large rest equivalent widths (REWs), unusual "wingless" line profiles, large NV/Lya, NV/CIV, SiIV/CIV and othe…
▽ More
Red quasars are candidate young objects in an early transition stage of massive galaxy evolution. Our team recently discovered a population of extremely red quasars (ERQs) in the Baryon Oscillation Spectroscopic Survey (BOSS) that has a suite of peculiar emission-line properties including large rest equivalent widths (REWs), unusual "wingless" line profiles, large NV/Lya, NV/CIV, SiIV/CIV and other flux ratios, and very broad and blueshifted [OIII] 5007. Here we present a new catalog of CIV and NV emission-line data for 216,188 BOSS quasars to characterize the ERQ line properties further. We show that they depend sharply on UV-to-mid-IR color, secondarily on REW(CIV), and not at all on luminosity or the Baldwin Effect. We identify a "core" sample of 97 ERQs with nearly uniform peculiar properties selected via i-W3 > 4.6 (AB) and REW(CIV) > 100 A at redshifts 2.0-3.4. A broader search finds 235 more red quasars with similar unusual characteristics. The core ERQs have median luminosity log L (ergs/s) ~ 47.1, sky density 0.010 deg^-2, surprisingly flat/blue UV spectra given their red UV-to-mid-IR colors, and common outflow signatures including BALs or BAL-like features and large CIV emission-line blueshifts. Their SEDs and line properties are inconsistent with normal quasars behind a dust reddening screen. We argue that the core ERQs are a unique obscured quasar population with extreme physical conditions related to powerful outflows across the line-forming regions. Patchy obscuration by small dusty clouds could produce the observed UV extinctions without substantial UV reddening.
△ Less
Submitted 23 September, 2016;
originally announced September 2016.
-
Modes of the Kerr geometry with purely imaginary frequencies
Authors:
Gregory B. Cook,
Maxim Zalutskiy
Abstract:
In this paper, we examine the behavior of modes of the Kerr geometry when the mode's frequency is purely imaginary. We demonstrate that quasinormal modes must be polynomial in nature if their frequency is purely imaginary, and present a method for computing such modes. The nature of these modes, however, is not always easy to determine. Some of the polynomial modes we compute are quasinormal modes…
▽ More
In this paper, we examine the behavior of modes of the Kerr geometry when the mode's frequency is purely imaginary. We demonstrate that quasinormal modes must be polynomial in nature if their frequency is purely imaginary, and present a method for computing such modes. The nature of these modes, however, is not always easy to determine. Some of the polynomial modes we compute are quasinormal modes. However, some are simultaneously quasinormal modes and total transmission modes, while others fail to satisfy the requisite boundary conditions for either. This analysis is, in part, an extension of the results known for Schwarzschild black holes, but clarifies misconceptions for the behavior of modes when the black hole has angular momentum. We also show that the algebraically special modes of Kerr with m=0 have an additional branch of solutions not seen before in the literature. All of these results are in precise agreement with new numerical solutions for sequences of gravitational quasinormal modes of Kerr. However, we show that some prior numerical and analytic results concerning the existence of quasinormal modes of Kerr with purely imaginary frequencies were incorrect.
△ Less
Submitted 25 July, 2016;
originally announced July 2016.
-
Purely imaginary quasinormal modes of the Kerr geometry
Authors:
Gregory B. Cook,
Maxim Zalutskiy
Abstract:
We present a method for determining the purely imaginary quasinormal modes of the Kerr geometry. Such modes have previously been explored, but we show that prior results are incorrect. The method we present, based on the theory of Heun polynomials, is very general and can be applied to a broad class of problems, making it potentially useful to all branches of physics. Furthermore, our application…
▽ More
We present a method for determining the purely imaginary quasinormal modes of the Kerr geometry. Such modes have previously been explored, but we show that prior results are incorrect. The method we present, based on the theory of Heun polynomials, is very general and can be applied to a broad class of problems, making it potentially useful to all branches of physics. Furthermore, our application provides an example where the method of matched asymptotic expansions seems to have failed. A deeper understanding of why it fails in this case may provide useful insights for other situations.
△ Less
Submitted 25 May, 2016; v1 submitted 31 March, 2016;
originally announced March 2016.
-
Joint hierarchical models for sparsely sampled high-dimensional LiDAR and forest variables
Authors:
Andrew O. Finley,
Sudipto Banerjee,
Yuzhen Zhou,
Bruce D. Cook,
Chad Babcock
Abstract:
Recent advancements in remote sensing technology, specifically Light Detection and Ranging (LiDAR) sensors, provide the data needed to quantify forest characteristics at a fine spatial resolution over large geographic domains. From an inferential standpoint, there is interest in prediction and interpolation of the often sparsely sampled and spatially misaligned LiDAR signals and forest variables.…
▽ More
Recent advancements in remote sensing technology, specifically Light Detection and Ranging (LiDAR) sensors, provide the data needed to quantify forest characteristics at a fine spatial resolution over large geographic domains. From an inferential standpoint, there is interest in prediction and interpolation of the often sparsely sampled and spatially misaligned LiDAR signals and forest variables. We propose a fully process-based Bayesian hierarchical model for above ground biomass (AGB) and LiDAR signals. The process-based framework offers richness in inferential capabilities, e.g., inference on the entire underlying processes instead of estimates only at pre-specified points. Key challenges we obviate include misalignment between the AGB observations and LiDAR signals and the high-dimensionality in the model emerging from LiDAR signals in conjunction with the large number of spatial locations. We offer simulation experiments to evaluate our proposed models and also apply them to a challenging dataset comprising LiDAR and spatially coinciding forest inventory variables collected on the Penobscot Experimental Forest (PEF), Maine. Our key substantive contributions include AGB data products with associated measures of uncertainty for the PEF and, more broadly, a methodology that should find use in a variety of current and upcoming forest variable map** efforts using sparsely sampled remotely sensed high-dimensional data.
△ Less
Submitted 5 December, 2016; v1 submitted 23 March, 2016;
originally announced March 2016.
-
T2: Temporal Property Verification
Authors:
Marc Brockschmidt,
Byron Cook,
Samin Ishtiaq,
Heidy Khlaaf,
Nir Piterman
Abstract:
We present the open-source tool T2, the first public release from the TERMINATOR project. T2 has been extended over the past decade to support automatic temporal-logic proving techniques and to handle a general class of user-provided liveness and safety properties. Input can be provided in a native format and in C, via the support of the LLVM compiler framework. We briefly discuss T2's architectur…
▽ More
We present the open-source tool T2, the first public release from the TERMINATOR project. T2 has been extended over the past decade to support automatic temporal-logic proving techniques and to handle a general class of user-provided liveness and safety properties. Input can be provided in a native format and in C, via the support of the LLVM compiler framework. We briefly discuss T2's architecture, its underlying techniques, and conclude with an experimental illustration of its competitiveness and directions for future extensions.
△ Less
Submitted 6 January, 2016; v1 submitted 29 December, 2015;
originally announced December 2015.
-
A Roth type theorem for dense subsets of $\mathbb{R}^d$
Authors:
Brian Cook,
Ákos Magyar,
Malabika Pramanik
Abstract:
Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such that $\{x,x+y,x+2y\}\subs A$ and $|y|_p=\la$, where $||y||_p=(\sum_i |y_i|^p)^{1/p}$ is the $l^p(\mathbb R^d)$-norm of a point $y=(y_1,\ldots,y_d)\in\R^d$. This…
▽ More
Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such that $\{x,x+y,x+2y\}\subs A$ and $|y|_p=\la$, where $||y||_p=(\sum_i |y_i|^p)^{1/p}$ is the $l^p(\mathbb R^d)$-norm of a point $y=(y_1,\ldots,y_d)\in\R^d$. This means that dense subsets of $\R^d$ contain 3-term progressions of all sufficiently large gaps when the gap size is measured in the $l^p$-metric. This statement is known to be false in the Euclidean $l^2$-metric as well as in the $l^1$ and $\ell^{\infty}$-metrics. One of the goals of this note is to understand this phenomenon. A distinctive feature of the proof is the use of multilinear singular integral operators, widely studied in classical time-frequency analysis, in the estimation of forms counting configurations.
△ Less
Submitted 31 May, 2016; v1 submitted 18 November, 2015;
originally announced November 2015.
-
Stellar populations of stellar halos: Results from the Illustris simulation
Authors:
B. A. Cook,
C. Conroy,
A. Pillepich,
L. Hernquist
Abstract:
The influence of both major and minor mergers is expected to significantly affect gradients of stellar ages and metallicities in the outskirts of galaxies. Measurements of observed gradients are beginning to reach large radii in galaxies, but a theoretical framework for connecting the findings to a picture of galactic build-up is still in its infancy. We analyze stellar populations of a statistica…
▽ More
The influence of both major and minor mergers is expected to significantly affect gradients of stellar ages and metallicities in the outskirts of galaxies. Measurements of observed gradients are beginning to reach large radii in galaxies, but a theoretical framework for connecting the findings to a picture of galactic build-up is still in its infancy. We analyze stellar populations of a statistically representative sample of quiescent galaxies over a wide mass range from the Illustris simulation. We measure metallicity and age profiles in the stellar halos of quiescent Illustris galaxies ranging in stellar mass from $10^{10}$ to $10^{12} M_\odot$, accounting for observational projection and luminosity-weighting effects. We find wide variance in stellar population gradients between galaxies of similar mass, with typical gradients agreeing with observed galaxies. We show that, at fixed mass, the fraction of stars born in-situ within galaxies is correlated with the metallicity gradient in the halo, confirming that stellar halos contain unique information about the build-up and merger histories of galaxies.
△ Less
Submitted 16 September, 2015;
originally announced September 2015.
-
Spatial Interpolants
Authors:
Aws Albarghouthi,
Josh Berdine,
Byron Cook,
Zachary Kincaid
Abstract:
We propose Splinter, a new technique for proving properties of heap-manipulating programs that marries (1) a new separation logic-based analysis for heap reasoning with (2) an interpolation-based technique for refining heap-shape invariants with data invariants. Splinter is property directed, precise, and produces counterexample traces when a property does not hold. Using the novel notion of spati…
▽ More
We propose Splinter, a new technique for proving properties of heap-manipulating programs that marries (1) a new separation logic-based analysis for heap reasoning with (2) an interpolation-based technique for refining heap-shape invariants with data invariants. Splinter is property directed, precise, and produces counterexample traces when a property does not hold. Using the novel notion of spatial interpolants modulo theories, Splinter can infer complex invariants over general recursive predicates, e.g., of the form all elements in a linked list are even or a binary tree is sorted. Furthermore, we treat interpolation as a black box, which gives us the freedom to encode data manipulation in any suitable theory for a given program (e.g., bit vectors, arrays, or linear arithmetic), so that our technique immediately benefits from any future advances in SMT solving and interpolation.
△ Less
Submitted 16 January, 2015;
originally announced January 2015.
-
Dynamic spatial regression models for space-varying forest stand tables
Authors:
Andrew O. Finley,
Sudipto Banerjee,
Aaron R. Weiskittel,
Chad Babcock,
Bruce D. Cook
Abstract:
Many forest management planning decisions are based on information about the number of trees by species and diameter per unit area. This information is commonly summarized in a stand table, where a stand is defined as a group of forest trees of sufficiently uniform species composition, age, condition, or productivity to be considered a homogeneous unit for planning purposes. Typically information…
▽ More
Many forest management planning decisions are based on information about the number of trees by species and diameter per unit area. This information is commonly summarized in a stand table, where a stand is defined as a group of forest trees of sufficiently uniform species composition, age, condition, or productivity to be considered a homogeneous unit for planning purposes. Typically information used to construct stand tables is gleaned from observed subsets of the forest selected using a probability-based sampling design. Such sampling campaigns are expensive and hence only a small number of sample units are typically observed. This data paucity means that stand tables can only be estimated for relatively large areal units. Contemporary forest management planning and spatially explicit ecosystem models require stand table input at higher spatial resolution than can be affordably provided using traditional approaches. We propose a dynamic multivariate Poisson spatial regression model that accommodates both spatial correlation between observed diameter distributions and also correlation between tree counts across diameter classes within each location. To improve fit and prediction at unobserved locations, diameter specific intensities can be estimated using auxiliary data such as management history or remotely sensed information. The proposed model is used to analyze a diverse forest inventory dataset collected on the United States Forest Service Penobscot Experimental Forest in Bradley, Maine. Results demonstrate that explicitly modeling the residual spatial structure via a multivariate Gaussian process and incorporating information about forest structure from LiDAR covariates improve model fit and can provide high spatial resolution stand table maps with associated estimates of uncertainty.
△ Less
Submitted 3 November, 2014;
originally announced November 2014.
-
Gravitational perturbations of the Kerr geometry: High-accuracy study
Authors:
Gregory B. Cook,
Maxim Zalutskiy
Abstract:
We present results from a new code for computing gravitational perturbations of the Kerr geometry. This new code carefully maintains high precision to allow us to obtain high-accuracy solutions for the gravitational quasinormal modes of the Kerr space-time. Part of this new code is an implementation of a spectral method for solving the angular Teukolsky equation that, to our knowledge, has not bee…
▽ More
We present results from a new code for computing gravitational perturbations of the Kerr geometry. This new code carefully maintains high precision to allow us to obtain high-accuracy solutions for the gravitational quasinormal modes of the Kerr space-time. Part of this new code is an implementation of a spectral method for solving the angular Teukolsky equation that, to our knowledge, has not been used before for determining quasinormal modes. We focus our attention on two main areas. First, we explore the behavior of these quasinormal modes in the extreme limit of Kerr, where the frequency of certain modes approaches accumulation points on the real axis. We compare our results with recent analytic predictions of the behavior of these modes near the accumulation points and find good agreement. Second, we explore the behavior of solutions of modes that approach the special frequency $Mω=-2i$ in the Schwarzschild limit. Our high-accuracy methods allow us to more closely approach the Schwarzschild limit than was possible with previous numerical studies. Unlike previous work, we find excellent agreement with analytic predictions of the behavior near this special frequency. We include a detailed description of our methods, and make use of the theory of confluent Heun differential equations throughout. In particular, we make use of confluent Heun polynomials to help shed some light on the controversy of the existence, or not, of quasinormal and total-transmission modes at certain special frequencies in the Schwarzschild limit.
△ Less
Submitted 19 November, 2014; v1 submitted 28 October, 2014;
originally announced October 2014.