Showing 1–24 of 24 results for author: Moody, A

From Local to Global: A Graph RAG Approach to Query-Focused Summarization

Authors: Darren Edge, Ha Trinh, Newman Cheng, Joshua Bradley, Alex Chao, Apurva Mody, Steven Truitt, Dasha Metropolitansky, Robert Osazuwa Ness, Jonathan Larson

Abstract: The use of retrieval-augmented generation (RAG) to retrieve relevant information from an external knowledge source enables large language models (LLMs) to answer questions over private and/or previously unseen document collections. However, RAG fails on global questions directed at an entire text corpus, such as "What are the main themes in the dataset?", since this is inherently a query-focused s… ▽ More The use of retrieval-augmented generation (RAG) to retrieve relevant information from an external knowledge source enables large language models (LLMs) to answer questions over private and/or previously unseen document collections. However, RAG fails on global questions directed at an entire text corpus, such as "What are the main themes in the dataset?", since this is inherently a query-focused summarization (QFS) task, rather than an explicit retrieval task. Prior QFS methods, meanwhile, do not scale to the quantities of text indexed by typical RAG systems. To combine the strengths of these contrasting methods, we propose GraphRAG, a graph-based approach to question answering over private text corpora that scales with both the generality of user questions and the quantity of source text. Our approach uses an LLM to build a graph index in two stages: first, to derive an entity knowledge graph from the source documents, then to pregenerate community summaries for all groups of closely related entities. Given a question, each community summary is used to generate a partial response, before all partial responses are again summarized in a final response to the user. For a class of global sensemaking questions over datasets in the 1 million token range, we show that GraphRAG leads to substantial improvements over a conventional RAG baseline for both the comprehensiveness and diversity of generated answers. △ Less

Submitted 19 February, 2025; v1 submitted 24 April, 2024; originally announced April 2024.

ACM Class: H.3.3; I.2.7

Domain Adaptation using Silver Standard Masks for Lateral Ventricle Segmentation in FLAIR MRI

Authors: Owen Crystal, Pejman J. Maralani, Sandra Black, Alan R. Moody, April Khademi

Abstract: Lateral ventricular volume (LVV) is an important biomarker for clinical investigation. We present the first transfer learning-based LVV segmentation method for fluid-attenuated inversion recovery (FLAIR) MRI. To mitigate covariate shifts between source and target domains, this work proposes an domain adaptation method that optimizes performance on three target datasets. Silver standard (SS) masks… ▽ More Lateral ventricular volume (LVV) is an important biomarker for clinical investigation. We present the first transfer learning-based LVV segmentation method for fluid-attenuated inversion recovery (FLAIR) MRI. To mitigate covariate shifts between source and target domains, this work proposes an domain adaptation method that optimizes performance on three target datasets. Silver standard (SS) masks were generated from the target domain using a novel conventional image processing ventricular segmentation algorithm and used to supplement the gold standard (GS) data from the source domain, Canadian Atherosclerosis Imaging Network (CAIN). Four models were tested on held-out test sets from four datasets: 1) SS+GS: trained on target SS masks and fine-tuned on source GS masks, 2) GS+SS: trained on source GS masks and fine-tuned on target SS masks, 3) trained on source GS (GS CAIN Only) and 4) trained on target SS masks (SS Only). The SS+GS model had the best and most consistent performance (mean DSC = 0.89, CoV = 0.05) and showed significantly (p < 0.05) higher DSC compared to the GS-only model on three target domains. Results suggest pre-training with noisy labels from the target domain allows the model to adapt to the dataset-specific characteristics and provides robust parameter initialization while fine-tuning with GS masks allows the model to learn detailed features. This method has wide application to other medical imaging problems where labeled data is scarce, and can be used as a per-dataset calibration method to accelerate wide-scale adoption. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Comments: 16 pages, 3 figures

Effect of Intensity Standardization on Deep Learning for WML Segmentation in Multi-Centre FLAIR MRI

Authors: Abdollah Ghazvanchahi, Pejman Jahbedar Maralani, Alan R. Moody, April Khademi

