Showing 51–100 of 266 results for author: Hall, M

Focussing frustration for self-limiting assembly of flexible, curved particles

Authors: Nabila Tanjeem, Douglas M. Hall, Montana B. Minnis, Ryan C. Hayward, Gregory M. Grason

Abstract: We show that geometric frustration in a broad class of deformable and naturally curved, shell-like colloidal particles gives rise to self-limiting assembly of finite-sized stacks that far exceed particle dimensions. When inter-particle adhesions favor conformal stacking, particle shape requires {\it curvature focussing} in the stack, leading to a super-extensive accumulation of bending costs that… ▽ More We show that geometric frustration in a broad class of deformable and naturally curved, shell-like colloidal particles gives rise to self-limiting assembly of finite-sized stacks that far exceed particle dimensions. When inter-particle adhesions favor conformal stacking, particle shape requires {\it curvature focussing} in the stack, leading to a super-extensive accumulation of bending costs that ultimately limit the ground-state stack size to a finite value. Using a combination of continuum theory and particle-based simulation, we demonstrate that the self-limiting stack size is controlled by the ratio of the intra-particle bending costs to inter-particle adhesion energy, ultimately achieving assembly sizes that are tuned from a few, up to several tens of, particles. We show that the range of self-limiting assembly is delimited by the two structural modes of "frustration escape" which evade the thermodynamic costs of curvature focussing. Crucially, each of these modes can be suppressed through suitable choice of adhesive range and lateral patchiness of adhesion, providing feasible strategies to program finite assembly size via the interplay between shape-frustration, binding and deformability of colloidal building blocks. △ Less

Submitted 7 March, 2022; originally announced March 2022.

Comments: 6 pages, 5 figures, supplemental appendix

Journal ref: Phys. Rev. Research 4, 033035 (2022)

Geometrically programmed self-limited assembly of tubules using DNA origami colloids

Authors: Daichi Hayakawa, Thomas E. Videbæk, Douglas M. Hall, Huang Fang, Christian Sigl, Elija Feigl, Hendrik Dietz, Seth Fraden, Michael F. Hagan, Gregory M. Grason, W. Benjamin Rogers

Abstract: Self-assembly is one of the most promising strategies for making functional materials at the nanoscale, yet new design principles for making self-limiting architectures, rather than spatially unlimited periodic lattice structures, are needed. To address this challenge, we explore the trade-offs between addressable assembly and self-closing assembly of a specific class of self-limiting structures:… ▽ More Self-assembly is one of the most promising strategies for making functional materials at the nanoscale, yet new design principles for making self-limiting architectures, rather than spatially unlimited periodic lattice structures, are needed. To address this challenge, we explore the trade-offs between addressable assembly and self-closing assembly of a specific class of self-limiting structures: cylindrical tubules. We make triangular subunits using DNA origami that have specific, valence-limited interactions and designed binding angles, and study their assembly into tubules that have a self-limited width that is much larger than the size of an individual subunit. In the simplest case, the tubules are assembled from a single component by geometrically programming the dihedral angles between neighboring subunits. We show that the tubules can reach many micrometers in length and that their average width can be prescribed through the dihedral angles. We find that there is a distribution in the width and the chirality of the tubules, which we rationalize by develo** a model that considers the finite bending rigidity of the assembled structure as well as the mechanism of self-closure. Finally, we demonstrate that the distributions of tubules can be further sculpted by increasing the number of subunit species, thereby increasing the assembly complexity, and demonstrate that using two subunit species successfully reduces the number of available end states by half. These results help to shed light on the roles of assembly complexity and geometry in self-limited assembly and could be extended to other self-limiting architectures, such as shells, toroids, or triply-periodic frameworks. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Comments: Main text 11 pages and 4 figures; SI 44 pages, 19 figures, 9 tables

Journal ref: PNAS 119 (43) e2207902119 (2022)

A Systematic Study of Bias Amplification

Authors: Melissa Hall, Laurens van der Maaten, Laura Gustafson, Maxwell Jones, Aaron Adcock

Abstract: Recent research suggests that predictions made by machine-learning models can amplify biases present in the training data. When a model amplifies bias, it makes certain predictions at a higher rate for some groups than expected based on training-data statistics. Mitigating such bias amplification requires a deep understanding of the mechanics in modern machine learning that give rise to that ampli… ▽ More Recent research suggests that predictions made by machine-learning models can amplify biases present in the training data. When a model amplifies bias, it makes certain predictions at a higher rate for some groups than expected based on training-data statistics. Mitigating such bias amplification requires a deep understanding of the mechanics in modern machine learning that give rise to that amplification. We perform the first systematic, controlled study into when and how bias amplification occurs. To enable this study, we design a simple image-classification problem in which we can tightly control (synthetic) biases. Our study of this problem reveals that the strength of bias amplification is correlated to measures such as model accuracy, model capacity, model overconfidence, and amount of training data. We also find that bias amplification can vary greatly during training. Finally, we find that bias amplification may depend on the difficulty of the classification task relative to the difficulty of recognizing group membership: bias amplification appears to occur primarily when it is easier to recognize group membership than class membership. Our results suggest best practices for training machine-learning models that we hope will help pave the way for the development of better mitigation strategies. Code can be found at https://github.com/facebookresearch/cv_bias_amplification. △ Less

Submitted 19 October, 2022; v1 submitted 27 January, 2022; originally announced January 2022.

Study of the Isomeric State in $^{16}$N Using the $^{16}$N$^{g,m}$($d$,$^3$He) Reaction

Authors: T. L. Tang, C. R. Hoffman, B. P. Kay, I. A. Tolstukhin, S. Almaraz-Calderon, B. W. Asher, M. L. Avila, Y. Ayyad, K. W. Brown, D. Bazin, J. Chen, K. A. Chipps, P. A. Copp, M. Hall, H. Jayatissa, H. J. Ong, D. Santiago-Gonzalez, D. K. Sharp, J. Song, S. Stolze, G. L. Wilson, J. Wu

Abstract: The isomeric state of $^{16}$N was studied using the $^{16}$N$^{g,m}$($d$,$^3$He)~proton-removal reactions at \mbox{11.8~MeV/$u$} in inverse kinematics. The $^{16}$N beam, of which 24% was in the isomeric state, was produced using the ATLAS in-fight facility and delivered to the HELIOS spectrometer, which was used to analyze the $^{3}$He ions from the ($d$,$^{3}$He) reactions. The simultaneous mea… ▽ More The isomeric state of $^{16}$N was studied using the $^{16}$N$^{g,m}$($d$,$^3$He)~proton-removal reactions at \mbox{11.8~MeV/$u$} in inverse kinematics. The $^{16}$N beam, of which 24% was in the isomeric state, was produced using the ATLAS in-fight facility and delivered to the HELIOS spectrometer, which was used to analyze the $^{3}$He ions from the ($d$,$^{3}$He) reactions. The simultaneous measurement of reactions on both the ground and isomeric states, reduced the systematic uncertainties from the experiment and in the analysis. A direct and reliable comparison of the relative spectroscopic factors was made based on a Distorted-Wave Born Approximation approach. The experimental results suggest that the isomeric state of $^{16}$N is an excited neutron-halo state. The results can be understood through calculations using a Woods-Saxon potential model, which captures the effects of weak-binding. △ Less

Submitted 21 July, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: 8 pages, 7 figurs

Contextual Bandit Applications in Customer Support Bot

Authors: Sandra Sajeev, Jade Huang, Nikos Karampatziakis, Matthew Hall, Sebastian Kochman, Weizhu Chen

Abstract: Virtual support agents have grown in popularity as a way for businesses to provide better and more accessible customer service. Some challenges in this domain include ambiguous user queries as well as changing support topics and user behavior (non-stationarity). We do, however, have access to partial feedback provided by the user (clicks, surveys, and other events) which can be leveraged to improv… ▽ More Virtual support agents have grown in popularity as a way for businesses to provide better and more accessible customer service. Some challenges in this domain include ambiguous user queries as well as changing support topics and user behavior (non-stationarity). We do, however, have access to partial feedback provided by the user (clicks, surveys, and other events) which can be leveraged to improve the user experience. Adaptable learning techniques, like contextual bandits, are a natural fit for this problem setting. In this paper, we discuss real-world implementations of contextual bandits (CB) for the Microsoft virtual agent. It includes intent disambiguation based on neural-linear bandits (NLB) and contextual recommendations based on a collection of multi-armed bandits (MAB). Our solutions have been deployed to production and have improved key business metrics of the Microsoft virtual agent, as confirmed by A/B experiments. Results include a relative increase of over 12% in problem resolution rate and relative decrease of over 4% in escalations to a human operator. While our current use cases focus on intent disambiguation and contextual recommendation for support bots, we believe our methods can be extended to other domains. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: in KDD 2021

ACM Class: I.2.0

Journal ref: KDD '21: Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data Mining (August 2021) Pages 3522-3530

Toward Practical Monocular Indoor Depth Estimation

Authors: Cho-Ying Wu, Jialiang Wang, Michael Hall, Ulrich Neumann, Shuochen Su

Abstract: The majority of prior monocular depth estimation methods without groundtruth depth guidance focus on driving scenarios. We show that such methods generalize poorly to unseen complex indoor scenes, where objects are cluttered and arbitrarily arranged in the near field. To obtain more robustness, we propose a structure distillation approach to learn knacks from an off-the-shelf relative depth estima… ▽ More The majority of prior monocular depth estimation methods without groundtruth depth guidance focus on driving scenarios. We show that such methods generalize poorly to unseen complex indoor scenes, where objects are cluttered and arbitrarily arranged in the near field. To obtain more robustness, we propose a structure distillation approach to learn knacks from an off-the-shelf relative depth estimator that produces structured but metric-agnostic depth. By combining structure distillation with a branch that learns metrics from left-right consistency, we attain structured and metric depth for generic indoor scenes and make inferences in real-time. To facilitate learning and evaluation, we collect SimSIN, a dataset from simulation with thousands of environments, and UniSIN, a dataset that contains about 500 real scan sequences of generic indoor environments. We experiment in both sim-to-real and real-to-real settings, and show improvements, as well as in downstream applications using our depth maps. This work provides a full study, covering methods, data, and applications aspects. △ Less

Submitted 28 March, 2022; v1 submitted 4 December, 2021; originally announced December 2021.

Comments: Accepted to CVPR 2022

Comment on "Vindication of entanglement-based witnesses of non-classicality in hybrid systems"

Authors: Michael J. W. Hall, Marcel Reginatto

