arXiv++ Combinatorics

Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example (the Rauzy dynamics) concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action have been classified by Kontsevich and Zorich, and by Boissy through methods involving both combinatorics algebraic geometry, topology and dynamical systems. Our first paper proposed an ad hoc combinatorial proof of this classification. In this paper we define a general method, called the labelling method, which allows one to classify Rauzy-type dynamics in a much more systematic way. We apply the method to the Rauzy dynamics and obtain a second combinatorial proof of the classification.

In the framework of coupled cell systems, a coupled cell network describes graphically the dynamical dependencies between individual dynamical systems, the cells. The fundamental network of a network reveals the hidden symmetries of that network. Subspaces defined by equalities of coordinates which are flow-invariant for any coupled cell system consistent with a network structure are called the network synchrony subspaces. Moreover, for every synchrony subspaces, each network admissible system restricted to that subspace is a dynamical systems consistent with a smaller network. The original network is then said to be a lift of the smaller network. We characterize networks such that: its fundamental network is a lift of the network; the network is a subnetwork of its fundamental network, and the network is a fundamental network. The size of cycles in a network and the distance of a cell to a cycle are two important properties concerning the description of the network architecture. In this paper, we relate these two architectural properties in a network and its fundamental network.

The refined inertia of a square real matrix $A$ is the ordered $4$-tuple $(n_+, n_-, n_z, 2n_p)$, where $n_+$ (resp., $n_-$) is the number of eigenvalues of $A$ with positive (resp., negative) real part, $n_z$ is the number of zero eigenvalues of $A$, and $2n_p$ is the number of nonzero pure imaginary eigenvalues of $A$. For $n \geq 3$, the set of refined inertias $\mathbb{H}_n=\{(0, n, 0, 0), (0, n-2, 0, 2), (2, n-2, 0, 0)\}$ is important for the onset of Hopf bifurcation in dynamical systems. We say that an $n\times n$ sign pattern ${\cal A}$ requires $\mathbb{H}_n$ if $\mathbb{H}_n=\{\text{ri}(B) | B \in Q({\cal A})\}$. Bodine et al. conjectured that no $n\times n$ irreducible sign pattern that requires $\mathbb{H}_n$ exists for $n$ sufficiently large, possibly $n\ge 8$. However, for each $n \geq 4$, we identify three $n\times n$ irreducible sign patterns that require $\mathbb{H}_n$, which resolves this conjecture.

We study a new discrete-time dynamical system on circle patterns with the combinatorics of the square grid. This dynamics, called Miquel dynamics, relies on Miquel's six circles theorem. We provide a coordinatization of the appropriate space of circle patterns on which the dynamics acts and use it to derive local recurrence formulas. Isoradial circle patterns arise as periodic points of Miquel dynamics. Furthermore, we prove that certain signed sums of intersection angles are preserved by the dynamics. Finally, when the initial circle pattern is spatially biperiodic with a fundamental domain of size two by two, we show that the appropriately normalized motion of intersection points of circles takes place along an explicit quartic curve.

The dynamical properties of finite dynamical systems (FDSs) have been investigated in the context of coding theoretic problems, such as network coding, and in the context of hat games, such as the guessing game and Winkler's hat game. The instability of an FDS is the minimum Hamming distance between a state and its image under the FDS, while the stability is the minimum of the reciprocal of the Hamming distance; they are both directly related to Winkler's hat game. In this paper, we study the value of the (in)stability of FDSs with prescribed interaction graphs. The first main contribution of this paper is the study of the maximum stability for interaction graphs with a loop on each vertex. We determine the maximum (in)stability for large enough alphabets and also prove some lower bounds for the Boolean alphabet. We also compare the maximum stability for arbitrary functions compared to monotone functions only. The second main contribution of the paper is the study of the average (in)stability of FDSs with a given interaction graph. We show that the average stability tends to zero with high alphabets, and we then investigate the average instability. In that study, we give bounds on the number of FDSs with positive instability (i.e fixed point free functions). We then conjecture that all non-acyclic graphs will have an average instability which does not tend to zero when the alphabet is large. We prove this conjecture for some classes of graphs, including cycles.

