-
Aerothermodynamic Analysis of Faceted Aeroshell at Hypersonic Speed
Authors:
Pietro Innocenzi,
Michela Gramola,
Tom B. Fisher,
Mark K. Quinn,
Paul J. K. Bruce,
Salvador Navarro-Martinez
Abstract:
This study explores the aerothermal behaviour of a rigid mechanically deployable aeroshell developed at Imperial College London for high payload atmospheric entry missions. The multiphysics CFD software STAR-CCM+ is used to perform a Conjugate Heat Transfer analysis on the aeroshell's faceted geometry. Results are presented for four different geometry models tested in air at Mach 5 with angles of…
▽ More
This study explores the aerothermal behaviour of a rigid mechanically deployable aeroshell developed at Imperial College London for high payload atmospheric entry missions. The multiphysics CFD software STAR-CCM+ is used to perform a Conjugate Heat Transfer analysis on the aeroshell's faceted geometry. Results are presented for four different geometry models tested in air at Mach 5 with angles of attack 0°, 5° and 10°. The predicted surface heat transfer reveals areas of elevated heat loads at the ribs between facets and at the aeroshell shoulder, due to local boundary layer thinning. The increase in heat transfer at the ribs depends on the sharpness of the rib: more rounded shapes result in lower heat fluxes. Comparison with high-speed wind tunnel tests shows good agreement with experimental data. Stanton number and temperature profiles agree within 8% and 2%, respectively. The discrepancies between experiments and simulations are largest at the sharp ribs of the aeroshell. The sources of error can be associated with three-dimensional effects neglected in the heat flux derivations from temperature measurements as well as experimental uncertainties.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Turbulently-Driven Detonation Initiation in Electron-Degenerate Matter with Helium
Authors:
Gabriel O. Casabona,
Robert T. Fisher
Abstract:
Type Ia supernovae (SNe Ia) are standardizable cosmological candles which led to the discovery of the accelerating universe. However, the physics of how white dwarfs (WDs) explode and lead to SNe Ia is still poorly understood. The initiation of the detonation front which rapidly disrupts the WD is a crucial element of the puzzle, and global 3D simulations of SNe Ia cannot resolve the requisite len…
▽ More
Type Ia supernovae (SNe Ia) are standardizable cosmological candles which led to the discovery of the accelerating universe. However, the physics of how white dwarfs (WDs) explode and lead to SNe Ia is still poorly understood. The initiation of the detonation front which rapidly disrupts the WD is a crucial element of the puzzle, and global 3D simulations of SNe Ia cannot resolve the requisite length scales to capture detonation initiation. In this work, we elucidate a theoretical criterion for detonation initiation in the distributed burning regime. We test this criterion against local 3D driven turbulent hydrodynamical simulations within electron-degenerate WD matter consisting initially of pure helium. We demonstrate a novel pathway for detonation, in which strong turbulent dissipation rapidly heats the helium, and forms carbon nuclei sufficient to lead to a detonation through accelerated burning via $α$ captures. Simulations of strongly-driven turbulent conditions lead to detonations at a mean density of $10^6$ g cm$^{-3}$ and mean temperature of $1.4 - 1.8 \times 10^9$ K, but fail to detonate at a lower density of $10^5$ g cm$^{-3}$, in excellent agreement with theoretical predictions.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
A Complex Systems Approach to Exoplanet Atmospheric Chemistry: New Prospects for Ruling Out the Possibility of Alien Life-As-We-Know-It
Authors:
Theresa Fisher,
Estelle Janin,
Sara Imari Walker
Abstract:
The near-term capability to characterize terrestrial exoplanet atmospheres may bring us closer to discovering alien life through atmospheric data. However, remotely detectable candidate biosignature gases are subject to possible false positive signals as they can also be produced abiotically. To distinguish biological, abiotic and anomalous sources of these atmospheric gases, we take a complex sys…
▽ More
The near-term capability to characterize terrestrial exoplanet atmospheres may bring us closer to discovering alien life through atmospheric data. However, remotely detectable candidate biosignature gases are subject to possible false positive signals as they can also be produced abiotically. To distinguish biological, abiotic and anomalous sources of these atmospheric gases, we take a complex systems approach using chemical reaction network analysis of planetary atmospheres. We simulated 30,000 terrestrial atmospheres, organized in two datasets: Archean Earth-like worlds and modern Earth-like worlds. For Archean Earth-like worlds we study cases where CH4 is produced abiotically via serpentinization, biologically via methanogenesis, or from anomalous sources. We also simulate modern Earth-like atmospheres with and without industrial CFC-12. Network properties like mean degree and average shortest path length effectively distinguish scenarios where CH4 is produced from methanogenesis and serpentinization, with biologically driven networks exhibiting higher connectivity and efficiency. Network analysis also distinguishes modern Earth atmospheres with CFC-12 from those without, with industrially polluted networks showing increased mean degree. Using Bayesian analysis, we demonstrate how atmospheric network property statistics can provide stronger confidence for ruling out biological explanations compared to gas abundance statistics alone. Our results confirm how a network theoretic approach allows distinguishing biological, abiotic and anomalous atmospheric drivers, including ruling out life-as-we-know-it as a possible explanation. Develo** statistical inference methods for spectral data that incorporate network properties could significantly strengthen future biosignature detection efforts.
△ Less
Submitted 8 October, 2023;
originally announced October 2023.
-
Minimisation of 2-coverings of genus 2 Jacobians
Authors:
Tom Fisher,
Mengzhen Liu
Abstract:
An important problem in computational arithmetic geometry is to find changes of coordinates to simplify a system of polynomial equations with rational coefficients. This is tackled by a combination of two techniques, called minimisation and reduction. We give an algorithm for minimising certain pairs of quadratic forms, subject to the constraint that the first quadratic form is fixed. This has app…
▽ More
An important problem in computational arithmetic geometry is to find changes of coordinates to simplify a system of polynomial equations with rational coefficients. This is tackled by a combination of two techniques, called minimisation and reduction. We give an algorithm for minimising certain pairs of quadratic forms, subject to the constraint that the first quadratic form is fixed. This has applications to 2-descent on the Jacobian of a genus 2 curve.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Computing the Cassels-Tate pairing on the 2-Selmer group of a genus 2 Jacobian
Authors:
Tom Fisher,
Jiali Yan
Abstract:
We describe a method for computing the Cassels-Tate pairing on the 2-Selmer group of the Jacobian of a genus 2 curve. This can be used to improve the upper bound coming from 2-descent for the rank of the group of rational points on the Jacobian. Our method remains practical regardless of the Galois action on the Weierstrass points of the genus 2 curve. It does however depend on being able to find…
▽ More
We describe a method for computing the Cassels-Tate pairing on the 2-Selmer group of the Jacobian of a genus 2 curve. This can be used to improve the upper bound coming from 2-descent for the rank of the group of rational points on the Jacobian. Our method remains practical regardless of the Galois action on the Weierstrass points of the genus 2 curve. It does however depend on being able to find a rational point on a certain twisted Kummer surface. The latter does not appear to be a severe restriction in practice. In particular, we have used our method to unconditionally determine the ranks of all genus 2 Jacobians in the L-functions and modular forms database (LMFDB).
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
The density of integral quadratic forms having a $k$-dimensional totally isotropic subspace
Authors:
Lycka Drakengren,
Tom Fisher
Abstract:
We investigate the probability that a random quadratic form in ${\mathbb{Z}}[x_1,...,x_n]$ has a totally isotropic subspace of a given dimension. We show that this global probability is a product of local probabilities. Our main result computes these local probabilities for quadratic forms over the $p$-adics. The formulae we obtain are rational functions in $p$ invariant upon substituting…
▽ More
We investigate the probability that a random quadratic form in ${\mathbb{Z}}[x_1,...,x_n]$ has a totally isotropic subspace of a given dimension. We show that this global probability is a product of local probabilities. Our main result computes these local probabilities for quadratic forms over the $p$-adics. The formulae we obtain are rational functions in $p$ invariant upon substituting $p \mapsto 1/p$.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Deducing the Composition of Venus Cloud Particles with the Autofluorescence Nephelometer (AFN)
Authors:
Darrel Baumgardner,
Ted Fisher,
Roy Newton,
Chris Roden,
Pat Zmarzly,
Sara Seager,
Janusz J. Petkowski,
Christopher E. Carr,
Jan Špaček,
Steven A. Benner,
Margaret A. Tolbert,
Kevin Jansen,
David H. Grinspoon,
Christophe Mandy
Abstract:
The composition, sizes and shapes of particles in the clouds of Venus have previously been studied with a variety of in situ and remote sensor measurements. A number of major questions remain unresolved, however, motivating the development of an exploratory mission that will drop a small probe, instrumented with a single-particle autofluorescence nephelometer (AFN), into Venus' atmosphere. The AFN…
▽ More
The composition, sizes and shapes of particles in the clouds of Venus have previously been studied with a variety of in situ and remote sensor measurements. A number of major questions remain unresolved, however, motivating the development of an exploratory mission that will drop a small probe, instrumented with a single-particle autofluorescence nephelometer (AFN), into Venus' atmosphere. The AFN is specifically designed to address uncertainties associated with the asphericity and complex refractive indices of cloud particles. The AFN projects a collimated, focused, linearly polarized, 440 nm wavelength laser beam through a window of the capsule into the airstream and measures the polarized components of some of the light that is scattered by individual particles that pass through the laser beam. The AFN also measures fluorescence from those particles that contain material that fluoresce when excited at a wavelength of 440 nm and emit at 470-520 nm. Fluorescence is expected from some organic molecules if present in the particles. AFN measurements during probe passage through the Venus clouds are intended to provide constraints on particle number concentration, size, shape, and composition. Hypothesized organics, if present in Venus aerosols, may be detected by the AFN as a precursor to precise identification via future missions. The AFN has been chosen as the primary science instrument for the upcoming Rocket Lab mission to Venus, to search for organic molecules in the cloud particles and constrain the particle composition.
△ Less
Submitted 5 September, 2022;
originally announced September 2022.
-
On binary quartics and the Cassels-Tate pairing
Authors:
Tom Fisher
Abstract:
We use the invariant theory of binary quartics to give a new formula for the Cassels-Tate pairing on the $2$-Selmer group of an elliptic curve. Unlike earlier methods, our formula does not require us to solve any conics. An important role in our construction is played by a certain $K3$ surface defined by a $(2,2,2)$-form.
We use the invariant theory of binary quartics to give a new formula for the Cassels-Tate pairing on the $2$-Selmer group of an elliptic curve. Unlike earlier methods, our formula does not require us to solve any conics. An important role in our construction is played by a certain $K3$ surface defined by a $(2,2,2)$-form.
△ Less
Submitted 31 August, 2022;
originally announced August 2022.
-
Computing structure constants for rings of finite rank from minimal free resolutions
Authors:
Tom Fisher,
Lazar Radičević
Abstract:
We show how the minimal free resolution of a set of $n$ points in general position in projective space of dimension $n-2$ explicitly determines structure constants for a ring of rank $n$. This generalises previously known constructions of Levi-Delone-Faddeev and Bhargava in the cases $n=3,4,5$.
We show how the minimal free resolution of a set of $n$ points in general position in projective space of dimension $n-2$ explicitly determines structure constants for a ring of rank $n$. This generalises previously known constructions of Levi-Delone-Faddeev and Bhargava in the cases $n=3,4,5$.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
On pairs of 17-congruent elliptic curves
Authors:
Tom Fisher
Abstract:
We compute explicit equations for the surfaces Z(17,1) and Z(17,3) parametrising pairs of $17$-congruent elliptic curves. We find that each is a double cover of the same elliptic K3-surface. We use these equations to exhibit the first non-trivial example of a pair of symplectically 17-congruent elliptic curves over the rationals. We also compute the corresponding genus 2 curve whose Jacobian has a…
▽ More
We compute explicit equations for the surfaces Z(17,1) and Z(17,3) parametrising pairs of $17$-congruent elliptic curves. We find that each is a double cover of the same elliptic K3-surface. We use these equations to exhibit the first non-trivial example of a pair of symplectically 17-congruent elliptic curves over the rationals. We also compute the corresponding genus 2 curve whose Jacobian has a $(17,17)$-splitting.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Inferring Exoplanet Disequilibria with Multivariate Information in Atmospheric Reaction Networks
Authors:
Theresa Fisher,
Hyunju Kim,
Camerian Millsaps,
Michael Line,
Sara Imari Walker
Abstract:
Inferring the properties of exoplanets from their atmospheres, while confronting low resolution and low signal-to-noise in the context of the quantities we want to derive, poses rigorous demands upon the data collected from observation. Further compounding this challenge is that inferences of exoplanet properties are built from forward models, which can include errors due to incomplete or inaccura…
▽ More
Inferring the properties of exoplanets from their atmospheres, while confronting low resolution and low signal-to-noise in the context of the quantities we want to derive, poses rigorous demands upon the data collected from observation. Further compounding this challenge is that inferences of exoplanet properties are built from forward models, which can include errors due to incomplete or inaccurate assumptions in atmospheric physics and chemistry. The confluence of observational noise and model error makes develo** techniques to identify predictive features that are robust to both low s/n and model error increasingly important for exoplanet science. We demonstrate how both issues can be addressed simultaneously by taking advantage of underutilized multivariate information already present in current atmospheric models, including thermodynamic statistics and reaction network structure. To do so, we provide a case study of the prediction of vertical mixing (parameterized as eddy diffusion) in hot Jupiter atmospheres and show how prediction efficacy depends on what model information is used - e.g. chemical species abundances, network statistics, and/or thermodynamic statistics. We also show how the variables with the most predictive power vary with planetary properties such as temperature and metallicity. Our results demonstrate how inferences built on single metrics do not have utility across all possible use cases. We also show how statistical measures derived from network analyses tend to be better predictors when accounting for the possibility of missing data or observational uncertainty. We discuss future directions applying multivariate and network model information as a framework for increasing confidence in inferences aimed at extracting features relevant to exoplanet atmospheres and future applications to the detection of life on terrestrial worlds.
△ Less
Submitted 21 April, 2021; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Stereotype and Skew: Quantifying Gender Bias in Pre-trained and Fine-tuned Language Models
Authors:
Daniel de Vassimon Manela,
David Errington,
Thomas Fisher,
Boris van Breugel,
Pasquale Minervini
Abstract:
This paper proposes two intuitive metrics, skew and stereotype, that quantify and analyse the gender bias present in contextual language models when tackling the WinoBias pronoun resolution task. We find evidence that gender stereotype correlates approximately negatively with gender skew in out-of-the-box models, suggesting that there is a trade-off between these two forms of bias. We investigate…
▽ More
This paper proposes two intuitive metrics, skew and stereotype, that quantify and analyse the gender bias present in contextual language models when tackling the WinoBias pronoun resolution task. We find evidence that gender stereotype correlates approximately negatively with gender skew in out-of-the-box models, suggesting that there is a trade-off between these two forms of bias. We investigate two methods to mitigate bias. The first approach is an online method which is effective at removing skew at the expense of stereotype. The second, inspired by previous work on ELMo, involves the fine-tuning of BERT using an augmented gender-balanced dataset. We show that this reduces both skew and stereotype relative to its unaugmented fine-tuned counterpart. However, we find that existing gender bias benchmarks do not fully probe professional bias as pronoun resolution may be obfuscated by cross-correlations from other manifestations of gender prejudice. Our code is available online, at https://github.com/12kleingordon34/NLP_masters_project.
△ Less
Submitted 16 February, 2021; v1 submitted 24 January, 2021;
originally announced January 2021.
-
The density of polynomials of degree $n$ over $\mathbb{Z}_p$ having exactly $r$ roots in $\mathbb{Q}_p$
Authors:
Manjul Bhargava,
John Cremona,
Tom Fisher,
Stevan Gajović
Abstract:
We determine the probability that a random polynomial of degree $n$ over $\mathbb{Z}_p$ has exactly $r$ roots in $\mathbb{Q}_p$, and show that it is given by a rational function of $p$ that is invariant under replacing $p$ by $1/p$.
We determine the probability that a random polynomial of degree $n$ over $\mathbb{Z}_p$ has exactly $r$ roots in $\mathbb{Q}_p$, and show that it is given by a rational function of $p$ that is invariant under replacing $p$ by $1/p$.
△ Less
Submitted 25 March, 2022; v1 submitted 23 January, 2021;
originally announced January 2021.
-
Phase transitions for the geodesic flow of a rank one surface with nonpositive curvature
Authors:
Keith Burns,
Jérôme Buzzi,
Todd Fisher,
Noelle Sawyer
Abstract:
We study the one parameter family of potential functions $q\varphi^u$ associated with the geometric potential $\varphi^u$ for the geodesic flow of a compact rank 1 surface of nonpositive curvature. For $q<1$ it is known that there is a unique equilibrium state associated with $q\varphi^u$, and it has full support. For $q > 1$ it is known that an invariant measure is an equilibrium state if and onl…
▽ More
We study the one parameter family of potential functions $q\varphi^u$ associated with the geometric potential $\varphi^u$ for the geodesic flow of a compact rank 1 surface of nonpositive curvature. For $q<1$ it is known that there is a unique equilibrium state associated with $q\varphi^u$, and it has full support. For $q > 1$ it is known that an invariant measure is an equilibrium state if and only if it is supported on the singular set. We study the critical value $q=1$ and show that the ergodic equilibrium states are either the restriction to the regular set of the Liouville measure, or measures supported on the singular set. In particular, when~$q = 1$, there is a unique ergodic equilibrium state that gives positive measure to the regular set.
△ Less
Submitted 5 January, 2021;
originally announced January 2021.
-
Instrument variable detection with graph learning : an application to high dimensional GIS-census data for house pricing
Authors:
Ning Xu,
Timothy C. G. Fisher,
Jian Hong
Abstract:
Endogeneity bias and instrument variable validation have always been important topics in statistics and econometrics. In the era of big data, such issues typically combine with dimensionality issues and, hence, require even more attention. In this paper, we merge two well-known tools from machine learning and biostatistics---variable selection algorithms and probablistic graphs---to estimate house…
▽ More
Endogeneity bias and instrument variable validation have always been important topics in statistics and econometrics. In the era of big data, such issues typically combine with dimensionality issues and, hence, require even more attention. In this paper, we merge two well-known tools from machine learning and biostatistics---variable selection algorithms and probablistic graphs---to estimate house prices and the corresponding causal structure using 2010 data on Sydney. The estimation uses a 200-gigabyte ultrahigh dimensional database consisting of local school data, GIS information, census data, house characteristics and other socio-economic records. Using "big data", we show that it is possible to perform a data-driven instrument selection efficiently and purge out the invalid instruments. Our approach improves the sparsity of variable selection, stability and robustness in the presence of high dimensionality, complicated causal structures and the consequent multicollinearity, and recovers a sparse and intuitive causal structure. The approach also reveals an efficiency and effectiveness in endogeneity detection, instrument validation, weak instrument pruning and the selection of valid instruments. From the perspective of machine learning, the estimation results both align with and confirms the facts of Sydney house market, the classical economic theories and the previous findings of simultaneous equations modeling. Moreover, the estimation results are consistent with and supported by classical econometric tools such as two-stage least square regression and different instrument tests. All the code may be found at \url{https://github.com/isaac2math/solar_graph_learning}.
△ Less
Submitted 16 December, 2020; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Solar: $L_0$ solution path averaging for fast and accurate variable selection in high-dimensional data
Authors:
Ning Xu,
Timothy C. G. Fisher
Abstract:
We propose a new variable selection algorithm, subsample-ordered least-angle regression (solar), and its coordinate descent generalization, solar-cd. Solar re-constructs lasso paths using the $L_0$ norm and averages the resulting solution paths across subsamples. Path averaging retains the ranking information of the informative variables while averaging out sensitivity to high dimensionality, impr…
▽ More
We propose a new variable selection algorithm, subsample-ordered least-angle regression (solar), and its coordinate descent generalization, solar-cd. Solar re-constructs lasso paths using the $L_0$ norm and averages the resulting solution paths across subsamples. Path averaging retains the ranking information of the informative variables while averaging out sensitivity to high dimensionality, improving variable selection stability, efficiency, and accuracy. We prove that: (i) with a high probability, path averaging perfectly separates informative variables from redundant variables on the average $L_0$ path; (ii) solar variable selection is consistent and accurate; and (iii) the probability that solar omits weak signals is controllable for finite sample size. We also demonstrate that: (i) solar yields, with less than $1/3$ of the lasso computation load, substantial improvements over lasso in terms of the sparsity (64-84\% reduction in redundant variable selection) and accuracy of variable selection; (ii) compared with the lasso safe/strong rule and variable screening, solar largely avoids selection of redundant variables and rejection of informative variables in the presence of complicated dependence structures; (iii) the sparsity and stability of solar conserves residual degrees of freedom for data-splitting hypothesis testing, improving the accuracy of post-selection inference on weak signals with limited $n$; (iv) replacing lasso with solar in bootstrap selection (e.g., bolasso or stability selection) produces a multi-layer variable ranking scheme that improves selection sparsity and ranking accuracy with the computation load of only one lasso realization; and (v) given the computation resources, solar bootstrap selection is substantially faster (98\% lower computation time) than the theoretical maximum speedup for parallelized bootstrap lasso (confirmed by Amdahl's law).
△ Less
Submitted 5 May, 2022; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Accuracy and stability of solar variable selection comparison under complicated dependence structures
Authors:
Ning Xu,
Timothy C. G. Fisher,
Jian Hong
Abstract:
In this paper we focus on the empirical variable-selection peformance of subsample-ordered least angle regression (Solar) -- a novel ultrahigh dimensional redesign of lasso -- on the empirical data with complicated dependence structures and, hence, severe multicollinearity and grou** effect issues. Previous researches show that Solar largely alleviates several known high-dimensional issues with…
▽ More
In this paper we focus on the empirical variable-selection peformance of subsample-ordered least angle regression (Solar) -- a novel ultrahigh dimensional redesign of lasso -- on the empirical data with complicated dependence structures and, hence, severe multicollinearity and grou** effect issues. Previous researches show that Solar largely alleviates several known high-dimensional issues with least-angle regression and $\mathcal{L}_1$ shrinkage. Also, With the same computation load, solar yields substantiali mprovements over two lasso solvers (least-angle regression for lasso and coordinate-descent) in terms of the sparsity (37-64\% reduction in the average number of selected variables), stability and accuracy of variable selection. Simulations also demonstrate that solar enhances the robustness of variable selection to different settings of the irrepresentable condition and to variations in the dependence structures assumed in regression analysis. To confirm that the improvements are also available for empirical researches, we choose the prostate cancer data and the Sydney house price data and apply two lasso solvers, elastic net and Solar on them for comparison. The results shows that (i) lasso is affected by the grou** effect and randomly drop variables with high correlations, resulting unreliable and uninterpretable results; (ii) elastic net is more robust to grou** effect; however, it completely lose variable-selection sparsity when the dependence structure of the data is complicated; (iii) solar demonstrates its superior robustness to complicated dependence structures and grou** effect, returning variable-selection results with better stability and sparsity. The code can be found at https://github.com/isaac2math/solar_application
△ Less
Submitted 16 December, 2020; v1 submitted 30 July, 2020;
originally announced July 2020.
-
Rademacher upper bounds for cross-validation errors with an application to the lasso
Authors:
Ning Xu,
Timothy C. G. Fisher,
Jian Hong
Abstract:
We establish a general upper bound for $K$-fold cross-validation ($K$-CV) errors that can be adapted to many $K$-CV-based estimators and learning algorithms. Based on Rademacher complexity of the model and the Orlicz-$Ψ_ν$ norm of the error process, the CV error upper bound applies to both light-tail and heavy-tail error distributions. We also extend the CV error upper bound to $β$-mixing data usi…
▽ More
We establish a general upper bound for $K$-fold cross-validation ($K$-CV) errors that can be adapted to many $K$-CV-based estimators and learning algorithms. Based on Rademacher complexity of the model and the Orlicz-$Ψ_ν$ norm of the error process, the CV error upper bound applies to both light-tail and heavy-tail error distributions. We also extend the CV error upper bound to $β$-mixing data using the technique of independent blocking. We provide a Python package (\texttt{CVbound}, \url{https://github.com/isaac2math}) for computing the CV error upper bound in $K$-CV-based algorithms. Using the lasso as an example, we demonstrate in simulations that the upper bounds are tight and stable across different parameter settings and random seeds. As well as accurately bounding the CV errors for the lasso, the minimizer of the new upper bounds can be used as a criterion for variable selection. Compared with the CV-error minimizer, simulations show that tuning the lasso penalty parameter according to the minimizer of the upper bound yields a more sparse and more stable model that retains all of the relevant variables.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Accessibility and centralizers for partially hyperbolic flows
Authors:
Todd Fisher,
Boris Hasselblatt
Abstract:
Stable accessibility for partially hyperbolic diffeomorphisms is central to their ergodic theory, and we establish its \(C^1\)-density among 1. all, 2. volume-preserving, 3. symplectic, and 4. contact partially hyperbolic flows.
As applications, we obtain in each of these 4 categories \(C^1\)-density of \(C^1\)-stable topological transitivity, ergodicity, and triviality of the centralizer.
Stable accessibility for partially hyperbolic diffeomorphisms is central to their ergodic theory, and we establish its \(C^1\)-density among 1. all, 2. volume-preserving, 3. symplectic, and 4. contact partially hyperbolic flows.
As applications, we obtain in each of these 4 categories \(C^1\)-density of \(C^1\)-stable topological transitivity, ergodicity, and triviality of the centralizer.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
Bootstrap** a Powerful Mixed Portmanteau Test for Time Series
Authors:
Esam Mahdi,
Thomas J. Fisher
Abstract:
A new portmanteau test statistic is proposed for detecting nonlinearity in time series data. In this paper, we elaborate on the Toeplitz autocorrelation matrix to the autocorrelation and cross-correlation of residuals and squared residuals block matrix. We derive a new portmanteau test statistic using the log of the determinant of the mth autocorrelations and cross-correlations block matrix. The a…
▽ More
A new portmanteau test statistic is proposed for detecting nonlinearity in time series data. In this paper, we elaborate on the Toeplitz autocorrelation matrix to the autocorrelation and cross-correlation of residuals and squared residuals block matrix. We derive a new portmanteau test statistic using the log of the determinant of the mth autocorrelations and cross-correlations block matrix. The asymptotic distribution of the proposed test statistic is derived as a linear combination of chi-squared distributions and can be approximated by a gamma distribution. This test is applied to identify the linearity and nonlinearity dependency of some stationary time series models. It is shown that the convergence of the new test to its asymptotic distribution is reasonable with higher power than other tests in many situations. We demonstrate the efficiency of the proposed test by investigating linear and nonlinear effects in Vodafone Qatar and Nikkei-300 daily returns.
△ Less
Submitted 30 August, 2022; v1 submitted 2 May, 2020;
originally announced May 2020.
-
Equilibrium states for natural extensions of non-uniformly expanding local homeomorphisms
Authors:
Todd Fisher,
Krerley Oliveira
Abstract:
We examine uniqueness of equilibrium states for the natural extension of a topologically exact, non-uniformly expanding, local homeomorphism with a Hölder continuous potential function. We do this by applying general techniques developed by Climenhaga and Thompson, and show there is a natural condition on decompositions that guarantees that a unique equilibrium state exists. We then show how to ap…
▽ More
We examine uniqueness of equilibrium states for the natural extension of a topologically exact, non-uniformly expanding, local homeomorphism with a Hölder continuous potential function. We do this by applying general techniques developed by Climenhaga and Thompson, and show there is a natural condition on decompositions that guarantees that a unique equilibrium state exists. We then show how to apply these results to partially hyperbolic attractors.
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
The proportion of genus one curves over $\mathbb{Q}$ defined by a binary quartic that everywhere locally have a point
Authors:
Manjul Bhargava,
John Cremona,
Tom Fisher
Abstract:
We consider the proportion of genus one curves over $\mathbb{Q}$ of the form $z^2=f(x,y)$ where $f(x,y)\in\mathbb{Z}[x,y]$ is a binary quartic form (or more generally of the form $z^2+h(x,y)z=f(x,y)$ where also $h(x,y)\in\mathbb{Z}[x,y]$ is a binary quadratic form) that have points everywhere locally. We show that the proportion of these curves that are locally soluble, computed as a product of lo…
▽ More
We consider the proportion of genus one curves over $\mathbb{Q}$ of the form $z^2=f(x,y)$ where $f(x,y)\in\mathbb{Z}[x,y]$ is a binary quartic form (or more generally of the form $z^2+h(x,y)z=f(x,y)$ where also $h(x,y)\in\mathbb{Z}[x,y]$ is a binary quadratic form) that have points everywhere locally. We show that the proportion of these curves that are locally soluble, computed as a product of local densities, is approximately 75.96%. We prove that the local density at a prime $p$ is given by a fixed degree-$9$ rational function of $p$ for all odd $p$ (and for the generalised equation, the same rational function gives the local density at every prime). An additional analysis is carried out to estimate rigorously the local density at the real place.
△ Less
Submitted 31 July, 2020; v1 submitted 25 April, 2020;
originally announced April 2020.
-
Detectability of Life Using Oxygen on Pelagic Planets and Water Worlds
Authors:
Donald M Glaser,
Hilairy Ellen Hartnett,
Steven J. Desch,
Cayman T. Unterborn,
Ariel Anbar,
Steffen Buessecker,
Theresa Fisher,
Steven Glaser,
Stephen R. Kane,
Carey M. Lisse,
Camerian Millsaps,
Susanne Neuer,
Joseph G. ORourke,
Nuno Santos,
Sara Imari Walker,
Mikhail Zolotov
Abstract:
The search for life on exoplanets is one of the grand scientific challenges of our time. The strategy to date has been to find (e.g., through transit surveys like Kepler) Earth-like exoplanets in their stars habitable zone, then use transmission spectroscopy to measure biosignature gases, especially oxygen, in the planets atmospheres (e.g., using JWST, the James Webb Space Telescope). Already ther…
▽ More
The search for life on exoplanets is one of the grand scientific challenges of our time. The strategy to date has been to find (e.g., through transit surveys like Kepler) Earth-like exoplanets in their stars habitable zone, then use transmission spectroscopy to measure biosignature gases, especially oxygen, in the planets atmospheres (e.g., using JWST, the James Webb Space Telescope). Already there are more such planets than can be observed by JWST, and missions like the Transiting Exoplanet Survey Satellite and others will find more. A better understanding of the geochemical cycles relevant to biosignature gases is needed, to prioritize targets for costly follow-up observations and to help design future missions. We define a Detectability Index to quantify the likelihood that a biosignature gas could be assigned a biological vs. non-biological origin. We apply this index to the case of oxygen gas, O2, on Earth-like planets with varying water contents. We demonstrate that on Earth-like exoplanets with 0.2 weight percent (wt%) water (i.e., no exposed continents) a reduced flux of bioessential phosphorus limits the export of photosynthetically produced atmospheric O2 to levels indistinguishable from geophysical production by photolysis of water plus hydrogen escape. Higher water contents >1wt% that lead to high-pressure ice mantles further slow phosphorus cycling. Paradoxically, the maximum water content allowing use of O2 as a biosignature, 0.2wt%, is consistent with no water based on mass and radius. Thus, the utility of an O2 biosignature likely requires the direct detection of both water and land on a planet.
△ Less
Submitted 7 April, 2020;
originally announced April 2020.
-
Universality and Non-Universality in Distributed Nuclear Burning in Homogeneous Isotropic Turbulence
Authors:
Yossef Zenati,
Robert T. Fisher
Abstract:
Nuclear burning plays a key role in a wide range of astrophysical stellar transients, including thermonuclear, pair instability, and core collapse supernovae, as well as kilonovae and collapsars. Turbulence is now understood to also play a key role in these astrophysical transients. Here we demonstrate that turbulent nuclear burning may lead to large enhancements above the uniform background burni…
▽ More
Nuclear burning plays a key role in a wide range of astrophysical stellar transients, including thermonuclear, pair instability, and core collapse supernovae, as well as kilonovae and collapsars. Turbulence is now understood to also play a key role in these astrophysical transients. Here we demonstrate that turbulent nuclear burning may lead to large enhancements above the uniform background burning rate, since turbulent dissipation gives rise to temperature fluctuations, and in general the nuclear burning rates are highly sensitive to temperature. We derive results for the turbulent enhancement of the nuclear burning rate under the influence of strong turbulence in the distributed burning regime in homogeneous isotropic turbulence, using probability distribution function (PDF) methods. We demonstrate that the turbulent enhancement obeys a universal scaling law in the limit of weak turbulence. We further demonstrate that, for a wide range of key nuclear reactions, such as C$^{12}$(O$^{16}$, $α$)Mg$^{24}$ and triple-$α$, even relatively modest temperature fluctuations, of the order ten percent, can lead to enhancements of 1 - 3 orders of magnitude in the turbulent nuclear burning rate. We verify the predicted turbulent enhancement directly against numerical simulations, and find very good agreement. We also present an estimation for the onset of turbulent detonation initiation, and discuss implications of our results for the modeling of stellar transients.
△ Less
Submitted 5 February, 2020;
originally announced February 2020.
-
On families of 13-congruent elliptic curves
Authors:
Tom Fisher
Abstract:
We compute twists of the modular curve $X(13)$ that parametrise the elliptic curves 13-congruent to a given elliptic curve. Searching for rational points on these twists enables us to find non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$, i.e. pairs of non-isogenous elliptic curves over ${\mathbb Q}$ whose 13-torsion subgroups are isomorphic as Galois modules. We also find equa…
▽ More
We compute twists of the modular curve $X(13)$ that parametrise the elliptic curves 13-congruent to a given elliptic curve. Searching for rational points on these twists enables us to find non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$, i.e. pairs of non-isogenous elliptic curves over ${\mathbb Q}$ whose 13-torsion subgroups are isomorphic as Galois modules. We also find equations for the surfaces parametrising pairs of 13-congruent elliptic curves. There are two such surfaces, corresponding to 13-congruences that do, or do not, respect the Weil pairing. We write each as a double cover of the projective plane ramified over a highly singular model for Baran's modular curve of level 13. By finding suitable rational curves on these surfaces, we show that there are infinitely many non-trivial pairs of 13-congruent elliptic curves over ${\mathbb Q}$.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
Everywhere local solubility for hypersurfaces in products of projective spaces
Authors:
Tom Fisher,
Wei Ho,
Jennifer Park
Abstract:
We prove that a positive proportion of hypersurfaces in products of projective spaces over $\mathbb{Q}$ are everywhere locally soluble, for almost all multidegrees and dimensions, as a generalization of a theorem of Poonen and Voloch. We also study the specific case of genus $1$ curves in $\mathbb{P}^1 \times \mathbb{P}^1$ defined over $\mathbb{Q}$, represented as bidegree $(2,2)$-forms, and show…
▽ More
We prove that a positive proportion of hypersurfaces in products of projective spaces over $\mathbb{Q}$ are everywhere locally soluble, for almost all multidegrees and dimensions, as a generalization of a theorem of Poonen and Voloch. We also study the specific case of genus $1$ curves in $\mathbb{P}^1 \times \mathbb{P}^1$ defined over $\mathbb{Q}$, represented as bidegree $(2,2)$-forms, and show that the proportion of everywhere locally soluble such curves is approximately $87.4\%$. The proportion of these curves in $\mathbb{P}^1 \times \mathbb{P}^1$ soluble over $\mathbb{Q}_p$ is a rational function of $p$ for each finite prime $p$. Finally, we include some experimental data on the Hasse principle for these curves.
△ Less
Submitted 16 October, 2020; v1 submitted 21 November, 2019;
originally announced November 2019.
-
Equilibrium states for certain partially hyperbolic attractors
Authors:
Todd Fisher,
Krerley Oliveira
Abstract:
We prove that a class of partially hyperbolic attractors introduced by Castro and Nascimento have unique equilibrium states for natural classes of potentials. We also show if the attractors are $C^2$ and have invariant stable and centerunstable foliations, then there is a unique equilibrium state for the geometric potential and its 1-parameter family. We do this by applying general techniques deve…
▽ More
We prove that a class of partially hyperbolic attractors introduced by Castro and Nascimento have unique equilibrium states for natural classes of potentials. We also show if the attractors are $C^2$ and have invariant stable and centerunstable foliations, then there is a unique equilibrium state for the geometric potential and its 1-parameter family. We do this by applying general techniques developed by Climenhaga and Thompson.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Thermal boundary resistance predictions with non-equilibrium Green's function and molecular dynamics simulations
Authors:
Yuanchen Chu,
**g**g Shi,
Kai Miao,
Yang Zhong,
Prasad Sarangapani,
Timothy S. Fisher,
Gerhard Klimeck,
Xiulin Ruan,
Tillmann Kubis
Abstract:
The non-equilibrium Green's function (NEGF) method with Büttiker probe scattering self-energies is assessed by comparing its predictions for the thermal boundary resistance with molecular dynamics (MD) simulations. For simplicity, the interface of Si/heavy-Si is considered, where heavy-Si differs from Si only in the mass value. With Büttiker probe scattering parameters tuned against MD in homogene…
▽ More
The non-equilibrium Green's function (NEGF) method with Büttiker probe scattering self-energies is assessed by comparing its predictions for the thermal boundary resistance with molecular dynamics (MD) simulations. For simplicity, the interface of Si/heavy-Si is considered, where heavy-Si differs from Si only in the mass value. With Büttiker probe scattering parameters tuned against MD in homogeneous Si, the NEGF-predicted thermal boundary resistance quantitatively agrees with MD for wide mass ratios. Artificial resistances that the unaltered Landauer approach yield at virtual interfaces in homogeneous systems are absent in the present NEGF approach. Spectral information result from NEGF in its natural representation without further transformations. The spectral results show that the scattering between different phonon modes plays a crucial role in thermal transport across interfaces. Büttiker probes provide an efficient and reliable way to include anharmonicity in phonon related NEGF. NEGF including the Büttiker probes can reliably predict phonon transport across interfaces and at finite temperatures.
△ Less
Submitted 18 November, 2019; v1 submitted 30 August, 2019;
originally announced August 2019.
-
Photoconductivity calculations of bilayer graphene from first principles and deformation-potential approach
Authors:
Yijun Ge,
Timothy S. Fisher
Abstract:
We report first-principles calculations of electron-phonon coupling in bilayer graphene and the corresponding contribution to carrier scattering. At the phonon $Γ$ point, electrons with energies less than 200 meV are scattered predominantly by LA$^\prime$ and TA$^\prime$ modes while higher-energy electron scattering is dominated by optical phonon modes. Based on a two-temperature model, heat trans…
▽ More
We report first-principles calculations of electron-phonon coupling in bilayer graphene and the corresponding contribution to carrier scattering. At the phonon $Γ$ point, electrons with energies less than 200 meV are scattered predominantly by LA$^\prime$ and TA$^\prime$ modes while higher-energy electron scattering is dominated by optical phonon modes. Based on a two-temperature model, heat transfer from electrons with an initial temperature of 2000 K to the lattice (phonons) with an initial temperature of 300 K is computed, and in the overall relaxation process, most of this energy scatters into K-point phonon optical modes due to their strong coupling with electrons and their high energies. A Drude model is used to calculate photoconductivity for bilayer graphene with different do** levels. Good agreement with prior experimental trends for both the real and imaginary components of photoconductivity confirms the model's applicability. The effects of do** levels and electron-phonon scattering on photoconductiviy are analyzed. We also extract acoustic and optical deformation potentials from average scattering rates obtained from density functional theory (DFT) calculations and compare associated photoconductivity calculations with DFT results. The comparison indicates that momentum-dependent electron-phonon scattering potentials are required to provide accurate predictions.
△ Less
Submitted 26 May, 2020; v1 submitted 25 July, 2019;
originally announced July 2019.
-
A dichotomy for measures of maximal entropy near time-one maps of transitive Anosov flows
Authors:
Jérôme Buzzi,
Todd Fisher,
Ali Tahzibi
Abstract:
We show that time-one maps of transitive Anosov flows of compact manifolds are accumulated by diffeomorphisms robustly satisfying the following dichotomy: either all of the measures of maximal entropy are non-hyperbolic, or there are exactly two ergodic measures of maximal entropy, one with a positive central exponent and the other with a negative central exponent.
We establish this dichotomy fo…
▽ More
We show that time-one maps of transitive Anosov flows of compact manifolds are accumulated by diffeomorphisms robustly satisfying the following dichotomy: either all of the measures of maximal entropy are non-hyperbolic, or there are exactly two ergodic measures of maximal entropy, one with a positive central exponent and the other with a negative central exponent.
We establish this dichotomy for certain partially hyperbolic diffeomorphisms isotopic to the identity whenever both of their strong foliations are minimal. Our proof builds on the approach developed by Margulis for Anosov flows where he constructs suitable families of measures on the dynamical foliations.
△ Less
Submitted 8 December, 2020; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Centralizers of hyperbolic and kinematic-expansive flows
Authors:
Lennard Bakker,
Todd Fisher,
Boris Hasselblatt
Abstract:
We show generic $C^\infty$ hyperbolic flows (Axiom A and no cycles, but not transitive Anosov) commute with no $C^\infty$-diffeomorphism other than a time-t map of the flow itself. Kinematic expansivity, a substantial weakening of expansivity, implies that $C^0$ flows have quasi-discrete $C^0$-centralizer, and additional conditions broader than transitivity then give discrete $C^0$-centralizer. We…
▽ More
We show generic $C^\infty$ hyperbolic flows (Axiom A and no cycles, but not transitive Anosov) commute with no $C^\infty$-diffeomorphism other than a time-t map of the flow itself. Kinematic expansivity, a substantial weakening of expansivity, implies that $C^0$ flows have quasi-discrete $C^0$-centralizer, and additional conditions broader than transitivity then give discrete $C^0$-centralizer. We also prove centralizer-rigidity: a diffeomorphism commuting with a generic hyperbolic flow is determined by its values on any open set.
△ Less
Submitted 26 March, 2019;
originally announced March 2019.
-
Atomistic Simulation of Phonon and Magnon Thermal Transport across the Ferro-Paramagnetic Transition
Authors:
Yanguang Zhou,
Julien Tranchida,
Yijun Ge,
Jayathi Y. Murthy,
Timothy S. Fisher
Abstract:
A temperature-dependent approach involving Green-Kubo equilibrium atomic and spin dynamics (GKEASD) is reported to assess phonon and magnon thermal transport processes accounting for phonon-magnon interactions. Using body-center cubic (BCC) iron as a case study, GKEASD successfully reproduces its characteristic temperature-dependent spiral and lattice thermal conductivities. The non-electronic the…
▽ More
A temperature-dependent approach involving Green-Kubo equilibrium atomic and spin dynamics (GKEASD) is reported to assess phonon and magnon thermal transport processes accounting for phonon-magnon interactions. Using body-center cubic (BCC) iron as a case study, GKEASD successfully reproduces its characteristic temperature-dependent spiral and lattice thermal conductivities. The non-electronic thermal conductivity, i.e., the sum of phonon and magnon thermal conductivities, calculated using GKEASD for BCC Fe agrees well with experimental measurements. Spectral energy analysis reveals that high-frequency phonon-magnon scattering rates are one order of magnitude larger than those at low frequencies due to energy scattering conservation rules and high densities of states. Higher temperatures further accentuate this phenomenon. This new framework fills existing gaps in simulating thermal transport across the ferro- to para-magnetic transition. Future application of this methodology to phonon- and magnon-dominant insulators and semiconductors will enhance understanding of emerging thermoelectric, spin caloritronic and superconducting materials.
△ Less
Submitted 9 January, 2020; v1 submitted 3 January, 2019;
originally announced January 2019.
-
Dramatic increase in the thermal boundary conductance and radiation limit from a Nonequilibrium Landauer Approach
Authors:
**g**g Shi,
Xiaolong Yang,
Timothy S. Fisher,
Xiulin Ruan
Abstract:
Thermal boundary conductance (TBC) is critical in many thermal and energy applications. A decades-old puzzle has been that many of the measured TBCs, such as those well characterized across Al/Si and ZnO/GaN interfaces, significantly exceed theoretical results or even the absolute upper limit called the ``radiation limit", suggesting the failure of the theory. Here, we identify that for high-trans…
▽ More
Thermal boundary conductance (TBC) is critical in many thermal and energy applications. A decades-old puzzle has been that many of the measured TBCs, such as those well characterized across Al/Si and ZnO/GaN interfaces, significantly exceed theoretical results or even the absolute upper limit called the ``radiation limit", suggesting the failure of the theory. Here, we identify that for high-transmission interfaces, the commonly assumed phonon local thermal equilibrium adjacent to the interface fails, and the measurable phonon temperatures are not their emission temperature. We hence develop a ``nonequilibrium Landauer approach" and define the unique ``dressed" and ``intrinsic" TBCs. Combining our approach even with a simple diffuse mismatch model (DMM) nearly doubles the theoretical TBCs across the Al/Si and ZnO/GaN interfaces, and the theoretical results agree with experiments for the first time. The radiation limit is also redefined and found to increase over 100\% over the original radiation limit, and it can now well bound all the experimental data.
△ Less
Submitted 14 April, 2019; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Systematic Exploration of the High Likelihood Set of Phylogenetic Tree Topologies
Authors:
Chris Whidden,
Brian C. Claywell,
Thayer Fisher,
Andrew F. Magee,
Mathieu Fourment,
Frederick A. Matsen IV
Abstract:
Bayesian Markov chain Monte Carlo explores tree space slowly, in part because it frequently returns to the same tree topology. An alternative strategy would be to explore tree space systematically, and never return to the same topology. In this paper, we present an efficient parallelized method to map out the high likelihood set of phylogenetic tree topologies via systematic search, which we show…
▽ More
Bayesian Markov chain Monte Carlo explores tree space slowly, in part because it frequently returns to the same tree topology. An alternative strategy would be to explore tree space systematically, and never return to the same topology. In this paper, we present an efficient parallelized method to map out the high likelihood set of phylogenetic tree topologies via systematic search, which we show to be a good approximation of the high posterior set of tree topologies. Here `likelihood' of a topology refers to the tree likelihood for the corresponding tree with optimized branch lengths. We call this method `phylogenetic topographer' (PT). The PT strategy is very simple: starting in a number of local topology maxima (obtained by hill-climbing from random starting points), explore out using local topology rearrangements, only continuing through topologies that are better than than some likelihood threshold below the best observed topology. We show that the normalized topology likelihoods are a useful proxy for the Bayesian posterior probability of those topologies. By using a non-blocking hash table keyed on unique representations of tree topologies, we avoid visiting topologies more than once across all concurrent threads exploring tree space. We demonstrate that PT can be used directly to approximate a Bayesian consensus tree topology. When combined with an accurate means of evaluating per-topology marginal likelihoods, PT gives an alternative procedure for obtaining Bayesian posterior distributions on phylogenetic tree topologies.
△ Less
Submitted 27 November, 2018;
originally announced November 2018.
-
Double-Degenerate Carbon-Oxygen and Oxygen-Neon White Dwarf Mergers: A New Mechanism for Faint and Rapid Type Ia Supernovae
Authors:
Rahul Kashyap,
Tazkera Haque,
Pablo Lorén-Aguilar,
Enrique García-Berro,
Robert T. Fisher
Abstract:
Type Ia supernovae (SNe Ia) originate from the thermonuclear explosion of carbon-oxygen white dwarfs (CO WDs), giving rise to luminous optical transients. A relatively common variety of subluminous SNe Ia events, referred to as SNe Iax, are believed to arise from the failed detonation of a CO WD. In this paper, we explore failed detonation SNe Ia in the context of the double-degenerate channel of…
▽ More
Type Ia supernovae (SNe Ia) originate from the thermonuclear explosion of carbon-oxygen white dwarfs (CO WDs), giving rise to luminous optical transients. A relatively common variety of subluminous SNe Ia events, referred to as SNe Iax, are believed to arise from the failed detonation of a CO WD. In this paper, we explore failed detonation SNe Ia in the context of the double-degenerate channel of merging white dwarfs. In particular, we have carried out the first fully three-dimensional simulation of the merger of a ONe WD with a CO WD. While the hot, tidally-disrupted carbon-rich disk material originating from the CO WD secondary is readily susceptible to detonation in such a merger, the ONe WD primary core is not. This merger yields a failed detonation, resulting in the ejection of a small amount of mass, and leaving behind a kicked, super-Chandrasekhar ONe WD remnant enriched by the fallback of the products of nuclear burning. The resulting outburst is a rapidly-fading optical transient with a small amount of radioactive $^{56}$Ni powering the light curve. Consequently, the ONe-CO WD merger naturally produces a very faint and rapidly-fading transient, fainter even than the faintest Type Iax events observed to date, such as SN $2008$ha and SN 2010ae. More massive ONe primaries than considered here may produce brighter and longer-duration transients.
△ Less
Submitted 31 October, 2018;
originally announced November 2018.
-
The Intrinsic Stochasticity of the $^{56}$Ni Distribution of Single-Degenerate Type Ia Supernovae
Authors:
Chris Byrohl,
Robert T. Fisher,
Dean M. Townsley
Abstract:
Binary Chandrasekhar-mass white dwarfs accreting mass from non-degenerate stellar companions through the single-degenerate channel have reigned for decades as the leading explanation of Type Ia supernovae. Yet, a comprehensive theoretical explanation has not yet emerged to explain the expected properties of the canonical near-Chandrasekhar-mass white dwarf model. A simmering phase within the conve…
▽ More
Binary Chandrasekhar-mass white dwarfs accreting mass from non-degenerate stellar companions through the single-degenerate channel have reigned for decades as the leading explanation of Type Ia supernovae. Yet, a comprehensive theoretical explanation has not yet emerged to explain the expected properties of the canonical near-Chandrasekhar-mass white dwarf model. A simmering phase within the convective core of the white dwarf leads to the ignition of one or more flame bubbles scattered across the core. Consequently, near-Chandrasekhar-mass single-degenerate SNe Ia are inherently stochastic, and are expected to lead to a range of outcomes, from subluminous SN 2002cx-like events, to overluminous SN 1991T-like events. However, all prior simulations of the single-degenerate channel carried through the detonation phase have set the ignition points as free parameters. In this work, for the first time, we place ignition points as predicted by {\it ab initio} models of the convective phase leading up to ignition, and follow through the detonation phase in fully three-dimensional simulations. Single-degenerates in this framework are characteristically overluminous. Using a statistical approach, we determine the $^{56}$Ni mass distribution arising from stochastic ignition. While there is a total spread of $\gtrsim 0.2 M_{\odot}$ for detonating models, the distribution is strongly left-skewed, and with a narrow standard deviation of $\simeq 0.03 M_{\odot}$. Conversely, if single-degenerates are not overluminous but primarily yield normal or failed events, then the models require fine-tuning of the ignition parameters, or otherwise require revised physics or progenitor models. We discuss implications of our findings for the modeling of single-degenerate SNe Ia.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Carbon Detonation Initiation in Turbulent Electron-Degenerate Matter
Authors:
Robert T. Fisher,
Pritom Mozumdar,
Gabriel O. Casabona
Abstract:
Type Ia supernovae (SNe Ia) play a critical role in astrophysics, yet their origin remains mysterious. A crucial physical mechanism in any SN Ia model is the initiation of the detonation front which ultimately unbinds the white dwarf progenitor and leads to the SN Ia. We demonstrate, for the first time, how a carbon detonation may arise in a realistic three-dimensional turbulent electron-degenerat…
▽ More
Type Ia supernovae (SNe Ia) play a critical role in astrophysics, yet their origin remains mysterious. A crucial physical mechanism in any SN Ia model is the initiation of the detonation front which ultimately unbinds the white dwarf progenitor and leads to the SN Ia. We demonstrate, for the first time, how a carbon detonation may arise in a realistic three-dimensional turbulent electron-degenerate flow, in a new mechanism we refer to as turbulently-driven detonation. Using both analytic estimates and three-dimensional numerical simulations, we show that strong turbulence in the distributed burning regime gives rise to intermittent turbulent dissipation which locally enhances the nuclear burning rate by orders of magnitude above the mean. This turbulent enhancement to the nuclear burning rate leads in turn to supersonic burning and a detonation front. As a result, turbulence plays a key role in preconditioning the carbon-oxygen fuel for a detonation. The turbulently-driven detonation initiation mechanism leads to a wider range of conditions for the onset of carbon detonation than previously thought possible, with important ramifications for SNe Ia models.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Explicit moduli spaces for congruences of elliptic curves
Authors:
Tom Fisher
Abstract:
We determine explicit birational models over Q for the modular surfaces parametrising pairs of N-congruent elliptic curves in all cases where this surface is an elliptic surface. In each case we also determine the rank of the Mordell-Weil lattice and the geometric Picard number.
We determine explicit birational models over Q for the modular surfaces parametrising pairs of N-congruent elliptic curves in all cases where this surface is an elliptic surface. In each case we also determine the rank of the Mordell-Weil lattice and the geometric Picard number.
△ Less
Submitted 26 April, 2018;
originally announced April 2018.
-
Life Beyond the Solar System: Remotely Detectable Biosignatures
Authors:
Shawn Domagal-Goldman,
Nancy Y. Kiang,
Niki Parenteau,
David C. Catling,
Shiladitya DasSarma,
Yuka Fujii,
Chester E. Harman,
Adrian Lenardic,
Enric Pallé,
Christopher T. Reinhard,
Edward W. Schwieterman,
Jean Schneider,
Harrison B. Smith,
Motohide Tamura,
Daniel Angerhausen,
Giada Arney,
Vladimir S. Airapetian,
Natalie M. Batalha,
Charles S. Cockell,
Leroy Cronin,
Russell Deitrick,
Anthony Del Genio,
Theresa Fisher,
Dawn M. Gelino,
J. Lee Grenfell
, et al. (16 additional authors not shown)
Abstract:
For the first time in human history, we will soon be able to apply the scientific method to the question "Are We Alone?" The rapid advance of exoplanet discovery, planetary systems science, and telescope technology will soon allow scientists to search for life beyond our Solar System through direct observation of extrasolar planets. This endeavor will occur alongside searches for habitable environ…
▽ More
For the first time in human history, we will soon be able to apply the scientific method to the question "Are We Alone?" The rapid advance of exoplanet discovery, planetary systems science, and telescope technology will soon allow scientists to search for life beyond our Solar System through direct observation of extrasolar planets. This endeavor will occur alongside searches for habitable environments and signs of life within our Solar System. While the searches are thematically related and will inform each other, they will require separate observational techniques. The search for life on exoplanets holds potential through the great diversity of worlds to be explored beyond our Solar System. However, there are also unique challenges related to the relatively limited data this search will obtain on any individual world. This white paper reviews the scientific community's ability to use data from future telescopes to search for life on exoplanets. This material summarizes products from the Exoplanet Biosignatures Workshop Without Walls (EBWWW). The EBWWW was constituted by a series of online and in person activities, with participation from the international exoplanet and astrobiology communities, to assess state of the science and future research needs for the remote detection of life on planets outside our Solar System.
△ Less
Submitted 20 January, 2018;
originally announced January 2018.
-
Computing the Cassels-Tate pairing on 3-isogeny Selmer groups via cubic norm equations
Authors:
Monique van Beek,
Tom Fisher
Abstract:
We explain a method for computing the Cassels-Tate pairing on the 3-isogeny Selmer groups of an elliptic curve. This improves the upper bound on the rank of the elliptic curve coming from a descent by 3-isogeny, to that coming from a full 3-descent. One ingredient of our work is a new algorithm for solving cubic norm equations, that avoids the need for any S-unit computations. As an application, w…
▽ More
We explain a method for computing the Cassels-Tate pairing on the 3-isogeny Selmer groups of an elliptic curve. This improves the upper bound on the rank of the elliptic curve coming from a descent by 3-isogeny, to that coming from a full 3-descent. One ingredient of our work is a new algorithm for solving cubic norm equations, that avoids the need for any S-unit computations. As an application, we show that the elliptic curves with torsion subgroup of order 3 and rank at least 13, found by Eroshkin, have rank exactly 13.
△ Less
Submitted 7 November, 2017;
originally announced November 2017.
-
Rudder Augmented Trajectory Correction for Small UAV to Minimize Lateral Image Errors
Authors:
Thomas Fisher,
Rajnikant Sharma
Abstract:
Civil applications for unmanned aerial vehicles (UAVs) have increased rapidly over the last few years. In the realm of civil applications, many aircraft carry cameras that are physically fixed to the airframe. While this yields a simple and robust remote sensing platform, the imagery quality diminishes with increasing attitude errors. A rudder augmented trajectory correction method for small unman…
▽ More
Civil applications for unmanned aerial vehicles (UAVs) have increased rapidly over the last few years. In the realm of civil applications, many aircraft carry cameras that are physically fixed to the airframe. While this yields a simple and robust remote sensing platform, the imagery quality diminishes with increasing attitude errors. A rudder augmented trajectory correction method for small unmanned aerial vehicles is discussed in this paper. The goal of this type of controller is to minimize the lateral image errors of body fixed non-gimbaled cameras. We present a comparison to current aileron only trajectory correction autopilots. Simulation and flight test results are presented that show significant reduction in the roll angle present during trajectory correction resulting in a large effect on total flight line image deviations.
△ Less
Submitted 7 October, 2017;
originally announced October 2017.
-
Phonon Eigenspectrum-Based Formulation of the Atomistic Green's Function Method
Authors:
Sridhar Sadasivam,
Umesh V. Waghmare,
Timothy S. Fisher
Abstract:
While the atomistic Green's function (AGF) method has the potential to compute spectrally resolved phonon transport across interfaces, most prior formulations of the AGF method provide only the total phonon transmission function that includes contributions from all phonon branches or channels. In this work, we present a formulation of the conventional AGF technique in terms of phonon eigenspectra…
▽ More
While the atomistic Green's function (AGF) method has the potential to compute spectrally resolved phonon transport across interfaces, most prior formulations of the AGF method provide only the total phonon transmission function that includes contributions from all phonon branches or channels. In this work, we present a formulation of the conventional AGF technique in terms of phonon eigenspectra that provides a natural decomposition of the total transmission function into contributions from various phonon modes. The method involves the use of Dyson and Lippmann-Schwinger equations to determine surface Green's functions from the phonon eigenspectrum of the bulk, and establishes a direct connection between the transmission function and the bulk phonon spectra of the materials forming the interface. We elucidate our formulation of the AGF technique through its application to a microscopic picture of phonon mode conversion at Si-Ge interfaces with atomic intermixing. Intermixing of atoms near the interface is shown to increase the phase space available for phonon mode conversion and to enhance thermal interface conductance at moderate levels of atomic mixing. The eigenspectrum-based AGF (EAGF) method should be useful in determination of microscopic mechanisms of phonon scattering and identification of the specific modes that dominate thermal transport across an interface.
△ Less
Submitted 10 October, 2017; v1 submitted 1 August, 2017;
originally announced August 2017.
-
On some algebras associated to genus one curves
Authors:
Tom Fisher
Abstract:
Haile, Han and Kuo have studied certain non-commutative algebras associated to a binary quartic or ternary cubic form. We extend their construction to pairs of quadratic forms in four variables, and conjecture a further generalisation to genus one curves of arbitrary degree. These constructions give an explicit realisation of an isomorphism relating the Weil-Chatelet and Brauer groups of an ellipt…
▽ More
Haile, Han and Kuo have studied certain non-commutative algebras associated to a binary quartic or ternary cubic form. We extend their construction to pairs of quadratic forms in four variables, and conjecture a further generalisation to genus one curves of arbitrary degree. These constructions give an explicit realisation of an isomorphism relating the Weil-Chatelet and Brauer groups of an elliptic curve.
△ Less
Submitted 26 July, 2017;
originally announced July 2017.
-
Reduced work function of graphene by metal adatoms
Authors:
Merid Legesse,
Fedwa El Mellouhi,
El Tayeb Bentria,
Mohamed E. Madjet,
Timothy S Fisher,
Sabre Kais,
Fahhad H Alharbi
Abstract:
In this paper, the work function of graphene doped by different metal adatoms and at different concentrations is investigated. Density functional theory is used to maximize the reduction of the work function. In general, the work function drops significantly before reaching saturation. For example in the case of Cs do**, the work function saturates at 2.05 eV with a modest 8 % do**. The adsorp…
▽ More
In this paper, the work function of graphene doped by different metal adatoms and at different concentrations is investigated. Density functional theory is used to maximize the reduction of the work function. In general, the work function drops significantly before reaching saturation. For example in the case of Cs do**, the work function saturates at 2.05 eV with a modest 8 % do**. The adsorption of different concentrations on metal adatoms on graphene is also studied. Our calculations show that the adatoms prefer to relax at hollow sites. The transfer of electron from metallic dopants to the graphene for all the studied systems shifts the Fermi energy levels above the Dirac-point and the doped graphenes become metallic. The value of Fermi energy shifts depends on the type of metallic dopants and its concentrations. A detail analysis of the electronic structure in terms of band structure and density of states, absorption energy, and charge transfer for each adatom-graphene system is presented.
△ Less
Submitted 3 June, 2017;
originally announced June 2017.
-
$\left( β, \varpi \right)$-stability for cross-validation and the choice of the number of folds
Authors:
Ning Xu,
Jian Hong,
Timothy C. G. Fisher
Abstract:
In this paper, we introduce a new concept of stability for cross-validation, called the $\left( β, \varpi \right)$-stability, and use it as a new perspective to build the general theory for cross-validation. The $\left( β, \varpi \right)$-stability mathematically connects the generalization ability and the stability of the cross-validated model via the Rademacher complexity. Our result reveals mat…
▽ More
In this paper, we introduce a new concept of stability for cross-validation, called the $\left( β, \varpi \right)$-stability, and use it as a new perspective to build the general theory for cross-validation. The $\left( β, \varpi \right)$-stability mathematically connects the generalization ability and the stability of the cross-validated model via the Rademacher complexity. Our result reveals mathematically the effect of cross-validation from two sides: on one hand, cross-validation picks the model with the best empirical generalization ability by validating all the alternatives on test sets; on the other hand, cross-validation may compromise the stability of the model selection by causing subsampling error. Moreover, the difference between training and test errors in q\textsuperscript{th} round, sometimes referred to as the generalization error, might be autocorrelated on q. Guided by the ideas above, the $\left( β, \varpi \right)$-stability help us derivd a new class of Rademacher bounds, referred to as the one-round/convoluted Rademacher bounds, for the stability of cross-validation in both the i.i.d.\ and non-i.i.d.\ cases. For both light-tail and heavy-tail losses, the new bounds quantify the stability of the one-round/average test error of the cross-validated model in terms of its one-round/average training error, the sample sizes $n$, number of folds $K$, the tail property of the loss (encoded as Orlicz-$Ψ_ν$ norms) and the Rademacher complexity of the model class $Λ$. The new class of bounds not only quantitatively reveals the stability of the generalization ability of the cross-validated model, it also shows empirically the optimal choice for number of folds $K$, at which the upper bound of the one-round/average test error is lowest, or, to put it in another way, where the test error is most stable.
△ Less
Submitted 5 July, 2017; v1 submitted 20 May, 2017;
originally announced May 2017.
-
Exoplanet Biosignatures: A Review of Remotely Detectable Signs of Life
Authors:
Edward W. Schwieterman,
Nancy Y. Kiang,
Mary N. Parenteau,
Chester E. Harman,
Shiladitya DasSarma,
Theresa M. Fisher,
Giada N. Arney,
Hilairy E. Hartnett,
Christopher T. Reinhard,
Stephanie L. Olson,
Victoria S. Meadows,
Charles S. Cockell,
Sara I. Walker,
John Lee Grenfell,
Siddharth Hegde,
Sarah Rugheimer,
Renyu Hu,
Timothy W. Lyons
Abstract:
In the coming years and decades, advanced space- and ground-based observatories will allow an unprecedented opportunity to probe the atmospheres and surfaces of potentially habitable exoplanets for signatures of life. Life on Earth, through its gaseous products and reflectance and scattering properties, has left its fingerprint on the spectrum of our planet. Aided by the universality of the laws o…
▽ More
In the coming years and decades, advanced space- and ground-based observatories will allow an unprecedented opportunity to probe the atmospheres and surfaces of potentially habitable exoplanets for signatures of life. Life on Earth, through its gaseous products and reflectance and scattering properties, has left its fingerprint on the spectrum of our planet. Aided by the universality of the laws of physics and chemistry, we turn to Earth's biosphere, both in the present and through geologic time, for analog signatures that will aid in the search for life elsewhere. Considering the insights gained from modern and ancient Earth, and the broader array of hypothetical exoplanet possibilities, we have compiled a state-of-the-art overview of our current understanding of potential exoplanet biosignatures including gaseous, surface, and temporal biosignatures. We additionally survey biogenic spectral features that are well-known in the specialist literature but have not yet been robustly vetted in the context of exoplanet biosignatures. We briefly review advances in assessing biosignature plausibility, including novel methods for determining chemical disequilibrium from remotely obtainable data and assessment tools for determining the minimum biomass required for a given atmospheric signature. We focus particularly on advances made since the seminal review by Des Marais et al. (2002). The purpose of this work is not to propose new biosignatures strategies, a goal left to companion papers in this series, but to review the current literature, draw meaningful connections between seemingly disparate areas, and clear the way for a path forward.
△ Less
Submitted 25 June, 2018; v1 submitted 16 May, 2017;
originally announced May 2017.
-
The OSIRIS-REx Thermal Emission Spectrometer (OTES) Instrument
Authors:
P. R. Christensen,
V. E. Hamilton,
G. L. Mehall,
D. Pelham,
W. O'Donnell,
S. Anwar,
H. Bowles,
S. Chase,
J. Fahlgren,
Z. Farkas,
T. Fisher,
O. James,
I. Kubik,
I. Lazbin,
M. Miner,
M. Rassas,
L. Schulze,
K. Shamordola,
T. Tourville,
G. West,
R. Woodward,
D. Lauretta
Abstract:
The OSIRIS-REx Thermal Emission Spectrometer (OTES) will provide remote measurements of mineralogy and thermophysical properties of Bennu to map its surface, help select the OSIRIS-REx sampling site, and investigate the Yarkovsky effect. OTES is a Fourier transform spectrometer covering the spectral range 5.71 - 100 μm (1750 - 100 cm-1) with a spectral sample interval of 8.66 cm-1 and a 6.5-mrad f…
▽ More
The OSIRIS-REx Thermal Emission Spectrometer (OTES) will provide remote measurements of mineralogy and thermophysical properties of Bennu to map its surface, help select the OSIRIS-REx sampling site, and investigate the Yarkovsky effect. OTES is a Fourier transform spectrometer covering the spectral range 5.71 - 100 μm (1750 - 100 cm-1) with a spectral sample interval of 8.66 cm-1 and a 6.5-mrad field of view. The OTES telescope is a 15.2-cm diameter Cassegrain telescope that feeds a flat-plate Michelson moving mirror mounted on a linear voice-coil motor assembly. A single uncooled deuterated L-alanine doped triglycine sulfate (DLATGS) pyroelectric detector is used to sample the interferogram every two seconds. Redundant ~0.855 μm laser diodes are used in a metrology interferometer to provide precise moving mirror control and IR sampling at 772 Hz. The beamsplitter is a 38-mm diameter, 1-mm thick chemical vapor deposited diamond with an antireflection microstructure to minimize surface reflection. An internal calibration cone blackbody target provides radiometric calibration. The radiometric precision in a single spectrum is <= 2.2 x 10-8 W cm-2 sr-1/cm-1 between 300 and 1350 cm-1. The absolute integrated radiance error is <1% for scene temperatures ranging from 150 to 380 K. The overall OTES envelope size is 37.5 x 28.9 x 52.2 cm, and the mass is 6.27 kg. The power consumption is 10.8 W average. The OTES was developed by Arizona State University with Moog Broad Reach develo** the electronics. OTES was integrated, tested, and radiometrically calibrated on the Arizona State University campus in Tempe, AZ.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
Unique equilibrium states for geodesic flows in nonpositive curvature
Authors:
Keith Burns,
Vaughn Climenhaga,
Todd Fisher,
Daniel J. Thompson
Abstract:
We study geodesic flows over compact rank 1 manifolds and prove that sufficiently regular potential functions have unique equilibrium states if the singular set does not carry full pressure. In dimension 2, this proves uniqueness for scalar multiples of the geometric potential on the interval $(-\infty,1)$, which is optimal. In higher dimensions, we obtain the same result on a neighborhood of 0, a…
▽ More
We study geodesic flows over compact rank 1 manifolds and prove that sufficiently regular potential functions have unique equilibrium states if the singular set does not carry full pressure. In dimension 2, this proves uniqueness for scalar multiples of the geometric potential on the interval $(-\infty,1)$, which is optimal. In higher dimensions, we obtain the same result on a neighborhood of 0, and give examples where uniqueness holds on all of $\mathbb{R}$. For general potential functions $\varphi$, we prove that the pressure gap holds whenever $\varphi$ is locally constant on a neighborhood of the singular set, which allows us to give examples for which uniqueness holds on a $C^0$-open and dense set of Hölder potentials.
△ Less
Submitted 28 August, 2018; v1 submitted 31 March, 2017;
originally announced March 2017.
-
Equilibrium states for Mañé diffeomorphisms
Authors:
V. Climenhaga,
T. Fisher,
D. J. Thompson
Abstract:
We study thermodynamic formalism for the family of robustly transitive diffeomorphisms introduced by Mañé, establishing existence and uniqueness of equilibrium states for natural classes of potential functions. In particular, we characterize the SRB measures for these diffeomorphisms as unique equilibrium states for a suitable geometric potential. We also obtain large deviations and multifractal r…
▽ More
We study thermodynamic formalism for the family of robustly transitive diffeomorphisms introduced by Mañé, establishing existence and uniqueness of equilibrium states for natural classes of potential functions. In particular, we characterize the SRB measures for these diffeomorphisms as unique equilibrium states for a suitable geometric potential. We also obtain large deviations and multifractal results for the unique equilibrium states produced by the main theorem.
△ Less
Submitted 23 October, 2017; v1 submitted 16 March, 2017;
originally announced March 2017.
-
Some minimisation algorithms in arithmetic invariant theory
Authors:
Tom Fisher,
Lazar Radičević
Abstract:
We extend the work of Cremona, Fisher and Stoll on minimising genus one curves of degrees 2,3,4,5, to some of the other representations associated to genus one curves, as studied by Bhargava and Ho. Specifically we describe algorithms for minimising bidegree (2,2)-forms, 3 x 3 x 3 cubes and 2 x 2 x 2 x 2 hypercubes. We also prove a theorem relating the minimal discriminant to that of the Jacobian…
▽ More
We extend the work of Cremona, Fisher and Stoll on minimising genus one curves of degrees 2,3,4,5, to some of the other representations associated to genus one curves, as studied by Bhargava and Ho. Specifically we describe algorithms for minimising bidegree (2,2)-forms, 3 x 3 x 3 cubes and 2 x 2 x 2 x 2 hypercubes. We also prove a theorem relating the minimal discriminant to that of the Jacobian elliptic curve.
△ Less
Submitted 6 March, 2017;
originally announced March 2017.