Showing 1–41 of 41 results for author: Daniels, B

Magnetic Hysteresis Modeling with Neural Operators

Authors: Abhishek Chandra, Bram Daniels, Mitrofan Curti, Koen Tiels, Elena A. Lomonova

Abstract: Hysteresis modeling is crucial to comprehend the behavior of magnetic devices, facilitating optimal designs. Hitherto, deep learning-based methods employed to model hysteresis, face challenges in generalizing to novel input magnetic fields. This paper addresses the generalization challenge by proposing neural operators for modeling constitutive laws that exhibit magnetic hysteresis by learning a m… ▽ More Hysteresis modeling is crucial to comprehend the behavior of magnetic devices, facilitating optimal designs. Hitherto, deep learning-based methods employed to model hysteresis, face challenges in generalizing to novel input magnetic fields. This paper addresses the generalization challenge by proposing neural operators for modeling constitutive laws that exhibit magnetic hysteresis by learning a map** between magnetic fields. In particular, two prominent neural operators -- deep operator network and Fourier neural operator -- are employed to predict novel first-order reversal curves and minor loops, where novel means they are not used to train the model. In addition, a rate-independent Fourier neural operator is proposed to predict material responses at sampling rates different from those used during training to incorporate the rate-independent characteristics of magnetic hysteresis. The presented numerical experiments demonstrate that neural operators efficiently model magnetic hysteresis, outperforming the traditional neural recurrent methods on various metrics and generalizing to novel magnetic fields. The findings emphasize the advantages of using neural operators for modeling hysteresis under varying magnetic conditions, underscoring their importance in characterizing magnetic material based devices. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 8 pages, 5 figures

Continuous Attractor Networks for Laplace Neural Manifolds

Authors: Bryan C. Daniels, Marc W. Howard

Abstract: Many cognitive models, including those for predicting the time of future events, can be mapped onto a particular form of neural representation in which activity across a population of neurons is restricted to manifolds that specify the Laplace transform of functions of continuous variables. These populations coding Laplace transform are associated with another population that inverts the transform… ▽ More Many cognitive models, including those for predicting the time of future events, can be mapped onto a particular form of neural representation in which activity across a population of neurons is restricted to manifolds that specify the Laplace transform of functions of continuous variables. These populations coding Laplace transform are associated with another population that inverts the transform, approximating the original function. This paper presents a neural circuit that uses continuous attractor dynamics to represent the Laplace transform of a delta function evolving in time. One population places an edge at any location along a 1-D array of neurons; another population places a bump at a location corresponding to the edge. Together these two populations can estimate a Laplace transform of delta functions in time along with an approximate inverse transform. Building the circuit so the edge moves at an appropriate speed enables the network to represent events as a function of log time. Choosing the connections appropriately within the edge network make the network states map onto Laplace transform with exponential change as a function of time. In this paper we model a learned temporal association in which one stimulus predicts another at some fixed delay $T$. Shortly after $t=0$ the first stimulus recedes into the past. The Laplace Neural Manifold representing the past maintains the Laplace transform $\exp(-st)$. Another Laplace Neural Manifold represents the predicted future. At $t=0$, the second stimulus is represented a time $T$ in the future. At each moment between 0 and $T$, firing over the Laplace transform predicting the future changes as $\exp[-s(T-t)]$. Despite exponential growth in firing, the circuit is robust to noise, making it a practical means to implement Laplace Neural Manifolds in populations of neurons for a variety of cognitive models. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 31 pages, 9 figures

Difficult control is related to instability in biologically inspired Boolean networks

Authors: Bryan C. Daniels, Enrico Borriello

Abstract: Previous work in Boolean dynamical networks has suggested that the number of components that must be controlled to select an existing attractor is typically set by the number of attractors admitted by the dynamics, with no dependence on the size of the network. Here we study the rare cases of networks that defy this expectation, with attractors that require controlling most nodes. We find empirica… ▽ More Previous work in Boolean dynamical networks has suggested that the number of components that must be controlled to select an existing attractor is typically set by the number of attractors admitted by the dynamics, with no dependence on the size of the network. Here we study the rare cases of networks that defy this expectation, with attractors that require controlling most nodes. We find empirically that unstable fixed points are the primary recurring characteristic of networks that prove more difficult to control. We describe an efficient way to identify unstable fixed points and show that, in both existing biological models and ensembles of random dynamics, we can better explain the variance of control kernel sizes by incorporating the prevalence of unstable fixed points. In the end, the fact that these exceptions are associated with dynamics that are unstable to small perturbations hints that they are likely an artifact of using deterministic models. These exceptions are likely to be biologically irrelevant, supporting the generality of easy controllability in biological networks. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Comments: 26 pages, 6 figures

Neural oscillators for magnetic hysteresis modeling

Authors: Abhishek Chandra, Taniya Kapoor, Bram Daniels, Mitrofan Curti, Koen Tiels, Daniel M. Tartakovsky, Elena A. Lomonova

Abstract: Hysteresis is a ubiquitous phenomenon in science and engineering; its modeling and identification are crucial for understanding and optimizing the behavior of various systems. We develop an ordinary differential equation-based recurrent neural network (RNN) approach to model and quantify the hysteresis, which manifests itself in sequentiality and history-dependence. Our neural oscillator, HystRNN,… ▽ More Hysteresis is a ubiquitous phenomenon in science and engineering; its modeling and identification are crucial for understanding and optimizing the behavior of various systems. We develop an ordinary differential equation-based recurrent neural network (RNN) approach to model and quantify the hysteresis, which manifests itself in sequentiality and history-dependence. Our neural oscillator, HystRNN, draws inspiration from coupled-oscillatory RNN and phenomenological hysteresis models to update the hidden states. The performance of HystRNN is evaluated to predict generalized scenarios, involving first-order reversal curves and minor loops. The findings show the ability of HystRNN to generalize its behavior to previously untrained regions, an essential feature that hysteresis models must have. This research highlights the advantage of neural oscillators over the traditional RNN-based methods in capturing complex hysteresis patterns in magnetic materials, where traditional rate-dependent methods are inadequate to capture intrinsic nonlinearity. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Discovery of sparse hysteresis models for piezoelectric materials

Authors: Abhishek Chandra, Bram Daniels, Mitrofan Curti, Koen Tiels, Elena A. Lomonova, Daniel M. Tartakovsky

Abstract: This article presents an approach for modelling hysteresis in piezoelectric materials, that leverages recent advancements in machine learning, particularly in sparse-regression techniques. While sparse regression has previously been used to model various scientific and engineering phenomena, its application to nonlinear hysteresis modelling in piezoelectric materials has yet to be explored. The st… ▽ More This article presents an approach for modelling hysteresis in piezoelectric materials, that leverages recent advancements in machine learning, particularly in sparse-regression techniques. While sparse regression has previously been used to model various scientific and engineering phenomena, its application to nonlinear hysteresis modelling in piezoelectric materials has yet to be explored. The study employs the least-squares algorithm with a sequential threshold to model the dynamic system responsible for hysteresis, resulting in a concise model that accurately predicts hysteresis for both simulated and experimental piezoelectric material data. Several numerical experiments are performed, including learning butterfly-shaped hysteresis and modelling real-world hysteresis data for a piezoelectric actuator. The presented approach is compared to traditional regression-based and neural network methods, demonstrating its efficiency and robustness. Source code is available at https://github.com/chandratue/SmartHysteresis △ Less