Abstract: Models of quantum-classical interactions fall into two classes: those which allow the generation of quantum entanglement via a classical mediator (such as gravity), and those which do not. Marconato and Marletto have recently sought to distinguish between these classes by claiming that known members of the first class (based on the configuration-ensemble formalism introduced by us) fail to model t… ▽ More Models of quantum-classical interactions fall into two classes: those which allow the generation of quantum entanglement via a classical mediator (such as gravity), and those which do not. Marconato and Marletto have recently sought to distinguish between these classes by claiming that known members of the first class (based on the configuration-ensemble formalism introduced by us) fail to model the mediator as a 'classical' system, and are nonlocal. We explicitly show that this claim is incorrect, and expose a large number of errors and misconceptions in their reasoning. We also point to a very simple and transparent example of the generation of entanglement between two qubits via a classical bit. It follows that there are models permitting the generation of entanglement via quantum-classical interactions that lie outside the remit of the theorem cited by Marconato and Marletto. We clarify the reasons for the limited applicability of various no-go theorems for entanglement generation. △ Less

Submitted 7 July, 2022; v1 submitted 9 November, 2021; originally announced November 2021.

Comments: v2: Noted that configuration-ensemble models are fully local (with {C, Q} = 0 for all classical and quantum observables C and Q) when the classical and quantum systems are initially independent (as assumed in all relevant no-go theorems)

Inferring the sources of HIV infection in Africa from deep sequence data with semi-parametric Bayesian Poisson flow models

Authors: Xiaoyue Xi, Simon EF Spencer, Matthew Hall, M Kate Grabowski, Joseph Kagaayi, Oliver Ratmann

Abstract: Pathogen deep-sequencing is an increasingly routinely used technology in infectious disease surveillance. We present a semi-parametric Bayesian Poisson model to exploit these emerging data for inferring infectious disease transmission flows and the sources of infection at the population level. The framework is computationally scalable in high dimensional flow spaces thanks to Hilbert Space Gaussia… ▽ More Pathogen deep-sequencing is an increasingly routinely used technology in infectious disease surveillance. We present a semi-parametric Bayesian Poisson model to exploit these emerging data for inferring infectious disease transmission flows and the sources of infection at the population level. The framework is computationally scalable in high dimensional flow spaces thanks to Hilbert Space Gaussian process approximations, allows for sampling bias adjustments, and estimation of gender- and age-specific transmission flows at finer resolution than previously possible. We apply the approach to densely sampled, population-based HIV deep-sequence data from Rakai, Uganda, and find substantive evidence that adolescent and young women are predominantly infected through age-disparate relationships. △ Less

Submitted 5 January, 2022; v1 submitted 23 October, 2021; originally announced October 2021.

Generalising the Horodecki criterion to nonprojective qubit measurements

Authors: Michael J. W. Hall, Shuming Cheng

Abstract: The Horodecki criterion provides a necessary and sufficient condition for a two-qubit state to be able to manifest Bell nonlocality via violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality. It requires, however, the assumption that suitable projective measurements can be made on each qubit, and is not sufficient for scenarios in which noisy or weak measurements are either desirable or una… ▽ More The Horodecki criterion provides a necessary and sufficient condition for a two-qubit state to be able to manifest Bell nonlocality via violation of the Clauser-Horne-Shimony-Holt (CHSH) inequality. It requires, however, the assumption that suitable projective measurements can be made on each qubit, and is not sufficient for scenarios in which noisy or weak measurements are either desirable or unavoidable. By characterising two-valued qubit observables in terms of strength, bias, and directional parameters, we address such scenarios by providing necessary and sufficient conditions for arbitrary qubit measurements having fixed strengths and relative angles for each observer. In particular, we find the achievable maximal values of the CHSH parameter for unbiased measurements on arbitrary states, and, alternatively, for arbitrary measurements on states with maximally-mixed marginals, and determine the optimal angles in some cases. We also show that for certain ranges of measurement strengths it is only possible to violate the CHSH inequality via biased measurements. Finally, we use the CHSH inequality to obtain a simple necessary condition for the compatibility of two qubit observables. △ Less

Submitted 6 January, 2022; v1 submitted 20 September, 2021; originally announced September 2021.

Journal ref: J. Phys. A 55, 045301 (2022)

First Measurement of the $B(E2; 3/2^- \rightarrow 1/2^-)$ Transition Strength in $^7$Be: Testing Ab Initio Predictions for $A=7$ Nuclei

Authors: S. L. Henderson, T. Ahn, M. A. Caprio, P. J. Fasano, A. Simon, W. Tan, P. O'Malley, J. Allen, D. W. Bardayan, D. Blankstein, B. Frentz, M. R. Hall, J. J. Kolata, A. E. McCoy, S. Moylan, C. S. Reingold, S. Y. Strauss, R. O. Torres-Isea

Abstract: Electromagnetic observables are able to give insight into collective and emergent features in nuclei, including nuclear clustering. These observables also provide strong constraints for ab initio theory, but comparison of these observables between theory and experiment can be difficult due to the lack of convergence for relevant calculated values, such as $E2$ transition strengths. By comparing th… ▽ More Electromagnetic observables are able to give insight into collective and emergent features in nuclei, including nuclear clustering. These observables also provide strong constraints for ab initio theory, but comparison of these observables between theory and experiment can be difficult due to the lack of convergence for relevant calculated values, such as $E2$ transition strengths. By comparing the ratios of $E2$ transition strengths for mirror transitions, we find that a wide range of ab initio calculations give robust and consistent predictions for this ratio. To experimentally test the validity of these ab initio predictions, we performed a Coulomb excitation experiment to measure the $B(E2; 3/2^- \rightarrow 1/2^-)$ transition strength in $^7$Be for the first time. A $B(E2; 3/2^- \rightarrow 1/2^-)$ value of $26(6)(3) \, e^2 \mathrm{fm}^4$ was deduced from the measured Coulomb excitation cross section. This result is used with the experimentally known $^7$Li $B(E2; 3/2^- \rightarrow 1/2^-)$ value to provide an experimental ratio to compare with the ab initio predictions. Our experimental value is consistent with the theoretical ratios within $1 σ$ uncertainty, giving experimental support for the value of these ratios. Further work in both theory and experiment can give insight into the robustness of these ratios and their physical meaning. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: 9 pages, 7 figures

Journal ref: Phys. Rev. C 99, 064320 (2019)

Recycling qubits for the generation of Bell nonlocality between independent sequential observers

Authors: Shuming Cheng, Lijun Liu, Travis J. Baker, Michael J. W. Hall

Abstract: There is currently much interest in the recycling of entangled systems, for use in quantum information protocols by sequential observers. In this work, we study the sequential generation of Bell nonlocality via recycling one or both components of two-qubit states. We first give a description of two-valued qubit measurements in terms of measurement bias, strength, and reversibility, and derive usef… ▽ More There is currently much interest in the recycling of entangled systems, for use in quantum information protocols by sequential observers. In this work, we study the sequential generation of Bell nonlocality via recycling one or both components of two-qubit states. We first give a description of two-valued qubit measurements in terms of measurement bias, strength, and reversibility, and derive useful tradeoff relations between them. Then, we derive one-sided monogamy relations for unbiased observables, that strengthen the recent Conjecture in [S. Cheng {\it et al.}, Phys. Rev. A \textbf{104}, L060201 (2021) ] that if the first pair of observers violate Bell nonlocality then a subsequent independent pair cannot, and give semi-analytic results for the best possible monogamy relation. We also extend the construction in [P. J. Brown and R. Colbeck, Phys. Rev. Lett. \textbf{125}, 090401 (2020)] to obtain (i)~a broader class of two-qubit states that allow the recycling of one qubit by a given number of observers on one side, and (ii)~a scheme for generating Bell nonlocality between arbitrarily many independent observers on each side, via the two-sided recycling of multiqubit states. Our results are based on a formalism that is applicable to more general problems in recycling entanglement, and hence is expected to aid progress in this field. △ Less

Submitted 24 January, 2022; v1 submitted 8 September, 2021; originally announced September 2021.

Comments: Minor corrections, More references, and revision of Fig. 2

Thermodynamic size control in curvature-frustrated tubules: Self-limitation with open boundaries

Authors: Botond Tyukodi, Farzaneh Mohajerani, Douglas M. Hall, Gregory M. Grason, Michael F. Hagan

Abstract: We use computational modeling to investigate the assembly thermodynamics of a particle-based model for geometrically frustrated assembly, in which the local packing geometry of subunits is incompatible with uniform, strain-free large-scale assembly. The model considers discrete triangular subunits that drive assembly towards a closed, hexagonal-ordered tubule, but have geometries that locally favo… ▽ More We use computational modeling to investigate the assembly thermodynamics of a particle-based model for geometrically frustrated assembly, in which the local packing geometry of subunits is incompatible with uniform, strain-free large-scale assembly. The model considers discrete triangular subunits that drive assembly towards a closed, hexagonal-ordered tubule, but have geometries that locally favor negative Gaussian curvature. We use dynamical Monte Carlo simulations and enhanced sampling methods to compute the free energy landscape and corresponding self-assembly behavior as a function of experimentally accessible parameters that control assembly driving forces and the magnitude of frustration. The results determine the parameter range where finite-temperature self-limiting assembly occurs, in which the equilibrium assembly size distribution is sharply peaked around a well-defined finite size. The simulations also identify two mechanisms by which the system can escape frustration and assemble to unlimited size, and determine the particle-scale properties of subunits that suppress unbounded growth. △ Less

Submitted 2 September, 2021; originally announced September 2021.

Forecasting racial dynamics at the neighborhood scale using Density-functional Fluctuation Theory

Authors: Yunus A. Kinkhabwala, Boris Barron, Matthew Hall, Tomas A. Arias, Itai Cohen

Abstract: Racial residential segregation is a defining and enduring feature of U.S. society, sha** inter-group relations, racial disparities in income and health, and access to high-quality public goods and services. The design of policies aimed at addressing these inequities would be better informed by descriptive models of segregation that are able to predict neighborhood scale racial sorting dynamics.… ▽ More Racial residential segregation is a defining and enduring feature of U.S. society, sha** inter-group relations, racial disparities in income and health, and access to high-quality public goods and services. The design of policies aimed at addressing these inequities would be better informed by descriptive models of segregation that are able to predict neighborhood scale racial sorting dynamics. While coarse regional population projections are widely accessible, small area population changes remain challenging to predict because granular data on migration is limited and mobility behaviors are driven by complex social and idiosyncratic dynamics. Consequently, to account for such drivers, it is necessary to develop methods that can extract effective descriptions of their impacts on population dynamics based solely on statistical analysis of available data. Here, we develop and validate a Density-Functional Fluctuation Theory (DFFT) that quantifies segregation using density-dependent functions extracted from population counts and uses these functions to accurately forecast how the racial/ethnic compositions of neighborhoods across the US are likely to change. Importantly, DFFT makes minimal assumptions about the nature of the underlying causes of segregation and is designed to quantify segregation for neighborhoods with different total populations in regions with different compositions. This quantification can be used to accurately forecast both average changes in neighborhood compositions and the likelihood of more drastic changes such as those associated with gentrification and neighborhood tip**. As such, DFFT provides a powerful framework for researchers and policy makers alike to better quantify and forecast neighborhood-scale segregation and its associated dynamics. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: Figures at the end

Digital Building Twins and Blockchain for Performance-Based (Smart) Contracts

