arXiv subjects

Todd Young

Publications and source records attributed to Todd Young.

13 recordsLinked to original sources

arXiv2013

Two classes of ODE models with switch-like behavior

In cases where the same real-world system can be modeled both by an ODE system $\bD$ and a Boolean system $\bB$ it is of interest to identify conditions under which the two systems will be consistent, that is, will make qualitatively equivalent predictions. In this note we introduce two broad classes of relatively simple models that provide a convenient framework for studying such questions. In contrast to the widely known class of Glass networks, the right-hand sides of our ODEs are Lipschitz-continuous. We prove that under suitable assumptions about $\bB$ consistency between $\bD$ and $\bB$ will be implied by sufficient separation of time scales in one class of our models while it may fail in the other class. These results appear to point to more general structure properties that favor consistency between ODE and Boolean models.

math.DS↗

arXiv2011

Stochastic Stability for Flows with Smooth Invariant Measures

We study the notion of stochastic stability with respect to diffusive perturbations for flows with smooth invariant measures. We investigate the question fully for non-singular flows on the circle. We also show that volume-preserving flows are stochastically stable with respect to perturbations that are associated with homogeneous diffusions.

math.DS↗

arXiv2011

Clustering in Cell Cycle Dynamics with General Response/Signaling Feedback

Motivated by experimental and theoretical work on autonomous oscillations in yeast, we analyze ordinary differential equations models of large populations of cells with cell-cycle dependent feedback. We assume a particular type of feedback that we call Responsive/Signaling (RS), but do not specify a functional form of the feedback. We study the dynamics and emergent behaviour of solutions, particularly temporal clustering and stability of clustered solutions. We establish the existence of certain periodic clustered solutions as well as "uniform" solutions and add to the evidence that cell-cycle dependent feedback robustly leads to cell-cycle clustering. We highlight the fundamental differences in dynamics between systems with negative and positive feedback. For positive feedback systems the most important mechanism seems to be the stability of individual isolated clusters. On the other hand we find that in negative feedback systems, clusters must interact with each other to reinforce coherence. We conclude from various details of the mathematical analysis that negative feedback is most consistent with observations in yeast experiments.

math.DS↗

arXiv2011

The Hopf bifurcation with bounded noise

We study Hopf-Andronov bifurcations in a class of random differential equations (RDEs) with bounded noise. We observe that when an ordinary differential equation that undergoes a Hopf bifurcation is subjected to bounded noise then the bifurcation that occurs involves a discontinuous change in the Minimal Forward Invariant set.

math.DS↗

arXiv2009

ODE, RDE and SDE Models of Cell Cycle Dynamics and Clustering in Yeast

Biologists have long observed periodic-like oxygen consumption oscillations in yeast populations under certain conditions and several unsatisfactory explanations for this phenomenon have been proposed. These "autonomous oscillations" have often appeared with periods that are nearly integer divisors of the calculated doubling time of the culture. We hypothesize that these oscillations could be caused by a weak form of cell cycle synchronization that we call clustering. We develop some novel ordinary differential equation models of the cell cycle. For these models, and for random and stochastic perturbations, we give both rigorous proofs and simulations showing that both positive and negative growth rate feedback within the cell cycle are possible agents that can cause clustering of populations within the cell cycle. It occurs for a variety of models and for a broad selection of parameter values. These results suggest that the clustering phenomenon is robust and is likely to be observed in nature. Since there are necessarily an integer number of clusters, clustering would lead to periodic-like behavior with periods that are nearly integer divisors of the period of the cell cycle.

math.DS↗

arXiv2008

Binary Classification Based on Potentials

We introduce a simple and computationally trivial method for binary classification based on the evaluation of potential functions. We demonstrate that despite the conceptual and computational simplicity of the method its performance can match or exceed that of standard Support Vector Machine methods.

cs.LG↗

arXiv2008

Comparison of Binary Classification Based on Signed Distance Functions with Support Vector Machines

We investigate the performance of a simple signed distance function (SDF) based method by direct comparison with standard SVM packages, as well as K-nearest neighbor and RBFN methods. We present experimental results comparing the SDF approach with other classifiers on both synthetic geometric problems and five benchmark clinical microarray data sets. On both geometric problems and microarray data sets, the non-optimized SDF based classifiers perform just as well or slightly better than well-developed, standard SVM methods. These results demonstrate the potential accuracy of SDF-based methods on some types of problems.

cs.LG↗

arXiv2008

Higher Order Birkhoff Averages