Submitted 15 May, 2023; v1 submitted 10 February, 2023; originally announced February 2023.

Optimal Designs of Two-Phase Case-Control Studies for General Predictor Effects

Authors: **g**g Zou, Lori B. Daniels, Karen Messer, Daniel Rabinowitz

Abstract: Under two-phase designs, the outcome and several covariates and confounders are measured in the first phase, and a new predictor of interest, which may be costly to collect, can be measured on a subsample in the second phase, without incurring the costs of recruiting subjects. By using the information gathered in the first phase, the second-phase subsample can be selected to enhance the efficiency… ▽ More Under two-phase designs, the outcome and several covariates and confounders are measured in the first phase, and a new predictor of interest, which may be costly to collect, can be measured on a subsample in the second phase, without incurring the costs of recruiting subjects. By using the information gathered in the first phase, the second-phase subsample can be selected to enhance the efficiency of testing and estimating the effect of the new predictor on the outcome. Past studies have focused on optimal two-phase sampling schemes for statistical inference on local ($β= o(1)$) effects of the predictor of interest. In this study, we propose an extension of the two-phase designs that employs an optimal sampling scheme for estimating predictor effects with pseudo conditional likelihood estimators in case-control studies. This approach is applicable to both local and non-local effects. We demonstrate the effectiveness of the proposed sampling scheme through simulation studies and analysis of data from 170 patients hospitalized for treatment of COVID-19. The results show a significant improvement in the estimation of the parameter of interest. △ Less

Submitted 10 May, 2023; v1 submitted 10 November, 2022; originally announced November 2022.

Phase Transitions and Criticality in the Collective Behavior of Animals -- Self-organization and biological function

Authors: Pawel Romanczuk, Bryan C. Daniels

Abstract: Collective behaviors exhibited by animal groups, such as fish schools, bird flocks, or insect swarms are fascinating examples of self-organization in biology. Concepts and methods from statistical physics have been used to argue theoretically about the potential consequences of collective effects in such living systems. In particular, it has been proposed that such collective systems should operat… ▽ More Collective behaviors exhibited by animal groups, such as fish schools, bird flocks, or insect swarms are fascinating examples of self-organization in biology. Concepts and methods from statistical physics have been used to argue theoretically about the potential consequences of collective effects in such living systems. In particular, it has been proposed that such collective systems should operate close to a phase transition, specifically a (pseudo-)critical point, in order to optimize their capability for collective computation. In this chapter, we will first review relevant phase transitions exhibited by animal collectives, pointing out the difficulties of applying concepts from statistical physics to biological systems. Then we will discuss the current state of research on the "criticality hypothesis", including methods for how to measure distance from criticality and specific functional consequences for animal groups operating near a phase transition. We will highlight the emerging view that de-emphasizes the optimality of being exactly at a critical point and instead explores the potential benefits of living systems being able to tune to an optimal distance from criticality. We will close by laying out future challenges for studying collective behavior at the interface of physics and biology. △ Less

Submitted 7 November, 2022; originally announced November 2022.

Comments: to appear in "Order, disorder, and criticality", vol. VII, World Scientific Publishing

Subcritical escape waves in schooling fish

Authors: Winnie Poel, Bryan C. Daniels, Matthew M. G. Sosna, Colin R. Twomey, Simon P. Leblanc, Iain D. Couzin, Pawel Romanczuk

Abstract: Living systems such as neuronal networks and animal groups process information about their environment via the dynamics of interacting units. These can transition between distinct macroscopic behaviors. Near such a transition (or critical point) collective computation is generally thought to be optimized, due to the associated maximal sensitivity to perturbations and fast dissemination of informat… ▽ More Living systems such as neuronal networks and animal groups process information about their environment via the dynamics of interacting units. These can transition between distinct macroscopic behaviors. Near such a transition (or critical point) collective computation is generally thought to be optimized, due to the associated maximal sensitivity to perturbations and fast dissemination of information. For biological systems, however, optimality depends on environmental context, making the flexible, context-dependent adoption of different distances to a critical point potentially more beneficial than its unique properties. Here, studying escape waves in schooling fish at two levels of perceived environmental risk, we investigate a) if and how distance to criticality is regulated in response to environmental changes and b) how the individual level benefits derived from special properties of the critical point compare to those achieved via regulation of the group's distance to it. We find that the observed fish schools are subcritical (not maximally responsive and sensitive to environmental cues), but decrease their distance to criticality with increased perceived risk. Considering an individual's hypothetical costs of two detection error types, we find that optimal distance to criticality depends on the riskiness and noisiness of the environment, which may explain the observed behavior. Our results highlight the benefit of evaluating biological consequences of different distances to criticality for individuals within animal collectives. This provides insights into the adaptive function of a collective system and motivates future questions about the evolutionary forces that brought the system to make this particular trade-off. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Discovering sparse control strategies in C. elegans

Authors: Edward D. Lee, Xiaowen Chen, Bryan C. Daniels

Abstract: Biological circuits such as neural or gene regulation networks use internal states to map sensory input to an adaptive repertoire of behavior. Characterizing this map** is a major challenge for systems biology, and though experiments that probe internal states are develo** rapidly, organismal complexity presents a fundamental obstacle given the many possible ways internal states could map to b… ▽ More Biological circuits such as neural or gene regulation networks use internal states to map sensory input to an adaptive repertoire of behavior. Characterizing this map** is a major challenge for systems biology, and though experiments that probe internal states are develo** rapidly, organismal complexity presents a fundamental obstacle given the many possible ways internal states could map to behavior. Using C. elegans as an example, we propose a protocol for systematic perturbation of neural states that limits experimental complexity but still characterizes collective aspects of the neural-behavioral map. We consider experimentally motivated small perturbations -- ones that are most likely to preserve natural dynamics and are closer to internal control mechanisms -- to neural states and their impact on collective neural behavior. Then, we connect such perturbations to the local information geometry of collective statistics, which can be fully characterized using pairwise perturbations. Applying the protocol to a minimal model of C. elegans neural activity, we find that collective neural statistics are most sensitive to a few principal perturbative modes. Dominant eigenvalues decay initially as a power law, unveiling a hierarchy that arises from variation in individual neural activity and pairwise interactions. Highest-ranking modes tend to be dominated by a few, "pivotal" neurons that account for most of the system's sensitivity, suggesting a sparse mechanism for control of collective behavior. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Towards a classification of entanglements of Galois representations attached to elliptic curves

Authors: Harris B. Daniels, Álvaro Lozano-Robledo, Jackson S. Morrow

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve, let $\overline{\mathbb{Q}}$ be a fixed algebraic closure of $\mathbb{Q}$, and let $G_{\mathbb{Q}}=\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ be the absolute Galois group of $\mathbb{Q}$. The action of $G_{\mathbb{Q}}$ on the adelic Tate module of $E$ induces the adelic Galois representation… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve, let $\overline{\mathbb{Q}}$ be a fixed algebraic closure of $\mathbb{Q}$, and let $G_{\mathbb{Q}}=\text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ be the absolute Galois group of $\mathbb{Q}$. The action of $G_{\mathbb{Q}}$ on the adelic Tate module of $E$ induces the adelic Galois representation $ρ_E\colon G_{\mathbb{Q}} \to \text{GL}(2,\widehat{\mathbb{Z}}).$ The goal of this paper is to explain how the image of $ρ_E$ can be smaller than expected. To this end, we offer a group theoretic categorization of different ways in which an entanglement between division fields can be explained and prove several results on elliptic curves (and more generally, principally polarized abelian varieties) over $\mathbb{Q}$ where the entanglement occurs over an abelian extension. △ Less

