Showing 1–50 of 173 results for author: Edwards, J

Unified worldline treatment of Yukawa and axial couplings

Authors: F. Bastianelli, O. Corradini, J. P. Edwards, D. G. C. McKeon, C. Schubert

Abstract: We provide a worldline representation of the one-loop effective action for a Dirac particle coupled to external scalar, pseudoscalar, vector and axialvector fields. Extending previous work by two of the authors on the pure vector-axialvector case to all four couplings, it allows one to treat the real and the imaginary parts of the effective action in a unified manner, at the price of having a non-… ▽ More We provide a worldline representation of the one-loop effective action for a Dirac particle coupled to external scalar, pseudoscalar, vector and axialvector fields. Extending previous work by two of the authors on the pure vector-axialvector case to all four couplings, it allows one to treat the real and the imaginary parts of the effective action in a unified manner, at the price of having a non-Hermitian Hamiltonian. Unlike existing worldline representations, our new worldline action contains terms with an odd number of Grassmann fields, leading to ordering problems that in the worldline formalism are usually encountered only in curved space. Drawing on the highly developed technology for worldline path-integrals in gravity, we employ the Time Slicing regularisation of the path integral which comes about with a specific ``counterterm Lagrangian'', which we calculate once and for all and non-perturbatively, to provide unambiguous rules to treat products of distributions occurring in some diagrams of the one-dimensional worldline theory. We then employ the usual worldline machinery to lay out the rules for the calculation of the effective action itself as well as the corresponding one-loop amplitudes. We test the formalism on the calculation of various heat-kernel coefficients, self energies and scattering amplitudes, including the Higgs decay into two photons or gluons and the PCAC relation. In all cases we find perfect agreement with more established approaches. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: 32 pages, 1 figure

Generative AI Adoption in Classroom in Context of Technology Acceptance Model (TAM) and the Innovation Diffusion Theory (IDT)

Authors: Aashish Ghimire, John Edwards

Abstract: The burgeoning development of generative artificial intelligence (GenAI) and the widespread adoption of large language models (LLMs) in educational settings have sparked considerable debate regarding their efficacy and acceptability.Despite the potential benefits, the assimilation of these cutting-edge technologies among educators exhibits a broad spectrum of attitudes, from enthusiastic advocacy… ▽ More The burgeoning development of generative artificial intelligence (GenAI) and the widespread adoption of large language models (LLMs) in educational settings have sparked considerable debate regarding their efficacy and acceptability.Despite the potential benefits, the assimilation of these cutting-edge technologies among educators exhibits a broad spectrum of attitudes, from enthusiastic advocacy to profound skepticism.This study aims to dissect the underlying factors influencing educators' perceptions and acceptance of GenAI and LLMs.We conducted a survey among educators and analyzed the data through the frameworks of the Technology Acceptance Model (TAM) and Innovation Diffusion Theory (IDT). Our investigation reveals a strong positive correlation between the perceived usefulness of GenAI tools and their acceptance, underscoring the importance of demonstrating tangible benefits to educators. Additionally, the perceived ease of use emerged as a significant factor, though to a lesser extent, influencing acceptance. Our findings also show that the knowledge and acceptance of these tools is not uniform, suggesting that targeted strategies are required to address the specific needs and concerns of each adopter category to facilitate broader integration of AI tools.in education. △ Less

Submitted 29 March, 2024; originally announced June 2024.

Kinematic Model of Magnetic Domain Wall Motion for Fast, High-Accuracy Simulations

Authors: Kristi Doleh, Leonard Humphrey, Chandler M. Linseisen, Michael D. Kitcher, Joanna M. Martin, Can Cui, Jean Anne C. Incorvia, Felipe Garcia-Sanchez, Naimul Hassan, Alexander J. Edwards, Joseph S. Friedman

Abstract: Domain wall (DW) devices have garnered recent interest for diverse applications including memory, logic, and neuromorphic primitives; fast, accurate device models are therefore imperative for large-scale system design and verification. Extant DW motion models are sub-optimal for large-scale system design either over-consuming compute resources with physics-heavy equations or oversimplifying the ph… ▽ More Domain wall (DW) devices have garnered recent interest for diverse applications including memory, logic, and neuromorphic primitives; fast, accurate device models are therefore imperative for large-scale system design and verification. Extant DW motion models are sub-optimal for large-scale system design either over-consuming compute resources with physics-heavy equations or oversimplifying the physics, drastically reducing model accuracy. We propose a DW model inspired by the phenomenological similarities between motions of a DW and a classical object being acted on by forces like air resistance or static friction. Our proposed phenomenological model predicts DW motion within 1.2% on average compared with micromagnetic simulations that are 400 times slower. Additionally our model is seven times faster than extant collective coordinate models and 14 times more accurate than extant hyper-reduced models making it an essential tool for large-scale DW circuit design and simulation. The model is publicly posted along with scripts that automatically extract model parameters from user-provided simulation or experimental data to extend the model to alternative micromagnetic parameters. △ Less

Submitted 31 May, 2024; originally announced June 2024.

Letter of Intent: Towards a Vacuum Birefringence Experiment at the Helmholtz International Beamline for Extreme Fields

Authors: N. Ahmadiniaz, C. Bähtz, A. Benediktovitch, C. Bömer, L. Bocklage, T. E. Cowan, J. Edwards, S. Evans, S. Franchino Viñas, H. Gies, S. Göde, J. Görs, J. Grenzer, U. Hernandez Acosta, T. Heinzl, P. Hilz, W. Hippler, L. G. Huang, O. Humphries, F. Karbstein, P. Khademi, B. King, T. Kluge, C. Kohlfürst, D. Krebs , et al. (27 additional authors not shown)

Abstract: Quantum field theory predicts a nonlinear response of the vacuum to strong electromagnetic fields of macroscopic extent. This fundamental tenet has remained experimentally challenging and is yet to be tested in the laboratory. A particularly distinct signature of the resulting optical activity of the quantum vacuum is vacuum birefringence. This offers an excellent opportunity for a precision test… ▽ More Quantum field theory predicts a nonlinear response of the vacuum to strong electromagnetic fields of macroscopic extent. This fundamental tenet has remained experimentally challenging and is yet to be tested in the laboratory. A particularly distinct signature of the resulting optical activity of the quantum vacuum is vacuum birefringence. This offers an excellent opportunity for a precision test of nonlinear quantum electrodynamics in an uncharted parameter regime. Recently, the operation of the high-intensity laser ReLaX provided by the Helmholtz International Beamline for Extreme Fields (HIBEF) has been inaugurated at the High Energy Density (HED) scientific instrument of the European XFEL. We make the case that this worldwide unique combination of an x-ray free-electron laser and an ultra-intense near-infrared laser together with recent advances in high-precision x-ray polarimetry, refinements of prospective discovery scenarios, and progress in their accurate theoretical modelling have set the stage for performing an actual discovery experiment of quantum vacuum nonlinearity. △ Less

Submitted 28 May, 2024; originally announced May 2024.

Comments: 34 pages, 21 figures

Comparing Perceptions of Static and Adaptive Proactive Speech Agents

Authors: Justin Edwards, Philip R. Doyle, Holly P. Branigan, Benjamin R. Cowan

Abstract: A growing literature on speech interruptions describes how people interrupt one another with speech, but these behaviours have not yet been implemented in the design of artificial agents which interrupt. Perceptions of a prototype proactive speech agent which adapts its speech to both urgency and to the difficulty of the ongoing task it interrupts are compared against perceptions of a static proac… ▽ More A growing literature on speech interruptions describes how people interrupt one another with speech, but these behaviours have not yet been implemented in the design of artificial agents which interrupt. Perceptions of a prototype proactive speech agent which adapts its speech to both urgency and to the difficulty of the ongoing task it interrupts are compared against perceptions of a static proactive agent which does not. The study hypothesises that adaptive proactive speech modelled on human speech interruptions will lead to partner models which consider the proactive agent as a stronger conversational partner than a static agent, and that interruptions initiated by an adaptive agent will be judged as better timed and more appropriately asked. These hypotheses are all rejected however, as quantitative analysis reveals that participants view the adaptive agent as a poorer dialogue partner than the static agent and as less appropriate in the style it interrupts. Qualitative analysis sheds light on the source of this surprising finding, as participants see the adaptive agent as less socially appropriate and as less consistent in its interactions than the static agent. △ Less

Submitted 14 May, 2024; v1 submitted 13 May, 2024; originally announced May 2024.

Comments: Accepted to CUI 2024 - 6th Conference on Conversational User Interfaces

All-multiplicity amplitudes in impulsive PP-waves from the worldline formalism

Authors: Patrick Co**er, James P. Edwards, Anton Ilderton, Karthik Rajeev

Abstract: We use the worldline formalism to derive Bern-Kosower type Master Formulae for the tree-level scattering of a charged particle and an arbitrary number of photons on impulsive PP-waves, where the coupling of the PP-wave to matter is treated fully non-perturbatively. We show that, in a certain kinematic regime characterised by a semi-classical positive energy condition, both off-shell currents and s… ▽ More We use the worldline formalism to derive Bern-Kosower type Master Formulae for the tree-level scattering of a charged particle and an arbitrary number of photons on impulsive PP-waves, where the coupling of the PP-wave to matter is treated fully non-perturbatively. We show that, in a certain kinematic regime characterised by a semi-classical positive energy condition, both off-shell currents and scattering amplitudes exhibit two novel factorisation structures. First, they may be written as currents in vacuum but with a single additional photon, averaged over the momentum of that photon. This converts the all-orders interaction with the PP-wave into a single effective interaction. Second, the currents and amplitudes may be written as a weighted average of the corresponding quantities in an impulsive plane wave background, with the average taken over all possible field strengths of the plane wave. This generalises a known single-photon result to arbitrary multiplicity. △ Less

