-
Minimal Mechanisms of Microtubule Length Regulation in Living Cells
Authors:
Anna C Nelson,
Melissa M Rolls,
Maria-Veronica Ciocanel,
Scott A McKinley
Abstract:
The microtubule cytoskeleton is responsible for sustained, long-range intracellular transport of mRNAs, proteins, and organelles in neurons. Neuronal microtubules must be stable enough to ensure reliable transport, but they also undergo dynamic instability, as their plus and minus ends continuously switch between growth and shrinking. This process allows for continuous rebuilding of the cytoskelet…
▽ More
The microtubule cytoskeleton is responsible for sustained, long-range intracellular transport of mRNAs, proteins, and organelles in neurons. Neuronal microtubules must be stable enough to ensure reliable transport, but they also undergo dynamic instability, as their plus and minus ends continuously switch between growth and shrinking. This process allows for continuous rebuilding of the cytoskeleton and for flexibility in injury settings. Motivated by \textit{in vivo} experimental data on microtubule behavior in \textit{Drosophila} neurons, we propose a mathematical model of dendritic microtubule dynamics, with a focus on understanding microtubule length, velocity, and state-duration distributions. We find that limitations on microtubule growth phases are needed for realistic dynamics, but the type of limiting mechanism leads to qualitatively different responses to plausible experimental perturbations. We therefore propose and investigate two minimally-complex length-limiting factors: limitation due to resource (tubulin) constraints and limitation due to catastrophe of large-length microtubules. We combine simulations of a detailed stochastic model with steady-state analysis of a mean-field ordinary differential equations model to map out qualitatively distinct parameter regimes. This provides a basis for predicting changes in microtubule dynamics, tubulin allocation, and the turnover rate of tubulin within microtubules in different experimental environments.
△ Less
Submitted 4 March, 2024; v1 submitted 20 October, 2023;
originally announced October 2023.
-
Random Vector Functional Link Networks for Function Approximation on Manifolds
Authors:
Deanna Needell,
Aaron A. Nelson,
Rayan Saab,
Palina Salanevich,
Olov Schavemaker
Abstract:
The learning speed of feed-forward neural networks is notoriously slow and has presented a bottleneck in deep learning applications for several decades. For instance, gradient-based learning algorithms, which are used extensively to train neural networks, tend to work slowly when all of the network parameters must be iteratively tuned. To counter this, both researchers and practitioners have tried…
▽ More
The learning speed of feed-forward neural networks is notoriously slow and has presented a bottleneck in deep learning applications for several decades. For instance, gradient-based learning algorithms, which are used extensively to train neural networks, tend to work slowly when all of the network parameters must be iteratively tuned. To counter this, both researchers and practitioners have tried introducing randomness to reduce the learning requirement. Based on the original construction of Igelnik and Pao, single layer neural-networks with random input-to-hidden layer weights and biases have seen success in practice, but the necessary theoretical justification is lacking. In this paper, we begin to fill this theoretical gap. We provide a (corrected) rigorous proof that the Igelnik and Pao construction is a universal approximator for continuous functions on compact domains, with approximation error decaying asymptotically like $O(1/\sqrt{n})$ for the number $n$ of network nodes. We then extend this result to the non-asymptotic setting, proving that one can achieve any desired approximation error with high probability provided $n$ is sufficiently large. We further adapt this randomized neural network architecture to approximate functions on smooth, compact submanifolds of Euclidean space, providing theoretical guarantees in both the asymptotic and non-asymptotic forms. Finally, we illustrate our results on manifolds with numerical experiments.
△ Less
Submitted 26 August, 2024; v1 submitted 30 July, 2020;
originally announced July 2020.
-
The pinnacle set of a permutation
Authors:
Robert Davis,
Sarah A. Nelson,
T. Kyle Petersen,
Bridget E. Tenner
Abstract:
The peak set of a permutation records the indices of its peaks. These sets have been studied in a variety of contexts, including recent work by Billey, Burdzy, and Sagan, which enumerated permutations with prescribed peak sets. In this article, we look at a natural analogue of the peak set of a permutation, instead recording the values of the peaks. We define the "pinnacle set" of a permutation w…
▽ More
The peak set of a permutation records the indices of its peaks. These sets have been studied in a variety of contexts, including recent work by Billey, Burdzy, and Sagan, which enumerated permutations with prescribed peak sets. In this article, we look at a natural analogue of the peak set of a permutation, instead recording the values of the peaks. We define the "pinnacle set" of a permutation w to be the set {w(i) : i is a peak of w}. Although peak sets and pinnacle sets mark the same phenomenon for a given permutation, the behaviors of these sets differ in notable ways as distributions over the symmetric group. In the work below, we characterize admissible pinnacle sets and study various enumerative questions related to these objects.
△ Less
Submitted 13 February, 2020; v1 submitted 18 April, 2017;
originally announced April 2017.
-
Phase retrieval from very few measurements
Authors:
Matthew Fickus,
Dustin G. Mixon,
Aaron A. Nelson,
Yang Wang
Abstract:
In many applications, signals are measured according to a linear process, but the phases of these measurements are often unreliable or not available. To reconstruct the signal, one must perform a process known as phase retrieval. This paper focuses on completely determining signals with as few intensity measurements as possible, and on efficient phase retrieval algorithms from such measurements. F…
▽ More
In many applications, signals are measured according to a linear process, but the phases of these measurements are often unreliable or not available. To reconstruct the signal, one must perform a process known as phase retrieval. This paper focuses on completely determining signals with as few intensity measurements as possible, and on efficient phase retrieval algorithms from such measurements. For the case of complex M-dimensional signals, we construct a measurement ensemble of size 4M-4 which yields injective intensity measurements; this is conjectured to be the smallest such ensemble. For the case of real signals, we devise a theory of "almost" injective intensity measurements, and we characterize such ensembles. Later, we show that phase retrieval from M+1 almost injective intensity measurements is NP-hard, indicating that computationally efficient phase retrieval must come at the price of measurement redundancy.
△ Less
Submitted 26 July, 2013;
originally announced July 2013.
-
Saving phase: Injectivity and stability for phase retrieval
Authors:
Afonso S. Bandeira,
Jameson Cahill,
Dustin G. Mixon,
Aaron A. Nelson
Abstract:
Recent advances in convex optimization have led to new strides in the phase retrieval problem over finite-dimensional vector spaces. However, certain fundamental questions remain: What sorts of measurement vectors uniquely determine every signal up to a global phase factor, and how many are needed to do so? Furthermore, which measurement ensembles lend stability? This paper presents several result…
▽ More
Recent advances in convex optimization have led to new strides in the phase retrieval problem over finite-dimensional vector spaces. However, certain fundamental questions remain: What sorts of measurement vectors uniquely determine every signal up to a global phase factor, and how many are needed to do so? Furthermore, which measurement ensembles lend stability? This paper presents several results that address each of these questions. We begin by characterizing injectivity, and we identify that the complement property is indeed a necessary condition in the complex case. We then pose a conjecture that 4M-4 generic measurement vectors are both necessary and sufficient for injectivity in M dimensions, and we prove this conjecture in the special cases where M=2,3. Next, we shift our attention to stability, both in the worst and average cases. Here, we characterize worst-case stability in the real case by introducing a numerical version of the complement property. This new property bears some resemblance to the restricted isometry property of compressed sensing and can be used to derive a sharp lower Lipschitz bound on the intensity measurement mapping. Localized frames are shown to lack this property (suggesting instability), whereas Gaussian random measurements are shown to satisfy this property with high probability. We conclude by presenting results that use a stochastic noise model in both the real and complex cases, and we leverage Cramer-Rao lower bounds to identify stability with stronger versions of the injectivity characterizations.
△ Less
Submitted 14 October, 2013; v1 submitted 19 February, 2013;
originally announced February 2013.
-
Using Ciliate Operations to construct Chromosome Phylogenies
Authors:
Jacob Herlin,
Anna Nelson,
Marion Scheepers
Abstract:
We develop an algorithm based on three basic DNA editing operations suggested by a model for ciliate micronuclear decryption, to transform a given permutation into another. The number of ciliate operations performed by our algorithm during such a transformation is taken to be the distance between two such permutations. Applying well-known clustering methods to such distance functions enables one t…
▽ More
We develop an algorithm based on three basic DNA editing operations suggested by a model for ciliate micronuclear decryption, to transform a given permutation into another. The number of ciliate operations performed by our algorithm during such a transformation is taken to be the distance between two such permutations. Applying well-known clustering methods to such distance functions enables one to determine phylogenies among the items to which the distance functions apply. As an application of these ideas we explore the relationships among the chromosomes of eight fruitfly (drosophila) species, using the well-known UPGMA algorithm on the distance function provided by our algorithm.
△ Less
Submitted 7 January, 2014; v1 submitted 30 September, 2012;
originally announced October 2012.
-
Random walks on barycentric subdivisions and the Strichartz hexacarpet
Authors:
Matthew Begue,
Daniel J. Kelleher,
Aaron Nelson,
Hugo Panzo,
Ryan Pellico,
Alexander Teplyaev
Abstract:
We investigate the relation between simple random walks on repeated barycentric subdivisions of a triangle and a self-similar fractal, Strichartz hexacarpet, which we introduce. We explore a graph approximation to the hexacarpet in order to establish a graph isomorphism between the hexacarpet approximations and Barycentric subdivisions of the triangle, and discuss various numerical calculations pe…
▽ More
We investigate the relation between simple random walks on repeated barycentric subdivisions of a triangle and a self-similar fractal, Strichartz hexacarpet, which we introduce. We explore a graph approximation to the hexacarpet in order to establish a graph isomorphism between the hexacarpet approximations and Barycentric subdivisions of the triangle, and discuss various numerical calculations performed on the these graphs. We prove that equilateral barycentric subdivisions converge to a self-similar geodesic metric space of dimension log(6)/log(2), or about 2.58. Our numerical experiments give evidence to a conjecture that the simple random walks on the equilateral barycentric subdivisions converge to a continuous diffusion process on the Strichartz hexacarpet corresponding to a different spectral dimension (estimated numerically to be about 1.74).
△ Less
Submitted 27 May, 2012; v1 submitted 28 June, 2011;
originally announced June 2011.
-
On completing three cyclic transversals to a latin square
Authors:
Nicholas J. Cavenagh,
Carlo Hamalainen,
Adrian M. Nelson
Abstract:
Let $P$ be a partial latin square of prime order $p>7$ consisting of three cyclically generated transversals. Specifically, let $P$ be a partial latin square of the form: \[ P=\{(i,c+i,s+i),(i,c'+i,s'+i),(i,c''+i,s''+i)\mid 0 \leq i< p\} \] for some distinct $c,c',c''$ and some distinct $s,s',s''$. In this paper we show that any such $P$ completes to a latin square which is diagonally cyclic.
Let $P$ be a partial latin square of prime order $p>7$ consisting of three cyclically generated transversals. Specifically, let $P$ be a partial latin square of the form: \[ P=\{(i,c+i,s+i),(i,c'+i,s'+i),(i,c''+i,s''+i)\mid 0 \leq i< p\} \] for some distinct $c,c',c''$ and some distinct $s,s',s''$. In this paper we show that any such $P$ completes to a latin square which is diagonally cyclic.
△ Less
Submitted 3 December, 2007;
originally announced December 2007.
-
Coherent Production of Pairs of Parabosons of Order 2
Authors:
Nicholas Frascino,
Charles A. Nelson
Abstract:
A parameter-free statistical model is used to study multiplicity signatures for coherent production of charged-pairs of parabosons of order p=2 in comparison with those arising in the case of ordinary bosons, p=1. Two non-negative real parameters arise because "ab" and "ba" are fundamentally distinct pair operators of charge "+1", A-quanta and charge "-1", B-quanta parabosons. In 3D plots of P(q…
▽ More
A parameter-free statistical model is used to study multiplicity signatures for coherent production of charged-pairs of parabosons of order p=2 in comparison with those arising in the case of ordinary bosons, p=1. Two non-negative real parameters arise because "ab" and "ba" are fundamentally distinct pair operators of charge "+1", A-quanta and charge "-1", B-quanta parabosons. In 3D plots of P(q)_m = "The probability of m paraboson charged-pairs and q positive parabosons" versus < n > and < n^2 >, the p=1 curve is found to lie on the relatively narrow 2D p=2 surface.
△ Less
Submitted 5 October, 2004; v1 submitted 7 August, 2003;
originally announced August 2003.
-
Eigenstates of Paraparticle Creation Operators
Authors:
Sicong Jing,
Charles A. Nelson
Abstract:
Eigenstates of the parabose and parafermi creation operators are constructed. In the Dirac contour representation, the parabose eigenstates correspond to the dual vectors of the parabose coherent states. In order $p=2$, conserved-charge parabose creation operator eigenstates are also constructed. The contour forms of the associated resolutions of unity are obtained.
Eigenstates of the parabose and parafermi creation operators are constructed. In the Dirac contour representation, the parabose eigenstates correspond to the dual vectors of the parabose coherent states. In order $p=2$, conserved-charge parabose creation operator eigenstates are also constructed. The contour forms of the associated resolutions of unity are obtained.
△ Less
Submitted 7 July, 1998;
originally announced July 1998.
-
Dirac's Contour Representation for Paraparticles
Authors:
Sicong Jing,
Charles A. Nelson
Abstract:
Dirac's contour representation is extended to parabose and parafermi systems by use of deformed algebra techniques. In this analytic representation the action of the paraparticle annihilation operator is equivalent to a deformed differentiation which encodes the statistics of the paraparticle. In the parafermi case, the derivative's ket-domain is degree $p$ polynomials.
Dirac's contour representation is extended to parabose and parafermi systems by use of deformed algebra techniques. In this analytic representation the action of the paraparticle annihilation operator is equivalent to a deformed differentiation which encodes the statistics of the paraparticle. In the parafermi case, the derivative's ket-domain is degree $p$ polynomials.
△ Less
Submitted 7 July, 1998;
originally announced July 1998.
-
On the Two q-Analogue Logarithmic Functions
Authors:
Charles A. Nelson,
Michael G. Gartley
Abstract:
There is a simple, multi-sheet Riemann surface associated with e_q(z)'s inverse function ln_q(w) for 0< q < 1. A principal sheet for ln_q(w) can be defined. However, the topology of the Riemann surface for ln_q(w) changes each time "q" increases above the collision point of a pair of the turning points of e_q(x). There is also a power series representation for ln_q(1+w). An infinite-product repr…
▽ More
There is a simple, multi-sheet Riemann surface associated with e_q(z)'s inverse function ln_q(w) for 0< q < 1. A principal sheet for ln_q(w) can be defined. However, the topology of the Riemann surface for ln_q(w) changes each time "q" increases above the collision point of a pair of the turning points of e_q(x). There is also a power series representation for ln_q(1+w). An infinite-product representation for e_q(z) is used to obtain the ordinary natural logarithm ln{e_q(z)} and the values of sum rules for the zeros "z_i" of e_q(z). For |z|<|z_1|, e_q(z)=exp{b(z)} where b(z) is a simple, explicit power series in terms of values of these sum rules. The values of the sum rules for the q-trigonometric functions, sin_q(z) and cos_q(z), are q-deformations of the usual Bernoulli numbers.
△ Less
Submitted 27 September, 1996; v1 submitted 19 August, 1996;
originally announced August 1996.