Showing 1–50 of 53 results for author: Butler, H

Active Compensation of Position Dependent Flexible Dynamics in High-Precision Mechatronics

Authors: Yorick Broens, Hans Butler, Ramidin Kamidi, Koen Verkerk, Siep Weiland

Abstract: Growing demands in the semiconductor industry necessitate increasingly stringent requirements on throughput and positioning accuracy of lithographic equipment. Meeting these demands involves employing highly aggressive motion profiles, which introduce position-dependent flexible dynamics, thus compromising achievable position tracking performance. This paper introduces a control approach enabling… ▽ More Growing demands in the semiconductor industry necessitate increasingly stringent requirements on throughput and positioning accuracy of lithographic equipment. Meeting these demands involves employing highly aggressive motion profiles, which introduce position-dependent flexible dynamics, thus compromising achievable position tracking performance. This paper introduces a control approach enabling active compensation of position-dependent flexible dynamics by extending the conventional rigid-body control structure to include active control of flexible dynamics. To facilitate real-time implementation of the control algorithm, appropriate position-dependent weighting functions are introduced, ensuring computationally efficient execution of the proposed approach. The efficacy of the proposed control design approach is demonstrated through experiments conducted on a state-of-the-art extreme ultraviolet (EUV) wafer stage. △ Less

Submitted 7 August, 2024; originally announced August 2024.

Comments: 7 pages, 7 Figures

MSC Class: 37M15 ACM Class: J.2; G.2.0

Structured physics-guided neural networks for electromagnetic commutation applied to industrial linear motors

Authors: Max Bolderman, Mircea Lazar, Hans Butler

Abstract: Mechatronic systems are described by an interconnection of the electromagnetic part, i.e., a static position-dependent nonlinear relation between currents and forces, and the mechanical part, i.e., a dynamic relation from forces to position. Commutation inverts a model of the electromagnetic part of the system, and thereby removes the electromagnetic part from the position control problem. Typical… ▽ More Mechatronic systems are described by an interconnection of the electromagnetic part, i.e., a static position-dependent nonlinear relation between currents and forces, and the mechanical part, i.e., a dynamic relation from forces to position. Commutation inverts a model of the electromagnetic part of the system, and thereby removes the electromagnetic part from the position control problem. Typical commutation algorithms rely on simplified models derived from physics-based knowledge, which do not take into account position dependent parasitic effects. In turn, these commutation related model errors translate into position tracking errors, which limit the system performance. Therefore, in this work, we develop a data-driven approach to commutation using physics-guided neural networks (PGNNs). A novel PGNN model is proposed which structures neural networks (NNs) to learn specific motor dependent parasitic effects. The PGNN is used to identify a model of the electromagnetic part using force measurements, after which it is analytically inverted to obtain a PGNN-based commutation algorithm. Motivated by industrial applications, we develop an input transformation to deal with systems with fixed commutation, i.e., when the currents cannot be controlled. Real-life experiments on an industrial coreless linear motor (CLM) demonstrate a factor 10 improvement in the commutation error in driving direction and a factor 4 improvement in the position error with respect to classical commutation in terms of the mean--squared error (MSE). △ Less

Submitted 7 June, 2024; originally announced June 2024.

Frequency Domain Auto-tuning of Structured LPV Controllers for High-Precision Motion Control

Authors: Yorick Broens, Hans Butler, Roland Tóth

Abstract: Motion systems are a vital part of many industrial processes. However, meeting the increasingly stringent demands of these systems, especially concerning precision and throughput, requires novel control design methods that can go beyond the capabilities of traditional solutions. Traditional control methods often struggle with the complexity and position-dependent effects inherent in modern motion… ▽ More Motion systems are a vital part of many industrial processes. However, meeting the increasingly stringent demands of these systems, especially concerning precision and throughput, requires novel control design methods that can go beyond the capabilities of traditional solutions. Traditional control methods often struggle with the complexity and position-dependent effects inherent in modern motion systems, leading to compromises in performance and a laborious task of controller design. This paper addresses these challenges by introducing a novel structured feedback control auto-tuning approach for multiple-input multiple-output (MIMO) motion systems. By leveraging frequency response function (FRF) estimates and the linear-parameter-varying (LPV) control framework, the proposed approach automates the controller design, while providing local stability and performance guarantees. Key innovations include norm-based magnitude optimization of the sensitivity functions, an automated stability check through a novel extended factorized Nyquist criterion, a modular structured MIMO LPV controller parameterization, and a controller discretization approach which preserves the continuous-time (CT) controller parameterization. The proposed approach is validated through experiments using a state-of-the-art moving-magnet planar actuator prototype. △ Less

Submitted 16 September, 2024; v1 submitted 9 March, 2024; originally announced March 2024.

Comments: 6 pages, 4 Figures

MSC Class: 37M15 ACM Class: J.2; G.2.0

Physics-guided neural networks for inversion-based feedforward control applied to hybrid stepper motors

Authors: Daiwei Fan, Max Bolderman, Sjirk Koekebakker, Hans Butler, Mircea Lazar

Abstract: Rotary motors, such as hybrid stepper motors (HSMs), are widely used in industries varying from printing applications to robotics. The increasing need for productivity and efficiency without increasing the manufacturing costs calls for innovative control design. Feedforward control is typically used in tracking control problems, where the desired reference is known in advance. In most applications… ▽ More Rotary motors, such as hybrid stepper motors (HSMs), are widely used in industries varying from printing applications to robotics. The increasing need for productivity and efficiency without increasing the manufacturing costs calls for innovative control design. Feedforward control is typically used in tracking control problems, where the desired reference is known in advance. In most applications, this is the case for HSMs, which need to track a periodic angular velocity and angular position reference. Performance achieved by feedforward control is limited by the accuracy of the available model describing the inverse system dynamics. In this work, we develop a physics-guided neural network (PGNN) feedforward controller for HSMs, which can learn the effect of parasitic forces from data and compensate for it, resulting in improved accuracy. Indeed, experimental results on an HSM used in printing industry show that the PGNN outperforms conventional benchmarks in terms of the mean-absolute tracking error. △ Less

Submitted 22 June, 2023; originally announced June 2023.

Exploring the use of deep learning in task-flexible ILC

Authors: Anantha Sai Hariharan Vinjarapu, Yorick Broens, Hans Butler, Roland Tóth

Abstract: Growing demands in today's industry results in increasingly stringent performance and throughput specifications. For accurate positioning of high-precision motion systems, feedforward control plays a crucial role. Nonetheless, conventional model-based feedforward approaches are no longer sufficient to satisfy the challenging performance requirements. An attractive method for systems with repetitiv… ▽ More Growing demands in today's industry results in increasingly stringent performance and throughput specifications. For accurate positioning of high-precision motion systems, feedforward control plays a crucial role. Nonetheless, conventional model-based feedforward approaches are no longer sufficient to satisfy the challenging performance requirements. An attractive method for systems with repetitive motion tasks is iterative learning control (ILC) due to its superior performance. However, for systems with non-repetitive motion tasks, ILC is {generally} not applicable, {despite of some recent promising advances}. In this paper, we aim to explore the use of deep learning to address the task flexibility constraint of ILC. For this purpose, a novel Task Analogy based Imitation Learning (TAIL)-ILC approach is developed. To benchmark the performance of the proposed approach, a simulation study is presented which compares the TAIL-ILC to classical model-based feedforward strategies and existing learning-based approaches, such as neural network based feedforward learning. △ Less

Submitted 25 March, 2023; originally announced March 2023.

Comments: 6 pages, 5 figures, Regular paper ACC conference 2023

MSC Class: 37M15 ACM Class: J.2

On Improved Commutation for Moving-Magnet Planar Actuators

Authors: Yorick Broens, Hans Butler, Roland Tóth

Abstract: The demand for high-precision and high-throughput motion control systems has increased significantly in recent years. The use of moving-magnet planar actuators (MMPAs) is gaining popularity due to their advantageous characteristics, such as complete environmental decoupling and reduction of stage mass. Nonetheless, model-based commutation techniques for MMPAs are compromised by misalignment betwee… ▽ More The demand for high-precision and high-throughput motion control systems has increased significantly in recent years. The use of moving-magnet planar actuators (MMPAs) is gaining popularity due to their advantageous characteristics, such as complete environmental decoupling and reduction of stage mass. Nonetheless, model-based commutation techniques for MMPAs are compromised by misalignment between the mover and coil array and mismatch between the ideal electromagnetic model and the physical system, often leading to decreased system performance. To address this issue, a novel improved commutation approach is proposed in this paper\YB{, which is applicable for general planar motor applications,} by means of dynamic regulation of the position dependence of the ideal model-based commutation algorithm, which allows for attenuation of magnetic misalignment, manufacturing inaccuracies and other unmodelled phenomena. The effectiveness of the proposed approach is validated through experiments using a state-of-the-art moving-magnet planar actuator prototype. △ Less

Submitted 23 May, 2023; v1 submitted 25 March, 2023; originally announced March 2023.

Comments: 6 pages, 7 figures, submission for IEEE L-CSS

MSC Class: 37M15 ACM Class: J.2; G.2.0

Data-driven feedforward control design for nonlinear systems: A control-oriented system identification approach

Authors: Max Bolderman, Mircea Lazar, Hans Butler

Abstract: Feedforward controllers typically rely on accurately identified inverse models of the system dynamics to achieve high reference tracking performance. However, the impact of the (inverse) model identification error on the resulting tracking error is only analyzed a posteriori in experiments. Therefore, in this work, we develop an approach to feedforward control design that aims at minimizing the tr… ▽ More Feedforward controllers typically rely on accurately identified inverse models of the system dynamics to achieve high reference tracking performance. However, the impact of the (inverse) model identification error on the resulting tracking error is only analyzed a posteriori in experiments. Therefore, in this work, we develop an approach to feedforward control design that aims at minimizing the tracking error a priori. To achieve this, we present a model of the system in a lifted space of trajectories, based on which we derive an upperbound on the reference tracking performance. Minimization of this bound yields a feedforward control-oriented system identification cost function, and a finite-horizon optimization to compute the feedforward control signal. The nonlinear feedforward control design method is validated using physics-guided neural networks on a nonlinear, nonminimum phase mechatronic example, where it outperforms linear ILC. △ Less