Submitted 12 May, 2024; originally announced May 2024.

Comments: 29 pages, 3 figures

Double Robust Variance Estimation

Authors: Bonnie E. Shook-Sa, Paul N. Zivich, Chanhwa Lee, Keyi Xue, Rachael K. Ross, Jessie K. Edwards, Jeffrey S. A. Stringer, Stephen R. Cole

Abstract: Doubly robust estimators have gained popularity in the field of causal inference due to their ability to provide consistent point estimates when either an outcome or exposure model is correctly specified. However, the influence function based variance estimator frequently used with doubly robust estimators is only consistent when both the outcome and exposure models are correctly specified. Here,… ▽ More Doubly robust estimators have gained popularity in the field of causal inference due to their ability to provide consistent point estimates when either an outcome or exposure model is correctly specified. However, the influence function based variance estimator frequently used with doubly robust estimators is only consistent when both the outcome and exposure models are correctly specified. Here, use of M-estimation and the empirical sandwich variance estimator for doubly robust point and variance estimation is demonstrated. Simulation studies illustrate the properties of the influence function based and empirical sandwich variance estimators. Estimators are applied to data from the Improving Pregnancy Outcomes with Progesterone (IPOP) trial to estimate the effect of maternal anemia on birth weight among women with HIV. In the example, birth weights if all women had anemia were estimated to be lower than birth weights if no women had anemia, though estimates were imprecise. Variance estimates were more stable under varying model specifications for the empirical sandwich variance estimator than the influence function based variance estimator. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 19 pages, 5 figures, 6 tables

From Guidelines to Governance: A Study of AI Policies in Education

Authors: Aashish Ghimire, John Edwards

Abstract: Emerging technologies like generative AI tools, including ChatGPT, are increasingly utilized in educational settings, offering innovative approaches to learning while simultaneously posing new challenges. This study employs a survey methodology to examine the policy landscape concerning these technologies, drawing insights from 102 high school principals and higher education provosts. Our results… ▽ More Emerging technologies like generative AI tools, including ChatGPT, are increasingly utilized in educational settings, offering innovative approaches to learning while simultaneously posing new challenges. This study employs a survey methodology to examine the policy landscape concerning these technologies, drawing insights from 102 high school principals and higher education provosts. Our results reveal a prominent policy gap: the majority of institutions lack specialized guide-lines for the ethical deployment of AI tools such as ChatGPT. Moreover,we observed that high schools are less inclined to work on policies than higher educational institutions. Where such policies do exist, they often overlook crucial issues, including student privacy and algorithmic transparency. Administrators overwhelmingly recognize the necessity of these policies, primarily to safeguard student safety and mitigate plagiarism risks. Our findings underscore the urgent need for flexible and iterative policy frameworks in educational contexts. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Generative AI in Education: A Study of Educators' Awareness, Sentiments, and Influencing Factors

Authors: Aashish Ghimire, James Prather, John Edwards

Abstract: The rapid advancement of artificial intelligence (AI) and the expanding integration of large language models (LLMs) have ignited a debate about their application in education. This study delves into university instructors' experiences and attitudes toward AI language models, filling a gap in the literature by analyzing educators' perspectives on AI's role in the classroom and its potential impacts… ▽ More The rapid advancement of artificial intelligence (AI) and the expanding integration of large language models (LLMs) have ignited a debate about their application in education. This study delves into university instructors' experiences and attitudes toward AI language models, filling a gap in the literature by analyzing educators' perspectives on AI's role in the classroom and its potential impacts on teaching and learning. The objective of this research is to investigate the level of awareness, overall sentiment towardsadoption, and the factors influencing these attitudes for LLMs and generative AI-based tools in higher education. Data was collected through a survey using a Likert scale, which was complemented by follow-up interviews to gain a more nuanced understanding of the instructors' viewpoints. The collected data was processed using statistical and thematic analysis techniques. Our findings reveal that educators are increasingly aware of and generally positive towards these tools. We find no correlation between teaching style and attitude toward generative AI. Finally, while CS educators show far more confidence in their technical understanding of generative AI tools and more positivity towards them than educators in other fields, they show no more confidence in their ability to detect AI-generated work. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Computing with Clocks

Authors: Jonathan Edwards, Alex Yakovlev, Simon O'Keefe

Abstract: Clocks are a central part of many computing paradigms, and are mainly used to synchronise the delicate operation of switching, necessary to drive modern computational processes. Unfortunately, this synchronisation process is reaching a natural ``apocalypse''. No longer can clock scaling be used as a blunt tool to accelerate computation, we are up against the natural limits of switching and synchro… ▽ More Clocks are a central part of many computing paradigms, and are mainly used to synchronise the delicate operation of switching, necessary to drive modern computational processes. Unfortunately, this synchronisation process is reaching a natural ``apocalypse''. No longer can clock scaling be used as a blunt tool to accelerate computation, we are up against the natural limits of switching and synchronisation across large processors. Therefore, we need to rethink how time is utilised in computation, using it more naturally in the role of representing data. This can be achieved by using a time interval delineated by discrete start and end events, and by re-casting computational operations into the time domain. With this, computer systems can be developed that are naturally scaleable in time and space, and can use ambient time references built to the best effort of the available technology. Our ambition is to better manage the energy/computation time trade-off, and to explicitly embed the resolution of the data in the time domain. We aim to recast calculations into the ``for free'' format that time offers, and in addition, perform these calculations at the highest clock or oscillator resolution possible. △ Less

Submitted 5 February, 2024; originally announced February 2024.

MSC Class: 68-01 ACM Class: C.1

Finite sample performance of optimal treatment rule estimators with right-censored outcomes

Authors: Michael Jetsupphasuk, Michael G. Hudgens, Jessie K. Edwards, Stephen R. Cole

Abstract: Patient care may be improved by recommending treatments based on patient characteristics when there is treatment effect heterogeneity. Recently, there has been a great deal of attention focused on the estimation of optimal treatment rules that maximize expected outcomes. However, there has been comparatively less attention given to settings where the outcome is right-censored, especially with rega… ▽ More Patient care may be improved by recommending treatments based on patient characteristics when there is treatment effect heterogeneity. Recently, there has been a great deal of attention focused on the estimation of optimal treatment rules that maximize expected outcomes. However, there has been comparatively less attention given to settings where the outcome is right-censored, especially with regard to the practical use of estimators. In this study, simulations were undertaken to assess the finite-sample performance of estimators for optimal treatment rules and estimators for the expected outcome under treatment rules. The simulations were motivated by the common setting in biomedical and public health research where the data is observational, survival times may be right-censored, and there is interest in estimating baseline treatment decisions to maximize survival probability. A variety of outcome regression and direct search estimation methods were compared for optimal treatment rule estimation across a range of simulation scenarios. Methods that flexibly model the outcome performed comparatively well, including in settings where the treatment rule was non-linear. R code to reproduce this study's results are available on Github. △ Less

Submitted 25 January, 2024; v1 submitted 5 January, 2024; originally announced January 2024.

Control of threshold voltages in Si/SiGe quantum devices via optical illumination

Authors: M. A. Wolfe, Brighton X. Coe, Justin S. Edwards, Tyler J. Kovach, Thomas McJunkin, Benjamin Harpt, D. E. Savage, M. G. Lagally, R. McDermott, Mark Friesen, Shimon Kolkowitz, M. A. Eriksson

Abstract: Optical illumination of quantum-dot qubit devices at cryogenic temperatures, while not well studied, is often used to recover operating conditions after undesired shocking events or charge injection. Here, we demonstrate systematic threshold voltage shifts in a dopant-free, Si/SiGe field effect transistor using a near infrared (780 nm) laser diode. We find that illumination under an applied gate v… ▽ More Optical illumination of quantum-dot qubit devices at cryogenic temperatures, while not well studied, is often used to recover operating conditions after undesired shocking events or charge injection. Here, we demonstrate systematic threshold voltage shifts in a dopant-free, Si/SiGe field effect transistor using a near infrared (780 nm) laser diode. We find that illumination under an applied gate voltage can be used to set a specific, stable, and reproducible threshold voltage that, over a wide range in gate bias, is equal to that gate bias. Outside this range, the threshold voltage can still be tuned, although the resulting threshold voltage is no longer equal to the applied gate bias during illumination. We present a simple and intuitive model that provides a mechanism for the tunability in gate bias. The model presented also explains why cryogenic illumination is successful at resetting quantum dot qubit devices after undesired charging events. △ Less

Submitted 20 June, 2024; v1 submitted 21 December, 2023; originally announced December 2023.

Comments: 8 pages, 6 figures

Master Formulae for $N$-photon tree level amplitudes in plane wave backgrounds

Authors: Patrick Co**er, James P. Edwards, Anton Ilderton, Karthik Rajeev

Abstract: The presence of strong electromagnetic fields adds huge complexity to QED Feynman diagrams, such that new methods are required to calculate higher-loop and higher-multiplicity scattering amplitudes. Here we use the worldline formalism to present `Master Formulae' for all tree level amplitudes of two massive particles and an arbitrary number of photons, in a plane wave background, in both scalar an… ▽ More The presence of strong electromagnetic fields adds huge complexity to QED Feynman diagrams, such that new methods are required to calculate higher-loop and higher-multiplicity scattering amplitudes. Here we use the worldline formalism to present `Master Formulae' for all tree level amplitudes of two massive particles and an arbitrary number of photons, in a plane wave background, in both scalar and spinor QED. The plane wave is treated without approximation throughout, meaning in particular that our formulae are valid in the strong-field regime of current theoretical and experimental interest. We check our results against literature expressions obtainable at low multiplicity via direct Feynman diagram calculations. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 21 pages, 1 pdf figure