Submitted 3 June, 2024; v1 submitted 5 May, 2021; originally announced May 2021.

Comments: 33 pages; v4: corrected a mistake in Definition 3.3

MSC Class: 11G05 (11F80; 14H10)

An Errata for: Torsion subgroups of rational elliptic curves over the compositum of all $D_4$ extensions of the rational numbers

Authors: Harris B. Daniels

Abstract: In [2], the author claims that the fields $\mathbb{Q}(D_4^\infty)$ defined in the paper and the compositum of all $D_4$ extensions of $\mathbb{Q}$ coincide. The proof of this claim depends on a misreading of a celebrated result by Shafarevich. The purpose is to salvage the main results of [2]. That is, the classification of torsion structures of $E$ defined over $\mathbb{Q}$ when base changed to t… ▽ More In [2], the author claims that the fields $\mathbb{Q}(D_4^\infty)$ defined in the paper and the compositum of all $D_4$ extensions of $\mathbb{Q}$ coincide. The proof of this claim depends on a misreading of a celebrated result by Shafarevich. The purpose is to salvage the main results of [2]. That is, the classification of torsion structures of $E$ defined over $\mathbb{Q}$ when base changed to the compositum of all $D_4$ extensions of $\mathbb{Q}$ main results of [2]. All the main results in [2] are still correct except that we are no longer able to prove that these two fields are equal. △ Less

Submitted 24 February, 2021; originally announced February 2021.

The basis of easy controllability in Boolean networks

Authors: Enrico Borriello, Bryan C. Daniels

Abstract: Effective control of biological systems can often be achieved through the control of a surprisingly small number of distinct variables. We bring clarity to such results using the formalism of Boolean dynamical networks, analyzing the effectiveness of external control in selecting a desired final state when that state is among the original attractors of the dynamics. Analyzing 49 existing biologica… ▽ More Effective control of biological systems can often be achieved through the control of a surprisingly small number of distinct variables. We bring clarity to such results using the formalism of Boolean dynamical networks, analyzing the effectiveness of external control in selecting a desired final state when that state is among the original attractors of the dynamics. Analyzing 49 existing biological network models, we find strong numerical evidence that the average number of nodes that must be forced scales logarithmically with the number of original attractors. This suggests that biological networks may be typically easy to control even when the number of interacting components is large. We provide a theoretical explanation of the scaling by separating controlling nodes into three types: those that act as inputs, those that distinguish among attractors, and any remaining nodes. We further identify characteristics of dynamics that can invalidate this scaling, and speculate about how this relates more broadly to non-biological systems. △ Less

Submitted 9 September, 2021; v1 submitted 22 October, 2020; originally announced October 2020.

Comments: 44 pages, 17 figures, 2 table

Journal ref: Nat Commun 12, 5227 (2021)

A group theoretic perspective on entanglements of division fields

Authors: Harris B. Daniels, Jackson S. Morrow

Abstract: In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. For a positive integer $n$ and a subgroup $G\subseteq \text{GL}_2(\mathbb{Z}/{n}\mathbb{Z})$ with surjective determinant, we provide a definition for $G$ to represent an $(a,b)$-entanglement and give additional criteria for $G$ to represent an explained or unexplained $(a,b)$-entan… ▽ More In this paper, we initiate a systematic study of entanglements of division fields from a group theoretic perspective. For a positive integer $n$ and a subgroup $G\subseteq \text{GL}_2(\mathbb{Z}/{n}\mathbb{Z})$ with surjective determinant, we provide a definition for $G$ to represent an $(a,b)$-entanglement and give additional criteria for $G$ to represent an explained or unexplained $(a,b)$-entanglement. Using these new definitions, we determine the tuples $((p,q),T)$, with $p<q\in\mathbb{Z}$ distinct primes and $T$ a finite group, such that there are infinitely many non-$\bar{\mathbb{Q}}$-isomorphic elliptic curves over $\mathbb{Q}$ with an unexplained $(p,q)$-entanglement of type $T$. Furthermore, for each possible combination of entanglement level $(p,q)$ and type $T$, we completely classify the elliptic curves defined over $\mathbb{Q}$ with that combination by constructing the corresponding modular curve and $j$-map. △ Less

Submitted 6 April, 2022; v1 submitted 22 August, 2020; originally announced August 2020.

Comments: 27 pages; v3: minor improvements and corrected error in the table on (2,7)-entanglements of type Z/3Z. Comments welcome!

MSC Class: 11G05 (11F80; 14H10)

Quantifying dynamical high-order interdependencies from the O-information: an application to neural spiking dynamics

Authors: Sebastiano Stramaglia, Tomas Scagliarini, Bryan C. Daniels, Daniele Marinazzo

Abstract: We address the problem of efficiently and informatively quantifying how multiplets of variables carry information about the future of the dynamical system they belong to. In particular we want to identify groups of variables carrying redundant or synergistic information, and track how the size and the composition of these multiplets changes as the collective behavior of the system evolves. In orde… ▽ More We address the problem of efficiently and informatively quantifying how multiplets of variables carry information about the future of the dynamical system they belong to. In particular we want to identify groups of variables carrying redundant or synergistic information, and track how the size and the composition of these multiplets changes as the collective behavior of the system evolves. In order to afford a parsimonious expansion of shared information, and at the same time control for lagged interactions and common effect, we develop a dynamical, conditioned version of the O-information, a framework recently proposed to quantify high-order interdependencies via multivariate extension of the mutual information. We thus obtain an expansion of the transfer entropy in which synergistic and redundant effects are separated. We apply this framework to a dataset of spiking neurons from a monkey performing a perceptual discrimination task. The method identifies synergistic multiplets that include neurons previously categorized as containing little relevant information individually. △ Less

Submitted 31 July, 2020; originally announced July 2020.

A scaling theory of armed conflict avalanches

Authors: Edward D. Lee, Bryan C. Daniels, Christopher R. Myers, David C. Krakauer, Jessica C. Flack

Abstract: Armed conflict data display scaling and universal dynamics in both social and physical properties like fatalities and geographic extent. We propose a randomly branching, armed-conflict model that relates multiple properties to one another in a way consistent with data. The model incorporates a fractal lattice on which conflict spreads, uniform dynamics driving conflict growth, and regional virulen… ▽ More Armed conflict data display scaling and universal dynamics in both social and physical properties like fatalities and geographic extent. We propose a randomly branching, armed-conflict model that relates multiple properties to one another in a way consistent with data. The model incorporates a fractal lattice on which conflict spreads, uniform dynamics driving conflict growth, and regional virulence that modulates local conflict intensity. The quantitative constraints on scaling and universal dynamics we use to develop our minimal model serve more generally as a set of constraints for other models for armed conflict dynamics. We show how this approach akin to thermodynamics imparts mechanistic intuition and unifies multiple conflict properties, giving insight into causation, prediction, and intervention timing. △ Less