Abstract: Deep learning (DL) methods for white matter lesion (WML) segmentation in MRI suffer a reduction in performance when applied on data from a scanner or centre that is out-of-distribution (OOD) from the training data. This is critical for translation and widescale adoption, since current models cannot be readily applied to data from new institutions. In this work, we evaluate several intensity standa… ▽ More Deep learning (DL) methods for white matter lesion (WML) segmentation in MRI suffer a reduction in performance when applied on data from a scanner or centre that is out-of-distribution (OOD) from the training data. This is critical for translation and widescale adoption, since current models cannot be readily applied to data from new institutions. In this work, we evaluate several intensity standardization methods for MRI as a preprocessing step for WML segmentation in multi-centre Fluid-Attenuated Inversion Recovery (FLAIR) MRI. We evaluate a method specifically developed for FLAIR MRI called IAMLAB along with other popular normalization techniques such as White-strip, Nyul and Z-score. We proposed an Ensemble model that combines predictions from each of these models. A skip-connection UNet (SC UNet) was trained on the standardized images, as well as the original data and segmentation performance was evaluated over several dimensions. The training (in-distribution) data consists of a single study, of 60 volumes, and the test (OOD) data is 128 unseen volumes from three clinical cohorts. Results show IAMLAB and Ensemble provide higher WML segmentation performance compared to models from original data or other normalization methods. IAMLAB & Ensemble have the highest dice similarity coefficient (DSC) on the in-distribution data (0.78 & 0.80) and on clinical OOD data. DSC was significantly higher for IAMLAB compared to the original data (p<0.05) for all lesion categories (LL>25mL: 0.77 vs. 0.71; 10mL<= LL<25mL: 0.66 vs. 0.61; LL<10mL: 0.53 vs. 0.52). The IAMLAB and Ensemble normalization methods are mitigating MRI domain shift and are optimal for DL-based WML segmentation in unseen FLAIR data. △ Less

Submitted 7 July, 2023; originally announced July 2023.

MLP-SRGAN: A Single-Dimension Super Resolution GAN using MLP-Mixer

Authors: Samir Mitha, Seungho Choe, Pejman Jahbedar Maralani, Alan R. Moody, April Khademi

Abstract: We propose a novel architecture called MLP-SRGAN, which is a single-dimension Super Resolution Generative Adversarial Network (SRGAN) that utilizes Multi-Layer Perceptron Mixers (MLP-Mixers) along with convolutional layers to upsample in the slice direction. MLP-SRGAN is trained and validated using high resolution (HR) FLAIR MRI from the MSSEG2 challenge dataset. The method was applied to three mu… ▽ More We propose a novel architecture called MLP-SRGAN, which is a single-dimension Super Resolution Generative Adversarial Network (SRGAN) that utilizes Multi-Layer Perceptron Mixers (MLP-Mixers) along with convolutional layers to upsample in the slice direction. MLP-SRGAN is trained and validated using high resolution (HR) FLAIR MRI from the MSSEG2 challenge dataset. The method was applied to three multicentre FLAIR datasets (CAIN, ADNI, CCNA) of images with low spatial resolution in the slice dimension to examine performance on held-out (unseen) clinical data. Upsampled results are compared to several state-of-the-art SR networks. For images with high resolution (HR) ground truths, peak-signal-to-noise-ratio (PSNR) and structural similarity index (SSIM) are used to measure upsampling performance. Several new structural, no-reference image quality metrics were proposed to quantify sharpness (edge strength), noise (entropy), and blurriness (low frequency information) in the absence of ground truths. Results show MLP-SRGAN results in sharper edges, less blurring, preserves more texture and fine-anatomical detail, with fewer parameters, faster training/evaluation time, and smaller model size than existing methods. Code for MLP-SRGAN training and inference, data generators, models and no-reference image quality metrics will be available at https://github.com/IAMLAB-Ryerson/MLP-SRGAN. △ Less

Submitted 10 March, 2023; originally announced March 2023.

Comments: 14 pages, 10 figures

LANSCE-PSR Short-Pulse Upgrade for Improved Dark Sector Particle Searches with the Coherent Captain Mills Experiment

Authors: R. G. Van de Water, S. G. Biedron, E. -C. Huang, A. J. Hurd, W. C. Louis, S. V. Milton, N. A. Moody, P. deNiverville, C. E. Taylor, R. T. Thornton, M. Fazio, S. I. Sosa, T. J. Schaub, J. W. Lewellen

Abstract: Proton beam dumps are prolific sources of charged and neutral pions, enabling a powerful technique to search for dark matter, axions, sterile neutrinos, tests of short baseline anomalies, and precision measurements of coherent nucleus scattering neutrinos (CEvNS). The Lujan neutron elastic scattering center at the Los Alamos Neutron Science Center (LANSCE) consists of an 800-MeV, short-pulse, 100-… ▽ More Proton beam dumps are prolific sources of charged and neutral pions, enabling a powerful technique to search for dark matter, axions, sterile neutrinos, tests of short baseline anomalies, and precision measurements of coherent nucleus scattering neutrinos (CEvNS). The Lujan neutron elastic scattering center at the Los Alamos Neutron Science Center (LANSCE) consists of an 800-MeV, short-pulse, 100-kW proton and spallation neutron source where such searches are ongoing with the Coherent CAPTAIN Mills (CCM) 10-ton, liquid argon detector. The employment of fast timing coincidence of the beam with the detector is used to identify signals and reject background. The current beam time width is 300 ns with an intensity of $3.1 \times 10^{13}$ protons per pulse at 20 Hz. With upgrades to the Proton Storage Ring (PSR), the beam time width may be compressed to 30 ns with minimal intensity loss, allowing an increase in the signal to background (S/B) of more than 100 and an increase in the sensitivity for dark matter and sterile neutrino searches of an order of magnitude. This can be achieved with PSR accelerator upgrades on a time scale of a few years and at a modest cost. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 6 pages, 3 figures, contribution to Snowmass 2021