A Graphical Comparison of Screening Designs using Support Recovery Probabilities

Authors: Kade Young, Maria L. Weese, Jonathan W. Stallrich, Byran J. Smucker, David J. Edwards

Abstract: A screening experiment attempts to identify a subset of important effects using a relatively small number of experimental runs. Given the limited run size and a large number of possible effects, penalized regression is a popular tool used to analyze screening designs. In particular, an automated implementation of the Gauss-Dantzig selector has been widely recommended to compare screening design co… ▽ More A screening experiment attempts to identify a subset of important effects using a relatively small number of experimental runs. Given the limited run size and a large number of possible effects, penalized regression is a popular tool used to analyze screening designs. In particular, an automated implementation of the Gauss-Dantzig selector has been widely recommended to compare screening design construction methods. Here, we illustrate potential reproducibility issues that arise when comparing screening designs via simulation, and recommend a graphical method, based on screening probabilities, which compares designs by evaluating them along the penalized regression solution path. This method can be implemented using simulation, or, in the case of lasso, by using exact local lasso sign recovery probabilities. Our approach circumvents the need to specify tuning parameters associated with regularization methods, leading to more reliable design comparisons. This article contains supplementary materials including code to implement the proposed methods. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: 48 pages, 28 figures

Deep Neuromorphic Networks with Superconducting Single Flux Quanta

Authors: Gleb Krylov, Alexander J. Edwards, Joseph S. Friedman, Eby G. Friedman

Abstract: Conventional semiconductor-based integrated circuits are gradually approaching fundamental scaling limits. Many prospective solutions have recently emerged to supplement or replace both the technology on which basic devices are built and the architecture of data processing. Neuromorphic circuits are a promising approach to computing where techniques used by the brain to achieve high efficiency are… ▽ More Conventional semiconductor-based integrated circuits are gradually approaching fundamental scaling limits. Many prospective solutions have recently emerged to supplement or replace both the technology on which basic devices are built and the architecture of data processing. Neuromorphic circuits are a promising approach to computing where techniques used by the brain to achieve high efficiency are exploited. Many existing neuromorphic circuits rely on unconventional and useful properties of novel technologies to better mimic the operation of the brain. One such technology is single flux quantum (SFQ) logic -- a cryogenic superconductive technology in which the data are represented by quanta of magnetic flux (fluxons) produced and processed by Josephson junctions embedded within inductive loops. The movement of a fluxon within a circuit produces a quantized voltage pulse (SFQ pulse), resembling a neuronal spiking event. These circuits routinely operate at clock frequencies of tens to hundreds of gigahertz, making SFQ a natural technology for processing high frequency pulse trains. Prior proposals for SFQ neural networks often require energy-expensive fluxon conversions, involve heterogeneous technologies, or exclusively focus on device level behavior. In this paper, a design methodology for deep single flux quantum neuromorphic networks is presented. Synaptic and neuronal circuits based on SFQ technology are presented and characterized. Based on these primitives, a deep neuromorphic XOR network is evaluated as a case study, both at the architectural and circuit levels, achieving wide classification margins. The proposed methodology does not employ unconventional superconductive devices or semiconductor transistors. The resulting networks are tunable by an external current, making this proposed system an effective approach for scalable cryogenic neuromorphic computing. △ Less

Submitted 21 September, 2023; originally announced November 2023.

Synthesis estimators for positivity violations with a continuous covariate

Authors: Paul N Zivich, Jessie K Edwards, Bonnie E Shook-Sa, Eric T Lofgren, Justin Lessler, Stephen R Cole

Abstract: Studies intended to estimate the effect of a treatment, like randomized trials, may not be sampled from the desired target population. To correct for this discrepancy, estimates can be transported to the target population. Methods for transporting between populations are often premised on a positivity assumption, such that all relevant covariate patterns in one population are also present in the o… ▽ More Studies intended to estimate the effect of a treatment, like randomized trials, may not be sampled from the desired target population. To correct for this discrepancy, estimates can be transported to the target population. Methods for transporting between populations are often premised on a positivity assumption, such that all relevant covariate patterns in one population are also present in the other. However, eligibility criteria, particularly in the case of trials, can result in violations of positivity when transporting to external populations. To address nonpositivity, a synthesis of statistical and mathematical models can be considered. This approach integrates multiple data sources (e.g. trials, observational, pharmacokinetic studies) to estimate treatment effects, leveraging mathematical models to handle positivity violations. This approach was previously demonstrated for positivity violations by a single binary covariate. Here, we extend the synthesis approach for positivity violations with a continuous covariate. For estimation, two novel augmented inverse probability weighting estimators are proposed. Both estimators are contrasted with other common approaches for addressing nonpositivity. Empirical performance is compared via Monte Carlo simulation. Finally, the competing approaches are illustrated with an example in the context of two-drug versus one-drug antiretroviral therapy on CD4 T cell counts among women with HIV. △ Less

Submitted 31 May, 2024; v1 submitted 15 November, 2023; originally announced November 2023.

Unlocking ultrastrong high-temperature ceramics: Beyond Equimolar Compositions in High Entropy Nitrides

Authors: O. V. Pshyk, A. Vasylenko, P. Kuttel, B. Wicher, P. Schweizer, J. Michler, T. E. J. Edwards

Abstract: Traditionally, increasing compositional complexity and chemical diversity of high entropy alloy ceramics whilst maintaining a stable single-phase solid solution has been a primary design strategy for the development of new ceramics. However, only a handful have shown properties that justify the increased alloying content. Here, we unveil a groundbreaking strategy based on deviation from convention… ▽ More Traditionally, increasing compositional complexity and chemical diversity of high entropy alloy ceramics whilst maintaining a stable single-phase solid solution has been a primary design strategy for the development of new ceramics. However, only a handful have shown properties that justify the increased alloying content. Here, we unveil a groundbreaking strategy based on deviation from conventional equimolar composition towards non-equimolar composition space, enabling tuning the metastability level of the supersaturated single-phase solid solution. By employing high-temperature micromechanical testing of refractory metal-based high entropy nitrides, we found that the activation of an additional strengthening mechanism upon metastable phase decomposition propels the yield strength of a non-equimolar nitride at 1000 C to a staggering 6.9 GPa, that is 40 % higher than the most robust equimolar nitride. We show that the inherent instability triggers the decomposition of the solid solution with non-equimolar composition at high temperatures, inducing strengthening due to the coherency stress of a spinodally modulated structure, combined with the lattice resistance of the product solid solution phase. In stark contrast, the strength of equimolar systems, boasting diverse chemical compositions, declines as a function of temperature due to the weakening of the lattice resistance and the absence of other strengthening mechanisms. △ Less

Submitted 18 March, 2024; v1 submitted 31 October, 2023; originally announced October 2023.

Comments: 17 pages, 4 figures, 25 supplementary pages, 19 supplementary figures, 1 Supplementary Table

A Bayesian model calibration framework for stochastic compartmental models with both time-varying and time-invariant parameters

Authors: Brandon Robinson, Philippe Bisaillon, Jodi D. Edwards, Tetyana Kendzerska, Mohammad Khalil, Dominique Poirel, Abhijit Sarkar

Abstract: We consider state and parameter estimation for compartmental models having both time-varying and time-invariant parameters. Though the described Bayesian computational framework is general, we look at a specific application to the susceptible-infectious-removed (SIR) model which describes a basic mechanism for the spread of infectious diseases through a system of coupled nonlinear differential equ… ▽ More We consider state and parameter estimation for compartmental models having both time-varying and time-invariant parameters. Though the described Bayesian computational framework is general, we look at a specific application to the susceptible-infectious-removed (SIR) model which describes a basic mechanism for the spread of infectious diseases through a system of coupled nonlinear differential equations. The SIR model consists of three states, namely, the three compartments, and two parameters which control the coupling among the states. The deterministic SIR model with time-invariant parameters has shown to be overly simplistic for modelling the complex long-term dynamics of diseases transmission. Recognizing that certain model parameters will naturally vary in time due to seasonal trends, non-pharmaceutical interventions, and other random effects, the estimation procedure must systematically permit these time-varying effects to be captured, without unduly introducing artificial dynamics into the system. To this end, we leverage the robustness of the Markov Chain Monte Carlo (MCMC) algorithm for the estimation of time-invariant parameters alongside nonlinear filters for the joint estimation of the system state and time-varying parameters. We demonstrate performance of the framework by first considering a series of examples using synthetic data, followed by an exposition on public health data collected in the province of Ontario. △ Less

Submitted 4 November, 2023; v1 submitted 24 October, 2023; originally announced October 2023.

Live & Local Schema Change: Challenge Problems

Authors: Jonathan Edwards, Tomas Petricek, Tijs van der Storm

Abstract: Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expressed explicitly in a database schema or type system, or whether those expectations are implicit in the behavior of the code. Schema changes during live programming can create a mismatch between the code and data in the ru… ▽ More Schema change is an unsolved problem in both live programming and local-first software. We include in schema change any change to the expected shape of data, whether that is expressed explicitly in a database schema or type system, or whether those expectations are implicit in the behavior of the code. Schema changes during live programming can create a mismatch between the code and data in the running environment. Similarly, schema changes in local-first programming can create mismatches between data in different replicas, and between data in a replica and the code colocated with it. In all of these situations the problem of schema change is to migrate or translate existing data in coordination with changes to the code. This paper contributes a set of concrete scenarios involving schema change that are offered as challenge problems to the live programming and local-first communities. We hope that these problems will spur progress by providing concrete objectives and a basis for comparing alternative solutions. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Comments: To appear at LIVE Programming Workshop, October 24, 2023, ACM SIGPLAN conference on Systems, Programming, Languages, and Applications (SPLASH) Cascais, Portugal