Authors: Jens J. Hunhevicz, Mahshid Motie, Daniel M. Hall

Abstract: Performance contracts used for servitized business models enable consideration of overall life-cycle costs rather than just production costs. However, practical implementation of performance contracts has been limited due to challenges with performance evaluation, accountability, and financial concepts. As a solution, this paper proposes the connection of the digital building twin with blockchain-… ▽ More Performance contracts used for servitized business models enable consideration of overall life-cycle costs rather than just production costs. However, practical implementation of performance contracts has been limited due to challenges with performance evaluation, accountability, and financial concepts. As a solution, this paper proposes the connection of the digital building twin with blockchain-based smart contracts to execute performance-based digital payments. First, we conceptualize a technical architecture to connect blockchain to digital building twins. The digital building twin stores and evaluates performance data in real-time while the blockchain ensures transparency and trusted execution of automatic performance evaluation and rewards through smart contracts. Next, we demonstrate the feasibility of both the concept and technical architecture by integrating the Ethereum blockchain with digital building models and sensors via the Siemens building twin platform. The resulting prototype is the first full-stack implementation of a performance-based smart contract in the built environment. △ Less

Submitted 9 October, 2021; v1 submitted 11 May, 2021; originally announced May 2021.

Journal ref: Automation in Construction, Volume 133, 2022, 103981

Customized Monte Carlo Tree Search for LLVM/Polly's Composable Loop Optimization Transformations

Authors: Jaehoon Koo, Prasanna Balaprakash, Michael Kruse, Xingfu Wu, Paul Hovland, Mary Hall

Abstract: Polly is the LLVM project's polyhedral loop nest optimizer. Recently, user-directed loop transformation pragmas were proposed based on LLVM/Clang and Polly. The search space exposed by the transformation pragmas is a tree, wherein each node represents a specific combination of loop transformations that can be applied to the code resulting from the parent node's loop transformations. We have develo… ▽ More Polly is the LLVM project's polyhedral loop nest optimizer. Recently, user-directed loop transformation pragmas were proposed based on LLVM/Clang and Polly. The search space exposed by the transformation pragmas is a tree, wherein each node represents a specific combination of loop transformations that can be applied to the code resulting from the parent node's loop transformations. We have developed a search algorithm based on Monte Carlo tree search (MCTS) to find the best combination of loop transformations. Our algorithm consists of two phases: exploring loop transformations at different depths of the tree to identify promising regions in the tree search space and exploiting those regions by performing a local search. Moreover, a restart mechanism is used to avoid the MCTS getting trapped in a local solution. The best and worst solutions are transferred from the previous phases of the restarts to leverage the search history. We compare our approach with random, greedy, and breadth-first search methods on PolyBench kernels and ECP proxy applications. Experimental results show that our MCTS algorithm finds pragma combinations with a speedup of 2.3x over Polly's heuristic optimizations on average. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version)

Authors: Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul Hovland, Valerie Taylor, Mary Hall

Abstract: In this paper, we develop a ytopt autotuning framework that leverages Bayesian optimization to explore the parameter space search and compare four different supervised learning methods within Bayesian optimization and evaluate their effectiveness. We select six of the most complex PolyBench benchmarks and apply the newly developed LLVM Clang/Polly loop optimization pragmas to the benchmarks to opt… ▽ More In this paper, we develop a ytopt autotuning framework that leverages Bayesian optimization to explore the parameter space search and compare four different supervised learning methods within Bayesian optimization and evaluate their effectiveness. We select six of the most complex PolyBench benchmarks and apply the newly developed LLVM Clang/Polly loop optimization pragmas to the benchmarks to optimize them. We then use the autotuning framework to optimize the pragma parameters to improve their performance. The experimental results show that our autotuning approach outperforms the other compiling methods to provide the smallest execution time for the benchmarks syr2k, 3mm, heat-3d, lu, and covariance with two large datasets in 200 code evaluations for effectively searching the parameter spaces with up to 170,368 different configurations. We find that the Floyd-Warshall benchmark did not benefit from autotuning because Polly uses heuristics to optimize the benchmark to make it run much slower. To cope with this issue, we provide some compiler option solutions to improve the performance. Then we present loop autotuning without a user's knowledge using a simple mctree autotuning framework to further improve the performance of the Floyd-Warshall benchmark. We also extend the ytopt autotuning framework to tune a deep learning application. △ Less

Submitted 27 April, 2021; originally announced April 2021.

Comments: Submitted to CCPE journal. arXiv admin note: substantial text overlap with arXiv:2010.08040

Fairness On The Ground: Applying Algorithmic Fairness Approaches to Production Systems

Authors: Chloé Bakalar, Renata Barreto, Stevie Bergman, Miranda Bogen, Bobbie Chern, Sam Corbett-Davies, Melissa Hall, Isabel Kloumann, Michelle Lam, Joaquin Quiñonero Candela, Manish Raghavan, Joshua Simons, Jonathan Tannen, Edmund Tong, Kate Vredenburgh, Jie**g Zhao

Abstract: Many technical approaches have been proposed for ensuring that decisions made by machine learning systems are fair, but few of these proposals have been stress-tested in real-world systems. This paper presents an example of one team's approach to the challenge of applying algorithmic fairness approaches to complex production systems within the context of a large technology company. We discuss how… ▽ More Many technical approaches have been proposed for ensuring that decisions made by machine learning systems are fair, but few of these proposals have been stress-tested in real-world systems. This paper presents an example of one team's approach to the challenge of applying algorithmic fairness approaches to complex production systems within the context of a large technology company. We discuss how we disentangle normative questions of product and policy design (like, "how should the system trade off between different stakeholders' interests and needs?") from empirical questions of system implementation (like, "is the system achieving the desired tradeoff in practice?"). We also present an approach for answering questions of the latter sort, which allows us to measure how machine learning systems and human labelers are making these tradeoffs across different relevant groups. We hope our experience integrating fairness tools and approaches into large-scale and complex production systems will be useful to other practitioners facing similar challenges, and illuminating to academics and researchers looking to better address the needs of practitioners. △ Less

Submitted 24 March, 2021; v1 submitted 10 March, 2021; originally announced March 2021.

Comments: 12 pages, 2 figures

Limitations on sharing Bell nonlocality between sequential pairs of observers

Authors: Shuming Cheng, Lijun Liu, Travis J. Baker, Michael J. W. Hall

Abstract: We give strong analytic and numerical evidence that, under mild measurement assumptions, two qubits cannot both be recycled to generate Bell nonlocality between multiple independent observers on each side. This is surprising, as under the same assumptions it is possible to recycle just one of the qubits an arbitrarily large number of times [P. J. Brown and R. Colbeck, Phys. Rev. Lett. 125, 090401… ▽ More We give strong analytic and numerical evidence that, under mild measurement assumptions, two qubits cannot both be recycled to generate Bell nonlocality between multiple independent observers on each side. This is surprising, as under the same assumptions it is possible to recycle just one of the qubits an arbitrarily large number of times [P. J. Brown and R. Colbeck, Phys. Rev. Lett. 125, 090401 (2020)]. We derive corresponding 'one-sided monogamy relations' that rule out two-sided recycling for a wide range of parameters, based on a general tradeoff relation between the strengths and maximum reversibilities of qubit measurements. We also show if the assumptions are relaxed to allow sufficiently biased measurement selections, then there is a narrow range of measurement strengths that allows two-sided recycling for two observers on each side, and propose an experimental test. Our methods may be readily applied to other types of quantum correlations, such as steering and entanglement, and hence to general information protocols involving sequential measurements. △ Less

Submitted 4 June, 2021; v1 submitted 23 February, 2021; originally announced February 2021.

Comments: 6+10 pages, and 2 Figures (v3: Significant numerical evidence for the Conjecture added, with aid of additional author, plus several clarifications and references). Comments are welcome

Journal ref: Phys. Rev. A 104, L060201 (2021)

Neighbors From Hell: Voltage Attacks Against Deep Learning Accelerators on Multi-Tenant FPGAs

Authors: Andrew Boutros, Mathew Hall, Nicolas Papernot, Vaughn Betz

Abstract: Field-programmable gate arrays (FPGAs) are becoming widely used accelerators for a myriad of datacenter applications due to their flexibility and energy efficiency. Among these applications, FPGAs have shown promising results in accelerating low-latency real-time deep learning (DL) inference, which is becoming an indispensable component of many end-user applications. With the emerging research dir… ▽ More Field-programmable gate arrays (FPGAs) are becoming widely used accelerators for a myriad of datacenter applications due to their flexibility and energy efficiency. Among these applications, FPGAs have shown promising results in accelerating low-latency real-time deep learning (DL) inference, which is becoming an indispensable component of many end-user applications. With the emerging research direction towards virtualized cloud FPGAs that can be shared by multiple users, the security aspect of FPGA-based DL accelerators requires careful consideration. In this work, we evaluate the security of DL accelerators against voltage-based integrity attacks in a multitenant FPGA scenario. We first demonstrate the feasibility of such attacks on a state-of-the-art Stratix 10 card using different attacker circuits that are logically and physically isolated in a separate attacker role, and cannot be flagged as malicious circuits by conventional bitstream checkers. We show that aggressive clock gating, an effective power-saving technique, can also be a potential security threat in modern FPGAs. Then, we carry out the attack on a DL accelerator running ImageNet classification in the victim role to evaluate the inherent resilience of DL models against timing faults induced by the adversary. We find that even when using the strongest attacker circuit, the prediction accuracy of the DL accelerator is not compromised when running at its safe operating frequency. Furthermore, we can achieve 1.18-1.31x higher inference performance by over-clocking the DL accelerator without affecting its prediction accuracy. △ Less

Submitted 8 July, 2022; v1 submitted 13 December, 2020; originally announced December 2020.

Comments: Published in the 2020 proceedings of the International Conference of Field-Programmable Technology (ICFPT)

Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization

Authors: Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul Hovland, Valerie Taylor, Mary Hall

Abstract: An autotuning is an approach that explores a search space of possible implementations/configurations of a kernel or an application by selecting and evaluating a subset of implementations/configurations on a target platform and/or use models to identify a high performance implementation/configuration. In this paper, we develop an autotuning framework that leverages Bayesian optimization to explore… ▽ More An autotuning is an approach that explores a search space of possible implementations/configurations of a kernel or an application by selecting and evaluating a subset of implementations/configurations on a target platform and/or use models to identify a high performance implementation/configuration. In this paper, we develop an autotuning framework that leverages Bayesian optimization to explore the parameter space search. We select six of the most complex benchmarks from the application domains of the PolyBench benchmarks (syr2k, 3mm, heat-3d, lu, covariance, and Floyd-Warshall) and apply the newly developed LLVM Clang/Polly loop optimization pragmas to the benchmarks to optimize them. We then use the autotuning framework to optimize the pragma parameters to improve their performance. The experimental results show that our autotuning approach outperforms the other compiling methods to provide the smallest execution time for the benchmarks syr2k, 3mm, heat-3d, lu, and covariance with two large datasets in 200 code evaluations for effectively searching the parameter spaces with up to 170,368 different configurations. We compare four different supervised learning methods within Bayesian optimization and evaluate their effectiveness. We find that the Floyd-Warshall benchmark did not benefit from autotuning because Polly uses heuristics to optimize the benchmark to make it run much slower. To cope with this issue, we provide some compiler option solutions to improve the performance. △ Less

Submitted 15 October, 2020; originally announced October 2020.

Comments: to be published in the 11th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS20)