Report number: LA-UR-22-22687

Adapting to Unseen Vendor Domains for MRI Lesion Segmentation

Authors: Brandon Mac, Alan R. Moody, April Khademi

Abstract: One of the key limitations in machine learning models is poor performance on data that is out of the domain of the training distribution. This is especially true for image analysis in magnetic resonance (MR) imaging, as variations in hardware and software create non-standard intensities, contrasts, and noise distributions across scanners. Recently, image translation models have been proposed to au… ▽ More One of the key limitations in machine learning models is poor performance on data that is out of the domain of the training distribution. This is especially true for image analysis in magnetic resonance (MR) imaging, as variations in hardware and software create non-standard intensities, contrasts, and noise distributions across scanners. Recently, image translation models have been proposed to augment data across domains to create synthetic data points. In this paper, we investigate the application an unsupervised image translation model to augment MR images from a source dataset to a target dataset. Specifically, we want to evaluate how well these models can create synthetic data points representative of the target dataset through image translation, and to see if a segmentation model trained these synthetic data points would approach the performance of a model trained directly on the target dataset. We consider three configurations of augmentation between datasets consisting of translation between images, between scanner vendors, and from labels to images. It was found that the segmentation models trained on synthetic data from labels to images configuration yielded the closest performance to the segmentation model trained directly on the target dataset. The Dice coeffcient score per each target vendor (GE, Siemens, Philips) for training on synthetic data was 0.63, 0.64, and 0.58, compared to training directly on target dataset was 0.65, 0.72, and 0.61. △ Less

Submitted 13 August, 2021; originally announced August 2021.

VELOC: VEry Low Overhead Checkpointing in the Age of Exascale

Authors: Bogdan Nicolae, Adam Moody, Gregory Kosinovsky, Kathryn Mohror, Franck Cappello

Abstract: Checkpointing large amounts of related data concurrently to stable storage is a common I/O pattern of many HPC applications. However, such a pattern frequently leads to I/O bottlenecks that lead to poor scalability and performance. As modern HPC infrastructures continue to evolve, there is a growing gap between compute capacity vs. I/O capabilities. Furthermore, the storage hierarchy is becoming i… ▽ More Checkpointing large amounts of related data concurrently to stable storage is a common I/O pattern of many HPC applications. However, such a pattern frequently leads to I/O bottlenecks that lead to poor scalability and performance. As modern HPC infrastructures continue to evolve, there is a growing gap between compute capacity vs. I/O capabilities. Furthermore, the storage hierarchy is becoming increasingly heterogeneous: in addition to parallel file systems, it comprises burst buffers, key-value stores, deep memory hierarchies at node level, etc. In this context, state of art is insufficient to deal with the diversity of vendor APIs, performance and persistency characteristics. This extended abstract presents an overview of VeloC (Very Low Overhead Checkpointing System), a checkpointing runtime specifically design to address these challenges for the next generation Exascale HPC applications and systems. VeloC offers a simple API at user level, while employing an advanced multi-level resilience strategy that transparently optimizes the performance and scalability of checkpointing by leveraging heterogeneous storage. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Journal ref: SuperCheck'21: First International Symposium on Checkpointing for Supercomputing, 2021

FlowReg: Fast Deformable Unsupervised Medical Image Registration using Optical Flow

Authors: Sergiu Mocanu, Alan R. Moody, April Khademi

Abstract: We propose FlowReg, a deep learning-based framework for unsupervised image registration for neuroimaging applications. The system is composed of two architectures that are trained sequentially: FlowReg-A which affinely corrects for gross differences between moving and fixed volumes in 3D followed by FlowReg-O which performs pixel-wise deformations on a slice-by-slice basis for fine tuning in 2D. T… ▽ More We propose FlowReg, a deep learning-based framework for unsupervised image registration for neuroimaging applications. The system is composed of two architectures that are trained sequentially: FlowReg-A which affinely corrects for gross differences between moving and fixed volumes in 3D followed by FlowReg-O which performs pixel-wise deformations on a slice-by-slice basis for fine tuning in 2D. The affine network regresses the 3D affine matrix based on a correlation loss function that enforces global similarity. The deformable network operates on 2D image slices based on the optical flow network FlowNet-Simple but with three loss components. The photometric loss minimizes pixel intensity differences differences, the smoothness loss encourages similar magnitudes between neighbouring vectors, and a correlation loss that is used to maintain the intensity similarity between fixed and moving image slices. The proposed method is compared to four open source registration techniques ANTs, Demons, SE, and Voxelmorph. In total, 4643 FLAIR MR imaging volumes are used from dementia and vascular disease cohorts, acquired from over 60 international centres with varying acquisition parameters. A battery of quantitative novel registration validation metrics are proposed that focus on the structural integrity of tissues, spatial alignment, and intensity similarity. Experimental results show FlowReg (FlowReg-A+O) performs better than iterative-based registration algorithms for intensity and spatial alignment metrics with a Pixelwise Agreement of 0.65, correlation coefficient of 0.80, and Mutual Information of 0.29. Among the deep learning frameworks, FlowReg-A or FlowReg-A+O provided the highest performance over all but one of the metrics. Results show that FlowReg is able to obtain high intensity and spatial similarity while maintaining the shape and structure of anatomy and pathology. △ Less

