-
Mechanistically analyzing the effects of fine-tuning on procedurally defined tasks
Authors:
Samyak Jain,
Robert Kirk,
Ekdeep Singh Lubana,
Robert P. Dick,
Hidenori Tanaka,
Edward Grefenstette,
Tim Rocktäschel,
David Scott Krueger
Abstract:
Fine-tuning large pre-trained models has become the de facto strategy for develo** both task-specific and general-purpose machine learning systems, including develo** models that are safe to deploy. Despite its clear importance, there has been minimal work that explains how fine-tuning alters the underlying capabilities learned by a model during pretraining: does fine-tuning yield entirely nov…
▽ More
Fine-tuning large pre-trained models has become the de facto strategy for develo** both task-specific and general-purpose machine learning systems, including develo** models that are safe to deploy. Despite its clear importance, there has been minimal work that explains how fine-tuning alters the underlying capabilities learned by a model during pretraining: does fine-tuning yield entirely novel capabilities or does it just modulate existing ones? We address this question empirically in synthetic, controlled settings where we can use mechanistic interpretability tools (e.g., network pruning and probing) to understand how the model's underlying capabilities are changing. We perform an extensive analysis of the effects of fine-tuning in these settings, and show that: (i) fine-tuning rarely alters the underlying model capabilities; (ii) a minimal transformation, which we call a 'wrapper', is typically learned on top of the underlying model capabilities, creating the illusion that they have been modified; and (iii) further fine-tuning on a task where such hidden capabilities are relevant leads to sample-efficient 'revival' of the capability, i.e., the model begins reusing these capability after only a few gradient steps. This indicates that practitioners can unintentionally remove a model's safety wrapper merely by fine-tuning it on a, e.g., superficially unrelated, downstream task. We additionally perform analysis on language models trained on the TinyStories dataset to support our claims in a more realistic setup.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Energy states of Rydberg excitons in finite crystals: From weak to strong confinement
Authors:
Pavel A. Belov,
Florian Morawetz,
Sjard Ole Krüger,
Niklas Scheuler,
Patric Rommel,
Jörg Main,
Harald Giessen,
Stefan Scheel
Abstract:
Due to quantum confinement, excitons in finite-sized crystals behave rather differently than in bulk materials. We investigate the dependence of energies of Rydberg excitons on the strengths of parabolic as well as rectangular confinement potentials in finite-sized crystals. The evolution of the energy levels of hydrogen-like excitons in the crossover region from weak to strong parabolic confineme…
▽ More
Due to quantum confinement, excitons in finite-sized crystals behave rather differently than in bulk materials. We investigate the dependence of energies of Rydberg excitons on the strengths of parabolic as well as rectangular confinement potentials in finite-sized crystals. The evolution of the energy levels of hydrogen-like excitons in the crossover region from weak to strong parabolic confinement is analyzed for different quantum numbers by numerical solution of the two-dimensional Schrödinger equation. The energy spectrum of hydrogen-like excitons in Cu$_{2}$O-based rectangular quantum wells is, in turn, obtained numerically from the solution of the three-dimensional Schrödinger equation as a function of the quantum well width. Various crossings and avoided crossings of Rydberg energy levels are observed and categorized based on the symmetry properties of the exciton wave function. Particular attention is paid to the two limiting cases of narrow and wide quantum wells attributed to strong and weak confinement, respectively. The energies obtained with the pure Coulomb interaction are compared with the results originating from the Rytova-Keldysh potential, i.e., by taking into account the dielectric contrast in the quantum well and in the barrier.
△ Less
Submitted 24 May, 2024; v1 submitted 30 October, 2023;
originally announced October 2023.
-
Time Moves Faster When There is Nothing You Anticipate: The Role of Time in MEV Rewards
Authors:
Burak Öz,
Benjamin Kraner,
Nicolò Vallarano,
Bingle Stegmann Kruger,
Florian Matthes,
Claudio Juan Tessone
Abstract:
This study explores the intricacies of waiting games, a novel dynamic that emerged with Ethereum's transition to a Proof-of-Stake (PoS)-based block proposer selection protocol. Within this PoS framework, validators acquire a distinct monopoly position during their assigned slots, given that block proposal rights are set deterministically, contrasting with Proof-of-Work (PoW) protocols. Consequentl…
▽ More
This study explores the intricacies of waiting games, a novel dynamic that emerged with Ethereum's transition to a Proof-of-Stake (PoS)-based block proposer selection protocol. Within this PoS framework, validators acquire a distinct monopoly position during their assigned slots, given that block proposal rights are set deterministically, contrasting with Proof-of-Work (PoW) protocols. Consequently, validators have the power to delay block proposals, step** outside the honest validator specs, optimizing potential returns through MEV payments. Nonetheless, this strategic behaviour introduces the risk of orphaning if attestors fail to observe and vote on the block timely. Our quantitative analysis of this waiting phenomenon and its associated risks reveals an opportunity for enhanced MEV extraction, exceeding standard protocol rewards, and providing sufficient incentives for validators to play the game. Notably, our findings indicate that delayed proposals do not always result in orphaning and orphaned blocks are not consistently proposed later than non-orphaned ones. To further examine consensus stability under varying network conditions, we adopt an agent-based simulation model tailored for PoS-Ethereum, illustrating that consensus disruption will not be observed unless significant delay strategies are adopted. Ultimately, this research offers valuable insights into the advent of waiting games on Ethereum, providing a comprehensive understanding of trade-offs and potential profits for validators within the blockchain ecosystem.
△ Less
Submitted 11 July, 2023;
originally announced July 2023.
-
Green Federated Learning
Authors:
Ashkan Yousefpour,
Shen Guo,
Ashish Shenoy,
Sayan Ghosh,
Pierre Stock,
Kiwan Maeng,
Schalk-Willem Krüger,
Michael Rabbat,
Carole-Jean Wu,
Ilya Mironov
Abstract:
The rapid progress of AI is fueled by increasingly large and computationally intensive machine learning models and datasets. As a consequence, the amount of compute used in training state-of-the-art models is exponentially increasing (doubling every 10 months between 2015 and 2022), resulting in a large carbon footprint. Federated Learning (FL) - a collaborative machine learning technique for trai…
▽ More
The rapid progress of AI is fueled by increasingly large and computationally intensive machine learning models and datasets. As a consequence, the amount of compute used in training state-of-the-art models is exponentially increasing (doubling every 10 months between 2015 and 2022), resulting in a large carbon footprint. Federated Learning (FL) - a collaborative machine learning technique for training a centralized model using data of decentralized entities - can also be resource-intensive and have a significant carbon footprint, particularly when deployed at scale. Unlike centralized AI that can reliably tap into renewables at strategically placed data centers, cross-device FL may leverage as many as hundreds of millions of globally distributed end-user devices with diverse energy sources. Green AI is a novel and important research area where carbon footprint is regarded as an evaluation criterion for AI, alongside accuracy, convergence speed, and other metrics. In this paper, we propose the concept of Green FL, which involves optimizing FL parameters and making design choices to minimize carbon emissions consistent with competitive performance and training time. The contributions of this work are two-fold. First, we adopt a data-driven approach to quantify the carbon emissions of FL by directly measuring real-world at-scale FL tasks running on millions of phones. Second, we present challenges, guidelines, and lessons learned from studying the trade-off between energy efficiency, performance, and time-to-train in a production FL system. Our findings offer valuable insights into how FL can reduce its carbon footprint, and they provide a foundation for future research in the area of Green AI.
△ Less
Submitted 1 August, 2023; v1 submitted 25 March, 2023;
originally announced March 2023.
-
Low-threshold lasing of optically pumped micropillar lasers with Al$_{0.2}$Ga$_{0.8}$As/Al$_{0.9}$Ga$_{0.1}$As distributed Bragg reflectors
Authors:
Ching-Wen Shih,
Imad Limame,
Sebastian Krüger,
Chirag C. Palekar,
Aris Koulas-Simos,
Daniel Brunner,
Stephan Reitzenstein
Abstract:
We report on the design, realization and characterization of optically pumped micropillar lasers with low-absorbing Al$_{0.2}$Ga$_{0.8}$As/Al$_{0.9}$Ga$_{0.1}$As dielectric Bragg reflectors (DBRs) instead of commonly used GaAs/AlGaAs DBRs. A layer of (In, Ga)As quantum dots (QDs) is embedded in the GaAs $λ$-cavity of as an active medium. We experimentally study the lasing characteristics of the fa…
▽ More
We report on the design, realization and characterization of optically pumped micropillar lasers with low-absorbing Al$_{0.2}$Ga$_{0.8}$As/Al$_{0.9}$Ga$_{0.1}$As dielectric Bragg reflectors (DBRs) instead of commonly used GaAs/AlGaAs DBRs. A layer of (In, Ga)As quantum dots (QDs) is embedded in the GaAs $λ$-cavity of as an active medium. We experimentally study the lasing characteristics of the fabricated micropillars by means of low-temperature photoluminescence with varying pump laser's wavelength between 532 nm and 899 nm. The incorporation of 20% Al content in the DBRs opens an optical pum** window from 700 nm to 820 nm, where the excitation laser light can effectively reach the GaAs cavity above its bandgap, while remaining transparent to the DBRs. This results in a substantially improved pump efficiency, a low lasing threshold, and a high thermal stability. Pump laser wavelengths outside of the engineered spectral window lead to low pump efficiency due to strong absorption by the top DBR, or inefficient excitation of pump-level excitons, respectively. The superiority of the absorption-free modified DBRs is demonstrated by simply switching the pump laser wavelength from 671 nm to 708 nm, which crosses the DBRs absorption edge and drastically reduces the lasing threshold by more than an order of magnitude from (363.5 $\pm$ 18.5) $μ$W to (12.8 $\pm$ 0.3) $μ$W.
△ Less
Submitted 14 March, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Enhancements in cloud condensation nuclei concentrations from turbulent fluctuations in supersaturation
Authors:
Jesse C. Anderson,
Payton Beeler,
Mikhail Ovchinnikov,
Will Cantrell,
Steven Krueger,
Raymond A. Shaw,
Fan Yang,
Laura Fierce
Abstract:
The effect of aerosol emissions on the properties and distribution of clouds is a large source of uncertainty in predictions of weather and climate. These aerosol-cloud interactions depend critically on the ability of aerosol particles to activate into cloud condensation nuclei (CCN). A key challenge in modeling CCN activation and the formation of cloud droplets is the representation of interactio…
▽ More
The effect of aerosol emissions on the properties and distribution of clouds is a large source of uncertainty in predictions of weather and climate. These aerosol-cloud interactions depend critically on the ability of aerosol particles to activate into cloud condensation nuclei (CCN). A key challenge in modeling CCN activation and the formation of cloud droplets is the representation of interactions between turbulence and cloud microphysics. Turbulent mixing leads to small-scale fluctuations of water vapor and temperature that are not resolved in large-scale atmospheric models. We used Lagrangian parcel simulations driven by a high-resolution Large Eddy Simulation of a convective cloud chamber to quantify the impact of these small-scale fluctuations on CCN activation. We show that small-scale fluctuations in environmental properties strongly enhance CCN activation, which suggests that conventional Large Eddy Simulations and Earth System Models that neglect these fluctuations underestimate cloud droplet formation.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
Prospectively accelerated dynamic speech MRI at 3 Tesla using a self-navigated spiral based manifold regularized scheme
Authors:
Rushdi Zahid Rusho,
Abdul Haseeb Ahmed,
Stanley Kruger,
Wahidul Alam,
David Meyer,
David Howard,
Brad Story,
Mathews Jacob,
Sajan Goud Lingala
Abstract:
This work proposes a self-navigated variable density spiral(VDS) based manifold regularization scheme to prospectively improve dynamic speech MRI at 3T. Short readout 1.3ms spirals were used to minimize off-resonance. A custom 16-channel speech coil was used for improved parallel imaging of vocal tract. The manifold model leveraged similarities between frames sharing similar speech postures withou…
▽ More
This work proposes a self-navigated variable density spiral(VDS) based manifold regularization scheme to prospectively improve dynamic speech MRI at 3T. Short readout 1.3ms spirals were used to minimize off-resonance. A custom 16-channel speech coil was used for improved parallel imaging of vocal tract. The manifold model leveraged similarities between frames sharing similar speech postures without explicit motion binning. The self-navigating capability of VDS was leveraged to learn the Laplacian matrix of the manifold. Reconstruction was posed as a SENSE-based non-local soft weighted temporal regularization scheme. Our approach was compared against view-sharing, low-rank, finite difference, extra-dimension-based sparsity reconstruction constraints. Under-sampling experiments were conducted on five volunteers performing repetitive and arbitrary speaking tasks at different speaking rates. Quantitative evaluation in terms of mean square error over moving edges were performed in a retrospectively under-sampled data. For prospective under-sampling, blinded image quality evaluation in the categories of alias artifacts, spatial blurring, and temporal blurring were performed by three voice research experts. Region of interest analysis at articulator boundaries were performed to assess articulatory motion. Our scheme provided improved reconstruction over the others. With prospective under-sampling, a spatial resolution of 2.4mm2/pixel and a temporal resolution of 17.4 ms/frame for single slice imaging, and 52.2 ms/frame for 3-slice imaging were achieved. We demonstrated implicit motion binning by analyzing the mechanics of the Laplacian matrix. Our method demonstrated superior image quality scores in reducing spatial and temporal blurring. While it exhibited faint alias artifacts similar to temporal finite-difference, it provided statistically significant improvements over remaining constraints.
△ Less
Submitted 1 May, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
Authors:
Michael Schlichtig,
Anna-Katharina Wickert,
Stefan Krüger,
Eric Bodden,
Mira Mezini
Abstract:
Context: Cryptographic APIs are often misused in real-world applications. Therefore, many cryptographic API misuse detection tools have been introduced. However, there exists no established reference benchmark for a fair and comprehensive comparison and evaluation of these tools. While there are benchmarks, they often only address a subset of the domain or were only used to evaluate a subset of ex…
▽ More
Context: Cryptographic APIs are often misused in real-world applications. Therefore, many cryptographic API misuse detection tools have been introduced. However, there exists no established reference benchmark for a fair and comprehensive comparison and evaluation of these tools. While there are benchmarks, they often only address a subset of the domain or were only used to evaluate a subset of existing misuse detection tools. Objective: To fairly compare cryptographic API misuse detection tools and to drive future development in this domain, we will devise such a benchmark. Openness and transparency in the generation process are key factors to fairly generate and establish the needed benchmark. Method: We propose an approach where we derive the benchmark generation methodology from the literature which consists of general best practices in benchmarking and domain-specific benchmark generation. A part of this methodology is transparency and openness of the generation process, which is achieved by pre-registering this work. Based on our methodology we design CamBench, a fair "Cryptographic API Misuse Detection Tool Benchmark Suite". We will implement the first version of CamBench limiting the domain to Java, the JCA, and static analyses. Finally, we will use CamBench to compare current misuse detection tools and compare CamBench to related benchmarks of its domain.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
Single Gaussian Process Method for Arbitrary Tokamak Regimes with a Statistical Analysis
Authors:
Jarrod Leddy,
Sandeep Madireddy,
Eric Howell,
Scott Kruger
Abstract:
Gaussian Process Regression (GPR) is a Bayesian method for inferring profiles based on input data. The technique is increasing in popularity in the fusion community due to its many advantages over traditional fitting techniques including intrinsic uncertainty quantification and robustness to over-fitting. This work investigates the use of a new method, the change-point method, for handling the var…
▽ More
Gaussian Process Regression (GPR) is a Bayesian method for inferring profiles based on input data. The technique is increasing in popularity in the fusion community due to its many advantages over traditional fitting techniques including intrinsic uncertainty quantification and robustness to over-fitting. This work investigates the use of a new method, the change-point method, for handling the varying length scales found in different tokamak regimes. The use of the Student's t-distribution for the Bayesian likelihood probability is also investigated and shown to be advantageous in providing good fits in profiles with many outliers. To compare different methods, synthetic data generated from analytic profiles is used to create a database enabling a quantitative statistical comparison of which methods perform the best. Using a full Bayesian approach with the change-point method, Matérn kernel for the prior probability, and Student's t-distribution for the likelihood is shown to give the best results.
△ Less
Submitted 23 February, 2022;
originally announced February 2022.
-
The PETSc Community Is the Infrastructure
Authors:
Mark Adams,
Satish Balay,
Oana Marin,
Lois Curfman McInnes,
Richard Tran Mills,
Todd Munson,
Hong Zhang,
Junchao Zhang,
Jed Brown,
Victor Eijkhout,
Jacob Faibussowitsch,
Matthew Knepley,
Fande Kong,
Scott Kruger,
Patrick Sanan,
Barry F. Smith,
Hong Zhang
Abstract:
The communities who develop and support open source scientific software packages are crucial to the utility and success of such packages. Moreover, these communities form an important part of the human infrastructure that enables scientific progress. This paper discusses aspects of the PETSc (Portable Extensible Toolkit for Scientific Computation) community, its organization, and technical approac…
▽ More
The communities who develop and support open source scientific software packages are crucial to the utility and success of such packages. Moreover, these communities form an important part of the human infrastructure that enables scientific progress. This paper discusses aspects of the PETSc (Portable Extensible Toolkit for Scientific Computation) community, its organization, and technical approaches that enable community members to help each other efficiently.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Growing Neoclassical Tearing Modes Seeded via Transient-Induced-Multimode Interactions
Authors:
E. C. Howell,
J. R. King,
J. D. Callen,
R. J. La Haye,
R. S. Wilcox,
S. E. Kruger
Abstract:
Nonlinear extended MHD simulations demonstrating seeding of neoclassical tearing modes (NTMs) via MHD-transient-induced multimode interactions are presented. Simulations of NTMs are enabled by two recent NIMROD code developments: the implementation of heuristic neoclassical stresses and the application of transient magnetic perturbations (MPs) at the boundary. NTMs are driven unstable by the inher…
▽ More
Nonlinear extended MHD simulations demonstrating seeding of neoclassical tearing modes (NTMs) via MHD-transient-induced multimode interactions are presented. Simulations of NTMs are enabled by two recent NIMROD code developments: the implementation of heuristic neoclassical stresses and the application of transient magnetic perturbations (MPs) at the boundary. NTMs are driven unstable by the inherently pressure driven kinetic bootstrap current, which arises due to collisional viscosity between passing and trapped electrons. These simulations use heuristic closures that model the neoclassical electron and ion stresses. NTM growth requires a seed island, which is generated by a transiently applied MP in simulations. The capability is demonstrated using kinetic-based reconstructions with flow of a DIII-D ITER Baseline Scenario discharge [R.J. La Haye, et al., Proceedings IAEA FEC 2020]. The applied MP seeds a 2/1 NTM that grows in two phases: a slow growth phase followed by a faster robust growth phase like that observed experimentally. Additionally, an evolving sequence of higher order core modes are excited at first. Power transfer analysis shows that nonlinear interactions between the core modes and the 2/1 helps drive the initial slow growth. Once the induced 2/1 magnetic island reaches a critical width, the NTM transitions to faster robust growth which is well described by the nonlinear modified Rutherford equation. This work highlights the role of nonlinear mode coupling in seeding NTMs.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Interseries dipole transitions from yellow to green excitons in cuprous oxide
Authors:
Patric Rommel,
Jörg Main,
Sjard Ole Krüger,
Stefan Scheel
Abstract:
We study dipole interseries transitions between the yellow and green exciton series in cuprous oxide including the complex valence band structure. To this end, we extend previous studies of the spectrum of complex green exciton resonances [Phys. Rev. B 101, 075208 (2020)] to optical transitions between different exciton states in addition to transitions from the crystal ground state. This allows u…
▽ More
We study dipole interseries transitions between the yellow and green exciton series in cuprous oxide including the complex valence band structure. To this end, we extend previous studies of the spectrum of complex green exciton resonances [Phys. Rev. B 101, 075208 (2020)] to optical transitions between different exciton states in addition to transitions from the crystal ground state. This allows us to augment the calculations on interseries transitions using a hydrogen-like model [Phys. Rev. B 100, 085201 (2019)] by a more comprehensive treatment of the valence band structure.
△ Less
Submitted 23 August, 2021;
originally announced August 2021.
-
Dealing with Variability in API Misuse Specification
Authors:
Rodrigo Bonifacio,
Stefan Krüger,
Krishna Narasimhan,
Eric Bodden,
Mira Mezini
Abstract:
APIs are the primary mechanism for developers to gain access to externally defined services and tools. However, previous research has revealed API misuses that violate the contract of APIs to be prevalent. Such misuses can have harmful consequences, especially in the context of cryptographic libraries. Various API misuse detectors have been proposed to address this issue including CogniCrypt, one…
▽ More
APIs are the primary mechanism for developers to gain access to externally defined services and tools. However, previous research has revealed API misuses that violate the contract of APIs to be prevalent. Such misuses can have harmful consequences, especially in the context of cryptographic libraries. Various API misuse detectors have been proposed to address this issue including CogniCrypt, one of the most versatile of such detectors and that uses a language CrySL to specify cryptographic API usage contracts. Nonetheless, existing approaches to detect API misuse had not been designed for systematic reuse, ignoring the fact that different versions of a library, different versions of a platform, and different recommendations or guidelines might introduce variability in the correct usage of an API. Yet, little is known about how such variability impacts the specification of the correct API usage. This paper investigates this question by analyzing the impact of various sources of variability on widely used Java cryptographic libraries including JCA, Bouncy Castle, and Google Tink. The results of our investigation show that sources of variability like new versions of the API and security standards significantly impact the specifications. We then use the insights gained from our investigation to motivate an extension to the CrySL language named MetaCrySL, which builds on meta programming concepts. We evaluate MetaCrySL by specifying usage rules for a family of Android versions and illustrate that MetaCrySL can model all forms of variability we identified and drastically reduce the size of a family of specifications for the correct usage of cryptographic APIs
△ Less
Submitted 17 May, 2021; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Dynamic imaging using a deep generative SToRM (Gen-SToRM) model
Authors:
Qing Zou,
Abdul Haseeb Ahmed,
Prashant Nagpal,
Stanley Kruger,
Mathews Jacob
Abstract:
We introduce a generative smoothness regularization on manifolds (SToRM) model for the recovery of dynamic image data from highly undersampled measurements. The model assumes that the images in the dataset are non-linear map**s of low-dimensional latent vectors. We use the deep convolutional neural network (CNN) to represent the non-linear transformation. The parameters of the generator as well…
▽ More
We introduce a generative smoothness regularization on manifolds (SToRM) model for the recovery of dynamic image data from highly undersampled measurements. The model assumes that the images in the dataset are non-linear map**s of low-dimensional latent vectors. We use the deep convolutional neural network (CNN) to represent the non-linear transformation. The parameters of the generator as well as the low-dimensional latent vectors are jointly estimated only from the undersampled measurements. This approach is different from traditional CNN approaches that require extensive fully sampled training data. We penalize the norm of the gradients of the non-linear map** to constrain the manifold to be smooth, while temporal gradients of the latent vectors are penalized to obtain a smoothly varying time-series. The proposed scheme brings in the spatial regularization provided by the convolutional network. The main benefit of the proposed scheme is the improvement in image quality and the orders-of-magnitude reduction in memory demand compared to traditional manifold models. To minimize the computational complexity of the algorithm, we introduce an efficient progressive training-in-time approach and an approximate cost function. These approaches speed up the image reconstructions and offers better reconstruction performance.
△ Less
Submitted 10 March, 2021; v1 submitted 29 January, 2021;
originally announced February 2021.
-
Deep Generative SToRM model for dynamic imaging
Authors:
Qing Zou,
Abdul Haseeb Ahmed,
Prashant Nagpal,
Stanley Kruger,
Mathews Jacob
Abstract:
We introduce a novel generative smoothness regularization on manifolds (SToRM) model for the recovery of dynamic image data from highly undersampled measurements. The proposed generative framework represents the image time series as a smooth non-linear function of low-dimensional latent vectors that capture the cardiac and respiratory phases. The non-linear function is represented using a deep con…
▽ More
We introduce a novel generative smoothness regularization on manifolds (SToRM) model for the recovery of dynamic image data from highly undersampled measurements. The proposed generative framework represents the image time series as a smooth non-linear function of low-dimensional latent vectors that capture the cardiac and respiratory phases. The non-linear function is represented using a deep convolutional neural network (CNN). Unlike the popular CNN approaches that require extensive fully-sampled training data that is not available in this setting, the parameters of the CNN generator as well as the latent vectors are jointly estimated from the undersampled measurements using stochastic gradient descent. We penalize the norm of the gradient of the generator to encourage the learning of a smooth surface/manifold, while temporal gradients of the latent vectors are penalized to encourage the time series to be smooth. The main benefits of the proposed scheme are (a) the quite significant reduction in memory demand compared to the analysis based SToRM model, and (b) the spatial regularization brought in by the CNN model. We also introduce efficient progressive approaches to minimize the computational complexity of the algorithm.
△ Less
Submitted 28 January, 2021;
originally announced January 2021.
-
Toward Performance-Portable PETSc for GPU-based Exascale Systems
Authors:
Richard Tran Mills,
Mark F. Adams,
Satish Balay,
Jed Brown,
Alp Dener,
Matthew Knepley,
Scott E. Kruger,
Hannah Morgan,
Todd Munson,
Karl Rupp,
Barry F. Smith,
Stefano Zampini,
Hong Zhang,
Junchao Zhang
Abstract:
The Portable Extensible Toolkit for Scientific computation (PETSc) library delivers scalable solvers for nonlinear time-dependent differential and algebraic equations and for numerical optimization.The PETSc design for performance portability addresses fundamental GPU accelerator challenges and stresses flexibility and extensibility by separating the programming model used by the application from…
▽ More
The Portable Extensible Toolkit for Scientific computation (PETSc) library delivers scalable solvers for nonlinear time-dependent differential and algebraic equations and for numerical optimization.The PETSc design for performance portability addresses fundamental GPU accelerator challenges and stresses flexibility and extensibility by separating the programming model used by the application from that used by the library, and it enables application developers to use their preferred programming model, such as Kokkos, RAJA, SYCL, HIP, CUDA, or OpenCL, on upcoming exascale systems. A blueprint for using GPUs from PETSc-based codes is provided, and case studies emphasize the flexibility and high performance achieved on current GPU-based systems.
△ Less
Submitted 29 September, 2021; v1 submitted 1 November, 2020;
originally announced November 2020.
-
Coherent transfer matrix analysis of the transmission spectra of Rydberg excitons in Cuprous Oxide
Authors:
Heinrich Stolz,
Rico Schwartz,
Julian Heckötter,
Marc Aßmann,
Dirk Semkat,
Sjard O. Krüger,
Manfred Bayer
Abstract:
In this study we analyze the transmission spectrum of a thin plate of Cuprous Oxide in the range of the absorption of the yellow exciton states with the coherent transfer matrix method. We demonstrate that, in contrast to the usual analysis using Beer's law, which turns out to be a rather good approximation only in the spectral region of high principal quantum numbers, a consistent quantitative de…
▽ More
In this study we analyze the transmission spectrum of a thin plate of Cuprous Oxide in the range of the absorption of the yellow exciton states with the coherent transfer matrix method. We demonstrate that, in contrast to the usual analysis using Beer's law, which turns out to be a rather good approximation only in the spectral region of high principal quantum numbers, a consistent quantitative description over the whole spectral range under consideration is possible. This leads to new and more accurate parameters not only for the Rydberg exciton states, but also for the strengths of indirect transitions. Furthermore, the results have consequences on the determination of the density of electron-hole pairs after optical excitation.
△ Less
Submitted 19 September, 2020;
originally announced September 2020.
-
The GlueX Beamline and Detector
Authors:
S. Adhikari,
C. S. Akondi,
H. Al Ghoul,
A. Ali,
M. Amaryan,
E. G. Anassontzis,
A. Austregesilo,
F. Barbosa,
J. Barlow,
A. Barnes,
E. Barriga,
R. Barsotti,
T. D. Beattie,
J. Benesch,
V. V. Berdnikov,
G. Biallas,
T. Black,
W. Boeglin,
P. Brindza,
W. J. Briscoe,
T. Britton,
J. Brock,
W. K. Brooks,
B. E. Cannon,
C. Carlin
, et al. (165 additional authors not shown)
Abstract:
The GlueX experiment at Jefferson Lab has been designed to study photoproduction reactions with a 9-GeV linearly polarized photon beam. The energy and arrival time of beam photons are tagged using a scintillator hodoscope and a scintillating fiber array. The photon flux is determined using a pair spectrometer, while the linear polarization of the photon beam is determined using a polarimeter based…
▽ More
The GlueX experiment at Jefferson Lab has been designed to study photoproduction reactions with a 9-GeV linearly polarized photon beam. The energy and arrival time of beam photons are tagged using a scintillator hodoscope and a scintillating fiber array. The photon flux is determined using a pair spectrometer, while the linear polarization of the photon beam is determined using a polarimeter based on triplet photoproduction. Charged-particle tracks from interactions in the central target are analyzed in a solenoidal field using a central straw-tube drift chamber and six packages of planar chambers with cathode strips and drift wires. Electromagnetic showers are reconstructed in a cylindrical scintillating fiber calorimeter inside the magnet and a lead-glass array downstream. Charged particle identification is achieved by measuring energy loss in the wire chambers and using the flight time of particles between the target and detectors outside the magnet. The signals from all detectors are recorded with flash ADCs and/or pipeline TDCs into memories allowing trigger decisions with a latency of 3.3 $μ$s. The detector operates routinely at trigger rates of 40 kHz and data rates of 600 megabytes per second. We describe the photon beam, the GlueX detector components, electronics, data-acquisition and monitoring systems, and the performance of the experiment during the first three years of operation.
△ Less
Submitted 26 October, 2020; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Systematically Asymmetric: A comparison of \hi\ profile asymmetries in real and simulated galaxies
Authors:
N. Deg,
S. Blyth,
N. Hank,
S. Kruger,
C. Carignan
Abstract:
We examine different measures of asymmetry for galaxy HI velocity profiles. We introduce the channel-by-channel asymmetry and the velocity-of-equality statistics to quantify profile asymmetries. Using a sample of simulated galaxies, we examine how these and the standard lopsidedness morphometric statistic depend on a variety of observational effects including the viewing angle and inclination. We…
▽ More
We examine different measures of asymmetry for galaxy HI velocity profiles. We introduce the channel-by-channel asymmetry and the velocity-of-equality statistics to quantify profile asymmetries. Using a sample of simulated galaxies, we examine how these and the standard lopsidedness morphometric statistic depend on a variety of observational effects including the viewing angle and inclination. We find that our newly introduced channel-by-channel asymmetry is less sensitive to the effects of viewing angle and inclination than other morphometrics. Applying our statistics to the WHISP HI galaxy sample, we also find that the channel-by-channel asymmetry, is a better indicator of visually-classified asymmetric profiles. In addition, we find that the lopsidedness-velocity of equality space can be used to identify profiles with deep central dips without visual inspection.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
Interaction of charged impurities and Rydberg excitons in cuprous oxide
Authors:
Sjard Ole Krüger,
Heinrich Stolz,
Stefan Scheel
Abstract:
We investigate the influence of a static, uncorrelated distribution of charged impurities on the spectrum of bound excitons in the copper oxide Cu$_{\text{2}}$O. We show that the statistical distribution of Stark shifts and ionisation rates leads to the vanishing of Rydberg resonances into an apparent continuum. The appearance of additional absorption lines due to the broken rotational symmetry, t…
▽ More
We investigate the influence of a static, uncorrelated distribution of charged impurities on the spectrum of bound excitons in the copper oxide Cu$_{\text{2}}$O. We show that the statistical distribution of Stark shifts and ionisation rates leads to the vanishing of Rydberg resonances into an apparent continuum. The appearance of additional absorption lines due to the broken rotational symmetry, together with spatially inhomogeneous Stark shifts, leads to a modification of the observed line shapes that agree qualitatively with the changes observed in the experiment.
△ Less
Submitted 18 June, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
HEALPix View-order for 3D Radial Self-Navigated Motion-Corrected ZTE MRI
Authors:
Curtis A. Corum,
Stanley J. Kruger,
Vincent A. Magnotta
Abstract:
Compressed sensing has reinvigorated the field of non-Cartesian sampling in magnetic resonance imaging (MRI). Until now there has been no 3D radial view-order which meets all the desired characteristics for simultaneous dynamic/high-resolution imaging, such as for self-navigated motion-corrected high resolution neuroimaging. In this work, we examine the use of Hierarchical Equal Area iso-Latitude…
▽ More
Compressed sensing has reinvigorated the field of non-Cartesian sampling in magnetic resonance imaging (MRI). Until now there has been no 3D radial view-order which meets all the desired characteristics for simultaneous dynamic/high-resolution imaging, such as for self-navigated motion-corrected high resolution neuroimaging. In this work, we examine the use of Hierarchical Equal Area iso-Latitude Pixelization (HEALPix) for generation of three-dimensional (3D) radial view-orders for MRI, and compare to a selection of commonly used 3D view-orders. The resulting trajectories were evaluated through simulation of the point spread function and slanted surface object suitable for modulation transfer function, contrast ratio, and SNR measurement. Results from the HEALPix view-order were compared to Generalized Spiral, 2D Golden Means, and Random view-orders. Finally, we show the first use of the HEALPix view-order to acquire in-vivo brain images.
△ Less
Submitted 26 October, 2019; v1 submitted 22 October, 2019;
originally announced October 2019.
-
The Three Quasistatic Limits of the Maxwell Equations
Authors:
Scott E. Kruger
Abstract:
It is shown that the Galilean limit (V << c, or L/T <<c)) of the Maxwell equations admits three different limits: the magneto-quasi-static, electro-quasi-static, and electromagnetic-quasi-static limits, in addition to the two obvious static limits. The first two quasi-static limits have been previously identified as Galilean Electromagnetics, while the latter is also known as the Darwin approximat…
▽ More
It is shown that the Galilean limit (V << c, or L/T <<c)) of the Maxwell equations admits three different limits: the magneto-quasi-static, electro-quasi-static, and electromagnetic-quasi-static limits, in addition to the two obvious static limits. The first two quasi-static limits have been previously identified as Galilean Electromagnetics, while the latter is also known as the Darwin approximation. Using a perturbation expansion, a generalization of Rappetti and Rousseaux [Applied Numerical Mathematics, 79, 92] orders the vacuum Maxwell equations and obtains all three limits. To order the equations, the dimensionless version of the Maxwell equations are derived using a modification of Jackson's review of EM unit systems [Jackson, Classical Electrodynamics, Wiley, 1999, 3rd ed.] The perturbation expansion is repeated for the potential form of the Maxwell equations to emphasize the importance of gauge conditions. The integral solutions of the potentials are derived for the three limits, and the generalized Coulomb and Biot-Savart equations are derived from these solutions. It is shown that although the forms are the same as the static equations, the quasi-static forms of the Maxwell equations are recovered. The induction term is recovered when the time derivative of the vector potential is kept. The displacement current is recovered when the Lorenz gauge is used. The equivalence of this approach and Jackson's derivation [Amer. J. of Phys., 70, 917 (2002)] of the Darwin approximation is shown. The regions of applicability of the quasi-static forms of the Maxwell equations are discussed in terms of macroscopic media.
△ Less
Submitted 2 October, 2019; v1 submitted 24 September, 2019;
originally announced September 2019.
-
The Impact of Developer Experience in Using Java Cryptography
Authors:
Mohammadreza Hazhirpasand,
Mohammad Ghafari,
Stefan Krüger,
Eric Bodden,
Oscar Nierstrasz
Abstract:
Previous research has shown that crypto APIs are hard for developers to understand and difficult for them to use. They consequently rely on unvalidated boilerplate code from online resources where security vulnerabilities are common.
We analyzed 2,324 open-source Java projects that rely on Java Cryptography Architecture (JCA) to understand how crypto APIs are used in practice, and what factors a…
▽ More
Previous research has shown that crypto APIs are hard for developers to understand and difficult for them to use. They consequently rely on unvalidated boilerplate code from online resources where security vulnerabilities are common.
We analyzed 2,324 open-source Java projects that rely on Java Cryptography Architecture (JCA) to understand how crypto APIs are used in practice, and what factors account for the performance of developers in using these APIs. We found that, in general, the experience of developers in using JCA does not correlate with their performance. In particular, none of the factors such as the number or frequency of committed lines of code, the number of JCA APIs developers use, or the number of projects they are involved in correlate with developer performance in this domain.
We call for qualitative studies to shed light on the reasons underlying the success of developers who are expert in using cryptography. Also, detailed investigation at API level is necessary to further clarify a developer obstacles in this domain.
△ Less
Submitted 5 August, 2019;
originally announced August 2019.
-
Interseries transitions between Rydberg excitons in Cu$_{\mathrm{2}}$O
Authors:
Sjard Ole Krüger,
Stefan Scheel
Abstract:
We investigate the infrared optical transitions between excitons of the yellow, green and blue series in the cuprous oxide Cu$_{\mathrm{2}}$O. We show that in many cases the dipole approximation is inadequate and, in particular, that it breaks down in yellow-blue transitions even for moderate principal quantum numbers of $n \approx 10$. The interband matrix elements of the transition operator need…
▽ More
We investigate the infrared optical transitions between excitons of the yellow, green and blue series in the cuprous oxide Cu$_{\mathrm{2}}$O. We show that in many cases the dipole approximation is inadequate and, in particular, that it breaks down in yellow-blue transitions even for moderate principal quantum numbers of $n \approx 10$. The interband matrix elements of the transition operator needed for the evaluation of the excitonic transition strengths are derived from known as well as from fitted band parameters.
△ Less
Submitted 2 August, 2019; v1 submitted 21 May, 2019;
originally announced May 2019.
-
Interaction of OAM light with Rydberg excitons: Modifying dipole selection rules
Authors:
Annika Melissa Konzelmann,
Sjard Ole Krüger,
Harald Giessen
Abstract:
Orbital angular momentum (OAM) light possesses in addition to its usual helicity ($s=\pm \hbar$, depending on its circular polarization) an orbital angular momentum $l$. This means that in principle one can transfer more than a single quantum of $\hbar$ during an optical transition from light to a quantum system. However, quantum objects are usually so small (typically in the nm range) that they o…
▽ More
Orbital angular momentum (OAM) light possesses in addition to its usual helicity ($s=\pm \hbar$, depending on its circular polarization) an orbital angular momentum $l$. This means that in principle one can transfer more than a single quantum of $\hbar$ during an optical transition from light to a quantum system. However, quantum objects are usually so small (typically in the nm range) that they only locally probe the dipolar character of the local electric field. In order to sense the complete macroscopic electric field, we utilize Rydberg excitons in the semiconductor cuprite ($\text{Cu}_2\text{O}$), which are single quantum objects of up to $μm$ size. Their interaction with focused OAM light, allows for matching the focal spot size and the wavefunction diameter. Here, the common dipole selection rules ($Δj=\pm 1$) should be broken, and transitions of higher $Δj$ with higher order OAM states should become more probable. Based on group theory, we analyze in detail the optical selection rules governing this process. Then we are able to predict what kind of new exciton transitions (quantum number $n$ and $l_{\text{exc}}$) one would expect in absorption spectroscopy on $\text{Cu}_2\text{O}$ using different kinds of OAM light.
△ Less
Submitted 4 September, 2019; v1 submitted 17 May, 2019;
originally announced May 2019.
-
The Relationship between Flux Coordinates and Equilibrium-based Frames of Reference in Fusion Theory
Authors:
Scott E. Kruger,
John M. Greene
Abstract:
The properties of two local reference frames based on the magnetic field and the current density are investigated for magnetized plasmas in toroidal geometry with symmetric angle. The magnetic field-based local frame of reference has been well-studied for example by Dewar and colleagues [Phys. Fluids 27, 1723 (1984)] An analogous frame based on the current density vector is possible because it is…
▽ More
The properties of two local reference frames based on the magnetic field and the current density are investigated for magnetized plasmas in toroidal geometry with symmetric angle. The magnetic field-based local frame of reference has been well-studied for example by Dewar and colleagues [Phys. Fluids 27, 1723 (1984)] An analogous frame based on the current density vector is possible because it is also divergence free and perpendicular to the gradient of the poloidal flux. The concept of straightness of a vector is introduced and used to elucidate the Boozer and Hamada coordinate systems. The relationship of these local frames to the more well-known Frenet frame of reference, which specifies a curve in terms of curvature and torsion, is given. As an example of the usefulness of the these formal relationships, we briefly review the ideal MHD theory and their use. We also present a new annihilation operator, useful for eliminating shorter time scales than the time scale of interest, for deriving the inner layer equations of Glasser, Greene, and Johnson [Phys. Fluids 18, 875 (1975)]. Compared to the original derivation that is based on the local frame of reference in terms of the magnetic field, the new annihilation operator that is based on the local frame of reference in terms of the current density simplifies the derivation.
△ Less
Submitted 4 April, 2019; v1 submitted 2 April, 2019;
originally announced April 2019.
-
Weak-winner phase synchronization: A curious case of weak interactions
Authors:
Anshul Choudhary,
Arindam Saha,
Samuel Krueger,
Christian Finke,
Epaminondas Rosa, Jr.,
Jan A. Freund,
Ulrike Feudel
Abstract:
We report the observation of a novel and non-trivial synchronization state in a system consisting of three oscillators coupled in a linear chain. For certain ranges of coupling strength the weakly coupled oscillator pair exhibits phase synchronization while the strongly coupled oscillator pair does not. This intriguing "weak-winner" synchronization phenomenon can be explained by the interplay betw…
▽ More
We report the observation of a novel and non-trivial synchronization state in a system consisting of three oscillators coupled in a linear chain. For certain ranges of coupling strength the weakly coupled oscillator pair exhibits phase synchronization while the strongly coupled oscillator pair does not. This intriguing "weak-winner" synchronization phenomenon can be explained by the interplay between non-isochronicity and natural frequency of the oscillator, as coupling strength is varied. Further, we present sufficient conditions under which the weak-winner phase synchronization can occur for limit cycle as well as chaotic oscillators. Employing model system from ecology as well as a paradigmatic model from physics, we demonstrate that this phenomenon is a generic feature for a large class of coupled oscillator systems. The realization of this peculiar yet quite generic weak-winner dynamics can have far reaching consequences in a wide range of scientific disciplines that deal with the phenomenon of phase synchronization. Our results also highlight the role of non-isochronicity (shear) as a fundamental feature of an oscillator in sha** the emergent dynamics.
△ Less
Submitted 13 August, 2020; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Interactions between Rydberg excitons in Cu$_2$O
Authors:
Valentin Walther,
Sjard Ole Krüger,
Stefan Scheel,
Thomas Pohl
Abstract:
Highly-excited states of excitons in cuprous oxide have recently been observed at a record quantum number of up to $n=25$. Here, we evaluate the long-range interactions between pairs of Rydberg excitons in Cu$_2$O, which are due to direct Coulomb forces rather than short-range collisions typically considered for ground state excitons. A full numerical analysis is supplemented by the van der Waals…
▽ More
Highly-excited states of excitons in cuprous oxide have recently been observed at a record quantum number of up to $n=25$. Here, we evaluate the long-range interactions between pairs of Rydberg excitons in Cu$_2$O, which are due to direct Coulomb forces rather than short-range collisions typically considered for ground state excitons. A full numerical analysis is supplemented by the van der Waals asymptotics at large exciton separations, including the angular dependence of the potential surfaces.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Thermodynamic constraints on the size distributions of tropical clouds
Authors:
Timothy J. Garrett,
Ian B. Glenn,
Steven K. Krueger
Abstract:
Tropical convective clouds evolve over a wide range of temporal and spatial scales, and this makes them difficult to simulate numerically. Here, we propose that their statistical properties can be derived within a simplified time-independent co-ordinate system of cloud number $n$, saturated static energy $h^\star$, and cloud perimeter $λ$. Under the constraint that circulations around cloud edge c…
▽ More
Tropical convective clouds evolve over a wide range of temporal and spatial scales, and this makes them difficult to simulate numerically. Here, we propose that their statistical properties can be derived within a simplified time-independent co-ordinate system of cloud number $n$, saturated static energy $h^\star$, and cloud perimeter $λ$. Under the constraint that circulations around cloud edge compete for buoyant energy and air, we show that the product of cloud number and cloud perimeter $nλ$ is invariant with $λ$ and that cloud number follows a negative exponential with respect to cloud-edge deviations of $h^\star$ from the mean. Overall, the summed perimeter of all clouds scales as the square root of the atmospheric static stability, which suggests that the complexity of cloud field structures can be viewed statistically as an emergent property of atmospheric bulk thermodynamics. Analytically derived conclusions are compared with a detailed tropical cloud field simulation and found generally to agree to within $<$13%. For the sake of develo** hypotheses about cloud temporal evolution that are testable in high resolution simulations, the shapes of tropical cloud perimeter distributions are predicted to be invariant as climate warms, although with a modest increase in total cloud amount.
△ Less
Submitted 9 April, 2018; v1 submitted 23 March, 2018;
originally announced March 2018.
-
Debugging Static Analysis
Authors:
Lisa Nguyen Quang Do,
Stefan Krüger,
Patrick Hill,
Karim Ali,
Eric Bodden
Abstract:
To detect and fix bugs and security vulnerabilities, software companies use static analysis as part of the development process. However, static analysis code itself is also prone to bugs. To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries that the programs use. While more complex analyse…
▽ More
To detect and fix bugs and security vulnerabilities, software companies use static analysis as part of the development process. However, static analysis code itself is also prone to bugs. To ensure a consistent level of precision, as analyzed programs grow more complex, a static analysis has to handle more code constructs, frameworks, and libraries that the programs use. While more complex analyses are written and used in production systems every day, the cost of debugging and fixing them also increases tremendously.
To better understand the difficulties of debugging static analyses, we surveyed 115 static analysis writers. From their responses, we extracted the core requirements to build a debugger for static analysis, which revolve around two main issues: (1) abstracting from two code bases at the same time (the analysis code and the analyzed code) and (2) tracking the analysis internal state throughout both code bases. Most current debugging tools that our survey participants use lack the capabilities to address both issues.
Focusing on those requirements, we introduce VisuFlow, a debugging environment for static data-flow analysis that is integrated in the Eclipse development environment. VisuFlow features graph visualizations that enable users to view the state of a data-flow analysis and its intermediate results at any time. Special breakpoints in VisuFlow help users step through the analysis code and the analyzed simultaneously. To evaluate the usefulness of VisuFlow, we have conducted a user study on 20 static analysis writers. Using VisuFlow helped our sample of analysis writers identify 25% and fix 50% more errors in the analysis code compared to using the standard Eclipse debugging environment.
△ Less
Submitted 15 January, 2018;
originally announced January 2018.
-
Construction and Performance of the Barrel Electromagnetic Calorimeter for the GlueX Experiment
Authors:
Tegan Beattie,
Ahmed Foda,
Colleen Henschel,
S Katsaganis,
Shaun Krueger,
George Lolos,
Zisis Papandreou,
E. L. Plummer,
Irina Semenova,
Andrei Semenov,
Fernando Barbosa,
Eugene Chudakov,
Mark Dalton,
David Lawrence,
Yi Qiang,
Nicholas Sandoval,
Elton Smith,
Christopher Stanislav,
Justin Stevens,
Simon Taylor,
Timothy Whitlatch,
Benedikt Zihlmann,
William Levine,
William McGinley,
Curtis Meyer
, et al. (14 additional authors not shown)
Abstract:
The barrel calorimeter is part of the new spectrometer installed in Hall D at Jefferson Lab for the GlueX experiment. The calorimeter was installed in 2013, commissioned in 2014 and has been operating routinely since early 2015. The detector configuration, associated Monte Carlo simulations, calibration and operational performance are described herein. The calorimeter records the time and energy d…
▽ More
The barrel calorimeter is part of the new spectrometer installed in Hall D at Jefferson Lab for the GlueX experiment. The calorimeter was installed in 2013, commissioned in 2014 and has been operating routinely since early 2015. The detector configuration, associated Monte Carlo simulations, calibration and operational performance are described herein. The calorimeter records the time and energy deposited by charged and neutral particles created by a multi-GeV photon beam. It is constructed as a lead and scintillating-fiber calorimeter and read out with 3840 large-area silicon photomultiplier arrays. Particles im**e on the detector over a wide range of angles, from normal incidence at 90 degrees down to 11.5 degrees, which defines a geometry that is fairly unique among calorimeters. The response of the calorimeter has been measured during a running experiment and performs as expected for electromagnetic showers below 2.5 GeV. We characterize the performance of the BCAL using the energy resolution integrated over typical angular distributions for $π^0$ and $η$ production of $σ_E/E$=5.2\%/$\sqrt{E(\rm{GeV})} \oplus$ 3.6\% and a timing resolution of $σ$\,=\,150\,ps at 1\,GeV.
△ Less
Submitted 20 April, 2018; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Advective balance in pipe-formed vortex rings
Authors:
Karim Shariff,
Paul S. Krueger
Abstract:
Vorticity distributions in axisymmetric vortex rings produced by a piston-pipe apparatus are numerically studied over a range of Reynolds numbers, $\mathrm{Re}$, and stroke-to-diameter ratios, $L/D$. It is found that a state of advective balance, such that $ζ\equiv ω_φ/r \approx F(ψ, t)$, is achieved within the region (called the vortex ring bubble) enclosed by the dividing streamline. Here…
▽ More
Vorticity distributions in axisymmetric vortex rings produced by a piston-pipe apparatus are numerically studied over a range of Reynolds numbers, $\mathrm{Re}$, and stroke-to-diameter ratios, $L/D$. It is found that a state of advective balance, such that $ζ\equiv ω_φ/r \approx F(ψ, t)$, is achieved within the region (called the vortex ring bubble) enclosed by the dividing streamline. Here $ζ\equivω_φ/r$ is the ratio of azimuthal vorticity to cylindrical radius, and $ψ$ is the Stokes streamfunction in the frame of the ring. Some but not all of the $\mathrm{Re}$ dependence in the time evolution of $F(ψ, t)$ can be captured by introducing a scaled time $τ= νt$, where $ν$ is the kinematic viscosity. When $νt/D^2 \gtrsim 0.02$, the shape of $F(ψ)$ is dominated by the linear-in-$ψ$ component, the coefficient of the quadratic term being an order of magnitude smaller. An important feature is that as the dividing streamline ($ψ= 0$) is approached, $F(ψ)$ tends to a non-zero intercept which exhibits an extra $\mathrm{Re}$ dependence. This and other features are explained by a simple toy model consisting of the one-dimensional cylindrical diffusion equation. The key ingredient in the model responsible for the extra $\mathrm{Re}$ dependence is a Robin-type boundary condition, similar to Newton's law of cooling, that accounts for the edge layer at the dividing streamline.
△ Less
Submitted 15 December, 2017;
originally announced December 2017.
-
Waveguides for Rydberg excitons in Cu$_\text{2}$O from strain traps
Authors:
Sjard Ole Krüger,
Stefan Scheel
Abstract:
We investigate the formation of waveguides for Rydberg excitons in Cu$_\text{2}$O from cylindrical stressors as alternatives to optical traps. We show that the achievable potential depths can easily reach the meV and the trap frequencies the GHz regimes. For Rydberg excitons, we find that it is sufficient to consider only the shift of the band gap, whereas the excitonic binding energies remain alm…
▽ More
We investigate the formation of waveguides for Rydberg excitons in Cu$_\text{2}$O from cylindrical stressors as alternatives to optical traps. We show that the achievable potential depths can easily reach the meV and the trap frequencies the GHz regimes. For Rydberg excitons, we find that it is sufficient to consider only the shift of the band gap, whereas the excitonic binding energies remain almost unchanged.
△ Less
Submitted 31 May, 2018; v1 submitted 17 November, 2017;
originally announced November 2017.
-
CrySL: Validating Correct Usage of Cryptographic APIs
Authors:
Stefan Krüger,
Johannes Späth,
Karim Ali,
Eric Bodden,
Mira Mezini
Abstract:
Various studies have empirically shown that the majority of Java and Android apps misuse cryptographic libraries, causing devastating breaches of data security. Therefore, it is crucial to detect such misuses early in the development process. The fact that insecure usages are not the exception but the norm precludes approaches based on property inference and anomaly detection.
In this paper, we…
▽ More
Various studies have empirically shown that the majority of Java and Android apps misuse cryptographic libraries, causing devastating breaches of data security. Therefore, it is crucial to detect such misuses early in the development process. The fact that insecure usages are not the exception but the norm precludes approaches based on property inference and anomaly detection.
In this paper, we present CrySL, a definition language that enables cryptography experts to specify the secure usage of the cryptographic libraries that they provide. CrySL combines the generic concepts of method-call sequences and data-flow constraints with domain-specific constraints related to cryptographic algorithms and their parameters. We have implemented a compiler that translates a CrySL ruleset into a context- and flow-sensitive demand-driven static analysis. The analysis automatically checks a given Java or Android app for violations of the CrySL-encoded rules.
We empirically evaluated our ruleset through analyzing 10,001 Android apps. Our results show that misuse of cryptographic APIs is still widespread, with 96% of apps containing at least one misuse. However, we observed fewer of the misuses that were reported in previous work.
△ Less
Submitted 2 October, 2017;
originally announced October 2017.
-
Discontinuous switching of position of two coexisting phases
Authors:
Samuel Krüger,
Christoph A. Weber,
Jens-UweSommer,
Frank Jülicher
Abstract:
Here we investigate how the positions of a condensed phase can be controlled by using concentration gradients of a regulator that influences phase separation. We consider a mean field model of a ternary mixture where a concentration gradient of a regulator is imposed by an external potential. We show that novel first order phase transition exists at which the position of the condensed phase switch…
▽ More
Here we investigate how the positions of a condensed phase can be controlled by using concentration gradients of a regulator that influences phase separation. We consider a mean field model of a ternary mixture where a concentration gradient of a regulator is imposed by an external potential. We show that novel first order phase transition exists at which the position of the condensed phase switches in a discontinuous manner. This mechanism could have implications for the spatial organization of biological cells and provides a control mechanism for droplets in microfluidic systems.
△ Less
Submitted 29 October, 2017; v1 submitted 24 April, 2017;
originally announced April 2017.
-
MHD modeling of a DIII-D low-torque QH-mode discharge and comparison to observations
Authors:
J. R. King,
S. E. Kruger,
K. H. Burrell,
X. Chen,
A. M. Garofalo,
R. J. Groebner,
K. E. J. Olofsson,
A. Y. Pankin,
P. B. Snyder
Abstract:
Extended-MHD modeling of DIII-D tokamak [J. L. Luxon, Nucl. Fusion 42, 614 (2002)] quiescent H-mode (QH-mode) discharges with nonlinear NIMROD [C. R. Sovinec et al., J. Comput. Phys. 195, 355 (2004)] simulations saturates into a turbulent state but does not saturate when the steady-state flow inferred from measurements is not included. This is consistent with the experimental observations of the q…
▽ More
Extended-MHD modeling of DIII-D tokamak [J. L. Luxon, Nucl. Fusion 42, 614 (2002)] quiescent H-mode (QH-mode) discharges with nonlinear NIMROD [C. R. Sovinec et al., J. Comput. Phys. 195, 355 (2004)] simulations saturates into a turbulent state but does not saturate when the steady-state flow inferred from measurements is not included. This is consistent with the experimental observations of the quiescent regime on DIII-D. The simulation with flow develops into a saturated turbulent state where the n=1 and 2 toroidal modes become dominant through an inverse cascade. Each mode in the range of n=1-5 is dominant at a different time. Consistent with experimental observations during QH-mode, the simulated state leads to large particle transport relative to the thermal transport. Analysis shows that the amplitude and phase of the density and temperature perturbations differ resulting in greater fluctuation-induced convective particle transport relative to the convective thermal transport. Comparison to magnetic-coil measurements shows that rotation frequencies differ between the simulation and experiment, which indicates that more sophisticated extended-MHD two-fluid modeling is required.
△ Less
Submitted 7 March, 2017;
originally announced March 2017.
-
Effect of Scrape-Off-Layer Current on Reconstructed Tokamak Equilibrium
Authors:
J. R. King,
S. E. Kruger,
R. J. Groebner,
J. D. Hanson,
J. D. Hebert,
E. D. Held,
J. R. Jepson
Abstract:
Methods are described that extend fields from reconstructed equilibria to include scrape-off-layer current through extrapolated parametrized and experimental fits. The extrapolation includes both the effects of the toroidal-field and pressure gradients which produce scrape-off-layer current after recomputation of the Grad-Shafranov solution. To quantify the degree that inclusion of scrape-off-laye…
▽ More
Methods are described that extend fields from reconstructed equilibria to include scrape-off-layer current through extrapolated parametrized and experimental fits. The extrapolation includes both the effects of the toroidal-field and pressure gradients which produce scrape-off-layer current after recomputation of the Grad-Shafranov solution. To quantify the degree that inclusion of scrape-off-layer current modifies the equilibrium, the $χ$-squared goodness-of-fit parameter is calculated for cases with and without scrape-off-layer current. The change in $χ$-squared is found to be minor when scrape-off-layer current is included however flux surfaces are shifted by up to 3 cm. The impact on edge modes of these scrape-off-layer modifications is also found to be small and the importance of these methods to nonlinear computation is discussed.
△ Less
Submitted 31 January, 2017;
originally announced February 2017.
-
NIMROD Modeling of Quiescent H-mode: Reconstruction Considerations and Saturation Mechanism
Authors:
J. R. King,
K. H. Burrell,
A. M. Garofalo,
R. J. Groebner,
S. E. Kruger,
A. Y. Pankin,
P. B. Snyder
Abstract:
The extended-MHD NIMROD code [C.R. Sovinec and J.R. King, J. Comput. Phys. 229, 5803 (2010)] models broadband-MHD activity from a reconstruction of a quiescent H-mode shot on the DIII-D tokamak [J. L. Luxon, Nucl. Fusion 42, 614 (2002)]. Computations with the reconstructed toroidal and poloidal ion flows exhibit low-n perturbations (n=1-5) that grow and saturate into a turbulent-like MHD state. Th…
▽ More
The extended-MHD NIMROD code [C.R. Sovinec and J.R. King, J. Comput. Phys. 229, 5803 (2010)] models broadband-MHD activity from a reconstruction of a quiescent H-mode shot on the DIII-D tokamak [J. L. Luxon, Nucl. Fusion 42, 614 (2002)]. Computations with the reconstructed toroidal and poloidal ion flows exhibit low-n perturbations (n=1-5) that grow and saturate into a turbulent-like MHD state. The workflow used to project the reconstructed state onto the NIMROD basis functions re-solves the Grad-Shafranov equation and extrapolates profiles to include scrape-off-layer currents. Evaluation of the transport from the turbulent-like MHD state leads to a relaxation of the density and temperature profiles.
△ Less
Submitted 31 January, 2017;
originally announced February 2017.
-
The Impact of Collisionality, FLR and Parallel Closure Effects on Instabilities in the Tomakak Pedestal: Numerical Studies with the NIMROD code
Authors:
J. R. King,
A. Y. Pankin,
S. E. Kruger,
P. B. Snyder
Abstract:
The extended-MHD NIMROD code [C.R. Sovinec and J.R. King, J. Comput. Phys. 229, 5803 (2010)] is verified against the ideal-MHD ELITE code [H.R. Wilson et al. Phys. Plasmas 9, 1277 (2002)] on a diverted tokamak discharge. When the NIMROD model complexity is increased incrementally, resistive and first-order finite-Larmour radius effects are destabilizing and stabilizing, respectively. The full resu…
▽ More
The extended-MHD NIMROD code [C.R. Sovinec and J.R. King, J. Comput. Phys. 229, 5803 (2010)] is verified against the ideal-MHD ELITE code [H.R. Wilson et al. Phys. Plasmas 9, 1277 (2002)] on a diverted tokamak discharge. When the NIMROD model complexity is increased incrementally, resistive and first-order finite-Larmour radius effects are destabilizing and stabilizing, respectively. The full result is compared to local analytic calculations which are found to overpredict both the resistive destabilization and drift stabilization in comparison to the NIMROD computations.
△ Less
Submitted 31 January, 2017;
originally announced February 2017.
-
Deviations of the exciton level spectrum in cuprous oxide from the hydrogen series
Authors:
Florian Schöne,
Sjard-Ole Krüger,
Peter Grünwald,
Marc Aßmann,
Julian Heckötter,
Johannes Thewes,
Dietmar Fröhlich,
Manfred Bayer,
Heinrich Stolz,
Stefan Scheel
Abstract:
Recent high-resolution absorption spectroscopy on excited excitons in cuprous oxide [Nature (London) 514, 343 (2014)] has revealed significant deviations of their spectrum from that of the ideal hydrogen-like series. Here we show that the complex band dispersion of the crystal, which determines the kinetic energy of electrons and holes, strongly affects the exciton binding energy. Specifically, we…
▽ More
Recent high-resolution absorption spectroscopy on excited excitons in cuprous oxide [Nature (London) 514, 343 (2014)] has revealed significant deviations of their spectrum from that of the ideal hydrogen-like series. Here we show that the complex band dispersion of the crystal, which determines the kinetic energy of electrons and holes, strongly affects the exciton binding energy. Specifically, we show that the nonparabolicity of the band dispersion is the main cause of the deviation from the hydrogen series. Experimental data collected from high-resolution absorption spectroscopy in electric fields validate the assignment of the deviation to the nonparabolicity of the band dispersion.
△ Less
Submitted 22 February, 2016; v1 submitted 17 November, 2015;
originally announced November 2015.
-
A mechanism for stickness, dealing with extreme events
Authors:
Taline Suellen Kruger,
Paulo Paneque Galuzio,
Thiago de Lima Prado,
Sergio Roberto Lopes,
José Danilo Szezech Jr,
Ricardo Luiz Viana
Abstract:
In this letter we study how hyperbolic and non hyperbolic regions in the neighborhood of a resonant island perform a important role allowing or forbidding stickiness phenomenon around islands in conservative systems. The vicinity of the island is composed by non hyperbolic areas that almost prevent the trajectory to visit the island edge. For some specific parameters there are tiny channels embedd…
▽ More
In this letter we study how hyperbolic and non hyperbolic regions in the neighborhood of a resonant island perform a important role allowing or forbidding stickiness phenomenon around islands in conservative systems. The vicinity of the island is composed by non hyperbolic areas that almost prevent the trajectory to visit the island edge. For some specific parameters there are tiny channels embedded in the non hyperbolic area that are associated to hyperbolic fixed points present in the neighborhood of the islands. Such channels allow the trajectory to be injected in the inner portion of the vicinity. When the trajectory crosses the barrier imposed by the non hyperbolic regions, it spends a long time to abandon the surrounding of the island, since the barrier also prevents the trajectory to scape from the neighborhood of the island. In this scenario the non hyperbolic structures are the responsible for the stickiness phenomena, and more than that, the strength of the sticky effect. We reveal that those properties of the phase space allow us to manipulate the existence of extreme events (and the transport associated to it) responsible for the non equilibrium fluctuation of the system. In fact we demonstrate that monitoring very small portions of the phase space (namely $\approx 4\times 10^{-4}$ \% of it) it is possible to generate a completely diffusive system eliminating long time recurrences that result from the stickiness phenomenon.
△ Less
Submitted 12 January, 2015;
originally announced January 2015.
-
A Parametric Study of Extended-MHD Drift Tearing
Authors:
Jacob R King,
Scott E Kruger
Abstract:
The linear drift-tearing mode is analyzed for different regimes of the plasma-$β$, ion-skin-depth parameter space with an unreduced, extended-MHD model. New dispersion relations are found at moderate plasma $β$ and previous drift-tearing results are classified as applicable at small plasma $β$. The drift stabilization of the mode in the regimes varies from non-existent/weak to complete. As the dia…
▽ More
The linear drift-tearing mode is analyzed for different regimes of the plasma-$β$, ion-skin-depth parameter space with an unreduced, extended-MHD model. New dispersion relations are found at moderate plasma $β$ and previous drift-tearing results are classified as applicable at small plasma $β$. The drift stabilization of the mode in the regimes varies from non-existent/weak to complete. As the diamagnetic-drift frequency is proportional to the plasma $β$, verification exercises with unreduced, extended-MHD models in the small plasma-$β$ regimes are impractical. The new dispersion relations in the moderate plasma-$β$ regimes are used to verify the extended-MHD implementation of the NIMROD code [C. R. Sovinec et al., J. Comput. Phys. 195, 355 (2004)]. Given the small boundary-layer skin depth, discussion of the validity of the first-order finite-Larmour-radius model is presented.
△ Less
Submitted 14 July, 2014;
originally announced July 2014.
-
An initial study of mesons and baryons containing strange quarks with GlueX
Authors:
The GlueX Collaboration,
A. AlekSejevs,
S. Barkanova,
M. Dugger,
B. Ritchie,
I. Senderovich,
E. Anassontzis,
P. Ioannou,
C. Kourkoumeli,
G. Voulgaris,
N. Jarvis,
W. Levine,
P. Mattione,
W. McGinley,
C. A. Meyer,
R. Schumacher,
M. Staib,
P. Collins,
F. Klein,
D. Sober,
D. Doughty,
A. Barnes,
R. Jones,
J. McIntyre,
F. Mokaya
, et al. (75 additional authors not shown)
Abstract:
The primary motivation of the GlueX experiment is to search for and ultimately study the pattern of gluonic excitations in the meson spectrum produced in $γp$ collisions. Recent lattice QCD calculations predict a rich spectrum of hybrid mesons that have both exotic and non-exotic $J^{PC}$, corresponding to $q\bar{q}$ states ($q=u,$ $d,$ or $s$) coupled with a gluonic field. A thorough study of the…
▽ More
The primary motivation of the GlueX experiment is to search for and ultimately study the pattern of gluonic excitations in the meson spectrum produced in $γp$ collisions. Recent lattice QCD calculations predict a rich spectrum of hybrid mesons that have both exotic and non-exotic $J^{PC}$, corresponding to $q\bar{q}$ states ($q=u,$ $d,$ or $s$) coupled with a gluonic field. A thorough study of the hybrid spectrum, including the identification of the isovector triplet, with charges 0 and $\pm1$, and both isoscalar members, $|s\bar{s}\ >$ and $|u\bar{u}\ > + |d\bar{d}\ >$, for each predicted hybrid combination of $J^{PC}$, may only be achieved by conducting a systematic amplitude analysis of many different hadronic final states. Detailed studies of the performance of the \gx detector have indicated that identification of particular final states with kaons is possible using the baseline detector configuration. The efficiency of kaon detection coupled with the relatively lower production cross section for particles containing hidden strangeness will require a high intensity run in order for analyses of such states to be feasible. We propose to collect a total of 200 days of physics analysis data at an average intensity of $5\times 10^7$ tagged photons on target per second. This data sample will provide an order of magnitude statistical improvement over the initial GlueX running, which will allow us to begin a program of studying mesons and baryons containing strange quarks. In addition, the increased intensity will permit us to study reactions that may have been statistically limited in the initial phases of GlueX. Overall, this will lead to a significant increase in the potential for \gx to make key experimental advances in our knowledge of hybrid mesons and excited $Ξ$ baryons.
△ Less
Submitted 7 May, 2013;
originally announced May 2013.
-
Evaluation of WRF-Sfire Performance with Field Observations from the FireFlux experiment
Authors:
Adam K. Kochanski,
Mary Ann Jenkins,
Jan Mandel,
Jonathan D. Beezley,
Craig B. Clements,
Steven Krueger
Abstract:
This study uses in-situ measurements collected during the FireFlux field experiment to evaluate and improve the performance of coupled atmosphere-fire model WRF-Sfire. The simulation by WRF-Sfire of the experimental burn shows that WRF-Sfire is capable of providing realistic head fire rate-of-spread and the vertical temperature structure of the fire plume, and, up to 10 m above ground level, fire-…
▽ More
This study uses in-situ measurements collected during the FireFlux field experiment to evaluate and improve the performance of coupled atmosphere-fire model WRF-Sfire. The simulation by WRF-Sfire of the experimental burn shows that WRF-Sfire is capable of providing realistic head fire rate-of-spread and the vertical temperature structure of the fire plume, and, up to 10 m above ground level, fire-induced surface flow and vertical velocities within the plume. The model captured the changes in wind speed and direction before, during, and after fire front passage, along with arrival times of wind speed, temperature, and updraft maximae, at the two instrumented flux towers used in FireFlux. The model overestimated vertical velocities and underestimated horizontal wind speeds measured at tower heights above the 10 m, and it is hypothesized that the limited model resolution over estimated the fire front depth, leading to too high a heat release and, subsequently, too strong an updraft. However, on the whole, WRF-Sfire fire plume behavior is consistent with the interpretation of FireFlux observations. The study suggests optimal experimental pre-planning, design, and execution of future field campaigns that are needed for further coupled atmosphere-fire model development and evaluation.
△ Less
Submitted 19 June, 2012; v1 submitted 14 June, 2012;
originally announced June 2012.
-
Ground-state phase diagram of the spin-1/2 square-lattice J1-J2 model with plaquette structure
Authors:
O. Götze,
S. E. Krüger,
F. Fleck,
J. Schulenburg,
J. Richter
Abstract:
Using the coupled cluster method for high orders of approximation and Lanczos exact diagonalization we study the ground-state phase diagram of a quantum spin-1/2 J1-J2 model on the square lattice with plaquette structure. We consider antiferromagnetic (J1>0) as well as ferromagnetic (J1<0) nearest-neighbor interactions together with frustrating antiferromagnetic next-nearest-neighbor interaction J…
▽ More
Using the coupled cluster method for high orders of approximation and Lanczos exact diagonalization we study the ground-state phase diagram of a quantum spin-1/2 J1-J2 model on the square lattice with plaquette structure. We consider antiferromagnetic (J1>0) as well as ferromagnetic (J1<0) nearest-neighbor interactions together with frustrating antiferromagnetic next-nearest-neighbor interaction J2>0. The strength of inter-plaquette interaction lambda varies between lambda=1 (that corresponds to the uniform J1-J2 model) and lambda=0 (that corresponds to isolated frustrated 4-spin plaquettes). While on the classical level (s \to \infty) both versions of models (i.e., with ferro- and antiferromagnetic J1) exhibit the same ground-state behavior, the ground-state phase diagram differs basically for the quantum case s=1/2. For the antiferromagnetic case (J1 > 0) Neel antiferromagnetic long-range order at small J2/J1 and lambda \gtrsim 0.47 as well as collinear striped antiferromagnetic long-range order at large J2/J1 and lambda \gtrsim 0.30 appear which correspond to their classical counterparts. Both semi-classical magnetic phases are separated by a nonmagnetic quantum paramagnetic phase. The parameter region, where this nonmagnetic phase exists, increases with decreasing of lambda. For the ferromagnetic case (J1 < 0) we have the trivial ferromagnetic ground state at small J2/|J1|. By increasing of J2 this classical phase gives way for a semi-classical plaquette phase, where the plaquette block spins of length s=2 are antiferromagnetically long-range ordered. Further increasing of J2 then yields collinear striped antiferromagnetic long-range order for lambda \gtrsim 0.38, but a nonmagnetic quantum paramagnetic phase lambda \lesssim 0.38.
△ Less
Submitted 3 May, 2012;
originally announced May 2012.
-
Real time simulation of 2007 Santa Ana fires
Authors:
Adam K. Kochanski,
Mary Ann Jenkins,
Steven K. Krueger,
Jan Mandel,
Jonathan D. Beezley
Abstract:
There are many wildfire behaviors of increasing relevance that are outside the forecast capabilities of even the most sophisticated operational fire spread and fire behavior model. The limitations of the operational models are due primarily to their inability to represent coupled fire-atmosphere interactions. Coupled wildfire-atmosphere models are physics-based fluid-dynamical prognostic models of…
▽ More
There are many wildfire behaviors of increasing relevance that are outside the forecast capabilities of even the most sophisticated operational fire spread and fire behavior model. The limitations of the operational models are due primarily to their inability to represent coupled fire-atmosphere interactions. Coupled wildfire-atmosphere models are physics-based fluid-dynamical prognostic models of wildfire spread and behavior that attempt an almost complete representation of fire-atmosphere interactions. This level of fidelity however means that these models cannot be used operationally. The reason is that, despite ever increasing computational resources, the complexity and range of processes and scales (1 mm to 100 km) involved in this modeling approach make computational costs prohibitively expensive. In this study we propose an intermediate approach. A physics-based coupled atmosphere-fire model is used to resolve the large-scale and local weather as well as the atmosphere-fire interactions, while combustion is represented simply using an existing operational surface fire behavior model. This model combination strikes a balance between fidelity and speed of execution. The feasibility of this approach is examined based on an analysis of a numerical simulation of two very large Santa Ana fires using WRF-Sfire, a coupled atmosphere-fire model available at the Open Wildland Fire Modeling Community (OpenWFM.org); an earlier version is available as WRF-Fire in WRF release. The study demonstrates that a wind and fire spread forecast of reasonable accuracy was obtained at an execution speed that would have made real-time wildfire forecasting of this event possible.
△ Less
Submitted 15 February, 2012; v1 submitted 15 February, 2012;
originally announced February 2012.
-
Coupled Atmosphere-Fire Simulations of Fireflux: Impacts of Model Resolution on Model Performance
Authors:
Adam K. Kochanski,
S. K. Krueger,
M. A. Jenkins,
J. Mandel,
J. D. Beezley
Abstract:
The ability to forecast grass fire spread could be of a great importance for agencies making decisions about prescribed burns. However, the usefulness of the models used for fire-spread predictions is limited by the time required for completing the coupled atmosphere-fire simulations. In this study we analyze the sensitivity of a coupled model with respect to the vertical resolution of the atmosph…
▽ More
The ability to forecast grass fire spread could be of a great importance for agencies making decisions about prescribed burns. However, the usefulness of the models used for fire-spread predictions is limited by the time required for completing the coupled atmosphere-fire simulations. In this study we analyze the sensitivity of a coupled model with respect to the vertical resolution of the atmospheric grid and the resolution of fire mesh that both affect computational performance of the model. Based on the observations of the plume properties recorded during the FireFlux experiment (Clements et al., 2007), we try to establish the optimal model configuration that provides realistic results for the least computational expense.
△ Less
Submitted 2 December, 2011;
originally announced December 2011.
-
FACETS - a Framework for Parallel Coupling of Fusion Components
Authors:
John R. Cary,
Ammar Hakim,
Mahmood Miah,
Scott Kruger,
Alexander Pletzer,
Svetlana Shasharina,
Srinath Vadlamani,
Alexei Pankin,
Ronald Cohen,
Tom Epperly,
Tom Rognlien,
Richard Groebner,
Satish Balay,
Lois McInnes,
Hong Zhang
Abstract:
Coupling separately developed codes offers an attractive method for increasing the accuracy and fidelity of the computational models. Examples include the earth sciences and fusion integrated modeling. This paper describes the Framework Application for Core-Edge Transport Simulations (FACETS).
Coupling separately developed codes offers an attractive method for increasing the accuracy and fidelity of the computational models. Examples include the earth sciences and fusion integrated modeling. This paper describes the Framework Application for Core-Edge Transport Simulations (FACETS).
△ Less
Submitted 9 April, 2010;
originally announced April 2010.
-
Ground-state phases of the spin-1/2 J_1-J_2 Heisenberg antiferromagnet on the square lattice: A high-order coupled cluster treatment
Authors:
R. Darradi,
O. Derzhko,
R. Zinke,
J. Schulenburg,
S. E. Krueger,
J. Richter
Abstract:
Using the coupled cluster method for high orders of approximation and complementary exact diagonalization studies we investigate the ground state properties of the spin-1/2 $J_1$--$J_2$ frustrated Heisenberg antiferromagnet on the square lattice. We have calculated the ground-state energy, the magnetic order parameter, the spin stiffness, and several generalized susceptibilities to probe magneti…
▽ More
Using the coupled cluster method for high orders of approximation and complementary exact diagonalization studies we investigate the ground state properties of the spin-1/2 $J_1$--$J_2$ frustrated Heisenberg antiferromagnet on the square lattice. We have calculated the ground-state energy, the magnetic order parameter, the spin stiffness, and several generalized susceptibilities to probe magnetically disordered quantum valence-bond phases. We have found that the quantum critical points for both the Néel and collinear orders are
$J_2^{c1}\approx (0.44 \pm 0.01)J_1$ and $J_2^{c2}\approx (0.59 \pm 0.01)J_1$ respectively, which are in good agreement with the results obtained by other approximations. In contrast to the recent study by [Sirker et al. Phys. Rev. B {\bf 73}, 184420 (2006)], our data do not provide evidence for the transition from the Néel to the valence-bond solid state to be first order. Moreover, our results are in favor of the deconfinement scenario for that phase transition. We also discuss the nature of the magnetically disordered quantum phase.
△ Less
Submitted 22 December, 2008; v1 submitted 24 June, 2008;
originally announced June 2008.
-
Direct calculation of the spin stiffness on square, triangular and cubic lattices using the coupled cluster method
Authors:
S. E. Krüger,
R. Darradi,
J. Richter,
D. J. J Farnell
Abstract:
We present a method for the direct calculation of the spin stiffness by means of the coupled cluster method. For the spin-half Heisenberg antiferromagnet on the square, the triangular and the cubic lattices we calculate the stiffness in high orders of approximation. For the square and the cubic lattices our results are in very good agreement with the best results available in the literature. For…
▽ More
We present a method for the direct calculation of the spin stiffness by means of the coupled cluster method. For the spin-half Heisenberg antiferromagnet on the square, the triangular and the cubic lattices we calculate the stiffness in high orders of approximation. For the square and the cubic lattices our results are in very good agreement with the best results available in the literature. For the triangular lattice our result is more precise than any other result obtained so far by other approximate method.
△ Less
Submitted 13 March, 2006; v1 submitted 31 January, 2006;
originally announced January 2006.