Showing 1–50 of 134 results for author: Grant, J

Machine Learning for Phase Estimation in Satellite-to-Earth Quantum Communication

Authors: Nathan K Long, Robert Malaney, Kenneth J Grant

Abstract: A global continuous-variable quantum key distribution (CV-QKD) network can be established using a series of satellite-to-Earth channels. Increased performance in such a network is provided by performing coherent measurement of the optical quantum signals using a real local oscillator, calibrated locally by encoding known information on transmitted reference pulses and using signal phase error esti… ▽ More A global continuous-variable quantum key distribution (CV-QKD) network can be established using a series of satellite-to-Earth channels. Increased performance in such a network is provided by performing coherent measurement of the optical quantum signals using a real local oscillator, calibrated locally by encoding known information on transmitted reference pulses and using signal phase error estimation algorithms. The speed and accuracy of the signal phase error estimation algorithm are vital to practical CV-QKD implementation. Our work provides a framework to analyze long short-term memory neural network (NN) architecture parameterization, with respect to the quantum Cramér-Rao uncertainty bound of the signal phase error estimation, with a focus on reducing the model complexity. More specifically, we demonstrate that signal phase error estimation can be achieved using a low-complexity NN architecture, without significantly sacrificing accuracy. Our results significantly improve the real-time performance of practical CV-QKD systems deployed over satellite-to-Earth channels, thereby contributing to the ongoing development of the Quantum Internet. △ Less

Submitted 14 February, 2025; originally announced February 2025.

A review of high order strong stability preserving two-derivative explicit, implicit, and IMEX methods

Authors: Sigal Gottlieb, Zachary J. Grant

Abstract: High order strong stability preserving (SSP) time discretizations ensure the nonlinear non-inner-product strong stability properties of spatial discretizations suited for the stable simulation of hyperbolic PDEs. Over the past decade multiderivative time-stepping have been used for the time-evolution hyperbolic PDEs, so that the strong stability properties of these methods have become increasingly… ▽ More High order strong stability preserving (SSP) time discretizations ensure the nonlinear non-inner-product strong stability properties of spatial discretizations suited for the stable simulation of hyperbolic PDEs. Over the past decade multiderivative time-stepping have been used for the time-evolution hyperbolic PDEs, so that the strong stability properties of these methods have become increasingly relevant. In this work we review sufficient conditions for a two-derivative multistage method to preserve the strong stability properties of spatial discretizations in a forward Euler and different conditions on the second derivative. In particular we present the SSP theory for explicit and implicit two-derivative Runge--Kutta schemes, and discuss a special condition on the second derivative under which these implicit methods may be unconditionally SSP. This condition is then used in the context of implicit-explicit (IMEX) multi-derivative Runge--Kutta schemes, where the time-step restriction is independent of the stiff term. Finally, we present the SSP theory for implicit-explicit (IMEX) multi-derivative general linear methods, and some novel second and third order methods where the time-step restriction is independent of the stiff term. △ Less

Submitted 19 December, 2024; originally announced December 2024.

Superconducting Energy Gap Structure of CsV$_3$Sb$_5$ from Magnetic Penetration Depth Measurements

Authors: Morgan J Grant, Yi Liu, Guang-Han Cao, Joseph A Wilcox, Yanfeng Guo, Xiaofeng Xu, Antony Carrington

Abstract: Experimental determination of the structure of the superconducting order parameter in the kagome lattice compound CsV$_3$Sb$_5$ is an essential step towards understanding the nature of the superconducting pairing in this material. Here we report measurements of the temperature dependence of the in-plane magnetic penetration depth, $λ(T)$, in crystals of CsV$_3$Sb$_5$ down to… ▽ More Experimental determination of the structure of the superconducting order parameter in the kagome lattice compound CsV$_3$Sb$_5$ is an essential step towards understanding the nature of the superconducting pairing in this material. Here we report measurements of the temperature dependence of the in-plane magnetic penetration depth, $λ(T)$, in crystals of CsV$_3$Sb$_5$ down to $\sim 60\,\mathrm{mK}$. We find that $λ(T)$ is consistent with a fully-gapped state but with significant gap anisotropy. The magnitude of the gap minima are in the range $\sim 0.2 - 0.3 T_\mathrm{c}$ for the measured samples, markedly smaller than previous estimates. We discuss different forms of potential anisotropy and how these can be linked to the V and Sb Fermi surface sheets. We highlight a significant discrepancy between the calculated and measured values of $λ(T=0)$ which we suggest is caused by spatially suppressed superconductivity. △ Less

Submitted 8 November, 2024; originally announced November 2024.

Hardware-efficient quantum error correction via concatenated bosonic qubits

Authors: Harald Putterman, Kyungjoo Noh, Connor T. Hann, Gregory S. MacCabe, Shahriar Aghaeimeibodi, Rishi N. Patel, Menyoung Lee, William M. Jones, Hesam Moradinejad, Roberto Rodriguez, Neha Mahuli, Jefferson Rose, John Clai Owens, Harry Levine, Emma Rosenfeld, Philip Reinhold, Lorenzo Moncelsi, Joshua Ari Alcid, Nasser Alidoust, Patricio Arrangoiz-Arriola, James Barnett, Przemyslaw Bienias, Hugh A. Carson, Cliff Chen, Li Chen , et al. (96 additional authors not shown)

Abstract: In order to solve problems of practical importance, quantum computers will likely need to incorporate quantum error correction, where a logical qubit is redundantly encoded in many noisy physical qubits. The large physical-qubit overhead typically associated with error correction motivates the search for more hardware-efficient approaches. Here, using a microfabricated superconducting quantum circ… ▽ More In order to solve problems of practical importance, quantum computers will likely need to incorporate quantum error correction, where a logical qubit is redundantly encoded in many noisy physical qubits. The large physical-qubit overhead typically associated with error correction motivates the search for more hardware-efficient approaches. Here, using a microfabricated superconducting quantum circuit, we realize a logical qubit memory formed from the concatenation of encoded bosonic cat qubits with an outer repetition code of distance $d=5$. The bosonic cat qubits are passively protected against bit flips using a stabilizing circuit. Cat-qubit phase-flip errors are corrected by the repetition code which uses ancilla transmons for syndrome measurement. We realize a noise-biased CX gate which ensures bit-flip error suppression is maintained during error correction. We study the performance and scaling of the logical qubit memory, finding that the phase-flip correcting repetition code operates below threshold, with logical phase-flip error decreasing with code distance from $d=3$ to $d=5$. Concurrently, the logical bit-flip error is suppressed with increasing cat-qubit mean photon number. The minimum measured logical error per cycle is on average $1.75(2)\%$ for the distance-3 code sections, and $1.65(3)\%$ for the longer distance-5 code, demonstrating the effectiveness of bit-flip error suppression throughout the error correction cycle. These results, where the intrinsic error suppression of the bosonic encodings allows us to use a hardware-efficient outer error correcting code, indicate that concatenated bosonic codes are a compelling paradigm for reaching fault-tolerant quantum computation. △ Less

Submitted 23 March, 2025; v1 submitted 19 September, 2024; originally announced September 2024.

Journal ref: Nature 638, 927-934 (2025)

Frobenius algebra objects in Temperley-Lieb categories at roots of unity

Authors: Joseph Grant, Mathew Pugh

Abstract: We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit object, and can be seen as a categorical version of Frobenius extensions of the second kind. When the monoidal category is pivotal we define a Nakayama morphism fo… ▽ More We give a new definition of a Frobenius structure on an algebra object in a monoidal category, generalising Frobenius algebras in the category of vector spaces. Our definition allows Frobenius forms valued in objects other than the unit object, and can be seen as a categorical version of Frobenius extensions of the second kind. When the monoidal category is pivotal we define a Nakayama morphism for the Frobenius structure and explain what it means for this morphism to have finite order. Our main example is a well-studied algebra object in the (additive and idempotent completion of the) Temperley-Lieb category at a root of unity. We show that this algebra has a Frobenius structure and that its Nakayama morphism has order 2. As a consequence, we obtain information about Nakayama morphisms of preprojective algebras of Dynkin type, considered as algebras over the semisimple algebras on their vertices. △ Less

Submitted 20 September, 2024; v1 submitted 19 September, 2024; originally announced September 2024.

Comments: 22 pages. v2 is PDF upload with diagrams fixed

MSC Class: 18M05 (Primary) 18M20; 18D25; 16L60 (Secondary)

Federated $\mathcal{X}$-armed Bandit with Flexible Personalisation

Authors: Ali Arabzadeh, James A. Grant, David S. Leslie

Abstract: This paper introduces a novel approach to personalised federated learning within the $\mathcal{X}$-armed bandit framework, addressing the challenge of optimising both local and global objectives in a highly heterogeneous environment. Our method employs a surrogate objective function that combines individual client preferences with aggregated global knowledge, allowing for a flexible trade-off betw… ▽ More This paper introduces a novel approach to personalised federated learning within the $\mathcal{X}$-armed bandit framework, addressing the challenge of optimising both local and global objectives in a highly heterogeneous environment. Our method employs a surrogate objective function that combines individual client preferences with aggregated global knowledge, allowing for a flexible trade-off between personalisation and collective learning. We propose a phase-based elimination algorithm that achieves sublinear regret with logarithmic communication overhead, making it well-suited for federated settings. Theoretical analysis and empirical evaluations demonstrate the effectiveness of our approach compared to existing methods. Potential applications of this work span various domains, including healthcare, smart home devices, and e-commerce, where balancing personalisation with global insights is crucial. △ Less

Submitted 11 September, 2024; originally announced September 2024.

Identifiability of Polynomial Models from First Principles and via a Gröbner Basis Approach

Authors: Janet D. Godolphin, James D. E. Grant

