-
Fine-Tuning Language Models Using Formal Methods Feedback
Authors:
Yunhao Yang,
Neel P. Bhatt,
Tyler Ingebrand,
William Ward,
Steven Carr,
Zhangyang Wang,
Ufuk Topcu
Abstract:
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks. Existing fine-tuning methods use human feedback to address this limitation, however, sourcing human feedback is labor intensive and costly. We present a fully automated approach to fine-tune pre-trained language models…
▽ More
Although pre-trained language models encode generic knowledge beneficial for planning and control, they may fail to generate appropriate control policies for domain-specific tasks. Existing fine-tuning methods use human feedback to address this limitation, however, sourcing human feedback is labor intensive and costly. We present a fully automated approach to fine-tune pre-trained language models for applications in autonomous systems, bridging the gap between generic knowledge and domain-specific requirements while reducing cost. The method synthesizes automaton-based controllers from pre-trained models guided by natural language task descriptions. These controllers are verifiable against independently provided specifications within a world model, which can be abstract or obtained from a high-fidelity simulator. Controllers with high compliance with the desired specifications receive higher ranks, guiding the iterative fine-tuning process. We provide quantitative evidences, primarily in autonomous driving, to demonstrate the method's effectiveness across multiple tasks. The results indicate an improvement in percentage of specifications satisfied by the controller from 60% to 90%.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
My Science Tutor (MyST) -- A Large Corpus of Children's Conversational Speech
Authors:
Sameer S. Pradhan,
Ronald A. Cole,
Wayne H. Ward
Abstract:
This article describes the MyST corpus developed as part of the My Science Tutor project -- one of the largest collections of children's conversational speech comprising approximately 400 hours, spanning some 230K utterances across about 10.5K virtual tutor sessions by around 1.3K third, fourth and fifth grade students. 100K of all utterances have been transcribed thus far. The corpus is freely av…
▽ More
This article describes the MyST corpus developed as part of the My Science Tutor project -- one of the largest collections of children's conversational speech comprising approximately 400 hours, spanning some 230K utterances across about 10.5K virtual tutor sessions by around 1.3K third, fourth and fifth grade students. 100K of all utterances have been transcribed thus far. The corpus is freely available (https://myst.cemantix.org) for non-commercial use using a creative commons license. It is also available for commercial use (https://boulderlearning.com/resources/myst-corpus/). To date, ten organizations have licensed the corpus for commercial use, and approximately 40 university and other not-for-profit research groups have downloaded the corpus. It is our hope that the corpus can be used to improve automatic speech recognition algorithms, build and evaluate conversational AI agents for education, and together help accelerate development of multimodal applications to improve children's excitement and learning about science, and help them learn remotely.
△ Less
Submitted 23 September, 2023;
originally announced September 2023.
-
Using Transformers to Provide Teachers with Personalized Feedback on their Classroom Discourse: The TalkMoves Application
Authors:
Abhijit Suresh,
Jennifer Jacobs,
Vivian Lai,
Chenhao Tan,
Wayne Ward,
James H. Martin,
Tamara Sumner
Abstract:
TalkMoves is an innovative application designed to support K-12 mathematics teachers to reflect on, and continuously improve their instructional practices. This application combines state-of-the-art natural language processing capabilities with automated speech recognition to automatically analyze classroom recordings and provide teachers with personalized feedback on their use of specific types o…
▽ More
TalkMoves is an innovative application designed to support K-12 mathematics teachers to reflect on, and continuously improve their instructional practices. This application combines state-of-the-art natural language processing capabilities with automated speech recognition to automatically analyze classroom recordings and provide teachers with personalized feedback on their use of specific types of discourse aimed at broadening and deepening classroom conversations about mathematics. These specific discourse strategies are referred to as "talk moves" within the mathematics education community and prior research has documented the ways in which systematic use of these discourse strategies can positively impact student engagement and learning. In this article, we describe the TalkMoves application's cloud-based infrastructure for managing and processing classroom recordings, and its interface for providing teachers with feedback on their use of talk moves during individual teaching episodes. We present the series of model architectures we developed, and the studies we conducted, to develop our best-performing, transformer-based model (F1 = 79.3%). We also discuss several technical challenges that need to be addressed when working with real-world speech and language data from noisy K-12 classrooms.
△ Less
Submitted 29 April, 2021;
originally announced May 2021.
-
Analytical Model for the Tidal Evolution of the Evection Resonance and the Timing of Resonance Escape
Authors:
William R. Ward,
Robin M. Canup,
Raluca Rufu
Abstract:
A high-angular momentum giant impact with the Earth can produce a Moon with a silicate isotopic composition nearly identical to that of Earth's mantle, consistent with observations of terrestrial and lunar rocks. However, such an event requires subsequent angular momentum removal for consistency with the current Earth-Moon system. The early Moon may have been captured into the evection resonance,…
▽ More
A high-angular momentum giant impact with the Earth can produce a Moon with a silicate isotopic composition nearly identical to that of Earth's mantle, consistent with observations of terrestrial and lunar rocks. However, such an event requires subsequent angular momentum removal for consistency with the current Earth-Moon system. The early Moon may have been captured into the evection resonance, occurring when the lunar perigee precession period equals one year. It has been proposed that after a high-angular momentum giant impact, evection removed the angular momentum excess from the Earth-Moon pair and transferred it to Earth's orbit about the Sun. However, prior N-body integrations suggest this result depends on the tidal model and chosen tidal parameters. Here we examine the Moon's encounter with evection using a complementary analytic description and the Mignard tidal model. While the Moon is in resonance the lunar longitude of perigee librates, and if tidal evolution excites the libration amplitude sufficiently, escape from resonance occurs. The angular momentum drain produced by formal evection depends on how long the resonance is maintained. We estimate that resonant escape occurs early, leading to only a small reduction (~few to 10%) in the Earth-Moon system angular momentum. Moon formation from a high-angular momentum impact would then require other angular momentum removal mechanisms beyond standard libration in evection, as have been suggested previously.
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
Spectra of Ni V and Fe V in the Vacuum Ultraviolet
Authors:
J. W. Ward,
A. J. J. Raassen,
A. Kramida,
G. Nave
Abstract:
This work presents 97 remeasured Fe V wavelengths (1200 Å to 1600 Å) and 123 remeasured Ni V wavelengths (1200 Å to 1400 Å) with uncertainties of approximately 2mÅ. An additional 67 remeasured Fe V wavelengths and 72 remeasured Ni V wavelengths with uncertainties greater than 2mÅ are also reported. A systematic calibration error is also identified in the previous Ni V wavelengths and is corrected…
▽ More
This work presents 97 remeasured Fe V wavelengths (1200 Å to 1600 Å) and 123 remeasured Ni V wavelengths (1200 Å to 1400 Å) with uncertainties of approximately 2mÅ. An additional 67 remeasured Fe V wavelengths and 72 remeasured Ni V wavelengths with uncertainties greater than 2mÅ are also reported. A systematic calibration error is also identified in the previous Ni V wavelengths and is corrected in this work. Furthermore, a new energy level optimization of Ni V is presented that includes level values as well as Ritz wavelengths. This work improves upon the available data used for observations of quadruply ionized nickel (Ni V) in white dwarf stars. This compilation is specifically targeted towards observations of the G191-B2B white dwarf spectrum that has been used to test for variations in the fine structure constant, $α$, in the presence of strong gravitational fields. The laboratory wavelengths for these ions were thought to be the cause of inconsistent conclusions regarding the variation limit of $α$ as observed through the white dwarf spectrum. These inconsistencies can now be addressed with the improved laboratory data presented here.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
Cyclic Sequence Generators as Program Counters for High-Speed FPGA-based Processors
Authors:
P. A. Suggate,
R. W. Ward,
T. C. A. Molteno
Abstract:
This paper compares the performance of conventional radix-2 program counters with program counters based on Feedback Shift Registers (FSRs), a class of cyclic sequence generator. FSR counters have constant time scaling with bit-width, $N$, whereas FPGA-based radix-2 counters typically have $O(N)$ time-complexity due to the carry-chain. Program counter performance is measured by synthesis of standa…
▽ More
This paper compares the performance of conventional radix-2 program counters with program counters based on Feedback Shift Registers (FSRs), a class of cyclic sequence generator. FSR counters have constant time scaling with bit-width, $N$, whereas FPGA-based radix-2 counters typically have $O(N)$ time-complexity due to the carry-chain. Program counter performance is measured by synthesis of standalone counter circuits, as well as synthesis of three FPGA-based processor designs modified to incorporate FSR program counters. Hybrid counters, combining both an FSR and a radix-2 counter, are presented as a solution to the potential cache-coherency issues of FSR program counters. Results show that high-speed processor designs benefit more from FSR program counters, allowing both greater operating frequency and the use of fewer logic resources.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Black-Box Inference for Non-Linear Latent Force Models
Authors:
Wil O. C. Ward,
Tom Ryder,
Dennis Prangle,
Mauricio A. Álvarez
Abstract:
Latent force models are systems whereby there is a mechanistic model describing the dynamics of the system state, with some unknown forcing term that is approximated with a Gaussian process. If such dynamics are non-linear, it can be difficult to estimate the posterior state and forcing term jointly, particularly when there are system parameters that also need estimating. This paper uses black-box…
▽ More
Latent force models are systems whereby there is a mechanistic model describing the dynamics of the system state, with some unknown forcing term that is approximated with a Gaussian process. If such dynamics are non-linear, it can be difficult to estimate the posterior state and forcing term jointly, particularly when there are system parameters that also need estimating. This paper uses black-box variational inference to jointly estimate the posterior, designing a multivariate extension to local inverse autoregressive flows as a flexible approximater of the system. We compare estimates on systems where the posterior is known, demonstrating the effectiveness of the approximation, and apply to problems with non-linear dynamics, multi-output systems and models with non-Gaussian likelihoods.
△ Less
Submitted 4 November, 2019; v1 submitted 21 June, 2019;
originally announced June 2019.
-
Variational bridge constructs for approximate Gaussian process regression
Authors:
Wil O C Ward,
Mauricio A Álvarez
Abstract:
This paper introduces a method to approximate Gaussian process regression by representing the problem as a stochastic differential equation and using variational inference to approximate solutions. The approximations are compared with full GP regression and generated paths are demonstrated to be indistinguishable from GP samples. We show that the approach extends easily to non-linear dynamics and…
▽ More
This paper introduces a method to approximate Gaussian process regression by representing the problem as a stochastic differential equation and using variational inference to approximate solutions. The approximations are compared with full GP regression and generated paths are demonstrated to be indistinguishable from GP samples. We show that the approach extends easily to non-linear dynamics and discuss extensions to which the approach can be easily applied.
△ Less
Submitted 7 January, 2019;
originally announced January 2019.
-
Non-linear process convolutions for multi-output Gaussian processes
Authors:
Mauricio A. Álvarez,
Wil O. C. Ward,
Cristian Guarnizo
Abstract:
The paper introduces a non-linear version of the process convolution formalism for building covariance functions for multi-output Gaussian processes. The non-linearity is introduced via Volterra series, one series per each output. We provide closed-form expressions for the mean function and the covariance function of the approximated Gaussian process at the output of the Volterra series. The mean…
▽ More
The paper introduces a non-linear version of the process convolution formalism for building covariance functions for multi-output Gaussian processes. The non-linearity is introduced via Volterra series, one series per each output. We provide closed-form expressions for the mean function and the covariance function of the approximated Gaussian process at the output of the Volterra series. The mean function and covariance function for the joint Gaussian process are derived using formulae for the product moments of Gaussian variables. We compare the performance of the non-linear model against the classical process convolution approach in one synthetic dataset and two real datasets.
△ Less
Submitted 27 February, 2019; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Tensor Based Second Order Variational Model for Image Reconstruction
Authors:
**ming Duan,
Wil OC Ward,
Luke Sibbett,
Zhenkuan Pan,
Li Bai
Abstract:
Second order total variation (SOTV) models have advantages for image reconstruction over their first order counterparts including their ability to remove the staircase artefact in the reconstructed image, but they tend to blur the reconstructed image. To overcome this drawback, we introduce a new Tensor Weighted Second Order (TWSO) model for image reconstruction. Specifically, we develop a novel r…
▽ More
Second order total variation (SOTV) models have advantages for image reconstruction over their first order counterparts including their ability to remove the staircase artefact in the reconstructed image, but they tend to blur the reconstructed image. To overcome this drawback, we introduce a new Tensor Weighted Second Order (TWSO) model for image reconstruction. Specifically, we develop a novel regulariser for the SOTV model that uses the Frobenius norm of the product of the SOTV Hessian matrix and the anisotropic tensor. We then adapt the alternating direction method of multipliers (ADMM) to solve the proposed model by breaking down the original problem into several subproblems. All the subproblems have closed-forms and can thus be solved efficiently. The proposed method is compared with a range of state-of-the-art approaches such as tensor-based anisotropic diffusion, total generalised variation, Euler's elastica, etc. Numerical experimental results of the method on both synthetic and real images from the Berkeley database BSDS500 demonstrate that the proposed method eliminates both the staircase and blurring effects and outperforms the existing approaches for image inpainting and denoising applications.
△ Less
Submitted 27 September, 2016;
originally announced September 2016.
-
Identifying differences in the rules of interaction between individuals in moving animal groups
Authors:
Timothy. M. Schaerf,
James E. Herbert-Read,
Mary R. Myerscough,
David J. T. Sumpter,
Ashley J. W. Ward
Abstract:
Collective movement can be achieved when individuals respond to the local movements and positions of their neighbours. Some individuals may disproportionately influence group movement if they occupy particular spatial positions in the group, for example, positions at the front of the group. We asked, therefore, what led individuals in moving pairs of fish (Gambusia holbrooki) to occupy a position…
▽ More
Collective movement can be achieved when individuals respond to the local movements and positions of their neighbours. Some individuals may disproportionately influence group movement if they occupy particular spatial positions in the group, for example, positions at the front of the group. We asked, therefore, what led individuals in moving pairs of fish (Gambusia holbrooki) to occupy a position in front of their partner. Individuals adjusted their speed and direction differently in response to their partner's position, resulting in individuals occupying different positions in the group. Individuals that were found most often at the front of the pair had greater mean changes in speed than their partner, and were less likely to turn towards their partner, compared to those individuals most often found at the back of the pair. The pair moved faster when led by the individual that was usually at the front. Our results highlight how differences in the social responsiveness between individuals can give rise to leadership in free moving groups. They also demonstrate how the movement characteristics of groups depend on the spatial configuration of individuals within them.
△ Less
Submitted 28 January, 2016;
originally announced January 2016.
-
Body size affects the strength of social interactions and spatial organisation of a schooling fish (Pseudomugil signifer)
Authors:
Maksym Romenskyy,
James E. Herbert-Read,
Ashley J. W. Ward,
David J. T. Sumpter
Abstract:
While a rich variety of self-propelled particle models propose to explain the collective motion of fish and other animals, rigorous statistical comparison between models and data remains a challenge. Plausible models should be flexible enough to capture changes in the collective behaviour of animal groups at their different developmental stages and group sizes. Here we analyse the statistical prop…
▽ More
While a rich variety of self-propelled particle models propose to explain the collective motion of fish and other animals, rigorous statistical comparison between models and data remains a challenge. Plausible models should be flexible enough to capture changes in the collective behaviour of animal groups at their different developmental stages and group sizes. Here we analyse the statistical properties of schooling fish (Pseudomugil signifer) through a combination of experiments and simulations. We make novel use of a Boltzmann inversion method, usually applied in molecular dynamics, to identify the effective potential of the mean force of fish interactions. Specifically, we show that larger fish have a larger repulsion zone, but stronger attraction, resulting in greater alignment in their collective motion. We model the collective dynamics of schools using a self-propelled particle model, modified to include varying particle speed and a local repulsion rule. We demonstrate that the statistical properties of the fish schools are reproduced by our model, thereby capturing a number of features of the behaviour and development of schooling fish.
△ Less
Submitted 19 April, 2017; v1 submitted 31 August, 2015;
originally announced August 2015.
-
Escape path complexity and its context dependency in Pacific blue-eyes (Pseudomugil signifer)
Authors:
James E. Herbert-Read,
Ashley J. W. Ward,
David J. T. Sumpter,
Richard P. Mann
Abstract:
The escape trajectories animals take following a predatory attack appear to show high degrees of apparent 'randomness' - a property that has been described as 'protean behaviour'. Here we present a method of quantifying the escape trajectories of individual animals using a path complexity approach. When fish (Pseudomugil signifer) were attacked either on their own or in groups, we find that an ind…
▽ More
The escape trajectories animals take following a predatory attack appear to show high degrees of apparent 'randomness' - a property that has been described as 'protean behaviour'. Here we present a method of quantifying the escape trajectories of individual animals using a path complexity approach. When fish (Pseudomugil signifer) were attacked either on their own or in groups, we find that an individual's path rapidly increases in entropy (our measure of complexity) following the attack. For individuals on their own, this entropy remains elevated (indicating a more random path) for a sustained period (10 seconds) after the attack, whilst it falls more quickly for individuals in groups. The entropy of the path is context dependent. When attacks towards single fish come from greater distances, a fish's path shows less complexity compared to attacks that come from short range. This context dependency effect did not exist, however, when individuals were in groups. Nor did the path complexity of individuals in groups depend on a fish's local density of neighbours. We separate out the components of speed and direction changes to determine which of these components contributes to the overall increase in path complexity following an attack. We found that both speed and direction measures contribute similarly to an individual's path's complexity in absolute terms. Our work highlights the adaptive behavioural tactics that animals use to avoid predators and also provides a novel method for quantifying the escape trajectories of animals.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
Differential Geometry of Rigid Bodies Collisions and Non-standard Billiards
Authors:
Christopher Cox,
Renato Feres,
Will Ward
Abstract:
The configuration manifold $M$ of a mechanical system consisting of two unconstrained rigid bodies in $\mathbb{R}^n$, $n\geq 1$, is a manifold with boundary (typically with singularities.) A complete description of the system requires boundary conditions that specify how orbits should be continued after collisions. A boundary condition is the assignment of a collision map at each tangent space on…
▽ More
The configuration manifold $M$ of a mechanical system consisting of two unconstrained rigid bodies in $\mathbb{R}^n$, $n\geq 1$, is a manifold with boundary (typically with singularities.) A complete description of the system requires boundary conditions that specify how orbits should be continued after collisions. A boundary condition is the assignment of a collision map at each tangent space on the boundary of $M$ that gives the post-collision state of the system as a function of the pre-collision state. Our main result is a complete description of the space of linear collision maps satisfying energy and (linear and angular) momentum conservation, time reversibility, and the natural requirement that impulse forces only act at the point of contact of the colliding bodies. These assumptions can be stated in geometric language by making explicit a family of vector subbundles of the tangent bundle to the boundary of $M$: the diagonal, non-slip**, and impulse subbundles. Collision maps at a boundary configuration are shown to be the isometric involutions that restrict to the identity on the non-slip** subspace. The space of such maps is naturally identified with the union of Grassmannians of $k$-dimensional subspaces of $\mathbb{R}^{n-1}$, $0\leq k\leq n-1$, each subspace specifying the directions of contact roughness. We then consider non-standard billiard systems, defined by fixing the position of one of the bodies and allowing boundary conditions different from specular reflection. We also make a few observations of a dynamical nature for simple examples of non-standard billiards and provide a sufficient condition for the billiard map on the space of boundary states to preserve the canonical (Liouville) measure on constant energy hypersurfaces.
△ Less
Submitted 26 January, 2015;
originally announced January 2015.
-
Fabrication and Characterization of an Amperometric Glucose Sensor on a Flexible Polyimide Substrate
Authors:
Xiaosong Du,
Christopher J. Durgan,
David J. Matthews,
Joshua R. Motley,
Xuebin Tan,
Kovit Pholsena,
Líney Árnadóttir,
Jessica R. Castle,
Peter G. Jacobs,
Robert S. Cargill,
W. Kenneth Ward,
John F. Conley Jr.,
Gregory S. Herman
Abstract:
This study details the use of printing and other additive processes to fabricate a novel amperometric glucose sensor. The sensor was fabricated using a Au coated 12.7 micron polyimide film as a starting material, where micro-contact printing, electrochemical plating and chloridization, electrohydrodynamic jet (e-jet) printing, and spin coating were used to pattern, deposit, print, and coat functio…
▽ More
This study details the use of printing and other additive processes to fabricate a novel amperometric glucose sensor. The sensor was fabricated using a Au coated 12.7 micron polyimide film as a starting material, where micro-contact printing, electrochemical plating and chloridization, electrohydrodynamic jet (e-jet) printing, and spin coating were used to pattern, deposit, print, and coat functional materials, respectively. We have found that e-jet printing was effective for the deposition and patterning of glucose oxidase inks between ~5 to 1000 micron in width, and we have demonstrated that the enzyme was still active after printing. The thickness of the permselective layer was optimized to obtain a linear response to glucose concentration up to 32 mM. For these sensors no response to acetaminophen, a common interfering compound, was observed.
△ Less
Submitted 23 December, 2014; v1 submitted 22 November, 2014;
originally announced November 2014.
-
Astronomical Sky Quality Near Eureka, in the Canadian High Arctic
Authors:
Eric Steinbring,
William Ward,
James R. Drummond
Abstract:
Nighttime visible-light sky brightness and transparency are reported for the Polar Environment Research Laboratory (PEARL), located on a 610-m high ridge near the Eureka research station, on Ellesmere Island, Canada. Photometry of Polaris obtained in V band with the PEARL All Sky Imager (PASI) over two winters is supported by standard meteorological measurements and visual estimates of sky conditi…
▽ More
Nighttime visible-light sky brightness and transparency are reported for the Polar Environment Research Laboratory (PEARL), located on a 610-m high ridge near the Eureka research station, on Ellesmere Island, Canada. Photometry of Polaris obtained in V band with the PEARL All Sky Imager (PASI) over two winters is supported by standard meteorological measurements and visual estimates of sky conditions from sea level. These data show that during the period of the study, October through March of 2008/09 and 2009/10, the sky near zenith had a mean surface brightness of 19.7 mag/square-arcsec when the sun was more than 12 deg below the horizon, reaching 20.7 mag/square-arcsec during astronomical darkness with no moon. Skies were without thick cloud and potentially usable for astronomy 86% of the time (extinction <2 mag). Up to 68% of the time was spectroscopic (<0.5 mag), attenuated by ice crystals, or clear with stable atmospheric transparency. Those conditions can persist for over 100 hours at a time. Further analysis suggests the sky was entirely free of ice crystals (truly photometric) 48+/-3% of the time at PEARL in winter, and that a higher elevation location nearby may be better.
△ Less
Submitted 13 December, 2011;
originally announced December 2011.
-
Origin of Europa and the Galilean Satellites
Authors:
Robin M. Canup,
William R. Ward
Abstract:
Europa is believed to have formed near the very end of Jupiter's own accretion, within a circumplanetary disk of gas and solid particles. We review the formation of the Galilean satellites in the context of current constraints and understanding of giant planet formation, focusing on recent models of satellite growth within a circumjovian accretion disk produced during the final stages of gas inf…
▽ More
Europa is believed to have formed near the very end of Jupiter's own accretion, within a circumplanetary disk of gas and solid particles. We review the formation of the Galilean satellites in the context of current constraints and understanding of giant planet formation, focusing on recent models of satellite growth within a circumjovian accretion disk produced during the final stages of gas inflow to Jupiter. In such a disk, the Galilean satellites would have accreted slowly, in more than 10^5 yr, and in a low pressure, low gas density environment. Gravitational interactions between the satellites and the gas disk lead to inward orbital migration and loss of satellites to Jupiter. Such effects tend to select for a maximum satellite mass and a common total satellite system mass compared to the planet's mass. One implication is that multiple satellite systems may have formed and been lost during the final stages of Jupiter's growth, with the Galilean satellites being the last generation that survived as gas inflow to Jupiter ended. We conclude by discussing open issues and implications for Europa's conditions of formation.
△ Less
Submitted 29 December, 2008;
originally announced December 2008.
-
Evolution of the Obliquities of the Giant Planets in Encounters during Migration
Authors:
Man Hoi Lee,
S. J. Peale,
Eric Pfahl,
William R. Ward
Abstract:
Tsiganis et al. (2005) have proposed that the current orbital architecture of the outer solar system could have been established if it was initially compact and Jupiter and Saturn crossed the 2:1 orbital resonance by divergent migration. The crossing led to close encounters among the giant planets, but the orbital eccentricities and inclinations were damped to their current values by interaction…
▽ More
Tsiganis et al. (2005) have proposed that the current orbital architecture of the outer solar system could have been established if it was initially compact and Jupiter and Saturn crossed the 2:1 orbital resonance by divergent migration. The crossing led to close encounters among the giant planets, but the orbital eccentricities and inclinations were damped to their current values by interactions with planetesimals. Brunini (2006) has presented widely publicized numerical results showing that the close encounters led to the current obliquities of the giant planets. We present a simple analytic argument which shows that the change in the spin direction of a planet relative to an inertial frame during an encounter between the planets is very small and that the change in the obliquity (which is measured from the orbit normal) is due to the change in the orbital inclination. Since the inclinations are damped by planetesimal interactions on timescales much shorter than the timescales on which the spins precess due to the torques from the Sun, especially for Uranus and Neptune, the obliquities should return to small values if they are small before the encounters. We have performed simulations using the symplectic integrator SyMBA, modified to include spin evolution due to the torques from the Sun and mutual planetary interactions. Our numerical results are consistent with the analytic argument for no significant remnant obliquities.
△ Less
Submitted 14 March, 2007; v1 submitted 12 December, 2006;
originally announced December 2006.
-
How to Derive the Schrodinger Equation
Authors:
David W. Ward,
Sabine M. Volkmer
Abstract:
We illustrate a simple derivation of the Schrodinger equation, which requires only knowledge of the electromagnetic wave equation and the basics of Einstein's special theory of relativity. We do this by extending the wave equation for classical fields to photons, generalize to non-zero rest mass particles, and simplify using approximations consistent with non-relativistic particles.
We illustrate a simple derivation of the Schrodinger equation, which requires only knowledge of the electromagnetic wave equation and the basics of Einstein's special theory of relativity. We do this by extending the wave equation for classical fields to photons, generalize to non-zero rest mass particles, and simplify using approximations consistent with non-relativistic particles.
△ Less
Submitted 17 October, 2006;
originally announced October 2006.
-
Physics the google way
Authors:
David W. Ward
Abstract:
Are we smarter now than Socrates was in his time? Society as a whole certainly enjoys a higher degree of education, but humans as a species probably don't get intrinsically smarter with time. Our knowledge base, however, continues to grow at an unprecedented rate, so how then do we keep up? The printing press was one of the earliest technological advances that expanded our memory and made possib…
▽ More
Are we smarter now than Socrates was in his time? Society as a whole certainly enjoys a higher degree of education, but humans as a species probably don't get intrinsically smarter with time. Our knowledge base, however, continues to grow at an unprecedented rate, so how then do we keep up? The printing press was one of the earliest technological advances that expanded our memory and made possible our present intellectual capacity. We are now faced with a new technological advance of the same magnitude--the internet--but how do we use it effectively? A new tool is available on Google (http://www.google.com) that allows a user not only to numerically evaluate equations, but to automatically perform unit analysis and conversion as well, with most of the fundamental physical constants built in.
△ Less
Submitted 20 November, 2004;
originally announced November 2004.
-
Polaritonic materials fabricated and tested with ultrashort-pulse lasers
Authors:
David W. Ward,
Eric R. Statz,
Thomas Feurer,
Keith A. Nelson
Abstract:
Using femtosecond laser machining, we have fabricated photonic bandgap materials that influence propagation of phonon-polaritons in ferroelectric crystals. Broadband polaritons were generated with impulsive stimulated Raman scattering (ISRS) using an ultrashort laser pulse, and the spatial and temporal evolution of the polaritons were imaged as they propagated through the fabricated structures w…
▽ More
Using femtosecond laser machining, we have fabricated photonic bandgap materials that influence propagation of phonon-polaritons in ferroelectric crystals. Broadband polaritons were generated with impulsive stimulated Raman scattering (ISRS) using an ultrashort laser pulse, and the spatial and temporal evolution of the polaritons were imaged as they propagated through the fabricated structures with polariton real-space imaging. These techniques offer a new approach to optical materials design.
△ Less
Submitted 20 November, 2004;
originally announced November 2004.
-
Polaritonics in complex structures: Confinement, bandgap materials, and coherent control
Authors:
David W. Ward,
Eric Statz,
Jaime D. Beers,
T. Feurer,
John D. Joannopoulos,
Keith A. Nelson,
Ryan M. Roth,
Richard M. Osgood,
Kevin J. Webb
Abstract:
We report on the design, fabrication, and testing of ferroelectric patterned materials in the guided-wave and polaritonic regime. We demonstrate their functionality and exploit polariton confinement for amplification and coherent control using temporal pulse sha**.
We report on the design, fabrication, and testing of ferroelectric patterned materials in the guided-wave and polaritonic regime. We demonstrate their functionality and exploit polariton confinement for amplification and coherent control using temporal pulse sha**.
△ Less
Submitted 21 September, 2004;
originally announced September 2004.
-
On the physical origins of the negative index of refraction
Authors:
David W. Ward,
Keith A. Nelson,
Kevin J. Webb
Abstract:
The physical origins of negative refractive index are derived from a dilute microscopic model, producing a result that is generalized to the dense condensed phase limit. In particular, scattering from a thin sheet of electric and magnetic dipoles driven above resonance is used to form a fundamental description for negative refraction. Of practical significance, loss and dispersion are implicit i…
▽ More
The physical origins of negative refractive index are derived from a dilute microscopic model, producing a result that is generalized to the dense condensed phase limit. In particular, scattering from a thin sheet of electric and magnetic dipoles driven above resonance is used to form a fundamental description for negative refraction. Of practical significance, loss and dispersion are implicit in the microscopic model. While naturally occurring negative index materials are unavailable, ferromagnetic and ferroelectric materials provide device design opportunities.
△ Less
Submitted 16 September, 2004;
originally announced September 2004.
-
Finite Difference Time Domain (FDTD) Simulations of Electromagnetic Wave Propagation Using a Spreadsheet
Authors:
David W. Ward,
Keith A. Nelson
Abstract:
We describe a simple and intuitive implementation of the method of finite difference time domain simulations for propagating electromagnetic waves using the simplest possible tools available in Microsoft Excel. The method overcomes the usual obstacles of familiarity with programming languages as it relies on little more than the cut and paste features that are standard in Excel. Avenues of explo…
▽ More
We describe a simple and intuitive implementation of the method of finite difference time domain simulations for propagating electromagnetic waves using the simplest possible tools available in Microsoft Excel. The method overcomes the usual obstacles of familiarity with programming languages as it relies on little more than the cut and paste features that are standard in Excel. Avenues of exploration by students are proposed and sample graphs are included. The pedagogical effectiveness of the implementation was tested during an Independent Activities Period class, composed of 80% freshmen, at MIT, and yielded positive results.
△ Less
Submitted 19 February, 2004;
originally announced February 2004.
-
Simulation of Phonon-Polariton Generation and Propagation in Ferroelectric LiNbO3 Crystals
Authors:
David W. Ward,
Eric Statz,
Nikolay Stoyanov,
Keith A. Nelson
Abstract:
We simulate propagation of phonon-polaritons (admixtures of polar lattice vibrations and electromagnetic waves) in ferroelectric LiNbO3 with a model that consists of a spatially periodic array of harmonic oscillators coupled to THz electromagnetic waves through an electric dipole moment. We show that when this model is combined with the auxiliary differential equation method of finite difference…
▽ More
We simulate propagation of phonon-polaritons (admixtures of polar lattice vibrations and electromagnetic waves) in ferroelectric LiNbO3 with a model that consists of a spatially periodic array of harmonic oscillators coupled to THz electromagnetic waves through an electric dipole moment. We show that when this model is combined with the auxiliary differential equation method of finite difference time domain (FDTD) simulations, the salient features of phonon-polaritons may be illustrated. Further, we introduce second order nonlinear coupling to an optical field to demonstrate phonon-polariton generation by impulsive stimulated Raman scattering (ISRS). The phonon-polariton dispersion relation in bulk ferroelectric LiNbO3 is determined from simulation.
△ Less
Submitted 7 January, 2004;
originally announced January 2004.
-
Phonon-Polariton Propagation, Guidance, and Control in Bulk and Patterned Thin Film Ferroelectric Crystals
Authors:
David W. Ward,
Eric Statz,
Jaime D. Beers,
Nikolay Stoyanov,
Thomas Feurer,
Ryan M. Roth,
Richard M. Osgood,
Keith A. Nelson
Abstract:
Using time resolved ultrafast spectroscopy, we have demonstrated that the far infrared (FIR) excitations in ferroelectric crystals may be modified through an arsenal of control techniques from the fields of guided waves, geometrical and Fourier optics, and optical pulse sha**. We show that LiNbO3 and LiTaO3 crystals of 10-250 micron thickness behave as slab waveguides for phonon-polaritons, wh…
▽ More
Using time resolved ultrafast spectroscopy, we have demonstrated that the far infrared (FIR) excitations in ferroelectric crystals may be modified through an arsenal of control techniques from the fields of guided waves, geometrical and Fourier optics, and optical pulse sha**. We show that LiNbO3 and LiTaO3 crystals of 10-250 micron thickness behave as slab waveguides for phonon-polaritons, which are admixtures of electromagnetic waves and lattice vibrations, when the polariton wavelength is on the order of or greater than the crystal thickness. Furthermore, we show that ferroelectric crystals are amenable to processing by ultrafast laser ablation, allowing for milling of user-defined patterns designed for guidance and control of phonon-polariton propagation. We have fabricated several functional structures including THz rectangular waveguides, resonators, splitters/couplers, interferometers, focusing reflectors, and diffractive elements. Electric field enhancement has been obtained with the reflective structures, through spatial sha**, of the optical excitation beam used for phonon-polariton generation, and through temporal pulse sha** to permit repetitive excitation of a phonon-polariton resonant cavity.
△ Less
Submitted 6 January, 2004;
originally announced January 2004.
-
The Role of Multiferroics in the Negative Index of Refraction
Authors:
David W. Ward,
Eric Statz,
Kevin J. Webb,
Keith A. Nelson
Abstract:
We explore the possibility of realizing intrinsic far infrared negative index materials (NIM) in multiferroic crystals (crystals simultaneously possessing a ferroelectric and ferromagnetic phase) possessing electric and magnetic dipole resonances with nearby resonance frequencies, or overlap** regions of negative permittivity and permeability. We demonstrate the functionality of such a materia…
▽ More
We explore the possibility of realizing intrinsic far infrared negative index materials (NIM) in multiferroic crystals (crystals simultaneously possessing a ferroelectric and ferromagnetic phase) possessing electric and magnetic dipole resonances with nearby resonance frequencies, or overlap** regions of negative permittivity and permeability. We demonstrate the functionality of such a material using finite difference time domain simulations. In order to motivate the connection between multiferroics and negative index materials, we discuss the negative index of refraction in the polariton picture.
△ Less
Submitted 5 January, 2004;
originally announced January 2004.