Neuromorphic Hebbian learning with magnetic tunnel junction synapses

Authors: Peng Zhou, Alexander J. Edwards, Frederick B. Mancoff, Sanjeev Aggarwal, Stephen K. Heinrich-Barna, Joseph S. Friedman

Abstract: Neuromorphic computing aims to mimic both the function and structure of biological neural networks to provide artificial intelligence with extreme efficiency. Conventional approaches store synaptic weights in non-volatile memory devices with analog resistance states, permitting in-memory computation of neural network operations while avoiding the costs associated with transferring synaptic weights… ▽ More Neuromorphic computing aims to mimic both the function and structure of biological neural networks to provide artificial intelligence with extreme efficiency. Conventional approaches store synaptic weights in non-volatile memory devices with analog resistance states, permitting in-memory computation of neural network operations while avoiding the costs associated with transferring synaptic weights from a memory array. However, the use of analog resistance states for storing weights in neuromorphic systems is impeded by stochastic writing, weights drifting over time through stochastic processes, and limited endurance that reduces the precision of synapse weights. Here we propose and experimentally demonstrate neuromorphic networks that provide high-accuracy inference thanks to the binary resistance states of magnetic tunnel junctions (MTJs), while leveraging the analog nature of their stochastic spin-transfer torque (STT) switching for unsupervised Hebbian learning. We performed the first experimental demonstration of a neuromorphic network directly implemented with MTJ synapses, for both inference and spike-timing-dependent plasticity learning. We also demonstrated through simulation that the proposed system for unsupervised Hebbian learning with stochastic STT-MTJ synapses can achieve competitive accuracies for MNIST handwritten digit recognition. By appropriately applying neuromorphic principles through hardware-aware design, the proposed STT-MTJ neuromorphic learning networks provide a pathway toward artificial intelligence hardware that learns autonomously with extreme efficiency. △ Less

Submitted 21 August, 2023; originally announced August 2023.

The Partner Modelling Questionnaire: A validated self-report measure of perceptions toward machines as dialogue partners

Authors: Philip R. Doyle, Iona Gessinger, Justin Edwards, Leigh Clark, Odile Dumbleton, Diego Garaialde, Daniel Rough, Anna Bleakley, Holly P. Branigan, Benjamin R. Cowan

Abstract: Recent work has looked to understand user perceptions of speech agent capabilities as dialogue partners (termed partner models), and how this affects user interaction. Yet, currently partner model effects are inferred from language production as no metrics are available to quantify these subjective perceptions more directly. Through three studies, we develop and validate the Partner Modelling Ques… ▽ More Recent work has looked to understand user perceptions of speech agent capabilities as dialogue partners (termed partner models), and how this affects user interaction. Yet, currently partner model effects are inferred from language production as no metrics are available to quantify these subjective perceptions more directly. Through three studies, we develop and validate the Partner Modelling Questionnaire (PMQ): an 18-item self-report semantic differential scale designed to reliably measure people's partner models of non-embodied speech interfaces. Through principal component analysis and confirmatory factor analysis, we show that the PMQ scale consists of three factors: communicative competence and dependability, human-likeness in communication, and communicative flexibility. Our studies show that the measure consistently demonstrates good internal reliability, strong test-retest reliability over 12 and 4-week intervals, and predictable convergent/divergent validity. Based on our findings we discuss the multidimensional nature of partner models, whilst identifying key future research avenues that the development of the PMQ facilitates. Notably, this includes the need to identify the activation, sensitivity, and dynamism of partner models in speech interface interaction. △ Less

Submitted 14 August, 2023; originally announced August 2023.

Comments: Submitted (TOCHI)

Operator Guidance Informed by AI-Augmented Simulations

Authors: Samuel J. Edwards, Michael Levine

Abstract: This paper will present a multi-fidelity, data-adaptive approach with a Long Short-Term Memory (LSTM) neural network to estimate ship response statistics in bimodal, bidirectional seas. The study will employ a fast low-fidelity, volume-based tool SimpleCode and a higher-fidelity tool known as the Large Amplitude Motion Program (LAMP). SimpleCode and LAMP data were generated by common bi-modal, bi-… ▽ More This paper will present a multi-fidelity, data-adaptive approach with a Long Short-Term Memory (LSTM) neural network to estimate ship response statistics in bimodal, bidirectional seas. The study will employ a fast low-fidelity, volume-based tool SimpleCode and a higher-fidelity tool known as the Large Amplitude Motion Program (LAMP). SimpleCode and LAMP data were generated by common bi-modal, bi-directional sea conditions in the North Atlantic as training data. After training an LSTM network with LAMP ship motion response data, a sample route was traversed and randomly sampled historical weather was input into SimpleCode and the LSTM network, and compared against the higher fidelity results. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Comments: Presented at the 22nd Conference on Computer Applications and Information Technology in the Maritime Industries (COMPIT) in Drubeck, Germany on May 25th, 2023

MSC Class: 68T07 ACM Class: J.2

Substrate-Selective Adhesion of Metal Nanoparticles to Graphene Devices

Authors: Patrick J. Edwards, Sean Stuart, James T. Farmer, Ran Shi, Run Long, Oleg V. Prezhdo, Vitaly V. Kresin

Abstract: Nanostructured electronic devices, such as those based on graphene, are typically grown on top of the insulator SiO2. Their exposure to a flux of small size-selected silver nanoparticles has revealed remarkably selective adhesion: the graphene channel can be made fully metallized while the insulating substrate remains coverage-free. This conspicuous contrast derives from the low binding energy bet… ▽ More Nanostructured electronic devices, such as those based on graphene, are typically grown on top of the insulator SiO2. Their exposure to a flux of small size-selected silver nanoparticles has revealed remarkably selective adhesion: the graphene channel can be made fully metallized while the insulating substrate remains coverage-free. This conspicuous contrast derives from the low binding energy between the metal nanoparticles and a contaminant-free passivated silica surface. In addition to providing physical insight into nanoparticle adhesion, this effect may be of value in applications involving deposition of metallic layers on device working surfaces: it eliminates the need for masking the insulating region and the associated extensive and potentially deleterious pre- and postprocessing. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Comments: 29 pages

Journal ref: J. Phys. Chem. Lett. 14, 6414-6421 (2023)

The Metropolis algorithm: A useful tool for epidemiologists

Authors: Alexander P Keil, Jessie K Edwards, Ashley I Naimi, Stephen R Cole

Abstract: The Metropolis algorithm is a Markov chain Monte Carlo (MCMC) algorithm used to simulate from parameter distributions of interest, such as generalized linear model parameters. The "Metropolis step" is a keystone concept that underlies classical and modern MCMC methods and facilitates simple analysis of complex statistical models. Beyond Bayesian analysis, MCMC is useful for generating uncertainty… ▽ More The Metropolis algorithm is a Markov chain Monte Carlo (MCMC) algorithm used to simulate from parameter distributions of interest, such as generalized linear model parameters. The "Metropolis step" is a keystone concept that underlies classical and modern MCMC methods and facilitates simple analysis of complex statistical models. Beyond Bayesian analysis, MCMC is useful for generating uncertainty intervals, even under the common scenario in causal inference in which the target parameter is not directly estimated by a single, fitted statistical model. We demonstrate, with a worked example, pseudo-code, and R code, the basic mechanics of the Metropolis algorithm. We use the Metropolis algorithm to estimate the odds ratio and risk difference contrasting the risk of childhood leukemia among those exposed to high versus low level magnetic fields. This approach can be used for inference from Bayesian and frequentist paradigms and, in small samples, offers advantages over large-sample methods like the bootstrap. △ Less

Submitted 29 August, 2023; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 26 pages, 3 figures

ACM Class: I.6.3; I.6.38

Empirical sandwich variance estimator for iterated conditional expectation g-computation

Authors: Paul N Zivich, Rachael K Ross, Bonnie E Shook-Sa, Stephen R Cole, Jessie K Edwards

Abstract: Iterated conditional expectation (ICE) g-computation is an estimation approach for addressing time-varying confounding for both longitudinal and time-to-event data. Unlike other g-computation implementations, ICE avoids the need to specify models for each time-varying covariate. For variance estimation, previous work has suggested the bootstrap. However, bootstrap** can be computationally intens… ▽ More Iterated conditional expectation (ICE) g-computation is an estimation approach for addressing time-varying confounding for both longitudinal and time-to-event data. Unlike other g-computation implementations, ICE avoids the need to specify models for each time-varying covariate. For variance estimation, previous work has suggested the bootstrap. However, bootstrap** can be computationally intense and sensitive to the number of resamples used. Here, we present ICE g-computation as a set of stacked estimating equations. Therefore, the variance for the ICE g-computation estimator can be consistently estimated using the empirical sandwich variance estimator. Performance of the variance estimator was evaluated empirically with a simulation study. The proposed approach is also demonstrated with an illustrative example on the effect of cigarette smoking on the prevalence of hypertension. In the simulation study, the empirical sandwich variance estimator appropriately estimated the variance. When comparing runtimes between the sandwich variance estimator and the bootstrap for the applied example, the sandwich estimator was substantially faster, even when bootstraps were run in parallel. The empirical sandwich variance estimator is a viable option for variance estimation with ICE g-computation. △ Less

Submitted 4 March, 2024; v1 submitted 19 June, 2023; originally announced June 2023.

Comments: 18 pages, 1 figure, 6 tables

