-
Polarized Signatures of a Habitable World: Comparing Models of an Exoplanet Earth with Visible and Near-infrared Earthshine Spectra
Authors:
Kenneth E. Gordon,
Theodora Karalidi,
Kimberly M. Bott,
Paulo A. Miles-Páez,
Willeke Mulder,
Daphne M. Stam
Abstract:
In the JWST, Extremely Large Telescopes, and LUVOIR era, we expect to characterize a number of potentially habitable Earth-like exoplanets. However, the characterization of these worlds depends crucially on the accuracy of theoretical models. Validating these models against observations of planets with known properties will be key for the future characterization of terrestrial exoplanets. Due to i…
▽ More
In the JWST, Extremely Large Telescopes, and LUVOIR era, we expect to characterize a number of potentially habitable Earth-like exoplanets. However, the characterization of these worlds depends crucially on the accuracy of theoretical models. Validating these models against observations of planets with known properties will be key for the future characterization of terrestrial exoplanets. Due to its sensitivity to the micro- and macro-physical properties of an atmosphere, polarimetry will be an important tool that, in tandem with traditional flux-only observations, will enhance the capabilities of characterizing Earth-like planets. In this paper we benchmark two different polarization-enabled radiative-transfer codes against each other and against unique linear spectropolarimetric observations of the earthshine that cover wavelengths from $\sim$0.4 to $\sim$2.3 $μ$m. We find that while the results from the two codes generally agree with each other, there is a phase dependency between the compared models. Additionally, with our current assumptions, the models from both codes underestimate the level of polarization of the earthshine. We also report an interesting discrepancy between our models and the observed 1.27 $μ$m $O_2$ feature in the earthshine, and provide an analysis of potential methods for matching this feature. Our results suggest that only having access to the 1.27 $μ$m $O_2$ feature coupled with a lack of observations of the $O_2$ A and B bands could result in a mischaracterization of an Earth-like atmosphere. Providing these assessments is vital to aid the community in the search for life beyond the solar system.
△ Less
Submitted 13 January, 2023;
originally announced January 2023.
-
Spectropolarimetry of life: airborne measurements from a hot air balloon
Authors:
Willeke Mulder,
C. H. Lucas Patty,
Stefano Spadaccia,
Antoine Pommerol,
Brice-Olivier Demory,
Christoph U. Keller,
Jonas G. Kühn,
Frans Snik,
Daphne M. Stam
Abstract:
Does life exist outside our Solar System? A first step towards searching for life outside our Solar System is detecting life on Earth by using remote sensing applications. One powerful and unambiguous biosignature is the circular polarization resulting from the homochirality of biotic molecules and systems. We aim to investigate the possibility of identifying and characterizing life on Earth by us…
▽ More
Does life exist outside our Solar System? A first step towards searching for life outside our Solar System is detecting life on Earth by using remote sensing applications. One powerful and unambiguous biosignature is the circular polarization resulting from the homochirality of biotic molecules and systems. We aim to investigate the possibility of identifying and characterizing life on Earth by using airborne spectropolarimetric observations from a hot air balloon during our field campaign in Switzerland, May 2022.
In this work we present the optical-setup and the data obtained from aerial circular spectropolarimetric measurements of farmland, forests, lakes and urban sites. We make use of the well-calibrated FlyPol instrument that measures the fractionally induced circular polarization ($V/I$) of (reflected) light with a sensitivity of $<10^{-4}$. The instrument operates in the visible spectrum, ranging from 400 to 900 nm. We demonstrate the possibility to distinguish biotic from abiotic features using circular polarization spectra and additional broadband linear polarization information. We review the performance of our optical-setup and discuss potential improvements. This sets the requirements on how to perform future airborne spectropolarimetric measurements of the Earth's surface features from several elevations.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Broadband microwave detection using electron spins in a hybrid diamond-magnet sensor chip
Authors:
Joris J. Carmiggelt,
Iacopo Bertelli,
Roland W. Mulder,
Annick Teepe,
Mehrdad Elyasi,
Brecht G. Simon,
Gerrit E. W. Bauer,
Yaroslav M. Blanter,
Toeno van der Sar
Abstract:
Quantum sensing has developed into a main branch of quantum science and technology. It aims at measuring physical quantities with high resolution, sensitivity, and dynamic range. Electron spins in diamond are powerful magnetic field sensors, but their sensitivity in the microwave regime is limited to a narrow band around their resonance frequency. Here, we realize broadband microwave detection usi…
▽ More
Quantum sensing has developed into a main branch of quantum science and technology. It aims at measuring physical quantities with high resolution, sensitivity, and dynamic range. Electron spins in diamond are powerful magnetic field sensors, but their sensitivity in the microwave regime is limited to a narrow band around their resonance frequency. Here, we realize broadband microwave detection using spins in diamond interfaced with a thin-film magnet. A pump field locally converts target microwave signals to the sensor-spin frequency via the non-linear spin-wave dynamics of the magnet. Two complementary conversion protocols enable sensing and high-fidelity spin control over a gigahertz bandwidth, allowing characterization of the spin-wave band at multiple gigahertz above the sensor-spin frequency. The pump-tunable, hybrid diamond-magnet sensor chip opens the way for spin-based sensing in the 100-gigahertz regime at small magnetic bias fields.
△ Less
Submitted 14 June, 2022;
originally announced June 2022.
-
Modular Design Patterns for Hybrid Actors
Authors:
André Meyer-Vitali,
Wico Mulder,
Maaike H. T. de Boer
Abstract:
Recently, a boxology (graphical language) with design patterns for hybrid AI was proposed, combining symbolic and sub-symbolic learning and reasoning. In this paper, we extend this boxology with actors and their interactions. The main contributions of this paper are: 1) an extension of the taxonomy to describe distributed hybrid AI systems with actors and interactions; and 2) showing examples usin…
▽ More
Recently, a boxology (graphical language) with design patterns for hybrid AI was proposed, combining symbolic and sub-symbolic learning and reasoning. In this paper, we extend this boxology with actors and their interactions. The main contributions of this paper are: 1) an extension of the taxonomy to describe distributed hybrid AI systems with actors and interactions; and 2) showing examples using a few design patterns relevant in multi-agent systems and human-agent interaction.
△ Less
Submitted 9 November, 2021; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Spatial polarization modulators: distinguishing diffraction effects from spatial polarization modulation
Authors:
Willeke Mulder,
David S. Doelman,
Christoph U. Keller,
C. H. Lucas Patty,
Frans Snik
Abstract:
Are we alone? In our quest to find life beyond Earth, we use our own planet to develop and verify new methods and techniques to remotely detect life. Our Life Signature Detection polarimeter (LSDpol), a snapshot full-Stokes spectropolarimeter to be deployed in the field and in space, looks for signals of life on Earth by sensing the linear and circular polarization states of reflected light. Examp…
▽ More
Are we alone? In our quest to find life beyond Earth, we use our own planet to develop and verify new methods and techniques to remotely detect life. Our Life Signature Detection polarimeter (LSDpol), a snapshot full-Stokes spectropolarimeter to be deployed in the field and in space, looks for signals of life on Earth by sensing the linear and circular polarization states of reflected light. Examples of these biosignatures are linear polarization resulting from O2-A band and vegetation, e.g. the Red edge and the Green bump, as well as circular polarization resulting from the homochirality of biotic molecules. LSDpol is optimized for sensing circular polarization. To this end, LSDpol employs a spatial light modulator in the entrance slit of the spectrograph, a liquid-crystal quarter-wave retarder where the fast axis rotates as a function of slit position. The original design of LSDpol implemented a dual-beam spectropolarimeter by combining a quarter-wave plate with a polarization grating. Unfortunately, this design causes significant linear-to-circular cross-talk. In addition, it revealed spurious polarization modulation effects. Here, we present numerical simulations that illustrate how Fresnel diffraction effects can create these spurious modulations. We verified the simulations with accurate polarization state measurements in the lab using 100% linearly and circularly polarized light.
△ Less
Submitted 5 August, 2021;
originally announced August 2021.
-
Biosignatures of the Earth I. Airborne spectropolarimetric detection of photosynthetic life
Authors:
C. H. Lucas Patty,
Jonas G. Kühn,
Petar H. Lambrev,
Stefano Spadaccia,
H. Jens Hoeijmakers,
Christoph Keller,
Willeke Mulder,
Vidhya Pallichadath,
Olivier Poch,
Frans Snik,
Daphne M. Stam,
Antoine Pommerol,
Brice O. Demory
Abstract:
Context. Homochirality is a generic and unique property of life on Earth and is considered a universal and agnostic biosignature. Homochirality induces fractional circular polarization in the incident light that it reflects. Because this circularly polarized light can be sensed remotely, it can be one of the most compelling candidate biosignatures in life detection missions. While there are also o…
▽ More
Context. Homochirality is a generic and unique property of life on Earth and is considered a universal and agnostic biosignature. Homochirality induces fractional circular polarization in the incident light that it reflects. Because this circularly polarized light can be sensed remotely, it can be one of the most compelling candidate biosignatures in life detection missions. While there are also other sources of circular polarization, these result in spectrally flat signals with lower magnitude. Additionally, circular polarization can be a valuable tool in Earth remote sensing because the circular polarization signal directly relates to vegetation physiology. Aims. While high-quality circular polarization measurements can be obtained in the laboratory and under semi-static conditions in the field, there has been a significant gap to more realistic remote sensing conditions. Methods. In this study, we present sensitive circular spectropolarimetric measurements of various landscape elements taken from a fast-moving helicopter. Results. We demonstrate that during flight, within mere seconds of measurements, we can differentiate (S/N>5) between grass fields, forests, and abiotic urban areas. Importantly, we show that with only nonzero circular polarization as a discriminant, photosynthetic organisms can even be measured in lakes. Conclusions. Circular spectropolarimetry can be a powerful technique to detect life beyond Earth, and we emphasize the potential of utilizing circular spectropolarimetry as a remote sensing tool to characterize and monitor in detail the vegetation physiology and terrain features of Earth itself.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Efficient quadrature rules for computing the stiffness matrices of mass-lumped tetrahedral elements for linear wave problems
Authors:
S. Geevers,
W. A. Mulder,
J. J. W. van der Vegt
Abstract:
We present new and efficient quadrature rules for computing the stiffness matrices of mass-lumped tetrahedral elements for wave propagation modelling. These quadrature rules allow for a more efficient implementation of the mass-lumped finite element method and can handle materials that are heterogeneous within the element without loss of the convergence rate. The quadrature rules are designed for…
▽ More
We present new and efficient quadrature rules for computing the stiffness matrices of mass-lumped tetrahedral elements for wave propagation modelling. These quadrature rules allow for a more efficient implementation of the mass-lumped finite element method and can handle materials that are heterogeneous within the element without loss of the convergence rate. The quadrature rules are designed for the specific function spaces of recently developed mass-lumped tetrahedra, which consist of standard polynomial function spaces enriched with higher-degree bubble functions. For the degree-2 mass-lumped tetrahedron, the most efficient quadrature rule seems to be an existing 14-point quadrature rule, but for tetrahedra of degrees 3 and 4, we construct new quadrature rules that require less integration points than those currently available in the literature. Several numerical examples confirm that this approach is more efficient than computing the stiffness matrix exactly and that an optimal order of convergence is maintained, even when material properties vary within the element.
△ Less
Submitted 24 May, 2019;
originally announced May 2019.
-
A parameterization analysis for acoustic full-waveform inversion of sub-wavelength anomalies
Authors:
Pawan Bharadwaj,
Wim Mulder,
Guy Drijkoningen
Abstract:
In the case of multi-parameter full-waveform inversion, the computation of the additional Hessian terms that contain derivatives with respect to more than one type of parameter is necessary. If a simple gradient-based minimization is used, different choices of parameterization can be interpreted as different preconditioners that change the condition number of the Hessian. If the non-linear inverse…
▽ More
In the case of multi-parameter full-waveform inversion, the computation of the additional Hessian terms that contain derivatives with respect to more than one type of parameter is necessary. If a simple gradient-based minimization is used, different choices of parameterization can be interpreted as different preconditioners that change the condition number of the Hessian. If the non-linear inverse problem is well-posed, then the inversion should converge to a band-limited version of the true solution irrespective of the parameterization choice, provided we start sufficiently close to the global minimum. However, the choice of parameterization will affect the rate of convergence to the exact solution and the best choice of parameterization is the one with the fastest rate. In this paper, we search for the best choice for acoustic multi-parameter full-waveform inversion, where 1. anomalies with a size less than a quarter of the dominant wavelength have to be estimated without the risk of converging to a local minimum; 2. the scattered wavefield is recorded at all the scattering angles; 3. a steepest-descent minimization scheme is used. Our examples suggest that the best choice of parameterization depends on the contrast of the subsurface scatterer that the inversion tries to estimate. Based on the results, we observe that there is no best parameterization choice for full-waveform inversion. We also observe that a parameterization using the acoustic impedance and mass density has the worst convergence rate. Finally, we also show that the parameterization analysis during a hierarchical inversion, where the data have limited scattering angles, only helps to select a subspace for mono-parameter inversion. For multi-parameter hierarchical inversion, the search for the best parameterization in terms of the convergence speed might be obfuscated by non-uniqueness problems.
△ Less
Submitted 3 April, 2018;
originally announced April 2018.
-
New Higher-Order Mass-Lumped Tetrahedral Elements for Wave Propagation Modelling
Authors:
S. Geevers,
W. A. Mulder,
J. J. W. van der Vegt
Abstract:
We present a new accuracy condition for the construction of continuous mass-lumped elements. This condition is less restrictive than the one currently used and enabled us to construct new mass-lumped tetrahedral elements of degrees 2 to 4. The new degree-2 and degree-3 tetrahedral elements require 15 and 32 nodes per element, respectively, while currently, these elements require 23 and 50 nodes, r…
▽ More
We present a new accuracy condition for the construction of continuous mass-lumped elements. This condition is less restrictive than the one currently used and enabled us to construct new mass-lumped tetrahedral elements of degrees 2 to 4. The new degree-2 and degree-3 tetrahedral elements require 15 and 32 nodes per element, respectively, while currently, these elements require 23 and 50 nodes, respectively. The new degree-4 elements require 60, 61 or 65 nodes per element. Tetrahedral elements of this degree had not been found yet. We prove that our accuracy condition results in a mass-lumped finite element method that converges with optimal order in the $L^2$-norm and energy-norm. A dispersion analysis and several numerical tests confirm that our elements maintain the optimal order of accuracy and show that the new mass-lumped tetrahedral elements are more efficient than the current ones.
△ Less
Submitted 6 July, 2018; v1 submitted 27 March, 2018;
originally announced March 2018.
-
Dispersion Properties of Explicit Finite Element Methods for Wave Propagation Modelling on Tetrahedral Meshes
Authors:
S. Geevers,
W. A. Mulder,
J. J. W. van der Vegt
Abstract:
We analyse the dispersion properties of two types of explicit finite element methods for modelling acoustic and elastic wave propagation on tetrahedral meshes, namely mass-lumped finite element methods and symmetric interior penalty discontinuous Galerkin methods, both combined with a suitable Lax--Wendroff time integration scheme. The dispersion properties are obtained semi-analytically using sta…
▽ More
We analyse the dispersion properties of two types of explicit finite element methods for modelling acoustic and elastic wave propagation on tetrahedral meshes, namely mass-lumped finite element methods and symmetric interior penalty discontinuous Galerkin methods, both combined with a suitable Lax--Wendroff time integration scheme. The dispersion properties are obtained semi-analytically using standard Fourier analysis. Based on the dispersion analysis, we give an indication of which method is the most efficient for a given accuracy, how many elements per wavelength are required for a given accuracy, and how sensitive the accuracy of the method is to poorly shaped elements.
△ Less
Submitted 6 July, 2018; v1 submitted 28 February, 2018;
originally announced February 2018.
-
Salt Reconstruction in Full Waveform Inversion with a Parametric Level-Set Method
Authors:
A**kya Kadu,
Tristan van Leeuwen,
Wim A. Mulder
Abstract:
Seismic full-waveform inversion tries to estimate subsurface medium parameters from seismic data. Areas with subsurface salt bodies are of particular interest because they often have hydrocarbon reservoirs on their sides or underneath. Accurate reconstruction of their geometry is a challenge for current techniques. This paper presents a parametric level-set method for the reconstruction of salt-bo…
▽ More
Seismic full-waveform inversion tries to estimate subsurface medium parameters from seismic data. Areas with subsurface salt bodies are of particular interest because they often have hydrocarbon reservoirs on their sides or underneath. Accurate reconstruction of their geometry is a challenge for current techniques. This paper presents a parametric level-set method for the reconstruction of salt-bodies in seismic full-waveform inversion. We split the subsurface model in two parts: a background velocity model and the salt body with known velocity but undetermined shape. The salt geometry is represented by a level-set function that evolves during the inversion. We choose radial basis functions to represent the level-set function, leading to an optimization problem with a modest number of parameters. A common problem with level-set methods is to fine tune the width of the level-set boundary for optimal sensitivity. We propose a robust algorithm that dynamically adapts the width of the level-set boundary to ensure faster convergence. Tests on a suite of idealized salt geometries show that the proposed method is stable against a modest amount of noise. We also extend the method to joint inversion of both the background velocity model and the salt-geometry.
△ Less
Submitted 22 December, 2020; v1 submitted 2 October, 2016;
originally announced October 2016.
-
Nodal Discontinuous Galerkin Simulations for Reverse-Time Migration on GPU Clusters
Authors:
Axel Modave,
Amik St-Cyr,
Wim A. Mulder,
Tim Warburton
Abstract:
Improving both accuracy and computational performance of numerical tools is a major challenge for seismic imaging and generally requires specialized implementations to make full use of modern parallel architectures. We present a computational strategy for reverse-time migration (RTM) with accelerator-aided clusters. A new imaging condition computed from the pressure and velocity fields is introduc…
▽ More
Improving both accuracy and computational performance of numerical tools is a major challenge for seismic imaging and generally requires specialized implementations to make full use of modern parallel architectures. We present a computational strategy for reverse-time migration (RTM) with accelerator-aided clusters. A new imaging condition computed from the pressure and velocity fields is introduced. The model solver is based on a high-order discontinuous Galerkin time-domain (DGTD) method for the pressure-velocity system with unstructured meshes and multi-rate local time-step**. We adopted the MPI+X approach for distributed programming where X is a threaded programming model. In this work we chose OCCA, a unified framework that makes use of major multi-threading languages (e.g. CUDA and OpenCL) and offers the flexibility to run on several hardware architectures. DGTD schemes are suitable for efficient computations with accelerators thanks to localized element-to-element coupling and the dense algebraic operations required for each element. Moreover, compared to high-order finite-difference schemes, the thin halo inherent to DGTD method reduces the amount of data to be exchanged between MPI processes and storage requirements for RTM procedures. The amount of data to be recorded during simulation is reduced by storing only boundary values in memory rather than on disk and recreating the forward wavefields. Computational results are presented that indicate that these methods are strong scalable up to at least 32 GPUs for a three-dimensional RTM case.
△ Less
Submitted 17 June, 2015; v1 submitted 2 June, 2015;
originally announced June 2015.
-
A Moving Least Squares Based Approach for Contour Visualization of Multi-Dimensional Data
Authors:
Chris W. Muelder,
Nick Leaf,
Carmen Sigovan,
Kwan-Liu Ma
Abstract:
Analysis of high dimensional data is a common task. Often, small multiples are used to visualize 1 or 2 dimensions at a time, such as in a scatterplot matrix. Associating data points between different views can be difficult though, as the points are not fixed. Other times, dimensional reduction techniques are employed to summarize the whole dataset in one image, but individual dimensions are lost…
▽ More
Analysis of high dimensional data is a common task. Often, small multiples are used to visualize 1 or 2 dimensions at a time, such as in a scatterplot matrix. Associating data points between different views can be difficult though, as the points are not fixed. Other times, dimensional reduction techniques are employed to summarize the whole dataset in one image, but individual dimensions are lost in this view. In this paper, we present a means of augmenting a dimensional reduction plot with isocontours to reintroduce the original dimensions. By applying this to each dimension in the original data, we create multiple views where the points are consistent, which facilitates their comparison. Our approach employs a combination of a novel, graph-based projection technique with a GPU accelerated implementation of moving least squares to interpolate space between the points. We also present evaluations of this approach both with a case study and with a user study.
△ Less
Submitted 4 August, 2014;
originally announced August 2014.
-
On the distribution of interspecies correlation for Markov models of character evolution on Yule trees
Authors:
Willem H. Mulder,
Forrest W. Crawford
Abstract:
Efforts to reconstruct phylogenetic trees and understand evolutionary processes depend fundamentally on stochastic models of speciation and mutation. The simplest continuous-time model for speciation in phylogenetic trees is the Yule process, in which new species are "born" from existing lineages at a constant rate. Recent work has illuminated some of the structural properties of Yule trees, but i…
▽ More
Efforts to reconstruct phylogenetic trees and understand evolutionary processes depend fundamentally on stochastic models of speciation and mutation. The simplest continuous-time model for speciation in phylogenetic trees is the Yule process, in which new species are "born" from existing lineages at a constant rate. Recent work has illuminated some of the structural properties of Yule trees, but it remains mostly unknown how these properties affect sequence and trait patterns observed at the tips of the phylogenetic tree. Understanding the interplay between speciation and mutation under simple models of evolution is essential for deriving valid phylogenetic inference methods and gives insight into the optimal design of phylogenetic studies. In this work, we derive the probability distribution of interspecies covariance under Brownian motion and Ornstein-Uhlenbeck models of phenotypic change on a Yule tree. We compute the probability distribution of the number of mutations shared between two randomly chosen taxa in a Yule tree under discrete Markov mutation models. Our results suggest summary measures of phylogenetic information content, illuminate the correlation between site patterns in sequences or traits of related organisms, and provide heuristics for experimental design and reconstruction of phylogenetic trees.
△ Less
Submitted 15 August, 2014; v1 submitted 17 March, 2014;
originally announced March 2014.
-
Map** Dynamic Histone Acetylation Patterns to Gene Expression in Nanog-depleted Murine Embryonic Stem Cells
Authors:
Florian Markowetz,
Klaas W Mulder,
Edoardo M Airoldi,
Ihor R Lemischka,
Olga G Troyanskaya
Abstract:
Embryonic stem cells (ESC) have the potential to self-renew indefinitely and to differentiate into any of the three germ layers. The molecular mechanisms for self-renewal, maintenance of pluripotency and lineage specification are poorly understood, but recent results point to a key role for epigenetic mechanisms. In this study, we focus on quantifying the impact of histone 3 acetylation (H3K9,14ac…
▽ More
Embryonic stem cells (ESC) have the potential to self-renew indefinitely and to differentiate into any of the three germ layers. The molecular mechanisms for self-renewal, maintenance of pluripotency and lineage specification are poorly understood, but recent results point to a key role for epigenetic mechanisms. In this study, we focus on quantifying the impact of histone 3 acetylation (H3K9,14ac) on gene expression in murine embryonic stem cells. We analyze genome-wide histone acetylation patterns and gene expression profiles measured over the first five days of cell differentiation triggered by silencing Nanog, a key transcription factor in ESC regulation. We explore the temporal and spatial dynamics of histone acetylation data and its correlation with gene expression using supervised and unsupervised statistical models. On a genome-wide scale, changes in acetylation are significantly correlated to changes in mRNA expression and, surprisingly, this coherence increases over time. We quantify the predictive power of histone acetylation for gene expression changes in a balanced cross-validation procedure. In an in-depth study we focus on genes central to the regulatory network of Mouse ESC, including those identified in a recent genome-wide RNAi screen and in the PluriNet, a computationally derived stem cell signature. We find that compared to the rest of the genome, ESC-specific genes show significantly more acetylation signal and a much stronger decrease in acetylation over time, which is often not reflected in an concordant expression change. These results shed light on the complexity of the relationship between histone acetylation and gene expression and are a step forward to dissect the multilayer regulatory mechanisms that determine stem cell fate.
△ Less
Submitted 15 October, 2010;
originally announced October 2010.