Submitted 12 June, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

Physics-guided neural networks for feedforward control with input-to-state stability guarantees

Authors: Max Bolderman, Hans Butler, Sjirk Koekebakker, Eelco van Horssen, Ramidin Kamidi, Theresa Spaan-Burke, Nard Strijbosch, Mircea Lazar

Abstract: The increasing demand on precision and throughput within high-precision mechatronics industries requires a new generation of feedforward controllers with higher accuracy than existing, physics-based feedforward controllers. As neural networks are universal approximators, they can in principle yield feedforward controllers with a higher accuracy, but suffer from bad extrapolation outside the traini… ▽ More The increasing demand on precision and throughput within high-precision mechatronics industries requires a new generation of feedforward controllers with higher accuracy than existing, physics-based feedforward controllers. As neural networks are universal approximators, they can in principle yield feedforward controllers with a higher accuracy, but suffer from bad extrapolation outside the training data set, which makes them unsafe for implementation in industry. Motivated by this, we develop a novel physics-guided neural network (PGNN) architecture that structurally merges a physics-based layer and a black-box neural layer in a single model. The parameters of the two layers are simultaneously identified, while a novel regularization cost function is used to prevent competition among layers and to preserve consistency of the physics-based parameters. Moreover, in order to ensure stability of PGNN feedforward controllers, we develop sufficient conditions for analyzing or imposing (during training) input-to-state stability of PGNNs, based on novel, less conservative Lipschitz bounds for neural networks. The developed PGNN feedforward control framework is validated on a real-life, high-precision industrial linear motor used in lithography machines, where it reaches a factor 2 improvement with respect to physics-based mass-friction feedforward and it significantly outperforms alternative neural network based feedforward controllers. △ Less

Submitted 11 September, 2023; v1 submitted 20 January, 2023; originally announced January 2023.

Journal ref: Control Engineering Practice, 2024

On modal observers for beyond rigid body $H_\infty$ control in high-precision mechatronics

Authors: Yorick Broens, Hans Butler, Roland Tóth

Abstract: The ever increasing need for performance results in increasingly rigorous demands on throughput and positioning accuracy of high-precision motion systems, which often suffer from position dependent effects that originate from relative actuation and sensing of the moving-body. Due to the highly stiff mechanical design, such systems are typically controlled using rigid body control design approaches… ▽ More The ever increasing need for performance results in increasingly rigorous demands on throughput and positioning accuracy of high-precision motion systems, which often suffer from position dependent effects that originate from relative actuation and sensing of the moving-body. Due to the highly stiff mechanical design, such systems are typically controlled using rigid body control design approaches. Nonetheless, the presence of position dependent flexible dynamics severely limits attainable position tracking performance. This paper presents two extensions of the conventional rigid body control framework towards active control of position dependent flexible dynamics. Additionally, a novel control design approach is presented, which allows for shaping of the full closed-loop system by means of structured $H_\infty$ co-design. The effectiveness of the approach is validated through simulation using a high-fidelity model of a state-of-the-art moving-magnet planar actuator. △ Less

Submitted 14 September, 2022; originally announced September 2022.

Comments: 6 pages, 7 figures

MSC Class: 37M15 ACM Class: J.2; G.2.0

Physics-guided neural networks for feedforward control: From consistent identification to feedforward controller design

Authors: Max Bolderman, Mircea Lazar, Hans Butler

Abstract: Model-based feedforward control improves tracking performance of motion systems, provided that the model describing the inverse dynamics is of sufficient accuracy. Model sets, such as neural networks (NNs) and physics-guided neural networks (PGNNs) are typically used as flexible parametrizations that enable accurate identification of the inverse system dynamics. Currently, these (PG)NNs are used t… ▽ More Model-based feedforward control improves tracking performance of motion systems, provided that the model describing the inverse dynamics is of sufficient accuracy. Model sets, such as neural networks (NNs) and physics-guided neural networks (PGNNs) are typically used as flexible parametrizations that enable accurate identification of the inverse system dynamics. Currently, these (PG)NNs are used to identify the inverse dynamics directly. However, direct identification of the inverse dynamics is sensitive to noise that is present in the training data, and thereby results in biased parameter estimates which limit the achievable tracking performance. In order to push performance further, it is therefore crucial to account for noise when performing the identification. To address this problem, this paper proposes the use of a forward system identification using (PG)NNs from noisy data. Afterwards, two methods are proposed for inverting PGNNs to design a feedforward controller for high-precision motion control. The developed methodology is validated on a real-life industrial linear motor, where it showed significant improvements in tracking performance with respect to the direct inverse identification. △ Less

Submitted 1 April, 2022; originally announced April 2022.

LPV sequential loop closing for high-precision motion systems

Authors: Yorick Broens, Hans Butler, Roland Tóth

Abstract: Increasingly stringent throughput requirements in the industry necessitate the need for lightweight design of high-precision motion systems to allow for high accelerations, while still achieving accurate positioning of the moving-body. The presence of position dependent dynamics in such motion systems severely limits achievable position tracking performance using conventional sequential loop closi… ▽ More Increasingly stringent throughput requirements in the industry necessitate the need for lightweight design of high-precision motion systems to allow for high accelerations, while still achieving accurate positioning of the moving-body. The presence of position dependent dynamics in such motion systems severely limits achievable position tracking performance using conventional sequential loop closing (SLC) control design strategies. This paper presents a novel extension of the conventional SLC design framework towards linear-parameter-varying systems, which allows to circumvent limitations that are introduced by position dependent effects in high-precision motion systems. Advantages of the proposed control design approach are demonstrated in simulation using a high-fidelity model of a moving-magnet planar actuator system, which exhibits position dependency in both actuation and sensing. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 6 pages

MSC Class: 93-06 ACM Class: J.2; G.2.0

On discretization of continuous-time LPV control solutions

Authors: Yorick Broens, Hans Butler, Roland Tóth

Abstract: In recent years, the Linear Parameter-Varying (LPV) framework has become increasingly useful for analysis and control of time-varying systems. Generally, LPV control synthesis is performed in the continuous-time (CT) domain due to significantly more intuitive performance shaping methods in CT. However, the main complication of CT synthesis approaches is the successive implementation of the resulti… ▽ More In recent years, the Linear Parameter-Varying (LPV) framework has become increasingly useful for analysis and control of time-varying systems. Generally, LPV control synthesis is performed in the continuous-time (CT) domain due to significantly more intuitive performance shaping methods in CT. However, the main complication of CT synthesis approaches is the successive implementation of the resulting CT control solutions on physical hardware. In the literature, several discretization methods have been developed for LPV systems. However, most of these approaches necessitate heavy nonlinear operations introduced by the discretization of these time-varying matrices or can introduce significant approximation error, thereby severely limiting implementation capabilities of CT LPV control solutions. Alternatively, the $w'$ discretization approach has been introduced in the LTI case to allow for preservation of the CT control. Based on these observations, this paper aims at extending the $w'$ discretization approach to LPV systems, such that implementation of CT LPV control solutions on physical hardware is simplified. △ Less

Submitted 22 February, 2022; v1 submitted 4 February, 2022; originally announced February 2022.

Comments: 1 page, 1 Figure

MSC Class: 37M15 ACM Class: J.2; G.2.0

Self-Organization In Stellar Evolution: Size-Complexity Rule

Authors: Travis Herman Butler, Georgi Yordanov Georgiev

Abstract: Complexity Theory is highly interdisciplinary, therefore any regularities must hold on all levels of organization, independent on the nature of the system. An open question in science is how complex systems self-organize to produce emergent structures and properties, a branch of non-equilibrium thermodynamics. It has long been known that there is a quantity-quality transition in natural systems. T… ▽ More Complexity Theory is highly interdisciplinary, therefore any regularities must hold on all levels of organization, independent on the nature of the system. An open question in science is how complex systems self-organize to produce emergent structures and properties, a branch of non-equilibrium thermodynamics. It has long been known that there is a quantity-quality transition in natural systems. This is to say that the properties of a system depend on its size. More recently, this has been termed the size-complexity rule, which means that to increase their size, systems must increase their complexity, and that to increase their complexity they must grow in size. This rule goes under different names in different disciplines and systems of different nature, such as the area-speciation rule, economies of scale, scaling relations (allometric) in biology and for cities, and many others. We apply the size-complexity rule to stars to compare them with other complex systems in order to find universal patterns of self-organization independent of the substrate. Here, as a measure of complexity of a star, we are using the degree of grouping of nucleons into atoms, which reduces nucleon entropy, increases the variety of elements, and changes the structure of the star. As seen in our previous work, complexity, using action efficiency, is in power law proportionality of all other characteristics of a complex system, including its size. Here we find that, as for the other systems studied, the complexity of stars is in a power law proportionality with their size - the bigger a system is, the higher its level of complexity is - despite differing explosion energies and initial metallicities from simulations and data, which confirms the size-complexity rule and our model. △ Less

Submitted 4 February, 2022; originally announced February 2022.

Comments: 20 pages, 3 figures, 11 tables, 9 equations, Conference on Complex Systems CCS2017, Cancun, Mexico, Sattelite meeting "Efficiency in complex systems"

Journal ref: Springer Proceedings in Complexity. 2022

On feedforward control using physics-guided neural networks: Training cost regularization and optimized initialization

Authors: Max Bolderman, Mircea Lazar, Hans Butler