Submitted 31 August, 2021; v1 submitted 23 January, 2021; originally announced January 2021.

Comments: Accepted for publication at the Journal of Machine Learning for Biomedical Imaging (MELBA) https://melba-journal.org

Quantum efficiency enhancement of bialkali photocathodes by an atomically thin layer on substrates

Authors: Hisato Yamaguchi, Fangze Liu, Jeffrey DeFazio, Mengjia Gaowei, Lei Guo, Anna Alexander, Seong In Yoon, Chohee Hyun, Matthew Critchley, John Sinsheimer, Vitaly Pavlenko, Derek Strom, Kevin L. Jensen, Daniel Finkenstadt, Hyeon Suk Shin, Masahiro Yamamoto, John Smedley, Nathan A. Moody

Abstract: We report quantum efficiency (QE) enhancements in accelerator technology relevant antimonide photocathodes (K2CsSb) by interfacing them with atomically thin two-dimensional (2D) crystal layers. The enhancement occurs in a reflection mode, when a 2D crystal is placed in between the photocathodes and optically reflective substrates. Specifically, the peak QE at 405 nm (3.1 eV) increases by a relativ… ▽ More We report quantum efficiency (QE) enhancements in accelerator technology relevant antimonide photocathodes (K2CsSb) by interfacing them with atomically thin two-dimensional (2D) crystal layers. The enhancement occurs in a reflection mode, when a 2D crystal is placed in between the photocathodes and optically reflective substrates. Specifically, the peak QE at 405 nm (3.1 eV) increases by a relative 10 percent, while the long wavelength response at 633 nm (2.0 eV) increases by a relative 36 percent on average and up to 80 percent at localized hot spot regions when photocathodes are deposited onto graphene coated stainless steel. There is a similar effect for photocathodes deposited on hexagonal boron nitride monolayer coatings using nickel substrates. The enhancement does not occur when reflective substrates are replaced with optically transparent sapphire. Optical transmission, X-ray diffraction (XRD) and X-ray fluorescence (XRF) revealed that thickness, crystal orientation, quality and elemental stoichiometry of photocathodes do not appreciably change due to 2D crystal coatings. These results suggest optical interactions are responsible for the QE enhancements when 2D crystal sublayers are present on reflective substrates, and provide a pathway toward a simple method of QE enhancement in semiconductor photocathodes by an atomically thin 2D crystal on substrates. △ Less

Submitted 2 October, 2019; originally announced October 2019.

Comments: Accepted for publication in Physica Status Solidi A: Applications and Materials Science

Free-standing bialkali photocathodes using atomically thin substrates

Authors: Hisato Yamaguchi, Fangze Liu, Jeffrey DeFazio, Mengjia Gaowei, Claudia W. Narvaez Villarrubia, Junqi Xie, John Sinsheimer, Derek Strom, Vitaly Pavlenko, Kevin L. Jensen, John Smedley, Aditya D. Mohite, Nathan A. Moody

Abstract: We report successful deposition of high quantum efficiency (QE) bialkali antimonide K2CsSb photocathodes on graphene films. The results pave a pathway towards an ultimate goal of encapsulating technologically-relevant photocathodes for accelerator technology with an atomically-thin protecting layer to enhance lifetime while minimizing QE losses. A QE of 17 % at ~3.1 eV (405 nm) is the highest valu… ▽ More We report successful deposition of high quantum efficiency (QE) bialkali antimonide K2CsSb photocathodes on graphene films. The results pave a pathway towards an ultimate goal of encapsulating technologically-relevant photocathodes for accelerator technology with an atomically-thin protecting layer to enhance lifetime while minimizing QE losses. A QE of 17 % at ~3.1 eV (405 nm) is the highest value reported so far on graphene substrates and is comparable to that obtained on stainless steel and nickel reference substrates. The spectral responses of the photocathodes on graphene exhibit signature features of K2CsSb including the characteristic absorption at ~2.5 eV. Materials characterization based on X-ray fluorescence (XRF) and X-ray diffraction (XRD) reveals that the composition and crystal quality of these photocathodes deposited on graphene is comparable to those deposited on a reference substrate. Quantitative agreement between optical calculations and QE measurements for the K2CsSb on free suspended graphene and a graphene coated metal substrate further confirms the high quality interface between the photocathodes and graphene. Finally, a correlation between the QE and graphene quality as characterized by Raman spectroscopy suggests that a lower density of atomistic defects in the graphene films leads to higher QE of the deposited K2CsSb photocathodes. △ Less

