-
Aligning Tutor Discourse Supporting Rigorous Thinking with Tutee Content Mastery for Predicting Math Achievement
Authors:
Mark Abdelshiheed,
Jennifer K. Jacobs,
Sidney K. D'Mello
Abstract:
This work investigates how tutoring discourse interacts with students' proximal knowledge to explain and predict students' learning outcomes. Our work is conducted in the context of high-dosage human tutoring where 9th-grade students (N= 1080) attended small group tutorials and individually practiced problems on an Intelligent Tutoring System (ITS). We analyzed whether tutors' talk moves and stude…
▽ More
This work investigates how tutoring discourse interacts with students' proximal knowledge to explain and predict students' learning outcomes. Our work is conducted in the context of high-dosage human tutoring where 9th-grade students (N= 1080) attended small group tutorials and individually practiced problems on an Intelligent Tutoring System (ITS). We analyzed whether tutors' talk moves and students' performance on the ITS predicted scores on math learning assessments. We trained Random Forest Classifiers (RFCs) to distinguish high and low assessment scores based on tutor talk moves, student's ITS performance metrics, and their combination. A decision tree was extracted from each RFC to yield an interpretable model. We found AUCs of 0.63 for talk moves, 0.66 for ITS, and 0.77 for their combination, suggesting interactivity among the two feature sources. Specifically, the best decision tree emerged from combining the tutor talk moves that encouraged rigorous thinking and students' ITS mastery. In essence, tutor talk that encouraged mathematical reasoning predicted achievement for students who demonstrated high mastery on the ITS, whereas tutors' revoicing of students' mathematical ideas and contributions was predictive for students with low ITS mastery. Implications for practice are discussed.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
KATch: A Fast Symbolic Verifier for NetKAT
Authors:
Mark Moeller,
Jules Jacobs,
Olivier Savary Belanger,
David Darais,
Cole Schlesinger,
Steffen Smolka,
Nate Foster,
Alexandra Silva
Abstract:
We develop new data structures and algorithms for checking verification queries in NetKAT, a domain-specific language for specifying the behavior of network data planes. Our results extend the techniques obtained in prior work on symbolic automata and provide a framework for building efficient and scalable verification tools. We present KATch, an implementation of these ideas in Scala, featuring a…
▽ More
We develop new data structures and algorithms for checking verification queries in NetKAT, a domain-specific language for specifying the behavior of network data planes. Our results extend the techniques obtained in prior work on symbolic automata and provide a framework for building efficient and scalable verification tools. We present KATch, an implementation of these ideas in Scala, featuring an extended set of NetKAT operators that are useful for expressing network-wide specifications, and a verification engine that constructs a bisimulation or generates a counter-example showing that none exists. We evaluate the performance of our implementation on real-world and synthetic benchmarks, verifying properties such as reachability and slice isolation, typically returning a result in well under a second, which is orders of magnitude faster than previous approaches. Our advancements underscore NetKAT's potential as a practical, declarative language for network specification and verification.
△ Less
Submitted 21 June, 2024; v1 submitted 6 April, 2024;
originally announced April 2024.
-
Robust stability analysis of an energy-efficient control in a Networked Control System with application to Unmanned Ground Vehicles
Authors:
Antonio Gonzalez,
Angel Cuenca,
Julian Salt,
Jelle Jacobs
Abstract:
In this paper, the robust stability and disturbance rejection performance analysis of an energy-efficient control is addressed in the framework of Networked Control System (NCS). The control scheme under study integrates periodic event-triggered control, packet-based control, time-varying Kalman filter, dual-rate control and prediction techniques, whose design is aimed at reducing energy consumpti…
▽ More
In this paper, the robust stability and disturbance rejection performance analysis of an energy-efficient control is addressed in the framework of Networked Control System (NCS). The control scheme under study integrates periodic event-triggered control, packet-based control, time-varying Kalman filter, dual-rate control and prediction techniques, whose design is aimed at reducing energy consumption and bandwidth usage. The robust stability against time-varying model uncertainties is analyzed by means of a suficient condition based on Linear Matrix Inequalities (LMI). Finally, the effectiveness of the proposed approach is experimentally validated in a tracking control for an Unmanned Ground Vehicle (UGV), which is a battery-constrained mobile device with limited computation capacities.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Highly ${ }^{28} \mathrm{Si}$ Enriched Silicon by Localised Focused Ion Beam Implantation
Authors:
Ravi Acharya,
Maddison Coke,
Mason Adshead,
Kexue Li,
Barat Achinuq,
Rongsheng Cai,
A. Baset Gholizadeh,
Janet Jacobs,
Jessica L. Boland,
Sarah J. Haigh,
Katie L. Moore,
David N. Jamieson,
Richard J. Curry
Abstract:
Solid-state spin qubits within silicon crystals at mK temperatures show great promise in the realisation of a fully scalable quantum computation platform. Qubit coherence times are limited in natural silicon owing to coupling to the isotope ${ }^{29} \mathrm{Si}$ which has a non-zero nuclear spin. This work presents a method for the depletion of ${ }^{29} \mathrm{Si}$ in localised volumes of natur…
▽ More
Solid-state spin qubits within silicon crystals at mK temperatures show great promise in the realisation of a fully scalable quantum computation platform. Qubit coherence times are limited in natural silicon owing to coupling to the isotope ${ }^{29} \mathrm{Si}$ which has a non-zero nuclear spin. This work presents a method for the depletion of ${ }^{29} \mathrm{Si}$ in localised volumes of natural silicon wafers by irradiation using a 45 keV ${ }^{28} \mathrm{Si}$ focused ion beam with fluences above $1 \times 10^{19} \, \mathrm{ions} \, \mathrm{cm}^{-2}$. Nanoscale secondary ion mass spectrometry analysis of the irradiated volumes shows unprecedented quality enriched silicon that reaches a minimal residual ${ }^{29} \mathrm{Si}$ value of 2.3 $\pm$ 0.7 ppm and with residual C and O comparable to the background concentration in the unimplanted wafer. Transmission electron microscopy lattice images confirm the solid phase epitaxial re-crystallization of the as-implanted amorphous enriched volume extending over 200 nm in depth upon annealing. The ease of fabrication, requiring only commercially available natural silicon wafers and ion sources, opens the possibility for co-integration of qubits in localised highly enriched volumes with control circuitry in the surrounding natural silicon for large-scale devices.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Next Steps for Human-Centered Generative AI: A Technical Perspective
Authors:
Xiang 'Anthony' Chen,
Jeff Burke,
Ruofei Du,
Matthew K. Hong,
Jennifer Jacobs,
Philippe Laban,
Dingzeyu Li,
Nanyun Peng,
Karl D. D. Willis,
Chien-Sheng Wu,
Bolei Zhou
Abstract:
Through iterative, cross-disciplinary discussions, we define and propose next-steps for Human-centered Generative AI (HGAI). We contribute a comprehensive research agenda that lays out future directions of Generative AI spanning three levels: aligning with human values; assimilating human intents; and augmenting human abilities. By identifying these next-steps, we intend to draw interdisciplinary…
▽ More
Through iterative, cross-disciplinary discussions, we define and propose next-steps for Human-centered Generative AI (HGAI). We contribute a comprehensive research agenda that lays out future directions of Generative AI spanning three levels: aligning with human values; assimilating human intents; and augmenting human abilities. By identifying these next-steps, we intend to draw interdisciplinary research teams to pursue a coherent set of emergent ideas in HGAI, focusing on their interested topics while maintaining a coherent big picture of the future work landscape.
△ Less
Submitted 22 December, 2023; v1 submitted 27 June, 2023;
originally announced June 2023.
-
Enhancing Vulnerability Prioritization: Data-Driven Exploit Predictions with Community-Driven Insights
Authors:
Jay Jacobs,
Sasha Romanosky,
Octavian Suciu,
Benjamin Edwards,
Armin Sarabi
Abstract:
The number of disclosed vulnerabilities has been steadily increasing over the years. At the same time, organizations face significant challenges patching their systems, leading to a need to prioritize vulnerability remediation in order to reduce the risk of attacks. Unfortunately, existing vulnerability scoring systems are either vendor-specific, proprietary, or are only commercially available. Mo…
▽ More
The number of disclosed vulnerabilities has been steadily increasing over the years. At the same time, organizations face significant challenges patching their systems, leading to a need to prioritize vulnerability remediation in order to reduce the risk of attacks. Unfortunately, existing vulnerability scoring systems are either vendor-specific, proprietary, or are only commercially available. Moreover, these and other prioritization strategies based on vulnerability severity are poor predictors of actual vulnerability exploitation because they do not incorporate new information that might impact the likelihood of exploitation. In this paper we present the efforts behind building a Special Interest Group (SIG) that seeks to develop a completely data-driven exploit scoring system that produces scores for all known vulnerabilities, that is freely available, and which adapts to new information. The Exploit Prediction Scoring System (EPSS) SIG consists of more than 170 experts from around the world and across all industries, providing crowd-sourced expertise and feedback. Based on these collective insights, we describe the design decisions and trade-offs that lead to the development of the next version of EPSS. This new machine learning model provides an 82\% performance improvement over past models in distinguishing vulnerabilities that are exploited in the wild and thus may be prioritized for remediation.
△ Less
Submitted 15 June, 2023; v1 submitted 27 February, 2023;
originally announced February 2023.
-
Enabling Astronaut Self-Scheduling using a Robust Advanced Modelling and Scheduling system: an assessment during a Mars analogue mission
Authors:
Michael Saint-Guillain,
Jean Vanderdonckt,
Nicolas Burny,
Vladimir Pletser,
Tiago Vaquero,
Steve Chien,
Alexander Karl,
Jessica Marquez,
John Karasinski,
Cyril Wain,
Audrey Comein,
Ignacio S. Casla,
Jean Jacobs,
Julien Meert,
Cheyenne Chamart,
Sirga Drouet,
Julie Manon
Abstract:
Human long duration exploration missions (LDEMs) raise a number of technological challenges. This paper addresses the question of the crew autonomy: as the distances increase, the communication delays and constraints tend to prevent the astronauts from being monitored and supported by a real time ground control. Eventually, future planetary missions will necessarily require a form of astronaut sel…
▽ More
Human long duration exploration missions (LDEMs) raise a number of technological challenges. This paper addresses the question of the crew autonomy: as the distances increase, the communication delays and constraints tend to prevent the astronauts from being monitored and supported by a real time ground control. Eventually, future planetary missions will necessarily require a form of astronaut self-scheduling. We study the usage of a computer decision-support tool by a crew of analog astronauts, during a Mars simulation mission conducted at the Mars Desert Research Station (MDRS, Mars Society) in Utah. The proposed tool, called Romie, belongs to the new category of Robust Advanced Modelling and Scheduling (RAMS) systems. It allows the crew members (i) to visually model their scientific objectives and constraints, (ii) to compute near-optimal operational schedules while taking uncertainty into account, (iii) to monitor the execution of past and current activities, and (iv) to modify scientific objectives/constraints w.r.t. unforeseen events and opportunistic science. In this study, we empirically measure how the astronauts, who are novice planners, perform at using such a tool when self-scheduling under the realistic assumptions of a simulated Martian planetary habitat.
△ Less
Submitted 14 January, 2023;
originally announced January 2023.
-
Denser glasses relax faster: a competition between rejuvenation and aging during in-situ high pressure compression at the atomic scale
Authors:
A. Cornet,
G. Garbarino,
F. Zontone,
Y. Chushkin,
J. Jacobs,
E. Pineda,
T. Deschamps,
S. Li,
A. Ronca,
J. Shen,
G. Morard,
N. Neuber,
M. Frey,
R. Busch,
I. Gallino,
M. Mezouar,
G. Vaughan,
B. Ruta
Abstract:
A fascinating feature of metallic glasses is their ability to explore different configurations under mechanical deformations. This effect is usually observed through macroscopic observables, while little is known on the consequence of the deformation at atomic level. Using the new generation of synchrotrons, we probe the atomic motion and structure in a metallic glass under hydrostatic compression…
▽ More
A fascinating feature of metallic glasses is their ability to explore different configurations under mechanical deformations. This effect is usually observed through macroscopic observables, while little is known on the consequence of the deformation at atomic level. Using the new generation of synchrotrons, we probe the atomic motion and structure in a metallic glass under hydrostatic compression, from the onset of the perturbation up to a severely-compressed state. While the structure indicates reversible densification under compression, the dynamic is dramatically accelerated and exhibits a hysteresis with two regimes. At low pressures, the atomic motion is heterogeneous with avalanche-like rearrangements suggesting rejuvenation, while under further compression, aging leads to a super-diffusive dynamics triggered by internal stresses inherent to the glass. These results highlight the complexity of the atomic motion in non-ergodic systems and support a theory recently developed to describe the surprising rejuvenation and strain hardening of metallic glasses under compression.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
Localized Shortcut Removal
Authors:
Nicolas M. Müller,
Jochen Jacobs,
Jennifer Williams,
Konstantin Böttinger
Abstract:
Machine learning is a data-driven field, and the quality of the underlying datasets plays a crucial role in learning success. However, high performance on held-out test data does not necessarily indicate that a model generalizes or learns anything meaningful. This is often due to the existence of machine learning shortcuts - features in the data that are predictive but unrelated to the problem at…
▽ More
Machine learning is a data-driven field, and the quality of the underlying datasets plays a crucial role in learning success. However, high performance on held-out test data does not necessarily indicate that a model generalizes or learns anything meaningful. This is often due to the existence of machine learning shortcuts - features in the data that are predictive but unrelated to the problem at hand. To address this issue for datasets where the shortcuts are smaller and more localized than true features, we propose a novel approach to detect and remove them. We use an adversarially trained lens to detect and eliminate highly predictive but semantically unconnected clues in images. In our experiments on both synthetic and real-world data, we show that our proposed approach reliably identifies and neutralizes such shortcuts without causing degradation of model performance on clean data. We believe that our approach can lead to more meaningful and generalizable machine learning models, especially in scenarios where the quality of the underlying datasets is crucial.
△ Less
Submitted 23 May, 2023; v1 submitted 24 November, 2022;
originally announced November 2022.
-
Fast Coalgebraic Bisimilarity Minimization
Authors:
Jules Jacobs,
Thorsten Wißmann
Abstract:
Coalgebraic bisimilarity minimization generalizes classical automaton minimization to a large class of automata whose transition structure is specified by a functor, subsuming strong, weighted, and probabilistic bisimilarity. This offers the enticing possibility of turning bisimilarity minimization into an off-the-shelf technology, without having to develop a new algorithm for each new type of aut…
▽ More
Coalgebraic bisimilarity minimization generalizes classical automaton minimization to a large class of automata whose transition structure is specified by a functor, subsuming strong, weighted, and probabilistic bisimilarity. This offers the enticing possibility of turning bisimilarity minimization into an off-the-shelf technology, without having to develop a new algorithm for each new type of automaton. Unfortunately, there is no existing algorithm that is fully general, efficient, and able to handle large systems.
We present a generic algorithm that minimizes coalgebras over an arbitrary functor in the category of sets as long as the action on morphisms is sufficiently computable. The functor makes at most $\mathcal{O}(m \log n)$ calls to the functor-specific action, where $n$ is the number of states and $m$ is the number of transitions in the coalgebra.
While more specialized algorithms can be asymptotically faster than our algorithm (usually by a factor of $\mathcal{O}(\frac{m}{n})$), our algorithm is especially well suited to efficient implementation, and our tool Boa often uses much less time and memory on existing benchmarks, and can handle larger automata, despite being more generic.
△ Less
Submitted 17 November, 2022; v1 submitted 26 April, 2022;
originally announced April 2022.
-
The TalkMoves Dataset: K-12 Mathematics Lesson Transcripts Annotated for Teacher and Student Discursive Moves
Authors:
Abhijit Suresh,
Jennifer Jacobs,
Charis Harty,
Margaret Perkoff,
James H. Martin,
Tamara Sumner
Abstract:
Transcripts of teaching episodes can be effective tools to understand discourse patterns in classroom instruction. According to most educational experts, sustained classroom discourse is a critical component of equitable, engaging, and rich learning environments for students. This paper describes the TalkMoves dataset, composed of 567 human-annotated K-12 mathematics lesson transcripts (including…
▽ More
Transcripts of teaching episodes can be effective tools to understand discourse patterns in classroom instruction. According to most educational experts, sustained classroom discourse is a critical component of equitable, engaging, and rich learning environments for students. This paper describes the TalkMoves dataset, composed of 567 human-annotated K-12 mathematics lesson transcripts (including entire lessons or portions of lessons) derived from video recordings. The set of transcripts primarily includes in-person lessons with whole-class discussions and/or small group work, as well as some online lessons. All of the transcripts are human-transcribed, segmented by the speaker (teacher or student), and annotated at the sentence level for ten discursive moves based on accountable talk theory. In addition, the transcripts include utterance-level information in the form of dialogue act labels based on the Switchboard Dialog Act Corpus. The dataset can be used by educators, policymakers, and researchers to understand the nature of teacher and student discourse in K-12 math classrooms. Portions of this dataset have been used to develop the TalkMoves application, which provides teachers with automated, immediate, and actionable feedback about their mathematics instruction.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
Biased Hypothesis Formation From Projection Pursuit
Authors:
John Patterson,
Chris Avery,
Tyler Grear,
Donald J. Jacobs
Abstract:
The effect of bias on hypothesis formation is characterized for an automated data-driven projection pursuit neural network to extract and select features for binary classification of data streams. This intelligent exploratory process partitions a complete vector state space into disjoint subspaces to create working hypotheses quantified by similarities and differences observed between two groups o…
▽ More
The effect of bias on hypothesis formation is characterized for an automated data-driven projection pursuit neural network to extract and select features for binary classification of data streams. This intelligent exploratory process partitions a complete vector state space into disjoint subspaces to create working hypotheses quantified by similarities and differences observed between two groups of labeled data streams. Data streams are typically time sequenced, and may exhibit complex spatio-temporal patterns. For example, given atomic trajectories from molecular dynamics simulation, the machine's task is to quantify dynamical mechanisms that promote function by comparing protein mutants, some known to function while others are nonfunctional. Utilizing synthetic two-dimensional molecules that mimic the dynamics of functional and nonfunctional proteins, biases are identified and controlled in both the machine learning model and selected training data under different contexts. The refinement of a working hypothesis converges to a statistically robust multivariate perception of the data based on a context-dependent perspective. Including diverse perspectives during data exploration enhances interpretability of the multivariate characterization of similarities and differences.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Using Transformers to Provide Teachers with Personalized Feedback on their Classroom Discourse: The TalkMoves Application
Authors:
Abhijit Suresh,
Jennifer Jacobs,
Vivian Lai,
Chenhao Tan,
Wayne Ward,
James H. Martin,
Tamara Sumner
Abstract:
TalkMoves is an innovative application designed to support K-12 mathematics teachers to reflect on, and continuously improve their instructional practices. This application combines state-of-the-art natural language processing capabilities with automated speech recognition to automatically analyze classroom recordings and provide teachers with personalized feedback on their use of specific types o…
▽ More
TalkMoves is an innovative application designed to support K-12 mathematics teachers to reflect on, and continuously improve their instructional practices. This application combines state-of-the-art natural language processing capabilities with automated speech recognition to automatically analyze classroom recordings and provide teachers with personalized feedback on their use of specific types of discourse aimed at broadening and deepening classroom conversations about mathematics. These specific discourse strategies are referred to as "talk moves" within the mathematics education community and prior research has documented the ways in which systematic use of these discourse strategies can positively impact student engagement and learning. In this article, we describe the TalkMoves application's cloud-based infrastructure for managing and processing classroom recordings, and its interface for providing teachers with feedback on their use of talk moves during individual teaching episodes. We present the series of model architectures we developed, and the studies we conducted, to develop our best-performing, transformer-based model (F1 = 79.3%). We also discuss several technical challenges that need to be addressed when working with real-world speech and language data from noisy K-12 classrooms.
△ Less
Submitted 29 April, 2021;
originally announced May 2021.
-
What We Can Learn From Visual Artists About Software Development
Authors:
**gyi Li,
Sonia Hashim,
Jennifer Jacobs
Abstract:
This paper explores software's role in visual art production by examining how artists use and develop software. We conducted interviews with professional artists who were collaborating with software developers, learning software development, and building and maintaining software. We found artists were motivated to learn software development for intellectual growth and access to technical communiti…
▽ More
This paper explores software's role in visual art production by examining how artists use and develop software. We conducted interviews with professional artists who were collaborating with software developers, learning software development, and building and maintaining software. We found artists were motivated to learn software development for intellectual growth and access to technical communities. Artists valued efficient workflows through skilled manual execution and personal software development, but avoided high-level forms of software automation. Artists identified conflicts between their priorities and those of professional developers and computational art communities, which influenced how they used computational aesthetics in their work. These findings contribute to efforts in systems engineering research to integrate end-user programming and creativity support across software and physical media, suggesting opportunities for artists as collaborators. Artists' experiences writing software can guide technical implementations of domain-specific representations, and their experiences in interdisciplinary production can aid inclusive community building around computational tools.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
Remote Learners, Home Makers: How Digital Fabrication Was Taught Online During a Pandemic
Authors:
Gabrielle Benabdallah,
Samuelle Bourgault,
Nadya Peek,
Jennifer Jacobs
Abstract:
Digital fabrication courses that relied on physical makerspaces were severely disrupted by COVID-19. As universities shut down in Spring 2020, instructors developed new models for digital fabrication at a distance. Through interviews with faculty and students and examination of course materials, we recount the experiences of eight remote digital fabrication courses. We found that learning with hob…
▽ More
Digital fabrication courses that relied on physical makerspaces were severely disrupted by COVID-19. As universities shut down in Spring 2020, instructors developed new models for digital fabrication at a distance. Through interviews with faculty and students and examination of course materials, we recount the experiences of eight remote digital fabrication courses. We found that learning with hobbyist equipment and online social networks could emulate using industrial equipment in shared workshops. Furthermore, at-home digital fabrication offered unique learning opportunities including more iteration, machine tuning, and maintenance. These opportunities depended on new forms of labor and varied based on student living situations. Our findings have implications for remote and in-person digital fabrication instruction. They indicate how access to tools was important, but not as critical as providing opportunities for iteration; they show how remote fabrication exacerbated student inequities; and they suggest strategies for evaluating trade-offs in remote fabrication models with respect to learning objectives.
△ Less
Submitted 28 January, 2021; v1 submitted 26 January, 2021;
originally announced January 2021.
-
Paradoxes of Probabilistic Programming
Authors:
Jules Jacobs
Abstract:
Probabilistic programming languages allow programmers to write down conditional probability distributions that represent statistical and machine learning models as programs that use observe statements. These programs are run by accumulating likelihood at each observe statement, and using the likelihood to steer random choices and weigh results with inference algorithms such as importance sampling…
▽ More
Probabilistic programming languages allow programmers to write down conditional probability distributions that represent statistical and machine learning models as programs that use observe statements. These programs are run by accumulating likelihood at each observe statement, and using the likelihood to steer random choices and weigh results with inference algorithms such as importance sampling or MCMC. We argue that naive likelihood accumulation does not give desirable semantics and leads to paradoxes when an observe statement is used to condition on a measure-zero event, particularly when the observe statement is executed conditionally on random data. We show that the paradoxes disappear if we explicitly model measure-zero events as a limit of positive measure events, and that we can execute these type of probabilistic programs by accumulating infinitesimal probabilities rather than probability densities. Our extension improves probabilistic programming languages as an executable notation for probability distributions by making it more well-behaved and more expressive, by allowing the programmer to be explicit about which limit is intended when conditioning on an event of measure zero.
△ Less
Submitted 22 January, 2021; v1 submitted 9 January, 2021;
originally announced January 2021.
-
Real-time imputation of missing predictor values in clinical practice
Authors:
Steven WJ Nijman,
Jeroen Hoogland,
T Katrien J Groenhof,
Menno Brandjes,
John JL Jacobs,
Michiel L Bots,
Folkert W Asselbergs,
Karel GM Moons,
Thomas PA Debray
Abstract:
Use of prediction models is widely recommended by clinical guidelines, but usually requires complete information on all predictors that is not always available in daily practice. We describe two methods for real-time handling of missing predictor values when using prediction models in practice. We compare the widely used method of mean imputation (M-imp) to a method that personalizes the imputatio…
▽ More
Use of prediction models is widely recommended by clinical guidelines, but usually requires complete information on all predictors that is not always available in daily practice. We describe two methods for real-time handling of missing predictor values when using prediction models in practice. We compare the widely used method of mean imputation (M-imp) to a method that personalizes the imputations by taking advantage of the observed patient characteristics. These characteristics may include both prediction model variables and other characteristics (auxiliary variables). The method was implemented using imputation from a joint multivariate normal model of the patient characteristics (joint modeling imputation; JMI). Data from two different cardiovascular cohorts with cardiovascular predictors and outcome were used to evaluate the real-time imputation methods. We quantified the prediction model's overall performance (mean squared error (MSE) of linear predictor), discrimination (c-index), calibration (intercept and slope) and net benefit (decision curve analysis). When compared with mean imputation, JMI substantially improved the MSE (0.10 vs. 0.13), c-index (0.70 vs 0.68) and calibration (calibration-in-the-large: 0.04 vs. 0.06; calibration slope: 1.01 vs. 0.92), especially when incorporating auxiliary variables. When the imputation method was based on an external cohort, calibration deteriorated, but discrimination remained similar. We recommend JMI with auxiliary variables for real-time imputation of missing values, and to update imputation models when implementing them in new settings or (sub)populations.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
A magic determinant formula for symmetric polynomials of eigenvalues
Authors:
Jules Jacobs
Abstract:
Symmetric polynomials of the roots of a polynomial can be written as polynomials of the coefficients, and by applying this to the characteristic polynomial we can write a symmetric polynomial of the eigenvalues $a_{i}$ of an $n\times n$ matrix $A$ as a polynomial of the entries of the matrix. We give a magic formula for this: symbolically substitute $a\mapsto A$ in the symmetric polynomial and rep…
▽ More
Symmetric polynomials of the roots of a polynomial can be written as polynomials of the coefficients, and by applying this to the characteristic polynomial we can write a symmetric polynomial of the eigenvalues $a_{i}$ of an $n\times n$ matrix $A$ as a polynomial of the entries of the matrix. We give a magic formula for this: symbolically substitute $a\mapsto A$ in the symmetric polynomial and replace multiplication by $\det$. For instance, for a $2\times2$ matrix $A$ with eigenvalues $a_{1},a_{2}$, \begin{align*} a_1 a_2^2 +a_1^2 a_2 & =\det(A_1, A_2^2)+ \det(A_1^2, A_2) \end{align*} where $A_i^k$ is the $i$-th column of $A^k$. One may also take negative powers, allowing us to calculate: \begin{align*} a_1a_2^{-1}+a_1^{-1}a_{2} & =\det(A_{1},A_{2}^{-1})+\det(A_1^{-1},A_{2}) \end{align*} The magic method also works for multivariate symmetric polynomials of the eigenvalues of a set of commuting matrices, e.g. for $2\times2$ matrices $A$ and $B$ with eigenvalues $a_1,a_2$ and $b_{1},b_{2}$, \begin{align*} a_1 b_1 a_2^2 + a_1^2a_2b_2 & = \det(AB_{1},A_2^2) + \det(A_1^2,AB_2) \end{align*}
△ Less
Submitted 19 September, 2020; v1 submitted 3 September, 2020;
originally announced September 2020.
-
Nuclear Spin Crossover in Dense Molecular Hydrogen
Authors:
Thomas Meier,
Dominique Laniel,
Miriam Pena-Alvarez,
Florian Trybel,
Saiana Khandarkhaeva,
Alena Krupp,
Jeroen Jacobs,
Natalia Dubrovinskaia,
Leonid Dubrovinsky
Abstract:
The laws of quantum mechanics are often tested against the behaviour of the lightest element in the periodic table, hydrogen. One of the most striking properties of molecular hydrogen is the coupling between molecular rotational properties and nuclear spin orientations, giving rise to the spin isomers ortho- and para-hydrogen. At high pressure, as intermolecular interactions increase significantly…
▽ More
The laws of quantum mechanics are often tested against the behaviour of the lightest element in the periodic table, hydrogen. One of the most striking properties of molecular hydrogen is the coupling between molecular rotational properties and nuclear spin orientations, giving rise to the spin isomers ortho- and para-hydrogen. At high pressure, as intermolecular interactions increase significantly, the free rotation of H2 molecules is increasingly hindered, and consequently a modification of the coupling between molecular rotational properties and the nuclear spin system can be anticipated. To date, high-pressure experimental methods have not been able to observe nuclear spin states at pressures approaching 100 GPa and consequently the effect of high pressure on the nuclear spin statistics could not be directly measured. Here, we present in-situ high-pressure nuclear magnetic resonance data on molecular hydrogen in its hexagonal phase I up to 123 GPa at room temperature. While our measurements confirm the presence of I=1 ortho-hydrogen at low pressures, above 70 GPa, where inter- and intramolecular distances become comparable, we observe a crossover in the nuclear spin statistics from a spin-1 quadrupolar to a spin-1/2 dipolar system, evidencing the loss of spin isomer distinction. These observations represent a unique case of a nuclear spin crossover phenomenon in quantum solids.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Exploit Prediction Scoring System (EPSS)
Authors:
Jay Jacobs,
Sasha Romanosky,
Benjamin Edwards,
Michael Roytman,
Idris Adjerid
Abstract:
Despite the massive investments in information security technologies and research over the past decades, the information security industry is still immature. In particular, the prioritization of remediation efforts within vulnerability management programs predominantly relies on a mixture of subjective expert opinion, severity scores, and incomplete data. Compounding the need for prioritization is…
▽ More
Despite the massive investments in information security technologies and research over the past decades, the information security industry is still immature. In particular, the prioritization of remediation efforts within vulnerability management programs predominantly relies on a mixture of subjective expert opinion, severity scores, and incomplete data. Compounding the need for prioritization is the increase in the number of vulnerabilities the average enterprise has to remediate. This paper produces the first open, data-driven framework for assessing vulnerability threat, that is, the probability that a vulnerability will be exploited in the wild within the first twelve months after public disclosure. This scoring system has been designed to be simple enough to be implemented by practitioners without specialized tools or software, yet provides accurate estimates of exploitation. Moreover, the implementation is flexible enough that it can be updated as more, and better, data becomes available. We call this system the Exploit Prediction Scoring System, EPSS.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
Improving Resolution of Solid State NMR in Dense Molecular Hydrogen
Authors:
Thomas Meier,
Saiana Khandarkhaeva,
Jeroen Jacobs,
Natalia Dubrovinskaia,
Leonid Dubrovinksy
Abstract:
Recent advancements in radio-frequency resonator designs have led to the implementation of nuclear magnetic resonance in diamond anvil cells (DACs) at pressures well above 100 GPa. However, a relatively low resolution and the absence of decoupling sequences complicate the analysis of the results of solid state NMR in DACs. Here, we present the first application of homo-nuclear Lee-Goldburg (LG) de…
▽ More
Recent advancements in radio-frequency resonator designs have led to the implementation of nuclear magnetic resonance in diamond anvil cells (DACs) at pressures well above 100 GPa. However, a relatively low resolution and the absence of decoupling sequences complicate the analysis of the results of solid state NMR in DACs. Here, we present the first application of homo-nuclear Lee-Goldburg (LG) decoupling at extreme conditions on high density molecular hydrogen. Lenz lens based two-dimensional resonator structures were found to generate a homogeneous B1 field across sample cavities as small as 12 picolitres, a prerequisite for optimal decoupling. At ideal LG conditions, the broad 1H resonance of molecular ortho-hydrogen was narrowed 1600-fold, resulting in line-widths of 3.1 ppm.
△ Less
Submitted 3 August, 2019;
originally announced August 2019.
-
Resonant inelastic x-ray scattering of magnetic excitations under pressure
Authors:
Matteo Rossi,
Christian Henriquet,
Jeroen Jacobs,
Christian Donnerer,
Stefano Boseggia,
Ali Al-Zein,
Roberto Fumagalli,
Yi Yao,
James G. Vale,
Emily C. Hunter,
Robin S. Perry,
Innokenty Kantor,
Gaston Garbarino,
Wilson Crichton,
Giulio Monaco,
Desmond F. McMorrow,
Michael Krisch,
Marco Moretti Sala
Abstract:
Resonant inelastic x-ray scattering (RIXS) is an extremely valuable tool for the study of elementary, including magnetic, excitations in matter. Latest developments of this technique mostly aimed at improving the energy resolution and performing polarization analysis of the scattered radiation, with a great impact on the interpretation and applicability of RIXS. Instead, this article focuses on th…
▽ More
Resonant inelastic x-ray scattering (RIXS) is an extremely valuable tool for the study of elementary, including magnetic, excitations in matter. Latest developments of this technique mostly aimed at improving the energy resolution and performing polarization analysis of the scattered radiation, with a great impact on the interpretation and applicability of RIXS. Instead, this article focuses on the sample environment and presents a setup for high-pressure low-temperature RIXS measurements of low-energy excitations. The feasibility of these experiments is proved by probing the magnetic excitations of the bilayer iridate Sr$_3$Ir$_2$O$_7$ at pressures up to 12 GPa.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
Risky Business: Assessing Security with External Measurements
Authors:
Benjamin Edwards,
Jay Jacobs,
Stephanie Forrest
Abstract:
Security practices in large organizations are notoriously difficult to assess. The challenge only increases when organizations turn to third parties to provide technology and business services, which typically require tight network integration and sharing of confidential data, potentially increasing the organization's attack surface. The security maturity of an organization describes how well it m…
▽ More
Security practices in large organizations are notoriously difficult to assess. The challenge only increases when organizations turn to third parties to provide technology and business services, which typically require tight network integration and sharing of confidential data, potentially increasing the organization's attack surface. The security maturity of an organization describes how well it mitigates known risks and responds to new threats. Today, maturity is typically assessed with audits and questionnaires, which are difficult to quantify, lack objectivity, and may not reflect current threats.
This paper demonstrates how external measurement of an organization can be used to assess the relative quality of security among organizations. Using a large dataset from BitSight(www.bitsight.com), a cybersecurity ratings company, containing 3.2 billion measurements spanning nearly 37,000 organizations collected during calendar year 2015, we show how per-organizational "risk vectors" can be constructed that may be related to an organization's overall security posture, or maturity. Using statistical analysis, we then study the correlation between the risk vectors and botnet infections. For example, we find that misconfigured TLS services, publicly available unsecured protocols, and the use of peer-to-peer file sharing correlate with organizations that have increased rates of botnet infections. We argue that the methodology used to identify these correlations can easily be applied to other data to provide a growing picture of organizational security using external measurement.
△ Less
Submitted 22 May, 2019; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Distribution of volume, microvoid percolation, and packing density in globular proteins
Authors:
Jenny Farmer,
Sheridan B. Green,
Donald J. Jacobs
Abstract:
A fast and accurate grid-based method with low memory requirement is presented to calculate volume characteristics in molecular systems. The distribution of volume and packing density is characterized in globular proteins, where void space is decomposed into microvoid volume and cavities based on a spherical test probe with variable radius. A scan over test probe radius is mapped onto a site perco…
▽ More
A fast and accurate grid-based method with low memory requirement is presented to calculate volume characteristics in molecular systems. The distribution of volume and packing density is characterized in globular proteins, where void space is decomposed into microvoid volume and cavities based on a spherical test probe with variable radius. A scan over test probe radius is mapped onto a site percolation problem for microvoid volume. Finite-size scaling is applied to determine critical exponents, which are found to be consistent with connectivity percolation exponents in three dimensions. Disparate results in the literature regarding packing density in the core of a protein compared to on its surface, and with respect to protein size, is elucidated in terms of microvoid volume within a unified implicit-solvent model. By parameterizing the model to match the results of explicit-solvent models that agree with experimental data, we verify that packing density within globular proteins is spatially uniform and independent of protein size.
△ Less
Submitted 19 October, 2018;
originally announced October 2018.
-
Can GDP measurement be further improved? Data revision and reconciliation
Authors:
Jan P. A. M. Jacobs,
Samad Sarferaz,
Jan-Egbert Sturm,
Simon van Norden
Abstract:
Recent years have seen many attempts to combine expenditure-side estimates of U.S. real output (GDE) growth with income-side estimates (GDI) to improve estimates of real GDP growth. We show how to incorporate information from multiple releases of noisy data to provide more precise estimates while avoiding some of the identifying assumptions required in earlier work. This relies on a new insight: u…
▽ More
Recent years have seen many attempts to combine expenditure-side estimates of U.S. real output (GDE) growth with income-side estimates (GDI) to improve estimates of real GDP growth. We show how to incorporate information from multiple releases of noisy data to provide more precise estimates while avoiding some of the identifying assumptions required in earlier work. This relies on a new insight: using multiple data releases allows us to distinguish news and noise measurement errors in situations where a single vintage does not.
Our new measure, GDP++, fits the data better than GDP+, the GDP growth measure of Aruoba et al. (2016) published by the Federal Reserve Bank of Philadephia. Historical decompositions show that GDE releases are more informative than GDI, while the use of multiple data releases is particularly important in the quarters leading up to the Great Recession.
△ Less
Submitted 15 August, 2018;
originally announced August 2018.
-
Multivalent Ion-Activated Protein Adsorption Reflecting Bulk Reentrant Behavior
Authors:
Madeleine R. Fries,
Daniel Stopper,
Michal K. Braun,
Alexander Hinderhofer,
Fajun Zhang,
Robert M. J. Jacobs,
Maximilian W. A. Skoda,
Hendrik Hansen-Goos,
Roland Roth,
Frank Schreiber
Abstract:
Protein adsorption at the solid-liquid interface is an important phenomenon that often can be observed as a first step in biological processes. Despite its inherent importance, still relatively little is known about the underlying microscopic mechanisms. Here, using multivalent ions, we demonstrate the control of the interactions and the corresponding adsorption of net-negatively charged proteins…
▽ More
Protein adsorption at the solid-liquid interface is an important phenomenon that often can be observed as a first step in biological processes. Despite its inherent importance, still relatively little is known about the underlying microscopic mechanisms. Here, using multivalent ions, we demonstrate the control of the interactions and the corresponding adsorption of net-negatively charged proteins (bovine serum albumin) at a solid-liquid interface. This is demonstrated by ellipsometry and corroborated by neutron reflectivity and quartz-crystal microbalance experiments. We show that the reentrant condensation observed within the rich bulk phase behavior of the system featuring a nonmonotonic dependence of the second virial cofficient on salt concentration c_s is reflected in an intriguing way in the protein adsorption d(c_s) at the interface. Our findings are successfully described and understood by a model of ion-activated patchy interactions within the framework of classical density functional theory. In addition to the general challenge of connecting bulk and interface behavior, our work has implications for, inter alia, nucleation at interfaces.
△ Less
Submitted 11 October, 2017;
originally announced October 2017.
-
Spectral energy distribution and radio halo of NGC 253 at low radio frequencies
Authors:
A. D. Kapinska,
L. Staveley-Smith,
R. Crocker,
G. R. Meurer,
S. Bhandari,
N. Hurley-Walker,
A. R. Offringa,
D. J. Hanish,
N. Seymour,
R. D. Ekers,
M. E. Bell,
J. R. Callingham,
K. S. Dwarakanath,
B. -Q. For,
B. M. Gaensler,
P. J. Hancock,
L. Hindson,
M. Johnston-Hollitt,
E. Lenc,
B. McKinley,
J. Morgan,
P. Procopio,
R. B. Wayth,
C. Wu,
Q. Zheng
, et al. (45 additional authors not shown)
Abstract:
We present new radio continuum observations of NGC253 from the Murchison Widefield Array at frequencies between 76 and 227 MHz. We model the broadband radio spectral energy distribution for the total flux density of NGC253 between 76 MHz and 11 GHz. The spectrum is best described as a sum of central starburst and extended emission. The central component, corresponding to the inner 500pc of the sta…
▽ More
We present new radio continuum observations of NGC253 from the Murchison Widefield Array at frequencies between 76 and 227 MHz. We model the broadband radio spectral energy distribution for the total flux density of NGC253 between 76 MHz and 11 GHz. The spectrum is best described as a sum of central starburst and extended emission. The central component, corresponding to the inner 500pc of the starburst region of the galaxy, is best modelled as an internally free-free absorbed synchrotron plasma, with a turnover frequency around 230 MHz. The extended emission component of the NGC253 spectrum is best described as a synchrotron emission flattening at low radio frequencies. We find that 34% of the extended emission (outside the central starburst region) at 1 GHz becomes partially absorbed at low radio frequencies. Most of this flattening occurs in the western region of the SE halo, and may be indicative of synchrotron self-absorption of shock re-accelerated electrons or an intrinsic low-energy cut off of the electron distribution. Furthermore, we detect the large-scale synchrotron radio halo of NGC253 in our radio images. At 154 - 231 MHz the halo displays the well known X-shaped/horn-like structure, and extends out to ~8kpc in z-direction (from major axis).
△ Less
Submitted 19 February, 2017; v1 submitted 8 February, 2017;
originally announced February 2017.
-
Delay Spectrum with Phase-Tracking Arrays: Extracting the HI power spectrum from the Epoch of Reionization
Authors:
Sourabh Paul,
Shiv K. Sethi,
Miguel F. Morales,
K. S. Dwarkanath,
N. Udaya Shankar,
Ravi Subrahmanyan,
N. Barry,
A. P. Beardsley,
Judd D. Bowman,
F. Briggs,
P. Carroll,
A. de Oliveira-Costa,
Joshua S. Dillon,
A. Ewall-Wice,
L. Feng,
L. J. Greenhill,
B. M. Gaensler,
B. J. Hazelton,
J. N. Hewitt,
N. Hurley-Walker,
D. J. Jacobs,
Han-Seek Kim,
P. Kittiwisit,
E. Lenc,
J. Line
, et al. (29 additional authors not shown)
Abstract:
The Detection of redshifted 21 cm emission from the epoch of reionization (EoR) is a challenging task owing to strong foregrounds that dominate the signal. In this paper, we propose a general method, based on the delay spectrum approach, to extract HI power spectra that is applicable to tracking observations using an imaging radio interferometer (Delay Spectrum with Imaging Arrays (DSIA)). Our met…
▽ More
The Detection of redshifted 21 cm emission from the epoch of reionization (EoR) is a challenging task owing to strong foregrounds that dominate the signal. In this paper, we propose a general method, based on the delay spectrum approach, to extract HI power spectra that is applicable to tracking observations using an imaging radio interferometer (Delay Spectrum with Imaging Arrays (DSIA)). Our method is based on modelling the HI signal taking into account the impact of wide field effects such as the $w$-term which are then used as appropriate weights in cross-correlating the measured visibilities. Our method is applicable to any radio interferometer that tracks a phase center and could be utilized for arrays such as MWA, LOFAR, GMRT, PAPER and HERA. In the literature the delay spectrum approach has been implemented for near-redundant baselines using drift scan observations. In this paper we explore the scheme for non-redundant tracking arrays, and this is the first application of delay spectrum methodology to such data to extract the HI signal. We analyze 3 hours of MWA tracking data on the EoR1 field. We present both 2-dimensional ($k_\parallel,k_\perp$) and 1-dimensional (k) power spectra from the analysis. Our results are in agreement with the findings of other pipelines developed to analyse the MWA EoR data.
△ Less
Submitted 22 October, 2016;
originally announced October 2016.
-
Nonparametric Maximum Entropy Probability Density Estimation
Authors:
Jenny Farmer,
Donald J. Jacobs
Abstract:
Given a sample of independent and identically distributed random variables, a novel nonparametric maximum entropy method is presented to estimate the underlying continuous univariate probability density function (pdf). Estimates are found by maximizing a log-likelihood function based on single order statistics after transforming through a sequence of trial cumulative distribution functions that it…
▽ More
Given a sample of independent and identically distributed random variables, a novel nonparametric maximum entropy method is presented to estimate the underlying continuous univariate probability density function (pdf). Estimates are found by maximizing a log-likelihood function based on single order statistics after transforming through a sequence of trial cumulative distribution functions that iteratively improve using a Monte Carlo random search method. Improvement is quantified by assessing the random variables against the statistical properties of sampled uniform random data. Quality is determined using an empirically derived scoring function that is scaled to be sample size invariant. The scoring function identifies atypical fluctuations, for which threshold values are set to define objective criteria that prevent under-fitting as trial iterations continue to improve the model pdf, and, stop** the iteration cycle before over-fitting occurs. No prior knowledge about the data is required. An ensemble of pdf models is used to reflect uncertainties due to statistical fluctuations in random samples, and the quality of the estimates is visualized using scaled residual quantile plots that show deviations from size-invariant statistics. These considerations result in a tractable method that holistically employs key principles of random variables and their statistical properties combined with employing orthogonal basis functions and data-driven adaptive algorithms. Benchmark tests show that the pdf estimates readily converge to the true pdf as sample size increases. Robust results are demonstrated on several test probability densities that include cases with discontinuities, multi-resolution scales, heavy tails and singularities in the pdf, suggesting a generally applicable approach for statistical inference.
△ Less
Submitted 28 June, 2016;
originally announced June 2016.
-
Unsupervised Non Linear Dimensionality Reduction Machine Learning methods applied to Multiparametric MRI in cerebral ischemia: Preliminary Results
Authors:
Vishwa S. Parekh,
Jeremy R. Jacobs,
Michael A. Jacobs
Abstract:
The evaluation and treatment of acute cerebral ischemia requires a technique that can determine the total area of tissue at risk for infarction using diagnostic magnetic resonance imaging (MRI) sequences. Typical MRI data sets consist of T1- and T2-weighted imaging (T1WI, T2WI) along with advanced MRI parameters of diffusion-weighted imaging (DWI) and perfusion weighted imaging (PWI) methods. Each…
▽ More
The evaluation and treatment of acute cerebral ischemia requires a technique that can determine the total area of tissue at risk for infarction using diagnostic magnetic resonance imaging (MRI) sequences. Typical MRI data sets consist of T1- and T2-weighted imaging (T1WI, T2WI) along with advanced MRI parameters of diffusion-weighted imaging (DWI) and perfusion weighted imaging (PWI) methods. Each of these parameters has distinct radiological-pathological meaning. For example, DWI interrogates the movement of water in the tissue and PWI gives an estimate of the blood flow, both are critical measures during the evolution of stroke. In order to integrate these data and give an estimate of the tissue at risk or damaged, we have developed advanced machine learning methods based on unsupervised non-linear dimensionality reduction (NLDR) techniques. NLDR methods are a class of algorithms that uses mathematically defined manifolds for statistical sampling of multidimensional classes to generate a discrimination rule of guaranteed statistical accuracy and they can generate a two- or three-dimensional map, which represents the prominent structures of the data and provides an embedded image of meaningful low-dimensional structures hidden in their high-dimensional observations. In this manuscript, we develop NLDR methods on high dimensional MRI data sets of preclinical animals and clinical patients with stroke. On analyzing the performance of these methods, we observed that there was a high of similarity between multiparametric embedded images from NLDR methods and the ADC map and perfusion map. It was also observed that embedded scattergram of abnormal (infarcted or at risk) tissue can be visualized and provides a mechanism for automatic methods to delineate potential stroke volumes and early tissue at risk.
△ Less
Submitted 12 June, 2016;
originally announced June 2016.
-
Electromagnetic response of interacting Weyl semimetals
Authors:
V. P. J. Jacobs,
Panagiotis Betzios,
Umut Gursoy,
H. T. C. Stoof
Abstract:
We study the electromagnetic properties of Weyl semimetals with strong interactions. Focusing on a single Weyl cone in the band structure, we induce strong interactions by coupling the Weyl fermion with a tunable coupling constant $g_f$ to a quantum critical system. The critical fluctuations are described by a conformal field theory containing fermionic operators with scaling dimension $Δ$. Employ…
▽ More
We study the electromagnetic properties of Weyl semimetals with strong interactions. Focusing on a single Weyl cone in the band structure, we induce strong interactions by coupling the Weyl fermion with a tunable coupling constant $g_f$ to a quantum critical system. The critical fluctuations are described by a conformal field theory containing fermionic operators with scaling dimension $Δ$. Employing the methods of the holographic correspondence, we then derive the effective theory of the Weyl fermion in the presence of external electric and magnetic fields. In particular, we determine the frequency and momentum-dependent anomalous magnetic moment of the Weyl fermions. We also determine the conductivity of the Weyl semimetal including the vertex corrections consistent with the Ward identity. Finally, we connect our construction to the case of Coulomb interactions in Weyl semimetals by tuning the parameters $Δ\rightarrow 5/2$ and $g_f^2 \rightarrow e/\sqrt{\hbar cε_0$.
△ Less
Submitted 2 March, 2016; v1 submitted 15 December, 2015;
originally announced December 2015.
-
Alternating magnetic anisotropy of Li$_2$(Li$_{1-x}T_x$)N with $T$ = Mn, Fe, Co, and Ni
Authors:
A. Jesche,
L. Ke,
J. L. Jacobs,
B. Harmon,
R. S. Houk,
P. C. Canfield
Abstract:
Substantial amounts of the transition metals Mn, Fe, Co, and Ni can be substituted for Li in single crystalline Li$_2$(Li$_{1-x}T_x$)N. Isothermal and temperature-dependent magnetization measurements reveal local magnetic moments with magnitudes significantly exceeding the spin-only value. The additional contributions stem from unquenched orbital moments that lead to rare-earth-like behavior of th…
▽ More
Substantial amounts of the transition metals Mn, Fe, Co, and Ni can be substituted for Li in single crystalline Li$_2$(Li$_{1-x}T_x$)N. Isothermal and temperature-dependent magnetization measurements reveal local magnetic moments with magnitudes significantly exceeding the spin-only value. The additional contributions stem from unquenched orbital moments that lead to rare-earth-like behavior of the magnetic properties. Accordingly, extremely large magnetic anisotropies have been found. Most notably, the magnetic anisotropy alternates as easy-plane $\rightarrow$ easy-axis $\rightarrow$ easy-plane $\rightarrow$ easy-axis when progressing from $T$ = Mn $\rightarrow$ Fe $\rightarrow$ Co $\rightarrow$ Ni. This behavior can be understood based on a perturbation approach in an analytical, single-ion model. The calculated magnetic anisotropies show a surprisingly good agreement with the experiment and capture the basic features observed for the different transition metals.
△ Less
Submitted 8 June, 2015; v1 submitted 9 March, 2015;
originally announced March 2015.
-
Towards a field-theory interpretation of bottom-up holography
Authors:
V. P. J. Jacobs,
S. Grubinskas,
H. T. C. Stoof
Abstract:
We investigate recent results for the electrical conductivity and the fermionic self-energy, obtained in a holographic bottom-up model for a relativistic charge-neutral conformal field theory. We present two possible field-theoretic derivations of these results, using either a semiholographic or a holographic point of view. In the semiholographic interpretation, we also show how, in general, the c…
▽ More
We investigate recent results for the electrical conductivity and the fermionic self-energy, obtained in a holographic bottom-up model for a relativistic charge-neutral conformal field theory. We present two possible field-theoretic derivations of these results, using either a semiholographic or a holographic point of view. In the semiholographic interpretation, we also show how, in general, the conductivity should be calculated in agreement with Ward identities. The resulting field-theory interpretation may lead to a better understanding of the holographic dictionary in applied AdS/CMT.
△ Less
Submitted 15 April, 2015; v1 submitted 14 November, 2014;
originally announced November 2014.
-
Holographic interaction effects on transport in Dirac semimetals
Authors:
V. P. J. Jacobs,
S. J. G. Vandoren,
H. T. C. Stoof
Abstract:
Strongly interacting Dirac semimetals are investigated using a holographic model especially geared to compute the single-particle correlation function for this case, including both interaction effects and nonzero temperature. We calculate the (homogeneous) electrical conductivity at zero chemical potential, and show that it consists of two contributions. The interband contribution scales as a powe…
▽ More
Strongly interacting Dirac semimetals are investigated using a holographic model especially geared to compute the single-particle correlation function for this case, including both interaction effects and nonzero temperature. We calculate the (homogeneous) electrical conductivity at zero chemical potential, and show that it consists of two contributions. The interband contribution scales as a power law either in frequency or in temperature for low frequency. The precise power is related to a critical exponent of the dual holographic theory, which is a parameter in the model. On top of that we find for nonzero temperatures a Drude peak corresponding to intraband transitions. A behavior similar to Coulomb interactions is recovered as a special limiting case.
△ Less
Submitted 10 July, 2014; v1 submitted 14 March, 2014;
originally announced March 2014.
-
Giant magnetic anisotropy and tunnelling of the magnetization in Li2(Li_{1-x}Fe_x)N
Authors:
A. Jesche,
R. W. McCallum,
S. Thimmaiah,
J. L. Jacobs,
V. Taufour,
A. Kreyssig,
R. S. Houk,
S. L. Bud'ko,
P. C. Canfield
Abstract:
Large magnetic anisotropy and coercivity are key properties of functional magnetic materials and are generally associated with rare earth elements. Here we show an extreme, uniaxial magnetic anisotropy and the emergence of magnetic hysteresis in Li2(Li1-xFex)N. An extrapolated, magnetic anisotropy field of 220 Tesla and a coercivity field of over 11 Tesla at 2 Kelvin outperform all known hard-ferr…
▽ More
Large magnetic anisotropy and coercivity are key properties of functional magnetic materials and are generally associated with rare earth elements. Here we show an extreme, uniaxial magnetic anisotropy and the emergence of magnetic hysteresis in Li2(Li1-xFex)N. An extrapolated, magnetic anisotropy field of 220 Tesla and a coercivity field of over 11 Tesla at 2 Kelvin outperform all known hard-ferromagnets and single-molecule magnets (SMMs). Steps in the hysteresis loops and relaxation phenomena in striking similarity to SMMs are particularly pronounced for x << 1 and indicate the presence of nano-scale magnetic centres. Quantum tunnelling, in form of temperature-independent relaxation and coercivity, deviation from Arrhenius behaviour and blocking of the relaxation, dominates the magnetic properties up to 10 Kelvin. The simple crystal structure, the availability of large single crystals, and the ability to vary the Fe concentration make Li2(Li1-xFex)N (i) an ideal model system to study macroscopic quantum effects at elevated temperatures and (ii) a basis for novel functional magnetic materials.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
Evolving Musical Counterpoint: The Chronopoint Musical Evolution System
Authors:
Jeffrey Power Jacobs,
James Reggia
Abstract:
Musical counterpoint, a musical technique in which two or more independent melodies are played simultaneously with the goal of creating harmony, has been around since the baroque era. However, to our knowledge computational generation of aesthetically pleasing linear counterpoint based on subjective fitness assessment has not been explored by the evolutionary computation community (although genera…
▽ More
Musical counterpoint, a musical technique in which two or more independent melodies are played simultaneously with the goal of creating harmony, has been around since the baroque era. However, to our knowledge computational generation of aesthetically pleasing linear counterpoint based on subjective fitness assessment has not been explored by the evolutionary computation community (although generation using objective fitness has been attempted in quite a few cases). The independence of contrapuntal melodies and the subjective nature of musical aesthetics provide an excellent platform for the application of genetic algorithms. In this paper, a genetic algorithm approach to generating contrapuntal melodies is explained, with a description of the various musical heuristics used and of how variable-length chromosome strings are used to avoid generating "jerky" rhythms and melodic phrases, as well as how subjectivity is incorporated into the algorithm's fitness measures. Next, results from empirical testing of the algorithm are presented, with a focus on how a user's musical sophistication influences their experience. Lastly, further musical and compositional applications of the algorithm are discussed along with planned future work on the algorithm.
△ Less
Submitted 23 July, 2012;
originally announced July 2012.
-
Spin transport in a unitary Fermi gas close to the BCS transition
Authors:
M. P. Mink,
V. P. J. Jacobs,
Marco Polini,
G. Vignale,
H. T. C. Stoof,
R. A. Duine
Abstract:
We consider spin transport in a two-component ultracold Fermi gas with attractive interspecies interactions close to the BCS pairing transition. In particular, we consider the spin-transport relaxation rate and the spin-diffusion constant. Upon approaching the transition, the scattering amplitude is enhanced by pairing fluctuations. However, as the system approaches the transition, the spectral we…
▽ More
We consider spin transport in a two-component ultracold Fermi gas with attractive interspecies interactions close to the BCS pairing transition. In particular, we consider the spin-transport relaxation rate and the spin-diffusion constant. Upon approaching the transition, the scattering amplitude is enhanced by pairing fluctuations. However, as the system approaches the transition, the spectral weight for excitations close to the Fermi level is decreased by the formation of a pseudogap. To study the consequence of these two competing effects, we determine the spin-transport relaxation rate and the spin-diffusion constant using both a Boltzmann approach and a diagrammatic approach. The former ignores pseudogap physics and finite lifetime effects. In the latter, we incorporate the full pseudogap physics and lifetime effects, but we ignore vertex corrections, so that we effectively calculate single-particle relaxation rates instead of transport relaxation rates. We find that there is qualitative agreement between these two approaches although the results for the transport coefficients differ quantitatively.
△ Less
Submitted 19 July, 2012;
originally announced July 2012.
-
Optical Properties of Pentacene and Perfluoropentacene Thin Films
Authors:
Alexander Hinderhofer,
Ute Heinemeyer,
Alexander Gerlach,
Stefan Kowarik,
Robert M. J. Jacobs,
Youichi Sakamoto,
Toshiyasu Suzuki,
Frank Schreiber
Abstract:
The optical properties of pentacene (PEN) and perfluoropentacene(PFP) thin films on various SiO2 substrates were studied using variable angle spectroscopic ellipsometry. Structural characterization was performed using X-ray reflectivity and atomic force microscopy. A uniaxial model with the optic axis normal to the sample surface was used to analyze the ellipsometry data. A Strong optical anisot…
▽ More
The optical properties of pentacene (PEN) and perfluoropentacene(PFP) thin films on various SiO2 substrates were studied using variable angle spectroscopic ellipsometry. Structural characterization was performed using X-ray reflectivity and atomic force microscopy. A uniaxial model with the optic axis normal to the sample surface was used to analyze the ellipsometry data. A Strong optical anisotropy was observed and enabled the direction of the transition dipole of the absorption bands to be determined. Furthermore, comparison of the optical constants of PEN and PFP thin films with the absorption spectra of the monomers in solution shows significant changes due to the crystalline environment. Relative to the monomer spectrum the HOMO-LUMO transition observed in PEN (PFP) thin film is reduced by 210 meV (280 meV). Surprisingly, a second absorption band in the PFP thin film shows a slight blueshift (40 meV) compared to the spectrum of the monomer with its transition dipole perpendicular to that of the first absorption band.
△ Less
Submitted 25 July, 2007;
originally announced July 2007.
-
Network rigidity at finite temperature: Relationships between thermodynamic stability, the non-additivity of entropy and cooperativity in molecular systems
Authors:
Donald J. Jacobs,
S. Dallakyan,
G. G. Wood,
A. Heckathorne
Abstract:
A statistical mechanical distance constraint model (DCM) is presented that explicitly accounts for network rigidity among constraints present within a system. Constraints are characterized by local microscopic free energy functions. Topological re-arrangements of thermally fluctuating constraints are permitted. The partition function is obtained by combining microscopic free energies of individu…
▽ More
A statistical mechanical distance constraint model (DCM) is presented that explicitly accounts for network rigidity among constraints present within a system. Constraints are characterized by local microscopic free energy functions. Topological re-arrangements of thermally fluctuating constraints are permitted. The partition function is obtained by combining microscopic free energies of individual constraints using network rigidity as an underlying long-range mechanical interaction -- giving a quantitative explanation for the non-additivity in component entropies exhibited in molecular systems. Two exactly solved 2-dimensional toy models representing flexible molecules that can undergo conformational change are presented to elucidate concepts, and to outline a DCM calculation scheme applicable to many types of physical systems. It is proposed that network rigidity plays a central role in balancing the energetic and entropic contributions to the free energy of bio-polymers, such as proteins. As a demonstration, the distance constraint model is solved exactly for the alpha-helix to coil transition in homogeneous peptides. Temperature and size independent model parameters are fitted to Monte Carlo simulation data, which includes peptides of length 10 for gas phase, and lengths 10, 15, 20 and 30 in water. The DCM is compared to the Lifson-Roig model. It is found that network rigidity provides a mechanism for cooperativity in molecular structures including their ability to spontaneously self-organize. In particular, the formation of a characteristic topological arrangement of constraints is associated with the most probable microstates changing under different thermodynamic conditions.
△ Less
Submitted 8 September, 2003;
originally announced September 2003.
-
Floppy modes and the free energy: Rigidity and connectivity percolation on Bethe Lattices
Authors:
P. M. Duxbury,
D. J. Jacobs,
M. F. Thorpe,
Cristian F. Moukarzel
Abstract:
We show that negative of the number of floppy modes behaves as a free energy for both connectivity and rigidity percolation, and we illustrate this result using Bethe lattices. The rigidity transition on Bethe lattices is found to be first order at a bond concentration close to that predicted by Maxwell constraint counting. We calculate the probability of a bond being on the infinite cluster and…
▽ More
We show that negative of the number of floppy modes behaves as a free energy for both connectivity and rigidity percolation, and we illustrate this result using Bethe lattices. The rigidity transition on Bethe lattices is found to be first order at a bond concentration close to that predicted by Maxwell constraint counting. We calculate the probability of a bond being on the infinite cluster and also on the overconstrained part of the infinite cluster, and show how a specific heat can be defined as the second derivative of the free energy. We demonstrate that the Bethe lattice solution is equivalent to that of the random bond model, where points are joined randomly (with equal probability at all length scales) to have a given coordination, and then subsequently bonds are randomly removed.
△ Less
Submitted 5 July, 1998;
originally announced July 1998.