Abstract: Performance of model-based feedforward controllers is typically limited by the accuracy of the inverse system dynamics model. Physics-guided neural networks (PGNN), where a known physical model cooperates in parallel with a neural network, were recently proposed as a method to achieve high accuracy of the identified inverse dynamics. However, the flexible nature of neural networks can create overp… ▽ More Performance of model-based feedforward controllers is typically limited by the accuracy of the inverse system dynamics model. Physics-guided neural networks (PGNN), where a known physical model cooperates in parallel with a neural network, were recently proposed as a method to achieve high accuracy of the identified inverse dynamics. However, the flexible nature of neural networks can create overparameterization when employed in parallel with a physical model, which results in a parameter drift during training. This drift may result in parameters of the physical model not corresponding to their physical values, which increases vulnerability of the PGNN to operating conditions not present in the training data. To address this problem, this paper proposes a regularization method via identified physical parameters, in combination with an optimized training initialization that improves training convergence. The regularized PGNN framework is validated on a real-life industrial linear motor, where it delivers better tracking accuracy and extrapolation. △ Less

Submitted 28 January, 2022; originally announced January 2022.

An Examination of Olympic Sport Climbing Competition Format and Scoring System

Authors: Quang Nguyen, Hannah Butler, Gregory J. Matthews

Abstract: Sport climbing, which made its Olympic debut at the 2020 Summer Games, generally consists of three separate disciplines: speed climbing, bouldering, and lead climbing. However, the International Olympic Committee (IOC) only allowed one set of medals each for men and women in sport climbing. As a result, the governing body of sport climbing, rather than choosing only one of the three disciplines to… ▽ More Sport climbing, which made its Olympic debut at the 2020 Summer Games, generally consists of three separate disciplines: speed climbing, bouldering, and lead climbing. However, the International Olympic Committee (IOC) only allowed one set of medals each for men and women in sport climbing. As a result, the governing body of sport climbing, rather than choosing only one of the three disciplines to include in the Olympics, decided to create a competition combining all three disciplines. In order to determine a winner, a combined scoring system was created using the product of the ranks across the three disciplines to determine an overall score for each climber. In this work, the rank-product scoring system of sport climbing is evaluated through simulation to investigate its general features, specifically, the advancement probabilities and scores for climbers given certain placements. Additionally, analyses of historical climbing contest results are presented and real examples of violations of the independence of irrelevant alternatives are illustrated. Finally, this work finds evidence that the current competition format is putting speed climbers at a disadvantage. △ Less

Submitted 28 March, 2022; v1 submitted 9 November, 2021; originally announced November 2021.

Comments: 17 pages, 7 figures

On the Use of the Smith-McMillan Form in Decoupling System Dynamics

Authors: Clarisse Pétua Bosman Barros, Hans Butler, Roland Tóth

Abstract: In this paper, the use of the Smith-McMillan form in decoupling multiple-input multiple-output system dynamics is analyzed. In short, from a transfer matrix plant model one can obtain a decoupling compensator which leads to a decoupled plant that contains the same transmission poles and zeros of the transfer matrix of the original system. As a result, full decoupling of the plant transfer matrix i… ▽ More In this paper, the use of the Smith-McMillan form in decoupling multiple-input multiple-output system dynamics is analyzed. In short, from a transfer matrix plant model one can obtain a decoupling compensator which leads to a decoupled plant that contains the same transmission poles and zeros of the transfer matrix of the original system. As a result, full decoupling of the plant transfer matrix is obtained for all frequencies, which can be individually addressed by single-input single-output control. The aim of this paper is to present conditions for the decoupled system that guarantee internal stability and performance requirements for the overall control system. Performance specifications are defined in terms of magnitude limits for the maximum singular value of the closed-loop transfer matrices. The potential of the decoupling procedure is shown in a simulation study of a mechanical system. △ Less

Submitted 25 May, 2021; originally announced May 2021.

Comments: 6 pages, 9 figures, American control conference 2021

Learning-based feedforward augmentation for steady state rejection of residual dynamics on a nanometer-accurate planar actuator system

Authors: Ioannis Proimadis, Yorick Broens, Roland Tóth, Hans Butler

Abstract: Growing demands in the semiconductor industry result in the need for enhanced performance of lithographic equipment. However, position tracking accuracy of high precision mechatronics is often limited by the presence of disturbance sources, which originate from unmodelled or unforeseen deterministic environmental effects. To negate the effects of these disturbances, a learning based feedforward co… ▽ More Growing demands in the semiconductor industry result in the need for enhanced performance of lithographic equipment. However, position tracking accuracy of high precision mechatronics is often limited by the presence of disturbance sources, which originate from unmodelled or unforeseen deterministic environmental effects. To negate the effects of these disturbances, a learning based feedforward controller is employed, where the underlying control policy is estimated from experimental data based on Gaussian Process regression. The proposed approach exploits the property of including prior knowledge on the expected steady state behaviour of residual dynamics in terms of kernel selection. Corresponding hyper-parameters are optimized using the maximization of the marginalized likelihood. Consequently, the learned function is employed as augmentation of the currently employed rigid body feedforward controller. The effectiveness of the augmentation is experimentally validated on a magnetically levitated planar motor stage. The results of this paper demonstrate the benefits and possibilities of machine-learning based approaches for compensation of static effects, which originate from residual dynamics, such that position tracking performance for moving-magnet planar motor actuators is improved. △ Less

Submitted 4 May, 2021; originally announced May 2021.

Comments: This paper is to be published in Proceedings of Machine Learning Research vol 144

MSC Class: 93-06 ACM Class: J.2; I.2.9; C.4

Physics-Guided Neural Networks for Inversion-based Feedforward Control applied to Linear Motors

Authors: Max Bolderman, Mircea Lazar, Hans Butler

Abstract: Ever-increasing throughput specifications in semiconductor manufacturing require operating high-precision mechatronics, such as linear motors, at higher accelerations. In turn this creates higher nonlinear parasitic forces that cannot be handled by industrial feedforward controllers. Motivated by this problem, in this paper we develop a general framework for inversion-based feedforward controller… ▽ More Ever-increasing throughput specifications in semiconductor manufacturing require operating high-precision mechatronics, such as linear motors, at higher accelerations. In turn this creates higher nonlinear parasitic forces that cannot be handled by industrial feedforward controllers. Motivated by this problem, in this paper we develop a general framework for inversion-based feedforward controller design using physics-guided neural networks (PGNNs). In contrast with black-box neural networks, the developed PGNNs embed prior physical knowledge in the input and hidden layers, which results in improved training convergence and learning of underlying physical laws. The PGNN inversion-based feedforward control framework is validated in simulation on an industrial linear motor, for which it achieves a mean average tracking error twenty times smaller than mass-acceleration feedforward in simulation. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Comments: Submitted to 2021 IEEE Conference on Control Technology and Applications

Cluster Activation Mapping with Applications to Medical Imaging

Authors: Sarah Ryan, Nichole Carlson, Harris Butler, Tasha Fingerlin, Lisa Maier, Fuyong Xing

Abstract: An open question in deep clustering is how to understand what in the image is creating the cluster assignments. This visual understanding is essential to be able to trust the results of an inherently complex algorithm like deep learning, especially when the derived cluster assignments may be used to inform decision-making or create new disease sub-types. In this work, we developed novel methodolog… ▽ More An open question in deep clustering is how to understand what in the image is creating the cluster assignments. This visual understanding is essential to be able to trust the results of an inherently complex algorithm like deep learning, especially when the derived cluster assignments may be used to inform decision-making or create new disease sub-types. In this work, we developed novel methodology to generate CLuster Activation Mapping (CLAM) which combines an unsupervised deep clustering framework with a modification of Score-CAM, an approach for discriminative localization in the supervised setting. We evaluated our approach using a simulation study based on computed tomography scans of the lung, and applied it to 3D CT scans from a sarcoidosis population to identify new clusters of sarcoidosis based purely on CT scan presentation. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Deep Learning based Spectral CT Imaging

Authors: Weiwen Wu, Dianlin Hu, Chuang Niu, Lieza Vanden Broeke, Anthony P. H. Butler, Peng Cao, James Atlas, Alexander Chernoglazov, Varut Vardhanabhuti, Ge Wang

Abstract: Spectral computed tomography (CT) has attracted much attention in radiation dose reduction, metal artifacts removal, tissue quantification and material discrimination. The x-ray energy spectrum is divided into several bins, each energy-bin-specific projection has a low signal-noise-ratio (SNR) than the current-integrating counterpart, which makes image reconstruction a unique challenge. Traditiona… ▽ More Spectral computed tomography (CT) has attracted much attention in radiation dose reduction, metal artifacts removal, tissue quantification and material discrimination. The x-ray energy spectrum is divided into several bins, each energy-bin-specific projection has a low signal-noise-ratio (SNR) than the current-integrating counterpart, which makes image reconstruction a unique challenge. Traditional wisdom is to use prior knowledge based iterative methods. However, this kind of methods demands a great computational cost. Inspired by deep learning, here we first develop a deep learning based reconstruction method; i.e., U-net with L_p^p-norm, Total variation, Residual learning, and Anisotropic adaption (ULTRA). Specifically, we emphasize the Various Multi-scale Feature Fusion and Multichannel Filtering Enhancement with a denser connection encoding architecture for residual learning and feature fusion. To address the image deblurring problem associated with the $L_2^2$-loss, we propose a general $L_p^p$-loss, $p>0$ Furthermore, the images from different energy bins share similar structures of the same object, the regularization characterizing correlations of different energy bins is incorporated into the $L_p^p$-loss function, which helps unify the deep learning based methods with traditional compressed sensing based methods. Finally, the anisotropically weighted total variation is employed to characterize the sparsity in the spatial-spectral domain to regularize the proposed network. In particular, we validate our ULTRA networks on three large-scale spectral CT datasets, and obtain excellent results relative to the competing algorithms. In conclusion, our quantitative and qualitative results in numerical simulation and preclinical experiments demonstrate that our proposed approach is accurate, efficient and robust for high-quality spectral CT image reconstruction. △ Less

Submitted 25 August, 2021; v1 submitted 27 August, 2020; originally announced August 2020.

