arXiv subjects

Yoram Zarai

Publications and source records attributed to Yoram Zarai.

16 recordsLinked to original sources

arXiv2020

On the Exponent of Several Classes of Oscillatory Matrices

Oscillatory matrices were introduced in the seminal work of Gantmacher and Krein. An $n\times n$ matrix $A$ is called oscillatory if all its minors are nonnegative and there exists a positive integer $k$ such that all minors of $A^k$ are positive. The smallest $k$ for which this holds is called the exponent of the oscillatory matrix $A$. Gantmacher and Krein showed that the exponent is always smaller than or equal to $n-1$. An important and nontrivial problem is to determine the exact value of the exponent. Here we use the successive elementary bidiagonal factorization of oscillatory matrices, and its graph-theoretic representation, to derive an explicit expression for the exponent of several classes of oscillatory matrices, and a nontrivial upper-bound on the exponent for several other classes.

math.CO↗

arXiv2018

Networks of ribosome flow models for modeling and analyzing intracellular traffic

The ribosome flow model with input and output (RFMIO) is a deterministic dynamical system that has been used to study the flow of ribosomes during mRNA translation. The RFMIO and its variants encapsulate important properties that are relevant to modeling ribosome flow such as the possible evolution of "traffic jams" and non-homogeneous elongation rates along the mRNA molecule, and can also be used for studying additional intracellular processes such as transcription, transport, and more. Here we consider networks of interconnected RFMIOs as a fundamental tool for modeling, analyzing and re-engineering the complex mechanisms of protein production. In these networks, the output of each RFMIO may be divided, using connection weights, between several inputs of other RFMIOs. We show that under quite general feedback connections the network has two important properties: (1) it admits a unique steady-state and every trajectory converges to this steady-state, and (2) the problem of how to determine the connection weights so that the network steady-state output is maximized is a convex optimization problem. These mathematical properties make these networks highly suitable as models of various phenomena: property (1) means that the behavior is predictable and ordered, and property (2) means that determining the optimal weights is numerically tractable even for large-scale networks. For the specific case of a feed-forward network of RFMIOs we prove an additional useful property, namely, that there exists a spectral representation for the network steady-state, and thus it can be determined without any numerical simulations of the dynamics. We describe the implications of these result to several fundamental biological phenomena and biotechnological objectives.

q-bio.MN↗

arXiv2018

Dynamical Systems with a Cyclic Sign Variation Diminishing Property

Several studies analyzed certain nonlinear dynamical systems by showing that the cyclic number of sign variations in the vector of derivatives is an integer-valued Lyapunov function. These results are based on direct analysis of the dynamical equation satisfied by the vector of derivatives, i.e. the variational system. However, it is natural to assume that they follow from the fact that the transition matrix in the variational system satisfies a variation diminishing property (VDP) with respect to the cyclic number of sign variations in a vector. Motivated by this, we develop the theoretical framework of linear time-varying systems whose solution satisfies a VDP with respect to the cyclic number of sign variations. This provides an analogue of the work of Schwarz on totally positive differential systems, i.e. linear time-varying systems whose solution satisfies a VDP with respect to the standard (non-cyclic) number of sign variations.

math.DS↗

arXiv2017

Ribosome Flow Model with Extended Objects

We study a deterministic mechanistic model for the flow of ribosomes along the mRNA molecule, called the ribosome flow model with extended objects (RFMEO). This model encapsulates many realistic features of translation including non-homogeneous transition rates along the mRNA, the fact that every ribosome covers several codons, and the fact that ribosomes cannot overtake one another. The RFMEO is a mean-field approximation of an important model from statistical mechanics called the totally asymmetric simple exclusion process with extended objects (TASEPEO). We demonstrate that the RFMEO describes biophysical aspects of translation better than previous mean-field approximations, and that its predictions correlate well with those of TASEPEO. However, unlike TASEPEO, the RFMEO is amenable to rigorous analysis using tools from systems and control theory. We show that the ribosome density profile along the mRNA in the RFMEO converges to a unique steady-state density that depends on the length of the mRNA, the transition rates along it, and the number of codons covered by every ribosome, but not on the initial density of ribosomes along the mRNA. In particular, the protein production rate also converges to a unique steady-state. Furthermore, if the transition rates along the mRNA are periodic with a common period T then the ribosome density along the mRNA and the protein production rate converge to a unique periodic pattern with period T, that is, the model entrains to periodic excitations in the transition rates. We believe that the RFMEO could be useful for modeling, understanding, and re-engineering translation as well as other important biological processes.