Does locality plus perfect correlation imply determinism?

Authors: Michael J. W. Hall

Abstract: A 1964 paper by John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. There is an ongoing and vigorous debate on whether he relied on an assumption of determinism, or instead, as he later claimed, derived determinism from assumptions of locality and perfect correlation. This paper aims to bring clarity to the debate via simple examples and rigor… ▽ More A 1964 paper by John Bell gave the first demonstration that quantum mechanics is incompatible with local hidden variables. There is an ongoing and vigorous debate on whether he relied on an assumption of determinism, or instead, as he later claimed, derived determinism from assumptions of locality and perfect correlation. This paper aims to bring clarity to the debate via simple examples and rigorous results. It is shown that the weak form of locality used in Bell's 1964 paper (parameter independence) is insufficient for such a derivation, whereas an independent form called outcome independence is sufficient even when weak locality does not hold. It further follows that outcome independence, by itself, implies that standard quantum mechanics is incomplete. It is also shown that an appeal by Bell to the Einstein-Rosen-Podolsky argument to support his claim fails, via examples that expose logical gaps in this argument. However, replacing the reality criterion underpinning the argument by a stronger criterion enables a rigorous derivation of both weak locality and determinism, as required for Bell's 1964 paper. Consequences for quantum interpretations, locality, and classical common causes are briefly discussed, with reference to an example of local classical indeterminism. △ Less

Submitted 25 June, 2024; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: Results extended and separated into two new articles (one focusing on Bell and the EPR argument, one focusing on outcome independence)

Small-area Population Forecast in a Segregated City using Density-Functional Fluctuation Theory

Authors: Yuchao Chen, Yunus A. Kinkhabwala, Boris Barron, Matthew Hall, Tomas A. Arias, Itai Cohen

Abstract: Decisions regarding housing, transportation, and resource allocation would all benefit from accurate small-area population forecasts. While various tried-and-tested forecast methods exist at regional scales, develo** an accurate neighborhood-scale forecast remains a challenge partly due to complex drivers of residential choice ranging from housing policies to social preferences and economic stat… ▽ More Decisions regarding housing, transportation, and resource allocation would all benefit from accurate small-area population forecasts. While various tried-and-tested forecast methods exist at regional scales, develo** an accurate neighborhood-scale forecast remains a challenge partly due to complex drivers of residential choice ranging from housing policies to social preferences and economic status that cumulatively cause drastic neighborhood-scale segregation. Here, we show how to forecast the dynamics of neighborhood-scale demographics by extending a novel statistical physics approach called Density-Functional Fluctuation Theory (DFFT) to multi-component time-dependent systems. In particular, this technique observes the fluctuations in neighborhood-scale demographics to extract effective drivers of segregation. As a demonstration, we simulate a segregated city using a Schelling-type segregation model, and found that DFFT accurately predicts how a city-scale demographic change trickles down to block scales. Should these results extend to actual human populations, DFFT could capitalize on the recent advances in demographic data collection and regional-scale forecasts to improve upon current small-area population forecasts. △ Less

Submitted 9 March, 2023; v1 submitted 21 August, 2020; originally announced August 2020.

Comments: Main: 17 pages, 5 figures SI: 45 pages, 16 figures

Mining of high throughput screening database reveals AP-1 and autophagy pathways as potential targets for COVID-19 therapeutics

Authors: Hu Zhu, Catherine Z. Chen, Srilatha Sakamuru, Anton Simeonov, Mathew D. Hall, Menghang Xia, Wei Zheng, Ruili Huang

Abstract: The recent global pandemic of Coronavirus Disease 2019 (COVID-19) caused by the new coronavirus SARS-CoV-2 presents an urgent need for new therapeutic candidates. Many efforts have been devoted to screening existing drug libraries with the hope to repurpose approved drugs as potential treatments for COVID-19. However, the antiviral mechanisms of action for the drugs found active in these phenotypi… ▽ More The recent global pandemic of Coronavirus Disease 2019 (COVID-19) caused by the new coronavirus SARS-CoV-2 presents an urgent need for new therapeutic candidates. Many efforts have been devoted to screening existing drug libraries with the hope to repurpose approved drugs as potential treatments for COVID-19. However, the antiviral mechanisms of action for the drugs found active in these phenotypic screens are largely unknown. To deconvolute the viral targets for more effective anti-COVID-19 drug development, we mined our in-house database of approved drug screens against 994 assays and compared their activity profiles with the drug activity profile in a cytopathic effect (CPE) assay of SARS-CoV-2. We found that the autophagy and AP-1 signaling pathway activity profiles are significantly correlated with the anti-SARS-CoV-2 activity profile. In addition, a class of neurology/psychiatry drugs was found significantly enriched with anti-SARS-CoV-2 activity. Taken together, these results have provided new insights into SARS-CoV-2 infection and potential targets for COVID-19 therapeutics. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Measurement-dependence cost for Bell nonlocality: causal vs retrocausal models

Authors: Michael J. W. Hall, Cyril Branciard

Abstract: Device independent protocols based on Bell nonlocality, such as quantum key distribution and randomness generation, must ensure no adversary can have prior knowledge of the measurement outcomes. This requires a measurement independence assumption: that the choice of measurement is uncorrelated with any other underlying variables that influence the measurement outcomes. Conversely, relaxing measure… ▽ More Device independent protocols based on Bell nonlocality, such as quantum key distribution and randomness generation, must ensure no adversary can have prior knowledge of the measurement outcomes. This requires a measurement independence assumption: that the choice of measurement is uncorrelated with any other underlying variables that influence the measurement outcomes. Conversely, relaxing measurement independence allows for a fully `causal' simulation of Bell nonlocality. We construct the most efficient such simulation, as measured by the mutual information between the underlying variables and the measurement settings, for the Clauser-Horne-Shimony-Holt (CHSH) scenario, and find that the maximal quantum violation requires a mutual information of just $\sim 0.080$ bits. Any physical device built to implement this simulation allows an adversary to have full knowledge of a cryptographic key or `random' numbers generated by a device independent protocol based on violation of the CHSH inequality. We also show that a previous model for the CHSH scenario, requiring only $\sim 0.046$ bits to simulate the maximal quantum violation, corresponds to the most efficient `retrocausal' simulation, in which future measurement settings necessarily influence earlier source variables. This may be viewed either as an unphysical limitation of the prior model, or as an argument for retrocausality on the grounds of its greater efficiency. Causal and retrocausal models are also discussed for maximally entangled two-qubit states, as well as superdeterministic, one-sided and zigzag causal models. △ Less

Submitted 23 July, 2020; originally announced July 2020.

Comments: 16 pages, 7 figures

Journal ref: Phys. Rev. A 102, 052228 (2020)

HPIPE: Heterogeneous Layer-Pipelined and Sparse-Aware CNN Inference for FPGAs

Authors: Mathew Hall, Vaughn Betz

Abstract: We present both a novel Convolutional Neural Network (CNN) accelerator architecture and a network compiler for FPGAs that outperforms all prior work. Instead of having generic processing elements that together process one layer at a time, our network compiler statically partitions available device resources and builds custom-tailored hardware for each layer of a CNN. By building hardware for each… ▽ More We present both a novel Convolutional Neural Network (CNN) accelerator architecture and a network compiler for FPGAs that outperforms all prior work. Instead of having generic processing elements that together process one layer at a time, our network compiler statically partitions available device resources and builds custom-tailored hardware for each layer of a CNN. By building hardware for each layer we can pack our controllers into fewer lookup tables and use dedicated routing. These efficiencies enable our accelerator to utilize 2x the DSPs and operate at more than 2x the frequency of prior work on sparse CNN acceleration on FPGAs. We evaluate the performance of our architecture on both sparse Resnet-50 and dense MobileNet Imagenet classifiers on a Stratix 10 2800 FPGA. We find that the sparse Resnet-50 model has throughput at a batch size of 1 of 4550 images/s, which is nearly 4x the throughput of NVIDIA's fastest machine learning targeted GPU, the V100, and outperforms all prior work on FPGAs. △ Less

Submitted 20 July, 2020; originally announced July 2020.

Comments: 8 Pages, 11 Figures

ACM Class: B.5.1

Detecting East Asian Prejudice on Social Media

Authors: Bertie Vidgen, Austin Botelho, David Broniatowski, Ella Guest, Matthew Hall, Helen Margetts, Rebekah Tromble, Zeerak Waseem, Scott Hale

Abstract: The outbreak of COVID-19 has transformed societies across the world as governments tackle the health, economic and social costs of the pandemic. It has also raised concerns about the spread of hateful language and prejudice online, especially hostility directed against East Asia. In this paper we report on the creation of a classifier that detects and categorizes social media posts from Twitter in… ▽ More The outbreak of COVID-19 has transformed societies across the world as governments tackle the health, economic and social costs of the pandemic. It has also raised concerns about the spread of hateful language and prejudice online, especially hostility directed against East Asia. In this paper we report on the creation of a classifier that detects and categorizes social media posts from Twitter into four classes: Hostility against East Asia, Criticism of East Asia, Meta-discussions of East Asian prejudice and a neutral class. The classifier achieves an F1 score of 0.83 across all four classes. We provide our final model (coded in Python), as well as a new 20,000 tweet training dataset used to make the classifier, two analyses of hashtags associated with East Asian prejudice and the annotation codebook. The classifier can be implemented by other researchers, assisting with both online content moderation processes and further research into the dynamics, prevalence and impact of East Asian prejudice online during this global pandemic. △ Less

Submitted 8 May, 2020; originally announced May 2020.

Comments: 12 pages

Do you need a blockchain in construction? Use case categories and decision framework for DLT design options

Authors: Jens J. Hunhevicz, Daniel M. Hall

Abstract: Blockchain and other forms of distributed ledger technology (DLT) provide an opportunity to integrate digital information, management, and contracts to increase trust and collaboration within the construction industry. DLT enables direct peer-to-peer transactions of value across a distributed network by providing an immutable and transparent record of these transactions. Furthermore, there is pote… ▽ More Blockchain and other forms of distributed ledger technology (DLT) provide an opportunity to integrate digital information, management, and contracts to increase trust and collaboration within the construction industry. DLT enables direct peer-to-peer transactions of value across a distributed network by providing an immutable and transparent record of these transactions. Furthermore, there is potential for business process optimization and automation on the transaction level, through the use of smart contracts, which are code protocols deployed on supported DLT systems. However, DLT research in the construction industry remains at a theoretical level; there have been few implementation case studies to date. One potential reason for this is a knowledge gap between use-case ideas and the DLT technical system implementation. This paper aims to reduce this gap by 1) reviewing and categorizing proposed DLT use cases in construction literature, 2) providing an overview of DLT and its design options, 3) proposing an integrated framework to match DLT design options with desired characteristics of a use case, and 4) analysing the use cases using the new framework. Together, the use case categories and proposed decision framework can guide future implementers toward more connected and structured thinking between the technological properties of DLT and use cases in construction. △ Less