Cometary glycolaldehyde as a source of pre-RNA molecules

Authors: Nicolle E. B. Zellner, Vanessa P. McCaffrey, Jayden H. E. Butler

Abstract: Over 200 molecules have been detected in multiple extraterrestrial environments, including glycolaldehyde (C2(H2O)2, GLA), a two-carbon sugar precursor that has been detected in regions of the interstellar medium. Its recent in situ detection on the nucleus of comet 67P/Churyumov-Gerasimenko and via remote observations in the comae of others, provides tantalizing evidence that it is common on most… ▽ More Over 200 molecules have been detected in multiple extraterrestrial environments, including glycolaldehyde (C2(H2O)2, GLA), a two-carbon sugar precursor that has been detected in regions of the interstellar medium. Its recent in situ detection on the nucleus of comet 67P/Churyumov-Gerasimenko and via remote observations in the comae of others, provides tantalizing evidence that it is common on most (if not all) comets. Impact experiments conducted at the Experimental Impact Laboratory at NASA's Johnson Space Center have shown that samples of GLA and GLA mixed with montmorillonite clays can survive impact delivery in the pressure range of 4.5 GPa to 25 GPa. Extrapolated to amounts of GLA observed on individual comets and assuming a monotonic impact rate in the first billion years of solar system history, these experimental results show that up to 10^23 kg of cometary GLA could have survived impact delivery, with substantial amounts of threose, erythrose, glycolic acid, and ethylene glycol also produced or delivered. Importantly, independent of the profile of the impact flux in the early solar system, comet delivery of GLA would have provided (and may continue to provide) a reservoir of starting material for the formose reaction (to form ribose) and the Strecker reaction (to form amino acids). Thus, comets may have been important delivery vehicles for starting molecules necessary for life as we know it. △ Less

Submitted 6 July, 2020; originally announced July 2020.

Comments: Accepted manuscript, to appear in the journal Astrobiology

MARS-MD: rejection based image domain material decomposition

Authors: C. J. Bateman, D. Knight, B. Brandwacht, J. Mc Mahon, J. Healy, R. Panta, R. Aamir, K. Rajendran, M. Moghiseh, M. Ramyar, D. Rundle, J. Bennett, N. de Ruiter, D. Smithies, S. T. Bell, R. Doesburg, A. Chernoglazov, V. B. H. Mandalika, M. Walsh, M. Shamshad, M. Anjomrouz, A. Atharifard, L. Vanden Broeke, S. Bheesette, T. Kirkbride , et al. (6 additional authors not shown)

Abstract: This paper outlines image domain material decomposition algorithms that have been routinely used in MARS spectral CT systems. These algorithms (known collectively as MARS-MD) are based on a pragmatic heuristic for solving the under-determined problem where there are more materials than energy bins. This heuristic contains three parts: (1) splitting the problem into a number of possible sub-problem… ▽ More This paper outlines image domain material decomposition algorithms that have been routinely used in MARS spectral CT systems. These algorithms (known collectively as MARS-MD) are based on a pragmatic heuristic for solving the under-determined problem where there are more materials than energy bins. This heuristic contains three parts: (1) splitting the problem into a number of possible sub-problems, each containing fewer materials; (2) solving each sub-problem; and (3) applying rejection criteria to eliminate all but one sub-problem's solution. An advantage of this process is that different constraints can be applied to each sub-problem if necessary. In addition, the result of this process is that solutions will be sparse in the material domain, which reduces crossover of signal between material images. Two algorithms based on this process are presented: the Segmentation variant, which uses segmented material classes to define each sub-problem; and the Angular Rejection variant, which defines the rejection criteria using the angle between reconstructed attenuation vectors. △ Less

Submitted 14 February, 2018; originally announced February 2018.

Computational Investigation of Inverse-Heusler compounds for Spintronics Applications

Authors: Jianhua Ma, Jiangang He, Dipanjan Mazumdar, Kamaram Munira, Sahar Keshavarz, Tim Lovorn, C. Wolverton, Avik W. Ghosh, William H. Butler

Abstract: First-principles calculations of the electronic structure, magnetism and structural stability of inverse-Heusler compounds with the chemical formula \textit{X$_2$YZ} are presented and discussed with a goal of identifying compounds of interest for spintronics. Compounds for which the number of electrons per atom for \textit{Y} exceed that for \textit{X} and for which \textit{X} is one of Sc, Ti, V,… ▽ More First-principles calculations of the electronic structure, magnetism and structural stability of inverse-Heusler compounds with the chemical formula \textit{X$_2$YZ} are presented and discussed with a goal of identifying compounds of interest for spintronics. Compounds for which the number of electrons per atom for \textit{Y} exceed that for \textit{X} and for which \textit{X} is one of Sc, Ti, V, Cr, Mn, Fe, Co, Ni, or Cu; \textit{Y} is one of Ti, V, Cr, Mn, Fe, Co, Ni, Cu, or Zn; and \textit{Z} is one of Al, Ga, In, Si, Ge, Sn, P, As or Sb were considered. The formation energy per atom of each compound was calculated. By comparing our calculated formation energies to those calculated for phases in the Inorganic Crystal Structure Database (ICSD) of observed phases, we estimate that inverse-Heuslers with formation energies within 0.052 eV/atom of the calculated convex hull are reasonably likely to be synthesizable in equilibrium. The observed trends in the formation energy and relative structural stability as the \textit{X}, \textit{Y} and \textit{Z} elements vary are described. In addition to the Slater-Pauling gap after 12 states per formula unit in one of the spin channels, inverse-Heusler phases often have gaps after 9 states or 14 states. We describe the origin and occurrence of these gaps. We identify 14 inverse-Heusler semiconductors, 51 half-metals and 50 near half-metals with negative formation energy. In addition, our calculations predict 4 half-metals and 6 near half-metals to lie close to the respective convex hull of stable phases, and thus may be experimentally realized under suitable synthesis conditions, resulting in potential candidates for future spintronics applications. △ Less

Submitted 6 December, 2017; originally announced December 2017.

Journal ref: Phys. Rev. B 98, 094410 (2018)

A Method to Guarantee Local Convergence for Sequential Quadratic Programming with Poor Hessian Approximation

Authors: Tuan T. Nguyen, Mircea Lazar, Hans Butler

Abstract: Sequential Quadratic Programming (SQP) is a powerful class of algorithms for solving nonlinear optimization problems. Local convergence of SQP algorithms is guaranteed when the Hessian approximation used in each Quadratic Programming subproblem is close to the true Hessian. However, a good Hessian approximation can be expensive to compute. Low cost Hessian approximations only guarantee local conve… ▽ More Sequential Quadratic Programming (SQP) is a powerful class of algorithms for solving nonlinear optimization problems. Local convergence of SQP algorithms is guaranteed when the Hessian approximation used in each Quadratic Programming subproblem is close to the true Hessian. However, a good Hessian approximation can be expensive to compute. Low cost Hessian approximations only guarantee local convergence under some assumptions, which are not always satisfied in practice. To address this problem, this paper proposes a simple method to guarantee local convergence for SQP with poor Hessian approximation. The effectiveness of the proposed algorithm is demonstrated in a numerical example. △ Less

Submitted 10 April, 2017; originally announced April 2017.

Computational Investigation of Half-Heusler Compounds for Spintronics Applications

Authors: Jianhua Ma, Vinay I. Hegde, Kamaram Munira, Yunkun Xie, Sahar Keshavarz, David T. Mildebrath, C. Wolverton, Avik W. Ghosh, W. H. Butler

Abstract: We present first-principles density functional calculations of the electronic structure, magnetism, and structural stability of 378 $\textit{XYZ}$ half-Heusler compounds (with $X=$ Cr, Mn, Fe, Co, Ni, Ru, Rh, $Y=$ Ti, V, Cr, Mn, Fe, Ni, $Z=$ Al, Ga, In, Si, Ge, Sn, P, As, Sb). We find that a "Slater-Pauling density of states" with a gap or pseudogap at three states per atom below the gap in at lea… ▽ More We present first-principles density functional calculations of the electronic structure, magnetism, and structural stability of 378 $\textit{XYZ}$ half-Heusler compounds (with $X=$ Cr, Mn, Fe, Co, Ni, Ru, Rh, $Y=$ Ti, V, Cr, Mn, Fe, Ni, $Z=$ Al, Ga, In, Si, Ge, Sn, P, As, Sb). We find that a "Slater-Pauling density of states" with a gap or pseudogap at three states per atom below the gap in at least one spin channel is a common feature in half-Heusler compounds. We find that the presence of such a gap at the Fermi energy in one or both spin channels contributes greatly to the stability of a half-Heusler compound. We calculate the formation energy of each compound and systematically investigate its stability against all other phases in the Open Quantum Materials Database (OQMD). We represent the thermodynamic phase stability of each compound as its distance from the convex hull of stable phases in the respective chemical space and show that the hull distance of a compound is a good measure of the likelihood of its experimental synthesis. We identify 26 18-electron semiconductors, 45 half-metals, and 34 near half-metals with negative formation energy, that follow the Slater-Pauling rule of three electrons per atom. Our calculations predict new thermodynamically stable semiconducting phases NiScAs, RhTiP, and RuVAs, which merit further experimental exploration. Further, two interesting zero-moment half-metals, CrMnAs and MnCrAs, are calculated to have negative formation energy. In addition, our calculations predict a number of new, hitherto unreported, semiconducting (e.g., CoVGe, FeVAs), half-metallic (e.g., RhVSb), near half-metallic (e.g., CoFeSb, CoVP) half-Heusler compounds to lie close to the respective convex hull of stable phases, and thus may be experimentally realized under suitable synthesis conditions, resulting in potential candidates for various spintronics applications. △ Less

Submitted 8 December, 2016; v1 submitted 7 October, 2016; originally announced October 2016.

Comments: 27 pages, 19 figures

Journal ref: Phys. Rev. B 95, 024411 (2017)

