-
The infrastructure powering IBM's Gen AI model development
Authors:
Talia Gershon,
Seetharami Seelam,
Brian Belgodere,
Milton Bonilla,
Lan Hoang,
Danny Barnett,
I-Hsin Chung,
Apoorve Mohan,
Ming-Hung Chen,
Lixiang Luo,
Robert Walkup,
Constantinos Evangelinos,
Shweta Salaria,
Marc Dombrowa,
Yoonho Park,
Apo Kayi,
Liran Schour,
Alim Alim,
Ali Sydney,
Pavlos Maniotis,
Laurent Schares,
Bernard Metzler,
Bengi Karacali-Akyamac,
Sophia Wen,
Tatsuhiro Chiba
, et al. (121 additional authors not shown)
Abstract:
AI Infrastructure plays a key role in the speed and cost-competitiveness of develo** and deploying advanced AI models. The current demand for powerful AI infrastructure for model training is driven by the emergence of generative AI and foundational models, where on occasion thousands of GPUs must cooperate on a single training job for the model to be trained in a reasonable time. Delivering effi…
▽ More
AI Infrastructure plays a key role in the speed and cost-competitiveness of develo** and deploying advanced AI models. The current demand for powerful AI infrastructure for model training is driven by the emergence of generative AI and foundational models, where on occasion thousands of GPUs must cooperate on a single training job for the model to be trained in a reasonable time. Delivering efficient and high-performing AI training requires an end-to-end solution that combines hardware, software and holistic telemetry to cater for multiple types of AI workloads. In this report, we describe IBM's hybrid cloud infrastructure that powers our generative AI model development. This infrastructure includes (1) Vela: an AI-optimized supercomputing capability directly integrated into the IBM Cloud, delivering scalable, dynamic, multi-tenant and geographically distributed infrastructure for large-scale model training and other AI workflow steps and (2) Blue Vela: a large-scale, purpose-built, on-premises hosting environment that is optimized to support our largest and most ambitious AI model training tasks. Vela provides IBM with the dual benefit of high performance for internal use along with the flexibility to adapt to an evolving commercial landscape. Blue Vela provides us with the benefits of rapid development of our largest and most ambitious models, as well as future-proofing against the evolving model landscape in the industry. Taken together, they provide IBM with the ability to rapidly innovate in the development of both AI models and commercial offerings.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Gyrokinetic flux-driven simulations in mixed TEM/ITG regime using a delta-f PIC scheme with evolving background
Authors:
Moahan Murugappan,
Laurent Villard,
Stephan Brunner,
Giovanni Di Giannatale,
Ben Fynney McMillan,
Alberto Bottino
Abstract:
In the context of global gyrokinetic simulations of turbulence using a Particle-In-Cell framework, verifying the delta-f assumption with a fixed background distribution becomes challenging when determining quasi-steady state profiles corresponding to given sources over long time scales, where plasma profiles can evolve significantly. The advantage of low relative sampling noise afforded by the del…
▽ More
In the context of global gyrokinetic simulations of turbulence using a Particle-In-Cell framework, verifying the delta-f assumption with a fixed background distribution becomes challenging when determining quasi-steady state profiles corresponding to given sources over long time scales, where plasma profiles can evolve significantly. The advantage of low relative sampling noise afforded by the delta-f scheme is shown to be retained by considering the background as a time-evolving Maxwellian with time-dependent density and temperature profiles. Implementation of this adaptive scheme to simulate electrostatic collisionless flux-driven turbulence in tokamak plasmas show small and non-increasing sampling noise levels, which would otherwise increase indefinitely with a stationary background scheme. The adaptive scheme furthermore allows one to reach numerically converged results of quasi-steady state with much lower marker numbers.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Gyrokinetic investigation of toroidal Alfven eigenmode (TAE) turbulence
Authors:
Ajay C. J.,
Ben McMillan,
Arkaprava Bokshi,
Alessandro di Siena,
M. J. Pueschel,
Juan Ruiz Ruiz
Abstract:
Toroidal Alfvén eigenmodes (TAEs) can transport fusion-born energetic particles out of the plasma volume, thereby decreasing plasma self-heating efficiency and possibly damaging reactor walls. Therefore, understanding TAE destabilisation and identifying saturation mechanisms is crucial to achieving burning plasma. While TAEs have been studies extensively in the past using kinetic-MHD codes, here a…
▽ More
Toroidal Alfvén eigenmodes (TAEs) can transport fusion-born energetic particles out of the plasma volume, thereby decreasing plasma self-heating efficiency and possibly damaging reactor walls. Therefore, understanding TAE destabilisation and identifying saturation mechanisms is crucial to achieving burning plasma. While TAEs have been studies extensively in the past using kinetic-MHD codes, here a fully gyrokinetic study is employed which allows for additional physics. In the case studied, the primary drive mechanism is identified as the resonance between the magnetic drifts and the TAE, and this is seen to be disrupted by equilibrium flow shear which can stabilize the mode by rotating it in the the poloidal plane. It is found that zonal flows do not play a significant role in the saturation of these TAEs, and there are no saturation mechanisms present in the local gyrokinetic picture that are able to saturate the mode at physically relevant transport levels in the case of TAE-only turbulence. Instead, we confirm that the global profile flattening of fast-ion density is the key saturation mechanism. The nonlinear excitation of TAE travelling along the electron diamagnetic direction and its beating with the ion diamagnetic TAE, resulting in large amplitude oscillations that may help detect TAEs more easily in tokamaks, is also reported.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
A characterization of Pfaffian embeddings from (2, 3, 5)- into flat (4, 7)-geometries
Authors:
Benjamin McMillan
Abstract:
Given two smooth manifolds with tangent subbundle distributions, an embedding is Pfaffian if its differential sends the distribution on the source into the distribution on the target. In this paper, we consider the question of existence of Pfaffian embeddings in the specific case where the source is a (2,3,5)-manifold, the target is the 7-dimensional space of isotropic 2-planes in a 6-dimensional…
▽ More
Given two smooth manifolds with tangent subbundle distributions, an embedding is Pfaffian if its differential sends the distribution on the source into the distribution on the target. In this paper, we consider the question of existence of Pfaffian embeddings in the specific case where the source is a (2,3,5)-manifold, the target is the 7-dimensional space of isotropic 2-planes in a 6-dimensional symplectic vector space, and the Pfaffian condition is that the derived 3-distribution on the source be mapped into the natural 4-distribution on the target. This is one of the simpler non-trivial cases of the general question on existence of Pfaffian embeddings, but already the answer here requires solution of an interesting differential equation. It turns out that a generic (2,3,5)-manifold does not embed, the first obstruction being the fact that a Pfaffian embeddable (2,3,5)-manifold necessarily has a double root for its Cartan quartic at each point. We determine a complete characterization of embeddable (2,3,5)-manifolds in terms of their associated Cartan geometries, which characterization depends on higher order (non-harmonic) curvature as well.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Ion temperature gradient mode mitigation by energetic particles, mediated by forced-driven zonal flows
Authors:
Juvert Njeck Sama,
Alessandro Biancalani,
Alberto Bottino,
Daniele Del Sarto,
Remi Dumont,
Giovanni. Di Giannatale,
Alain Ghizzo,
Thomas Hayward-Schneider,
Philipp Lauber,
Ben McMillan,
Alexey Mishchenko,
Moahan Muruggapan,
Brando Rettino,
Baruch Rofman,
Francesco Vannini,
Laurent Villard,
Xin Wang
Abstract:
In this work, we use the global electromagnetic and electrostatic gyro kinetic approaches to investigate the effects of zonal flows forced-driven by Alfvén modes due to their excitation by energetic particles (EPs), on the dynamics of ITG (Ion temperature gradient) instabilities. The equilibrium of the 92416 JET tokamak shot is considered. The linear and nonlinear Alfvén modes dynamics, as well as…
▽ More
In this work, we use the global electromagnetic and electrostatic gyro kinetic approaches to investigate the effects of zonal flows forced-driven by Alfvén modes due to their excitation by energetic particles (EPs), on the dynamics of ITG (Ion temperature gradient) instabilities. The equilibrium of the 92416 JET tokamak shot is considered. The linear and nonlinear Alfvén modes dynamics, as well as the zonal flow dynamics, are investigated and their respective radial structures and saturation levels are reported. ITG dynamics in the presence of the zonal flows excited by these Alfvén modes are also investigated. We find that, the zonal flows forced-driven by Alfvén modes can significantly impact the ITG dynamics. A zonal flow amplitude scan reveals the existence of an inverse relation between the zonal flow amplitude and the ITG growth rate. These results show that, forced-driven zonal flows can be an important indirect part of turbulence mitigation due to the injection of energetic particles.
△ Less
Submitted 9 January, 2024;
originally announced January 2024.
-
Anatomy and Physiology of Artificial Intelligence in PET Imaging
Authors:
Tyler J. Bradshaw,
Alan B. McMillan
Abstract:
The influence of artificial intelligence (AI) within the field of nuclear medicine has been rapidly growing. Many researchers and clinicians are seeking to apply AI within PET, and clinicians will soon find themselves engaging with AI-based applications all along the chain of molecular imaging, from image reconstruction to enhanced reporting. This expanding presence of AI in PET imaging will resul…
▽ More
The influence of artificial intelligence (AI) within the field of nuclear medicine has been rapidly growing. Many researchers and clinicians are seeking to apply AI within PET, and clinicians will soon find themselves engaging with AI-based applications all along the chain of molecular imaging, from image reconstruction to enhanced reporting. This expanding presence of AI in PET imaging will result in greater demand for educational resources for those unfamiliar with AI. The objective of this article to is provide an illustrated guide to the core principles of modern AI, with specific focus on aspects that are most likely to be encountered in PET imaging. We describe convolutional neural networks, algorithm training, and explain the components of the commonly used U-Net for segmentation and image synthesis.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Bind-and-bend model for DNA loo**
Authors:
Michael Liaofan Liu,
Daniel W. Oo,
Ryan B. McMillan,
Ashley R. Carter
Abstract:
DNA loo** is important in DNA condensation and regulation. One method for forming a DNA loop, thought to be used by the condensing agent protamine, is bind-and-bend. In bind-and-bend, molecules bind all along the DNA, each creating a bend in the DNA. Eventually, enough bending leads to the formation of a loop. Here, we adapt theory for DNA bending by cations to create a simple bind-and-bend mode…
▽ More
DNA loo** is important in DNA condensation and regulation. One method for forming a DNA loop, thought to be used by the condensing agent protamine, is bind-and-bend. In bind-and-bend, molecules bind all along the DNA, each creating a bend in the DNA. Eventually, enough bending leads to the formation of a loop. Here, we adapt theory for DNA bending by cations to create a simple bind-and-bend model. To test the model, we simulate bending and loo** by the condensing agent protamine and compare the output of the simulation to experimental data. The model captures several interesting features of the data including: the curvature of the DNA due to both protamine-induced bending and thermal fluctuations, the small circumference of the loops (200-300 bp), the bias in the location where the loop forms, and the emergence of multi-looped flower structures. The model leads to insight into where protamine binds, how it bends DNA, and how it creates one or more DNA loops. More broadly, the model could be useful in understanding the compaction of nucleic acids or polyelectrolytes.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
The range of a connection and a Calabi operator for Lorentzian locally symmetric spaces
Authors:
Federico Costanza,
Michael Eastwood,
Thomas Leistner,
Benjamin McMillan
Abstract:
For semi-Riemannian manifolds of constant sectional curvature, the Calabi operator is a second order linear differential operator that provides local integrability conditions for the range of the Killing operator. In this article, extending earlier results in the Riemannian setting, we identify the Lorentzian locally symmetric spaces on which the Calabi operator is sufficient to identify the range…
▽ More
For semi-Riemannian manifolds of constant sectional curvature, the Calabi operator is a second order linear differential operator that provides local integrability conditions for the range of the Killing operator. In this article, extending earlier results in the Riemannian setting, we identify the Lorentzian locally symmetric spaces on which the Calabi operator is sufficient to identify the range of the Killing operator. Specifically, this is always the case for indecomposable spaces and we identify precisely those products for which it fails. Our method is quite general in that we firstly develop criteria to be in the range of a connection, viewed as a linear differential operator. Then we ascertain how these criteria apply in the case of what we call the Killing connection.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Gyrokinetic simulations of turbulence and zonal flows driven by steep profile gradients using a delta-f approach with an evolving background Maxwellian
Authors:
Moahan Murugappan,
Laurent Villard,
Stephan Brunner,
Ben Fynney McMillan,
Alberto Bottino
Abstract:
Long global gyrokinetic turbulence simulations are particularly challenging in situations where the system deviates strongly from its initial state and when fluctuation level are high e.g. in strong gradient regions. For Particle-in-Cell simulations, statistical sampling noise accumulation from large marker weights due to large deviations from the control variate of a delta-f scheme make such simu…
▽ More
Long global gyrokinetic turbulence simulations are particularly challenging in situations where the system deviates strongly from its initial state and when fluctuation level are high e.g. in strong gradient regions. For Particle-in-Cell simulations, statistical sampling noise accumulation from large marker weights due to large deviations from the control variate of a delta-f scheme make such simulations often impractical. An adaptive control variate in the form of a flux-surface-averaged Maxwellian with a time-dependent temperature profile is introduced in an attempt to alleviate the former problem. Under simplified collisionless physics, this adaptive delta-f scheme is shown to reduce noise accumulation in the zonal flows and the simulated heat flux in a quasi-steady turbulent state. The method also avoids the collapse of the signal-to-noise ratio which occurs in the standard non-adaptive scheme, and therefore, allows one to reach numerically converged results even with lower marker numbers.
△ Less
Submitted 31 August, 2022;
originally announced August 2022.
-
Microtearing turbulence saturation via electron temperature flattening at low-order rational surfaces
Authors:
Ajay C. J.,
Ben McMillan,
M. J. Pueschel
Abstract:
Microtearing instability is one of the major sources of turbulent transport in high-$β$ tokamaks. These modes lead to very localized transport at low-order rational magnetic field lines, and we show that flattening of the local electron temperature gradient at these rational surfaces plays an important role in setting the saturated flux level in microtearing turbulence. This process depends crucia…
▽ More
Microtearing instability is one of the major sources of turbulent transport in high-$β$ tokamaks. These modes lead to very localized transport at low-order rational magnetic field lines, and we show that flattening of the local electron temperature gradient at these rational surfaces plays an important role in setting the saturated flux level in microtearing turbulence. This process depends crucially on the density of rational surfaces, and thus the system-size, and gives rise to a worse-than-gyro-Bohm transport scaling for system-sizes typical of existing tokamaks and simulations.
△ Less
Submitted 18 May, 2023; v1 submitted 19 July, 2022;
originally announced July 2022.
-
A Calabi operator for Riemannian locally symmetric spaces
Authors:
Federico Costanza,
Michael Eastwood,
Thomas Leistner,
Benjamin McMillan
Abstract:
On a Riemannian manifold of constant curvature, the Calabi operator is a second order linear differential operator that provides local integrability conditions for the range of the Killing operator. We generalise this operator to provide linear second order local integrability conditions on Riemannian locally symmetric spaces, whenever this is possible. Specifically, we show that this generalised…
▽ More
On a Riemannian manifold of constant curvature, the Calabi operator is a second order linear differential operator that provides local integrability conditions for the range of the Killing operator. We generalise this operator to provide linear second order local integrability conditions on Riemannian locally symmetric spaces, whenever this is possible. Specifically, we show that this generalised operator always works in the irreducible case and we identify precisely those products for which it fails.
△ Less
Submitted 27 December, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
AI-based data corrections for attenuation and scatter in PET and SPECT
Authors:
Alan B. McMillan,
Tyler J. Bradshaw
Abstract:
Recent developments in artificial intelligence technology have enabled new developments that can improve attenuation and scatter correction in PET and SPECT. These technologies will enable the use of accurate and quantitative imaging without the need to acquire a CT image, greatly expanding the capability of PET/MRI, PET-only, and SPECT-only scanners. The use of AI to aid in scatter correction wil…
▽ More
Recent developments in artificial intelligence technology have enabled new developments that can improve attenuation and scatter correction in PET and SPECT. These technologies will enable the use of accurate and quantitative imaging without the need to acquire a CT image, greatly expanding the capability of PET/MRI, PET-only, and SPECT-only scanners. The use of AI to aid in scatter correction will lead to improvements in image reconstruction speed, and improve patient throughput. This paper outlines the use of these new tools, surveys contemporary implementation, and discusses their limitations.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
Chern-Weil theory for Haefliger-singular foliations
Authors:
Lachlan Ewen MacDonald,
Benjamin McMillan
Abstract:
We give a Chern-Weil map for the Gel'fand-Fuks characteristic classes of Haefliger-singular foliations, those foliations defined by smooth Haefliger structures with dense regular set. Our characteristic map constructs, out of singular geometric structures adapted to singularities, explicit forms representing characteristic classes in de Rham cohomology. The forms are functorial under foliation mor…
▽ More
We give a Chern-Weil map for the Gel'fand-Fuks characteristic classes of Haefliger-singular foliations, those foliations defined by smooth Haefliger structures with dense regular set. Our characteristic map constructs, out of singular geometric structures adapted to singularities, explicit forms representing characteristic classes in de Rham cohomology. The forms are functorial under foliation morphisms. We prove that the theory applies, up to homotopy, to general smooth Haefliger structures: subject only to obvious necessary dimension constraints, every smooth Haefliger structure is homotopic to a Haefliger-singular foliation, and any morphism of Haefliger structures is homotopic to a morphism of Haefliger-singular foliations. As an application, we provide a generalisation to the singular setting of the classical construction of forms representing the Godbillon-Vey invariant.
△ Less
Submitted 12 March, 2022; v1 submitted 18 June, 2021;
originally announced June 2021.
-
DNA toroids form via a flower intermediate
Authors:
Ryan B. McMillan,
Hilary Bediako,
Luka M. Devenica,
Yuxing E. Ma,
Donna M. Roscoe,
Ashley R. Carter
Abstract:
DNA in sperm cells must undergo an extreme compaction to almost crystalline packing levels. To produce this dense packing, DNA is condensed by protamine, a positively charged protein that loops the DNA into a toroid. Our goal is to determine the pathway and mechanism for toroid formation. We first imaged short-length (L=217-1023 nm) DNA molecules in 0-5.0 $μ$M protamine using an atomic force micro…
▽ More
DNA in sperm cells must undergo an extreme compaction to almost crystalline packing levels. To produce this dense packing, DNA is condensed by protamine, a positively charged protein that loops the DNA into a toroid. Our goal is to determine the pathway and mechanism for toroid formation. We first imaged short-length (L=217-1023 nm) DNA molecules in 0-5.0 $μ$M protamine using an atomic force microscope (AFM). At low protamine concentrations (0.2-0.6 $μ$M), molecules dramatically condensed, folding into a flower structure. Dynamic folding measurements of the DNA using a tethered particle motion (TPM) assay revealed a corresponding, initial folding event, which was >3 loops at L=398 nm. The initial folding event was made up of smaller (<1 loop) events that had similar dynamics as protamine-induced bending. This suggests that flowers form in an initial step as protamine binds and bends the DNA. It was not until higher protamine concentrations (>2 $μ$M) that DNA in the AFM assay formed small (<10 loop), vertically packed toroids. Taken together, these results lead us to propose a nucleation-growth model of toroid formation that includes a flower intermediate. This pathway is important in both in vivo DNA condensation and in vitro engineering of DNA nanostructures.
△ Less
Submitted 13 January, 2021;
originally announced January 2021.
-
How eigenmode self-interaction affects zonal flows and convergence of tokamak core turbulence with toroidal system size
Authors:
Ajay C. J.,
Stephan Brunner,
Ben McMillan,
Justin Ball,
Julien Dominski,
Gabriele Merlo
Abstract:
Self-interaction is the process by which a microturbulence eigenmode that is extended along the direction parallel to the magnetic field interacts with itself non-linearly. This effect is particularly significant in gyrokinetic simulations accounting for kinetic passing electron dynamics. Self-interaction is known to generate stationary $E\times B$ zonal flow shear layers at radial locations near…
▽ More
Self-interaction is the process by which a microturbulence eigenmode that is extended along the direction parallel to the magnetic field interacts with itself non-linearly. This effect is particularly significant in gyrokinetic simulations accounting for kinetic passing electron dynamics. Self-interaction is known to generate stationary $E\times B$ zonal flow shear layers at radial locations near low order mode rational surfaces [Weikl et. al., Phys. Plasmas 25, 072305 (2018)]. We find however that it also plays a significant role in generating fluctuating zonal flows, which is critical to regulating transport throughout the radial extent. Unlike the usual picture of zonal flow drive where microturbulence eigenmodes coherently amplify the flow, the self-interaction drive of zonal flows from these eigenmodes are uncorrelated with each other. It is shown that the associated shearing rate of the fluctuating zonal flows therefore reduces as more toroidal modes are resolved in the simulation. In flux-tube simulations accounting for the full toroidal domain, such an increase in the density of toroidal modes corresponds to an increase in the system size, leading to a finite system size effect that is distinct from the well-known profile shearing effect.
△ Less
Submitted 2 August, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Robustifying deep networks for image segmentation
Authors:
Zheng Liu,
**nian Zhang,
Varun Jog,
Po-Ling Loh,
Alan B McMillan
Abstract:
Purpose: The purpose of this study is to investigate the robustness of a commonly-used convolutional neural network for image segmentation with respect to visually-subtle adversarial perturbations, and suggest new methods to make these networks more robust to such perturbations. Materials and Methods: In this retrospective study, the accuracy of brain tumor segmentation was studied in subjects wit…
▽ More
Purpose: The purpose of this study is to investigate the robustness of a commonly-used convolutional neural network for image segmentation with respect to visually-subtle adversarial perturbations, and suggest new methods to make these networks more robust to such perturbations. Materials and Methods: In this retrospective study, the accuracy of brain tumor segmentation was studied in subjects with low- and high-grade gliomas. A three-dimensional UNet model was implemented to segment four different MR series (T1-weighted, post-contrast T1-weighted, T2- weighted, and T2-weighted FLAIR) into four pixelwise labels (Gd-enhancing tumor, peritumoral edema, necrotic and non-enhancing tumor, and background). We developed attack strategies based on the Fast Gradient Sign Method (FGSM), iterative FGSM (i-FGSM), and targeted iterative FGSM (ti-FGSM) to produce effective attacks. Additionally, we explored the effectiveness of distillation and adversarial training via data augmentation to counteract adversarial attacks. Robustness was measured by comparing the Dice coefficient for each attack method using Wilcoxon signed-rank tests. Results: Attacks based on FGSM, i-FGSM, and ti-FGSM were effective in significantly reducing the quality of image segmentation with reductions in Dice coefficient by up to 65%. For attack defenses, distillation performed significantly better than adversarial training approaches. However, all defense approaches performed worse compared to unperturbed test images. Conclusion: Segmentation networks can be adversely affected by targeted attacks that introduce visually minor (and potentially undetectable) modifications to existing images. With an increasing interest in applying deep learning techniques to medical imaging data, it is important to quantify the ramifications of adversarial inputs (either intentional or unintentional).
△ Less
Submitted 1 August, 2019;
originally announced August 2019.
-
ORB5: a global electromagnetic gyrokinetic code using the PIC approach in toroidal geometry
Authors:
E. Lanti,
N. Ohana,
N. Tronko,
T. Hayward-Schneider,
A. Bottino,
B. F. McMillan,
A. Mishchenko,
A. Scheinberg,
A. Biancalani,
P. Angelino,
S. Brunner,
J. Dominski,
P. Donnel,
C. Gheller,
R. Hatzky,
A. Jocksch,
S. Jolliet,
Z. X. Lu,
J. P. Martin Collar,
I. Novikau,
E. Sonnendrücker,
T. Vernay,
L. Villard
Abstract:
This paper presents the current state of the global gyrokinetic code ORB5 as an update of the previous reference [Jolliet et al., Comp. Phys. Commun. 177 409 (2007)]. The ORB5 code solves the electromagnetic Vlasov-Maxwell system of equations using a PIC scheme and also includes collisions and strong flows. The code assumes multiple gyrokinetic ion species at all wavelengths for the polarization d…
▽ More
This paper presents the current state of the global gyrokinetic code ORB5 as an update of the previous reference [Jolliet et al., Comp. Phys. Commun. 177 409 (2007)]. The ORB5 code solves the electromagnetic Vlasov-Maxwell system of equations using a PIC scheme and also includes collisions and strong flows. The code assumes multiple gyrokinetic ion species at all wavelengths for the polarization density and drift-kinetic electrons. Variants of the physical model can be selected for electrons such as assuming an adiabatic response or a ``hybrid'' model in which passing electrons are assumed adiabatic and trapped electrons are drift-kinetic. A Fourier filter as well as various control variates and noise reduction techniques enable simulations with good signal-to-noise ratios at a limited numerical cost. They are completed with different momentum and zonal flow-conserving heat sources allowing for temperature-gradient and flux-driven simulations. The code, which runs on both CPUs and GPUs, is well benchmarked against other similar codes and analytical predictions, and shows good scalability up to thousands of nodes.
△ Less
Submitted 6 May, 2019;
originally announced May 2019.
-
The effect of background flow shear on gyrokinetic turbulence in the cold ion limit
Authors:
Justin Ball,
Stephan Brunner,
Ben F. McMillan
Abstract:
The cold ion limit of the local gyrokinetic model is rigorously taken to produce a nonlinear system of fluid equations that includes background flow shear. No fluid closure is required. By considering a simple slab geometry with magnetic drifts, but no magnetic shear, these fluid equations reduce to the Charney-Hasegawa-Mima model in the presence of flow shear. Analytic solutions to this model are…
▽ More
The cold ion limit of the local gyrokinetic model is rigorously taken to produce a nonlinear system of fluid equations that includes background flow shear. No fluid closure is required. By considering a simple slab geometry with magnetic drifts, but no magnetic shear, these fluid equations reduce to the Charney-Hasegawa-Mima model in the presence of flow shear. Analytic solutions to this model are found to study the impact of ExB flow shear on the stability of a single Parallel Velocity Gradient (PVG) driven mode. Additionally, the model is used to investigate the effect of background ExB flow shear on the basic three-mode nonlinear coupling, which reveals differences between zonal and non-zonal modes. These analytic results agree with gyrokinetic simulations and can serve to benchmark the numerical implementation of flow shear and nonlinear coupling.
△ Less
Submitted 26 March, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Geometry and Conservation Laws for a Class of Second-Order Parabolic Equations II: Conservation Laws
Authors:
Benjamin B. McMillan
Abstract:
I consider the existence and structure of conservation laws for the general class of evolutionary scalar second-order differential equations with parabolic symbol. First I calculate the linearized characteristic cohomology for such equations. This provides an auxiliary differential equation satisfied by the conservation laws of a given parabolic equation. This is used to show that conservation law…
▽ More
I consider the existence and structure of conservation laws for the general class of evolutionary scalar second-order differential equations with parabolic symbol. First I calculate the linearized characteristic cohomology for such equations. This provides an auxiliary differential equation satisfied by the conservation laws of a given parabolic equation. This is used to show that conservation laws for any evolutionary parabolic equation depend on at most second derivatives of solutions. As a corollary, it is shown that the only evolutionary parabolic equations with at least one non-trivial conservation law are of Monge-Ampère type.
△ Less
Submitted 11 May, 2021; v1 submitted 4 October, 2018;
originally announced October 2018.
-
Geometry and Conservation Laws for a Class of Second-Order Parabolic Equations I: Geometry
Authors:
Benjamin B. McMillan
Abstract:
I consider the geometry of the general class of scalar 2nd-order differential equations with parabolic symbol, including non-linear and non-evolutionary parabolic equations. After defining the appropriate $G$-structure to model parabolic equations, I apply Cartan techniques to determine local geometric invariants (quantities invariant up to a generalized change of variables). One family of invaria…
▽ More
I consider the geometry of the general class of scalar 2nd-order differential equations with parabolic symbol, including non-linear and non-evolutionary parabolic equations. After defining the appropriate $G$-structure to model parabolic equations, I apply Cartan techniques to determine local geometric invariants (quantities invariant up to a generalized change of variables). One family of invariants gives a geometric characterization for parabolic equation of Monge-Ampère type. A second family of invariants determines when a parabolic equation has a local choice of coordinates putting it in evolutionary form.
In addition to their intrinsic interest, these results are applied in a follow up paper on the conservation laws of parabolic equations. It is shown there that conservation laws for any evolutionary parabolic equation depend on at most second derivatives of solutions. As a corollary, the only evolutionary parabolic equations with at least one non-trivial conservation law are of Monge-Ampère type.
△ Less
Submitted 15 February, 2020; v1 submitted 30 September, 2018;
originally announced October 2018.
-
Simple advecting structures and the edge of chaos in subcritical tokamak plasmas
Authors:
Ben F. McMillan,
Chris C. T. Pringle,
Bogdan Teaca
Abstract:
In tokamak plasmas, sheared flows perpendicular to the driving temperature gradients can strongly stabilize linear modes. While the system is linearly stable, regimes with persistent nonlinear turbulence may develop, i.e. the system is subcritical. A perturbation with small but finite amplitude may be sufficient to push the plasma into a regime where nonlinear effects are dominant and thus allow s…
▽ More
In tokamak plasmas, sheared flows perpendicular to the driving temperature gradients can strongly stabilize linear modes. While the system is linearly stable, regimes with persistent nonlinear turbulence may develop, i.e. the system is subcritical. A perturbation with small but finite amplitude may be sufficient to push the plasma into a regime where nonlinear effects are dominant and thus allow sustained turbulence. The minimum threshold for nonlinear instability to be triggered provides a criterion for assessing whether a tokamak is likely to stay in the quiescent (laminar) regime. At the critical amplitude, instead of transitioning to the turbulent regime or decaying to a laminar state, the trajectory will map out the edge of chaos. Surprisingly, a quasi-traveling-wave solution is found as an attractor on this edge manifold. This simple advecting solution is qualitatively similar to, but simpler than, the avalanche-like bursts seen in earlier turbulent simulations and provides an insight into how turbulence is sustained in subcritical plasma systems. For large flow shearing rate, the system is only convectively unstable, and given a localised initial perturbation, will eventually return to a laminar state at a fixed spatial location.
△ Less
Submitted 12 November, 2018; v1 submitted 23 February, 2018;
originally announced February 2018.
-
Simulating background shear flow in local gyrokinetic simulations
Authors:
B. F. McMillan,
J. Ball,
S. Brunner
Abstract:
Local gyrokinetic simulations solve the gyrokinetic equations with homogeneous background gradients, typically using a doubly periodic domain in the (x,y) plane (i.e. perpendicular to the field line). Spatial Fourier representations are almost universal in local gyrokinetic codes, and the wavevector-remap method was introduced in [Hammett et. al., Bull Am Phys Soc VP1 136, (2006)] as a simple meth…
▽ More
Local gyrokinetic simulations solve the gyrokinetic equations with homogeneous background gradients, typically using a doubly periodic domain in the (x,y) plane (i.e. perpendicular to the field line). Spatial Fourier representations are almost universal in local gyrokinetic codes, and the wavevector-remap method was introduced in [Hammett et. al., Bull Am Phys Soc VP1 136, (2006)] as a simple method for expressing the local gyrokinetic equations with a background shear flow in a Fourier representation. Although extensively applied, the wavevector-remap method has not been formally shown to converge, and suffers from known unphysicality when the solutions are plotted in real space [Fox et. al. PPCF 59, 044008]. In this work, we use an analytic solution in slab geometry to demonstrate that wavevector-remap leads to incorrect smeared non-linear coupling between modes. We derive a correct, relatively simple method for solving local gyrokinetics in Fourier space with a background shear flow, and compare this to the wavevector-remap method. This allows us to show that the error in wavevector-remap can be seen as an incorrect rounding in wavenumber space in the nonlinear term. By making minor modifications to the nonlinear term, we implement the corrected wavevector-remap scheme in the GENE[25] code and compare results of the original and corrected wavevector-remap for standard nonlinear benchmark cases. Certain physical phenomena are impacted by the errors in the original remap scheme, and these numerical artefacts do not reduce as system size increases: that is, original wavevector-remap scheme does not converge to the correct result.
△ Less
Submitted 15 January, 2019; v1 submitted 10 November, 2017;
originally announced November 2017.
-
A nonlinear approach to transition in subcritical plasmas with sheared flow
Authors:
Chris C. T. Pringle,
Ben F. McMillan,
Bogdan Teaca
Abstract:
In many plasma systems, introducing a small background shear flow is enough to stabilize the system linearly. The nonlinear dynamics are much less sensitive to sheared flows than the average linear growthrates, and very small amplitude perturbations can lead to sustained turbulence. We explore the general problem of characterizing how and when the transition from near-laminar states to sustained t…
▽ More
In many plasma systems, introducing a small background shear flow is enough to stabilize the system linearly. The nonlinear dynamics are much less sensitive to sheared flows than the average linear growthrates, and very small amplitude perturbations can lead to sustained turbulence. We explore the general problem of characterizing how and when the transition from near-laminar states to sustained turbulence occurs; a model of the interchange instability being used as a concrete example. These questions are fundamentally nonlinear, and the answers must go beyond the linear transient amplification of small perturbations. Two methods that account for nonlinear interactions are therefore explored here. The first method explored is edge tracking, which identifies the boundary between the basins of attraction of the laminar and turbulent states. Here, the edge is found to be structured around an exact, localized, traveling wave solution; a solution that is qualitatively similar to avalanche-like bursts seen in the turbulent regime. The second method is an application of nonlinear, non-modal stability theory which allows us to identify the smallest disturbances which can trigger turbulence (the minimal seed for the problem) and hence to quantify how stable the laminar regime is. The results obtained from these fully nonlinear methods provides confidence in the derivation of a semi-analytic approximation for the minimal seed.
△ Less
Submitted 8 December, 2017; v1 submitted 11 August, 2017;
originally announced August 2017.
-
Overview of recent physics results from MAST
Authors:
A Kirk,
J Adamek,
RJ Akers,
S Allan,
L Appel,
F Arese Lucini,
M Barnes,
T Barrett,
N Ben Ayed,
W Boeglin,
J Bradley,
P K Browning,
J Brunner,
P Cahyna,
M Carr,
F Casson,
M Cecconello,
C Challis,
IT Chapman,
S Chapman,
S Conroy,
N Conway,
WA Cooper,
M Cox,
N Crocker
, et al. (138 additional authors not shown)
Abstract:
New results from MAST are presented that focus on validating models in order to extrapolate to future devices. Measurements during start-up experiments have shown how the bulk ion temperature rise scales with the square of the reconnecting field. During the current ramp up models are not able to correctly predict the current diffusion. Experiments have been performed looking at edge and core turbu…
▽ More
New results from MAST are presented that focus on validating models in order to extrapolate to future devices. Measurements during start-up experiments have shown how the bulk ion temperature rise scales with the square of the reconnecting field. During the current ramp up models are not able to correctly predict the current diffusion. Experiments have been performed looking at edge and core turbulence. At the edge detailed studies have revealed how filament characteristic are responsible for determining the near and far SOL density profiles. In the core the intrinsic rotation and electron scale turbulence have been measured. The role that the fast ion gradient has on redistributing fast ions through fishbone modes has led to a redesign of the neutral beam injector on MAST Upgrade. In H-mode the turbulence at the pedestal top has been shown to be consistent with being due to electron temperature gradient modes. A reconnection process appears to occur during ELMs and the number of filaments released determines the power profile at the divertor. Resonant magnetic perturbations can mitigate ELMs provided the edge peeling response is maximised and the core kink response minimised. The mitigation of intrinsic error fields with toroidal mode number n>1 has been shown to be important for plasma performance.
△ Less
Submitted 18 November, 2016;
originally announced November 2016.
-
A partially mesh-free scheme for representing anisotropic spatial variations along field lines
Authors:
Ben F McMillan
Abstract:
A common numerical task is to represent functions which are highly spatially anisotropic, and to solve differential equations related to these functions. One way such anisotropy arises is that information transfer along one spatial direction is much faster than in others. In this situation, the derivative of the function is small in the local direction of a vector field $\mathbf{b}$. In order to d…
▽ More
A common numerical task is to represent functions which are highly spatially anisotropic, and to solve differential equations related to these functions. One way such anisotropy arises is that information transfer along one spatial direction is much faster than in others. In this situation, the derivative of the function is small in the local direction of a vector field $\mathbf{b}$. In order to define a discrete representation, a set of surfaces $M_i$ indexed by an integer $i$ are chosen such that map** along the field $\mathbf{b}$ induces a one-to-one relation between the points on surface $M_i$ to those on $M_{i+1}$. For simple cases $M_i$ may be surfaces of constant coordinate value. On each surface $M_i$, a function description is constructed using basis functions defined on a regular structured mesh. The definition of each basis function is extended from the surface $M$ along the lines of the field $\mathbf{b}$ by multiplying it by a smooth compact support function whose argument increases with distance along $\mathbf{b}$. Function values are evaluated by summing contributions associated with each surface $M_i$. This does not require any special connectivity of the meshes used in the neighbouring surfaces $M$, which substantially simplifies the meshing problem compared to attempting to find a space filling anisotropic mesh. We explore the numerical properties of the scheme, and show that it can be used to efficiently solve differential equations for certain anisotropic problems.
△ Less
Submitted 19 August, 2016;
originally announced August 2016.
-
A very general electromagnetic gyrokinetic formalism
Authors:
Ben F McMillan,
Amil Sharma
Abstract:
We derive a gyrokinetic formalism which is very generally valid: the ordering allows both large inhomogeneities in plasma flow and magnetic field at long wavelength, like typical drift-kinetic theories, as well as fluctuations at the gyro-scale. The underlying approach is to order the vorticity to be small, and to assert that the timescales in the local plasma frame are long compared to the gyrofr…
▽ More
We derive a gyrokinetic formalism which is very generally valid: the ordering allows both large inhomogeneities in plasma flow and magnetic field at long wavelength, like typical drift-kinetic theories, as well as fluctuations at the gyro-scale. The underlying approach is to order the vorticity to be small, and to assert that the timescales in the local plasma frame are long compared to the gyrofrequency. Unlike most other derivations, we do not treat the long and short wavelength components of the fluctuating fields separately; the single-field description defines the particle motion and their interaction with the electromagnetic field at small-scale, the system-scale, and intermediate length scales in a unified fashion. As in earlier literature, the work consists of identifying a coordinate system where the gyroangle-dependent terms are small, and using a near-unity transform to systematically find a set of coordinates where the gyroangle dependence vanishes.
△ Less
Submitted 21 March, 2016; v1 submitted 16 December, 2015;
originally announced December 2015.
-
A reanalysis of a strong-flow gyrokinetic formalism
Authors:
A. Y. Sharma,
B. F. McMillan
Abstract:
We reanalyse an arbitrary-wavelength gyrokinetic formalism [A. M. Dimits, Phys. Plasmas $\bf17$, 055901 (2010)], which orders only the vorticity to be small and allows strong, time-varying flows on medium and long wavelengths. We obtain a simpler gyrocentre Lagrangian up to second order. In addition, the gyrokinetic Poisson equation, derived either via variation of the system Lagrangian or explici…
▽ More
We reanalyse an arbitrary-wavelength gyrokinetic formalism [A. M. Dimits, Phys. Plasmas $\bf17$, 055901 (2010)], which orders only the vorticity to be small and allows strong, time-varying flows on medium and long wavelengths. We obtain a simpler gyrocentre Lagrangian up to second order. In addition, the gyrokinetic Poisson equation, derived either via variation of the system Lagrangian or explicit density calculation, is consistent with that of the weak-flow gyrokinetic formalism [T. S. Hahm, Phys. Fluids $\bf31$, 2670 (1988)] at all wavelengths in the weak flow limit. The reanalysed formalism has been numerically implemented as a particle-in-cell code. An iterative scheme is described which allows for numerical solution of this system of equations, given the implicit dependence of the Euler-Lagrange equations on the time derivative of the potential.
△ Less
Submitted 14 January, 2015; v1 submitted 28 February, 2014;
originally announced March 2014.
-
Comparison of BES measurements of ion-scale turbulence with direct, gyrokinetic simulations of MAST L-mode plasmas
Authors:
A R Field,
D Dunai,
Y-c Ghim,
P Hill,
B McMillan,
C M Roach,
S Saarelma,
A A Schekochihin,
S Zoletnik,
the MAST team
Abstract:
Observations of ion-scale (k_y*rho_i <= 1) density turbulence of relative amplitude dn_e/n_e <= 0.2% are available on the Mega Amp Spherical Tokamak (MAST) using a 2D (8 radial x 4 poloidal channel) imaging Beam Emission Spectroscopy (BES) diagnostic. Spatial and temporal characteristics of this turbulence, i.e., amplitudes, correlation times, radial and perpendicular correlation lengths and appar…
▽ More
Observations of ion-scale (k_y*rho_i <= 1) density turbulence of relative amplitude dn_e/n_e <= 0.2% are available on the Mega Amp Spherical Tokamak (MAST) using a 2D (8 radial x 4 poloidal channel) imaging Beam Emission Spectroscopy (BES) diagnostic. Spatial and temporal characteristics of this turbulence, i.e., amplitudes, correlation times, radial and perpendicular correlation lengths and apparent phase velocities of the density contours, are determined by means of correlation analysis. For a low-density, L-mode discharge with strong equilibrium flow shear exhibiting an internal transport barrier (ITB) in the ion channel, the observed turbulence characteristics are compared with synthetic density turbulence data generated from global, non-linear, gyro-kinetic simulations using the particle-in-cell (PIC) code NEMORB. This validation exercise highlights the need to include increasingly sophisticated physics, e.g., kinetic treatment of trapped electrons, equilibrium flow shear and collisions, to reproduce most of the characteristics of the observed turbulence. Even so, significant discrepancies remain: an underprediction by the simulations of the turbulence amplituide and heat flux at plasma periphery and the finding that the correlation times of the numerically simulated turbulence are typically two orders of magnitude longer than those measured in MAST. Comparison of these correlation times with various linear timescales suggests that, while the measured turbulence is strong and may be `critically balanced', the simulated turbulence is weak.
△ Less
Submitted 7 January, 2014; v1 submitted 29 June, 2013;
originally announced July 2013.
-
An information-theoretic analog of a result of Perelman
Authors:
Brockway McMillan
Abstract:
Each compact manifold M of finite dimension k is differentiable and supports an intrinsic probability measure. There then exists a measurable transformation of M to the k-dimensional "surface" of the (k+1)-dimensional ball.
Each compact manifold M of finite dimension k is differentiable and supports an intrinsic probability measure. There then exists a measurable transformation of M to the k-dimensional "surface" of the (k+1)-dimensional ball.
△ Less
Submitted 16 November, 2007;
originally announced November 2007.
-
Quantum chaos? Genericity and nongenericity in the MHD spectrum of nonaxisymmetric toroidal plasmas
Authors:
R. L. Dewar,
B. G. Kenny,
C. Nuehrenberg,
T. Tatsuno,
B. F. McMillan
Abstract:
The eigenmode spectrum is a fundamental starting point for the analysis of plasma stability and the onset of turbulence, but the characterization of the spectrum even for the simplest plasma model, ideal magnetohydrodynamics (MHD), is not fully understood. This is especially true in configurations with no continuous geometric symmetry, such as a real tokamak when the discrete nature of the exter…
▽ More
The eigenmode spectrum is a fundamental starting point for the analysis of plasma stability and the onset of turbulence, but the characterization of the spectrum even for the simplest plasma model, ideal magnetohydrodynamics (MHD), is not fully understood. This is especially true in configurations with no continuous geometric symmetry, such as a real tokamak when the discrete nature of the external magnetic field coils is taken into account, or the alternative fusion concept, the stellarator, where axisymmetry is deliberately broken to provide a nonzero winding number (rotational transform) on each invariant torus of the magnetic field line dynamics (assumed for present purposes to be an integrable Hamiltonian system). Quantum (wave) chaos theory provides tools for characterizing the spectrum statistically, from the regular spectrum of the separable case (integrable semiclassical dynamics) to that where the semiclassical ray dynamics is so chaotic that no simple classification of the individual eigenvalues is possible (quantum chaos). The MHD spectrum exhibits certain nongeneric properties, which we show, using a toy model, to be understable from the number-theoretic properties of the asymptotic spectrum in the limit of large toroidal and poloidal mode (quantum) numbers when only a single radial mode number is retained. Much more realistically, using the ideal MHD code CAS3D, we have constructed a data set of several hundred growth-rate eigenvalues for an interchange-unstable three-dimensional stellarator equilibrium with a rather flat, nonmonotonic rotational transform profile. Statistical analysis of eigenvalue spacings shows evidence of generic quantum chaos, which we attribute to the mixing effect of having a large number of radial mode numbers.
△ Less
Submitted 31 August, 2006;
originally announced August 2006.
-
Statistical characterization of the interchange-instability spectrum of a separable ideal-magnetohydrodynamic model system
Authors:
R. L. Dewar,
T. Tatsuno,
Z. Yoshida,
C. Nuehrenberg,
B. F. McMillan
Abstract:
A Suydam-unstable circular cylinder of plasma with periodic boundary conditions in the axial direction is studied within the approximation of linearized ideal magnetohydrodynamics (MHD). The normal mode equations are completely separable, so both the toroidal Fourier harmonic index n and the poloidal index m are good quantum numbers. The full spectrum of eigenvalues for m in the range 1 to m_max…
▽ More
A Suydam-unstable circular cylinder of plasma with periodic boundary conditions in the axial direction is studied within the approximation of linearized ideal magnetohydrodynamics (MHD). The normal mode equations are completely separable, so both the toroidal Fourier harmonic index n and the poloidal index m are good quantum numbers. The full spectrum of eigenvalues for m in the range 1 to m_max is analyzed quantitatively, using asymptotics for large m, numerics for all m, and graphics for qualitative understanding. The density of eigenvalues scales like the square of m_max for large m_max. Because finite-m corrections scale inversely as the square of m_max, their inclusion is essential in order to obtain the correct statistics for the distribution of eigenvalues. Near the largest growth rate only a single radial eigenmode contributes to the spectrum, so the eigenvalues there depend only on m and n, as in a two-dimensional system. However, unlike the generic separable two-dimensional system, the statistics of the ideal-MHD spectrum departs somewhat from the Poisson distribution, even for arbitrarily large m_max. This departure from Poissonian statistics may be understood qualitatively from the nature of the distribution of rational numbers in the rotational transform profile.
△ Less
Submitted 18 May, 2004;
originally announced May 2004.
-
A comparison of incompressible limits for resistive plasmas
Authors:
B. F. McMillan,
R. L. Dewar,
R. G. Storer
Abstract:
The constraint of incompressibility is often used to simplify the magnetohydrodynamic (MHD) description of linearized plasma dynamics because it does not affect the ideal MHD marginal stability point. In this paper two methods for introducing incompressibility are compared in a cylindrical plasma model: In the first method, the limit $γ\to \infty$ is taken, where $γ$ is the ratio of specific hea…
▽ More
The constraint of incompressibility is often used to simplify the magnetohydrodynamic (MHD) description of linearized plasma dynamics because it does not affect the ideal MHD marginal stability point. In this paper two methods for introducing incompressibility are compared in a cylindrical plasma model: In the first method, the limit $γ\to \infty$ is taken, where $γ$ is the ratio of specific heats; in the second, an anisotropic mass tensor $\mathbfρ$ is used, with the component parallel to the magnetic field taken to vanish, $ρ_{\parallel} \to 0$. Use of resistive MHD reveals the nature of these two limits because the Alfvén and slow magnetosonic continua of ideal MHD are converted to point spectra and moved into the complex plane. Both limits profoundly change the slow-magnetosonic spectrum, but only the second limit faithfully reproduces the resistive Alfvén spectrum and its wavemodes. In ideal MHD, the slow magnetosonic continuum degenerates to the Alfvén continuum in the first method, while it is moved to infinity by the second. The degeneracy in the first is broken by finite resistivity. For numerical and semi-analytical study of these models, we choose plasma equilibria which cast light on puzzling aspects of results found in earlier literature.
△ Less
Submitted 2 May, 2004;
originally announced May 2004.