-
Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
Authors:
Desmond Lau
Abstract:
We develop a forcing framework based on the idea of amalgamating language fragments into a theory with a canonical Henkin model. We then demonstrate the usefulness of this framework by applying it to both the extended Namba problem and the analysis of models of certain theories with constraints in interpretation (TCIs). The foundations for a theory of TCIs and their models are laid in parallel to…
▽ More
We develop a forcing framework based on the idea of amalgamating language fragments into a theory with a canonical Henkin model. We then demonstrate the usefulness of this framework by applying it to both the extended Namba problem and the analysis of models of certain theories with constraints in interpretation (TCIs). The foundations for a theory of TCIs and their models are laid in parallel to the development of our framework, and are of independent interest.
△ Less
Submitted 25 March, 2024; v1 submitted 2 February, 2024;
originally announced February 2024.
-
Forecasting insect abundance using time series embedding and machine learning
Authors:
Gabriel R. Palma,
Rodrigo F. Mello,
Wesley A. C. Godoy,
Eduardo Engel,
Douglas Lau,
Charles Markham,
Rafael A. Moral
Abstract:
Implementing insect monitoring systems provides an excellent opportunity to create accurate interventions for insect control. However, selecting the appropriate time for an intervention is still an open question due to the inherent difficulty of implementing on-site monitoring in real-time. This decision is even more critical with insect species that can abruptly increase population size. A possib…
▽ More
Implementing insect monitoring systems provides an excellent opportunity to create accurate interventions for insect control. However, selecting the appropriate time for an intervention is still an open question due to the inherent difficulty of implementing on-site monitoring in real-time. This decision is even more critical with insect species that can abruptly increase population size. A possible solution to enhance decision-making is to apply forecasting methods to predict insect abundance. However, another layer of complexity is added when other covariates are considered in the forecasting, such as climate time series collected along the monitoring system. Multiple possible combinations of climate time series and their lags can be used to build a forecasting method. Therefore, this research paper proposes a new approach to address this problem by combining statistics, machine learning, and time series embedding. We used two datasets containing a time series of aphids and climate data collected weekly in Coxilha and Passo Fundo municipalities in Southern Brazil for eight years. We conduct a simulation study based on a probabilistic autoregressive model with exogenous time series based on Poisson and negative binomial distributions to check the influence of incorporating climate time series on the performance of our approach. We pre-processed the data using our newly proposed approach and more straightforward approaches commonly used to train machine learning algorithms in time series problems. We evaluate the performance of the selected machine algorithms by looking at the Root Mean Squared Error obtained using one-step-ahead forecasting. Based on Random Forests, Lasso-regularised linear regression, and LightGBM regression algorithms, our novel approach yields competitive forecasts while automatically selecting insect abundances, climate time series and their lags to aid forecasting.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Pattern-Based Prediction of Population Outbreaks
Authors:
Gabriel R. Palma,
Wesley A. C. Godoy,
Eduardo Engel,
Douglas Lau,
Edgar Galvan,
Oliver Mason,
Charles Markham,
Rafael A. Moral
Abstract:
Insect outbreaks are biotic disturbances in forests and agroecosystems that cause economic and ecological damage. This phenomenon depends on a variety of biological and physical factors. The complexity and practical importance of the issue have made the problem of predicting outbreaks a focus of recent research. Here, we propose the Pattern-Based Prediction (PBP) method for predicting population o…
▽ More
Insect outbreaks are biotic disturbances in forests and agroecosystems that cause economic and ecological damage. This phenomenon depends on a variety of biological and physical factors. The complexity and practical importance of the issue have made the problem of predicting outbreaks a focus of recent research. Here, we propose the Pattern-Based Prediction (PBP) method for predicting population outbreaks. It is based on the Alert Zone Procedure, combined with elements from machine learning. It uses information on previous time series values that precede an outbreak event as predictors of future outbreaks, which can be useful when monitoring pest species. We illustrate the methodology using simulated datasets and real time series data obtained by monitoring aphids in wheat crops in Southern Brazil. We obtained an average test accuracy of $84.6\%$ in the simulation studies implemented with stochastic models, and $95.0\%$ for predicting outbreaks using the real dataset. This shows the feasibility of the PBP method in predicting outbreaks in population dynamics. We benchmarked our results against established state-of-the-art machine learning methods, namely Support Vector Machines, Deep Neural Networks, Long Short Term Memory and Random Forests. The PBP method yielded a competitive performance, associated with higher true-positive rates in most comparisons, while being able to provide interpretability rather than being a black-box method. This is an improvement over current state-of-the-art machine learning tools, especially when being used by non-specialists, such as ecologists aiming to use a quantitative approach for pest monitoring. We provide open-source code to implement the PBP method in Python, through the \texttt{pypbp} package, which may be directly downloaded from the Python Package Index server or accessed through \url{https://pypbp-documentation.readthedocs.io}
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Why-So-Deep: Towards Boosting Previously Trained Models for Visual Place Recognition
Authors:
M. Usman Maqbool Bhutta,
Yuxiang Sun,
Darwin Lau,
Ming Liu
Abstract:
Deep learning-based image retrieval techniques for the loop closure detection demonstrate satisfactory performance. However, it is still challenging to achieve high-level performance based on previously trained models in different geographical regions. This paper addresses the problem of their deployment with simultaneous localization and map** (SLAM) systems in the new environment. The general…
▽ More
Deep learning-based image retrieval techniques for the loop closure detection demonstrate satisfactory performance. However, it is still challenging to achieve high-level performance based on previously trained models in different geographical regions. This paper addresses the problem of their deployment with simultaneous localization and map** (SLAM) systems in the new environment. The general baseline approach uses additional information, such as GPS, sequential keyframes tracking, and re-training the whole environment to enhance the recall rate. We propose a novel approach for improving image retrieval based on previously trained models. We present an intelligent method, MAQBOOL, to amplify the power of pre-trained models for better image recall and its application to real-time multiagent SLAM systems. We achieve comparable image retrieval results at a low descriptor dimension (512-D), compared to the high descriptor dimension (4096-D) of state-of-the-art methods. We use spatial information to improve the recall rate in image retrieval on pre-trained models.
△ Less
Submitted 10 January, 2022;
originally announced January 2022.
-
Fast High-Quality Tabletop Rearrangement in Bounded Workspace
Authors:
Kai Gao,
Darren Lau,
Baichuan Huang,
Kostas E. Bekris,
**g** Yu
Abstract:
In this paper, we examine the problem of rearranging many objects on a tabletop in a cluttered setting using overhand grasps. Efficient solutions for the problem, which capture a common task that we solve on a daily basis, are essential in enabling truly intelligent robotic manipulation. In a given instance, objects may need to be placed at temporary positions ("buffers") to complete the rearrange…
▽ More
In this paper, we examine the problem of rearranging many objects on a tabletop in a cluttered setting using overhand grasps. Efficient solutions for the problem, which capture a common task that we solve on a daily basis, are essential in enabling truly intelligent robotic manipulation. In a given instance, objects may need to be placed at temporary positions ("buffers") to complete the rearrangement, but allocating these buffer locations can be highly challenging in a cluttered environment. To tackle the challenge, a two-step baseline planner is first developed, which generates a primitive plan based on inherent combinatorial constraints induced by start and goal poses of the objects and then selects buffer locations assisted by the primitive plan. We then employ the "lazy" planner in a tree search framework which is further sped up by adapting a novel preprocessing routine. Simulation experiments show our methods can quickly generate high-quality solutions and are more robust in solving large-scale instances than existing state-of-the-art approaches.
source:github.com/arc-l/TRLB
△ Less
Submitted 23 October, 2021;
originally announced October 2021.
-
Autonomous Navigation for Quadrupedal Robots with Optimized Jum** through Constrained Obstacles
Authors:
Scott Gilroy,
Derek Lau,
Lizhi Yang,
Ed Izaguirre,
Kristen Biermayer,
Anxing Xiao,
Mengti Sun,
Ayush Agrawal,
Jun Zeng,
Zhongyu Li,
Koushil Sreenath
Abstract:
Quadrupeds are strong candidates for navigating challenging environments because of their agile and dynamic designs. This paper presents a methodology that extends the range of exploration for quadrupedal robots by creating an end-to-end navigation framework that exploits walking and jum** modes. To obtain a dynamic jum** maneuver while avoiding obstacles, dynamically-feasible trajectories are…
▽ More
Quadrupeds are strong candidates for navigating challenging environments because of their agile and dynamic designs. This paper presents a methodology that extends the range of exploration for quadrupedal robots by creating an end-to-end navigation framework that exploits walking and jum** modes. To obtain a dynamic jum** maneuver while avoiding obstacles, dynamically-feasible trajectories are optimized offline through collocation-based optimization where safety constraints are imposed. Such optimization schematic allows the robot to jump through window-shaped obstacles by considering both obstacles in the air and on the ground. The resulted jum** mode is utilized in an autonomous navigation pipeline that leverages a search-based global planner and a local planner to enable the robot to reach the goal location by walking. A state machine together with a decision making strategy allows the system to switch behaviors between walking around obstacles or jum** through them. The proposed framework is experimentally deployed and validated on a quadrupedal robot, a Mini Cheetah, to enable the robot to autonomously navigate through an environment while avoiding obstacles and jum** over a maximum height of 13 cm to pass through a window-shaped opening in order to reach its goal.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Hybrid Metasurfaces for Simultaneous Focusing and Filtering
Authors:
Mansoor A. Sultan,
Fatih Balli,
Daniel L. Lau,
J. T. Hastings
Abstract:
This work presents the design and fabrication of simple, polymeric, structure-based optical filters that simultaneously focus light. These filters represent a novel design at the boundary between diffractive optics and metasurfaces that may provide significant advantages for both digital and hyperspectral imaging. The fabrication process for the proposed filters resembles 3D printing, and is based…
▽ More
This work presents the design and fabrication of simple, polymeric, structure-based optical filters that simultaneously focus light. These filters represent a novel design at the boundary between diffractive optics and metasurfaces that may provide significant advantages for both digital and hyperspectral imaging. The fabrication process for the proposed filters resembles 3D printing, and is based on direct laser writing of a polymeric material using two-photon lithography. In addition, printed structures could be used to create molds for nanoimprint replication and mass production. Filters for visible and near-infrared wavelengths were designed using finite difference time domain (FDTD) simulations.
△ Less
Submitted 20 September, 2020; v1 submitted 15 September, 2020;
originally announced September 2020.
-
Plateau Proposal Distributions for Adaptive Component-wise Multiple-Try Metropolis
Authors:
F. Din-Houn Lau,
Sebastian Krumscheid
Abstract:
Markov chain Monte Carlo (MCMC) methods are sampling methods that have become a commonly used tool in statistics, for example to perform Monte Carlo integration. As a consequence of the increase in computational power, many variations of MCMC methods exist for generating samples from arbitrary, possibly complex, target distributions. The performance of an MCMC method is predominately governed by t…
▽ More
Markov chain Monte Carlo (MCMC) methods are sampling methods that have become a commonly used tool in statistics, for example to perform Monte Carlo integration. As a consequence of the increase in computational power, many variations of MCMC methods exist for generating samples from arbitrary, possibly complex, target distributions. The performance of an MCMC method is predominately governed by the choice of the so-called proposal distribution used. In this paper, we introduce a new type of proposal distribution for the use in MCMC methods that operates component-wise and with multiple trials per iteration. Specifically, the novel class of proposal distributions, called Plateau distributions, do not overlap, thus ensuring that the multiple trials are drawn from different regions of the state space. Furthermore, the Plateau proposal distributions allow for a bespoke adaptation procedure that lends itself to a Markov chain with efficient problem dependent state space exploration and improved burn-in properties. Simulation studies show that our novel MCMC algorithm outperforms competitors when sampling from distributions with a complex shape, highly correlated components or multiple modes.
△ Less
Submitted 10 June, 2021; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Modeling and Forecasting Art Movements with CGANs
Authors:
Edoardo Lisi,
Mohammad Malekzadeh,
Hamed Haddadi,
F. Din-Houn Lau,
Seth Flaxman
Abstract:
Conditional Generative Adversarial Networks~(CGAN) are a recent and popular method for generating samples from a probability distribution conditioned on latent information. The latent information often comes in the form of a discrete label from a small set. We propose a novel method for training CGANs which allows us to condition on a sequence of continuous latent distributions…
▽ More
Conditional Generative Adversarial Networks~(CGAN) are a recent and popular method for generating samples from a probability distribution conditioned on latent information. The latent information often comes in the form of a discrete label from a small set. We propose a novel method for training CGANs which allows us to condition on a sequence of continuous latent distributions $f^{(1)}, \ldots, f^{(K)}$. This training allows CGANs to generate samples from a sequence of distributions. We apply our method to paintings from a sequence of artistic movements, where each movement is considered to be its own distribution. Exploiting the temporal aspect of the data, a vector autoregressive (VAR) model is fitted to the means of the latent distributions that we learn, and used for one-step-ahead forecasting, to predict the latent distribution of a future art movement $f^{(K+1)}$. Realisations from this distribution can be used by the CGAN to generate "future" paintings. In experiments, this novel methodology generates accurate predictions of the evolution of art. The training set consists of a large dataset of past paintings. While there is no agreement on exactly what current art period we find ourselves in, we test on plausible candidate sets of present art, and show that the mean distance to our predictions is small.
△ Less
Submitted 18 March, 2020; v1 submitted 21 June, 2019;
originally announced June 2019.
-
A streaming feature-based compression method for data from instrumented infrastructure
Authors:
Alastair Gregory,
Din-Houn Lau,
Alex Tessier,
Pan Zhang
Abstract:
An increasing amount of civil engineering applications are utilising data acquired from infrastructure instrumented with sensing devices. This data has an important role in monitoring the response of these structures to excitation, and evaluating structural health. In this paper we seek to monitor pedestrian-events (such as a person walking) on a footbridge using strain and acceleration data. The…
▽ More
An increasing amount of civil engineering applications are utilising data acquired from infrastructure instrumented with sensing devices. This data has an important role in monitoring the response of these structures to excitation, and evaluating structural health. In this paper we seek to monitor pedestrian-events (such as a person walking) on a footbridge using strain and acceleration data. The rate of this data acquisition and the number of sensing devices make the storage and analysis of this data a computational challenge. We introduce a streaming method to compress the sensor data, whilst preserving key patterns and features (unique to different sensor types) corresponding to pedestrian-events. Numerical demonstrations of the methodology on data obtained from strain sensors and accelerometers on the pedestrian footbridge are provided to show the trade-off between compression and accuracy during and in-between periods of pedestrian-events.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
-
Blue-Noise Sampling on Graphs
Authors:
Alejandro Parada-Mayorga,
Daniel L. Lau,
Jhony H. Giraldo,
Gonzalo R. Arce
Abstract:
In the area of graph signal processing, a graph is a set of nodes arbitrarily connected by weighted links; a graph signal is a set of scalar values associated with each node; and sampling is the problem of selecting an optimal subset of nodes from which a graph signal can be reconstructed. This paper proposes the use of spatial dithering on the vertex domain of the graph, as a way to conveniently…
▽ More
In the area of graph signal processing, a graph is a set of nodes arbitrarily connected by weighted links; a graph signal is a set of scalar values associated with each node; and sampling is the problem of selecting an optimal subset of nodes from which a graph signal can be reconstructed. This paper proposes the use of spatial dithering on the vertex domain of the graph, as a way to conveniently find statistically good sampling sets. This is done establishing that there is a family of good sampling sets characterized on the vertex domain by a maximization of the distance between sampling nodes; in the Fourier domain, these are characterized by spectrums that are dominated by high frequencies referred to as blue-noise. The theoretical connection between blue-noise sampling on graphs and previous results in graph signal processing is also established, explaining the advantages of the proposed approach. Restricting our analysis to undirected and connected graphs, numerical tests are performed in order to compare the effectiveness of blue-noise sampling against other approaches.
△ Less
Submitted 23 May, 2019; v1 submitted 29 November, 2018;
originally announced November 2018.
-
The synthesis of data from instrumented structures and physics-based models via Gaussian processes
Authors:
Alastair Gregory,
Din-Houn Lau,
Mark Girolami,
Liam Butler,
Mohammed Elshafie
Abstract:
A recent development which is poised to disrupt current structural engineering practice is the use of data obtained from physical structures such as bridges, viaducts and buildings. These data can represent how the structure responds to various stimuli over time when in operation, providing engineers with a unique insight into how their designs are performing. With the advent of advanced sensing t…
▽ More
A recent development which is poised to disrupt current structural engineering practice is the use of data obtained from physical structures such as bridges, viaducts and buildings. These data can represent how the structure responds to various stimuli over time when in operation, providing engineers with a unique insight into how their designs are performing. With the advent of advanced sensing technologies and the Internet of Things, the efficient interpretation of structural health monitoring data has become a big data challenge. Many models have been proposed in literature to represent such data, such as linear statistical models. Based upon these models, the health of the structure is reasoned about, e.g. through damage indices, changes in likelihood and statistical parameter estimates. On the other hand, physics-based models are typically used when designing structures to predict how the structure will respond to operational stimuli. What remains unclear in the literature is how to combine the observed data with information from the idealised physics-based model into a model that describes the responses of the operational structure. This paper introduces a new approach which fuses together observed data from a physical structure during operation and information from a mathematical model. The observed data are combined with data simulated from the physics-based model using a multi-output Gaussian process formulation. The novelty of this method is how the information from observed data and the physics-based model is balanced to obtain a representative model of the structures response to stimuli. We present our method using data obtained from a fibre-optic sensor network installed on experimental railway sleepers. We discuss how this approach can be used to reason about changes in the structures behaviour over time using simulations and experimental data.
△ Less
Submitted 29 April, 2019; v1 submitted 27 November, 2018;
originally announced November 2018.
-
Lorentz TEM investigation of chiral spin textures and Néel Skyrmions in asymmetric [Pt/(Co/Ni)$_M$/Ir]$_N$ multi-layer thin films
Authors:
Maxwell Li,
Derek Lau,
Marc De Graef,
Vincent Sokalski
Abstract:
We examine magnetic domain patterns in symmetric [Co/Ni]$_M$ and asymmetric [Pt/(Co/Ni)$_M$/Ir]$_N$ multi-layers using Fresnel mode Lorentz transmission electron microscopy (LTEM). In the symmetric multi-layer, where the Dzyaloshinskii-Moriya Interaction is expected to be zero, we observe purely Bloch type domain walls with no preferred chirality. In the asymmetric multi-layers, where significant…
▽ More
We examine magnetic domain patterns in symmetric [Co/Ni]$_M$ and asymmetric [Pt/(Co/Ni)$_M$/Ir]$_N$ multi-layers using Fresnel mode Lorentz transmission electron microscopy (LTEM). In the symmetric multi-layer, where the Dzyaloshinskii-Moriya Interaction is expected to be zero, we observe purely Bloch type domain walls with no preferred chirality. In the asymmetric multi-layers, where significant interfacial DMI is present, we observe domain patterns with chiral Néel domain walls, which evolve into sub-100nm isolated Néel Skyrmions with the application of a perpendicular field. The impact of layer thickness and film stack on interfacial magnetic properties is discussed in the context of develo** a tunable multi-layer system for future spintronic applications.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
Disentangling factors governing Dzyaloshinskii domain wall creep in Co/Ni thin films using Pt$_x$Ir$_{1-x}$ seedlayers
Authors:
Derek Lau,
James Price Pellegren,
Hans Nembach,
Justin Shaw,
Vincent Sokalski
Abstract:
We characterize asymmetric growth of magnetic bubble domains in perpendicularly magnetized Co/Ni multi-layers grown on Pt$_x$Ir$_{1-x}$ seedlayers by application of perpendicular and in-plane magnetic fields. Using a refined model of domain wall creep that incorporates contributions from the anisotropic elastic energy, $\varepsilon$, and a chirality-dependent prefactor, $v_0$, we elucidate factors…
▽ More
We characterize asymmetric growth of magnetic bubble domains in perpendicularly magnetized Co/Ni multi-layers grown on Pt$_x$Ir$_{1-x}$ seedlayers by application of perpendicular and in-plane magnetic fields. Using a refined model of domain wall creep that incorporates contributions from the anisotropic elastic energy, $\varepsilon$, and a chirality-dependent prefactor, $v_0$, we elucidate factors that govern the mobility of Dzyaloshinskii domain walls as a function of seedlayer composition. The interfacial Dzyaloshinskii-Moriya Interaction magnitude is found to decrease monotonically with $x_{Ir}$, which is independently confirmed by Brillouin light scattering (BLS). Moreover, the persistence of significant asymmetry in velocity curves across the full composition range supports previous assertions that a chirality-dependent attempt frequency akin to chiral dam** could play a critical role in the observed trends. This work helps resolve fundamental questions about the factors governing Dzyaloshinskii DW creep and demonstrates varying Pt-Ir seedlayer composition as a method to tune DMI.
△ Less
Submitted 16 August, 2018;
originally announced August 2018.
-
A Quantile-Based Approach to Modelling Recovery Time in Structural Health Monitoring
Authors:
Alastair Gregory,
F. Din-Houn Lau,
Liam Butler
Abstract:
Statistical techniques play a large role in the structural health monitoring of instrumented infrastructure, such as a railway bridge constructed with an integrated network of fibre optic sensors. One possible way to reason about the structural health of such a railway bridge, is to model the time it takes to recover to a no-load (baseline) state after a train passes over. Inherently, this recover…
▽ More
Statistical techniques play a large role in the structural health monitoring of instrumented infrastructure, such as a railway bridge constructed with an integrated network of fibre optic sensors. One possible way to reason about the structural health of such a railway bridge, is to model the time it takes to recover to a no-load (baseline) state after a train passes over. Inherently, this recovery time is random and should be modelled statistically. This paper uses a non-parametric model, based on empirical quantile approximations, to construct a space-memory efficient baseline distribution for the streaming data from these sensors. A fast statistical test is implemented to detect deviations away from, and recovery back to, this distribution when trains pass over the bridge, yielding a recovery time. Our method assumes that there are no temporal variations in the data. A median-based detrending scheme is used to remove the temporal variations likely due to temperature changes. This allows for the continuous recording of sensor data with a space-memory constraint.
△ Less
Submitted 22 March, 2018;
originally announced March 2018.
-
Causes and Corrections for Bimodal Multipath Scanning with Structured Light
Authors:
Yu Zhang,
Daniel L. Lau,
Ying Yu
Abstract:
Structured light illumination is an active 3-D scanning technique based on projecting/capturing a set of striped patterns and measuring the war** of the patterns as they reflect off a target object's surface. As designed, each pixel in the camera sees exactly one pixel from the projector; however, there are exceptions to this when the scanned surface has a complicated geometry with step edges an…
▽ More
Structured light illumination is an active 3-D scanning technique based on projecting/capturing a set of striped patterns and measuring the war** of the patterns as they reflect off a target object's surface. As designed, each pixel in the camera sees exactly one pixel from the projector; however, there are exceptions to this when the scanned surface has a complicated geometry with step edges and other discontinuities in depth or where the target surface has specularities that reflect light away from the camera. These situations are generally referred to multipath where a given camera pixel receives light from multiple positions from the projector. In the case of bimodal multipath, the camera pixel receives light from exactly two positions from the projector which occurs when light bounce back from a reflective surface or along a step edge where the edge slices through a pixel so that the pixel sees both a foreground and background surface. In this paper, we present a general mathematical model and address the bimodal multipath issue in a phase measuring profilometry scanner to measure the constructive and destructive interference between the two light paths, and by taking advantage of this interesting cue, separate the paths and make two separated depth measurements. We also validate our algorithm with both simulation and a number of challenging real cases.
△ Less
Submitted 8 June, 2017;
originally announced June 2017.
-
Structured Light Phase Measuring Profilometry Pattern Design for Binary Spatial Light Modulators
Authors:
Daniel L. Lau,
Yu Zhang,
Kai Liu
Abstract:
Structured light illumination is an active 3-D scanning technique based on projecting/capturing a set of striped patterns and measuring the war** of the patterns as they reflect off a target object's surface. In the case of phase measuring profilometry (PMP), the projected patterns are composed of a rolling sinusoidal wave, but as a set of time-multiplexed patterns, PMP requires the target surfa…
▽ More
Structured light illumination is an active 3-D scanning technique based on projecting/capturing a set of striped patterns and measuring the war** of the patterns as they reflect off a target object's surface. In the case of phase measuring profilometry (PMP), the projected patterns are composed of a rolling sinusoidal wave, but as a set of time-multiplexed patterns, PMP requires the target surface to remain motionless or for scanning to be performed at such high rates that any movement is small. But high speed scanning places a significant burden on the projector electronics to produce contone patterns inside of short exposure intervals. Binary patterns are, therefore, of great value, but converting contone patterns into binary comes with significant risk. As such, this paper introduces a contone-to-binary conversion algorithm for deriving binary patterns that best mimic their contone counterparts. Experimental results will show a greater than 3 times reduction in pattern noise over traditional halftoning procedures.
△ Less
Submitted 8 June, 2017;
originally announced June 2017.
-
Magnetic field-induced enhancement of the nitrogen-vacancy fluorescence quantum yield
Authors:
M. Capelli,
P. Reineck,
D. W. M. Lau,
A. Orth,
J. Jeske,
M. W. Doherty,
T. Ohshima,
A. D. Greentree,
B. C. Gibson
Abstract:
The nitrogen-vacancy (NV) centre in diamond is a unique optical defect that is used in many applications today and methods to enhance its fluorescence brightness are highly sought after. We observed experimentally an enhancement of the NV quantum yield by up to 7% in bulk diamond caused by an external magnetic field relative to the field-free case. This observation is rationalised phenomenological…
▽ More
The nitrogen-vacancy (NV) centre in diamond is a unique optical defect that is used in many applications today and methods to enhance its fluorescence brightness are highly sought after. We observed experimentally an enhancement of the NV quantum yield by up to 7% in bulk diamond caused by an external magnetic field relative to the field-free case. This observation is rationalised phenomenologically in terms of a magnetic field dependence of the NV excited state triplet-to-singlet transition rate. The theoretical model is in good qualitative agreement with the experimental results at low excitation intensities. Our results significantly contribute to our fundamental understanding of the photophysical properties of the NV defect in diamond and may enable novel NV centre-based magnetometry techniques.
△ Less
Submitted 22 May, 2017;
originally announced May 2017.
-
Optical Cryocooling of Diamond
Authors:
M. Kern,
J. Jeske,
D. M. W. Lau,
A. D. Greentree,
F. Jelezko,
J. Twamley
Abstract:
The cooling of solids by optical means only using anti-Stokes emission has a long history of research and achievements. Such cooling methods have many advantages ranging from no-moving parts or fluids through to operation in vacuum and may have applications to cryosurgery. However achieving large optical cryocooling powers has been difficult to achieve except in certain rare-earth crystals. Throug…
▽ More
The cooling of solids by optical means only using anti-Stokes emission has a long history of research and achievements. Such cooling methods have many advantages ranging from no-moving parts or fluids through to operation in vacuum and may have applications to cryosurgery. However achieving large optical cryocooling powers has been difficult to achieve except in certain rare-earth crystals. Through study of the emission and absorption cross sections we find that diamond, containing either NV or SiV (Nitrogen or Silicon vacancy), defects shows potential for optical cryocooling and in particular, NV do** shows promise for optical refrigeration. We study the optical cooling of doped diamond microcrystals ranging 10-250 microns in diameter trapped either in vacuum or in water. For the vacuum case we find NV-doped microdiamond optical cooling below room temperature could exceed 10 Kelvin, for irradiation powers of P< 100 mW. We predict that such temperature changes should be easily observed via large alterations in the diffusion constant for optically cryocooled microdiamonds trapped in water in an optical tweezer or via spectroscopic signatures such as the ZPL width or Raman line.
△ Less
Submitted 30 January, 2017;
originally announced January 2017.
-
Dispersive Stiffness of Dzyaloshinskii Domain Walls
Authors:
Price Pellegren,
Derek Lau,
Vincent Sokalski
Abstract:
It is well documented that subjecting perpendicular magnetic films which exhibit the interfacial Dzyaloshinskii-Moriya interaction (DMI) to an in-plane magnetic field results in a domain wall (DW) energy, $σ$, that is highly anisotropic with respect to the orientation of the DW in the film plane, $Θ$. We demonstrate that this anisotropy has a profound impact on the elastic response of the DW as ch…
▽ More
It is well documented that subjecting perpendicular magnetic films which exhibit the interfacial Dzyaloshinskii-Moriya interaction (DMI) to an in-plane magnetic field results in a domain wall (DW) energy, $σ$, that is highly anisotropic with respect to the orientation of the DW in the film plane, $Θ$. We demonstrate that this anisotropy has a profound impact on the elastic response of the DW as characterized by the surface stiffness, $\tildeσ(Θ) = σ(Θ) + σ"(Θ)$, and evaluate its dependence on the length scale of deformation. The influence of the stiffness on DW mobility in the creep regime is assessed, with analytic and numerical calculations showing trends in $\tildeσ$ that better represent experimental measurements of domain wall velocity in magnetic thin films compared to $σ$ alone. Our treatment provides experimental support for theoretical models of the mobility of anisotropic elastic manifolds and makes progress toward a more complete understanding of magnetic domain wall creep.
△ Less
Submitted 12 June, 2017; v1 submitted 14 September, 2016;
originally announced September 2016.
-
Molecular Mechanics of Chitin-Protein Interface
Authors:
Zechuan Yu,
Denvid Lau
Abstract:
Chitin and protein are two main building blocks for many natural biomaterials. The interaction between chitin and protein critically determines the properties of the composite biological materials. As living organisms usually encounter complex ambient conditions like water, pH and ions are critical factors towards the structural integrity of biomaterials. It is therefore essential to study the chi…
▽ More
Chitin and protein are two main building blocks for many natural biomaterials. The interaction between chitin and protein critically determines the properties of the composite biological materials. As living organisms usually encounter complex ambient conditions like water, pH and ions are critical factors towards the structural integrity of biomaterials. It is therefore essential to study the chitin-protein interface under different environmental conditions. Here, an atomistic model consisting of a chitin substrate and a protein filament is constructed, which is regarded as a representative of the chitin-protein interface existing in many chitin-based biomaterials. Based on this model, the mechanical properties of chitin-protein interface under different moisture and pH values are investigated through molecular dynamics simulations. The results reveal a weakening effect of water towards the chitin-protein interface, as well as acidity, i.e. the protonated protein forms a stronger adhesion to chitin than that in the alkaline environment. In addition, the effect from side-chain of protein is studied and it is found that certain kinds of amino acid can form hydrophobic connections to chitin surface, which means that these peptides partly dodge the weakening effect of water. Our observation indicates that terminuses and side-chains in protein are of importance in forming interfacial hydrogen bonds. From our full atomistic models, we can observe some molecular mechanisms about how protein interacts with chitin in different conditions, which may spotlight the engineering on biomaterials with similar interfaces.
△ Less
Submitted 24 July, 2016; v1 submitted 12 July, 2016;
originally announced July 2016.
-
Energetic molding of chiral magnetic bubbles
Authors:
Derek Lau,
Vignesh Sundar,
Jian-Gang Zhu,
Vincent Sokalski
Abstract:
Topologically protected magnetic structures such as skyrmions and domain walls (DWs) have drawn a great deal of attention recently due to their thermal stability and potential for manipulation by spin current, which is the result of chiral magnetic configurations induced by the interfacial Dzyaloshinskii-Moriya Interaction (DMI). Designing devices that incorporate DMI necessitates a thorough under…
▽ More
Topologically protected magnetic structures such as skyrmions and domain walls (DWs) have drawn a great deal of attention recently due to their thermal stability and potential for manipulation by spin current, which is the result of chiral magnetic configurations induced by the interfacial Dzyaloshinskii-Moriya Interaction (DMI). Designing devices that incorporate DMI necessitates a thorough understanding of how the interaction presents and can be measured. One approach is to measure growth asymmetry of chiral bubble domains in perpendicularly magnetized thin films, which has been described elsewhere by thermally activated DW motion. Here, we demonstrate that the anisotropic angular dependence of DW energy originating from the DMI is critical to understanding this behavior. Domains in Co/Ni multi-layers are observed to preferentially grow into non-elliptical teardrop shapes, which vary with the magnitude of an applied in-plane field. We model the domain profile using energetic calculations of equilibrium shape via the Wulff construction, which explains both the teardrop shape and the reversal of growth symmetry at large fields.
△ Less
Submitted 25 May, 2016; v1 submitted 11 April, 2016;
originally announced April 2016.
-
Stimulated emission from NV centres in diamond
Authors:
Jan Jeske,
Desmond W. M. Lau,
Liam P. McGuinness,
Philip Reineck,
Brett C. Johnson,
Jeffrey C. McCallum,
Fedor Jelezko,
Thomas Volz,
Jared H. Cole,
Brant C. Gibson,
Andrew D. Greentree
Abstract:
Stimulated emission is the process fundamental to laser operation, thereby producing coherent photon output. Despite negatively-charged nitrogen-vacancy (NV$^-$) centres being discussed as a potential laser medium since the 1980's, there have been no definitive observations of stimulated emission from ensembles of NV$^-$ to date. Reasons for this lack of demonstration include the short excited sta…
▽ More
Stimulated emission is the process fundamental to laser operation, thereby producing coherent photon output. Despite negatively-charged nitrogen-vacancy (NV$^-$) centres being discussed as a potential laser medium since the 1980's, there have been no definitive observations of stimulated emission from ensembles of NV$^-$ to date. Reasons for this lack of demonstration include the short excited state lifetime and the occurrence of photo-ionisation to the neutral charge state by light around the zero-phonon line. Here we show both theoretical and experimental evidence for stimulated emission from NV$^-$ states using light in the phonon-sidebands. Our system uses a continuous wave pump laser at 532 nm and a pulsed stimulating laser that is swept across the phononic sidebands of the NV$^-$. Optimal stimulated emission is demonstrated in the vicinity of the three-phonon line at 700 nm. Furthermore, we show the transition from stimulated emission to photoionisation as the stimulating laser wavelength is reduced from 700nm to 620 nm. While lasing at the zero-phonon line is suppressed by ionisation, our results open the possibility of diamond lasers based on NV centres, tuneable over the phonon-sideband. This broadens the applications of NV magnetometers from single centre nanoscale sensors to a new generation of ultra-precise ensemble laser sensors, which exploit the contrast and signal amplification of a lasing system.
△ Less
Submitted 24 February, 2016;
originally announced February 2016.
-
Remote Nanodiamond Magnetometry
Authors:
Yinlan Ruan,
David A. Simpson,
Jan Jeske,
Heike Ebendorff-Heidepriem,
Desmond W. M. Lau,
Hong Ji,
Brett C. Johnson,
Takeshi Ohshima,
Shahraam Afshar V.,
Lloyd Hollenberg,
Andrew D. Greentree,
Tanya M. Monro,
Brant C. Gibson
Abstract:
Optical fibres have transformed the way people interact with the world and now permeate many areas of science. Optical fibres are traditionally thought of as insensitive to magnetic fields, however many application areas from mining to biomedicine would benefit from fibre-based remote magnetometry devices. In this work, we realise such a device by embedding nanoscale magnetic sensors into tellurit…
▽ More
Optical fibres have transformed the way people interact with the world and now permeate many areas of science. Optical fibres are traditionally thought of as insensitive to magnetic fields, however many application areas from mining to biomedicine would benefit from fibre-based remote magnetometry devices. In this work, we realise such a device by embedding nanoscale magnetic sensors into tellurite glass fibres. Remote magnetometry is performed on magnetically active defect centres in nanodiamonds embedded into the glass matrix. Standard optical magnetometry techniques are applied to initialize and detect local magnetic field changes with a measured sensitivity of 26 micron Tesla/square root(Hz). Our approach utilizes straight-forward optical excitation, simple focusing elements, and low power components. We demonstrate remote magnetometry by direct reporting of the magnetic ground states of nitrogen-vacancy defect centres in the optical fibres. In addition, we present and describe theoretically an all-optical technique that is ideally suited to remote fibre-based sensing. The implications of our results broaden the applications of optical fibres, which now have the potential to underpin a new generation of medical magneto-endoscopes and remote mining sensors.
△ Less
Submitted 21 February, 2016;
originally announced February 2016.
-
The chopthin algorithm for resampling
Authors:
Axel Gandy,
F. Din-Houn Lau
Abstract:
Resampling is a standard step in particle filters and more generally sequential Monte Carlo methods. We present an algorithm, called chopthin, for resampling weighted particles. In contrast to standard resampling methods the algorithm does not produce a set of equally weighted particles; instead it merely enforces an upper bound on the ratio between the weights. Simulation studies show that the ch…
▽ More
Resampling is a standard step in particle filters and more generally sequential Monte Carlo methods. We present an algorithm, called chopthin, for resampling weighted particles. In contrast to standard resampling methods the algorithm does not produce a set of equally weighted particles; instead it merely enforces an upper bound on the ratio between the weights. Simulation studies show that the chopthin algorithm consistently outperforms standard resampling methods. The algorithms chops up particles with large weight and thins out particles with low weight, hence its name. It implicitly guarantees a lower bound on the effective sample size. The algorithm can be implemented efficiently, making it practically useful. We show that the expected computational effort is linear in the number of particles. Implementations for C++, R (on CRAN), Python and Matlab are available.
△ Less
Submitted 6 April, 2016; v1 submitted 26 February, 2015;
originally announced February 2015.
-
RMCMC: A System for Updating Bayesian Models
Authors:
F. Din-Houn Lau,
Axel Gandy
Abstract:
A system to update estimates from a sequence of probability distributions is presented. The aim of the system is to quickly produce estimates with a user-specified bound on the Monte Carlo error. The estimates are based upon weighted samples stored in a database. The stored samples are maintained such that the accuracy of the estimates and quality of the samples is satisfactory. This maintenance i…
▽ More
A system to update estimates from a sequence of probability distributions is presented. The aim of the system is to quickly produce estimates with a user-specified bound on the Monte Carlo error. The estimates are based upon weighted samples stored in a database. The stored samples are maintained such that the accuracy of the estimates and quality of the samples is satisfactory. This maintenance involves varying the number of samples in the database and updating their weights. New samples are generated, when required, by a Markov chain Monte Carlo algorithm. The system is demonstrated using a football league model that is used to predict the end of season table. Correctness of the estimates and their accuracy is shown in a simulation using a linear Gaussian model.
△ Less
Submitted 3 June, 2014; v1 submitted 2 July, 2013;
originally announced July 2013.
-
Direct measurement and modelling of internal strains in ion-implanted diamond
Authors:
Federico Bosia,
Nicola Argiolas,
Marco Bazzan,
Barbara A. Fairchild,
Andrew D. Greentree,
Desmond W. M. Lau,
Paolo Olivero,
Federico Picollo,
Sergey Rubanov,
Steven Prawer
Abstract:
We present a phenomenological model and Finite Element simulations to describe the depth variation of mass density and strain of ion-implanted single-crystal diamond. Several experiments are employed to validate the approach: firstly, samples implanted with 180 keV B ions at relatively low fluences are characterized using high-resolution X-ray diffraction (HR-XRD); secondly, the mass density varia…
▽ More
We present a phenomenological model and Finite Element simulations to describe the depth variation of mass density and strain of ion-implanted single-crystal diamond. Several experiments are employed to validate the approach: firstly, samples implanted with 180 keV B ions at relatively low fluences are characterized using high-resolution X-ray diffraction (HR-XRD); secondly, the mass density variation of a sample implanted with 500 keV He ions well above its amorphization threshold is characterized with Electron Energy Loss Spectroscopy (EELS). At high damage densities, the experimental depth profiles of strain and density display a saturation effect with increasing damage and a shift of the damage density peak towards greater depth values with respect to those predicted by TRIM simulations, which are well accounted for in the model presented here. The model is then further validated by comparing TEM-measured and simulated thickness values of a buried amorphous carbon layer formed at different depths by implantation of 500 keV He ions through a variable-thickness mask to simulate the simultaneous implantation of ions at different energies.
△ Less
Submitted 1 March, 2013;
originally announced March 2013.
-
Optimality of Non-Restarting CUSUM charts
Authors:
F. Din-Houn Lau,
Axel Gandy
Abstract:
We show optimality, in a well-defined sense, using cumulative sum (CUSUM) charts for detecting changes in distributions. We consider a setting with multiple changes between two known distributions. This result advocates the use of non-restarting CUSUM charts with an upper boundary. Typically, after signalling, a CUSUM chart is restarted by setting it to some value below the threshold. A non-restar…
▽ More
We show optimality, in a well-defined sense, using cumulative sum (CUSUM) charts for detecting changes in distributions. We consider a setting with multiple changes between two known distributions. This result advocates the use of non-restarting CUSUM charts with an upper boundary. Typically, after signalling, a CUSUM chart is restarted by setting it to some value below the threshold. A non-restarting CUSUM chart is not reset after signalling; thus is able to signal continuously. Imposing an upper boundary prevents the CUSUM chart rising too high, which facilitates detection in our setting. We discuss, via simulations, how the choice of the upper boundary changes the signals made by the non-restarting CUSUM charts.
△ Less
Submitted 9 May, 2012;
originally announced May 2012.
-
Non-Restarting CUSUM charts and Control of the False Discovery Rate
Authors:
Axel Gandy,
F. Din-Houn Lau
Abstract:
Cumulative sum (CUSUM) charts are typically used to detect changes in a stream of observations e.g. shifts in the mean. Usually, after signalling, the chart is restarted by setting it to some value below the signalling threshold. We propose a non-restarting CUSUM chart which is able to detect periods during which the stream is out of control. Further, we advocate an upper boundary to prevent the C…
▽ More
Cumulative sum (CUSUM) charts are typically used to detect changes in a stream of observations e.g. shifts in the mean. Usually, after signalling, the chart is restarted by setting it to some value below the signalling threshold. We propose a non-restarting CUSUM chart which is able to detect periods during which the stream is out of control. Further, we advocate an upper boundary to prevent the CUSUM chart rising too high, which helps detecting a change back into control. We present a novel algorithm to control the false discovery rate (FDR) pointwise in time when considering CUSUM charts based on multiple streams of data. We prove that the FDR is controlled under two definitions of a false discovery simultaneously. Simulations reveal the difference in FDR control when using these two definitions and other desirable definitions of a false discovery.
△ Less
Submitted 19 April, 2012;
originally announced April 2012.