An Algorithm for Solving Quadratic Optimization Problems with Nonlinear Equality Constraints

Authors: Tuan T. Nguyen, Mircea Lazar, Hans Butler

Abstract: The classical method to solve a quadratic optimization problem with nonlinear equality constraints is to solve the Karush-Kuhn-Tucker (KKT) optimality conditions using Newton's method. This approach however is usually computationally demanding, especially for large-scale problems. This paper presents a new computationally efficient algorithm for solving quadratic optimization problems with nonline… ▽ More The classical method to solve a quadratic optimization problem with nonlinear equality constraints is to solve the Karush-Kuhn-Tucker (KKT) optimality conditions using Newton's method. This approach however is usually computationally demanding, especially for large-scale problems. This paper presents a new computationally efficient algorithm for solving quadratic optimization problems with nonlinear equality constraints. It is proven that the proposed algorithm converges locally to a solution of the KKT optimality conditions. Two relevant application problems, fitting of ellipses and state reference generation for electrical machines, are presented to demonstrate the effectiveness of the proposed algorithm. △ Less

Submitted 16 March, 2016; originally announced March 2016.

The Hidden K-edge Signal in K-edge Imaging

Authors: Christopher J. Bateman, Kishore Rajendran, Niels J. A. de Ruiter, Anthony P. Butler, Philip H. Butler, Peter F. Renaud

Abstract: K-edge imaging is commonly used for viewing contrast pharmaceuticals in a variety of multi-energy x-ray imaging techniques, ranging from dual-energy and spectral computed tomography to fluoroscopy. When looking for the K-edge signal of a specific contrast, by taking measurements either side of the K-edge, it is found that the K-edge is not always observable for low concentrations. We have also obs… ▽ More K-edge imaging is commonly used for viewing contrast pharmaceuticals in a variety of multi-energy x-ray imaging techniques, ranging from dual-energy and spectral computed tomography to fluoroscopy. When looking for the K-edge signal of a specific contrast, by taking measurements either side of the K-edge, it is found that the K-edge is not always observable for low concentrations. We have also observed that the ability to see the K-edge is unit dependent - a K-edge that is not observable in computed tomography (CT) reconstructed linear attenuation units can often be made visible by converting to Hounsfield units. This paper presents an investigation of this K-edge hiding phenomenon. We conclude that if a multi-energy x-ray measurement of any K-edge material contains a signal of any other material, then there will be a positive concentration of that K-edge material below which its K-edge cannot be observed without extracting the K-edge signal through means of basis decomposition. Mathematical descriptions of this limiting minimum concentration is provided in three cases - multi-energy radiographic projection images; and reconstructed multi-energy CT images for both linear attenuation and Hounsfield units. Two important properties of this limiting concentration are provided: the minimum concentration for Hounsfield units is always strictly less than the minimum concentration for linear attenuation; and the minimum concentration for radiographic projections will typically be much larger than the minimum concentration for reconstructed linear attenuation. Finally experimental observation of this phenomenon is presented using data collected by the MARS spectral CT scanner equipped with a CdTe Medipix-3RX camera operating in charge-summing mode, where it is also shown that the K-edge can be recovered through basis decomposition. △ Less

Submitted 13 June, 2015; originally announced June 2015.

Comments: Keywords: computed tomography, spectral, multi-energy, dual-energy, K-edge imaging, material decomposition, Medipix

Alignment and resolution studies of a MARS scanner

Authors: A. P. Butler, P. H. Butler, S. T. Bell, G. Chelkov, M. Demichev, A. Gongadze, S. Kotov, D. Kozhevnikov, U. Kruchonak, I. Potrap, P. Smolyanskiy, A. Zhemchugov

Abstract: The MARS scanner is designed for the x-ray spectroscopic study of samples with the aid of computer tomography methods. Computer tomography allows the reconstruction of slices of an investigated sample using a set of shadow projections obtained for different angles. Projections in the MARS scanner are produced using a cone x-ray beam geometry. Correct reconstruction in this scheme requires precise… ▽ More The MARS scanner is designed for the x-ray spectroscopic study of samples with the aid of computer tomography methods. Computer tomography allows the reconstruction of slices of an investigated sample using a set of shadow projections obtained for different angles. Projections in the MARS scanner are produced using a cone x-ray beam geometry. Correct reconstruction in this scheme requires precise knowledge of several geometrical parameters of a tomograph, such as displacement of a rotation axis, x-ray source position with respect to a camera, and camera inclinations. Use of inaccurate parameters leads to a poor sample reconstruction. Non-ideal positioning of camera, x-ray source and cylindrical rotating frame (gantry) itself on which these parts are located, leads to the need for tomograph alignment. In this note we describe the alignment procedure that was used to get different geometrical corrections for the reconstruction. Also, several different estimations of the final spatial resolution for reconstructed images are presented. △ Less

Submitted 23 March, 2015; v1 submitted 29 January, 2015; originally announced January 2015.

Measurement of the energy resolution and calibration of hybrid pixel detectors with GaAs:Cr sensor and Timepix readout chip

Authors: A. P. Butler, P. H. Butler, S. T. Bell, G. A. Chelkov, D. V. Dedovich, M. A. Demichev, V. G. Elkin, M. I. Gostkin, S. A. Kotov, D. A. Kozhevnikov, U. G. Kruchonak, A. A. Nozdrin, S. Yu. Porokhovoy, I. N. Potrap, P. I. Smolyanskiy, M. M. Zakhvatkin, A. S. Zhemchugov

Abstract: This paper describes an iterative method of per-pixel energy calibration of hybrid pixel detectors with GaAs:Cr sensor and Timepix readout chip. A convolution of precisely measured spectra of characteristic X-rays of different metals with the resolution and the efficiency of the pixel detector is used for the calibration. The energy resolution of the detector is also measured during the calibratio… ▽ More This paper describes an iterative method of per-pixel energy calibration of hybrid pixel detectors with GaAs:Cr sensor and Timepix readout chip. A convolution of precisely measured spectra of characteristic X-rays of different metals with the resolution and the efficiency of the pixel detector is used for the calibration. The energy resolution of the detector is also measured during the calibration. The use of per-pixel calibration allows to achieve a good energy resolution of the Timepix detector with GaAs:Cr sensor: 8% and 13% at 60 keV and 20 keV, respectively. △ Less

Submitted 14 January, 2015; originally announced January 2015.

Observation of the rare $B^0_s\toμ^+μ^-$ decay from the combined analysis of CMS and LHCb data

Authors: The CMS, LHCb Collaborations, :, V. Khachatryan, A. M. Sirunyan, A. Tumasyan, W. Adam, T. Bergauer, M. Dragicevic, J. Erö, M. Friedl, R. Frühwirth, V. M. Ghete, C. Hartl, N. Hörmann, J. Hrubec, M. Jeitler, W. Kiesenhofer, V. Knünz, M. Krammer, I. Krätschmer, D. Liko, I. Mikulec, D. Rabady, B. Rahbaran , et al. (2807 additional authors not shown)

Abstract: A joint measurement is presented of the branching fractions $B^0_s\toμ^+μ^-$ and $B^0\toμ^+μ^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\toμ^+μ^-$ decay, with a statistical significance exceeding six sta… ▽ More A joint measurement is presented of the branching fractions $B^0_s\toμ^+μ^-$ and $B^0\toμ^+μ^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\toμ^+μ^-$ decay, with a statistical significance exceeding six standard deviations, and the best measurement of its branching fraction so far. Furthermore, evidence for the $B^0\toμ^+μ^-$ decay is obtained with a statistical significance of three standard deviations. The branching fraction measurements are statistically compatible with SM predictions and impose stringent constraints on several theories beyond the SM. △ Less

Submitted 17 August, 2015; v1 submitted 17 November, 2014; originally announced November 2014.

Comments: Correspondence should be addressed to [email protected]

Report number: CERN-PH-EP-2014-220, CMS-BPH-13-007, LHCb-PAPER-2014-049

Journal ref: Nature 522, 68-72 (04 June 2015)

Reducing beam hardening effects and metal artefacts using Medipix3RX: With applications from biomaterial science

Authors: K. Rajendran, M. F. Walsh, N. J. A. de Ruiter, A. I. Chernoglazov, R. K. Panta, A. P. H. Butler, P. H. Butler, S. T. Bell, N. G. Anderson, T. B. F. Woodfield, S. J. Tredinnick, J. L. Healy, C. J. Bateman, R. Aamir, R. M. N. Doesburg, P. F. Renaud, S. P. Gieseg, D. J. Smithies, J. L. Mohr, V. B. H. Mandalika, A. M. T. Opie, N. J. Cook, J. P. Ronaldson, S. J. Nik, A. Atharifard , et al. (6 additional authors not shown)

Abstract: This paper discusses methods for reducing beam hardening effects using spectral data for biomaterial applications. A small-animal spectral scanner operating in the diagnostic energy range was used. We investigate the use of photon-processing features of the Medipix3RX ASIC in reducing beam hardening and associated artefacts. A fully operational charge summing mode was used during the imaging routi… ▽ More This paper discusses methods for reducing beam hardening effects using spectral data for biomaterial applications. A small-animal spectral scanner operating in the diagnostic energy range was used. We investigate the use of photon-processing features of the Medipix3RX ASIC in reducing beam hardening and associated artefacts. A fully operational charge summing mode was used during the imaging routine. We present spectral data collected for metal alloy samples, its analysis using algebraic 3D reconstruction software and volume visualisation using a custom volume rendering software. Narrow high energy acquisition using the photon-processing detector revealed substantial reduction in beam hardening effects and metal artefacts. △ Less

Submitted 20 November, 2013; originally announced November 2013.

MARS spectral molecular imaging of lamb tissue: data collection and image analysis

Authors: R Aamir, A Chernoglazov, C J Bateman, A P H Butler, P H Butler, N G Anderson, S T Bell, R K Panta, J L Healy, J L Mohr, K Rajendran, M F Walsh, N de Ruiter, S P Gieseg, T Woodfield, P F Renaud, L Brooke, S Abdul-Majid, M Clyne, R Glendenning, P J Bones, M Billinghurst, C Bartneck, H Mandalika, R Grasset , et al. (13 additional authors not shown)