Submitted 29 April, 2020; originally announced April 2020.

Journal ref: Phys. Rev. E 102, 042312 (2020)

Coincidences of division fields

Authors: Harris B. Daniels, Álvaro Lozano-Robledo

Abstract: Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $ρ_E\colon {\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\rm GL}(2,\widehat{ \mathbb{Z} })$ be the adelic representation associated to the natural action of Galois on the torsion points of $E(\overline{\mathbb{Q}})$. By a theorem of Serre, the image of $ρ_{E}$ is open, but the image is always of index at least $2$ in… ▽ More Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $ρ_E\colon {\rm Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to {\rm GL}(2,\widehat{ \mathbb{Z} })$ be the adelic representation associated to the natural action of Galois on the torsion points of $E(\overline{\mathbb{Q}})$. By a theorem of Serre, the image of $ρ_{E}$ is open, but the image is always of index at least $2$ in ${\rm GL}(2,\widehat{\mathbb{Z}})$ due to a certain quadratic entanglement amongst division fields. In this paper, we study other types of abelian entanglements. More concretely, we classify the elliptic curves $E/\mathbb{Q}$, and primes $p$ and $q$ such that $\mathbb{Q}(E[p])\cap \mathbb{Q}(ζ_{q^k})$ is non-trivial, and determine the degree of the coincidence. As a consequence, we classify all elliptic curves $E/\mathbb{Q}$ and integers $m,n$ such that the $m$-th and $n$-th division fields coincide, i.e., when $\mathbb{Q}(E[n])=\mathbb{Q}(E[m])$, when the division field is abelian. △ Less

Submitted 23 June, 2021; v1 submitted 11 December, 2019; originally announced December 2019.

Comments: 28 pages

Quantifying the impact of network structure on speed and accuracy in collective decision-making

Authors: Bryan C. Daniels, Pawel Romanczuk

Abstract: Found in varied contexts from neurons to ants to fish, binary decision-making is one of the simplest forms of collective computation. In this process, information collected by individuals about an uncertain environment is accumulated to guide behavior at the aggregate scale. We study binary decision-making dynamics in networks responding to inputs with small signal-to-noise ratios, looking for qua… ▽ More Found in varied contexts from neurons to ants to fish, binary decision-making is one of the simplest forms of collective computation. In this process, information collected by individuals about an uncertain environment is accumulated to guide behavior at the aggregate scale. We study binary decision-making dynamics in networks responding to inputs with small signal-to-noise ratios, looking for quantitative measures of collectivity that control decision-making performance. We find that decision accuracy is controlled largely by three factors: the leading eigenvalue of the network adjacency matrix, the corresponding eigenvector's participation ratio, and distance from the corresponding symmetry-breaking bifurcation. This allows us to predict how decision-making performance scales in large networks based on their spectral properties. Specifically, we explore the effects of localization caused by the hierarchical assortative structure of a "rich club" topology. This gives insight into the tradeoffs involved in the higher-order structure found in living networks performing collective computations. △ Less

Submitted 22 March, 2019; originally announced March 2019.

Comments: 16 pages, 4 figures

Emergent regularities and scaling in armed conflict data

Authors: Edward D. Lee, Bryan C. Daniels, Christopher R. Myers, David C. Krakauer, Jessica C. Flack

Abstract: Armed conflict exhibits regularities beyond known power law distributions of fatalities and duration over varying culture and geography. We systematically cluster conflict reports from a database of $10^5$ events from Africa spanning 20 years into conflict avalanches. Conflict profiles collapse over a range of scales. Duration, diameter, extent, fatalities, and report totals satisfy mutually consi… ▽ More Armed conflict exhibits regularities beyond known power law distributions of fatalities and duration over varying culture and geography. We systematically cluster conflict reports from a database of $10^5$ events from Africa spanning 20 years into conflict avalanches. Conflict profiles collapse over a range of scales. Duration, diameter, extent, fatalities, and report totals satisfy mutually consistent scaling relations captured with a model combining geographic spread and local conflict-site growth. The emergence of such social scaling laws hints at principles guiding conflict evolution. △ Less

Submitted 29 April, 2020; v1 submitted 18 March, 2019; originally announced March 2019.

Serre's constant of elliptic curves over the rationals

Authors: Harris B. Daniels, Enrique González-Jiménez

Abstract: Let $E$ be an elliptic curve without complex multiplication defined over the rationals. The purpose of this article is to define a positive integer $A(E)$, that we call the {\it Serre's constant associated to $E$}, that gives necessary conditions to conclude that $ρ_{E,m}$, the mod m Galois representation associated to $E$, is non-surjective. In particular, if there exists a prime factor $p$ of… ▽ More Let $E$ be an elliptic curve without complex multiplication defined over the rationals. The purpose of this article is to define a positive integer $A(E)$, that we call the {\it Serre's constant associated to $E$}, that gives necessary conditions to conclude that $ρ_{E,m}$, the mod m Galois representation associated to $E$, is non-surjective. In particular, if there exists a prime factor $p$ of $m$ satisfying ${\rm val}_p(m) > {\rm val}_p(A(E))>0$ then $ρ_{E,m}$ is non-surjective. {Conditionally under Serre's Uniformity Conjecture, w}e determine all the Serre's constants of elliptic curves without complex multiplication over the rationals that occur infinitely often. Moreover, we give all the possible combination of mod $p$ Galois representations that occur for infinitely many non-isomorphic classes of non-CM elliptic curves over $\mathbb{Q}$, and the known cases that appear only finitely. We obtain similar results for the possible combination of maximal non-surjective subgroups of ${\rm GL}_2(\mathbb{Z}_p)$. Finally, we conjecture all the possibilities of these combinations and in particular all the possibilities of these Serre's constant. △ Less

Submitted 22 October, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: To appear in Exp. Math

MSC Class: 11G05; 11F80

Journal ref: Exp. Math. 31 (2022), no. 2, 518-536

Automated, predictive, and interpretable inference of C. elegans escape dynamics

Authors: Bryan C. Daniels, William S. Ryu, Ilya Nemenman

Abstract: The roundworm C. elegans exhibits robust escape behavior in response to rapidly rising temperature. The behavior lasts for a few seconds, shows history dependence, involves both sensory and motor systems, and is too complicated to model mechanistically using currently available knowledge. Instead we model the process phenomenologically, and we use the Sir Isaac dynamical inference platform to infe… ▽ More The roundworm C. elegans exhibits robust escape behavior in response to rapidly rising temperature. The behavior lasts for a few seconds, shows history dependence, involves both sensory and motor systems, and is too complicated to model mechanistically using currently available knowledge. Instead we model the process phenomenologically, and we use the Sir Isaac dynamical inference platform to infer the model in a fully automated fashion directly from experimental data. The inferred model requires incorporation of an unobserved dynamical variable, and is biologically interpretable. The model makes accurate predictions about the dynamics of the worm behavior, and it can be used to characterize the functional logic of the dynamical system underlying the escape response. This work illustrates the power of modern artificial intelligence to aid in discovery of accurate and interpretable models of complex natural systems. △ Less

Submitted 25 September, 2018; originally announced September 2018.

Comments: 19 pages, 5 figures

Torsion groups of elliptic curves over the $\mathbb Z_p$-extensions of $\mathbb Q$

Authors: Michael Chou, Harris B. Daniels, Ivan Krijan, Filip Najman

Abstract: We determine, for an elliptic curve $E/\mathbb Q$ and for all $p$, all the possible torsion groups $E(\mathbb Q_{\infty, p})_{tors}$, where $\mathbb Q_{\infty, p}$ is the $\mathbb Z_p$-extension of $\mathbb Q$. We determine, for an elliptic curve $E/\mathbb Q$ and for all $p$, all the possible torsion groups $E(\mathbb Q_{\infty, p})_{tors}$, where $\mathbb Q_{\infty, p}$ is the $\mathbb Z_p$-extension of $\mathbb Q$. △ Less

Submitted 8 October, 2018; v1 submitted 15 August, 2018; originally announced August 2018.

Comments: 20 pages

On the torsion of rational elliptic curves over sextic fields

Authors: Harris B. Daniels, Enrique González-Jiménez

Abstract: Given an elliptic curve $E/\mathbb{Q}$ with torsion subgroup $G = E(\mathbb{Q})_{\rm tors}$ we study what groups (up to isomorphism) can occur as the torsion subgroup of $E$ base-extended to $K$, a degree 6 extension of $\mathbb{Q}$. We also determine which groups $H = E(K)_{\rm tors}$ can occur infinitely often and which ones occur for only finitely many curves. This article is a first step towar… ▽ More Given an elliptic curve $E/\mathbb{Q}$ with torsion subgroup $G = E(\mathbb{Q})_{\rm tors}$ we study what groups (up to isomorphism) can occur as the torsion subgroup of $E$ base-extended to $K$, a degree 6 extension of $\mathbb{Q}$. We also determine which groups $H = E(K)_{\rm tors}$ can occur infinitely often and which ones occur for only finitely many curves. This article is a first step towards a complete classification of torsion growth of over sextic fields. △ Less

Submitted 3 March, 2019; v1 submitted 8 August, 2018; originally announced August 2018.

Comments: To appear in Mathematics of Computation

MSC Class: 11G05 (Primary) 14H52; 14G05 (Secondary)

Journal ref: Math. Comp. 89 (2020) 411-439

Logic and connectivity jointly determine criticality in biological gene regulatory networks

Authors: Bryan C. Daniels, Hyunju Kim, Douglas Moore, Siyu Zhou, Harrison Smith, Bradley Karas, Stuart A. Kauffman, Sara I. Walker

Abstract: The complex dynamics of gene expression in living cells can be well-approximated using Boolean networks. The average sensitivity is a natural measure of stability in these systems: values below one indicate typically stable dynamics associated with an ordered phase, whereas values above one indicate chaotic dynamics. This yields a theoretically motivated adaptive advantage to being near the critic… ▽ More The complex dynamics of gene expression in living cells can be well-approximated using Boolean networks. The average sensitivity is a natural measure of stability in these systems: values below one indicate typically stable dynamics associated with an ordered phase, whereas values above one indicate chaotic dynamics. This yields a theoretically motivated adaptive advantage to being near the critical value of one, at the boundary between order and chaos. Here, we measure average sensitivity for 66 publicly available Boolean network models describing the function of gene regulatory circuits across diverse living processes. We find the average sensitivity values for these networks are clustered around unity, indicating they are near critical. In many types of random networks, mean connectivity <K> and the average activity bias of the logic functions <p> have been found to be the most important network properties in determining average sensitivity, and by extension a network's criticality. Surprisingly, many of these gene regulatory networks achieve the near-critical state with <K> and <p> far from that predicted for critical systems: randomized networks sharing the local causal structure and local logic of biological networks better reproduce their critical behavior than controlling for macroscale properties such as <K> and <p> alone. This suggests the local properties of genes interacting within regulatory networks are selected to collectively be near-critical, and this non-local property of gene regulatory network dynamics cannot be predicted using the density of interactions alone. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Comments: 10 pages, 7 figures

Journal ref: Phys. Rev. Lett. 121, 138102 (2018)

Groups of generalized $G$-type and applications to torsion subgroups of rational elliptic curves over infinite extensions of $\mathbb{Q}$

Authors: Harris B. Daniels, Maarten Derickx, Jeffrey Hatley

Abstract: Recently there has been much interest in studying the torsion subgroups of elliptic curves base-extended to infinite extensions of $\mathbb{Q}$. In this paper, given a finite group $G$, we study what happens with the torsion of an elliptic curve $E$ over $\mathbb{Q}$ when changing base to the compositum of all number fields with Galois group $G$. We do this by studying a group theoretic condition… ▽ More Recently there has been much interest in studying the torsion subgroups of elliptic curves base-extended to infinite extensions of $\mathbb{Q}$. In this paper, given a finite group $G$, we study what happens with the torsion of an elliptic curve $E$ over $\mathbb{Q}$ when changing base to the compositum of all number fields with Galois group $G$. We do this by studying a group theoretic condition called generalized $G$-type, which is a necessary condition for a number field with Galois group $H$ to be contained in that compositum. In general, group theory allows one to reduce the original problem to the question of finding rational points on finitely many modular curves. To illustrate this method we completely determine which torsion structures occur for elliptic curves defined over $\mathbb{Q}$ and base-changed to the compositum of all fields whose Galois group is $A_4$. △ Less

Submitted 31 May, 2019; v1 submitted 26 March, 2018; originally announced March 2018.

Comments: to appear in Transactions of the London Mathematical Society

MSC Class: 14H52

Journal ref: Transactions of the London Mathematical Society, Vol. 6, No. 1 (2019), 22-52

Convenient Interface to Inverse Ising (ConIII): A Python 3 Package for Solving Ising-Type Maximum Entropy Models

Authors: Edward D. Lee, Bryan C Daniels

Abstract: ConIII (pronounced CON-ee) is an open-source Python project providing a simple interface to solving the pairwise and higher order Ising model and a base for extension to other maximum entropy models. We describe the maximum entropy problem and give an overview of the algorithms that are implemented as part of ConIII (https://github.com/eltrompetero/coniii) including Monte Carlo histogram, pseudoli… ▽ More ConIII (pronounced CON-ee) is an open-source Python project providing a simple interface to solving the pairwise and higher order Ising model and a base for extension to other maximum entropy models. We describe the maximum entropy problem and give an overview of the algorithms that are implemented as part of ConIII (https://github.com/eltrompetero/coniii) including Monte Carlo histogram, pseudolikelihood, minimum probability flow, a regularized mean field method, and a cluster expansion method. Our goal is to make a variety of maximum entropy techniques accessible to those unfamiliar with the techniques and accelerate workflow for users. △ Less

Submitted 10 March, 2019; v1 submitted 24 January, 2018; originally announced January 2018.

Torsion subgroups of rational elliptic curves over the compositum of all $D_4$ extensions of the rational numbers

Authors: Harris B. Daniels

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(D_4^\infty)$ be the compositum of all extensions of $\mathbb{Q}$ whose Galois closure has Galois group isomorphic to a quotient of a subdirect product of a finite number of transitive subgroups of $D_4$. In this article we first show that $\mathbb{Q}(D_4^\infty)$ is in fact the compositum of all $D_4$ extensions of $\mathbb{Q}$ and then w… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(D_4^\infty)$ be the compositum of all extensions of $\mathbb{Q}$ whose Galois closure has Galois group isomorphic to a quotient of a subdirect product of a finite number of transitive subgroups of $D_4$. In this article we first show that $\mathbb{Q}(D_4^\infty)$ is in fact the compositum of all $D_4$ extensions of $\mathbb{Q}$ and then we prove that the torsion subgroup of $E(\mathbb{Q}(D_4^\infty))$ is finite and determine the 24 possibilities for its structure. We also give a complete classification of the elliptic curves that have each possible torsion structure in terms of their $j$-invariants. △ Less

Submitted 16 February, 2018; v1 submitted 14 October, 2017; originally announced October 2017.

MSC Class: 11G05; 11R21; 12F10; 14H52

Bounds of the rank of the Mordell-Weil group of jacobians of hyperelliptic curves

Authors: Harris B. Daniels, Álvaro Lozano-Robledo, Erik Wallace

Abstract: In this article we extend work of Shanks and Washington on cyclic extensions, and elliptic curves associated to the simplest cubic fields. In particular, we give families of examples of hyperelliptic curves $C: y^2=f(x)$ defined over $\mathbb{Q}$, with $f(x)$ of degree $p$, where $p$ is a Sophie Germain prime, such that the rank of the Mordell--Weil group of the jacobian $J/\mathbb{Q}$ of $C$ is b… ▽ More In this article we extend work of Shanks and Washington on cyclic extensions, and elliptic curves associated to the simplest cubic fields. In particular, we give families of examples of hyperelliptic curves $C: y^2=f(x)$ defined over $\mathbb{Q}$, with $f(x)$ of degree $p$, where $p$ is a Sophie Germain prime, such that the rank of the Mordell--Weil group of the jacobian $J/\mathbb{Q}$ of $C$ is bounded by the genus of $C$ and the $2$-rank of the class group of the (cyclic) field defined by $f(x)$, and exhibit examples where this bound is sharp. △ Less

Submitted 4 December, 2019; v1 submitted 25 August, 2017; originally announced August 2017.

Comments: 22 pages, To appear in J. Théor. Nombres Bordeaux

On the ranks of elliptic curves with isogenies

Authors: Harris B. Daniels, Hannah Goodwillie

Abstract: In recent years, the question of whether the ranks of elliptic curves defined over $\mathbb{Q}$ are unbounded has garnered much attention. One can create refined versions of this question by restricting one's attention to elliptic curves over $\mathbb{Q}$ with a certain algebraic structure, e.g., with a rational point of a given order. In an attempt to gather data about such questions, we look for… ▽ More In recent years, the question of whether the ranks of elliptic curves defined over $\mathbb{Q}$ are unbounded has garnered much attention. One can create refined versions of this question by restricting one's attention to elliptic curves over $\mathbb{Q}$ with a certain algebraic structure, e.g., with a rational point of a given order. In an attempt to gather data about such questions, we look for examples of elliptic curves over $\mathbb{Q}$ with an $n$-isogeny and rank as large as possible. To do this, we use existing techniques due to Rogers, Rubin, Silverberg, and Nagao and develop a new technique (based on an observation made by Mazur) that is more computationally feasible when the naive heights of the elliptic curves are large. △ Less

Submitted 4 November, 2016; originally announced November 2016.

Control of critical behavior in a small-scale social system

Authors: Bryan C. Daniels, David C. Krakauer, Jessica C. Flack

Abstract: Over the last decade new technologies for making large numbers of fine-grained measurements have led to the surprising discovery that many biological systems sit near a critical point. These systems are potentially more adaptive in that small changes to component behavior can induce large-scale changes in aggregate structure and function. Accounting for criticality remains a challenge as sensitivi… ▽ More Over the last decade new technologies for making large numbers of fine-grained measurements have led to the surprising discovery that many biological systems sit near a critical point. These systems are potentially more adaptive in that small changes to component behavior can induce large-scale changes in aggregate structure and function. Accounting for criticality remains a challenge as sensitivity to perturbation suggests a lack of robustness. Furthermore, change induced by perturbation may not be adaptive. Complicating matters further critical phenomena can result from history-dependent stochastic processes. A question central to distinguishing among these conflicting views of criticality is to what degree criticality can be controlled by the components of the system. We address the control of criticality using data on conflict dynamics and fight sizes from an animal society model system (Macaca nemestrina, n=48). The system is fundamentally finite so we operationalize criticality in information theoretic terms using Fisher information and a measure of instability. We analyze criticality using empirically-grounded equilibrium (maximum entropy) and dynamic (branching process) models of the monkeys' fight-joining behavior. We find that (1) this heterogeneous, socially organized system, like homogeneous, spatial systems (flocks and schools), sits near a critical point, (2) the contributions individuals make to how critical the system is can be quantified and vary, and (3) the distance from the critical point (DFC) can be controlled through biologically plausible mechanisms operating on this heterogeneity. These mechanisms include third-party policing, which dampens fight participation of the individuals with the largest effect on DFC. Control of DFC allows biological systems to balance the tradeoff between robustness and need for rapid change. △ Less

Submitted 13 January, 2016; originally announced January 2016.

Comments: 34 pages, 8 figures

Torsion subgroups of rational elliptic curves over the compositum of all cubic fields

Authors: Harris B. Daniels, Alvaro Lozano-Robledo, Filip Najman, Andrew V. Sutherland

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(3^\infty)$ be the compositum of all cubic extensions of $\mathbb{Q}$. In this article we show that the torsion subgroup of $E(\mathbb{Q}(3^\infty))$ is finite and determine 20 possibilities for its structure, along with a complete description of the $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves that fall into each case. W… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(3^\infty)$ be the compositum of all cubic extensions of $\mathbb{Q}$. In this article we show that the torsion subgroup of $E(\mathbb{Q}(3^\infty))$ is finite and determine 20 possibilities for its structure, along with a complete description of the $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves that fall into each case. We provide rational parameterizations for each of the 16 torsion structures that occur for infinitely many $\overline{\mathbb{Q}}$-isomorphism classes of elliptic curves, and a complete list of $j$-invariants for each of the 4 that do not. △ Less

Submitted 26 January, 2018; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: Corrects an error in the proofs of Lemma 3.2 and Theorem 3.6; 32 pages

MSC Class: 11G05 (Primary); 11R21; 12F10; 14H52 (Secondary)

Journal ref: Math. Comp. 87 (2018), 425-458

Elliptic curves with maximally disjoint division fields

Authors: Harris B. Daniels, Jeffrey Hatley, James Ricci

Abstract: One of the many interesting algebraic objects associated to a given rational elliptic curve, $E$, is its full-torsion representation $ρ_E:\mathrm{Gal}(\bar{\mathbf{Q}}/\mathbf{Q})\to\mathrm{GL}_2(\hat{\mathbf{Z}})$. Generalizing this idea, one can create another full-torsion Galois representation,… ▽ More One of the many interesting algebraic objects associated to a given rational elliptic curve, $E$, is its full-torsion representation $ρ_E:\mathrm{Gal}(\bar{\mathbf{Q}}/\mathbf{Q})\to\mathrm{GL}_2(\hat{\mathbf{Z}})$. Generalizing this idea, one can create another full-torsion Galois representation, $ρ_{(E_1,E_2)}:\mathrm{Gal}(\bar{\mathbf{Q}}/\mathbf{Q})\to\left(\mathrm{GL}_2(\hat{\mathbf{Z}})\right)^2$ associated to a pair $(E_1,E_2)$ of rational elliptic curves. The goal of this paper is to provide an infinite number of concrete examples of pairs of elliptic curves whose associated full-torsion Galois representation $ρ_{(E_1,E_2)}$ has maximal image. The size of the image is inversely related to the size of the intersection of various division fields defined by $E_1$ and $E_2$. The representation $ρ_{(E_1,E_2)}$ has maximal image when these division fields are maximally disjoint, and most of the paper is devoted to studying these intersections. △ Less

Submitted 27 July, 2015; originally announced July 2015.

MSC Class: 14H52; 11F80

Sloppiness and Emergent Theories in Physics, Biology, and Beyond

Authors: Mark K. Transtrum, Benjamin Machta, Kevin Brown, Bryan C. Daniels, Christopher R. Myers, James P. Sethna

Abstract: Large scale models of physical phenomena demand the development of new statistical and computational tools in order to be effective. Many such models are `sloppy', i.e., exhibit behavior controlled by a relatively small number of parameter combinations. We review an information theoretic framework for analyzing sloppy models. This formalism is based on the Fisher Information Matrix, which we inter… ▽ More Large scale models of physical phenomena demand the development of new statistical and computational tools in order to be effective. Many such models are `sloppy', i.e., exhibit behavior controlled by a relatively small number of parameter combinations. We review an information theoretic framework for analyzing sloppy models. This formalism is based on the Fisher Information Matrix, which we interpret as a Riemannian metric on a parameterized space of models. Distance in this space is a measure of how distinguishable two models are based on their predictions. Sloppy model manifolds are bounded with a hierarchy of widths and extrinsic curvatures. We show how the manifold boundary approximation can extract the simple, hidden theory from complicated sloppy models. We attribute the success of simple effective models in physics as likewise emerging from complicated processes exhibiting a low effective dimensionality. We discuss the ramifications and consequences of sloppy models for biochemistry and science more generally. We suggest that the reason our complex world is understandable is due to the same fundamental reason: simple theories of macroscopic behavior are hidden inside complicated microscopic processes. △ Less

Submitted 30 January, 2015; originally announced January 2015.

Capturing collective conflict dynamics with sparse social circuits

Authors: Edward Lee, Bryan Daniels, Jessica Flack, David Krakauer

Abstract: We discuss a set of computational techniques, called Inductive Game Theory, for extracting strategic decision-making rules from time series data and constructing probabilistic social circuits. We construct these circuits by connecting component individuals and groups with strategies in a game and propose an inductive approach to reconstructing the edges. We demonstrate this approach with conflict… ▽ More We discuss a set of computational techniques, called Inductive Game Theory, for extracting strategic decision-making rules from time series data and constructing probabilistic social circuits. We construct these circuits by connecting component individuals and groups with strategies in a game and propose an inductive approach to reconstructing the edges. We demonstrate this approach with conflict behavior in a society of pigtailed macaques by identifying significant patterns in decision-making by individuals. With the constructed circuit, we then capture macroscopic features of the system that were not specified in the construction of the initial circuit, providing a map** between individual level behaviors to collective behaviors over the scale of the group. We extend on previous work in Inductive Game Theory by more efficiently searching the space of possible strategies by grou** individuals into socially relevant sets to produce a more efficient, parsimonious specification of the underlying interactions between components. We discuss how we reduce the dimensionality of these circuits using coarse-graining or compression to build cognitive effective theories for collective behavior. △ Less

Submitted 30 June, 2014; originally announced June 2014.

Report number: ci-2014/108

Efficient inference of parsimonious phenomenological models of cellular dynamics using S-systems and alternating regression

Authors: Bryan C. Daniels, Ilya Nemenman

Abstract: The nonlinearity of dynamics in systems biology makes it hard to infer them from experimental data. Simple linear models are computationally efficient, but cannot incorporate these important nonlinearities. An adaptive method based on the S-system formalism, which is a sensible representation of nonlinear mass-action kinetics typically found in cellular dynamics, maintains the efficiency of linear… ▽ More The nonlinearity of dynamics in systems biology makes it hard to infer them from experimental data. Simple linear models are computationally efficient, but cannot incorporate these important nonlinearities. An adaptive method based on the S-system formalism, which is a sensible representation of nonlinear mass-action kinetics typically found in cellular dynamics, maintains the efficiency of linear regression. We combine this approach with adaptive model selection to obtain efficient and parsimonious representations of cellular dynamics. The approach is tested by inferring the dynamics of yeast glycolysis from simulated data. With little computing time, it produces dynamical models with high predictive power and with structural complexity adapted to the difficulty of the inference problem. △ Less

Submitted 16 June, 2014; originally announced June 2014.

Comments: 14 pages, 2 figures

Automated adaptive inference of coarse-grained dynamical models in systems biology

Authors: Bryan C. Daniels, Ilya Nemenman

Abstract: Cellular regulatory dynamics is driven by large and intricate networks of interactions at the molecular scale, whose sheer size obfuscates understanding. In light of limited experimental data, many parameters of such dynamics are unknown, and thus models built on the detailed, mechanistic viewpoint overfit and are not predictive. At the other extreme, simple ad hoc models of complex processes ofte… ▽ More Cellular regulatory dynamics is driven by large and intricate networks of interactions at the molecular scale, whose sheer size obfuscates understanding. In light of limited experimental data, many parameters of such dynamics are unknown, and thus models built on the detailed, mechanistic viewpoint overfit and are not predictive. At the other extreme, simple ad hoc models of complex processes often miss defining features of the underlying systems. Here we propose an approach that instead constructs phenomenological, coarse-grained models of network dynamics that automatically adapt their complexity to the amount of available data. Such adaptive models lead to accurate predictions even when microscopic details of the studied systems are unknown due to insufficient data. The approach is computationally tractable, even for a relatively large number of dynamical variables, allowing its software realization, named Sir Isaac, to make successful predictions even when important dynamic variables are unobserved. For example, it matches the known phase space structure for simulated planetary motion data, avoids overfitting in a complex biological signaling system, and produces accurate predictions for a yeast glycolysis model with only tens of data points and over half of the interacting species unobserved. △ Less

Submitted 24 April, 2014; originally announced April 2014.

Comments: 38 pages, 12 figures

Nucleation at the DNA supercoiling transition

Authors: Bryan C. Daniels, James P. Sethna

Abstract: Twisting DNA under a constant applied force reveals a thermally activated transition into a state with a supercoiled structure known as a plectoneme. Using transition state theory, we predict the rate of this plectoneme nucleation to be of order 10^4 Hz. We reconcile this with experiments that have measured hop** rates of order 10 Hz by noting that the viscosity of the bead used to manipulate th… ▽ More Twisting DNA under a constant applied force reveals a thermally activated transition into a state with a supercoiled structure known as a plectoneme. Using transition state theory, we predict the rate of this plectoneme nucleation to be of order 10^4 Hz. We reconcile this with experiments that have measured hop** rates of order 10 Hz by noting that the viscosity of the bead used to manipulate the DNA limits the measured rate. We find that the intrinsic bending caused by disorder in the base-pair sequence is important for understanding the free energy barrier that governs the transition. Both analytic and numerical methods are used in the calculations. We provide extensive details on the numerical methods for simulating the elastic rod model with and without disorder. △ Less

Submitted 14 March, 2011; v1 submitted 12 October, 2010; originally announced October 2010.

Comments: 18 pages, 15 figures

Saturation Probabilities of Continuous-Time Sigmoidal Networks

Authors: Randall D. Beer, Bryan Daniels

Abstract: From genetic regulatory networks to nervous systems, the interactions between elements in biological networks often take a sigmoidal or S-shaped form. This paper develops a probabilistic characterization of the parameter space of continuous-time sigmoidal networks (CTSNs), a simple but dynamically-universal model of such interactions. We describe an efficient and accurate method for calculating th… ▽ More From genetic regulatory networks to nervous systems, the interactions between elements in biological networks often take a sigmoidal or S-shaped form. This paper develops a probabilistic characterization of the parameter space of continuous-time sigmoidal networks (CTSNs), a simple but dynamically-universal model of such interactions. We describe an efficient and accurate method for calculating the probability of observing effectively M-dimensional dynamics in an N-element CTSN, as well as a closed-form but approximate method. We then study the dependence of this probability on N, M, and the parameter ranges over which sampling occurs. This analysis provides insight into the overall structure of CTSN parameter space. △ Less

Submitted 8 October, 2010; originally announced October 2010.

Comments: 53 pages, 9 Figures

Discontinuities at the DNA supercoiling transition

Authors: Bryan C. Daniels, Scott Forth, Maxim Y. Sheinin, Michelle D. Wang, James P. Sethna

Abstract: While slowly turning the ends of a single molecule of DNA at constant applied force, a discontinuity was recently observed at the supercoiling transition, when a small plectoneme is suddenly formed. This can be understood as an abrupt transition into a state in which stretched and plectonemic DNA coexist. We argue that there should be discontinuities in both the extension and the torque at the t… ▽ More While slowly turning the ends of a single molecule of DNA at constant applied force, a discontinuity was recently observed at the supercoiling transition, when a small plectoneme is suddenly formed. This can be understood as an abrupt transition into a state in which stretched and plectonemic DNA coexist. We argue that there should be discontinuities in both the extension and the torque at the transition, and provide experimental evidence for both. To predict the sizes of these discontinuities and how they change with the overall length of DNA, we organize a theory for the coexisting plectonemic state in terms of four length-independent parameters. We also test plectoneme theories, including our own elastic rod simulation, finding discrepancies with experiment that can be understood in terms of the four coexisting state parameters. △ Less

Submitted 21 July, 2009; v1 submitted 21 November, 2008; originally announced November 2008.

Comments: 11 pages, 5 figures; revised version, with added supplemental material

Statistical properties of multistep enzyme-mediated reactions

Authors: Wiet H. de Ronde, Bryan C. Daniels, Andrew Mugler, Nikolai A. Sinitsyn, Ilya Nemenman

Abstract: Enzyme-mediated reactions may proceed through multiple intermediate conformational states before creating a final product molecule, and one often wishes to identify such intermediate structures from observations of the product creation. In this paper, we address this problem by solving the chemical master equations for various enzymatic reactions. We devise a perturbation theory analogous to tha… ▽ More Enzyme-mediated reactions may proceed through multiple intermediate conformational states before creating a final product molecule, and one often wishes to identify such intermediate structures from observations of the product creation. In this paper, we address this problem by solving the chemical master equations for various enzymatic reactions. We devise a perturbation theory analogous to that used in quantum mechanics that allows us to determine the first (<n>) and the second (variance) cumulants of the distribution of created product molecules as a function of the substrate concentration and the kinetic rates of the intermediate processes. The mean product flux V=d<n>/dt (or "dose-response" curve) and the Fano factor F=variance/<n> are both realistically measurable quantities, and while the mean flux can often appear the same for different reaction types, the Fano factor can be quite different. This suggests both qualitative and quantitative ways to discriminate between different reaction schemes, and we explore this possibility in the context of four sample multistep enzymatic reactions. We argue that measuring both the mean flux and the Fano factor can not only discriminate between reaction types, but can also provide some detailed information about the internal, unobserved kinetic rates, and this can be done without measuring single-molecule transition events. △ Less

Submitted 20 November, 2008; originally announced November 2008.

Comments: 8 pages, 3 figures

Journal ref: IET Sys. Bio. 3 (2009) 429-437

Sloppiness, robustness, and evolvability in systems biology

Authors: Bryan C. Daniels, Yan-Jiun Chen, James P. Sethna, Ryan N. Gutenkunst, Christopher R. Myers

Abstract: The functioning of many biochemical networks is often robust -- remarkably stable under changes in external conditions and internal reaction parameters. Much recent work on robustness and evolvability has focused on the structure of neutral spaces, in which system behavior remains invariant to mutations. Recently we have shown that the collective behavior of multiparameter models is most often '… ▽ More The functioning of many biochemical networks is often robust -- remarkably stable under changes in external conditions and internal reaction parameters. Much recent work on robustness and evolvability has focused on the structure of neutral spaces, in which system behavior remains invariant to mutations. Recently we have shown that the collective behavior of multiparameter models is most often 'sloppy': insensitive to changes except along a few 'stiff' combinations of parameters, with an enormous sloppy neutral subspace. Robustness is often assumed to be an emergent evolved property, but the sloppiness natural to biochemical networks offers an alternative non-adaptive explanation. Conversely, ideas developed to study evolvability in robust systems can be usefully extended to characterize sloppy systems. △ Less

Submitted 19 May, 2008; originally announced May 2008.

Comments: 12 pages, 7 figures, submitted to Current Opinion in Biotechnology

Absence of lattice coherence effects in Ce0.6La0.4Pb3: A magnetic field study

Authors: R. Pietri, C. R. Rotundu, B. Andraka, B. C. Daniels, K. Ingersent

Abstract: The specific heat of polycrystalline Ce0.6La0.4Pb3 has been measured in magnetic fields ranging from 0 to 14 T. After subtraction of a lattice contribution, the specific heat between 1 K and 10 K is well described by the S=1/2 single-impurity Kondo model with just one adjustable parameter: the zero-field Kondo temperature. In particular, the variation in the temperature and the height of the pea… ▽ More The specific heat of polycrystalline Ce0.6La0.4Pb3 has been measured in magnetic fields ranging from 0 to 14 T. After subtraction of a lattice contribution, the specific heat between 1 K and 10 K is well described by the S=1/2 single-impurity Kondo model with just one adjustable parameter: the zero-field Kondo temperature. In particular, the variation in the temperature and the height of the peak in C vs T is captured with good accuracy. This fit suggests that lattice coherence effects play no significant role in the magnetic-field response of this concentrated Kondo system. △ Less

Submitted 19 May, 2005; originally announced May 2005.

Comments: 4 pages, 2 figures, Proceedings of MMM'04

Journal ref: J. Appl. Phys. 97, 10A510 (2005)