arXiv++ Combinatorics

A sequential dynamical system (SDS) consists of a graph $G$ with vertices $v_1,v_2,\ldots,v_n$, a state set $A$, a collection of "vertex functions" $\{f_{v_i}\}_{i=1}^n$, and a permutation $π\in S_n$ that specifies how to compose these functions to yield the SDS map $[G,\{f_{v_i}\}_{i=1}^n,π]\colon A^n\to A^n$. In this paper, we study symmetric invertible SDS defined over the cycle graph $C_n$ using the set of states $\mathbb F_2$. These are, in other words, asynchronous elementary cellular automata (ECA) defined using ECA rules 150 and 105. Each of these SDS defines a group action on the set $\mathbb F_2^n$ of $n$-bit binary vectors. Because the SDS maps are products of involutions, this relates to \emph{generalized toggle groups}, which Striker recently defined. In this paper, we further generalize the notion of a generalized toggle group to that of a \emph{flexible toggle group}; the SDS maps we consider are examples of Coxeter elements of flexible toggle groups. Our main result is the complete classification of the dynamics of symmetric invertible SDS defined over cycle graphs using the set of states $\mathbb F_2$ and the identity update order $π=123\cdots n$. More precisely, if $T$ denotes the SDS map of such an SDS, then we obtain an explicit formula for $|\text{Per}_r(T)|$, the number of periodic points of $T$ of period $r$, for every positive integer $r$. It turns out that if we fix $r$ and vary $n$ and $T$, then $|\text{Per}_r(T)|$ only takes at most three nonzero values.

The dynamical properties of finite dynamical systems (FDSs) have been investigated in the context of coding theoretic problems, such as network coding and index coding, and in the context of hat games, such as the guessing game and Winkler's hat game. In this paper, we relate the problems mentioned above to properties of FDSs, including the number of fixed points, their stability, and their instability. We first introduce the guessing dimension and the coset dimension of an FDS and their counterparts for digraphs. Based on the coset dimension, we then strengthen the existing equivalences between network coding and index coding. We also introduce the instability of FDSs and we study the stability and the instability of digraphs. We prove that the instability always reaches the size of a minimum feedback vertex set. We also obtain some non-stable bounds independent of the number of vertices of the graph. We then relate the stability and the instability to the guessing number. We also exhibit a class of sparse graphs with large girth that have high stability and high instability; our approach is code-theoretic and uses the guessing dimension. Finally, we prove that the affine instability is always asymptotically greater than or equal to the linear guessing number.

A sequential dynamical system (SDS) consists of a graph, a set of local functions and an update schedule. A linear sequential dynamical system is an SDS whose local functions are linear. In this paper, we derive an explicit closed formula for any linear SDS as a synchronous dynamical system. We also show constructively, that any synchronous linear system can be expressed as a linear SDS, i.e. it can be written as a product of linear local functions. Furthermore, we study the connection between linear SDS and the incidence algebras of partially ordered sets (posets). Specifically, we show that the Möbius function of any poset can be computed via an SDS, whose graph is induced by the Hasse diagram of the poset. Finally, we prove a cut theorem for the Möbius functions of posets with respect to certain chain decompositions.

Let $[K_n,f,π]$ be the (global) SDS map of a sequential dynamical system (SDS) defined over the complete graph $K_n$ using the update order $π\in S_n$ in which all vertex functions are equal to the same function $f\colon\mathbb F_2^n\to\mathbb F_2^n$. Let $η_n$ denote the maximum number of periodic orbits of period $2$ that an SDS map of the form $[K_n,f,π]$ can have. We show that $η_n$ is equal to the maximum number of codewords in a binary code of length $n-1$ with minimum distance at least $3$. This result is significant because it represents the first interpretation of this fascinating coding-theoretic sequence other than its original definition.

Morphisms are homomorphisms under the concatenation operation of the set of words over a finite set. Changing the elements of the finite set does not essentially change the morphism. We propose a way to select a unique representing member out of all these morphisms. This has applications to the classification of the shift dynamical systems generated by morphisms. In a similar way, we propose the selection of a representing sequence out of the class of symbolic sequences over an alphabet of fixed cardinality. Both methods are useful for the storing of symbolic sequences in databases, like The On-Line Encyclopedia of Integer Sequences. We illustrate our proposals with the $k$-symbol Fibonacci sequences.