Abstract: Spectral molecular imaging is a new imaging technique able to discriminate and quantify different components of tissue simultaneously at high spatial and high energy resolution. Our MARS scanner is an x-ray based small animal CT system designed to be used in the diagnostic energy range (20 to 140 keV). In this paper, we demonstrate the use of the MARS scanner, equipped with the Medipix3RX spectros… ▽ More Spectral molecular imaging is a new imaging technique able to discriminate and quantify different components of tissue simultaneously at high spatial and high energy resolution. Our MARS scanner is an x-ray based small animal CT system designed to be used in the diagnostic energy range (20 to 140 keV). In this paper, we demonstrate the use of the MARS scanner, equipped with the Medipix3RX spectroscopic photon-processing detector, to discriminate fat, calcium, and water in tissue. We present data collected from a sample of lamb meat including bone as an illustrative example of human tissue imaging. The data is analyzed using our 3D Algebraic Reconstruction Algorithm (MARS-ART) and by material decomposition based on a constrained linear least squares algorithm. The results presented here clearly show the quantification of lipid-like, water-like and bone-like components of tissue. However, it is also clear to us that better algorithms could extract more information of clinical interest from our data. Because we are one of the first to present data from multi-energy photon-processing small animal CT systems, we make the raw, partial and fully processed data available with the intention that others can analyze it using their familiar routines. The raw, partially processed and fully processed data of lamb tissue along with the phantom calibration data can be found at [http://hdl.handle.net/10092/8531]. △ Less

Submitted 23 January, 2014; v1 submitted 18 November, 2013; originally announced November 2013.

Comments: 11 pages, 6 figs

Electronic Structure of Magnetic Semiconductor CdCr_2Te_4: A Possible Spin-Dependent Symmetry Filter

Authors: Hunter Sims, Karthik Ramasamy, William H. Butler, Arunava Gupta

Abstract: We present a theoretical investigation of the electronic and magnetic structure of spinel CdCr_2Te_4 using density functional theory, its extensions via onsite Hubbard U interactions, and a screened-hybrid-functional exchange potential. We find that the ground state is semiconducting within the latter approach, and within this magnetic-semiconducting system we compute the complex band structure, f… ▽ More We present a theoretical investigation of the electronic and magnetic structure of spinel CdCr_2Te_4 using density functional theory, its extensions via onsite Hubbard U interactions, and a screened-hybrid-functional exchange potential. We find that the ground state is semiconducting within the latter approach, and within this magnetic-semiconducting system we compute the complex band structure, finding a slowly decaying evanescent $\tildeΔ_1$ state possibly suitable for realizing a spin-dependent symmetry filter effect. △ Less

Submitted 10 November, 2013; originally announced November 2013.

Comments: 11 pages, 3 figures

Journal ref: Appl. Phys. Lett. 103, 192402 (2013)

Analytical description of ballistic spin currents and torques in magnetic tunnel junctions

Authors: M. Chshiev, A. Manchon, A. Kalitsov, N. Ryzhanova, A. Vedyayev, N. Strelkov, W. H. Butler, B. Dieny

Abstract: In this work we demonstrate explicit analytical expressions for both charge and spin currents which constitute the 2x2 spinor in magnetic tunnel junctions with noncollinear magnetizations under applied voltage. The calculations have been performed within the free electron model in the framework of the Keldysh formalism and WKB approximation. We demonstrate that spin/charge currents and spin transf… ▽ More In this work we demonstrate explicit analytical expressions for both charge and spin currents which constitute the 2x2 spinor in magnetic tunnel junctions with noncollinear magnetizations under applied voltage. The calculations have been performed within the free electron model in the framework of the Keldysh formalism and WKB approximation. We demonstrate that spin/charge currents and spin transfer torques are all explicitly expressed through only three irreducible quantities, without further approximations. The conditions and mechanisms of deviation from the conventional sine angular dependence of both spin currents and torques are shown and discussed. It is shown in the thick barrier approximation that all tunneling transport quantities can be expressed in an extremely simplified form via Slonczewski spin polarizations and our effective spin averaged interfacial transmission probabilities and effective out-of-plane polarizations at both interfaces. It is proven that the latter plays a key role in the emergence of perpendicular spin torque as well as in the angular dependence character of all spin and charge transport considered. It is demonstrated directly also that for any applied voltage, the parallel component of spin current at the FM/I interface is expressed via collinear longitudinal spin current components. Finally, spin transfer torque behavior is analyzed in a view of transverse characteristic length scales for spin transport. △ Less

Submitted 22 September, 2015; v1 submitted 12 August, 2013; originally announced August 2013.

Comments: 10 pages, 6 figures

Journal ref: Phys. Rev. B 92, 104422 (2015)

A fields only version of the Lorentz Force Law: Particles replaced by their fields

Authors: Philip H. Butler, Niels G. Gresnigt, Martin B. van der Mark, Peter F. Renaud

Abstract: We show that the Lorentz force law, F^L_1=q_1(E+v_1xB) being the charge on particle 1 interacting with the electromagnetic fields due to all other particles, can be written in a pure field form F^L_1=-\nabla_1 U^{EM}. In this expression U^{EM} is the total electromagnetic energy of the system of particle 1 and all other particles. In deriving this result we review the old but not widely known resu… ▽ More We show that the Lorentz force law, F^L_1=q_1(E+v_1xB) being the charge on particle 1 interacting with the electromagnetic fields due to all other particles, can be written in a pure field form F^L_1=-\nabla_1 U^{EM}. In this expression U^{EM} is the total electromagnetic energy of the system of particle 1 and all other particles. In deriving this result we review the old but not widely known results that Maxwell's equations follow uniquely from Special Relativity, and that the Lorentz force law follows from applying Hamilton's variational principle to this result. For a two particle system, the standard view is that the electromagnetic force on particle 1 is the result of the charge of particle 1 interacting locally with the field of particle 2, and conversely. Both charges 1 and 2, and fields 1 and 2 are needed. In our approach, the fields of all particles contribute to the electromagnetic interaction everywhere, over all of space. The charges of the particles do not enter the theory except incidentally, via Gauss's law. This has novel interpretational consequences. In particular, it allows a charged particle to be replaced by its electric and magnetic fields, much as a particle in quantum mechanics is replaced by its complex valued wavefunction. △ Less

Submitted 20 November, 2012; originally announced November 2012.

Comments: 9 pages, 2 figues

Theoretical investigation into the possibility of very large moments in Fe16N2

Authors: H. Sims, W. H. Butler, M. Richter, K. Koepernik, E. Sasioglu, C. Friedrich, S. Blügel

Abstract: We examine the mystery of the disputed high-magnetization α"-Fe16N2 phase, employing the Heyd-Scuseria-Ernzerhof screened hybrid functional method, perturbative many-body corrections through the GW approximation, and onsite Coulomb correlations through the GGA+U method. We present a first-principles computation of the effective on-site Coulomb interaction (Hubbard U) between localized 3d electrons… ▽ More We examine the mystery of the disputed high-magnetization α"-Fe16N2 phase, employing the Heyd-Scuseria-Ernzerhof screened hybrid functional method, perturbative many-body corrections through the GW approximation, and onsite Coulomb correlations through the GGA+U method. We present a first-principles computation of the effective on-site Coulomb interaction (Hubbard U) between localized 3d electrons employing the constrained random-phase approximation (cRPA), finding only somewhat stronger on-site correlations than in bcc Fe. We find that the hybrid functional method, the GW approximation, and the GGA+U method (using parameters computed from cRPA) yield an average spin moment of 2.9, 2.6 - 2.7, and 2.7 μ_B per Fe, respectively. △ Less

Submitted 5 November, 2012; originally announced November 2012.

Comments: 8 pages, 3 figures

A quasi-analytical model for energy-delay-reliability tradeoff studies during write operations in perpendicular STT-RAM cell

Authors: Kamaram Munira, William H. Butler, Avik W. Ghosh

Abstract: One of the biggest challenges the current STT-RAM industry faces is maintaining a high thermal stability while trying to switch within a given voltage pulse and energy cost. In this paper, we present a physics based analytical model that uses a modified Simmons' tunneling expression to capture the spin dependent tunneling in a magnetic tunnel junction(MTJ). Coupled with an analytical derivation of… ▽ More One of the biggest challenges the current STT-RAM industry faces is maintaining a high thermal stability while trying to switch within a given voltage pulse and energy cost. In this paper, we present a physics based analytical model that uses a modified Simmons' tunneling expression to capture the spin dependent tunneling in a magnetic tunnel junction(MTJ). Coupled with an analytical derivation of the critical switching current based on the Landau-Lifshitz-Gilbert equation, and the write error rate derived from a solution to the Fokker-Planck equation, this model provides us a quick estimate of the energydelay- reliability tradeoffs in perpendicular STTRAMs due to thermal fluctuations. In other words, the model provides a simple way to calculate the energy consumed during a write operation that ensures a certain error rate and delay time, while being numerically far less intensive than a full-fledged stochastic calculation. We calculate the worst case energy consumption during anti-parallel (AP) to parallel (P) and P to AP switchings and quantify how increasing the anisotropy field HK and lowering the saturation magnetization MS, can significantly reduce the energy consumption. A case study on how manufacturing variations of the MTJ cell can affect the energy consumption and delay is also reported. △ Less

Submitted 1 May, 2012; originally announced May 2012.

Comments: 6 pages, 9 figures

Switching Distributions for Perpendicular Spin-Torque Devices within the Macrospin Approximation

Authors: W. H. Butler, T. Mewes, C. K. A. Mewes, P. B. Visscher, W. H. Rippard, S. E. Russek, Ranko Heindl

Abstract: We model "soft" error rates for writing (WSER) and for reading (RSER) for perpendicular spin-torque memory devices by solving the Fokker-Planck equation for the probability distribution of the angle that the free layer magnetization makes with the normal to the plane of the film. We obtain: (1) an exact, closed form, analytical expression for the zero-temperature switching time as a function of in… ▽ More We model "soft" error rates for writing (WSER) and for reading (RSER) for perpendicular spin-torque memory devices by solving the Fokker-Planck equation for the probability distribution of the angle that the free layer magnetization makes with the normal to the plane of the film. We obtain: (1) an exact, closed form, analytical expression for the zero-temperature switching time as a function of initial angle; (2) an approximate analytical expression for the exponential decay of the WSER as a function of the time the current is applied; (3) comparison of the approximate analytical expression for the WSER to numerical solutions of the Fokker-Planck equation; (4) an approximate analytical expression for the linear increase in RSER with current applied for reading; (5) comparison of the approximate analytical formula for the RSER to the numerical solution of the Fokker-Planck equation; and (6) confirmation of the accuracy of the Fokker-Planck solutions by comparison with results of direct simulation using the single-macrospin Landau-Lifshitz-Gilbert (LLG) equations with a random fluctuating field in the short-time regime for which the latter is practical. △ Less

Submitted 12 February, 2012; originally announced February 2012.

Effects of 3-d and 4-d-transition metal substitutional impurities on the electronic properties of CrO2

Authors: M. E. Williams, H. Sims, D. Mazumdar, W. H. Butler

Abstract: We present first-principles based density functional theory calculations of the electronic and magnetic structure of CrO2 with 3d (Ti through Cu) and 4d (Zr through Ag) substitutional impurities. We find that the half-metallicity of CrO2 remains intact for all of the calculated substitutions. We also observe two periodic trends as a function of the number of valence electrons: if the substituted a… ▽ More We present first-principles based density functional theory calculations of the electronic and magnetic structure of CrO2 with 3d (Ti through Cu) and 4d (Zr through Ag) substitutional impurities. We find that the half-metallicity of CrO2 remains intact for all of the calculated substitutions. We also observe two periodic trends as a function of the number of valence electrons: if the substituted atom has six or fewer valence electrons (Ti-Cr or Zr-Mo), the number of down spin electrons associated with the impurity ion is zero, resulting in ferromagnetic (FM) alignment of the impurity magnetic moment with the magnetization of the CrO2 host. For substituent atoms with eight to ten (Fe-Ni or Ru-Pd with the exception of Ni), the number of down spin electrons contributed by the impurity ion remains fixed at three as the number contributed to the majority increases from one to three resulting in antiferromagnetic (AFM) alignment between impurity moment and host magnetization. The origin of this variation is the grouping of the impurity states into 3 states with approximate "t2g" symmetry and 2 states with approximate "eg" symmetry. Ni is an exception to the rule because a Jahn-Teller-like distortion causes a splitting of the Ni eg states. For Mn and Tc, which have 8 valence electrons, the zero down spin and 3 down spin configurations are very close in energy. For Cu and Ag atoms, which have 11 valence electrons, the energy is minimized when the substituent ion contributes 5 Abstract down-spin electrons. We find that the interatomic exchange interactions are reduced for all substitutions except for the case of Fe for which a modest enhancement is calculated for interactions along certain crystallographic directions. △ Less

Submitted 21 July, 2011; originally announced July 2011.

Comments: 26 pages, 10 figures, 2 tables

Rational Design of Half-Metallic Heterostructures

Authors: William H. Butler, Claudia K. A. Mewes, Chunsheng Liu, Tianyi Xu

Abstract: We present a rational approach to the design of half-metallic heterostructures which allows the design of an infinite number of half-metallic heterostructures. The wide range of materials that can be made half-metallic using our approach makes it possible to engineer materials with tunable characteristic properties, for example low intrinsic magnetic damping, small magnetic moment or perpendicular… ▽ More We present a rational approach to the design of half-metallic heterostructures which allows the design of an infinite number of half-metallic heterostructures. The wide range of materials that can be made half-metallic using our approach makes it possible to engineer materials with tunable characteristic properties, for example low intrinsic magnetic damping, small magnetic moment or perpendicular anisotropy. We demonstrate the proposed design scheme for a series of transition metal heterostructures based on the B2 crystal structure. △ Less

Submitted 20 March, 2011; originally announced March 2011.

Assumptions and Axioms: Mathematical Structures to Describe the Physics of Rigid Bodies

Authors: Philip H. Butler, Niels G. Gresnigt, Peter F. Renaud

Abstract: This paper challenges some of the common assumptions underlying the mathematics used to describe the physical world. We start by reviewing many of the assumptions underlying the concepts of real, physical, rigid bodies and the translational and rotational properties of such rigid bodies. Nearly all elementary and advanced texts make physical assumptions that are subtly different from ours, and as… ▽ More This paper challenges some of the common assumptions underlying the mathematics used to describe the physical world. We start by reviewing many of the assumptions underlying the concepts of real, physical, rigid bodies and the translational and rotational properties of such rigid bodies. Nearly all elementary and advanced texts make physical assumptions that are subtly different from ours, and as a result we develop a mathematical description that is subtly different from the standard mathematical structure. Using the homogeneity and isotropy of space, we investigate the translational and rotational features of rigid bodies in two and three dimensions. We find that the concept of rigid bodies and the concept of the homogeneity of space are intrinsically linked. The geometric study of rotations of rigid objects leads to a geometric product relationship for lines and vectors. By requiring this product to be both associative and to satisfy Pythagoras' theorem, we obtain a choice of Clifford algebras. We extend our arguments from space to include time. By assuming that ct=l and rewriting this in Lorentz invariant form as c^2t^2-x^2-y^2-z^2=0 we obtain a generalization of Pythagoras to spacetime. This leads us directly to establishing that the Clifford algebra CL(1,3) is an appropriate mathematical structure to describe spacetime. Clifford algebras are not division algebras. We show that the existence of non-invertible elements in the algebra is not a limitation of the usefulness to physics of the algebra but rather that it reflects accurately the spacetime properties of physical systems. △ Less

Submitted 5 May, 2010; originally announced May 2010.

Comments: 51 pages, 21 figures

Determining the Anisotropic Exchange Coupling of CrO_2 via First-Principles Density Functional Theory Calculations

Authors: H. Sims, S. J. Oset, W. H. Butler, James M. MacLaren, Martijn Marsman

Abstract: We report a study of the anisotropic exchange interactions in bulk CrO_2 calculated from first principles within density functional theory. We determine the exchange coupling energies, using both the experimental lattice parameters and those obtained within DFT, within a modified Heisenberg model Hamiltonian in two ways. We employ a supercell method in which certain spins within a cell are rotated… ▽ More We report a study of the anisotropic exchange interactions in bulk CrO_2 calculated from first principles within density functional theory. We determine the exchange coupling energies, using both the experimental lattice parameters and those obtained within DFT, within a modified Heisenberg model Hamiltonian in two ways. We employ a supercell method in which certain spins within a cell are rotated and the energy dependence is calculated and a spin-spiral method that modifies the periodic boundary conditions of the problem to allow for an overall rotation of the spins between unit cells. Using the results from each of these methods, we calculate the spin-wave stiffness constant D from the exchange energies using the magnon dispersion relation. We employ a Monte Carlo method to determine the DFT-predicted Curie temperature from these calculated energies and compare with accepted values. Finally, we offer an evaluation of the accuracy of the DFT-based methods and suggest implications of the competing ferro- and antiferromagnetic interactions. △ Less

Submitted 30 January, 2013; v1 submitted 24 October, 2009; originally announced October 2009.

Comments: 10 pages, 13 figures

Surface segregation in nanoparticles from first principles

Authors: Roman V. Chepulskii, W. H. Butler, A. van de Walle, Stefano Curtarolo

Abstract: FePt nanoparticles are known to exhibit reduced L1$_0$ order with decreasing particle size. The reduction in order reduces the magnetic anisotropy and the thermal stability of the direction of magnetization of the particle. The phenomenon is addressed by investigating the thermodynamic driving forces for surface segregation using a local (inhomogeneous) cluster expansion fitted to ab initio data… ▽ More FePt nanoparticles are known to exhibit reduced L1$_0$ order with decreasing particle size. The reduction in order reduces the magnetic anisotropy and the thermal stability of the direction of magnetization of the particle. The phenomenon is addressed by investigating the thermodynamic driving forces for surface segregation using a local (inhomogeneous) cluster expansion fitted to ab initio data which accurately represents interatomic interactions in both the bulk and surface regions. Subsequent Monte Carlo simulations reveal that first surface layer Pt segregation is compensated by Pt depletion in the second subsurface layer. This indicates that the core's ordered state is not affected by surface thermodynamics as much as previously thought. Thus, the weak ordering experimentally observed is likely not due to fundamental thermodynamic limitations but rather to kinetic effects. △ Less

Submitted 18 May, 2009; originally announced May 2009.

Journal ref: Scripta Materialia 62, N4, pp. 179-182 (2010)

Voltage Dependence of Spin Transfer Torque in Magnetic Tunnel Junctions

Authors: M. Chshiev, I. Theodonis, A. Kalitsov, N. Kioussis, W. H. Butler

Abstract: Theoretical investigations of spin transfer torque in magnetic tunnel junctions using the tight-binding model in the framework of non-equilibrium Green functions formalism are presented. We show that the behavior of the spin transfer torque as a function of applied voltage can vary over a wide range depending on the band parameters of the ferromagnetic electrodes and the insulator that comprise… ▽ More Theoretical investigations of spin transfer torque in magnetic tunnel junctions using the tight-binding model in the framework of non-equilibrium Green functions formalism are presented. We show that the behavior of the spin transfer torque as a function of applied voltage can vary over a wide range depending on the band parameters of the ferromagnetic electrodes and the insulator that comprise the magnetic tunnel junction. The behavior of both the parallel and perpendicular components of the spin torque is addressed. This behavior is explained in terms of the spin and charge current dependence and on the interplay between evanescent states in the insulator and the Fermi surfaces of ferromagnetic electrodes comprising the junction. The origin of the perpendicular (field-like) component of spin transfer torque at zero bias, i.e. exchange coupling through the barrier between ferromagnetic electrodes is discussed. △ Less

Submitted 2 June, 2008; originally announced June 2008.

Comments: 5 pages,4 figures

Journal ref: IEEE Trans. Magn., 44 (2008) 2543

Half-Metallic L2$_1$ Structures with (001) Planar Insertions

Authors: C. A. Culbert, M. Williams, M. Chshiev, W. H. Butler

Abstract: A number of L2$_1$ phase alloys (composition X$_2$YZ) are half-metallic. Although this structure is typically described in terms of an fcc Bravais lattice with a 4 atom basis, it can be viewed more simply as a variant of bcc or B2 in which planes of X$_2$ alternate with planes of YZ along the 001 direction. Using ab-initio electronic structure calculations, we have investigated planar insertions… ▽ More A number of L2$_1$ phase alloys (composition X$_2$YZ) are half-metallic. Although this structure is typically described in terms of an fcc Bravais lattice with a 4 atom basis, it can be viewed more simply as a variant of bcc or B2 in which planes of X$_2$ alternate with planes of YZ along the 001 direction. Using ab-initio electronic structure calculations, we have investigated planar insertions along 001 into the L2$_1$ structure. For most scenarios, insertion of single or double atomic layers of Cr into Co$_2$MnGe or Co$_2$MnSi did not destroy the half-metallic property. One insertion of a Cr layer into Co$_2$MnGe was observed to increase the gap. In fact, we observed that for a large number of insertions using various transition metals or combinations of transition metals and non-transition metals, the band gap in the minority channel at the Fermi energy remains. An ad hoc rule that seems to partially capture the tendency to form half-metals can be formulated as: "001 planar insertions that can plausibly yield 8 down spin electrons on the X$_2$ layer and 4 down spin electrons on the YZ layer yield half-metals". △ Less

Submitted 15 January, 2008; originally announced January 2008.

Comments: 9 pages, 4 figures, to appear in J. of Appl. Phys. vol. 103, issue 7 (2008)

Journal ref: J. Appl. Phys. 103, 07D707 (2008)

Domain wall switching: optimizing the energy landscape

Authors: Zhihong Lu, P. B. Visscher, W. H. Butler

Abstract: It has recently been suggested that exchange spring media offer a way to increase media density without causing thermal instability (superparamagnetism), by using a hard and a soft layer coupled by exchange. Victora has suggested a figure of merit xi = 2 E_b/mu_0 m_s H_sw, the ratio of the energy barrier to that of a Stoner-Wohlfarth system with the same switching field, which is 1 for a Stoner-… ▽ More It has recently been suggested that exchange spring media offer a way to increase media density without causing thermal instability (superparamagnetism), by using a hard and a soft layer coupled by exchange. Victora has suggested a figure of merit xi = 2 E_b/mu_0 m_s H_sw, the ratio of the energy barrier to that of a Stoner-Wohlfarth system with the same switching field, which is 1 for a Stoner-Wohlfarth (coherently switching) particle and 2 for an optimal two-layer composite medium. A number of theoretical approaches have been used for this problem (e.g., various numbers of coupled Stoner-Wohlfarth layers and continuum micromagnetics). In this paper we show that many of these approaches can be regarded as special cases or approximations to a variational formulation of the problem, in which the energy is minimized for fixed magnetization. The results can be easily visualized in terms of a plot of the energy as a function of magnetic moment m_z, in which both the switching field [the maximum slope of E(m_z)] and the stability (determined by the energy barrier E_b) are geometrically visible. In this formulation we can prove a rigorous limit on the figure of merit xi, which can be no higher than 4. We also show that a quadratic anistropy suggested by Suess et al comes very close to this limit. △ Less

Submitted 6 April, 2007; originally announced April 2007.

Comments: Acccepted for proceedings of Jan. 2007 MMM Meeting, paper BE-04

The Stabilized Poincare-Heisenberg algebra: a Clifford algebra viewpoint

Authors: N. G. Gresnigt, P. F. Renaud, P. H. Butler

Abstract: The stabilized Poincare-Heisenberg algebra (SPHA) is the Lie algebra of quantum relativistic kinematics generated by fifteen generators. It is obtained from imposing stability conditions after attempting to combine the Lie algebras of quantum mechanics and relativity which by themselves are stable, however not when combined. In this paper we show how the sixteen dimensional Clifford algebra CL(1… ▽ More The stabilized Poincare-Heisenberg algebra (SPHA) is the Lie algebra of quantum relativistic kinematics generated by fifteen generators. It is obtained from imposing stability conditions after attempting to combine the Lie algebras of quantum mechanics and relativity which by themselves are stable, however not when combined. In this paper we show how the sixteen dimensional Clifford algebra CL(1,3) can be used to generate the SPHA. The Clifford algebra path to the SPHA avoids the traditional stability considerations, relying instead on the fact that CL(1,3) is a semi-simple algebra and therefore stable. It is therefore conceptually easier and more straightforward to work with a Clifford algebra. The Clifford algebra path suggests the next evolutionary step toward a theory of physics at the interface of GR and QM might be to depart from working in space-time and instead to work in space-time-momentum. △ Less

Submitted 2 November, 2006; originally announced November 2006.

Comments: 14 pages

Journal ref: Int.J.Mod.Phys.D16:1519-1529,2007

Biosignatures from Earth-Like Planets Around M Dwarfs

Authors: Antigona Segura, James F. Kasting, Victoria Meadows, Martin Cohen, John Scalo, David Crisp, Rebecca A. H. Butler, Giovana Tinetti

Abstract: Coupled one-dimensional photochemical-climate calculations have been performed for hypothetical Earth-like planets around M dwarfs. Visible, near-infrared and thermal-infrared synthetic spectra of these planets were generated to determine which biosignature gases might be observed by a future, space-based telescope. Our star sample included two observed active M dwarfs, AD Leo and GJ 643, and th… ▽ More Coupled one-dimensional photochemical-climate calculations have been performed for hypothetical Earth-like planets around M dwarfs. Visible, near-infrared and thermal-infrared synthetic spectra of these planets were generated to determine which biosignature gases might be observed by a future, space-based telescope. Our star sample included two observed active M dwarfs, AD Leo and GJ 643, and three quiescent model stars. The spectral distribution of these stars in the ultraviolet generates a different photochemistry on these planets. As a result, the biogenic gases CH4, N2O, and CH3Cl have substantially longer lifetimes and higher mixing ratios than on Earth, making them potentially observable by space-based telescopes. On the active M-star planets, an ozone layer similar to Earth's was developed that resulted in a spectroscopic signature comparable to the terrestrial one. The simultaneous detection of O2 (or O3) and a reduced gas in a planet's atmosphere has been suggested as strong evidence for life. Planets circling M stars may be good locations to search for such evidence. △ Less

Submitted 7 October, 2005; originally announced October 2005.

Comments: 34 pages, 10 figures, Astrobiology, in press

Spin Dependent Tunneling in FM|semiconductor|FM structures

Authors: S. Vutukuri, M. Chshiev, W. H. Butler

Abstract: Here we show that ordinary band structure codes can be used to understand the mechanisms of coherent spin-injection at interfaces between ferromagnets and semiconductors. This approach allows the screening of different material combinations for properties useful for obtaining high tunneling magnetoresistance (TMR). We used the Vienna Ab-initio Simulation Code (VASP) to calculate the wave functio… ▽ More Here we show that ordinary band structure codes can be used to understand the mechanisms of coherent spin-injection at interfaces between ferromagnets and semiconductors. This approach allows the screening of different material combinations for properties useful for obtaining high tunneling magnetoresistance (TMR). We used the Vienna Ab-initio Simulation Code (VASP) to calculate the wave function character of each band in periodic epitaxial Fe(100)|GaAs(100) and Fe(100)|ZnSe(100) structures. It is shown that Fe wave functions of different symmetry near Fermi energy decay differently in the GaAs and ZnSe. △ Less

Submitted 21 September, 2005; originally announced September 2005.

Comments: Accepted for publication in MMM'05 Proceedings. 7 pages, 5 figures

Journal ref: J. Appl. Phys. 99, 08K302 (2006)

Spin-Polarized Current Induced Torque in Magnetic Tunnel Junctions

Authors: A. Kalitsov, I. Theodonis, N. Kioussis, M. Chshiev, W. H. Butler, A. Vedyayev

Abstract: We present tight-binding calculations of the spin torque in non-collinear magnetic tunnel junctions based on the non-equilibrium Green functions approach. We have calculated the spin torque via the effective local magnetic moment approach and the divergence of the spin current. We show that both methods are equivalent, i.e. the absorption of the spin current at the interface is equivalent to the… ▽ More We present tight-binding calculations of the spin torque in non-collinear magnetic tunnel junctions based on the non-equilibrium Green functions approach. We have calculated the spin torque via the effective local magnetic moment approach and the divergence of the spin current. We show that both methods are equivalent, i.e. the absorption of the spin current at the interface is equivalent to the exchange interaction between the electron spins and the local magnetization. The transverse components of the spin torque parallel and perpendicular to the interface oscillate with different phase and decay in the ferromagnetic layer (FM) as a function of the distance from the interface. The period of oscillations is inversely proportional to the difference between the Fermi-momentum of the majority and minority electrons. The phase difference between the two transverse components of the spin torque is due to the precession of the electron spins around the exchange field in the FM layer. In absence of applied bias and for a relatively thin barrier the perpendicular component of the spin torque to the interface is non-zero due to the exchange coupling between the FM layers across the barrier. △ Less

Submitted 30 August, 2005; originally announced August 2005.

Comments: 6 pages, 3 figures

Journal ref: J. Appl. Phys. 99, 08G501 (2006)