Abstract: The relationship between a set of design points and the class of hierarchical polynomial models identifiable from the design is investigated. Saturated models are of particular interest. Necessary and sufficient conditions are derived on the set of design points for specific terms to be included in leaves of the statistical fan. A practitioner led approach to building hierarchical saturated models… ▽ More The relationship between a set of design points and the class of hierarchical polynomial models identifiable from the design is investigated. Saturated models are of particular interest. Necessary and sufficient conditions are derived on the set of design points for specific terms to be included in leaves of the statistical fan. A practitioner led approach to building hierarchical saturated models that are identifiable is developed. This approach is compared to the method of model building based on Gröbner bases. The main results are illustrated by examples. △ Less

Submitted 11 September, 2024; originally announced September 2024.

Comments: 15 pages, no figures

MSC Class: 62K99; 62B15; 62R01; 05B30

Mutation of signed valued quivers and presentations of simple complex Lie algebras

Authors: Joseph Grant, Davide Morigi

Abstract: We introduce a signed variant of (valued) quivers and a mutation rule that generalizes the classical Fomin-Zelevinsky mutation of quivers. To any signed valued quiver we associate a matrix that is a signed analogue of the Cartan counterpart appearing in the theory of cluster algebras. From this matrix, we construct a Lie algebra via a "Serre-like" presentation. In the mutation Dynkin case, we de… ▽ More We introduce a signed variant of (valued) quivers and a mutation rule that generalizes the classical Fomin-Zelevinsky mutation of quivers. To any signed valued quiver we associate a matrix that is a signed analogue of the Cartan counterpart appearing in the theory of cluster algebras. From this matrix, we construct a Lie algebra via a "Serre-like" presentation. In the mutation Dynkin case, we define root systems using the signed Cartan counterpart and show compatibility with mutation of roots as defined by Parsons. Using results from Barot-Rivera and Pérez-Rivera, we show that mutation equivalent signed quivers yield isomorphic Lie algebras, giving presentations of simple complex Lie algebras. △ Less

Submitted 30 April, 2025; v1 submitted 21 March, 2024; originally announced March 2024.

Comments: v3: Lie theory conventions changed in non-simply laced type; type A3 example added at end of paper

MSC Class: Primary: 17B20; Secondary: 17B22; 13F60

The UK Universities Superannuation Scheme valuations 2014-2023: gilt yield dependence, self-sufficiency and metrics

Authors: Jackie Grant

Abstract: This review considers the Universities Superannuation Scheme (USS) valuations from 2014 to 2023. USS is a 70-80 billion GBP Defined Benefit pension scheme with over 500,000 members who are employed (or have been employed) at around 70 UK universities. Disputes over USS have led to a decade of industrial action. New results are presented showing the high dependence of USS pension contributions on t… ▽ More This review considers the Universities Superannuation Scheme (USS) valuations from 2014 to 2023. USS is a 70-80 billion GBP Defined Benefit pension scheme with over 500,000 members who are employed (or have been employed) at around 70 UK universities. Disputes over USS have led to a decade of industrial action. New results are presented showing the high dependence of USS pension contributions on the return from UK government bonds (the gilt yield). The two conditions of the USS-specific 'self-sufficiency' (SfS) definition are examined. USS data are presented along with new analysis. It is shown that the second SfS condition of 'maintaining a high funding ratio' dominates USS modelling to amplify gilt yield dependence, inflating the SfS liabilities beyond the regulatory requirements, and leading to excessive prudence. The Red, Amber and Green status of USS metrics 'Actual' and 'Target' Reliance are also examined. It is shown that Target Reliance tethers the cost of future pensions to the SfS definition and that Actual Reliance can simultaneously be Green and Red. Implications for regulatory intervention are considered. An aim of this review is to support evidence-based decision making and consensus building. △ Less

Submitted 8 April, 2024; v1 submitted 8 February, 2024; originally announced March 2024.

Comments: 53 pages, 20 figures, 10 tables and 4 appendices (conclusions updated, post-analysis note added, glossary expanded, typos fixed)

Co-propagation of QKD & 6 Tb/s (60x100G) DWDM channels with ~17 dBm total WDM power in single and multi-span configurations

Authors: P. Gavignet, E. Pincemin, F. Herviou, Y. Loussouarn, F. Mondain, A. J. Grant, L. Johnson, R. I. Woodward, J. F. Dynes, B. Summers, A. J. Shields, K. Taira, H. Sato, R. Zink, V. Grempka, V. Castay, J. Zou

Abstract: We report co-propagation experiments of the quantum channel (at 1310 nm) of a Quantum Key Distribution (QKD) system with Dense Wavelength Division Multiplexing (DWDM) data channels in the 1550 nm range. Two configurations are assessed. The first one is a single span configuration where various lengths of Standard Single Mode Fiber (SSMF) (from 20 to 70 km) are used and the total WDM channels power… ▽ More We report co-propagation experiments of the quantum channel (at 1310 nm) of a Quantum Key Distribution (QKD) system with Dense Wavelength Division Multiplexing (DWDM) data channels in the 1550 nm range. Two configurations are assessed. The first one is a single span configuration where various lengths of Standard Single Mode Fiber (SSMF) (from 20 to 70 km) are used and the total WDM channels power is varied. The Secure Key Rate (SKR) and the Quantum Bit Error Ratio (QBER) are recorded showing that up to ~17 dBm total power of 30 or 60 channels at 100 Gb/s can coexist with the quantum channel. A metric to evaluate the co-propagation efficiency is also proposed to better evaluate the ability of a QKD system to provide secure keys in a co-propagation regime. The second experiment is a three spans link with a cascade of three QKD systems and two trusted nodes in a 184 km total link length. We report the transmission of a coherent 400 Gb/s Dual Polarization DP-16QAM (Quadrature Amplitude Modulation) channel that transports a QKD secured 100 GbE data stream, with other fifty-four 100 Gb/s WDM channels. Encryption is demonstrated at the same time as co-propagation. △ Less

Submitted 19 December, 2023; originally announced December 2023.

Comments: arXiv admin note: text overlap with arXiv:2305.13742

Optimal Control of Fluid Dosing in Hemorrhage Resuscitation

Authors: Jacob Grant, Hossein Mirinejad

Abstract: Fluid resuscitation, also called fluid therapy, is commonly used in treatment of critical care patients. Of the variables inherent to fluid therapy treatment, fluid infusion types are well-studied, but volumetric optimization is not. Automated fluid resuscitation systems employ computational control algorithms along with physiological sensors and actuators to automatically adjust the fluid infusio… ▽ More Fluid resuscitation, also called fluid therapy, is commonly used in treatment of critical care patients. Of the variables inherent to fluid therapy treatment, fluid infusion types are well-studied, but volumetric optimization is not. Automated fluid resuscitation systems employ computational control algorithms along with physiological sensors and actuators to automatically adjust the fluid infusion dosage in hemorrhage scenarios. Most automated hemorrhage resuscitation control algorithms implemented to date are of empiric nature and not effective in the presence of clinical disturbances. This work presents preliminary results of a novel controller based on optimal control approach for automated fluid therapy systems. A receding horizon controller is designed to automatically adjust fluid infusion rate in hemorrhagic situations. The proposed control approach aims to address the inefficiency of current resuscitation control algorithms in finding the accurate fluid dosage adjustments. Performance of the proposed approach is compared against a proportional-integral-derivative (PID) controller for a simulated hemorrhage scenario. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: 4 pages, 2 figures (with subfigures)

RadImageGAN -- A Multi-modal Dataset-Scale Generative AI for Medical Imaging

Authors: Zelong Liu, Alexander Zhou, Arnold Yang, Alara Yilmaz, Maxwell Yoo, Mikey Sullivan, Catherine Zhang, James Grant, Daiqing Li, Zahi A. Fayad, Sean Huver, Timothy Deyer, Xueyan Mei

Abstract: Deep learning in medical imaging often requires large-scale, high-quality data or initiation with suitably pre-trained weights. However, medical datasets are limited by data availability, domain-specific knowledge, and privacy concerns, and the creation of large and diverse radiologic databases like RadImageNet is highly resource-intensive. To address these limitations, we introduce RadImageGAN, t… ▽ More Deep learning in medical imaging often requires large-scale, high-quality data or initiation with suitably pre-trained weights. However, medical datasets are limited by data availability, domain-specific knowledge, and privacy concerns, and the creation of large and diverse radiologic databases like RadImageNet is highly resource-intensive. To address these limitations, we introduce RadImageGAN, the first multi-modal radiologic data generator, which was developed by training StyleGAN-XL on the real RadImageNet dataset of 102,774 patients. RadImageGAN can generate high-resolution synthetic medical imaging datasets across 12 anatomical regions and 130 pathological classes in 3 modalities. Furthermore, we demonstrate that RadImageGAN generators can be utilized with BigDatasetGAN to generate multi-class pixel-wise annotated paired synthetic images and masks for diverse downstream segmentation tasks with minimal manual annotation. We showed that using synthetic auto-labeled data from RadImageGAN can significantly improve performance on four diverse downstream segmentation datasets by augmenting real training data and/or developing pre-trained weights for fine-tuning. This shows that RadImageGAN combined with BigDatasetGAN can improve model performance and address data scarcity while reducing the resources needed for annotations for segmentation tasks. △ Less

Submitted 10 December, 2023; originally announced December 2023.

Tropical Logistic Regression Model on Space of Phylogenetic Trees

Authors: Georgios Aliatimis, Ruriko Yoshida, Burak Boyaci, James A. Grant