Submitted 31 March, 2020; originally announced April 2020.

Comments: to be published in Advanced Engineering Informatics

Journal ref: Advanced Engineering Informatics, Volume 45, August 2020, 101094

Fighting Fire with Light: A Case for Defending DDoS Attacks Using the Optical Layer

Authors: Matthew Hall, Ramakrishnan Durairajan, Vyas Sekar

Abstract: The DDoS attack landscape is growing at an unprecedented pace. Inspired by the recent advances in optical networking, we make a case for optical layer-aware DDoS defense (O-LAD) in this paper. Our approach leverages the optical layer to isolate attack traffic rapidly via dynamic reconfiguration of (backup) wavelengths using ROADMs---bridging the gap between (a) evolution of the DDoS attack landsca… ▽ More The DDoS attack landscape is growing at an unprecedented pace. Inspired by the recent advances in optical networking, we make a case for optical layer-aware DDoS defense (O-LAD) in this paper. Our approach leverages the optical layer to isolate attack traffic rapidly via dynamic reconfiguration of (backup) wavelengths using ROADMs---bridging the gap between (a) evolution of the DDoS attack landscape and (b) innovations in the optical layer (e.g., reconfigurable optics). We show that the physical separation of traffic profiles allows finer-grained handling of suspicious flows and offers better performance for benign traffic in the face of an attack. We present preliminary results modeling throughput and latency for legitimate flows while scaling the strength of attacks. We also identify a number of open problems for the security, optical, and systems communities: modeling diverse DDoS attacks (e.g., fixed vs. variable rate, detectable vs. undetectable), building a full-fledged defense system with optical advancements (e.g., OpenConfig), and optical layer-aware defenses for a broader class of attacks (e.g., network reconnaissance). △ Less

Submitted 23 February, 2020; originally announced February 2020.

Comments: 6 pages, 4 figures

Ion Conductivity and Correlations in Model Salt-Doped Polymers: Effects of Interaction Strength and Concentration

Authors: Kuan-Hsuan Shen, Lisa M. Hall

Abstract: Correlated anion and cation motion can significantly reduce the overall ion conductivity in electrolytes versus the ideal conductivity calculated based on the diffusion constants alone. Using coarse-grained molecular dynamics simulations, we calculate conductivity and the degree of uncorrelated ion motion in salt-doped homopolymers and block copolymers as a function of concentration and interactio… ▽ More Correlated anion and cation motion can significantly reduce the overall ion conductivity in electrolytes versus the ideal conductivity calculated based on the diffusion constants alone. Using coarse-grained molecular dynamics simulations, we calculate conductivity and the degree of uncorrelated ion motion in salt-doped homopolymers and block copolymers as a function of concentration and interaction strengths. Calculating conductivity from ion mobility under an applied electric field increases accuracy versus the typical use of fluctuation dissipation relationships in equilibrium simulations. In typical electrolytes, correlation in cation-anion motion is often expected to be reduced at low ion concentrations. However, for these polymer electrolytes with strong ion-polymer and ion-ion interactions, we find correlations are increased at lower concentrations when other variables are held constant. We show this phenomenon is related to the slower ion cluster relaxation rate at low concentrations rather than the static spatial state of ion aggregation or the fraction of free ions. △ Less

Submitted 29 January, 2020; v1 submitted 26 January, 2020; originally announced January 2020.

Comments: 37 pages, 12 figures

Journal ref: Macromolecules, 2020, 53 (10), 3655-3668

First direct measurement of $^{22}$Mg($α$,p)$^{25}$Al and implications for X-ray burst model-observation comparisons

Authors: J. S. Randhawa, Y. Ayyad, W. Mittig, Z. Meisel, T. Ahn, S. Aguilar, H. Alvarez-Pol, D. W. Bardayan, D. Bazin, S. Beceiro-Novo, L. Carpenter, M. Cortesi, D. Cortina-Gil, D. Blankstein, P. Gastis, M. Hall, S. Henderson, J. J. Kolata, T. Mijatovic, F. Ndayisabye, P. O Malley, J. Pereira, A. Pierre, H. Robert, C. Santamaria , et al. (4 additional authors not shown)

Abstract: Type-I X-ray burst (XRB) light curves are sensitive to the model's nuclear input and consequently affects the model-observation comparisons. $^{22}$Mg($α$,p)$^{25}$Al is among the most important reactions which directly impact the XRB light curve. We report the first direct measurement of $^{22}$Mg($α$,p)$^{25}$Al using the Active Target Time Projection Chamber. XRB light curve model-observation c… ▽ More Type-I X-ray burst (XRB) light curves are sensitive to the model's nuclear input and consequently affects the model-observation comparisons. $^{22}$Mg($α$,p)$^{25}$Al is among the most important reactions which directly impact the XRB light curve. We report the first direct measurement of $^{22}$Mg($α$,p)$^{25}$Al using the Active Target Time Projection Chamber. XRB light curve model-observation comparison for the source $\tt{GS 1826-24}$ using new reaction rate implies a less-compact neutron star than previously inferred. Additionally, our result removes an important uncertainty in XRB model calculations that previously hindered extraction of the neutron star compactness. △ Less

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

Journal ref: Phys. Rev. Lett. 125, 202701 (2020)

Real World Longitudinal iOS App Usage Study at Scale

Authors: Dohyun Kim, Joshua Gluck, Malcolm Hall, Yuvraj Agarwal

Abstract: Given the importance of understanding the interaction between mobile devices and their users, app usage patterns have been studied in various contexts. However, prior work has not fully investigated longitudinal changes to app usage behavior. In this paper, we present a longitudinal, large-scale study of mobile app usage based on a dataset collected from 162,006 iPhones and iPads over 4 years. We… ▽ More Given the importance of understanding the interaction between mobile devices and their users, app usage patterns have been studied in various contexts. However, prior work has not fully investigated longitudinal changes to app usage behavior. In this paper, we present a longitudinal, large-scale study of mobile app usage based on a dataset collected from 162,006 iPhones and iPads over 4 years. We explore multiple dimensions of app usage pattern proving useful insights on how app usage changes over time. Our key findings include (i) app usage pattern changes over time both at the individual app level and the app category level (i.e. proportion of time a user spends using an app), (ii) users keep a small set of apps frequently launched (90% of iPhone users launch roughly 14-18 apps weekly), (iii) a small number of apps remain popular while some specific kinds of apps (e.g. Games) have a shorter life cycle compared to other apps of different categories. Finally, we discuss our findings and their implications, for example, a short-term study as an attempt to understand the general needs of mobile devices may not achieve useful results for the long term. △ Less

Submitted 28 December, 2019; originally announced December 2019.

Multi-Channel Volumetric Neural Network for Knee Cartilage Segmentation in Cone-beam CT

Authors: Jennifer Maier, Luis Carlos Rivera Monroy, Christopher Syben, Ye** Jeon, Jang-Hwan Choi, Mary Elizabeth Hall, Marc Levenston, Garry Gold, Rebecca Fahrig, Andreas Maier

Abstract: Analyzing knee cartilage thickness and strain under load can help to further the understanding of the effects of diseases like Osteoarthritis. A precise segmentation of the cartilage is a necessary prerequisite for this analysis. This segmentation task has mainly been addressed in Magnetic Resonance Imaging, and was rarely investigated on contrast-enhanced Computed Tomography, where contrast agent… ▽ More Analyzing knee cartilage thickness and strain under load can help to further the understanding of the effects of diseases like Osteoarthritis. A precise segmentation of the cartilage is a necessary prerequisite for this analysis. This segmentation task has mainly been addressed in Magnetic Resonance Imaging, and was rarely investigated on contrast-enhanced Computed Tomography, where contrast agent visualizes the border between femoral and tibial cartilage. To overcome the main drawback of manual segmentation, namely its high time investment, we propose to use a 3D Convolutional Neural Network for this task. The presented architecture consists of a V-Net with SeLu activation, and a Tversky loss function. Due to the high imbalance between very few cartilage pixels and many background pixels, a high false positive rate is to be expected. To reduce this rate, the two largest segmented point clouds are extracted using a connected component analysis, since they most likely represent the medial and lateral tibial cartilage surfaces. The resulting segmentations are compared to manual segmentations, and achieve on average a recall of 0.69, which confirms the feasibility of this approach. △ Less

Submitted 3 December, 2019; originally announced December 2019.

Comments: 6 pages, accepted at BVM 2020

Validation and noise robustness assessment of microscopic anisotropy estimation with clinically feasible double diffusion encoding MRI

Authors: Leevi Kerkelä, Rafael Neto Henriques, Matt G. Hall, Chris A. Clark, Noam Shemesh

Abstract: Purpose: Double diffusion encoding (DDE) MRI enables the estimation of microscopic diffusion anisotropy, yielding valuable information on tissue microstructure. A recent study proposed that the acquisition of rotationally invariant DDE metrics, typically obtained using a spherical "5-design", could be greatly simplified by assuming Gaussian diffusion, facilitating reduced acquisition times that ar… ▽ More Purpose: Double diffusion encoding (DDE) MRI enables the estimation of microscopic diffusion anisotropy, yielding valuable information on tissue microstructure. A recent study proposed that the acquisition of rotationally invariant DDE metrics, typically obtained using a spherical "5-design", could be greatly simplified by assuming Gaussian diffusion, facilitating reduced acquisition times that are more compatible with clinical settings. Here, we aim to validate the new minimal acquisition scheme against the standard DDE 5-design, and to quantify the proposed method's noise robustness to facilitate future clinical use. Methods: DDE MRI experiments were performed on both ex vivo and in vivo rat brains at 9.4 T using the 5-design and the proposed minimal design and taking into account the difference in the number of acquisitions. The ensuing microscopic fractional anisotropy (μFA) maps were compared over a range of b-values up to 5000 s/mm2. Noise robustness was studied using analytical calculations and numerical simulations. Results: The minimal protocol quantified μFA at an accuracy comparable to the estimates obtained via the more theoretically robust DDE 5-design. μFA's sensitivity to noise was found to strongly depend on compartment anisotropy and tensor magnitude in a non-linear fashion. When μFA < 0.75 or when mean diffusivity is particularly low, very high signal to noise ratio (SNR) is required for precise quantification of μFA. Conclusion: Our work supports using DDE for quantifying microscopic diffusion anisotropy in clinical settings but raises hitherto overlooked precision issues when measuring μFA with DDE and typical clinical SNR. △ Less