q-bio.SC↗

arXiv2017

Optimal Translation Along a Circular mRNA

The ribosome flow model on a ring (RFMR) is a deterministic model for translation of a circularized mRNA. We derive a new spectral representation for the optimal steady-state production rate and the corresponding optimal steady-state ribosomal density in the RFMR. This representation has several important advantages. First, it provides a simple and numerically stable algorithm for determining the optimal values even in very long rings. Second, it enables efficient computation of the sensitivity of the optimal production rate to small changes in the transition rates along the mRNA. Third, it implies that the optimal steady-state production rate is a strictly concave function of the transition rates. Thus maximizing the optimal steady-state production rate with respect to the rates, under an affine constraint on the rates becomes a convex optimization problem that admits a unique solution, which can be determined numerically using highly efficient algorithms. This optimization problem is important, for example, when re-engineering heterologous genes in a host organism. We describe the implications of our results to this and other aspects of translation.

q-bio.SC↗

arXiv2017

A Deterministic Model for One-Dimensional Excluded Flow with Local Interactions

Natural phenomena frequently involve a very large number of interacting molecules moving in confined regions of space. Cellular transport by motor proteins is an example of such collective behavior. We derive a deterministic compartmental model for the unidirectional flow of particles along a one-dimensional lattice of sites with nearest-neighbor interactions between the particles. The flow between consecutive sites is governed by a soft simple exclusion principle and by attracting or repelling forces between neighboring particles. Using tools from contraction theory, we prove that the model admits a unique steady-state and that every trajectory converges to this steady-state. Analysis and simulations of the effect of the attracting and repelling forces on this steady-state highlight the crucial role that these forces may play in increasing the steady-state flow, and reveal that this increase stems from the alleviation of traffic jams along the lattice. Our theoretical analysis clarifies microscopic aspects of complex multi-particle dynamic processes.

q-bio.SC↗

arXiv2017

Controllability analysis and control synthesis for the ribosome flow model

The ribosomal density along the coding region of the mRNA molecule affect various fundamental intracellular phenomena including: protein production rates, organismal fitness, ribosomal drop off, and co-translational protein folding. Thus, regulating translation in order to obtain a desired ribosomal profile along the mRNA molecule is an important biological problem. We study this problem using a model for mRNA translation, called the ribosome flow model (RFM). In the RFM, the mRNA molecule is modeled as chain of n sites. The n state-variables describe the ribosomal density profile along the mRNA molecule, whereas the transition rates from each site to the next are controlled by n+1 positive constants. To study the problem of controlling the density profile, we consider some or all of the transition rates as time-varying controls. We consider the following problem: given an initial and a desired ribosomal density profile, determine the time-varying values of the transition rates that steer the RFM to this density profile, if they exist. Specifically, we consider two control problems. In the first, all transition rates can be regulated and the goal is to steer the ribosomal density profile and the protein production rate from a given initial value to a desired value. In the second, a single transition rate is controlled and the goal is to steer the production rate to a desired value. In the first case, we show that the system is controllable, i.e. the control is powerful enough to steer the RFM to any desired value, and we provide closed-form expressions for constant control functions (or transition rates) asymptotically steering the RFM to the desired value. For the second problem, we show that the production rate can be steered to any desired value in a feasible region determined by the other, constant transition rates. We discuss some of the biological implications of these results.

q-bio.GN↗

arXiv2016

A Deterministic Mathematical Model for Bidirectional Excluded Flow with Langmuir Kinetics

In many important cellular processes, including mRNA translation, gene transcription, phosphotransfer, and intracellular transport, biological "particles" move along some kind of "tracks". The motion of these particles can be modeled as a one-dimensional movement along an ordered sequence of sites. The biological particles (e.g., ribosomes, RNAPs, phosphate groups, motor proteins) have volume and cannot surpass one another. In some cases, there is a preferred direction of movement along the track, but in general the movement may be two-directional, and furthermore the particles may attach or detach from various regions along the tracks (e.g. ribosomes may drop off the mRNA molecule before reaching a stop codon). We derive a new deterministic mathematical model for such transport phenomena that may be interpreted as the dynamic mean-field approximation of an important model from mechanical statistics called the asymmetric simple exclusion process (ASEP) with Langmuir kinetics. Using tools from the theory of monotone dynamical systems and contraction theory we show that the model admits a unique globally asymptotically stable equilibrium. This means that the occupancy in all the sites along the lattice converges to a steady-state value that depends on the parameters but not on the initial conditions. We also show that the model entrains (or phase locks) to periodic excitations in any of its forward, backward, attachment, or detachment rates. We demonstrate an application of this phenomenological transport model for analyzing the effect of ribosome drop off in mRNA translation. One may perhaps expect that drop off from a jammed site may increase the total flow by reducing congestion. Our results show that this is not true. Drop off has a substantial effect on the flow, yet always leads to a reduction in the steady-state protein production rate.