Abstract: Classification of gene trees is an important task both in the analysis of multi-locus phylogenetic data, and assessment of the convergence of Markov Chain Monte Carlo (MCMC) analyses used in Bayesian phylogenetic tree reconstruction. The logistic regression model is one of the most popular classification models in statistical learning, thanks to its computational speed and interpretability. Howeve… ▽ More Classification of gene trees is an important task both in the analysis of multi-locus phylogenetic data, and assessment of the convergence of Markov Chain Monte Carlo (MCMC) analyses used in Bayesian phylogenetic tree reconstruction. The logistic regression model is one of the most popular classification models in statistical learning, thanks to its computational speed and interpretability. However, it is not appropriate to directly apply the standard logistic regression model to a set of phylogenetic trees, as the space of phylogenetic trees is non-Euclidean and thus contradicts the standard assumptions on covariates. It is well-known in tropical geometry and phylogenetics that the space of phylogenetic trees is a tropical linear space in terms of the max-plus algebra. Therefore, in this paper, we propose an analogue approach of the logistic regression model in the setting of tropical geometry. Our proposed method outperforms classical logistic regression in terms of Area under the ROC Curve (AUC) in numerical examples, including with data generated by the multi-species coalescent model. Theoretical properties such as statistical consistency have been proved and generalization error rates have been derived. Finally, our classification algorithm is proposed as an MCMC convergence criterion for Mr Bayes. Unlike the convergence metric used by MrBayes which is only dependent on tree topologies, our method is sensitive to branch lengths and therefore provides a more robust metric for convergence. In a test case, it is illustrated that the tropical logistic regression can differentiate between two independently run MCMC chains, even when the standard metric cannot. △ Less

Submitted 7 June, 2024; v1 submitted 14 June, 2023; originally announced June 2023.

Phase Correction using Deep Learning for Satellite-to-Ground CV-QKD

Authors: Nathan K. Long, Robert Malaney, Kenneth J. Grant

Abstract: Coherent measurement of quantum signals used for continuous-variable (CV) quantum key distribution (QKD) across satellite-to-ground channels requires compensation of phase wavefront distortions caused by atmospheric turbulence. One compensation technique involves multiplexing classical reference pulses (RPs) and the quantum signal, with direct phase measurements on the RPs then used to modulate a… ▽ More Coherent measurement of quantum signals used for continuous-variable (CV) quantum key distribution (QKD) across satellite-to-ground channels requires compensation of phase wavefront distortions caused by atmospheric turbulence. One compensation technique involves multiplexing classical reference pulses (RPs) and the quantum signal, with direct phase measurements on the RPs then used to modulate a real local oscillator (RLO) on the ground - a solution that also removes some known attacks on CV-QKD. However, this is a cumbersome task in practice - requiring substantial complexity in equipment requirements and deployment. As an alternative to this traditional practice, here we introduce a new method for estimating phase corrections for an RLO by using only intensity measurements from RPs as input to a convolutional neural network, mitigating completely the necessity to measure phase wavefronts directly. Conventional wisdom dictates such an approach would likely be fruitless. However, we show that the phase correction accuracy needed to provide for non-zero secure key rates through satellite-to-ground channels is achieved by our intensity-only measurements. Our work shows, for the first time, how artificial intelligence algorithms can replace phase-measuring equipment in the context of CV-QKD delivered from space, thereby delivering an alternate deployment paradigm for this global quantum-communication application. △ Less

Submitted 30 May, 2023; originally announced May 2023.

Co-propagation of 6 Tb/s (60*100Gb/s) DWDM & QKD channels with ~17 dBm aggregated WDM power over 50 km standard single mode fiber

Authors: P. Gavignet, F. Mondain, E. Pincemin, A. J. Grant, L. Johnson, R. I. Woodward, J. F. Dynes, A. J. Shields

Abstract: We report the co-propagation, over 50 km of SSMF, of the quantum channel (1310 nm) of a QKD system with ~17 dBm total power of DWDM data channels (1550 nm range). A metric to evaluate Co-propagation Efficiency is proposed. We report the co-propagation, over 50 km of SSMF, of the quantum channel (1310 nm) of a QKD system with ~17 dBm total power of DWDM data channels (1550 nm range). A metric to evaluate Co-propagation Efficiency is proposed. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Comments: https://opg.optica.org/abstract.cfm?uri=OFC-2023-Tu3H.2

Journal ref: Optical Fiber Communication Conference (OFC) 2023, Technical Digest Series (Optica Publishing Group, 2023), paper Tu3H.2

Stability Analysis and Performance Evaluation of Mixed-Precision Runge-Kutta Methods

Authors: Ben Burnett, Sigal Gottlieb, Zachary J. Grant

Abstract: Additive Runge-Kutta methods designed for preserving highly accurate solutions in mixed-precision computation were proposed and analyzed in 4. These specially designed methods use reduced precision for the implicit computations and full precision for the explicit computations. In this work we analyze the stability properties of these methods and their sensitivity to the low precision rounding erro… ▽ More Additive Runge-Kutta methods designed for preserving highly accurate solutions in mixed-precision computation were proposed and analyzed in 4. These specially designed methods use reduced precision for the implicit computations and full precision for the explicit computations. In this work we analyze the stability properties of these methods and their sensitivity to the low precision rounding errors, and demonstrate their performance in terms of accuracy and efficiency. We develop codes in FORTRAN and Julia to solve nonlinear systems of ODEs and PDEs using the mixed precision additive Runge-Kutta (MP-ARK) methods. The convergence, accuracy, runtime, and energy consumption of these methods is explored. We show that for a given level of accuracy, suitably chosen MP-ARK methods may provide significant reductions in runtime. △ Less

Submitted 22 December, 2022; originally announced December 2022.

Comments: 30 pages, 20 figures, submitted to the Communications on Applied Mathematics and Computation for publication

3UCubed: The IMAP Student Collaboration CubeSat Project

Authors: Marcus Alfred, Sonya Smith, Charles Kim, Carissma McGee, Ruth Davis, Myles Pope, Taran Richardson, Trinity Sager, Avery Williams, Matthew Gales, Wilson Jean Baptiste, Tyrese Kierstdet, Oluwatamilore Ogunbanjo, Laura Peticolas, Lynn Cominsky, Garrett Jernigan, Jeffrey Reedy, Doug Clarke, Sabrina Blais, Erik Castellanos-Vasquez, Jack Dawson, Erika Diaz Ramirez, Walter Foster, Cristopher Gopar Carreno, Haley Joerger , et al. (17 additional authors not shown)

Abstract: The 3UCubed project is a 3U CubeSat being jointly developed by the University of New Hampshire, Sonoma State University, and Howard University as a part of the NASA Interstellar Mapping and Acceleration Probe, IMAP, student collaboration. This project comprises of a multidisciplinary team of undergraduate students from all three universities. The mission goal of the 3UCubed is to understand how Ea… ▽ More The 3UCubed project is a 3U CubeSat being jointly developed by the University of New Hampshire, Sonoma State University, and Howard University as a part of the NASA Interstellar Mapping and Acceleration Probe, IMAP, student collaboration. This project comprises of a multidisciplinary team of undergraduate students from all three universities. The mission goal of the 3UCubed is to understand how Earths polar upper atmosphere the thermosphere in Earths auroral regions, responds to particle precipitation and solar wind forcing, and internal magnetospheric processes. 3UCubed includes two instruments with rocket heritage to achieve the science mission: an ultraviolet photomultiplier tube, UVPMT, and an electron retarding potential analyzer ERPA. The spacecraft bus consists of the following subsystems: Attitude Determination and Control, Command and Data Handling, Power, Communication, Structural, and Thermal. Currently, the project is in the post-PDR stage, starting to build and test engineering models to develop a FlatSat prior to critical design review in 2023. The goal is to launch at least one 3U CubeSat to collect science data close to the anticipated peak of Solar Cycle 25 around July 2025. Our mother mission, IMAP, is also projected to launch in 2025, which will let us jointly analyze the science data of the main mission, providing the solar wind measurements and inputs to the magnetosphere with that of 3UCubed, providing the response of Earths cusp to these inputs. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Measuring Inconsistency in Declarative Process Specifications

Authors: Carl Corea, John Grant, Matthias Thimm

Abstract: We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existing inconsistency measures for classical logic cannot provide a meaningful assessment of inconsistency in LTL in general, as they cannot adequately handle the temporal operators. We therefore propose a novel paraconsistent… ▽ More We address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic on fixed traces (LTLff). As we will show, existing inconsistency measures for classical logic cannot provide a meaningful assessment of inconsistency in LTL in general, as they cannot adequately handle the temporal operators. We therefore propose a novel paraconsistent semantics as a framework for inconsistency measurement. We then present two new inconsistency measures based on these semantics and show that they satisfy important desirable properties. We show how these measures can be applied to declarative process models and investigate the computational complexity of the introduced approach. △ Less

Submitted 14 June, 2022; originally announced June 2022.

The distribution of loss to future USS pensions due to the UUK cuts of April 2022

Authors: Jackie Grant, Mark Hindmarsh, Sergey E. Koposov

Abstract: We present the first global analysis of the impact of the April 2022 cuts to the future pensions of members of the Universities Superannuation Scheme. For the 196,000 active members, if Consumer Price Inflation (CPI) remains at its historic average of 2.5%, the distribution of the range of cuts peaks between 30%-35%. This peak increases to 40%-45% cuts if CPI averages 3.0%. The global loss across… ▽ More We present the first global analysis of the impact of the April 2022 cuts to the future pensions of members of the Universities Superannuation Scheme. For the 196,000 active members, if Consumer Price Inflation (CPI) remains at its historic average of 2.5%, the distribution of the range of cuts peaks between 30%-35%. This peak increases to 40%-45% cuts if CPI averages 3.0%. The global loss across current USS scheme members, in today's money, is calculated to be 16-18 billion GBP, with most of the 71,000 staff under the age of 40 losing between 100k-200k GBP each, for CPI averaging 2.5%-3.0%. A repeated claim made during the formal consultation by the body representing university management (Universities UK) that those earning under 40k GBP would receive a "headline" cut of 12% to their future pension is shown to be a serious underestimate for realistic CPI projections. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: 29 pp, 7 figures