Submitted 12 February, 2019; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: accepted to Advanced Materials Interfaces

Effective Quantization Approaches for Recurrent Neural Networks

Authors: Md Zahangir Alom, Adam T Moody, Naoya Maruyama, Brian C Van Essen, Tarek M. Taha

Abstract: Deep learning, and in particular Recurrent Neural Networks (RNN) have shown superior accuracy in a large variety of tasks including machine translation, language understanding, and movie frame generation. However, these deep learning approaches are very expensive in terms of computation. In most cases, Graphic Processing Units (GPUs) are in used for large scale implementations. Meanwhile, energy e… ▽ More Deep learning, and in particular Recurrent Neural Networks (RNN) have shown superior accuracy in a large variety of tasks including machine translation, language understanding, and movie frame generation. However, these deep learning approaches are very expensive in terms of computation. In most cases, Graphic Processing Units (GPUs) are in used for large scale implementations. Meanwhile, energy efficient RNN approaches are proposed for deploying solutions on special purpose hardware including Field Programming Gate Arrays (FPGAs) and mobile platforms. In this paper, we propose an effective quantization approach for Recurrent Neural Networks (RNN) techniques including Long Short Term Memory (LSTM), Gated Recurrent Units (GRU), and Convolutional Long Short Term Memory (ConvLSTM). We have implemented different quantization methods including Binary Connect {-1, 1}, Ternary Connect {-1, 0, 1}, and Quaternary Connect {-1, -0.5, 0.5, 1}. These proposed approaches are evaluated on different datasets for sentiment analysis on IMDB and video frame predictions on the moving MNIST dataset. The experimental results are compared against the full precision versions of the LSTM, GRU, and ConvLSTM. They show promising results for both sentiment analysis and video frame prediction. △ Less

Submitted 7 February, 2018; originally announced February 2018.

Comments: 8 pages, 23 figures,Submitted to International Joint Conference on Neural Networks (IJCNN) 2018

Active bialkali photocathodes on free-standing graphene substrates

Authors: Hisato Yamaguchi, Fangze Liu, Jeffrey DeFazio, Claudia W. Narvaez Villarrubia, Daniel Finkenstadt, Andrew Shabaev, Kevin L. Jensen, Vitaly Pavlenko, Michael Mehl, Sam Lambrakos, Gautam Gupta, Aditya D. Mohite, Nathan A. Moody

Abstract: The hexagonal structure of graphene gives rise to the property of gas impermeability, motivating its investigation for a new application: protection of semiconductor photocathodes in electron accelerators. These materials are extremely susceptible to degradation in efficiency through multiple mechanisms related to contamination from the local imperfect vacuum environment of the host photoinjector.… ▽ More The hexagonal structure of graphene gives rise to the property of gas impermeability, motivating its investigation for a new application: protection of semiconductor photocathodes in electron accelerators. These materials are extremely susceptible to degradation in efficiency through multiple mechanisms related to contamination from the local imperfect vacuum environment of the host photoinjector. Few-layer graphene has been predicted to permit a modified photoemission response of protected photocathode surfaces, and recent experiments of single-layer graphene on copper have begun to confirm these predictions for single crystal metallic photocathodes. Unlike metallic photoemitters, the integration of an ultra-thin graphene barrier film with conventional semiconductor photocathode growth processes is not straightforward. A first step toward addressing this challenge is the growth and characterization of technologically relevant, high quantum efficiency bialkali photocathodes grown on ultra-thin free-standing graphene substrates. Photocathode growth on free-standing graphene provides the opportunity to integrate these two materials and study their interaction. Specifically, spectral response features and photoemission stability of cathodes grown on graphene substrates are compared to those deposited on established substrates. In addition we observed an increase of work function for the graphene encapsulated bialkali photocathode surfaces, which is predicted by our calculations. The results provide a unique demonstration of bialkali photocathodes on free-standing substrates, and indicate promise towards our goal of fabricating high-performance graphene encapsulated photocathodes with enhanced lifetime for accelerator applications. △ Less

Submitted 2 March, 2017; originally announced March 2017.

Comments: 21 pages, 5 figures, accepted to npj 2D Materials and Applications

Longitudinal Antigenic Sequences and Sites from Intra-Host Evolution (LASSIE) Identifies Immune-Selected HIV Variants