Fusing Trial Data for Treatment Comparisons: Single versus Multi-Span Bridging

Authors: Bonnie E. Shook-Sa, Paul N. Zivich, Samuel P. Rosin, Jessie K. Edwards, Adaora A. Adimora, Michael G. Hudgens, Stephen R. Cole

Abstract: While randomized controlled trials (RCTs) are critical for establishing the efficacy of new therapies, there are limitations regarding what comparisons can be made directly from trial data. RCTs are limited to a small number of comparator arms and often compare a new therapeutic to a standard of care which has already proven efficacious. It is sometimes of interest to estimate the efficacy of the… ▽ More While randomized controlled trials (RCTs) are critical for establishing the efficacy of new therapies, there are limitations regarding what comparisons can be made directly from trial data. RCTs are limited to a small number of comparator arms and often compare a new therapeutic to a standard of care which has already proven efficacious. It is sometimes of interest to estimate the efficacy of the new therapy relative to a treatment that was not evaluated in the same trial, such as a placebo or an alternative therapy that was evaluated in a different trial. Such multi-study comparisons are challenging because of potential differences between trial populations that can affect the outcome. In this paper, two bridging estimators are considered that allow for comparisons of treatments evaluated in different trials using data fusion methods to account for measured differences in trial populations. A "multi-span'' estimator leverages a shared arm between two trials, while a "single-span'' estimator does not require a shared arm. A diagnostic statistic that compares the outcome in the standardized shared arms is provided. The two estimators are compared in simulations, where both estimators demonstrate minimal empirical bias and nominal confidence interval coverage when the identification assumptions are met. The estimators are applied to data from the AIDS Clinical Trials Group 320 and 388 to compare the efficacy of two-drug versus four-drug antiretroviral therapy on CD4 cell counts among persons with advanced HIV. The single-span approach requires fewer identification assumptions and was more efficient in simulations and the application. △ Less

Submitted 1 May, 2023; originally announced May 2023.

Monte Carlo generation of localised particle trajectories

Authors: Ivan Ahumada, James P. Edwards

Abstract: We introduce modifications to Monte Carlo simulations of the Feynman path integral that improve sampling of localised interactions. The new algorithms generate trajectories in simple background potentials designed to concentrate them about the interaction region, reminiscent of importance sampling. This improves statistical sampling of the system and overcomes a long-time "undersampling problem" c… ▽ More We introduce modifications to Monte Carlo simulations of the Feynman path integral that improve sampling of localised interactions. The new algorithms generate trajectories in simple background potentials designed to concentrate them about the interaction region, reminiscent of importance sampling. This improves statistical sampling of the system and overcomes a long-time "undersampling problem" caused by the spatial diffusion inherent in Brownian motion. We prove the validity of our approach using previous analytic work on the distribution of values of the Wilson line over path integral trajectories and illustrate the improvements on some simple quantum mechanical systems △ Less

Submitted 5 October, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

Comments: 8 pages plus 3 appendices, various figures. The article has been accepted in Physical Review E

Strong-field vacuum polarisation with high energy lasers

Authors: A. J. Macleod, J. P. Edwards, T. Heinzl, B. King, S. V. Bulanov

Abstract: When photons propagate in vacuum they may fluctuate into matter pairs thus allowing the vacuum to be polarised. This linear effect leads to charge screening and renormalisation. When exposed to an intense background field a nonlinear effect can arise when the vacuum is polarised by higher powers of the background. This nonlinearity breaks the superposition principle of classical electrodynamics, a… ▽ More When photons propagate in vacuum they may fluctuate into matter pairs thus allowing the vacuum to be polarised. This linear effect leads to charge screening and renormalisation. When exposed to an intense background field a nonlinear effect can arise when the vacuum is polarised by higher powers of the background. This nonlinearity breaks the superposition principle of classical electrodynamics, allowing for light-by-light scattering of probe and background photons mediated through virtual pairs dressed by the background. Vacuum polarisation is a strong-field effect when all orders of interaction between the virtual pair and the background must be taken into account. In this investigation we show that multiple scattering processes of this type may be observed by utilising high-energy laser pulses with long pulse duration, such as are available at facilities like ELI Beamlines. In combination with appropriate sources of high-energy probe photons, multiple probe-background light-by-light scattering allows for testing the genuine nonlinear regime of strong-field QED. This provides access to the uncharted nonperturbative regime beyond the weak-field limit. △ Less

Submitted 4 September, 2023; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: 42 pages, 8 figures

Journal ref: New J. Phys. 25, 093002 (2023)

An Optimal Design Framework for Lasso Sign Recovery

Authors: Jonathan W. Stallrich, Kade Young, Maria L. Weese, Byran J. Smucker, David J. Edwards

Abstract: Supersaturated designs investigate more factors than there are runs, and are often constructed under a criterion measuring a design's proximity to an unattainable orthogonal design. The most popular analysis identifies active factors by inspecting the solution path of a penalized estimator, such as the lasso. Recent criteria encouraging positive correlations between factors have been shown to prod… ▽ More Supersaturated designs investigate more factors than there are runs, and are often constructed under a criterion measuring a design's proximity to an unattainable orthogonal design. The most popular analysis identifies active factors by inspecting the solution path of a penalized estimator, such as the lasso. Recent criteria encouraging positive correlations between factors have been shown to produce designs with more definitive solution paths so long as the active factors have positive effects. Two open problems affecting the understanding and practicality of supersaturated designs are: (1) do optimal designs under existing criteria maximize support recovery probability across an estimator's solution path, and (2) why do designs with positively correlated columns produce more definitive solution paths when the active factors have positive sign effects? To answer these questions, we develop criteria maximizing the lasso's sign recovery probability. We prove that an orthogonal design is an ideal structure when the signs of the active factors are unknown, and a design constant small, positive correlations is ideal when the signs are assumed known. A computationally-efficient design search algorithm is proposed that first filters through optimal designs under new heuristic criteria to select the one that maximizes the lasso sign recovery probability. △ Less

Submitted 15 March, 2024; v1 submitted 29 March, 2023; originally announced March 2023.

Transportability without positivity: a synthesis of statistical and simulation modeling

Authors: Paul N Zivich, Jessie K Edwards, Eric T Lofgren, Stephen R Cole, Bonnie E Shook-Sa, Justin Lessler

Abstract: When estimating an effect of an action with a randomized or observational study, that study is often not a random sample of the desired target population. Instead, estimates from that study can be transported to the target population. However, transportability methods generally rely on a positivity assumption, such that all relevant covariate patterns in the target population are also observed in… ▽ More When estimating an effect of an action with a randomized or observational study, that study is often not a random sample of the desired target population. Instead, estimates from that study can be transported to the target population. However, transportability methods generally rely on a positivity assumption, such that all relevant covariate patterns in the target population are also observed in the study sample. Strict eligibility criteria, particularly in the context of randomized trials, may lead to violations of this assumption. Two common approaches to address positivity violations are restricting the target population and restricting the relevant covariate set. As neither of these restrictions are ideal, we instead propose a synthesis of statistical and simulation models to address positivity violations. We propose corresponding g-computation and inverse probability weighting estimators. The restriction and synthesis approaches to addressing positivity violations are contrasted with a simulation experiment and an illustrative example in the context of sexually transmitted infection testing uptake. In both cases, the proposed synthesis approach accurately addressed the original research question when paired with a thoughtfully selected simulation model. Neither of the restriction approaches were able to accurately address the motivating question. As public health decisions must often be made with imperfect target population information, model synthesis is a viable approach given a combination of empirical data and external information based on the best available knowledge. △ Less

Submitted 3 January, 2024; v1 submitted 2 March, 2023; originally announced March 2023.

Journal ref: Epidemiology, 35(1), 23-31 (2024)

A monitoring campaign (2013-2020) of ESA's Mars Express to study interplanetary plasma scintillation

Authors: P. Kummamuru, G. Molera Calvés, G. Cimò, S. V. Pogrebenko, T. M. Bocanegra-Bahamón, D. A. Duev, M. D. Md Said, J. Edwards, M. Ma, J. Quick, A. Neidhardt, P. de Vicente, R. Haas, J. Kallunki, 1 G. Maccaferri, G. Colucci, W. J. Yang, L. F. Hao, S. Weston, M. A. Kharinov, A. G. Mikhailov, T. Jung

Abstract: The radio signal transmitted by the Mars Express (MEX) spacecraft was observed regularly between the years 2013-2020 at X-band (8.42 GHz) using the European Very Long Baseline Interferometry (EVN) network and University of Tasmania's telescopes. We present a method to describe the solar wind parameters by quantifying the effects of plasma on our radio signal. In doing so, we identify all the uncom… ▽ More The radio signal transmitted by the Mars Express (MEX) spacecraft was observed regularly between the years 2013-2020 at X-band (8.42 GHz) using the European Very Long Baseline Interferometry (EVN) network and University of Tasmania's telescopes. We present a method to describe the solar wind parameters by quantifying the effects of plasma on our radio signal. In doing so, we identify all the uncompensated effects on the radio signal and see which coronal processes drive them. From a technical standpoint, quantifying the effect of the plasma on the radio signal helps phase referencing for precision spacecraft tracking. The phase fluctuation of the signal was determined for Mars' orbit for solar elongation angles from 0 - 180 deg. The calculated phase residuals allow determination of the phase power spectrum. The total electron content (TEC) of the solar plasma along the line of sight is calculated by removing effects from mechanical and ionospheric noises. The spectral index was determined as $-2.43 \pm 0.11$ which is in agreement with Kolomogorov's turbulence. The theoretical models are consistent with observations at lower solar elongations however at higher solar elongation ($>$160 deg) we see the observed values to be higher. This can be caused when the uplink and downlink signals are positively correlated as a result of passing through identical plasma sheets. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Comments: The paper has 13 figures and one table. It has been accepted for publication in PASA and the article will receive its DOI in a week's time

