-
Optimal Control of Underdamped Systems: An Analytic Approach
Authors:
Julia Sanders,
Marco Baldovin,
Paolo Muratore-Ginanneschi
Abstract:
Optimal control theory deals with finding protocols to steer a system between assigned initial and final states, such that a trajectory-dependent cost function is minimized. The application of optimal control to stochastic systems is an open and challenging research frontier, with a spectrum of applications ranging from stochastic thermodynamics, to biophysics and data science. Among these, the de…
▽ More
Optimal control theory deals with finding protocols to steer a system between assigned initial and final states, such that a trajectory-dependent cost function is minimized. The application of optimal control to stochastic systems is an open and challenging research frontier, with a spectrum of applications ranging from stochastic thermodynamics, to biophysics and data science. Among these, the design of nanoscale electronic components motivates the study of underdamped dynamics, leading to practical and conceptual difficulties.
In this work, we develop analytic techniques to determine protocols steering finite time transitions at minimum dissipation for stochastic underdamped dynamics. For transitions between Gaussian states, we prove that optimal protocols satisfy a Lyapunov equation, a central tool in stability analysis of dynamical systems. For transitions between states described by general Maxwell-Boltzmann distributions, we introduce an infinite-dimensional version of the Poincaré-Linstedt multiscale perturbation theory around the overdamped limit. This technique fundamentally improves the standard multiscale expansion. Indeed, it enables the explicit computation of momentum cumulants, whose variation in time is a distinctive trait of underdamped dynamics and is directly accessible to experimental observation. Our results allow us to numerically study cost asymmetries in expansion and compression processes and make predictions for inertial corrections to optimal protocols in the Landauer erasure problem at the nanoscale.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Score-Aware Policy-Gradient Methods and Performance Guarantees using Local Lyapunov Conditions: Applications to Product-Form Stochastic Networks and Queueing Systems
Authors:
Céline Comte,
Matthieu Jonckheere,
Jaron Sanders,
Albert Senen-Cerda
Abstract:
In this paper, we introduce a policy-gradient method for model-based reinforcement learning (RL) that exploits a type of stationary distributions commonly obtained from Markov decision processes (MDPs) in stochastic networks, queueing systems, and statistical mechanics. Specifically, when the stationary distribution of the MDP belongs to an exponential family that is parametrized by policy paramet…
▽ More
In this paper, we introduce a policy-gradient method for model-based reinforcement learning (RL) that exploits a type of stationary distributions commonly obtained from Markov decision processes (MDPs) in stochastic networks, queueing systems, and statistical mechanics. Specifically, when the stationary distribution of the MDP belongs to an exponential family that is parametrized by policy parameters, we can improve existing policy gradient methods for average-reward RL. Our key identification is a family of gradient estimators, called score-aware gradient estimators (SAGEs), that enable policy gradient estimation without relying on value-function approximation in the aforementioned setting. This contrasts with other common policy-gradient algorithms such as actor-critic methods. We first show that policy-gradient with SAGE locally converges, including in cases when the objective function is nonconvex, presents multiple maximizers, and the state space of the MDP is not finite. Under appropriate assumptions such as starting sufficiently close to a maximizer, the policy under stochastic gradient ascent with SAGE has an overwhelming probability of converging to the associated optimal policy. Other key assumptions are that a local Lyapunov function exists, and a nondegeneracy property of the Hessian of the objective function holds locally around a maximizer. Furthermore, we conduct a numerical comparison between a SAGE-based policy-gradient method and an actor-critic method. We specifically focus on several examples inspired from stochastic networks, queueing systems, and models derived from statistical physics, where parametrizable exponential families are commonplace. Our results demonstrate that a SAGE-based method finds close-to-optimal policies faster than an actor-critic method.
△ Less
Submitted 14 June, 2024; v1 submitted 5 December, 2023;
originally announced December 2023.
-
NFT formalised
Authors:
Martha N. Kamkuemah,
J. W. Sanders
Abstract:
Non-fungible tokens, NFT, have been used to record ownership of real estate, art, digital assets, and more recently to serve legal notice. They provide an important and accessible non-financial use of cryptocurrency's blockchain but are peculiar because ownership by NFT confers no rights over the asset. This work shows that it is possible to specify that peculiar property by combining functional a…
▽ More
Non-fungible tokens, NFT, have been used to record ownership of real estate, art, digital assets, and more recently to serve legal notice. They provide an important and accessible non-financial use of cryptocurrency's blockchain but are peculiar because ownership by NFT confers no rights over the asset. This work shows that it is possible to specify that peculiar property by combining functional and epistemic properties. Suitability of the specification is evaluated by proof that the blockchain implementation conforms to it, and by its use in an analysis of serving legal notice.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Matrix concentration inequalities with dependent summands and sharp leading-order terms
Authors:
Alexander Van Werde,
Jaron Sanders
Abstract:
We establish sharp concentration inequalities for sums of dependent random matrices. Our results concern two models. First, a model where summands are generated by a $ψ$-mixing Markov chain. Second, a model where summands are expressed as deterministic matrices multiplied by scalar random variables. In both models, the leading-order term is provided by free probability theory. This leading-order t…
▽ More
We establish sharp concentration inequalities for sums of dependent random matrices. Our results concern two models. First, a model where summands are generated by a $ψ$-mixing Markov chain. Second, a model where summands are expressed as deterministic matrices multiplied by scalar random variables. In both models, the leading-order term is provided by free probability theory. This leading-order term is often asymptotically sharp and, in particular, does not suffer from the logarithmic dimensional dependence which is present in previous results such as the matrix Khintchine inequality.
A key challenge in the proof is that techniques based on classical cumulants, which can be used in a setting with independent summands, fail to produce efficient estimates in the Markovian model. Our approach is instead based on Boolean cumulants and a change-of-measure argument.
We discuss applications concerning community detection in Markov chains, random matrices with heavy-tailed entries, and the analysis of random graphs with dependent edges.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Singular value distribution of dense random matrices with block Markovian dependence
Authors:
Jaron Sanders,
Alexander Van Werde
Abstract:
A block Markov chain is a Markov chain whose state space can be partitioned into a finite number of clusters such that the transition probabilities only depend on the clusters. Block Markov chains thus serve as a model for Markov chains with communities. This paper establishes limiting laws for the singular value distributions of the empirical transition matrix and empirical frequency matrix assoc…
▽ More
A block Markov chain is a Markov chain whose state space can be partitioned into a finite number of clusters such that the transition probabilities only depend on the clusters. Block Markov chains thus serve as a model for Markov chains with communities. This paper establishes limiting laws for the singular value distributions of the empirical transition matrix and empirical frequency matrix associated to a sample path of the block Markov chain whenever the length of the sample path is $Θ(n^2)$ with $n$ the size of the state space.
The proof approach is split into two parts. First, we introduce a class of symmetric random matrices with dependent entries called approximately uncorrelated random matrices with variance profile. We establish their limiting eigenvalue distributions by means of the moment method. Second, we develop a coupling argument to show that this general-purpose result applies to the singular value distributions associated with the block Markov chain.
△ Less
Submitted 31 March, 2023; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Spectral norm bounds for block Markov chain random matrices
Authors:
Jaron Sanders,
Albert Senen-Cerda
Abstract:
This paper quantifies the asymptotic order of the largest singular value of a centered random matrix built from the path of a Block Markov Chain (BMC). In a BMC there are $n$ labeled states, each state is associated to one of $K$ clusters, and the probability of a jump depends only on the clusters of the origin and destination. Given a path $X_0, X_1, \ldots, X_{T_n}$ started from equilibrium, we…
▽ More
This paper quantifies the asymptotic order of the largest singular value of a centered random matrix built from the path of a Block Markov Chain (BMC). In a BMC there are $n$ labeled states, each state is associated to one of $K$ clusters, and the probability of a jump depends only on the clusters of the origin and destination. Given a path $X_0, X_1, \ldots, X_{T_n}$ started from equilibrium, we construct a random matrix $\hat{N}$ that records the number of transitions between each pair of states. We prove that if $ω(n) = T_n = o(n^2)$, then $\| \hat{N} - \mathbb{E}[\hat{N}] \| = Ω_{\mathbb{P}}(\sqrt{T_n/n})$. We also prove that if $T_n = Ω(n \ln{n})$, then $\| \hat{N} - \mathbb{E}[\hat{N}] \| = O_{\mathbb{P}}(\sqrt{T_n/n})$ as $n \to \infty$; and if $T_n = ω(n)$, a sparser regime, then $\| \hat{N}_Γ- \mathbb{E}[\hat{N}] \| = O_{\mathbb{P}}(\sqrt{T_n/n})$. Here, $\hat{N}_Γ$ is a regularization that zeroes out entries corresponding to jumps to and from most-often visited states. Together this establishes that the order is $Θ_{\mathbb{P}}(\sqrt{T_n/n})$ for BMCs.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
The Lie algebraic structure of colored networks
Authors:
Fahimeh Mokhtari,
Jan Sanders
Abstract:
In the computation of the normal form of a colored network vector field, following the semigroup(oid) approach in [19], one would like to be able to say something about the structure of the Lie algebra of linear colored network vector fields. Unlike the purely abstract approach in [10], we describe here a concrete algorithm that gives us the Levi decomposition. If we apply this algorithm to a give…
▽ More
In the computation of the normal form of a colored network vector field, following the semigroup(oid) approach in [19], one would like to be able to say something about the structure of the Lie algebra of linear colored network vector fields. Unlike the purely abstract approach in [10], we describe here a concrete algorithm that gives us the Levi decomposition. If we apply this algorithm to a given subalgebra, it does put the elements in the subalgebra in the block form given by the Levi decomposition, but this need not be the Levi decomposition of the given subalgebra. We show that for $N$-dimensional vector fields with C colors (different functions describing different types of cells in the network) this Lie algebra $net_{C,N}$ is isomorphic to the semidirect sum of a semisimple part, consisting of two simple components $\mathfrak{sl}_C$ and $\mathfrak{sl}_B$, with $B=N-C$, which we write as a block-matrix and a solvable part, consisting of two elements representing the identity $C$ in $c\simeq glC$ and B in $b \simeq glB$, and an abelian algebra $a\simeq\mathfrak{Gr}(C,N)$, the Grassmannian, consisting of the $C$-dimensional subspaces of $\mathbb{R}^N$. The methods in this paper can be immediately applied to study the linear maps of colored networks.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Fourth-order dynamics of the damped harmonic oscillator
Authors:
John W. Sanders
Abstract:
It is shown that the classical damped harmonic oscillator belongs to the family of fourth-order Pais-Uhlenbeck oscillators. It follows that the solutions to the damped harmonic oscillator equation make the Pais-Uhlenbeck action stationary. Two systematic approaches are given for deriving the Pais-Uhlenbeck action from the damped harmonic oscillator equation, and it may be possible to use these met…
▽ More
It is shown that the classical damped harmonic oscillator belongs to the family of fourth-order Pais-Uhlenbeck oscillators. It follows that the solutions to the damped harmonic oscillator equation make the Pais-Uhlenbeck action stationary. Two systematic approaches are given for deriving the Pais-Uhlenbeck action from the damped harmonic oscillator equation, and it may be possible to use these methods to identify stationary action principles for other dissipative systems which do not conform to Hamilton's principle. It is also shown that for every damped harmonic oscillator $x$, there exists a two-parameter family of dual oscillators $y$ satisfying the Pais-Uhlenbeck equation. The damped harmonic oscillator and any of its duals can be interpreted as a system of two coupled oscillators with atypical spring stiffnesses (not necessarily positive and real-valued). For overdamped systems, the resulting coupled oscillators should be physically achievable and may have engineering applications. Finally, a new physical interpretation is given for the optimal dam** ratio $ζ=1/\sqrt{2}$ in control theory.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Universal Approximation in Dropout Neural Networks
Authors:
Oxana A. Manita,
Mark A. Peletier,
Jacobus W. Portegies,
Jaron Sanders,
Albert Senen-Cerda
Abstract:
We prove two universal approximation theorems for a range of dropout neural networks. These are feed-forward neural networks in which each edge is given a random $\{0,1\}$-valued filter, that have two modes of operation: in the first each edge output is multiplied by its random filter, resulting in a random output, while in the second each edge output is multiplied by the expectation of its filter…
▽ More
We prove two universal approximation theorems for a range of dropout neural networks. These are feed-forward neural networks in which each edge is given a random $\{0,1\}$-valued filter, that have two modes of operation: in the first each edge output is multiplied by its random filter, resulting in a random output, while in the second each edge output is multiplied by the expectation of its filter, leading to a deterministic output. It is common to use the random mode during training and the deterministic mode during testing and prediction.
Both theorems are of the following form: Given a function to approximate and a threshold $\varepsilon>0$, there exists a dropout network that is $\varepsilon$-close in probability and in $L^q$. The first theorem applies to dropout networks in the random mode. It assumes little on the activation function, applies to a wide class of networks, and can even be applied to approximation schemes other than neural networks. The core is an algebraic property that shows that deterministic networks can be exactly matched in expectation by random networks. The second theorem makes stronger assumptions and gives a stronger result. Given a function to approximate, it provides existence of a network that approximates in both modes simultaneously. Proof components are a recursive replacement of edges by independent copies, and a special first-layer replacement that couples the resulting larger network to the input.
The functions to be approximated are assumed to be elements of general normed spaces, and the approximations are measured in the corresponding norms. The networks are constructed explicitly. Because of the different methods of proof, the two results give independent insight into the approximation properties of random dropout networks. With this, we establish that dropout neural networks broadly satisfy a universal-approximation property.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Asymptotic convergence rate of Dropout on shallow linear neural networks
Authors:
Albert Senen-Cerda,
Jaron Sanders
Abstract:
We analyze the convergence rate of gradient flows on objective functions induced by Dropout and Dropconnect, when applying them to shallow linear Neural Networks (NNs) - which can also be viewed as doing matrix factorization using a particular regularizer. Dropout algorithms such as these are thus regularization techniques that use 0,1-valued random variables to filter weights during training in o…
▽ More
We analyze the convergence rate of gradient flows on objective functions induced by Dropout and Dropconnect, when applying them to shallow linear Neural Networks (NNs) - which can also be viewed as doing matrix factorization using a particular regularizer. Dropout algorithms such as these are thus regularization techniques that use 0,1-valued random variables to filter weights during training in order to avoid coadaptation of features. By leveraging a recent result on nonconvex optimization and conducting a careful analysis of the set of minimizers as well as the Hessian of the loss function, we are able to obtain (i) a local convergence proof of the gradient flow and (ii) a bound on the convergence rate that depends on the data, the dropout probability, and the width of the NN. Finally, we compare this theoretical bound to numerical simulations, which are in qualitative agreement with the convergence bound and match it when starting sufficiently close to a minimizer.
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
Modeling Rydberg Gases using Random Sequential Adsorption on Random Graphs
Authors:
Daan Rutten,
Jaron Sanders
Abstract:
The statistics of strongly interacting, ultracold Rydberg gases are governed by the interplay of two factors: geometrical restrictions induced by blockade effects, and quantum mechanical effects. To shed light on their relative roles in the statistics of Rydberg gases, we compare three models in this paper: a quantum mechanical model describing the excitation dynamics within a Rydberg gas, a Rando…
▽ More
The statistics of strongly interacting, ultracold Rydberg gases are governed by the interplay of two factors: geometrical restrictions induced by blockade effects, and quantum mechanical effects. To shed light on their relative roles in the statistics of Rydberg gases, we compare three models in this paper: a quantum mechanical model describing the excitation dynamics within a Rydberg gas, a Random Sequential Adsorption (RSA) process on a Random Geometric Graph (RGG), and a RSA process on a Decomposed Random Intersection Graph (DRIG). The latter model is new, and refers to choosing a particular subgraph of a mixture of two other random graphs. Contrary to the former two models, it lends itself for a rigorous mathematical analysis; and it is built specifically to have particular structural properties of a RGG. We establish for it a fluid limit describing the time-evolution of number of Rydberg atoms, and show numerically that the expression remains accurate across a wider range of particle densities than an earlier approach based on an RSA process on an Erdos-Renyi Random Graph (ERRG). Finally, we also come up with a new heuristic using random graphs that gives a recursion to describe a normalized pair-correlation function of a Rydberg gas. Our results suggest that even without dissipation, on long time scales the statistics are affected most by the geometrical restrictions induced by blockade effects, while on short time scales the statistics are affected most by quantum mechanical effects.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
Normal form for maps with nilpotent linear part
Authors:
Fahimeh Mokhtari,
Ernst Roell,
Jan Sanders
Abstract:
The normal form for an n-dimensional map with irreducible nilpotent linear part is determined using sl2-representation theory. We sketch by example how the reducible case can also be treated in an algorithmic manner. The construction (and proof) of the sl2-triple from the nilpotent linear part is more complicated than one would hope for, but once the abstract sl2 theory is in place, both the descr…
▽ More
The normal form for an n-dimensional map with irreducible nilpotent linear part is determined using sl2-representation theory. We sketch by example how the reducible case can also be treated in an algorithmic manner. The construction (and proof) of the sl2-triple from the nilpotent linear part is more complicated than one would hope for, but once the abstract sl2 theory is in place, both the description of the normal form and the computational splitting to compute the generator of the coordinate transformation can be handled explicitly in terms of the nilpotent linear part without the explicit knowledge of the triple. If one wishes one can compute the normal form such that it is guaranteed to lie in the kernel of an operator and one can be sure that this is really a normal form with respect to the nilpotent linear part; one can state that the normal form is in sl2-style. Although at first sight the normal form theory for maps is more complicated than for vector fields in the nilpotent case, it turns out that the final result is much better. Where in the vector field case one runs into invariant theoretical problems when the dimension gets larger if one wants to describe the general form of the normal form, for maps we obtain results without any restrictions on the dimension. In the literature only the 2-dimensional nilpotent case has been described sofar, as far as we know.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
Almost Sure Convergence of Dropout Algorithms for Neural Networks
Authors:
Albert Senen-Cerda,
Jaron Sanders
Abstract:
We investigate the convergence and convergence rate of stochastic training algorithms for Neural Networks (NNs) that have been inspired by Dropout (Hinton et al., 2012). With the goal of avoiding overfitting during training of NNs, dropout algorithms consist in practice of multiplying the weight matrices of a NN componentwise by independently drawn random matrices with $\{0, 1 \}$-valued entries d…
▽ More
We investigate the convergence and convergence rate of stochastic training algorithms for Neural Networks (NNs) that have been inspired by Dropout (Hinton et al., 2012). With the goal of avoiding overfitting during training of NNs, dropout algorithms consist in practice of multiplying the weight matrices of a NN componentwise by independently drawn random matrices with $\{0, 1 \}$-valued entries during each iteration of Stochastic Gradient Descent (SGD). This paper presents a probability theoretical proof that for fully-connected NNs with differentiable, polynomially bounded activation functions, if we project the weights onto a compact set when using a dropout algorithm, then the weights of the NN converge to a unique stationary point of a projected system of Ordinary Differential Equations (ODEs). After this general convergence guarantee, we go on to investigate the convergence rate of dropout. Firstly, we obtain generic sample complexity bounds for finding $ε$-stationary points of smooth nonconvex functions using SGD with dropout that explicitly depend on the dropout probability. Secondly, we obtain an upper bound on the rate of convergence of Gradient Descent (GD) on the limiting ODEs of dropout algorithms for NNs with the shape of arborescences of arbitrary depth and with linear activation functions. The latter bound shows that for an algorithm such as Dropout or Dropconnect (Wan et al., 2013), the convergence rate can be impaired exponentially by the depth of the arborescence. In contrast, we experimentally observe no such dependence for wide NNs with just a few dropout layers. We also provide a heuristic argument for this observation. Our results suggest that there is a change of scale of the effect of the dropout probability in the convergence rate that depends on the relative size of the width of the NN compared to its depth.
△ Less
Submitted 23 March, 2023; v1 submitted 6 February, 2020;
originally announced February 2020.
-
Equivariant decomposition of polynomial vector fields
Authors:
Fahimeh Mokhtari,
Jan A. Sanders
Abstract:
To compute the unique formal normal form of families of vector fields with nilpotent linear part, we choose a basis of the Lie algebra consisting of orbits under the linear nilpotent. This creates a new problem: to find explicit formulas for the structure constants in this new basis. These are well known in the 2D case, and recently expressions were found for the 3D case by ad hoc methods. The goa…
▽ More
To compute the unique formal normal form of families of vector fields with nilpotent linear part, we choose a basis of the Lie algebra consisting of orbits under the linear nilpotent. This creates a new problem: to find explicit formulas for the structure constants in this new basis. These are well known in the 2D case, and recently expressions were found for the 3D case by ad hoc methods. The goal of the present paper is to formulate a systematic approach to this calculation.
We propose to do this using a rational method for the inversion of the Clebsch-Gordan coefficients. We illustrate the method on a family of 3D vector fields and compute the unique formal normal form for the Euler family both in the 2D and 3D case.
△ Less
Submitted 26 September, 2019; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Markov chains and hitting times for error accumulation in quantum circuits
Authors:
Long Ma,
Jaron Sanders
Abstract:
We study a classical model for the accumulation of errors in multi-qubit quantum computations. By modeling the error process in a quantum computation using two coupled Markov chains, we are able to capture a weak form of time-dependency between errors in the past and future. By subsequently using techniques from the field of discrete probability theory, we calculate the probability that error quan…
▽ More
We study a classical model for the accumulation of errors in multi-qubit quantum computations. By modeling the error process in a quantum computation using two coupled Markov chains, we are able to capture a weak form of time-dependency between errors in the past and future. By subsequently using techniques from the field of discrete probability theory, we calculate the probability that error quantities such as the fidelity and trace distance exceed a threshold analytically. The formulae cover fairly generic error distributions, cover multi-qubit scenarios, and are applicable to e.g. the randomized benchmarking protocol. To combat the numerical challenge that may occur when evaluating our expressions, we additionally provide an analytical bound on the error probabilities that is of lower numerical complexity. Besides this, we study a model describing continuous errors accumulating in a single qubit. Finally, taking inspiration from the field of operations research, we illustrate how our expressions can be used to e.g. decide how many gates one can apply before too many errors accumulate with high probability, and how one can lower the rate of error accumulation in existing circuits through simulated annealing.
△ Less
Submitted 23 April, 2021; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Clustering in Block Markov Chains
Authors:
Jaron Sanders,
Alexandre Proutière,
Se-Young Yun
Abstract:
This paper considers cluster detection in Block Markov Chains (BMCs). These Markov chains are characterized by a block structure in their transition matrix. More precisely, the $n$ possible states are divided into a finite number of $K$ groups or clusters, such that states in the same cluster exhibit the same transition rates to other states. One observes a trajectory of the Markov chain, and the…
▽ More
This paper considers cluster detection in Block Markov Chains (BMCs). These Markov chains are characterized by a block structure in their transition matrix. More precisely, the $n$ possible states are divided into a finite number of $K$ groups or clusters, such that states in the same cluster exhibit the same transition rates to other states. One observes a trajectory of the Markov chain, and the objective is to recover, from this observation only, the (initially unknown) clusters. In this paper we devise a clustering procedure that accurately, efficiently, and provably detects the clusters. We first derive a fundamental information-theoretical lower bound on the detection error rate satisfied under any clustering algorithm. This bound identifies the parameters of the BMC, and trajectory lengths, for which it is possible to accurately detect the clusters. We next develop two clustering algorithms that can together accurately recover the cluster structure from the shortest possible trajectories, whenever the parameters allow detection. These algorithms thus reach the fundamental detectability limit, and are optimal in that sense.
△ Less
Submitted 29 July, 2019; v1 submitted 26 December, 2017;
originally announced December 2017.
-
A Generalization of Schur's Theorem
Authors:
Jon Henry Sanders
Abstract:
This paper is an excerpt from the author's 1968 PhD dissertation [Yale University, 1968] in which the (now) well-known result, commonly known as the Folkman-Rado-Sanders theorem, is proved. The proof uses (finite) alternating sums of integers and an 'iterated Ramsey theorem' in a way analogous to the proof of Schur's theorem using differences of integers and Ramsey's theorem for the coloring of th…
▽ More
This paper is an excerpt from the author's 1968 PhD dissertation [Yale University, 1968] in which the (now) well-known result, commonly known as the Folkman-Rado-Sanders theorem, is proved. The proof uses (finite) alternating sums of integers and an 'iterated Ramsey theorem' in a way analogous to the proof of Schur's theorem using differences of integers and Ramsey's theorem for the coloring of the edges of a complete graph. The proof predates all others except J. Folkman, who based his proof on van der Waerden's theorem. The paper also contains the first published statement of the countable version of the theorem, which came to be misattributed to Graham and Rothschild, but predated their statement by three years.
△ Less
Submitted 10 December, 2017;
originally announced December 2017.
-
Circuit Preserving Edge Maps II
Authors:
Jon Henry Sanders
Abstract:
The results obtained in this paper grew from an attempt to generalize the main theorem of [1]. There it was shown that any circuit injection (a 1-1 onto edge map f such that if C is a circuit then f(C) is a circuit) from a 3-connected, not necessarily finite graph G onto a graph H is induced by a vertex isomorphism, where H is assumed to not have any isolated vertices. In the present article we ex…
▽ More
The results obtained in this paper grew from an attempt to generalize the main theorem of [1]. There it was shown that any circuit injection (a 1-1 onto edge map f such that if C is a circuit then f(C) is a circuit) from a 3-connected, not necessarily finite graph G onto a graph H is induced by a vertex isomorphism, where H is assumed to not have any isolated vertices. In the present article we examine the situation when the 1-1 condition is dropped (Chapter 1). An interesting result then is that the theorem remains true for finite (3-connected) graphs G but not for infinite G. In Chapter 2 we retain the 1-1 condition but allow the image of f to be first an arbitrary matroid and second a binary matroid. An interesting result then is the following. Let G be a graph of even order. Then the statement "no nontrivial map f:=>M exists, where M is a binary matroid" is equivalent to "G is Hamiltonian". If G is a graph of odd order, then the statement "no nontrivial map f:G=>M exists, where M is a binary matroid" is equivalent to "G is almost Hamiltonian", where we define a graph G of order n to be almost Hamiltonian if every subset of vertices of order n-1 is contained in some circuit of G.
[1] J.H. Sanders and D. Sanders, Circuit preserving edge maps, J. Combin. Theory Ser. B 22 (1977),91-96.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
Circuit Preserving Edge Maps
Authors:
Jon Henry Sanders,
David Sanders
Abstract:
It is proved that any one-to-one edge map f from a 3-connected graph G onto a graph H, G and H possibly infinite, satisfying f(C) is a circuit in H whenever C is a circuit in G is induced by a vertex isomorphism. This generalizes a result of Whitney which hypothesizes f(C) is a circuit in H if and only if C is a circuit in G.
It is proved that any one-to-one edge map f from a 3-connected graph G onto a graph H, G and H possibly infinite, satisfying f(C) is a circuit in H whenever C is a circuit in G is induced by a vertex isomorphism. This generalizes a result of Whitney which hypothesizes f(C) is a circuit in H if and only if C is a circuit in G.
△ Less
Submitted 27 November, 2017; v1 submitted 26 November, 2017;
originally announced November 2017.
-
Vector potential normal form classification for completely integrable solenoidal nilpotent singularities
Authors:
Majid Gazor,
Fahimeh Mokhtari,
Jan A. Sanders
Abstract:
We introduce a sl_2-invariant family of nonlinear vector fields with a non-semisimple triple zero singularity. In this paper we are concerned with characterization and normal form classification of these vector fields. We show that the family constitutes a Lie algebra structure and each vector field from this family is solenoidal, completely integrable and rotational. All such vector fields share…
▽ More
We introduce a sl_2-invariant family of nonlinear vector fields with a non-semisimple triple zero singularity. In this paper we are concerned with characterization and normal form classification of these vector fields. We show that the family constitutes a Lie algebra structure and each vector field from this family is solenoidal, completely integrable and rotational. All such vector fields share a common quadratic invariant. We provide a Poisson structure for the Lie algebra from which the second invariant for each vector field can be readily derived. We show that each vector field from this family can be uniquely characterized by two alternative representations, one uses a vector potential while the other uses two functionally independent Clebsch potentials. Our normal form results are designed to preserve these structures and representations. The results are implemented in Maple in order to compute vector potential and the Clebsch potential normal forms of a given vector field from this family. Some practical normal form coefficient formulas for degrees of up to four are presented.
△ Less
Submitted 24 November, 2017;
originally announced November 2017.
-
A Theorem on Matroid Homomorphism
Authors:
Jon Henry Sanders
Abstract:
This note generalizes a result contained in a previous paper [ J. Sanders, Circuit preserving edge maps II, J. Combin. Theory Ser. B 42 (1987), 146-155].
This note generalizes a result contained in a previous paper [ J. Sanders, Circuit preserving edge maps II, J. Combin. Theory Ser. B 42 (1987), 146-155].
△ Less
Submitted 21 November, 2017;
originally announced November 2017.
-
Scaling Limits and Generic Bounds for Exploration Processes
Authors:
Paola Bermolen,
Matthieu Jonckheere,
Jaron Sanders
Abstract:
We consider exploration algorithms of the random sequential adsorption type both for homogeneous random graphs and random geometric graphs based on spatial Poisson processes. At each step, a vertex of the graph becomes active and its neighboring nodes become explored. Given an initial number of vertices $N$ growing to infinity, we study statistical properties of the proportion of explored nodes in…
▽ More
We consider exploration algorithms of the random sequential adsorption type both for homogeneous random graphs and random geometric graphs based on spatial Poisson processes. At each step, a vertex of the graph becomes active and its neighboring nodes become explored. Given an initial number of vertices $N$ growing to infinity, we study statistical properties of the proportion of explored nodes in time using scaling limits. We obtain exact limits for homogeneous graphs and prove an explicit central limit theorem for the final proportion of active nodes, known as the \emph{jamming constant}, through a diffusion approximation for the exploration process. We then focus on bounding the trajectories of such exploration processes on random geometric graphs, i.e. random sequential adsorption. As opposed to homogeneous random graphs, these do not allow for a reduction in dimensionality. Instead we build on a fundamental relationship between the number of explored nodes and the discovered volume in the spatial process, and obtain generic bounds: bounds that are independent of the dimension of space and the detailed shape of the volume associated to the discovered node. Lastly, we give two trajectorial interpretations of our bounds by constructing two coupled processes that have the same fluid limits.
△ Less
Submitted 29 December, 2016;
originally announced December 2016.
-
Projection blocks in homogeneous coupled cell networks
Authors:
Eddie Nijholt,
Bob Rink,
Jan Sanders
Abstract:
We introduce a special subset of the graph of a homogeneous coupled cell network, called a projection block, and show that the network obtained from identifying this block to a single point can be used to understand the generic bifurcations of the original network. This technique is then used to describe the bifurcations in a generalized feed-forward network, in which the loop can contain more tha…
▽ More
We introduce a special subset of the graph of a homogeneous coupled cell network, called a projection block, and show that the network obtained from identifying this block to a single point can be used to understand the generic bifurcations of the original network. This technique is then used to describe the bifurcations in a generalized feed-forward network, in which the loop can contain more than one cell.
△ Less
Submitted 15 December, 2016;
originally announced December 2016.
-
Center manifolds of coupled cell networks
Authors:
Eddie Nijholt,
Bob Rink,
Jan Sanders
Abstract:
Dynamical systems with a network structure can display anomalous bifurcations as a generic phenomenon. As an explanation for this it has been noted that homogeneous networks can be realized as quotient networks of so-called fundamental networks. The class of admissible vector fields for these fundamental networks is equal to the class of equivariant vector fields of the regular representation of a…
▽ More
Dynamical systems with a network structure can display anomalous bifurcations as a generic phenomenon. As an explanation for this it has been noted that homogeneous networks can be realized as quotient networks of so-called fundamental networks. The class of admissible vector fields for these fundamental networks is equal to the class of equivariant vector fields of the regular representation of a monoid. Using this insight, we set up a framework for center manifold reduction in fundamental networks and their quotients. We then use this machinery to explain the difference in generic bifurcations between three example networks with identical spectral properties and identical robust synchrony spaces.
△ Less
Submitted 29 March, 2016;
originally announced March 2016.
-
Automorphic Lie Algebras and Cohomology of Root Systems
Authors:
Vincent Knibbeler,
Sara Lombardo,
Jan A. Sanders
Abstract:
A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by integrating cocycles. In this paper we define this cohomology and show its connection with the theory of Automorphic Lie Algebras. Furthermore, we discuss its prope…
▽ More
A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by integrating cocycles. In this paper we define this cohomology and show its connection with the theory of Automorphic Lie Algebras. Furthermore, we discuss its properties: we define the cup product, we show that it can be restricted to symmetric forms, that it is equivariant with respect to the automorphism group of the root system, and finally we show acyclicity at dimension two of the symmetric part, which is exactly what is needed to find concrete models for Automorphic Lie Algebras.
Furthermore, we show how the cohomology of root systems finds application beyond the theory of Automorphic Lie Algebras by applying it to the theory of contractions and filtrations of Lie algebras. In particular, we show that contractions associated to Cartan $\mathbb{Z}$-filtrations of simple Lie algebras are classified by $2$-cocycles, due again to the vanishing of the symmetric part of the second cohomology group.
△ Less
Submitted 9 January, 2020; v1 submitted 22 December, 2015;
originally announced December 2015.
-
Hereditary Automorphic Lie Algebras
Authors:
Vincent Knibbeler,
Sara Lombardo,
Jan A. Sanders
Abstract:
We show that Automorphic Lie Algebras which contain a Cartan subalgebra with a constant spectrum, called hereditary, are completely described by 2-cocycles on a classical root system taking only two different values. This observation suggests a novel approach to their classification. By determining the values of the cocycles on opposite roots, we obtain the Killing form and the abelianisation of t…
▽ More
We show that Automorphic Lie Algebras which contain a Cartan subalgebra with a constant spectrum, called hereditary, are completely described by 2-cocycles on a classical root system taking only two different values. This observation suggests a novel approach to their classification. By determining the values of the cocycles on opposite roots, we obtain the Killing form and the abelianisation of the Automorphic Lie Algebra. The results are obtained by studying equivariant vectors on the projective line. As a byproduct, we describe a method to reduce the computation of the infinite dimensional space of said equivariant vectors to a finite dimensional linear computation and the determination of the ring of automorphic functions on the projective line.
△ Less
Submitted 8 December, 2019; v1 submitted 19 November, 2015;
originally announced November 2015.
-
Optimality gaps in asymptotic dimensioning of many-server systems
Authors:
Jaron Sanders,
S. C. Borst,
A. J. E. M. Janssen,
J. S. H. van Leeuwaarden
Abstract:
The Quality-and-Efficiency-Driven (QED) regime provides a basis for solving asymptotic dimensioning problems that trade off revenue, costs and service quality. We derive bounds for the optimality gaps that capture the differences between the true optimum and the asymptotic optimum based on the QED approximations. Our bounds generalize earlier results for classical many-server systems. We also appl…
▽ More
The Quality-and-Efficiency-Driven (QED) regime provides a basis for solving asymptotic dimensioning problems that trade off revenue, costs and service quality. We derive bounds for the optimality gaps that capture the differences between the true optimum and the asymptotic optimum based on the QED approximations. Our bounds generalize earlier results for classical many-server systems. We also apply our bounds to a many-server system with threshold control.
△ Less
Submitted 5 November, 2015;
originally announced November 2015.
-
Higher dimensional Automorphic Lie Algebras
Authors:
Vincent Knibbeler,
Sara Lombardo,
Jan A. Sanders
Abstract:
The paper presents the complete classification of Automorphic Lie Algebras based on $\mathfrak{sl}_n (\mathbb{C})$, where the symmetry group $G$ is finite and the orbit is any of the exceptional $G$-orbits in $\overline{\mathbb{C}}$. A key feature of the classification is the study of the algebras in the context of classical invariant theory. This provides on one hand a powerful tool from the comp…
▽ More
The paper presents the complete classification of Automorphic Lie Algebras based on $\mathfrak{sl}_n (\mathbb{C})$, where the symmetry group $G$ is finite and the orbit is any of the exceptional $G$-orbits in $\overline{\mathbb{C}}$. A key feature of the classification is the study of the algebras in the context of classical invariant theory. This provides on one hand a powerful tool from the computational point of view, on the other it opens new questions from an algebraic perspective, which suggest further applications of these algebras, beyond the context of integrable systems. In particular, the research shows that Automorphic Lie Algebras associated to the $\mathbb{T}\mathbb{O}\mathbb{Y}$ groups (tetrahedral, octahedral and icosahedral groups) depend on the group through the automorphic functions only, thus they are group independent as Lie algebras. This can be established by defining a Chevalley normal form for these algebras, generalising this classical notion to the case of Lie algebras over a polynomial ring.
△ Less
Submitted 25 April, 2015;
originally announced April 2015.
-
Sub-Poissonian Statistics of Jamming Limits in Ultracold Rydberg Gases
Authors:
Jaron Sanders,
Matthieu Jonckheere,
Servaas Kokkelmans
Abstract:
Several recent experiments have established by measuring the Mandel Q parameter that the number of Rydberg excitations in ultracold gases exhibits sub-Poissonian statistics. This effect is attributed to the Rydberg blockade that occurs due to the strong interatomic interactions between highly-excited atoms. Because of this blockade effect, the system can end up in a state in which all particles ar…
▽ More
Several recent experiments have established by measuring the Mandel Q parameter that the number of Rydberg excitations in ultracold gases exhibits sub-Poissonian statistics. This effect is attributed to the Rydberg blockade that occurs due to the strong interatomic interactions between highly-excited atoms. Because of this blockade effect, the system can end up in a state in which all particles are either excited or blocked: a jamming limit. We analyze appropriately constructed random-graph models that capture the blockade effect, and derive formulae for the mean and variance of the number of Rydberg excitations in jamming limits. This yields an explicit relationship between the Mandel Q parameter and the blockade effect, and comparison to measurement data shows strong agreement between theory and experiment.
△ Less
Submitted 10 April, 2015;
originally announced April 2015.
-
Scaling limits for exploration algorithms
Authors:
Paola Bermolen,
Matthieu Jonckheere,
Jaron Sanders
Abstract:
We consider an exploration algorithm where at each step, a random number of items become active while related items get explored. Given an initial number of items $N$ growing to infinity and building on a strong homogeneity assumption, we study using scaling limits of Markovian processes statistical properties of the proportion of active nodes in time. This is a companion paper that rigorously est…
▽ More
We consider an exploration algorithm where at each step, a random number of items become active while related items get explored. Given an initial number of items $N$ growing to infinity and building on a strong homogeneity assumption, we study using scaling limits of Markovian processes statistical properties of the proportion of active nodes in time. This is a companion paper that rigorously establishes the claims and heuristics presented in [5].
[5] Jaron Sanders, Matthieu Jonckheere, and Servaas Kokkelmans. Sub-Poissonian statistics of jamming limits in Rydberg gases. 2015. To appear.
△ Less
Submitted 9 April, 2015;
originally announced April 2015.
-
Optimal Admission Control for Many-Server Systems with QED-Driven Revenues
Authors:
Jaron Sanders,
S. C. Borst,
A. J. E. M. Janssen,
J. S. H. van Leeuwaarden
Abstract:
We consider Markovian many-server systems with admission control operating in a QED regime, where the relative utilization approaches unity while the number of servers grows large, providing natural Economies-of-Scale. In order to determine the optimal admission control policy, we adopt a revenue maximization framework, and suppose that the revenue rate attains a maximum when no customers are wait…
▽ More
We consider Markovian many-server systems with admission control operating in a QED regime, where the relative utilization approaches unity while the number of servers grows large, providing natural Economies-of-Scale. In order to determine the optimal admission control policy, we adopt a revenue maximization framework, and suppose that the revenue rate attains a maximum when no customers are waiting and no servers are idling. When the revenue function scales properly with the system size, we show that a nondegenerate optimization problem arises in the limit. Detailed analysis demonstrates that the revenue is maximized by nontrivial policies that bar customers from entering when the queue length exceeds a certain threshold of the order of the typical square-root level variation in the system occupancy. We identify a fundamental equation characterizing the optimal threshold, which we extensively leverage to provide broadly applicable upper/lower bounds for the optimal threshold, establish its monotonicity, and examine its asymptotic behavior, all for general revenue structures. For linear and exponential revenue structures, we present explicit expressions for the optimal threshold.
△ Less
Submitted 11 November, 2014;
originally announced November 2014.
-
Graph fibrations and symmetries of network dynamics
Authors:
Eddie Nijholt,
Bob Rink,
Jan Sanders
Abstract:
Dynamical systems with a network structure can display collective behaviour such as synchronisation. Golubitsky and Stewart observed that all the robustly synchronous dynamics of a network is contained in the dynamics of its quotient networks. DeVille and Lerman have recently shown that the original network and its quotients are related by graph fibrations and hence their dynamics are conjugate. T…
▽ More
Dynamical systems with a network structure can display collective behaviour such as synchronisation. Golubitsky and Stewart observed that all the robustly synchronous dynamics of a network is contained in the dynamics of its quotient networks. DeVille and Lerman have recently shown that the original network and its quotients are related by graph fibrations and hence their dynamics are conjugate. This paper demonstrates the importance of self-fibrations of network graphs. Self-fibrations give rise to symmetries in the dynamics of a network. We show that every homogeneous network admits a lift with self-fibrations and that every robust synchrony in this lift is determined by the symmetries of its dynamics. These symmetries moreover impact the global dynamics of network systems and can be used to explain and predict generic scenarios for synchrony breaking. We also discuss networks with interior symmetries and nonhomogeneous networks.
△ Less
Submitted 22 October, 2014;
originally announced October 2014.
-
Automorphic Lie Algebras with dihedral symmetry
Authors:
Vincent Knibbeler,
Sara Lombardo,
Jan A Sanders
Abstract:
The concept of Automorphic Lie Algebras arises in the context of reduction groups introduced in the early 1980s in the field of integrable systems. Automorphic Lie Algebras are obtained by imposing a discrete group symmetry on a current algebra of Krichever-Novikov type. Past work shows remarkable uniformity between algebras associated to different reduction groups. For example, if the base Lie al…
▽ More
The concept of Automorphic Lie Algebras arises in the context of reduction groups introduced in the early 1980s in the field of integrable systems. Automorphic Lie Algebras are obtained by imposing a discrete group symmetry on a current algebra of Krichever-Novikov type. Past work shows remarkable uniformity between algebras associated to different reduction groups. For example, if the base Lie algebra is $\mathfrak{sl}_2(\mathbb{C})$ and the poles of the Automorphic Lie Algebra are restricted to an exceptional orbit of the symmetry group, changing the reduction group does not affect the Lie algebra structure. In the present research we fix the reduction group to be the dihedral group and vary the orbit of poles as well as the group action on the base Lie algebra. We find a uniform description of Automorphic Lie Algebras with dihedral symmetry, valid for poles at exceptional and generic orbits.
△ Less
Submitted 10 October, 2014;
originally announced October 2014.
-
Wireless network control of interacting Rydberg atoms
Authors:
Jaron Sanders,
Rick van Bijnen,
Edgar Vredenbregt,
Servaas Kokkelmans
Abstract:
We identify a relation between the dynamics of ultracold Rydberg gases in which atoms experience a strong dipole blockade and spontaneous emission, and a stochastic process that models certain wireless random-access networks. We then transfer insights and techniques initially developed for these wireless networks to the realm of Rydberg gases, and explain how the Rydberg gas can be driven into cry…
▽ More
We identify a relation between the dynamics of ultracold Rydberg gases in which atoms experience a strong dipole blockade and spontaneous emission, and a stochastic process that models certain wireless random-access networks. We then transfer insights and techniques initially developed for these wireless networks to the realm of Rydberg gases, and explain how the Rydberg gas can be driven into crystal formations using our understanding of wireless networks. Finally, we propose a method to determine Rabi frequencies (laser intensities) such that particles in the Rydberg gas are excited with specified target excitation probabilities, providing control over mixed-state populations.
△ Less
Submitted 30 April, 2014; v1 submitted 12 December, 2013;
originally announced December 2013.
-
Scaled control in the QED regime
Authors:
A. J. E. M. Janssen,
J. S. H. van Leeuwaarden,
Jaron Sanders
Abstract:
We develop many-server asymptotics in the QED regime for models with admission control. The admission control, designed to reduce the incoming traffic in periods of congestion, scales with the size of the system. For a class of Markovian models with this scaled control, we identify the QED limits for two stationary performance measures. We also derive corrected QED approximations, generalizing ear…
▽ More
We develop many-server asymptotics in the QED regime for models with admission control. The admission control, designed to reduce the incoming traffic in periods of congestion, scales with the size of the system. For a class of Markovian models with this scaled control, we identify the QED limits for two stationary performance measures. We also derive corrected QED approximations, generalizing earlier results for the Erlang B, C and A models. These results are useful for the dimensioning of large systems equipped with an active control policy. In particular, the corrected approximations can be leveraged to establish the optimality gaps related to square-root staffing and asymptotic dimensioning with admission control.
△ Less
Submitted 4 July, 2013;
originally announced July 2013.
-
Coupled cell networks and their hidden symmetries
Authors:
Bob Rink,
Jan Sanders
Abstract:
Dynamical systems with a coupled cell network structure can display synchronous solutions, spectral degeneracies and anomalous bifurcation behavior. We explain these phenomena here for homogeneous networks, by showing that every homogeneous network dynamical system admits a semigroup of hidden symmetries. The synchronous solutions lie in the symmetry spaces of this semigroup and the spectral degen…
▽ More
Dynamical systems with a coupled cell network structure can display synchronous solutions, spectral degeneracies and anomalous bifurcation behavior. We explain these phenomena here for homogeneous networks, by showing that every homogeneous network dynamical system admits a semigroup of hidden symmetries. The synchronous solutions lie in the symmetry spaces of this semigroup and the spectral degeneracies of the network are determined by its indecomposable representations. Under a condition on the semigroup representation, we prove that a one-parameter synchrony breaking steady state bifurcation in a coupled cell network must generically occur along an absolutely indecomposable subrepresentation. We conclude with a classification of generic one-parameter bifurcations in monoid networks with two or three cells.
△ Less
Submitted 4 April, 2013;
originally announced April 2013.
-
Amplified Hopf bifurcations in feed-forward networks
Authors:
Bob Rink,
Jan Sanders
Abstract:
In a previous paper, the authors developed a method for computing normal forms of dynamical systems with a coupled cell network structure. We now apply this theory to one-parameter families of homogeneous feed-forward chains with 2-dimensional cells. Our main result is that Hopf bifurcations in such families generically generate branches of periodic solutions with amplitudes growing like…
▽ More
In a previous paper, the authors developed a method for computing normal forms of dynamical systems with a coupled cell network structure. We now apply this theory to one-parameter families of homogeneous feed-forward chains with 2-dimensional cells. Our main result is that Hopf bifurcations in such families generically generate branches of periodic solutions with amplitudes growing like $λ^{1/2}$, $λ^{1/6}$, $λ^{1/18}$, etc. Such amplified Hopf branches were previously found by others in a subclass of feed-forward networks with three cells, first under a normal form assumption and later by explicit computations. We explain here how these bifurcations arise generically in a broader class of feed-forward chains of arbitrary length.
△ Less
Submitted 20 November, 2012;
originally announced November 2012.
-
Achievable Performance in Product-Form Networks
Authors:
Jaron Sanders,
Sem C. Borst,
Johan S. H. van Leeuwaarden
Abstract:
We characterize the achievable range of performance measures in product-form networks where one or more system parameters can be freely set by a network operator. Given a product-form network and a set of configurable parameters, we identify which performance measures can be controlled and which target values can be attained. We also discuss an online optimization algorithm, which allows a network…
▽ More
We characterize the achievable range of performance measures in product-form networks where one or more system parameters can be freely set by a network operator. Given a product-form network and a set of configurable parameters, we identify which performance measures can be controlled and which target values can be attained. We also discuss an online optimization algorithm, which allows a network operator to set the system parameters so as to achieve target performance metrics. In some cases, the algorithm can be implemented in a distributed fashion, of which we give several examples. Finally, we give conditions that guarantee convergence of the algorithm, under the assumption that the target performance metrics are within the achievable range.
△ Less
Submitted 6 November, 2012;
originally announced November 2012.
-
Coupled cell networks: semigroups, Lie algebras and normal forms
Authors:
Bob Rink,
Jan Sanders
Abstract:
We introduce the concept of a semigroup coupled cell network and show that the collection of semigroup network vector fields forms a Lie algebra. This implies that near a dynamical equilibrium the local normal form of a semigroup network is a semigroup network itself. Networks without the semigroup property will support normal forms with a more general network architecture, but these normal forms…
▽ More
We introduce the concept of a semigroup coupled cell network and show that the collection of semigroup network vector fields forms a Lie algebra. This implies that near a dynamical equilibrium the local normal form of a semigroup network is a semigroup network itself. Networks without the semigroup property will support normal forms with a more general network architecture, but these normal forms nevertheless possess the same symmetries and synchronous solutions as the original network. We explain how to compute Lie brackets and normal forms of coupled cell networks and we characterize the SN-decomposition that determines the normal form symmetry. This paper concludes with a generalization to nonhomogeneous networks with the structure of a semigroupoid.
△ Less
Submitted 14 September, 2012;
originally announced September 2012.
-
Online Optimization of Product-Form Networks
Authors:
Jaron Sanders,
Sem C. Borst,
Johan S. H. van Leeuwaarden
Abstract:
We develop an online gradient algorithm for optimizing the performance of product-form networks through online adjustment of control parameters. The use of standard algorithms for finding optimal parameter settings is hampered by the prohibitive computational burden of calculating the gradient in terms of the stationary probabilities. The proposed approach instead relies on measuring empirical fre…
▽ More
We develop an online gradient algorithm for optimizing the performance of product-form networks through online adjustment of control parameters. The use of standard algorithms for finding optimal parameter settings is hampered by the prohibitive computational burden of calculating the gradient in terms of the stationary probabilities. The proposed approach instead relies on measuring empirical frequencies of the various states through simulation or online operation so as to obtain estimates for the gradient. Besides the reduction in computational effort, a further benefit of the online operation lies in the natural adaptation to slow variations in ambient parameters as commonly occurring in dynamic environments. On the downside, the measurements result in inherently noisy and biased estimates. We exploit mixing time results in order to overcome the impact of the bias and establish sufficient conditions for convergence to a globally optimal solution.
△ Less
Submitted 30 August, 2012;
originally announced August 2012.
-
Normal forms for Hopf-Zero singularities with nonconservative nonlinear part
Authors:
Majid Gazor,
Fahimeh Mokhtari,
Jan A. Sanders
Abstract:
In this paper we are concerned with the simplest normal form computation of a family of Hopf-zero vector fields without a first integral. This family of vector fields are the classical normal forms of a larger family of vector fields with Hopf-Zero singularity. Indeed, these are defined such that this family would be a Lie subalgebra for the space of all classical normal form vector fields with Ho…
▽ More
In this paper we are concerned with the simplest normal form computation of a family of Hopf-zero vector fields without a first integral. This family of vector fields are the classical normal forms of a larger family of vector fields with Hopf-Zero singularity. Indeed, these are defined such that this family would be a Lie subalgebra for the space of all classical normal form vector fields with Hopf-Zero singularity. The simplest normal forms and simplest orbital normal forms of this family with non-zero quadratic part are computed. We also obtain the simplest parametric normal form of any non-degenerate perturbation of this family within the Lie subalgebra. The symmetry group of the simplest normal forms are also discussed. This is a part of our results in decomposing the normal forms of Hopf-Zero singular systems into systems with a first integral and nonconservative systems.
△ Less
Submitted 24 September, 2013; v1 submitted 12 December, 2011;
originally announced December 2011.
-
On the Classification of Automorphic Lie Algebras
Authors:
Sara Lombardo,
Jan A. Sanders
Abstract:
It is shown that the problem of reduction can be formulated in a uniform way using the theory of invariants. This provides a powerful tool of analysis and it opens the road to new applications of these algebras, beyond the context of integrable systems. Moreover, it is proven that sl2-Automorphic Lie Algebras associated to the icosahedral group I, the octahedral group O, the tetrahedral group T,…
▽ More
It is shown that the problem of reduction can be formulated in a uniform way using the theory of invariants. This provides a powerful tool of analysis and it opens the road to new applications of these algebras, beyond the context of integrable systems. Moreover, it is proven that sl2-Automorphic Lie Algebras associated to the icosahedral group I, the octahedral group O, the tetrahedral group T, and the dihedral group Dn are isomorphic. The proof is based on techniques from classical invariant theory and makes use of Clebsch-Gordan decomposition and transvectants, Molien functions and the trace-form. This result provides a complete classification of sl2-Automorphic Lie Algebras associated to finite groups when the group representations are chosen to be the same and it is a crucial step towards the complete classification of Automorphic Lie Algebras.
△ Less
Submitted 9 December, 2009;
originally announced December 2009.
-
The Bi-Musquash Conjecture
Authors:
Jon Henry Sanders
Abstract:
D.R. Woodall's definition of a 'musquash' is extended to that of a 'bi-musquash' and the existence/uniqueness of these is discussed.
D.R. Woodall's definition of a 'musquash' is extended to that of a 'bi-musquash' and the existence/uniqueness of these is discussed.
△ Less
Submitted 25 August, 2008;
originally announced August 2008.
-
The Stadium Theorem
Authors:
Jon Henry Sanders
Abstract:
A proof of a curious planar embedding theorem.
A proof of a curious planar embedding theorem.
△ Less
Submitted 23 August, 2008;
originally announced August 2008.
-
On the Temporal Order of First-Passage Times in One-Dimensional Lattice Random Walks
Authors:
J. B. Sanders,
N. M. Temme
Abstract:
A random walk problem with particles on discrete double infinite linear grids is discussed. The model is based on the work of Montroll and others. A probability connected with the problem is given in the form of integrals containing modified Bessel functions of the first kind. By using several transformations simpler integrals are obtained from which for two and three particles asymptotic approx…
▽ More
A random walk problem with particles on discrete double infinite linear grids is discussed. The model is based on the work of Montroll and others. A probability connected with the problem is given in the form of integrals containing modified Bessel functions of the first kind. By using several transformations simpler integrals are obtained from which for two and three particles asymptotic approximations are derived for large values of the parameters. Expressions of the probability for $n$ particles are also derived.
△ Less
Submitted 5 October, 2006;
originally announced October 2006.
-
Normal form theory and spectral sequences
Authors:
Jan A. Sanders
Abstract:
The concept of unique normal form is formulated in terms of a spectral sequence. As an illustration of this technique some results of Baider and Churchill concerning the normal form of the anharmonic oscillator are reproduced. The aim of this paper is to show that spectral sequences give us a natural framework in which to formulate normal form theory.
The concept of unique normal form is formulated in terms of a spectral sequence. As an illustration of this technique some results of Baider and Churchill concerning the normal form of the anharmonic oscillator are reproduced. The aim of this paper is to show that spectral sequences give us a natural framework in which to formulate normal form theory.
△ Less
Submitted 10 March, 2003;
originally announced March 2003.
-
Integrable Systems in n-dimensional Riemannian Geometry
Authors:
Jan A. Sanders,
**g ** Wang
Abstract:
In this paper we show that if one writes down the structure equations for the evolution of a curve embedded in an (n)-dimensional Riemannian manifold with constant curvature this leads to a symplectic, a Hamiltonian and an hereditary operator. This gives us a natural connection between finite dimensional geometry, infinite dimensional geometry and integrable systems. Moreover one finds a Lax pai…
▽ More
In this paper we show that if one writes down the structure equations for the evolution of a curve embedded in an (n)-dimensional Riemannian manifold with constant curvature this leads to a symplectic, a Hamiltonian and an hereditary operator. This gives us a natural connection between finite dimensional geometry, infinite dimensional geometry and integrable systems. Moreover one finds a Lax pair in (\orth{n+1}) with the vector modified Korteweg-De Vries equation (vmKDV) \[ \vk{t}=
\vk{xxx}+\fr32 ||\vk{}||^2 \vk{x} \] as integrability condition. We indicate that other integrable vector evolution equations can be found by using a different Ansatz on the form of the Lax pair. We obtain these results by using the {\em natural} or {\em parallel} frame and we show how this can be gauged by a generalized Hasimoto transformation to the (usual) {\em Fren{ê}t} frame. If one chooses the curvature to be zero, as is usual in the context of integrable systems, then one loses information unless one works in the natural frame.
△ Less
Submitted 20 January, 2003;
originally announced January 2003.
-
Knuth-Bendix for groups with infinitely many rules
Authors:
D. B. A. Epstein,
P. J. Sanders
Abstract:
It is shown how to use a small finite state automaton in two variables in order to carry out the Knuth-Bendix process for rewriting words in a group in shortlex order. The two-variable automaton can be used to store an infinite set of rules and to carry out fast reduction of arbitrary words using this infinite set. We introduce a new operation, which we call welding, which applies to an arbitrar…
▽ More
It is shown how to use a small finite state automaton in two variables in order to carry out the Knuth-Bendix process for rewriting words in a group in shortlex order. The two-variable automaton can be used to store an infinite set of rules and to carry out fast reduction of arbitrary words using this infinite set. We introduce a new operation, which we call welding, which applies to an arbitrary finite state automaton. We show how to improve on the standard subset construction to determinize a non-deterministic automaton under special conditions which hold in our situation.
△ Less
Submitted 6 January, 2000;
originally announced January 2000.
-
A Lie Algebra Correspondence for a Family of Finite p-Groups
Authors:
Paul J. Sanders
Abstract:
For a prime p and natural number n with p greater than or equal to n, we establish the existence of a non-functorial one-to-one correspondence between isomorphism classes of groups of order p^n whose derived subgroup has exponent dividing p, and isomorphism classes of nilpotent p^n-element Lie algebras L over the truncated polynomial ring F_p[T]/(T^n) in which T[L,L]=0.
For a prime p and natural number n with p greater than or equal to n, we establish the existence of a non-functorial one-to-one correspondence between isomorphism classes of groups of order p^n whose derived subgroup has exponent dividing p, and isomorphism classes of nilpotent p^n-element Lie algebras L over the truncated polynomial ring F_p[T]/(T^n) in which T[L,L]=0.
△ Less
Submitted 9 November, 1998;
originally announced November 1998.
-
The Coexponent of a Regular p-Group
Authors:
Paul J. Sanders
Abstract:
A sharp bound is derived for the nilpotency class of a regular p-group in terms of its coexponent, and is used to show that the number of groups of order p^n with a given fixed coexponent, is independent of n, for p and n sufficiently large. Explicit formulae are calculated in the case of coexponent 3.
A sharp bound is derived for the nilpotency class of a regular p-group in terms of its coexponent, and is used to show that the number of groups of order p^n with a given fixed coexponent, is independent of n, for p and n sufficiently large. Explicit formulae are calculated in the case of coexponent 3.
△ Less
Submitted 1 November, 1998;
originally announced November 1998.