There are well-known examples of dynamical systems for which the Birkhoff averages with respect to a given observable along some or all of the orbits do not converge. It has been suggested that such orbits could be classified using higher order averages. In the case of a bounded observable, we show that a classical result of G.H. Hardy implies that if the Birkhoff averages do not converge, then neither do the higher order averages. If the Birkhoff averages do not converge then we may denote by $[α_k,β_k]$ the limit set of the $k$-th order averages. The sequence of intervals thus generated is nested: $[α_{k+1},β_{k+1}] \subset [α_k,β_k]$. We can thus make a distinction among nonconvergent Birkhoff averages; either: B1. $\cap_{k=1}^\infty [α_k,β_k]$ is a point $B_\infty$, or, B2. $\cap_{k=1}^\infty [α_k,β_k]$ is a non-trivial interval $[α_\infty,β_\infty]$. We give characterizations of the types B1 and B2 in terms of how slowly they oscillate and we give examples that exhibit both behaviours B1 and B2 in the context of full shifts on finite symbols and "Bowen's example". For finite full shifts, we show that the set of orbits with type B2 behaviour has full topological entropy.

math.DS↗

arXiv2007

Topological entropies of equivalent smooth flows

Two flows defined on a smooth manifold are equivalent if there exists a homeomorphism of the manifold that sends each orbit of one flow onto an orbit of the other flow while preserving the time orientation. The topological entropy of a flow is defined as the entropy of its time-1 map. While topological entropy is an invariant for equivalent homeomorphisms, finite non-zero topological entropy for a flow cannot be an invariant because its value is affected by time reparameterization. However, 0 and $\infty$ topological entropy are invariants for equivalent flows without fixed points. In equivalent flows with fixed points there exists a counterexample, constructed by Ohno, showing that neither 0 nor $\infty$ topological entropy is preserved by equivalence. The two flows constructed by Ohno are suspensions of a transitive subshift and thus are not differentiable. Note that a differentiable flow on a compact manifold cannot have $\infty$ entropy. These facts led Ohno in 1980 to ask the following: "Is 0 topological entropy an invariant for equivalent differentiable flows?" In this paper, we construct two equivalent $C^\infty$ smooth flows with a singularity, one of which has positive topological entropy while the other has zero topological entropy. This gives a negative answer to Ohno's question in the class $C^\infty$.

math.DS↗

arXiv2004

Basins of attraction for cascading maps

We study a finite uni-directional array of "cascading" or "threshold coupled" chaotic maps. Such systems have been proposed for use in nonlinear computing and have been applied to classification problems in bioinformatics. We describe some of the attractors for such systems and prove general results about their basins of attraction. In particular, we show that the basins of attraction have infinitely many path components. We show that these components always accumulate at the corners of the domain of the system. For all threshold parameters above a certain value, we show that they accumulate at a Cantor set in the interior of the domain. For certain ranges of the threshold, we prove that the system has many attractors.

math.DS↗

arXiv2004

Liao Standard Systems and Nonzero Lyapunov Exponents for Differential Flows

Consider a $C^1$ vector field together with an ergodic invariant probability that has $\ell$ nonzero Lyapunov exponents. Using orthonormal moving frames along certain transitive orbits we construct a linear system of $\ell$ differential equations which is a reduced form of Liao's "standard system". We show that the Lyapunov exponents of this linear system coincide with all the nonzero exponents of the given vector field with respect to the given probability. Moreover, we prove that these Lyapunov exponents have a persistence property that implies that a "Liao perturbation" preserves both sign and value of nonzero Lyapunov exponents.

math.DS↗

arXiv2001

Jacobson's Theorem near saddle-node bifurcations

We discuss one parameter families of unimodal maps, with negative Schwarzian derivative, unfolding a saddle-node bifurcation. It was previously shown that for a parameter set of positive Lebesgue density at the bifurcation, the maps possess attracting periodic orbits of high period. We show that there is also a parameter set of positive density at the bifurcation, for which the maps exhibit absolutely continuous invariant measures which are supported on the largest possible interval. We prove that these measures converge weakly to an atomic measure supported on the orbit of the saddle-node point. Using these measures we analyze the intermittent time series that result from the destruction of the periodic attractor in the saddle-node bifurcation and prove asymptotic formulae for the frequency with which orbits visit the region previously occupied by the periodic attractor.

math.DS↗

arXiv1997

From Morse-Smale to all knots and links

We analyse the topological (knot-theoretic) features of a certain codimension-one bifurcation of a partially hyperbolic fixed point in a flow on $\real^3$ originally described by Shil'nikov. By modifying how the invariant manifolds wrap around themselves, or ``pleat,'' we may apply the theory of templates, or branched two-manifolds, to capture the topology of the flow. This analysis yields a class of flows which bifurcate from a Morse-Smale flow to a Smale flow containing periodic orbits of all knot and link types.

math.DS↗