arXiv++ Combinatorics

A finite dynamical system is a system of multivariate functions over a finite alphabet used to model a network of interacting entities. The main feature of a finite dynamical system is its interaction graph, which indicates which local functions depend on which variables; the interaction graph is a qualitative representation of the interactions amongst entities on the network. The rank of a finite dynamical system is the cardinality of its image; the periodic rank is the number of its periodic points. In this paper, we determine the maximum rank and the maximum periodic rank of a finite dynamical system with a given interaction graph over any non-Boolean alphabet. We also obtain a similar result for Boolean finite dynamical systems (also known as Boolean networks) whose interaction graphs are contained in a given digraph. We then prove that the average rank is relatively close (as the size of the alphabet is large) to the maximum. The results mentioned above only deal with the parallel update schedule. We finally determine the maximum rank over all block-sequential update schedules and the supremum periodic rank over all complete update schedules.

We introduce a new concept of resonance on discrete dynamical systems. This concept formalizes the observation that, in various combinatorially-natural cyclic group actions, orbit cardinalities are all multiples of divisors of a fundamental frequency. Our main result is an equivariant bijection between plane partitions in a box (or order ideals in the product of three chains) under rowmotion and increasing tableaux under $K$-promotion. Both of these actions were observed to have orbit sizes that were small multiples of divisors of an expected orbit size, and we show this is an instance of resonance, as $K$-promotion cyclically rotates the set of labels appearing in the increasing tableaux. We extract a number of corollaries from this equivariant bijection, including a strengthening of a theorem of [P. Cameron--D. Fon-der-Flaass '95] and several new results on the order of $K$-promotion. Along the way, we adapt the proof of the conjugacy of promotion and rowmotion from [J. Striker--N. Williams '12] to give a generalization in the setting of $n$-dimensional lattice projections. Finally we discuss known and conjectured examples of resonance relating to alternating sign matrices and fully-packed loop configurations.

For X a finite subset of the circle and for 0 < r <= 1 fixed, consider the function f_r : X -> X which maps each point to the clockwise furthest element of X within angular distance less than 2 pi r. We study the discrete dynamical system on X generated by f_r, and especially its expected behavior when X is a large random set. We show that, as |X| -> infinity, the expected fraction of periodic points of f_r tends to 0 if r is irrational and to 1/q if r = p/q is rational with p and q coprime. These results are obtained via more refined statistics of f_r which we compute explicitly in terms of (generalized) Catalan numbers. The motivation for studying f_r comes from Vietoris-Rips complexes, a geometric construction used in computational topology. Our results determine how much one can expect to simplify the Vietoris-Rips complex of a random sample of the circle by removing dominated vertices.

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.