-
Generative AI for Multiple Choice STEM Assessments
Authors:
Christina Perdikoulias,
Chad Vance,
Stephen M. Watt
Abstract:
Artificial intelligence technology enables a range of enhancements in computer-aided instruction, from accelerating the creation of teaching materials to customizing learning paths based on learner outcomes. However, ensuring the mathematical accuracy and semantic integrity of generative AI output remains a significant challenge, particularly in STEM disciplines. In this study, we explore the use…
▽ More
Artificial intelligence technology enables a range of enhancements in computer-aided instruction, from accelerating the creation of teaching materials to customizing learning paths based on learner outcomes. However, ensuring the mathematical accuracy and semantic integrity of generative AI output remains a significant challenge, particularly in STEM disciplines. In this study, we explore the use of generative AI in which "hallucinations" -- typically viewed as undesirable inaccuracies -- can instead serve a pedagogical purpose. Specifically, we investigate the generation of plausible but incorrect alternatives for multiple choice assessments, where credible distractors are essential for effective assessment design. We describe the Möbius platform for online instruction, with particular focus on its architecture for handling mathematical elements through specialized semantic packages that support dynamic, parameterized STEM content. We examine methods for crafting prompts that interact effectively with these mathematical semantics to guide the AI in generating high-quality multiple choice distractors. Finally, we demonstrate how this approach reduces the time and effort associated with creating robust teaching materials while maintaining academic rigor and assessment validity.
△ Less
Submitted 2 June, 2025;
originally announced June 2025.
-
Software Portability for Computer Algebra
Authors:
Arthur C. Norman,
Stephen M. Watt
Abstract:
We have been involved in the creation of multiple software systems for computer algebra, including Reduce, Maple, Axiom and Aldor as well as a number of smaller specialised programs. We relate observations on how the meaning of software portability has changed over time and how it continues to evolve. We describe how the systems with which we have first-hand experience have achieved portability, h…
▽ More
We have been involved in the creation of multiple software systems for computer algebra, including Reduce, Maple, Axiom and Aldor as well as a number of smaller specialised programs. We relate observations on how the meaning of software portability has changed over time and how it continues to evolve. We describe how the systems with which we have first-hand experience have achieved portability, how the central issues have changed over time and the challenges that remain.
△ Less
Submitted 2 June, 2025;
originally announced June 2025.
-
Semi-Centennial REDUCE
Authors:
Arthur C. Norman,
Stephen M. Watt
Abstract:
We present a version of the REDUCE computer algebra system as it was in the early 1970s. We show how this historical version of REDUCE may be built and run in very modest present-day environments and outline some of its capabilities.
We present a version of the REDUCE computer algebra system as it was in the early 1970s. We show how this historical version of REDUCE may be built and run in very modest present-day environments and outline some of its capabilities.
△ Less
Submitted 2 May, 2025;
originally announced May 2025.
-
Symbolic Mathematical Computation 1965--1975: The View from a Half-Century Perspective
Authors:
Robert M. Corless,
Arthur C. Norman,
Tomas Recio,
William J. Turkel,
Stephen M. Watt
Abstract:
The 2025 ISSAC conference in Guanajuato, Mexico, marks the 50th event in this significant series, making it an ideal moment to reflect on the field's history. This paper reviews the formative years of symbolic computation up to 1975, fifty years ago. By revisiting a period unfamiliar to most current participants, this survey aims to shed light on once-pressing issues that are now largely resolved…
▽ More
The 2025 ISSAC conference in Guanajuato, Mexico, marks the 50th event in this significant series, making it an ideal moment to reflect on the field's history. This paper reviews the formative years of symbolic computation up to 1975, fifty years ago. By revisiting a period unfamiliar to most current participants, this survey aims to shed light on once-pressing issues that are now largely resolved and to highlight how some of today's challenges were recognized earlier than expected.
△ Less
Submitted 2 May, 2025; v1 submitted 27 January, 2025;
originally announced January 2025.
-
A First Look at Chebyshev-Sobolev Series for Digital Ink
Authors:
Deepak Singh Kalhan,
Stephen M. Watt
Abstract:
Considering digital ink as plane curves provides a valuable framework for various applications, including signature verification, note-taking, and mathematical handwriting recognition. These plane curves can be obtained as parameterized pairs of approximating truncated series (x(s), y(s)) determined by sampled points. Earlier work has found that representing these truncated series (polynomials) in…
▽ More
Considering digital ink as plane curves provides a valuable framework for various applications, including signature verification, note-taking, and mathematical handwriting recognition. These plane curves can be obtained as parameterized pairs of approximating truncated series (x(s), y(s)) determined by sampled points. Earlier work has found that representing these truncated series (polynomials) in a Legendre or Legendre-Sobolev basis has a number of desirable properties. These include compact data representation, meaningful clustering of like symbols in the vector space of polynomial coefficients, linear separability of classes in this space, and highly efficient calculation of variation between curves. In this work, we take a first step at examining the use of Chebyshev-Sobolev series for symbol recognition. The early indication is that this representation may be superior to Legendre-Sobolev representation for some purposes.
△ Less
Submitted 4 August, 2024;
originally announced August 2024.
-
An Abstraction-Preserving Block Matrix Implementation in Maple
Authors:
David J. Jeffrey,
Stephen M. Watt
Abstract:
A Maple implementation of partitioned matrices is described. A recursive block data structure is used, with all operations preserving the block abstraction. These include constructor functions, ring operations such as addition and product, and inversion. The package is demonstrated by calculating the PLU factorization of a block matrix.
A Maple implementation of partitioned matrices is described. A recursive block data structure is used, with all operations preserving the block abstraction. These include constructor functions, ring operations such as addition and product, and inversion. The package is demonstrated by calculating the PLU factorization of a block matrix.
△ Less
Submitted 4 August, 2024;
originally announced August 2024.
-
Computing Clipped Products
Authors:
Arthur C. Norman,
Stephen M. Watt
Abstract:
Sometimes only some digits of a numerical product or some terms of a polynomial or series product are required. Frequently these constitute the most significant or least significant part of the value, for example when computing initial values or refinement steps in iterative approximation schemes. Other situations require the middle portion. In this paper we provide algorithms for the general prob…
▽ More
Sometimes only some digits of a numerical product or some terms of a polynomial or series product are required. Frequently these constitute the most significant or least significant part of the value, for example when computing initial values or refinement steps in iterative approximation schemes. Other situations require the middle portion. In this paper we provide algorithms for the general problem of computing a given span of coefficients within a product, that is the terms within a range of degrees for univariate polynomials or range digits of an integer. This generalizes the "middle product" concept of Hanrot, Quercia and Zimmerman. We are primarily interested in problems of modest size where constant speed up factors can improve overall system performance, and therefore focus the discussion on classical and Karatsuba multiplication and how methods may be combined.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Algorithms for Recursive Block Matrices
Authors:
Stephen M. Watt
Abstract:
We study certain linear algebra algorithms for recursive block matrices. This representation has useful practical and theoretical properties. We summarize some previous results for block matrix inversion and present some results on triangular decomposition of block matrices. The case of inverting matrices over a ring that is neither formally real nor formally complex was inspired by Gonzalez-Vega…
▽ More
We study certain linear algebra algorithms for recursive block matrices. This representation has useful practical and theoretical properties. We summarize some previous results for block matrix inversion and present some results on triangular decomposition of block matrices. The case of inverting matrices over a ring that is neither formally real nor formally complex was inspired by Gonzalez-Vega et al.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Using General Large Language Models to Classify Mathematical Documents
Authors:
Patrick D. F. Ion,
Stephen M. Watt
Abstract:
In this article we report on an initial exploration to assess the viability of using the general large language models (LLMs), recently made public, to classify mathematical documents. Automated classification would be useful from the applied perspective of improving the navigation of the literature and the more open-ended goal of identifying relations among mathematical results. The Mathematical…
▽ More
In this article we report on an initial exploration to assess the viability of using the general large language models (LLMs), recently made public, to classify mathematical documents. Automated classification would be useful from the applied perspective of improving the navigation of the literature and the more open-ended goal of identifying relations among mathematical results. The Mathematical Subject Classification MSC 2020, from MathSciNet and zbMATH, is widely used and there is a significant corpus of ground truth material in the open literature. We have evaluated the classification of preprint articles from arXiv.org according to MSC 2020. The experiment used only the title and abstract alone -- not the entire paper. Since this was early in the use of chatbots and the development of their APIs, we report here on what was carried out by hand. Of course, the automation of the process will have to follow if it is to be generally useful. We found that in about 60% of our sample the LLM produced a primary classification matching that already reported on arXiv. In about half of those instances, there were additional primary classifications that were not detected. In about 40% of our sample, the LLM suggested a different classification than what was provided. A detailed examination of these cases, however, showed that the LLM-suggested classifications were in most cases better than those provided.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
A Symbolic Computing Perspective on Software Systems
Authors:
Arthur C. Norman,
Stephen M. Watt
Abstract:
Symbolic mathematical computing systems have served as a canary in the coal mine of software systems for more than sixty years. They have introduced or have been early adopters of programming language ideas such ideas as dynamic memory management, arbitrary precision arithmetic and dependent types. These systems have the feature of being highly complex while at the same time operating in a domain…
▽ More
Symbolic mathematical computing systems have served as a canary in the coal mine of software systems for more than sixty years. They have introduced or have been early adopters of programming language ideas such ideas as dynamic memory management, arbitrary precision arithmetic and dependent types. These systems have the feature of being highly complex while at the same time operating in a domain where results are well-defined and clearly verifiable. These software systems span multiple layers of abstraction with concerns ranging from instruction scheduling and cache pressure up to algorithmic complexity of constructions in algebraic geometry. All of the major symbolic mathematical computing systems include low-level code for arithmetic, memory management and other primitives, a compiler or interpreter for a bespoke programming language, a library of high level mathematical algorithms, and some form of user interface. Each of these parts invokes multiple deep issues.
We present some lessons learned from this environment and free flowing opinions on topics including:
* Portability of software across architectures and decades;
* Infrastructure to embrace and infrastructure to avoid;
* Choosing base abstractions upon which to build;
* How to get the most out of a small code base;
* How developments in compilers both to optimise and to validate code have always been and remain of critical importance, with plenty of remaining challenges;
* The way in which individuals including in particular Alan Mycroft who has been able to span from hand-crafting Z80 machine code up to the most abstruse high level code analysis techniques are needed, and
* Why it is important to teach full-stack thinking to the next generation.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
GPU Implementations for Midsize Integer Addition and Multiplication
Authors:
Cosmin E. Oancea,
Stephen M. Watt
Abstract:
This paper explores practical aspects of using a high-level functional language for GPU-based arithmetic on ``midsize'' integers. By this we mean integers of up to about a quarter million bits, which is sufficient for most practical purposes. The goal is to understand whether it is possible to support efficient nested-parallel programs with a small, flexible code base. We report on GPU implementat…
▽ More
This paper explores practical aspects of using a high-level functional language for GPU-based arithmetic on ``midsize'' integers. By this we mean integers of up to about a quarter million bits, which is sufficient for most practical purposes. The goal is to understand whether it is possible to support efficient nested-parallel programs with a small, flexible code base. We report on GPU implementations for addition and multiplication of integers that fit in one CUDA block, thus leveraging temporal reuse from scratchpad memories. Our key contribution resides in the simplicity of the proposed solutions: We recognize that addition is a straightforward application of scan, which is known to allow efficient GPU implementation. For quadratic multiplication we employ a simple work-partitioning strategy that offers good temporal locality. For FFT multiplication, we efficiently map the computation in the domain of integral fields by finding ``good'' primes that enable almost-full utilization of machine words. In comparison, related work uses complex tiling strategies -- which feel too big a hammer for the job -- or uses the computational domain of reals, which may degrade the magnitude of the base in which the computation is carried. We evaluate the performance in comparison to the state-of-the-art CGBN library, authored by NvidiaLab, and report that our CUDA prototype outperforms CGBN for integer sizes higher than 32K bits, while offering comparable performance for smaller sizes. Moreover, we are, to our knowledge, the first to report that FFT multiplication outperforms the classical one on the larger sizes that still fit in a CUDA block. Finally, we examine Futhark's strengths and weaknesses for efficiently supporting such computations and find out that a compiler pass aimed at efficient sequentialization of excess parallelism would significantly improve performance.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
The Inverse of the Complex Gamma Function
Authors:
David J. Jeffrey,
Stephen M. Watt
Abstract:
We consider the functional inverse of the Gamma function in the complex plane, where it is multi-valued, and define a set of suitable branches by proposing a natural extension from the real case.
We consider the functional inverse of the Gamma function in the complex plane, where it is multi-valued, and define a set of suitable branches by proposing a natural extension from the real case.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Hybrid Intervals and Symbolic Block Matrices
Authors:
Mike Ghesquiere,
Stephen M. Watt
Abstract:
Structured matrices with symbolic sizes appear frequently in the literature, especially in the description of algorithms for linear algebra. Recent work has treated these symbolic structured matrices themselves as computational objects, showing how to add matrices with blocks of different symbolic sizes in a general way while avoiding a combinatorial explosion of cases. The present article introdu…
▽ More
Structured matrices with symbolic sizes appear frequently in the literature, especially in the description of algorithms for linear algebra. Recent work has treated these symbolic structured matrices themselves as computational objects, showing how to add matrices with blocks of different symbolic sizes in a general way while avoiding a combinatorial explosion of cases. The present article introduces the concept of hybrid intervals, in which points may have negative multiplicity. Various operations on hybrid intervals have compact and elegant formulations that do not require cases to handle different orders of the end points. This makes them useful to represent symbolic block matrix structures and to express arithmetic on symbolic block matrices compactly. We use these ideas to formulate symbolic block matrix addition and multiplication in a compact and uniform way.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Efficient Quotients of Non-Commutative Polynomials
Authors:
Stephen M. Watt
Abstract:
It is shown how to compute quotients efficiently in non-commutative univariate polynomial rings. This extends earlier work where efficient generic quotients were studied with a primary focus on commutative domains. Fast algorithms are given for left and right quotients of polynomials where the variable commutes with coefficients. These algorithms are based on the concept of the ``whole shifted inv…
▽ More
It is shown how to compute quotients efficiently in non-commutative univariate polynomial rings. This extends earlier work where efficient generic quotients were studied with a primary focus on commutative domains. Fast algorithms are given for left and right quotients of polynomials where the variable commutes with coefficients. These algorithms are based on the concept of the ``whole shifted inverse'', which is a specialized quotient where the dividend is a power of the polynomial variable. It is also shown that when the variable does not commute with coefficients, that is for skew polynomials, left and right whole shifted inverses are defined and may be used to compute right and left quotients. In this case their computation is not asymptotically fast, but once obtained, they may be used to compute multiple quotients, each with one multiplication. Examples are shown of polynomials with matrix coefficients, differential operators and difference operators. In addition, a proof-of-concept generic Maple implementations is given.
△ Less
Submitted 27 June, 2023; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Efficient Generic Quotients Using Exact Arithmetic
Authors:
Stephen M. Watt
Abstract:
The usual formulation of efficient division uses Newton iteration to compute an inverse in a related domain where multiplicative inverses exist. On one hand, Newton iteration allows quotients to be calculated using an efficient multiplication method. On the other hand, working in another domain is not always desirable and can lead to a library structure where arithmetic domains are interdependent.…
▽ More
The usual formulation of efficient division uses Newton iteration to compute an inverse in a related domain where multiplicative inverses exist. On one hand, Newton iteration allows quotients to be calculated using an efficient multiplication method. On the other hand, working in another domain is not always desirable and can lead to a library structure where arithmetic domains are interdependent. This paper uses the concept of a whole shifted inverse and modified Newton iteration to compute quotients efficiently without leaving the original domain. The iteration is generic to domains having a suitable shift operation, such as integers or polynomials with coefficients that do not necessarily commute.
△ Less
Submitted 27 June, 2023; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Sparsity based morphological identification of heartbeats
Authors:
Laura Rebollo-Neira,
Khalil Battikh,
Amadou Sidi Watt
Abstract:
The electrocardiogram (ECG) is one of the most common primary tests to evaluate the health of the heart. Reliable automatic interpretation of ECG records is crucial to the goal of improving public health. It can enable a safe inexpensive monitoring. This work presents a new methodology for morphological identification of heartbeats, which is placed outside the usual machine learning framework. The…
▽ More
The electrocardiogram (ECG) is one of the most common primary tests to evaluate the health of the heart. Reliable automatic interpretation of ECG records is crucial to the goal of improving public health. It can enable a safe inexpensive monitoring. This work presents a new methodology for morphological identification of heartbeats, which is placed outside the usual machine learning framework. The proposal considers the sparsity of the representation of a heartbeat as a parameter for morphological identification. The approach involves greedy algorithms for selecting elements from redundant dictionaries, which should be previously learnt from examples of the classes to be identified. Using different metrics of sparsity, the dictionary rendering the smallest sparsity value, for the equivalent approximation quality of a new heartbeat, classifies the morphology of that beat. This study focuses on a procedure of learning the dictionaries for representing heartbeats and compares several metrics of sparsity for morphological identification on the basis of those metrics. The suitability of the method is illustrated by binary differentiation of Normal and Ventricular heartbeats in the MIT-BIH Arrhythmia data set. In general classification 99.7% of the Normal beats and 97.6% of the Ventricular beats in the testing sets are correctly identified. In interpatient assessment 91.8% of the Normal beats and 91.0% of Ventricular beats are correctly identified. Even more important than these scores is the fact that they are produced on the bases of a single parameter. The numerical tests, designed to emphasise the interpretability and reliability of the approach, demonstrate the potential of the method to contribute towards the development of a well grounded expert system for classification of heartbeats in ECG records.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
Mathematical modelling of decision cycles in a competitive environment with neutral parties
Authors:
Timothy McLennan-Smith,
Alexander Kalloniatis,
Simon Watt,
Zlatko Jovanoski,
Harvinder Sidhu,
Dale Roberts,
Isaac Towers
Abstract:
Decision making is a human process that is a fundamental part of competition. As a realisation of decision making, Command and Control, or C2, has been studied in the literature for adversarial populations, yet these models do not explicitly capture competition. Our work here seeks to enrich such competition models by extending ecologically inspired population models to include decision dynamics t…
▽ More
Decision making is a human process that is a fundamental part of competition. As a realisation of decision making, Command and Control, or C2, has been studied in the literature for adversarial populations, yet these models do not explicitly capture competition. Our work here seeks to enrich such competition models by extending ecologically inspired population models to include decision dynamics through coupling with a nonlinear system of oscillators (the Kuramoto equation) to model the action-perception cycle in decision making. Through asymmetric competition models of increasing complexity, we highlight the importance of competitive agility and decision making processes necessary for a population to be successful.
△ Less
Submitted 2 August, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Robustly fitting Gaussian graphical models: the R-package robFitConGraph
Authors:
Daniel Vogel,
Stuart J. Watt,
Anna Wiedemann
Abstract:
A tutorial-style introduction to the R-package robFitConGraph is given. The latter provides a robust goodness-of-fit test for Gaussian graphical models. Its use is demonstrated at a data example on music performance anxiety, which also illustrates why one would want to fit a Gaussian graphical model - and why one should do so robustly. The underlying statistical theory is briefly explained. The pa…
▽ More
A tutorial-style introduction to the R-package robFitConGraph is given. The latter provides a robust goodness-of-fit test for Gaussian graphical models. Its use is demonstrated at a data example on music performance anxiety, which also illustrates why one would want to fit a Gaussian graphical model - and why one should do so robustly. The underlying statistical theory is briefly explained. The paper describes package version 0.4.1, available on CRAN from December 1, 2022. See https://CRAN.R-project.org/package=robFitConGraph
△ Less
Submitted 1 December, 2022; v1 submitted 8 April, 2022;
originally announced April 2022.
-
Implementing a magnonic time-delay reservoir computer model
Authors:
Stuart Watt,
Mikhail Kostylev,
Alexey B. Ustinov,
Boris A. Kalinikos
Abstract:
Recently we demonstrated experimentally that microwave oscillators based on the time delay feedback provided by traveling spin waves could operate as reservoir computers. In the present paper, we extend this concept by adding the feature of time multiplexing made available by the large propagation times/distances of traveling spin waves. The system utilizes the nonlinear behavior of propagating ma…
▽ More
Recently we demonstrated experimentally that microwave oscillators based on the time delay feedback provided by traveling spin waves could operate as reservoir computers. In the present paper, we extend this concept by adding the feature of time multiplexing made available by the large propagation times/distances of traveling spin waves. The system utilizes the nonlinear behavior of propagating magnetostatic surface spin waves in a yttrium-iron garnet thin film and the time delay inherent in the active ring configuration to process time dependent data streams. Higher reservoir dimensionality is obtained through the time-multiplexing method, emulating "virtual" neurons as temporally separated spin-wave pulses circulating in the active ring below the auto-oscillation threshold. To demonstrate the efficacy of the concept, the active ring reservoir computer is evaluated on the short-term memory and parity check benchmark tasks, and the physical system parameters are tuned to optimize performance. By incorporating a reference line to mix the input signal directly onto the active ring output, both the amplitude and phase nonlinearity of the spin waves can be exploited, resulting in significant improvement on the nonlinear parity check task. We also find that the fading memory capacity of the system can be easily tuned by controlling the active ring gain. Finally, we show that the addition of a second spin-wave delay line configured to transmit backward volume spin waves can partly compensate dispersive pulse broadening and enhance the fading memory capacity of the active ring.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Telescopers for differential forms with one parameter
Authors:
Shaoshi Chen,
Ruyong Feng,
Ziming Li,
Michael F. Singer,
Stephen Watt
Abstract:
Telescopers for a function are linear differential (resp. difference) operators annihilated by the definite integral (resp. definite sum) of this function. They play a key role in Wilf-Zeilberger theory and algorithms for computing them have been extensively studied in the past thirty years. In this paper, we introduce the notion of telescopers for differential forms with $D$-finite function coeff…
▽ More
Telescopers for a function are linear differential (resp. difference) operators annihilated by the definite integral (resp. definite sum) of this function. They play a key role in Wilf-Zeilberger theory and algorithms for computing them have been extensively studied in the past thirty years. In this paper, we introduce the notion of telescopers for differential forms with $D$-finite function coefficients. These telescopers appear in several areas of mathematics, for instance parametrized differential Galois theory and mirror symmetry. We give a sufficient and necessary condition for the existence of telescopers for a differential form and describe a method to compute them if they exist. Algorithms for verifying this condition are also given.
△ Less
Submitted 19 January, 2021; v1 submitted 16 January, 2021;
originally announced January 2021.
-
Spoken digit classification using a spin-wave delay-line active-ring reservoir computing
Authors:
Stuart Watt,
Mikhail Kostylev
Abstract:
As a test of general applicability, we use the recently proposed spin-wave delay line active-ring reservoir computer to perform the spoken digit recognition task. On this, classification accuracies of up to 93% are achieved. The tested device prototype employs improved spin wave transducers (antennas). Therefore, in addition, we also let the computer complete the short-term memory (STM) task and t…
▽ More
As a test of general applicability, we use the recently proposed spin-wave delay line active-ring reservoir computer to perform the spoken digit recognition task. On this, classification accuracies of up to 93% are achieved. The tested device prototype employs improved spin wave transducers (antennas). Therefore, in addition, we also let the computer complete the short-term memory (STM) task and the parity check (PC) tasks, because the fading memory and nonlinearity are essential to reservoir computing performance. The resulting STM and PC capacities reach maximum values of 4.77 and 1.47 respectively.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Reservoir computing using a spin-wave delay line active ring resonator
Authors:
Stuart Watt,
Mikhail Kostylev
Abstract:
The authors demonstrate the use of a propagating spin waves for implementing a reservoir computing architecture. The proposed concept utilises an active ring resonator comprising a magnetic thin film delay line integrated into a feedback loop. These systems exhibit strong nonlinearity and delayed response behaviour, two important properties required for an effective reservoir computing implementat…
▽ More
The authors demonstrate the use of a propagating spin waves for implementing a reservoir computing architecture. The proposed concept utilises an active ring resonator comprising a magnetic thin film delay line integrated into a feedback loop. These systems exhibit strong nonlinearity and delayed response behaviour, two important properties required for an effective reservoir computing implementation. In a simple design, we exploit the nonlinear damping of spin waves at different feedback gains to inject input data into the active ring resonator and use a microwave diode to read out the amplitude of the spin waves circulating in the ring. We employ two baseline tasks, namely the short term memory and parity check tasks, to evaluate the suitability of this architecture for processing time series data.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Manipulation of Inverse Spin Hall Effect in Palladium by Absorption of Hydrogen Gas
Authors:
Stuart Watt,
Mikhail Kostylev
Abstract:
The spintronic properties of a palladium thin film have been investigated in the presence of hydrogen gas in cobalt/palladium bilayers. Measurements of the inverse spin Hall Effect (ISHE) using cavity ferromagnetic resonance allow estimations of the spin Hall conductivity and spin diffusion length in both nitrogen and hydrogen gas atmospheres. Unwanted spin rectification effects are removed using…
▽ More
The spintronic properties of a palladium thin film have been investigated in the presence of hydrogen gas in cobalt/palladium bilayers. Measurements of the inverse spin Hall Effect (ISHE) using cavity ferromagnetic resonance allow estimations of the spin Hall conductivity and spin diffusion length in both nitrogen and hydrogen gas atmospheres. Unwanted spin rectification effects are removed using a simple method of inverting the spin current direction with respect to the measurement setup. Absorption of hydrogen gas in the Pd layer at just 3% concentration results in a reduced ISHE voltage amplitude and bilayer resistance. Fitting the ISHE voltage against the Pd layer thickness demonstrates that the spin diffusion length decreases by 23% in the presence of a hydrogen gas. On the other hand, the results indicate that there is no significant change in the spin Hall conductivity of Pd due to hydrogen absorption.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Permutation entropy revisited
Authors:
Stuart J Watt,
Antonio Politi
Abstract:
Time-series analysis in terms of ordinal patterns is revisited by introducing a generalized permutation entropy $H_p(w,L)$, which depends on two different window lengths: $w$, implicitly defining the resolution of the underlying partition; $L$, playing the role of an embedding dimension, analogously to standard nonlinear time-series analysis. The $w$-dependence provides information on the structur…
▽ More
Time-series analysis in terms of ordinal patterns is revisited by introducing a generalized permutation entropy $H_p(w,L)$, which depends on two different window lengths: $w$, implicitly defining the resolution of the underlying partition; $L$, playing the role of an embedding dimension, analogously to standard nonlinear time-series analysis. The $w$-dependence provides information on the structure of the corresponding invariant measure, while the $L$-dependence helps determining the Kolmogorov-Sinai entropy. We finally investigate the structure of the partition with the help of principal component analysis, finding that, upon increasing $w$, the single atoms become increasingly elongated.
△ Less
Submitted 12 December, 2018;
originally announced December 2018.
-
Cavity Magnon Polaritons with Lithium Ferrite and 3D Microwave Resonators at milli-Kelvin Temperatures
Authors:
Maxim Goryachev,
Stuart Watt,
Jeremy Bourhill,
Mikhail Kostylev,
Michael E. Tobar
Abstract:
Single crystal Lithium Ferrite (LiFe) spheres of sub-mm dimension are examined at mK temperatures, microwave frequencies and variable DC magnetic field, for use in hybrid quantum systems and condensed matter and fundamental physics experiments. Strong coupling regimes of the photon-magnon interaction (cavity magnon polariton quasi-particles) were observed with coupling strength of up to 250 MHz at…
▽ More
Single crystal Lithium Ferrite (LiFe) spheres of sub-mm dimension are examined at mK temperatures, microwave frequencies and variable DC magnetic field, for use in hybrid quantum systems and condensed matter and fundamental physics experiments. Strong coupling regimes of the photon-magnon interaction (cavity magnon polariton quasi-particles) were observed with coupling strength of up to 250 MHz at 9.5 GHz (2.6\%) with magnon linewidths of order 4 MHz (with potential improvement to sub-MHz values). We show that the photon-magnon coupling can be significantly improved and exceed that of the widely used Yttrium Iron Garnet crystal, due to the small unit cell of LiFe, allowing twice more spins per unit volume. Magnon mode softening was observed at low DC fields and combined with the normal Zeeman effect creates magnon spin wave modes that are insensitive to first order order magnetic field fluctuations. This effect is observed in the Kittel mode at 5.5 GHz (and another higher order mode at 6.5 GHz) with a DC magnetic field close to 0.19 Tesla. We show that if the cavity is tuned close to this frequency, the magnon polariton particles exhibit an enhanced range of strong coupling and insensitivity to magnetic field fluctuations with both first order and second order insensitivity to magnetic field as a function of frequency (double magic point clock transition), which could potentially be exploited in cavity QED experiments.
△ Less
Submitted 22 March, 2018; v1 submitted 27 November, 2017;
originally announced November 2017.
-
Hydrogen-modified inverse Spin Hall Effect in palladium-cobalt bi-layer films
Authors:
S. Watt,
R. Cong,
C. Lueng,
M. Sushruth,
P. J. Metaxas,
M. Kostylev
Abstract:
The influence of hydrogen gas absorption by the Pd layer of bi-layered films containing Pd and Co layers on the inverse Spin Hall Effect (iSHE) in the material is measured. iSHE is driven by ferromagnetic resonance in the cobalt layer. In these conditions, the iSHE is seen as a d.c. voltage across the Pd layer. In the presence of hydrogen gas the iSHE peak shifts downwards in the applied field tog…
▽ More
The influence of hydrogen gas absorption by the Pd layer of bi-layered films containing Pd and Co layers on the inverse Spin Hall Effect (iSHE) in the material is measured. iSHE is driven by ferromagnetic resonance in the cobalt layer. In these conditions, the iSHE is seen as a d.c. voltage across the Pd layer. In the presence of hydrogen gas the iSHE peak shifts downwards in the applied field together with the ferromagnetic resonance absorption peak for the material. In parallel, an increase in the iSHE peak height and in its width is observed. Our analysis suggests that these observations can potentially be explained as a reduction in the spin Hall angle for the Palladium layer in the presence of hydrogen gas.
△ Less
Submitted 6 June, 2017; v1 submitted 21 May, 2017;
originally announced May 2017.
-
Integrating alignment-based and alignment-free sequence similarity measures for biological sequence classification
Authors:
Ivan Borozan,
Stuart Watt,
Vincent Ferretti
Abstract:
Alignment-based sequence similarity searches, while accurate for some type of sequences, can produce incorrect results when used on more divergent but functionally related sequences that have undergone the sequence rearrangements observed in many bacterial and viral genomes. Here, we propose a classification model that exploits the complementary nature of alignment-based and alignment-free similar…
▽ More
Alignment-based sequence similarity searches, while accurate for some type of sequences, can produce incorrect results when used on more divergent but functionally related sequences that have undergone the sequence rearrangements observed in many bacterial and viral genomes. Here, we propose a classification model that exploits the complementary nature of alignment-based and alignment-free similarity measures with the aim to improve the accuracy with which DNA and protein sequences are characterized. Our model classifies sequences using a combined sequence similarity score calculated by adaptively weighting the contribution of different sequence similarity measures. Weights are determined independently for each sequence in the test set and reflect the discriminatory ability of individual similarity measures in the training set. Since the similarity between some sequences is determined more accurately with one type of measure rather than another, our classifier allows different sets of weights to be associated with different sequences. Using five different similarity measures we show that our model significantly improves the classification accuracy over the current composition and alignment based models, when predicting the taxonomic lineage for both short viral sequence fragments and complete viral sequences. We also show that our model can be used effectively for the classification of reads from a real metagenome dataset as well as protein sequences.
△ Less
Submitted 20 January, 2015; v1 submitted 19 September, 2014;
originally announced September 2014.
-
Determining Points on Handwritten Mathematical Symbols
Authors:
Rui Hu,
Stephen M. Watt
Abstract:
In a variety of applications, such as handwritten mathematics and diagram labelling, it is common to have symbols of many different sizes in use and for the writing not to follow simple baselines. In order to understand the scale and relative positioning of individual characters, it is necessary to identify the location of certain expected features. These are typically identified by particular poi…
▽ More
In a variety of applications, such as handwritten mathematics and diagram labelling, it is common to have symbols of many different sizes in use and for the writing not to follow simple baselines. In order to understand the scale and relative positioning of individual characters, it is necessary to identify the location of certain expected features. These are typically identified by particular points in the symbols, for example, the baseline of a lower case "p" would be identified by the lowest part of the bowl, ignoring the descender. We investigate how to find these special points automatically so they may be used in a number of problems, such as improving two-dimensional mathematical recognition and in handwriting neatening, while preserving the original style.
△ Less
Submitted 20 June, 2013;
originally announced June 2013.
-
Symbolic Domain Decomposition
Authors:
Jacques Carette,
Alan P. Sexton,
Volker Sorge,
Stephen M. Watt
Abstract:
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different boundary conditions may hold on different regions. For any particular problem the domain can be given explicitly, but when dealing with a family of problems given in terms of symbolic parameters, matters become more difficult. T…
▽ More
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different boundary conditions may hold on different regions. For any particular problem the domain can be given explicitly, but when dealing with a family of problems given in terms of symbolic parameters, matters become more difficult. This article shows how hybrid sets, that is multisets allowing negative multiplicity, may be used to express symbolic domain decompositions in an efficient, elegant and uniform way, simplifying both computation and reasoning. We apply this theory to the arithmetic of piecewise functions and symbolic matrices and show how certain operations may be reduced from exponential to linear complexity.
△ Less
Submitted 30 April, 2010;
originally announced April 2010.
-
Continuum model for radial interface growth
Authors:
M. T. Batchelor,
B. I. Henry,
S. D. Watt
Abstract:
A stochastic partial differential equation along the lines of the Kardar-Parisi-Zhang equation is introduced for the evolution of a growing interface in a radial geometry. Regular polygon solutions as well as radially symmetric solutions are identified in the deterministic limit. The polygon solutions, of relevance to on-lattice Eden growth from a seed in the zero-noise limit, are unstable in th…
▽ More
A stochastic partial differential equation along the lines of the Kardar-Parisi-Zhang equation is introduced for the evolution of a growing interface in a radial geometry. Regular polygon solutions as well as radially symmetric solutions are identified in the deterministic limit. The polygon solutions, of relevance to on-lattice Eden growth from a seed in the zero-noise limit, are unstable in the continuum in favour of the symmetric solutions. The asymptotic surface width scaling for stochastic radial interface growth is investigated through numerical simulations and found to be characterized by the same scaling exponent as that for stochastic growth on a substrate.
△ Less
Submitted 3 June, 1998;
originally announced June 1998.
-
Surface width scaling in noise reduced Eden clusters
Authors:
M. T. Batchelor,
B. I. Henry,
S. D. Watt
Abstract:
The surface width scaling of Eden A clusters grown from a single aggregate site on the square lattice is investigated as a function of the noise reduction parameter. A two-exponent scaling ansatz is introduced and used to fit the results from simulations covering the range from fully stochastic to the zero-noise limit.
The surface width scaling of Eden A clusters grown from a single aggregate site on the square lattice is investigated as a function of the noise reduction parameter. A two-exponent scaling ansatz is introduced and used to fit the results from simulations covering the range from fully stochastic to the zero-noise limit.
△ Less
Submitted 22 April, 1998;
originally announced April 1998.
-
Mean field analysis of Williams-Bjerknes type growth
Authors:
M. T. Batchelor,
B. I. Henry,
S. D. Watt
Abstract:
We investigate a class of stochastic growth models involving competition between two phases in which one of the phases has a competitive advantage. The equilibrium populations of the competing phases are calculated using a mean field analysis. Regression probabilities for the extinction of the advantaged phase are calculated in a leading order approximation. The results of the calculations are i…
▽ More
We investigate a class of stochastic growth models involving competition between two phases in which one of the phases has a competitive advantage. The equilibrium populations of the competing phases are calculated using a mean field analysis. Regression probabilities for the extinction of the advantaged phase are calculated in a leading order approximation. The results of the calculations are in good agreement with simulations carried out on a square lattice with periodic boundaries. The class of models are variants of the Williams- Bjerknes model for the growth of tumours in the basal layer of an epithelium. In the limit in which only one of the phases is unstable the class of models reduces to the well known variants of the Eden model.
△ Less
Submitted 25 March, 1998;
originally announced March 1998.
-
The Construction of Zonal Models of Dispersion in Channels via Matched Centre Manifolds
Authors:
S. D. Watt,
A. J. Roberts
Abstract:
Taylor's model of dispersion simply describes the long-term spread of material along a pipe, channel or river. However, often we need multi-mode models to resolve finer details in space and time. Here we construct zonal models of dispersion via the new principle of matching their long-term evolution with that of the original problem. Using centre manifold techniques this is done straightforwardl…
▽ More
Taylor's model of dispersion simply describes the long-term spread of material along a pipe, channel or river. However, often we need multi-mode models to resolve finer details in space and time. Here we construct zonal models of dispersion via the new principle of matching their long-term evolution with that of the original problem. Using centre manifold techniques this is done straightforwardly and systematically. Furthermore, this approach provides correct initial and boundary conditions for the zonal models. We expect the proposed principle of matched centre manifold evolution to be useful in a wide range of modelling problems.
△ Less
Submitted 2 December, 1994;
originally announced December 1994.