Bias in multivariable Mendelian randomization studies due to measurement error on exposures

Authors: Jiazheng Zhu, Stephen Burgess, Andrew J. Grant

Abstract: Multivariable Mendelian randomization estimates the causal effect of multiple exposures on an outcome, typically using summary statistics of genetic variant associations. However, exposures of interest in Mendelian randomization applications will often be measured with error. The summary statistics will therefore not be of the genetic associations with the exposure, but with the exposure measured… ▽ More Multivariable Mendelian randomization estimates the causal effect of multiple exposures on an outcome, typically using summary statistics of genetic variant associations. However, exposures of interest in Mendelian randomization applications will often be measured with error. The summary statistics will therefore not be of the genetic associations with the exposure, but with the exposure measured with error. Classical measurement error will not bias genetic association estimates but will increase their standard errors. With a single exposure, this will result in bias toward the null in a two sample framework. However, this will not necessarily be the case with multiple correlated exposures. In this paper, we examine how the direction and size of bias, as well as coverage, power and type I error rates in multivariable Mendelian randomization studies are affected by measurement error on exposures. We show how measurement error can be accounted for in a maximum likelihood framework. We consider two applied examples. In the first, we show that measurement error leads to the effect of body mass index on coronary heart disease risk to be overestimated, and that of waist-to-hip ratio to be underestimated. In the second, we show that the proportion of the effect of education on coronary heart disease risk which is mediated by body mass index, smoking and blood pressure may be underestimated if measurement error is not taken into account. △ Less

Submitted 16 March, 2022; originally announced March 2022.

An all-dielectric metasurface polarimeter

Authors: Yash D. Shah, Adetunmise C. Dada, James P. Grant, David R. S. Cumming, Charles Altuzarra, Thomas S. Nowack, Ashley Lyons, Matteo Clerici, Daniele Faccio

Abstract: The polarization state of light is a key parameter in many imaging systems. For example, it can image mechanical stress and other physical properties that are not seen with conventional imaging, and can also play a central role in quantum sensing. However, polarization is more difficult to image and polarimetry typically involves several independent measurements with moving parts in the measuremen… ▽ More The polarization state of light is a key parameter in many imaging systems. For example, it can image mechanical stress and other physical properties that are not seen with conventional imaging, and can also play a central role in quantum sensing. However, polarization is more difficult to image and polarimetry typically involves several independent measurements with moving parts in the measurement device. Metasurfaces with interleaved designs have demonstrated sensitivity to either linear or circular/elliptical polarization states. Here we present an all-dielectric meta-polarimeter for direct measurement of any arbitrary polarization states from a single unit-cell design. By engineering a completely asymmetric design, we obtained a metasurface that can excite eigenmodes of the nanoresonators, thus displaying a unique diffraction pattern for not only any linear polarization state but all elliptical polarization states (and handedness) as well. The unique diffraction patterns are quantified into Stokes parameters with a resolution of 5$^{\circ}$ and with a polarization state fidelity of up to $99\pm1$%. This holds promise for applications in polarization imaging and quantum state tomography. △ Less

Submitted 10 March, 2022; originally announced March 2022.

Journal ref: ACS Photonics 2022, 9, 10, 3245-3252

Lex Rosetta: Transfer of Predictive Models Across Languages, Jurisdictions, and Legal Domains

Authors: Jaromir Savelka, Hannes Westermann, Karim Benyekhlef, Charlotte S. Alexander, Jayla C. Grant, David Restrepo Amariles, Rajaa El Hamdani, Sébastien Meeùs, Michał Araszkiewicz, Kevin D. Ashley, Alexandra Ashley, Karl Branting, Mattia Falduti, Matthias Grabmair, Jakub Harašta, Tereza Novotná, Elizabeth Tippett, Shiwanni Johnson

Abstract: In this paper, we examine the use of multi-lingual sentence embeddings to transfer predictive models for functional segmentation of adjudicatory decisions across jurisdictions, legal systems (common and civil law), languages, and domains (i.e. contexts). Mechanisms for utilizing linguistic resources outside of their original context have significant potential benefits in AI & Law because differenc… ▽ More In this paper, we examine the use of multi-lingual sentence embeddings to transfer predictive models for functional segmentation of adjudicatory decisions across jurisdictions, legal systems (common and civil law), languages, and domains (i.e. contexts). Mechanisms for utilizing linguistic resources outside of their original context have significant potential benefits in AI & Law because differences between legal systems, languages, or traditions often block wider adoption of research outcomes. We analyze the use of Language-Agnostic Sentence Representations in sequence labeling models using Gated Recurrent Units (GRUs) that are transferable across languages. To investigate transfer between different contexts we developed an annotation scheme for functional segmentation of adjudicatory decisions. We found that models generalize beyond the contexts on which they were trained (e.g., a model trained on administrative decisions from the US can be applied to criminal law decisions from Italy). Further, we found that training the models on multiple contexts increases robustness and improves overall performance when evaluating on previously unseen contexts. Finally, we found that pooling the training data from all the contexts enhances the models' in-context performance. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 10 pages

Journal ref: In Proceedings of ICAIL 2021, pp. 129-138. 2021

The USS Trustee's risky strategy

Authors: Neil M Davies, Jackie Grant, Chin Yang Shapland

Abstract: How much risk, and what types of risk, is the Universities Superannuation Scheme (USS) taking? This is a critical question for universities across the UK and many of their employees. Will the fund have enough money to pay for all our pensions? Will it run out? Or is there a significant risk that we are collectively overpaying? In September 2021, David Miles and James Sefton, from Imperial College… ▽ More How much risk, and what types of risk, is the Universities Superannuation Scheme (USS) taking? This is a critical question for universities across the UK and many of their employees. Will the fund have enough money to pay for all our pensions? Will it run out? Or is there a significant risk that we are collectively overpaying? In September 2021, David Miles and James Sefton, from Imperial College Business School, stepped into this vacuum, publishing 'How much risk is the USS taking?'. The paper presents important, accessible and highly readable analysis which estimates how likely the USS is to default over time. Their work is particularly relevant to the current UCU dispute with 69 employers over the benefit cuts that Universities UK (UUK) is planning to implement on the basis of the 2020 USS valuation. In this Brief, we assess the assumptions, replicate the results, explore further their model and consider potential extensions. We demonstrate that for a cautious model with reasonable assumptions for assets and asset growth, the fund has a less than 7% chance of defaulting for the duration that pensions promises are due, but a greater than 80% chance of being over funded by at least £100bn, and nearly 50% chance of having over £400bn. We offer warm thanks to David Miles and James Sefton for sharing their code and data, for their helpful conversations and clarification. Their analysis is infinitely clearer, better and more credible than anything the USS has produced. We hope this paper will be the beginning of more work in this area. All errors are our own. △ Less

Submitted 30 October, 2021; v1 submitted 27 October, 2021; originally announced October 2021.

Apple Tasting Revisited: Bayesian Approaches to Partially Monitored Online Binary Classification

Authors: James A. Grant, David S. Leslie