Authors: Peter Hraber, Bette Korber, Kshitij Wagh, Elena E. Giorgi, Tanmoy Bhattacharya, S. Gnanakaran, Alan S. Lapedes, Gerald H. Learn, Edward F. Kreider, Yingying Li, George M. Shaw, Beatrice H. Hahn, David C. Montefiori, S. Munir Alam, Mattia Bonsignori, M. Anthony Moody, Hua-Xin Liao, Feng Gao, Barton F. Haynes

Abstract: Within-host genetic sequencing from samples collected over time provides a dynamic view of how viruses evade host immunity. Immune-driven mutations might stimulate neutralization breadth by selecting antibodies adapted to cycles of immune escape that generate within-subject epitope diversity. Comprehensive identification of immune-escape mutations is experimentally and computationally challenging.… ▽ More Within-host genetic sequencing from samples collected over time provides a dynamic view of how viruses evade host immunity. Immune-driven mutations might stimulate neutralization breadth by selecting antibodies adapted to cycles of immune escape that generate within-subject epitope diversity. Comprehensive identification of immune-escape mutations is experimentally and computationally challenging. With current technology, many more viral sequences can readily be obtained than can be tested for binding and neutralization, making down-selection necessary. Typically, this is done manually, by picking variants that represent different time-points and branches on a phylogenetic tree. Such strategies are likely to miss many relevant mutations and combinations of mutations, and to be redundant for other mutations. Longitudinal Antigenic Sequences and Sites from Intrahost Evolution (LASSIE) uses transmitted-founder loss to identify virus "hot-spots" under putative immune selection and chooses sequences that represent recurrent mutations in selected sites. LASSIE favors earliest sequences in which mutations arise. With well-characterized longitudinal Env sequences, we confirmed selected sites were concentrated in antibody contacts and selected sequences represented diverse antigenic phenotypes. Practical applications include rapidly identifying immune targets under selective pressure within a subject, selecting minimal sets of reagents for immunological assays that characterize evolving antibody responses, and for immunogens in polyvalent "cocktail" vaccines. △ Less

Submitted 4 August, 2015; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 73 pages, 10 figures, 8 supplemental figures; 18 full-resolution figures appear at the end of the manuscript. Presented at 22nd International Workshop on HIV Dynamics and Evolution, Budapest, May 2015

Comments about Hilbert's 16'th problem

Authors: John Atwell Moody

Abstract: Local analytic germs can be simultaneously deformed equivariantly for the flow if there is one holomorphic solution whose degree is high compared to local discrepancy. Local analytic germs can be simultaneously deformed equivariantly for the flow if there is one holomorphic solution whose degree is high compared to local discrepancy. △ Less

Submitted 25 April, 2015; v1 submitted 10 October, 2011; originally announced October 2011.

Arc lifting for the Nash manifold

Authors: John Atwell Moody

Abstract: A theorem of Functorial Affinization of Nash's manifold is proven here giving necessary and sufficient conditions to lift a holomorphic arc to the smooth locus of the Nash manifold. In addition a theorem about valuations is proven. A theorem of Functorial Affinization of Nash's manifold is proven here giving necessary and sufficient conditions to lift a holomorphic arc to the smooth locus of the Nash manifold. In addition a theorem about valuations is proven. △ Less

Submitted 23 November, 2023; v1 submitted 29 March, 2011; originally announced March 2011.

Functorial affinization of Nash's manifold

Authors: John Atwell Moody

Abstract: Let M be a singular irreducible complex manifold of dimension n. There are Q divisors D[-1], D[0], D[1],...,D[n+1] on Nash's manifold U -> M such that D[n+1] is relatively ample on bounded sets, D[n] is relatively eventually basepoint free on bounded sets, and D[-1] is canonical with the same relative plurigenera as a resolution of M. The divisor D=D[n] is the supremum of divisors (1/i)D_i. An arc… ▽ More Let M be a singular irreducible complex manifold of dimension n. There are Q divisors D[-1], D[0], D[1],...,D[n+1] on Nash's manifold U -> M such that D[n+1] is relatively ample on bounded sets, D[n] is relatively eventually basepoint free on bounded sets, and D[-1] is canonical with the same relative plurigenera as a resolution of M. The divisor D=D[n] is the supremum of divisors (1/i)D_i. An arc g containing one singular point of M lifts to U if and only if the generating number of oplus_i O_g(D_i) is finite. When it is finite it equals 1+(K_U-K) .g where O_U(K) is the pullback mod torsion of Lambda^n Omega_M. If C is a complete curve in U then (-1/(n+1))K_U .C=D_1 .C + D_n+2 .C + D_(n+2)^2 .C +..... When there are infinitely many nonzero terms the sum should be taken formally or p-adically for a prime divisor p of n+2. There are finitely many nonzero terms if and only if C. D=0. The natural holomorphic map U -> M factorizes through the contracting map U -> Y_0. If M is bounded, the Grauert-Riemenschneider sheaf of M is Hom(O_M(D_{(n+2)^i - 1}), O_M(D_{(n+2)^i})) for large i. If M is projective, singular foliations on M such that K+(n+1)H is a finitely-generated divisor of Iitaka dimension one are completely resolvable, where K is the canonical divisor of the foliation and H is a hyperplane. There are some precise open questions in the article. According to a question of [7] it is not known whether Y_0 has canonical singularities. △ Less