We study linear systems of equations with coefficients in a generic partially ordered ring $R$ and a unique solution, and seek conditions for the solution to be nonnegative, that is, every component of the solution is a quotient of two nonnegative elements in $R$. The requirement of a nonnegative solution arises typically in applications, such as in biology and ecology, where quantities of interest are concentrations and abundances. We provide novel conditions on a labeled multidigraph associated with the linear system that guarantee the solution to be nonnegative. Furthermore, we study a generalization of the first class of linear systems, where the coefficient matrix has a specific block form and provide analogous conditions for nonnegativity of the solution, similarly based on a labeled multidigraph. The latter scenario arises naturally in chemical reaction network theory, when studying full or partial parameterizations of the positive part of the steady state variety of a polynomial dynamical system in the concentrations of the molecular species.

Birational toggling on Gelfand-Tsetlin patterns appeared first in the study of geometric crystals and geometric Robinson-Schensted-Knuth correspondence. Based on these birational toggle relations, Einstein and Propp introduced a discrete dynamical system called birational rowmotion associated with a partially ordered set. We generalize birational rowmotion to the class of arbitrary strongly connected directed graphs, calling the resulting discrete dynamical system the $R$-system. We study its integrability from the points of view of singularity confinement and algebraic entropy. We show that in many cases, singularity confinement in an $R$-system reduces to the Laurent phenomenon either in a cluster algebra, or in a Laurent phenomenon algebra, or beyond both of those generalities, giving rise to many new sequences with the Laurent property possessing rich groups of symmetries. Some special cases of $R$-systems reduce to Somos and Gale-Robinson sequences.

The pentagram map is a discrete dynamical system defined on the space of polygons in the plane. In the first paper on the subject, R. Schwartz proved that the pentagram map produces from each convex polygon a sequence of successively smaller polygons that converges exponentially to a point. We investigate the limit point itself, giving an explicit description of its Cartesian coordinates as roots of certain degree three polynomials.

We present a combinatorial approach to rigorously show the existence of fixed points, periodic orbits, and symbolic dynamics in discrete-time dynamical systems, as well as to find numerical approximations of such objects. Our approach relies on the method of `correctly aligned windows'. We subdivide the `windows' into cubical complexes, and we assign to the vertices of the cubes labels determined by the dynamics. In this way we encode the dynamics information into a combinatorial structure. We use a version of the Sperner Lemma saying that if the labeling satisfies certain conditions, then there exist fixed points/periodic orbits/orbits with prescribed itineraries. Our arguments are elementary.

Nakajima introduced a $t$-deformation of $q$-characters, $(q,t)$-characters for short, and their twisted multiplication through the geometry of quiver varieties. The Nakajima $(q,t)$-characters of Kirillov-Reshetikhin modules satisfy a $t$-deformed $T$-system. The $T$-system is a discrete dynamical system that can be interpreted as a mutation relation in a cluster algebra in two different ways, depending on the choice of direction of evolution. In this paper, we show that the Nakajima $t$-deformed $T$-system of type $A_r$ forms a quantum mutation relation in a quantization of exactly one of the cluster algebra structures attached to the $T$-system.

A Boolean network is a finite state discrete time dynamical system. At each step, each variable takes a value from a binary set. The value update rule for each variable is a local function which depends only on a selected subset of variables. Boolean networks have been used in modeling gene regulatory networks. We focus in this paper on a special class of Boolean networks, namely the conjunctive Boolean networks (CBNs), whose value update rule is comprised of only logic AND operations. It is known that any trajectory of a Boolean network will enter a periodic orbit. Periodic orbits of a CBN have been completely understood. In this paper, we investigate the orbit-controllability and state-controllability of a CBN: We ask the question of how one can steer a CBN to enter any periodic orbit or to reach any final state, from any initial state. We establish necessary and sufficient conditions for a CBN to be orbit-controllable and state-controllable. Furthermore, explicit control laws are presented along the analysis.

Zamolodchikov periodicity is a property of $T$- and $Y$-systems, arising in the thermodynamic Bethe ansatz. Zamolodchikov integrability was recently considered as its affine analog in our joint work with P. Pylyavskyy. Here we prove periodicity and integrability for similar discrete dynamical systems based on the cube recurrence, also known as the discrete BKP equation. The periodicity part was conjectured by Henriques in 2007.

It is shown that there is an oscillating sequence of higher order which is not orthogonal to the class of dynamical flow with topological entropy zero. We further establish that any oscillating sequence of order $d$ is orthogonal to any $d$-nilsequence arising from the skew product on the $d$-dimensional torus $\mathbb{T}^d$. The proof yields that any oscillating sequence of higher order is orthogonal to any dynamical sequence arising from topological dynamical systems with quasi-discrete spectrum. however, we provide an example of oscillating sequence of higher order with large Gowers norms. We further obtain a new estimation of the average of Möbius function on the short interval by appealing to Bourgain's double recurence argument.