Submitted 4 November, 2019; originally announced November 2019.

Journal ref: Magn Reson Med. 2019, 00: 1-13

Superallowed $0^+ \rightarrow 0^+$ $β$ decay of $T =2$ $^{20}$Mg: $Q_{\textrm{EC}}$ value and $βγ$ branching

Authors: B. E. Glassman, D. Pérez-Loureiro, C. Wrede, J. M. Allen, D. W. Bardayan, M. B. Bennett, B. A. Brown, K. A. Chipps, M. Febbraro, C. Fry, M. R. Hall, O. Hall, S. N. Liddick, A. Magilligan, P. O'Malley, W-J. Ong, S. D. Pain, P. Shidling, H. Sims, P. Thompson, H. Zhang

Abstract: \textbf{Background}: Superallowed $0^+ \rightarrow 0^+$ $β$ decays of isospin $T=2$ nuclides can be used to test theoretical isospin symmetry breaking corrections applied to extract the CKM matrix element $V_{ud}$ from $T = 0,1$ decays by measuring precise $ft$ values and also to search for scalar currents using the $β-ν$ angular correlation. Key ingredients include the $Q_{\textrm{EC}}$ value and… ▽ More \textbf{Background}: Superallowed $0^+ \rightarrow 0^+$ $β$ decays of isospin $T=2$ nuclides can be used to test theoretical isospin symmetry breaking corrections applied to extract the CKM matrix element $V_{ud}$ from $T = 0,1$ decays by measuring precise $ft$ values and also to search for scalar currents using the $β-ν$ angular correlation. Key ingredients include the $Q_{\textrm{EC}}$ value and branching of the superallowed transition and the half life of the parent. \textbf{Purpose}: To determine a precise experimental $Q_{\textrm{EC}}$ value for the superallowed $0^+ \rightarrow 0^+$ $β$ decay of $T=2$ $^{20}$Mg and the intensity of $^{20}$Mg $β$-delayed $γ$ rays through the isobaric analog state in $^{20}$Na. \textbf{Method}: A beam of $^{20}$Mg was produced using the in-flight method and implanted into a plastic scintillator surrounded by an array of high-purity germanium detectors used to detect $β$-delayed $γ$ rays. The high-resolution $γ$-ray spectrum was analyzed to measure the $γ$-ray energies and intensities. \textbf{Results}: The intensity of $^{20}$Mg $β$-delayed $γ$ rays through the isobaric analog state in $^{20}$Na was measured to be $(1.60 \pm 0.04_{\textrm{stat}} \pm 0.15_{\textrm{syst}} \pm 0.15_{\textrm{theo}}) \times 10^{-4}$, where the uncertainties are statistical, systematic, and theoretical, respectively. The $Q_{\textrm{EC}}$ value for the superallowed transition was determined to be $4128.7 \pm 2.2$ keV based on the measured excitation energy of $6498.4 \pm 0.2_{\textrm{stat}} \pm 0.4_{\textrm{syst}}$ keV and literature values for the ground-state masses of $^{20}$Na and $^{20}$Mg. \textbf{Conclusions}: The $β$-delayed $γ$-decay branch and $Q_{\textrm{EC}}$ value are now sufficiently precise to match or exceed the sensitivity required for current low-energy tests of the standard model. △ Less

Submitted 28 October, 2019; originally announced October 2019.

A Wavelet Approach for the Estimation of Left Ventricular Early Filling Wave Propagation Velocity from Color-M-Mode Echocardiograms

Authors: Sreyashi Chakraborty, Hiroyuki Iwano, Michael E. Hall, Pavlos P. Vlachos

Abstract: Objective: This work evaluates a new approach for calculating the left-ventricular (LV) early filling propagation velocity (VP) from color M-Mode (CMM) echocardiograms using wavelet analysis. Unlike current approaches, the method requires no assumptions, user inputs, or heuristic conventions. Background: Current methods for measuring VP using CMM echocardiography do not account for the spatiotempo… ▽ More Objective: This work evaluates a new approach for calculating the left-ventricular (LV) early filling propagation velocity (VP) from color M-Mode (CMM) echocardiograms using wavelet analysis. Unlike current approaches, the method requires no assumptions, user inputs, or heuristic conventions. Background: Current methods for measuring VP using CMM echocardiography do not account for the spatiotemporal variation of the filling wave propagation velocity. They are instead confined by empirical assumptions and user inputs that significantly hinder the accuracy of VP, subsequently limiting its clinical utility. Methods: We evaluated three methods for measuring LV early filling VP: conventional VP, the strength of propagation (VS), and VP determined from the most energetically important wave (Peak-VW), using 125 patients (Group A) with normal filling (n=50), impaired relaxation (n=25), pseudonormal filling (n=25) and restrictive filling (n=25), and in 69 patients (Group B) with normal (n=32), dilated (n=15), and hypertrophic ventricles (n=22). Results: Peak-VW most accurately distinguished normal left ventricles from diseased ones. Specifically, for Group A which spanned the stages of diastolic function, using receiver operator characteristics (ROC) and measuring their corresponding area under the curve (AUC), the AUC for Peak-VW was 0.92, versus 0.62 for conventional VP, 0.63 for VS and 0.58 for intraventricular pressure difference (IVPD). These correspond to a 50-70% improvement in classification ability. Similar improvements were found using Group B. Conclusion: A new determination of the LV early filling using wavelet analysis, Peak-VW, may provide a more accurate evaluation of diastolic function than the standard method of determining Vp and enable better diagnostic classification of patients suffering with diastolic dysfunction. △ Less

Submitted 25 October, 2019; originally announced October 2019.

Towards systems tissue engineering: elucidating the dynamics, spatial coordination, and individual cells driving emergent behaviors

Authors: Matthew S Hall, Joseph T Decker, Lonnie D Shea

Abstract: Biomaterial systems have allowed for the in vitro production of complex, emergent tissue behaviors that were not possible with conventional 2D culture systems allowing for analysis of the normal development as well as disease processes. We propose that the path towards develo** the design parameters for biomaterial systems lies with identifying the molecular drivers of emergent behavior through… ▽ More Biomaterial systems have allowed for the in vitro production of complex, emergent tissue behaviors that were not possible with conventional 2D culture systems allowing for analysis of the normal development as well as disease processes. We propose that the path towards develo** the design parameters for biomaterial systems lies with identifying the molecular drivers of emergent behavior through leveraging technological advances in systems biology, including single cell omics, genetic engineering, and high content imaging. This research focus, which we term systems tissue engineering, can uniquely interrogate the mechanisms by which complex tissue behaviors emerge with the potential to capture the contribution of i) dynamic regulation of tissue development and dysregulation, ii) single cell heterogeneity and the function of rare cell types, and iii) the spatial distribution and structure of individual cells and cell types within a tissue. Collectively, systems tissue engineering can facilitate the identification of biomaterial design parameters that will accelerate basic science discovery and translation. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Comments: 17 pages, 2 figures

Assessing the Efficacy of Clinical Sentiment Analysis and Topic Extraction in Psychiatric Readmission Risk Prediction

Authors: Elena Alvarez-Mellado, Eben Holderness, Nicholas Miller, Fyonn Dhang, Philip Cawkwell, Kirsten Bolton, James Pustejovsky, Mei-Hua Hall

Abstract: Predicting which patients are more likely to be readmitted to a hospital within 30 days after discharge is a valuable piece of information in clinical decision-making. Building a successful readmission risk classifier based on the content of Electronic Health Records (EHRs) has proved, however, to be a challenging task. Previously explored features include mainly structured information, such as so… ▽ More Predicting which patients are more likely to be readmitted to a hospital within 30 days after discharge is a valuable piece of information in clinical decision-making. Building a successful readmission risk classifier based on the content of Electronic Health Records (EHRs) has proved, however, to be a challenging task. Previously explored features include mainly structured information, such as sociodemographic data, comorbidity codes and physiological variables. In this paper we assess incorporating additional clinically interpretable NLP-based features such as topic extraction and clinical sentiment analysis to predict early readmission risk in psychiatry patients. △ Less

Submitted 9 October, 2019; originally announced October 2019.

Comments: LOUHI @ EMNLP 2019

Geometry of joint reality: device-independent steering and operational completeness

Authors: Michael J. W. Hall, Ángel Rivas

Abstract: We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than those considered previously. The first result uses simple geometry combined with a locality assumption to derive device-independent steering inequalities. These… ▽ More We look at what type of arguments can rule out the joint reality (or value definiteness) of two observables of a physical system, such as a qubit, and give several strong yet simple no-go results based on assumptions typically weaker than those considered previously. The first result uses simple geometry combined with a locality assumption to derive device-independent steering inequalities. These may also be regarded as "conditional" Bell inequalities, are simpler in principle to test than standard Bell inequalities, and for two-qubit systems are related to properties of the quantum steering ellipsoid. We also derive a Bell inequality from locality and a one-sided reality assumption, and demonstrate a close connection between device-independent steering and Bell nonlocality. Moreover, we obtain a no-go result without the use of locality or noncontextuality assumptions, based on similar geometry and an assumption that we call "operational completeness". The latter is related to, but strictly weaker than, preparation noncontextuality. All arguments are given for finite statistics, without requiring any assumption that joint relative frequencies converge to some (unobservable) joint probability distribution. We also generalise a recent strong result of Pusey, for preparation noncontextuality, to the scenarios of device-independent steering and operational completeness. △ Less

Submitted 6 November, 2019; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: v2: One new result, several clarifications. 17 pages, 5 figures

Journal ref: Phys. Rev. A 100, 062105 (2019)

Combustion Phasing Modelling and Control for Compression Ignition Engines with High Dilution and Boost Levels

Authors: Wenbo Sui, Carrie M. Hall

Abstract: Because fuel efficiency is significantly impacted by the timing of combustion in internal combustion engines, accurate control of combustion phasing is critical. In this paper, a nonlinear combustion phasing model is introduced and calibrated, and both a feedforward model-based control strategy and an adaptive model-based control strategy are investigated for combustion phasing control. The combus… ▽ More Because fuel efficiency is significantly impacted by the timing of combustion in internal combustion engines, accurate control of combustion phasing is critical. In this paper, a nonlinear combustion phasing model is introduced and calibrated, and both a feedforward model-based control strategy and an adaptive model-based control strategy are investigated for combustion phasing control. The combustion phasing model combines a knock integral model, burn duration model and a Wiebe function to predict the combustion phasing of a diesel engine. This model is simplified to be more suitable for combustion phasing control and is calibrated and validated using simulations and experimental data that include conditions with high exhaust gas recirculation fractions and high boost levels. Based on this model, an adaptive nonlinear model-based controller is designed for closed-loop control, and a feedforward model-based controller is designed for open-loop control. These two control approaches were tested in simulations. The simulation results show that during transient changes the CA50 (the crank angle at which 50% of the mass of fuel has burned) can reach steady state in no more than 5 cycles and the steady state errors are less than +/-0.1 crank angle degree (CAD) for adaptive control, and less than +/-0.5 CAD for feedforward model-based control. △ Less