Technical Dimensions of Programming Systems

Authors: Joel Jakubovic, Jonathan Edwards, Tomas Petricek

Abstract: Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of possibilities lacks a common structure for navigation. Work on programming systems fails to form a coherent body of research, making it hard to improve on past work and… ▽ More Programming requires much more than just writing code in a programming language. It is usually done in the context of a stateful environment, by interacting with a system through a graphical user interface. Yet, this wide space of possibilities lacks a common structure for navigation. Work on programming systems fails to form a coherent body of research, making it hard to improve on past work and advance the state of the art. In computer science, much has been said and done to allow comparison of **programming languages**, yet no similar theory exists for *programming systems*; we believe that programming systems deserve a theory too. We present a framework of *technical dimensions* which capture the underlying characteristics of programming systems and provide a means for conceptualizing and comparing them. We identify technical dimensions by examining past influential programming systems and reviewing their design principles, technical capabilities, and styles of user interaction. Technical dimensions capture characteristics that may be studied, compared and advanced independently. This makes it possible to talk about programming systems in a way that can be shared and constructively debated rather than relying solely on personal impressions. Our framework is derived using a qualitative analysis of past programming systems. We outline two concrete ways of using our framework. First, we show how it can analyze a recently developed novel programming system. Then, we use it to identify an interesting unexplored point in the design space of programming systems. Much research effort focuses on building programming systems that are easier to use, accessible to non-experts, moldable and/or powerful, but such efforts are disconnected. They are informal, guided by the personal vision of their authors and thus are only evaluable and comparable on the basis of individual experience using them. By providing foundations for more systematic research, we can help programming systems researchers to stand, at last, on the shoulders of giants. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Journal ref: The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 3, Article 13

Near-Landauer Reversible Skyrmion Logic with Voltage-Based Propagation

Authors: Benjamin W. Walker, Alexander J. Edwards, Xuan Hu, Michael P. Frank, Felipe Garcia-Sanchez, Joseph S. Friedman

Abstract: Magnetic skyrmions are topological quasiparticles whose non-volatility, detectability, and mobility make them exciting candidates for low-energy computing. Previous works have demonstrated the feasibility and efficiency of current-driven skyrmions in cascaded logic structures inspired by reversible computing. As skyrmions can be propelled through the voltage-controlled magnetic anisotropy (VCMA) e… ▽ More Magnetic skyrmions are topological quasiparticles whose non-volatility, detectability, and mobility make them exciting candidates for low-energy computing. Previous works have demonstrated the feasibility and efficiency of current-driven skyrmions in cascaded logic structures inspired by reversible computing. As skyrmions can be propelled through the voltage-controlled magnetic anisotropy (VCMA) effect with much greater efficiency, this work proposes a VCMA-based skyrmion propagation mechanism that drastically reduces energy dissipation. Additionally, we demonstrate the functionality of skyrmion logic gates enabled by our novel voltage-based propagation and estimate its energy efficiency relative to other logic schemes. The minimum dissipation of this VCMA-driven magnetic skyrmion logic at 0 K is found to be $\sim$6$\times$ the room-temperature Landauer limit, indicating the potential for sub-Landauer dissipation through further engineering. △ Less

Submitted 25 January, 2023; originally announced January 2023.

Comments: 4 pages, 6 figures

The Prime Graphs of Groups With Arithmetically Small Composition Factors

Authors: Timothy J. Edwards, Thomas Michael Keller, Ryan M. Pesak, Karthik Sellakumaran Latha

Abstract: We continue the study of prime graphs of finite groups, also known as Gruenberg-Kegel graphs. The vertices of the prime graph of a finite group are the prime divisors of the group order, and two vertices $p$ and $q$ are connected by an edge if and only if there is an element of order $pq$ in the group. Prime graphs of solvable groups have been characterized in graph theoretical terms only, as have… ▽ More We continue the study of prime graphs of finite groups, also known as Gruenberg-Kegel graphs. The vertices of the prime graph of a finite group are the prime divisors of the group order, and two vertices $p$ and $q$ are connected by an edge if and only if there is an element of order $pq$ in the group. Prime graphs of solvable groups have been characterized in graph theoretical terms only, as have been the prime graphs of groups whose only nonsolvable composition factor is $A_5$. In this paper we classify the prime graphs of all groups whose composition factors have arithmetically small orders, that is, have no more than three prime divisors in their orders. We find that all such graphs have $3$-colorable complements, and we provide full characterizations of the prime graphs of such groups based on the exact type and multiplicity of the nonabelian composition factors of the group. △ Less

Submitted 6 December, 2022; originally announced December 2022.

Comments: 33 pages

MSC Class: 20D60; 05C25

Detecting the oscillation and propagation of the nascent dynamic solar wind structure at 2.6 solar radii using VLBI radio telescopes

Authors: Maoli Ma, Guifre Molera Calves, Giuseppe Cimo, Ming Xiong, Peijia Li, **g Kong, Pei** Zhang, Jiansen He, Lijia Liu, Pradyumna Kummamuru, Chuanpeng Hou, Jasper Edwards, Qinghui Liu, Zhong Chen, Zhanghu Chu, De Wu, Xu Zhao, Zhichao Wang, Songtao Han Quanquan Zhi, Yingkai Liu, Jonathan Quick, Javier Gonzalez, Cristina Garcia Miro, Mikhail Kharinov, Andrey Mikhailov , et al. (7 additional authors not shown)

Abstract: Probing the solar corona is crucial to study the coronal heating and solar wind acceleration. However, the transient and inhomogeneous solar wind flows carry large-amplitude inherent Alfven waves and turbulence, which make detection more difficult. We report the oscillation and propagation of the solar wind at 2.6 solar radii (Rs) by observation of China Tianwen and ESA Mars Express with radio tel… ▽ More Probing the solar corona is crucial to study the coronal heating and solar wind acceleration. However, the transient and inhomogeneous solar wind flows carry large-amplitude inherent Alfven waves and turbulence, which make detection more difficult. We report the oscillation and propagation of the solar wind at 2.6 solar radii (Rs) by observation of China Tianwen and ESA Mars Express with radio telescopes. The observations were carried out on Oct.9 2021, when one coronal mass ejection (CME) passed across the ray paths of the telescope beams. We obtain the frequency fluctuations (FF) of the spacecraft signals from each individual telescope. Firstly, we visually identify the drift of the frequency spikes at a high spatial resolution of thousands of kilometers along the projected baselines. They are used as traces to estimate the solar wind velocity. Then we perform the cross-correlation analysis on the time series of FF from different telescopes. The velocity variations of solar wind structure along radial and tangential directions during the CME passage are obtained. The oscillation of tangential velocity confirms the detection of streamer wave. Moreover, at the tail of the CME, we detect the propagation of an accelerating fast field-aligned density structure indicating the presence of magnetohydrodynamic waves. This study confirm that the ground station-pairs are able to form particular spatial projection baselines with high resolution and sensitivity to study the detailed propagation of the nascent dynamic solar wind structure. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Comments: 13 pages, 9 figures

Summing Feynman diagrams in the worldline formalism

Authors: Naser Ahmadiniaz, James P. Edwards, Cristhiam Lopez-Arcos, Misha A. Lopez-Lopez, C. Moctezuma Mata, José Nicasio, Christian Schubert

Abstract: The worldline formalism shares with string theory the property that it allows one to write down master integrals that effectively combine the contributions of many Feynman diagrams. While at the one-loop level these diagrams differ only by the position of the external legs along a fixed line or loop, at multiloop they generally involve different topologies. Here we summarize various efforts that h… ▽ More The worldline formalism shares with string theory the property that it allows one to write down master integrals that effectively combine the contributions of many Feynman diagrams. While at the one-loop level these diagrams differ only by the position of the external legs along a fixed line or loop, at multiloop they generally involve different topologies. Here we summarize various efforts that have been made over the years to exploit this property in a computationally meaningful way. As a first example, we show how to generalize the Landau-Khalatnikov-Fradkin formula for the non-perturbative gauge transformation of the fermion propagator in QED to the general $2n$ - point case by pure manipulations at the path-integral level. At the parameter-integral level, we show how to integrate out individual photons in the low-energy expansion, and then sketch a recently introduced general framework for the analytical evaluation of such worldline integrals involving a reduction to quantum mechanics on the circle and the relation between inverse derivatives and Bernoulli polynomials. △ Less

Submitted 13 August, 2022; originally announced August 2022.

Comments: 11 pages, 6 Figures, talk given by C. Schubert at "Loops and Legs in Quantum Field Theory - LL2022", 25-30 April 2022, Ettal, Germany

Scalable Computational Algorithms for Geo-spatial Covid-19 Spread in High Performance Computing

Authors: Sudhi P. V., Victorita Dolean, Pierre Jolivet, Brandon Robinson, Jodi D. Edwards, Tetyana Kendzerska, Abhijit Sarkar

