-
Looplessness in networks is linked to trophic coherence
Authors:
Samuel Johnson,
Nick S. Jones
Abstract:
Many natural, complex systems are remarkably stable thanks to an absence of feedback acting on their elements. When described as networks, these exhibit few or no cycles, and associated matrices have small leading eigenvalues. It has been suggested that this architecture can confer advantages to the system as a whole, such as `qualitative stability', but this observation does not in itself explain…
▽ More
Many natural, complex systems are remarkably stable thanks to an absence of feedback acting on their elements. When described as networks, these exhibit few or no cycles, and associated matrices have small leading eigenvalues. It has been suggested that this architecture can confer advantages to the system as a whole, such as `qualitative stability', but this observation does not in itself explain how a loopless structure might arise. We show here that the number of feedback loops in a network, as well as the eigenvalues of associated matrices, are determined by a structural property called trophic coherence, a measure of how neatly nodes fall into distinct levels. Our theory correctly classifies a variety of networks -- including those derived from genes, metabolites, species, neurons, words, computers and trading nations -- into two distinct regimes of high and low feedback, and provides a null model to gauge the significance of related magnitudes. Since trophic coherence suppresses feedback, whereas an absence of feedback alone does not lead to coherence, our work suggests that the reasons for `looplessness' in nature should be sought in coherence-inducing mechanisms.
△ Less
Submitted 30 May, 2017; v1 submitted 20 May, 2015;
originally announced May 2015.
-
Quantization Design for Distributed Optimization
Authors:
Ye Pu,
Melanie N. Zeilinger,
Colin N. Jones
Abstract:
We consider the problem of solving a distributed optimization problem using a distributed computing platform, where the communication in the network is limited: each node can only communicate with its neighbours and the channel has a limited data-rate. A common technique to address the latter limitation is to apply quantization to the exchanged information. We propose two distributed optimization…
▽ More
We consider the problem of solving a distributed optimization problem using a distributed computing platform, where the communication in the network is limited: each node can only communicate with its neighbours and the channel has a limited data-rate. A common technique to address the latter limitation is to apply quantization to the exchanged information. We propose two distributed optimization algorithms with an iteratively refining quantization design based on the inexact proximal gradient method and its accelerated variant. We show that if the parameters of the quantizers, i.e. the number of bits and the initial quantization intervals, satisfy certain conditions, then the quantization error is bounded by a linearly decreasing function and the convergence of the distributed algorithms is guaranteed. Furthermore, we prove that after imposing the quantization scheme, the distributed algorithms still exhibit a linear convergence rate, and show complexity upper-bounds on the number of iterations to achieve a given accuracy. Finally, we demonstrate the performance of the proposed algorithms and the theoretical findings for solving a distributed optimal control problem.
△ Less
Submitted 9 April, 2015;
originally announced April 2015.
-
Controller design and value function approximation for nonlinear dynamical systems
Authors:
Milan Korda,
Didier Henrion,
Colin N. Jones
Abstract:
This work considers the infinite-time discounted optimal control problem for continuous time input-affine polynomial dynamical systems subject to polynomial state and box input constraints. We propose a sequence of sum-of-squares (SOS) approximations of this problem obtained by first lifting the original problem into the space of measures with continuous densities and then restricting these densit…
▽ More
This work considers the infinite-time discounted optimal control problem for continuous time input-affine polynomial dynamical systems subject to polynomial state and box input constraints. We propose a sequence of sum-of-squares (SOS) approximations of this problem obtained by first lifting the original problem into the space of measures with continuous densities and then restricting these densities to polynomials. These approximations are tightenings, rather than relaxations, of the original problem and provide a sequence of rational controllers with value functions associated to these controllers converging (under some technical assumptions) to the value function of the original problem. In addition, we describe a method to obtain polynomial approximations from above and from below to the value function of the extracted rational controllers, and a method to obtain approximations from below to the optimal value function of the original problem, thereby obtaining a sequence of asymptotically optimal rational controllers with explicit estimates of suboptimality. Numerical examples demonstrate the approach.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
What is the probability that a random integral quadratic form in $n$ variables has an integral zero?
Authors:
M. Bhargava,
J. E. Cremona,
T. A. Fisher,
N. G. Jones,
J. P. Keating
Abstract:
We show that the density of quadratic forms in $n$ variables over $\mathbb Z_p$ that are isotropic is a rational function of $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. When real quadratic forms in $n$ variables are distributed according to the Gaussian Orthogonal Ensemble (GOE) of random matrix theory, we determine explicitly the pro…
▽ More
We show that the density of quadratic forms in $n$ variables over $\mathbb Z_p$ that are isotropic is a rational function of $p$, where the rational function is independent of $p$, and we determine this rational function explicitly. When real quadratic forms in $n$ variables are distributed according to the Gaussian Orthogonal Ensemble (GOE) of random matrix theory, we determine explicitly the probability that a random such real quadratic form is isotropic (i.e., indefinite).
As a consequence, for each $n$, we determine an exact expression for the probability that a random integral quadratic form in $n$ variables is isotropic (i.e., has a nontrivial zero over $\mathbb Z$), when these integral quadratic forms are chosen according to the GOE distribution. In particular, we find an exact expression for the probability that a random integral quaternary quadratic form has an integral zero; numerically, this probability is approximately $98.3\%$.
△ Less
Submitted 20 February, 2015;
originally announced February 2015.
-
An Alternating Trust Region Algorithm for Distributed Linearly Constrained Nonlinear Programs, Application to the AC Optimal Power Flow
Authors:
Jean-Hubert Hours,
Colin N. Jones
Abstract:
A novel trust region method for solving linearly constrained nonlinear programs is presented. The proposed technique is amenable to a distributed implementation, as its salient ingredient is an alternating projected gradient sweep in place of the Cauchy point computation. It is proven that the algorithm yields a sequence that globally converges to a critical point. As a result of some changes to t…
▽ More
A novel trust region method for solving linearly constrained nonlinear programs is presented. The proposed technique is amenable to a distributed implementation, as its salient ingredient is an alternating projected gradient sweep in place of the Cauchy point computation. It is proven that the algorithm yields a sequence that globally converges to a critical point. As a result of some changes to the standard trust region method, namely a proximal regularisation of the trust region subproblem, it is shown that the local convergence rate is linear with an arbitrarily small ratio. Thus, convergence is locally almost superlinear, under standard regularity assumptions. The proposed method is successfully applied to compute local solutions to alternating current optimal power flow problems in transmission and distribution networks. Moreover, the new mechanism for computing a Cauchy point compares favourably against the standard projected search as for its activity detection properties.
△ Less
Submitted 1 August, 2015; v1 submitted 12 February, 2015;
originally announced February 2015.
-
Closed-form stochastic solutions for non-equilibrium dynamics and inheritance of cellular components over many cell divisions
Authors:
Iain G. Johnston,
Nick S. Jones
Abstract:
Stochastic dynamics govern many important processes in cellular biology, and an underlying theoretical approach describing these dynamics is desirable to address a wealth of questions in biology and medicine. Mathematical tools exist for treating several important examples of these stochastic processes, most notably gene expression, and random partitioning at single cell divisions or after a stead…
▽ More
Stochastic dynamics govern many important processes in cellular biology, and an underlying theoretical approach describing these dynamics is desirable to address a wealth of questions in biology and medicine. Mathematical tools exist for treating several important examples of these stochastic processes, most notably gene expression, and random partitioning at single cell divisions or after a steady state has been reached. Comparatively little work exists exploring different and specific ways that repeated cell divisions can lead to stochastic inheritance of unequilibrated cellular populations. Here we introduce a mathematical formalism to describe cellular agents that are subject to random creation, replication, and/or degradation, and are inherited according to a range of random dynamics at cell divisions. We obtain closed-form generating functions describing systems at any time after any number of cell divisions for binomial partitioning and divisions provoking a deterministic or random, subtractive or additive change in copy number, and show that these solutions agree exactly with stochastic simulation. We apply this general formalism to several example problems involving the dynamics of mitochondrial DNA (mtDNA) during development and organismal lifetimes.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.
-
Solving the Infinite-horizon Constrained LQR Problem using Accelerated Dual Proximal Methods
Authors:
Giorgos Stathopoulos,
Milan Korda,
Colin N. Jones
Abstract:
This work presents an algorithmic scheme for solving the infinite-time constrained linear quadratic regulation problem. We employ an accelerated version of a popular proximal gradient scheme, commonly known as the Forward-Backward Splitting (FBS), and prove its convergence to the optimal solution in our infinite-dimensional setting. Each iteration of the algorithm requires only finite memory, is c…
▽ More
This work presents an algorithmic scheme for solving the infinite-time constrained linear quadratic regulation problem. We employ an accelerated version of a popular proximal gradient scheme, commonly known as the Forward-Backward Splitting (FBS), and prove its convergence to the optimal solution in our infinite-dimensional setting. Each iteration of the algorithm requires only finite memory, is computationally cheap, and makes no use of terminal invariant sets; hence, the algorithm can be applied to systems of very large dimensions. The acceleration brings in optimal convergence rates O(1/k^2) for function values and O(1/k) for primal iterates and renders the proposed method a practical alternative to model predictive control schemes for setpoint tracking. In addition, for the case when the true system is subject to disturbances or modelling errors, we propose an efficient warm-starting procedure, which significantly reduces the number of iterations when the algorithm is applied in closed-loop. Numerical examples demonstrate the approach.
△ Less
Submitted 18 January, 2015;
originally announced January 2015.
-
Stability and Performance Verification of Optimization-based Controllers
Authors:
Milan Korda,
Colin N. Jones
Abstract:
This paper presents a method to verify closed-loop properties of optimization-based controllers for deterministic and stochastic constrained polynomial discrete-time dynamical systems. The closed-loop properties amenable to the proposed technique include global and local stability, performance with respect to a given cost function (both in a deterministic and stochastic setting) and the…
▽ More
This paper presents a method to verify closed-loop properties of optimization-based controllers for deterministic and stochastic constrained polynomial discrete-time dynamical systems. The closed-loop properties amenable to the proposed technique include global and local stability, performance with respect to a given cost function (both in a deterministic and stochastic setting) and the $\mathcal{L}_2$ gain. The method applies to a wide range of practical control problems: For instance, a dynamical controller (e.g., a PID) plus input saturation, model predictive control with state estimation, inexact model and soft constraints, or a general optimization-based controller where the underlying problem is solved with a fixed number of iterations of a first-order method are all amenable to the proposed approach.
The approach is based on the observation that the control input generated by an optimization-based controller satisfies the associated Karush-Kuhn-Tucker (KKT) conditions which, provided all data is polynomial, are a system of polynomial equalities and inequalities. The closed-loop properties can then be analyzed using sum-of-squares (SOS) programming.
△ Less
Submitted 15 November, 2016; v1 submitted 16 January, 2015;
originally announced January 2015.
-
Explicit tracking of uncertainty increases the power of quantitative rule-of-thumb reasoning in cell biology
Authors:
Iain G. Johnston,
Benjamin C. Rickett,
Nick S. Jones
Abstract:
"Back-of-the-envelope" or "rule-of-thumb" calculations involving rough estimates of quantities play a central scientific role in develo** intuition about the structure and behaviour of physical systems, for example in so-called `Fermi problems' in the physical sciences. Such calculations can be used to powerfully and quantitatively reason about biological systems, particularly at the interface b…
▽ More
"Back-of-the-envelope" or "rule-of-thumb" calculations involving rough estimates of quantities play a central scientific role in develo** intuition about the structure and behaviour of physical systems, for example in so-called `Fermi problems' in the physical sciences. Such calculations can be used to powerfully and quantitatively reason about biological systems, particularly at the interface between physics and biology. However, substantial uncertainties are often associated with values in cell biology, and performing calculations without taking this uncertainty into account may limit the extent to which results can be interpreted for a given problem. We present a means to facilitate such calculations where uncertainties are explicitly tracked through the line of reasoning, and introduce a `probabilistic calculator' called Caladis, a web tool freely available at www.caladis.org, designed to perform this tracking. This approach allows users to perform more statistically robust calculations in cell biology despite having uncertain values, and to identify which quantities need to be measured more precisely in order to make confident statements, facilitating efficient experimental design. We illustrate the use of our tool for tracking uncertainty in several example biological calculations, showing that the results yield powerful and interpretable statistics on the quantities of interest. We also demonstrate that the outcomes of calculations may differ from point estimates when uncertainty is accurately tracked. An integral link between Caladis and the Bionumbers repository of biological quantities further facilitates the straightforward location, selection, and use of a wealth of experimental data in cell biological calculations.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
-
Highly comparative fetal heart rate analysis
Authors:
B. D. Fulcher,
A. E. Georgieva,
C. W. G. Redman,
Nick S. Jones
Abstract:
A database of fetal heart rate (FHR) time series measured from 7221 patients during labor is analyzed with the aim of learning the types of features of these recordings that are informative of low cord pH. Our 'highly comparative' analysis involves extracting over 9000 time-series analysis features from each FHR time series, including measures of autocorrelation, entropy, distribution, and various…
▽ More
A database of fetal heart rate (FHR) time series measured from 7221 patients during labor is analyzed with the aim of learning the types of features of these recordings that are informative of low cord pH. Our 'highly comparative' analysis involves extracting over 9000 time-series analysis features from each FHR time series, including measures of autocorrelation, entropy, distribution, and various model fits. This diverse collection of features was developed in previous work, and is publicly available. We describe five features that most accurately classify a balanced training set of 59 'low pH' and 59 'normal pH' FHR recordings. We then describe five of the features with the strongest linear correlation to cord pH across the full dataset of FHR time series. The features identified in this work may be used as part of a system for guiding intervention during labor in future. This work successfully demonstrates the utility of comparing across a large, interdisciplinary literature on time-series analysis to automatically contribute new scientific results for specific biomedical signal processing challenges.
△ Less
Submitted 2 December, 2014;
originally announced December 2014.
-
Guaranteeing Input Tracking For Constrained Systems: Theory and Application to Demand Response
Authors:
Tomasz T. Gorecki,
Altuğ Bitlislioğlu,
Giorgos Stathopoulos,
Colin N. Jones
Abstract:
A method for certifying exact input trackability for constrained discrete time linear systems is introduced in this paper. A signal is assumed to be drawn from a reference set and the system must track this signal with a linear combination of its inputs. Using methods inspired from robust model predictive control, the proposed approach certifies the ability of a system to track any reference drawn…
▽ More
A method for certifying exact input trackability for constrained discrete time linear systems is introduced in this paper. A signal is assumed to be drawn from a reference set and the system must track this signal with a linear combination of its inputs. Using methods inspired from robust model predictive control, the proposed approach certifies the ability of a system to track any reference drawn from a polytopic set on a finite time horizon by solving a linear program. Optimization over a parameterization of the set of reference signals is discussed, and particular instances of parameterization of this set that result in a convex program are identified, allowing one to find the largest set of trackable signals of some class. Infinite horizon feasibility of the methods proposed is obtained through use of invariant sets, and an implicit description of such an invariant set is proposed. These results are tailored for the application of power consumption tracking for loads, where the operator of the load needs to certify in advance his ability to fulfill some requirement set by the network operator. An example of a building heating system illustrates the results.
△ Less
Submitted 20 April, 2015; v1 submitted 27 October, 2014;
originally announced October 2014.
-
A Parametric Non-Convex Decomposition Algorithm for Real-Time and Distributed NMPC
Authors:
Jean-Hubert Hours,
Colin N. Jones
Abstract:
A novel decomposition scheme to solve parametric non-convex programs as they arise in Nonlinear Model Predictive Control (NMPC) is presented. It consists of a fixed number of alternating proximal gradient steps and a dual update per time step. Hence, the proposed approach is attractive in a real-time distributed context. Assuming that the Nonlinear Program (NLP) is semi-algebraic and that its crit…
▽ More
A novel decomposition scheme to solve parametric non-convex programs as they arise in Nonlinear Model Predictive Control (NMPC) is presented. It consists of a fixed number of alternating proximal gradient steps and a dual update per time step. Hence, the proposed approach is attractive in a real-time distributed context. Assuming that the Nonlinear Program (NLP) is semi-algebraic and that its critical points are strongly regular, contraction of the sequence of primal-dual iterates is proven, implying stability of the sub-optimality error, under some mild assumptions. Moreover, it is shown that the performance of the optimality-tracking scheme can be enhanced via a continuation technique. The efficacy of the proposed decomposition method is demonstrated by solving a centralised NMPC problem to control a DC motor and a distributed NMPC program for collaborative tracking of unicycles, both within a real-time framework. Furthermore, an analysis of the sub-optimality error as a function of the sampling period is proposed given a fixed computational power.
△ Less
Submitted 24 December, 2014; v1 submitted 21 August, 2014;
originally announced August 2014.
-
A Parametric Multi-Convex Splitting Technique with Application to Real-Time NMPC
Authors:
Jean-Hubert Hours,
Colin N. Jones
Abstract:
A novel splitting scheme to solve parametric multiconvex programs is presented. It consists of a fixed number of proximal alternating minimisations and a dual update per time step, which makes it attractive in a real-time Nonlinear Model Predictive Control (NMPC) framework and for distributed computing environments. Assuming that the parametric program is semi-algebraic and that its KKT points are…
▽ More
A novel splitting scheme to solve parametric multiconvex programs is presented. It consists of a fixed number of proximal alternating minimisations and a dual update per time step, which makes it attractive in a real-time Nonlinear Model Predictive Control (NMPC) framework and for distributed computing environments. Assuming that the parametric program is semi-algebraic and that its KKT points are strongly regular, a contraction estimate is derived and it is proven that the sub-optimality error remains stable if two key parameters are tuned properly. Efficacy of the method is demonstrated by solving a bilinear NMPC problem to control a DC motor.
△ Less
Submitted 21 July, 2014;
originally announced July 2014.
-
An Augmented Lagrangian Coordination-Decomposition Algorithm for Solving Distributed Non-Convex Programs
Authors:
Jean-Hubert Hours,
Colin N. Jones
Abstract:
A novel augmented Lagrangian method for solving non-convex programs with nonlinear cost and constraint couplings in a distributed framework is presented. The proposed decomposition algorithm is made of two layers: The outer level is a standard multiplier method with penalty on the nonlinear equality constraints, while the inner level consists of a block-coordinate descent (BCD) scheme. Based on st…
▽ More
A novel augmented Lagrangian method for solving non-convex programs with nonlinear cost and constraint couplings in a distributed framework is presented. The proposed decomposition algorithm is made of two layers: The outer level is a standard multiplier method with penalty on the nonlinear equality constraints, while the inner level consists of a block-coordinate descent (BCD) scheme. Based on standard results on multiplier methods and recent results on proximal regularised BCD techniques, it is proven that the method converges to a KKT point of the non-convex nonlinear program under a semi-algebraicity assumption. Efficacy of the algorithm is demonstrated on a numerical example.
△ Less
Submitted 21 July, 2014;
originally announced July 2014.
-
A local-global principle for power maps
Authors:
Nathan Jones
Abstract:
Let f be a function from the set of rational numbers into itself. We call f a global power map if f(n) = n^k for some integer exponent k. We call f a local power map at the prime number p if f induces a well-defined group homomorphism on the multiplicative group of integers modulo p. We conjecture that if f is a local power map at an infinite number of primes p, then f must be a global power map.…
▽ More
Let f be a function from the set of rational numbers into itself. We call f a global power map if f(n) = n^k for some integer exponent k. We call f a local power map at the prime number p if f induces a well-defined group homomorphism on the multiplicative group of integers modulo p. We conjecture that if f is a local power map at an infinite number of primes p, then f must be a global power map. Our main theorem implies that if f is a local power map at every prime p in a set with positive upper density relative to the set of all primes, then f must be a global power map. In particular, this represents progress towards a conjecture of Fabrykowski and Subbarao.
△ Less
Submitted 8 June, 2014;
originally announced June 2014.
-
Elliptic curves with 2-torsion contained in the 3-torsion field
Authors:
Julio Brau,
Nathan Jones
Abstract:
There is a modular curve X'(6) of level 6 defined over Q whose Q-rational points correspond to j-invariants of elliptic curves E over Q for which Q(E[2]) is a subfield of Q(E[3]). In this note we characterize the j-invariants of elliptic curves with this property by exhibiting an explicit model of X'(6). Our motivation is two-fold: on the one hand, X'(6) belongs to the list of modular curves which…
▽ More
There is a modular curve X'(6) of level 6 defined over Q whose Q-rational points correspond to j-invariants of elliptic curves E over Q for which Q(E[2]) is a subfield of Q(E[3]). In this note we characterize the j-invariants of elliptic curves with this property by exhibiting an explicit model of X'(6). Our motivation is two-fold: on the one hand, X'(6) belongs to the list of modular curves which parametrize non-Serre curves (and is not well-known), and on the other hand, X'(6)(Q) gives an infinite family of examples of elliptic curves with non-abelian "entanglement fields," which is relevant to the systematic study of correction factors of various conjectural constants for elliptic curves over Q.
△ Less
Submitted 4 June, 2014;
originally announced June 2014.
-
Highly comparative feature-based time-series classification
Authors:
Ben D. Fulcher,
Nick S. Jones
Abstract:
A highly comparative, feature-based approach to time series classification is introduced that uses an extensive database of algorithms to extract thousands of interpretable features from time series. These features are derived from across the scientific time-series analysis literature, and include summaries of time series in terms of their correlation structure, distribution, entropy, stationarity…
▽ More
A highly comparative, feature-based approach to time series classification is introduced that uses an extensive database of algorithms to extract thousands of interpretable features from time series. These features are derived from across the scientific time-series analysis literature, and include summaries of time series in terms of their correlation structure, distribution, entropy, stationarity, scaling properties, and fits to a range of time-series models. After computing thousands of features for each time series in a training set, those that are most informative of the class structure are selected using greedy forward feature selection with a linear classifier. The resulting feature-based classifiers automatically learn the differences between classes using a reduced number of time-series properties, and circumvent the need to calculate distances between time series. Representing time series in this way results in orders of magnitude of dimensionality reduction, allowing the method to perform well on very large datasets containing long time series or time series of different lengths. For many of the datasets studied, classification performance exceeded that of conventional instance-based classifiers, including one nearest neighbor classifiers using Euclidean distances and dynamic time war** and, most importantly, the features selected provide an understanding of the properties of the dataset, insight that can guide further scientific investigation.
△ Less
Submitted 8 May, 2014; v1 submitted 15 January, 2014;
originally announced January 2014.
-
Logic Synthesis for Fault-Tolerant Quantum Computers
Authors:
N. Cody Jones
Abstract:
Efficient constructions for quantum logic are essential since quantum computation is experimentally challenging. This thesis develops quantum logic synthesis as a paradigm for reducing the resource overhead in fault-tolerant quantum computing. The model for error correction considered here is the surface code. After develo** the theory behind general logic synthesis, the resource costs of magic-…
▽ More
Efficient constructions for quantum logic are essential since quantum computation is experimentally challenging. This thesis develops quantum logic synthesis as a paradigm for reducing the resource overhead in fault-tolerant quantum computing. The model for error correction considered here is the surface code. After develo** the theory behind general logic synthesis, the resource costs of magic-state distillation for the $T = \exp(i π(I-Z)/8)$ gate are quantitatively analyzed. The resource costs for a relatively new protocol distilling multi-qubit Fourier states are calculated for the first time. Four different constructions of the fault-tolerant Toffoli gate, including two which incorporate error detection, are analyzed and compared. The techniques of logic synthesis reduce the cost of fault-tolerant quantum computation by one to two orders of magnitude, depending on which benchmark is used.
Using resource analysis for $T$ gates and Toffoli gates, several proposals for constructing arbitrary quantum gates are compared, including "Clifford+$T$" sequences, $V$-basis sequences, phase kickback, and programmable ancilla rotations. The application of arbitrary gates to quantum algorithms for simulating chemistry is discussed as well. Finally, the thesis examines the techniques which lead to efficient constructions of quantum logic, and these observations point to even broader applications of logic synthesis.
△ Less
Submitted 27 October, 2013;
originally announced October 2013.
-
Controller design and region of attraction estimation for nonlinear dynamical systems
Authors:
Milan Korda,
Didier Henrion,
Colin N. Jones
Abstract:
This work presents a method to obtain inner and outer approximations of the region of attraction of a given target set as well as an admissible controller generating the inner approximation. The method is applicable to constrained polynomial dynamical systems and extends to trigonometric and rational systems. The method consists of three steps: compute outer approximations, extract a polynomial co…
▽ More
This work presents a method to obtain inner and outer approximations of the region of attraction of a given target set as well as an admissible controller generating the inner approximation. The method is applicable to constrained polynomial dynamical systems and extends to trigonometric and rational systems. The method consists of three steps: compute outer approximations, extract a polynomial controller while guaranteeing the satisfaction of the input constraints, compute inner approximations with respect to the closed-loop system with this controller. Each step of the method is a convex optimization problem, in fact a semidefinite program consisting of minimizing a linear function subject to linear matrix inequality (LMI) constraints. The inner approximations are positively invariant provided that the target set is included in the inner approximation and/or is itself invariant. %The approach readily extends to trigonometric dynamics and/or constraints.
△ Less
Submitted 20 March, 2014; v1 submitted 8 October, 2013;
originally announced October 2013.
-
A Swiss Pocket Knife for Computability
Authors:
Neil D. Jones
Abstract:
This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a programming language perspective.
Three cornerstones of computability theory are the S-m-ntheorem; Turing's "universal machine"; and Kleene'…
▽ More
This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a programming language perspective.
Three cornerstones of computability theory are the S-m-ntheorem; Turing's "universal machine"; and Kleene's second recursion theorem. In today's programming language parlance these are respectively partial evaluation, self-interpretation, and reflection. In retrospect it is fascinating that Kleene's 1938 proof is constructive; and in essence builds a self-reproducing program.
Computability theory originated in the 1930s, long before the invention of computers and programs. Its emphasis was on delimiting the boundaries of computability. Some milestones include 1936 (Turing), 1938 (Kleene), 1967 (isomorphism of programming languages), 1985 (partial evaluation), 1989 (theory implementation), 1993 (efficient self-interpretation) and 2006 (term register machines).
The "Swiss pocket knife" of the title is a programming language that allows efficient computer implementation of all three computability cornerstones, emphasising the third: Kleene's second recursion theorem. We describe experiments with a tree-based computational model aiming for both fast program generation and fast execution of the generated programs.
△ Less
Submitted 19 September, 2013;
originally announced September 2013.
-
How modular structure can simplify tasks on networks
Authors:
Binh-Minh Bui-Xuan,
Nick S. Jones
Abstract:
By considering the task of finding the shortest walk through a network we find an algorithm for which the run time is not as O(2^n), with n being the number of nodes, but instead scales with the number of nodes in a coarsened network. This coarsened network has a number of nodes related to the number of dense regions in the original graph. Since we exploit a form of local community detection as a…
▽ More
By considering the task of finding the shortest walk through a network we find an algorithm for which the run time is not as O(2^n), with n being the number of nodes, but instead scales with the number of nodes in a coarsened network. This coarsened network has a number of nodes related to the number of dense regions in the original graph. Since we exploit a form of local community detection as a preprocessing, this work gives support to the project of develo** heuristic algorithms for detecting dense regions in networks: preprocessing of this kind can accelerate optimization tasks on networks. Our work also suggests a class of empirical conjectures for how structural features of efficient networked systems might scale with system size.
△ Less
Submitted 21 May, 2013;
originally announced May 2013.
-
Highly comparative time-series analysis: The empirical structure of time series and their methods
Authors:
Ben D. Fulcher,
Max A. Little,
Nick S. Jones
Abstract:
The process of collecting and organizing sets of observations represents a common theme throughout the history of science. However, despite the ubiquity of scientists measuring, recording, and analyzing the dynamics of different processes, an extensive organization of scientific time-series data and analysis methods has never been performed. Addressing this, annotated collections of over 35 000 re…
▽ More
The process of collecting and organizing sets of observations represents a common theme throughout the history of science. However, despite the ubiquity of scientists measuring, recording, and analyzing the dynamics of different processes, an extensive organization of scientific time-series data and analysis methods has never been performed. Addressing this, annotated collections of over 35 000 real-world and model-generated time series and over 9000 time-series analysis algorithms are analyzed in this work. We introduce reduced representations of both time series, in terms of their properties measured by diverse scientific methods, and of time-series analysis methods, in terms of their behaviour on empirical time series, and use them to organize these interdisciplinary resources. This new approach to comparing across diverse scientific data and methods allows us to organize time-series datasets automatically according to their properties, retrieve alternatives to particular analysis methods developed in other scientific disciplines, and automate the selection of useful methods for time-series classification and regression tasks. The broad scientific utility of these tools is demonstrated on datasets of electroencephalograms, self-affine time series, heart beat intervals, speech signals, and others, in each case contributing novel analysis techniques to the existing literature. Highly comparative techniques that compare across an interdisciplinary literature can thus be used to guide more focused research in time-series analysis for applications across the scientific disciplines.
△ Less
Submitted 3 April, 2013;
originally announced April 2013.
-
Convex computation of the maximum controlled invariant set for polynomial control systems
Authors:
Milan Korda,
Didier Henrion,
Colin N. Jones
Abstract:
We characterize the maximum controlled invariant (MCI) set for discrete- as well as continuous-time nonlinear dynamical systems as the solution of an infinite-dimensional linear programming problem. For systems with polynomial dynamics and compact semialgebraic state and control constraints, we describe a hierarchy of finite-dimensional linear matrix inequality (LMI) relaxations whose optimal valu…
▽ More
We characterize the maximum controlled invariant (MCI) set for discrete- as well as continuous-time nonlinear dynamical systems as the solution of an infinite-dimensional linear programming problem. For systems with polynomial dynamics and compact semialgebraic state and control constraints, we describe a hierarchy of finite-dimensional linear matrix inequality (LMI) relaxations whose optimal values converge to the volume of the MCI set; dual to these LMI relaxations are sum-of-squares (SOS) problems providing a converging sequence of outer approximations to the MCI set. The approach is simple and readily applicable in the sense that the approximations are the outcome of a single semidefinite program with no additional input apart from the problem description. A number of numerical examples illustrate the approach.
△ Less
Submitted 26 March, 2013;
originally announced March 2013.
-
Function-Valued Traits in Evolution
Authors:
Pantelis Z. Hadjipantelis,
Nick S. Jones,
John Moriarty,
David A. Springate,
Christopher G. Knight
Abstract:
Many biological characteristics of evolutionary interest are not scalar variables but continuous functions. Given a dataset of function-valued traits generated by evolution, we develop a practical statistical approach to infer ancestral function-valued traits, and estimate the generative evolutionary process. We do this by combining dimension reduction and phylogenetic Gaussian process regressio…
▽ More
Many biological characteristics of evolutionary interest are not scalar variables but continuous functions. Given a dataset of function-valued traits generated by evolution, we develop a practical statistical approach to infer ancestral function-valued traits, and estimate the generative evolutionary process. We do this by combining dimension reduction and phylogenetic Gaussian process regression, a nonparametric procedure which explicitly accounts for known phylogenetic relationships. We test the methods' performance on simulated function-valued data generated from a stochastic evolutionary model. The methods are applied assuming that only the phylogeny and the function-valued traits of taxa at its tips are known. Our method is robust and applicable to a wide range of function-valued data, and also offers a phylogenetically aware method for estimating the autocorrelation of function-valued traits.
△ Less
Submitted 15 December, 2012;
originally announced December 2012.
-
Elliptic aliquot cycles of fixed length
Authors:
Nathan Jones
Abstract:
Silverman and Stange define the notion of an aliquot cycle of length L for a fixed elliptic curve E defined over the rational numbers, and conjecture an order of magnitude for the function which counts such aliquot cycles. In the present note, we combine heuristics of Lang-Trotter with those of Koblitz to refine their conjecture to a precise asymptotic formula by specifying the appropriate constan…
▽ More
Silverman and Stange define the notion of an aliquot cycle of length L for a fixed elliptic curve E defined over the rational numbers, and conjecture an order of magnitude for the function which counts such aliquot cycles. In the present note, we combine heuristics of Lang-Trotter with those of Koblitz to refine their conjecture to a precise asymptotic formula by specifying the appropriate constant. We give a criterion for positivity of the conjectural constant, as well as some numerical evidence for our conjecture.
△ Less
Submitted 5 December, 2012;
originally announced December 2012.
-
Inner approximations of the region of attraction for polynomial dynamical systems
Authors:
Milan Korda,
Didier Henrion,
Colin N. Jones
Abstract:
In a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP lead to a truncated moment problem in the primal and a polynomial sum-of-squares problem in the dual. Thi…
▽ More
In a previous work we developed a convex infinite dimensional linear programming (LP) approach to approximating the region of attraction (ROA) of polynomial dynamical systems subject to compact basic semialgebraic state constraints. Finite dimensional relaxations to the infinite-dimensional LP lead to a truncated moment problem in the primal and a polynomial sum-of-squares problem in the dual. This primal-dual linear matrix inequality (LMI) problem can be solved numerically with standard semidefinite programming solvers, producing a hierarchy of outer (i.e. exterior) approximations of the ROA by polynomial sublevel sets, with a guarantee of almost uniform and set-wise convergence. In this companion paper, we show that our approach is flexible enough to be modified so as to generate a hierarchy of polynomial inner (i.e.\,interior) approximations of the ROA with similar convergence guarantees.
△ Less
Submitted 11 October, 2012;
originally announced October 2012.
-
Ancestral Inference from Functional Data: Statistical Methods and Numerical Examples
Authors:
Pantelis Z. Hadjipantelis,
Nick S. Jones,
John Moriarty,
David Springate,
Christopher G. Knight
Abstract:
Many biological characteristics of evolutionary interest are not scalar variables but continuous functions. Here we use phylogenetic Gaussian process regression to model the evolution of simulated function-valued traits. Given function-valued data only from the tips of an evolutionary tree and utilising independent principal component analysis (IPCA) as a method for dimension reduction, we constru…
▽ More
Many biological characteristics of evolutionary interest are not scalar variables but continuous functions. Here we use phylogenetic Gaussian process regression to model the evolution of simulated function-valued traits. Given function-valued data only from the tips of an evolutionary tree and utilising independent principal component analysis (IPCA) as a method for dimension reduction, we construct distributional estimates of ancestral function-valued traits, and estimate parameters describing their evolutionary dynamics.
△ Less
Submitted 2 August, 2012;
originally announced August 2012.
-
Dynamical decoupling of a qubit with always-on control fields
Authors:
N. Cody Jones,
Thaddeus D. Ladd,
Bryan H. Fong
Abstract:
We consider dynamical decoupling schemes in which the qubit is continuously manipulated by a control field at all times. Building on the theory of the Uhrig Dynamical Decoupling sequence (UDD) and its connections to Chebyshev polynomials, we derive a method of always-on control by expressing the UDD control field as a Fourier series. We then truncate this series and numerically optimize the series…
▽ More
We consider dynamical decoupling schemes in which the qubit is continuously manipulated by a control field at all times. Building on the theory of the Uhrig Dynamical Decoupling sequence (UDD) and its connections to Chebyshev polynomials, we derive a method of always-on control by expressing the UDD control field as a Fourier series. We then truncate this series and numerically optimize the series coefficients for decoupling, constructing the CAFE (Chebyshev and Fourier Expansion) sequence. This approach generates a bounded, continuous control field. We simulate the decoupling effectiveness of our sequence vs. a continuous version of UDD for a qubit coupled to fully-quantum and semi-classical dephasing baths and find comparable performance. We derive filter functions for continuous-control decoupling sequences, and we assess how robust such sequences are to noise on control fields. The methods we employ provide a variety of tools to analyze continuous-control dynamical decoupling sequences.
△ Less
Submitted 10 May, 2012;
originally announced May 2012.
-
Simulating chemistry efficiently on fault-tolerant quantum computers
Authors:
N. Cody Jones,
James D. Whitfield,
Peter L. McMahon,
Man-Hong Yung,
Rodney Van Meter,
Alán Aspuru-Guzik,
Yoshihisa Yamamoto
Abstract:
Quantum computers can in principle simulate quantum physics exponentially faster than their classical counterparts, but some technical hurdles remain. Here we consider methods to make proposed chemical simulation algorithms computationally fast on fault-tolerant quantum computers in the circuit model. Fault tolerance constrains the choice of available gates, so that arbitrary gates required for a…
▽ More
Quantum computers can in principle simulate quantum physics exponentially faster than their classical counterparts, but some technical hurdles remain. Here we consider methods to make proposed chemical simulation algorithms computationally fast on fault-tolerant quantum computers in the circuit model. Fault tolerance constrains the choice of available gates, so that arbitrary gates required for a simulation algorithm must be constructed from sequences of fundamental operations. We examine techniques for constructing arbitrary gates which perform substantially faster than circuits based on the conventional Solovay-Kitaev algorithm [C.M. Dawson and M.A. Nielsen, \emph{Quantum Inf. Comput.}, \textbf{6}:81, 2006]. For a given approximation error $ε$, arbitrary single-qubit gates can be produced fault-tolerantly and using a limited set of gates in time which is $O(\log ε)$ or $O(\log \log ε)$; with sufficient parallel preparation of ancillas, constant average depth is possible using a method we call programmable ancilla rotations. Moreover, we construct and analyze efficient implementations of first- and second-quantized simulation algorithms using the fault-tolerant arbitrary gates and other techniques, such as implementing various subroutines in constant time. A specific example we analyze is the ground-state energy calculation for Lithium hydride.
△ Less
Submitted 2 April, 2012;
originally announced April 2012.
-
Mitochondrial Variability as a Source of Extrinsic Cellular Noise
Authors:
Iain G. Johnston,
Bernadett Gaal,
Ricardo Pires das Neves,
Tariq Enver,
Francisco J. Iborra,
Nick S. Jones
Abstract:
We present a study investigating the role of mitochondrial variability in generating noise in eukaryotic cells. Noise in cellular physiology plays an important role in many fundamental cellular processes, including transcription, translation, stem cell differentiation and response to medication, but the specific random influences that affect these processes have yet to be clearly elucidated. Here…
▽ More
We present a study investigating the role of mitochondrial variability in generating noise in eukaryotic cells. Noise in cellular physiology plays an important role in many fundamental cellular processes, including transcription, translation, stem cell differentiation and response to medication, but the specific random influences that affect these processes have yet to be clearly elucidated. Here we present a mechanism by which variability in mitochondrial volume and functionality, along with cell cycle dynamics, is linked to variability in transcription rate and hence has a profound effect on downstream cellular processes. Our model mechanism is supported by an appreciable volume of recent experimental evidence, and we present the results of several new experiments with which our model is also consistent. We find that noise due to mitochondrial variability can sometimes dominate over other extrinsic noise sources (such as cell cycle asynchronicity) and can significantly affect large-scale observable properties such as cell cycle length and gene expression levels. We also explore two recent regulatory network-based models for stem cell differentiation, and find that extrinsic noise in transcription rate causes appreciable variability in the behaviour of these model systems. These results suggest that mitochondrial and transcriptional variability may be an important mechanism influencing a large variety of cellular processes and properties.
△ Less
Submitted 1 December, 2011; v1 submitted 22 July, 2011;
originally announced July 2011.
-
Dynamical Decoupling in Optical Fibers: Preserving Polarization Qubits from Birefringent Dephasing
Authors:
Bhaskar Roy Bardhan,
Petr M. Anisimov,
Manish K. Gupta,
Katherine L. Brown,
N. Cody Jones,
Hwang Lee,
Jonathan P. Dowling
Abstract:
One of the major challenges in quantum computation has been to preserve the coherence of a quantum system against dephasing effects of the environment. The information stored in photon polarization, for example, is quickly lost due to such dephasing, and it is crucial to preserve the input states when one tries to transmit quantum information encoded in the photons through a communication channel.…
▽ More
One of the major challenges in quantum computation has been to preserve the coherence of a quantum system against dephasing effects of the environment. The information stored in photon polarization, for example, is quickly lost due to such dephasing, and it is crucial to preserve the input states when one tries to transmit quantum information encoded in the photons through a communication channel. We propose a dynamical decoupling sequence to protect photonic qubits from dephasing by integrating wave plates into optical fiber at prescribed locations. We simulate random birefringent noise along realistic lengths of optical fiber and study preservation of polarization qubits through such fibers enhanced with Carr-Purcell-Meiboom-Gill (CPMG) dynamical decoupling. This technique can maintain photonic qubit coherence at high fidelity, making a step towards achieving scalable and useful quantum communication with photonic qubits.
△ Less
Submitted 19 July, 2013; v1 submitted 20 May, 2011;
originally announced May 2011.
-
Advection, diffusion and delivery over a network
Authors:
Luke L. M. Heaton,
Eduardo Lopez,
Philip K. Maini,
Mark D. Fricker,
Nick S. Jones
Abstract:
Many biological, geophysical and technological systems involve the transport of resource over a network. In this paper we present an algorithm for calculating the exact concentration of resource at any point in space or time, given that the resource in the network is lost or delivered out of the network at a given rate, while being subject to advection and diffusion. We consider the implications o…
▽ More
Many biological, geophysical and technological systems involve the transport of resource over a network. In this paper we present an algorithm for calculating the exact concentration of resource at any point in space or time, given that the resource in the network is lost or delivered out of the network at a given rate, while being subject to advection and diffusion. We consider the implications of advection, diffusion and delivery for simple models of glucose delivery through a vascular network, and conclude that in certain circumstances, increasing the volume of blood and the number of glucose transporters can actually decrease the total rate of glucose delivery. We also consider the case of empirically determined fungal networks, and analyze the distribution of resource that emerges as such networks grow over time. Fungal growth involves the expansion of fluid filled vessels, which necessarily involves the movement of fluid. In three empirically determined fungal networks we found that the minimum currents consistent with the observed growth would effectively transport resource throughout the network over the time-scale of growth. This suggests that in foraging fungi, the active transport mechanisms observed in the growing tips may not be required for long range transport.
△ Less
Submitted 10 May, 2011; v1 submitted 9 May, 2011;
originally announced May 2011.
-
Generalized Methods and Solvers for Noise Removal from Piecewise Constant Signals
Authors:
Max A. Little,
Nick S. Jones
Abstract:
Removing noise from piecewise constant (PWC) signals, is a challenging signal processing problem arising in many practical contexts. For example, in exploration geosciences, noisy drill hole records need separating into stratigraphic zones, and in biophysics, jumps between molecular dwell states need extracting from noisy fluorescence microscopy signals. Many PWC denoising methods exist, including…
▽ More
Removing noise from piecewise constant (PWC) signals, is a challenging signal processing problem arising in many practical contexts. For example, in exploration geosciences, noisy drill hole records need separating into stratigraphic zones, and in biophysics, jumps between molecular dwell states need extracting from noisy fluorescence microscopy signals. Many PWC denoising methods exist, including total variation regularization, mean shift clustering, stepwise jump placement, running medians, convex clustering shrinkage and bilateral filtering; conventional linear signal processing methods are fundamentally unsuited however. This paper shows that most of these methods are associated with a special case of a generalized functional, minimized to achieve PWC denoising. The minimizer can be obtained by diverse solver algorithms, including stepwise jump placement, convex programming, finite differences, iterated running medians, least angle regression, regularization path following, and coordinate descent. We introduce novel PWC denoising methods, which, for example, combine global mean shift clustering with local total variation smoothing. Head-to-head comparisons between these methods are performed on synthetic data, revealing that our new methods have a useful role to play. Finally, overlaps between the methods of this paper and others such as wavelet shrinkage, hidden Markov models, and piecewise smooth filtering are touched on.
△ Less
Submitted 4 January, 2011; v1 submitted 22 December, 2010;
originally announced December 2010.
-
Temporal Evolution of Financial Market Correlations
Authors:
Daniel J. Fenn,
Mason A. Porter,
Stacy Williams,
Mark McDonald,
Neil F. Johnson,
Nick S. Jones
Abstract:
We investigate financial market correlations using random matrix theory and principal component analysis. We use random matrix theory to demonstrate that correlation matrices of asset price changes contain structure that is incompatible with uncorrelated random price changes. We then identify the principal components of these correlation matrices and demonstrate that a small number of components a…
▽ More
We investigate financial market correlations using random matrix theory and principal component analysis. We use random matrix theory to demonstrate that correlation matrices of asset price changes contain structure that is incompatible with uncorrelated random price changes. We then identify the principal components of these correlation matrices and demonstrate that a small number of components accounts for a large proportion of the variability of the markets that we consider. We then characterize the time-evolving relationships between the different assets by investigating the correlations between the asset price time series and principal components. Using this approach, we uncover notable changes that occurred in financial markets and identify the assets that were significantly affected by these changes. We show in particular that there was an increase in the strength of the relationships between several different markets following the 2007--2008 credit and liquidity crisis.
△ Less
Submitted 23 May, 2011; v1 submitted 14 November, 2010;
originally announced November 2010.
-
Layered architecture for quantum computing
Authors:
N. Cody Jones,
Rodney Van Meter,
Austin G. Fowler,
Peter L. McMahon,
Jungsang Kim,
Thaddeus D. Ladd,
Yoshihisa Yamamoto
Abstract:
We develop a layered quantum computer architecture, which is a systematic framework for tackling the individual challenges of develo** a quantum computer while constructing a cohesive device design. We discuss many of the prominent techniques for implementing circuit-model quantum computing and introduce several new methods, with an emphasis on employing surface code quantum error correction. In…
▽ More
We develop a layered quantum computer architecture, which is a systematic framework for tackling the individual challenges of develo** a quantum computer while constructing a cohesive device design. We discuss many of the prominent techniques for implementing circuit-model quantum computing and introduce several new methods, with an emphasis on employing surface code quantum error correction. In doing so, we propose a new quantum computer architecture based on optical control of quantum dots. The timescales of physical hardware operations and logical, error-corrected quantum gates differ by several orders of magnitude. By dividing functionality into layers, we can design and analyze subsystems independently, demonstrating the value of our layered architectural approach. Using this concrete hardware platform, we provide resource analysis for executing fault-tolerant quantum algorithms for integer factoring and quantum simulation, finding that the quantum dot architecture we study could solve such problems on the timescale of days.
△ Less
Submitted 27 September, 2012; v1 submitted 24 October, 2010;
originally announced October 2010.
-
Taxonomies of Networks
Authors:
Jukka-Pekka Onnela,
Daniel J. Fenn,
Stephen Reid,
Mason A. Porter,
Peter J. Mucha,
Mark D. Fricker,
Nick S. Jones
Abstract:
The study of networks has grown into a substantial interdisciplinary endeavour that encompasses myriad disciplines in the natural, social, and information sciences. Here we introduce a framework for constructing taxonomies of networks based on their structural similarities. These networks can arise from any of numerous sources: they can be empirical or synthetic, they can arise from multiple reali…
▽ More
The study of networks has grown into a substantial interdisciplinary endeavour that encompasses myriad disciplines in the natural, social, and information sciences. Here we introduce a framework for constructing taxonomies of networks based on their structural similarities. These networks can arise from any of numerous sources: they can be empirical or synthetic, they can arise from multiple realizations of a single process, empirical or synthetic, or they can represent entirely different systems in different disciplines. Since the mesoscopic properties of networks are hypothesized to be important for network function, we base our comparisons on summaries of network community structures. While we use a specific method for uncovering network communities, much of the introduced framework is independent of that choice. After introducing the framework, we apply it to construct a taxonomy for 746 individual networks and demonstrate that our approach usefully identifies similar networks. We also construct taxonomies within individual categories of networks, and in each case we expose non-trivial structure. For example we create taxonomies for similarity networks constructed from both political voting data and financial data. We also construct network taxonomies to compare the social structures of 100 Facebook networks and the growth structures produced by different types of fungi.
△ Less
Submitted 18 May, 2012; v1 submitted 29 June, 2010;
originally announced June 2010.
-
Growth-induced mass flows in fungal networks
Authors:
Luke Heaton,
Eduardo Lopez,
Philip K. Maini,
Mark D. Fricker,
Nick S. Jones
Abstract:
Cord-forming fungi form extensive networks that continuously adapt to maintain an efficient transport system. As osmotically driven water uptake is often distal from the tips, and aqueous fluids are incompressible, we propose that growth induces mass flows across the mycelium, whether or not there are intrahyphal concentration gradients. We imaged the temporal evolution of networks formed by Phane…
▽ More
Cord-forming fungi form extensive networks that continuously adapt to maintain an efficient transport system. As osmotically driven water uptake is often distal from the tips, and aqueous fluids are incompressible, we propose that growth induces mass flows across the mycelium, whether or not there are intrahyphal concentration gradients. We imaged the temporal evolution of networks formed by Phanerochaete velutina, and at each stage calculated the unique set of currents that account for the observed changes in cord volume, while minimising the work required to overcome viscous drag. Predicted speeds were in reasonable agreement with experimental data, and the pressure gradients needed to produce these flows are small. Furthermore, cords that were predicted to carry fast-moving or large currents were significantly more likely to increase in size than cords with slow-moving or small currents. The incompressibility of the fluids within fungi means there is a rapid global response to local fluid movements. Hence velocity of fluid flow is a local signal that conveys quasi-global information about the role of a cord within the mycelium. We suggest that fluid incompressibility and the coupling of growth and mass flow are critical physical features that enable the development of efficient, adaptive, biological transport networks.
△ Less
Submitted 28 May, 2010;
originally announced May 2010.
-
Radiological and Nuclear Security in A Global Context
Authors:
Nick Jones
Abstract:
This paper considers the state of nuclear and radiological security in the UK and abroad and reports on the methods that could be employed by terrorists with radiological or nuclear material to cause destruction. It is shown that despite current safeguards that problems arise due to materials that are unaccounted for and poor implementation of detection regimes in some geographical regions. The…
▽ More
This paper considers the state of nuclear and radiological security in the UK and abroad and reports on the methods that could be employed by terrorists with radiological or nuclear material to cause destruction. It is shown that despite current safeguards that problems arise due to materials that are unaccounted for and poor implementation of detection regimes in some geographical regions. The prospect of a future terrorist event that involves nuclear or radiological materials seems likely despite best efforts of prevention.
△ Less
Submitted 13 May, 2010;
originally announced May 2010.
-
Evolutionary Inference for Function-valued Traits: Gaussian Process Regression on Phylogenies
Authors:
Nick S. Jones,
John Moriarty
Abstract:
Biological data objects often have both of the following features: (i) they are functions rather than single numbers or vectors, and (ii) they are correlated due to phylogenetic relationships. In this paper we give a flexible statistical model for such data, by combining assumptions from phylogenetics with Gaussian processes. We describe its use as a nonparametric Bayesian prior distribution, both…
▽ More
Biological data objects often have both of the following features: (i) they are functions rather than single numbers or vectors, and (ii) they are correlated due to phylogenetic relationships. In this paper we give a flexible statistical model for such data, by combining assumptions from phylogenetics with Gaussian processes. We describe its use as a nonparametric Bayesian prior distribution, both for prediction (placing posterior distributions on ancestral functions) and model selection (comparing rates of evolution across a phylogeny, or identifying the most likely phylogenies consistent with the observed data). Our work is integrative, extending the popular phylogenetic Brownian Motion and Ornstein-Uhlenbeck models to functional data and Bayesian inference, and extending Gaussian Process regression to phylogenies. We provide a brief illustration of the application of our method.
△ Less
Submitted 3 August, 2012; v1 submitted 26 April, 2010;
originally announced April 2010.
-
Steps and bumps: precision extraction of discrete states of molecular machines using physically-based, high-throughput time series analysis
Authors:
Max A. Little,
Bradley C. Steel,
Fan Bai,
Yoshiyuki Sowa,
Thomas Bilyard,
David M. Mueller,
Richard M. Berry,
Nick S. Jones
Abstract:
We report new statistical time-series analysis tools providing significant improvements in the rapid, precision extraction of discrete state dynamics from large databases of experimental observations of molecular machines. By building physical knowledge and statistical innovations into analysis tools, we demonstrate new techniques for recovering discrete state transitions buried in highly correlat…
▽ More
We report new statistical time-series analysis tools providing significant improvements in the rapid, precision extraction of discrete state dynamics from large databases of experimental observations of molecular machines. By building physical knowledge and statistical innovations into analysis tools, we demonstrate new techniques for recovering discrete state transitions buried in highly correlated molecular noise. We demonstrate the effectiveness of our approach on simulated and real examples of step-like rotation of the bacterial flagellar motor and the F1-ATPase enzyme. We show that our method can clearly identify molecular steps, symmetries and cascaded processes that are too weak for existing algorithms to detect, and can do so much faster than existing algorithms. Our techniques represent a major advance in the drive towards automated, precision, highthroughput studies of molecular machine dynamics. Modular, open-source software that implements these techniques is provided at http://www.eng.ox.ac.uk/samp/members/max/software/
△ Less
Submitted 7 April, 2010;
originally announced April 2010.
-
Sparse bayesian step-filtering for high-throughput analysis of molecular machine dynamics
Authors:
Max A. Little,
Nick S. Jones
Abstract:
Nature has evolved many molecular machines such as kinesin, myosin, and the rotary flagellar motor powered by an ion current from the mitochondria. Direct observation of the step-like motion of these machines with time series from novel experimental assays has recently become possible. These time series are corrupted by molecular and experimental noise that requires removal, but classical signal p…
▽ More
Nature has evolved many molecular machines such as kinesin, myosin, and the rotary flagellar motor powered by an ion current from the mitochondria. Direct observation of the step-like motion of these machines with time series from novel experimental assays has recently become possible. These time series are corrupted by molecular and experimental noise that requires removal, but classical signal processing is of limited use for recovering such step-like dynamics. This paper reports simple, novel Bayesian filters that are robust to step-like dynamics in noise, and introduce an L1-regularized, global filter whose sparse solution can be rapidly obtained by standard convex optimization methods. We show these techniques outperforming classical filters on simulated time series in terms of their ability to accurately recover the underlying step dynamics. To show the techniques in action, we extract step-like speed transitions from Rhodobacter sphaeroides flagellar motor time series. Code implementing these algorithms available from http://www.eng.ox.ac.uk/samp/members/max/software/.
△ Less
Submitted 29 March, 2010;
originally announced March 2010.
-
Current New Zealand Activities in Radio Astronomy: Building Capacity in Engineering & Science for the Square Kilometre Array
Authors:
M. Johnston-Hollitt,
V. Kitaev,
C. P. Hollitt,
N. Jones,
T. C. Motleno
Abstract:
We present an update on the NZ-wide advances in the field of Radio Astronomy and Radio Engineering with a particular focus on contributions, not thus reported elsewhere, which hope to either directly or indirectly contribute to New Zealand's engagement with the international Square Kilometre Array (SKA) project. We discuss the status of the SKA project in New Zealand with particular reference to…
▽ More
We present an update on the NZ-wide advances in the field of Radio Astronomy and Radio Engineering with a particular focus on contributions, not thus reported elsewhere, which hope to either directly or indirectly contribute to New Zealand's engagement with the international Square Kilometre Array (SKA) project. We discuss the status of the SKA project in New Zealand with particular reference to activities of the New Zealand Square Kilometre Array Research and Development Consortium.
△ Less
Submitted 5 February, 2010;
originally announced February 2010.
-
The WiggleZ Dark Energy Survey: Survey Design and First Data Release
Authors:
Michael J. Drinkwater,
Russell J. Jurek,
Chris Blake,
David Woods,
Kevin A. Pimbblet,
Karl Glazebrook,
Rob Sharp,
Michael B. Pracy,
Sarah Brough,
Matthew Colless,
Warrick J. Couch,
Scott M. Croom,
Tamara M. Davis,
Duncan Forbes,
Karl Forster,
David G. Gilbank,
Michael Gladders,
Ben Jelliffe,
Nick Jones,
I-hui Li,
Barry Madore,
D. Christopher Martin,
Gregory B. Poole,
Todd Small,
Emily Wisnioski
, et al. (2 additional authors not shown)
Abstract:
The WiggleZ Dark Energy Survey is a survey of 240,000 emission line galaxies in the distant universe, measured with the AAOmega spectrograph on the 3.9-m Anglo-Australian Telescope (AAT). The target galaxies are selected using ultraviolet photometry from the GALEX satellite, with a flux limit of NUV<22.8 mag. The redshift range containing 90% of the galaxies is 0.2<z<1.0. The primary aim of the…
▽ More
The WiggleZ Dark Energy Survey is a survey of 240,000 emission line galaxies in the distant universe, measured with the AAOmega spectrograph on the 3.9-m Anglo-Australian Telescope (AAT). The target galaxies are selected using ultraviolet photometry from the GALEX satellite, with a flux limit of NUV<22.8 mag. The redshift range containing 90% of the galaxies is 0.2<z<1.0. The primary aim of the survey is to precisely measure the scale of baryon acoustic oscillations (BAO) imprinted on the spatial distribution of these galaxies at look-back times of 4-8 Gyrs. Detailed forecasts indicate the survey will measure the BAO scale to better than 2% and the tangential and radial acoustic wave scales to approximately 3% and 5%, respectively.
This paper provides a detailed description of the survey and its design, as well as the spectroscopic observations, data reduction, and redshift measurement techniques employed. It also presents an analysis of the properties of the target galaxies, including emission line diagnostics which show that they are mostly extreme starburst galaxies, and Hubble Space Telescope images, which show they contain a high fraction of interacting or distorted systems. In conjunction with this paper, we make a public data release of data for the first 100,000 galaxies measured for the project.
△ Less
Submitted 23 November, 2009; v1 submitted 22 November, 2009;
originally announced November 2009.
-
Revisiting Date and Party Hubs: Novel Approaches to Role Assignment in Protein Interaction Networks
Authors:
Sumeet Agarwal,
Charlotte M. Deane,
Mason A. Porter,
Nick S. Jones
Abstract:
The idea of 'date' and 'party' hubs has been influential in the study of protein-protein interaction networks. Date hubs display low co-expression with their partners, whilst party hubs have high co-expression. It was proposed that party hubs are local coordinators whereas date hubs are global connectors. Here we show that the reported importance of date hubs to network connectivity can in fact be…
▽ More
The idea of 'date' and 'party' hubs has been influential in the study of protein-protein interaction networks. Date hubs display low co-expression with their partners, whilst party hubs have high co-expression. It was proposed that party hubs are local coordinators whereas date hubs are global connectors. Here we show that the reported importance of date hubs to network connectivity can in fact be attributed to a tiny subset of them. Crucially, these few, extremely central, hubs do not display particularly low expression correlation, undermining the idea of a link between this quantity and hub function. The date/party distinction was originally motivated by an approximately bimodal distribution of hub co-expression; we show that this feature is not always robust to methodological changes. Additionally, topological properties of hubs do not in general correlate with co-expression. Thus, we suggest that a date/party dichotomy is not meaningful and it might be more useful to conceive of roles for protein-protein interactions rather than individual proteins. We find significant correlations between interaction centrality and the functional similarity of the interacting proteins.
△ Less
Submitted 5 May, 2010; v1 submitted 2 November, 2009;
originally announced November 2009.
-
Fifty Years of the Spectrum Problem: Survey and New Results
Authors:
Arnaud Durand,
Neil Jones,
Johann Makowsky,
Malika More
Abstract:
In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and de…
▽ More
In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and descriptive complexity. In this paper we survey developments over the last 50-odd years pertaining to the spectrum problem. Our presentation follows conceptual developments rather than the chronological order. Originally a number theoretic problem, it has been approached in terms of recursion theory, resource bounded complexity theory, classification by complexity of the defining sentences, and finally in terms of structural graph theory. Although Scholz' question was answered in various ways, Asser's question remains open. One appendix paraphrases the contents of several early and not easily accesible papers by G. Asser, A. Mostowski, J. Bennett and S. Mo. Another appendix contains a compendium of questions and conjectures which remain open.
△ Less
Submitted 31 July, 2009;
originally announced July 2009.
-
Dynamical Clustering of Exchange Rates
Authors:
Daniel J. Fenn,
Mason A. Porter,
Peter J. Mucha,
Mark McDonald,
Stacy Williams,
Neil F. Johnson,
Nick S. Jones
Abstract:
We use techniques from network science to study correlations in the foreign exchange (FX) market over the period 1991--2008. We consider an FX market network in which each node represents an exchange rate and each weighted edge represents a time-dependent correlation between the rates. To provide insights into the clustering of the exchange rate time series, we investigate dynamic communities in…
▽ More
We use techniques from network science to study correlations in the foreign exchange (FX) market over the period 1991--2008. We consider an FX market network in which each node represents an exchange rate and each weighted edge represents a time-dependent correlation between the rates. To provide insights into the clustering of the exchange rate time series, we investigate dynamic communities in the network. We show that there is a relationship between an exchange rate's functional role within the market and its position within its community and use a node-centric community analysis to track the time dynamics of this role. This reveals which exchange rates dominate the market at particular times and also identifies exchange rates that experienced significant changes in market role. We also use the community dynamics to uncover major structural changes that occurred in the FX market. Our techniques are general and will be similarly useful for investigating correlations in other markets.
△ Less
Submitted 12 April, 2010; v1 submitted 29 May, 2009;
originally announced May 2009.
-
The Function of Communities in Protein Interaction Networks at Multiple Scales
Authors:
Anna C. F. Lewis,
Nick S. Jones,
Mason A. Porter,
Charlotte M. Deane
Abstract:
Background: If biology is modular then clusters, or communities, of proteins derived using only protein interaction network structure should define protein modules with similar biological roles. We investigate the link between biological modules and network communities in yeast and its relationship to the scale at which we probe the network.
Results: Our results demonstrate that the functional…
▽ More
Background: If biology is modular then clusters, or communities, of proteins derived using only protein interaction network structure should define protein modules with similar biological roles. We investigate the link between biological modules and network communities in yeast and its relationship to the scale at which we probe the network.
Results: Our results demonstrate that the functional homogeneity of communities depends on the scale selected, and that almost all proteins lie in a functionally homogeneous community at some scale. We judge functional homogeneity using a novel test and three independent characterizations of protein function, and find a high degree of overlap between these measures. We show that a high mean clustering coefficient of a community can be used to identify those that are functionally homogeneous. By tracing the community membership of a protein through multiple scales we demonstrate how our approach could be useful to biologists focusing on a particular protein.
Conclusions: We show that there is no one scale of interest in the community structure of the yeast protein interaction network, but we can identify the range of resolution parameters that yield the most functionally coherent communities, and predict which communities are most likely to be functionally homogeneous.
△ Less
Submitted 12 March, 2010; v1 submitted 6 April, 2009;
originally announced April 2009.
-
Guidelines for reporting the use of gel electrophoresis in proteomics
Authors:
Frank Gibson,
Leigh Anderson,
Gyorgy Babnigg,
Mark Baker,
Matthias Berth,
Pierre-Alain Binz,
Andy Borthwick,
Phil Cash,
Billy W Day,
David B Friedman,
Donita Garland,
Howard B Gutstein,
Christine Hoogland,
Neil A Jones,
Alamgir Khan,
Joachim Klose,
Angus I Lamond,
Peter F Lemkin,
Kathryn S Lilley,
Jonathan Minden,
Nicholas J Morris,
Norman W Paton,
Michael R Pisano,
John E Prime,
Thierry Rabilloud
, et al. (5 additional authors not shown)
Abstract:
the MIAPE Gel Electrophoresis (MIAPE-GE) guidelines specify the minimum information that should be provided when reporting the use of n-dimensional gel electrophoresis in a proteomics experiment. Developed through a joint effort between the gel-based analysis working group of the Human Proteome Organisation's Proteomics Standards Initiative (HUPO-PSI; http://www.psidev.info/) and the wider prote…
▽ More
the MIAPE Gel Electrophoresis (MIAPE-GE) guidelines specify the minimum information that should be provided when reporting the use of n-dimensional gel electrophoresis in a proteomics experiment. Developed through a joint effort between the gel-based analysis working group of the Human Proteome Organisation's Proteomics Standards Initiative (HUPO-PSI; http://www.psidev.info/) and the wider proteomics community, they constitute one part of the overall Minimum Information about a Proteomics Experiment (MIAPE) documentation system published last August in Nature Biotechnology
△ Less
Submitted 4 April, 2009;
originally announced April 2009.
-
Using the Memories of Multiscale Machines to Characterize Complex Systems
Authors:
Nick S. Jones
Abstract:
A scheme is presented to extract detailed dynamical signatures from successive measurements of complex systems. Relative entropy based time series tools are used to quantify the gain in predictive power of increasing past knowledge. By lossy compression, data is represented by increasingly coarsened symbolic strings. Each compression resolution is modeled by a machine: a finite memory transition…
▽ More
A scheme is presented to extract detailed dynamical signatures from successive measurements of complex systems. Relative entropy based time series tools are used to quantify the gain in predictive power of increasing past knowledge. By lossy compression, data is represented by increasingly coarsened symbolic strings. Each compression resolution is modeled by a machine: a finite memory transition matrix. Applying the relative entropy tools to each machine's memory exposes correlations within many time scales. Examples are given for cardiac arrhythmias and different heart conditions are distinguished.
△ Less
Submitted 30 December, 2008;
originally announced December 2008.
-
Dynamic communities in multichannel data: An application to the foreign exchange market during the 2007--2008 credit crisis
Authors:
Daniel J. Fenn,
Mason A. Porter,
Mark McDonald,
Stacy Williams,
Neil F. Johnson,
Nick S. Jones
Abstract:
We study the cluster dynamics of multichannel (multivariate) time series by representing their correlations as time-dependent networks and investigating the evolution of network communities. We employ a node-centric approach that allows us to track the effects of the community evolution on the functional roles of individual nodes without having to track entire communities. As an example, we cons…
▽ More
We study the cluster dynamics of multichannel (multivariate) time series by representing their correlations as time-dependent networks and investigating the evolution of network communities. We employ a node-centric approach that allows us to track the effects of the community evolution on the functional roles of individual nodes without having to track entire communities. As an example, we consider a foreign exchange market network in which each node represents an exchange rate and each edge represents a time-dependent correlation between the rates. We study the period 2005-2008, which includes the recent credit and liquidity crisis. Using dynamical community detection, we find that exchange rates that are strongly attached to their community are persistently grouped with the same set of rates, whereas exchange rates that are important for the transfer of information tend to be positioned on the edges of communities. Our analysis successfully uncovers major trading changes that occurred in the market during the credit crisis.
△ Less
Submitted 1 July, 2009; v1 submitted 24 November, 2008;
originally announced November 2008.