q-bio.SC↗

arXiv2016

On the Ribosomal Density that Maximizes Protein Translation Rate

During mRNA translation, several ribosomes attach to the same mRNA molecule simultaneously translating it into a protein. This pipelining increases the protein production rate. A natural and important question is what ribosomal density maximizes the protein production rate. Using mathematical models of ribosome flow along both a linear and a circular mRNA molecule we prove that typically the steady-state production rate is maximized when the ribosomal density is one half of the maximal possible density. We discuss the implications of our results to endogenous genes under natural cellular conditions and also to synthetic biology.

q-bio.GN↗

arXiv2016

Optimal Down Regulation of mRNA Translation

Down regulation of mRNA translation is an important problem in various bio-medical domains ranging from developing effective medicines for tumors and for viral diseases to developing attenuated virus strains that can be used for vaccination. Here, we study the problem of down regulation of mRNA translation using a mathematical model called the ribosome flow model (RFM). In the RFM, the mRNA molecule is modeled as a chain of $n$ sites. The flow of ribosomes between consecutive sites is regulated by $n+1$ transition rates. Given a set of feasible transition rates, that models the outcome of all possible mutations, we consider the problem of maximally down regulating the translation rate by altering the rates within this set of feasible rates. Under certain conditions on the feasible set, we show that an optimal solution can be determined efficiently. We also rigorously analyze two special cases of the down regulation optimization problem. Our results suggest that one must focus on the position along the mRNA molecule where the transition rate has the strongest effect on the protein production rate. However, this rate is not necessarily the slowest transition rate along the mRNA molecule. We discuss some of the biological implications of these results.

q-bio.GN↗

arXiv2015

Analyzing Linear Communication Networks using the Ribosome Flow Model

The Ribosome Flow Model (RFM) describes the unidirectional movement of interacting particles along a one-dimensional chain of sites. As a site becomes fuller, the effective entry rate into this site decreases. The RFM has been used to model and analyze mRNA translation, a biological process in which ribosomes (the particles) move along the mRNA molecule (the chain), and decode the genetic information into proteins. Here we propose the RFM as an analytical framework for modeling and analyzing linear communication networks. In this context, the moving particles are data-packets, the chain of sites is a one dimensional set of ordered buffers, and the decreasing entry rate to a fuller buffer represents a kind of decentralized backpressure flow control. For an RFM with homogeneous link capacities, we provide closed-form expressions for important network metrics including the throughput and end-to-end delay. We use these results to analyze the hop length and the transmission probability (in a contention access mode) that minimize the end-to-end delay in a multihop linear network, and provide closed-form expressions for the optimal parameter values.

cs.NI↗

arXiv2015

Ribosome Flow Model on a Ring

The asymmetric simple exclusion process (ASEP) is an important model from statistical physics describing particles that hop randomly from one site to the next along an ordered lattice of sites, but only if the next site is empty. ASEP has been used to model and analyze numerous multiagent systems with local interactions including the flow of ribosomes along the mRNA strand. In ASEP with periodic boundary conditions a particle that hops from the last site returns to the first one. The mean field approximation of this model is referred to as the ribosome flow model on a ring (RFMR). The RFMR may be used to model both synthetic and endogenous gene expression regimes. We analyze the RFMR using the theory of monotone dynamical systems. We show that it admits a continuum of equilibrium points and that every trajectory converges to an equilibrium point. Furthermore, we show that it entrains to periodic transition rates between the sites. We describe the implications of the analysis results to understanding and engineering cyclic mRNA translation in-vitro and in-vivo.

q-bio.QM↗

arXiv2014

On the Structure of the Initiation and Elongation Rates that Maximize Protein Production in the Ribosome Flow Model

Translation is a crucial step in gene expression. During translation, macromolecules called ribosomes "read" the mRNA strand in a sequential manner and produce a corresponding protein. Translation is known to consume most of the cell's energy. Maximizing the protein production rate in mRNA translation, subject to the bounded biomolecullar budget, is thus an important problem in both biology and biotechnology. We consider this problem using a mathematical model for mRNA translation called the ribosome flow model (RFM). For an mRNA strand with $n$ sites the RFM includes $n$ state-variables that encode the normalized ribosomal density at each site, and $n+1$ positive parameters: the initiation rate and elongation rates along the chain. An affine constraint on these rates is used to model the bounded cellular budget. We show that for a homogeneous constraint the rates that maximize the steady-state protein production rate have a special structure. They are symmetric with respect to the middle of the chain, and monotonically increase as we move towards the center of the chain. The ribosomal densities corresponding to the optimal rates monotonically decrease along the chain. We discuss some of the biological implications of these results.