Abstract: A nonlinear partial differential equation (PDE) based compartmental model of COVID-19 provides a continuous trace of infection over space and time. Finer resolutions in the spatial discretization, the inclusion of additional model compartments and model stratifications based on clinically relevant categories contribute to an increase in the number of unknowns to the order of millions. We adopt a p… ▽ More A nonlinear partial differential equation (PDE) based compartmental model of COVID-19 provides a continuous trace of infection over space and time. Finer resolutions in the spatial discretization, the inclusion of additional model compartments and model stratifications based on clinically relevant categories contribute to an increase in the number of unknowns to the order of millions. We adopt a parallel scalable solver allowing faster solutions for these high fidelity models. The solver combines domain decomposition and algebraic multigrid preconditioners at multiple levels to achieve the desired strong and weak scalability. As a numerical illustration of this general methodology, a five-compartment susceptible-exposed-infected-recovered-deceased (SEIRD) model of COVID-19 is used to demonstrate the scalability and effectiveness of the proposed solver for a large geographical domain (Southern Ontario). It is possible to predict the infections up to three months for a system size of 92 million (using 1780 processes) within 7 hours saving months of computational effort needed for the conventional solvers. △ Less

Submitted 3 August, 2022; originally announced August 2022.

Embrace your incompetence! Designing appropriate CUI communication through an ecological approach

Authors: Sophie Becker, Philip Doyle, Justin Edwards

Abstract: People form impressions of their dialogue partners, be they other people or machines, based on cues drawn from their communicative style. Recent work has suggested that the gulf between people's expectations and the reality of CUI interaction widens when these impressions are misaligned with the actual capabilities of conversational user interfaces (CUIs). This has led some to rally against a perc… ▽ More People form impressions of their dialogue partners, be they other people or machines, based on cues drawn from their communicative style. Recent work has suggested that the gulf between people's expectations and the reality of CUI interaction widens when these impressions are misaligned with the actual capabilities of conversational user interfaces (CUIs). This has led some to rally against a perceived overriding concern for naturalness, calling instead for more representative, or appropriate communicative cues. Indeed, some have argued for a move away from naturalness as a goal for CUI design and communication. We contend that naturalness need not be abandoned, if we instead aim for ecologically grounded design. We also suggest a way this might be achieved and call on CUI designers to embrace incompetence! By letting CUIs express uncertainty and embarrassment through ecologically valid and appropriate cues that are ubiquitous in human communication - CUI designers can achieve more appropriate communication without turning away from naturalness entirely. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Journal ref: 4th Conference on Conversational User Interfaces (CUI 2022)

Bilingual by default: Voice Assistants and the role of code-switching in creating a bilingual user experience

Authors: Helin Cihan, Yunhan Wu, Paola Peña, Justin Edwards, Benjamin Cowan

Abstract: Conversational User Interfaces such as Voice Assistants are hugely popular. Yet they are designed to be monolingual by default, lacking support for, or sensitivity to, the bilingual dialogue experience. In this provocation paper, we highlight the language production challenges faced in VA interaction for bilingual users. We argue that, by facilitating phenomena seen in bilingual interaction, such… ▽ More Conversational User Interfaces such as Voice Assistants are hugely popular. Yet they are designed to be monolingual by default, lacking support for, or sensitivity to, the bilingual dialogue experience. In this provocation paper, we highlight the language production challenges faced in VA interaction for bilingual users. We argue that, by facilitating phenomena seen in bilingual interaction, such as code-switching, we can foster a more inclusive and improved user experience for bilingual users. We also explore ways that this might be achieved, through the support of multiple language recognition as well as being sensitive to the preferences of code-switching in speech output. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Journal ref: 4th Conference on Conversational User Interfaces 4th Conference on Conversational User Interfaces (CUI 2022)

Bridged treatment comparisons: an illustrative application in HIV treatment

Authors: Paul N Zivich, Stephen R Cole, Jessie K Edwards, Bonnie E Shook-Sa, Alexander Breskin, Michael G Hudgens

Abstract: Comparisons of treatments, interventions, or exposures are of central interest in epidemiology, but direct comparisons are not always possible due to practical or ethical reasons. Here, we detail a fusion approach to compare treatments across studies. The motivating example entails comparing the risk of the composite outcome of death, AIDS, or greater than a 50% CD4 cell count decline in people wi… ▽ More Comparisons of treatments, interventions, or exposures are of central interest in epidemiology, but direct comparisons are not always possible due to practical or ethical reasons. Here, we detail a fusion approach to compare treatments across studies. The motivating example entails comparing the risk of the composite outcome of death, AIDS, or greater than a 50% CD4 cell count decline in people with HIV when assigned triple versus mono antiretroviral therapy, using data from the AIDS Clinical Trial Group (ACTG) 175 (mono versus dual therapy) and ACTG 320 (dual versus triple therapy). We review a set of identification assumptions and estimate the risk difference using an inverse probability weighting estimator that leverages the shared trial arms (dual therapy). A fusion diagnostic based on comparing the shared arms is proposed that may indicate violation of the identification assumptions. Application of the data fusion estimator and diagnostic to the ACTG trials indicates triple therapy results in a reduction in risk compared to monotherapy in individuals with baseline CD4 counts between 50 and 300 cells/mm$^3$. Bridged treatment comparisons address questions that none of the constituent data sources could address alone, but valid fusion-based inference requires careful consideration of the underlying assumptions. △ Less

Submitted 22 August, 2023; v1 submitted 9 June, 2022; originally announced June 2022.

Comments: 21 pages, 3 figures, 5 tables

Ensuring accurate stain reproduction in deep generative networks for virtual immunohistochemistry

Authors: Christopher D. Walsh, Joanne Edwards, Robert H. Insall

Abstract: Immunohistochemistry is a valuable diagnostic tool for cancer pathology. However, it requires specialist labs and equipment, is time-intensive, and is difficult to reproduce. Consequently, a long term aim is to provide a digital method of recreating physical immunohistochemical stains. Generative Adversarial Networks have become exceedingly advanced at map** one image type to another and have sh… ▽ More Immunohistochemistry is a valuable diagnostic tool for cancer pathology. However, it requires specialist labs and equipment, is time-intensive, and is difficult to reproduce. Consequently, a long term aim is to provide a digital method of recreating physical immunohistochemical stains. Generative Adversarial Networks have become exceedingly advanced at map** one image type to another and have shown promise at inferring immunostains from haematoxylin and eosin. However, they have a substantial weakness when used with pathology images as they can fabricate structures that are not present in the original data. CycleGANs can mitigate invented tissue structures in pathology image map** but have a related disposition to generate areas of inaccurate staining. In this paper, we describe a modification to the loss function of a CycleGAN to improve its map** ability for pathology images by enforcing realistic stain replication while retaining tissue structure. Our approach improves upon others by considering structure and staining during model training. We evaluated our network using the Fréchet Inception distance, coupled with a new technique that we propose to appraise the accuracy of virtual immunohistochemistry. This assesses the overlap between each stain component in the inferred and ground truth images through colour deconvolution, thresholding and the Sorensen-Dice coefficient. Our modified loss function resulted in a Dice coefficient for the virtual stain of 0.78 compared with the real AE1/AE3 slide. This was superior to the unaltered CycleGAN's score of 0.74. Additionally, our loss function improved the Fréchet Inception distance for the reconstruction to 74.54 from 76.47. We, therefore, describe an advance in virtual restaining that can extend to other immunostains and tumour types and deliver reproducible, fast and readily accessible immunohistochemistry worldwide. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Comments: Eighteen pages, six figures

ACM Class: I.4.3; I.4.5

Logical and Physical Reversibility of Conservative Skyrmion Logic

Authors: Xuan Hu, Benjamin W. Walker, Felipe García-Sánchez, Alexander J. Edwards, Peng Zhou, Jean Anne C. Incorvia, Alexandru Paler, Michael P. Frank, Joseph S. Friedman

Abstract: Magnetic skyrmions are nanoscale whirls of magnetism that can be propagated with electrical currents. The repulsion between skyrmions inspires their use for reversible computing based on the elastic billiard ball collisions proposed for conservative logic in 1982. Here we evaluate the logical and physical reversibility of this skyrmion logic paradigm, as well as the limitations that must be addres… ▽ More Magnetic skyrmions are nanoscale whirls of magnetism that can be propagated with electrical currents. The repulsion between skyrmions inspires their use for reversible computing based on the elastic billiard ball collisions proposed for conservative logic in 1982. Here we evaluate the logical and physical reversibility of this skyrmion logic paradigm, as well as the limitations that must be addressed before dissipation-free computation can be realized. △ Less

Submitted 25 March, 2022; originally announced March 2022.

Delicatessen: M-Estimation in Python

Authors: Paul N Zivich, Mark Klose, Stephen R Cole, Jessie K Edwards, Bonnie E Shook-Sa

Abstract: M-estimation is a general statistical framework that simplifies estimation. Here, we introduce delicatessen, a Python library that automates the tedious calculations of M-estimation, and supports both built-in user-specified estimating equations. To highlight the utility of delicatessen for quantitative data analysis, we provide several illustrations common to life science research: linear regress… ▽ More M-estimation is a general statistical framework that simplifies estimation. Here, we introduce delicatessen, a Python library that automates the tedious calculations of M-estimation, and supports both built-in user-specified estimating equations. To highlight the utility of delicatessen for quantitative data analysis, we provide several illustrations common to life science research: linear regression robust to outliers, estimation of a dose-response curve, and standardization of results. △ Less

Submitted 10 October, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

Comments: 1 figure

Utility of Optical See-Through Head Mounted Displays in Augmented Reality-Assisted Surgery: A systematic review

Authors: Manuel Birlo, P. J. "Eddie'' Edwards, Matthew Clarkson, Danail Stoyanov