Submitted 12 April, 2020; v1 submitted 13 April, 2010; originally announced April 2010.

Comments: minor clarification in a discussion section

Finite generation and the Gauss process

Authors: John Atwell Moody

Abstract: Convergence of the Gauss resolution process for a complex singular foliation of dimension r is shown to be equivalent to finite type of a graded sheaf which is built using base (r+2) expansions of integers. As applications it is calculated which foliations coming from split semisimple representations of commutative Lie algebras can be resolved torically with respect to an eigenspace decomposition… ▽ More Convergence of the Gauss resolution process for a complex singular foliation of dimension r is shown to be equivalent to finite type of a graded sheaf which is built using base (r+2) expansions of integers. As applications it is calculated which foliations coming from split semisimple representations of commutative Lie algebras can be resolved torically with respect to an eigenspace decomposition and it is shown that Gaussian resolutions stabilize for irreducible normal projective varieties with foliations of dimension r for which (r+1)H+K is finitely generated with Iitaka dimension less than two where H is a hyperplane section and K a canonical divisor of the foliation. For normal irreducible complex projective varieties with very ample divisor H and a resolvable foliation, functorial locally closed conditions on vector subspaces X \subset |iH| are given which hold for large i and ensure that blowing up the base locus of X and one further Gaussian blowup resolves the foliation. △ Less

Submitted 22 December, 2011; v1 submitted 9 June, 2004; originally announced June 2004.

MSC Class: 13A30

Obstructions to trivializing a knot

Authors: Joan S. Birman, John A. Moody

Abstract: The recent proof by Bigelow and Krammer that the braid groups are linear opens the possibility of applications to the study of knots and links. It was proved by the first author and Menasco that any closed braid representative of the unknot can be systematically simplified to a round planar circle by a sequence of exchange moves and reducing moves. In this paper we establish connections between… ▽ More The recent proof by Bigelow and Krammer that the braid groups are linear opens the possibility of applications to the study of knots and links. It was proved by the first author and Menasco that any closed braid representative of the unknot can be systematically simplified to a round planar circle by a sequence of exchange moves and reducing moves. In this paper we establish connections between the faithfulness of the Krammer-Lawrence representation and the problem of recognizing when the conjugacy class of a closed braid admits an exchange move or a reducing move. △ Less

Submitted 18 October, 2003; v1 submitted 26 June, 2002; originally announced June 2002.

Comments: 31 pages, 6 figures. Revised to meet referee's comments. Accepted for publication in the Israel Journal of Mathematics

MSC Class: 57M07; 20F36

Gaussian curvature and blowing up

Authors: John Atwell Moody

Abstract: This paper gives a general nonsingularity condition for a blowup along an ideal, related to Gaussian curvature. This paper gives a general nonsingularity condition for a blowup along an ideal, related to Gaussian curvature. △ Less

Submitted 10 April, 2010; v1 submitted 5 March, 2002; originally announced March 2002.

Comments: This paper is withdrawn because it is subsumed by math.AC/0406175, Finite Generation and the Gauss Process, by the same author

Lining up tangent spaces

Authors: John Atwell Moody

Abstract: This paper gives conditions for a singular foliation to be resolved. This paper gives conditions for a singular foliation to be resolved. △ Less

Submitted 10 April, 2010; v1 submitted 20 November, 2001; originally announced November 2001.

Comments: This paper is withdrawn because it is subsumed in math.AC/0406175, Finite generation and the Gauss process by the same author.

On Resolving Singularities

Authors: John Atwell Moody

Abstract: Let V be an irreducible affine algebraic variety over a field k of characteristic zero, and let (f_0,...,f_m) be a sequence of elements of the coordinate ring. There is probably no elementary condition on the f_i and their derivatives which determines whether the blowup of V along (f_0,...,f_m) is nonsingular. The result is that there indeed is such an elementary condition, involving the first a… ▽ More Let V be an irreducible affine algebraic variety over a field k of characteristic zero, and let (f_0,...,f_m) be a sequence of elements of the coordinate ring. There is probably no elementary condition on the f_i and their derivatives which determines whether the blowup of V along (f_0,...,f_m) is nonsingular. The result is that there indeed is such an elementary condition, involving the first and second derivatives of the $f_i,$ provided we admit certain singular blowups, all of which can be resolved by an additional Nash blowup. There is is a particular explicit sequence of ideals R=J_0, J_1, J_2,... \subset R so that V_i=Bl_{J_i}V is the i'th Nash blowup of V, with J_i|J_{i+1} for all i. Applying our earlier paper, V_i is nonsingular if and only if the ideal class of J_{i+1} divides some power of the ideal class of J_i. The present paper brings things down to earth considerably: such a divisibility of ideal classes implies that for some N\ge r+2 J_i^{N-r-2}J_{i+1}^{r+3}=J_i^NJ_{i+2}. Yet note that this identity in turn implies J_{i+2} is a divisor of some power of J_{i+1}. Thus although $V_i$ may fail to be nonsingular, when the identity holds the {\it next} variety V_{i+1} must be nonsingular. Thus the Nash question is equivalent to the assertion that the identity above holds for some sufficiently large i and N. △ Less