The second law of thermodynamics states that the entropy of an isolated system is almost always increasing. We propose combinatorial formalizations of the second law and explore their conditions of possibilities.

Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed first by Bolker, Kalai and Adin, and more recently by numerous authors, the fundamental topological properties of a tree --- namely acyclicity and connectedness --- can be generalized to arbitrary dimension as the vanishing of certain cellular homology groups. This point of view is consistent with the matroid-theoretic approach to graphs, and yields higher-dimensional analogues of classical enumerative results including Cayley's formula and the matrix-tree theorem. A subtlety of the higher-dimensional case is that enumeration must account for the possibility of torsion homology in trees, which is always trivial for graphs. Cellular trees are the starting point for further high-dimensional extensions of concepts from algebraic graph theory including the critical group, cut and flow spaces, and discrete dynamical systems such as the abelian sandpile model.

We introduce a new class of (dynamical) systems that inherently capture cascading effects (viewed as consequential effects) and are naturally amenable to combinations. We develop an axiomatic general theory around those systems, and guide the endeavor towards an understanding of cascading failure. The theory evolves as an interplay of lattices and fixed points, and its results may be instantiated to commonly studied models of cascade effects. We characterize the systems through their fixed points, and equip them with two operators. We uncover properties of the operators, and express global systems through combinations of local systems. We enhance the theory with a notion of failure, and understand the class of shocks inducing a system to failure. We develop a notion of mu-rank to capture the energy of a system, and understand the minimal amount of effort required to fail a system, termed resilience. We deduce a dual notion of fragility and show that the combination of systems sets a limit on the amount of fragility inherited.

We introduce combinatorial multivector fields, associate with them multivalued dynamics and study their topological features. Our combinatorial multivector fields generalize combinatorial vector fields of Forman. We define isolated invariant sets, Conley index, attractors, repellers and Morse decompositions. We provide a topological characterization of attractors and repellers and prove Morse inequalities. The generalization aims at algorithmic analysis of dynamical systems through combinatorialization of flows given by differential equations and through sampling dynamics in physical and numerical experiments. We provide a prototype algorithm for such applications.

We consider the deviation of Birkhoff sums along fixed orbits of substitution dynamical systems. We show distributional convergence for the Birkhoff sums of eigenfunctions of the substitution matrix. For noncoboundary eigenfunctions with eigenvalue of modulus 1, we obtain a central limit theorem. For other eigenfunctions, we show convergence to distributions supported on Cantor sets. We also give a new criterion for such an eigenfunction to be a coboundary, as well as a new characterization of substitution dynamical systems with bounded discrepancy

A consecutive pattern in a permutation $π$ is another permutation $σ$ determined by the relative order of a subsequence of contiguous entries of $π$. Traditional notions such as descents, runs and peaks can be viewed as particular examples of consecutive patterns in permutations, but the systematic study of these patterns has flourished in the last 15 years, during which a variety of different techniques have been used. We survey some interesting developments in the subject, focusing on exact and asymptotic enumeration results, the classification of consecutive patterns into equivalence classes, and their applications to the study of one-dimensional dynamical systems.

Does the interaction graph of a finite dynamical system can force this system to have a "complex" dynamics ? In other words, given a finite interval of integers $A$, which are the signed digraphs $G$ such that every finite dynamical system $f:A^n\to A^n$ with $G$ as interaction graph has a "complex" dynamics ? If $|A|\geq 3$ we prove that no such signed digraph exists. More precisely, we prove that for every signed digraph $G$ there exists a system $f:A^n\to A^n$ with $G$ as interaction graph that converges toward a unique fixed point in at most $\lfloor\log_2 n\rfloor+2$ steps. The boolean case $|A|=2$ is more difficult, and we provide partial answers instead. We exhibit large classes of unsigned digraphs which admit boolean dynamical systems which converge toward a unique fixed point in polynomial, linear or constant time.

Free cumulants were introduced by Speicher as a proper analog of classical cumulants in Voiculescu's theory of free probability. The relation between free moments and free cumulants is usually described in terms of Moebius calculus over the lattice of non-crossing partitions. In this work we explore another approach to free cumulants and to their combinatorial study using a combinatorial Hopf algebra structure on the linear span of non-crossing partitions. The generating series of free moments is seen as a character on this Hopf algebra. It is characterized by solving a linear fixed point equation that relates it to the generating series of free cumulants. These phenomena are explained through a process similar to (though different from) the arborification process familiar in the theory of dynamical systems, and originating in Cayley's work.