Abstract: We consider a variant of online binary classification where a learner sequentially assigns labels ($0$ or $1$) to items with unknown true class. If, but only if, the learner chooses label $1$ they immediately observe the true label of the item. The learner faces a trade-off between short-term classification accuracy and long-term information gain. This problem has previously been studied under the… ▽ More We consider a variant of online binary classification where a learner sequentially assigns labels ($0$ or $1$) to items with unknown true class. If, but only if, the learner chooses label $1$ they immediately observe the true label of the item. The learner faces a trade-off between short-term classification accuracy and long-term information gain. This problem has previously been studied under the name of the `apple tasting' problem. We revisit this problem as a partial monitoring problem with side information, and focus on the case where item features are linked to true classes via a logistic regression model. Our principal contribution is a study of the performance of Thompson Sampling (TS) for this problem. Using recently developed information-theoretic tools, we show that TS achieves a Bayesian regret bound of an improved order to previous approaches. Further, we experimentally verify that efficient approximations to TS and Information Directed Sampling via Pólya-Gamma augmentation have superior empirical performance to existing methods. △ Less

Submitted 22 April, 2024; v1 submitted 29 September, 2021; originally announced September 2021.

Comments: Update to Theorem 1 and experimental work

A spatio-temporal LSTM model to forecast across multiple temporal and spatial scales

Authors: Yihao Hu, Fearghal O'Donncha, Paulito Palmes, Meredith Burke, Ramon Filgueira, Jon Grant

Abstract: This paper presents a novel spatio-temporal LSTM (SPATIAL) architecture for time series forecasting applied to environmental datasets. The framework was evaluated across multiple sensors and for three different oceanic variables: current speed, temperature, and dissolved oxygen. Network implementation proceeded in two directions that are nominally separated but connected as part of a natural envir… ▽ More This paper presents a novel spatio-temporal LSTM (SPATIAL) architecture for time series forecasting applied to environmental datasets. The framework was evaluated across multiple sensors and for three different oceanic variables: current speed, temperature, and dissolved oxygen. Network implementation proceeded in two directions that are nominally separated but connected as part of a natural environmental system -- across the spatial (between individual sensors) and temporal components of the sensor data. Data from four sensors sampling current speed, and eight measuring both temperature and dissolved oxygen evaluated the framework. Results were compared against RF and XGB baseline models that learned on the temporal signal of each sensor independently by extracting the date-time features together with the past history of data using sliding window matrix. Results demonstrated ability to accurately replicate complex signals and provide comparable performance to state-of-the-art benchmarks. Notably, the novel framework provided a simpler pre-processing and training pipeline that handles missing values via a simple masking layer. Enabling learning across the spatial and temporal directions, this paper addresses two fundamental challenges of ML applications to environmental science: 1) data sparsity and the challenges and costs of collecting measurements of environmental conditions such as ocean dynamics, and 2) environmental datasets are inherently connected in the spatial and temporal directions while classical ML approaches only consider one of these directions. Furthermore, sharing of parameters across all input steps makes SPATIAL a fast, scalable, and easily-parameterized forecasting framework. △ Less

Submitted 26 August, 2021; originally announced August 2021.

Deep2Lead: A distributed deep learning application for small molecule lead optimization

Authors: Tarun Kumar Chawdhury, David J. Grant, Hyun Yong Jin

Abstract: Lead optimization is a key step in drug discovery to produce potent and selective compounds. Historically, in silico screening and structure-based small molecule designing facilitated the processes. Although the recent application of deep learning to drug discovery piloted the possibility of their in silico application lead optimization steps, the real-world application is lacking due to the tool… ▽ More Lead optimization is a key step in drug discovery to produce potent and selective compounds. Historically, in silico screening and structure-based small molecule designing facilitated the processes. Although the recent application of deep learning to drug discovery piloted the possibility of their in silico application lead optimization steps, the real-world application is lacking due to the tool availability. Here, we developed a single user interface application, called Deep2Lead. Our web-based application integrates VAE and DeepPurpose DTI and allows a user to quickly perform a lead optimization task with no prior programming experience. △ Less

Submitted 9 August, 2021; originally announced August 2021.

Comments: 6 Pages, 1 figure, 2 images

Performance Evaluation of Mixed-Precision Runge-Kutta Methods

Authors: Ben Burnett, Sigal Gottlieb, Zachary J. Grant, Alfa Heryudono

Abstract: Additive Runge-Kutta methods designed for preserving highly accurate solutions in mixed-precision computation were proposed and analyzed in [8]. These specially designed methods use reduced precision or the implicit computations and full precision for the explicit computations. We develop a FORTRAN code to solve a nonlinear system of ordinary differential equations using the mixed precision additi… ▽ More Additive Runge-Kutta methods designed for preserving highly accurate solutions in mixed-precision computation were proposed and analyzed in [8]. These specially designed methods use reduced precision or the implicit computations and full precision for the explicit computations. We develop a FORTRAN code to solve a nonlinear system of ordinary differential equations using the mixed precision additive Runge-Kutta (MP-ARK) methods on IBM POWER9 and Intel x86\_64 chips. The convergence, accuracy, runtime, and energy consumption of these methods is explored. We show that these MP-ARK methods efficiently produce accurate solutions with significant reductions in runtime (and by extension energy consumption). △ Less

Submitted 7 July, 2021; originally announced July 2021.

Comments: IEEE HPEC 2021 submission

High order strong stability preserving multi-derivative implicit and IMEX Runge--Kutta methods with asymptotic preserving properties

Authors: Sigal Gottlieb, Zachary J. Grant, Jingwei Hu, Ruiwen Shu

Abstract: In this work we present a class of high order unconditionally strong stability preserving (SSP) implicit multi-derivative Runge--Kutta schemes, and SSP implicit-explicit (IMEX) multi-derivative Runge--Kutta schemes where the time-step restriction is independent of the stiff term. The unconditional SSP property for a method of order $p>2$ is unique among SSP methods, and depends on a backward-in-ti… ▽ More In this work we present a class of high order unconditionally strong stability preserving (SSP) implicit multi-derivative Runge--Kutta schemes, and SSP implicit-explicit (IMEX) multi-derivative Runge--Kutta schemes where the time-step restriction is independent of the stiff term. The unconditional SSP property for a method of order $p>2$ is unique among SSP methods, and depends on a backward-in-time assumption on the derivative of the operator. We show that this backward derivative condition is satisfied in many relevant cases where SSP IMEX schemes are desired. We devise unconditionally SSP implicit Runge--Kutta schemes of order up to $p=4$, and IMEX Runge--Kutta schemes of order up to $p=3$. For the multi-derivative IMEX schemes, we also derive and present the order conditions, which have not appeared previously. The unconditional SSP condition ensures that these methods are positivity preserving, and we present sufficient conditions under which such methods are also asymptotic preserving when applied to a range of problems, including a hyperbolic relaxation system, the Broadwell model, and the Bhatnagar-Gross-Krook (BGK) kinetic equation. We present numerical results to support the theoretical results, on a variety of problems. △ Less

Submitted 9 August, 2021; v1 submitted 23 February, 2021; originally announced February 2021.

Comments: 8 figures

In Situ Geochronology for the Next Decade: Mission Designs for the Moon, Mars, and Vesta

Authors: Barbara A. Cohen, Kelsey E. Young, Nicolle E. B. Zellner, Kris Zacny, R. Aileen Yingst, Ryan N. Watkins, Richard Warwick, Sarah N. Valencia, Timothy D. Swindle, Stuart J. Robbins, Noah E. Petro, Anthony Nicoletti, Daniel P. Moriarty, III, Richard Lynch, Stephen J. Indyk, Juliane Gross, Jennifer A. Grier, John A. Grant, Amani Ginyard, Caleb I. Fassett, Kenneth A. Farley, Benjamin J. Farcy, Bethany L. Ehlmann, M. Darby Dyar, Gerard Daelemans , et al. (4 additional authors not shown)

Abstract: Geochronology, or determination of absolute ages for geologic events, underpins many inquiries into the formation and evolution of planets and our Solar System. Absolute ages of ancient and recent magmatic products provide strong constraints on the dynamics of magma oceans and crustal formation, as well as the longevity and evolution of interior heat engines and distinct mantle/crustal source regi… ▽ More Geochronology, or determination of absolute ages for geologic events, underpins many inquiries into the formation and evolution of planets and our Solar System. Absolute ages of ancient and recent magmatic products provide strong constraints on the dynamics of magma oceans and crustal formation, as well as the longevity and evolution of interior heat engines and distinct mantle/crustal source regions. Absolute dating also relates habitability markers to the timescale of evolution of life on Earth. However, the number of geochronologically-significant terrains across the inner Solar System far exceeds our ability to conduct sample return from all of them. In preparation for the upcoming Decadal Survey, our team formulated a set of medium-class (New Frontiers) mission concepts to three different locations (the Moon, Mars, and Vesta) where sites that record Solar System bombardment, magmatism, and/or habitability are uniquely preserved and accessible. We developed a notional payload to directly date planetary surfaces, consisting of two instruments capable of measuring radiometric ages in situ, an imaging spectrometer, optical cameras to provide site geologic context and sample characterization, a trace element analyzer to augment sample contextualization, and a sample acquisition and handling system. Landers carrying this payload to the Moon, Mars, and Vesta would likely fit into the New Frontiers cost cap in our study (~$1B). A mission of this type would provide crucial constraints on planetary history while also enabling a broad suite of investigations such as basic geologic characterization, geomorphologic analysis, ground truth for remote sensing analyses, analyses of major, minor, trace, and volatile elements, atmospheric and other long-lived monitoring, organic molecule analyses, and soil and geotechnical properties. △ Less

Submitted 4 January, 2021; originally announced January 2021.

Comments: Submitted to the Planetary Science Journal, October 2020

Perturbed Runge-Kutta methods for mixed precision applications

Authors: Zachary J. Grant

Abstract: In this work we consider a mixed precision approach to accelerate the implemetation of multi-stage methods. We show that Runge-Kutta methods can be designed so that certain costly intermediate computations can be performed as a lower-precision computation without adversely impacting the accuracy of the overall solution. In particular, a properly designed Runge-Kutta method will damp out the errors… ▽ More In this work we consider a mixed precision approach to accelerate the implemetation of multi-stage methods. We show that Runge-Kutta methods can be designed so that certain costly intermediate computations can be performed as a lower-precision computation without adversely impacting the accuracy of the overall solution. In particular, a properly designed Runge-Kutta method will damp out the errors committed in the initial stages. This is of particular interest when we consider implicit Runge-Kutta methods. In such cases, the implicit computation of the stage values can be considerably faster if the solution can be of lower precision (or, equivalently, have a lower tolerance). We provide a general theoretical additive framework for designing mixed precision Runge-Kutta methods, and use this framework to derive order conditions for such methods. Next, we show how using this approach allows us to leverage low precision computation of the implicit solver while retaining high precision in the overall method. We present the behavior of some mixed-precision implicit Runge-Kutta methods through numerical studies, and demonstrate how the numerical results match with the theoretical framework. This novel mixed-precision implicit Runge-Kutta framework opens the door to the design of many such methods. △ Less

Submitted 23 December, 2020; originally announced December 2020.

Teaching Programming for Mathematical Scientists

Authors: Jack Betteridge, Eunice Y. S. Chan, Robert M. Corless, James H. Davenport, James Grant

Abstract: Over the past thirty years or so the authors have been teaching various programming for mathematics courses at our respective Universities, as well as incorporating computer algebra and numerical computation into traditional mathematics courses. These activities are, in some important ways, natural precursors to the use of Artificial Intelligence in Mathematics Education. This paper reflects on so… ▽ More Over the past thirty years or so the authors have been teaching various programming for mathematics courses at our respective Universities, as well as incorporating computer algebra and numerical computation into traditional mathematics courses. These activities are, in some important ways, natural precursors to the use of Artificial Intelligence in Mathematics Education. This paper reflects on some of our course designs and experiences and is therefore a mix of theory and practice. Underlying both is a clear recognition of the value of computer programming for mathematics education. We use this theory and practice to suggest good techniques for and to raise questions about the use of AI in Mathematics Education. △ Less

Submitted 30 October, 2020; originally announced October 2020.

Comments: 21 pages, 3 figures

MSC Class: 97D40; 97P80

A general linear method approach to the design and optimization of efficient, accurate, and easily implemented time-stepping methods in CFD

Authors: Victor DeCaria, Sigal Gottlieb, Zachary J. Grant, William J. Layton

Abstract: In simulations of fluid motion time accuracy has proven to be elusive. We seek highly accurate methods with strong enough stability properties to deal with the richness of scales of many flows. These methods must also be easy to implement within current complex, possibly legacy codes. Herein we develop, analyze and test new time stepping methods addressing these two issues with the goal of acceler… ▽ More In simulations of fluid motion time accuracy has proven to be elusive. We seek highly accurate methods with strong enough stability properties to deal with the richness of scales of many flows. These methods must also be easy to implement within current complex, possibly legacy codes. Herein we develop, analyze and test new time stepping methods addressing these two issues with the goal of accelerating the development of time accurate methods addressing the needs of applications. The new methods are created by introducing inexpensive pre-filtering and post-filtering steps to popular methods which have been implemented and tested within existing codes. We show that pre-filtering and post-filtering a multistep or multi-stage method results in new methods which have both multiple steps and stages: these are general linear methods (GLMs). We utilize the well studied properties of GLMs to understand the accuracy and stability of filtered method, and to design optimal new filters for popular time-stepping methods. We present several new embedded families of high accuracy methods with low cognitive complexity and excellent stability properties. Numerical tests of the methods are presented, including ones finding failure points of some methods. Among the new methods presented is a novel pair of alternating filters for the Implicit Euler method which induces a third order, A-stable, error inhibiting scheme which is shown to be particularly effective. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Comments: 43 pages

A GPU-accelerated mixed-precision WENO method for extremal black hole and gravitational wave physics computations

Authors: Scott E. Field, Sigal Gottlieb, Zachary J. Grant, Leah F. Isherwood, Gaurav Khanna

Abstract: We develop and use a novel mixed-precision weighted essentially non-oscillatory (WENO) method for solving the Teukolsky equation, which arises when modeling perturbations of Kerr black holes. We show that WENO methods outperform higher-order finite-difference methods, standard in the discretization of the Teukolsky equation, due to the need to add dissipation for stability purposes in the latter.… ▽ More We develop and use a novel mixed-precision weighted essentially non-oscillatory (WENO) method for solving the Teukolsky equation, which arises when modeling perturbations of Kerr black holes. We show that WENO methods outperform higher-order finite-difference methods, standard in the discretization of the Teukolsky equation, due to the need to add dissipation for stability purposes in the latter. In particular, as the WENO scheme uses no additional dissipation it is well-suited for scenarios requiring long-time evolution such as the study of Price tails and gravitational wave emission from extreme mass ratio binaries. In the mixed-precision approach, the expensive computation of the WENO weights is performed in reduced floating-point precision that results in a significant speedup factor of 3.3. In addition, we use state-of-the-art Nvidia general-purpose graphics processing units and cluster parallelism to further accelerate the WENO computations. Our optimized WENO solver can be used to quickly generate accurate results of significance in the field of black hole and gravitational wave physics. We apply our solver to study the behavior of the Aretakis charge -- a conserved quantity, that if detected by a gravitational wave observatory like LIGO/Virgo would prove the existence of extremal black holes. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Comments: 19 pages, 6 plots

Journal ref: Commun. Appl. Math. Comput. 5, 97-115 (2023)

FaNDS: Fake News Detection System Using Energy Flow

Authors: Jiawei Xu, Vladimir Zadorozhny, Danchen Zhang, John Grant

Abstract: Recently, the term "fake news" has been broadly and extensively utilized for disinformation, misinformation, hoaxes, propaganda, satire, rumors, click-bait, and junk news. It has become a serious problem around the world. We present a new system, FaNDS, that detects fake news efficiently. The system is based on several concepts used in some previous works but in a different context. There are two… ▽ More Recently, the term "fake news" has been broadly and extensively utilized for disinformation, misinformation, hoaxes, propaganda, satire, rumors, click-bait, and junk news. It has become a serious problem around the world. We present a new system, FaNDS, that detects fake news efficiently. The system is based on several concepts used in some previous works but in a different context. There are two main concepts: an Inconsistency Graph and Energy Flow. The Inconsistency Graph contains news items as nodes and inconsistent opinions between them for edges. Energy Flow assigns each node an initial energy and then some energy is propagated along the edges until the energy distribution on all nodes converges. To illustrate FaNDS we use the original data from the Fake News Challenge (FNC-1). First, the data has to be reconstructed in order to generate the Inconsistency Graph. The graph contains various subgraphs with well-defined shapes that represent different types of connections between the news items. Then the Energy Flow method is applied. The nodes with high energy are the candidates for being fake news. In our experiments, all these were indeed fake news as we checked each using several reliable web sites. We compared FaNDS to several other fake news detection methods and found it to be more sensitive in discovering fake news items. △ Less

Submitted 5 October, 2020; originally announced October 2020.

Electrically injected GeSn lasers with peak wavelength up to 2.7 micrometer at 90 K

Authors: Yiyin Zhou, Solomon Ojo, Yuanhao Miao, Huong Tran, Joshua M. Grant, Grey Abernathy, Sylvester Amoah, Jake Bass, Gregory Salamo, Wei Du, Jifeng Liu, Joe Margetis, John Tolle, Yong-Hang Zhang, Greg Sun, Richard A. Soref, Baohua Li, Shui-Qing Yu

Abstract: GeSn lasers enable monolithic integration of lasers on the Si platform using all-group-IV direct-bandgap materials. Although optically pumped GeSn lasers have made significant progress, the study of the electrically injected lasers has just begun only recently. In this work, we present explorative investigations of electrically injected GeSn heterostructure lasers with various layer thicknesses an… ▽ More GeSn lasers enable monolithic integration of lasers on the Si platform using all-group-IV direct-bandgap materials. Although optically pumped GeSn lasers have made significant progress, the study of the electrically injected lasers has just begun only recently. In this work, we present explorative investigations of electrically injected GeSn heterostructure lasers with various layer thicknesses and material compositions. The cap layer total thickness was varied between 240 and 100 nm. At 10 K, a 240-nm-SiGeSn capped device had a threshold current density Jth = 0.6 kA/cm2 compared to Jth = 1.4 kA/cm2 of a device with 100-nm-SiGeSn cap due to an improved modal overlap with the GeSn gain region. Both devices had a maximum operating temperature Tmax = 100 K. Device with cap layers of Si0.03Ge0.89Sn0.08 and Ge0.95Sn0.05, respectively, were also compared. Due to less effective carrier (electron) confinement, the device with a 240-nm-GeSn cap had a higher threshold Jth = 2.4 kA/cm2 and lower maximum operating temperature Tmax = 90 K, compared to those of the 240-nm-SiGeSn capped device with Jth = 0.6 kA/cm2 and Tmax = 100 K. In the study of the active region material, the device with Ge0.85Sn0.15 active region had a 2.3 times higher Jth and 10 K lower Tmax, compared to the device with Ge0.89Sn0.11 in its active region. This is likely due to higher defect density in Ge0.85Sn0.15 rather than an intrinsic issue. The longest lasing wavelength was measured as 2682 nm at 90 K. The investigations provide guidance to the future structure design of GeSn laser diodes to further improve the performance. △ Less

Submitted 25 September, 2020; originally announced September 2020.

Comments: 21 pages, 5 figures, and 2 tables

Learning to Rank under Multinomial Logit Choice

Authors: James A. Grant, David S. Leslie

Abstract: Learning the optimal ordering of content is an important challenge in website design. The learning to rank (LTR) framework models this problem as a sequential problem of selecting lists of content and observing where users decide to click. Most previous work on LTR assumes that the user considers each item in the list in isolation, and makes binary choices to click or not on each. We introduce a m… ▽ More Learning the optimal ordering of content is an important challenge in website design. The learning to rank (LTR) framework models this problem as a sequential problem of selecting lists of content and observing where users decide to click. Most previous work on LTR assumes that the user considers each item in the list in isolation, and makes binary choices to click or not on each. We introduce a multinomial logit (MNL) choice model to the LTR framework, which captures the behaviour of users who consider the ordered list of items as a whole and make a single choice among all the items and a no-click option. Under the MNL model, the user favours items which are either inherently more attractive, or placed in a preferable position within the list. We propose upper confidence bound (UCB) algorithms to minimise regret in two settings - where the position dependent parameters are known, and unknown. We present theoretical analysis leading to an $Ω(\sqrt{JT})$ lower bound for the problem, an $\tilde{O}(\sqrt{JT})$ upper bound on regret of the UCB algorithm in the known-parameter setting, and an $\tilde{O}(K^2\sqrt{JT})$ upper bound on regret, the first, in the more challenging unknown-position-parameter setting. Our analyses are based on tight new concentration results for Geometric random variables, and novel functional inequalities for maximum likelihood estimators computed on discrete data. △ Less

Submitted 11 May, 2023; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: updated with new material including regret bound for unknown position bias setting

Pleiotropy robust methods for multivariable Mendelian randomization

Authors: Andrew J. Grant, Stephen Burgess

Abstract: Mendelian randomization is a powerful tool for inferring the presence, or otherwise, of causal effects from observational data. However, the nature of genetic variants is such that pleiotropy remains a barrier to valid causal effect estimation. There are many options in the literature for pleiotropy robust methods when studying the effects of a single risk factor on an outcome. However, there are… ▽ More Mendelian randomization is a powerful tool for inferring the presence, or otherwise, of causal effects from observational data. However, the nature of genetic variants is such that pleiotropy remains a barrier to valid causal effect estimation. There are many options in the literature for pleiotropy robust methods when studying the effects of a single risk factor on an outcome. However, there are few pleiotropy robust methods in the multivariable setting, that is, when there are multiple risk factors of interest. In this paper we introduce three methods which build on common approaches in the univariable setting: MVMR-Robust; MVMR-Median; and MVMR-Lasso. We discuss the properties of each of these methods and examine their performance in comparison to existing approaches in a simulation study. MVMR-Robust is shown to outperform existing outlier robust approaches when there are low levels of pleiotropy. MVMR-Lasso provides the best estimation in terms of mean squared error for moderate to high levels of pleiotropy, and can provide valid inference in a three sample setting. MVMR-Median performs well in terms of estimation across all scenarios considered, and provides valid inference up to a moderate level of pleiotropy. We demonstrate the methods in an applied example looking at the effects of intelligence, education and household income on the risk of Alzheimer's disease. △ Less

Submitted 27 August, 2020; originally announced August 2020.

Observation of the Non-linear Meissner Effect

Authors: J. A. Wilcox, M. J. Grant, L. Malone, C. Putzke, D. Kaczorowski, T. Wolf, F. Hardy, C. Meingast, J. G. Analytis, J. -H. Chu, I. R. Fisher, A. Carrington

Abstract: A long-standing theoretical prediction is that in clean, nodal unconventional superconductors the magnetic penetration depth $λ$, at zero temperature, varies linearly with magnetic field. This non-linear Meissner effect is an equally important manifestation of the nodal state as the well studied linear-in-$T$ dependence of $λ$, but has never been convincingly experimentally observed. Here we prese… ▽ More A long-standing theoretical prediction is that in clean, nodal unconventional superconductors the magnetic penetration depth $λ$, at zero temperature, varies linearly with magnetic field. This non-linear Meissner effect is an equally important manifestation of the nodal state as the well studied linear-in-$T$ dependence of $λ$, but has never been convincingly experimentally observed. Here we present measurements of the nodal superconductors CeCoIn$_5$ and LaFePO which clearly show this non-linear Meissner effect. We further show how the effect of a small dc magnetic field on $λ(T)$ can be used to distinguish gap nodes from non-nodal deep gap minima. Our measurements of KFe$_2$As$_2$ suggest that this material has such a non-nodal state. △ Less

Submitted 14 June, 2021; v1 submitted 10 August, 2020; originally announced August 2020.

Journal ref: Nature Communications 13, 1201 (2022)

Parallel Performance of ARM ThunderX2 for Atomistic Simulation Algorithms

Authors: William Robert Saunders, James Grant, Eike Hermann Müller

Abstract: Atomistic simulation drives scientific advances in modern material science and accounts for a significant proportion of wall time on High Performance Computing facilities. It is important that algorithms are efficient and implementations are performant in a continuously diversifying hardware landscape. Furthermore, they have to be portable to make best use of the available computing resource. In… ▽ More Atomistic simulation drives scientific advances in modern material science and accounts for a significant proportion of wall time on High Performance Computing facilities. It is important that algorithms are efficient and implementations are performant in a continuously diversifying hardware landscape. Furthermore, they have to be portable to make best use of the available computing resource. In this paper we assess the parallel performance of some key algorithms implemented in a performance portable framework developed by us. We consider Molecular Dynamics with short range interactions, the Fast Multipole Method and Kinetic Monte Carlo. To assess the performance of emerging architectures, we compare the Marvell ThunderX2 (ARM) architecture to traditional x86_64 hardware made available through the Azure cloud computing service. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Comments: 10 pages, 3 figures, 1 tables; submitted to EAHPC-2020 (Embracing Arm: a journey of porting and optimization to the latest Arm-based processors 2020)

Filtered Poisson Process Bandit on a Continuum

Authors: James A. Grant, Roberto Szechtman

Abstract: We consider a version of the continuum armed bandit where an action induces a filtered realisation of a non-homogeneous Poisson process. Point data in the filtered sample are then revealed to the decision-maker, whose reward is the total number of revealed points. Using knowledge of the function governing the filtering, but without knowledge of the Poisson intensity function, the decision-maker se… ▽ More We consider a version of the continuum armed bandit where an action induces a filtered realisation of a non-homogeneous Poisson process. Point data in the filtered sample are then revealed to the decision-maker, whose reward is the total number of revealed points. Using knowledge of the function governing the filtering, but without knowledge of the Poisson intensity function, the decision-maker seeks to maximise the expected number of revealed points over T rounds. We propose an upper confidence bound algorithm for this problem utilising data-adaptive discretisation of the action space. This approach enjoys O(T^(2/3)) regret under a Lipschitz assumption on the reward function. We provide lower bounds on the regret of any algorithm for the problem, via new lower bounds for related finite-armed bandits, and show that the orders of the upper and lower bounds match up to a logarithmic factor. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Serre functors and graded categories

Authors: Joseph Grant

Abstract: We study Serre structures on categories enriched in pivotal monoidal categories, and apply this to study Serre structures on two types of graded k-linear categories: categories with group actions and categories with graded hom spaces. We check that Serre structures are preserved by taking orbit categories and skew group categories, and describe the relationship with graded Frobenius algebras. Usin… ▽ More We study Serre structures on categories enriched in pivotal monoidal categories, and apply this to study Serre structures on two types of graded k-linear categories: categories with group actions and categories with graded hom spaces. We check that Serre structures are preserved by taking orbit categories and skew group categories, and describe the relationship with graded Frobenius algebras. Using a formal version of Auslander-Reiten translations, we show that the derived category of a d-representation finite algebra is fractionally Calabi-Yau if and only if its preprojective algebra has a graded Nakayama automorphism of finite order. This connects various results in the literature and gives new examples of fractional Calabi-Yau algebras. △ Less

Submitted 17 June, 2022; v1 submitted 3 July, 2020; originally announced July 2020.

Comments: 70 pages; v4 is post referee report

MSC Class: 18G80; 16E35 (Primary) 18N10; 16W50; 18E05; 18A50 (Secondary)

A new algorithm for electrostatic interactions in Monte Carlo simulations of charged particles

Authors: William Robert Saunders, James Grant, Eike Hermann Müller

Abstract: To minimise systematic errors in Monte Carlo simulations of charged particles, long range electrostatic interactions have to be calculated accurately and efficiently. Standard approaches, such as Ewald summation or the naive application of the classical Fast Multipole Method, result in a cost per Metropolis-Hastings step which grows in proportion to some positive power of the number of particles… ▽ More To minimise systematic errors in Monte Carlo simulations of charged particles, long range electrostatic interactions have to be calculated accurately and efficiently. Standard approaches, such as Ewald summation or the naive application of the classical Fast Multipole Method, result in a cost per Metropolis-Hastings step which grows in proportion to some positive power of the number of particles $N$ in the system. This prohibitively large cost prevents accurate simulations of systems with a sizeable number of particles. Currently, large systems are often simulated by truncating the Coulomb potential which introduces uncontrollable systematic errors. In this paper we present a new multilevel method which reduces the computational complexity to $\mathcal{O}(\log(N))$ per Metropolis-Hastings step, while maintaining errors which are comparable to direct Ewald summation. We show that compared to related previous work, our approach reduces the overall cost by better balancing time spent in the proposal- and acceptance- stages of each Metropolis-Hastings step. By simulating large systems with up to $N=10^5$ particles we demonstrate that our implementation is competitive with state-of-the-art MC packages and allows the simulation of very large systems of charged particles with accurate electrostatics. △ Less

Submitted 4 January, 2021; v1 submitted 30 June, 2020; originally announced June 2020.

Comments: 19 pages, 9 figures, 1 table

MSC Class: 78M16; 82C80; 65Y20 ACM Class: J.2; F.2.1; G.1

Atmospheric effects on satellite-to-ground quantum key distribution using coherent states

Authors: Eduardo Villaseñor, Robert Malaney, Kerry A. Mudge, Kenneth J. Grant

Abstract: Satellite-based quantum cryptography has already been demonstrated using discrete variable technology. Nonetheless, there is great interest in using weak coherent pulses to perform quantum key distribution (QKD) in the continuous variable (CV) paradigm. In this work, we study the feasibility of performing coherent-state CV-QKD via the satellite-to-ground channel. We use numerical methods to simula… ▽ More Satellite-based quantum cryptography has already been demonstrated using discrete variable technology. Nonetheless, there is great interest in using weak coherent pulses to perform quantum key distribution (QKD) in the continuous variable (CV) paradigm. In this work, we study the feasibility of performing coherent-state CV-QKD via the satellite-to-ground channel. We use numerical methods to simulate atmospheric turbulence and compare the results with ground-based experimental data so as to confirm the validity of our approach. We find the results obtained from the numerical simulations agree well with the experimental data and represent an improvement over the state-of-the-art analytical models. Using the simulation results we then derive QKD key rates and find that useful non-zero key rates can be found over a limited range of zenith angles. Determination of QKD key rates using experimentally validated simulations of low-zenith-angle atmospheric channels represents an important step towards proving the feasibility of real-world satellite-to-Earth CV-QKD. △ Less

Submitted 2 June, 2021; v1 submitted 21 May, 2020; originally announced May 2020.

Journal ref: GLOBECOM 2020 - 2020 IEEE Global Communications Conference, 2020, pp. 1-6

Electrically injected GeSn lasers on Si operating up to 100 K

Authors: Yiyin Zhou, Yuanhao Miao, Solomon Ojo, Huong Tran, Grey Abernathy, Joshua M. Grant, Sylvester Amoah, Gregory Salamo, Wei Du, Jifeng Liu, Joe Margetis, John Tolle, Yong-Hang Zhang, Greg Sun, Richard A. Soref, Baohua Li, Shui-Qing Yu

Abstract: The significant progress of GeSn material development has enabled a feasible solution to the long-desired monolithically integrated lasers on the Si platform. While there are many reports focused on optically pumped lasers, GeSn lasers through electrical injection have not been experimentally achieved yet. In this work, we report the first demonstration of electrically injected GeSn lasers on Si.… ▽ More The significant progress of GeSn material development has enabled a feasible solution to the long-desired monolithically integrated lasers on the Si platform. While there are many reports focused on optically pumped lasers, GeSn lasers through electrical injection have not been experimentally achieved yet. In this work, we report the first demonstration of electrically injected GeSn lasers on Si. A GeSn/SiGeSn heterostructure diode grown on a Si substrate was fabricated into ridge waveguide laser devices and tested under pulsed conditions. Special considerations were given for the structure design to ensure effective carrier confinement and optical confinement that lead to lasing. Lasing was observed at temperatures from 10 to 100 K with emission peaks at around 2300 nm. The minimum threshold of 598 A/cm2 was recorded at 10 K and the threshold increased to 842 A/cm2 at 77 K. The spectral linewidth of a single peak was measured as small as 0.13 nm (0.06 meV). The maximum characteristic temperature was extracted as 99 K over the temperature range of 10-77 K. △ Less

Submitted 20 April, 2020; originally announced April 2020.

On Thompson Sampling for Smoother-than-Lipschitz Bandits

Authors: James A. Grant, David S. Leslie

Abstract: Thompson Sampling is a well established approach to bandit and reinforcement learning problems. However its use in continuum armed bandit problems has received relatively little attention. We provide the first bounds on the regret of Thompson Sampling for continuum armed bandits under weak conditions on the function class containing the true function and sub-exponential observation noise. Our boun… ▽ More Thompson Sampling is a well established approach to bandit and reinforcement learning problems. However its use in continuum armed bandit problems has received relatively little attention. We provide the first bounds on the regret of Thompson Sampling for continuum armed bandits under weak conditions on the function class containing the true function and sub-exponential observation noise. Our bounds are realised by analysis of the eluder dimension, a recently proposed measure of the complexity of a function class, which has been demonstrated to be useful in bounding the Bayesian regret of Thompson Sampling for simpler bandit problems under sub-Gaussian observation noise. We derive a new bound on the eluder dimension for classes of functions with Lipschitz derivatives, and generalise previous analyses in multiple regards. △ Less

Submitted 26 February, 2020; v1 submitted 7 January, 2020; originally announced January 2020.

Comments: Accepted to AISTATS 2020. 26 pages, 2 figures

IMEX error inhibiting schemes with post-processing

Authors: Adi Ditkowski, Sigal Gottlieb, Zachary J. Grant

Abstract: High order implicit-explicit (IMEX) methods are often desired when evolving the solution of an ordinary differential equation that has a stiff part that is linear and a non-stiff part that is nonlinear. This situation often arises in semi-discretization of partial differential equations and many such IMEX schemes have been considered in the literature. The methods considered usually have a a globa… ▽ More High order implicit-explicit (IMEX) methods are often desired when evolving the solution of an ordinary differential equation that has a stiff part that is linear and a non-stiff part that is nonlinear. This situation often arises in semi-discretization of partial differential equations and many such IMEX schemes have been considered in the literature. The methods considered usually have a a global error that is of the same order as the local truncation error. More recently, methods with global errors that are one order higher than predicted by the local truncation error have been devised (by Kulikov and Weiner, Ditkowski and Gottlieb). In prior work we investigated the interplay between the local truncation error and the global error to construct explicit and implicit {\em error inhibiting schemes} that control the accumulation of the local truncation error over time, resulting in a global error that is one order higher than expected from the local truncation error, and which can be post-processed to obtain a solution which is two orders higher than expected. In this work we extend our error inhibiting with post-processing framework introduced in our previous work to a class of additive general linear methods with multiple steps and stages. We provide sufficient conditions under which these methods with local truncation error of order p will produce solutions of order (p+1), which can be post-processed to order (p+2), and describe the construction of one such post-processor. We apply this approach to obtain implicit-explicit (IMEX) methods with multiple steps and stages. We present some of our new IMEX methods and show their linear stability properties, and investigate how these methods perform in practice on some numerical test cases. △ Less

Submitted 15 July, 2020; v1 submitted 19 December, 2019; originally announced December 2019.

Comments: We have found some errors in the methods, in particular two of the methods are not A-stable

Two-derivative error inhibiting schemes with post-processing

Authors: Adi Ditkowski, Sigal Gottlieb, Zachary J. Grant

Abstract: High order methods are often desired for the evolution of ordinary differential equations, in particular those arising from the semi-discretization of partial differential equations. In prior work in we investigated the interplay between the local truncation error and the global error to construct error inhibiting general linear methods (GLMs) that control the accumulation of the local truncation… ▽ More High order methods are often desired for the evolution of ordinary differential equations, in particular those arising from the semi-discretization of partial differential equations. In prior work in we investigated the interplay between the local truncation error and the global error to construct error inhibiting general linear methods (GLMs) that control the accumulation of the local truncation error over time. Furthermore we defined sufficient conditions that allow us to post-process the final solution and obtain a solution that is two orders of accuracy higher than expected from truncation error analysis alone. In this work we extend this theory to the class of two-derivative GLMs. We define sufficient conditions that control the growth of the error so that the solution is one order higher than expected from truncation error analysis, and furthermore define the construction of a simple post-processor that will extract an additional order of accuracy. Using these conditions as constraints, we develop an optimization code that enables us to find explicit two-derivative methods up to eighth order that have favorable stability regions, explicit strong stability preserving methods up to seventh order, and A-stable implicit methods up to fifth order. We numerically verify the order of convergence of a selection of these methods, and the total variation diminishing performance of some of the SSP methods. We confirm that the methods found perform as predicted by the theory developed herein. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: Coefficients of all methods can be found in https://github.com/EISmethods/EIS_2derivative

An efficient and robust approach to Mendelian randomization with measured pleiotropic effects in a high-dimensional setting

Authors: Andrew J. Grant, Stephen Burgess

Abstract: Valid estimation of a causal effect using instrumental variables requires that all of the instruments are independent of the outcome conditional on the risk factor of interest and any confounders. In Mendelian randomization studies with large numbers of genetic variants used as instruments, it is unlikely that this condition will be met. Any given genetic variant could be associated with a large n… ▽ More Valid estimation of a causal effect using instrumental variables requires that all of the instruments are independent of the outcome conditional on the risk factor of interest and any confounders. In Mendelian randomization studies with large numbers of genetic variants used as instruments, it is unlikely that this condition will be met. Any given genetic variant could be associated with a large number of traits, all of which represent potential pathways to the outcome which bypass the risk factor of interest. Such pleiotropy can be accounted for using standard multivariable Mendelian randomization with all possible pleiotropic traits included as covariates. However, the estimator obtained in this way will be inefficient if some of the covariates do not truly sit on pleiotropic pathways to the outcome. We present a method which uses regularization to identify which out of a set of potential covariates need to be accounted for in a Mendelian randomization analysis in order to produce an efficient and robust estimator of a causal effect. The method can be used in the case where individual-level data are not available and the analysis must rely on summary-level data only. It can also be used in the case where there are more covariates under consideration than instruments, which is not possible using standard multivariable Mendelian randomization. We show the results of simulation studies which demonstrate the performance of the proposed regularization method in realistic settings. We also illustrate the method in an applied example which looks at the causal effect of urate plasma concentration on coronary heart disease. △ Less

Submitted 1 November, 2019; originally announced November 2019.

Explicit and implicit error inhibiting schemes with post-processing

Authors: Adi Ditkowski, Sigal Gottlieb, Zachary J. Grant

Abstract: Efficient high order numerical methods for evolving the solution of an ordinary differential equation are widely used. The popular Runge--Kutta methods, linear multi-step methods, and more broadly general linear methods, all have a global error that is completely determined by analysis of the local truncation error. In prior work in we investigated the interplay between the local truncation error… ▽ More Efficient high order numerical methods for evolving the solution of an ordinary differential equation are widely used. The popular Runge--Kutta methods, linear multi-step methods, and more broadly general linear methods, all have a global error that is completely determined by analysis of the local truncation error. In prior work in we investigated the interplay between the local truncation error and the global error to construct {\em error inhibiting schemes} that control the accumulation of the local truncation error over time, resulting in a global error that is one order higher than expected from the local truncation error. In this work we extend our error inhibiting framework to include a broader class of time-discretization methods that allows an exact computation of the leading error term, which can then be post-processed to obtain a solution that is two orders higher than expected from truncation error analysis. We define sufficient conditions that result in a desired form of the error and describe the construction of the post-processor. A number of new explicit and implicit methods that have this property are given and tested on a variety of ordinary and partial differential equation. We show that these methods provide a solution that is two orders higher than expected from truncation error analysis alone. △ Less

Submitted 12 March, 2020; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: method coefficients can be found in https://github.com/EISmethods/EISpostprocessing

The Nakayama automorphism of a self-injective preprojective algebra

Authors: Joseph Grant

Abstract: We give a simple proof, using Auslander-Reiten theory, that the preprojective algebra of a basic hereditary algebra of finite representation type is Frobenius. We then describe its Nakayama automorphism, which is induced by the Nakayama functor on the module category of our hereditary algebra. We give a simple proof, using Auslander-Reiten theory, that the preprojective algebra of a basic hereditary algebra of finite representation type is Frobenius. We then describe its Nakayama automorphism, which is induced by the Nakayama functor on the module category of our hereditary algebra. △ Less

Submitted 4 November, 2019; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: 18 pages; v2 contains a detailed worked example