Submitted 13 February, 2001; originally announced February 2001.

MSC Class: 14a05;32c45

Transition from reflection to sticking in ultracold atom-surface scattering

Authors: Areez Mody, John Doyle, Eric J. Heller

Abstract: In paper I (physics/0010068) entitled "The No-sticking Effect in Ultra-cold Collisions", we showed that under very general circumstances, atoms approaching a surface will not stick as its incoming energy approaches zero. This is true of either warm or cold surfaces. Here we explore the transition region from non sticking to sticking as energy is increased. The key to understanding the transition… ▽ More In paper I (physics/0010068) entitled "The No-sticking Effect in Ultra-cold Collisions", we showed that under very general circumstances, atoms approaching a surface will not stick as its incoming energy approaches zero. This is true of either warm or cold surfaces. Here we explore the transition region from non sticking to sticking as energy is increased. The key to understanding the transition region is the WKB approximation and the nature of its breakdown. Simple rules for understanding the rollover to higher energy, post-threshold behavior, including analytical formulae for some asymptotic forms of the attractive potential are presented. We discuss a practical example of atom-surface pair in various substrate geometries. We also discuss the case of low energy scattering from clusters. △ Less

Submitted 26 October, 2000; originally announced October 2000.

Comments: 7 pages(two columns), 3 figures. Submitted to Physical Review B

The No-sticking Effect in Ultra-cold Collisions

Authors: Areez Mody, Michael Haggerty, Eric J. Heller

Abstract: We provide the theoretical basis for understanding the phenomenon in which an ultra cold atom incident on a possibly warm target will not stick, even in the large $n$ limit where $n$ is the number of internal degrees of freedom of the target. Our treatment is non-perturbative in which the full many-body problem is viewed as a scattering event purely within the context of scattering theory. The q… ▽ More We provide the theoretical basis for understanding the phenomenon in which an ultra cold atom incident on a possibly warm target will not stick, even in the large $n$ limit where $n$ is the number of internal degrees of freedom of the target. Our treatment is non-perturbative in which the full many-body problem is viewed as a scattering event purely within the context of scattering theory. The question of sticking is then simply and naturally identified with the formation of a long lived resonance. One crucial physical insight that emerges is that the many internal degrees of freedom serve to decohere the incident one body wavefunction, thus upsetting the delicate interference process necessary to form a resonance in the first place. This is the physical reason for not sticking. △ Less

Submitted 26 October, 2000; originally announced October 2000.

Comments: 19 pages single column, 2 figures. Submitted to Physical Review B

Mesoscopic scattering in the half-plane: squeezing conductance through a small hole

Authors: A. H. Barnett, M. Blaauboer, A. Mody, E. J. Heller

Abstract: We model the 2-probe conductance of a quantum point contact (QPC), in linear response. If the QPC is highly non-adiabatic or near to scatterers in the open reservoir regions, then the usual distinction between leads and reservoirs breaks down and a technique based on scattering theory in the full two-dimensional half-plane is more appropriate. Therefore we relate conductance to the transmission… ▽ More We model the 2-probe conductance of a quantum point contact (QPC), in linear response. If the QPC is highly non-adiabatic or near to scatterers in the open reservoir regions, then the usual distinction between leads and reservoirs breaks down and a technique based on scattering theory in the full two-dimensional half-plane is more appropriate. Therefore we relate conductance to the transmission cross section for incident plane waves. This is equivalent to the usual Landauer formula using a radial partial-wave basis. We derive the result that an arbitrarily small (tunneling) QPC can reach a p-wave channel conductance of 2e^2/h when coupled to a suitable reflector. If two or more resonances coincide the total conductance can even exceed this. This relates to recent mesoscopic experiments in open geometries. We also discuss reciprocity of conductance, and the possibility of its breakdown in a proposed QPC for atom waves. △ Less

Submitted 23 April, 2001; v1 submitted 18 August, 2000; originally announced August 2000.

Comments: 8 pages, 3 figures, REVTeX. Revised version (shortened), accepted for publication in PRB