Figures
Abstract
We give an approximate solution to the difficult inverse problem of inferring the topology of an unknown network from given time-dependent signals at the nodes. For example, we measure signals from individual neurons in the brain, and infer how they are inter-connected. We use Maximum Caliber as an inference principle. The combinatorial challenge of high-dimensional data is handled using two different approximations to the pairwise couplings. We show two proofs of principle: in a nonlinear genetic toggle switch circuit, and in a toy neural network.
Author summary
Of major scientific interest are networks—the internet, commercial supply chains, social media, traffic, biochemical reactions inside cells, the neurons in the brain, and many others. Often, the challenge is to measure a few rates at a limited number of nodes of the network, and to try to infer more information about a complex network and its flow patterns under different conditions. Here we devise a mathematical method to infer the dynamics of such networks, given only limited experimental information. The tool best suited for this purpose is the Principle of Maximum Caliber, but it also requires that we handle the challenge of the high-dimensionality of real-world nets. We give two levels of approximation that reduce this to the simpler problem of inferring the dynamics of each node individually. We show that these approximations provide novel insights and accurate inferences and are promising for drawing inferences about large-scale biophysical and other networks.
Citation: Weistuch C, Agozzino L, Mujica-Parodi LR, Dill KA (2020) Inferring a network from dynamical signals at its nodes. PLoS Comput Biol 16(11): e1008435. https://doi.org/10.1371/journal.pcbi.1008435
Editor: Lingchong You, Duke University, UNITED STATES
Received: May 7, 2020; Accepted: October 12, 2020; Published: November 30, 2020
Copyright: © 2020 Weistuch et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Data Availability: All code files are available on https://github.com/Corey651/MaxCal_Network.
Funding: The research was funded by the WM Keck Foundation (LRMP, KAD), the NSF BRAIN Initiative (LRMP: ECCS1533257), the NSF BRAIN Initiative (LRMP, KAD: NCS-FR 1926781) and the Stony Brook University Laufer Center for Physical and Quantitative Biology (KAD). The funders had no role in the study design, data collection and analysis, decision to publish, or preparation of the manuscript.
Competing interests: The authors have declared that no competing interests exist.
This is a PLOS Computational Biology Methods paper.
Introduction
Learning the properties of a network from measurements at its nodes
We are interested in solving the following ‘inverse problem’: you measure time-dependent signals from individual agents. Those agents behave in a correlated way. That is, they are connected in some network that is unknown to you. The goal is to infer the interactions between these agents from their correlations. For example, measure the protein concentrations that are produced from an unknown gene network, and infer the degree to which the proteins activate or inhibit each other. Or measure the firings of individual neurons and infer the neuron-neuron connection strengths in the brain. These problems are the ‘inverse’ compared to the common situation of knowing a network and computing the flows through it.
While there are many powerful techniques for inferring which nodes are linked and how strongly, we are interested here in inferring the propagation dynamics distributions [1–5]. That is, we seek to infer a model, or a probability distribution, for how the activities of our network of agents evolve over time. In contrast to the assumptions of common Bayesian approaches to this problem, we rarely know the shape or the structure of this model [6, 7]. Instead, we are given limited information and seek to infer the model directly from the data itself. The method of choice for inferring dynamical processes from limited information is the Principle of Maximum Caliber (Max Cal) [8–14]. Max Cal is a procedure that predicts full stochastic distributions by maximizing the route entropy subject to the constraint of a few known average rates. Thus, Max Cal is to dynamics what Maximum Entropy inference (Max Ent) is to equilibrium. Like Max Ent, Max Cal requires minimal model assumptions that are not warranted by the data itself. For example, Max Cal has proven capable of reproducing many known results from non-equilibrium physics, such as Fick’s law and the master equation [14–16]. In addition, Max Cal has been show to accurately predict single-cell dynamics [17, 18], such as in gene circuits [19–21] and and stochastic cycles [22, 23], directly from noisy experimental data.
The challenge here is that the number of possible interactions (here the node-node couplings) grows rapidly with system size (the number of nodes in the network and length of time of observing the signals). So, direct implementation of Max Cal is limited to small or simplified systems [24–27]. For larger and more realistic situations, this Max Cal inference procedure becomes computationally intractable. In other matters of physics, the dimensionality of the problem is reduced by various approximations, including variational approximation and perturbation theory [28–31]. These techniques have been used to reduce the dimensionality in other high-dimensional inference problems [32–43].
Here, we adapt such methods for inferring high-dimensional, heterogeneous dynamical interrelationships from limited information. Related generalizations have been previously used to infer dynamical interactions in continuous-time Markovian networks [44, 45]. However, these approaches make strong assumptions either about the dynamics or about unknown transition rates. Here instead, with Max Cal, we can infer both the dynamics and interactions within arbitrarily complex, non-equilibrium systems, albeit in an approximate way. We describe two different levels of approximation: Uncoupled and Linear Coupling.
The problem
Suppose you run an experiment and record the activity of N arbitrarily interacting agents (the nodes, i = 1, 2, …, N of a network) over some time T (see for example Fig 1). The data arrives as a time series: v(t) = {v1(t), v2(t), …, vi(t), …, vN(t)}, also called a trajectory, Γ (from t = 0 to T). From the signals, we aim to predict the coupling strengths between the nodes. Our model should reliably predict certain averages over the data, with otherwise the least possible bias. Such problems are the purview of the principle of Maximum Entropy or its dynamical extension, Maximum Caliber (Max Cal) [8–13]. The principle of Max Cal chooses the unique distribution, PΓ, that maximizes the path entropy, or Caliber, over all acceptable distributions {PΓ}, while respecting the observed constraints. The constraints here are the mean value, Mi(t) over all possible paths, and the correlations, χij(t, s):
(1)
for all times t and s over all agents i and j. The Caliber is expressed as
(2)
where the sum over Γ is a sum over all the possible realizations of the full time series. Here hi(t) and Ki,j(t, s) are the Lagrange multipliers that each enforce the constraints in Eq 1. The other Lagrange multiplier, μ, ensures the distribution is normalized (the probabilities sum to one).
From time-dependent signals from nodes (left) we maximize the path entropy, or Caliber, to infer the interaction strength (structure) Kij between edges i and j.
Maximizing the Caliber with respect to all possible distributions {PΓ} gives
(3)
Z is the dynamical partition function, the quantity that normalizes PΓ. By analogy with the Ising model for equilibrium systems, hi(t) represents the strength of the external fields to which the system is coupled, whereas Kij(t, s) are the couplings between the components of the system.
Results
The Uncoupled Max Cal Approximation
We aim to compute hi and Kij for every time point. This presents a combinatorial challenge for large networks or long trajectories. We describe two levels of approximation to overcome this challenge. In the present section, we describe our simplest approximation, representing a mean-field or Uncoupled approach, which allows us to solve even large systems [39, 45]. This method works by breaking the full inference problem into simpler, independent subproblems. For our application, this suggests that we try uncoupling the trajectories of each object (i) which we denote Γi. The approximate trajectory distribution QΓ then factorizes into the product:
(4)
Eq 3 shows that this approximation is exact when all of the coupling coefficients Kij(t, s), i ≠ j, are 0. We can force this condition by temporarily ignoring all pairwise constraints corresponding to Kij(t, s) and satisfying the remaining, i = j, Max Cal constraints (from Eq 1). The now Uncoupled distributions are given by:
(5)
This then gives a new set of effective Lagrange multipliers,
and
, which absorb the average effects of the neglected pairwise interactions.
In summary, this Uncoupling Approximation reduces the inference problem to solving independent single-node problems for each i. These single-node inference problems are readily solved [12, 25]. Clearly, however, this naive approximation fails to capture any pairwise correlations between agents (i ≠ j). Instead, it is meant to be used when the fluctuations in the interactions between agents can be neglected. The following section describes a next better approximation, based on Linear Response Theory [35].
The Linear Coupling Max Cal Approximation
Here, we go beyond the uncoupling assumption and take the first-order perturbation term around our Uncoupled Approximation. We call this the Linear Coupling Max Cal Approximation. The first-order approximation for the Lagrange multipliers for each agent i are given by (see Methods, How to choose the Uncoupled distribution):
(6)
Eq 6—analogous to familiar mean-field models in physics—attempts to recover the true Lagrange multipliers (with’ denoting the Linear Coupling Approximation) from the effective, Uncoupled Lagrange multipliers (denoted by ∼) [39, 45]. Thus our only remaining unknowns are the values of the pairwise couplings
. For our first order approximation, the Linear Coupling estimates for these Lagrange multipliers have a closed-form solution (see Methods, Eq 16) given by:
(7)
where Cij(t, s) = χij(t, s) − Mi(t)Mj(s) is the matrix of covariances. Once these estimates are known, the remaining Lagrange multipliers are easily found from Eq 6.
Below, we give two examples to illustrate two points. First, we show that even the Uncoupled Approximation can give a fairly accurate closed-form solution for a network with nonlinear interactions. We show this for a genetic toggle switch [24, 46]. Second, we show how the Linear Coupling Approximation readily handles a high-dimensional heterogeneous system, namely a toy network of neurons, which is otherwise computationally intractable.
Finding stable states in the genetic toggle switch
Collins et al. engineered a synthetic circuit into a single-celled organism called a genetic toggle switch [46]. It consists of two genes (A and B, blue and yellow in Fig 2a). Each gene produces a protein that inhibits the other. So, in analogy with an electrical toggle switch, either A is being produced while B is turned off, or vice versa. This network has previously been computationally simulated using Max Cal [24], so it provides a ‘Ground Truth’ for comparison with our approximation here. The present exercise shows that Uncoupled Max Cal, which can be solved analytically, gives an excellent approximation to the nonlinearity and the phase diagram in this known system. Importantly, beyond this proof of principle, Uncoupled Max Cal is readily applicable to bigger more complex systems.
(a) A and B inhibit each other. (b) Time trajectories of protein number NA (blue) and NB (yellow), simulated from the Ground Truth (Eq 24). (c) Its phase diagram, from the Uncoupled Max Cal Approximation. (green). Solid green: stable phases. Dashed green: unstable phase. Red dots (top to bottom and corresponding to Ground Truth simulations): Supercritical, single state (K > Kc). Critical point (Kc), big fluctuations. Subcritical, toggle switch, two bistable states (K < Kc). (d) The histograms of populations P(N) in each case, comparing the Ground Truth (blue) to the Uncoupled result (magenta). The red lines correspond to the markers in the phase diagram. Uncoupled Max Cal captures the distribution correctly except at the critical point (center, truncated power law).
Here, our input data takes the form of the stochastic numbers of protein molecules (obtained, for example, from fluorescence experiments [24, 25]), totaling NA(t) and NB(t) on nodes A and B at time t. Our trajectories are the counts of the numbers (lα and lβ) of newly produced proteins of types A and B respectively over each new short time interval δt. From these trajectories, we use Max Cal to compute three quantities: the production rate of each protein, the survival rates (the count of proteins that are not degraded), and the strength of the negative feedback. To keep the model simple, we suppose that both proteins have the same production rate, and both have the same survival rate. From the data, we obtain the average production and survival rates, hP and hS, which are enforced in the Max Cal modeling as Lagrange multipliers. And, from the data, we obtain the correlation between production of A and survival of B, 〈lα lB〉 (and vice-versa); these are enforced by a third Lagrange multiplier, K, the coupling coefficient [24] (see Methods, Toggle switch for details).
The behavior of this network is known from the Ground Truth simulations; see Fig 2b. There is a critical value, Kc < 0 of the coupling parameter (or repression strength). When the repression is weak (K > Kc), the circuit has a single stable state, producing equivalent amounts of A and B (top). Below the critical point, however, this circuit becomes a bistable toggle switch, either producing A and inhibiting B or vice versa (bottom). This transition corresponds to the bifurcation, from one to two stable points, in the phase diagram of the system (Fig 2c). While this phase diagram (green) is known from previous simulations, no analytical relationship was found, particularly for Kc, the critical point.
Here we have modeled this system using Uncoupled Max Cal (Eq 6) to find accurate (Fig 2c, green), analytical relationships for the phase diagram of the toggle switch (see Methods, Eqs 32 and 33). Away from the critical point, fluctuations in protein number have a minimal effect on the repression of our two genes. In other words, the production and degradation rates of each protein are approximately constant near each steady-state. As a result, Uncoupled Max Cal properly captures the full protein distributions away from the critical point (Fig 2d). At the critical point, however, the effects of these fluctuations are large and cannot be neglected, causing our Uncoupled Approximation to fail (Fig 2d, middle). Nevertheless, Uncoupled Max Cal allows us to calculate analytically the correct critical point (see Methods, Eq 34):
(8)
Learning the dynamical wiring of a network of neurons
Here we consider a brain-like neural network problem to illustrate how Linear Coupling Max Cal can infer a large network from limited information. Consider a network of N neurons (N = 40 here). Taking the stochastic signals from the neurons, we want to infer the neuronal connectivities, and activity patterns. We illustrate how Linear Coupling Max Cal handles this even when we don’t measure signals of all of the neurons together.
At any given time t, a neuron either fires (+1) or is silent (−1) in a time interval δt. The state of each neuron i, vi(t), is dependent on both the present and past states of other connected neurons. We assume only limited information is available, namely the mean values and correlations, as in Eq 1. The probabilities of different activity patterns {v1(t), v2(t), …, vN(t)} are computed using Eq 3). This model resembles an Ising model of heterogeneous agents, which is often found effective in capturing observed neural activity [27, 47, 48]. In the context of neural activity, hi(t) (bias) controls the probability that neuron i fires, while Kij(t, s) (connection strength) controls the probability that two neurons (i and j) fire together. The challenge here for learning the dynamics is the large number of neurons [27, 49].
We test our predictions against a biologically plausible Ground Truth model of this network [27, 47] using time-independent Lagrange multipliers hi(t) = h0 and Kij(t, s) = Kij(τ), with τ = |t − s| (Fig 3; see Methods, Neural Network for the parameters of the model). h0 ≪ 0 was chosen to reflect the tendency of real neurons towards silence, while Kij(τ) was chosen from a normal distribution to reflect the heterogeneity between neurons [47]. A realistic assumption is that for τ > 3, Kij(τ) ≈ 0 [27]. In addition, although real neurons are usually silent, occasionally random firing of a few neurons can trigger a large cascade, or “avalanche” of activity [50]. These events can only occur when the wiring strengths between neurons (here our Ground Truth model) are tuned near a critical point, where the wiring strengths are weak enough to allow spontaneous neural activity but strong enough to force other neurons to entrain [47, 51].
Blue circles are neurons each having bias hj. green and purple edges are connections between neurons (signals separated by a time τ) with strengths Kij(τ).
Linear Coupling Max Cal (Eqs 6 and 7) recovers accurately the key features of neural activity present in the Ground Truth model (Fig 4). It requires input of only the means and correlations between the neurons (Eq 1). In sharp contrast to the Uncoupled Approximation Kij(τ) = 0, Linear Coupling Max Cal correctly recovers the dynamical connections between neurons (Fig 4a). We then took all three of these models and simulated (see Methods B) how average activity, or neural synchrony, s(t) = ∑i vi(t)/N (N = 40) evolved over time [52]. In particular, the Linearly Coupled model correctly captures neural avalanches, where s suddenly spikes and many neurons simultaneously fire, whereas the Uncoupled model does not (Fig 4b). It also correctly captures the spike frequencies (probabilities of s > 0; Fig 4c).
(a) The Linear Coupling Approximation (K′ and h′) recovers neuron-neuron connection strengths (Kact) and biases (hact, inset). The Uncoupled Approximation would estimate Kij = 0. The black diagonal line represents perfect accuracy (b) Average neural activity (or synchrony, s) from the Uncoupled (blue), Linearly Coupled (purple), and true (orange) networks. Like the Ground Truth model, the Linearly Coupled model exhibits avalanches (spikes), an important feature of neural activity. (c) The histogram of s for each model. The Linear Coupling model is much more accurate than the Uncoupled Approximation alone. (d). Model predictions for different connection strengths (β). (a-c) reflect β = 1, the critical point. While all methods capture mean activity 〈s〉, only the Linearly Coupled model captures the fluctuations Var(s). (See Methods, Neural Network for the details of our Ground Truth as well as the implementation details).
Linear Coupling Max Cal is just a first-order approximation, valid in the limit of weak interactions. Here, we also tested how this approximation errors changes as interactions are strengthened. Acting like an inverse temperature β ∼ T−1, we can modulate the average correlation strength between neurons by multiplying each Lagrange multiplier by β: hi → βhi, Kij → βKij. When β > 1, connections are stronger; when β < 1, they are weaker. Fig 4d shows how well Linear Coupling Max Cal captures the features of neural synchrony, P(s), over a wide range of β. As expected, both methods accurately capture the mean 〈s〉 value of synchrony, but only Linear Coupling reasonably captures the fluctuations, or variance Var(s). In addition, the error is maximal near β = 1 (our original model), suggesting that our method gives reasonable results even in the worst-case (i.e. near critical points). Overall, the Linear Coupling Approximation provides fast, accurate estimates for the couplings within a large network (N = 40) of neurons that had previously been intractable [27, 47].
Discussion
When to use the different approximations
We have given two approximate methods for inferring stochastic network dynamics: the Uncoupled and Linear Coupling Max Cal methods. Here we describe when each method is relevant and how our approach might be improved upon.
Uncoupled Max Cal is useful when we are interested in identifying stable network configurations (such as steady-states in genetic circuits), along with the slow transitions between them, from limited experimental information. Here the method works when the interactions between agents are either very weak (and thus naturally uncoupled) or very strong. When interactions are strong, fluctuations away from these stable configurations are rare and can be neglected. Uncoupled Max Cal then infers the effective behavior of each agent near these stable configurations and, as in the genetic toggle switch (with two such configurations when K < KC), adds them to reconstruct the full distribution of behaviors. For intermediate interactions, the classical Ginzburg-Landau theory of phase transitions can be used to identify when the critical points of a model can be predicted using the Uncoupled Approximation [53]. Thus, all these situations are cases when the fluctuations of the system are small.
Linear Coupling Max Cal is useful when fluctuations (i.e. cross-correlations) cannot be neglected. Akin to similar equilibrium approaches, this method is particularly useful when the correlations between agents are weak (see Methods, Quantifying the accuracy of Linear Coupling). However, just like for the Uncoupled Approximation, this method also works if the mean and correlation constraints are calculated when the network is fluctuating around a particular steady-state (such as the on/off configurations in the toggle switch).
Higher-order approximations can also be treated, as follows. We could employ the Plefka expansion, which has been fruitfully applied to equilibria [38]. Another option would be the Bethe approximation, starting from two-body, rather than one-body terms [41–43]. More generally, mean-field variational inference can be used to constrain arbitrary marginal and joint distributions [39, 54, 55], rather than means and variances. And deep learning methods could be used to learn higher-order interactions [35, 56, 57].
Conclusions
We describe here a way to infer how the dynamics on multi-node networks evolves over time. We use an inference principle for dynamics and networks called Maximum Caliber [12–14]. Unlike previous methods, this approach utilizes only the available experimental data and requires minimal assumptions [1–6, 58]. Here, the direct interactions between nodes in a network are expressed in the couplings K. To solve the challenging problem of inferring these coupling from data, we introduce two levels of approximation—Uncoupling and Linear Coupling, which can render computations feasible even for networks that are large or have nonlinearities and feedback. While our method assumes knowledge of the relevant constraints and variables, one can directly leverage the strategies employed by previous applications of Maximum Caliber. In sum, the present approach is simple and computationally efficient.
Methods
How to choose the Uncoupled distribution
To approximate the true Max Cal distribution, PΓ using our Uncoupling approach, we restrict the maximization of Caliber to the set of factorizable distributions QΓ (Eq 4). In particular, we can easily solve Max Cal problems without interactions, so we choose such that:
(9)
Here we discuss how to choose which QΓ, i.e. which values of and
to use as our approximation. Logically we want QΓ to be as close to PΓ as possible. A common way to quantify this “distance” between probability distributions is the Kullback-Leibler (KL) divergence [59]:
(10)
Notice, however, that the KL divergence is asymmetric; each choice gives a different optimal QΓ with different advantages (see Methods, Minimization of KL divergences). Minimizing the forward divergence (left) implies choosing QΓ that matches the one-body constraints, Mi(t) and χii(t, s), from our original Max Cal problem. Unfortunately, this choice also gives no clear relationship to the true Lagrange multipliers (hi(t), for example). Conversely, minimizing the reverse divergence (right) choice suggests that we choose QΓ that satisfies our mean-field equation Eq 6, but the means in this equation are not guaranteed to relate to our experimental constraints. Intuitively, however, by uncoupling our agents, we aim to preserve their average dynamics (forward) by readjusting their external fields to compensate for the correlations that we are neglecting (reverse). Indeed, these solutions match up to first-order, allowing us to directly relate our easily solved Uncoupled Lagrange multipliers to their true values (see [38, 39, 60] for a proof and deeper insight).
Minimization of KL divergences
Here we derive the dynamical mean-field equation Eq 6 by minimizing the KL divergences between the true Maximum Caliber distribution (PΓ) and the Uncoupled Approximation (QΓ).
Forward.
(11)
Here 〈∘〉D means taking an average with respect to a distribution D (here PΓ). Thus the minimum QΓ satisfies:
(12)
(13)
Here the right equality comes from the properties the partition function. Thus, the Uncoupled constraints (denoted with ∼) exactly match the true constraints, Mi(t) and χii(t, s).
Reverse.
(14)
Now because we have a unique mapping between our Lagrange multipliers and our constraints,
, we can find the minimum of the KL divergence in two different ways: we can either keep the Lagrange multipliers fixed and toggle the constraints or the other way around. Here we readily arrive at this minimum by choosing the former:
(15)
Collectively, these equations give the mean-field relations Eq 6.
Linear Response Theory
Here we show how to estimate the pairwise interactions, Kij(t, s) using our Linear Coupling Approximation. Our approach naturally follows from Linear Response Theory [35]. We first recognize that, from the properties of Maximum Caliber distributions, . Thus from Eq 6:
(16)
Since we already have estimates for our single trajectory Lagrange multipliers, we only use Eq 16 for the pairwise terms i ≠ j; since our Uncoupled estimates depend on single-trajectory (i = j) terms only, their derivative is 0. Here the relationship is approximate because we neglect the derivatives of K with respect to M; we assume that these terms are small, but their inclusion would lead to higher order corrections [61]. Due to our Linear Coupling Approximation, our couplings are only approximate, K′. These results directly imply Eq 7.
Quantifying the accuracy of Linear Coupling
Here we compute the exact error of our Linear Coupling Approximation for an analytically solvable, but general model system. In particular, we follow the activities of two dynamically correlated agents, A and B. The activities of these agents, given by v1(t) and v2(t), are normally distributed and stationary (i.e. the Max Cal distribution given the vector of means and the matrix of covariances C of our agent activities). Given the nature of normal distributions, it is possible to determine the exact Lagrange multipliers
and K:
(17)
Without any loss of generality, we set the means (and hence the Lagrange multipliers
) to 0 and focus our interest on inferring the couplings K. To simplify our analysis, we first rewrite the covariance matrix C in terms of the auto-covariance matrix CA of each agent and their cross-covariance CC:
(18)
To evaluate the accuracy of our Linear Coupling Approximation, we use Eqs 6 and 7 to compute the approximate couplings K′. The first step in this process is solving the associated uncoupled problem. This is equivalent to solving for the couplings when cross-covariances between agents (CC) are ignored. I.e.:
(19)
Where ∼ is used to represent our Uncoupling Approximation. Thus, from Eq 6, . Finally, to find K′C, we need to compute the full inverse matrix C−1. Using standard results from linear algebra, we find that K′C (the negative of the off-diagonal of this inverse matrix) is given by:
(20)
Thus our final estimates for the couplings are given by:
(21)
To evaluate the accuracy of our Linear Coupling estimates, we invert Eq 21 and compute C′:
(22)
Here the approximation in Eq 22 comes from the geometric relation (1 − x)−1 ≈ 1 + x. To guarantee that the error in C′ is small, we need the eigenvalues of B to all be less than unity in magnitude (i.e. auto-correlations are stronger than cross-correlations). Here we quantify this error using the matrix 2-norm (‖∘‖, or the magnitude of a matrix’s largest eigenvalue. In particular, using α to denote the upper bound on the relative error between our approximation and the ground truth, we have that:
(23)
As an example, if the largest eigenvalue of B is 0.5 (self-interactions are roughly twice as strong as opposite interactions), our error is already guaranteed to be less than 25%. In general, the error decreases quadratically with shrinking cross-correlation strength. And while perturbation theories, by nature, are often very accurate away from their predicted regions of convergence, here we also have a guaranteed bound on the error of our approach when inferring the dynamics of weakly-correlated agents.
Toggle switch
Uncoupling Approximation.
Here we derive analytical relations for the key features (criticality and bistability) of the genetic toggle switch using our Uncoupled (mean-field) approach. First, the full Max Cal distribution for this system [24] is given by:
(24)
Here the partition function Z depends on the protein numbers NA and NB at the beginning of each δt interval. We next use our Uncoupled approach to find an approximate analytical form for Z (and thus our trajectory probabilities). Thus we want to find effective production and survival rates
,
,
, and
such that A and B can be treated independently. From Eq 6, the effective fields are given by:
(25)
By symmetry, we focus only on the equations for protein A. Here the Uncoupled distribution QA is given by:
(26)
Conveniently, the Uncoupled partition function ZA has a closed form (SI in [24]:
(27)
with an analogous equation for ZB. Here assumed (for simplicity) that since δt is small, maximally one reaction will happen (either degradation or production) per time interval.
Additionally, the master equation, as well as the stationary distribution are well-known for the Uncoupled system (SI Eq 7 in [24]). For this process, the stationary distribution is a Poisson distribution with mean 〈NA〉. Here 〈NA〉 is always given by a stable point of the system (which one depends on which state A is in).
Finding the critical point.
We next show how to use these equations to understand the critical transition of the genetic toggle switch. We can do this by examining the stationary points, or the (NA, NB) pairs where the average production and degradation of both species are equal. A key property of partition functions, such as ZA, is that we can compute averages over our model quantities (lα and lA) directly from the derivatives of these functions. In particular, we can directly find the points where production and degradation are equal:
(28)
We can then think of the bracketed term (which we rewrite slightly for later convenience) as analogous to a force:
(29)
Here when this force is positive (production is greater than degradation), NA is likely to increase. Likewise, when the force is negative, the opposite is true. When they are equal, NA is a stationary point and the force is 0. These are the points where NA is equal to the average number of proteins A produced minus the number degraded:
(30)
Now from Eq 25, we have that the stationary points also satisfy
(31)
where
. Combining this with Eq 30 (and analogous equations for B), we find that the stationary points satisfy the coupled equations:
(32)
Next we ask when these points are stable and when they are unstable. To do this, we evaluate how the force, FA changes as we toggle NA away from the fixed point. Using Eqs 29 and 32:
(33)
Thus a stationary point (NA, NB) is stable when K2 NA NB > 1 and unstable when K2 NA NB < 1. As K changes, so might the stability of a fixed point. In particular, as we vary K the fixed point corresponding to coexistence of both proteins (NA = NB = N0) changes from unstable to stable. This change occurs at the critical point:
. Since N0 has to be positive and K is negative or 0. Thus, from Eq 32,
(34)
Neural network
Selecting the Ground Truth model.
Here we provide additional mathematical details of our method. In particular, we discuss how we chose our Ground Truth, brain model and how we, in practice, back-infer the dynamical couplings between our synthetic network of neurons. We chose our couplings to capture the key properties of the experimental observations described for static [47] and dynamic [27] clusters of real neurons. First, the heterogeneity of neural interactions (i ≠ j) can be captured by choosing Kij(τ) (τ = |t − s|) from a normal distribution with mean (K0 a−τ) and standard deviation (Kδ a−τ) [47]. For simplicity, we choose K0 = Kδ. Here a > 1 describes the rate that correlations between neurons decay with time. Second, in weakly-interacting systems, such as networks of neurons, self-interactions (i = j) are much stronger than pair-interactions (i ≠ j). Except at τ = 0 (since Kii(0) = 0 for the Ising model), we choose, without loss of generality, Kii(τ) = 20K0 a−τ. Third, since neurons have a strong tendency towards silence, we chose hi(t) = h0 (h0 < 0) for all neurons. Fourth and most importantly, experimentally observed, neuronal avalanches can only occur when pairwise couplings are tuned near a critical point [27]; below this point, neural activity is uncorrelated and random, while below this point it is strongly correlated and perpetually silent. Up to a change of scale, we can choose K0 = .015 and a = 4 for our convenience. To tune our network near criticality, we choose h0 = −.1; here the very weak correlations between our synthetic neurons (≈ .02 on average) can occasionally sum together to create a cascade of neural activation (“avalanche”).
Implementation details.
Here we describe how we computed our Linear Coupling estimates of the Ground Truth Lagrange multipliers described for our toy brain example. First, we used a standard Metropolis-Hastings Markov Chain Monte Carlo (MCMC) algorithm (5 × 105 iterations) to compute the means and correlations between our synthetic neurons. From these constraints, we computed our estimates for the pairwise couplings, Kij(τ) using Eq 7. When τ ≥ 4, couplings are, on average, greater than 44 ≈ 100 fold weaker than at τ = 0 and were safely neglected. Second, each of the Uncoupled problems is simply a 4-spin Ising model, constrained by the Ground Truth means and autocorrelations, and was solved exactly for each of our N = 40 synthetic neurons. Finally, Eq 6 was used to reconstruct the remaining Ground Truth Lagrange multipliers from our Uncoupled estimates.
References
- 1. Granger CW. Investigating causal relations by econometric models and cross-spectral methods. Econometrica: journal of the Econometric Society. 1969; p. 424–438.
- 2. Marbach D, Costello JC, Küffner R, Vega NM, Prill RJ, Camacho DM, et al. Wisdom of crowds for robust gene network inference. Nature methods. 2012;9(8):796–804. pmid:22796662
- 3. Duarte NC, Becker SA, Jamshidi N, Thiele I, Mo ML, Vo TD, et al. Global reconstruction of the human metabolic network based on genomic and bibliomic data. Proceedings of the National Academy of Sciences. 2007;104(6):1777–1782. pmid:17267599
- 4. Smith SM, Miller KL, Salimi-Khorshidi G, Webster M, Beckmann CF, Nichols TE, et al. Network modelling methods for FMRI. Neuroimage. 2011;54(2):875–891. pmid:20817103
- 5.
Margolin AA, Nemenman I, Basso K, Wiggins C, Stolovitzky G, Dalla Favera R, et al. ARACNE: an algorithm for the reconstruction of gene regulatory networks in a mammalian cellular context. In: BMC bioinformatics. vol. 7. Springer; 2006. p. S7.
- 6. Cooper GF, Herskovits E. A Bayesian method for the induction of probabilistic networks from data. Machine learning. 1992;9(4):309–347.
- 7.
Pearl J. Probabilistic reasoning in intelligent systems: networks of plausible inference. Elsevier; 2014.
- 8.
Jaynes E, et al. The maximum entropy formalism. Ed Levine, RD, Tribus, M, Where do we stand. 1979.
- 9.
Jaynes E, Haken H. Complex Systems: Operational Approaches. Springer Series in Synergetics Haken H(ed) Berlin, Heidelberg, New York: Springer. 1985.
- 10. Haken H. A new access to path integrals and fokker planck equations via the maximum calibre principle. Zeitschrift für Physik B Condensed Matter. 1986;63(4):505–510.
- 11. Dewar RC. Maximum entropy production and the fluctuation theorem. Journal of Physics A: Mathematical and General. 2005;38(21):L371.
- 12. Pressé S, Ghosh K, Lee J, Dill KA. Principles of maximum entropy and maximum caliber in statistical physics. Reviews of Modern Physics. 2013;85(3):1115.
- 13. Dixit PD, Wagoner J, Weistuch C, Pressé S, Ghosh K, Dill KA. Perspective: Maximum caliber is a general variational principle for dynamical systems. The Journal of chemical physics. 2018;148(1):010901. pmid:29306272
- 14. Ghosh K, Dixit PD, Agozzino L, Dill KA. The Maximum Caliber Variational Principle for Nonequilibria. Annual Review of Physical Chemistry. 2020;71. pmid:32075515
- 15. Ghosh K, Dill K, Inamdar MM, Seitaridou E, Phillips R. Teaching the Principles of Statistical Dynamics. Am J Phys. 2006;74:123–133. pmid:23585693
- 16. Lee J, Pressé S. A derivation of the master equation from path entropy maximization. The Journal of chemical physics. 2012;137(7):074103. pmid:22920099
- 17. Dixit PD. Quantifying extrinsic noise in gene expression using the maximum entropy framework. Biophysical journal. 2013;104(12):2743–2750. pmid:23790383
- 18. Dixit P, Lyashenko E, Niepel M, Vitkup D. Maximum entropy framework for inference of cell population heterogeneity in signaling network dynamics. bioRxiv. 2018; p. 137513.
- 19. Nevozhay D, Adams RM, Itallie EV, Bennett MR, Balázsi G. Mapping the Environmental Fitness Landscape of a Synthetic Gene Circuit. PLOS Comput Biol. 2012;8:e1002480. pmid:22511863
- 20. Firman T, Balázsi G, Ghosh K. Building predictive models of genetic circuits using the principle of maximum caliber. Biophysical journal. 2017;113(9):2121–2130. pmid:29117534
- 21. Firman T, Wedekind S, McMorrow TJ, Ghosh K. Maximum Caliber Can Characterize Genetic Switches with Multiple Hidden Species. J Phys Chem B. 2018;122(21):5666–5677. pmid:29406749
- 22. Stock G, Ghosh K, Dill KA. Maximum Caliber: A variational approach applied to two-state dynamics. The Journal of chemical physics. 2008;128(19):194102. pmid:18500851
- 23. Presse S, Ghosh K, Phillips R, Dill KA. Dynamical fluctuations in biochemical reactions and cycles. Phys Rev E. 2010;82(3):031905. pmid:21230106
- 24. Presse S, Ghosh K, Dill K. Modeling stochastic dynamics in biochemical systems with feedback using maximum caliber. The Journal of Physical Chemistry B. 2011;115(19):6202–6212. pmid:21524067
- 25. Firman T, Amgalan A, Ghosh K. Maximum Caliber can build and infer models of oscillation in a three-gene feedback network. The Journal of Physical Chemistry B. 2018;123(2):343–355.
- 26.
Broderick T, Dudik M, Tkacik G, Schapire RE, Bialek W. Faster solutions of the inverse pairwise Ising problem. arXiv preprint arXiv:07122437. 2007.
- 27. Mora T, Deny S, Marre O. Dynamical criticality in the collective activity of a population of retinal neurons. Phys Rev Lett. 2015;114:078105. pmid:25763977
- 28.
Landau LD, Lifshitz EM. Mechanics. v. 1. Elsevier Science; 1982. Available from: https://books.google.com/books?id=bE-9tUH2J2wC.
- 29.
Goldstein H. Classical Mechanics. Pearson Education; 2002. Available from: https://books.google.com/books?id=Spy6xHWFJIEC.
- 30.
Sakurai JJ, Commins ED. Modern quantum mechanics, revised edition; 1995.
- 31.
Cohen-Tannoudji C, Diu B, Laloe F. Quantum Mechanics. No. v. 1 in Quantum Mechanics. Wiley; 1991. Available from: https://books.google.com/books?id=iHcpAQAAMAAJ.
- 32. Sessak V, Monasson R. Small-correlation expansions for the inverse Ising problem. Journal of Physics A: Mathematical and Theoretical. 2009;42(5).
- 33. Molinelli EJ, et al. Perturbation biology: inferring signalling networks in cellular systems. PLoS Comput Biol. 2013;9(12):e1003290. pmid:24367245
- 34. Morcos F, et al. Direct-coupling analysis of residue coevolution captures native contacts across many protein families. Proc Natl Acad Sci USA. 2011;108(49):E1293–E1301. pmid:22106262
- 35. Kappen HJ, Rodríguez FB. Efficient learning in Boltzmann machines using linear response theory. Neural Computation. 1998;10(5):1137–1156.
- 36. Cocco S, Feinauer C, Figliuzzi M, Monasson R, Weigt M. Inverse statistical physics of protein sequences: a key issues review. Reports on Progress in Physics. 2018;81(3). pmid:29120346
- 37. Cocco S, Leibler S, Monasson R. Neuronal couplings between retinal ganglion cells inferred by efficient inverse statistical physics methods. Proc Natl Acad Sci USA. 2009;106(33):14058–14062. pmid:19666487
- 38. Plefka P. Convergence condition of the TAP equation for the infinite-ranged Ising spin glass model. Journal of Physics A: Mathematical and General. 1982;15(6):1971–1978.
- 39. Tanaka T. Information geometry of mean-field approximation. Neural Computation. 2000;12(8):1951–1968. pmid:10953246
- 40. Thouless DJ, Anderson PW, Palmer RG. Solution of’solvable model of a spin glass’. Philosophical Magazine. 1977;35(3):593–601.
- 41. Bethe HA. Statistical theory of superlattices. Proceedings of the Royal Society of London Series A-Mathematical and Physical Sciences. 1935;150(871):552–575.
- 42.
Peierls R. On Ising’s model of ferromagnetism. In: Mathematical Proceedings of the Cambridge Philosophical Society. vol. 32. Cambridge University Press; 1936. p. 477–481.
- 43. Ricci-Tersenghi F. The Bethe approximation for solving the inverse Ising problem: a comparison with other inference methods. Journal of Statistical Mechanics: Theory and Experiment. 2012;2012(08):P08015.
- 44. Cohn I, El-Hay T, Friedman N, Kupferman R. Mean field variational approximation for continuous-time Bayesian networks. Journal of Machine Learning Research. 2010;11:2745–2783.
- 45. Nguyen HC, Zecchina R, Berg J. Inverse statistical problems: from the inverse Ising problem to data science. Advances in Physics. 2017;66(3):197–261.
- 46. Gardner TS, Cantor CR, Collins JJ. Construction of a genetic toggle switch in Escherichia coli. Nature. 2000;403(6767):339. pmid:10659857
- 47. Schneidman E, Berry MJ, Segev R, Bialek W. Weak pairwise correlations imply strongly correlated network states in a neural population. Nature. 2006;440(7087):1007–1012. pmid:16625187
- 48.
Tkacik G, Schneidman E, Berry I, Michael J, Bialek W. Spin glass models for a network of real neurons. arXiv preprint arXiv:09125409. 2009.
- 49. Vasquez JC, Marre O, Palacios AG, Berry MJ II, Cessac B. Gibbs distribution analysis of temporal correlations structure in retina ganglion cells. Journal of Physiology-Paris. 2012;106(3-4):120–127. pmid:22115900
- 50. Beggs JM, Plenz D. Neuronal avalanches in neocortical circuits. Journal of neuroscience. 2003;23(35):11167–11177. pmid:14657176
- 51. Beggs JM. The criticality hypothesis: how local cortical networks might optimize information processing. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2008;366(1864):329–343. pmid:17673410
- 52. Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry MJ, et al. Searching for collective behavior in a large network of sensory neurons. PLoS computational biology. 2014;10(1). pmid:24391485
- 53. Hohenberg P, Krekhov A. An introduction to the Ginzburg–Landau theory of phase transitions and nonequilibrium patterns. Physics Reports. 2015;572:1–42.
- 54. Blei DM, Kucukelbir A, McAuliffe JD. Variational inference: A review for statisticians. Journal of the American statistical Association. 2017;112(518):859–877.
- 55.
Giordano RJ, Broderick T, Jordan MI. Linear response methods for accurate covariance estimates from mean field variational Bayes. In: Advances in Neural Information Processing Systems; 2015. p. 1441–1449.
- 56. Ackley DH, Hinton GE, Sejnowski TJ. A learning algorithm for Boltzmann machines. Cognitive science. 1985;9(1):147–169.
- 57.
Hinton GE. A practical guide to training restricted Boltzmann machines. In: Neural networks: Tricks of the trade. Springer; 2012. p. 599–619.
- 58. Kholodenko BN, Kiyatkin A, Bruggeman FJ, Sontag E, Westerhoff HV, Hoek JB. Untangling the wires: a strategy to trace functional interactions in signaling and gene networks. Proceedings of the National Academy of Sciences. 2002;99(20):12841–12846. pmid:12242336
- 59. Kullback S, Leibler RA. On information and sufficiency. Ann Math Statist. 1951;22(1):79–86.
- 60. Amari Si, Ikeda S, Shimokawa H. Information geometry of-projection in mean field approximation. Advanced Mean Field Methods. 2001; p. 241–258.
- 61. Yedidia J. An idiosyncratic journey beyond mean field theory. Advanced mean field methods: Theory and practice. 2001; p. 21–36.