Submitted 18 July, 2019; originally announced July 2019.

Comments: Journal of Automobile Engineering, 2018

Cylinder-Specific Model-Based Control of Combustion Phasing for Multiple-Cylinder Diesel Engines Operating with High Dilution and Boost Levels

Authors: Wenbo Sui, Carrie M. Hall, Gina Kapadia

Abstract: Accurate control of combustion phasing is indispensable for diesel engines due to the strong impact of combustion timing on efficiency. In this work, a non-linear combustion phasing model is developed and integrated with a cylinder-specific model of intake gas. The combustion phasing model uses a knock integral model, a burn duration model and a Wiebe function to predict CA50 (the crank angle at w… ▽ More Accurate control of combustion phasing is indispensable for diesel engines due to the strong impact of combustion timing on efficiency. In this work, a non-linear combustion phasing model is developed and integrated with a cylinder-specific model of intake gas. The combustion phasing model uses a knock integral model, a burn duration model and a Wiebe function to predict CA50 (the crank angle at which 50% of the mass of fuel has burned). Meanwhile, the intake gas property model predicts the EGR fraction and the in-cylinder pressure and temperature at intake valve closing (IVC) for different cylinders. As such, cylinder-to-cylinder variation of the pressure and temperature at intake valves closing is also considered in this model. This combined model is simplified for controller design and validated. Based on these models, two combustion phasing control strategies are explored. The first is an adaptive controller that is designed for closed-loop control and the second is a feedforward model-based control strategy for open-loop control. These two control approaches were tested in simulations for all six cylinders and the results demonstrate that the CA50 can reach steady state conditions within 10 cycles. In addition, the steady state errors are less than +/-0.1 crank angle degree (CAD) with the adaptive control approach, and less than +/-1.3 CAD with feedforward model-based control. The impact of errors on the control algorithms is also discussed in the paper. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: nternational Journal of Engine Research, 2018

Modeling and Control of Combustion Phasing in Dual-Fuel Compression Ignition Engines

Authors: Wenbo Sui, Jorge Pulpeiro González, Carrie M. Hall

Abstract: Dual fuel engines can achieve high efficiencies and low emissions but also can encounter high cylinder-to-cylinder variations on multi-cylinder engines. In order to avoid these variations, they require a more complex method for combustion phasing control such as model-based control. Since the combustion process in these engines is complex, typical models of the system are complex as well and there… ▽ More Dual fuel engines can achieve high efficiencies and low emissions but also can encounter high cylinder-to-cylinder variations on multi-cylinder engines. In order to avoid these variations, they require a more complex method for combustion phasing control such as model-based control. Since the combustion process in these engines is complex, typical models of the system are complex as well and there is a need for simpler, computationally efficient, control-oriented models of the dual fuel combustion process. In this paper, a mean-value combustion phasing model is designed and calibrated and two control strategies are proposed. Combustion phasing is predicted using a knock integral model, burn duration model and a Wiebe function and this model is used in both an adaptive closed loop controller and an open loop controller. These two control methodologies are tested and compared in simulations. Both control strategies are able to reach steady state in 5 cycles after a transient and have steady state errors in CA50 that are less than 0.1 crank angle degree (CAD) with the adaptive control strategy and less than 1.5 CAD with the model-based feedforward control method. △ Less

Submitted 13 June, 2019; originally announced June 2019.

Journal ref: J. Eng. Gas Turbines Power 141(5), 051005 (Nov 28, 2018)

Example-Guided Style Consistent Image Synthesis from Semantic Labeling

Authors: Miao Wang, Guo-Ye Yang, Ruilong Li, Run-Ze Liang, Song-Hai Zhang, Peter. M. Hall, Shi-Min Hu

Abstract: Example-guided image synthesis aims to synthesize an image from a semantic label map and an exemplary image indicating style. We use the term "style" in this problem to refer to implicit characteristics of images, for example: in portraits "style" includes gender, racial identity, age, hairstyle; in full body pictures it includes clothing; in street scenes, it refers to weather and time of day and… ▽ More Example-guided image synthesis aims to synthesize an image from a semantic label map and an exemplary image indicating style. We use the term "style" in this problem to refer to implicit characteristics of images, for example: in portraits "style" includes gender, racial identity, age, hairstyle; in full body pictures it includes clothing; in street scenes, it refers to weather and time of day and such like. A semantic label map in these cases indicates facial expression, full body pose, or scene segmentation. We propose a solution to the example-guided image synthesis problem using conditional generative adversarial networks with style consistency. Our key contributions are (i) a novel style consistency discriminator to determine whether a pair of images are consistent in style; (ii) an adaptive semantic consistency loss; and (iii) a training data sampling strategy, for synthesizing style-consistent results to the exemplar. △ Less

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

Comments: CVPR 2019 - Code and data - https://github.com/cxjyxxme/pix2pixSC

Modelling Early User-Game Interactions for Joint Estimation of Survival Time and Churn Probability

Authors: Valerio Bonometti, Charles Ringer, Mark Hall, Alex R. Wade, Anders Drachen

Abstract: Data-driven approaches which aim to identify and predict player engagement are becoming increasingly popular in games industry contexts. This is due to the growing practice of tracking and storing large volumes of in-game telemetries coupled with a desire to tailor the gaming experience to the end-user's needs. These approaches are particularly useful not just for companies adopting Game-as-a-Serv… ▽ More Data-driven approaches which aim to identify and predict player engagement are becoming increasingly popular in games industry contexts. This is due to the growing practice of tracking and storing large volumes of in-game telemetries coupled with a desire to tailor the gaming experience to the end-user's needs. These approaches are particularly useful not just for companies adopting Game-as-a-Service (GaaS) models (e.g. for re-engagement strategies) but also for those working under persistent content-delivery regimes (e.g. for better audience targeting). A major challenge for the latter is to build engagement models of the user which are data-efficient, holistic and can generalize across multiple game titles and genres with minimal adjustments. This work leverages a theoretical framework rooted in engagement and behavioural science research for building a model able to estimate engagement-related behaviours employing only a minimal set of game-agnostic metrics. Through a series of experiments we show how, by modelling early user-game interactions, this approach can make joint estimates of long-term survival time and churn probability across several single-player games in a range of genres. The model proposed is very suitable for industry applications since it relies on a minimal set of metrics and observations, scales well with the number of users and is explicitly designed to work across a diverse range of titles. △ Less

Submitted 21 August, 2019; v1 submitted 27 May, 2019; originally announced May 2019.

Comments: Submitted to IEEE Conference on Games 2019

Asymptotic Lattices, Good Labellings, and the Rotation Number for Quantum Integrable Systems

Authors: Monique Dauge, Michael A. Hall, San Vu Ngoc

Abstract: This article introduces the notion of good labellings for asymptotic lattices in order to study joint spectra of quantum integrable systems from the point of view of inverse spectral theory. As an application, we consider a new spectral quantity for a quantum integrable system, the quantum rotation number. In the case of two degrees of freedom, we obtain a constructive algorithm for the dete… ▽ More This article introduces the notion of good labellings for asymptotic lattices in order to study joint spectra of quantum integrable systems from the point of view of inverse spectral theory. As an application, we consider a new spectral quantity for a quantum integrable system, the quantum rotation number. In the case of two degrees of freedom, we obtain a constructive algorithm for the detection of appropriate labellings for joint eigenvalues, which we use to prove that, in the semiclassical limit, the quantum rotation number can be calculated on a joint spectrum in a robust way, and converges to the well-known classical rotation number. The general results are applied to the semitoric case where formulas become particularly natural. △ Less

Submitted 5 July, 2022; v1 submitted 24 April, 2019; originally announced April 2019.

Journal ref: Discrete and Continuous Dynamical Systems Vol. 42, No. 12, December 2022, pp. 5683-5735

Distinguishing Clinical Sentiment: The Importance of Domain Adaptation in Psychiatric Patient Health Records

Authors: Eben Holderness, Philip Cawkwell, Kirsten Bolton, James Pustejovsky, Mei-Hua Hall

Abstract: Recently natural language processing (NLP) tools have been developed to identify and extract salient risk indicators in electronic health records (EHRs). Sentiment analysis, although widely used in non-medical areas for improving decision making, has been studied minimally in the clinical setting. In this study, we undertook, to our knowledge, the first domain adaptation of sentiment analysis to p… ▽ More Recently natural language processing (NLP) tools have been developed to identify and extract salient risk indicators in electronic health records (EHRs). Sentiment analysis, although widely used in non-medical areas for improving decision making, has been studied minimally in the clinical setting. In this study, we undertook, to our knowledge, the first domain adaptation of sentiment analysis to psychiatric EHRs by defining psychiatric clinical sentiment, performing an annotation project, and evaluating multiple sentence-level sentiment machine learning (ML) models. Results indicate that off-the-shelf sentiment analysis tools fail in identifying clinically positive or negative polarity, and that the definition of clinical sentiment that we provide is learnable with relatively small amounts of training data. This project is an initial step towards further refining sentiment analysis methods for clinical use. Our long-term objective is to incorporate the results of this project as part of a machine learning model that predicts inpatient readmission risk. We hope that this work will initiate a discussion concerning domain adaptation of sentiment analysis to the clinical setting. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Comments: Accepted at Clinical NLP @ NAACL 2019

New $γ$-ray Transitions Observed in $^{19}$Ne with Implications for the $^{15}$O($α$,$γ$)$^{19}$Ne Reaction Rate

Authors: M. R. Hall, D. W. Bardayan, T. Baugher, A. Lepailleur, S. D. Pain, A. Ratkiewicz, S. Ahn, J. M. Allen, J. T. Anderson, A. D. Ayangeakaa, J. C. Blackmon, S. Burcher, M. P. Carpenter, S. M. Cha, K. Y. Chae, K. A. Chipps, J. A. Cizewski, M. Febbraro, O. Hall, J. Hu, C. L. Jiang, K. L. Jones, E. J. Lee, P. D. O'Malley, S. Ota , et al. (12 additional authors not shown)

Abstract: The $^{15}$O($α$,$γ$)$^{19}$Ne reaction is responsible for breakout from the hot CNO cycle in Type I x-ray bursts. Understanding the properties of resonances between $E_x = 4$ and 5 MeV in $^{19}$Ne is crucial in the calculation of this reaction rate. The spins and parities of these states are well known, with the exception of the 4.14- and 4.20-MeV states, which have adopted spin-parities of 9/2… ▽ More The $^{15}$O($α$,$γ$)$^{19}$Ne reaction is responsible for breakout from the hot CNO cycle in Type I x-ray bursts. Understanding the properties of resonances between $E_x = 4$ and 5 MeV in $^{19}$Ne is crucial in the calculation of this reaction rate. The spins and parities of these states are well known, with the exception of the 4.14- and 4.20-MeV states, which have adopted spin-parities of 9/2$^-$ and 7/2$^-$, respectively. Gamma-ray transitions from these states were studied using triton-$γ$-$γ$ coincidences from the $^{19}$F($^{3}$He,$tγ$)$^{19}$Ne reaction measured with GODDESS (Gammasphere ORRUBA Dual Detectors for Experimental Structure Studies) at Argonne National Laboratory. The observed transitions from the 4.14- and 4.20-MeV states provide strong evidence that the $J^π$ values are actually 7/2$^-$ and 9/2$^-$, respectively. These assignments are consistent with the values in the $^{19}$F mirror nucleus and in contrast to previously accepted assignments. △ Less

Submitted 1 April, 2019; originally announced April 2019.

Journal ref: Phys. Rev. C 99, 035805, 2019

The Apache Point Observatory Galactic Evolution Experiment (APOGEE) Spectrographs

Authors: J. C. Wilson, F. R. Hearty, M. F. Skrutskie, S. R. Majewski, J. A. Holtzman, D. Eisenstein, J. Gunn, B. Blank, C. Henderson, S. Smee, M. Nelson, D. Nidever, J. Arns, R. Barkhouser, J. Barr, S. Beland, M. A. Bershady, M. R. Blanton, S. Brunner, A. Burton, L. Carey, M. Carr, J. P. Colque, J. Crane, G. J. Damke , et al. (64 additional authors not shown)

Abstract: We describe the design and performance of the near-infrared (1.51--1.70 micron), fiber-fed, multi-object (300 fibers), high resolution (R = lambda/delta lambda ~ 22,500) spectrograph built for the Apache Point Observatory Galactic Evolution Experiment (APOGEE). APOGEE is a survey of ~ 10^5 red giant stars that systematically sampled all Milky Way populations (bulge, disk, and halo) to study the Ga… ▽ More We describe the design and performance of the near-infrared (1.51--1.70 micron), fiber-fed, multi-object (300 fibers), high resolution (R = lambda/delta lambda ~ 22,500) spectrograph built for the Apache Point Observatory Galactic Evolution Experiment (APOGEE). APOGEE is a survey of ~ 10^5 red giant stars that systematically sampled all Milky Way populations (bulge, disk, and halo) to study the Galaxy's chemical and kinematical history. It was part of the Sloan Digital Sky Survey III (SDSS-III) from 2011 -- 2014 using the 2.5 m Sloan Foundation Telescope at Apache Point Observatory, New Mexico. The APOGEE-2 survey is now using the spectrograph as part of SDSS-IV, as well as a second spectrograph, a close copy of the first, operating at the 2.5 m du Pont Telescope at Las Campanas Observatory in Chile. Although several fiber-fed, multi-object, high resolution spectrographs have been built for visual wavelength spectroscopy, the APOGEE spectrograph is one of the first such instruments built for observations in the near-infrared. The instrument's successful development was enabled by several key innovations, including a "gang connector" to allow simultaneous connections of 300 fibers; hermetically sealed feedthroughs to allow fibers to pass through the cryostat wall continuously; the first cryogenically deployed mosaic volume phase holographic grating; and a large refractive camera that includes mono-crystalline silicon and fused silica elements with diameters as large as ~ 400 mm. This paper contains a comprehensive description of all aspects of the instrument including the fiber system, optics and opto-mechanics, detector arrays, mechanics and cryogenics, instrument control, calibration system, optical performance and stability, lessons learned, and design changes for the second instrument. △ Less

Submitted 3 February, 2019; originally announced February 2019.

Comments: 81 pages, 67 figures, PASP, accepted

Key $^{19}$Ne states identified affecting $γ$-ray emission from $^{18}$F in novae

Authors: M. R. Hall, D. W. Barbadian, T. Baugher, A. Lepailleur, S. D. Pain, A. Ratkiewicz, S. Ahn, J. M. Allen, J. T. Anderson, A. D. Ayangeakaa, J. C. Blackmon, S. Burcher, M. P. Carpenter, S. M. Cha, K. Y. Chae, K. A. Chipps, J. A. Cizewski, M. Febbraro, O. Hall, J. Hu, C. L. Jiang, K. L. Jones, E. J. Lee, P. D. O'Malley, S. Ota , et al. (12 additional authors not shown)

Abstract: Detection of nuclear-decay $γ$ rays provides a sensitive thermometer of nova nucleosynthesis. The most intense $γ$-ray flux is thought to be annihilation radiation from the $β^+$ decay of $^{18}$F, which is destroyed prior to decay by the $^{18}$F($p$,$α$)$^{15}$O reaction. Estimates of $^{18}$F production had been uncertain, however, because key near-threshold levels in the compound nucleus,… ▽ More Detection of nuclear-decay $γ$ rays provides a sensitive thermometer of nova nucleosynthesis. The most intense $γ$-ray flux is thought to be annihilation radiation from the $β^+$ decay of $^{18}$F, which is destroyed prior to decay by the $^{18}$F($p$,$α$)$^{15}$O reaction. Estimates of $^{18}$F production had been uncertain, however, because key near-threshold levels in the compound nucleus, $^{19}$Ne, had yet to be identified. This Letter reports the first measurement of the $^{19}$F($^{3}$He,$tγ$)$^{19}$Ne reaction, in which the placement of two long-sought 3/2$^+$ levels is suggested via triton-$γ$-$γ$ coincidences. The precise determination of their resonance energies reduces the upper limit of the rate by a factor of $1.5-17$ at nova temperatures and reduces the average uncertainty on the nova detection probability by a factor of 2.1. △ Less

Submitted 31 January, 2019; originally announced February 2019.

Comments: 6 pages, 4 figures

Journal ref: Phys. Rev. Lett. 122, 052701, 2019

Doppler Broadening in $^{20}$Mg($βpγ$)$^{19}$Ne Decay

Authors: Brent E. Glassman, David Pérez-Loureiro, Chris Wrede, Jacob Allen, Dan W. Bardayan, Michael B. Bennett, Kelly A. Chipps, Michael Febbraro, Moshe Friedman, Cathleen Fry, Matt Hall, Oscar Hall, Sean N. Liddick, Patrick O'Malley, Wei Jia Ong, Steven D. Pain, Sarah Schwartz, Praveen Shidling, Harry Sims, Paul Thompson, Helin Zhang

Abstract: Background: The $^{15}$O($α,γ$)$^{19}$Ne bottleneck reaction in Type I x-ray bursts is the most important thermonuclear reaction rate to constrain experimentally, in order to improve the accuracy of burst light-curve simulations. A proposed technique to determine the thermonuclear rate of this reaction employs the $^{20}$Mg($βpα$)$^{15}$O decay sequence. The key $^{15}$O($α,γ$)$^{19}$Ne resonance… ▽ More Background: The $^{15}$O($α,γ$)$^{19}$Ne bottleneck reaction in Type I x-ray bursts is the most important thermonuclear reaction rate to constrain experimentally, in order to improve the accuracy of burst light-curve simulations. A proposed technique to determine the thermonuclear rate of this reaction employs the $^{20}$Mg($βpα$)$^{15}$O decay sequence. The key $^{15}$O($α,γ$)$^{19}$Ne resonance at an excitation of 4.03 MeV is now known to be fed in $^{20}$Mg($βpγ$)$^{19}$Ne; however, the energies of the protons feeding the 4.03 MeV state are unknown. Knowledge of the proton energies will facilitate future $^{20}$Mg($βp α$)$^{15}$O measurements. Purpose: To determine the energy of the proton transition feeding the 4.03 MeV state in $^{19}$Ne. Method: A fast beam of $^{20}$Mg was implanted into a plastic scintillator, which was used to detect $β$ particles. 16 high purity germanium detectors were used to detect $γ$ rays emitted following $βp$ decay. A Monte Carlo method was used to simulate the Doppler broadening of $^{19}$Ne $γ$ rays and compare to the experimental data. Results: The center of mass energy between the proton and $^{19}$Ne, feeding the 4.03 MeV state, is measured to be 1.21${^{+0.25}_{-0.22}}$ MeV, corresponding to a $^{20}$Na excitation energy of 7.44${^{+0.25}_{-0.22}}$ MeV. Absolute feeding intensities and $γ$-decay branching ratios of $^{19}$Ne states were determined including the 1615 keV state. A new $γ$ decay branch from the 1536 keV state in $^{19}$Ne to the ground state is reported. The lifetime of the 1507 keV state in $^{19}$Ne is measured to be 4.3${^{+1.3}_{-1.1}}$ ps resolving discrepancies in the literature. Conflicting $^{20}$Mg($βp$) decay schemes in published literature are clarified. △ Less

Submitted 7 January, 2019; originally announced January 2019.

Comments: 11 pages, 13 figures

Journal ref: Phys. Rev. C 99, 065801 (2019)

Determination of hexadecapole ($β_{4}$) deformation of the light-mass nucleus $^{24}$Mg using quasi-elastic measurement

Authors: Y. K. Gupta, B. K. Nayak, U. Garg, N. Sensharma, Shahina, R. Gandhi, D. C. Biswas, M. Şenyiğit, K. B. Howard, W. Tan, P. D. O'Malley, K. Hagino, M. Smith, O. Hall, M. Hall, Richard J. deBoer, K. Ostdiek, Q. Liu, A. Long, J. Hu, T. Anderson, M. Skulski, W. Lu, E. Lamere, S. Lyons , et al. (4 additional authors not shown)

Abstract: Quasi-elastic scattering measurements have been performed using $^{16}$O and $^{24}$Mg projectiles off $^{90}$Zr at energies around the Coulomb barrier. Experimental data have been analyzed in the framework of coupled channels (CC) calculations using the code CCFULL. The quasi-elastic scattering excitation function and derived barrier distribution for $^{16}$O + $^{90}$Zr reaction are well reprodu… ▽ More Quasi-elastic scattering measurements have been performed using $^{16}$O and $^{24}$Mg projectiles off $^{90}$Zr at energies around the Coulomb barrier. Experimental data have been analyzed in the framework of coupled channels (CC) calculations using the code CCFULL. The quasi-elastic scattering excitation function and derived barrier distribution for $^{16}$O + $^{90}$Zr reaction are well reproduced by the CC calculations using the vibrational coupling strengths for $^{90}$Zr reported in the literature. Using these vibrational coupling strengths, a Bayesian analysis is carried out for $^{24}$Mg + $^{90}$Zr reaction. The $β_{2}$ and $β_{4}$ values for $^{24}$Mg are determined to be $+0.43 \pm 0.02$ and $ - 0.11 \pm 0.02$, respectively. The $β_{2}$ parameter determined in the present work is in good agreement with results obtained using inelastic scattering probes. The hexadecapole deformation of $^{24}$Mg has been measured very precisely for the first time. Present results establish that quasi-elastic scattering could provide a useful probe to determine the ground state deformation of atomic nuclei. △ Less

Submitted 5 May, 2020; v1 submitted 30 November, 2018; originally announced November 2018.

Comments: This is a slightly modified version, accepted for publication in Phys. Lett. B