-
Examining the impact of forcing function inputs on structural identifiability
Authors:
Jessica R Conrad,
Marisa C Eisenberg
Abstract:
For mathematical and experimental ease, models with time varying parameters are often simplified to assume constant parameters. However, this simplification can potentially lead to identifiability issues (lack of uniqueness of parameter estimates). Methods have been developed to algebraically and numerically determine the identifiability of a model, as well as resolve identifiability issues. This…
▽ More
For mathematical and experimental ease, models with time varying parameters are often simplified to assume constant parameters. However, this simplification can potentially lead to identifiability issues (lack of uniqueness of parameter estimates). Methods have been developed to algebraically and numerically determine the identifiability of a model, as well as resolve identifiability issues. This specific type of simplification presents an alternate opportunity to instead use this information to resolve the unidentifiability. Given that re-parameterizing, collecting more data, and adding inputs can be potentially costly or impractical, this could present new alternatives.
We present a method for resolving unidentifiability in a system by introducing a new data stream correlated with a parameter of interest. First, we demonstrate how and when non-constant input data can be introduced into any rational function ODE system without worsening the model identifiability. Then, we prove when these input functions improve structural and potentially also practical identifiability for a given model and relevant data.
By utilizing pre-existing data streams, these methods can potentially reduce experimental costs, while still answering key questions. By connecting mathematical proofs to application, our framework removes guesswork from when, where, and how researchers can best introduce new data to improve model outcomes.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
A Dynamic Model of Integration
Authors:
Joseph D. Johnson,
Marisa C. Eisenberg
Abstract:
Thomas Schelling introduced his agent-based model of segregation in 1971 and concluded that even when there is a low amount of intolerance within society that segregation will develop if people follow their individual preferences. A large body of literature building of this framework has been built and has bolstered this claim. This paper aims to take the same framework but instead look for ways t…
▽ More
Thomas Schelling introduced his agent-based model of segregation in 1971 and concluded that even when there is a low amount of intolerance within society that segregation will develop if people follow their individual preferences. A large body of literature building of this framework has been built and has bolstered this claim. This paper aims to take the same framework but instead look for ways to get to an integrated state. We focus on Allport's contact hypothesis that states that if there is equal status among groups, common goals among groups, and an institutional mechanism supporting intergroup contact then intergroup contact can reduce prejudice. We incorporate the contact hypothesis by having individuals adjust their intolerance based on their current neighborhood composition and the ease of conforming to their surroundings. Furthermore, we add in positive and negative media effects, as individuals are likely to get information about an outgroup from the media (e.g., news, TV, movies, etc.) that they consume. We find that having a society composed of individuals who do not easily conform to their surroundings and displaying positive examples of both groups in media promote integration within society.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Observational signatures of stellar explosions driven by relativistic jets
Authors:
Moshe Eisenberg,
Ore Gottlieb,
Ehud Nakar
Abstract:
The role of relativistic jets in unbinding the stellar envelope during a supernova (SN) associated with a gamma-ray burst (GRB) is unclear. To study that, we explore observational signatures of stellar explosions that are driven by jets. We focus on the final velocity distribution of the outflow in such explosions and compare its observational imprints to SN/GRB data. We find that jet driven explo…
▽ More
The role of relativistic jets in unbinding the stellar envelope during a supernova (SN) associated with a gamma-ray burst (GRB) is unclear. To study that, we explore observational signatures of stellar explosions that are driven by jets. We focus on the final velocity distribution of the outflow in such explosions and compare its observational imprints to SN/GRB data. We find that jet driven explosions produce an outflow with a flat distribution of energy per logarithmic scale of proper velocity. The flat distribution seems to be universal as it is independent of the jet and the progenitor properties that we explored. The velocity range of the flat distribution for typical GRB parameters is $γβ\approx 0.03-3$, where $γ$ is the outflow Lorentz factor and $β$ is its dimensionless velocity. A flat distribution is seen also for collimated choked jets where the highest outflow velocity decreases with the depth at which the jet is choked. Comparison to observations of SN/GRBs rules out jets as the sole explosion source in these events. Instead, in SN/GRB the collapsing star must deposit its energy into two channels - a quasi-spherical (or wide angle) channel and a narrowly collimated one. The former carries most of the energy and is responsible for the SN sub-relativistic ejecta while the latter carries 0.01-0.1 of the total outflow energy and is the source of the GRB. Intriguingly, the same two channels, with a similar energy ratio, were seen in the binary neutron star merger GW170817, suggesting that similar engines are at work in both phenomena.
△ Less
Submitted 20 January, 2022;
originally announced January 2022.
-
Structural identifiability analysis of PDEs: A case study in continuous age-structured epidemic models
Authors:
Marissa Renardy,
Denise Kirschner,
Marisa Eisenberg
Abstract:
Computational and mathematical models rely heavily on estimated parameter values for model development. Identifiability analysis determines how well the parameters of a model can be estimated from experimental data. Identifiability analysis is crucial for interpreting and determining confidence in model parameter values and to provide biologically relevant predictions. Structural identifiability a…
▽ More
Computational and mathematical models rely heavily on estimated parameter values for model development. Identifiability analysis determines how well the parameters of a model can be estimated from experimental data. Identifiability analysis is crucial for interpreting and determining confidence in model parameter values and to provide biologically relevant predictions. Structural identifiability analysis, in which one assumes data to be noiseless and arbitrarily fine-grained, has been extensively studied in the context of ordinary differential equation (ODE) models, but has not yet been widely explored for age-structured partial differential equation (PDE) models. These models present additional difficulties due to increased number of variables and partial derivatives as well as the presence of boundary conditions. In this work, we establish a pipeline for structural identifiability analysis of age-structured PDE models using a differential algebra framework and derive identifiability results for specific age-structured models. We use epidemic models to demonstrate this framework because of their wide-spread use in many different diseases and for the corresponding parallel work previously done for ODEs. In our application of the identifiability analysis pipeline, we focus on a Susceptible-Exposed-Infected model for which we compare identifiability results for a PDE and corresponding ODE system and explore effects of age-dependent parameters on identifiability. We also show how practical identifiability analysis can be applied in this example.
△ Less
Submitted 11 February, 2021;
originally announced February 2021.
-
Online reactions to the 2017 'Unite the Right' rally in Charlottesville: Measuring polarization in Twitter networks using media followership
Authors:
Joseph H. Tien,
Marisa C. Eisenberg,
Sarah T. Cherng,
Mason A. Porter
Abstract:
We study the Twitter conversation following the August 2017 `Unite the Right' rally in Charlottesville, Virginia, using tools from network analysis and data science. We use media followership on Twitter and principal component analysis (PCA) to compute a `Left'/`Right' media score on a one-dimensional axis to characterize nodes. We then use these scores, in concert with retweet relationships, to e…
▽ More
We study the Twitter conversation following the August 2017 `Unite the Right' rally in Charlottesville, Virginia, using tools from network analysis and data science. We use media followership on Twitter and principal component analysis (PCA) to compute a `Left'/`Right' media score on a one-dimensional axis to characterize nodes. We then use these scores, in concert with retweet relationships, to examine the structure of a retweet network of approximately 300,000 accounts that communicated with the #Charlottesville hashtag. The retweet network is sharply polarized, with an assortativity coefficient of 0.8 with respect to the sign of the media PCA score. Community detection using two approaches, a Louvain method and InfoMap, yields largely homogeneous communities in terms of Left/Right node composition. When comparing tweet content, we find that tweets about `Trump' were widespread in both the Left and Right, though the accompanying language was unsurprisingly different. Nodes with large degrees in communities on the Left include accounts that are associated with disparate areas, including activism, business, arts and entertainment, media, and politics. Support of Donald Trump was a common thread among the Right communities, connecting communities with accounts that reference white-supremacist hate symbols, communities with influential personalities in the alt-right, and the largest Right community (which includes the Twitter account FoxNews).
△ Less
Submitted 8 October, 2019; v1 submitted 19 May, 2019;
originally announced May 2019.
-
Persistence-infectivity trade-offs in environmentally transmitted pathogens change population-level disease dynamics
Authors:
Andrew F. Brouwer,
Marisa C. Eisenberg,
Nancy G. Love,
Joseph N. S. Eisenberg
Abstract:
Human pathogens transmitted through environmental pathways are subject to stress and pressures outside of the host. These pressures may cause pathogen pathovars to diverge in their environmental persistence and their infectivity on an evolutionary time-scale. On a shorter time-scale, a single-genotype pathogen population may display wide variation in persistence times and exhibit biphasic decay. U…
▽ More
Human pathogens transmitted through environmental pathways are subject to stress and pressures outside of the host. These pressures may cause pathogen pathovars to diverge in their environmental persistence and their infectivity on an evolutionary time-scale. On a shorter time-scale, a single-genotype pathogen population may display wide variation in persistence times and exhibit biphasic decay. Using an infectious disease transmission modeling framework, we demonstrate in both cases that fitness-preserving trade-offs have implications for the dynamics of associated epidemics: less infectious, more persistent pathogens cause epidemics to progress more slowly than more infectious, less persistent (labile) pathogens, even when the overall risk is the same. Using identifiability analysis, we show that the usual disease surveillance data does not sufficiently inform these underlying pathogen population dynamics, even with basic environmental monitoring. These results suggest directions for future microbial research and environmental monitoring. In particular, determining the relative infectivity of persistent pathogen subpopulations and the rates of phenotypic conversion will help ascertain how much disease risk is associated with the long tails of biphasic decay. Alternatively, risk can be indirectly ascertained by develo** methods to separately monitor labile and persistent subpopulations. A better understanding of persistence--infectivity trade-offs and associated dynamics can improve risk assessment and disease control strategies.
△ Less
Submitted 15 February, 2018;
originally announced February 2018.
-
The underlying connections between identifiability, active subspaces, and parameter space dimension reduction
Authors:
Andrew F. Brouwer,
Marisa C. Eisenberg
Abstract:
The interactions between parameters, model structure, and outputs can determine what inferences, predictions, and control strategies are possible for a given system. Parameter space reduction and parameter estimation---and, more generally, understanding the shape of the information contained in models with observational structure---are thus essential for many questions in mathematical modeling and…
▽ More
The interactions between parameters, model structure, and outputs can determine what inferences, predictions, and control strategies are possible for a given system. Parameter space reduction and parameter estimation---and, more generally, understanding the shape of the information contained in models with observational structure---are thus essential for many questions in mathematical modeling and uncertainty quantification. As such, different disciplines have developed methods in parallel for approaching the questions in their field. Many of these approaches, including identifiability, sloppiness, and active subspaces, use related ideas to address questions of parameter dimension reduction, parameter estimation, and robustness of inferences and quantities of interest.
In this paper, we show that active subspace methods have intrinsic connections to methods from sensitivity analysis and identifiability, and indeed that it is possible to frame each approach in a unified framework. A particular form of the Fisher information matrix (FIM), which we denote the sensitivity FIM, is fundamental to all three approaches---active subspaces, identifiability, and sloppiness. Through a series of examples and case studies, we illustrate the properties of the sensitivity FIM in several contexts. These initial examples show that the interplay between local and global and linear and non-linear strongly impact the insights each approach can generate. These observations underline that one's approach to parameter dimension reduction should be driven by the scientific question and also open the door to using tools from the other approaches to generate useful insights.
△ Less
Submitted 15 February, 2018;
originally announced February 2018.
-
Changing Burial Practices Explain Temporal Trends in the 2014 Ebola Outbreak
Authors:
Michael A. L. Hayashi,
Marisa C. Eisenberg
Abstract:
Background: The 2014 Ebola outbreak in West Africa was the largest on record, resulting in over 25,000 total infections and 15,000 total deaths. Mathematical modeling can be used to investigate the mechanisms driving transmission during this outbreak -- in particular, burial practices appear to have been major source of infections. Methodology/Principal Findings: We developed a multi-stage model o…
▽ More
Background: The 2014 Ebola outbreak in West Africa was the largest on record, resulting in over 25,000 total infections and 15,000 total deaths. Mathematical modeling can be used to investigate the mechanisms driving transmission during this outbreak -- in particular, burial practices appear to have been major source of infections. Methodology/Principal Findings: We developed a multi-stage model of Ebola virus transmission linked to a game-theoretic model of population burial practice selection. We fit our model to cumulative incidence and mortality data from Guinea, Liberia, and Sierra Leone from January 2014 to March, 2016. The inclusion of behavior change substantially improved best fit estimates and final size prediction compared to a reduced model with fixed burials. Best fit trajectories suggest that the majority of sanitary burial adoption occurred between July, 2014 and October, 2014. However, these simulations also indicated that continued sanitary burial practices waned following the resolution of the outbreak. Conclusions/Significance: Surveillance data from the 2014 outbreak appears to have a signal of changes in the dominant burial practices in all three countries. Increased adoption of sanitary burials likely attenuated transmission, but these changes occurred too late to prevent the explosive growth of the outbreak during its early phase. For future outbreaks, explicitly modeling behavior change and collecting data on transmission-related behaviors may improve intervention planning and outbreak response.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
Model distinguishability and inference robustness in mechanisms of cholera transmission and loss of immunity
Authors:
Elizabeth C. Lee,
Michael R. Kelly,
Brad M. Ochocki,
Segun M. Akinwumi,
Karen E. S. Hamre,
Joseph H. Tien,
Marisa C. Eisenberg
Abstract:
Mathematical models of cholera and waterborne disease vary widely in their structures, in terms of transmission pathways, loss of immunity, and other features. These differences may yield different predictions and parameter estimates from the same data. Given the increasing use of models to inform public health decision-making, it is important to assess distinguishability (whether models can be di…
▽ More
Mathematical models of cholera and waterborne disease vary widely in their structures, in terms of transmission pathways, loss of immunity, and other features. These differences may yield different predictions and parameter estimates from the same data. Given the increasing use of models to inform public health decision-making, it is important to assess distinguishability (whether models can be distinguished based on fit to data) and inference robustness (whether model inferences are robust to realistic variations in model structure). We examined the effects of uncertainty in model structure in epidemic cholera, testing a range of models based on known features of cholera epidemiology. We fit to simulated epidemic and long-term data, as well as data from the 2006 Angola epidemic. We evaluated model distinguishability based on data fit, and whether parameter values and forecasts can accurately be inferred from incidence data. In general, all models were able to successfully fit to all data sets, even if misspecified. However, in the long-term data, the best model fits were achieved when the loss of immunity form matched those of the model that simulated the data. Two transmission and reporting parameters were accurately estimated across all models, while the remaining showed broad variation across the different models and data sets. Forecasting efforts were not successful early, but once the epidemic peak had been achieved, most models showed similar accuracy. Our results suggest that we are unlikely to be able to infer mechanistic details from epidemic case data alone, underscoring the need for broader data collection. Nonetheless, with sufficient data, conclusions from forecasting and some parameter estimates were robust to variations in the model structure, and comparative modeling can help determine how variations in model structure affect conclusions drawn from models and data.
△ Less
Submitted 22 May, 2016;
originally announced May 2016.
-
Parameter identifiability and identifiable combinations in generalized Hodgkin-Huxley models
Authors:
Olivia J. Walch,
Marisa C. Eisenberg
Abstract:
The use of Hodgkin-Huxley (HH) equations abounds in the literature, but the identifiability of the HH model parameters has not been broadly considered. Identifiability analysis addresses the question of whether it is possible to estimate the model parameters for a given choice of measurement data and experimental inputs. Here we explore the structural identifiability properties of a generalized fo…
▽ More
The use of Hodgkin-Huxley (HH) equations abounds in the literature, but the identifiability of the HH model parameters has not been broadly considered. Identifiability analysis addresses the question of whether it is possible to estimate the model parameters for a given choice of measurement data and experimental inputs. Here we explore the structural identifiability properties of a generalized form of HH from voltage clamp data. Through a scaling argument, we conclude that the steady-state gating variables are not identifiable from voltage clamp data, and then further show that their product together with the conductance term forms an identifiable combination. We additionally show that these parameters become identifiable when the initial conditions for each of the gating variables are known. The time constants for each gating variable are shown to be identifiable, and a novel method for estimating them is presented. Finally, the exponents of the gating variables are shown to be identifiable in the two-gate case, and we conjecture these to be identifiable in the general case. These results are broadly applicable to models using HH-like formalisms, and show in general which parameters and combinations of parameters are possible to estimate from voltage clamp data.
△ Less
Submitted 16 November, 2015;
originally announced November 2015.
-
Modeling Spatial Invasion of Ebola in West Africa
Authors:
Jeremy P D'Silva,
Marisa C. Eisenberg
Abstract:
The 2014-2015 Ebola Virus Disease (EVD) epidemic in West Africa was the largest ever recorded, representing a fundamental shift in Ebola epidemiology with unprecedented spatiotemporal complexity. We developed spatial transmission models using a gravity-model framework to explain spatiotemporal dynamics of EVD in West Africa at both the national and district-level scales, and to compare effectivene…
▽ More
The 2014-2015 Ebola Virus Disease (EVD) epidemic in West Africa was the largest ever recorded, representing a fundamental shift in Ebola epidemiology with unprecedented spatiotemporal complexity. We developed spatial transmission models using a gravity-model framework to explain spatiotemporal dynamics of EVD in West Africa at both the national and district-level scales, and to compare effectiveness of local interventions (e.g. local quarantine) and long-range interventions (e.g. border-closures). Incorporating spatial interactions, the gravity model successfully captures the multiple waves of epidemic growth observed in Guinea. Model simulations indicate that local-transmission reductions were most effective in Liberia, while long-range transmission was dominant in Sierra Leone. The model indicates the presence of spatial herd protection, wherein intervention in one region has a protective effect on surrounding regions. The district-level intervention analysis indicates the presence of intervention-amplifying regions, which provide above-expected levels of reduction in cases and deaths beyond their borders. The gravity-modeling approach accurately captured the spatial spread patterns of EVD at both country and district levels, and helps to identify the most effective locales for intervention. This model structure and intervention analysis provides information that can be used by public health policymakers to assist planning and response efforts for future epidemics.
△ Less
Submitted 25 May, 2016; v1 submitted 29 July, 2015;
originally announced July 2015.
-
Effects of adaptive protective behavior on the dynamics of sexually transmitted infections
Authors:
Michael A. L. Hayashi,
Marisa C. Eisenberg
Abstract:
Sexually transmitted infections (STIs) continue to present a complex and costly challenge to public health programs. The preferences and social dynamics of a population can have a large impact on the course of an outbreak as well as the effectiveness of interventions intended to influence individual behavior. In addition, individuals may alter their sexual behavior in response to the presence of S…
▽ More
Sexually transmitted infections (STIs) continue to present a complex and costly challenge to public health programs. The preferences and social dynamics of a population can have a large impact on the course of an outbreak as well as the effectiveness of interventions intended to influence individual behavior. In addition, individuals may alter their sexual behavior in response to the presence of STIs, creating a feedback loop between transmission and behavior. We investigate the consequences of modeling the interaction between STI transmission and prophylactic use with a model that links a Susceptible-Infectious-Susceptible (SIS) system to evolutionary game dynamics that determine the effective contact rate. The combined model framework allows us to address protective behavior by both infected and susceptible individuals. Feedback between behavioral adaptation and prevalence creates a wide range of dynamic behaviors in the combined model, including damped and sustained oscillations as well as bistability, depending on the behavioral parameters and disease growth rate. We found that disease extinction is possible for multiple regions where R0 > 1, due to behavior adaptation driving the epidemic downward, although conversely endemic prevalence for arbitrarily low R0 is also possible if contact rates are sufficiently high. We also tested how model misspecification might affect disease forecasting and estimation of the model parameters and R0. We found that alternative models that neglect the behavioral feedback or only consider behavior adaptation by susceptible individuals can potentially yield misleading parameter estimates or omit significant features of the disease trajectory.
△ Less
Submitted 29 June, 2015;
originally announced June 2015.
-
Forecasting and Uncertainty in Modeling the 2014-2015 Ebola Epidemic in West Africa
Authors:
Marisa C. Eisenberg,
Joseph N. S. Eisenberg,
Jeremy P. D'Silva,
Eden V. Wells,
Sarah Cherng,
Yu-Han Kao,
Rafael Meza
Abstract:
The Ebola epidemic in West Africa is the largest ever recorded, with over 27,000 cases and 11,000 deaths as of June 2015. The public health response was challenged by difficulties with disease surveillance, which impacted subsequent analysis and decision-making regarding optimal interventions. We developed a stage-structured model of Ebola virus disease (EVD). A key feature of the model is that it…
▽ More
The Ebola epidemic in West Africa is the largest ever recorded, with over 27,000 cases and 11,000 deaths as of June 2015. The public health response was challenged by difficulties with disease surveillance, which impacted subsequent analysis and decision-making regarding optimal interventions. We developed a stage-structured model of Ebola virus disease (EVD). A key feature of the model is that it includes a generalized correction term accounting for factors such as the fraction of cases reported and fraction of the population at risk (e.g. due to contact patterns, interventions, spatiotemporal spread, pre-existing immunity, asymptomatic cases, etc.). We generated a range of short-term forecasts for Guinea, Liberia, and Sierra Leone, which we then validated using subsequent data. We also used the model to examine the uncertainty in the relative contributions to transmission by the different stages of infection (early, late, and funeral). We found that a wide range of forecasted trajectories fit approximately equally well to the early data. However, by including the correction factor term the best-fit models correctly forecasted EVD activity for all three countries, both individually and for all countries combined. In particular, the model correctly forecasted the slow-down in Liberia, as well as the continued exponential growth in Sierra Leone through November 2014. Parameter unidentifiability issues hindered estimation of the relative contributions of each stage of transmission from incidence and deaths data alone, which poses a challenge in determining optimal intervention strategies, and underscores the need for additional data collection. Even with these limited data, however, it is still possible to accurately capture and predict the epidemic dynamics by using a simplified correction term that approximately accounts for the complex underlying factors driving disease spread.
△ Less
Submitted 6 August, 2015; v1 submitted 22 January, 2015;
originally announced January 2015.
-
Identifiability results for several classes of linear compartment models
Authors:
Nicolette Meshkat,
Seth Sullivant,
Marisa Eisenberg
Abstract:
Identifiability concerns finding which unknown parameters of a model can be estimated from given input-output data. If some subset of the parameters of a model cannot be determined given input-output data, then we say the model is unidentifiable. In past work we identified a class of models, that we call identifiable cycle models, which are not identifiable but have the simplest possible identifia…
▽ More
Identifiability concerns finding which unknown parameters of a model can be estimated from given input-output data. If some subset of the parameters of a model cannot be determined given input-output data, then we say the model is unidentifiable. In past work we identified a class of models, that we call identifiable cycle models, which are not identifiable but have the simplest possible identifiable functions (so-called monomial cycles). Here we show how to modify identifiable cycle models by adding inputs, adding outputs, or removing leaks, in such a way that we obtain an identifiable model. We also prove a constructive result on how to combine identifiable models, each corresponding to strongly connected graphs, into a larger identifiable model. We apply these theoretical results to several real-world biological models from physiology, cell biology, and ecology.
△ Less
Submitted 30 October, 2014;
originally announced October 2014.
-
Determining Structurally Identifiable Parameter Combinations Using Subset Profiling
Authors:
Marisa C. Eisenberg,
Michael A. L. Hayashi
Abstract:
Identifiability is a necessary condition for successful parameter estimation of dynamic system models. A major component of identifiability analysis is determining the identifiable parameter combinations, the functional forms for the dependencies between unidentifiable parameters. Identifiable combinations can help in model reparameterization and also in determining which parameters may be experim…
▽ More
Identifiability is a necessary condition for successful parameter estimation of dynamic system models. A major component of identifiability analysis is determining the identifiable parameter combinations, the functional forms for the dependencies between unidentifiable parameters. Identifiable combinations can help in model reparameterization and also in determining which parameters may be experimentally measured to recover model identifiability. Several numerical approaches to determining identifiability of differential equation models have been developed, however the question of determining identifiable combinations remains incompletely addressed. In this paper, we present a new approach which uses parameter subset selection methods based on the Fisher Information Matrix, together with the profile likelihood, to effectively estimate identifiable combinations. We demonstrate this approach on several example models in pharmacokinetics, cellular biology, and physiology.
△ Less
Submitted 3 October, 2013; v1 submitted 8 July, 2013;
originally announced July 2013.
-
Input-output equivalence and identifiability: some simple generalizations of the differential algebra approach
Authors:
Marisa Eisenberg
Abstract:
In this paper, we give an overview of the differential algebra approach to identifiability, and then note a very simple observation about input-output equivalence and identifiability, that describes the identifiability equivalence between input-output equivalent models. We then give several simple consequences of this observation that can be useful in showing identifiability, including examining n…
▽ More
In this paper, we give an overview of the differential algebra approach to identifiability, and then note a very simple observation about input-output equivalence and identifiability, that describes the identifiability equivalence between input-output equivalent models. We then give several simple consequences of this observation that can be useful in showing identifiability, including examining non-first order ODE models, nondimensionalization and rescaling, model reducibility, and a modular approach to evaluating identifiability. We also examine how input-output equivalence can allow us to generate input output equations in the differential algebra approach through a wider range of methods (e.g. substitution and differential or standard Groebner basis approaches).
△ Less
Submitted 19 August, 2019; v1 submitted 22 February, 2013;
originally announced February 2013.
-
In Silico Synchronization of Cellular Populations Through Expression Data Deconvolution
Authors:
Marisa C. Eisenberg,
Joshua N. Ash,
Dan Siegal-Gaskins
Abstract:
Cellular populations are typically heterogenous collections of cells at different points in their respective cell cycles, each with a cell cycle time that varies from individual to individual. As a result, true single-cell behavior, particularly that which is cell-cycle--dependent, is often obscured in population-level (averaged) measurements. We have developed a simple deconvolution method that c…
▽ More
Cellular populations are typically heterogenous collections of cells at different points in their respective cell cycles, each with a cell cycle time that varies from individual to individual. As a result, true single-cell behavior, particularly that which is cell-cycle--dependent, is often obscured in population-level (averaged) measurements. We have developed a simple deconvolution method that can be used to remove the effects of asynchronous variability from population-level time-series data. In this paper, we summarize some recent progress in the development and application of our approach, and provide technical updates that result in increased biological fidelity. We also explore several preliminary validation results and discuss several ongoing applications that highlight the method's usefulness for estimating parameters in differential equation models of single-cell gene regulation.
△ Less
Submitted 4 May, 2011;
originally announced May 2011.
-
A derivation of the Boltzmann-Vlasov equation from multiple scattering using the Wigner function
Authors:
J. M. Eisenberg
Abstract:
A derivation is given of the Boltzmann-Vlasov equation beginning from multiple scattering considerations. The motivation for the discussion, which is purely pedagogical in nature, is the current interest in understanding the origins of transport equations in terms of rigorous field-theory descriptions, or, as in this case, exact nonrelativistic formulations.
A derivation is given of the Boltzmann-Vlasov equation beginning from multiple scattering considerations. The motivation for the discussion, which is purely pedagogical in nature, is the current interest in understanding the origins of transport equations in terms of rigorous field-theory descriptions, or, as in this case, exact nonrelativistic formulations.
△ Less
Submitted 2 May, 2005;
originally announced May 2005.
-
Quantum algorithms for subset finding
Authors:
Andrew M. Childs,
Jason M. Eisenberg
Abstract:
Recently, Ambainis gave an O(N^(2/3))-query quantum walk algorithm for element distinctness, and more generally, an O(N^(L/(L+1)))-query algorithm for finding L equal numbers. We point out that this algorithm actually solves a much more general problem, the problem of finding a subset of size L that satisfies any given property. We review the algorithm and give a considerably simplified analysis…
▽ More
Recently, Ambainis gave an O(N^(2/3))-query quantum walk algorithm for element distinctness, and more generally, an O(N^(L/(L+1)))-query algorithm for finding L equal numbers. We point out that this algorithm actually solves a much more general problem, the problem of finding a subset of size L that satisfies any given property. We review the algorithm and give a considerably simplified analysis of its query complexity. We present several applications, including two algorithms for the problem of finding an L-clique in an N-vertex graph. One of these algorithms uses O(N^(2L/(L+1))) edge queries, and the other uses \tilde{O}(N^((5L-2)/(2L+4))), which is an improvement for L <= 5. The latter algorithm generalizes a recent result of Magniez, Santha, and Szegedy, who considered the case L=3 (finding a triangle). We also pose two open problems regarding continuous time quantum walk and lower bounds.
△ Less
Submitted 1 December, 2003; v1 submitted 6 November, 2003;
originally announced November 2003.
-
Pair production in a strong electric field: an initial value problem in quantum field theory
Authors:
Y. Kluger,
J. M. Eisenberg,
B. Svetitsky
Abstract:
We review recent achievements in the solution of the initial-value problem for quantum back-reaction in scalar and spinor QED. The problem is formulated and solved in the semiclassical mean-field approximation for a homogeneous, time-dependent electric field. Our primary motivation in examining back-reaction has to do with applications to theoretical models of production of the quark-gluon plasm…
▽ More
We review recent achievements in the solution of the initial-value problem for quantum back-reaction in scalar and spinor QED. The problem is formulated and solved in the semiclassical mean-field approximation for a homogeneous, time-dependent electric field. Our primary motivation in examining back-reaction has to do with applications to theoretical models of production of the quark-gluon plasma, though we here address practicable solutions for back-reaction in general. We review the application of the method of adiabatic regularization to the Klein-Gordon and Dirac fields in order to renormalize the expectation value of the current and derive a finite coupled set of ordinary differential equations for the time evolution of the system. Three time scales are involved in the problem and therefore caution is needed to achieve numerical stability for this system. Several physical features, like plasma oscillations and plateaus in the current, appear in the solution. From the plateau of the electric current one can estimate the number of pairs before the onset of plasma oscillations, while the plasma oscillations themselves yield the number of particles from the plasma frequency.
We compare the field-theory solution to a simple model based on a relativistic Boltzmann-Vlasov equation, with a particle production source term inferred from the Schwinger particle creation rate and a Pauli-blocking (or Bose-enhancement) factor. This model reproduces very well the time behavior of the electric field and the creation rate of charged pairs of the semiclassical calculation. It therefore provides a simple intuitive understanding of the nature of the solution since nearly all the physical features can be expressed in terms of the classical distribution function.
△ Less
Submitted 23 November, 2003;
originally announced November 2003.
-
Nonequilibrium dynamics of a hadronizing quark-gluon plasma
Authors:
M. Hofmann,
J. M. Eisenberg,
S. Scherer,
M. Bleicher,
L. Neise,
H. Stöcker,
W. Greiner
Abstract:
We investigate the hadronic cooling of a quark droplet within a microscopic model. The color flux tube approach is used to describe the hadronization of the quark phase. The model reproduces experimental particle ratios equally well compared to a static thermal hadronic source. Furthermore, the dynamics of the decomposition of a quark-gluon plasma is investigated and time dependent particle rati…
▽ More
We investigate the hadronic cooling of a quark droplet within a microscopic model. The color flux tube approach is used to describe the hadronization of the quark phase. The model reproduces experimental particle ratios equally well compared to a static thermal hadronic source. Furthermore, the dynamics of the decomposition of a quark-gluon plasma is investigated and time dependent particle ratios are found.
△ Less
Submitted 7 August, 1999;
originally announced August 1999.
-
The Quantum Vlasov Equation and its Markov Limit
Authors:
Yuval Kluger,
Emil Mottola,
Judah M. Eisenberg
Abstract:
The adiabatic particle number in mean field theory obeys a quantum Vlasov equation which is nonlocal in time. For weak, slowly varying electric fields this particle number can be identified with the single particle distribution function in phase space, and its time rate of change is the appropriate effective source term for the Boltzmann-Vlasov equation. By analyzing the evolution of the particl…
▽ More
The adiabatic particle number in mean field theory obeys a quantum Vlasov equation which is nonlocal in time. For weak, slowly varying electric fields this particle number can be identified with the single particle distribution function in phase space, and its time rate of change is the appropriate effective source term for the Boltzmann-Vlasov equation. By analyzing the evolution of the particle number we exhibit the time structure of the particle creation process in a constant electric field, and derive the local form of the source term due to pair creation. In order to capture the secular Schwinger creation rate, the source term requires an asymptotic expansion which is uniform in time, and whose longitudinal momentum dependence can be approximated by a delta function only on long time scales. The local Vlasov source term amounts to a kind of Markov limit of field theory, where information about quantum phase correlations in the created pairs is ignored and a reversible Hamiltonian evolution is replaced by an irreversible kinetic one. This replacement has a precise counterpart in the density matrix description, where it corresponds to disregarding the rapidly varying off-diagonal terms in the adiabatic number basis and treating the more slowly varying diagonal elements as the probabilities of creating pairs in a stochastic process. A numerical comparison between the quantum and local kinetic approaches to the dynamical backreaction problem shows remarkably good agreement, even in quite strong electric fields, over a large range of times.
△ Less
Submitted 19 March, 1998; v1 submitted 17 March, 1998;
originally announced March 1998.
-
Hot Nuclear Matter in the Quark Meson Coupling Model
Authors:
P. K. Panda,
A. Mishra,
J. M. Eisenberg,
W. Greiner
Abstract:
We study here hot nuclear matter in the quark meson coupling (QMC) model which incorporates explicitly quark degrees of freedom, with quarks coupled to scalar and vector mesons. The equation of state of nuclear matter including the composite nature of the nucleons is calculated at finite temperatures. The calculations are done taking into account the medium-dependent bag constant. Nucleon proper…
▽ More
We study here hot nuclear matter in the quark meson coupling (QMC) model which incorporates explicitly quark degrees of freedom, with quarks coupled to scalar and vector mesons. The equation of state of nuclear matter including the composite nature of the nucleons is calculated at finite temperatures. The calculations are done taking into account the medium-dependent bag constant. Nucleon properties at finite temperatures as calculated here are found to be appreciably different from the value at $T=0.$
△ Less
Submitted 26 May, 1997;
originally announced May 1997.
-
Back-reaction in the presence of thermalizing collisions
Authors:
J. M. Eisenberg
Abstract:
Preequilibrium parton production following an ultrarelativistic nucleus--nucleus collision is studied in terms of the decay of a strong chromoelectric field which generates pairs through the Schwinger mechanism. Back-reaction of the partons with the field is included and a model transport equation containing a collision term is solved for the central rapidity region based on an approximation in…
▽ More
Preequilibrium parton production following an ultrarelativistic nucleus--nucleus collision is studied in terms of the decay of a strong chromoelectric field which generates pairs through the Schwinger mechanism. Back-reaction of the partons with the field is included and a model transport equation containing a collision term is solved for the central rapidity region based on an approximation in which the partons relax to a thermal distribution.
△ Less
Submitted 4 October, 1996; v1 submitted 30 August, 1996;
originally announced September 1996.
-
Hot nuclear matter with dilatons
Authors:
G. Kalbermann,
J. M. Eisenberg,
B. Svetitsky
Abstract:
We study hot nuclear matter in a model based on nucleon interactions deriving from the exchange of scalar and vector mesons. The main new feature of our work is the treatment of the scale breaking of quantum chromodynamics through the introduction of a dilaton field. Although the dilaton effects are quite small quantitatively, they affect the high-temperature phase transition appreciably. We fin…
▽ More
We study hot nuclear matter in a model based on nucleon interactions deriving from the exchange of scalar and vector mesons. The main new feature of our work is the treatment of the scale breaking of quantum chromodynamics through the introduction of a dilaton field. Although the dilaton effects are quite small quantitatively, they affect the high-temperature phase transition appreciably. We find that inclusion of the dilaton leads to a metastable high-density state at zero pressure, similar to that found by Glendenning who considered instead the admixture of higher baryon resonances.
△ Less
Submitted 10 June, 1996; v1 submitted 5 October, 1995;
originally announced October 1995.
-
An attractive nucleon-nucleon spin-orbit force from skyrmions with dilatons
Authors:
G. Kälbermann,
J. M. Eisenberg
Abstract:
Within the skyrmion approach for the nucleon-nucleon force, difficulties have been experienced in obtaining an isoscalar attractive spin-orbit potential, in parallel to the problems of finding attraction in the isoscalar central potential. We here study the spin-orbit force using a skyrmion with four- and six-derivative stabilizing terms in the lagrangian as well as with the crucial addition of a…
▽ More
Within the skyrmion approach for the nucleon-nucleon force, difficulties have been experienced in obtaining an isoscalar attractive spin-orbit potential, in parallel to the problems of finding attraction in the isoscalar central potential. We here study the spin-orbit force using a skyrmion with four- and six-derivative stabilizing terms in the lagrangian as well as with the crucial addition of a dilaton. With these features present the spin-orbit force proves to be attractive as does the central potential. In the absence of the dilaton, attraction can also be found for the spin-orbit potential but only at the expense of a greatly over-emphasized term with six derivatives and a continuing absence of attraction in the central potential.
△ Less
Submitted 30 January, 1995;
originally announced January 1995.
-
Spin content from skyrmions with parameters fit to baryon properties
Authors:
G. Kaelbermann,
J. M. Eisenberg
Abstract:
Earlier work reported on the existence of a term within a generalized skyrmion approach that yields appreciable spin content for the proton. Unfortunately there is no accessible experiment that can fix the coefficient of this term directly; plausible but highly uncertain values for it gave a result for the spin content loosely consistent with the currently measured $ΔΣ= 0.27\pm 0.13.$ We here atte…
▽ More
Earlier work reported on the existence of a term within a generalized skyrmion approach that yields appreciable spin content for the proton. Unfortunately there is no accessible experiment that can fix the coefficient of this term directly; plausible but highly uncertain values for it gave a result for the spin content loosely consistent with the currently measured $ΔΣ= 0.27\pm 0.13.$ We here attempt to narrow the range of values for this coefficient by performing global fits to all the parameters of the generalized Skyrme lagrangian while requiring reasonable results for the baryon octet and decuplet masses and octet magnetic moments. This requirement fixes the coefficient loosely, and we find that parameter sets that fit the baryon masses and magnetic moments yield proton spin content near $ΔΣ\sim 0.15.$
△ Less
Submitted 15 January, 1995;
originally announced January 1995.
-
Back-reaction in a cylinder
Authors:
J. M. Eisenberg
Abstract:
A system is studied in which initially a strong classical electric field exists within an infinitely-long cylinder and no charges are present. Subsequently, within the cylinder, pairs of charged particles tunnel out from the vacuum and the current produced through their acceleration by the field acts back on the field, setting up plasma oscillations. This yields a rough model of phenomena that m…
▽ More
A system is studied in which initially a strong classical electric field exists within an infinitely-long cylinder and no charges are present. Subsequently, within the cylinder, pairs of charged particles tunnel out from the vacuum and the current produced through their acceleration by the field acts back on the field, setting up plasma oscillations. This yields a rough model of phenomena that may occur in the pre-equilibrium formation phase of a quark-gluon plasma. In an infinite volume, this back-reaction has been studied in a field-theory description, and it has been found that the results of a full calculation of this sort are well represented in a much simpler transport formalism. It is the purpose here to explore that comparison for a situation involving a cylindrical volume of given radius.
△ Less
Submitted 20 October, 1994;
originally announced October 1994.
-
Proton spin content from skyrmions
Authors:
G. Kaelbermann,
J. M. Eisenberg,
Andreas Schaefer
Abstract:
It is well known that in lowest order the skyrmion model of the nucleon gives vanishing spin content. With new data indicating a proton spin content $ΔΣ= 0.22\pm 0.14,$ it is an increasing challenge to find ways in which the skyrmion can move away from the null result. We show here that a particular term in the skyrmion lagrangian in SU(3) involving six derivatives of the field can, with plausib…
▽ More
It is well known that in lowest order the skyrmion model of the nucleon gives vanishing spin content. With new data indicating a proton spin content $ΔΣ= 0.22\pm 0.14,$ it is an increasing challenge to find ways in which the skyrmion can move away from the null result. We show here that a particular term in the skyrmion lagrangian in SU(3) involving six derivatives of the field can, with plausible parameters, yield a spin content consistent with present experiment.
△ Less
Submitted 13 September, 1994;
originally announced September 1994.
-
Changes in the radius of a nucleon in interaction with another nucleon
Authors:
G. Kalbermann,
L. L. Frankfurt,
J. M. Eisenberg
Abstract:
We consider a two-nucleon system described by two different skyrmion models that provide attraction for the central NN potential. One of these models is based on the product ansatz and the other on dilaton coupling. Within these models we ask the question, To what degree does the nucleon swell or shrink when the internucleon separation distance is appropriate to attraction or repulsion? We find…
▽ More
We consider a two-nucleon system described by two different skyrmion models that provide attraction for the central NN potential. One of these models is based on the product ansatz and the other on dilaton coupling. Within these models we ask the question, To what degree does the nucleon swell or shrink when the internucleon separation distance is appropriate to attraction or repulsion? We find typically swelling of 3 to 4 percent for central attraction of some 40 to 50 MeV.
△ Less
Submitted 24 February, 1994;
originally announced February 1994.
-
Pair creation in transport equations using the equal-time Wigner function
Authors:
C. Best,
J. M. Eisenberg
Abstract:
Based on the equal-time Wigner function for the Klein-Gordon field, we discuss analytically the mechanism of pair creation in a classical electromagnetic field including back-reaction. It is shown that the equations of motion for the Wigner function can be reduced to a variable-frequency oscillator. The pair-creation rate results then from a calculation analogous to barrier penetration in nonrel…
▽ More
Based on the equal-time Wigner function for the Klein-Gordon field, we discuss analytically the mechanism of pair creation in a classical electromagnetic field including back-reaction. It is shown that the equations of motion for the Wigner function can be reduced to a variable-frequency oscillator. The pair-creation rate results then from a calculation analogous to barrier penetration in nonrelativistic quantum mechanics. The Wigner function allows one to utilize this treatment for the formulation of an effective transport theory for the back-reaction problem with a pair-creation source term including Bose enhancement.
△ Less
Submitted 27 January, 1993;
originally announced January 1993.
-
Particle production in the central rapidity region
Authors:
F. Cooper,
J. M. Eisenberg,
Y. Kluger,
E. Mottola,
B. Svetitsky
Abstract:
We study pair production from a strong electric field in boost-invariant coordinates as a simple model for the central rapidity region of a heavy-ion collision. We derive and solve the renormalized equations for the time evolution of the mean electric field and current of the produced particles, when the field is taken to be a function only of the fluid proper time $τ= \sqrt{t^2-z^2}$. We find t…
▽ More
We study pair production from a strong electric field in boost-invariant coordinates as a simple model for the central rapidity region of a heavy-ion collision. We derive and solve the renormalized equations for the time evolution of the mean electric field and current of the produced particles, when the field is taken to be a function only of the fluid proper time $τ= \sqrt{t^2-z^2}$. We find that a relativistic transport theory with a Schwinger source term modified to take Pauli blocking (or Bose enhancement) into account gives a good description of the numerical solution to the field equations. We also compute the renormalized energy-momentum tensor of the produced particles and compare the effective pressure, energy and entropy density to that expected from hydrodynamic models of energy and momentum flow of the plasma.
△ Less
Submitted 1 December, 1992;
originally announced December 1992.