There is a deep and interesting connection between the topological properties of a graph and the behaviour of the dynamical system defined on it. We analyse various kind of graphs, with different contrasting connectivity or degree characteristics, using the signless Laplacian matrix. We expose the theoretical results about the eigenvalue of the matrix and how they are related to the dynamical system. Then, we perform numerical computations on real-like graphs and observe the resulting system. Comparing the theoretical and numerical results we found a perfect consistency. Furthermore, we define a metric which takes in account the "rigidity" of the graph and enables us to relate all together the topological properties of the graph, the signless Laplacian matrix and the dynamical system.

We construct a novel preorder on the set of nodes of a simple undirected graph. We prove that the preorder (induced by the topology of the graph) is preserved, e.g., by the logistic dynamical system (both in discrete and continuous time). Moreover, the underlying equivalence relation of the preorder corresponds to the coarsest equitable partition (CEP). This will further imply that the logistic dynamical system on a graph preserves its coarsest equitable partition. The results provide a nontrivial invariant set for the logistic and the like dynamical systems, as we show. We note that our construct provides a functional characterization for the CEP as an alternative to the pure set theoretical iterated degree sequences characterization. The construct and results presented might have independent interest for analysis on graphs or qualitative analysis of dynamical systems over networks.

In a series of papers the present authors and their coworkers have developed a family of algebraic techniques to solve a number of problems in the theory of discrete or continuous dynamical systems and to analyze numerical integrators. Given a specific problem, those techniques construct an abstract, {\em universal} version of it which is solved algebraically; then, the results are tranferred to the original problem with the help of a suitable morphism. In earlier contributions, the abstract problem is formulated either in the dual of the shuffle Hopf algebra or in the dual of the Connes-Kreimer Hopf algebra. In the present contribution we extend these techniques to more general Hopf algebras, which in some cases lead to more efficient computations.

We develop the theory of linear evolution equations associated with the adjacency matrix of a graph, focusing in particular on infinite graphs of two kinds: uniformly locally finite graphs as well as locally finite line graphs. We discuss in detail qualitative properties of solutions to these problems by quadratic form methods. We distinguish between backward and forward evolution equations: the latter have typical features of diffusive processes, but cannot be well-posed on graphs with unbounded degree. On the contrary, well-posedness of backward equations is a typical feature of line graphs. We suggest how to detect even cycles and/or couples of odd cycles on graphs by studying backward equations for the adjacency matrix on their line graph.

A conjecture of Sokal (2001) regarding the domain of non-vanishing for independence polynomials of graphs, states that given any natural number $Δ\ge 3$, there exists a neighborhood in $\mathbb C$ of the interval $[0, \frac{(Δ-1)^{Δ-1}}{(Δ-2)^Δ})$ on which the independence polynomial of any graph with maximum degree at most $Δ$ does not vanish. We show here that Sokal's Conjecture holds, as well as a multivariate version, and prove optimality for the domain of non-vanishing. An important step is to translate the setting to the language of complex dynamical systems.

A close connection of reverse plane partitions with an integrable dynamical system called the discrete two-dimensional (2D) Toda molecule is clarified. It is shown that a multiplicative partition function for reverse plane partition of arbitrary shape with bounded parts can be obtained from each non-vanishing solution to the discrete 2D Toda molecule. As an example a partition function which generalizes MacMahon's triple product formula as well as Gansner's multi-trace generating function is derived from a specific solution to the dynamical system.

This paper explores the orbit structure and homomesy (constant averages over orbits) properties of certain actions of toggle groups on the collection of independent sets of a path graph. In particular we prove a generalization of a homomesy conjecture of Propp that for the action of a "Coxeter element" of vertex toggles, the difference of indicator functions of symmetrically-located vertices is 0-mesic. Then we use our analysis to show facts about orbit sizes that are easy to conjecture but nontrivial to prove. Besides its intrinsic interest, this particular combinatorial dynamical system is valuable in providing an interesting example of (a) homomesy in a context where large orbit sizes make a cyclic sieving phenomenon unlikely to exist, (b) the use of Coxeter theory to greatly generalize the set of actions for which results hold, and (c) the usefulness of Striker's notion of generalized toggle groups.