arXiv++ Combinatorics

We introduce an informative labeling algorithm for the vertices of a family of Koch networks. Each of the labels is consisted of two parts, the precise position and the time adding to Koch networks. The shortest path routing between any two vertices is determined only on the basis of their labels, and the routing is calculated only by few computations. The rigorous solutions of betweenness centrality for every node and edge are also derived by the help of their labels. Furthermore, the community structure in Koch networks is studied by the current and voltage characteristics of its resistor networks.

There are no square $L^2$-flat sequences of polynomials of the type $$\frac{1}{\sqrt q}( ε_0 + ε_1z + ε_2z^2 + \cdots + ε_{q-2}z^{q-2} +ε_q z^{q-1}),$$ where for each $j,~~ 0 \leq j\leq q-1,~ε_j = \pm 1$. It follows that Erdös's conjectures on Littlewood polynomials hold. Consequently, Turyn-Golay's conjecture is true, that is, there are only finitely many Barker sequences. We further get that the spectrum of dynamical systems arising from continuous Morse sequences is singular. This settles an old question due to M. Keane. Applying our reasoning to the Liouville function we obtain that the popular Chowla conjecture on the %Bernouillicity normality of the Liouville function implies Riemann hypothesis.

Let $f:T\longrightarrow T$ be a mapping and $Ω$ be a subset of $T$ which intersects every (positive) orbit of $f$. Assume that there are given a second dynamical system $λ:Y\longrightarrow Y$ and a mapping $α:Ω\longrightarrow Y$. For $t\in T$ let $δ(t)$ be the smallest $k$ such that $f^k(t)\inΩ$ and let $t_Ω:=f^{δ(t)}(t)$ be the first element in the orbit of $t$ which belongs to $Ω$. Then we define a mapping $F:T\longrightarrow Y$ by $F(t):=λ^{δ(t)}(t_Ω)$.

In our previous paper we associated to each non-constant elliptic function $f$ on a torus $T$ a dynamical system, the elliptic Newton flow corresponding to $f$. We characterized the functions for which these flows are structurally stable and showed a genericity result. In the present paper we focus on the classification and representation of these structurally stable flows. The phase portrait of a structurally stable elliptic Newton flow generates a connected, cellularly embedded, graph $\mathcal{G}(f)$ on a torus $T$ with $r$ vertices, 2$r$ edges and $r$ faces that fulfil certain combinatorial properties ( Euler, Hall) on some of its subgraphs. The graph $\mathcal{G}(f)$ determines the conjugacy class of the flow. [classification] A connected, cellularly embedded toroidal graph $\mathcal{G}$ with the above Euler and Hall properties, is called a Newton graph. Any Newton graph $\mathcal{G}$ can be realized as the graph $\mathcal{G}(f)$ of the structurally stable Newton flow for some function $f$. This leads to: up till conjugacy between flows and (topological) equivalency between graphs, there is a one to one correspondence between the structurally stable Newton flows and Newton graphs, both with respect to the same order $r$ of the underlying functions $f$.[representation] Finally, we clarify the analogy between rational and elliptic Newton flows, and show that the detection of elliptic Newton flows is possible in polynomial time.

We introduce a new technique to study pattern avoidance in dynamical systems, namely the use of a commuter function between non-conjugate dynamical systems. We investigate the properties of such a commuter function, specifically $h : [0,1] \to [0,1]$ satisfying $T_1 \circ h = h \circ T_μ$, where $T_μ$ denotes a symmetric tent map of height $μ$. We make use of this commuter function to prove strict inclusion of the set of allowed patterns of $T_μ$ in the set of allowed patterns of $T_1$.

We consider a discrete dynamical system where the roles of the states and the carrier are played by translations in an affine Weyl group of type $A$. The Coxeter generators are enriched by parameters, and the interactions with the carrier are realized using Lusztig's braid move $(a,b,c) \mapsto (bc/(a+c), a+c, ab/(a+c))$. We use wiring diagrams on a cylinder to interpret chamber variables as $τ$-functions. This allows us to realize our systems as reductions of the Hirota bilinear difference equation and thus obtain $N$-soliton solutions.