q-bio.GN↗

arXiv2014

Maximizing Protein Translation Rate in the Nonhomogeneous Ribosome Flow Model: A Convex Optimization Approach

Translation is an important stage in gene expression. During this stage, macro-molecules called ribosomes travel along the mRNA strand linking amino-acids together in a specific order to create a functioning protein. An important question is how to maximize protein production. Indeed, translation is known to consume most of the cell's energy and it is natural to assume that evolution shaped this process so that it maximizes the protein production rate. If this is indeed so then one can estimate various parameters of the translation machinery by solving an appropriate mathematical optimization problem. The same problem also arises in the context of synthetic biology, namely, re-engineer heterologous genes in order to maximize their translation rate in a host organism. We consider the problem of maximizing the protein production rate using a computational model for translation-elongation called the ribosome flow model (RFM). This model describes the flow of the ribosomes along an mRNA chain of length n using a set of n first-order nonlinear ODEs. It also includes n+1 positive parameters: the ribosomal initiation rate into the mRNA chain, and n elongation rates along the chain sites. We show that the steady-state translation rate in the RFM is a strictly concave function of its parameters. This means that the problem of maximizing the translation rate under a suitable constraint always admits a unique solution, and that this solution can be determined using highly-efficient algorithms for solving convex optimization problems even for large values of n. Furthermore, our analysis shows that the optimal translation rate can be computed based only on the optimal initiation rate and the elongation rate of the codons near the beginning of the ORF. We discuss some applications of the theoretical results to synthetic biology, molecular evolution, and functional genomics.

q-bio.GN↗

arXiv2014

Maximizing Protein Translation Rate in the Ribosome Flow Model: the Homogeneous Case

Gene translation is the process in which intracellular macro-molecules, called ribosomes, decode genetic information in the mRNA chain into the corresponding proteins. Gene translation includes several steps. During the elongation step, ribosomes move along the mRNA in a sequential manner and link amino-acids together in the corresponding order to produce the proteins. The homogeneous ribosome flow model(HRFM) is a deterministic computational model for translation-elongation under the assumption of constant elongation rates along the mRNA chain. The HRFM is described by a set of n first-order nonlinear ordinary differential equations, where n represents the number of sites along the mRNA chain. The HRFM also includes two positive parameters: ribosomal initiation rate and the (constant) elongation rate. In this paper, we show that the steady-state translation rate in the HRFM is a concave function of its parameters. This means that the problem of determining the parameter values that maximize the translation rate is relatively simple. Our results may contribute to a better understanding of the mechanisms and evolution of translation-elongation. We demonstrate this by using the theoretical results to estimate the initiation rate in M. musculus embryonic stem cell. The underlying assumption is that evolution optimized the translation mechanism. For the infinite-dimensional HRFM, we derive a closed-form solution to the problem of determining the initiation and transition rates that maximize the protein translation rate. We show that these expressions provide good approximations for the optimal values in the n-dimensional HRFM already for relatively small values of n. These results may have applications for synthetic biology where an important problem is to re-engineer genomic systems in order to maximize the protein production rate.

q-bio.GN↗

arXiv2014

A Nonlinear Consensus Algorithm Derived from Statistical Physics

The asymmetric simple exclusion process (ASEP) is an important model from statistical physics describing particles that hop randomly from one site to the next along an ordered lattice of sites, but only if the next site is empty. ASEP has been used to model and analyze numerous multiagent systems with local interactions ranging from ribosome flow along the mRNA to pedestrian traffic. In ASEP with periodic boundary conditions a particle that hops from the last site returns to the first one. The mean field approximation of this model is referred to as the ribosome flow model on a ring (RFMR). We analyze the RFMR using the theory of monotone dynamical systems. We show that it admits a continuum of equilibrium points and that every trajectory converges to an equilibrium point. Furthermore, we show that it entrains to periodic transition rates between the sites. When all the transition rates are equal all the state variables converge to the same value. Thus, the RFMR with homogeneous transition rates is a nonlinear consensus algorithm. We describe an application of this to a simple formation control problem.

math.CA↗