Abstract: This article presents a systematic review of optical see-through head mounted display (OST-HMD) usage in augmented reality (AR) surgery applications from 2013 to 2020. Articles were categorised by: OST-HMD device, surgical speciality, surgical application context, visualisation content, experimental design and evaluation, accuracy and human factors of human-computer interaction. 91 articles fulfil… ▽ More This article presents a systematic review of optical see-through head mounted display (OST-HMD) usage in augmented reality (AR) surgery applications from 2013 to 2020. Articles were categorised by: OST-HMD device, surgical speciality, surgical application context, visualisation content, experimental design and evaluation, accuracy and human factors of human-computer interaction. 91 articles fulfilled all inclusion criteria. Some clear trends emerge. The Microsoft HoloLens increasingly dominates the field, with orthopaedic surgery being the most popular application (28.6\%). By far the most common surgical context is surgical guidance (n=58) and segmented preoperative models dominate visualisation (n = 40). Experiments mainly involve phantoms (n = 43) or system setup (n = 21), with patient case studies ranking third (n = 19), reflecting the comparative infancy of the field. Experiments cover issues from registration to perception with very different accuracy results. Human factors emerge as significant to OST-HMD utility. Some factors are addressed by the systems proposed, such as attention shift away from the surgical site and mental map** of 2D images to 3D patient anatomy. Other persistent human factors remain or are caused by OST-HMD solutions, including ease of use, comfort and spatial perception issues. The significant upward trend in published articles is clear, but such devices are not yet established in the operating room and clinical studies showing benefit are lacking. A focused effort addressing technical registration and perceptual factors in the lab coupled with design that incorporates human factors considerations to solve clear clinical problems should ensure that the significant current research efforts will succeed. △ Less

Submitted 8 February, 2022; originally announced February 2022.

Journal ref: Medical Image Analysis, 2022, 102361, ISSN 1361-8415

One-loop Amplitudes in the Worldline Formalism

Authors: James P. Edwards, C. Moctezuma Mata, Christian Schubert

Abstract: We summarize recent progress in applying the worldline formalism to the analytic calculation of one-loop N-point amplitudes. This string-inspired approach is well-adapted to avoiding some of the calculational inefficiencies of the standard Feynman diagram approach, most notably by providing master formulas that sum over diagrams differing only by the position of external legs and/or internal propa… ▽ More We summarize recent progress in applying the worldline formalism to the analytic calculation of one-loop N-point amplitudes. This string-inspired approach is well-adapted to avoiding some of the calculational inefficiencies of the standard Feynman diagram approach, most notably by providing master formulas that sum over diagrams differing only by the position of external legs and/or internal propagators. We illustrate the mathematical challenge involved with the low-energy limit of the N-photon amplitudes in scalar and spinor QED, and then present an algorithm that, in principle, solves this problem for the much more difficult case of the N-point amplitudes at full momentum in phi^3 theory. The method is based on the algebra of inverse derivatives in the Hilbert space of periodic functions orthogonal to the constant ones, in which the Bernoulli numbers and polynomials play a central role. △ Less

Submitted 28 January, 2022; originally announced January 2022.

Comments: 12 pages, 4 figures, talk given by C. Moctezuma Mata at ICNFP 2021, 23. 8. - 7. 10. 2021, submitted to the conference proceedings

Generalized LKF transformations for $N$-point fermion correlators in QED

Authors: José Nicasio, Christian Schubert, Naser Ahmadiniaz, James P. Edwards

Abstract: Within the worldline approach to quantum electrodynamics (QED), a change of the photon's covariant gauge parameter $ξ$ is investigated to analyse the non-perturbative gauge dependence of the configuration space fermion correlation functions, deriving a generalization of the Landau-Kalatnikov-Fradkin transformations (LKFt). These transformations reveal how the non-perturbative gauge dependence of p… ▽ More Within the worldline approach to quantum electrodynamics (QED), a change of the photon's covariant gauge parameter $ξ$ is investigated to analyse the non-perturbative gauge dependence of the configuration space fermion correlation functions, deriving a generalization of the Landau-Kalatnikov-Fradkin transformations (LKFt). These transformations reveal how the non-perturbative gauge dependence of position space amplitudes can be absorbed into a multiplicative exponential factor. △ Less

Submitted 28 January, 2022; originally announced January 2022.

Comments: Prepared for the Proceedings of the 20th Lomonosov Conference on Elementary Particle Physics, held in August 2021, based on a talk given by José Nicasio on the results of arXiv:2012.10536 [hep-th] and arXiv:2010.04160 [hep-th]

Obtaining fully polarised amplitudes in gauge invariant form

Authors: Naser Ahmadiniaz, Victor Miguel Banda Guzman, Christian Schubert, Fiorenzo Bastianelli, Olindo Corradini, James P. Edwards

Abstract: We describe progress applying the \textit{Worldline Formalism} of quantum field theory to the fermion propagator dressed by $N$-photons to study multi-linear Compton scattering processes, explaining how this approach -- whose calculational advantages are well-known at multi-loop order -- yields compact and manifestly gauge invariant scattering amplitudes. We describe progress applying the \textit{Worldline Formalism} of quantum field theory to the fermion propagator dressed by $N$-photons to study multi-linear Compton scattering processes, explaining how this approach -- whose calculational advantages are well-known at multi-loop order -- yields compact and manifestly gauge invariant scattering amplitudes. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Comments: 3 pages, 1 figure. Prepared for the Proceedings of the 20th Lomonosov Conference on Elementary Particle Physics, held in August 2021, based on a talk given by James P. Edwards on the results of [arXiv:2004.01391 [hep-th]] and [arXiv:2107.00199 [hep-th]

Graviton scattering amplitudes in first quantisation

Authors: James P. Edwards

Abstract: We give a pedagogical review to alternative, first quantised approaches to calculating graviton scattering amplitudes, giving an introduction to string inspired approaches and presenting more recent work based on the worldline formalism of quantum field theory that is motivated by these historic results. We describe how these first quantised techniques can greatly simplify the determination of suc… ▽ More We give a pedagogical review to alternative, first quantised approaches to calculating graviton scattering amplitudes, giving an introduction to string inspired approaches and presenting more recent work based on the worldline formalism of quantum field theory that is motivated by these historic results. We describe how these first quantised techniques can greatly simplify the determination of such amplitudes, in particular reducing the number of Feynman-like diagrams that enter the computation and leading to compact results. △ Less

Submitted 5 January, 2022; originally announced January 2022.

Comments: 8 pages, various figures. A pedagogical introduction aimed at graduate students: prepared for submission to the Suplemento de la Revista Mexicana de Física as proceedings for the XIX Mexican School of Particles and Fields held online in August 2021

Anomalous High Strain Rate Compressive Behavior of Additively Manufactured Copper Micropillars

Authors: Rajaprakash Ramachandramoorthy, Szilvia Kalácska, Gabriel Poras, Jakob Schwiedrzik, Thomas E. J. Edwards, Xavier Maeder, Thibaut Merle, Giorgio Ercolano, Wabe W. Koelmans, Johann Michler

Abstract: Microscale dynamic testing is vital to the understanding of material behavior at application relevant strain rates. However, despite two decades of intense micromechanics research, the testing of microscale metals has been largely limited to quasi-static strain rates. Here we report the dynamic compression testing of pristine 3D printed copper micropillars at strain rates from $\sim0.001$ s… ▽ More Microscale dynamic testing is vital to the understanding of material behavior at application relevant strain rates. However, despite two decades of intense micromechanics research, the testing of microscale metals has been largely limited to quasi-static strain rates. Here we report the dynamic compression testing of pristine 3D printed copper micropillars at strain rates from $\sim0.001$ s$^{-1}$ to $\sim500$ s$^{-1}$. It was identified that microcrystalline copper micropillars deform in a single-shear like manner exhibiting a weak strain rate dependence at all strain rates. Ultrafine grained (UFG) copper micropillars, however, deform homogenously via barreling and show strong rate-dependence and small activation volumes at strain rates up to $\sim0.1$ s$^{-1}$, suggesting dislocation nucleation as the deformation mechanism. At higher strain rates, yield stress saturates remarkably, resulting in a decrease of strain rate sensitivity by two orders of magnitude and a four-fold increase in activation volume, implying a transition in deformation mechanism to collective dislocation nucleation. △ Less

Submitted 3 February, 2022; v1 submitted 5 January, 2022; originally announced January 2022.

Comments: Corresponding authors with equal contribution are: Szilvia Kalácska and Rajaprakash Ramachandramoorthy. Accepted manuscript: Applied Materials Today

Plane Wave Backgrounds in the Worldline Formalism

Authors: James P. Edwards, Christian Schubert

Abstract: Plane-wave backgrounds play a special role in strong-field QED as examples of a non-trivial field configuration that remains simple enough to be treated analytically whilst still leading to rich physical consequences. Although great progress has been made applying standard field theory techniques to QED in plane wave backgrounds, the calculations tend to be quite long and complicated. Yet, both in… ▽ More Plane-wave backgrounds play a special role in strong-field QED as examples of a non-trivial field configuration that remains simple enough to be treated analytically whilst still leading to rich physical consequences. Although great progress has been made applying standard field theory techniques to QED in plane wave backgrounds, the calculations tend to be quite long and complicated. Yet, both in vacuum and in constant backgrounds, the first quantised, string-inspired "Worldline Approach" to field theory has a long history of offering substantial simplifications and calculational efficiency. We present a new, general approach to incorporating plane wave backgrounds into the Worldline Formalism that extends initial work using a semi-classical approach by Ilderton and Torgrimsson (who also participated in LPHYS'21). The method uses resummation techniques to take the background into account non-perturbatively and yields "Master Formulae" for the effective action and scattering amplitudes in the background. It is hoped that this may offer an alternative tool to studying QED in plane waves that may streamline otherwise complex calculations, as has been achieved in the better explored constant field case. △ Less

Submitted 27 December, 2021; originally announced December 2021.

Comments: 10 pages -- based on the talk given by James P. Edwards at the LPHYS'21 conference held online in July 2021