In the past decade, the use of ordinal patterns in the analysis of time series and dynamical systems has become an important and rich tool. Ordinal patterns (otherwise known as a permutation patterns) are found in time series by taking $n$ data points at evenly-spaced time intervals and mapping them to a length-$n$ permutation determined by relative ordering. The frequency with which certain patterns occur is a useful statistic for such series; however, the behavior of the frequency of pattern occurrence is unstudied for most models. We look at the frequency of pattern occurrence in random walks in discrete time and, applying combinatorial methods, we characterize those patterns that have equal frequency, regardless of probability distribution.

Rigged configurations are known to provide action-angle variables for remarkable discrete dynamical systems known as box-ball systems. We conjecture an explicit piecewise-linear formula to obtain the shapes of a rigged configuration from a tensor product of one-row crystals. We introduce cylindric loop Schur functions and show that they are invariants of the geometric R-matrix. Our piecewise-linear formula is obtained as the tropicalization of ratios of cylindric loop Schur functions. We prove our conjecture for the first shape of a rigged configuration, thus giving a piecewise-linear formula for the lengths of the solitons of a box-ball system.

We consider certain matrix-products where successive matrices in the product belong alternately to a particular qualitative class or its transpose. The main theorems relate structural and spectral properties of these matrix-products to the structure of underlying bipartite graphs. One consequence is a characterisation of caterpillars: a graph is a caterpillar if and only if all matrix-products associated with it have real nonnegative spectrum. Several other equivalences of this kind are proved. The work is inspired by certain questions in dynamical systems where such products arise naturally as Jacobian matrices, and the results have implications for the existence and stability of equilibria in these systems.

We give an in depth analysis of the subwords of the Thue-Morse sequence. This allows us to prove that there are infinitely many injective primitive substitutions with Perron-Frobenius eigenvalue 2 that generate a symbolic dynamical system topologically conjugate to the Thue-Morse dynamical system.

We define piecewise-linear and birational analogues of the toggle-involutions on order ideals of posets studied by Striker and Williams and use them to define corresponding analogues of rowmotion and promotion that share many of the properties of combinatorial rowmotion and promotion. Piecewise-linear rowmotion (like birational rowmotion) admits an alternative definition related to Stanley's transfer map for the order polytope; piecewise-linear promotion relates to Schützenberger promotion for semistandard Young tableaux. The three settings for these dynamical systems (combinatorial, piecewise-linear, and birational) are intimately related: the piecewise-linear operations arise as tropicalizations of the birational operations, and the combinatorial operations arise as restrictions of the piecewise-linear operations to the vertex-set of the order polytope. In the case where the poset is of the form $[a] \times [b]$, we exploit a reciprocal symmetry property recently proved by Grinberg and Roby to show that birational rowmotion (and consequently piecewise-linear rowmotion) is of order $a+b$. This yields a new proof of a theorem of Cameron and Fon-der-Flaass. Our proofs make use of the correspondence between rowmotion and promotion orbits discovered by Striker and Williams, which we make more concrete. We also prove some homomesy results, showing that for certain functions $f$, the average value of $f$ over each rowmotion/promotion orbit is independent of the orbit chosen.

We consider a general class of preferential attachment schemes evolving by a reinforcement rule with respect to certain sublinear weights. In these schemes, which grow a random network, the sequence of degree distributions is an object of interest which sheds light on the evolving structures. In this article, we use a fluid limit approach to prove a functional law of large numbers for the degree structure in this class, starting from a variety of initial conditions. The method appears robust and applies in particular to `non-tree' evolutions where cycles may develop in the network. A main part of the argument is to analyze an infinite system of coupled ODEs, corresponding to a rate formulation of the law of large numbers limit, in terms of $C_0$-semigroup/dynamical systems methods. These results also resolve a question in Chung, Handjani and Jungreis (2003).

We define a generic algorithmic framework to prove pure discrete spectrum for the substitutive symbolic dynamical systems associated with some infinite families of Pisot substitutions. We focus on the families obtained as finite products of the three-letter substitutions associated with the multidimensional continued fraction algorithms of Brun and Jacobi-Perron. Our tools consist in a reformulation of some combinatorial criteria (coincidence conditions), in terms of properties of discrete plane generation using multidimensional (dual) substitutions. We also deduce some topological and dynamical properties of the Rauzy fractals, of the underlying symbolic dynamical systems, as well as some number-theoretical properties of the associated Pisot numbers.