This paper forms the second part of a series by the authors [GMV1,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C_n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. From these axioms it follows that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group. Our main result is a new proof of a result due to Antolín Camarena and Szegedy [CS12], stating that if each of these groups is a torus then $X$ is isomorphic (in a strong sense) to a nilmanifold $G/Γ$. We also extend the theorem to a setting where the nilspace arises from a dynamical system $(X,T)$. These theorems are a key stepping stone towards the general structure theorem in [GMV3] (which again closely resembles the main theorem of [CS12]). The main technical tool, enabling us to deduce algebraic information from topological data, consists of existence and uniqueness results for solutions of certain natural functional equations, again modelled on the theory in [CS12].

This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$, satisfying some natural axioms. Our goal is to extend the structure theory of nilspaces obtained by Antolín Camarena and Szegedy, and to provide new proofs. Our main result is that, under the technical assumption that $C^n(X)$ is a connected space for all $n$, then $X$ is isomorphic (in a strong sense) to an inverse limit of nilmanifolds. This is a direct and slight generalization of the main result of Antolín Camarena and Szegedy. We also apply our methods to obtain structure theorems in the setting of topological dynamics. Specifically, if $H$ is a group (subject to very mild topological assumptions) and $(H,X)$ is a minimal dynamical system, then we give a simple characterization of the maximal pronilfactor of $X$. This generalizes the case $H = \mathbb{Z}$, which is a theorem of Host, Kra and Maass, although even in that case we give a significantly different proof.

We establish Ecalle's mould calculus in an abstract Lie-theoretic setting and use it to solve a normalization problem, which covers several formal normal form problems in the theory of dynamical systems. The mould formalism allows us to reduce the Lie-theoretic problem to a mould equation, the solutions of which are remarkably explicit and can be fully described by means of a gauge transformation group. The dynamical applications include the construction of Poincar{é}-Dulac formal normal forms for a vector field around an equilibrium point, a formal infinite-order multiphase averaging procedure for vector fields with fast angular variables (Hamiltonian or not), or the construction of Birkhoff normal forms both in classical and quantum situations. As a by-product we obtain, in the case of harmonic oscillators, the convergence of the quantum Birkhoff form to the classical one, without any Diophantine hypothesis on the frequencies of the unperturbed Hamiltonians.

Cellular automata are discrete dynamical systems that consist of patterns of symbols on a grid, which change according to a locally determined transition rule. In this paper, we will consider cellular automata that arise from polynomial transition rules, where the symbols in the automaton are integers modulo some prime $p$. We are principally concerned with the asymptotic behavior of the line complexity sequence $a_T(k)$, which counts, for each $k$, the number of coefficient strings of length $k$ that occur in the automaton. We begin with the modulo $2$ case. For a given polynomial $T(x) = c_0 + c_1x + ... + c_nx^n$ with $c_0,c_n\neq 0$, we construct odd and even parts of the polynomial from the strings $0c_1c_3c_5...$ and $c_0c_2c_4...$, respectively. We prove that for polynomials for which the odd and even parts are relatively prime, $a_T(k)$ satisfies recursions of a specific form. We also consider powers of transition rules modulo $p$, introducing a notion of the order of a recursion. We show that the property of "having a recursion of some order" is preserved when the transition rule is raised to a positive integer power. Extending to a more general setting, we investigate the asymptotics of $a_T(k)$ by considering an abstract generating function $φ(z)=\sum_{k=1}^\inftyα(k)z^k$ which satisfies a general functional equation relating $φ(z)$ and $φ(z^p)$ for some prime $p$. We show that there is a continuous, piecewise quadratic function $f$ on $[1/p, 1]$ for which $\lim_{k\to\infty}(α(k)/k^2 - f(p^{-\langle\log_p k\rangle})) = 0$, where $\langle y\rangle$ denotes the fractional part of $y$. We use this result to show that for certain positive integer sequences $s_k\to\infty$ with a parameter $x\in [1/p,1]$, the ratio $α(s_k(x))/s_k(x)^2$ tends to $f(x)$, and that the limit superior and inferior of $α(k)/k^2$ are given by the extremal values of $f$.

A Boolean network is a finite dynamical system, whose variables take values from a binary set. The value update rule for each variable is a Boolean function, depending on a selected subset of variables. Boolean networks have been widely used in modeling gene regulatory networks. We focus in this paper on a special class of Boolean networks, termed as conjunctive Boolean networks. A Boolean network is conjunctive if the associated value update rule is comprised of only AND operations. It is known that any trajectory of a finite dynamical system will enter a periodic orbit. We characterize in this paper all periodic orbits of a conjunctive Boolean network whose underlying graph is strongly connected. In particular, we establish a bijection between the set of periodic orbits and the set of binary necklaces of a certain length. We further investigate the stability of a periodic orbit. Specifically, we perturb a state in the periodic orbit by changing the value of a single entry of the state. The trajectory, with the perturbed state being the initial condition, will enter another (possibly the same) periodic orbit in finite time steps. We then provide a complete characterization of all such transitions from one periodic orbit to another. In particular, we construct a digraph, with the vertices being the periodic orbits, and the (directed) edges representing the transitions among the orbits. We call such a digraph the stability structure of the conjunctive Boolean network.

Zamolodchikov periodicity is a property of certain discrete dynamical systems associated with quivers. It has been shown by Keller to hold for quivers obtained as products of two Dynkin diagrams. We prove that the quivers exhibiting Zamolodchikov periodicity are in bijection with pairs of commuting Cartan matrices of finite type. Such pairs were classified by Stembridge in his study of $W$-graphs. The classification includes products of Dynkin diagrams along with four other infinite families, and eight exceptional cases. We provide a proof of Zamolodchikov periodicity for all four remaining infinite families, and verify the exceptional cases using a computer program.

The concept of symbolic sequences play important role in study of complex systems. In the work we are interested in ultrametric structure of the set of cyclic sequences naturally arising in theory of dynamical systems. Aimed at construction of analytic and numerical methods for investigation of clusters we introduce operator language on the space of symbolic sequences and propose an approach based on wavelet analysis for study of the cluster hierarchy. The analytic power of the approach is demonstrated by derivation of a formula for counting of {\it two-fold de Bruijn sequences}, the extension of the notion of de Bruijn sequences. Possible advantages of the developed description is also discussed in context of applied p

As complex networks find applications in a growing range of disciplines, the diversity of naturally occurring and model networks being studied is exploding. The adoption of a well-developed collection of network taxonomies is a natural method for both organizing this data and understanding deeper relationships between networks. Most existing metrics for network structure rely on classical graph-theoretic measures, extracting characteristics primarily related to individual vertices or paths between them, and thus classify networks from the perspective of local features. Here, we describe an alternative approach to studying structure in networks that relies on an algebraic-topological metric called persistent homology, which studies intrinsically mesoscale structures called cycles, constructed from cliques in the network. We present a classification of 14 commonly studied weighted network models into four groups or classes, and discuss the structural themes arising in each class. Finally, we compute the persistent homology of two real-world networks and one network constructed by a common dynamical systems model, and we compare the results with the three classes to obtain a better understanding of those networks.

Given a finite group with a generating subset there is a well-established notion of length for a group element given in terms of its minimal length expression as a product of elements from the generating set. Recently, certain quantities called $λ_{1}$ and $λ_{2}$ have been defined that allow for a precise measure of how stable a group is under certain types of small perturbations in the generating expressions for the elements of the group. These quantities provide a means to measure differences among all possible paths in a Cayley graph for a group, establish a group theoretic analog for the notion of stability in nonlinear dynamical systems, and play an important role in the application of groups to computational genomics. In this paper, we further expose the fundamental properties of $λ_{1}$ and $λ_{2}$ by establishing their bounds when the underlying group is a dihedral group. An essential step in our approach is to completely characterize so-called symmetric presentations of the dihedral groups, providing insight into the manner in which $λ_{1}$ and $λ_{2}$ interact with finite group presentations. This is of interest independent of the study of the quantities $λ_{1},\; λ_{2}$. Finally, we discuss several conjectures and open questions for future consideration.

Stanley decompositions are used in invariant theory and the theory of normal forms for dynamical systems to provide a unique way of writing each invariant as a polynomial in the Hilbert basis elements. Since the required Stanley decompositions can be very long, we introduce a more concise notation called a block decomposition, along with three notions of shortness (incompressibility, minimality of Stanley spaces, and minimality of blocks) for block decompositions. We give two algorithms that generate different block decompositions, which we call elementary and gnomon decompositions, and give examples. Soleyman-Jahan's criterion for a Stanley decomposition to come from a prime filtration is reformulated to apply to block decompositions. We simplify his proof, and apply the theorem to show that elementary and gnomon decompositions come from "subprime" filtrations. In a sequel to this paper we will introduce two additional algorithms that generate block decompositions that may not always be subprime, but are always incompressible.

The entropy of a digraph is a fundamental measure which relates network coding, information theory, and fixed points of finite dynamical systems. In this paper, we focus on the entropy of undirected graphs. We prove that for any integer $k$ the number of possible values of the entropy of an undirected graph up to $k$ is finite. We also determine all the possible values for the entropy of an undirected graph up to the value of four.

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.